#include #include #include #include #include #include #include #include #include #include #include #include #include #define repd(i,a,b) for (int i=(a);i<(b);i++) #define rep(i,n) repd(i,0,n) #define var auto #define mod 1000000007 #define inf 2147483647 #define nil -1 typedef long long ll; using namespace std; inline int input(){ int a; cin >> a; return a; } template inline void output(T a, int p) { if(p){ cout << fixed << setprecision(p) << a << "\n"; } else{ cout << a << "\n"; } } // end of template // goal, capacity, index of reverse edge struct edge { int to, cap, rev; }; // O(EV^2) class Dinic{ public: int V; vector> G; vector L; vector I; Dinic(int v){ G.resize(v), L.resize(v), I.resize(v); V = v; } // add edge void add(int from, int to, int cap){ G[from].push_back((edge){to, cap, (int)G[to].size()}); G[to].push_back((edge){from, 0, (int)G[from].size() - 1}); } // label dist from s void bfs(int s){ L.assign(V, -1); queue q; L[s] = 0; q.push(s); while (!q.empty()) { int v = q.front(); q.pop(); rep(i, G[v].size()){ edge &e = G[v][i]; if (e.cap > 0 && L[e.to] < 0) { L[e.to] = L[v] + 1; q.push(e.to); } } } } // search positive path int dfs(int v, int t, int f){ if (v == t) return f; for (int &i = I[v]; i < G[v].size(); i++) { edge &e = G[v][i]; if (e.cap > 0 && L[v] < L[e.to]) { int d = dfs(e.to, t, min(f, e.cap)); if (d) { e.cap -= d; G[e.to][e.rev].cap += d; return d; } } } return 0; } // calc max flow int max_flow(int s, int t){ int flow = 0; for (;;) { bfs(s); if (L[t] < 0) return flow; I.assign(V, 0); int f; while ((f = dfs(s, t, inf)) > 0) { flow += f; } } } }; int main() { cin.tie(0); // source code int W = input(); // カットの数 int N = input(); // 原画マンの数 vector J(N); // 原画マンが描けるカットの数 rep(i, N){ J[i] = input(); } int M = input(); // 作画監督の数 vector C(M); // 作画監督が仕上げられるカットの数 rep(i, M){ C[i] = input(); } Dinic D(N + M + 2); rep(i, N){ D.add(0, i + 1, J[i]); } rep(i, M){ D.add(N + i + 1, N + M + 1, C[i]); } rep(i, M){ int Q = input(); vector X(N, 1); rep(j, Q){ X[input() - 1] = 0; } rep(j, N){ if (X[j]) D.add(j + 1, N + i + 1, J[j]); } } int ret = D.max_flow(0, N + M + 1); if (ret >= W) { output("SHIROBAKO", 0); } else{ output("BANSAKUTSUKITA", 0); } return 0; }