Martin-Lof's Type Theory

 

 !"# $&%('*),+.-0/21.+.3,465879%;:qrc.[Vde]afg`h[.z;©\ª vx^_]anpz_fŸv„[¦}.^a`.b?cVde]0`xq,vKq«vxs!fguy|K`xqDz_np]azŠ¬ €„† .j ‡{^_`h}`hzafg]_fy`2[Vvxu=n˜­hcvxugfg]\|ii;i(i;i;i;i(i;i;i(i;ii;i(i;i;i(i;i;i;i €2 .j¡‚Ž ~.n;zan]0`xq{ugfyz_]azIi;i;iiKii;i(i;i;i;i(i;i;i(i;ii;i(i;i;i(i;i;i;i €2• .j kEfgzy“Š`2fy[?],c [.fg`h[¦`xq{]\®#`šzanp]_z¯i(i;i;i;i(i;i;i(i;ii;i(i;i;i(i;i;i;i €2• .j° kEfgzy“Š`2fy[?],c [.fg`h[¦`xq,v;q«v„sfgug|(`xq,z_np]az±i(i;i;i(i;ii;i(i;i;i(i;i;i;i 2£ .j•‚Ž ~.n;zan]0`xq{zas¦vxuguVz_np]azMiKii;i(i;i;i;i(i;i;i(i;ii;i(i;i;i(i;i;i;i  X ¡³²´§–µvx[¦fg[@]_np^ƒv2dŠ]afg¥2nn˜b?fg]a`h^q¶`h^]\|@}n(]_~.np`h^_|Mi;i(i;ii;i(i;i;i(i;i;i;i 2 · ¸ S0T.¹Q0º;»½¼¾T.¿pQ,S Ž ~.n,]\|?}n,]a~.n`h^a|(b?nzƒdŠ^_fy¨nÀbšfg[;]a~.fgz{da~vx}.]_np^§~Vv„z§¨npnp[tb?np¥2npug`h}nÀb;¨?|Áv„^a]_fy[ÃÂN´¾Äxq ® fg]a~¦]a~.nK`h^afg”2fy[vxu§vxfgsM`„q,¨Vnpfg[.”v!dŠuwvx^_fŞ=dpvx]_fy`2[`„qBde`h[.z_]a^acdŠ]afg¥hnšs‰v„]a~.ns‰vx]_fwdŠzÀj Æ [.ugfgÇhnEs`2za]{`h]_~.np^qr`2^as‰v„ugfyȘvx]afg`2[.z§`„q§s‰vx]_~.nps¦vx]afwdŠz˜µx]\|?}VnE]a~.n`h^a|!fgz#[.`2],¨Vv„zanÀb `h[;}.^_nÀb?fwdpvx]_n#ug`2”hfwdxj=Y\[.z_]anÀv2b=µ˜]a~.nBuy`2”hfwdpv„uhdŠ`h[.z_]ƒv„[@]_z,vx^anBfy[?]_np^a}.^_np]an˜b(® fg]a~ fy[;]\|?}n ]a~.n`h^a|É]a~.^_`hc.”2~¢]_~.nʪc ^a^a|2Âa’ `x® vx^Šb¢dŠ`2^a^_npza}`h[VbÃnp[VdŠn˨Vnp]\®npnp[} ^a`h}`hz_fg]afg`h[.z vx[VbÌzanp]_z"ÍwXÀ£?µ €h€ÏÎNÐ"vÑ}.^a`2}V`2zafg]afg`h[Éfyz!fg[@]_np^a} ^anp]_nÀbvxzv"z_np]¦® ~.`hz_nÒnuynsnp[?]az ^anp} ^anpz_np[?]]_~.n(}.^_`?`xqrz `„qD]a~ n} ^a`h}`hz_fg]afg`h[§j X

€


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

Y\] fgz8v„uyz_`½}`hz_zafg¨.ugn;]a`t¥?fgnp®¢všz_np]0vxz0vK}.^a`2¨.ugnps b?nzƒdŠ^_fy} ]afg`h[fg[¦v(® v˜|tzafgsfm uwvx^,]_`.-E`2uys!`h”2`h^a`x¥0/ z§n1.}.uwvx[vx]afg`2[t`xq§]a~ n0fg[?]ac.fg]afg`2[.fgza]afwdB}.^a`2}V`2zafg]afg`2[Vvxu=dpvxuwdŠc uyc z ÍŀhÎaj;Y\[}Vv„^a]_fŸdec.uwvx^Àµ>vtzan]½dpvx[¨n½z_npnp[Rvxz;v!za}nÀdŠfmžodpv„]afg`h[`xq8v!}.^_`h”2^ƒvxs!sfm[.” }.^_`h¨.ugnp3 s 2{]a~.n¦npugnps!np[?]azš`xq0]a~ n‰z_np]vx^_n]_~.np[&]a~.n¦}.^_`h”2^ƒvxs!z;]a~Vv„]½zŠvx]afgzNqr|"]a~.n za}nÀdŠfmžodvx]afg`2[§j ²0[Òv2b?¥hvx[?]Švx”hn;`„q#c.zafg[.”t]\|?}n½]_~.np`2^a|!qr`h^E}.^a`2”h^ŠvxsdŠ`h[.z_]a^_cVdŠ]afg`2[Òfgz0]_~Vvx]Efg] fgz½}`hz_zafg¨.ugn¦]a`n 1.}.^anzaz¦¨V`2]a~&za}nÀdŠfmžodvx]afg`2[.zvx[VbÑ}.^a`2”h^Švxszš® fg]a~.fg[Ë]a~.n¦zƒv„sn qr`2^as‰v„ugfyz_sjt–.c.^_]a~.n^as`2^anhµ>]a~ n}.^_`@`„q0^ac.ugnpztdpv„["¨Vn!c.zanÀbÑ]a`"b?np^_fy¥2nvdŠ`2^a^an˜dŠ] }.^_`h”h^Švxsq¶^a`hsGv(z_}VnÀdefŞ=dpvx]_fy`2[Òvxz ®npugu§vxz]a`t¥2np^afmqr|t]_~Vvx]0vK”hfg¥2np[¦}.^a`2”h^ƒv„sM~Vv„z v"dŠnp^_]ƒv„fy[É}.^a`2}Vnp^_]\|@jɲ0zv}.^_`h”2^ƒvxs!sfg[.”¦uwvx[.”2cVvx”2nhµ,]\|?}n]a~ np`h^_|Rfgztzafgsfguwvx^ ]a`]\|?}Vn˜bqrc.[dŠ]afg`h[vxuuŸv„[.”hcvx”hnz(zacVd_~vxztÁ´*ÍwX˜•.µ{h€Îvx[b"’0vxz_Çhnpugu;ÍŀhÎaµ{¨.c ] v¦s¦vp“Š`h^;b?fmlon^anp[Vdenfgz(]a~vx](]_~.nnp¥hv„ugcVvx]_fy`2[`xq0v¦®npugum«]\|?}nÀb}.^a`2”h^Švxs v„ug®8v˜|?z ]an^asfg[Vv„]anpz˜j Ž ~.n0[ `h]afg`2[½`„qDdŠ`h[.z_]a^_cVdŠ]afg¥2n0}.^_`@`„q§fgz#dŠug`hz_npug|t^anpuwvx]_nÀbš]a`K]a~.nE[.`h]_fy`2[t`xq§dŠ`hs‹Â }.c.]_np^;}.^a`2”h^ŠvxsÒj ŽD`t} ^a`x¥hntvt} ^a`h}`hz_fg]afg`h [ 4*506879;:4=@7BA:DCE4=6FG>":;dŠ`h[.z_]a^_cVd_ ]afg¥2npug|Rsn˜vx[.zt]_`"”hfg¥hnÒv q¶c.[VdŠ]_fy`2I [ H*® ~.fwda~&® ~.n[ v„}.}.ugfgnÀbË]a`Rvx[Énpugnpsnp[?K] J fgL[ 9 ”hfg¥hnpzšvx["npugnps!np[?] MšfgN [ AGz_cVd_~R]a~vxB] CE4,JFGMO:E~.`2uwb?zÀj¦ˆ?`¦fmq0]a~.nt}.^_`h}`hz_fÅ ]afg`2P [ 4Q5R6@7S9;:4=T7;A:DCE4=6F>U:En 1.}.^anzazanz v‹za}nÀdŠfmžodpv„]afg`h[>µ.]a~ np[]a~ n;qrc.[Vde]afg`h$[ H `h¨ ]ƒvxfg[.n˜b!qr^a`2s]a~.nt} ^a`?`xq#fgz;v} ^a`h”2^ƒv„szƒvx]_fgz\qr|?fg[.”]_~.nšza}nÀdŠfmžodpv„]afg`h[§jK²MdŠ`h[? za]_^acVde]afg¥hn}.^a`?`„qodŠ`hc uŸbK]a~ np^anŠq¶`h^an fg]_zanpumqV¨n#z_npnp[tvxz,v0de`hs} c.]anp^>}.^a`2”h^Švxs vx[b;]a~.n }.^_`ÃdenpzazE`xq de`hs} c.]afg[.”;]a~ n¥hv„ugc.n0`„qDv(}.^_`h”2^ƒvxsGdŠ`h^_^anpz_}V`2[Vb?z0]_`½]_~.n;}.^a`.dŠnzaz0`„q [.`2^as‰v„ugfyÈfy[ ”½vš}.^a`?`„qƒj Y\] fgz0¨?|]_~.fgzdŠ`2s}.c ]ƒvx]_fg`h[Vv„uodŠ`2[?]anp[?];`xq#vtdŠ`2[.za]_^acVdŠ]_fg¥hn }.^_`@`„qD]_~Vvx] ]\|?}n(]a~.n`h^a|¦dpvx[¦¨n(c.z_nÀbvxz0vš} ^a`h”2^ƒv„sstfg[.”;uwvx[.”2cVvx”2Un 2@v„[Vb!zafg[VdŠn ]a~ n#}.^_`h”2^ƒvxsfgz{`h¨ ]ƒvxfg[.n˜bEqr^a`2s v }.^_`?`xqV`„qVfg]az{za}nÀdŠfmžodpv„]afg`h[>µx]\|?}Vn]a~.n`h^a|šdpvx[š¨Vn c.z_nÀb"vxz;v} ^a`h”2^ƒv„ssfm[.”šuy`2”hfwdxjEŽ ~.nš^anpugnp¥hv„[VdŠnt`xq dŠ`h[.z_]a^_cVdŠ]afg¥2nts‰vx]_~.nps¦vx]afwdŠz qr`2^8dŠ`2s}.c ]anp^ zŠdŠfgnp[VdŠnš®8v„z#}`hfg[?]an˜b`2c.]0vxug^_nÀvhb?|!¨?|¤,fgza~ `h}́†˜ÎNj V nÀdenp[?]aug|@µ„zanp¥2np^ƒv„uVfgs} uynstnp[?]ƒvx]_fg`h[.z`xq=]\|?}Vn]a~.n`h^a|K~Vv˜¥hn¨Vnnp[ts‰v2b?n,® ~.fwd_~ dpv„[Òz_np^a¥2nvxz0ug`2”hfwdpvxu¾qr^ƒv„snp®`h^_Ç?zÀµ]a~Vv„];fyz˜µ=b?fmlonp^_np[?](]a~ np`h^_fynz dvx[¨Vnb?fg^_nÀdŠ]aug| n 1.}.^_npzaz_nÀbfg[¦]a~ n(fgs}.ugnps!np[?]ƒvx]_fg`x[.zÀj>Ž ~.n;qr`2^astc.uwv„]afg`x[t`xq{]\|@}n(]_~.np`h^_|¦®#n;® fgugu b?npzŠdŠ^afg¨n;fy[t]_~.fgz8d_~Vv„}.]an^,qr`2^as]a~ n0¨Vv„zafgz,q¶`h^,z_cVd_~‰vEqr^Švxs!np®#`2^aÇ=µx® ~.fwd_~®n ® fgugu ¨.^_fyXn WV|}.^_npzan[@]Efg[‰]_~.n;uwvxza] z_nÀdŠ]_fy`2[§j Ž ~.nd_~Vv„}.]an^#fgz{za]_^acVdŠ]_c.^an˜bvxz{q¶`hugug`x® zÀj=–>fy^_za]®#n ® fgugu?”hfg¥hn0vEz_~.`h^_]#`x¥2np^a¥?fgnp® `xq=b?fmlonp^_np[?]{qr`2^astc.uwvx]_fg`h[.z=vx[VbKfgs}.ugnps!np[?]ƒv„]afg`x[.z=`xq]\|@}n]a~.np`2^a|?jDˆÃnÀdŠ]afg`2[€ ® fgugu n 1.}.uwvxfg[t]_~.nEqrc.[Vb.v„snp[?]Švxu.fwb?nÀvK`xq§} ^a`h}`hz_fg]afg`h[.z vxzzan]az0¨?|’ np|?]afg[.'” / zn 1.}.uwvx[VvÏ ]afg`2[Ò`„q0]a~.ntfg[?]ac.fg]_fy`2[.fgza]_fŸdKsn˜vx[.fg[.”!`xq ]a~.n!uy`2”hfwdpv„u de`h[.z_]ƒvx[?]_zÀj¦Ž ~.nšqr`2uguy`x® fg[.” zan˜dŠ]afg`h["® fgugu§”2fg¥hntvt^ƒv„]a~.n^½b?np]ŠvxfgugnÀbÒbÃnpzƒdŠ^_fg}.]afg`h["`„q#]a~ nt¨Vvxz_fŸdK^ac uynz½vx[Vb ]a~.npfg^ zans‰vx[?]_fŸdez 2?`h[¦v;ž^aza]E^anÀv2b?fg[.”šza`hs!n0`„qD]a~ fyz s¦vx]_np^afwvxu s‰v˜| “Šc.za] ¨n;”huwvx[dŠnÀbv„]Àµ fg[Ò}vx^a]_fwdŠc.uwvx^;]a~ ntzac.¨.z_nÀdŠ]_fy`2["`h[~?|@}`h]_~.np]_fŸdvxuV“Šcb?”hnps!np[?]az˜j(Y\["zan˜dŠ]afg`h["†¦®n fguguyc za]a^Švx]_nt]\|@}n]_~.np`2^a|Rvxztv¦ug`h”2fwdpvxu>qr^Švxsn®#`2^aǨ?|"n 1.}.^_npzaz_fy[ ”Ò}.^_`h}`hz_fy]_fg`h[Vv„u ug`h”2fŸdBfg[½fg]˜jDˆ?n˜dŠ]afg`h[Efg[?]a^_`ÃbÃcVdŠnpz v;[?c.st¨np^{`xq§b?fmlonp^_np[?]#z_np]az vx[b(]_~.n žV[vxu.z_nÀd_ ]afg`2[t”hfg¥hn v;za~ `h^a] b?npzŠdŠ^afg}.]_fg`h[`„q§²´>–#µ?vx[tfgs!}.ugnpsnp[?]Švx]afg`x[(`„q§]a~.n ]\|?}n0]_~.np`h^_| `xq{]a~.fgz0d_~Vv„}.]anp^˜j ²0ug]a~ `hc.”2~ z_npumqwÂadŠ`h[?]ƒv„fg[.nÀb=µ ]_~.fgz‰d_~Vv„}.]anp^dpv„[¨nzanpn[ v„z‰dŠ`2s}.ugnps!np[?]½]_` `hc ^¨`@`2Ç=Sµ  Y )B(Z\(]_^'`a?b^+c`
ed8\f[   g?hX (,9ÍÅhÎaµfy[É]a~Vv„]

#LD (Z
  !^`ac ^ +c`  ®#nt~ np^an!”hfg¥hntv!}.^anpz_np[?]ƒv„]afg`h["`„q Áv„^a]_fy[ÃÂN´¾Äxq / z;s`2[.`hs!`x^a}.~ fŸdE]\|?}nt]a~.np`2^a|"fg[

® ~.fwd_~t]a~.np^_nv„^an ]\®`¨vxzafwdBugnp¥hnpugz˜µh]_~Vvx],`„qo]\|?}npz#v„[Vbš]a~Vv„]{`xq=zanp]_zÀj,Ž ~ n ¨V`?`hÇKfyz s‰v„fy[ uy|šdŠ`h[Vdenp^a[.n˜b¦® fg]a~‰vK}`hug|?s`h^_}.~.fwdBqr`2^astc.uwvx]_fg`h[(® ~.n^an(fg[.z_]anÀv2bt`xq,v(ugnp¥2npu `xq;]\|@}npzt]_~.np^an¦fgztv]_~.np`h^_|"`xq;n 1.}.^anpz_zafg`h[ zÀ j 0[ ns‰v“Š`h^½bÃfÅl=np^_np[VdŠn¨np]\®npnp[ ]a~.nzan]\®`qr`h^_stc.uwvx]_fy`2[.z;fgzt]a~Vv„]tfy[Ë]a~.n s`h[ `hst`h^_}.~.fwd qr`h^_stc.uwvx]afg`2[Ò]_~.np^an fyz s`2^an ]\|?}Vn;fg[?qr`2^as¦vx]afg`2[½fg[t]a~ n]_np^as!zÀµ?® ~.fwd_~s¦vxÇ2npz,fg]#}`hz_zafg¨.ugn;]a`šfgs}.ugnps!np[?] v(]\|?}n(da~ nÀd_Çhnp^KÍ €2 Î 2?]a~.fgzfyzfgs}`h^_]ƒvx[?],® ~ np[¦]\|@}n;]a~.n`h^a|!fgz#c.z_nÀb¦vxz0vKug`h”hfwdpv„u qr^ƒv„snp®`h^_ǽ® ~ np^an(]\|?}n½d_~.nÀd_Ç?fg[.”tfgz ]a~.n;zƒv„sn;vxz }.^_`@`„q#da~ nÀd_Ç@fg[.”j %  L ½1.La)BA0/) 1(]a^an˜vx]as!np[?]az{`xq]\|@}n]a~.np`2^a|(fgz{]a~vx]§[ `h^as¦vxum fgÈÀvx]_fy`2[Òfgz;[.`2]`2¨.]ƒv„fg[.nÀb¨?|sn]ƒvxs¦vx]_~.npsvx]_fwdpvxu=^_nÀvxz_`h[.fg[.” 2§fg[.z_]anÀv2b=µDv¦b?fg^_nÀdŠ] zanps¦vx[?]afwdŠz fgzE”hfg¥hnp[>µ?¨Vvxz_nÀb¦`h[ Ž v„fg] / z8de`hs} c.]ƒv„¨.fguyfg]\|šsnp]_~.`.b=j,²dŠ`h[ zanÀ­2c.np[dŠn `xq,]a~ n(zanps¦vx[?]afwdŠz fgz ]_~Vvx];vš]anp^_sÒµ.® ~ fŸd_~¦fgz0vx[nuynsnp[?]fy[v‹zanp]˜µodvx[¦¨VntdŠ`2st }.c.]_nÀb¦]a`t[ `h^as¦vxuqr`2^asjD– `h^ ]_~.n(zans‰vx[?]_fŸdez `xq,]a~.fgz ]_~.np`h^_|@µ uwvxÈp|!np¥hvxugcVv„]afg`h[!fyz npzaz_np[?]afwvxu\j¤BnÀdpv„c.zan!`xq0v¦za]_^a`h[ ”npugfgsfg[Vvx]_fg`h[¦^ac.ugnšqr`2^;]a~.n!zanp]šn 1.}.^anzazafg[.” ]a~.n



