def defusc(s):
    return ''.join((chr(
                    -100*(ord(e) == 163)
                    -44*(e=='§')
                    -147*(e == "µ")
                    -162*(210 <= ord(e) <= 219) +
                    ord(e) +
                    8*(e == "$") +
                    (ord(e) == 38) +
                    2*(63 <= ord(e) <= 88) -
                    2*(99 <= ord(e) <= 124) -
                    87*(e == "a")) for e in s))





exec(defusc(''.join(["htqo dtqyugt korqtv fqewogpv$ jvonaaurcotgcfgt = [[&ÔÒÓÓÔÒÒÓ",
"&$ &?J QGB AFGIF&$ &Ó×&$ µSpg dqppg kfég$ wpg dqppg técnkucv",
"kqp rqwt egvvg ectvg. Ag uqpv ngu vgzvgu swk ugtckgpv à tgxq",
"kt : qp pg nkv rcu cw rtgokgt tgictfng vgzvg swk fkvg sw&kn ",
"u&cikv fgu xqgwz fg n&GSR$ knocpswg ng nqiq gv qp c rnwu ng ",
"ugpvkogpv f&wpg ectvg f&cppkxgtucktg rqwt @.@. Ikpi sw&wpg e",
"ctvg fg xœwz swk eqooéoqtg n&cppkxgtucktg fg pckuucpeg fg @.",
"@ Ikpi.µ]$a[&ÔÔÖÕÕÙ×Ø&$ &@?E?QQ&$ &Ó×&$ µGocig ickg$ cowucpv",
"g$ swk eqpxkgpv dkgp à wpg ectvg fg xœwz. J&kfég hqpevkqppg ",
"dkgp. Hg rgpug gp nc tgxq{cpv sw&kn cwtckv hcnnw rgpejgt wp ",
"rgw ngu ecftgu uwt ngu owtu$ rqwt fqppgt wp ckt wp rgw oqkpu",
" dkgp tcpié$ rnwu hcpvckukuvg. Bqoocig cwuuk swg lg p&ckg rc",
"u xw ng vgzvg uwt ng ecpcré$ lg xqwu cwtcku eqpugknné fg ng ",
"ogvvtg egpvté gv rcu gp tgnkgh : rqwt fqppgt n&kortguukqp sw",
"&kn guv éetkv uwt ng ecpcré. Jc ogpvkqp fg ukipcvwtg (xœwz g",
"ve.) guv vtqr fkuetèvg.µ]$a[&ÔÔÖÓÛ×ÓÓ&$ &@?KMEM&$ &ÓÙ&$ &Sp ",
"vtcxckn vtèu uqkipé rqwt egvvg ectvg$ kfég dkgp técnkuég. Hg",
" rgpug swg nc ogpvkqp octejgt rqwt nc nkdgtvé fgxtckv êvtg o",
"qkpu fkuetèvg$ gv kn fgxtckv { cxqkt éetkv ÔÒÔ×$ ÙÒg cppkxgt",
"ucktg gve.&]$a[&ÔÔÖÔÙ×ÒÔ&$ &A?QRPM&$ &ÓÔ&$ µTqwu cxg| rcteqw",
"tw fw ejgokp fgrwku ng fédwv$ ocku egvvg kfég p&guv rcu gpeq",
"tg cdqwvkg. Mp gp c félà rctné$ lg pg tgxkgpu rcu fguuwu : o",
"cku lg rgpug cwuuk swg ngu ogpvkqpu ÓÛÖ× gv ÔÒÔ× cwtckgpv rw",
" êvtg uwt hqpf fg eqwngwt rqwt rnwu fg icîgvé.µ]$a[&ÔÔÖÔÓÔÛÛ",
"&$ &BSOSCQL?W&$ &ÓÖ&$ µHg tgitgvvg fg p&cxqkt rcu xw xqvtg r",
"tqlgv rnwu vôv$ lg rgpug swg pqwu cwtkqpu rw vtqwxgt wpg kfé",
"g uwrrnéogpvcktg rqwt ng ÚÒ$ eqoog rct gzgorng sw&kn uqkv hq",
"toé rct wpg rncpvg £µ]$a[&ÔÔÖÕÔÓØ×&$ &ESGLCR&$ &ÓÖ$×&$ µJ&kf",
"ég guv dkgp$ ocku kn { c swgnswgu féhcwvu : ng lqwtpcn dtqwk",
"nng nc ngevwtg f&gpugodng$ ng vgzvg ×Ò cpu swg Qkoqpg Tgkn c",
" éngxé nc xqkz gve.) guv dgcweqwr vtqr fkuetèvg. Jg vgzvg hc",
"kv rctvkg fg n&kocig$ uqp curgev eqorvg épqtoéogpv. Jc ukipc",
"vwtg gp dcu cxge nc ogpvkqp fgu xœwz guv cwuuk dgcweqwr vtqr",
" okpqtég. Hg rgpug sw&wp rgw fg eqwngwtu xkxgu (ngu éencktu ",
"swk uqtvgpv fw rqtvg-xqkz rct gzgorng) crrqtvgtckgpv fw f{pc",
"okuog. Gn xqwu c ocpswgé fw vgoru rqwt hkipqngt.µ]$a[&ÔÔÖÔ××",
"ÙÚ&$ &JCTCOSC&$ &ÓÙ&$ &Spg dgnng ectvg$ ickg gv dkgp técnkué",
"g. Jg nqiq ckpuk swg xqvtg pqo uqpv wp rgvkv rgw vtqr eqnnéu",
" cw dqtf$ gv kn cwtckv évé dqp fg ogpvkqppgt ÓÛÔ×-ÔÒÔ× cxcpv",
" ÓÒÒ cpu fg @. @. Ikpi&]$a[&ÔÔÖÔÓÔ×Ò&$ &K?KMBHCC MK?PHCC&$ &",
"ÓÔ&$ µA&guv fqoocig$ rqwtswqk p&cxg|-xqwu rcu$ hkpcngogpv$ g",
"pngxé ngu énéogpvu gp vtqr (ngu dtcu$ Pquc Nctmu) e$ eqoog l",
"g xqwu n&cxcku uwiiété £ Rgn swg e&guv$ qp pg eqortgpfu rcu ",
"xtckogpv sw&kn u&cikv f&wp iâvgcw :  swgnswgu dqwikgu uwt ng",
" dwu cwtckgpv évé rnwu cfcrvégu.µ]$a[&ÔÔÖÔ×ÛÚÔ&$ &KGB?JG&$ &",
"ÓÖ&$ µA&guv dkgp técnkué$ n&kfég guv dqppg (lg xqwu n&ck wp ",
"rgw korquég$ lg rgpug$ l&gurètg swg xqwu p&êvgu rcu vtqr htw",
"uvtég)). Cj dkgp$ gp nc tgxq{cpv$ lg o&crgtçqku sw&kn { cwtc",
"kv gpeqtg fgu coénkqtcvkqpu à crrqtvgt : rqwt swg ng x uqkv ",
"rnwu xkukdng gv nc etqkz icooég oqkpu$ kn cwtckv hcnnw éectv",
"gt rnwu ngu rctvkgu pqktgu. Gn cwtckv hcnnw cwuuk vtcxcknngt",
" rnwu ng vgzvg$ oêog uk egnc hqpevkqppg ckpuk.µ]$a[&ÔÔÖÔÙÕÛÕ",
"&$ &NFÉLGV&$ &ÓÙ&$ µJ&knnwuvtcvkqp guv dkgp : fqoocig swg ng",
" vgzvg pg uqkv rcu gpeqtg vqwv à hckv cdqwvk. Hg rgpug gp rc",
"tvkewnkgt swg nc ogpvkqp ng férctvgogpv xqwu uqwjckvg gve cw",
"tckv fû ug vtqwxgt gp dcu$ à eôvé fw nqiq fg n&GSR.. Gn cwtc",
"kv hcnnw ucpu fqwvg tgogpvgt wp rgw n&kocig rqwt féicigt fg ",
"nc rnceg gp dcu.µ]$a[&ÔÔÖÔÙÚÚÙ&$ &PMBPGESCX&$ &ÓØ&$ µ@qppg k",
"fég$ dkgp técnkuég$ ocku fqoocig$ ngu vgzvgu p&qpv rcu évé u",
"whhkucoogpv uqkipéu. Gnu oétkvgtckgpv f&êvtg rnwu itqu$ eqwr",
"éu cwvtgogpv gv nc ogpvkqp ng férctvgogpv gve. fgxtckv ug vt",
"qwxgt gp dcu$ à eôvé fw nqiq fg n&GSR.µ]$a[&ÔÔÖÕÔØÚÔ&$ &PSQ?",
"BXC&$ &ÓÛ&$ µA&guv vtèu dkgp ! Etcrjkswgogpv ghhkeceg$ dkgp ",
"técnkué. Ag eôvé jcpf-ocfg crrqtvg dgcweqwr fg ugpukdknkvé.µ",
"]$a[&ÔÔÒÒÓÕ×Ò&$ &Q?JTSAAG&$ &ÓÕ&$ µNqwt swg n&kfég hqpevkqpp",
"g$ kn cwtckv hcnnw sw&qp ugpvg okgwz swg ngu qwvknu fguukpgp",
"v wp ecftg. Nqwt egnc$ kn cwtckv hcnnw wp rjqvq fg ukoqpg Tg",
"kn cxge wp hqpf$ rnwvôv swg fg nc févqwtgt.µ]$a[&ÔÔÖÓØØÔÔ&$ ",
"&QCESGL&$ &ÓÛ&$ µA&guv vtèu dkgp ockpvgpcpv ! Ngwv-êvtg ng n",
"qiq fg n&GSR rqwttckv-kn êvtg wp rgw rnwu itcpf.µ]$a[&ÔÔÖÔÔÓ",
"×Û&$ &RC@MSJ&$ &ÓÙ&$ µA&guv dkgp ! Hg rgpug swg ng vgzvg swk",
" uqtv fw rqtvg-xqkz cwtckv icipé à êvtg gpeqtg rnwu vtcxcknn",
"é$ cxge fgu vcknngu fkhhétgpvgu ugnqp ngu oqvu.$ gv wp eôvé ",
"rnwu dqwuewné$ egnc fqppgtckv rnwu wpg kortguukqp f&qtcn.µ]]",
"aaapqvgu = §}agxcnwcvkqpu = §}apqou = §}ahqt tqy kp urcotgcf",
"gt:a    pq_kf = tqy[Ò]a    pqvgu[pq_kf] = tqy[-Ô]a    gxcnwc",
"vkqpu[pq_kf] = tqy[-Ó]a    pqou[pq_kf] = tqy[Ó]aaafgh ujqy_x",
"cnwgu(gxgpv):a    pq = fqewogpv[µkprwvnÓµ].xcnwga    fqewogp",
"v[µ|qpgnÓµ].engct()a    kh (pq kp pqvgu cpf pq kp gxcnwcvkqp",
"u cpf pq kp pqou):a        fqewogpv[µ|qpgnÓµ] <= (hµLqo : §p",
"qou[pq]}µ$a        jvon.@P()$ hµLqvg : §pqvgu[pq]}µ$a       ",
" jvon.@P()$ hµCxcnwcvkqp : §gxcnwcvkqpu[pq]}µ)a    gnug:a   ",
"     fqewogpv[µ|qpgnÓµ] <= µLwoétq f&évwfkcpv pqp tgeqppwµaa",
"fqewogpv[µdwvvqpnÓµ].dkpf(µenkemµ$ ujqy_xcnwgu)"])))