Rankings: Holes

Van Eck Sequence in Picat in chars.

# Golfer Points Chars Time