Run options: --seed 20261002

# Running:

...

Finished in 0.000606s, 4950.4951 runs/s, 4950.4951 assertions/s.

3 runs, 3 assertions, 0 failures, 0 errors, 0 skips
