Bessie Goes Moo

농부 존과 소 베시는 시간이 날 때마다 서로 수학 퍼즐을 낸다. 존이 마지막으로 낸 퍼즐은 너무 어려워서 베시가 풀지 못했다. 이번에는 베시가 존에게 어려운 퍼즐을 내려고 한다.

베시가 존에게 준 식은 $(B+E+S+S+I+E)(G+O+E+S)(M+O+O)$이고, 변수는 $B$, $E$, $S$, $I$, $G$, $O$, $M$ 일곱 개다. 여기서 $O$는 숫자 0이 아니라 변수다. 베시는 변수마다 그 변수가 가질 수 있는 정수 값의 목록을 최대 500개까지 알려준다. 존은 식 전체의 값이 7의 배수가 되는 값 배정이 몇 가지인지 세야 한다.

정답은 32비트 정수 범위를 넘을 수 있으므로 64비트 정수를 쓴다.

첫째 줄에 정수 $N$이 주어진다. 다음 $N$개의 줄에는 변수 이름과 그 변수가 가질 수 있는 값 하나가 차례로 주어진다. 변수는 각각 적어도 한 번, 많아도 500번 등장하므로 $7 \le N \le 3500$이다. 같은 변수에 같은 값이 두 번 주어지지는 않는다. 모든 값은 $-10^5$ 이상 $10^5$ 이하다.

식의 값이 7의 배수가 되는 값 배정의 개수를 정수 하나로 출력한다.

첫 번째 예제에서 조건을 만족하는 배정은 다음 두 가지다.

(B,E,S,I,G,O,M) = (2, 5, 7, 9,  1, 16, 19) -> 51,765
                = (2, 5, 7, 9,  1, 16, 2 ) -> 34,510