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)

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

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)
