The second order Reed-Muller code of length 64 has covering radius 18 (Corresp.)

The assertion of the title is proved by first showing that the covering radius of
R(2, 6)
cannot exceed
18
and then constructing a weight
18
coset leader.