float max 6.000000953674316
patterns within 0.01 of the bound: 39
tight patterns (float): 39  largest non-tight value: None
distinct tight rows: 6
rank of the tight system: 3
all tight equalities hold exactly: True  max |theta_exact - theta_float| = 0.00014500246603654787
common denominator Qden = 1451520  max |Z| = 5362624
(a) class sums are zero
(b) exact: max over 2^27 patterns of 9*Qden*(Psi0+Q) = 78382080;  54*Qden = 78382080;  valid = True;  patterns with equality = 39
    largest value below the bound: 6 - 1079/90720 = 5.988106261022928
time 8.0
written SCRATCH/abb3d/cert_rerun.json
