Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Редактор может выполнять две команды, в обеих командах v и w обозначают цепочки символов.
1. заменить \(v, w\)
2. нашлось \(v\)
Первая команда заменяет в строке первое слева вхождение цепочки v на цепочку w. Если цепочки v в строке нет, эта команда не изменяет строку. Вторая команда проверяет, встречается ли цепочка v в строке исполнителя Редактор.
Дана программа для исполнителя Редактор:
ПОКА нашлось \(55555\)
заменить \(55555, 88\)
заменить \(888, 555\)
КОНЕЦ ПОКА
Известно, что начальная строка состоит более чем из 250 цифр 5 и не содержит других цифр. При какой наименьшей длине исходной строки результат работы этой программы будет содержать наименьшее возможное число цифр 5?