m=0: sign vectors=1  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=1  histogram of #NC(s)={1: 1}  exact-over-Q cross-check=yes  [0.0s]
m=1: sign vectors=2  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=0  histogram of #NC(s)={0: 2}  exact-over-Q cross-check=yes  [0.0s]
m=2: sign vectors=4  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=2  histogram of #NC(s)={0: 2, 1: 2}  exact-over-Q cross-check=yes  [0.0s]
m=3: sign vectors=8  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=0  histogram of #NC(s)={0: 8}  exact-over-Q cross-check=yes  [0.0s]
m=4: sign vectors=16  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=8  histogram of #NC(s)={0: 10, 1: 4, 2: 2}  exact-over-Q cross-check=yes  [0.0s]
m=5: sign vectors=32  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=0  histogram of #NC(s)={0: 32}  exact-over-Q cross-check=yes  [0.0s]
m=6: sign vectors=64  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=40  histogram of #NC(s)={0: 44, 1: 6, 2: 12, 5: 2}  exact-over-Q cross-check=yes  [0.0s]
m=7: sign vectors=128  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=0  histogram of #NC(s)={0: 128}  exact-over-Q cross-check=yes  [0.0s]
m=8: sign vectors=256  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=224  histogram of #NC(s)={0: 186, 1: 8, 2: 32, 3: 4, 4: 8, 5: 16, 14: 2}  exact-over-Q cross-check=yes  [1.4s]
