pub fn garner(r: Vec<u64>, m: Vec<u64>, modulo: u64) -> Option<u64>Expand description
$$ \begin{aligned}
x \equiv r_1 \pmod {m_1} \\
x \equiv r_2 \pmod {m_2} \\
\vdots \\
x \equiv r_n \pmod {m_n}
\end{aligned} $$
を満たす$x \pmod {modulo}$を求める。
そのような$x$が存在しなければNoneを返す。