pastel/sys/rankedset/