[math-fun] Golay code question