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

certificate cert_ABBB_q280.txt: word ABBB, kappa = 0, rhs = 8/5
  common denominator 280; non-zero entries of g: 1300; max |G| = 404
  max over 65536 patterns = 8/5  (bound 8/5): OK
  patterns attaining the max: 10; next value = max - 3/70
  patterns violating the bound: 0
  tight patterns == the ten 5-queens lattice windows: True
     ABBB/BBBA/BABB/BBBB
     BBBA/ABBB/BBAB/BBBB
     BABB/BBBB/BBAB/ABBB
     BBBB/BABB/BBBA/ABBB
     ABBB/BBAB/BBBB/BABB
     BBAB/ABBB/BBBA/BABB
     BBBA/BABB/BBBB/BBAB
     BABB/BBBA/ABBB/BBAB
     BBBB/BBAB/ABBB/BBBA
     BBAB/BBBB/BABB/BBBA
RESULT: ACCEPTED

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

