| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5222 | 1 |  |  | T1 | 5 |  | T2 | 21 |  | T3 | 18 | 
| len_601_800 | 11864 | 1 |  |  | T1 | 6 |  | T2 | 58 |  | T3 | 38 | 
| len_401_600 | 7722 | 1 |  |  | T1 | 1 |  | T2 | 31 |  | T3 | 28 | 
| len_201_400 | 8848 | 1 |  |  | T1 | 3 |  | T2 | 16 |  | T3 | 9 | 
| len_65_200 | 34121 | 1 |  |  | T1 | 1 |  | T2 | 9 |  | T3 | 11 | 
| len_min_for_xof_require_squeeze | 457 | 1 |  |  | T2 | 1 |  | T15 | 10 |  | T25 | 1 | 
| len_keccak_block_sizes[72] | 352 | 1 |  |  | T15 | 5 |  | T16 | 1 |  | T25 | 1 | 
| len_keccak_block_sizes[104] | 352 | 1 |  |  | T15 | 5 |  | T23 | 1 |  | T64 | 1 | 
| len_keccak_block_sizes[136] | 348 | 1 |  |  | T15 | 5 |  | T23 | 1 |  | T121 | 1 | 
| len_keccak_block_sizes[144] | 135 | 1 |  |  | T15 | 5 |  | T130 | 1 |  | T90 | 1 | 
| len_keccak_block_sizes[168] | 133 | 1 |  |  | T15 | 5 |  | T23 | 1 |  | T80 | 1 | 
| len_datapath_width | 13688 | 1 |  |  | T15 | 5 |  | T16 | 8 |  | T17 | 3 | 
| len_2_63 | 126177 | 1 |  |  | T1 | 12 |  | T2 | 40 |  | T3 | 3 | 
| len_1 | 63 | 1 |  |  | T16 | 1 |  | T64 | 1 |  | T121 | 5 |