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

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

Эта ко­ман­да за­ме­ня­ет в стро­ке пер­вое слева вхож­де­ние це­поч­ки v на це­поч­ку w. Если це­поч­ки v в стро­ке нет, эта ко­ман­да не из­ме­ня­ет стро­ку.

на­шлось (v)

Эта ко­ман­да про­ве­ря­ет, встре­ча­ет­ся ли це­поч­ка v в стро­ке ис­пол­ни­те­ля Ре­дак­тор. Если она встре­ча­ет­ся, то ко­ман­да воз­вра­ща­ет ло­ги­че­ское зна­че­ние «ис­ти­на», в про­тив­ном слу­чае воз­вра­ща­ет зна­че­ние «ложь». Стро­ка при этом не из­ме­ня­ет­ся.

Дана про­грам­ма для ре­дак­то­ра:

НА­ЧА­ЛО

                ПОКА НЕ на­шлось (00)

                        за­ме­нить (01, 103)

                        за­ме­нить (02, 201)

                        за­ме­нить (03, 2110)

                КОНЕЦ ПОКА

КОНЕЦ

Из­вест­но, что ис­ход­ная стро­ка на­чи­на­лась с нуля и за­кан­чи­ва­лась нулём, а между ними были толь­ко цифры 1, 2 и 3. После вы­пол­не­ния дан­ной про­грам­мы по­лу­чи­лась стро­ка, со­дер­жа­щая 196 еди­ниц, 75 двоек и 0 троек. Вы­ве­ди­те ми­ни­маль­ную длину ис­ход­ной стро­ки.