| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5176 | 
1 | 
 | 
 | 
T2 | 
6 | 
 | 
T7 | 
28 | 
 | 
T8 | 
6 | 
| len_601_800 | 
11866 | 
1 | 
 | 
 | 
T2 | 
18 | 
 | 
T7 | 
59 | 
 | 
T8 | 
9 | 
| len_401_600 | 
7843 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T7 | 
36 | 
 | 
T8 | 
5 | 
| len_201_400 | 
9527 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T7 | 
14 | 
 | 
T8 | 
7 | 
| len_65_200 | 
36864 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T18 | 
55 | 
 | 
T30 | 
40 | 
| len_min_for_xof_require_squeeze | 
488 | 
1 | 
 | 
 | 
T30 | 
1 | 
 | 
T35 | 
9 | 
 | 
T63 | 
1 | 
| len_keccak_block_sizes[72] | 
375 | 
1 | 
 | 
 | 
T35 | 
9 | 
 | 
T64 | 
5 | 
 | 
T166 | 
5 | 
| len_keccak_block_sizes[104] | 
368 | 
1 | 
 | 
 | 
T32 | 
1 | 
 | 
T35 | 
9 | 
 | 
T62 | 
1 | 
| len_keccak_block_sizes[136] | 
374 | 
1 | 
 | 
 | 
T18 | 
2 | 
 | 
T32 | 
2 | 
 | 
T35 | 
9 | 
| len_keccak_block_sizes[144] | 
138 | 
1 | 
 | 
 | 
T64 | 
5 | 
 | 
T167 | 
1 | 
 | 
T130 | 
1 | 
| len_keccak_block_sizes[168] | 
138 | 
1 | 
 | 
 | 
T64 | 
5 | 
 | 
T102 | 
1 | 
 | 
T166 | 
5 | 
| len_datapath_width | 
13703 | 
1 | 
 | 
 | 
T3 | 
246 | 
 | 
T18 | 
3 | 
 | 
T30 | 
3 | 
| len_2_63 | 
125656 | 
1 | 
 | 
 | 
T2 | 
1 | 
 | 
T18 | 
36 | 
 | 
T30 | 
27 | 
| len_1 | 
45 | 
1 | 
 | 
 | 
T30 | 
1 | 
 | 
T32 | 
1 | 
 | 
T168 | 
1 |