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þ<ý

ülýÅþûü_Gþý4û‡)>ýúXþfj<ýdÿý_)FÿEGjþýÅþHü& þkû¤~!ÿ‰ýÅû'gþ`üÏþ4Lþ`ü ýúXþfj<ýdÿý<)‘ÿ

MKÅþ6ÿ]üÏý47ÿKýTKXþU

+ 9 rn6Gum6G14t;_—C6431jw˜3.5m=DTš;6GDE6GuABtABFR3uœX[t764>M3u™vQ3uAB1t\jAR7

ù0úXþ ýÅúXþ"Ã)û'M½þœþ"Kýdÿ‰ýÅû'Œ]ÿƒülþ«ºG<ý7ÿKý7ü2ûü Kþj~Xþkèû#ÿI4ÿ üÏû'SûØÿHý

ýú]ÿ‰ý_)hþj~XþþKý"*iÿOüÏþý€)PlvûRÿ)i4EØÿ‰þ†üÅÿ‰ýûüŸ~]þMýÅúXþn¼ Kþ)>ýúXþn4lK7ÿœ

ûØüÿKþ–ý ýÅúXþg4ldÿ!U>ýúXþgKldÿ jKþý'ûMÓþ2þý7ü…ÿü.]þû‡~ÿ‰ýûK–û¤)BýúXþ

4lK7ÿ jKKý47ÿKý_ÅþÊüÏþ4Lþ`ü ýúXþHü.]þû‡~ÿ‰ýûKG<ý7ÿKýU

+ 9 —C6431GwE3.5n?A.6ŸšFYPF¤76…­b6|€um6GDE6=uA<3.5 v_žS¥8žQ/dz¢¡/£@?©šm64\"F|€\8tAŸFR3u7

ù0úXþ2ýÅúÚþ4)<þj~Xþ"Sþ<ý_]ÿƒülþjKKý47ÿ[ý7ü}ûü6ÿÓû½þýýÅúÚþ@]_^_`4^naQc…e

ä

ü& þkû¤~`

ÿ`ýÅû']ünÿltÿlƒþ©#ù0úXþgOÂþXþ`üÅü&”`À›û'Xþ<KlƒûROûün]ülþýþ· Åþ`üü%j<ýdÿýdü…Ã]_^_`

^baQc…e

ä

ü.]þû‡~ÿ‰ýûK(#}ù0úXûØüTKlƒûy+ûübjþ<ý¼]üÏþûýúXþ…)idÿSþI€4M)˜]_^_`4^badc%e

ä

)iK>ÿXýKÿ‰ýûRÿblƒþXþ"7ÿ‰ýûl…ýÅþ`ülýhÿvüÏþ`üG#>ù0úXþ2 úƒûR[þd)YýÅúXûØü@ülûM½þhKlƒûy½)igþ·Åþ`üüÏûl

jKKý47ÿKý7ü4ûü_MƒýûLvÿ‰ýþMýúXþI4û'.ý )iÅýúXþ…ÿXý4ÿ`ýÅþýúXþ)ÁýÅú]ÿ`ý}ÿ Åþj~ÚþSþ<ý

ülýÅþûü_Gþý"]ülûlÿXý4ÿ`ýÅûyÿ'˜lƒþ"Xþ7ÿ`ýÅþýÅþ`ülý<ÿƒülþ`üjU

+ 9 —C6431GwE3.5~m=DTš;6GDE6Gu AŸtABFR3u3.5xv_žS¥8žd/Qz¢¡/£@?š64\F|€\8tABFR3u”7

ù0úXþýÅúÚþ4»)2û¼Óþ2þGKýdÿ‰ýÅû'W]ÿƒülþÇÈjKKý47ÿ[ý7üSûüÿÓû½þ ý4ýúXþ0]_^_`4^badc%e ä

ü& þkû¤~!ÿ‰ýÅû']üqÿl]ÿlƒþ6ÿ ý4% NÅþý&`ŸKÅû½þKýþ4ldÿMûl<ÿl]ÿlƒþ`üG#



2ÿ]ülý7ÿKý

KþG~XûÓýûK!)_K NÅþý&`ŸKÅûÓþ"KýþKldÿüÂûØünL<ûRKþ.ÿOn›p!)i Øÿ‰þOÿÅþ¼Kþj~Úþ

KýÅúÚþ`üÏþnlK7ÿüjU

+

m=DTš;6GDE6GuABtABFR3u3.5 v_ž€¥8žd/Qz”¡/£g?š64\F|€\8tABFR3u”7:FRuts"t

ù0úXþ6û'MÓþ"œþGKýdÿ‰ýû˜)%]_^_`^baQc…e ä ü&]þû¤~mÿ‰ýûtüS]üÏû'lOýÅúXþfÆÿLvÿKldÿMSû'l%ÿ`

lK]ÿlvþûü¼Åþ ]ÿÅýÅûyjØÿ'–ülý<ûÓþ#Pù0úXþûMÓþ2þ<ý7ÿ‰ýûKüÏýÅþ"èûØüýûL<ûÿ'!þ`ÿ½û39þ

û‡)BýÅúXþgM†üÏý˜GjþýÅþg]_^_`^baQc…e

ä

ü& þkû¤~!ÿ‰ýÅû'ÃÅþÊÿ7úXþ–ÿ`ýOýÅúXþSþ"™) ÿÅþj~ÚþSþ<ý

4 þ`üü ûüQLþ GülþÂý4ýúXþ%ÆÿLvÿ…4ldÿ!#QïS GülþI0þnþ`ÿOýú]ÿ‰ý4þLþ"û']üÏý4[ýÅûK

)>ýúXþ%Kl7ÿóûü4ü.]þ[û¤~]þ]ÿSýÅútÿ‰ýBýÅúXþ%]þú]ÿL<û_)MýúXþ˜]_^[`4^baQc…e

ä

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

ÿýú]ÿ‰ý<)FýÅúÚþÆÿLvÿE4lK7ÿ ÿÅþýúXþOüÿSþ©#d°þHüÏúI$úIý Úý7ÿ‰û'ÿ@]_^_`4^badc%e ä

ü& þkû¤~!ÿ‰ýÅû'ŒI4úXûR7úü.]þ[û¤~]þ`ü6ÿgÆÿLvÿ@4ldÿ ÿŒÅþj]þký7üÂýúXþ¼ÆÿkLvÿ üÏþÿKýûRüG#



”`

L<ûRþÊüÂÿÅþ lƒûLþ"úIñý4‘j ý6ÿMÅþG~XþSþ"Ký_4 þ`üü û'K8Kþ"}ýþ`ÿvüÏû']þ&)i

ýúXþ6ûM½þ2þý7ÿ`ýÅûKSülýÅþgI4úXþ"ýÅúÚþÆÿLvÿ4ldÿMûlfÿl]ÿlƒþûØüS]üÏþkU

+

ªm6=1jF|€\8tABFR3u!3.5%­n6|dum6GDE6GuA<tu>!mGDTš;6=DE6GuABtAŸFR3ucµ}7"FRuKƒ0—67GAnrn6Gu6G1tABFR3u

$°ý}ûØü+ülúI_úI)ýþ`üÏýblƒþXþ"7ÿ‰ýûKûØüYtüÏþû!K8Kþ6ý4dÿýûRÿgLþû¤)iýÅútÿ‰ýHÿülþýn)

)iK ÿ`þ+ûØü6ÿý4]ÿ' ÿgj<ýdÿýT)iKHÿElƒû'Lþ™]_^_`^baQc…e ä ü& þkû¤~!ÿ‰ýÅû'(YýÅú]ÿ`ýÿMþj~Xþj`

Sþ"Ký6ülýÅþPûü%j4Åþ[ý!]þ&)i4SþiÿýÅú]ÿ`ýOýÅúXþ2û¼Óþ2þ<ý7ÿ`ýÅûKXútÿƒüÏþûüGþý4

þ`ÿ½û39þ#

†‡4¶ ·¸‰¹–€´#º ™"Š»¼’_ Ž!#‹•Ÿ½ŽŠQ‹‰A

]Mú]ÿXýÅþ ä ûüÿKKþ )…ý.I€]ÿÅýdüj*Sÿü&Lþ"!) ü.þMKþG~XûÓýûK]ü…)nþj~XþþKý<)i˜M Kþ"¤`

ë

jKj'Kþýú]ÿ‰ý6þLþ"‘Kþj~ÚûÓýÅû'!)_ÅþG~XþSþ"Ký<ÿ!]þEþþkýýúXþ˜ÅþÊüÏþ4Lƒÿ`ýÅû'Œ)BÿüÏþý

)h4]þýÅûÓþÊüj#

]Mú]ÿXýÅþ"SÙfKþj~Úþ`ü>ýÅúXþ<lƒþÚþ7ÿ ýúXþK )iülýÅþ I4ûülþTþj~Xþ"Sþ<ý>ÿœû¼Óþ2þýdÿ‰ýÅû'f]ÿƒülþE

jKKý47ÿKý7üGKûÓý_lvûLþ`ü4ü&SþYjM†üÏûÓýûK]ÿÅþ`ü&Óýdüj]ÿKûØüj]üüÏþ`ü0ýúXþHÿÿK ú§#

°þû'Kýþý]üÏþýúXûüœýúXþKû'»‰KþSý4«<þj~XþýúXþ)i4ÿ<Åþj~XþSþ<ý)!]_^_`^baQc…e ä

ü& þkû¤~!ÿ‰ýÅû']üG#–ù0úXþ"Åþj)iKÅþ_]Mú]ÿÚýÅþ˜Ü!þ`üÏþ"KýdüýÅúXþ ü. <ý7ÿ·%ÿüÏþ"ÿ<ýÅûyü…)M]_^_`^baQc…e

ä

ü& þkû¤~!ÿ‰ýÅû']üG#

]Mú]ÿXýÅþ"gڙÅþ`ülþ<ý7üOýÅúXþŒOÂþ"Xþ`üü.`&›û'Xþ KlƒûyJ)iþ· þ`üÅülûlÃG<ý7ÿKý7ü ¹]_^_`^baQc…e ä

ü& þkû¤~!ÿ‰ýÅû']üG<ÿ Kþj~Úþ`ü>ýÅúXþBýÅúXþ"˜)(þj~XþþKý(tÿƒüÏþkE¼j<ýdÿýdüˆ)i0ýúXþn]_^_`^baQc…e

ä

ü& þkû¤~!ÿ‰ýÅû']ü˜ÿltÿlƒþ©# $°ýMKþG~Xþ`üSÿvüMI0þ'BÿúXûÓþ"7ÿ‰ úÚûRÿTK þ"7ÿ‰ý4gºG<ý7ÿKýtÿ]_^_`

^baQc…e ä ü&]þû¤~mÿ‰ýûtüj]ÿÿ jM†üÏûÓýûK]ÿÅþj~ÚþSþ<ý#

]Mú]ÿXýÅþ" ò ÿ½ûÓþ`ü6ýÅúXþýÅúXþK™)}û'M½þœþG<ý7ÿ‰ýûK!]ÿƒülþ™Wj<ýdÿýdüýýúXþ]_^_`^baQc…e ä

