construct/rlve crt
construct/rlve crt: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find any non-negative integer x satisfying all of the following 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 2068962579 (mod 3138480415) x ≡ 796168497 (mod 4411274497) x ≡…
The task
Find any non-negative integer x satisfying all of the following 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 2068962579 (mod 3138480415) x ≡ 796168497 (mod 4411274497) x ≡ 1701030237 (mod 3506412757) x ≡ 2378177978 (mod 2829265016) x ≡ 15070858 (mod 247255816) x ≡ 2482831662…