Rankings: Holes

Mahjong in Picat in bytes.

# Golfer Points Bytes Time