Before 1/13/2025
LeanReindeer#1195 ranked #1!
Dec 25, 2024, 3:26 PM UTC
LeanReindeer#1195 ranked #2!
Dec 25, 2024, 3:23 PM UTC
2
