mycert_ABBB_density_piece3.json: q = 2520; non-zero entries 3792; max |G| = 126000; kappa = 12/5; right-hand side R = 12/5
   maximum of the left-hand side over the 65536 patterns = 12/5; attained by 65 patterns; next value = maximum - 43/504; patterns above R: 0
   the maximisers are exactly the ten 5-queens lattice windows: False
   RESULT: ACCEPTED (the inequality holds for all 65536 patterns)
