Information on Result #1872988
There is no (48, 48+k, 12594)-net in base 256 for arbitrarily large k, because logical equivalence would yield (48, m, 12594)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (48, 12592, 12594)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25612592, 12594, S256, 12544), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 9244 494579 142973 544773 971533 285087 004222 862334 793247 184870 731361 688802 135261 155878 186999 114860 171023 409170 030994 752509 403586 399403 513225 674772 376536 068758 316413 850226 876613 435464 275195 717925 588807 951897 294597 884107 839152 863883 156768 810151 395827 291945 631510 599666 682296 146884 501800 068163 009076 324354 949758 184545 180774 976084 703904 418430 507981 383966 686328 382230 506100 868761 704920 305963 321730 465326 279783 329386 622664 202828 000214 315296 556012 635627 723985 706873 301532 911030 064978 416200 546547 417696 623776 794319 300831 894753 600416 655259 363412 990008 313232 536922 908615 187188 731473 033690 357192 592812 777707 693559 339891 551343 905859 225569 159743 800820 265546 806165 451241 726940 446674 968942 462261 446128 114641 245566 449967 313890 369071 925068 227464 020429 897424 050621 427344 149837 597885 299448 552314 724870 791678 017194 747648 347982 639918 774662 168922 119069 570613 022057 401103 440677 226121 996378 596330 927710 524810 497403 243169 165915 447141 405680 464336 373186 792430 408499 973943 701985 014021 170238 207111 166298 556819 520943 980783 514466 180332 885009 591434 905573 515968 427307 118641 913019 542934 467946 742435 003815 959556 136016 631783 527764 281834 512351 948939 819937 864159 985935 157581 357864 135436 518262 446114 330939 893617 073326 923270 555962 501396 930907 784475 125397 707721 826366 591648 308621 464407 684582 523416 720805 514355 304205 484650 360914 129852 138242 520360 586481 201413 443227 272509 973955 924975 487495 021455 253477 457059 900518 624396 485013 244780 543103 972294 131761 213001 561067 003751 669169 876434 591675 320833 809852 371419 826095 749928 843026 921599 565253 032535 961146 904587 555838 742192 357738 771588 779889 757033 594211 282822 341051 220573 896599 925410 055840 442834 622630 443510 850432 978575 655880 819562 169489 595967 023051 038379 616510 747864 373055 839197 981739 922378 818509 008390 873625 503250 673849 842971 136645 511119 771751 918884 736196 148676 037727 630407 234573 435362 434599 030315 982097 724090 875044 491759 102276 696737 625854 673160 408604 343539 332526 518692 997458 199936 845584 305049 210147 692381 066431 722364 169460 219791 149371 727452 723275 206913 738708 918230 035383 199954 523055 472258 180606 748574 347858 196520 582851 932762 065150 564535 499627 256923 936767 037279 399685 926942 260436 669296 191733 967685 970101 495282 961624 278403 891567 620985 750376 020540 385815 184548 998103 858646 698214 855004 981009 689409 719783 272642 496934 748891 634763 089645 652302 564206 681287 164483 823692 339573 091750 304260 638371 541813 907894 984949 277208 007996 585401 611020 530322 448222 519539 807627 052710 714588 286953 897351 657360 228282 819728 812947 939021 844329 170551 950112 998625 336925 462658 965656 734215 299103 030895 132168 332907 426933 470957 556363 503315 256156 455271 370972 410810 059451 024567 772676 061413 698984 841151 962363 194943 951795 860114 780384 808372 651277 242206 476333 747443 311210 329390 795328 988723 757810 991074 021262 729617 484619 208281 916802 230550 328293 349893 869744 567615 938320 146395 732025 368393 912073 784721 454654 381864 671927 835256 578429 840354 239792 750307 610579 411926 185815 358839 560515 361945 954011 561833 576949 501298 912511 163516 798457 352868 037695 746862 319425 388721 202288 565563 280238 720661 954095 262519 675788 788286 677395 665800 641736 593822 514254 571095 580843 100758 234957 689431 098950 617779 340727 263263 798990 877075 610263 997016 397878 873860 271965 829095 551224 187318 148109 125626 354556 658463 796416 049879 385779 681219 805975 920637 216860 006672 352122 322277 322401 724151 897406 942484 607106 494631 102789 782533 180597 217328 567446 465980 190771 622957 696413 567119 362949 343911 107942 124569 465769 230498 999340 813113 248418 307169 312420 718427 612646 380519 283529 581602 892521 462175 708123 893308 192061 573352 390805 308440 076607 535402 149532 802333 504058 188856 034717 979982 702537 111250 925945 823993 650234 825750 937983 721152 903767 952344 522563 598855 365679 176322 504988 255200 655983 491904 575298 594823 100194 088341 768506 385137 314751 485605 063599 221983 540891 492530 116694 297137 286653 892410 950128 807222 774020 907086 580555 500251 026984 824348 841180 766713 994221 881491 930187 489544 372760 972089 159552 468789 077592 314603 927645 236656 713756 203011 457987 065349 900334 322932 635814 485538 723525 506492 697040 077913 649357 129952 749306 894089 082077 245989 625611 988581 429824 611320 800377 772561 307193 981868 458693 212618 584633 168841 136873 097690 147621 107784 117350 350659 870298 703727 380360 319581 037545 592170 432463 586087 817457 191093 540519 377658 488003 794715 622809 915196 906614 235682 857725 668602 685302 888031 841811 355833 647582 154411 746633 633292 296609 701404 649463 456761 076548 101113 292602 372964 764945 069301 111710 829230 083240 956343 576945 433980 504605 793991 967523 671371 469795 467342 607142 751659 240418 359254 216466 556485 135824 445970 907419 192976 847140 911513 565499 919400 173819 875591 822186 327587 217658 360040 104926 427836 140112 830160 795027 035988 384585 292007 806975 446246 315350 555631 446692 923338 644717 489104 804697 012985 785612 546332 126876 666727 937994 441541 140518 637964 449249 170298 075479 265020 836338 107303 875394 958833 740547 038466 008836 697661 672479 002247 152789 536582 960584 577050 761838 781671 223303 225007 813951 898558 364219 443494 485095 561502 628429 058291 382875 063163 102174 611384 290712 963923 164782 617116 149500 442688 550792 331115 592227 090650 531616 533775 751014 399271 801356 418612 844374 931334 161512 010673 328087 246931 587697 303365 908941 105802 080693 693050 644481 982336 541654 866825 959642 550319 691804 809657 441091 969208 272456 330578 750486 951922 651036 099660 338384 853788 302403 662747 203138 140663 952149 732774 032971 809962 210962 698100 458865 338195 477078 373558 537025 022733 444566 172216 664104 231130 826783 939248 594793 726744 160964 335834 379069 152231 038273 128544 438564 394365 137954 744155 985448 124526 444577 882421 028832 042716 383152 751602 582321 851394 443255 226017 687362 746363 196706 079944 502959 256287 837689 210610 317304 434916 174869 598172 821925 217088 667375 130902 854706 149739 139286 412264 612199 995166 323197 652146 528922 998271 463414 047899 326147 527632 975028 389422 897693 062817 707862 796069 725691 387297 776622 215639 649712 845956 951013 812262 047829 119890 164225 809831 693406 511112 953885 876973 279319 900397 185083 449480 608379 136124 554467 066913 090856 750760 729941 144162 421595 872196 233364 281752 117486 995094 032530 909757 386668 643344 870419 459595 691151 366870 366712 045052 309464 077812 972411 493528 561872 954776 939028 458536 485826 063630 536723 730946 332446 062047 158095 725619 602285 614981 818486 091003 774504 666189 238752 785304 292163 396331 739230 254186 508957 316823 429285 276180 075643 883554 250399 580555 635018 683219 651944 824230 522048 144942 863026 662144 030709 001764 409557 554041 581823 236056 473331 890368 507604 860595 967833 682254 940020 107883 050653 378785 753618 912672 961181 574447 283894 999733 266109 150087 331760 364787 977221 472346 306568 181776 809937 217671 753741 322846 419398 013879 907750 643149 867431 457002 773226 847048 694780 345309 486902 684922 466086 032173 276646 279544 432600 665071 837749 174555 577949 630033 781429 166189 346126 009311 406047 554518 013929 094836 662514 998520 609003 948736 313808 643517 023034 112275 783940 990899 082415 086545 173765 353131 644466 562507 676961 323260 788761 583405 413397 910518 685624 321242 868225 220091 192353 966918 110208 369014 728565 363453 220633 720871 203154 542923 289582 073348 471519 593639 574210 800375 777424 664922 553270 805450 366220 258427 801817 492424 259312 856921 709828 148548 725091 846545 369003 727658 708189 355668 193623 484145 935946 466351 531808 935770 362103 121079 865197 432838 452120 668341 623878 796444 039890 299009 059794 882729 851394 782255 133754 316117 960600 790306 671292 888770 240236 965256 955897 150411 138130 581557 080443 343444 813956 172499 268115 762620 411301 292637 299037 908887 256549 260762 648471 816572 518236 204724 745410 991264 727491 548869 606883 028968 392951 049114 375339 317971 444876 110937 729019 852666 348348 705026 744865 629893 890356 836892 931074 353303 186752 556915 423603 742861 011817 049613 210148 141332 313430 218665 353003 943514 776945 669638 546339 299730 176483 372447 212270 004503 165797 571989 649349 576798 996875 196913 980359 142263 593635 976961 061194 204085 387081 717621 265694 987217 970522 106720 077140 387830 706536 565458 923453 073962 339277 454930 377453 110381 823970 170529 993720 564069 265526 178547 167098 659693 071105 235260 836057 884155 753369 805311 225369 213507 578272 394839 234064 411369 677949 204182 036836 040690 752977 355591 811755 990072 007825 754008 938956 599129 222566 413925 003529 738007 228801 274994 474634 626169 325756 554497 928665 634114 438034 427695 084222 479561 181976 915703 386610 965113 847783 344990 567070 766791 917749 400566 699369 763337 114879 350729 666641 821216 093479 386496 994914 937444 688415 064987 401400 973949 570065 590734 046799 818326 161616 107909 117985 803159 232547 059939 275260 459959 927830 223548 267431 270719 535785 445749 402466 846636 470396 767205 938655 841929 810934 909752 681268 046762 689605 636144 730419 054164 689606 267332 305943 835690 280609 178395 241665 096444 855051 822170 202626 389521 505403 637169 857455 491261 789895 137846 457633 889765 092861 920602 379842 680727 085316 257385 880941 975325 565559 311259 078042 642866 014239 686682 373318 304791 608210 538609 953477 405685 658318 759499 747334 480468 694577 059308 182794 334468 756924 716422 033768 213991 814952 561081 611670 718630 797851 746032 565820 919321 233637 160629 118367 942152 847335 760196 382971 655812 726948 773159 107448 381836 266389 248054 003358 865428 771957 371759 304817 218103 583553 779420 544637 553399 260060 752010 937274 080190 618157 675395 447416 166918 298960 985860 736227 955346 446079 835190 017554 275954 237544 741423 316735 641747 275072 522692 133695 736048 622683 145948 067042 055565 754941 367540 686873 700097 326997 122727 534961 713414 041550 647533 122894 733248 393884 445515 843306 004800 932934 465768 659608 428216 864878 606817 166366 096196 632371 021644 107006 336697 683500 795084 815828 107728 151912 244122 076910 114139 139329 741032 642494 892334 574363 381826 806375 969424 305112 398999 283909 099321 093069 827502 492234 214953 568930 877223 105178 291361 373481 452274 037044 319379 256586 867971 478126 357189 797010 286480 347411 427534 477697 808076 490936 110085 671205 402232 694392 048137 483996 674289 288155 488103 623570 147522 738805 510095 190432 884432 154964 942959 414655 097127 015660 926013 299094 079079 440202 137522 749471 005635 508767 154295 362323 894568 265840 494540 692967 886140 850967 123683 381874 981811 738079 391294 147307 550668 545705 972550 795464 803823 362028 034210 917230 119186 646408 690283 208952 650708 196879 715603 692084 588807 964033 511220 901436 407084 470632 206920 122399 065372 030023 868783 883375 037096 025362 573912 995253 484845 465170 325845 099286 573969 086071 134878 767449 613775 322465 593007 787638 117515 283226 864500 505040 676330 377271 356816 859967 872479 922676 416630 072231 379958 759555 282609 436368 756991 393686 622037 952583 750401 453855 838278 829602 807720 368687 461899 736974 801742 811420 363532 260681 879166 113534 318565 593010 713739 240237 675673 009322 023566 111599 218083 589775 440856 417312 352660 056176 581053 733547 674658 910320 525399 757555 946792 731034 521022 199166 816490 167411 810771 767090 877336 037881 417251 319105 543132 791681 769021 752489 130131 792543 835191 737485 147838 529581 185220 722740 104744 458581 605976 400613 413708 943175 460736 471162 556835 830928 191688 446828 918394 563316 656255 018718 554113 481323 629824 959642 449861 196844 727995 035133 424216 362028 467648 408266 909747 705685 535504 558852 676652 716480 563452 802267 052674 844934 734015 379443 225965 125102 299208 635775 014057 113283 595584 763473 635023 321623 603665 070953 778782 987071 857197 112552 004534 986604 901340 548368 591414 370581 076062 995844 783808 033640 832290 545385 019928 857365 172862 546718 591076 235163 558590 434993 045598 765291 483338 607788 422244 576739 831733 626956 732867 545196 028048 600493 635146 198094 364975 588224 101765 651144 338089 538566 886491 261845 961332 208012 560195 842490 761141 954963 907252 981738 136591 818333 162471 769645 418833 067957 634647 798078 843233 907820 100923 671914 896560 989908 506365 029983 854806 367313 523141 283882 594983 652495 127763 758596 019472 592153 899662 353467 811146 469910 691152 263315 300827 434629 993990 918922 621898 230264 944284 726803 751558 340492 375948 879510 930728 514480 516830 051803 330458 225559 249858 797596 943642 333779 197680 105741 872224 708580 632387 934971 900873 177860 697699 199017 600213 123657 104416 101855 192619 757550 398428 103621 599915 243448 141909 695656 907894 156791 489656 568747 214575 635622 182244 823453 629764 862320 191731 610634 105770 359189 515832 701837 653173 639368 328009 987895 902442 965237 132619 327276 046049 602719 241872 539432 066302 928279 666590 725988 230938 131048 112389 634187 347787 256738 581478 981986 667519 885334 332007 256636 882273 045336 891443 373541 793174 412931 268093 343407 050541 817604 770745 698883 344188 838363 041522 595197 086827 424882 877435 819682 888913 952973 298347 324282 463667 058864 014293 706162 918888 235629 093842 776439 641099 501458 488945 111962 035816 968331 842760 598378 134849 168668 581394 316088 774572 924262 698256 692986 197678 710818 418012 463782 363769 813851 224559 771254 635538 466913 758921 592916 444953 117400 697377 592623 024413 652253 577643 469933 743320 480672 605248 318479 721912 877997 359400 403087 042746 144931 446509 996802 791308 134958 694587 993273 715284 067930 647191 371551 327858 621625 351526 577970 019802 300971 709319 631489 165620 537720 466380 259471 532726 774012 707415 747607 350701 297360 579277 926286 119611 288163 347753 994974 775147 666979 367402 280964 130109 247372 700225 295434 426493 772552 094742 265435 649137 692963 113843 944697 730768 376077 358405 836747 849228 335013 964769 459613 927842 468265 100285 279671 903735 530875 059443 092359 442784 550655 363205 836203 883787 103222 139518 685835 048797 857612 633180 330479 256349 599966 333215 386418 665848 369725 782959 334456 702681 458421 179853 005047 353233 143699 771580 309448 462603 056377 618492 672817 138616 489010 450573 443442 410144 131757 180216 848247 315604 554438 942378 479869 473063 025376 032336 551256 135831 541848 145015 639501 053934 541669 867101 796967 494702 965450 249976 534856 214245 763511 803032 335116 146353 401022 950380 117834 025922 848948 111804 072387 960573 974359 019999 058173 851830 086448 233247 899691 680307 436431 823542 732397 108618 779570 100355 167543 220526 086206 648404 960505 658025 598373 664058 243586 931370 240591 107310 513627 631734 170903 914058 534246 232688 281153 718350 873926 871301 107660 847523 931989 726186 533722 758007 322226 208193 577866 756319 656696 233165 644317 731990 173054 544885 981115 240959 033472 822025 942392 228308 548553 462273 673263 555911 774101 558216 821518 395730 626450 650656 761977 718002 027683 466017 611141 439302 263636 315399 238647 449656 643970 059185 731636 778955 342052 511838 452526 712721 869237 216266 314886 209692 091196 379397 710673 112085 286970 153524 017673 078097 190008 629387 982373 770309 937286 172567 201009 223654 730407 002227 835823 595191 194776 881693 531674 959333 854937 504862 435242 852820 864518 642397 081305 707367 147760 779087 063621 412329 317667 366437 602801 679695 731185 980511 460537 172084 042553 152439 200598 646412 500275 990334 453020 511742 557610 187398 674607 318028 440085 769618 321118 200295 754689 765862 940385 601397 353348 378858 547190 090585 499779 616846 904113 286937 008765 220156 240904 005316 063797 727340 593859 908344 318118 072629 591445 378766 051208 856422 005200 328562 381960 769106 404619 152556 474718 229087 210207 857408 400287 306949 046765 228588 989907 940887 324189 223729 171124 744907 275086 969288 196453 330880 605982 948352 533955 417782 910391 534013 735018 880611 469604 955511 780985 556162 568377 207633 223798 624604 983882 906636 582859 021874 125375 145084 754634 252871 620365 948600 882289 733182 805338 012880 107893 120918 941575 939206 212530 054476 136616 593243 114614 239939 921288 014349 235175 287585 448686 990369 792573 920650 690152 865262 300080 377102 532083 886949 134586 309035 333578 825848 383275 705727 069273 328923 385445 132814 862325 265382 399884 299930 876315 041320 327420 627434 709874 651656 867905 265582 019337 408127 335905 833679 208366 628981 495999 873225 913025 920706 457743 100005 087920 941911 140725 684219 813813 697985 464740 469954 048450 517613 210949 382373 482833 211903 014245 220873 104064 206004 877088 136151 114392 443424 850081 678075 880287 063659 750473 456779 145585 366597 685327 036689 979479 762160 089246 115701 768556 928463 052335 203433 360926 111361 116488 409632 967089 879003 399964 583993 490216 260346 020637 215130 738231 033167 056184 296979 442714 054523 526274 751770 689516 175555 565712 929850 736433 887661 649443 771269 007304 125704 422654 609895 866642 729459 240444 965702 232623 472452 677753 748892 138175 836719 622770 358394 539895 891537 563732 165375 651425 267087 332280 300069 445047 310674 197314 856986 826510 795778 396283 461571 678854 628761 858277 571863 716684 000206 048215 124523 182286 593794 837396 062742 988037 338810 483232 625993 212921 866113 724577 326544 325738 669803 646704 224650 109587 713395 611275 858451 857430 873709 512834 461845 824288 872277 885959 936940 042470 706024 501585 904183 739492 339732 183247 950565 091521 636990 875148 315841 146303 328386 098534 400280 641414 630406 767057 555278 358450 159758 299337 430277 773879 037962 184722 085448 825638 217791 207760 569529 492500 003413 192289 152254 947230 739522 365440 138919 531010 805871 064866 957861 646832 045300 626467 951861 747716 943144 732859 443538 300658 408391 311103 577155 087411 575626 760643 311679 671361 790673 922556 529254 578806 572475 886648 806602 807204 895341 512674 184772 592935 647072 006096 571162 622797 011468 623036 326771 219043 533728 841113 276466 135589 110117 910558 805765 512926 296683 024573 549438 281380 156437 223937 731513 464132 072577 577138 240562 203556 618056 122047 383207 359582 303114 825413 987106 721127 722281 159382 283887 120369 356018 775849 067335 371250 216716 819858 294660 443639 108389 991259 770327 439983 995068 237111 534432 032599 156740 659123 336736 336988 281921 602237 517556 249709 656094 307956 299800 858020 704694 409520 858468 185302 110104 527996 160875 682359 636280 552814 083199 665879 929409 784192 610086 189044 578663 532690 276652 635520 218663 879179 652627 923201 911391 311791 763249 594227 909588 864961 023700 934790 728150 604805 576207 732828 571925 322006 139929 955240 084143 584298 710431 295395 522414 272087 460949 265195 133256 845579 089095 529833 438532 921333 558131 823812 237501 702330 500921 327625 815764 128740 348409 601495 007902 805607 205922 604321 998489 463742 462268 246559 215284 531631 559689 381510 473305 710360 200832 406008 781367 934036 652221 009589 731051 925082 573627 664527 706336 057800 516669 564104 333577 463884 677460 831255 660127 120639 966703 965012 573033 237848 442831 911042 991324 074069 509036 176911 354678 888215 913022 582404 149014 206004 040811 758513 128238 174098 315578 587089 136541 394464 832039 810073 053697 604916 961505 562763 311092 000404 558184 049052 379785 139801 523477 165608 324308 005282 880605 159538 570351 634560 196041 302577 125873 193180 799459 330511 780604 318277 725335 573155 995684 592953 593283 965185 308825 799094 369496 180792 453975 103309 018889 183287 390585 706873 102663 401539 374896 598922 693317 569184 645366 435659 689469 841132 363506 124401 282922 040337 078872 853944 621108 588299 457735 350037 327791 760944 837882 938201 649997 687511 821666 647905 778970 696603 161199 495937 372687 372317 844460 984649 776030 239150 108210 907079 396974 273004 368885 795446 987590 549052 108851 944554 052062 297473 628222 506716 431763 950605 785026 953215 866320 578980 835187 107380 244690 741313 085973 403504 177801 324190 584204 333353 587914 132540 984333 036835 457096 976018 767699 464765 412228 452020 100767 309385 444094 549119 411335 716294 227590 929636 915426 722516 457164 053579 790026 413805 889688 147751 078290 547811 819491 924343 464356 034585 225012 809053 494943 721835 717229 789025 027167 545853 287660 096488 152758 292970 288659 344018 281804 778347 883988 397003 426045 091824 886144 543693 632099 357437 092520 820437 636672 186499 283951 722664 961655 994028 669193 527093 585228 589937 445289 710060 667755 828637 932497 506534 340612 399348 940165 771812 291465 954597 895247 503903 476846 833912 321491 579340 351277 988127 819350 935140 666632 811356 212128 104294 858473 497264 260018 847194 599446 740199 804880 732040 329295 757820 145958 284157 366509 300750 528416 249008 795563 603983 220586 021067 984579 415719 603554 650842 231075 840680 786160 629866 973131 801475 966193 664443 044676 191812 981100 090486 815440 869904 561418 258472 239289 068326 214909 198597 593687 361393 586431 889120 426394 023125 172632 575376 183159 436908 241801 277641 945036 488873 565145 034481 250757 202026 630008 115579 226339 304193 526748 807268 585038 211036 481809 609447 455228 957792 389856 747434 860782 377142 396078 030400 042883 556949 148102 529105 333858 893238 165307 062299 727183 664734 507887 044688 671465 441904 557949 591498 910391 349348 613604 140013 957945 226137 271866 803079 443354 491084 153710 636109 049247 615871 467151 761097 498666 268855 899510 033311 250372 237837 840100 227103 195808 112347 736055 971662 950547 080227 401965 020168 829486 729940 512360 845844 107447 837706 544006 726959 898686 662343 657557 243666 082660 188963 535214 428695 594167 865067 893873 593650 389191 296316 484691 005512 075682 222880 317803 007685 255539 984099 874410 529345 744267 354743 025585 539698 310652 929288 019342 083809 249234 980126 035384 850264 358911 953885 526542 554092 421608 817146 295058 487645 864059 032372 737737 429537 934912 272426 378873 988022 521441 362881 489438 814594 940721 435744 630306 215607 554075 343516 547462 478890 729343 602129 717519 205292 218281 748231 565357 331999 866062 191195 615815 677322 788007 366272 325439 037987 256027 845322 833385 552717 921322 137204 906093 037410 013088 516924 276366 411380 535350 305770 183403 924164 665339 135753 886453 214799 055486 654218 360956 927509 656860 890941 591802 048022 461349 901158 444333 756249 891908 755723 732339 214230 332864 757979 774347 295236 799011 330103 730851 304171 693996 996987 725933 724635 781332 485380 909625 222073 334964 600814 972589 521889 559722 444942 080698 508138 232968 078923 157164 043389 443901 086603 212575 035862 791063 929532 420503 070191 228235 400621 900148 717483 174434 622044 762090 461698 005420 638418 171361 873322 980771 271379 251748 304810 588215 650133 235352 396697 074153 726122 616704 878032 261925 853482 808537 214908 257036 026192 179359 362355 881330 817211 148918 514123 146264 695316 703172 330270 161653 129940 659824 880596 259004 130485 519968 158460 582398 323253 106235 988270 366481 020680 811605 672199 425423 981601 465779 256808 961272 949641 041431 688966 502277 456520 765676 059542 621223 161328 774849 778537 055665 192295 999264 971194 734981 849748 428062 096827 403895 975105 881390 042531 204187 190366 081205 133053 438241 971505 116332 477497 615382 386533 798379 388290 985844 872626 936725 948627 731454 482314 414619 636690 005928 474630 788443 516084 396885 611089 519683 395085 526153 806260 999404 338456 338592 460960 835508 745998 283382 824626 621106 405189 829028 393658 302786 523429 001045 630999 975452 123213 101245 515750 077599 466188 845303 925020 397623 812893 928867 403255 116780 168836 820275 180627 855338 399928 799479 739270 154204 263684 153665 071799 445786 489464 315846 314331 542150 317436 307785 756553 609259 469312 111162 188751 855308 046125 314089 029570 157896 031828 908768 064728 663961 356606 754881 485951 768055 192882 698617 198856 594847 163318 881655 809604 014648 110741 298862 472597 361217 581911 272396 317675 192303 000489 905521 457821 869856 159223 540362 188670 963400 764752 591414 264813 541714 879884 249625 291297 494840 862386 867864 603993 008424 566317 883786 488836 101533 925965 739191 594964 013050 700546 183140 473579 994756 459891 875604 617158 549446 415632 328650 613314 530717 870553 202050 663698 180363 327312 598174 509871 262340 648045 453541 989592 818860 230747 926991 616404 012849 674389 210901 307736 754755 725302 437292 542325 117828 434651 650358 805785 949863 562727 563793 719986 899506 823902 687768 516676 415894 095024 170377 845119 801123 853768 437953 769855 560064 333692 677359 252454 149252 355166 668930 089669 920603 762112 899153 181861 562789 679414 685901 616534 320784 211207 396042 345583 739167 391980 507065 178266 395551 835208 860872 785442 934088 977640 588706 120245 148656 835168 576678 593158 055891 081357 914332 746781 581907 047549 429610 607694 004135 687092 651416 551901 594901 118146 003956 203731 208783 787789 433729 872599 100953 316682 576323 824367 761738 783411 376628 049630 882825 593176 339755 088635 823278 665938 231318 129153 112342 184221 988448 097648 164123 221177 438926 972786 851439 786897 636754 359159 160416 450984 626980 904637 404167 134312 600204 347395 872212 049913 678964 448316 534096 126907 620702 469751 422903 032327 889991 606513 327939 258903 880773 308752 196967 245094 924262 423119 116943 918057 003888 143973 368638 416954 481137 806942 395578 179222 802536 815692 260411 616186 402739 508900 048335 780202 589741 376921 490089 200973 909276 659615 989936 042550 002276 819426 547545 904672 908005 922510 088799 152940 845942 207957 586209 057283 933965 840170 149939 825638 773102 258329 358773 298984 669758 962109 654169 170184 124785 839549 214194 563709 190713 553024 750764 817100 597953 404701 719669 558740 241932 397787 123062 255885 017503 590053 874684 785116 230993 662573 060857 495043 260727 210493 843880 191237 218302 342547 368468 386862 018715 548959 687602 932359 967894 768066 590267 377947 363693 194880 363827 534543 522737 863589 747143 032967 908908 787943 205362 236663 072209 613155 195778 634724 724954 454651 975873 006309 256064 159420 046438 409206 784741 069504 607086 407395 767201 316399 647263 656759 349732 714987 412026 839811 558003 579180 461488 286679 763766 249904 639335 722546 152793 478424 624697 002751 298783 824952 027802 154864 095214 833338 539226 292972 234691 134528 295680 835950 213150 297392 557533 340945 012722 461744 867236 677608 469413 755307 325854 849107 482227 441967 380024 297086 764683 592331 280968 501966 491497 118332 579591 417350 786079 791162 862007 702618 372854 854928 087625 764113 185315 843105 018164 815615 384206 082668 895021 519637 406582 683168 299514 652170 647938 773496 894238 201434 942219 446023 588011 338965 108728 896922 512351 137884 597388 561524 836423 482411 367323 486182 802628 115495 007790 091416 333559 132589 163743 851583 764170 718491 484922 446993 604765 099743 725174 251488 298494 858144 565316 107017 564891 748494 184715 813648 472379 743118 010802 419580 387680 261346 696147 396604 128400 390002 222160 939033 655610 264083 267930 794357 129796 741584 029684 167769 987306 995511 426567 650644 358671 627983 614117 371698 538509 633054 587120 656686 508817 058688 034190 807994 051716 471122 691798 077962 886035 163486 147998 584459 496193 452572 303976 985815 016407 408266 021513 928986 995403 892817 354338 074872 647363 331654 797431 841849 480254 649319 998814 813391 548819 061326 632964 678482 266208 052961 133266 814182 528030 179654 325538 081745 584679 820139 184549 160615 661869 543982 105269 200078 450157 147999 077234 596407 673814 679963 922093 886460 612296 609003 099249 245561 675082 769722 736281 839181 248184 209815 018824 799143 930677 334608 272877 399540 886378 081534 459939 489210 663805 681396 883816 112951 234032 368811 465249 780639 593485 542466 790355 574430 855688 747769 200830 251178 099132 061458 516806 956831 638811 763001 573468 461370 096318 405517 258194 819015 619817 678585 483001 529327 981800 650352 835285 503561 711006 111955 826961 467815 390111 037152 673784 459376 628457 892165 922992 262316 724674 543432 758253 069414 450451 108282 797129 935269 079993 634153 138821 010871 133441 108623 581261 804925 936739 788830 009978 939976 485938 297860 228683 578017 889458 856967 378792 677387 060206 826556 434894 800923 926131 079530 886350 811931 243216 675814 277009 330847 749632 320435 927495 958077 583912 762463 293685 627952 294864 633893 204778 508875 002081 156239 955363 963371 682869 248907 963896 482553 779989 576248 484309 607481 320651 639671 278192 400987 679693 649705 322165 324837 601692 341503 522010 000224 521770 926246 331629 755430 016982 160382 626017 055117 959157 762935 387173 463410 403165 833314 584157 692642 726959 323723 979236 911681 998673 139357 484390 164585 175369 764393 298883 039777 028592 641650 473601 206090 887168 286680 331278 678026 124943 842416 093256 668005 702012 075246 515362 527046 040390 016711 908717 860017 935902 665374 188787 769062 292637 646601 728792 517521 980343 887998 511721 656343 287131 178793 616564 681658 446164 903787 364292 746683 418166 897509 142987 354753 429571 710492 671979 714776 123299 567436 832161 405183 521982 126029 579153 156832 362484 528221 061519 577037 374477 322446 485544 902667 685975 145970 044694 257724 852605 581932 587927 794811 162801 044050 896672 003074 747649 770533 088378 458795 507909 926963 282819 523099 973451 353012 421683 378669 030523 544984 840124 717497 932537 575144 924844 233476 046443 499788 707468 376576 097891 709641 528789 889045 437066 214206 324431 156059 554180 371245 217858 887621 539687 833629 686595 152429 965576 173214 314038 635858 903060 709111 064981 077097 282874 942118 508339 024140 932081 340270 229540 005812 883189 984673 284839 535865 605966 970958 426179 250725 675762 148150 168267 046055 708158 420631 487752 805750 758995 302038 566089 082856 296223 576178 887877 700770 422072 327747 822899 722564 232645 848334 099262 923133 792764 181792 125082 328447 152794 986560 729797 805753 323115 495796 169444 366489 107847 248995 386600 689992 551418 751672 320770 434557 744497 526974 733023 648061 789188 205782 051286 525942 412699 894983 038749 559876 750375 291875 472094 601968 057917 817541 278194 140106 050851 028577 085198 750128 966428 781539 749268 786665 080957 299403 830511 474789 469080 805601 946922 193343 644761 411594 694386 707427 858343 334166 133979 333092 871526 889003 693102 592263 748154 254332 956958 816445 865505 224965 736402 144154 804944 884298 855193 783754 602156 587481 465599 153794 966038 089151 219085 551175 413942 299008 041378 372927 835832 242368 827529 393067 731155 489382 309507 540903 648495 062397 382579 721535 099398 158695 885911 811165 989678 124350 828367 603535 802504 483376 073260 852542 682224 235565 015656 954723 447794 343576 452393 215498 936886 473183 504318 170199 953126 071076 673426 709034 644024 550233 426666 419055 474679 722883 920958 957993 885826 949796 352164 911447 946988 745819 693658 797483 495129 590890 634612 595403 261722 413624 892885 672194 571932 656831 085531 176601 876512 229266 480272 852971 245726 184626 431861 336891 707922 441482 981407 853539 241481 738480 047488 380175 374155 134448 276544 951179 216284 585352 882445 388867 170320 159956 950542 471312 829986 927681 454059 687881 445947 485954 842369 741451 700378 579323 466864 574463 505224 957556 475617 447152 447797 362321 114399 879248 595233 125005 883553 093942 816523 849430 908945 194002 724542 492225 387189 926131 265855 309082 156006 330107 612604 235272 472271 464104 611576 856696 821200 928596 459116 390827 858773 076442 948910 139316 850527 323057 883085 548451 730584 351386 282328 910011 825572 844492 086826 415088 611548 701249 445636 083038 654746 177760 979465 100738 367440 680816 224184 307953 938567 938486 347732 041933 692213 434394 704629 377953 839171 545712 449362 076730 285294 796254 982599 076443 548234 010694 585392 212275 752284 668415 480809 434212 127298 072561 322624 983070 868716 341839 731467 862958 810164 504553 884355 644982 400317 490775 028827 172976 022747 484418 328274 415963 493945 057885 104445 093746 643369 174396 792459 892638 503453 483297 541546 263547 825586 536827 519914 645160 593934 082884 563804 066700 320816 718368 190469 022768 049086 211701 693394 073919 647333 634520 787311 172160 905829 270400 607032 320807 439070 685257 696200 807669 366282 769857 994321 873555 016450 563916 304793 413129 723865 631562 939056 300079 684902 321767 144515 055411 468323 801696 632420 445833 619165 721341 256129 728435 363240 821713 324400 161504 452691 500445 490861 587869 484061 550534 655319 842040 458426 032019 829053 498520 424894 346039 563093 952363 248152 021776 043177 337730 814869 978133 986392 061928 110895 499529 056676 818215 509674 598238 506780 836330 935238 994850 248876 259900 459447 969705 259041 436832 701562 610619 792676 672154 491401 748774 870959 612070 553112 345737 583068 102354 794601 676694 957369 084128 032381 336810 150478 697610 222854 884167 761544 274175 154460 675825 407456 372237 997002 313930 550398 702876 290291 531677 133265 747968 963518 256848 433386 996501 544170 429755 288662 547867 594608 075542 927120 910478 835249 675564 253611 861128 083422 606535 664333 531965 998272 431007 040342 624066 282173 824843 744483 683797 392862 860025 689656 331669 775476 190140 820650 659350 856646 533213 937134 880913 274322 362542 560293 913308 013589 840654 720450 472040 116008 522720 004293 098764 110165 573196 697818 638043 643184 027818 199648 276851 384076 465504 951638 853988 567438 416702 300965 268778 712549 760367 152483 705300 406673 826996 531687 087309 394311 598850 997474 596571 998655 267066 816648 734616 188262 666386 005843 941153 925520 146584 379208 425175 581468 536485 437462 063912 433792 803406 720527 965826 725748 863412 568756 637014 287230 405740 368095 241546 662907 144113 649734 396523 003074 101947 986518 190375 941008 992952 454409 708469 652003 014745 957662 136569 503107 094556 205543 500685 089038 954554 221256 561898 794968 121809 557097 254817 434788 418423 997047 155696 776621 418300 283508 425039 695953 369417 638897 893195 351262 763716 456512 838291 246590 667822 439168 480474 698438 350399 993581 137142 940968 956123 413087 603296 998609 178376 528323 907160 198499 949956 133437 270933 526400 768566 861667 443201 016205 906503 935973 514157 048725 122411 450790 221867 650400 707718 600019 107764 412077 587347 806318 847002 947136 060365 750046 091894 734966 120282 205870 463144 084526 917559 690189 258190 240195 073152 912117 784453 612574 770351 079803 656682 791788 077640 011882 816444 083375 964160 / 2509 > 25612592 [i]
- extracting embedded OOA [i] would yield OA(25612592, 12594, S256, 12544), 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.