3x4 patterns: 4096; free variables after symmetry: 960
4x4 patterns: 65536; orbit representatives under the dihedral group: 8548
LP1 (symmetric): min M = 2.400000000000  status 0  (0.2s); primal support size 1
target rhs = 12/5 = 2.400000000000
  round 0: forced so far 0, max uniform slack on the rest t = -0.0000000000
  round 1: forced so far 1, max uniform slack on the rest t = -0.0000000000
  round 2: forced so far 9, max uniform slack on the rest t = 0.0857142857
forced-tight orbit representatives: 9: ['0001000101001011', '0001000110110100', '0001001011100010', '0001010001001110', '0001010010110001', '0001100000010111', '0001110100010010', '0010010011010100', '1111111111111111']
max uniform slack t* = 0.085714285714  (as a fraction ~ 3/35)
residuals of forced equalities (units 1/Q): [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): {}
wrote SCRATCH/mycert_ABBB_density_piece3.json: q = 2520, non-zero entries 3792  (7.5s)
