Rankings: Holes

QR Encoder in Picat in chars.

# Golfer Points Chars Time