Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne

Thesis

Reference

Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss

Federal Institute of Technology, EPFL, Lausanne

DI MARZO SERUGENDO, Giovanna

Abstract

One of the steps making it possible to increase the quality and the reliability of the software executing on distributed systems consists of the use of methods of software engineering that are known as formal. The majority of the formal methods currently existing correspond in fact more to formal specifications languages than to methods themselves. This is due to the fact that the two fundamental aspects which are: the logic of use of the language and the coverage of the software life cycle are not, for the majority, defined. The development by stepwise refinement is one of the means making it possible to define these two aspects. This thesis aims to the definition of the concepts of refinement and implementation of model-oriented formal specifications. It brings a methodological base making it possible to use such a specifications language during a development by stepwise refinements and during the implementation stage. This thesis defines...

DI MARZO SERUGENDO, Giovanna. Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne . Thèse de doctorat : EPFL

DOI : 10.13097/archive-ouverte/unige:73318

Available at:

http://archive-ouverte.unige.ch/unige:73318

Disclaimer: layout of this document may differ from the published version.

1 / 1

! "#$%& (') !( *)+

,.-0/21 34/657/2849:<;=>84?@3BAC,.AD3FE>GHAD/296=G+/JIKE.LME(84-0/ON6-ME1P=

GQSR?.=>?96TOUVXWYUZ[UVXVXV]\

^`_Yabdcbe`fgabbihj4kiab^lh<_[fKb[m@b[e`f+knpopeqsrt_`mYhf<outjvb

w

?@34/2xY?80/2xy6G?i3BQO9OADz2{6?,

w

?>|

w

?>-MExY?|O?xXE}{B=.E9O9O?

^!rtjv_0~nrt€!fKb[e`fKorXe}kj4_[hKkb>kbFkvrK‚fKb[jƒ_…„bdc>c7‚ƒopb[ev‚†bdc

‡‰ˆBŠ

‹ŒŽ‘i’M“0“g’$”–•O—–˜S™)”Pšœ›O žHŸ6šS ‹Ÿ6¡–—

¢‘£¥¤`¦¨§

©ª«¬7¬4­¬7®g®°¯

£

¬±[¯7¬7®

£

±7²©v³´ªBµ[¶

£·¸

¬7®¹»º.±

£¼

¬³½®

£

¶`«¬}¾]¬±`­¬

¼ ¬

¢>£¿¤`¦À§

©ªS«¬7¬Á­¬7®>®°¯

£

¬±[¯7¬7®ÂªBµ¶lÃ]«¬ªÄµ¶

£·¸

¬7®Å¹YºÆ±

£¼

¬³½®

£

¶`«¬}¾]¬±`­¬

¼ ¬

Ç ³£È£

±!µ

£

³½¬4ɉ¬}¾]¬±Ê­¬

¼

¬HË°¾iÌÍ

µ¯7¯7¬

¤

¶`«¬7¬Â®

¸ ³ ¤

³½©

¤

©`®

£¶ £

©±}É

¸MÎϸ

³½ÐƒÑ

Ò

³Ó©²sÔÆÕMÔ<փ¶l³Ó©Ã`ª4¬

£

¬³´¹†É

£

³½¬7¯7¶´¬

¸

³.É`¬B¶ÏÃ`­¬7®°¬

¢ ³ ¢

ÔX×

¸

¯Ã[®Å¹]¯7©ƒ³Øµ

¤`¤

©ƒ³½¶C¬

¸ ³

Ò

³½©²lÔ@¾iÔXÙÚ©ƒ³µ7ÐŹv¯7©ƒ³Øµ

¤`¤

©ƒ³½¶´¬

¸ ³

¢

³gÛ>ÔX¾

¸ ¬ ¦Ü

¹X¯7©ƒ³Øµ

¤`¤

©v³Ó¶C¬

¸ ³

Ò

³½©²lÔ.Ý`Ô]Þ.µ³´ª4®¹¯7©ƒ³Øµ

¤`¤

©ƒ³½¶´¬

¸ ³

Ò

³½©Ê²sÔ

¢

ÔXß6µ‰±[ɳ

£©

¦¿£

¹¯7©ƒ³Øµ

¤`¤

©v³Ó¶C¬

¸ ³

à µ ¸

®lµ‰±`±[¬¹.Ì ÒYáKà

âã`ã`ã

ù0úXûØü+ýúXþ`üÏûØü}ú]ÿƒü]þþÿKþ üüÏûÓþiûÚþþ>ÿÅþ`ÿÓûØüÏþýÅú]ÿÚüý ÿ ! þ"½þ#$

ýdÿþ}ýúXþ%ýÚûÓý&ýOýÅútÿ ÿ'()gýÅúXþ"!*

+-,

ü.]þûØÿ'0/2143.56787"31:9<;5"1=64>@?AB13CDE6GFH6=1JI4úÿKþÚýÅþý4ü.]þ4LKûØüÏþ2ýÅúXûØüýÅúXþÊüÏûüHÿ

þ]ÿÓþMSþ…ý<Nƒû'úXûü0ýþ`ÿ!#POÂûüQ]þ7ü&XûRÿKûÓý&ÿ'I4ÿXüSvû<ýÅþMÚýTþÓþLvÿKýQ)Cþ`ÿ‰ý4Åþ`üGU

+WV 1 V

FR>FH6G1YX[Z\=C7 ý2ú]ÿLþ+û'Ký4 þ@þ+ý4@]_^_`4^badc%e ä ÿý2ýÅúXþfISKRg)h)iKÿ

Sþýú Xüj#QOBþÿIÁÿkÚüS4lvúKý<SþBúXûüBü.mKÅý…ÿ ü.lKlƒþ`ülýÅþý Kþ"Åý7ÿþn œýúXþ`üÏûØü

ÿ‰ý

,

adoQpqU

+

/213.56787"31%r<FR3stuuFQvQ31twT)iFúXûüQjKMSþ<ý7ü.ÿœýÅúÚþÂû'MLþ2þýdüÆúXþ…ü.llƒþÊüÏýÅþkx)i

ýÅúXþ6ýúXþ`üÏûØüjU

+

a>ÿýÅûyjÿ'

V

1hz%FR\83;{t7nr<Z68;|I4úTlKXûR<þnSþ>ýÅúlƒúýúXþQƒýûK]ü})ÅþG~XþSþ"Ký"#OÂûØü

LKûØüÏû'%)Úû<ýÅþlK7ÿ`ýÅûK6þ]ÿÓþnSþiý<ÿþq)ÚýÅúÚûü»ýÅúÚþ`üÏûØü.ÿ_jƒúXþ"Åþ<ýI4úKÓþMûj4mK7ÿ`ýÅûl

üÏþLþ"7ÿ(I€4XüSþL<ûtü. ]þ.)iKSþkœûýÅúÚþx]_^_`4^badc%e ä )i7ÿþISKU

+-,

ü.]þûØÿ'/213.56787"31<T‚Z 1Hƒ6=uJ„Yt1jD…7%I4ú †Yþþ@þ}ýÅúXþ%KÅý4Xû½ý.ý þ6û'XûÓýûÿ‰ýþ

ýHü[ûÓþ<ýÅû‡~dþ`üÏþ`ÿ87ú2ÿ l7ÿK]ÿ`ýÅþBýÅþ`ÿK úXû'lU<ÿxI4úOÿ'I4ÿÚüˆ†Yþþxþ0úXûØü ü&ý

þLþýÅúlvú@)i4ÿSþýú Xü4ÿþ%'ÿxþ`üÏý4ÅûyýÅþÿƒü.]þ[ý_)MúXûØüSÅþ`ülþ`ÿ‰ ú ÿÅþ`ÿvüjU

+

/213.56787"31

V

FRu3‹ŠŒtu>1jFR3;‡FT)iOúÚûüû Lvÿ']ÿ½þgjKMSþ<ý7üTKýúXþýÅúXþKÅþýûRÿQ]ÿýE)

ýÅúXûØüÄýúXþ`ülûüjU

+-

q MjK½þ`ÿlKXþ`ü_)FýÅúXþ Ž)Cý&IÁÿÅþ

,

lƒû'XþþûlgpYÿdÿ‰ý4Œ)

,

aQodpq*q9buum6fv‘6G\"F;6

’2u”“"3fr<t•1jFH6‰;–<[‚31iƒ_Z;‡FH6_ŠŒtARCFH6GZ_ŠŒ3CtDE64>€?Ctum6 —C3D˜t7G.ÿ™?A6BšCtum6Ugÿƒü

I0þ'.ÿvüÄýúXþ%]ÿƒülýTSþ"E]þdüˆ)MýúXþ˜]QoK8› ù.þ`ÿœ*St\8Z6478nž€;‡FRsFH6G18]ÿ!/2t7"\8t;ŸU

+

ù0úXþ<]ÿƒülý4ÿEjÅþ"KýhþE]þdü) ýÅúXþBù.þÓþ!û)iKÿ`ýÅûR!ü.ÿ@^<]þdÿ‰ýÅû'l˜ŽÚüÏýÅþ"ü}lKK

)MýúXþ]QKMXýþTŽ [ûÓþ[þ% Âþ]ÿÅý4Sþ<ýd)>ýúXþf¡TXû'Lþ7ülûÓý&)S¢BþXþ"Lƒÿ *S9<;6£YvˆC1jF¤7GABFRtu”

V

tsFR>˜tu>

V

tsFR>(’2>Zt14>3(t1=;64(64tu¥H¦§1tu\83F¤78qZ;‡FH6Gu”q¨qt787"tt>ŠŒFR14tŠ‹Z©CZƒZ7"t

z%31GFRt(?ABtuF¤7G;‡t78h?A6ŸšCtu68Xÿ«ªqFAB3#



) ýÅúXþ¬j<ýûÚýÅþý4… ÿþS).ýúXûüˆlKK

+

ù0úXþOþÊÿ'M)iÅûÓþ"Xüj* vQtARC6G1GFRum6Oÿ/<68A.6=1=ˆ­[37"tuutÿ

Vh®

tDE68;¯ˆ¨qtZ 1t2ÿ™z%FR\83;{t7G#

°þBüÏý4KûÓþk ú]ÿ8OýKlƒþýúXþMý%<þ7ülý7ÿœýÅúXþBü&Xý4ÓþýûÓþ`üˆ)(ÿ`ýÅúXþ"ÿ‰ýûRüGXúÚüÏûyüj†ÿ

jKMXýþ4ü4ûÓþ"þ#



ü.]þûØÿýú]ÿ%lKþ`üÆý4T <št186GuAR7QI4ú<lÿLþQSþ>ýÅúÚþdKýXû½ý&+ý4_lƒþýgÿ4úXûlvúXþ.þÿ‰ýû§#

$dI4ûØüÏú ÿƒü<I0þ'»ý G8<ûÿ'Sýú]ÿ/2tAŸ1GFR\j6n)i4úXûØüTjK]üÏýdÿ<ýÂþ"j7ÿlvþSþ<ý7üG<ÿM)i<lƒûL<ûl

SþBÿKÅûØÿ‰ýþ6ÿL<ûR[þ`ühI4úXþMXþkþ`üÅüÿ4#ho@û']ÿ'†ÿ…Xû'l<ûüÅühlKþ`ü0ýœvˆC ;‡3T6TI4úþ]ÿÓþkxSþ

ý˜þj)iÅþÊüÏúgE Sû' û'ýÅúXþ%ISKKþ&)i(ISKyJ)€7úXûyÅþ§#

¡TÚþQKþ`ü(€´þ"ÿ‰ úXþÊü]þSþ!ýÅý7ÿKý§µ¨ÿlþKýþÿ_¶]ÿ½ûÓý´þ@þý(Øÿd~YÿÚûÓû½ý´þPKþ`ü'lƒûyûÓþ"ü»üGµ¿þ·€´þjÚý7ÿ<ý

ü&‘Kþ`üü&Xülý"¸þþ`üE´þ"]ÿýÅûü‘jtüÏûülýÅþþ¹Bµ–XýûÓûØüÅÿ`ýÅûKºKþŒ»´þýÅú Kþ`ügKþ™lP´þXûÓþŒKlƒûyûÓþYKûÓýþ`ü

)iKSþ'Óþ`üG#TpYÿEÿ"NÅû½ý´þfKþ`ü<»´þýÅú Kþ`üS)iþ½þ`ü0ÿKýXþ"Óþ"Sþ<ý0þ·<ûülý7ÿ<ýÅþÊü_j4Åþ`ü&mKKþ<ý}þ

) ÿ`ûÓýn']ü˜¸ÿgKþ`ünØÿl†ÿlƒþÊü…<þSü&_´þû‡~ÿ‰ýûK]ü[)i4Sþ'Óþ`ü_¶(µR¸ÿ¼Kþ`ün»´þýú Kþ`ü_KÅþ"Sþ<ýnKû½ýÅþ`üG#

]Mþ[ûL<ûÓþ<ýQ˜) ÿ‰û½ý€¶”Xþ<ÓþÊühKþ·2ÿvü.]þýdü½)iKXÿþKýdÿ·:¶”Úþ}ü&<ý*hÿn'lƒûy¶”Úþ<µ–Xýû½ûüÅÿ`ýÅû'

˜Øÿl†ÿlvþÂþýPÿnjKLþýþ_ jj½þ_Kþ_L<ûÓþ2˜KlƒûR[ûÓþ XþBü.KKý"QØÿY]ÿÅý"]ÿƒüQ€´þG~XûüG#

p]þ €´þ"LþK]þSþ<ý_]ÿ%dÿk¾¼XþSþ<ý7üBü.þ`üüÏû¤) üBþ`üÏý%Ÿµ¿ŒKþ`ü<Mþ]ü_ þ"Sþýý7ÿKýbKþ¼S´þj~Xû'

þÊüSKþ·ÿƒü& þký7üG#

]MþýýÅþ2ýÅú§¸þÊüÏþML<ûülþ!¸ÿØÿ€´þj~XûÓýûKþ`ü%ƒýûK]ü˜KþMdÿk¾¼XþSþ<ý}þý:µ¿û'MØÿ<ý7ÿ‰ýûKŒKþü.2´þû¤~`

ÿ`ýÅû']üS)i4Sþ½þ`üSûÓþ<ý´þ!þ`üÀ`BM ¸þ½þ`üj#

,

'Óþ ÿýÅþ˜]ÿn&¸ÿ`ŸŒÁþSþnÚþ]ÿvüÏþ˜Â´þýú KlvûR¶Xþ

]þ4SþýÅýdÿ<ýQµ¿XýÅû'ÓûülþqSýÅþ"mØÿl†ÿlvþ%Kþ…ü.2´þ[û¤~ÿ`ýÅû']üQdüQµ–JS´þLþ']þSþ"Ký(]ÿSdÿk¾¼Xþj`

