で、お気づきかもしれませんが、現在のアルゴリズムはコラッツ逆操作しか考えていません。
これが「コラッツ予想の 19n+1 版は成り立たない」とは結論づけらない理由です。
（コラッツ逆操作しか考えていない理由は、これだけでもさしあたってうまくいっていたことと、コラッツ操作まで考えると一気に複雑さが増すことということです）
（逆操作だけというのはかなり制限しているように見えますが、実はそれほどでもありません。また今度話します。）

今回の結果についてですが、
まず出力結果にある C' は「mod 133(=7*19) で 2 のべきである数の集合」になります。（これもまた今度）
このことから今回の結果を次のように述べることができます。

定理
コラッツ予想の 19n+1 版を考える。
このとき、mod 133 で 2 のべきである数からコラッツ逆操作を繰り返しても、
mod 133 で 2 のべきである数以外は得られない。

これはちょっと予想外でした。
3n+1 では今までコラッツ逆操作だけでうまくいってたけど、
そのうちコラッツ操作も考えなきゃいけなくなるかもしれない…