Problem: In a simplified version of a "Mini Metro" game, there is only one subway line, and all the trains go in the same direction. There are n stations on the line, a_i people are waiting for the train at the i-th station at the beginning of the game. The game starts at the beginning of the 0-th hour. At the end of each hour (couple minutes before the end of the hour), b_i people instantly arrive to the i-th station. If at some moment, the number of people at the i-th station is larger than c_i, you lose.

A player has several trains which he can appoint to some hours. The capacity of each train is k passengers. In the middle of the appointed hour, the train goes from the 1-st to the n-th station, taking as many people at each station as it can accommodate. A train can not take people from the i-th station if there are people at the i-1-th station.

If multiple trains are appointed to the same hour, their capacities are being added up and they are moving together.

The player wants to stay in the game for t hours. Determine the minimum number of trains he will need for it.

Input

The first line contains three integers n, t, and k (1 ≤ n, t ≤ 200, 1 ≤ k ≤ 10^9) — the number of stations on the line, hours we want to survive, and capacity of each train respectively.

Each of the next n lines contains three integers a_i, b_i, and c_i (0 ≤ a_i, b_i ≤ c_i ≤ 10^9) — number of people at the i-th station in the beginning of the game, number of people arriving to i-th station in the end of each hour and maximum number of people at the i-th station allowed respectively.

Output

Output a single integer number — the answer to the problem.

Examples

Input

3 3 10
2 4 10
3 3 9
4 2 8


Output

2


Input

4 10 5
1 1 1
1 0 1
0 5 8
2 7 100


Output

12

Note

<image>

Let's look at the sample. There are three stations, on the first, there are initially 2 people, 3 people on the second, and 4 people on the third. Maximal capacities of the stations are 10, 9, and 8 respectively.

One of the winning strategies is to appoint two trains to the first and the third hours. Then on the first hour, the train takes all of the people from the stations, and at the end of the hour, 4 people arrive at the first station, 3 on the second, and 2 on the third.

In the second hour there are no trains appointed, and at the end of it, the same amount of people are arriving again.

In the third hour, the train first takes 8 people from the first station, and when it arrives at the second station, it takes only 2 people because it can accommodate no more than 10 people. Then it passes by the third station because it is already full. After it, people arrive at the stations once more, and the game ends.

