#include <bits/stdc++.h>
using namespace std;
map<string, int> mp;
int main() {
  int n, m;
  double k;
  scanf("%d%d%lf", &n, &m, &k);
  k += 1e-6;
  vector<pair<string, int> > ans;
  for (int i = 0; i < n; i++) {
    string name;
    int sk;
    cin >> name >> sk;
    int nsk = (int)floor(sk * k);
    if (nsk < 100)
      mp[name] = 0;
    else {
      mp[name] = 1;
      ans.push_back(make_pair(name, nsk));
    }
  }
  for (int i = 0; i < m; i++) {
    string name;
    cin >> name;
    if (mp[name] == 0) ans.push_back(make_pair(name, 0));
  }
  sort(ans.begin(), ans.end());
  printf("%d\n", ans.size());
  for (int i = 0; i < ans.size(); i++)
    printf("%s %d\n", ans[i].first.c_str(), ans[i].second);
  return 0;
}
