#include using namespace std; #define inf INT_MAX #define INF LLONG_MAX #define ll long long #define ull unsigned long long #define M (int)(1e9+7) #define P pair #define PLL pair #define FOR(i,m,n) for(int i=(int)m;i<(int)n;i++) #define RFOR(i,m,n) for(int i=(int)m;i>=(int)n;i--) #define rep(i,n) FOR(i,0,n) #define rrep(i,n) RFOR(i,n,0) #define all(a) a.begin(),a.end() #define IN(a,n) rep(i,n){ cin>>a[i]; } const int vx[4] = {0,1,0,-1}; const int vy[4] = {1,0,-1,0}; #define PI 3.14159265 #define F first #define S second #define PB push_back #define EB emplace_back #define int ll #define vi vector template< typename flow_t > struct Dinic { const flow_t DINF; struct edge { int to; flow_t cap; int rev; bool isrev; }; vector< vector< edge > > graph; vector< int > min_cost, iter; Dinic(int V) : DINF(numeric_limits< flow_t >::max()), graph(V) {} void add_edge(int from, int to, flow_t cap) { graph[from].emplace_back((edge) {to, cap, (int) graph[to].size(), false}); graph[to].emplace_back((edge) {from, 0, (int) graph[from].size() - 1, true}); } bool bfs(int s, int t) { min_cost.assign(graph.size(), -1); queue< int > que; min_cost[s] = 0; que.push(s); while(!que.empty() && min_cost[t] == -1) { int p = que.front(); que.pop(); for(auto &e : graph[p]) { if(e.cap > 0 && min_cost[e.to] == -1) { min_cost[e.to] = min_cost[p] + 1; que.push(e.to); } } } return min_cost[t] != -1; } flow_t dfs(int idx, const int t, flow_t flow) { if(idx == t) return flow; for(int &i = iter[idx]; i < graph[idx].size(); i++) { edge &e = graph[idx][i]; if(e.cap > 0 && min_cost[idx] < min_cost[e.to]) { flow_t d = dfs(e.to, t, min(flow, e.cap)); if(d > 0) { e.cap -= d; graph[e.to][e.rev].cap += d; return d; } } } return 0; } flow_t max_flow(int s, int t) { flow_t flow = 0; while(bfs(s, t)) { iter.assign(graph.size(), 0); flow_t f = 0; while((f = dfs(s, t, DINF)) > 0) flow += f; } return flow; } void output() { for(int i = 0; i < graph.size(); i++) { for(auto &e : graph[i]) { if(e.isrev) continue; auto &rev_e = graph[e.to][e.rev]; cout << i << "->" << e.to << " (flow: " << rev_e.cap << "/" << e.cap + rev_e.cap << ")" << endl; } } } }; signed main(){ cin.tie(0); ios::sync_with_stdio(false); int w; cin>>w; int n; cin>>n; vi v(n); rep(i,n){ cin>>v[i]; } int m; cin>>m; Dinic g(n+m+2); rep(i,n){ g.add_edge(n+m,i,v[i]); } rep(i,m){ int c; cin>>c; g.add_edge(n+i,n+m+1,c); } rep(i,m){ int q; cin>>q; set s; rep(j,q){ int t; cin>>t; t--; s.insert(t); } rep(j,n){ if(s.find(j)!=s.end()) continue; g.add_edge(j,n+i,inf); } } int flow=g.max_flow(n+m,n+m+1); if(flow>=w) cout<<"SHIROBAKO"<