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 ≡ 215275172312746 (mod 627016053749209) x ≡ 336280159741171 (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 ≡ 215275172312746 (mod 627016053749209) x ≡ 336280159741171 (mod 506011066320784) x ≡ 388718354484776 (mod 453572871577179) x ≡ 15387729361620 (mod 165380699340067) x ≡…