#include<bits/stdc++.h>
#define inf 2147483647
#define ll long long
using namespace std;
const int MAXN=1e4+5;
deque<char>a[MAXN],b;
int main(){
	ios::sync_with_stdio(0);
	cin.tie(0);cout.tie(0);
	int now=1;
	for(;;){
		string s;
		getline(cin,s);
		if(s=="EOF"){
			break;
		}
		int siz=s.size();
		for(int i=1;i<=siz;i++){
			if(a[now].size()!=0&&s[i-1]=='<'){
				a[now].pop_back();
			}else{
				a[now].push_back(s[i-1]);
			}
		}
		now++;
	}
	now=1;
	int crs=0;
	for(;;){
		string s;
		getline(cin,s);
		if(s=="EOF"){
			break;
		}
		b.clear();
		int siz=s.size();
		for(int i=1;i<=siz;i++){
			if(b.size()!=0&&s[i-1]=='<'){
				b.pop_back();
			}else{
				b.push_back(s[i-1]);
			}
		}
		while(a[now].size()&&b.size()){
			if(a[now].front()==b.front()){
				crs++;
			}
			a[now].pop_front();
			b.pop_front();
		}
		now++;
	}
	double t;cin >> t;
	int kpm=crs*60.0/t+0.5;
	cout << kpm;
	return 0;
}

用的双端队列,不知道有没有弄错