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 ≡ 81506636888873 (mod 436155846651882) x ≡ 132858872705436 (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 ≡ 81506636888873 (mod 436155846651882) x ≡ 132858872705436 (mod 384803610835319) x ≡ 45877985042183 (mod 117946124624643) x ≡ 118682690109489 (mod 199489896715633) x ≡…