file            : mycert_ABBB_density.json
q               : 2520
non-zero entries: 3788  max |G| : 126000
kappa, R        : 4/7 12/7
patterns        : 65536
max of Psi0     : 13/4
maximum         : 12/7  (R - max = 0 )
patterns at max : 206
second value    : 1073/630  gap max - second = 1/90
INEQUALITY HOLDS for all patterns
tight patterns are exactly the ten lattice windows: False
all-ones pattern is tight: False  all-zero pattern value: 0
RESULT PASS
