Бобер Сергей зашел в один из баров славного города Майами и первым делом емубросилась в глаза большая неоновая вывеска «Верхнюю одежду сдавать в ардероб». Буква «Г» не горела.

«Хорошо», – подумал бобер и пошел расставаться со своей курткой. Вежливый работник ардероба протянул ему оригинальный номерок. Всего в ардеробе 10^k крючков для одежды, пронумерованных числами от 0 до 10^k - 1, а номерки представляют собой табло из k цифровых индикаторов. Каждый цифровой индикатор состоит из 7-и сегментов и может отображать любую цифру от 0 до 9, как показано на рисунке.

К сожалению, некоторые сегменты на номерке не работали. Ардеробщик уже давно привык к этому и научился узнавать номера даже на частично неработающем табло. Он считает, что на позиции i могла быть цифра x, если в этой позиции светятся не менее половины (округленной вверх) сегментов этой цифры и не светится ни один сегмент, который не встречается в этой цифре. Некоторые номерки вообще могут не распознаваться, но их все равно выдают на руки. Обо всем этом ардеробщик зачем-то рассказал Сергею.

Бобер, выслушав все это, отправился отдыхать. Так как он по профессии был хакером, то за очередным шотом Сергей нашел способ менять местами сегменты на табло номерка. К сожалению, количество горящих сегментов изменять не удавалось. Но это мало расстроило бобра. Теперь ему интересно, сколько вариантов курток он может получить возвращаясь из бара.

Зная количество индикаторов на табло и число горящих сегментов помогите Сергею узнать это количество.