Верно, вход уже запечатан, так что найти $T(30) — лишь вопрос времени.