| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5393 | 1 |  |  | T1 | 6 |  | T13 | 11 |  | T15 | 5 | 
| len_601_800 | 12031 | 1 |  |  | T1 | 11 |  | T13 | 26 |  | T15 | 8 | 
| len_401_600 | 8102 | 1 |  |  | T1 | 3 |  | T13 | 10 |  | T15 | 15 | 
| len_201_400 | 9241 | 1 |  |  | T1 | 4 |  | T13 | 6 |  | T15 | 5 | 
| len_65_200 | 29989 | 1 |  |  | T13 | 1 |  | T15 | 1 |  | T25 | 6 | 
| len_min_for_xof_require_squeeze | 392 | 1 |  |  | T163 | 9 |  | T54 | 1 |  | T165 | 1 | 
| len_keccak_block_sizes[72] | 298 | 1 |  |  | T22 | 1 |  | T85 | 2 |  | T123 | 1 | 
| len_keccak_block_sizes[104] | 288 | 1 |  |  | T22 | 1 |  | T163 | 9 |  | T166 | 1 | 
| len_keccak_block_sizes[136] | 282 | 1 |  |  | T85 | 1 |  | T23 | 1 |  | T163 | 9 | 
| len_keccak_block_sizes[144] | 145 | 1 |  |  | T54 | 1 |  | T167 | 1 |  | T168 | 5 | 
| len_keccak_block_sizes[168] | 134 | 1 |  |  | T168 | 5 |  | T169 | 1 |  | T170 | 5 | 
| len_datapath_width | 13587 | 1 |  |  | T2 | 3 |  | T3 | 3 |  | T16 | 3 | 
| len_2_63 | 117659 | 1 |  |  | T1 | 2 |  | T2 | 6 |  | T3 | 6 | 
| len_1 | 46 | 1 |  |  | T83 | 1 |  | T46 | 1 |  | T171 | 2 |