| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5375 | 1 |  |  | T1 | 1 |  | T12 | 15 |  | T15 | 17 | 
| len_601_800 | 12115 | 1 |  |  | T1 | 1 |  | T12 | 57 |  | T15 | 22 | 
| len_401_600 | 8179 | 1 |  |  | T1 | 3 |  | T12 | 37 |  | T15 | 19 | 
| len_201_400 | 16351 | 1 |  |  | T1 | 1 |  | T12 | 9 |  | T15 | 7 | 
| len_65_200 | 73510 | 1 |  |  | T12 | 4 |  | T14 | 685 |  | T15 | 3 | 
| len_min_for_xof_require_squeeze | 993 | 1 |  |  | T14 | 9 |  | T76 | 10 |  | T78 | 9 | 
| len_keccak_block_sizes[72] | 754 | 1 |  |  | T14 | 9 |  | T76 | 5 |  | T78 | 9 | 
| len_keccak_block_sizes[104] | 749 | 1 |  |  | T14 | 9 |  | T76 | 5 |  | T78 | 9 | 
| len_keccak_block_sizes[136] | 754 | 1 |  |  | T14 | 9 |  | T76 | 5 |  | T78 | 9 | 
| len_keccak_block_sizes[144] | 276 | 1 |  |  | T76 | 5 |  | T187 | 1 |  | T142 | 1 | 
| len_keccak_block_sizes[168] | 296 | 1 |  |  | T76 | 5 |  | T173 | 5 |  | T188 | 5 | 
| len_datapath_width | 13999 | 1 |  |  | T2 | 3 |  | T12 | 1 |  | T13 | 3 | 
| len_2_63 | 214601 | 1 |  |  | T1 | 4 |  | T2 | 6 |  | T12 | 34 | 
| len_1 | 51 | 1 |  |  | T79 | 1 |  | T28 | 1 |  | T187 | 2 |