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 ≡ 44403823089021 (mod 79172179552947) x ≡ 25048082607657 (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 ≡ 44403823089021 (mod 79172179552947) x ≡ 25048082607657 (mod 256872279140205) x ≡ 76955881404796 (mod 102482240171533) x ≡ 45120266330207 (mod 47360019083531) x ≡…