== N1. least-squares refutation attempt ==
  m=2: 4000 converged zeros; max |x_i y_i - 1|, |x0 - m| = 4.41e-07; 4 of 4 sign patterns reached
  m=3: 3226 converged zeros; max |x_i y_i - 1|, |x0 - m| = 2.71e-06; 8 of 8 sign patterns reached
  m=4: 2814 converged zeros; max |x_i y_i - 1|, |x0 - m| = 6.05e-06; 16 of 16 sign patterns reached
  m=5: 2683 converged zeros; max |x_i y_i - 1|, |x0 - m| = 7.54e-06; 32 of 32 sign patterns reached
== N2. grid connected-component count ==
  m=1: grid 1201^2, eps=0.05: 2 clusters (expected 2); cluster sizes [8796, 8802]
  m=2: grid 71^4, eps=0.45: 4 clusters (expected 4); cluster sizes [76176, 76176, 76176, 76176]
