Помогите решить на python
Исполнитель Редактор получает на вход строку цифр и преобразовывает её. Ре-дактор может выполнять две команды, в обеих командах v и w обозначают цепочки цифр.

заменить (v, w)

нашлось (v)

Дана программа для исполнителя Редактор:

НАЧАЛО

ПОКА нашлось (555) ИЛИ нашлось (888)

ЕСЛИ нашлось (555)

ТО заменить (555, 8)

КОНЕЦ ЕСЛИ

ПОКА нашлось (888)

заменить (888, 5)

КОНЕЦ ПОКА

ЕСЛИ нашлось (555)

ТО заменить (555, 8)

КОНЕЦ ЕСЛИ

КОНЕЦ ПОКА

КОНЕЦ

Дана строка, состоящая из 21 цифры, причем первые 18 цифр – восьмерки, а остальные – пятерки. Какая строка получится в результате применения программы к данной строке?