Тестування

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

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

Умова написана у форматі ТЕХ. Вона складається з тексту та формул. Формули записуються або між знаками $ (наприклад, $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^9$ за абсолютним значенням.

Вхідні дані

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

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

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

Вихідні дані

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

Приклади