Mezinárodní olympiády v informatice IOI v roce 2025 - Töpfer, Pavel (Matematika–Fyzika–Informatika, 2025)