운명

동원이는 $2X$개의 양말을 가지고 있다. $1$번째부터 $X$번째까지의 양말은 왼발에 신을 수 있는 양말이고, $X+1$번째부터 $2X$번째까지의 양말은 오른발에 신을 수 있는 양말이다.

양말의 색은 총 $K$가지이며, 각각 $1$번 색, $2$번 색, $\cdots$, $K$번 색이라고 부른다. $i$번째 양말의 색은 $A_i$번 색이다.

동원이는 왼발 양말 하나와 오른발 양말 하나를 신고 나가려 한다. 두 양말의 색은 서로 달라야 한다. 동원이가 이렇게 양말을 신고 나가는 경우의 수는?

첫째 줄에 양말의 개수 $X$와 양말의 색의 가짓수 $K$가 공백을 사이에 두고 주어진다.

둘째 줄에는 각 양말의 색 번호 $A_1, A_2, \cdots, A_{2X}$가 공백으로 구분되어 주어진다.

양쪽 발에 신는 양말의 색이 서로 다르도록 양말을 신고 나가는 경우의 수를 출력한다. 답은 32비트 정수형의 범위를 넘을 수 있다.

• $1 \le X \le 100\,000$
• $1 \le K \le 10\,000$
• $1 \le A_i \le K$ ($1 \le i \le 2X$)