Model-checking the Preservation of Temporal Properties upon Feature

    !#"$%& (' )  * +,&-"#./0#+12%435+1& 678"$370:9;-"$?& @BADCEAGFIH!JLKNMOQPSRUTDRWVXZY>[\H!J^]`_abHdceXHdcf\KgAGRUJ^J^R7hBV0Rji5klnmodpp>RUciqXX rtsjuwvIx%xzydx|{(}0xz~€jn‚Gƒ?„sUu%…†ƒ?‡Uuˆƒw‰‹Š!‡Œ…Žzƒw„ˆˆ…‚‘(x|{>’€…“„ˆ~$…“‡•”–vI—z~8‰˜Šš™ ›r r%œ ‡Zw‚…“‚Z‚S ž œ ‡Ÿ{wx–„ ~¡—z‚…†¢?Œƒ ‰b£ —^u%Iy¤‚Z ¥ƒ &Šd‡W…“–ƒ?„  …“‚¦—–…“„§ƒ 8qƒ¨8—–~$n„ ‰’ƒ?y ”^…Žn~ ©ª ~¡—–…“y¤«¬?­®D¯=®±°z²Œ³n´q³qµ-¶±·®¦­®¦¸n¹Wºt»;¼½–¾I¿UºŸÀ®|ºZÁ0®²n¶˜ÃZ¹UÄz½ZÅ»WÆIÇ®DÆ^²I»ZÈ^ZÁ®¦¾W³jÉ Ê ËWÌÍjΚϋСÑ$Òd͚ӧÏÌ Ô Õ;ÖØ×ÙnÚ;×tÖÛjÜÝÙIÞߖà áIâGãŒä?àØ՚åIæÖçÖè énÖêëåIæÝå1Û!ÙnÛjì;íåIè&î>åzïðÙIÞNæ Üwè ìj×Üwìjè ñ“Újé.ì;æ Öè ò Ùnè ñŽÖtÚZÜwÖê\ê;Ötæˆ×tèˆñ“ÛjÜ ñ“ÙnÚ;æQٕÞ×Ötè Ü?åIñŽÚ\óŒñŽÚ;ê;æQÙIÞôæ ïUæ ÜwÖçæõ:ö8Û2êšå•Ü ñ“Ú;é÷åEæ ïŒæˆÜwÖç øZï åIê;ê;ñŽÚ;éØÚ;֟îùަ֖å•Ü ì;è ÖægÜwÙØñúÜgñ“æ#åBÜwÖ×?Õ;Ú;ñ“ûWì;Öî‹Õjñ“×?Õ.ÖtÚ;åIø;í“Öægê;Öæ ñ“éIÚ;æ&åIÚ;êü×ÙUêjÖÜwÙ ø!Ö¡èˆÖtì;æˆÖtêõý|Ü8æˆÜwåIèˆÜ ÖtêÜwÙôø!Ö×tÙnçôÖ¡Û!ÙnÛjì;íåIèî‹ÕjÖtÚBÜ Ötí“ÖÛ;Õ;ÙnÚjÖþ×ÙnçôۚåIÚ;ñŽÖtæ‹ø!ÖéZåIÚÜwÙ ñ“ÚZÜwèˆÙUêjì;×t֡ަ֖å•Ü ì;è Öæ˜æˆì;×?ÕQåIæ8זåIíŽíúò|Þ¦ÙIèˆî>åIè ê;ñŽÚ;é&åIÚ;ê7è ñŽÚ;é•ò›ø;åI×?ónò|î‹Õ;ÖÚUò|Þ¦èˆÖtÖþñ“ÚZÜwÙÛ;íåIñŽÚ Ùní“êÿæ ïUæ ÜwÖçæôî‹Õ;ñ“×?Õ ê;ñ“ê Ú;ÙIÜôæ ìjÛ;Û!ÙIèˆÜôÜw՚å•Ü&Þ¦ì;Új×ÜwñŽÙnښåIíŽñŽÜ›ïIõ ÔÕjñ“æ&Û;è ÙŒ×tÖæ æÙIޘަÖtåqò Üwì;èˆÖgåIêjê;ñŽÜ ñ“ÙnÚ7ñ“æ8îÖtíŽíúò|óŒÚjÙ^î‹Ú7ÜwÙø2Ö

 
 â 
  åIê;ê;ñŽÚ;éÝåÞ¦Ötå•Üwì;èˆÖ#ê;ٌÖtæ˜Ú;ÙIÜ Ú;Öt×ÖtæˆæwåIèˆñ“íŽïÛ;èˆÖtæ Öè IÖ¡Ü Õ;֘ܠÖtçôÛ!Ùnè åIí2Û;è ÙnÛ2Ötè ÜwñŽÖtæÙIÞ0Ü Õ;Ö$æ ïUæ ÜwÖç7õ€ö8æˆìšåIíŽíŽï&ÜwÕ;Öæ Ö$Þ¦Ötåqò Üwì;èˆÖtæåIèˆÖþêjÖtæ ñŽénÚ;Öê7ñŽÚñŽæ Ùní“å•ÜwñŽÙnÚLÞ¦èˆÙnç ÙnÚjÖ(å•Ú;ÙIÜwÕjÖtè  å•Ú;ê7ÛjìjÜ Ü ñ“Ú;é&æ Ö nÖèwåIíbÙIÞ-ÜwÕ;Öç ÜwÙnéIÖÜwÕjÖtèNñ“Ú,åÝÛ;Õ;ÙIÚ;Ö&æˆïŒæˆÜ Ötç çåzïBí“ÖtåIêQÜwÙÝÜwÕ;Öç ñ“ÚZÜ ÖtèˆÞ¦Öè ñŽÚ;éî‹ñŽÜ Õ,ÖtåI×?Õ,ÙIÜwÕ;Öè¡ñ“Ú ì;Ú;ê;Öæ ñŽèwåIø;íŽÖî>å–ïŒætõ`ÔÕ;ñ“æñ“æôóŒÚjÙ^î‹ÚEåIæÜ Õ; Ö  ަ֖å•Ü ì;è Ö7ñ“ÚZÜwÖèwåIןÜwñŽÙnÚ Ûjè Ùnø;íŽÖt ç >åIÚ;ê ñ“æþ×tì;èˆè ÖÚWÜ íŽï,éZåIñŽÚ;ñ“Újé×ÙnÚ;æˆñ“ê;ÖèwåIø;íŽÖLåqÜ ÜwÖÚZÜwñ“ÙIÚ1Þ¦è ÙIç åIזåIêjÖtçôñ“×åIÚ;ê ñŽÚ;ê;ì;æ ÜwèˆñåIíèˆÖŸò æ ÖtåIè ×?Õ;Öè æ     !#"$ % &Dõ 7ÙUêjÖtíd×?ÕjÖt×?óWñ“Ú;é&՚å•æø!ÖÖtÚÝì;æˆÖtêÝî‹ñŽÜ Õæ ÙIçÖ8æ ì;××tÖtæˆæÜwÙgê;֟ÜwÖ×ÜÜwÕjÖ$Û;è Öæ ÖÚ;×tÖ¡ÙIÞ ì;Ú;ê;Öæ ñŽèwåIø;íŽÖ=ަ֖åqÜwì;èˆÖñ“ÚZÜwÖèwåIןÜwñ“ÙIÚ;æ ^ÙnèdÜ ÙÛ;è 'Ù IÖeÜ Õ;ÖtñŽèbåIø;æˆÖtÚ;×#Ö  (*)  +-,.*)  ê /10 0  /23054 &±õ ý›ÚÝå#çôÙUêjÖtí2×?Õ;Öt×?óWñ“Újéô×ÙnÚZÜw7Ö 6UÜ jަ֖åqÜwì;èˆÖ˜ñ“ÚZÜ Ötèwå•×ÜwñŽÙnÚLçå–ïLø2֘êj9Ö 8šÚ;ÖêåIæÜ Õ;֘ÞGåIñŽí“ì;èˆÖ ÙIހ×tÖèˆÜ?å•ñ“ÚQÜwÖçÛ2Ùnèwå•íSÛ;è ÙIÛ!ÖèˆÜwñŽÖtæNÙIހÜwÕjÖtA ã5D I á
