Binary (87,80)-code with minimal distance 3

[100000000000000000000000000000000000000000000000000000000000000000000000000000001111100]
[010000000000000000000000000000000000000000000000000000000000000000000000000000001110111]
[001000000000000000000000000000000000000000000000000000000000000000000000000000001110110]
[000100000000000000000000000000000000000000000000000000000000000000000000000000001111011]
[000010000000000000000000000000000000000000000000000000000000000000000000000000001111010]
[000001000000000000000000000000000000000000000000000000000000000000000000000000001110010]
[000000100000000000000000000000000000000000000000000000000000000000000000000000001111001]
[000000010000000000000000000000000000000000000000000000000000000000000000000000001110101]
[000000001000000000000000000000000000000000000000000000000000000000000000000000001110011]
[000000000100000000000000000000000000000000000000000000000000000000000000000000001110000]
[000000000010000000000000000000000000000000000000000000000000000000000000000000001011110]
[000000000001000000000000000000000000000000000000000000000000000000000000000000001011101]
[000000000000100000000000000000000000000000000000000000000000000000000000000000001010110]
[000000000000010000000000000000000000000000000000000000000000000000000000000000001010111]
[000000000000001000000000000000000000000000000000000000000000000000000000000000001011010]
[000000000000000100000000000000000000000000000000000000000000000000000000000000001011011]
[000000000000000010000000000000000000000000000000000000000000000000000000000000001010011]
[000000000000000001000000000000000000000000000000000000000000000000000000000000001011000]
[000000000000000000100000000000000000000000000000000000000000000000000000000000001010100]
[000000000000000000010000000000000000000000000000000000000000000000000000000000001010010]
[000000000000000000001000000000000000000000000000000000000000000000000000000000001010001]
[000000000000000000000100000000000000000000000000000000000000000000000000000000000111110]
[000000000000000000000010000000000000000000000000000000000000000000000000000000000111101]
[000000000000000000000001000000000000000000000000000000000000000000000000000000000110110]
[000000000000000000000000100000000000000000000000000000000000000000000000000000000110111]
[000000000000000000000000010000000000000000000000000000000000000000000000000000000111010]
[000000000000000000000000001000000000000000000000000000000000000000000000000000000111011]
[000000000000000000000000000100000000000000000000000000000000000000000000000000000110011]
[000000000000000000000000000010000000000000000000000000000000000000000000000000000111000]
[000000000000000000000000000001000000000000000000000000000000000000000000000000000110100]
[000000000000000000000000000000100000000000000000000000000000000000000000000000000110010]
[000000000000000000000000000000010000000000000000000000000000000000000000000000000110001]
[000000000000000000000000000000001000000000000000000000000000000000000000000000000011111]
[000000000000000000000000000000000100000000000000000000000000000000000000000000000011100]
[000000000000000000000000000000000010000000000000000000000000000000000000000000000010111]
[000000000000000000000000000000000001000000000000000000000000000000000000000000000010110]
[000000000000000000000000000000000000100000000000000000000000000000000000000000000011011]
[000000000000000000000000000000000000010000000000000000000000000000000000000000000011010]
[000000000000000000000000000000000000001000000000000000000000000000000000000000000010010]
[000000000000000000000000000000000000000100000000000000000000000000000000000000000011001]
[000000000000000000000000000000000000000010000000000000000000000000000000000000000010101]
[000000000000000000000000000000000000000001000000000000000000000000000000000000000010011]
[000000000000000000000000000000000000000000100000000000000000000000000000000000001101110]
[000000000000000000000000000000000000000000010000000000000000000000000000000000001101101]
[000000000000000000000000000000000000000000001000000000000000000000000000000000001100110]
[000000000000000000000000000000000000000000000100000000000000000000000000000000001100111]
[000000000000000000000000000000000000000000000010000000000000000000000000000000001101010]
[000000000000000000000000000000000000000000000001000000000000000000000000000000001101011]
[000000000000000000000000000000000000000000000000100000000000000000000000000000001100011]
[000000000000000000000000000000000000000000000000010000000000000000000000000000001101000]
[000000000000000000000000000000000000000000000000001000000000000000000000000000001100100]
[000000000000000000000000000000000000000000000000000100000000000000000000000000001100010]
[000000000000000000000000000000000000000000000000000010000000000000000000000000001100001]
[000000000000000000000000000000000000000000000000000001000000000000000000000000001001111]
[000000000000000000000000000000000000000000000000000000100000000000000000000000001001100]
[000000000000000000000000000000000000000000000000000000010000000000000000000000001000111]
[000000000000000000000000000000000000000000000000000000001000000000000000000000001000110]
[000000000000000000000000000000000000000000000000000000000100000000000000000000001001011]
[000000000000000000000000000000000000000000000000000000000010000000000000000000001001010]
[000000000000000000000000000000000000000000000000000000000001000000000000000000001000010]
[000000000000000000000000000000000000000000000000000000000000100000000000000000001001001]
[000000000000000000000000000000000000000000000000000000000000010000000000000000001000101]
[000000000000000000000000000000000000000000000000000000000000001000000000000000001000011]
[000000000000000000000000000000000000000000000000000000000000000100000000000000000101111]
[000000000000000000000000000000000000000000000000000000000000000010000000000000000101100]
[000000000000000000000000000000000000000000000000000000000000000001000000000000000100111]
[000000000000000000000000000000000000000000000000000000000000000000100000000000000100110]
[000000000000000000000000000000000000000000000000000000000000000000010000000000000101011]
[000000000000000000000000000000000000000000000000000000000000000000001000000000000101010]
[000000000000000000000000000000000000000000000000000000000000000000000100000000000100010]
[000000000000000000000000000000000000000000000000000000000000000000000010000000000101001]
[000000000000000000000000000000000000000000000000000000000000000000000001000000000100101]
[000000000000000000000000000000000000000000000000000000000000000000000000100000000100011]
[000000000000000000000000000000000000000000000000000000000000000000000000010000000001110]
[000000000000000000000000000000000000000000000000000000000000000000000000001000000001101]
[000000000000000000000000000000000000000000000000000000000000000000000000000100000000110]
[000000000000000000000000000000000000000000000000000000000000000000000000000010000000111]
[000000000000000000000000000000000000000000000000000000000000000000000000000001000001010]
[000000000000000000000000000000000000000000000000000000000000000000000000000000100001011]
[000000000000000000000000000000000000000000000000000000000000000000000000000000010000011]