| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5648 | 
1 | 
 | 
 | 
T18 | 
17 | 
 | 
T19 | 
9 | 
 | 
T41 | 
16 | 
| len_601_800 | 
12644 | 
1 | 
 | 
 | 
T14 | 
2 | 
 | 
T17 | 
1 | 
 | 
T18 | 
32 | 
| len_401_600 | 
8213 | 
1 | 
 | 
 | 
T17 | 
1 | 
 | 
T18 | 
17 | 
 | 
T19 | 
6 | 
| len_201_400 | 
16603 | 
1 | 
 | 
 | 
T14 | 
1 | 
 | 
T18 | 
17 | 
 | 
T19 | 
1 | 
| len_65_200 | 
73901 | 
1 | 
 | 
 | 
T2 | 
685 | 
 | 
T18 | 
8 | 
 | 
T19 | 
4 | 
| len_min_for_xof_require_squeeze | 
1004 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T128 | 
10 | 
 | 
T191 | 
9 | 
| len_keccak_block_sizes[72] | 
743 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T128 | 
5 | 
 | 
T191 | 
9 | 
| len_keccak_block_sizes[104] | 
749 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T128 | 
5 | 
 | 
T191 | 
9 | 
| len_keccak_block_sizes[136] | 
748 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T128 | 
5 | 
 | 
T191 | 
9 | 
| len_keccak_block_sizes[144] | 
287 | 
1 | 
 | 
 | 
T128 | 
5 | 
 | 
T168 | 
5 | 
 | 
T192 | 
5 | 
| len_keccak_block_sizes[168] | 
282 | 
1 | 
 | 
 | 
T128 | 
5 | 
 | 
T168 | 
5 | 
 | 
T192 | 
5 | 
| len_datapath_width | 
14170 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T4 | 
3 | 
 | 
T9 | 
246 | 
| len_2_63 | 
214703 | 
1 | 
 | 
 | 
T2 | 
1643 | 
 | 
T4 | 
6 | 
 | 
T13 | 
6 | 
| len_1 | 
41 | 
1 | 
 | 
 | 
T41 | 
1 | 
 | 
T27 | 
2 | 
 | 
T193 | 
2 |