Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Редактор может выполнять две команды, в обеих командах v и w обозначают цепочки символов.
1. заменить (v, w)
2. нашлось (v)
Первая команда заменяет в строке первое слева вхождение цепочки v на цепочку w. Если цепочки v в строке нет, эта команда не изменяет строку. Вторая команда проверяет, встречается ли цепочка v в строке исполнителя Редактор.
Дана программа для исполнителя Редактор:
ПОКА нашлось (15) ИЛИ нашлось (16) ИЛИ нашлось (17)
заменить (15, 7616)
заменить (16, 51)
заменить (17, 615)
КОНЕЦ ПОКА
На вход программе поступает строка, которая начинается с цифры «1», за которой следует некоторое количество цифр «5», «6» и «7», расположенных в произвольном порядке. В результате работы программы получена строка, содержащая 109 цифр «7», 153 цифры «6», 126 цифр «5» и одну цифру «1». Какое количество цифр «6» содержалось в исходной строке?