3195 -- Generalized Matrioshkas

Vladimir worked for years making matrioshkas, those nesting dolls that certainly represent truly Russian craft. A matrioshka is a doll that may be opened in two halves, so that one finds another doll inside. Then this doll may be opened to find another one inside it. This can be repeated several times, till a final doll – that cannot be opened – is reached.

Recently, Vladimir realized that the idea of nesting dolls might be generalized to nesting toys. Indeed, he has designed toys that contain toys but in a more general sense. One of these toys may be opened in two halves and it may have more than one toy inside it. That is the new feature that Vladimir wants to introduce in his new line of toys.

Vladimir has developed a notation to describe how nesting toys should be constructed. A toy is represented with a positive integer, according to its size. More precisely: if when opening the toy represented by m we find the toys represented by n₁, n₂, …, n_r, it must be true that n₁ + n₂ + … + n_r < m. And if this is the case, we say that toy m contains directly the toys n₁, n₂, …, n_r. It should be clear that toys that may be contained in any of the toys n₁, n₂, …, n_r are not considered as directly contained in the toy m.

A generalized matrioshka is denoted with a non-empty sequence of non zero integers of the form:

a₁

a₂

…

a_N

such that toy k is represented in the sequence with two integers −k and k, with the negative one occurring in the sequence first that the positive one.

For example, the sequence

−9

−7

−2

−3

−2

−1

represents a generalized matrioshka conformed by six toys, namely, 1, 2 (twice), 3, 7 and 9. Note that toy 7 contains directly toys 2 and 3. Note that the first copy of toy 2 occurs left from the second one and that the second copy contains directly a toy 1. It would be wrong to understand that the first −2 and the last 2 should be paired.

On the other hand, the following sequences do not describe generalized matrioshkas:

−9

−7

−2

−3

−1

−2

because toy 2 is bigger than toy 1 and cannot be allocated inside it.

−9

−7

−2

−3

−2

−1

−2

because 7 and 2 may not be allocated together inside 9.

−9

−7

−2

−3

−1

−2

because there is a nesting problem within toy 3.

Your problem is to write a program to help Vladimir telling good designs from bad ones.

Output texts for each input case are presented in the same order that input is read.

For each test case the answer must be a line of the form

:-) Matrioshka!

if the design describes a generalized matrioshka. In other case, the answer should be of the form

:-( Try again.