| NAME | COUNT | AT LEAST | STATUS |  | TEST | COUNT |  | TEST | COUNT |  | TEST | COUNT | 
| len_801_1000 | 5732 | 1 |  |  | T1 | 20 |  | T2 | 9 |  | T3 | 30 | 
| len_601_800 | 12748 | 1 |  |  | T1 | 43 |  | T2 | 15 |  | T3 | 35 | 
| len_401_600 | 8378 | 1 |  |  | T1 | 25 |  | T2 | 8 |  | T3 | 23 | 
| len_201_400 | 16497 | 1 |  |  | T1 | 6 |  | T2 | 5 |  | T3 | 11 | 
| len_65_200 | 73601 | 1 |  |  | T1 | 5 |  | T3 | 3 |  | T13 | 5 | 
| len_min_for_xof_require_squeeze | 1002 | 1 |  |  | T1 | 1 |  | T13 | 1 |  | T14 | 9 | 
| len_keccak_block_sizes[72] | 747 | 1 |  |  | T14 | 9 |  | T17 | 9 |  | T18 | 5 | 
| len_keccak_block_sizes[104] | 744 | 1 |  |  | T14 | 9 |  | T17 | 9 |  | T18 | 5 | 
| len_keccak_block_sizes[136] | 748 | 1 |  |  | T14 | 9 |  | T17 | 9 |  | T18 | 5 | 
| len_keccak_block_sizes[144] | 280 | 1 |  |  | T18 | 5 |  | T66 | 5 |  | T131 | 1 | 
| len_keccak_block_sizes[168] | 278 | 1 |  |  | T18 | 5 |  | T66 | 5 |  | T24 | 1 | 
| len_datapath_width | 14042 | 1 |  |  | T2 | 1 |  | T14 | 9 |  | T17 | 9 | 
| len_2_63 | 214391 | 1 |  |  | T1 | 10 |  | T2 | 33 |  | T3 | 45 | 
| len_1 | 44 | 1 |  |  | T175 | 1 |  | T176 | 2 |  | T177 | 1 |