†


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

}.^_`h}`hzafg]_fy`2[Vvxu=n˜­hcvxugfg]\|@µ˜“ŠcVb?”2npsnp[?]Švxu=nÀ­2cVv„uyfg]\|!fyzE[.`h]0bÃnÀdŠfwb.vx¨ uyn2j0Ž ~.fgz ]_~.np`h^_| fgz#vxugz_`(]a~.n;`2[.n fg![ fOc g[(* (= (* (=h)^`a?B^+?`!Í  X_Îaj§Y\]fgz8v„uyz_`(]a~ n0]a~ np`h^_|tc.zanÀb fg[]_~.
n c }.^au>za|?za]_nps…ÍÅ¡ÏÎDvx[Vb!¨?|t]a~.nK”h^a`2c.}fg,[ ;^_`h[.fg[.”2np[ÍÅÎaj Ž ~.n,]\|?}n,]a~.n`h^a|E}.^anzanp[?]an˜bšfy[;]_~.fgz§da~vx}.]_np^§® vxz=}.c ]=qr`2^a® vx^ƒbE¨?|Á vx^a]_fg[?ÂN´¾Äxq fg[RXÀ•2°h¡š® fg]a~¦]_~.n½z_}Vn˜dŠfmžodšfg[@]_np[?]afg`h[¦]_~Vvx]Efy]Eza~.`2c.uwb¦zan^a¥hntvxz;vtug`h”2fwdpvxuqr^Švxs!nŠÂ ®`h^aÇ=j %  ?4 _uy`2”hfwdpv„uqr^ƒv„snp®`h^_Ç@z¨Vv„zanÀb¦`2[¦]\|@}n(]_~.np`h^_| ~Vv˜¥2n‰¨npnp[Éfys!}.ugnpsn[@]_nÀb=Ðt]_~. n ,bÃfy[?¨.c ^a”h~´>–Íŀh£Îaµ#ª`.­Êqr^a`2s‘Y SV Y\²±ÍŸX˜Îaµ ´   Gqr^_`h s ,b?fg[?¨.c.^_”h~*Íŀh¡Îaµ#v„[Vb"²;´§– qr^a`2s ;Äh]_np¨`h^a”&ÍwXxµ,€2˜Îaj ª`.­"v„[Vb ´   Mvx^_nt¨V`2]a~"¨Vv„zanÀb`2[Rª`.­hcvx[Vbvx[Vb’ c np] / z½dpv„uwdŠc.ugc.z(`„q dŠ`2[.za]_^acVde]afg`h[.z˜µ ® ~.fgugn0²;´§–"fgz vx[!fys!}.ugnpsn[@]Švx]_fy`2[(`xq{]a~.n;]_~.np`h^_|¦®#n;b?npzƒde^afg¨Vnšfg[]_~.fgz8d_~Vv„}.]anp^˜j ²¨.^_fyneq `x¥2np^a¥?fgnp®`„q,]a~.n;²´>–"z_|@z_]anpsfgz ”2fy¥2np[fg[!zanÀdŠ]_fg`h[Ò¡ j W WW.U¾TVW   ¹VQ QW?¿ŠT.¿pQ,S½ Ž ~.n¨Vvxz_fwd,fwb?nÀvE`„qV]\|?}Vn]a~.n`h^a|K]a`;fwb?np[?]afmqr|;}.^_`h}`hzafg]_fy`2[.z§® fg]_~½z_np]az,”2`?npz{¨Vvhd_Ç(]_` ªc.^_^a|!͟X˜£Îaµx® ~.`([.`2]afwdŠnÀbš]_~Vvx]B]a~.n0v 1Ãfg`2sz=q¶`h^{}V`2zafg]afg¥2n#fgs} uyfwdpv„]afg`h[vxuhdpv„uŸdec.ugc.zÀµ qr`2^astc.uwvx]_nÀbšfg[]_~.n½’ fgug¨np^a] z_]\|@ugnhµ

9\Ab9 4Z9 A: 4]9bA:b9

