2df66c7b2f
This fixes a performance issue where the IntLists were not sorted and therefore slow union/intersection algorithms were chosen.