file            : mycert_ABBB.json
q               : 2520
non-zero entries: 3756  max |G| : 126000
kappa, R        : 0 8/5
patterns        : 65536
max of Psi0     : 13/4
maximum         : 8/5  (R - max = 0 )
patterns at max : 10
second value    : 1963/1260  gap max - second = 53/1260
INEQUALITY HOLDS for all patterns
tight patterns are exactly the ten lattice windows: True
all-ones pattern is tight: False  all-zero pattern value: 0
RESULT PASS
