[math-fun] GCHQ puzzle