Information on Result #1872991
There is no (49, m, 12851)-net in base 256 with unbounded m, because logical equivalence would yield (49, m, 12851)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (49, 12849, 12851)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25612849, 12851, S256, 12800), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 7648 112318 473348 386022 026100 563250 364386 525470 658492 264952 036017 209518 898272 126253 047730 667426 091340 294886 168130 883537 783790 265234 611816 587172 409900 931168 651192 724801 954756 319212 764536 249913 550847 211270 963945 711484 864855 038571 881564 949283 714668 157301 499891 873347 438889 651026 284351 877815 732772 216426 525562 122444 048101 714865 348007 413901 055826 873717 262576 196940 756555 787293 289956 818457 435318 351755 927472 998762 520340 662496 070733 381425 201298 836155 887305 829567 438877 985854 004084 216661 970281 520759 145861 898949 241431 662099 160704 475379 378352 937083 203316 001808 813849 540338 242904 499066 944873 928360 721431 694044 781571 099413 641097 002193 546467 734823 188286 681319 734628 860156 194119 569944 859882 019039 492632 397837 508392 122133 259639 002979 747640 145393 352430 043407 503830 617407 514145 267643 360284 163824 758342 064632 224301 208277 799886 788096 097860 817609 581060 234929 723716 076764 359891 016928 602760 129106 253251 879510 997111 152656 141734 180936 285802 014703 388104 102006 967651 952350 186827 551833 455537 579408 502700 853673 270280 274444 772960 672759 771482 036241 589291 351851 077658 218459 675440 289742 729380 119164 742938 206596 310886 578988 750890 105209 247717 891901 147940 338183 539012 741365 591356 271403 372825 610818 915292 354008 897451 930821 627912 571746 227063 695169 371952 123665 502982 027644 023663 937411 656501 227179 496838 414975 652651 299664 790249 351648 092054 184187 074068 100638 431252 467802 856858 022824 002813 022683 635777 342913 232763 781566 549332 332867 371466 736878 823412 918486 950417 755039 930906 141217 494329 595536 591722 107271 226889 156011 347081 118199 955951 445566 336142 122180 153100 865534 162740 493208 169037 549680 764697 095681 996403 567613 399886 825825 599707 009684 711496 558420 100961 965431 503957 702424 736551 523832 803797 112734 814432 973089 551756 009388 780875 463208 027539 265434 062761 789400 686558 020130 478943 065495 883054 409005 953384 518540 917176 690856 726752 252207 352636 084799 083521 835811 145656 654445 832100 718497 598657 327324 740065 409647 982526 374544 488340 345424 378520 065472 742638 699916 767988 203555 388383 953589 518253 280964 801116 195701 857138 100425 551365 536964 940014 168869 406544 219132 509180 303785 735041 108681 957595 258102 557199 285963 124354 174382 585622 787645 102498 859902 936246 759992 550610 420467 810527 923592 404138 329292 462495 681991 753966 276789 476053 602479 482837 963019 606695 289145 852452 914668 493500 847010 261291 642074 143934 622536 759639 379582 074951 198488 653303 390527 750068 407938 362701 414326 313983 377402 084969 162066 741310 643506 217191 911606 318913 777868 887708 617411 239865 394156 247229 148410 456460 436858 320409 513706 292298 639702 735337 478569 451641 299098 341989 798267 914655 594465 204343 917049 143666 875513 035242 013227 382356 019588 825864 273114 669115 931820 084536 717195 239042 549521 538333 922545 091325 467491 349931 245264 083859 826477 472199 524451 960610 845480 429339 518274 144656 942358 055803 720576 124240 218843 144146 779202 074513 946732 349490 519559 806485 656671 491974 506245 994997 712401 891126 409607 099417 625902 246946 411838 665832 155096 644705 002910 603868 428755 392834 762010 775212 693031 688138 629212 211130 109259 815762 433554 766160 112425 680044 600422 637418 685068 844346 997929 006052 552656 587160 845951 169896 925750 689022 354097 640777 706763 758267 484994 831051 365090 423708 430516 896599 874062 053501 300234 926513 163133 460900 943865 557091 266327 039242 248994 262816 142183 113450 722824 546584 614964 316705 611116 880950 126027 330883 246989 403743 809913 873464 404791 022757 413484 488856 740066 725051 945818 748037 360953 328165 916834 359050 265353 003904 347897 915584 000476 063877 952326 399357 675007 441441 058500 760348 137676 556604 543908 913935 562561 515952 245640 197250 968758 185508 786788 477242 365326 390083 755476 447044 213450 417947 438403 695673 307244 430582 780909 229208 579527 305143 327859 247464 848665 593884 008615 338454 515477 693883 728116 587034 965681 203471 099645 725185 451944 077350 211624 096963 322613 021680 706472 029056 443989 133961 199281 638164 583881 515143 495484 079969 283998 984190 845654 591644 652022 313301 363512 113637 308495 471005 112087 841424 478267 945649 907343 163931 776657 027153 024308 203583 614571 041555 173724 201435 677173 282512 579071 311145 099557 971565 556140 924625 436438 477607 219756 846691 112548 059676 185588 305269 582745 508059 288580 391943 921155 021726 461741 256315 137065 491466 364247 211000 993066 158752 159255 345812 993678 765238 660200 853255 915662 284947 159214 780243 180512 375235 329784 320062 899184 845228 193517 207362 140652 849099 762729 408794 145842 490539 227369 297810 869440 827077 990641 613142 456275 024937 664050 126726 982846 387989 679085 149276 660015 430448 093290 174671 703233 180594 885526 144049 527022 068407 940933 284039 094263 066317 319069 826866 867410 522752 579639 361808 424984 222038 085516 458836 798371 887025 742554 565150 698260 823744 684838 409753 261803 343013 793909 530118 590829 453401 276324 144407 130885 274210 290288 554083 750510 531952 841803 541935 285636 735484 701091 651146 122204 329929 219894 498799 713085 986208 026112 069971 560335 547002 084688 608072 908732 847117 889376 372073 444341 741734 171512 398783 938189 661776 503965 986990 443342 432674 908317 763492 032196 731553 057124 753887 920467 564143 344831 638191 055870 084128 957524 556314 210047 546524 199630 802977 877195 525087 309932 312063 066237 808268 375098 846867 366436 840513 083808 774362 271905 663987 544738 015663 654101 609237 917440 779335 281905 768086 896282 490174 890731 480684 069232 217487 970324 648752 014319 111453 775817 744332 005211 035907 863964 273171 706380 555515 730428 680751 450643 714001 204912 497897 663857 090337 335652 789760 933109 395894 627004 808532 527806 905438 682588 636635 724351 405964 627210 340059 321050 338897 366735 904201 024898 607893 835324 567449 015745 165470 034936 281419 770186 913256 570214 305050 194382 147030 869503 096770 893282 536635 183359 726043 892481 026257 183305 932224 737822 084905 439037 245798 306614 042086 606106 739054 344996 370618 838850 389780 692314 196560 692802 798352 839325 857623 081401 262850 037589 355288 343487 143341 952256 759784 195750 534734 006120 995215 589923 108567 786183 140708 980536 301374 092473 562054 592278 192896 714171 252341 215760 158743 397782 251447 166078 789876 707666 263995 340321 624270 561405 242493 815295 893591 024121 380149 398274 017330 616075 837512 103215 716773 783058 405027 640053 419924 713938 852208 843914 974948 018127 948682 388349 874729 371154 280543 253856 367739 685304 279434 586848 101946 544870 464478 569932 239814 876285 598379 020150 968774 823164 907006 304263 496828 077617 087698 939370 065013 837585 045879 644441 028804 246961 288041 216729 720449 714856 313187 548639 626046 558495 814113 372059 796385 840229 721465 428430 743780 362016 345344 909427 980832 233259 703687 513173 429506 744373 680476 442397 642538 147206 930466 215472 196021 877091 464256 890221 280198 954268 169286 026950 733170 574696 992637 968800 310120 972408 712415 453005 934009 759109 714911 798016 173891 562319 185588 310646 201351 187315 278748 655328 570569 633344 217414 106443 184922 906206 580797 499427 849986 516013 728605 213031 966604 252128 939087 982047 339299 288703 769232 951257 745925 604025 275098 140337 996494 579892 161940 417968 533339 315263 534498 836392 681964 446815 647403 039950 379210 175227 608427 119375 565948 474819 497716 161338 469958 587643 449982 884079 297619 908133 773535 402194 894386 610411 282250 249580 214487 558490 188619 528741 062738 407004 443186 301694 079219 075444 310558 733361 766157 593181 122306 051227 027318 472526 253622 394907 147076 913886 740982 455978 001538 707554 929575 184323 792335 933601 074906 120831 350713 738953 505397 690836 527577 617917 369403 245044 728099 611742 570129 805118 545398 983455 736293 551958 401497 688507 616049 517394 343744 479811 000279 655815 538634 680972 787001 701671 018362 769678 822759 644960 603164 514693 495592 997635 812846 411619 261673 783427 249637 198907 901611 714503 717983 865826 647488 030150 672610 845160 831612 254625 933747 132079 918676 857635 962223 112994 433936 825359 142396 070520 468063 103005 605191 322114 725211 775410 474641 988402 882786 425713 403358 345512 665795 810626 033760 500603 917412 278214 078004 948722 880328 309582 673980 159866 970401 013960 895610 729385 925152 216003 270870 469136 102179 805554 702897 007653 413493 332748 192956 102045 056924 717249 622271 584802 652245 750175 881565 649512 918969 619732 435518 357982 071825 854745 040408 834761 649970 493371 080507 207557 827984 377369 138663 894132 400346 395500 483863 077903 702520 234462 240450 128170 360370 868964 246202 530926 890031 094363 511462 458711 872547 713260 442328 339572 085773 691568 913907 651654 333173 947531 110190 410275 781675 739681 897181 010331 308168 758886 379472 033447 501779 075895 445074 092735 704060 859211 314170 264437 090372 007787 021887 756887 846773 797951 964334 775326 734756 170519 353054 992796 560767 132556 815557 704629 325020 929898 513947 896853 772414 776503 351387 643182 229055 913490 308742 887690 436843 831650 538898 263434 376583 027606 368414 126878 932134 338332 815972 350365 102764 462543 140945 112565 170278 157929 067293 145779 829008 179571 298147 553659 390427 164973 616091 818766 946076 491378 797987 963914 357181 557452 226015 275679 611695 558689 195323 875449 151306 084466 141978 514814 944199 165920 155407 772056 252327 133635 054096 889634 921137 145817 965394 793202 911055 689553 881832 257251 282917 000857 384100 857074 588135 565309 874728 872667 979458 620304 755208 928918 391871 677532 004733 026561 678886 482757 336815 711903 493158 312112 610951 322275 305356 788625 468955 113983 924879 525791 298321 352146 051427 368632 817394 716814 267994 517835 413284 928307 196344 650305 611932 945150 897261 880036 772916 381544 179762 285378 107113 500735 461944 704241 090665 317765 199740 195212 789779 676356 287123 380519 470070 583000 647199 589200 379365 340131 154203 703704 308617 658675 773792 184655 418499 260835 815434 670385 579476 019546 374371 740366 452004 654019 085742 957931 575668 170773 452795 427543 537401 039213 481065 920498 404559 867521 036931 667124 868232 514843 061159 568226 541664 232923 440290 413215 684720 290096 659761 533848 357638 091073 900957 367986 911808 010724 844811 397652 070311 591953 448987 760031 335862 571813 585727 514129 675298 587094 331612 861758 643005 633005 350925 878011 336681 173845 828227 649114 555785 505205 858325 971329 539503 302806 872937 853558 062740 143286 432048 015972 883123 438999 410765 060469 391217 002201 154970 990999 566589 945672 136747 205833 051202 943832 135184 506291 989135 873686 949973 163243 468663 690741 805034 337590 192394 853823 700795 337308 107340 870705 989271 862956 805086 019339 914290 587009 548389 178690 894350 124503 382634 648610 223586 656452 846777 766431 103555 785627 644595 394598 479928 878210 664792 823823 521635 677140 183002 150276 920561 859879 523166 935667 724820 884854 512422 000419 355881 549095 111521 689495 074740 840602 683145 999434 814694 975627 320364 362806 675263 941363 550282 471603 184560 675688 444622 277235 733895 349043 645676 331296 640683 788937 811314 666019 494216 271521 705123 433698 419162 102646 077154 445191 659157 643712 352071 978627 679975 351759 258991 922917 919253 383423 513876 426321 417671 423741 678902 916074 866882 516307 300682 828820 643713 682930 454015 157705 735656 993738 773092 775340 865190 711562 184916 761760 333724 165433 137912 558236 833336 250038 402164 414871 681732 822136 510015 826475 272838 995569 652331 285492 332577 666895 166740 852414 575800 599965 771999 530777 526307 097672 683374 679080 479827 141856 392203 212886 468649 443946 389159 332261 725406 301304 531305 405418 851167 772275 923778 865264 520398 791848 611091 752885 720478 523603 936065 045377 888478 815352 678349 865195 442331 344214 955677 032911 960334 791677 964114 873134 217946 332888 765429 634121 814884 150974 867011 106334 480301 483705 956394 719647 802729 464391 036042 181873 186536 599874 147953 806646 882010 672877 010083 883847 424460 720544 549931 536232 065001 357472 180902 458885 549487 240311 978008 501267 109203 983017 627586 624020 004928 674951 852875 923191 454249 157863 152153 667099 760560 129746 653775 605510 905951 770698 697339 176452 455165 854208 556415 594219 351900 045329 903521 648298 834834 084890 296419 868844 907062 302633 753683 900431 443908 055236 404285 538758 432694 597406 867106 099680 562054 529093 175603 126302 581751 296215 189585 024505 974591 603761 476405 089084 677113 595459 423067 869200 451174 228718 081875 637372 021659 886864 591134 543702 752669 100705 221324 659197 871655 676030 197650 754981 888735 744965 492722 048935 137112 935538 695030 505110 538507 693595 709412 072829 008070 415920 682527 862942 167534 780269 617881 985538 496840 382958 329510 462390 953848 871207 698798 483608 853153 743422 001105 067108 534576 292787 831208 825694 824952 390941 008650 557871 629503 599622 044318 457212 298567 421215 693449 573883 212563 838580 703995 861108 168800 382036 454289 362886 296583 144860 857901 344999 652977 434295 885699 126269 846997 558576 878883 767889 237617 737310 237216 305767 588023 881746 414777 274713 897021 789628 946122 474266 146257 680656 694101 729965 470659 849066 979672 153586 195475 557687 499435 491981 119494 741172 684212 676607 288009 731005 939087 590367 074115 237229 676402 393266 691307 016795 217503 151235 724375 178590 508962 823632 378950 533300 261799 891900 476695 610140 243235 324096 259385 153516 430715 609161 902911 794663 025075 161366 568222 163490 829558 986378 317923 321773 155888 588565 549617 086320 469537 764193 077722 461192 072728 402896 351012 248116 404519 656632 436091 664259 865064 305984 520803 840053 031493 011453 029556 902574 665206 063437 099503 999661 483405 821424 839129 334639 368932 444423 817519 524509 531209 333932 052695 964114 676844 409065 574887 159886 984312 808180 181469 817198 717718 718373 759632 354405 929839 214950 398771 808292 989080 436622 900021 869656 717618 455687 794524 032265 052665 369186 541579 383459 015511 879630 000900 559222 263097 482679 312670 054123 792900 844583 749807 454585 382386 800795 542192 793600 694397 872355 717654 668666 263820 740838 902285 149356 058419 910741 501562 514406 945356 926491 972568 617508 699109 980559 294147 346871 412914 684352 558298 311616 819476 759992 042059 467143 463773 043504 843446 779607 364995 045927 629953 660614 984122 609989 398533 080548 923647 913812 478834 450979 466474 324566 169103 389296 543426 089345 886005 710601 225914 916909 522923 734007 572863 106844 173288 742947 553614 613336 900439 547950 863037 761454 131209 905628 133638 989110 019907 841026 839875 759861 243409 712689 580498 457459 152194 430771 933889 478003 669751 523768 107701 573557 696309 303387 449404 577951 373877 868069 017955 538146 257571 601167 699086 914940 067766 834962 258482 410647 791626 020052 328995 377712 804338 912639 123781 261367 279802 513826 536017 285314 493765 451925 487575 200607 308754 136633 577223 528533 397647 659497 258253 746672 017381 052185 804895 704395 688209 351513 412134 696612 101623 075118 897428 095545 030678 996932 062743 110242 600497 699389 171305 156546 743196 134732 111342 171910 517704 606609 509608 541439 618139 675794 418546 466254 087409 239794 604656 764997 326589 096455 055771 026273 827821 707290 542570 038597 454641 371686 930964 159788 445514 680544 920501 054152 744629 239498 161798 724470 585905 082169 308863 827745 054088 479713 767087 488508 657939 384896 054801 675458 091769 974905 552336 359448 994344 585740 251314 348167 765987 587068 240166 410521 178763 783925 221469 094786 403500 566733 431984 158159 901080 246083 452149 371203 358306 511928 323830 517870 741771 069823 652066 211889 052873 282287 610087 233330 088480 117976 013278 816578 776709 125177 585526 315995 371726 314332 455223 015841 683037 910633 416980 896680 935426 403184 963767 068827 951448 071145 865069 139377 872374 508936 619790 550651 395439 282066 636219 258443 746028 048284 278649 084746 788339 076279 627636 688653 155169 396988 745807 987048 433117 246873 797330 344685 885470 626751 261713 782475 152692 622242 953854 036697 228150 447245 770173 073145 870764 211497 436493 505612 251209 671349 190226 862424 343808 114576 787378 379682 455920 823783 491429 013654 739736 288411 975518 050396 469036 088972 912176 641739 286414 650047 295102 730204 370203 990788 993650 710908 446097 684440 285439 098910 006490 920459 405885 380865 170024 779739 137990 822464 250783 688804 719088 878159 971813 213162 796342 181514 635312 184958 202621 621906 150990 283961 404888 529482 523964 261756 100328 865975 511920 084890 014852 518207 768623 945718 193184 338110 758485 273582 206397 548698 708142 295531 595679 689026 381775 520167 597794 462664 576308 098257 744024 534209 555338 726963 152000 901468 547477 540533 725703 334117 894382 808369 156684 095907 471818 442195 439013 897450 799935 686463 975988 880297 652507 448538 280760 843305 226198 444823 410266 357079 609258 133894 144933 450305 750304 865962 782817 823035 877656 972045 591715 578903 709453 485327 263040 866462 080418 177103 966311 758704 615595 825201 744279 622402 290368 634979 459784 351098 859514 971453 914682 684371 972335 384648 838048 822220 817304 705858 096729 122201 889463 143591 550889 756501 161651 019231 404921 169937 639051 326301 880402 631825 318558 202900 187773 398439 478991 167304 051132 072714 195728 036329 323433 862479 162954 938432 185355 583656 047643 945399 781208 337065 908047 878808 104794 832803 473773 060181 025414 825874 457876 823541 859601 311099 689110 836675 349672 317886 785810 038885 649000 932043 195527 076060 809102 126626 191173 050492 570562 894619 221430 266240 198340 419384 581433 006149 751851 395457 119235 296380 409884 842038 983080 233026 647976 113884 501665 453779 036184 103709 730529 819692 749357 748386 684511 516147 781160 639045 770803 295566 819938 483129 127041 146029 896823 438067 098993 357785 078323 465007 227940 252007 748063 851094 346819 132286 975951 633765 214130 687253 403300 714079 972252 478362 598740 591572 744825 274284 576116 497431 416454 365953 346357 858704 685930 680495 774542 074198 966244 200860 547039 243542 838184 872295 013813 530781 955369 538277 394865 045240 770468 548195 311022 141535 703805 375647 898476 023799 242122 245952 164116 040954 309586 168181 277315 381595 529644 976108 765708 096112 179129 142552 817868 524077 035859 439111 536581 236272 302242 573105 609418 058688 128900 804004 986518 039014 142086 664959 719858 775004 992213 440568 122100 445588 763116 741572 501026 241352 152935 503921 609832 424948 914393 482069 884032 461933 452136 794870 298047 818988 256995 468641 031542 370666 145025 884938 707414 695021 051341 786538 770308 593340 901088 229162 290375 889614 125437 562068 458111 133729 708590 547577 483548 623413 593658 251657 306955 700193 044850 435607 089793 335339 356874 579808 997572 242702 565139 539535 701164 605348 198337 656513 159973 813709 700022 185691 313314 894112 228305 411512 437844 810946 685518 847831 965400 028678 253715 041152 686367 044362 579883 198036 879713 226672 807112 963679 449646 608216 876099 664810 924850 488011 455151 038181 237964 842590 554894 695272 146138 044487 199061 254349 365326 355371 024153 410590 177696 335215 210964 952498 282151 514141 668761 672725 720352 267105 198525 648584 300336 960287 199264 418612 491376 607220 787030 337821 745336 171349 890436 581767 135236 128165 142239 470456 895395 838010 435964 946714 522296 820747 145636 206130 386717 193991 487991 925474 229660 207331 035419 689348 573254 408481 110950 046487 812165 506229 195004 051835 520435 062040 065433 775713 111602 185235 135408 911762 336249 074361 917458 299606 151131 708454 309589 014069 405473 813588 854224 513670 874277 607743 616516 511859 804224 392226 315663 669110 805105 308474 692856 570603 179070 861455 596812 768361 945399 656423 190653 021945 764496 510924 693249 536227 759599 295694 833450 985311 597014 794560 042705 122779 114864 337673 300681 514604 694608 374843 811844 918042 529786 307554 744073 915859 733109 278899 767665 206553 184334 360638 646144 245357 598644 481768 920942 279829 752118 750416 623343 999854 127406 100413 578373 220055 727456 060841 880043 715739 223764 689899 710623 651362 989265 555141 010102 288016 753373 287781 209736 482837 055012 080776 379884 144241 632043 475111 900264 331947 128859 929607 141595 381579 313348 421469 814043 512065 467156 697264 869993 395827 014668 572552 511819 208303 391981 749950 713177 087931 841008 529718 807595 633546 793186 328801 981693 633233 594863 931710 089571 978540 529396 609959 485478 965395 375788 486353 468442 862061 850401 177938 230140 022269 766699 430675 374383 206439 768621 951698 180369 265625 683550 816746 649880 479716 772313 540175 585076 891490 477347 368566 616230 122298 020258 906490 531166 285512 374490 919706 196402 255665 294105 796131 403338 464989 094303 881624 972750 122194 147363 974232 852798 834049 055103 475321 399112 241691 816707 686016 075357 679510 710095 564944 371430 510176 575674 920879 576687 444924 310161 764560 314682 762485 036109 145241 676847 593755 337665 597221 555008 008623 206610 043965 685356 099939 377606 529191 536220 150838 883274 106199 088707 398775 403045 543505 863246 934940 258816 591706 363001 117600 841955 231820 906581 569521 895795 022361 128851 829279 775101 863102 288595 584097 544361 832037 049807 499238 588651 405215 053660 981648 105214 066703 688482 098188 968266 762767 604049 749097 796890 653451 225667 342207 199538 170329 296010 041548 340597 226122 711601 812118 795634 316563 793963 898940 226858 507232 237178 054946 026556 072765 566595 749765 671950 301766 326475 561714 096692 423917 449982 770186 156996 619058 984855 019815 825103 539243 098433 938556 444555 034420 612208 141056 231570 581700 687176 170249 274606 333345 542319 251014 784616 497201 130065 969736 193204 235537 943396 459150 624102 284047 073165 274333 316801 601926 075103 471872 508894 454909 103386 343402 076120 420826 140551 407327 644492 149597 112869 502226 266616 929580 709602 859975 479616 302913 264630 291902 102825 149535 709512 875357 055860 504279 435796 532219 957121 218340 692909 382829 957827 792654 053867 745079 231049 299697 605706 182160 964772 665293 932342 750924 220240 709684 821652 108905 610959 047600 032501 335993 118308 024984 036717 701003 733172 198252 202690 505303 990807 572295 591199 492267 468910 736510 561900 244261 353079 313030 756678 329821 747197 408302 112420 161893 932015 506738 806464 277138 791270 834689 717103 770645 457659 685964 508111 476780 823255 068355 094370 791274 111378 067290 703113 304190 301328 651558 859533 894246 984478 879531 375739 013060 700391 977496 461149 882694 531286 115135 157692 113934 575992 620188 970255 116686 215528 498119 517997 442158 211712 806889 761568 711842 077267 656732 017564 945818 641420 063685 092445 485745 643824 995839 993386 889192 710324 204517 886156 240387 830409 281505 162890 409065 503183 316288 786550 797424 509130 829393 604404 417392 952416 079091 667481 996767 126769 505816 705404 477836 665228 529726 004923 045204 773466 910035 561790 578902 950233 573537 308870 680842 415911 696387 919098 676811 676565 830587 788353 018526 997101 006439 351616 062288 120907 719863 933324 038924 627789 826212 623249 787160 082084 378530 627837 848601 017672 848195 200956 352875 967778 564590 681988 381244 130443 424957 870089 612477 918016 573996 124225 972747 928483 145854 004524 589159 636107 101156 330751 813566 744572 265842 531784 207265 408397 383211 969427 442571 008719 995575 222499 814877 699600 291166 764507 535371 788319 178317 960852 323888 919692 129878 490105 840473 734518 347539 454193 173831 133364 177606 688207 126691 178326 060245 722421 790651 361187 057884 334321 718694 409986 859897 718091 223995 549238 977546 426942 791074 544133 405233 742355 688407 518053 282843 230422 634264 654089 207826 284003 079632 903504 325135 461281 053746 827879 193472 558528 742608 509971 204395 013319 751617 433070 066027 269552 287960 895456 014546 013887 592405 470089 989516 005654 613682 793250 877304 791291 449095 583238 531380 196094 234924 944874 663900 570941 088645 055874 823262 829659 850843 872015 711895 765487 882611 545773 095417 867693 003004 229710 050013 461192 149726 358244 607632 530310 725051 854046 961208 029349 962918 545886 411905 587508 163680 197220 828631 863616 082522 677454 756266 009668 982523 997952 271784 585090 562892 600372 411498 512969 191434 278189 191752 883466 948722 461619 668556 427628 602279 787607 366817 186268 606746 514404 291778 572840 294774 438607 907903 200311 963364 977756 705825 391482 969513 835543 974537 365779 051316 133121 934118 201661 121349 944121 434104 251456 945185 336468 696773 889569 414710 364880 987678 747069 215464 184293 906095 669290 745931 411363 780488 494952 697521 044309 778028 174141 488305 544129 644119 537011 956178 379189 961246 177886 951662 721576 587150 041767 350989 311728 889459 081798 032254 606872 149603 444044 935791 383866 460106 477390 734134 350665 434526 523253 945812 643027 910744 837705 867728 168446 709819 375658 195635 966048 879238 463640 664026 523953 538767 116385 665487 683242 318305 842613 668625 141724 719391 814551 142784 872247 228471 125144 941169 108294 860708 029647 194982 692899 754258 749524 654428 616815 319368 872451 742246 272880 943318 047297 942124 539985 566017 024799 330449 843198 964976 568379 762927 233089 968935 853120 622660 143429 718802 801725 767601 661376 073962 492077 106779 909460 325206 408042 482268 001030 996578 677720 121264 759252 163991 047674 361904 469771 937638 256731 902191 275943 407015 761004 876849 981403 490446 456033 345054 238093 917165 675534 125430 802529 322143 661191 616618 769024 254025 585909 772137 923375 434837 016480 655493 049394 948215 887551 714010 789228 447051 869888 219041 070223 754943 294061 255492 610102 571774 307433 601800 275655 714200 748085 748951 229787 050279 588308 656867 601736 125258 661567 262875 821138 060992 841243 605726 901087 205187 521530 124729 945036 917347 971711 318917 025307 358796 477074 071708 600548 102175 265375 830510 523179 119165 173548 102575 479722 085057 715690 671329 665505 430050 116109 162146 121423 386057 668616 286821 570853 030813 215607 193503 384347 485856 829947 690864 233801 185087 846769 370979 849075 855716 520581 751985 831838 948803 108239 336486 276592 609903 697759 621928 990668 747938 700769 545977 562654 307284 223885 148110 801647 698541 584179 878781 709363 692046 711622 373330 237884 015166 716555 185874 796019 305601 754318 990250 480731 937772 613688 605052 379873 808337 196781 610675 177453 443354 226375 114859 788304 852821 623507 346156 394847 331288 216300 137325 937003 792654 393044 365045 868692 504796 539100 190877 803321 553611 847166 349722 004502 312876 970118 460300 594138 674042 536587 840667 662830 149131 652336 091803 786205 679910 691027 400419 039543 802841 414600 397081 482005 644648 517311 286276 001545 745121 455920 491764 137932 763603 321384 459574 596681 856745 018516 214911 496962 926000 136686 568830 526847 495593 435555 808146 562522 233180 724920 632029 156335 862305 275739 040628 162324 910877 212497 346637 547787 626817 317366 554055 033757 021898 959037 361492 886850 327726 227801 862883 253101 124356 646116 636968 568683 494636 965967 431109 103360 873720 954742 621144 708165 787078 348369 526197 422004 049898 492906 143270 030950 396823 508400 451152 116437 815120 284309 208544 553313 288201 099587 037485 264234 234310 997679 427657 165610 995105 688386 712419 655743 437056 139291 181170 607822 910571 038640 263613 681432 264331 293229 510847 253659 197587 430709 924528 032422 870007 787014 642663 640214 769270 317041 575280 094007 010460 848685 914928 560708 864859 390881 985962 934828 115208 804784 227328 760722 215483 358349 249078 432548 297700 611879 313865 589892 388114 754756 570946 090951 866295 434623 084022 499330 036457 878134 475216 774160 847256 824327 856880 740526 721994 812172 786330 715002 116810 496006 313363 046640 660020 788061 336033 238430 012820 090523 159247 558365 644065 124007 613197 935573 739157 163630 268437 032512 948055 868269 096679 394588 725538 912069 904309 880601 568153 697259 657704 675659 099971 805247 388729 303451 586599 871613 428221 960469 556038 914017 527547 825399 440336 147657 212418 063784 478923 315765 967773 319673 179500 699075 004663 174942 318917 484199 773030 010822 117472 369082 090325 318339 459688 964997 840984 732968 921621 223648 078348 548155 576889 961516 065994 705153 044857 107582 809719 281867 327731 343843 930496 944243 505213 090564 211298 072847 750575 210685 702531 380224 995584 459573 960480 223764 096270 449765 567443 770720 047714 933583 481574 863914 797237 964767 610767 811037 657944 559000 700828 980439 128652 263983 837361 013251 848888 819151 258535 061395 151210 343357 309659 055042 022020 982987 018394 477760 321270 512732 350336 568131 780063 375859 023456 459502 606779 007334 549628 624416 242951 606711 951369 368782 584003 459373 211736 188121 118479 312380 103337 757963 125615 990138 589643 676299 764119 189487 056382 821811 081907 464516 707699 586521 267398 767509 482668 830100 829234 960699 587855 028516 264202 077796 783006 652347 796613 655396 771518 613843 661826 408479 043928 077929 813965 071895 512028 030814 338169 618951 197910 377894 354756 613342 905835 548354 090055 888465 388001 270811 396813 506475 524797 976279 752363 977364 474029 225532 636220 165671 751136 567326 232607 456880 950078 249658 126804 080390 335814 748558 431760 558217 448732 959529 497197 061269 418484 524732 181336 263117 155511 885859 811226 855268 793834 448877 810365 415240 949192 079091 067971 822302 095848 764806 000200 043414 661906 060608 468503 982547 960800 653650 021631 232221 611334 996919 232758 647096 002366 839655 789350 889638 666752 576045 651946 441239 904277 792951 331928 892770 365877 936049 659757 298001 168661 413381 140452 508868 311586 384315 337442 452633 090071 010909 073108 756821 913430 204500 884186 210084 924024 765152 612887 379302 667320 835669 551840 348342 581998 220906 227988 318237 468174 659936 722652 171349 685981 832054 955603 333805 061869 810315 528109 099342 523838 886311 593310 782640 373405 675252 671159 147185 499067 457487 862993 516514 317891 407831 750083 464229 479396 247752 202496 118467 439105 269156 336373 089534 956858 460484 128239 377786 920228 232233 773715 523683 433185 644469 254795 692406 757210 047781 509505 636224 097736 524396 490751 735794 177631 744108 969204 083699 972923 408530 746307 894136 453589 198241 774997 545015 093491 463782 736826 844809 801466 165858 932772 282049 414946 446248 239266 613770 909635 591113 098166 276838 190179 710069 505351 030811 705679 138012 566923 765627 510470 445150 109713 245847 198887 419755 486193 146100 041019 813662 413260 571162 480601 601199 546849 596942 127471 097437 710480 791624 693225 943376 148467 199259 648898 944852 900156 719773 250517 380878 575630 025469 213727 271623 565729 490671 281653 438686 873673 961175 450287 349059 466787 362542 780939 916467 312569 135788 616364 316454 661379 626373 713245 271306 760771 718993 644635 520883 478800 761131 634909 297313 322687 576380 015520 870276 161119 502883 763963 561164 896326 028156 643493 869121 524047 432704 762824 113561 543796 601799 348148 719393 739146 991035 340719 035286 704054 043259 238246 909326 357622 131134 948707 202217 304577 247171 028308 488371 168865 916222 605265 938785 013940 194451 505552 158072 477998 244511 922550 880369 296949 434733 316553 583634 228596 591965 938672 416820 615338 241534 724750 653685 204871 041593 453312 491446 094715 861047 285442 695839 277851 145401 190886 118180 266463 647173 381306 205601 933056 862968 835664 538232 796167 274287 690217 813716 306388 107047 370547 973702 089185 221217 320458 610734 800628 467908 028160 068037 470732 117745 232757 083973 370033 720029 656541 364717 217783 814346 536389 063007 754425 817516 871268 989330 248984 319562 269355 898499 970920 379826 691287 557607 744406 603742 959883 978514 403576 819140 174228 506126 185135 457854 495149 541085 885832 985375 642048 724440 879599 274785 984614 298029 380755 416059 177453 727531 278447 309313 183304 727327 807258 504998 807328 526622 731904 071367 035587 627246 103019 116626 877732 930579 947603 982064 755057 760417 583687 875896 220237 671759 858916 917338 308030 204119 317107 497768 819734 845650 243836 327742 366543 944461 744437 375771 265057 585702 105018 167492 837003 453238 042859 446229 480822 156000 706289 173632 189493 409679 760497 051726 104344 780614 721093 220585 530436 133610 089275 316416 181142 625988 584258 741162 148260 334159 015738 454572 329797 610325 493989 088720 786290 358575 171395 683179 532846 493121 609733 684815 346802 929157 024407 682108 829779 641208 508102 849444 709416 938560 984871 556558 491456 939418 095902 128747 004275 106447 769253 378037 133937 096370 580338 281212 651844 789418 976719 559937 301660 394379 348606 184036 452950 275489 411657 361553 116524 068996 789497 689377 439422 320017 207868 430412 367270 929318 682952 782267 709634 000691 544495 837990 490752 677934 640739 099985 896297 684522 490961 827693 023221 645215 608555 355780 165907 604316 644010 543377 184954 614138 938448 511333 099264 348493 514872 470541 594201 342010 211634 755793 630735 965292 244578 270627 963892 699320 861837 924592 826825 884228 904419 130198 876900 034631 758244 680938 258170 745135 337499 474372 233432 458412 629982 211627 399603 332578 673645 739840 943523 618454 529274 674725 604362 787909 611081 485573 424791 297509 862455 562647 306736 243541 095308 324309 451584 264715 457881 316117 161157 210969 372488 220216 504584 768872 896355 868955 753142 410458 093076 944842 955989 011775 789344 685252 661924 797179 003337 099064 969969 562613 927005 126100 372241 339975 547653 356872 388048 056583 456717 286645 868418 202407 573588 900728 356787 951319 056074 944333 538229 206167 530827 613483 960498 849805 293522 073738 011633 889936 348585 581905 799487 007452 672615 460565 322152 427583 560301 690926 780347 796864 057601 540323 163115 959228 841611 139032 237392 350097 645516 095187 997523 733407 751733 446114 175649 979265 911114 855761 457328 467614 233778 035845 790917 782677 977751 251628 258196 381365 378088 353123 355021 185165 821472 414437 014521 905232 058395 497094 104686 747975 400013 110734 497256 827732 891806 214228 493985 133897 964594 416512 041367 098028 796638 193522 672048 292164 808732 341484 535863 035191 357672 368701 745097 789652 376148 459487 788952 006848 926156 881239 367051 679819 237071 173201 994257 900021 314084 289947 131808 189586 810378 669390 824404 954073 830225 526852 939798 891526 118968 353428 010865 472915 452435 106940 435709 376348 564100 811946 293799 169100 586704 845153 594193 566534 149433 274035 057427 735337 651773 334386 880056 857943 490740 686511 536271 023630 746325 554650 860459 594630 860135 003857 785900 578293 951101 708560 126200 635502 480129 645092 007834 728345 718084 290571 321442 860287 480188 218059 286021 719288 597674 073790 858857 817972 727922 844989 947992 289686 668062 011880 366040 266206 117296 232206 434585 323175 247424 422734 079057 986906 811865 084162 478519 207165 973938 813686 194933 745337 665996 097997 692134 436257 016766 199261 436397 348857 647406 403226 264449 930316 003504 194503 439366 551472 363598 625149 079443 613065 401712 308264 640265 704653 962222 891113 221375 290754 722779 941100 925741 351048 187705 751361 403912 226366 948110 307403 817175 978264 058927 854264 426543 228488 140853 560551 653041 472839 776954 200196 664710 291181 797376 / 251 > 25612849 [i]
- extracting embedded OOA [i] would yield OA(25612849, 12851, S256, 12800), but
Mode: Bound.
Optimality
Show details for fixed t and s.
Other Results with Identical Parameters
None.
Depending Results
None.