#include using namespace std; #define INF 1000000000 #define REP(i,n) for(int (i)=0;(i)<(int)(n);(i)++) int N; int K[13]; bool dp[1<<14]; //消すことが可能か bool check(long long x){ REP(i,N){ REP(j,i){ REP(k,j){ if(!(x>>i&1)){ if(!(x>>j&1)){ if(!(x>>k&1)){ if((K[i]K[k])||(K[i]>K[j]&&K[j]=0;i--){ if(check(i)==false){ dp[i]=false; }else{ dp[i]=false; for(int l=0;l>l)&1)){ if(!((i>>j)&1)){ if(!((i>>k)&1)){ long long y=i; y=y|(1<K[k])||(K[l]>K[j]&&K[j]>N; REP(i,N){ cin>>K[i]; } bit_dp(); }