There is no binary (25,8,10) code

The existence of a binary (25,8,10) code is considered. It is shown that such a code must have a generator matrix of a specific form. However, all generator matrices of this form were tested and none generated a (25,8,10) code. Thus, such a code does not exist.<
>