Coquand [7 ] and Hallgren [13 ] with a testing tool similar to QuickCheck. The .... the homepage http : // www . cs . chal m ers . se /~ r j m h /Q uickCheck / .
"!#$% &')(*$%+-, ./ 0( 1024352 6.798;:=2 6@?BA9CEDGF&H9DICE8JDGK?LDIKNM OPDGQGFI35FRSDIQJ2 8;DITUD fSVXp;WZY\[ qj[4`a~J]_^>4W5`a]>rtWZ bcsXa^bJd ijuvegd
W5^>fS]>W5r_Ld iw`a^yd x/]>Y;kJd hJoLe{^>lIijz|SbJWZkaWm}Jp;lGWZb;m5b ind W5qjb;d@k mZW@xcoo I@c@@{yG@@|\4G I ccv|_4IvZ;@JB_ >^eE d pJ]¡{WZd ]}¢Z]_[ £Zxb;¤4¥\Jt¦ d iw£@`)^>§p^>¨[XWZr«`aW0^>ijdIW5b;©IJk9^>iw¯\WZd b\WZe|ªeEh;^>uvbJp;W5m5WS]>^>r_YJijijd@d@]>b\bdc[ d d q=eLeBYJ[ fS]>r_r_d@qn[ ijk r«WZ]}^}r_[ [ r_`abcW5^Sb°rZ¬¶G[ ·yb\kvbJ^>[v±p;® ij¬h;rSk qw0ep;[[ZWZx/eErZd ² ]SS^>dcJWXd@WZmZq=YLd ³XW5`b\hJJJijmµinW5bJ´JbIWfS^B^>^yp;xGWZW5r«YLmµ^_´ W ¸ ij[ b;b\k°[ r_b;YLUWZm5YJij¯;]>d4muI[ ^>inbJijd kb;r¼inb¹Ld W5b;e»d W]>W.r«xJ[r«^>YJW5]>`&dcd ¶=ez|inWZr¼r«^>[4ij^_b;^>kWZ`aijrºYJ^>hJWr_=W&¶J½;e»hJd ]ª]_^>JpJWZW5J]>`ah;k@d k ]>ijW@b;ockSYJW.]>Jd WZk `a]}[ d `abJr¸ ^>r«G^_WZW5]}r«¯\[4^>bJij^>bJWWk*cr_ijxUb;hJr_W5ij^}in©JJ[ [ W;`aqj¬W&YJk@qnr_;W9hJ[@;p;® k@d¬d@¾[ qwe»qj[G^>rZWZ¶¶Sr«¨ ¿X^>ijbJW¼hJk]9mZ[ m^>bdc[ b*d@^>qtp;LWµh;W9]>r_W5WZh;e»rd r_]>W^>WUWZr«hJ^}]>r_WZ;WtYL[4^>W^}pJ[*[4W^>Wk ^yJWZxGb;qwYLx*W5W]}J[4r«hGxG^>d ]>r«in]>^>bJrWZk°`ÁtYGpJ^>]>dªijdcmµd YJpÀeg]>d4[ e»uvd ]>WW] ^>YGWZ]>r«d@^¼YLmW5[ ]_^>r_ijWZWZr¼rm[ [ Lb&d@hGijb;^gJ^>WZpJWWZ/`&LovWºijbak@W5Y\b;[4W5]_]}^>[4ijmZ^>h;WNqn[ ¶ ]0r_hJ]«W5m5^>ijuGiw^Ãxr«^}[ ^>ijbJk^>p;[ ^S[ qjq\YLd@r_r_ijJqnW Ä Å;ƼÇLÈ=ɪÊ9ËÌ|Ç=Í>É¼Æ Î TUDICEKÐÏJFJDIÑFIÒª35Ó=2Ô35Ó=2 FJ6µ2 TÖÕN6µFc×\CEK=ÏÙØ4FJT&T/Ú=K=CÛ3>8ÜCEÝ/3µFÀÚNݵ2ÔÕ=65F\FIÒDGÝ5ݵCEÝ}35DGKJ3ZÝaÒÞFJ6 Õ=6µFLMLÚBØ4CEK=ÏØ FG656µ2@Ø3ºÕ=65FGÏG6ZDITUÝ ßJHFcà2 ×G2 6@?;CÛKݵÕ=Cn352FIÒáÒâDJÝ>352 6X3>8\ÕB2 ã«ØZÓN2 ØZQG2 65Ý ?;TFJ6µ2DIÚ=ã 3µFGTUDI3µC»ØÕN6µF\FIÒã_ݵ2 DI6ZØZÓ? :B2 3}3µ2 6CÛK;352 6µÒâDGØ42@Ý ?vÑ»DI65ÏG2 6gÑECÛ:N65DG6µCE2 Ý ? ÕN6µFc×\CEK=ÏÕ=65FGÏJ65DGTUÝáØ4FJ6µ652 Ø43 CEÝ.Ý}3µCEÑEÑ{×G2 658U35CÛT&2Ø4FJKNݵÚ=T&CÛK=ÏB?=DIKNM*652 ä;Ú=CE6µ2@ݺÏG652 Dc3ªÝµQ;CEÑEÑ{FIÒS3µÓ=2aÚNݵ2 6@ß Rá2@Ý>35CÛK=ÏÓNDJÝFIÒ352 K&:|2 2 K¹M=CEݵ6µ2 ÏJDG65ML2@M:\835Ó=2º3µÓN2 FG652 T Õ=65Fc×;CEK=ÏØ4FJTT°Ú=K=CÛ3>8°ÝµCÛKBØ42G? DGÝ/79C Q\Ý}3µ6ZDP2 T&Õ=ÓNDGݵC»Ý}2@M{?á352 Ý}3µCEK=ÏÀØ DIKÐFJK=ÑE8ÜݵÓ=Fcà3µÓN2ÔÕ=652 ݵ2 KNØ 2ÔFGÒ.2 656µFJ65Ý ?K=FG3/3µÓN2 DI:Nݵ2 KNØ 2FIÒá35Ó=2 T ß|H.FcàX2 ×G2 6 ?J3µ2@Ý>35CÛKNÏUCEݺFGÒ0Ø FGÚ=6ZÝ}293µÓN2aT2 3µÓ=FLM ÚNݵ2 M CEK ÕN65DJØ3µC»Ø42Jå OFJÝ}3g652 ݵ2 DG65ØZÓaFJKa3µ2@Ý>35CÛK=ÏÓNDJÝgØ FGKNØ 2 65K=2 MCET&ÕB2 65DI3µCE×G2XÕ=6µFJÏG6ZDITUÝ ß H.FcàX2 ×J2 6@? DIK/CÛKLã 3µ2 652 Ý}3µCEK=Ï35F;FJÑæA9Ú=C»ØZQNçÓ=2 ØZQ/ÒÞFG6t6ZDIKBMLFGTè3µ2 Ý}3µCEK=ÏFGÒæÒÞÚ=KNØ35CÛFJKNDIÑ|Õ=65FGÏJ65DGT&ݺéâàª6µCÛ3}352 K¹CEK 3µÓ=2ÑEDGê 8ÒÞÚ=KNØ43µCEFGKNDGÑæÕ=6µFJÏG6ZDIT&T&CÛKNÏaÑEDGK=ÏGÚNDGÏG2H9DGݵQG2 ÑÛÑëÓNDJݼ652 Ø 2 K;3µÑE8&:B2 2 KÔM=2 ×G2 ÑÛFJÕB2@M :;8 çÑEDG2 Ý5Ý}2 K*DIKBM*HÚ=ÏGÓ=2@Ýaì ícîyßLïÁCÛ3µÓ 35Ó=CEÝX35F\FGÑy?=Ø4FG65652 Ø35K=2 Ý5ÝXÕ=65FGÕ|2 6µ3µCE2 ÝXFIÒgÒÞÚ=KNØ35CÛFJKNDIÑ Õ=6µFJÏG6ZDITUÝØ DIK2@DGݵCÛÑE8:B2XØZÓ=2 ØZQJ2 MÒÞFG6S6ZDIKNMLFJT&ÑÛ8ÏG2 K=2 6ZDc352 MCEK=Õ=ÚL3ZÝ ßcðtñ\Õ|2 65CE2 KNØ 2¼Ý}ÓNFcà.Ý 3µÓNDI3ª3µÓ=C»ÝªC»ÝªD°ÚBÝ}2 ÒÞÚ=ÑT&2435Ó=FLM ÒÞFG6.ML2 :=Ú=ÏGÏJCÛKNÏ°Õ=65FGÏJ65DGTUÝì òcî«ß ó.2 ×J2 6µ3µÓ=2 ÑÛ2@ÝµÝ ?áT&C»ÝµÝµCEK=ÏP6ZDI652ÔØ4FJÚ=K;3µ2 6524ñ=DGTÕNÑÛ2@ÝaCEÝ°Ú=KNDJØ Ø 2 ÕL3ZDI:=ÑE2¹ÒÞFJ6°Ø42 6}3ZDICEKDIÕ=ã Õ=ÑÛC»Ø DI3µCEFGKNÝ ßáôNÚ=6}35Ó=2 65T&FG652G?KNFI3°DGÑÛÑXØ4FG65652 Ø35K=2 Ý5ÝÕ=65FGÕ|2 6µ3µCE2 ÝÓNDv×J2¹DPMLCE6µ2@Ø35ÑÛ8Ù3µ2 Ý}35DG:=ÑE2 ÒÞFG65T ßNõLCÛKNØ 2a:BFG3µÓ 3µ2@Ý>35CÛKNϹDIKNM Õ=65Fc×\CÛK=ÏÓNDv×J235Ó=2 CE6.FG:\×\CEFGÚNݺݵÓ=FG6µ35Ø FGT&CÛKNÏJÝ ?;CÛ3.àXFGÚ=Ñ»M :B2aCEK;3µ2 652 Ý}3µCEK=Ï&35F¹Ø4FGT°:=CEK=23µ2 Ý}3µCEK=ϹDGKNM Õ=6µFc×\CEK=ÏCÛK FGKN2Ý}8LÝ}3µ2 T ßNRºÓN2aCEML2@DCEݺ35FUÚNݵ2 3µ2 Ý}3µCEK=Ï*3µF ML2 :=ÚNÏ*Õ=65FGÏJ65DGTUÝ.DIKNMÀÝ}Õ|2 Ø Cnö|Ø Dc35CÛFJKNÝ9:B2 ÒÞFG652°D¹ÕN6µF\FIÒtC»ÝDc3µ3µ2 T&ÕL352 M{ß{ôNÚ=6}ã 3µÓ=2 6µT&FG652G?0àX2Ø DIK÷ML2 :NÚ=ÏøÝ}Ú=:NÏGFJDGÑEÝ°àªÓ=C»ØZÓùFLØ Ø4Ú=6UMLÚ=65CEK=ÏÜÕ=6µF\FGÒ>?0DGKNMùà2Ø DGKùDGÑEݵF :NDIÑ»DIKNØ 2Ø FJÝ}3DGKNMÙØ FGKLö|ML2 KNØ 2°:\8 352 Ý}3µCEK=ÏDGÝ5Ý}Ú=T&ÕL35CÛFJKNÝ9CÛKNÝ}3µ2@DGMÀFIÒ¼ÕN6µFc×\CEK=ÏNß|ú«3aT&Dv8
DIÑ»Ý}F*:B2&CEKJ352 652 Ý}3µCEK=Ϲ35FÝ}8LÝ}3µ2 TUDI3µC»Ø DIÑEÑE8 Ý}3µÚBML8 3µ2@Ý>35CÛK=Ï T&2435Ó=FLM=ÝCÛKÀ3µÓN2Ø FGK;3µ2 ñ;3FIÒXD ÒÞÚ=ÑÛÑÛã N2 MLÏJ2 M ÑEFGÏGC»Ø9FIÒSÒÞÚ=KNØ35CÛFJKNDIÑáÕ=6µFJÏG6ZDITUÝ ß RáF 35Ó=CEÝ2 KNMÜàX2UÓNDv×G2&2 ñ;352 KNM=2 M%3µÓN2¹Õ=65F;FGÒºDJݵݵC»Ý>3ZDIK;3 Î ÏJMND Î ÑnÒâD ML2 ×G2 ÑÛFJÕB2@MÀ:\8 çF\ä;ÚNDGKNM÷ì vî¼DIKNM%HDGÑÛÑEÏG652 K¾ì cîàªCÛ3µÓøD*3µ2 Ý}3µCEK=Ï 35F;FJÑtÝ}CET&CÛÑ»DI635FÙA9Ú=CEØZQNçÓ=2@ØZQæßæRºÓN2 Î ÏJMND Î ÑnÒâD ݵ8\Ý}3µ2 T C»ÝDIK%CÛT&Õ=ÑE2 T&2 KJ3ZDc35CÛFJKÀFGÒXD ÑÛFJÏGC»Ø DGÑgÒÞ6ZDIT&2 àFJ6µQ ÒÞFG6OÙDI6µ3µCEKLã FIÒ 3>8;Õ|235Ó=2 FJ6µ8Jß ú_K;3µÚ=CÛ3µCEFGKNCEÝ}3µC»ØtÑEFGÏJCEØ0C»ÝáDv×cDICEÑ»DI:=ÑE2×\CEDº35Ó=2ºçÚN6µ658;ã«HFcàXDG65M9Ø4FG65652 ݵÕBFJKNML2 KBØ42 :B2 3>à2 2 KÕ=65FGÕ|FJݵCn35CÛFJKNݪDIKBM 3>8;Õ|2 Ý ßNOPDG6}35CÛK=ã FIÒS3>8;Õ|2a35Ó=2 FJ6µ8*CEÝ.DGÑEݵF¹D&Õ=65FGÏJ65DGTT&CEK=Ï ÑEDGK=ÏGÚNDGÏG2aàªÓ=C»ØZÓPØ DGK:B2°:=65CÛ2 N8 M=2 Ý5Ø465CÛ:|2 MDJÝD&ÒÞÚ=KBØ3µCEFGKBDIÑáÕN6µFJÏG6ZDIT&T&CÛK=ÏUÑ»DIKNÏGÚNDGÏG2 àªCn35Ó¾M=2 Õ|2 KNML2 K;3¹3>8\ÕB2@Ý ?tàªÓN2 652 DGÑÛÑÕ=6µFJÏG6ZDITUÝ°3µ2 6µT&CEKNDc352GßtRg2 65TCEKNDI3µCEFGK¾CEÝ&2 KNݵÚ=6µ2@M :;8UFJK=ÑE8¹DIÑEÑÛFcàªCEK=Ï&Ø42 6µ35DGCÛK*6µ2@Ø4Ú=6ZݵCÛFJK¹ÕNDc3µ3µ2 6µKNÝ ß 96µCEÏGCEKNDGÑÛÑE8&FGK=ÑE8¹Ý>356µÚBØ3µÚN65DGÑ|652 Ø Ú=6ZÝ}CEFGK Fc×G2 6ªàX2 ÑEÑÛãÃÒÞFJÚ=KNML2@MM=Dc3ZDc3>8\ÕB2@ݪàºDGÝ.DGÑÛÑEFcà2@M{?=:=Ú=36µ2@Ø42 KJ39àFJ6µQ¹FJKÕNDc3µ3µ2 6µKTUDc3ZØZÓ=CEK=Ï àªCn35Ó%ML2 ÕB2 KNML2 KJ33>8\Õ|2 Ý&ì IîtDIKNMP3µ2 65T&CÛKBDc3µCEFGK%ØZÓ=2 ØZQ\CEK=ÏÀì cîÓNDGÝ24ñ\352 KNML2@M35Ó=2UØ4Ñ»DGÝ5Ý FIÒgÕN6µFJÏG6ZDITUݺDGØ Ø 2 ÕL352 M*:\8U3µÓ=2ݵ8LÝ>352 T ß=RºÓ=2 6µ2C»ÝªDIÑ»Ý}F&D&Ý}CEÏGK=CÛöBØ DIK;3.DIT&FGÚ=K;3ªFIÒSàFJ6µQ FGK&3µÓN29ä;Ú=2 Ý}3µCEFGK&FGÒæÓNFcàù35F652 DGݵFGKUDG:BFJÚL3¼ÏG2 K=2 6ZDIÑN6µ2@Ø4Ú=6ZÝ}CE×G2ºÕ=65FGÏJ65DGTUÝ0CÛK¹ML2 ÕB2 KNML2 KJ3 3>8;Õ|23µÓN2 FG658Gß=ôNFG6.ݵFGT&26µ2@Ø42 KJ3.Ø FGK;3µ65CÛ:NÚL3µCEFGKNÝX35F3µÓ=C»ÝªÕ=65FG:=ÑE2 T ?=ݵ2 2 XFc×G2&ì Iîyß Î ÝÔD%öB65Ý}3*Ø DJÝ}2ÀÝ>35ÚNML8÷à2ÙDG6µ2PM=2 ×G2 ÑÛFJÕ=CEK=ÏÐDøØ42 6}35CnöN2@M¾ÑÛCE:=6ZDI658FGÒaØ ÑEDJݵݵC»ØM=Dc3ZD Ý>356µÚNØ43µÚ=652 Ý9DIKNMÙDIÑEÏGFG65CÛ3µÓ=TUÝ ßBRgF¹CÛÑEÑEÚNÝ>3565DI3µ2°FGÚ=63µF\FGÑSà2Ø4FJKNÝ}C»ML2 6.3µÓN2°Ø4FJ6µ652 Ø43µK=2@ݵÝ.FIÒ Ý}FJT2°Ý}CET&Õ=ÑÛ2°Ý}2@DI6ZØZÓÔ356µ2 2/DIÑEÏGFJ6µCÛ3µÓ=TUÝéÃÝ}2@DI6ZØZÓDIKNM CEKNݵ2 6µ3µCEFGK CÛKÙ:=CÛKBDI658*ݵ2 DI6ZØZÓ 3µ652 2@Ý DIKNM Î ãÃ356µ2 2 ÝZëß Î Ý CDIKNM 1tÒÞ2 K=KNCÛK=Ï)ì cîÓNDv×G22 TÕNÓNDGݵCÛê 2 MÁCEKÁ35Ó=2 CE6*àXFG65QFJK 79O )éâ792 Õ|2 KBML2 K;3O gë4?|M=2 Õ|2 KNML2 K;33>8\Õ|2 ÝDI652ÚNݵ24ÒÞÚ=ÑSÒÞFJ692 ñ\ÕN6µ2@ݵݵCÛKNϹCÛK\×cDI65C»DIK;35ÝFIÒ Ý}ÚNØZÓÜM=DI35DÝ}3µ65ÚNØ35Ú=6µ2@Ý ß 9ÚN6aÏGFJDGÑEÝݵÓ=FGÚNÑEM%:|2¹Ø4FGT&ÕNDG6µ2@M35F 3µÓ=F;Ý}2&FIÒ 9QcDGÝ5DIQ\Cy?|àªÓNF CEÝ.Ø Ú=656µ2 KJ35ÑÛ8 ML2 ×J2 ÑEFGÕ=CEK=ÏUð¼M=CEݵFGK ÔD&ÑÛCE:=6ZDI658ÔFGÒS2 UØ CÛ2 K;3ªÒÞÚ=KNØ35CÛFJKNDIÑSM=Dc3ZDUÝ>356µÚBØ3µÚN6µ2@Ý àª6µCÛ3}352 K CÛK HDJÝ}QJ2 ÑEÑtì cî«ß 9QcDJݵDGQ;C|ÚNݵ2 ÝA9Ú=C»ØZQNçÓ=2 ØZQ35F°352 Ý}3.Ó=C»ÝºÕ=6µFJÏG6ZDITUÝ ?JDIKBM*DGÑEݵF CÛKNØ ÑÛÚBML2 Ý9A9ÚNCEØZQNçÓ=2@ØZQ&3µ2 Ý}3M=DI35DÏG2 K=2 6ZDc35FG6ZÝt35FU:B2aÚNݵ2 M CEKDIÕ=Õ=ÑEC»Ø Dc35CÛFJKNÝXFIÒ0Ó=C»ÝªM=Dc3ZD Ý>356µÚNØ43µÚ=652 Ý ß¼ï%2ÙDGCÛT 3µF:=Ú=CEÑEM DGK DIKNDGÑÛFJÏGFJÚNÝ&ÑÛCE:=6ZDI658ÐÒÞFJ6¹3µÓN2 Î Ï;M=D Î ÑÛÒâDøÝ}8LÝ}3µ2 T ? àªÓ=2 652.àX29Ø DGK¹ÚNݵ2ML2 ÕB2 KNML2 K;3X3>8\ÕB2@Ýt35F°Ø DGÕL3µÚN6µ2.T&FJ6µ2.CEK\×cDI65CEDGKJ3ZÝtFGÒ{3µÓ=2DIÑEÏGFG65CÛ3µÓ=TUÝ ? DIKNM*2 ×J2 K Õ=65Fc×;C»ML29ÒÞÚ=ÑEÑáØ4FJ6µ652 Ø43µK=2@ݵÝXÕ=65F\FIÒâݺàªÓ=2 K=2 ×J2 6X3µÓ=C»ÝªC»ÝºÒÞ2 DJÝ}CE:=ÑE2Gß RºÓ=2C»ML2 DÔFIÒtØ4FJT/:=CEK=CEK=ÏÔÕ=65Fc×\CÛKNϹDIKNM 352 Ý}3µCEK=ÏÔC»Ý9DGÑEݵFUÕNDG6}3FIÒ03µÓ=21t65FGÏJ65DGT&DI3µC»Ø D Õ=6µFG2 Ø43&Ø Ú=6µ652 K;35ÑÛ8øÚ=KBML2 6UML2 ×G2 ÑEFGÕNT2 K;3UDI3 9652 ÏJFGK 6ZDGM=ÚNDc352ç2 KJ356µ2 ì Iîyßtõ\FJT&2 2 DI65ÑE8ÙàXFG65QÙFGKøØ FGT/:NCÛK=CEK=ÏPÕN6µFc×\CEK=ÏDIKNM%352 Ý}3µCEK=ÏPàºDGÝMLFJK=2¹:\8ÜHDv8JDJÝ}ÓNCÃ?{àªÓ=FÙÚNÝ}2@M 3µ2 Ý}3µCEK=Ï35FPML2 :NÚ=ÏPÑE2 T&TUDGÝaàªÓ=CEÑE2ÔMLFGCEK=ÏÕ=65F\FIÒâÝaCEKøÓ=C»Ý1 ã«Ýµ8LÝ>352 T ì Iî«ßáHDv8;DGݵÓ=CCEÝ Ø4Ú=656µ2 K;3µÑE8ÕNÚ=65ݵÚ=CEK=Ï°3µÓ=2CEM=2 D°FIÒ352 Ý}3µCEK=Ï°ÕN6µF\FIÒâݺDGKNMU35Ó=2 FJ6µ2 T&ÝCEK*Ó=C»ÝÒÞFGÚ=KBM=Dc35CÛFJKNDIÑEÑÛ8 FG65CÛ2 KJ352 M/Õ=6µFG2 Ø43SFJK }ÕN6µF\FIÒNDGK=CET&DI3µCEFGK ì @ívî«ß Î {ã«CÛKBÝ}2 6}35CÛFJKÓNDGÝS:|2 2 K°CET&Õ=ÑÛ2 T&2 K;3µ2@M DIKNM*Õ=65Fc×G2 K Ø4FJ6µ652 Ø43XCEKÙçFLäU:\8 çXDc35Ó=2 65CÛKN21DG6µ2 K;3ì Iîyß
"!
#
'&
(
*
)
%$
)%+
tú_K°õ\2@Ø35CÛFJK ºà2CÛK;356µFLMLÚNØ 2XA9Ú=C»ØZQNçÓ=2 ØZQæß4ú_K°õL2 Ø35CÛFJK ªàX2¼CEKJ356µFLMLÚBØ4235Ó=2¼Õ=65F\FIÒ GD Ý5Ý}C»Ý>3ZDIK;3 Î ÏJMND Î ÑnÒâDNß\ú_K õ\2@Ø35CÛFJK à22 ñ;352 KNM Î Ï;M=D Î ÑÛÒâD/àªCÛ3µÓDUA9Ú=C»ØZQ=çÓN2 ØZQ;ãyÑECEQG2 3µF\FGÑyßIú_K¹õ\2 Ø43µCEFGKÔí9àX2.MLCEÝ5Ø4ÚBݵÝ0352 Ý}3¼Ø DJÝ}2ªÏJ2 K=2 65DI3µCEFGKßvú_KÔõ\2@Ø3µCEFGKUòàX2ªÝ}Ú=T&TUDI65CEê 2ªFGÚN6 24ñLÕB2 6µCET&2 K;35ÝgàªCÛ3µÓ°DGÑÛÏJFG65Cn35Ó=TUÝ{ÒÞFJ6áCEKNÝ}2 6}35CÛFJKCEK Î {ãy3µ652 2@ÝáDGKNMaCEÑÛÑEÚNÝ}3µ6ZDc3µ2Ó=FcàÜ3µ2@Ý>35CÛKNÏ Ó=2 ÑEÕNÝM=Ú=6µCEK=ÏUÕ=65F\FIÒtML2 ×G2 ÑEFGÕNT2 K;3 ß=ú_KÙõ\2@Ø35CÛFJK à2a:N6µCE2 N8 ML2@ÝµØ 6µCE:B2aÓNFcà Î ãÃ356µ2 2 CÛKNݵ2 6µ3µCEFGKUØ DIK&:B2ªCET&Õ=ÑE2 T&2 K;3µ2@M&:\8/ÚNݵCÛKNÏML2 Õ|2 KNM=2 K;3t3>8\ÕB2@Ý ?JÝ}F35ÓNDc335Ó=2ª3>8\ÕB2.ݵ8LÝ>352 T 2 KNݵÚ=652 ÝX3µÓBDc3ª3µÓN2aCÛKNݵ2 6µ3µCEFGK Õ=652 ݵ2 65×G2@Ý3µÓ=2 Î ãÃ356µ2 2ÕN6µFJÕB2 6}3>8JßNõ\2 Ø43µCEFGK UØ4FJKNØ4ÑEÚNML2@Ý àªCn35ÓÐD*:N6µCE24ÒªMLC»ÝµØ ÚNݵݵCEFGK%FIÒXÒÞÚ=6}35Ó=2 6/6µ2@Ý}2@DI6ZØZÓß Î Õ=Õ|2 KNM=Cnñ Î Ø4FJKJ3ZDICEKNÝaݵFGT&2¹HDJÝ}QJ2 ÑEÑ Õ=6µFJÏG6ZDITUݼÒÞ6µFJT õ\2@Ø3µCEFGK Lß ,-/. 0 1
2
3
$
4
6
5
6
Ôï%2*àªC»Ý}ÓÐ3µFP35ÓNDIKN Q F\2 K÷çÑEDG2 Ý5Ý}2 KÐDIKNM GFJÓ=KH.ÚNÏGÓ=2@ÝÒÞFJ6 T&DGK\8ÔMLC»ÝµØ ÚNݵݵCEFGKNÝ ß Ë͵ Ì !#"áÌ RºÓ=2a:NDGݵC»Ø9C»ML2@D°FGÒtA9ÚNCEØZQNçÓ=2@ØZQUCEÝX35F&3µ2 Ý}3.àªÓ=2 3µÓ=2 6.D°:|F\FGÑE2 DGK*Õ=65FGÕ|2 6µ3>8 0
-
0
1
&$ %('*)*+-,,,.+/' 0 132246557 CEÝ98: ;63ZDIKNØ 2 ݺFIÒS3µÓN2a×vDG6µC»DI:NÑÛ2@Ý '=)>22/?*)*+-,,,.+/' 0@22A? 0 ßéâRºÓN2 K=FI3ZDc3µCEFGK T&2 DIKBÝ03µÓNDI3¼35Ó=2.24ñLÕ=652 Ý5ݵCÛFJK TUDv8°Ø FGK;35DGCÛKUFLØ Ø Ú=656µ2 KNØ42@Ý0FIÒ 3µÓ=2ÒÞ652 2×v$&DG6µ%(C»'=DI)*:N+BÑÛ2@,Ý ,'=,.)*+C'.+ 0 , 1 ,,.+C' 0 ßJRºÓ=26µ2@DGML2 6C»ÝXàXDG6µK=2@M¹$ K=FG335FØ FGKLÒÞÚBÝ}23µÓNCEݺK=FG35DI3µCEFGK àªCn35Ó H9DGݵQG2 ÑÛÑED ݺÑEC»Ý>3.K=FG35DI3µCEFGKåwë
ô=FG6ª2 ñ=DIT&Õ=ÑE2G?LCÛÒSàX2àªCEÝµÓ 3µF3µ2@Ý>3ª35ÓNDc3
: _ 8;Õ|2 Ýàª65Cn3µ3µ2 >K I ' 22 ] M & _ væ? àªÓ=2 6523µÓ=23>8\Õ|u2 vÔTUDv8ÔML2 Õ|2 KBM*FJK ' 22 ] ß Î ÏJMND Î ÑnÒâDDIѻݵFÓBDGݪML2 ÕB2 KNML2 K;3.652 Ø FG6ZMU3>8\ÕB2@ÝéâݵCEÏGKNDI3µÚ=652 ÝZëàª6µCÛ3}352 K 5
%+ +!
&
(
)
G ^)(* '=)>22 ] ),+/'.-322 ] -/+-,,,0+ '.0 22 ] 021
àªÓ=2 652 ] - TUDv89ML2 ÕB2 KNMFGK '=) 22 ] ) DIKNM ] 0 TUDv89M=2 Õ|2 KNMFJK 2435ØGßNðtÑE2 T&2 KJ3ZݺFIÒ0Ý}CEÏGKNDI3µÚ=652 ݪDG6µ2Ø DGÑÛÑE2 M Ý}3µ65ÚNØ35Ú=652 ÝXàª6µCÛ3}352 K
'=)J2 2 ] )+ ' - 22 ]
GcW : ; a W * =' ) N-< ),+/'.- NY< - +Y, ,, +/' 0 NY< 021 õ\CÛÏJKNDc35Ú=652 Ý DI652ÀT°ÚNØZÓ ÑECEQG2ÜCn352 6ZDc352 M/ãy3>8\ÕB2@Ý DIKNMÜÝ}3µ65ÚNØ35Ú=6µ2@ÝDI652T°ÚNØZÓÜÑÛCEQG2&CÛ3µ2 65DI3µ2 MÙ3µÚNÕ=ÑÛ2@Ý I[8\Õ|2 w 8;Õ|2 Ý°DIKNMÜݵCÛÏJKNDc35Ú=652&3>8;Õ|2 Ý ß Î :NDGݵCEØ&2 ñ=DIT&Õ=ÑE2UCEÝ3µÓ=2Ôݵ243°FIÒªKNDc35Ú=6ZDIÑtK\Ú=T°:B2 65Ý ßú«35Ý ML24öNKNCn35CÛFJK CEK Î Ï;M=D Î ÑÛÒâD°C»Ý
g]W ] B] W N8\ÕB2@Ý ?æݵ2 2ÒÞFJ692 ñ\ã DIT&Õ=ÑE2935Ó=2ML2 öNK=CÛ3µCEFGK FIÒ Î {ãy3µ652 2@ݺCÛKPõ\2@Ø3µCEFGK \ß 9RºÓ=2a652 DGM=2 6ªC»ÝªàXDG6µKN2 MÔ3µÓNDI3.3µÓ=2M=2 Õ|2 KNML2 K;3.3>8\ÕB2a35Ó=2 FJ6µ8*Ø4FLML2aÏGCE×G2 K*ÓN2 652 CEÝK=FI39DJØ Ø 2 ÕL352 M ×G2 6µ:BDc3µCET :;8*3µÓN2 Î Ï;M=D Î ÑÛÒâDUÝ}8LÝ}3µ2 T ?|DIÑÛ3µÓ=FJÚ=ÏGÓCÛ3C»Ý×J2 658*Ø ÑÛF;Ý}235F Cn3@ßSRgFPÏG2 3/T&FG652U6µ2@DGM=DG:=ÑE2UK=FI3ZDc3µCEFGKÐDGKNMøDv×GFJCEM=CÛK=ÏÓBDv×;CEK=Ï 35FÙMLC»ÝµØ ÚNݵݰÝ}FJT&2UFIÒª3µÓN2 Ý}Õ|2 Ø CEDGÑØZÓ=FJCEØ 2 ÝFGÒ Î Ï;M=D Î ÑÛÒâDà2Ô:BFJ6µ65FcàݵFGT&2¹KNFI35DI3µCEFGKNÝÒÞ6µFJT#H9DGݵQG2 ÑÛÑy?gݵÚNØZÓDJÝ àª6µCÛ3µCEK=Ï % ] 1 ÒÞFG635Ó=2Ôݵ243FIÒºÑECEÝ}35ÝaFGÒX2 ÑÛ2 T&2 K;35ÝaCEK ] ßú_KÜÕNDI6µ3µC»Ø4Ú=Ñ»DI6@?{àX2ÚBÝ}2¹H9DGݵQG2 ÑEÑÛã Ý>3>8\ÑE2Fc×J2 65ÑÛF;DGMLCEK=ÏDIÑÛ3µÓ=FJÚ=ÏGÓ*3µÓ=C»ÝºÒÞ2@Dc3µÚN6µ2C»ÝªK=FI3ªÕ=652 ݵ2 K;3ªCEK Î ÏJM=D Î ÑnÒâDNß 1t652 MLC»Ø DI3µ2 Ý°FGK¾D%Ý}2 3 DI652*Õ=65FGÕ|FJݵCÛ3µCEFGKNDGÑÒÞÚNKNØ35CÛFJKNÝ&àªCn35Ó÷3µÓ=2 3>8\ÕB2 w8\Õ|2 ? & _ 4655B7 ß;RáFØ4FJK;×J2 6µ3tÒÞ65FGT ML2 Ø CEMNDI:=ÑE2.35F°ÏJ2 K=2 65DGÑNÕ=652 MLC»Ø DI3µ2@ÝtàX2ÚNݵ235Ó=2.ÒÞÚNKNØ35CÛFJK *
? -
8 2 2A4 55B7 & _Tw 8*ݵ243ª6µ2 Õ=652 ݵ2 K;3µCEK=Ï°3µÓ=2ÒâDGÑEݵ2aÕ=65FGÕ|FJݵCn35CÛFJKß ô=FG6XDaT&FG652Ø4FJT&Õ=ÑÛ2 3µ2DGØ Ø FGÚ=K;3¼FGÒæ3µÓ=29ÑÛFJÏGC»Ø DIÑNÒÞ65DGT&2 àXFG65Q/Ú=KNM=2 65ÑÛ8\CEK=Ï Î Ï;M=D Î ÑÛÒâD CÛKNØ ÑÛÚBMLCÛKNÏa6µ2@Ø4FG6ZM3>8\Õ|2 Ýtݵ2 2X3µÓN2XÕBDIÕ|2 6tDI:|FGÚ=3¼Ý>356µÚNØ43µÚ=652 M3>8\ÕB2º35Ó=2 FJ6µ8Ôì cîNDGKNM/ÒÞFG603µÓN2 CÛKNM=ÚNØ35CÛ×J2ÔML24öBK=Cn35CÛFJKNÝDv×vDGCÛÑ»DI:NÑÛ2&CEKø3>8\ÕB2U35Ó=2 FJ6µ8J?áݵ2 2Ô798\:L2 6 ì cîDGKNMø78\:L2 6°DGKNM õ\2435ê 2 6ì J? cîyß " GÇ=ÍµÆ ÉºÉ # ZÉt È ¼Ê !"# 9Ú=6º3µ2@Ý>35CÛK=Ï&35F\FGÑØ DGKÔ352 Ý}3.Õ=65FGÕ|2 6µ3µCE2 ݺFIÒg3µÓ=2ÒÞFJÑÛÑEFcàªCEK=ÏÒÞFG65T/o
+
!
) 5
I '=) 2 2?=) M & _ ,,, & _ I ' 0 2 2A? 0&%('*)*+ ,,,.+/' I 0 & ) M 1 M & _ 8 I $ ) %E'=)*+ ,,,H+ '.0 1 M & _ ,, , & _ 8 I $ %('=)*+ , ,,.+/' 0 1 M & _ 8 I `s(% '=)*+-,,,H+ '.0 1 M
.KNML2 6ª3µÓN2aCEML2 K;3µCÛöBØ DI3µCEFGK FIÒ9D Õ=65FGÕ|FJݵCÛ3µCEFGKNݺDGÝX3>8\Õ|2 ÝDÛ?=3µÓ=C»Ýº6µ2@DGM=Ý ?=) ?.0 ì î $ ) ì î $0 ì î ` ì î RºÓ=CEݺC»Ýº2 Ý5ݵ2 K;3µC»DIÑEÑÛ8¹3µÓ=2ÒÞFG65T FGÒgÕ=65FGÕ|2 6µ3µCE2 ÝX35ÓNDc39A9Ú=C»ØZQNçÓ=2 ØZQ¹Ø DIK*3µ2 Ý}3 ?L2 ñ=Ø42 Õ=3ª3µÓNDI3 CÛKML2 ÕB2 KNML2 K;3ª3>8\Õ|23µÓ=2 FG658U3µÓ=2MNDc35D&MLFJTUDICEKNÝ ? ^ Ø DGK*:|2ML2 Õ|2 KBML2 K;3ª3>8\ÕB2@Ý ß RºÓ=2.ÚNݵ2 6¼ØZÓNF;F;Ý}2@ÝtDIK&FJÕL3µCEFGK }3µ2 Ý}3 CÛKUFJK=2ªFIÒæ3µÓN2T&2 K\ÚNݼÕ=6µFc×\C»ML2 M:\8 Î ÑÛÒâD=ßJRºÓN2 Õ=ÑÛÚNÏIã«CÛKUØ DGÑÛÑ»ÝtD352 Ý}3M=Dc3ZDÏG2 K=2 6ZDc35FG6tDIKBM°6ZDIKBMLFGT&ÑE8ÏG2 K=2 6ZDc352 ÝtDK\Ú=T°:B2 6tFIÒ{Ø DJÝ}2@Ý.éâDI3 3µÓ=2aT&FGT&2 KJ39í Jë¼ÒÞFG6ªàªÓNCEØZÓ Cn3ØZÓN2 ØZQLÝX3µÓ=2aÕN6µFJÕB2 6}3>8Jß çFGKNݵCEM=2 6.DIÏ;DICEK 3µÓ=2/Ø FG656µ2@Ø35K=2 Ý5ÝXÕ=6µFJÕB2 6}3>8*FIÒ:=CEKNDI658Ôݵ2 DG65ØZÓßNú«3CEݪ3µÓ=2aÒÞFJÑÛÑEFcàªCEK=Ï Î ÏJMND Î ÑnÒâD°3>8\Õ|2¹éÞÚNݵCÛKNÏ ] W¹6ZDc35Ó=2 6X3µÓBDIK Z0 W&ÒÞFJ6.Ý}CET&Õ=ÑECEØ Cn3>8=pë o &
(
!
+ ; v + b m}p
"!$# %
Õ=6µF\FGÒFJ:L2 Ø43UÒÞFG6U35Ó=2PØ4FJ6µ652 Ø43µK=2@ݵÝ&FGÒ:=CEKNDG6µ8÷Ý}2@DI6ZØZÓ & .C»Ý¹8J243U3µFø:|2ÙML2 öNK=2@Mù:\8 CÛKNÝ}35DGK;3µC»Dc3µCEK=Ï3µÓN2aÓ=CÛÏJÓ=ÑECÛÏJÓJ352 M ä;Ú=2 Ý}3µCEFGK TUDI65Q ')(IßNRºÓ=C»Ý.Ø DIK K=Fcà :|2MLFGKN22 Cn35Ó=2 6ª:\8 Õ=6µFc×\CEK=Ï/FJ6X3µ2 Ý}3µCEK=ÏBß;ú«ÒSà2aØZÓ=F\F;Ý}23µFÕ=6µFc×J2CÛ3 *? ' ( Ý}ÓNFGÚ=Ñ»MÔ:|2CÛKBÝ>3ZDIK;3µC»Dc352 MU35FDÕ=65F\FIÒ 3µ2 65T+àªÓ=C»ØZÓ¾à2Ø DIK÷:=Ú=CEÑEM÷CEKJ352 6ZDGØ43µCE×G2 ÑE8ø:\8ÐÕ|FGCEKJ35CÛKNÏÐDIKNM÷Ø4ÑECEØZQ\CEK=ÏÁéâݵ2 2 3µÓN2 Î ÑÛÒâD Ó=FGT&2 ÕBDIÏG2ÒÞFJ6ML243ZDICEÑEݹì Iîë4ß{ú«Òªà2&CEKNÝ>352 DJMÀàºDIK;33µF 352 Ý}3Cn3@?áàX2UØZÓ=F\FJݵ2FJK=2UFIÒX3µÓN2 3µ2 Ý}3µCEK=ÏFJÕL3µCEFGKNÝ9ÒÞFJÚ=KNM%CÛKÜFJK=2&FIÒ Î ÑÛÒâ D D ÝT2 K\ÚNݹéâݵ2 2UôSCEÏNß @ë4ßï%2¹Ø DIK%2 CÛ3µÓN2 6aÚNݵ2UD +-, .0/1 2 + FJ6¼3 D 54 76 . 894: 54 , t3µ2 Ý}3M=DI35DÏJ2 K=2 65DI3µFG6@ßIRºÓ=2M=FGTUDICEKLã«:NDGݵ2 M°FGÕL35CÛFJK ÑÛF\FGQLݺÒÞFJ6ÏJ2 K=2 65DI3µFG6ZÝXÒÞFG6.3µÓ=2M=Dc3ZDUMLFGTUDICEKNÝ ? ^ ßNRºÓN2°ÝµÕB2@Ø4C»DIÑáÕNÚ=6µÕ|FJݵ2aFGÕ=3µCEFGKÑEF;FJQLÝ ÒÞFG6aDÔÏJ2 K=2 65DI3µFJ6ÒÞFJ6935Ó=2&ÑÛ2 T&T&D*CEK%ä;Ú=2@Ý>35CÛFJK {Cn3Ø DIKP35Ó=2 6524ÒÞFJ6µ2°35DGQG2/3µÓ=2UØ4FJKNMLCÛ3µCEFGKNÝ CÛK;3µFDJØ Ø FGÚ=K;3 ßGïÀ2.Ø DIKUDIÑ»Ý}FØZÓNF;F;Ý}2ºàªÓ=2 3µÓ=2 6tàX2ªàXDGKJ3035F/Ý}2 2º3µÓ=2ª652 ݵÚ=ÑÛ35ÝFGÒB352 Ý}3µCEK=ÏCEK D¹Ý}2 ÕNDI6ZDc352àªCÛKNM=Fcàa?NFG6tÚNÝ>393µ658Ô35FÔݵFGÑE×G23µÓN2ÏGF;DIÑy?NDIKNM CÛҼݵÚNØ Ø 2 Ý5Ý>ÒÞÚ=Ñg6µ2 Õ=Ñ»DGØ4;2 ')(a:\8 )%
§N§ z0pJWªk@d@[ q|ijrª² z|WZr«^>W=² 3µÓ=2ÕNݵ2 ÚNMLFÔÕ=6µF\FGÒ3µ2 65T C8 8ÙDG:BFc×J2°C»ÝaK=FG3a3µ65Ú=2¹DIK\8PT&FJ6µ2J? DIKNMÔ3µÓ=2aÕNÑÛÚ=ÏGãyCEK àªCÛÑEÑ652 Õ|FG6µ3ºDUØ FGÚ=K;352 6524ñ=DIT&Õ=ÑE2G?LDGݺCEKôSCÛÏBß =ß "!$#
&
(
3
!"
#
$&%(')+*-,.)/,10-%(23%546,.)/74 '
8:9&; ?=;6@ACBDAC>FEHG6@JILKAF96A8\ÕB2@MÔ×J2 6ZÝ}CEFGK FIÒ Î ãyCEKNݵ2 6µ3µCEFGKß á243 TV 7 v ;vP:|23µÓ=2Uݵ243aFIÒ Î {ãy3µ652 2 ÝàªCÛ3µÓÜÓ=2 CÛÏJÓJ3 V DGKNM :BFJÚ=KNM=Ý 7 v*DGKNM ; v{ß=RºÓ=2aCEKNݵ2 6µ3µCEFGK*ÒÞÚ=KNØ43µCEFGK 3µÓ=2 K ÏG243ZÝX3µÓ=23>8\Õ|2Ho ^ 0 GLW5bI=@^X?+Azá BxG8YL9 WZArZ6¶N:7·Ãb
6 C# CD! E c ¶ X.¬¼*-b0¶ $FYS=G·ybc[ I^_m}HK]>´GJdIpJLBGd@M4h;hJo\m5r_¬¼^>W@ijIf d@0o bNNOæ¶^F¶ FPlIZvª[ ·_ b;fr_O.l¹r_d@|¬bN2Go PQVZJWG0¶ o;PXZ@Y\d WZ[ ^>hGk ijmZ]>WZWZinrXbJrZkJ7oo|W`R _; ~ [ @S«b; TµUIo;oæá¶Y;Z0[ @Nk@@W5IWZrº¶ W5-]_^>R@W5 b;¸yWGij[m ¶ O{]>d@k ]}[ `a`aijb;]k \ RI¶ª¬¼b\a [ pJb;YSd@d4qjuvd Wk =xc¶\X WZVbJV@W5I]}¶[ Fq XWZm5hJ]>r_ijd@b&ijbUzxGYLW.z0p;WZd ]_xc7¶ Op;V÷^>pJWZr_ijrZ¶=fSp\[ qj`aW5]>rsb;ijuvW5]>r_iw^Ãx°d e | z 5 W µ m ~G¶ [ N&Y;[ Y;k@qjijbImh;[4rS^>inf0d b;[ rá]>qj^>r_dr_d@b]}[ [ b\Y;9pJijz0m[ p;q\d@s`r_[ W5r]g±º·ybc[ ^>qjW5qjk ]_]>e[ W5mZbFWZcrZ½J!¶ h\OJp;k VÜW5^>^>ræpJ¸'WZOár_ijhGrZ¶I]>WZfSqwxp;[ ½Jqjh;`ab;W5mµ]>^>ráind sXb\b;[ ijq uvO{Wµ]>]>r_dcijmZ^ÃxWZr_d r_WZeNráz|tWZm}iw^>pJp ¸ bJd@qjd@k xc¶| WI¶ Uc¶ bªdcWZbafSqÛ[ WZr_r_WZb/[ b;aZ@d p;b±h;k@pJWZrdcd@qJeEd ]á]}[ b;Jd@`¾^>W5r«^>inbJk d e0D±º=@[ ?+r_A´v BWZ8qj9q{ AYJ]>6d :ik ]} [ `arZ6¶BC#·Ãcb CDI!
5E *- $F=GjHK[kik5 MDuv ^d qj#h;`a"%$'lW &d (^e5f7:g6h* 457689 -76:I$. WZr_rZo@ VVVI¶ I¶ bªijb;dc+k WZ\bapc^_fS^>FYqÛ[ WZ® r_®4r_WZbª[ b\¶ mZarZ¶ Z@mµd p;p;[ bqj`a±W5h;]>rZk ¶ p;r_W4WZ® r´Jd ®I`¶ [ ^>ijmtlGYLW5mZiw¯\m[4^>ind bJ¸4Y0[ r_Waz|WZr«^_¸ o ¶.f0[4^}[ ]>ijb\[fS!d pch\[ b; Z¬kvJ[Go4[u [ ijqn[ JqnWeE]>d `ùpc^_^>Y ® ®4ª¶ mZrZ¶ m}p\[ qj`aW5]>rZ¶ r_W4® nZm[4^}[ ]>ijb\[@® [ kv;[I¶ WI¶ªz0pJinWµ]_]_xÔfSd!pch\[ b;AO{[ ^_^>W5]>bhN&[4^>mµpJinbJkatij^>pUVXWZYLWZb\GWZbc^záxGYLWZrZ¶\·ÃbqYSWZbJk ^rPXd ]}Gr«^_]4d@
`&o bªWZbc;^ OæW5^>W5]>r_r_d b[ b\Xd ]}Gd@] b Oqnd ^>´IinbNocWGij^>d ]>rZ^o I
! KDsF tJJuwv> -x- ^ 5fh - s yf^5.< jI
5%6A# 6C#SY\[ k WZr o 5 _W ~G7¶ YD[ z r«^}[@NoB vI¶ I¶ªpcz0^_pJ^>inFY Wµ]_® ]_®4x fSªd!¶ pcmZrZh\¶ [ mµp;b\[ @qj `aW5lI]>^_rZ]>¶ r_hJW4m5® ^>nZhJmZ]>!d WZpc h\[ b\z;xJ®4YL^yW xGYLW@z0¶ pcpJ^>WZ`ad ]_qxc¶ ¶G]}[4eE^o @ Go [u [ ijqn[ JqnW eÛ]>d@` W5]{VXxGI«W5 ] 4·Ãb\JhJm5^>ijuvWá½\[ `aijqjijWZrZ¶ ·yD b =' C{6:i"|9f^ B8j |$. CrfA?!8! o uvd qnhJ`aWSIo4Y\[ k@WZr
~ iV`_v~vUIo{ ~G¶ ~ @¶ ijb;Oæiw^>Wµij^>d@W5bJ]0rZVX¶xG·y~b I«W5s^]0y5[ f^b; /¬¼/F6bcC{^>d@b/i6lGWµ$.^ }Z6W5:g ] BI?+¬%: D¯;6b;7iw^>WX" [4fi©GfAind : 9` 6[ 8^>9gi }^[4^> ind /0b° d B8e|?!ijb;qJh;1mµ ^>in4u@5W5¸Þ]>WZmZhJ$.]>r_ ijCruvW¼fA?!G4W55eE¸ I¶ (A$.Oæ B
WµCr5^>7W5fA ]t?!º4VX5`xG UGWI(7Ây@ BW5o;
]5Y\A[ [ b; 5k 5WZ0r.¬/041#bc ^> $Gd _\b&(/5~vlIcG W5¶{^W}ZRIZW5@o\ ] Y;JG[ ·y¶ b;k@W5JrXW5©G WR ¸>@·yVIind @bJ¶
¸ X¼WZmZhJ]>r_ijd bB¶I·y>b I
[sF 5y{ p;WZiGbF[ Jb;¬qwe»±[GoJiw]>[d@u@r_[ p;in+i qn[ Pº;[ qjWº´@[ eEb;]>d +d `)Opc9^_^>o YF[X ®@fS®d@`aY;ªhG¶^}mZ[ rZ^>¶ mµijd@p;b;[ [ qj`a+q BdW5 ]>rZk@¶ ijr_m@W4¶@®!z0n5p\p;[ jW qnqjNk ]>·yWZz bL® O¬]>WZqwer_[JrZ¶¶ UI¶O{ZlI]>Wdch;WId r_hJ¶eEr`¸áh&^>WZ±Xr«^>[ijxcb;[ kr_p;YGi]>o7dcXtd e»xcr¼d cr_h;x/´vW5W9©JlG[ hJ`a`aY;iwqj^>WZd@rZ`a¶J·ydb [ sFb; bª5WZ8bJ8¸â ij6mµ:;pJiw$.]>d C|lIf p;?+iji84=5z| d(A B[4
5]}7J r.µoL¬¼uvb;d ijqj`h;`a[ ^>Wªijd@bUo d ce o ZG¶ Y;&Oæ[ 5k@Wµ W5] +r
N&i [4 o]_:go ^>_;ijbJyw¸4g
UI6-oNd 7eK->GVfSlVvd c !b;¶ 8:gr« -^_B]> h;f^mµ !^>inycu@W2 ]N&(A[ B^>p;
5W57` 5[ ^>ijmZ@rg* [ b\tJ!fSJ d@o{`aY\Y;[ k@hGWZ^>r/W5]l` OUR4]>d ¸>k o ]}[ Uc`a.¶ PX`ad in]_bJ^>kJpG¶ ¸â·y±Xb[d@/Fqjqn [ b;9N Bo ¶ ijN&rá¿X[4]_´@^>[ ijbJr>[ ¸4g
´I8id @eK¬¼\·Ãb9bc^>¿Xh;uviw^>W5ij]>d@uIb;ijW5ijr«^>ijm.d 7e zágxGGYLinWªr_d z0bBpJ¶ ·yWZab d ]_xc¶ 6YSxiijB;:qj:.ijd@vYLd
qj inx-rZo| ^ 5f\W o ~JY\¶ [ k@WZr R -~ _+U4~JoclGWZYG^>WZ`¸ ZG¶eÛL]>f0W5d@]X`[4^>- p;VpcW5V^_]>VI^>ijFY bJ¶ Wq®@®4O{Y\[ [ ]>hJWZijbcqnqn^ [ Sm@¬ ¶ inbG]>mZind [Gqn¶ qjeEWZ]µmµ®4^>mZin!d d pGbø® mZd d e.bIW5^_©J]>ij[ J`ar«¸ÃY;W5qjb;WZkJra¶ pch;^>r_`aijbJqk ¶ ^>p;WO{]>d@k ]}[ ` ^}[ mµ^>inm ¶[u@[ ijqÛ[ ;qjW
-VG¶ pcO{^_^>]>YFd@ k ® ]}®4[ `[4ª^>in¶ mZmZ[+r_W@ ¶ d@k i·y¶ bcWZ^>JWZhLk ®-]}O{[ ^>[ ijm4b;lIk d eÛ^µ® O{YJ]>]>d4d@Â_k WZ]}mµ[ ^>`ar}® `aYJ]>ijb;d@kGk ]}o [ `O{[4^>]>ijd@mYL[vW5®G]_¶ ^>ijWZrZo [ b\ g[ qjin;[4^>ijd@bB¶ c@¶.¬½S;¶ J¬.ijr_ ¶ d XbJ¸ [ ¨ ;pJWZiºr_qjW5[ x b\øO{]>9WZr_j¶ rZo|B[Z @Y; [ Gqj`a¶ W ¬¼qjk@d ]>iw^>pJ`aijd@b;[ qºYG]>d@k ]}[ `a`aijb;k[ Y;YG]>dv[ m}pB¶ I¶ªN&Vº[ [4r«uI^>W5in]^>¨ pJWZ[ r_pJijrZqnr«¶=^>fSWZGp;^ [ áqj`aVºW5W5]>^>rWZmµsX^>inbJbJijkuvW5^>]>W5r_iw]>^y`ax/ijd b\eá[4^>zBijWZd@mµb%pJb;hJd r_ijqnb;d k k xco\r_ig }ZVW5V¸âm}VGp\¶ [ b;k@W¹ijb%Y;[ ]}[ `aW5^>W5]u [ qjh;WZrZ¶ -RG¶ª ±
d@ bJk 0W5!li hiS K[ b\ ^ ½Gu]}[ `b; h´ "%O{e»$'WZ& bJb;ij(!b;*-+k ,.|lVX/'WZ"rYLWZ1 b\H9G(+WZ*-bc,l^ª"%^yxG$jYLs WZrª ijb YG]}5[ Am5 B^>ij f7m[ :e5qS>YG]> d@ak fA]}[ `a`a6C#ijb;CDkJ¶B!·yb :g6?^6 5>oLY\[ k@WZrI5-~ _I@ o oN¬¼If N O{]>WZr_rZoB@ G¶ ' " # # ÙÈ=É ¼. È Í}Æ j "áÌ|Ç=Í>É3 Æ ^ G 4 w 8 ^ G 4 w 8 ^ G 4 w 8
22 Z0 7 vT;v 7 vT;v
W & _ Z0 W & _S4 8 & _S465 5B7 6$ WX N 7 v ;v I 4 : ] 0 a V : 55 W 7 < .W : WMN 7 v S: 55 W : 55 W ;v ^ G 46w 8 7 v-: 55 W 7 < W ^ G 4 w 8T: 55 W ;v : W
RºÓ=2aT&2 T/:|2 6ZݵÓ=CÛÕ DIÑEÏGFJ6µCÛ3µÓNT ÒÞFG6ªÏJ2 K=2 65DGÑ|:NCÛKNDG6µ8¹3µ652 2 ݺC»Ý
< v6
