Примеры простых линейных алгоритмов для формальных исполнителей