PySortedSet
