x==collatz_number(x)をチェックすると
3*2^tは該当するみたい。そりゃそうか。

あと、「先頭nビットが一致する」だと意味ないかな?