D=6 A_k<=2:uncovered=0 |L1|=3 L1(A)==L1(B):yes L1_certified_all=True | D=6 checked=4 bad=0 max#deg2=2
D=7 A_k<=2:uncovered=0 |L1|=4 L1(A)==L1(B):yes L1_certified_all=True | D=7 checked=8 bad=0 max#deg2=2
D=8 A_k<=2:uncovered=0 |L1|=4 L1(A)==L1(B):yes L1_certified_all=True | D=8 checked=8 bad=0 max#deg2=2
D=9 A_k<=2:uncovered=0 |L1|=16 L1(A)==L1(B):yes L1_certified_all=True | D=9 checked=32 bad=0 max#deg2=2
D=10 A_k<=2:uncovered=0 |L1|=19 L1(A)==L1(B):yes L1_certified_all=True | D=10 checked=38 bad=0 max#deg2=2
D=11 A_k<=2:uncovered=0 |L1|=48 L1(A)==L1(B):yes L1_certified_all=True | D=11 checked=96 bad=0 max#deg2=2
D=12 A_k<=2:uncovered=0 |L1|=110 L1(A)==L1(B):yes L1_certified_all=True | D=12 checked=220 bad=0 max#deg2=2
D=13 A_k<=2:uncovered=0 |L1|=216 L1(A)==L1(B):yes L1_certified_all=True | D=13 checked=430 bad=0 max#deg2=2
D=14 A_k<=2:uncovered=0 |L1|=419 L1(A)==L1(B):yes L1_certified_all=True | D=14 checked=838 bad=0 max#deg2=2
D=15 A_k<=2:uncovered=0 |L1|=756 L1(A)==L1(B):yes L1_certified_all=True | D=15 checked=1512 bad=0 max#deg2=2
D=16 A_k<=2:uncovered=0 |L1|=1364 L1(A)==L1(B):yes L1_certified_all=True | D=16 checked=2728 bad=0 max#deg2=2
D=17 A_k<=2:uncovered=0 |L1|=2524 L1(A)==L1(B):yes L1_certified_all=True | D=17 checked=5048 bad=0 max#deg2=2
D=18 A_k<=2:uncovered=0 |L1|=4582 L1(A)==L1(B):yes L1_certified_all=True | D=18 checked=9164 bad=0 max#deg2=2
D=19 A_k<=2:uncovered=0 |L1|=8322 L1(A)==L1(B):yes L1_certified_all=True | D=19 checked=16644 bad=0 max#deg2=2
D=20 A_k<=2:uncovered=0 |L1|=14974 L1(A)==L1(B):yes L1_certified_all=True | D=20 checked=29948 bad=0 max#deg2=2
D=21 A_k<=2:uncovered=0 |L1|=27440 L1(A)==L1(B):yes L1_certified_all=True | D=21 checked=54880 bad=0 max#deg2=2
D=22 A_k<=2:uncovered=0 |L1|=50069 L1(A)==L1(B):yes L1_certified_all=True | D=22 checked=100138 bad=0 max#deg2=2
D=23 A_k<=2:uncovered=0 |L1|=90076 L1(A)==L1(B):yes L1_certified_all=True | D=23 checked=180152 bad=0 max#deg2=2
D=24 A_k<=2:uncovered=0 |L1|=163599 L1(A)==L1(B):yes L1_certified_all=True | D=24 checked=327198 bad=0 max#deg2=2
D=25 A_k<=2:uncovered=0 |L1|=295916 L1(A)==L1(B):yes L1_certified_all=True | D=25 checked=591832 bad=0 max#deg2=2
D=26 A_k<=2:uncovered=0 |L1|=535199 L1(A)==L1(B):yes L1_certified_all=True | D=26 checked=1070398 bad=0 max#deg2=2
D=27 A_k<=2:uncovered=0 |L1|=967956 L1(A)==L1(B):yes L1_certified_all=True | D=27 checked=1935912 bad=0 max#deg2=2