=== D=29 start Sat Nov  7 22:51:43 CET 2026
D=29 cells=10 covered=534855722 uncovered=2015190 time=40.7s ns/leaf=15.17
uncovered 2015190
D=29 A == B bitmaps identical
uncovered 2015190
D=29 targets=2015190 fallback=0 FAIL=0 avg_trials=108.5
D=29 checked=2015190 bad=0 max#deg2=14
=== D=29 end Sat Nov  7 22:53:55 CET 2026