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

Условие

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

В этот раз он дал ему список формул вида: (x₁ ∨ x₂ ∨ x₃) ∧ (¬ x₁ ∨ x₃ ∨ x₄) ∧ (¬ x₂ ∨ ¬ x₃), в скобках может содержаться до трех переменных. Задача Паши определить, может ли обращаться формула в истину. В этот раз он точно был уверен, что Паша не справится.

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

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

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

Например для формулы (x₁ ∨ x₂ ∨ x₃) ∧ (¬ x₁ ∨ x₃ ∨ x₂) ∧ (¬ x₂ ∨ ¬ x₃) будет следующий ввод:

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

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

Ограничения

1 ≤ M ≤ 15
|N| ≤ 5
N ≠ 0

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

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

Possible

4
1 2
-1
-2 1 3
-3
            

Impossible