| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5001 | 
1 | 
 | 
 | 
T2 | 
2 | 
 | 
T6 | 
1 | 
 | 
T12 | 
33 | 
| len_601_800 | 
11454 | 
1 | 
 | 
 | 
T2 | 
12 | 
 | 
T6 | 
8 | 
 | 
T12 | 
74 | 
| len_401_600 | 
7502 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T6 | 
4 | 
 | 
T12 | 
39 | 
| len_201_400 | 
7817 | 
1 | 
 | 
 | 
T2 | 
3 | 
 | 
T12 | 
20 | 
 | 
T4 | 
25 | 
| len_65_200 | 
33124 | 
1 | 
 | 
 | 
T2 | 
5 | 
 | 
T6 | 
1 | 
 | 
T12 | 
12 | 
| len_min_for_xof_require_squeeze | 
445 | 
1 | 
 | 
 | 
T5 | 
1 | 
 | 
T43 | 
9 | 
 | 
T156 | 
1 | 
| len_keccak_block_sizes[72] | 
359 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T5 | 
1 | 
 | 
T43 | 
9 | 
| len_keccak_block_sizes[104] | 
350 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T5 | 
1 | 
 | 
T43 | 
9 | 
| len_keccak_block_sizes[136] | 
352 | 
1 | 
 | 
 | 
T43 | 
9 | 
 | 
T11 | 
1 | 
 | 
T198 | 
5 | 
| len_keccak_block_sizes[144] | 
111 | 
1 | 
 | 
 | 
T12 | 
2 | 
 | 
T64 | 
2 | 
 | 
T199 | 
1 | 
| len_keccak_block_sizes[168] | 
120 | 
1 | 
 | 
 | 
T198 | 
5 | 
 | 
T129 | 
1 | 
 | 
T61 | 
1 | 
| len_datapath_width | 
13641 | 
1 | 
 | 
 | 
T38 | 
3 | 
 | 
T4 | 
10 | 
 | 
T39 | 
3 | 
| len_2_63 | 
123661 | 
1 | 
 | 
 | 
T1 | 
310 | 
 | 
T2 | 
1 | 
 | 
T6 | 
1 | 
| len_1 | 
46 | 
1 | 
 | 
 | 
T4 | 
1 | 
 | 
T15 | 
1 | 
 | 
T199 | 
1 |