Searching for a [72,36,16] extremal code
valbert4.github.io