/*
* @Author: hungeazy
* @Date: 2026-02-28 14:02:04
* @Last Modified by: hungeazy
* @Last Modified time: 2026-02-28 14:42:40
*/
#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
// #pragma GCC optimize("O3")
// #pragma GCC optimize("unroll-loops")
// #pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
using namespace std;
using namespace __gnu_pbds;
bool M1;
#define fast ios_base::sync_with_stdio(false); cin.tie(NULL); cout.tie(NULL);
#define int long long
#define ll long long
#define ull unsigned long long
#define sz(x) x.size()
#define sqr(x) (1LL * (x) * (x))
#define all(x) x.begin(), x.end()
#define fill(f,x) memset(f,x,sizeof(f))
#define FOR(i,l,r) for(int i=l;i<=r;i++)
#define FOD(i,r,l) for(int i=r;i>=l;i--)
#define debug(x) cout << #x << " = " << x << '\n'
#define ii pair<int,int>
#define iii pair<int,ii>
#define di pair<ii,ii>
#define vi vector<int>
#define vii vector<ii>
#define mii map<int,int>
#define fi first
#define se second
#define pb push_back
#define MOD 1000000007
#define __lcm(a,b) (1ll * ((a) / __gcd((a), (b))) * (b))
#define YES cout << "YES\n"
#define NO cout << "NO\n"
#define MASK(i) (1LL << (i))
#define c_bit(i) __builtin_popcountll(i)
#define BIT(x,i) ((x) & MASK(i))
#define SET_ON(x,i) ((x) | MASK(i))
#define SET_OFF(x,i) ((x) & ~MASK(i))
#define oo 1e18
#define name "HOAN_VI_DEP"
#define endl '\n'
#define memory() cerr << abs(&M2-&M1)/1024.0/1024 << " MB" << endl
#define time() cerr << endl << "-------------Time:" << 1000.0 * clock() / CLOCKS_PER_SEC << "ms." << endl
template<typename T> bool maximize(T &res, const T &val) { if (res < val){ res = val; return true; }; return false; }
template<typename T> bool minimize(T &res, const T &val) { if (res > val){ res = val; return true; }; return false; }
template <class T> using ordered_set = tree <T, null_type, less_equal <T>, rb_tree_tag,tree_order_statistics_node_update>;
int n,m,k;
namespace sub1 {
bool approved() {
return n <= 10 and k <= 1e5;
}
void solve(void)
{
vi perm, ans, first;
FOR(i,1,n) perm.pb(i);
int dem = 0;
bool check = false;
do {
int cnt = 0;
FOR(i,0,n-1)
FOR(j,i+1,n-1)
cnt += (perm[i] > perm[j]);
dem += (cnt == m);
if (dem == k)
{
ans = perm;
check = true;
break;
}
} while (next_permutation(all(perm)));
if (!check)
{
cout << -1;
return;
}
vii vec;
FOR(i,0,n-1)
if (ans[i] != i+1) vec.pb({i+1,ans[i]});
cout << sz(vec) << endl;
for (auto [x,y] : vec) cout << x << " " << y << endl;
}
}
namespace sub2 {
const int N = (int)1e3+10, M = 210;
int dp[N][M],pre[M],ans[N];
bool approved() {
return n <= 1e3 and k <= 1e9;
}
void solve(void)
{
int mxInv = n*(n-1)/2;
if (m > mxInv)
{
cout << -1;
return;
}
dp[0][0] = 1;
FOR(i,1,n)
{
FOR(j,1,m) pre[j] = 0;
pre[0] = dp[i-1][0];
FOR(j,1,m) pre[j] = min((int)oo,pre[j-1]+dp[i-1][j]);
FOR(j,0,m)
{
int val = pre[j];
if (j-i >= 0) val -= pre[j-i];
if (val < 0) val = 0;
dp[i][j] = min((int)oo,val);
}
}
if (dp[n][m] < k)
{
cout << -1;
return;
}
vi perm(n);
iota(all(perm),1);
int cur = m, len = n;
FOR(pos,1,n)
FOR(r,1,len)
{
int cost = r-1;
if (cost > cur) break;
int cnt = dp[len-1][cur-cost];
if (cnt >= k)
{
ans[pos] = perm[r-1];
perm.erase(perm.begin()+(r-1));
cur -= cost;
len--;
break;
}
else k -= cnt;
}
vii vec;
FOR(i,1,n)
if (ans[i] != i) vec.pb({i,ans[i]});
cout << sz(vec) << endl;
for (auto [x,y] : vec) cout << x << " " << y << endl;
}
}
bool M2;
signed main()
{
fast;
if (fopen(name".inp","r"))
{
freopen(name".inp","r",stdin);
freopen(name".out","w",stdout);
}
cin >> n >> m >> k;
if (sub1::approved()) return sub1::solve(), time(), memory(), 0;
if (sub2::approved()) return sub2::solve(), time(), memory(), 0;
time();
memory();
return 0;
}
// ██░ ██ █ ██ ███▄ █ ▄████
//▓██░ ██▒ ██ ▓██▒ ██ ▀█ █ ██▒ ▀█▒
//▒██▀▀██░▓██ ▒██░▓██ ▀█ ██▒▒██░▄▄▄░
//░▓█ ░██ ▓▓█ ░██░▓██▒ ▐▌██▒░▓█ ██▓
//░▓█▒░██▓▒▒█████▓ ▒██░ ▓██░░▒▓███▀▒
// ▒ ░░▒░▒░▒▓▒ ▒ ▒ ░ ▒░ ▒ ▒ ░▒ ▒
// ▒ ░▒░ ░░░▒░ ░ ░ ░ ░░ ░ ▒░ ░ ░
// ░ ░░ ░ ░░░ ░ ░ ░ ░ ░ ░ ░ ░
// ░ ░ ░ ░ ░ ░
LyoKKiBAQXV0aG9yOiBodW5nZWF6eQoqIEBEYXRlOiAgIDIwMjYtMDItMjggMTQ6MDI6MDQKKiBATGFzdCBNb2RpZmllZCBieTogICBodW5nZWF6eQoqIEBMYXN0IE1vZGlmaWVkIHRpbWU6IDIwMjYtMDItMjggMTQ6NDI6NDAKKi8KI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNpbmNsdWRlIDxleHQvcGJfZHMvYXNzb2NfY29udGFpbmVyLmhwcD4gCiNpbmNsdWRlIDxleHQvcGJfZHMvdHJlZV9wb2xpY3kuaHBwPiAKLy8gI3ByYWdtYSBHQ0Mgb3B0aW1pemUoIk8zIikgIAovLyAjcHJhZ21hIEdDQyBvcHRpbWl6ZSgidW5yb2xsLWxvb3BzIikgIAovLyAjcHJhZ21hIEdDQyB0YXJnZXQoImF2eDIsYm1pLGJtaTIscG9wY250LGx6Y250IikgIAp1c2luZyBuYW1lc3BhY2Ugc3RkOwp1c2luZyBuYW1lc3BhY2UgX19nbnVfcGJkczsgCmJvb2wgTTE7CiNkZWZpbmUgZmFzdCBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsgY2luLnRpZShOVUxMKTsgY291dC50aWUoTlVMTCk7CiNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGxsIGxvbmcgbG9uZyAKI2RlZmluZSB1bGwgdW5zaWduZWQgbG9uZyBsb25nCiNkZWZpbmUgc3ooeCkgeC5zaXplKCkKI2RlZmluZSBzcXIoeCkgKDFMTCAqICh4KSAqICh4KSkKI2RlZmluZSBhbGwoeCkgeC5iZWdpbigpLCB4LmVuZCgpCiNkZWZpbmUgZmlsbChmLHgpIG1lbXNldChmLHgsc2l6ZW9mKGYpKQojZGVmaW5lIEZPUihpLGwscikgZm9yKGludCBpPWw7aTw9cjtpKyspCiNkZWZpbmUgRk9EKGkscixsKSBmb3IoaW50IGk9cjtpPj1sO2ktLSkKI2RlZmluZSBkZWJ1Zyh4KSBjb3V0IDw8ICN4IDw8ICIgPSAiIDw8IHggPDwgJ1xuJwojZGVmaW5lIGlpIHBhaXI8aW50LGludD4KI2RlZmluZSBpaWkgcGFpcjxpbnQsaWk+CiNkZWZpbmUgZGkgcGFpcjxpaSxpaT4KI2RlZmluZSB2aSB2ZWN0b3I8aW50PgojZGVmaW5lIHZpaSB2ZWN0b3I8aWk+CiNkZWZpbmUgbWlpIG1hcDxpbnQsaW50PgojZGVmaW5lIGZpIGZpcnN0CiNkZWZpbmUgc2Ugc2Vjb25kCiNkZWZpbmUgcGIgcHVzaF9iYWNrCiNkZWZpbmUgTU9EIDEwMDAwMDAwMDcKI2RlZmluZSBfX2xjbShhLGIpICgxbGwgKiAoKGEpIC8gX19nY2QoKGEpLCAoYikpKSAqIChiKSkKI2RlZmluZSBZRVMgY291dCA8PCAiWUVTXG4iCiNkZWZpbmUgTk8gY291dCA8PCAiTk9cbiIKI2RlZmluZSBNQVNLKGkpICgxTEwgPDwgKGkpKQojZGVmaW5lIGNfYml0KGkpIF9fYnVpbHRpbl9wb3Bjb3VudGxsKGkpCiNkZWZpbmUgQklUKHgsaSkgKCh4KSAmIE1BU0soaSkpCiNkZWZpbmUgU0VUX09OKHgsaSkgKCh4KSB8IE1BU0soaSkpCiNkZWZpbmUgU0VUX09GRih4LGkpICgoeCkgJiB+TUFTSyhpKSkKI2RlZmluZSBvbyAxZTE4CiNkZWZpbmUgbmFtZSAiSE9BTl9WSV9ERVAiCiNkZWZpbmUgZW5kbCAnXG4nCiNkZWZpbmUgbWVtb3J5KCkgY2VyciA8PCBhYnMoJk0yLSZNMSkvMTAyNC4wLzEwMjQgPDwgIiBNQiIgPDwgZW5kbAojZGVmaW5lIHRpbWUoKSBjZXJyIDw8IGVuZGwgPDwgIi0tLS0tLS0tLS0tLS1UaW1lOiIgPDwgMTAwMC4wICogY2xvY2soKSAvIENMT0NLU19QRVJfU0VDIDw8ICJtcy4iIDw8IGVuZGwKdGVtcGxhdGU8dHlwZW5hbWUgVD4gYm9vbCBtYXhpbWl6ZShUICZyZXMsIGNvbnN0IFQgJnZhbCkgeyBpZiAocmVzIDwgdmFsKXsgcmVzID0gdmFsOyByZXR1cm4gdHJ1ZTsgfTsgcmV0dXJuIGZhbHNlOyB9CnRlbXBsYXRlPHR5cGVuYW1lIFQ+IGJvb2wgbWluaW1pemUoVCAmcmVzLCBjb25zdCBUICZ2YWwpIHsgaWYgKHJlcyA+IHZhbCl7IHJlcyA9IHZhbDsgcmV0dXJuIHRydWU7IH07IHJldHVybiBmYWxzZTsgfQp0ZW1wbGF0ZSA8Y2xhc3MgVD4gdXNpbmcgb3JkZXJlZF9zZXQgPSB0cmVlIDxULCBudWxsX3R5cGUsIGxlc3NfZXF1YWwgPFQ+LCByYl90cmVlX3RhZyx0cmVlX29yZGVyX3N0YXRpc3RpY3Nfbm9kZV91cGRhdGU+OwppbnQgbixtLGs7CgpuYW1lc3BhY2Ugc3ViMSB7CgoJYm9vbCBhcHByb3ZlZCgpIHsKCQlyZXR1cm4gbiA8PSAxMCBhbmQgayA8PSAxZTU7Cgl9CgoJdm9pZCBzb2x2ZSh2b2lkKQoJewoJCXZpIHBlcm0sIGFucywgZmlyc3Q7CgkJRk9SKGksMSxuKSBwZXJtLnBiKGkpOwoJCWludCBkZW0gPSAwOwoJCWJvb2wgY2hlY2sgPSBmYWxzZTsKCQlkbyB7CgkJCWludCBjbnQgPSAwOwoJCQlGT1IoaSwwLG4tMSkKCQkJCUZPUihqLGkrMSxuLTEpCgkJCQkJY250ICs9IChwZXJtW2ldID4gcGVybVtqXSk7CgkJCWRlbSArPSAoY250ID09IG0pOwoJCQlpZiAoZGVtID09IGspCgkJCXsKCQkJCWFucyA9IHBlcm07CgkJCQljaGVjayA9IHRydWU7CgkJCQlicmVhazsKCQkJfQoJCX0gd2hpbGUgKG5leHRfcGVybXV0YXRpb24oYWxsKHBlcm0pKSk7CgkJaWYgKCFjaGVjaykKCQl7CgkJCWNvdXQgPDwgLTE7CgkJCXJldHVybjsKCQl9CgkJdmlpIHZlYzsKCQlGT1IoaSwwLG4tMSkgCgkJCWlmIChhbnNbaV0gIT0gaSsxKSB2ZWMucGIoe2krMSxhbnNbaV19KTsKCQljb3V0IDw8IHN6KHZlYykgPDwgZW5kbDsKCQlmb3IgKGF1dG8gW3gseV0gOiB2ZWMpIGNvdXQgPDwgeCA8PCAiICIgPDwgeSA8PCBlbmRsOwoJfQoJCn0KCm5hbWVzcGFjZSBzdWIyIHsKCgljb25zdCBpbnQgTiA9IChpbnQpMWUzKzEwLCBNID0gMjEwOwoJaW50IGRwW05dW01dLHByZVtNXSxhbnNbTl07CgoJYm9vbCBhcHByb3ZlZCgpIHsKCQlyZXR1cm4gbiA8PSAxZTMgYW5kIGsgPD0gMWU5OwoJfQoKCXZvaWQgc29sdmUodm9pZCkKCXsKCQlpbnQgbXhJbnYgPSBuKihuLTEpLzI7CgkJaWYgKG0gPiBteEludikKCQl7CgkJCWNvdXQgPDwgLTE7CgkJCXJldHVybjsKCQl9CgkJZHBbMF1bMF0gPSAxOwoJCUZPUihpLDEsbikKCQl7CgkJCUZPUihqLDEsbSkgcHJlW2pdID0gMDsKCQkJcHJlWzBdID0gZHBbaS0xXVswXTsKCQkJRk9SKGosMSxtKSBwcmVbal0gPSBtaW4oKGludClvbyxwcmVbai0xXStkcFtpLTFdW2pdKTsKCQkJRk9SKGosMCxtKQoJCQl7CgkJCQlpbnQgdmFsID0gcHJlW2pdOwoJCQkJaWYgKGotaSA+PSAwKSB2YWwgLT0gcHJlW2otaV07CgkJCQlpZiAodmFsIDwgMCkgdmFsID0gMDsKCQkJCWRwW2ldW2pdID0gbWluKChpbnQpb28sdmFsKTsKCQkJfQoJCX0KCQlpZiAoZHBbbl1bbV0gPCBrKQoJCXsKCQkJY291dCA8PCAtMTsKCQkJcmV0dXJuOwoJCX0KCQl2aSBwZXJtKG4pOwoJCWlvdGEoYWxsKHBlcm0pLDEpOwoJCWludCBjdXIgPSBtLCBsZW4gPSBuOwoJCUZPUihwb3MsMSxuKQoJCQlGT1IociwxLGxlbikKCQkJewoJCQkJaW50IGNvc3QgPSByLTE7CgkJCQlpZiAoY29zdCA+IGN1cikgYnJlYWs7CgkJCQlpbnQgY250ID0gZHBbbGVuLTFdW2N1ci1jb3N0XTsKCQkJCWlmIChjbnQgPj0gaykKCQkJCXsKCQkJCQlhbnNbcG9zXSA9IHBlcm1bci0xXTsKCQkJCQlwZXJtLmVyYXNlKHBlcm0uYmVnaW4oKSsoci0xKSk7CgkJCQkJY3VyIC09IGNvc3Q7CgkJCQkJbGVuLS07CgkJCQkJYnJlYWs7CgkJCQl9CgkJCQllbHNlIGsgLT0gY250OwoJCQl9CgkJdmlpIHZlYzsKCQlGT1IoaSwxLG4pCgkJCWlmIChhbnNbaV0gIT0gaSkgdmVjLnBiKHtpLGFuc1tpXX0pOwoJCWNvdXQgPDwgc3oodmVjKSA8PCBlbmRsOwoJCWZvciAoYXV0byBbeCx5XSA6IHZlYykgY291dCA8PCB4IDw8ICIgIiA8PCB5IDw8IGVuZGw7Cgl9Cgp9Cgpib29sIE0yOwpzaWduZWQgbWFpbigpCnsKICAgIGZhc3Q7CiAgICBpZiAoZm9wZW4obmFtZSIuaW5wIiwiciIpKQogICAgewogICAgCWZyZW9wZW4obmFtZSIuaW5wIiwiciIsc3RkaW4pOwogICAgCWZyZW9wZW4obmFtZSIub3V0IiwidyIsc3Rkb3V0KTsKICAgIH0KICAgIGNpbiA+PiBuID4+IG0gPj4gazsKICAgIGlmIChzdWIxOjphcHByb3ZlZCgpKSByZXR1cm4gc3ViMTo6c29sdmUoKSwgdGltZSgpLCBtZW1vcnkoKSwgMDsKICAgIGlmIChzdWIyOjphcHByb3ZlZCgpKSByZXR1cm4gc3ViMjo6c29sdmUoKSwgdGltZSgpLCBtZW1vcnkoKSwgMDsKICAgIHRpbWUoKTsKICAgIG1lbW9yeSgpOwogICAgcmV0dXJuIDA7Cn0KLy8g4paI4paI4paRIOKWiOKWiCAg4paIICAgIOKWiOKWiCAg4paI4paI4paI4paEICAgIOKWiCAgIOKWhOKWiOKWiOKWiOKWiAovL+KWk+KWiOKWiOKWkSDilojilojilpIg4paI4paIICDilpPilojilojilpIg4paI4paIIOKWgOKWiCAgIOKWiCAg4paI4paI4paSIOKWgOKWiOKWkgovL+KWkuKWiOKWiOKWgOKWgOKWiOKWiOKWkeKWk+KWiOKWiCAg4paS4paI4paI4paR4paT4paI4paIICDiloDilogg4paI4paI4paS4paS4paI4paI4paR4paE4paE4paE4paRCi8v4paR4paT4paIIOKWkeKWiOKWiCDilpPilpPiloggIOKWkeKWiOKWiOKWkeKWk+KWiOKWiOKWkiAg4paQ4paM4paI4paI4paS4paR4paT4paIICDilojilojilpMKLy/ilpHilpPilojilpLilpHilojilojilpPilpLilpLilojilojilojilojilojilpMg4paS4paI4paI4paRICAg4paT4paI4paI4paR4paR4paS4paT4paI4paI4paI4paA4paSCi8vIOKWkiDilpHilpHilpLilpHilpLilpHilpLilpPilpIg4paSIOKWkiDilpEg4paS4paRICAg4paSIOKWkiAg4paR4paSICAg4paSCi8vIOKWkiDilpHilpLilpEg4paR4paR4paR4paS4paRIOKWkSDilpEg4paRIOKWkeKWkSAgIOKWkSDilpLilpEgIOKWkSAgIOKWkQovLyDilpEgIOKWkeKWkSDilpEg4paR4paR4paRIOKWkSDilpEgICAg4paRICAg4paRIOKWkSDilpEg4paRICAg4paRCi8vIOKWkSAg4paRICDilpEgICDilpEgICAgICAgICAgICAgIOKWkSAgICAgICDilpE=