read with TreeSet.