Тавсифи масъала

Дар як устохона $n$ мошин мавҷуд аст. Мошини $i$ бояд маҳз $a_i$ маротиба таъмир карда шавад.

Устохона рӯзҳоеро, ки бо рақамҳои $1, 2, 3, \ldots$ ишора шудаанд, кор мекунад.

Дар ҳар рӯз, ҳадди аксар як таъмир анҷом дода мешавад. Аммо, на ҳар як мошин дар ҳар рӯз дастрас аст.

Барои адади мусбати $d$ , $d$ -ро дар шакли дуӣ нависед. Мошини $i$ дар рӯзи $d$ дастрас аст, агар битаи $(i-1)$ -уми $d$ ба $1$ баробар бошад.

Дар ин ҷо битҳо аз $0$ сар карда, аз битаи камаҳамияттарин рақамгузорӣ мешаванд.

Масалан:

дар рӯзи $1$ , намоиши дуӣ $1$ аст, бинобар ин танҳо мошини $1$ дастрас аст;
дар рӯзи $2$ , намоиши дуӣ $10$ аст, бинобар ин танҳо мошини $2$ дастрас аст;
дар рӯзи $3$ , намоиши дуӣ $11$ аст, бинобар ин мошинҳои ва дастрасанд;

Вазифаи шумо ёфтани шумораи ҳадди ақали рӯзҳоест, ки пас аз он ҳамаи таъмирҳоро анҷом додан мумкин аст.

Ба ибораи дигар, хурдтарин адади бутуни $D$ -ро ёбед, ки чунин бошад: таъмирҳоро метавон дар рӯзҳои $1, 2, \ldots, D$ ба нақша гирифт, бо ҳадди аксар як таъмир дар як рӯз, ва ҳар як мошини $i$ маҳз $a_i$ маротиба таъмир карда шавад.

Формати вуруд

Сатри аввал як адади бутун $n$ ( $1 \le n \le 20$ ) --- шумораи мошинҳоро дар бар мегирад.

Сатри дуюм $n$ адади бутун $a_1, a_2, \ldots, a_n$ ( $1$ ) --- шумораи зарурии таъмирҳо барои ҳар як мошинро дар бар мегирад.

Формати баромад

Як адади бутунро бароред --- арзиши ҳадди ақали имконпазири $D$ .

Баҳогузорӣ

Зервазифа	Холҳо	Маҳдудиятҳо
$1$	$10$	$n \leq 5$ , $a_i \leq 5$

Мисолҳо

Мисол 1

Вуруд

2
1 1

Баромад

Шарҳ

Дар мисоли аввал, мошини $1$ дар рӯзи $1$ дастрас аст ва мошини $2$ дар рӯзи $2$ дастрас аст.

Пас мо метавонем мошини $1$ -ро дар рӯзи $1$ ва мошини -ро дар рӯзи таъмир кунем.

Рӯз	Дубинӣ	Мошинҳои дастрас
$1$	$1$	$1$
$2$	$10$	$2$
$3$	$11$	$1, 2$
$4$	$100$	$3$
$5$	$101$	$1, 3$

Рӯзҳои бит

Тавсифи масъала

Формати вуруд

Формати баромад

Баҳогузорӣ

Мисолҳо