Problem: One Khanate had a lot of roads and very little wood. Riding along the roads was inconvenient, because the roads did not have road signs indicating the direction to important cities.

The Han decided that it's time to fix the issue, and ordered to put signs on every road. The Minister of Transport has to do that, but he has only k signs. Help the minister to solve his problem, otherwise the poor guy can lose not only his position, but also his head.

More formally, every road in the Khanate is a line on the Oxy plane, given by an equation of the form Ax + By + C = 0 (A and B are not equal to 0 at the same time). You are required to determine whether you can put signs in at most k points so that each road had at least one sign installed.

Input

The input starts with two positive integers n, k (1 ≤ n ≤ 105, 1 ≤ k ≤ 5)

Next n lines contain three integers each, Ai, Bi, Ci, the coefficients of the equation that determines the road (|Ai|, |Bi|, |Ci| ≤ 105, Ai2 + Bi2 ≠ 0).

It is guaranteed that no two roads coincide.

Output

If there is no solution, print "NO" in the single line (without the quotes).

Otherwise, print in the first line "YES" (without the quotes).

In the second line print a single number m (m ≤ k) — the number of used signs. In the next m lines print the descriptions of their locations.

Description of a location of one sign is two integers v, u. If u and v are two distinct integers between 1 and n, we assume that sign is at the point of intersection of roads number v and u. If u = - 1, and v is an integer between 1 and n, then the sign is on the road number v in the point not lying on any other road. In any other case the description of a sign will be assumed invalid and your answer will be considered incorrect. In case if v = u, or if v and u are the numbers of two non-intersecting roads, your answer will also be considered incorrect.

The roads are numbered starting from 1 in the order in which they follow in the input.

Examples

Input

3 1
1 0 0
0 -1 0
7 -93 0


Output

YES
1
1 2


Input

3 1
1 0 0
0 1 0
1 1 3


Output

NO


Input

2 3
3 4 5
5 6 7


Output

YES
2
1 -1
2 -1

Note

Note that you do not have to minimize m, but it shouldn't be more than k.

In the first test all three roads intersect at point (0,0).

