Articles Challenges Scoreboard Login

linear hell

crypto

396

Мы перехватили какой-то ужасный вариант типовика по линейной алгебре. Помоги нам решить его?

Z3

task

--

P.S. В этом таске включен динамический скоринг - чем больше раз решено задание, тем меньше оно стоит