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