static void setBitRange(BitSet b, int from, int to) {
  for (int i = from; i < to; i++)
    b.set(i);
}