Rankings: Holes

Scrambled Alphabetization in Picat in chars.

# Golfer Points Chars Time