#include // #include // using namespace atcoder; #define rep(i, n) for (int i = 0; i < (n); i++) using ll = long long; using namespace std; const int mod = 1000000007; const int INF =1e9+1; int main(){ int n;cin>>n; vector a(n); rep(i,n)cin>>a[i]; int n2=1< dp(n2); rep(i,n2){ rep(j,n){ if(i>>j&1)continue; for(int k=j+1;k>k&1)continue; int x=1<