There is no linear OA(2⁸⁸, 7711, F₂, 16) (dual of [7711, 7623, 17]-code), because the Johnson bound shows that N ≤ 564 426685 949112 012794 108553 094632 081698 987725 706301 475823 433476 222131 086072 949623 012080 943217 042074 377117 007597 452999 917091 187998 992863 957418 219788 846011 725217 187321 574222 952853 712926 167076 751699 317214 541161 667878 533844 983474 740480 592957 137081 378885 502133 851459 947698 098497 962722 573741 894790 467741 161546 001086 523756 895576 602644 038338 326318 557432 252405 879784 676779 135851 547019 554700 225178 574418 908125 488595 728815 120930 477158 615839 505454 330353 921459 089889 228786 797659 573567 068134 005698 596888 415340 118581 440954 309394 251689 370121 468998 221370 530452 049835 721211 670140 926803 986793 845330 808697 768844 043322 309896 292442 986191 514641 925662 486722 387322 848601 772049 494173 982401 082628 938007 661915 575065 867072 833095 148264 761126 497524 141553 107334 231307 446494 824712 234776 765719 826252 033684 442774 666450 008222 112775 252267 335408 492069 022559 496944 271115 256007 165072 680653 123352 026773 228012 227570 672723 450259 791403 324549 381776 273478 111392 743518 803797 479365 976607 900669 265839 528164 935997 313087 715147 880121 676049 494924 231609 701725 279898 152347 497566 072693 399574 217855 456059 451693 311034 242826 393119 903686 099649 691487 780979 036255 286748 518403 412817 631359 776031 950080 825076 169541 941909 460666 411966 450392 183674 127025 515245 229010 018356 229424 923686 826587 543910 476712 755323 718512 351319 641470 130567 799984 464531 601490 178356 524901 028284 543977 622465 744613 033718 211953 131615 277213 784464 908130 774242 424220 333999 497048 672558 559961 403714 382901 549401 184426 003539 730563 290938 538869 661000 067091 134944 202285 794005 817978 807302 779055 712122 419142 090680 295691 287247 205834 150273 491228 608030 414182 899357 715090 112174 126183 466032 480002 141666 268369 175713 644832 292618 774186 653804 122746 338189 396777 401582 627845 529820 317937 267320 126743 934913 587357 615218 895012 357893 830070 404250 989934 657550 775523 307814 673287 882569 391072 880869 888420 399972 907363 318898 352628 018514 020418 029659 922409 727024 147244 767170 225121 495703 954847 313297 040758 637936 793971 350569 047796 699535 244802 476130 251346 212333 218139 542928 968125 860159 309337 650538 865373 826690 193500 202736 296548 059147 256718 000796 460151 238494 114342 777970 796084 421219 432233 883812 695935 892549 721162 852584 944222 889706 239870 339142 434116 359674 510442 599646 040812 748453 029641 542718 493900 333465 264655 046471 881592 734447 892475 653441 684925 280327 462881 337116 857517 754467 925040 681016 662655 990053 632468 945345 063148 542889 275894 205272 < 2⁷⁶²³