| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5411 | 1 |  |  | T4 | 15 |  | T16 | 4 |  | T40 | 7 | 
| len_601_800 | 12427 | 1 |  |  | T4 | 45 |  | T16 | 26 |  | T40 | 17 | 
| len_401_600 | 8337 | 1 |  |  | T4 | 19 |  | T16 | 16 |  | T40 | 7 | 
| len_201_400 | 16505 | 1 |  |  | T4 | 8 |  | T16 | 6 |  | T40 | 5 | 
| len_65_200 | 73650 | 1 |  |  | T4 | 6 |  | T16 | 1 |  | T19 | 685 | 
| len_min_for_xof_require_squeeze | 1013 | 1 |  |  | T19 | 9 |  | T24 | 1 |  | T83 | 10 | 
| len_keccak_block_sizes[72] | 743 | 1 |  |  | T19 | 9 |  | T147 | 1 |  | T83 | 5 | 
| len_keccak_block_sizes[104] | 753 | 1 |  |  | T19 | 9 |  | T116 | 2 |  | T147 | 2 | 
| len_keccak_block_sizes[136] | 754 | 1 |  |  | T19 | 9 |  | T147 | 2 |  | T83 | 5 | 
| len_keccak_block_sizes[144] | 273 | 1 |  |  | T116 | 1 |  | T83 | 5 |  | T204 | 5 | 
| len_keccak_block_sizes[168] | 282 | 1 |  |  | T83 | 5 |  | T204 | 5 |  | T205 | 1 | 
| len_datapath_width | 13898 | 1 |  |  | T4 | 3 |  | T17 | 246 |  | T19 | 9 | 
| len_2_63 | 214294 | 1 |  |  | T2 | 310 |  | T4 | 58 |  | T14 | 390 | 
| len_1 | 50 | 1 |  |  | T116 | 2 |  | T147 | 1 |  | T24 | 1 |