#ifdef LOCAL111 #else #define NDEBUG #endif #include const int INF = 1e9; using namespace std; template ostream& operator<< (ostream& os, const pair& p) { cout << '(' << p.first << ' ' << p.second << ')'; return os; } #define endl '\n' #define ALL(a) (a).begin(),(a).end() #define SZ(a) int((a).size()) #define FOR(i,a,b) for(int i=(a);i<(b);++i) #define RFOR(i,a,b) for (int i=(b)-1;i>=(a);i--) #define REP(i,n) FOR(i,0,n) #define RREP(i,n) for (int i=(n)-1;i>=0;i--) #define RBP(i,a) for(auto& i : a) #ifdef LOCAL111 #define DEBUG(x) cout<<#x<<": "<<(x)< void dpite(T a, T b){ for(T ite = a; ite != b; ite++) cout << (ite == a ? "" : " ") << *ite; cout << endl;} #else #define DEBUG(x) true template void dpite(T a, T b){ return; } #endif #define F first #define S second #define SNP string::npos #define WRC(hoge) cout << "Case #" << (hoge)+1 << ": " #define rangej(a,b,c) ((a) <= (c) and (c) < (b)) #define rrangej(b,c) rangej(0,b,c) template void pite(T a, T b){ for(T ite = a; ite != b; ite++) cout << (ite == a ? "" : " ") << *ite; cout << endl;} template bool chmax(T& a, T b){if(a < b){a = b; return true;} return false;} template bool chmin(T& a, T b){if(a > b){a = b; return true;} return false;} typedef long long int LL; typedef unsigned long long ULL; typedef pair P; typedef pair LP; void ios_init(){ //cout.setf(ios::fixed); //cout.precision(12); #ifdef LOCAL111 return; #endif ios::sync_with_stdio(false); cin.tie(0); } vector bit_toposort(int n) { vector res; res.reserve(1< used(1< rec = [&](int mask){ used[mask] = true; for(int i = 0; i < n; ++i) { if(!((mask>>i)&1)){ if(!used[mask|(1< bits[17]; REP(i,1600) bits[0][i] = true; REP(i,16){ bits[i+1] = bits[i]<<100; } REP(i,17) DEBUG(bits[i]); while(cin >> n){ vector d(n); REP(i,n) cin >> d[i]; using vb = bitset<1600>; vector> dp((1<(n+1)); dp[(1<(mask)); REP(j,n+1){ REP(k,n) if(!((mask>>k)&1)){ DEBUG(k); if(d[k] < 0){ if(j) dp[mask][j] |= dp[mask|(1<>(-d[k]); } else { auto t = dp[mask|(1<