Test edilməsi

1 saniyə

64 meqabayt

Asan

Sofiyka — tez-tez proqramlaşdırma məsələlərinin həllini yazan bir qızdır və yaxşı bilir ki, həll yazdıqdan sonra test etmək lazımdır. O, asanlıqla müxtəlif testlərfikirləşsə də, onlar tez-tez məsələnin şərtində qoyulmuş məhdudiyyətləri pozur.

Sofiyka üçün bu bir problemdir, sənin üçünsə — tapşırıq. Yaradılmış testin məsələnin məhdudiyyətlərinə cavab verib-vermədiyini yoxla.

Məhdudiyyətlər TeX formatında yazılıb, burada mətn və formullar olur. Formullar ya tək dollar işarələri arasında (məsələn,

1 < a < 100

1 < a < 100), ya da iki dollar işarəsi arasında (məsələn,

1 < a, b < n

1 < a, b < n

) yazılır. Hər bir formula aşağıdakı formalardan birinə malikdir:

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

Burada,

< v a l u e >

<value> ya bir ədəd, ya da dəyişən adıdır;

< v a l u es >

<values> bir və ya daha çox dəyişənin vergüllə ayrılmış siyahısıdır;

< s i g n >

<sign> isə bərabərsizlik işarəsidir:

<

>

\leq

, və ya

\geq

. Formula hissələri və ayırıcı işarələr arasında istənilən miqdarda boşluq (interval, tabulyator, yeni sətir) ola bilər. Fərqli formullar arasında ən azı bir simvol fərqi olur. Girişdə dollar işarələri (

) y a l n ı z f or m u l a l a r ı n s ə r h ə d in d ə y er l ə s \c i r . G i r i s \c d ə

) yalnız formulaların sərhədində yerləşir. Girişdə n

d ə y i s \c ə n v a r v ə o n l a r ı na d l a r ı

dəyişən var və onların adları a, b, ...

k imi d i r . B u ¨ t u ¨ n f or m u l l a r d ak ı ə d ə d l ə r t am ə d ə dd i r v ə m o d u l c a

kimidir. Bütün formullardakı ədədlər tam ədəddir və modulca 10^9

- d anb o ¨ y u ¨ k d ey i l . \InputFile G i r i s \c f a y l ı n ı nbi r in c i s ə t r in d ə t es t d ə k i d ə y i s \c ə n l ə r in s a y ı

-dan böyük deyil. \InputFile Giriş faylının birinci sətrində testdəki dəyişənlərin sayı n

v er i l i r

verilir (1 n 26)

. I ˙ k in c i s ə t i r d ə d ə y i s \c ə n l ə r in y o x l ana c a q q i y m ə tl ə r i v er i l i r, a r d ı c ı l l a q l a

. İkinci sətirdə dəyişənlərin yoxlanacaq qiymətləri verilir, ardıcıllaqla a, b, ...,

(b u r a d a

(burada

- c i l a t ı nh ə r f i d i r) . U ¨ c \c u ¨ n c u ¨ s ə t i r d ə nba s \c l a y a r a q, m ə t n v er i l ib . O n u n s in t ak s i s i d u ¨ z g u ¨ n q u r u l u b v ə y a l n ı z m ə s ə l ə d ə v er i l mi s \c f or ma d a f or m u l l a r m o ¨ v c u dd u r . G i r i s \c f a y l ı n ı n u ¨ m u mi u z u n l u g ˘ u

-ci latın hərfidir). Üçüncü sətirdən başlayaraq, mətn verilib. Onun sintaksisi düzgün qurulub və yalnız məsələdə verilmiş formada formullar mövcuddur. Giriş faylının ümumi uzunluğu 10^4

- d ə n c \c o x o l ma y a c a q (b o s \c l u q v ə y e ni s ə t i r d a x i l o l ma q l a) . B u ¨ t u ¨ n f or m u l l a r d ak ı, e l ə c ə d ə d ə y i s \c ə n l ə r in q i y m ə tl ə r in d ə k i ə d ə d l ə r t am ə d ə dd i r v ə m o d u l c a

-dən çox olmayacaq (boşluq və yeni sətir daxil olmaqla). Bütün formullardakı, eləcə də dəyişənlərin qiymətlərindəki ədədlər tam ədəddir və modulca 10^9$-dan böyük deyil.

Çıxış

Əgər test düzgündürsə, "Correct" çap et. Əks halda, birinci sətrdə "Incorrect" yaz və növbəti sətrlərdə pozulan məhdudiyyətlərin formul nömrələrini, böyüyən ardıcıllıqla və hər sətirdə bir ədəd olmaqla çap et. Formullar girişdə nəzərdə tutulmuş ardıcıllıqla bir-birindən başlayaraq nömrələnir.

Nümunələr

Nümunə 1

) y a l n ı z f or m u l a l a r ı n s ə r h ə d in d ə y er l ə s \c i r . G i r i s \c d ə

k imi d i r . B u ¨ t u ¨ n f or m u l l a r d ak ı ə d ə d l ə r t am ə d ə dd i r v ə m o d u l c a

- d anb o ¨ y u ¨ k d ey i l . \InputFile G i r i s \c f a y l ı n ı nbi r in c i s ə t r in d ə t es t d ə k i d ə y i s \c ə n l ə r in s a y ı

. I ˙ k in c i s ə t i r d ə d ə y i s \c ə n l ə r in y o x l ana c a q q i y m ə tl ə r i v er i l i r, a r d ı c ı l l a q l a

- c i l a t ı nh ə r f i d i r) . U ¨ c \c u ¨ n c u ¨ s ə t i r d ə nba s \c l a y a r a q, m ə t n v er i l ib . O n u n s in t ak s i s i d u ¨ z g u ¨ n q u r u l u b v ə y a l n ı z m ə s ə l ə d ə v er i l mi s \c f or ma d a f or m u l l a r m o ¨ v c u dd u r . G i r i s \c f a y l ı n ı n u ¨ m u mi u z u n l u g ˘ u

- d ə n c \c o x o l ma y a c a q (b o s \c l u q v ə y e ni s ə t i r d a x i l o l ma q l a) . B u ¨ t u ¨ n f or m u l l a r d ak ı, e l ə c ə d ə d ə y i s \c ə n l ə r in q i y m ə tl ə r in d ə k i ə d ə d l ə r t am ə d ə dd i r v ə m o d u l c a