Test edilməsi

Ulyana adlı qız tez-tez proqramlaşdırma məsələlərini həll edir. Təbii ki, növbəti məsələnin yazılmasından sonra testləşdirmə ilə məşğul olmaq lazımdır. Ulyana müxtəlif testlər asanlıqla düşünür, amma problem ondadır ki, onlar tez-tez məsələnin şərtlərinin məhdudiyyətlərini pozurlar.

Ulyana üçün bu problem, sizin üçün isə əksinə, məsələdir. Yaradılmış testin məsələnin şərtlərinə uyğun olub-olmadığını yoxlayın.

Şərt TEX formatında yazılıb. O, mətn və formulalardan ibarətdir. Formulalar ya $ işarələri arasında (məsələn, $1 < a < 100$), ya da cüt $ işarələri arasında (məsələn, $$1 < a, b < n$$) yazılır. Hər bir formul aşağıdakı şəkildədir:

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

Burada <value> - ya ədəd, ya da dəyişəndir; <values> - vergüllə ayrılmış bir və ya daha çox dəyişənlərin siyahısıdır; <sign> - qeyri-bərabərlik işarəsi: <, >, \le (≤-ə uyğun gəlir), \ge (≥-ə uyğun gəlir). Bir formulun müxtəlif hissələri arasında, həmçinin formulun məhdudlaşdırıcı işarələri və onun hissələri arasında istənilən sayda boşluq simvolları (boşluqlar, tabulyasiya işarələri, sətir keçidləri) ola bilər. Müxtəlif formulalar arasında ən azı bir simvol var. $ işarələri giriş faylında formul sərhədlərindən başqa heç yerdə rast gəlinmir. Giriş faylında $n$ dəyişən var, adları $a,b,...$ olan. Formulalarda bütün ədədlər tamdır və mütləq dəyəri $10^9$-dan çox deyil.

Giriş verilənləri

Giriş faylının birinci sətirində bir tam ədəd $n$ yazılıb - məsələnin testindəki dəyişənlərin sayı $(1\le n\le 26)$. İkinci sətirdə dəyişənlərin yoxlanmalı olan dəyərləri $a,b,...,\alpha$ ardıcıllığında yazılıb, burada $\alpha$ - latın əlifbasının $n$-ci hərfidir.

Növbəti sətirdən başlayaraq mətn yazılıb. Onun düzgün olduğu və şərtdə göstərilənlərdən fərqli formulalar olmadığı təmin edilir.

Giriş faylında $10^4$ simvoldan çox deyil, o cümlədən boşluqlar və sətir keçidləri. Formulaların tərkibinə daxil olan bütün ədədlər və dəyişənlərin dəyərləri tamdır və mütləq dəyəri $10^9$-dan çox deyil.

Çıxış verilənləri

Test düzgünsə "Correct" çıxarın. Əks halda, birinci sətirdə "Incorrect" çıxarın və sonrakı sətirlərdə, pozulmuş məhdudiyyətləri olan formulaların nömrələrini bir-bir artan sırada çıxarın. Formulalar giriş faylında rast gəlinmə sırasına görə birinci nömrədən başlayaraq nömrələnir.

Nümunələr