Binary (80,42)-code with minimal distance 12

[10000000000000000000000000000000000000000001101100100110001010100010100010000110]
[01000000000000000000000000000000000000000000110110010011100110010110001010101101]
[00100000000000000000000000000000000000000011010011110101010011001111010111011001]
[00010000000000000000000000000000000000000010100001000110001001100011111001100011]
[00001000000000000000000000000000000000000001010000100011100111110110100111011110]
[00000100000000000000000000000000000000000010101000010001110000111100001000000001]
[00000010000000000000000000000000000000000010011100110100011000011010010110001111]
[00000001000000000000000000000000000000000000000110100110101111001110000010100110]
[00000000100000000000000000000000000000000000000011010011110100100000011010111101]
[00000000010000000000000000000000000000000011001001010101011010010100011111010001]
[00000000001000000000000000000000000000000010101100010110001101001110011101100111]
[00000000000100000000000000000000000000000000011110110111100101100100000111010010]
[00000000000010000000000000000000000000000011000111100111110001110001001010001001]
[00000000000001000000000000000000000000000011100011110011011000111000100101000101]
[00000000000000100000000000000000000000000010111001000101001100011000000000101101]
[00000000000000010000000000000000000000000011011100100010000110001100000000010111]
[00000000000000001000000000000000000000000001101110010001100000000001011011100100]
[00000000000000000100000000000000000000000011111111110100010000000100111111111100]
[00000000000000000010000000000000000000000000110111000110001000000110001101110000]
[00000000000000000001000000000000000000000000011011100011000100000011000110111000]
[00000000000000000000100000000000000000000010001101110001000010000001100011011100]
[00000000000000000000010000000000000000000010001110000100000001000100100011100000]
[00000000000000000000001000000000000000000001000111000010000000100010010001110000]
[00000000000000000000000100000000000000000000100011100001000000010001001000111000]
[00000000000000000000000010000000000000000010010001110000000000001000100100011100]
[00000000000000000000000001000000000000000000000000000000010101001001110010011100]
[00000000000000000000000000100000000000000000000000000000001010100100111001001110]
[00000000000000000000000000010000000000000000000000000000100110010101000111001001]
[00000000000000000000000000001000000000000000000000000000010011001010100011100101]
[00000000000000000000000000000100000000000000000000000000001001100101010001110011]
[00000000000000000000000000000010000000000000000000000000100111110101110011010110]
[00000000000000000000000000000001000000000000000000000000110000111101100010000101]
[00000000000000000000000000000000100000000000000000000000011000011110110001000011]
[00000000000000000000000000000000010000000000000000000000101111001000000011001110]
[00000000000000000000000000000000001000000000000000000000110100100011011010001001]
[00000000000000000000000000000000000100000000000000000000011010010001101101000101]
[00000000000000000000000000000000000010000000000000000000001101001000110110100011]
[00000000000000000000000000000000000001000000000000000000100101100011000000111110]
[00000000000000000000000000000000000000100000000000000000110001110110111011110001]
[00000000000000000000000000000000000000010000000000000000011000111011011101111001]
[00000000000000000000000000000000000000001000000000000000001100011101101110111101]
[00000000000000000000000000000000000000000100000000000000000110001110110111011111]