Sþ"Kýdü ü&þÊüÅüÏû‡) ü0þý_K7ü_Kþ%Bµ´þýdÿ]þfµ¿û'MÿKýdÿ‰ýû§#

]MþýýÅþSýú(¸þ`ülþ€´þj~Xû½ý€Xÿ]ü˜ÃþSûÓþ"+ýþM]üGˆÂÿ ÅþýÅú2´þ"Åûy¶”ÚþM Óþg7ÿ¾MÚþSþ<ý6þý

Bµ¿û¼½ÿ<ý7ÿ‰ýûK™Kþ ü.2´þ[û¤~ÿ`ýÅû')iKSþ'Óþ`ünKÅûÓþ"Ký´þþ`üÀ`BM ¸þ"Óþ`üG#‹pqµ¥ûR€´þþ¼Åû'ûtÿÓþ¼jK]üÏûØüÏýÅþ¸ÿ

ÿvüÅü. [ûÓþh j<ýdÿ‰ý<¸ÿ%7ú]ÿ¶Xþ4ü&_´þû‡~ÿ`ýÅûK(#h¡<˜jKKý47ÿ‰ýQþ´þÊüÏþ<ýÅþMþ· ÓûyûÓýþ2þKýŸµ¥þ]üÏþ"E½þ

KþÊüd4û´þý´þ`üSKþbÿü&_´þû‡~ÿ`ýÅûKg¶(µ¿û' þÊüÏýS2´þþ`üüÅÿ‰û'Åþ%<þn´þÊüÏþ4LþQdüSµ¿Mdÿk¾¼XþSþ<ý€Kþ

þ!ýÅýÅþü.2´þû¤~mÿ‰ýû§#gaˆ˜¼<ýÅþ"%¶”§µ–Xþ ü.2´þ[û¤~ÿ`ýÅû'jG¸þýþEdÿk¾¼XþMXþ ü.2´þ[û¤~ÿ`ýÅû'

']üOÿtüÏýdÿ‰û½ýÅþMûÁüjµ¨ÿlƒû½ý2ÿK7ü KþMMKKý4Åþ:¶”ÚþMÓþ‘jKKý47ÿ‰ý <þ@Øÿü.2´þkû¤~!ÿ‰ýÅû'ÃGj"¸þýÅþþ`üÏý

ü&¾üÿ<ýhFÿvüÅü.ÅþQÓþÊüˆKÅû"´þý´þÊühj4Åþ`ü&XÿKýFÿMjKKý47ÿ`ýQKþ<ÿ}ü&_´þû‡~ÿ‰ýûKOÿtüÏýdÿ‰û½ýÅþ#

pYÿBüÏþGKþ€]ÿýÅû½þS<þS[þýÅýþ ýú(¸þ`ülþSG]ülûüÏýþ%¸ÿBÿÓûR¶Xþq[þS!ÿþ ýú_´þKÅûR¶Xþ€Xÿ]üˆÓþ€jKKýþ·<ýÅþQ

Øÿl†ÿlƒþ˜]_^_`4^naQc…e

ä

#_]_^_`^baQc…e

ä

þ`ülý_gÿlÿlvþ˜KþHü&_´þû‡~ÿ‰ýûK]ü½)iKSþ'Óþ`ühKÅûÓþ"Ký´þj`ŸK NÅþý

)iKS´þ2ü.nÓþ`ü<´þ`ülþ`ÿ·œKþ˜aiþýû@þýbÓþ`ü}ü&_´þû‡~ÿ`ýÅûK]üBÿlP´þûR¶Xþ`üj#f$Ÿ@þÊüÏý%K4ü ´þE

þ%Øÿl†ÿlƒþ©Xþ:S´þj~Xû½ýÅû'‘Kþ`ü_ƒýûK]ünKþ:j<ýdÿ‰ý7üG<þ7ÿ¾MÚþSþ<ý0þý<µ¿û¼ÿKýdÿ‰ýÅû'(#_p]þ`ü

jKKý47ÿ`ý7ü>ü&<ý þ"·û´þÊüQ¸ÿTŸµÀÿ‰ûR<þ_Kþ_ØÿTKlƒûR¶Xþ4ýþMþ½þS<þ<OÂþXþÊüÅü.`À›ûÚþQğOn›p(ʼn#]MþýýÅþ

'lƒûy¶”Úþx) ÿKû½ûÓýÅþ˜Øÿ@L€´þÅû‡~ÿ`ýÅûKÃKþ`ü%KÅû"´þý´þÊü…G<ý7ÿKýÚþ½þ`üjgÿ‰ûtüÏû€¶”ÚþMÿgL€´þû¤~!ÿ‰ýÅû'Kþ`ü

´

þýdÿ]þ`üqKþSdÿk¾¼XþSþ"Ký"#}p]þ€7ÿk¾¼XþþKýYþýqŸµ¿û'MØÿ<ý7ÿ‰ýûK}ü&<ýQj<ýKÁ"´þ`ü.ü ´þ ÿ<ýÅûR¶Xþ2þ<ý]ÿ

ØÿOüÅÿ‰ýûüŸ) ÿýûœKþ`ü_jKKý47ÿ`ý7üjU]ü&<ý7ÿ·Kûy¶”ÚþSþ<ýÅþ"M ÿlƒþBþ`ülýBÿXý4ÅûØü ´þ#_pqµ¿û'MØÿ<ý7ÿ‰ýûK

Xýû½ûüÅÿKýfÓþMØÿl†ÿlvþ!Kþg4ldÿM ÿ‰ýÅû'ÃÆÿLvÿÿ¹´þý´þg']ü]ÿýÅûyjÓûB¸þÅþ"Sþýœ´þý4Kû"´þþ#™$ŸFþ`üÏý

MKKý4´þœjMþKý2ü&_´þû‡~]þg<þ`ügjÿvüÅüÏþÊü@ ÇØÿl†ÿlƒþ-KþlK7ÿMÿ‰ýûKºÆÿkLvÿȸÿ-Bµ¨ÿ`ûRKþŒ

Øÿl†ÿlƒþ!]_^_`4^naQc…e ä Mÿ~W¶”Xþ¼ÿ<þXûB¸þÅþW´þýdÿ]þ‘™4 þ`üÅü&]ü KþM7ÿ¾MÚþSþ<ý%jKXûØüÏþŒ¸ÿ

jØÿƒüÅülþ`ü_ÆÿLvÿ#_pqµ´þýdÿ]þfµ¿û'MÿKýdÿ‰ýûJXÿ]ü_Óþbÿlÿlvþ˜ÆÿLvÿx'Xû¤`BŒÁþ2þ4þþ`ülý}ÿ`û]ülû) ÿû'ÓûÓý´þþ#

pYÿ}ý4ƒûülûB¸þþS]ÿÅýÅû½þ<KþbþýÅýþ0ýú(¸þ`üÏþ<MKKý4Åþ_GMSþ"ý.ûXþ`ülýhüüÏûÓþbKþTL€´þû¤~]þqdÿ‰ýÅûy¶”ÚþSþ<ý

¶(µ–Úþ}ü&_´þû‡~ÿ‰ýûK]_^_`^baQc…e

ä

üÿ‰ýûüÀ)ÿ`ûÓýÁü.g4þfj<ýdÿ‰ý¶”§µ–Xþ‘´þýdÿ]þfKþn7ÿ¾MÚþSþ<ý

þ`ülý%j4Åþ[ýÅþSþ"KýFþj†Yþý2´þþ]þý}þ~Œ¶”Xþ˜Bµ4´þýdÿ]þ˜µ¿û¼ÿKýdÿ‰ýÅû'þ`ülý%j4Åþ[ýÅþSþ"Ký€´þ`ÿÓûü ´þþ#

]Mþ`üL€´þÅû‡~ÿ`ýÅûK]üüGµ¿þj†Yþ[ýXþ<ý¼¸ÿ‹Bµ¨ÿ`ûRKþ¼Kþgÿýú_´þûÓþg èýþ`üÏý%)i4XûÓþ ÿLþ˜Óþgÿlÿlƒþ!]_^_`

^baQc…e

ä #

o@û']ÿ½þSþ<ýØÿ@<þXûB¸þÅþ˜tÿÅýûÓþ¼Kþ þýýÅþOýú(¸þ`üÏþ2û']ülýþ˜Óþ˜Xû½þ`i)i€´þ¼Kþ þ!ýÅýÅþ2ÿ4 úXþþ

ŸµÀÿÓûR¶]ÿKýFü.SXþœ´þý<þnKþYÿƒü€jMŸ¸þýþ4þý_€´þ!ý7ÿ‰û'"´þþ#q¡TXþ…ÿÓûR!ÿ‰ýÅû'M´þ]ÿÅýÅû½þnÆÿLvÿþ`ülý

€´þLþ"_´þþOülþKØÿE´þýú KþOû'Ký4 Xû½ýÅþ˜…½þ˜ÿlÿlƒþ]_^_`4^naQc…e

ä

#Mp]þ 7ÿk¾¼XþþKýBþ`ülý

lÚûR€´þ_û[û]ÿÓþSþ"ý]ÿdØÿ}üÅÿ`ýÅûØüÀ) ÿ[ýÅûK Kþ<7ú]ÿ4lƒþ`ü})iKýûXþ½þ`ü.þýh]ÿQKþ`ühG<ý7ÿ`û<ýÅþ`üPKþ

jKþXýûKOû<ý´þlK7ÿ<ýhØÿYƒýÅû'¼µ¨ÿ87úXûÓýþý4Åþ2jÓû½þKýGe`ülþLþ#

,

~§”½þ`ü˜´þý7ÿ]þ`üQ úvûülûÓþ`ü(K7ü

Œ [þ`üÅü&]ü˜Kþ 7ÿk¾¼XþþKýbKþ¼þ¼S´þLþ']þSþ"Ký_]þ4SþýÅýþ<ýnµ4´þýKûÓþYþÅýdÿ‰û']ü6ÿƒü.]þ[ý7ü

ü.2´þû¤~m¶”XþÊüSÿ· ÿ½ûRÿ`ýÅûK]üM´þtÿÅýûÓþ`üGÂþýJKþ†üÏþœKþ`üü7ú_´þÿvüxlP´þ2´þûR¶Xþ`üEKØÿ

jKþXýûK<þ+ýþ½þ`ü0ÿ½ûRÿ`ýÅûK]üj#

^<Xþ!)ýúXþüÏýþ]üMÿKû'lû½ýMüüÏûÓþý–û'jÅþÊÿƒüÏþýúXþŒ¶]ÿ½ûÓý& ÿýÅúXþ!þÓûØÿXû'Óû½ý.)OýúXþ

ü&)Cý&I4ÿÅþBþ·KþkjXýÅû'lnKgKûülýûXýþ2ü.ÚüÏýÅþ"ühjK]üÏûØüÏý7üQ)iýúXþTtüÏþ<)qSþýú Xüh)gü&)Cý&I4ÿÅþBþlvû¤`

Xþ!þÅû'l6ýÅú]ÿ`ý4ÿþn I_ÿƒüd)iKÿŸ#>ù0úÚþnÿNKÅûÓý&f)iýÅúÚþ[)iKÿmþýÅú ÚüSj4Åþ<ý'þ·<ûülýÅû'l

jKþ`ü. û') ÿýn¼ÅþHýE)iKÿMü.]þ[û¤~ÿ`ýÅû']üTØÿlK]ÿlvþ`ü}ýÅú]ÿý4gSþýÅú XüÂýÅúÚþüÏþ"Lþ!üj#

ù0úXûØü}ûünÚþœý4ýúXþ˜)ÿý6ýÅútÿ‰ý6ýÅúXþ2ý&ISE)iXÿþKýdÿMÿvü.]þýdünI4úXûR7úÿþ*+ýúXþ˜Klƒûyx)_]ülþE)

ýúXþTØÿlK]ÿlvþHÿSýÅúÚþ%jLþ7ÿlƒþ<)iýúXþ6ü.)Cý&I4ÿþnÓû‡)CþnGj½þBÿþnƒý"”)iK4ýÅúXþ<ÿNKÅûÓý&©Kþj~Xþk#

ù0úXþYKþLþ'Sþ"Kýh üÏýÅþ"I4ûØüÏþnþj~XþþKýgûüdKXþ%)gýÅúXþ%SþÊÿ]ühÿKû'lû½ýSüüÏûÓþ6ý KþG~Xþ

ýúXþ`üÏþ…ý.I€Sÿvü.]þýdüj#

ù0úXûØü+ýúXþ`üÏûØüÿ`ûü}ýýúXþgKþG~XûÓýûK™)BýúXþgjKþXýdü…)nþj~XþþKý ÿ–û¼Óþ2þýdÿ‰ýÅû'!)

M <þ¤`BûÓþ<ýÅþ˜)i ÿiü.]þ[û¤~ÿ`ýÅû']üG#n$°ý_Åû'lü…ÿESþýú 'lvûRÿ(]ÿƒülþ˜ÿ<ûlOû½ýT†üÅüÏû'Óþ

ý4M]üÏþ2ü&7úÿü.]þû‡~ÿ`ýÅûK]ü_ÿl]ÿlƒþ¼Åû'lÿgKþLþ"Sþ<ýd ülýÅþ I4ûülþþj~XþþKýdü4ÿ

ÅûlOýÅúXþ6û¼Óþ2þ<ý7ÿ`ýÅû‡üÏýdÿlƒþ©#

ù0úXûØü+ýúXþ`üÏûØü%Kþj~XþÊüj>ûÚûÓýÅûØÿ'.ÿýúXþKÅþýûRÿ½)idÿSþ"IS4@)iKOýÅúXþ Åþj~XþSþ<ý6ÿ–ýÅúXþ2ûMÓþj`

Sþ"Kýdÿ‰ýÅû' )q)i4ÿ ü.]þû‡~ÿ‰ýûK]üj#Mù0úXþ%ÿ`ûSûyKþ`ÿfj]ülûülý7ü4ûÿvüÅü. [ûÿ‰ýûlÿ j<ýdÿý€I4ûÓýÅú

þ`ÿK ú ü& þkû¤~!ÿ‰ýÅû'(#



j<ýdÿý2þ· ÓûyûÓý4!Åþ"Åþ`ülþ<ý7üOýÅúXþ‘I4ú½þ)HýúXþ4]þýÅûÓþÊüx)ýúXþ

ü& þkû¤~!ÿ‰ýÅû' I4úXûR7ú2ûÓýMûühXþ[þ`üÅüÿOý4þ`üÏþ"LþBÿ‰ýFýÅúXþBýÅû'SþS)gÿ…þj~XþþKýq)iýúXûüMü& þkû¤~!ÿk`

ýû§#4ù} üÏúI$ýÅú]ÿ`ý}ÿ¼jGÅþýþü&]þû¤~mÿ‰ýû‘Åþj~Xþ`üBü.þÿ]üÏý47ÿKý}ü&]þû¤~mÿ‰ýû§ û½ýÂûØü0ýÅúXþ

ÿ˜ÿ‰ýýÅþ€)FülúI4ûlýÅú]ÿ`ýÂýúXþ˜jKKý47ÿKý_)MýúXþ˜GjþýÅþHü& þkû¤~!ÿ‰ýÅû'ûüBü. ¾gû½þ<ý0ýþ]ü.Åþ

ýúXþ%K þ"ÅýÅû½þ`ü_jKÅþÊü.<ûl2ý2ýÅúXþfjKKý47ÿKý_)gýÅúXþHÿ]üÏý47ÿ[ý}ü& þkû¤~!ÿ‰ýÅû'(#

