#include<iostream>
#include<cstdio>
using namespace std;
int main() {
int n, m, number, min_num;
int rank[4];
while (scanf("%d %d\n", &n, &m) != EOF) {
float countries_inf[3][n];
for (int i = 0; i < n; ++i) {
scanf("%d %d %d\n", &countries_inf[0][i], &countries_inf[1][i], &countries_inf[2][i]);
}
float rank_inf[4][m];
for (int i = 0; i < m; ++i) {
scanf("%d ", &number);
rank_inf[0][i] = countries_inf[0][number];
rank_inf[1][i] = countries_inf[1][number];
rank_inf[2][i] = countries_inf[0][number] ? countries_inf[0][number] / countries_inf[2][number] : 0;
rank_inf[3][i] = countries_inf[1][number] ? countries_inf[1][number] / countries_inf[2][number] : 0;
}
for (int i = 0; i < m; ++i) {
for (int i = 0; i < 4; ++i) {
rank[i] = 1;
}
for (int j = 0; j < 4; ++j) {
for (int k = 0; k < m; ++k) {
if (rank_inf[j][i] < rank_inf[j][k]) {
++rank[j];
}
}
}
min_num = 0;
for (int i = 1; i < 4; ++i) {
if (rank[i] < rank[min_num]) {
min_num = i;
}
}
cout << rank[min_num] << ":" << min_num + 1 << endl;
}
cout << endl;
}
return 0;
}