Python Chinese Remainder Theorem