Formalizing Arne Andersson trees and Left-leaning Red-Black trees in Agda LINUS EK OLA HOLMSTRÖM STEVAN ANDJELKOVIC Institutionen för Data- och informationsteknik CHALMERS TEKNISKA HÖGSKOLA Göteborg, Sverige 2009 Kandidatarbete/rapport nr 2009:061 (cid:0)(cid:2)(cid:1)(cid:4)(cid:3)(cid:4)(cid:5)(cid:7)(cid:6)(cid:8)(cid:3)(cid:4)(cid:5)(cid:7)(cid:9) (cid:10) (cid:11)(cid:13)(cid:12)(cid:7)(cid:14)(cid:16)(cid:15)(cid:18)(cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:24)(cid:23)(cid:25)(cid:14)(cid:27)(cid:26)(cid:28)(cid:17)(cid:29)(cid:12) (cid:30) (cid:31)(cid:25) !(cid:31) "$#&%(’*)(cid:25)+(,&-/.102 3 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 6 (cid:31)(cid:25) 76 8(cid:8)+(9:+(9(cid:13);<-/=?>@=!A(9(cid:13)> 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 6 (cid:31)(cid:25) 7B C(cid:4)9:DE#(cid:18)A(9(cid:13)0GFH,&+@’ 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 6 (cid:31)(cid:25) I JLKM9:+@K*=?9:FN,(cid:18)OPA@Q19SRT#(cid:18)R(cid:7)9:+U 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 B (cid:30) VXWT(cid:19)(cid:22)YZ(cid:26)[(cid:12)(cid:7)(cid:14)(cid:16)(cid:15)(cid:18)(cid:17)(cid:20)(cid:19)(cid:22)(cid:21)(cid:24)(cid:23)(cid:25)(cid:14)(cid:27)(cid:26)(cid:28)(cid:17)(cid:29)(cid:12) \ \ ](cid:20)(cid:17)T(cid:15)^(cid:14)(cid:16)_‘(cid:19)ba[(cid:26)(cid:28)c(cid:13)(cid:14) d Be !(cid:31) fPgeA(9:+@.T#(cid:18)DhD?,&)(cid:25)=?%i 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 j Be 76 kl.‘A(9:+@.T#(cid:18)DhD?,&)(cid:25)=?%m 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 n o VX(cid:15)&(cid:12)h_pVX(cid:12)(cid:24)(cid:19)(cid:24)_<(cid:15)^c(cid:27)c(cid:16)(cid:17)(cid:29)(cid:12)i(cid:14)(cid:16)(cid:15)^_<_ (cid:10)eq I1 !(cid:31) JLKM9:+@K*=?9:F 5 3 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:16)s I1 76 kl.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘A(>t 5 3 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:16)s I1 7B kluvR/D?9:uw9:.‘A@=!./)x=!.1>(9:+@A@=?,&.(cid:2) 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:25)(cid:31) I1 I 8(cid:8)+(,(cid:27)K<=!./)XA@QT#(cid:18)AyA@Q193z/=!.T#(cid:18)+@{|>(9(cid:16)#(cid:18)+(%(Q}A@+(9(cid:13)9S=!.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘A~Q1,&D?0/>(cid:127)O[,&+$=!.1>(cid:128)9:+@A@=?,&.(cid:129)(cid:31)(cid:16)B (cid:130) (cid:131)(cid:132)_‘(cid:133)(cid:134)(cid:14):(cid:135)(cid:136)a(cid:137)_(9:-10/,(cid:144)%(cid:13),<0/9G 3 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:16)(cid:142) (cid:142)e 76 kl.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘A(>t 5 3 4 3 5 3 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:16)(cid:145) (cid:142)e 7B f(cid:8).1%(cid:13),*0e=!./)(cid:144)=!.(cid:4)=!.(cid:146)A@Q19501#(cid:18)A(cid:128)#vA(cid:134){*R(cid:7)9(cid:147) 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:27)j (cid:142)e I C(cid:4)9:F(cid:148),&+@’M9(cid:13)0G=!.1>(9:+@A@=?,&.p#(cid:18)D!)M,&+@=!A@Q/u 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 r(cid:31)(cid:16)(cid:149) (cid:150) (cid:151)G(cid:26)(cid:28)c(cid:16)(cid:23)<(cid:21)hc(cid:16)c^(cid:26)(cid:137)(cid:17)(cid:7)(cid:12) (cid:30)Tq (cid:145)e !(cid:31) kl.‘A(9:+@.T#(cid:18)DhKe>(cid:16) (cid:8)9(cid:152)geA(9:+@.T#(cid:18)D(cid:153)=!uvR/D?9:uw9:.‘A(cid:128)#(cid:18)A@=?,&.1>~ 3 5 3 5 4 3 5 3 5 3 5 5 3 (cid:154)6(cid:25)s d (cid:155)h(cid:21)h(cid:15)^(cid:14)(cid:27)(cid:156)h_<(cid:15)(cid:144)(cid:157)(cid:158)(cid:17)T(cid:15)(cid:18)(cid:140) (cid:30)(cid:20)(cid:10) j* !(cid:31) (cid:159)/-/+@A@Q19:+~>@=!uvR/D!=¡(cid:160)T%(cid:16)#(cid:18)A@=?,&.G 5 5 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 (cid:154)6e(cid:31) j* 76 8(cid:8)+(,(cid:27)KM95A@Q193=?>(,&uw,&+@R/Q/=?>(uw>¢ 3 5 3 4 3 5 5 3 5 3 5 4 3 5 3 5 3 5 5 3 (cid:154)6e(cid:31) j* 7B £@A@+@-1%:A@-/+(9(cid:13)>(cid:4)z(cid:7)9:QT#(cid:16)KM95D!=!’M9~(cid:160)1./=!A(95>(cid:128)9:A(> 3 5 5 3 (cid:154)6e(cid:31) ⁄ V¥(cid:23)(cid:18)(cid:140)(cid:153)(cid:12)(cid:24)(cid:17)<(cid:157)(cid:144)a(cid:28)_<(cid:19)(cid:24)W(cid:7)ƒ§_<(cid:12)(cid:7)(cid:14)(cid:16)c (cid:30)(cid:20)(cid:10) ¤ VX'(cid:22)'(cid:143)_<(cid:12)(cid:24)(cid:19)(cid:22)(cid:26)(cid:137)“ (cid:30)(cid:29)(cid:30) (cid:31) «5‹fi›(cid:128)fl(cid:136)(cid:176)(cid:13)–M†(cid:16)fl ‡X·(cid:127)(cid:181)(cid:8)¶‚•„•1”l»M…(cid:13)(cid:181)§»‘…(cid:13)(cid:181)(cid:190)‰l…~¿‘”l·H‰(cid:192)»M·$`(cid:25)·(cid:128)´*·(cid:128)ˆ<`(cid:25)·(cid:128)ˆ(cid:18)‰l•‚˜3‰¯˜&´*·(cid:136)`(cid:158)´M˘(cid:192)…(cid:27)˙(cid:27)˘(cid:201)¨(cid:16)˚S˚S¶‚ˆM˙y•¡¨(cid:16)ˆ(cid:25)¸ ˙(cid:27)¿‘¨(cid:27)˙(cid:27)·(cid:153)(cid:204)(cid:132)˙^`M¨P‰(cid:192)…(cid:143)´M˘(cid:192)…(cid:13)˝(cid:27)·(cid:7)‰l»‘·h˛M¶‚ˆ‘¨(cid:16)˘(cid:192)˜H”l·(cid:136)¨(cid:27)˘(cid:192)ˇ(cid:201)»(cid:148)‰(cid:192)˘l·(cid:136)·(cid:20)¶„ˆ&˝(cid:13)¨(cid:16)˘(cid:192)¶‚¨(cid:27)ˆ(cid:18)‰1…(cid:16)—M(cid:204)(cid:143)˘(cid:192)ˆM·h(cid:204)(cid:132)ˆ‘`(cid:25)·(cid:128)˘(cid:201)”(cid:192)”(cid:134)…^ˆ ‰l˘(cid:192)·(cid:128)·(cid:152)”h¨(cid:16)ˆ<`~‰l»M·H˛M¶„ˆ<¨(cid:16)˘(cid:192)˜~”l·(cid:136)¨(cid:27)˘(cid:192)ˇ(cid:201)»~‰l˘(cid:192)·(cid:128)·H¨(cid:16)ˆ‘`~‰(cid:192)»M·Hˇ(cid:128)…(cid:27)•‚…(cid:27)˘(cid:153)¶‚ˆ&˝:¨(cid:27)˘l¶¡¨(cid:16)ˆ(cid:18)‰(cid:201)”(cid:20)…(cid:16)—/•‚·(—!‰(cid:134)¸[•‚·(cid:136)¨(cid:16)ˆ‘¶„ˆM˙ ˘l·(cid:152)`&¸[˛M•‚¨^ˇ(cid:201)(cid:209)S‰l˘(cid:192)·(cid:128)·(cid:152)”(cid:128)(cid:210) (cid:211) (cid:212) (cid:3)L(cid:5)T(cid:213)fi(cid:1)3(cid:214)(cid:158)(cid:215)(cid:217)(cid:216)h(cid:5)(cid:29)(cid:218)((cid:1)y(cid:3) (cid:219)(cid:153)(cid:220)(cid:134)(cid:219) (cid:221)|(cid:222)(cid:20)(cid:223)‘(cid:224)(cid:22)Æh(cid:226)Mªh(cid:228)(cid:132)(cid:229)H(cid:230) (cid:231) #(cid:18)A(cid:128)#v>(A@+@-1%:A@-/+(9(cid:13)>~#(cid:18)+(9SO[-/.101#(cid:18)uw9:.‘A(cid:128)#(cid:18)D(cid:22)z/-/=!D?0e=!./)(cid:144)z/D?,*%(’e>y=!.ŁR/+(,&)(cid:25)+(cid:128)#(cid:18)uvuv=!./)1Ø(cid:29)A@Q19:+(9(cid:152)OŒ,&+(9 =!A~=?>~=!uvR(cid:7),&+@A(cid:128)#(cid:18).(>@-/+(9 {M,&-/+(>(cid:128)9:D¡O(cid:201)(cid:237)(cid:132)#(cid:18).10(cid:238),&A@Q19:+(>(cid:27)(cid:237)(cid:8)A@QT#(cid:18)AvA@Q19x=!uvR/D?9:uw9:.‘A(cid:128)#(cid:18)A@=?,&.(cid:2)=?>v%(cid:13),&+@+(9(cid:13)%:Av=?>(cid:158)A(,(cid:239)%(cid:13),*0/9X=!A¥=!.i# OŒ,&+@u(cid:144)#(cid:18)Dh>@{e>@A(9:uG(cid:237)eF$Q/=?%(cid:128)QG=?>(cid:4)#(cid:18)z/D?93A(,w0/,v>(cid:128),&uw95,(cid:18)O(cid:22)A@Q193%(cid:13),*0/93KM9:+@=¡(cid:160)T%(cid:16)#(cid:18)A@=?,&.ŁO[,&+${M,&-(cid:153) (cid:240) 9H>@QT#(cid:18)D!De=!.(cid:128)9H,&.19(cid:148)>@-1%(Qv>@{e>@A(9:uG(cid:237)&ºL)M01#e(cid:237)&A(,(cid:4)=!uvR/D?9:uw9:.@A@+@-1%:A@-/+(9(cid:13)>(cid:16)Ø(cid:132)º(cid:4)+@.19xº(cid:4).10/9:+(>(cid:128)>(,&.ZA@+(9(cid:13)9(cid:13)>v#(cid:18).10§D?9(cid:152)O[A(cid:201)(cid:242) D?9(cid:16)#(cid:18)./=!./)(cid:144)+(9(cid:13)0*(cid:242)¯z/DE#&%(’(cid:146)A@+(9(cid:13)9(cid:13)>(cid:16) º(cid:4))M01#(cid:238)(cid:243)ı(cid:244)~,&+(cid:128)sMj^(cid:246)(cid:4)=?>X#(cid:190)0/9:R(cid:7)9:.10/9:.(cid:128),¥z(cid:7)9S-1>(9(cid:13)0}#&>(cid:4)#(cid:217)O[,&+@u(cid:144)#(cid:18)DhD?,&)(cid:25)=?%(cid:25) º(cid:4)+@.19SºL.10/9:+(>(>(,&.§(cid:247)[ºLº3ł(cid:143)A@+(9(cid:13)9(cid:13)>3(cid:243)ıº(cid:4).101n(cid:25)B(cid:18)(cid:246)(cid:153)#(cid:18)+(9~K&#(cid:18)+@=E#(cid:18)A@=?,&.1>(cid:4),(cid:18)Ohz/=!.T#(cid:18)+@{(cid:144)A@+(9(cid:13)9(cid:13)>(cid:16) (cid:8)ø(cid:127)Q19:{ #(cid:18)+(95=?>(,&uw,&+@R/Q/=?%3F$=!A@Q}6^(cid:242)lB¥A@+(9(cid:13)9(cid:13)>L#(cid:18).10Ł#(cid:18)+(95>@=!uvR/D?9SA(,v=!uvR/D?9:uw9:.y(cid:243)ß£*9(cid:13)01s(cid:25)(cid:149)(cid:18)(cid:246)(cid:29)#(cid:18)+(9(cid:4)>@=!uvR/D!=¡(cid:160)T%(cid:16)#(cid:18)A@=?,&.1>H,(cid:18)O(cid:7)+(9:)(cid:25)-/DE#(cid:18)+ +(9(cid:13)0*(cid:242)¯z/DE#&%(cid:128)’(cid:146)A@+(9(cid:13)9(cid:13)>(cid:16) (cid:8)ø(cid:127)Q19:{G#(cid:18)+(95#(cid:18)D?>(,w>@=!uvR/D?95A(,¥=!uvR/D?9:uw9:.‘A(cid:16) (cid:219)(cid:153)(cid:220)(cid:137)(cid:252) (cid:253)X(cid:226)M(cid:254)1(cid:226)M(cid:254)(cid:29)(cid:255)(cid:22)(cid:228)(cid:1)(cid:0)(cid:3)(cid:2)(cid:4)(cid:0)(cid:6)(cid:5)(cid:25)(cid:254)(cid:7)(cid:2) (cid:244)~,(cid:146)R/+@=?,&+49(cid:152)geRfi9:+@=?9:.1%(cid:13)9w=!.§R/+(,&)(cid:25)+(cid:128)#(cid:18)uvuv=!./)(cid:239)F$=!A@QZ0/9:Rfi9:.10/9:.‘A(cid:158)A(cid:134){*R(cid:7)9(cid:13)>4=?>4#&>(>@-/uw9(cid:13)0(cid:20)(cid:237)P#(cid:18)D¡(cid:242) A@Q1,&-/)(cid:25)Q(cid:144)FH9y0/,59(cid:152)geRfi9(cid:13)%:A(cid:8)A@Q19$+(9(cid:16)#&0/9:+(cid:143)A(,Szfi9(cid:148)OŒ#(cid:18)uv=!D!=E#(cid:18)+(cid:143)F$=!A@Q(cid:144)R/+(,&)(cid:25)+(cid:128)#(cid:18)uvuv=!./)(cid:217)=!.(cid:144)#3>(=!uvR/D!{ Al{@-1%(cid:128)Q #&>(cid:9)(cid:8)S#&>@’M9:D!D¯(cid:237)H=!.(cid:2),&+(0/9:+(cid:144)A(,(cid:190)zfi9G#(cid:18)z/D?9(cid:146)A(,(cid:190)z/+@=?9(cid:11)(cid:10)1{ 9(cid:152)geR/DE#(cid:18)=!.Ł0/9:Rfi9:.10/9:.‘ALA(cid:134){*R(cid:7)9(cid:13)>(cid:4)#(cid:18).10GF$QT#(cid:18)AyA@Q19:{x9:.T#(cid:18)z/D?95-1>$A(,w0/,/ º zT#&>@=?%~-/.10/9:+(>@A(cid:128)#(cid:18).10e=!./)(cid:144),(cid:18)OP01#(cid:18)A(cid:128)#¥>@A@+@-1%:A@-/+(9(cid:13)>(cid:127)=?>y#(cid:18)D?>(,v#&>(>@-/uw9(cid:13)0(cid:20)(cid:237)e=!.1%:D!-10e=!./)(cid:144)Q1,(cid:16)F 6^(cid:242)lBvA@+(9(cid:13)9(cid:13)>(cid:4)#(cid:18).10(cid:146)+(9:)(cid:25)-/DE#(cid:18)+y+(9(cid:13)0*(cid:242)¯z/DE#&%(cid:128)’(cid:146)A@+(9(cid:13)9(cid:13)>$FH,&+@’fi (cid:219)(cid:153)(cid:220)(cid:13)(cid:12) (cid:14)(cid:239)(cid:254)(cid:7)(cid:15)(cid:134)(cid:222)(cid:16)(cid:5)&(cid:254)(cid:29)(cid:230)(cid:18)(cid:17)|ª(cid:153)(cid:226)M(cid:224) (cid:19) #(cid:18)’*=!./)§-1>(9G,(cid:18)O30/9:R(cid:7)9:.10/9:.(cid:144)A(,§KM9:+@=¡O(cid:28){(cid:238)01#(cid:18)A(cid:128)#(cid:190)>@A@+@-1%:A@-/+(9(cid:13)>XQT#&> zfi9(cid:13)9:. 0/,&.19}zfi9(cid:152)O[,&+(9(cid:25) (cid:21)(cid:20)L=E#&, (cid:243)(cid:22)(cid:20)L=E#(cid:25)s(cid:25)B(cid:18)(cid:246)S>@Q1,(cid:16)F(cid:148)9(cid:13)0 Q1,(cid:27)F A(,(cid:138)=!uvR/D?9:uw9:.‘A|z/=!.T#(cid:18)+@{(cid:2)>(cid:128)9(cid:16)#(cid:18)+(%(Q A@+(9(cid:13)9(cid:13)>x#(cid:18).10(cid:2)º(cid:24)(cid:23) œ A@+(9(cid:13)9(cid:13)>(cid:144)=!. #(cid:18). 9(cid:16)#(cid:18)+@D!=?9:+(cid:144)KM9:+(>@=?,&. ,(cid:18)O3ºL)M01#e ø(cid:127)Q19G>@A(cid:128)#(cid:18).101#(cid:18)+(0iD!=!z/+(cid:128)#(cid:18)+@{ ,(cid:18)O(cid:143)A@Q19¥%:-/+@+(9:.(=?,&.p,(cid:18)OHºL)M01#X%(cid:13),&.‘A(cid:128)#(cid:18)=!.1>5#(cid:18).p=!uvR/D?9:uw9:.‘A(cid:128)#(cid:18)A@=?,&.Z,(cid:18)O(cid:132)º(cid:24)(cid:23) œ A@+(9(cid:13)9(cid:13)>3#&> F(cid:148)9:D!DL(cid:243)A(9(cid:16)#(cid:25)#(cid:18)(cid:246)(cid:134) x(cid:244)~,&+(9:D!D(cid:132)QT#&>5=!uvR/D?9:uw9:.5=!.(cid:138)º(cid:4))M01#(cid:138)(cid:247)[%(cid:13),<0/9v=!. #(cid:18)R/R(cid:7)9:.10e=¡gTł(cid:152) JLA@Q19:+(cid:143)0/9:Rfi9:.10/9:.‘A@D!{(cid:158)A(cid:134){*Rfi9(cid:13)0¥DE#(cid:18)./)(cid:25)-T#(cid:18))M9(cid:13)>(cid:8)QT#(cid:13)KM9(cid:127)zfi9(cid:13)9:.v-1>(9(cid:13)0(cid:158)A(,~KM9:+@=¡O(cid:28){(cid:158)01#(cid:18)A(cid:128)#S>@A@+@-1%:A@-/+(9(cid:13)>(cid:16)Ø (cid:25) =H(cid:243)(cid:25) =EsMj^(cid:246)(cid:22)=!uvR/D?9:uw9:.‘A(9(cid:13)0(cid:239)+(9(cid:13)0*(cid:242)¯z/DE#&%(’}A@+(9(cid:13)9(cid:13)>~=!. (cid:231) 9:Rfi9:.10/9:.‘A (cid:19)}œ (cid:19) ,(cid:25)>@A~,(cid:18)O(cid:143)A@Q19(cid:217)FH,&+@’ =!.pA@Q/=?>S#(cid:18)+(9(cid:16)#(cid:144)QT#&>Lzfi9(cid:13)9:.p0/,&.19(cid:217)-1>@=!./)xA@Q19(cid:217)0/9:Rfi9:.10/9:.‘A@D!{}A(cid:134){*R(cid:7)9(cid:13)0p>@{e>@A(9:u(cid:27)(cid:26)(cid:148),*;§(cid:243)A(9(cid:16)#(cid:18)ze(cid:246)(cid:134) £*,(cid:4)(cid:28)(cid:16)9(cid:16)#(cid:18)-(cid:2)QT#&>w9(cid:152)g*A(9:.10/9(cid:13)0(cid:29)(cid:26)(cid:148),<;ZA(,(cid:190)u(cid:144)#(cid:18)’M9(cid:146)=!Avuw,&+(9G>(-/=!A(cid:128)#(cid:18)z/D?9|O[,&+(cid:144)R/+(,&)(cid:25)+(cid:128)#(cid:18)uvuv=!./)(cid:141)#(cid:18).10 6 -1>(cid:128)9(cid:13)0XA@Q/=?>$9(cid:152)geA(9:.1>@=?,&.|A(,¥R/+(,(cid:16)KM9~(cid:160)1./)M9:+$A@+(9(cid:13)9(cid:13)>(cid:27)(cid:243)ß£*,(cid:4)(cid:28)(cid:27)sMj^(cid:246)(cid:134) (cid:8)(cid:159)(cid:22)=!D!D!=(cid:31) (cid:30) A@+(93#(cid:18).10 œ 9:A(,&-!(cid:28)(cid:16)9:{x-1>(9(cid:13)0 A@Q19S>(cid:128)#(cid:18)uw9S9(cid:152)geA(9:.1>@=?,&.(cid:146)A(,(cid:158)=!uvR/D?9:uw9:.‘A(cid:4)>(cid:128),&+@A(9(cid:13)0|D!=?>@A(>(cid:16)(cid:237)eº"(cid:23) œ A@+(9(cid:13)9(cid:13)>y#(cid:18).10|+(9(cid:13)0*(cid:242)¯z/DE#&%(’xA@+(9(cid:13)9(cid:13)> (cid:243)ı(cid:159) œ (cid:246)(cid:134) (cid:219)(cid:153)(cid:220)$# %’&h(cid:254)T(cid:226)(&)(cid:0)¯(cid:254)!(cid:17)(cid:154)ª+*,(cid:5).-(cid:143)(cid:254)0/H(cid:222)(cid:16)/$(cid:254)T(cid:226) ø(cid:127)Q194+(9(cid:13)>@A(cid:4),(cid:18)O(cid:8)A@Q193RT#(cid:18)Rfi9:+(cid:4)=?>L,&+@)‘#(cid:18)./=1(cid:28)(cid:16)9(cid:13)0p#&>yO[,&D!D?,(cid:27)Fy>(cid:16) (cid:127)(cid:159)(cid:24)=!+(>(AyFH94F$=!D!D(cid:153)=!.‘A@+(,*0e-1%(cid:13)9(cid:217)ºL)M01#e º(cid:4)O[A(9:+~A@QT#(cid:18)A3F(cid:148)9¥F$=!D!D(cid:8)D?,<,&’(cid:239)#(cid:18)A3Q1,(cid:16)F A(,|=!uvR/D?9:uw9:.(,&+@A(9(cid:13)0(cid:239)D!=?>@A(>S=!.§ºL)M01#e(cid:237)(cid:20)A@Q/=?>SF$=!D!D =!D!D!-1>(A@+(cid:128)#(cid:18)A(9v>(,&uw9¥A(9(cid:13)%(Q/./=?;<-19(cid:13)>3A@QT#(cid:18)A3FH9¥F$=!D!D(cid:8)-1>(cid:128)9(cid:217)F$Q19:.§9(cid:152)geR/DE#(cid:18)=!./=!./)(cid:146)Q1,(cid:16)F FH9¥=!uvR/D?9(cid:152)(cid:242) uw9:.(>(cid:128),&. A@+(9(cid:13)9(cid:13)>}#(cid:18).10bD?9(cid:152)O(cid:28)A(cid:201)(cid:242)¯D?9(cid:16)#(cid:18)./=!./)i+(9(cid:13)0*(cid:242)¯z/DE#&%(cid:128)’bA@+(9(cid:13)9(cid:13)>(cid:16)(cid:237)(cid:4)F$Q/=?%(cid:128)QN#(cid:18)+(9 >(Q1,(cid:16)FH9(cid:13)0Ł=!.(cid:146)A@Q193A(cid:134)F(cid:148),w.19(cid:152)geAy>(9(cid:13)%:A@=?,&.1>(cid:16) ø(cid:127)Q19L>(9(cid:13)%:A@=?,&.1>(cid:4)£*,&+@A(9(cid:13)0XD!=?>@A(cid:16)(cid:237)eºL+@.19LºL.10/9:+(>(>(,&.xA@+(9(cid:13)9~#(cid:18).10 œ 9(cid:152)O[A(cid:201)(cid:242)¯D?9(cid:16)#(cid:18)./=!./)¥+(9(cid:13)0*(cid:242)¯z/DE#&%(’ A@+(9(cid:13)95#(cid:18)+(9~F$+@=!A@A(9:.}#(cid:18)A(cid:127)Q/=!)(cid:25)Q(cid:146)D?9:KM9:D(cid:20)A@+@{*=!./)vA(,¥%(cid:13),&.‘KM9:{xA@Q19S)M9:.19:+(cid:128)#(cid:18)D(cid:20)=?0/9(cid:16)#¥,(cid:18)O(cid:24)A@Q19S=!uvR/D?9(cid:152)(cid:242) uw9:.(cid:16)Ø(cid:148)#(cid:18).10w%(cid:13),*0/9$A@Q19$+(9(cid:16)#&0/9:+(cid:132)=?>(cid:143)+(9(cid:152)OŒ9:+@+(9(cid:13)0vA(,3A@Q19 #(cid:18)R/Rfi9:.10e=¡g(cid:20) 2 354 (cid:214)76U(cid:218)(cid:128)(cid:3)(cid:4)(cid:5)(cid:29)(cid:213)(cid:7)(cid:1)3(cid:214)(cid:158)(cid:215)(cid:217)(cid:216)h(cid:5)(cid:29)(cid:218)((cid:1)(cid:4)(cid:3) (cid:240) 9yF$=!D!DT.1,(cid:16)F R/+(,(cid:16)K*=?0/9(cid:4)A@Q19(cid:4)9(cid:13)>(>(9:.‘A@=E#(cid:18)D?>(cid:148),(cid:18)O(cid:153)º(cid:4))M01#3.19(cid:13)9(cid:13)0/9(cid:13)0wA(,3-/.10/9:+(>@A(cid:128)#(cid:18).10XA@Q/=?>(cid:143)RT#(cid:18)Rfi9:+(cid:16) CL9(cid:16)#&0/9:+(>hF$Q1,~#(cid:18)+(9(cid:143)=!.@A(9(cid:13)04=!.¥#$uw,&+(9H%(cid:13),&uvR/D?9:A(9(cid:132)=!.@{e>@A(9:uN#(cid:18)+(9 +(9(cid:152)OŒ9:+@+(9(cid:13)0(cid:239)A(,|A@Q19¥A(cid:134)F(cid:148),(cid:146)=!.‘A@+(,*0e-1%:A(,&+@{(cid:239)RT#(cid:18)R(cid:7)9:+(>98 (cid:231) 9:Rfi9:.10/9:.‘A5Al{4#(cid:18)A (cid:240) ,&+@’(cid:141)(cid:243)(cid:231) "$s(cid:25)(cid:149)(cid:18)(cid:246) #(cid:18).10 (cid:231) 9:Rfi9:.10/9:.‘A@D!{vAl{(’M9:D!DH#(cid:18).10(cid:138)ºL)M01#|=?>(cid:217)A@QT#(cid:18)A(cid:217)ºL)M01#(cid:146)=?>(cid:158)#(cid:146)A(,&A(cid:128)#(cid:18)D DE#(cid:18)./)(cid:25)-T#(cid:18))M9(cid:25)(cid:237)(cid:153)A@Q/=?>Luw9(cid:16)#(cid:18).1>SA@QT#(cid:18)AS=¡O(cid:132)F(cid:148)9(cid:158)QT#(cid:13)KM9w#(cid:144)FH9:D!D¡(cid:242)¯A(cid:134){*Rfi9(cid:13)0(cid:190)9(cid:152)g*R/+(9(cid:13)>(>(=?,&.(cid:239),(cid:18)O(cid:148)>(,&uw94Al{(cid:136)#(cid:13){>=@?BA(cid:7)(cid:237)‘F(cid:148)9L’*.1,(cid:16)FbA@QT#(cid:18)A(cid:148)A@Q19L9(cid:152)geR/+(9(cid:13)>(>@=?,&.xF$=!D!DfiA(9:+@uv=!.T#(cid:18)A(9~F$=!A@Q(cid:146)#(cid:18).x=!.‘A(9:)M9:+(cid:127)+(9(cid:13)>@-/D!ADC A@Q19:+(9(cid:217)#(cid:18)+(93.1,¥+@-/.e(cid:242)¯A@=!uw949:+@+(,&+(>(cid:4)#(cid:18).10}#(cid:18)D!D(cid:153)R/+(,&)(cid:25)+(cid:128)#(cid:18)uw>yA(9:+@uv=!.T#(cid:18)A(9(cid:13)>(cid:16) ø(cid:127)Q/=?>yO¯#&%:A~#(cid:18)D!D?,(cid:27)Fy>L-1>LA(,w-1>(cid:128)95A@Q19(cid:217)A(cid:134){*R(cid:7)9(cid:217)>@{*>(A(9:utA(,(cid:144)R/+(,(cid:27)KM94A@Q/=!./)M>(cid:27) yk¯O)(cid:8)S#&>@’M9:D!DEn(cid:25)(cid:149) F(cid:148),&-/D?0GQT#(cid:16)KM93z(cid:7)9(cid:13)9:.(cid:146)A(,&A(cid:128)#(cid:18)DhFH95%(cid:13),&-/D?0ŁR/+(,(cid:16)KM93R/+(,&Rfi,(cid:25)>@=!A@=?,&.T#(cid:18)DhD?,&)(cid:25)=?%(cid:25) º(cid:4))M01#|=?>(cid:158)#(cid:18)D?>(,G0/9:Rfi9:.10/9:.‘A@D!{§Al{(cid:217),&R/R(cid:7),(cid:25)>(9(cid:13)0ZA(,G>@=!uvR/D!{(cid:239)A(cid:134){*Rfi9(cid:13)0(cid:138)#&>E(cid:8)S#&>@’M9:D!D =?>(cid:27)(cid:237)eA@Q/=?>(cid:4)#(cid:18)D!D?,(cid:16)Fy>(cid:4)-1>$A(,vR/+(,(cid:16)KM9(cid:158)#(cid:158)F$=?0/9:+y+(cid:128)#(cid:18)./)M95,(cid:18)OPR/+(,&R(cid:7),(cid:25)>(=!A@=?,&.1>(cid:16) ø(cid:127)Q19(cid:143)O¯#&%:AhA@QT#(cid:18)A(cid:24)FH9(cid:148)%(cid:16)#(cid:18).(cid:217)-1>(9(cid:132)A(cid:134){*R(cid:7)9H>@{e>@A(9:uw>(cid:153)A(,(cid:4)R/+(,(cid:16)KM9(cid:148)A@Q/=!./)M>h=?>(cid:22)0e-19(cid:143)A(,LA@Q19F(cid:26)H-/+@+@{<(cid:242) (cid:8)~,(cid:16)F(cid:127)#(cid:18)+(0x=?>(,&uw,&+@R/Q/=?>@uæF$Q/=?%(Q|>@A(cid:128)#(cid:18)A(9(cid:13)>(cid:132)A@QT#(cid:18)A(cid:148)A(cid:134){*Rfi9(cid:13)>(cid:148)#(cid:18)+(9(cid:4)R/+(,&R(cid:7),(cid:25)>@=!A@=?,&.1>$#(cid:18).10XR/+(,&)(cid:25)+(cid:128)#(cid:18)uw> #(cid:18)+(95R/+(,<,(cid:18)OŒ>(cid:16) k(cid:134)APuv=!)(cid:25)Q‘AH>(9(cid:13)9:u ,<0/0¥A(,SA@Q/=!./’¥,(cid:18)O(cid:29)R/+(,&)(cid:25)+(cid:128)#(cid:18)uw>(cid:148)#&>PR/+(,<,(cid:18)OŒ>(cid:16) (cid:22)ø(cid:127)Q19$=?0/9(cid:16)#&>(cid:8)QT#&>P=!A(>(cid:8)+(,*,&A(> =!.(cid:239)%(cid:13),&.1>@A@+@-1%:A@=!KM9¥u(cid:144)#(cid:18)A@Q19:u(cid:144)#(cid:18)A@=?%(cid:13)>SF$Q19:+(9(cid:158)A@Q19(cid:217)=?0/9(cid:16)#X,(cid:18)O(cid:127)#wR/+(,*,(cid:18)O(cid:143)=?>~.1,&AS#&>~=!.(cid:239)%:DE#&>(>@=?%(cid:16)#(cid:18)D D?,&)(cid:25)=?%X(cid:247)HG(cid:192)-1>@A$A@+@-194,&+(cid:127)OŒ#(cid:18)D?>(9(cid:27)łHz/-/A~#¥%(cid:13),&.1>@A@+@-1%:A@=?,&.(cid:153) (cid:159)1,&+$9(cid:152)g/#(cid:18)uvR/D?9LR/+(,(cid:16)K*=!./)¥A@QT#(cid:18)AHA@Q19:+(93#(cid:18)+(9L=!.e(cid:160)1./=!A(9:D!{(cid:144)u(cid:144)#(cid:18).‘{XR/+@=!uw9(cid:4).<-/u4zfi9:+(>(cid:127)-1>@=!./) %(cid:13),&.1>(A@+@-1%:A@=!KM95D?,&)(cid:25)=?%5%(cid:13),&-/D?0(cid:146)zfi950/,&.193z<{|)(cid:25)=!K<=!./)(cid:144)#¥R/+(,&)(cid:25)+(cid:128)#(cid:18)u F$Q/=?%(Q})(cid:25)=!KM9:.}#(cid:158).T#(cid:18)A@-/+(cid:128)#(cid:18)D .<-/u4zfi9:+L%(cid:13),&uvR/-/A(9(cid:13)>~#(cid:158)R/+@=!uw95F$Q/=?%(QŁ=?>$DE#(cid:18)+@)M9:+yA@QT#(cid:18).GA@Q193)(cid:25)=!KM9:.Ł.‘-/u4zfi9:+(cid:16) "H+(,&-(cid:158)A(,}%(cid:13),&.1>@A@+@-1%:A@=!KM9(cid:144)D?,&)(cid:25)=?%(cid:144)=!.ZA@Q19(cid:144)z(cid:7)9(cid:152)(cid:242) )(cid:25)=!././=!./)(cid:146),(cid:18)O(cid:143)A@Q19¥6(cid:25)s(cid:18)A@Qp%(cid:13)9:.(cid:217)#(cid:18).10K(cid:8)~9:{(A@-10e=?9(cid:13)0(cid:239)-/.10/9:+4"(cid:148)+(,&-‘FH9:+(cid:16)(cid:237)(cid:24)=!.(cid:190)A@Q19¥A@Q/=!+@A@=?9(cid:13)>49(cid:152)geA(9:.10/9(cid:13)0(cid:190)"(cid:148)+(,&-‘F(cid:148)9:+MLı>4=?0/9(cid:16)#&>3=!.5’<.1,(cid:27)F #&>5A@Q19w"(cid:148)+(,&-(A@+@-1%:A@=!KM93D?,&)(cid:25)=?%(cid:25) (cid:143)ø(cid:127)Q193=!.@A(cid:128)#(cid:18)A(9(cid:13)>98 P º R/+(,<,(cid:18)OPOŒ,&+OQSRUT(cid:144)=?>L#vRT#(cid:18)=!+WVYXUZ\[(cid:7)](cid:158)F$Q19:+(9^XX=?>~#vR/+(,*,(cid:18)O(cid:22)OŒ,&+_Q(cid:146)#(cid:18).10>[X=?> #¥R/+(,*,(cid:18)O(cid:24)OŒ,&+OT/ P º R/+(,<,(cid:18)OPOŒ,&+‘QbaUTw=?>(cid:4)#¥RT#(cid:18)=!+WVcXUZ’[d]4F$Q19:+(9EX(cid:29)ebfx#(cid:18).10>[(cid:144)=?>L#¥R/+(,*,(cid:18)OPO[,&+ Q(cid:144),&+‘Xbehg4#(cid:18).10>[w=?>(cid:4)#(cid:158)R/+(,*,(cid:18)O(cid:24)OŒ,&+OT/ P º R/+(,*,(cid:18)OhOŒ,&+‘Qji T(cid:158)=?>y#(cid:18).Ł#(cid:18)D!)M,&+@=!A@Q/ulk(cid:144)>@-1%(Q(cid:146)A@QT#(cid:18)AmknVYX(cid:16)]3=?>(cid:4)#(cid:217)R/+(,<,(cid:18)O(cid:24)O[,&+OT¥=¡O X(cid:144)=?>(cid:4)#vR/+(,<,(cid:18)O(cid:22)O[,&+‘Q(cid:29) P º R/+(,*,(cid:18)O(cid:22)O[,&+OoqpFr(cid:3)Q(cid:144)=?>(cid:4)#(cid:158)RT#(cid:18)=!+sVutvZ’Xd]4F$Q19:+(9,X(cid:144)=?>L#(cid:158)R/+(,<,(cid:18)O(cid:22)O[,&+OQwVutx]‘ P º R/+(,*,(cid:18)O(cid:143)O[,&+_ydpFr(cid:3)Q|=?>3#(cid:18).(cid:239)#(cid:18)D!)M,&+@=!A@Q/uzkG>(-1%(Q(cid:239)A@QT#(cid:18)AJk{Vutx]¥=?>3#wR/+(,*,(cid:18)OH,(cid:18)O,QwVutx] O[,&+(cid:4)#(cid:18)D!D{t/ P ø(cid:127)Q193OŒ,&+@u4-/DE#W|{Qx=?>(cid:4)0/9(cid:152)(cid:160)1.19(cid:13)0(cid:239)#&>OQbi }¥(cid:237)T>(,x#vR/+(,*,(cid:18)O(cid:143),(cid:18)O(cid:143)=!A(cid:4)=?>L#(cid:18).(cid:239)#(cid:18)D!)M,&+@=!A@Q/u k(cid:144)F$Q/=?%(cid:128)Q}%(cid:13),&.‘KM9:+@A(>S#(cid:158)R/+(,*,(cid:18)OP,(cid:18)O(cid:8)8i=!.(cid:4)#(cid:158)R/+(,<,(cid:18)O(cid:22)OŒ,&+~}¥ (cid:19) #(cid:18)+@A@=!.e(cid:242) œ+(cid:127) O@(cid:237)/F$Q1,¥>@A@-10e=?9(cid:13)0|-/.10/9:+‘IL,&D!uw,&)M,&+(,(cid:16)Kfi(cid:237)T%(cid:13),&.‘A@+@=!z/-/A(9(cid:13)0ŁA(,¥%(cid:13),&.1>@A@+@-1%:A@=!KM9 D?,&)(cid:25)=?%H=!.(cid:158)A@Q19H>(9:KM9:.(cid:22)F$=!A@Q(cid:217)Q/=?>(cid:24)A(cid:134){*R(cid:7)9HA@Q19(cid:13),&+@{M(cid:237)&F$Q/=?%(Q¥F(cid:127)#&>(cid:24)A@Q19(cid:132)(cid:160)1+(>@AhO(cid:28)-/D!D!{SOŒ,&+@u(cid:144)#(cid:18)D!=1(cid:28)(cid:16)9(cid:13)0 KM9:+(>(=?,&.(cid:158),(cid:18)O(cid:29)0/9:Rfi9:.10/9:.‘APAl{(cid:8)%(cid:13),&uvR/-/A(9:+(cid:8)>(%:=?9:.@A(>(cid:8)#&01#(cid:18)R/A(9(cid:13)0 A@Q19(cid:4)=?0/9(cid:16)#&>(cid:143)=!.(cid:16) (cid:8)ºL)M01#S=?>HA@Q19$DE#(cid:18)A(9(cid:13)>@A(cid:132)=!.|#~O¯#(cid:18)uv=!D!{w,(cid:18)O(cid:20)>(-1%(Q R/+(,&)(cid:25)+(cid:128)#(cid:18)uvuv=!./)XDE#(cid:18)./)(cid:25)-T#(cid:18))M9(cid:13)>L0/9:KM9:D?,&Rfi9(cid:13)0Ł#(cid:18)AO(cid:26)HQT#(cid:18)D!uw9:+(>(cid:16) øh,(cid:144)>(-/ut-/R(cid:153)Ø1=¡O(cid:8)FH94QT#(cid:13)KM9¥#(cid:158)O[-/.1%:A@=?,&.K(cid:128)XF$=!A@QŁA@Q193Al{S#vR/+(,&)(cid:25)+(cid:128)#(cid:18)u A@QT#(cid:18)AS%(cid:13),&.1>@A@+@-1%:A(>3#(cid:18).},&z(cid:130)G@9(cid:13)%:A~,(cid:18)O(cid:8)A(cid:134){*Rfi9EA(cid:29)(cid:237)(cid:29)F$Q/=?%(Qpu(cid:144)#(cid:18)’M9(cid:13)>J(cid:128)(cid:27)(cid:131)(cid:132)A #(cid:158)R/+(,&)(cid:25)+(cid:128)#(cid:18)u #(cid:18).10Ł#(cid:158)R/+(,*,(cid:18)O(cid:8)#(cid:18)A$A@Q195>(cid:136)#(cid:18)uw93A@=!uw9((cid:133) (cid:240) 9(cid:217)F$=!D!D(cid:22).1,(cid:16)F >(Q1,(cid:16)F Q1,(cid:16)F A(,X=!uvR/D?9:uw9:.‘A5A@Q19(cid:217)A(cid:134){*R(cid:7)9(cid:13)>LO[+(,&u A@Q19(cid:217)"N(cid:8)~Iæ#(cid:18).10p)(cid:25)=!KM9 #¥%(cid:13),&-/R/D?93,(cid:18)OP9(cid:152)g/#(cid:18)uvR/D?9(cid:13)>yA(,v>@Q1,(cid:16)F Q1,(cid:27)F A@Q19:{x%(cid:16)#(cid:18).(cid:146)zfi9~-1>(9(cid:13)0(cid:20) (cid:8)kl.(cid:146)A@Q19SR/+(,<%(cid:13)9(cid:13)>(>(cid:27)(cid:237)(, >(Q1,(cid:16)F >(,&uw93,(cid:18)OPA@Q193zT#&>@=?%3O[9(cid:16)#(cid:18)A@-/+(9(cid:13)>y,(cid:18)O(cid:8)ºL)M01#e ø(cid:127)Q19(cid:4)>@=!uvR/D?9(cid:13)>@AHA@+@-19(cid:4)%(cid:13),&.1>@A@+@-1%:A@=?,&.x=?>H#5R/+(,<,(cid:18)O(cid:153),&z(cid:130)G@9(cid:13)%:AH,(cid:18)O(cid:20)A@Q19y-/./=!A3(cid:247)(cid:13)(cid:134)¯A@+@-19(cid:11)(cid:134)(cid:192)łPAl{@-1%(cid:128)Q(cid:146)R/+(,<,(cid:18)O(cid:24),&z(cid:130)G@9(cid:13)%:A(cid:4)#(cid:18)D!DfiFH9S.19(cid:13)9(cid:13)0|=?>(cid:127)A@Q19S%(cid:13),&.1>@A@+@-1%:A(,&+‘A(cid:129)AwF$Q/=?%(QG0/,*9(cid:13)> .1,&A(cid:4)A(cid:128)#(cid:18)’M95#(cid:18).‘{G#(cid:18)+@)(cid:25)-/uw9:.‘A(>(cid:16) ø(cid:127)Q19y9:uvR/A(cid:134){¥A(cid:134){*Rfi9$+(9:R/+(9(cid:13)>(9:.‘A(>H>(,&uw9:A@Q/=!./)4A@QT#(cid:18)A(cid:132)=?>POŒ#(cid:18)D?>(cid:128)9(cid:25) (cid:240) 9y%(cid:16)#(cid:18).(cid:144).1,&A(cid:132)%(cid:13),&.1>@A@+@-1%:A >(cid:128),&uw9:A@Q/=!./)wA@QT#(cid:18)Ay=?>(cid:127)O¯#(cid:18)D?>(9OC(cid:144).1,w%(cid:13),&.1>@A@+@-1%:A(,&+M(cid:133) (cid:135) t(A(cid:130)t(cid:29)} (cid:131)\(cid:137)B(cid:138)(A(cid:140)(cid:139)(cid:129)k(cid:130)(cid:138)((cid:141)(cid:130)(cid:138) ø(cid:127)Q193.T#(cid:18)A@-/+(cid:128)#(cid:18)D(cid:153).‘-/u(cid:217)z(cid:7)9:+(>~%(cid:16)#(cid:18).Gzfi930/9(cid:152)(cid:160)1.19(cid:13)0Ł#&>(cid:127)OŒ,&D!D?,(cid:16)Fy>M8 I (cid:135) t(A(cid:130)t(cid:143)(cid:142) (cid:131)\(cid:137)B(cid:138)(A(cid:140)(cid:139)(cid:129)k(cid:130)(cid:138)((cid:141)(cid:130)(cid:138) (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145)(cid:146)(cid:131)(cid:147)(cid:142) (cid:148)@(cid:149)(cid:7)(cid:150) (cid:131)(cid:147)(cid:142)(cid:151)i (cid:142) º(cid:4).10|D?9(cid:13)>(>yA@QT#(cid:18).Ł,&+(cid:4)9(cid:13);<-T#(cid:18)DfiO[,&+$.T#(cid:18)A@-/+(cid:128)#(cid:18)D?>M8 (cid:131)(cid:147)(cid:142)(cid:151)i (cid:142)(cid:154)i (cid:137)(cid:129)(cid:138)(cid:4)A (cid:152)!(cid:153)O(cid:152) (cid:144) (cid:138)((cid:141)(cid:130)(cid:145) ej(cid:136) (cid:153)(cid:155)(cid:152) (cid:148)@(cid:149)d(cid:150) (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145) ej} (cid:152)(cid:21)(cid:153) (cid:148)@(cid:149)d(cid:150)(cid:157)(cid:156) (cid:148)@(cid:149)(cid:7)(cid:150) ?be (cid:156) ? (cid:153) (cid:153) "H{p0/9(cid:152)(cid:160)1./=!./)G=!A3=!.(cid:239)A(9:+@uw>5,(cid:18)OHA@Q19¥-/./=!A4#(cid:18).10(cid:190)9:uvR/Al{(cid:239)A(cid:134){*R(cid:7)9(cid:158)=!.1>@A(9(cid:16)#&0(cid:190),(cid:18)O(cid:127)z(cid:7),*,&D?9(cid:16)#(cid:18).1> F(cid:148)9(cid:217)%(cid:16)#(cid:18).}-1>(95=!A~A(,wR/+(,(cid:27)KM94A@Q/=!./)M>(cid:27)Ø(cid:29)A@Q19(cid:217)A(cid:134){*Rfi94%(Q19(cid:13)%(cid:128)’M9:+3%(cid:16)#(cid:18).}A(9:D!D(cid:24)=¡O(cid:132)>(,&uw9:A@Q/=!./)X=?>LA@+@-19 z<{(cid:190)%(Q19(cid:13)%(’*=!./)p=¡O(cid:127)F(cid:148)9wQT#(cid:16)KM9(cid:144)%(cid:13),&.1>@A@+@-1%:A(9(cid:13)0(cid:138)=!A(cid:16)(cid:237)hzfi9(cid:13)%(cid:16)#(cid:18)-1>(9(cid:147)(cid:136)v(cid:237){} #(cid:18)+(9(cid:159)(cid:158)(cid:134)A(cid:134){*R(cid:7)9(cid:13)>c(cid:134)(cid:128)(cid:237)hQ19:.1%(cid:13)9(cid:144)FH9 %(cid:16)#(cid:18).ŁR/+(,(cid:16)KM93u .Łz‘{X(cid:160)1.10e=!./)X#(cid:18).Ł9:D?9:uvuw9:.‘A~,(cid:18)O(cid:22)A@Q/=?>(cid:4)A(cid:134){*R(cid:7)9(cid:25) (cid:153) (cid:240) 9SF$=!D!D(cid:153).1,(cid:16)F =!.@-/u A(cid:134){*R(cid:7)9SF$Q/=?%(cid:128)QŁ=?>(cid:127)A@Q193"N(cid:8)~I(cid:236)=!.‘A(9:+@R/+(9:A(cid:128)#(cid:18)A@=?,&.(cid:239),(cid:18)O (cid:160) ¡ ?q(cid:128) ¡ p(cid:129)(cid:141)¢g a (cid:152) (cid:152) (cid:135) t(A(cid:130)t a VY£(cid:29)⁄z(cid:131)\(cid:137)B(cid:138)(Ad]S(cid:131)\(cid:137)B(cid:138)(cid:4)A(cid:140)(cid:139)qk(cid:130)(cid:138)(cid:4)(cid:141)!(cid:138) (cid:152) (cid:152) ¡ ?q¥!ƒ(cid:21)(cid:131)s£(cid:18)i £(cid:18)av⁄ ¡ ?q¥B§¢(cid:131)s⁄(cid:18)i £(cid:18)av⁄ ø(cid:127)Q19y>@-/u A(cid:134){*Rfi9(cid:127)=?>(cid:8)>@=!uv=!DE#(cid:18)+(cid:143)A(,SA@Q19‘¤ ¡ ABk!(cid:138)(cid:4)(cid:141)5Al{@’M9:D!D¯(cid:237)M9(cid:152)g/%(cid:13)9:R/APO[,&+(cid:8)A@Q19$OŒ#&%:A A@QT#(cid:18)AL=!A(>(cid:4)%(cid:13),&.1>@A@+@-1%:A(,&+(>~A(cid:128)#(cid:18)’M9(cid:158)#(cid:18)+@)(cid:25)-/uw9:.‘A(>~F$Q/=?%(Q(cid:190)#(cid:18)+(93A(cid:134){*Rfi9(cid:13)>(cid:4)+(cid:128)#(cid:18)A@Q19:+LA@QT#(cid:18).ŁK(cid:25)#(cid:18)D!-19(cid:13)>(cid:16) (cid:127)k(cid:134)A #(cid:18)D!D?,(cid:27)Fy>4-1>5A(,G0/9(cid:152)(cid:160)1.19(cid:144)#xO[-/.1%:A@=?,&.ZA@QT#(cid:18)A5A(cid:128)#(cid:18)’M9(cid:13)>4A(cid:134)F(cid:148),G.T#(cid:18)A@-/+(cid:128)#(cid:18)D(cid:132).<-/u4zfi9:+(>(cid:158)#(cid:18).10§A(9:D!D?>5-1> F$Q19:A@Q19:+(cid:4)A@Q19S(cid:160)1+(>@A$=?>$D?9(cid:13)>(>(cid:4),&+(cid:4)9(cid:13);‘-T#(cid:18)D(cid:20)A@QT#(cid:18).ŁA@Q195,&A@Q19:+(cid:4),&+$K*=?%(cid:13)93KM9:+(>(cid:128)#e A(cid:130)(cid:145)(A(cid:130)tB“(cid:146)(cid:131)«V (cid:156) ?z(cid:131)s(cid:142)m](cid:18)i (cid:156) ?ja‹? (cid:156) (cid:153) (cid:153) A(cid:130)(cid:145)(A(cid:130)tB“ (cid:144) (cid:138)(cid:4)(cid:141)(cid:130)(cid:145) e ¡ ?q¥(cid:130)ƒ›ABA (cid:152) A(cid:130)(cid:145)(A(cid:130)tB“ (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145) e ¡ ?q¥.§(cid:157)ABA (cid:152) A(cid:130)(cid:145)(A(cid:130)tB“SV (cid:148)@(cid:149)(cid:7)(cid:150)fi(cid:156) ]hV (cid:148)@(cid:149)d(cid:150) ?(cid:16)]fle(cid:140)A!(cid:145)(cid:4)A(cid:130)t(cid:129)“ (cid:156) ? ø(cid:127)Q/=?>(cid:146)=?>Ł#(cid:18)D?>(, ,&-/+(cid:146)(cid:160)1+(>@AG9(cid:152)g1#(cid:18)uvR/D?9(cid:190),(cid:18)O¥A@Q19pO[,&+Ł#(cid:18)D!D5%(cid:13),&.1>@A@+@-1%:A’y =!. A@Q19§"N(cid:8)OI =!.(cid:201)OŒ,&+@uw>L#(cid:18)D!D (cid:156) #(cid:18).10’?x=!.‘A(,|#¥R/+(,*,(cid:18)O(cid:8)A@QT#(cid:18)AL9:=!A@Q19:+ (cid:156) ? (cid:153) ,&+m? (cid:156) (cid:133) (cid:153) (cid:240) 9yF$=!D!D(cid:7)#(cid:18)D?>(cid:128),3=!.‘A@+(,*0e-1%(cid:13)9(cid:4)A@Q19(cid:4)R/+(,<0e-1%:AHA(cid:134){*R(cid:7)9(cid:4)F$Q/=?%(Qx=?>(cid:143)A@Q19y"N(cid:8)~I =!.(cid:128)9HA@Q19(cid:148)R/+(,*0e-1%:APA(cid:134){*R(cid:7)9(cid:148)A(,S0/9(cid:152)(cid:160)1.19$#yO[-/.1%:A@=?,&.vA@QT#(cid:18)AP)(cid:25)=!KM9:.w#(cid:4).T#(cid:18)A@-/+(cid:128)#(cid:18)D/.<-/u4zfi9:+ #(cid:18).10p#¥D!=?>@A~,(cid:18)OP.T#(cid:18)A@-/+(cid:128)#(cid:18)D(cid:24).‘-/u(cid:217)z(cid:7)9:+(>~+(9:A@-/+@.1>LA@Q195R/+(,&Rfi,(cid:25)>@=!A@=?,&.ŁF$Q/=?%(cid:128)Q}9(cid:152)geR/+(9(cid:13)>(>(9(cid:13)>4(cid:243)Al{(Q1,(cid:16)F(cid:127)(cid:246)(cid:20)A@QT#(cid:18)A$A@Q19~.T#(cid:18)A@-/+(cid:128)#(cid:18)D(cid:20).‘-/u4zfi9:+$=?> D?9(cid:13)>(cid:128)>y,&+y9(cid:13);‘-T#(cid:18)DhA(,w#(cid:18)D!D(cid:153).T#(cid:18)A@-/+(cid:128)#(cid:18)D(cid:153).‘-/u(cid:217)z(cid:7)9:+(>L=!.(cid:146)A@Q193D!=?>@A(cid:16) (cid:142) (cid:156) ¡ ?(cid:27)(cid:131)s(cid:142)(cid:151)i ‡ ¡ (cid:148) A(cid:29)(cid:142)(cid:154)i (cid:137)(cid:129)(cid:138)(cid:4)A (cid:156) ¡ ? e(cid:29)(cid:136) (cid:152)U·(cid:3)(cid:181) (cid:156) ¡ ? (cid:144) Vcp•¶1¶Op (cid:148) ]fle (cid:144) pSR (cid:156) ¡ ? (cid:144) p (cid:148) (cid:153) (cid:8)L9:+(94=?>~#(cid:18).(cid:239)9(cid:152)g/#(cid:18)uvR/D?94A@QT#(cid:18)A~>(Q1,(cid:16)Fy>~Q1,(cid:16)F A(,(cid:144)%:+(9(cid:16)#(cid:18)A(9¥#wR/+(,*,(cid:18)O(cid:143),&z(cid:130)G(cid:201)9(cid:13)%:AS,(cid:18)O(cid:143)A@Q195Al{@=!A@=!K<=!Al{xO[,&+yA@Q19 ,&R(cid:7)9:+(cid:128)#(cid:18)A(,&+M8 (cid:153) AB(cid:141)!t(cid:4)? (cid:148) (cid:131)«V (cid:156) ?(cid:18)(cid:145)(cid:146)(cid:131)'(cid:142)‘](cid:18)i (cid:156) ?(cid:18)i ? (cid:145)(cid:29)i (cid:156) (cid:145) (cid:153) (cid:153) (cid:153) AB(cid:141)!t(cid:4)? (cid:148) (cid:144) (cid:138)(cid:4)(cid:141)(cid:130)(cid:145) e(cid:140)ABA (cid:152) (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148) V (cid:148)@(cid:149)(cid:7)(cid:150) ] (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145) V”] (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148) V (cid:148)@(cid:149)(cid:7)(cid:150) ]hV (cid:148)@(cid:149)d(cid:150) ] (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145) VM] (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148) V (cid:148)@(cid:149)(cid:7)(cid:150)fi(cid:156) ]hV (cid:148)@(cid:149)d(cid:150) ?(cid:16)]hV (cid:148)@(cid:149)d(cid:150) (cid:145)x] (cid:156) ?(cid:29)? (cid:145)«e(cid:140)AB(cid:141)!t(cid:4)? (cid:148)fi(cid:156) ?(cid:18)(cid:145) (cid:156) ?(cid:29)? (cid:145) (cid:153) (cid:153) (cid:153) (cid:153) ø(cid:127)Q19(cid:147)V”]S#(cid:18)+(9(cid:4)#(cid:18)z1>@-/+(0vRT#(cid:18)A@A(9:+@.1>(cid:27)(cid:237)‘A@Q19:{w#(cid:18)+(9$-1>(9(cid:13)0wA(,5>@Q1,(cid:16)F(cid:2)A@QT#(cid:18)A(cid:143)A@Q19$=!./R/-/AH%(cid:13),&.(cid:127)>(,&uw9S,(cid:18)OhA@Q19~R/+(,*,(cid:18)O[>(cid:148)F(cid:148)9S#(cid:18)+(9~>@-/R/R/D!{*=!./)1 (cid:143)(cid:159)1,&+$9(cid:152)g1#(cid:18)uvR/D?9LF(cid:148)9S>(cid:128)#(cid:13){wA@QT#(cid:18)A(cid:127)F(cid:148)9LQT#(cid:16)KM9 A@Q19(cid:217)R/+(,*,(cid:18)O(cid:143)A@QT#(cid:18)A (cid:156) ?|z/-/A~A@Q19:.}F(cid:148)94RT#(cid:18)A@A(9:+@.pu(cid:144)#(cid:18)A(%(Q(cid:190),&. (cid:156) zfi9:=!./)xDE#(cid:18)+@)M9:+LA@QT#(cid:18).›?(cid:29)(cid:237) (cid:153) A@Q/=?>y=?>(cid:4)#¥%(cid:13),&.‘A@+(cid:128)#&0e=?%:A@=?,&.+(cid:133) k(cid:134).(cid:238),&+(0/9:+vA(,(cid:239)-1>(9xA@Q19WAB(cid:141)!t(cid:4)? (cid:148) O(cid:28)-/.1%:A@=?,&.(cid:2)#(cid:18)zfi,(cid:16)KM9|F(cid:148)9(cid:146).19(cid:13)9(cid:13)0 A(,(cid:239)>@-/R/R/D!{(cid:141)z(cid:7),&A@Q A@Q19 =!.10e=!K*=?0e-T#(cid:18)D(cid:132).<-/u4zfi9:+(> (cid:156) ?(cid:18)(cid:145)}#(cid:18).10(cid:190)A@Q19:=!+4+(9:DE#(cid:18)A@=?,&.1> (cid:156) ?›? (cid:145)/ Xø(cid:127)Q/=?>5=?>5;<-/=!A(9 (cid:153) (cid:153) KM9:+@zfi,(cid:25)>(9(cid:25) œ 9:A(cid:217)-1>(cid:217)0/9(cid:152)(cid:160)1.19x#(cid:146).19:F O(cid:28)-/.1%:A@=?,&.(cid:141)F$Q19:+(9wF(cid:148)9(cid:144)D?9:A(cid:217)A@Q19wA(cid:134){*Rfi9(cid:144)%(Q19(cid:13)%(cid:128)’M9:+(cid:217)=!.eOŒ9:+ A@Q195=!.10e=!K<=?0e-T#(cid:18)D(cid:153).<-/u4zfi9:+(>(cid:16) AB(cid:141)!t(cid:4)? (cid:148)…» (cid:131)\‰ (cid:156) ?(cid:18)(cid:145)l(cid:131)s(cid:142)(cid:151)(cid:190)(cid:140)i (cid:156) ?(cid:18)i ? (cid:145)(cid:29)i (cid:156) (cid:145) (cid:153) (cid:153) (cid:153) AB(cid:141)!t(cid:4)? (cid:148)…» ‰ (cid:144) (cid:138)(cid:4)(cid:141)(cid:130)(cid:145)(cid:129)(cid:190) ‰ (cid:190) ‰ (cid:190) e(cid:140)A(cid:129)A (cid:152) (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148) » ‰ (cid:148)…(cid:149)(cid:7)(cid:150) (cid:190)(cid:29)‰ (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145)B(cid:190) ‰ (cid:190) VM] (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148)…» ‰ (cid:148)…(cid:149)(cid:7)(cid:150) (cid:190)(cid:29)‰ (cid:148)…(cid:149)(cid:7)(cid:150) (cid:190) ‰ (cid:144) (cid:138)(cid:4)(cid:141)!(cid:145)B(cid:190) V”] (cid:152) (cid:152) (cid:152) AB(cid:141)!t(cid:4)? (cid:148) » ‰ (cid:148)…(cid:149)(cid:7)(cid:150)fi(cid:156) (cid:190)(cid:29)‰ (cid:148)…(cid:149)(cid:7)(cid:150) ?(cid:130)(cid:190)(cid:29)‰ (cid:148)@(cid:149)(cid:7)(cid:150) (cid:145)(cid:129)(cid:190) (cid:156) ?(cid:29)? (cid:145)„e(cid:140)AB(cid:141)!t(cid:4)? (cid:148) » (cid:156) ?j(cid:145) (cid:156) ?„? (cid:145) (cid:153) (cid:153) (cid:153) (cid:153) ø(cid:127)Q/=?>(cid:143)=?>H#(cid:18).x9(cid:152)g/#(cid:18)uvR/D?9L,(cid:18)O(cid:20)=!uvR/D!=?%:=!A(cid:148)#(cid:18)+@)(cid:25)-/uw9:.‘A(>(cid:27)ØeFH9yR/-/A(cid:132)A@Q19L#(cid:18)+@)(cid:25)-/uw9:.‘A(>(cid:148)F(cid:148)9yF(cid:148)#(cid:18).@=?0/9S%:-/+@D!{Xz/+(cid:128)#&%(cid:128)’M9:A(>$=!.|A@Q19LAl{(cid:158)F(cid:148)9w.19(cid:13)9(cid:13)0(cid:190)A(,(cid:146)R/-/A(cid:158)%:-/+@D!{(cid:239)z/+(cid:128)#&%(’M9:A(>¥#(cid:18)+(,&-/.10§A@Q19wA(9:+@uw>(cid:27) (cid:144)k(cid:134)O F(cid:148)9vF(cid:148)#(cid:18).5=!uvR/D!=?%:=!A(cid:158)#(cid:18)+@)(cid:25)-/uw9:.‘A(>(cid:217){M,&-(cid:190)-1>@-T#(cid:18)D!D!{(cid:190)0/,|.1,&A R/+(,(cid:27)K<=?0/9(cid:132)A@Q19(cid:143)=!uvR/D!=?%:=!A(cid:22),&.19(cid:13)>(cid:16)Ø&{M,&-4%(cid:16)#(cid:18).4=¡O/{M,&-(cid:217)F(cid:148)#(cid:18).‘A(cid:24)A(,yz<{3#(cid:18))‘#(cid:18)=!.(cid:217)-1>@=!./)L%:-/+@D!{Sz/+(cid:128)#&%(cid:128)’M9:A(> #(cid:18)+(,&-/.10GA@Q194#(cid:18)+@)(cid:25)-/uw9:.‘A(>(cid:16)(cid:237)(cid:7)#&>(cid:4)#(cid:18)zfi,(cid:16)KM9(cid:25) ø(cid:127)Q19p0/9(cid:152)(cid:160)1./=!A@=?,&.1>Ł,(cid:18)OsA(cid:129)(cid:141)(cid:130)t(cid:4)? (cid:148) #(cid:18).10(cid:140)AB(cid:141)(cid:130)t(? (cid:148) » #(cid:18)+(9p>@=!uv=!DE#(cid:18)+(cid:16)(cid:237)(cid:4)A@Q19p+(9:F(cid:127)#(cid:18)+(0 ,(cid:18)O4-1>@=!./) =!uvR/D!=?%:=!A~#(cid:18)+@)(cid:25)-/uw9:.‘A(>~>@Q1,(cid:16)Fy>(cid:4)F$Q19:.GFH93R/-/A(cid:4)A@Q19~O(cid:28)-/.1%:A@=?,&.1>(cid:4)A(,v-1>(9(8 (cid:138)(cid:4)pz(cid:131)\‰ (cid:156) ?(cid:18)(cid:145)(cid:146)(cid:131)(cid:147)(cid:142)(cid:151)(cid:190)(cid:29)i (cid:156) ?ji ? (cid:145)(cid:29)i (cid:156) (cid:145) (cid:153) (cid:153) (cid:153) (cid:138)(cid:4)p(cid:18)‰ (cid:156) (cid:190)(cid:29)‰(cid:4)?(cid:130)(cid:190)(cid:29)‰(cid:129)(cid:145)B(cid:190) (cid:156) ?(cid:140)? (cid:145)(cid:143)e(cid:140)A(cid:129)(cid:141)(cid:130)t(cid:4)? (cid:148)fl(cid:156) ?(cid:18)(cid:145) (cid:156) ?(cid:29)? (cid:145) (cid:153) (cid:153) (cid:153) (cid:153) (cid:138)(cid:4)p » (cid:131)’‰ (cid:156) ?j(cid:145)(cid:146)(cid:131)s(cid:142)(cid:155)(cid:190)(cid:29)i (cid:156) ?(cid:18)i ? (cid:145)(cid:29)i (cid:156) (cid:145) (cid:153) (cid:153) (cid:153) (cid:138)(cid:4)p »~(cid:156) ?(cid:29)? (cid:145)«e(cid:140)AB(cid:141)!t(cid:4)? (cid:148)@»~(cid:156) ?(cid:140)? (cid:145) (cid:153) (cid:153) (cid:153) (cid:153) (cid:240) 93F$=!D!D(cid:20).1,(cid:16)FNR/-/AyA@Q19SA@Q/=!./)M>(cid:4)0/9(cid:13)>(%:+@=!zfi9(cid:13)0Ł#(cid:18)zfi,(cid:16)KM93A(,¥-1>(cid:128)93=!.Ł#(cid:158)z/=!)(cid:25))M9:+L9(cid:152)g1#(cid:18)uvR/D?9(cid:25) (cid:145) ¿ (cid:192) (cid:1)y(cid:213)T(cid:5)(cid:29)(cid:6)(cid:8)(cid:214)´`((cid:218)((cid:9)1(cid:5) £*,&+@A(9(cid:13)0(cid:141)D!=?>@A(>¥#(cid:18)+(9xR(cid:7)9:+@QT#(cid:18)R1>(cid:158)A@Q19x>@=!uvR/D?9(cid:13)>@Av01#(cid:18)A(cid:128)#}>@A@+@-1%:A@-/+(9xF$=!A@Q >(cid:128),&uw9(cid:144)=!.@A@=!./) =!.(cid:16)Ø1.T#(cid:18)uw9:D!{|A@Q19:{x+(9:u(cid:144)#(cid:18)=!.Ł>(,&+@A(9(cid:13)0(cid:146)F$Q19:.Ł.19:F 9:D?9:uw9:.‘A(>S#(cid:18)+(9S=!.1>(9:+@A(9(cid:13)0(cid:20) (cid:240) 9XF(cid:148),&-/D?0(cid:238)D!=!’M9|A(,(cid:239)0/9(cid:152)(cid:160)1.19(cid:146),&-/+¥=!.1>(9:+@A@=?,&. O(cid:28)-/.1%:A@=?,&.(cid:238)=!.(cid:238)>@-1%(cid:128)Q(cid:2)#}F(cid:148)#(cid:13){(cid:141)A@QT#(cid:18)AvA@Q19 Al{$KM9:+@=¡O[{XA@QT#(cid:18)A(cid:4)A@Q193=!.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘ALQ1,&D?0/>M(cid:133) ø(cid:127)Q19:+(9(cid:239)#(cid:18)+(9pAlFH,(cid:238)0e=;:(cid:20)9:+(9:.‘A(cid:146)A(9(cid:13)%(Q/./=?;<-19(cid:13)>|A(,(cid:238)#&%(Q/=?9:KM9(cid:239)A@Q/=?>(cid:16)(cid:237)L9(cid:152)g*A(9:+@.T#(cid:18)DSD?,&)(cid:25)=?%(cid:190)#(cid:18).10 =!.@Q1,(cid:27)F Q1,(cid:27)F A(,(cid:217)R/+(,(cid:16)KM9~A@Q19~=!.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘A(cid:127)-1>@=!./)(cid:158)zfi,&A@QXuw9:A@Q1,*0/>(cid:16) (cid:12)(cid:8)(cid:220)(cid:134)(cid:219) ˆ¯˜{(cid:5)(cid:25)(cid:254)1(cid:226)‘(cid:229)(cid:132)(cid:222)(cid:176)(cid:15)~(cid:15)¯ªhÆ"(cid:0)(cid:134)(cid:223) ˘ >@=!./)y9(cid:152)geA(9:+@.T#(cid:18)DMD?,&)(cid:25)=?%(cid:8)A(,$%(cid:16)#(cid:18)R/A@-/+(9(cid:132)=!.‘K(cid:25)#(cid:18)+@=E#(cid:18).‘A(>(cid:24)=?>(cid:20)%:D?,(cid:25)>(9(cid:8)A(,(cid:127)F$+@=!A@=!./)J(cid:20)L-/=?%(cid:128)’!(cid:26)HQ19(cid:13)%(cid:128)’(cid:7)(cid:243)(cid:22)(cid:26)F(cid:8)Ss(cid:25)s&(cid:246) R/+(,&Rfi9:+@A@=?9(cid:13)>(cid:22)=!.¯(cid:8)S#&>@’M9:D!D*%(cid:13),<0/9(cid:25)Ø&{M,&-(cid:158)F$+@=!A(9(cid:148)#L>(9:RT#(cid:18)+(cid:128)#(cid:18)A(9(cid:132)O(cid:28)-/.1%:A@=?,&.(cid:158)F$Q/=?%(Qv%(cid:16)#(cid:18)D!D?>(cid:24)A@Q19(cid:143)O[-/.1%(cid:152)(cid:242) A@=?,&.Ł{M,&-(cid:146)F(cid:148)#(cid:18).‘ALA(,w%(Q19(cid:13)%(cid:128)’Ł#(cid:18).10(cid:146)%(Q19(cid:13)%(cid:128)’*>L=¡O(cid:22)>(,&uw95R/+(,&R(cid:7)9:+@Al{xQ1,&D?0/>(cid:27) (cid:8)L9:+(9S=?>$Q1,(cid:27)F F(cid:148)93FH,&-/D?0G0/,w=!A$=!.>(cid:8)~#&>(’M9:D!D˙8 ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)Az(cid:131)B(cid:131)\¨(cid:4)(cid:141) (cid:135) t„e(cid:130)(cid:201)„t(cid:21)˚…(cid:201) t ˚…(cid:201) t · (cid:181) · (cid:181) ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)A(cid:18)t e t ·(cid:3)(cid:181) · (cid:181) ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)A(cid:18)t¸Vcpz(cid:131)(cid:147)p (cid:148) ]‹(cid:204)Wt(cid:140)˝.e(cid:140)p ebt(cid:146)(cid:131)spz(cid:131)sp (cid:148) (cid:204)W(cid:145)(cid:4)ABk!(cid:138)(cid:4)(cid:141)B(cid:139) ¡ (cid:148) (cid:138)„e ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)BA(cid:18)t(cid:143)p (cid:148) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) (cid:131)(cid:129)(cid:131)\¨(cid:4)(cid:141) (cid:135) t(cid:143)eq(cid:201) t ˚…(cid:201)(cid:143)⁄(cid:130)(cid:145)(cid:129)(cid:145)B“ · (cid:181) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) e(cid:140)˛(cid:129)(cid:141) (cid:149) (cid:138) ·(cid:3)(cid:181) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) p e(cid:140)˛(cid:129)(cid:141) (cid:149) (cid:138) · (cid:181) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) Vcpz(cid:131)(cid:147)ˇz(cid:131)(cid:147)p (cid:148) ]fle(cid:140)p(cid:18)˝(e(cid:140)ˇ(cid:29)—B— ¡ (cid:148) (cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) VYˇz(cid:131)sp (cid:148) ] XB(cid:141)!(cid:145)(cid:4)X (cid:148) (cid:145)((cid:141)BA(cid:130)(cid:138) (cid:135) (cid:131)B(cid:131) =@?BA ˚…(cid:201)(cid:143)⁄!(cid:145)B(cid:145)B“ (cid:152) · (cid:181) XB(cid:141)!(cid:145)(cid:4)X (cid:148) (cid:145)((cid:141)BA(cid:130)(cid:138) (cid:135) e ¡ (cid:148) (cid:137)(cid:129)(cid:145)(cid:4)(cid:141)BA!(cid:138) (cid:135) rW(cid:128)q(cid:145)B“ (cid:135) (cid:141) ¡ ? (cid:148) (cid:138)((cid:141)BA (cid:152) ·˙(cid:181) ø(cid:127)Q/=?>$=?>$Q1,(cid:16)FNFH93F(cid:148),&-/D?0G0/,v=!A$=!.ŁºL)M01#(cid:130)8 ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)Az(cid:131)(cid:147)£(cid:18)i ‡ ¡ (cid:148) A(cid:140)£ji ‡ ¡ (cid:148) A(cid:29)£ ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)A(cid:18)t e t ·(cid:3)(cid:181) · (cid:181) ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)(cid:129)A(cid:18)t¸Vcp5¶1¶_p (cid:148) ]fi(cid:139) ¡ A(cid:129)k(cid:29)A(cid:130)(cid:145)(cid:4)A!tB“(cid:29)t(cid:143)p rBr(cid:129)rb(cid:204) ¡ ?q¥ ƒ ejt(cid:18)¶1¶_p5¶1¶~p (cid:148) (cid:152) rBr(cid:129)rb(cid:204) ¡ ?q¥.§ e(cid:140)p5¶1¶ ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)BA(cid:18)t(cid:143)p (cid:148) (cid:152) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) (cid:131)W‡ ¡ (cid:148) A(cid:29)£ji (cid:137)(cid:129)(cid:138)(cid:4)A ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) ej(cid:136) ·(cid:3)(cid:181) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) V ¶1¶ ] ej(cid:136) (cid:152) ·˙(cid:181) ¡ (cid:148) (cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) Vcp5¶1¶_ˇ5¶1¶Op (cid:148) ]flevVYp ˇ(cid:16)]5R ¡ (cid:148) (cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) VYˇ5¶1¶Op (cid:148) ] (cid:153) (cid:148) (cid:145)((cid:141)BA(cid:130)(cid:138) (cid:135) (cid:131)¥A@QT#(cid:18)A'(cid:20)L-/=?%(’x(cid:26)HQ19(cid:13)%(’ +@-/.1>w#(cid:239)>(9:+@=?9(cid:13)>¥,(cid:18)O~A(9(cid:13)>@A(>¥-1>@=!./)(cid:239)+(cid:128)#(cid:18).10/,&u =!./R/-/A~#(cid:18).10(cid:146)%(Q19(cid:13)%(’e>y=¡O(cid:22)A@Q195,&-/A@R/-/A$=?>y>(,&+@A(9(cid:13)0(cid:20)(cid:237)eF$Q/=!D?95=!.Gº(cid:4))M01#(cid:158)F(cid:148)93)(cid:25)=!KM95#(cid:158)R/+(,<,(cid:18)OPA@QT#(cid:18)A )(cid:25)=!KM9:.(cid:239)#(cid:18).}9:D?9:uw9:.@A(cid:4),(cid:18)O(cid:132)º A@QT#(cid:18)A~=?>(cid:4)>(,&+@A(9(cid:13)0ŁA@Q19:.ŁA@Q19(cid:217)+(9(cid:13)>@-/D!A@=!./) D!=?>(A(cid:4)#Ô(cid:28)A(9:+y=!.1>(cid:128)9:+@A@=?,&.Ł,(cid:18)O(cid:22)A@Q1939:D?9:uw9:.(,(cid:144)>(,&+@A(9(cid:13)0(cid:20) ø(cid:127)Q/=?>$=?>$Q1,(cid:16)FNA@Q19SR/+(,<,(cid:18)OP=?>$=!uvR/D?9:uw9:.(cid:216) pbe‹V(cid:215)t (cid:216)lZ’(cid:216) pUZWA(cid:129)Ah] (cid:153) (cid:153) (cid:153) ˚(cid:129)˚¢Vut p(cid:16)]•Rz(cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) VYp5¶1¶ ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)BA(cid:29)(cid:216) ] (cid:153) ·˙(cid:181) r(cid:129)rBrj(cid:204) ¡ ?(cid:130)¥.§(cid:212)p (cid:216)be‹V(cid:215)t plZ’p (cid:216)UZWA(cid:129)Ah] (cid:153) (cid:153) (cid:153) “(cid:129)(cid:138) (cid:156)(cid:129)(cid:156) t(cid:29)t(cid:143)(cid:216)(cid:140)plVcˇ(cid:21)¶1¶~p (cid:148) ]p ˇUZ (cid:148) (cid:145)((cid:141)BA!(cid:138) (cid:135) ˚9ˇ(cid:7)¶1¶(cid:214)p (cid:148) ]fi(cid:139) ¡ ABk(cid:29)A!(cid:145)(cid:4)A(cid:130)t(cid:129)“(cid:143)(cid:216)(cid:140)p (cid:153) (cid:153) (cid:153) ˚(cid:129)˚¢Vut (cid:216)(cid:16)]•Rz(cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) VY(cid:216)5¶1¶_p5¶1¶~p (cid:148) ] (cid:153) r(cid:129)rBrj(cid:204) ¡ ?(cid:130)¥(cid:130)ƒ>(cid:216) pbe‹V(cid:215)t (cid:216)lZ’(cid:216) pUZ(cid:143)Vcp ˇ(cid:146)Z (cid:148) (cid:145)((cid:141)BA(cid:130)(cid:138) (cid:135) ˚9ˇ(cid:7)¶1¶(cid:214)p (cid:148) ](cid:140)] (cid:153) (cid:153) (cid:153) (cid:153) ˚(cid:129)˚¢Vut p(cid:16)]•Rz(cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) VYp5¶1¶ ¡ ? (cid:148) (cid:138)(cid:4)(cid:141)BA(cid:29)(cid:216)lVYˇ5¶1¶Op (cid:148) ](cid:129)] (cid:153) r(cid:129)rBrj(cid:204) ¡ ?(cid:130)¥.§(cid:212)p (cid:216)be‹V(cid:215)t plZK“(cid:129)(cid:138) (cid:156)B(cid:156) t(cid:143)p(cid:140)(cid:216)(cid:29)ˇ(cid:29)p (cid:148) p (cid:216)„p ˇ (cid:148) (cid:145)((cid:141)BA(cid:130)(cid:138) (cid:135) ˚9ˇ(cid:7)¶1¶(cid:214)p (cid:148) ] (cid:153) (cid:153) (cid:153) (cid:153) ø(cid:127)Q19(cid:217)R/+(,*,(cid:18)OHQT#&>SA@Q19¥>(cid:128)#(cid:18)uw9¥>@A@+@-1%:A@-/+(9w#&>~A@Q19 ¡ ? (cid:148) (cid:138)((cid:141)BA|O[-/.1%:A@=?,&.Z#(cid:18).10pA@Q19(cid:217)+@=!)(cid:25)Q @=?0/9(cid:13)>y%(cid:13),&.1>@A@+@-1%:A(cid:4),&z(cid:130)G@9(cid:13)%:A(>(cid:4),(cid:18)O(cid:22)A@Q193A(cid:134){*Rfi93)(cid:25)=!KM9:.Gz‘{>(cid:137)(cid:129)(cid:145)(cid:4)(cid:141)BA!(cid:138) (cid:135) k¯O3A@Q19G=!./R/-/Ax=?>|#§9:uvR/A(cid:134){(cid:2)D!=?>@AwA@Q19}+(9(cid:13)>@-/D!A@=!./)(cid:138)D!=?>(AX#Ô(cid:28)A(9:+x=!.1>(9:+@A@=?,&. F$=!D!DLzfi9Ł# >(=!./)(cid:25)D?9:A(,&.ZD!=?>@A(cid:217)#(cid:18).10§=¡O(cid:127)F(cid:148)9wD?,*,&’§#(cid:18)A5A@Q19(cid:147)(cid:137)B(cid:145)((cid:141)BA!(cid:138) (cid:135) O(cid:28)-/.1%:A@=?,&.(cid:138)FH9(cid:144)>(cid:128)9(cid:13)9vA@QT#(cid:18)A5R/+(,*,(cid:18)O[>5O[,&+ >(=!./)(cid:25)D?9:A(,&.GD!=?>@A(>(cid:4)#(cid:18)+(93A@+@=!K*=E#(cid:18)D!D!{|%(cid:13),&.1>@A@+@-1%:A(9(cid:13)0(cid:211)(cid:133) k¯O1F(cid:148)9(cid:148)>(A(cid:128)#(cid:18)+@A(cid:22),…:wF$=!A@Qw#L>@=!./)(cid:25)D?9:A(,&.¥D!=?>@A(cid:24)A@Q19H+(9(cid:13)>@-/D!A@=!./)SD!=?>@A(cid:24)F$=!D!D*QT#(cid:16)KM9(cid:148)A(cid:134)FH,S9:D?9:uw9:. #(cid:18).10|=!.|A@QT#(cid:18)Ay%(cid:16)#&>(9~F(cid:148)9S.19(cid:13)9(cid:13)0|A(,(cid:217)R/+(,(cid:27)K<=?0/9(cid:217)#4R/+(,*,(cid:18)O(cid:22),(cid:18)O(cid:22)F$Q/=?%(QŁ,&.19~=?>(cid:127)A@Q193>@u(cid:144)#(cid:18)D!D?9(cid:13)>(A(cid:16)ØeFH9 )M9:A(cid:4)A@Q/=?>$R/+(,<,(cid:18)O(cid:22)O[+(,&u‹A(cid:130)(cid:145)(cid:4)A!tB“1 (cid:159)(cid:24)=!.T#(cid:18)D!D!{(cid:217)FH9(cid:148)QT#(cid:13)KM9(cid:127)A@Q19(cid:127)%(cid:16)#&>(9(cid:148)F$Q19:+(9(cid:148)A@Q19(cid:127)>@A(cid:128)#(cid:18)+@A@=!./)3D!=?>@A(cid:22)QT#&>PA(cid:134)F(cid:148),3,&+(cid:22)uw,&+(9(cid:127)9:D?9:uw9:.(cid:16) ø(cid:127)Q/=?>y=?>(cid:127)A@Q19~(cid:160)1+(>@A$A@=!uw93FH9SQT#(cid:16)KM93A(,¥-1>(9SA@Q19~O¯#&%:A$A@QT#(cid:18)AyA@Q19SD!=?>@A(cid:127)FH94>@A(cid:128)#(cid:18)+@A(9(cid:13)0|F$=!A@QG=?> >(cid:128),&+@A(9(cid:13)0(cid:20)Ø"(cid:137)B(cid:145)(cid:4)(cid:141)(cid:129)A(cid:130)(cid:138) (cid:135) p (cid:148) Sk(cid:134)O(cid:143)A@Q19(cid:158)9:D?9:uw9:.(9:+@A@=!./)|=?>~>(u(cid:144)#(cid:18)D!D?9:+~A@QT#(cid:18).(cid:239)A@Q194(cid:160)1+(>@A 9:D?9:uw9:.(A@=!./)4D!=?>@A(cid:16)(cid:237)‘A@Q19:.X#(cid:18)D!DTF(cid:148)9y.19(cid:13)9(cid:13)0vA(,(cid:217)0/,3=?>H#(cid:18)R/Rfi9:.10vA@Q19yR/+(,*,(cid:18)O(cid:20)A(,3A@Q19 O[+(,&.‘AL,(cid:18)O(cid:24)A@Q1959(cid:152)ge=?>@A@=!./)vR/+(,*,(cid:18)O(cid:201) (cid:8)k(cid:134)O(cid:24)=!AyQT#(cid:18)R/Rfi9:.1>$A(,¥zfi9SDE#(cid:18)+@)M9:+yA@Q19:.(cid:146)FH95.19(cid:13)9(cid:13)0(cid:146)A(,¥=!.1>(9:+@A =!A(cid:127)O[-/+@A@Q19:+y=!.@A(cid:16)Ø/F(cid:148)950/9(cid:152)(cid:160)1.194#(cid:158).19:F D?9:uvu(cid:144)#vA(,vA(cid:128)#(cid:18)’M95%(cid:16)#(cid:18)+(93,(cid:18)OPA@Q/=?>(cid:16) £*,SOŒ#(cid:18)+(cid:8)F(cid:148)9$QT#(cid:13)KM9(cid:4)QT#&0v+(9:DE#(cid:18)A@=!KM9:D!{(cid:158)O[9:Fi9:D?9:uw9:.(cid:132)A(,40/9(cid:16)#(cid:18)D1F$=!A@QX#(cid:18).10vF(cid:148)9$QT#(cid:13)KM9$zfi9(cid:13)9:. #(cid:18)z/D?9(cid:127)A(,S’M9(cid:13)9:R(cid:144)A@+(cid:128)#&%(’v,(cid:18)O(cid:29)A@Q19:u =!.1>(=?0/9$,&-/+(cid:8)Q19(cid:16)#&0/>(cid:16) PºL>PA@Q/=!./)M>(cid:132))M9:A(cid:8)uw,&+(9$%(cid:13),&uvR/D!=?%(cid:16)#(cid:18)A(9(cid:13)0(cid:20)(cid:237) (cid:149) D!=!’M9~=!.|A@Q19SD?9:uvu(cid:144)#e(cid:237)e=!A(cid:127)=?>(cid:127)Q19:D!ReO(cid:28)-/DfiA(,(cid:158)u(cid:144)#(cid:18)’M9S-1>(9S,(cid:18)OhA@Q19S)M,M#(cid:18)D(cid:7)O¯#&%:=!D!=!A(cid:134){x=!.|ºL)M01#e (cid:8)ø(cid:127)Q19 zfi9:.19(cid:152)(cid:160)1AH,(cid:18)Ofi)M,M#(cid:18)D?>H=?>(cid:143)A@QT#(cid:18)A(cid:132)ºL)M01#5%(cid:16)#(cid:18).wA(9:D!D(cid:29){M,&-wF$QT#(cid:18)A(cid:132)Al{(cid:8)=!.(cid:144)=!A(cid:16) (cid:240) 9$QT#(cid:16)KM9 R/-/AHA@Q19(cid:4)Al{(cid:132),(cid:18)O(cid:153)A@Q19(cid:4))M,M#(cid:18)D?>(cid:148)=!.x#&>(cid:132)%(cid:13),&uvuw9:.(cid:127)=!.(cid:144)A@Q19~#(cid:18)z(cid:7),(cid:27)KM9L%(cid:13),*0/9((cid:133)(cid:8)"(cid:148){(cid:158).T#(cid:18)uv=!./)(cid:158)A@Q19 R/+(,*,(cid:18)O(cid:8),&z(cid:130)G(cid:201)9(cid:13)%:A$F(cid:148)93)M,&A$z‘{|A@Q193>(cid:128)#(cid:18)uw9S.T#(cid:18)uw94#&>yA@Q19:=!+yA(cid:134){*R(cid:7)9(cid:25)(cid:237)e=!A$zfi9(cid:13)%(cid:13),&uw9(cid:13)>y;<-/=!A(95%:D?9(cid:16)#(cid:18)+(cid:16)(cid:237) O[+(,&uæA@Q19L)M,M#(cid:18)D?>(cid:27)(cid:237)e=!.XF$QT#(cid:18)A$,&+(0/9:+(cid:127)FH9S.19(cid:13)9(cid:13)0xA(,¥#(cid:18)+@+(cid:128)#(cid:18)./)M9SA@Q19:uG (cid:143)ø(cid:127)Q19~DE#&>@A(cid:148)%(cid:16)#&>(cid:128)9L=!.xA@Q19 D?9:uvu(cid:144)#w=?>~#vz/=!AL>@Rfi9(cid:13)%:=E#(cid:18)D¯ØTA@Q195)M,M#(cid:18)D(cid:24)=?>(cid:4)A@Q194>(cid:128)#(cid:18)uw9(cid:158)#&>yA@Q195Al{(,vF(cid:148)940/, #(cid:158)+(9(cid:13)%:-/+(>(=!KM95%(cid:16)#(cid:18)D!D¯ (cid:12)(cid:8)(cid:220)(cid:137)(cid:252) (cid:217)(cid:18)(cid:229)(cid:24)(cid:5)&(cid:254)T(cid:226)‘(cid:229)(cid:143)(cid:222)(cid:211)(cid:15)J(cid:15)¯ª(cid:153)Æ(cid:24)(cid:0)(cid:134)(cid:223) ø(cid:127)Q19S,&A@Q19:+(cid:148)A(9(cid:13)%(Q/./=?;<-19S=?>(cid:127)%(cid:16)#(cid:18)D!D?9(cid:13)0X=!.(9L=!A(cid:127)%(cid:16)#(cid:18)R/A@-/+(9(cid:13)>(cid:127)A@Q19L=!.(=?0/9SA@Q193A(cid:134){*R(cid:7)9S=!.1>(A(9(cid:16)#&0(cid:146),(cid:18)O(cid:8)#(cid:18).G9(cid:152)geA(9:+@.T#(cid:18)D(cid:20)O[-/.1%:A@=?,&.Ł#&>$=!.(cid:146)A@Q193R/+(9:K*=?,&-1>$A(9(cid:13)%(Q/./=?;<-19(cid:25) ø(cid:127)Q/=?>y=?>$u(cid:144)#&0/93Rfi,(cid:25)>(>@=!z/D?9Sz‘{|A@Q1950/9:Rfi9:.10/9:.‘A(cid:4)A(cid:134){*R(cid:7)9(cid:13)>M(cid:133) (cid:156)q(cid:149) A (cid:149) t(cid:129)“ (cid:135) t(cid:4)A!t(cid:29)(cid:137)(‡ ¡ (cid:148) Az(cid:131)\(cid:137)B(cid:138)(A(cid:143)(cid:139)qk(cid:130)(cid:138)(cid:4)(cid:141)!(cid:138) ? ¡ “ (cid:131)\(cid:137).‡ ¡ (cid:148) A (cid:150) (cid:145)(cid:4)? (cid:148) (cid:131)«V(cid:209)tl(cid:131)s£(cid:16)]0i VYp (cid:148) (cid:131)\(cid:137).‡ ¡ (cid:148) Ad]«i t ‡„p (cid:148) i (cid:137)(‡ ¡ (cid:148) A (cid:153) ‡ (cid:131)s£(cid:18)i (cid:137).‡ ¡ (cid:148) A(cid:18)i (cid:137)(cid:129)(cid:138)(cid:4)A (cid:152)!(cid:153) (cid:152) t ‡(cid:143)? ¡ “ ej(cid:136) (cid:153) t ‡SV (cid:150) (cid:145)(cid:4)? (cid:148) p(cid:140)p (cid:148) ]0evVut p(cid:16)]5R(cid:218)Vut ‡(cid:140)p (cid:148) ] (cid:153) (cid:152) (cid:153) (cid:153) (cid:156)q(cid:149) A (cid:149) t(cid:129)“ (cid:148) ¡ ? (cid:148) (cid:138)((cid:141)BAz(cid:131)«Vut(cid:146)(cid:131)'£(cid:16)]«i (cid:137).‡ ¡ (cid:148) A(cid:18)i (cid:137).‡ ¡ (cid:148) A (cid:148) ¡ ? (cid:148) (cid:138)((cid:141)BA(cid:18)t(cid:143)? ¡ “„e (cid:150) (cid:145)(? (cid:148) t(cid:143)? ¡ “(cid:143)A(cid:129)A (cid:148) ¡ ? (cid:148) (cid:138)((cid:141)BA(cid:18)tSV (cid:150) (cid:145)(? (cid:148) p(cid:29)p (cid:148) p ‡Bp (cid:148) ](cid:157)(cid:139) ¡ A(cid:129)k(cid:140)A!(cid:145)(cid:4)A!tB“(cid:29)t(cid:143)p (cid:153) rBrBrj(cid:204) ¡ ?(cid:130)¥(cid:130)ƒ(cid:215)t pbe (cid:150) (cid:145)(cid:4)? (cid:148) t(cid:219)V (cid:150) (cid:145)(cid:4)? (cid:148) p(cid:140)p (cid:148) p ‡Bp (cid:148) ]¢V(cid:209)t p(cid:146)ZK“B(cid:138) (cid:156)(cid:129)(cid:156) t(cid:130)ƒ(cid:212)t(cid:143)p(cid:29)p (cid:148) t p(cid:29)p ‡.p (cid:148) ] (cid:153) (cid:153) (cid:153) (cid:153) (cid:153) (cid:139)qk(cid:130)(cid:138)((cid:141)(cid:130)(cid:138) “(cid:129)(cid:138) (cid:156)B(cid:156) tqƒ(cid:21)(cid:131)«V(cid:209)t«pz(cid:131)s£d]«i VYp (cid:148) (cid:131)\(cid:137).‡ ¡ (cid:148) Ad](cid:146)#(cid:18)+(9}.19(cid:13)9(cid:13)0/9(cid:13)0 zfi9(cid:13)%(cid:16)#(cid:18)-1>(9}A@Q19GO[-/.1%:A@=?,&.1>|FH9p0/9(cid:152)(cid:160)1.19p=!.1>@=?0/9 A@Q19:u 0/9:R(cid:7)9:.10G,&.G9(cid:16)#&%(cid:128)Q},&A@Q19:+(cid:16) n

Formalizing Arne Andersson trees and Left-leaning Red-Black trees in Agda

Similar Formalizing Arne Andersson trees and Left-leaning Red-Black trees in Agda