#include using namespace std; const int INF = 1000000000; class MaxFlow { struct edge { int to, cap, rev; edge(int to_, int cap_, int rev_) : to(to_), cap(cap_), rev(rev_) {}; }; int V; vector> G; vector level; vector iter; void BFS(int s) { fill(level.begin(), level.end(), -1); queue que; level[s] = 0; que.push(s); while (!que.empty()) { int v = que.front(); que.pop(); for (size_t i = 0; i < G[v].size(); i++) { edge &e = G[v][i]; if (e.cap > 0 && level[e.to] < 0) { level[e.to] = level[v] + 1; que.push(e.to); } } } } int DFS(int v, int t, int f) { if (v == t) return f; for (int &i = iter[v]; i < (int)G[v].size(); i++) { edge &e = G[v][i]; if (e.cap > 0 && level[v] < level[e.to]) { int d = DFS(e.to, t, min(f, e.cap)); if (d > 0) { e.cap -= d; G[e.to][e.rev].cap += d; return d; } } } return 0; } public: MaxFlow(int _V) : V(_V), G(_V), level(_V), iter(_V) {} void add(int from, int to, int cap) { G[from].push_back(edge(to, cap, G[to].size())); G[to].push_back(edge(from, 0, G[from].size() - 1)); } int Dinic(int s, int t) { int flow = 0; while (true) { BFS(s); if (level[t] < 0) return flow; fill(iter.begin(), iter.end(), 0); int f; while ((f = DFS(s, t, INF)) > 0) { flow += f; } } } }; int main() { int W, N, M; cin >> W >> N; vector J(N); for (int i = 0; i < N; i++) { cin >> J[i]; } cin >> M; vector C(M); for (int i = 0; i < M; i++) { cin >> C[i]; } vector> G(M, vector(N, 1)); for (int i = 0, Q; i < M; i++) { cin >> Q; for (int j = 0, X; j < Q; j++) { cin >> X; X--; G[i][X] = 0; } } MaxFlow mf(N + M + 2); for (int i = 0; i < N; i++) { mf.add(N + M, i, J[i]); } for (int i = 0; i < M; i++) { mf.add(N + i, N + M + 1, C[i]); } for (int i = 0; i < M; i++) { for (int j = 0; j < N; j++) { if (G[i][j]) { mf.add(j, N + i, INF); } } } cout << (mf.Dinic(N + M, N + M + 1) >= W ? "SHIROBAKO" : "BANSAKUTSUKITA") << endl; return 0; }