Information on Result #1868226
There is no (50, 13107)-sequence in base 256 (for arbitrarily large k), because logical equivalence would yield (50, 13107)-sequence in base 256, but
- net from sequence [i] would yield (50, m, 13108)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (50, 13106, 13108)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25613106, 13108, S256, 13056), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 3 290248 395768 045723 787835 404053 532035 768065 447776 515721 505569 698316 982856 955040 522828 329320 752645 794560 268533 902890 275304 627289 153316 347338 489204 399027 541532 763026 583058 272088 578695 099099 800186 411204 936959 818692 035610 255600 935151 987129 172427 736450 755392 570868 614524 959732 349365 481158 899429 635923 779224 610003 816136 416907 090671 540476 916369 775350 558938 454994 223056 775501 550903 434571 391231 835058 811535 226642 778759 906571 080593 641606 690909 346688 540010 539020 463327 552961 946131 174965 443325 111739 461028 123401 718586 826401 591857 861108 908069 045143 633484 549329 486569 666246 759956 578087 993004 406278 044795 836073 781618 597693 619400 747525 845176 586572 741286 615597 173940 353867 104125 556013 259596 538774 948228 878799 981005 097691 965994 564448 386982 870737 595864 449402 884502 680533 578644 488783 494415 738650 850532 117333 422906 157923 941853 063956 198071 996464 631165 280790 443532 561891 196517 107655 758141 365502 544276 904218 213841 057784 495327 370088 122468 883131 562411 484345 142566 039471 845678 776229 929599 834013 311861 013909 869445 518751 340521 308413 936383 853394 402865 016876 834754 346858 868925 261128 807520 192608 695349 873117 440152 137583 065995 681143 350404 332869 316394 576326 874194 412667 090882 281937 974711 326625 594120 987766 068353 610109 613298 862353 133928 185461 739689 747432 567919 414439 794934 740993 412441 039525 884491 681283 798632 184315 684369 806054 293778 063634 166606 538398 430609 416252 919030 458233 078903 942805 838321 232262 186553 441017 567144 827175 096331 099382 357733 466062 305436 389624 627202 867432 873887 545032 370775 998060 367939 111757 923343 821194 402410 229242 560567 206741 752473 215690 188675 092322 695395 496660 524344 131547 286216 477723 159154 449763 736062 977784 162958 840147 222012 952649 022154 288192 702849 744981 695588 554204 417851 309150 772688 570211 219763 380926 066347 589644 196258 777633 773732 264193 978791 486815 292405 598608 811732 473883 837251 768288 066477 139778 828257 685744 313708 017632 522265 887898 987350 455511 207331 182234 080430 997093 026907 716015 172063 415892 385275 985647 557857 853256 723056 679322 409308 295862 487635 684748 650258 297368 774238 276264 941423 138752 881847 641665 559141 595585 896516 415901 567073 821186 279350 846731 308355 297954 485855 445301 412985 269567 889772 943998 229821 410972 446180 559366 673865 133311 805268 319597 275847 442683 738623 032536 144403 317155 180758 297419 514997 375053 764156 922519 593931 035878 643154 720641 408398 612353 327668 105721 201179 232553 090656 006323 061891 456265 267308 405561 957378 253807 941898 264874 677675 665699 927851 277184 358693 518986 994978 470897 289429 717123 644346 495909 340343 207834 260006 252318 183839 987148 870043 842365 185195 698145 951441 666138 616977 853772 182850 070009 144560 373135 166902 875023 390462 346962 229068 349098 535789 454708 613225 956477 428586 460955 353978 077713 699786 402372 667940 560479 654816 000957 616540 657082 487780 820629 678372 801858 561719 263922 321099 118515 608937 271342 734270 893992 639264 009243 857706 851156 629530 190297 520341 907423 661011 819420 503311 304858 521868 949527 237005 092059 267436 719430 888096 202940 277888 034225 609101 331808 303545 852820 392493 961897 407583 755643 046301 304787 744348 548852 938172 083394 629861 465409 291044 078857 328586 927078 169486 624332 934112 953696 357488 855908 967762 022332 902967 686036 362685 322157 186407 351512 996330 258557 034007 314765 965410 922977 629652 408067 124234 926183 018493 203491 909351 894330 299849 366706 295869 018368 828490 774585 095427 920049 132983 002599 037501 819210 918294 785430 040133 955705 770607 377827 951613 369141 314493 706175 580480 749261 866097 840210 052826 676961 334120 280636 546398 609912 317423 683224 736390 596267 520531 296165 548096 979496 400884 565538 309504 504821 669861 300386 323287 186953 178152 450834 306263 373435 857094 198018 215495 845595 765031 164658 195907 956936 563521 205252 610571 057693 034908 200884 051490 306016 813268 800234 088300 336895 951242 335293 053300 194777 611939 055411 096022 509450 845811 136338 724698 608735 468860 644602 008319 451213 338767 471964 739265 568400 800658 420497 513095 997546 325148 511520 442721 080476 300820 612752 489020 919724 613690 963130 347398 732973 903057 234724 032260 130948 548085 181785 968229 714468 241649 470203 911400 730011 442163 560698 366457 984400 364910 342370 119764 785294 132343 678109 453703 026400 607113 900197 195370 107715 154020 053464 564030 831814 355557 154375 480796 762726 587632 314636 401735 236349 475740 317099 045584 492914 928277 435273 035632 919306 530695 957984 875100 172137 013784 103155 372521 020552 435163 687823 644767 400952 369077 886465 961255 882310 610323 002790 592079 894645 645694 674636 341065 339647 445278 996552 395375 109906 985734 245702 478051 032055 776371 577715 741222 425496 131403 413223 209993 324010 667431 103564 169013 108769 521435 457712 692172 341623 864072 432823 707001 392749 750304 899105 209854 895348 618868 306539 054295 380169 318918 555839 791726 489654 959400 338003 319375 469962 439662 976787 244505 123066 270524 540313 843456 309069 646267 957040 587415 191372 699587 829724 120986 590989 795615 440276 373128 429404 984231 501637 009772 427772 055043 126344 350469 122806 622812 232634 575386 200162 760038 202982 245358 426848 447396 356685 411686 956201 951434 999948 853594 766154 168676 380134 566843 702262 693840 615592 635863 776840 544293 030948 459620 850890 445790 740363 989241 631600 060536 986402 154005 088775 141202 063275 324822 783168 609439 108734 590982 035381 405802 803064 820775 017355 346553 573636 597452 836497 382493 313691 358356 787493 341700 828745 917881 991706 613536 115953 484917 018935 361870 495367 337023 212595 587676 460089 380771 229909 314980 988482 385050 065691 046399 977725 044931 498307 703844 767613 620212 193296 378624 976176 360968 725829 220384 766382 449539 160943 506539 914780 754573 469312 808888 437896 930027 387171 978674 479936 712386 412100 881285 783574 197271 785510 024098 299341 470832 375313 179830 944909 484853 318966 183884 760557 690428 885612 550414 649338 390145 746990 686106 687600 558538 290672 445028 713321 822740 602802 168023 276567 796574 760792 146947 723184 243116 690273 526148 026590 329525 471622 702528 804741 939580 465927 493231 185190 940907 344358 712615 690310 594812 435378 894190 675594 116205 352769 765202 121754 612875 487650 960115 113654 906704 193432 304205 010320 054038 808761 013019 742426 963920 698771 793654 356829 127738 519629 808218 628261 584425 363353 364679 384645 326816 022901 154494 250256 370191 762898 738549 620613 336380 775244 275314 306911 878304 757361 138883 237749 083127 337883 316460 451132 896597 755150 597829 131921 114099 712223 037975 171208 638245 786452 150003 403956 418869 505916 435619 589080 279773 378098 372699 373920 617968 851715 742163 982616 029873 800760 382197 409676 387523 689441 148712 808130 032120 331931 045111 987721 759571 094615 947245 542689 191467 453321 871466 346226 644080 801143 199419 680730 174372 668261 988495 885083 100001 992029 512849 056047 778989 498762 257548 391993 073933 025312 420963 504751 676864 856279 132964 870906 235099 940425 215069 038059 908406 603022 279523 401336 167762 339798 171863 648509 948159 963515 933675 238979 615800 100285 987991 581277 787407 885044 392933 196118 351148 371125 899524 085953 206871 036404 732458 123205 850450 307725 764259 998474 430750 265116 971208 490176 265611 048900 262321 338531 397372 348945 893442 500849 383387 693869 357373 735115 963085 051368 020083 598184 406789 686410 795317 972487 306124 646173 728867 548801 488550 381786 527822 285046 275044 451454 660451 103060 556275 043004 168424 946780 074750 337138 951212 756908 258528 234641 194704 280879 319100 284408 462022 907337 996906 190885 519718 626797 796335 178575 643066 205021 750157 584113 866183 870603 567791 516236 056129 109042 215030 837789 386915 129644 388664 359394 595059 206884 695988 310240 976294 076845 300260 083487 168825 465170 966839 148946 052377 164593 546139 048107 293553 199511 226016 837101 629823 388877 207279 276951 704069 087570 696136 106523 228497 660622 913727 469345 198347 723941 926731 673741 535205 716475 583108 560686 042194 318905 798195 523444 804448 552507 827045 081150 895664 857203 236330 892072 974866 789376 504201 541386 777699 437042 557796 343258 101897 927875 311270 724833 497384 990076 071549 727740 158141 160990 270306 138432 358201 973669 055594 176985 245007 800356 315887 902363 625830 261177 186137 711968 380610 922827 956507 912749 691669 453559 021953 385127 520605 347602 392331 020442 826260 335445 540725 614045 059228 262248 666094 363175 213787 730565 011674 704976 453216 613094 064529 458388 627979 551429 446681 096407 412276 470617 138172 985889 374455 796558 052764 682817 121797 259218 424213 021530 589681 060258 496170 508304 124455 140451 814254 490622 487046 220398 403644 816773 692525 765073 483012 501556 605938 286331 161110 157011 940111 564439 287610 743281 517353 820696 970208 645030 761546 191108 886067 506484 473467 008398 289846 631977 801418 319161 265372 049574 376798 958550 581647 542393 547206 918914 565330 929476 406473 663734 020635 354263 333069 887982 185148 970536 626743 847071 240796 813140 843919 062013 840933 274724 351553 313333 037879 856474 495719 177310 021500 917280 465525 425428 321641 709576 990704 092208 985420 700372 640065 504512 985259 059538 977012 560876 360325 977865 754076 981583 400456 831252 948545 573861 823420 736461 826254 381877 547744 188257 632657 189477 825530 036099 628577 374136 265885 451256 524218 363835 510837 912045 248071 538471 041360 570995 407151 895981 151161 694071 627030 287217 938139 301602 006462 818165 773868 940381 444227 753597 779188 050367 590438 667581 521483 862572 027544 429183 816679 533868 827909 645473 940894 953626 548406 629378 298633 595974 224195 796078 607798 219676 170340 857496 257817 186562 850386 542222 528582 889010 144356 341986 496747 612872 097449 053812 574261 662150 784661 159233 772051 921816 295073 014168 440603 128000 087637 272997 435420 910731 977708 851071 183062 632113 115941 809659 378342 834994 127779 043315 787661 017037 522762 333848 914076 683765 791625 151519 918601 190678 164796 377562 100102 483560 796967 176671 727509 403329 023222 568752 669103 517604 436711 656467 269687 658166 521246 007881 151639 754459 137197 805490 364966 258339 442036 573332 008621 560215 336045 863145 191622 386603 555343 542334 493739 889242 911347 079498 994498 582122 608062 014056 000978 741144 740721 577016 282632 474797 728044 539797 952867 351324 582395 209272 446340 035026 957905 310769 942033 902485 718210 174133 403147 286923 363687 972396 827497 946765 545373 240598 031621 342271 481349 711899 549053 418913 738770 525385 123022 093508 933633 610788 880662 223477 023543 541860 658728 183563 692795 701924 474518 096227 989611 778318 173189 172445 249451 116073 290923 540303 118202 337417 654622 516681 497013 811212 457031 514058 899609 185373 917036 480489 693438 417504 595592 810696 046632 115106 111256 609663 563730 751325 359589 987244 318077 355550 954080 771336 962957 561752 265937 163715 294447 866353 889065 309274 244840 225280 424076 544996 572966 977683 563468 592178 997762 341870 160456 119743 060963 374703 052459 752231 728350 684320 348507 786066 062072 802711 833031 864828 542758 354894 354761 250300 977923 083465 357949 007351 790941 179503 410619 257477 664052 910397 304959 135391 830123 034890 156784 965893 823967 381535 135171 732865 524013 591592 624905 909809 931594 048871 145219 163426 651137 188429 693182 749430 247980 337832 748453 979054 145351 677089 410403 426020 803026 435136 763892 366751 573884 426369 104664 967879 717949 851272 045720 462564 896087 225964 501953 805677 934645 082813 826269 754744 529528 158217 186223 132093 224165 442321 796165 632338 941720 042291 937816 201256 548217 117635 432935 214324 748618 445859 468523 643333 250454 389405 652871 781621 812869 780835 397108 397694 276469 107642 657713 815712 255729 328312 971795 166007 079623 267426 267544 059031 092491 959513 364472 622381 853588 962473 821495 931385 252616 575596 042998 951646 382032 644611 847123 803103 373239 191094 689191 932817 657040 191951 096462 564658 510519 411304 922802 612671 760902 787071 556257 947814 317910 179049 029650 804113 274960 754239 151162 278382 794491 544624 105709 933775 913522 574218 038253 237873 485636 099126 874381 992929 088133 143715 414958 016017 844704 040504 432778 450701 462514 464078 881036 894866 352940 954047 174779 572919 660871 070888 171330 727163 222737 175001 014545 684936 223310 761353 242845 995156 375096 094290 242019 007482 421308 786993 578113 396645 737011 877691 998601 201619 850621 449537 125389 157809 174252 863547 270886 798428 845917 300283 258396 525276 375958 247993 642267 815682 710814 849090 756119 949068 738861 028151 264261 144691 740647 544648 388556 393272 259098 572024 325839 317802 377689 440961 569635 768958 583620 913773 953605 618717 455878 496144 195337 332659 172843 578069 620973 511257 765690 698007 195986 102018 236497 194828 587869 550507 698400 041870 170939 958953 982794 287691 826784 568936 170354 397089 953749 387851 621189 842510 957012 820733 260434 673577 843899 173994 189306 661617 605677 669070 766126 574849 474634 233669 072375 612975 292128 716941 198307 812131 711439 579682 794974 081229 068571 200026 065135 813602 453052 811168 611616 361090 891145 808474 047775 313899 610246 973463 971427 855562 599485 851969 170331 109847 193336 293998 707492 217712 739533 882374 829532 793064 539087 993321 982859 978256 850830 626942 703986 122475 465271 064457 857521 858177 473802 488468 096436 682297 659851 774866 051927 932666 802930 283854 783320 315088 231371 577631 980605 780386 941270 862405 703149 457314 487474 714036 824455 198963 016112 326945 267527 550283 673974 249982 704311 933626 015061 186359 728695 119082 792932 170822 355279 727043 373753 692230 173520 936831 142921 686331 662998 584928 503563 745494 024221 775891 124785 732634 331156 126812 099020 963990 091986 249602 815991 530755 068938 446053 625272 336382 812099 804963 673860 892007 776486 690760 370279 453753 049494 708447 930070 970503 115444 297220 634782 615264 067981 776593 845913 068697 374613 087530 012059 921172 622475 064461 187274 649099 256611 858556 413834 867792 138875 979011 886695 338767 878470 356273 453125 746119 019739 311142 082095 150061 619403 174050 151969 029710 612534 005960 053271 806230 078309 238451 554498 777443 727900 203850 772032 302489 369538 714932 782015 331989 446603 571513 948647 009197 987063 263969 096844 381896 012107 690221 304666 438237 162344 211869 257775 709649 229544 160546 822020 051602 452723 351777 645395 894991 581941 458813 230674 215974 149200 720043 354718 885513 490023 983185 036911 204832 289005 987552 351443 398193 455423 582933 604977 308067 499525 101950 627848 634314 726830 449469 446441 969743 548368 430612 688844 708745 694251 699840 202889 972115 698280 504703 327569 606390 517853 272177 407072 489487 470148 903984 854976 071716 329967 279324 464904 260640 526865 396690 002938 206809 340043 167233 758242 371649 624630 129631 768681 525664 091980 739463 639406 743528 454652 049867 632726 472126 489753 312480 981005 075651 837006 367926 760185 027768 484422 683452 100907 888194 410377 471231 082781 340150 651748 588644 390046 804043 389698 955805 882241 711442 910492 465618 805540 014263 099257 075923 394947 656943 004488 167222 817170 578633 925475 555153 741867 689928 078551 161756 558821 470754 668684 263390 172664 225823 551360 102638 565411 604539 902841 346550 526455 631347 189960 207798 755407 693889 886716 491225 082697 189362 562944 525971 131749 311537 753701 364743 070366 527338 655363 267951 597627 828615 108401 599178 787404 239372 217272 986531 954047 163281 315412 687965 974999 776321 127015 599834 664448 866603 904622 734526 366871 591852 872599 779984 954462 848860 717789 661718 333613 420945 353959 856129 662569 478621 991527 603968 209888 435826 090143 241159 215291 037985 147240 399771 073802 723368 470024 778542 998293 540063 686558 009036 443180 257832 807221 225786 353287 847611 668444 235934 762064 222415 396753 202713 055290 105101 034902 318373 880591 716473 167856 771616 832045 138102 425050 551095 702808 563120 656510 309326 743929 947623 251396 146177 441009 586456 821396 125803 882454 830230 109174 407276 916938 946311 268056 293939 104065 552506 279008 761545 928973 944427 918541 041827 940802 705304 671349 503906 144547 825221 055169 082609 904028 676179 240609 923354 796905 678351 799067 872215 175100 191244 108415 635636 670281 681561 728810 997300 450123 281886 674162 841350 406762 608706 485738 419459 326566 866185 178847 145004 840207 561097 780516 186171 618784 458776 213079 331489 905679 131697 176901 685682 920124 252657 830738 143430 924165 173667 435577 544266 184069 465021 493883 243411 135488 877507 220020 555675 123256 824051 851141 287244 785830 618744 624248 675263 434103 815349 793300 900839 737899 104429 181582 320291 046491 621549 963861 709881 130020 954035 965592 363003 951753 255071 426203 373699 813435 033331 368602 783538 060188 830879 112949 124631 823119 923709 182143 632001 236423 950621 775117 723033 791697 403071 473375 969727 277220 685417 684102 932674 249504 215454 846642 338481 470761 105730 413884 744997 473449 923156 418240 149767 439528 077909 761394 654215 457163 691613 750445 081107 432197 609073 581889 403460 590748 897528 868319 065656 565597 870610 532301 486114 490228 666512 114778 048070 328704 917038 400454 577395 346561 044284 001116 242354 801136 905295 980750 687081 600431 438459 477199 128319 517799 946139 567583 105039 757250 198884 774056 981787 523231 976168 205058 482893 670509 821341 045858 756208 869983 656428 439378 957774 053108 892406 997398 256194 697180 248979 017250 689546 654138 565492 543506 614915 087894 403112 102084 536163 666337 336633 432783 833866 163977 546011 966983 427529 501558 135642 557299 701698 511189 611671 916304 258557 652357 456757 629951 948465 443966 357037 005551 053097 936510 379097 448336 240049 743228 241357 688455 118689 389304 059390 325724 583740 253684 439375 002675 581245 772992 880017 012106 935650 555272 024971 609021 167212 253464 834993 067875 400949 976898 329580 779639 401986 828311 838662 342864 884786 661108 398044 326882 375781 071724 302766 495512 567773 337435 281123 242087 758824 533195 301840 285959 451988 634296 905028 550363 349537 926789 510335 460794 039974 700688 097683 319854 140220 394711 807166 329091 601811 828240 895955 936514 717090 003397 004628 136901 130299 289811 429074 138902 237974 743771 215039 786992 160682 686052 736508 801941 945099 100777 559939 289537 439117 363038 235677 047786 364580 115908 288486 919177 889819 131338 681481 805010 319125 276601 180911 436579 568924 925170 066900 835754 266476 161426 784274 621997 031699 699966 345077 758864 279109 750315 184331 602207 468068 286833 550432 867470 569083 303883 138847 605059 762861 117556 160823 952249 552456 737694 410106 048163 716828 306308 795216 585420 251035 740661 863613 081169 457110 132484 916462 849475 226507 504571 622439 400451 870777 689149 316478 883231 051678 841387 586389 093344 027425 091823 373318 931768 329045 776854 078370 305539 024945 671590 639906 755802 571841 642033 358404 601779 168769 312408 709108 919325 226937 257066 436931 456030 698390 143491 005100 731912 824741 549726 381750 141339 217478 572262 301690 416438 850406 297062 570774 043530 159082 641580 226762 024477 300618 396817 007560 497900 982950 960941 766351 806660 267352 915063 509353 585780 327523 672919 403768 654606 536821 983624 535007 799197 996615 920352 731794 902757 771640 058703 861343 595141 521814 050978 542287 128982 923357 844079 055814 222956 062924 759566 331834 671458 775889 284511 898704 017891 711454 007701 566937 927501 210650 333593 269850 166163 157883 186909 114099 623752 663563 698176 983272 611618 691812 434138 940513 654566 076970 764720 239067 249106 554751 403853 838566 635330 737399 903479 166045 918162 860293 908318 287712 093340 385990 448298 730341 071841 515748 995089 607569 388964 219017 428334 985753 397013 574048 894063 760441 657548 660334 599829 376586 653068 334460 528265 938318 191304 229300 651320 480347 402194 465711 727075 118663 032427 633462 870198 179917 286085 546674 346429 096254 923797 910673 485094 533184 719667 702521 586981 530604 766316 101774 717590 478589 230885 879941 694000 724973 077702 149947 302424 866196 739389 315523 133697 989029 681292 528055 271861 848602 867078 548292 495354 365416 141361 018610 024441 334135 173342 883975 271769 434312 159616 136266 067171 477610 495340 830750 325343 127311 948679 001714 908226 224360 944515 940603 804822 245424 287561 096219 433158 831630 446471 631571 819437 817102 619137 560672 092225 429937 782044 327021 332923 401316 748214 834609 304175 840013 773807 044356 905730 565260 703175 500747 004534 850820 324993 381725 233905 929609 104438 747736 431523 428715 155005 952715 494571 922203 433636 392815 610870 460805 930343 412988 060320 782774 056586 124263 395419 538637 571918 348357 417750 161853 061036 175130 091790 995162 903582 532079 723263 904001 221158 055045 471564 641429 207655 207123 251241 192297 884304 515148 417944 359068 442914 631459 944633 739742 467645 510560 086699 148705 775707 341355 974674 681220 496693 985434 229568 543311 959716 433345 390077 073454 454056 467989 626011 027566 635293 817853 388944 600002 486774 770230 868815 257860 653923 424094 598467 532220 347917 951536 137207 473570 214837 140217 806361 093670 647648 126138 557340 225626 371675 838480 331993 362002 562596 378789 504605 757136 498416 527985 486972 025539 498071 116013 679840 773405 099675 904167 221176 819493 146059 207636 093315 719917 975854 108725 513199 617022 352596 145589 828699 986647 009627 104031 192196 391872 137585 417295 342136 436176 264285 289346 593825 905658 062913 473959 873086 669565 325961 784922 544907 135960 608116 194114 179346 354302 183263 964486 393507 111032 456586 563043 133640 479105 368570 637696 280357 131901 790794 872699 305338 535567 056380 232676 364736 099398 617089 552091 907881 633330 828340 176446 976035 187494 372067 242817 895673 817848 385395 390092 433257 862317 172714 913703 963979 323473 165071 587261 635281 051349 341559 062537 677207 310174 979118 141186 872972 508023 099469 176794 087905 568841 927606 068941 547794 469863 599928 532778 286225 520302 908844 769646 504683 442900 556550 927940 343918 039520 920738 776919 390073 467427 302152 966913 209096 914761 647884 698233 716875 787729 547909 900687 812435 292774 686410 390086 573663 217163 308924 851430 689882 966589 331418 802307 824291 186927 054570 419043 533807 125534 928075 263567 573562 779454 422334 290469 649594 979576 350688 762621 705005 085939 906289 315197 683268 688368 297531 054027 804936 040038 634971 860509 777185 861237 973058 712831 084106 792466 702853 326951 807065 490554 779141 187206 534824 173003 658601 311579 191181 004448 748641 109164 380210 968264 043070 614486 122685 352322 964607 146826 232666 011107 027528 697824 926543 897852 045799 448480 984068 306763 326304 063106 089241 968449 201454 675600 554881 505869 959800 052505 812603 686325 519974 211522 568304 380484 823363 436692 361238 287404 743488 219012 580989 296656 595072 691118 787486 663382 075538 606597 872510 474321 348089 827931 781870 479931 915302 905146 673674 133379 009898 314188 237050 450445 555972 964872 352748 388848 652790 931785 833990 242561 641790 390957 116637 294923 778871 415472 960232 123647 676133 601068 614488 374100 344962 541637 082089 148505 592737 542447 913378 381958 121415 263392 845119 477110 809282 718961 723847 577821 253150 408202 230196 191718 730354 717571 503998 896739 857815 800006 992443 325186 324763 761519 923365 953909 480105 494919 022956 061089 765682 631701 629603 497087 432686 808182 016092 072883 087331 552688 628415 434469 640326 649553 147735 340529 049361 897014 975252 396902 790784 765725 553910 102534 820459 460788 523036 538536 680364 202130 262842 395591 478921 005275 737069 142064 511616 309855 177460 032052 563306 546264 504753 501319 333172 183242 127120 308558 219264 731790 086236 351403 386918 892792 319747 556923 988291 048838 692287 764712 080013 585147 456560 108789 420131 396497 164976 478653 835318 684720 045731 119448 186082 816949 929598 863259 104100 911337 772420 561379 017850 233649 216691 752264 575105 241068 451992 597596 457503 569551 148974 420834 994506 130079 542195 247525 429108 504156 384668 507311 219734 886500 278443 041457 847190 476067 556465 049891 009828 448536 863834 383337 348809 923749 426137 690371 869061 023561 568624 147310 748621 822221 472971 112479 660074 424997 687736 686243 227293 420732 481682 462600 945721 704305 908389 899741 172411 286729 421281 375135 730797 176468 099766 343813 675679 750207 794680 975997 636349 921588 804444 125643 692366 115848 238420 467187 651834 165644 408288 285152 693472 287817 755537 481280 095566 279765 587073 135700 573737 025315 022506 396504 022304 806160 487520 119307 478460 434524 413691 118549 853025 224240 843694 793496 222807 511610 737078 792093 973303 152763 495938 906612 696870 568129 100035 623089 966121 164878 248712 587568 449743 515233 033667 644166 105251 237177 227859 678799 623229 038531 004828 819539 605009 142926 275549 504850 523165 018632 698412 990257 859805 076887 088653 791513 640511 899693 146790 966311 415036 859831 633768 518817 645865 661929 850462 105110 982622 513150 652142 774633 617272 326852 477944 494659 365323 301171 912852 305547 317115 883461 764225 017735 155689 661903 846595 939504 734549 039636 923796 814975 119771 515097 425293 085492 047990 904218 772704 720694 589674 237869 231303 294359 135303 491424 577712 884918 926998 858011 196415 947087 878305 916381 375478 116012 234223 765620 760808 281591 761844 525880 602072 879233 936679 747295 476836 239137 694114 964460 401942 531467 154649 581124 890213 512740 319990 774820 834917 871666 023321 179408 875791 694616 267318 926782 240742 864144 975194 736920 947672 888315 554461 737143 511644 742441 915216 943421 397157 269933 439933 795302 000974 318482 525265 267168 291011 083494 226707 219142 080531 718584 947606 250934 793865 834999 117563 902158 765226 086899 965054 242915 496423 117963 869144 877274 231934 356423 456074 789685 309301 981311 905727 423709 933993 977274 550399 272189 290001 293287 503369 940769 943721 790474 210325 939632 965549 643873 420949 060303 314991 567588 461923 778762 718985 600775 491642 603012 905037 140746 913986 003822 999013 590612 608993 364853 758744 819964 965096 143900 988861 924132 239272 564723 351870 194978 787359 321166 829540 508313 252272 719922 328824 504871 203905 258665 269675 713792 670799 550645 880739 986711 937444 550709 125552 384938 497971 131375 915585 464484 513016 126539 466222 058971 431724 558429 445895 178344 961078 554688 652201 410586 348951 697719 366691 434611 450712 992367 334766 079843 336610 563762 015132 856421 612530 424990 659971 361216 204510 590031 810755 604362 597352 463037 694278 701648 791864 261290 163461 753915 442289 583829 449920 163249 196692 913379 891346 518376 662138 579798 911234 851058 404177 281302 595013 351131 749734 148843 276437 409832 330336 575056 328014 415809 855787 105507 040571 017207 750618 655513 459782 121038 642394 749081 233531 292659 952829 764242 333962 290582 628358 764846 371558 512666 422248 126551 476723 420929 094612 456531 776408 087882 902864 017110 790068 175185 045910 374974 446954 944914 602473 537336 195775 970028 190739 486810 284013 142718 906413 054755 384130 307146 838067 841903 091423 297252 194842 437865 256291 766060 431914 289624 028848 874441 595237 419181 932382 288698 844696 450927 540927 145443 379882 533190 379563 631522 987743 597777 789636 120133 712401 304676 985782 955977 767530 712889 796928 910397 526266 342704 129821 392283 327121 903722 402655 432633 060136 237416 542696 619707 937464 035571 583224 561353 159259 861387 340207 798531 705682 724645 750563 893979 318044 352695 603179 023653 014084 494618 089883 584015 644484 999728 973635 834022 121622 524341 666632 912802 911809 817704 424073 400207 151893 293539 383869 961268 777159 352708 617534 748733 789122 840200 949048 688644 794777 292832 713691 254009 923304 116820 301401 929611 203162 631798 200181 577753 209968 675737 709181 979158 225344 747806 664101 948992 715404 198707 072528 854519 548995 560218 736833 620332 922121 685414 560466 949142 067789 904481 734358 824044 818471 880010 002593 810240 855043 220963 549053 658803 227064 145814 095239 947353 012802 395723 392098 932815 594853 636997 673116 035018 172516 410460 355566 200450 286262 204100 514351 471616 442440 075522 108556 329831 651476 003560 033520 526165 033270 728404 985301 981628 666866 583697 739164 930794 693771 172025 338968 041710 844160 974166 443699 624841 173380 356385 711902 404677 458723 408533 785185 412841 589709 150258 641984 708991 694053 777158 545506 084237 754640 596434 339983 028317 089876 742729 017125 221494 961398 220046 753372 488484 192631 437413 115527 442146 032039 579628 922878 411373 636835 502739 228042 478818 062239 762556 092662 961035 831127 172814 085459 832040 840952 627628 557366 591045 054552 937102 075571 416243 829715 375217 180311 674584 997616 433721 932843 848050 156899 433705 535990 635238 406194 436695 012577 563080 322543 322350 820370 788837 926557 487655 071590 371206 892199 711643 214172 047215 952461 341687 265678 490401 723874 046900 672907 847059 917122 574845 476731 860956 097942 149537 184895 541994 562568 780279 779221 200771 771173 323572 048705 318931 976752 178059 481242 950346 859119 889307 318682 056591 527665 347538 715920 942172 493467 905336 877212 879396 341265 232966 547851 780802 959948 914357 741353 496063 836986 392631 756057 676537 667391 184572 597737 718091 608876 609657 916675 860448 970268 303500 311578 246764 798590 854132 476244 962905 574088 739437 203169 320577 000769 768475 428799 852230 853270 622669 216885 366507 056994 870582 601268 448428 035232 667097 872715 089950 777506 074671 077273 842047 828732 804162 929574 066613 673785 525177 259268 254060 234307 285000 925458 996216 570894 684728 257066 703717 020183 460360 451252 766016 404311 912762 697932 654947 762620 903799 782550 441600 719303 728167 789329 519490 186923 699325 555978 970544 356446 576349 671278 215851 461767 272171 923853 096798 160270 286868 204154 965514 992021 207431 003701 786201 197558 554834 490355 129327 103259 142825 859414 208021 774622 440997 608714 572343 220408 925133 293773 390005 637525 056292 139618 064586 133373 025633 363665 086901 423065 606933 959426 857700 728139 011755 799857 843358 535255 185025 714169 825123 031155 968705 179102 511501 647257 052254 653744 679867 917444 187642 833946 146931 833009 884022 443209 530060 785339 411695 725834 167941 166732 741858 297711 087081 799288 856287 871819 966589 174959 837463 066897 826856 243777 128682 817762 258360 735847 753742 938292 027646 711157 441847 264992 101623 856480 817499 536194 995437 605591 287996 558155 548686 593388 573743 820870 423738 259866 740558 896483 893918 246730 858623 768392 722295 128540 307196 041907 930493 610410 385249 684843 283503 595402 463754 446734 275511 010296 509595 098669 749779 292629 581963 928656 798102 939904 132791 558098 392664 571311 360788 935078 152032 906722 211343 283813 311535 230115 221419 497476 899944 277936 614541 662316 910814 375548 809808 901135 878007 688372 533778 703473 494213 913326 440998 752691 436621 223581 741324 985259 993710 719551 651024 435385 367162 655104 611242 515126 031140 543255 309613 676621 711007 245099 101509 562855 621862 903644 489728 900988 350082 315627 044887 391520 291026 689635 806831 449678 038020 742114 787842 795305 317403 310772 029867 281882 467563 700428 535012 849487 095218 080157 878545 810634 191313 964394 611798 877734 461370 945385 150203 571248 819864 622412 144466 934737 920782 996456 437851 415791 312072 292224 269938 519611 932275 838936 440165 864827 427300 838866 315889 009137 408321 399408 843536 217389 851336 899951 707583 651696 353306 557427 168022 216446 407602 208691 485937 643429 902197 625730 219513 690583 548407 296466 898781 608757 510609 225523 683836 110795 671877 309395 246203 978047 182423 156471 865258 057488 063296 755133 140107 413985 301113 210888 656641 659087 508963 081432 573854 601399 444350 098120 684812 804015 880846 248510 100626 911093 202959 464856 989843 072612 966805 353886 024989 227098 416810 371261 826381 313609 121991 534732 706645 284106 738470 260711 314668 014558 639288 613371 429899 969623 223138 232700 708080 956961 124938 792290 481913 341938 244655 484079 873180 019648 331807 378388 275891 749557 998558 083822 979838 849172 264023 745860 937355 003960 649312 213721 187699 225743 156165 799112 808202 275306 531178 528667 013533 455041 193084 340598 011309 992411 611103 463727 178571 047669 596064 498503 837505 945583 848869 715061 744256 770983 056430 250164 445998 585603 346225 044119 190239 814325 732489 666461 554287 443565 482993 283668 565732 812602 177662 462146 384687 275066 009677 289037 344680 293598 705460 339207 655044 666453 193944 028225 560504 035012 796573 322170 461908 433818 656258 667276 159503 889396 694616 571227 992146 891275 208767 728365 785214 105565 632544 948783 755304 772943 146242 215509 610597 616452 538529 317207 190153 053747 426033 727018 652907 037635 926404 262724 544813 662341 461000 412906 367662 821062 114029 551757 853189 674192 626156 624143 347086 417424 406312 287869 602528 103442 175419 610986 966161 954756 991883 345399 717745 933188 561533 338377 886710 151248 474567 232857 838983 036021 554744 148452 790710 378811 321261 579535 964751 157000 671606 472656 720008 485009 066424 955675 012716 401710 928769 068702 174690 986957 339823 534176 653016 881666 431226 366452 615193 777264 164086 114662 604864 306074 289692 256305 413841 630824 170582 789730 476249 936453 380188 221498 062561 737823 637022 033780 173835 082954 531845 558418 355250 773701 833584 374347 950728 902358 430023 092916 717117 874361 761252 734685 775369 400978 095589 946974 608461 839898 946127 578145 186415 764806 322787 619364 508864 615385 534868 261653 771080 946263 964659 427028 149857 441395 525176 608152 209912 338002 074916 760390 341595 418272 706572 468212 800136 535762 599597 202191 527576 905649 426583 423689 652249 264234 806839 237525 088332 512318 610831 422955 604221 959633 974728 495987 284611 108573 323482 143934 075179 878867 564661 334743 460769 450787 698727 062890 755065 089749 132971 543224 684572 679258 194095 632036 729893 636156 346414 042665 981028 711545 990715 716145 898274 546416 206264 765621 776937 918217 007849 399219 441573 013109 865108 131432 507144 465036 986335 428075 867635 198264 660613 971880 212782 282920 130797 014304 327231 781376 678420 457901 019580 534311 346585 796896 860199 100363 606342 764076 399939 822502 435110 893274 275255 117641 220847 088143 121779 551099 048791 326941 115008 089629 476580 154343 702232 376851 955668 760047 819736 508235 233172 261776 867587 520061 689787 080116 871692 943869 488628 237579 030471 869606 184936 923584 357534 251497 726277 781724 729277 263741 267259 275398 060799 497645 504296 360425 202380 550057 326370 960415 684690 065068 905504 019101 436413 109118 786479 867792 829848 632856 324162 200105 947249 438784 019130 006167 562412 952213 499968 711457 180656 251303 865940 933053 970123 730635 284355 249685 553406 535638 201882 092306 594215 726109 843670 907957 591586 243972 131330 037265 674168 630971 443117 673881 347582 519396 869652 799591 118854 837802 401260 980508 905390 828525 982986 920164 746012 784435 292346 838962 363800 733759 859265 030360 643509 281283 303186 743975 017879 632047 543273 559394 590132 670108 948096 974472 805740 685460 603101 525380 327714 763587 848670 995826 544475 532683 921727 663566 875547 717668 713235 122578 272138 348725 427151 047003 504508 716548 411854 683155 383637 110336 696008 149232 911175 966956 256892 653523 133170 699291 677371 383925 902267 367391 498284 845402 590305 285688 053275 466991 088383 097985 662389 595373 319847 268613 936345 990642 351870 530370 951006 728174 922727 584559 368580 441326 874223 232386 260244 440129 001572 700978 638832 809443 060549 642071 854437 616705 438206 944654 775247 138004 251689 646303 484261 108442 846510 271476 712123 302429 752859 621411 598689 048829 503402 313707 934239 130518 612196 043678 598203 816753 158594 510792 657819 670706 482665 535315 780998 720551 457296 358196 548493 598478 225023 249035 330082 070483 679471 380748 828672 / 13057 > 25613106 [i]
- extracting embedded OOA [i] would yield OA(25613106, 13108, S256, 13056), but
- m-reduction [i] would yield (50, 13106, 13108)-net in base 256, 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.