xxiaowuc12010-01-19 07:35:04Currently, I believe the sorting is done lexicographically. Could it be done numerically, by number of people solved?