Rankings: Holes

Diamonds in Picat in bytes.

# Golfer Points Bytes Time