add a IntSetList class