ところで3n+1 を5n+1とかにした変形バージョンの検証とか誰か
してんの?