cert_ABBB_density_q280.txt: q = 280; non-zero entries 1628; max |G| = 431; kappa = 4/7; right-hand side R = 12/7
   maximum of the left-hand side over the 65536 patterns = 12/7; attained by 206 patterns; next value = maximum - 1/140; patterns above R: 0
   the maximisers are exactly the ten 5-queens lattice windows: False
   RESULT: ACCEPTED (the inequality holds for all 65536 patterns)
