| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 4818 | 1 |  |  | T4 | 4 |  | T13 | 19 |  | T14 | 23 | 
| len_601_800 | 10720 | 1 |  |  | T4 | 10 |  | T13 | 52 |  | T14 | 49 | 
| len_401_600 | 7166 | 1 |  |  | T4 | 6 |  | T13 | 29 |  | T14 | 35 | 
| len_201_400 | 8446 | 1 |  |  | T4 | 4 |  | T13 | 22 |  | T14 | 18 | 
| len_65_200 | 30837 | 1 |  |  | T2 | 685 |  | T4 | 5 |  | T13 | 15 | 
| len_min_for_xof_require_squeeze | 407 | 1 |  |  | T2 | 9 |  | T80 | 1 |  | T26 | 1 | 
| len_keccak_block_sizes[72] | 313 | 1 |  |  | T2 | 9 |  | T13 | 1 |  | T15 | 1 | 
| len_keccak_block_sizes[104] | 315 | 1 |  |  | T2 | 9 |  | T111 | 1 |  | T85 | 5 | 
| len_keccak_block_sizes[136] | 310 | 1 |  |  | T2 | 9 |  | T80 | 1 |  | T26 | 1 | 
| len_keccak_block_sizes[144] | 126 | 1 |  |  | T85 | 5 |  | T86 | 5 |  | T27 | 1 | 
| len_keccak_block_sizes[168] | 123 | 1 |  |  | T85 | 5 |  | T86 | 5 |  | T191 | 5 | 
| len_datapath_width | 13553 | 1 |  |  | T2 | 9 |  | T3 | 3 |  | T13 | 1 | 
| len_2_63 | 120376 | 1 |  |  | T2 | 1643 |  | T3 | 6 |  | T4 | 4 | 
| len_1 | 39 | 1 |  |  | T80 | 1 |  | T192 | 1 |  | T193 | 1 |