Description
JSOI交给队员ZYX一个任务，编制一个称之为“文本生成器”的电脑软件：该软件的使用者是一些低幼人群，
他们现在使用的是GW文本生成器v6版。该软件可以随机生成一些文章―――总是生成一篇长度固定且完全随机的文
章—— 也就是说，生成的文章中每个字节都是完全随机的。如果一篇文章中至少包含使用者们了解的一个单词，
那么我们说这篇文章是可读的（我们称文章a包含单词b，当且仅当单词b是文章a的子串）。但是，即使按照这样的
标准，使用者现在使用的GW文本生成器v6版所生成的文章也是几乎完全不可读的?。ZYX需要指出GW文本生成器 v6
生成的所有文本中可读文本的数量，以便能够成功获得v7更新版。你能帮助他吗？
Input
输入文件的第一行包含两个正整数，分别是使用者了解的单词总数N (<= 60)，GW文本生成器 v6生成的文本固
定长度M；以下N行，每一行包含一个使用者了解的单词。这里所有单词及文本的长度不会超过100，并且只可能包
含英文大写字母A..Z
Output
一个整数，表示可能的文章总数。只需要知道结果模10007的值。
像我这样成天刷水题吃枣药丸
这道题就是问有多少个 包含至少一个给定串，并且长度为$m$的串。然后，显然这种多串处理的题是要AC自动机的。构出AC自动机后在上面dp就可以了。
其实感觉直接dp也可以做，但其实把问题转化一下更好做。求出所有不合法的串然后用总数量减一下就可以了。于是$f_{i,j}$表示在AC自动机上走了$i$步后到达节点$j$的方案数，转移的时候不经过单词的结束节点即可。
AC自动机都写错的我吃枣药丸
下面贴代码：
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#define File(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
#define maxn 6010
#define mod 10007
using namespace std;
typedef long long llg;
int n,m,fl[maxn],d[maxn],ans;
int ch[maxn][26],sz,f[101][maxn];
bool val[maxn],w[maxn];
int getint(){
int w=0;bool q=0;
char c=getchar();
while((c>'9'||c<'0')&&c!='-') c=getchar();
if(c=='-') c=getchar(),q=1;
while(c>='0'&&c<='9') w=w*10+c-'0',c=getchar();
return q?-w:w;
}
void gi(int &x){if(x>=mod) x%=mod;}
void insert(){
char c=getchar();
while(c>'Z'||c<'A') c=getchar();
int u=0;
while(c>='A' && c<='Z'){
if(!ch[u][c-'A']) ch[u][c-'A']=++sz;
u=ch[u][c-'A']; c=getchar();
}
val[u]=1;
}
void getf(){
int l=0,r=0,u;d[r++]=0;
while(l!=r){
u=d[l++];
for(int i=0,j;i<26;i++)
if(ch[u][i]){
j=fl[u];
while(!ch[j][i] && j) j=fl[j];
if(u!=j){
fl[ch[u][i]]=ch[j][i];
val[ch[u][i]]|=val[ch[j][i]];
}
d[r++]=ch[u][i];
}
else ch[u][i]=ch[fl[u]][i];
}
}
int main(){
File("a");
n=getint(); m=getint();
while(n--) insert();
getf(); f[0][0]=ans=1;
for(int i=0;i<m;i++)
for(int u=0;u<=sz;u++)
if(!val[u])
for(int j=0;j<26;j++)
f[i+1][ch[u][j]]+=f[i][u],gi(f[i+1][ch[u][j]]);
for(int i=1;i<=m;i++) ans*=26,gi(ans);
for(int u=0;u<=sz;u++) if(!val[u]) ans-=f[m][u],ans+=mod,gi(ans);
printf("%d",ans);
return 0;
}