§6 — no connected three-term weight-6 BB code with $n\le360$, $k\ge20$ has distance $\ge13$

Initializing...

§6 — no connected three-term weight-6 BB code with $n\le360$, $k\ge20$ has distance $\ge13$ · Prove2Me