Тестирование

А у вас сосиска у тусте!

З апеляції

Дівчинка Ульяна часто розв'язує задачки з програмування. Звичайно, після написання чергової з них необхідно зайнятись тестуванням. Ульяна легко придумує різноманітні тести, але ось незадача: нерідко вони порушують обмеження з умови задачі.

Для Ульяни це незадача, а для вас - навпаки, задача. Перевірте, чи підходить черговий придуманий тест під умову задачі.

Умову написано у форматі Т_ЕХ. Вона складається з тексту і формул. Формули записуються або між знаками $ (наприклад, $1 < a < 100$), або між парами знаків $ (наприклад, $$1 < a, b < n$$). Кожна з формул має наступний вид:

< values > < sign > < value >
< value > < sign > < values >
< value > < sign > < values > < sign > < value >

Тут < value > - це або число, або змінна; < values > - список з однієї або більшої кількості змінних, відокремлених комами; < sign > - знак нерівеності: <, >, \le (відповідає ≤), \ge (відповідає ≥). Між різними частинами однієї формули, а також між знаками, що обмежують формулу, та її частинами може розміщуватись довільна ненульова кількість пробільних символів (пропуск, знаків табуляції, переводень рядка). Між різними формулами є хоча б один символ. Знаки $ не зустрічаються у вхідному файле ніде, крім границь формул. Всього у вхідному файлі зустрічається n змінних, які мають імена a, b, .... Всі числа у форулах цілі і не перевищують 10⁹ по абсолютному значенню.

Технічні умови

Вхідні дані

У першому рядку вхідного файлу записано одне ціле число n - кількість змінних у тесті до задачі (1 ≤ n ≤ 26). У другому рядку записані значення змінних, які потрібно перевірити, у порядку a, b, ..., α, де α - n-я буква латинського алфавіту.

Починаючи з наступного рядка записано текст. Гарантується, що він коректний і не містить формул, відмінних від вказаних в умові.

У вхідному файлі не більше 10⁴ символів, в тому числі пропусків і переведень рядка. Всі числа, які входять до складу формули, а також значення змінних є цілими і не перевищують 10⁹ за абсолютним значенням.

Вихідні дані

Виведіть "Correct", якщо тест коректний. Інакше у першому рядку виведіть "Incorrect", а у наступних рядках, номера формул, обмеження у яких порушено, по одній у рядку у порядку зростання. Формули нумеруються з одиниці у тому порядку, в якому вони зустрічаються у вхідному файлі.

Інформація про задачу

Ліміт часу: 1 секунда
Ліміт пам`яті: 64 MB
Бали за пройдений тест: 1.35135
Складність: 44% 5/9
Автор: А.Лопатін
Джерело: Літня школа, Севастополь 2010

Приклад

Приклад вхідних даних

3
-2 0 1
Input contains 3 integer s a,b and c
($a > 0$,$$0 \le b \le 10$$,
$a,b < c$,$a > c$).

Приклад вихідних даних

Incorrect
1
4

← Дільники

Список задач