X 2k 2k mod M X X mod 2j 1
= ( ⌊—⌋ + ———— ) × ( ⌊—⌋ + ———— ) × ————
M M M 2j 2j 2k - j