arXiv++ Combinatorics

This is the TeX version of the {\it Mathematica} file used to prove there is no Type II binary code with parameters [72, 36, 16] or [96, 48, 20].