== degree 28, verifier A (all cells with <= 2 entries 2)
D=28 KMAX=2 cells=353 covered=268435456 uncovered=0 time=698.1s ns/leaf=14.73
== degree 28, verifier B (markB2, two parts)
phase1: uncovered by <=1 insertion: 1748470
phase2: certified 1748470 of 1748470
phase1: uncovered by <=1 insertion: 1748470
phase2: certified 1748470 of 1748470
== L1(A) vs L1(B)
L1(A) == L1(B) (both parts), |L1| = 1748470
== independent check of the certificates (at most 2 quotients of degree 2)
D=28 checked=1748470 bad=0 max#deg2=2
D=28 checked=1748470 bad=0 max#deg2=2
== corrupted certificates
D=28 checked=1000 bad=1000 max#deg2=0