#include <bits/stdc++.h>
using namespace std;

/*
 各グループで, 各種類 1 個ずつ位置を確定, 確定しなかった位置 → その種類の倉庫 に辺を張り, 足りない種類の倉庫 → グループの倉庫 → 確定しなかった位置 に辺を張り, できるだけ少ない個数のサイクルに分解する
 ところでこれは有向オイラーグラフなので (強) 連結成分数 個のサイクルに分解可能
 有向オイラーグラフからオイラーパスを取り出す方法: 辺を削除しながら DFS する. 行き止まりになったら 1 段階戻り, オイラーパスの最後の辺を確定. 後ろから順に決まっていく.
 (これは無向のときでした) 計算量を壊さないように current-edge data structure と, erased[辺番号] := その辺が削除されたか のフラグ, 辺に辺番号 が必要
 有向なら pop_back で良いです
 */
int main() {
    cin.tie(0)->sync_with_stdio(0);
    
    int N, M;
    cin >> N >> M;
    const int NM = N * M;
    vector<int> A(NM);
    for(int& a : A) {
        cin >> a;
        a--;
    }
    
    const auto group = [&](int i) { return NM + i; };
    const auto number = [&](int x) { return NM + N + x; };
    vector g(NM + N + M, vector<int>{});
    auto add_edge = [&](int i, int j) {
        g[i].push_back(j);
    };
    
    for(int i = 0; i < N; i++) {
        vector<bool> num(M);
        for(int j = 0; j < M; j++) {
            const int at = i * M + j, x = A[at];
            if(num[x]) {
                add_edge(at, number(x));
                add_edge(group(i), at);
            }
            else num[x] = 1;
        }
        for(int x = 0; x < M; x++) if(!num[x]) add_edge(number(x), group(i));
    }
    
    vector<pair<int, int>> ans;
    A.push_back(-1);
    auto query = [&](int i, int j) {
        assert(A[j] == -1);
        swap(A[i], A[j]);
        ans.emplace_back(i, j);
    };
    
    for(int at = 0; at < NM; at++) if(g[at].size()) {
        vector<int> cycle = {at};
        auto dfs = [&](int at, auto dfs) -> void {
            while(g[at].size()) {
                const int to = g[at].back();
                g[at].pop_back();
                dfs(to, dfs);
                if(at < NM) cycle.push_back(at);
            }
        };
        dfs(at, dfs);
        cycle.pop_back();
        query(at, NM);
        for(int i = 1; i < cycle.size(); i++) query(cycle[i], cycle[i - 1]);
        query(NM, cycle.back());
    }
    
    cout << ans.size() << '\n';
    for(auto [i, j] : ans) cout << i + 1 << ' ' << j + 1 << '\n';
    
    for(int i = 0; i < N; i++) {
        vector<bool> num(M);
        for(int j = 0; j < M; j++) {
            const int at = i * M + j, x = A[at];
            assert(!num[x]);
            num[x] = 1;
        }
    }
}