[text text=(31337_24472621996685, `If the number is less than 4, we can reduce the problem to 2-bit`) size=33 y=-50]
[text text=(31337_87709120049440, `If not, then the first [T] bit is somewhere in the highest 2 bits`) size=33 y=0]
[text text=(31337_42632561737634, `Either way, the problem goes from 4 bits to 2 bits`) size=33 y=50]