[math-fun] police badge tiling problem