ù0úXþHülþjJtÿÅý_)MýÅúÚûü0ýÅúÚþ`üÏûØü_j]ülûülý7ü0û ÿ<ûlOýÅúXûØü0ýÅúXþKÅþýûRÿm)idÿSþI€4OûýÅúXþfjK`

ýþ·Ký_)FýÅúXþ ]_^[`4^baQc…e

ä

ÿltÿlƒþ©#]_^[`4^baQc…e

ä

ûØü}ÿ!K NÅþý&`ŸKÅûÓþ"KýþE)i ÿiü.]þ[û¤~ÿ`ýÅû']ü

ØÿlK]ÿlvþY)iKKþkE ÿ'lƒþ7ÿ‰ûy}ü.]þ[û¤~ÿ`ýÅû']ü4ÿga@þýûXþý7üG#Mù0útüj<þj~Xû½ýÅûK]üd)>ýúXþ%jK`

þ"Xý7üT)bj<ýdÿýdüj(ÅþG~XþSþ"Ký…ÿû¼Óþþj<ý7ÿ`ýÅûKÿÅþ Km†üÏþ!)iýúXûü<ÿl]ÿlƒþ#ù0úXþ

jKKý47ÿKý7ü6ÿþSþ· ÅþÊüÅüÏþk‹]ülûlýúXþ¼OÂþXþÊüÅü.`À›ûÚþ}ýÅþ"M7ÿQlvûRgğOn›p(ʼn#iù0úXûü%lvûROûü

]ülþèû'ýÅúXþ ýÅúXþKÃ) ýÅþ`ülýE4LKûyKþ™I4ûÓýú«ÿltÿlƒþŒ]_^_`^baQc…e

ä

#ù0ú ]üjFýÅúXþ‘LþÅû‡~ÿ‰ýûK

)BýÅúXþ¼j<ýdÿý4]ÿ€K]þÅýûÓþ`üGMÿƒü…IFþFÿvü+ýÅúÚþMLþÅû‡~ÿ`ýÅûK)BýÅúXþ üÏý7ÿlƒþ`ü)<Åþj~XþSþ<ý…ÿÅþ

) ÿKû½ûÓý7ÿ`ýÅþ#˜ÌÄþG~XþSþ"KýBÿû¼Óþ2þ<ý7ÿ`ýÅû‡ ÿÅþ¼jKKý4'ÓþülþÿKýûRÿ¼ýúXþSüÿ‰ýûüÀ) ÿK=`

ýû!)BýÅúXþ G<ý7ÿKý7üGU>ü&<ý7ÿKýÅûyÿ'YÿMÅþ]ÿSûlSûü6ÿÚýÅúKÅûülþ#˜°þSü& þkû¤~!ÿ'ülýýúXþ

û'MÓþ"œþGKýdÿ‰ýû%]ülûlHýÅúXþ<ÆÿLvÿ…lK7ÿMSûlTØÿlK]ÿlvþ#h°þ…üÏúI úIýHü.]þ[û¤)i˜GÿƒüüÏþ`üh)

ýúXþ%ÆÿLvÿKl7ÿMSû'l%ÿl]ÿlƒþtüÏûl˜ÿl]ÿlƒþE]_^_`4^badc%e ä ]ü&œýú]ÿ‰ý4ýúXþnØÿƒüÏýBülý7ÿlƒþ)>ýúXþ

ü.]þ[û¤)i<ûlgÆÿLvÿgjÿvüÅülþ`üj#Où0úÚþ2üÏý7ÿlƒþM)FûM½þSþGKýdÿ‰ýûû'ýÅúXþ ÆÿLvÿMÿl]ÿlƒþSû½ý7üÏþ"¤)MûØü ýútü

) ÿ[ûÓû½ý7ÿ`ýÅþ#

ù0úXþMýÅúÚû8%]ÿýˆ)]ýÅúÚûü»ýÅúÚþ`üÏûØü.üÏúIBü@úI–û½ý.ûüüüÏû'ÓþFý<7ÿKýÅûyÿ'<LþÅû‡)iÂýú]ÿ‰ýgÿY]_^_`4^badc%e

ä

ü.]þ[û¤~ÿ`ýÅû'üÿ‰ýÅûØüÀ~]þÊüÄû½ý7üdI_‘jKKý47ÿ[ýKýú]ÿ‰ý…ÿOüÏýdÿlvþ…)hþj~Xþ"Sþ<ý ûØüSjKþý'M!ÿûÓþ Xý"

ÿœ~tÿ'ýú]ÿ‰ý6ýÅúÚþ2üÏý7ÿlƒþ )ÁûM½þ2þKýdÿ‰ýûûØünj4Åþ[ýg]þ&)iþ#Hù0úXþ`üÏþ Lþû¤~ÿ`ýÅû']ü

ÿþfÿ4ÅûÓþkJKXý_]ülûl2ýÅúXþ6ýúXþ4M)‘ýÅúXþ6ýÅþÊüÏý_4L<ûR<þEI4ûÓýúgÿl]ÿlƒþM]_^_`^baQc…e

ä #

o@û']ÿ'ýúXþSØÿƒüÏýq]ÿÅýq)YýÅúXûØüÆýúXþ`ülûü»û']ülýdÿ‰ýÅþÊüÆýúXþ€jlvþj%)YýúXûü.ÿ†ÿ7ú˜Hÿ<ûlÂû½ý.ý

ÿ_jKMÓþ!ýÅþgÿ%Kþýdÿ‰û'Óþn!ÿƒüÏþFülý©#



KûØüÏý4ÅûXýÅþbÆÿkLvÿBÿÓûR!ÿ‰ýÅû'6ûüKþLþ']þ…ÿjK8Kû'l

ý2ýÅúÚþ…þýÅú Sû'Ký4 [þJ)iKÂýúXþ˜]_^[`4^baQc…e

ä

ØÿlK]ÿlvþ#_Ì4þj~Xþ"Sþ<ý ûØü[lKXûR<þMÿ‰û'

ýÅúÚþüÅÿ`ýÅûüŸ)ÿýûK™)<)iýûK]ÿ€Åþ¶XûþSþýdü}ÿjK]üÏý47ÿ‰û'Kýdü…)%KþÊüÏûlK–û<ýÅþ"l7ÿ`ýÅû'lýúXþ

jKþXý_)2jÓû½þKýGe`ülþLþFÿ87úXûÓýþýÅþ#_pYÿƒülý© ýúXþHüÏý7ÿlƒþ`üb ú†üÏþ û ýÅúXþ%ÅþG~XþSþ"Ký€ þÊüÅü

)iýúXûü€KþLþ'þKýqÿþ4ûÓýS†üÅüÏû'Óþ…ýOülý Sÿvü.]þýdü4ü.]þû‡~Äý4 KûülýûXýþ2ÿ½ûRÿ`ýÅû']üG

ÿý˜†üÏþ˜lƒþ"XþÅûy}ü7úXþ ÿƒü½)iK4ýÅúXþfKþÊüÏûlK)Mü& ú ÿÓûyÿ‰ýûK]üj#

Î ÏGÐmÑÒÓ(ÔqՈÖÑ×iÓÐ Î

Ø #Ø ›výÅûLvÿ`ýÅûK ÿ‘a½û[û½þ™#%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ù

Ø #ä

aˆ†üÏû½ýÅûKXûl ##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ú

Ø #¯Ù ]QKKý4ÅûXýÅû'g##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Û

Ø #¿Ü  T GSþ<ýT^<l†ÿXûØüÅÿ`ýÅûK #%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ý

Þ ßMà áHâ ÑàԙãäÓÒå(æ ÎÎ

ä #Ø

Ì4þj~Xþ"Sþ<ýd)Qaiþýû(cÂþýdü=ekOÂûlvú`Ÿ½þLþcÂþýdü!#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

Ø!ä

ä #Ø #Ø ÌÄþG~XþSþ"KýQ)½¡T]ülý4ýÅþga@þý4Åû§cÂþý7üä##%#%##%##%##%#f#…#f#%#…#f# Ø!ä

ä #Ø #ä ÌÄþG~XþSþ"KýQ)‘ù0ûþMa@þý4Åû§cÂþý7ü!#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø Ü

ä #Ø #¯Ù ÌÄþG~XþSþ"KýQ)€Žý4ý4Åþk@aiþýû(cÂþýdü #%##%#%##%##%##%#f#…#f#%#…#f# Ø Ú

ä #Ø #¿Ü



]ülý7ÿKý< Âþj~XûÓýûg)€ÌÄþG~XþSþ"Kýˆ)iKnaiþýûXþýdü¹##%##%#f#…#f#%#…#f# Ø Û

ä #ä Ì4þj~Xþ"Sþ<ýd)S^< NÅþ[ý.`4^TûÓþ<ýÅþkJŽ]þ[û¤~ÿ`ýÅû']ü%#%##%#%##%##%##%#f#…#f#%#…#f# Ø Û

ä #ä #Ø

o½^%^baSŽ #f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

Ø Ý

ä #ä #ä ç%èéhêê #%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø"ë

ä #ä #¯Ù ì% n›!íí #f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ø

ä #¯Ù Žýû'ˆ^BýÅúXþ"<ÌÄþj~XþSþ<ýQcTvýÅû']ü ##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ävä

ä #îÙ#Ø ÌÄþG~XþSþ"KýQ)



'lƒþdÿ‰ûy…Ž]þû‡~ÿ‰ýûK]ü ##%#%##%##%##%#f#…#f#%#…#f# ävä

ä #îÙ#ä 

Ž<ù_Ì

 p #…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ù

ä #îÙ#¯Ù ïð#%#%##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ü

ä #îÙ#¿Ü ÌÄþG~XþSþ"Ký_]Fÿyj']üñ#%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ú

ä #îÙ#¯Ú ùTp



##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äKò

ä #îÙ#ò ÌÄþG~XþSþ"KýFÿƒü<ahK þ"ÅýÅû½þ`ü˜##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Û

ä #¿Ü  ÂûØüjtüÅüÏû'ó#%##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ý

ä #¿Ü#Ø oKÿ( ÂþG~XûÓýûK]üS)€Ì4þj~ÚþSþ<ý*hŽ KýdÿýûRÿˆ]QKKûÓýûK]ü@#%#f#…#f#%# äë

ä

#¿Ü#

ä

oKÿ( ÂþG~XûÓýûK]üS)€Ì4þj~ÚþSþ<ý*hŽþ ÿ<ýÅûR!ÿ(]Q<ûÓýÅû']ü™#%#f#…#f#%#óÙ

Ø

ä #¿Ü#¯Ù a½4]þýÅûÓþÊü[)>ýúXþfÌÄþj~XþSþ<ý€ÌÄþ"ÿ‰ýûKg#…#f#%##%##%##%#f#…#%#f#…#f#%#óÙÜ

ä #¿Ü#¿Ü $À¼Óþ2þ<ý7ÿ`ýÅûKELÚü_Ì4þj~XþþKý<#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÙ ò

ä #¿Ü#¯Ú



XýBýÅúXþf¡}ülþ%)‘ùÆþ¼mK7ÿhplƒûyú#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÙ ò

ä #¿Ü#ò  ÂþLþ'Sþ"Ký€›þýú 'lvûÓþ`üû#%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óٔÛ

ä #¿Ü#‡Û ÌÄþj~XþSþ<ý€ahÅþ`ülþLþ`ü_^<]üÏþ4Lvÿ½þah4]þÅýûÓþ`üó#%##%##%#f#…#%#f#…#f#%#óÙÝ

ä

#¿Ü#¯Ý ]Qj']üÏû'!#f#%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜý

þ ÿˆà ÓÒ«ÓYßMà hÐqàÃà ÐmÑfâÐqÔ»ÏqáHàÃàÐÑâÑ×RÓÐ þ

Ù#Ø Ì4þj~XþþKý€ï4ÿvüÏþMŒ]Q<ýdÿýdüð#%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜÜ

Ù#

Ø #Ø

]Q<ý7ÿKýtÿQŽ]þû¤~mÿ‰ýûtü ##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜÜ

Ù# Ø #ä ÌÄþj~XþfÌÄþØÿ‰ýû #f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜ ò

Ù#

Ø

#¯Ù oK ÿfÌÄþG~XþSþ"Ký #%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜÝ

Ù#

Ø

#¿Ü ÌÄþj~XþSþ<ý€ÌÄþ"ÿ‰ýûK #%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#üÜ

ë

Ù#

Ø

#¯Ú a½4]þýÅûÓþÊü[)>ýúXþfÌÄþj~XþSþ<ý€ÌÄþ"ÿ‰ýûKg#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚý

Ù#ä $ŸM½þœþ"Kýdÿ‰ýÅû' ï4ÿvüÏþg!]Q<ýdÿýdüx#%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚ Ø

Ù#

ä #Ø

]Q<ý7ÿKýtÿPa½4lK7ÿ ü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚ

ä

Ù#ä #ä $À¼Óþ2þ<ýQÌ4þÿ`ýÅûKŒ##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚÜ

Ù#ä #¯Ù oK ÿf$ŸMÓþ"œþ<ý7ÿ`ýÅû‡ #%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚÚ

Ù#ä #¿Ü $À¼Óþ2þ<ý7ÿ`ýÅûKMÌ4þØÿ‰ýÅû' #%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óÚ ò

Ù#¯Ù Ì4þj~XþþKý€ah [þ`üÅüBÿ‘$ŸMÓþ"œþýdÿ‰ýû #%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#óڔÛ

Ù#¿Ü ]Q¼m†üÏû½ýÅûK]ÿqÌ4þj~ÚþSþ<ýFÿ‘$À¼Óþ2þýdÿ‰ýÅû' #%##%##%##%#f#…#%#f#…#f#%#

ò ý

Ù#¯Ú  ÂûØüj]üüÏû'ó##%#f#…#f#%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

ò Ú

Ù#¯Ú#Ø Ž<ý7ÿKýÅûyÿq]Q<ûÓýÅû']ü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# ò Ú

Ù#¯Ú#ä ŽþÿKýûRÿ}]QKKû½ýÅûK]ü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# òò

Ù#¯Ú#¯Ù ]QþýBÿ$ŸjKþý<Ì4þj~XþþKýdü #f#…#f#%##%##%##%#f#…#%#f#…#f#%#

ò Ý

Ù#¯Ú#¿Ü

,

LKXýûK@)MýÅúÚþx]QKKý47ÿKý<ûl2ýÅúXþfÌ4þj~Xþ"Sþ<ýQah þ`üü0#%#f#…#f#%#

òë

Ù#¯Ú#¯Ú

,

LKXýûK@)€ahKl7ÿü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Û Ø

Ù#¯Ú#ò 

Lvÿ<ý7ÿlƒþ`ü_)MýúXþf¡}üÏþb)_]QKKý47ÿ[ý7ü«#f#…#f#%##%##%##%#f#…#%#f#…#f#%# ÛÙ

Þ

Ü#

Ø

Ž <ý7ÿ·ä##%#%##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#üÝKý

Ü#

Ø #Ø 

 }ùº› ½þxŽ†ûltÿ‰ýÅþ ##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#üÝKý

Ü#Ø #ä ]QÿvüÅü<› Óþf$Ÿ<ýÅþ&) ÿþº#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#üÝ ä

Ü#Ø #¯Ù ¢<tÿhŽû'l]ÿ`ýþOÿ‹¢<K]ÿq$Ÿ<ýÅþ&) ÿþ ##%#%##%##%##%#f#…#f#%#…#f#üÝÜ

