CONTROL RUN with b = x + x^3
p=2
  CASE A SOLUTION: j=1 B=2 L=2
  CASE A SOLUTION: j=2 B=4 L=4
  CASE A SOLUTION: j=3 B=6 L=2
  CASE A SOLUTION: j=4 B=8 L=8
  CASE A SOLUTION: j=6 B=12 L=4
  CASE A SOLUTION: j=8 B=16 L=16
Case A: (j,B) pairs examined: 100 (B <= 20, j <= B-j), binomial exponents up to 300: solutions found: 6
        positive control (j,B)=(1,2) gives the triple (a : b : a): False ; pairs with monomial middle entry: 15
  CASE B SOLUTION: h1=1 h2=2 B=3 m=-3 c=1
  CASE B SOLUTION: h1=1 h2=2 B=3 m=3 c=1
  CASE B SOLUTION: h1=1 h2=2 B=4 m=-1 c=1
  CASE B SOLUTION: h1=1 h2=2 B=4 m=1 c=1
  CASE B SOLUTION: h1=1 h2=3 B=4 m=0 c=1
Case B: (h1,h2,B) triples examined: 3 (B <= 4), |m2-m1| <= 10: divisibility hits 46, solutions found: 5
CONTROL RUN with b = x + x^3
p=3
  CASE A SOLUTION: j=1 B=2 L=0
  CASE A SOLUTION: j=3 B=6 L=0
  CASE A SOLUTION: j=9 B=18 L=0
Case A: (j,B) pairs examined: 100 (B <= 20, j <= B-j), binomial exponents up to 300: solutions found: 3
        positive control (j,B)=(1,2) gives the triple (a : b : a): False ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 3 (B <= 4), |m2-m1| <= 10: divisibility hits 4, solutions found: 0
CONTROL RUN with b = x + x^3
p=5
  CASE A SOLUTION: j=1 B=2 L=0
  CASE A SOLUTION: j=5 B=10 L=0
Case A: (j,B) pairs examined: 100 (B <= 20, j <= B-j), binomial exponents up to 300: solutions found: 2
        positive control (j,B)=(1,2) gives the triple (a : b : a): False ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 3 (B <= 4), |m2-m1| <= 10: divisibility hits 0, solutions found: 0
