[math-fun] Interleavings of three arithmetic progressions