$\text{RT}$，民间数据 $70$。不知道为什么，不是文件提交问题，难道 $\text{CE}$ 了？/jk

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
inline int read(){
	int x=0,f=1;char c=getchar();
	while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
	while(c>='0'&&c<='9')x=x*10+c-'0',c=getchar();
	return x*f;
}
set<string>se;
string a,b;
int n;ll  ans;
inline ll readll(){
	ll x=0;int f=1;char c=getchar();
	while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
	while(c>='0'&&c<='9')x=x*10+c-'0',c=getchar();
	return x*f;
}
int main(){
	freopen("block.in","r",stdin);freopen("block.out","w",stdout);
	n=read();
	if(n<=500){
	
	cin>>a>>b;
	for(int i=0;i<n;i++)
	    for(int j=i;j<n;j++){
	    	int t=i;
	    	for(int k=0;k<n;k++){
	    		if(a[k]==b[t]){
	    			t++;
	    		    if(t==j+1)break;
	    		} 
	    	}
	    	if(t==j+1){
	    		if(se.find(b.substr(i,j-i+1))==se.end()){
	    			ans++;
	    			se.insert(b.substr(i,j-i+1));
	    		}
	    	}
	    }
	printf("%lld\n",ans); }
	else{printf("%lld\n",n);}
	return 0;
}