#include <iostream>
#include <map>
#include <vector>
#include <algorithm>
#include <iomanip>

using namespace std;


class stats{
	public:
	stats(){
		wins=0.00;
		losses=0.00;
		rank=0.00;
		games=0.00;
		opponents.clear();
	}
	
		

	void win(){
		wins = wins + 1;
	}

	void lose(){
		losses=losses + 1;
	}

	double getWins(){
		return wins;
	}

	void played(){
		games = games + 1;
	}

	double getGames(){
		return games;
	}

	double getLosses(){
		return losses;
	}

	double getWinsAdj(){
		return winsAdj;
	}

	void setWinsAdj(double w){
		winsAdj = w;
	}


	void addOpponent(string team){
		int found=0;
		for(int i=0;i<opponents.size();i++){
			if (opponents[i] == team) found++;
		}
		if(found==0) opponents.push_back(team);
	}

	double getRank(){
		return rank;
	}

	void setRank(double r){
		rank = r;
	}

	vector<string> getOpponents(){
		return opponents;
	}

	void setName(string n){
		name = n;
	}	

	string getName(){
		return name;
	}

	string name;
	double wins;
	double winsAdj;
	double losses;
	double rank;
	double games;
	vector<string> opponents;

};

double rank(double Nwins, double Ntotal){
	return ((1+Nwins)/(2+Ntotal));
}

double winsAdjusted(double wins,double losses, double sumRank){
	return ((wins-losses)/2 + sumRank);
}

double sumRank(map<string,stats> map, string name){
	double sum=0;
	vector<string> opps = map[name].getOpponents();
	for(int i=0;i<opps.size();i++){
		sum += map[opps[i]].getRank();
	}
	
	return sum;

}

bool compare_stats(stats a, stats b){
	return (a.getRank()<b.getRank());
}


int main(){
	int numTeams=0;
	int score1,score2;
	string team1,team2;
	map<string,stats> tMap;
	cin >> numTeams;
	string teams[numTeams];
	for(int i=0;i<numTeams;i++){
		cin >> teams[i];
		tMap[teams[i]].setName(teams[i]);
	}
	vector<stats> final;

	while(cin>>team1){
	//	cin >> team1;
		if(cin.eof()) break;
		cin >> score1 >> team2 >> score2;
		tMap[team1].addOpponent(team2);
		tMap[team1].played();
		tMap[team2].addOpponent(team1);
		tMap[team2].played();
		if(score1>score2){
			tMap[team1].win();
			tMap[team2].lose();
		}
		else if(score1<score2){
			tMap[team1].lose();
			tMap[team2].win();
		}
	}
	for(int i=0;i<numTeams;i++){
		tMap[teams[i]].setRank( rank(tMap[teams[i]].getWins(),tMap[teams[i]].getGames()) );		
	}

	for(int j=0;j<100;j++){
		for(int i=0;i<numTeams;i++){
			tMap[teams[i]].setWinsAdj( winsAdjusted(tMap[teams[i]].getWins(),tMap[teams[i]].getLosses(),sumRank(tMap,teams[i])));		
			tMap[teams[i]].setRank( rank( tMap[teams[i]].getWinsAdj(),tMap[teams[i]].getGames() ) );
		}
	}
	for(int i=0;i<numTeams;i++){
		final.push_back(tMap[teams[i]]);
	}
	sort(final.begin(),final.end(),compare_stats);
	for(int i=numTeams-1;i>=0;i--){
		cout << numTeams-i << ". " << final[i].getName() << "\t" << fixed << setprecision(4) << final[i].getRank() << endl;
	}

}