#include <bits/stdc++.h>
#include <unordered_map>
#include <iostream>
#include <queue>

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef unsigned int ui;
typedef double db;
typedef long double ldb;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int, int> ii;
typedef vector<int> vi;
typedef vector<vi> vvi;

#define LI(i, a, b) for (int i = a; i <= b; i++)  // forloop inclusive
#define LE(i, a, b) for (int i = a; i < b; i++)   // forloop exclusive
#define LBI(i, a, b) for (int i = a; i >= b; i--) // forloop backward inclusive
#define LBE(i, a, b) for (int i = a; i > b; i--)  // forloop backward inclusive

#define Min(a, b) ((a) < (b) ? (a) : (b))
#define Max(a, b) ((a) < (b) ? (b) : (a))

void b()
{
    ll n, k;
    cin >> n >> k;
    unordered_map<string, ll> attr;
    unordered_map<string, multiset<ll> > challs;
    string name;
    ll score, res = 0;
    LE(i, 0, n)
    {
        cin >> name >> score;
        attr.insert(pair<string, ll >(name, score));
    }

    cin >> n;
    LE(i, 0, n)
    {
        cin >> name >> score;
        challs[name].insert(score);
    }

    for(auto &a : challs) {
        k -= (*a.second.rbegin() - attr[a.first] > 0) ? *a.second.rbegin() - attr[a.first] : 0;
        if (k < 0) {
            cout << 0 << "\n";
            return;
        }
        attr[a.first] = Max(attr[a.first], *a.second.rbegin());
        if (*a.second.rbegin() < attr[a.first])
        {
            res += attr[a.first] * a.second.size();
            continue;
        }

        res += attr[a.first] * distance(a.second.begin(), a.second.find(attr[a.first]));
    }

    while (k--)
    {
        ll h = 0;
        string attribute;
        for (auto a : attr)
        {
            ll old_score = (a.second) * distance(challs[a.first].begin(), challs[a.first].find(attr[a.first]));
            ll np = res - old_score + (a.second + 1) * challs[a.first].size();

            if (h < np)
            {
                h = np;
                attribute = a.first;
            }
        }
        attr[attribute]++;
        res = h;
    }
    cout << res << "\n";
}

int main()
{
    ios_base::sync_with_stdio(0);
    cin.tie(0);

    b();

    return 0;
}