Problem: Vasya participates in a ski race along the X axis. The start is at point 0, and the finish is at L, that is, at a distance L meters from the start in the positive direction of the axis. Vasya has been training so hard that he can run one meter in exactly one second.

Besides, there are n take-off ramps on the track, each ramp is characterized by four numbers: 

  * xi represents the ramp's coordinate 
  * di represents from how many meters Vasya will land if he goes down this ramp 
  * ti represents the flight time in seconds 
  * pi is the number, indicating for how many meters Vasya should gather speed to get ready and fly off the ramp. As Vasya gathers speed, he should ski on the snow (that is, he should not be flying), but his speed still equals one meter per second. 



Vasya is allowed to move in any direction on the X axis, but he is prohibited to cross the start line, that is go to the negative semiaxis. Vasya himself chooses which take-off ramps he will use and in what order, that is, he is not obliged to take off from all the ramps he encounters. Specifically, Vasya can skip the ramp. It is guaranteed that xi + di ≤ L, that is, Vasya cannot cross the finish line in flight.

Vasya can jump from the ramp only in the positive direction of X axis. More formally, when using the i-th ramp, Vasya starts gathering speed at point xi - pi, jumps at point xi, and lands at point xi + di. He cannot use the ramp in opposite direction.

Your task is to find the minimum time that Vasya will spend to cover the distance.

Input

The first line contains two integers n and L (0 ≤ n ≤ 105, 1 ≤ L ≤ 109). Then n lines contain the descriptions of the ramps, each description is on a single line. Each description is a group of four non-negative integers xi, di, ti, pi (0 ≤ xi ≤ L, 1 ≤ di, ti, pi ≤ 109, xi + di ≤ L).

Output

Print in the first line the minimum time in seconds Vasya needs to complete the track. Print in the second line k — the number of take-off ramps that Vasya needs to use, and print on the third line of output k numbers the number the take-off ramps Vasya used in the order in which he used them. Print each number exactly once, separate the numbers with a space. The ramps are numbered starting from 1 in the order in which they are given in the input.

Examples

Input

2 20
5 10 5 5
4 16 1 7


Output

15
1
1 

Input

2 20
9 8 12 6
15 5 1 1


Output

16
1
2 

Note

In the first sample, Vasya cannot use ramp 2, because then he will need to gather speed starting from point -3, which is not permitted by the statement. The optimal option is using ramp 1, the resulting time is: moving to the point of gathering speed + gathering speed until reaching the takeoff ramp + flight time + moving to the finish line = 0 + 5 + 5 + 5 = 15.

