cert=cert_ABBB_q20.txt q=20 nonzero=1222 max|G|=29 weights(row/col,diag)=(1/4,1) bound=8/5 kappa=0 transpose_term=True
patterns=65536 max=8/5 (= 1.600000) attained_by=568 second_largest=31/20 gap_to_bound_of_second=1/20 violations(>bound)=0
RESULT: ACCEPT (inequality holds for all 65536 patterns)
