There Is No Binary [35, 10, 13] Code

It is shown that the generator matrix of a putative linear binary code [36, 10, 14] contains the generator matrix of a [32, 7, 14] or a [33, 8, 14] binary linear code. In a first step, all nonisomorphic [32, 7, 14] and [33, 8, 14] binary codes are enumerated. Then it is shown that none of these codes yields a [35, 10, 13] linear binary code.