#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> pii;
typedef long long ll;
typedef unsigned long long ull;
int n;
int p[50],id[50][50],sc[50][50],w[50][50];
int yid;
int sum,cnt;
int main(){
	ios::sync_with_stdio(0);
	cin.tie(0);cout.tie(0);
	
	cin>>n;
	for(int i=1;i<=n;i++){
		cin>>p[i];
		for(int j=1;j<=p[i];j++){
			cin>>id[i][j];
		}
		sort(id[i]+1,id[i]+1+p[i]);
		for(int j=1;j<=p[i];j++){
			cin>>sc[i][j];
		}
		for(int j=1;j<=p[i];j++){
			cin>>w[i][j];
		}
	}
	cin>>yid;
	
	for(int i=1;i<=n;i++){
		int ysc=0;
//		cout<<i<<"%";
		for(int j=1;j<=p[i];j++){
			if(id[i][j]==yid){
				ysc=sc[i][j];
			}
//			cout<<id[i][j]<<"**\n";
		}
		if(ysc==0)continue;
		int rk=0;
		for(int j=1;j<=p[i];j++){
			if(sc[i][j]>ysc)rk++;
		}
		sum+=w[i][rk+1];
		cnt++;
	}
	cout<<sum/cnt;
	if(sum%cnt!=0){
		int g=__gcd(sum,cnt);
		sum/=g;
		cnt/=g;
		cout<<'+'<<sum%cnt<<'/'<<cnt;
	}
	return 0;
}