#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001



int main(){
	
	int n,k,q;
	cin>>n>>k>>q;
	vector<string> s;
	rep(_,q){
		int t;
		cin>>t;
		if(s.size()>n){
			s.erase(s.begin());
		}
		if(t==1){
			string ss;
			cin>>ss;
			s.push_back(ss);
		}
		else{
			vector<string> ans;
			int sum_d = 0;
			
			rep(i,6){
				string T;
				int d;
				cin>>T>>d;
				if(find(s.begin(),s.end(),T)!=s.end()){
					d = min(d,k);
				}
				sum_d += d;
				if(sum_d <= 60){
					ans.push_back(T);
				}
			}
			cout<<ans.size()<<endl;
			rep(i,ans.size())s.push_back(ans[i]);
		}
	}
	
	return 0;
}