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 Ralac07 🇦🇺 0 1,017