//Berezvai Dániel
//BEDTACI.ELTE

#include <fstream>
#include <iostream>
using namespace std;

struct fenyo{
	string nev;
	int ar;
};

int main(){
	fstream f("fenyo.be");
	int n;
	f>>n;
	/** /cout<<n<<endl;//*/
	fenyo a[n];
	for(int i=0;i<n;i++){
		f>>a[i].nev>>a[i].ar;
		/** /cout<<a[i].nev<<" "<<a[i].ar<<endl;//*/
	}
	string F;
	f>>F;
	/** /cout<<F;//*/

	int db=0;
	int minID=-1;
	string nevek[n];
	nevek[0]=a[0].nev;
	int nevekID=1;
	bool nevekTalalat;
	int d=0;
	int arak[n];
	for(int i=0;i<n;i++){
		if(a[i].ar<3000){
			db++;
		}
		if(a[i].ar<a[minID].ar){
			minID=i;
		}
		nevekTalalat=false;
		for(int j=0;j<nevekID;j++){
			if(!nevekTalalat && nevek[j]==a[i].nev){
				nevekTalalat=true;
			}
		}
		if(!nevekTalalat){
			nevek[nevekID]=a[i].nev;
			nevekID++;
		}
		if(a[i].nev==F){
			arak[d]=a[i].ar;
			d++;
		}
	}

	cout<<"A\n";
	cout<<db;
	cout<<"\nB\n";
	cout<<a[minID].nev;
	cout<<"\nC\n";
	cout<<nevekID;
	cout<<"\nD\n";
	cout<<d;
	for(int i=0;i<d;i++){
		cout<<" "<<arak[i];
	}
	f.close();
	return 0;
}