有(n+1)个字符串。如果(s_i)为(s_j)的子序列，则连边((j,i))。
现在要求找到两条路径，使得它们只在(0)处相交，并且覆盖所有点。
(nle 4000)
哇哈为什么我想到了dilworth引理……
先按照长度排序，然后维护两条链的链尾，设为(a,b)。
如果((i,a)in E)和((i,b)in E)只满足一个，则直接接在后面。
如果都不满足则无解。
如果都满足，则搞一个(c=i)，暂时把两条链合成一条链。后面接着做，如果能接在这条链后面则接；如果不能接，就把它丢到(a)或(b)后面，然后(c)接在另一条的后面，于是又分开为两条链。（在这个局面之后链尾分别为(i)和(i-1)，并且没有其它方法使得构造后链尾不为(i)和(i-1)，相当于把问题划分成前后两部分。）
using namespace std;
#include <bits/stdc++.h>
#define N 4005
void imp(){
printf("impossible
");
exit(0);
}
int n;
char str[N][N];
int s[N][N],t[N][N][3];
int len[N];
int q[N];
bool cmpq(int x,int y){return len[x]<len[y];}
void init(int i,char str[]){
int m=len[i]=strlen(str+1);
t[i][m+1][0]=t[i][m+1][1]=t[i][m+1][2]=m+1;
for (int j=m;j>=1;--j){
s[i][j]=(str[j]=='A'?0:str[j]=='C'?1:2);
memcpy(t[i][j],t[i][j+1],sizeof t[i][j]);
t[i][j][s[i][j+1]]=j+1;
}
memcpy(t[i][0],t[i][1],sizeof t[i][0]);
t[i][0][s[i][1]]=1;
}
bool sub(int u,int v){
int x=0;
for (int i=1;i<=len[u];++i){
x=t[v][x][s[u][i]];
if (x>len[v])
return 0;
}
return 1;
}
int f[N];
int main(){
// freopen("in.txt","r",stdin);
scanf("%d",&n);
scanf("%s",str[n+1]+1),len[n+1]=strlen(str[n+1]+1);
for (int i=1;i<=n;++i)
scanf("%s",str[i]+1),len[i]=strlen(str[i]+1);
for (int i=1;i<=n;++i)
q[i]=i;
sort(q+1,q+n+1,cmpq);
init(n+1,str[n+1]);
for (int i=1;i<=n;++i)
init(i,str[q[i]]);
if (!sub(n,n+1))
imp();
f[n]=n+1;
int a=n,b=n+1,c=0;
for (int i=n-1;i>=1;--i){
if (c){
if (sub(i,i+1))
f[i]=i+1;
else{
if (sub(i,a))
f[i]=a,f[c]=b;
else if (sub(i,b))
f[i]=b,f[c]=a;
else
imp();
a=i+1,b=i;
c=0;
}
}
else{
if (sub(i,a)){
if (sub(i,b))
c=i;
else
f[i]=a,a=i;
}
else if (sub(i,b))
f[i]=b,b=i;
else
imp();
}
}
if (c)
f[c]=a;
static bool bz[N];
int cnt0=0;
for (int x=1;x<=n;x=f[x])
bz[x]=1,cnt0++;
printf("%d %d
",cnt0,n-cnt0);
for (int i=1;i<=n;++i)
if (bz[i])
printf("%s
",str[q[i]]+1);
for (int i=1;i<=n;++i)
if (!bz[i])
printf("%s
",str[q[i]]+1);
return 0;
}