#include <iostream>
using namespace std;
const int  N = 1000;

typedef struct Student {
    char id[21];
    int m = 0, sum = 0;
} Student;

int cmp(const void* a,  const void* b) {
    Student* sa = (Student*)a;
    Student* sb = (Student*)b;
    if (sa->sum != sb->sum) return sb->sum - sa->sum;
    else return sa->id - sb->id;
}


Student s[1000];
int n, m, g;
int score[11];
int main() {

    while (cin >> n >> m >> g) {
        for (int i = 1 ; i <= m; i++) cin >> score[i];
        for (int i = 0 ; i < n ; i++) {
            cin >> s[i].id >> s[i].m;
            for (int j = 1 ; j <= s[i].m ; j++) {
                int k;
                cin >> k;
                s[i].sum += score[k];
            }
        }
        qsort(s, n, sizeof(Student), cmp);
        int cnt = 0;
        for (int i = 0 ; i < n && s[i].sum >= g; i++)
            cnt++;
        cout << cnt << endl;
        for (int i = 0 ; i < cnt; i++)
            cout << s[i].id << " " << s[i].sum << endl;
    }

    return 0;
}
// 64 位输出请用 printf("%lld")