#include <iostream>
#include <random>

using namespace std;

int main(int argc, char* argv[]) {
    int n = atoi(argv[1]);
    int m = atoi(argv[2]);
    int seed = atoi(argv[3]);

    std::mt19937 rng(seed); // Mersenne Twister engine

    std::uniform_int_distribution<int> vertices(1, n);

    cout << n << " " << m << "\n";

    for (int i = 0; i < m; ++i) {
        int a = vertices(rng);
        int b = vertices(rng);
        while (a == b) {
            b = vertices(rng);
        }
        cout << a << " " << b << "\n";
    }

    return 0;
}