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