Rankings: Holes

Happy Numbers (Long) in Picat in chars.

# Golfer Points Chars Time