Problem: The Dogeforces company has k employees. Each employee, except for lower-level employees, has at least 2 subordinates. Lower-level employees have no subordinates. Each employee, except for the head of the company, has exactly one direct supervisor. The head of the company is a direct or indirect supervisor of all employees. It is known that in Dogeforces, each supervisor receives a salary strictly more than all his subordinates.

The full structure of the company is a secret, but you know the number of lower-level employees and for each pair of lower-level employees, the salary of their common supervisor is known (if there are several such supervisors, then the supervisor with the minimum salary). You have to restore the structure of the company.

Input

The first line contains a single integer n (2 ≤ n ≤ 500) — the number of lower-level employees.

This is followed by n lines, where i-th line contains n integers a_{i,1}, a_{i,2}, ..., a_{i,n} (1 ≤ a_{i,j} ≤ 5000) — salary of the common supervisor of employees with numbers i and j. It is guaranteed that a_{i,j} = a_{j,i}. Note that a_{i,i} is equal to the salary of the i-th employee.

Output

In the first line, print a single integer k — the number of employees in the company.

In the second line, print k integers c_1, c_2, ..., c_k, where c_i is the salary of the employee with the number i.

In the third line, print a single integer r — the number of the employee who is the head of the company.

In the following k-1 lines, print two integers v and u (1 ≤ v, u ≤ k) — the number of the employee and his direct supervisor.

Note that the lower-level employees have numbers from 1 to n, and for the rest of the employees, you have to assign numbers from n+1 to k. If there are several correct company structures, you can print any of them.

Example

Input


3
2 5 7
5 1 7
7 7 4


Output


5
2 1 4 7 5 
4
1 5
2 5
5 4
3 4

Note

One of the possible structures in the first example: <image>

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#define forr(i,a,b) for(int i=(a);i<(b);i++)
#define forn(i,n) forr(i,0,n)
#define dforn(i,n) for(int i=n-1;i>=0;i--)
#define forall(it,v) for(auto it=v.begin();it!=v.end();it++)
#define sz(c) ((int)c.size())
#define rsz resize
#define pb push_back
#define mp make_pair
#define lb lower_bound
#define ub upper_bound
#define fst first
#define snd second

#ifdef ANARAP
#else
#endif

using namespace std;

typedef long long ll;
typedef pair<int,int> ii;

int main()
{
	#ifdef ANARAP
		freopen("input.in", "r", stdin);
		//freopen("output.out", "w", stdout);
	#endif
	ios::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);
	int n;
	cin >> n;
	vector<vector<int>> vv(n, vector<int>(n));
	map<int, set<int>> g;
	int nxtid = n;
	vector<int> rowId(n);
	forn(i,n) rowId[i] = i;
	const int INF = 1000100;
	map<int, vector<ii>> m;
	map<int,int> salaryOf;
	forn(i,n)forn(j,n)
	{
		cin >> vv[i][j];
		if(i <= j) m[vv[i][j]].pb(mp(i,j));
	}
	while(!m.empty())
	{
		int r = -1, c = -1;
		bool done = false;
		while(!m.empty() && !done)
		{
			while(!m.empty() && (m.begin()->snd.empty())) m.erase(m.begin());
			if(m.empty()) break;
			r = m.begin()->snd.back().fst;
			c = m.begin()->snd.back().snd;
			m.begin()->snd.pop_back();
			if(vv[r][c] != INF) done = true;
		}
		if(m.empty()) break;
		assert(done);
		assert(r != -1);
		if(r == c)
		{
			salaryOf[r] = vv[r][c];
			vv[r][c] = INF;
			continue;
		}
		int newnode = nxtid++;
		salaryOf[newnode] = vv[r][c];
		set<int> auxnodes;
		assert(r < c);
		forn(k,n) if(vv[r][k] == vv[r][c] || vv[k][c] == vv[r][c]) auxnodes.insert(k);
		forall(it,auxnodes)
		{
			g[newnode].insert(rowId[*it]);
			rowId[*it] = newnode;
		}
		forall(i,auxnodes)forall(j,auxnodes) if(i!=j)
		{
			assert(vv[*i][*j] == salaryOf[newnode] || vv[*i][*j] == INF);
			vv[*i][*j] = vv[*j][*i] = INF;
		}
	}
	cout << nxtid << '\n';
	assert(sz(salaryOf) == nxtid);
	forall(it, salaryOf) cout << it->snd << ' ';
	cout << '\n' << nxtid << '\n';
	forall(it, g) forall(it2, it->snd) cout << *it2+1 << ' ' << it->fst+1 << '\n';
	return 0;
}