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 8 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 50825584869996 (mod 54294713611346) x ≡ 36652115646092 (mod…
The task
Find any non-negative integer x satisfying all of the following 8 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 50825584869996 (mod 54294713611346) x ≡ 36652115646092 (mod 468591800308393) x ≡ 298573646804699 (mod 675262069458179) x ≡ 388014047496109 (mod 585821668766769) x ≡…