Тестирование
Девочка Ульяна часто решает задачки по программированию. Естественно, после написания очередной из них необходимо заняться тестированием. Ульяна легко придумывает различные тесты, но вот незадача: нередко они нарушают ограничения из условия задачи.
Для Ульяны это незадача, а для вас - наоборот, задача. Проверьте, подходит ли очередной придуманный тест под условие задачи.
Условие написано в формате ТЕХ. Оно состоит из текста и формул. Формулы записываются либо между знаками $ (например, $1 < a < 100$
), либо между парами знаков $ (например, $$1 < a, b < n$$
). Каждая из формул имеет следующий вид:
<values> <sign> <value> <value> <sign> <values> <value> <sign> <values> <sign> <value>
Здесь <value>
- это либо число, либо переменная; <values>
- список из одной или большего числа переменных, разделённых запятыми; <sign>
- знак неравенства: <
, >
, \le
(соответствует ≤), \ge
(соответствует ≥). Между различными частями одной формулы, а также между знаками, ограничивающими формулу, и её частями может располагаться любое ненулевое количество пробельных символов (пробелов, знаков табуляции, переводов строк). Между различными формулами есть хотя бы один символ. Знаки $ не встречаются во входном файле нигде, кроме границ формул. Всего во входном файле встречается n переменных, имеющих имена . Все числа в формулах целые и не превышают по абсолютному значению.
Входные данные
В первой строке входного файла записано одно целое число - количество переменных в тесте к задаче . Во второй строке записаны значения переменных, которые нужно проверить, в порядке , где - -я буква латинского алфавита.
Начиная со следующей строки записан текст. Гарантируется, что он корректен и не содержит формул, отличных от указанных в условии.
Во входном файле не более символов, в том числе пробелов и переводов строк. Все числа, входящие в состав формулы, а также значения переменных являются целыми и не превышают по абсолютному значению.
Выходные данные
Выведите "Correct", если тест корректен. Иначе в первой строке выведите "Incorrect", а в последующих строках, номера формул, ограничения в которых нарушены, по одному на строке в порядке возрастания. Формулы нумеруются с единицы в том порядке, в котором они встречаются во входном файле.