From ac93c4962ca3599c890f1333fce03995d36ee290 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Mon, 20 Apr 2020 14:02:43 +0200 Subject: [PATCH] Logica 2020-04-16 --- Logica/2020-04-16 Calcoli a tableaux.pdf | Bin 0 -> 45250 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Logica/2020-04-16 Calcoli a tableaux.pdf diff --git a/Logica/2020-04-16 Calcoli a tableaux.pdf b/Logica/2020-04-16 Calcoli a tableaux.pdf new file mode 100644 index 0000000000000000000000000000000000000000..b714d9155cc56ac993d87873d42d62faebf6b1fb GIT binary patch literal 45250 zcma&OW3Xt=)}?v2ZQHhO+qP}nwr$(i*|u%l_TK$gM@Q7X{oSg#e^#vDBQwT$=FFK% zA}=gT!$8XdNpf^|{RYXvflrTbXJ`q@%}pn2VeM?G~w*9As}_$&(p1T%;2N!8g_3UlD%L!K!l z`~8_BtQdD6&7(^!fJF^G8%=RR^nTB~HvDkv#!ph#q zMao4D&>N3dUWtL+rCDF2oM&IYZ%itxgpVoDTe9_ZyK#d{Ss>cVhI7Fpn;B^J-+2t! z>(E`D|NU0uCQ2g*b!jM%jQuR63}g0P*7s5F>b?k!P!=^GxcD%7^3pQ$siZ? zYI1fSzSF1BGkX}`<3=ZJpJ2t1qTooH)0YKEnben0sF9=5tFr=6*NOD6@;_C;hyluo zEM1h%`ctXJ7V008>tO{5H5V;s+Ff}dzguU~ol#BNEkI)t*j=4};#EX4u8K@7^^W#t zd02@3cA)CoyX-a|J0FVwPFF#lnpVjhsm6cG_AHrfUjj+ht1)`3>PugzE!kM_+H}j) zy5d|)vauz0btr6hzE?L5D}M-C#f4m^^M~oolWS4z8TU$)yFxLTDw(!VZ1U1*<+fu9 z2vA6Q<0f&v8XsBD5-plYY`P5j=75TqG+N~X)_X}3b+a(_66Mz4esc0X=LPMW^W#5y zWDk(ljIRPZT-+>aDAAMr46yLlD3~o;Spq;Zzs=>UO+kG=KPWo(r+DK_)P&R1FKLH7 zXhZPG z$e0RA9zjp)HP$5x#cybZ6xNQx zkB+BZ3OX??sid=dx2Y;Qc!qw2HW!qtDmM`TEZY|l!bfcvuvNEsDVnJ`rIZOD=(o91 z?7+t6z~$FqvlhOl<*G_Uls0h11kp(3oerwQ%wv{$eB^PNnU8Ejtd|D)9-YQ)pEEK@ z+iY9wxjw#K7_!0wNPKvF$EZu~|0&H$6+oXPL!0&W31JxEWYSZ3ch}Ar@Pb`=0w*NyTXHyQ z4jzIy-7>|#?IVZvLJ3367oQw_m10-a6?TFOvm}%E1S-J?$J@h|grT}AUQz*s*#TFj z_tH(OFvvFUUo_Yp>amB(m^D61qNq3tJtf2Gy@mzR|$j(Gp(ZpFSSS7^lrNd*t zq5x^%a*Frvww42uKqBeBHs%5vuMQeWWPHs^;?pm@zlS#_DKVDZpwf=k6t{zUM}o^I`!8vnfOXtYu5XU7 z0OPQ-Vo}G* zyd~tQbB^M6DfIGA5ml-adjuxKiQQ;Bm# zFJ=2npS|Y8q}wl`ClKT)q=~KZ{})C7{Qa-+Vq*DkQjC#I2P0hKOAm`q%ZHF=*{xQh`0s`cz{3ihEPML+ASqj53Rxe z3n40G7;`pTPuEw2mxpfGmkzBz<5ZV=woODG^lg<$oHSW0w~mj;p%&P;_MAv}!S3>o z&EA&VxAvXQmw8~|`H)B*MU^la_`}rwEi_Lmu*%NG9m-(T*CdeUZuKq;e=oJc;hxC0 z)K@NjZYI?a_%rzhiaj`KLF+xaT)y^-a*-B*w12+|Z9}3PK3f$dwrmj@-Upa#kS^DS zL=#E$V&Q?jx>7ry)d1dAHBDG#&-G+$H}^Ln`}dzqyZ+d>}FSeiAKt(HYgbfeC!Lv#UGi3=G}|pT3kK%9vdG%Ue6l zeFb~M8#DTcCrjhp{FRS8i3i>G0kW)II+CsySGn-}RieK*IhcsVR5a{DdM><`xZ&d> zR)33h{3bOd`PV(ira#|r{O{Z9EE7;ZGSi>Qq7&$3f`ZODT<>=PzQvUGKrOE7CDJ|6 zus{l|e(k>V3T-ITfzEJ(MvQb9P#SbIMCAKVsad;Y79En>--9y<2iIoPiL8-Kk~JEu zRQ;sD0^F{VyZB_Vfd|rk86JJH#OPv{!Pe&XlnV20Z3eQ4bh_B^c_aksEMVv$2xvUQ zxf3X;+p()84$|w|rE-`i=b8!eSFuu}t!l(;o-#XUdtqbw58wvV5P2B9h>t?ib^f%$ zLJ<1(mS<;_@*b`LN#vXY90P*J{!pxIl1I!9B25AFA?YX6Jr+pn7-QY?<9P~F;0C?H z20*E3sA7k~3G4pe@12%<)H>AzUhv2Ly0PUjU?WZR!EAeslUKO7fpj>(G5b~~>`;eu zroCM=uKm0{d?D`%_@4U&X~_iq#L-oW>?9R=?Af~@@zSgsTq!{-bAuWpBwq7b;C2=w zPC%Xwp@E;WFtI;x_F0J)8FRqwW+-N%Sv;y9rrkK~%QpMzK~v>$e6#8m84I2EjcY3V z>3fFtRTH`Pg*z+`G9Rw+t8 z>95_ey<7vvABcP|WvbasmsQrTW;&H?7~~I}JK&tEbrYZrnUdDQ90guiBq{OjRZgCB z5i2`s^hFS_MJO~=r%qNWyV&rN@`Pe)^OsxZ+pQ^I>`It;S2>%@nEmYKKtM#nob>ct z%TnH1F`!WHxe(oGW8My737};10pIP->Sg_R;Ic1AU11d%V#;HlKIsmk1=ops0Ufr@ z5+E^Q7@s(cUp?(~FrIXEVyL+h4kaQC@>DmY_-tdf@R`N!EV{)U7Yi11L+bgOmZmLI zmKEo&UOuUXtEXbe)`m)Gw z050xW9Vu$Mh$5FtUE~<#jxkGVN&^s$5##=b8*i>_R+0iiDh(<&*6~E65m%D6nRg`+ z0GzN!zy}#kMI9x@{)&czwdsAd1){(*0_7DQ!iq6=Ov!IF7>}Bt;9VW2J{7V z-^IX_BYAgg7T;4C#m}EJ_)WWSj_WRQkw6dn@OT6G zkAlMtOTKqqEs+Npb#MH0NZx1~n6*_r?4EDUhbnU0IHp zN0y-$foz^-rL6;ZyzmiYC`w6>Gsa*ZpN9k<`Y{Sos-11ZfTS`>4#k@A#*?>XP@PdYgMaSw?*OzB9 z&t*#&9@C%Yj?BtmVT3YhkT4jmp(p&rKSrX2q5h52agQ0I#&N{t@{;{(t|Z1qoojVy zY@^jGU;)6Po8}#?MEja;or4p7VhlD@%PIaf;v&sC1={FbH%{D;RT$<>39%kDU(!Pf zmovR|vn!$jTM#mzN-se-H_U;y8@NVcRI42Y=N%oT;>+hVrpkrZghHcL?2voS@NP%H zF1s1PrEI4p^bKNej#4JMw7(N#nx(Tu!CIm`U9^Wu>U>lf|tV zO=z1nXP3C>a_Gx7YxXmN5G1QJ9`;$Ww`pm>O||=M(KvSZ!afEKet6&j9c?68`W-D8 zE_oStGMBqM62KN2kvZ+L=Vg)Fkm+iN6U?gku$^Pclxkxv4q|~|sk>To=Ty3)^fHw6 zbXgvtpf8oCuoPjB38@LA3v?YOBM}`>lNnF1R6|m?afKD#%2|YJFew_rCUczZ?pplR z^zkZIIaruD6B|WFFIkdvErOyY#AH02FByuaL2miUEj@f#*6WFHE^;qz=*aS01?KGv zqBF!+=m3S&+7QGonZ={rB6XTF8Ju1?oU?%&*A0N`gqmGy;E`73I8*fwdY-Fn9%sZ} z^ds>rD?F3z0L=oV{W4Y61GdVX3t3%cb_bG`38k{lJj)TRE%z)@maSd-b#zl&zUK0d~>vP#xs-c8STMrNO4-+ttN}V=8yO*Xe1yrGov;iD>ZR70X`a{X3-wHHDhdy*#}zcmr0uLxmyyM}BfTTqbWzTf zw*?aORi&quTbrQMZBVv1#LLV%o|;y&0s}2V!pi!E?F7kG=3gWNRWb0?JsekgBa5wW zmOEPtP~u&&B`=+5H5Klv)z7-eTtC zDNRBQbPke`bw=zawQD;uixAadxZu!;1K; zB&wH}6*S6a=TG9z)2mX_dTl`$8LOYCCgQyTg|eP`k!+`>m)9F;xufJ*D6hx&?3A zO8VmFBDDzZ4ZdVM5Z&TS;^<+n$#}Y}OqrMklM{|Etz@uQQsD(usL}V-Niu`KvN&zXM}F zne0+$4@73tZ!~y8u^4q3 zS|m2ki^tyM^HEsu(kX(jRQemluJ?>vrpw*9UrhY|+ezGl*@>Z6&L)xg3f*i?LNNso zWWj7fmxeihBv}J(3k~uw$WCDvLV@H{rYy7)g00bAKuG%o^OK?v}|{zps0X=T@&cuSy)z!>^o zoOY6sQSCVL5Ocm>oZpY+$5CEi$LDsNdU>Q+&8Q<6+n`h>%HqGdCCvCGFNy<`hXNEL zb}_!(`FtlNstPIhg~lj9eb$$oc!8orZdP*}+VlOpIb ziTtm8=@rfAh@gUoz(NMtyKuVySlB{hSN;X7Z@tfE|4SaffZ9X}vd}ApFXKr)Q#e4> zKwQMKi=1WDD$(rI-0`^HIG!RqoH&F0dHF&0K3eeux!zg6W);~YXJuy!8gRhR5cEQl zM8bm?<@GM^dUr6Uqg}{V`%rh5cI@*YLWUPZ6I`Dd@yz9k_LFEe_+ zltZ#frm5G{!=-^cRXm2uY3lJJ8P7gXSr9clrBMBq3?5r11_c85x1$g~{>Vcm4ncF@S3U(&MBklKt|)Sm0F&Qu=MO% z-Rgl^i%A{8F@Mi_T6sC7jxg0BEreJ21)u|NC@}+6-HE39p)y!~0?XwF0pfH_dOW3b zwInZ-(Xm_&mR?Ql6sr#?(V>V9;j2D5&j@~hkHPmib@gD>+xbg*R~Hn12O7T{h5y6! zYp>=_q3r>@7BVc6DT_m8P+?B6oo zkV^%KIv-OKeRJ{*obm>TA1l*u7^X|RFlp0_mgnW*%aGzHY&nF5%{BEfazU>~%jzH$ zP7))!5G7aV(uO9`i_o40AuFEeK-`sYy`I0d((Ycl4x5L3bbqu|&-w$)`Q3$h@L9Uj zWzZLQrL1fM`d8PmsR$UJ+F$Zpn)TQvV15FEY%We|DJpBk*(8F9}$OltB!GSRtoGK?2hg#6;nO#(n$J zkX59CQH|H-Q~ep$&N?_z*4cd;+e}AsH5*&F`_vtJLY}D%%z-3CCr#b}IaQy$a)BS6 zle3T%kQdm>`pn;LuX=te3dCw}bPJ$bg(0DT!xD<mV`gzYd>2s~jJ1Gki@_Y{pAMdGz z!i92MQJM8(zFz4cPoRquDB&}H|M8aaBGg6gKDfW>3nC%1c;8y+&4HQaBk)H@?f4j8DTw zI!1FuHbrpN4HfdIQO#{5lY%`%@Sw^=aILu5ebl=2kO=H=mngV?zLoiU2Jf{89Q%sz(8A| zS!RPwZ+_*)q?ON4W}8^ss;;wz!c4z;U!l>i-uTU_^V*LL2!Zk;_17?lvB{8wA$C20K{AH_=8E_$KNr`F>S z@O{9ojJg|VQFd&Pu*7WmmYmo1fQL4zDWdFEnk6&(QinI1$An#pY0Q?G!7B1VmyQpg z=I*T~7%nhZJ=j`k}z4Wl!Px(+PAelL>%Sow z=A`Ww>)lSByzPqsG{>M>r+PlX24D}ybB#p6Mxc{LadUj_;Um`%&kT5IzPY0J0Mk`szD>O1Hq#Np7Qr?XF*OS1!6BEF zo2Zz&OWg!GH*t74OR);NS2ygtW~s_sTR|9pw4`%-WZdnNPlr(2iSWiPV~kYJ^UDjE zVY(Ft=nnV?yj_HvTAi*=8AoeQQFukC^gGY&*_v%IX~fvnZ75d8V1${)t5e34gyR##bz(c27qvQ*TcWue5ar{Wk+e9AJivYU0KIlP{nYJ?&D0UKw6l zmhpA~Ih<^1Ne$8pBYvcRI_sxlbH=*FKKDBST{3f?HoL1FJ6^3Bvzk|Ua;LRv>)}ZYm|Y@`f`ZbDb}`PHpDQ1iu-ab?Kx*?km>NUk#cw#Hsr#Gn}zS; z7tyhe`FzI3Ssr05PFZ>`rO8D1&i(1#{I%qu#TsP*=`}OY>$As`r{kfMhf>Vv6NUmh z{&X#~Xb^i>eLi>R4hjK@k&W6Wq5)d1Bv_ysFDmaOg-03fOIf6n*}wbWB7H zE!uaDz2i`oScweF&c%&w){QV_+Tj>b;%{5#A{!(lFZX!K&9KbdTYE&>L8)hLdxuNl zpJKdnHd%Pzb@u9*_Ne-&1>@!(`cTw1JIO=kOKH%y6zpLP5l`Ar^c@>j1?Y!4(iEWD z8SxhX^Tzr(mGsF7RBzspeksVqSrSbE3Mj{FR&w-ECK@_s3R#>DDGY2aL*SMHi{;4* zGyoH$xl>I!sO%(}Fg5gHk5JoJgfs7|vgh1AiZzEWVU zl)zL*>SnFn16(;c8H**WU_laRXx}*2NtM*!5Wq2rL;#B%r~!dSDG@aToDG_Q@+Sr8 z2@zzQGo_8=2`sx!I$%uf^A7KB?1V7Il>!g6eg6UPC6If zmQ7BjY5zt+gRuZ@I6#kvUDh-sE!PM0seSDo-EIJ6xRcE(22gKphf!_2b<@!1%tm_j z>#wZP(uutc<%Fvjsd!5j%8hk0apt&|XUpr>HkIo(n2Hz%ER;%yxa4>(aDziQR#j=y z4w=y{+!8ub@=lQ-3y8Bhr}KDjG|Y!9T2ETBXu~8bp)L%Nb*z+IafOjV(tmOdfCtE^=^{5^8iUUJiLLQM7nl(aP2MW1{D8lkc zG~c^xemrSu;)NkgN>XB$6Ok~9YcyE}JiB6XFf@!-C4~TAM4a^&kLctJKMW410*yQ7 zl-MzmU35b8x&_00bDvERLM@LKP#3xqLk zGIq1o(GDDl6XGuzEYKXAl$jwV> z6LlBv6*&|s!BnKBb6XPRv@lZ>mw5|~rZR7Z1pos zKy{6VYoiiO*BVcwzny16N|Iu#Q&DMDdFzUiCj(5n+y(GvxfY8YliP8bQ$^&U=^yj8 zQ&v5qEeqNQqugXhpMD<3a|;N8i>DpC+|uNpJ;Re$)tXgRN*WW-ox=W}pI^{;0FR*W zaUYcsT~`kyR5m9sXbRn%J;9aL>0E!*fL>X!dSGHUr^bX?!xkKke+p6AMd?x2w6=W5 z!VMNJc3Jk*^)2e0pa-j!wvI*7Cm!R(a31+)H~{rj<-GqqQzBs%f*fxwZKnJ!wR=_5 z$WUFYceD@pR`8OPvR^za035itAZ?(2w%mnJDT%}NFO}5Een0xmK zrjVaduPj^*BAf-F5uu2?R~4rO>zGNnHyPk;Ryzg&Kf>+3?+!mVKVz#EP_Mp{wZb@{^N0pMU*& zj_sAS7#lqHlihnK3*6G?=LAkzgjwPiE(#M`hEM2a?o;EANJ8T?DTcDb(8!_pf2jSa5X;AZ}*pe z%^!bb1_{z5YdqzCZ1Z-&99-`_9M57QPo@*V7J~R>)BA?#kgEFgKe>m6;lJS?1`ZDT zf8!o4DLd@{cTS4D?TtQC_#y)s6f++pK1*SDA)o(>lRp9Zxx%ln7?-I?W4e~j%4^kS zU*|Sjw6Hv`Sloi#fvQ>lsVoF+UniL$vg-C=yTtt&H$;`OvV8bBhMxq-AN@}WtAMty zpJ&xl3g55yyTX^_x`lpp^9(hnx)U#dJ``|Cb|F@j^J#4g#> zf}7hp$_0T4Cqxdqo^>GeNtDD_x<8`cdB>Ht6_i1+f{1Pv8(B>PT(1wOipzBPtSgZQ z)n8t5`pL8(5qn)thK_B4FwjGM!lOyz<15_>`PFZ<{vp!VONn*|Y7Pl8%#d_NY7xxv zV6>u@Cnoi^`vn-k`Z3S}Q+(nwN3L;t*SOtD6X%Nev$|#41>CzuO>Sm9GRlnkr~$=l zWrWP9IJMc%y)PcD1Uh6A;Hsdx%hvJw0c8_f0&=`}eRWTAhR~_P1H;cuM=QrqvKL!kPo*cO#fdmZOP+K7HZca4``30A6>Em8$4Rnur% zpvwYhgheXYobU|Iz#SgQ)o?(T^o*7<%!hN{`~J{BTqqCN`Vtmk^u}AE+JkHY zi^B*B%bJwexDacfbANGbK~xt9Q+WMSqNe{!ctJR`nAbBdROgmaeVaVEEW0%RW@TH# z=se(fO*~;&`AxmrEMq5-+@k^yT5hJu(!A!N}zda=4W8nGJ`5}!X#{aLV>y$>eK z_s))70fdAkjy|-E^?&yGtFr`JLs6`+k`aQe!;&7{%fJV-5@@f(gl?k{+q53=A`xtvnsX42oI75>${v zgm3`iyb!OVKGN?TB9s>XV}E|tY~ap)K18!H4_V@5tc9F6cD5GC;zeInR)}(c#xKBF zTuPwfX*5vd-<`|B>7%6i}X0cRl zZgZn_^lb#$FT>~`8Uf-+3>3^o5C-RuyN( z-b9jX>0+yM8DNNbGGm>9{T%0pnJYMc;HY<9BsA@zPo$)=Td?7HqD%R0BG8mBelBeyv4ui@5z) z(gDpcZe*+-L!YQaZL9{hYFV@@wFkFbkP)mdehNtgABUtp^W>rC6DX^bc^9w!ZGR-L zc5Eqpz!qm>=cFP7gGPoXv^FC|$F#M#JD6x~juNSAa?%}gaxyGBH8(5-ruh$OtYEhk zz_Y{#h9^cd-&D@_sNxA<8=<=?XRXrFt(?+05`&XBiQg2TTttFoHpzQjhC7H}pS%CrB zo^%Q^y3T~kzIDGhoUEmp%eW#(Xu3S8Y~g%%>1u-VV`B{(Voy7mJeVx6A|)c;h`615 zP)bwr*fJnH8aNx#yt|WdHafxVI{J!4N>jp1@P%%?WNIDGJrcj@9VZbBij~Nhh0!5H z10yGyu&CngUR^%U66~h(6%XQmYykPBbs~jNi1t8l^y-j zbp=FgC86R#_8g!NPCR&Ky>Ep?MJFZ7W4EPed8yvdfF?r8cUlNu+GHuyQ&q|Fi>P}~ zUUIcbF;U9jXZZ2x*UaE7t5J*`x?>BT%mJ1s7}<($(xwVK=|N@A=EU7&qiF!~o~(~j zzG!z@pq!r1JVoys*#nG7{*5AjBHs$2CYG>tcvfNBrOZxxa5n8gyE5BL4dNMsS~DBQ zY*Qm}SG65S%b@!8k65$%iTX%oEEvfP6f&17@-;%oT7{?J+ zZUXC52&@7QsTS^vmI5I53oVI_7lL2anheBtETFORgXx3{8?aIMkBA*z!*I9leUG)~ zDJ99wn90}fHAbXv9I^p~4HLyMH?JE>?g+MlcC&%|2mbTsk~h|Ao+>dp0Dm}R`E>Jy z0a&$t+$`;{C%VP4K-K@r0&GnG4GS=`{96k|M}E?F5Fft#5yeYdMP=mXGLX6?mRcj> zGdyXBp<1UH6P^_8*9Sn0Qls@OoI%Su(DHTSX`HdF{&2LGT6;iAl!M!*UWmqS+(}XRR1<^a7%~ zP8x8_*Xv8S?NiX(er)|{+u!2ma>;?*hhQOyc6A4YJ1QCWWPdeTas@A?h`u3iTZix} zr+za?8WQ+v%9u9ong$1|9KK~l*RcN};=i2bDY+Ord)S-MDgX0f5c9~kDKgvoP%uk(Mv** zmP|ZRnQbMfs>;^0RJ5#$r*`{XS!bYt@3f8QeL+BwlCVU`BT|4z3NnF;Lk5_a|BJrXFQ1d#1v8J_qWM$oqtt|`Nx}hMLM^{5bVItM4 zCB?cWr6~*M16H-nEuFn;C&8$1nXZE3AKXB&2A=E7QZW=8}^`&=>diiI3no*ZvQCzP%T1wpfE8n;|mO@e0V5|;Ve2WAe)I# zlpAb&|GA`pxrQzbjhqid%BD0w=S`@9C>Z>)*{tm;8t4N37F=5YEtaEF`)i#hW=nnz zM|Voy4(thajmey1YBKH@vCyoKR96gu9g6%nSDF$1Ouh{WrI=*#S4zP1h+N!=U!HqC zz-vX!#-@5nKOecL8yOio0x3QUI^0koJ@^m)tX_$tdNH4vptS&W%>Yuk>QXqV{|BR+g~VpKmz!|L%o6y!KLyylfn-{hj)c)<0ZsBCk^Gygxu-)1*pr$ zxcbbOOrT!Y{Myd^Rjijd`o$&=`&FmCf$^|=Fim_+Bm9Oy%0i{_Sd7I{egepAF}Wfl zKDL@1L(Tk_ZA0hXPI?c78KJuQ#Z@!h>e=r!FJ>_(WMG0siEW8pZD2~4lVf!IJ6bKEc2i6J{Qf|w5BA4%)k%?jORzRV=y3c{#AHp&kKNB0F2-}4 zics7WBHkD%=+K|o8?6yIT7ZxgcRbn=xfJix&rFSw604{v+$0dZBOcwX)m`jjP^a*q zJy}L4sDk&)sK?*q?yV1cGv(-T21usz@Y+|qQuKC?sIetU*TbX~ll)$6u5%;(GZ^c` zZ#C;_mudcrE+$18?p)!OXu!)u5X_Qp!kP^v6$+5$ooYv)TV>%AK{vQBD0UJX=7M4W!*V3316QTR? z^{2KE&q>(_>YLoE6h`ph1}B0v8N#{k+DOkVG;FGQnRsI0zn@Dery@4?V{c0bLH9jW zv6k>W*tH%uJkONJbg|^9cM_Q!jsaN_GT3J8^vW@33B6 zfNjmasxtcsMX(u~37xvdNnoFSVwW zMY}q@t&}CNjf7gmQ;tD@Kl#QaGO4|O{>aJrxBmxq|E012U;8lw!@u|WRTBNIkxbA> zZ*?X;t&PGPG#l-?m>s0eDEJahj0Ms%&Yg+o5rSi;owY2aR$ZyKB`3}8t|vBl-DtiW zY$e5@jDc`EqbH@~Iby&O;R_=s@J7%B8GZ^N{O)&LaXf8Q3~67tyzF{sAHTWfaD~T? zfd$LImVvIlGGBYv);3)Avq;^P>^z#?j{6@fSO8_fvl8yC6YjF5-9=@$y@Y<$H0DVI z`C+ge6?%BlD#(h(x#>XOW5^;}z*8z&RV*ya%=nf!tX0FN%h}c*%XV&hzh?7?&0C%{ zo=0$P@>Ui;XU8oU&0Wh`GOuG+e9d&l?9MAn+m@G?SLQZZGC4c@tD7Vwp|&equ$)b6 zc+y1MG`ylYyOMSk?dmr_-E6im?Aezz9}!xXOLuj2gt($zfxcUB!e>~EFH5qjQMr1= ztXAeje3wJyik7$d%vaaXRITb}OcOd4tw}2*bcDg?LtqOA7lzRx;gQJ01;N9Egwf_D z{ux{dk4N$u5>gJyJ~LGineV=0$xs1Lu7fs0i>s|o9!vEbqCM8N@oSsiUOuu4fIrXh zXHNl4jgrp!e*B*Kp^t>D7N5 z60XIia^>vbPY9%r$(He%KJUYvfABgXL@}9tRSCs#2ytyZ{I>X0L-Qw3tcNxXb7zPsJSLc zf^8TLcy<33>ee4G0bfl~l!66g&q;n0C+Njr$)s3fTmIWVW>Q!Abt4Zi z8!tVORcr`CHuj5xj0>(uS(HQ#MmAo|)-O-A zhlhiM%Cl~fLXL8u^WsocpK$M4@(xUZ{;W^?*+O{}8B3y%IM8tBW!wP|KZvnE$I+iI z+I|}gJquAKxmRXqfXp>6N(fJq#H(LUId=ue5`Ulo@)THcTHjv?1sf_GJTmeZjz|F= zZX36&P_8u$V_Z@$@)~k3@I3M+@txHPV$2x3m~@1MViVCK&xH;IQBlf?n77z}vNzen zmD~uUZN!h4%MGLUTgqe%d_+2+Qck-nI5&Vzgjw^BID?qDoNw<{%fmLB3!1pJ3>Dr8;RJL5D;q zf*??c4|iCm?n1LG!KsgEmI(mzv(p;G^=pvlb5D*~!z>?X#Oaq$qVubHd^C|LeQSUI$9B{#k0d zYBAEF&=bl{_Gf+^Lbgd~|Bl!>jLrAO0z|U{lwEs*ReEDMT@PDfnqNWzxWm0^sO9fC zeQat4fP}0CfQJqmaLU`OYac^r?k|0p-2$@|R3cd%u96z|3~M$=wkkl^!Lw_r+6#g< z(q2@{jMf;%*9KNHWSs)04L4ObpM{Ro*ZU|F!kAGO+(^&Wg0fL^zV!)!j`v zUPcTI$dezz7qg1tpH)muo(l13_uIIYG+^*lEah`VJ%p|i)tYnOIpFq$Rtk`!;~gMvI}@T|62XMkt{@$rTdSS^KFw0-s#qEewW^ zR%`Hxr*!0upzrvO#>05-LP836m0FOFcZ$#gQ2bH+&Q?Z(8qY=#BPS0{2uEyv7E+Mm zneLTj=}8V?{716VRpr+JO;#(hetPcWX#3x;@f_oKsX}#wp15>cq-_yHitjbJP#hj^mY%X>C(w*U5Zrzg>q)X zAwbNMQeiz9IsD}fDw)K{#fXEPAzIE`iR8OZpZ#3HXV+gp51zd|(E-AHO$UALk*palEW01J`X!tt+v+)vRrD+8H}tOL;oy^) zVO+-%CD0>!jsbC2X%JCIDe4QwAuQi-uWc2UV*aVe=`*LYm^}(94BFPC57{TpynnAe zB=LA?QM+M$s}{IEA!%X4=Q}vG&i?TLFl9_S6-}ca%51(lV`ta@pd$1CR`I|00LFhC zv{i|dl14IsAMLB7sTcGxuWp5~UIjuRq(Fg#yvIOYK2OXkF=?P z%2B*BvM?A%^&SekH!gfOeA*k10+Z>^7)e6oxlz*^N=-+Hdz>_W_>?oHUpR*!X?HNc zItb}+Ao?CGT9s7>E7R_yYr9~LTE`S5G8_q>j~CK(lovw-b>Z@q!4h0+ZktFwp{z)S zoZp9JZuKdLJp={X&K2h~010@7gw4`%eqbGCzck)P^5fF2*NoGsUdi?Kbu?8o;2hz~ zDC+4M?Mlb3YDwcbJqV6GHx1R8pXpFeFytpY0+o6PDEveTR^>SG!ro74$jd6jc|r z=nhYlj{!9(7NULn^F3rXZn#*tisxjhrCZX}-d^Jg1KaO0Y1GBwZU#;~(FRK4iJ}NU z$*tOg*IOAwmpD0&K86owq}Xii$@1XyvAIn>)Xfia`qwO!#AEOHuhL7$2F#^{lluGT*nOR;h#Ua_4ue#+vH7sRirrEP5bO9j;c7dakCqIQ!4 zQ<;DKXFqB5Bw+=XS1Xd3PVsRTEa^I@c*?7r58SUtW@+h zl73SSyo?V%lC%u6eBh?e9bZm8bH>rB)3Mo|zm+(&UY`J@CFLcib4 zWIpNncO-7Q-HWqTg^G^&KkJsdgZ!8k!6CYFsX!ef;NC<_52~|9b(t=9F_b& zoHi7d!Unp*%Wdj*n%O8uA;$BlL`KNDOanc@mn2|Ijx&E-jNWfL7#@Z7fR2k=l)Sdr zw)akOr9kTV2F;nwIzHjPA9A<<=PGc}|8Fb#KR+qK^zSc9=p<@I{j&-oyWc1tSB=QG z8-d_8wbljOQa0;mRwK3YND(guzrHMFPX<7cdW=qtWK6EDlWv7L8Q&$wItyc&s`es5 z-Bp=uA+!T7L=*vMgtlGL~COe7mtyFelNDWtn|n8t)LlGPOS9#-wr$(CZQHhO+qP}n-EW;2@glzc?mjop`2%ClsG4((%&e>$EG;#BvyrUr za>axW6UY1>(`sHS=H{K*!rbx>FB<$aepg1kCTBNrSJWMW|B|r(z<>XJ!kFp)0r<2M zwIbH}kb`d?D39$W)FuxNg!zFp;NaVvDm!MihYcJ3m?7k7KVPJd*)8+@`x#B9-DW~e zP}gX7oUWv(y`#OnY+0SmJB%GyzIm3Vakkp70CCESt8D&!w{$BC)Q)PG?}<3sCA@sE z+*tlReN0&RlyTtj^t3;G6=3G=*Uwr+14tz@}3X@iMVle9d$ zW8s~fZ9Iy+81ZbxL}6`QS7vWF1n{zNhU^V!X}T!r)vmqTrazu{+pXl4Z>c(&pj8f> zHOO7qzgq&XF#oJA5L=HZe3f9HT)b~Mazi6^-6gs)$RZ0MG#(j4@0kSNMzqLYn{hlU z?xye&d&^eV70Culk>MM|s#$`n>nCJTit39Sqat<{l@Jjz>XYPm`wMD;cLic1K1Rlp zi6WcJK!&cvBhZ&d}Y>5{bbDs zP~(DZjUS&0>ItF}v!i?$FFV%XimSWJzK)$mekX3rq}0Xa*CjzD3V`0z6Q-HB-AfQ} zFxISm(s=SfJ$Yf55I@C)==``TY)pG~(+coTYJY#AIdLKI{>umSKZ0P4bpI@f#K~Fw zEr^WlJdk@{q7&0wCBXdAl}blwwk|T`^<9!cGgXZAI&H~u*Mmbs_TK)v=K8T)TCT#T z3WF2AgQYqHBZrnew`Pll(geepOAPhfNb4UHDK2PTXZ#ux{%!Zw&1uP-&HEz4%pjIv zWU*$o`}dE}!$6oVczvAZn@`(l_mD&#R(=jg77`TobZjEEz%{%hSp>=c+-gD41$85i za99e;xUPPJ5spnJl2Z$|N7flh@)cu*4IZNu6xvr73m>jx03`n&I)hxG;r`JZo-jK) z6pNpmS7;Yf$7dG3;HyA33t*yr;JaXd4uAAl#McXXf-M_HpARNr_S0-H!TvBRovhR0 zIWbxtiej1B4S78NbQ`!CZmofY1x5PwfkFJ1To(VRtn~r-;!iaCm$3hj>QIdI?EgvB zwB~jG-{bDqh4;UXJNmjR=imM1NP*5878BV9_RfE#{xrgUJu|YO4FE#+e70q}1pie; z%dx~>t(r>ph^$HqgZOuwni!J!Z-ZBZ{3V-~La4ExbwR6x>_P<(8 zqM~uTGCA*{XFcVQ3ItU<9-yC;GKC1(1Ef+>0hi~9iYz>0s{fVv*)omDwcNO$qS2Cd zwBRgmkjySbsTjDPr(BBI^sFva3PZs^qwW|LWASF-!2fo`=){__by zNSKxIFFE)R-2C6~oeV6D|Hwh?l=%Q1eBh0HICpX4?oJ~&x`3^y?M5T9bb13-6%IcY zgc{H5mBkoI2#x4%m9g>!uuvOiQ7!x@`Vd9qEch7AvpF4f-mtPL;!rP01JqlFlVUc>b*rK4=!!|s$sSWy}x|PJdyn3PdAcdpY ztCDdD@$Vb%EG?%2>qR!F&a6efRFbxWN2lWc1(N4PK}OqSdV}4Sh4>{N$~#?OQwIu@-LGcpo8xEP&r+t7v~vvhxDVi z64BifUYOUy(GY`)vO+$I_2J!s;g+R6 zG+`er-dYr1gWhT+=Cu190S7+zQQh|G&E>!c&3xl4a;;6gsQ61Qhl-S7`q(-aY$;A*C6z(PWp@@G zqR0dY;tF>?!IRvdx)(Wy#rvI~d~;5_BjnYZHj|Pw3Dh+xT*tnff$G%I&qvq9Q_9L* zCZ22KD46n8A4g>Se__Dv|D(bPBf~%A_Wy&ug~}T6dJCwAPFPJ|s|J`dq>JeJJdZmv zH-&IeWS(uBh&PT2R8x+ObT1pu<-UGOQ8d(#Tc#+rSc_54t-3}9!9uUfRZP(thx4A} zsHqtzD+?nt7v#JyRf``_80U91SMToZ_r6K8bNdqmzmOst8eJcO8q=ydP=#O(t`nCZ z1H5XNG}g9ujj})LiC2YJES;nvGs%Swu4nymQ%?rztw+wB%PI3%<^7V{K}qk65gJa} zqE-R4z9SxD=dF|8lbp4u6U^F9K)AArcCDTv?7$ddy6 zbw(^;rZ*0b0T`NHLh6f+-uJiE5T{X5#O`8sVN7ua2`MT2V}biL7BXX+w&`Mmv73j_ z>W&D(llHPPL$xJ53xep`k(~c=54?4C`yu1i>6unpL$Xs<3Fczc+Oa8N0|~BL*(M2! zrP54#VnV;9oD(0d|Mk0bx(KX*R23)9@^)yrn^|B=2&}?Gu0xcY;;9!m$d7E)L51dd zN^Z$lS{@VyNG4 zYx$kerDZFd)0N%CC7*jMyP?ZxGtJ?Ib?57=`=;aNlPFa(Sd1vXtb&m6yViK?vi4R~ zKpmUaC0mCmBQ*`v` zfT($;>!B`8w(7m=wfIw+d7#5q@W})ErH?2T)B~uX4r3K=HFfah$NA%TAN)+Uv@W|t zJ-bP^kM6ENynuT&Jv;r_eUF!Twrdt0K3-ETfzyQ-Ya(6bZ?k>8K>@+dHG2*ci#MK3y^0{=#T+y&VaQ-`F9d zDxrb2ewxz7iV!^|OlBH{#P+Z~N%Gx;0XotIgP5_y`@Zil2jl#nzEt#FGy_S1vKoI$ zfbE}8Wp8AJBeZ4?L!rTTl<#9p#sXIKG~i|IluYycpSFGQ0D5W~6eO@PsR3gHfK>uZ z4Ae-k&>#bgI#EkX)QCD&$mFOaQK9w0ygnvvK%-Qp{KP@AV9(>X%6q#vuGso{?KJsi zS{;&}3UH;xU8FgmMK}OB12_D20*t84$%8!hT}RxgR=J?g_SQm%m`TdIn^h@7=Swl| zPJ9EYGeuaR^H>iKJ~5=J13RN(_n2x#HVRl-v|UB^O4-NUw)=2TS^bqFAt1t`J=m4s zx3Srrxr0K4zbu+eO8_bMb`HExcGXL!0!=yhhqK)q*8kd&mFELsRL})O;)5?Mpw|6v`Qwc|tM1{C~m82LPcxn37 z=qK5Ppty&;`rQ-zXUibW9u^mR@QJutcf6n6TmC#-g?!sTWc4Mh5O2T2jhaHaS6|Ox zGs?QJX)FHg))$$jziHjtQJ1?KcL0Ev%&i({pD?{A2KWgi?(lme_mE9WQjPReVZ+is9a=5z3nWf@O=Y*cy{ zbbbeNn1Nf7UIQNSCc6yEgfX>CkK{k?j~*cO_Y`|7`ApxDn~T)*11>%F-xEx_z~46+ zT`Sc~f+DhHKP!Ms&7gWkLi1d|GQbM^m0Pu-n!0xgiRGu<7A#VHCW9f_tPe33W%-rX ziQu#A($)=E@k@RY*hBcUAJ$zsIdAU4w!-lwYPE%WpT4`b07CTIctnky1<0FKMeFZ zqE-5fXP#PenlZPY9Z-#`muUbpOb^L(TFj(+jMcz$m6piG*Yb7fK43DX{b5k8u=P8C zw=b_O$5@ODoLR9&D{3W9*CS>KZs>~I(N9OClA!Dq&Pq4Xgrvg-(E~9z=#-5v1_d@= z!8|2~#6Xn;a>oQvnbx!>B?7y2uXR}hB`6`uubvpqC5z&nLtsr45HBLLYv?YQ#)3I$ z*sw@qpnuK6KvmV!?Mq`?uhm(EW$E>81y>_eT?BjH7pyvm+_D!jB0FtC!_&SRec0-WBK{p9wtg(HhGgs)bv~!zfS=N1SmfELOLsm62NVM>P| z4&FyNC$LeBjFOIwqMy~1%KNkqN-I|nY!g+ID@efcWH7x1K6Iw#kwpGa^g>VfKT_Bj z{xM_MLRU9d7v9iTbvC|tm7v%5*Dp*Wpn-o|{6A!X|1CCRWMKJ6!%C0}gd(y^dv)BVYzJt<*vQ3R6ajOA4n7=4Ft`WDBQNHqL8ejA^qt5I-oqw zA%0vWW0+l-94T!0)BefTui|yM6?FG|^p`9Oyl{DQ+!G1D{ zLN~KSc6wqKVuxZKzTV5<6Va1}t5)>n`;)%DY73e@4}(J9`wR=qY!dGFnw6&Fk%%d8 zVU(YPNy(1(EXtXNV#tJ3^u@2HbBNTz8LXjYW5U0m`$>8cU-As{gQgPk=tk1?L&KyWUkzH} zp2M;SrR0l><2mVKQ$@#eHnI_=@a7OrndqOs^i4)AO-w6IE9x;uN_R=o!ip1HY!=z1mPWUdTozEupuQYm$0s)~S)4SrSov{x zq}?Ia6?{*C+HeDp3nzxdU07$Ww<@{nK3u&Pcawl2mDg+6zD?Ziq%ygXOqFCl5M%DQ zY2P@{dutvQEXIREkh4>}K^{uN#|8Gt#L(Z1L)cZ^>K=!!?piZPo6@kaB|3e;02bnp z8FT4}raT1R2HMzYh+A4c8ou_yI6GeN^K~?^!UU5vD2>$Yh=WA}_Lzkd;W51`G-vWW zGXc3gl)@zjpcp(th5ANqJcFXsmVTbo+w*8M#; z2=`Y>rRf%Y&%ywRX`qVf<6xj=?E}e7G>5m^mm#FPrq~b(cZRk6bac5OaQqQjAkuG2 zCHXi^@PN4D?7_VXSrPa35fKiMZ_pRf#NXJ@LUdQ3NrfFadMm8^AmPYpQ}WrZ#2TBW}`T1{mD zdMr=o8^K{^$Uv)QeBn%=Q-T>B^M~AB7KHL9keyALLx8+l0WNA^9ezm$m7V0^qI~K# z;+`x#HxT1ENjqs=owr3%%scUE{ep6BXxChW z&3Mes`ha;}!>nVS9vv_YCXQ!c3N&X^7Gw4foz_NEx1i0kp~L1|V&|gx;}*o_QN`-9 z(9x#1nI2kRfCbXgG^#y#l-o%KkYm6gdwm!193O!4xo3XT2ByiI{%s7886qMWg8NOU ztSeOhB5Tss`z$}5B{c`J!N@xOtq<#ZUx^Ox4YboQ${#_LOYG**-cQ^vE=zVqLTd&& z3p9`HhVPK?>LXtab2Ywq*SotxL73Ucq>PT?@j!TZD9!z+nZ(c5ya1OF6Mj?P?5>z4 zbLX@-NhnC@;~9M()}-@gdvBcsH>2c~ zHE(x~OM`z(n3YzOkG1Cw6vPIx*UL7Lhs2oq`FL&TME}Oh>q>=Jm>F>P@k-{U60I>{ z145M{?{5Ar;$G47V~s@wtOg~H2u>6d9d3L4#N2c?<5bszrLLAZlMJrcG;COpMTx06 zj$4k72M7C>dE7@gm;(PHG?niukQ)d`TmII;PtT_NQpyLtd=IrO?+mq`8C?CA^ofcB89+nZQ-uC9%181ys~@4H&m!?9kDY<2Cd`f8 zSkb%^LCIFG{P>wR;&a>${S*uG2(3-_Fb=Mvn`WABm_f6$*!~xh&$?WhS z7!$Sx_kGQIJoa0+XJSbrjFTWzU@KK?re&ST6RkCt@(;oKzCYx3hA@<^Em+li``j~7Ugu4T?t`%*s#4xW$R zTh~h!R}kJ(2A-ldbd{Gu=j_(@pQDxQ8DG+cwd95dZPPHJG6`r2Swk7Bndd>xb{)-` zuderw0YK}7ugATihC3`STu|xTLOtoTP9@+}UbwI{_^Yvm9Db?!Z|bzUmr7oYJ7ddQ zGgiIScoO&Y4_*xC6ux=SnIbbY7Ak{Pv1t2Lkb&2&w&hAmfkMKIL5PvL2BODzC~RF* zfShC*b>u77-ygy9+0g#o9wmfd=y+}v&6ZdEPxs|5740xNo)PDKYRzn8(>LU0zcI8! z#IXWv($p2ZD|&&IyxG>#Z~av;AvVRMFGc)ya@q*dd=Cvfi@9NCy7) zXf)$Lj`{}iYRhWI4;AI*BLgrJ5mz!FIXfP*{b*NF9DjnHqPt*dmj%!HH>b`%;qPts z1h9&+?ek;Um-67;EB@SJW<@_JYB50sg@e&$cd)*~%P`N!>V^Pki1#ZTh4|>{dJbV< zDvQm2#)XE({if1-agj}J*L6kX{O!>z>Q!UL-N1xT|83>i;mKRJjj6Q0Uc zCfb!{`iN^?3pKOgOgoo3U-^z`GpdBZhsyMUyId>^J@pzmQbXdYC5Unx8RTW zJltwen9u5CNlZ80Cd@lJ)T-BZ`O41OsCUhq<5f^_rvlc*TZ0y>EXE5pq_pU2OW5VM z^YC?Jnic!d+0cjOxj%v7mdPlEz{s05=H^^$=+r2hf|-Pbj1aiIk(5Qmo~6D6(TqBf zR9G0v&xnN{@Z`sSO^leSKbU6F9Cv&^obUhzdJ)kXuE=Bu*;Ko^O7?oY3(xwHo=-ab zjsnOytdPo4g=85G(kpXQr)90v@S2F78J*M1EuE3494P4Y9vZTFvR&ZJ z>hTGYW=Vl$u9P>YAErdEo;Ll~2^60#?l#6sAh4g|MVLvA43%lPO_zO!8TWx5^yast z3b#p%6{H;IZT=Uc?n9?^n8p1iL8zZtbh?kSSVY%Yl4igu#)WJG^wTL_B~&`tf{ziRNe-_p%pqL(;Q7#Vgpl%}*s zo#kUwBO8H^z}F@y14sB|`!dG`v8(Pl;uIxnEWp>I2ud!+B-OG@5?OmYfaQ0(%Jfu6 zKxStN7Rtvd3~3n`kMp2$e@L?;fFOi?$SQcj#IHFqTVNT=KQ#>-Fy|@943fCbsxFl5 z3Mb7-;$OJWrB*t2NVKGzI?EB8v3XUc9&oSsP^ah$?-IHA_SQ7j<<-^oY0JoJ+AHQ9 zuX<#?dbQQG&1*JmFlc`479WJad;mzl2Dbl=82u0HN&i`z`^&m^;pr4xbJ>dg?fTH7 zL4V=5f&l;9;{PG`|8H3rGb7VKs9u*Em?M%(JFZ%?urK{CKRlD6uoyT#@`3<3d@Tg9 zYAdN#hR^56n&r~G8kZs-U{*b6)RbL+uZ0deq6-JzR5d=Xq7-VaY?&%tB< z?T#sF3H>we_wgeGKLzcW>U)*uhVGS+zp(q$)Z_ z5;77dHeyL8i_!RF*z!=JMn z$U6lva>9Vb>~fg#S5+m+N(MF(1|EuMC6yu*QPWBWdIl0na?jz?MT#C(rCbIc0$G%T zNGLh-ooDrnGEMBi*I{VlV&;a2Dv^^)$x|38Q5cD8YA#|Wkd6$2bqEgw%fKR5hh zcaS;Pe|3vRa4Wk@t9Lu@l4t2*%Ff=DTJ8~LhGa6anNU^3QUrs!dnM&-m%mLzT(tns`6KoEW>99qSZyO z@>vpiLh$zIfdBRng(pZ{6%Rx(C&&yX*blWDbS4NgC74D~B|>|PkPgL-=tlaQ(hE`* z4ZKYkn5-)qj1xtUBM2xR(F+I|+VgiUel0yv9Lb8#5knONlK>iHJ`}olNUM+}{m}1y z0Gfu=WV#*AoeKa2^*U-gsKoXHi_#WhsZa7;2J+z z$Y|jde%nMAE|-wpTww|q6(W#_JtEPEP%V+^)>UlG31*~&U1n$21`43UQ!iKMsh{$x zIH_*$6sg>x@px{0p<1R zxXZ*6x|yp}sDn$R0gu_REy8cM-HP?_eI)P!tHO}z!6zNCqu2iKIhLc!b&{INAf<`k zeuVS0b(4MB3DWR@Zt~q)eC$b@S>=~2okE(DvJLn^eNLwXV9qXEvpq8J*1at@2CYea zhaM#;rA9s`!$KWbxskaDGUZu^1(n#D|&7CY& zCY%fj@|ut|YDjG$eZ{RND}rYkp}bW0^qtK74S8~%>ssxBNXqdP8e@*?BIA$jhA=L( z^xLXEu8-D;!o&cf3(;m3WMr3HwdaB>w7qz@PRTMH<4od|!LZC2KZ{D_4KoY2$cO=J zi^z%}Ydee20FDbuW~7_#m-c{y9`R&57}cn%iFeX4Xq8UWhG2(v-+RsArz1KMt+>cL zbbz#lt|nn}5y;#{@l8k?-G%YVUH?l|Ux%7c7YmmXf>zwBs*ck3XULn!&foxv0U+Ga zz)cJg2AO(qS*RT-EVth%Y5s=H;O-dbM27wa0fD{&A;GzRM*8`AI=bi9oyiV_%N_{C z?vo&}gvH>lLA*}n6*#z9cz85Tj5#Is7-c=faa$avSErGB)m*89;nBIh%XTXO(ZOa` zM5{FdDd6$*99Zl--)0wX`(Z8U0v*bXi97b9)4YYT6y1h`2q+el4MUyzHb10;pPyZA zxR((ys?7tqcSxAHW`jEwxAM8wsEyGZw_yeQ58VTw`=0ox#>nbd1*FNe!lQCTFy~O8 zSe`bUQ%MAT&-g@QcnwxxTm-{IO#P=pJcUQGVr{x*#BJ3}{#`Gc&XB$278cli1eiS_^D)33v5vC-VMX;}}}Ae*q4q88wln=qpS&c_l?zlmzYQ=(P*=-iaD&ZPatk9n9rCN z0paLpl2Ptlj41VmUAX?5kO`Pv^cutKg>mq-XY4C@wddcyUQ}0<>9^*#H3-bx{*e^to-^(J;LJG%e)0Lh1(mOD|p5`+BM@ZjrW%o~*c{wmjhb z;?Cre@du9No#`)WR%ltNL%f+g*wVI4}heA-PgMReRgNyU}|VPQ$7 ziAOzg$;$Z@s5K7A(^tCg-Er5aoGShIK1s=|GwcIugLjCq#-7Tugn%OxI$H<=E-&zI z9`|&>$e6b>Z3~I%jKI9tstm8nqzFn)+|UpjC^N6vWv2r2Nv%R40QrpW#}I56Jj+ zh^#DRbj;s@ZFg{kp6HXw4mGzKqZElLnRzV*kUT3$6mkMb&>m8)^bqD{MF-rAVlKEM z@6q46TlhQshpMz7+`PT8&#OJC%bDz|8p=?mELF=O#XkrTH+%XpLgueT-kF_TRm602 zA{RF!vZ@Q`CnjMfT4=Q13njuv61oa5L{>0zr4dS+1P688ldODox80;{1HB_7)i=`Y z&3SQVnk|@Bg$AB+UFRsm&2i^KA0%$!i>STA!f zvy^sJY>&|K9$ig$OLY-3IJ}J|U%o-?lwB~jG$6ZZB2)(7JLzoGL$VH1|hPglPE<5nWFWXq6JsC{}?Oj=mS-;))@8ACR zJ4&wog2<*`I=VJ;qZi8>7Vm&cfouXiUV6+p(T%&@wxYY%FFWCS3%L(&eZQ6Udlp&} zX1yslZ-h9dMxgjRFE(em4Lljtkv}79MG^+XeL=+;a#>ZZ8J#xyT8$1 z-aM1X74p6W=;SF~M?@a)i*Zy%)ME+PsCA}G|^XY-=E z_}C0LsAsRBtYC}On=q~X>M{$N^#XN$Yr{o|=mSUW3!>-t0K4>isZn0UhrRAc`~C{M znsz4Y^HSKZ#im7mI?mM>7p@jOg7?q1oaKxsBJbV=5hr70u@#fI!WI#A6$7TkntIn* ztJIu=m@xhg{WB?SZSSv-a)a4D&}3RthX$!(Y---RlWPaFAQA%}E&qE;wQsUDUszuK zck%BuHaV#t?VB&XwtJi4qO%oERJOvXoO#aRbepw4^9to9&=&sK$CgF14|#LKpzKQ7i;c1 zjp{|GK?2=b9b~zBizE8p%iuJTndL3b4WAhGuxSUWJ5{OC{ie)nPJbJ=MxGNPr4m?@ zAR1Vwa2jK_T}oQaUJqPxz>q9nmj>b^PI)q@n#HmMiMxq}+J@=8)CJy1ge)zkW zL#`msUY6zn229u_toe_xj-YWtY4mC_NyvM>;93XZ(T9<51dSsIbWG-o zWxTKyDpFxq@nIrN$dA?Tb`wM%;q+j~^VrNS3V#AH;9k`ALSzC(! zl47Rv{zw~zEVxu~Qc(tbRgLimp{06arTP05f=Vy8zCtcq9mwrSyWtgZeGnG z%MK92o;;a$xD_rqT^!oc2|Pj@>V#Du$NPI@Mn!nv0Q*?@d@qs-vWiS*53Gav?S;lY zdKH9Ol_ULlm7$(P&96}g%!T^YSmyX*+n;E&#@Nm?+D`AyFLz{%B^-&4_AdMi_6mAY zWgM+Wr;7cmC@2%5$r}tK69%ilnllM+*#rE@v4_n)*@=lo(XH|GruLIFYHJX zJJ2_U27G01`~u){g%u2{4|Pf%&A0)-MfRg*YXsn+Q}Ezyq&LPatstmwDPyaeXvldA zR<(BQu(0h*%BLd92Pk6Gv?K7IF*B|B%*rCQQ?m0GCNP!0O~InFlq8me6NOj?8>r`^ z*5MQk7e$!cGsd7$u>JrZPeJm0y|EOl+D!f(rhDelm3*8onUoZ{7CDKM#Lxo-7PZ6_ z8{++gzd=jwt&pf1ShsEXx_SXN7H2_^PqJgkjCMFdFxR=$Mz5Ck9N%;Sdl8c3KRKP2 z&C*NmU6}fE8Xc>_2+2&|{^-aZ(DT;OLBxq-L>N>|H=rJ`plGPKn{l&6+~)rGza3^o!csm}O@18`=``HkkW9bANffCBoTw^Q~MORYrdEq*W|D z#4~I8ng0L`?W6Su%>Noo0SX9DyEd%%iIS)@B;nIImA0qt^Ic+Taw?cn#fHpUnwMGc z(lh2w!=jnlPKjCS#vQ8ii_E31HR_rTgO_=#mSa5xW(T=EhJHLUtuB~~Vf1QOI^zX~x56hj|{i@azv z2m*WN4y|>-OWx9Xg|ONO5^nK;|4RX#_xD}I!HMMKFpyPk@LouqmGK30@$~fICNN2{ z`fcL)BSKmqkvD*$sw-Knjwj5#{jhuxeqGN-Rc5!o-X ztC5;daJh&vjErsPoFdLoTmkmJ6QZR#muHT78G}1ld)#zDBpDpj&e=gpl*TgOW+8}A zLutjalF&Cz@5tRae42iAk(t_$MeD|4D+NPzM-G?=2AbaJS%Nv#0_?)lod^o_K94wU zL=;_ykOuSnFYK!J)F66vB67FmOZ|4Xl3KEmpg7yE+GfumqXjZO=E0|N^})8wL#f1U zT2!t)WjErqjD6M0UoFSn9?{E7G5hNr;&2&;{`7Nu!=@abS!;Fd$`P;fIfl zmedXU+npitkpza*3W>?6%4z83s;#&LCrcZgh@2 z+vf693{i6j5M%sNGoqBgmm>yh0UrA@%L$!AA*wuLK->lt9R)_&K&`j9qQFa{$uNsi z&A<|p8LWRw)vbFhNmsT6xQhYa#{~X@>XNW`&CPY`h{oo5jc`XRVIE6(3M-3)tRgSQ z511>-k7NQNu_F^5?O^4k#j)B9epkbn)v|g%gP?^9Rv`6w5q&>yOdX`bh&L?g3q=+V z04M^d2MkL*Z}aik2|8|mY^509$&Hd!wyct=s;r{6;JH{kI}Qi4>LobVd1H&>O3XQ* z*Z8yu_5j)AN=kbQJwN}d5Cj0ezEgA&S}A84D(s{Da-`NaU88fl8iq*V_L>> zjK3A9oJBUSqeI|?`s}`kbqwwOg`?k%5r4#*td-8`vR2>bKug_WcQ9XsHOYv@=vDo6 zJuR#Atz$VOJ9Fly;wB_7G!GjkTwzd)l&zQzjMS$lpQ@v~RrdPBY>dJ5rF{A>WT8?+ z?hNsYSFt?RdDW8aN+I;_Wz|hwy7JThJFj>$q@l+wINc=MS0(>+08>@g;DpWM=xGDX zA4y@pNnO~Kp72j_JhqU;cgT&7uJbd(*JY;V)WyRcUramohl>i+B4e%fppSQg*VRl; zsIJ@2`1hyPTia?tH!plyd3=5+*RUZ=20TN_DYBj#R7#ER{QUdaVwH?;uGi7eCkcMf zXJoh3!O_n}k`ISa4yyPLnO6SW8P!(7TazA#Z>`J%_n=L*f`2?B)@$>Qc)?dmcOKUj z)3clZZ{u~JPKEZtm0PF@{Qh(mLL*QPcVP~gzsgCgp9<(w>ZJ3@{gm;98!4$q2=Pp& zNu8?wgMB9G4-ly}N7BEEr~hH+{qLRr%>S^a{FfgFzILYb)mC~tP{xNNna-CF=trRv$^LZ_kFW+t zDLJtJ90@yLUB8zgTL3ggS3Ox*@8_Wa{ODCJE9fKsCL#Je{Tdw+5F+-F7#|)ykk>Ei zmNpmg8$jq&VdjrT&GLnk&3UG~!$G9GgF}`!r%l_@H<9kl^YHfO=0;kJ&35;e*Urq% z%g6M=@47nhkO8&Nh^jJ9h2|RZnboRsH1d^7>CIv!a>M=821#Rx2ZCKBXg@llkUj(S z@Cm9Y;_ujD?t2+;Xsnr&?Bfw>9Q_$;{+MqoL@xw>HYMKZ=e;*u03S6&ri>XKge^c?y{lg`Tv`O3Fzoc{BS22Lg-6vG6pZ^}|z-Fb!uzW8z|)jm-2mQf4ue zSvhtJ7~;5dL53ifvmJj%rF73Yz_3Q*Q3@gqwFpZ=`Ph~?M*!NI86a3%nP zQ2Pj>&e4?2Xmox_&KDGGIu^p`8&eXFX@zO=v~VOngJ+2m0VP&73Tz2J@6{nUoB`ByvNiD8-_{J`!g6v z83q2xwenCfU_I!0>~zPd$lSXOZaygPRo)g!3u?y1h^$pr9KknBk(xd8PfjOfZ+B&N z352aagLZ{sn>qmX0LG74F)mKC0cZ_i%?%H#_#Kf^GOxNDczgLCK4t{Qjs2Mo*r9@t z&tJLQ#p$q!G$z*hG%+2xx=tv#6m~;}{;F0ZCM$R1&@Exj*m^5-O zVc)FCHWxvV7RSRUxwkkjA_fplCC-Z<9#O#Vhx|hrnTOM z%@Nr9Pu}|w(eXNuelZqx59|UPDRmPEYm3YU7dex%qrp6T^3FhP;-_x6Q4Tt8=XVPu zOZ8-4%7Oz|Obt}yynv?C?eO-gOpWajtraB$+T{%t6`{BZ?VMO925V}TfE|usK~*iZ zS)2>AeCIl}TRM3vWBah-L%G1Ll)gGr&2O0N8nwgsy8LzhLuDZ%!LMwjE`_3pb?j%`3of<9U&1sAP5 zI%Ny$i7Y^AKf=<0=JCpE;dEjnaT75gdz4Fqf661qkeX9w-|XA|Xs=e@oLxY@Ao!Ot zqq@txCO^1lLVe_1=hXu$u0v#iN^u**mwopv>Yd1}$(bk_$w53%mu1fNHCM|L&e=2A z4g^5(fbEG%r#|c%rgFZS+E>l098r@Zi(J{aO&0W0PW9@RIV{Je;B*skD__^LR{~=( zHf3$~HRevCNT=YMoIFIL>XJSA>0T-6g7jL`60Qv?XcbptKhWaXDMvK4b`EPxJZIkq zen_tmxJm(;TGh6Rk8N3tm>?YkFfUC3BQwCr@;sqa-?d`{Z0cM=x{Ha@BTcbZySZ!H zWrM0fk>?s`2CBJMIr&d)erV?|DnE^DwQjE=gD<(fbBs1qn&@6SUB0M2`oY{>(WQn( zu&CLvWNQ>ou*QSdu_Ng+`Z>&L?<-r}>Z9KPi$}~^momiL)Tzjd1U1Y@t9cSz!B98# zsqZsso)lTEcR6Yv5bv6wx#bbk*?++DT=EpouuV=ghlw>zYFCfI{?%rAH~>`KbJF`7 z=a@G48JOv)JnJ78oOarW!($k(``l!~Q~FZE7V-6*_aNV32_)XG^MG23NI%z9Ne`d3 zh)F?(Jwk3HwnAKl&rkFY6YTU_YeIoegzp32mUVm^R>eD2sJty$t3mUQF?heQqx0Zg zslDMX$-so|32lCnc#h~Y8@+?GLVRGhXS+~g4sgs$ZXa10%ZSVujhpsAzeLdbxS6R# zbi9@&ABGiMXdb`&Jl)OgVk~MM+`H5DG?kI<6gP5&B0Cq>qqB`q*-->A{Lp!qdbaxH z|LC2PoLRhp`me6e**eSPX2{-EruTPOlg^pfqnS=Dl0c}%s@Iy~HD9;ipC=)8b>R$d zFFT<0-MnS{hObK8UfYylQ1@&II555J72Hk0WfM<4xOjqnLpm+BS^ylk_!$6O95wO$ z`B_|kML^!&Lc2_dcWcEC1u(8=be!L+3TRnl=Nss*73-%_LK+G)U1#*gyKk;d5Lru^ z1I&2K(!@souIbu1U1TzBO8(9S=v&i$x~Z*kLJ4R%Kzcs-PMIxgqJ^KQW)I?6;zdgz?@8@v{P$SH)CMv(!e>X9j-J@IRjh7ewIl z-2~IfgyUx4L7+#De`w+YP5b*r@VZa;trECLIwuXA*`YE~9G>Xu>msg(P>Mj_P)S)? zNsPC#e_lDzYEI(o9jcz~Lz;Xin$uc|xLY)5idH9vmH@4Tw}y{Wsn>$sGPz?IQyJSB zLfRJlj#Abq!f_a%GW+CrcgL@al%+pY(xIl-U>m|H8`36=G8goZldDBpZNr>15+rCw znK!VFX(+-Eu#Fi_>^LIO1VuO}?w_9LKTo;rVhG!9JrfAmYtWKjt;6vt+}8F36CZ)Q z7LE?@FN-qAE+=Wo98Z0uQ{Z#x_EiQg3DQ#~CQ0|hb`WpiC&Co_`3w=*1p(v)*?=Iz zd~(ud!9p3y_mY7{A&FT5=Yc!{*ld+`dze(spT-Q`)bNZWHj%eag>|0NLIE!Qu}z;Cgkly&aLC6DcpNemqrX(_$|td7>lSR z8y`P=K>|-&abD>u!j+ll!RwlkI$A$j`x;VlYpev6h>5f7o*AgTTKHqF5tU=+tsI*KsMr@&( z#$=2jn9UXQ8@bWzs;Q}p%BXZzwZ*&Qn*29wZ9aWcUZ?BXM(Q9W*V8oi?0`iG-`pV2 zbWJE4;1IOi0eg>tDSVtX;y1>4!UQkhSEX%EVQ}^Yj7jWQ1p}s!%t5Hi@t!T$(FZ%- zK}<aJre?BYWVlW@Y)0N}YKN=aSQK_kUCFkXJcjwt@^i%(c`Tl9VhscCJLc*ITayoN! z&U)5>xEodEE#kJT0&ROWj`2ySGk+~%6%;bXA7O}*i5OFDY7T7E!o8wjs585WucCq{ zdisAV`>LqAmaJ>s-GYT2Ah^4`9UKk>cemgc+%32hg1fuBySux)L$IIjr+Y`=um90+ z`=Q3#FRQB7oNLvbpCjF!^GSDp_&2MN7pF)@uM!e*Evvub_&>bs#>f~=A=(**A|0b& zxzjCe{uiX3U0Gb7>EXA`Kzu94l}tM3u1d8{#N~2aX&6n=z@`tvvF#A$PF=CKSC}X zw_=xg6_(>sw$*7<(#|ji*E2+I6Jc92aA37-W?KbEg)>Dzc3Jkt1Ht4z<~i_C2}s>O z%zS&4xWhX7=OGR>umz7NnHq6;%AH?~-NfUlM_hDSjMC6j7Qw}T`NNRn_27m|jV>|Z zjLHwyM=*04j@lw9ngm#9s&Z@eb+=r~nHfM@RN~sjaOvJZ-?ys@E9ev@RF2H9EobvX zUcSP`M-jfH#J!B)_x#(J7NiT^e64QY&03K?&%`J^rKmbP{SuN2s-l#Ih*j~=3z17m z$fM*9E&b9iSwXL-4Mwob+Er~RO)@f;p?OS6^xbX&6bI)t>kYo2D+x>9OlrDSJFIeP?XP%ssbFd%G^_rr-F5Yiuo4lYtml`&vH=xiG%`@-I^DX z-+Dycn%t0f#fiu-XSIcpG3!jjQ+7cmJ?UZXixYyVqL-Wy(-FIogL5ne}(YC*(Un(FaX)(R$YwW zxm}@O_rBIdE5q-kiA+;zAz_sVUrPgD$V<^vfrX`IbyY_;tn%UuayKEz-|3vb)K;#P zD6ZX~-Q?ttLV?&jN9=6rP|*64B&%4y?hJ8)_Lrlh<|oCk-6xWPpR2p)CPNfFXXx+g zfdH`JVHt5QO0o0j3TjMf4Lss?j*x{Hm#CBDVw0`5waW390`+m3X#CS*K(0q<2H15{ zq${tr%d4D=(#+IPDY6aD#pT7*rMjB-r5vO;hO9)me~{y4V*1N`*?%cI{`RK--@|KY z${!;3+g+8NfskMr*$_4VRCD}=e)(T(4o;T8t7j>#$z!Qvb@ZH%7ltD?`p`2A9?ld zwU%$elIw>IGq&v1v`rbmPKH&>WK{LZLQYy4(wM&|wbbR4OKjlu(jDR%2Fo1BQUASk z`TMn#caeIrEYT}w4JH{v&=)xq>oODK1yY6b@?8to-#%&ED@_s&Lt@qxO*-TK;&l+_a~1& zS(!{MP+v?ArEo>;FiP|rCnb&NWPBJ_5=1dpz>uf{C=(|}Z^x8hfR~nnbrIt%0izg- zj|lFYq#wF0!Q#%H#ZVl{bz6TawKEsRJtgnukf zNdLF1wcr(_JOMOVa%Ug$NfZzE8a8smPJOl^6gmF^ENN}wAQl17;XzgW*$J-S+O>N; zQ?^6lZ+(+y$JwhcAi`h@aEnj);a2qyGb27S!@!6zNy`Tj&7&;4|VCUDuSe= zs((f=7khgzf3%-u?#MMB31LgfMSJGX?^@R;&1T1$eW4aijZw1QUu*W&CBRy~FF<|| zZl?{M!6wa!Be9RiJi^>r5(D?1c*)dt?_-asM3AGez@FM1GCU65&Mrovzjv@zuggG=bsnH$(8TeR;VDHWAHJ%M01kaK*Ag z&FwSUWcd{C4z~|A3(A75a*92!q{;hZ0vR}RmI(}YR=4Rp0(M?`8-)`{@Yr=*d}Hco z+|sj0q_`7zRx@-#9YkNUp#Uod-mHdFo8?XsLE{^DtZBZ@VZK(!@!8c zK!U+|fldFzhG+f@g85%JJR9TRex|L+WHqCJ_9`bsvMis4gbmU-@WJv0$jw4vSh41Q zTV@5CQ*+Okc@ts|2wcAtD+@E4RLbTiBJ>I;A%K5YSj5F$&Vn=$*QREwsoGWI)g2o3Qm zC?}RX=}R*kM%4hz6{U@ z5**!MUO1m^rFV7ij`sUiWbmSCureI4^lUb5FWU~>CwRTrZaD6l-Zs5Y-PW8co>w<| z3*Nx?_i8NvDXsp3UH?n6GXH(R+6NpO47vm?>z@Mt<A^z8H%>A1T53u)A;?`sVfL?GU7f2n-&e)KiF4-Xj&xr4D_FE)Jh_x$k z1IZ*Gv9SQU3sW=shUG__fZXM}4?s@cHS;0`q1CTpu|X2rZ^;)t7=YpD4?tnX{sp5y zNqfk1D1mZYF+RT^tv(&W1*+32Vu*}TZ+%R21u2z&8^(4calYCnLxg-qAfXQe#v2{P zz-Xt(Mi)AS^x~3m1ue?pFDjBTMJZ#dg91g#NP&1UB(kIkPN1^LXv-nt2x~8-m~4e( zILM+g(!~Om;#euiX~JxUG}1W?x4?KHa4lW9lw!_}L^6f$+exmdBdgG1E=V|Q!BT}@ zBbOn5AX?*z1kW-@GuO>LR}<@z-t9GUjA}}fU}xd`dON+iZZ3sUZsK6fF_}~X{eDIO zN8GYUD1yO?3?+V8po);40z@tNG8CDJW)>DD@-m{akQ8MG>2|e{VJaF1O!p@wHbD+9 zX}^4!Jy>KIS=(U$I6wJoud$V`meGkFT_4g-6kFzSYgTULHo_XE^9z? z?Yo3S?i2`uBFCoR&5L2auCB?~#`lI4#up8_IV1Cu>_yyC&D!73)=XJWs9IN?s=EA9 zkfoD0n{11XBg{o~fUViKruDc?<*vm|cYQ~e=O##@akK8briupp3zGehCFyoAt_rA(tc7oY)h}D)KUANmk$}m=Z+0^`nrD>@>5Y2kTK(TCm zC`PJP!hOHHApi?8hb7!P^AMsWjc~$KuYD|U13FI3Ij(Fwv#EMHOpMx)4tDaPMvI>> zoyY9+)z2>T_MG(NN9$)pazAv@34?sbnT`y^Zo$P(SBiA7UXuJ@s0R2%_03b3q!{Gc zFs40yMoog#5fj>((`2_=3lRz0uq*=}3o&pZ<@pC;%TjGi$1*uuzFe$aV;GM59^E$6 zZo6f$wm$=vjY1O2>{Xe9c$xCgCKAtZ-tTQz1fk&G--gw^r?}KV&9`{c)Sr=3Pn=ZEWo78mEGl&NL$sbT`nnOBk$zHmh-r)J6%4fb%IL=1wdqfG?1w% zdVPQ^jYk~k)84c3z3SO^8Tn!Evu8ls<@H!tpECQe7@5!Gz2DL<)yfou?H`Wo?P zK1SN#p_QGv5_I8QU84CXN3&PWa$#)$Trgf!u`u{tJB#emdt~3S4I_SMgFFm0R2cyf z-M>)n<+X0csGiU|AqZVkM#G-N;TC!E50?j?%FKXtXiz|#3{)=GUxET$&PMou`SxGL zo&v6-Mr!2gL{!g~Q>suKyv8I}Wp*v2WS%GZbVM20)#+3(RWAie!asm~jWp>(>)<8 zDrZEr{-cb*NypHea3Y3F%?hND=R$o`0rpvkqCG6`)rus+7gne z@gW55k~hi2TS8|6@s~63?~xmL-af4o^4SF;a=Q;k)-k}?yW~5(FF%G`?=Jkj^NLL1 zphHp)*gEa@`}qk)yIv#o=r;{j77f;P%P}pvrMP*xH6bGR3DSHnpw>_#ZQ$aO?acW@ z(9$>>5qOyPB%3_HI{<||wPq?GMGM~1eNIQ}>ePN9f13+nSGs3^f%gcvpyW_5yk;IX zC@L&u4&+p(PQ@@b+3nBUWBcTYv&}zuG@KQdO+{96ok70ab;Zq$`gk!UC} zs-nrIA@!NMKLxHapqSI5q{y5na&8Gf_4q`j`UTR20-<|iy{&K9kevp#7cmy8`-`~b z!yx6JIFbK=UYJ?3OyENC?ltnP{|@dUc#IA?#@CoirxXL{crH;y(vJ7otIL#4_dhha z7>*?maXjF21h1?U6F-Vv&k?&Qlow&`!1PSI`uM!FbbJiK@p*2!r)xu)5zRo z)Gk))dT;uR$imuH`oQl6LL(GYu~H}ZB#KQ=3x+C_(K=3E4fr%q?Qa@pb$ysZVvr@D zB71T+mE*~>E>Th zTTf3BP2u+|u>r7VC@UY@fq_y*d6OyTw%g3a<$Dyxn+q<7n1X0HuWHq3Y*D9pb6-6=We8WOJ zu!KqD)=gQdCNnYdwjy_LG#YYQW3ww;!_cnw^!|OZ>v6FAF>3I%*BPw<*TvZCYG|k9 zb)L86120FVy;tj#{}bV}^so5KXK8=Q+;wy?ePZdpHCF zJIfH5Z<0VuVLC=Gr7IG*hmF)uO<{T$)~FrTLD7Sl09#BMmlf8Vz>Td#+0!t5X)uiS zGxm`n9)*FFIv$@*uE-8r(T@Nb>U-yi`EVfzZQNEE!n98+Wivw58fzADJdAK4ffKb~ ze+mM`#72{duT8!ql8z`5z!3&wV!YoDQfLz!DQ5$a#L{n%CzdoaS4HTr6$fM<+;Lh; zZNR3f{)xc8hkY>^$7BMds>E7Of=gD!H2C&p!z5;zfKTZ>o#|+XT?sX)D*mHYhkbCe8@aMIA0tHGqJoINcT9gRE( zws5R2N3B5+$1n`Kc}x>&X3m>f<^Gy{3p$=cMbjCa*kO6vOJNCPD3_B7{!{7ci|$64 zf{=D>-s3jFUE!MdQjZUB&hTMqmTlI);q+!0J&WB}{w1xQ(O1h-_k?q_`4>T@vfRyY zWQ7dhu2RcRG*U6Y!d=t8xz-2i2Oj(>O+CR~jXIO&!QB8Gc}TZDVo+-FoTP^&s$ed32!Y$YGXb zbXl?_j8&TQXO2LWTv&rH5uy2*R30bI_sbfZ&s9=Cz;tx(7SRw4*F|yn%+dX=2AcN7 zRzuNiOQ|4)&#GSP0qLTHcS&G=A@V-bdE7OxXj8FtqyouLn;bX92CngIG%@_*qDg8= zQ#t%tPCU;8;0|YE2x>EFv-D8kUf$>I%u3I)$|ZI{a2`>3a)E$OPPy+OWL>U)wuX%f zXKk@zsOe=0%I#=#J!K$CDF2J>UOuJANncA#Lw`eJtNn_0vYo9kOYt zpo_$TCs#4i42zxw1mNb`D||g7J;1_-sv|gY4kG51y!>(zPYKv=|AGh9Q>r4`oRdlO zxN6l1Bg)4<8NW1!!=Cfti42~fNKQx8sO(Ja&?;R8q3oKq7TDPhQ0lbPIB*ZZXGxO}YdolMHgDWbRjFl5>C-;|hm8;ecurO}Nn}0fa|3Z8G zmxKLpu<_py1jWQ1aQo9wp9tmTxrG2I#>{2go$uhbn|tHcp2+lAx0->TJsyB+CUz z(>8=&hW02|_ey5~({1yAkcf3Rp@*`5K2P86&|KfFk0FsM<|YH4k$o4$r2ba zU``Fdh&;{IQ|s4bEX>qLwZy27TG)l79Q}|{7AWjZ@gc^-6%;ij&I~r03}q>#NI1}pi!xvLEg4fyB>r^N`urAK2CUUNyH1PAguOs*T=X2Q6; zfs@)bqF@N?rn`z@z+t2gV%Xx6ibntb9S|$zc*!0>=NhBTp7=)b4R@-icP0|RjQ5Ki zA_|L&^a==_as`|sg+%s#rsJWM_-F*vUwje-NYhv6*z@+hk_wXO^w8M}Z};L+VVM5H z4Z`c<9;ba`7$y8cKg#=rRP%|U`bKi8gZ4u&^yQNBS-~UKn4;lH)($QBmGk$lPV3{R z-p9+=^1=K59s5M>b=`@>V=K-#`FdSBn7&-;>q?z_YMvpKW?r3B{S{+pEicNNp3hU@ z13$9`PDtE9kT;s)VSZw{M&z!1chlcP)3hp;Km|ngOmewFF=Icd(XIMh;_=#?yg)_q z00hGPK?>Ur`51z5lOjd?lX+!~UGyw$o;=6l_zmWcJU6W__w;F!L(&2}I*=aTmNf`! zZvHN=J9nLSQIZPOcbB*{*E+x}D7iFV5MM^7T2z3a1)?~;Z#&4uiKU38ZH2kuDh#~M zER|w&N4YqfMHc|C1xz?Z=w*iI0tW88s5Z$Y*^I{JIMah_Rd?opJtV4Ir?k!Q)f?|? zeg#^^AHSzwj84OiWBMUqqu?Vb+wH>2@1X+k-85ASZ?$X!jnf3H6dn8;^NL%bd^4D4 zNOyIH8{?n#`HF|M;h&MJY0oY>Ev>1$*TxQ7hQ`=%4r&N=TX6s^AkP=qE$p@+>{6wf!@A)CO zvUBBEqv08D!VaymV~BfQnLM69n+wYj81i{syl-5H|2Qc}KbE5A#Z7tlVS{_D(+Dg1 z;3*e(qHuwn-e&9D@rWu=8;fJFP;F`ai?u)omTpm-ZY=Xj9 zy7%=I@&4lV1~olAc&M*(V}ioJT7*r{c7uVOX9Gqz*u{UMVM9=Z@f`0LD+#_U={?Ga zmZ`&|&FqhUEF9oi<6}aoF79(4W}kJsGu4h#(sjqlvjSb^|gu4FZEm_ z0~|aQH6E;^18Hj9hfWaRi|1*DBf`~}_>vz01O3F#m>H*T3?q&gSF^ke1%=RNR2)`)J-xl+d zEPfMvleoEUElt@fcal`m#^IY`x-csbuJEpm+}E_6UdX8dV^(G@#NM1Se+9vxg~8{Q zrbMUY!J`ViKHcw0>j)+XwqhVb!jgFPOe-_x6VW_t|nJ^FSn|Y$J zej3iaQf5qEk6b9JT^YSJA+7C?p_#^C@VNV5;|~#grKaYdS;f}YvbRL~sE3d+2 zY_e8u8-H==+rs8{P1FvILKbj*UY$ZosX}MF;hbXAn*7yP!2up0npjW7?N=>ekS_g2 zXK!U)YW3TeGuJaeHDKfiKYc-;P3fN;^__{IO%`1i68(^c|uVJ z5RTa)PTFCZdO%_|l|z&(AhqChmD)BJ9Xjkof*buQzo*U&gIb1DtSF~v7++tIsn(5z zSqaAU^w;Q$b3;habSKC}a&Z#u+HbiHjkZ*FtmUWk!4S6{(@@;=@+rO}*Afn6S?Z0~ z(L+cP4>n1*&8s8UQV#(0tihTO^v02Ryo6hKp4}rw*H3WbD{F~ODb7G~?a}+HC~T3$ zDeXXlUKtF-BLlC&{97u7($}Vat*CKAapBZ`+{wIc0Kyj>kdKO9+X=e_CV>73ZH9o( zu2SYHMg&e+4;wNK42{~PwcP;kCMh0^_*vVE`U`%nhno*yQj6q|b4IpzLnecWiyD4(KpzSHh#T7`t$YUpP? z-rAIE7}#+F+s$ee*fWv9gmeY;PW>M2Z>oSK=JfrlTsL7cTm?BN+5$Dn&dw^>rSS6T zhWKw;VHVhv*$TZPd%a3h(lD3HaC8!;Nf#CC3(6k(VO;N%Dm`I8Kz+N#bp}$3us?Ic zj;3s9K6yM!ShpFJbLf92Z4Qk&ewokvV`fEZ2D8Rq9I_jVZO`&a=W|B;o9nkLmx<)t zCkq0)^jYzhdmk6%FUOlAzPT4?zkIwkrfpbs*L=s=HE5U38b<-89QF%uBO@gOku+ZW zcxz-TEy`E9^wuwJcW3X{=1kguwTRY;U^gpff0H*Kl_?xs4id-Y zI06e##rhfMwbmK1A3MxS-LzLFS~96Roq$+EMa+VZ!92r6985GFES9w~LqNXEVdEvh z^QwGwkby~5LigJhgm|EC$;z>rHF-0d!}VfKgnvZWoipa)>f(Q1|{p!!d8I3Wp*1wyj@5ntn_NGc7f%YG2AXyE$CYMG8AtYc#8(T{-gq6COnlf-kxTi!LH8AbnzqL^6zVxRJF z7^Ma>HemqS*f;|I#hQT_B&|(s0ROTV`uG&p^ zU}NSoFlI4gWaj_>uh3>tGIujZU}9loP}OAmh|R41-(cF`A0g3ANwfIrR$-7CHkYg&Z(&&E=60qpF7^+5dmPh5%;fAk-Q)Z}3{lM|+Zw7DtC zp`mJ_5v(yd(?AW$Pv)e~({kKE3Oo|N+$f}Oy!aLIt>(#$-dEZjOeJ={@wSmezk$+$ zJ`TKr%{nRBXh~*SldbpJ3Ft^x8s4hJ*#I53tpIY+r05-}ce=XM|1oZs5M&CH2EOXn z`s^@J3CO*@Cw@wCC;~8dfJO$J^X8++B+E9hg{Z@6{FULFG>edTy>dwgCGs!^H-LQ# zjFR7TY^m!)TWnspqZXuI!7F(94gNDd931uS9bN5>O%PaF**Vz|$jHRx#S#7=C1O91 literal 0 HcmV?d00001