Задача 02. Задание по дискретной математике 2 ≡

Условие

Паша успешно сдал задание по дискретной математике, но Иван Дискретович дал ему задание сложнее.

В этот раз он дал ему список формул вида: $(x_1 \lor x_2 \lor x_3) \land (\neg x_1 \lor x_3 \lor x_4) \land (\neg x_2 \lor \neg x_3)$, в скобках может содержаться до трех переменных. Задача Паши определить, может ли обращаться формула в истину. В этот раз он точно был уверен, что Паша не справится.

Паша обратился к вам снова, помогите ему не попасть на комиссию.

Формат входных данных

В первой строке натуральное число $M$. В следующих $M$ строках идут целые числа от 1 до $N$ по модулю.

Например для формулы $(x_1 \lor x_2 \lor x_3) \land (\neg x_1 \lor x_3 \lor x_2 ) \land (\neg x_2 \lor \neg x_3)$ будет следующий ввод:

Формат выходных данных

Если есть набор переменных, обращающих выражение в истину, то выведите Possible, иначе Impossible.

Ограничения

$1 \le M \le 15$
$|N| \le 5$
$N \ne 0$

Примеры тестов

3
1 2 3
-1 3 2
-2 -3
            

Possible

4
1 2
-1
-2 1 3
-3
            

Impossible