#include <bits/stdc++.h>
using namespace std;
const int INF = (int)1E9;
int N;
int x[200005];
vector<int> has;
int main() {
  cin >> N;
  for (int i = (0); i < (N); i++) {
    scanf("%d", x + i);
  }
  sort(x, x + N);
  for (int i = N - 1; i >= 1; i--) {
    if (x[i] <= x[i - 1] + 1) {
      has.push_back(x[i - 1]);
      i--;
    }
  }
  long long ans = 0;
  int sz = has.size();
  for (int i = (0); i < (sz); i++) {
    if (i + 1 < sz) {
      ans += (long long)has[i] * has[i + 1];
    }
    i++;
  }
  cout << ans << endl;
  return 0;
}
