#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m, c, e;
  char s[100];
  scanf("%d%d%*d.%d", &n, &m, &c);
  map<string, int> u;
  for (int i = 0; i < n; i++) {
    scanf("%s%d", s, &e);
    if (e * c / 100 >= 100) u[s] = e * c / 100;
  }
  for (int i = 0; i < m; i++) {
    scanf("%s", s);
    u[s];
  }
  printf("%d\n", int(u.size()));
  for (auto& x : u) printf("%s %d\n", x.first.c_str(), x.second);
}
