From 8ee1f539e5f2253e220b0abe0c2ce337ccb2b450 Mon Sep 17 00:00:00 2001 From: Francesco Mecca Date: Fri, 22 May 2020 23:34:54 +0200 Subject: [PATCH] teoria --- anno3/vpc/3.logica/extra.07.utexas.pdf | Bin 0 -> 158199 bytes todo.org | 10 ++++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 anno3/vpc/3.logica/extra.07.utexas.pdf diff --git a/anno3/vpc/3.logica/extra.07.utexas.pdf b/anno3/vpc/3.logica/extra.07.utexas.pdf new file mode 100644 index 0000000000000000000000000000000000000000..1f36c8d73c969fecf056a1fcaa84ef2a6c552361 GIT binary patch literal 158199 zcmeFa1z6N+`vxj0-5|}7(!&g$3P?(~l++N?-5?;1(x8-5A|R!JG)RcFAYFpAGzbU? zo?(y`cinaUcE9ugu5+Dr*JXzH_s*No{XF**L$7pAk`2Vpg+~9TzhxMWAHV^yHM)f+ zBm@Ae0)SGsYPJC2H2|Zcvy+vD4TOUo!~_r#L4(+soU{Ugzcy!7wY7!-u0c#KY%H8C zY;7C?qBbS~1zRV>lUGc?wded<_u%ik=Q- zyVB@t{$QoXJH)c~`O?Tj>snIt#TT$LBYahH)vtMnV_md} zx{(WqZUT>qh`qgXyx3RIA}*bOyZCm|j7c13`^sl+KAbQa2u{1ZkZh2OpIwUmjjQ`; ziY8k3EZBRa^qR~Iv#5=4MPJ*itl@8ukVf$5Y)xH^s^o}pM5yeSqh^>jITCX$Z4Tzi z$fiT6*Hy4^YRt>?USM({D-VB1!%EOeC`3>ESRLbPOX)HK`w_!?a#Xb_m$_wjNy}$x zu6eKRYDcYfsQNx~0!1=6#6mk*2i@N){n_$OH$-~vGpXHkX<;` z(#LftC-dv7em&E$J%b)@*w(1I+d%+8B||d^8c^KU#tCBM$Jy>|hLm zzQcF2&uBn-h>3-vn5`Q?=j70F@_^a-IJp5}UNAcd%%g{f22^t}gx-y>mrLd3KtMZp zfc6T2wma!ULau0B2_jsC7dd`g!b}Ts&tT18khFtn|)5`t`K_#iJa5 zcnCI!vw2HG=L#F9B#0jXJ(nk^7$^zi0dSt&c-YT;&;twm88!(ATVqv-6F>*LSl1*0 zKsAUP^uV7R64%$84;#|if#>7@+Xuc&txcinDn{)di1WXo%2bQ8+LgTW8v?RWAj z(pBuMh4IJt(MbuOHRnCA)>|_B;`T;S+9JcefiOo&jraEKWY98UZGaDt{)HI`Kf)ic z3fEWh58KoqUKQB3e|J^5V2A17xGF$V8yj2bb<}}gG}uApJOKt304MA+0ys}ZtO|hZ zoak=i~mhadDoiF5i|6 zcJlu7CFA5_=R7%P>^wXGJ}!1{ZhiniJLp$W*r~d9Zcx922G|vb%JUOc;pF6E=i)or z=-&eh*H;Axb}pe<^f#aSs$;>P`qvSK`}|$`iYQ#aph9)2UAJxIz^L11@v_3kEZG)W zW0N<3t7Ti<)O=kUfy?0V=z7vUcu0V}+*6gAewP*C{#JYw3g0-_rvwSx-Z9PfX#f|9 zg&>MLD9cdfw&6^A`Jzcey1#=`mVt=BwWj9~vvoT8)4Sn3LaX&xWpQrelW9C$_3quS z>8+8x$oL>C2|xvZtGmMGDjIt7UV7|!J=@J!Z$%H{-mNXa2wY>{tGQT*`#Ol>>g;{$ zi?uR@)8oAKknw|3UO#oo^7)=}hq{Yu>LIJo%Z}|2NuxMhDS}oLZ!AWoM-o&^C77zT z&)V~lWIezESCTvNw=cQzr^#P>Ngwmv;)=qWX$M!+EPo5#otXy|ujAvDuoPb1!Hn$L zgn$hnNQMnRX&#gu3qJf6Yyfq_-Y^^P$SoF)0*aX7t{DQG>jz zf6Vas14l*zEAc!AFpKUKU}%8R*gI{(=?%epnRA7Rn)VHQxKHtg`&38bK2?vnPc^y1iRBgPe&ow!nQw%~bjm z=oJ;|YUdYBdH&5Wqv+$nh1R+{y%fC~gzHyTs5upgSd4nbXi+q;-Y{)@pWr3!^R#2t zma{O{C;=^ve#rW$!is7+V{^HF{86lJ7#XsIYB{9r!BN$x>HD|v#g$?sE@UR$uuIA! zF$gk`krgjc(~r;3aDED$48>(5X1;TchoX0`Ck^>A7bzP$7nKp#mT_qK%u2|oJ zMA_Di0Cv{$D_cIxKsj0MH`{HSgT5ak=dE{?*pIvf#VMW3R^8O)7qVW(@pc8OKpi1>Yt;+Q4fY z^Lo3x?B!VfwhvUpmguhIBv4Yq)AbOWDu5F6F0QVJWM-Uw-ID4nV26RnMvB~6>uMEW zWRM2)Eeb@_~s{( zSK=xbE6S9DVeY!vp8lkopdm)yWu`au8?O@QWf=X9UNU7qD3a?Ym_xb4bP%Hh+Gy;} zLsoczC?w;4^DQ+hycIhtDC*qCl^*bcyT0KKjboT3_1Wmf10p=O@?b0AwQ)yR>C=si5rYt*n(=o5osLa zO@Y!IM0(f`s9E1`?@E2AEo_qzJdF^vVgGpzvtTfH_R@V0RYggHpD)l~zKBFYM=dm)@GGaE{l;HeF6^Q4&e*Hu98zyYNQ-OG3>dL=s zenTyjKd3qX%qIKq;1AFFK|$dFwthdgeRzL|T7T~;*gBs9@XtX6N=fjX>Wn~1C^gM< zsyG5Aq4o?9OlgI(Z(uF})D%2fY3R>T8~T*(fVP2J`lpl!l%e}IR*v^P)O`gbJ`SG0 z&C1Pb$t#Xs#i?D;?Cj-t8y;C#A3$Iu=*^J5GydozBDI(`9tzyf8>)9DLozGP(FmB- z8KE&HuC1Jhrtelfq^?pSl9x66()-d4=(kI+cHFB5co=x z67Lz7Oyz)UZO zs~WOP^CEjUd1Q4x@#AQ23=e;D1XU436uVF3F}Y0_fMuO?cNui>)PyOFOI< zqBV%54RHLPNykc22}$QFx#QD%CrI4Q$;x{@kMNv5&ntpiMNP; z%CqT9DBfAF$?i@sB~c|L)ias3r%)t!1X%eq%)6%(+66ryvqQ5WV9s;aFuA(X zBdUSUrfN2}(`Dqu+f?ylV zia8hi@Wl5#$=Q|T>|FzeSuaM}ZAvKD4!qwXm#0|Y!$TtMfQd zOLb+u(@o>{4$pjRGPjd#fiSSfaNW&d%Aj9hZrw`Yez+LP{V|XF=h4jXjcMOCQSR$WngSbcd_jU-h_*g$YVVJkUsPiBu!W7RZU z0{0VwW3Cg!wyeIl=E4)CgonP5j)nqL0vUTrQaI9p4kQ& ztef&og=al{uQzo0QX>j}!Ky?$(hKE*S+ur}(VJWEhpYZ5w|UQVFh7*ruzUHP+~$Qz zhksXY^PU>3=V^N0KSGL@qR}lV?|F_rl(coQhAOJizhQ$1L46o%5?bs~pA|&G5b6eG zWCt3uSvpwQSwh&Lz7=OEPyvvT@%WE+=j?r62nofD&#_QmRnLBLqebsPF=yOe0ikLY)!NF@JSy zsPF;!U`PmcUYz(Z&SW3VivOt+o>HbMA5PATQ@gCWm@q-lay@%J|0SY7(1p|ig*q5j zAKz4LFlcr?M?W|Fm^8o)pEKBpUcENYNAKXinf2YbMD_dbRZle6pZgpkiuGdk51 zThgzYg;2=S;I|jIRT(@({D_%<-cDi9ZOMsKrWM#7UUaVS6*xoZl_6IdyhPe#~ z`uABVE1Mmd*y2Nb&5?GkgfFP0D6$m3?cmsQ`J&uo5i);kDX-)}`o)t3^8`$TY%)3N zegwpT944tkwXF5y&(6tC@IMs>Uj3bSG*~?Rt53x#Uk-%D-gUujF^=s0)NgQ^r2XS= z6a${(Sp3Li-RPCd{CD=x*@4(~m5>Z73Isl0Ik`-!dpJ~R%b#mFtUR(;W%`)Ates>P z%W0)&1gXqDW5+4o!|}N3V(lgwF3oi^qLN+RaX=&x@d$U;n&%T`9x;`CI&6tRuhY~@ z4WB^{7CcTTdN^N0yR{S^alhLzVOgu!Z#x|FkuLZt>pbstt;7c=c$lWTmd=nObVQUQg>m33$99xgQM=o2i)p-#Hs83a9zPalaZuP>lNAV+R z?|54CkS56nwe&Uxa?Q3d-3yipo{l%HGukXSP$%uJCR+1$BW|)ADcHXb)jQJJ5L=P6vP{uaU1;=vBMIuCBBI}p7x zE&94cy}GOKJKvm1xz8k%xxR2XfMVSri0H4(0W=N*CTL8YjiJJdQA$Y;AZ2dr=;UY& z6>m-eK6V~1s8AD!dgV{z9Il-R9mZ<{U=9!m2RE1-#0lmEgV;E@FLQ8QhPIQpHThW+ zH47&zXdge2pQaXOXCGw?9SZa%*aYGN(118NLO&Y7$qoi689Eu8TR~hPRse2jTTy2x z^OL3ymJZHlS0N4-j_k&c?9NUQH$z8uh>0^mmr=zQDukT?Vh}4ULkDYUfCu0@v@NT= zs0;u)2{0=+)WgLE1qFUyZZIpWE)&yR*=0t!4Pe0`3 zmnS0H!O==zuAU-spriF=<`H5o?45M351pV*-eESVI2M6H%f4^_} z@4PX5dh)@fjGFJ z$IsFDB(MScE9ea|w3CKdn3;cldGdiLzdLyz4JhMeXk}q6YGVdH`5e$0IYF#70KCv1 zp|gf<=gD580kyvN!o>qs98PxsB-A zGIxML|8}(nI@>@UyN<@T4iKOV&;#ON3%wsF2kAs<;e@*Tpp!Y#5Pn;zlQ+&5>PNvi z-+ZaCbr=6lg#dB#a-MW_7OIm1QL&U$H6s=YhF@4jiycHp>!akQ!l6;U<^0Hqp zL&fHO|6^GT>{W~FwpW?r;R72lwj?;@JB^Fp@pHuu0wNN5)B(u>~bhKNygK%<)PNk3!&Ggr2$x% zj_|2tvISHg(@gF$N#?2)q-QZ75z(|I7O2HYp*(mdO*@1elR|EBubx#kBaS&_H7lmy zykF8tzE7J*gono_K(X1D+J%fUSA#-4DoSdT)B^C21v76LlMvS7Bt1$Jo4Yat^KWTc%AkE%a)i!m#u; z>VxZjeS2#CSjj1N{^Rl}{{(um8+*zj0ejz=+qkCpMJ87T0{rqcR1*zQO7&*Fg5Gki zm-6eCmaE#){FQjTFZ(oDYb$HuQd%n&m)^;i^gJ*VdX)c6s{=F8T`K-6D%V}4)iC^5 zf>Z3>-bji1sSoO%!L~U70`?2oUfZPJLah$H(KQ;u)#W5p!fQq)QT7Ia>I|bH<#7xa zp<%4xHUtKH^9E#K#2)`d{2;^2%@_t9^oD9->m%`3E-D#)m)9@VH83xOF~J>^Vm^#r zFIBh{lG63*W|u6*l7LH7P6zHaRcfBS&xPilS?||Oct2gcLJ~@4@Eq|@~-u2{L9(#m5bZ6>oUJLe8sP&2Shm)9Hu`O&XDQy(Y&Q@tdVda_lT1OB^)h+wxAzKHpMyV`Y6Au8e_p_9Grq{9XU>Su*E6wmoKP!)m@$)zhP${FY~ki z^z=&Xq@!_TiDRwm6y<$JO4U@>MOG^!-@A@QBE-x5JJz#r^@gr=5+xIW;j%#sWV>#8 zG~M1;1f0mGTqRqWz|ZCK302}oYs7~5=D))`^8U_w1+)Ku&O4ruZ-BCufAguY!1Wg~7w5Ug^AUaL`NeNM z;(0z23TwcxbO5w}08qx78vtVrzD6?s*dYHFe8P8rO27HOpqk;|^nG<{U3VPg!Kqu; zoYHV0ZFEDhVhFBFvADcinr9<}O-gnzKDsT=(`Lx#XzN1e(X*DoXvDC*W%5c@9LXf zQMW}Q9C-ZP{pEvppN-tUn&pw3H(v@IiBFqSJ2TrBcr1YhAKb7fhRMnY0<2l z9{E6ce?~}0bEt0n$fg<2{Hbq6UOvm18V}0Az%CS+SA5=19F%ko!@2paH_VXBwXcB9 z7%V>sUU9S(WphK)LT@i2phk4w>BPLL3l@-6voK88zwt8|&4aWwabSB7$dh#<%^iC%WB} z%xach5!<2x-sb_Z$i$RiMb2G_6_qdvaYlVgeKR5}ZQ(XF5?EGGzc*U@fa}(Xalg+D z=^WW!+-M8w^@3f|ST4H6s}}V-Z`(}oZ+h(030BlTQ~i9sk7rhz9yz*8{>`O|$>H5v zosCX?xZ|gms-`AORjma$tXlk|8a~%8?*%^IOj}EG9&7MXm}t39-i6E_gkvBBIK;bLPERcK1?7X#3jQUYZ0TMZh6@HBFXL-(2c7=~UN+#06skQN}Ig{QZdpd;V) zID~t4`+#rdqLuwK0;aS=mxXJ=P3|7#sr(WRod&g=ALE{D0nMK4=k%wU9yO!3dTci* zjEHtX8n?z(Xfjpas}|VZl(?m`j=jJtlE^oweBgi=qN;!|mDQy~-d1~k`we8Lq>2-p zcER-K{_BeVe@A$*vG)D{M@+qB>1*Ew$y-$)+)Cj2&!;$$dSAvE@yZ(q0P(txrG{GrK z{4RC~CaJz7VEO(Fu|v@Cz7u!Oc>)&p7S!;7$?yLa0E5K@o(&2LMX>ezDS*K&*k6C@ zyh{qk5u6~+pN65Icb1(8t@9vv9@xG)%TB=TPblPXhy@Mo{dQ8mA{G~z^KU!Iy42(q zn>a9P*EK&4Q<54j9KK$lx4;`i#PGQyqiQ~cC4hs%%w1GQQLj116ii}A zjOB*jOY7maL4+lS|6B}?#7LTy@-hd7t`pA@30O^uEsQ{@`;m3~i`71&yq3`li>8<_ zK`Q=k$Oy7w)@N-`)#(YS^O<@-iw*-Ly)L+97BP#&> ze-s|D=4UtV*M-M_F}M&mgMU7<|3YvfY*GLD$o?C_g|LnO$3y$~g9~9N?>`^cf5*rI zop-82F$#8tzhczSf(y?J`QJVI=fQ>izY8ur|ABw;)UUzYH%R+ia0TKxZ~lG7D}E?P z`*$s@7ENp0w;VXfbvLIYb4%TPB83rAaFXxf_$$-VO%iC^qMNiy_gR1T>@GV@sJ!k+ z%}}6Vy^yv*`Eb1uF_qf?-k!8=7KaM4Zv%#?F6e3HHCE&M;6T!Fg}upfkEQy%_hku0 z=whGniy!624(rHfZlss_S{TpI-sFIqS7wxUJ3A)kJ43iY=^(0x+#(_3<~^0}XR}NBw0nNk8GXD5d# z&SZRFW=Ztn1+;~>9TX1h8;^5#LYA^Bi&g6{WK~>7x=9rN9Q@8T0_z^JUht#NDY-@_ zw=pVIO`kCa{J=S*jyhi5QX2vpeTa|h6`vU%{!38;Kh*l<7k->NI9G(ch@Xb;uo+0iWM7Ch(%`#rt7Lc! zz^8h1%@b8Ejq9ciiPj)Nm&SUHMu(W+CWq(iScL`zwV$vFo%ApXX!$=QJi)&W;E%R?W;;h~pb^WGBpz>tk> zNuNn0MH~7Oq6?ZJy2jd+)HkWDw#&L6Rz=#cWAl2V-h0`hXoI)Q!b+pi_uh!TgQ>WU zQefbFVO|F39cvAFm#wTz{JyL0iHFV*?NZ+l?Rtq*-VxcaNOA(~GdU7JYmAROiC8p-|) zF7Szc4Ry%t4dH8ntcQxG>Y8!sjA(vKLU&2zm~>JKS-?Aik*SVjcT}`B)A8cA!L!x= zrZF!JYfJUal9is0jm!!$4oUXNif^NO_vq#7h#o%wfK+bsWe)SWq~%U}tq)DnW00}k zishXo^K2(YVap+j8y<-{<#~e3fshpA$s%lig11KRZ&s&hzCFNew@T=@o_3H4m&(Nf z^V>WP$p;E6hK4PW^`TOHY*s&`a;pLAM(# zheLi0WRJLKiDRRqYEUoaTvaW$8%gUDRA!3FuZ$vbJj!)BS_<+GLHQ(}AC1o2?K%Gm z?_VNwSChj}-?OfE~cLvM3$iQDlgA;x7Y$MLl01W>7XrQ5EJH|uc(^E91V_{(Ac6k7f z?2REwc{X+z#!C7`!236496IfE*?xYc)8J zu*1eW$9SClWTUu7pzQFLyNl0D*=9Oi6~|KDOci`~%=clqdDly8L~S?c8XanCbP4>) zJ|~W;cPSNl)c1cf{w!dnt6QJvQNP!-6{(sa|M`MAmr-0?smWxN7}aO;? zAnhK=8Xc{jPpNP0?bkwaIBZ^VZmBkgt#};qHRKXLx&(4$7vzfh<0Ei$R~U7B3_oy( zp*~g@dv4Nv^@)ky@yNi7FO-4uSDak)rwgy+s&Mn-%SjFcLIj2iWh#<0#E2gW>3Jx- z9!16F7{q=OxO3b=eAv^jay6bB#Z^2YoF4Sb!xg2BmHD&x?jRFc1U@r0gxDZU(cb9c zEM25CBUWF+TP19X6r`JtbZ*hHH}Eh^QoE1h_%|3w0_l?4QuqPw6s@Jr1G|%)Bq|>7 zsIp5HeO`}ZWG(>og#bAyz?MX#!aDM88A_A;%lz7lL*T9LZITtDfQiL+3`?m9W||v?El1O(-{kB=(tXj zYT--H;S)pmX`G&e@MAjV&2Dw8IWwt*xBNAnl30A4o&;nYTz;)+8~GA>HcoZo#4mfJ zcTwQ824^gx^k;7kS%KperrDTC=YSo;bW~N$Jt(W5t4f znQpRj!g-}xFHe8f!wPs~j_e(yUh~wg=@!8L4i?#*O8z75w+r10R0`3Fo!ZKY@g=*5$V-IuJBT_+PhKLD2Z& z-?Lh$@104aU$;#EOC|&8yoiR0c3AM?&$3}bXJt=dqWu@1gDv;jD*T+=f>wZlMpD2Q z^ZV%U@5rrlxN$yO{8zC8iba3G3SMYV;NP_zRyE(9SPnkxH>X>#(G>R7W7;MY!@oqJ zwKbL-8N4TL%{hvN8hRzoaix?_e(-Ltn7_PscS+Ae&pYphiimL>$;k+>=<^RKrYAqBsd} z&)vN21Cn0TC{dQLoolNi$@Lpy<8Z1h@MP#P(#sy!8r*nwS@*b(l2M`{E+kuj39?~f z42~n~b*otn&&ch2Dx!6j9<&Ni#n4Jvf^1AbyG z3cIoL5+g1=nGo}qTU3OEARqB2U*$35BL7R0-X(ig*K}{83N8R5R*qOn*j2Y9~~= zHR~9NrMB4O7)V(z20U&;n=l5YSPwl(hpz_bGpUyJ-&@wnk7;wQ;W6z)@lA9-W*-y5 zxZiZ;S(%uJ4i(0cxE9YWD*_G?vY5#1-b3t{aKIrE&nU4*A?^4G1oJi*AQ8f@v&aDw z$C@(Y4+Jpiyqfr90Svoh-|OTs)&lz0zeyT`K&J%ZcRD%jy))7CzaxNu$Gm`GtN3%B z94g$t39AzU{CA%_Zv*^X0Dq^4pUcGgQ~7&dVE?KBhU(?t=JcC${H&nCNxML))3s9mCb7rLq%oIU)eKCKJ^`Ip6=dWG|@LU5{x&PE>Y4+TuH==Q|irK&mg3&CBSNm3RtMq z4}-4|OQ1!`o@vz7-7ZexAqio|qejnogRLw!b(JJ%)thB&fKJL-Cbe0Tf(nI2$%NCE zS7MATyM{@9qXb-n8I_e0Hp|VgR8F3NX3Kncm#81WgifRzp#I% z+j%AELEcSN%NMUgFBBEjDL#6$6BCXiE6DJ2`LS;7bg9AJEVRYu(Wra8RLw-Vz#}R_JkP?N*k^zLf`jsUXc9nk7O&Fw6CX$o* zo^E!i(^nnIdIt#1-SyZ9lZ_NmW#BsY{5=(QNf2j;r({3t={^ABXez#?xK{0p`gA-I zlck>O>E~&KInn6xM;3(J*wa}WcRE^`%hCz3hfCu=a2I@`tk{)}A5X|jwD>G@S&%-= z7w@GJZ_0-IdDK*yf4nONYomc z$5{w?5ldystLludn(5UDk)K2&Yp!og7au7J^*OZh0qsX+k7N3{M%SJPuH5d=cWdv} zLGemeiAR@V#G$RRzK$TTJV`JfX6R1B8|*A3dA1_`9ahNkl$mI_n(mQ-qyEUzr$tOK|VJZ25B}rq%8AWw6uzxD}#4c z0!u_>vTyc^2Bgk~^cgBG+2)Tgc$z9vzX=tn3wf!QN+A_aXzTcbli-~~{`?dQO$ zT`#(C?6A?ydHk5y{E}Z7Vm>)DA(nbQU-2y_6#J=G&U+L*Bc^4#P;9ys`S4wY*{eZ2 zY*PKAkCZV0R3E}{?F=7oj zP3Wo*iA%3Z=Nrf5Z8g2Qn{OkJ`Z}W|ExjJWD0Gm_KMmqnY zdztrV2OX<*of2K|FXKKR-ch2P0zcYV3q`%k!iT(L29csY%HkDsK4M>Xv3$&=?8A1s zmzeQ#pcp4xc<-y|O=ZE_EaT{ck!TF{Y!o=vHwdk?9a^{^_-LEA)i{tDp2liKV+X4- zneld-EJd*bU)Q~!LZ9swLuP!0?i1txp<$7Ud~%P^v`46DfQ{uRs$)u*diA|A4xE*JLLG*STGWZ_JXfO* z)(~eA2vPz9$Y*0{>K}SX5nyUow%essa|;Sq>xbDIT)LRxyIQH&nUjODaOG9wh}!~= z3aXt2$6!k!{G`TT%O;erDiUit9%8 z!>$^k`^DEjSvCs`dDogfztZ`9Q!7~5Pncr9i89C#d$Ty$Wq!;sa$0%_zWL%Zm#4h` zi{;KDRp9z?Di?6pP|-l~(tAVTRPm)1!=A)YAbMG=U6v)>`vB*pT85%A_xXiN_r2wN z$$OG!%_AmllvMGl@EwS=0}66d{!uD4Y3Lx-aYEAr7FYW5#;Ht`F>IuS!`%y4U$k0gG7P@RjmU%CcyQE2Ow0RHKj$tVsL=u5DNRqd>Cmsu3&Z5GGGx3e ziM15bPdl(dSsL9mlO`{|g4C1AoYS*UMNdEslHP*Se+$tCL0F@pWL_W|G$dV z(@!|jAWkgCvlKZlXj0s{6glv@6uGmcvl9j6|LPAn*GYEwSxy^tGB6tUFLK*X#oZs5 zNlI2xT3zuc*@U3e%AkLiP6%ap|7x+$5A+wZ@jx(Hd@^Eg9-foCbMoWquANQe+tz*C z*wc+Z&By!U8Tgip2W5D;p^PyP-wD#3X5#U1bMruV{wxuX@B2i&lb63G;(<8-EDw+W zM|pVPQtx0%cNTw4sRNxBUOksnce<_L&-QH3p?C>R2|auDgEYr$7N({UXrbhjYRfuM zS{w|tvp9kJZ%g^rjyRW%dU6YXyp(@_PQI<@Nope(wD=1b&q)U64^tbVzdE1V2z&Y4 zivC4vBlM}iN^Lyp^taSTyYCVeL0`+~o}2htnNirpe}wdZnySdl!F{rVzhx@kRo0Ux zP$o#Te=(8UsiMWKBG`NV$}@UGqK|#pY%eq3)8LA72s*m%wXcj@tm!$%md8jhOWu&F zGA9j_q>;e$lR@0+6OR-n_=tnHi$2hi3eiu}WAcnRbXeQ(-t%6NO85+kVeNRS#Y1sf z5`-a0W|C9YnY+80!l}$x@l-Ml3%k(aRy)1^+RWUsPN1uLw@Ef<`6!A0^Ve5sZ^oO= zjtnLkD@%nIv(nXeoX57X5+CfP>UcyWrud<221j%jmdjiGEDrL?Hy)icS zEZ4VRUQx|YfS6p@RmnS8jwF$gq#-xX%k`8kc9TTw&7S+xs?5qN6Ju*uOD_|z67QAm zq}B#($*QTjp_^~#;Sh-q!Jg|a%2>}={78fq zu3!JgGhsVlx#b9NcFZx=vpQbY$V+J0ZszlaFOT{5p1nkTJ4W_iHjp#+kbSbJ_>z>I=oHzWZ=~b${EndhH{|7SnP0-rKHAVNa4= zeUY@?TP0#~`Yh5cRG85`CE>l0ZZgT#!-`Lvc^qYUK;1EZB)BIv7>THH1NmWPXU&9A=Y$X|x{n*W z_Z7NN-dDct3BzM_MnsS)zH{ydK4EQ_>tR%WgMx`R)IT^V8bYkCt<6lQ-e^Lgs}j!n zcAKF8cEq#(l+XU-{WW-&NM?^dq@;A31b$3u_m40NY>tcTCx|L9Zcgd9LVD4e(&_L2 z8H|K!CXYmmfFQ01Ff=Kc(o9O$jw{NHdXSj#An}GuZq)t6jH!poNoh}_lJCc$fg9*~ zpJzQ$dD#r$#4a2Ia`NVuYQe1-Bh`CdN1_UR)c>(BrI|*K1Q{9m6+Cj#Rb&Q9$%KS; zZ?7u?J`3HsNr%FAJJ@wIVnb`bKyOBNUCz1Sr;BlEG83v*{DTU&BBH;rdKiVIi|}KoK|Hqk;7L<_N=Hwd%U77c}8$(d!6;2dOdoDNH5wwAllu;`j?ZV zWZDVJmsIHY^*ThI=B9T9i`GiMbZsW{x4-0PFh7#zuiM(c(m3yn{h+5jW*Kg;y-i36 zdwy#J%yHqu*7GOVe{c|fP}KkbJ}(gT`x5^kSPlN4vrJGb=o?!EW2gR}-x_9jL$3qO z9R3rQ>0G$ccexek7^iQZ4QTPPZ!V7$%k%r}Kptp?Z&+0P=@%XREIknPU6s$TMl2V! zXz$?U+5%43m1 zke(O)%(iuVe#A0zbqblhMz?~3P8|H%l;|QJNi3oPgzlc5E7DN7>mHUc2@Mi4l^??R zL_?uP*}9q>hlmO(mh}ydNL;3-jiHy*rj-Kahfj4%ueV>NY>^6DBMm_f6tV+2fyDPv z+4JVCCs0~HxWW~5`{)(g*6U)HzbL!G?(0=}#i=L~={defbsWkpN3~pwYb?q0?7ZmP z0#!b$PGj_MQ_PFfo?Cp3d+R5rqfHsBh(A+{Zu9V-)b2BC)Vs2%1kbC|@T09Ka3p*E z+^)(>7`zfFAPe)5j+b?DzMg>9w&mNlHS@Z?{&gBb2twRInn$$J8$Om{;@}GY>(R~{ z9DUKH^zk6mRB0FI!|+PSoo<0-DF_zs?Cr@q9>it1PZjLjsN(g!hPEk-nd#nT8g82d zl7pM++!WT5nq4<S=e_!7D0 z(n_-3mjrG)U9M{}Po(D$W3Wm5BpONY98%IUr3d9v(Cpge&GZu75I(-(29`qo!R`I7 z{P>SqCfLz|(k|a977!PV9r;JTRS?(Lm>HO`fN7qm-)QhXhy8=^LHLhoCey!9Go6;5 z{+?#y0)V+dP+j%g8vGi~bXvn23VY{hCMdOZTGJY+a>6*B7Pf}o^pneeMl+q3xjwNs z|I$O5(xoA9O8`2#p0ira+|B#lgs9Z^meqI{n=O=e)T=`p{pusHyzjKiAt$<{wrZHh zxx4*bxNW}8QsnRfwWzh4 z7oU-P=zVUvO1UMf^~lhzm{jTg6m>DLEU*Kz`Osr`eyxu#aTVC~VYMrGh;{encoK16 zT&vPtVDW2o{W*yzs`__ow#))7NV=V9Z#(1kMDZ>{_zOO(WAAMd=FiM$bIgJIo!Wp~ zM#)=7`m-$+TV~?3xG77L7nT8O)V6Q7!E>p{c~VJx9s|nTX?Br!5Gm(+HTVq-wBdZ5 zuPTNxjZLLLqRrApq#~f*6!k9WlV}97Et4M_i0F;lKF$F6T<^@yTPUdXNpNlggX2Hp z3GN=>Z0xa7D16R~C}oM(X=6n#lc7vb6ck(d+N?<)_r(alyo>B3lHv@^g7TTquN?)H zV_mxfR)zT&DJHI?K7$`2RJ8i#S0^@Th(AyW6Lj8`}`BwWlOikmk%hwad6L@h|2S*noRCvVsd=p7q?u- z-lQ923fMZRm}{{)g3y)0)2t0L9*R->0D9@A0SsvXx2sj-sDXVOS@}dsIh52-dNZF7 z;IIO3WEd6mwnTE96im)(G-n+>DTxTR0|sBB=SLxbz#WH#OOL?suvuiAYiKm?FcQlE znxiAPGLmMBkmB|aX2eYN4{=o^@Jgaby3iA0vSrS#i@_AO`9yXDCu5p5+I`5`5Z`mK z4M!VUT%$$rW+h9Ae*`_z1KCA7nh{78n82f5PE0rQ4(r-p2(6qh7{@5l-CXi6Ek(1W zVk)u#_6XYkijB=;(4AzB&}I}c>K&B};sY5ax(Ld$xS4v(Oi}bl6zNvd6d2h!e&V-Z z#eg5{%0`c^MS2PWuWq=lMD9*tt*>ETv~qQoEZqL2-2Z;@{dCm?MOVunZ?)9NM!@); zMVG)mtQtwzs_W}@Nj-~pNN>bMHz0e_>re$*1E?A_a6Lp%TsU~p3l4Y(+2cWNeaPpn zBP_*4%Wbl!uGR}bkd0>r<^M71#s>}F{p(6qpzoS|CEcJh>wk}QJF8`XjtuxK((SCk zJgoUQ((TV#f^Vz>R3ySQod1{Eq_ev7zZJA@Hl;&^Zza5_^r0rAIf=wPAgKMC@E)5>)E%(oSXL<+xXA9$FuJlfOY;OE$B}v zxc{GK`2Q5m06TYQV&#_(0zVhmcYM=bWm`Ei2(fQu`HGzMsOunIvCY>7)CvbS2vU@+)vU7ZO{tZRP5k;pmLyxY-$!!w~>)W^z0exEtXkn~I2rSR^kzOoC1y_Y3TJfg4z~xFbV5?`floXEfHw#4E zs<8s#lA<*~1JE~T)ErSMn;_&R8O_*}mE`(|*(~}8sUwVry`&IKG~+U=QSKio!4#)A z(hLiW3Zbq3Le)7{@>Cq5j7%bx!=GkQJyda|iYGpAIvW>HAR&|GgU^$6#-dQXzC^ch zog14Mzsw|Qsxy`K=d-FGlEL0U&}Kj7DWI2$zov#rWhaZ3%EbyLxzuy!1u!M0F^a2vFz=kMl)o zHnWz(8-%4P2{$tdxg?b_YlpO#J?TFj8GeAvABef;D_{1BHa=I#c}6l@UdjP!k3)QO z56dImeLyg}Z5Ini5R2l<@R-EwUdir*HhG@Mf>gqttC^K4)w|7pZ)eTA$*)(^1`TVF z&4;l*pMPce;lAbgGDwl`2I&TAB&AEb8$`NW`a6Kkfa5&s%=10(yzlRse{lGn z&DndOeeQd$Yu)RKyQI8wO-L|Y3qiffU9rN=HHar({j~bV%^uK6q;oHm8Kbv^g z@%dwtzi!@Yk9CaUYpZ(6LUAb-9ee-5+06x&`Qic8gP~0ICpt%@t;NlKYd**D z+-a`H@o9_QnTi$pvj#*TU*)srU@~zLH4RiSh(51-+F`lGP!wK(9e~8M5cJ5(Gy^8m zT`upWEUfhe*kd=mTFxmhv#VJ$HWm>!t&RSyIK$TA0UoE593!i z-5H?xVS5+qbJ4;j5&cWV@riK{`<==&0Rr2yjrQ)?_{(HaBq+QIL3ko%0@UWW7Uy@Vapc2)Et!7xNyxK41Yk73Nai*YhT=$%yGPeIB1?uruMw?OWAl$ zP%D?=2lJ0>ZO!c_NNX$igK=peJfZj$(r{B(i23Pm z76Lv5M2oCY-_Bv?$V0+-sHZ3LBJtE>J}|CY^2iC^_|t(_cA-8zMOs_{$zZ%&LLBfI zzU2Bm^TNb+tm4%uVefntc-WRDk{rrZiJly4>{n^*+iJ8`HDPJ4gKg^ZRi2l%y+d>F zl92X02qWO&A@RuZA5;Xukj!$dI^)hx`D}FZzqcPZHI=@zxFs?wyktq8{hk~ zEyKS-q5I18>>7e!={&>&AV)ejcMB?88t+K#=oq4uR? zka7sq+NL$@-1>$vv4Zyth^N>Sr|S{*&!Mq7+uxV5yo#aVQrI+!Z>{YQWg&-nK`n_@ z8{7`c4Y3u*k`SudUUsD9yA6bnfwO%@yV7q{GBhVfp!JPgNB4@hovTnteWwJqZ^S#> z3dM9SnLYYahGjUuB-Pk<$fZO6tpPDSRcDst7ulJ=L$W1+$d6UN;ySoB(jph0Gma3Tbf}N z_sOTMl4V#1rLJ86#&ktm|4ZsGyaqd+@iYrP}5Nd|JI}*T6i(2WKx)gc_)0W^aFeYXCp>5SN{?|mU~Qwqjz9l^*_-dy)oAr zkabsIQ~^_1n9UuFEDWl{PS-TRle2X>4(~My*t`@>Vc>dzEv>Z>Ulvh+V)FP)Tb%sx z8{sIo6zJXv2f6EWeAGu$CCwnX#b47z)P0JS?S@P!yQzecaR>gsM-AD$*g$4|t6GUn zeaJj!zP?QThbg+5BEg#GfEH4ye5tw*&@~R3?hmE(;?$^;q-s4fQSJjrq(a1~Q3FA8 zghMbJuT=FPY#=C}Wl|b4c0uqel4WA0ZmNyRH%E$1e;Z+M@&`B^TaHa?G1+m62Ify z#zLQc7kZ2hVxK=?R!iv-bnsndUa7cq1J(oGC*n{}?) zk7|Uu{wr&u7U&f)ryy1N7VY1Qn_tHl=QCko`u)p&^O@)ve?TJv*Ix3KMgrs6KaWP9 zN4d*c;YG0iS2XfcQ+0k1f0agFI9>h>@cn7~@>;+~uh56?pS zFBC2Q(`e*HkKTV(xOkqq&YlHEdfMOM)cJ>Y{Q>!NDEGgYMt-##U7>R455Uh}_;(+t z{|z+qy#Mnx3VUgQI{(6ajR;>A4}YIVUP|50|M)LKsQ=Q)|5G&bvhVn>KM4P&k^iNU z|D}=thiK$?RI&d68hNfZ1*ZS=dc?Cj#!CmPteiZ~pZCzDKG&fBmE*3qSojanNMP~Q zg>UyK>mM1f)^+|yBY$4US}*y;x0edGvLk0bm$lA2n!(hj)6=~I6WJBdn+c9D z??60f5eWpWEPH{wNK5KfHSBK=d8q4`fZfjd6B-FGihRt#Z6@~E2a{#IrbxF?KiF67 zF?9$JP3s~Po+hy|kVe+_#SMjCrIAhQ@sP`qg`%A*)wbp@c012-WcV45r0CyM$@T;` zVhHgxjvWy_9^vXTs2_jm4bdHD5x=Zh|C)k|c$!LbVlB_8SR(>qX21-=`<0m_F>OyC ziXjFnc41GM1$iDFdO%z{BJMM2yGa`jR5DIuPTW<0=!Oq2mc68#s!0xM@_?)0_*#ATbV?i-MUbARvTK2EQVpPj4yFwhoR>fm*k6TXFkf1Y-tP7{ zdw|Cemt`=(lm=R&I0xry6ozg}<+H6fKc0CHV?v;Zd9QuM4OX$ zfjIKUF)si8?@X&No%X|k%UI;p`7eF#xT~_!TIMT$@ z^rtu4UNq0Y#v_3hpMS3c@@td-Zz~`#`rTjf$O|*TH$3vZK|b*2e{Zx6eCcmHY=9Mz z`lG<@??7*8*sXql-aNK!S8?JB0_trsJ2L^!jgVy4?KSI40{f*3gD1GRJ~4EEjAWn* z>8I?!J-SmIljTUtG5m5e7!9R^s&LKwV)nS-#IZ#=@&=||rNk(kXRbM+LJo+^2^?uLo zZ4uG_xHl_-0PP!1O~!>c<@BS7rc124%_30p;F&snBg3Y)p9!Ozs9`Im706)YkS#=^ z+&-0Ov2C=gi8q(a2+l;;e-5gDkc7*`SQd~zow`V9H#D=DwUz6%Ln5(-5c7I5eRtKX zoOMN6=oT-Mb)t)-p26BFew7BOm{Sif7f|rhB5F>E8VHtLj&@$>FHSDFc9{XfokQ{JEZ{2ht ztH`+PpV2ojpyg>XcoBLCXy?@fh-&00s08yMdp|xrFNl0^wJ~R$6{pT(m4Gj-)?%1? zUJzM`R!y4j`h=q{1L>7#1;P3_HGcTZQ~MGWaYXej!FSNQX9bbPz=Fu7K_V_4Ojx-g z=9V{XAY+=y+e1=qJ-sY3BZ z%(z6bba7Sc-U@5-2Yk;&h#}@WQaFs28!yD~iZMEdV82c<{*?3Cs>dB`kX~NzmUQlGIFeKirgj?ImA{|fO0E6TADc`q961WfbH+|<&bQP8-wJ5&{PQifXJXIaY@z3#&$BoDku4PX*!-(4wbyK+Ku75H zO|=(djjQE?mnMy$y7ccpP`_XGKetTs!X$F-y1&jqu3Y!!SMTqG$xGG7`5*t@Q0Y(0 zBr3MBc{U7CqY5|Oo&=SWg-plYTu?Ss8fvnA|@ZfEafVhV4DUSJ9aL#>DQ zAR$R3!7)_zU`iW;HVS772Ls#Jghp$RfaV1UcPnMDX_Bwbp=Br}R^h{?p?pX~nV%?* zOHIjB{g{D{^(ig`H6fD5%O^%!0#B2iJUFzl6pK}~jKp9Tw!5f!E)eC`QCW(Lm*y(g$7jD~sDS&F9l1`yJm*m*F0kX4ZQvlrdGB zv!1qZD(#fLT)LMv`6a&7W*>byt0GPl)e=`KV4@I%TLw$HYHJbeZ~~($JOLw0-Kjq( z$a(OTb-oThZl-?A75VXzvZIRPm-fBKj}3TSC&)e9q66@b6~qo1T8)DzIJLc%u~-W% z_N?|NZY+;g2h&j)Vn|J(Yvs8M8OMxP1ap09_m#Q5EK;@RVRgTFfQ~*?TBC2yV$R~e z(8Ji+iuh%rJvq23hKcuZijF2`QX%dbD*H#+s#{g=AGH;lcV61hXkf)anA_T*qJSK> zFX??}NO0*@`Ss`Uzg+acT=c(O^#2eSJ%<^WB=KU1^AF&nmzwt9xac|m`EixzxyJnR zYR-7-Paby;iY|})4{%W?U|H9BzoMVyqSsVQms}KBx%w;n!hh>J*aYl4h*HLSV+Bvl z|5TqWE#1?5b7lrYd7 z$J&OO2yxu|!GQb15pX?j?z#{W%vaX%?3kR$GK6sLkU2}{tgglyg)SjHI<_se`%*+6 z?OO<^!aCL;TejyOwX&QLJp!UZ70x}xA9&9tA)f0o%D$iF2vbi`YOGJ7-geM5XWYYw z?p^i%rn==rDbs$@V}9hf1@GPp42!wvS2%G8oXqu$Q;;moy?)a%F~3D(E@D4>`^U{Yuk0N zZNcX^q4w`>elLCh5jK7cL(doD{}&-L%#4Spg0yADIYqeuHowV6P20QgxN3b>T} zTueL88hHVM1r8I#UoXxCoLh#@$`-C|2M3%h#x9C80q0JgZ;CSk=fa$yfuWLRMnD(} z>^e9yV}RquPoZM?5=R(q1a$KTv;*&37&8I?iH`PwAPq*T^jaj0)wXsYH-sEoIlg<( z9hE3%Yt@stjA^=tN@Q8;TPzl+q?StjJe!9QNX(Eh@|<`W+Z6^{72zGmUi+AU1d?^H z>e425T7tao`K<6BV_$QgWdgm({{+QS)Hl|6XxY;iK#|fGQ$tO$Wkgxlrkq|@5d=Jz z*8b&4$@p8gw>>MC`_dv1C+i7v)YtiOm$FL*+{d?7vc{(~CH1D0Eji6(|rOz@C33Qf3+nU*pyM+fW= zRP#FU@6V3vA`CuW5}lnY^cbj7H-k2AoPs^ckxAMvyX`og%2VD@bSv)ka4u-{I84o6J>dB6z71^&1 z$oUM=jfT!}Vr##z-(c%HG8nF3CAJ|m1{)FFs*lRH-m=CO@J+-g&o+x}SNXUwH}*(k zft6xlKaxp!(lKJj0PCX)R~F#Bg6S*V{<_ib;z7J5OMip60Uy5~?MJ@;lHYk7;GYNF zF1}2cx8-7>@h^be#h2{z<-Y?rQEm}oZoVG?H^7B}<DC%7BVd6Tn)%O+?0SQek$ zJ2yY=b9!Pw !OaF{!c#V(4kF%GGp6%p`1d6;?}IaAzX9GA~a>5C;_YF~D=2C}<4 z*@6~I?~}fEn`VeBnL%`Qyam@`t}z4LDrI7iyUcTB2`%yoS>B>~sd*_(a!5yq@>8qi zLvr`^$TdZXY&ORCq^(>&ISwbj@AfCSX7jT?+kL1o1HgAUzh^0jg#}5c&Gi1`nE2w6 z`%BLNJq^t@wCe4z!Y}a@qj7DlA5Al)CRHb2#TZGQ5E*YffEOQy83W<&E$h7)L%!A3 z_haTEku|U$0MW1@Ni{iQ5)VX=TSRxadx1S5?*My1A|uFB&iNd6kMRzv8&{cER;{gV z9pXP>^Cf8A+|{5C#j_*y8ivq#^f{MHSvgO;b!DVR+(FMQ6f--}COULre>H>;ZRI_< zyyaehf&P{9V2~xSIN7Itk423FE#Hb=K8!% zATym()P{v?WVXj~gVi8mCfFpw%(&A?3Ls_%)m3|?Z2wXa_BM?WEShT%BH~*j@mzgQ zFr;uKTu`DsvoLW6a3NfE5^ydwD$qf(opR~wvQu3(DyoN{7MWyBpAbT7N*2Cr{y<37 z9+kDzln0$*LSm(fqst(HugB)Dc#7>!GWhm`*efYUl3QrW$=QfX*$OQMCWWpn^}Jf1 zST|ra5ufzj&FarG(9~!9qODg?yQ9|kBwg;se%RB*lmvlfln4bVJ?+Fh6Y?i7FzV|9 z2yA^K1A1|M`IY5%39DXr+1ZyANbZ*Vr7+Zeag*^19&vtPa};3raT&vFqyJ@~l4T7Z z0cQptc^+utYp(Y3R;{W$syQ>CrStv#rr$2NLR{x;Sh zHY&U-R2K`)rs^MWp#@wMZ-0d|jKCIwKMiN3Tg6AH5Xa`o3M{nV zbskbH6-IZ*x$@{*eW($}2++m4^N8xmF^7C8_nxcEjpUDans+Ps=9DopBi}ya?%cx~ zLL>1)Y=9`?x+4RNPI0#fRwB8Rly7=GCpz(zUXAqW7k{DnKFr}tOQcqDa93<~2l2V~ zKE5;Iw0_m(?B-%;52f??0&3xF=#Q>yI#j$tcgYJl&Vx4nD30mi@QmnAw+* zU$_Q$`#ATP!l(pl72Fiebum-eU~nOWAAKmQ`d&_<`*}-&K(hKEWqY6j^=9CV+U~Me z4Qsks*!)`*SXDYdDBOawJ5Me05mTt?k;$GmA}&qUsL5s;X(4MIdt9%>iO#iOGyEu3o9)7AE!TF&hkB#|oZb9ord zB(Ei-sl=~SWw^IRT+a?E7>*bwZ!N?ag2z~`UFEn%nA$>+;9!N&D~ak7d#WhBcDg%d zx|#!%iccc5#3t<4XHns#yPAw!*3_bV1L<{ns?=fV+Q9@-<#nlEVC`j;H_e2^eo5PznH6K7?1-|c;Drv&*?`bp$ zp%jc&7~-~B`P?DwWQ0I}anFvJu(5Wq-dufmprH`wn9niN=Zag%6$NR@f2>=d$zm1gN5V4DI=`|t-IJZ~= zfAw$OtqeGKYKmVYVi&)=jD7!;uyBi`)1^$_}_@%KVk%exmyLie&Dp9Qvx` z=Ss&_VEfhI{5?Rg&lMBsRde0%?OJ~>pr5OsE0u(z*({whN3%8@~%58)%# zfC}`cen?dpsuNh601{89Ak}#>5P2(Vt-$IO1#H$K;t%gO8{ewle~`&q7<$-(K=$Hw zH=lQSg`v(H^5ZfBll{_x!UH|pK}VRFSIB}28VOK0x#J#k-Q<+-;B7RhvSC6ub1nKp zML^7p-Q5})JJ1tZo4>KF!*axIH<85mWNECp1>jfn1pX=co;-+7!&8_Pi-1EW030+u zF-aywk;f-bTEJc0UXKEHC4BKBf^K0Ewy<0R=BC_@8oM%$1Wgg#2L&k+oPL2bx0nkF zY64QBKwnb5>zp?iNhqEVQBs&whBCfA-2z4U#MpL+jPbR2ecu8j z+x(}-J82~-6G9z1ls(-uL)$jxfzml5DKiFi%1Vl%Dk2Xa>FSxW&G{?Cb+qTr+u}#b z$$nB7nVOvMrntivg*jK`L*2B5!{rl~WmsX>vD#?67o9{YHPjJS+^N56S?+yOxKdx^FCNZXUR}+tsa`2)|`w zCRP4Ovl-ciqlf*e`FGaf+_0<^g$U%rVUC#QkgeZdHVmk==aW|8-C zP>Tgq#i+ph(+qSQ7@(lp<~SI&i*46I!FnqKrE2vgI1$<9zTeZ!WE!sUS)<` zj-6F4XsJbkuYVN&zR#sciaUq7fzx|(hb!I=X}1^NUQhkS11zM>l}zJO!3r@H*#XXz zIQJ8+&drL>8p}@kR(qTh?}rtQ1|zog!3cJJ(=SST463pfrvawg0MB;LDKueWW80cx zJK?3&s(HK6T>gw~5Qr(z`5^#_KFFw;Ht2(Yc*+dp!$Na}qbjM_#N_Z&>?m zVJy44gV~O9XHqRN<_!Cey2s0IjLd<&!O7b$mfKy>=0k>b*@6W}l%lIQ>XvOyw_4yP zc4;*3Vj}^3FRT2~%=T?oxwORn-v0prj5g=ap?`B$xmYf|+5_W^a($ci{^!?j0l+By z`&pf5hjZ@r!}-BA{pT+ncYePwqxFyH2UoMopCycI8RnO>$M-zaz{32Woeqr2P8bgZ zJ<@YI>*_X5eREqKY(}K~5_?pXE*4pCw}__9_8d>z ztsA1osM?e9$I-fc=NliraHr`8B_|>B0zr((3R$+>R$Yp_kA4Fw<8hFffo1J*u~u42 zf#!~T;Z)pw`!bUsH1asnEdvT|rK-wsUlF2t6hWLcut*h}2ONjM?Ik8FgGZ0bNZH0u zkU*^a z*uD?>G(*o*TSizb-HlbsQ(ey{-pU_bB*ct1pOvnbHG=M=TIb#TsQuO1m~AJtx>*+N z>Pm}-f!+Q$EW&Z=vuXF=GrqmqXYSe*ohu@tgI8XbTq=2M^d>13`a$5ffnH$XP*A?X z%u*I#;I^Wkv*T;S0eo}*w@N!r#t4~^Oc_oqv`RifrnR0{ic1}&{GX`0k{4!Dmp?>5 z#&5^punON0SJeuRn>OEAC#4Y<73DJ2_7@<4FM0#(wBwCS3dmu^+@mdwQWnCyZJYmm zbs_J7a2MV;Oq~U~U|BwE_!JxPkVI_FAJ0>=be+fUwg{QoXBpDH({=gC$_D(EZ5#jW zy1Uu<#alNEJ1T>1UMIFiHym#gwYKptY7?%gr6yv!_1;ZN7m@E9ZYLahEvm0Sv+nrW zFQ$)^5{!86lc8|lbUbK=+lcOxbMf8i6cJ^%CAmknH|e@@G&@}rpxVc?ecgh{u~tka z{52)!KV}erO=)lzHopo7DF5{qLcqCc;WBLg%5lHe(ClZz?XO1IbJf@7sb5yZ0N?0m zBW#=G6VY1WF2OaKFN0VSL+yu63Y?I2^M)qu>XAgb!XGC00%^zkSvzfDIg)1e4IfP0 zAAzd5bEjRt#0}98lno5ViIzO7_d^I+?yEUASos0;z!O+7-BgG+v>5kyMvDfKni### z=DOW)lD5zVQM>i;O>GwEx7y1V4X1p5739}K6?7BF8Ppr1Us81+WNdlSa+fh;d#h~I z;r>KKX&|7NwLkKu62T2EN^<*o?@+8d_Lkv;S#4uj&)4y)l>KT}gda#!A#%h&yh$?e zeDCa0cN5X6OG4-=CQr;QFwtOK1lzcv7Ng|p=gRzPdDABk10uY%5*9uaMrc@3 z+45tD_Q)xVS;a~qkEt{-`7)q~kR;x7V$fZhDuM%{x2E^si45n;5^)^Bxq{^E=eh0@`11@woc;f~ zbm98+|NNNC2lm$^2Q3u^J#e!hH4_yD5Lr+&(orw~nJYCD6Y$rJz~$=SHh>7}8tDUV zXTaNpLn(nn$!9ESj6=zdLoA|drK_!Kp=)eJLvmJe#>R$ox%PU^r1IBKjgFdv4!Dp_ zPfbAuT;`-c`^j*oVf%$sWB9|VUBv}|{nV%d6pTQUP7k190+#s!RnHW(^fbSAY5=M~ zoZBCP)2|G@zkZ?&v=jhfsUtNNfC5-Z#7INIc-Bkq7w#Di;14HuH9Y_NO{1ZwpgDWg zD1bZ68EGl#fc<=#D5!t+DWm@8tga2w&vMO$m-S*w0AQq`0m@4N3;^KMO^;(_X<%@5 zmh)}n&1=X0`4)M=xkB;sJNNB-{;T7zF1mbwI&n3p{c7&IW=gqSEC4Qz{A}*3mo^jy znrctRRi=DBxZ$cAwT6kpaCv=F z_d3YCvDpO8{9c<;KAG{lgUKgY613GuXG}h=;>MwLYa*1y`Cz-MIZ2(WEJ03Z(&A;C z#)MICK!j%KUcSS&pLcBe6zQWBArV2M`*4rLW*Nd`OUQAd-3VY!TpFQ>Q3K?_ouiI- z&C}sBe@WNzhe2^6||O%7TrAW?!(1UR|<>nSx3|N9dgg z`$PrGb_tqH{i$VUK}#Z7KA~^rm+c0m3tGF4Gl$gVjrJ9o(2irPZ4~<_j);t5u|!dt zdkp&&vG589$=vzNm?hrfjj>IvLNXiFN%}*^ z&c9ax7T9W$1q${i#xVPXQ35C`zmyElxcf=G-_u>jmO0zbPvRbioCOQJ>GMS-{-_lm z2y%MGjRq39h3L(GXg!i9Ig+Y-iG=qWvMo3R4pt3?tv!r~?_~A_g{(x}S}-C7<8AHR z6>FZyb!YTXdtF)Az*{2E@gZ~4otzJMOm^F=jc6IWS*`|!p%f&obR?0(+Sgpjyi3D$ zR(JJ)LwrEaAjs9IY71V#qI>u|V~0xv-oF?-Tr|wR+Qbv^)!q4bmIl5zcDNuRSHm0N z+{Jnsr~WAc8*napx;(41=y{>t{2{~va*pfp=Vy;QD=52szaK~4tKjD9(!k%L{?`)C zWn>06ru*5*+$KF{JVJlxMTbgtaTj~tdL$yafsUu8Y$zM~mO?2+y}w~x(PsfcXOQD* z`_E53l88;*)y80Dk4mOD8YeKtV~eVdgKMzYQDAzfYKFE2-q3I z?m#})et6F<(bwOt038rr8lj-cDuBIa+NCqQIKfT|b%JU1g|?iT(6NH0%!bSik5*z> zFi$a1F(0E-5Fe$ONp3tq|3J(3eN#}uc88ftuVdk2O=njJ9i(~f?1ZxZv zgCP1FJmvFF?G@5v(kT~}uFD0tDEtT!j6LUVvjX951ouW&(Ssv_^Y#Y7Z>wwJg>gnL zpM}ySL!k7_JdOxU=$dTfHR)reNC(;8;`v(8MkSSP(N)7%Eleeyc|cd{yq-dDWMaNi zBy09##CgJC2S6C}<~E3GUkHvsKeXaWngO=Bm((3~=%Q@gCTeK(_R{kMt31H%sd>&L6e9Ee$MO0OtLml87_mnR%}4u>0!c*t_g|r( zDE0Jifgq{yEDmnI?ya3)@8KHh!lVM-tlTP)_w5de7p}1X0E@ug{r-O1D~JG7tAc&= zSa*?bKXcx<8DG?sN}`^05^ekVRn0%3i?h+2)r~bdY2pxCs(A_H$kv|5GqKDS0vm;) zrfSTYW>K(^E+$@v+sb8&V)lakecap7H1JX5)&uIj$FTeRrmo3{W-pwrxdQ%S-fI#5${H_l?t0!p>-;sqs-26nQ{Vx= zIw-$1B%NQ=*U-=K3&?&&Mp$%&{SMIUx7-!7u2uDTSb`%-j|cvCC5I>MV6V7Z4}oNQ zFZM*Pb+m>z7e5&{A$!fVlCSnexo!Rif`v2W0TmwWlWOsIkDs~WWTVh4;w7Ud3&q*` zyy*(Hr(}(+m&AJkEaKU}y(lW|HZBgn?@7Iy^h|3LkssCUbogNjmWUNAs}SF`y53!+ zFqnEVc^qA8RSaqY>Zi!S5iL2hpy($T8l>pi{7m@}8BeX$gbAbFcRu$}`g&M0Mx7Jv ztmLGJ@-j1cj_8gHU^FNRKP28E97K46E(8SuUdZc#EPHo>y+WVe1PjR$maKhjl7Jph zP!ul0|8>ZOIfG;II)i1GeYY9|*|K-5;iJHgd_r#euJX2L4j=1?2zXyUfI(%XGL903 zR8YTTJ!eXV$fKHMF}Go;09)zPh4(RiiGv>+U5|OfGfro<$ehHnLD;q$l~4#(h>-_s zMiyG-s3w=HEK=(|e$Mts?RLevo=vm*@VTAcY_s-4m0Kv3j{aJxu#@7-ni7xiJ)m`h z4x;u>j|8)d7o^5C4TvYDByP_!=h zUoSiqPLHDuRXDE3qeW%J*6kzU6fge0W;lS!GX{d>)lHQk2f_SuL zmEI)YOy1IaLWCKI1QFWgNE$Dx1yck=Ix~c<%ygDN@e@waJ%DAnmeVo zB?H#7uXSpS=1c-qJM+2K31@&y%Wvi%I2;gh7SExezwg-ec662f!lmEJqdvl__2q5> z8uJrkOyc?HZ} z_%#3BVD3WRc^$l6YVfX{->+br|35SYaOqzAErec3MSnQBzEqd}@^M!|+AoIQt0DGJ z%*cOhwe*_D;cMunrUFii&j0&iL$To%Im5G2_eqROwJ(C0l8wWIqUSp9NrRoLva_II z!$?%}gd3A3N|_cg@35-^iHG8OrF_s6h9W?aNj94vvF)wnu9#T0Gum6#K@f_2NS<&! zj1s{AAkgN5^s?q%MnE*?@n#N(O6INJOh=u#p*|*b`sid{)W%_Vb5*fkGrQOPU@+L| z7)C0hDR!~#K0czIG?F;McMYr>Ty8EA+(UbX-l4TNn6X?ov{mj`qfr$Sx+PU;Qc5Lvg97S_^u}47{?;bfYc(oL zFk=+6^-%_{ryw#-(6{0&P`*UyWA&5ZOYjiIE6j>kb3UU*eSg1_W}k@FLn1q0wivnG zc#3#zP_BGdXT;L)sWZ0(6bd(uJ=M4o!VUm6_C|Z3m60x@`=ghI5t;B$24`JrY4Pwa`YzQcZ42ouHkRb+reox6+W}aS7H1Y;8ZvyUh&#iAbp5v1^QAF z6YyQ+k3%vRBQPci7N}XQ9zUVNblS>Ne&e{)edN2HC$gNc;f2O#Dl!(Qf#zHGB-x>4 zdrX>otUyg1Z5vYJp=0nsaR^gYB;>s;GNS}d8(+fr)@H5kM&u|~gHWDRIx)jhm9mtlrXEGyr!8%q6Nwpij3psw z!u6n=o_VL9<F2YQ$#MYmwJlu?549Lw$qAyTCm!W zg?eAkmzbD>Ccskp8J3CD~$8@_!c4AMQr7l5X5%nBdg`3E_oBZRfz|{4yTA8{UE9x}|lq6{I z3klC>It13K;RONCv<6Cft$`0>VGq;@A=-xBLn5+Na#eeH^ny$?9U1R~^E|xYxGtHu zUZ`3<*5R2p9y|9SWo{Cc*r$b`zDlFpv>*uiwjxT$Eag!C^2t#bIiGIcM9Y$z)I(*1 z#aQ~oJMwch5OTK1S|Ji6OQ@{<^#F@wG_+RBr>;J2@W8A^s{P_4c1(;uW|l}Mh#|>4 zt*QKH_w4zl^c}UugX=8~>0E20#aLMRo`u+xz1_tLZ7?$lnGrNeGFbl{I@$0{ZF8LJ z&M3@;7g)0^Xvob_LHAc3uE@AzUP4IWO%&~o)tsEPs1GTN#g4*a>PUb9SRSUU*d$12 zo;(KTogs!sFMF3HC}h{i81$;v-k!u45u8+I@4L8BZs$@ft{Kqv_L>fT3P5oVL&^w^ z+q5fmP&rFlS-_+v^@1$`*|50vFvy(<4l7P`luEqNb$zy8Y8`k@>AgXM=46Jzl$GE& z6(B22PIXI9omiYq!N_BqH6vD>349W58>cx}A|ep`@SY}R(af`DS%=R7-9ET`rAT-A zO>=zU<;H22AQ=@|)D#*MNkILf45bx}6VVJl%NMr#on*H9HExcnNf?4Ayy@IdP8}w& zUXaEe6CO!-80b&0w+!cQxzUW`g>Y)6cN2@rMgVD81gk1T*vcwqThyNzTgniPEpE!< zOT7h}#9K7UD8#q;^S&coFBChmAH_XxvXi#%ioId(#?LeZ!5@dprRP6>%=#wL1kHr5 zd%?7!>}fr|82Fnx^m=puK@D<3AE9zxVXh1tUAe5K9uPb&P|N=LwrOK z)LUIAVyTv-|oPpw)gC_9$`6K<)9ozmjkPs_AbJsEtNOXk;sn(ow4Fbj_>*( z^h3`)KorE@7Xj}#PZ^t9)u`W$4Y$yE;=9+J$bKBVVqy(|o$?b)4V5)lShu(wV z^aZ?8U6I2Paa?Rtf5Mk=J-P{g3n4vvCKi7rscJOz)$%*-c(kEt;LIu73yX2z-Y<~a z^){&wc#4^z)CWTph77%2p*A8Z0;iiZF{BVJAp^$3em-@IOhz{j*J27=#*My^%OL0T z(ah24dBYn|E!0{Ork5JPZCc!q)?Su_!->{K_DC6-TY15%2t9|EE{HkGa@!R_N$`Ox zV`QwutqAiFhVLY*Yc0M1BvG9cnrn&bf`9zIsnmsF3|Kc{WMph{Uj1}ocDtUau89Kw zF%;|4EcDxy=n@+Jp!(@jG4#vF{djfwpO>gEWh>_wdx^JzZj7HzR5P;8M(EVA6^CRt zLU3H3L8)Lo@M8#x{P3o8VmJ#Vh7QmXU`>0W`8KEu4PFwB)ZHjWL=`1fFznD(l0_cA#W|K=7);!&gmdS>*OF^a&EY+U1j-RE5rv3RI-Tjyv|qUFb~< zFR$ZAjWE^$xqm8hApbZdVZ#H`k86pA%l77H{JcB!_q|2MPMlg3;2*F0ya-V_d?(Gj zo7BscGb>+F4-GO1cvEcRSf)eW@KzN{cYosmc^0`|+%dN+`35n6B{NWq@ttIl5z_)1pWquw8_XYDkqE-kWM2y9geC`}#Y7pUV7#N`VwBG;&1TMr_wQR%S4+E2F~ z&KSnDDp--3kLP?`iAyXVqco=RvVK0XC%`HbiJuTBjXL*!j9M*Ex2jAXrQnH0zP2WR zw8?JOo6(sl8&=cKk7~?4zLhfWCLpb!jUan?YmO;X_RyU|`kiJGcsFyZ`pchx#M)#k z3qs!t4!f7|?KGZ!*$N{g=jyc3_os5*@B>Yt)-wxxBC)A#D6BX!rT+{)cT3m0W*G?ae6$4zQEML2o^D{e-R|yw6%7p6| z+e%xa>Bh)nCh13df0$1SUQgLPDtY(GCkAVy#N^e^4rxQeW_gC(7{v}ea+0N#oQn2r zBvA@}3HfWr1GK~?qb63oS+AnUPZSB^4CuU#To6f&j z-;ddsLaZzJ>(Ws6cUB($7_%>okk@1OrEBZT`TYYX7ngdb-(v5D1?`8Ei%Xl&FCX`P z{B=D}UtwEUClr4+SGcwS{rlwNY~t{>)fMn8aVP~0>2SV&Fh4h^xaK+dEmZ&f=7Aa6 zC!*-o=Q`fIaE~^;Sf8gZCOyOfB-$eQd4x~H93DGd))s7!Jx;7&{Y{v-4XEVDQ?s9!k7l+T zxApJ$%XhRVGtbV*-ZLS;@$zAU4U9E>D}p*KT8N*t${N-))u)-C?<*MUy>u!V48+E& z))@(*dM{R_#MEwwJG-eMg{CfXwU zNCS_Th}NnhNzzqth@fNf1PwvUOKNZ3Mc%%{V&Ydov4=lCUY}K;5p3`SxU+4+dTj+=FO)sAYaUU&-u(A4cSkE2IErZ7hOa%=pldv5nB{^ThLP zTl-kn8Fec{dSo`wVMps*_xh@sRtPB(h?EhsQF3BBNankwMGwjNMpb<~)^dW?R`av% zUujS+zVa35!Txq22bvX;?KMM<5?s zZ40Yt_t{iKEWO57UXvn6D&1>i#`#0&M1uY?MMU>YT4@|;K$W=wvUDHr;wIh#q}?go zkd>0A(devPpKc=0v%;WkO?uFTP~Mu@6qyuPB0uJt1Q zodW$c1NC=yc`*X{)X$HppGW}5)Ie|gmoN-z*}R!X3%j@QD9qdJ5$M2w5k5!;)7m`D za3nxCF4u^|RV7CK2M0y^Gn8Lc>1mP??|t-0 zIC{`Ly~;4zu?{I~y@-(+C%sC}R0cwtp3u%9$>TNsS1TP0MSbx3U0qQ5oG=Z{;`!*V zUY%zY=u_Bcnl^D^_gi`VAp7Hp;SryFBP7{xT?GGpHij8nGsNv(% zC??qVS9iJL6_5Vyh{494 z#wCTqc;fz9Pvr=C_E&k!oh!;t$m8I+@+zCzA|oX&L(FP3y&$;YJQ^QvWn=DTnHmZb zFXK}>9#*o}(jnYxKx!5i4tR49XC3+>ymypXbYwOp`7@lSXi)~4sc7tXv$t|5y`Sn! zu9mBIVC;te$nh zQUnczHjqN2mVRcy5oxD7>|BEq16o54z0`X z0IMGTT=di8tzGBk-Lkw9_!fcZ##TMgSNb~&BduY~hbcd{=|dUktCa0fm2Fw)1h(dG z-@L11;Aa|BhUu&rZ(3EHfNk+4v8(4PiK+J5zFD$^4oOrmX-Q%jG)LzquWzCEAZdJJ4%uCBkIU1uxnXk3;z$aFyFc07be0LFJie+VetLU0-6oPnnK zq;d;!*J90CqbGyKjY+Zx1`38)bhk)KAyH`=G`j{cus(N*W5BIEAhb;AIcP5ua|*SEAKFo}=yB?!GqisSZcHqR(h!rnHmz0|75F8-P{ zBugM&At^Qt-5>fE%`%Bbtc2)HEv#A>d)B&K9i+<%JalSFscxx{TcIE&vsjwi-37C3 zuMpNR-Z5k-eaWjvHc5&~&_$w8L=4&}Jm?q|Eec(0Rc`ZAK$W$bOcio^$QD}u{ihkx z!i3xz*+P!3Cp|s>rQ~-=N(A{^jQAzWM@8g=NNU45vu2;N%8sGShO-~SOazcQerKS5 zY5TY`5dL-*;6ib9E&g8$mj1m1_46LZ-)t?r*0=Z{16MBfA-@f{FYHi1j{j#npfADr zS>E{BG6qUH#4e4K!78qe((O(E<|!9mU! zzwPmvPaw#NiI_1mwJ;!&fCM{{_m!0whr+WC{^iLHhEWj;2IdMm4~;lS*`jqu_nmaP z>`<6aHclO8Lc08cFcPk2+^N z==^jCjZmjtX3U~p7rnI2T*q~Z2{kwZ_XBw}M+)W@eBd|r7=2Q9r9Dffb)U~EhF6} znXgHV#2waolhHl=f9$<=KvhfkKa3y^2B3m;3ep@7a46|+>5xw8ZV;peL^?#I8>9t9 zLP1hG1VkF7R7y&J`-890z!X~<*BD(aXWVVu|b2mGsnFGzhM6Y!T#x1 z?P1kPjdr8rSQVmVbGhVZ+Pq9lZR43$<{M?>+dm=OFtsL1EJtrgzKYz8_9#qXr4-huDZX~BB3{Dbnw-z`&h!}al%59mHR)rYSRmivL z#v3VbG8e(}WiQxDQUINn)HdMqQ%I%IWos_v;`V&9=nNa?l=m`93RK@{i{E^Vuw>TR zaWj{miL7j*(|CSJ8fB03O_rWLP)Cf~c}_WLf+YLV|lrW4$~p zaVQMY8`6}Xx2`1J3+c_qeVMIENb1i@6JX=F@X!}gMe0$+5g3;nA!lSjxzdy#e{N#b zlDnx4Ju3X_Y#PJ0a?=vYmns>yiD~MgCfEoI3f?YjV;yb#&(RPg3V{owLE*g`sAClLn0Q za_JPgkL(1dg8X{o)yzEv$^u*78nX3*(lHL*Yv5_G_xRi6o&Bo{!>EpSe8P z5Q@xEUdX~a^W<5hGp2J=4xKvl<;=B>T%01ppchCNYQgb^C5%{d{%-!C8sA~&! z%1v_{Q)TbD;}4MZB<#pLOyFdBZ3kQBv@2M1XmG!eLb@?QzD4<-9l35iuk*1jZg3!` zXPMrsZKAeieEz+Ax*Y7jo^~W#7jW^g)xHK$SYErhvOH_1%8-9Sc2Ltv_Z7_=mt&qO zk+aX&$wht(!TYVIB#|D1P7)5)Z)`**J>2x;Un!3wI%K<(vE;u;Y%OK)xkK55oZ#0q*wMvnsaTD z`*`-wZ@IK&UD+wZC1#PjZE3<0Zh&!B5inXvI9IK|*llEe=RmYj)vf4V{ha#x_R64E z>$CkC?QJENa(?klKNVdqh^2S&L23g%%_g;bAVwye-xU|EsC1Q3^zg=T)7LJ}v0nR| zcR`OO^~-i&8@m~nA5L#XE|%QleEHHUHCs3IqL-bB;@kLs7W?_YhS6>!WNAB`ZqQR2qwnV;7s|_XpBEBbAK%p=JWUpG5!03R3X_%-+QZ?TktfNVIk(pER?&rdkaHln0^L`X$&oScUUiDZ zc%l3yy}-8qdZrMi%d33h`!yp$!3r^m8BMR8CZ6~iRxO_sBKkzM_!R5lyg{M)tz?A< zA!avtmafJjZsp{7XxqIe3l>>V_Yvu2*J$b7FFw}fU_kyt-}g}Ruy{5$!6{(Hn={S!)g z2Fml8QnCYjkYD9%yOm|-n}HKdoAe8#B(TM8smxMd#kl}*U|S8dLH^0^t6QscTqD-8$Hh- z&8<6a@@hR8XggfM*Oi@ASzjbs2p8aZh!ABMNQAXGj~y%b0n`+Bt%2hutEZ9-(a0ZU0L<1a3KF}uKNt#nKA7x_WW`nawB^PiET{S zm`Rm(p|Av%X_%sCjgECcR&)+t^uuovCAYqnH^|a33`i(KVms>cu1LN=B4nhnxSSOi zhWjzs;SGj3Yi{*6Kk9{4-3)vJkJ{OTC$&T#BkW8a!w+2L8Soddn2SSLWYo#BV?%nx z+lGQ>1N~;J)@w#)4^gXVjT#Ng4sPpr9Ce|05)x6^*3h)6yfa0eHFehw-S zDgl3?NPy74(DiYa5d*eY{8g6(r8-GY!Ab`{&R$AYeZ@qnAJP&VQBfG}zJ4 z#f6`%+<%SB{~6peJMcyPSNE>h%H!6!te3prs&&nZHTP(Hiq0U5L@8W;xURJ91U14k1Zkr9 zgTaos>3~mI9PbwMTM}z#eGdzbcUN$>N@8kdqZ8*}+IIBvJ;NpX&a_*^Ut$`D)FIFl ziix!yaG_kZvNM(4B=_xfjr-^Mj|-b0+uG_NZ66m8GreEPJ9o~__!3`w_aO2572!e& z6BbsD?7?n?%)9M$WsBF5 zV{=EYQY6ysJ!P|%1qM--xRbP5B7s6P9w=QBn+*(9{giE^oVW?yfH_Y*`M4zkMgaX$_9C*zkHf zW8U)Au3f7CVib#Jm;NN0)P~OXQSxKLYtQMN`wir&9sR%QJ(x)veUCa%{etkrsF7q% z26?#H`ytmiqJ=5EM4A7gR}jUEH<%N`VR&G@i$UX9Q}yCW>8K)oZMe0@1nMX| z=1$u>{x z>4a9}?9nFn_TYx88iTkD4*3=FBUW}01-3A+;r)D~ZSkcGKK9-9W}yL2RmIVyM=OSk z)%N$vFj%GRlR%_Y#xl4lL-HWmn1`$#d$Nx($UiwjN+$F^5{Go&C)5tOms+%zwjC7B z!fl(uvem@2TH%?ZF;Xw9LwO$eCsvP? zR`hE}Z=VkEcWb@+_<_T?bXW4-`huNIB85;0Q&Nll&gj)wa)kw92YFuCoSn1o0`6x$ zA)baB--;BT?z29T{3KSuu!DCg!l71RAoEO*h-Cn)XROttIf@eRN3$XaU(N*%rqC<8|a?+raN;xz6|i3(?X zkuW;_wwW&_5IGI(AaVDBKe*&+rPExCW~X4}^AKN#q1%Jg>KTaZq~H|!WG3XrZK;QZ zE>net$-UUKDlc9yU^pr%J7+!e$8p?&bh+&u+92bFDMT1vk8XDRG>g0YsZH|O zp~?T8pj`2#WWk3n#;|1bf|aWJc>;n=$zt|Z6SuT^BBW)A>r$`UP7Ifdd>os}?;-rb9s zp3?4bG;=WHG7F;dmR^z?w}-EBWBL`T`zBP0eBt9$!nv_~Kl&}@`*Or0frDVm6bYm* zN!dn3Ts;YuN3WO03(~%uB=%DAv70GPMt|!yqV3>%MAGv*t>?`gV*+A`58=6sPoi&^ zlZN$uRdS`ki|#<6yDDP)nn40llf{~sZv9Qn9pejTcCqs~43BNro5P+yNs0<gjzynCaCy&btcSfwstu2L;N@>7?gb|>piU&n=HGeuH@ z?WRb9?*5y&j*sX4*44gpNc7X2WJ02;gdpzsa}6=HgUlF}2&m}|V;{;AxLP?!t=nI= zk0N53KxSyKkaC(jqJ1(TwE~X)Y{)akSPf!QPIUZAVw*~d)yjTn<^Ex%=C^$U?W9DV z%9oRC1@;Ht64xS(6nq0;xeXOuyrx*KbHs*@jgqgXKqsn|Lx39Pmz=t)gyXkd`uQzm z>@C%sokRl3h;ihVgF1L?`u?$+)QT+(>f$+|VmH5aDt2{`BcV^+&p%zr7KtBDz2t0* z-I~yIvp7f!Z>u+-ep+{pb>d6C8V)0leU59~ba)@b%%mPu$O{Mch0;5r_xyY))_3E*STij5n04a7cC9M89y)U<@eOwy}0|85|v)1 zbi3&mZ-B=m83$%!p8)c4Y5q-)))YU?`aGe&tO&QZKHB%}gOYYkp?x+!F^gJ1p>8mv zqLaz|bG8zW^n2Pu3~_qnX~LuhBy5!7sVb8MCD4!nLLc2{g=iVWPiS$|EEpi7KCI_l1@;|tlGV|THz_{nx8oV_AWaI7{=|J4=nSCz zpDg}k0rH2P5eS$$|Aoa5M=d}5nFSVivdsRzvh=^B!2+E@E`=@PUqX-r!LU_NTJtyZ z!TS3o-_K>r)2z+kWoOPnm!5n=0nQiy^7>UiVP`&>A%Q4E_tPRKOV8umYkbhE6E5Xg zd%9LyK~U;*>t@HLal5F@MiwLv<52gF<>i(}KKumvF0w~r{a?FvG9$8>JG;He099(?KCOLvr3jCi!h|%Nqj()MP=c zegV$dcu1}FOsT#1&#y6Rt8MOU9n9km2*e|zLJv@NG-5*pO$vaW=!re(_z9DRtadE4nvXtd6rE9mS2LtIEIRl01X3#F*X0J=~z2l_! z;8~1uoQ{g_O**{03ko&v4UG0zD{Y5{XoeQd54iFr9Lv=`o>Eau3=x){e;iv}7{9g~ zL@~duzs;Tf^qI^XI$G2Wmt|f?w$irRdwgBzA2$;knm>4q=Ecu^?b%h-F9wlyA6RI{ zjlY+ouGw%h$YHyYqg2DxGKyH$Etdo;cT1 z(_VGjv4n11KNZ_U?Z~~U)~?S41ClNfy>(C6D1LT58-Jr;3#mByl|clTtLJso$&OIT zz*qVD?`;`s25?gPs20>isIAzZ%+ zN`FJatpe9R9nde(p1a&VP4jVy>89pfzd#Uzj)#-XMx=oF2G;krqcZeM+)f@Oo3>AenuW0zMa)x=cfZ?Y>RS)4+9UOza?PEKxPX zJFP;y##WBp(b`90GRUu9@*<{s-+7Vkr6!x5HS8NIX?$K8Q$W}~)xY;m4P9DoP_mI~ zwklQmO3;?p_B{BNp!a~%b%7p?J9-Fj6e!A3Li%Jz(G*&H2b6NBtOE47Iq|Z=weyG> zLvA7>*)7WHLr!}mLfyrtvrR^FJoN6M%~rEPkugp?&6zZMvxL`(Y=T~ceHoh1*`sr# z>)3HQ?2^5t=IA;m-nt)@E@LIVD@oRh=m2Mg1pAp&ihtyOD|GW}P0uRDE2c+v;-rGk z9=EP)OPa`ae>IF%Vyh6p9cLo-?sjbQI}exOL+{Ind4!>$EUVG$*(%i$-t$QxD2@9w z322pOwJiuR#5(y2E|fv*OD-#m$v&@9Nd9WLYB;ibBf-?^rU+#pv(Mu}lS) z_c#`;nA5Lz^E7R3UcJn}x;*&Od(~sAu%#nHZ*5u#6GCtQ{+6V z9?#MGSS+0j-OiDM5_cb2pDSDXCnWGEn2NtM@dKRzJf32fV6d_OPyzoF68IBI=?soH zoJ1cV$v)*;L(InB3IG=bLRbn`z|XU?s5+CFxuvn3zLhZ`z60&h6(}D^qV8C1k#0vE@@}m=YdH>X%G_$Cy zqxfw{eMe)M)wU8RP$rzcnPA->HLXRUfQzb1;bZJJx%rv0(awo~x1Kx2- zS(k0VEs3W2xZK!V<`SZuh4RRIo-sa~E_F2}x7fdLz4mhMGwtZpP2uIL!&&a=6*t{& zw=22V`YFU-jKTB*nC3}3e((oPVG?4@L7{j@KVfBIZf@;aEaTx`LQA@xS)T88vkHg0 zQaAT6PCZvvLXYya2(GV*nRdRk#1~Y&gokk$rJ1{$7g@%WoG}Pd7+2F2YR7u%h>^&5 z?Sd5DBEn(!(TDdLI|GvqkrOs99QblXyB_;r*K3||B7Qrc{e7R9W2}B7Z>26eJp}31 zlB@AU)jP85w4-T(gN;J7Xx!KaB#$)*&Al$Z5cKhm1Yhjq7`eBrR%v;c{Mp+FlUE{N z;Tvp2v{bCYL2=GLEvcwM!#lA!l*og6pY)mPbg#Q3eD1Vi4Ny|hU)UXW$|z|5!dcC= zdO6yF5X_Fy#a9uyv&4Hai_Evd{ygfUxW8ihVYER%wM{r3c7Gb%P^<6lXu{??W`%R& z!EDnyg9a!)7!ho#`7T#1(JoyxEufaI5J)_iRDyztrOL<1+2V3F`H__Jfq^lHunwg8 za-BZ4fJDS=2J)*Kh^yxu-reqEwJi5Ae4Ri?Hh?8v)LlgJQFAZxOIN3>L9brF-a4Ls zZGAH()fdRlE5*?@FJeCXrvA|$`P#Dq!YumtGTkvoM6~M_oYkQ{ zfcNq2JDWN@ja3~i`z)K6`pO=1VzV(W7*)uEG??htK7T}u=nWXN&Bt%EpnlMgC61Mq z_i4s_^2*CiR(I_vgRQ|XVZsPSr2~mp5Jwh@+)e5gZu45jUE4}*5* znA-7KOBlM^Rcf-T9VvYv(QLwLCf0-cRdQ6j)`{_y^6l|G3{%o4YNqi@2^8=9a1VS==Y~ew+>V9=8|BePlPau+-CM+w2K$ zx>{UQ|LtdN34GpY&lB!wKlDT&nJ}I6FC}u(=Ly#tp^P$3JE+Bx2%B>vkKL4gcqhYP z9em&y6+{l{-7rYa(MV3XZfhEW7~R&8Z+@E|t2X^2Ge9 zrP1oeC-S}byHanBzxHux);(Xd`{TRIc+x?X$K{Jb-u3bll- zPn*jg=9VF!a&(D@`&*Vdk9xgcG2XoUD4IG4r^%?hPe=!YPs%bM`8#GK>7xj`>YVY8 z>Kn8>?~kx0o4j>?M$nHjjWCYslaZ4lKtpK76=cZ7&1@VT9SrTwZ5_$Dm^j!0Vkm5H z4D%!<0;N^7BHRFS9SaMX6~YPvfxsX}7Vr%gmK#7iSsSCjN}_D;XbF@7CA22yrYB|F z0PhBF*^G>x$yAN)9RROYWFRIsG6j7{Lo-WbXJbn;FpyTz$L1Cz0l6PY%xk_|wu9m#}@EiLu!t<0^B$)tg_46=ffWNa)f91LKFA)e^4KvJocsbz8?0C0+sJP;8iQG0K^E8sPA5M$e1|0$(swY15p8A- z6-glt2}(90WpgWI2Sz0uD}8I|zGLkuVhrzBpba26x*`TM{58<0P~cm82S;HueS0!? zE`ZSMAK$RDf-#uY%#9q)ph#U{zykdDztG+1Km7xJ$6x)Nqyce3fL%}28rXcytxd^* z%32FrJD8tDoZ5t;%{|+R#|K9-0FPK)KSlz&$)6pGvmFTUP}sixFFG8)Hv>g6LLKKq zYs&$1Q3mXlrVeDRfc+8+J20&r42^-^7I*|qb$we2V{=op<6G#6L7zeMV=zlP>RXx{ z3R;^2QiN1JH2T7?H7ofoJN+rLc1VH_#!yZR|)!%WPufWY274 zZOm-T?7-}3W^ZiF?C4^{>||{O%z8r`dt+vIV|zdfg-sVIX96Mv9b=WAns_Gw%CL#| zv;F^vKQUN;3;)J7u(EKno#76Q6|7{mjPV-c`*+yRiQjF($av9eIfl~Zr-k24fnpR! zsV7Y!oFgmFyq5LCY8mxGmGY9FXT6>zD$=vqFO}_jrPwLH0@?nIgec-PO4qJPT-EVw z{o1xWGapnGvfpy+#v<=q2=F5q^@-)YXrBZ`^74XF;ytC0!cG*#k^LSmOXsiZ(bk$D z;Paeo-+Y!XK!qt1c<^0&zNr%5b;FITj!^&UQg;?<8Fs4$Zr-r^CnV9b8UK(F$?xQJ z%gf7OpMUhh=M7?sw%}{Hm7t8n?H@(46^F&kGg>qdl~tpuW;K{#mn9{dD`c1x%PkbP z_=vmTj9qyKwd~?d9*(4xJxiv^hdtF$7J^5%O1fenC8fc|g9V=uLlx-lr1B_)5FvQx ztSYnORGHtVmOUSFn}TP3cv?5Hmt9GiC22wv(kQ$>i%j-Tm{4R$qOhecJkY6r&Eb=`}f zYkAHsY}lH;=AqVB@NP12foOweJFa$}yR|%RQuU6fX%YWOdP$~KY_}x+Q;zIaD_?X( zQ;)>1W%r9{iI_wQ=nkp;b(JU$xZidxK2WkZoJrRGBv9ZR{TSGU;L6Aw)+w#XYBl9cB1h%KTeWfW1`&_P%27lRJsmu6qkrd%jB zBd);Q=~F@u(s&}36)&eJ9h-g2 zHG%*#pL0)^=F5Ji?y!-9@I1^kr_(;2TIQ0>#N=7a8(C+Z#; z8vvEv!~hxb6oB!m^8ly6M*X=0`z)*&U|J1=JGFuO^JG@Aw=slnDq3XB3L;`;%*w{D zj%Pn1z<@$eDs?P2asv9bU)FA`{C1QI_*kEw!$>@CMaQvK)?Dq3%Isu-6!CaWt{mau za|Veu$#$=HAabzzZM?lGQc=YUF}%s{r2r!`f;Ugno=Q-qm_5BD57Flp)VZfxZezo7 z#3`8|H2t(jX!5#FK1sGS_4RI!9FIgoDyhMepWDtcTh!k4L zK%su=tN8gPTgB?(ruQGIn7rqct%$MqJ#+VONMtPCXhPGHfTU|25~G6dcaE&`-~UwC z)MoikzvD&BeRFT8Vg+05fC~#$p;;OiX| zezSPH{^jd|`5GRwL#~OOsIL00Nmv20p_nNnYi98ymAX?4!ebtj@151BhYmUje5+jP zlJrq`P`^)J*(<}6Ba-;oM|aVh@Y0^;yV$q3_~w%p5hIJ~J5vS4ldjQT8jzPl=WVO- z>*mXr4u%m|_Ho~<1<@&SImVcj7^fOh+;e!%6kJ2xey2)Smk;Sm!`J4~r*?`54}*)e zMjh3M8@{EHbQDh(buQ074R*77(_0~v5t9(JpKZ@~1@x#<&Qvrv5d~=JZetUv|eQtkI^E^x*f42$ojoZpUBH%dcouSI^k|Bxw_|r z1(ZDv(KVTY;AoL7{wI-Re98inhyCNl(vXJ8iq2L+4TaGb8n#+NQTR2#rTlj=e zmy_|ETUl%jwH>PcE!kX~RW`e^23M`s)fW81636x*rNJ5P-bP%EI~&6kae) zUL}AdJ*)77AM6FF9F)+VD7@gHicl%(Un{&SRb_4P0O(pk;e{59=A7~ts_z;u!$Eyz zo>>*7Au`=K)#l7^QhS?9GcSK|l;nV~ZL_}a;#DHehcCUEOgF#LjMq&qH2I1Ol$ugr zR28OM!}6*~^6(dluy_WEmi_=C2Ia;o^*Mk^{OEl-t}I=a(J0cMc}ba4qynaGasPnx ztwe1n2%YKOt#>y@ljUgwKUmCPz<>xW)6v++TDC5+;1Lp}xzmI#+4m&t=KIgA8Hi=t zuaJup))3q@q94FLuxDxw`iNt)%|e6vyeo9tCIQs1!5VTaS*QUbkf_7F5cYgQdXf)3 zJ8K!SX~11!HOE*2G^T_Ztu$mtNxPnkBnXZblWj1R zuv~mv^yGouaM0|bQMTC?X673=B-iQ2s&7KB4cvQm`D-dS*R{1q!<#RV!J?o0qPH74 zv7|J7?^a@a>-0&}p1%beGWWF*Q?>5RvRO_n)emlZLPf03YfQ9P9zBe&>+f!8ae+II zu%cC2`&md4dmvzR=!Lr^_&#y7_Y5m1cC+o5A#8`qeG)oYvb^ z06}rPsoylb!MFQQ~Vj#Igy3`saA%Ah2^ib zGG~&UXk`Fu@V}>(Il=AzMXd~scATgVerRRHrQ{`4$dCdGfrgev-Fql9vI~+ZEI67S&g;Tixa_V8uW$2K3ORLz6hK(^YI6N#EjIXJwd6P<|*$7WtDGW5Qi8tu`plmSZ&~IX} z9_KEyY1+q>lrE!yt&|SG2L=JJVqymI9#)mUN*T07uI@_d^7A`nL&i3hMW#eT64oKp zH!Av|mXxd+Qu$;w%sPEBDO!YZD^-syuVlzT@Y8E`kwK;-P zYt1KfxEct{N;)+sYATawc}6xj7^YNSV%G5YVMH)vgvY;ZdjF14GfwfE67`-=r=a8f z^fph)`m^udpOYaSO%NKhBPmG3m%Urf3qBVU-&Q?ZIk(%<&dYmo;mapB76gPZ<+(rm z=y=8<4SWUs57;%F@!0^C5RV-v{FP*R#&gWy$#+_k{clN@Y=D*#esK5KB+E0Xt;hTs z7l0-8%aWxkT(aC%TUtU0PtTzy-j#Z$AAjYXvzd!6E*Sif%Y4;n{3YpjsUgpu0qarC zv?xZ!Iq@%)vVL*FX$6@5T6BeY!{Vdl!8urWnJ(YPx*eDPSakQAt{l^gccFPApT*fi zoTUe+YDsEiE%1CQF2r;5jC@C=6Q0&Z_HP?mamcYTy%wDp6O7R%+R?j8LPDJ_LPFM6meU>+QpEsDz(=O7?`4c)m)K^v=zcFCRTeoLMKvUr6&nEu;ZsCuqs*s_qd0nTg4R;y<-RLoLF|g5S)D!)-9ZN2&)sj+ zuTsnr(M!0}bHrz`F7iGfS6df6yvlTq`PI#!XZDsg%KBk-8oTsh5s83by8A;5W7iUQ&LlY>E$SCUD7YH#AT={^3UCMI7Dew zE^@HY)e)ZiYUB{SvFBdbv8WMi6Ur8BBDcpxaxMAh>bo{C?>DMdxwgUg6@6&~Bm@XL z^zL4L@M&&SV$)~`Qa@o+-@NS|D;iz-l%kLkP3Hmlpju;F!C5-}Ga88)*}>%4=>2f3 zPiZc7X6J}Zo_e2z+!DfdGJlTg2FO8 zX6CETD^cSHQCEgO=3pX`gd=nEb0FEKj{@+K$Acz`<1z((cd_3SdNa6Ld_@ z{r+46?`j#jaWp|&;?p}>@9@5@cvIgQET%9|ythF=GD*ZB$7!KRlio1P!)ZCsGzI91H`l4UDiH=12g+?^0R)F6uIrPh`@s}faEf0PodIM15dh#j`rt*^puv6$8S8rEOY7PuWj9NN*igx@v|mNwIFu?3TO1^NU*xyOMC!n-{ zE%|m@-)6luc|c!pNk7!}b&U~6$Y2B~1X+lI$>L@VnbfsIe$&HRbL(prh{n^2pSx0K z+n+_F$_9elb4ofDUp$v}|DH>NXI_=KrP$so_#9vUL9LU*Zs=oBu~GNji;y=9A~cVN zUdPsw#8BI?J!87(ao;fi>g`}!cczDVL$4IZNqg>{KNyJp_Ou>--(_B6f9D0pC?oQx zCPD*DA#(29DNK;-I~qafM=)Y4X&&!KVHv;3C78y05c$qOtn-3tglHXp(lgo>J0ZDl z<4ZRx2t@~;SdB;^Ezo|Odkw)Cnjve*jr@qR`0f^HX3dskv!w&M0`2wNh>i7+o{ry9 z7fBYsYOz8v#=ge-X5i=*D%o3xwcn5u3KVUfEB~x7*~Hs)J2;PG(eR$NoYAajPfo2} zL!+)!`Ti_sY82DC#d~Y^BjJqf_h-4zP3&NIFl?7we7!qGu>3~(t1={lAki~BrJJET znv0ZJZ*^ZbRUX4{Z;?-ws2zn^N08@PeVf*Otq|$tqN=<}E)6?>Tf@>DJxS_!?aZB= zC8gYz=!%qvMYo-2&?MxE-$>8vLl)#RlinNS77oPON-&plsb?!-llz-8j$Yk)-*fn} zqH3s1p+w%5#{FEhHkr9HV?8BtTJ0707#XQ>@}61l7K;laXptx_`Q@#bTA2NxGIA8% zz{#mBTJR-Aj+MZ*G~_~f7bx)dk)XL-pQ!1gqKO6x0jVeW;v`lcKjouR))#lpf+}0; zn+qaXc6tZqXn4=@-0i(gVKXkYQBvsHPGwp3Tv)x{;e{}WUPO8{A;1AOm3V=w(D=F( zQ-qw@=ksfY!a#x{ae`6X9aWb%qoMLTCmYPw8}t%% zf>ftPl^a>i_p<41fXT4>Jb11%n;bhT*TQ7mhL3fgSC{$_5s5qS^S_ zmi8~K7g)|p_)zPG+opKl%*gApS7=_Cs|WSEjEO7T(se&zW2N*b@VRtfNrY49_Hw`- zcN;BQWGyL1vL_{I)55)#bfk!?L|p_qa%5o{V?++g?FkHaNI2!p8ap-{#?0-i+EquR zPof=C9eOrXHWkRYF%Z)IN3+U9#8ylm(@@{;ucD!gZEMA zLtgi#$a0KBCyEQV!cD6X2}E^tzB09$xTt)dU$Cfop{`a&$;fzgi;5Bi!cDb38o2j7 z#h-p8BQJVjfyzEAcn zzQ&b9_58xxRc+kNn>*X_*zeiL@5BfQRwa)3>;#$!822tL335oB$7n>PF(3^_$!U5r zNOmPOH0);Z^)^%7Ob&|u$#dFVbkv^dUrh*j)S}hppTwlE@(lRzU)r>mZ(-dIOf)f7 z2zjg4+f`#e?5~CRY|ONNvDXx*dM8DpO@FP zt`60yxSCe6ZGGMIAoxUE*6`t^OvTzs9^PMwmg!u8~9YGrq4 z+g|hEW|Nem?3+VQugN)rc$%*6V1wz>6r(z$$D3=OZSWS6ntc=vI*puBC^^>~cheYNmx4_TvWY!0lb`$2zg?8nu)V(daCCo4l4Qw=2C- zag; zU63t6S1)}r`#iW+WrRt7BI)AicTqP|sd|)>6(Mzf&M^@P+lDKltQK3WB%TZ{d@CNY z?naLBiI`zrLX>65mp@{RebMjp2!x2^cR#&&IB+h|;5+|4L(Zm(yQz9-Q2JER2G+dshK?SpJZwc%^FD~v8hf8{z~__kH+g;sxNowV|v!R?Ik2NhLrH11^K3`$>vR1%F^=%j315_`tKawtV* ztEU7wkREM)L)t3(SgjVHIug$%-KoS_-!{`jY~i->u4Euum)ykdPPOUx&+)rvLvsjp z4+1!I~(xJ&cOxb1GBIJHDL#Vp=F-B2GDwe7T;**Jla6G*|y#SZN^cuDYUE@<1p5NJC&f$@X(IJ6hw?*t5hLBQiP)c^(xXcmA7 z2nMm9xq`p`xDu=^KsCYafN3$%anRvBeGOuRRs)_N9?u4J6JSLH3>{!_4DDvvJr_F& zXfiy->D2HT;0QL*M0TJPfcgN_4JZ-*KG=Z38uO!1VXgz9>90S96$%SZ=lKzP!qfhUIhFWFBy4_>!NVW1r;@S( zloob-ys%))iwo!|U}3^SC}RxPD>m+9$B!r#UTEJT0#2g+n8`(t?0`yf~s!9zA^)lbc?>c_2S@IRL4_P@4L?L5AJJ zY6eijlSzJ3`(OEcIxlRHPc`Hi@BwHc(8a(Y!9q3=bnZZjJ(S%3SQsbQQ1S#c1m3Y+ zEWnVRo8_WT10sJYPvcgL~E&*5#P|67< z;#|P8Jf^+CNq=BE!pnkRvqLAx@oI$iAP0<;!^?%hdiG3hU=tcj`~b=g^vJ0zSg#z{ z0ag+iwyfZzbNU*?nR{R7_t*@1NcFcYxwI1Q8n9B1J;Wa#N3XByvW(ZEP67UZAKZXKIMPV$%FEbR!+#!rdJT*0s zK?nh24rhB|D-;Y1{|;4zuh;*hivLFyp<6n1?}SsrKTt(Lc!6=y040X*?Wbnq$ze4u zFdGQU7{EeKm|y@8&xkZIP8lxn{4s=zRd68*E;exjoHigB0JIt4>0vp!U~CEmkO%CrlIr0Xq#KB*8-X^Wzc#F%5tlgi=bV!1ga|_$yDL zr9gk-bvmv+z$yU@9V|Q+PXAAch3)K6!T1-1Sb%#0!}vF-kjV}eYsuIFrkd+`yda!_ z2zhE!9t*m#V;XQf5>_%UFraIO-v9%|!U8$D0~q6zOF#@fF*o^3gWz{XN^ZO{cL}p) z#D%G)gXK0nm0Gz$1P^qC;`&%x^k@gVc)D0Y8|-0Xloe_A%HpC`WtkE4c%pU>vjSoy z2s%T8rOIN!(vawKFWtqdjorgd?GdlZU5BIMgFewq!D1I2%}AH9?9Pjs8CFn#2yUxO zSM=SA5NdLAB6cHFX}r(HlZV)gBQR@g;+y;sS+5F-)1 zcB)m>&c(jYgxCtHlj+^(0E;DlYXa@{$Xu4V!Gc_&;45hSxyhJhuJ@%AMYqjZ5PDNf zTU%$-hqpsa*U*(|#05e>_#u2G-DVT}?w>{eIf260k4@}puhP@4LnqAr1=brEu+u>h zas-sSC<<=87U#A1Lo(4YgZmJog;7NjXdiKNur3H7nq!j5E?jE#b^TQ0@p=XU_xdZ7 z+b{b&9}r-$=->1FHg$d&k!4z{8ny3xc9k@ELSbPF-#>Q7=Y#VDyf5DiEKw3Z2|YDF z+{kra^%XIoG>^QDLSGrdR*BH{ELZqDWhS~C??X!UZxQ{C-jT^&l#ozB~ z(wvu$H}R6!8Vv*I)!di<8oQRq5mulmaXI59L4@4J@rikt%Zp+aF(Vuv>&dYgZ!9YW zGxx_-W9nwx=1@~9?2v+$UvrF520e0#((y8>z$l9~-_v9ujOUfrD6Qd73$*IY3nOLN z;Z7$~od|sf30ip1U$R2XyQ|@1Ae}y;+}kX)v8v=}(#<9N;9*})m7k?vl=Zb@(@!LO z_*v*4&h_V}<+1q=R6pod7pOJyPoFyo(eW{QeS`Ny(A`MI*h5ck!1Tw*6w)Tw&h`ow ze}dLV0>crf{lnpgUEzTPKh{)%q(s}Qopa_Eidqym*7dLs3kR2cyw{z`;20jBMQghF zAZ}FWTuMuoilV_7B1BY4fu+3ST8_TNsNRnf#;b=D*+SCgT~(q5BaH3**wx}CNmikL zFZlDXICr?-&t$H`*K%unLCcjsl)hxr(t0JsJ(d|kP z=HZ(xbJEFcDjS_{GXs6Iq&za5k4G`9m6tY%8qMt=U!W0ZBu-v-ynM6J<))9!@=QIW z#G2b^+be9MqK5iAxrVd5ovP#4yH_ep_{Tg5^oKzb26&xQA2Kb!*E7AK2-3;SmsTUT zoDjtBTj@7zESPY5-2Z`H*%o&u1-Vv@f2vD%2OM&JwSpNejK<49uWlc#rDOAK%UE^m zjaQP)Fn-DcagS$JXFbCT-sHL{2e}@N$NPo(0XO{zQUgov3sX0%X9>PiV|?~3<)-W> zZz1V>9Mg=0Qx?6_9u~}Kv#^Vr7xyA;o1B)^TPM`%dOO9W<4&DR@%sIqNy6c`-AJDK zq(M6(YGG3`xv5N|j~%r=zKfW-B28S1!J#5t^6R;2 zk9?;BkIYfKjrgfo%zg$uSQ4yPn!^0U+bS!c35F+?YwZ~}38ghSI(6;uW6WrmynI|w zT9APwlM=%0%6xl_X~SoSR`+3@-Lji8_w&ku0k4>qccfWd&Wf(tas@WpJZ5Z=5`Fu( z174+t48uJOnw?{u-<;E~iyb+r$gTBFnShH&u3vcRo%wwQdF*pf1bO_Bux%9*IeP7| zbp$v$Rfo`M zSl+>XIEHs!Y<;DUa0IE+#R8)a(OT!5$OD-=NS#~1UIzMiLCuc~b|ES+olGle-c{)> zcnG#hJd+BEQ)wN;vs8x<9WT4 zAxM;WC+09^pY0vpH|*Dj;$qJuzcq=HhO4-7wD)Kfz)UCd6XNXL#9l}-a694_&yQl(4(lt= zuFid7f81yIEGCGbj$=FpcOvIVtuOU*pz;@EwTQ%hIh6Rm%;@SlpRuem1Lg}34SsPMWewz|vL*i}uma%Q|5u#YxA zmb{r~VoF|9!B!c%jAao9p*PQ#gq85fT0$jTFUn-7dQrpB+*<;xyEJt$Q1LI1AL?;I>rvvQB}P`xtv@IeMO$^>Vo_qHTK+!{A#VjI-YrlAinLd zOTKm+5ivdQ8eVn=k7UmLQ04QYo>CX&gYI>|VZLu~9JEAAcxmvchRYQ*aOHDqg>9GR zjc$*zl|SoveIXVVHOEIa=Vs@QD-TNCd+-!xRYQ->%#}M28osycc%{86U?F~z|1jH- zdi`5E=ai4vYcy=ScXgZUybJ0>u1H@NMv2pN$*K$6miI`&Wz=b+FO6?=U>F-k%v>oAM`|HV zGNn5p%45qep(^nEkdmmW7{9WC3)oI__OkYdMVlZPW36V}GjQ0JW}3&qMyV?HQ%(pc zWqL(Q&E;LneZt*xgLhTMh3+PMp+&|e+w)(rueIw>90PZUcT(nTyF96hpVxo#eesNU#=km!p&+B8q9{l&EGsL?3UH|KqZI%u1oVp> z+;oExz!7Eya3KJh3^>6Hd~X2^2TxEZAVA7fs1sZu4Cdd?T(CkPo<^NuWCbFQaVLP& zC%>UgfXs!Pp7;Mqd&eNl-hNFpZQHhXIxAIayV9t%ZQH1{ZQHh8Y1_6n`G4PYPM@CXp6Q5* zSh3^xtXMnN`nGXh&wT?2<6&WO6(Yx4$6Q__P@gCX2=ap$w8y#*bxyCeOn+V6rE=W; zw)owxyyP{_IBRZNFQqOx*?TK5rs~Xqz@X>*r>uz`lhQXL05v{V;d?Jc>#88WkwBHM z9#C=&5+?uHBu)?f6D-u-_4lFA3}TogtIeosfvXBs4>x{A1niptie+p8Y!6oAuVvMP zU<(h61eOEeSOebfZUp@p)zs*{`)N0-UlVQU|n6t|5p|tPLbpgH9n24>JuOta|&EU-E^X>=M8~ z&yUc3@Rc_EbrXPRNv!=9=F9b?wbfq_NV$X@>+rcd*L}M?LJ?eZwT<(=T6G2;thO=6 zz9HBbIKwC1^7p%{NDt(bDl|W*I<^_8+v1nyJ)jt3 zWN}7$c>IKLWoyQVX$iFd2(w9SY zXZQ*M+gV{F2*m}OcmF_=*48^Yshq{Srg~5$q|I52-`b0c)g> z;2Z{6v-Rh)+h^_92iE(ZFQ&~6;!W=$T@KQ7|Gf?@;L0Wv}~T6G3Y|B z`D`(CZ87OS@f}Tp16~9Y5I2*{;o;tg&38W9-TA+M0A&}i5klz%y%9o9pWO_1`ei@9 zgYMjFBhL8~K0x$;E`D~~D43a*6eDuKpVm3_ME4EvI2#e2z*4@<~ zaDANJIts35m++bKSW{_jIzF36jT3@#4Hr$Ve>ifyrCx4G=K5q*oi<(yyC8Q2EN$Mu zI3^=1eC*wtn&k=fhD`MPWop42t7k@v>6jtAYqxRS8wOs(9*-9bIra;krMQ|lUMprw z>D&ba+_ou)^66wC-qwQhn`;;d1i06ss_teSP%i&4gz6J$I?7shN4d`vH9Wi3>$!3@ zYW{7!IXbAGa|LQiXuK*0J*{(wF{*69`!w#LtN%Q2zru_v8;rRYi12UY_O>?9)VOT6 zYoqtT$dMN!L2=KjDSM|rNosYmv72*SR2AOO{Yl>`1nxlt`_#sPu*=63O}Y7`1jVf} zsM7?gT^G`5Wsanpwl#mOmS1m&u?aYyJnkL^ z)1d<08KvJhB0FpOK5qqg6U1_dH|15ZxhV;mWT4Sv9vGn7pH^tMYla7nu$iq>4+DER zu0u)r-HTPCZ{Djnl5b&U`r|xedxz%?N^7lzY2ZXjXwii?7!lFAuITxvCvVzgONIq4Ae~? z8Wx2F`YyREgfpk(o9FW#&exYMTP+<>gc=laRxLYSZo#Nx0!GxqPDJE zgI&F4clKLT(uv5qrN4UPtA9K=@LVn)v}v}b+$mIq;yWoxiz73*!#nv3>;aJ?Q z1e+i|mgEwTi91F;z&6~p?)J-D5ArJQDm4IYmp!kxtSrACyw~=^HIE}mrKgD+*D&aS zQ;6TrJWg#FHW)C|P$FaxzR*027KR@7U9$5y`VP6I`CZ1&S9!)iR@XO{hjXDdgqvJd zyZ9q4Q9G^Q?b@~36aPBd0LqQd>>&02=_nd7&{PnJGbp{JT?~Uo*iZq*bZXIJBylBD z12eUmJI3ejaR=%WW5|?3Kt(z>B~lsdRejR03K!eAW+Mj#tgFa|tUwSVd}>N_*9v%L(!s{rk>IGVt8pCm+f^+4S{;sg)daf*nXz+ z{u~VC9pm!^2ljAqnWGN^g552?*7wVQah85odmLe?9QC9A5Tdw?>INH-7+4+3G!a^+ z$lY*n-$ELX#(6tF4($L~E9Qu4M6^B1(JEL+p4h}R5?q)f4=iW};m%v7%=RR*1Ai;q zWBvuRj{Wnx>-P`ANdYT?RUaPUg$t)4U-D zWhLKzonlW5w`q!t;f=eSxgTahnxhGhBXV5-q2o%EEBQw{AU4neTSF0N?a#O%08b_J zN7^tBWxTUk=fh^+q*?w@u#oC6Y^cHtQLjRs18xiBskp2457?EC$ZON7T0-3yc1$ZR@24zf)Wu)l| zKCN^v^I&i;Y4vbl7tIaKakhGQseQ!9Vl0(_92|CMPw1grqju7$*Lo3V=hf~!g+kqX`fEN&u`{lqe6*@H@;RS_ z>Noc)kMra$ov#gt)h!d+kNFSf5keE3q0WU5njQQ%RP4=%nE4#*D`aqRnK}nTH}A#Q zZEu*JnF7PamCsqT3R9q`Qw~hFaIX>PhFEbIx;Q~(7Bma017WG=(&X+qmNze)E-KM} zeLTbX8oJ)B(cv9SdPD_;Wes^B-SKf|_jKFo*WG~2wuNMw5=ZmZ>uOtuN(HaC=jcaK zaX%LM{*BtXMt}G>?e9JO)yyMmeWQg7Gy|D#|RW7)@K6 zyTIfy%4qa)Wsog0kx@Zs;guJMoeFr07ZDG~Q4+;ESSJ@)s0J?-GCQb+Dp{$TG1t=Xdyd=K619=!UDJgto(^+0~t6ev25r z(AH^o>o>IkK?LaDQ^&Y zRbRit2BdXbTfp!w{YDi+Kfqmas5ePPNFJFrzVv(}uB}9yFFI%b(H)RPwKQfoXf_;S6Vr4>Pe&z!kfhh_H zS1>CyVMP~oA5aM{Q;pBv+rpp(i0!IG|CmvyTt^zG~yeYt?rO4plUJ^lVi_IM1_7C7d~INw`K8O{A@8A;6i4pwlRJSPm6 zb>Ctc)d)jjCG-?F?aq1((dV6}j*a)}Onb6?JSCIaZ&xiJ<*E#^UM|%h1S)-bXyjK; za6Wc<#y91=g~R^aWPFpm+3Ty;Pj+274Drs?a~!hXDTF^=m4so^5JS-fEyj{rSd-^( z0gDfZzMC(mmcb&21aX9OCmW06%H5xfv4^EXnhhNpL|-UH=`FFEQ_w{YWAlXavlg4n z%q84RZjOjOu2oFUSw}GJkkfEaPNsdFT6M}SZ);C^JD-N#LPPY&AnKtDUUVe!mQ}LR zwDJu$qw`y;Cg1ZpoDRH&I}TP&VBYel<4+Uv$x{?geAWi z(@6Ts`C5;uDMLY;B)j0ucj57%R$|N{)nZmigVwiuis^sGxW_W(0G*thQD-(=9u=lp z_T@J_c(4My>3{Fk#A{GiC~frT3cBp!pcgc^G19AjI-KgIe34%(sXhi)NvAAd9jiAzq>V=urC_Fn8S3h(OP^VZXRJ7UtKiK@u~{1kXB)|H=38 zTMhrQN!eAPoS-z(`)u-W>6oM{_wcH426WO;tp3mI&^nOR-iyg!C9NRz@HZ-@7) z=`o8e=J>rPK}u6i?`XC#vKZ9$+Kymcy%<`Dl8LW zEQi;XBW1W%8#1h77L7awBjSTjS)6}2GW=ElH0*D23t~9m+=w~wW9lB#mx7iaqU>BO zr8y#)QYz%mt@6%%JRZuGJbqM!O`VZ>P6m=NA35Co9&-uGi7%y!k_1^Z=^lv9vcANOc+zWsZ7mQt@aIwpt$v#?p_P`rUMLnus4 zy)fN~E_S;LGj`e**&@k%$u@Ji_Vb+v1+3we7eVnl$XKGf7nHqQwSB_IwZ!GvA}NI z*O4BS;>EF*t`wai>=CC|%DsHjYrH2C$U2Sub%?&FJT*{%0<=EU!#Dga>G$tDR+I(7 zk()`IWtN0DHclAVTvX#y=wdLsiLFM9h%^`op0}+D$s;&k8mr=heCW}l(edfkx0D%F zq2^y_8rMqPVX5V1-Pz&}bKn9z`#$N3?{h~7A=fvOXcR^-c^0%4N*L+dw8m*rh0^X^ zK(f=o2DgP(^qlk0$?7YMz!vC~J{aQb3*FMk{xFxgHMjnI z7#I>9GmZUQpmDu>IB|2^nQ9rM3SinzDwBh1e-kSPSK46{QF97nxz{$3%JEP08 zcTbOEq7th1a{x;tInQ%w!qni;%pX~~*{p%L^0QV&bieG`A2|(rG|dn5=9$nd@6Tz_ zaZyKJU1=@l3XX(yQt`A@^c(WVj1*ja3EJkLC@Bw}84Aq(0V79cz?APee!r)8C(}8V zWf~^c>^uMR$)LLaNTX{|4@)v!ANo@wZ`%pgU-q0r&z78=DfN=~(xaO^s< z?fRjYO?RO9*V_$|b+RCCO8NnNntC-V5y+@1)TShTC@5vx>k7{^BK(e%AD6?b!tq-F z=#RVROyHDzQk~cUEj6>aP-wN=aZ60qXL|{e)|Cp1_l5#2AG3{RP<=v)H1} zz#CPnf!IZhP&L?FHRY1G_hPHnT)o`fJIjgG;dFd^F3Z?&=F^FE{e-}t&^k{)FqqFz z5(HwW>KZ#dp}vu_CNZ1icb=d`7b{n?ft!RQp|5R}Ak8G@T0lZ=b|&fS z=yf~lZeuB@noYh{(p`ah5t7%aRY5V>X;U&!mbZD*VaM4;m=U{l*{x~WZdhG8q3TZg@$ z+HS(a0F#ROVx0?F@kNVJdt`HvntiYn6%7YCmNh1iy z&^=}_{2kAXHsaX1TyZ&=O|Di~P@USU$Am7@I44iSOXAWko{89>L9v-yQ$SY=cXzur z^YvI&Qf?YaJQGzK-8(1y%Y?FA(yw*ahQ~fyoheRSxPDA2!QB&jd+dQNhwpCA7487_ zL3lF5!rABn)DU&aK^LY4>o8~;x~81@gm}e>I-V0TCHxm@28p8vLRy z^1L`a`djD+jmq!~ov!Ci?2$xG&AM0bk!Y@7PxwR4cJw~nT}ff`A&pxx*p(Vc35@Al zHq*dFX8FZw`tiyXOuf1NnESlTXncp%1m(kq?pd;vxx?8hVoz7g+-17dT6Z;{1ul%G zS^QfJQXhN;y$_hxA4gt&P0PB16NAacR$4b?S|HsVRD4pv>!W$uYP?;z(GNYI;ha9U z(as5}FY*hub(e%h(AArl^c^NrukmaLGsE%t7mt?9!)ZNsJsj89hFHUzew>6}_Vu5D zpp8YIv#4nNLcSg^a~Vk<*T%-oF9ga=cDGo z#Y8SL@iGsWek;YG`1Jus`8*=n43ND?mG2uDXVtu8s_K3!zP|Ttv{almVMQW2GB{;W z<=z)2M*q@!H#0x3cO>Y2bj_9+jz|BEw3H$#{*)%ef`5KZr&&)zGX$%3;d~!D$;Or3n2=ypqyIZXU>(0ecBo|q66G=Rpdj6 ze4~(wV?}_z6fP9&a~oj;fWhWz=^$ksO<#qmVOO0U1g>>)B`dXtZ2>A+JEA*HbEnu4}|9JhdW1;9;ZU^~)X zN;(j|Y$s9km!LIVSR>(Vd#;<((1hp}1%Fs%?tw`*t#NnlA|`YzV{vY9Kn>v%E=PVr zlT?Epnm}J5E1#D=0KvF8Gdb!}{Pz3j$z$l0gjS$SdBejkVNQOUhsq0ELVonGS8Fut z-_9ciSHSvyB{+=vXxW>fTA75>g!HxA$3MVAYSG`X!F!CMJ)ZiMu;4F!7Dus{0q*R3 z$is0MO40SVc2v;(KiGc-TKiPM=3^1C&B)dwpQ%6RhbPY=L9Z$JeDH7Y8{nnpY$tHy z#@eFXW-=wVMg>uxDRZl|a8f9m1DP!@#K7e-E956KFyjUnGyc?x?0<>3xxG9n$nPa@ zfQwI;PP>d5ijnF2sSW>HLiyP(4k_t=IXf0BA7IwJpv8b5sn%iNpsIcJX9p|x4Gp7Y zGH%;M)CCP^MjRD6kA;WNGF!J>YgG0;iO^_H*l^6$4MQJ^UeU|?#k78eMznN6M6TnK z#Rw{X)L(z2_*my$J^qrs|!ODDRv)!lF#ljNR@^c6G@X4c*HDIm~4T+VvRfKmz{ z?qwOn;jvU;((Nwol9wA%m|>v=(g<0h;as_VE%hHq2WeEds8!nTIk8Fi)bhoY_avM| zlboe%O*l?HkhO7hCmI%iNx)F5+|6Un7Ac6bVi`>P7BY2UMi4r0w zaW_U>k8kOY$9gLcvFRKv4yV0RAR)oLFHVr%%Xd}4ye>Wdi8Y9a8kCXezW7>duWmE$ z{8b71bVSYVLclb4^8UBe3|TfG*RCk$0yxi#K*GDAqR>-7{Y3TQc02+Sw>Cw%6R^mp zlARsc(nxh2Cx4W_5e#&wlLO^|@?#|V>mJr42)mDp*=os~W1%Wf+C;liWWVu{zrdh8EZ7z3p_^6|<`M_iw|@8O)|0VwzN=M=v@Vm;Lp# z8!cpAbGlm8NUFQ?ePg;@mPk!`RK_sn2iJ}ya^D?G^pR51Zyhyrxlf}EGWW`ADx&jy zdZZjh%oi$tqu8#5HziXO2YM=ybxav!*@&85pTb{UDsA~{@qC~{^9)hO@9@Igl@g@1 z3y){gq^bu^BdU~#F6#sj_^)Ab#n}iuqS~+xtf-5-p;PYqcOu32XjBTuwwAX0wJEv5HZIK+UmTHyoEi zxi{l1+bi6NKX%nyU!SO6N6TmyCp+kp(2517nVTf>=s zT3&wxf3BwX*z}SKLUz+bK8&>_)Fv6Dcr`w^4>7uLyWWv*Lu!qG`k)y#?6_m-=x(|> z%iBTF!GWH$mr!p8gGBU~T-rPWNp;vW+vpmDTdjL~`||_pBvmJFv$$b30}kXJ?#(9J zBWrgQYX!*(ftWY*it3iiXVZ-6|EK2|Q-1@EF% zWJ9}e6v?8{Ip$BsVt22S4USd2WkkIE=H|&(!bC>%sG3HyM+E7$n#S3$QaTojM4xhT zX%&X1yGNafZL1p5*yUT6i^5V~@zH!|;p+?0saxlKG~ROEavVbs<2Sr0H+Ed+c5JuBsh-LtI1kCGfU@0xa`MY3)+`6$zP=C4}fm~Uz1Sr_pj)ldxd;(jAYNwkw(73ovM zWbTL*JM0m>K}JJw2|F_0z`~`F5II$^YKLnt1G-$5m$|SdarF!_Q*-*MOXg8J+9nqf z;TQyI%PO5&0sr%7=goox_5Jl=+z(H;nKd;IutTEm3BiY)H||wQT#(umV-|$IYgtcQ z7v-Z+EZDqs=tlvEA=*}UL49qdNk*-Z{AMr~exeOrBFJYb3APe9H?6$tIC9>(vFTLp z*BJXjjwi5sb}eC-gkp~QybKUFHH?&EAr>NV zBri>`E{;q^3ugdK>(x~=UKH7-IKk9I{(eP_V3tRwx6qMivSawGN&I>+hIteZd^|V* z!TZt6pC5cpr1_=)PmzrEyAtq!xK#gNBAJM=kf6Hgw@9X__`eg$zGFK7C6aM|8)_VE z|FkasZ#=Sp%(4HyNA|6${f9;NT{QJy78&dJd;Ukrj{rarAOsKwhyX+ZVgLz%BtQxv z4UhrI0^|VlfL{PbfD%9jpbAg}=mGQr`u2JT7DnIYUdE39Ioto!qXaMj7}!|aSbx9% zBc&Mvi~#@YR{|JW8R|Kh0*vgO^eh3!0ONlSGr+$NXQO`?C7A$B0j6%YrbgBPGk`h3 z0$>TS0$2mAziYh!HvdthWUFUyWc{zZ{%iX8J^#acvjf;U**F>*>RbNng8y9n`T>W=@j-BZ{Jmde=o=bMoidU~6J`s=I1c#OkLxRc;ki43W z@MT4X5)lL;PLMCaJn4*3Ds-6vB2nfCE0u~Zf`SU2O()`Lf9ryEx$1t3_qokXWw}e| zJmQh-8#d6Tt1yiA?_E$3|HCK@Mgl26!^R#Q3QRH1KJ*#%ivK> z0140#6}QO`2wD(%K_VbgpQ>vhtX|%2Q$R~66ge13jZ0HMkglzm2^smboQQ@vBpUy# zO?_wan$K@-+XhH&G@wvSH(1|f(`Z4G8X%7r&~HsSs2Y5j_T>xd;cEXh3o4Lc{$cvw zN9N?~Ik##G>fDD!zREfa>jzFwL|sUJ>=y!Cz!$wNruEhN$*WB@21K}RlcFFO$u`hT zx6Bm5>C{hK4^WdonW#O$;n%)jMj@mZU-Te+E!||kGLEb=^o~KF_4z)W@HtcBf1npH zvKxFvzXoGqho&Jf&OvL?(2>!Dwn1;Qzr5=|Rhifd@W(c>!}w6*egRS8zz_b~orcIF z1NKJpWtk<2I5Nq@&$#Fc{vJ}lmO|G^hx`qpaxQV@hpsBx1NGowk|6+D{6^~9?1b%GnrkKU3jL{)O#()5Q#|HhDsn*mhXW)%p#{BhGV$eoRK%VtEG{ zyoTMbdXz^jmSP85?tPhs@f;zqrqVt(0%)g?lMh4)X$f|4Ex`tEHxdDewP8XnirLkG#Yj0L9Y14J&e#J zaJ4{R*x)SDB9}D5s=IQH)W3$Pg=7=P&z2{%?ZA2HD(_`{aNo8iC&yZP?&@Fqwlu40 z+unbt^D~8~2n7CteuE4-*d59;$P@M-h~x-C7ac1IkSi{>1r-&%F*4n)w4sE|MaxnO zjR}Q;zSPn_b^g0^X|l&q35Ibfy-ZZpDdB%sg`LhGg|(8gO2z)(br!t4{=w6ZcM+|` zH@dWP)I`t+|JD`K=}O=#*6S&~j&pGnSAUlqgCC`++N*aq@X#}3Pc|( zpuao+M`?NNo;Zm({fv^3n=&Wg8kFmZa+C$e>1tl)u{qq%ClfB{({>@%nX^3BmGwjP zUnf4-pT@tOMs_7gw1859C|M50XIVN zzjpbTeF$KZO1d0P9-2F$N8)J+g;FM1zlz@P;?f6~x1%IY@f17}IycYqyH`i|s-6^+ zG~k4Wvf799VeRh^pJhBp({_$x@-yl8Qm^u&r|LX$zLzl#yXR+o91k_&x?}w(JhVbu z3XT1rg#86f2ek7cOD84wadAV=_m0nod;IL$uhk+ESe5p`9ZnM{bz{)#2Atjx3Q}CR zt6yD!Wu;;g{aDet1W+Rq%%qn0oo&UD>eZ1~t8Oi)B?w4V?l-Z(tlAn{Zs;pE>Iq%i zKP1gZs1?If+wtQ$>bcc3tq|+8K}w1f88+COAGvamHFZieOjfB3@#mq%Iw;XD=~Rxg z)1+ug&<(8w#?=^}0J6}J25sc{iC=Mce5OXLNK#9cKXSHzNVnhn1-Q#PdZP&RzMx@5KVdSNgg&yr|?>!G_X!^fnE3DZ5sW z;#=zlcBo-^N~b-{di7GB$kgju;4gE^MoJW6(`RoO8gB6pg{!>`&Pmv@8{POE)f!kq zv!Q07_aV#1?>?WYvfj2gipv7OKiN`|B_y(Ylbt)xMO2Zr6_mR%*8VJ&^ZY>QHU>YC zMUoz@TKU7=9MLjXy)y6SvA;V{AM%kx9FN1}wO|jF)n{(-XhJaD^;$w)DV`(h*Uc{W> zg6_bCM1WAYG0dO@B1b>5i#xiD744;@^Czv96@1&d0j<7m(L|Sj*w~ZehQoYX&_p`c z-jBhP!=HWw;!}Bm-Hz~X64Dh0tCxVxs?a9XRbSLO=Bk`0z$OH{`Hb&6dRJV8#kOJ^%Z3?Kq0 zw)!qbvNIBRc~vL_(+nO3`noJ(86qc#6-3Ca7Yqme+3-|9qtjq1#V1(iU}I!=;L{E( zB{TBe<$3&;RYOd@Hn|!dCVYt>dN-j*+$lJEVcB%`TxL}#lEsX?+>G$XRzMkC&}}pF z*bx*!(({!#pES_c8~Y}>XT?!!K*3i_KMh$2QX;}DB`lUs79Fr_-q^k`Q(G)DjNCK^ zxg?{bNz+(4?7*wG;IF=UC>4_#zu((h**QC|P79*+z<5OS-Cp@E>4ADa|;(1ORT=UeKUMBQ$#yU7`}e;5l}-eT6z zO&TK>JyU^?Rh!km%4;(7H8T61SAC`4!SG zyFyb(*kfY$t?$b&QLyGqjv`X#Viv+#WC~@GlL3e zekm4rV$rQ4-_NENeN$)96G_c&Kq0oWkbCP&#g@47@!f_s{7^2)P>wclqtFYwpTR(2 zLclTer)p2LLk-oy+N=B``Icg*x&TTEym-S@(H75-7Bt$`=`DP0i+tmxMdm%o*$LUa zDvlXH+j%Z@1Fxy1Ai6I32U5q(2*%wnjB8;!a^yu!4|ACzd0;@thlI`Jyc_CC`;`Aa z^-hTQCOFA3QJ)B1nGN;?@u^N?vqIG}4UX98u(i|Kq9P9UVE`X4UD%3{%Zc|f z$)}j@v;JkRUueSaAYlxKI9AK-g-Ugjbh?})?pV}{Al4+qLdZ=#Eck;QBZFH*F8V6U zn7_%l+oV^6(B8#4&-E%zdAWqSq__99k8AW$$b*A$vVbwGLys^A1C&d)Q1du6K!oGc z{Q?_PB;$ab3A`TR&=QSu-5#%twl7K#}mvi;K=W{&Hu3vtyfM)%{X#xd&V;7#nx{ z>2<=Rr$r>uFrQ%L2l=>|MN7_-$|*<+NLPl3zcH8Lyf_&EX)j{+rK40qDQ3yGIZQ%{0Qb_s9^S|6ay^*o;NR)wc?^Ja&4Ek}{^;?yfNFi{=P zk3-odKeEo0-i4AzWXQ6jq*P{nu3Wu{_5M3oA0yBFzfamfZ>agUP{NQl8{koAB zX|yAGwB(|j6O7zjW3Q%{;Gu^XD00(bcymM=bo8znioh9-#{ii1y*TC-3=WOBCWIpB ze&Chf*mqvH{>`mkVsd$TlYkj&n6IcVvY8<8ua^*WVJdI0CtyZI>sR zYjPybs5V*g*x)z(XI&`8y=X1xOnKG;nqAia{UsEcc|^QEjeVMovRhz610O=4j^v=X;qr{+yg87|UV?Ux23$4p2sS#7>65dh>7&Nnt)X7p;L&!Hc zN+b<#$CV3m_q_Hub8I}13Gue>{q(|tB8I=hL(U!t$(yyk+8+${vS?RHF;cz0jb+|0{$KVq8J*zJKh!?z7 z+zOUk=W-PGdI|eeje{HOXSZ3=ni1k|>^o=G^j<_Jlg|4uV+Kf480!Wf1N7PdykAmZ2 z0!-CXY_Y&ROhWl#mN zj;IYO76t0e)Dh?r@!FFvCxOB?3rZx$L9Q%&3^v>tP4r4hc_k1rJ-fICACHf)*tAZfw{degA|))Z-Tqw zODtVb5}qGi$2;YA|KwMT@dty+x+b}Q7O8_wE(AlHX&lcxEst)k4kE~Fmf)uP-p%&% ztJ_-Xbzko=FPB};2#KsiUR9;ui3&Te*3XM}TpPrV?Ja?xPuGt9ReSFCnMhoHb%QBcoQ`Ymgx6 zGW0z>JdBh5Va$_A?zOgErrLHEycMvjvG*~Uu-!GqWXJiySwt{Kawv4X zr|hxUcs1?=NQOj=mKR!SPu2Wno->}l9yaV0CUm4_`%04100}pbJ8wE@RINwwCIRKp}LiY z*Z5{-U;M)yquN6miZcVvXM`rqH(G+7h=XAbUFVv^D9>^X-&y2s;Gj|wzgIsVDWDghTa32JA=B-TD`A8i z@(@Fdf@`RpX=3>!K>Dh6*xg>7M3`{F(!$|w8c;hY=dn_``_;_$XgPxrT2V3^6Kf$zqblGdC$t71l)xhPM#DM)j~VUn@>o{xlU)^gtD@VoSayK zTjJhGedVBPTOn<+PM!UO@Q8cXA~8r>_>*ie$noj&O!H~Z>t!X`N9@3EKp{B}hu!g+ z<-lN>%T*u_%nn8b&d4tK%%+QmxlgR)`o_345_SO&~&kdPCT zZxH7MHaNOSa6n0h77(FabzD8Q-n4F2U)2KMew%zu-*Hvr8yL;c?EZ2l3=9rPns4bNGvkXa|8|N*;|L z9@;Mt>C4#*;zKhX2Mxr*?`!RK9@`SJK0!cjO$fNdhp;yTP47}Zlwx9K7D5-i$;JQE z2|! zdudM~6>+rBt1~ndFd!pu!Vj4~pqzF1Fd*OCub3Jnpb~c>)AUz9vOYwh)Abl2pb`(E zV;J`@BzH*PZCn&^Ao?$2Bme*i>IGB)i0GbBxEb>OZO9t$8Hm3e_g$t2*XMKV_*Kk* z%eesdG}^U+b(t_!1+-fLNdtbD0_S@xx6uDZ+B<~_wytTmVP@DFwr$(Cm0{bqZQHhy zVcWKC$H}!KWdL zg3YWM&PQ1RM_!pHJ<<$bh1~J2PEfB4{XX_TwJ!v>BTl zUQ1BH9yPKBZ1XT)&Y(tQxMt~cH~EW-Sk5=p5G2K=b{3JYa;N+-JW~?X`R-iZ!8nJq zxt&g;Ab(dRlY77QLGF^9m@N&#@NHl$gLu*!7VSw^MXvK}46Nc(H%m6UEU?R1rX^2~ zEtG);blsn1(X12a65H2Xqe};|%b)fpeh3AVE02Pj=C!f4e!s%IbWFvFF?kDE%<2tp zCH-cES?6BZE(YW9bl2rJII3TP4@A-K?zJ{5msLrIHTPqp%5uQkzdWsWv7*HG?r*ab zypMMJ^1+LX>Z22oVF|WSrt;fOC>K50iRp1MinK`9vigdJ?5<|NxC)u_LaK4z3Z&K3 ztOs7OJ-*kdf!k818qFqXQk%3?Rb$iF+b&S|7?T!sK^3}W)&PH+TlB2N zqmW=H@h3W}v>cj&b6QbPvncJAU&mri?);j%79b?uyCBOTR@VAO8(2w1T)Vd;B+$3G z7a%3mMT!1wXqkt$r2WAUC2v)k;!?A0fQk8Xg^@*-mBxaeCXK0MpS*%IJFUL4R@S6- zZPO85mFw*-;$Svtv_*Z6OjG?EXC%yE>m*8(F*0 zt?~{%Knh)S`E_rvfpp?i)HvG-8^#7~^6Z3k4ZmTH}c*^g`X{)^YP(s!lR|Pl23L>}qb;!}!KE;Q$`;m;BID&For7N!DqStpEvfR)= zkfS70P!3LQGl6BU_#dk8%?meH@JC8K)U=8tV!?fcBs8X_Fhl>6%`oOJ9h^0Jz^Cl^4rb|z}u5|!gx%8Qi zzsY>4_oYR8cFsr2E4y^UB$5=@1#&Tq4Yn8-U6Jj_?PjApKyyX(WbzCyknpSzp3GZ2 zndjEJY~A8Y9hVkP8)wxDV-hCt4mIBH8RLGh>d>AkInRTMRQ>1k$&O($x=BYqm%l+w zt~g<6QBf~Ft+pjd?gVAK3A5x#i@3uV_RD8aTC)Y15-u=%0riu4eGNN6u?CN^8t%(* z5ox2i@4>-oIa2>iu?zIKrvIncib+J>oyI{hDBuNH4TEJM4M-m@4G1c%O|1dfd1)~! zoCk}`4O{F*w>P8yucUMNJEgp;+Fru3*vUiSCe7O{G)o~EkmE-`4}5L$Ly?~$( z>~dHckz5|XoPn8TuY3IDvaZIkwp$T3t!JOPft3uVaLK=8u_JFL>{m$jZ`#aT02nSe z9SWP`2M(0h@eAjt`AuGup5ZOH>ra&Jw{H=$r;3!Q)H^X^Wnt}yxJ&`3X#IISKqzmJ zQ@C^^^HC}U~U;lM-|`kgXI{vxD2N!bY{en)=b*55&x_TXDGnp~vTKqu_- zZv^NVrA5vQV+&1uh&O#Ce(~a|PBAo%;R?6MP2m)f*RA+G@32sk$5snB1himcQS7^@ z0}Uw3Tdk5-wEUSwyM_DuzNv^*Goj-O-Szk1WpIf^m$aCxY626}juS!T>OrJ%@tSov zO(ql-qD+-Uq|?-G{$?DcZp}l?3FlBK@Lg<)HjpMYS1O@ejSmhaC5h@+ro&U|H13(C ztRmd&r32b4=|v5{N9Yw?(G!2Qdb{_PR3*PhQ@+!H!TmzYk*&NJrVN?a zP~{LfBKLA~_B5#LGFff*Pz5v^&zH;BZ+dkQ6J>}>csTBGBfY6@F`F&H$TVTOlgMY7 z=el#?4A&WbNg6%q`_;FnriG8JZxl6$?qz2l-5d_<{*WE|CGwSA>e6e&lX?_}(C0Dz z=}Z_YCvsll0W(EvW^{=P6v9nuis|rh*W1C=`^>tXwLE&_DRD%$tB6 zgxj>wOI2;PZL2%+-YtEP$8!6-_ST1=A6wTAKe=uVm#n$C90i|nDJN zbHY>V3(G&x?p{U@|0r+xB|z{uOt=L450gYtg~aHVoR#OKJivA;laJBH<5{5%qoh4% z&Vd<}^aZsehPH4EWF^Da=F26}g@h${vA76niG6!A7@|xY$H#TTIW>fnT+8>R2rt))|beAtHP<~UU(&c4E{nTrB?0}6iAKz9i<)vM3fxK9AJcEF}2ktJApbucPPbZp3)x%aoP z$SzO4@$(ZZ$Uia%XiOp7B;|s39|otq%0AtE%7I^cdsmhv*}Lg!^tl*7!o06oMK?1D zM$(=5Yp#We(&upe^qH&nN{$Z4X5PlC3-@Z~8xMFb8wz-px$dJ3tYB$+Iye^nt;m*M z($+XJQYb<`U@Td#=iB`?rVm&mVBj5L*+OH^DmULzOvmXg=JlK+hI>@0$T=PC5KFsQ6t9Eu1$jB)o^PbG;>1EZQ+GNvh`jS_|oLQl)K~p3hov<8ouJ* zK_f!lXBZ*Za6drq08e(JUuz`cs1lcb%>oE@2ER4rKo~l2hVqxCZTsbmbDJ^IQ|qSU zQAJ6&$~IAd6cfm*hgST6Alp!Hx24=PXGlFrmI z)zB{M83uYR8$Q*?@*RTNYDGXRjfHM+Oh**9_;&Phmzq_C#E462br zE3iT}pvl6R8)fg^^?YB>7!qUqGxlyKX-~GWz~*Jc|9mAfs{=EVCWv*wD4t zolK;C*n0T0O{mvos&ngG*r~C}Rrg#aex(d_{8DDv7xA08gt;17&7uhqjOX~Cx?661 zabicbhSms9c8)aXCP)*k^CcFibg~8ElJ9)0Qq7$N`B8<<H}#x_=?)QP36(&o~2bIy-wy)vC~l$XDt$rp9>Q8BjmK($H#n;cf5n`VXqtTow0D` zPvrIZTYqF~=PCBR&yfj7AA$x05yI2zv_o1;_j&~x?ps*f^)nKS&KAWeHU*yV(oM~a z)t{U&z+;M=P&wysClhO5@)M-$!V?fVcARtxn5GyG1MQxL3UV=0M8ACkWXj?5Nd?BFbdZez=-Z*<#w_LdIu;J;nJDfMRE= zp%A?~9O9jdNgQO;NxlS}9n4%Jxrvedv`<*i_|$GEm-FwAyCXTI6JgA*m5`omaZ`;! zDEQn?nEjDJS$i*|uR3_{1PN|uqVL}7RlD1FXpyb`5ml{`PZiBAX9^l9D-1a!i7GzT z7En_uAYLlY-M9r99=d9bj6!Ri02Hpu-_AeksJcHYaVcB|(ixWSl%&}BqNOLTe{c?P z<=gO>>$PDMd(`#@GKv{q8ck~7>I_^~<%z2J6=By=gzwt*a&I~TeG+BVj`NQwn0_7( zgM3{h2$dr{G6oSYT9Ds-!MLzJa+qMv)O2l5u#Izb2_wVUXOaDJ0#aH8Ei5k9fruLXct&fXl{&hD-Q}4=qT=NC6^5KN_#&Hik1{>t@{8P#bNtE5%XBRL$lo z%rVYWuo8V$5m$1%k+f;~ERa;+Im+s+-_rM&ck=$5hcVxgL8D^d9X}BB(Jr{5ZO^ zEIr%wTmxP8ftI4k+k)VG(a@Dq#F@XR?0oY7n7mUOu&;YRF8wA*)I=trW>NHX!1GjdJ!LpZIFhj~gg6DI|Kx^%l6Lx|lX=s5C3eX&u^0X%Zr!SRXN!_t!rJv?$0h0O#T8Wvy}G z-RD?SaK5GOtQQh@DpyJFP<2t&^wZovC=C)fIYIXErZPi(HFxiwvkKxAe{K%43hJWC zEPrz1WucABYEF7a5pS-jjVr;%qa*mmhL7mh`TA?b5govOC7q-e=ke(*ycK~mc6CG%1rzoSGr zAIq8%UQQl-4d}TV5Yi=Cf=&6HFT^+?UA?9kNBtfB{!(QA6LXUU5~oMSnPNIeYi8s5 zMMk%ZY?iv)F~UWLwOcCB`khWmSP$lA1y@VB_Cf1Xbt-r)U0SxIXs-MScE0#SFTozURq_#h8C zQb*2npJ5r1<}aV5_Wr4yNRd!Qrtr< z=QqmAV^}Y^M_5##|B4O$TbbHFK*s-x4T&p@$O>uvgAM)35&cUv#Qb+&iJtBcB>K~_ z^Z(3-*jWEJZ0N7JlGLAo(%&RV|4;Vlf8>q+7yolw`HU4`_h>h;gS^sCpHp`z**8esy zN_5gn)LgEW7vMK549esGg|5&p+0Gf91{nPFmuVrtfW&EHo=~BpS!`@FtT;a(-%oz{ zZuVo(X}@Q;Z!e$wX)TW`kE(MWkL!#ee#sO~u<+Voa)Qjb4LqD!GCmn?RaMXdXn@brr_W{2Z6zrP$0Rq3(gWX#{NDm+#97H7nS7zg}02&F9cP~zWefunLe1AeX z(xR^&d<&fQL{Pf3ahUsNeNlW*r+%pdtw3I#+D6dwx^(ZKCXM(UqcNLDm7U_+oGB`_%Mj=6zTBWp8dH z@?oP;8%cXjeP5hy%Tv>BV3Zy20|DP`6@E|t!A8>~Fjp{ihljg|pm|8MJ>MUU-!;}y zQ}7_jSCKrZ{sI8C8JH{Ja9%t!L=ZQ?fICxisjL7;Q7T|}Y=p5Vq5vmtT;MBs8#iBT zO8EQ$az`~qK4Rzqi5>U|0CKy!h)19RC^irv02G_>ya1*4f&u`!YcP2h<=gP>#Ya64 z$l8kM!7np}9r%vYo0y0I0FTxXR#iTNC$Pb+56A#aZz(gRa1h=2juUUeGc>V2kOL9P zep><$n0?mx8dFDLvm7ieH=6p5RhQI4!)f+O zaV_vw*LKjeZ`m#I+WqHXuQS~|KKtL@O!f5;HoVpk(RTNccVEn?`o6WfBlq8N5Vy7t z0qlg|Uu1bTTRtmb(cR^AsjNTzSviAzLxWaJmP8Xl$PQw<`;Tl(q-kL>En#Y;(e_t$ zkO|XlEzoBJX0Z`Nkkf#=0P8;0p z-pG~_D7h$&Qh#Gk0h{V#FHRtyR=I#`qK>5tH)s7>Vd#D~E$=J1Gjn$lz(h9h4wda@ zouI)mq31xZzw;c8NPtVPxgx5cY$xE(EV;iCgcHY0zc#yFgmQN^cYbbi4t8y1 zMFIzle;wMw#?wwek=!KCuk$FgQbt&lPgkWQo~2kk@a+h9bDC{Cvbt4ZrtB$q_{uSu z9|LMqc}T$$^g&HwF;Zc0zQUhky~_lix^_n?zWF(zkRtHSx}eqSuR*!hTi=zu4IV3; z0*idFkTjFD<|x0e%Rh0GJWmviveG%XxTzY%kZ2 zn6R~Fe%&L|HuE*|(bj?x)iaU^nE;2vZacEu2=P>Ijd4~#J%^FF!jM6i)zBoJKj8bB zPUwdD(k_`AL^1=cn!1EUoYCY$Fj0C#qyn*LYEm!cu!gZionNYfGzw+hd|%5guc2-? zQ~I$mzYzlbHQ|Tp*`kZicxy7lGu$psSse}j%Gv4pn`FAlK8e}HP$x{crLEiRXjq|V z;HhE3oeYo}mcEEzUHNw==Q$|+*<))7v$6DMOk3&oemPH5Y)9y_TR`TkT!2tFZc(i1VOH!sN;m@9p+>QeVvB(Hx)2D>WQ?VU zn|wob-48?F0`rLs;kpQV8ux0g%ot{-FS+fh1KiJez|pVYQ0)7s$_>0-*$EcTHt+yb zsDX1RP4z%7T)%R9>i>MrUO!5ys*hk*9(O~2;P@|&pDS{-s8N?ivQ?{hs1&?W7Pnq7 zRtaKjE#rD|+v30V-*sNcWXf#cR2|p2`T-1PP4_;Qcq`aefFk0S>sDnEPf5uoMh)sk zooVEgh-0gs$$!WDb48f?5;Ps0ZZCbhZk>3P|t znSSPTgF$>HhU$F?D#fTXohUu)6Z%k^$z4%Abkjk;%Lzq_pShx3xm)0a-N`=n;;k~@ zGI&QsSV7Xdqyq@rx^9BC2)+nS*f-6a9|xr8L0S&L2MsU9*u_Wn(mrhLWlXu@zj^XA zeBl}ltW%zOO-tBy;o4fCN`X_2D1L;7v}83)eqCg+qP(E+&hy^>5+u8#qN_IF(I~@k z@&6 z0V)C?(o@QC^?2GonMic}t)dVxu4~;Ivg9HUD`6*hJ-?co?v$Wd46kchncTfmNy9PN z5^aPrsent)aA_>#AY4zcFFLPxDm?}sNdnYGCUq;mEsMLGN`=T*J6g#+uvAYAWZZK| zzsgCeD?(!6O3u#v4Gfa1*|%$y1@56>2XM}3_Gazdx@sPQvqW8I!yESIBzqcu=Vm|p z4lGQk!&`Z(62-)y>Fr$XN*;9zvEiK7%lDX6Ur6{Y40>x7;&BDXyjq*nVcNF=!ocom2*tj9jr7 z5MkF6!GWswbT3i(v((E(rEJcV?h#w&ndS%27KdLYh}bbQT;I5S`3@HQoxL6g)qCf_ z(ZhWf2dyk|=uCtPY9yKjorKu$m0mima~nnPwJ&XF$~O}qA)cqi^U_T|iJ5z*yZ!(@ zFp89tElfY~0mbQZe@-Bto4 z=m4o(UNR%>Q_U43@%(<5da(T_12s~@FB|njpIpsuw1J(Oi<^}miU1J+8w$~$i;Amq zJd1u1oyuC@2#{@77PUT;Y0Ry)FmQG5XI6(y{m0P z)<+;Uo1ntlR!u6Q34m}PFQPUqyCJWzz%}9K_TA9^m@U8-0jgTC_PUdpFUxvAH{eSi zFv6`fU2$Xo4c~A6B~n5|JS7S4BaxG9(`7;WwTa~)NNhpc_#q#2)-1J5AV!;G(P8G?O@V5U`cV?49SfAC~J=D^7Ih zQX|MeQtRGOGRRj$1bEKMA=r6PPX1S}FLwTjJ1ALTw$&cSm$Uh^uKN6s5+Y-I^V4wz9 zUdCw1!e=jZ8hySltn>^qn@iX3X$2hBv1t+xv-Treqj|W^T2Y69_Jc-t3b7f zpzDC3Ied&?4NgD}uw|a1(zX4}0tm*gTuq9~Gd3L-C79bcUg&>FIf5yD=6@*U5J_c{ zRP20N_%Ot-($kc`SHWV4lCtBkd{nN8?iVTH@`o6y%+EhaSKRF>mLISg_T%lJFe&8q z?fS#PWgTB8jLI-fehkCP8)C>h(7JAPphlDHGLhpn-$iuMk{Wn^uPPi#91qx#9%ab(6K)^ z;P6gmUTS*u-pK|?m$4;~(F83%{%%V|QBkNrY-Y^F3{x#wben8>UxCQ5df^`WF(}#` z%{ex(TQ33~?e5a2N%UMHmO4?O>@7xnRxAfyhYu}Jv$A`M>5xO5#L_6FbjSnub|;<_ z`W`dN5Z$O9rhYayJJ04Z6`}ZrukHBmys@@q`N}YUL^ymV?%GboZUs>PV)67`S8?RU zP57=7aF-ap%k~??s?RKHEZ9Om5{-iE(t33jQUuM(_p3J?-hQn>{a|xu!BAqUqbZ|v z$WC-1F@nKB8uOJ3xw~mJGTyhQye^YaO#y|&&ZfMb^t^QW?i5CMi}ZZy?X}uXUWnxD zWc>Z)PBw2?%osk|3?ivjJ#*+R6m9M_LSaS~r~8~!*vR_!;miHA-RUzOffhK2HpK^` zt0Rt>*2CURA(=2W^rVcs)WAU^M7bXBmT)$`cW71=Wi?8it<#@u%OpY8O^ z*;8aj5y=aaI*7WeMu5(N6tbeL_d}CXXG2#V8?d_hM^?J7=l#(mMZ+mhrqCA^(CwdZ z7oWb-!((R>ih)6MfLL!cPo16o-JKBNic&z-h^>9?7j(r=NU!^ zmi6@dYlm4YZHrEJF^k7m)-3LY1&vqowK!Qg-}~mCp&?Vp+v@vT63gTmUqflF)ZDZ4 zLMXzFO1NAR?P zUSHj+U%#lvGSf>ccY0ScJ+9GyOdBU_{FcGR^62!*m&qIeG)+VHxS(@bBjzC{`%<#C znZ@4#%;OzIG}9JyOo@P;+wGzJ!MY7wlS^~S zZpsLLHgeH{1yo%EM`<+lH#k1S-ormq>b!MQ!F2 z33ea|PYBDfUZw6c(8GA(vVq)!EPpTu3b>bcnG3fz$3^G#Cwg!{0Yg+Y5;$7reYojlU!IaX3r09 zy3LdmH5{I`!wYyonO$399>j^{MML{OEnM@z<_j3~4R2ndp6Q)=vkQ6UW*-{o ztjA??Wj2w`7UN-o9C<64eqwSFEJ9wQtD%>qXqd!em_G`hR#2^Tsst7mQ&-z&O-9r~ zKz=&ai;8^VnJDwIV@K7_3SmSo7)zj&@wf9?UafrBCC9t8Dc+^!^Sc>sGw))|bVck*4$60dC?*K)PpxQz|Kqrqc0Egc zF=~J!Bu%0E*qCOP=ElY(K1BlQ$4NBEy8WJt(YkLvbJ%V4U}75Y+AK*x zZgaN84ay~%FpgC6nd&(^b17Ok6pnbLJYJ5lcj;h}gi`&p^+EMgiYYIDBMj!%U#H#C z%Sf}u2y<1Bed26tuHvr2C~=7dWz^wSfF>465QzSCTyU&#o3c({8@mb($;j`+%4=^~NP@V+_l`W( z0|~|fFT$jK`tOjMPqKe*pQa9XkFYFYFp!-|D$1(kM6-arstG1%J2ngNfIIYxcf}>P zKXvf`$bmd4iSs;7n;a2ry`TjuwQcX0vtS5kGvhmzrAOH@e9)1vGsAg?}{E{x|p75Ync9N!qU@apYDtgW$pb!-r%}&m84M8 zT)Tj8g#n$GO42`|AI&7EL1@IDDMqcJ3soXmmZ{bf%2Ux6-_F7Wc85jRU74(!yznN% zb`hSPay?8$VFp4QNlF+8)`4qC)dqChXcBU0md)h2QHjp|2qM6hnltJTbuTu(Y-z zDX(l?y2YKMs^oI-EJ(yhXCF=;clQM}WM4)B%5Fldl$49?&S4WT{aSen(1b#Z6n>q@ z%3%P>Qw@u#ir$9HGJ$&;h>pVc)W*?3mFY>&IgBC2xXfL%>A|}+gfba#nK;73CUeK^ zuF16CU9s5-yFo__86_(9p(1?b7BWt~GV8#xSdB{e*Bfi$B@r#ZqOyP_G(i`f%zntc zgyDSM@)Z-ERx+LdDGVB3p5$1W4tiPc__dU99y<32ngvo&#r>8j@oj?rZeI1|QdT>Z z33#SBg?0lQ^Ab=q8L|_0oZ_c>`08Q_)@b0*a(O025MlXY{}I4Ez^W)Y{Aw_1F2-^Pk5D+f|p4(qFS2@9dgQZ zGJDMFna?qwU4)?&Byx|t+cW3-`TYK?ljr(bQ+9cC97H%D)DQhUM(LcfVCA2xZDMN?+>uvIF=(+mSo#doZ1wT7~@z$*am>lF0dS7F#r@;h7lnk z6kFn2*nr*mpF%*OH~9#oc$90%eDY+z$Hz!gy-0@sf23Z9P=5V@h-o80{=M)FC_tZ< zkdiRPfFrc}h#6nZD3A=Ph>E`51BHNibz=GQTb086ESdpyi+9$=f;MSnL~hr zND=L;LB^+{Gk_DdC8!Vd^U?YBfvE1`B|UV(h+nHn@oCqR$+FTG)F^6?wj+%wq0*$o z0@d2wp#=LFh{vEC!tTH^2L0Ya%sY60bJ^)wpHU)+5-OHh>O%yCNB<$fBvg-!SP$}R z2Ov!Xh#g=gPAxcH!HjAYfp0EF4KH=b*As`L579TDC!{-;89?}3`VV&-^dw{haQeuo zBs#v?9)a?G`;xXD)y#YF$z=zKdI6Uhh@*VD?p|G=XQL-sQt=H-BgXRWrmVyRh$3vJKFF~+M5SUga)r}EE>uJTe=-o(kp)RYsdfDXC zoDXYhF7IJ5=djD2iX5{`lCv+nYZE_aAR}L~muvXx)W|*r?f$`$Mr$&?4(&yG3>UXeyu{*C!MW6$Nf-I}2F0zVdf3uSqw1l%%Ozi8kmn=M6fI%{~cM!O7c zAodM2>w@}oonP9OQPHj~P+t8{(t=wJ<*Py8F~m)oixvr1wWcQ=R(iN&cp~L{s{NYg zv2s>uuUzH_fww5te9@e(-=wf3j!bt~LqrUdOF$BS`gN^mW+h8(RgjjUvBZ7JmE)6c z>N&nrlMD_MI(JNk>gJ5us#L;b>5w8Kpt7HaB}?5qr6a=+*!J2Pm_A(UN&#kEr=H(+ zI+c6+A)ISEGdpA0j9OXpXRj-#2r-j~-l)j1D+B-*y-7de6O<5Vq7p+t|>NqNbkk&`ifIaKux}P;4~7qta%k)C~52TxT;fK%&;zt zmDJee9oMzn$aioYy|;>`s5rctop?r!#IPz&H1LK~V zP$jsvo-a(RBD{YP9Ai#TvTwHMR@$l`j}?uRo-=>Xn8h&5oQ`)fGTl#EiHA~iEDrqY zvF85eM+HaB%mOH0HX^{vTsdX#34tM(eB@f@c+`@{cmhFEns&r5z8kh_6u<0327o7u^$RD62lp`121 z)xp}?0h!cI+1UKFuKJ?r^Ttg4oQq_JE=f<;XyrpTo9)8q-QDXrD>ws?l}d6MCE}+z z)ru-HZK;ZfPEO@%l{poyg0O)eg371l_;j_DgVxenWXS2PZMO*$F4I2LSjJB^-TRGPjKi17H zD%vZO#68#av)T`TZK);Ay#at3wy<6u-Q6d`fTzC;BFR+?#mf(n3hxfOx0QSABL_!^ zzKnwuEeCYVHGt0f*D^Fu>4@0Ia~zyX_X#{ZL9%t4I^#22yWr+X=Ger_b1q~PEBMUZ z1GCm{flznx%Bo^1`|~0!@cD1Rb4gLD^+AD-WAr$3MxiEc*gz(E%*}T9+q@YK_g+YH zf0xFuC$Z%uJkuu>aXQYnMZB&Go7huR!9?mO`K5uH0_CJ=(ktabAyJ(V&r>~E3^gz- zd%!FRrgcVLc3XZ?G`_(O{8_7Wq$de=+`MYXbUqU;rvlVDWu&}++PhkKOD>g@2V9e{ z!?ibTtTyO!uUW0;pUhyk=E3GL^Ln}?07`kb9Pzo*(tu`Uiq=0@AN}D#cS$~W$KJXj z>9Az)dTh|yWUirWU`h#G9ElbwU>xQ3ejW+sEG4ok)ZtL=hCam9a6x!2EjahC83P-2 z%g_S1#G}EXeAIn1CH^=sHly)`E_|V_$63x`tEtnCB0Ecck|5{`bF1ajc`b9$6xhZc zAo=z5agG66wBKWaUuv{DiendcKEK%IpLEOs#Z!B~#=3O&Bb!vs(!xWsm71X%NA+#+ z)ZVl}U(i`%+d)S|R<-&$Hl%shW6+rxo7;)`SKXZ>V2OJ}P41lzl4YG=&uFQ`Mw<@< zk|$*bF)MeOLbv!)Dvb>36IuzbAj%4O2Z;2>aPD_ZA{>|JnUsA{)|?N(5azV{znZGq z|HDl9e_DBy66aTtRs6T9`p?k&ua@4}+5Yw+(9<#hS$g~bFGTncQ#I@V&eQ$3q5CiO zfi0~at@D3Y75p{u{-+U`{x4Q(th`Y(7+fPkTd|Aw__JW4h?wd*VZI1v4x~U&P@;hTgi+g4i%A0Pwvayd~r* zZM@;p@BW3BL1_%3eCFhbvJaV*uY}=v2%)2GD5%j8e(*AYaDU*k1Dhh59TNvKcu~FB z?#cA|IwAiOz*jB=kOe(b9&kt|MStGV2I3j+E%F<_THJdEcm7@2ctDZUvpN(<5c zeV=JZQnLu+*i+MDI0(L;au@WcBzEk4#1BBUQVwLOeF*mLlpcp|En|VF!W{_1DFxHt zfK*B0Mo@Om0fHKQ06*|z?Q(em-W;$57eD;3tv&`F}$~_ z>GDC5ne9#s+tWv*YEMmyCiD^4MqHk!OKqfg%5M2k`*?6u{q;V>$*E!NUdq$udu+5J zU@Y>}Cm?Y~1GoPycB@_{B|8jnfn<>P*(dSXe64skS44r? zsu6+ckNeQc9|_i1)G*73u1{AbE#8{qd(?Z2kx$xHO0VoUi{#eav==Nt5E-tvEMnY| zXJ)wv_Z6N)aDnykqiqECj8Ga}^LTkAvXUS&Fib)A4`8#TTHw@zSh+DJ5!2=zCTz!R zBF8-4nX8$Vh(AdAXX!~@BiQ~_xGTWZ@IHT5R9df-CJ&PiWz5pE$`VIfPdx9NS91pM zXtw&mTdaT*om;9@HoY{F!WJm2+Zd=)vWQR=;=m6WDa%l1USDA=QcWYkYgsNEy(L~Y zu_}?jh54VAEf{u5Y-GA^4727j?Rapkc^g+}s&bX-o!K>=Q;iERW3J!=qgx6 z>_voh7dO1UB`8`g)8Qs;yyY?VNpB9N8u-d9w$)hMwXW;akB24odEfwZKjT?mjU5&A z&a}n1ecE>xKRS>O>koy81Ww_w%!7|R zpCMrh)Rk5L98KG_*JqS{88f_>KKA6SXh=_gUGf5*nB{JhSz~vJ%i#FLJ2y{O$D_+UNru$_(fV5l%a{JB)svL~j;7sxLFhs>Y8fbU#sGzUBk7}X+ z?xx$6p7zVv-niW6aB;Ipo_L^4!Fh76g75-MXp3VNJ@sH zL>UrM5@o3WKKD}hp5y(#_xt_d=Y5{KtG)MHd(CU@ea`v#%Dt~FwEs$s)yb#<+we6J z&##V;RlR#keC|js_-V94RyO{GK#O#N?n}>DtG+OS8#sLJmYSooz2oPKX0TcOsT%!_ zA#U`+J6W3Wz;)uV*1g=H-t8=6;OjVFlZr#@7=S|?yGYwRdIKC)?9 z^;BSNd`QK;=RUvJ#cbv);TJKz&b6<;z@II1786kB<*Qm%d&gn#2Nq6hR9dr$)23Ux ziz|Ei+FoM4MTC$w_;B-6fd_jGL z-GuB)nU}Y|Q6jgYUL^Vyho(0E-rVG{E#Rn5uhNXk7r&E_Ixk;3{j>Y-lh0p022Q${ zE3F=PF`N*k40=cFxjY)j=_Us#J=gOoR{eo7)cmITU^O?DYrV0O(#lb+c)jYg1Ch^@ za_nBPlzg)G5OR!KIxVQ?VxTE~a(%Yxnis-r{Q5?NIQCZwRoL-Q29$g`lbs&bSNdv6 z^=!^*5t4W0EqSfY7o72hk!H@XN+n)to2>qU-5p?JzGEmg_<6Eby6`Bk%C4lGrj1oQ zs`n4ZS+|^aR^GW0v&>;M@?KKg<2^&Co%E!wUl)6&*lpywn5j_xR-#4xm~;uB(XKZS z9aAd4E9PEyqUCH!hp8fiL#YeM^ zf^*JVY!+?IP~*A1?`>qNQ*)79v4x#ozvf-9hpb~idm)!`co+osO#Y+iFue}ARnS*-v4lGtgj5f@vvi`!yu+e_byp@ z%fl5Do0lGWf>|*=UX*sjQ~jippT9@L_llf5i`1gOST2x0WB!*<+!$!>-DjvsPoMwc zkr52|rV8yFHy8|#@c;A72t)cz1`Xc-(3FOn(K_JmVNkQ#Rq8NP0!>SonG@&*zwm-Z zgRkezXV5t8!WlFU`fks^Z6fRY%OrlD+^4v7GkC2=qO=v%ET)k{A#POy_z><)+ku+UU0Uk z{+5Hg7ip%laxcBOO!Qro+>l(P!+Tv;yrA2PJ)3P=w#G+{hw2a`JQWvpxi5-RJF#)m zM+FaY(PKN}L^m&@;%_fHDIYp)wR8RUC407fo$yuO`h;Wa2YGIPt1l;%W-_J+G=dYb z(;muOYB#uqUloqq5VY#cyZgaPxp~3p-(fvyQ~72d^_kTu6&4YdTDjppze9ct#fGpX z@aN$oey13nK5lXN!OhJcsI2lccdkuWu_r6%N0cQlpE=c_C-y$BcXoE$s{KK=oQc~# zSf^*HDth20A%Z`x(A4}ptr1q}p2MWXr_V~r*tRfFn>&0uWA7EFM@KV4l@fxqwUe7K zaP9Fv?<^qL7dbs?Afj>#wUqrx-2Tsdy6;R~jBXN$eH)x6Cq4Df$3S1$&o4?-bkTdx z^2F~U_oyrsO6X{CsEF~Fcx>{hRF>Yafwd>{WLSB}7wN{G!Yuyee8tAm!v0jYU03&p zb?Q@Zvzo&=ZW5!G-r*MSXlIQN91Pt}3I5vV?c%%xe897k=aVy5sO;p9dQ^wqH)7|l zjz@14qkb$>F1%mGk#b1Kmh+`C=Df=1XG8rCX`5fxL>Avq%UHRiX|HqE_^9<$)uuv= zMyJuktkj%P*0-1oZXq`D?Vo@wwJn_c!>^+d2^C7$6UKzge4P+~;R8T{f6#*X!dZCr@&Pa+Jv7MaN%7j(_+b)HR^^kg)zX zzn4?P!?=yjoQ6Z`>xa2VvXY~@s-7=y{Vn58_SShTc1wub{*Mk%2jRSN3n#feJo&z)y5}wP_`yv=HF0vQx{rp$?`RlE@Y%h!p7-+iBx3&TTLXiX zs5dMt#Vi_{uPwKmVn6U~XYbpQL!-|)z8GH`t=pb?{N(t6SEk%guE$P0Jl(+4b8;VD z#EQMmiiL}gMVwWNKBAtwVq)NmQ%4v@s84v-t2DN$*Xg_J51Cy{sn6Nd?H`Q#dSX>} zroH2$+@e^ZAGl0Cy40;15U-N(sFBCWdCiWPi0}I?9V>5tTAPmQpZw8N-L>xGd1_$l z3f2zi8_vq*g6Qc2?0vLUjb_lQnvdT1N9!_L&%YlWxcAOi($PRq$g74s!x~c@J=Rm= zG%%W-bL$Ns+3oODLG%%_mnBEE>7cUkmCtgod4uE3C&-1hEEal_!%AO|+6ZOc{}8ob z{CBE=gXcupfpYL-B!GXS}|=ywLJOq6c@R=@dRP{DY_Qnzpu8!RIYUYlD$y@LLxDhV*P~+{ck%8+2=*E0MW%abd(tyE8>a&S*t2g(fU)`+I;nLm| zrP038)}P!W7(2F4RQ355mEERi%J#?Ay#5l(=B#LFr=$0!4)gY2RpfEP;|zcHjeGEC zkLIS^oO1D(P%SOKTkz{u^lyWRFjw8W%VafQ?hs+OMA@`m-eMf zyQbW$z6Yp$@dQiAry4~{Ag;hQ@rkHn`c9-bt*&8C|`WSm!-r z@Z|J|&uNcyV&jcg$Z=a3mB;pfYjJ(Uk>&m27@vQJ-kYE5MK?wht5i;ivmG{mnsnW6 zYD(D}5a=6)(y#tLmFt z?{tYxdh5~T-bZXCH?6Zd1zodKxsh+P+IGFQ`MPe!jM(>;JN79>$-a}XaP2jA?C<%s z_Lp;={1(b@Yon7BdV{A9rQwKNPN$-82HjiLT9b1qi_48C$#eMh^GUHM#ka$s4?0hN z?I~^Hxu>|{+wfXj)7Vj$u>2Qt(O8Rimzz=96A=cPZdAGTCPLvd->a&(>UjCPoqIdE zeeblv>j|S(!tsV7T?6j%wR>l{ZJsLjAB=r>wfDw8%m>k)D*oVBQu)J}_md`>Zdx(h zRlVD-UhS_!Rr6&9V{`Y~CY1HLwqsmbO2bo1nw@q#ZX0`isiy6-?<3sAg)uIVgd>-A zy$bGH$l|n>j;9Nv!iCqQ|d0P`rVZg`lI(pe&6TSmR+`A3be3AC63m% z-TZ2KEz<`}ifa8Qh1H*T1VmOW3um=C^lCNR2ltNV>z68iRqZ;;<7h#>?qi~8ou2eK zrJnEny=}VJDqC?+U){bI(3z~Kw3%w`Y^wSybjRs~1{2tCH$%@aNzry0Kfkf?tgTGL z`X?p1W8+?|t1H(PTg-@-HW3x?ary>n`Zlf@PbgO8`ZzFa<=NhO`$ivoU*@B8LhTuC z0hpk2ev4lwO7@QS&4Vm475wRvEibh0S6ul$bG${*D5?4kM(Jp8dnqY2x`VV>;P#Eq z46PW_@tMBwGcud<#hbqURGdv;l;FOr+O&1K?}%a_`JVK)e1L1swbl!~i{o7<3ve-*ZaIX%WG)g##v9dj_#IJYtAffM(WoNufI`!0E zZAYH^8#@P%cI1rMUDC+>@-E^^qN;yD9{25Tve<5FqgYPsO~)5*G6Q=q9VS$vgnL?y z-o0q?`r?`N@W(ALlTVly3VZcS@L_Vo*?X3)*eB$YM@OG_-Ed2)G%bD4HC>M$pH750!^wusFQyrZ*)KLGkOgxBcwcr7CCe@Tb7(mQ0}ouZrx?J6uV> z-!~GRU9jUfZ-es()&vjC47ZrKMeZi4s-S>--BKfQ-VdfPr$}8~aX+MGm-l69g|NY8 zFZo=BcS~l8JDjpEuB;OtI^`yN>zOY1_j@kajZ7i+qo z*1W5KW4s@A=FvvSPU^&%OB1`K0gf%JgUFOV*1B z#F?f?1v(9h>Q0cdEA#FIoozLIqx>jhq8i_kb#;)sURAOq=tuof{}A^rHO_}Zb*owX zmb}}Tzba3ITJC|eGON%p*C8#xGVbo7Homb+usOhB_RIdFp4xK;uD(uRa3)<3tE(1}zxbwx>YqdY!u1JcW?SFVu z;I}7k^V*{EuH1x*o#s@Y1{-tIq{B%6)@Dt=_!T$Di_hAwsuV)24WuYcpFV)H+}3oz z>8kj_fHiG48hp_|+?GW@xO-;mDnaA+U9B;p+Bcu0s#2pu&S*)TL`BPWS=f|%U>Z-$ z=E@H}(&^XhInep-QGiY0Ok;7i+WUm>)n_*6K7F%w?d?xh_gbE=x7^%NcJ_$q>b}W} zbGPE1YSIQf^-Pz@CxA-~y%IY<>&OY1$5!8?{@CyGx|LF7T`zf$Lpq#GQtJ4x4X-E8=hqK*d_|Nb*}uG<E9a+voY(=uYEDveXEf@4PUMQe)8F5 zNq!*zc*rU99p^3f-K#j*Ye!AX?kh=EOE2U7&Q+!DuYtw)>~8u}|Gu!yk?Z1-M-ul^ zq~aZB)9YiOX|=G*_T7=l_Q~ebTqd2o+f3^D#j(kjNdA~jXF}u*#{+(MJ(~Q!oc$~| zF+KeIT6N(s8*gk_lx}zR-UXTAamt&5{hjIZg5ri0o|7wZYh4PLZM(Uf#oTG#2gx+& znxs!Wn9p9NH%i{^j4#E<4XrWqG`~SQ#`|;Pa=A(E#@d6c&9<7Yjm8MId_6$)GdrSb zsy*&{7cH{g+-_>Mr1QxNFV&w7xY_intYSwCV~b8{(O(gvxh4@`3ziSO%_-j)ek8nI zI>q~SSGn+mDtq%NLdFS`BQfC(NouVD#g5lbW@ro8pA-sL6%t+{=q4x{ldLA&{faY$ zyi)N?z|*Jq76~Yu7ku1yciYI_93>q|53>G1hWw^>58J$M;gg14BK{|olD|%vI{9~4 ziWLuFDI9z2V~^P4_Vrdd4vu=D)ibBxOcWGh+w?6y#H>@xJ~z?o!R?ZGMsH$C;j5Yt zxXASIna_gRlsB$e;<{zHs?A+~FT3(%?}Xa4*x-lL>vli**sxx-K_cGj#1j3>a+5fW z@N2hEUrJP?4)t>!ak?ZbDHXGzWJRSgdo>VtrzvOni)|Lqu2Q(H}SAMI1WrvLP* zUn~VBK_Q}17z~DpB9RDxU!6fBfE#K`*6w>~U(!Vpp|8pQ^S6E_FrYCpcQ+5bfc#Gz z1P9(t{`YIY)~<&bKjHiLC;bz-)}Eejhrx$*54w5VOU?ga_$T^b4_bTDKK@Jn^BG`p zTMzmOFaWqvUBRCoJ`TRt&Qw<$@EKq~2QO~`bO7J~b+-2QcCev(ySYm_yB%_{v39n0 zwVnT~tDE=yU)?;VTzs6p9o(J$rCh0pti2uFTvZcqLO})T-Hv4Rv zncn4#-Kl3T@Uk}R7V##Uoi#H^PS1HrwZ9aXkhVW3E-^hT?P1;u&$vUDX19-1l*xJ5 z7Hv07HZ$P%PCUN!d3-vj{EqzIfj$GV+}wPR!RfvwpEcNShORrUNP1I@-|=E#BYkJCSuLr=0hDIF9L zUmcg4X3VE&8VBAVsKebawB^TLwAhm(oe1J{92(6k#;Ukxr(mOGdrj|5;?o*$Her2S z*!`TG`x=r<&grV==X186F335> zrjjOKxj5_w`c_YGqLps3lk>TAP8|3b&!5*B)V_IBE~sMd>7c9YXvsl7zi7#ldhG_* zr3V}xRUEPHjZQxww@H}3th`=aZel^{py>yGOOOz(#-eK~uCbo{~2jOzTazg`*z z_xV?$o$JrGsWlr-M{R8SWYBiwr^=0AtW7nEtM})c!gD?!0_R< z5AN?AmAx~iW)^?d-_rZ}>{~NJb6KE|1y>H6CB@48E72qH8hB46C+T*RMW(>xe0$G( zLm`W7rpvF6Ew>u&s>!`(_hGZm^}frdk1>{F*h4Yi7!9 z*Z@v+@o$6it)tNyXJozZg*{%kk!^3mlRIvwqB6g>zohtlxA~eK=zsWdVv%9Yjj8dw zv0GPaPQUz$;q-F8R_WWDHd{uy@X^}F$Gu!Fv9m$5qg`NYzRV3ipTiRmahP|>SkLgV zqMjgkr{ka7dSe86s=1Z#46(^}y+ozIDH{scD$e_wyE`E930G5ARu<{CeCrkANu#er zXWnPNAC+4FUa$i6KW1-7-}p7#Vd{LnaK+KCx_&P_+TPm5thML0gJ#y_kCSN*tu-bVa+%^xSD6KwMKf??Z^BQ6zPL(`>ir|@E1ld}()**`4$ zIXRYh#W=8G`M%g26?UAH`I5B|QmL0r?bTJlkP*K1pgLsJ%hdUexjfyY)@b!@QA zTWb~Q8g9GPtD?;KZ1utZLbF|2hcaC6;D!aK?%x`EFxIpsTaaZDTerZ$g+kK*@-nA= zdrb_DX*XL;|DiLF1C4nKfdC>B88qfe3}2uBzegm-#yoRGa`$v_p)$K{#A}p5Wc(X* z>0TOxBBTG@UIBMm(1bsIdB(de7$W-Le|1C8NoUm|el{-Q`}+#E`0&5b?zsPj^AvBL z{<7G;E0=H@$n#qyNLl+l?l0ruSS+aP&uO5cpvNZmV9OSL1IsO(5ht2?v<1vm!XmGW znS8pCqqzFgXa3-E?L)thPIh@U-IyHCEACq3+_0)gH!fC_!<=~L^J3Oo8I}yTHtcKu zb&cjMD;Gb=lU>GQv8eO)>y4~RYY%v_G`tRb;9*@Rf=9_m*z*>}oT|g1w)-cd1jSIi z3fsiu6<0`IYnjZ6XBSxrM$KBXi4SG=cx%YT~&Jv<+r_HJ>X})FUsTh z1@klt>*W*e!GqXvlaoa#4T71!|&4Y*D23fLUtt#N>6xn81asuD$BCe`FjcSqK zOzoDI^nP23yVEc4pEFukvg)MKlx0H4*^rm31Dd4vjQrleX=n8(smgUlJQ9!csJ+Q!d`ZC4 zT~F>TlXBTL);o4DA%;6UZu*;BNt@GYoot7;&tAPJzjBpn>rWWJ{A|oFAs&}2*lqkeyX!PEl&X)224Y`cW}gv0Y}M;qdE?rS*Z7IXZyaQw86n5cj5k9Mgxa=d z=OqUT${u~E|KKyZibeU`!~Q7ArFo*6wQ=8GTzTSr#xH71Wsmi-&rdiz4?JIuej#hr zaVra)*KUoi=MOtXdHpkH50m#2gzv?)&3;jMFsLJ5?jKddekw5e=Dx{Oc>z_w>|UOKA(mf~ zS~=*kCn)f7p1^Y1<@($2lsr2vb3-JSGHl||6}tP%OPefrpTn~^44noJT=M<4$z-yF za3v{aC^LK*w^O^?=gK8_yzAt{i_hePpUG4n)tQ_g^R&v(dvamoTXAc+&FIUxq&HF5 z*Zm$HT$MTK(K0&X-#0#-#$7P-PTxU!@N|v&m16+|o1My*J9)T0mi&->ZSrO&+2|1X z7-9a^`g_VHvi9OtjgP#K=5c-dx~EK~KKRkmVS;+5r?$*`gB)_@(Q=!IY@hvNSOTXH zoXao!I90w%qf#;})8D#A{rXH@SLo@C!R1QFv?IC%d8xMt9>0ok85894(x`c?n@=9R z?xXZ7bm&mvCRtC;8^dP9rW%zKS`#y6TW<}wlzHt~Y3pS1qid8W;z&T@`mXTrA7=zU zSQuw~y0lbxEbRXVpT%`G0wsOH)-{LrZ0+mcD}4Kh%rh&MBUVLt$_@3x>RxMGUU1TyJgpOWi27=YNU^5#PMqq0`v z=|3zRE{&O%Q94QmKm}r2n||$EIA*!OhZ9e`Tk87 zu__d&5pkvVr^R}raXjwM+F#Xvk3Y@!AANgxG;lP)s9z>njJ+=G3hA`yC2sbmLhiGa z{ete^2Xu;xWH?OD$-6(*JQwmhq-S_|Sz8o;NbTZrfnln5#Rc30PIop=(J#hfoF4oU z>gy;GAslPuudI(hfMyL9I~P|MvWjz6#Ga6to*tb9A0v6P{H)=w5ki^rFzX?O|6~YelZTs6C3t@R)pX*dsc< zpEI0;LRo)hd-!#h-b=iv&xv&h_M&!zi%lCaT*;s$> zRC8}deW*j03{TUpyRI|q>K$cRj*BifD8FN>R%?U#ke&L5Gt~gPFvffiG6JMy= zN-V+aX`-bEUU5CvwdYs(>A7Xa3K?uV&!v6h+YgX2nJg!s9jyPwwL_1OHCnWOU+DgZ z0h8!B&Cs4bCdv*$p;7x=b_I!d>ho59`f;o7a>W^$t#@*#k}O?nWOnwbcWlLvPTWLy zwk6!H&BkeQ-^}+-Q{k3K++kereCgY--Lm3_-`sO|%2e&d6&$qgp59whpkLvKI^X_9 z&s6`N&_(s3P1m|aAHDL-Ar5_x>AE1}R2nie*!1*!LFLKp(qHP0wrocZB+|fSc#Ng)c zk)sjk`!p0j~a^rs0=S6+G zY24qQd@-r?+P#r0W8x{k&KCsOOq(@dy|nppFz9+y>&$hf!WErC@7n!3y$9WUzW1l} zH<>Br{IKJ4IugHs#y01bT;`t{K?iynI!J^jm?-&`lSD&vNccrY2xAb zx>4C;&)q`jc2{CPg!!;sf8J@3;TPPX?sBWt@AISQ7CBl%86955sh^WNo*Q3qsg5sB z`J$}v@zJ9>eQ0CwrxFd%mrBb9_p1%e2-H?;aSs$KiEqh!?Zm4eV_l<5$~#!AwyI)y zm931L=Vbdht}HP(ZDl^nxc7X+^W0Is#%O)xM;)t`+pF(V8kf|zZaOWO7HttVk%_%n zx9w3Yb!<%FL1T57WT3t2o|b(=Gs0Dge4X$5w@U>(2&-NYeIXlLz43L%WqwJ``%YVY zc}gSIN6%eb|1>KBU+vZHr{#RZ|G;3Dt#y`pfm7P+ntE+KSJb581AB{(u4fvin~JM; zTYT^dJyR60*)BWq?)ni^gOsB8Jkv%km0L%5-j*3|ugLmTr6;En+{D4vxm4@R1CeRo z%AM7V-xMEwDrv$t7*TvNMayQB@6#-gU&)&9RlXhHx#?T-_~3x8-P!cEjTtu{I9Gm5 zw@UPPuXQlG?O{|!mA{_#Ev#N9Lb~Ye?b*An?Z-uOcVAvAm3!NXOL|t}f~)J8OJPU0 z&t77kThA47lG5qPRWWU9dgq%O}2hn zc{IaI<5o%g_Txuv!o>#8|8O|)bmEp)=~Bt3Z9`wyq|e-R{~1|pt}$&qa#LMubTA;z z;DhMU_!#Gsyk`SGNr6imr>C`b(+n1u;kv3lCe4ninH_&1?eh8pUpu;e<-VapoOLkE zvM+1yFBFOYmj^(UbQE+{4QP=Vyq^ck^$18U%cwgWmq`RFo711U+FzYcDDk*HKbB zdkqbB6~JXZE&2oG00@!m>EQ0|=7|D#*=UcJNU1t_dU->gWE2+qz@_!v4w^Uk;{UG%As*X; z6NJ!ZBBL&Yj@MrXf#j4~Ttvo9_uq*Neh(H#4((1Yle}Q$0Ix7FFEX8U26-_y#r_>R z@Z%^rIS6HD(jGL(;^(QM(9Mv6nuW`p|KxXIok%z_2wlcQ{l0nKfqwiU271(u(XcQ~ z55N6O-oQ#PI5|jFX3`w+W1bu`!Y41>pZ!m~frTG9F$gs#K_^!8yn%kq6GMTYe}T)^ zaI4a>K1B5bA3o&abg=b8nPX|*6hI+nqX_h0G#k}Jk!Z$? zBGZ5toPX7V7Ce|;+`q#{p|6jje}frBSQ=A7PnxC{C=7T+5h4SFrNJ3dV(<`m{x3K& z__@Vtt`ICvrZE6KC`l7O3X7o`2>6r6e@3KOaE$wZLkfKs8rlgKN8d3PPv039KZles zhm?RsN@9G*ldk6fj=Nam95T|};w0MQC@kps(}x z0;`9@(b# z4*1Q8gs$)Z0SVN`_=AORSMyltY@?@2D7pp$k z{b1ezG~z!k268pJG0)jHux1)tm{)-~#=MHQkGHdfE94|-c^5E4h~xc!LfSmLBG%6o3`cr~TpR+%h_zR9|3nw152TNN51qQgiM}0fnK-l0i63 zOVMP*DYcL4=RHp=!@AJFGOs(=;{qho?fswDoui+&E|Om8Ut#Oc$xi`A-`rnanj@FK z5}n+?6yj+tn_p_5wF?zEV-aOH8wq`HYfo=cpjHsCP$K)ReI4j`B`^R;_sEPuv?!1p zjZ;ix!C(wsgiK&8057mI4uI!1Pin7&i-R|e8b*vbQD((rY)B+X1UFE{=!E z2V%s3*bNW_mX-uF(*gv6B_U~n1VN_R2op|75cJfV2@DB>UOqB{!8Y-7eO=chvr`Xc|U+#puqye309=%*Nh8;9nNJ-4A{W_FldDJf$f2N zT=Z4vq8eHfa)C4_y6`q2En^tVr$cDIlTjhCG`GpL8;AoG+HM%dPoEE@Hb*H1Mk&Oi1t|qWATX{E`66)P zj)8x4&&ViM$SLCJ>CzlN99Ra&q{?((NLv{}=O4j?LCg$=uq;d_U>|NixuIBcXzq(qp#i}d%)%A~Ibu2%xVWJe=lM9F`P12epR2m?f9iTV zGw}3^8dL@}>KK{9kaIHlS%93GDbPF^&bdSqKUd-5X?+=8n``3*O<^lGMGoN;NxxY<|(4*c981njZ&mKgX`8V zpaMi`diop^l`?>8IT0m;y(nKVNz`70y`s?hf+N+&TSQb!$&+dgP7Xx&S{qPJP=_77 z?NJA*fILr>jkC3v7Ye$i4UvG8L=#1&bUfW`eQcqwx}G!VWZg2N(x-{NIKccv`!=Q*BXF zs@Be4RKO?$6%$ESA7|%-)~>FAL=gjf2QL)(pH7ZA%IFWZ7(9kR!OjsVftAFfM2x8i zu}UbCBta6Gvy;0uI0d0vGi(roGw|3CTv+Es1KATe(ewXdP(%U&=)E24FAPW-`i}_) zt_T<~1_TUPI|2q29S(!CSU3zSuV^sWd742xVV=G@80e)DAS-7cheksU zLl_K$1|EY61|~z@Fh&>v;h|cJ5eEJaj^B_l()>Q==_6p#kgI2$3!zwGF0C8KI1c=s z)`??+kv`sad=vrixCFI0j>)(j{`6Yl4dL#Dgl}2 zVzH3(g28Y|{$YtwE01{`FieCVfMAKlL4cer^IR+eYH~8eKv0C!0t8Hf@ejBlBn}dq zmj5uX2fC05zTgN@y$c&hg6bF;i~{w*nPGTv-5CMHLFo(gIM7-}@C8eP@?_?5ATT4w z5lB!0!aNSJ3Ne>JfZFBE&B_SF02ENB%?!g57SJn%{(-p!r~$-07e|8I5g4}s zp9y5R?St5Xun#mEY!`+DL>UT{6EosP1GPf>Kj07$awCFxftU+!3Ls%fpGd|dWl1I> zbP^3-Vh*PdO#wy-!vSDO9jD+CwuJ%h9r#=faA7c6qA^&cZwIgOAtCsOCBywVm`es9 zHiq#ObmI|oaTF*sW#&B|4c8YmaBNW42pfk(?gOwCuBYJ5Lr@ORJQs(Cj}THnv2CC{16(L2h?b19!CH| zhr>Yn0@qzEi1Em|c!UoF?O!POXU2ggB4Py=bXyU4u}Is(g0KbG7c6KeBIe>~XGhF< zaYTfl#NtSZIE}@FX>gi>-XnNV1RftY4)kOZ>j6_m%7aL2Ml;h#AR*!}IE;ht5;2Vf zFu2Ttog?!rfC1`&G0nx2$OyZ{k|;=>1TGuCH{d482z@4lAP>g@%n~^cnI8Zbi|{X4 z3IXAVK-5Rr2XKi9p5lOM!D)fQIb1hzXbNnL>Qi* zf&>_Yq#1OC;5Gv+8ag^)#sNCp$Z-@TU%)+gIG=&q!*v4%B{0K$)hnFzlIU{IHp83*w9 z2pkkzGX^$}0Ck3#VBm%yf~O$FBYYE{Kw1DsLD(fY;YQ?FK)eY5f(K6{!2JP8`4RC5 z51bBMhd>_->X9?=0|%spfDxdJ6|iw+gzbYY7Ge9KVT7=K;G3Ys5a#tjctha8QxLfY zo`k5`(RlC}JlxJf+JvZ?z&CObIUye87Kr_l@CYA)CzGMx6En?}1$as(Emg+h)`R;iz$iRI<^+&bBk)2U2{_Fl z)kBUWA$$`7gS1NmmUjBV%mZ*S4!$=6$eZA{3hG)!Ekpp=#tO2pc4j$O!*OAR=-akjo=`P*8|R*asPd z@M|D+Bl$w1Ao6EW_8@9C0-1Jkg_$qFJtOpwLWb@rGL8c_gVcK>27`#_zzren186gX zW{_?`rx}bmKqC^1$UBLkAcWC^CW0~#E_0w7h+KdOM1&ZJLFzL|PZ2r<)G?h!r_m;!Wa!^~31c03k~fXgI-XCgY*|0L(Z*%Ls0(L=d(R z<4AafpCkfSA;y7R3dR?p|=LCBW`N^!VNgRTI=E=k}DFJc@JIb0qj3=UzJB&fR%-v^e6$oWZF3L=() z>Kx(MNZ^_oTt*~Ntifc2CILH#^NIu|yl`4TZU&bn2}eTknFQF3-~k?)UqNXT+F=Pl*)dIH0G9xgeIoZ4k8dk^2CBR=6(#9Xv!&feh+t#5hn2!Tl*H zj}Un*1>{3;TL3UboB`b{gf9UwL_ZODU4)OIfHOI`d?{EYUnp3lU!&j%h~5YVBuVhS zQ9u#`<0&X`(D0lZz@S$RFvUTj^?-wL7DDPef=1aR7hfB~`*FwntAz=#XLfX9cA0|`D71`1%rIMBU8z(59#fB|N~ zVaPrR=-^?I^*(4d!~7rA>4W!%0SsgV2pqs#;V?2HP6I@yI|k_i^n{4ItDPJ8 z1*o9?Qbw7}C@F&zUR9EU3h3%7qOqzf7>XkB3!qLVQB*)%Sr+x*hghIwWjVc|=O1Wy TYQR+laQw)*ZJUa=D(C+LO_DoQ literal 0 HcmV?d00001 diff --git a/todo.org b/todo.org index 96a3d31..b697f43 100644 --- a/todo.org +++ b/todo.org @@ -1,4 +1,4 @@ -* TODO VPC [21/22] +* TODO VPC [21/23] - [X] Controlla good latex - [X] Uppaal muovi cartella file - [X] Rimuovi "Contents" da ogni .org @@ -12,7 +12,8 @@ - [X] spiega nelle relazioni che bounded se RS finito - [X] spiega nelle relazioni che bounded quando coperta da p-semiflows - [X] Vedi bisimulazione ed equivalenze in teoria analisi -- [ ] Teoria [0/8] +- [ ] Che significa urgente in uppaal? +- [-] Teoria [1/13] - [ ] Hierarchy of equivalences - [ ] algebra.extra.lucca: internal/external choices - [ ] Observer e testing equivalence @@ -21,6 +22,11 @@ - [ ] Vedi da relazioni procedure dimostrazione deadlock - [ ] Impara equivalenze come le spiega lei - [ ] Formalizza algoritmo bisimulazione + - [ ] Vedi slide 42 ltl: liveness, safety, fairness, anche in CTL + - [ ] CTL e LTL: set operatori minimo per derivare altri + - [X] Manca CTL* ? + - [ ] Pstate? + - [ ] BDD e decision diagrams, tutto Amparore - [X] rete A, b, c, d [6/6] - [X] Spiega p-t-semiflows analysis: deadlock e liveness, boundness - [X] sulle slide, quando si chiede come deve decidere il master