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 ≡ 1406298 (mod 5861625) x ≡ 269378613 (mod 1102539645) 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 ≡ 1406298 (mod 5861625) x ≡ 269378613 (mod 1102539645) x ≡ 107180465 (mod 3469817083) x ≡ 1201156013 (mod 2375841535) x ≡ 349253831 (mod 3227743717) x ≡ 211950546 (mod…