ü& þkû¤~!ÿ‰ýÅû']üÿl]ÿlƒþÁÿ% NÅþý&`ŸKÅû½þKýþT4lK7ÿ¼SûlQØÿlK]ÿlvþ`üj#Q$Ÿ6ÿKKûÓýûK(‰û½ý(KþG~Xþ`ü

ýúXþfjM†üÏûÓýûK]ÿYûM½þ2þKýdÿ‰ýû˜)%]_^_`^baQc…e ä ü.]þ[û¤~ÿ`ýÅû']üG#

Žû'þnIFþHÿÅþfMþn]ÿÅýÅûyjØÿ'œû'KýþÅþÊüÏýÅþkœûû¼Óþþj<ý7ÿ`ýÅûK]ühÅþ`ÿÓû:9þEI4û½ýÅúýÅúXþ:ÆÿLƒÿ˜4`

lK7ÿ¼Sûl¼ÿl]ÿlƒþS]Mú]ÿXýÅþ"MÛþ·ÿ‰û']ü}úIüÆÿLvÿ@lK7ÿü˜ÿ þ ü.]þû‡~]þ]ülûlýúXþ

]_^_`4^naQc…e ä ü& þkû¤~!ÿ‰ýÅû']ühØÿlK]ÿlvþ]ÿ lƒûLþÊü>ü.KSþÂúÚû<ý7ühSúIý4fj ý4ÿ%Åþj~XþSþ<ý

4 þ`üü0ûg‰KþBý˜ÅþÊÿ7úþÊÿƒüÏû'ÿEÆÿLvÿ˜Kl7ÿ!#

$ŸSýúXþ˜]_^[`4^baQc…e ä )i7ÿSþISKýÅúXþ%OBþXþ`üü.`&›û'Xþ"d'lvûR}ûüQ]üÏþE)iKÂþ· þ`üÅülûl ÿXý4ÿ`ý.`

ûyÿ' lƒþXþ"7ÿ‰ýþSýÅþ`ülý7üG#T]Mú]ÿÚýÅþbݜülúIBüÄúI ûÓýBûüSüüÏûÓþý4EtüÏþýþ`üÏý_lvþXþdÿ‰ýû ûg‰Kþ

ý44Lþ˜~düÏýýú]ÿ‰ýOýúXþ2ý7ÿ]üÏû½ýÅû' ü.ÚüÏýþ )…ÿ]_^_`4^naQc…e ä ü.]þû‡~ÿ`ýÅûK–üÿ‰ýûüÀ~tþ`üOÿülþý)

On›p )i4EØÿ‰þ†ÿSülþjK ýú]ÿ‰ý€Åþj~XþSþ<ýMülýÅþ]üMÿœû¼Óþþj<ý7ÿ`ýÅûKXútÿƒüÏþ ÿÅþYj4Åþý4

þ`ÿ½û39þ#

ù0ú4lvúÿGjþýÅþ¼ÿvüÏþüÏýd]MútÿXýþ ë Åþ`ÿÓû39!þ`ü}ýÅúXþ¼j¼Óþýþ˜Kþ"LþKSþ<ýT)Bÿÿ`

½ûRÿ`ýÅû'(*ülý7ÿÅýÅû'l™)iK û')i4ÿ<Åþk¶”Xû'Åþþý7üG0ÿþj~Xþ"Sþ<ý4 þ`üÅüSþKþ0 ÿÆÿkLvÿ

û'MÓþ"œþGKýdÿ‰ýû§ƒûüS]þ&)iþSÿû )i ÿ'˜Lþ#

o@û']ÿ']Mú]ÿXýÅþ" Ø ýxlvûLþ`üFÿœü&Mÿ˜)‘ýÅúXþ%ûû']ÿÅþ`ü&ÓýdüS)gýÅúXûØüÄýúXþ`ülûü4ÿJ½ûülý7ü4ü.KSþ

)iXý4ÅþbIS4XüG#

Ø

± ïíîhËíöïñð ëóʖç ø

ù0úXþb†üÏþ`ü_)gýÅúXûØü ýúXþ`üÏûØü4ÿþT~7ülýXý4˜L<ûRKþ…ÿ…)i4ÿ§Kþj~Xû½ýÅû'M)MülýÅþ I4ûülþnÅþj~XþSþ<ý

)¼ Kþ¤`BûÓþ<ýÅþk+ü&]þû¤~mÿ‰ýûtüjƒýú]ÿ‰ý>ûØüˆ]ÿvüÏþKœýúXþ_]üÏþ_) ÿ2ÿKûÓýûtÿ'lƒûyÿÿl]ÿlƒþU

ÿ<üÏþGý4OÿHýÅúXûØüd<þj~Xû½ýÅûKœý46ýÅúXþ%]_^_`^baQc…e ä ÿl]ÿlƒþ I4úXûR7úOûühK NÅþý.`BûÓþ<ýÅþk

ÿ«]ÿƒülþ»Èa@þýûTÚþý7üÿ ÿlƒþ"7ÿ`ûRü.]þ[û¤~ÿ`ýÅû']üG#ñù0úXûØüg ú]ÿXýÅþ"ElvûLþ`üSÿ û')i4ÿ

KþÊüjûXýûÃ)Hü.KSþM) ýÅúXþœKþj~Xû½ýÅû']ü)HüÏýþI4ûØüÏþ‘Åþj~ÚþSþ<ý6ýÅú]ÿ`ýMÿ«]þ@)iKûýúXþ

ÿÅþ`ÿvüS)Pa@þý4ÅûXþý7üGXÿM NÅþý&`ŸKÅû½þKýþ2ü.]þû‡~ÿ‰ýûK]üj#Q$ŸMK8Kþ4ý4 j¼Óþýþ4ýÅúXûØüdLþ4LKû½þI

)Kþj~ÚûÓýÅû']ü()þj~XþþKý"jIFþSþ`üÏþ<ýiÿØü.nvýÅúXþ"QKþj~ÚûÓýÅû']üGI4úÚûR7úþû½ýÅúXþiÿÅþFûKþ" þ"Kþ<ý

)Mÿ2ü.]þû‡~[)iKÿÓûü&!KTÿþTtüÏþ)Mÿ˜Klƒûyÿ(ØÿlK]ÿlvþ#

^<þ˜IFþOú]ÿLþþÅýþýÅúXþ`ülþM<þj~Xû½ýÅûK]üjI0þ jKM]ÿþOýÅúXþ"ð)iKülþLþ7ÿhƒû'KýdüY)_L<ûÓþI%*

ü&<ý7ÿKýÅûyÿK½ûlÿ`ýÅû']üˆ)]ýÅúÚþS<þj~Xû½ýÅûK)Åþj~XþSþ<ý[þ#–l#þ`üÏþ"Lvÿ‰ýûfqƒýP)]ýúXþFüÏûlK]ÿk`

ý4ÅþU]ülþÿKýûRÿÓûl†ÿ‰ýûtüT)FýÅúÚþ˜Kþj~XûÓýûg)Sþj~Xþ"Sþ<ýþ#–l#Xû'XýGeÚýXýb þ!ú]ÿLKû'

þ`üÏþ"Lvÿ‰ýûWSý47ÿKþ!]þú]ÿLKû'¼Åþ`ülþLvÿ`ýÅûK(#



üEI0þ ÿÅþû'KýþÅþÊüÏýÅþk%û' ü.ÚüÏýþüú]ÿL<ûl

M <þüˆtÿƒüÏþkxKSþLþ<ý7üiÿüÏý7ÿ`ýÅþ`üGþMXú]ÿvüÏûØüˆI4û']þTlvûLþ2ý%ÅþG~XþSþ"Kýdü})iü. úü.ÚüÏýþüj

dÿ‰ýÅúÚþ0ýú]ÿý)iýÅû']ÿiü.ÚüÏýþüj#gù0úXþMIFþfKþL<ûüÏþBýÅúÚþ…]þýÅû½þ`ü ýú]ÿ‰ýBÿþj~XþþKýQ ]üÏý

ú]ÿLþ ÿýúülþœýú]ÿ‰ý}û½ýnÿSú]ÿLþ#n°þ KûØüj]üüTI4ú]ÿ`ýülúR! þOýúXþ Kû‡†»þ"Åþ[þ]þý&I0þþ"ÿ

û'MÓþ"œþGKýdÿ‰ýûÿÿþj~Xþ"Sþ<ýU>ÿ™lƒû'Lþü.KSþSúXû'Kýdü…ÂKþLþ'þKý<Sþýú KlvûÓþ`üG#

o@û']ÿ'IFþülúIúIºMülý_)MýúXþ`üÏþfKþG~XûÓýûK]ü_ÿg]þfÿÚýþ@ ÿMKÅþ>Á4lƒþXþ"ÅûRÂ˜Kþj)R`

û'XûÓýû§]ÿƒülþýÅúXþfÅþÊüÏþ4Lƒÿ`ýÅû'!)€K]üÏþ4Lvÿ½þ4]þÅýûÓþ`ü<)Fû<ýÅþþ`üÏý"#Bù0úXûün<þj~Xû½ýÅûK)

þj~XþþKýBûü6û)iKÿ'üÏýdÿ‰ýþ–ÿ‰ýOýúXþ2þ)}ýúXûüf ú]ÿXýÅþ"#‘$sý6ûØü+ýÅúÚþgjþM)BýúXûü6ýÅúXþÊüÏûüGU

û½ýÂûØü2)iKÿÓûülþE)i6ü&]þû¤~mÿ‰ýûtüÂû‘lƒþXþ"7ÿiûŒ7ú]ÿXýÅþbÙ ÿÿÓû½þý4SýÅúÚþE]_^_`^baQc…e ä

ØÿlK]ÿlvþû‘7ú]ÿÚýÅþ

ò #

$Ÿ6ýÅúXþ€Åþ`ülýˆ)YýÅúXûØüˆ7ú]ÿÚýÅþ"IFþS]ülþ4ÿƒügü. ü»ýÅúXþMýÅþ"üG*.ÿ]ülýdÿýMü&]þû¤~mÿ‰ýûtü@ÿúXûlvú`

½þLþ.ü&]þû¤~mÿ‰ýûtüjU.ÿýÅúXþHýÅþ4ü_jKjÅþ!ýÅþOü&]þû¤~mÿ‰ýûtü}ÿ'IS`Ÿ½þLþ.ü&]þû¤~mÿ‰ýûtüj#



jKjþýÅþ<_'IS`BÓþ"LþYü.]þû‡~ÿ‰ýûKüÏýdÿXüS)i4ýúXþ%Åþj~XþSþ<ýh)Mÿÿ]üÏý47ÿKý_4úXû'lƒúXþ".`BÓþLþ

ü& þkû¤~!ÿ‰ýÅû'(#™°þ ÿØü.PüÅÿ–ýÅútÿ‰ýÿþ"ÓþSþ"Ký}ûØüOÿ]ülýdÿý ¼jjÅþýþSû¤)…ûÓý˜]þ'l†ü ý4ýúXþ

