#include <bits/stdc++.h>
using namespace std;
int main() {
  long long int n, m, v, in = 1;
  vector<long long int> p;
  scanf("%lld%lld%lld", &n, &m, &v);
  if (m > n - 1 + (n - 2) * (n - 3) / 2 || m < n - 1)
    puts("-1");
  else {
    for (long long int i = 1; i <= n && m; ++i)
      if (i != v) printf("%lld %lld\n", i, v), m--;
    for (long long int i = 1; i <= n; ++i) p.push_back(i);
    p.erase(p.begin() + v - 1);
    p.pop_back();
    for (long long int i = 0, ii = p.size(); i < ii && m; ++i)
      for (long long int j = i + 1; j < ii && m; ++j)
        printf("%lld %lld\n", p[i], p[j]), --m;
  }
}
