cert=cert_ABBB_q280.txt q=280 nonzero=1300 max|G|=404 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=109/70 gap_to_bound_of_second=3/70 violations(>bound)=0
RESULT: ACCEPT (inequality holds for all 65536 patterns)
BBBB / BBAB / ABBB / BBBA
BBBB / BABB / BBBA / ABBB
BBBA / BABB / BBBB / BBAB
BBBA / ABBB / BBAB / BBBB
BBAB / BBBB / BABB / BBBA
BBAB / ABBB / BBBA / BABB
BABB / BBBB / BBAB / ABBB
BABB / BBBA / ABBB / BBAB
ABBB / BBBA / BABB / BBBB
ABBB / BBAB / BBBB / BABB
