タイトルの意味からです\（A \）で撮影した\（K \）異なる非空の文字列、および元のシーケンスステッチに入れ、ケースの文字列をスプライスどのように多くのそのようなスキーム尋ねる\（Bの\は）に等しく、
DP多次元を考える：\
（DP [I] [J] [K] [0] \）位置jのk個の一致2番目の文字列の最初の列、および選択されるi番目のビットiの位置を表しますプログラム番号、場合\（DP [I] [J] [K] [0] \） i番目のビットが選択されていない表します
\（[I] == B [j]が\） とき：
\（DP [I] [J] [K] [1] DPを= [I-1] [J-1] [K] [1] + DP [I-1] [J-1] [K-1] [1] + DP [I-1] [J-1] [K-1] [0] \）
\（DP [I] [J] [K] [0] = DP [I-1]〜[J] [K] [0] + DP [I-1]〜[J] [K] [1] \）
それ以外の場合：
\（DP [I] [J] [K] [1] = 0 \）
\（DP [I] [J] [K] [0] = DP [I-1]〜[J] [K] [0] + DP [I-1]〜[J] [K] [1] \）
式を説明する：
2つの文字の値は、文字に選択した文字のプログラム番号（文字が選択されていない）+離れ新しい（一つの文字が選択された）新しい段落離れ+に等しい場合、そうでない場合は、プログラム番号0が
答えは、上のチェックボックスをオフに等しい同じであるときにチェックされていない選択+
最初の寸法は、詳細コードの特定の方法をロールオフすることができ
なお、奇妙初期
位置番号0の\（[1、N] \）の位置が常に一致しており、選択されてはならない
ローリングだけ二次元配列に起因し、限りセット\（0 \）と\（1 \ ）二つの位置とすることができます
コード：
#include <bits/stdc++.h>
#define int long long
#define sc(a) scanf("%lld",&a)
#define scc(a,b) scanf("%lld %lld",&a,&b)
#define sccc(a,b,c) scanf("%lld %lld %lld",&a,&b,&c)
#define scs(a) scanf("%s",a)
#define schar(a) scanf("%c",&a)
#define pr(a) printf("%lld",a)
#define fo(i,a,b) for(int i=a;i<b;++i)
#define re(i,a,b) for(int i=a;i<=b;++i)
#define rfo(i,a,b) for(int i=a;i>b;--i)
#define rre(i,a,b) for(int i=a;i>=b;--i)
#define prn() printf("\n")
#define prs() printf(" ")
#define mkp make_pair
#define pii pair<int,int>
#define pub(a) push_back(a)
#define pob() pop_back()
#define puf(a) push_front(a)
#define pof() pop_front()
#define fst first
#define snd second
#define frt front()
#define bak back()
#define mem0(a) memset(a,0,sizeof(a))
#define memmx(a) memset(a,0x3f3f,sizeof(a))
#define memmn(a) memset(a,-0x3f3f,sizeof(a))
#define debug
#define db double
#define yyes cout<<"YES"<<endl;
#define nno cout<<"NO"<<endl;
#define all(i,a) for(auto i=a.begin();i!=a.end();++i)
using namespace std;
typedef vector<int> vei;
typedef vector<pii> vep;
typedef map<int,int> mpii;
typedef map<char,int> mpci;
typedef map<string,int> mpsi;
typedef deque<int> deqi;
typedef deque<char> deqc;
typedef priority_queue<int> mxpq;
typedef priority_queue<int,vector<int>,greater<int> > mnpq;
typedef priority_queue<pii> mxpqii;
typedef priority_queue<pii,vector<pii>,greater<pii> > mnpqii;
const int maxn=500005;
const int inf=0x3f3f3f3f3f3f3f3f;
const int MOD=1000000007;
const db eps=1e-10;
const db pi=3.1415926535;
int qpow(int a,int b){int tmp=a%MOD,ans=1;while(b){if(b&1){ans*=tmp,ans%=MOD;}tmp*=tmp,tmp%=MOD,b>>=1;}return ans;}
int lowbit(int x){return x&-x;}
int max(int a,int b){return a>b?a:b;}
int min(int a,int b){return a<b?a:b;}
int mmax(int a,int b,int c){return max(a,max(b,c));}
int mmin(int a,int b,int c){return min(a,min(b,c));}
void mod(int &a){a+=MOD;a%=MOD;}
bool chk(int now){}
int half(int l,int r){while(l<=r){int m=(l+r)/2;if(chk(m))r=m-1;else l=m+1;}return l;}
int ll(int p){return p<<1;}
int rr(int p){return p<<1|1;}
int mm(int l,int r){return (l+r)/2;}
int lg(int x){if(x==0) return 1;return (int)log2(x)+1;}
bool smleql(db a,db b){if(a<b||fabs(a-b)<=eps)return true;return false;}
bool bigeql(db a,db b){if(a>b||fabs(a-b)<=eps)return true;return false;}
bool eql(db a,db b){if(fabs(a-b)<eps) return 1;return 0;}
db len(db a,db b,db c,db d){return sqrt((a-c)*(a-c)+(b-d)*(b-d));}
bool isp(int x){if(x==1)return false;if(x==2)return true;for(int i=2;i*i<=x;++i)if(x%i==0)return false;return true;}
inline int read(){
char ch=getchar();int s=0,w=1;
while(ch<48||ch>57){if(ch=='-')w=-1;ch=getchar();}
while(ch>=48&&ch<=57){s=(s<<1)+(s<<3)+ch-48;ch=getchar();}
return s*w;
}
inline void write(int x){
if(x<0)putchar('-'),x=-x;
if(x>9)write(x/10);
putchar(x%10+48);
}
int gcd(int a, int b){
if(a==0) return b;
if(b==0) return a;
if(!(a&1)&&!(b&1)) return gcd(a>>1,b>>1)<<1;
else if(!(b&1)) return gcd(a,b>>1);
else if(!(a&1)) return gcd(a>>1,b);
else return gcd(abs(a-b),min(a,b));
}
int lcm(int x,int y){return x*y/gcd(x,y);}
int n,m,k;
string a,b;
int dp[2][205][205][2];
signed main(){
ios_base::sync_with_stdio(0);
cin.tie(0),cout.tie(0);
cin>>n>>m>>k;
cin>>a>>b;
a='#'+a,b='#'+b;
dp[0][0][0][0]=dp[1][0][0][0]=1;
re(i,1,n){
re(j,1,m){
re(l,1,k){
if(a[i]==b[j]){
dp[(i&1)][j][l][1]=(dp[(i-1)&1][j-1][l][1]+
dp[(i-1)&1][j-1][l-1][1]+dp[(i-1)&1][j-1][l-1][0])%MOD;
dp[(i&1)][j][l][0]=(dp[(i-1)&1][j][l][0]+dp[(i-1)&1][j][l][1])%MOD;
}
else{
dp[(i&1)][j][l][1]=0;
dp[(i&1)][j][l][0]=(dp[(i-1)&1][j][l][0]+dp[(i-1)&1][j][l][1])%MOD;
}
}
}
}
cout<<(dp[(n&1)][m][k][1]+dp[(n&1)][m][k][0])%MOD;
return 0;
}