From dabdf842f8f37da3d25a421740d141c28b23804a Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 1 Apr 2005 11:06:01 +0000 Subject: [PATCH] initial version of the "lambda-delta" calculus including: - Confluence of reduction - Generation lemma - Thinning lemma - Substitution lemma - Type Correctness - Type Uniqueness - Subject Reduction --- helm/coq-contribs/LAMBDA-TYPES.tgz | Bin 0 -> 40684 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 helm/coq-contribs/LAMBDA-TYPES.tgz diff --git a/helm/coq-contribs/LAMBDA-TYPES.tgz b/helm/coq-contribs/LAMBDA-TYPES.tgz new file mode 100644 index 0000000000000000000000000000000000000000..93f106b515ce9bf9a1c9ea362edae24a7736cb4d GIT binary patch literal 40684 zcmV(-K-|9{iwFQ0Crv^C1MEF(bJNI{^Vz?mi+gLZr<`Ctoa{O`WDR5pH32+0bB7B{ zxfEF;N@Ur{a$={b`R#j7KcsG{TULSzdv_ynEcNre&*_KS$NksOUi7z4{xvupKKbeU zTphS}yIuU=ajhNsTU^mC&x>#zn#--r z7l?@Of0OH2=Ks6H{)^X#8}Fk-8Sa|+@3`Ha0{>md0sh|$5&xg_zd`iZ^J$zW;prj` zr!gVV-X6bw`KJFwmKIaZ{k2!4adIBc$v8{`KbIdUR67(8d`l|u(oJ`5*ASEf1+?ToP z14>~OjN1fh*r1?Kyvu;#?KF`Rrn8i`bRNJn@MJO_FQQ9+NOd5P~H5vIv0>!JPN^%$o;! z$*jK%P<7gkQin7VrD#Rw(@6kOgWybpH1u_yLQ}IKNkgbL3Fq@L{)`feO#)Zqv6p}# zhNp?gFapVKH5xC1xu1kHq>0KVK~aEajzV@lO)lHy`aA@I0ai@{4-(TUISoiSK_r0A zytlJO3S4jJdIL=rRi~PyZ88qd!k9Jr20AoXoIq27Q7)1m?8~30A z_`ijw=qy^G(qStJNW715(!7^J93%|kD40wR&(^@-FKglHUT*iHs!UmNy<3Sw*O&04tQ!LDEEMiW8JHAq7WyD8D(ip8sUBTBpQB-2G#!@Zk>kl zldCYe_OIsK@caaued15QY;ol0io4rRKi@Qdw71^;rNn>Z+*WO}k2UdMX9r?FHU8`F z+MS2^?>??K-ULD+*-11`!Zd=ke%YaTqX*`ew+qV@&S;V#v$2l6Srg8yP|NLygKP0|Es}bM;6yPR-49l zMD_B2BvG&NTd)F;KAsEW(jY7Me+4?d!*~QDCi2hSZD-rMKSQJFKL$?QR~zqRo&MW9 zrSV_avLE#SJ}xeJxyS#v!*=uWy-g#0(u#Fx|i-%&I^+ zt68SkEHT1eNyS-Wo9fvnv}^-f_PUOYu+tVtTrV~GjtNG`z-P?S1L;%)>6n3ZDuMKk z0zz{PVEQJm`6iToBg(!3W#2K1n_rDnx-y`I8Cv1M3_W<5V*mrQDoG3VDgc=$!PuA~ zp!v~m>*3narNn<(^u5_J;F|c)+SzrA@gHVC#DDj22|X_i{PaURc}&-6{_?k9$lvDa zbVkm?C?LPI`0@++H3Xvpr3i=;`8a9EJp#kWPozgqr_+e^_Q`W-Xij1>A=9&bq2()S zc3P0e*AbtRGcTG4O8$_JtUJBW;e0_2_*3{K@5fs?}q`M!${HOUdENJiQ8*#XJ@S#fiqm8| z--B;4cYXwTu>z|-G7KlPXpg+_FVZRbBIzXCH6zJig6k&icl6_z59L8fw4h5h`sAS|_ zFrP+O0T(LHQ&6KQjr(o|F_&iwH^wi=LWVln-QyWOflfN5X` zFUG0}Elrkzrf^U6P@3Ri(C0l=!NH^>NG6Lk7}=vR9yu&JY2W1JV}EHBcazgmq(V|2 zt5iV94OB6&nHjVdG*!&~$CgsL24yuEvD#ED&fAwoykc_RB9}Q{G5@}V^g4K{eeLOx zj_ShwRtgPsqVLm@2Z-zvZ{N1alm7-{(c6j`Q4_Rws-sgTGQ;I)Na2tra)>c%(`q3w zOO+^D{44P+b1*d!55C|c-)I~lhr;$n5B(zfE8M>z|NVr(mx^P!$8Rq3=vV23W;TyV z+-cS5J%;Y_f8O^V8T1Aa6a&5#2%!6b4PTU}fnGEQQwZXlIZh-b7X>a&Yk&o|n~n#B zZIFNhr#jDZ?4bE3k;Is%ITR@cW}i53`QGoCKMpbShb5z=Ha(Pp!mCZI};-aBRRAbc z6G`mr!AyhRJTA%u5fkWg(4duf(I`stp{l1fH&0l&RcCjgfj&7fD{Y^krZg{v!H+>E3-uV(Gc z;HFt9HOoWrS*sQaGPz_JX3X}vuwKhwgKb9r|DesD=W~Fvg8KkL}XQg)ce33HdbwFzCXmcw0g`!-p z*1NbBr>Kx%;p}KET9V~L+@Lrm9=?{$)LN*84Z0QF1;`6m982-G ziPueL$Hpybe1H&-d1ziaNMNeO3&S8sw3V+lKqM@J2zti}o8dc6z&fraFdx`Z;z}b3 znaYDIfo`I#tRxJjfYpH7ajt*>0Du{M;Ss_|@;nN>gyNGSSq>`;NUz86bNX#a>hP3T z&nh`7uw~MdVXBV7bL8^k$Qs&3Jv?dP@tC3+OWqx0iE7-IeD(mP45E-p9)(O;6q2e@ zNEW#2B9GGK>bjXsd0I}H^OEdI0d~!tig`|_V%}E@J=O6>_Ed~FD<)W_2&)+R$c9X{ z)dj=~o+a?x@3qAFgqoe9q=L7r}TGn|xx4 z0CBcJQUaL1y4V4L&+Ycu7UC(w^|4LP?G`hN1}SZxTje@dVKy|TNzl}-h9^)#X|ts& zVsV5bDJ~lpR7_+>y0{a%8{2hA%7|7XDP80uFYpz~knR*X{PHVZ7Vhom#Cz?f{yBY7 zI#{OUPiROX>_>9cBYz!O`v+iMx5xqcq#->QgCof-=T^D2&@C*q5zGM);O%XI{K~*& zygBHQ14~SEt^=77`z^1eg+B**uhh>|DW64DenK}Dh=0ec^&SLSs#y!?XPRt#W2|fbUt^i%0_Ww zXiXO!_Ek0Xa%Yd#j@I_zmzvL!E6;DNYp#0-nuxi}y`osJ?d;CfxqFw7%?K(j7esb> z$KL8-sP_B#oBK3K1VjDyBC&H995O>HqmtLo*9iG^TLH<+u$4l!Ti2Si`ATiynhDff zgHhW!Nx+cr2F+s=Rpj1_It5odWo<7v)AxTqt|JYy zpKfvaSnK~y!Hb}0ao0_iuIcCEHQ4^>kWabF@xR#NdvEc-z3Y_Xe|zWQ{J(p-%y03O zb%ur6y?sfj*G!x71t_R;SijB-R(70M8`tbC3MYTiovi`6QuO*HS&2D=MVy8ax!Pm< z)2_&ZRoJ6t*i^;Ux=v{86^+(z4Bvw?H^y>nH6Znx?U z!Ke=Slsc}}F7f6iTlpFARiBsnjszSSsOvH%8oZ*A9ex3ypgOC8m!?4y6QBy8k}uE5 z0a-?X(Sd~^X=b|E6jz2k_i?@b6(GKUU@5+#IOoN9ipy*Ql2x`PLPOz29AZ5J;Pe@R zyfi!IY2W~X4DO%r&uY0hvJrzOpU z%n>(%`|!Z-?QJ|cnD17H0&IIRH;{w&@0oQhyB%C}U*a3W)UW(Zn!jguQ{?>4a|ZI( zAnD3Bxr;>zb!A??()A-E|&{r(N zsDZ1NgAPRjtHJHSA_KcsD298_AY)xI+-Nqi%f-Z-beL#(hYYfy)XT)1OhA)-n#I3h zfF;4*5XSk@+joz6iRRz^PK!MHDm`0;XS*ePlaCBQs0JU4uxvq3w?t1jr)PWMm`Lhs zNa|)pAOojWD5+4jvZO-T%92Rnfuk*%bHO!p!L7vw_wHO!o}DsRT$w9`72z+6g7n)3 z-mtWf{Z6}YaTP{J_4=Kyr+tfQvcxKSk}It<%3`Bs2TDWm36-o?69~41|5j`3X%i@y z-LsDR9n!ZLQ8RL~9McP@n7M7RPlv4LK5ybHv1$;Xmc_|}&=1p`4TtX^k#HQuY4h(_ zzy)zzWB@YgXO%%J0~ja=@b4ouvD z+3v7RBa56W7CC}N&MjEvY?ejJbIFo1&?;FbKiCTYiq3xVMl4_uk|{c`i9j z2K8O#qL|<)wxJjZv9wH3+I^?OJoFv2iEt~01-?M$97SdzsUS8Y#V)2WC^Kp4YvNE= zq{3>rRaV0lR>Qr8)o|}9E#lVMgaL86ps1n(AEzWPJkio6s^+9DC2pmZ6fKHbP~7h; zD3X=QM8`FVPSMs>NRL}3J+6=*_ZHIQ{s`$=Z+12%O}a!!5wWgD#JY-zwfpXRDeJpt zN$b{;H289ReYYrZkXn{Gk!b4@9Ze!bN*2Dpe*DG?R>)tsO8&Y+{<^o2zwWoopSX3u zhbVS4Q7j81d|a(S@{F=j@{F=z@(fuxcSbuU;l#9paJKv1l64ql2mB> z7Lp2I&_P!tu#lmZS&?28TajLrT#@b?(!2U}Mx=tU_q(#Z6KHeLm82eP7^NOE%~DTm z?(-(b>W##Ri;~&*=5T1 zqo=qZu8K=p|4~nJ-`En+y7T{cy2bPVce)SzzwhU&+W)QjO@M}23lT08JR^BdjrtJF z(vx24daGgS|0^NSPuTAuKF4yu(Pd6rBWs-<-RC_2?WE%DJ_qXmMo#iQUXt5LdaPXz z3w}WhA20X9PyFcF%i_Va&%$_2M)cU&P|5f;g4!&jIV54}ELkF*ck9h&J4>^!d}_LNo%mIB%1NR>@j1s&biBbcpXE!9|FR$5*ys-ctcm|R zUB@o&|LJzDhxqS4t{U-Q_3u07ztd8R4N;s#oJapiyDr%EmHnDa5}ZX`w?M6EHJ|vc zQaOZ#mb2QvEtRzh4z+RP#KLMXSPo_^EV8g`_+Z+K2%0R6i>y3|vhmrL-g~3rDaTDa zrGa_>%eMI&ud@C#vvhy^|2n&lQ$GLQe)#>5d%3FgU-!#eJ1?GicdkEH z?*&lgWf0Tfn$5DZV@_=8^qd`b6s?rv^3D4t!017F=el$Gq*0R6vs9HrOD6!by5c;G zqYez?fb5G7xs(sH=#V2PKhUCMJU*+Vg_S}}Cl+)avXdz{(VMjM*Y-A!D_!*S@K^M9W{-gk#q~p9=9TdOTA5n>$PGdOWrytoFUsM5=7J z;`V)k)rt!J&uil254|~OHwU(G6D!`el}GL5Z|B7kFT|=)H#1*Ew@pljx%)L_r^ELw z^X|U&k1L(u<(r2=QR{|%n<^x7AN8=f-rZ?C2QC!}TLVNz6oZ%n-b@t*I z-wa*Wbvj4W6>t+>%~wr-IqMRu*zDp63Ef~9m%B8+g(e>Vkdrh4Z(R*n55GdMBhfLv zgI}GU&AXVSnpd5)<8rIxA2m&c3~HU&qN$0HCV52S0((2gDxs2bw??E7cF`W|Q{E^s zPSi23<2H4Sk*J{~G!bH;q`;MzH71#VAqkEkn)OU`{!B7``XjtR#0@kdJ|Ny9)XpTY zU%kYv|z`?DBW}sF%vsO2vdTTE9)>PLcfoP2_Hb!(y zAXeLT{3K(f%NHR`U>za-7*F>yjeX2Go*(HX%FNe97f3MPR0uMXJt4+n*9w(dAW~0s zo$M7G>w5DErkAZgZYbyI#uqQ=s#fG2-T$7BoMZjj2@AU9pMQ$&@^ZaS$BXBhtx^SM zLKT>;Xn&fby{f(Nok%QoM19pn(ra&iO0xe!$oNQ`K~;Y<2%z&=RPs=~<^E}sxmZ(CmbSYdX}81n|!o3s0K z>O!Q`Wz3+j1>t>MV|KCYdVDjxGp3LKU|$aSS5>*z?<&|`WUsZ!7w{f@kNKXSXaOo# zpoRBp8|bcI^;TiMWZrI{wR@&0>fk~AgZbD#?+&`p`WXJfeC&V|c?3rRiHvb$!^bNG z`wg!q(C>PfEO+l9`yo^AP7MY7?K<|HI1vZc1=LVf_}JYFHA}4=stHciK!i?;SF}$a z;BIK73V>o0hC2P2*3n{VZUlZ8)5?%`gwz`CVv)Q&U{|r2V)q>w3f!@LOr|?1T3fHn zRHsEGE+by=5c zUV171^9BQ}F{FE2pqO%xGgM5niww3qXAi!g4iMkrsW~O8?h#gX2d5&9;ncx{?0K4} z#x!Hr8b2+oWskjq_82O(3^KrAro?< zft3G-&D4zam}@q49*BOBmKD{>vEIp?jkQiEU8142UM_P-N9%^5oCK}gO!FZ-ZCp^+ zRhHj}g_!SEwf+6KsZ9B1It4GaD!yE%5ovxDp6;6)e;xF7)*a`>qov z17+{5{i2@h&7K#LP0;qHJZ1#q!U4U&n$dcc8cn6fqhVuE5r=;J4&BOvFimPs1JOnc zPaBEv@unFRxa8r2q_X#kowjzBa7zhj`!>=%S<1PM5LNbqr1uGkmlExSv$)W{LlvAx z>PoDYl02-Y9F%d7ssZ*=i*-+x`=%Q=-?-NV+p_?T?ZdhvF<3 zl#02Kl=1`@XBpaxJIw76fR;pemk5K^3DGR4m>5c?zz^j;(@D{IKiDJKg-dMNT8Gzi za?LVM_j~EBf#O=nwZ%&+a(W3K(o1%V!?7A(W~#nf4vy^Xp1ia~3A2IH67URx0Aim8 z5Q{jGhNz3gA3QE-JuB$;D5YG8=GvjdtbRlLS`&F(6FU2oKj8@x`m^KDAKkHAJhyX< zNtrRECqBDCO5v+$G8xVNb7y$~dj><3M2FLSetOMjrX{jk9pPfXxvG@?CI~4eJ`cU$ z#92D}o)f9ke@My{J0LKWtJLbzHR2Yir;VH4fX&_4%_t-7aec{(+(um|t(i9;DCPsn zu!F?N8WO`r4dyp$(%?8i4+>iG02I*~q%lo=L}|n#aZJ*v-L|N`rUKZy{zv4eA;m2g zaB3=cJa$T-X2%=vaD`24mZqrcSn3AcpPvcPK4$T01sIiIiB(7IMNerl(5W4ppfv@S z-Y3VW%};%e)|NNvP-(?bQ#Mu>)jf<k0b3{fv<6;>4bKjAvifMkXq^idEIrsh8t7%xQ zKgaM|q0W1+-n{qtyyxmwHnjfw^WO8!dr#6gV&41ydEa+TLxXu2{VIGv_PvIk-LoNJ zfEu_r$fq5hlQv~4o_VCBgFdgTtnSS&sq5}YYVLRLqXWJ~{Z>65oQ1uK{n0Luq=wHU z%FU6i=jVuaYCz9wMDjPft#SG{GS!&J)3kMS%}>F-tcPe(3qM6pP2gTV*DE&~iTk4= zbV!f5YYR08CK5M9X~;;U0YFPd*s?B+A3*7D(axc~-R7tubK*!MdFA&XG-!CN!z>Il_=+|t47XB zz)~`j_p+MFdkJ{ZkrHL%r*rOb9N?g`4x^D7sVJESy%uPLoWgPBfCxSb9=f))Mjx

1Ag-@mPJP*F1_58Q2)%-X2WUrzT4%$xGvM_(6ge`Lggq`U6i4RXwmMw`(aZ1QM zEz40R*E*1Z1D>oWlj9AX0&yW@7eG9eB#rTrs_91H!3e86i_d4u*3M_jTFPh29x$KD zE(2OmUdkRMc`17W$xCj@tvbH2rxdt!BG01<%C#JZuTQzmM!GCo`1T6 zHMFURa-_Gs^57;B<(kbN*fpEA>%7Z;W3E|8Qdk@Tn>hHgPv61!@a**|`G$WxCul$I zkK+H6=QTH2|1ZnZe$T*vPPhKQjeOQV|9dq(uUzgwR+tNvVGbSfB^=1npf7hPOod{_ zeLgj3&smQHm*#O>x`tRqGSV2So}~5#dm1j|`mwwq673z&TjCBPVgh(^&LF_pf#LCsuD+at}@D4J*$f5 zNAI34#&dA{t5sFbXGxE5mh}I+w2G^0PO}}csXxtTPKzc5T=^~|?JDd{`?jKz_4v915!4@N{2<#VZEKp|4lA)w5#Eg8N*$`pW7sD_u^_&Z=2Ba^?HLnB@Al z`@l?;9=RT^$Np469=UdGH)m1wQ`Y{NIa`?=h+`7hI*)O(+62tX#Z}^}>9!Y{IrvHwj9_P6_tHsN1GJoTYCS0SGFPcG$$9uk1fBQ{vPQ+Qn)Y=~Fgu zy~kP?7CD2iB6}`AoQ6!~8XZ{B$5=Bj?SQxu-N4}tRTUMGsZr;0}f!Bl9q-gS#QyH24KhdN7oj}zyq zy=AczCelJUBj21 zSTcy3^O}hmUEw9M%0{bPgzrAVd)%2Ic7%ec)W5Zp%x6Vvdga*2i61M`W-9D_aNq9J zV6BxyF_hPfds|F4Jk4d?@y_$}v#IM0^ zPuYgK8Tt}C)FlKaU(9mE-gr_Un^AG3!vHts2a2c|Er3r1{xy++ig&%uT*K|>>3vN9 zFXi{m)&I-$gPxK9nHF3B??yh{n@ildNS%@XT^S76*`Z$I@#vNat0n10`YR`Y<-17dLVrvXhdOzEGrM8-JAn_M>|W}+T@F6{iYAU>t(InYDjJ7Dzw@HxG5QB|LD&i~j zSIIf8q?gcNOZ>;*(QkL;4|HXU|M(E%M%23fHmg~$@RpUn8j8wU4 z8>Mhyb)i+%xxFGOSd(rr07Tn)^$(n@g)wBHUujayqXY+30vr@Epu0L)7hrj&s1-jg zyD>{P=2$LwU0XrC=q17295sMRPov1SeTjw7_m1`Ry$w$1M8sORq| z{Q7(K`la<@d>bT>oRNR9B07}5ua7Tr1J9FoKMN+0CSRY-hSzSO2Q2IZbZ;#B zOX=XWlf4Hz(CV8B#fh`~F{#du?m!U2T60Bj@@;$x%hZgS8~rzQKDfx%Q1PV)>@)+HA?Yhga;}%tR*hPht`=L>9kp0Y|3r zcgoz@+sSc@h(~b@8y)*Au+K(_8cQt%-NC*-p~&{QdV6PY^JZTy>4%HkiAU{>rl zXPsd*1!i~0YIn!J?vC~Dj@9m39_HO0uVK%qA~)>9(Pb_dv_~}sEjys7RL(K|hb>4? zBE=_BXZV<9!`wAIdP;<4U0K;gR1!a6$cW)p4;snKadybFXB7`-18Js8^=PN+o*6T? zim{0%azkEL?RHCm*-3I0@zHe~W(u}fnSvq1!_pMoKtm_jDm-G-K(->E0^3>aypo&U z)^Kj#qi!Caz2ndvt`6wNO~M9|e6J#_D6BODOn3y}Oc(1#nJftP;(9+ed{1I7EOwu- zaX3ytwWSuL*0i_WmmZdZ+&Pk>V3vMlX>0y+-+k#Tf0@#hGEAR?SjsT}Kh1HohU6L) z`965ilITN|bmTza5E3QjbTFwmWJg^4BwMfsnegGkbS(xtV0~+JfKVE~_z`X!b>6+pub*vd8N$_IWCn>I`q{);S-)|sX z+E_L8<(r=DXfk@pMg-v_QO#1Rw>6@9NhA;P`zRv{BKP&}y$(E~>V|6laJRDmt#Q6P zk8FkQev;M>3VZNX6$)oI3fBXGRP9ebXJ)E?14W^sion@3v%Wnx??*yD`SZV&{6Be? zcZ27@^K^e-&;RT1r`!6^8~H?>|E|jU^+G-3{p}R}gb(PR&CB!Q_2@Qve}NGmpM6PS z9w!v-v7+^KPsu^w5l#!NlACkM@4qIUQ+^Z{e_nhkFQ|8Y{jNNhcPT4odY*L72qx2{ zn^c$O4BTE`Av2hL?Of<*#XG0WeY#AluHLNpu_K0fLCz~E7di`iGOH3Tmos@X09cD8 zVMjj+e@g!YElBP2{_;opy7#LesV%fhF8Q%)9(o}wcYfbAyYi2g;~}I;e0qu2aFh80 zBKb&67AXLBs-0jCp28q6Afvl7-@zs{lz0I8!X};eg?-Uak^F6TeseV;Zx(JZdIvvJ zB6*1%Eve?qGU7mq916+JP=|tjjbZpF|4`_}&*a3fGpO^?)gpRS5Ib_YTgj2RM+1if zmKYk2=NYlyz}X;qfKslrn(ReSHl3~0dztVTISA`HCpngrMkB$6LeNOg*BS{4RGils z34g#kl1X?J*vrOcll=${lmc?jje7gn1ozF;17yrPJHdam^@INgx}wN^oVMRs@Z04+Ke;MVSnzg^#hKW#UnqPK z45d`oJ%Shnl^rzT^dy7^!33po1PpB-$X*(j_@_zN77!q1S<>XsiBjPT@&n^Yky9aq zFHi?pBgd%4FJJhZyeMOv#OX4pdVtqt=BWX5;DxCWvnw}V39}Qq>*7y`aRXPiYI1{M z2yLVOG#J8_KNmm$sm1`H_?t}s=Myl=A>(V*@(Hj z;EX2aF1khwt^*VuCckh59<4?6ON~=X>S?KuHJ+>> zeh)F(ehG|STWvNRfA4CuE;jdC^DVX3727AJ*Mdp{=VIY8A&2q3Zih8Mwdnle6cNrF5=|-?GgCYS{K2#Vwv}2;QO4_Yp7cYaaJDcY z#>=L>g%O;@7+6fuGX{MK(o*41=QLP{1A)f{KS*LHBJDsXJ0LPg>QE7Mfj?hAEbfeE z)2F|})rb#1M=c-5#dz~Zp>@$054~hQSJqvR{rHmQ9M~{4ZUn_+S(nYfZ4m)xPUEtO zbjJ)BmHvn}NT%5miAo~b)XRT8c=1vc0Iy90OT^i?2G$fL=9rshPBog!fvRJ^6sa$Y zTopMZL%-fxHH;;wa~a+!rTu1DKciSzoAD zH}ByPm5HJ!0?&}x8(*4~;mP$R@r`AXgWozQL)sSz8we(uoqf?;7p{bp;Vj&qMq8oZ z`EcbZAM3=Yajr~vdH%QboLXTb$meP zGxc|V{BMPA+|z6~A;$Qr4(&QG+uKxNG-T3LMF#C=k!2Xw@M=_{DCBH*OpFd1M^ zAto%f`GHAoJxyn9`Mkjg@@bg;Y00$_*Ra*YVE}@>*ItFSUgGosx#u#MgZ?7)M5QC} zz%#}lb6}9cEffnOYdXXb|FLG#k2XZpa3v%I(WRkm5>AeSD(&&Of+Qp)*kIf>>5>OF#*l( z!@g~Z0Ha-&!Pw~mTbqr4#;D6%PBbwuZ zanldR+;^?3VwiuZYTepoP-TOc%)g0qYC+$(4w3dsUtF`2) zy$n6B7r1Lr86N=GD?QDthABnep88`ZrHecCd^bB}zjnM*vtLBKGIz%-{UjJ-#{pQg z+k(T^kLmy2bp3}k@28nj{~;^3{@+b}n)-hqAZ~X)FH0V}yWIV-J7IOGP_IfYQ=BE& z27uG4u={|Y1`b6a21%QwP$vGNL0piX@QET1*?i_(J<@B5GRRq zZoMZ?L=GmKtVtKlE1XSZo*#WaOW%B!^1-8JCC=U$0PuBZx%Au29&6cz3W?-U8;^c- zljPdjJJETg2VGyd*N&iEm#6Eo^og6V_4w^$3-C2R=Kfz@RU3`}ru}}N8u8!$!FK=O z#K*V)BTiu3ze6KPf@Ru~RO{TA(~HZBKp1rHN0SLH+0M4$69UJD0lDOl_?yqKYbJ7# zezEtUMuu-1_U|P~7b1oYMx68ZMG-f1i=u>y*jQPzD@wA%a!VzZJI^CZBzHR3@^sQQ zRi@6-A1^R+Tf_k)NUn2Ju~L3*q*HxLxmNEPXqj^_?Hm(7U&QufL{^pkNJVHZ@X%B@ z9)0`_I-ZX$J1ubK(tiziqYQP?l2o1V%kODXD5GqKWnh?es#nda9a=J;0P{Gir-IuO zh55Uj^;|3on2`Zy(Ce}KtCTMI#rNz$yj*&_7g6=e`Rc2ZYpVBRV47>vPrM4_P77Y( zM_(lOQ8!!G`vsP}*WH?L^)38bPhUvk&rGj2<-`NqSFk+EI#w2IN2~fKpnzMK8QAkr z-1}!1p+P&N((QbRHvQ2R1}hRN=pFU9oFEyI8$cY02^RTKB17n`8n8+HB0Zk(;d5aLiS%T&vgH9zsR=vzZ>~P;Q!suQ`P2Uv1PPQZpUfzzRGs1oI?F! zPz@zg_$$6;h;6S9Y6fTURICI8ew2RI?_P*~F-h$a z@O#!CXSBx@lmS11wMYGyCAlTvtul6-GQ6sg52Iled>9$IsW66-xrdRdRwX9UTHbfl zs>Dq$yu%@1$#mFvCa~G~gs<$oUGDOZNZntKI%|K_xJkyHl!?j6bw14m=h5fG$Ip4o zD@)6eryI6RcpkQ^&sDQ_E1d%}*{VYeh+uQbEp+s>*ruoIrkyir2d!2i{?Xvy%%F*d zf1`S$5D94cI@t1uTPSWgAX!|5iHbTRsiW0w!7eW!kuV? z(y!$t#n2;{vw&RYqEd=BE{f>NBumgbTF@`h9scJ79c$ZuB0rk`Uu<6g&+@F_H}wDQ z`M=G4qV)e<3j>KC3daxJj>scB4TQAvx7~3*88y@R3`1iVk37c7!9qxtNw6qC z2ipiUpUqEpxgxj^7SQT{2twtOP+ZVU7e~R%4vz6iyK&rR5G?E*Q3K~n%7-No2oD;@ zutL5bFK}j1Rvx5F9!VH0D+OI8mQ_+o;9tP-zv`Df?h-2}thr`_bjqFropO^-@hb-J z9ZR`)$UT1^ty0&~U*h-NrR4D{)q0h(ZP&YI)lDUh(hVAJX>D6GvD+ZIbvv*)_dO?W=d;%?D*|>IH;|+$!;KD$Lg(2$R~LIlfaPkD_EYhy$N1Y?-}b+0c}Tv&cn4zm)V_%_?-Ia zY*DEyxp2k#Ep^StCpq?Cp~kvQla8|UZBIvl6-9ulDmKNR{u#KNmhUhP3R#__YgKyq zH?#?(4fp(NSm+gU=!vt&#j-PrmvGT{pOvHP-k`nTv1kTy-kOu=c5!9t{{&e{Iyz z+2Cuu5uJ8PllFZ`zJ(RY&0o@%{B(&;S~sE&+2;z-}@l zQ2E}s6;;6x6EwIo01SW1_6v0l#1E2) zBMxB2NO{7^ANCKn=YKZy z@!9{2C1U#wa|7E*rAa?#ziEd4T;-p}J^|4}ecyo7ComqJoy|2P(Ux>lGOL-^j|rIA zM6gU)?1d>drI1T!bFAA$*!3ftNWrLz^(@rfD3nb>o|M`nEwVC7lTpNTD;nqmFRU_P zu}qRx7Sr)nZZwmt%|w{cbP`4w;BsXKU^G>Z9jd09+!1Fq`p60ChI%(t+zN@Oxr$QI zBqu-iI(?{*A^+Ql{|n`R7yW%B|GVGc%Kwdgg7QBd(tn_ow_P&?yxmo7-Av>OQ{|HW zxY$JW9RoDl2FQ-uWD?vnLS`yKzfZZ9E;8l*L(PM$5qY+R%XK_BGhQysCa{Jx{V=}p z@(jn^o_R0JSX1YYkgU#ROD;a)O#95-BS7hRYge(8Vk_)u6AOZ-Eta)oFKMX0I2n>I zh@2*1f-IwXiaj*TV4e!*L)Ab2L8Q7gO3Bilq%ch>n7$9N*I@>)0$e_YaPfra$w8E> zYJ`4zk$^Jv-ylIDd^L{B@y7+m86RUfbo!9yuo1WR5eZzV*~HlAaVj?VF!*nZ~I^fV4Gc&MxL=Th69newmgAtG2jiMKq=K!o_Z> zTAl#+30;d~G=KtcK{h$=8=)=*z3%ux(@y*NHgt88Vj8E4dMg-`KxBXMImG~RK#sr9 zpIUPGNb-$-ozq5VL-<&Zoebs!X0ZZS^$tWfWjWAcy*{3zZnw5HU@p3h?@}fYvhloO z9x6@<&zh{k+6%|O`_F^Pa&uSyb7f_f+*n^S-Sb%P^3l1Tx8uSgx{7r~SJV9A$DaY7 zW3CyruH0L-;0n#u`|;46Gha*%Xkyfe4X9y6(`r(E5sPi?S`|gy!4|{3rUm!V#%XC% z+c7jWSqzaBnG3pHGtz}VOZkHh5xE^#-O)0_V%-sPA;uE*EIpLnBdaku)Lbi%QE!Af z?@61}$dwqIuH9fJ*Pce(Ab)c+S(t+yuRTaE(;s;zhxEX8aRh}Lw7nXaestSjys93_ zxR-#V@iBWX>%NTHwIXtpzyWn<@Y|snqFtjSR6IID#o8B2_M3Tmg?2P~M5^oDXOv1p zX43kV?-Vh1__Q!<@5<}Z{DWw5SPe%@dIT`r9n%TG*OPIUjH9%M56bzjuBtj_HO_V= znhKJ`XC1B|+bQt9u=bJd1vEfwtu$H3iuB3p6iSsB?O9DXvqO6h%j^g}hfRP(X=}So z8HjbGn=vK=vr9RpY|)e@Iw~VXq93ufoUfyBl77$2^DD2?N$$e>p1e!ycCD$Na%shy zY=pudnj7bmq6q6FYs-TTE7@3pxrHAiz>~u|GU7kXv%k6ePg%crVBml57uh!cvx!fG z_|KSK*W*2wsE{*abIxvU)j^)~W{IHTzHaHQp)w^ZVl$=N{y67CiM5c^0=D7ku>g52_-m#ac#})N$x(4_RhDm2M7{bj(I>@D4RWln1!B$-uG6IT$ zYUs*qMSPFG#d!;Lua+smi+Q(dq?MVa#4B z1Tq`t;P%sGnu6LR1v#h9F~QtVBOt0X?C9&oRU7ys?iRfQAt#oBwE0-903yb z*CSCcM54m(-k;kC(=!Kic2iwOjOIBft+kKVxiv3pk7udD24sNv2m2sv@xei>e9*_F z`|<^je0Y|WU5YhY%CwZTeJv}pP&1vm3}o;R#N6JHB5f^$`h?WwvuO=waH}tG_2sR;{KWKS zrY`4Ob-B)zyR{gucKpWG<*l~-fZFo#9#wlY#BPb5LeKOSvD4Su)U`Qn&BF)kk(0nI)8d}WqOwk+lBA%t*%NJwtRTG( zDKiCVsuY~`vB5jQz3$Fn;bAFv99P`&*nzv2K5G1zCJ*qCd0R2yK>YWhR}}jB?|yH4 z{%<26U;LL8KvjagCL$cKl)9%!jg`B&MQ%C#XP*7TS7<63yrSXI$zZb*T2>i&t;2vu zlJp6YWk~(1og~Fw+CKWNHOIu(21tjN^0ZH+MK!%UQ zzrLNP-+2LTDD}QZJ8%>75$uu|$xF1)9HZ^nJszmJQgt@tT~vQ!7sdIomzm?mXY)sS zafdO=if$KcRIGut`67j?LW-kGMIvn6dJ5Wunv?fT~GV3j~j^` za%h1e`pQ!bS=?FKV|1ql;D(?4az2I;Zj{vZXoMT3iK0;x03=5q`~)s$p?b27;(~51 zqwDKYBJ(S2?-e}jm^DfpB#jB&#N>=4FvVfJEz{j)Ay4?C{}r*Ya8+-&>dS(&y`<{L zKDx|z@ABOhJXySAX!hva9s3s35OKmYG{+o6! z7VR%(i)$7)_86)VTd1kBQd4!QMsG2z-AY+uD`kOIZErBRywPSi6PB@ea|RIOMH4aZ;0h=X>vM%i zvfleeW_V_$u%LgnGP6`*kpDK37@fOJTk>~Vqa{xQx zk%Sj;l%mOnTI!H$Q7pWkP(#nJE7Ia*+Wp%6C}mn25^CU29H69sE5LT-Qds&)E-G&q z)2o|VT|RPi5o@pwJ|g}gF^lSgsd`;jL@}ZfD!yt=rx0%T`5-v_oYr&}NB}`2_w{I6 zo3H_LYe8MpX=n47h_ky9ZAi}0RN%Nq=;NVV!9E$h7sw`)%OoTNj|GnA6}s)_=A1+W z>DBS*mbjun1NezVSWl}(d38QWjxLw;@#V93H;Y9%$B*BZ^XlVgxCzk${ZEzd;%o|B z1T-PGkDh&@1o23*b5NKwm1Q|WIq6hZ-VCO!U>@ciOtUyNUfr<;Md`!D!Th(y6fp#j zj^3XSG3!?#eVa2n46A`}nd+J5&9ZgCq6V)66(ZFrrw7()4kTO6U`nP35OO_$5CDx) zXHixbYz`TtLe40lI=&{%Oml_P#SF8HXm06+#}3VJ$!ImbxpofX z3~%kYcOQ0%^$AVSyN3O9_=WDQ1#Uist0h@fwL881*ss8rw-tPI49+=*)+Q^G7^03` z4N}y!WDRO@Wv#uzT9y4kbi%2PD=cm3>BeY&;hb#Dece$k_4Osmty>|)ACVh$9VfUmgECT-pBtxzXQ*4%24`#n$0v4X`gO{D)}|s*^gQBOD4KpWp?f&chxVIXk%9H z`L9O;)?t$nzqCb&Gf9d&N{wLe_>K}Dhe_A78bmdyct+Hn;5NVH4(sqMER_97H6n%1 zVc9_cu*=Z!Nfov{(PH-sQMd!HEkt2sn_HUy{F7g+rN(>QHu-K^eW#wtR_0QkbKwymls!OntJ)~K_1$7!pxbm|-QpR#$A{*xuS ze*fRQM}Qt@fBe|^Jd)x6!7HF$_fOFOlkMyEAN$!szV-iX;^XuGI8OU$Ww~tUeS{;? za;V2*N)2&o#%A`E)0DzZMwk`AN?zZrXr`$tJ7Uepm^B>O8;vo11o4lLWFJ=j4Ig7v zm*89Z8;rc7V0kD|D(D~I&?5)?zCD{Vkd?JAZ>}001oN;KZZgPP$LOZkSc^6GWR$Iz zrZ%XH(b==kYjc=?&k?@{2W=1^46)B-h}qyJt{26MRnsF>$OL|A)}$s!m6UrUE7%>2 zvJRk{c3S^*47ndZ#xLp5;2a5YEDGPIUC=654Ojl?ng}DKDJH%dg@4A!TJp{BZ8M#h+L;~k-~Be z>I(D6k@G)8G$K~IZv(a@)2!ne&R-sn+qV7A!nenm? zpsNc#)&-W^=9e6| zkZfibB|ugW425@*RGcet!MOr+p^>x$sjYWm-|C1odjKlwfgX@IAJ9^F6B~EI$5h(t z9XW{Xh)mSTG*U!tTS_GqmqVZ>X8=|@n>hoJg1okUs$aL7tKZz9)nsltrl18o)O*9o zC71O*Y@rnhBDAvp;v^weu9}dLD1w_Z@!f-=Iz-xN2=v*Us1+$c^4p$Qh*fLi{;%H* zY|3xuWB7lF=-O!hPoDM+|4-37*!q7q@rm&4m{=?<6-ZO*NvbYO{G67H=#ekuIHOxpcRbK@YSsJ!qUthjGsWs2 z*U7jxthLy8Dz{3DMkVA_7B*JPg^&`B6k1Ry+TWL`wQ(}}9Os90PLfHN^)O4RMRtC3 zH9$Ooj&&SQ!G`r{XD?O*#9?Q{|jyZeY5^of4l#0 z;uC?|rtbfaqF@aX-dx)n-2K-o71px1HyeNg@Wi$LGGk6&a6%#{SHsTShG!!50}a7$ zBExWL=_WN7AGw=%+3r07Se?SW*C|f!MIF3n2Yv4H!Ksl{ZF8*S!Lc@&Rh!W&!^Z_E zX}HAr=ew2|LkdCbIh-ttpYlzV?0J z!|{Go)AQ1O?Iq8(?_bzn%JLHqLI$brg*`|!b{{ChuGQ%FTu}cNR;vocPfW}&KF48{ zFOsP)AuK21Ex%jZ!es;6Yb?W!Sss^ZAYRMbGrPGqn>~ZYxYR*cJ2c>C)=r?M3uePN z^tZ0#p?%Lo`^rPsAeF<$w+$;hG@79|8+N}2Zf=cB(Kj^Gi=|F^sOn)lb(^PTM7HW50 zBDZrUzR}>x>uU`jE0|Ai?7wR#r``XTZP5Rh_A{IRZyW#H$j6ueO
yECu2iZQSz zXkf9n2hVB;616&O@x*na9=gtA4_znC&s|%sdZj2Pm1_63yc$`+&y#K5&y%&~=fNuO zTR$|RlPX?cPfen%@9VLWq=~O*4U)9yMadq}i{f*RWSVotLODxy-Fl=`>?SV6+)gwq zn4*pYp3ot*XJus%W@Tkh%NAJA%JM0@F@*he>9(E?6*LmE)-0s#)3cD=gRg5LWlz&W z(#Fn{IytoZ@7aF()IXa2mu*g+x@We2 z1;0>~l0rN#s`55LJ*KCY1{khxdP`5EHG?h9hO`L{u{2u)u@r!nDkei_1uK=Ht@P>m z%utfWnS~F1Ww2W7TL>>I5+&vKvx?e%_QVU-O~-}6{6sKnGY>|sea5p!7_|}8-Z&q) z(X30Qh4XubA<5xfgNe?~i547^^UA&ABrAB($sjt^?gKMi!tKB;7IQaihPew2kxVs2 zxGEWiy2~f!2?6d#4>PMX%%=%1>`;}VoQy*s-jGsl=zp8X|ILuPXP*Dr;=gR<6M_E= zPW(`|hTy-M75o>h0J^~dgx}19@QXK?0j&s_nLbHeUPnHhvzi5Rb1V!nPws`YfO%$m zkfL#P!X2c*O{N~`QrY#qyQl5E^qbv%n++?SOj*!%8$moitwh{a#2F5cq6W4_zh9Kn zg72$R`;8wYvo-XwB=#MPVE`>{iIZo+5>D-iGnd zteZV*-{edH(SMr?cTuBg%|3 zFV#{;*)JRG+CZ%?Yqvb{CSA~hXy{y@gAF(W}5u37r19yBCu_ZL(k1L zQJ<38^&}7ZP`{7@l%y%|<~NAM-%M2;-3&b1*B;FJxhKcF&_PL9Gjfdq4<>)Ct`F0*FoJ$e4Zm3} ztmU;#@>qvmzP7_Iw}gMiwO))rD>wXEx=ZS*MSttNv>sd6-G0oEVgGI1|CeQHVb=dD zw)MX@@`>>O5nE49`Hk@m=E?i<;OLN^`5c`7h<2emwZW)8LJ9yGzB9g`m=sIm4=>)y)T?XApB1DVtvz*uT+fg0yZ=^hIDs>YI! zmf5^s)Y|L)snnEezSdi*E4B6Yh!o$f*@IQ>wOTG!Z{)sJdt|*&;m(N+P(VC*#(uQ%qsX>)EG-%Z9FoSD; z3CA3Dz7JPTM&vSwOp7OLwUgWHb}qXu&+vT^-4L4A2dQF(Mxu9LEB&lco$}}h{SaA4 z8IA-I<=Kpa**i*ggy|u1sSAPd-bNPS`Ii0gVK@OwsmIR%Ef<%p5XKbKZ@gO)3MvL~ z845=>Su5n$GU*^C6Fo7dq!wQcLQnPB$BP8SFw_`|LP-%)pf-#wOF$rD_^;^2!#4)1 zDh-!>3ExC}GY0pNi1HCJY_vhv}rPyB!E~uwb z5D=O(H6E1Cs-O?*6E7MVFuyd@OM1he$5_X_z~9>J^i+xfKDI~mv1k3jeTZ!B0(B%M zgQJ<2SoQp7w`sk)T&Y*bjZ>{?9pSRtW$S>lj~@%G`boIf9oFjOtKIpELF$LnSh6NK zX-MbOdOR)Hp*ES5;;I^6l_arhV#%wb+Wa*6Ga8YRA%&m4y;?4Y1i6v4zyl-iB?_m# z7MttY-1DqRvXYhqe}+*g)zhgI6i8hEO?|5x#Zj#fWazwrqc-T(!7ZUXF1uF3LDKyv zVhPa@tF0jwhas&>H@c#hE~~F0D{T}?iWhtX=%?}uK`FS*gFdyOJFPue8mY(D$dv}_ zv904u)34Vl$p-4HnWEtVOR|}SWL4Q35K^hiww6z_X<@b$j0qN4L!+>x^WZEpBAO*; zeH=&+*f3rSxEMWk4Ah5BV^YUb4Q40uc^zy?qYKL$W|$7lcBY<&h(WY&qvIC7|d*>?PA?1Yxo{0OPhs`M?uEBr2tzd>+w zeZPZKLm%VKIv748N;k_nn}qF0vH?ugETXdZIf~9GC4FHeCMineWR%7{DNO`yflbg; z$tdEvRR-|@Cp7U*T5^+QmBn-%85^q{z$B7}aJwP_QLJcNAnGD3bIF4f((M`Y%ORq}%$>kMyZs|Hb3g^MV3dU3j`!Z@pYhF3ZI*3>t9)v=!hI zAem)x5BIrGC|aRNWo0_^I#pY9SHTIG@yn}yu&w9LKX}#KcvoZaHIjkvGnHI-am7PG zF%bMJTR9M|8c2;D%-q0$FE7eZ7YXLVopfJ9To%(i;dJPLr=V-4usLB0?u3z;F5DYu zbL*srM+hb#P)wIHx!Vi%S!GObf{K=DKFhJPyv{M(P=@(_hu9)fI-MuCXJED#ZNILX2Xe9IN35BQdBR*oo~P;7;% z0=JG$ft$=3T&p{)Q1-uG`G^9PkJueU+C-O-@KTa9fkSbL?4lc|qG*OwQPjk#XsB}q zRW5cohFq10VdQ!ILvTDsQ*pe+@}grD4bd@FqWRD<9+hZ$B++zFV<9mRiXd_Zzhh0V z6AYOI%OuE@@P5< zB$i79iRH2h5=)E_7X%SVESC_8<mU!I0fV2>;pi&0+L~}c9x*u^X z(I2XyJ2l-?S@*1ThpPfg637LQ3AkeD{~O2u$o6|?{kJ^b#{W0+@#+8K?5ybwhF8Es zfyyyIin%UMvEi9{eO$*KLr<6@&1i7iwVp5~wIdx^3s_e~(&c41l6Pztp{#S(6uLDI zE#WkaK=c4rXdBUMLDlt z{fv0)bLT8`X8YTWJkHAc@o&q_a;(|Am5cNM7Z8K8t&6*J_0$I9ne>nydC+tF7MIws zfI~imWPEddJF2E<)2nIq(bBA*@^GxBJ5UAXSa}6`$<@v5BJv#urkpJ`gI3T2t^QKN z97lT&AsnfCzjSoIn_gU2nmSsp^5K*o+n0!gG|%xzi{`q7X^`MLVZ$Fa=K<5zyg+k6 zu3IHOKBV!`5+6niQhd0uj(=FlR(a{YRrbP_Sr09t2~NVVKKYMl%CQ4Dkgu#ez*7OY zf;&Ks2UTz@?-o!W+-h0i@YhEv_HBbLh~sP30DxP(N{+r*rANu6n6g9gZ3%5sD#bn~LPi{lEonBoE(wNIbwi%vS5kVZ>TPE4 z&OYJ2TeMz?pmTX%9m>767>eCBVxQLzGx*-DUg*{83j6)N4h_t%|4Q`)@Mv#XsE^`@ zb$1rm9hm#HhpZb=c8{wJ?AHVItFA35lquHJfLxSpz$bYmpF9M)VOc{!M2(m|g_t(Y zOUJ=-^W27+M)!eAXYp|#Xfw5jZhr@2Ie-l2p^umI*dR64nWh)5aEx!2dh}?ZM$<=- zCWN19@JMzDr$T#(rkY^)g#|6T_~eZRViGuvg+;?teAd|MI>m@AD&Ny6M)cV3k_Nhu zB;0RJ_mL}B!kE!3KARL;a_(%nKsZ9I7wbxDejc{_gyB$&7&z48$-to&wct=4O9_s| zzI;3jMq4U@bCiBlyr(jtQ6(Utu?u`G3IB{O8FeHTeVm|r$(3S z!;}`AhbcAJ<0IjgS^z*@P^Koan?RWsEkl_)$6<~l1;cn)^wQ#!L@)hK9d5J5|2K^P zSroY*|KC68ZO?yg+;e2cq&f;NFIK4Wpd4~eF zXH!YhfG3TV*-_f;u|`kT(6?)8&M|0(#oB0v#cvm_u-Kv%+MjO;t$$1vOhGnM6H$a4%hYtmL56<33ts9vZGdfL zR%=y3-4G2$kFZ#Ggj{Cg=L>5O?NB%Fq2}6QpL!$At-vrX3^E^9ZNa9jJ&m?O{^n-V z4tcZYAPX?aP0pn0xo-()-M>RVAozOGGWdEC4Zd!srL+jX9`xjTF~cSnJy3uOhwF;q8rG%L)>1HK86A{JUri{JZ!~f`2;# zbexU0>c&(0DEmJP0<{eR9@zg6@`68_>UX;`1XHnC0Hswr`Buc{%>+qT?L>u z5Ex;wS2^*3B834IZAsBL>{NXzQpW!EGJk=tVdxh}x(R!bOKp-FOZEc%D7xyD{)TDZ zYi8h!c8;?q5640J#*(YENIqaUN*vMX-9@(r(($GqihzHco!?wdlG#nggGTZS*JjqD zFF_^Z%)}J|M%I^yDzAY&@K_@C8WF|{O7uQCoqv>(HPV89pMLPu#H}!d!f;mpOi)QN z0{bowFd=Ts6mHANX)=z;9-DXQ<=to;clP<$G^4y7`*sfhuD+F`z(=+r+EVGjq2uX~ zfxrl#TpGp{u|{Pk`5|j{dbRHbZwX(0_4Bu*D_T77wj5PR7{`P!&8b&rUYc=yyg2i; z-mG`3+|~li1Ag-^t`#&*FUUc!$d~GK%_@LNOO9P5GZ)>e)>_`|Nz8Q7SgkSK;$)04 zFJLpzR0`aCJnhCBDEz5icsdL_J43 zEPoY$SYjQ`2ub4(h1VK(6LQujB@akf`dS8RR;L|GQ+p3c&CtW}oIp4~r`jJ6t;~0x60uQhw+*$I*J+Q5V7+3ZE)n3SB!m{a?c?>UpO+&vBj2MAkV|z$Qt0%k z-iz-^G^GXE1oF)@p9{+WT;G$Y?p|*66y5_%E>}2}_=t3}Zu7V|@Ui)S+AaYSs{he1 z^!)GrbblNF*~llN{s(abIqG~cNi;}iNcH1oKD-4#7>}LJ%X6&!-&yveyQFja^*i+Y zln2c_C*<#x1aK^^oiD0{w6=S1-QDicesmuS^UM4;r6;oJ0YHww$Ev)gBMY>j;EoUk zd)%AK=nZjMpwZkRqv4(!CVoJdi0rWx`2-Iv~F}l8BTD>nL1+ z{2+5d@|d+S3qPG;QK|4btTT+!(!!Zj(BuLy3PMzZL^9o-nM`wn@0mqGkzm@q9pIJH zP2TDX56F6sFs;de`NHz_jx4U|-pz2`;p9*M1h6M)Jnb-)Tgs3{a5J{xS9!-qwin2H{ZzbX&8k$d%Yyfsx+t=BJ8nf%|0K*8oBrQ+36Q|~&%D2Hoc}z? zw)Hk;EZ2noj@H(X5zjCdAUfb>D*o| z7wCpbw@a#mth&~4rWOHaC`nYDhz49Z*)^N5bel_$-YTX2r65-k`>3) zW!VIqqbo$Qa#*5Y)c$tOZsdEYBeUesNtXO4y6Ha={p=mWJ1U-sDLXsK!>QW2BP~D! zgEQi9%h5<`$sY=LwTa7&d->&yxNcsQ4ZDdCVbY+Zb{r3p^PC12-|NW1DX6W+`&*#7 zValn!n`Ec(4TTb{wLz7GcRDyneKWnsr8x6Fz`I9~$*#3c`0R4oB#A2TE(KEPZj=GZ z1QOZ=C)m=!1|wdHY-vxD%US^uAg#c`j~bFOvH1mwiO{5xm zGWQ4zOASy{sKp4g2HnHbEDMS=aIjdQnl}(+g>(9x0*iIV0)Fh28Lwc(Q-^XFNl)N6 zCOB*|daoEL-bhcs=yk6|p%TL@R4!`!``TAL?aGq?)Fhf`w0bFVI2l0Z26f1Y6gja` zwWfz<DdoSs(J5ez16#0-ehF#(L^RQ%yV9(;3kMFS}1qNnKlXH;~*^riR6$9bKfB zrxWGw6CdOYlQcrUlv2QRAwPuLW_8h@W-y>i{*JM;`FurE)9B&QPAyjP~=)JNN#I$ z$xIqsr+8?T`!tpN2uT!4=|)mC=sVT1U*_x(K5s6qeRPRnZ-XOChw9VjI;hp2+M=g7 zE?4<*K(-4$H{>gEvojvZXy&=GeGCEFiJQ42l54WC)7nq;K1Zi4M8Ez4>iVdiS6$~k za`%$eJ!=qWfIZM;!*nU3*jaUSk1CpcUsgz2O73y?jMD2A zbc;aTJx4!$PJcO6Uo$a_li3{(BUb)^dt&w04R;L=R@>=$%n4d zbkE^ufNkfnZ8>lv|G~qMl&<#!Uk7W(limW%TFAn?muoYza8|~$FAr1@6E%ii*XCB6 z$=1|vQubowQNqFf&&OyC(=?V{>vOA{S)DBDdOo*4AInd}lh%Zyg`-Hdxd^v8NYN41 z<))ImXw3l0U+lZVVInL=X7K=nY$^+rjoC#cU@LmSkF+gCTb>r`Qi!C--lZSzW7Gdw zN@Z&rU_k%tr@dU)|BC)L|6?PcApTFP;s1afA^n;Yj}aPjHAo@l(|idz^RT zV_(>|*txFGvOXsY{{&4V9_Hp-oX82g6KH?J()Cqy;1Tm)Nxve6OmZ=uh?% zhpG)+#h`^=jlkl&_RF`+-#TA%C7ps4wBad!NwCI1J4lAKF#&T=ai`3_4sN`n9gm!9%^5 zw(e1aIg3|OEY3MNf~lSui|Y-3DlD$5`z)=k!kJlzNk@FWDrxo@{tqmK#acrO8fFyM z2xFuD&8`~t<MAKy~KM%$6|J={)*D3O{MPp#7bUqPy}x`4KC`zyjM!-LF_oR z-;I|w-VAX%oLtlZOd;*YZ(5xSFCCijru?Y8=_^OX3ilabkT7F-_ zRRzOZrv9I89RE4Z^z*+5`F^_9|2Oez4gVP;I(iF8u#2P(!(hnTfs2LiH%+5ok(g&O=}Ot?gwZ8+ULMA6n{Z(xe~#91d=JC@LB;=Op8V%}Q9 z%e1$*K3*oQ3%n@j)vKSAparnaKijLe=`w zsWNIl%1j$(A%~fI#+mO0M{2%41?OqB!%LyDWE$OQ@gAL{F|~q$qO1m_a@GcKSHus3F_j~Y(7)9a5~ zyyzLnDwYX%8n?6#J)H%ir}@m)gPx`kzw8p+mIKbUcA*-9D?uR^uWSN++6L|^BtbLKQw?3uMZqkZgmozxz#cTl_C&A;Ge7oV zy9}tQKrz+wvUM=ovWLWE%N`4pEn6RxOOid?IkCW(-y7R9nENa?-WDGov z#tTx`e0@)Tj0--VaDi}#gcIXN#hS{uP5;|4{#Vw^&H8@_+w(sg`834;qB1{LDQq1S zEDM8zK}GDLLBXKr*$@;g-U~|a_vkVaU{ei=Qxj||YY}WJLz%gmAyYUWYKG;7JM6nUETzct(|>>ocUO+6M2@nK_7nrLQ>1EqNy%&0TpGIKjF zYR|48a3)I{0?uT$0cYf^A^>Ne=ERWjdeCVEvn&!5Xf zBJcUu(aK+NE9AU3dJ}f>{KehWw^t+56uHgO-YIU6=1vWg8M+_cd+KhI<|Relc}f$3 z{zC4P|4~yJ&x^mDo`Ot9zJqqohb2B|RiNijlT(=h3HHqeYn=53|ASh1|KV`@Bc@`B z6K-zKcR;7;LHA)ddGRH6Z7Dwza?u~B?1yqT(aghjawr|<;qZi~OEH}d^_w}~UJ#|1 zW)5jZxIV-<(+D_$Xnpr5**;LDU$AdHL+Pi+Z^B`L*tbpTPd{14#rGBgRbrHmf`A(l zeIxEny<=#x{^a)r(!TSUBYrW=#JVt^){}$tZEr|0L_rPZwyt`K{0tQXm;ar0_CV4Y2aV;ZxiLb=2zhMk&8f+YU zAnb1-KLuVv>S_93L8_=3Lm*elJ6u0R43Fcs#=PG)O4$kTuec`~Dagh)nJ&h2u(7>b zA;ol-^k_9MDREyWi0NLUHOjjD`|{kk^HKGG4*1um_8-Q7DGdDoJ}wEh)&Do}iO~On zRcO&9??)4?Pj{py*#(NFav4gK_veTAhcm8h&XBT6Qtpxdc#rkT6AVs=HBEw2CsaxF z`F4tWg{1_*iF<#J4<9}IlAJ)Q=-DHt($e-TU6~c9B-9UnW2$Pl;xvJIC%&xSYlVbD z_bOVF@WrawcS{xfu0sfWPVUz3!zqX8Kh9SV*?UPh*Lij7e$!CA0uUss^>f%HoLR_J zEFfpvtg!iDa&3)fpDA$gC@)w>3!wQKbXU`To%c$dx% z-pZEA9Tlt&)K{wsOQb^_kwTXTi|myDs&>pVyY-(UIUH)Qww zbE7xDU5Iq6)49X{Rm8ztBqX|G$Uy*G{JdpsM0%*BBTM6NI4^(_E-~&9tWC$lGXZA$ zeVl$gF~>zu!0~1lkNVPMuOE@I<<=+U{iyz*kLl+9KY8Bk>G}WtVvGN>nNNiO=XPAE z-k*2n_+~yyzC*hK4uc}w`uf9n$^Vfe=bZd^0HTW^CjpCzaUv`;B*tb`7w4ky|60PW z_vdNy{$lVQ_Us%vP-W0P0w9A~edwu+q;tfaJzf3oGa3u-j1^tuBYtR1{Tog}N^0ZE zHxR{SEbHGc#mk7ng4 zeV#t!V~zS4X?4gBnq=HSAkPgxm=m=B(Q0~g?d&d}jxiwC*w_9{>7I1cvA+dN!&s~tEIlMwI7@p0#(4n0!YhPbFr%Nj#m zR2v@R(j4NN>k(og(Wh(+GlI#}U=tYDJ8t;EFMHNy3(j&iw@f(AccIj{-(4!yxX0aa zzyD4n-kt88Ce!WL6^%iVBoC~5b5dU#sUb0IO(Yo% z&NHG+kabOnF}yS#_+scM^;o%qb|BBKX6&UfW}feB8)!_AVZV!yFHQm92zh2Rd{ z+h_L@323{wFYn#w?PB>5X!n2PA_|l&H1rV=ScljbZDo#r3I? zaJxcV-2;tX7hKqPt+{sA5w~XLI-;kGS9J_8mth)jh@l72&42o*Zb#SVQTYBXmp+=N z=HuwTvES^oTiodr-1Fd08bAG*t^sn3xsD^;65}32pkWxd;8{z>fx%91_UHjl6SmC* zIi_`j*eta>LCoY(Cu(5F(Ew){P7d}QY+1dH}O_` zmK*vRdqrrD+jzGmK&UbRa><+}Ww0K?g&t_(UrH_SajfoaG~B3RCLAW;ptlQfaUp!o z;s&?{mgl77E{v1c$Kykp*wj(Fad~Kc7rRI15{YVkA~#cR9YWJVOxv~Y1(J{a)1%Bo z0L9_I&(l*pqwzb(`(&uBLbl|B%Z>L=DHIiZAYagFIOZqt{e!~O@TTsDhzCYE6$4)) zR^@;M_&Vl427wthR5k$|exM=tfD3g1=wrI1IUkLuSBMT}BXMJuG-NC^wj#t$R3Man zXoRq2@lYxg0#7IcL-Vel@o=dr71V?#&IgCqbr!M`Y@==x_#J4n2O#Y z#??rgDNCG|pnI-q9Z_(-LM~Cbh=$BPG1d@>as*yH!|HvAMoGFyc{p-CVf^`_hm`*E*A50G92H|vF@8DBk2>N z1&Eo(qGf6zqwef%z9tZ+u}8f=PA16+b)ufWjICC=?-M}Zmt^A}rQmPzC;LxOARpsU zahgnO8>_N`QM%5G@Y>fmuLTpGUQUs9Ho`oUpouT%qpRsJg=X2}H05bph;i<+$u(Apj**(~`px?8r!kCsrU$v0DQ5|cs&t%fHbxzGGP^sJci zh$9L_iSKc?l6nrJ9VwL^fR`vGk3I)jxhr<8jr{P19xKMgAqXoJx`@z++_~?0yD@(D z+ArX1Q^BV=_QSC5Q<}rnO;%a55`ix|m?N><8x3cfwdJ>?ir~Ezs9|s{_NoL!BG553 zacaUK743uKjrBZ@MK$DGMhYk6C;&eG{i}L;qAo7N(m$Gkt70!FO!`7$Qkhm@q!`H4 zQ8~UeGiFoGXVkI`dSC|7)95PR&aM2+8jPU_`%OWWJygkYj9^c7i=$M6}Frh1N$AwZ-wmp}T zZa_Ej8HJogAv@(DXr~0tgnk1vA&1s`mMjB?0^EOLWhDL>+s@@}7=y)p(<;{oh3=yY zw`UCSUT6u_)BoL?zqWs`;bYm4RPw{VhA|RQMBI^0eyifI?`a6R7M|WhU4PO39u{gN z%RF|WhOP16-a>uPd{w`Sf0;i2@b-C#`?V`QVCLquXk=L^>$V`e|IS>LWv(qHW+HL;sRCvLdC+x*ZC z&&A7?1ORY$q{a~jtZzj$+1zTTS&kSRws{-Q-mTTIrVp=c&DWV)Y9%+CTFi_wO+N0_ zKACA45_mUpCXTpVXrA2&nYkj-j$NcxH_?Sh$p16)KS_SvM(cm{`dMM%KOSV;{Lf8% ze3_lLq)eOxq+ODEmW-jtqg%2?eRe%UJ0iZjoa20bT;!wrc#GKmGj!9{Xh}+Qd}QZ| zY)O=a85`qWb&U=YKiloRT$J-W^6uMm@fm)xxR3s)%673a@Q2aW?d1qr2WS{a=u%1k z$aj%~fc}{B9w(|Jl)QvHK}(wxw2X0rnm~U^XR@oDWSfM~vB`7dq+9qIf&0)Mgzwd zW7lTu!dC_CMs~J={;EOy%Z({;1`esM_?5{SGOud~SnHq26&+jq5SwnB(8Gz|g4uyk zD{U6n8p&J@ed@==4E>)fcdZ%#0sX(<+s}0Ue?Q&o{~P%<*7YrCsuERsAK%R9=xam$ z-BjLLd$V%EEeX5wKHlZ}J6GTM_4XB$r4HTUaA4w5E<+NB$P{V#8 z%{neV?nY9whw0+t0j$+tth<}tpF-eH^&GkMsl>X9{isHqN4?wO5oeHx$ESe&*l0s! zgp)gz%lD)$*2U#Irnb3QNqfmvd3`-f&Tr;TO>M`LrL7|hUy=ojL0;15}8!_*6)`h};S|XIrL$$E?fcZ2I%ES^lJTUDEby?4fL7F3A?^SdO$& z0|&}pYs9yscC^K~6l)RICwY8#m9h=R?62?vTed<^w{%(N91NE~=U3vk=m&kJeZTkZ z&h{N2J^@adR+ja6T*PNs+dAS{vuuI67p-7!x@sR=VQ=|k*nb%5V6*kVvV(&IqyBqZ zZ0)~IeB4+c>;!~z%>l_VPc@_ue1+Z$p2Zi{2N|G7$mld6KYUgwykaq4Nv~4%niV|+ z57iadLO=b4HFUI8mSn32@hlM6)psXF--du9wYPWw(TL+@oa3z<+AA_hKDI$7nT{|X z7{```$Ajj2j=0XM-0d|J>2aQs)Pw{)&M@L*J~-+ML@G4cXJ2+Oov|%NzabstwA&$< z3fx6}=_9)vlg$F&b)4gtSt}&X;kc+}-@PW;Mi@x7@Q-->TO2Yh;OQIu*KH17cL!q( zTnse!KooJkE{;q*1rcMUX^#g;)+)pNR%jNFX_rzQEr89Gpq9EHm={1F;C!qnySQAJPMgwS_}siX56~aJB2KEv_R*?Bqo=qi zv^TM(^k{6r-BwB(w4^|h(e3c{2Y$etgPGnW?N|1Uahy%Rj(r$pqlrIEWsXL|WgLK~ zNo)o)^t?P*&JLw?9>3=QSjKHndFqqs3~my;MU*CKQ!u1*NCccM$YOBMdrNF3BHALm zRj_VN%ByN*=A_|Bm{CtnUd#`j_ZPPN<;k??$=Tjhp+S$);Fr=x0uyfqT+P9tj=#Wg zA>^mClt`8X_kcR1z+%(N_WW}AX0Y9XT?n`jY?F= z^tq793iW;tG{Q0=FvuFr6mZhmoxQ6|XDem#FXB31|6|Aczas@)J;$r}g_QT~bTwuG z33$&G4E`fwrXv6 zxmkoc*Y-Jkg;lf?==K*A*^k`_4(e?L_$8L)f_fXlk}t7dQuTE$Y8)x+-P}g|_}<)T z^<7m8C}Vd$5R$#T1vp;*BuO<^X%A&0U1yCbrf#3#&NEWIO-<3mS7Xt`Xm+2G*%$F- z1rv800cN3o4(A4Op~;NzSQ>CwSZ;#JRmdJ&FN%>bw~{Zf0l)UR1k8zdMkkPmDk^nz zNL?G@V!Tic5YO$1TF(cCR*ZF$ipQ9ww%keB!8p9cvT=sYqxKG}dliCm& z*?`Ulk9K1(XwGAoJ$^YBML|qCXs%H$J`H6dcUI(!LmaT?f33YcWy7VgDCi=pA}n?Vw$^?a5+uB@v3+Xt2jX1u5u`) z4h{rq0iR7H^^#~dy#fM(yYL@6Kt(;x;Pq@#&Z}2HC&xUh&W6Y5{BJYz2>Kmanet0z zY8BE`Pk_EwDMk9Kh@YNb%IKv@8V+bBmV9)3 zLg_pXd7XeU$egGG_;}Z-&JYKbDNi08<0*4PNBR*DC&2LKp){Z2>p;9vOT}364U7pO zm;?Bh%dT}MayS?NiCEq?AL;|}#mW<&${Uw>Mp&rIjWTJlfQm+HX9621JK%H=jW>Ex z9ZWaB`p}=BC1jYh;mNh)$JCHV>te_H){Y(M!@lqzd(l7%6uW?orBe@Ub-m@#tGgU} zpYU>!F2hG&4)z2BJ4^TB@h;m@FYZeP6fsX!(mjUhw;sSN|K z1|e5#JCai6*aWlZ3XZ{v)9Vbioj9Lp(R6xaPLk-N@j4-(PM=gd7bpTXjI%_wD-UX0 zg^9y3j5A0R(>!d2xWfcgtbf{6twYpSC<=f}kNAl=N4y7na~e2Rx^WghVSb6!cwb&! zJwrzRbveOj*L5?$Hclg&{vmk<_Q3BFkj4hsiWeqABR9`g!x>TQ=G?%17^{|REqDbh zs6zlxL4YW9lx|F%!AJJ^1U){{Epr#poef`{13646=ysV@vK6&Fso1BFdpIR+nf%z* zQ7EvQfoE31ub?bzm+z3>Jt(B%Blua3vyoL# zapw2drXTmx;%4Z4I%v2=G+gF_mW}`!@!+WB%MAKuVMK`zdXUS#e3`)s#Mi3 zoF`y9B{}Cr)UGK>6O$){OEqme?XvKg)(Xa2V|^luKhe-l)qg0As-E_qmtUyGAo|_F z>0|z$jFoG?-~v7R%?rn|w&FG<9rq&^)zR5@O+D&d*;diM zjbb6`c)FcQb%tWMxsVh+cmkW_L2w=a_EpT-m1(G=4?BTU*hWm!Ru^q$QnU0imZd6| z4`QV9(N<|)bH<;LShj4-5leo%FR#Y{!6hGJl;=-CP&}u60zJvnEoS=i7uB>{l5Y{! z(kLR!Zc=iuK0f~fgCu`vZ%KZ5bNXtKoL){B$=SRdeL#&~mdW+9T8^%gc{yIvNYGhX z-IwJI0CpxL4%pAW%g7H18!+B%1Jnhr01~qqi}(RxeAbAE!9hb155{{V0I{b$KXxf8 z-7t>!+Hf%-Hfc?&g-`8^r+SuSL3^kHM!cZ{CUP19Fq7@&^64>r`pEM1>HH(icwx`k zS}kO&XG*K&K>CrbYq5>zc1RpRul&%6!z)ovE4>KNMQS9_y_ArmgoGT~UC&aSf7K~fKelEHVZQk<;1%8j{k6x2(3+ACuNGe=Sv7jAMD2Duh0u2Ow+ z=_II6u7enInXDX1E@d1x+8ssGu4mBh?54VGN<2!CFB}B1bCvC?-a_HzKuS)0$HS8} zmLK~pyLnn`*++%l;LghHUQBg>vXQUtMqE_Dg_^b zZM3P9nBJ27@5Rc0M-|SeD*v^skGvmv5&SGiAfk}@dQW#dX+ZtWZ7(iP{4g_*&8O_gVezCkRXKL9Z04PZ&{PZk~ft9o|ffHQPoM}7KB(c3^ zr{~j)OIxo=VuYGt8i6oMOmNvakpsN#MVKTc-uP&g@%SWgM7uUI>a7Den-x)P=IEzN zYVHVWoBwP=NXVP_+L0ld-R8i9jpfiIHkkT+TEy{bEtMvTJ1cfqAU2D^|Wz# zG!H8H#4G`=)|Q{A3SQx9Q-Tvh7-!_7Ma6y%AsU5D+CXeVO3(w0;{0N&bLgp<4|2%! zbfcv5NLARWqbNevR4pR;u!ewjO@THPEDzSFa+?yMhEzRmG&40Ms(VFS-mMGUCq>o+ z+xb@E*&uM(@vab+Ef3ZZx>ZkUCz8E=rZ)sZHSsG&)XIWmX%bXYeQ{_NBceIyvF3o( zIcO@NU5KHP0=j{y{nQBCNSxcrx{f$kIlP{Rtjn0EG)H~`RBQff%d&b~MBE%7)K#_h z$$3&M=n-azw%`JW9lLTPax*z1Dp%n!S>pdpTg+OpSI|-OE+P^sWby+$uF3d@?V(_D zjTpY4h8hWN*(EW_C0^<^BpyF142WepFKmJ2twj%hI+dT!^OU-${SdY8AN!o+_GAAj z=YRJmG=jhuBy482d&J49l-f?#K&camF58 zgzaZ)`yrnaB)qUG{}+CDiY&D#SZ~kKZH|vt9nx67+>f1q8 zb@B~1uJ;sUpvzx#@VZ>SF1I`cUyv)M(aEI(v|7l~<1eDw!f3Wonl1EZ$B;OnC_KJ< z3`RLFl)u4E^6l~{y8HpYOPot*e{;gfv*_%LY^C~`8a-Z!>hSz_jAab|7LDx~R|dvS z+9FXo%QaMeBx>(zcXq(v1Mq{gLe+&~V_e9rawfgg7T4z%sK29p8z?`*_wASs4a~+p zqRTE$Gy!6f7n+Dr`5CZn9HZ_i)EOwm3Wy|QQdA;`=4A(d8Ni=>4C@;P`+ER>h+hf% z)CvZWU!cU;F-bfy$!?!Ub4eJp<&sT13Y`ZE+09MOm@#!nFh>JNp)s#hKKptqrx$!P z`>F3#o?Stsq+evf(TVw#U$k8fjw1ulX7JfeJ_|$!eDgr*NbK0gMtf2M$#15f1Rpc` zXkhY|h5LN_@{Y3G4wTJT7h(E-uQsC0+`yPjtNu{vV}oO2&j9|kQFaG@8Ni>yd2f;uy74Db^FqFM&(8qZA1W%^1o z36Uu+fLB@tnlf_(Wg^W*@7P~l_9uV1sv(neYAn-(+yZc>^7?Uu%ii>fhKWu&KO%CPxZ&$dz+@cz%{X> zEU$sG+7x=44~f@Uf@Z)UN~eXZxIJ z9Z@Dhks*Nx)kzTRPGNOG+5w=mNq*%4xe(!3%Zvf>7VC{a; z{Q($@ei!^UP<~9vfkt!>`**-DBxmTKVMR{L6XKBXmpFhSzLAs8;@cVJTk`juMwoHC z+V_EW!wz_M02=bYe@A)$KR34!-7-nLSRT5Rw=M+fxRqkaKizhcpglT3Glfj$-vNIga2rBrru3C6&REkS4BW`TJq_L7iu2tJC@7%_5PC5}Ks!p9^)a_wL;mCS z-|{;G@&A5*UyuLyvpnC*|4n@U(CTOB4}UN+lTI(o|MOuIL!#ByBZ^a8OZ@fouRGP<_UPybq#+Y4K(^;7e&@=Fz$+L6vc=GH< zHnW2V=8-H;`l6ryKAKNQXIOEa2<*GXUgCesL*S#Y{`&pf-uJJ+e(^u!(e>4BFL`!< zS?=3HJS%C)QMS@O@F#JD&g%|EIaZ%1=n z#6!C{FOgb}FB^@J5-bb#+T!D^8m-i8Ol3D4sBUhr$~)0vKGg2c|M%_pUwwD-;@>-O z@I`d#q)Q(|Bku0Jd3*W-51-!j>}T{7y2S1vH{)NAUXbr!zy6_%W_-N!-B+lgAHI5V zfw*uw8{u32`_1tz?d%9DV{Y2p zVN|4FVnl|Uxs^VDBhety?u*yvXJ{@yOOV=gQC8kX617^ui2nZV>+fHkyihGh%zw~m z6yKTMD83WZQG65DBfdfnNcLuv#`7hdoJ3v5}$ z7rds#=X3!kFJ#6WGyRR3@kS6bbx5%rO^nI!kOX6M&||Y#Aa<_GGVxV*SjjrDi8J-C zOkB|3Xc-MiBvECW_zJs`+Z)i{s;4cff=zsdG?QssHrXaFYA@2$)->@ZzbmgAt5g{m z`d9UCrDHIQ(kkU{R52&M0;0nFRbA4F3zmTaStp;PIn_34cVmdVo1LA-Z8;twU75)@ zBzu@fj4yu2uVJx-F9^9M@8dsx2Y*99?cFX&yX?}x5e*or*xlsW?E)KE|Nj3Z|3fY! z{TN*&u(Zz>%k%T;D%rb}kNyv7?iqR=Yx28hOI-0Q3*yVbf4?03@4cHB{~HOr>Sj52VX{?9b|(((YfTkNQ$^Z3~>#S?U2#r+|CfZl)oVKSYg4VvxDcz&qM z@=wb}Ie&(i(|mfi^Kau@?0x+sW)J_JJKQrnAU<03hCA-JCH`9e$KKiK0~-Nzym|e+ zJ3EAfDaA-n#@9FGzf