Information on Result #1868207
There is no (40, m, 10537)-net in base 256 with m > ∞, because logical equivalence would yield (40, 10537)-sequence in base 256, but
- net from sequence [i] would yield (40, m, 10538)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (40, 10536, 10538)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25610536, 10538, S256, 10496), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 589 715477 966685 721466 562029 554088 967749 562000 925115 052364 291382 423364 741797 967238 423562 948190 540525 907485 359568 373401 182965 216326 013301 686874 955208 385570 551698 666218 487082 279408 043807 597606 762460 979392 789620 366232 413280 725668 564639 471448 902896 324220 480324 179602 337901 213593 607837 019739 084990 717110 335350 553638 764251 140095 121780 807354 572776 666626 216641 448200 963463 677148 093133 558314 270145 725747 853856 169299 961497 743461 282979 269208 068404 612915 215204 563924 394273 011549 252440 889725 573156 595972 112095 144133 298955 483726 085212 440807 740954 590640 839318 670732 654923 961745 008876 441501 999669 812059 432038 039546 797979 485034 263697 398946 046502 688939 905264 434189 118259 895316 470507 992260 635738 986692 307479 073363 051336 589517 391954 093985 010532 497077 059579 316697 921070 795742 692821 798868 088439 425008 649103 801061 450608 739470 771314 119120 566550 452837 247171 589597 154589 990644 196268 846151 859320 884186 692183 800639 442048 109467 464299 729657 697437 088494 478640 096827 271940 680920 540374 412270 933616 502859 252433 232371 166970 767286 123078 944645 511112 850336 775067 922157 595737 276376 946425 122465 629076 182608 272622 941996 841802 698149 558062 907664 244218 219286 091146 058284 783263 081584 974140 547673 990018 091815 329761 556588 752000 308855 547668 583869 339320 203148 269155 033286 160256 218261 646778 971923 601709 082320 606697 568567 388298 896938 251404 405528 618895 553364 321423 608295 377816 602168 111293 229465 021220 806973 648190 862585 913648 009516 262321 167523 579765 533401 426475 293672 136306 563558 845949 545296 216613 940033 248838 246894 664132 661264 989777 959377 594961 229172 724707 182201 545469 952804 251419 136725 386545 637324 147604 471089 992529 905604 778339 701462 639194 435333 901146 931803 969870 129269 174204 386433 712349 646824 951354 279333 049326 735530 847526 553115 051764 189259 276354 003393 668873 761459 907461 903717 917059 501546 534587 825505 029365 863168 511835 087300 217722 574005 448098 469257 979554 266432 647110 323867 860103 483409 177875 081582 708886 163566 898532 143697 975149 277558 636420 311420 964480 517318 225023 353024 530298 864687 744306 396820 372748 192217 572489 658250 207733 165538 509903 385470 995985 390533 478315 071062 731365 995658 813237 728920 417776 910427 848621 866819 244803 437760 392831 014069 929727 023445 384059 473813 142898 113536 888211 951024 111603 174364 365713 915430 232158 096031 557713 795909 473638 099579 377860 509052 232431 764922 182638 881809 225212 495039 057206 940085 951753 085813 627441 723149 899994 771164 927295 139111 303353 650430 642844 805687 217147 164590 107027 359026 089969 898965 603267 224792 199532 323837 015621 528102 603736 294043 918385 709570 418463 735672 492822 789850 531022 282064 931582 316775 855596 007272 003798 077388 254988 910468 274134 500503 859996 710792 585797 244119 693476 106327 448232 568562 138304 249448 913162 516230 036738 447373 069258 450658 378484 837765 664798 646317 737349 301357 075092 365504 127304 993048 107327 552429 276313 688681 791340 663147 989930 414859 199711 056329 352905 963841 276874 634976 321996 691153 175257 577829 109068 284386 465925 834281 590490 445131 920275 219305 852561 257556 438150 266624 740630 433802 970142 540150 742979 846345 160365 031538 599658 256776 499769 731687 916766 440010 049310 706866 985002 225339 602859 382603 374191 525057 718898 657383 674470 252308 166563 889922 111696 359639 179288 824967 265097 436663 501072 041430 748650 466325 690780 430167 106866 531937 937308 942987 592088 284939 008713 228460 077846 981567 098391 044507 413813 745421 364879 772752 154417 870486 701534 506349 538978 813285 669285 506381 120442 232945 729918 276360 493805 929990 227031 375288 143851 604663 058215 277985 626682 372866 704477 351640 159474 819313 915366 512193 154658 584144 980927 406276 218836 619854 535075 321836 532088 418778 729286 829522 299198 669380 613928 878027 109386 397732 358538 970939 550149 703274 531895 584266 725773 308563 477675 723523 233074 946743 972018 959147 010701 288364 975003 855355 371940 169595 727547 240609 757706 860187 216257 662919 555602 851003 763214 436495 369716 748144 454278 627350 702791 410531 978947 090613 420585 238794 536836 574035 364479 807019 364168 672246 656626 575164 775046 928887 607106 336258 579180 566087 382699 475879 087686 639944 253496 602580 195978 917000 131015 285857 191933 691853 764792 052823 761946 846086 365551 895316 343664 362133 033775 393455 982122 525169 316892 582109 536523 056273 910593 369885 445004 958130 472468 246347 250291 530899 554746 998602 067004 446337 835812 632359 307815 411114 881041 248475 256958 323529 767817 929049 473327 202672 436231 143658 336924 573326 678482 889814 038560 237660 907355 173641 494260 740854 279394 015898 071180 232908 756363 498353 949439 586074 454843 083437 694116 749565 225279 127714 424215 881991 935305 350411 386731 304317 301465 077033 139322 598461 822406 258655 025762 314832 671075 204597 829045 008471 493122 421065 509334 405629 857869 050483 509761 761199 627119 162033 915818 784188 424828 704641 411861 502283 899562 822906 773538 221060 501023 176403 805338 787949 791945 216057 950137 378402 575032 227197 249026 308541 930330 577399 530760 098311 861894 799598 960790 213167 208336 311241 534836 329724 481604 832395 749596 940080 482641 319709 756450 487307 219618 710652 194512 176195 433499 699198 730459 974950 327635 174405 227995 787075 001500 009402 267041 636206 987918 072591 336356 523007 301420 676924 699791 056068 040143 076734 721374 856143 046044 644720 878086 819840 792733 074407 218994 621276 114906 576397 059057 841000 664785 792673 424226 881015 701753 924172 735254 653901 955135 635016 139299 212039 335685 568959 955947 905490 793875 560333 103735 421033 610497 442242 977690 789522 999540 143204 773344 384916 784302 604725 153658 465165 153098 620584 760675 976513 554354 575712 874593 378154 641578 300503 067749 806455 627664 084053 682613 657110 067221 815543 996509 218917 099813 820864 105402 774687 749158 969745 530907 487699 067065 969280 124828 458909 516680 239340 061751 717725 908826 013310 489348 207479 720580 757542 220817 563561 051818 038930 161975 055381 848850 636261 267603 573967 282608 606019 414268 280326 549593 522248 067544 715909 456726 169234 362365 972147 299305 781955 198802 069431 661177 158927 713853 257542 295682 432687 827489 165181 051593 956628 795098 313077 675236 666266 937832 655047 958361 515441 561348 570676 213938 443435 335524 415732 563837 892574 275561 995376 614518 109905 783126 027202 001518 667141 770247 612766 414507 380680 311408 195959 189048 913282 238194 902659 191759 328101 136533 764287 732584 893254 127598 904917 576220 598120 508224 728386 463739 493788 756963 537319 106337 394323 497842 069889 870965 612465 106663 706537 945614 971685 554729 398945 770225 571722 401208 337084 680365 409779 477054 996432 076021 262402 275562 575427 401217 531790 046046 340826 397551 796796 459893 764278 178476 223496 041953 355300 378390 401654 053645 982399 633164 222174 751610 940058 231250 712111 600845 340834 004366 638875 033343 091320 241689 930927 523890 317848 113617 261100 526526 716594 622923 999732 118133 737025 918559 716305 434943 813646 145526 382698 272682 820856 937518 003407 404439 804581 905727 656288 748000 560119 452809 102115 682810 398156 302440 241491 635305 030144 804466 548571 235984 032732 648319 336262 378954 250177 917000 206708 125414 695897 855777 256434 498350 780419 776110 887397 596870 542900 970142 407648 988092 715280 852324 420018 345247 194270 655346 782225 860653 164005 201199 046052 831490 450467 947789 684447 107775 991835 478006 013259 449682 293319 186831 650519 446330 543075 648955 706340 844667 888652 498175 871392 692572 227770 214964 397855 189065 233446 318094 728956 172733 498606 849115 773253 725318 416619 212627 475493 466873 726454 382922 858348 475986 731302 984136 909792 034321 018143 831335 693615 177748 137642 155468 470364 872505 979332 518159 250763 244966 722954 755445 320169 445859 160941 625520 929241 850683 842259 779811 858326 579412 276664 046554 227296 097918 272969 352978 013340 647241 308223 246543 335249 034132 988045 763076 493506 231107 084456 914453 818017 820412 017293 129229 091260 581974 776567 146160 005707 409550 968937 306596 063472 772615 824687 433668 720793 500681 956885 530884 563224 092981 864408 379609 452110 453933 198424 342392 871410 732631 221224 712510 093648 731810 243134 481285 134777 384162 801655 113996 288794 530618 832379 243449 708775 268272 565805 970000 473156 690214 222777 276736 604998 532263 928125 037307 750033 642872 211192 318372 124234 228787 989689 969790 131585 768001 414097 894093 028407 707771 500508 529280 871801 956178 051764 020181 410113 382654 447519 915189 950512 292151 857196 819554 806250 062915 622090 886443 283106 176812 861636 649556 118071 178836 761249 126887 187182 600072 205913 176188 327830 785701 239905 358864 208344 237547 934955 024232 036989 870559 971165 068274 447079 513324 220313 371727 046704 847200 379758 169980 822782 932485 850514 313159 967281 149263 913497 339476 049162 941296 269291 321070 591637 131848 756786 978734 738536 918811 152398 605242 572887 107822 550599 486918 806891 989858 582478 752226 766678 598923 190119 347096 235159 805957 070031 948448 008921 808073 797528 131460 046586 244642 037760 494176 146733 305670 790846 141035 636192 299759 424228 164007 502640 266441 016515 221134 583881 913776 767365 879246 306847 986510 674058 443557 610675 500529 048233 977551 455973 160139 804469 454001 781458 656188 643471 503807 056357 633089 585687 721867 537397 883413 203704 749237 377563 006155 927323 578481 376401 817923 912030 280029 746298 397890 326626 722020 857600 601028 596318 464644 791135 917605 655635 572910 679305 196015 577789 364123 462872 509367 672735 479535 880681 312151 995802 089695 570716 937630 540672 518956 041798 496997 736814 382049 170819 391660 474121 157449 669252 309759 441371 404972 913727 131512 547009 818517 270992 161502 373383 064062 922039 435481 952047 502588 157412 421050 308155 203087 871564 419250 233908 091675 149254 017633 028593 324234 129212 982261 307387 679048 372182 721074 378689 816647 742103 106487 476782 362082 303348 897062 118188 999248 437601 652603 383578 865225 380776 550646 178252 141579 400364 776993 878479 847416 956490 133742 607282 563042 195161 053600 263248 237717 898589 496887 520216 255999 752175 512758 369506 144311 068894 238471 866847 423190 574998 531120 905063 461736 006856 211991 933593 872551 673821 011394 597717 967755 087046 958919 800222 566130 956994 778722 174018 618962 716542 042398 093009 228317 041029 895739 975777 000084 311318 975273 955711 554933 573341 294832 600541 919774 282028 449764 921976 214867 931834 969768 430984 132276 095156 495571 612012 924500 547100 666837 252608 218172 687644 780647 198741 269076 557212 060843 901872 614848 113919 635411 961440 126370 787551 752723 205580 477092 388014 326007 975447 269047 121644 943049 507096 648547 980067 113038 807274 910123 868978 151493 262162 531168 453569 300310 671331 849131 106605 689124 533466 186113 315464 040087 353726 092422 374166 997224 949435 932762 762125 719395 555529 360806 906762 417080 136325 182544 785138 027960 203599 949836 361259 088113 031049 810090 340637 080818 900548 217497 591687 000143 812643 302198 425311 858940 019653 941386 074303 077859 507242 473085 130879 815619 009466 639230 509561 275118 013412 762507 109946 823412 561412 798793 606235 285919 865188 047511 182497 481861 777593 720041 794115 502595 454378 187556 444078 562340 074369 816710 460651 668951 089379 592153 117127 195829 281034 346018 255811 254980 803503 555824 662565 611571 534369 880887 945183 563908 914157 488720 710396 961509 323760 051481 937921 914722 279647 664530 850956 686662 734941 602187 697715 859325 512702 400550 344328 372713 122727 010613 839223 989743 221731 910435 788741 981364 088838 362940 518360 547137 626226 246551 260193 691349 808306 691563 885519 033252 982337 629137 625724 607628 619853 746151 936520 550140 928052 065130 966614 740051 009782 066233 536922 083320 541839 140751 958012 621004 172376 042616 890308 076172 889697 881117 009863 306631 222825 237516 095935 893133 844577 606934 716368 613064 897279 348954 222476 858761 276039 089427 104965 034677 641236 561351 835477 550114 809170 168363 762655 184923 132705 475352 373680 112531 146009 341282 130419 048996 054686 938476 230076 551091 452792 945371 054779 825234 652696 281142 156935 254335 262973 038016 428182 419454 647503 313180 858619 621181 213181 361671 997748 583311 339476 446933 172390 117866 417679 665184 287762 267011 818062 582030 058898 000636 457622 031458 003463 645390 313366 570138 670782 705060 717164 557696 499426 787154 840299 828744 444723 858215 716425 816228 898688 746590 641443 123171 798120 411859 905162 528511 544985 104232 764381 317852 843281 388172 514011 034481 606464 915946 111897 520631 547693 259004 166295 945393 593313 162854 929178 671446 711659 803127 350511 665367 620486 710704 067448 478853 060329 728523 082207 715507 614964 024914 395161 572719 170225 068761 644513 685471 420555 654458 260024 178519 706812 480178 425999 494813 071519 370826 179183 310020 353146 588641 187949 087229 413747 146478 065270 654773 440147 031825 687207 949101 890234 503517 828749 857694 598925 193547 537873 397635 080686 979841 252248 419345 685607 357176 153190 402171 506398 714667 666227 514444 687909 125137 770317 093505 455924 573976 486963 334590 566679 770627 588633 492407 301910 357779 974965 667626 246114 459318 709496 645260 448968 029198 884939 888605 280178 486922 528521 418031 143708 766639 057265 258029 305909 083293 303033 383063 190979 939539 071987 685511 337326 183313 091385 568167 126612 485723 088977 938097 368384 802797 872031 760310 603594 328856 948684 748500 929097 898019 971207 201500 180330 344100 096452 167113 100478 222345 490884 304699 181150 123154 818171 732442 100957 795959 060521 056264 809364 791718 046244 716096 272923 736034 401222 633373 271018 514461 077771 019498 347460 897704 574635 872191 991444 910951 369162 957845 422769 705923 683835 023198 549031 271944 334180 095119 735683 217933 893766 402436 619689 996809 539916 016123 919807 006177 658967 960186 097895 201868 309790 881548 492827 583252 859600 818796 263256 677792 865689 636519 420303 996698 939538 113508 241817 128266 009016 745217 118467 320259 023588 110537 553531 122562 703932 275626 032787 996826 803289 906287 637619 836422 986530 959414 754949 995156 522554 919662 364377 024379 369674 722065 232321 557030 554595 274924 597763 833672 383154 400694 708671 914018 189052 222473 540569 179751 141779 896631 564310 375387 327588 350991 401393 605670 184279 127239 839876 262701 876528 487148 024756 064902 703645 083585 769945 772179 117114 886527 891827 852957 070387 671592 407384 805672 554502 656020 267843 747223 524824 807602 425502 028978 216558 241134 292862 441280 221544 652356 193554 060162 697516 221462 248687 293796 678980 606706 540634 936589 665961 483409 692341 955013 776067 672104 642102 486154 540477 834455 472415 281181 351000 104461 369243 625916 740494 254657 161544 152662 541034 469242 904523 132452 798158 667331 922363 448406 258310 631618 754606 536934 633697 378119 746067 779606 673019 068596 084390 724692 110690 550770 731086 525924 142838 939954 925507 007812 746855 022906 771778 253219 537251 663585 823667 322393 728651 945817 574831 556558 378293 261055 525466 116139 692207 733876 915216 527788 138105 708299 992989 926104 795572 027837 391529 183309 306963 577654 313089 478371 052069 056112 073588 580706 523105 260581 095860 157746 536857 800366 242510 723241 990531 110755 339210 168516 920173 100953 015206 232589 015095 175280 497112 686890 296844 791669 899514 721113 104115 927669 290874 773021 962917 862884 565089 714908 144708 051648 874308 923942 786536 236552 809576 458322 211765 769473 724352 891967 878774 400778 064276 778044 903730 966097 859899 922358 634830 287662 538672 298622 996553 728318 712772 569923 323849 027859 253639 095893 466153 246120 693684 933537 729088 154323 512001 332429 816254 150334 878569 371517 319627 763244 132790 814391 287107 924813 169875 582374 796787 450063 501524 763220 657441 283447 077776 978190 551695 700727 313770 757084 532234 088783 370801 028517 574218 497929 425150 260585 036329 197381 029371 007145 107607 231015 046017 575945 957698 550454 989575 998140 541134 116423 355176 788108 921919 727206 493312 589080 445249 991864 538195 494534 867114 724790 693410 922287 732166 963261 345071 114921 352906 587601 342281 913953 773516 638209 341233 864946 826365 206719 733401 935862 323475 401029 102491 918450 082780 775385 249214 929504 318015 977102 116271 383485 617278 527725 972224 220645 862198 106038 420680 576402 741216 328206 617915 777981 667973 780692 027533 318721 853077 596796 366130 001992 574549 687211 352638 148920 334886 983964 259459 172726 017954 729964 790934 709895 685847 340602 530026 270872 390496 698971 957464 466775 469330 751488 780714 842944 262231 920546 208422 968721 716589 803390 329254 285437 158654 173808 051131 461893 469726 156173 120044 728786 085139 745960 828931 355108 899855 322129 159871 190430 110277 886994 290826 568460 293252 531170 285505 239253 949447 212392 837360 589923 193897 924230 299341 098044 433879 667715 518627 050910 482557 741689 794742 960099 597634 405046 029806 992054 904906 604392 252581 675332 168475 013169 867169 776755 722075 732636 711491 679558 808123 980104 370680 918778 194389 222714 664217 082438 482829 331423 016743 918599 488721 564114 194523 557658 764663 531792 680013 693280 852293 972817 524426 805255 781729 495347 116549 557601 690864 429621 422016 039405 216744 889404 178709 200090 435390 183676 618103 138574 701275 381422 363006 370975 141795 349912 645051 230724 029416 930970 711832 452676 829351 612704 969329 669961 843429 214270 502226 569821 299377 207867 959063 694664 158083 451554 507850 863397 503059 175088 779627 304098 830052 817873 143577 162501 993183 504540 444319 752804 404924 072691 491798 004239 011437 055085 462589 687391 786789 300155 109046 974378 152742 370017 490632 703823 857009 729280 672071 123975 627797 837507 534579 536503 858058 185211 521732 850161 243348 942721 338264 123886 990650 499584 459930 273703 424531 610445 731223 967060 448106 243000 460887 769459 202147 689167 350133 618448 260125 036419 212168 565021 338302 245558 463164 853548 852202 350162 981143 203430 049215 678062 036651 004680 997469 846980 054375 629938 684172 946475 366903 795281 188744 834336 393581 143656 840306 234785 013816 442656 455805 897057 952883 675935 408207 159752 781909 340701 097678 379765 711533 924068 818924 721830 146920 421950 893926 871486 850529 958562 755421 389864 594805 592652 518848 248082 233505 665462 393110 140807 075387 424191 949976 638893 262078 319612 101258 490812 369658 189204 855144 407203 036883 321896 796840 710986 317971 527926 918488 428931 948687 536021 034751 268973 227933 964496 758018 359035 103274 785370 025195 345743 267954 332647 272852 280938 681923 010506 049148 654686 396056 895146 083479 353345 957627 450431 504644 055503 435559 889205 093546 636414 114261 781465 958182 472909 180989 515170 297648 554984 906240 262086 414405 325683 736447 288225 052529 335505 030916 649096 140642 554833 910847 649956 656723 703226 203668 444806 991119 354800 432900 528996 794193 392332 621995 838514 585071 961406 763123 005131 269248 754133 589106 292854 447055 656621 899416 869031 579986 296861 752459 618397 252611 856276 168749 805989 388790 545093 466267 593493 967756 734682 017159 156497 713798 234461 754220 760507 286098 591673 185052 033309 912215 220670 150530 418815 495216 175566 690719 193399 110969 788193 931654 945092 505974 032635 879445 654559 207729 184275 009422 015614 730612 930354 914364 519485 909237 322879 035988 314735 883892 153410 838806 250076 449950 655071 587787 928052 489272 705225 390241 842069 348377 729599 259328 286571 563335 366599 932689 307845 292317 504712 153768 903916 082619 870997 811757 699534 684671 943039 528388 795633 129718 289659 024843 835077 289369 045452 155928 769931 522318 176563 400745 130374 549398 233096 741668 968800 701130 567698 178301 449669 739548 135044 064620 408377 447827 777286 550146 566006 899495 974367 499237 682260 931134 231265 080479 314922 279155 422903 233779 659429 997786 361695 056355 089940 685192 320273 583175 857862 396646 888108 324331 993676 439535 546642 174512 405255 817825 088716 103781 003671 557730 275816 435468 313737 308207 797394 819036 412054 907819 340001 841700 342505 066863 081945 913703 037649 491157 077419 705593 008098 774737 711914 833111 995076 611360 562906 425377 815225 362371 072233 551189 388806 199663 486874 824486 517943 300319 207564 156232 777425 474256 582506 358161 559072 795312 824576 392659 837466 686673 409189 761138 667482 080067 565319 459212 235295 250024 996996 692829 659863 840021 454230 362692 095534 930778 085505 334851 793015 891205 277976 169261 365030 355529 496444 271376 246864 002492 313459 177042 931408 315299 319273 385616 361097 037879 526960 992605 224557 845403 962695 747576 497151 991277 625092 617770 523338 831498 998869 033140 104453 367990 536531 543372 881562 150774 342021 863415 959971 199642 843250 037605 423522 719939 047692 132005 056497 098558 811197 934939 324236 032861 473544 483828 989689 033668 088914 321489 744513 763728 201188 230742 721922 716684 569134 923066 100688 921816 171885 598613 088488 648464 542915 183331 935485 259470 033266 374492 959989 799845 867725 611642 101495 158215 755165 229115 998878 906705 143817 374787 360578 623254 565891 002032 365253 614796 190897 568278 687513 181233 240044 534413 409474 556960 700204 715781 989064 185597 203515 965552 087150 892378 925677 030339 543147 858205 076666 603990 409273 739456 241314 915225 227068 409290 651839 920513 662292 907556 864129 097156 341079 852353 069991 416766 557483 029962 482084 449744 949376 565285 419206 276405 545057 427492 340792 000372 812660 040465 084226 408512 382756 291906 936392 540267 626502 948265 805486 098182 620993 027606 229079 756488 234308 038846 502756 941179 842549 411643 425139 721876 947693 339179 868470 144474 090161 835028 929897 219258 495360 201964 804781 884083 841034 008129 323088 628354 798999 274278 950598 694739 856483 905109 921879 479020 257689 992535 572538 906206 803971 039335 315652 362363 369286 122770 568449 387658 259598 129992 521919 723529 840473 726939 989001 568723 558178 975656 316680 365136 742447 000851 372482 727731 648197 024910 210569 169123 702573 934380 358735 173433 089603 904616 212894 206890 759089 802157 206407 489552 651981 599883 058910 811971 366672 500486 222559 879184 119612 325164 644587 758586 682112 935179 718787 218967 005075 704562 557124 003940 294400 468692 046376 759668 277102 952198 746962 146955 259441 853099 325958 806681 826127 788458 788812 538047 697825 883301 756087 640625 271268 571251 950111 720044 676640 330842 761178 497998 285968 267728 347861 229254 174266 484224 846864 617695 556921 163982 288196 780825 320118 377041 786336 993010 082701 134206 460876 686894 620505 119012 169299 024987 966216 606019 828378 828797 787937 402359 033648 877640 010857 863720 466417 238500 420924 423470 380322 642906 806480 451567 122272 582719 707593 815013 456944 608861 639367 793759 027202 459570 384146 970185 005063 982715 759690 356493 633855 827848 243159 522483 757180 578682 475235 188021 916783 257718 663080 861269 414679 018184 097892 909738 016579 796112 401423 719300 299991 669879 254599 919131 516462 830345 606916 488108 474158 481047 757079 898566 699225 860424 393927 636356 422114 757094 080021 591755 687218 767747 372457 457714 816125 893843 105732 604157 920536 766218 844611 495008 220531 607676 300519 906785 936892 869690 184118 720765 661797 497883 780434 953269 336038 901166 797363 052203 231019 620552 094376 836905 033956 227868 063750 818118 576867 192143 851987 979575 704885 293779 014330 768988 826581 121207 482735 041775 208484 996714 762406 214672 764254 619323 664265 184877 394812 031394 281220 602429 753381 903719 204328 969839 676258 767627 055617 254561 145161 945115 020246 716130 472009 956018 387935 782868 656685 493573 538994 692859 375028 384773 685950 353904 590844 436823 279393 471676 205779 332423 281200 223334 434553 151457 088143 031350 232405 546342 647342 105694 092331 232990 623181 713819 869652 709820 049140 649311 935333 098974 348816 135331 053392 032691 252206 366179 102165 991214 999502 391954 925516 717806 013490 475807 153031 780019 576067 998255 959246 961728 520251 835588 054515 856063 185187 195527 727880 784279 772488 787893 414197 684947 063672 797917 915698 893767 566262 697696 163014 450292 012241 898522 402221 467534 723259 992210 949415 714496 920772 030934 789396 424585 952104 633471 740952 789522 015988 441635 088929 478962 715403 024976 984049 825525 482596 095742 312535 065338 118022 581558 065603 867628 235919 565619 834517 007683 418089 146509 088711 247480 343289 821240 238350 615307 941765 109778 193945 095181 367749 130839 019983 193730 363986 463533 129429 254272 926740 388157 625029 056942 722658 350617 113663 025479 958171 428168 303781 612246 698910 876363 958061 944274 277073 544160 523489 059313 846753 627122 683056 023844 819806 362980 925092 878353 370565 426948 665706 072757 363235 534621 994132 929109 118484 587059 071286 446852 555508 022308 970075 097893 184621 526204 180961 459313 114327 436311 293012 647915 127072 817534 865731 086224 686701 966883 309206 553692 729049 166175 494138 410449 590473 260999 670526 213610 290536 678664 114331 548506 774030 495776 517133 840824 288431 474324 135361 045199 303628 567215 947504 333481 954524 471752 254903 469889 118602 994330 537841 924500 851640 091625 850514 649418 840465 678851 507459 068656 152284 268566 889981 752165 566956 855744 408154 739722 253833 098341 435225 490176 716091 017753 516848 626123 263167 419552 726484 709065 516638 919823 542521 091382 608817 241651 810946 182409 899306 061712 258495 619918 204869 572299 984981 233556 737828 324885 134154 467565 413679 981830 922400 165377 021967 751086 022317 440941 651273 045393 502748 578482 370738 379102 890665 627992 690378 711384 352302 406238 692193 971564 129984 860076 107825 856386 369710 830019 203872 505954 078185 019435 333231 681044 214398 418328 222564 153333 342533 754418 443703 388909 121025 108182 494677 191651 791766 681315 336929 495770 322618 495873 110685 319704 499491 711812 765303 387646 291628 708393 223248 969834 138793 512485 564712 836495 522961 230053 489259 122967 941010 803642 765161 202408 398544 173160 147241 288303 107171 244450 509121 649075 597053 560458 102273 624353 351202 681392 615005 540199 592834 993189 485987 450535 039461 741666 890838 310480 327784 713097 573223 243653 941378 406998 381416 747977 082923 273903 642687 419624 449371 402214 479576 933353 698645 050142 434753 315835 135830 154218 249041 867953 292328 560642 927562 343160 570106 192127 760400 269423 835768 261365 498341 567139 518434 819359 846433 860297 159372 653999 414721 610570 175759 841624 361984 271765 701100 277525 327065 895555 716809 597721 041043 265547 139594 870761 027754 932256 732577 488645 772688 008378 183488 668753 747136 488788 034970 404612 777268 280124 819309 965740 886670 947599 626428 779633 488873 464324 918025 267537 224950 445785 217327 619351 098958 864413 132926 033401 789135 966424 354851 838564 890447 539744 872609 738236 716965 190757 212177 444690 234738 673564 498191 123861 034252 734994 632895 904639 479448 137221 438424 580868 893334 688886 141281 614766 504774 039996 165872 635655 440530 631080 437529 299796 340646 849732 992353 262948 906899 129202 549715 720197 282221 922133 112422 980328 249011 565525 541388 541114 313751 321802 391276 121098 460296 615494 429083 285067 456072 017703 723214 902740 639031 458374 113115 187310 671312 770947 392050 754182 562777 953799 268180 472465 170762 439277 979249 682804 805338 807832 131246 568882 907013 886099 635908 134429 980408 617113 338685 989349 676059 850091 315203 044551 249862 232908 068902 033710 852755 936918 681104 157500 141880 662005 055969 006070 544480 748110 552316 318768 396034 371943 928951 648865 149660 602887 612059 756095 436708 778664 572924 514770 839415 130410 373352 102274 081979 288988 094618 814128 236107 126255 529916 406954 771531 370972 787845 433935 176490 828134 552766 318578 281505 833598 238140 324019 817836 491110 358661 285112 397192 228729 390412 375363 137178 340346 135264 331434 777810 588719 552593 450456 088290 135773 258494 966013 543036 881125 277308 185161 768727 876510 629069 441812 709642 029025 061637 778709 445330 544144 154835 103845 404382 805854 506324 399667 525401 394581 395162 636458 252473 141316 195179 645350 287007 091693 056791 615050 380238 805794 416689 529473 202460 830835 331589 426259 253071 571386 631301 179545 985028 704803 841672 546457 385398 486988 483550 184732 930787 107370 043856 017425 286390 474566 294975 343076 179377 400891 931907 693054 183558 208161 914110 585750 832851 673132 862260 206129 618447 888825 912998 689525 377760 729110 951594 642574 679438 538461 518115 478798 532836 857604 912967 452366 564606 963527 477384 836738 551134 811692 178821 626799 136578 625443 078203 135078 572807 235395 961869 901990 797198 220246 908141 830774 911747 380326 948329 495475 837026 286584 205224 619832 849256 910336 071401 335008 236654 095034 071266 150417 111783 432976 854841 032704 / 3499 > 25610536 [i]
- extracting embedded OOA [i] would yield OA(25610536, 10538, S256, 10496), but
- m-reduction [i] would yield (40, 10536, 10538)-net in base 256, but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.