#include <stdio.h>
#define MAX_NUM 200000

int main(int argc, char **argv)
{
	int zle = 0;
	char *s = (char *)malloc(sizeof(char) * 1000 * 1000);
	char p[100];
	int i;
	int pvozne, ptrate;

	while(1)
{
	scanf("%d %d", &pvozne, &ptrate);
	if(pvozne == 0 && ptrate == 0)
		break;
	
	int *vozne = (int *)malloc(sizeof(int)*pvozne);
	int *trate = (int *)malloc(sizeof(int)*ptrate);

	for(i=0;i<pvozne;i++)
		vozne[i]=0;
	for(i=0;i<ptrate;i++)
		trate[i]=0;

	for(i=0;i<pvozne;i++)
	{
		int vozen;
		int j = 0;
		scanf("%d", &vozen);
		while(vozen<=trate[j])
		{
			j++;
		}
		if(j>ptrate)
		{
			printf("Transportation failed\n");
			zle = 1;
			break;
		}

		trate[j] = vozen;
		vozne[vozen-1] = j;
		sprintf(p, "%d ", j+1);
		strcat(s, p);
	}
		strcat(s, "\n");
		for(i=0;i<pvozne;i++)
		{
			sprintf(p, "%d ", vozne[i]+1);
			strcat(s, p);
		}
		strcat(s, "\n");
		if(!zle)
		printf(s);
	free(vozne);
	free(trate);
}
	return 0;
}