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 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 79160215 (mod 1327847258) x ≡ 23488761 (mod 271136597) x ≡…
The task
Find any non-negative integer x satisfying all of the following 6 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 79160215 (mod 1327847258) x ≡ 23488761 (mod 271136597) x ≡ 975433210 (mod 1759421521) x ≡ 369309777 (mod 1182772477) x ≡ 70735085 (mod 1332059823) x ≡ 841923135 (mod…