Information on Result #1873000
There is no (54, 54+k, 14136)-net in base 256 for arbitrarily large k, because logical equivalence would yield (54, m, 14136)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (54, 14134, 14136)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25614134, 14136, S256, 14080), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 16599 603325 812787 124716 689185 882891 145258 922564 863015 813074 796194 264336 018046 297335 455467 262811 250079 921599 675845 964098 765631 663219 745834 279334 611368 744551 702297 340247 913235 970529 634201 359989 890585 760767 789365 671976 111211 991046 354923 726047 662350 090248 189064 811547 373583 044226 437153 258946 811945 744571 884770 236544 440961 958459 946116 703532 759329 749391 130631 103507 884220 983484 069820 972964 216322 105463 193519 888377 952209 712781 327992 542230 313673 712441 968888 236566 328156 261843 261682 534090 397808 410991 761224 986219 751716 769895 633850 718553 086181 010746 526051 408695 718037 845960 440790 912221 089831 612075 115956 774887 882658 214713 270272 072643 578895 469070 902727 264971 715228 095059 334093 216431 807679 862217 990136 616459 124337 648679 033766 789158 187341 924859 470274 074322 024465 378079 241504 660163 732418 003871 888092 932621 013141 710295 355967 140083 067609 213936 451587 153898 059494 782552 306078 606212 626150 695735 087265 176257 501550 684527 027189 861811 802681 349241 204459 181434 584333 585573 375156 414518 628309 495413 502053 965697 692944 954378 208017 434236 398262 560208 076091 869198 789747 438582 201082 093281 051504 877209 451518 356932 057032 412820 371029 500352 349901 740250 391933 006257 073058 276419 857089 592421 563387 728108 262373 028923 847827 347533 870988 106347 160780 004159 741318 384326 648790 180790 847843 699462 226113 564197 014891 800078 666346 927618 209276 112413 056613 511538 178700 171520 311852 013479 956083 459681 016061 128291 292936 656189 198228 794978 443688 107135 943920 674395 652822 957834 914412 492217 925033 958807 116639 627518 176957 680298 418679 282353 250566 127057 191701 659064 475978 356914 110685 462012 898437 056124 528095 733907 547449 991639 072142 742795 618857 091322 522455 366459 235662 371830 621966 225767 103593 938499 705361 692181 736246 917795 823297 546503 121051 832149 966819 612053 991258 182225 089297 590462 705800 599290 077712 636515 695723 350085 111097 401215 488302 545849 248596 131529 200598 805134 842172 929210 935424 968767 296406 728630 861162 060678 578315 564224 328574 703756 365410 165823 101177 519147 747316 358150 432062 846116 004053 734407 006877 492585 675517 891887 054489 112985 371182 409382 107215 495885 810828 620402 118640 047324 086400 709832 109369 523175 461906 231049 426302 897189 875518 880705 802332 771277 931421 754827 607580 970671 029518 585257 286045 762397 074793 626103 660321 038352 099625 279357 967547 586759 750133 389016 192930 601159 876847 515521 014126 872382 783181 963346 108934 771338 107130 925961 197289 021494 122437 068891 110830 714847 457096 173404 264661 244434 534437 187013 781143 197071 566223 700977 542674 421908 868801 086322 047535 143332 430357 614772 975276 275232 649912 024071 166618 613473 029858 281749 632206 700029 493714 424010 786783 596805 292345 537784 839150 002391 362157 829449 254313 465303 409370 468239 196064 861307 164433 736050 416748 973683 209470 199510 619206 077829 116809 238092 602528 784752 998192 315155 985880 804649 025402 132637 172639 758858 009473 140947 236383 361311 478836 891805 867901 710813 670472 037033 014142 317360 648703 462615 013933 277136 394498 399630 738339 131157 923121 670169 423605 077549 575379 080901 355323 138241 147044 254189 714942 365335 144889 935398 653713 928013 700462 223687 410505 890090 643859 758254 353137 634895 177801 638979 201857 302923 225302 327298 606159 792321 596447 369590 881447 532059 738256 065208 773254 675221 889261 056607 440401 770612 432430 387456 715892 081685 868350 714555 448779 760836 699137 602688 142356 188295 389363 837001 684117 221512 406787 456161 557121 865443 879162 800775 996728 389404 926388 525684 483500 968290 868662 510482 567142 318565 225042 632859 930170 770472 061212 199650 331525 167824 831496 417726 926141 506383 676394 014075 139224 554480 972717 793588 914060 955468 533329 778600 648395 930610 820630 024679 326041 853220 264044 906394 597533 082354 896823 783686 552211 911743 102834 970487 596976 909620 806440 432212 192960 846871 276777 488771 793594 613076 060393 217518 353608 467294 107007 902434 734171 954608 604058 917260 954131 908555 516130 380038 249811 447099 011782 877017 699662 995773 395381 290075 167317 785365 677089 194633 368337 104774 455099 505094 734903 810704 260468 566377 274527 058820 206362 853314 908795 267330 249870 986090 230126 451221 995029 227064 294903 891080 589871 698220 552859 164626 043006 734803 449500 505667 750462 402719 793997 308693 714328 035864 029179 394869 047365 055915 051213 119265 150890 272233 836111 006814 095747 771397 492312 935702 939459 857711 911032 180175 697819 561897 770533 858025 553981 180966 792768 510611 982112 218303 869816 395631 266583 761315 259832 905195 195289 350102 519025 868803 631080 983570 608750 497979 990745 269374 455321 067481 755703 265554 664424 226426 381426 031626 610788 309779 835531 917901 990029 902901 894761 300022 405270 037090 690882 016584 175689 581823 729130 297077 831113 557022 278791 953272 242010 912123 897722 347534 563256 356409 444084 347317 684782 119369 674048 414348 969271 325791 005012 775565 503419 318125 644124 963384 357070 403917 111505 758365 769485 425364 638145 439289 147267 357317 747140 598666 378944 208757 852000 364187 528999 727679 547256 529703 196976 867669 221757 543737 048355 157064 805567 881087 677784 244840 214280 500206 321815 522404 969375 179901 760138 057253 824407 038098 653267 295464 215092 543633 369013 022438 668179 427129 155287 723959 873539 932831 110210 707626 805367 300443 876042 947419 742127 188650 700562 364699 896471 061161 781243 944250 964127 382731 952443 373335 446418 915872 440288 026124 092806 147074 435362 044773 740530 055045 294115 857551 701282 843592 036855 042766 184936 828685 679100 288276 278831 593421 035794 255757 953463 300144 849598 451811 736743 208956 790918 450212 355046 301005 603934 190087 275336 214622 064656 430205 215507 693294 706352 798838 007068 733633 853909 211145 723876 470762 755449 335314 389945 167771 446937 669020 676168 752197 474983 571751 114088 822165 708128 428207 761024 245376 276311 693536 907232 022230 660321 223431 678478 276119 386403 192378 653645 646906 552365 059821 713643 718859 180135 326171 092214 363292 929097 729662 949010 835454 517933 869021 644203 312248 204245 816258 302959 373697 297044 918055 407855 933393 459088 343870 387626 523143 287543 606787 625590 157219 973518 823991 008016 176006 527920 312321 446720 569297 869284 847678 118037 929234 133792 150825 700207 734573 636421 850425 776454 727741 296958 148267 873133 776163 583417 319939 020568 386008 521016 647601 049365 838847 377583 828106 678877 252250 084038 038837 982272 207360 415368 564521 458628 734566 074479 714173 490520 146907 279881 844823 064330 218093 926449 704092 499836 375373 510770 557575 564604 460668 420737 455597 794539 376532 697104 586447 570843 959722 177363 749243 882417 514622 654681 749017 949501 581376 497955 601744 965816 399281 191759 532534 178047 896884 245526 850023 761561 169346 133320 834792 980324 189644 336548 919056 766658 163897 499729 790315 566268 112664 573701 094496 402396 060152 156326 386801 165438 089597 347814 887800 070843 695407 951337 184594 752173 837217 793126 813148 282673 316917 400450 099872 684077 334115 302162 877651 181934 551860 165313 606399 943436 316783 727616 857342 474473 908703 919386 768981 567387 998976 774456 342316 724306 933690 989089 535020 176794 373376 281074 266224 605858 563575 299318 053911 983092 855913 173019 114124 050647 414562 651643 312578 249627 683028 546119 668299 959740 720743 494758 227626 383449 991011 769986 894785 157396 973688 514172 256342 308777 480181 837580 632331 792967 670657 451531 296196 799789 145470 395217 078576 269796 484861 038541 682205 248428 139687 820694 641425 210751 019607 801343 454104 387829 059470 212519 932072 787985 544497 604284 390160 279257 139498 302734 902993 093103 473189 673911 994218 503608 567761 054004 855096 144842 986881 257792 826058 369313 097980 450010 743721 821302 995152 675148 145168 959385 597951 220002 582123 567183 454282 482470 456098 236729 663031 348663 790769 561183 149890 084218 338884 021803 702987 076042 360408 409920 079500 383206 433604 344201 832322 723059 378783 994546 995844 802212 672483 232789 297566 338139 569030 610611 837110 439985 333055 890912 690608 406578 416141 998992 861800 204608 787494 891807 789319 328858 252751 478558 527441 606307 907343 650012 822126 268922 770466 514078 899429 208522 904761 458606 030174 904126 351379 333336 829686 382480 857032 532058 258566 873557 657977 106268 755651 149933 054469 724886 699627 336584 346851 398323 572884 560672 892842 730948 697567 136494 104581 710833 064877 827427 121534 456482 879809 715976 765129 571658 848009 494193 820189 099336 093367 621400 419641 994491 184373 630047 989471 607852 533442 941073 556109 047499 482428 507824 446408 359979 019347 311555 914199 998009 539996 748371 166946 991770 355102 789547 544408 689144 906124 422589 504785 547133 330737 673717 384680 796997 547655 222902 126312 054840 227221 738943 815611 781327 495183 678336 811569 321387 390954 863794 985766 679932 080799 549740 085943 504851 416073 400457 978000 629781 363615 348080 914152 912307 883656 433740 916942 414246 871878 027289 143541 218112 414021 676046 562836 975210 124656 319898 376045 358561 049513 853451 774893 407299 546445 003733 804481 193626 945427 904710 240837 898499 865500 592729 225548 411515 644848 431792 215715 929921 576048 825242 458441 443210 133684 297620 475662 374523 966529 920676 149343 528375 774350 748758 237063 401697 353275 022638 885965 753464 842819 750430 503683 312288 665156 526344 340347 012937 942477 852069 840457 959701 757099 896101 022397 273351 471228 165411 138436 742603 640697 961680 808062 462577 769532 838267 653031 734372 584926 673694 612723 090354 893683 587763 183792 288734 476102 299920 414822 257103 032599 891989 514967 871030 470599 205879 331583 425367 234140 393149 540472 846381 339931 481733 558211 769184 202130 047227 875183 600432 182100 549703 727912 813158 349447 009119 736675 838098 391118 452589 277392 397939 107421 657803 484420 569290 639503 130509 901270 071815 839559 919753 186042 609042 041211 604728 669979 721744 297001 729554 631574 526601 082692 809461 811797 947129 567476 250654 075354 674123 182604 533332 792881 794536 741039 003715 258707 517422 281006 347859 727145 175732 798172 861267 872307 885707 333137 921708 211540 787223 835234 662133 906667 573671 733982 551226 271417 905460 110874 101100 536861 416363 228670 139222 672737 018186 475828 441573 867820 001772 669999 647676 501698 223451 151306 301898 874977 339448 246965 827759 290664 706570 447348 142166 449685 889023 350475 425045 791516 522325 982269 729740 427047 361892 822551 633963 942499 885815 759481 544257 078684 271932 293367 859962 878547 065251 806500 566596 257044 973585 847279 484585 226437 060819 948625 798167 742471 962049 275171 287211 834879 509301 721740 445814 245310 216828 701882 829524 789591 878209 032652 180282 670772 316846 651149 579182 291144 703416 457634 810716 259837 418233 559009 983070 476042 644838 148440 024132 037982 664211 050690 327393 655319 872708 167309 054880 462423 595118 137946 233582 904858 306311 437460 085418 842175 956614 254415 191279 032231 805918 076046 871025 625511 593018 293872 771140 172765 864981 855571 398839 020395 802996 110277 976547 642209 669368 324633 859942 709056 604879 237575 916344 601742 949624 508885 624877 619383 618906 511051 926726 730845 510592 922512 519332 487584 028182 100496 734939 703035 484874 916703 823746 078310 707311 804994 893512 286666 273543 324812 149766 128708 521289 876956 808516 928180 351698 152692 706785 840169 581522 566825 278451 420144 315631 061097 244345 129256 087659 143276 289618 836967 793400 255699 679270 424561 328766 533860 231858 028393 202177 965153 051588 712483 465446 137911 084035 973529 994408 173416 857130 634467 319759 263672 751421 371647 776309 388224 406820 791654 740454 618259 644181 826394 363972 247980 423113 277010 587814 845162 625029 203806 886751 548507 485776 016895 112516 607799 741848 757041 963089 112992 296330 018786 289440 440196 947385 978642 611511 667710 729819 454891 000650 193895 291249 814488 528530 943395 913840 741883 888704 035134 510661 282202 451000 414065 740504 620586 669281 978781 488177 203385 180116 656859 886896 161154 716738 788188 171073 533358 261213 128271 442774 508342 276096 631775 802067 545085 924849 356569 805879 175806 382884 619263 174200 251673 243089 318561 678823 623459 198164 939028 413856 754189 508408 285551 095384 056618 611974 072221 148465 927824 188616 985266 895925 271080 003060 522940 165972 444566 008460 902724 731182 189478 820291 191080 070547 147219 842638 842051 238876 235587 245135 972429 861539 255542 221860 965826 706098 547170 756275 052750 342072 661710 057583 578974 589046 234087 598755 614398 839885 382752 717685 746439 384920 410609 632354 039282 691062 812177 541015 807837 974108 723995 014329 673874 296403 850571 551046 954501 215623 741687 098086 862976 380651 686808 385347 264698 669834 473770 853730 678835 442578 481745 516766 699859 181756 336452 037815 646098 706339 740164 338899 841055 634423 361766 497607 969293 086024 395867 194737 109258 935864 476473 892327 734893 566742 924925 950991 522311 358266 358105 234649 273223 525784 524381 712389 598912 804816 534581 143956 603207 880143 512178 192082 978425 780280 528842 829979 592924 006915 162497 799136 483292 273968 869029 881530 206770 018742 837322 527199 761853 835297 547803 674413 162125 926794 618189 095459 083667 963244 591345 504478 963427 620747 014363 266029 531808 043150 906772 994707 112128 425091 508519 097910 415716 028421 328856 400321 928408 757804 256043 002381 811368 399888 614713 382202 529515 325385 166954 181363 170458 375369 914436 948406 518534 733815 334363 490194 295298 291601 569685 320495 030495 943323 634689 965662 234623 432459 053773 348299 006511 427543 904637 604456 776213 246874 316369 581812 547631 668224 847751 783636 384331 132902 065571 637797 066561 632572 033302 831931 257091 080317 482621 334194 109891 804679 528893 936796 443686 337348 369339 248579 483279 317172 312910 995191 350668 051247 355949 511006 698534 047509 690951 530823 790842 257875 858958 060805 415011 636617 050723 646504 413197 994734 541090 320140 009513 686134 182192 017051 062554 585693 648476 806620 569562 392463 930210 680273 318447 893703 215850 128201 635833 293731 641638 252980 905674 076615 819431 394612 935940 974813 036954 687033 354471 820183 917789 975000 720205 700953 284865 228995 173929 983431 798826 214532 631720 416454 731938 680896 690659 695362 367992 696126 465712 322504 862982 542166 502366 910943 801784 543893 759973 287621 177345 305428 145287 316264 291312 683201 007013 288607 600093 403108 506625 348889 962993 221776 537121 053127 152366 121730 739742 759869 611119 758272 973049 668684 497232 691936 224837 750762 792078 690538 105936 562865 951831 506270 566805 330483 051975 429972 427276 801380 598803 851227 352849 598329 918071 190535 118090 121301 479350 217704 007595 223868 624161 788310 387379 930689 381602 298715 186829 983697 922986 754447 942857 903153 670378 969732 379492 719535 656295 363422 513729 894391 946967 998540 334495 966439 474238 725021 855221 509166 643268 593131 246751 396827 584303 800202 145536 831600 719150 562192 774836 208619 067140 323693 226403 550935 059931 736543 506440 687730 514588 818851 856051 250758 776958 214183 648963 298601 309796 705903 937889 699571 999432 997123 019135 948723 076134 950237 575216 220124 912206 996324 812835 498281 363157 165071 291480 397885 103848 099634 422638 519757 712410 058077 807997 023865 605377 417213 646811 650224 688275 760544 879097 967002 096046 840465 238930 296647 063718 966399 515313 641377 771654 716806 763547 110836 729921 334718 629062 112285 074081 016699 567520 984522 749172 518640 131771 907864 296083 529456 832948 247799 570567 148785 696264 339379 815082 022586 938048 875745 691241 912664 542247 262939 407368 012670 855721 915436 614583 542213 939840 469374 676386 994369 106706 480975 241734 613237 533432 607502 992540 455607 361545 185305 556552 496931 333553 787929 691563 732419 819412 652606 008203 594821 341958 020169 652413 235966 360874 150235 686942 328936 522064 495178 896602 599551 354415 192607 600780 607791 622949 315080 114201 899063 216174 384025 630528 903073 594916 704291 703699 015604 646919 415075 469312 547833 415752 664042 339225 227055 048620 611543 624644 662894 583129 179366 360040 564540 832359 408562 446359 436401 860094 613732 922786 509195 125779 222499 934833 483242 981700 363308 046034 473546 720104 359793 898487 826470 471219 473802 744857 609319 602192 698862 069733 967680 126835 886276 429473 648674 143856 566869 467208 197953 364266 452204 149984 397989 878131 625557 129204 975431 315273 067580 366323 101131 251682 163647 934484 006090 795955 298486 233929 723836 848757 547957 457610 841830 615289 938208 420439 701167 757356 492398 035677 131580 098480 439778 517210 511994 836974 918643 266565 992002 545712 282919 934512 751522 671331 380205 074788 163540 431646 558296 898357 929661 989066 259469 728163 454407 571790 271148 652137 247625 945390 669374 096575 209477 645073 338788 028461 791606 937571 932504 064730 165596 244265 530687 336516 966962 098647 232459 522045 719593 077611 391399 813386 821400 471358 606745 353229 799125 483940 674660 973357 341926 809846 514457 531882 671860 678664 624634 519304 007156 319182 601941 052876 696940 266151 041023 792131 928861 706362 836948 419608 246537 415668 339792 189715 658590 831761 031942 751331 159959 834652 968615 305609 816294 557186 317674 075368 652437 836431 347568 400899 396301 391020 927887 436100 882117 270287 118118 810471 866169 643073 611966 897158 554067 908086 156980 784637 917104 150955 782090 652699 077380 687089 252571 828534 536600 381990 040240 528650 484850 914938 357616 774791 927909 907087 961037 693525 231617 543188 659364 132784 546789 806255 348498 188690 020918 891296 246461 844890 193793 689943 826341 684934 797308 083518 999410 032352 369593 201217 679875 544843 688934 451423 506595 468250 508926 708229 496919 136332 141894 643055 100337 749316 323908 645816 417724 159693 971029 269100 592404 059284 620671 475417 992552 448327 560453 159775 400052 670509 448707 288167 185944 271032 126137 383143 480673 460893 854924 841420 410569 692291 460851 719214 749247 068889 740311 755735 616528 762965 070038 363803 014774 187311 125560 736795 038704 037878 703260 344681 365658 995272 841544 170287 961097 573943 071956 224743 628705 073136 076940 546823 727446 435487 856947 912002 909796 791672 344524 467429 878947 869507 474841 427354 768087 273395 425416 838874 938942 359674 661151 229734 786143 933274 829860 474894 964447 423265 997311 946802 405331 187880 785161 197179 220373 512917 427250 792645 210864 706036 667129 828749 600994 602789 029256 469293 964033 845856 779092 646794 725372 073439 104054 433424 952557 414478 008279 986093 975500 624855 635368 746060 139290 339960 726984 325232 216924 954961 896621 217350 281240 217392 394483 088606 308168 479477 974093 788076 134578 999860 562854 193475 884176 144372 597277 885233 050485 322372 326784 175297 913883 253891 270938 797544 233979 155664 968718 281396 744945 941138 520762 959640 224849 064511 020557 845490 067518 561483 156770 939865 678624 961980 770088 500419 285511 334903 935549 260088 189968 690385 974955 543299 170770 347992 198070 849960 990572 063151 512386 244051 280879 963171 945415 682472 066247 544656 766577 136069 607192 482517 247178 849049 603017 168482 588587 504880 425525 581380 192445 264621 046974 596182 267390 661033 242704 544490 666295 187095 052106 747432 577009 886890 377046 035582 838972 452448 820330 357079 750686 729493 468832 930199 819409 134519 530044 551929 052134 815723 540008 546861 053711 821238 442659 664543 643600 713619 283140 588718 314511 196617 992044 646574 106586 351372 676494 043698 680266 191751 231812 107890 541528 062085 873649 028573 300162 886397 102161 864298 846743 577106 982743 728413 096500 255965 236287 580516 967899 462537 080911 947282 040297 860690 592137 490262 568553 794707 213198 645512 889700 134040 653793 758665 979481 553980 705654 789110 482553 122590 932673 180673 358525 100238 551440 766785 189615 149131 930943 409420 730710 742934 499567 131685 197468 033923 066060 550400 679113 079864 804125 734835 224837 244664 928412 491154 257339 436079 323318 394173 113578 420632 781330 267674 842739 781959 234146 416822 747967 906264 735991 459965 255879 278590 089928 929100 093920 135430 521159 544188 421259 660805 802340 226130 572712 326753 533400 019022 319301 393470 769472 618142 129942 254276 896886 947300 972737 149309 897759 531885 378434 984085 556552 691482 728050 564302 557017 105847 088061 177677 292442 284669 598764 179120 894787 422203 488599 996002 311511 989470 724845 141488 205748 465311 310091 143925 199361 653013 570472 874137 283041 305344 841380 968244 107890 786257 078624 160095 527093 634917 538617 604250 176144 360959 205780 946053 147084 368708 733957 704822 886947 401527 863074 941052 648972 328842 122035 347450 174207 446745 736886 857096 547788 089878 755996 478303 221420 332222 481636 451959 111667 659041 990100 188812 430676 057916 951680 420344 328905 235393 857064 998283 586477 986238 565296 638478 044658 644328 939275 021138 473219 420038 421187 289855 299081 840273 516901 943160 188435 944783 145240 587984 354451 454492 896032 643726 442724 493278 112723 931635 135027 338545 162833 176151 369074 959097 956255 584542 644944 930344 627854 745241 958205 635439 298557 750786 896884 971360 835724 514786 606313 129687 912269 283201 302624 054745 482704 108107 112523 016005 059053 894763 673132 043226 767161 685457 687454 119862 771736 288044 923159 100864 324296 827684 838342 579031 537410 703072 476189 366547 167440 229015 763255 845961 883163 327275 682467 990604 207275 121653 912404 157776 061891 719420 202414 723296 561737 963430 322915 218996 392573 696620 000189 091927 010424 669101 065085 932818 342694 929876 933797 643253 519350 399063 247665 027959 299398 898848 702760 606788 908143 238044 799162 969724 460725 174510 256832 695133 474799 656173 569340 389120 907619 851904 042714 844208 938196 783211 182953 084000 790450 311731 640331 674466 536285 906622 298662 334317 623412 902795 226143 615724 738511 245702 735134 119044 244644 921041 345334 863333 231238 593780 823645 998570 539835 003100 570980 401779 963592 909600 573224 124488 669535 851719 148139 466313 731933 552985 134038 186125 290198 112084 652406 072132 849035 374123 925863 904945 410481 163196 090029 356163 710759 247852 446036 686664 481239 945862 952360 591822 130153 468123 772230 034510 937212 872255 764509 792928 096289 872863 277054 886221 039881 001988 747669 290434 367642 274060 501131 478917 829093 776730 503918 275031 329749 518777 648992 862458 984903 579730 467961 576755 014259 764506 189620 085968 721266 679892 933709 039593 585079 926016 951809 582011 359338 403733 971836 619177 438891 632600 795965 224165 304256 350526 391393 673000 818453 667004 094946 517541 298649 546293 884974 984023 356394 140806 854647 949604 881221 072557 961687 759029 143011 818639 731743 653465 111734 184810 597666 120020 817069 213147 073424 781804 319402 197671 543432 210227 021765 713095 630338 555300 092969 918464 807910 217707 962475 074299 778692 540656 669514 065532 467043 529170 346197 977612 464113 285190 254206 726237 102095 592819 190743 426408 262398 889271 544697 423451 593035 047638 760476 852952 613671 878640 880806 540580 956520 237518 130784 678644 736583 497893 803209 993349 915265 847086 740812 747433 666922 190190 029293 603626 285930 881828 622287 374648 678658 977988 095141 195539 810285 422611 489297 755664 653695 056122 877746 509429 931812 752177 367147 451194 324212 236624 293384 499406 655864 095625 287734 165288 646138 008436 552195 035988 983538 868310 484667 298039 316264 560541 181375 071360 844528 560733 931534 491336 690609 407432 060775 756738 103440 116265 334213 035239 291031 163058 534074 647392 209446 948369 276875 343737 491642 030794 334148 629735 822684 984769 367347 604336 515263 852193 299600 185494 600359 039464 970266 274076 952104 030172 115045 845443 828721 380149 596578 809129 387870 690367 082955 586178 371010 442514 855850 132476 861728 437837 135100 043128 850157 012086 780850 756270 668556 921829 180230 753396 953861 714548 902927 951698 048785 237617 717157 205536 044002 824022 276045 636301 533445 797050 986648 655785 809673 428201 515679 284047 871657 170799 002929 967282 868677 658071 620626 661904 565682 993938 633106 815782 557698 169756 323861 868183 677798 932232 339590 024781 318095 080753 652156 780135 053321 064499 584209 283835 329087 240964 630379 322794 456146 970486 124409 303854 272510 791200 078077 591469 046771 456291 687865 677184 220002 560508 411112 422493 876925 986086 317054 900781 314933 932410 164363 885571 915053 864701 321270 834678 455934 792072 013607 708718 342467 945126 188561 966811 005821 607888 122290 821595 376889 471035 974820 388291 086822 530167 717838 508487 378610 451977 653954 256345 298655 936243 846836 122820 312437 898654 996851 335399 693941 859010 931774 333440 175317 439691 154463 133148 825765 849445 733322 784647 818983 708298 485554 077571 659786 368303 462553 424343 628673 585840 531931 534201 505713 097937 433118 255250 631523 091954 353978 897088 847688 015613 282221 940132 872439 895373 075077 030138 481766 433550 934460 866692 490547 253380 098882 432158 056587 616590 878448 072228 483923 363810 062591 043818 675358 031562 744552 033180 406449 056768 275759 418056 914266 568651 569011 588601 099768 952038 289470 568634 591961 383558 643227 147198 155850 173913 436756 918808 009542 732547 906336 034807 664288 741640 288956 734474 212656 038303 493044 869266 201008 867665 702745 136402 020416 725092 333359 211503 915302 372618 454613 389507 516800 708741 380936 253422 364739 691886 614064 977966 478950 139529 181769 566783 597716 692386 729048 302759 089870 924707 184491 276321 008636 858510 086024 792476 727468 510031 421192 558916 304113 713337 548692 434790 888974 182671 295337 533841 508942 565763 252380 757295 257789 927842 322489 015585 593104 786827 502052 543153 484321 977139 434550 798301 590437 147634 483103 684217 916996 348886 845913 594856 467388 259179 313387 577546 349026 356283 799072 627351 815154 967945 384232 944369 572052 464075 422565 061934 277897 514342 049976 801749 378322 343359 324358 097238 585083 766002 302984 010811 686167 455367 618753 689829 998113 612441 023181 110682 461298 496599 572118 574747 890013 909084 652252 846606 108198 389783 945013 972207 887817 002858 544116 203384 769775 653239 576019 500012 604738 199777 378691 791220 722529 075177 603089 358055 913620 329689 246530 421715 027775 349270 333998 259302 726737 833989 500240 775040 263996 968629 654543 277228 691036 681272 118779 590682 159078 307419 817822 609036 158628 022200 244892 334185 941748 898561 447562 590763 821583 261847 285489 643844 180085 772512 029445 173753 555081 500805 814462 758871 068645 662550 012286 015191 871173 168833 139586 405991 832844 449687 170865 310586 249925 993710 627227 954813 997848 627038 811396 856209 686701 119719 311749 715088 665048 740310 910881 459611 946437 098385 422326 188234 739294 381859 276448 575879 116428 527570 425597 735283 175710 444369 734222 364611 846788 241959 498789 429167 674227 972476 759194 711525 207352 200705 635150 403746 962117 197055 655369 721297 583215 246175 413628 140299 179783 715764 860507 906592 821941 936102 663954 811816 900983 190757 914078 182401 918110 128715 101717 473938 761367 854024 354344 524523 333165 584477 850387 635694 458908 209079 301879 991492 874645 273763 807718 106323 959203 003563 193523 922043 572289 654519 039441 795911 331914 256596 260497 533160 480754 570114 238485 215266 898294 821856 971201 790486 070502 772790 172784 731160 375737 743322 116257 470499 947388 507724 287759 647622 255136 126587 240311 515781 065956 097803 809329 368376 788014 159700 051568 096811 954174 933934 005188 888158 622588 295020 094843 807026 740002 602527 961436 541874 268520 483435 699894 359237 011142 149025 130967 282042 889983 734828 837318 196745 463079 406521 006338 317843 077087 497465 807685 232564 055613 157435 310223 136652 779509 603870 196957 913816 375399 373009 511069 817789 904368 045099 226528 667199 713573 448969 682789 573890 708172 725586 298652 256073 308019 275585 885622 594309 831005 331228 537301 281859 519675 058518 804049 448135 227290 714984 842886 514473 334450 372047 969309 165066 609533 550463 257425 833973 089751 240676 464243 993830 788027 248923 391875 752736 915036 871125 826220 431265 324439 658022 146175 497108 532615 181891 061763 745330 579794 266816 519683 595250 744940 470355 392714 581448 876321 144764 611600 004232 794301 808440 253067 285425 673733 844138 132406 486332 788332 696179 132305 714782 861895 624016 751248 720439 292363 512302 904164 393041 738395 742934 653159 652363 237061 859711 230962 938814 812727 555264 728352 873228 251352 001537 254661 256724 993698 165052 635913 086279 859587 973030 449433 860206 962410 507421 568844 915075 660141 751290 416048 985327 813903 392959 983672 133283 971263 700111 326192 577100 210658 651413 794706 109840 350908 209400 148034 123338 329987 423501 695810 996016 114564 371972 512973 367313 209314 302255 934666 351388 901198 856048 292065 054173 757530 593142 602575 564331 718815 403670 202515 275027 627948 395820 349531 132981 042062 699489 840633 091966 064674 091148 386566 886975 862903 485037 611947 581771 401065 547193 176827 746988 251840 124188 491081 668442 197581 767223 971446 087812 989258 825732 286958 329984 067316 433648 922091 244776 003479 215933 354053 120497 294781 667991 759182 811460 043062 948425 625500 643281 977903 285186 197212 052163 580010 716158 807680 179395 649105 144549 601429 830290 352565 605232 355560 344614 584724 015016 766562 424593 861822 557887 571879 173026 620798 528165 735545 774773 745606 318409 644249 961435 772875 525508 390247 307935 301896 677707 492715 372973 346180 030845 178530 637291 982707 974564 528095 575988 271824 911028 594179 878371 434733 341812 762639 778765 164727 498508 189739 310818 328728 746050 390593 793946 403787 574465 990162 078885 351284 906456 963273 212856 664155 788753 862967 017377 208938 598148 425042 471811 913025 581860 413327 226832 665349 521662 144579 577884 752230 389009 789471 036541 976209 834647 995903 285864 624147 102933 401001 942874 662123 353777 252586 735541 194745 231639 980209 652903 345065 467782 393295 261026 842463 470060 684006 186318 332318 880461 219309 275679 623951 841968 249654 863188 338636 140278 766654 896582 651661 762969 549477 038349 609989 254494 472703 419268 563168 210232 717662 878140 189704 596457 162517 409036 189001 167222 510284 863888 293432 252888 667834 389572 691595 959414 537036 314551 301117 988753 347497 226426 798653 043625 717268 888415 708533 493999 362198 891773 715496 562773 140750 368249 304163 817030 271013 174527 450393 179542 674566 420350 915551 670271 532484 466463 482761 382547 376013 512296 528001 900554 819945 250149 610727 486703 289923 843558 498029 820399 006824 914747 879418 126500 817350 145584 022026 665841 760895 631255 512694 465161 352704 113048 123582 275238 424065 462187 721722 884649 716743 318979 980420 641648 722489 949534 124413 378687 624192 649291 312024 101140 165851 449981 974857 066265 712536 191364 192773 851534 853731 213566 651221 778394 103983 876243 699541 963853 379637 954201 779792 966903 456462 137579 711987 834000 067213 836724 496914 003726 387472 175802 042456 171130 153119 229030 544936 846103 476807 324086 013028 850446 081001 282406 912741 758089 565333 143981 495498 339010 598017 992319 893227 835313 563800 372387 496196 135769 909228 672255 244412 770545 644110 797155 951859 828221 608061 380203 937402 264058 490466 715768 077653 276119 650914 891248 265266 275998 668437 720402 115793 532462 776365 696281 050474 220022 144351 603841 929965 982699 851525 353030 656280 126765 328328 598959 951912 105364 655217 410283 011002 178020 141576 109634 161820 815910 804194 356154 828486 820196 625850 284273 507928 967031 710364 878946 317399 184896 399907 593605 697641 686375 211771 479271 456943 957966 220534 256313 525992 854950 228741 008259 790655 969205 157456 143094 698752 725521 481834 197305 579128 803505 663616 451534 794754 175996 889910 446912 516675 716645 187353 499272 399856 668220 636532 100545 586671 859210 344345 771204 724814 460497 417606 054756 125606 278031 529195 846646 936834 541693 156228 695510 531039 684428 962300 194610 323304 375299 723212 048933 717273 983230 146681 421630 743053 854654 184399 699209 170128 540800 297676 644736 564597 936280 599913 972355 411721 434183 861600 632357 597336 300979 435056 517446 207657 754835 764447 994519 148201 497602 559194 745207 445795 097627 601750 279563 850328 454338 777047 104672 912977 838695 270294 021124 891354 872004 806004 597409 433816 752116 724582 640888 337822 585030 687033 964036 658098 387233 000762 084003 433330 247083 783820 141305 642533 773851 248981 034741 532166 809761 720471 375190 713178 140287 970385 171382 718991 686259 663380 395583 879760 414577 432261 841819 982465 472312 817012 447832 774425 248648 934683 392933 108958 424227 932805 715368 678589 538588 360579 206371 020536 234403 152531 956736 539968 802307 661990 345040 289688 122512 317307 514728 838743 093341 556822 856335 395214 808583 016539 160716 178268 827309 982409 695147 604181 651626 313383 255145 927376 365707 952897 358670 051860 447884 169775 409881 280416 785328 972608 051699 333773 942914 153640 303054 680406 794747 079250 573997 064464 602255 984787 917413 485392 395090 403368 332204 697786 395453 900545 694241 685648 932012 111715 714504 098414 846667 741784 537631 698387 682147 389960 557080 504083 732981 340538 592086 017742 062547 683840 413981 211250 064967 960303 096617 068719 828276 543032 315592 233212 923513 631263 656767 688494 712234 445629 628179 257534 156137 108592 309442 899433 187407 755700 599895 497643 864774 996876 722120 337236 446409 334039 472827 339904 247106 682176 801733 773516 597534 809847 668685 912156 565318 141645 661455 151801 901888 876102 687065 118127 972087 494954 625237 301617 956693 555325 623778 155622 057665 592972 249098 415531 136173 649284 565746 720792 749710 402241 077645 925394 223062 383443 095409 350975 896160 445211 233520 421762 628671 540165 459201 857969 439411 176116 208712 070597 109468 997880 321699 838749 982202 523620 894938 901165 326976 728853 508029 696937 909841 289484 952463 980956 810369 693754 710499 806378 773116 455837 280258 773333 868914 757769 932796 089857 457098 407398 877968 904323 790741 293431 619223 029347 613151 471550 457810 594681 783955 037573 392023 074458 270344 309322 492287 188983 853132 026255 153863 021073 945147 712386 167292 102568 985375 225354 126214 232767 084191 293460 238822 214343 792737 839747 601457 266233 875637 315790 254006 647207 054885 098619 765525 291722 298820 577265 769793 499227 990619 373109 492216 866655 887338 900729 549607 051167 490701 688100 756584 697677 333463 972850 727504 421551 885829 879812 872583 224575 509105 179490 398195 109592 830779 476193 335094 862932 440498 496730 723790 107951 065726 124907 981185 366389 857567 844345 116087 612062 540491 280209 050380 036187 266348 236707 539978 285921 013780 001096 577149 425690 432779 129397 782372 805356 571811 260762 053876 256326 531643 714957 671267 173637 617081 137067 417846 138489 770126 105744 356037 117511 973696 792203 137555 108075 902316 629277 482224 202363 895754 832152 764065 996508 914790 296235 318202 631757 635895 849001 280863 872996 022617 741124 348782 608918 023065 747481 839264 070828 128026 448150 533498 420871 763716 171492 002725 519710 635290 255402 303304 655806 266169 592282 012591 935731 456234 044860 182991 470989 904075 119941 645724 303579 824027 424570 529760 136735 747628 030201 322707 131993 690682 582589 071590 860189 231945 463744 460382 094772 408743 878247 639475 279696 579146 639102 829271 015527 322490 314374 722485 346389 192048 876161 111644 718546 346076 686059 341363 773453 578841 870336 453478 718430 294845 440358 861650 316464 801015 782662 193517 801924 511198 954885 348252 175261 002831 786365 304427 246952 089625 135486 161138 504505 930392 346852 862074 956625 884718 915586 841857 951358 640625 460365 751530 512147 832963 365137 336921 320605 887450 948327 108517 570298 180289 221260 243060 325272 968412 437433 436891 839697 671888 184928 265083 330552 912187 850779 708170 780154 049004 922945 903864 724173 119672 760508 621269 670881 035164 737523 783831 208954 787333 111644 852024 233592 776495 373095 486008 384050 215035 026132 468416 351916 616005 867916 112626 768793 859310 352839 889128 170770 536985 799356 071717 876908 862301 764441 605173 411819 197425 961254 048074 508017 888670 436513 234286 151513 173726 967187 269720 970610 848843 486569 891025 777790 493110 406309 444034 488479 736877 458309 493839 728855 358863 959836 922808 767155 334573 100581 770583 703286 628644 772573 789311 971536 782817 508217 942113 462909 104342 628903 110938 073952 894218 738032 034951 670597 477857 671587 214822 559743 422872 923436 398731 657806 239076 883260 029276 579500 881736 730324 238166 578465 426360 340455 603587 838818 195287 628953 236657 119794 107656 142982 169054 256351 287061 756090 902164 824056 939148 964181 844445 371471 016191 110312 235634 368429 037569 842463 598378 592092 916983 254839 541686 352925 185378 189630 009609 860717 848884 316040 093232 091064 776850 248928 301418 801762 733982 822497 102063 113372 350716 257490 434489 290039 501533 423799 851903 939856 678298 053568 808434 222832 466308 461018 233535 307469 256505 289135 549833 921757 818220 244502 908821 747235 738094 062917 493600 376155 932986 241630 382068 387738 420882 339339 018783 573052 169067 547789 482135 285837 194756 942142 390974 270325 791735 093082 332746 701366 340059 800673 176516 764071 795939 888347 390172 433890 741922 874686 616909 964770 176412 294184 377479 275447 457635 515602 501986 305889 291295 394025 101425 880274 607898 932215 714736 982147 198617 479967 709145 652109 302755 759336 919730 026822 993080 652707 292223 485527 222321 371241 643057 967744 879438 163167 345280 446531 411943 929867 268108 347966 203859 879756 198759 878613 738883 859161 373324 017415 675256 517476 515862 855063 228830 090685 311688 047580 398736 301735 853852 700203 871136 190726 025723 026876 940742 572820 577562 929961 048853 864042 302039 777077 539121 811907 018656 291914 476359 517826 797245 126050 274585 165132 679552 333366 626916 146463 282953 622721 400262 799663 122408 054531 071380 838435 985656 453031 459153 198703 207880 325481 634937 353331 747856 630640 497798 880171 158677 697909 869670 057228 621699 349863 134195 243819 146509 521786 139698 124468 926995 888307 829933 627118 446339 982934 946048 507465 450209 539524 824919 767170 316834 346850 497245 929262 665086 001194 557379 345688 716359 012485 905310 562416 615641 041817 309404 781229 660762 842038 135418 409289 933103 448882 793921 855747 384184 990525 763016 778971 909729 345832 700499 960408 594791 071775 005895 630464 964235 115535 105863 108017 669987 434055 307394 003993 234502 763339 134284 905039 867736 270058 228683 817321 843465 603617 294406 583770 569948 291548 366561 818413 597644 416869 231839 517820 826778 578598 561469 313961 552134 382070 439497 073420 638606 663545 489704 941682 425856 / 14081 > 25614134 [i]
- extracting embedded OOA [i] would yield OA(25614134, 14136, S256, 14080), 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.