Добавлен модуль асимптотической проверки времени