#include //const static double de_PI = 3.14159265358979323846; //const static int de_MOD = 1000000007; //const static int de_MAX = 999999999; //const static int de_MIN = -999999999; int main(void) { //std::ifstream in("123.txt"); std::cin.rdbuf(in.rdbuf()); int N = 0; std::cin >> N; std::vector A(N); for (int i = 0; i < N; i++) { std::cin >> A[i]; } std::sort(A.begin(), A.end()); unsigned long long coef = 1; for (unsigned int i = 0; i < A.size(); i++) { int temp = std::count(A.begin(), A.end(), A[i]); coef *= temp; A.erase(A.begin() + i + 1, A.begin() + i + temp); } unsigned long long ans = 0; for (unsigned int i = 0; i < A.size() - 2; i++) { for (unsigned int j = i + 1; j < A.size() - 1; j++) { for (unsigned int k = j + 1; k < A.size(); k++) { ans++; } } } std::cout << ans*coef << std::endl; }