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
