| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5488 | 1 |  |  | T1 | 3 |  | T3 | 12 |  | T18 | 3 | 
| len_601_800 | 12385 | 1 |  |  | T1 | 2 |  | T3 | 52 |  | T18 | 4 | 
| len_401_600 | 8260 | 1 |  |  | T1 | 3 |  | T3 | 38 |  | T18 | 7 | 
| len_201_400 | 16438 | 1 |  |  | T1 | 2 |  | T3 | 27 |  | T14 | 251 | 
| len_65_200 | 73755 | 1 |  |  | T1 | 1 |  | T3 | 55 |  | T14 | 680 | 
| len_min_for_xof_require_squeeze | 1014 | 1 |  |  | T14 | 10 |  | T19 | 10 |  | T88 | 1 | 
| len_keccak_block_sizes[72] | 747 | 1 |  |  | T14 | 5 |  | T19 | 5 |  | T185 | 5 | 
| len_keccak_block_sizes[104] | 754 | 1 |  |  | T3 | 1 |  | T14 | 5 |  | T17 | 1 | 
| len_keccak_block_sizes[136] | 754 | 1 |  |  | T14 | 5 |  | T17 | 4 |  | T19 | 5 | 
| len_keccak_block_sizes[144] | 288 | 1 |  |  | T14 | 5 |  | T19 | 5 |  | T185 | 5 | 
| len_keccak_block_sizes[168] | 288 | 1 |  |  | T3 | 2 |  | T14 | 5 |  | T19 | 5 | 
| len_datapath_width | 13983 | 1 |  |  | T2 | 3 |  | T3 | 13 |  | T14 | 5 | 
| len_2_63 | 214272 | 1 |  |  | T1 | 5 |  | T2 | 6 |  | T3 | 92 | 
| len_1 | 56 | 1 |  |  | T132 | 1 |  | T186 | 1 |  | T187 | 1 |