file            : cert_ABBB_q280.txt
q               : 280
non-zero entries: 1300  max |G| : 404
kappa, R        : 0 8/5
patterns        : 65536
max of Psi0     : 13/4
maximum         : 8/5  (R - max = 0 )
patterns at max : 10
second value    : 109/70  gap max - second = 3/70
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
