From 2706a5d1c746438df31a5fed0b2e9b0de56daf6b Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Mon, 13 Apr 2020 17:58:40 +0200 Subject: [PATCH] Logica 2020-03-26_1 --- ...2020-03-26_1 Sostituzione proposizionale.pdf | Bin 0 -> 34458 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Logica/2020-03-26_1 Sostituzione proposizionale.pdf diff --git a/Logica/2020-03-26_1 Sostituzione proposizionale.pdf b/Logica/2020-03-26_1 Sostituzione proposizionale.pdf new file mode 100644 index 0000000000000000000000000000000000000000..7bae92b64f7b1888be1b7d46968af25bff19c3a5 GIT binary patch literal 34458 zcma&NV{oY3(zcsqCNs8e+qP}nwr$(ClNsB#ZQHiK^`1I)zP0OJXV?1k)bso9(W9@v zy9cqHkO(zB4KoDs;qBEc1U(xb9iFX$1q2rtt%$jmld%J>h?TyRv5>K$t&uUUl(CJe zlNlZZ105R=4}_zWgR#CfgxmU&hIs4-3sU!sYFW!&AJp4xEAch3^c>!4Rqtj(W7t7^ zDUkHfPkwA>D-`h>4qjpb8kE)8;lW0#Y(}?~!TuvD$*;t@7n~#>mfCS?`F=j|)6NZONH7`5ecntan|cd2M?#qt6tdO4KPze=)ahAD^&{pm-7x zFaspSzz7)SEMCq^2ZStk8K~ty6nYr=brHiiGUFpQ+$fm+&JJ>l7rMiOb0 zNpR;rvFq3bm~I7>2eCtirL*s5kNZyd^sg2g&?BC7kK{A)PhxWokk4@7?&u72cukU$ zg#M0DaZ=SwNjsGfd!5^&P@#ceHG?v2Q@0;Z7IM8hXb8DN+mHy_#D-#tF<@561mcdK z!0uow#kOnN4q4N~6Mq0m;K$#~ro2E|WvD6%lHEdnf)=FghrEr(>B$3$G=x(+b#pCZ z#N{QhBeZf1*c40t7$?g2pKrql#?aai3J`20|2d`}C={R7HbX@B@|{kpp9i!pzI~Tt zdF!e8%AGDcB*QO7N0PS`(!CQz9>k-J+c)>s`vYtPp6=t2)S15Xe$f?yhI`bVjBgR@(*hc*0t6?t9_40#7-13 zf&?QR!Pw)A7|GD=x<&~g`aqI>wuf|AFM~clwObFST%H95=TwGH!c_}8LB`_ITxC(40&dE>ZUhsGQO*$HeZOgW3^3#wUk^ToS>0_mdf*cCowcm zgyE}0Jo?ld9r6fLWpUB2IZS{20-mW0H=LMV;pU{XlfXXMmHuwacUdo8dxggkWse9> zWeIHpT)0qm*&0z@#NZJLdNn?0k|?7_8wzj?NAf(cfl4#=HvC(AFK7F}n0lOjv85?` zX&FTbjHAHzNQX5B%9#<{2@|biA--dSKe6O16LB%uA@Tr#==tn2kQUfDA$z~?>Q!G_ z2dry{{y6?hZFapiWf{U+M>lRl+~ip2{sh}9zo`w+rAVmR`I)2et9O=tBV+oY9DAX4wdT@%-4m6d;c`8tGOy{9RTq3IlQdY93A3Pe{v}d{XRt~1 z4`VeGKt*}Z9QDcaNXo7T7|EU~Fb3X>AJf;DYr|? z`46gx?2Bo`?u;;^w0$Xt$XHB0KJ+5gpUJlD(snT8b;fe?n-5Mbn39a{fGW+)A#yE; z5`T&?;3=hRWuD9<=*4(4ir-hii4DinGqaRJy-^_(BAUdlYmu5OM4N(+R%`%pULH=D zA)1Y4B1`m2<;k(@*7<@wa8iU@&DG%j@7nBj{;U+FJ78p-S=bDDc@k~r1J#|sW4W$p zv{=H&2^Go*M+#yL@)Jq?klPtl3_^~e&xWD-DKEl|`s_X~jFh4zf*D41^}dbj%THK# z)~xNxSJ9zI&Yuf+ANcVEDfh1fq1|FSVYn_~FfGk;)j*IYi*#N=ZkTl14idgAkn95@ zC9Q$|78@BM?|kfYub?7>oT)ZD`6`LpX(N_}uvTJ~_2)jEg=&F7@JLz^h-dz3FS+{U zu1<+9n-GL&kX1rQp1`yB_qmU$JPvUfb+gG+7z@(M#yq7INDrhKB`F8UY^cV?g^H$W z`{_VS1T$R<&r2f|Z-0qvtFQKd8&pRLBM^0MjcG?Qout;xpasZW6G)|8!9!fim?*rF zk970EI=Ys462>DOEP4$h}%hd>Z`WG>0D4Sfp& zVCpmt*WK!~kDy72Y7?z>K5y?42B^Yy2%prES;slFF%pw%=t{W9)X)I56I~J>S6(6I z2fr#Q-Ea20fPCx`La}NbM5%SffK^H~5*??t2y;3EnynJ46JnYJ{pcK9Rj;_{&)c6- z4v&=fQnLxA@DM({HQbe4L^+HlLZaG|>zh$S>s1BHLoGdQVzvz)(TN#A!$=32uOGTw zvRq7wlSLR?knGoz0Gd54`|Jyx8xH^;9=OfWe>H6LL?4At)5K}#!h=$5jW@o^Muj&lz^%k9m1!= zmQP)tFb%rk(6N)>4o+#{JUt+vM+C1XS$9-kiq^wu&7u@t8a$$U-J8(3yYER#mC5G` z1+{*|W-XSV7rYxyk|ZB|6*w2Y8CFfX!vPiUeNzEETMa6>1}m?hE76~y43bEVXXEGqU#OH#73xIcf<8LkbXBP50(L($tbJg6iWr-^!!8box5Ebc* z#;3~dj}Z{a(3(uYz?8elP}?=EY2CL(Ga--D>KVHHm>W5umk?Sqyv;JbvriU8Z|bI2 zrG2dVH-hE4za5|@f@ZN|sb^C;FM|||l+lr-RnbW}m${ho@S3|pC(X@FNT8|5Em3sI zgm#u%+=kFRHwjB!*2*z;G0_Ar00!Ih@&za{PX5r`#FS9?_`J}zU!x& zXOT|2x4r~KCXH_D>sw#29M}u}#dkwO;tp||O!<|3Bz1L<73il!!Rq7fd*%4VbBDC;K^TnY}3ZYh<7h51gj98of9De~i0<61DC zZEr`C`q0~p99jTDzd)F0%cmXMIHVFHNVtK0#Bcr`oxlleoObBwmqB!vc8}Wr&A3;v zG>bJLUe!)5vG9CjPf7_9I9ZAbk+iu8wP28#ko?3PYjl|>NjoxZ)fQLM@BsLcVsjl# zR(@}$!mm~-g~=+z#!1tgHDgRmf+nr?d1a}RUC@ZxR z9_XMAs6E(**~;pQG)?6;8)Z!rDgvq9Kmo9HKIrV1l&c}4x%sR}0;gaC8wA>nj6kZp z{(4*jdlC(;%TPqDZ@QJ?p%ho9Ijm>V-r$)&;T$*`WyAhCD6&+Vvy)wKYDNfVgia)l zr0hV*EF>CI!YkF5u555}WseRM&e6oNjfW`*=p@24dOQK!lN$6%I#823jEVM;Blow* zc?&-H;z!7`KEn6bqOpXNkwHKvDL9%%Jkma>D;$AiJ=8?_b92i#l0!JC?wx~)_m}m- z!Jrvhu+?TQNZj)M#LZWs5GZhHRoS4Q>TH28udMo{T>zv>Agd@`_GY1$`RK(af+3Z9 z>77DL?@h^w0#N(%f*^=^AVs&$=75bMaU`2CoVqo-1XQBmzDs;K+GN)KxRlXpR$;Q+ z5!1^)Wm=)>im7bt0o$(#Hd|T@;Lqho_5d0Lq@p8lrEEYFLM*Y>cU=wAR%!EPQ&JI;}K8i5ajSj zf<`H=AK6n>c8Bwl0y#((gn;X^Svx$1ckCtiyn-D=y#|#aO%Ald`cQa>`@K>Ddp?}T zLFObQ0BiAwMG8AHKtOX&C;l7AxU6R8F+qU_aTnDrg3)$X zNPHy-%&rG1=cJzxAm}~N2lzza^kUtNJ9t*tKMg3fK(k6#Q1M@VYPo5tn1|VwbSYeW zQ95){y-kZNwVk)gn^b=&MGmj^J@zld>gD|;%t zU=G4l2)BnOrJ)G&KPm+r-;@WBntw0J(DYKxahCA6CO8=w##}lp8_3Ql(*mvwIl-Jj zCqGJRs|ULSI1=zV!;9wO2;YkSZ-f`8SnKqWXR7D zE2YH!xH_fke77wXmI*BkkYqocKoX(}HeAWy42EIgkzRmtiM^~0Z1gW3a0XKfEROGg zQiF(jbjbtCLh@ALXW{o{*t)BOE|L12$RFIR98y|G`#dc0`PFsCd2@c%h3gX7kpGKu zWObW{nkS9|@RINaGkSa+Cz(JM^={mrT_VGyZ z4#*ErN_hKguQ^#PVn|2caURWYyX-Fz**B+-@1@Z)_5z-_k4s2i#eJ{Ui*pjA!kkO$ z#qM17&DR;G1}TaKNV?Sn6xl4_ZW+v)3Wyn3fb`l~V;3YQf8>1R<9K z*kfC!5@Gjw;Vi_Vla#$#QktKFtF3)a7()LA<-R{KC{BQEh9+|bL4du?)&@|W>4kqF z1lXzc=@1S0c4vRU{O(Slm>zAMD2~lMJzA-XEJ54V`cRjEEFFmMCNI@4V^Ybnj2l)k zID!urn33H?geQ~wl=jp$h6Tkagy~qkHe-$;2u0aV5`nwis)xku`RJn>LkY##$GhTb zlp}|2>S|z8f_O~6hVg;191R{)#?GN!H^C_Iu;xq1!M;8QWiIOsY^Qo$Y1Dg>cYDx~ ze+-1;9&dEY=87LSU1T;r4v~=Ja?>6-pnW?L_=;D9XsFkH5xe`zNYQkLDa(Ir0&8#pI?|_YkS#*|RLAp_<+3O(eByoeTeGARH#wVwB`D;o8% zXNfdorbmbCqUopM^Gr=g=Q@?lRLjjpy`BOz2PN#(hcQ7hdDdNqNF0`UKxfHjb7qDZ%UsaK0^Qk( ztI6@E6d@IW?@!`_ghPMSxvh05MUVFjt?>3v$v;2`%fEsSCOW#mL&sm%imm4V109{) zSp$V*dpc!68hQM4IS{WYMZ!qJEkI+%Jv{^7@a3dyF`0Q_KNqjBE=d)?isyHIS8Ea!u=b#O z_R2UEDEt(pUm)zVynAoh5)aaPcN*;tKawr?RQx|AIU-&=jP?}Q_y)WyT15tTf=hdR zUv4++1>+}3 zBB>Rf#`JChB12Am^2aVYDAS%q*iH4{cj)Ruv*=}s6+ZmN5;1~;*AS-Yku4*$hRiI* zdzIK#O#Nvls4xx0pY_J3-kq}UC7ADk?ZheOdugW&CZs=fI!LSruX74zzdI)Uv=x9{(WUq|K_Z44{4-Y420_y~L*g*!W=(h882rN}v>apI znL+{F&PNW+@j^Xhc><=Ogrj_iU1}W)WdZ^pz@55Y`kN+K`y$%k(mBnl^Zwt`N2>=6SrBpjS^_`!`baxRy-{Pe~k?1FS5Uof#%M7?mDf${)58 zx|{YwFRb$Df)0d2LANGC`=$7c-1t_c6dCh=SVIVjGf5<)u{BrQ8xbO4KtS2%%v32L zTV3b|USh6|8VvaSyAfPg#zCp1V-TXZ1e`SDu??z1rezR_pWZJ%6?GC+oASlq9gzMU zAm1c<9b!Ds)js7fErOp?=%wS7bGY`&Ysl?3!qWnwO2+fr%8u{a85&EmZcqTq%oufi z9U@Q*5N1e_p_0aE8i~uqacxM+F5$smn;>;jNysVoS|mBYSBY|XZ;w?&k-+#Pu7wE2 zgU!G~;02F}Fi6n(Qx2S++k_$!W{z1i*ilpz73;RICL^+SD}{@6!!Qlu55Kgb7bkgCLgzd?NPb>Vw{QNE>S=x9?Bk$1s7) zs{N3Nync-1dF&#MUG9+%Cks6`W$U&5zo;k%h4Y{`HKr5__?f_T!4~j7?eqAJYG{Yi zC(+vVl%1uLUAB8|BpD`~6C-$>RTYF-+&8P{J0Ot5cnXTULur@Xgn&q@m}AAUL4=@) zOZ@nB#c##GBV|y~z^T?K+M=BMi8bmwSFPa(!5HVo%fzdQqcY%v6>X%isyLuuh3v~R zsW!9&7pwg$*OAGIwf&3asuS*P;l%H{wWih6>C-(G$PiA3##{s3svokkuBK}_oYAgRWos(xKk>ODR+e71)N#P+AGO%%qt!`+KdRS{Xy}k1564rO zjKptT+8imtMSHctA9+V$4Gnv(mAegzoJssC5A32uZPGUENT3ZN?je|bJ~voou3)0>KX%*9 zbL4;-#&GUFR_~&9V{z<+C>sk!Rn;%k=Dt8dO1_Kl5yW^3=pQFY3Ck%G2~iHs(b|+u zmZ@el56qMKwK{2g;(^ALF5Ga#+^3m&0JTnJKbk7fqcy@c>gwD^zuy80x>P000|+G$ zuDhY&F}M`UAY=miT|z_o8WgHM{il!zrI$%IDWbVf&WBmX1Dong{kP zXPOJ+0uH2umzM!2LE2gcll)>q5z>C9Y2soDsuU41eA_@%0z&HIJ`o5j#6hQaxT9Bo z^eR;gUrIUaK|SE3p{d2kQVbD0a@g(V>DjMeQ(^ z=HvXG?UNWu(S~9rVyV$Ku{8OZ3YPdRumg+~YEMY-@<$?lQidW!Z~>_iWHzFt9|qZS zt8GutVsbtk`>A9Gw+P%xVp!-}I##EsxC3Qp6n^TXS|~HtV;l`Etk&vR$*)q>nLU%* zvUNIE)?^I-x%Y@loAVOmK+0f)_)@`Rqk)WpKg$_`rGrn&d%^KZ`iXtSi^$~JCf4<4 zO6oF!jcq`y4cu!i*I*Y}QrRfxrU%gM&@FE;)u(_d6?rC~O%w|KVmY9~{NH}xsy(zw z{zwvE#b)Wb)wo|^oOgWrs#;DcE(m9TK!%@9%Q^1tZ5)=q-+PsX&+3Ur2d7Y$nrz*# zR#(sEuvs^sj3##;ojpU%0_C#JYHmP1ZJERMciyD+gM`rs$OTQ)g5xu`P&i62uUQU5 zyXWLUhGOM+LJ9Wr67^w{fGQgv31%lLsi0DNCHk)6cU#p2h&L+3&D=L_>#5aI(&UbB;`X?XKg;2I>OZr zA1%NGD;lYs7f0XVat=Q}t(|_%pVR2p&T|PNns}wWVLTL-w*sF(&t-JhYB6y~x-M3^ zV0`cGCBWKt3halPp5XVsomp!?AS!Fj8X*fT&{IuigE8QPo)03Txd@6<1 zUNsmiWE`UFpG_NLQt<$L*|FJK;aTCbv9R4N5x>1?<;ogLO0@7Jb0$}s<^q#z7yDmQ zI5l*}C`=Bo;(YafJ!%zZ_h00m@^dEZ`YPIn`~w6t{SAT@oeiAa?Tl%a{`$}h{+Dqh zJsT6#-{nqLwzNZBLEdhPZe^<=OE-h_H&bo_cd-b=r-n+J_rL;!p{FfnrYRn73f4_F zp12oWO?g_DFm-)uqzW|F)UzV&Vd#VyV+tXeElM(nV2d3~l7g7xJ7ttUk!YK2TtQ2i zX5vl2^>lfj&hhNI;oMT5HYvZRDLcrl-C*59sbLTQfPK zshwv_hi*|(5uI@vfi+d(e6f6Np>lFmwQzXR7?Kfj?;$PUR;N)($vPjaYZmc@%&bu; zp4gSYZf2$Sv#3~ARYf`BEKT_oQW4GGma&Xs*kqF0EN*Ewr((f!aS@$ieZ)~^0`oE6 zrs}V=GHbPn!6f`HQI(%lkp06=!fVag5WF_dRMaF_t7}-FX3MZ+kiy6=MbnVDHiX1T z9K{u_pAL2Ge(b%RQzF)p_}vl}dm=ralRP!)i$6wrOMhR;|2g2>&`OsRGXZ>LJa9L@ zt`gX-pJ%VN^-EsYRSf}zAAksKTL$L7vSnpigK8HLhyByW_prpNN-k8J$Cf>`Rot6PAyj{_yP?}>JC)4bshz-jO0w0@X98}UG;J<0SZ zC8(;ajvK>$&9|({E+LbmTlnbGVaXrs>lq)JAfMBRK`wpTw7#pOH=0FJp(9K+FxiNC zbG3lvddxu1@tkiP8hN{-v`sk|h3KpR+PlYmnG=aGKZ=n@U!m2KSTW{S(+E0F9?;^Q@6R%RslOox6aQn$7PeX}+J% z)_6P^3O8EiH4MO94v2=?ID)3M@h1hK+-$wO%2(|pT_fAz^$T`8zEr^zd-ttf{%1eV zyzAd_pLM#1*%A?cVt`>ewaV5YH4|Ig_uhr((0N>I#8^NMKI$X%OYNxGOy5I3OFHpZo@+ zr^N~nRz{B0_i!|Dz}SWJBs@>?r}$nFE{L~5R;LP`g( zE&XCb%JQjt9p8a;bbq9}xF&4g_5(cK9$fk>M?uzvH<5D^+H3j~Xmh2n1aP`I@BD(s zSWc{LfUCs_>A>u1z45NmfsrzvTA|mUFUooG@!o@bZ|-U#bmNi}pN6$uLz}9nG=a+w zDzEs7Um1xMsIG$f7&On4Hyd)047%dsXnG};TXwjvIZ1+pYyb^LM?kO6O@8etDXSCD zI5_cBHu>kmdK~1`LUQyKF>+|T;u4=I-Rz~alcz!j>*HCWX6Huk(Jd&};@X54}feog|5Ir z>?Wgbam@yE*()Eu;NuIx7!9=~53*o7q zS3P2)CVPc0fYBJ8H(?jCicuk9!FeOPrPHEd#D3w^T}H-qIuYSO#Ncp4i|*;A0&u80 zA~F>`i(w)k-Yyz#)oq=h#)6le}b#HD^_<+U;j+(Is z$6fkpvuqgHRS)6eOM~+{H9(^lva%g&J-;3rHQBJy{|84J$4E*knj?+$)U+&46dvWXGT5(gM~g3MKn%j6!CR4Lu6>F|9L8?O*fH+(Lga%IW7TvNNeh?2Pwsq8{A1(KMJevd%(6JcB>uuOk%P>h2A zNX$DW+h*Q9Ch2GnA>|CHU@+N?bIy_}DQ)5yzO=Rf!o4k{MZ37Y@^Bj;J^Q*gb7+iy*{nt9Au9loC-ukUL{q&)!ASQffcNKzL(`fbCVa zi_GN<4*ki|B6-NVmId@v)o_McWn(H?N#^#7;TpJWj~}G`TPuiCj(9!Xr8L5%fGR2U zeh#5XuyPI~shkgud``y+lDH05cld{5F#_2^jSyAg>{3e`%GaYeZsiddhKSAMlxd0- zWXgy#E}4%?H7xir;S({?4vFa5O$_3kBhT#%rQHrx87m(uiT?;dd8ZgX*6eyQ1gy4; zd*1%*XYKGt>D8IQo(>-G+#{hb{jl0&9?*&o3E~_dYD@k{bii8!LJ2^lDfe6E!K`nO za28shWfk#!NqF~aA=GHkx&Vy`s?&to;kD<|^WH#YJ8p9bn=`(88pi1v)aeTD9L#n0 z%w1A{WzUHR^YjL57MfpHD55A<^I)u>t@}OVvCH7F%P1>wtXh1eVTLU3y7d?B^tRWG4i+a1Ag%hk*ht&&RflO_L^t4@U3{*Pxo%GR zgs;vYEUf@}-$l6cK#EncrCOd_&<&G6&ewn{g3|+3_A~qC>LH607&e2Pmk#b-G%K~P zMn-OKLZYNeyjM(PjEAYf^u)JahY}>_#EF|@WP=8v`Px73B1=ASUfpC_ixW3zEH24mOpg1S~jE_ z$tBD*nzD#1e70J`FVHltam*>$H#1}Ckw<0D>f`llG9>95kH}v?p3MI{|Cs6iZ~pz4 z%|&+hzjqSa@qIRdbWkBT?hv?~(um@6XB7BEBBDe27fh%6q8Vv0=0Rk$f;&FpV|O7OLq!A*Tz`6~pN5+h(B)Zq5*UQK{Q>`1~&x-J(vF`At+5FjZe>ph0D8 zxDN;4ZETA>0Xq{->!}$zbVCLfh1++J8Q`f&MwPH=ZAlB#1 zox0k3&y^O77F8{M?fDpgnW~Gp7@UbmV~}o8I90XbNwUx2QBOqW&;4wFQYkrHFUnqc zSzIa>BV|Sv3&4@~HxQv{p0TGCJ*@PGo8pWNZV1QzI^jQYhi@g~*7elsL7dp_(Q!hz zK)m0}Z0XGmc3r&fYMAvl-%R>r^UudHZkrD%-CV|ukdU=xh*tqO&})G2x-!VRNCuN5kMGFeHYSCe|tRs|V>jFC<6^ECbH)-h1n8u?ESQWXHY7 zar&X_=Am=O6Gr;(4M}>z*|Yh^X07XMsESi_XA6(EOCIfeo$)1)PCh)h^cIpyN8Mlb z?smaz>}uuBcSVUyRKC$roZN+qW@wpItVksRPwk6HS#qIiAK8+n>2keNX{Xg$cg@;F zI>V+)$6TdBn;RoiVFW|z&%67fO-K>?Bt~&{ zBC~USh)Z;ZXerZK6gEb(LMc-tZ#!eg;e9H`;r(#c@N{?Rkx`|xr4eRE21`vc^Z1c; zJqmZeDmiq0HZh=(FuC-yg_60NW3E+`fHjM&je5_vMH36z(-yRd;>d*M^7tQ&290Nw zjj0SOs}8HoIlYuCg>!ZFwW5&w=B2WmOZ=@d7mN+{M1QrqFj4CK6vgO8l8SJflJ(O8 zCSgx=+^f=GOtbtH!l9>h*!kOq>t*W@5hbrmDH)~e?;8>05z7#+LsT^>E5jd&xV_yR zmmg%IsmA7u&gr2tdnWR9&?6ms09MVl(RJVpn;tf2+9zSWhavCy8?$jpzeTzV2h4_C z=t^}cq~sHwyG!FbXHJ~j9GW#rArphgrA>d43N6!MCp!}sENe?OhoIcY!~ zOv8IRy@dM6c?A%y3?bgR0S~9!Z>+`*Li^A?Ieb#@w+on%#9~N9c5A4OP<93&7mSgQ zntbHxYIKsG-u$X$hD22GY9T|BHUXR06!1ZYQUg!$7bouy-6ki5bd(U=+Qd624L+%G z3&t$dZ4_N|A2qhzI9>+?9L@=7H9`o;7du|P(ftXape-TTgB!#<2LA{IC2d=upi+2M z@VDcoqv2dF-j%&w;^nSkH=<~ls^E{qS;OPMcQdAI+4b)>(tgZWE7%sd4ya6 zAzk2>F-b5v$TcX>`O0;jzrXSDV6XybzcSKl@Jufb(Lbk_Q9hu{hjSzuISl&1bxHXL zDf=n7DZ${$u%*^-!twQvv0tm3OwCUfvSeVdq1fi;a28+ToP#`g7B*JmiI#1Bpb6qV zk2W({N<<(8%KcL`WjL8gUprq!NUA}jkAaMQdv6*Hl$wYd^uQCV(m_xz8+PUgsKqE|J{fn zJ_(^vAP4E8C*T$ETLB3hGDI&(oC6VN4F0xtD=@3eO<*#fpqgCu%+-!98-~ICR`iNY z=~D#jCe{Oy?)RQrqtTyO$dlW>12sXC!j5S{MmHVcH^d!64i^kt;f(sqVIBJrnG`;zLkro^`)!-NQ_V;_*Yy& z$GD`jql+RSB<$>7TiucbhE+V!W%GXAojK+g_SIiAY*@yBF~+Ft)=!EkY5SdhohX?$ zM_c&WbNHz}$bGqPt6!~d*EamgDdT{<$z49CDvix@U{2?R>CKeVez_BPkOzE`QXnhe zx1C<5ida$tv8;GdemnmZl7?=xn7bHK72~ZY~~jl}835-a!Q`nW|xgDiM1pd>$znmB zwA#KEQq?P%s4*l4f7^%Zz6TDrew(@*xmUio{RCv6G7JIx(y_xn_SXG?9rZ^gh`xHW z^{lJPzt{3RWy;!8t2m}qGDBSQVK_4IVU=M}r~mSZp?R~vqDm6JKNB^@ZVQrF>!~1o z)I4BFEr>#@j(9>lhjshY{`@5l1B%k#IQBTw*=Z74!y_i7kv$_!ILF}#ks2kI%!8_+ zRm<{1o2G>~dAh7Fri^4ISasYI1CzVbxMgCA%vOrbf(lD&oSL7yf+!$Eeej5n0!y(m zN^1p)xvCQyy1jY@6jA$$ys6Or$U;5VT>j0wSW^Cl9Nt}$qI_&409-g{N{9F3O)=c5 zrKHS3lA@qYoUx<|rbLiS*hc@(VpoiM3bg%@QZ-QlZrR@esxJMq8nwNivSa%s|2SpDfrC`{V)0>G94Dl`n&mdPSsg=0_j&5;4)4vbgu>nN!cg5jk55Q~UdelwB6 zSC80T73orpVo=ny#`BQq7b@>NrGs`4psVmPBE)ZT&X)E0kU4cr3c#9#%xQaf{)XANG9M$0j7_cvuf1d#69@G7BFFxX_Cpc z&tKyMe4IxXD|c#U+WNHX4^l->!`p7vM;b6bH%=7mC9RG(T~Fw0B~e)9HxE{k*W=9s z>4-uL+79Ks$e<{ke3re{c>myzYDa!3Hqq>YXF^VW zyCsJukkQRyQZGPYU51?tBzX{ysG+)i01Jhc^0-Apj`0)!J1aZBQBCgD%EVnaPuNXq z=tDU*4*!9jah6J~oQ?BJm@^EUvx{9X`>#9UGfDS6k=34gL;_T54sSx7p@aQuS5N;bPP*vY68%SSyK1B50v6Botso@>@^2k?P zo8`f$^{iib>=6^uLmQc$5Aw6k8t-{Jbe|h4{?`O&uM#ip za}btb2i#B08L#gYZ?JcKbaYr#c}G<)DLvCdPw$VZp59@WuAF*OdX9WSUi_bOJu`Fj z>OwsuJ-zbXv`mep^sKbf-AuKF_>4?7pusAQk3N460+8#lVq}2;^PtuKkqzHlI#aZNC`=WNF=WZMTN+F zKN&+N0E8+b9Dt;A!yTV&dA^B%vemQ5!YcA8`JiXV42 z(mT7STf3XX^|3BT8dzAk2OnQDAOI6USFZmZGZw~wbHo|x|I=rhm$&?Do(8b%>MM-H zDKb}7rOh8CLyEX=vzWqNI(8O>A-EX&{c)E4s2|Xu+L2`{!#lRHxyb#{qg@Gcs;-WC zm1hZB>bI3w5j_I3&~$FPr^x)5m+6r7OoXZT{dVjAF0KnZ;XH zJiuTtA}M~k%-IitTwKmd)PsJ1x_^ZLX=vvQ$^8;-=%?Kutg8Bt)s={~eho{Ti$FB~dZ^EbxyCm6b<|F^u80z5C7WjuD3aVdopS>8*(yxxs8N&IUzg4%$OtLNg?YtB!<$I_{zP2%&|13>6(c~o1nsH zBq;p&H1to^Q`R-AV*3fP50Bz0W`u#9Us^FU88gz_D&;ANlAo0cI0e6LhyfcBCY+K$ z>qvb5;xB&2TIX4*_;j~C0N^P$V1C9X;AHW2{tgloa}d`|@X%R{f(xV{o+e8r1i^CW z7T{1PW17wFORuMgUasTdoyHuTS*c|7=r?3d@z_4au8hjb?_ULFwZ;FCCI6}rFtPl{ zdj#!7*~kq#xS^YGBn}($Nb0o|1hC&Lz7lyGDMTBBwlP&jAx&0DCvmpAp4)K((BPj% z>8ypM(rT9zT^FYC-;ai#jSa1j)ep}s+uoK#YdW5&V#Mv;+3BY}*cs$tku4_g+fXV& zJu*)#12;1}+b{>SZ0KD$mrvhwuPZN#)J>&!oB6S-e0zr}* zzL{Tworha)&AH1>xZMriuBvzUI#}jMZn-6}oNBC*WTOlTiDos}oSvB(%kRV5*0qr- zw1^!ZZ}q+H*F9fGfsGHvUkk6yT0ZLig=F#Q^87{o6u-&g2%Mn={<6U&3XJ2+0!)A^ z;z1*j$w1KKe%pim+V6yxN5~fdPbjMesUtyTLVQfHsvQ|bRs+$#h#(6tspg-J+7p5x zod-*TLoY$f&Yw{VoRy3?kDxr1)0ciU;KMj!ywxa7Mbfc+G)Qa4do9mLf52ffROx$z z>SWOZ)WLKzvGXN4@pRh`CjY70rDA8G$ZA*9R*4rV#&D*LNJ5BFIt-(-OUWQG##YRs z;sY-OHis)G>(2I&giY7Id@ov2_lhy_eDOht!cfC#bLQ|c&1K|{UdRyc>5+$hn)ruP z@wZ|5e@Wc`To~1!`=7*x1GshN9pZM0GHCSG;tyJ`mTImpZie-Y8e0Qr2A|`3+?Y8m zf`t@%9Xd?tfP65}EGr4UHESZP3vHL5Hz>VP!BcXxR)QPC!<>t~*PU}f40_ASwB05M z3XPpPI6ir@^qr?xh0nBkl$N1A(QX6|XSU|%g%aRuUrmXv9%+_q3Soi<=wEeImdDiktnJ2o_udJ39YHbU5hv2)f%=<(l|J6=butZ`I{V5(R1x?7cpx;RKmu#!yl4iq~SqqsX|p=6uHr0l}4+V@;4dH99$o{G^eH zM*J~RMEdL%_*Uv4Z-RqJZHa358J@6?CP96#7OydFXN=&P5De>0a^4?+SCZKMe-Qj{ zfbm}hXJ+}khowFL{|Wv-#p+Jha+5Deg|fA2tBm@RIogzT5l!J^*0#qD^_`A?&y?mQ zo1M2NLc*Ewp=S!u5>0)he7M)T6%+gtDpkf^e=tKPM&>oCYc?nMCTKenC#~oEb<@^Y zr=??H783dQg9Xxx%(UzX!{HzQlz>=RXex*5hTYcZmrFG{IyVwN-_IIX2O<`^C68y$w=ZFLPcoCiTa0}V^!>3@eT;y*{DSU zjr>D^#^mBjiJa7OEWk}d#4<|iSov(m;#p-WK^*%^l2Y8OK=xDN7UE@u*A5O!`wkrP zDMrE$+;-=yIQ}0i3;I%mk6HNctiw3uG8ixuPSx1~Cv@lhvK_bIzucRe!2Tgn|1fM3 z6c-Y)wQ>5NZ4$cwwoSr7&&vAu_*tuXDj}-kFpJN*xS(XWaXi3K}MxE}>^+!b}gBI0GSc4gHWBW(bsg-~hySWeYo z@zqX7A~bN8UfU>?vQRgf#ST?ys7|6>GoywDm&aQ4YS~B*IA#z-qxZ2vr0sXo!;YUT zA~Xg5LF8sU*q;3TZpEGWXO2Pq4-b!Z$MjDswy0U-+1&=cecURN6$*+U^*})Fk{Vkx z%0|GDK2!{|w1I+25TrxD-%IOXQV`BydT3FFQPu{H&Eg7Cy9 zTl9A!77$m|L9kh&5t{>0Z0NC{qC3-mi1GaSe!@5xL(O2lA#3z%ys0~Q#w2rbBKxOj z<)SxW64NXfj&4bnV{PRj!a5F#F{aatVSJVlG@_g9G|3p>(U(TX3+->nf)vn zUnay=5LUcf%8>!jG zyaaRU@Uj&?YH$_o(WN`gNxtB;BDo%^_qzR_9j5y?1ZS+w;GBu%Zm8taU_EhclWGsg zic6mi{I&FvG`Z<$`*nt`*`t2wIIWqbmXyE*2pc#}l}(+3M3PZ;=qI0P*P$D36!s&E zNk4r>g@E1|ZPR7F93|An!b&21ByHcC-CdyK6)EkFl*4RC0)N1@T=jx}&0bASXDwRv z{SWuO@IlW@paNStJVk}s5tL(9opPE2pZT-~DJTzjF+ zA}k+6TYac#274aLYd7HV!-cO|HzBTvKpk(>jVop+Fc|P$EWI&CxxqUnZJ-waNugDq z*HX?U>nG8(lJ({im;3d*RqT(`b1k`qLX`qdJL^&-Uano}Y`dxoL~ONKN>RIBNQWHD zz*onen;g(*I8nX$k>~vg6^+}z@SXy491dL- zRTzoQ0u=*%oFmU|0KG1{y3|%mEEIYcGk!yI=z&|(-YVM?jW+3I^Fyg;LPJ39cL@3bTn$8J=Qz+hOI|on+_hL> zKacvj>^m^JILjhJ-D*S+BCbq+X|R}ZTUCanedxBc;9Yz?;dPf6MS>aORZ136-w+xF-$vY#7Ki$gBZ0b-aLmglrC zebPSs`UQJomPA1%N4?tkTRJZews8zAue~~pqS6AmiD>VM8Vh!oN+aB=KyqaR##8IP zytK8aEf)>e7X?h&Fog5^7Y$xV7)9_lLxAY{j>C|*`s0T4|EcU9V?_D(HQ~l?+qP}n zwr$()-fi3N-L`Gpwrv};&zroNb8`PPbMLqMP+3(;rLvyiqxAv9mPO7y9yXho@I}L% z70PFa)!woKDLGLVu#Y2xVL5HUsjlVKD?-trO+WlLxTN#pj&A_K?jr}&n+(ha8Wv1S z06AQ?Yy2a&aAK!Z&Y(n#t=jLl&PgE{)6|$Yf5p5Pcx5O6BmP@4xc%th}A^V7H+KWsiwo5y`$glF159Df1jKB zcF2t7LXTk`rWDzU+ZE=}7n^N=36DO{;bR9~1DD`ibtyToA=J=KmWqyRzQB+n+x3xaYux1H^~mg1s~o!w0`m7qXL zX1iRZRoGTERP<))1i~(zoyx=B=7^fnO37k+Kscg?Ekm#VVEb(!nbB&z-(bnoKFRI+ zU4VZog8&UY;?4F*RQ0Q6@1jJ0{6p8<(+-|n2Adc%n7&omBu>K-Du0se@GUqVKU;W@ zG4RI7n&qk7CwYJJYz~N!@o(ps|Ws2 z@w9z1XghUz;#na^#r-Q8cXZPMiQ?j zJwYpPh;~Q72YLE(Q2GEuan75E`~)Or?Nf1ep!e$b+|&Y%o|c|-1#pE*g+QK!wRg>B z?WMA#)~NycSh0*Buusb(@a_#*jr~#5)SlQ&OkJu5)%ZB+bHYjFOyicwYNs!>yl zS_;)LWNtKGPU$;cJ0ki&fEzZ3{|;rs_#dR8mA-zQKD@EM`s{x1s$s7^003GLaNvIh zPHg{1$Nc{k+J753u`&M#a0*t1P)1t8%!xAz5N!+>m>ivy?<-FdX>{?>L_y7i>}J+4;uT0_9~&{s;pH{7Hzi;TaS~yre?XjSmM+sC9`l?nj>^tz!}ZM+|{$o}%lcUz_l@Gw+#nvCmUI z78U;$utzk~>b>)mD>fNDYvmG2RG*g)vd2S4+u}_#BL9`SC<_}4JIQrj23=twY zPrPs;6hz-{_1vI2S2r1`bsKr3#6T+cK4&WFMpF$GzL%O1&?3}6{s;0)nB|8AJF3P845~&;VyAkRYiIn$-z~y(z_=+S>Kaq(B;j#1xbEe?tg|Qi z*Jx76uCT2HEx-YqyD*WRFvj%Na8DGx`-<+QOIq^R$Nir+ZI1~ukxB#Pm#W~49H83? zTea8?e4c?^t$1F|sdoW$lAS_^=M?AV7jexixYaER zeCc)8G6)C12R8ctj@Mkq%@=TE8`qWIpbt68+X~_k)8lQFSWN3ImNu56lvQy^(d*z& z#wq#%J1{f$G0Af6Hnw>Kpxj(t6xZ6t!wl(Eit8@GYa24-a4Ag6kiJQ z*lSCgV}{$q$L$Zo1{lxCX_M&_ElUgGrFf%EM^%XZmFoPB`gwgqNVj ziSe{|Q2W`T2k$){SY2+=b}4(HY}Ma|=YCzqGy_a$D|bfktWu~Zo=nL93at4klTaF9 zS(L`<41&bO2wuRvE~_UimMMvjjGo1fxVf}wah{tYXba^o#2%DG7R#HMJ6@TIi?DLP z#$OE=~bQepAsNn0k!8xGPb%cWemokCulg($3F#8Jmp<2T_#do<46!7+SgN_9b*eIdHEt5+Z zIXLdoyyH8@shzYsPr@XH!$1Uq8(D^?E1fM4EZ z@%zHnIqZO~ZQpf;k2~Z!-W818zcgQp&=drK*(W2%f zQ|jnYad;OyyRk9J$6~NRRLB@^J9e&v+M>!@F1U^6-WI0@NHYX{Kqn;gd;K*l_0Bf7 zMn768-rdF$rv9|7^%+YpC=7HUv;RC|L>bjiB6PfkyjLtek?mWM6QK~v;c_S~i0JU* zg=Ob-khMZy2UNh%+mU-2ZV(b09yDo6d8?%sRfW3tQu&&&mJ7{}{ZuHzgSXM$S{6;k zdLc_x=a61U>uz+X#g5d~?4{nVj?@Gync2OSEkNu3kU6^3YAZ}H{<4iM`b^CQgBM>^$1HNj5w}p#t($Hovu@`S^#@L&vY5&y7?vKx+hI<*LC=+aOXUk3t#I8{{bX#CzEnl`)x%2_lI9-kSynXX3 zC7^%Xr;~k=E!^hFwIu}cUtyZxdf1nRh`%dK8f@P@E0Z(bOR-> zqmX{keH3Ysc2*pE4|dlI{{Vq~lYtued|dFsz;NtL>hL{*FIJ0$_BFcQCb#D`=~Zo4 z2b6gnUN;m`70x}?dCHB*r2gDv zFNRe+E1o%rwpS;?$80-e`-mq>vZ5YgPf(D~o`a^T(%+s8oxbP(#(o`;`AzSn2B~C? zi01_|5`00Ufn_2z=|WmsUgY7`$t9br@|;0bnyS(C0tx9wcOG4k0fTokJswkRcxZnq z`t}u4cCZ2hcu`0Wq`|u)EY6}{gd%t!PB2xIKO%rQ6Q(u)1WSlod z(Wc_akJ&rblGkU}e|@RFi&5AZ3v|-0OPrk$CC1CyK8eXM3y|7TEkg?*xYKHVHpwW$ zpTsyTZ@L>Z(w~D7H-0iIXPL61Ez7f@lul3f@?Mv@yIDvK$wbWXvXpHKXa4T!Z-WUC zL&2wc$_O`G(9TT_lo!xt4ZLyyQSB$V)4<(m1t3ufr;4*cD(DvP{{(Df-?ARJ%Cj7o z`S7?ryNzsZuPpo|jNS6*Z2jX6vRe$*Ca*pLwOh|b0zN@u2hr$=Sl5P_E~(PAMxH(V zlVH5Z(JADor0ItovDYNLlh{_dYD^msbFhuG zwp04a_8D7@{|~VEzoozY7s$P45CjN_(s|*z5~*Wtqh`@`-fol2i(8fQ9op@?^B@za>2-bma``fKn0}Z($#wJd z{q^mKuy-yQCY&GN=MRNi?Q7LPZ&Hzn*pKMrLt3ROT2kJ>IL(K4Tkv|K;WkJVU?$9c z)lW6}X|Be-tkb!&^%T#y%_eF1i7S;u2Ci^TfAUnZ_et}@2i}uoKTwltQgq*&0ExHy+s5M;)js1l1eFYQ{L*{DBs-zy=7Hj~-I zt>5i7UW_cFoS=zNCJhm(V$qpv-pMVI4PQ(c6i6zHKnIT$7CuPapP42tO<)RNgU}Gp zF{s_2t1eDW_$^FLq>4}x4nP587&uCZJ^1kp zbxe3f1WsfpqT5M>6g7$#yE~|6;j>yeBMccs*U7Y@EPQU^h0m*DaUOp^&rCb;m|1EuQAV-o+j|tGW7mZRE@$93Dfb z*DLT0wk5dA@zI{i?Ri2~FluZ!cS>Lr_K$2vDV_DNRN3lLN~<|W^(C@+Wn|0=#xvpCnhL9|TRRUoVFRrdR^8k?bET|W9^;kbmD0!^qYb(Z zECM#N)Sog593?-_ah~3)1HIr>h{pNy-OW}B+Mh2wav5Kn3K+}H_d8dg?1Edm-SQte zI~60iUyU?3)@0d@0!w9QwyTF$`n>+) zaeXYvHl`&Mo879v!a@k(ZUUmxHHae_tHrfrm9df?1ej5pc-y;m28@^LQz$ut5|^yw zUBEcoP6ksv-}yH{O?VdIZ8dOcUv||juV(K>I&>N@I6L2h({dq&jE~wX31&)HFyh_z z6SBxT-OqW`V4132a5p@+k+;T!u$&>*?qO6cqG4E)W&EZ`|xsdfaAaAfcT0Uzy{Hk7XB;#NwV2@RD@q~P? zxXw@V{sNE5%GGlX+QUm&j4AmHQ8CssG#7%82KzDKPBA#YW{=ZludP^{rY0@pz;}`{ zi(ZEozVhHQ@UbNC;%zr*30a#pU|%AzW9zwL|J}O2MKf}?JUw;6F`Utdxd8T=Di8I| zs&L>kdVy)L-`z$(Q#!$x&%n@aP20tqU&a$G!9MBQH1&3*Hx@L3JMHc6S!0Yw|G?w+)P_Cja2MA30ab=E)}oIn~g_SF=-Ja z4K)`WN&so4)!$ED*7y!}aHJ#}NrIq}A4y+K%mx-V#7?Cs#~XzN!Xxvu@78qw@s(>xd)`)aQT5+c zW~2{AFkq^fkg9b*-Em}nMjz|hnrc)s@c z{T^1cmO%|Uo}&AJYz9LX@hIhkyT4KD7g{Y*&H#T{;y4RzBlnKMZGq3s;5Ua?5^Yee z;4F6wL(utDCB)wAQqV=0_@C85??>~Vgs_wqrL6uMroa-FgIR zvXU^(!k!HV&PFx9_E!=Yk8;rhC@p$c0}!&l;oTIjYE1@zv%LL~mR;+$w5!*e?}&Y! zTiO8oBJ=7NloI)j_>H8GLm#UyYhQS-`{|t46CZ0Oyd%ec*QqXk7i*Of^<1y|O}%|7 zyd;$-9kd8thZ}GGMN((LNWutQCN;10!zer@_n|>^oH~5^yTAheUQJ>_5A5xoCPf=NYW`n z9?uhyugLC*BMmr=9sGWaw5ZQvDaqrb$s8YEpsYWJ-ncb8o^vIzb@Eo| zWU{rZ^E&Hlc|T~jOM%zzz}n?LS$qH8W#It;2v>UZuI-V1dEMG`aDs6CMG^#F^C}Mh zwS~u}*Jm-h@^PVqJ4x7w6DD`VWF%T?1mc_(QOX{bC%X1^DjPsS!0K2OXOS=9V zubr~h(1PWvU6O;52SB$oP~FfksJI}H_9nFMCtnO@fIGxpS5pB(%;(t`yD4d!;tcwA z1;K>wA3B}Oz$U1%5Fho6S6-P23`W8O#|7H~yNE6~JAxztn#kdO_=c?{{5l(Tz^s+u z)L;rD85|C5#$6pG@o={X>(c-oS`1}Fy+K5`xaHK*2hGruL^DvwvDQ7rI|T)f$Dafo z&g#Ct%;r)o)|o&D$SQ6b@}Xx6WFR!*6cclE4ak42zw?5 z@%(~m70KkJRy0sst&)!BXGG7RGcYD#f)(D6^u`P|)?%nmuO2eC+Yich`um7m9S009o!g z-#&>uK~7M~o_!}S>26tVkQL3=IX_ZM57(PihNsSl3`-REcvOg;af9RS>0HC?*y8Jp z>b#ZmpS>}Z%!nvyc^KC&Xbi_vfT0pSd`Y2Ae}#oRRM6PJ?p~R?yLV+zneV=>G&JZve! z9yrpbvX6F`MCZn!{MrDd=)ydBs8hG}ylq5b`gOC6*PcfYN{&)va=RdF)@~=Cip13h z&nullv=pa$xr|A)ifQQ69UEyIZjI*lM{gtr&xm}1}bWK1jH3pi34T~V1)m_^%` zY{_FI6MO1hx1$EvNW=o>$`3-IidkD6m3Xc48rA}wL2HPZR)MTE;@31o)TJCI7?3A) z!n$P!^5m`qBK2_#o6;-Z=9Y43LJ2Vk^1Y{;uQ9HmxKTL3QdBNpzL zLt-*_756I`3-Y}(=uhm;g z)pW~8R$p=Zl!^J;oR2{mnboA>m~9;HT3W}vEZ1euAyil7M_;qYpJy6rHxUF$xN|M% zv9_h(vkU`q?kMYzCtFRdN;c|wR{89?b6W}+il1hUGcib85twbz*hy7OEDo9lzk0W! z3-8{&o$Roa7}jjI0YP7FJjBvS1k|bI+V;)(_TH(epl{&FAvX)LQeWfuO1=o=MxI-De|1j!>a zs#m{dEVD+8rpeHS+7;HKuV$WdO1WyNx?LMuC5Rm^0xIDs9M9pe5PuTsQVt0^tRH8b zoB>638nIt>Gz85JrPi{na(zLGN#P7tnf-!jpN2<#tcN_Bs~G`yVguc0E2u;W662O? z-Bf>U=pn+J8FOn=hANl3TC|g-+7bu_qex-v%dDJ0hF&V4qcW^Y)Jprb%jdC)odjOx zUlfTVTchA(E9f?h+CZgm5~ipZwvGfWnQ#`qdL<)Gul~NED_{+H7YpDDlK(A%C*bH_ zJ1e%y>wVf=^NhegLNLKxXhJsTB66PXF&Z~@d^E}sZX_VM-L~v;Cw@SR`qdlsyM61J z`uA-<^t3RZU!dAPP@Ka0L9h%vztZb- zNYK7MQ>gDAI$8@$PWFdzAC(K<)tkO;lixpo@^y-Gm~OZ0%OA@hr!=c%V{5r`l+$66 z`h@D6tRr1AKY!HHNOoU&7GUfT$O4#k&^R-G*oBI{O$X9$~;;+8;! zI2Aa-{y@uh#QNmmhn-E2y?f=9vHI$g5Nk@=C^E0I(2x1RU+@NDZSoAN8oN@enX+n4 zw|8uCQ5PL6Mh+<|YF_d_`T+oKQSJN#>=TwEwer@IMvQf2p?cacaok>_xT%fe9fb z(D<{xy}jV3^x*XLweJ)I+WxmO?9I&%^1OpQGvLyFmVX@Ls%uz znrDXDqL2CFj7^D|(`pmPyXwFfI73zX8G|bwHM6gnRvlK9)B+aIut}In+T>-{-;Nx& zj@R&sojmR{MQ;MR(t=Ub7POi>yDM<_j4gt;QCqz?c~5U)+Pbl$r)XV2ui1LrTAn=8Jf>S0Bf~{c1algfE$Tp|a$S07-muHn2|{tw6X{V4Yn#w7_ zB9SsUO4_!m6Gb4$(W+4^HWjWz#vVFiHFr!DJ^6SjNMnvt@_H`h_4e{w`o(4I2e1sN zOy+ETg9)1=eS`JtJZqigg1r4PmLiplFu%({TokIy^3IWShmg$XJ@P7GdGLvCIlZtuJn zxl2DI?smCWR*j#u!#&)aBH%6O^yHiI(8`#J+|rT~xX90Q)X&YGp@z#pKJLo-Gk|7$ zWcN^Rpq5x79$SO}1b|ALLwhc)1D>n&s}C z(x91NQ`H{gK+x8Q>Wz%Z3Y)U#rXtF)fKB|;)b32$ma5X@1BVk*I6nqFBdFCpm9pMZ zcIM=bkLS+VWFzhUy|d9p?ERY$==XWV>^>AA|+GWXH!3Pf|-EEz#PxCH;vbHmD+us zXk?Cdq=;s8U+{FaW}Ph_R3-4=^6S_i~OQL(x6IXs97Lr z3&g9WC*LLUAfwMW4Z=2Z;tC^H@bMB^l6doshwA&~ zi^3vBy8n^Vm-(AM&GmPOxU;CY2x|I=gR3^*i4;bO~>N7lZ^&2+O8j z%^URJO1@j_S=^HEV#-~|V ziZfo6w^k-1gtlgx9tKj=xwH( zeW8AcT7%IA#hPW?@g9{@Tecm5<+6UD^i7Ea!x5%o9EjpUu~ufC|#Y|BHSNnPXaDnXrg@V4>XJ&JJr7~Uto^YS(^ zODjp=O|L^9gzi?U`LQuS^N)+UidQ$YK`{=bwZKH-nk77nxp>f3Lx*~gEw1uY!#xAk zm;pW*FVK(oXU&7`R-vqgx{g!K!13)9c7VMFGhs&`>$3lO-mFN;(XS_v)Jn(Zzdt{x64)W3c8Aa;ttWsMW|Bg^q#zpe*#XEe<>)c#wb@)CQAxy)N3m!2AFFFkZV-$ zPfH3%9x*C3x8hfj%Ms5YnS{B8k4p|kC@ORd>Z&TX6AL6M;8UQK9YU6ceW-;+4r&zb zYb&Hvt5w2NKn>>0aLqFb*NmG;&Z$bosH;+<4vj<#7a7)-@|RI-v{%@nx7ZXo5Z`^)f5w(4chtG7#TWx8U`pyQSAoN!ktt4iJuYu1Drx|1=Ocp1a4~I77i! z=1dsL4xz>eljX|p&FbxIK~46C1Pde+L?^({W02iwOL|XwrxK%qcE;D^8BHNr!41zQ zEJb!u)bE#&xm?&*#eNr(ZxY`2CaElKbR) znV~jfTu4hlp4H2<^9~BlY@LM81nVKM>$t{72C(+v@)K1q`B!0$Vx?QqbXa6X7qvpK z>^AvnhXJgIyO-WZ>A_8r5;3b|eD2e7n@woGpH$H1zumYNpt#L4A4gv3Wxca}ZN(Q= zqyw9lCC`8S;o5C%Y3F}Dp+`OrcHf)Iy&IshPJpLTf8nD3^_sz7a6tdq_bg9W+1Sr1 z#S(ZH&Y);WkHI>Zh<0HB6-Wyuk0~jJs61SWgHSwfKb~RM_sr8XsVPT?j4V*Ha`3pp z0}XV^?$Nq!g_qxh@cDJ+^J+GU3`l;14u^mZ5y&Sg*iaHF0JVBixOH|bRK9)4tp3EB zi9*d9$HJN|BXjmydlofN+M-!OAU>eUsH`%d`Lyu5rcF!DNL=#+=<5w;bI&?lb2qV= zv}9Vw+q03409Yzhk(*Fw4s zmX&_+G87l=lhfjog-sUqu?#i|6iiddl(Pp-<*dg==j1BG$y~w6-;;GxsVJ^Jet5@5 z+;)cY$Y^tXt*&e4wnC%K4Rn%0MxjZh7R-g3y8d=^l{%!gMd%WKeZlH+J*BjA(dh=H zrV+JUHgaWX>z8()Oh`H7>#L@m8;i0ib+XzqXwWpDDl6NnJ-^k2%sSE1t1V8Tf^$^_ z3@KW~H&zyP`q|SngXfc}o(34~F>I@)zL}pIK${{lYxye(kgAq99QtL`-)2EjSu~`n zs4QNH-A_k3Kf1C7EDy-2Wh*mlGA_aPJJB`k?1l1uG%QN}ebf0tdHnnawUgKZaI=)wS+e*)^qCDhQ`#a*WZ!2bFO{n1bm!QXxx7RIgbW+vcWR zm^mK#;sy03RG0_GZvN$TYg4MC2Nf6QM$e5dedsDzFrMsded_~_Q}fd-hHbykd6;+P zO%)Zxq@^WBiPpQHdh-om?hek-ImybVqs8y;PbNKFL8(oAP3B~Ju5|j3M8t1qqSljO zHpNBF+rKcH!`$vFcW%k~{y^>&DaPlB5A~+SglDg5i@Wg^kg9tG?xmqju+epnjUCi% z54&;GPcPiWs=(fsj2Z*n zE)?IN8qmB%432Yb94;N zuX=6F0?`W7`hA1ELh*eWR*_Xlrj>Ix&x~DP)7^bS%kWngS=PdTA3Sn%_uQ(P zMnoP{`RHnvThhkBf<+@Lh5m`YO|86WOnRNa@c7~_TkY&KX^|v~d*9{tLGxbd*TG!z zYbM1(L5~*7kzE%&|KSgMGteC@Pud3N^pD_a)q{Bxt5Y;ep&F`G(hvRuGVeps8fo;V`zL&h^DwOcue++b!GFi zY6(+&SBfPI%gbp9)%?pftoI4W1#C8p_J=mYoxT6?vw!#$4h4 z84EYO%4>Z{XVtRw`Q-|)bwQbeO=PP@ke%*8#Ohe5a=F$p!|me+xdN2_54vWP72r0q z9k;CW^G@FqH}zaB0L92Z!g6Qa$vRa$Fe7p%vE3nNrgU3xY%Ap-(z`+5g}z`UG#Wj% z)KfmPz|(De5aLZ%SQE+j<33}l_k8>_(Rrszf2*yb>(Uz7u?8B5R14JEf3wEBqB(bz zhG>=oBKi7{LsCggQ*H}qG|d80;F#@c)1Ep5g$~%hyiD@XWL;kf3%~gz(%Up1@cLTcqdaR8oLo|=TR@J;_?#LiF3zGXy z{%jwFoy)VlcM)9mxBpMo?!dT8&g9%V9-t9n6K9&0EOZUHT52$4Ru-ki*p|NT$3!i! zsvlsxbkxIxO9!Y!tC;&h%si`;%pArZr0;0B5)Haw$j^`v<=wG*;&@->FrzGvNcB8M zp9uHhI8j7N<_dS5<7eiC^aI!T+`voIwdjp7x9gG5b4lxz{OophOO{gKTonb&B!u%8 zlGmd8w@cHydYh(dXYRI|m*MI7Y~b}pRL#QHqHHu;2qO~Yt>MDU0oUQh7bjzP6`14` z$x_>-{~$1yt6~M+*mkGAxqcqhr8$?aGHTJ^u`;Eub=il#ARRpvKq;`A0=h9O)D-rp^I71F zESms$Zi|%IlSknYidVInTBo2bT{OLUJN0-`U4HEJmr+k^ZB2`X9GSwFZ^^}x=Er>Z z8a!Ae+}cP96eyBK%T|x*0xN(ejadmdL$sfxuv@RQMSUM#Ex$X47CsYylWP`8u1V4K zPcjtdPW>94mxNW0c}7vnZoG&d3h;KPstb$RP+=w?JQr` zIDib4jW6eb=Hv19*>zLZ3rBT{^vG)Q z!rmDNiEcpB3o5XYdT7Umxg#{^ykk+3pSh+7<+N+u0`c4w?Hy$%0FqNjfX1f;M7cj! zcmwiNy{m#vJ2;a77PY?eVBrp6xzYQ(qpTtjQuUPuGPqp-2I6TCj7%O|a}kWT;6L0@LCsrYnZDqa*t&$}{PS2SJzMQ%*AWAo?HXw14xh{SRiqIDL6l zeepEMK!?7$5L5tMACP}&*=PK>vc`V}cIo5{EtQ;Y=w$I(IQ|yFJ32YzGc&XPUn=1l zS^l%GqDf=TaibN{r$^7frH;}B;lq(CnUc=o(rQF@Er+^b4w#4m(u!CizEnD)rl&-J zX7N~EW8V=Rk^kWFY*-)>)!%^>1xb_sER8vWVk)Uc8npOKmj22?VG?|(&`h)-m+8Ph ze$sIu$v{;@+HiUIk5P_N3W(hzj1RDD-Jwj~)pfM~FKLrZlFY|s%=4t`@gY-s3R%m;v3210gU?O!q z(BC+=5{!`Chd}`D(E|1q?o*Y&blIUS|?swCXr0XYFA~+6?3nu-sraR^c$$ zHZiVxfBs0_Hq)InHiUm=Lbi0&+OFN0%kv=zGf5f}x{`VDe)g0CYpdbWwv9NjsRTbt zamxp=&xvE4xD05g@1+0kZ$8@k=x>eRRQ3mx5_FfJt=6Q}0F!c`7>Pzh0UYH$!F|;!MOi zI%o65gpbRecMPmFt_;4jGEyyr9Mg~1^vEB zLwK?%5v%PxZ;dYUf&*D5|DMs!*NOt@LYMVkXvP#~N^5pwQ0`4Z z@|hx!ZF|y2Nr#whOVe58Tw84R&erDaQvdo8D!CmPV6AfSg>|BeT2%lKU_Hni> z=QW{Lp3{~E85W-RneVjN7F-~mx{xD6>s~~q7<{c$M#@^>nIB1NmerpiCee2??eD%f zylBXqDRL}a7xP<9@3&Z{$BRs7*Yo1YnM&2ai3X}U<-70|gXMP=K77dMre>KW zU{U6y%eH5Je#lE7q;l+^nwfH6Hop|!HkO;`uXL>lHT<>i?SKxkN>cWp@A~C+j3+3w zXp8lx6TXX0?`)b1mBoI88H=sZs#gttR~^4CIb(lW74?*>U|o5L#7&ufJpMCkd!O>iR@aG`2s~^XFB@<_d-S%>s)Lc$?usZ10m$;rSxSq3*zMx%vnwG|3kafT$O3x!a^g$4ZQ|yln?13ehTXtKaG~Wm^PG^a_+7NU{ZJ);f88ot#}_n`~R+ zFnn3ky@v~6m~d^PMUf$yFg;fD7%J!4^NA{QeaI`8)8vU0eL3IKyeEc1%&*Y~h(DNR zKE^&A*5Ame4o)?=Vrm$4&Gzbouyn~b!&v%NXnZ`PZ$Hr3#MtO+7q>cOhG~8Phu;G1 zy1ASXerVDo+h6Dh-RL@b*v-z9u-YU!I>(0J4s!)GeThvg*6R~V&fK*>wM6hQ%zyzT zLNw@bt5k&R>E41QBe47OGAa|FLqP~rqa7+;AEp~~V@`0+YPszC^&r)n!L^%ln^9=- zVm7#?&;5M}TGfZoP9K+!ws5TZ{5nWv_v;+?cOvJ#rOaDQr1J6vqsaN!%{^&!A>wpl zW&~?YcH%nNH*Gw&(vz< zc67G~`QKrxkL)&(Tq`n!LiSUU_Y|z!Y6aW068|{xmO81v6j1JK!q&ub-Zrb!R7q=f zq|CM3xJXHCG@}X`Z;YKQK6%XLL-aLbpIaV@V1;AgLD-&QUO|kF>095hJIK+>p5<`9 zCR}V(JY2Aq$W`lZqXs&YAMV*KM{>ar+;kfjz|w}`MZ6Br4s_%A@vxtx-s~MswMOEI zFWIEBI=wadCyN$XPB6*RDO$x>!2VfallIK%{9`8rC+djGHFI?i!N|oVO|!^+eCkAZ zjKSJefk%`OV-(9%aB7thSKZaTcl>c#{kcB#`$&b8nsiNx_s8sYyvK}b#xTgOzC{|5 zi>rd)Of_FKmm_)~e9y%OCk`p6yQE3R9HW993i&z?D!a z7!6}s<3Z)*9!44?Yh@(l+4;BEi%QeSReR4(*5abp=(Au7)j4EQz4+uJx;=4P0SpBe znF%VCCNNO)Ez=siWhm4W56>Z}BsXT>+mwQt-g%{Kig#g|K=Kmyl%d@>Daa$7wLw(t zx!Y3pqyoejTn`E=y`U$A5^#U%mLdcP?Cq<4m5Xt>Xy53=UOMb#gy_2^Os}K6i;o7h z7C)N)UcX!*&W@Dv?-FEtGg2&^^K@ykG-zcO@Rtb`dor&kZdWP~>~lzSAd@n{VsfuP z30?3{vcYM;ONAsZ?8VNH@g2K^-^obRLIOkugzS(R2%e$7r{0b#4%}E?d&CC0^`bjd z`A7@}Z;%;CF8;g_8~T644iCqZ)Kxl*RM0(zKl}Dx(_cVq#r_hk$8=}^m?js@6 zLX{DM_-ELoSrJ-WCy*h?2^pDe2zggVGId&N%o8vh6(OU;ey34zE05rRQAm$ThTtDN zeAl1U;&6F~%Qbupg4`lYU@*;)Nk{`C`rJ#WQf>_-|JwN-^nb&_|-^pq#h&m-;C z5Hu_hKsZEwae}9ipd-BOI97R>u(AI$UNK5EzB$105qdKAK%lD$A7A)fX;_^JBq*TQ zXO`QTTEnh-&U!CbHiykKQY9wH)(95Z)U&a0_@K#(M)Rc$1$& zZt@4Xc?V1XA0R9H|4vT-f3Q+r(ZrNa(az2p|6fwMBAtY-sU7~mimU%#3TtsQF&nX( zm>ROMa~Lw2uyC*%8E`POFt8dMGBUBS88NZ({=e_gp;NN(G=XI2pi|Rg_`5Wt&i@Uy zGXF=-9mzD8te^t2=-yWWAuqhVFo-u{#4A5YU&UOCJQJXippm#VHMRI<6jH4V__C^O zZ@+@Nrh5A7p2pf#YSWE}4igrvQA!iYXdkt59z@4%05E$nQCJ?JSuJ!$Ei8$~coZYd zb=Psy>l32!pUTN-zsNrJC_$iMeV~1Mpu{+Ti?jd?aY0N)`WnG?J6+{F)=$y1nGup? zE`v(%*EBVjd&<&h9Mp3-UeqP`Cry8r)!#C!ihr|fwmu;FCB1J_yM$+CuFh}AO;yhg zD>>_Yx+*RQx-2d=UC&Dw?l=`M*Dj^L(-*>DTs7^WZ@04tC2M>%@kC<(^|LuS8#p?< VJDQk6GBI&*utAcLh{%aT{xAAd3^D)! literal 0 HcmV?d00001