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

    Rankings: Holes

    𝑒 in Picat in chars.

    # Golfer Points Chars Time
    1st Shanethegamer đŸ‡ș🇾 0 1,017
    1st KatieLG 🇬🇧 0 1,017
    1st HumanoidCPU 0 1,017
    1st BREMAUCY đŸ‡«đŸ‡· 0 1,017
    5th gigaprofisi đŸ‡ș🇾 0 1,020