Chinese Remainder Theorem Practice