static BitSet intArrayToBitSet(int[] array) {
  if (array == null) null;
  int n = array.length;
  new BitSet bs;
  for (int i : array) bs.set(i);
  ret bs;
}