Rankings: Holes

Fractions in Picat in chars.

# Golfer Points Chars Time