using System; using System.IO; using System.Collections; using System.Collections.Generic; using System.Linq; namespace Program { class Solver { private const long MOD = 1000000007; private long calc(ref String n, int p){ long[,,] dp = new long[2,800,2*4*2]; int u = 0; int v = 1; dp[0,0,0] = 1; int[] mooood3 = new int[12]; for(int i=0; i<12; i++){ mooood3[i] = i%3; } int sz = n.Length; for(int i=0; ik){ continue; } int a_ = a|(d= MOD) dp[v,0,s_] -= MOD; } }}} } else{ for(int j=0;jk){ continue; } int a_ = a|(d= MOD) dp[v,j_,s_] -= MOD; } dp[u,j,s] = 0; }}}} } u ^= 1; v ^= 1; } long ret = 0; for(int j=1;j=MOD) ret -= MOD; }}}} return ret; } public IO.StreamScanner sc = new IO.StreamScanner(Console.OpenStandardInput()); public void Solve() { /* String[] input = Console.ReadLine().Split(); int p = int.Parse(input[2]); */ string u = sc.Scan(); string n = sc.Scan(); int k = sc.Integer(); long ans = calc(ref n, k); ans = (ans - calc(ref u, k) + MOD) % MOD; int b=0; int c=0; int d=0; int sz = u.Length; for(int i=0;i(string format, IEnumerable source) { base.Write(format, source.OfType().ToArray()); } public void WriteLine(string format, IEnumerable source) { base.WriteLine(format, source.OfType().ToArray()); } } public class StreamScanner { public StreamScanner(Stream stream) { str = stream; } public readonly Stream str; private readonly byte[] buf = new byte[1024]; private int len, ptr; public bool isEof = false; public bool IsEndOfStream { get { return isEof; } } private byte read() { if (isEof) return 0; if (ptr >= len) { ptr = 0; if ((len = str.Read(buf, 0, 1024)) <= 0) { isEof = true; return 0; } } return buf[ptr++]; } public char Char() { byte b = 0; do b = read(); while ((b < 33 || 126 < b) && !isEof); return (char)b; } public string Scan() { var sb = new StringBuilder(); for (var b = Char(); b >= 33 && b <= 126; b = (char)read()) sb.Append(b); return sb.ToString(); } public long Long() { if (isEof) return long.MinValue; long ret = 0; byte b = 0; var ng = false; do b = read(); while (b != '-' && (b < '0' || '9' < b)); if (b == '-') { ng = true; b = read(); } for (; true; b = read()) { if (b < '0' || '9' < b) return ng ? -ret : ret; else ret = ret * 10 + b - '0'; } } public int Integer() { return (isEof) ? int.MinValue : (int)Long(); } public double Double() { return double.Parse(Scan(), CultureInfo.InvariantCulture); } private T[] enumerate(int n, Func f) { var a = new T[n]; for (int i = 0; i < n; ++i) a[i] = f(); return a; } public char[] Char(int n) { return enumerate(n, Char); } public string[] Scan(int n) { return enumerate(n, Scan); } public double[] Double(int n) { return enumerate(n, Double); } public int[] Integer(int n) { return enumerate(n, Integer); } public long[] Long(int n) { return enumerate(n, Long); } } }