Сколько же учеников берутся на финал KATEV по информатике?