Rankings: Holes

√2 in Picat in chars.

# Golfer Points Chars Time