| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5413 | 
1 | 
 | 
 | 
T3 | 
8 | 
 | 
T13 | 
20 | 
 | 
T14 | 
5 | 
| len_601_800 | 
12197 | 
1 | 
 | 
 | 
T3 | 
19 | 
 | 
T13 | 
42 | 
 | 
T14 | 
11 | 
| len_401_600 | 
8193 | 
1 | 
 | 
 | 
T3 | 
8 | 
 | 
T13 | 
34 | 
 | 
T14 | 
2 | 
| len_201_400 | 
16459 | 
1 | 
 | 
 | 
T3 | 
4 | 
 | 
T13 | 
5 | 
 | 
T14 | 
3 | 
| len_65_200 | 
73663 | 
1 | 
 | 
 | 
T3 | 
1 | 
 | 
T13 | 
4 | 
 | 
T14 | 
1 | 
| len_min_for_xof_require_squeeze | 
1008 | 
1 | 
 | 
 | 
T86 | 
1 | 
 | 
T104 | 
10 | 
 | 
T106 | 
10 | 
| len_keccak_block_sizes[72] | 
770 | 
1 | 
 | 
 | 
T104 | 
5 | 
 | 
T106 | 
5 | 
 | 
T108 | 
5 | 
| len_keccak_block_sizes[104] | 
744 | 
1 | 
 | 
 | 
T104 | 
5 | 
 | 
T106 | 
5 | 
 | 
T108 | 
5 | 
| len_keccak_block_sizes[136] | 
760 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T59 | 
1 | 
 | 
T104 | 
5 | 
| len_keccak_block_sizes[144] | 
285 | 
1 | 
 | 
 | 
T23 | 
1 | 
 | 
T42 | 
1 | 
 | 
T104 | 
5 | 
| len_keccak_block_sizes[168] | 
290 | 
1 | 
 | 
 | 
T59 | 
1 | 
 | 
T104 | 
5 | 
 | 
T106 | 
5 | 
| len_datapath_width | 
14073 | 
1 | 
 | 
 | 
T13 | 
1 | 
 | 
T15 | 
246 | 
 | 
T17 | 
10 | 
| len_2_63 | 
214743 | 
1 | 
 | 
 | 
T1 | 
390 | 
 | 
T3 | 
2 | 
 | 
T13 | 
55 | 
| len_1 | 
62 | 
1 | 
 | 
 | 
T17 | 
1 | 
 | 
T86 | 
1 | 
 | 
T25 | 
3 |