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 ≡ 64005538255882 (mod 758273739531656) x ≡ 183032892773660 (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 ≡ 64005538255882 (mod 758273739531656) x ≡ 183032892773660 (mod 639246385013878) x ≡ 188759004847193 (mod 633520272940345) x ≡ 50415205387384 (mod 385932036200077) x ≡…