Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    Arithmetic Numbers in Picat in chars.

    # Golfer Points Chars Time Submitted
    1st jusaka 0 392
    2nd Shanethegamer 🇺🇸 0 37,656
    2nd HumanoidCPU 0 37,656
    4th KatieLG 🇬🇧 0 45,343