Bessie Goes Moo (Silver)

Cho biểu thức $(B+E+S+S+I+E)\times (G+O+E+S)\times (M+O+O)$, trong đó $B,E,S,I,G,O,M$ là 7 biến. Mỗi biến có một danh sách các giá trị có thể nhận.

Đếm số cách gán giá trị cho 7 biến (mỗi biến chọn đúng một giá trị từ danh sách của nó) sao cho biểu thức chia hết cho $7$.

Dữ liệu vào

• Dòng đầu: số nguyên $N$ — tổng số cặp (biến, giá trị)
• $N$ dòng tiếp theo: mỗi dòng gồm một ký tự in hoa (tên biến) và một số nguyên (giá trị)

Dữ liệu ra

Số lượng cách gán hợp lệ.

Ràng buộc

• $7\le N\le 3500$
• Mỗi biến xuất hiện ít nhất 1 lần
• $-{10}^5\le \text{giá trị}\le {10}^5$

Ví dụ