Problem: It's unbelievable, but an exam period has started at the OhWord University. It's even more unbelievable, that Valera got all the tests before the exam period for excellent work during the term. As now he's free, he wants to earn money by solving problems for his groupmates. He's made a list of subjects that he can help with. Having spoken with n of his groupmates, Valera found out the following information about them: what subject each of them passes, time of the exam and sum of money that each person is ready to pay for Valera's help.

Having this data, Valera's decided to draw up a timetable, according to which he will solve problems for his groupmates. For sure, Valera can't solve problems round the clock, that's why he's found for himself an optimum order of day and plans to stick to it during the whole exam period. Valera assigned time segments for sleep, breakfast, lunch and dinner. The rest of the time he can work.

Obviously, Valera can help a student with some subject, only if this subject is on the list. It happened, that all the students, to whom Valera spoke, have different, but one-type problems, that's why Valera can solve any problem of subject listi in ti minutes.

Moreover, if Valera starts working at some problem, he can break off only for sleep or meals, but he can't start a new problem, not having finished the current one. Having solved the problem, Valera can send it instantly to the corresponding student via the Internet.

If this student's exam hasn't started yet, he can make a crib, use it to pass the exam successfully, and pay Valera the promised sum. Since Valera has little time, he asks you to write a program that finds the order of solving problems, which can bring Valera maximum profit.

Input

The first line contains integers m, n, k (1 ≤ m, n ≤ 100, 1 ≤ k ≤ 30) — amount of subjects on the list, amount of Valera's potential employers and the duration of the exam period in days.

The following m lines contain the names of subjects listi (listi is a non-empty string of at most 32 characters, consisting of lower case Latin letters). It's guaranteed that no two subjects are the same.

The (m + 2)-th line contains m integers ti (1 ≤ ti ≤ 1000) — time in minutes that Valera spends to solve problems of the i-th subject. Then follow four lines, containing time segments for sleep, breakfast, lunch and dinner correspondingly.

Each line is in format H1:M1-H2:M2, where 00 ≤  H1, H2 ≤ 23, 00 ≤  M1, M2 ≤ 59. Time H1:M1 stands for the first minute of some Valera's action, and time H2:M2 stands for the last minute of this action. No two time segments cross. It's guaranteed that Valera goes to bed before midnight, gets up earlier than he has breakfast, finishes his breakfast before lunch, finishes his lunch before dinner, and finishes his dinner before midnight. All these actions last less than a day, but not less than one minute. Time of the beginning and time of the ending of each action are within one and the same day. But it's possible that Valera has no time for solving problems.

Then follow n lines, each containing the description of students. For each student the following is known: his exam subject si (si is a non-empty string of at most 32 characters, consisting of lower case Latin letters), index of the exam day di (1 ≤ di ≤ k), the exam time timei, and sum of money ci (0 ≤ ci ≤ 106, ci — integer) that he's ready to pay for Valera's help. Exam time timei is in the format HH:MM, where 00 ≤  HH ≤ 23, 00 ≤  MM ≤ 59. Valera will get money, if he finishes to solve the problem strictly before the corresponding student's exam begins.

Output

In the first line output the maximum profit that Valera can get. The second line should contain number p — amount of problems that Valera is to solve. In the following p lines output the order of solving problems in chronological order in the following format: index of a student, to whom Valera is to help; index of the time, when Valera should start the problem; time, when Valera should start the problem (the first minute of his work); index of the day, when Valera should finish the problem; time, when Valera should finish the problem (the last minute of his work). To understand the output format better, study the sample tests.

Examples

Input

3 3 4
calculus
algebra
history
58 23 15
00:00-08:15
08:20-08:35
09:30-10:25
19:00-19:45
calculus 1 09:36 100
english 4 21:15 5000
history 1 19:50 50


Output

150
2
1 1 08:16 1 09:29
3 1 10:26 1 10:40


Input

2 2 1
matan
codeforces
1 2
00:00-08:00
09:00-09:00
12:00-12:00
18:00-18:00
codeforces 1 08:04 2
matan 1 08:02 1


Output

3
2
2 1 08:01 1 08:01
1 1 08:02 1 08:03


Input

2 2 1
matan
codeforces
2 2
00:00-08:00
09:00-09:00
12:00-12:00
18:00-18:00
codeforces 1 08:04 2
matan 1 08:03 1


Output

