Rankings: Holes

Happy Numbers in jq in chars.

# Golfer Lang Points Chars Time
1st btnlq jq 1,000 37
2nd Steffan153 🇫🇮 jq 925 40
3rd MeWhenI 🇻🇦 jq 841 44
3rd sisyphus-ppcg 🇦🇺 jq 841 44
3rd DialFrost 🇸🇬 jq 841 44
3rd ovs-code 🇩🇪 jq 841 44
3rd Shanethegamer 🇺🇸 jq 841 44
3rd GrayJoKing 🇦🇺 jq 841 44
3rd emgordon154 jq 841 44
3rd pardouin 🇫🇷 jq 841 44
11th dokutan jq 587 63
12th KatieLG 🇬🇧 jq 343 108
12th HumanoidCPU jq 343 108
12th KatieLG-Transpiler 🇬🇧 jq 343 108