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 4 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 382 (mod 2367) x ≡ 401 (mod 2348) x ≡ 704 (mod 2045) x ≡ 54 (mod…
The task
Find any non-negative integer x satisfying all of the following 4 congruences (the moduli need not be pairwise coprime; the system is consistent): x ≡ 382 (mod 2367) x ≡ 401 (mod 2348) x ≡ 704 (mod 2045) x ≡ 54 (mod 77)