>>114-116

>>112は大体理解できました。mod12は分かりません。

>　で、「最下位のオンビットが連続しない」数は、「４で割って１余るｎ」であり、
>それが正のコラッツ操作（２）によって「６で割って２になる数」に変換されるはず
>だから、それを満たす数について考えればいい >―― ような気がする。
例えば17を見ると、4で割って1余る。
コラッツ操作(2)で26になって、6で割って2余る。
しかし17を2倍して1引いた数が3で割りきれてしまう。
コラッツ操作(2)に違反していると思うのだけど、こういう数はどう処理するの?