Rankings: Holes

Fibonacci in F# in chars.

# Golfer Points Chars Time
1st primo-ppcg 🇹🇭 1,000 42
1st JayXon 🇺🇸 1,000 42
1st GrayJoKing 🇦🇺 1,000 42
1st btnlq 1,000 42
1st Lydxn 🇨🇦 1,000 42
1st lynn 1,000 42
1st Shanethegamer 🇺🇸 1,000 42
1st ovs-code 🇩🇪 1,000 42
1st edsrzf 🇳🇿 1,000 42
10th sisyphus-ppcg 🇦🇺 933 45
10th prplz 🇦🇺 933 45
10th Steffan153 🇫🇮 933 45
10th ashtraypettingzoo 🇺🇸 933 45
10th DialFrost 🇸🇬 933 45
15th MeWhenI 🇻🇦 913 46
16th SirBogman 🇺🇸 875 48
17th fuchen 840 50
17th error256 840 50
19th adacola 824 51
19th JDiLenarda 🇫🇷 824 51
19th gradbot 824 51
22nd marcin7Cd 808 52
23rd ze-h 🇺🇸 792 53
24th daviddostal 750 56
25th Nexilis 🇵🇱 677 62
26th BBoehm 🇩🇪 667 63
26th Yewzir 667 63
26th dokutan 667 63
29th yzhs 🇩🇪 656 64
29th MatheusAvellar 🇧🇷 656 64
29th snoozingnewt 🇺🇸 656 64
29th neel11235813 656 64
33rd brianberns 646 65
34th KatieLG 🇬🇧 618 68
35th Maximizer02 609 69
36th Betuaredead 583 72
37th MichaelMBradley 🇨🇦 568 74
38th Natanaelel 🇸🇪 553 76
39th dillon-duncando 538 78
40th TheRealOhead 🇺🇸 532 79
40th scpchicken 🇵🇼 532 79
40th epic-programmer-guy 532 79
43rd sech1p 🇵🇱 525 80
44th msbranicky 506 83
45th mathisfun271 472 89
46th janbehrens 🇩🇪 429 98
46th madeforlosers 429 98
48th c0d3-4-F00d 🇩🇪 424 99
49th NewDefectus 🇮🇱 420 100
50th hacker112 🇸🇪 412 102
51st CedricGebistorf 389 108
52nd BashkaMen 372 113
52nd oceko 372 113
54th CheeseCake628 🇳🇴 362 116
55th martinnorling 🇸🇪 359 117
56th Eugen-str 356 118
57th eiburns 344 122
58th bac0id 328 128
59th emgordon154 323 130
60th KatieLG-Transpiler 🇬🇧 298 141
60th HumanoidCPU 298 141
60th CaedenHarper 🇨🇦 298 141
63rd Herbert00709 🇵🇱 294 143
64th JesseNoEyes 🇺🇸 275 153
65th jtaxen 263 160
66th retrohun 247 170
67th mokymok 🇺🇸 244 172
68th AntoineBlondon 232 181
69th Noah-Fox 214 196
70th Mabeloid 🇳🇴 208 202
71st Adix-null 🇱🇹 196 214
72nd kkoenig 179 235