#include <fstream>
#include <queue>


using namespace std;

struct node
{
	char type;
	long long val;
	node *parent;
	node(char t='n', long long v = 0, node* p = nullptr) : type(t), val(v), parent(p) {};
};

pair<long long, long long> getCode(node* nod)
{
	long long lung = 0;
	long long cod = 0;
	int pow = 1;
	while (nod->type != 'n')
	{
		++lung;
		if (nod->type == 'r')
			cod += pow;
		pow *= 2;
		nod = nod->parent;

	}
	return make_pair(lung, cod);
}

int main()
{
	ifstream in("huffman.in");
	ofstream out("huffman.out");
	int nodes;
	long long freq;
	long long lg = 0;
	vector<node*> symbol_q;
	queue<node*> internal_q;

	in >> nodes;
	for(int i=0;i<nodes;++i)
	{
		in >> freq;
		symbol_q.push_back(new node('n',freq,nullptr));
	}
	int pos = 0;
	while(pos < nodes || internal_q.size() > 1)
	{
		node *min1, *min2;
		if (pos == nodes)
		{
			min1 = internal_q.front();
			internal_q.pop();
			min2 = internal_q.front();
			internal_q.pop();
			lg += min1->val + min2->val;
		}
		else if(internal_q.empty())
		{
			min1 = symbol_q[pos];
			++pos;
			min2 = symbol_q[pos];
			++pos;
		}
		else
		{
			if (symbol_q[pos]->val <= internal_q.front()->val)
			{
				min1 = symbol_q[pos];
				++pos;
			}
			else
			{
				min1 = internal_q.front();
				internal_q.pop();
				lg += min1->val;
			}
			if (symbol_q[pos]->val <= internal_q.front()->val)
			{
				min2 = symbol_q[pos];
				++pos;
			}
			else
			{
				min2 = internal_q.front();
				internal_q.pop();
				lg += min2->val;
			}

		}

		internal_q.push(new node('n', min1->val + min2->val, nullptr));
		min1->type = 'l';
		min1->parent = internal_q.back();
		min2->type = 'r';
		min2->parent = internal_q.back();

	}
	lg += internal_q.front()->val;
	in.close();
	out << lg<<"\n";
	for(auto symbol : symbol_q)
	{
		auto res = getCode(symbol);
		out << res.first << " " << res.second << "\n";
	}
	
}