ÿ]üÏý47ÿ[ýMSý4–ýÅúÚþ!jKjÅþ!ýÅþü&]þû¤~mÿ‰ýûWÅþ`ü&]þýÅû'Lþ©#»›þLþSIFþI4û'_Åþ"mKÅýM]þ'I

Kû'Lþ7ülþn<þj~Xû½ýÅûK]üS)PÅþG~XþSþ"Ký"]üÏû'l2ýÅúXþ6üÿSþbIS‰XüBÿƒü4ýÅúXþ6ÿXýÅú7üG#_o4ýúXûüSþ`ÿƒü&(]ÿ

lvûLþMI€‰ÿœú]ÿLþHÿ Kû¤†YþþKý_þ`ÿXû'lOûý&IS¼Kû‡†»þ"Åþ<ý<Kþj~ÚûÓýÅû']ü_)½Åþj~ÚþSþ<ý#gù0úXûü

ûØüS]ÿýÅûRGÿ2ýÅúÚþ!ÿƒüÏþ%)iBýÅúXþ%I€8G‰û'MÓþ"œþ<ý7ÿ`ýÅû'/ U þ!ûÓýÅúÚþ0û½ý4ûüS]ülþÿvüÂÿ2ü. (ý

Øä

>‡† Èə@Ê'G™"º ™"ŠË‰ÌÀ‘™€Š¦’”‹Í ™€Š_Ÿ_ÎÏ ‹ AÐ7ÑҘ™~ŒA™˜'Í ™€Š_Ÿ

ù0úXûØü ülþýû þ`üÏþ<ý7üMü&Sþ%Äi)iýÅúÚþ_þK]ü=ÅPKþj~XûÓýûtü½)(þj~XþþKýdü§)iK_Kû‡†YþÅþ<ýh<ûÚü

)Ya@þý4Åû€Xþý7üG#™o@û'7ülýhI0þû<ý þ ü.KSþEþj~Xþ"Sþ<ý7ün)b]ülýýþÃa@þý4ÅûSÚþý7üG#–ù0úXþ`ülþ

ÅþG~XþSþ"Kýdü}]ü&]ÿ'fÅþ'2þ ]þKû'l}ýÅþk úÚûR¶Xþ`üjvü. úÿƒü>ýÅúÚþTþÿKþSþ"Ký()iÿ}ýdÿ]ülûÓýÅû'

6ÿÂü&Xþ!ýiýÅúXþQÅþ"ÿKþSþ<ý)Yÿ_ØÿþQ 6ÿÂü&Xþ!ý#>ù0úÚþ`üÏþMýÅþk úÚûR¶Xþ`ü þ"]ü.þ0þû½ýÅúXþ"»ýÅútÿ‰ý

ýÅúÚþ+û'XûÓýûÿ(XþýBÿýÅúÚþÅþG~XþMXþýBú]ÿLþ6ýÅúXþHüÿSþ%4]þÅýûÓþ`üGBýÅú]ÿ`ýÂý&I€œþ¶Xû'LƒÿÓþ<ýSÚþý7üG

ÅþG~XþSûýúXþHüÅÿþnI4ÿ½þ`ÿSýOý&I€œþ¶Xû'LƒÿÓþ<ýQXþýdüj#



ü&Lþ"E)Mþ¶XûLvÿ½þþ<výÅûK]üS)i

a@þý4Åû XþýdüjÚþ4ý%aˆKSþ'˜68APt;3l‡ ÿ˜]þS)iKOû

s

ÚKÚyuB#dŽþGKI0þ0û'Ký4 þBÿ2þ·ÚÿM½þh)

ÅþG~XþSþ"Ký)YÿT<ûY)YýÅûþna@þý4ÅûXþ!ý7üˆ]ÿvüÏþ%OýúXþSþ`üÏþ"Lvÿ‰ýûf)tüÏþ4LƒÿÓþ€K]þÅýûÓþ`üG#

ù0úXû'8I0þ<lƒû'LþÂý&I€<û¤†YþÅþ"Ký€Kþj~XûÓýûtü½)qÅþj~XþSþ<ýiû2ýÅúXþ_)i7ÿSþISKf)güÏý4[ýþxÚþý7üG#

o@û']ÿ'ÚÿElƒþÚþ7ÿhKþG~XûÓýûK@)QÅþ"ÿKþSþ<ýS)Fÿ2ü.Úþýn ÿvýÅúXþ"6ü.XþýBûü_lƒûLþ"(#4ù0úXûØü

Kþj~XûÓýû‘ÿg þHÿÓû½þSýüÏþLþ"7ÿKû'XüS)Qa@þ!ýÅû(Úþý7üG#

¿@ӄU”Ó„U ÔcS&ÕnÖ@S[דS[Ö_RcآٹÚÖ@ÛRTÒÜ@ÝÒR/ÜtT/S½ÞßGS5RT/àáâS&RÛ

ù0úXþýÅþk úÚûR¶Xþ`üY)iK˜Åþj~Xûl!]üÏý4ý4Åþk0aiþýû_Xþý7üOÿÅþg]ÿvüÏþÃýÅúXþgþÿKþSþ"Ký%) ÿ

ýdÿ]ülûÓýûº ÿ0ØÿþŒ ÿü&Xþ!ý#óù0úXþ`ülþýþ7úXûR¶Xþ`ü¼Kû¤†Yþû ýÅúÚþIÁÿkýúXþPü.ÚþýûØü

þ ]þKþ–û']üÏûyKþýúXþûXû½ýÅûØÿ<Xþý#ä›þLþÁü.þ) ýÅúXþÊüÏþýÅþk úÚûR¶Xþ`üþ]ü&Åþýú]ÿ‰ýýúXþ

ûÚûÓýÅûØÿXþ!ýMÿû½ý7üˆþj~Xþ"Sþ<ý»ú]ÿLþ0ýúXþBüÅÿSþS]þýÅû½þ`üSÄ´ýúXþHÿþ4þ¶XûLvÿ½þ<ý.ûOü&SþÁüÏþtüÏþʼn#

ŽKSþTvýÅúXþ"0ýÅþk úÚûR¶Xþ`ü@þtü.þ}ýÅú]ÿ`ý lƒûLþ"Sÿþk¶”Xû'LvÿÓþ"þ_Åþ"ÿ‰ýûK(ý.I€þ¶Xû'LƒÿÓþ<ýQXþýdü0ÿþ

ÅþG~XþOýHý.I€þ¶Xû'LƒÿÓþ<ýhXþ!ý7üj#



j‰Kûl+ý4OýÅúXþBýÅþ"Sû''lf]üÏþkœûSýúXþ<ÓûÓýþ7ÿ`ýþ*@û‡).ýúXþ

þ¶XûLvÿÓþ[þSÅþ"ÿ‰ýûKSÿœýÅúÚþTþj~XþþKýq]þdÿ‰ýû ÿÅþ…ü. ú2ýÅú]ÿ`ý0ý&IS6þ¶Xû'LƒÿÓþ<ýhXþ!ý7ühÅþj~Xþ

ýOý&I€Oþ¶”ÚûLvÿ½þKýQXþ!ý7üjXýúXþgI0þ üÅÿSýÅútÿ‰ýBýÅúXþ6þ¶XûLvÿÓþ[þTþÿ`ýÅûKSûü4ÿg\83uKƒ1jZ6Gu\j6fI_Åý4ýúXþ

ÅþG~XþSþ"Ký(K þ"7ÿ‰ýûK(#Mù0úXþ_~7ülý>ýÅþ7úXûy¶”ÚþnÄ°ÿnXþ!ýhÅþj~Xþ`ü>ý6ÿœþk¶”Xû'LvÿÓþ"KýqXþýGÅ@ûØüˆ]ülþxI4úÚþ

ƒýúýÅúÚþ…KÅû'lƒûtÿqXþýBÿûÓýdüSÅþj~XþSþ<ýMú]ÿLþ6ýÅúXþHüÅÿSþn]þú]ÿL<ûK#Fù0úXþOülþjKSýÅþ7úXûy¶”Xþ

Ä´ý&I€+þk¶”Xû'LvÿÓþ"KýhÚþý7ühÅþG~XþBý6ý&IS6þ¶XûLvÿ½þ<ýhXþýdü=Åiûüh]ülþEI4úXþ2ýÅúÚþTþj~XþþKýiû<ý4 þÊü

XþI þÓþþKýdüj<ü. ú ýÅú]ÿ`ý}ýÅúXþfûlƒû']ÿqXþýdüÂÿýÅúÚþû<Åþ`ü&]þýÅû'LþnÅþG~XþSþ"Kýdü ú]ÿLþfKû¤†Yþþ<ý

]þú]ÿL<û7üj#

°þTI û<ý þ_)i€Kþj~XûÓýûtü½)(þj~XþþKýdüj*»ýúXþ_~7ülý ý&I€+þ"]ü.þÂýú]ÿ‰ýMýúXþTþj~XþkxXþ!ý

þ`üÏþ4Lþ`ü}ü&Sþ˜4]þýÅûÓþÊüY)4ýúXþEKÅû'lƒûtÿhXþ!ý.ûŸ#¥þ#»ýúXþ ÿÅþ2þ¶XûLvÿÓþ<ýU.ÿýúXþEØÿƒülý+ý&I€

þ]ü&Åþ6ýú]ÿ‰ýBý&ISOþ¶XûLvÿÓþ<ýQXþý7üBÿþ%Åþj~ÚþSýOý&IS2þ¶XûLvÿ½þ<ýdÚþý7üG#

ßMà hÐqà0à ÐmÑfÓYâD€ÒâЈæ×RÑ×iÓÐ

ù0úXþPü.4LþÃ)xïS7ÿÚþ™68A¼t;3l

s

Øë un½ûülý7üSülþLþ7ÿnÅþG~XþSþ"Kýdü…)ig]ülýýþ»a@þý4ÅûnÚþý7üG#



MKlgƒýúXþ7üG>ûÓý:Kþ`üGÅû]þ`ü}ýúXþMÅþG~XþSþ"Kýn)…ÿýdÿ]ülûÓýÅû''ã% ÿÅþj~XþSþ<ýnXþ!ý#



Åþj`

~Xþ"Sþ<ýnXþýäMQI4úXûR7ú™þj~Xþ`üHÿýdÿ]ülûÓýÅû''ãG>ûØüÿXþýHýÅú]ÿ`ýOú]ÿƒüOü&SþûXû½ýÅûÿMý7ÿ]üÏû½ýÅû']üG

Åþ"Åþ`ülþ<ýÅûl+ýúXþ< þ"lƒûXûlf)½ãG<ÿü.þ[~tÿ»ý47ÿ]üÏû½ýÅûK]üj ÅþÅþ`ülþKýûl…ýÅúXþ}þ"x)½ãG#Mù0úXþ

ÅþG~XþXþ!ý+ûØüTÚý7ÿ‰û'Xþ!!þØÿû'lSýÅúÚþOý7ÿ]üÏû½ýÅû'¯ãn ýÅúXþ ÅþG~XþSþ"Ký_Xþ!ýiÿ! !jK`

Ø