Ü#Ø #¿Ü



 }ùº› ½þ`üM#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#üÝ ò

Ü#

Ø

#¯Ú ]QÿvüÅü<› Óþ #%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#üÝKÝ

Ü#

Ø #ò

]_^_`^baQc…e

ä

Ž]þû‡~ÿ`ýÅûK ##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

ëvä

Ü#

ä

Žþ"ÿ<ýÅûyü #%##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

ë Ù

Ü#ä #Ø 

lvþdÿ‰ûRb› KþüS)FÿM]_^[`4^baQc…e ä Ž]þû‡~ÿ‰ýûK ##%##%#f#…#f#%#…#f# ë Ù

Ü#

ä #ä

›ÿ]ÿlƒþþKý€)€^< NÅþý<$&Kþ<ýÅû‡~]þ7üW#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

ë Ý

Ü#ä #¯Ù Žý7ÿ`ýÅþ˜Ž]ÿKþ #f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ýKý

Ü#ä #¿Ü ù}dÿ]ülûÓýûŒŽÚüÏýÅþ"ü#%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ý Ø

Ü#ä #¯Ú $Ÿ)CþÅþ"þ%Ì_ÓþÊüü##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ý ä

Ü#ä #ò ŽþÿKýûRüh)FÿE]_^_`^baQc…e ä Ž]þû¤~mÿ‰ýû #%#%##%##%##%#f#…#f#%#…#f# ØØ!ä

ތßMà hÐqà0à ÐmÑ ÎÎ

Ú#Ø OÂþ"Xþ`üü.`&›û'Xþ_pKlƒûR ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ØØ Ú

Ú # Ø #Ø Ì[Xûl

,

·Úÿ¼Óþ #%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ØØ"ò

Ú # Ø #ä On›pœoK ÿ`þ ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ØØ Ý

Ú #

Ø

#¯Ù Ž<ÿ‰ýûüŸ) ÿýû‘Ì4þÿ`ýÅû' #%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

Øä Ø

Ú#

ä

]_^_`4^naQc…e

ä

Ì4þj~ÚþSþ<ý<##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

Øä

Ý

Ú #

ä #Ø

]Q<ýdÿý4]ÿQ]_^_`^baQc…e

ä

Ž]þû‡~ÿ`ýÅûK]ü ##%#%##%##%##%#f#…#f#%#…#f#

Øä

Ý

Ú #ä #ä ÌÄþG~XþfÌÄþ"ÿ‰ýûK ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ÙKý

Ú #ä #¯Ù Ì[Xûl

,

·Úÿ¼Óþ #%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ÙÜ

Ú #ä #¿Ü o ØÿÌ4þj~XþþKý #%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø ÙÛ

Ú #ä #¯Ú ÌÄþG~XþSþ"Ký€Ì4þÿ`ýÅûK #%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# Ø Ü Ø

Ú#¯Ù ]QKMüÏû½ýÅû']ÿh]_^[`4^baQc…e

ä

ÌÄþG~XþSþ"Kýó#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

Ø

Ü©Ù

Ú #îÙ#Ø ]QM†üÏûÓýûK]ÿh]QKKý47ÿ[ý]ÿd]_^_`4^naQc…e ä Ž© þkû¤~!ÿ‰ýÅû']ü™#%#f#…#f#%#…#f# Ø Ü©Ù

!"#ތÏqáHàÃàÐmÑâ Ñ×HÓÐ Î$Î

ò #Ø ]Q<ýdÿý4]ÿPahKl7ÿü #f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Ú Ø

ò #Ø #Ø Ì[Xûl

,

·XÿM½þ˜#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Ú ä

ò #Ø #ä a½4lK7ÿ ü #f#%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø ÚÜ

ò #Ø #¯Ù On›p!oK ÿ`þn‘ahKl7ÿüE#%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Ú”Û

ò #Ø

#¿Ü ]Q<ý7ÿKýtÿPa½4lK7ÿ ü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

ØòØ

ò #ä ]_^_`^baQc…e ä $ŸM½þSþGKýdÿ‰ýû #%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Øò Ü

ò #ä #Ø $À¼Óþ2þ<ýQÌ4þÿ`ýÅûKŒ##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Øò Ü

ò #ä #ä

oK ÿf$ŸMÓþ"œþ<ý7ÿ`ýÅû‡ #%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øò

Û

ò #ä

#¯Ù $À¼Óþ2þ<ý7ÿ`ýÅûKMÌ4þØÿ‰ýÅû' #%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Ø Û Ø

ò #¯Ù ]Q¼m†üÏû½ýÅûK]ÿh]_^_`4^badc%e ä $À¼Óþþj<ý7ÿ`ýÅûK™#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø ÛÙ

ò

#¯Ù#

Ø

]QMülûÓýûtÿh]Q<ýdÿý4]ÿPahKl7ÿüÃ#…#f#%##%##%##%#f#…#%#f#…#f#%#

Ø

ÛÙ

ò #¯Ù#ä ]QMülûÓýûtÿq$ŸM½þSþGKýdÿ‰ýÅû' #…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø ÛÜ

ÏqáHàÃàÐmÑ×iÐ&%'#mÞ)(&Qà Ö×*PÖâÑ×iÓЈæf×HÐ,+}â.-â Î$/

Û#Ø ]_^_`^baQc…e ä Ž]þ[û¤~ÿ`ýÅû']üS)€ÆÿLƒÿ ahKl7ÿü #…#f#%##%##%##%#f#…#%#f#…#f#%# Ø ÛÛ

Û#Ø #Ø ÆÿkLvÿ ahlK7ÿMSûlEpYÿl]ÿlƒþ2ÿÆÿLvÿxì}û'Åý4]ÿ§›ÿ7úXûXþ:#…#%#f#…#f#%# Ø ÛÝ

Û#Ø #ä ÆÿkLvÿ2ùd ]þ`ü #%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Û ë

Û#Ø #¯Ù ÆÿkLvÿ ›þýÅú Xü»#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Ý Ø

Û#Ø #¿Ü ÆÿkLvÿ0}þI€‰Xü #f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø ÝÚ

Û#Ø #¯Ú ù0úXþ˜ÆÿLvÿE^< NÅþýn]QÿvüÅü ##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%# Ø Ý ò

Û#

Ø #ò

ÆÿkLvÿ2ù0úÅþÊÿ‹]QØÿƒüü ##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øëƒä

Û#

Ø

#‡Û ÆÿkLvÿ



½þýT]QØÿƒüü#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øë

Ü

Û#

Ø

#¯Ý ÆÿkLvÿMŽ 8þý7ü%#%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øë

Ú

Û#

Ø #ë

ÆÿkLvÿ˜ìMþýKT]QØÿƒüÅüŒ#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øëò

Û#

ä

Ì_Xû'l

,

·ÚÿMÓþM#f#%#…#f#%##%##%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

Øëò

Û#¯Ù



L<ûR[þ`ü½)iKn$ŸM½þ2þj<ýÅû'l}û‘ÆÿLvÿ ##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

ä

ýý

1 2%à Ò×34q×iÐ5%ßMà hÐqà0à ÐmÑfâÐqÔºÏqáHà™à ÐmÑâÑk×HÓЌՈæ×iÐ&%Sà æjÑ76gà Јà ÒâÑ×iÓmÐ Þ8þ

Ý#

Ø

$ŸKý4 ýÅû'ýùÆþÊüÏýn¢BþXþdÿ‰ýû #%##%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#

ä

ýÜ

Ý # Ø #ä o ÿ.ù.þ`ülýÅûl ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ýKÚ

Ý # Ø #¯Ù ùÆþÊüÏýnŽþ½þýû #%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ýÛ

Ý # Ø #¿Ü ah7ÿ[ýÅûR!ÿiù.þ`üÏýnŽþ"ÓþýûKM#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ýKÝ

Ý#ä OTKÅû:9<ý7ÿìMþÅû‡~ÿ`ýÅûK ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ýKÝ

Ý#¯Ù ìMþýÅûR!ÿìMþÅû‡~ÿ‰ýûK#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

äØ

ý

Ý #îÙ#Ø a>ÿýÅûØÿh]Q<ýdÿý2##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äØKØ

Ý #îÙ#ä ù}vý7ÿd]QKKý47ÿ[ý7üÃ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äØ Ü

Ý#¿Ü ahKldÿóìMþÅû‡~ÿ‰ýûK #%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

äØ

Ú

ÿ;fÓ<qáHàÑà>=@?qâˆáiàAB(ÒÓ< ßMàC(Ո×iÒààÐÑænÑÓ+qâ.-âψáiààÐÑâÑ×iÓÐ ÞÎ

ë #Ø $Ÿ)iKÿ(Ì4þ¶”ÚûÅþ"Sþý7üW##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äØ"ë

ë #ä $ŸXû½ýÅûÿˆŽ]þ[û¤~ÿ`ýÅû'(*S]Mþ<ýdÿ½ûüÏþkEì}ûÓþ"IÇ#%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äƒä ý

ë #¯Ù o@û'7ülý<ÌÄþj~XþSþ<ý*§ }ÿ‰ýdÿM ÂûülýûXýûKM##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äƒä Ü

ë #¿Ü ŽþkjgÌ4þj~Xþ"Sþ<ý*qï0þú]ÿL<û_ ÂûØüÏýûÚýÅûK #%##%#%##%##%##%#f#…#f#%#…#f# äƒä Ý

ë #¯Ú ù0úXû'8gÌ4þj~XþþKý"*h]QM Xûyÿ‰ýûMpYÿþ:#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ÙKÙ

ë #ò $ŸM½þ2þý7ÿ`ýÅûK(*iù0úXþfÆÿLƒÿ ahKl7ÿ ##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ü Ø

Î8DfÓЈÖáiÕqæ×HÓÐ Þ/

Ø ý #Ø ŽMÿ4 #%##%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Ü ë

Ø

ý #

ä

oXý4Åþ%°ŒÚü #%#f#…#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

ä Ú ä

ÿ (FE ×Hææ>qÓ(ÖÓmáiâÑàGB(âÖÑÓÒ Þ//

 #Ø ]_^_`4^naQc…e ä ù.þ·<ý]ÿhŽ]þû‡~ÿ‰ýûK]üE#%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ÚKÚ

 #ä

]_^_`4^naQc…e

ä 

]üÏý47ÿ[ýnŽ]þû¤~mÿ‰ýûtü ##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

äòvä



#¯ÙñÆÿLvÿJŽ©‰þ˜]QÿƒüüÏþ`üM#f#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

äò

Ü



#¿Ü ÆÿLvÿ



]üÏý47ÿ[ý<a½4lK7ÿ üñ#%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

äò

Û



#¯Ú



ahKl7ÿ

,

·<þjÚýÅûKg#%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# äò Ý

H I

(J6JâÃâK(FqæjÑà Þ/Î

ïn#Ø $ŸXû½ýÅûÿˆŽ]þ[û¤~ÿ`ýÅû'(* Ï ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Û Ø

ïn#ä o@û'7ülý<ÌÄþj~XþSþ<ý* ßÎ #%##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä Û ä

ïn#îÙ ŽþkjgÌ4þj~Xþ"Sþ<ý*

ß@Þ

#%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f#

ä

Û"Ü

ïn#–Ü ù0úXû'8gÌ4þj~XþþKý"* ##%##%#%##%##%#f#…#f#%##%#%##%##%##%#f#…#f#%#…#f# ä ÛKÛ

ïn#îÚ ]_^_`^baQc…e ä Ž]þ[û¤~ÿ`ýÅû']üS)€ÆÿLƒÿ ï4ÿƒülûRüT]QØÿƒüüÏþ`üg#%##%##%##%#f#…#%#f#…#f#%# äëë

ïn#

ò

$ŸM½þœþ"Kýdÿ‰ýÅû'(* ù0úXþ˜ÆÿLvÿ˜ahlK7ÿ #%#f#…#%#f#…#f#%##%##%##%#f#…#%#f#…#f#%#QÙýÙ

W é÷öʖë ð ³ æö'X@ëé

°û½ýÅúXû'ü.)Cý&I4ÿþOþlvûXþþ"Åûlœýþ úXûR¶Xþ`üG)i ÿqSþýÅú Xü[LKûyKþOÿMÿ`ýÅúXþ"ÿ‰ýûRÿ)idÿSþG`

I€ý‘tut;‡w768P>67"FîƒuPFRDTš;6GDE6Gu AHYÿs6G1GF5"wœü&)Cý&I4ÿÅþOü&XülýÅþ üj#



ý&Xûyÿ‘ü.)Cý&IÁÿÅþJKþLþ'Sþ"Ký< [þ`üÅü% þ"lƒûtüI4ûÓýÅúýÅúÚþŒtut;‡w7"F¤7MXú]ÿvüÏþSýú]ÿ‰ýHþ]ÿÓþ`ü6ý

7ú]ÿdÿýþÅûØüÏþBýÅúXþfj½ûÓþ<ýµÀüˆÅþk¶”Xû'ÅþþKýdüj#.ù0úÚûüSXú]ÿvüÏþ%4 þ`ü0ýúXþ¼1=64Z FR1=6=DE6GuAˆ7&š64\F|€\8tABFR3u

ýú]ÿ‰ýqKþÊüjû]þ`ü4]þÅýûÓþ`ü)XýúXþFü.ÚüÏýþý<]þ€KþLþ']þ#q^TþMýÅúXþQÅþk¶”Xû'ÅþþKýdüKú]ÿLþh]þþ

þ`ülý7ÿÓûØüÏúXþ‰ýúXþf>67"FîƒuEXútÿƒüÏþ<4 þ`üˆ~düÏýMÿ!t•87GAŸ14t\jA7"wk7GA&6GDú7&š64\F|€\8tABFR3u ýú]ÿ‰ý€Kþ`ü4jÅû']þ`ü

ÿ˜]þ7ÿ`ýÅû']ÿm¼ KþÄH]þú]ÿL<ûjÅ().ýÅúÚþ4ü.ÚüÏýþ!#iù0úXþBÿ]üÏý47ÿ[ý0ü&XülýÅþõü.]þû‡~ÿ`ýÅûK2üÏúKR

þ`ü.]þýFýÅúXþ%þ¶”ÚûÅþ"Sþ<ýMü.]þû‡~ÿ`ýÅûK(#

^<XþM)BýÅúXþ¼I4ÿXün)i˜þ`ÿ7úXûlÿPûM½þSþGKýdÿ‰ýû)i4 ÿ ÿtüÏýdÿý2ü&XülýÅþ ü.]þ[û¤~ÿ`ýÅû'

ûØü…4L<ûR<þ‹ ýÅúXþ7GA&6ŸšFYhF¤76J1=6|dum6GDE6GuA˜)_)i ÿ4ü&XülýÅþ ü&]þû¤~mÿ‰ýûtüj#ù0úXûü6ýÅþ7úXûy¶”Úþ

jK]üÏûØüÏýdü½)(lK7ÿ ]ÿ'Oýdÿ]üŸ)i4Sûl6ýúXþBÿ]ülýdÿýÁü.ÚüÏýÅþ" ü.]þû‡~ÿ‰ýûK(ƒû ‰KþMý%½þý>ûÓýMýdÿþ

