District stage of the XXIII Mathematical Linguistics Olympiad