Make Resolute results deterministic by using SortedSets