Preprint
S H N O U D I R E S E A R C H On the Putative Extremal [72, 36, 16] Binary Code
Whether a binary doubly-even self-dual [72,36,16] code exists has been open since 1973. This document does not settle the question; it maps, with certified exactness, the point at which the known methods stop, so that a future argument can begin there. On the way it proves the results below about…