SPOJ Brasil

Poker é um dos jogos de cartas mais jogados, e o Poker do Rei é uma das suas variações. O jogo é jogado com um baralho normal de 52 cartas. Cada carta tem um dos quatro naipes e uma das 13 categorias. Entretanto, no Poker do Rei os naipes das cartas não sao relevantes, enquanto as categorias são Ás (categoria 1), 2, 3, 4, 5, 6, 7, 8, 9, 10, Valete (categoria 11), Rainha (categoria 12) e Rei (categoria 13). O nome do jogo vem do fato de que no Poker do Rei, o Rei é a carta com a categoria mais alta. Mas esta não é a única diferença entre o Poker regular e o Poker do Rei. Aos jogadores do Poker do Rei são distribuídos uma mão de apenas três cartas. Existem três tipos de mãos.

As mão são classificadas usando as seguintes regras:

Uma nova empresa de software quer oferecer jogos de Poker do Rei no seu site de jogos, e precisa de um software que, dada uma mão de Poker do Rei, determine o set ou o par com menor categoria que derrota a mão dada. Você pode codificá-lo?

Entrada

Cada caso de teste é descrito usando uma única linha. A linha contém três inteiros A, B e C representando as categorias das cartas entregues na mão (1 ≤ A,B,C ≤ 13).

O último caso de teste é seguido por uma linha contendo três zeros.

Saída

Para cada caso de teste imprima uma única linha. Se existe um set ou um par que derrata a mão dada, escreva a menor mão que o faz. A mão vencedora deve ser escrita especificando as categorias de suas cartas, em ordem não-descrescente. Se nenhum set ou par derrota a mão dada, escreva o caractere '*' (asterisco).

Exemplo

Entrada

1 1 1 
1 1 12 
1 1 13 
1 13 1 
10 13 10 
1 2 2 
13 13 13 
13 12 13 
12 12 12 
3 1 4 
1 5 9 
0 0 0 

Saída

2 2 2
1 1 13
1 2 2
1 2 2
1 11 11
2 2 3
*
1 1 1
13 13 13
1 1 2
1 1 2