#include <iostream>
#include<string>
#include<algorithm> //有sort函数
#include<vector>
using namespace std;
#define N 10
int main()
{
int n,m; //n是国家数,m是要求排名的国家数
while(scanf("%d%d",&n,&m)!=EOF){
int temp[N][3]; //每一行存放奥运金牌数,奖牌数,人口数(百万)
for(int i=0;i<n;i++)
{
scanf("%d%d%d",&temp[i][0],&temp[i][1],&temp[i][2]);
}
float data[N][4]; //存放四种排序方式金牌总数、奖牌总数、金牌人口比例、奖牌人口比例
int rank[N][4]={0};//rank每行存放每个国家在4种排名方式下的排名(最终结果应该+1,因为初值为0)
for(int i=0;i<m;i++) //只针对需要排名的国家更新data数组
{
int country_id;
scanf("%d",&country_id);
data[i][0]=temp[country_id][0];//存放金牌总数
data[i][1]=temp[country_id][1];//存放奖牌总数
data[i][2]=temp[country_id][0]?data[i][0]/temp[country_id][2]:0; //如果金牌数不为0,则计算金牌人口比例,如果金牌数为0,则比值取0,防止出现无穷的情况
data[i][3]=temp[country_id][1]?data[i][1]/temp[country_id][2]:0; //奖牌人口比例
}
for(int i=0;i<m;i++)
{
for(int j=0;j<m;j++) //国家之间两两比较
{
for(int k=0;k<4;k++) //一共四种排名方式
{
if(data[j][k]>data[i][k]) //j比i的排名更高,则给i加1
rank[i][k]++;
}
}
}
for(int i=0;i<m;i++)
{
int min=0;//min代表最好的排名对应的排名方式
for(int j=1;j<4;j++) //找出四种排名中排名最好的那个排名方式
{
if(rank[i][j]<rank[i][min])
min=j;
}
printf("%d:%d\n",rank[i][min]+1,min+1);//输出排名rank[i][min]+1及排名方式min+1(如前面所说,最终结果要+1)
}
cout<<endl;
}
}