#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef unsigned long long int ulint; typedef long long int llint; typedef long double lldo; #define mp make_pair #define mt make_tuple #define pub push_back #define puf push_front #define pob pop_back #define pof pop_front #define fir first #define sec second #define res resize #define ins insert #define era erase #define RE return 0 //ios::sync_with_stdio(false); //std::cin.tie(0); //<< setprecision(20) const int mod=(int)1000000007; const llint big=(llint)(2.19e16)+1; const long double pai=3.141592653589793238462643383279502884197; const long double ena=2.71828182845904523536; const long double eps=1e-7; template bool mineq(T& a,U b){if(a>b){a=b;return true;}return false;} template bool maxeq(T& a,U b){if(a void soun(T& ar) {sort(ar.begin(),ar.end());ar.erase(unique(ar.begin(),ar.end()),ar.end());} llint gcd(llint a,llint b){if(a%b==0){return b;}else{return gcd(b,a%b);}} llint lcm(llint a,llint b){return a/gcd(a,b) *b;} template auto LB(T& ve,U in){return lower_bound(ve.begin(),ve.end(),in);} template auto UB(T& ve,U in){return upper_bound(ve.begin(),ve.end(),in);} template auto LBI(T& ve,U in){return LB(ve,in)-ve.begin();} template auto UBI(T& ve,U in){return UB(ve,in)-ve.begin();} template void SO(T& ve){sort(ve.begin(),ve.end());} template void REV(T& ve){reverse(ve.begin(),ve.end());} using pli=pair; using daic=priority_queue,greater>; int main(void){ string str[5]; llint co[5]; int i,j,h; for(i=0;i<5;i++){cin>>str[i]>>co[i];} llint dp[5]={1,1,1,1,1},ep[5]={0}; llint tori=1; for(h=0;h<3;h++){ int n;cin>>n;tori*=n; for(j=0;j<5;j++){ep[j]=0;} for(i=0;i>a; for(j=0;j<5;j++){ if(str[j]==a){ep[j]+=dp[j];} } } swap(dp,ep); } double ans=0; for(h=0;h<5;h++){ans+=dp[h]*co[h];} ans*=5; ans/=tori; cout<