Rankings: Holes

Scrambled Sort in Picat in bytes.

# Golfer Points Bytes Time