#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define popcount __builtin_popcount using namespace std; typedef long long int ll; typedef pair P; const ll INF=1e18; struct edge {int to; ll cap; int rev;} ; vector G[4040]; int level[4040]; int iter[4040]; void add_edge(int from, int to, ll cap){ edge e; e.to=to, e.cap=cap, e.rev=G[to].size(); G[from].push_back(e); e.to=from, e.cap=0, e.rev=G[from].size()-1; G[to].push_back(e); } void bfs(int s){ memset(level, -1, sizeof(level)); queue que; level[s]=0; que.push(s); while(!que.empty()){ int v=que.front(); que.pop(); for(int i=0; i0 && 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]; i0 && level[v]0){ e.cap-=d; G[e.to][e.rev].cap+=d; return d; } } } return 0; } ll max_flow(int s, int t){ ll flow=0; while(1){ bfs(s); if(level[t]<0) return flow; memset(iter, 0, sizeof(iter)); ll f; while((f=dfs(s, t, INF))>0){ flow+=f; } } } int main() { int h, w; cin>>h>>w; int a[2020], b[2020]; int sa=0, sb=0; for(int i=0; i>a[i]; sa+=a[i]; } for(int i=0; i>b[i]; sb+=b[i]; } if(sa!=sb){ cout<<":("<>k; int x[20], y[20]; for(int i=0; i>x[i]>>y[i]; x[i]--; y[i]--; ans[x[i]][y[i]]='x'; } int s=h+w, t=s+1; for(int i=0; i