#include <bits/stdc++.h>
using namespace std;
 
char name[1000001][30];
char course[1000001][30];
 
int main()
{
    int n, m;
    while (scanf("%d%d",&n,&m)==2) {
        for (int i = 0; i<=1000000; i++) {
            name[i][0] = 0;
            course[i][0] = 0;
        }
        scanf("%*s%*s");
        for (int i = 0; i<n; i++) {
            char buf[30];
            int x;
            scanf("%s%d", buf, &x);
            strcpy(name[x], buf);
        }
        scanf("%*s%*s%*s");
        for (int i = 0; i<m; i++) {
            char buf[30];
            int x;
            scanf("%*s%d%s", &x, buf);
            strcpy(course[x], buf);
        }
        puts("Name StuNum CourseName");
        for (int i = 0; i<1000000; i++)
            if (name[i][0]) {
                printf("%s %d ", name[i], i);
                if (course[i][0])
                    puts(course[i]);
                else
                    puts("NULL");
            }
    }
    return 0;
}