// 下記, 解説サイトを参照して解答. // http://mmxsrup.hatenablog.com/entry/2016/09/07/140617 // -> 最大流(Ford-Fulkerson) の ライブラリ と 見做す. #include using namespace std; using LL = long long; #define rep(i,n) for(int i=0;i<(n);i++) const int INF = 1e9; const int MAX_V = 20000; struct Flow{ // 辺. struct edge{ int to; int cap; int rev; }; // 隣接リスト. vector G[MAX_V]; // 訪問フラグ. bool used[MAX_V]; void add_edge(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 dfs(int v, int t, int f){ if(v == t) return f; used[v] = true; for(int i = 0; i < G[v].size(); ++i){ edge &e = G[v][i]; if(!used[e.to] && e.cap > 0){ 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; } //s -> t への最大流. int max_flow(int s, int t){ int flow = 0; while(1){ memset(used, 0, sizeof(used)); int f = dfs(s, t, INF); if(f == 0) return flow; flow += f; } } }; int j[10010], c[10010]; set x[55]; int main(void){ // 1. 入力情報. int w, n; scanf("%d %d", &w, &n); for(int i = 0; i < n; i++) scanf("%d", j + i); int m; scanf("%d", &m); for(int i = 0; i < m; i++) scanf("%d", c + i); for(int i = 0; i < m; i++){ int q; scanf("%d", &q); for(int j = 0; j < q; j++){ int tmp; scanf("%d", &tmp); tmp--; x[i].insert(tmp); } } // 2. 最大流(Ford-Fulkerson). Flow mf; for(int i = 0; i < n; i++) mf.add_edge(0, i + 1, j[i]); for(int i = 0; i < m; i++) mf.add_edge(100 + i, 200, c[i]); for(int v = 0; v < m; v++){ for(int u = 0; u < n; u++){ if(x[v].count(u) == 0) mf.add_edge(u + 1, v + 100, INF); } } // 3. 出力. LL ans = mf.max_flow(0, 200); if(ans >= w) printf("SHIROBAKO\n"); else printf("BANSAKUTSUKITA\n"); return 0; }