added the BitSet library