There is no linear OA(2¹⁰⁰, 9176, F₂, 18) (dual of [9176, 9076, 19]-code), because the Johnson bound shows that N ≤ 140 627161 094927 328068 761646 893835 728024 793145 171993 164146 264254 077779 288628 433519 168777 635375 045702 081345 085002 235179 962108 456073 105474 232995 448254 336024 246736 601061 325352 557626 964849 555166 091721 677555 755739 682536 780624 738651 602059 586138 479533 347550 623981 484602 288114 128701 379592 490883 368396 956085 071042 361127 060921 427678 351378 423626 687028 801771 225962 684858 559309 821758 827020 126790 203893 611112 056364 010040 781114 996215 382988 108479 065541 128318 408353 613209 067738 458663 390968 211904 748264 257396 420850 794757 895933 768055 332210 981451 339701 669336 833291 112239 693118 149984 295060 074574 602413 525072 518547 531265 203968 676384 694673 193886 684731 008298 483879 872555 586855 560938 285995 344695 743301 743693 885069 835960 254379 990740 273913 530136 543695 479590 656394 723849 644502 115664 952826 027172 982877 591594 912693 017510 600425 415792 816128 479970 089306 919572 212420 436495 709106 769020 042051 853114 411909 311332 563567 274652 909979 176764 519168 086857 611403 347905 115553 887071 665463 220983 021362 712715 475163 104790 398303 578159 662976 368382 638690 639376 501657 577656 507562 528791 588758 430567 596275 536052 688402 510698 042166 003771 575970 198667 646913 513180 735440 640115 118493 085611 464944 461444 849398 070603 974227 360034 973546 439067 974036 340205 632200 894599 615067 809083 349350 568767 048413 151275 338473 461937 072124 924123 815902 921131 544562 706452 302126 864666 091752 330069 166110 299032 377703 097741 031749 545725 136954 991316 666816 370285 837313 273714 392664 729563 911494 919376 231164 918548 827800 394747 463469 927058 257320 952869 723386 345132 320946 388767 670341 750921 778549 787199 217782 569986 941915 721271 209500 862004 397080 660251 772999 924091 538621 174396 734393 079718 310911 081710 114095 438915 233506 856289 969258 128164 732347 658956 335862 430614 194455 429341 283698 429426 975340 426001 139971 368817 748682 957814 305094 163644 547864 526359 408540 876509 326551 807279 143763 147680 350434 522332 742127 923400 214772 077271 598296 467707 366033 833944 083019 257327 940645 766956 645281 745379 080611 852477 550271 851033 036315 886368 919249 322482 250154 061387 412541 409015 477548 055515 302595 037189 839797 402711 221560 632227 952324 503071 857788 793884 921762 501639 528033 028996 835470 662887 804323 175512 977170 940062 743891 821742 469449 094238 471703 185565 065690 801874 538173 433034 925151 403193 232951 835332 980087 002450 179581 746774 100724 148624 361609 411617 452545 749166 089998 077105 013368 363270 150921 129358 678186 482987 874510 437272 905621 985278 582413 899422 673760 641897 030735 397652 553184 400539 254896 525483 983622 930291 143759 727069 034007 960139 422927 484923 267247 207740 201445 196017 418669 728612 792482 289386 275190 142584 630878 634684 749311 129560 158712 006671 381755 164361 348041 815597 214874 256732 929951 602407 122565 107836 744601 929747 492444 721529 136076 839002 182178 397081 355689 040140 572004 680913 423363 084405 571260 144131 452553 406964 758946 377162 696781 739439 912162 120627 325207 287053 835099 199623 667509 621710 < 2⁹⁰⁷⁶