//No.177 制作進行の宮森あおいです! import java.util.*; import java.io.*; import static java.util.Arrays.*; import static java.lang.Math.*; public class No177_2 { static final InputStream in = System.in; static final PrintWriter out = new PrintWriter(System.out,false); @SuppressWarnings("unchecked") static void solve(){ int w = nextInt(); int n = nextInt(); ArrayList[] list = new ArrayList[3]; for (int i=0; i<3; i++) list[i] = new ArrayList(); int[] x = new int[n+1]; for (int i=0; i[] list) { int[] cnt = new int[n]; for (int i : list[0]) cnt[i]++; for (int i : list[1]) cnt[i]++; int[][][] g = new int[n][][]; for (int i=0; i 0) { int[] path = new int[n+1]; int[] to = new int[n+1]; BitSet bs = new BitSet(); Arrays.fill(to,-1); path[0] = source; bs.set(source); int ptr = 1; outer: while (ptr > 0) { int from = path[ptr-1]; bs.set(from); while (++to[ptr-1] < g[from].length) { int next = g[from][to[ptr-1]][0]; if ((g[from][to[ptr-1]][1] - flow[from][next] > 0 || flow[next][from] > 0) && !bs.get(next)) { path[ptr] = next; to[ptr] = -1; ptr++; if (next == sink) break outer; continue outer; } } ptr--; } if (ptr <= 0) break; int min = limit; for (int i=0; i 0 ? g[path[i]][to[i]][1] - flow[path[i]][path[i+1]] : flow[path[i+1]][path[i]]); } res += min; limit -= min; for (int i=0; i 0) { int f = dfsDinic(g,level,rev,flow,next,sink,min(left, cap-flow[cur][next])); if (f > 0) { flow[cur][next] += f; flow[next][cur] -= f; left -= f; if (left == 0) return min; } } } for (int next : rev[cur]) { if (level[next] == level[cur] + 1 && -flow[cur][next] > 0) { int f = dfsDinic(g,level,rev,flow,next,sink,min(left, -flow[cur][next])); if (f > 0) { flow[cur][next] += f; flow[next][cur] -= f; left -= f; if (left == 0) return min; } } } return min - left; } public static void main(String[] args) throws Exception { long start = System.currentTimeMillis(); solve(); out.flush(); long end = System.currentTimeMillis(); //trace(end-start + "ms"); in.close(); } static void trace(Object... o) { System.out.println(deepToString(o));} static final byte[] buf = new byte[1024]; static int ptr = 0; static int buflen = 0; static boolean hasNextByte() { if (ptr < buflen) return true; ptr = 0; try{ buflen = in.read(buf); }catch (IOException e) {e.printStackTrace();} if (buflen <= 0) return false; return true; } static int readByte() { if (hasNextByte()) return buf[ptr++]; else return -1;} static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;} static void skip() { while(hasNextByte() && !isPrintableChar(buf[ptr])) ptr++;} static boolean hasNext() {skip(); return hasNextByte();} static String next() { if (!hasNext()) throw new NoSuchElementException(); StringBuilder sb = new StringBuilder(); int b = readByte(); while (isPrintableChar(b)) { sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } static long nextLong() { if (!hasNext()) throw new NoSuchElementException(); boolean minus = false; long num = readByte(); if(num == '-'){ num = 0; minus = true; }else if (num < '0' || '9' < num){ throw new NumberFormatException(); }else{ num -= '0'; } while(true){ int b = readByte(); if('0' <= b && b <= '9') num = num * 10 + (b - '0'); else if(b == -1 || !isPrintableChar(b)) return minus ? -num : num; else throw new NoSuchElementException(); } } static int nextInt() { long num = nextLong(); if (num < Integer.MIN_VALUE || Integer.MAX_VALUE < num) throw new NumberFormatException(); return (int)num; } static double nextDouble() { return Double.parseDouble(next()); } static char nextChar() { if (!hasNext()) throw new NoSuchElementException(); return (char)readByte(); } static String nextLine() { while (hasNextByte() && (buf[ptr] == '\n' || buf[ptr] == '\r')) ptr++; if (!hasNextByte()) throw new NoSuchElementException(); StringBuilder sb = new StringBuilder(); int b = readByte(); while (b != '\n' && b != '\r') { sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } static int[] nextArrayInt(int n) { int[] a = new int[n]; for (int i=0; i