ú]ÿvüÄýúXþHüÅÿSþnI0þ!ûlƒú<ýBÿƒü4ýÅúÚþ…KÅû'lƒûtÿgÿ8n]þý&I0þ!þýÅúXþ%ØÿþHÿ¹ãG#[Ž†ûSû'ÿ4vþ`ÿ7úgÿKþ6û

ýúXþT†üÏý7ülþý_)½ãgûüQjXþýþxI4û½ýÅúSþ"Lþ%~]ÿYýdÿ]ülûÓýÅû'M)_äM#Mù0úÚûü ýþ7úXûR¶Xþ4þtü.þ`ü ýú]ÿ‰ý

û‡)0ýúXþ˜ûlvû]ÿdÚþý}ûü6üÿk)Cþ‘ÄHÓû'Lþ%KmŅÿû¤)@äóûü6ÿü. üÿk)Cþ‘ÄHÓû'LþK…Kmʼn@ýÅúÚþýúXþ

þj~Xþ Xþý4ûü4üÿk)Cþ¼ÄHÓû'LþTKTKmʼn#

ßMà PЈàÃàÐÑÓé%áHâÖà æn-q×iâ#TâÒâáiáiàátfÓ<QÓæ×RÑ×HÓÐ

ìQlKÓþ

sò ýyu€KþG~Xþ`ü6ýÅúXþ Åþj~XþSþ<ý<)…ÿ@ÿ[þE –ÿgÅþj~XþSþ<ý<Xþý#



ÅþG~XþSþ"Ký<XþýäM

I4úXûy úÃþj~Xþ`üÿÿKþêBûÿŒXþý7ë!_LKûØÿ‹tÿ7ÿ½þnGMülûÓýû§0ûü2ÿXþý2ýÅútÿ‰ýSú]ÿvüSü.KSþ

ý47ÿtüÏûÓýûK]üSÿ þ"ÓþkÿvüÄýúXþ6ýdÿ]ülûÓýÅû']ü4ÿKN7ÿ[þKýBýê#0ù0úÚþ]ÿ7ÿ'Óþ§j¼m†üÏû½ýÅûK‘j]ülûülý7ü4û

ü&Óû½ýÅýÅû'lýÅúÚþ+ý47ÿ]üÏû½ýÅûK]ü_)tëœ]ÿN7ÿKþ<ý4ýê]ü. úýÅútÿ‰ýBþ`ÿ7ú ü.½ûÓý4ýdÿ]ülûÓýû ûüSSþ"lƒþk

I4û½ýÅúOþLþ46ý7ÿ]üÏû½ýÅû'˜)§Xþý”ääI4ûÓýúOýÅúXþBüÿSþ_Øÿ]þB#@ù0úÚþTþj~XþÚþý>ûüqXýdÿ‰ûÚþx tÿ7ÿ½þ

jKMülûÓýÅû'M)MýÅúÚþ…Úþý~ë I4úÚþÅþ%Øÿþtêú]ÿvü[]þþ‘Åþÿ[þE räM#Fù0úXûØüÄýþ úXûR¶XþBþ]ü.Åþ`ü

KþbþÅýdÿ‰û'!jKKûÓýûK]üÄýú]ÿ‰ýbXþýë ÿû½ý7ü_Åþj~XþSþ<ý0útÿkLþHýÅúXþ üÅÿSþn) ÿ‰û'Åþ üÏþ ÿ<ýÅûR!üj#



]ÿgÿÿK ú þ·<ûüÏýdü½)iKÂýúXþ%Åþj~ÚþSþ<ýQ)gý7ÿ]üÏû½ýÅû']üG#

ÿMÖÑk×HÓЫ߼àìPЈàÃàÐÑ



Øü.Hý7ÿþ"x)i4óïSdÿXþ%68A2t;3l

s

Ø"ë uBKýÅúÚþ6ÿýûKMÅþj~XþSþ<ýQjK]üÏûØüÏýdü0ûMþÿKûl@6=s6G1Gwœý7ÿ`

ülûÓýÅû'˜I4û½ýÅúü.þ_lƒûLþ"˜ÿ]þ ÿjKf).ýúXþ…üÅÿþ_Åþj~ÚþSþ<ý(Xþý"#>ù0úXûØü‘ýþ7úXûR¶XþFþ]ü.Åþ`ü

ýú]ÿ‰ý4ýúXþ4 þ`üüÄþ¶Xû'LƒÿÓþþ<ÿýÅúXþn) ÿ`ûÅþ6þ¶XûLvÿ½þþ ÿÅþfjKl4Xþ[þ`ü[I_ý4ýÅúXûØüSÅþj~Xþj`

Sþ"Ký"#ùSIS!XþýdüÿÅþM4 þ`üüÀ` þ¶”ÚûLvÿ½þKýHû¤)BýúXþú]ÿLþœýúXþüÅÿSþMKþ'Kû'lg [þ`üÅüGU0ýÅúXþ"

ÿÅþ˜)ÿ‰û'ÅþG`°þ¶Xû'LƒÿÓþ<ý}û‡)4ýÅúÚþú]ÿLþœýúXþüÅÿþSülþý%)_) ÿ‰û'þ`üj#goKûtüÏý7ÿþiûýÅúXþ¼ÿvüÏþM)

4 þ`üü@þ¶XûLvÿ½þþ©‰ý&ISbXþý7üGI4ûÓýÅúOýúXþBüÅÿSþSKþ4<ûln þ`üüÏþ`üGÅþj~Úþ… ý&ISb þÊüÅüÀ`

þ¶Xû'LƒÿÓþ<ýQÅþj~XþSþ<ýQXþýdüjÓþÊÿSýOý&IS XþýdüSI4ûÓýúýúXþHüÅÿSþn<þ'Kû'l˜ [þ`üÅülþ`üj#

ßMàqáHâÖàÃàÐÑfÓbâ¯SÒâÐqæ×RÑ×iÓmÐcí/»â¯àх Ó(ÔqՈáiәâ¯B(ՈÐqÖÑ×iÓmÐ

ï0þ`ülýMÿœù0úXû½þþ sØ Ù.uKþG~XþBÿnÅþj~XþSþ<ý)i€jKKÅþ a@þý4Åû Xþýdüj#Mù0úXûØüˆÅþj~XþSþ<ý.ûüh]ÿvüÏþ

K–ýÅúXþ2ûR<þ`ÿSýÅú]ÿ`ýOýÅúXþ Åþÿ[þSþ<ýT)…ÿý47ÿtüÏûÓýûK'ãG})…ÿ@Xþ!ýAën –ÿ ü.XþýëïOÿ†»þký7ü

ýúXþÂþ"L<û4Sþ"Kýq)½ãG*>ýÅúÚþÂý& þ:Ä°üÏþ!ýd)Pj'dü=ÅQ)iýÅúXþ<ÿKþ`üQ þG)iÅþ ÿSÿ)CýÅþ¢ãQI4û ú]ÿlƒþ

û'ýÅúXþ Åþj~XþXþý Ä ÿk)CýÅþ"nÅþÿ[þSþ<ýjÅFÿvü…I0þ"gÿƒü+ýúXþ2ý. ]þgÄ´ûB#¿þ#'m Gþþ˜M <þÅ_)BýúXþ

ý47ÿtüÏûÓýûK«Gþ`ü.KKûlý4Dã ÿ–ýÅúÚþ@Øÿ]þØü)6ýúXþ ÿ8!üj#Ã$ŸÃ8<þOýŒ]þÿÓþý4û']üÏþý

ýúXþSü&Xþ!ýAëï6û<ýýÅúÚþMXþýënîGgÿx5"Z u\jABFR3u%ûØü…Xþ!þKþ#ù0úXûün)iýûKûØüÿ@ ÿXû'lE)i4

ýúXþ˜ÿKþ`ün)ðëï}ý ýÅúXþ2ülþýñ òz©žóx©žôÒõ #Où0úXþ Øÿþ`ü<ÿ]þý4#ò(SþÊÿXû'lSþ<ý4.ÿþœý4g þ

jKEÚûXþMI4û½ýÅúýÅúXþ ÿKþ`üÂû'ýúXþ˜þ`üÏþý%)tãG.ýÅúXþ ÿKþ`üT ÿ]þý4#ô(Sþ`ÿXûlSþ·<ûÓý ÿÅþ

ý4˜ þ:j Xû'Xþ˜I4ûÓýÅúýúXþ%ÿKþ`ü0ûýúXþülý7ülþýT)_ãGXÿýúXþ%ÿKþ`üSÿ]þSýfóSþÊÿXû'l

û'Kýþ]ÿŸ<ÿþXþ"IÇØÿþÊüSƒý_þÿ`ýÅþSýÿØÿþ%)¢ënîG#

ù0úXþbÅþj~ÚþSþ<ý@ûØü_jýþ û'üÏþ"Lþ7ÿ»ülýÅþtüj#Fù0úXþnØÿþ`üQ)_ë

î

ýÅú]ÿ`ýBÿÅþ…ûSýúXþnþ`üÏþýÁÿ

ülý7ülþýn)¢ãBÿÅþþlvþMI4ûÓýÅú ýÅúXþ˜ÿ[þ`ü[)tëïnÿ]þSýròHÿ#ô(#}ù0úXþHý&]þ)FýÅúXûØü[Xþ"I

Ø

ýÅúüÏþ˜)tëï#Bù0úXþOý47ÿ]üÏû½ýÅûKrã4ûØü[Sþ"lƒþkJI4û½ýÅú ÿiýÅúÚþýdÿ]ülûÓýûtüT)tëéï}ÿ"N7ÿþ<ýBýMØÿþÊü

ÿ]þSý>ò6ÿrô(#Mù0úXþHý&]þn)MýÅúXûØüSXþIý47ÿ]üÏû½ýÅûKûü0ýÅúÚþülþý<)‘ÿiü&üS)>ýúXþ6ý. ]þ`üS)

ãQI4ûÓýúSþLþ4Oý7ÿ]üÏû½ýÅû'ÿKN7ÿþ"KýFý˜Øÿþ`üQÿ þk ý4>ò}ÿ7ô(#



ÿ8nÓû'Úü‘ýúXþnXþ"I»ÿKþ

ýHýÅúXþbXþIý47ÿ]üÏû½ýÅûK(*>ûÓýdüdØÿ]þYüÏýdÿXüd)iK4ÿ]ýÅúXþbm†üÅülû½þ%j Xû']ÿ‰ý4ÅûØÿIÁÿXüh)PÅþ"MLKû'l

Lvÿ'Xþ`ünI4úXþ!~Åû'lýÅúXþ Sþ4lƒþý47ÿ]üÏû½ýÅûK]üj#gŽûûÿ']ÿÿ8˜Óû'XüBýÅúXþ XþIíý7ÿ]üÏû½ýÅû'ý

ýÅúÚþTXþ"I«Øÿþ*iûÓýdü½Øÿ]þYüÏýdÿÚüd)iFÿ' ýúXþbj Xûtÿ‰ýKÅûØÿIÁÿkÚüh)gÿKKûlLvÿ'Xþ`ühI4úXþE~Åûl

ýÅúÚþSþ4lƒþSý47ÿtüÏûÓýûK]üj#ŽKSþ%MþHÿ8!üTÓû'ýÅúXþfXþI ÿKþý4Sýdÿ]ülûÓýûtüT)të î ÿýúXþ

