The Set hole will go live in approximately . Why not try and solve it ahead of time?

Rankings: Holes

All holes in OCaml in chars.

# Golfer Holes Points Chars Time
1st MeWhenI 🇻🇦 106 78,257 39,374
2nd lynn 82 75,913 17,019
3rd Shanethegamer 🇺🇸 96 72,621 69,044
4th GrayJoKing 🇦🇺 75 71,422 12,736
5th m-tkach 🇺🇦 75 69,620 25,561
6th Steffan153 🇫🇮 65 63,059 9,871
7th Lydxn 🇨🇦 20 19,952 1,497
8th neel11235813 53 18,511 88,882
9th KatieLG 🇬🇧 87 18,289 573,862
10th HumanoidCPU 65 16,866 179,823
11th vgamula 🇺🇦 23 16,749 4,927
12th prplz 🇦🇺 17 15,136 1,759
13th KatieLG-Transpiler 🇬🇧 62 14,163 178,944
14th retrohun 52 13,626 102,137
15th Mabeloid 🇳🇴 57 13,150 170,084
16th dokutan 23 12,937 7,194
17th ovs-code 🇩🇪 14 12,370 1,614
18th msbranicky 25 12,001 13,270
19th DialFrost 🇸🇬 16 11,441 4,307
20th Yewzir 19 11,036 10,817
21st snoozingnewt 🇺🇸 16 8,987 4,532
22nd SirBogman 🇺🇸 7 6,585 1,150
23rd pardouin 🇫🇷 7 6,094 3,040
24th hellopatrick 11 5,974 7,080
25th CaedenHarper 🇨🇦 15 5,376 14,895
26th madeforlosers 13 5,162 10,475
27th Betuaredead 10 4,289 8,253
28th Wanderkind 🇰🇷 6 4,028 1,405
29th roguh 🇬🇹 5 3,573 843
30th voytxt 🇨🇿 9 3,524 7,351
31st aksyristos 6 3,424 2,333
32nd bac0id 11 3,228 11,045
33rd CatsAreFluffy 10 3,054 11,526
34th heanyang1 4 2,896 416
35th emgordon154 3 2,175 1,266
36th edsrzf 🇳🇿 2 2,000 120
37th phfroidmont 3 1,999 623
38th ndren 3 1,731 1,024
39th inventshah 2 1,567 302
40th jinwoo 2 1,566 971
41st JunkIce 2 1,555 1,083
42nd Natanaelel 🇸🇪 2 1,486 177
43rd piebot3000 3 1,480 962
44th Tim-ats-d 3 1,456 829
45th cdesodt 2 1,390 1,096
46th StronkCheese 🇺🇸 2 1,354 209
47th Florian-Mt 2 1,284 218
48th enbyte 2 1,274 262
49th 0xEigenDev 2 1,266 264
50th hugrs 2 1,230 278
51st klixel 2 1,128 1,085
52nd btnlq 1 1,000 54
52nd sisyphus-ppcg 🇦🇺 1 1,000 54
54th andersk 🇺🇸 1 1,000 66
54th 4hg 🇺🇸 1 1,000 66
54th emplv 🇱🇻 1 1,000 66
54th janbehrens 🇩🇪 1 1,000 66
54th weliveinhell 🇭🇹 1 1,000 66
54th trist224 🇫🇷 1 1,000 66
54th JayXon 🇺🇸 1 1,000 66
54th lifthrasiir 🇰🇷 1 1,000 66
54th LostSyntax21 🇬🇧 1 1,000 66
63rd Maximizer02 2 961 1,086
64th Firefox760 3 952 1,475
65th Vinterion 1 939 212
66th error256 1 900 60
67th thizanne 1 891 101
68th scpchicken 🇵🇼 1 884 112
69th Schmitt-Very-Cool 2 873 493
70th Andriamanitra 🇫🇮 1 832 119
71st Siri-chan 1 805 82
72nd bitsandbeyond 🇳🇱 1 804 102
73rd adamnielson42 🇺🇸 2 792 1,143
74th acotis 1 776 85
75th aliakseikalosha 1 773 128