Information on Result #1872996
There is no (52, 52+k, 13622)-net in base 256 for arbitrarily large k, because logical equivalence would yield (52, m, 13622)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (52, 13620, 13622)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25613620, 13622, S256, 13568), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 77 954289 537083 181610 190785 441720 783142 353866 581071 480458 204937 371261 247694 277097 720251 969673 279344 107154 996019 190266 472038 336318 303068 726278 857772 905665 291476 556388 715008 209059 119989 534414 000276 904626 867761 874907 128449 022844 337672 676557 785536 179831 297772 846981 029933 281986 342557 298067 049845 245334 747654 973913 728314 159386 542016 992968 649975 194145 939934 817529 564371 941331 330235 128815 427935 172939 283995 321404 233368 015003 385108 931651 286136 087476 339366 827722 441745 824931 599129 166873 705360 814384 373481 423244 318202 484254 486641 647124 396043 208639 356684 842444 910906 266578 483487 985439 615548 156789 916860 485218 499047 440554 521991 643091 362604 693426 715886 218395 693920 682491 957195 994687 318391 175857 333760 795131 387785 803560 332447 227232 532720 864068 514836 957541 707601 709725 611107 294474 712083 978915 174417 751125 528110 002481 557566 587418 876159 372933 936552 932319 221977 087049 316228 733803 207859 930829 238880 471321 532914 665536 419182 327455 200739 544482 141504 722694 400666 276895 514094 502397 928015 858122 345606 967452 657923 878448 798586 036931 802573 959653 260867 508927 731412 876455 464962 410134 490515 387789 337143 921950 341718 483242 614566 919202 598214 329251 081843 026107 254319 386858 202893 554256 907346 779397 231418 322140 244186 245593 850995 741317 945176 904414 006213 352616 803481 967569 786960 092520 378265 024412 151062 413203 737961 971532 713505 470511 141715 114256 792469 609446 964016 153761 810514 624652 143482 728495 024926 105637 117082 702642 585800 460822 822489 632084 242047 487080 616614 761446 551117 242244 074763 166977 608164 713606 815136 733089 524542 235703 714697 167360 976631 118311 215885 657631 065471 549646 758079 582327 114595 430004 778032 198482 300399 676375 327133 538378 053842 646151 350901 584239 842808 795031 020245 431210 346630 212001 396383 062556 571683 236598 267260 185971 791869 391036 736985 531857 391951 642156 563333 519373 836470 707758 095499 927899 981411 105454 858654 108774 050741 868282 138714 665880 843132 169118 857319 116190 626909 729797 003499 177512 886368 984053 596467 085637 244692 126789 045752 305774 340521 423549 759281 289500 137415 628607 112111 077295 374112 306374 469109 346535 920550 064035 063965 631010 646883 062547 957240 069111 091949 938454 065661 744063 814930 024139 973496 407867 732983 245654 369984 382651 552847 094319 610815 641698 056088 992906 173318 101665 538443 408892 456492 732907 310122 716708 682530 228061 308204 823614 083118 871487 571943 814891 117118 095447 183243 761295 647338 032894 061925 128535 423988 784067 761629 583533 002819 976819 670549 728195 477085 491826 454772 223270 261071 676492 488174 656418 356408 336940 999134 358807 954286 768922 271457 262321 285668 889495 782356 137183 389490 237508 690448 514576 085053 348707 555582 714931 427666 788688 665554 265298 770916 732379 323798 774904 785808 911555 177627 366590 600954 065499 984391 521612 048928 692277 149329 070094 956500 314743 074871 869752 826262 280063 334015 874488 511350 906243 342497 695396 454302 074877 563624 426061 566758 755834 146668 178937 414107 201330 708667 131288 556611 725055 260603 290665 486768 724388 432745 956649 046037 474962 732889 967290 980718 741147 044203 889845 683165 630524 310736 970421 756598 798401 457478 743372 300306 445782 179118 996802 363949 359121 781061 500549 319937 687182 928386 967410 199760 893627 620749 838415 231274 598537 745006 573231 336189 834947 475593 603379 576501 114390 566344 366469 488124 128342 587907 449391 078910 551025 068534 148482 025683 590634 542536 814939 503268 100715 576541 075630 998682 937511 795627 126508 387571 789877 536654 510493 886292 875617 695061 668464 379382 636603 946384 461086 134411 967103 315149 464731 757613 145922 804529 002000 550829 274928 554348 548670 645895 777245 895901 898860 307842 949815 091598 873337 600649 937606 434742 987871 086326 694747 506037 573611 111215 714245 739620 346917 193585 019403 724507 155898 122140 984450 974081 469000 697128 161822 483604 271026 351030 424697 212019 162824 241008 560767 495620 839006 796857 180863 332697 239391 285976 404504 136844 770988 573534 740410 956946 764243 944857 221933 599629 872437 272109 389228 849514 755396 985172 559119 890639 092554 781024 038495 432224 402683 871482 400890 093817 409067 932266 224785 692471 701855 876368 576333 270989 250473 804591 806408 264109 143093 347530 020565 954085 929545 413425 486388 081513 694016 267247 654691 726324 025827 759799 837035 423093 223474 881249 377923 736402 327342 412470 198246 971516 702132 309879 104237 881202 424361 528324 219169 608980 011458 726303 321164 820652 012170 295794 900744 925484 759147 437646 032562 496594 018806 467444 645757 482015 075596 900706 717512 682145 690282 771106 260862 773898 191776 117396 169637 112985 042726 004510 100576 231739 346365 029921 876042 691975 662367 268449 894845 276163 866954 931664 789003 040524 699911 309366 967515 497615 509593 058291 050760 055718 591529 771092 948031 238282 802213 179575 344502 332313 668999 816777 954781 617611 974781 730798 893614 297558 032134 285332 568884 816552 539886 614523 824473 961320 266342 649396 710168 854525 578098 045467 003698 838839 131243 092039 115021 722029 297516 353099 661413 879592 318788 768268 498694 601812 717070 918012 892076 540943 257377 504943 477671 526179 701804 435761 937535 990529 945579 105995 882056 651180 967205 413217 071027 502429 029210 741561 011815 784885 411365 842238 017780 624097 431579 852385 538062 522517 682787 175063 794601 295850 685044 649341 158753 083841 581756 121479 012510 785351 965026 160342 885221 496239 407584 878985 782259 831084 193544 510652 666578 623409 969338 446754 556392 741431 464556 757656 280660 699049 796798 162062 231257 086982 616538 567650 833464 679313 379887 743796 241796 576270 940056 121533 182437 879236 271624 691769 846636 212971 863395 421457 805760 758066 331804 314370 782591 495202 298684 746270 381935 899080 680334 886131 099331 560376 079040 341569 927431 133522 935617 093002 408039 717847 962138 267147 594009 905573 536133 154262 760670 373014 962449 232891 333124 158735 961922 484558 034343 679823 188918 201671 280083 828764 968568 620608 927648 810449 721337 608636 300245 704948 500837 941090 753805 527340 343547 136526 334101 315905 881925 280860 084247 868785 863052 866801 012098 515049 302838 480129 711848 800129 051686 555148 625865 557857 759498 570320 758836 778101 941713 446020 770389 366119 721255 460723 660996 293152 129979 117938 405607 187386 904644 559260 521875 990171 627017 862378 610396 056077 933451 670642 895100 704375 055947 139475 335619 810656 884435 444391 478403 252331 200551 716034 070176 083949 446280 700171 882971 018752 956360 409859 257908 838975 684095 086204 126239 366662 863555 374115 533825 267025 620089 315141 672679 570245 633045 346652 101812 203308 255242 362223 679319 412888 909188 290420 231940 818534 258520 244987 186633 651362 596122 037584 073987 773737 794484 262993 028968 309187 374056 765600 608517 155032 941814 264671 337495 501314 369952 670712 373022 423565 053416 111896 429302 069524 801225 204364 497867 404225 951691 933964 808084 482539 914180 975462 579786 299644 835583 350086 471468 955813 674027 988484 804301 273239 290628 662655 943780 365853 494757 568857 793959 960863 421672 658971 182280 758553 599659 530950 493925 096222 293306 756318 678858 560138 468999 720428 807321 345654 389051 538664 971865 217958 241917 531444 778175 998974 260496 225787 960676 243583 468652 365734 578686 630049 600764 622635 919154 536774 790642 845828 682339 131322 952558 957742 715586 733379 359463 050325 402836 179503 396922 606891 378160 153955 310649 017030 178913 537351 085021 761554 560969 260789 348449 088512 331990 714335 014337 827798 806023 000962 878375 953637 884107 116344 218337 922128 197014 513086 867229 474202 824511 164301 932468 769939 441537 573343 868677 015565 919425 077063 439410 863325 690920 906989 834205 072029 370371 550294 204435 841894 679856 408754 233226 843837 578990 054113 081589 196702 604578 614544 051261 971738 923858 452203 989378 726899 963697 861784 997004 468048 627885 523523 938490 053560 813732 279039 972579 296324 196243 106712 572504 469689 238248 262674 871286 222936 884117 812974 529937 785049 402785 968257 260341 906336 409112 998398 004334 615987 841291 105413 380607 485641 014737 147124 187328 176894 234461 921295 094701 796685 672496 280271 511004 832025 076767 016421 314745 744075 995131 870018 643912 310346 948583 687816 498594 543403 479091 087511 307367 275448 847430 846656 114826 430280 292335 630620 042028 170347 271828 625427 144117 694301 021089 322296 599279 136405 495528 840213 807083 820782 112987 924268 154842 413956 727920 679020 951808 547079 053128 428893 715099 850585 371261 849189 135111 837174 006069 643982 311890 863191 844200 780292 536387 454161 480983 486897 570143 980846 015704 208503 858787 762651 969182 935828 095549 911799 162841 259342 466700 874354 308356 887403 466789 178819 994038 236482 271020 404571 977721 858226 738168 162647 521062 745187 993005 059580 472063 143203 303491 860654 513106 295495 771869 787038 291694 138291 077008 954051 339399 338517 101550 570073 273097 875439 711557 991309 956510 904478 110857 016295 892217 634242 182430 354816 520846 012232 530038 709524 166427 786577 028355 959827 289214 674423 129145 590899 852890 357654 168199 623107 139138 971349 895661 023503 770589 222612 002136 328380 444565 426376 509283 738221 513747 380087 295749 903320 124085 728377 120897 890301 564774 144576 478240 549395 371108 045093 470253 695260 131436 499778 383304 660854 902749 007700 656816 438285 864411 505317 618707 873002 180271 396498 991507 693396 226883 467580 751537 122389 601512 213212 813286 100688 727328 828329 705486 041161 887312 652376 589675 901981 475076 373485 148392 230013 436925 606330 190626 822594 693888 650617 602561 664831 441443 350662 044011 503707 961936 042317 858502 414335 791208 381105 570885 832539 754524 686100 211104 567065 438404 362537 752558 492356 909893 395395 608639 520512 232503 395651 525138 621485 615488 148583 493547 711234 916247 265424 244138 257399 841501 228937 046068 320665 122523 992083 375754 800737 193474 780518 738406 918175 880511 766268 445004 510444 307693 846026 142590 182756 229878 165779 425694 863722 536780 091855 740627 088504 104473 054690 222700 585044 120969 336815 060758 391872 857773 879593 808414 118460 497576 170404 275754 170372 105088 667863 493851 330272 689771 703430 973268 942681 589254 209717 045577 550575 194947 859468 148635 914405 103549 637971 082849 724044 664355 195322 062847 687054 431742 883613 848640 952261 941730 966125 524040 494548 714947 319778 669498 911773 732957 435769 703625 600509 741295 262313 517116 619479 688599 938200 017999 022990 586193 424110 132035 402457 408086 118396 499910 753191 430590 465825 837727 541354 853470 831071 574416 236866 154546 554351 824983 837892 138778 166193 500614 202231 617517 644916 759293 757880 888026 257499 012857 123361 199834 358224 379729 849214 793346 596203 531510 901517 306244 086597 801873 251405 603070 325009 988285 111801 229049 103930 815125 237853 877820 615490 529593 195362 561258 205609 494327 834592 768016 135368 744014 746990 200318 018082 756512 637665 954372 229051 223967 348450 794652 498725 911064 718126 152314 906113 006294 984199 366161 723928 798262 826753 085173 021596 186804 336522 468165 948165 190603 899983 921079 730812 451829 447938 488833 643208 150214 459225 386552 913436 040582 244481 713801 704418 454157 219570 930532 329119 020483 147701 119309 891878 628989 022519 713361 598744 442144 659396 393657 417316 511572 032620 601843 381459 951689 603494 853044 470743 578807 020079 437711 183077 909208 890000 178089 228501 777892 710250 079341 925594 732907 318214 694400 495145 972873 893516 914375 640799 769230 266320 544200 065575 494432 591581 483963 456495 080286 166665 236677 575061 492370 253220 607000 567393 166157 876233 423894 803306 847013 769997 361414 167977 148229 525059 457626 895647 703595 194224 053832 978674 879377 818304 223476 249817 535890 368694 576855 714455 490129 910601 796986 984314 910216 240807 407935 921862 111789 200211 632682 069182 257863 068674 328371 126982 635218 832211 322048 950990 148382 722351 309609 651081 053775 465779 539912 397494 493871 478476 653874 606255 520095 839793 689903 563686 263777 886226 378576 793974 327776 500621 758470 585615 715530 682785 285606 019522 895594 689803 627828 194566 209620 877632 646311 871739 439908 122862 892967 371433 644692 883042 485382 402595 263657 060388 941771 868954 298120 749054 444187 353263 905122 045908 892167 523876 621920 740104 307014 040945 095234 067082 905002 351386 225040 567518 313410 181074 914409 621244 680259 758626 985342 120668 196070 444505 753602 601963 469596 118378 805742 701200 505848 845622 577228 973762 358272 280061 439815 580734 183773 248108 574295 362498 499562 571786 117649 059048 312152 258218 427794 210261 992626 100235 222590 876274 773788 072121 580480 524719 686838 778119 740323 525823 655492 241092 207171 804427 658637 855954 716946 430399 075900 098226 267793 060759 769785 851625 348619 626321 076509 493990 717389 672955 274191 811103 440667 393764 114088 707198 458565 362733 866109 978202 199903 329760 639903 853556 482072 978044 444837 728262 781972 812837 239271 061220 853239 493057 796685 116328 415543 974224 350121 392739 628143 488586 370163 791193 062619 762542 616001 778364 763732 506803 105216 130827 383333 182307 364816 741500 779053 916654 485428 788266 294794 204034 658246 389189 315124 426071 722259 989890 740680 993828 971043 739541 800228 396929 828785 880165 156507 176501 031631 786873 484669 060231 601718 980611 213070 706128 297880 016933 580112 655794 708086 495197 603615 315000 957572 589102 295475 185757 875010 274144 853789 611790 467500 957536 126065 838731 039189 287742 233290 916888 888307 203407 328163 938141 279059 135832 516143 582146 621514 972723 236180 158637 892113 110637 664927 498208 054078 376724 332087 273258 905569 348183 545195 660899 035761 891607 177075 041773 906900 049434 837243 226669 563086 846757 886031 376876 366868 402625 978622 304077 644081 691345 515290 933368 687358 474975 248641 804901 419144 883499 540134 921203 814366 141187 653923 016559 071118 439103 978850 128489 127789 483993 306835 109977 509631 999836 825348 840578 800321 101982 000993 167788 620069 428677 449168 520006 712122 156013 587505 045765 604097 765813 079038 908462 939300 172316 111996 131612 076379 308215 330266 602298 013762 171589 945603 615531 784216 569580 234477 938685 108754 232013 635132 304949 377711 994439 138549 713668 136070 405100 695506 354648 321253 609863 495739 901267 937217 156778 533462 666124 258082 823199 840080 418417 793337 719589 727105 861346 540623 350586 544394 919176 730173 023686 854105 765512 640605 609727 036973 193173 997515 873715 612731 486490 236897 085938 024044 562094 490227 849278 263272 693606 496772 229154 754310 734885 351025 320354 840589 829640 821960 384090 074010 790318 776338 385374 251461 211939 739653 380339 841729 001774 656637 051122 973381 705126 415190 369537 232529 623902 842338 474878 149437 598183 382618 354712 937328 617761 484618 147719 960190 261637 106585 348958 147025 565242 870722 758012 475593 300662 255450 838926 191158 097222 012013 835646 581511 503108 912784 589160 195989 734783 099217 588254 384562 245284 161946 809457 666688 572825 873364 758474 651400 488992 759948 351432 427519 881613 310834 985864 356313 205331 374064 116309 427461 662824 322075 486289 726982 472662 542464 568799 787214 968162 767215 178672 436690 960980 290163 646289 322758 442397 160250 476052 545899 569249 155386 248907 783156 020103 271347 389577 866082 296090 839826 430398 469725 455151 382494 388148 210708 360025 632531 562657 843015 217929 934845 324172 011914 781653 283687 389734 243656 723103 713273 025927 676560 895577 359037 106942 576172 474084 001409 564811 137013 831150 342567 809930 513022 239826 884760 867465 820661 634562 242184 955954 264134 181807 917198 701730 205792 605466 339451 872945 303669 394779 590831 958877 151487 762033 700493 510910 518177 496018 960247 037699 472723 638906 024261 816591 379815 463637 803978 703050 610055 066216 895946 162889 046189 406905 261997 953822 446718 344769 608212 355873 132130 703282 996370 235718 946077 265941 352219 360592 310891 469323 512059 082379 170504 453314 421486 669318 238353 704526 706013 837313 523967 248787 498120 758126 437214 418849 075303 332239 927160 371919 789506 286714 581622 111591 379109 178993 456444 303435 052467 772269 007528 397039 227511 109086 883779 420687 272606 647912 638732 004823 800435 372973 112921 486547 197246 388439 308341 646540 776208 331452 967911 939612 480274 361254 408620 956198 195342 195563 927234 999000 319267 159139 341136 542611 433760 988814 290447 994242 300952 755306 951720 340334 060366 669042 196185 383378 322838 123890 380481 728973 422219 098444 826487 635282 712934 761191 102510 709085 630289 085696 661847 305232 295858 995432 617073 857394 742241 048219 196275 321196 729441 238602 273002 140030 690169 101206 021926 549211 873343 938224 779258 048922 362255 303674 141330 854932 835561 143958 060855 476539 348269 846264 431999 590817 342090 230548 770160 466187 114520 492210 514489 751990 169906 069301 372412 159811 043893 842912 336878 457925 529864 064828 558009 890537 488957 509176 744649 646009 544333 029265 470831 397526 231200 942212 463385 330681 224197 647263 093401 833472 499933 677867 216999 360853 946481 442246 409860 128122 209653 930519 135144 440791 578717 103515 524853 205152 817018 111080 134679 600757 353118 878176 683863 555899 242122 842287 849072 274213 351526 413165 365769 952791 803099 666672 892871 432908 062114 344696 978012 840561 023141 831130 117748 550101 668423 076191 852961 913544 838139 281324 639316 013285 199151 660833 501925 548128 637018 477893 706105 354517 492770 281291 218824 774326 431165 743686 341102 975026 723403 747335 775207 124153 599908 589605 217215 521739 768994 737132 974800 757419 813172 026551 295073 797317 979520 343848 319503 798112 036142 649516 506248 738239 894261 076084 091633 237014 143076 668905 678609 304968 462491 737529 752064 723727 056201 730915 069815 573457 974228 068951 621631 717727 287123 914413 271352 629459 165209 354234 012332 646537 472074 745364 392493 877743 169700 205402 741592 777649 886207 869349 529797 291594 737127 597602 107678 347153 365047 599578 638104 436989 385413 425795 792460 340142 209008 675142 407378 723844 335837 645324 018924 483551 857231 951544 864297 834132 421280 145352 702189 824244 618317 596927 756841 936961 383559 233993 241108 237610 298419 894655 131431 752512 954163 392353 919423 880822 388635 769794 240289 019312 384250 174750 115179 737363 353829 633620 670025 723381 422168 221331 977181 897984 691977 017422 324891 980085 948038 210099 113802 237951 297756 611243 402539 715408 118982 065141 600439 006161 456525 912976 883212 326615 228470 665521 763552 891496 332770 335823 910987 973841 018404 612521 266091 470630 079520 212975 346261 481323 642169 420473 307510 101059 301946 056755 176446 666273 761206 455021 018753 854278 413278 864923 187557 937332 234106 295025 008488 515546 186308 243369 450466 922030 905123 976624 856956 385296 623745 363745 255059 523849 054244 011968 384425 317409 454274 373434 899140 247080 565688 104406 101329 939023 287916 176393 568126 652858 146320 872170 315858 385881 933235 704959 996459 468133 652684 592027 706233 735960 011714 272609 069388 780147 594853 058224 116905 941648 917819 952867 733647 575219 819830 847796 604601 958737 775352 633873 564883 692662 785558 668984 326441 249980 006943 142923 391067 093552 176116 484105 974818 545131 841519 895305 310991 705663 164598 374513 833203 438422 563442 613981 924971 339374 488551 466889 460975 613431 051005 371352 460886 096651 720880 806698 005190 327626 356145 414992 037989 920656 680323 919961 629216 975321 424991 349535 892459 253890 546057 365043 061526 561586 093979 780684 199278 989161 402791 796647 221302 275728 978036 811129 932072 205148 151573 273874 079712 791508 991226 475877 588958 959591 815912 777501 400629 231486 439788 759898 851886 821693 770094 121151 203996 039380 418703 052029 638593 641210 808418 371710 324629 215734 670785 779349 352537 215835 630718 617407 127842 862465 893114 722318 938223 237519 308759 975197 428371 198506 835905 154902 092009 247009 105623 746743 690189 764997 418150 417125 474432 787213 691793 005951 138069 787677 851511 710125 353895 433102 856761 820976 552194 518855 374794 340419 833895 313505 393913 376527 124925 900945 877838 680910 586476 659908 749864 451263 790883 771291 473212 484754 681033 481598 736085 940121 944841 122308 408338 060542 659205 644261 876867 015293 749332 411616 808071 323917 898713 881554 959306 028802 215278 643820 444698 139674 196436 564202 225394 511824 990621 181834 326108 645639 959498 081465 208418 283476 435872 767487 553409 781962 886337 478516 955227 525004 211439 152149 415676 941532 280715 345941 079927 354157 172954 961149 421968 840106 050586 884173 139713 823859 944000 681832 163037 178827 821699 898098 671252 910898 155053 457905 267923 897180 369719 509915 370247 543224 625891 374923 197960 962053 399076 812997 361600 526300 431545 203054 506371 811932 152839 250977 118107 013749 395209 809833 215584 559742 547046 172787 243017 529949 677877 686939 186740 466838 551587 485406 880492 495880 176210 461168 008196 325739 874944 116866 085168 858778 454179 295941 114602 016399 131694 372185 222872 959046 560069 206276 028497 931228 701350 930691 345758 441643 952840 372541 232926 845856 410897 649204 245678 036249 068939 639851 819648 911898 059887 861611 627620 123610 042467 711517 156182 114578 704890 970674 831497 305573 997297 031683 146309 247167 921145 181954 052068 004463 736846 468247 039875 769786 599371 160538 530667 936549 836157 260627 839432 960934 554209 140812 916083 494232 657574 809464 070159 140342 483980 290285 054929 211770 574046 199910 535102 157096 998358 892808 731032 410857 675712 982931 785807 803905 168081 243091 262634 683914 651302 862838 491700 132214 215626 717941 373358 867728 134531 596262 768037 643745 878497 760926 420047 929780 569364 461237 044961 615088 764705 947783 377652 872321 150693 830608 054518 360999 040869 241653 191859 744202 632359 440629 037873 047712 941964 159726 864377 941037 021007 954626 118118 171333 446393 303561 753803 531498 248963 301982 920276 797528 488367 598417 809517 896170 497280 663079 603500 139825 287854 143059 532358 148814 168548 981177 062162 039731 180127 636918 737454 883516 407421 296087 661951 245603 865537 804643 455259 143762 899330 734691 704025 529621 438163 464339 243994 979131 679012 026292 009241 418061 783065 646502 149680 647372 622895 243324 360448 678236 656757 553192 966306 968977 893620 668614 820541 198782 431707 454308 869072 826648 160335 763851 006000 144562 030463 991830 800341 871621 732054 620446 222672 671601 375545 583747 181301 245264 734321 650738 269838 954316 617392 525091 831798 574354 076267 961798 003428 976855 391994 125156 938405 092081 866723 361309 825618 052190 482757 912127 950662 456838 172826 623759 837722 783594 645642 818364 002765 582138 660541 256519 509237 260041 108962 339943 398192 704782 917957 954158 103623 573648 185647 045625 253076 464703 885273 956419 463277 467359 278151 642746 705184 837113 194504 458554 725060 022004 506847 713067 710152 022747 213109 063427 737693 519297 584588 251329 074981 902462 231916 435698 754866 489049 655842 854196 875905 399484 558782 840820 683355 350362 586408 234159 100444 964107 669000 602797 433845 570741 906803 107378 814272 042652 626076 892766 138572 799955 360699 575860 041182 814104 716766 005254 962169 292757 970673 611300 301839 926263 007579 479714 485375 888586 535691 062458 755897 598858 166026 963766 327808 634917 885986 169567 984644 882869 699006 787866 377973 069618 510934 529966 564859 146520 388563 318679 281093 880205 785851 859733 309290 456470 620182 558393 682098 866979 378294 493117 515589 398947 413263 465587 165090 752790 633445 410076 041731 945038 600340 139432 323725 769652 664060 134320 081064 595744 467931 620860 574743 505586 754973 897412 279735 463440 841902 298995 012877 963399 042504 098399 740463 129975 790140 027158 685728 358363 004443 607833 508244 213854 906575 912359 657830 741584 858271 124711 755666 589711 927647 240886 398135 833001 244666 540011 919281 966775 971643 613607 227759 882920 963410 082381 257189 914747 768723 305339 095104 778585 149214 125370 606532 724538 180067 443039 999552 234884 831051 236905 162618 615814 365289 500894 843516 039284 400588 842913 429593 554682 672856 584639 290143 837573 914418 451330 029373 860359 514840 345949 672653 342478 595054 353885 164043 882190 738736 144152 135071 633444 720039 315696 929730 383048 274981 998739 298091 483887 042778 714576 299231 716758 875935 967556 657374 362275 963818 244078 789769 184608 888152 785797 796577 074604 932306 955459 125720 580145 715660 451713 643313 393393 892470 603094 400563 345524 025663 506265 824948 217903 595645 539898 376283 582242 072105 035098 263777 864966 051045 995657 708308 483432 010015 367870 229897 075420 995341 708483 731208 326703 022381 373855 849363 608793 518070 282165 384487 343529 040076 298935 011651 000121 473283 864816 043339 241075 623392 730699 089941 015194 869432 826843 676770 594287 923365 937369 610746 190743 916579 979573 358318 379148 090166 766775 251893 544338 523825 727927 139266 136716 476660 119892 232065 932834 614020 923308 501703 906825 989415 641865 389247 214992 512297 786816 164263 527105 531692 988696 506937 518707 633514 387607 099384 392521 137612 509845 639934 970994 831027 913712 787921 187393 136467 577623 321720 557863 024353 772243 353266 552684 907543 721546 826144 834132 312028 745473 530021 433557 476271 990053 906575 403004 629305 671663 623991 035355 899645 554035 146014 127755 885935 953939 784726 797284 329856 393336 893976 800436 825947 859921 835750 676289 428373 283782 187884 739351 074839 531498 679975 120104 410677 964684 839131 895469 567798 425663 648936 004451 116717 842721 861476 905501 918193 752569 006543 450533 478794 429844 799352 559148 038196 537936 051328 604581 671888 403319 617648 166054 974516 638223 276199 345624 686863 978901 211903 166685 703861 109568 904600 789462 979529 707852 421233 651631 375616 522932 155197 151041 480962 575110 812664 748694 317266 428300 385006 366410 388453 021797 830563 551186 883605 687265 352307 421668 178509 436975 549181 386344 460260 308961 014054 473787 334372 481651 121520 441604 631753 825740 492909 797942 870957 007560 983102 520827 145652 568414 833584 854153 117133 083345 977960 833346 770866 915448 786477 458027 569633 553758 305561 993199 448425 367001 276759 132837 727945 269896 311537 773933 880978 787070 529194 435837 050904 497436 387622 502339 104990 797702 271309 930953 850620 032986 963004 464150 260814 445227 700401 492969 666165 790783 179351 212447 769991 855118 731756 152596 027915 748293 109126 685742 472459 439037 228538 084228 765368 745694 621379 635912 760529 293020 385232 301994 975470 717836 750136 276205 707105 429403 752128 720956 910644 635641 079518 412823 193233 522956 490729 991521 104564 830513 859145 020858 109729 362256 842863 415784 548246 856837 334028 365131 464946 592857 954655 278612 459530 475265 641070 057354 291675 289787 659584 222243 448968 274951 454464 085192 259073 358761 512427 123846 122549 800088 851690 140903 070253 407568 232075 414207 536391 575268 476214 957245 752629 527648 269472 302785 037009 013339 604422 515751 981538 546780 310781 412956 292461 749245 364798 854798 562533 589658 124702 107167 801075 691904 425083 783059 681955 817930 118759 204010 526470 482956 715091 264770 214022 677094 942946 697065 679389 134354 355872 472305 318751 048109 626251 022034 047083 474717 666395 607305 438334 105440 223257 943020 722340 616713 784442 324794 597554 179265 370051 596303 971016 377114 190434 073529 060706 489865 516700 965251 000181 048252 252830 271852 039795 885620 727063 374810 775221 987230 109475 174683 974045 854114 809682 994808 605737 184876 771347 098618 376850 299686 250607 774568 578885 155920 174213 354892 530987 721581 161259 565758 560519 174763 051589 224381 570293 436473 822369 066678 445608 367237 239668 405051 161792 668823 859869 352724 496494 544667 375706 422653 731458 849466 176911 960633 331724 790813 775107 753016 573815 567434 514722 989779 344569 506831 859690 028324 428196 737746 468021 563089 621342 839954 505212 052341 756304 568236 935315 767743 276507 032534 947850 409107 944678 400842 343511 373604 558678 767027 905550 123513 507666 255774 602964 713919 412997 994704 414672 219438 476860 415125 038770 378532 815037 363131 379811 844863 636996 795697 439144 321355 369516 735017 682797 109543 933592 288862 168440 360028 301852 746400 073183 454159 252515 346342 675878 352796 465392 620717 338512 625235 159374 127690 506813 324167 522432 487073 918632 714790 871707 048214 830471 700193 968616 056303 090337 624569 948152 284622 899196 625340 821182 794456 216421 952779 265094 964832 056102 965097 036415 177882 075302 814161 773783 666352 445571 763080 757777 085131 852345 154130 839603 986126 408063 379842 743505 076246 765835 496616 802248 824134 513538 961642 472487 433398 736053 091703 137814 358956 873650 293030 098098 542853 724774 023912 347558 638037 092698 244885 749654 819823 743654 927102 052526 636508 960611 926155 245923 364493 117441 295941 776257 559278 645012 160439 440147 110842 577348 672015 118641 018853 005274 674276 614228 419942 126895 596613 783976 731996 302892 293733 920286 037606 368945 764909 471225 530064 645408 834939 173929 448060 031738 799824 860614 727591 849281 185812 108442 639928 807116 067110 770048 037619 364277 015240 782368 395489 105198 074609 382552 590503 390813 210794 208821 372637 124234 020429 641607 042978 198944 594400 667083 685093 247141 671777 736443 006120 260351 964040 930365 836612 293588 456994 072415 616179 863631 670876 874578 520339 683812 811121 918655 560781 393754 156901 909104 511218 528943 679881 459371 299202 461394 321718 688275 590388 419385 104387 324228 320810 257403 052131 481967 431603 905128 644249 355220 334528 200671 533718 933958 334909 835751 990635 725576 868849 369993 402056 256452 969183 273419 197556 753602 313624 064276 300910 440446 894954 039707 051273 878848 449742 015427 050111 096904 603552 217846 276853 769404 599138 354361 628593 900088 186908 227164 688766 066849 114123 517785 871071 145522 537977 265906 343531 092849 922422 429067 904011 436449 484164 641987 975103 817416 161068 642807 863093 370676 331090 021719 098801 472014 855675 483289 492959 761623 284145 982774 571823 986393 635273 838821 386050 529660 561413 680212 138623 902229 388119 711214 402979 324834 879718 746743 381765 511204 815432 648580 379104 568448 236423 514042 953338 523298 634099 648468 014506 896098 826701 797207 932756 419253 347541 290273 102692 451759 963731 516033 321826 726348 731365 802188 653266 220811 154006 334703 703081 025201 378347 363310 056562 069260 451230 418471 733007 341820 874374 103369 671126 904585 847748 816804 475777 198085 644631 622848 712069 264722 592840 638984 045196 255294 244519 289688 962428 326096 300890 657656 647912 418904 308900 402421 845099 051215 348251 109508 336933 063039 381077 107787 761970 205562 994413 284139 701566 642286 053350 222703 897879 820808 030308 188997 511656 824583 691978 278462 874482 410472 095661 066955 579717 441968 400967 952575 274673 637440 531197 070787 598244 143272 028292 777497 053427 830985 468859 970583 489697 079633 630769 568426 076210 498971 164590 143301 914276 882256 765704 956017 934184 757810 737522 340658 314881 358701 761636 973740 451596 421709 266920 587224 964148 067230 833972 510764 561965 111898 712005 630379 093745 104533 787427 434251 870084 190965 456282 167083 716135 181893 116612 294532 176468 144016 920343 972408 014426 161871 080209 900766 545541 814264 286530 379963 436430 674019 877775 412885 168499 890757 799464 678887 434111 425207 356350 776245 877786 665184 780157 738717 092309 317140 206156 477374 551461 095459 600108 915699 800531 014147 225552 705016 892022 611387 963397 377259 235206 048962 965443 898922 651855 359712 811141 746991 783637 865119 472490 684668 393396 880437 713026 033315 683703 024027 496766 767163 786396 963334 174228 824651 195441 144954 829488 293585 029545 051906 101577 806130 792874 426997 575286 802824 794486 290568 630951 611052 444238 644028 518623 060762 351893 736865 363798 608416 442131 962676 342347 572654 848465 404009 170762 016434 560783 928258 210339 792492 326774 784885 379894 183012 595521 971497 872313 249353 501896 867765 985447 466546 155303 228564 493286 318767 875922 072252 670809 821955 765010 481910 041315 608233 766430 607664 157372 914463 696842 061593 200177 412726 757209 951102 514411 955009 193343 095273 427934 825114 399734 381681 511481 572708 269416 559615 671523 843446 638264 788197 798968 309981 899505 782082 507098 054860 212150 416154 619595 662801 265731 787432 242656 273514 954721 235569 968660 195178 838178 728787 833041 885990 761900 562846 865629 750579 503143 814373 443377 283757 603334 158825 931294 290123 095296 943710 238327 801963 309769 990344 031014 971695 162116 993988 243315 476982 291316 102472 775352 995387 159222 185778 912697 045504 717165 419891 276528 153838 507981 880163 211365 360609 754255 818819 858059 714501 050768 083190 393520 125572 898805 728034 508113 496825 213418 907454 435041 115611 043554 984106 442789 552909 089955 101558 417414 833382 304757 669709 739906 682443 978093 604860 446347 259021 445470 882987 472468 882486 627834 803311 200743 032692 915820 239487 976157 453261 199183 668872 744330 714746 343349 768527 235399 867198 001546 416494 751813 311332 188176 752041 631162 476048 221551 058716 248110 518224 339709 199887 498591 335275 867953 990779 426120 523355 918961 133695 921869 327247 013629 956073 151873 656111 309830 960153 140231 977212 514577 212957 113836 232909 625568 280184 072111 554384 560375 627252 693897 381783 906480 085353 340388 334299 452352 035344 266231 746151 851786 586973 262915 308111 705020 079845 313592 722428 472171 293525 625847 074183 190240 842828 568128 052842 411052 533372 158706 255770 099237 166342 892253 090244 938533 824093 264013 984549 703336 324124 534869 707810 584567 302076 197966 734373 783602 722792 274680 825320 207880 823068 411246 250189 249334 980983 423997 540592 928488 634499 807561 615969 309739 672395 771470 384281 273663 759826 211600 741704 708820 932221 687304 594170 999758 878430 693759 451910 534592 808840 835786 240104 327344 021907 726822 520055 762528 445383 068858 390648 320356 895009 006747 603299 259780 206099 830961 414952 676907 073374 563438 831861 318516 957323 580979 829282 524753 637885 138554 846250 347237 987479 996804 982782 941754 578373 873756 777157 682876 638366 246722 621504 304071 521170 333246 751053 505992 885364 639421 576308 916658 114367 184474 548239 224150 442810 565572 767558 884876 300648 753911 364118 997210 379657 889495 477124 003339 779032 864264 560870 055920 309176 119576 276730 242481 258738 423599 663699 055544 640962 986480 861481 251855 924887 876797 550812 977854 066082 991678 037516 855120 658798 901073 629676 034992 420449 171437 553237 297792 104781 562116 529807 597126 919671 483108 904190 780032 076590 671090 832278 592544 905197 037654 964639 437915 023716 813692 929882 461500 642469 580658 651214 950090 571874 486601 783986 400323 738178 802250 966111 087873 672304 327558 635850 991287 297490 743962 688829 316615 633686 255163 028104 636727 009990 677188 312715 155814 436076 672586 825425 949670 592861 445681 185973 711307 352719 361425 463770 496588 328719 866648 737981 328419 295610 558880 758804 772869 334741 656550 273285 663241 180320 112214 350137 590700 019786 457895 137648 204987 677627 655643 660998 516845 067567 207919 470360 966107 123737 843592 188401 298434 193242 917454 301903 555105 366301 557635 072908 630048 760029 499520 052539 237879 639916 872732 347003 708446 774421 262579 645471 989023 250830 148827 989244 538804 148892 878113 609938 764288 397038 118243 439071 154531 804782 631927 303085 916605 887472 307996 054189 505651 154886 069073 070273 206903 808170 201395 671316 405393 585437 650925 057138 454926 541013 645062 321652 705434 401580 164792 560860 560264 409732 874475 421465 814924 074781 616665 218378 085355 484531 430723 074592 273562 915027 207308 971382 189029 174121 257640 543116 058601 250089 350070 991163 691913 528018 273901 360366 249851 687478 616816 410530 141595 402744 050197 509843 847433 471692 285473 557155 513734 970550 751380 395947 294163 805675 507780 849209 208945 685696 174666 281100 317022 937665 337175 924424 762979 404226 025556 690520 773766 693435 488135 733680 198462 410438 887554 179585 132028 982718 182217 603478 398115 580226 334557 207125 500459 859523 763537 482333 244525 734654 744645 799827 529103 132899 089372 799356 552520 188724 055899 789814 551086 243101 973695 961151 274175 362413 436237 853308 878166 844273 267066 928775 269412 412549 172171 189718 794135 994754 224578 694190 813182 147606 889332 003929 826017 521287 698088 033149 248369 639912 448262 670270 142939 103021 584874 488427 532359 781201 626244 529544 354713 554235 382419 976947 496503 061628 006579 390924 905440 227703 101611 954435 228755 356009 603491 936981 103828 577123 555969 543922 851227 537133 553774 957638 776883 827371 615266 937720 672450 791037 774793 216640 168358 866927 388048 522285 516513 679629 265356 447003 878115 490787 730762 140255 189351 626280 697785 345125 166946 088934 482367 247061 640989 646780 441053 388546 027906 036597 237849 102968 288368 701406 936434 997364 617519 873567 697168 221897 238381 701637 489529 691843 805259 755975 365887 454059 677142 566919 051937 012340 901780 326556 203394 330790 127555 267397 629624 235252 591409 311396 872186 518863 134095 781164 900439 585625 086377 148270 874510 365695 284605 397178 395384 781702 004960 159043 511230 598249 932048 194303 926202 243897 196604 817408 / 4523 > 25613620 [i]
- extracting embedded OOA [i] would yield OA(25613620, 13622, S256, 13568), 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.