Information on Result #1872727
There is no (79, m, 6483)-net in base 81 with unbounded m, because logical equivalence would yield (79, m, 6483)-net in base 81 for arbitrarily large m, but
- m-reduction [i] would yield (79, 12963, 6483)-net in base 81, but
- extracting embedded OOA [i] would yield OOA(8112963, 6483, S81, 2, 12884), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 43770 088827 254450 808317 623274 398013 131803 298298 693596 341455 392381 132670 971004 261635 521425 624729 907757 259544 034227 375635 103585 092811 928727 098344 931301 097344 422118 690017 743688 339265 473882 222941 154486 644699 189834 215708 313342 707267 104849 892514 078301 481396 142178 466377 953385 908492 297598 766543 976849 301608 262966 459770 043111 321107 447295 320831 291806 813412 773061 162666 324237 331209 230897 172090 640466 817870 473510 627089 864377 352189 973705 698170 836569 752854 227314 977760 270215 225577 966948 740109 409233 176535 304979 122555 772872 378571 120605 679140 952809 739657 245529 944333 218798 816511 611410 486771 496460 712575 833488 439816 971592 104061 419004 305569 379561 908841 816677 242636 723974 197303 073384 191242 052708 841779 502621 061831 218716 955222 095439 871012 686351 140444 510758 018333 047867 770854 595223 502406 804929 007938 929188 023503 389967 805993 259776 001721 216395 787010 454516 142381 255575 607626 439131 586048 773120 716152 244460 256667 332548 379863 112372 240750 086669 080010 629734 036340 123836 478203 722816 143165 583667 970993 017807 798911 201295 654429 786135 182739 691029 139335 598051 419536 721810 841047 787685 651510 662285 303538 895372 095136 528367 267813 399784 649830 869332 663117 637670 461555 607002 618047 131693 471675 906434 330188 575659 911428 266856 554302 381851 710003 826760 801428 226887 587824 221177 465479 834136 170433 850755 832947 304223 815893 922149 962227 538415 335328 721522 133389 295881 488257 383983 287458 887215 346738 107839 947765 759139 440107 394644 217778 368217 560277 777380 959116 280755 953709 341895 059088 254597 766274 251688 138300 503005 612008 142559 258583 768537 101887 237102 712653 081661 791413 390353 438764 948492 095891 452558 195160 101816 903075 138811 800315 640745 151249 633710 679179 292953 910908 783728 890552 856630 723917 115107 785467 061758 652208 702536 393605 071524 093961 376083 096190 342680 531726 555444 117856 759341 619964 373592 576518 799036 640824 332759 965929 288466 162463 060128 015816 049816 904548 637012 312056 770079 836109 406191 546396 108419 134932 756637 486130 407038 549219 668093 881796 859370 230340 029477 770205 012813 427618 592296 225375 538986 816721 702390 046335 007344 709688 507101 149443 993437 581771 168114 995367 726587 280034 755416 553825 160999 668244 573110 094457 986502 250615 610017 203212 942865 343940 283041 537852 116259 919173 854780 378568 283281 547285 102189 114660 975092 187601 182619 817916 390994 385252 320257 768616 138381 239424 978818 128744 707684 046983 768996 777163 321851 570238 564907 061324 703211 033735 834036 636184 814888 375572 823482 007866 625813 177273 362282 546719 104239 433858 203456 315429 867329 038047 329254 686735 826194 417807 283573 705652 330699 495718 406729 787655 846769 113902 047480 031146 041897 717371 942529 707534 906920 369055 091276 099342 991077 219657 453941 909747 889291 942457 853131 604019 663191 641205 089001 013867 361138 794417 262167 609588 673799 328335 239405 782621 231570 074367 107823 615381 374657 417883 270010 384411 580720 088355 013878 901082 268929 504423 879760 005006 709790 856323 973976 100731 593095 935562 157568 887010 826753 878789 899743 997330 204436 539217 547388 592399 909334 107446 659297 604660 920946 955753 973689 142859 933844 658087 350525 994637 418332 245791 557147 027752 797389 216276 190228 489419 284014 366355 548919 198611 609569 933406 111163 964339 927069 744258 436336 835477 893221 603193 959051 186674 375485 134973 601783 120476 655619 805338 588324 038018 120907 849526 128923 102399 435338 735394 621297 445313 743088 382383 063140 779114 194239 300825 614616 435610 914482 360163 929262 103162 830331 646815 911826 881515 670095 923719 403883 421495 093462 827436 719823 097917 864327 651054 074480 646806 205064 448513 091190 125247 078722 030250 694980 227524 369876 703548 969456 603314 533784 803470 726548 272305 430814 234047 663191 618733 528061 966567 970095 376342 487241 748782 348023 652881 091051 080169 918014 865474 428774 024487 083836 860363 960665 222272 780078 705551 999644 510072 953051 388359 513103 611546 655653 172353 392965 728148 138723 594441 732831 653891 762397 261916 581286 060072 511436 185712 643027 569371 666177 649682 280312 399563 637432 640193 496020 831608 314475 368355 771361 376855 976951 088252 086837 562919 452934 188301 267439 133730 431891 468678 269238 756867 666611 789798 186981 254299 159964 573680 152455 228347 284360 465068 455740 587269 529389 074222 076358 359032 556351 930975 378878 455890 691194 473369 597373 583767 168497 564455 776007 836104 414731 520316 386565 934511 116194 397476 505938 175484 210744 354936 860470 937595 988871 782782 943742 162901 706790 504564 106260 054558 434161 840130 256795 287858 765986 503783 629668 530328 195718 889735 653800 884831 030129 370471 111097 110785 134315 301498 963155 694783 801459 655345 038776 840709 706589 025485 853020 528731 251967 834741 447408 393421 793932 498517 151362 655437 410924 165927 863930 438835 058427 530142 407900 804402 039529 204270 264501 934830 930727 250591 609254 704001 070263 906732 755712 109637 727485 395389 538574 066229 509775 978428 973186 121454 960796 697166 831767 457512 753831 942971 188707 717969 184080 463842 287369 689338 937228 535330 317481 612678 950886 993176 916163 784721 794648 255694 279124 229523 130492 691361 395026 625625 113251 788960 022359 507315 069567 705130 726392 298874 785235 131740 995454 907862 981019 711704 965707 668937 245215 013925 736961 966522 077066 828959 334719 691246 301968 644069 991620 671009 426467 626367 888187 179050 343963 474703 455022 378074 274624 563676 627200 951156 755964 806203 757778 078113 905616 077186 506259 200870 015686 037230 032943 644433 817750 701105 349180 680448 163000 851241 681381 352077 777223 194192 420219 180402 095427 952304 406265 422341 765339 122844 418639 915549 418594 395589 410862 044171 748625 193821 556213 967950 006328 720635 157661 874621 367342 146972 271219 507137 757471 431574 377159 739309 095285 878040 075738 563178 703204 436795 593170 439017 638697 314510 708504 862932 680518 575444 961651 459004 860811 358357 940345 383346 044368 729440 308291 197177 542627 677523 006440 202084 731802 475275 185748 840435 956186 300220 894187 150094 980393 123440 188237 199179 407606 586645 783179 329068 779909 806130 401436 001241 278652 921394 374236 630663 663059 088181 863225 400138 860290 168322 084167 655706 538155 185286 726460 325267 183718 139238 644201 538625 491761 534128 736808 604226 954955 637766 699543 836617 171505 343486 676813 557728 480707 512692 513236 591422 305716 182590 421459 350752 489315 633314 544189 345050 284444 398146 062921 026115 423907 710705 736633 747241 830030 204597 147908 231735 985551 059405 782568 819380 370854 264028 590727 213860 087288 088070 877191 462716 317651 716308 601498 763839 261600 988862 982944 477118 113663 904621 683883 426501 144496 334100 407782 721711 483745 105741 411757 752121 973925 718717 561865 889931 913795 638799 619731 220564 331299 218716 588661 899559 810254 219288 326380 945848 174543 530752 138287 219137 548762 772095 013091 521834 159790 314267 940845 540285 477944 802552 916545 953013 428644 768693 785370 829686 554855 772453 417608 571320 006575 252707 776894 973743 073320 419698 129914 702986 898027 715501 187682 917955 765251 280170 495404 368238 010732 074566 871682 553064 902282 624264 463716 974608 265001 323490 618343 897577 678629 058877 697895 205967 467356 881806 453837 903328 008539 422003 671492 405231 952992 823525 763315 868547 627631 293077 453215 267836 973090 020938 501428 883413 403782 006521 251960 696413 652240 493043 241943 389012 278286 345805 937151 289797 355912 662763 410350 535884 316837 136050 993332 993606 001609 793311 484370 927422 911999 405203 925999 754994 921159 441704 820730 795407 113033 527295 206682 148775 429530 287684 048921 185789 997373 934332 726977 205351 694425 864822 165537 576780 165636 678102 058767 436057 974789 030315 496845 430903 196027 478776 711370 302656 867730 998526 846192 542513 537929 907328 852922 675557 823541 717083 942071 873881 383084 685902 964526 422340 274579 031449 507693 081181 906706 577729 093572 200186 833697 582636 654365 334475 239435 968030 378048 495110 766489 167005 288017 370755 670447 006108 053995 984197 443753 553647 027052 193702 899140 889625 523086 374457 384891 597770 128973 899195 371605 049339 249808 352515 788403 638238 067968 434675 938998 782298 347488 473022 376890 793261 115892 974834 804380 473172 129082 915316 874187 076523 374641 496201 716259 498453 572804 773554 155007 676040 069966 490379 468363 118497 879015 518108 686256 585286 583453 866867 160811 424115 060406 840384 474633 661162 835056 028280 856189 050974 307316 047325 239316 933432 416993 240546 067869 549492 750003 927479 359007 110878 459947 843972 436802 015129 194943 101850 244022 232824 995239 056436 152050 417772 471587 888331 077599 757697 484811 543183 176152 792386 570833 827384 332159 834853 603446 518582 044163 235147 733916 135083 053218 276141 206730 875435 215688 241929 112496 829727 022453 834662 885654 059452 224719 775761 626980 288588 716467 261626 632463 066174 863668 224631 266291 222879 613517 236997 693239 878492 468614 079819 075398 911951 676626 088753 536974 114823 626148 529791 853152 236897 157575 617453 606593 093599 037318 460046 058023 143991 598036 739367 750867 720878 299767 314342 079287 764275 070947 352618 701264 351351 834020 954643 523457 495660 246543 622088 121419 823079 445667 693165 501703 254773 992333 914703 923213 472845 044556 322330 874016 397133 335194 439895 619893 440634 954497 138492 405173 382285 469321 564241 437971 465727 537870 759457 731107 380353 250481 922438 060785 727088 287768 355087 047833 224718 882440 768494 582282 306656 902990 454185 046139 307920 805850 201202 440775 200326 421418 387183 154698 102146 698970 424728 389991 125405 320028 710382 369574 858862 349290 196468 111110 425281 512620 964340 603660 012923 880616 186127 477030 796658 392793 508211 990176 611405 138343 786593 117802 279874 427854 852575 111484 557762 960961 590793 701098 937619 658044 556133 942182 967513 192213 710080 345117 352561 682986 957119 653596 537494 920196 880505 282745 302307 074907 599672 518537 470344 441574 738468 202538 452666 846257 680224 601282 477944 033679 655512 524268 715184 593544 885035 159248 771850 776653 394882 749119 978044 442098 445247 908276 649942 217190 881661 057929 898730 696617 782609 917989 159599 408411 987265 060940 118668 031597 167138 550077 442978 153293 137241 704141 796288 126610 001769 628154 114565 155704 471366 408548 229551 494653 462838 535435 093838 936780 520581 060976 672486 155252 672880 222386 449971 058769 713132 059676 956804 870466 894169 135708 824861 398359 340881 526623 153918 421524 513876 712428 415399 218011 462973 714003 403385 048667 144729 935584 292731 752926 403412 383574 995709 644784 156786 043399 938814 868309 194900 278321 012834 955298 524009 006688 947881 655434 846947 788236 091483 003149 886934 854845 929097 864036 028449 416490 349842 893065 820230 270455 303661 938637 406392 773674 290613 203856 888177 861130 995371 522737 808969 344478 459073 068809 821037 980640 407230 325376 099947 299461 361841 005343 589070 371135 237058 192135 360922 436279 686374 635209 323563 880038 384770 246997 630143 261910 937625 655595 852157 132990 122146 014971 078764 539162 491171 662381 428364 503501 201206 423230 331803 063502 874377 947042 678198 199944 057364 981679 736924 591831 178293 629026 865496 802896 930368 125965 491976 054670 326390 688307 205001 580579 840165 605084 208472 739433 044379 134779 828671 872029 488661 659488 342467 265038 102918 884134 798368 854772 432247 994397 148058 778860 201371 901133 748077 915892 544124 774585 754508 448463 758399 895902 201304 801280 252193 971596 346229 576003 874178 432492 287398 270814 801125 153509 025015 715844 726148 113960 956799 769463 570651 594383 092037 154337 438526 091237 585124 689404 013738 642117 046859 640434 549162 711037 484663 525931 918967 577058 664191 965453 905362 626810 794313 411990 209128 281411 503619 797595 006956 455234 138252 893303 569672 178863 019134 859963 692864 839121 383264 648795 092408 153562 496785 749581 457765 200213 257766 201724 893333 222612 249926 401966 002174 418680 936008 988497 766165 161680 413058 831188 416812 209882 197570 878365 345218 502723 532580 414995 488121 297992 992100 908280 282405 607251 013218 741731 598596 169913 186432 474281 415808 394182 514993 841641 666405 426929 731439 574220 648447 399991 278059 324053 498662 388316 805771 989616 595147 909709 714664 241475 714415 538599 571616 850571 589979 490705 973787 776137 660881 422458 470736 020234 171079 794535 750698 075307 570472 484606 569757 255986 940019 272346 665359 866029 687274 951285 547820 763212 312147 668591 436152 748060 190118 725937 230145 883619 490215 795267 493678 865615 319078 775219 493048 816107 177047 432690 668818 048545 949121 495541 964981 809801 714254 864726 690447 185254 041185 305127 966381 648447 546961 580642 141590 706881 994828 728816 080536 603782 339158 309695 767972 701958 494126 163712 258074 580109 804781 208537 882553 423440 022877 392411 639218 962516 059644 342713 071087 789187 022409 485916 959918 890332 844558 616139 318295 024287 624903 470382 889254 305673 851175 555478 711693 801186 895848 470355 169004 133019 354128 910898 827064 895316 170274 372743 937472 624720 603781 308068 467742 436671 091187 227684 044957 770610 017963 194213 457324 552419 885752 660672 716538 309489 093142 059590 338554 697363 598853 713024 011221 872338 248391 585850 490354 422610 437535 997293 471780 400584 798215 462418 671614 252072 948601 536216 919137 762235 881630 301642 022902 434637 639836 282283 785841 828409 688709 845460 936851 509253 608656 055148 632822 042491 340998 447680 018461 458232 229776 420779 196540 712847 886834 223074 896466 382143 571220 096374 068305 314395 581772 718948 191892 703052 687961 313011 176820 973979 136627 466554 795684 255082 219407 832724 414271 073685 963253 372107 513667 917159 843314 889970 225305 653771 419734 438851 002013 395420 795392 894623 356538 251578 466499 536879 910077 332905 373513 723170 789950 173495 526573 229734 923929 719009 892055 837753 617656 010693 106874 270049 014413 578233 690466 498395 251872 436707 634609 020724 644809 689291 329136 333855 324972 200767 816891 655351 325374 671552 409327 762062 175651 745454 342197 878296 835376 148391 095923 581671 410805 702691 699907 592012 225510 102049 338541 434987 759951 876459 118265 650165 129651 604186 482180 718315 569159 847645 268619 863856 067112 966783 399963 790482 147779 295906 687371 091050 457693 242780 890636 583845 662193 574121 159965 404955 840275 518243 674940 622640 884857 650073 479552 452337 776588 436027 237668 073060 187908 409623 694172 649119 056558 831301 427235 052322 084034 059142 570937 893250 814733 468880 469130 898263 008608 924352 681116 934544 310210 450862 572935 739080 682246 064250 723974 684849 897651 762162 770748 723918 699338 070219 311584 663650 623741 276073 397800 539938 929069 356982 790717 509901 988355 038569 910333 888791 207314 806048 073271 449464 353416 848754 578113 533366 726760 812643 995732 143440 584457 242483 320552 347757 337288 434531 417039 533522 977116 895790 344570 365827 071034 520340 095009 475076 993421 494935 826921 755253 188854 572228 550096 852520 779754 087999 328945 412799 094814 479441 175116 824742 556018 712089 773979 090471 331928 089073 923117 253944 203188 243872 595370 087485 645121 566225 659383 807086 311900 548264 305591 716518 756166 783311 208611 762314 261232 296996 315702 586977 205921 324085 766092 071217 730016 945285 986389 465204 234189 140169 282890 691349 836073 613791 695221 411804 355720 805824 189317 969935 385193 948290 515893 077633 751332 267289 768276 126951 105842 559775 224081 709041 667996 953755 050275 451742 667194 682907 882897 144247 070903 274970 982648 501037 061938 567420 236986 282586 773689 575928 069589 564418 952782 291067 007463 114612 391457 036298 549585 255329 359034 208065 323374 688410 936098 648090 901144 557015 183043 287220 027790 461545 429080 005064 653541 531001 429962 076676 754548 711001 231771 843541 177287 559788 144150 795686 682813 625328 016253 464291 831132 588660 955295 313251 411298 058494 484009 500153 751440 095194 052381 516201 996201 316875 219505 253067 901573 960288 204700 858660 361627 717442 173093 529814 847213 791079 476791 355483 004774 254669 147162 518946 388309 359601 217679 341583 952239 472609 340540 245185 435911 206045 846963 242876 350320 080639 996337 439957 660869 503730 512922 632368 293176 216186 385707 818955 415282 785838 004083 569741 897657 104310 604364 724660 273061 322729 400883 271205 303640 763906 902874 580010 408617 829247 369800 335291 686508 228964 212716 351519 636112 095761 423404 455367 769262 177249 956112 438294 156321 538472 769448 455837 457004 554747 402778 593068 405706 478817 080098 608527 454440 956407 801628 462827 496577 807785 386225 420231 985410 036926 590213 257887 782953 419823 323292 500602 876713 280038 001087 781817 709676 218043 877764 007906 926051 205621 190565 834557 016084 679694 571677 128184 166129 175916 370467 269041 634871 944620 093092 575546 437438 517335 475520 091844 894330 739761 798269 362339 111169 914898 289857 066341 732291 538267 644302 363319 257288 153568 708895 957590 095560 856245 292629 971098 871708 130774 852926 018188 714199 886386 176507 260459 718851 573734 738864 958664 072993 730752 349077 136200 076678 113796 593500 782639 603052 627274 933345 556198 989347 849150 943847 219323 621498 102651 620932 625198 950990 695284 696798 504608 505183 189232 359007 763619 184926 802019 517254 986589 072536 408257 222962 391035 068131 766993 350112 093497 315131 223076 000209 960105 285655 243662 253476 410857 699797 869173 191269 021929 656590 493565 339692 309081 488202 576474 951793 641653 061511 590685 023180 692758 482104 893910 186934 371718 553365 216105 549796 297336 701091 864169 115920 541974 734536 040714 103407 905478 549137 262939 837964 793353 816289 341797 401066 553949 688059 349678 127950 589726 087454 759640 340115 096653 420574 351935 023765 510757 567216 674850 933208 486187 893962 320069 745428 317500 682478 053271 743278 176753 364912 148954 044819 135758 834046 726244 986023 924784 433939 703132 011325 058534 645113 253614 025915 889359 395098 064493 324242 980839 331052 259870 638545 542631 360565 260355 162727 664554 216839 868537 754336 400989 365395 271006 846568 344298 589799 113413 423840 903790 932131 836149 218607 598762 358433 690299 260086 540609 079838 737252 375184 622541 068003 873454 588417 459704 239709 508147 859371 317393 890137 870881 453606 024807 105588 008868 851304 610623 670484 773001 534571 135205 052414 330731 780097 305973 606205 541637 068591 639304 148696 043899 811197 639416 330084 513901 574895 670435 183923 197938 680695 992781 969361 723462 805995 251277 064604 086150 751708 820957 910716 421516 245948 125484 880666 905371 623886 216840 384348 554364 318640 103483 737983 051218 922606 894003 904832 256373 477544 188982 169695 001883 956144 370874 748014 529335 444163 904755 645253 161230 779259 620640 786731 317009 918410 019604 087374 471960 678477 058313 777006 149281 851147 609846 782776 355999 354241 254839 172415 508369 364786 868842 041716 994006 339417 162916 518962 323000 284053 291592 046837 529746 101863 667447 319834 148561 912789 230018 140855 673245 462869 317180 796977 515517 660965 347869 014739 985118 006036 204279 654277 856580 467830 752962 697725 889929 693094 489266 551648 889986 347670 503786 182136 502690 421130 233341 363371 756612 089329 368567 302822 103395 383591 595373 048325 485615 269426 616321 954401 654155 574206 909005 191834 002708 374510 675296 682406 857932 336888 464090 797804 058532 994839 757408 825745 406473 911876 594577 113806 678653 268740 062316 279671 765757 534506 899404 740871 605046 460780 400154 119472 550840 862066 086862 880418 092116 867260 153327 767920 893112 641230 368254 361499 693557 374051 515505 289490 576599 697550 671592 455457 076299 231499 451162 308687 225881 400715 208693 315368 820671 548335 686268 980599 277529 985663 058244 088084 252953 668456 640884 049449 750088 525297 956063 588410 977505 994229 623295 637880 478103 112719 494302 797531 817326 595844 296879 066690 390750 272700 733333 816014 697249 407498 385992 414214 291562 881635 539908 083504 622392 699636 824562 690432 092600 823304 634154 114692 083570 410559 476125 784933 717666 187102 488420 846746 700155 171793 639508 601521 177600 614295 422585 441002 119063 553735 992605 393158 874577 605374 862532 399169 444594 471908 455320 873217 151610 723192 447248 068272 537164 862354 707432 160945 066382 438106 809938 092836 802979 063602 928515 590951 963185 453100 631663 508069 568249 495588 089876 796156 469714 502274 679398 532209 612578 286272 617933 177397 899910 568745 817711 200936 200610 991763 867408 449748 423628 624639 096901 677985 254177 832570 645189 907418 961535 612588 673292 036941 448474 774459 161728 112816 373805 355528 375514 422109 810839 446892 722876 439613 290411 100651 505521 107705 892682 949666 178930 777523 298894 129367 714198 857748 301135 733597 206569 418710 837029 435882 099271 753682 952206 012943 858030 119416 576109 160828 805270 720525 144943 655171 490452 657434 483421 275044 673779 709783 542871 271211 466981 732678 220962 611796 688682 329087 671875 255265 018944 592870 713816 038239 436355 717190 733476 517611 699425 600721 896567 846442 195309 030697 116423 937310 888251 660478 318383 312227 364533 399896 891342 799533 348407 190322 248149 821013 704599 851385 116243 462155 838960 959180 766621 304179 229613 403119 828784 048011 663587 750936 676739 855484 680356 740831 305925 497785 757895 842019 716365 251770 269520 655054 043702 100633 428446 786665 992525 693330 157057 833134 419114 546145 349607 889657 467527 850931 784309 294498 302790 574084 998190 389414 483279 106984 418510 164184 592748 258610 046040 563348 951016 898215 237478 400364 645816 467766 672141 658281 885106 917675 137656 299097 625055 753212 775789 195585 718649 344087 860214 337154 648912 883626 091487 874050 727389 586030 047431 861211 142732 873981 546391 298046 978225 166839 844976 252137 283147 800346 151936 492811 104240 338091 182001 570999 013177 090375 123903 876800 165275 738551 395150 720006 668688 712740 615429 611923 673149 320965 066655 446537 112549 590590 547431 109321 338605 967962 816312 790996 779939 282413 702608 080239 672096 266623 634482 872403 826884 906884 973595 258530 337715 894768 572663 738423 530471 570621 991656 952040 378784 242411 801423 563433 257797 689798 124405 880193 210025 146254 796001 192172 621572 380387 747354 965204 382544 034043 011376 043754 261826 475143 158030 989970 941680 434573 419139 439120 103268 457970 806968 447369 489165 981961 298721 074320 003126 994411 708103 763529 307476 159329 614143 213239 472103 451380 782958 026747 258844 057225 844368 702266 108947 119105 461441 609320 850327 973132 266702 048222 135668 368628 541210 390647 998235 075209 244587 767610 074204 703275 091533 650662 763732 904385 958013 985082 367086 020677 960730 919771 600684 899258 950438 361023 079966 581266 095610 990398 357470 027700 172061 427318 999001 955867 461924 781878 011815 141356 469000 503284 893115 400006 768955 560584 295072 775347 084884 598347 935056 878924 602805 607667 511583 088099 559138 946692 009348 626580 159303 992255 671243 644865 968568 361762 998240 300712 344438 466154 949524 982999 110126 076141 028586 997669 364452 939786 600459 563698 636625 333111 219181 439204 052119 333777 011177 714487 229448 016436 043301 776966 756314 552244 381646 702414 031259 160091 627835 474996 856992 671964 480085 254037 837282 737168 551017 502635 047841 177381 577349 604561 840211 533812 514770 875006 445973 596921 658756 527799 762965 257170 320064 458898 134892 792444 450317 887374 723484 002365 954162 284717 517574 925517 468939 321469 928106 438424 879707 118190 796858 008800 385126 501427 738247 307331 539261 086692 072259 939450 625741 918676 813442 959123 607504 825896 845972 185469 990523 845024 597964 611265 055153 463739 760925 369429 286309 108042 181779 803288 589349 515389 024358 212491 775279 579856 195936 076337 291938 407543 424953 563154 102732 443976 743893 024378 740323 760562 372568 185115 089110 638787 994703 219667 353137 221175 852144 303848 084703 007169 383883 187900 887919 241365 124406 381558 875595 438638 377821 675933 010203 036406 831651 604760 768419 525532 698058 521043 714481 072820 171100 617841 924645 994752 486157 433255 648215 496941 962725 450983 162846 251925 928880 970366 426223 513315 194537 330758 128613 919945 269367 674636 864067 394916 367425 425436 411857 648235 996770 569418 451125 722879 577433 965394 848398 135888 172937 051376 584874 370079 299624 235034 810110 661446 468208 768544 834580 784610 242591 317481 111975 431392 397376 672580 027831 128449 013651 434996 778883 367328 538022 909809 540260 009645 940670 085731 422215 169240 470042 150216 492497 108950 303631 652151 412091 365183 618062 862674 349867 540963 524488 477927 861573 075373 158100 257296 253667 362340 608845 036526 012900 971818 154867 279687 763620 252726 478630 893296 937442 300045 666048 222798 846154 791826 705494 876202 419243 924793 114004 701082 761709 806094 330529 249984 853098 606576 891012 561521 525607 289066 139288 043687 742888 843447 746953 240243 903996 475850 049086 110020 761206 911962 532197 425840 140437 195435 354023 289857 250729 778979 554728 529975 986940 662736 177165 733849 057673 169637 912884 592137 049428 952127 884309 925993 528678 799659 258093 050000 925423 723470 272425 021456 024576 128775 578514 234570 595144 115935 285130 233683 237064 540285 523758 539908 826084 957516 256479 067459 464493 054717 724786 553683 057666 950782 750955 713159 480099 110667 264189 890677 677471 303265 131639 135503 488370 366269 925403 247747 923979 376529 262262 964665 393439 107129 371108 595274 517726 474239 489946 705386 955978 161502 533691 349705 459885 906018 523651 335973 543789 444137 163648 355338 680272 892828 679272 995485 538181 912486 923154 167184 806316 459446 011710 129851 548068 820550 056578 751484 773465 123122 511090 419121 025190 050052 442265 200307 642740 429044 186648 486454 126972 277326 185879 995517 021882 973111 684625 609890 098383 128893 113334 905331 797256 726695 550707 189683 935341 136832 749816 432315 218464 917560 541952 965468 534414 627456 854170 563141 583379 684908 442656 942099 989980 501811 240275 954177 124361 850653 491033 053215 243071 534242 872246 324945 420978 948455 595959 722285 129551 318361 194969 682562 344479 109702 032062 098657 832755 127778 980180 553463 233842 665333 869047 331970 886968 484506 567300 375147 808094 338753 367162 269625 274770 662022 454388 816606 762009 698494 353457 145275 862301 551062 172530 083838 157870 029019 219819 273074 027071 637120 339422 319910 718936 469128 847488 006474 331787 874871 037047 191902 075205 059125 641824 185660 245479 555092 607486 189669 434671 113736 024497 561748 769249 625116 396091 701468 804100 982502 681051 112285 498918 240874 274916 424136 238768 918283 438992 317438 485567 108127 922921 279201 563196 972812 194627 285586 490224 863959 811339 890197 123539 516583 241731 047772 994632 277981 072288 970882 388256 404944 663172 117132 210656 562921 667670 266030 387276 744056 172447 585971 934468 722043 527686 931829 773616 929885 620929 651608 433056 853672 597714 953214 982159 682926 513179 992723 261674 519217 099139 589102 212976 030917 547845 619389 557476 996123 686405 759359 709378 357179 223505 435467 835278 604748 472713 759511 946929 520827 650609 543454 060556 293149 117978 878990 062983 365740 498224 903969 853852 109172 830776 451599 504492 286744 394017 420168 553411 894985 802154 753020 820294 985015 038726 164995 738510 474057 956244 384399 945983 816264 530233 749887 034113 267822 020668 493038 016559 607771 097564 764275 458905 600147 415949 965599 284951 054266 662493 349620 612398 897614 256433 525238 575182 631225 120289 642995 810171 457555 533535 908686 406989 000937 375715 596579 404452 554972 207806 748605 835215 361386 203092 292303 308967 662688 678019 255407 486034 211025 152969 050614 477714 919906 372418 923333 540961 236575 898489 790314 154572 668121 232695 908961 705900 999115 969771 403853 025428 731895 770658 856042 904663 338741 771900 475067 985932 515962 176113 689707 423211 293333 643450 898642 920602 851399 611054 998570 997839 883986 726080 125025 849718 982698 197129 083035 290051 852579 364665 759324 587783 578334 716849 939984 859994 431250 600246 379158 749579 368619 127114 233854 839835 403126 808322 102731 / 859 > 8112963 [i]
- extracting embedded OOA [i] would yield OOA(8112963, 6483, S81, 2, 12884), but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.