Table 4

Bit-round(Cnt, k)StepResult setCandidate set

11 < 32-3{16}
25 > 32-1{16}{12, 11, 10, 9}
32 < 35-3{16, 12}{11, 10, 9}
44 > 35-2{16, 12}{11, 10}
53 == 35-1{16, 12, 11}