Тестування#1171

Тестування

1 секунда
64 мегабайти
Легка

Софійка, дівчина, яка часто розв'язує задачі з програмування, знає, що після написання розв'язку потрібно тестувати. Вона легко придумує різноманітні тести, але часто вони порушують обмеження, зазначені в умові задачі.

Для Софійки це проблема, а для вас — завдання. Перевірте, чи відповідає створений тест обмеженням задачі.

Обмеження записані у форматі TeX, складаються із тексту та формул. Формули записані або між одиночними доларами (наприклад, 1 < a < 100), або між парою доларів (наприклад,

1 < a, b < n

). Кожна формула має один із наступних форматів:

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

Тут <value> — це або число, або змінна; <values> — список з однієї або кількох змінних, розділених комами; <sign> — знак нерівності: , , , або . Будь-яка кількість пропусків (пробілів, табуляцій, перенесень рядків) може бути між різними частинами формули, а також між роздільниками та частинами формули. Між різними формулами є принаймні один символ. Знаки долара () з'являються лише на межах формул у вхідному файлі. У вхідному файлі na, b, ...10^9 за модулем. \InputFile У першому рядку вхідного файла задано одне ціле число n1 n 26. У другому рядку містяться значення змінних, які слід перевірити, у порядку a, b, ..., n-та літера латинської абетки. Починаючи з третього рядка, записаний текст. Гарантується, що він коректний і містить лише формули, зазначені в умові. У вхідному файлі не більше 10^4 символів, включаючи пропуски та переноси рядків. Усі числа, що входять до формул, а також значення змінних, — цілі та не перевищують 10^9$ за модулем.

Вихідні дані

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

Приклади

Приклад 1

Loading
Loading