[math-fun] Mayan Calendar and the Chinese Remainder Theorem