Problem: Yet another education system reform has been carried out in Berland recently. The innovations are as follows:

An academic year now consists of n days. Each day pupils study exactly one of m subjects, besides, each subject is studied for no more than one day. After the lessons of the i-th subject pupils get the home task that contains no less than ai and no more than bi exercises. Besides, each subject has a special attribute, the complexity (ci). A school can make its own timetable, considering the following conditions are satisfied:

  * the timetable should contain the subjects in the order of the complexity's strict increasing; 
  * each day, except for the first one, the task should contain either k times more exercises, or more by k compared to the previous day (more formally: let's call the number of home task exercises in the i-th day as xi, then for each i (1 < i ≤ n): either xi = k + xi - 1 or xi = k·xi - 1 must be true); 
  * the total number of exercises in all home tasks should be maximal possible. 



All limitations are separately set for each school.

It turned out that in many cases ai and bi reach 1016 (however, as the Berland Minister of Education is famous for his love to half-measures, the value of bi - ai doesn't exceed 100). That also happened in the Berland School №256. Nevertheless, you as the school's principal still have to work out the timetable for the next academic year...

Input

The first line contains three integers n, m, k (1 ≤ n ≤ m ≤ 50, 1 ≤ k ≤ 100) which represent the number of days in an academic year, the number of subjects and the k parameter correspondingly. Each of the following m lines contains the description of a subject as three integers ai, bi, ci (1 ≤ ai ≤ bi ≤ 1016, bi - ai ≤ 100, 1 ≤ ci ≤ 100) — two limitations to the number of exercises on the i-th subject and the complexity of the i-th subject, correspondingly. Distinct subjects can have the same complexity. The subjects are numbered with integers from 1 to m. 

Please do not use the %lld specificator to read or write 64-bit numbers in С++. It is preferred to use the cin stream or the %I64d specificator.

Output

If no valid solution exists, print the single word "NO" (without the quotes). Otherwise, the first line should contain the word "YES" (without the quotes) and the next n lines should contain any timetable that satisfies all the conditions. The i + 1-th line should contain two positive integers: the number of the subject to study on the i-th day and the number of home task exercises given for this subject. The timetable should contain exactly n subjects.

Examples

Input

4 5 2
1 10 1
1 10 2
1 10 3
1 20 4
1 100 5


Output

YES
2 8
3 10
4 20
5 40


Input

3 4 3
1 3 1
2 4 4
2 3 3
2 2 2


Output

NO

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
vector<pair<int, long long> > vAns;
long long lTask[55], rTask[55];
long long ans[55][55][105];
pair<int, int> p[55][55][105];
int complexity[55];
int srt[55];
int aTemp[55];
long long aTempLong[55];
int n, m, k;
bool cmp(int d1, int d2) { return complexity[d1] < complexity[d2]; }
void getToSort(int* a, int* srt, int size) {
  for (int i = 0; i < size; i++) aTemp[i] = a[srt[i]];
  for (int i = 0; i < size; i++) a[i] = aTemp[i];
}
void getToSort(long long* a, int* srt, int size) {
  for (int i = 0; i < size; i++) aTempLong[i] = a[srt[i]];
  for (int i = 0; i < size; i++) a[i] = aTempLong[i];
}
void getAns(int ind, long long taskCur, long long taskNext) {
  for (int i = ind + 1; i < m; i++) {
    if (complexity[i] == complexity[ind] || taskNext < lTask[i] ||
        taskNext > rTask[i])
      continue;
    for (int j = 1; j < n; j++) {
      if (ans[i][j][taskNext - lTask[i]] == 0) break;
      long long newAns = taskCur + ans[i][j][taskNext - lTask[i]];
      if (newAns > ans[ind][j + 1][taskCur - lTask[ind]]) {
        ans[ind][j + 1][taskCur - lTask[ind]] = newAns;
        p[ind][j + 1][taskCur - lTask[ind]] = make_pair(i, taskNext - lTask[i]);
      }
    }
  }
}
int main() {
  scanf("%d%d%d", &n, &m, &k);
  for (int i = 0; i < m; i++) {
    scanf("%I64d%I64d%d", &lTask[i], &rTask[i], &complexity[i]);
  }
  for (int i = 0; i < m; i++) srt[i] = i;
  sort(srt, srt + m, cmp);
  getToSort(lTask, srt, m);
  getToSort(rTask, srt, m);
  getToSort(complexity, srt, m);
  for (int i = m - 1; i > -1; i--) {
    for (long long j = lTask[i]; j <= rTask[i]; j++)
      ans[i][1][j - lTask[i]] = j;
    for (long long j = lTask[i]; j <= rTask[i]; j++) {
      long long needTaskNext = j + k;
      getAns(i, j, needTaskNext);
      needTaskNext = j * k;
      getAns(i, j, needTaskNext);
    }
  }
  pair<int, int> ansStart = make_pair(-1, -1);
  long long res = 0;
  for (int i = m - n; i > -1; i--) {
    int to = rTask[i] - lTask[i];
    for (int j = 0; j <= to; j++) {
      if (ans[i][n][j] > res) {
        res = ans[i][n][j];
        ansStart = make_pair(i, j);
      }
    }
  }
  if (res == 0) {
    printf("NO");
    return 0;
  }
  printf("YES");
  int curInd = ansStart.first;
  int curRem = n;
  int curTask = ansStart.second;
  while (curRem != 0) {
    vAns.push_back(make_pair(curInd, lTask[curInd] + curTask));
    pair<int, int> nextPair = p[curInd][curRem][curTask];
    curInd = nextPair.first;
    curTask = nextPair.second;
    curRem--;
  }
  for (int i = 0; i < n; i++) {
    printf("\n%d %I64d", srt[vAns[i].first] + 1, vAns[i].second);
  }
  return 0;
}