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

Rankings: Holes

12 Days of Christmas in Common Lisp in bytes.

# Golfer Points Bytes Time
1st kg583 🇺🇸 1,000 321
2nd o0lit3 🇺🇸 994 323
2nd primo-ppcg 🇹🇭 994 323
4th MeWhenI 🇻🇦 988 325
4th lynn 988 325
4th neel11235813 988 325
4th AlephSquirrel 988 325
8th GrayJoKing 🇦🇺 982 327
9th SirBogman 🇺🇸 933 344
9th Rhinozz 🇨🇦 933 344
9th Steffan153 🇫🇮 933 344
12th sisyphus-ppcg 🇦🇺 930 345
13th marcus-gomes-v 🇧🇷 904 355
14th DialFrost 🇸🇬 902 356
15th marcin7Cd 887 362
16th edsrzf 🇳🇿 872 368
17th alexhuntley 863 372
18th qzdl 851 377
19th Shanethegamer 🇺🇸 847 379
20th ovs-code 🇩🇪 838 383
20th varhammer 🇷🇺 838 383
22nd yzhs 🇩🇪 809 397
23rd cam-lambda 781 411
24th hyphz 773 415
25th agandar1 757 424
26th whenaver 🇨🇿 755 425
27th yokasuretsu 658 488
28th SniperSmiley 🇺🇸 632 508
29th Deepztream 616 521
30th msbranicky 602 533
31st olleicua 🇺🇸 558 575
32nd ai-fischer 135 2,377
32nd KatieLG 🇬🇧 135 2,377
32nd KatieLG-Transpiler 🇬🇧 135 2,377
32nd HumanoidCPU 135 2,377
32nd dokutan 135 2,377
37th nico-bachner 135 2,378
38th retrohun 135 2,383
38th zakariamouhid 135 2,383
40th HumanEquivalentUnit 129 2,494