Time bar (total: 613.0ms)
| 4.0ms | 46× | body | 1280 | valid |
| 2.0ms | 44× | body | 640 | valid |
| 2.0ms | 132× | body | 80 | valid |
| 1.0ms | 19× | body | 320 | valid |
| 0.0ms | 15× | body | 160 | valid |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| 124.0ms | 1492× | body | 1280 | valid |
| 94.0ms | 4291× | body | 80 | valid |
| 91.0ms | 1265× | body | 640 | valid |
| 53.0ms | 619× | body | 320 | valid |
| 9.0ms | 333× | body | 160 | valid |