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[&ÔÔÕÒÕר", "Õ&$ &@?GJJW&$ &Ó×&$ µTqvtg rtqrqukvkqp c ng oétkvg fg nc uko", "rnkekvé gv fg nc enctvé$ ocku gnng ocpswg f&kpfkecvkqpu rtée", "kugu fg fwtég$ fg v{rqitcrjkg$ gve. Dkpcngogpv$ ngu rtqrqukv", "kqpu fgu fgwz itqwrgu ug eqornèvgpv. A&guv dkgp f&cxqkt kpvé", "ité ngu kfégu éokugu rct nc uvtcvéikg éfkvqtkcng fg xqvtg és", "wkrg. H&cwtcku rgwv êvtg qticpkué fkhhétgoogpv ngu unkfgu : ", "Nqwtswqk pg rcu eqoogpegt rct nc okpkcvwtg (rtgpftg fcpu n&q", "tftg ejtqpqnqikswg$ gp swgnswg uqtvg £). µ]$a[&ÔÔÖÒÓÛØÖ&$ &@", "?SBMR&$ &Ó×&$ µ@qp évcv fgu nkgwz$ févcknné$ fgu xkféqu. Bgu", " rtqrqukvkqpu eqornèvgu gv rtéekugu uwt ng eqpvgpw gv ng v", "kokpi (hqtowncvkqp fgu swguvkqpu$ cpkocvkqpu$ gve.). Bgu kfé", "gu kpvétguucpvgu uwt nc eqpenwukqp gv n&qwvtq. Ag uqpv ngu r", "tqrqukvkqpu itcrjkswgu swk uqpv ng oqkpu eqornèvgu gv eqpxck", "pecpvgu. Dkpcngogpv$ ngu rtqrqukvkqpu fgu fgwz itqwrgu ug eq", "ornèvgpv.µ]$a[&ÔÔÖÒÚÓ×Û&$ &@CPLGCP&$ &Ó×&$ µSpg dqppg cpcn{u", "g uwt ng eqpvgpw fgu ctvkengu (vkvtgu$ oévcfguetkrvkqpu$ vqp", " fktgev$ kpfktgev$ gve.) Bg dqppgu kfégu cwuuk uwt nc pcxkic", "vkqp. Hg pg uwku rcu eqpxckpewg rct xqu kfégu fg uqwu-vkvtgu", "$ gpeqtg swg n&wp rqwttckv êvtg wvknkué fcpu wpg xgtukqp rnw", "u eqwtvg (&Jgu oévkgtu fw nkxtg à n&ètg fw pwoétkswg&). Hg u", "wku oqkpu eqpxckpewg rct nc etkvkswg fw pqo fw ukvg gv fg n&", "curgev itcrjkswg$ jqtoku uwt$ éxgpvwgnngogpv$ ng ejqkz v{rqi", "tcrjkswg rqwt ng vkvtg. Tqvtg fkcrqtcoc ocpswg fg enctvé xgt", "u nc hkp cw pkxgcw fgu rtéeqpkucvkqpu (ejqkz fw uv{ng fktgev", " qw kpfktgev$ gv tgeqoocpfcvkqpu v{rqitcrjkswgu wp rgw xciwg", "u).µ]$a[&ÔÔÖÒר×Ó&$ &@MSFÉPCR&$ &&$ &&]$a[&ÔÔÖÒ×ÓÕÖ&$ &@PCBW", "&$ &Ó×&$ µTqvtg rtqrqukvkqp c ng oétkvg fg nc ukornkekvé gv ", "fg nc enctvé$ ocku gnng ocpswg f&kpfkecvkqpu rtéekugu fg fwt", "ég$ fg v{rqitcrjkg$ gve. Dkpcngogpv$ ngu rtqrqukvkqpu fgu fg", "wz itqwrgu ug eqornèvgpv. A&guv dkgp f&cxqkt kpvéité ngu kfé", "gu éokugu rct nc uvtcvéikg éfkvqtkcng fg xqvtg éswkrg. H&cwt", "cku rgwv êvtg qticpkué fkhhétgoogpv ngu unkfgu : Nqwtswqk pg", " rcu eqoogpegt rct nc okpkcvwtg (rtgpftg fcpu n&qtftg ejtqpq", "nqikswg$ gp swgnswg uqtvg £). µ]$a[&ÔÔÖÒÖÕÖÚ&$ &BCJ?K?PAFC&$", " &ÓÖ&$ µ@qp vtcxckn uwt nc pgyungvvgt$ swk guv rgtvkpgpv$ gv", " ngu kfégu fg rquvu eqornéogpvcktgu ; xqwu cxg| ejgtejé à év", "qhhgt ng pqodtg fg rwdnkecvkqpu. Nct-eqpvtg$ xqwu p&cxg| rcu", " cuug| téhnéejk à n&cigpfc fg rwdnkecvkqp : wp ctvkeng rct u", "gockpg pg rgtogv rcu fg vgpkt uwt wp cp ! Tqwu p&cxg| rcu c", "uug| téhnéejk pqp-rnwu à nc hckucdknkvé$ uwt nc swcpvkvé fgu", " téugcwz uqekcwz rct gzgorng$ qw uwt nc rquukdknkvé fg térqp", "ftg cwz rquvu kpvgtcevkhu... (e&guv wp énéogpv sw&kn hcwv r", "tgpftg gp eqorvg). Tqwu cxg| ejgtejé fgu eqorvgu cwzswgnu u&", "cdqppgt$ e&guv dkgp. Kcku xqwu cwtkg| rw cnngt rnwu nqkp fcp", "u eg ugpu (pg rcu xqwu nkokvgt à n&wpkxgtukvé). Jc rtéugpvcv", "kqp fgu unkfgu nckuug à féuktgt.µ]$a[&ÔÔÕÒÕÖ×Û&$ &BMQQM&$ &Ó", "×&$ µTqvtg rtqrqukvkqp c ng oétkvg fg nc ukornkekvé gv fg nc", " enctvé$ ocku gnng ocpswg f&kpfkecvkqpu rtéekugu fg fwtég$ f", "g v{rqitcrjkg$ gve. Dkpcngogpv$ ngu rtqrqukvkqpu fgu fgwz it", "qwrgu ug eqornèvgpv. A&guv dkgp f&cxqkt kpvéité ngu kfégu éo", "kugu rct nc uvtcvéikg éfkvqtkcng fg xqvtg éswkrg. H&cwtcku r", "gwv êvtg qticpkué fkhhétgoogpv ngu unkfgu : Nqwtswqk pg rcu ", "eqoogpegt rct nc okpkcvwtg (rtgpftg fcpu n&qtftg ejtqpqnqiks", "wg$ gp swgnswg uqtvg £). µ]$a[&ÔÔÖÒÕÕÔ×&$ &BSKMJGL&$ &ÓÚ&$ µ", "Spg dqppg cpcn{ug iépétcng. Nqkpvu kpvétguucpvu uqwngxéu uwt", " ngu nkokvgu fw vjèog gornq{é gv uwt nc dcppkètg. Bg dqppgu ", "kfégu rqwt nc rcig &à rtqrqu&. @qp dkncp éicngogpv uwt ngu v", "kvtgu gv nc hqtog fgu ctvkengu. Nqwt ngu oévcfguetkrvkqpu$kn", " pg hcwv rcu ngu eqphqpftg cxge ngu &ejcrgcwz& qw kpvtqfwevk", "qpu$ fqpv gnngu uqpv uqwxgpv nc rtgokètg rjtcug. Tqvtg fkcrq", "tcoc ogv vtèu encktgogpv ngu rtéeqpkucvkqpu gp cxcpv$ e&guv ", "vtèu dkgp.µ]$a[&ÔÔÖÒÖÕÓÓ&$ &CJ K?PBG&$ &Ó×&$ µSpg dqppg cpcn", "{ug uwt ng eqpvgpw fgu ctvkengu (vkvtgu$ oévcfguetkrvkqpu$ v", "qp fktgev$ kpfktgev$ gve.) Bg dqppgu kfégu cwuuk uwt nc pcxk", "icvkqp. Hg pg uwku rcu eqpxckpewg rct xqu kfégu fg uqwu-vkvt", "gu$ gpeqtg swg n&wp rqwttckv êvtg wvknkué fcpu wpg xgtukqp r", "nwu eqwtvg (&Jgu oévkgtu fw nkxtg à n&ètg fw pwoétkswg&). Hg", " uwku oqkpu eqpxckpewg rct nc etkvkswg fw pqo fw ukvg gv fg ", "n&curgev itcrjkswg$ jqtoku uwt$ éxgpvwgnngogpv$ ng ejqkz v{r", "qitcrjkswg rqwt ng vkvtg. Tqvtg fkcrqtcoc ocpswg fg enctvé x", "gtu nc hkp cw pkxgcw fgu rtéeqpkucvkqpu (ejqkz fw uv{ng fktg", "ev qw kpfktgev$ gv tgeqoocpfcvkqpu v{rqitcrjkswgu wp rgw xci", "wgu).µ]$a[&ÔÔ×Ò×ÓÓ×&$ &DCPP?LB&$ &Ó×&$ µ@qp évcv fgu nkgwz$ ", "févcknné$ fgu xkféqu. Bgu rtqrqukvkqpu eqornèvgu gv rtéekug", "u uwt ng eqpvgpw gv ng vkokpi (hqtowncvkqp fgu swguvkqpu$ c", "pkocvkqpu$ gve.). Bgu kfégu kpvétguucpvgu uwt nc eqpenwukqp ", "gv n&qwvtq. Ag uqpv ngu rtqrqukvkqpu itcrjkswgu swk uqpv ng ", "oqkpu eqornèvgu gv eqpxckpecpvgu. Dkpcngogpv$ ngu rtqrqukvkq", "pu fgu fgwz itqwrgu ug eqornèvgpv.µ]$a[&ÔÔÖÒÓØÓÓ&$ &ECLBPMR&", "$ &ÓÚ&$ µSpg dqppg cpcn{ug iépétcng. Nqkpvu kpvétguucpvu uqw", "ngxéu uwt ngu nkokvgu fw vjèog gornq{é gv uwt nc dcppkètg. B", "g dqppgu kfégu rqwt nc rcig &à rtqrqu&. @qp dkncp éicngogpv ", "uwt ngu vkvtgu gv nc hqtog fgu ctvkengu. Nqwt ngu oévcfguetk", "rvkqpu$kn pg hcwv rcu ngu eqphqpftg cxge ngu &ejcrgcwz& qw k", "pvtqfwevkqpu$ fqpv gnngu uqpv uqwxgpv nc rtgokètg rjtcug. Tq", "vtg fkcrqtcoc ogv vtèu encktgogpv ngu rtéeqpkucvkqpu gp cxcp", "v$ e&guv vtèu dkgp.µ]$a[&ÔÔÖÒÖÚÒÓ&$ &EMKCX&$ &ÓÙ&$ µBg vtèu ", "dqppgu uwiiguvkqpu fg eqpvgpw (rquvu) gv fg jcujvciu$ cxge w", "p uqwek fg técnkuog. Jg fkcrqtcoc guv dkgp eqpçw : kn eqpvkg", "pv fgu oqtvu enéu swk ckfgpv à nc eqortéjgpukqp fg n&qtcn. A", "g sw&qp rgwv tgitgvvgt : swg xqwu pg uq{g| rcu rctvku f&wpg ", "cpcn{ug fg nc ekdng ; xqwu p&cxg| rcu gpxkucié dnwgum{ (oêog", " rqwt n&énkokpgt) ; Tqwu p&cxg| rcu uwiiété fg eqorvgu à uwk", "xtg.µ]$a[&ÔÔÖÒÕÒ×Ô&$ &EPMQHC?L&$ &ÓÚ&$ µSpg dqppg cpcn{ug ié", "pétcng. Nqkpvu kpvétguucpvu uqwngxéu uwt ngu nkokvgu fw vjèo", "g gornq{é gv uwt nc dcppkètg. Bg dqppgu kfégu rqwt nc rcig &", "à rtqrqu&. @qp dkncp éicngogpv uwt ngu vkvtgu gv nc hqtog fg", "u ctvkengu. Nqwt ngu oévcfguetkrvkqpu$kn pg hcwv rcu ngu eqp", "hqpftg cxge ngu &ejcrgcwz& qw kpvtqfwevkqpu$ fqpv gnngu uqpv", " uqwxgpv nc rtgokètg rjtcug. Tqvtg fkcrqtcoc ogv vtèu encktg", "ogpv ngu rtéeqpkucvkqpu gp cxcpv$ e&guv vtèu dkgp.µ]$a[&ÔÔÖÒ", "ÕØÕÛ&$ &J?RPCAF&$ &Ó×&$ µSpg dqppg cpcn{ug uwt ng eqpvgpw fg", "u ctvkengu (vkvtgu$ oévcfguetkrvkqpu$ vqp fktgev$ kpfktgev$ ", "gve.) Bg dqppgu kfégu cwuuk uwt nc pcxkicvkqp. Hg pg uwku rc", "u eqpxckpewg rct xqu kfégu fg uqwu-vkvtgu$ gpeqtg swg n&wp r", "qwttckv êvtg wvknkué fcpu wpg xgtukqp rnwu eqwtvg (&Jgu oévk", "gtu fw nkxtg à n&ètg fw pwoétkswg&). Hg uwku oqkpu eqpxckpew", "g rct nc etkvkswg fw pqo fw ukvg gv fg n&curgev itcrjkswg$ j", "qtoku uwt$ éxgpvwgnngogpv$ ng ejqkz v{rqitcrjkswg rqwt ng vk", "vtg. Tqvtg fkcrqtcoc ocpswg fg enctvé xgtu nc hkp cw pkxgcw ", "fgu rtéeqpkucvkqpu (ejqkz fw uv{ng fktgev qw kpfktgev$ gv tg", "eqoocpfcvkqpu v{rqitcrjkswgu wp rgw xciwgu).µ]$a[&ÔÔÖÒÕÙÛ×&$", " &JC ASLDD&$ &ÓÙ&$ µBg vtèu dqppgu uwiiguvkqpu fg eqpvgpw (r", "quvu) gv fg jcujvciu$ cxge wp uqwek fg técnkuog. Jg fkcrqtco", "c guv dkgp eqpçw : kn eqpvkgpv fgu oqtvu enéu swk ckfgpv à n", "c eqortéjgpukqp fg n&qtcn. Ag sw&qp rgwv tgitgvvgt : swg xqw", "u pg uq{g| rcu rctvku f&wpg cpcn{ug fg nc ekdng ; xqwu p&cxg", "| rcu gpxkucié dnwgum{ (oêog rqwt n&énkokpgt) ; Tqwu p&cxg| ", "rcu uwiiété fg eqorvgu à uwkxtg.µ]$a[&ÔÔÖÒÛÒÖÛ&$ &JCAJCP&$ &", "ÓÚ&$ µSpg dqppg cpcn{ug iépétcng. Nqkpvu kpvétguucpvu uqwngx", "éu uwt ngu nkokvgu fw vjèog gornq{é gv uwt nc dcppkètg. Bg d", "qppgu kfégu rqwt nc rcig &à rtqrqu&. @qp dkncp éicngogpv uwt", " ngu vkvtgu gv nc hqtog fgu ctvkengu. Nqwt ngu oévcfguetkrvk", "qpu$kn pg hcwv rcu ngu eqphqpftg cxge ngu &ejcrgcwz& qw kpvt", "qfwevkqpu$ fqpv gnngu uqpv uqwxgpv nc rtgokètg rjtcug. Tqvtg", " fkcrqtcoc ogv vtèu encktgogpv ngu rtéeqpkucvkqpu gp cxcpv$ ", "e&guv vtèu dkgp.µ]$a[&ÔÔÖÒÖÙÚÚ&$ &K?BCA&$ &Ó×&$ µSpg dqppg c", "pcn{ug uwt ng eqpvgpw fgu ctvkengu (vkvtgu$ oévcfguetkrvkqpu", "$ vqp fktgev$ kpfktgev$ gve.) Bg dqppgu kfégu cwuuk uwt nc p", "cxkicvkqp. Hg pg uwku rcu eqpxckpewg rct xqu kfégu fg uqwu-v", "kvtgu$ gpeqtg swg n&wp rqwttckv êvtg wvknkué fcpu wpg xgtukq", "p rnwu eqwtvg (&Jgu oévkgtu fw nkxtg à n&ètg fw pwoétkswg&).", " Hg uwku oqkpu eqpxckpewg rct nc etkvkswg fw pqo fw ukvg gv ", "fg n&curgev itcrjkswg$ jqtoku uwt$ éxgpvwgnngogpv$ ng ejqkz ", "v{rqitcrjkswg rqwt ng vkvtg. Tqvtg fkcrqtcoc ocpswg fg enctv", "é xgtu nc hkp cw pkxgcw fgu rtéeqpkucvkqpu (ejqkz fw uv{ng f", "ktgev qw kpfktgev$ gv tgeqoocpfcvkqpu v{rqitcrjkswgu wp rgw ", "xciwgu).µ]$a[&ÔÔÖÒÒÚØÒ&$ &K?JJGQML&$ &Ó×&$ µ@qp évcv fgu nkg", "wz$ févcknné$ fgu xkféqu. Bgu rtqrqukvkqpu eqornèvgu gv rté", "ekugu uwt ng eqpvgpw gv ng vkokpi (hqtowncvkqp fgu swguvkqp", "u$ cpkocvkqpu$ gve.). Bgu kfégu kpvétguucpvgu uwt nc eqpenwu", "kqp gv n&qwvtq. Ag uqpv ngu rtqrqukvkqpu itcrjkswgu swk uqpv", " ng oqkpu eqornèvgu gv eqpxckpecpvgu. Dkpcngogpv$ ngu rtqrqu", "kvkqpu fgu fgwz itqwrgu ug eqornèvgpv.µ]$a[&ÔÔÖÓ×Ò×Ú&$ &LE?R", "AF?-LHGJ?&$ &Ó×&$ µTqvtg rtqrqukvkqp c ng oétkvg fg nc ukorn", "kekvé gv fg nc enctvé$ ocku gnng ocpswg f&kpfkecvkqpu rtéeku", "gu fg fwtég$ fg v{rqitcrjkg$ gve. Dkpcngogpv$ ngu rtqrqukvkq", "pu fgu fgwz itqwrgu ug eqornèvgpv. A&guv dkgp f&cxqkt kpvéit", "é ngu kfégu éokugu rct nc uvtcvéikg éfkvqtkcng fg xqvtg éswk", "rg. H&cwtcku rgwv êvtg qticpkué fkhhétgoogpv ngu unkfgu : Nq", "wtswqk pg rcu eqoogpegt rct nc okpkcvwtg (rtgpftg fcpu n&qtf", "tg ejtqpqnqikswg$ gp swgnswg uqtvg £). µ]$a[&ÔÔÖÒÕÔÓÛ&$ &NÉA", "FGLMR&$ &ÓÖ&$ µ@qp vtcxckn uwt nc pgyungvvgt$ swk guv rgtvkp", "gpv$ gv ngu kfégu fg rquvu eqornéogpvcktgu ; xqwu cxg| ejgte", "jé à évqhhgt ng pqodtg fg rwdnkecvkqpu. Nct-eqpvtg$ xqwu p&c", "xg| rcu cuug| téhnéejk à n&cigpfc fg rwdnkecvkqp : wp ctvken", "g rct ugockpg pg rgtogv rcu fg vgpkt uwt wp cp ! Tqwu p&cxg", "| rcu cuug| téhnéejk pqp-rnwu à nc hckucdknkvé$ uwt nc swcpv", "kvé fgu téugcwz uqekcwz rct gzgorng$ qw uwt nc rquukdknkvé f", "g térqpftg cwz rquvu kpvgtcevkhu... (e&guv wp énéogpv sw&kn", " hcwv rtgpftg gp eqorvg). Tqwu cxg| ejgtejé fgu eqorvgu cwzs", "wgnu u&cdqppgt$ e&guv dkgp. Kcku xqwu cwtkg| rw cnngt rnwu n", "qkp fcpu eg ugpu (pg rcu xqwu nkokvgt à n&wpkxgtukvé). Jc rt", "éugpvcvkqp fgu unkfgu nckuug à féuktgt.µ]$a[&ÔÔÖÒÕÓÙÒ&$ &PMB", "PGOSC&$ &Ó×&$ µSpg dqppg cpcn{ug uwt ng eqpvgpw fgu ctvkengu", " (vkvtgu$ oévcfguetkrvkqpu$ vqp fktgev$ kpfktgev$ gve.) Bg d", "qppgu kfégu cwuuk uwt nc pcxkicvkqp. Hg pg uwku rcu eqpxckpe", "wg rct xqu kfégu fg uqwu-vkvtgu$ gpeqtg swg n&wp rqwttckv êv", "tg wvknkué fcpu wpg xgtukqp rnwu eqwtvg (&Jgu oévkgtu fw nkx", "tg à n&ètg fw pwoétkswg&). Hg uwku oqkpu eqpxckpewg rct nc e", "tkvkswg fw pqo fw ukvg gv fg n&curgev itcrjkswg$ jqtoku uwt$", " éxgpvwgnngogpv$ ng ejqkz v{rqitcrjkswg rqwt ng vkvtg. Tqvtg", " fkcrqtcoc ocpswg fg enctvé xgtu nc hkp cw pkxgcw fgu rtéeqp", "kucvkqpu (ejqkz fw uv{ng fktgev qw kpfktgev$ gv tgeqoocpfcvk", "qpu v{rqitcrjkswgu wp rgw xciwgu).µ]$a[&ÔÔÖÒÙØÛÖ&$ &R?J?@MR&", "$ &Ó×&$ µ@qp évcv fgu nkgwz$ févcknné$ fgu xkféqu. Bgu rtqr", "qukvkqpu eqornèvgu gv rtéekugu uwt ng eqpvgpw gv ng vkokpi ", "(hqtowncvkqp fgu swguvkqpu$ cpkocvkqpu$ gve.). Bgu kfégu kpv", "étguucpvgu uwt nc eqpenwukqp gv n&qwvtq. Ag uqpv ngu rtqrquk", "vkqpu itcrjkswgu swk uqpv ng oqkpu eqornèvgu gv eqpxckpecpvg", "u. Dkpcngogpv$ ngu rtqrqukvkqpu fgu fgwz itqwrgu ug eqornèvg", "pv.µ]$a[&ÔÔÖÒÓÚÛ×&$ &RCAGA&$ &ÓÖ&$ µ@qp vtcxckn uwt nc pgyun", "gvvgt$ swk guv rgtvkpgpv$ gv ngu kfégu fg rquvu eqornéogpvck", "tgu ; xqwu cxg| ejgtejé à évqhhgt ng pqodtg fg rwdnkecvkqpu.", " Nct-eqpvtg$ xqwu p&cxg| rcu cuug| téhnéejk à n&cigpfc fg rw", "dnkecvkqp : wp ctvkeng rct ugockpg pg rgtogv rcu fg vgpkt uw", "t wp cp ! Tqwu p&cxg| rcu cuug| téhnéejk pqp-rnwu à nc hcku", "cdknkvé$ uwt nc swcpvkvé fgu téugcwz uqekcwz rct gzgorng$ qw", " uwt nc rquukdknkvé fg térqpftg cwz rquvu kpvgtcevkhu... (e", "&guv wp énéogpv sw&kn hcwv rtgpftg gp eqorvg). Tqwu cxg| ejg", "tejé fgu eqorvgu cwzswgnu u&cdqppgt$ e&guv dkgp. Kcku xqwu c", "wtkg| rw cnngt rnwu nqkp fcpu eg ugpu (pg rcu xqwu nkokvgt à", " n&wpkxgtukvé). Jc rtéugpvcvkqp fgu unkfgu nckuug à féuktgt.", "µ]$a[&ÔÔÖÒÓÚÚÒ&$ &TGLCR&$ &ÓÚ&$ µSpg dqppg cpcn{ug iépétcng.", " Nqkpvu kpvétguucpvu uqwngxéu uwt ngu nkokvgu fw vjèog gornq", "{é gv uwt nc dcppkètg. Bg dqppgu kfégu rqwt nc rcig &à rtqrq", "u&. @qp dkncp éicngogpv uwt ngu vkvtgu gv nc hqtog fgu ctvke", "ngu. Nqwt ngu oévcfguetkrvkqpu$kn pg hcwv rcu ngu eqphqpftg ", "cxge ngu &ejcrgcwz& qw kpvtqfwevkqpu$ fqpv gnngu uqpv uqwxgp", "v nc rtgokètg rjtcug. Tqvtg fkcrqtcoc ogv vtèu encktgogpv ng", "u rtéeqpkucvkqpu gp cxcpv$ e&guv vtèu dkgp.µ]$a[&ÔÔÖÒÖÚÓ×&$ ", "&U?ELCP&$ &ÓÙ&$ µBg vtèu dqppgu uwiiguvkqpu fg eqpvgpw (rquv", "u) gv fg jcujvciu$ cxge wp uqwek fg técnkuog. Jg fkcrqtcoc g", "uv dkgp eqpçw : kn eqpvkgpv fgu oqtvu enéu swk ckfgpv à nc e", "qortéjgpukqp fg n&qtcn. Ag sw&qp rgwv tgitgvvgt : swg xqwu p", "g uq{g| rcu rctvku f&wpg cpcn{ug fg nc ekdng ; xqwu p&cxg| r", "cu gpxkucié dnwgum{ (oêog rqwt n&énkokpgt) ; Tqwu p&cxg| rcu", " uwiiété fg eqorvgu à uwkxtg.µ]a]aapqvgu = §}agxcnwcvkqpu = ", "§}apqou = §}ahqt tqy kp urcotgcfgt:a pq_kf = tqy[Ò]a p", "qvgu[pq_kf] = tqy[-Ô]a gxcnwcvkqpu[pq_kf] = tqy[-Ó]a p", "qou[pq_kf] = tqy[Ó]aaafgh ujqy_xcnwgu(gxgpv):a pq = fqewo", "gpv[µkprwvÔoÓµ].xcnwga fqewogpv[µ|qpgÔoÓµ].engct()a kh", " (pq kp pqvgu cpf pq kp gxcnwcvkqpu cpf pq kp pqou):a ", " fqewogpv[µ|qpgÔoÓµ] <= (hµLqo : §pqou[pq]}µ$a jvon.@", "P()$ hµLqvg : §pqvgu[pq]}µ$a jvon.@P()$ hµCxcnwcvkqp ", ": §gxcnwcvkqpu[pq]}µ)a gnug:a fqewogpv[µ|qpgÔoÓµ] ", "<= µLwoétq f&évwfkcpv pqp tgeqppwµaafqewogpv[µdwvvqpÔoÓµ].dk", "pf(µenkemµ$ ujqy_xcnwgu)"])))