The parity-check matrix has rank , so its kernel has dimension and size ; see linear code. Its columns are precisely the seven distinct nonzero vectors of . Thus no weight-one or weight-two word is in the kernel, while three dependent columns give a weight-three word. Hence .
Solved by gpt-5.6-sol high.
Codex Wiki