[math-fun] 31 lines of zero (mod 15) puzzle.