#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; #define FOR(i,a,b) for(int i=(a);i<(b);++i) #define REP(i,n) for(int i=0;i<(n);++i) bool ok(int x, int y, int z){ bool ret=true; if(x==y || x==z || y==z) ret=false; else{ if(xy && y>z) ret=false; } return ret; } int main(int argc, char const *argv[]) { int n; int k[12]; cin >>n; REP(i,n) cin >>k[i]; vector w((1 << n) + 1); w[0]=false; FOR(state,1,1<>i)&1; if(ones<3){ w[state]=false; } else{ w[state]=false; FOR(a,0,n)FOR(b,a+1,n)FOR(c,b+1,n){ if((state>>a)&1 && (state>>b)&1 && (state>>c)&1){ if(ok(k[a],k[b],k[c])) { int nx=state-(1<