Virtual contest is a way to take part in past contest, as close as possible to participation on time. It is supported only ACM-ICPC mode for virtual contests.
If you've seen these problems, a virtual contest is not for you - solve these problems in the archive.
If you just want to solve some problem from a contest, a virtual contest is not for you - solve this problem in the archive.
Never use someone else's code, read the tutorials or communicate with other person during a virtual contest.

No tag edit access

B. The Best Gift

time limit per test

2 secondsmemory limit per test

256 megabytesinput

standard inputoutput

standard outputEmily's birthday is next week and Jack has decided to buy a present for her. He knows she loves books so he goes to the local bookshop, where there are *n* books on sale from one of *m* genres.

In the bookshop, Jack decides to buy two books of different genres.

Based on the genre of books on sale in the shop, find the number of options available to Jack for choosing two books of different genres for Emily. Options are considered different if they differ in at least one book.

The books are given by indices of their genres. The genres are numbered from 1 to *m*.

Input

The first line contains two positive integers *n* and *m* (2 ≤ *n* ≤ 2·10^{5}, 2 ≤ *m* ≤ 10) — the number of books in the bookstore and the number of genres.

The second line contains a sequence *a*_{1}, *a*_{2}, ..., *a*_{n}, where *a*_{i} (1 ≤ *a*_{i} ≤ *m*) equals the genre of the *i*-th book.

It is guaranteed that for each genre there is at least one book of that genre.

Output

Print the only integer — the number of ways in which Jack can choose books.

It is guaranteed that the answer doesn't exceed the value 2·10^{9}.

Examples

Input

4 3

2 1 3 1

Output

5

Input

7 4

4 2 3 1 2 4 3

Output

18

Note

The answer to the first test sample equals 5 as Sasha can choose:

- the first and second books,
- the first and third books,
- the first and fourth books,
- the second and third books,
- the third and fourth books.

Codeforces (c) Copyright 2010-2017 Mike Mirzayanov

The only programming contests Web 2.0 platform

Server time: Dec/18/2017 09:54:16 (c5).

Desktop version, switch to mobile version.

User lists

Name |
---|