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

[10011111111111111111111111111111111111111111111000000000000000000000000000000000]
[01011111111111111111111110000000000000000000000111111111111111111111100000000000]
[00111111111111000000000001111111111100000000000111111111110000000000011111111111]