class IntSet6 extends IntSet5
{
 public IntSet6()
 {
  super();
 }

 private IntSet6(int[] a)
 {
  array=a;
 }
 
 public IntSet6 copy()
 {
  int[] array1 = new int[array.length];
  for(int i=0; i<array.length; i++)
     array1[i]=array[i];
  return new IntSet6(array1);
 }
}