{European Girls' Mathematical Olympiad 2023}