cert=mycert_ABBB.txt q=2520 nonzero=3756 max|G|=126000 weights(row/col,diag)=(1/4,1) bound=8/5 kappa=0 transpose_term=True
patterns=65536 max=8/5 (= 1.600000) attained_by=10 second_largest=1963/1260 gap_to_bound_of_second=53/1260 violations(>bound)=0
RESULT: ACCEPT (inequality holds for all 65536 patterns)