û'Ký4}ÿKjKýh¼ÅþÁÿ˜MKÅþSK]þ7ÿ`ýÅûK]ÿj]ülýdÿ‰û<ý7ühþÿ`ýÅþ6ý6ýÅúXþ4þ"·KþGXýÅû'þ"L<û4Sþ"Ký"#



)CýþgÿüÏþ"ÅûÓþÊüˆ)§Åþj~ÚþSþ<ýiüÏýþ]üj<ÿ¼\83u\1=6‰A.6_7"wk7GA&6GDú7&š64\F|€\8tABFR3uœûüqÅþ`ÿK úXþkýÅú]ÿ`ý_Kþ`ü4jÅû']þ`ü

ÿ…K]þ7ÿ`ýÅûK]ÿM KþK)]ýúXþFü.ÚüÏýÅþ"!ÿ+ýdÿþ`ü»û'Ký4BÿjK<ý@ýúXþ€j]ülýdÿ‰û<ý7ü()ÚýÅúÚþ þ"·KþGXýÅû'

þ L<ûKSþ<ýMÄiKldÿMSû'lŒÿl]ÿlƒþBþ·KþkjXýÅû'Wÿ`ý.)i4!4þý8K#¤Å8#$ù0úÚþŒjGÅþýþü.ÚüÏýÅþ"

ü& þkû¤~!ÿ‰ýÅû'ülúR™)bjK7ülþgÅþ`ü& þkýýúXþÿtüÏýdÿý2ü&XülýÅþ ü.]þ[û¤~ÿ`ýÅû'ÿÿƒüI0þ"0ýúXþ

þ¶”ÚûÅþ"SþýMü& þkû¤~!ÿ‰ýÅû'(#



ýMýÅúXþ}þ"E)gýÅúÚþ%Kþ`ülûl¼Xú]ÿƒülþXýÅúÚþ FRDTš;6GDE6Gu AŸtABFR3uüÏýÅþ"MÓþ`ÿKXü ý42ÿþ·<þjXýdÿ½þTlK7ÿ!#

$ŸýÅúXþg!ÿƒüÏþ¼)…ÿ!Kþ`ülûlK™Xú]ÿvüÏþM]þ&)iþ‹I4û½ýÅúülýÅþ I4ûülþEþj~Xþ"Sþ<ý»ýúXþgjKjÅþ!ýÅþü.ÚüÏýÅþ"

ü& þkû¤~!ÿ‰ýÅû'ûü4ýÅúÚþý7ÿ]ü.Øÿ‰ýþû'Ký4Sÿþ·<þjXýdÿ½þn4ldÿ I_ÅûÓýýÅþg]ülûlÿ˜š138ƒ1tD˜D˜FRuKƒ

;‡tuKƒZtƒ 68#

 TÅûl!Kþ`ülûlKÿ–û'MÓþ"œþ<ý7ÿ`ýÅû'(»ýúXþŒs6=1jF|€\8tABFR3uülýÅþ–ûØü…Xþkþ`üÅüÿ4û'™‰KþOý üÏúI%*

~düÏý"»ýÅú]ÿ`ý6ýÅúXþ2ÿ]üÏý47ÿ[ýOü.ÚüÏýþü&]þû¤~mÿ‰ýûûØünjKÅþkýnI_Åý6ýúXþ˜Åþ¶Xû'ÅþSþ"KýÁü.]þû‡~ÿ‰ýûK(U

ülþjXýÅú]ÿ`ý}þLþ4Sü&XülýÅþ ü& þkû¤~!ÿ‰ýÅû'(KXý7ÿ`ûXþkûl2ýÅúÚþ˜Kþ`ülûlKXú]ÿvüÏþ]ûü<jKÅþký_I_Åý

ýúXþ}ü&XülýÅþ ü&]þû¤~mÿ‰ýû2ýÅútÿ‰ýSÅþþkKþ`ü>ûÓýMû2ýÅúÚþnÅþj~XþSþ<ýq þÊüÅüjÚÿ2ûü0ülýÅû'jKþýQI_Åý

ýúXþ%Åþ¶XûþSþýFü& þkû¤~!ÿ‰ýÅû'(UÚÿ~tÿ'Kýú]ÿ‰ýBýÅúÚþ+þ"·KþGXý7ÿÓþnlK7ÿ!KXý7ÿ`ûXþ‘ûl

ýúXþOûMÓþ2þj<ý7ÿ`ýÅû'gXú]ÿvüÏþ.ûübj4Åþý<I_Åý6ýúXþ jjÅþýþOü&XülýÅþü.]þû‡~ÿ‰ýûK(.ÿ‹I_ý+ýúXþ

ä

]ÿÅý<)PI4ú]ÿ‰ýBûü0ý47ÿ<ûÓýÅû']ÿ'gÿ'Óþœst;‡FR>tABFR3u#

o4ÿBü& þkû¤~!ÿ‰ýÅû']ü ÿl]ÿlƒþ`üSÿ'Ióý4–þ· Åþ`üüxþ¶XûþSþý ü.]þû‡~ÿ‰ýûK]üjBÿƒü I0þ'Bÿƒü

ÿtüÏýdÿý ÿ!jKjþýÅþ ü.ÚüÏýÅþ"óü.]þû‡~ÿ`ýÅûK]üj#%/213jš6G18AŸw¥&31jFH6=uA.64>M)i ÿiü.]þ[û¤~ÿ`ýÅû']ü_ÿ`

ltÿlƒþÊüj½ûþ€lvûRÿÿl]ÿlƒþ`üGXÿþTIFþ‡`lü&XûÓýþY)iKMþ·Åþ`üüÏûl+ýúXþ<Åþ¶XûþSþýiü&]þû¤~mÿ‰ýû§

XýBûÓýBûü_MKÅþfKû¤¾Jj½ý4ý ]üÏþHýÅúXþ" )iK6ü.ÚüÏýþóü& þkû¤~!ÿ‰ýÅû']üG#n]Q Lþ7ülþqD˜3>68;¯¥&31jFH6=uA.64>

)i4ÿÚü.]þ[û¤~ÿ`ýÅû']ühÿltÿlƒþÊüj½ûþ2a@þýûXþýdüj<ÿþ_I0þ'¤`sü.Xû½ýÅþ…)iKMþ·Åþ`üüÏûl6ü.ÚüÏýþ)ü& þk=`

û¤~mÿ‰ýûtüjXýBÿÅþ%výTIFþ‡`lü&XûÓýþx)i4þ"·þ`üÅülûlOýúXþ%Åþ¶Xû'ÅþSþ"Kýdüj#

o4ÿQSþýú Xü}ýdÿKû½ýÅû']ÿŒ]ülþÿüÏû'l½þx)iKÿ0ü&]þû¤~mÿ‰ýûtü…ÿltÿlƒþg)iHþ·Åþ`üüÏûl

ƒýúýÅúÚþSÅþk¶”Xû'ÅþþýYü.]þû‡~ÿ‰ýûK(ƒÿ+ýúXþFü.ÚüÏýþ$ü.]þ[û¤~ÿ`ýÅû']üG#ˆ°úXþ6ýúXþ€ ú†üÏþ%)i4ÿ

ü.]þ[û¤~ÿ`ýÅû']üTØÿlK]ÿlvþSûü…ÿJ'lvûRÿhÿl]ÿlƒþiýÅúXþ2ü&]þû¤~mÿ‰ýûýdÿƒü&ûüTMKÅþ:Kû¤¾Jj½ýXý

ýÅúÚþnLþÅû‡~ÿ`ýÅûKœýdÿƒü&Xü0ûØüdÅþkþ2ý2üÏúI4û'l˜Klƒûyÿ]û¼Óûyÿ‰ýûtüj#(°úXþSýúXþf úüÏþ"E)i4ÿ

ü.]þ[û¤~ÿ`ýÅû']üØÿlK]ÿlvþûü%M Kþ‡`ŸKÅû½þKýþgü.]þû‡~ÿ‰ýûK]üOÿþ@¼Åþ2þ`ÿvüÏû'–ÿ0I0þ".)i'

þ· ÅþÊüÅüÏþk# OTI0þLþ"»ýÅúÚþELþû¤~!ÿ‰ýÅû' ý7ÿƒü&tü.]ÿ)iK'IBü6ÿû')i4ÿhIÁÿÃÄ´þ#¿l# üÏû Øÿk`

ýÅû'ʼnXülûþ…ûÓý4ûü€Kû¤¾Jj½ý0ý4 KþýÅþ"Sû'Xþ4û¤)iýúXþ Ä´ú lƒþőüÏþý_)Mÿm†üÅülû½þ…]þútÿkL<ûK7ü0ýú]ÿ‰ý…ÿþ

Åþ"Åþ`ülþ<ýÅþE SýúXþHü.]þû‡~ÿ‰ýûK(XÿÅþ†üÅüÏû'ÓþHÿKþÊüÏûþE]þú]ÿL<ûK7ü_)gýÅúXþHü&XülýÅþ!#

ù0úXþ<KÓþ"û) ýÅúXþ<7úvûRþ_]þý&I0þ!þOÿ%M Kþ‡`ŸKÅûÓþ"Kýþ6ÿSÿn4]þý.`BÅû½þ<ýÅþ…)iKÿXü& þk=`

û¤~mÿ‰ýûtüSÿl]ÿlƒþûØüSƒý…ÿ þ`ÿƒü&Sý7ÿvü.]üÏû'þ%Åþ¶Xû'ÅþSþ"ý0ü&]þû¤~mÿ‰ýûtü4ÿ ü.ÚüÏýÅþ"(ü& þk=`

û¤~mÿ‰ýûtü4ÿÅþ%ƒýúûMKÅý7ÿKýFûýÅúÚþ<þLþKSþ<ýh4 þ`üüÂÿvü[výÅþM gahÚþÓûB*

g hjiii"k %6Gs6GuÃF5fYd6¼>64\FR>6˜AB3!t>3jšA[7"w7GA.6GDü7&š64\F|€\8tABFR3u™t7 AC6xD˜tFRu‹7&š64\F|Q¥

\8tABFR3uD˜3>6h5"31;‡t1iƒ6%7"wk7GA&6GD…78_ARC6G1=6:F¤7%7GAŸF;';€tuFRDTš318AŸtuA213;6fAB31=64"ZFR186GDE6GuA

7&š64\F|€\8tABFR3u<lnm‰A_F¤7:A C6:•j67GAbtu>D˜37GA21jFîƒ3143Z©7oYhtwMAB3st;{FR>tA.6˜ARC6:\831j1864\jAŸu6787

3.5%ARC6n7"wk7GA&6GD 7&š64\F|d\8tAŸFR3u<l g p

ÿrq_%ÐÕqàái×ts ÚÜ.u

$Ÿ!‰Kþ}ý4@Åûlÿü.'XýÅû'ýSýúXþ˜4½þ )4ýÅúÚþ úvûRþf]þý&I0þþ ÿMM Kþ‡`ŸKÅûÓþ"Kýþÿ

ÿ0]þý&”`BûÓþ<ýÅþ0)iKÿ6ü.]þ[û¤~ÿ`ýÅû']üMÿltÿlƒþ©ü&Sþ!M <þ¤`BûÓþ<ýÅþü&]þû¤~mÿ‰ýûtü

ÿltÿlƒþÊü‘útÿkLþBÿK¶Xûþÿn4]þÅý&`ŸKÅû½þKýþü&]þû¤~mÿ‰ýûtüˆÿl]ÿlƒþ#Mù0úÚûü>ûüˆ I_2ÿƒü>ýúXþ

AvYh3@;‡tuKƒZtƒ 67T5"14tDE6Yh31xw‘Kþ`ü4jÅû' þk.ÿ¼lMvýÅúXþ"7üjœa½ Xþ½û.û

s

ÚÜ.uB*}ÿE'lvûRÿhÿl]ÿlƒþ

ûüQ]üÏþk¼)iK4þ· Åþ`üüÏû'l˜Åþ¶Xû'ÅþSþ"Kýdüjvÿ ÿM Kþ‡`ŸKÅûÓþ"KýþxØÿlK]ÿlvþûØüd]ülþE)i<Kþ`ü4jÅû'Xûl

M Kþ"üSBû¼Óþ2þ<ý7ÿ`ýÅûK]üj#Q$Ÿ ÿKûÓýû§ ýúXþ'lƒûyÿ(ØÿlK]ÿlvþOûüBÿØü.M]ülþJ)iKÂý47ÿ]ü.Øÿ‰ýÅû'l

ýÅúÚþOü.ÚüÏýþ ü.]þû‡~ÿ`ýÅûKû'Ký4E'lƒûyÿq4]þÅýûÓþ`üG»ÿýÅúÚþ˜LþÅû‡~ÿ‰ýûKýdÿƒü&ûü4ýÅúÚþþ`ÿ½û39þ

ûýúXþ%lvûRÿ)i7ÿSþISK#

ù0úXþ€LþÅû‡~ÿ‰ýûK}ýÅú]ÿ`ý>ÿ_4ldÿíûü(jKÅþký(I_ÅýgÿÂü&XülýÅþ ü.]þû‡~ÿ‰ýûKûü.ÿ<KÓþ üÏûûÿ]ý

ýÅúÚþdKXþS)LþÅû‡)iKû'l0ýú]ÿ‰ýgÿÂü&XülýÅþíü& þkû¤~!ÿ‰ýÅû'6ûüqjKÅþký(I_ÅýiýÅúXþ€Åþ¶Xû'ÅþSþ"ý»ü&]þû¤~mÿ‰ýû§#

ù0ú ]üj.ýÅúÚþE]ülþ˜)Äÿ@KlƒûyÿhØÿlK]ÿlvþœû'–ÿKKû½ýÅûKý4 ÿJlK7ÿMSûlEØÿlK]ÿlvþüÏúKRúXþ'

)i4ýúXþ%LþÅû‡~ÿ`ýÅûKSý7ÿvü.#

$ŸSýÅúÚþnÿvüÏý<Kþ!ÿKþ`üGK˜)CþI ÿ‰ýýÅþ¼Xý7üMú]ÿLþT]þþgKþÅýdÿþ2ý G]ülûRKþFýÅúXþ6ûyKþ`ÿ…)iû<ýÅþj`

ldÿ‰ýûlÿvüÅülþÅýûtüÄû'Ký4E4lK7ÿ üj#_›KÅþþþ<ý'›þ"þ

s

Úýyuiú]ÿvüTKMƒýþSýÅúXûØüÄûyKþ`ÿ ]ÿ

þLþglKþ`üÂÿüÏýÅþ"@)iýÅúXþ"#S$Ÿ<þþXúXþ ÿL !ÿ‰ýÅþÊüÄýú]ÿ‰ý" û'‰KþBý˜) ÿþ6ýúXþ4½þü)€j&`

ÅþkýXþÊüÅüjþLþ"˜4ldÿó]þdÿ‰ýûŒÄCû]ülýýÅû'MKSKXýÅû'Xþ% mÅFülúRM]þ6ü.ÚüÏýþÿ‰ýûRÿ'

