#include<bits/stdc++.h>
using namespace std;
char a[100001],b[100001];
char s1[10001][100001],s2[10001];
int ans,num,n,t,mun,lens1i[10001],lens2i;
int main()
{
while(1)
{
int i=0;
while(1)
{
a[i]=getchar();
if(a[i]=='\n')
break;
else
i++;
}
if(i==3&&a[0]=='E'&&a[1]=='O'&&a[2]=='F')
break;
else
{
num++;
for(int ii=0;ii<i;ii++)
{
if((a[ii]>='a'&&a[ii]<='z')||a[ii]==' '||a[ii]=='.')
{
lens1i[num]++;
s1[num][lens1i[num]]=a[ii];
}
else
if(a[ii]=='<')
lens1i[num]--;
}
}
}
while(1)
{
int i=0;
while(1)
{
b[i]=getchar();
if(b[i]=='\n')
break;
else
i++;
}
if(i==3&&b[0]=='E'&&b[1]=='O'&&b[2]=='F')
break;
else
{
mun++;
lens2i=0;
for(int ii=0;ii<i;ii++)
{
if((b[ii]>='a'&&b[ii]<='z')||b[ii]==' '||b[ii]=='.')
{
lens2i++;
s2[lens2i]=b[ii];
}
else
if(b[ii]=='<')
lens2i--;
}
int len=lens2i<lens1i[mun]?lens2i:lens1i[mun];
for(int ii=1;ii<=len;ii++)
{
if(s1[mun][ii]==s2[ii])
ans++;
}
}
}
scanf("%d",&t);
ans=ans/(t/60)+0.5;
printf("%d",ans);
return 0;
}