XþI ýdÿ]ülûÓýû ýOýúXþ6û<ýÅþ4]ÿÿKþ`üS)jë ï #

ù0úXþ2ýdÿ]üŸ)i ÿ‰ýÅû'þ¶Xû'LƒÿÓþþûØü+ÿgjKl4Xþ[þ˜I_Åý6ýÅúXûØüTÅþG~XþSþ"Ký"#ùSI€@Úþý7üG§ë î ÿ

ë>÷

î ÿÅþ2ýdÿ]üŸ)i4ÿ‰ýû `°þ¶Xû'LƒÿÓþ<ýBû¤)FýÅúXþ"ÓþÊÿýýúXþ2üÅÿSþ˜Xþý6ÿ)CýÅþ…ú]ÿLKû'lûü.Kÿ`ýÅþýúXþ

ýdÿ]ülûÓýûý4E]þ˜þÿKþ]ÿSþ4lƒþSû½ý7ü}ÿKN7ÿþ"Ký<ÿKþ`üG#ÂùSI€ü.XþýdüjJë

ï

ÿDëf÷ï .ÿþ

ýdÿ]üŸ)i4ÿ‰ýû `°þ¶Xû'LƒÿÓþ<ýMû¤)gýÅúXþ"E½þ`ÿSýOýúXþHüÅÿSþnXþýBÿ)CýÅþ4útÿkL<ûlSþ4lƒþÿYýÅúXþ%ØÿþÊü

ÿ]þœý>ò…ÿrôÿJþlvþœýÅúÚþûFÿ"N7ÿþ<ý4ýdÿ]ülûÓýûtüj#Fù0úXûüMýÅþ7úXûy¶”XþBþ]ü&ÅþÊü0ýÅú]ÿ`ý4û¤)

ÿMXþýnëî}ûØüTÅþj~Xþ! ÿü&Xþ!ý!ëéï6ÿû‡)ÁÿJÚþýnë

÷

î

.ý47ÿtüÀ)i4ÿ‰ýûK`°þk¶”Xû'LvÿÓþ"KýBý#ënîG.ûØü

ÅþG~XþE ü.Úþý~ë ÷

ï

Xý47ÿtüÀ)i4ÿ‰ýûK`°þk¶”Xû'LvÿÓþ"KýMý>ëéïKýúXþýÅúXþ…ý.I€˜Åþj~XþEXþ!ý7ü4ÿþHüÏýÅû'

ýdÿ]üŸ)i4ÿ‰ýû `°þ¶Xû'LƒÿÓþ<ý#

$ŸÿKûÓýû§KýÅúÚûü ýþ7úXûR¶Xþ4ûØü_jM Xýdÿ‰ýÅû‡Lþ€M 'ýÅúÚûü þk¶”Xû'LvÿÓþ"þƒûB#¿þ#'~düÏý_Åþ"ÿKûlã î

Xþýë ï ÿýÅúXþ¯ã ï !Xþýnëðø+ûØü}þ¶”ÚûLvÿ½þKýBýgþÿKûlE~7ülýã ï ÿ ýúXþ¯ã î # 

tÿ

Kþj~XûÓýû‘ÿg þ%lvûLþM)i4ýúXþ%Åþÿ[þSþ<ýQ)‘ÿxØÿþ©#



ülûSû'ÿYKþj~Xû½ýÅû'™)<Åþj~ÚþSþ<ýT)i ›@`BXþýdüjgÿúXûlvú`Ÿ½þLþ€jØÿƒüÅü%)Ya@þý4ÅûQXþýdüj>ú]ÿvü þ!þ

lƒû'LþM g ÂþL<û'Óþdün68A_t;3l

s

äë uŸ#

¿@ӄU”Ó®¿ ÔcS&ÕnÖ@S[דS[Ö_Rcآٹù)àú×ûS½ÞÉßrS&RT/àáS5RÛ

°þMÅþÊüÏþ<ý%I(ÿèû'KýþÅþÊüÏýÅû'l ÿÿK ú-j[þXû'lýúXþMþj~XþþKýb)BýÅû'Sþ!a@þ!ýÅû€Xþýdü

]ÿvüÏþKýúXþ˜]üÏþ˜)ÁÿœýÅþ¼mK7ÿhKlƒûRK#6ù_ÌT$^$ûü…ÿEÓû'Xþ`ÿ"m~düÏý.`B‰Kþ}ý& ]þýÅþ¼mK7ÿˆ'lƒûy

XþBý˜¢BúXþ99ûˆ6‰AQt;3l sÙ ë uB#



ù_Ì<$‰^#ÿ·<ûKÿ‰ýûüÿ‰ýÅû'(©XþBýfoXþRKþ"n68AQt;3l sÙÜ.uŸvú]ÿƒüQ þ!þElvûLþ

ýHÿn<û).ýÅû'Sþ%a@þý4ÅûÚþý7üˆI4úÚþÅþBþ`ÿ7úOýdÿ]ülûÓýûOûØüMÿƒüÅü& ûÿ`ýÅþ˜I4ûÓýúSÿT~ûl…ýÅûþ0û<ýÅþ"Lvÿ

Kþ`ü4jÅû'Xûl+û½ý7ü>þ`ÿÓû½þ`üÏýFÿMÿ‰ýþ`üÏýh~ûlHýÅû'SþBÿk)CýþMþ]ÿÓûl#



ý7ÿ]üÏû½ýÅû'gjK]ü.Sþ`ü>þ·Úÿý4

ÚþOýþ")i þ`ÿ7úÿ[þOûûÓýdüTþ`üÏþý".ÿ þ`ü}þ·Úÿý4gXþOý4þû'Ký4Sþ`ÿK ú‘ÿKþ

ûû½ý7üSülý7üÏþ!ý#



ýÁÿxlvûLþSýûSþ…ÿOý7ÿ]üÏû½ýÅû' ÿk~ÅþHüÏþLþ"7ÿYýÅû'Sþ`üj#

ù0úXþFù_Ì<$‰^%ÿ·<ûKÿ‰ýûüÅÿ`ýÅû'n)XýúXþ`üÏþMýûSþ<a@þý4ÅûKXþý7ü»ûØü]ÿƒülþ…K6ý.I€_ÅþkKûRÿ`ýÅþ`üG*&ü5ýéó®þ.òKÄ®ÿ/©žü}Å

Sþ`ÿ]ü»ýÅútÿ‰ývÿ‰ýiýÅúÚþSGþKý.ýûSþ©ýdÿ]ülûÓýûoÿ[~þ`ü&ü ýûSþÊüjÿnã<òü5ý˜Ä ©žóx©®êF©žÿ<© ©ÅSþÊÿ]ü

ýÅútÿ‰ý]ÿ`ýÂýúXþfj4Åþ<ý0ýûSþýúXþó n~ûl˜)Mýdÿ]ülûÓýÅû'… [þ`üÂÿOýKþýÅú]ÿ`ýÂþ"Kýþ7üQÿKþ

êXýúXûü0ý4þûØü_j]ü&Sþÿ)CýÅþOýÅû'SþnXû½ý7üS SýÅúÚþ Y~Åûl˜)Mý47ÿtüÏûÓýûKrÿ#S¢BûLþ ÿxXþ!ý

ë!ÚÿOüÏþý€)‘ÿ·<ûKü~ô(Ä4ëÅ>ûØüdÚûÓý"ýÅú]ÿ`ý4ý7ÿþ…û<ýOÿKjKKý4ýúXþnXþ!ý4ÿ û½ý7üMûXû½ýÅûÿÿ4Kû'l#

oK ~ô(Ä ë‘Å6ÿýÅúXþK–ûØü˜KþûLþqƒýþÈ#«^T ýÅúXþ¼]ÿƒülûü˜)…ýÅúXþý&ISÿmLþgþKûR!ÿ‰ýÅþÊü

ÿÿûÓýúSþýûRTK þ"7ÿ‰ý4düjm)iK ÿ`þ%ÿ‘]þþ· ÅþÊüÅüÏþkJLþ4ýúXþÚþý#_$H)‘ÿ:)iK ÿ!!ÿ]þ

KþûLþ˜)iýÅúXþ6ýÅúÚþ4ýÅúXþ"06=s6G1Gwœþ·KþkjXýÅû'M)MýÅúÚþ…ÚþýBüÅÿ`ýÅûüŸ~]þ`ü4ýÅúXþ%4]þý.ˆ#

ù0úXþ ûM½þ2þj<ý7ÿ`ýÅûKþÿ`ýÅû'(S)foXþR<þ68A:t;3l ÙÙ.uŸQ)+ÿ‹Xþ!ýÈ ÿ!Xþý! ûØüx]ÿvüÏþÃ

Ø

ýúXþš18676G1GstAŸFR3u!)Y3•=76G1Gst•j;'6E4]þýÅûÓþÊüj#



Úþý" 2ûMÓþSþG<ý7ü0ÿMXþ!ý# û¤)MýúXþ˜tüÏþ4LƒÿÓþ

4]þýÅûÓþÊü½)$ÿþ6ÿØü.f]ülþLvÿÓþn4]þýÅûÓþÊü½)$ Hÿk)Cýþ0ý47ÿtü.ÿ`ýÅû'lýúXþ)û<ý #>ù0úXþ<

K]üÏþ4Lvÿ½þÂþLþ"Kýdü@ûÿ…Xþ!ý0ÿÅþ}ý47ÿ]üÏû½ýÅûKx~Åûlüj#Mù0úÚþÅþj)iKÅþ<ÿM]ülþLvÿÓþn]þý&%ˆ)gÿ

Xþ!ý&SXûØüÂÿ)i4EÿG]ülýýÅþMKýÅúÚþ]ÿvüÏûü_)‘ýÅúXþn~ûl ÅþkKûRÿ`ýÅþü5ýéó®þ.òKÄ®ÿ/©žü}ÅP']ÿ

]üÏýQ]þ˜<þÅû'Lþ:)i4(' Ä´ýúXþ6ýÅúXþ"¼))dʼn**+q#

 TÅûlÿMÅþj~ÚþSþ<ýBüÏýþ(.ûÓý}ûØüTüüÏûÓþ2ýgÅþj~Xþ2ÿSý7ÿ]üÏû½ýÅû'! üÏþ"Lþ7ÿ>ýdÿ]ülûÓýÅû']ü˜Äiƒý

N]ülý_XþKÅ8#



þLþ<ýh)iýûK(-,g*.0/213.-4ÿ]ü0ýdÿ]ülûÓýûtüS)) OýOý47ÿtüÏûÓýûK]ü[)€#Mù0úXþ

þLþ"Ký()iýûK˜ÿ…]þ<]ÿýÅûØÿqÄ°ÿ}ýdÿ]ülûÓýû˜)5 6ú]ÿvühfj4Åþ`ü&mKKû'lý47ÿtüÏûÓýûKœû'!dʼnú]ÿƒü