2
1
1 1 08:01 1 08:02

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
typedef struct Emp {
  int cost, t, get, ind;
} Emp;
bool operator<(const Emp &a, const Emp &b) { return a.t < b.t; }
bool active[1440];
int activetimebefore[1441];
int activetimeperday;
int convert(int d, int t) {
  return (d - 1) * activetimeperday + activetimebefore[t];
}
void printt(int t) {
  int d = t / activetimeperday + 1;
  t %= activetimeperday;
  printf("%d ", d);
  int tt = 0;
  while (!active[tt]) ++tt;
  for (int i = (0); i < (t); ++i) {
    ++tt;
    while (!active[tt]) ++tt;
  }
  printf("%02d:%02d", tt / 60, tt % 60);
}
typedef struct X {
  int t, at, have;
} X;
bool operator<(const X &a, const X &b) {
  if (a.at != b.at) return a.at > b.at;
  if (a.t != b.t) return a.t > b.t;
}
void run() {
  int nsubj, nemp, ndays;
  scanf("%d%d%d", &nsubj, &nemp, &ndays);
  vector<string> subj(nsubj);
  for (int i = (0); i < (nsubj); ++i) cin >> subj[i];
  vector<int> costsubj(nsubj);
  for (int i = (0); i < (nsubj); ++i) scanf("%d", &costsubj[i]);
  memset(active, true, sizeof(active));
  for (int i = (0); i < (4); ++i) {
    int h1, m1, h2, m2;
    scanf("%d:%d-%d:%d", &h1, &m1, &h2, &m2);
    int t1 = h1 * 60 + m1, t2 = h2 * 60 + m2;
    int t = t1;
    while (true) {
      active[t] = false;
      if (t == t2) break;
      if (++t >= 1440) t = 0;
    }
  }
  activetimebefore[0] = 0;
  for (int i = (0); i < (1440); ++i)
    activetimebefore[i + 1] = activetimebefore[i] + (active[i] ? 1 : 0);
  activetimeperday = activetimebefore[1440];
  vector<Emp> emp;
  for (int i = (0); i < (nemp); ++i) {
    string s;
    cin >> s;
    int d, h, m, get;
    scanf("%d %d:%d %d", &d, &h, &m, &get);
    int t = h * 60 + m;
    int cost = -1;
    for (int j = (0); j < (nsubj); ++j)
      if (subj[j] == s) {
        cost = costsubj[j];
        break;
      }
    if (cost == -1) continue;
    emp.push_back((Emp){cost, convert(d, t), get, i + 1});
  }
  sort(emp.begin(), emp.end());
  vector<vector<int> > best(ndays * activetimeperday + 1,
                            vector<int>(nemp + 1, -1));
  vector<vector<int> > prevt(ndays * activetimeperday + 1,
                             vector<int>(nemp + 1, -1));
  {
    if (0 <= ndays * activetimeperday && 0 > best[0][0]) {
      best[0][0] = 0, prevt[0][0] = -1;
    }
  };
  int maxhave = 0, endat = -1, endt = -1;
  for (int at = (0); at <= (((int)(emp).size())); ++at)
    for (int t = (0); t <= (ndays * activetimeperday); ++t) {
      int have = best[t][at];
      if (have == -1) continue;
      if (at >= ((int)(emp).size())) {
        if (have > maxhave) maxhave = have, endat = at, endt = t;
        continue;
      }
      {
        if (t <= ndays * activetimeperday && have > best[t][at + 1]) {
          best[t][at + 1] = have, prevt[t][at + 1] = t;
        }
      };
      if (t + emp[at].cost <= emp[at].t) {
        if (t + emp[at].cost <= ndays * activetimeperday &&
            have + emp[at].get > best[t + emp[at].cost][at + 1]) {
          best[t + emp[at].cost][at + 1] = have + emp[at].get,
                                      prevt[t + emp[at].cost][at + 1] = t;
        }
      };
    }
  vector<pair<int, int> > res;
  for (int t = endt, at = endat; at > 0; t = prevt[t][at], --at) {
    if (prevt[t][at] != t) res.push_back(make_pair(at - 1, prevt[t][at]));
  }
  reverse(res.begin(), res.end());
  printf("%d\n", maxhave);
  printf("%d\n", ((int)(res).size()));
  for (int i = (0); i < (((int)(res).size())); ++i) {
    printf("%d ", emp[res[i].first].ind);
    printt(res[i].second);
    printf(" ");
    printt(res[i].second + emp[res[i].first].cost - 1);
    puts("");
  }
}
int main() {
  run();
  return 0;
}