Final of the 17TH Olympiad of Mathematical Linguistics