ý4˜ þHü&RNÅþ[ýÅûLþfÄ´þ"Lþ2ýdÿ]ülûÓýÅû'û™ ]üÏýFú]ÿLþ6ÿ‰ý_½þ`ÿƒülý_XþfjKÅþÊü.<ûl2ýdÿ]ülûÓýÅû' û

»ü&ýÅú]ÿ`ý}þLþ4@K]üÏþ"Lvÿ½þ˜K]þÅý&)»ÿ!]þœý47ÿtü.ÿ`ýÅþû'Ký4ÿ!K]üÏþ"Lvÿ½þ˜K]þÅý&

) Å8#Hù0úXþ2þLþ<ýS)iýûKÿM]þ `°û'NÅþýûLþ*Bÿœý47ÿtüÏûÓýûKû'6«ÿg]þSÿvüÅü& ûÿ`ýÅþý

ülþLþ7ÿ»ý47ÿtüÏûÓýûK]ü0û7 #

¢BûLþ"ÿ þLþ<ý)iýû8,4ÿ!K]þÅý&™)iýûK(:9 *';1 <)ûüXû'L ÿ'Ã<þÅû'Lþ#Ã$°ý

ý47ÿtü.ÿ`ýÅþ`ü K þ"ÅýÅû½þ`ü˜)HýÅúXþýúXþK='n_)%€4ý™]þýÅû½þ`üE)HýúXþýúXþ46<<S)% #ù0úXþ

ý47ÿtü.ÿ`ýÅû'ûüS]ÿvüÏþg ýÅúXþ6ýdÿ]ü&ÿ`ýÅûK)>ýúXþn~Åû'lEÅþKûyÿ‰ýþ*

9bÄ®ü5ýéó®þ.òKÄ®ÿ/©žü}Å4Å?>A@ü&î iii

@ü0BjÄ®ü&îDC iii

Cü-B$>ÃüFE7ü&ýó®þ.òKÄ®ÿ žü&îÅDE iii

E7ü&ýó®þ.òKÄ®ÿGBx©žü-B8ÅÅ

I4úXþ"Åþ>ñzÿìîú© iii ©úÿHBxõ2ûü}ýÅúXþ2ülþý%)Äÿgý7ÿ]üÏû½ýÅû']ün)I Mÿ]þýGÿŒÄJ,Ä®ÿKHÅ&>ûÿ<© Ø!L ó L ©Å‰#

ù0úXþ þKûR!ÿ‰ýÅþ2ýÅútÿ‰ý2ÿƒüüÏþý7ü6ýÅú]ÿ`ýOý7ÿ]üÏû½ýÅû'ÿ@~þ`ünüýÅû'Sþ`üÂûØü+ýdÿ]ü&ÿ`ýÅþû'Ký4ÿgÅþ<ûRÿ`ýÅþ

ýú]ÿ‰ýBüÿkÚü4ýÅú]ÿ`ý4ýÅúXþHü.ð)ˆ~Åûlü_)gýÅúXþ6ýdÿ]ülûÓýûtü[)M ÿ]þSýÿ2ûü4ÿØü.füˆ#



Úþý& Oû¼Óþ2þ<ý7ü>ÿ˜Xþý&PýÅú4lvú,û‡†)iBþ`ÿK úMK]üÏþ"Lvÿ½þ…)iK ÿN))S*

*

PO QN9nÄ}Å i

,

Lþ4EK]üÏþ4Lvÿ½þY)iK ÿ%))ûü0ý47ÿtü.ÿ`ýÅþSû'Ký42ÿK]üÏþ"Lvÿ½þn)i Øÿ…)R #

$ŸÿKKû½ýÅûK(qoXþRKþ"E68Abt;3l

s

ÙKÙ.uˆlvûLþ2ÿEþýÅú @)iKn4L<ûlSûMÓþ2þ<ý7ÿ‰ýûK(#<$sý…ûüT]ÿvüÏþ!

ýúXþ}ûR<þ`ÿ+ýú]ÿ‰ýS)iK4þ`ÿ7úMtüÏþ4LƒÿÓþbK þ"Åý&+@)MÿÚþýPýÅúXþþ}þ·<ûülý7ü û'SýÅúÚþ6ÿ·<ûKÿ‰ýûüÅÿ`ýÅû'

)MýÅúXþHûMÓþ2þ<ý7ÿ‰ýûKEXþ!ý" 2ÿE4)€))9bÄS}ÅFýÅútÿ‰ýnSû'47ü0ýúXþ)€)Mq#Bù0úXþglƒû'LþOÿØü.

ü&Sþnþj~Xþ"Sþ<ýd4ÓþÊü ýÅútÿ‰ýBþ]ü.ÅþHÿEGþý€Åþj~ÚþSþ<ý#

¿OÓxU”ÓST ÔcS&ÕnÖ@S[דS[Ö_RcØ¢Ù7U”RTFÜ@ÝÒR<ÜjT/SJÞ ßrS&RT/à>áS5RÛ

$ŸýúXþ~]þy@)BüÏý4[ýþ!a@þý4ÅûqXþý7üG.ÿSü&ÿ'( ]þ<)2Kþj~ÚûÓýÅû']üBú]ÿLþ]þþ!lvûLþ(#n°þ

Sþ"Kýû2ý&IS˜)MýÅúXþ"!#iù0úXþ…~düÏý4ûØüS]ÿƒülþ@KSþýú MÿØüj]ÿ ýúXþHüÏþGûüS]ÿvüÏþgýúXþ

þ`üÏþ"Lvÿ‰ýûg)>ýúXþ%Xûülû ÿ`ýÅûKœþk¶”Xû'LvÿÓþ"þ#

ßMà PЈàÃàÐÑâæE⯅ à”Ñ•qÓ(Ô fâáHá

0}ûÓþ!ú sÜÚ.uPj]ülûRKþ"7ü}ýÅú]ÿ`ý6û¤)FÿSýdÿ]ülûÓýû¯ã<)ÁÿMXþýnë ûü<Åþj~Úþ ÿü.Úþýnë ÷5ãBûü<ƒý

Øò

ýÅúÚþY~Åûl˜)¦ãSÓþÊÿXü0ý4OýÅúXþ6ûÚûÓýÅûØÿÿ<ûlf)¢ë ÷Kþë ÷ ÅþÊÿ7úXþ`ü0ÿ…~]ÿqÿ4Kû'l jKKý4K

ûüQlƒû'LþEtÿ8œý4Aë!<ûŸ#¥þ#ýÅúÚþÂý4þ]üQ þM œýúXþ[~Åûl˜)½ãFÿþ}û]ülþÅýþOû<ýýúXþnØÿþÊü

)ÁýÅúXþ˜†üÏý7ülþý)tãG#Où0úXûØünKþj~XûÓýûŒ)€þj~XþþKýBûü<]ÿƒülþ‹K–ÿülýýûlýþ úXûR¶Xþ*Bÿ

ÅþG~XþSþ"Ký>ûØüMÿ7úXûÓþLþkxI4úXþ"MMþ}ülý4ýÅþ}ûØü ÿKKþSý4ýÅúÚþnûlƒû']ÿXþý"#Q$À ÿKû½ýÅû'(<ýÅúXûØü

ýÅþk úÚûR¶Xþ6ÿ‰û'ü4ÿ‰ýYKþÅû'LKû'lOýÅúÚþ…]þútÿkL<ûKn)MýÅúXþfÅþj~Xþü.ÚüÏýþü)ióýúXþ]þú]ÿL<ûKT)të

ÿýÅútÿ‰ý_)jë>÷R#

]_^_`^baQc(ûüOÿ0K NÅþý&`Ÿ]ÿvüÏþü& þkû¤~!ÿ‰ýÅû']üØÿlK]ÿlvþ!Úþý4ŒïS7ú]üOÿ«¢<Xþ‡~

s

äØ uŸ#



NÅþký6ûüÿ ÿlvþdÿ‰ûR¼a@þýûQXþýOÿÓþ2ýü& ú4XûØüÏþ I4ûÓýúÿvýÅúXþ"˜ NÅþý"#‹^< NÅþ[ý7ü}ú]ÿLþ

ÿþ"·Kýþ]ÿiÿÿû'Kýþ]ÿ(]ÿý#…ù0úXþþ·<ýÅþ"]ÿ(]ÿý}ûü_ÿ<þ…)Fü.]þ[ûÿiýdÿ]ülûÓýûtünÿ'Óþ

Sþýú Xü4ýÅú]ÿ`ý6ÿþ˜]üÏþk@)i}ýúXþ2ü. 7úKXûüÿ‰ýÅû'(#6ù0úÚþOû<ýÅþ4]ÿq]ÿý}ûü_ÿKKþ)0ý47ÿ]üÏû½ýÅûK]ü

ÿxØÿþÊüj#h$°ýQ!ÿvýQ þ…ÿ"þ`üÅülþ ƒýúXþQ NÅþký7üG#



Sþýú ˜ÿx~þ_'û‡)»ýúXþ…ü. ú`

XûØüÅÿ‰ýûK]üÂûÓýbÅþ¶Xûþ`ü_I4ûÓýÅú ýÅúXþ˜þýÅú Úü[)_ƒýúXþnK NÅþýdüÄûØüTüÅülû½þ»ûB#¿þ#'Xû¤)FýÅúXþÊüÏþþýÅú Úü

ÿE~Åþ üÏû ½ý7ÿÚþ]ü&#iù0úXþ<~Åû'l)Mÿ%SþýÅú œûüFÿ‰ýKSûR%Ä´ûB#¿þ#'ƒûÓýQ G7ü0þ<ýÅû'Åþ'K_ƒýÁÿ‰ý

ÿ'Hʼn#}ù0úXþ2ülþÿ<ýÅûyü0ûü…ÿSüÏýþüÏþ ÿ<ýÅûR!ünÄ°üÏþ"Lþ7ÿˆSþ!ýÅú Xü_ÿM~Åþ üÏû'E½ý7ÿXþtü.Å8#<$°ý}ûØü

lƒû'Lþ ÿSý47ÿtüÏûÓýûK–ü&XülýÅþ ý7ÿ<ûlSû<ýÿKjKKýHÿÿlvþdÿ‹Ä ÿMM KþiÅd)iK+ýúXþ2ÿ'lƒþ7ÿ‰ûy

ü.]þ[û¤~ÿ`ýÅû'g]ÿý#

ùSIS <ûXü_)½Åþj~ÚþSþ<ý7üG”tÿƒüÏþk@ ýÅúXþfÅþÊüÏþ4Lƒÿ`ýÅû')MýÅúÚþ…ÚûüÏû'Eÿ‰ýûKSþ¶XûLvÿ½þþ©Xÿþ

Kþj~Xþ*f3•

®

64\jAb1=6Bš;‡t\j6GDE6GuA…ÿWt;ƒ6=•1t‘1=6Ÿš;‡t\j6=DE6GuAi#x¢BûLþ"ý&IS]_^_`4^badc)ü&]þû¤~mÿ‰ýûtü

&îBÿFï»ÿýÅúÚþûbj4Åþ`ü&Kû'lýdÿ]ülûÓýÅû' ü.ÚüÏýÅþ"ü.&&îÁÿ7.&Fïj.ÿ Xûülû ÿ`ýÅûKSûüBÿ

Åþ"ÿ‰ýûK@LþBülý7ÿ`ýÅþ`üBü.7úýú]ÿ‰ý" û‡)Mÿ2üÏýdÿ‰ýþVrîS)).&&î0ûØü0ûþÿ`ýÅû'gI4ûÓýúÿ2üÏý7ÿ`ýÅþWV¹ï_):.XFïG

