문제

지훈이와 민혁이는 평소에 서로 수학 퍼즐을 주고받는 것을 즐긴다. 최근 민혁이가 지훈이에게 준 퍼즐은 너무 어려워 지훈이는 결국 풀지 못했다. 지훈이는 민혁이에게 복수하기 위해 아주 까다로운 문제를 하나 준비했다.

지훈이는 민혁이에게 $B, E, S, I, G, O, M$이라는 7개의 변수를 포함한 식 하나를 주었다. ($O$는 숫자 0이 아닌 변수이다.)

$(B+E+S+S+I+E)(G+O+E+S)(M+O+O)$

지훈이는 각 변수가 가질 수 있는 정수 값들의 목록을 민혁이에게 주었다. 각 변수에 대해 최대 500개의 가능한 값들이 주어진다. 지훈이는 민혁이에게 각 변수에 값을 하나씩 배정했을 때, 전체 식의 결과가 7의 배수가 되는 경우의 수가 총 몇 가지인지 물었다.

문제의 정답은 32비트 정수 범위를 넘어갈 수 있으므로, 64비트 정수 자료형(예: C/C++의 long long)을 사용하는 것이 좋다.

입력

첫째 줄에 정수 $N$이 주어진다. ($1 \le N \le 3\,500$)

이어서 $N$개의 줄에는 변수 이름 하나와 그 변수가 가질 수 있는 정수 값 하나가 공백으로 구분되어 주어진다. 각 변수는 목록에 최소 한 번에서 최대 500번까지 등장하며, 동일한 변수에 대해 같은 값이 중복되어 주어지지 않는다. 모든 정수 값은 $-10^5$ 이상 $10^5$ 이하이다.

출력

첫째 줄에 식의 결과가 7의 배수가 되도록 변수에 값을 배정하는 경우의 수를 출력한다.

예제 입력 1

10
B 2
E 5
S 7
I 10
O 16
M 19
B 3
G 1
I 9
M 2

예제 출력 1

2