p=2
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 58, solutions found: 0
p=3
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 2, solutions found: 0
p=5
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 4, solutions found: 0
p=7
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 2, solutions found: 0
p=11
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=13
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=17
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=19
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 2, solutions found: 0
p=23
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=29
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=31
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=37
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=41
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=43
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
p=47
Case A: (j,B) pairs examined: 900 (B <= 60, j <= B-j), binomial exponents up to 6000: solutions found: 0
        positive control (j,B)=(1,2) gives the triple (a : b : a): True ; pairs with monomial middle entry: 0
Case B: (h1,h2,B) triples examined: 2135 (B <= 30), |m2-m1| <= 200: divisibility hits 0, solutions found: 0
done
