certificate cert_ABBB_density_q280.txt: word ABBB, kappa = 4/7, rhs = 12/7
  common denominator 280; non-zero entries of g: 1628; max |G| = 431
  max over 65536 patterns = 12/7  (bound 12/7): OK
  patterns attaining the max: 206; next value = max - 1/140
  patterns violating the bound: 0
  tight patterns == the ten 5-queens lattice windows: False
RESULT: ACCEPTED
