m=11: sign vectors=2048  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: 2048}  exact-over-Q cross-check=no (mod p only)  [0.0s]
m=12: sign vectors=4096  failures(dim Y_s != #NC(s))=0  R_s-not-in-Y_s violations=0  sum_s dim Y_s=8448  histogram of #NC(s)={0: 3172, 1: 12, 2: 96, 3: 48, 4: 162, 5: 96, 6: 24, 7: 120, 8: 24, 10: 144, 12: 4, 14: 72, 16: 24, 18: 12, 19: 24, 25: 12, 28: 24, 42: 24, 132: 2}  exact-over-Q cross-check=no (mod p only)  [24.8s]
