3x4 patterns: 4096; free variables after symmetry: 960
4x4 patterns: 65536; orbit representatives under the dihedral group: 8548
LP1 (symmetric): min M = 1.600000000000  status 0  (0.2s); primal support size 2
target rhs = 8/5 = 1.600000000000
  round 0: forced so far 0, max uniform slack on the rest t = -0.0000000000
  round 1: forced so far 2, max uniform slack on the rest t = 0.0428571429
forced-tight orbit representatives: 2: ['0000001010000001', '0010100000010100']
max uniform slack t* = 0.042857142857  (as a fraction ~ 3/70)
residuals of forced equalities (units 1/Q): [Fraction(0, 1), Fraction(0, 1)]
repair corrections (units 1/Q): {}
wrote SCRATCH/re_mycert_ABBB.json: q = 2520, non-zero entries 3756  (2.1s)
