cert=cert_ABBB_density_q280.txt q=280 nonzero=1628 max|G|=431 weights(row/col,diag)=(1/4,1) bound=12/7 kappa=4/7 transpose_term=True
patterns=65536 max=12/7 (= 1.714286) attained_by=206 second_largest=239/140 gap_to_bound_of_second=1/140 violations(>bound)=0
RESULT: ACCEPT (inequality holds for all 65536 patterns)
