#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;
}