| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 
5647 | 
1 | 
 | 
 | 
T1 | 
23 | 
 | 
T3 | 
33 | 
 | 
T15 | 
28 | 
| len_601_800 | 
12920 | 
1 | 
 | 
 | 
T1 | 
77 | 
 | 
T3 | 
58 | 
 | 
T15 | 
48 | 
| len_401_600 | 
8475 | 
1 | 
 | 
 | 
T1 | 
45 | 
 | 
T3 | 
35 | 
 | 
T15 | 
36 | 
| len_201_400 | 
16650 | 
1 | 
 | 
 | 
T1 | 
18 | 
 | 
T3 | 
22 | 
 | 
T15 | 
24 | 
| len_65_200 | 
73621 | 
1 | 
 | 
 | 
T1 | 
12 | 
 | 
T2 | 
685 | 
 | 
T3 | 
11 | 
| len_min_for_xof_require_squeeze | 
1000 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T3 | 
1 | 
 | 
T15 | 
1 | 
| len_keccak_block_sizes[72] | 
742 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T86 | 
9 | 
 | 
T162 | 
5 | 
| len_keccak_block_sizes[104] | 
756 | 
1 | 
 | 
 | 
T1 | 
1 | 
 | 
T2 | 
9 | 
 | 
T86 | 
9 | 
| len_keccak_block_sizes[136] | 
746 | 
1 | 
 | 
 | 
T2 | 
9 | 
 | 
T86 | 
9 | 
 | 
T91 | 
1 | 
| len_keccak_block_sizes[144] | 
283 | 
1 | 
 | 
 | 
T162 | 
5 | 
 | 
T27 | 
1 | 
 | 
T81 | 
1 | 
| len_keccak_block_sizes[168] | 
277 | 
1 | 
 | 
 | 
T15 | 
1 | 
 | 
T162 | 
5 | 
 | 
T29 | 
1 | 
| len_datapath_width | 
14131 | 
1 | 
 | 
 | 
T1 | 
2 | 
 | 
T2 | 
9 | 
 | 
T16 | 
1 | 
| len_2_63 | 
214579 | 
1 | 
 | 
 | 
T1 | 
7 | 
 | 
T2 | 
1643 | 
 | 
T3 | 
9 | 
| len_1 | 
50 | 
1 | 
 | 
 | 
T183 | 
1 | 
 | 
T81 | 
1 | 
 | 
T184 | 
1 |