g h@iii"k t7xt!\83u\j6ŸšABZt;€AŸ33;5"31Etut;‡wk7"F¤78Y>67"Fîƒu”YFRDTš;6GDE6=uAŸtABFR3u«tu>!>3\"Z”¥

DE6GuABtAŸFR3unC68;šFRuƒŒZ7 AŸ3‘•Z F;‡>œ7"3.5GAvYht186˜FRu'Y(CFR\=CÃ1868;‡FRt•F;{FAŸw‘F¤7 •Z F;îAi¥&FRu”f14tA C6G1

A Ctut\=CFH6Gs64>‘31˜tAHA&6GDTšA&64>t.5GA&6G1AC6€5"t\jA_A C143ZƒC!>6=•Zƒ"ƒFRuƒy‚fFRu!ŠŒF;;„ƒ7˜A&6G1jD…78

6Gut•j;{FRuƒ!Z7AB3M•Z F;‡>‘\831j1864\jAš138ƒ14tD…7btu>AwKu3 Y»FA4l g p H

q[… à à Òs ÚKý.u

ù0úXþQI€%þ`üÏþ"KýþÂûHýÅúXûØü»ýÅúXþÊüÏûü»ûØü}]þ&)i4SþÂû'+ýúXþd)idÿSþ"IS4T)Yÿ_M Kþ‡`ŸKÅûÓþ"Kýþ2)iKÿ

ü& þkû¤~!ÿ‰ýÅû']üqÿl]ÿlƒþÿ'ÓþE]_^_`4^naQc…e ä Ä.]Qjþ<ý[^< NÅþ[ý.`4^TûÓþ<ýÅþka@þý4ÅûcÂþýdü=Å8#P$°ý>ûü

ÿ NÅþký.`BûÓþ<ýÅþT)iKÿ<ü.]þû‡~ÿ‰ýûK]ü}ØÿlK]ÿlvþI4úXûy ú ÿ'IBüˆGjÅþ"Kýiÿ˜KûülýûXýþ

ü&XülýÅþüiý]þbKþ`ü4jÅû' þk û'SýÅþ4üˆ)4*>üÏý4[ýþMa@þý4ÅûÚþý Kþ`ü4jÅû'Xûl…]þútÿkL<ûKÚÿÿlvþj`

dÿ‰ûy+ü&]þû¤~mÿ‰ýûtü_Kþ`üGÅûÚûl Xÿ`ý7ÿ2üÏý4ý4ÅþÊüj#Fù0úXþ%LþÅû‡~ÿ‰ýûKýú]ÿ‰ý…ÿ4ldÿ j4Åþý4

û'MÓþ"œþGKýdü.ÿ…]_^_`^baQc…e

ä

ü.]þ[û¤~ÿ`ýÅû'OûüPjþ<ý%þ`ÿ½ûüÏþk… ýÅúÚþ_Sþ`ÿtü})iÿÚý ÿ‰ýÅûyÿ'

lvþXþdÿ‰ýÅþk+ýÅþÊüÏýQÿvüÏþ`üqXû½ýˆI4û½ýÅú˜'lƒûyÿ)i4Eÿ‰þ€Kþ"ÅûLþkY)iKñýúXþT]_^_`4^naQc…e ä ü.]þû‡~ÿ‰ýûK(#

o4Eÿ‰þFÿÅþ4þ· ÅþÊüÅüÏþk]üÏû'l}ýÅúÚþ<OÂþXþÊüÅü.`À›ûÚþˆ7ÿ úXû'l` ýÅû'SþMýÅþ¼mK7ÿ'lƒûynğOn›p(ʼn

I4úXûy úûØü}ÿ@Lþ"ülûMÓþ%KlƒûR˜I0þ"¤`sü.ÚûÓýÅþkJ)iHÿXýKÿ‰ýûRÿ‘lƒþÚþ7ÿ`ýÅûlJ)iK ÿ`þ#



ülþÅû½þ`ü

)%ISKÚüSÿ4ýÅúÚþ™]_^[`4^baQc…e ä ØÿlK]ÿlvþútÿkLþœjtüÏûR<þ7ÿþûR7úXþ–ýÅúÚþ]_^_`^baQc…e ä

)idÿSþI€4#qOTI0þ"LþýÅúÚþÅþ6ûü4ülýÅû'.ÿ˜ÿK= ) ÿÅûlK4]ü<KþLþ'þKýQSþ!ýÅú KKl#

ù0úXûØü>ýÅúXþ`ülûühûl†ü ü&Sþ4þ"ÓþSþ"Kýdü}]ülþj)i)iK0þ`ülý7ÿÓûØüÏúXû'lHü.7úSÿ%Kþ"LþKSþ<ý(Sþýú 'lK#



ýÅúXþ"!)…üÏýþI4ûØüÏþMþj~Xþ"Sþ<ý}ÿû¼Óþ2þ<ý7ÿ`ýÅûK)<M Kþ‡`ŸKÅûÓþ"Kýþü.]þû‡~ÿ`ýÅûK]ü}ûü

4ülþ4ýÅútÿ‰ý ÓûÓþÊüI4ûÓýÅúÚûýÅúXþ üjK]þ!)6ýúXþý.I€ØÿlK]ÿlvþ`üx)idÿSþI€4Fÿƒü Kþ`ü4jÅû' þk0

ah XþÓûBXÿýÅú]ÿ`ýn]ülþ`ü[Xû½ý.`ûM)Cþ`ÿ‰ý4ÅþÊü2)iK6ÿ Åþ`üüÏûlSýÅúXþ:j4Åþ[ýXþ`üü0ûüü.XþYÿƒü…ÿL ÿ`ýÅþ

M›þ"þ#P$ÀKþþ<ýÅúXûØü0ýÅúXþÊüÏûüS†üÏþ`üG*

+

ÿxlvþXþdÿ.ýúXþ4E)iBýÅúÚþülýÅþ I4ûülþ%Åþj~ÚþSþ<ýMÿû¼Óþþj<ý7ÿ`ýÅûKE)h¼ Kþ¤`BûÓþ<ýÅþk

)i4ÿBü& þkû¤~!ÿ‰ýÅû']üG_I4úXûR7ú ÿL ÿ`ýÅþ`ü2ýÅúXþ‘]üÏþ‘) ÿ‹¼ Kþ¤`BûÓþ<ýÅþk-ØÿlK]ÿlvþÿ

ÿ@'lƒûyÿQØÿlK]ÿlvþ Åû'lýÅúXþ I4ú½þgKþLþ"Sþ<ý_ þÊüÅüÿýúXþœû'M½þœþ"Kýdÿ‰ýÅû'

Xú]ÿvüÏþU

+

ÿ2ÿÓûyÿ‰ýûK)YýúXûü.ýÅúXþ"6ý4ÂýúXþT]_^_`4^naQc…e ä ÿltÿlƒþ©”tüÏûlÂýúXþ_OÂþ"Xþ`üü.`&›û'Xþ

KlƒûRKU

+

ÿ™I4ÿ«)˜dÿýûRÿÃLþû¤)i<ûlýÅúÚþŒj4Åþý4Xþ`üüE) ýÅúXþ!þj~XþþKý˜ þ`üüÿ ýúXþ

ûMÓþSþG<ý7ÿ‰ýûKEXútÿƒüÏþ©MtüÏûlOýÅþ`ülý_lƒþXþ"7ÿ‰ýûK(#

ù0úXûØü( útÿXýþ~7ülýˆÅþ`ülþKýdü»ýÅúXþQMvýÅû'Lƒÿ`ýÅû']üYÿ6ýÅúXþ€Åû'ûÓþq)]ýúXþFüÏýÅþ"I4ûØüÏþQÅþj~XþSþ<ýYÿ

û'MÓþ"œþGKýdÿ‰ýû6ýúXþ4#dŽ†þjûÓý€Kûü4j]üüÏþ`ü@ýúXþ<m†üÏû½ýÅûKXûl…).ýúXûühISKOû'OýÅúXþ_)i7ÿSþISK

)>ýúXþ˜]_^[`4^baQc…e ä ÿl]ÿlƒþYÿJ~]ÿ'œû½ý_Xý4ÓûÚþ`ü0ýÅúXþ%ÿ`ûgG<ýÅû'Xýûtüj#

†‡† ˆ ‰nŠ_‹ŒnŽ"Š_‹‰A Ž# ‘“’”‹•#–€‹—D˜™

ù(7ÿKKûÓýûtÿKþj~ÚûÓýÅû']üQ)gülýÅþ I4ûülþTþj~XþþKýq)iS¼ Kþ¤`BûÓþ<ýÅþkOü.]þû‡~ÿ‰ýûK]üdØÿlK]ÿlvþ`üj

þ¶”ÚûÅþFýÅú]ÿ`ý0ýúXþY(C3;6T]þútÿkL<ûKK0ÿ`ýS½þ`ÿƒülý ýúXþ<I4ú½þTK]üÏþ4Lvÿ½þT]þú]ÿL<ûK€Kþ`üGÅû]þ˜

ÅþG~XþSþ"Ký]ülýÅþ§#dŽ7ú6ÿ_Åþ¶Xû'ÅþSþ"ýXûü»ý4}ülýKlvüÏû'þj)i4$ÿS7ÿ[ýÅûR!ÿvû<ý()L<ûÓþI%[ûÓý.ûØü

výdþ`ÿ½ûülýÅûRMý%Åþk¶”Xû'Åþ4ýúXþ_I4ú½þT]þútÿkL<ûKMý%]þTÅþ`ülþLþ#ˆ$ŸOýúXþn!ÿƒüÏþ<)§M Kþ‡`ŸKÅû½þKýþ

ü.]þ[û¤~ÿ`ýÅû']üG ýúXþn]þú]ÿL<ûKS).ýÅúÚþ6ü.]þû‡~ÿ`ýÅûKœþ"·½ûRû½ý'<þ`üjû]þ`üMÿ…tÿÅýûRjÿÁü.KXýû§

ÿ û'MÓûyûÓý4‡gKþ`ü4jÅû' þÊüY]þýÅû½þ`üT)BýúXþ2ü.ÚüÏýþ!#Où0úÚûü6üÏþý%)_4]þÅýûÓþ`ü%ÿ]þü.½ûÓý}û'

ý&IS ]ÿý7üG*T4]þÅýûÓþ`ü4ýÅútÿ‰ý6ÿÅþOü&]þû¤~m+ýýÅúXþ ü.'XýÅû'!4LKûyKþ@ ýÅúXþ ü.]þû‡~ÿ`ýÅûK(Yÿ

þ`üüÏþ<ýÅûØÿK]þÅýûÓþ`üQÅþ¶Xûþ˜2ýÅúXþYjÓû½þKý"#(°ú]ÿ‰ý4ú]ÿvü0ý˜]þnþ`üÏþ"Lþ ûl ÿÅþj~ÚþSþ<ý

üÏýþ–ûØüYƒýýúXþMI4úKÓþM]þútÿkL<ûKMÄ ÿúXþþÿ'MýÅúXþMtÿÅýûRjÿ%4]þýÅûÓþÊü=Å8qXýf'ýúXþ

67876Gu AŸFRt;h4]þýÅûÓþÊü0ýÅú]ÿ`ýTÿþÂýúXþHü.ÚüÏýþójKLþÚûÓþ<ýh)iBýÅúXþfj½ûÓþ<ý#

ù0úXþ6û½ý( þkjSþÊümXþ[þ`üÅüÿ…ý< þFÿÓþFý_ÿþ>ýÅúXþ€KûØüÏýûýûKn]þý&I0þþ%]ÿÅýûRjØÿ(4]þýÅûÓþÊü

ÿ þÊüÅüÏþ"Kýûÿ4]þýÅûÓþÊüj#SŽû'þ<M Kþ‡`ŸKÅûÓþ"Kýþœü&]þû¤~mÿ‰ýûtüdÿltÿlƒþÊüTÿvýS]þ%]üÏþ2ý

þ· ÅþÊüÅü+þ"·½ûRû½ý'4]þÅýûÓþ`üGhI0þ ÿ L ÿ‰ýþýúXþM]ülþg) ÿ ÿ<ûÓýÅû']ÿ_KlƒûR!ÿSØÿlK]ÿlvþM)i

þ· ÅþÊüÅüÏû'l4ýÅúÚþd]þýÅû½þ`üj#QŽ]þû¤~mÿ‰ýûtü.ÿÅþMýúXþ%ÿ<þd)Xý&I€_]ÿý7üj†ÿ[M <þ¤`BûÓþ<ýÅþ_]ÿÅý

þ· ÅþÊüÅüÏþk%þ"·þ`üÅülûlýÅúÚþü&XülýÅþêü.]þû‡~ÿ‰ýûK(4ÿÿ4]þý.`BÅû½þ<ýÅþ™]ÿÅý2þ·Åþ`üüÏûl

ýÅúÚþ˜K þ"ÅýÅû½þ`üÂý4MÅþÊüÏþ4Lþ#n°þ !ÿ2\83uAB1t\jABýÅúXþ˜]þý&”`BûÓþ<ýÅþg]ÿý.ÿW\83uAŸ14t\jABZt;

7&š64\F|€\8tABFR3uýÅúÚþ…tÿ‰û_ ÿKþn)Fÿ2ü.]þû‡~ÿ‰ýûKÿÿ˜G<ý7ÿKý#

ù0úXþbKþj~ÚûÓýÅû'˜)(ÅþG~XþSþ"Ký.ûØüd<ûL<ûRKþ6ûOý&IS%]ÿÅýdüj*Mÿ6ü. KýdÿýûRÿtÿÅýMýú]ÿ‰ýÁüÏþýýÓþÊü>ü. Kýdÿ=`

ýÅûyÿqÓþ`ü4ýÅú]ÿ`ý6ÿMjKjþýÅþHü.]þ[û¤~ÿ`ýÅû'ú]ÿvüÂýMþ`ü.]þ[ýTI_ý6ÿEMKÅþHÿ]ülýdÿý6ü&]þû¤~mÿ‰ýû§U

ÿÿOülþÿKýûRÿmtÿÅý_I4úÚûR7úSþ]ü&Åþ`ü0ýú]ÿ‰ý4ýúXþ%jKKý47ÿKý_)‘ÿ ÿtüÏýdÿý…ü.]þ[û¤~ÿ`ýÅû'SûØüSÅþj`

üÏþ"Lþ™ –ýÅúXþ‘jKKý47ÿKýE)Hÿ!MþgjjÅþýþ ü.]þû‡~ÿ‰ýûK(#0°þ!!ÿBü&7úÿ!ÅþG~XþSþ"Ký">ÿ

1=6'|€um6GDE6Gu A<•8t764>M3u!\83uAB1t\jAR7G#



ü6ÿ'Åþ`ÿK!Sþ<ýÅû'XþkÿLþ.ýÅúÚþœûyKþ`ÿM)bjKEÚûXû'lSÿgM Kþ‡`ŸKÅû½þKýþü&]þû¤~mÿ‰ýûŒI4ûÓýú

4]þÅýûÓþ`ü6þ· Åþ`üüÏþŒI4ûÓýÅú%ÿlvûRÿSØÿlK]ÿlvþûØü…vý˜XþI%#™^< NÅþý&`ŸKÅûÓþ"Kýþü&]þû¤~mÿ‰ýûtü

