#include <iostream>
#include <string>
#include <vector>
#include <unordered_map>
#include <cstring>
#include <functional>
#include <algorithm>

struct AttributeInfo
{
	uint32_t amount_maxed = 0;
	uint32_t occurance = 0;
	uint32_t assigned_power;
};

int main()
{
	std::ios_base::sync_with_stdio( false );
	std::cin.tie( NULL );

	int n, k, l;
	std::cin >> n >> k;
	std::unordered_map<std::string, AttributeInfo> events;
	events.reserve( n );
	std::string name;
	uint32_t power;
	for( int i = 0; i < n; i++ ) {
		std::cin >> name >> power;
		events[name].assigned_power = power;
	}
	std::cin >> l;
	for( int i = 0; i < l; i++ ) {
		std::cin >> name >> power;
		AttributeInfo& info = events.at( name );
		info.occurance++;
		if( info.assigned_power == power ) {
		info.amount_maxed++;
		}
		else if( info.assigned_power < power ) {
			info.amount_maxed = 1;
			int delta = power - info.assigned_power;
			info.assigned_power += delta;
			k -= delta;
		}
	}

	if( k < 0 ) {
		std::cout << "0" << "\n";
	}
	int max_score = 0;
	int score = 0;
	AttributeInfo* target;
	while( k ) {
		max_score = 0;
		target = nullptr;
		for( auto& attribute_info : events ) {
			score = attribute_info.second.occurance + ( attribute_info.second.amount_maxed * attribute_info.second.assigned_power );
			if( score > max_score ) {
				target = &attribute_info.second;
				max_score = score;
			}
		}
		if( target ) {
			target->amount_maxed = 0;
			target->assigned_power++;
			k--;
		}
	}
	score = 0;
	for( auto& attribute_info : events ) {
		score += ( attribute_info.second.occurance - attribute_info.second.amount_maxed ) * attribute_info.second.assigned_power;
	}

	std::cout << score << "\n";
	

	return 0;


}