protected Diff() {}
@Test(timeout=60000)
  public void testDiff() throws Exception {
    for(int startSize = 0; startSize <= 10000; startSize = nextStep(startSize)) {
      for(int m = 0; m <= 10000; m = nextStep(m)) {
        runDiffTest(startSize, m);
      }
    }
  }