| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5542 | 1 |  |  | T1 | 30 |  | T14 | 6 |  | T15 | 53 | 
| len_601_800 | 12465 | 1 |  |  | T1 | 58 |  | T14 | 9 |  | T15 | 113 | 
| len_401_600 | 8448 | 1 |  |  | T1 | 50 |  | T14 | 5 |  | T15 | 89 | 
| len_201_400 | 16506 | 1 |  |  | T1 | 22 |  | T14 | 3 |  | T15 | 52 | 
| len_65_200 | 73678 | 1 |  |  | T1 | 34 |  | T2 | 14 |  | T15 | 38 | 
| len_min_for_xof_require_squeeze | 1008 | 1 |  |  | T17 | 1 |  | T18 | 10 |  | T19 | 1 | 
| len_keccak_block_sizes[72] | 749 | 1 |  |  | T1 | 2 |  | T18 | 5 |  | T67 | 9 | 
| len_keccak_block_sizes[104] | 750 | 1 |  |  | T18 | 5 |  | T67 | 9 |  | T173 | 1 | 
| len_keccak_block_sizes[136] | 751 | 1 |  |  | T15 | 1 |  | T18 | 5 |  | T67 | 9 | 
| len_keccak_block_sizes[144] | 277 | 1 |  |  | T2 | 1 |  | T15 | 1 |  | T18 | 5 | 
| len_keccak_block_sizes[168] | 279 | 1 |  |  | T18 | 5 |  | T174 | 5 |  | T175 | 5 | 
| len_datapath_width | 13990 | 1 |  |  | T1 | 9 |  | T2 | 2 |  | T15 | 17 | 
| len_2_63 | 214358 | 1 |  |  | T1 | 99 |  | T2 | 8 |  | T13 | 310 | 
| len_1 | 52 | 1 |  |  | T17 | 1 |  | T176 | 1 |  | T177 | 1 |