In the second test all three roads form a triangle and there is no way to place one sign so that it would stand on all three roads at once.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
#pragma GCC target("sse4")
using namespace std;
constexpr long long mod = 1000000007;
const long long INF = mod * mod;
const double eps = 1e-12;
const double pi = acosl(-1.0);
long long mod_pow(long long x, long long n, long long m = mod) {
  long long res = 1;
  while (n) {
    if (n & 1) res = res * x % m;
    x = x * x % m;
    n >>= 1;
  }
  return res;
}
struct modint {
  long long n;
  modint() : n(0) { ; }
  modint(long long m) : n(m) {
    if (n >= mod)
      n %= mod;
    else if (n < 0)
      n = (n % mod + mod) % mod;
  }
  operator int() { return n; }
};
bool operator==(modint a, modint b) { return a.n == b.n; }
modint operator+=(modint& a, modint b) {
  a.n += b.n;
  if (a.n >= mod) a.n -= mod;
  return a;
}
modint operator-=(modint& a, modint b) {
  a.n -= b.n;
  if (a.n < 0) a.n += mod;
  return a;
}
modint operator*=(modint& a, modint b) {
  a.n = ((long long)a.n * b.n) % mod;
  return a;
}
modint operator+(modint a, modint b) { return a += b; }
modint operator-(modint a, modint b) { return a -= b; }
modint operator*(modint a, modint b) { return a *= b; }
modint operator^(modint a, long long n) {
  if (n == 0) return modint(1);
  modint res = (a * a) ^ (n / 2);
  if (n % 2) res = res * a;
  return res;
}
long long inv(long long a, long long p) {
  return (a == 1 ? 1 : (1 - p * inv(p % a, a)) / a + p);
}
modint operator/(modint a, modint b) { return a * modint(inv(b, mod)); }
const int max_n = 1 << 10;
modint fact[max_n], factinv[max_n];
void init_f() {
  fact[0] = modint(1);
  for (int i = 0; i < max_n - 1; i++) {
    fact[i + 1] = fact[i] * modint(i + 1);
  }
  factinv[max_n - 1] = modint(1) / fact[max_n - 1];
  for (int i = max_n - 2; i >= 0; i--) {
    factinv[i] = factinv[i + 1] * modint(i + 1);
  }
}
modint comb(int a, int b) {
  if (a < 0 || b < 0 || a < b) return 0;
  return fact[a] * factinv[b] * factinv[a - b];
}
long long gcd(long long a, long long b) {
  a = abs(a);
  b = abs(b);
  if (a < b) swap(a, b);
  while (b) {
    long long r = a % b;
    a = b;
    b = r;
  }
  return a;
}
void solve() {
  int n, k;
  cin >> n >> k;
  vector<long long> a(n), b(n), c(n);
  for (int i = 0; i < n; i++) {
    cin >> a[i] >> b[i] >> c[i];
    c[i] *= -1;
  }
  auto isparallel = [&](int i, int j) { return a[i] * b[j] == a[j] * b[i]; };
  auto ist = [&](int i, int j, int k) -> bool {
    if (a[i] == 0) swap(i, k);
    if (a[j] == 0) swap(j, k);
    if (a[k] != 0) {
      long long x1 = b[j] * a[i] * a[k] - b[i] * a[j] * a[k];
      long long y1 = c[j] * a[i] * a[k] - c[i] * a[j] * a[k];
      long long x2 = b[k] * a[i] * a[j] - b[i] * a[j] * a[k];
      long long y2 = c[k] * a[i] * a[j] - c[i] * a[j] * a[k];
      __int128 z1 = __int128(x1) * __int128(y2);
      __int128 z2 = __int128(x2) * __int128(y1);
      return z1 == z2;
    } else {
      long long x1 = b[j] * a[i] - b[i] * a[j];
      long long y1 = c[j] * a[i] - c[i] * a[j];
      long long x2 = b[k];
      long long y2 = c[k];
      __int128 z1 = __int128(x1) * __int128(y2);
      __int128 z2 = __int128(x2) * __int128(y1);
      return z1 == z2;
    }
  };
  mt19937 mt(time(0));
  vector<vector<int>> ans;
  map<vector<int>, bool> chked[6];
  function<bool(vector<int>, int)> can = [&](vector<int> v, int c) -> bool {
    if (c >= v.size()) {
      for (int i = 0; i < v.size(); i++) {
        ans.push_back({v[i]});
      }
      return true;
    }
    if (chked[c][v]) return false;
    chked[c][v] = true;
    int d = (v.size() + c - 1) / c;
    uniform_int_distribution<> ud(0, v.size() - 1);
    for (int aa = 0; aa < 25; aa++) {
      int l = ud(mt), r = ud(mt);
      while (l == r) r = ud(mt);
      if (isparallel(l, r)) continue;
      vector<int> ids;
      vector<int> rests;
      for (int i = 0; i < v.size(); i++) {
        if (i == l || i == r) {
          ids.push_back(v[i]);
        } else {
          if (!isparallel(i, l) && !isparallel(i, r) && ist(v[i], v[l], v[r])) {
            ids.push_back(v[i]);
          } else {
            rests.push_back(v[i]);
          }
        }
      }
      if (ids.size() >= d) {
        if (can(rests, c - 1)) {
          ans.push_back(ids);
          return true;
        }
      }
    }
    return false;
  };
  vector<int> ori(n);
  for (int i = 0; i < n; i++) ori[i] = i;
  if (can(ori, k)) {
    cout << "YES\n";
    cout << ans.size() << "\n";
    for (int i = 0; i < ans.size(); i++) {
      if (ans[i].size() == 1) {
        cout << ans[i][0] + 1 << " " << -1 << "\n";
      } else {
        cout << ans[i][0] + 1 << " " << ans[i][1] + 1 << "\n";
      }
    }
  } else {
    cout << "NO\n";
  }
}
signed main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  solve();
  return 0;
}