In the second sample using ramp 1 is not optimal for Vasya as t1 > d1. The optimal option is using ramp 2, the resulting time is: moving to the point of gathering speed + gathering speed until reaching the takeoff ramp + flight time + moving to the finish line = 14 + 1 + 1 + 0 = 16.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast,unroll-loops,no-stack-protector")
using namespace std;
using lli = long long;
using ld = long double;
using ii = pair<lli, int>;
using vi = vector<int>;
const int N = 1e5 + 5;
const lli inf = 1e15 + 7;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
struct Seg {
  int l, r;
  lli a, b;
  int pa, push_back;
  Seg *ls, *rs;
  Seg(int l, int r) : l(l), r(r), ls(0), rs(0) {
    if (l == r) {
      a = b = inf;
      pa = push_back = l;
      return;
    }
    int m = (l + r) >> 1;
    ls = new Seg(l, m);
    rs = new Seg(m + 1, r);
    pull();
  }
  void pull() {
    a = min(ls->a, rs->a);
    b = min(ls->b, rs->b);
    pa = (ls->a == a ? ls->pa : rs->pa);
    push_back = (ls->b == b ? ls->push_back : rs->push_back);
  }
  void update(int p, lli v, bool t) {
    if (l == r) {
      if (t)
        a = v;
      else
        b = v;
      return;
    }
    int m = (l + r) >> 1;
    if (p <= m)
      ls->update(p, v, t);
    else
      rs->update(p, v, t);
    pull();
  }
  ii qmin(int ll, int rr, bool t) {
    if (rr < l || r < ll || rr < ll) return make_pair(inf, -1);
    if (ll <= l && r <= rr) {
      if (t) {
        return make_pair(a, pa);
      } else {
        return make_pair(b, push_back);
      }
    }
    return min(ls->qmin(ll, rr, t), rs->qmin(ll, rr, t));
  }
};
struct Ramp {
  lli l, r, time;
  int idx;
  friend ostream &operator<<(ostream &os, const Ramp &a) {
    return os << "(" << a.l << ' ' << a.r << ' ' << a.time << ")";
  }
};
Ramp ramps[N];
bool leq(int k, int l) { return ramps[k].r <= l; }
int first(int i, int l) {
  int lo = 0, hi = i - 1;
  while (lo < hi - 1) {
    int mid = (lo + hi) >> 1;
    if (leq(mid, l))
      lo = mid;
    else
      hi = mid - 1;
  }
  return (leq(hi, l) ? hi : lo);
}
lli mn[N];
lli pre[N];
Seg *tree;
void run_case() {
  int n;
  lli L;
  cin >> n >> L;
  int K = 0;
  for (auto i = (1) - ((1) > (n + 1)); i != n + 1 - ((1) > (n + 1));
       i += 1 - 2 * ((1) > (n + 1))) {
    lli x, d, t, p;
    cin >> x >> d >> t >> p;
    if (x - p >= 0) {
      ramps[++K] = {x - p, x + d, t + p, i};
    }
  }
  sort(ramps + 1, ramps + K + 1, [&](Ramp a, Ramp b) { return a.r < b.r; });
  ;
  tree = new Seg(0, N);
  ramps[K + 1] = Ramp{L, L, 0, -1};
  fill(begin(pre), end(pre), -1);
  fill(begin(mn), end(mn), L);
  for (auto i = (1) - ((1) > (K + 2)); i != K + 2 - ((1) > (K + 2));
       i += 1 - 2 * ((1) > (K + 2))) {
    auto [l, r, timer, wtf] = ramps[i];
    mn[i] = l;
    pre[i] = -1;
    int k = first(i, l);
    auto [op0, place0] = tree->qmin(1, k, 0);
    auto [op1, place1] = tree->qmin(k + 1, i - 1, 1);
    ;
    op0 += l;
    op1 -= l;
    if (op0 < mn[i]) {
      mn[i] = op0;
      pre[i] = place0;
    }
    if (op1 < mn[i]) {
      mn[i] = op1;
      pre[i] = place1;
    };
    ;
    ;
    ;
    ;
    tree->update(i, mn[i] + timer - r, 0);
    tree->update(i, mn[i] + timer + r, 1);
  };
  vi ans;
  int idx = pre[K + 1];
  lli res = 0;
  int last = L;
  while (idx != -1) {
    res += abs(ramps[idx].r - last) + ramps[idx].time;
    last = ramps[idx].l;
    ans.emplace_back(ramps[idx].idx);
    idx = pre[idx];
  }
  reverse(begin(ans), end(ans));
  res += last;
  ;
  if (mn[K + 1] != res) {
    cout << mn[K + 1] << ' ' << res << '\n';
    exit(0);
  }
  assert(mn[K + 1] == res);
  assert(1 <= mn[K + 1] && mn[K + 1] <= L);
  cout << mn[K + 1] << '\n';
  cout << (int)(ans.size()) << '\n';
  for (int idx : ans) {
    assert(1 <= idx && idx <= n);
    cout << idx;
    if (idx != ans.back()) cout << ' ';
  }
  if (!ans.empty()) cout << '\n';
}
int main() {
  cin.tie(0)->sync_with_stdio(0), cout.tie(0);
  int t = 1;
  while (t--) {
    run_case();
  }
  return 0;
}