| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5377 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T3 | 
5 | 
 | 
T7 | 
14 | 
| len_601_800 | 
11982 | 
1 | 
 | 
 | 
T1 | 
60 | 
 | 
T3 | 
7 | 
 | 
T7 | 
38 | 
| len_401_600 | 
7981 | 
1 | 
 | 
 | 
T1 | 
30 | 
 | 
T3 | 
5 | 
 | 
T7 | 
37 | 
| len_201_400 | 
16067 | 
1 | 
 | 
 | 
T1 | 
22 | 
 | 
T3 | 
1 | 
 | 
T7 | 
9 | 
| len_65_200 | 
72752 | 
1 | 
 | 
 | 
T1 | 
9 | 
 | 
T32 | 
685 | 
 | 
T7 | 
6 | 
| len_min_for_xof_require_squeeze | 
987 | 
1 | 
 | 
 | 
T32 | 
9 | 
 | 
T34 | 
1 | 
 | 
T72 | 
10 | 
| len_keccak_block_sizes[72] | 
739 | 
1 | 
 | 
 | 
T32 | 
9 | 
 | 
T34 | 
2 | 
 | 
T47 | 
1 | 
| len_keccak_block_sizes[104] | 
741 | 
1 | 
 | 
 | 
T32 | 
9 | 
 | 
T47 | 
1 | 
 | 
T146 | 
1 | 
| len_keccak_block_sizes[136] | 
741 | 
1 | 
 | 
 | 
T32 | 
9 | 
 | 
T72 | 
5 | 
 | 
T192 | 
9 | 
| len_keccak_block_sizes[144] | 
282 | 
1 | 
 | 
 | 
T34 | 
1 | 
 | 
T146 | 
1 | 
 | 
T72 | 
5 | 
| len_keccak_block_sizes[168] | 
288 | 
1 | 
 | 
 | 
T72 | 
5 | 
 | 
T157 | 
5 | 
 | 
T15 | 
1 | 
| len_datapath_width | 
14013 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T31 | 
3 | 
 | 
T32 | 
9 | 
| len_2_63 | 
212226 | 
1 | 
 | 
 | 
T1 | 
13 | 
 | 
T2 | 
390 | 
 | 
T3 | 
13 | 
| len_1 | 
49 | 
1 | 
 | 
 | 
T149 | 
1 | 
 | 
T15 | 
1 | 
 | 
T193 | 
1 |