#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")