3x4 patterns: 4096; free variables after symmetry: 960
4x4 patterns: 65536; orbit representatives under the dihedral group: 8548
LP1 (symmetric): min M = 1.714285714286  status 0  (0.3s); primal support size 20
target rhs = 12/7 = 1.714285714286
  round 0: forced so far 0, max uniform slack on the rest t = -0.0000000000
  round 1: forced so far 20, max uniform slack on the rest t = -0.0000000000
  round 2: forced so far 21, max uniform slack on the rest t = -0.0000000000
  round 3: forced so far 29, max uniform slack on the rest t = 0.0119047619
forced-tight orbit representatives: 29: ['0000000100101000', '0000000111000001', '0000001000101100', '0000001001000001', '0000001010000001', '0000001010000011', '0000010100011000', '0000010101001000', '0001000010000100', '0001000101001011', '0001000110000010', '0001000110110100']
max uniform slack t* = 0.011904761905  (as a fraction ~ 1/84)
residuals of forced equalities (units 1/Q): [Fraction(0, 1), Fraction(1, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(-1, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(-1, 1), Fraction(-1, 1), Fraction(0, 1), Fraction(0, 1), Fraction(1, 1), Fraction(-1, 1), Fraction(0, 1), Fraction(0, 1), Fraction(1, 1), Fraction(1, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1), Fraction(0, 1)]
repair corrections (units 1/Q): {20: Fraction(-1, 1), 165: Fraction(-1, 1), 236: Fraction(-1, 1), 242: Fraction(1, 1), 246: Fraction(1, 1)}
wrote SCRATCH/re_mycert_ABBB_density.json: q = 2520, non-zero entries 3788  (4.0s)
