=== D=31 start Sat Nov  7 22:59:12 CET 2026
D=31 cells=10 covered=2139431788 uncovered=8051860 time=235.8s ns/leaf=21.96
uncovered 8051860
D=31 A == B bitmaps identical
uncovered 8051860
D=31 targets=8051860 fallback=0 FAIL=0 avg_trials=134.1
D=31 checked=8051860 bad=0 max#deg2=15
=== D=31 end Sat Nov  7 23:10:36 CET 2026