As there was no such moment when the number of people at a station exceeded maximal capacity, we won using two trains.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
int main() {
  std::ios::sync_with_stdio(0);
  std::cin.tie(0);
  int numStation, time, capacity;
  std::cin >> numStation >> time >> capacity;
  struct Station {
    int start, change, maximum;
  };
  std::vector<Station> stations(numStation);
  for (auto& [start, change, maximum] : stations) {
    std::cin >> start >> change >> maximum;
    assert(start <= maximum);
    assert(change <= maximum);
  }
  while (true) {
    if (stations.empty()) {
      std::cout << "0\n";
      return 0;
    }
    auto const [start, change, maximum] = stations.back();
    if (start + change * (int64_t)time <= maximum) {
      stations.pop_back();
      --numStation;
    } else
      break;
  }
  std::vector<std::vector<int64_t>> f(numStation,
                                      std::vector<int64_t>(time + 1));
  int64_t changePrefix = 0;
  for (int station = 0; station < numStation; ++station) {
    auto const [start, change, maximum] = stations[station];
    changePrefix += change;
    f[station][0] = 0;
    for (int time0 = 1; time0 <= time; ++time0) {
      auto& cur = f[station][time0] = INT64_MAX;
      if ((int64_t)time0 * change <= maximum) {
        if (station == 0)
          cur = 0;
        else if (f[station - 1][time0] != INT64_MAX)
          cur = ((changePrefix - change) * time0 + capacity - 1) / capacity;
      }
      for (int last = 0; last < time0; ++last) {
        auto const numTrainBeforeY = f[station][last];
        if (numTrainBeforeY == INT64_MAX) continue;
        auto const y = changePrefix * last - capacity * numTrainBeforeY;
        assert(y > -capacity);
        assert(y <= maximum);
        if (y < 0) continue;
        if ((station == 0 or f[station - 1][time0 - last] != INT64_MAX) and
            y % capacity + int64_t(time0 - last) * change <= maximum) {
          auto const delta =
              maximum - y % capacity - int64_t(time0 - last) * change;
          assert(delta >= 0);
          auto const y1 =
              std::min(y, y % capacity + delta / capacity * capacity);
          assert((y - y1) % capacity == 0);
          auto const numTrainBeforeY1 = numTrainBeforeY + (y - y1) / capacity;
          assert(y1 + int64_t(time0 - last) * change <= maximum);
          cur = std::min(cur, numTrainBeforeY1 +
                                  ((changePrefix - change) * (time0 - last) +
                                   capacity - 1) /
                                      capacity);
        }
      }
    }
  }
  std::vector<std::vector<int64_t>> g(numStation,
                                      std::vector<int64_t>(time + 1));
  changePrefix = 0;
  int64_t startPrefix = 0;
  for (int station = 0; station < numStation; ++station) {
    auto const [start, change, maximum] = stations[station];
    changePrefix += change;
    auto const startBefore = startPrefix;
    startPrefix += start;
    g[station][0] = (startBefore + capacity - 1) / capacity;
    for (int time0 = 1; time0 <= time; ++time0) {
      auto& cur = g[station][time0] = INT64_MAX;
      if (start + (int64_t)time0 * change <= maximum) {
        if (station == 0)
          cur = 0;
        else if (g[station - 1][time0] != INT64_MAX)
          cur = (startPrefix - start + (changePrefix - change) * time0 +
                 capacity - 1) /
                capacity;
      }
      for (int last = 0; last < time0; ++last) {
        auto const numTrainBeforeY = g[station][last];
        if (numTrainBeforeY == INT64_MAX) continue;
        auto const y =
            startPrefix + changePrefix * last - capacity * numTrainBeforeY;
        assert(y > -capacity);
        assert(y <= maximum);
        if (y < 0) continue;
        if ((station == 0 or f[station - 1][time0 - last] != INT64_MAX) and
            y % capacity + int64_t(time0 - last) * change <= maximum) {
          auto const delta =
              maximum - y % capacity - int64_t(time0 - last) * change;
          assert(delta >= 0);
          auto const y1 =
              std::min(y, y % capacity + delta / capacity * capacity);
          assert((y - y1) % capacity == 0);
          auto const numTrainBeforeY1 = numTrainBeforeY + (y - y1) / capacity;
          assert(y1 + int64_t(time0 - last) * change <= maximum);
          cur = std::min(cur, numTrainBeforeY1 +
                                  ((changePrefix - change) * (time0 - last) +
                                   capacity - 1) /
                                      capacity);
        }
      }
    }
  }
  std::vector<std::vector<int64_t>> h(numStation,
                                      std::vector<int64_t>(time + 1));
  changePrefix = 0;
  for (int station = 0; station < numStation; ++station) {
    auto const [start, change, maximum] = stations[station];
    changePrefix += change;
    h[station][0] = 0;
    for (int time0 = 1; time0 <= time; ++time0) {
      auto& cur = h[station][time0] = INT64_MAX;
      if (change * (int64_t)time0 <= maximum) {
        cur = station == 0 ? 0 : h[station - 1][time0];
      }
      for (int last = 0; last < time0; ++last) {
        auto const numTrainBeforeY = f[station][last];
        if (numTrainBeforeY == INT64_MAX) continue;
        auto const y = changePrefix * last - capacity * numTrainBeforeY;
        assert(y > -capacity);
        assert(y <= maximum);
        if (y < 0) continue;
        if ((station == 0 or h[station - 1][time0 - last] != INT64_MAX) and
            y % capacity + int64_t(time0 - last) * change <= maximum) {
          auto const delta =
              maximum - y % capacity - int64_t(time0 - last) * change;
          assert(delta >= 0);
          auto const y1 =
              std::min(y, y % capacity + delta / capacity * capacity);
          assert((y - y1) % capacity == 0);
          auto const numTrainBeforeY1 = numTrainBeforeY + (y - y1) / capacity;
          assert(y1 + int64_t(time0 - last) * change <= maximum);
          cur = std::min(cur,
                         numTrainBeforeY1 +
                             (station == 0 ? 0 : h[station - 1][time0 - last]));
        }
      }
    }
  }
  std::vector<int64_t> j(time + 1);
  j[0] = 0;
  for (int time0 = 1; time0 <= time; ++time0) {
    j[time0] = h[numStation - 1][time0];
    for (int time1 = 1; time1 <= time0; ++time1) {
      if (f[numStation - 1][time1] != INT64_MAX)
        j[time0] = std::min(
            j[time0], j[time0 - time1] +
                          (changePrefix * time1 + capacity - 1) / capacity);
    }
    assert(j[time0] != INT64_MAX);
  }
  int64_t result = INT64_MAX;
  for (int time0 = 0; time0 <= time; ++time0) {
    auto const numTrainBeforeY = g[numStation - 1][time0];
    if (numTrainBeforeY == INT64_MAX) continue;
    auto const y =
        time0 * changePrefix + startPrefix - numTrainBeforeY * capacity;
    assert(y > -capacity);
    assert(y <= stations.back().maximum);
    if (y >= 0) {
      auto const delta = stations.back().maximum -
                         stations.back().change * int64_t(time - time0) -
                         y % capacity;
      if (delta >= 0) {
        auto const y1 = std::min(y, y % capacity + delta / capacity * capacity);
        assert((y - y1) % capacity == 0);
        auto const numTrainBeforeY1 = numTrainBeforeY + (y - y1) / capacity;
        assert(y1 + int64_t(time - time0) * stations.back().change <=
               stations.back().maximum);
        if (numStation == 1)
          result = std::min(result, numTrainBeforeY1);
        else if (h[numStation - 2][time - time0] != INT64_MAX)
          result = std::min(result,
                            numTrainBeforeY1 + h[numStation - 2][time - time0]);
      }
    }
    result = std::min(
        result, (time0 * changePrefix + startPrefix + capacity - 1) / capacity +
                    j[time - time0]);
  }
  std::cout << result << '\n';
}