56. Mezinárodní matematická olympiáda - Horák, Karel (Matematika–Fyzika–Informatika, 2015)