Вася давно собирает счастливые билеты. В его коллекции уже насчитывается несколько тысяч счастливых трамвайных, троллейбусных и автобусных билетов. Васе уже надоело стандартное понимание того, является ли билет счастливым. Поэтому он ищет новые понимания. Кроме того, Васе непонятно, почему все билеты делятся только на счастливые и несчастливые. Он считает, что все билеты счастливые, только в разной степени. Немного поразмыслив, Вася пришел к определению счастливости билета. Пусть билет состоит из 2n цифр. Представим, что каждая из этих цифр записана так, как это показано на рисунке:

Цифры такого вида вы наверняка видели на электронных часах: для отображения цифры используются семь сегментов, каждый из которых может быть подсвечен или нет; подсвеченные сегменты образуют цифру. Представив, что цифры записаны именно так, Вася берет правую половину билета и накладывает ее на левую, совмещая первую цифру с n + 1-й, вторую с n + 2-й, ..., n-ю с 2n-й. Для каждой пары совмещенных цифр он подсчитывает, сколько сегментов подсвечены как в одной цифре, так и в другой, и суммирует эти количества. Полученную величину он называет счастливостью билета. Например, счастливость билета 03 равна четырем, а счастливость билета 2345 — шести.

По заданному номеру билета, состоящему из 2n цифр, найдите наименьший по номеру билет среди тех билетов, чей номер больше данного, но состоит также из 2n цифр, и чья счастливость больше, чем счастливость данного билета.