Rankings: Holes

Reverse Polish Notation in Picat in chars.

# Golfer Points Chars Time