Одной левой 913. Формализация. Яков Шмарин и Олег Брагинский