Final of the XXIII Mathematical Linguistics Olympiad