certificate cert_ABBB_q20.txt: word ABBB, kappa = 0, rhs = 8/5
  common denominator 20; non-zero entries of g: 1222; max |G| = 29
  max over 65536 patterns = 8/5  (bound 8/5): OK
  patterns attaining the max: 568; next value = max - 1/20
  patterns violating the bound: 0
  tight patterns == the ten 5-queens lattice windows: False
RESULT: ACCEPTED
