Little Artem is a very smart programmer. He knows many different difficult algorithms. Recently he has mastered in 2-SAT one.

In computer science, 2-satisfiability (abbreviated as 2-SAT) is the special case of the problem of determining whether a conjunction (logical AND) of disjunctions (logical OR) have a solution, in which all disjunctions consist of no more than two arguments (variables). For the purpose of this problem we consider only 2-SAT formulas where each disjunction consists of exactly two arguments.

Consider the following 2-SAT problem as an example: . Note that there might be negations in 2-SAT formula (like for x₁ and for x₄).

Artem now tries to solve as many problems with 2-SAT as possible. He found a very interesting one, which he can not solve yet. Of course, he asks you to help him.

The problem is: given two 2-SAT formulas f and g, determine whether their sets of possible solutions are the same. Otherwise, find any variables assignment x such that f(x) ≠ g(x).

The first line of the input contains three integers n, m₁ and m₂ (1 ≤ n ≤ 1000, 1 ≤ m₁, m₂ ≤ n²) — the number of variables, the number of disjunctions in the first formula and the number of disjunctions in the second formula, respectively.

Next m₁ lines contains the description of 2-SAT formula f. The description consists of exactly m₁ pairs of integers x_i ( - n ≤ x_i ≤ n, x_i ≠ 0) each on separate line, where x_i > 0 corresponds to the variable without negation, while x_i < 0 corresponds to the variable with negation. Each pair gives a single disjunction. Next m₂ lines contains formula g in the similar format.

If both formulas share the same set of solutions, output a single word "SIMILAR" (without quotes). Otherwise output exactly n integers x_i () — any set of values x such that f(x) ≠ g(x).