m= 1 n= 3: P multi-affine=True deg=2; Q multi-affine=True deg=3 terms=3; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 2 n= 5: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=6; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 3 n= 7: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=10; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 4 n= 9: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=15; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 5 n=11: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=21; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 6 n=13: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=28; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 7 n=15: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=36; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 8 n=17: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=45; Q(x0=T) == sum(x_i y_i - 1)^2: True
m= 9 n=19: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=55; Q(x0=T) == sum(x_i y_i - 1)^2: True
m=10 n=21: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=66; Q(x0=T) == sum(x_i y_i - 1)^2: True
m=11 n=23: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=78; Q(x0=T) == sum(x_i y_i - 1)^2: True
m=12 n=25: P multi-affine=True deg=2; Q multi-affine=True deg=4 terms=91; Q(x0=T) == sum(x_i y_i - 1)^2: True
block lemma d=2 k=1: n=3, P MA=True deg=2, Q MA=True deg=3, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*1) = 2
block lemma d=2 k=2: n=5, P MA=True deg=2, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*2) = 4
block lemma d=2 k=3: n=7, P MA=True deg=2, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*3) = 8
block lemma d=2 k=4: n=9, P MA=True deg=2, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*4) = 16
block lemma d=2 k=5: n=11, P MA=True deg=2, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*5) = 32
block lemma d=2 k=6: n=13, P MA=True deg=2, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((2-1)*6) = 64
block lemma d=3 k=1: n=4, P MA=True deg=3, Q MA=True deg=4, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*1) = 4
block lemma d=3 k=2: n=7, P MA=True deg=3, Q MA=True deg=6, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*2) = 16
block lemma d=3 k=3: n=10, P MA=True deg=3, Q MA=True deg=6, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*3) = 64
block lemma d=3 k=4: n=13, P MA=True deg=3, Q MA=True deg=6, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*4) = 256
block lemma d=3 k=5: n=16, P MA=True deg=3, Q MA=True deg=6, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*5) = 1024
block lemma d=3 k=6: n=19, P MA=True deg=3, Q MA=True deg=6, Q(x0=S)==sum f_j^2: True, b0 = 2^((3-1)*6) = 4096
block lemma d=4 k=1: n=5, P MA=True deg=4, Q MA=True deg=5, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*1) = 8
block lemma d=4 k=2: n=9, P MA=True deg=4, Q MA=True deg=8, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*2) = 64
block lemma d=4 k=3: n=13, P MA=True deg=4, Q MA=True deg=8, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*3) = 512
block lemma d=4 k=4: n=17, P MA=True deg=4, Q MA=True deg=8, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*4) = 4096
block lemma d=4 k=5: n=21, P MA=True deg=4, Q MA=True deg=8, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*5) = 32768
block lemma d=4 k=6: n=25, P MA=True deg=4, Q MA=True deg=8, Q(x0=S)==sum f_j^2: True, b0 = 2^((4-1)*6) = 262144
m=1: exact rational zeros found in 2 of 2 sign classes
m=2: exact rational zeros found in 4 of 4 sign classes
m=3: exact rational zeros found in 8 of 8 sign classes
m=4: exact rational zeros found in 16 of 16 sign classes
m=5: exact rational zeros found in 32 of 32 sign classes
m=6: exact rational zeros found in 64 of 64 sign classes
m=7: exact rational zeros found in 128 of 128 sign classes
m=8: exact rational zeros found in 256 of 256 sign classes
m=9: exact rational zeros found in 512 of 512 sign classes
m=10: exact rational zeros found in 1024 of 1024 sign classes
m=1: segment paths inside each of the 2 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
m=2: segment paths inside each of the 4 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
m=3: segment paths inside each of the 8 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
m=4: segment paths inside each of the 16 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
m=5: segment paths inside each of the 32 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
m=6: segment paths inside each of the 64 sign classes stay on Z(P,Q) (41 exact sample values of u each): True
ALL CHECKS PASSED
