=== D=30 start Sat Nov  7 22:53:55 CET 2026
D=30 cells=10 covered=1069721605 uncovered=4020219 time=106.1s ns/leaf=19.77
uncovered 4020219
D=30 A == B bitmaps identical
uncovered 4020219
D=30 targets=4020219 fallback=0 FAIL=0 avg_trials=82.8
D=30 checked=4020219 bad=0 max#deg2=14
=== D=30 end Sat Nov  7 22:59:12 CET 2026