Rankings: Holes

ROT13 in Picat in chars.

# Golfer Points Chars Time