package tester; import java.io.ByteArrayInputStream; import java.io.IOException; import java.io.InputStream; import java.io.PrintWriter; import java.util.Arrays; import java.util.InputMismatchException; public class N423F { InputStream is; PrintWriter out; String INPUT = ""; void solve() { int n = ni(), m = ni(); if(!(1 <= n && n <= 1200))throw new RuntimeException("n"); if(!(1 <= m && m <= 1200))throw new RuntimeException("m"); char[] s = ns().toCharArray(); char[] t = ns().toCharArray(); if(s.length != n)throw new RuntimeException("s.length != n"); if(t.length != m)throw new RuntimeException("t.length != m"); for(char c : s){ if("ATGC".indexOf(c) == -1)throw new RuntimeException("invalid char in s"); } for(char c : t){ if("ATGC".indexOf(c) == -1)throw new RuntimeException("invalid char in t"); } int[] pre = new int[m+1]; int[] cur = new int[m+1]; int[] dprmin = new int[m+1]; int[] argdprmin = new int[m+1]; int[][] prev = new int[n+1][m+1]; int I = 999999999; for(int i = 0;i < n+1;i++){ int dpcmin = I; int argdpcmin = -1; for(int j = 0;j < m+1;j++){ if(i == 0 && j == 0){ cur[j] = 0; prev[i][j] = -1; }else{ cur[j] = I; // replace if(i-1 >= 0 && j-1 >= 0){ int cost = pre[j-1] + (s[n-1-(i-1)] == t[m-1-(j-1)] ? 0 : 5); if(cost < cur[j]){ cur[j] = cost; prev[i][j] = 0<<24|i-1<<12|j-1; } } // add if(j-1 >= 0){ int cost = dpcmin + 7 + 2*j; if(cost < cur[j]){ cur[j] = cost; prev[i][j] = 1<<24|i<<12|argdpcmin; } } // del if(i-1 >= 0){ int cost = dprmin[j] + 7 + 2*i; if(cost < cur[j]){ cur[j] = cost; prev[i][j] = 2<<24|argdprmin[j]<<12|j; } } } if(j == 0 || cur[j]-2*j < dpcmin){ dpcmin = cur[j]-2*j; argdpcmin = j; } if(i == 0 || cur[j]-2*i < dprmin[j]){ dprmin[j] = cur[j]-2*i; argdprmin[j] = i; } } int[] dum = pre; pre = cur; cur = dum; } out.println(pre[m]); int r = n, c = m; char[] route = new char[n+m+1]; int p = 0; while(true){ int pr = prev[r][c]; if(pr == -1)break; if(pr>>>24 == 0){ route[p++] = 'r'; }else if(pr>>>24 == 1){ for(int i = 0;i < c-(pr&(1<<12)-1);i++){ route[p++] = 'a'; } }else{ for(int i = 0;i < r-(pr>>>12&(1<<12)-1);i++){ route[p++] = 'd'; } } r = pr>>>12&(1<<12)-1; c = pr&(1<<12)-1; } int sp = 0; for(int i = 0;i < p;i++){ if(route[i] == 'r' || route[i] == 'd'){ out.print(s[sp++]); }else{ out.print('-'); } } out.println(); int tp = 0; for(int i = 0;i < p;i++){ if(route[i] == 'r' || route[i] == 'a'){ out.print(t[tp++]); }else{ out.print('-'); } } out.println(); } public static char[] rev(char[] a) { for(int i = 0, j = a.length-1;i < j;i++,j--){ char c = a[i]; a[i] = a[j]; a[j] = c; } return a; } void run() throws Exception { is = INPUT.isEmpty() ? System.in : new ByteArrayInputStream(INPUT.getBytes()); out = new PrintWriter(System.out); long s = System.currentTimeMillis(); solve(); out.flush(); if(!INPUT.isEmpty())tr(System.currentTimeMillis()-s+"ms"); // Thread t = new Thread(null, null, "~", Runtime.getRuntime().maxMemory()){ // @Override // public void run() { // long s = System.currentTimeMillis(); // solve(); // out.flush(); // if(!INPUT.isEmpty())tr(System.currentTimeMillis()-s+"ms"); // } // }; // t.start(); // t.join(); } public static void main(String[] args) throws Exception { new N423F().run(); } private byte[] inbuf = new byte[1024]; private int lenbuf = 0, ptrbuf = 0; private int readByte() { if(lenbuf == -1)throw new InputMismatchException(); if(ptrbuf >= lenbuf){ ptrbuf = 0; try { lenbuf = is.read(inbuf); } catch (IOException e) { throw new InputMismatchException(); } if(lenbuf <= 0)return -1; } return inbuf[ptrbuf++]; } private boolean isSpaceChar(int c) { return !(c >= 33 && c <= 126); } private int skip() { int b; while((b = readByte()) != -1 && isSpaceChar(b)); return b; } private double nd() { return Double.parseDouble(ns()); } private char nc() { return (char)skip(); } private String ns() { int b = skip(); StringBuilder sb = new StringBuilder(); while(!(isSpaceChar(b))){ // when nextLine, (isSpaceChar(b) && b != ' ') sb.appendCodePoint(b); b = readByte(); } return sb.toString(); } private char[] ns(int n) { char[] buf = new char[n]; int b = skip(), p = 0; while(p < n && !(isSpaceChar(b))){ buf[p++] = (char)b; b = readByte(); } return n == p ? buf : Arrays.copyOf(buf, p); } private int[] na(int n) { int[] a = new int[n]; for(int i = 0;i < n;i++)a[i] = ni(); return a; } private long[] nal(int n) { long[] a = new long[n]; for(int i = 0;i < n;i++)a[i] = nl(); return a; } private char[][] nm(int n, int m) { char[][] map = new char[n][]; for(int i = 0;i < n;i++)map[i] = ns(m); return map; } private int[][] nmi(int n, int m) { int[][] map = new int[n][]; for(int i = 0;i < n;i++)map[i] = na(m); return map; } private int ni() { return (int)nl(); } private long nl() { long num = 0; int b; boolean minus = false; while((b = readByte()) != -1 && !((b >= '0' && b <= '9') || b == '-')); if(b == '-'){ minus = true; b = readByte(); } while(true){ if(b >= '0' && b <= '9'){ num = num * 10 + (b - '0'); }else{ return minus ? -num : num; } b = readByte(); } } private static void tr(Object... o) { System.out.println(Arrays.deepToString(o)); } }