Information on Result #2158182
There is no linear OA(2145, 42837, F2, 23) (dual of [42837, 42692, 24]-code), because 1 times truncation would yield linear OA(2144, 42836, F2, 22) (dual of [42836, 42692, 23]-code), but
- the Johnson bound shows that N ≤ 373685 987461 914580 590407 977597 446565 045578 814859 440038 873139 614199 808212 570075 413722 797089 794969 179585 857168 401055 416019 050045 213880 213928 258961 908564 000968 593207 472464 837735 676193 641341 404775 011484 940319 809196 362180 271026 315846 947992 561135 737890 531059 635579 438515 141412 872299 594209 082528 585212 788315 685594 034071 496221 613257 411125 234945 048599 817119 995617 833412 848982 336144 716644 277286 917367 075870 555476 599964 825089 937589 817671 527541 927677 851087 752534 579568 090257 591150 624037 920942 693447 892105 982970 078136 575357 662246 893135 950321 922875 155352 133795 755062 514486 501374 548115 149820 179128 725765 649063 839381 726362 356345 774332 607009 502118 983915 908238 738142 758373 245744 325725 283899 925449 073239 181203 902592 359066 321246 061870 334843 626310 523906 059234 188643 511551 811926 743060 522040 558561 795332 630993 541211 431427 116632 634582 800567 583844 555320 486058 462927 050594 695363 525802 416144 653949 187141 439123 823768 410640 518486 258399 907969 252523 364424 910227 375916 577745 148333 664233 301853 815189 148126 886868 581551 812209 033668 575845 840533 790957 657889 368699 397831 444588 690890 339875 565091 553823 517698 188329 633724 496988 973453 467328 489898 775848 182202 640324 533952 222422 089840 476893 598793 080545 496795 844453 143434 399849 082924 569390 745120 409915 500059 524623 156604 369765 985730 149699 777957 258450 890948 267543 798141 392484 162975 638607 597082 611636 390478 922414 163160 079888 172151 179850 003782 194342 151640 017097 249272 549556 480180 022128 427298 659447 678158 214105 126364 015817 967348 892728 181725 710815 078351 174053 386640 633270 723982 041816 983759 259826 589516 901687 862051 184275 343001 320517 108618 734459 205000 393819 734141 931824 969327 335350 575938 192602 841153 927445 230637 282869 123787 753976 940396 700440 074305 568072 470412 164218 284236 911075 979878 203480 077557 372402 591293 662407 845121 790040 300298 092952 102980 154731 159075 638061 718739 666765 244196 220638 400098 251766 585029 196575 512748 528674 393174 372285 046070 403192 258745 814614 171544 019983 635497 298708 596661 576004 803114 826302 317157 130865 239875 628828 316945 222014 108977 414127 393199 830053 186734 171998 526749 750479 646450 481830 561473 972676 727206 814227 587256 603458 035442 989601 739912 354094 445136 420284 925252 784478 651913 331841 536425 865404 285068 284715 580227 681634 037889 122094 522040 420406 750265 604705 907893 778559 559012 966629 968477 015748 609667 743988 540127 815883 680150 953389 057686 820170 922554 469465 686896 665018 683800 910930 454309 107941 598541 693819 735906 682830 745856 993813 134444 154354 916752 238692 454539 028144 495362 164458 885549 694523 635047 507977 377820 370094 283563 484185 296484 985051 715706 420185 434075 461878 148768 848981 824784 125306 159265 828296 029344 550361 114958 530128 895624 510589 023054 388647 190537 849407 951341 348166 524628 939929 633148 689694 836787 272140 002358 133610 234803 902340 456865 655373 749384 687285 930089 294824 320651 972286 271895 170494 052378 422531 385132 284042 104775 744068 732986 218373 220288 403430 138089 629637 247876 282943 806068 930842 073811 858048 110423 886150 703125 909146 076184 395665 399500 489861 480938 684412 110996 569565 266966 749655 731088 686783 051877 961283 134165 169222 791845 951850 937922 495416 420395 955659 734189 268608 884619 456133 415086 539621 060786 103301 406794 227417 042257 725525 490831 546710 971697 824231 467106 985783 814676 901231 492432 045084 424131 860882 879636 329721 468060 472611 247321 454942 913817 937527 836861 866457 390467 713587 897508 815237 478671 698138 074888 628416 260437 430308 224446 481382 742080 752770 326791 149498 368148 683926 951295 543710 813973 280129 346287 660067 104634 782557 664400 495604 136187 378866 629794 759827 962925 877211 961358 604606 178234 202775 011043 742904 935020 048209 774152 367983 490739 619504 779472 515747 954796 429223 691859 679430 332047 485475 115179 648049 946929 295295 551279 329601 840133 406440 467138 579107 943617 092946 037022 782432 564551 767796 512990 186663 936375 057101 635509 566257 620580 994062 186235 215521 633855 403806 438270 489971 008228 091399 401598 701342 173586 745981 330096 481017 170808 034329 525132 387647 385840 723401 726323 089482 811714 972824 570936 659096 979963 960278 277630 147388 424137 406807 052827 581699 764896 245795 804878 518351 018777 438760 114574 470440 260524 596439 572415 890335 829239 940897 731241 108108 698342 208418 056185 782751 133596 306828 686105 209974 159580 263776 540369 432405 822075 653988 215405 692159 791574 294154 937561 446806 323915 126177 674595 249251 024466 873411 799864 953873 380256 778613 708694 597127 364526 876078 747971 288074 174577 267604 002899 407491 781967 993264 183456 014175 713874 982468 717964 539552 980840 964345 726103 217308 824282 646786 831978 600229 038578 176509 979357 448822 070506 582696 962288 255482 245430 948276 463218 570412 635913 671356 155638 787686 064998 455365 050051 696555 223206 065304 330322 777754 700279 775625 728121 298459 637728 477113 249422 030861 272221 843891 871096 311406 703491 550126 762009 635357 136176 891902 301132 601279 647733 561402 508576 919950 324805 231537 628143 168258 224575 033729 481298 252856 437061 799901 939160 872486 710991 387767 844149 558623 194100 110868 121589 213305 916287 204941 528621 329241 386528 554312 233537 413367 024826 313328 784267 479309 368938 408594 034969 350730 437884 284039 499895 115653 415378 977157 513103 784581 246425 274253 548846 929066 240133 814815 247861 270832 310641 799714 701446 050249 422906 867328 345424 854684 720670 971517 232737 896956 818513 699361 964842 182021 857254 290914 092166 260898 342286 304670 083158 989273 981455 025323 978382 514400 387213 365683 479981 987578 279119 900947 923595 159900 888620 103683 032896 175123 216526 810732 741234 763475 750390 672700 861262 629465 214063 646050 962995 042359 033206 412498 924580 914890 978243 125631 137760 843683 085484 050683 314202 338054 658113 172731 319919 472640 477301 616187 821628 948159 787631 184453 560263 038889 370550 205789 369278 655055 495569 010407 819399 385456 293293 521939 550824 193712 520262 025688 386940 262173 994266 221801 537364 645483 278819 204163 895582 347167 630125 444617 928559 801970 995673 793379 791358 163960 454166 793398 603844 369055 122397 847621 327196 189189 049910 163049 962269 201887 024918 222479 279595 499331 272056 652050 338366 713621 828470 137212 977054 086517 505654 804905 135493 136976 967264 644756 225286 239870 047476 483148 519465 941586 678497 874043 765377 851308 425120 343832 494961 327501 943435 447560 775029 565625 956094 088429 658838 627060 137739 861230 225302 634114 331639 146987 895281 748883 869236 000124 207739 563603 658761 747555 406125 274057 959305 057342 099565 379815 211897 194332 713735 221554 047789 503114 541924 513088 888909 367397 195525 280185 326969 459134 083647 373389 206083 447358 744491 854227 785956 233316 366093 929529 923242 667962 615292 611995 651785 975303 823296 172650 123417 397755 807788 066292 534574 648449 583097 197916 110790 113410 748086 070050 790883 193639 855854 476450 046597 075349 453324 196041 529826 094461 224616 118642 233316 133503 549860 433532 997851 709280 545944 892926 126392 694308 062186 672543 092837 816634 003700 408348 227029 867123 460561 583195 009052 070809 478076 925725 461029 367626 566934 996799 705789 177462 034706 927665 353820 740504 598927 662356 200916 079245 666535 810101 329960 126260 394611 580770 507292 311816 276710 658026 007710 188033 403490 519344 244726 153850 522720 583439 450128 769426 738916 366267 168438 578438 712469 063476 399281 696376 258669 686325 906611 578091 832834 942441 379123 211921 534911 517976 789956 998410 207732 688752 932332 071142 866063 408120 415222 799804 922422 289488 623866 459026 847347 719883 731108 406320 477774 257719 833758 376348 437347 240903 450697 537932 277038 135131 360551 726415 572690 735203 894949 574626 935121 128467 302721 615941 185040 692668 675181 315192 653657 862103 282648 136732 462405 322117 002293 108875 912356 957497 975744 777672 452734 088269 320297 066852 514936 355440 057923 608236 628933 481780 469793 992596 471660 056387 656443 013232 016721 512763 384055 926811 340420 770258 558190 242507 199434 414950 476842 859290 080076 694856 648019 364256 748282 876041 679052 463726 301341 576473 769919 246969 533007 416730 210090 921655 930416 985897 543669 770670 992532 292415 799310 550936 080498 289641 613407 394682 745833 312212 289442 665621 682276 549572 221514 511380 872406 534826 420015 513479 727550 319371 691001 513889 468231 433137 957635 693874 652344 682512 939812 550933 229981 139820 198943 728370 163427 103792 186283 004159 601934 136900 374856 688002 985746 130257 014532 199490 634517 548730 895928 253323 920123 133360 635175 194592 803077 992277 381532 255377 452392 832437 139807 864768 082709 453040 876024 612374 327115 385929 726527 093914 296092 136407 056771 086062 691240 619597 713698 713930 593063 489236 568083 313395 829195 311151 100820 576890 240975 382460 082603 408583 260322 356673 313906 634070 535562 370444 460234 166785 114816 557137 947297 526165 932329 886056 552744 393559 170256 741583 983006 157313 403536 327318 645785 956671 358023 079274 647889 358637 609425 463580 530463 011307 305317 404432 678786 123155 254278 009507 051395 278921 773570 621881 266305 408767 337498 506010 904105 109867 740695 997751 028024 213964 827142 395850 227158 444855 979597 133988 497219 110407 013242 237466 240006 606335 745504 706801 788595 259532 265887 663023 881523 027810 220643 747204 202137 252580 562137 843036 903887 829995 209435 814005 789292 286132 871463 919501 777075 690849 838542 206492 727761 523354 467553 026649 700118 300520 470281 249972 962211 628734 010054 285062 352987 667114 524300 441467 420148 040929 924355 647317 849642 254506 107421 173789 043595 092794 745979 544440 654472 407847 877190 249732 222129 415204 149873 904166 880985 954933 034410 997572 602869 454199 195440 672516 178549 583077 495210 846401 033375 573383 537330 936482 382735 110771 604784 938288 968646 005791 366281 696779 609508 086498 233666 518206 895398 676179 995203 756683 312829 829364 181835 784858 554029 206739 270655 881407 072519 993393 615348 968970 054384 516471 283455 492636 023195 717711 605064 092985 821360 527706 118189 589090 049225 239591 630432 175925 155221 181589 071429 555929 587307 609374 121231 775545 273871 786709 879624 476955 783852 606091 598745 794635 946918 019594 631765 815731 848673 581016 350979 615232 776760 512168 930243 006981 863966 653295 626068 956666 197647 596013 064084 291646 202202 720976 450999 760328 384259 496354 654724 677983 573422 002187 858507 726832 528397 457159 752529 649913 589033 707015 378766 703238 152499 916102 604852 946891 201610 979373 411954 920518 639231 596308 243093 114577 329490 183482 348998 784340 416152 060338 099821 169660 153235 627860 562924 411806 448084 194321 413735 466349 579749 717637 609435 543508 019089 577136 690401 576473 393982 010256 506747 730885 428297 368571 781701 865754 876306 798157 167851 260718 900348 115298 745964 713156 632605 345305 681600 786336 702034 791882 607870 204988 072193 226125 169402 370129 499837 349478 374209 160312 399327 954499 112604 636451 742414 251076 831557 097745 625657 551992 712822 453160 032150 498230 579533 397118 492115 312006 610475 175177 709012 468276 247009 940781 348527 609443 940551 114848 455189 413758 150536 308156 275801 338316 935973 860755 356242 488348 228269 608008 051234 822252 068922 030642 839787 923435 319777 316333 529746 636467 556340 995031 048490 143575 084150 567840 103831 408780 488887 950766 953495 893059 296656 910540 376560 056662 299342 561132 703590 657113 708837 499662 713961 632743 986144 567592 120111 730812 244353 984472 171118 481024 938635 964964 927165 096396 366522 705215 096233 057835 377760 348483 525555 839079 060774 675233 486187 830561 196750 787666 367581 016968 058685 415111 645765 445199 433366 776844 611472 711574 942978 454832 706016 383425 512715 233352 378135 726121 087489 934167 739388 257249 458725 244445 253004 956364 890409 502226 860144 837666 640669 441484 034736 888394 850449 170322 337649 984240 366552 453375 725484 307303 105362 514971 955977 915470 213605 674834 696985 205627 304965 888026 235988 949079 842566 680351 691790 612620 497303 786939 525345 501641 161881 006490 144050 394426 594853 285029 041806 549274 566468 752139 433595 629261 950653 288037 860790 941568 352807 849781 018018 565780 631187 990575 954410 081551 960500 319662 001463 309792 499157 863012 733471 752802 611267 039323 500845 308766 497868 661296 473976 337138 033760 580899 482717 585377 911297 073390 489705 842619 308568 046648 105783 436047 111370 899807 055175 135161 502361 199913 337559 928423 118884 841248 874348 041007 036316 365343 630350 488274 402540 095554 160368 500667 839251 835168 886848 367961 878479 927648 801546 799164 884135 344682 921132 470657 494211 188816 179224 431679 457654 080711 929072 903979 556893 854497 759350 204787 452389 478147 563599 273902 845706 106337 086758 467889 603436 746991 589780 869018 077279 972542 875976 616570 484886 801380 490709 420916 241824 868519 628471 596764 742892 529062 947152 382840 407127 202830 057670 214921 357225 976486 356709 146838 879010 002729 735816 980853 978058 803809 612153 118632 718213 742287 527720 582896 532581 708796 715554 719424 185735 925384 143726 215840 397419 793084 166257 046841 841139 224929 313890 524011 973705 901798 087771 318997 416579 534296 432041 384710 530041 737578 006409 977258 225646 542610 392479 045809 000352 728684 347945 439462 759721 707595 500841 979344 179926 425219 777962 637642 474859 680621 890047 530699 133993 142607 864457 034008 012346 441543 294706 267500 546974 844554 433986 729831 945632 743833 977807 758579 996957 059945 280533 564677 482449 951597 853158 266490 608344 890212 264175 993995 318562 996976 009714 091358 396073 069242 452375 137765 275910 674331 109990 887778 773485 772721 685437 651975 791922 771720 806335 629060 869226 296818 049947 972783 292669 856568 393620 600643 214204 265781 638282 396739 647678 267246 376145 166408 401560 729752 233807 632307 594324 904542 367900 907336 520448 313560 297238 441812 129417 524673 572101 773401 462303 913899 492794 763802 662373 502217 095381 112411 788219 941499 343637 912797 891464 812983 996104 065057 504136 449456 057493 947853 405730 390983 757067 410730 534276 937583 634150 545985 920734 547275 464598 473379 614113 587559 421545 309555 129877 915399 667811 071279 258656 233476 661021 517534 728418 218598 323245 041397 514423 531292 486173 267767 460317 365746 246802 048248 221607 253594 468419 082679 954078 066287 096488 457236 114565 453975 427295 750396 704842 734990 552750 770107 408742 910159 168501 255473 843532 327801 528890 171683 746688 < 242692 [i]
Mode: Bound (linear).
Optimality
Show details for fixed k and m, n and k, k and s, k and t, n and m, m and s, m and t, n and s, n and t.
Other Results with Identical Parameters
None.
Depending Results
None.