#include <stdio.h>

char dig[10][7][6] = {
{"+---+",
 "|   |",
 "|   |",
 "+   +",
 "|   |",
 "|   |",
 "+---+"},
{"    +",
 "    |",
 "    |",
 "    +",
 "    |",
 "    |",
 "    +"},
{"+---+",
 "    |",
 "    |",
 "+---+",
 "|    ",
 "|    ",
 "+---+"},
{"+---+",
 "    |",
 "    |",
 "+---+",
 "    |",
 "    |",
 "+---+"},
{"+   +",
 "|   |",
 "|   |",
 "+---+",
 "    |",
 "    |",
 "    +"},
{"+---+",
 "|    ",
 "|    ",
 "+---+",
 "    |",
 "    |",
 "+---+"},
{"+---+",
 "|    ",
 "|    ",
 "+---+",
 "|   |",
 "|   |",
 "+---+"},
{"+---+",
 "    |",
 "    |",
 "    +",
 "    |",
 "    |",
 "    +"},
{"+---+",
 "|   |",
 "|   |",
 "+---+",
 "|   |",
 "|   |",
 "+---+"},
{"+---+",
 "|   |",
 "|   |",
 "+---+",
 "    |",
 "    |",
 "+---+"}};

int comp(char *a, char *b, int from, int to)
{
	int i;
	int res = 1;
	for (i = 0; i <= to - from; i++)
		res &= a[from + i] == b[i] || a[from + i] == '.';

	return res;
}

int main()
{
	char c;
	char line[40];
	int num[4], i, j, d, e, k;
	int pos[4][10];

	while (1)
	{
		for (i = 0; i < 10; i++)
			for (j = 0; j < 4; j++)
				pos[j][i] = j & 1;
		pos[0][0] = pos[0][1] = pos[0][2] = 1;
		for (i = 0; i < 6; i++)
			pos[2][i] = 1;

		for (i = 0; i < 7; i++)
		{
			fgets(line, 35, stdin);
			/*printf(">%s<\n", line);*/
			if (i == 0 && line[0] == 'e')
				break;

			for (j = 0; j < 3; j++)
				pos[0][j] &= comp(line, dig[j][i], 0, 4);
			for (j = 0; j < 10; j++)
				pos[1][j] &= comp(line, dig[j][i], 7, 11);
			for (j = 0; j < 6; j++)
				pos[2][j] &= comp(line, dig[j][i], 17, 21);
			for (j = 0; j < 10; j++)
				pos[3][j] &= comp(line, dig[j][i], 24, 28);

			/*
			printf("after %d:\n", i);
			for (j = 0; j < 4; j++)
			{
				for (k = 0; k < 10; k++)
					printf("%d ", pos[j][k]);
				printf("\n");
			}*/

		}
	
		if (line[0] == 'e')
			break;

		for (i = 0; i < 2; i++)
			fgets(line, 35, stdin);

		/*
		for (j = 0; j < 4; j++)
		{
			for (i = 0; i < 10; i++)
				printf("%d ", pos[j][i]);
			printf("\n");
		}*/

		d = -1;
		for (i = 0; i < 3 && d < 100; i++)
			for (j = 0; j < 10 && d < 100; j++)
				if (pos[0][i] && pos[1][j])
				{
					k = i * 10 + j;
					if (k < 24)
					{
						if (d == -1)
							d = k;
						else
							d = 100;
					}
				}

		if (d < 100)
		{
			e = -1;
			for (i = 0; i < 6 && e < 100; i++)
				for (j = 0; j < 10 && e < 100; j++)
					if (pos[2][i] && pos[3][j])
					{
						k = i * 10 + j;
						if (k < 60)
						{
							if (e == -1)
								e = k;
							else
								e = 100;
						}
					}
		}

		if (d < 100 && e < 100)
			printf("%02d:%02d\n", d, e);
		else
			printf("ambiguous\n");

	}

	printf("end\n");

	return 0;
}