| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5485 | 
1 | 
 | 
 | 
T7 | 
51 | 
 | 
T9 | 
10 | 
 | 
T33 | 
17 | 
| len_601_800 | 
12456 | 
1 | 
 | 
 | 
T7 | 
94 | 
 | 
T9 | 
23 | 
 | 
T34 | 
1 | 
| len_401_600 | 
8238 | 
1 | 
 | 
 | 
T7 | 
69 | 
 | 
T9 | 
25 | 
 | 
T33 | 
16 | 
| len_201_400 | 
16455 | 
1 | 
 | 
 | 
T7 | 
35 | 
 | 
T9 | 
3 | 
 | 
T33 | 
9 | 
| len_65_200 | 
73960 | 
1 | 
 | 
 | 
T1 | 
685 | 
 | 
T2 | 
685 | 
 | 
T3 | 
685 | 
| len_min_for_xof_require_squeeze | 
1009 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
9 | 
 | 
T3 | 
9 | 
| len_keccak_block_sizes[72] | 
761 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
9 | 
 | 
T3 | 
9 | 
| len_keccak_block_sizes[104] | 
748 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
9 | 
 | 
T3 | 
9 | 
| len_keccak_block_sizes[136] | 
759 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
9 | 
 | 
T3 | 
9 | 
| len_keccak_block_sizes[144] | 
292 | 
1 | 
 | 
 | 
T149 | 
1 | 
 | 
T187 | 
5 | 
 | 
T142 | 
5 | 
| len_keccak_block_sizes[168] | 
295 | 
1 | 
 | 
 | 
T38 | 
1 | 
 | 
T187 | 
5 | 
 | 
T142 | 
5 | 
| len_datapath_width | 
14142 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T2 | 
9 | 
 | 
T3 | 
9 | 
| len_2_63 | 
212278 | 
1 | 
 | 
 | 
T1 | 
1643 | 
 | 
T2 | 
1643 | 
 | 
T3 | 
1643 | 
| len_1 | 
61 | 
1 | 
 | 
 | 
T149 | 
1 | 
 | 
T51 | 
1 | 
 | 
T23 | 
1 |