Information on Result #1872724
There is no (78, 78+k, 6403)-net in base 81 for arbitrarily large k, because logical equivalence would yield (78, m, 6403)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (78, 12803, 6403)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8112803, 6403, S81, 2, 12725), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 161070 981524 504060 446731 336824 244184 107633 528998 034322 470331 603329 418069 234484 506061 434097 768382 125189 098695 801565 302803 760522 163103 762070 119070 780679 980529 833279 856433 722408 007384 070073 788748 089756 065067 357181 231046 992748 238947 454660 147556 671472 529211 269613 853785 854767 971030 708043 496236 068271 769428 212153 618487 384287 735200 842183 011924 301048 661977 872517 753914 091423 237825 790750 280695 593552 031791 997976 635554 332788 019934 782345 624691 744125 409558 833301 242277 495124 815572 518761 574227 569529 521116 231081 935162 152984 549078 291862 426197 627298 179418 583931 403931 583235 103986 085087 348419 430059 178541 189919 925530 627134 907476 810117 376647 986938 137912 219722 875559 544172 135568 232539 477683 199221 145170 909489 015030 167070 476218 452475 005179 246328 673083 242386 719214 461551 304141 849322 274568 826333 842113 010819 517702 378902 125463 427737 805709 322391 422910 300283 861538 873651 693080 195886 384214 415253 346937 889016 025365 268382 366259 876897 381462 632393 927616 323920 378815 426489 463707 732837 318287 521882 492860 524866 850534 357316 635373 515180 865295 042611 112789 773803 445704 473981 471675 711662 381040 609122 225026 476722 475367 191477 074032 992892 090258 369883 088223 217865 026315 951836 489364 430462 792488 286036 436815 844841 210340 788393 546559 769896 242711 011712 490633 180712 726240 835507 894953 043004 564736 590296 218057 641902 652868 457977 459179 657869 982282 931422 726020 382412 382192 197089 441190 544284 966424 283624 750118 389168 511709 071195 056861 289180 706480 132551 181645 856453 192255 909864 408736 977388 231170 442370 196046 366706 586783 016887 753366 639291 559072 851659 485322 663499 188459 667328 972014 545671 662031 996883 625884 082642 496573 728231 991875 346488 003441 154523 297747 254044 160747 054325 413582 158827 289459 821026 269125 972802 423870 258242 069399 055869 465490 565273 358859 325567 196403 510439 005061 879046 167726 848273 779177 444807 709345 183081 256568 144209 492572 494270 223816 875404 211464 592422 633409 364564 511022 706430 060782 832712 168817 668764 288015 812266 749176 087694 147810 781263 757616 622616 662116 103081 024581 111255 192179 315970 546205 626076 730070 926899 589985 992850 205764 666348 965939 571426 035532 869966 226466 079236 676904 517911 824770 133690 895657 229463 800741 349070 670813 407314 278506 575394 466273 977571 585088 813006 609349 660973 635599 793784 134454 960143 370062 293310 100640 678002 690105 769571 818375 825642 335770 651083 680186 722642 708949 415999 289007 774384 098357 511223 023675 620219 601988 628707 333833 263455 082835 070373 871373 305226 536904 261282 229317 941767 130266 761826 108968 017609 414976 384437 382216 379026 804162 754708 179267 159541 477895 229576 225359 049999 274011 665545 970623 106264 803816 487865 886379 703081 287482 904504 006045 043420 719473 093327 170449 349382 128430 142058 054716 227725 450281 099333 703678 451357 877238 695883 757672 162986 107415 298279 714156 410993 588471 154849 777083 382013 850983 192216 694547 189492 464579 005026 201499 310958 316078 112127 424022 187504 024673 795114 295369 057786 128298 011241 686790 563218 657686 545529 192584 355375 431621 931644 654405 356284 909200 918834 208854 599813 757654 330337 461762 114330 633437 921608 313172 443393 827389 440843 300941 723053 862822 255797 246299 860748 846601 695311 606288 949601 099349 678829 138220 889773 658768 966698 122693 419213 941761 048882 723023 144151 662961 686484 377471 298759 152631 523250 761361 587524 179276 814320 134731 181047 917770 508851 092268 072017 696632 940509 003144 600325 156970 449665 436587 555005 109203 814450 907217 093020 403967 734953 165141 961264 335955 616280 889382 967873 974266 792578 960645 510854 425725 180458 238492 585655 184268 076617 501996 133710 499748 286912 641883 221965 749906 814817 061476 349898 425332 686954 531665 690919 460124 670457 882229 777194 391162 839612 963779 755460 066301 384250 008753 547239 482223 778105 974462 171334 111309 777522 719762 905534 226366 492233 626190 221880 822770 137665 224132 267243 762869 533282 938800 257623 053988 949951 233398 236267 430333 502033 098245 084860 100788 895254 822214 188166 674032 011433 802837 506588 919190 935826 126179 770366 548182 908815 765905 589114 771216 810513 289651 459352 760935 895115 657269 999485 328832 745292 890950 771399 501806 857030 178122 812535 666054 112233 415172 357452 776786 199678 580858 759902 483578 588204 564659 949809 510923 443291 681917 034969 381882 451987 483589 734120 780374 032496 040867 949773 859575 936942 920631 328765 842946 065830 503309 040499 273433 269588 296277 710566 943330 168211 654543 822223 352288 703139 825645 861590 450455 138908 524045 566043 824695 118652 499682 277838 143478 602613 811138 379195 103304 568802 423487 954315 891910 229254 575587 315960 228056 971105 191655 666625 311989 894094 844216 021835 066335 401021 386654 399348 552995 355221 259233 624320 396720 041826 992796 481082 115729 161751 793693 704136 767627 934452 771000 236344 753965 292294 519595 546296 347552 105464 930904 501672 890685 352208 070433 962693 990756 296132 786527 578748 377528 083988 647841 542861 188642 690156 969987 896198 771082 159318 664704 667652 977781 050556 534828 385443 653763 278266 938690 626620 530166 343037 449055 591920 223499 725179 812263 824478 964752 169599 106164 294591 840755 967240 956610 391206 760221 423232 621770 200633 479865 503718 112087 033819 230637 231203 320734 053737 040151 641966 022165 692514 408595 791059 592732 122219 551574 630024 294098 389058 378077 658018 651499 062602 617570 959534 047225 717856 870753 498589 064701 272475 054377 661382 665900 035375 862351 180625 681468 389451 998407 293672 665782 209763 365070 710166 499512 152006 237854 951469 158591 786232 272370 225795 243173 321566 093679 999949 340837 661609 919214 563125 725554 102645 559635 001363 449567 183674 637440 802458 936998 747398 175876 090556 309470 068169 936305 019221 720396 351587 667934 055739 427281 361429 397976 116548 313183 396448 588640 925050 040284 241178 115811 382408 881012 913795 248124 098454 673406 384377 502871 372938 731394 089650 383234 614684 244628 158456 109870 749506 385901 667732 270737 600413 151186 144106 522976 251491 539319 969613 800544 221027 641175 889282 562877 466449 091650 450589 609716 324310 819879 529513 580030 161581 871662 716016 974209 674681 756526 978008 225187 302266 340831 904838 826310 367255 224654 978504 412827 596387 853933 821958 264438 147834 755071 396860 761341 255688 382056 699519 206949 028635 264274 256721 302885 910498 330801 076305 985708 582994 520754 552479 067791 257772 126965 394816 430214 887566 809136 109569 151455 473713 558143 763514 895808 144646 108040 739603 182282 571434 204754 130385 376958 949673 161274 378993 469631 194445 194976 251956 120496 901956 830155 153533 039665 675742 238848 904811 998720 243524 316383 473858 916063 503489 197552 860172 832208 500741 564296 688056 663054 765814 870629 520737 078138 338897 174298 097803 050645 214717 504391 815877 593531 940473 134473 912500 979210 946217 818560 471046 869034 159737 589243 146542 793717 229566 470308 903647 735881 974811 480515 099699 663159 182327 627397 109449 552122 254708 248756 757539 287429 426923 063792 547186 738406 266418 988886 467499 725719 777394 377032 120438 025719 840147 406903 822503 612652 454510 292614 633310 998712 032448 081787 023258 012134 078917 633402 406974 235277 305607 168871 742633 006517 348566 894794 235733 592206 413093 395248 881443 671439 570832 329694 073481 651213 173032 105128 615407 989383 063287 901824 083116 800193 488003 402032 888975 360726 276926 099556 689134 173410 088635 473441 281275 660981 134812 655230 749810 142775 822965 785096 942683 848465 056139 485835 420811 098790 334651 490024 168644 361522 876722 431892 500922 527068 686951 969583 161316 385139 751234 094296 065914 596404 084101 918889 399270 142439 919635 807511 436136 947212 925683 661786 959935 597690 104978 781726 800398 343596 593530 412270 524806 057108 911571 275962 011344 473386 671217 952942 954267 062759 154245 234673 388994 899253 489677 553965 780253 428767 669663 236115 590352 044818 480001 904338 875762 356201 360845 923841 020724 123452 806134 979012 297227 087051 830721 358321 395643 114989 725513 215210 292291 169840 265467 790637 954788 071103 957382 233324 956501 497445 327587 506354 051301 913668 555188 322758 307030 343130 418898 099964 376000 883850 250636 294167 724958 746986 666889 132031 822643 434286 570755 876490 709104 839735 450761 928091 250767 085844 970560 436578 010997 290786 297137 556934 253364 934601 164123 298655 761263 756657 710715 189969 940460 708638 014443 234019 746707 827269 339692 178820 098775 066752 013385 781034 993404 081474 776264 465368 520124 276895 698280 279039 008775 417817 130309 751605 326270 448817 898830 544946 097255 167873 521211 932565 014056 980737 828744 681798 664224 991214 395489 377172 276826 855073 535124 817974 212758 910370 818030 128933 470831 894123 004557 940562 653120 826965 339307 448596 044637 177932 520120 705047 149114 903428 320301 122063 555812 279996 467903 003025 897272 635331 578104 065893 356666 792438 003206 981219 433853 946245 599037 367674 772192 606972 528667 600365 495244 885452 557963 231167 819235 952896 050254 026214 002343 620289 839401 984397 223687 240541 464459 144727 681035 340694 742270 480393 648966 858193 996919 153975 843898 104086 329684 942901 429207 177961 277247 062559 765502 304064 540191 754873 816566 760167 722215 214655 928486 561564 602704 021326 282591 691144 577723 058166 285058 740401 465796 162976 472158 602175 694017 321539 065053 944887 047395 516486 710539 360992 098953 782437 181481 066503 545974 332966 423967 004763 392985 767332 264987 385243 179105 476208 767473 791205 731637 498748 762300 186359 963687 150406 801937 061501 927979 694668 204769 444730 052610 791385 026148 088294 015362 112106 772411 074157 044403 580183 462248 384631 177402 160691 577529 964896 223754 427411 734615 293738 831381 494721 800721 197193 986500 007417 549621 964158 797508 569119 568048 084128 678464 439747 764212 223435 214179 593426 942034 149753 496946 413810 960701 826104 541024 920629 246429 638190 232305 514727 190574 020551 809371 926597 791131 277322 946958 208306 362935 819885 611239 558864 666385 283008 508186 488600 997220 396642 710640 425508 631773 366415 125466 246220 397166 176005 946678 021863 966678 445391 908085 308035 759639 126471 648001 578518 852672 612852 363599 953335 863542 071463 223968 166197 977296 824703 623343 823851 552872 725012 107979 329790 384134 781292 879600 172052 825196 502724 769681 327119 992875 577874 944344 330591 880509 543100 917036 640661 754195 414497 609976 947043 587453 194683 633957 118515 187003 697020 267029 254032 317239 169061 204527 054034 959929 252663 741028 135249 108502 234915 566591 506817 921758 023794 695877 608943 767128 278241 207071 329928 297327 964811 951310 860119 895293 339355 339064 405943 637404 914306 208509 333709 329866 717124 722412 461090 156386 252054 347177 957877 174117 333092 715175 601763 808890 399278 899305 990552 832142 559147 096193 311916 778607 535338 992210 279302 198033 045178 998261 709016 478841 534878 535420 928592 288765 502129 977693 293410 028237 598016 310933 399467 229324 023393 670859 352469 696651 317837 855160 497717 516104 295221 100619 514192 411061 312927 239804 863662 516304 097430 181563 083140 514803 916374 910074 525634 191743 997327 658306 002079 199358 295071 695664 989282 348468 923348 158388 660203 442609 089167 123462 592722 822965 985071 132298 884719 707156 269297 297075 111447 925352 497853 176292 774554 230736 743997 031997 134867 520209 698165 691972 015063 357933 202286 809665 567833 655618 183010 957073 464695 193738 457127 137645 938458 518794 738087 301399 598354 931729 133161 976588 636999 364366 014122 594340 896554 820684 865679 048276 588475 121636 269797 943553 447154 829085 198614 793995 576077 927143 064264 915520 410977 110847 449003 414001 656843 128123 503746 167803 518248 638058 254172 622399 104902 694238 535517 501535 975489 453081 192598 282649 562247 229104 019456 866977 618129 329598 856766 283977 030898 778591 528762 125264 112873 656402 781759 965345 337346 751243 236767 122434 342575 809976 673992 797182 749523 547114 057607 361025 666244 988375 151338 133264 976115 736188 445778 256478 284492 766064 042737 666740 211471 223652 844442 827521 876649 698956 472010 241643 845862 273164 067510 117410 573728 072778 407670 107927 130792 136016 467668 867812 569229 166253 815354 988071 071746 110717 634791 831850 841243 715861 646805 435916 508568 253815 046325 810643 100496 486832 400617 831555 816309 340319 484126 122063 707643 725125 726486 800847 035949 505416 019863 797702 599818 547182 900093 192831 145537 774058 419335 136054 017063 776265 527618 804826 147085 210906 281989 271174 359767 013332 663086 314673 742496 901862 020873 519595 218730 724989 602819 947013 446844 709775 056603 090889 249128 164619 444126 415458 830504 357301 216737 628040 580879 258232 712789 328119 089822 759834 489118 121154 431110 980479 541989 251119 469041 068228 730479 902345 191493 474727 399843 435769 533200 839148 507471 651069 425396 497313 883060 741259 852058 447177 373084 415935 356299 104434 308628 532252 967219 664617 879224 414780 169411 599833 080927 014133 591914 527992 626222 442524 343874 466006 563600 518760 411928 832845 311818 768593 371639 054490 455410 290551 800501 228932 697524 236321 006475 747669 198325 338876 764760 914444 588348 484202 778282 539426 493675 672725 449157 340836 944067 214429 846353 950740 187444 265496 775115 706908 110747 049960 705586 937435 049567 647643 146579 768323 248496 798181 389525 796168 280559 558510 228696 766679 071193 694463 047699 645265 817246 078878 753788 603410 124237 732507 646966 591738 452530 625131 235478 529691 802105 484849 213330 870989 967785 623994 974953 675511 806734 687363 011312 101404 721804 409305 857401 538800 646448 614873 908733 910833 647816 170302 822956 563889 893276 716921 766801 781715 218020 182468 177806 352824 277979 609512 154760 659630 635315 207255 182774 824426 887372 529258 533532 960555 819100 594137 832773 125681 444160 458150 948794 035701 911718 310328 820314 895107 496924 486019 096982 451092 154049 083667 052085 905777 699901 420805 321651 985981 420733 555346 227269 242577 809592 899650 133383 936774 643481 508329 382115 516716 402355 646958 171259 600192 523434 901317 551267 280076 133167 687267 154227 518129 537662 544900 449792 072686 795582 022224 736647 379713 184482 661800 646618 562120 121428 044893 166090 071684 551838 575287 254975 435882 714828 256331 254932 206383 540690 819879 159735 952564 810719 230973 798349 960967 195121 164337 190607 306804 170152 053947 424633 121042 852111 624908 435029 025780 380986 062398 551917 813830 776053 712634 869669 872279 910785 751576 699878 797250 959693 465461 277717 515850 173776 476994 614969 329114 858191 052535 197349 056962 639906 998050 525450 544187 236646 283591 397847 101478 666560 383667 296782 945959 118891 227980 458028 861065 119462 629661 454360 630451 401151 823933 294427 017367 267704 065280 576005 773714 425317 377278 807269 229865 652382 575105 935694 557352 764255 837183 298128 075737 848031 195351 070387 468050 212989 732985 285141 646810 288147 341523 591578 449329 775573 374504 983031 181223 756565 079089 103406 202729 688718 912868 366288 328990 018428 262319 660008 003583 760880 531501 891768 309468 206356 652778 719630 472389 744644 308210 079893 709140 418283 977922 749549 410834 795956 661807 457704 277044 597227 023625 584231 031169 792965 612837 511728 321163 286474 874884 787927 143844 978939 382720 984866 600809 973831 684927 089433 910476 851114 799082 254563 895677 607508 538082 988125 096186 255235 783192 703592 233638 964470 211630 873358 745280 245331 152467 564671 555678 896370 239691 807295 051516 015193 057639 940778 824854 061652 164125 189927 054648 470879 814000 064442 910891 907251 821084 908257 544158 629403 011321 506993 063594 923638 565298 772899 685627 407524 637235 536223 154959 078147 843148 521967 766235 161416 214741 133370 742444 057987 428416 806346 032952 213534 879570 072279 348585 355632 148022 830993 446824 291226 933006 176803 698838 421275 960451 965198 513783 074339 011218 597677 301360 890629 907578 435586 469253 652818 602918 023863 700404 554373 520517 606358 609759 628844 010291 111506 960002 633033 211245 637185 385054 966047 593194 195262 838472 592791 514100 393047 216256 013786 891695 963169 378442 625299 475258 606510 689417 271694 755266 393953 229735 039867 395546 335795 354731 599057 966888 448689 821101 794458 446647 218094 953785 842524 657988 351447 255178 055971 624661 127770 255877 957000 301572 151133 035794 576520 767078 962536 065478 064273 975656 720443 026092 029070 451488 805009 404104 191275 890084 290577 993857 820051 895900 464204 508394 720359 389650 724251 120219 115476 239138 735080 508507 163208 091693 211636 951892 698478 671256 937851 450670 453766 525525 973593 728302 601109 952387 783264 189861 198866 118655 949732 773737 924297 272601 915261 561157 059358 809392 077132 132608 924214 805499 469652 797023 181679 670797 206840 088376 735780 721927 814776 611085 319849 331389 391330 768492 413042 539134 915542 862453 331013 190714 879189 749962 764903 485991 456415 666030 005319 484511 971913 073438 716413 277277 354891 139144 080713 746361 559135 895006 652448 493479 369989 318668 134618 509759 457031 049556 743790 910173 015933 217346 207502 499902 411661 153225 877922 347902 737342 650967 291692 953044 293922 711068 510099 522934 916524 798249 120892 617675 455240 137389 452014 245935 850138 125306 673130 369532 670955 645550 833583 825374 232230 210436 758812 949424 828137 253104 198488 313070 412976 587110 487910 801017 706286 867653 701914 690054 442293 678692 477715 271245 655793 946865 025793 194634 989334 259461 847643 179539 284873 628184 524516 297826 434382 548552 947480 632683 933813 638943 208861 485104 852026 530174 253848 795277 447233 831875 591124 105310 738258 555427 264629 610639 245665 621462 188524 272142 646454 402641 854878 179731 693266 288181 252802 597479 064193 321519 606510 943501 684292 609517 252243 193565 165394 250016 062402 259134 475140 321025 503897 080205 952611 110415 765609 016351 641089 850873 180106 127768 702576 251927 728277 137649 762228 261464 243931 292873 447268 793792 321548 854249 293107 175556 021172 163526 428627 135096 928444 806143 683073 495125 092193 571624 128081 784357 633902 776683 242834 876785 224828 480228 645196 384709 458038 076152 869330 255917 780143 001093 782194 009330 367047 808514 329900 639769 665195 617505 431229 734721 694473 677876 542997 051674 248997 424478 987063 773382 037692 068596 407116 005020 587559 655077 714378 909441 214061 733160 738872 435936 556920 240869 058937 539544 552198 120588 133074 002468 044533 415925 273859 389255 949402 426459 699957 934178 475246 398688 295563 903175 393045 963074 485419 997899 632955 416782 267669 094691 663377 849874 602059 703364 660928 471330 952818 425684 160949 850144 749239 841955 548337 915925 362763 654036 398624 201088 489552 030515 960800 921377 272531 236671 872835 022144 825079 021580 200322 490961 708573 838330 811014 698026 444820 654703 769907 426027 711183 093492 370389 138400 202466 500511 620859 420020 021461 097516 687693 614562 753780 926357 672863 794351 723570 606211 565834 900158 509421 108478 029890 588461 501083 666181 706979 015633 754793 658584 824105 908334 622824 107405 479196 645188 384502 817117 240726 147686 865506 500798 581142 220705 980612 331268 601292 048458 615032 591217 840156 018252 448856 017908 414585 510945 534408 260208 955516 068713 042803 115346 301960 957572 255644 920941 875700 632006 045523 810248 615900 438212 728337 683335 172649 212168 243968 255152 028486 325329 125989 934039 614717 560374 135597 795181 595507 293579 658591 635356 488835 417269 527594 814036 638010 171194 197983 084515 776796 949289 375728 230809 379878 872664 658461 698371 174121 354194 278654 897105 901373 722164 766869 956327 326565 628168 865402 338356 885366 712361 276366 538677 451954 816234 517475 360870 263180 897106 552921 915016 671527 288980 476668 172639 352990 581491 789969 978481 541004 593313 707373 317162 444338 296626 383501 424928 941072 530306 533714 030689 236920 658166 053612 837389 872806 613140 583178 019788 952721 237856 074453 221323 292340 620152 626964 400806 159536 968446 733663 448336 930236 779647 731726 461019 425602 404444 551850 584956 018412 028332 442855 654524 320506 449065 645022 193840 700921 371750 118190 396852 329496 342633 114353 354366 860578 792682 329918 460759 200075 451682 555947 544790 848202 873286 127633 133617 183832 440876 826070 966970 413402 907621 607549 602922 978384 937713 655050 854073 166309 881935 182188 956529 524064 492200 013775 132809 287897 258094 675863 281903 533112 036069 271178 512563 039708 563997 238299 218401 979929 586862 365029 523376 785247 658697 891929 130124 979296 781477 720299 646035 798904 221549 631832 182042 013721 016619 395291 781527 345153 653150 034823 106985 613130 558263 328570 276699 577050 162996 680274 119758 693783 902626 747897 335446 240504 089647 508633 916837 435838 419671 981845 160196 183321 360735 781901 331268 283784 737198 294890 093564 298615 130809 659206 840789 496342 253760 152202 392637 941221 942716 600070 239324 827290 147423 333643 685576 865434 096894 188477 424816 220003 759707 669682 456861 691321 730226 356006 554456 415960 306667 806175 145933 085933 605526 864879 962637 002097 362178 809620 237465 989420 672101 967127 087804 950436 448035 483147 421443 681948 116877 506925 951644 717033 614340 344034 661238 917409 909601 326402 003870 731685 444617 153172 477754 894258 263116 487699 921856 573919 411302 180774 010530 039416 167153 014895 474600 940791 247547 905176 104000 767095 984276 934400 097153 400384 232109 263978 256130 095806 711790 160283 782094 111474 249498 665582 709794 828084 492386 254836 977387 385057 701138 301794 756347 254260 888483 771198 984905 221338 718786 747223 631951 273729 622003 234616 604559 934488 102058 959613 070922 481375 087194 956321 760872 321842 815604 765366 042611 006361 267139 862482 500174 856102 309975 963079 753617 095570 530220 187615 849708 416141 144790 678659 634559 027427 165093 518080 228000 410680 988037 615559 666111 236047 779167 940420 128914 640155 228304 847036 500719 868612 408033 341631 548427 578611 726590 691587 426928 457029 777054 280931 165792 654215 824750 866249 182268 538248 436825 745949 994804 526279 970377 445421 781611 983462 431986 760941 488522 200369 881066 232979 699101 486111 726971 061755 634647 744380 102889 339529 057324 100507 723924 014306 752699 780705 610911 433176 967873 983955 479585 051520 304060 116487 626632 887362 994910 432145 003308 483474 689693 094400 987477 159400 419431 549558 819370 766877 041605 645819 679021 817902 544810 256831 490829 749256 489385 010877 745598 919332 359073 493986 596650 798620 925680 320251 628749 936122 912008 986332 742003 588319 154715 334582 636263 508677 634114 197031 756924 332740 348225 386084 119087 729727 463426 629944 532270 942734 660412 980026 261898 212543 654609 356765 795149 090342 493139 363485 702751 335428 468401 383859 201209 560778 230810 048378 664538 466866 936643 341729 839129 817982 763094 172561 375988 601829 246943 261900 314805 373147 165234 720208 582038 352140 979681 984207 052201 149001 022577 631879 476039 315049 876381 348039 696436 119552 083073 132357 413907 470042 259795 371042 452772 333125 426741 570667 293998 443644 646905 352612 617965 574715 732647 839275 192502 647262 418439 157093 651339 661928 275983 779547 512888 231067 606469 364459 356491 986115 594179 197825 356366 157549 366169 587508 487775 426605 077074 541032 515664 112037 589878 455825 388837 975759 263968 860194 551953 515737 208210 076724 531856 633102 466037 018649 986362 856765 695301 687068 659811 979064 924502 055598 642620 163962 695347 336007 336418 009437 087178 498916 613680 524498 976445 141546 403048 085225 516993 224884 720986 641315 116372 402715 212466 512677 854266 906408 796180 037144 254180 890130 201717 219524 485377 055209 625583 899331 887736 251362 265832 044752 223425 803486 391442 246134 356215 668517 605610 566511 020313 224139 451037 980794 728933 645969 279382 444989 453603 640065 190888 735707 523647 741347 334256 678228 030684 213414 135654 291766 125800 545051 967025 887535 849358 435679 026937 943027 000397 331756 173366 495357 465711 868263 541407 048382 799504 622125 645373 377891 192576 243593 666850 173446 249018 828334 168759 926821 018287 746615 631012 276587 680793 930512 333105 732926 583869 591308 439959 260709 845050 937724 929882 099308 129062 150504 219427 744694 145599 368806 901461 469169 988524 235836 683000 104055 514542 926073 990129 295547 094391 380688 389342 852657 365674 575408 803222 628913 298641 886654 536465 524724 839798 325723 439470 804389 206958 014113 070414 740185 894769 645508 620017 407228 718798 923762 811306 225248 096632 120326 711531 058437 245293 118205 996489 803435 787267 359503 947558 656019 390649 594861 385487 301405 976992 449683 274166 334691 091498 037230 425594 977901 034206 710222 707527 327047 994267 925320 285011 378526 851327 108652 820653 982251 996420 267889 307953 744928 058281 826836 889481 615415 555339 221797 503523 346170 947299 455576 551007 594321 998084 689689 930556 945335 017090 726798 326414 382440 047455 491392 712016 454545 216547 535178 346657 637647 148347 842699 779717 626208 910608 350454 961736 500443 386455 379059 818773 245436 288683 804853 434963 765205 822743 731096 151562 472619 357838 648361 930292 548135 505126 771587 519708 578479 671320 781212 522525 372364 609090 984426 657422 254455 892543 393040 107851 039774 564055 781940 016831 686695 551964 422058 518074 419233 017859 549403 117410 430862 623309 742265 060075 432552 937003 221392 850239 592523 403132 293916 396760 763354 924585 536280 045621 465562 108661 489408 544613 664040 248388 128478 643608 066374 277421 277114 734535 082938 796255 965828 414759 958354 409345 405736 707351 227430 257856 972931 349693 708625 637563 058710 383991 623901 155306 579037 746528 961039 261561 297093 765423 822428 834473 275461 965929 001290 180793 808486 660754 223415 592092 948851 788862 816204 864766 473075 983499 213625 063799 195404 336968 821209 025960 268318 486273 070204 560941 989940 475005 828821 486522 579313 104843 214992 813702 220188 264965 344462 623673 588553 253421 696611 958094 011736 770801 688101 295954 332150 947065 225232 633329 440060 389403 940237 402214 645312 613809 037060 274755 775631 485910 602783 872198 749460 547190 192712 423029 377126 307944 471505 260699 281738 551866 591251 778891 950549 016171 410648 420071 674579 711627 834300 004609 203261 201137 224181 253145 159395 168412 489277 334009 335050 381121 573506 955841 374871 222255 270722 377615 657786 753297 612336 196653 737719 874503 060985 158875 149140 366671 580740 035376 846428 039218 581762 134738 218445 543713 612322 386964 034873 408859 113080 208215 936259 117574 631894 326828 148823 903545 377178 547154 034070 009240 347723 216468 144031 751578 774982 736723 336230 729376 620950 095906 366800 014380 524858 923213 171031 346858 833011 421432 888511 036718 936546 040559 209079 204384 972313 142258 404306 417232 082135 425477 040990 259951 634460 679848 772637 025838 059639 115721 472563 245292 004316 953922 109475 142575 122068 327978 883102 718384 774398 586450 702800 253739 511720 359119 697143 818028 766527 857846 398784 612572 652123 024460 506003 767163 207668 486588 610618 882976 829270 220466 986489 473062 491272 806779 659455 478329 659500 496148 309375 213300 494476 353780 174928 812184 164977 080798 750256 605287 750987 025797 492486 304659 757373 413707 777734 533381 626106 426115 229190 188225 855150 714851 209191 083074 872117 080052 620421 309626 728779 027607 719921 849546 831150 855086 928127 728230 136517 637706 946575 678552 780033 855256 407571 808868 925924 175197 599872 096242 000427 876661 317292 698446 727590 244966 877123 984840 804118 427937 844445 625090 644959 306622 972723 888529 030404 266289 372539 433466 936770 433328 178742 809045 745193 862849 450473 403211 067648 073685 119102 814591 957629 846422 152025 690647 982738 097459 027817 783407 206674 233013 390678 714427 / 707 > 8112803 [i]
- extracting embedded OOA [i] would yield OOA(8112803, 6403, S81, 2, 12725), but
Mode: Bound.
Optimality
Show details for fixed k and s, k and t, t and s.
Other Results with Identical Parameters
None.
Depending Results
None.