from collections import deque class Dinic: def __init__(self, n): self.n = n self.links = [[] for _ in range(n)] self.depth = None self.progress = None def add_link(self, _from, to, cap): self.links[_from].append([cap, to, len(self.links[to])]) self.links[to].append([0, _from, len(self.links[_from]) - 1]) def bfs(self, s): depth = [-1] * self.n depth[s] = 0 q = deque([s]) while q: v = q.popleft() for cap, to, rev in self.links[v]: if cap > 0 and depth[to] < 0: depth[to] = depth[v] + 1 q.append(to) self.depth = depth def dfs(self, v, t, flow): if v == t: return flow links_v = self.links[v] for i in range(self.progress[v], len(links_v)): self.progress[v] = i cap, to, rev = link = links_v[i] if cap == 0 or self.depth[v] >= self.depth[to]: continue d = self.dfs(to, t, min(flow, cap)) if d == 0: continue link[0] -= d self.links[to][rev][0] += d return d return 0 def max_flow(self, s, t): flow = 0 while True: self.bfs(s) if self.depth[t] < 0: return flow self.progress = [0] * self.n current_flow = self.dfs(s, t, float('inf')) while current_flow > 0: flow += current_flow current_flow = self.dfs(s, t, float('inf')) W, = map(int, input().split()) N, = map(int, input().split()) J = list(map(int, input().split())) M, = map(int, input().split()) C = list(map(int, input().split())) Xs = [] for _ in range(M): Q, *X = map(int, input().split()) Xs.append(set(X)) inf = 10**18 mf = Dinic(N+M+2) for i in range(N): mf.add_link(0, i+1, J[i]) for j in range(M): if i+1 in Xs[j]: continue mf.add_link(i+1, N+j+1, inf) for i in range(M): mf.add_link(N+i+1, N+M+1, C[i]) if mf.max_flow(0, N+M+1) < W: print("BANSAKUTSUKITA") else: print("SHIROBAKO")