#include #define REP(i, s, n) for (int i = s; i < (int)(n); i++) #define ALL(a) a.begin(), a.end() #define MOD 1000000007 using namespace std; using ll = long long; using flow_t = int; struct Edge { int to, rev; flow_t cap; }; class Dinic { public: Dinic(int v) : N(v), INF(numeric_limits::max()), G(v) {} void add(int from, int to, flow_t cap) { G[from].push_back({to, (int)G[to].size(), cap}); G[to].push_back({from, (int)G[from].size() - 1, 0}); } flow_t max_flow(int s, int t) { flow_t flow = 0; while (bfs(s, t)) { iter.assign(N, 0); flow_t f = 0; while ((f = dfs(s, t, INF)) > 0) flow += f; } return flow; } private: int N; const flow_t INF; vector> G; vector level, iter; bool bfs(int s, int t) { level.assign(N, -1); level[s] = 0; queue q; q.push(s); while (!q.empty() && level[t] == -1) { auto v = q.front(); q.pop(); for (auto &e : G[v]) { if (e.cap > 0 && level[e.to] < 0) { level[e.to] = level[v] + 1; q.push(e.to); } } } return level[t] != -1; } flow_t dfs(int v, const int t, flow_t f) { if (v == t) return f; for (int &i = iter[v]; i < (int)G[v].size(); i++) { auto &e = G[v][i]; if (e.cap > 0 && level[v] < level[e.to]) { auto 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; } }; int main() { int W, N; cin >> W >> N; vector J(N); for (auto &j : J) cin >> j; int M; cin >> M; vector C(M); for (auto &c : C) cin >> c; Dinic mf(N + M + 2); REP(i, 0, M) { int Q; cin >> Q; vector ok(N, true); REP(j, 0, Q) { int x; cin >> x; ok[--x] = false; } REP(j, 0, N) if (ok[j]) mf.add(j, N + i, W); } REP(i, 0, N) mf.add(N + M, i, J[i]); REP(i, 0, M) mf.add(N + i, N + M + 1, C[i]); cout << ((mf.max_flow(N + M, N + M + 1) >= W) ? "SHIROBAKO" : "BANSAKUTSUKITA") << endl; return 0; }