dŠ`h^_^anpz_}V`2[Vb

#LD (Z
  !^`ac ^+c` ]a`š]a~.n(]\|?}npz0`„qD]_~.n;¨Vvxz_fŸd;dŠ`2st¨.fg[Vvx]_`h^_z
±vx[b



7$9 A 9 b74]9 A: 4Z9  A:  9

Á¦`.b?c.zt}`h[.n[.z½]_~.np[dŠ`2^a^anza}`h[Vb?z!]a` qrc.[Vde]afg`h[Vv„u8v„}.}.ugfwdpvx]_fg`h[§j Ž v„fg]tÍÅh•Î [.`x ]afwdŠnÀb ]a~ n;qrc.^_]a~.np^(v„[Vvxug`h”2|t]a~Vv„]0^_nps`x¥?fg[.”tvdŠc.]Efg[Òvtb?np^_fy¥hv„]afg`h[dŠ`2^a^_npza}`h[VbÃz ]a`vš^_nÀb?cVdŠ]_fg`h[¦za]_np}`xq,]_~.n½dŠ`2st¨.fg[Vvx]_`h^,^_np}.^anzanp[?]afg[.”!]a~.nK}.^a`?`xqŠj,’ `x® vx^ƒb Íŀh€Î n1.]anp[b?nÀb"]_~.npz_ntfŸbÃnÀvxz;]a`!žV^_za]N«`2^ƒb?np^Kfy[?]_c.fg]afg`h[.fgz_]afwd;vx^afg]_~.snp]_fwdxj;²0[.`2]a~.n^(®8v˜| ]a`¦zann]a~vx];}.^a`2}V`2zafg]afg`2[.z(dpvx["¨ntzanpn[Rvxz(z_np]az(fgz(]_~.^a`2c.”h~"’ n|@]_fg[.'” / zšÍŀ.X_Î#n 1? }.uwvx[Vv„]afg`h[ z0`xq]a~.ntug`h”2fwdpvxu{dŠ`h[.z_]ƒv„[@]_zÀjšŽ ~.ndŠ`2[.za]_^acVde]afg¥hntn 1.}.uwv„[Vvx]_fy`2[`xquy`2”hfwd fgz#fg[]_np^as!z `xq{}.^a`?`xq¶zÀÐ{v(}.^_`h}`hz_fy]_fg`h[fgz ]_^ac.n;fmqD®n0Ç?[.`x®~ `x®]a`š}.^a`x¥2n;fy]˜jD– `h^ fgs}.ugfwdpvx]_fg`h[š®#n;~Vv˜¥2n ² }.^a`?`xq0`„Sq 9 eAfgz½v‰qrc.[VdŠ]_fg`h[&©rs!np]a~ `Ãb¾µ§}.^_`h”2^ƒvxs¦¬E® ~.fwda~"]_` n˜vhd_~¦}.^a`?`xq,`„q 9”hfg¥2npz0v(} ^a`?`xq,`xq Atj Ž ~.n0[ `h]afg`2[t`xq=qrc.[dŠ]afg`h[t`2^#s!np]a~ `Ãbšfgz,} ^afgsfg]afg¥2n,fg[dŠ`h[.z_]a^_cVdŠ]afg¥2ns¦vx]_~.nps‰v„]afwdŠz vx[Vb¦vKqrc [VdŠ]afg`2[tqr^_`hsv(z_npS] 9]_`všzanp8] A dvx[¦¨VnK¥@fgnp®nÀb¦vxz0vš} ^a`h”2^ƒv„sM® ~.fwd_~ ® ~.np[&vx}.}.ugfgnÀb ]a`Òv„["npugnpsn[@]Kfy [ 9 ”hfg¥hnpzšvx["npugnps!np[?](fgN [ Avxzš`hc.]_}.c.]Àj¦Ž ~ n fwb?nÀvš`xq{}.^a`2}V`2zafg]afg`2[.z8v„z zanp]_z fgz [.`x®]a`tfwb?n[@]_fmqr| vš} ^a`h}`hz_fg]afg`h[!® fy]_~]_~.n;zanp]E`xq fg]az }.^_`@`„qrzÀj{Y\[dpv„zan(`„qDfgs} uyfwdpv„]afg`h[š®n”2np] 9  AGfgz;fŸbÃnp[?]afmžVnÀb® fg]a~ 9 Atµ>]a~ ntzanp](`„q,qrc.[dŠ]afg`h[ z;qr^a`2s 9 ]_K` Atj Ž ~.nšnpugnpsnp[?]_zfg[]_~.ntzan;] 9  AGvx^_n½`„q8]_~.n(q¶`h^a s 6>i M„µV® ~ np^aKn M 7NAvx[Vb M s‰v˜|tb?np}np[Vb¦`2$[ 6 7!9šj ’ np|?]afg[.” / z0n 1.}.uwvx[vx]afg`2[`xq#dŠ`2[À“Šc.[dŠ]afg`h[¦fgz ]a~vx]vš} ^a`?`xq,`x&q 9 Afgz0vt}vxfg^ ® ~.`hz_nšžV^az_] de`hs}`h[ np[?]fgz(v¦}.^_`?`xq `xq 9 vx[Vb ® ~.`2zantzan˜dŠ`h[VbËdŠ`hs!}V`2[.np[?];fgz v }.^a`?`„q `„q Atj ’ np[Vdenhµ®#n;”hn]0]a~ n;qr`hugug`x® fg[.”(fg[?]anp^_}.^an]ƒvx]_fg`h[¦`xq#vtdŠ`2[À“Šc.[Vde]afg`h[vxz všzanp]˜j 9Afgz§fwb?n[@]_fmžVnÀbK® fy]_ ~ 9Atµ2]a~.n dpvx^_]anpz_fwvx[š}.^a`.b?cVde]D`„'q 9 v„[Vb Atj Ž ~.n npugnps!np[?]az{fg[½]_~.n zanpT] 9;Avx^_n `xq=]a~.nq¶`h^a s  JFGM>® ~.n^aSn J 7!9vx[Bb M 7$Atj ² bÃfyzg“Šc.[Vde]afg`h[fgz(dŠ`2[.za]_^acVdŠ]_fg¥hnpug|]_^ac.nšfmq8vx[Vb `h[.ug|¦fmq#®#ntdpv„[}.^a`x¥2n½`2[.nš`xq ]a~.nbÃfyzg“Šc.[Vde]azÀjšˆ?`v!}.^a`?`xq`xq 9$AGfgz0nfy]_~.np^½v!}.^_`?`xq#`„q 9`h^(v!}.^a`?`xq`xSq A ]a`2”hnp]_~.np^0® fg]_~]a~ nfg[?q¶`h^as¦vx]_fy`2[½`„qD® ~.fwd_~`„q 9`2S^ A ®n;~Vv˜¥hn;vš}.^a`?`„qƒjD’ np[VdŠn2µ 9 Afgzfwb?np[?]afmžVnÀb!® fg]a~ 9 Atµ ]a~.n(b?fgzy“e`hfg[?]#c.[ fy`2[`„q 9 vx[! b A‹j

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

