| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5128 | 
1 | 
 | 
 | 
T1 | 
19 | 
 | 
T7 | 
39 | 
 | 
T16 | 
4 | 
| len_601_800 | 
11643 | 
1 | 
 | 
 | 
T1 | 
41 | 
 | 
T7 | 
82 | 
 | 
T16 | 
10 | 
| len_401_600 | 
7633 | 
1 | 
 | 
 | 
T1 | 
32 | 
 | 
T7 | 
58 | 
 | 
T16 | 
8 | 
| len_201_400 | 
9632 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T7 | 
28 | 
 | 
T16 | 
2 | 
| len_65_200 | 
35390 | 
1 | 
 | 
 | 
T1 | 
36 | 
 | 
T7 | 
28 | 
 | 
T16 | 
5 | 
| len_min_for_xof_require_squeeze | 
484 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T7 | 
1 | 
 | 
T148 | 
1 | 
| len_keccak_block_sizes[72] | 
356 | 
1 | 
 | 
 | 
T36 | 
3 | 
 | 
T114 | 
2 | 
 | 
T115 | 
1 | 
| len_keccak_block_sizes[104] | 
351 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T148 | 
1 | 
 | 
T193 | 
1 | 
| len_keccak_block_sizes[136] | 
366 | 
1 | 
 | 
 | 
T16 | 
1 | 
 | 
T148 | 
2 | 
 | 
T193 | 
1 | 
| len_keccak_block_sizes[144] | 
147 | 
1 | 
 | 
 | 
T36 | 
1 | 
 | 
T191 | 
5 | 
 | 
T192 | 
5 | 
| len_keccak_block_sizes[168] | 
154 | 
1 | 
 | 
 | 
T125 | 
1 | 
 | 
T114 | 
1 | 
 | 
T191 | 
5 | 
| len_datapath_width | 
13353 | 
1 | 
 | 
 | 
T1 | 
6 | 
 | 
T7 | 
11 | 
 | 
T8 | 
6 | 
| len_2_63 | 
122250 | 
1 | 
 | 
 | 
T1 | 
57 | 
 | 
T7 | 
94 | 
 | 
T8 | 
27 | 
| len_1 | 
54 | 
1 | 
 | 
 | 
T7 | 
1 | 
 | 
T148 | 
1 | 
 | 
T193 | 
1 |