Tracing and explaining execution of CLP(FD) programs

Full text

(1)

(2)

(3)

(4) !#"%$'&)(+*-,/. &01 1243 576189 :+;=<?>A@CB 6EDGF < ;H<?IKJL@EM 6ON <?PQICJQR <?ST>GUA@CSV>EI 576XW ST;HPZY=Y=[V> \V]_^\C`+acd b egfHhjilk+mnmVoqpCrEsut `K\VvAwLx?ygz|{}x~cc\+aX`+\T f m+f n?}l?LV l?lgVO+}g}glOG VlggTlg}Xqg ¡£¢G¤? g¥ hjf pT¦¨§g©no §?hjª7¦¨7«jinfd hjf d¬§?®«qh¯d?°H¦±+e âO³²µ´·¶¸¹ hj§?e?h¯d?ºo ºd ¦±+»¼k1Q§l° ©noqfHo§? ¹ hj§£] pT¦±m+¦¨ne½¹ ¦¨+Z¹ § hjº`Hd «j¦¨§g¹ ¾d?¿K§g©V«³° §gl«qhj§g»E§?·fHÀVf ° ©+«j¦¨§?¾¹ d?nm w mV§gºd?¦¨º§Tm+¦¼Án°ud «j¦¨§gEr Â«jin¦ö d fHh f hjf oqf l«Ad«qh¯d?°Hfo_«qhj©n°H«j©VhjfÃ«jind « hj§ pT¦±m+¹ f o½¦¨+Z§ hjºd «j¦¨§gÄd ¿K§g©+«|dgm+m+¦¼«j¦¨§gGd »` ¦¨º ¹ §?hq«¯d?l«Åd?o ¹ f °=«j o rÆ

