#include <bits/stdc++.h>
using namespace std;
int main() {
  long long i, j, n, m, v, tmp;
  while (scanf("%I64d%I64d%I64d", &n, &m, &v) != EOF) {
    if (m < n - 1 || m > (n * n - 3 * n + 4) / 2) {
      puts("-1");
      continue;
    }
    for (i = 1; i <= n; i++)
      if (i != v) printf("%I64d %I64d\n", v, i);
    m -= (n - 1);
    tmp = v - 1;
    if (v == 1) tmp = 2;
    for (i = 1; i <= n && m; i++) {
      if (i != v && i != tmp)
        for (j = i + 1; j <= n && m; j++) {
          if (j != v && j != tmp) {
            printf("%I64d %I64d\n", i, j);
            m--;
          }
        }
    }
  }
  return 0;
}
