=== D=32 start Sat Nov  7 23:10:36 CET 2026
D=32 cells=10 covered=4278780090 uncovered=16187206 time=466.1s ns/leaf=21.70
uncovered 16187206
D=32 A == B bitmaps identical
uncovered 16187206
D=32 targets=16187206 fallback=0 FAIL=0 avg_trials=102.3
D=32 checked=16187206 bad=0 max#deg2=15
=== D=32 end Sat Nov  7 23:33:09 CET 2026