ýÅúÚþ(*nÄ Ø ÅQ)iBþLþý7ÿ]üÏû½ýÅû')R.X&î‰mI4úXûy úý47ÿtüÀ)i4üVKîFû<ýÿEXþ"I$üÏýdÿ‰ýÅþWV ÷î

]ýÅúXþþûØü

ÿ+ý47ÿ]üÏû½ýÅûKM)Y.&FïdI4ûÓýúœýúXþ7"tDE6%6Gs6=uA4ýÅú]ÿ`ý0ýdÿ]üŸ)i4üV7ï û'Ký4OÿHüÏý7ÿ`ýÅþZV ÷ï

<ÿV ÷î ûü û'

Åþ"ÿ‰ýûK@I4û½ýÅú[V ÷ï U(Ä ä Å_L<ûR[þj`ŸLþ"7üÅÿn)i}ýúXþ6ýdÿ]ülûÓýÅû']ü<)).& ï ý47ÿ]üÀ)iKSû'l!V ï #_$ŸÿKûÓýû§

ýÅúÚþ+û'XûÓýûÿ.üÏýdÿ‰ýþ`ünÄ´û'XûÓýûÿÿ4Kû'lü8ÅQEtüÏýQ]þûgþÿ`ýÅûK(#

¢BûLþ ÿÿlvþ7ÿ\ )OýúXþ–ÿlvþ7ÿ`ûRü.]þû‡~ÿ`ýÅûK(ÂýúXþŒ NÅþý¼ÅþØÿþ"Sþ<ý j]ülûülý7üû'

Åþ"ÿKûl ÿ ü.`sü.]þ[û¤~ÿ`ýÅû'™ ÿ@XûØüÏû'EØÿ6ü&`sü.]þû‡~ÿ`ýÅûK(# ù0úXþœý47ÿ]üÏû½ýÅûKü.ÚüÏýþ )

ýÅúÚþ˜I4ú½þOûXû½ýÅûÿiü.]þû‡~ÿ`ýÅûK!EtüÏý< þ˜ÚûüÏû'Eÿ4ý4SýÅúÚþOý7ÿ]üÏû½ýÅû'ü.ÚüÏýþóXýdÿ‰û'Xþÿk)CýÅþ"

ýÅúÚþ…þØÿþþKý"#



ý7ÿ]üÏû½ýÅû'ü&XülýÅþ )…ÿ!]_^[`4^baQc(ü.]þû‡~ÿ`ýÅûK–ûünlvûLþŒI4ûÓýúÿÿlvþ7ÿ7 î )iHýÅúXþÿ‡`

lƒþ"7ÿ`ûRü&]þû¤~mÿ‰ýû§#6ù0úXþ2ÿ'lƒþdÿEÅþG~XþSþ"Ký<jK]üÏûØüÏýdüÂû!þÿKûlœýúXþOÿlƒþ"7ÿ+ î ÿ

ÿ'lƒþ7ÿ6

ï

SI4úXûy ú ûü2ÿvýÅúXþ¼M Kþ_)ýúXþüÿSþ ÿlƒþ"7ÿ`ûRü&]þû¤~mÿ‰ýû§0û ýÅúXþ ý7ÿ]üÏû‡`

ýÅû'ü&XülýÅþó)FýúXþM]_^_`^baQc)ü.]þû‡~ÿ`ýÅûK(#}ù0úÚþ˜XþI$ýdÿ]ülûÓýÅû'ü&XülýÅþóÚý7ÿ‰û'Xþ ]üÏý_]þ

Ø

¿OÓxU”Ó_^ `ba~ÛRT/N_ÝÒR\cÀS5ÕÖ@à®Rà4ØOÖ Ø”Ù7ÔcS&ÕnÖ@S[דS[Ö_RcÙØQT}ßrS&RT$à Ö@S&RÛ

°þI$û<ý4 þ2ÿÿ]ülýdÿýfKþj~XûÓýû‘)€ÅþG~XþSþ"KýS)iK%a@þý4ÅûqXþý7üGmtÿƒüÏþk‹KŒÿ‰ýþlK

ýúXþ44ýÅú]ÿ`ýþjKM]ÿƒüüÏþ`üOýÅþk úÚûRÿnKþG~XûÓýûK]üE)fþj~XþþKý)iK üÏþLþdÿ<Kû'XüE):a@þýû

Xþ!ý7üj#6ù0úÚûüTþj~XþþKý"ÚþOýga>ÿK]þl

sÚ Ø uB»ûü<ÿÓþk@Óþj`B]ÿƒülþÅþG~XþSþ"Ký"#T$°ýbjtüÏûR<þ7ü

ýúXþþj~XþþKýFÿvü}ÿE4 ýû!4Óþðê> Äed f

g h i

1 jnÅ8I4úÚþÅþ%d”©

h

©kjíÿþXþ!ý7üÄi NÅþýdü

û'ÿÿ`ýÅþlK4M)PXþýdü=Å8Úÿ+l4©žþ6ÿþ…¼ÚúXûü&üj#iù0úXþnþ`ÿXû'l%)gýÅúXþb ýÅû'4ÓþBûü0ýúXþ

)iKI4û'l*iýÅúXþ<]ÿý7üS)iýÅúXþnÚþýMdýú]ÿ‰ýBÿÅþnƒý0û'SýÅúÚþÂû'ÿlvþT)

h

%liÿþ%Kþ½þýÅþOÿSýÅúXþ"

ÿÅþ_Åþ"ÿKþ˜HýÅúXþ<]ÿý7üh)iýúXþ_XþýMj ýÅú]ÿ`ý4ÿÅþ<ƒýMû2ýÅúÚþÂû'ÿlvþS)

h

þ#

h

üÏýdÿÚü½)iFÿ

ÂKjM¼/Ân]ÿÅýBý þþ(#gù0úXþ%]ÿýÅûRGÿ<ÿƒülþ…I4úÚþÅþ

h

ûü0þMÚý.˜½þ`ÿÚüÄý4OýÅúXþ%Åþ"ÿKþSþ<ý

)0ýúXþ˜I4úKÓþ˜XþýNd« ýúXþ˜I4ú½þ˜Xþý"jY#

h

ûüBÿý4]ÿ'ÿgjKMMK@tÿÅýb)_výÅú=dÿmj

I4úXþ"6l4©žþSÿÅþSûyKþ<ýÅûÓýûÓþ`üG#Où0úXþ ½þœûØü6ÿ½ûÓþý ÿ@Xþ!ý!ë I4úXþ"Åþ+d ûØün]ÿý)ÁýÅúXþ¼XþýHÿ

4 þÊü ÿ%XþýMn I4úXþ"ÅþIl.Ä

h

ÅSÄ ÿ…]ÿÅý€)5dQÅgú]ÿƒüQ þ!þEþØÿþ˜ þÄ

h

Å2Ä°ÿ…tÿÅý€)ojnÅ8#Mù0úXþ

Xþ!ý~ëóûü4üÅÿ`ûRý˜]þMAB1tu”7R5"31GDE64>œý˜Úþý&n #

ù0úXûØüÆýúXþK6ú]ÿƒü(]þþ ÿ½ûÓþ6ý…üÏþLþ"7ÿ<ûXü})a@þý4ÅûXþ!ý7üj†ÿMKlTvýÅúXþ"7üj*(ØÿþKeýdÿ]ülûÓýû

Xþ!ý7üjMÿlvþ7ÿ`ûRSúXû'lƒú`BÓþLþ"SXþýdüjQÅþkKûRÿ`ýÅþe!ýdÿ]ülûÓýÅû'™Úþý7üGSjKKÅþ™Xþ!ý7üj#Ã$ŸýÅúÚþ!ÿƒüÏþg)

ÿlƒþ"7ÿ`ûRSXþýdüjýÅúÚþTMKXúÚûü. ü}ÿ˜ÿKþ`ü@ý4ØÿþÊüjƒý47ÿtüÏûÓýûK]ü ý4+ý47ÿ]üÏû½ýÅûK]ü0ÿOýÅúXþþ4ûü

ÿ%M4XúXûü&û)iK ýúXþ6ÿ'lƒþ7ÿ‰ûy}ü.]þ[û¤~ÿ`ýÅû'g)gÿXþ!ý0ýOýú]ÿ‰ý€)gýÅúXþbƒýÅúÚþ#Q$ŸÿKKûÓýûKýúXþ

MKXúÚûü. ]þý&IFþþ ÿ'lƒþdÿ‰ûyYÚþý7üS ]üÏý€]þGM]ÿ`ýÅû'Óþ<I4ûÓýúýúXþ%ÅþG`4ÿMüÏý&`&GKû½ýÅû']üG#

ïS ûÓý7ü6ÿ]üÏý47ÿ[ýXþ`üüj>ýúXûü}ýÅþk úÚûR¶XþlvþXþdÿÓûØüÏþ`ü6ülþLþ7ÿhvýÅûK]ü…)<Åþj~XþSþ<ý7üS)iHülþLþ7ÿ

<ûÚüd)da@þýûXþ!ý7üj#

$ŸHÿ<ûÓýÅû'(vûÓýiþ]ü.Åþ`ü.ýÅú]ÿ`ý*qKþPþý7ÿ`ûfjKûÓýûtüSÄ´û'Kþ]þ<þþʼný&ISBý7ÿ]üÀ)iKÿ`ýÅû']ü

ÿÅþ€j¼EXýdÿ‰ýûLþQÄ´ýúXþn½þ`ÿ6ýBýÅúXþFüÿSþQ NÅþkýjʼnU]ÿ7ÿÓþ"ý7ÿ]üÀ)iKÿ`ýÅû']üQğjKMXþ"Ký&`ŸI4ûØüÏþ

ÿÓûyÿ‰ýûK)Fý&IS2ýdÿ]üŸ)i4ÿ‰ýûtü=Å<ÿ!]þL<ûÓþIFþÿƒü6ÿSüÏþk¶”Xþ"þ%)Fýdÿ]üŸ)i4ÿ‰ýûtü}ÿ

L<ûRþG`ŸLþdüÅÿ #_›þLþ]úû39KKýdÿgüÏý4ý4Åû'l!ÄR)i]üÏû'(XûKÅ0ûØünjKM]ÿ‰ýû½þ%I4ûÓýÅú ýdÿ]üŸ)i.`

ÿ`ýÅû']üG#ˆo]ülûKEþMLþ`ü(E½ýÅû'ÓþQGXû½þ`üh).ýúXþBüÅÿSþ4ûÓýþ!I4úXû½þ_Xû' lÚþ`ü@ýKlƒþýúXþMý&IS

Xþ!ý7üS ÿœülú]ÿþü&]ÿÅý"#_$H)hIFþ… ÿþT~düÏý…ÿ ý47ÿ]üÀ)iKÿ`ýÅûKg)QXþ!ý&píÿýÅúXþ‘I0þn)i]ülû

