Problem: The only difference between easy and hard versions is constraints.

You are given n segments on the coordinate axis OX. Segments can intersect, lie inside each other and even coincide. The i-th segment is [l_i; r_i] (l_i ≤ r_i) and it covers all integer points j such that l_i ≤ j ≤ r_i.

The integer point is called bad if it is covered by strictly more than k segments.

Your task is to remove the minimum number of segments so that there are no bad points at all.

Input

The first line of the input contains two integers n and k (1 ≤ k ≤ n ≤ 2 ⋅ 10^5) — the number of segments and the maximum number of segments by which each integer point can be covered.

The next n lines contain segments. The i-th line contains two integers l_i and r_i (1 ≤ l_i ≤ r_i ≤ 2 ⋅ 10^5) — the endpoints of the i-th segment.

Output

In the first line print one integer m (0 ≤ m ≤ n) — the minimum number of segments you need to remove so that there are no bad points.

In the second line print m distinct integers p_1, p_2, ..., p_m (1 ≤ p_i ≤ n) — indices of segments you remove in any order. If there are multiple answers, you can print any of them.

Examples

Input


7 2
11 11
9 11
7 8
8 9
7 8
9 11
7 9


Output


3
4 6 7 


Input


5 1
29 30
30 30
29 29
28 30
30 30


Output


3
1 4 5 


Input


6 1
2 3
3 3
2 3
2 2
2 3
2 3


Output


4
1 3 5 6 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
vector<int> ord;
const int maxn = 2e5 + 5;
int tree[maxn << 2];
int lazy[maxn << 2];
struct node {
  int l, r;
  int id;
  bool operator<(const node &rhs) const {
    if (r == rhs.r) return l < rhs.l;
    return r < rhs.r;
  }
} a[maxn];
void build(int rt, int l, int r) {
  lazy[rt] = 0;
  tree[rt] = 0;
  if (l == r) return;
  int mid = (l + r) >> 1;
  build(rt << 1, l, mid);
  build(rt << 1 | 1, mid + 1, r);
}
void pushup(int rt) { tree[rt] = max(tree[rt << 1], tree[rt << 1 | 1]); }
void pushdown(int rt) {
  if (lazy[rt] == 0) return;
  tree[rt << 1] += lazy[rt];
  tree[rt << 1 | 1] += lazy[rt];
  lazy[rt << 1] += lazy[rt];
  lazy[rt << 1 | 1] += lazy[rt];
  lazy[rt] = 0;
}
void update(int rt, int l, int r, int begin, int end, int val) {
  if (begin <= l && r <= end) {
    lazy[rt] += val;
    tree[rt] += val;
    return;
  }
  pushdown(rt);
  int mid = (l + r) >> 1;
  if (begin <= mid) update(rt << 1, l, mid, begin, end, val);
  if (mid + 1 <= end) update(rt << 1 | 1, mid + 1, r, begin, end, val);
  pushup(rt);
}
int query(int rt, int l, int r, int begin, int end) {
  if (begin <= l && r <= end) {
    return tree[rt];
  }
  pushdown(rt);
  int mid = (l + r) >> 1;
  int res = 0;
  if (begin <= mid) res = max(res, query(rt << 1, l, mid, begin, end));
  if (mid + 1 <= end)
    res = max(res, query(rt << 1 | 1, mid + 1, r, begin, end));
  return res;
}
int main(void) {
  int n, k;
  scanf("%d%d", &n, &k);
  int N = 0;
  for (int i = 1; i <= n; i++) {
    scanf("%d%d", &a[i].l, &a[i].r);
    a[i].id = i;
    N = max(N, a[i].r);
  }
  sort(a + 1, a + 1 + n);
  build(1, 1, N);
  for (int i = 1; i <= n; i++) {
    int l, r;
    l = a[i].l;
    r = a[i].r;
    int t = query(1, 1, N, l, r);
    if (t < k)
      update(1, 1, N, l, r, 1);
    else if (t == k)
      ord.push_back(a[i].id);
  }
  sort(ord.begin(), ord.end());
  printf("%d\n", ord.size());
  int sz = ord.size();
  for (int i = 0; i <= sz - 1; i++) {
    printf("%d", ord[i]);
    if (i == sz - 1)
      printf("\n");
    else
      printf(" ");
  }
}