https://www.reddit.com/r/2Asia4u/comments/14o0duj/congratulations_to_the_winners_of_the_2023/
https://www.imo-official.org/year_individual_r.aspx?year=2023