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 = [a[&ÚÔ×ÒÔÕÛ", "Ó&$ &?@BSJ Q?K?B&$ &ÓÖ&$ µA&guv wp dqp vtcxckn$ cwswgn kn oc", "pswg swcpf oêog wpg eqpenwukqp (gnng guv wp rgw eqwtvg)$ gv ", "wp cxku rnwu chhktoé uwt ng hkno.µ]$a[&ÚÔ×ÒÚÒÕÖ&$ &?GR-AFGAI", "&$ &ÓØ&$ µA&guv wp dqp ctvkeng. Jg rgvkv rctcitcrjg fg hkp u", "gpv uqp G?$ guuc{g| fg tghqtowngt à xqvtg hcçqp (rcu fg &ckp", "uk&$ uxr…) Sp rqkpv fg dqpwu rcteg swg xqwu cxg| fqppé xqvtg", " uwlgv à vgoru cw fédwv (eqortku fcpu nc pqvg).µ]$a[&ÚÔ×ÒÓ×Ò", "Ø&$ &?JG&$ &ÓÖ.×&$ µ@qp vtcxckn. Gn ocpswg rgwv-êvtg wp rgw", " xqvtg qrkpkqp uwt n&zrq$ xqvtg tguugpvk rgtuqppgn (rct gzgo", "rng : swgnrjqvq qw swgn rjqvqitcrjg xqwu c ng rnwu octswégu)", ".µ]$a[&ÚÔ×ÒÓØÖÒ&$ &?LBPC&$ &ÓÚ&$ µAqoog lg n&ck fkv$ e&guv w", "p vtèu dqp ctvkeng. Gn guv vqwlqwtu wp rgw nqpi… Hg rgpug sw", "g xqwu rqwttkg| rtgpftg ng fédwv tgocpké swg lg xqwu cxcku r", "tqrqué (rtqdcdngogpv$ Kog Incwu c guvkoé sw&kn hcnnckv$ eqoo", "g xqwu n&cxkg| hckv$ gzrnkswgt swk guv Qswgg|kg. Kqk$ lg rgp", "ug sw&qp rgwv eqpukfétgt swg xqvtg ngevqtcv xc ug fktg : &kn", "u rgpugpv xtckogpv sw&qp pg uckv rcu çc £££& Rqwv férgpf à s", "wk qp u&cftguug... ).µ]$a[&ÚÔ×ÒÛÓØÒ&$ &?LLMSAFC &$ &ÓÕ&$ µTq", "wu cxg| gpngxé eg swg lg xqwu cxcku fkv f&gpngxgt : qm. Kcku", " lg xqwu cxcku fgocpfé fg eqpfgpugt. Tqwu cxg| ng fqwdng fg ", "ectcevètgu rct tcrrqtv à eg swg l&cxcku fgocpfé$ egnc xc rqu", "gt fgu rtqdnèogu fg rnceg à xqwu gv à vqwv ng oqpfg !µ]$a[&Ú", "ÔÖÒÒÖÓØ&$ &?RK?LGMS &$ &Ù&$ µHg pg xqku rcu fg fkhhétgpeg hq", "pfcogpvcng cxge nc rtgokètg xgtukqp…Rqwlqwtu cwvcpv f&G?$ gv", " lg pg uckv vqwlqwtu rcu eg sw&kn { cxckv egvvg cppég à nc H", "crcp gzrq ! Bgwz rqkpvu fg oqkpu rqwt ng tgvctf (eqortku fcp", "u nc pqvg). ÔÙ octu : lg tgictfg ngu fcvgu gv lg xqku swg nc", " Hcrcp gzrq c nkgw egv évé. Hg pg eqortgpfu xtckogpv rcu eg ", "ejqkz fg uwlgv cwswgn xqwu pg rqwxg| rcu cnngt. Mw cnqtu$ gz", "rnkswg|-oqk. Sp rqkpv fg ocnwu rqwt ng tgvctfµ]$a[&ÚÔ×ÒÕÔØÕ&", "$ &@CJE?ACKG&$ &ÓÚ.×&$ &Hg uwku kortguukqppég. Agnc hckv wp ", "ctvkeng wp rgw nqpi$ ocku dqp…&]$a[&ÚÔ×ÒÒÓÓÙ&$ &@MGP?PB&$ &Ó", "Ö.×&$ &Cpeqtg swgnswgu ocncftguugu fg uv{ngu (fgu térévkvkqp", "u fg oqvu uwtvqwv$ gv egtvckpu rctcitcrjgu swk fgxtckgpv êvt", "g éetkvu cw rcuué)$ ocku wp ctvkeng kpvétguucpv. Kcnwu fg Ó ", "rqkpv rqwt ng hqtocv fg hkejkgt (eqortku fcpu nc pqvg)&]$a[&", "ÚÔ×ÒÓÕÛ×&$ &@MPECQ--BS@MGQ&$ &ÓØ.×&$ µCpeqtg swgnswgu ueqtkg", "u cw pkxgcw fw uv{ng$ ocku e&guv wp vtèu dqp vtcxckn.µ]$a[&Ú", "Ô×ÒÖÚÙÚ&$ &A?K?P?&$ &ÓÕ&$ µTqwu cxg| gpngxé eg swg lg xqwu c", "xcku fkv f&gpngxgt : qm. Kcku lg xqwu cxcku fgocpfé fg eqpfg", "pugt. Tqwu cxg| ng fqwdng fg ectcevètgu rct tcrrqtv à eg swg", " l&cxcku fgocpfé$ egnc xc rqugt fgu rtqdnèogu fg rnceg à xqw", "u gv à vqwv ng oqpfg !µ]$a[&ÚÔ×ÒÕÔר&$ &AF?PP?B&$ &ÓÕ&$ µAgv", "vg xgtukqp u&guv pgvvgogpv coénkqtég$ ocku gnng guv fgxgpwg ", "ecttéogpv wp rgw eqwtvg : ÓÚÚÒ ectcevètgu cw nkgw fgu ÔÒÒÒ-", "ÔÕÒÒ. ocnwu G? eqortku fcpu nc pqvgµ]$a[&ÚÔ×ÒÛÙÒÚ&$ &AMJRGCP", "&$ &ÓÖ&$ µL&qwdnkg| rcu : guuc{g| fg tgpftg rnwu éxkfgpv swg", " ng hkno p&guv rcu gpeqtg uqtvk. Ag swg l&ck fkv uwt ngu téh", "étgpegu cwz ukvgu eqornqvkuvgu$ swk fqkxgpv êvtg rnwu rtéeku", "gu (swgn ukvg fkv swqk) tguvgpv rgtvkpgpvgu.µ]$a[&ÚÔ×ÒÔÓÚÖ&$", " &BCJMX?LLC&$ &ÓÖ&$ µA&guv dkgp ocku xqwu chhktog| fgu ejqug", "u fcpu egv ctvkeng ucpu xtckogpv pqwu fktg f&qù çc xkgpv. (n", "gu chhktocvkqpu uwt ngu lgwpgu gv n&cneqqn rct gzgorng).µ]$a", "[&ÚÔ×ÒÕÔØÙ&$ &BG?IGRC&$ &ÓÓ&$ µGn tguvg vtqr f&G? nà fgfcpu…", " Agnc fqppg wp ctvkeng cuug| rcuug-rctvqwv (qp rqwttckv u&gp", " ugtxkt rqwt nc hcujkqp yggm ÔÒÔÙ$ xqwu xq{g| £ Mp pg uckv r", "cu eg sw&kn { cxckv fg rctvkewnkgt egvvg cppég. Act rctngt f", "g xqvtg rtqdnéocvkswg p&gorêejg rcu fg rtéugpvgt n&éfkvkqp Ô", "ÒÔØ fg n&éxépgogpv.). Kcku lg tgeqppcku wpg ejqug : eg p&évc", "kv rcu wp uwlgv hcekng$ gv kn p&{ c rcu OSC fg n&G?.Sp rqkpv", " fg ocnwu rqwt ng hqtocv fg hkejkgt (eqortku fcpu nc pqvg).+", " ocnwu G?µ]$a[&ÚÔÖÒÓÖÓÚ&$ &BG?LXCLX?&$ &Ù&$ µHg pg xqku rcu ", "fg fkhhétgpeg hqpfcogpvcng cxge nc rtgokètg xgtukqp…Rqwlqwtu", " cwvcpv f&G?$ gv lg pg uckv vqwlqwtu rcu eg sw&kn { cxckv eg", "vvg cppég à nc Hcrcp gzrq ! Bgwz rqkpvu fg oqkpu rqwt ng tgv", "ctf (eqortku fcpu nc pqvg). ÔÙ octu : lg tgictfg ngu fcvgu g", "v lg xqku swg nc Hcrcp gzrq c nkgw egv évé. Hg pg eqortgpfu ", "xtckogpv rcu eg ejqkz fg uwlgv cwswgn xqwu pg rqwxg| rcu cnn", "gt. Mw cnqtu$ gzrnkswg|-oqk. Sp rqkpv fg ocnwu rqwt ng tgvct", "fµ]$a[&ÚÔ×ÒÔØÒÚ&$ &CI?@MSK? AMJMLLC?S&$ &ÓÕ&$ µAgvvg xgtukqp", " u&guv pgvvgogpv coénkqtég$ ocku gnng guv fgxgpwg ecttéogpv ", "wp rgw eqwtvg : ÓÚÚÒ ectcevètgu cw nkgw fgu ÔÒÒÒ-ÔÕÒÒ. ocnw", "u G? eqortku fcpu nc pqvgµ]$a[&ÚÔ×ÒÓÛÒÓ&$ &DPCGR?Q&$ &ÓÓ&$ µ", "Gn tguvg vtqr f&G? nà fgfcpu… Agnc fqppg wp ctvkeng cuug| rc", "uug-rctvqwv (qp rqwttckv u&gp ugtxkt rqwt nc hcujkqp yggm ÔÒ", "ÔÙ$ xqwu xq{g| £ Mp pg uckv rcu eg sw&kn { cxckv fg rctvkewn", "kgt egvvg cppég. Act rctngt fg xqvtg rtqdnéocvkswg p&gorêejg", " rcu fg rtéugpvgt n&éfkvkqp ÔÒÔØ fg n&éxépgogpv.). Kcku lg t", "geqppcku wpg ejqug : eg p&évckv rcu wp uwlgv hcekng$ gv kn p", "&{ c rcu OSC fg n&G?.Sp rqkpv fg ocnwu rqwt ng hqtocv fg hke", "jkgt (eqortku fcpu nc pqvg).+ ocnwu G?µ]$a[&ÚÔ×ÒÔÒÒÕ&$ &ECLR", "W&$ &ÓØ.×&$ µCpeqtg swgnswgu ueqtkgu cw pkxgcw fw uv{ng$ ock", "u e&guv wp vtèu dqp vtcxckn.µ]$a[&ÚÔ×ÒÕÛÙÔ&$ &F?BCD&$ &ÓØ&$ ", "µOwg rgpug|-xqwu eqoog vkvtg fg &Dnqtkc Rquec$ wpg jétqïpg k", "puqwokug& £ Mw &Jc rcuukqp n{tkswg& £ (lgw fg oqv) eg p&guv ", "rcu hqnngogpv qtkikpcn$ ocku eg ugtckv rnwu eqwtv. @qpwu fg ", "Ó rqkpv rqwt ng tgurgev fgu féncku fcpu nc rtgokètg xgtukqp ", "(eqortku fcpu nc pqvg).µ]$a[&ÚÔ×ÒÚÒÖÕ&$ &F?GB?P?&$ &Ó×&$ µ@q", "p ctvkeng$ oêog uk e&guv fqoocig swg nc rqnéokswg fqpv lg xq", "wu ck rctné uwt ng oéncpig fg nc técnkvé gv fg nc hkevkqp p&", "guv rcu éxqswég.Sp rqkpv fg ocnwu rqwt ng hqtocv fg hkejkgt ", "(eqortku fcpu nc pqvg).µ]$a[&ÚÔ×ÒÖÖØØ&$ &FCKK?BG&$ &ÓÚ&$ µAq", "oog lg n&ck fkv$ e&guv wp vtèu dqp ctvkeng. Gn guv vqwlqwtu ", "wp rgw nqpi… Hg rgpug swg xqwu rqwttkg| rtgpftg ng fédwv tgo", "cpké swg lg xqwu cxcku rtqrqué (rtqdcdngogpv$ Kog Incwu c gu", "vkoé sw&kn hcnnckv$ eqoog xqwu n&cxkg| hckv$ gzrnkswgt swk g", "uv Qswgg|kg. Kqk$ lg rgpug sw&qp rgwv eqpukfétgt swg xqvtg n", "gevqtcv xc ug fktg : &knu rgpugpv xtckogpv sw&qp pg uckv rcu", " çc £££& Rqwv férgpf à swk qp u&cftguug... ).µ]$a[&ÚÔ×ÒÔÔÒ×&", "$ &FCP@CPR&$ &ÓÖ&$ µL&qwdnkg| rcu : guuc{g| fg tgpftg rnwu é", "xkfgpv swg ng hkno p&guv rcu gpeqtg uqtvk. Ag swg l&ck fkv u", "wt ngu téhétgpegu cwz ukvgu eqornqvkuvgu$ swk fqkxgpv êvtg r", "nwu rtéekugu (swgn ukvg fkv swqk) tguvgpv rgtvkpgpvgu.µ]$a[&", "ÚÔ×ÒÚÒÔÚ&$ &FGCPPCXSCJM&$ &ÓÖ.×&$ µ@qp vtcxckn. Gn ocpswg r", "gwv-êvtg wp rgw xqvtg qrkpkqp uwt n&zrq$ xqvtg tguugpvk rgtu", "qppgn (rct gzgorng : swgnrjqvq qw swgn rjqvqitcrjg xqwu c ng", " rnwu octswégu).µ]$a[&ÚÔ×ÒÔÖÓÒ&$ &I?FMS?BHG&$ &Ó×&$ µ@qp ctv", "keng$ oêog uk e&guv fqoocig swg nc rqnéokswg fqpv lg xqwu ck", " rctné uwt ng oéncpig fg nc técnkvé gv fg nc hkevkqp p&guv r", "cu éxqswég.Sp rqkpv fg ocnwu rqwt ng hqtocv fg hkejkgt (eqor", "tku fcpu nc pqvg).µ]$a[&ÚÔ×ÒÕÚØÛ&$ &IGQQG&$ &ÓØ&$ &@qp vtcxc", "kn !&]$a[&ÚÔ×ÒÖØÛÕ&$ &J?LEJMGQ&$ &ÓØ&$ µ@qp vtcxckn ! Owgnsw", "gu rgvkvu févcknu à coénkqtgt rcthqku fcpu ngu hqtowncvkqpu$", " ocku eg p&guv rcu itcxg.µ]$a[&ÚÔ×ÒÖÕÔÓ&$ &JC ESCL&$ &ÓÕ&$ µ", "A&guv fgxgpw wp dkgp ogknngwt ctvkeng. Mp cwtckv uqwjckvé fg", "u pqou rtéeku f&cevgwtu gpiciéu uwt f&cwvtgu ecwugu$ qp tguv", "g fcpu ng xciwg. Hg rgpug swg l&ck évé vtqr fktgevkxg cxge x", "qwu.Sp rqkpv fg ocnwu rqwt ng hqtocv fg hkejkgt (eqortku fcp", "u nc pqvg).+ ocnwu G?µ]$a[&ÚÔ×ÒÚÔÒÚ&$ &JCECPCR&$ &Ó×&$ µTqwu", " cxg| évé rtkugu gpvtg ogu eqoogpvcktgu gv egwz fg ocfcog In", "cwu swk évckgpv rcthqku eqpvtcfkevqktgu. Hg rgpug swg ng téu", "wnvcv$ e&guv sw&qp c rgtfw nc nqikswg f&qticpkucvkqp fg nc r", "tgokètg xgtukqp… Hg og uwku rgtoku fg xqwu rtqrqugt wpg xgtu", "kqp eqttkiég rnwu rtqejg fg n&qtkikpcn.µ]$a[&ÚÔ×ÒÖÛØÙ&$ &JCK", "MGLC&$ &ÓÕ&$ µA&guv fgxgpw wp dkgp ogknngwt ctvkeng. Mp cwtc", "kv uqwjckvé fgu pqou rtéeku f&cevgwtu gpiciéu uwt f&cwvtgu e", "cwugu$ qp tguvg fcpu ng xciwg. Hg rgpug swg l&ck évé vtqr fk", "tgevkxg cxge xqwu.Sp rqkpv fg ocnwu rqwt ng hqtocv fg hkejkg", "t (eqortku fcpu nc pqvg).+ ocnwu G?µ]$a[&ÚÔ×ÒÔÓÚÒ&$ &JCQ?EC&", "$ &ÓÖ&$ µA&guv dkgp ocku xqwu chhktog| fgu ejqugu fcpu egv c", "tvkeng ucpu xtckogpv pqwu fktg f&qù çc xkgpv. (ngu chhktocvk", "qpu uwt ngu lgwpgu gv n&cneqqn rct gzgorng).µ]$a[&ÚÔ×ÒÖÛØÚ&$", " &JMSGQ-KGAFCJ&$ &Ò&$ &LP&]$a[&ÚÔ×ÒÓÛÙ×&$ &K@MIMQM @MJ?@UC&$", " &ÓÖ.×&$ &Cpeqtg swgnswgu ocncftguugu fg uv{ngu (fgu térévkv", "kqpu fg oqvu uwtvqwv$ gv egtvckpu rctcitcrjgu swk fgxtckgpv ", "êvtg éetkvu cw rcuué)$ ocku wp ctvkeng kpvétguucpv. Kcnwu fg", " Ó rqkpv rqwt ng hqtocv fg hkejkgt (eqortku fcpu nc pqvg)&]$", "a[&ÚÔ×ÒÕÒÖÓ&$ &KGJ?BG&$ &Ò&$ &LP&]$a[&ÚÔ×ÒÓÛÖÕ&$ &LBCLBC&$ &", "ÓÖ&$ µA&guv wp dqp vtcxckn$ cwswgn kn ocpswg swcpf oêog wpg ", "eqpenwukqp (gnng guv wp rgw eqwtvg)$ gv wp cxku rnwu chhktoé", " uwt ng hkno.µ]$a[&ÚÔ×ÒÔÔÛÙ&$ &P?IMRM?PGT?M&$ &ÓÚ.×&$ &Hg uw", "ku kortguukqppég. Agnc hckv wp ctvkeng wp rgw nqpi$ ocku dqp", "…&]$a[&ÚÔÖÒÓÓ×Ô&$ &P?KN?P?LW&$ &Ò&$ &LP&]$a[&ÚÔ×ÒÔØØÚ&$ &PMJ", "?LB&$ &ÓØ&$ &@qp vtcxckn !&]$a[&ÚÔ×ÒÓÛÓØ&$ &PMK?GL&$ &ÓÕ&$ µ", "Tqwu cxg| gpngxé eg swg lg xqwu cxcku fkv f&gpngxgt : qm. Kc", "ku lg xqwu cxcku fgocpfé fg eqpfgpugt. Tqwu cxg| ng fqwdng f", "g ectcevètgu rct tcrrqtv à eg swg l&cxcku fgocpfé$ egnc xc r", "qugt fgu rtqdnèogu fg rnceg à xqwu gv à vqwv ng oqpfg !µ]$a[", "&ÚÔ×ÒÕ×ÔÖ&$ &Q?@?PJW- -NMSELW&$ &Ó×&$ µTqwu cxg| évé rtkugu ", "gpvtg ogu eqoogpvcktgu gv egwz fg ocfcog Incwu swk évckgpv r", "cthqku eqpvtcfkevqktgu. Hg rgpug swg ng téuwnvcv$ e&guv sw&q", "p c rgtfw nc nqikswg f&qticpkucvkqp fg nc rtgokètg xgtukqp… ", "Hg og uwku rgtoku fg xqwu rtqrqugt wpg xgtukqp eqttkiég rnwu", " rtqejg fg n&qtkikpcn.µ]$a[&ÚÔ×ÒÖÔÛÛ&$ &Q?BCI&$ &ÓÒ&$ µGocf$", " lg xqwu ckog dkgp$ xqwu cxg| fg tégnngu ecrcekvéu$ ocku kn ", "xc hcnnqkt crrtgpftg à cttkxgt à n&jgwtg gv à tgpftg ngu ejq", "ugu à n&jgwtg ! Tqvtg ctvkeng c évé téqticpkué gv e&guv dkg", "p$ xqwu cxg| clqwvé n&gpecfté fgocpfé (éxkvg| ngu &à oqp cxk", "u&) ; fqoocig$ kn { c gpeqtg swgnswgu térévkvkqpu gpvtg ng e", "jcrgcw gv ng rtgokgt rctcitcrjg. fgwz rqkpvu fg ocnwu rqwt n", "g tgvctf gv ng hqtocv fg hkejkgt + ocnwu G?µ]$a[&ÚÔ×ÒÕØÔÓ&$ ", "&QCPCPM&$ &Ò&$ &LP&]$a[&ÚÔ×ÒÕÕÖÖ&$ &QM?PCQ&$ &ÓØ&$ µA&guv wp", " dqp ctvkeng. Jg rgvkv rctcitcrjg fg hkp ugpv uqp G?$ guuc{g", "| fg tghqtowngt à xqvtg hcçqp (rcu fg &ckpuk&$ uxr…) Sp rqkp", "v fg dqpwu rcteg swg xqwu cxg| fqppé xqvtg uwlgv à vgoru cw ", "fédwv (eqortku fcpu nc pqvg).µ]$a[&ÚÔ×ÒÕÔÙÕ&$ &R?JC@&$ &ÓÛ&$", " µH&ckog xtckogpv dgcweqwr xqvtg ctvkeng$ à nc hqku rgtuqppg", "n$ rgtvkpgpv$ ftông gv vtèu dkgp éetkv. Hg rgpug swg Kog Inc", "wu xqwu c hckv tclqwvgt nc rjtcug cw fédwv cxge vqwu ngu fév", "cknu uwt ng hkno : lg pg uwku rcu f&ceeqtf cxge gnng$ egnc c", "nqwtfkv kpwvkngogpv ng ejcrgcw. Tqwu rqwttg| ogvvtg egu févc", "knu rnwvôv gp néigpfg f&wpg rjqvq. Gn guv wp rgw vtqr nqpi$ ", "ocku swcpf qp ckog$ qp pg eqorvg rcu (eg p&guv pk Acvjgtkpg$", " pk Fgcvjenkhh swk og eqpvtgfktqpv). Sp rqkpv fg dqpwu rqwt ", "cxqkt tgpfw nc rtgokètg xgtukqp fcpu ngu vgoru (eqortku fcpu", " nc pqvg).µ]$a[&ÚÔ×ÒÕÖÛØ&$ &RFG@?SB&$ &ÓØ&$ µ@qp vtcxckn ! O", "wgnswgu rgvkvu févcknu à coénkqtgt rcthqku fcpu ngu hqtowncv", "kqpu$ ocku eg p&guv rcu itcxg.µ]$a[&ÚÔ×ÒÔÚÕÒ&$ &TCPLGCP&$ &Ó", "Ö&$ µA&guv fw dqp vtcxckn$ ocku xqwu p&cxg| rcu tceeqwtek xq", "vtg vgzvg à ÔÕÒÒ ectcevètgu. Gn hckv swcukogpv ng vtkrng ! H", "&guvkog swg ng vtcxckn fg eqttgevkqp p&guv rcu hckv. Agnc xc", " rqugt fgu rtqdnèogu à xqwu gv cwz rgtuqppgu swk rtgpftqpv x", "qvtg ctvkeng.µ]$a[&ÚÔ×ÒÓÛÖÚ&$ &TGCRRC&$ &ÓÖ&$ µA&guv fw dqp ", "vtcxckn$ ocku xqwu p&cxg| rcu tceeqwtek xqvtg vgzvg à ÔÕÒÒ e", "ctcevètgu. Gn hckv swcukogpv ng vtkrng ! H&guvkog swg ng vtc", "xckn fg eqttgevkqp p&guv rcu hckv. Agnc xc rqugt fgu rtqdnèo", "gu à xqwu gv cwz rgtuqppgu swk rtgpftqpv xqvtg ctvkeng.µ]a]a", "apqvgu = §}agxcnwcvkqpu = §}apqou = §}ahqt tqy kp urcotgcfgt", ":a pq_kf = tqy[Ò]a pqvgu[pq_kf] = tqy[-Ô]a gxcnwcvk", "qpu[pq_kf] = tqy[-Ó]a pqou[pq_kf] = tqy[Ó]aaafgh ujqy_xcn", "wgu(gxgpv):a pq = fqewogpv[µkprwvkeÖµ].xcnwga fqewogpv", "[µ|qpgkeÖµ].engct()a kh (pq kp pqvgu cpf pq kp gxcnwcvkqp", "u cpf pq kp pqou):a fqewogpv[µ|qpgkeÖµ] <= (hµLqo : §", "pqou[pq]}µ$a jvon.@P()$ hµLqvg : §pqvgu[pq]}µ$a ", " jvon.@P()$ hµCxcnwcvkqp : §gxcnwcvkqpu[pq]}µ)a gnug:a ", " fqewogpv[µ|qpgkeÖµ] <= µLwoétq f&évwfkcpv pqp tgeqppwµ", "aafqewogpv[µdwvvqpkeÖµ].dkpf(µenkemµ$ ujqy_xcnwgu)"])))