# include "bits/stdc++.h" using namespace std; using LL = long long; using ULL = unsigned long long; const double PI = acos(-1); templateconstexpr T INF() { return ::std::numeric_limits::max(); } templateconstexpr T HINF() { return INF() / 2; } template T_char TL(T_char cX) { return tolower(cX); }; template T_char TU(T_char cX) { return toupper(cX); }; const int vy[] = { -1, -1, -1, 0, 1, 1, 1, 0 }, vx[] = { -1, 0, 1, 1, 1, 0, -1, -1 }; const int dx[4] = { -1,0,1,0 }, dy[4] = { 0,-1,0,1 }; int popcnt(unsigned long long n) { int cnt = 0; for (int i = 0; i < 64; i++)if ((n >> i) & 1)cnt++; return cnt; } int d_sum(LL n) { int ret = 0; while (n > 0) { ret += n % 10; n /= 10; }return ret; } int d_cnt(LL n) { int ret = 0; while (n > 0) { ret++; n /= 10; }return ret; } LL gcd(LL a, LL b) { if (b == 0)return a; return gcd(b, a%b); }; LL lcm(LL a, LL b) { LL g = gcd(a, b); return a / g*b; }; # define ALL(qpqpq) (qpqpq).begin(),(qpqpq).end() # define UNIQUE(wpwpw) (wpwpw).erase(unique(ALL((wpwpw))),(wpwpw).end()) # define LOWER(epepe) transform(ALL((epepe)),(epepe).begin(),TL) # define UPPER(rprpr) transform(ALL((rprpr)),(rprpr).begin(),TU) # define FOR(i,tptpt,ypypy) for(LL i=(tptpt);i<(ypypy);i++) # define REP(i,upupu) FOR(i,0,upupu) # define INIT std::ios::sync_with_stdio(false);std::cin.tie(0) # pragma warning(disable:4996) const int MAX_V = 101010; struct edge { int to; LL cap; int rev; }; vector G[MAX_V]; int level[MAX_V]; int iter[MAX_V]; void add_edge(int from, int to, LL cap) { G[from].emplace_back(edge{ to,cap,(int)G[to].size() }); G[to].emplace_back(edge{ from,0,(int)G[from].size() - 1 }); } void bfs(int s) { for (int i = 0; i < MAX_V; i++)level[i] = -1; queue que; level[s] = 0; que.push(s); while (!que.empty()) { int v = que.front(); que.pop(); for (int i = 0; i < (int)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); } } } } LL dfs(int v, int t, LL f) { if (v == t)return f; for (int &i = iter[v]; i < 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 0LL; } LL max_flow(int s, int t) { int flow = 0; for (;;) { bfs(s); if (level[t] < 0)return flow; for (int i = 0; i < MAX_V; i++)iter[i] = 0; int f; while ((f = dfs(s, t, INF())) > 0) { flow += f; } } } int s = 10000, t = 10001; int main() { int w, n; cin >> w >> n; REP(i, n) { int j; cin >> j; add_edge(s, 100 + i, j); } int m; cin >> m; REP(i, m) { int c; cin >> c; add_edge(200 + i, t, c); } REP(i, m) { int q; cin >> q; int cnt[55]={}; REP(j, q) { int a; cin >> a; a--; cnt[a]++; } REP(j, 55) { if (cnt[j] == 0) { add_edge(100 + j, 200 + i, INF()); } } } cout << (max_flow(s, t) >= w ? "SHIROBAKO" : "BANSAKUTSUKITA") << endl; }