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 ≡ 25971426 (mod 699192753) x ≡ 216672749 (mod 2351823974) 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 ≡ 25971426 (mod 699192753) x ≡ 216672749 (mod 2351823974) x ≡ 1790848934 (mod 3129471763) x ≡ 868559058 (mod 1350587213) x ≡ 666518614 (mod 4253802083) x ≡ 1383927961…