#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; using namespace atcoder; typedef long long ll; typedef pair P; int main() { int n; cin>>n; map mp; ll c=0, c2=0, c1=0; for(int i=0; i>a; mp[a]++; if(a>=2) c++; else c1++; if(a==2) c2++; } ll ans=c*(c-1)/2+(c-c2)*c1*2+c1*c2*3+c1*(c1-1); cout<