#include <stdio.h>
#include <tchar.h>
#include <iostream>
#include <fstream>
using namespace std;

int tmain(int argc, char* argv[])
{
	
	ifstream inFile("vstup.txt");
	ofstream outFile("vystup.txt");
	if (inFile.is_open() && outFile.is_open()) {
		while(!inFile.eof()){
			int n,m,init,*end=NULL,i=0;
			int **states;
			char line[1000];
			inFile >> n >> m >> init;
			inFile.getline(line,1000);
			inFile.getline(line,1000);
			//nacitanie koncovych satavov
			char *pch;
			pch = strtok (line," ");
			while (pch != NULL){
				int tmp;
				sscanf(pch,"%d",&tmp);
				i++;
				end = (int*)realloc(end,i*sizeof(int));
				end[i-1]=tmp;
				pch = strtok (NULL, " ");
			}
			//nacitanie prechodov
			states = (int**)malloc(sizeof(int*)*n);
			for(int j=0;j<n;j++){
				states[j] =(int*)malloc(sizeof(int)*m);
				for(int k=0;k<m;k++){
					inFile >> states[j][k];
				}
		}
		
		//medzi kazdy prechod sa prida dalsi do medzistavu z ktoreho
		//pod tym istim pismenom sa dostavame do cieloveho podla povodneho automatu, inak slovo nepatri do jazyka
		int fn = n + m*n + 1;
		int **fstates;
		fstates = (int**)malloc(sizeof(int*)*fn);
		for(int j=0;j<n;j++){
			fstates[j] = (int*)malloc(sizeof(int)*m);
			for(int k=0;k<m;k++){
				fstates[n+(j*m)+k] = (int*)malloc(sizeof(int)*m);
				for(int kx=0;kx<m;kx++) fstates[n+(j*m)+k][kx] = fn;
				fstates[j][k] = n+(j*m)+k+1;
				fstates[n+(j*m)+k][k] = states[j][k];
			}
		}
		fstates[fn-1] = (int*)malloc(sizeof(int)*m);
		for(int kx=0;kx<m;kx++) fstates[fn-1][kx] = fn;
			outFile << fn << endl;
			outFile << m << endl;
			outFile << init << endl;
			for(int j = 0; j<i-1;j++){
				outFile << end[j] << " ";
			}
			outFile << end[i-1] << endl;
			for(int j = 0; j<fn-1;j++){
				for(int k=0;k<m-1;k++){
					outFile << fstates[j][k] << " ";
				}
				outFile << fstates[j][m-1] << endl;
			}
			for(int k=0;k<m-1;k++){
					outFile << fstates[fn-1][k] << " ";
				}
			outFile << fstates[fn-1][m-1];

			//dealokacia pamate
			free(end);
			for(int j=0;j<n;j++){
				free(states[j]);
			}
			free(states);
			for(int j=0;j<fn;j++){
				free(fstates[j]);
			}
			free(fstates);

			//overenie ci sa v subore nachadzaju dalsie automaty
			bool konec = true;
			while(!inFile.eof() && konec){
				int pos = inFile.tellg();
				inFile.getline(line,1000);
				if(strcmp(line,"")){
					inFile.seekg(pos,ios::beg);
					konec=false;
					outFile << endl << endl;
				}
			}
		}
	}else{
		cout << "Chyba pri otvarani suboru." << endl;
		return 1;
	}
	inFile.close();
	outFile.close();
	return 0;
}