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 ≡ 83837508535991 (mod 856749491349613) x ≡ 2034656048496 (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 ≡ 83837508535991 (mod 856749491349613) x ≡ 2034656048496 (mod 21330735087207) x ≡ 7042230731817 (mod 44454512816847) x ≡ 82127064733868 (mod 107307491893967) x ≡…