ÿltÿlƒþÊüTÓû'þ çYèéhê ê ÿ@ì% n›!ííˆ]ÿƒü_I0þ"iÿƒüBü.KSþ%jØÿƒüüÏþ`ü_)MýûSþkEa@þ!ýÅûXþýdüÄþ¼2ÿ

üÏû'SûØÿBýÅþ7úXûy¶”Úþ#ù0úÚþE]ülþE)BÿMKlƒûyÿQÿltÿlƒþ )i6þ· Åþ`üüÏû'lM4]þÅýûÓþ`ü}þtÿ½þ`ü}ýÅúXþ`ülþ

ü.]þ[û¤~ÿ`ýÅû']ü%ÿl]ÿlƒþ`ü6ý@)iKÿ'4Lþ2ýÅútÿ‰ýOÿgÅþj~XþSþ<ý…üÏýÅþ"–ûü%jKÅþký#ù0úXþ üÏþý%)

4]þÅýûÓþ`üQ]üÏþk ý4˜ÿþ4ýúXþ%)>ûØüdlvþXþdÿ'œýúXþnI4úKÓþHüÏþ!ýS)P4]þÅýûÓþ`üFüÅÿ`ýÅûüŸ~]þM œýúXþ

M Kþ")gýÅúÚþü&]þû¤~mÿ‰ýû§#

ù0úXþ ]ÿýÅûyjÿÅû½ý.g)<Hÿ†ÿ7ú–ûü}ý&IS)iR*T~7ülýûÓýblþ`üHÿüÏýþ!)iÅýúXþ6ÿ–ÿÚýÅúKÅûülþ`ü

ü.KSþ]þýÅû½þ`üÂý¼ þg;{37GAnûl ÿJþj~Xþ"Sþ<ý4üÏýþ(#6ù0úXþ2ü&]þû¤~tþ}ûü4ýÅúÚþ)iÅþþHýgÅþG~Xþ

4L<ûR<þ»jjÅþýþ–ü&]þû¤~mÿ‰ýûtüJÅþ`ülþLþýúXþ™G<ý7ÿKýg) MKÅþÿ]üÏý47ÿ[ýü.]þ[û¤~ÿ`ýÅû']üG#

ŽþGýúXþn]ülþn)PjKKý47ÿKý7ü>þ· ÓûyûÓý4€Nƒû'Xþœý4Oü& þkû¤~!ÿ‰ýÅû']üFÿ2ýlK7ÿü þtÿ½þ`ü>ý

ÿÅþ`üü0ýÅúXþ%4½þ )b\831G1=64\jABum6787G#gù0úXþHü.]þû‡~]þ€E]ülý0þ· ½ûRû½ýflƒû'Lþ}ýÅúXþbK þ"ÅýÅû½þ`ü0ýÅútÿ‰ý

úXþnIÁÿ<ý7ü0ý4]þ%Åþ`ülþLþkEÅûl2ÿÅþj~ÚþSþ<ýMüÏýþ(#Mù0ú ]üj)iK(ÿSþ!ýÅú KKlƒûR!ÿvû<ýS)

L<ûÓþI%»ýúXûüT) ÿKû½ûÓý7ÿ`ýÅþ`üBýÅúXþ˜ÚûR<ûlg)[j4Åþ[ý6ü.]þû‡~ÿ`ýÅûK]üjiülûþ2ýÅúÚþ j<ýdÿý%ƒû'KýdüYKXý

ýÅúÚþ…]þýÅû½þ`ü0ý ]þ…Lþ"Åû¤~tþ#

ù0úXþ%½ýÅû ÿ‰ýÅþblÿˆ)Fÿ2üÏýÅþ"I4ûØüÏþ%Åþj~XþSþ<ýMûü0ý4Eþ`ÿ7ú ÿû'M½þSþGKýdÿ‰ýÅû'(#P$°ýBüÏþþ ü ýÅúÚþ

]ÿ`ýdÿ4ýþ"·KýþýÅúXþýÅúÚþ4)nþj~XþþKýb]ÿƒülþ™Wj<ýdÿýdüj>ý4ýÅúXþSû'M½þœþ"Kýdÿ‰ýÅû'(

MKÅþOþ`ü& þkûÿ ÿƒün4ldÿMûlMØÿlK]ÿlvþ`ü˜gvýþ· ÅþÊüÅü}þ· ÓûyûÓý4SýúXþE]þýÅû½þ`ü…)Bÿ

ü.ÚüÏýþ!# ù0úXþWFRDTš;6GDE6=uAŸtABFR3uº•8t764>03u»\83u AŸ14t\jA 7‘Åþk¶”Xû'Åþ`üýú]ÿ‰ý ÿjKKý47ÿKýE]þÿKKþý

ÿ@lK7ÿ!.ûŒ8<þý4J)iK ÿŒ\83uAŸ14t\jABZt;(š138ƒ14tD.ÿýÅú]ÿ`ý6ýÅúXûØüjKKý47ÿ[ý…Åþ`ülþLþOýúXþ



"j‰Kûl2ýýÅúXþ`ülþ˜Åû'û'Óþ`üG»ÿ lƒþXþ"7ÿgýÅúXþK‘)€Åþj~XþSþ<ýBÿ û'MÓþ"œþýdÿ‰ýûg]ÿvüÏþ

Kgj<ýdÿýdü ú]ÿvüS]þþgKþG~Xþ)i_M <þ¤`BûÓþ<ýÅþOü&]þû¤~mÿ‰ýûtüdÿltÿlƒþÊü4ÿE'lvûRÿÿ`

lK]ÿlvþ`üj#



Óýúlƒú ûÓý2ûüEþ`üÏþ"Kýþèû' ÿlƒþÚþ7ÿnI4ÿ4ýÅúÚûüœýúXþ4ûØüEMülý'–ýÅúKlƒú<ýM)i

KûØüÏý4ÅûXýÅþOÿ jGþKýFü&XülýÅþüG#q$ÀKþþvýÅúXþ<ISK˜þ`üÏþ<ýÅþkûOýÅúÚûü>ýÅúXþÊüÏûü>ûØühjþ

û'–ýÅúXþ )i7ÿþISK!)…ýÅúÚþ]_^_`^baQc…e ä ØÿlK]ÿlvþQI4úXûR7úÃKþj~Xþ`üÿ!Gÿƒüü)…úXûlvú`BÓþLþ½a@þýû

Xþ!ý7üSI0þ"¤`sü.ÚûÓýÅþkx)iBü& þkû¤)i<ûl <ûüÏý4Åû'XýÅþkSÿ‘jjþ<ýBü.ÚüÏýÅþ"üj#

ù0úXþ¼lƒþXþ"7ÿMýúXþ4)nþj~Xþ"Sþ<ý6ÿûM½þ2þKýdÿ‰ýû‘]ÿƒülþ™WjKKý47ÿ[ý7ü+útÿƒü]þþÿ`

½ûÓþý46ýÅúXþ%]_^_`^baQc…e

ä

)i4ÿ]ü&]þû¤~mÿ‰ýûtü½ØÿlK]ÿlvþUXýÅúÚþnOÂþ"Xþ`üü.`&›û'XþqKlƒûy…ÄBOn›p(Å

ûØü…]ülþ)iOþ· ÅþÊüÅüÏû'lýúXþgjKKý47ÿKý7üK ]_^_`4^badc%e ä ü.]þû‡~ÿ‰ýûK]üj#™Žû'þ]_^_`4^naQc…e ä ûü

ÿK NÅþý.`BûÓþ<ýÅþkü.]þû‡~ÿ‰ýûK]ünÿl]ÿlƒþ>ýúXþœû'M½þœþ"Kýdÿ‰ýÅû‡K) ]_^_`4^naQc…e ä ü& þkû¤~!ÿk`

ýûtü0ú]ÿƒüT]þþ"û'LþÊüÏýÅû'lÿ`ýÅþE)i_K NÅþý&`ŸKÅûÓþ"KýþMKl7ÿMSû'lØÿlK]ÿlvþ`üjU(Ob›pûØüS]üÏþM)i

þ· þ`üÅülûl˜)i4EØÿ‰þ%!lK7ÿüj#ŽKSþvýÅúXþ"nISKÚüT™]_^_`4^naQc…e

ä

ÿ‰ýýÅþ¼XýÂý4gKû'Åþý4

û'MÓþ"œþGKýn]_^_`4^badc%e ä ü&]þû¤~mÿ‰ýûtüYtüÏûlýúXþ ÆÿLvÿ@4ldÿMûl ÿl]ÿlƒþ#ù0úXþþj)iþ

ÿ`ýÅýÅþ"Kýûú]ÿvü…]þþ™lvûLþý4þj~XþþKý<4 þ`üÅülþ`ü+þ"KûlI4ûÓýú–ÿ–û¼Óþ2þ<ý7ÿ`ýÅûKXútÿƒüÏþ

]ülûl¼ÆÿLvÿ#%$ŸK8Kþ…ý˜)iÅýúXþnÚûÓýBÿ¼KþLþ'Sþ"Ký€SþýÅú 'lg]ülûl‘]_^[`4^baQc…e ä ÆýúXþ

jKþýÚþ`üÅü>ûüü.Xþ6ú]ÿvüS]þþgjK]üÏûyKþþE<þ0ýúXþ6üÏþ"ÿ<ýÅûy4ÿ4ÿK ú(*FÿÚý ÿ‰ýÅûyÿ'flƒþXþ".`

ÿ`ýÅþSýÅþÊüÏý7ü4ÿÅþf]üÏþE)iK_LþÅû‡)iKû'lýúXþfj<ýdÿýdüSÅþ`ülþLvÿ`ýÅûK(#

†‡ž ‘‰AŸ[‹ŠQ‹‰A#‹•G 



[ýÅûLþ_þ`üÏþÊÿ87úSûØüSj4Åþ<ý'˜]þûl Gþœû'ýúXþ]_^_`4^naQc…e

ä

)i7ÿSþISK#>ù0úXþn)iKI4û'l

ƒû'Kýdü4ü.¼ÿûüÏþ…ü.KSþn]ÿvüÏý"mþ`üÏþ"KýÁÿM)iXýþ%IS4XüSK]_^_`4^naQc…e ä *

+

—C6 v_žS¥8žd/Qz¢¡/£@¦§31GD˜t;m?š64\F|€\8tABFR3u”7%¨qtuKƒZtƒ 6

ù0úXþ]_^_`4^naQc…e

ä

ÿl]ÿlƒþhÅþ`ülþKýþ ™ï0û' þ"7üÏýþû

sØ

ÜzuŸ@ûØü6ÿ™K NÅþý.`BûÓþ<ýÅþkœ)iK.`

ÿiü&]þû¤~mÿ‰ýûtüTÿl]ÿlƒþ`ü<]ÿƒülþŒa@þ!ýÅû(Úþý7ü}ÿÿ'lƒþ7ÿ‰ûyü& þkû¤~!ÿ‰ýÅû']üG#Bù0úXûü

ÿl]ÿlƒþ6ÿ'IBü>ýúXþn<þj~Xû½ýÅûK˜)ÆÿýûLþ<jKj4Åþ<ýh NÅþký7üh ]ÿSûR!ÿ'%jþ`ÿ‰ýþ<ÿ

ûGKþÊüd) ÿû'ÓûÓýûÓþ`üˆ)iK}ü&` ý. Xû'lÚÿ ü.`ÀjØÿƒüÅülûlU

+

?AB13uƒE­b6|€um6GDE6=uA

ù0úXþ%jÅþ"KýQ<þj~Xû½ýÅûKE)qÅþj~XþSþ<ýq)<]_^_`^baQc…e

ä

ü.]þû‡~ÿ`ýÅûK]üj ÚþÂý4˜ïS7ú]üMÿ

¢<Xþ¤~

s

ä Ø uŸXûü<]ÿƒülþ@KýÅúXþfXûülû ÿ`ýÅûKSþ¶XûLvÿÓþ[þ#



¼ÅþfjKjþýÅþ˜]_^_`^baQc…e ä

ü.]þû‡~ÿ`ýÅûK%Åþj~Úþ`ü.ÿ[¼ÅþgÿtüÏýdÿýQ]_^_`^baQc…e ä ü& þkû¤~!ÿ‰ýÅû'6û¤)ÚýÅúÚþ>ýdÿ]ülûÓýÅû' ü.ÚüÏýÅþ"

)HýÅúÚþJ)iKSþ"QÅþ`ülýÅûyýÅþký–ýúXþþÓþ"Sþ<ý7ün)HýÅúÚþ@Øÿ‰ýýÅþ"0ûüXûØüÏû'EØÿ‰ýûPþ¶”ÚûLvÿ½þKý

ýýúXþSýdÿ]ülûÓýû%ü.ÚüÏýÅþ" )…ýÅúXþMØÿ‰ýýÅþ"#ï0ûØüÏû ½ÿ‰ýûKþ¶”ÚûLvÿ½þþ˜þ¶”ÚûÅþÊü ýú]ÿ‰ýOýúXþ

ýdÿ]ülûÓýÅû' ü.ÚüÏýÅþ"ü ú]ÿLþ}ýúXþHüÅÿSþ%7ÿ úÚûl2ülýýþU

+

mGu\"1=6GDE6Gu AŸt;(/213AB3AŸw8šFRuƒxŠ68A C3>3;‡38ƒw

OTØÿƒÿƒü

s

Ü©ÙyuKþ`ü4jÅû' þÊüP~7üÏýFÿ6ý)i€jKMXû½ûlf]_^[`4^baQc…e ä ü.]þû‡~ÿ‰ýûK]ü>û<ýHÿÿ`

üÏý47ÿ[ýQKûülýûXýþ}ûMÓþ2þý7ÿ`ýÅû'(!ÿOülþjÿ_ÿ ]ÿKXýÅû'Sûüÿ‰ýû%)]ýÅúXþÁÿ]ülýdÿý

ûMÓþSþG<ý7ÿ‰ýûK(Xû!K8Kþ…ýgÅþ`ÿK ú ÿgjGÅþýþOûM½þ2þj<ý7ÿ`ýÅûK sÜٕuŸ#Hù0úXþ˜üüÏûÚûÓû½ý&

ò +

9bZAŸ3D˜tABFR\—67GAnrn6Gum6=1tABFR3u

ï4ÿ]þPïS útü+ÿ™a˜´þdÿ‰ûþ sØ!ä u€Kþj~XþÿýúXþKŒ)BýÅþÊüÏýlvþXþdÿ‰ýûŒ)iE]_^_`4^badc%e ä

ü& þkû¤~!ÿ‰ýÅû']üG#–ù0úXûØüýÅúXþ"Pþ]ÿÓþ`ü6ýKþÅû'Lþ})i4 ÿ‹Lþ"!ÿlvþülþý˜)…ýÅþÊüÏý ÿvüÏþ`üG

ÿþþkülþý)}ýþ`üÏý:ÿƒülþ`üjhI4úXûy úPûüülýÅû'h)i'þþ`üÏþ<ý7ÿ`ýÅû'Lþ˜)…ýÅúXþü&]þû¤~mÿ‰ýûtü

]þú]ÿL<ûK#Qa˜´þdÿ‰ûþ

