Rankings: Holes

Happy Numbers in J in bytes.

# Golfer Points Bytes Time
1st Bubbler-4 1,000 30
1st ovs-code 🇩🇪 1,000 30
3rd stackofbears 968 31
4th miles-cg 938 32
4th GrayJoKing 🇦🇺 938 32
4th HPWiz 🇳🇿 938 32
7th primo-ppcg 🇹🇭 909 33
7th Frowny 909 33
7th nwellnhof 🇩🇪 909 33
10th lynn 882 34
10th jared-hughes 882 34
10th jonahx 882 34
10th Natanaelel 🇸🇪 882 34
14th jslip 857 35
14th SirBogman 🇺🇸 857 35
14th rak1507 🇬🇧 857 35
17th orthoplex 🇨🇽 833 36
18th yzhs 🇩🇪 789 38
19th MeWhenI 🇻🇦 769 39
19th sean-niemann 🇺🇸 769 39
19th DaCuteRaccoon 769 39
19th DialFrost 🇸🇬 769 39
23rd j-Ewan 750 40
24th ashtraypettingzoo 🇺🇸 698 43
24th 4hg 🇺🇸 698 43
26th nlc 588 51
27th saltysylvi 577 52
28th Shanethegamer 🇺🇸 517 58
29th diddily 353 85
30th KatieLG 🇬🇧 259 116
30th HumanoidCPU 259 116
32nd RustemB 🇷🇺 246 122
33rd retrohun 113 266
33rd jiaminglimjm 🇲🇾 113 266
35th mokymok 🇺🇸 112 267
36th KatieLG-Transpiler 🇬🇧 51 587