#include <stdio.h>
#include <string.h>
int main() {
int a = 0, num[100], times[100] = {0}, judge[100] = {0}, n;
int b = 0;
char file[100];
char fullFile[100][100];
int k = 0;
while (scanf("%s", file) != EOF) {
scanf("%d", &n);
int len = strlen(file);
char name[len], name1[len];
int j = 0;
for (int i = len - 1; i >= 3; i--) {
if (file[i] == '\\') {
break;
}
name[j] = file[i];
j++;
}
name[j] = '\0';
j = 0;
if (strlen(name) >= 16) {
for (int i = 0; i < 16; i++) {
name1[i] = name[16 - 1 - i];
j++;
}
} else if (strlen(name) < 16) {
for (int i = 0; i < strlen(name); i++) {
name1[i] = name[strlen(name) - 1 - i];
j++;
}
}
name1[j] = '\0';
for (int i = 0; i < strlen(name1); i++) {
fullFile[a][i] = name[i];
}
num[a] = n;
a++;
}
for (int i = 0; i < a; i++) {
times[i]++;
b++;
judge[i] = b;
if (i >= 1) {
for (int j = i - 1; j >= 0; j--) {
if (strcmp(fullFile[i], fullFile[j]) == 0 && num[i] == num[j]) {
times[j]++;
times[i] = 0;
b--;
}
}
}
}
int marka = 0, mark[100] = {0};
for (int i = 0; i < a; i++) {
if (times[i] > 0) {
mark[marka] = i;
marka++;
}
}
if (marka > 8) {
for (int i = mark[marka-8]; i < a; i++) {
if (times[i] > 0) {
for (int j = strlen(fullFile[i])-1; j>=0; j--) {
printf("%c", fullFile[i][j]);
}
printf(" %d %d\n", num[i], times[i]);
}
}
}else if (marka <= 8) {
for (int i = 0; i < a; i++) {
if (times[i] > 0) {
for (int j = strlen(fullFile[i])-1; j>=0; j--) {
printf("%c", fullFile[i][j]);
}
printf(" %d %d\n", num[i], times[i]);
}
}
}
return 0;
}