Rankings: Holes

Repeating Decimals in Picat in chars.

# Golfer Points Chars Time