Rankings: Holes

Gray Code Encoder in Picat in chars.

# Golfer Points Chars Time