sÚ ä uYú]ÿƒü_jKM½þýÅþýúXûüMýÅúXþ" I4ûÓýúÿýKiÿ½þ}ý ÿXý4ÿ`ýÅûyÿ'

lvþXþdÿ‰ýÅþ6ýúXþ%ÅþþSülþýT)>ýþ`üÏý<!ÿƒüÏþÊü[ÚûÓý€I4ûÓýúOb›p@)iK ÿ`þU

+

—3 Yht1>7Ytu@9<£KFR3D˜tAŸFR\…?§6GD˜tuABFR\=7S5"31˜v_žS¥8žQ/dz¢¡/£

$Ÿ)Cþþþ¼½þ`ü…)igGMÚýÅûlÿ'TLvÿÓûR–ý47ÿtüÏûÓýûK]üSÿþ!KþG~Xþ)ig]_^_`^baQc…e

ä

ï0û' þ"7üÏýþû

sØ Ü.uB#h$ŸÿKûÓýû§ìFÿ7úû

sÚ ë uKþG~Xþ`üMû)Cþþþ_4ÓþÊü½)i2j¼XýÅû'lHÿ'

û'Lvÿ½ûR6ý7ÿ]üÏû½ýÅû']üG#S¢Âû'LþOýÅúÚþ`üÏþBülþý7üh)§½þ`üj ïS7ú]ü>ÿ˜ì0ÿK ú

sÚ ë uj4Åþ<ý'HüÏý

úI ý Xýdÿ‰û'ÿ˜jKMÓþ!ýÅþ…ÿ·<û ÿ‰ýÅûy}üÏþ"ÿ<ýÅûyüˆ)i…ÿOü.]ülþý<)%]_^_`^baQc…e ä U

+

vQ3uA&6£ABZ t;SvQ331>FRutAŸFR3u

ïS† säƒä u2Kþj~Úþ`üÿ!jKKýþ·<ý]ÿSG8<û]ÿ`ýÅûK«M <þh)i˜<ûüÏý4Åû'XýÅþk NÅþ[ýOü.ÚüÏýþü

ÿgKþj~XþÊü€¤ 馥Rê ýÅútÿ‰ý4ûüFÿ…ØÿlK]ÿlvþ…)iFýÅúXþYj<ýÅþ·<ýtÿ(G8<û]ÿ`ýÅûKg)n]_^_`4^badc%e ä

ü& þkû¤~!ÿ‰ýÅû']üG#>ù0úXþ€M KþLKûyKþ`üG*ˆG8<û]ÿ`ýÅûK2üÏý4ý4ÅþÊüj %Sþ`ÿtü)YúXûÓþ"7ÿ‰ úÚûÓþ`ü

)(G<ýÅþ·<ý7üiÿ˜ NÅþký7üGUÿ ]ÿûRQj ~ldÿ‰ýûtüj %Sþ`ÿ]ü}) NÅþýPSûlK7ÿ‰ýûK]üj

]ülþj)i(I4úXþ"ýúXþHÿ‰ úXû½ýÅþ[ýþn)gýÅúXþfKûØüÏý4ÅûXýÅþü&XülýÅþ ]ÿSûyÿ' 7ú]ÿlƒþ`üGU

+

—33;–7

fÓ8Ó/qÐJ€Ó(ÓáHæsä

Ü.u.ûØü4ÿNÅþkýBÿ‰û'Sûl ÿ‰ý<Kþ"LþKXûl ÿœülþý_)gýKü<KþKûyÿ‰ýþœý4œýúXþ

L<ûü&]ÿ½ûüÅÿ`ýÅû'(.þKû½ýÅû'(.ÿ–ülû ÿ`ýÅûK)<l7ÿXúXûyÿFÿ ýþ·Ký4]ÿ_]_^_`4^naQc…e ä ü& þkû¤~`

ÿ`ýÅû']üG#



Ml!ƒýÅúÚþ7üGdIFþ!ÿÃSþ<ýÅû'

fÓ8Ó/qЧqà Öå

QI4úXûy úûüOÿý4…ÿ½þý

Lþû¤)iýú]ÿ‰ýÿ]_^_`^baQc…e ä ü.]þ[û¤~ÿ`ýÅû'ú]ÿƒü2ÿ!jKÅþký2ü. Kýdÿ·Pÿ üÏýdÿ‰ýÅûyüÏþÿKýûRüG#

fÓ8Ó/qÐJ€àæGÑ

ûüHÿýKS)i ÿXý4ÿ`ýÅûR!ÿ'lvþXþdÿ‰ýÅû'lýþ`üÏý:ÿƒülþ`ü

sÚ ä

uBU>ûÓýfj<ý7ÿ`û]üHÿ

þ<ûÓýKT)i%lK7ÿÚúXûRÿ'!LKû½þI4ûl!]_^_`4^naQc…e ä ýÅþ·<ý]ÿFü.]þû‡~ÿ‰ýûK]ü}ÿƒü%I0þ'Ÿ#



L<ûÓþ"I0þ

ÿÿOüÏû Øÿ‰ýKQ)%]_^_`^baQc…e

ä

ü.]þû‡~ÿ‰ýûK]ü4ÿþGþKý4˜]þû'l2üÏý4KûÓþk#



)i4Sþ

ý4Ÿ!ÿ½þ

SÓ(Óá

ÿXýKÿ‰ýûRÿ'œý47ÿtüÀ)i4ü[]_^_`4^badc%e

ä

ü.]þû‡~ÿ‰ýûK]ü0û<ýOúXû'lƒú'”`

]ÿ7ÿÓþ"Óûülþ@]_^_`4^naQc…e ä ü&]þû¤~mÿ‰ýûtü

sä ý•uŸ#

ù0úXþ2ülþÅû½þ`üT)€I€ÚünSþ<ýÅû'XþÿmLþOú]ÿLþ jKKý4Åû'XýÅþkýM~düÏý6þ`ülý7ÿÓûülúýÅúXþM]_^_`4^badc%e ä

ÿltÿlƒþ©»ÿülþj ý4œþ"Åûy úSýúXþ%ÿl]ÿlƒþfI4ûÓýÅúýúXþûÓþ`ü4ÿý4ØüÄþ`üüÏþ<ýÅûØÿØü0ýÿ7ÿK=`

ýÅûyÿtÿœû']ülýûÿ]ülþT).ýúXþ…]_^_`4^badc%e ä ØÿlK]ÿlvþ#€OTI0þLþ"‰ýúXþ%]_^[`4^baQc…e ä )i7ÿþISK

üÏýû'ÿK=Úüh)iþ½þSþ<ý7ü(Óû'þ*m)i4ÿ4)üd)iK4ÿƒüüÏþýÅû'lýú]ÿ‰ýÁÿY)i4EÿÂûØü üÿ‰ýûüÀ~tþE€ƒý€

ýÅúÚþnM Kþ)gÿE]_^[`4^baQc…e ä ü& þkû¤~!ÿ‰ýÅû'(UÚÿSþýú 'lKE)PKþLþ'Sþ"KýMÿSÿý4)i4û½ýU

ÿ˜l7ÿXúXûyÿiülû ÿ`ý"#

ù0úXûØü ýúXþ`ülûü+ûØü6ÿJ~düÏýOülýÅþýIÁÿ8Úü+ýÅúÚþSþ`üÏýdÿ½ûülúSþ<ýT)…ÿKþ"LþKSþ<ýS)i7ÿSþISK(mvýÅú

ýÅúÚþþýÅûyÿ]ÿEdÿýûRÿŸ)i_]_^_`4^naQc…e

ä

#€o@ûlKÅþ

Ø #Ø

üÏúIBü ýúXþBýÅúXþKÅþýûRÿ]ÿƒülûüd)iü& úÿ

KþLþ"Sþ<ý)i7ÿþISK#



)Cýþ>ýÅúÚþ6ÿ]ÿÚüÏûØü½Úú]ÿƒülþKû')i4ÿþ¶XûþSþ<ý7üiÿþ%KþýþSû'Xþ#

^< ýúXþŒ]ÿƒülûü@)2ýÅúXþÊüÏþŒÅþ¶XûþSþ<ýüjBÿ ÿtüÏýdÿýœj<ýdÿý4]ÿ ]_^_`^baQc…e

ä

ü.]þû‡~ÿ`ýÅûK

Ä.Ž© þk¨©j]QKKý47ÿKý

¨

Å4ûØünKþL<ûülþI4úüÏþ G<ý7ÿKýT)iKÿþ· þ`üÅülþ`üÄýúXþ˜Åþk¶”Xû'ÅþþKýdüj#< T&`

ûlÂýúXþ_KþÊüÏûlKXútÿƒüÏþ©üÏþLþ"7ÿþj~Xþ"Sþ<ý»ülýÅþtü>ÿþS]þ.)iKSþkýÅú]ÿ`ý}~]ÿ'%Óþ`ÿK+ý4}ÿ<jjÅþýþ

jKKý47ÿ[ý]ÿ}]_^_`4^badc%e ä ü.]þû‡~ÿ`ýÅûKÄ&Ž]þª©j]QKKý47ÿ[ý

ª

ʼn#Mù0úXþ4û¼Óþþj<ý7ÿ`ýÅûK%Xú]ÿƒülþ}ýÅúÚþ

]ülþ`üTlvþXþdÿ‰ýÅþkýÅþ`ülý7üT)i"*nLþÅû‡)iKû'lOýÅú]ÿ`ý6ýÅúXþ˜M <þˆ)Bÿü.]þ[û¤~ÿ`ýÅû'ÿ[ý]ÿ üÅÿ`ýÅûüŸ~]þ`ü}ûÓýdü

jKKý47ÿKýYÿû'ÿSülûSû'ÿSI4ÿM)i…ýÅúXþfKl7ÿ Ä´úKÅû:9<ý7ÿˆLþû¤~!ÿ‰ýÅû'ʼnULþÅû‡)iKû'lOýÅútÿ‰ý6ÿ

þj~XþþKý‘üÏýÅþ"Sûü€j4ÅþýbÄHLþýÅûyÿLþû¤~ÿ`ýÅû'ʼnUKÿE~]ÿ©Lþû¤)i<ûl}ýú]ÿ‰ýBÿlK7ÿ ûØü0ÿ

jKþýiûM½þ2þý7ÿ`ýÅûK ÄH4ldÿäLþÅû‡~ÿ‰ýûKÅ8#qï0þ`ülûRKþ`ü.ýÅúÚûü>ülþÿ<ýÅûyMÿ4ÿK úOý4Gþý&`

XþÊüÅüjYýÅúXþ˜þj~XþþKýBÿûM½þ2þKýdÿ‰ýû¼]ÿƒülþ‹K™G<ý7ÿKý7übÿŒ]þ˜]üÏþÆû'ýÅúXþ)iÚýþ

ý4]þ.)iKóÿ·Kû'ÿ`ýÅûy[Lþû¤~!ÿ‰ýÅû' ýÅúÚþn]ÿƒülûüS)>ýúXþ6ÿ·<ûKÿ‰ýûRBüÏþ ÿ<ýÅûR!üˆ]þûl GþKý4

Kþ"LþK]þx)in]_^_`4^badc%e ä #€›þLþ)iXýÅþ%ISKgjKRM4LKûyKþ6ÿ˜jKMüÏû½ýÅû']ÿ(ƒýû

)hþj~XþþKýQ]ÿvüÏþg¯¤ 馥Rê j¼mKXþ<ý7üG#

Informal Requirements

Horizontal Verification Spec Contract

Spec Contract

Spec Contract

Program Contract

Verification

Implementation Based on Contracts Implementation Refinement Based on Contracts

Design Analysis

0

1

n n

1 0

Generated Tests

Generated Tests

Generated Tests

Vertical Verification

Program Verification

Generated Tests

o@û'lþ Ø #Ø * 

 BþLþKSþ<ýQo7ÿSþI€¼on]_^_`4^naQc…e ä

†‡x° ±²‰AŠ[’”‹³D´7ŠQ‹‰A

ù0úXþ<ÅþÊü.½ý7ühÅþÊüÏþ<ýÅþû'œýúXûü>ýúXþ`üÏûØüj<ÿEI4úXûR7ú¼j<ýûXýþ4ýHýÅúXþBþ`üÏýdÿ½ûülúSþ<ýˆ)gÿKþ"Lþ¤`

KSþ<ýh)i7ÿþISK˜)in]_^_`^baQc…e ä ÿvüÄþ· Øÿ‰ûÚþSÿLþÿg þHü&Óû½ý4û<ýýúÅþ!þ!ÿ‰ýÅþ"lûÓþ`üG*

~düÏý"Kÿ%ƒ6=um6G1t;A C6431Gwn)güÏýþ I4ûüÏþ_þj~Xþ"Sþ<ý>ÿ û'M½þSþGKýdÿ‰ýÅû'%]ÿvüÏþEKSýÅúÚþ_]üÏþ<)PjK`

ý47ÿ[ý7üjU üÏþjK]ýÅúXþ‘tjšš;{FR\8tAŸFR3u!)FýÅúXþÊüÏþýúXþKÅûÓþÊüÄý4SýÅúXþM]_^_`4^badc%e ä ØÿlK]ÿlvþ.ûK8Kþ"}ý

4LKûyKþBÿ}ýÅúXþK˜)iüÏýþ I4ûüÏþ_þj~Xþ"Sþ<ý>ÿ û'M½þœþ"Kýdÿ‰ýÅû'%)<]_^_`4^naQc…e ä ü& þkû¤~!ÿ‰ýÅû']üGU

ÿ ýúXû‰.ÿ>6Gs68;‡3jšDE6=uAfDE68A C3>3;‡38ƒwE)i˜]_^_`4^naQc…e

ä

I4úXûy ú!LKûyKþ`üT¼Åþf]ÿýÅûyjÿ'

ÿgKþLþ"Sþ<ý_SþýÅú )bÆÿLvÿÿ½ûRÿ`ýÅûK]üjiÿI4úXûy úŒ]üÏþÊü ýþ`üÏý%lvþXþdÿ‰ýÅû'ûŒ‰Kþ6ý

]þ&)i LþÅû‡~ÿ‰ýûK]üj#gù0úXþfj<ýûXýûK]üS)MýúXûü0ýúXþ`ülûü4ÿþHÿƒüS)i'IBüj*

+

9órn6Gum6=1t;_—C6431Gw˜3.5n?A&6ŸšFYhF¤76%­n6|€u6GDE6GuASX[t764>@3u™vQ3u AŸ14t\jA7

ù0úXþýúXþKg)FülýÅþ I4ûülþ%Åþj~ÚþSþ<ýQ]ÿƒülþ@KŒj<ýdÿýdü0ûü<Kþj~Xþk¼)iKT¼ Kþ¤`BûÓþ<ýÅþk

ü.]þû‡~ÿ`ýÅûK]üj# $°ýÿL !ÿ‰ýÅþÊüýÅúÚþMNvû<ýM]üÏþŒ)ÿü& þkû¤~!ÿ‰ýÅû' ÿ ÿülþýg):lvûRÿ

)i4EØÿ‰þ©ÿ'ÓþHÿ…G<ý7ÿKý<üÿ‰ýÅûØüÀ~]þkx ýúXþT¼ Kþ).ýÅúÚþBü.]þû‡~ÿ‰ýûK(# Åþj~XþSþ<ý