This finds the most significant bit in the ♯P problem answer.
つまりこれは ♯P 問題の答えの最上位ビットに対応している。