(5) f¦¨n° § h ¹ §?h¯d «jf fHÀ »Çd Gd£«j¦±§?no|¦¨´ «jinf«qh¯d?°HfÈo_«q`hj©n °=«j©+hjf ¦r fgrA¹Ähjfu d oq§gno½Z§?h iTk

(6) ° fHhq«¯d?¦¨Äoq§g»¨p}fHh d °H«j¦¨§gno§l° °H©+hur ©+hq«ji+fHhjº§?hjf f¾° §?ºfÈ© ¦¼«jiÉdÊZ§ hjºd «Z§ h1m+f oq°=hj¦±¿+¦¨ne «ji+ffHÀVf ° ©V«j¦¨§g1§?X«ji+f³Án»¼«jfHhj¦¨ne|d »ëg§?hj¦¼«ji+ºo§?·e?»¨¹ §g¿Gd »C° §g+o_«qh¯´ d?¦¨l«jo r \ §gº¹ f³n`+f ¦±m+f d?oÂd ¿K§g©+«³«jinf®mVf oq¦ëgÊ§?Ã«jinfÂ«qh¯d?°HfÅd£hjfÅd »±oq§ hjfHoqf l«jfumEr §?hfHÀ+d?º »¨f f ind£pgfÅº§Tm+fH»±f mË§?©+hÌ«qh¯ d ° f`d?od7n fHo_«jfumË¿+»¨§l°=ªÊo_«qhj ©n°=«j©+hjf®¹ ¦±§?h¯mVfHhÌ«j§¾d °=i+¦¨f p}f d®in¦¨fHh¯d hj°¯in¦¨°ud »OpT¦¨f r »öq§ +f d kVoÍd?¿K§?©+«i+§ «j§®hjf hjfHoqf l«³d?G¹ m¦±m+f l«j¦¼Qk mV¦¨ÎCf=hjf l«Ïf l«j¦¼«j¦¨f oÏoq©+°=id oÏ° §?no_«qh¯d ¦±l«jod GmmV§gºd?¦¨p?d hj¦±d?¿+»¨f od£hjf hjf oqf l«jfumEr Ð ÑnÒ³ÓKÔCÕÂÖ½×®ØXÓCÙjÕ³Ò Ú >ÜÛ=ÝEJQY½ÞESTÞX< ;g@Xß<ÞC;=<gY¯<?>nÛ½>C<?ßàJQIK<gSVY½JÇ>ÜÛ=ÝC<¾ST;H<?Sá[VâÛ=; SVR JÇ>C: WãÃä®åçæèÅé ÞC;H[V:V; STêáY 6 M< ßÛH;=<?>EICY®Y=UER ÝSVYÂÛ=; SVR£JQ>C:á:+PÇ[+ëESTPÃR [V>EY¯Û=; STJQ>nÛHYÂSV>EI

(7) <£ìKÞCPZSTJQ>CJQ>C:ÊY¯[+PÇí+< ;S+RuÛ=JQ[V>OYST;H< JÇ>GíV<gYjÛHJÇ:nSlÛH<?I 6ÌD JÇ>OR£<ÜÛHÝC<?Y=<ÜJZY=Y=UC<gYËST;H<ÄY¯Û=JQPÇPÅJQ>-Û=ÝC<?JÇ;

(8) IK<?íV< PQ[VÞEêÈ<?>nÛYjÛ ST:+<?YÊSV>EI->C[VÛ Y¯îKY¯Û=< êáSTÛ=JZR STPQPQîUEY¯<gI@Tß<ÝOS}íV<Ì>C[TÛÛH;=JQ<?I1Û=[R£;H<?STÛ=<ÂS½UC>CJQíV< ; YHSTPnÛ=; SVR <ê¾[KIK<?P 6lÚ >EY¯Û=<gSVI@ ß<½âµ[KR£UEY[V> WãÃä®åçæèÅé ST>OIáJÇ>ÞEST;=Û=JZR£UEPQSV;³ÛHÝC< Wãcä®åçæÏè|é Y¯[+PÇí+< ;[Tâ DGÚ=WÌD Û=UEY ä ;H[VPQ[V: 6 BÌÝC<JQIC<?S¾[TâÏÛ=; SVR JÇ>E:¾R [V>EY¯Û=; STJQ>nÛÂÞC;=[+:V; STêáY[V;HJÇ:+JÇ>OSlÛ=<gYâµ;=[+ê 5 <?JÇ<?;1ï ðlñ 6 9PZY¯[O@KÛ=ÝE< Y¯<gST; R ÝKòçÛH;=<?<®íGJZY¯UESVPÇJ F STÛ=JQ[V>áÛH[G[VPJQ> Wó®Újä ïÇô?õTñUEY¯<gYÂSÛH;HS+R£<ÅPÇ[+:1ÛH[¾ëO<STëEPÇ<ÅÛ=[áIKJZY=ÞCPQS}î ÞC;=[+ÞEST:nSlÛHJÇ[+>Ä< í+< >nÛHY 65 [V;H<áR£UC;H;H< >nÛß[+;=öJZYR SV;=;HJQ<?IÜ[+UKÛëGî ã SV>C:V<?íGJÇ>C<È<£Û1SVP 6 ßÂÝE[ ÞC;=<gY¯<?>nÛ=<?IS WãÃä®åçæèÅé Û=; SVR£<1êÈ[KIK<?PÃJQ>'ï ÷lñ 6 BÌÝC<?JÇ;½ß[+;=öJQY½>ESlÛHUC; STPQPÇîJÇ>KøOUC< >ER <?IëGî Û=ÝC<ß[V;Höá[Tâ è UOR SVYHYK<Èù ï õlñA[+>ú½ÞEJÇUCê 6 ä ;H< íGJÇ[+UEYß[V;HöÉY¯UER ÝûSVY1Û=ÝC<

(9) STëX[líV<Ëê¾SVJÇ>EPÇîÉâµ[KR£UOY¯<gY[+>üÞC;H[líGJQIKJQ>C:¬JÇ>Kâµ[+;=êáSTÛ=JQ[V> STëX[VUKÛR [V>nÛ=;H[VPK[Vâ<£ìK<?R UKÛ=JQ[V>ÊSV>EIáIK[VêáSVJÇ>¾ê¾[KIKJ±ýXR SlÛHJÇ[+> 6 ú®âAR [VUC; Y¯<+@}Û=ÝCJZYJÇ>Kâµ[+;=êáSTÛ=JQ[V> JQYÌ>C<?<?IK<gI@KëCUKÛJÇâc>E[TÛ=ÝEJÇ>C:¾<?PQY=<|JQYÞC;H[líGJQIK<gI@GJÇê¾ÞX[V;=ÛHSV>+ÛÂJQ>Kâµ[V;HêáSlÛHJÇ[+>STëX[VUCÛÛHÝC<<£ìK< ò R£UKÛHJÇ[+>ÊJQYPQ[+Y¯Û 6nþ <½ÝES}íV<®PÇ[G[Vö+<?IÊSTÛ³ÛHÝC<®< ìG<gR£UKÛHJÇ[+>Ê[TâÏS WãÃä½åæè|é ÞC;H[V:+;HSVêÿâµ;H[Vê%Û=ÝE< âµ[VPQPÇ[lßÂJQ>C:¾ÞO<?;HY=ÞX<?RuÛHJÇí+<?Y ô 6®W [V>nÛ=;H[VPK[Vâ ÍìK<?R£UCÛ=JQ[V> lJQ>Kâµ[V;HêáSlÛHJÇ[+>¾SVëO[+UKÛÞO[nYjÛHJÇ>E:>C< ß R£[+>EYjÛH;HSVJÇ>nÛ Y @lßÌSTöGJQ>C:|UCÞ IK< PZS}îV<gIR [V>EY¯Û=; STJQ>nÛHY?@KR£[V>OYjÛH;HSVJÇ>nÛÌ< >nÛHSVJÇPQê¾< >nÛ }âSTJQPÇUC;H< 6 > EJQ>Kâµ[V;HêáSlÛHJÇ[+>SVëO[+UKÛ®ílST;HJQSVëCPQ<|IC[VêáSTJQ>

(10) >EST;H;=[lßÂJQ>C: å ÞC;HUC>Kò 6Âè [+êáSTJQ> 5 [GICJ±ýOR?SlÛHJÇ[+ JÇ>E: éu6 õ 6Âè <gR£PZST; SlÛHJÇí+<½9®Y=ÞX<?Ru Û KJÇ>Câµ[V;Hê¾STÛ=JQ[V>STëX[VUKÛÌßÂÝGîÊR£< ;=ÛHSVJÇ>SVRuÛHJÇ[+>EYÌST;H<Û STöV<?>ËëGî¾Û=ÝE< Y¯[+PÇí+< ;ÂST>OIJQ>ßÂÝCJQR ÝR [V>nÛ=< ìnÛÌÛHÝC< î[GR?R£UC; 6.

(11) E6Âä ;H[KR£<?ICUC;HSVPK9®Y=ÞO<gRuÛ+JÇ>Câµ[V;Hê¾STÛ=JQ[V>áSTëX[VUCÛýEP±ÛH< ;HJÇ>E:STPQ:V[V;HJÇÛ=ÝCêáYST>OI1ÛHÝC< JQ;Í<?>+ÛHJ±ÛHJÇ<gY 6 þ <ÊëEUCJÇPZI Û=ÝE<áÛ=; SVR <á[TâÂ< í+< >nÛHYS+YS>C<gYjÛH<?IÉëCPQ[KR ö¬Y¯Û=;HUERuÛHUC;H< 6 BÌÝEJQYê¾<gST>EYÛ=ÝESTÛ êÈ[nYjÛ[VâÛHÝC<ÈÛ=; SVR£<¾<?íV< >nÛ YSTÞCÞX<?SV;ÅJQ>EY=JQIC<ÊSëEPÇ[KR öÄY=UC;H;=[+UC>EIK<gIÜëGîÄS

(12) YjÛ ST;=Û=JQ>C:

(13) < í+< >nÛ ST>EIüSV>7< >EICJÇ>C:Ä< íV<?>nÛ 6 ú½>C<Ê<£ìCSVêÈÞEPÇ<Ê[VâÂÛ=ÝCJZYJQYÛ=ÝC<ÞO[nYjÛHJÇ>C:¬[TâS>C<?ß R£[+>EYjÛH;HSVJÇ>nÛg@ ßÂÝCJQR Ý:+JÇí+<?YÂ;HJZY¯<|ÛH[ËSáëCPQ[KR öY=UC;H;=[+UC>EIK<gIëGîËÛ=ÝC<1Û=; SVR£<<?íV<?>+Û

(14) Y ÈSV>EI 6lÚ >OY¯JZIK<½Û=ÝCJZYëCPÇ[KR ö·@nÛ=; SVR <®< í+< >nÛHYIK<gY=R ;=JQëCJQ>C:ÛHÝC<|ÞO[nYjÛHJÇ>C:È[TâÏIK< ê¾[V> å Y é âµ[V;ÛHÝC<®>C<?ß-R£[V>OYjÛH;HSVJÇ>nÛ³ST>OIJQ>CJÇÛ=JZSTPXÞC;HUC>CJQ>C:+YÍSV;=<Â:+< >C<?;HSTÛ=<gI 6VN UCJQPQIKJQ>C:ÛHÝC<ÂÛH;HS+R£<ÂPQJÇö+< Û=ÝCJZYÝES+YY=< íV<?;HSVPÍSVIKílSV>+Û ST:+<?Y 6Aæ JQ; YjÛ1[VâÌSVPÇPL@ÃJÇÛ1êáSTö+<?YJÇÛ1<gSVY=JÇ<?;|Û=[Ü:+<£Û1SY¯Û=;HUERuÛHUC;=<gI [líV< ;HíGJÇ<?ß [TâÌÛHÝC<¾Û=; SVR < 6cD <gR£[+>EI@ÃY=JÇê¾JQPQSV;1SVR£Û=JQ[V>EY|êáS}î¬ëO<Ê:+;=[+UCÞX<?IÄÛ=[V:+<£ÛHÝC< ;JQ>EY=JQIC< Û=ÝC<YHSTê¾<ÌëCPQ[GR ö 6Væ UC;=Û=ÝC<?;=ê¾[V;H<V@l< ìGÛ=; S½JQ>Kâµ[+;=êáSlÛHJÇ[+>ÈSVëO[+UKÛÛ=ÝC<½SVRuÛHJÇ[+> å Y é ÛHSVönJQ>C:|ÞCPZSVR < ê¾S}îëO<ÅSVICIC<?IÛ=[ÛHÝC<[+ÞO<?>CJÇ>E:1ST>EIáR PÇ[nY¯JQ>C:<?íV< >nÛ YÍSVYß< PQPOS+YÛ=ÝE;=[+UC:VÝáSVIEIK<?I¾<?íV< >nÛ Y JÇ>EY=JZIK<|Û=ÝC<ëEPÇ[KR ö 6 þ <JQIC< >nÛ=JÇâµîílST;HJQSVëCPÇ<gYÃSV>EI[VÛ=ÝC<?;c<?>+ÛHJ±ÛHJÇ<gYÏënî|ÛHÝC< JQ;R£[V>nÛH<£ìGÛ?@}J 6 < 6 ÛHÝC< JQ;ÏÞO[nY¯JÇÛ=JQ[V>EYÏJQ> Û=ÝC<R [V>EY¯Û=; STJQ>nÛHY?@}SV>EI>C[TÛ[V>EPÇîëGî1Y=[Vê¾<ÌJZIK< >nÛ=JÇýE<?; 6 BÌÝCJZYJZYUEY=<£âµUCPKßÂÝC<?>¾[V>C<Ì>C<?<?ICYÏÛH[ IKJQY¯Û=JQ>C:+UCJQY=ÝËSY=ÞX<?R£JÇýORÂ[KR?R£UC;H;=<?>ER£<SVê¾[V>C:1Y=< í+< ; STPC[Vâ·Û=ÝC<ÅY=SVêÈ<®í}SV;=JZSTëEPÇ< 6TÚ >ËSVIEIKJ±ÛHJÇ[+> Û=[ÉÛ=ÝOSlÛ?@³J±ÛÊêáSTö+<?Y¾JÇÛÊÞO[nY=Y=JQëCPÇ<

(15) ÛH[üSTPZY¯[ÉR£PQ<?SV;=PQîüJZIK< >nÛHJ±âµî< >nÛ=JÇÛ=JQ<?YÊY=UER Ý-SVY¾JQ>nÛ=<?:V< ; Y?@ SlÛ=[+êáYÂST>EIR£[+êÈÞX[VUE>EIÛ=< ;HêáY 6 9PZY¯[O@ÏR [V;H;=<gY¯ÞX[V>EICJÇ>C:

(16) ÛH[ÄÞX[VJQ>nÛÈõÄSVëO[lí+<V@cß<ÞC;=[líGJZIK< "!$#%'&(&)+*-,(.ï /}ñâµ[V;1ßÂÝGî R£< ;=ÛHSVJÇ>ÜS+RuÛHJÇ[+>EY®SV;=<Û STö+< >ëGîËÛHÝC<¾Y¯[+PÇí+< ; 6 BÌÝC<?Y=<< ìGÞEPQSV>ESlÛHJÇ[+>EY®SV;=<JQ>ER [V;HÞO[+;HSTÛ=<?IJQ> Û=ÝC<ËÛ=; SVR£<Ëënî7Y=ÞO<gR£JÇýORÊ< ìKÞCPQSV>ESlÛHJÇ[+>ÉÛ=; SVR <Ê< í+< >nÛHY 6 9½RuÛ=JQ[V>OYâµ[+;1ßÂÝCJZR Ýü<£ìKÞCPZST>OSlÛ=JQ[V>OY ST;H<ÞC;H[línJZIK<gIJÇ>OR£PQUEIK<¾IK[VêáSTJQ>Ü>ESV;=;H[lßÂJQ>C:E@KâSVJÇPQUC;H<V@·IK< ê¾[+>Ü< > 0nUC<?UCJQ>C:SV>EIÜJQ>nÛ=< ;H>ESVP R£[V>OYjÛH;HSVJÇ>nÛ®ÞX[+Y¯Û=JQ>C: 6Xþ << ìnÛH< >EIÜÞC;=<?íGJÇ[+UEYß[V;HöëGîSTPZY=[ÊÞC;H[línJZIKJQ>C:ËR [Vê¾ÞESVR£Û½< ìGÞEPQSTò >ESlÛHJÇ[+>EYâµ[V;Â:+PÇ[+ëESTPAR [V>EY¯Û=; STJQ>nÛHY 6GN îIK[VJQ>C:ÈÛ=ÝCJZY?@Cß<|[+ëKÛHSVJÇ>S¾YjÛH;=[+>C:V<?;ÌPÇJQ>CöËëX<£Ûjß< <?> Û=ÝC<R [V>EY=JQY¯Û=<?>ER£îË;=UCPQ<?YÌ[VâÃÛHÝC<:VPQ[VëESVPAR£[+>EYjÛH;HSVJÇ>nÛ YSV>EIËÛ=ÝC<|ÛH;HS+R£< 6 5 [V;H< [lí+< ;g@ R£[+;=;H<?Y=ÞO[+>EIKJQ>C:ÂÛH[ÅÞX[VJQ>nÛ STëX[líV<+@?ß<ÞC;=[líGJZIK<ÍÛH;HS+R£<< íV<?>nÛHYR£[+>+Û STJQ>CJQ>C: IK<£Û STJQPÇ<gI7JÇ>Câµ[V;Hê¾STÛ=JQ[V>'SVëO[+UKÛÈÛ=ÝC<ËýEP±ÛH< ;HJÇ>E:¬STPQ:V[+;=JÇÛ=ÝEê¾Y1[Tâ®:+PÇ[+ëESTPR£[+>EYjÛH;HSVJÇ>nÛ Y 6 BÌÝCJQY R£[V>OR£< ;H>EY®JQIK<?>nÛ=JÇâµînJQ>C:

(17) ST>EIÜÞC;=<gY¯<?>nÛ=JQ>C:ÊÛHÝC<ÈIC2J 1·< ;H< >nÛ½<?>nÛ=JÇÛ=JQ<?YÅJÇ>OY¯JZIK<ÛHÝC<¾STPQ:V[V;HJÇÛ=ÝCêáY 6 BÌÝCJQYAÛ=[G[JQ>ER£;H<?S+Y¯<gYXÛ=ÝC<PÇJQ>CöÅëO< Ûjß<?< >|ÛHÝC<Í:VPQ[VëOSTPVR [V>EY¯Û=; STJQ>nÛHYST>OIÅÛ=ÝC<³Û=; SVR£< 6 ó [lß< í+< ;g@ Û=ÝCJZYÂJZYÌêÈ[+;=<|;H< PZSlÛH<?IËÛ=[¾Û=ÝE<ÞC;=[KR <?IKUC; STPS+Y¯ÞX<?R£Û 6 9>7<£ìCSVêÈÞEPÇ<Ê[VâÌSÄY¯JQê¾ÞCPÇ< WãÃä®åçæèÅé ÞC;=[+:V; STê)JQ> DGÚ=WÌD ÛHUEY ä ;=[+PÇ[+:

(18) JQYY¯ÝC[lßÂ>ÉJQ> ì 6 ô 6cÚ ÛÈßÂJÇPQPÌëO<UEY=<?I7ÛHÝC;H[VUC:+ÝC[VUKÛ1Û=ÝC<ÞESTÞX< ; 6ã JQ>C4 < 3657JQ>CJÇÛ=JZSTPQJ F <?Y1Û=ÝC<

(19) IK[+ê¾SVJÇ>OY [TâÛHÝC<

(20) JÇ>ER PÇUOIK<?IílST;HJQSVëCPÇ<gY 6ã JQ>C<g8Y 3697ST>E: I 3<;7

(21) ÞX[+Y¯Û¾Û=ÝC<ß<?PÇPÇò_ön>E[lßÂ>'R£[+>EYjÛH;HSVJÇ>nÛ Y @??A ABCDASV>EE I @F GABH9 6?ã JQ>CI< 36J7ÂR SVPÇPZY DGÚ=WÌD Û=UOLY K YÏëCUCJQP±ÛHJÇ>áY=<?ST; R ÝÞC;H<?IKò JQ=R?>Sl> Û=<|ßÂJÇÛ=ÝS > H?FMNO®Y¯<g> ST; R ÝY¯Û=; SlÛ=<?:Vî 6 Ú >1ÛHÝC<âµ[VPQPÇ[lßÂJQ>C:E@ D <gRuÛ 6 ÞE;=<gY¯<?>+Û YS Wãcä®åçæÏè|é <£ìK<?R UKÛ=JQ[V>Èê¾[KIKC<?<?IK<gI JÇ>[V; IK< ;ÛH[ÈëX<STëCPQ<ÅÛ=[¾ÞC;H<?Y=< >nÛÛ=ÝC<|ÛH;HS+R£<|YjÛH;=UER£Û=UC;H<|JÇ>JÇÛHYÌ;H< PQ< ílST>nÛÂR£[V>nÛH<£ìGÛ 6ED <gRuÛ 6 õ ÞC;=<gY¯<?>nÛHY³Û=ÝC<|IK'J 1X<?;=<?>+ÛÛ=; SVR <®< í+< >nÛHY 6Gæ JQ; YjÛg@nY=[Vê¾<½IC<?Y=JÇ:+>ËR ÝC[VJZR£<gYR [V>ER < ;H>CJQ>C:ÝC[lß ÛH[ ;=<?ÞC;=<gY¯<?>nÛIK'J 1X<?;=<?>+Û< >nÛ=JÇÛ=JQ<?YY=UER ÝÊSVYR£[V>OYjÛH;HSVJÇ>nÛHYST>EI¾ílSV;=JZSTëCPQ<?YST;H<JQ>+ÛH;=[KIKUOR£<?I 6+æ [+P±ò PÇ[lßÂJQ>C:ÅÛ=ÝESTÛ?@lÛHÝC<Û=; SVR <<?íV<?>+Û YST;H<ÌÞC;=<gY¯<?>nÛ=<?IJQ>ÈR ÝGUC>CöKY }Û=; SVR <<?íV<?>+Û YR£[+;=;H<?Y=ÞO[+>EIKJQ>C: Û=[Û=ÝC<ÊYHSTê¾<¾ÞX< ; Y¯ÞX<?R£Û=JQíV<V@AS+Y|>C[TÛH<?IÉSTëX[líV<+@ST;H<ÞC;H<?Y=< >nÛH<?IÄÛ=[V:+<£ÛHÝC< ; 6 9ÂâÛH< ;ÛHÝESlÛg@AS Y¯ÝC[+;¯ÛÍIK<gY=R ;=JQÞKÛHJÇ[+>[VâOÛHÝC<ÂJÇê¾ÞCPQ< ê¾<?>+Û SlÛHJÇ[+>ÈêáS+IK<ÂJÇ> DGÚ=WÌD Û=UEY ä ;=[+PÇ[+:½JZY:VJQíV<?> 6VD <gRuÛ G6. IKJQYHR£UOY=Y=<?YÌÞX[+YHY¯JQëCPQ<ST;H<?SVY[VâcUEYHST:+< 6Cæ JÇ>OSTPQPÇî+@ D <?R£Û 6 /ÈR [V>ER PÇUEIC<?YÛ=ÝE<ÞESTÞX< ; 6 PRQ in¦ö¦ö³«jinfGd ¦±pgf½p}f=hjoq¦±§?á§? }} TL S@Slg}?l ` d °=i+¦±fHpV¦¨+e«ji+fojd?ºf ¹ hj©n+¦¨ned oÂd|oqfH«Ì§ ¹ d ¦¨h ¦öqf¦¨nfTl©nd?»¨¦¼«Lk° §g+o_«qh¯d?¦¨l«jo r U a fHÇ«jº§go_«³p?d hj¦±d?¿+»±f ` oqºd »±»¨f o_«³p?d?»¨©nfÌÁ+hjo_«ur.

(22) VXWZY

(23) [ 9àY=JÇê¾ÞCPQ< WãÃä½åæèÅéÌä ;=[+:V; STê 6 gTl?\Hn^]`_ T G}£ad-e·gfAghAbGghGij<bK`kcC }}@ \ VLS@Sl?l?lmad-egfA+n·ghAbK+o·ghGijcK lgu+?lm a+e· d+iX+ p·` n·` o j·g fcC }L qT}l£lm adLg S}uGl @ j· d-eg fg hAbKg hiLjHcE. a"bc alic a`nGc a+pc alrc. ÃØ×ÂÓCÙ¯Õ³Òzy ÕÌÖXw|{ BÌÝCJQYáY=<?R£Û=JQ[V>ûÞC;H<?Y=< >nÛHYáSV>< ìG<gR£UKÛHJÇ[+>ê¾[KIK<?PÂ[TâS Wãcä®åçæÏè|é öV<?;=>E< P+cÛHÝC<ÜIKJ'1X<?;=<?>nÛ ICSlÛ SáYjÛH;=UER£Û=UC;H<?YJ±Û½R [V>nÛHSVJÇ>OY @ESV>EIÝC[lß Û=ÝC<gY¯<JQ>nÛ=<?;HS+RuÛ 6ON îIK[VJQ>C:¾ÛHÝCJQY?@Eß<R SV>PQSTÛ=<?; ÞC;=<gY¯<?>nÛÅÛHÝC<¾Û=; SVR <áYjÛH;=UER£Û=UC;H<¾JÇ>ÉJÇÛHY;H< PQ< ílSV>+ÛR [V>nÛ=< ìnÛ 6 BÌÝC<áê¾[KIK< PÍJZY|JQ>KøEUC<?>ER£<gI¬ëGî Û=ÝC<R [V>EY¯Û=; STJQ>nÛÌY=[VPQíV<?;HY[Tâ DGÚ=WÌD ÛHUEY ä ;=[+PÇ[+:ïÇô£ñÃST>OI W ÝE[GR [ï }}ñ 6 s. tvuxw. I 0nUC< UE<?Yáâµ[+;ËY¯Û=[V;HJQ>C: ~A :L GY BÌÝC<¬ICSlÛ SüYjÛH;=UORuÛ=UE;=<gYÊR£[+>+Û STJQ> PÇJZYjÛ YSV>E JÇ>Kâµ[+;=êáSTÛ=JQ[V>;=<?:+ST; IKJQ>C:R [V>EY¯Û=; STJQ>nÛHY?@KílST;HJQSVëCPÇ<gY @KIK<?ê¾[V>EYÂSV>EIÞC;=[+ÞEST:nSlÛHJÇ[+>Ê< í+< >nÛHY 6 ³SVR Ý 6,(.)+<&*()JQY1SVYHY¯[KR£JZSlÛH<?IÄßÂJ±ÛHÝüSPQJZYjÛ[VâIK[+ê¾SVJÇ>ÉílST;HJZSTëCPQ<?Y?@ HN·@·SV>EI S PÇJZYjÛ[TâÃIK<?ê¾[V>EY?@ AHN 6 HNR [V>nÛHSVJÇ>EYÍÛ=ÝC<½ílST;HJQSVëCPÇ<gYÛHÝESlÛ[GR?R£UC;JQ>áÛ=ÝC<ÅR£[+>EYjÛH;HSVJÇ>nÛ 6 HN1R£[+>nÛHSTJQ>EYÏÛHÝC<®IK<?êÈ[+>EYÛHÝESlÛSV;=<Â;H<?Y=ÞX[V>EY=JÇëEPÇ<âµ[V;³;=<?êÈ[líGJQ>C:|JÇ>OR£[V>OY¯JZYjÛH< >nÛÍílSTPQUC<?Y âµ;=[+ê Û=ÝC<ílSV;=JZSTëCPQ<?YÌJQv> HN 6 ³SVR Ý &*-&$%'JZYS+Y=Y=[KR£JZSlÛH<?IÈßÂJ±ÛHÝËSIK[+êáSTJQ>AG@ M@F @TR£[+>nÛHSTJQ>CJQ>C:ÛHÝC<®ílSTPQUC<gYÛ=ÝE< í}SV;=JZSTëEPÇ<½ê¾S}îÈÛ STöV< 6 BÌÝC<?Y=<ÅIC[VêáSTJQ>EYST;H<®>ESV;=;H[lß<gI¾ëGîá= ÞC;=[+ÞEST:nSlÛHJÇ[+>È<?íV<?>+Û YÌY¯ÞX<?R J±ýE<gI ëO<?PÇ[lß 6næ UC;=Û=ÝC<?;=ê¾[+;=<+@T<?S+R Ýáí}SV;=JZSTëEPÇ<ÂJZY³S+Y=Y=[KR£JZSlÛ=<gIÈßÂJ±ÛHÝËS|PÇJZY¯Û[TâAR [V>EY¯Û=; STJQ>nÛHY?G@ HN·@ ßÂÝCJQR ÝáJÇÛ³JZYÍJQ>GíV[VPQíV<gI1JQ> 6 9®Y³Y=[G[V>áSVYÛ=ÝC<®IC[VêáSTJQ>¾[TâAS|ílST;HJQSVëCPÇ<R ÝOST>C:+<?Y?@T[V>C<Â[+;Íê¾[V;H< [TâÏÛ=ÝC<gY¯<R£[+>EY¯Û=; STJQ>+Û Yê¾S}îËßSVöV<|UCÞ

(24) ST>EI

(25) SVR£Û=JQílSlÛ=<ÅÛHÝC< JQ;®IK<?êÈ[+>EY 6 ³SVR Ý GL,(ÄR [V>nÛHSVJÇ>EY8S R& GLl #6,(*)+*-,( 6cþ ÝE< >ÉÛ=ÝE<áßSVöV<£ò_UCÞÉR£[+>EIKJÇÛ=JQ[V>ÉJQY âµUCP±ýOPÇPQ<?I@gÛHÝC<IK<?ê¾[V> K Y R%)`L*(H &% H,*)¢¡-JZYÃS+RuÛ=JQílSlÛH<?I 6 BÌÝCJZYAýEPÇÛ=<?;=JQ>C:®SVPÇ:+[V;HJ±ÛHÝCêê¾S}î <£ìCR£PQUEIK<¾Y¯[+ê¾<ílSTPQUC<gY®âµ;H[Vê ÛHÝC<áIK[VêáSVJÇ>EYÅ[VâY¯[+ê¾<ílST;HJZSTëCPQ<?Y 6 90ýEPÇÛ=<?;=JQ>C:

(26) STPQ:V[+;=JÇÛ=ÝCê R£[V>OY¯JZYjÛ Y1[Vâ½S Y¯< ÛÈ[V â IL)¢¡, @.u¤@ £¥¦§L¨¨L¨$§<¥G©ª+@ÏßÂÝE< ;H<<gSVR «Ý ¥¬áR [V;H;=<gY¯ÞX[V>EIEYÛ=[ÉY=[Vê¾< R£[V>OY¯JZYjÛH< >ER î;=UEPÇ<È[TâÛ=ÝC<áR£[+>EY¯Û=; STJQ>+ÛÅÛ=ÝOSlÛ|Û=ÝC<áIK<?ê¾[V>ÄëX< PQ[V>E:+Y½Û=[ 6Ú âY=[Vê¾<ê¾< Û=ÝC[KI@ ¥ ¬ @O>C[TÛHJQR <?YÛ=ÝESTÛÛ=ÝC<ÈIK[VêáSVJÇ>EY®[TâÍY=[Vê¾<ílST;HJQSVëCPÇ<gYST;H<>C[VÛÅR£[+>EY=JQY¯Û=<?>+ÛßÂJÇÛ=ÝÜÛ=ÝC<ÈR£[V>Cò YjÛH;HSVJÇ>nÛ?Z@ ¥ ¬ :V< >E< ; SlÛ=<gYÈÞC;=[+ÞEST:nSlÛHJÇ[+>'< í+< >nÛHY¾ßÂÝEJQR Ý Y¯ÞX<?R J±âµîûIK[VêáSVJÇ>û>EST;H;H[lßÂJÇ>C:nY1[+> Û=ÝC<gY¯<ílST;HJZSTëCPQ<?Y 6 BÌÝCZ< #<,"#&LH&)+*-,($L()g.AÝES}íV<ÛHÝC<âµ[V;H¯ ê ®° ANG ²±O@}ßÂÝCJQR ÝR£[V>OYjÛH;HSVJÇ>EYÃÛ=ÝE<ílST;HJÇò STëCPQ³< ®ÊÛ=[¾ëX<SÈêÈ<?ê1ëX< ;[VâÃÛHÝC<Y¯< ´Û ±¾[TâJQ>+ÛH< :+< ; Y 6 BÌßµ[ G%',G6&%%*¶.)g.ÌSV;=<|UEY=<?Iâµ[V;½YjÛH[V;HJÇ>C:áR UC;=;H< >nÛ®R [V>EY¯Û=; STJQ>nÛHYÂST>OIílSV;=JZSTëCPQ<?YÌJQ>

(27) Û=ÝE< Y¯îKY¯Û=< ê ¤MGN = AAHNÉST>E I HHN 6Ïæ UC;=Û=ÝC<?;=ê¾[V;H<V@³Ûjß·[ G%',"&%³¸LL. ST;H<®>C<?<?IK<gIáÛ=[ÈêáST>ESV:V<ÂÛHÝC<SVR£Û=JQ[V>E=Y³ÛHSV=öV< >Ë> ënî¾ÛHÝC<ÅöV< ;H>C<?P H6 ¹ = Hº»¼ G¼ R [V>nÛHSVJÇ>EY³Û=ÝE< IK< ê¾[V>OYÏÛ=ÝESTÛ³ST;H<SVëO[+UKÛÛ=[|ßÌSTöV<UCÞ G6 ½ MG¾ MG»¼ G¼ ÌR£[V>nÛ STJQ>EYcÛ=ÝC<ÂÞC;H[VÞOST:+STÛ=JQ[V> < íV<?>nÛHYÛ=ÝOSlÛÝES}í+<½ëX< <?>

(28) R ;=<gSlÛH<?IënîSVRuÛHJÇí+<= IK< = ê¾[V>OY 6 æ JQ: 6 ôÂY=ÝC[lßYAÛHÝC<ÂIK'J 1X<?;=<?>+ÛÍICSTÛHSÅYjÛH;=UORuÛ=UE;=<gYÏSV>EIÝC[lß7Û=ÝE< î1SV;=<ÌR£[+>C>C<?R£Û=<gIÛ=[|<gSVR Ý [TÛ=ÝE< ; 6 BÌÝE<ÌY¯ÛHSTÛ=<ÌJZYÏÛHSTö+< >1âµ;=[+° ê ì 6 ôV6@ ¿jUEY¯ÛëO< âµ[V;H<Û=ÝC<Ì<£ìK<gR£UKÛHJÇ[+>[VâOPQJÇ>Cµ< 3<;7 6 mCÌSV>EI 5SV;=<1Û=ÝC< =A>> ?? GABCÅST>OÀ I > @F GABH9ËR£[V>OYjÛH;HSVJÇ>nÛHY®;=<gY¯ÞX<?R£Û=JQíV<?PÇî 6·è <£Û STJQPÇ<gI.

(29) JÇ>Kâµ[+;=êáSTÛ=JQ[V>ÜSTëX[VUCÛ®ílST;HJQSVëCPÇ<gYÁ®

(30) ST>EIÂ

(31) SVY®ß<?PÇPÏSVY½STëX[VUKÛ|R£[V>OYjÛH;HSVJÇ>nÛXA5ÊJZY®Y=ÝC[lßÂ>JQ> Û=ÝC;H< <|ëX[}ìG<gY 6 X. Y. Domain:{1,2,4,5,6} CList:[C1,C2]. Domain:{1,2,4,5,6} CList:[C1,C2]. X. Y. V1. VariableList. V2. C2 VList:[X,Y] DList: [D2]. C1. C2. ReadyQueue:[D2] PropagationQueue:[] ConstraintList. ¥ G¥ fHhjnfH»Oo_«¯d£«jfÌZ§?h v ÀCrOs?rÊg©+o_«³¿KfHZ§ hjf«ji+fÌfHÀVf ° ©V«j¦¨§g¾§ »¨¦±+f. ÃÅÄÇÆ È É. a+pHc. r. ú½UC; WãÃä½åæèÅé ö+< ;H>C< PÞE;=[líGJZIK<?YÛ=ÝE<|âµ[VPQPÇ[lßÂJQ>C:¾Y¯<?;=íGJZR£<?Y Í GM HÅ3"7G@lSVIEICYÛ=ÝC<R [V>EY¯Û=; STJQ>nÛ¤ÈÛ=[ÈÛHÝC<½ö+< ;H>CER PÇUOIK<?YÌSVIEIKJÇ>E:Î Û=[AMGN = AAHN@·@KSVIEIKJÇ>E:ÛHÝC<¾ílST;HJQSVëCPÇ<gY®JQ>ÏÛ=[ = = > HN·@ = Av Û=[1Û=ÝC³< HN1[VâÃSTPQPOJÇÛHYílST;HJZSTëCPQ<?Y?@+R ;=<gSlÛ=JQ>C:ÛHÝC<½IC< ê¾[V>E"Y ÐÅSVYHY¯[KR£JZSlÛH<?I¾ßÂJÇÛ=ÑÝ ¾SV>EI ;=UE>C>CJQ>C:¾<?SVR Ý

(32) IK<?êÈ[+> K YÌýEPÇÛ=< ;HJQ>C:áSTPQ:V[V;HJÇÛ=ÝCê âµ[+;ÂJÇ>CJÇÛ=JZSTPÃÞC;=[+ÞEST:nSlÛHJÇ[+> 6 Û Ëâµ;=[+ê ÛHÝC<1ö+< ;H>CE< Í NGMG AHHÅ3"7G@T;=<?ê¾[líV<?YÂÛ=ÝC<ÈR£[V>OYjÛH;HSVJÇ>n´ ßÂÝC< >ÊÛ=ÝC<ÅR£[V>OYjÛH;HSVJÇ>nÛ³JZY³<?>nÛHSTJQPQ<?I@+J 6 < 6 ßÂÝC< > JZY³Û=;HUC<>C[ê¾STÛ¯ÛH< ;ßÂÝESlÛ³ílSVPÇUC<gY³JÇÛHY ílST;HJQSVëCPÇ<gYÛHSTö+< 6 Í GAÒ¼ G¼ HÅ3"ZÓÕÔ7G@}ÞCUKÛHYÌPZSVY¯ÛÌJÇ> ¹ = Hº»¼ G¼ ÅÛHÝC<IK< ê¾[V>OYS+Y=Y=[KR£JZSlÛH<?IÊßÂJÇÛ=ÝÛ=ÝE< R£[+>EYjÛH;HSVJÇ>n³Û Û=ÝESTÛ|SV;=<1Û=[ßSVöV<UCÞÉIKUC<Û=[Û=ÝE<ÞC;H[VÞOST:+STÛ=JQ[V><?íV< >n³Û Ô 6OÚ âÌST>Gî

(33) [Tâ Û=ÝC<gY¯<IC< ê¾[V>EYÂSV;=<SVPÇ;H<?S+IKîáJÇ> ¹ = º»¼ G¼ O@TJÇÛßÂJQPÇPA>E[TÛëX<< > 0nUC<?UC<?IST:nSTJQ> 6 < 0nUC< UC<gY½Û=ÝC<áIK<?êÈ[+>ÄÛHÝESlÛJZYÅýE; YjÛ|JÇ> ¹ = Hº»¼ ¼ ËST>EI¬SVRuÛHJ±ò Í N@¾ = ÖHÅ3L7G@CIK ílSlÛ=<gYÌJ±Û YÌýEPÇÛ=<?;=JQ>C:ÊSTPQ:V[+;=JÇÛ=ÝEê 6 Y ÔÊPZSVY¯ÛÌJQ> ½ AMG¾ = = MG»¼ G¼ 6 Í GAÒ¼ G¼ GÔ× GAZ3<Ô7G@lÞCUKÛ x @ N ¾ . A Ö Ô × G. Å 3 G 7 l @ K I < n 0 UC<?UC<?YÛHÝC<< í+< >nxÛ ÔáÛ=ÝESTÛJQYýO;HY¯ÛÂJÇ> ½ AMG¾ MG»¼ G¼ O@ = Í ÞO<?;¯âµ[+;=êáYÈÛHÝC<Ü>ESV;=;H[lßÂJÇ>E:Ä[V>-Y=[Vê¾<IK[VêáSVJÇ>ûílST;HJQSVëCPÇ< ®J±ÛËY=ÞO<gR£= JÇýE<?= Y?@³SV>EI R STPQPZY GAÒ¼ G¼ HÅ3"ZÓÕÔ7Ââµ[+;STPQPAR£[V>OYjÛH;HSVJÇ>nÛHYJQ > ®K YÂR£[+>EY¯Û=; STJQ>+ÛÂPQJQY¯Û 6 Ú âÂÛ=ÝC<áâµUE>ERuÛHJÇ[+>EEY HN@¾ @ÖAÔ×A GAÅ37ST>OÏI HN@¾ = @ÖHZ37áR SV>ÉëO[VÛ=ÝüëX<Ë< ìG<gR£UKÛH<?I@ Û=ÝC<|âµ[+;=ê¾< ;ÂßÂJQPQPAÝES}íV<ÅÝC= JQ:VÝC<?;ÂÞC;HJÇ[+;=JÇÛjî 6 ØÁÙ ©+hÌ«qh¯d ° fÅo_«qhj©+°H«j©+hjf½oq© ¹+¹ §?hq«jo«ji+fÅ©noqf½§?Ïº§?hjf½«jind?Ê§g+fm+fHº§gáZ§ hfud?°¯i°H§gno_«qh¯d ¦¨T«ur Ú § fHp}fHh ` oq¦±+° fÌ«jinffHÀ+d?º ¹ »¨f oÍ¦¨«ji+¦ö ¹ d ¹ fHhd£hjfÂ°Hhjfud «jf mÈ©noq¦¨ne \V]q^\ «j©no hj§g»¨§ge ` d GmÈ¦¼« ° ©+hqhjfHT«j»¼kÅ§gn»¼k|d?oqoq§l° ¦±d «jfHo§gnf m+fHº§g ¦¼«jifud °=i° §?no_«qh¯d?¦¨l« ` º§ hjfÍ«jind?§?nfm+f º§? ¹ fHh ° §g+o_«qh¯d?¦¨l« ¦±»¨»Onf p}f=hÍ¿KfÂoqin§ Or H@ËÌ- HY.

(34) BÌÝE<á<?SVY=JQ<?Y¯ÛßS}îÛH[ÄY=< <áÝC[lß0Û=ÝC<ÊSVëO[lí+< KI <?YHR£;HJÇëX<?I ICSTÛHS7Y¯Û=;HUERuÛHUC;H<?Y¾JQ>+ÛH< ; SVR£Û¾JZYáëGî'PQ[G[VöGJQ>C:7SlÛËST> < ìKSVê¾ÞCPÇ< 6 9®YHY=UCê¾<

(35) Û=ÝESTÛ Û=ÝC<ÈYjÛ SlÛ=<1[TâÛ=ÝC<öV<?;=>C<?PAJZY½S+YÂJÇ> æ JQ: 6 ô 6 BÌÝC< ;H<JZY>C[ÊÞE;=[+ÞEST:nSlÛ=JQ[V>

(36) <?íV< >nÛÂÛH[ËëX<ÞO<?;¯ò âµ[V;HêÈ<gI@VëEUKÛÍÛ=ÝE<®IK< ê¾[+>A5[TâR£[+>EYjÛH;HSVJÇ>nÛRA5O@lÛ=ÝE<´ > @F GABH9ÅR£[+>EY¯Û=; STJQ>+Ûg@VY=ÝC[VUCPZI¾ëX< ß[+öV< >¾UCÞ 6 BÌÝC<®öV< ;H>C<?POR SVPÇPZYÛHÝC<âµUC>ORuÛ=JQ[V> HN@¾ = @ÖHZ37G@ ßÂÝEJQR Ýá;H< ê¾[líV<gZY 5|âµ;H[Vê @ ¥C+@X:V< >E< ; SlÛ=<gY ¹ = Hº»¼ G¼ ¾ST>EIÄSVRuÛHJÇílSTÛ=<?Y®J±Û Y½ýEP±ÛH< ;HJÇ>E:ËSTPQ:V[+;=JÇÛ=ÝCê 6 9 ýE; Y¯Û½ê¾<£ÛHÝC[KI SÞC;H[VÞESV:+STÛ=JQ[V>á< í+< >nÛ?@ ÔC+@+ßÂÝEJQR Ý;=<gYjÛH;=JZRuÛ ÅY ®¾Û=[ÛHSVöV<ÅSílSTPQUC<ÅJÇ>EY=JZIK<®ÛHÝC<Å;HSV>C:VI< Cææl; 6 R0nUESTPQPQîV@VSY=<?R [V>EIÈê¾<£ÛHÝC[KIG @ ¥5O@l:V<?>C< ; SlÛH<?YS|ÞC;H[VÞESV:+STÛ=JQ[V>È< íV<?>nÛ?@ Ô5O@TßÂÝCJZR Ý¾;=<gYjÛH;=JZRuÛ Y ÂÄÛH[ÛHSVöV<ËSílSVPÇUC<ËJÇ>EY=JZIK<áÛ=ÝE<Y=<£I Û çH5ZÓ"9èÓÕ;é 6 9PZY¯[O@cS

(37) ÛHÝCJQ;HIÉê¾<£ÛHÝC[KI@ ¥A9O@c:V< >E< ; SlÛ=<gY SËÞC;H[VÞOST:+STÛ=JQ[V>

(38) < í+< >nÛ?@ Ô9O@OßÂÝEJQR Ý¬;=<gYjÛH;=JZRuÛ XY ®

(39) âµ;H[Vê Û STöGJÇ>E:ÊÛ=ÝE<ílSTPQUCÎ< ;ê 6·þ ÝC< >¬Û=ÝE< ýEP±ÛH< ;HJÇ>E:1STPQ:V[+;=JÇÛ=ÝCê0[Tmâ 5ÝOSVYýO>CJQY=ÝC<gI@TÛHÝC<®ö+< ;H>C< PC>E[TÛ=JZR£<gYÛHÝESlÛ ½ MG¾ = = MG»¼ G¼A ÝESVYÅR ÝEST>E:V<?IÛH[R [V>nÛHSVJÇ>ÜÛ=ÝC<ÈÞC;H[VÞESV:+SlÛHJÇ[+>

(40) < íV<?>nÛHÝ ÔmC+@ Ô5ËSV>EëI Ô9 6 BÌÝC<ÈöV<?;=>E< PR STPQPZY Û=ÝC<|âµUC>ORuÛ=JQ[V> HN@¾ = @ÖAÔH× GAÅ3L7Û=ÝC;H< <ÅÛ=JQê¾<?YÂßÂÝEJQR Ý

(41) IK[G<?YÌÛHÝC<|âµ[VPQPQ[lßÂJÇ>C:È<?S+R ÝËÛHJÇê¾< Í BÌÝC<|ýE; YjÛÂÞC;H[VÞOST:+STÛ=JQ[V>< íV<?>nÛÌJQ> ½ AMG¾ = = MG»¼ G¼ |JQYÂIC< 0nUC< UE<?I 6 Í BÌÝC<Í>ESV;=;H[lßÂJQ>C:Ì[TânÛ=ÝC<í}SV;=JZSTëEPÇ<ÍY=ÞO<gR£JÇýE<?I|ëGî®Û=ÝC<ÞC;=[+ÞEST:nSlÛHJÇ[+>®< í+< >nÛÃJZYÞX< ;=âµ[V;HêÈ<gI ëGîáÛ=ÝC<ö+< ;H>CEÑI 5O@VÛ=ÝESTÛÌSV;=<®Y=UCÞCÞX[+Y=<?IÈÛH[1ßÌSTö+<UCÞËIKUE< Í BÌÝC<½IC< ê¾[V>EY[TâÛHÝC<½R [V>EY¯Û=; STJQ>nÛHÅ Û=[áÛHÝC<1>OST;H;=[lßÂJQ>C:ÈÞO<?;¯âµ[+;=ê¾<?IA@OST;H<ÞCUKÛÅJÇ> ¹ = Hº»¼ G¼ 1ëGî

(42) R SVPÇPQJÇ>E:¾Û=ÝC<âµUE>ERuÛHJÇ[+> GAÒ¼ G¼ HÅ37ÛjßÂJZR£< 6 þ ÝC< > ½ M¾ = = MG»¼ G¼ JZY< ê¾ÞKÛjî+@lÛ=ÝC<Âö+< ;H>C< PKY¯ÛHSV;¯Û Y[líV< ;ëGî1R?STPQPÇJQ>C:ÅÛ=ÝC<ÌâµUE>ERuÛHJÇ[+> HN@¾ @ÖHZ37SV:+STJQ> 6 BÌÝCJZYJZY;=<?ÞO<gSlÛH<?IÊUE>+ÛHJÇP·ëX[TÛHv Ý 0nUC<?UC<?YÌST;H<®<?ê¾ÞKÛjî 6Gþ ÝC<?>ËÛHÝCJQY JQYÛ=ÝE<

(43) = R?SVY=<V@cÛ=ÝC<R [V>nÛ=;H[VP[Tâ®< ìK<?R£UCÛ=JQ[V>'JZYÈ:VJQíV<?>üëESVR öÉÛH[ÄÛHÝC< ä ;H[VPQ[V:ÜPQ< í+û[VUE; R SVY=<V@+Û=ÝEJQYê¾<?SV>EYÍÛHÝESlÛÌPZSTëX< PQJÇ>C:ÛHSVöV<gY³ÞCPZSVR <®ßÂÝCJZR ÝËßÂJQPQPOýEìáSílST;HJQSVëCPQ<®ST>EIÊÛ=ÝC<?;=< âµ[V;H< Û=;HJÇ:+:V< ;Ìê¾[V;H<|ÞC;H[VÞESV:+SlÛHJÇ[+> 6 ÛÝÜ 4ÞÑ GÌ-ËmßàáxÞÑâãVXWàÏäågY. ÈÔ Ø ÓKÔE×®ØXÓC×®Ôw Ú >ËÛHÝCJQY®Y¯<gRuÛ=JQ[V>Ã@GÛ=ÝC<ÅÛ=; SVR <YjÛH;=UER£Û=UC;H<|ST>EIËÛ=ÝC<JQ>Kâµ[+;=êáSlÛHJÇ[+>JÇÛR£[+>+Û STJQ>EYJQYÞC;=<gY¯<?>nÛ=<?I 6 þ <Y¯ÛHST;=ÛëGîáJQ>nÛ=;H[GICUER£JQ>C:È[VUC;ÌJZIK<?S+YSVëO[+UKÛÂÝC[lß Û=[ÈJQIC< >nÛ=JÇâµîáÛ=ÝE<|IC2J 1·< ;H< >nÛÌ< >nÛ=JÇÛ=JQ<?YÌJQ> S WãÃä½åæèÅé ÞC;H[V:V; STê0Y¯UER ÝÊS+YÍR£[+>EY¯Û=; STJQ>+Û YÍST>OI¾í}SV;=JZSTëEPÇ<gY 6Væ [VPQPÇ[lßÂJQ>C:|ÛHÝESlÛg@TÛ=ÝE<Û=; SVR < < íV<?>nÛHYÂST;H<|ÞC;H<?Y=< >nÛ=<gIÊÛH[V:V< Û=ÝC<?;ÂßÂJ±ÛHÝY¯[+êÈ<< ìCSTê¾ÞCPQ<?Y 6Cæ JQ>ESVPÇPQîV@C[+UC;ÂJQêÈÞEPÇ<?êÈ<?>nÛHSlÛHJÇ[+> JÇ> DGÚ=WÌD ÛHUEY ä ;=[+PÇ[+:1JZYIK<?YHR£;HJQëO<gI 6 ì. í î w°ï. ð Yg[. ñäâÌgâòóâôõ$ôHâ Ì-ö+ßÌ-âòÏV÷âÌ¢ Ì-IÌ-âùøEúRûµüÕýx~þÎû³ÿòà«. BÌÝC< JZYS ä ;H[VPQ[V:ÈSlÛH[Vê R£;H<?STÛ=<gIÊëGîáÞC;H< ÞX< >EIKJQ>C:ÈÛ=ÝE< lS Û=[+ê Û=[ÈÛHÝC<Y¯[+UC;HR <½R [GIC<®âµUC>ORuÛ=[+;ST>EISTÞCÞX< >OIKJÇ>E:¾SUC>CJ¶0nUC< Å>GUCêëO<?;ÛH[ÈÛ=ÝCJZY 6 BÌÝC< ÅJQYÅS ä ;=[+PÇ[+:¾STÛ=[+ê [VâÛ=ÝC<1âµ[V;Hê ?H× ÊßÂÝC<?;=< JZY½SÊUC>CJ¶0+UE< >nUEê1ëX< ; 6Cæ [V;Â< ìCSTê¾ÞCPQ<V@GÛ=ÝE<|âµ[VPQPÇ[lßÂJQ>C:ÈJQIK<?>nÛ=JÇýE< ; YÂST;H<|ÞC;=[KIK= UOR£<?IëGîÑì 6 ô|ßÂÝC<?;=< O@ CST>Ev I A5áST;H<ÅÛ=ÝC<R [V>EY¯Û=; STJQ>nÛHYÞO[nYjÛH<?I[V>PQJÇ>C<gµY 3657GR@ 3697ST>E I 3<;7;=<gY¯ÞX<?R£Û=JQíV<?PÇî e S} T b `f S} T? i `hAb S} T? n `hGi S} T? p } T G}£ b b } }} VL S@S}gl?l b i £} }gun?} b \ ¹ o p f ~ ¦¨+n'¦ °HTlfÌ©+«jfinZfÌ§ h³p?d?«j»ï+©nfÌf o ¹ f §g° ¦¼Án°Ì§?«Loqk ¦¨«j¹ ¦¨§?fÌ §?A°H¦¨§gÈn«jo_in«qh¯fÌd »¨¦¨¦¨To_«u«r ¦±oÍ+§?«Í¦¨È«jinfÌm+§gºd ¦¨È§? r I*-µ,Ý&µ6,(.6)+<&*() õ$ôâ ÌèY H Ñ*-, I&Ñ@&*-&GL%'. . . .

(44) . . . . . . . . . . . . . . . . .

(45) ø ÿâL@Ì-âxñÑHä@ âA Ì-ÿâRY 9üR [V>EY¯Û=; STJQ>nÛ·JZY;H< ÞC;H<?Y=< >nÛH<?I|Y¯JQê¾JÇPZST;HPQîÂÛ=[JÇÛHYÃY¯[+UC;HR < R£[KIK<1;H< ÞE;=<gY¯<?>+Û SlÛHJÇ[+> 6CÚ Û½ÝOSVYÂÛHÝC<YHSTê¾<âµUE>ERuÛH[V;|SlÛ=[+ê SV>EIÜY¯Û=;HUERuÛHUC;H<V@EßÂJÇÛ=Ý¬STPQPcílST;HJÇò STëCPQ<?YÌ;H< ÞCPZSVR <?IëGîáÛ=ÝC<?JÇ;®:VJQíV< >JQIC< >nÛ=JÇýE< ; Y 6CÚ >vÍì 6 ôÅâµ[V;ÂJQ>EYjÛ ST>ER <V@GÛHÝC<R£[+>EYjÛH;HSVJÇ>nÛ }g@ \?VL S Slgl?}m ad-e- fA` n·g hbK` o·g hi jHc JQYÌ;H< ÞC;H<?Y=< >nÛH<?IËS+Y }g@ \?VL S Slgl?}m ad-S} T? \bG+ S} T G \@iX` n·` Sg Tg \ nXl o·+ S} V \pjHc r . . . . úRÿ AÌgÿâ ÿö ³@Ìg èå-GY³Ú ÛÏJZYÃ>E[TÛ< >C[+UC:VÝÛH[®ëX<SVëCPQ<ÍÛ=[½JQIC< >nÛ=JÇâµîílST;HJQSVëCPÇ<gYAëGîÅÛ=ÝC<?JÇ; JQIK<?>nÛ=JÇýE< ; Y 6Xþ ÝCJQPÇ<Û=ÝEJQY|STPQPQ[lßYÂÛ=[

(46) IKJZYjÛHJÇ>E:VUCJZY¯Ý¬IKJ21·< ;H< >nÛ|ílST;HJQSVëCPÇ<gY @OJ±Û|ßÂJQPÇP>C[VÛÅêáSTö+< J±ÛÈÞO[nY=Y=JÇëEPÇ<áÛH[E@ÏßÂJ±ÛHÝCJQ>ü[V>C<R£[V>OYjÛH;HSVJÇ>nÛ?@cUC>CJ¶0nUC< PQî7IK<£ÛH< ;HêÈJQ>C<ËS¬Y¯ÞX<?R J±ýXRá[KR R£UE;=;H< >ER < STê¾[V>C:áY=< í+< ; STPX[TâÏÛ=ÝC<YHSTê¾<|ílST;HJQSVëCPÇ< 6 þ <|ÝES}í+<½Y=[VPQíV<?IÊÛ=ÝCJZYÌßÂJÇÛ=ÝßÂÝESlÛÂß<ÅR?STPQP· S #&)¢¡ 6 9ÞESTÛ=ÝUC>C¶J 0+UE< PQîËIK<£ÛH< ;Hê¾JÇ>C<gYÌS ÞO[nY¯JÇÛ=JQ[V>Ü[+;®SÊPQJZYjÛÅ[TâÞO[nY¯JÇÛ=JQ[V>OY®JQ>ÄSÊR [V>EY¯Û=; STJQ>nÛ 6Cþ ÝC<?>Ä;H<£âµ<?;=<?>ER£JQ>C:ÊST;H:VUEêÈ<?>nÛHY[VâÍS R£[V>OYjÛH;HSVJÇ>nÛ?@+âµ[V;<£ìCSVêÈÞEPÇ<½ßÂÝC< >IKJQY=ÞCPZS}îGJÇ>C:ÈSílST;HJZSTëCPQG< K YIC[VêáSTJQ>A@KSÞESTÛ=Ý;=< âµ< ;H;=JQ>C:ÛH[ Û=ÝESTÛí}SV;=JZSTëEPÇ<ÅJQY:VJQíV< >JÇ>OYjÛH<?SVI[VâcJÇÛHYÂJZI 6 BÌÝCJZYÌÞESTÛ=Ý

(47) ê1UEY¯ÛSTPQßS}îKYÝES}í+<ÅS¾R£[+>nÛ=<£ìGÛg@CS R£[V;H;H<?Y=ÞO[+>EIKJQ>C:ÈR [V>EY¯Û=; STJQ>nÛ?@nÛ=[áëX<JQ>+ÛH< ;HÞC;H<£Û=<gIËJQ> 6 9 ÞESTÛ=ÝJQY¾;H< ÞC;H<?Y=< >nÛH<?IüS+YS ä ;H[VPQ[V:ÜPQJZYjÛáR£[+>+Û STJQ>CJQ>C: å PÇJZYjÛ Y¾[Tâ é ýCìK<gIüílSTPQUC<?YÈ[+; [TÛ=ÝE< ;ÞESTÛ=ÝEY 6 BÌÝC<ÈýE; YjÛ<?PÇ<?ê¾< >nÛ[TâÌSÞOSlÛ=ÝÉJZIK< >nÛHJ±ýE<gY|Û=ÝE<¾Û=[VÞEêÈ[nYjÛÞX[+Y=J±ÛHJÇ[+>ÉJÇ> Û=ÝE< R£[V;H;H<?Y=ÞO[+>EIKJQ>C:R£[V>OYjÛH;HSVJÇ>nÛ 6Tæ [V;Í< ìCSTê¾ÞCPQ<V@VSV>nîÞESlÛHÝá;=< âµ< ;H;=JQ>C:ÅÛ=[Y=[Vê¾<ÂÞX[+Y=J±ÛHJÇ[+> å Y é JQ> Û=ÝC< > @F GABH9áR [V>EY¯Û=; STJQ>nÛ®JQ> ì 6 ô1ÝES+Y®[+>C<1[VâÛ=ÝC<ÈJQ>+ÛH< :+< ; YôV@ @·õ[V;®[+>C<1[VâÍÛ=ÝE< PÇJZYjÛ Y $CmÓ<5 X@ $CmÓ<9 X@ 5èÓ"9 X@ CmÓ"5ZÓ"9 S+YÅýE; YjÛ<?PÇ<?êÈ<?>nÛ 6cã JÇ>E<?YS

(48) ST>OIÉë JQ>7BcSVëCPQ<ô Y¯ÝC[lß Ûjß[È[TâcÛ=ÝC<gY¯<|JQ>ÞESTÛ=ÝEYÌßÂJÇÛ=Ý[V>EPÇîá[+>C<|< PQ< ê¾< >nÛST>EIÊÛ=ÝC<ÞX[+Y=JÇÛ=JQ[V> å Y é Û=ÝE< îÊ;H<£âµ<?; Û=[ 6 BÌÝC<½J Gô Y¯ÛÌ<?PÇ<?ê¾< >nÛÂ[TâcSÈÞESTÛ=Ý;=< âµ< ; Y³ÛH[ÈY=[Vê¾<|ÞX[+Y=J±ÛHJÇ[+> å Y ¤é Ì-âÌgô ßÂÝESTÛ=< í+< ;Û=ÝE< gJ Û=Ý< PQ< ê¾< >nÛ¾;=< âµ< ; YÛ=[ 6 BÌÝCJQYê¾<?SV>EYÛHÝESlÛÈÛ=ÝE<ÞX[+Y=J±ÛHJÇ[+> å Y é ÛHÝC<gJ Û=Ý< PQ< ê¾< >nÛ¾;=< âµ< ; Y Û=[ÜêUEYjÛÈëO<SÜR£[+ê¾ÞO[+UC>EIÉÛH< ;Hê [+;SPQJQY¯Û[VâR£[Vê¾ÞX[VUC>OIÉÛ=<?;=êáY 6cã JQ>C<RáJÇ>BcSVëCPÇ<Äô JÇPQPÇUOYjÛH;HSTÛ=<?YÍÛ=ÝCJZY 6 BÌÝCJZYÍ< ìKSVê¾ÞCPÇ<½STPZY¯[JQ>nÛ=;H[GICUER£<gY[V>C<®êÈ[+;=<Y=îGê1ëX[VPOJÇ>¾ÛHÝC<®ÞESTÛ=Ý¾ÛH< ;Hvê Û=ÝC< ÊY=JÇ:+> 6KÚ ÛÂJQYÌUOY¯<gIËßÂÝC<?>C< í+< ;Û=ÝE<½ÛH< ;Hê å Y é ß<Å;=< âµ< ;ÌÛH[ÈJZYJÇ>OY¯JZIK<SPÇJZYjÛ å S>E[V>Kò_PÇJZY¯Û R£[Vê¾ÞX[VUC>OIËÛH< ;Hê ß[VUCPZIË>E[TÛÝES}í+<ÅS¾ÞC;H<?R <?IKJQ>C: ËY=JÇ:+> éu6 D [Vê¾<®ê¾[+;=<|Y¯îG>nÛHSTìáJQY>C< <gIK<?IJQ>Ë[V; IK<?;Íâµ[V;ÛHÝC<½ÞOSlÛ=ÝËÛ=[ÈëO<|ê¾[V;H<®< ìKÞC;=<gY=Y=JQíV<®SV>EI R£[Vê¾ÞES+RuÛ 6Xæ JQ;HY¯Û®[Tâ³SVPÇPL@Xß<ßÂJQPQPÏUOY¯< ËÛ=[Ë< ìKÞC;=<gY=Y =SVPÇPcÞO[nY¯JÇÛ=JQ[V>EY á[Vâ³SÊR£[+êÈÞX[VUE>EI Û=< ;Hê 6TÚ Û³êáS}î1SVPQY=[|ëO<UOY¯< âµUCPKÛ=[JZIK<?>+ÛHJ±âµî ågà«ÿL STPQPCÞX[+Y=J±ÛHJÇ[+>EYJQ>¾SR [Vê¾ÞX[VUC>EIÛH< ;Hê 6 þ <

(49) ßÂJQPÇPÂUEY=<Û=ÝC< Y=JQ:V>âµ[V;ÈÛ=ÝCJZY¾ÞCUC;HÞX[+Y=<V@ÍIK<?>C[TÛHJÇ>C:ÉY=<£ÛÊY¯UEëKÛ=; SVR£Û=JQ[V> 6Íã JQ>C<I'JQ> BcSVëCPÇ<¾ôJQPÇPQUEY¯Û=; SlÛH<?YÛ=ÝEJQY 6 Ú >ÜSVICIKJÇÛ=JQ[V>

(50) ÛH[áÛ=ÝE<STëX[líV<+@Cß<ê¾S}î

(51) STÞEÞCPÇîâµUC>ER£Û=JQ[V>EYÛ=[áÛHÝC<1<?>nÛ=JÇÛ=JQ<?Y;H<£âµ<?;=;H<?IÛH[ ënî7SÞOSlÛ=Ý 6 ½ B ÄÝES+YÛHÝC<Ëê¾<gST>CJQ>C:ÛHÝESlÛÛ=ÝC<ËâµUC>ERuÛHJÇ[+> JQYÈSTÞEÞCPÇJQ<?I ÛH[Ä<gSVR Ý7< >nÛHJ±Ûjî ;=< âµ< ;H;=<gIáÛ=[ÈëGîáÛ=ÝE<ÅÞOSlÛ=Ý ½·6Kä [+YHY¯JQëCPQ<®ílSTPQUC<?Yâµ[+; ÊST;H<V@KSTê¾[V>E:[VÛ=ÝC<?;HY?@ F| @ F = SV>EI GAHÖ 6 BÏSTëCPQ< Y=ÝC[lßYY¯[+ê¾<È< ìCSTê¾ÞCPQ<?Y[VâÛHÝCJQY 6AÚ â ½ ;H<£âµ<?;HYÅÛH[ÜS

(52) PÇJZY¯Û[TâÌÞO[nY¯JÇÛ=JQ[V>EY [T> âÂY¯J F < @ ½ B Ü;H<£Û=UE;=>EYSPQJQY¯Û[TâÌílSTPQUC<?Y|[VâÌY=J F < 6Ãó [lß< í+< ;g@·[V>C<¾< PQ< ê¾<?>+ÛPQJZYjÛ YST;H< Y¯JQê¾ÞCPÇJÇýE<gIS+YÂY¯ÝE[lßÂ>[+>PQJÇ>E<?YS¾ST>OIËë

(53) JQ>

(54) BÏSTëEPÇ< 6 ] §g©+h³°ud oqf ` «ji+fÌoqfH«jo³d hjfÂ»¨¦ö_«jo r . !. " #. . " $. " $. ". %. #&. '&. (*)+". -,. *.. 0/. 21. 3. 43. 53. 8. '7. 3. '7. 6.

(55) ¢+ óÈn¥ Q inf ¹ §?oq¦¼«j¦±§?noºd hjªgfum ¦¨«jie?h¯d kËd hjf½«jinf ¹ §?oq¦¼«j¦±§?noÂhjfHQfHhqhjfumË«j§¿lk¾«jinf|°H§?hqhjf w o ¹ §?GmV¦±+e ¹ d£«jiOr ¢n Ä Ä ¢n Ä Ä lg n?lmaged iA p`nXò jgfHc dVr d@dÕbK` nj@jlg n?lma ecd+iX+p+n·ò j fc °gr dgiX dÕbGlij@j ¿Or d+ij lg n?lm age d+iXgp`n·òjgfc mEr dgiX d $j@j md+iO Hb6j1lg n?lmaged+iX pÏ n o jgfc ¢+ E¥ ´ ©+n°H«j¦¨§?no½d ¹n¹ »¨¦±f m«j§ ¹ d «jino r Q inf1o_«¯d «jfÈ§ Í«jinf1pgd£hj¦Çd ¿n»¨f o|¦öÅd?oÅ¦¨ ´ ¦ë+rs ` ¦µr fgr ¿Kf=Z§?hjfÂ«ji+fÌfHÀVf ° ©V«j¦±§?È§ A»±¦¨+f a+pHc ¦¨ v ÀErEsgr ¡£¢ Ä Â¢ Ã dVr dÕb6j }??l} }}@ \?TL S@Slg}?lm ad¢eg fA` nXg hAbK` oXg hGijc³kb ¿Or dÕd@b6dÕj bK ` Gnj@£j G llgguunn llmm a+a+ee d+d+iXiX++ pp++ n·n·`` o o jj-- ffcc dgk·` k j °gr ;:=<. 9. >. @?. =A BDC FE. >A. >. G?. =A BDC FE. >A. IH. IH IJ. +K. IH. ;:=<ML. 9. >ON. POA B. +V. R. QB. S:QTU< C FE. W. +V. +V. ð YZY. Û G. FX. VXËHâ . M[lß@CJÇÛ½JZYÌÛ=JQê¾<ÛH[áÞC;=<gY¯<?>nÛÛ=ÝC<Û=; SVR£<<?íV<?>+Û Y 6 BÌÝC< î

(56) ST;H<|[V;H:+ST>EJ F <?IJÇ>ÜR ÝGUC>EöGY?@C<gSVR Ý R ÝnUE>CöÊR£[+>+Û STJQ>CJQ>C:ÛH;HS+R£<Å< íV<?>nÛHY³âµ[V;ÂSY=ÞX<?R£JÇýOR½ÞCUC;HÞO[nY¯< 6 BÌÝC<ÅR ÝGUC>EöGY[VâAÛ=; SVR <½<?íV< >nÛ Y ST;H<ÅÞE;=<gY¯<?>+ÛH<?IJÇ>ÛHSVëCPQ<?YÌâµ[+PÇPQ[lß<gIÊëGîË< ìCSTê¾ÞCPQ<?YÌ:V<?>C< ; SlÛH<?IËënî ì 6 ô 6 9PQPÛ=; SVR£<È< í+< >nÛHYÅÝES}í+<ÈSV> Ô× GA SlÛ=Û=;HJÇëCUCÛ=<V@ASV>ÄJQ>ER£;H<?S+Y¯JQ>C:>GUCê1ëX< ; 6·þ <áßÂJQPÇP [TâÛ=<?>-JQIC< >nÛ=JÇâµî'ÛHÝC< ê ëGîüÛHÝC<ÜílSTPQUC<Ü[Vâ½ÛHÝCJQYSlÛ=Û=;HJÇëCUCÛ=<ÄSV>EI Y¯JQê¾ÞCPÇî R SVPÇP®J±ÀÛ *- 6 BÌÝE< ÔH× GA @ÊJQYÅSTPQßS}îKYÛ=ÝC<1ýE;HY¯ÛÅSTÛ¯ÛH;=JQëCUKÛH<1[TâÛHÝC< ä ;H[VPQ[V:¾âSVR£Û 6·æ UC;=Û=ÝE< ;HêÈ[+;=<+@EßÂÝC<?>Üß< ÛHSTPQö STëX[VUCÛSßÂÝC[VPQ<ÄëCPQ[KR ö [TâÛH;HS+R£<Ä<?íV<?>+Û Y @ß<Äê¾<?SV> Û=ÝE<¬[+ÞO<?>CJÇ>E:ST>OIR£PQ[+Y=JQ>C: Û=; SVR£<|<?íV< >nÛ YÌ[TâÏÛ=ÝC<ëCPQ[KR öSV>EI

(57) STPQP·Û=; SVR£<|<?íV< >nÛ YÂJÇ>

(58) ëX<£Ûjß< <?> 6Eæ [+;Â<£ìCSTê¾ÞCPQ<V@CÎS ¾AH¼ ëCPÇ[KR ö|JQ>ER£PQUEIK<gYÃÛHÝC<ÍÛH;HS+R£<< íV<?>nÛH|Y ¾AH¼ ÌST>E I G¾H¼ O@£ST>EISVPÇP+Û=; SVR <³<?íV< >nÛ Y ëO< Ûjß<?< >Û=ÝC<gY¯< 6 þ J±ÛHÝCJÇ>Ä[VUC;½JÇPQPÇUOYjÛH;HSTÛ=JQ[V>EY®[TRâ ì 6 ôV@·Y¯JQ>ER£<Û=ÝC<ÈR£[V>OYjÛH;HSVJÇ>nÛ®;H< ÞC;H<?Y=< >nÛ SlÛ=JQ[V>OYÂ[KR R£UE; íV< ;Hî¾âµ;H< 0nUC< >nÛHPÇî+@Cß<|ßÂJQPÇPÃUEY¯<ÅÛHÝC<|âµ[VPQPÇ[lßÂJQ>C:áY=ÝC[V;=ÛÂ>C[TÛ SlÛ=JQ[V>OLY }}@ \ VL S@Sl?l?lm ad-S} T \bK+ Sg Tg \@iOl n·+ S} V \ n` o·g S} T? \ p jHc lgu+?lm a+Sg T? \GbK d+iXg p` n·` oj+ Sl T G \@iGc 9PZY¯[O@ÍßÂÝC< >-ê¾<?>+ÛHJÇ[+>CJQ>C:7ílST;HJQSVëCPÇ<gY @³ß<ßÂJQPÇP½UEY=<

(59) Û=ÝC<ÜílSV;=JZSTëCPQ<>ESVêÈ<

No results found