贪心,凑当前尽量长的对子
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<functional>
#include<iostream>
#include<cmath>
#include<cctype>
#include<ctime>
using namespace std;
#define For(i,n) for(int i=1;i<=n;i++)
#define Fork(i,k,n) for(int i=k;i<=n;i++)
#define Rep(i,n) for(int i=0;i<n;i++)
#define ForD(i,n) for(int i=n;i;i--)
#define ForkD(i,k,n) for(int i=n;i>=k;i--)
#define RepD(i,n) for(int i=n;i>=0;i--)
#define Forp(x) for(int p=pre[x];p;p=next[p])
#define Forpiter(x) for(int &p=iter[x];p;p=next[p])
#define Lson (x<<1)
#define Rson ((x<<1)+1)
#define MEM(a) memset(a,0,sizeof(a));
#define MEMI(a) memset(a,127,sizeof(a));
#define MEMi(a) memset(a,128,sizeof(a));
#define INF (2139062143)
#define F (100000007)
#define MAXN (1000000+10)
typedef long long ll;
ll mul(ll a,ll b){return (a*b)%F;}
ll add(ll a,ll b){return (a+b)%F;}
ll sub(ll a,ll b){return (a-b+(a-b)/F*F+F)%F;}
void upd(ll &a,ll b){a=(a%F+b%F)%F;}
int n,a[MAXN];
int t=0,st[MAXN];
int main()
{
// freopen("Sticks.in","r",stdin);
scanf("%d",&n);
For(i,n) scanf("%d",&a[i]);
sort(a+1,a+1+n);
ForkD(i,2,n)
{
if (a[i]==a[i-1]) st[++t]=a[i],i--;
else if (a[i]-1==a[i-1]) st[++t]=a[i-1],i--;
}
ll ans=0;
for(int i=2;i<=t;i+=2)
{
ans+=(ll)st[i]*(ll)st[i-1];
}
cout<<ans<<endl;
return 0;
}