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

    Rankings: Holes

    Arabic to Roman in Picat in chars.

    # Golfer Points Chars Time