스티커

찰스는 자동차 경주 팬이며, 자신만의 모형 자동차 컬렉션을 만들기로 했다. 상점에서는 모형이 똑같이 생긴 밀봉 상자에 담겨 판매된다. 각 상자에는 모형 하나를 조립할 부품과 함께, 숫자가 그려진 스티커 한 세트가 들어 있다. 모든 상자에 들어 있는 스티커 세트는 서로 동일하다.

찰스는 조립한 모형에 1부터 시작하는 연속된 정수로 번호를 붙인다. 예를 들어 2070번 모형에 번호를 붙이려면 스티커 네 장이 필요하다. 즉 2 한 장, 0 두 장, 7 한 장이 든다.

찰스는 모형을 하나씩 만든다. 다음 모형을 만들 때마다 새 상자 하나를 열어 모형을 조립한 뒤, 그 모형의 번호를 스티커로 붙인다. 방금 연 상자뿐 아니라 이전에 열어 둔 상자들에 남아 있는 스티커도 사용할 수 있지만, 부족한 스티커를 얻으려고 상자를 추가로 더 열 수는 없다. 현재 모형의 번호를 온전히 붙일 수 없게 되는 순간 그는 작업을 멈춘다.

각 상자에 들어 있는 스티커 세트가 주어질 때, 찰스가 이런 방식으로 번호를 붙일 수 있는 모형이 몇 개인지 구하여라.

한 줄에 한 자리 정수 열 개가 주어진다.

$i_0\ i_1\ i_2\ i_3\ i_4\ i_5\ i_6\ i_7\ i_8\ i_9$

여기서 $i_j$는 각 상자에 들어 있는 숫자 $j$ 스티커의 개수이다 ($0 \le j \le 9$). 인접한 두 값은 공백 하나로 구분된다. 각 $i_j$는 한 자리 수이다 ($0 \le i_j \le 9$).

찰스가 번호를 붙일 수 있는 모형의 개수를 정수 하나로 출력한다.