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

Rankings: Holes

Pangram Grep in F# in chars.

# Golfer Points Chars Time
1st JDiLenarda 🇫🇷 1,000 89
2nd primo-ppcg 🇹🇭 989 90
2nd lynn 989 90
2nd Shanethegamer 🇺🇸 989 90
2nd SirBogman 🇺🇸 989 90
2nd prplz 🇦🇺 989 90
2nd JayXon 🇺🇸 989 90
2nd Steffan153 🇫🇮 989 90
2nd Lydxn 🇨🇦 989 90
10th HumanoidCPU 957 93
11th DialFrost 🇸🇬 947 94
12th yzhs 🇩🇪 856 104
13th fuchen 848 105
13th MeWhenI 🇻🇦 848 105
15th brianberns 736 121
16th Natanaelel 🇸🇪 627 142
17th RaBa21 597 149
18th Andriamanitra 🇫🇮 520 171
19th ridingqwerty 🇺🇸 514 173
20th AidanWalter 278 320
21st KatieLG 🇬🇧 261 341