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 ≡ 9988691296789 (mod 184200192271908) x ≡ 166393777804023 (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 ≡ 9988691296789 (mod 184200192271908) x ≡ 166393777804023 (mod 764595874852306) x ≡ 222208150599496 (mod 708781502056833) x ≡ 130763423136138 (mod 800226229520191) x ≡…