kL á
 à áIä L  â\šÛ àŸä8ãGzD àŸä  áHKH€DÝÛ KÞ â\šÛ à K
Ž> K
“ß  áHKH©à HK!H â›àŸä > K
áIâ§à¡áIââ\šÛ àÝDšE à  á à L ß  ä€ ã A Ÿ Ÿ à Ÿ ä õ

K
“ßx
 ÔÕ;ÖtÚ +h$b Ô.dxâv1:ã/—äåv×ZØ ÙÚ3W ø;ìj܉+c$b Ô.d âv1:ã/æ$â Ô.dZäçåè×ZØ ÙÚ õQ$é ÖÜwåIñ“íŽæSÙnÚ ÜwÕ;ñŽæÖj6 åIçôÛ;í“ÖN×tåIÚø!Ö$Þ¦ÙnìjÚ;ê7ñŽÚ +-,.*) D& õ

;ê ñŸêô×tì;íúܛïå•Û;Û;è ÙnåI×?Õ3ŒÕ;Ùzî>ÖnÖtè9šñ“æÜwÕ;å•Ü>çôٌê;Ötí ×?Õ;Ö×?óŒñŽÚ;égñŽæ×ÙnçÛjìUò Ü?å•Ü ñ“ÙnÚ;åIí“íúï5Ö6UÛ!ÖÚ;æ ñŸnÖÙnè ÜwÕZî‹Õ;ñŽí“Ö Üwë Ù 8šÚ;ê çôÖÜwÕjÙUê;ægî‹Õjñ“×?Õ 'å IÙnñ“êÿÜwÕjÖtæ Öè Ö%ò›×?Õ;Ö×?óWæta õ b˜Þ†Ü Öt3Ú eÜwÕ;Ö5Ú;֟î ަ֖åqÜwì;èˆ Ö =@?ñŽæ ñ“ÚZÜwìjñŽÜwŸñ nÖíŽïÜwÕ;å•ÜÜ Õ;ÖÛ;è ÙnÛ2Ötè ÜwñŽÖtæ€ÖtæˆÜwåIø;íŽñ“æ ÕjÖtêLøZxï =-M=î‹ñ“íŽíš×tÙnÚZÜwñŽÚWì;ÖÜ Ù#Õ;ÙIí“ê å•Þ†ÜwÖÑè =P?՚åIæ‹ø2ÖtÖtÚñ“ÚZÜ è ÙŒê;ì;×tÖêõ ý›ÚBÜwÕ;ñŽæ8Û;åIÛ!ÖèîÖ#Ûjè ÙnÛ2Ùnæ Ö#åIÚBÖ êô×tñ“ÖÚZÜ$çôÖÜwÕjÙUêÜwÙL×?ÕjÖt×?ó7Ü Õ;ÖþÛ;è Öæ Ötíè •å•ÜwñŽÙnÚØÙIÞ æwå•Þ¦ÖŸÜ›ïÛ;èˆÙnÛ2ÖtèˆÜ ñ“Öæ>î‹è ñúÜ ÜwÖÚÝñ“( Ú îQï3îBì;Û2ÙnÚÜwÕjÖ¡åIê;ê;ñúÜwñ“ÙIÚLÙIÞbަ֖åqÜwì;èˆÖtæ‹åIæçôÙUêjÖtí“íŽÖtêñ“Ú ÜwÖè çôæٕZÞ 8šÚ;ñúÜwÖNÜwè åIÚ;æˆñŽÜwñŽÙnÚ5æˆïŒæˆÜ Ötçôæt.õ b˜ÞS×Ùnì;èˆæ Ö  ×?Õ;Ö×?óWñ“Ú;éÝå•è ø;ñúÜwèwå•èˆ( ï îQï3îQÛ;è ÙnÛ2Ötè§ò ÜwñŽÖtæ‹ÙnÚæ ì;×?Õ7æˆïŒæˆÜ Ötçôæ˜×–å•Ú7ø2Ö(êjÙnÚ;Ö¡ì;æ ñŽÚ;é&ÜwÕ;Ö¡ÜwÖ×?Õ;ñ“ûWì;Öæ8î‹Õ;ñŽ×?ÕBåIÛjÛ;íŽïÝñŽÚ7éIÖtÚ;ÖèwåIíDõ b$ì;è¡åIñ“ç ñ“æ$Ü ÙÜ?åIó•ÖôåI*ê •åIÚZÜ?åIéIÖæ å•Þ¦ÖܛïQÛjè ÙnÛ2Ötè Üwñ“Öæ¡åIÚ;ê ÜwÕ;֘åIæ æˆì;çôÛjÜwñŽÙnÚܠ՚å•Ü>Ü Õ;֘×ÙnÚ;æˆñ“ê;Öè ÖtêLøšåIæ ñŽ×˜æ ïUæ ÜwÖç ՚åIæ€ÜwÕ;Ö8Û;è ÙIÛ!ÖèˆÜ›ïñ“ÚLûWì;ÖæˆÜ ñ“ÙnÚ åIÚ;êÖ êô×tñ“ÖÚZ܀ܠÖt×?Õ;Újñ“ûWì;ÖIãõ {1ÖÛ;èˆÙnÛ!ÙIæ ÖåIÚôåIíŽénÙnèˆñŽÜwÕjç î‹Õ;ñ“×?ÕôåIíŽí“Ùzî‹æ ÜwÆ Ù 8šèˆæˆÜ(ÖtæˆÜwåIø;íŽñ“æ ÕQî‹Õ;֟ÜwÕ;Öè(Ü Õ;Ö&énñ IÖtð Ú îQï3îÿÛ;èˆÙnÛ!ÖèˆÜ›ïQÕjÙní“ê;æNÞ¦ÙnèNæˆÙnçôÖôéIñ nÖÚ1ø;åIæ Ö æˆïŒæˆÜ ÖtçõÔÕ;ñŽææ ÜwÖÛØÙIÞSÙIì;èåIí“énÙIè ñŽÜ Õ;ç Ûjè ÙŒê;ì;×tÖæ8ê;å•Ü?åÖåIæê;ÖÚ;ÙIÜ ÖtêÝøZf ï ½þõSÔÕ;Ö$í“åIÚ;énì;åIénÝÖ :Pbì,Ýd*+i»c  !#:ã: 54 &0՚å•æ‹å&æˆñ“çôñ“í“åIè×ÙnÚ;æ Üwè ìj×ܖQ õ {1Ö¡Û;è Öæ ÖtÚZÜ8ñŽÜÕjÖtè ÖNñŽÚ5ê;ÖÜwåIñ“í2Þ¦ÙnèÜwÕ;ÖNæ åIóIÖþÙIÞ æ ÖíŽÞò›×ÙnÚZÜ?åIñŽÚ;ÖtêjÚ;Ötæˆætõ H Ÿñ nÖtÚ&ܛîB Ù îQï3îÞ¦Ùnè çgìjíåI-æ × åIÚ;1ê `.WîÖê;ÖtÚ;ٕÜw֋ÜwÕ;1Ö E2ä Ž à  â 
( hß × 
â  `.øZï ×W½K`N õ ,‹Ùnì;éIÕ;íŽïæ Û2֖å•óŒñŽÚ;mé dåLø!Ö՚«å Œñ“Ùnì;è æ å•ÜwñŽæ 8šÖÔæ ×W½K``ñŽÞSè Ötçô'Ù Œñ“Ú;éLÞ¦èˆÙnç Ü Õ;Ö æˆÜwå•ÜwÖæ¡î‹Õjñ“×?Õ1åIè Öôå•Ü¡Û2Ùnæ ñúÜwñŽÙnÚ;ºæ .‹ñ“Ú æˆì;×?Õ1ܠ՚å•Ü .>äçå©` Û;è ÙŒê;ì;×Ötæ(å5ø2ÖtÕ;'å ŒñŽÙnì;è î‹Õ;ñ“×?Õ&æ å•ÜwñŽæ 8šÖ‰æ ׀õ=ÔÕ;ñŽæçLåIó•Ötæeæ ÖÚ;æ ÖÙnÚ;íúï#ñúÞ ×tÙIÚWÜwåIñ“Újæñ“*Ú 8šÚjñŽÜwÖíŽï(çLå•ÚWï#Û!ÙIæ ñŽÜ ñ“ÙnÚjæ î‹Õ;ñ“×?ÕBæwå•Ü ñ“æˆÞ† ï `.2î‹Õ;ñŽ×?ÕQñ“æ8ÖtûWì;ñ •åIíŽÖtÚZܘܠ٠Ž äå¾xawL`«õ CÖtè Ö(Þ¦Ùní“íŽÙ^î‹æ‹ÜwÕjÖ#Û;èˆÖt×tñŽæ Ö ê;9Ö 8;Ú;ñŽÜ ñ“ÙnÚ ¿Æ[;ÀZp@Í\ÎzÍ\ikpÂÁ3_`]a"0Ö# Ü ×U`  I]`þZÿ7 ‹åIÚ;ê ø!Ö(åø2Öt՚«å Œñ“ÙIì;è‹ÙI-Þ üEåIÚjb ê e0k2‰õ "0ÖÜ Ž äåÃxaw›`8õ "0ÖÜþÜwÕjÖLñ“¦Ú 8šÚ;ñŽÜ ÖôåIæ ×ÖtÚ;ê;ñŽÚ;éBæˆÖtûWì;ÖÚ;×t Ö . .íM.  ¡×tÙnÚ;æˆñ“æ ÜgÙIÞ ÜwÕ;֡ښåqÜwì;è åIíÚWì;çgø2Ötèˆpæ .eæˆì;×?Õ7ܠ՚å•Ü .äåj`8õeÔÕ;ÖÚ e äåv×m½K`ëñ Ö # Ae # äåv×U î‹Õ;ÖtèˆÖ #må _Ä  ÆÅ A _Ç åIÚ;> ê e7#*å çôñ“¢Ú .  . ~È ehX&0g2
Wõ ÔÕ;Ö8ÙIÛ!Öèwå•Ü Ùnè ½÷ñŽæeê;9Ö 8šÚ;åIø;í“Ö‹ñŽÚ îQï3î-õ=ý›Ú;ê;ÖtÖ3ê UÜ Õ;֋ަÙní“íŽÙ^î‹ñŽÚ;é$ÖûŒìjñ •åIí“ÖÚ;×tÖæ>å•è Ö æ *ì êô×ñ“ÖtÚZ܋ÜwÙôÖtíŽñ“çôñ“ÚšåqÜwÖÛ;è ٠ՈÖ×Ü ñ“ÙnÚ5Þ¦è Ùnç åIÚZ( ï îQï3îBÞ¦Ùnè çgìjíå ^ ½K` Y v ^ O:½K` v !rÉ`Ê T:OtQxawL` f×-M—P ×P?§ ÙnèˆóWñ“Ú;é ÙIÞNÛ;èˆÖt×ÙnçÛ2ÙnæˆÖtêEަ֖åqÜwì;èˆÖtæt† õ C8Ùzî9Ö nÖè J 4 &æ ì;éIénÖtæ ÜwæÜwÕ;å•ÜLø2ÖtñŽÚ;é.å–î>åIè Ö7ÙIÞNÜwÕ;Öæ Ö æˆÜwå•ÜwÖæ#זå•Ú.æ ñ“çôÛ;íŽñŽÞ†ïBÜ Õ;ÖLæˆÖtۚå•èwå•Ü ñ“ÙnÚüø2ÖܛîÖtÖÚ.ÜwÕ;Ö×tÙnÚZÜwèˆñ“ø;ìUÜwñ“ÙIÚ;æ#ÙIÞ = åIÚjê ü ÜwÙ ÜwÕ;ÖBø!Ö՚«å UñŽÙnì;èٕ—Þ üæâ =ôv õ {1ÖBÜ èwåIÚ;æ Þ¦Ùnè ç ÜwÕjO Ö ü åIÚ;ê = æˆÙüÜw՚åqÜLÜwÕjÖtæ ÖQæ Ü?å•Ü Ötæ ø!Ö×tÙnçôÖ&Ùnø;æˆÖtè •åIøjí“ÖIõÝÔÕjñ“æ¡ÞGåI×tñŽí“ñŽÜwå•ÜwÖæ$ÜwÕ;Öô×tÙIÚ;æ ñŽê;ÖtèˆÖtêüæˆÖtۚåIè å•ÜwñŽÙnÚ1å•Ü(Ü Õ;Öô×tÙnæ ÜgÙIÞ ÙnÚ;Ö¡åIêjê;ñŽÜ ñ“Ùnښå•kí •åIèˆñåIø;íŽÖ Œî‹Õ;ñ“×?Õ5î>Ö¡×tåIí“yí ì}¦Þ¦Ùnpè ì;ñŽê;ê;Öt:Ú ŸõÔÕ;Ö¡×tÙIçÛ2ÙnÚ;ÖÚWÜ æ‹ÙIÞÜ Õ;Ö Üwè åIÚ;æˆÞ¦ÙIè çôÖtê êjÖtæ ×è ñŽÛjÜwñŽÙnÚ;>æ üW#=åIÚ;ð ê =«#Sٕ.Þ ü\åIÚ;R ê =BSèˆÖtæ Û2ÖtןÜwŸñ nÖtíúï å•è ÖLêj9Ö 8šÚ;ÖêÿåIæ Þ¦Ùní“íŽÙzî‹æ þPÿí•å þZÿ ¯  ìAgå•Ú;( ê þ £ í•å þ £ ¯  ìA;á

'ÿí•å  Oÿ„í *ä ‰‹  'îxçäåZìA;á ƒ£ í { ƒ§£ trìá  ÿí¦!"#$ ± Nÿ!*ä ‰‹u# ä ‰‹" t49#Z ç  ïì*& 6 §á #  £ í¦9" # i±  £ !*ä ‰‹7 # ä ‰¨: t4!;ç  ïì*& 6 ytz! #  ˆì*& D  ý›ÚEî>ÙIè ê;æ9ºN ÿ„8í ÜwåIóIÖæüɕ# â =«# Þ¦è ÙIç åIÚZïðæˆÜ?åqÜwÖBÜ Ùÿå^UñŽæ ñŽø;í“Ö7æˆÜ?åqÜwÖÝ= ø2Öt×ÙnçôÖtæ Üwèˆñ“énénÖè Öê.ÙnÚ;íŽïüå•Ü>Œñ“æˆñ“ø;íŽÖæˆÜwå•ÜwÖæLåIÚjêg £ í Ü?åIó•ÖtæxüW# âv=«# ÜwÙ Õ;ñŽê;ê;ÖÚ æ Ü?å•Ü Ötætõÿý›Ú åIí“í€ÙIÜ Õ;Ötè&åIæˆÛ!Ö×Ü æB# ÿí åIÚ;ê* £ í å•è ÖÝí“ñŽóIÖ# ÿ åIÚ;ê* £ €èˆÖtæˆÛ!Ö×ÜwñŸnÖíŽïnõðbNø5Œñ“ÙIì;æ íúï åLæ ÖûWì;ÖtÚ;×ÖٕÞeæˆÜ?åqÜwÖtæ› åIæÜwÕ;Öñ“èçLåIñŽÚ×tÙIÚ;Ú;ÖtןÜwŸñ nÖ  å•æê;9Ö 8;Ú;Ötêñ“Ú dŒÖt×Ü ñ“ÙnÚ %Uõ ) cõ dŒñ“Ú;×ÔÖ üW#šæwå•Ü ñ“íæ 8šÖtæ ÜwÕ;Ö×ÙnÚ;æˆñ“ê;Öè ÖtêôæwåqÞ¦ÖܛïÙIPÞ +eèˆÙnÛ2Ùnæ ñúÜwñ“ÙIÚ ¥ Ÿõ ) õÔÙ&×?Õ;Ö×?óî‹Õ;ÖÜ Õ;ÖtÝè üW#â =Y# æ å•ÜwñŽæ 8šÖYæ xU€QšÙnÚjÖNזåIÚ ÜwÙþì;æ ÖÜwÕ;Ö×tÙIè è Öæ Û2ÙnÚ;ê;ñŽÚ;é#í“åIø2Ötí“íŽñ“Ú;é8Þ¦Ùn1è üW#‘âë=Y#“—õ C8Ùzî9Ö nÖè jÜ Õ;ñ“æîÙnì;íŽêåIçôÙnì;ÚZ܀ÜwÙ ×tÙnÚjæˆÜwèˆì;×Ü ñ“Ú;xé ü # â = # åIÚjê7ê;ÙIñ“Ú;égÜ Õ;ÖNçٌê;Öíúò›×?ÕjÖt×?óWñ“Ú;éÙ ü # ò|×tÙnÚZÜwèˆñ“ø;ìUÜwÖtêÜwèwå•Ú;æ ñúÜwñ“ÙIÚ;æéIÖÜ×tåIÚ;×Ötí“íŽÖtêì;Û!ÙIÚLÜwÕ;֘åIê;ê;ñ ò ÜwñŽÙnÚÝÙIZÞ =Y#!åIÚ;ê5æ Ü?åIè ÜÞ¦èˆÙnç å&Û;èˆÖtזå•í“×tìjíå•Ü Ötc ê Û6ÜÝÞ¦Ùn.è üW#†õ 4Uì õ !˜ê;êQÜ Õ;Ö#Üwè åIÚ;æˆñŽÜwñŽÙnÚ;æ8×tÙnÚZÜwèˆñ“ø;ìUÜwÖtêQøZï =Y# dÜw՚åqÜ$ñ“æ8Þ¦Ùnè ó ç Nÿ„í ¯ ]£# í ñŽÚ;æˆÜ Ö–åIê Ú E %õ ÙIÞ-ÜwÕ;Ö¡Ö 6jåIן܋Üwèwå•Ú;æ ñúÜwñ“ÙIÚÝè Ötí“å•ÜwñŽÙnæ Ú Nÿ„í…ä ¬ ­ ¨ í ® ¯ ]£# í ÙIãÞ üÉ#Õ;Öt×?óÝî‹Õ;֟ÜwÕ;ÖèÜ Õ;Ö¡åIê;êjÖtê7Ü èwåIÚjæ ñŽÜ ñ“ÙnÚjæזåIìjæ Ö¡ÜwÕ;ÖNí“åIø!Öí“íŽñ“Ú;éþÜwÙ&ø!Ö¡×?՚å•Ú;énÖtê øZïgåIÛjÛ;íŽïŒñ“Újé˜ÜwÕ;ÖÖûWìšå•ÜwñŽÙnÚ;
æ â bî‹ñúÜwÕgÜ Õ;ÖÚ;Ùzî Ö 6ŒÜwÖÚ;ê;Ötêôæ ÖŸÜwæÙIÞ2Û;èˆÖtê;Ö×tÖæ æ ÙIè€æ Ü?å•Ü Ötæ ÙU××tì;èˆè ñŽÚ;éÖt×tåIì;æ ÖgÜ Õ;ñ“æ8ñ“æ8åIÚØ'Ù nÖè ò›åIÛ;Û;èˆ'Ù 6UñŽçLå•Ü ñ“ÙnÚ 2ñúÜ çLå–ï7ø!Ö(ÜwÕ;Ö