ýúXþnÅþÊü.½ýÅûl…ÚþýqœI0þnKXý7ÿ`ûSýúXþ6üÅÿSþnK NÅþýFÿƒü0û‡)qI0þT~düÏý_ÿþBÿ…)i]üÏû'M)p ÿ2ýÅúXþ

ÿ2ýÅúÚþ+ý47ÿ]üÀ)iKÿ`ýÅûK(#Q$H)qI0þn ÿþBýÅúXþ%Xû'g)gý&ISfXþý7ü4ÿSýÅúXþ"@IFþ6ÿÿtÿ7ÿ½þ

ý47ÿtüÀ)i4ÿ‰ýûK(ˆIFþEKXý7ÿ`û–ýúXþüÅÿSþ NÅþýHÿvü+û¤)2I0þE~7üÏýHýdÿ]üŸ)i þ`ÿK ú™ÚþýHüÏþ]ÿ7ÿ`ýÅþ'

ÿSýÅúXþgÿþ}ýÅúÚþû€XûK(#

>‡ž Èə€Ê'G™"º ™"Š ‰ÌV» ³+r½™"–”Š½Ñ&»¼’”‹™AŠ¦™" s7—'™–€‹Ê'–jŽ"Š_‹‰A#Ÿ

^< NÅþý&`ŸKÅû½þKýþ6ü.]þû‡~ÿ`ýÅûK]ü.ú]ÿLþSL<ûüÏû'ÓþQ]ÿÅýdü ÿúXûyKþf]ÿý7üj#Mù0úÚþfKþj~XþBÿ`ýÅý4ÅûXýÅþ`üG

K NÅþý6ûRKþ"Kýû¤~]þdüjiüÏýdÿ‰ýþ`üOÿŒSþýÅú Xüj# ù0úXþMþj~XþþKýb)< NÅþký.`BûÓþ<ýÅþü.]þ[û¤~ÿ`ýÅû']ü

KþÊÿüQI4ûÓýú@ÓþüQÓû'þ*.ýÅúXþ%þ`üÏþ4Lvÿ‰ýÅû'g_ƒý_)‘ýÅúXþnL<ûülû½þn]ÿÅý7üGXýÅúXþbÿ]ÿlƒþþKýQ)

K NÅþý}ûyKþ<ýÅû¤~tþ7üGÆýúXþ2ý7ÿ]üÀ)iKÿ`ýÅû'™)BýÅúXþÿ‰ýýÅû'Xýþ`üjiýÅúXþ2ýdÿ]üŸ)i ÿ‰ýÅû'Œ)BýúXþSülý7ÿ`ýÅþ

ÿýÅúÚþMÅþÊüÏþ4Lƒÿ`ýÅû'Œ)…ýÅúXþ ]þú]ÿLKû'"#ù0úÚûüülþýûŒÅþ"mKÅýdüýÅúXþMþj~Xþ"Sþ<ýT)bo½^%^baSŽ

Ø

¿@Ó®¿@ӄU t!ubu ß=U

oh^…^baSŽþýÅþ!œïS4]ÿÿ0¢<KlXþû

sØ ÛuB»ûü6ÿgjjþ<ýn NÅþ[ý.`BÅû½þ<ýÅþü& þkû¤~`

ÿ`ýÅûK]üTØÿlK]ÿlvþœú]ÿL<ûl ÿŒ]þ7ÿ`ýÅû']ÿ0ülþÿKýûRüG#Âù0úÚþMoh^%^naSŽ¼ÿl]ÿlƒþ¼jÓþ`ÿ'<ûüÏýû`

lÚûüÏúÚþ`üd]þý&I0þ!þ Xÿ‰ýdÿþÓþ"Sþ<ý7ü.ÿJK NÅþýdüj*>ÿn)iýûK]ÿÓþ"LþKûØüh]üÏþ2ý˜<þ`üjû]þ…ÿ]ülý7ÿKý

Xÿ`ý7ÿSý&]þ`üÄ



 }ù4ü8ÅBÿÿŒ NÅþkýT½þLþ.ûØüT]üÏþk ý4gKþ`ü4jÅû' þ GÿƒüüÏþ`ü<)_K NÅþýdüj#6ù0úXþ˜)i=`

ýÅû']ÿÓþLþûØüMÿYLvÿÅûÿKýQ)h^bï_ÆKþG~Xþ M¢<lÚþ sÜ©ýyuB#h$°ý>þ]ÿÓþÊü‘ý4fKþj~Xþ…ü.KÅýdüj<ü. `lü&Åý

Åþ"ÿ‰ýûK]üj]þdÿ‰ýÅû']üGiÿ4]þýÅûÓþÊüÄýúXþK þ"7ÿ‰ýûK]ü}ú]ÿLþý üÅÿ‰ýûüŸ)i#}ù0úXþf NÅþ[ýT½þLþ.þ`

ÿÓþ`ü}ýœKþj~ÚþEM Óþ`üG»ûŸ#¥þ# üÏþýdü…)[jÿvüÅülþ`ü…)_ NÅþký7ünI4ûÓýú™L<ûüÏû'Óþ ÿúXûR<þþýÅú Úü

ÿÿ`ýÅý4ÅûXýÅþ`ü<Ä°ülý7ÿ‰ýþnLvÿ'Xþ`ü=ʼnK NÅþýMûRKþ"KýûÓý& ]ÿSûRSK NÅþý_GÅþ`ÿ`ýÅûKÿMKþ½þýÅû'(Lþ.`

†ÿKû'lK M4XúXûü&!ƒû'XúXþûÓý7ÿþ<I4ûÓýúMLþûRKû'l#



ýýÅû'Xýþ`üMÿÅþfKþG~XþSÿvü[K]þ7ÿ`ýÅûK]ü

)iK)ÿ˜ NÅþýiûR<þKýû¤~]þ".ý6ÿnLvÿ'Xþ#



ýýûXýþ`üiÿÅþ4û'¶Xû4n]þdÿ‰ýÅû']üG*>ýÅúXþ" …ƒýhXÿ`ýÅþ

ýÅúÚþ4üÏýdÿ‰ýþT).ÿ˜ NÅþ[ýƒýúXþ%'þý4ýúXþ_LvÿÚþ_)YýÅúXþÁüÏýdÿ‰ýÅþ©#Q›þýÅú Úü>ÿþ_Xÿ‰ýûl%]þ&`

ÿ‰ýûK]ü0ÿvüÅü. [ûÿ‰ýþSý2ÿÿ‰ýýÅû'Xýþ#Mù0úXþû'd]þútÿkL<ûK0ûØü0ü& þkû¤~]þkEI4ûÓýúÿ·<ûKü>ûKûyÿ‰ýûl6ýúXþ

XþIÈLƒÿXþ%)i}ýúXþOÿ`ýÅý4ÅûXýÅþHýM]þÚÿ‰ýÅþk#}ù0úXþHþLvÿ']ÿ‰ýû!)FÿESþ!ýÅú ûüBÿ‰ýKSûRnÓþ`üü

ýÅúÚþSþýú M]þú]ÿLKû'…ûüBü.]þû‡~]þSû ýÅþ4üS)QvýÅúXþ"n]þdÿ‰ýÅû']ü<]üÏû'lMSþýú gj Xû'Xþ7üG#



ü.]þû‡~ÿ`ýÅûKûü4ÿM Óþ#

ù0úXþ KþG~XûÓýûK!)_þj~Xþ"Sþ<ý4ûŒoh^…^baSŽXþOý4ïSK]ÿÿ-¢<KlXþ

sØ Ý

Ø"ò

uŸ»ûØüT]ÿvüÏþ!

ýÅúÚþTvýÅû' )<6£8š6G1GFRDE6GuAMÿÄvmxwÅi`7"FRD˜Z;‡tABFR3uE)iÿ6ülý7ÿ‰ýþn OÿƒýÅúÚþ4ülý7ÿ‰ýþ#



2þ· þ"ÅûþKý

ûü}ýúXþOû L ÿ‰ýûK)BÿŒsF¤7"FR•j;6¼]þ7ÿ`ýÅû'ŒI4ûÓýÅúPÿ4XûÓý47ÿÿ4lþKýdüÄHK NÅþý6ûR<þKýû¤~]þ"7üBÿ

þ½þSþ<ý7üT)



 }ù4ü=ʼn#



LKûØüÏû'ÓþMK]þ7ÿ`ýÅûKûüOÿ!LKûØüÏûÓþÿ‰ýÅý4Åû'XýÅþ©Mÿ‹L<ûülû½þESþ!ýÅú hK2ÿ

NÅþký˜jþ`ÿ‰ýûKÿÃKþ"ÓþýûŒKXýÅû'Xþ#!$Ÿ)iKÿ'tÁ7ÿüÏýdÿ‰ýþzy ûØüOüÏû Øÿ‰ýÅþkPÿülý7ÿ‰ýþ7{

û¤)½I4ú]ÿ‰ýþLþbÿ!]þK]üÏþ"Lþgg]þ.)iKSû'l2þ·]þûSþ"KýdüdI4ûÓýú{¬ÿÿü&M]þ˜]ülþLþg

]þ.)iKSû'l6ýÅúXþ…üÅÿSþBþ·]þûSþ"Kýdü}I4û½ýÅúyf#›Â!$ŸMvýÅúXþ"SISK8XüGJÁ4I0þ%ÿvý_KþýþýQI4úXþýúXþ{

yíûüT]þû'lg]üÏþk#›Âù0úÚûü}ûMÓûÓþÊü ýÅútÿ‰ýHÿ'>þ· þ"ÅûþKýdüd)Cþ`ÿƒülû½þI4û½ýÅú6y ]üÏý<]þx)CþÊÿƒüÏû'Óþ

I4ûÓýú{õÿ! ]üÏý_<ûÓþySýÅúXþ üÅÿþÅþÊü.½ý7üj#bOTI0þLþ"|{¬ÿÿ'I¹MKÅþ6þ· þ"ÅûþKýdü ýú]ÿ

yf#

ù0úXþ ]þdÿ‰ýÅû']ÿBüÏþ ÿ<ýÅûR!üT)Äÿoh^…^baSŽü& þkû¤~!ÿ‰ýÅû'}vûü%lƒûLþ"!ÿý7ÿ]üÏû½ýÅû'™þÿ`ýÅûK

1=~€AXyü0‚ˆÄvÅDƒXyü0‚ˆÄvʼn”I4úÚþÅþZZ•ü-‚qÄSvÅiûühÿ<þ_)iÿtÿ‰ûdü_Ä òz©ky%Å8òBÿœþ· þ`üÅülû§ ûB#¿þ#'

ÿ jM†üÏûÓýûKM)Mþ"·]þûSþ<ý7üGÿzy$ÿ2üÏýdÿ‰ýþ#

¢BûLþOý&I€˜oh^…^baSŽ ü.]þû‡~ÿ‰ýûK]üvOÿwKü&7úœýú]ÿ‰ýÁÿ]þ· ]þÅû'Sþ<ý7üiÿ NÅþýMûyKþ<ýÅû¤~tþ7ü

¢BûLþOý&I€˜oh^…^baSŽ ü.]þû‡~ÿ‰ýûK]üvOÿwKü&7úœýú]ÿ‰ýÁÿ]þ· ]þÅû'Sþ<ý7üiÿ NÅþýMûyKþ<ýÅû¤~tþ7ü

Dans le document Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne (Page 22-96)