certificate mycert_ABBB.json: word ABBB, kappa = 0, rhs = 8/5
  common denominator 2520; non-zero entries of g: 3756; max |G| = 126000
  max over 65536 patterns = 8/5  (bound 8/5): OK
  patterns attaining the max: 10; next value = max - 53/1260
  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 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
certificate mycert_ABBB_density_piece3.json: word ABBB, kappa = 12/5, rhs = 12/5
  common denominator 2520; non-zero entries of g: 3792; max |G| = 126000
  max over 65536 patterns = 12/5  (bound 12/5): OK
  patterns attaining the max: 65; next value = max - 43/504
  patterns violating the bound: 0
  tight patterns == the ten 5-queens lattice windows: False
RESULT: ACCEPTED
