#include <bits/stdc++.h>

long gcd(long a, long b) {
  if( a < b ) std::swap(a, b);
  while( b != 0 ) {
    a = a % b;
    std::swap(a, b);
  }
  return a;
}

long nCr(long a, long b) {
  long w[100000] = {};
  long ret = 1;
  long temp;
  long g;

  for(int i = 0; i < b; ++i) {
    w[i] = a - i;
  }
  for(int i = 1; i <= b; ++i) {
    temp = i;
    for(int j = b-1; j >= 0; --j) {
      g = gcd(w[j], temp);
      w[j] /= g;
      temp /= g;
      if( temp == 1 ) break;
    }
  }

  for(int i = 0; i < b; ++i) {
    ret *= w[i];
    ret %= 1000000007;
  }
  return ret;
}

int main() {
  
  long N;
  long num[128] = {};
  long count;
  long ans;
  long temp;

  std::cin >> N;
  for(int i = 0; i < N; ++i) {
    std::cin >> temp;
    num[temp] += 1;
  }

  count = 0;
  for(int i = 0; i < 128; ++i) {
    if( num[i] != 0 ) {
      count += 1;
    }
  }

  ans = nCr(count, 3);
  for(int i = 0; i < 128; ++i) {
    if( num[i] != 0 ) {
      ans *= num[i];
      ans %= 1000000007;
    }
  }
  
  std::cout << ans << std::endl;
  
  return 0;
}