Rankings: Holes

Arithmetic Numbers in Picat in chars.

# Golfer Points Chars Time