
$( \bmod ~2^{r_1 -1} )$