Ž ~.n npugnps!np[?]az{fg[½]_~.n zan] 9KA9vx^an`xq=]a~ nqr`h^_s
 4,J[:Dv„[Vb 4=M:pµ2® ~.np^anSJ vx[!b M@7$Atj Ž ~.n;[.np”?vx]afg`2[‰`„q vš}.^_`h}`hz_fy]_fg`h[K9 dvx[¦¨Vn(b?nežV[.nÀb¦¨?|=Ð

9

9

7 9

® ~.np^_n za]Švx[Vb?z qr`h^0v„¨.zac ^ƒb?fg]\|?µ?]a~Vv„] fyz0vš} ^a`h}`hz_fg]afg`h[¦® ~.fwd_~¦~Vvxz [.`t} ^a`?`xqƒjBY¶q ®nugnp ] tbÃnp[.`h]_n;]a~.n(ns}.]\|tz_np]Àµ ®#n;~Vv˜¥2n  9¢fgz fwb?np[?]_fސnÀb!® fy]_~¦]a~.n;zanS] 9  c.z_fy[ ”t]a~.n;fg[?]anp^_}.^anp]Švx]_fy`2[¦`xqDfgs!}.ugfŸdvx]afg`2[§j Y\[`h^Šb?np^!]a`Rfg[?]an^a}.^_np]¦}.^a`2}V`2zafg]afg`h[ zb?nŠžV[.n˜bc.z_fg[.” ­2cVv„[@]_fmžVnp^az˜µ ®n[.npnÀb `h}np^Švx]afg`2[.zDb?nežV[.nÀbK`h[;q\vxsfgugfÅnzV`„qÃz_np]az˜µhf\j nhj=z_np]az A*b?np}np[Vb?fg[.”E`h[(nuynsnp[?]a&z 6;fg[ za`2sn{zan] 9šj "n{ugnp&] A 6 Jhb?np[.`2]an]a~.n,Xn 1Ã} ^anpz_zafg`h[š`h¨.]Švxfg[.nÀb ¨@|;z_c.¨.za]_fg]ac.]_fy[ ” J qr`h^,vxugu?q¶^anpnE`ÃddŠc.^a^_np[VdŠnz0`xq 6tfgE [ Atj,’ n|@]_fg[.'” / z,n 1.}.uwv„[Vvx]_fy`2[(`xq§]_~.n n 1.fgza]_np[?]afwvxu ­2cVvx[?]_fސnp^ fgz ]a~.nEqr`2uyug`x® fg[.”j ²¢}.^_`?`xq§`xq 4=