Information on Result #1872978
There is no (43, 43+k, 11309)-net in base 256 for arbitrarily large k, because logical equivalence would yield (43, m, 11309)-net in base 256 for arbitrarily large m, but
- m-reduction [i] would yield (43, 11307, 11309)-net in base 256, but
- extracting embedded OOA [i] would yield OA(25611307, 11309, S256, 11264), but
- the (dual) Plotkin bound for OOAs shows that M ≥ 71556 485349 793024 635564 805262 826225 336290 284447 658298 738074 115970 537825 312959 514417 807820 301914 391272 410063 553579 469252 778547 910241 711650 776279 896045 723493 139494 887574 727616 130933 732261 329029 725438 085314 661896 615973 169790 345512 274504 884161 933408 384556 073066 420143 248583 912224 650544 736857 167328 068313 216819 569478 229148 634582 549682 724030 638894 717965 474207 831206 680859 277281 023076 007373 660234 289081 850465 399059 874192 005215 550423 477644 385081 259833 919717 445350 237780 914876 871954 703364 547810 912536 228899 849617 890531 972099 009483 383608 461983 197113 127004 348413 348705 543569 036104 431588 405278 787593 320066 585819 473114 648826 376759 204875 921877 651909 021021 546819 594274 727640 852650 300522 950259 593433 859982 159939 472842 698722 709436 951488 641352 776588 085917 481134 022266 777713 402137 180683 601305 695310 916359 752149 924920 003808 295485 546664 399612 601532 480019 753409 880102 809489 089330 432788 320903 202039 579436 366047 067979 849412 441691 397156 176137 610637 334914 171618 478370 707668 434997 639984 085783 291388 277655 383979 312370 746346 467464 622535 627735 849914 992326 047177 140279 495013 212064 322128 225682 767776 577471 999861 805784 439526 129209 340753 951377 883810 256060 154285 790235 726808 439613 002583 640628 895507 834785 460583 069768 089357 755014 051284 235592 179557 301234 617259 195076 278833 881352 307254 850204 005921 593941 996830 051257 080098 160065 047461 895902 569752 744118 009369 956677 191860 156372 826318 573816 500247 792935 202772 038762 402143 125585 212510 477934 283380 900479 617252 684738 901078 010881 946656 774205 649701 676209 025715 501099 844015 106932 692956 843501 604746 102558 310094 373882 494156 642196 269538 123477 319801 918704 095250 333800 647730 587770 286350 200033 523763 568431 260132 179082 289730 876835 758975 125027 658498 546153 392305 107082 183819 200084 295108 191423 470427 665861 740984 924878 923988 828343 976738 951084 676930 480482 816714 605618 490264 774056 122186 521615 503086 055877 430171 993404 581673 409557 258107 354250 727186 039727 625506 688247 227603 518019 777309 218456 503999 231882 948622 693700 362932 160073 366640 838704 751709 388909 575603 601649 048132 307292 137730 767912 685845 574277 753734 655352 460170 040367 362756 883872 090084 470861 334018 164410 151185 408652 419177 319500 375554 341381 995279 822315 294086 286840 745913 110983 120259 636902 338156 340342 946573 617304 116716 682892 440378 304535 346178 814952 785750 666270 844419 579875 623654 912467 641400 196744 384941 569788 547144 518925 751282 550608 256082 468968 135096 867873 773681 603930 113667 873148 782873 691078 504725 004422 762150 808308 309867 517747 967991 558226 188214 453467 938233 919189 463333 517041 580384 444775 299842 543283 180091 069381 299350 906851 898474 081345 436959 743610 458603 487534 680789 122397 355434 879751 195904 617233 480335 670992 836137 465141 678864 818569 190486 164958 157767 115113 743593 358864 705930 223687 073867 678116 628143 226854 260517 879521 633936 214355 176963 776324 655945 655830 631282 052719 763141 285131 772424 261296 265168 232397 215493 598112 822279 234857 667591 979560 202262 417337 792560 536153 421109 755690 804796 106675 286715 733590 315630 391622 068604 981142 453663 895662 935416 250083 804397 359330 766215 604797 644915 765365 252095 164482 363106 630282 900401 915189 900837 575160 700597 661928 673678 894309 399163 060633 332739 717519 261090 210122 804199 223614 666592 409668 591706 402968 353705 904628 336334 083906 875159 325792 377295 927409 040426 913699 681832 608780 925782 297725 322126 799662 719444 616962 565738 054152 027223 318796 012554 197430 942282 652645 685624 317798 067287 903197 015431 050342 314045 585897 866000 546738 758586 057168 824921 116733 294137 328898 006144 039080 804407 507721 743898 347785 348364 914662 408132 553384 755643 141222 082776 743861 427228 850399 016724 813225 862762 224404 230926 653395 127428 048175 115810 026904 538995 091318 071303 272265 064414 411496 105542 180724 655288 475757 921216 275479 425144 292936 653419 240927 413435 448377 850091 642609 563284 710914 731746 143478 997502 270904 778016 269385 533207 124016 187057 170130 879516 351928 340007 319229 350681 747336 286837 437296 777220 737755 409154 168141 639930 009915 773315 785344 478369 502936 469581 060901 186990 930027 198120 366258 332124 074545 731383 143254 896800 578433 958189 530811 318609 454080 172177 671929 065228 189660 849268 268736 143069 382474 727148 277693 260950 181873 883089 625759 307480 679876 435292 635221 211492 408935 121277 527578 967706 896175 619906 425661 985789 228300 190963 517065 062983 134860 331161 536831 566605 761757 147564 446072 733317 252473 633987 882512 673755 212104 842261 275342 727057 323328 203692 560159 081560 236501 876823 748079 333888 970689 905421 391277 632116 678311 742824 554329 539055 387348 599693 331520 033181 082028 317532 257317 363517 289877 753933 014814 605973 148130 053587 259638 538783 073687 503854 761922 740588 486896 830824 882660 514794 879665 038512 458030 273673 778515 817647 192955 983565 697049 262888 630807 866792 367249 284913 915009 897288 598998 723248 928436 303519 794547 908820 326936 540534 488598 723025 327457 374473 351704 107167 052230 007829 659435 982031 822942 027647 811644 276652 129817 373863 737281 859475 873207 339782 372598 789133 239770 558996 200419 763462 577492 679788 442237 204506 877163 653660 714178 749515 002791 016745 603606 273675 270316 565056 816144 817788 652066 029193 944728 590397 697058 730092 777122 283073 722535 958076 223147 391210 977523 010766 096664 399766 353965 434959 693138 698798 557637 686265 708902 027344 438271 182337 058394 203166 365998 124823 296669 879737 625055 265917 308571 369246 442296 109787 760605 334900 459855 522171 739149 229391 946932 008531 990483 654815 828071 996902 129435 855757 629342 938139 005780 170061 222505 185822 877355 089671 960775 662773 864378 395868 946754 427315 430155 813670 426036 877557 688281 762211 038966 404682 875983 857838 129464 304583 048981 806367 576126 688671 939182 175123 523097 783460 737323 881415 244028 466753 243831 771606 599854 036901 320357 651133 126033 959284 214255 578571 871332 499451 735350 276640 638793 821561 262656 902798 351072 934948 741956 942302 641717 033539 196316 862894 037383 947038 470762 764038 914338 571671 660858 914905 842410 340685 097245 600747 720263 397137 235374 432275 923008 878769 841878 691450 530630 056612 769336 457736 303525 159497 735459 933988 088366 480312 090957 449018 640325 449344 006631 963751 943981 557770 698587 027295 390007 990057 003871 121874 359383 269353 156853 864563 963177 669627 806354 964730 377946 607091 294336 336309 491708 030966 587586 085278 003041 987688 351530 707774 294800 829715 573069 265166 843530 316174 662987 553888 354815 731174 112025 476005 183253 672397 427519 677186 349669 549535 308551 318074 642397 642451 993144 771758 266802 425878 292710 041753 493368 308236 076744 783367 928669 010650 328337 754691 744168 947339 218358 167110 185868 878327 072094 460735 348725 271441 098253 095012 143709 588321 972073 781451 593234 557720 716132 623485 502269 283764 179077 565086 947398 083604 425414 214838 786804 294448 226198 227125 884186 352691 824862 700685 847695 129872 767856 864825 028275 136746 466491 282236 257408 329783 672158 472666 965065 195196 690063 843064 760619 070915 678642 198633 088421 234713 175477 249621 679974 266497 085714 339933 258331 791335 720144 868406 100668 659086 803828 063859 023961 160983 227627 738709 061072 570237 718826 973554 706243 830396 647723 910291 585337 663830 677808 861407 302616 321467 802103 768435 220699 140481 455314 916087 677903 603633 613563 671790 958534 059417 069813 235178 357607 303945 169920 343766 445932 545197 292044 431981 563716 134540 620137 579142 118869 289108 248589 580624 113832 829959 871129 451932 857907 055716 573404 448520 163222 265264 494210 721128 055065 877358 212759 405657 798224 745988 918529 787433 237816 171408 188382 302596 217333 160475 617917 774176 807071 410323 353254 248158 628970 981455 612399 552111 662358 460317 468211 464793 991178 038510 317724 276320 470535 139688 527515 306292 308678 631536 737889 716572 336768 416504 103440 865676 862213 728787 102610 082400 424850 132075 465038 937255 367756 274426 826525 010480 450326 813684 616444 447883 819623 670818 744467 766377 237144 664950 682111 037807 867860 671197 784919 400833 821147 205067 272661 471382 635433 576167 023603 266551 230900 791657 122145 114729 441908 677802 476418 688939 225023 555298 974703 112047 115349 843448 865267 178691 409412 746854 365607 769259 330807 041810 537803 681057 000687 181565 331624 266615 965404 659543 759914 443936 722048 117946 836347 070538 391376 094241 261298 401926 125334 219224 640806 268115 953779 074243 341288 176238 225468 917919 414956 312711 288129 003771 206176 973114 591597 476687 460181 891360 887188 951032 078855 741458 491532 107565 443840 407143 362236 715286 872537 930473 373578 609469 343982 888713 677024 117176 099299 046918 696472 477728 695940 629880 222535 070838 680230 628527 922198 243484 235541 168985 864290 593897 991806 268788 812858 641007 484017 639755 629807 004009 742472 880567 145249 624214 347202 843372 933469 180687 787196 275777 163987 353968 966250 073040 464326 148254 496123 062125 968257 320268 685518 182917 067644 741212 559052 682821 273704 004399 767243 887670 310106 443471 669350 257028 354858 016302 294656 977887 409617 986947 094566 180985 970168 131205 484386 533342 907044 961906 084810 787596 292280 169875 940069 146593 469799 067308 592250 833495 625046 247789 051410 925437 065356 016828 444912 243873 152916 152954 758367 564286 171988 949504 291615 537106 617900 450292 428688 753478 061129 435603 286231 838184 565966 401079 622923 351167 154296 781231 710498 431789 559106 864567 468065 641254 456146 631395 931226 376508 480037 424191 158808 278613 143838 417780 185221 143901 853675 130711 620404 567703 342469 352089 280832 867066 640920 322221 911242 137414 019102 288610 664912 261302 642724 931191 473654 702284 828888 043526 687706 018409 086544 823606 659762 912617 704871 427992 989703 126517 647393 062142 306212 223932 263173 739862 177750 680649 673031 341253 806091 986578 501820 454817 697194 804943 933456 044266 237386 503711 008944 055587 189165 061739 514252 650180 867491 374770 535346 697184 347659 313440 783770 899580 840760 294617 897264 522705 269042 334391 304397 505334 027445 230012 003330 900493 162414 101189 139096 144570 055037 116534 567101 893948 770201 078966 061507 188567 582755 199036 601371 610548 226220 586158 789667 739331 400235 784712 491615 202414 828788 368193 228270 428363 880616 687442 499322 722821 403584 696441 604376 666271 046790 682132 346745 116122 811249 290453 600508 813769 166986 802511 237720 040551 726946 414390 312654 119904 762989 191078 922367 623875 430500 338648 893862 105990 310771 894972 632371 109846 972498 405184 748684 282530 952000 388580 147192 316379 875434 413042 211339 434244 335573 698884 803741 635823 944949 783562 991554 949240 657920 796705 409135 739508 816950 833856 596704 432533 690860 057441 610327 988064 855270 540838 277920 978737 606554 292456 414087 272732 286666 331357 283171 140623 604834 437388 963237 063209 580694 026742 729029 733388 234743 291921 043263 873506 712333 384829 950972 936817 803742 700185 995364 810275 328314 919700 150652 972734 418483 578439 836506 845775 991309 086570 112022 849442 308159 672391 032802 311527 244024 948420 018069 874761 913604 733157 128148 670678 733121 993524 140792 674742 666398 981414 938690 089465 254864 272998 579566 593954 204374 783699 875285 017656 781144 561157 444022 236936 873251 972248 165201 217655 344748 976984 277610 783488 534913 118397 543620 422921 294026 432814 881936 496950 152618 581915 102918 136380 705518 106487 985703 952264 556790 534173 177448 822511 922839 686257 034986 033019 661955 700219 972797 144174 260578 427892 494181 283056 174367 477213 798157 867710 356972 189247 727193 420439 752470 917840 515940 256085 744555 425796 376973 850395 030009 218238 378999 843675 733727 186797 368290 696405 198417 766185 873416 726046 330162 131520 985356 627073 068569 481904 515418 918656 361039 448434 162988 066493 501210 558931 726666 666521 753325 999680 992422 365611 429455 510412 327656 052205 724614 399496 264900 399577 737817 304237 599271 435058 695288 539382 098493 939698 166072 738974 973261 944085 575529 664287 817407 868906 531857 955903 965144 601809 156738 811310 195378 429488 554136 891519 613835 557415 714591 619077 640830 984725 919377 530897 919864 429210 785513 118374 874985 579829 788901 643977 066652 795258 940990 976144 259962 311076 600528 952884 123486 549131 469900 450348 153858 526954 696926 336442 401072 820343 508857 516563 768695 923861 056333 003338 527370 129180 503267 109616 271998 110237 257766 618402 578023 795582 434493 498507 549504 945830 490342 001254 298163 932155 049733 766597 646070 895776 095170 798600 881187 688865 014410 556507 644766 216796 084352 603183 102782 738379 423246 211098 024066 081454 000248 800556 818037 883408 953015 467725 849496 477832 790405 191215 337974 616089 906803 822571 539910 334055 556427 914080 189228 195612 153059 762023 146395 947178 409374 099786 204515 412318 949007 106050 187307 457535 140617 702930 488011 155572 977728 798914 115840 227114 956349 182676 782703 747099 795357 527305 016305 027713 424495 473405 981961 653509 644833 556107 147220 939454 534043 427142 755362 474807 739674 355854 668225 258260 896930 296466 302600 796635 486828 875524 621239 812849 282494 364909 260900 990624 467463 798396 514331 452627 332285 345036 055207 317947 515131 594976 747568 740537 189151 101789 798631 639728 658924 633453 857506 243616 543956 906785 375574 647752 059017 099593 724960 047347 218668 293330 904303 879381 991481 203089 806010 081831 617171 701276 856156 396076 684237 651141 298784 381867 517149 347032 987825 757537 200664 025131 466455 153046 816697 702745 345700 516836 861591 648692 001953 061919 026006 218319 572384 740587 187657 401162 644294 177545 903656 771597 062875 269068 156637 970494 713363 703082 737517 585238 050148 080761 557408 263802 417038 661361 433275 712696 584151 593247 002069 750700 927246 143962 985946 780897 706508 770200 980729 792969 473812 138371 382581 021808 603762 300036 393524 105597 890694 645663 983176 942016 935432 401154 699862 176948 600490 326360 183306 608356 865786 887792 195945 087963 574833 453818 194762 378897 736817 139388 272679 977338 003979 624755 125493 953865 137893 877082 633647 463264 944364 267299 416261 674362 513008 417713 599345 665566 766603 666784 677257 456542 272093 330634 396448 613136 175541 311585 422646 034245 657747 632243 015014 577559 691679 096539 273193 106381 236465 828771 303747 139047 655059 914095 516969 935187 768479 510664 226798 380276 969655 162523 624489 680076 123429 770576 725040 856296 923466 132279 946968 108979 323328 022579 229766 046457 135278 815706 424892 516016 549719 800350 608447 576773 175805 246317 960604 101862 024667 841882 319188 194181 932917 293731 428788 727745 135056 877002 399028 997190 423013 600273 574166 578369 593601 093774 655341 467456 979198 353679 836234 678458 115775 184333 479374 426408 955682 794350 265574 991316 127892 940647 041271 590201 178816 388929 592138 988861 134550 069337 546387 794667 868874 699132 336909 267949 770453 553919 614327 314737 981319 747821 425209 732413 107089 451238 054248 803772 928688 295992 510622 635585 218232 260144 795871 363140 616031 539978 027659 178558 015248 084361 429569 479063 752827 771316 322743 269664 908963 313661 868365 879454 509279 301683 780775 894934 649667 317494 703187 229279 147965 817708 459630 669369 373246 092389 544164 333709 398236 899451 266486 798587 895620 465888 132477 766230 093954 192558 955764 475289 528385 960609 768867 676753 349531 788541 545590 971052 240082 465889 202469 014448 563855 088422 370270 686020 793252 376526 482471 393715 757502 803695 114885 516427 886239 478863 737830 602178 334679 816635 021684 069819 332306 114743 214694 375776 443569 107402 552175 433924 991197 932411 480392 569598 135253 090802 049135 641386 119414 288822 749897 754608 579057 600448 737564 074240 197398 023626 681721 541748 483884 622540 644235 606263 032653 455950 201494 672025 630253 607993 876886 701419 418728 570535 537555 788247 685021 335477 741255 311324 186655 229576 522140 266007 619277 489157 437074 808464 672712 536961 045139 533885 029683 012580 793228 221909 181958 901671 922771 684852 975200 621242 372248 628115 297971 074688 524293 943947 344017 725795 021069 890845 746522 473533 042192 295569 061464 572764 214720 732285 994129 216983 834801 281555 139224 036934 417709 156081 525482 007247 947160 407957 268807 859335 154178 428380 882079 158731 625331 500459 278286 256993 945932 901245 911704 832180 569688 302282 606530 248099 068609 125371 018877 730639 686057 388182 276452 781358 459969 958526 802234 627409 347460 837207 841496 688501 419550 449498 971851 332280 881244 929404 650463 607809 186797 837279 494281 161953 907397 347665 554214 713659 390886 338033 344665 227058 418327 411589 740165 618586 758896 411498 824654 796652 018695 758936 667942 234798 333164 968563 866719 690913 691988 041054 465412 107023 545726 385318 938273 853659 760678 136904 940362 328367 564341 125014 301769 798711 799186 452210 957074 238817 348885 744289 379000 537952 865717 204380 080960 169641 101539 235800 769567 922539 798811 141372 255520 022192 565221 222460 533093 970237 046774 456291 811950 969691 683262 775683 624955 666780 312770 670632 396297 275434 998036 075120 249170 799166 500597 866320 369566 480929 074404 343258 200966 936576 032253 316222 258620 369466 192288 553060 180579 353560 576005 121694 860694 249799 241014 644325 995047 542186 941738 283409 233057 653984 652827 878093 221824 516470 986063 230067 310555 625733 076102 633727 832307 501671 325114 582992 441691 477670 752504 727575 076172 200743 026037 576108 968151 812304 386527 248165 251909 776189 412911 044862 428582 698165 378281 520259 604917 543823 388546 493538 459627 719031 046325 431492 489248 394195 578238 869240 108429 408631 389226 159291 324191 290943 221661 575747 985655 985707 714324 689323 553212 890096 254336 656580 503513 918722 060574 285221 136238 324131 197158 038871 078667 503738 888775 980034 615381 494205 150141 743578 811068 077826 379272 863300 877572 495976 745067 803853 144880 077634 677436 143531 699711 397344 902189 814710 082153 355053 195418 647377 342545 900289 107497 970530 326189 546304 974795 540101 026059 323294 456358 694854 758370 751557 390334 228851 513739 475671 238140 996779 815456 201485 616566 262739 117049 652096 913925 535919 335490 673609 871576 707886 936812 823193 949384 065119 040017 126019 595368 316145 869370 405628 117016 266285 586811 121505 743339 802578 584625 754836 073816 115031 466782 978985 758886 713002 604706 163366 609056 213723 931250 763905 297395 127872 556698 254791 120847 696241 239381 845029 182224 566687 454574 639114 963188 525553 474698 429765 370282 454037 254401 842456 883589 743637 002139 684057 828880 523948 159760 311133 511946 468827 806833 544576 183798 561825 897226 998713 014833 004408 253287 893530 636299 750227 304591 808513 172092 820387 657668 467450 769425 535511 826894 695307 704821 059086 832757 624687 017847 757621 206356 267848 349442 328690 918462 787895 072200 066923 631209 948434 368457 803364 263695 017532 724769 766333 626305 467174 763482 712793 676083 655530 052105 490399 393240 103410 663048 390632 345525 447149 283074 719584 199796 001966 341707 369890 630019 465127 563554 587001 185021 929194 506788 409784 038634 901265 692459 090326 680774 029762 528148 719795 765809 847142 615931 766131 367401 566259 692616 843845 317267 281130 773732 344739 606208 886404 501640 716641 484180 646507 655790 626680 143490 284108 663868 614725 260671 004040 844166 396320 337264 231748 134787 881864 823529 813899 598569 280931 859979 363589 227211 327838 008092 093284 438529 727069 567816 493500 356370 176293 559817 296594 212444 878257 848090 315053 417911 998584 108381 630003 755119 070662 608153 354290 890831 035618 557272 777374 031954 567770 834369 593022 426170 981086 432639 338266 945060 847850 901260 795038 577793 305706 694955 903821 438502 447245 250653 618400 706766 944503 785197 950811 733181 747901 173362 973913 552968 554320 596525 546371 350480 460100 730488 852991 777087 229630 740582 899178 991314 170555 119622 901466 620128 887086 183589 576267 866530 660421 323286 734413 770310 592416 907235 951011 717681 997283 533653 557181 611596 069396 753928 466822 233063 170285 068351 856472 469253 625411 217030 937819 643932 461752 691983 090523 154891 038235 793119 091351 766345 314816 896601 353889 780279 902053 794406 995572 824444 661070 015158 768028 670416 061602 886677 051426 301298 929049 711181 215611 127996 148817 497775 493222 553108 517616 941688 399418 017017 206293 277769 643436 742460 061956 761134 796798 357698 607010 662283 531085 522368 934271 333499 828456 609979 463427 739904 162894 031949 780992 053392 592410 152966 833821 705865 125610 996505 984948 834469 712162 175381 381733 171723 614276 400736 932931 471391 437862 272195 594174 052018 618828 269787 783467 832780 811247 927234 312725 810238 260033 423248 155702 418264 443051 113897 664544 972601 151032 867367 367261 238780 328777 076340 044534 676779 562942 385415 225431 808107 378711 577893 738629 666427 593720 756284 840626 950913 063059 997129 438847 723215 384209 103368 245919 426409 286987 058658 338129 892850 748210 472258 714514 400400 197253 024001 847823 196992 466082 444419 634486 109192 101633 486351 075441 964785 851779 153961 871582 391148 160514 112751 153075 122494 839569 523280 381148 664502 560663 511072 613283 189420 086036 696950 744144 112256 495973 185823 238131 045616 351710 525865 164919 609831 787288 282401 946389 881527 032070 940897 287556 675637 970671 372849 624746 825433 789838 503360 097295 774953 467459 077758 122838 207788 705393 405527 145853 342639 743197 588818 286235 919719 775666 870649 208877 242338 677577 572433 676343 081459 676389 853632 533651 920686 737821 388533 433260 261272 888786 225532 422082 121254 154683 762383 826864 394521 207984 129950 458281 387891 024416 027266 624982 222309 136403 532240 819318 513929 461875 538599 620084 018589 020237 664781 328379 864692 803926 023381 544100 427144 654218 447313 936070 596148 359617 250231 834177 070427 450865 115217 678960 863480 302728 868622 345586 749469 627095 815138 154810 282489 631382 683796 033457 645199 304356 125709 259667 301210 524415 721339 169044 640348 445095 460130 059720 072552 113577 054445 946532 682385 651452 496208 633159 773704 572714 113606 109449 969071 267309 895194 228309 452602 887613 528770 309424 345754 324584 446297 120002 237613 123982 049573 848746 072681 123271 444436 453396 912554 239520 225803 350194 172833 676326 826228 002210 742627 040090 995616 553921 250014 900547 478084 401617 438427 378011 194020 374997 865686 480296 577091 957460 085769 425645 739847 805638 548276 865067 224499 487935 765553 325168 791023 495712 120863 090146 880143 342651 027095 375374 017930 924500 583688 679901 360121 009332 097479 173249 397919 996191 473074 563112 072817 433253 264561 653522 164399 967794 814032 414381 534156 715251 258238 806028 062597 213074 927383 805201 743793 195717 733672 035871 722260 203416 709707 863562 982662 562120 835961 706974 980090 626340 708903 269915 706995 551380 456303 445053 946256 530228 807952 187181 524681 872913 317856 111698 269784 628497 993474 934996 456040 989788 502381 937499 868548 181877 091771 095410 481727 910369 596338 915898 473917 713453 227760 937855 617818 539745 515441 884111 823118 402415 925376 188856 950190 677840 013400 283694 947296 896511 555456 523451 447401 949995 496845 729273 602962 087626 693443 203251 627556 219562 645047 710352 581641 995205 578385 907971 917077 867856 372273 508639 767683 652512 192693 944627 838036 631507 114736 066490 821434 842143 809203 583084 360822 666010 490110 384691 498901 428027 500090 283593 835716 432377 968791 455758 100808 287620 166597 175675 479280 596169 866977 843554 887054 486129 928460 434139 123642 589331 864712 034589 529435 211521 164896 056564 836196 373351 459584 432165 847566 397646 316433 103080 544982 398880 346035 336910 944224 024516 836889 138813 977495 128461 877971 220201 634505 741025 028776 309428 869335 808687 023554 500396 833727 246095 002920 066993 545041 148577 951204 698532 369208 122106 011188 341594 546735 105263 338511 794193 054721 797650 655572 042892 815906 141915 368143 287461 228417 251226 409025 575352 338425 681290 543551 333573 898022 862676 121403 338534 184069 285138 998388 766749 560824 849655 755430 438473 747863 603191 874132 125718 250348 361963 684708 504404 359716 647342 735594 012521 159380 612082 439570 984419 061748 514973 511364 245952 614599 810829 414190 989471 372310 299081 454815 446613 997026 918164 682293 710812 659047 379148 498208 836126 112835 450432 958661 236630 317724 428029 964422 310467 969423 705192 208099 664814 694089 171430 186049 909043 760813 372739 177856 226965 219684 969314 660228 314467 777117 320048 900669 992077 185027 222991 539382 579759 241151 221492 422835 908503 548230 946851 105112 824366 775704 718931 585243 813924 728968 178449 510537 203223 727016 858015 689577 864807 511347 568787 790237 493129 134658 292968 271516 440318 559222 293772 597831 141780 294569 058909 515668 306509 048227 982225 136576 523184 371090 067634 633174 313810 790727 490369 447977 548349 130887 566426 627853 877278 141623 390497 107172 112252 261004 537342 692734 866408 057911 211669 278290 635395 754842 692442 240560 621629 126152 090396 731362 497054 656507 609285 142543 088446 069925 281336 722832 096359 211102 994397 528472 696818 613518 888995 757806 103071 487761 044922 370880 495372 905345 932267 860944 487716 508708 187453 911680 239234 832278 344779 806085 902571 875524 412707 632101 322201 203067 736980 358672 908872 613739 333296 166077 009669 751479 137224 862068 478975 427688 304271 233793 008030 247698 756706 830253 215131 773778 780220 354916 321746 496027 347883 472229 000910 430098 190509 751989 132278 041444 187460 868223 564019 030061 780207 531594 431497 555652 435080 564882 485726 368780 452021 697191 255407 202121 293120 846711 662875 152971 824821 341179 902990 250567 459849 406090 027165 125094 566669 995964 264300 016806 873728 835739 382400 179008 687192 532463 505271 939648 530971 499205 092465 201914 149842 813735 605332 936413 028892 847087 927298 856873 354069 477070 723603 281225 579519 637099 377162 720643 051411 175288 809807 204174 073623 863955 498803 070137 398672 057174 682524 285857 354896 392208 347529 872252 039398 622479 006883 265686 859138 021013 306330 301768 451132 707973 619830 606268 562501 643793 474884 466676 713668 400904 956617 178359 310721 954541 410451 854573 037234 671431 688366 279462 532424 490171 753166 468104 633587 350790 092610 617782 235071 945676 673356 407483 420918 646941 468718 633327 094331 922049 058603 119154 443134 204666 090286 939928 945809 049705 149431 174777 334533 817773 933528 304470 074099 479409 488534 997823 671910 945391 371864 839228 090835 936331 749559 275765 307327 491227 796427 465809 689374 872395 457656 440647 088709 260171 685017 086346 683791 930810 819456 983712 731219 906322 048056 920471 709072 708937 140101 265300 328071 507905 322453 214644 177797 077598 613692 839965 235766 532949 090116 801020 216342 654999 091629 120882 067975 796366 916602 622580 893674 739894 279843 820611 547168 948211 653140 469604 426842 430381 554594 999103 956929 566289 733349 515561 946566 644651 704224 363137 549089 930471 938253 080504 528456 603983 669027 773989 923378 143675 003761 458808 841279 213127 587899 812447 885984 419069 923768 093282 150655 349151 636324 016557 929774 777712 670770 402107 896953 688659 778064 142099 073448 657735 375239 538682 168098 612982 591542 103034 711409 460139 434729 085174 974167 984978 568052 967063 239555 819697 343065 029525 894504 258870 662846 522522 649674 931131 793004 632632 026479 310701 394502 324610 733746 271784 367840 636637 410159 305200 386773 250565 193454 618425 197986 719093 288516 390555 482484 824773 486693 239122 518262 290655 743468 055401 224841 221681 899114 278206 262344 665376 026069 362862 605392 810160 129548 937676 799783 464206 147419 154351 374499 687145 456628 727738 888222 915106 233839 769835 361202 387634 560605 345719 513038 917451 838743 287702 584328 621552 222877 844981 373059 698432 384112 079959 731537 635539 118514 764336 039333 810009 840592 103859 943677 273962 890936 422921 010381 889674 635664 595885 521942 036879 408377 835500 085631 631155 921840 279955 288482 787606 053739 910067 768681 953594 818876 008088 942524 682192 726270 256885 318122 301342 490891 793969 872341 479847 247398 681187 920290 849909 642923 604755 480451 367921 711127 816436 242444 138993 183259 249367 343138 511197 869133 262001 681061 343432 155944 593421 386346 699136 816379 946886 027901 065800 237469 530379 259677 188925 232676 529135 176424 008430 953039 768404 600469 856647 544570 036932 575295 640595 228605 895448 205259 479878 936181 732220 952355 118759 197486 883664 522112 936785 406995 339773 904545 457276 067733 146937 833475 442627 585047 040262 782753 718967 218919 242176 045509 689359 758774 569084 757669 405526 055059 293755 090285 113419 728135 075697 016720 076654 894108 310901 149700 334377 791054 910832 953409 957070 087714 835919 885331 652126 331153 423998 472234 695887 425765 762834 411043 801394 777559 978258 064606 275000 340642 221100 284963 691638 471379 962703 777578 793759 401050 851797 781266 675494 806436 005344 179560 157674 796665 770333 791461 157981 049140 279323 230743 876877 044385 902262 174021 120339 290650 878973 061915 396803 721130 148287 791552 586560 797773 976336 164492 524792 127531 069180 544590 808994 737782 505803 567463 448040 501473 115143 926162 127793 936354 752328 186159 498150 533900 984256 236698 385518 274864 822684 255045 225324 222471 983116 555214 584731 243471 006542 474941 868915 945253 725114 632030 939182 353662 941139 393219 800759 404262 744219 888401 131626 577786 947841 954358 219615 148081 902503 810563 833217 878039 826763 008614 956751 991168 744971 442498 885131 718383 395716 021657 361337 865546 142217 301391 795234 330413 494176 375539 512578 848303 934226 194176 698949 485806 526061 429286 444671 998700 021915 624971 280749 647900 189971 153405 831624 126142 472280 447180 031939 503883 193238 934573 466517 721549 207101 712193 670203 596654 376592 343190 730631 966693 161539 581147 140880 598219 060040 184553 731656 684308 592976 013922 877635 562996 040036 431335 469784 954616 425163 382335 588796 482101 347191 513279 633150 760023 670197 425680 644161 608856 218138 941283 818226 543203 218336 239980 070579 819348 725377 092067 425668 380626 568574 163405 309477 214495 217237 693745 185513 310026 221516 422605 267742 151280 713223 853726 455125 988396 897777 107261 557805 033932 739480 976817 888321 791434 225429 919407 915061 856669 631583 455518 769459 928531 995203 683210 549864 990701 922755 312231 888257 630342 119143 304910 215964 640844 614960 339928 554683 910687 170196 177219 273618 394531 531020 108443 149285 468646 141221 539670 406798 418177 724575 340817 963871 973645 853461 575765 430009 041194 044631 238620 412454 223808 642753 511606 628074 423802 726411 886023 928939 090499 795401 673577 128975 977927 343295 721796 282672 738091 259856 759242 587479 934297 339355 502186 975349 155664 670202 955162 746442 287937 486848 / 751 > 25611307 [i]
- extracting embedded OOA [i] would yield OA(25611307, 11309, S256, 11264), 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.