From 123235ea976792c5b2ee136ca9169451eb64121f Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Thu, 4 Jun 2020 13:59:46 +0200 Subject: [PATCH] Logica 2020-05-29 --- .../2020-05-29 Validità dei tableaux.pdf | Bin 0 -> 40942 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Logica/Primo ordine/2020-05-29 Validità dei tableaux.pdf diff --git a/Logica/Primo ordine/2020-05-29 Validità dei tableaux.pdf b/Logica/Primo ordine/2020-05-29 Validità dei tableaux.pdf new file mode 100644 index 0000000000000000000000000000000000000000..04c9328869dfa88a3747f2118e50b4edd80398a2 GIT binary patch literal 40942 zcma&NV~j4&()K&HZLP6w+qP}nHrCj-=N{X(ZF7y**yn$elRSH$XTNWD(&_Z)>Q2?~ zs=As?QB<6ciJlFH?D+2b6^5CKh>^&_*cyhHmqFah*450JLEP5J)lAgP#KF{zLDtOP z!qt+9nT?T=pC87>)!EF*4#soyM0@JDNeBGS8BMp$%Aj?W_X{Tkxg>;SAT4>t&Li#S z$ukhBY2uErKc&+0RHvDS8#tekBISDTYN=#2FYocw%^pun@@u&}f%~o)^5M;!L6?BQ zHUDRU`y`Yd-k&^ro)d72AFdvP7aY90M$Aqa zig%4UW$vh3hKstRIfZ~dtLo4s9CYFVdg$NRE0W$TLA&Kwr!u`yLx}aDR5_s8kHdVa zkuYp*+LGv6hMeMl1wBH^WjN9F6}24yEXYM_KNI0j$Liv3w_U1 zbbSK+6u%9g?#)7>d=d6TfWon}W`}N}n0l6RlvtlOm4U_5Ma2?+mdB_A{xQp?#~Kfr zSW3G^Ul;fRT*}S??DfH%@1*Pd1)GH6vmh7N(o~an2GS+81?I&u&WmhYrLPzvrDRh5 z@#~|5;p?+FMbFY{s7@Pud}$)FhV#LMR#+_#1LVhPYIj7?l0qgGD1R3<#`_c zrr5Eto>z>AN-@^@RYyzW1ln5d_iy*wFogMSHQl76x#lMJ^1t5vNh~H)fF~|6I>Aip zb!DI%Hg7V@2x$5+2n6=m?N%`-pCjM$9xCY$lxeG_Zm$y3!WE1mq`{y^*CdAQBoi^x zBaqm(Bt@8Tl5h{*FoJR|`9T*HR8E4~q0uw);tr?gc!8ZrM%@$2k-r@8%=%_KlYR|b z58D9Ovn=onUQ+TrjMd?bPY&fnch}|Xu5-$Pj8;17B;Hb5nbU{yJO%&CeemNW8Y+o`YnJU2WCY}A)_+r3nrGgGF>Wqth_R7M2@*=R4Ord8!Mip^AcuQna z{4LxX2zCHG<4g?|QJpQospppTZ0n)godHQsqFL-IYPr&xcU~z1^bq}y zby>bPs|ARVqo2RowU0{Cnyhc4d7wy^Q6Y1Ern#kM-6>y_c`CaZ;;xL(Ie#g&+NGUU zBLHf>BUiU`7wLyRH7HUw{AljAI5nc0PNNd9Vf90u$u8n6X^AbW(t_7lr#g!DSZM~a0T)Niz@K5ec@G(S<1H?Lc_#*=2b zO+;=&kW+S4TMsFWCSbRfe4)cb)}4lxdEoM0NNSaeOwZ|j@a+i?QaR!kbZ~SYbYVy! zeH$Kls@dK&_WA^xL@a$>sOJz&4auK-U|4gKK$pJzYSwBxoc|Vk+cMRLn_(NN!J7KC z)gwc}wxH_CoLz9W1KI#vDa-F^OGQM%x??*wV`Z_rD1}TYqC-(}%WWjAkL8aQImr5B ziF|ts?bgcO4+`cYKBhK{4M=tKkl*$=IIkI-T(p3G4`wlk?rjDb%eobcUoeS(RenvZ*rcIda0r{gX9WE?b zuLm3j_{q+wpq7?PFI#mi#HUh$2!1J5z8;<0HF3v3YIlR{R0Ri%>k8rPSZQC{y}B`C zU#d=coM~B+94~fiq4=-M%FyoNKigIKzrqPMW_Pq6^%Uf7u&~3qwLI*yYO%CG(jZ0A zNxdxxx0c02)>KpxdM`75xkhK5Q6-84!LbQ;qHRF@3 zPAsm39XJ+^@)=pp3Yf!68x+xp%jLSnv)-N*p|iOMWxx9Z_!8xMp49q~pTv<8<-sm+ zqu1G@1KIGS6<4u&jW14TEnp3#vl|M*NsJ@1>`OyO{MB}V%{0FHB|SwWan^>$6b&5u87Oq%=Cm(yg0lE*8jOKsjJ$-ZIGQ@3S z_*~C}ukhjCur$(0)hnN9Y>5xGyymJ*&GFpBbpBSRd+6G%Mqno3)-!j(Cx?Vhn0A@{ zeW5`Xs_2*hup$Fq5PAqcO9lJIdl!rtFGFv}`AO)nBh~*o@7pW@@ayB!8d7zmlz!trEqb#&NjA5ZI&4`F+bIy6pK_TC*k>=)M1Bf{y20lB zX@Ik*NU?wGhP)-@=c5hThH=nZHCUXCxFvX*e2eI#12@@IJ-S{x%G&Be06d0oIP8m5 zw}VVOuYON)*U4J4HHizIBbpk=!!|*J)&9ooq6lTrm^B@hD2Xr=dv2(vM$8sNCZ48u z*Fh}z*8`~qS|OmfYHEZ&n5i1|Dbc+~3%w<>2l)E7(_UeX_Ha0f2XL^(m)XBgW$k0x zeB307l=Dr=*7iBJTlY6{>r;eg@Z>;fc<@G6>@&$v9eAA#17$>0T_=)E-0{F5wxbig zbMtPSd)g{vJ{?AxC}Q2}Y?5YIO-dukNZ~~8A0^D#=any`x4kZV{VE{yK}MD zn|=39-vR&;5$BLocyZAqgshQlmkHxQ>0np%5C7Tkj>4NYp_fj?3e+jKQmGTsnGM^v z`VaEBKD~z92z(Zjpj8#8<*)r>em)(<650H?{vIr~@RKbI`sXWi zdcz*ZND7nH2f%eb9*ss`hOn!M&@}J0WC*Z$t@Tea|&=-~l^05Y^#N>ySX>9p+SGvZ$Zu z4%;$acO91PnZht^Pi#&dNxGhFO+|S7ry5Tw_}x#dBMt_&?OH;R($rJ!%dStL^Dqh- zAVGl{4-8P=_UD*q=c)LBS43gKR1g?5d(;09=l(hUzW~V0@!yaj3o|S0zmnj!j*JcI z1aj|(#^Vf*?1`y(?{%x;w6_sFPkq7GES~sMH5&w>@57wOF;63PRW+Fm0d6c(ExnnU z*yuxyMDDkfGDVcY9vX38@AubZdBoDk?TnNZvYBdmM0s-BAaD-Gyl|$Ycl)Pr z+TZHFpU=DWrF_Ck_^e&S*!tNT`#=WeDu6O~!eZ5jm`{2gzf|RYH1tc%%h{tuXTppB zPfux=Hk~dIDb`EZ2WhI028LXGD~PUMGJEnXub0CLmxDGx;nIT!qIN!q^cF`DK(Z$F zHC?7nh#NwJaKEXg`thq31@i*ta|z5q8IL}FrcxO6YW&A$xW7-UCk&f>|F$)Y z9q1oezPmno)ZhdK?>fvK>0hpo`3;|Mz2gKjPgrd|+FXLR01jj2v?zg1b*jw0w#v}L zemxdm-wgEBaHfEHH{K*s1W;G1VfNqVz8#X<-i4wyon7`U`6a*|42<2K@=D%R^_Yj z4hTs2ts>31TkRsSm-8`-V%}3a$S8YN zsf_q1&WAMP%Gz_q6RvFn>m+cc$z7}{oJ(j@`+XS0&vy4dnk+dsTY6VX6pT-9%BygV1gO+m;zB1M?T&MRgTP zdYsiMpU@R7Sz#`f5c!v8sp^V>hvIJ2lejDLBIh7yfV(k^2B2LA!AF``fitBk+qR8Y z(IZG5QQ28D;%W`&4Wv9cQPll)J7*nmoU`j&q8D7dGor@;7L zzkeZ4pE489&?{c}i9-Q^&DQo5y>8Nwl=k=0Ls3lHQPOi4twmGGl-(E4m8r4(9kJT2 zZkC{)ObU;pEkgH#jpb+^x>P%H37?i7-CCQKE_ta2=q6z@IljIY5RCEk(u48dxGu*h zv>2~nqIdfJD8v5;Ep<@RSVe2koxVcivJ=R6~;Ik27?kJSDBCu*mf!adq_ zx{C~&!rP-*rK`?K921en#Sg0?87E`HPixdKPHnGDzv;xu^Wiz^qmAvx+Xp%r6_|s# zEF))$L4~9P>muV@sH1aFL8^Z5wb&hod5fF9+*)BruB!v-k0irmI2t(p5#9xZ0*c}e zKzF1HAAUwU{JV&Q@(pYqwz`~|PlquaNaFbyq7Zsj_bN+;bqDpB*`ly?P1$*QMTkH= zTJ_}LL=@14$*JOcpIFk`!1mm)QVW!kpxcL1(Y@;Ip*a%M!zUrA z%b4G}OY4q%LIdk}(eal&dNwko0&IEh77>;6xNq=lO2B^K&tSTyM36m$d+$s(k$w+BBC63idX(Cj#hM-wh+HWRX1Ba4Aom-iCB`txwm3=*${@F4O8ZOZes3}MG zin~_>rK~Hl1UZd2H&HD%zhYN^LO@CFBSLow4y?PSCwGkuT3$=LTg(h}LQq_3z~h)7 z(gg_{Gk=Z$aOH?3Bn{Vp)|z@O^ z8i;+?vtet2e-lzxw8K-S1*V)^4kNQ4^6N0LHBxPl?==5SSH-bvZvDxMd0;oejz7u9(IKwTKIal{_YP28BnRPPi%rW?&3aLxszJ?0-Cy2pSc|Hqf$S9I z?V^NnIo3s4YXQEoNaT}~@~Jq6xDD7daPVtqqY0cC#EM;r)8Ct#|6yurv{@B75bjGRTix;pf^(W(HDmt8 zlG~OB$~N=?OKfJq1SwX0n8p3lXXWo44r}lDc$83`s=+FM1bK(*)#tpnukt55Z^u>v zbM@aMCF{Q{1$-PZJPP23CGK%Xh&)^w#r2PTG4 z8Fn!o?v%{oJylC+d`(Oo#~PI{OrTK#WjpFb4+bigmRGY9=YPx&)LeXEYI4Fg(IkA5 z_s!8SfTobLl6~7Dpm%SNV2v@mwKNAPi=0u-?6YzEz<>Gl2Eo(z&@FUhBA4Chy@cF= z%ZVnF+z3Rtv#ic|L6|lGoF#)~D+k}MUgwR3^SCv)!wK0!&K zZae3abf*S+cc5vi04&GL7evJFLb-4(r2%eqQ7RXGU;!J@0L5xmr6`Szb30drt6Q+ z$5S?}{d=MOVte$KhXJ;G#g=sZUz~q)<$e#QY9ZM_B1c2YTfzpSR7z%&ue*8Ly(y%Y zk^HC%!*H+xhUU=%yY^BMN1pwX)z>)^q<>eDme}nMTRHH>8lE#W<+zVt7Bk)?=!74v zRs~mpa#N=cg-88H+i(#ywCSW89Dn{(UaY=U$G$FNH_yPeSICaXTZ2Ka)rjn0t$*x8 z*GXn@m3%J2Ip~2~*5~~3s$0$gTc-u&cW_Qe7wA64>1R<)@V>k&8<1vEui;iGowbAf zkVwQvQMRHRJ+M@^3(h<*E+?L_*saG;d_T=XPY&K40_NIHzZw%_Dh4`c(qAk{9&KH| z=An^r0}g%hWGoJlns|dRdgNrtR~rT@4D{l$^#4+ke1h0D58<0u>rZDc^Ku_QzQ4Ch zW96u-?P6BT9bHthUea`*=SIRXy*--?HY@xM_#OzdpT|E74fB) z$IR@~Fbo?DK~v%|pxj;CJngJTmB+`8Ev{M*tl9x@+KAWI6mU2YbUJW41N(TDf0&Ke zv2ckb!v|^J4p!Pn+&qq#1_LK>Q_mzUI+g0RgW)x98duyJr|r!VWA$72Cl8r@6mToB zXwWu}zelRYaE!x6usCA8`d?yTKx~04Aq!mUV}4(mRN1GelFh>qwA#S?Px;cuP?}8= zWWtQ9Rv`V3i-~CwROc*zi$iNi_vw*NobN4H<%~`Y1a@*+CNWww6D5)23dV~uWU=R( zlhUzp&{Od4p}$H?b@f0aAuNU$xdJ1@p3F?3cgkVtb;E%8Gj7EMf=?UzxeLw>RqP1* z2)4+2ZYJv3vbTN84qMREW#=B6edZl8Ra1gTor1g8g9Kw9JVvBk3{2Qj`@0A`why49@O*{NW6WfK# zbU@!C?o6i=@1zp*~>XIGY9aAb{+j3$E zzR`?P5GA-?&1OS8JxM`mMYDZ|mXY>l8i6a`S)m=3B6*l&<`tzo>tOWd0nRy?J_Z`g z$rY`W+~FyFR6tgDnEm?{OG`URtfG&{A?UHdyYvo{$DSK@2^`X}3sdD~kEcXiO z=#{;y833l`PPOrCMs#@`6UM&^_%uxQS5JXdk7q+gCo%6ka@XT{IL$wu(AJVHt5)NM zm||&~tb!yH@S3$(#OoLuRzh>z?I5`rQ2)vw%=I zgt_EOaaw(2N{^G&v#857yHTUa*vjM6&IK%_XbK7P_bT*a| zI;p4Rn!L)c{yEI!^*5bVKMi8PkiL0WDd>>5S+8jMZz?}&z&bPHVxNv0&36$gC znYI+WQPvz~9)sWX+kEybR_!hf z+Dr;H&3QgY@~r6f>fnmL30u4TVD}h80QKI3eo;dA<#Lnj@gu13`S3H-!*@l_NtSYt zSd$%}k=->#)~7LfqecIsumRah5YDrpRQz1k3FVO)Mj)gBzd&kV0yQ1-cseHv{9FJ!OoElgI#;3P-B|fO8zk(@LNy(P z)KM%{GT7t?m17ipXo1iE2wcl7?r9;bRD3`-)hP$jTE;mAVy3 zP-gVKH{gM@n`}5jVovNY7DI#BFQkYsc1_XlX1)x=Pw9d%eYm&xkbMpK4H|ey-TVj< zc6h1So3GzX=<&6)=c!F1_rEI_EBk*_xmcLE{)yb^ar*>NCS5Wj`4IEvMDvO}~1+-AEh9~Y4)J3sDc)xqygB?|-M$yiLmbzCttNmjfVGSnzcYCT~U+NJB zQV*83g`0SSa)x-z-X&Q2`(vyu$>f*6wMgSSeyLQ$INcnm%hbdqQylCR)q^d?l-2(7 zJ^9_}-{~tw9D&dItxdbbC1uk;g>9%pGwido#*+ge9W z^C5EDg_}D&rLM42IdKhuv*O2&b_!ec-Nn@&ceU>i&_b0Ar~hyVod0tNDsINEUXErA zs{d?EBL9~`Itx3~zrjSQhL@|#T4s6zGUgH1xu_7S3ZIGepfOaq6*m%NOwc|OV>K12 zU@YD3U+Q1CX{J*Ci{<4bo88j>yNMc%h9X47p}F%w=5n(MNnt5cStYJXG%t%2x<{cG znVHYc7TZ=*~a=Y*{D7KezM1(i4JKcs8ji!;VmYh zOJG5cMuzVh{S2Z(R6>nD0EjOn=F>BfAjgm6#H$BXiMoO0bG18=9@(@{StMGt=nx8i zzLO5e>@GI`Up!>~0A1{SJb>ab#UxA0{f1ZN232L^!x=*kN5FURdCi}}?d4-Mv-Rmv zEu+L3j4x^u+kwxwm_c>Q*&tvrgk9SQ|Fo#fO?xGf|=LPVT#Hpe>yw@hL#AmuE) zc1}9w%v>2vK@KSlS|6#KR+CthO!L4pfoWJD~y~lQWm%Z^dLCP zc`gfh6Ic^C0}Kf`EI1ALg6oR)0FF?sVT571;U!j(A`+=3(kWCQb}?EH$vdy5{rp73 z)iBG*UL0&e?7hk;A-sKFz5QTZ!U?f~Knshj^7&hoZ6G}UHw7DE#uO~#PXCzyFPLM) z7BGofp5EZk9LWh+X1m=Evw#G>(84mEv+AQxW(eTi$NZ}5MV-f31kJP+^cz`-Uj=aO zOVfhC9O>sk@wOw8GmtHuE6i|!Ruwg0wKp3%*o#`G$Y6_$mZ1ZU(L>U)ICrDLa~%k~ zzU$f`=hp=+=(F;R6A=%f0CZZQrlB$TLA_ z(J5~bNG!UVG?K&|vY7!{TEJ{&n^V1ZUWS#UXea22vP&AY^7s52dxIXm9H`kLhAWQA ztjEMEkiUZM_61L})hxrqDf@4l1sS=$PIfo;Jo8(o4P1M{>S<5twet5al76HJQ0~P< zq?s@%8)*-dqrYV2Pm`D{l!g?-p_8ViJLsUxHmNr>C@!2Bx7xQfxKKjKGJCFwIy}Oz zU%`dRnpJgv^=Vb@O0I#yVAH!m&0kN?dXjXASZ0jJ{>xSg((Z)2?g@v^)K|6Lx6mUS zpu~x4DbeszX!_2NQD=Y7MitN3K@Ph;UF3sz!Prn)^=a}sATOAi4zw?z_`aB54YCj~ zsPZKUMrh?K5hf(JGT9cRn z(7(qr+V0nT5DS#z^7?sgZnpdWf>15iEM9rk?{j(v$n#kR;Po&$P~OvbTR~; zwLbVmmzD+UnbwTR9|pNc$i2zAzk6$YAW(R|H&sV9IWsenE|jTvTjN-*`oUyb(Y3r3Nf72uGyFi<*TzBLTu?UXfmtk#2EyNpcUsXr;e7%Bmv>V z0Qls`{CaLL2`;M}jGdG-hXvLB@{_406!1Hnngi0a+Ir^3mLVlgnKlu=_iwC4X84hh zH1R~7vQr~RyEBxQ-3$aS>A=EiYUeNGqoH6S+1`WGZC|T3M%lp& z*&H}_PFSkt|%T#i#8nXm{IGwO&yQ z-VSBjCpS!55&BhW(T}3!td!s=3zKHp)A-Ux3>Ub}>>0PX0EmDD?M=7@*mI>!O}0VG zu-!F;Ft~X+_%PA;3bpt2Y0v&a*X?>&*PUw^Xb*2nh5dOK!2_%d@;AZ!5i@N~8r7xu zKdag>b##02GG9U1{s&txVne3~ZYVJg(lTAYCrZ=-zmu$O+;>Pxq~!@FD7Z>OX@^Oe z5&DMV`U{%co;F=b&6kFm$e!T97x~|dl|@u5Vg0w|{7m3^Q#gIN*4zYZ5iWVz>Sfhg zvr{{$SxCEu`6kJRf-o=R;Kj?MZuG2}8_gO*QyUSb~hwGHzYDz77|gx;$YRgus3~yZj+B#4BwkJFc&q7ChHq& zBUT&}`at-#)Zxy^5xp|`$6SdB&LG@*Tf${bquZ7lmy(d`YOqJ|JK~}-E~ASVr}4g2 zXjI7=vo$-PoYyVOtkL0rIQ&6`F8A@`Lr<7PTkKNX=C50Xv3GPtsEc0YzcW$a=$DJC z?i=_?1mEB_2Vm=($!f!7r)4E!pwtmAY=I-3Hc#}#dndA`WoV*2S|+C)gLR|BlQ*H1 zC0UG6Ut8L>#uS)|zb=!al`@!@U#^saY&PM^TEv%DcctTOtHblBuhy8eJE8OXg{fxR zVQ{2DXqTw-VcFqK^L0|xQa57dHm@dHE-L32B5=(|Gb~zLe9MbI_=*J=4|C$N1Plwc znb;>#!F7DKy^kAEf0DZVL~yIE{OI6++8W-KlRuWe-c0;qgCni-&&=pH@vt2s$ZD`U zoHrUjvx=ke`b1D`I4Zu`ivmFf2}oMcrlSXpSlyHeF0j!CXTp_W0HkE6C!%EHOKd`h zHTB8g(#BBh2HVc{kI9(D#1VK4A8y&N)MR`pw+Mu^y zNn5yY{>h?bQr#tA$Bdr_siA2qiboA4!#{Zuh_AO)!Xk$V@V-oinYD| z0Z)>=umC54o5`t0y?PFn#2{5A6duH!CBM(FflYP69=m8aI9u6YM=&Q=HXdXYAkuO+ zT?2|I-ENpxWYx>OH{Z=a_mcTiamW}Mq*P_7_EuI-Q4LV8lmMaYYfGCOfp76W>c4oI z+{~vEd0KxZc)yNrdENa|_1RI}{YH{9MWIdt^{4p#e+P;50y-I974o^AVLA^4wdB}$ zs=lGmk^QOygmpoXH%X#39ReGF#HXu_qs&$NDt`pNvO1`3__Q@15T!}WhfN<|&GbE8 zq1HU29BJv(T>If~M2}X!TALI@AdVwek&rW4vPI`OyN+K1;u1}GQL{Q5_8K% ze20gS&3?C-mB~~5fcRWg_0tndss8)cAbc3v=s_l73`q)EF?Ss5hC>8 zz5nI&_^76glHO}gV<*O~feK1DYffR{VTz;>$a4M_Iy7Yl7`Vcg>Y@}Ota!VebNsYe z>8?M5{mf<%eMR+^Hg>RkKcvo0$u4Z5ohq0N<5m4bZ+XOn`@XlKnJhhLMCEicxjnU| zn;BTb{(I zOR02xT5`)>h?AffzFUpaMN!Fdk5>>;-cVu&1|xziUaFLi@hq*+T`+t&YmZ~fb4yU* zmY(SOeODeq=mA69e#}n+g9c76Q^Ur(u2xaFtR);pxoRU58y+1yDXjOKUMIgNyCzjV zt-FI8Vji#p>Ia8c+c*DZwL@I}0l;S^Ivg9X> zbnmKe2*ynIeBsn`oCo+4A5{wn&k&=24v3&?{~;!R-Cgwg62|Jka| z!o>7%qJKfiCWH|UXy3^HtiMv0mZ(!eDQLTB72fp_yn6RJ7f0>S%jdU^_hyJFw) z3&Dhsl9ooxjRlV1mJ&PTQr+6*AnR@on0Js302)*E$=Sc=QwO1zSgFHd#)1bZj=%Nk zK({;X<8*ps>!SS#T5Uco;b;d4J>E@^?Zqm*aCJwrDOM2&Uw6c+)uWSg*)s@p`=b%Y z765Q{qQ>o8+Kzn-1Adgno^Ubv9l=ew16PB0ue0IezKr$q{MppJ{$eoshqF@6&pz{*X(7IcvsAzJO%P z?}q;!d$xbE$^X}4pNWh4-(2%@s<4izYv?;Ie^!Fyf|@}fcn?8|i3e#8<~qG?VD2lAdoaO*R_i1W-7!f~gQ_>4`JuhWk@WjIt2ut{F?^ zCRlT&n7>Mr+y1gNE4ah{soSmF?YZ4`neB10qGm}hvf}o5KxDVuYVjWlrz7jqUo7!h z#UZpK{E?`lkkJ;Eim|$QgR_c~&C0I)bagomaAwXcrrc!b>AA_s)L)w+p=k-Ft$D(x zjwow7qt|cn-a%~pcKx$@+hX1{VZW-OrbFIG{frCOIXSkM43R6OQO%-VBiE&o^gqnOtCUGnOad_)<<_Dt^PbZ=tXj9Gg?DLYQ%#rFsiE(?VBdCTV{`Q&cUq;94p7~CO0#}q z*Xx=OdH+UbYFTY@M}U$XwBpMdxlxoS)T~q$`H4V8hm_uv>Po zirth^TZD`pP=GuqnpqHhP^Cy!s4eQ1fOU=Bl;eF?Y+|O&nk<1^=4g)aPq_CMr#FinS2zTA zxj0;boF5t0+gI@}1pm~}o_$0XQE4CjqDvv)39w34QhAMO5$AUS9#+!Tkm=FHj zXEVC5mxihCX04%6xWUHa(v44t$L?5e<|>~^w$F{BnDjd%kvhsLoOB0bbkeGH`9 zYBE7@*Hpk1O=S}1!IR13bGp{x@c)|H3ekvv6!+3c0wWM6Dshm9g7Ol|JHjpU3~GM_ zknMS*;O#-x%z+c2x7XDW?98CZ&o+~Pk&4(;_vw;emcu&!bjy0jpYMHSd}^1W&Pe=a zm=`uo4EM6_2Zz&-$RBaJv+l-8R`LsmxX6<2 zOwq219ERS8+B&#)q=~Ax@3Vlfn;KfnWUHua>1x>lf5;jym6pM=6CE59^GY0*bis5L z;Uu^*bP6g_Drmz75uPN$78EspFD&&dl7%Trqm+jfW}A%qLsgY*%&a-QnEWF-cnJ28 z!k3K=6DD6y_C_1^oUGU;MHzbY$&m6ur9ne)BzZ-OGQU{TmFOEUopnCsO!EXVqsv|z5BdGdc z9t@;K{QL#ZK|LEw%7ie_VDaGL`}ocT6Z8cQ$(9&U#sRKMB6q z8igO&#x|@=*o$b-{La#YZdQemKoZp#GZ5yrLD^UJEXTY6M@hFPJ?J?7;HgYDMQlm- zI;{(xYbC+vj)+`)?(mMt?cf{>MZ>8tN~>7ZoIw~(9hH!)h$V9Z1uC#m6DL&aL9GV6 zJyPI0Q;rDqe^VizR`!kjjP_H1(LsNx@qQh8{J!mw;PAxRC@fkq=QVA> zkv5{h@-O}gxo$ktnHb4JJ6&H>S5-7qDZDF%)uy=0tVc*w3!+lelxVqFA0Qb@)PI##)C370C@viFO%8=l>xIm2-rP!3Ref zoUWDJ0tJ7%4eQ{-m9b9VpAjK)8JX*;XY?)TxEvqb7v^M|9Z(be+@7S^*X?(6$9_e+ zy=p0S6z5Dz%w;;#os~onCLCtZh2T+>BU>c$gDztj(|pTe@Gq(JF<#c5?@Pu_HOk+iiGd|Y%l zAee|(XTC z<>39z4&wiM4gfCi!uSvKe>Ud-2B?@h|E-AYDNR|2GNS$S_3g%4nhIy6H5iJGq=nHh zmW8ljVg-gRydvi9j@o!!T9EG)|pVdfZzlu0@em^$yWMnKh!xa;kZLa!cWE*qrD=n*#0Dt6m|%& zv1$@p`u_HMLc*2r$Ns4f?ud0(3WHAv568su(#hKCz{$u_m)jO@0%eXOO@Y@Twzk8f zJfP*dwP-TZ__9f@Yq4)b{94=r_9T1NT(!-;O_b-B^8T5{TAh6|*Px3r;`l!h6YKv3 z_rE44F0OxrSGgoRSsgR1@VzAwg}H*1cqiuAqeoKf!B*wXMDR>sS?h44L#zxj7K=a9 zbWo+5(cqyCKUU?L^U%MU7DwOmHN@%H;4Jiav{$BB=HG{U%bk7@+?YsEb%2PavIYJZN(yL2< zf49ShR)nI7EeJ?4_2lC%ouL)}qfN7lGKNEGtez-EauqKcSJwIHgw6e1#+K>@c($&daB648 zi>IzBx6P2c+48Il2X`$!`Wyf#2%VRFgVpNgdY(DkubOo979z=GHyD$;YVICANtz*w zaFc&GVjc;xxHzXYALLyO=KH|%4(hGYlr1cQxSe22(tC zVMB_ayU-@r19>2xzzC1o4CsEX0TUnSx*_=#3<9PWm4DlbNAr4==zVlfAhKQ&+w8)@H;iF_jdw?<)5hTT1NJz8=u&&r z{Mo@2!igYVy<1k~;nNeByNT`*lxxP@rY6fx5a~{cS1EQ2jth~i5}N@${>b}{m}}Aw*?!4^*KjirY2^S`G-VYYCG3a{2N5|j*&TpOAVq4@ zB=^u~6YM+_RzJ)baLYrnPMf~+Wh{r{ zN-9E2Gi3?h%rEY056}nfwn8lvUFXRlhL4_imbT@E`mCZ~ z&`&%b_|Cn&_`LqJ3l=N^Lm4HOH|_WpU*}Xm6_tn2*k8V9Tw^7-rDRSQL(L~Ar@6HkHE_G z%LGp@nvuVBOcZ0B)iq*@EMLMu{wVc!RW`yz1=;yVLgJ2|Fh(5`Ml%I#n0$L46=7b>>f<`Hr14cUUH)AaGQ(^O!l!)=qc9*eW z?o&=kqb$>wt7&FV1#XTdPOr;&kORd@&2 zl25lFPWwriF4c?i(oZ{^oMllPEutj z<3__*HBb?RC2fKA)fR9|WyJh;8ltsqMI>D)(NPQoQw&FGW)mGx2`+9I5V>VY@eShl5Co*3&X+V_}TlyVZ!JF_AF-qjn@bLR-t5hYbg(I6`bt1~F@t^)QCMpB! zlxbc`{`BwiQ5DpQN<;^lnBkN>r6Z~#>w(L}6Q*P-p0HIAJznccjo$Q6;Lr~8rvLE1 z|EnKX%

1*1$;^_=h);!f(Bzx$LRL;#|96Ng{P(=C9Mt`5r4KEW@%wu@FC=<%<3k zM!@aKntx+|SJWu9;L(ZZi#vs5yeq+kG-<<0oI7HXNl`{7ZqdOeD%6rIdD%Zn@DPhS z+`^lrkNutQMO2t+k$xtsH{hw`h!bq<=5N@tb*eH05KTb|KAwPC*x1+8gkIhatkH`X zV4nbWm6;X}V$=pW30o19dl4KbJ(1Rd&32wxYI6}y9CAj~R5=GLe|~HMQ1#{lv_+V+ z+U2wGtmGS)6&5(*eeYy*6ON81E6)a<@Gwh{&ejym8I0!2&N;koZf5UBusmGu7}^gI z3CVWpR;52G@4kVi`#rz^LqPwfBlce>3=U3~e~qu4qMj_O7FyoaGPf|*<)&h+>{x0X zj#MpHQ@s-#Zqm*KxjZCHp)eIJD4wN^(WWplT}=RS1;g;pdn?07 zBZGMpIe$h*r$V-^Z%>=NQu(lGl1pFC?XmCPj0ciggCbPn=BwCwQBUzz`Re4p z&4u0>@su@HTZ|(bSM2zi+A);eC7tbk(MeBjRbtV6r60O&RrUTr54p00TtW7;iVsrN z#@75Xf0O$UG=S1s64|H6S`eA6aE{>_RyyGY8q`=3{j+NP!`B(GKJ(!j5I^R!d41p9 zJQXxx2klYw!Rb*|dp%`dH*#ck)SC!4qWk26-+hTrs$YBFPT!$}wk&kBt_7%q=;iie zMuX|_qB>7Y-E|qu?ntQc?wAr*RD2I3xY5}FI1Btu>bEO*b1>9?iRiFg-O(;&WTJerx|?MM~5(k#A*x#vO2^h9wr7tv1Lu#fa? z*&4MtaW7{FNoIs!=%Dg*HnYVrCx&oI&^7;a>=uy6is|_OQ1(t?mUYe6V4~8_okpc? z+qP}nwrv}gwv9^Lww;x>v#T$<`+fU-=RD`X*tdJGXT^*eV~!Xj7Jit2SIO7}@=3Z@ zFlIQ@+1w&Mc4$O6ngzp$?19}M3u=ouVN*yfQNqFj+65;{%;B|aQ8RC5hU^fM@KR)o zVRI5P9QOfB`{D1-NxXdj6{?U?{s7WvNtswU8iEFsl~UrOZFM>(E_S24H{4B=E%8CT zj*H^TA?~lWCQqe&sj!>-IMuh3Oc18sD4e$>6bnVMFNcqYBAQ?W z*x{zr`~;fsJsdm+Ii_jYKZTgAaAU9Su(_lhWVy6vCt>?@BIcu~p2H?TtxdV7R)cy{ zr%$TEv$m&H7s~0jH=c-XmY7;H1zmoX)EPEr)S{sycmttLnbQB)6l48gX`~sM{$&c) zk?*q{poi^#r*gi)7?8y@f&h?PfSMZrEe+kAEs22rem$#jJQwup zArR)l_=~&X_qEA~2ZSUf6gE{X^!BRH^!AQ&^yD{?Gw~D(3lM22_07)DYm4=b_Vz0F zF|ak0GjTA;^|93x6S1(>{}>%pfSi__mZm9Jo~;`rr=X~tU!kL;TalWiS)QPiY+YDX zAfKTglZTX~k)@%Ol2Ndqn4wa*k(!iI0pij@kmfu&K}$|8LZf&&E-gYk0>&LWg>cU0 z1qBchO?2Sldh=bo)xO@k!5z%7@X*>u?WuLR;N?i>TKgw= zmaVb#r1K@t1DVHqNA1&tr@W)oNwbw$zOKg)9zt&|5N}$kROVf`&i~S_U)hy|7VZ9( zJ3Gm}&C|V2&1vgUcY9{w{___k&`d$~!GG8q|0q`fL;L36Ed!mzEz7^{n~`guNNv~X zeKjjJ#9s^04b2-BKK{%c9sDr_=OR14p0N*x0Y7{>zV8#9_De)m%~|N5H(U#X1C}JE zV0_p#fiJ*g=40{b%LnTaa|@1!9Tos=X4@c6d=>W;-yWabIvuH2eCm4nnAe*%wJKL) z(tG!14sG9Sa! zoCbKvChD{2jRSImx9x#b|A1$&W~uh?duv93YJN4!HUHYEM(f#}cKr59^x7Vli&rcP zC&$-9K|T`3F1mrE*d(;!F2W~*7H=mbG)YD_5f&>T5+OKRCexA?er*9(6vlLgQ7|Ex zi)Flk7xrrKSoJ?DcA`4QM;ZXC*XcrzX%uJ#99g*DP|ocgJ`Zr=GPY=E8723?LWx z@C_e!hX044{iFHzKV%Nmzj1S-Ow?bsbLjO~Bu*#wP@LvvAf!$;e$z&A%LPY_ky;sp zu-9pi-W0ayDt|E9{d5@9fvJh^xU2D1>y?NIk(H)~71moA+F*^dRq+8tmF z5d-O7nT803z70bySG5nUJ-9A19Vu)rZN@1c*0DeX6<=0jx$jo&L#R*2ZZ&x#FB5T>ebf7kozoi=?vK@|VqRA|_(pS&my^QZm$T9W>K9pOW=!fx zXgkk6e7}8O>-})UhR06NmU3(JV*EV)DvQx_c>3NiSv8QDuEz&188-}0WD8eqK?(Xv zs(L2BNPphha<7j(Zbe;JU2kb{ccDXgI=$PJUtqEJFfUTC6QdYoBgnQIwoqPyikf6i73OF$z}N&$ivJ)1hY*AwG)FR3yw$> zLfTN2iQtpPS5e4AV<<$Xk&X2i@KxFHr`ri6iOPs*O+w5NsptvJA~_e}tfi}ZHD(iP z!ciR0v4XRqOiSpQPy=Rz3>3>?T`1uMX`s&;sQ9<=OGU-Ny=LXr(z`-C3F676AZWbafZqY zL}gGtBqJ&!K!MA z>z}hN7fYmnlUO4BY1XfY6!15RLF7!2r*33Fx+p2<bEDc{pQA%%0z_6E%}KDEq>ZY znK{DVCm$i3$ovR-`$xkg`yq(BMO$}wXw%0Mz5`vYf&D0^+u}-cOCN|Kp?89jO01rZ zlq0&rBwxz`j1KNNC7~%>?Koifd*3<8BrW!{WxZ&@TNWWO*fg{scYb_6QZv%92+=53 zvM8o_bZ9%CRh%Pnfja)LDNKstcYLyVSwp|>{^&d>zu*+&pF|)d0_5fD`akVZQb_Y? zEIP1ydLzp?CxP{2u+JP?t}C9b8(%=wd-yeW3kPUROh%>t7OiBqk5n4vacu-T58TU6?tu;9S zx4sq*ns~x`Z(gWoz4i}>?JF;I~zarH|u;~hGjtq zWWO~yW!b8n2QWc{D#)Wu(>|S*8Ml!ODgYP^;>F%k;?>?!fT5qRc^)eaih6{#TphR8 z6dp3s(26s}GKB0B#J107)#WyZ8lgKZyUCnF+W9uzwRanpNK#bV?;#L0-NpaI8~hJU zrI3WMsGY6z|7`)G|DP-%j0|l5DpWSA9`Yz^Sl0%zKV7nQEJ)`pF0b0IYRKG0V(JA6 zBP0Du3{@2pDmj!(GC)I>I7~uEAjw-f2mB{t$@Bfy5P>6VRy@UEkti#(s<7g$Hy5qE zl`o&nRT@;Xo<~+{b^WfNe?R;5?5N2FOAx1v6K6KDGP95ReOC46BhoS`GTD7)BeK$Z zs1;3rF68A+$^k=1meS{<-4;R2gufyXkIE77R>w!vij0s-x!A=!Lx)B<`ku5*0rC|Y zRMN-vC`;PW&r$sb?GdDdJq)jnm|5YxVqzk>zpk5R4BNrW2@ws@hX0a%BT3wpoq#9%v36{k>V_$?$yC`pQ zcV4@JNVL953e3oNxiARgpg9`M^UXMb^jrNHsspGWy9`o}&z1E6kwji96L0ab!0ZGo=V8@LlKFdTxI~Y7#SG{F_KwbNXt-gMp%WeCIo!&R7&uU2t@O2?LTicb! z4u`E+lkq`sV&vDGF0tWoF3w^?FrFnn>V$EPHm0q5I5Wq#WO$?d6_E1kJjrbx_2itL zHYf%=SxGo;QZ!r{PO&j-ZWdMv1xo z0=*N~<(u?ZWUq&!9Je@nz{#r5$+HfE!p*I71JVWq)s-}4(<3qVRN4M=V*X}|J+&?e z@A1Irix$<~OhKN*k|uo3GsCA7=FS4<0he{tvNHF>K~7}WAD1i%Uv~FNHf1UoQ3w0@ zuvH2B#MrX_V}3!k+l^nJ1KhReVS9Io&B4gU8Rg%dyK>-2L$` zz&;B)_Wk8(G5(TMR;tfD8zaah$C9Rk_}9agy-Y-VlRqgpy*#8N48>Qo>iZ8qUK z;eMi#^Trqpu-R4d-0^%vf#O|!VZl&_r+iw;RE&nR6Df+&*@Rhqe#$AU_6}J^@RH#w z&`RZ-{G+HgMp7skMOx*OZj~z7+FX&Y0B^m>_A~?%o=H z?-Xx91#QC}A${xY;2_*bTm@;j%1kjanZ@N;jLdQ<_&Lo(xU&CKa6#pugF1C@%@*kN zED?t6=35>}%;`a2GM&K)|j$I~1v6RF4vksTmEVG^gEEF{7-14b!>r z?9!?P2RxUy&tY24R4DX18aSFsMGA-O_71rvmcIEeh*i8@==O{<;x}FOXAie@3}0o zlg*iHTJFqMZi-IDKakZafHS&3c-lVszOh9E=2#(~%&co$J{%AqZb9ym`O!G z;@KgV3tLrMqARlscG&?(@{x$Er-QZZAX@{0$R1D3+1%KCMk_h2x3StvyrntvT)i^Q zHWwPtI6-7}s!9kI7ZPO$4?tZ)@QBbU*erFxYBPwEtuu}*)6wHne_vrxF#1OZnX-(; zbhrps-Xcf^WTZ(jOu1ha<}?h*369(La46ta6ced#Q+rKxz~kjU_8JeT&c6VevX;IO zU!uBvhS$7Ng^Qe|4RnV)L^188y%Zs|Z{gH{P%r+QQKexrITt-MiC|_50r;TnQe&@? z{Gu_wnHgG)LXn5AKg1RK;sd8}w9hO2m4aTL9eT`hp*7!u7>h25);F-J3t3%qG36CM zN07~U%{*X{_FXOGksT#Lo>u6xP^riQO}}(EUm8kLG!dB6*A7*2jb z!S{*Y@e_I~Q9To85=t=L^Z4t?hKhXWN$c(Bor2qp2>O=m&fR{&daGnJ){803{;fEi zbPSmrI8JDRGUt1({%(sWq_@irvdh8j>#@>dL{un3wX+MPdW&SWGoPvNOj0BtlpOMf zQD5}!jdc0JrzL@!L%ytNOiHk0Bm+OgG|ST)yH&l&slN%yP-?7ZNdHw?eR9fGqq^j{ zB+9|-mM+nCF#iuh`oBg_Z2v}1)oTAQawIy^X2pbtLTz1b#oXPh$q~~N}+@v1` z0)?c69Gx_hhwno^n#bQI50tKq7b%<@q#_pG!Wky6#8whDLPqXc7OQB1s48RVd^PK= z=+x`}!{xj4{Jsr9LWUwhj?flTrGtjeJZUsOgZ4=z^_Vx_@pu~~e;22}p7z2An_BoW z6Yf49U^et&4+XCrPDe%jNwIoNi+xSIhX05UsW30~biJ4MOXoIn7Hgcm>jGB>+D?!Z zxtn=&>wZLRCMq4fc;y^T^ek~c7$7-?f1!K3uX^hdxS&~LIt!fg+)Oq0=z0Qv;+u35Q)pTVa&q#wV zJZv;; zgc0Hd^Wmlmo#}{cYF>yx;RU4xtx4+0)gGD$$RVQCiG8KKCHlqtN${5>I*a(mkd4Kk zcr-+PNuLw_c3&!tnvL?5t`J>ElYI}PTTwKXGTjj>rI^A6UF~&hf;HudAUmM=Q^yW;I2_08 zGvZnms~{>&^cd$HSM?i&h29;Ny~4ZHgruvyIrjxEeEFTr+>E<@c6`EXzZ!A-V15Nc zC11YbLx#Srci?$vHArG0JNW$5ACoalM+s=T^9srG`S`-mLu zp;j+|EeMsQqS-uzATw54J1LDHOw5h#kWpTivbzHzZ_}z!AESRfB-&}h6dpNRe-wy_ zj1wW(J3{7z9Dz~A3tGzY?rs*1DTeIWXsJSCv4FyhE|{_Y5~?)7wX^5las~74Z3u#^ zv-}Uea?nXD{cEbEvJ4C11TT2vn5c55>h4pB|2e7sq^=rAHFdiGGJ!5b6B(w{r4RW}D|h)|wzCzEHTS`e}h$-85K939a< z#D%&ZOaEza5UsdZU*@dbjT`P~g|rD>siLh8>|$`6#XTzZ?$}M<;wZB(Y-Z0*3vB6VJIgofxkkI|ujcLI9xpSjh0rvIXs47oQ+ zolcB>V}0#gAArMotV5H|unfD?uPK#89n(dy}b21Jl0Oz6h4)2O_fBaFTy$<_qGSlApec?YU_agzKhER!! zs4AQ&;AMYti0CnNjoJ2Xpbggw-d$jxZTE<<2qg8H;(0(o&6eU?h;nD3cI}y$4QOcu z)QV3~W-%bj)hU@s?Y^gs^FY&OJ@|$E^4H+gbkK5az|G!^7wEXud$L%*(Cj;s5G9|d z!W>nK!! zX?_%T7#5!Kh=Kc$g|^R!S*-k1;OX!fj2PCuS@&tAfZFHtt$=Z6?%WK#)R9x&589X< zfEa@L{g$4U)1x0Sk#T#LiZQ~OrF{4+>1?I{-8ZmY|3XRZaE<#Qu3q|&g|A1@wpsOh zB^F$$h^qb?NSq#&`J$E>-gSF#IOZ zr+T2P=|x^c?Op2au!OC$Wt(PO=!uv{Bi=llB}w_iv{tM*W|GaAhH{32`PT=Ir`Bz1 zV1c1W3~vW@sAN9?(bWemw73S6nI4|8U>Ytt>j8?9--d zGW@=X6*HWY>Nhyux#%~|MPaHyB3PodBK-SJ>u>zNN<%EyG8Dp(--s^65Whsz^7xDD z`{c9keqR3=P%dSz91W2ei?GW_z_wujp^NhrC=X}x6P?3WyPjJY@))~K<@nWPooppG zr(KlGj&~iHxeezFI&@=QyQ3Gt!^HC>xB|hwL8fZ{he*DHItY9yM5!a z7bd+g5tD#P&CS}o^VR+`Vz^7lYWz%Ai;l9;wlKe_$i@ze#YbopJZZXV&6?ScX$&Sx zp^vrof>Bw_ZGt~gRIElMH+@uH-IF|VkJ7ERrOkzu&C0^04@btaVfb5sz3T@P@Anh% zL3A$^ZGYKMS!Zxj0Z3T%do*!*3*#Y7Fai#byTIy3dH9e|6G0XnLa^JZ?cD3F-iYo% zF~hUqA%L1AM@+TNBbjx?W5mW8Kupf2w)6@o3&3t=lCL_oOKhEdd_<&_s>RBeaGSSru?zlbiLzH?1DRn>&TqR4`p+93&U+G{tzb+kc6E8o8jiYhm#=W>J=?~Ya`0AEYKKd6Crw#d~ro#LNs6{^ra3 zS>xHa+Z*g#OHiqN3wLi4GX-i*ypFP>M?MOQYczwQ_mY zr`dso**lmyh8)E(WGlx0^%M3KO4`(tw>U{v<%R}LVGgl@X9$rZ>|QoMb5VO!QB%{P zqN0MXi_Wh)8$N~Z0Ywd6%ks?{jPV}6k2&5YKcG_|u7Ll5n*Ud=7N&m*)&C;$UBo(N zW99V3xw>5`2v7`WdVElLpg>(P=Krw5KRDt4V_eQo|F0fTwHk~vKn*Jw16hQky2as7 zbPi_TqXHscrE+VhCVF+5f8?V`ikd&7xFIAWWN9$bQ3k?KtZq-AxSYOCeO zQca5{&mYy!rwiN8Ev^d}Jiw`Kr`Nhu2M?Fi^dyhlajw_*_50QHcUn+Lhyf1#$=V>C zRg29wz2Cs_)cgnYSbut%OJozbg6OFh2vdp&yl^~h1OrMK!7x2@S_YcvcFal1H<2N1 zCT<@O3euB18z*N<+WU&ZwiCuM0}rNWZaO5Hh_soO9I?nGtjmMQWdCq%AN#7XHKV8@ zQym@s;NHh`Q6*#XS-(q$V1!^1xdsX@pwYNlS(Omo9bMh(jltU3Jhjvn8Vxpi}!@0qpOGh0)8GUxm(c)K?zAbZ3 zHW6ihRIww&)bFEyZUfB#`Xt(9W9XwMLNW2$tqzh5U7{57Q@8@yUq$@lVj^?S0rKJ} zh*;>&qznWcmIED24p3VA1*no>IV33y8G<62 zo}`uA>gTX zX`mkR6@_fohdMJm%6%aM<`Xbb3!qWn(=y_NH}D~j;oX~i&1XS#G6d;t!~iQJ$P;LJ zAqzXUK`?fG42z{|yqDkcFXu6@Qf1wu^_VN30SjiWtn8zso%rmNP>!K`?NhilX8U0F z!*_fHz!9|fDp>hdH~uC15acXDlu8^S;Ui)0ggFAOsTi;7aOV{60SIh;H1a=S%2#y- z5`U1;`s8kQ-KSYlg=c(l>$`Pc=vGDr5;Ki*$zQfSA;!JnZEeQ*3dSG|m>gMZxjNXXkdeb>j;*L&iW$ zH5qb>B@{)=sCkKVH23@o;si2pri^@6{6UhEkJSpkR@;0YO#ZT;Lo~w5cN9$xsUALJ^ z#-6^dLsEo3l4<|SAbR=jFlY3mBQd3E)cmQPRO+eg$ZI3fHk? z%XqMa3U9uMNKi$j)8Gw2eKyDc1}7>HEA@Ns;vhOb9^+X6q%BF?IH-*7E5 zBP1(Zh|+NsDi*j)LPx16KJ`kLJ?-;n_6iKq``9P|e-xjUqxNSmqGaN0plw^KnG4X# z%GLAg1RZM-GH6Qh@?Es0K1kaz!Ua4;-G)Tgl;vYfT+o87a|=K4EvFwI{n?{RiuJPC z%fX5VM@q{2P;jIk79%X5y`oU*rBLZ~dRVw6pZSx80H(^Y+R@r%@S?5r;=b$hhm}M) z6U64$&#V#7q2n_kxWTmdaW++;V%CU?`Czns_&wW3wsnokt46|f zG>1cuy6eA`|3Nf8X7}31yapPEzXX^_>rys zTG24|cZTxuTU;K@(l2&q!awp2I0|}`L+g$7AFbM=6T*=2%0Eb;+Xa8Q{?YMlaH-YN z4wh1i2aVaPz`WpS{nj0MFKXOYSqVls23IO{n#CDlyTW^L_C|B`yWa+>uHsG_*V4>R z4;;}>%nsxG6Xs`yr!Y#Q2lNK|TdHbi=9tmpm%W&et_`7E@&$4+@(`t)3xi6M-X1w= zG^aj;qOF{imKj+#m>IX%*Jf{wWwyv@Zz>@wxT90edKsZ))3z&#ik?D;oOG3B3}ub8 zn#YG~){X=iw~h@&#Ia}&D}T!43qP)cs%E)DxjePz(?#l`PGwVD3s#%AYSxB8%c3jJ zH3`Vin63oMnp!3B2r;wWLsiN|(?*|#Y6Q{rOovLU-h`b11lsJkL+tOjtMdnN?NO~X@IE*c5^ARv3~*&%Bl55ckD1I2UaU3Kqe`HM4{`& z&fGhz2ORFC;Kal0@m#GDst&yjd(76%#)|1D`EAAF-F|km(KzUHT;H0#DwzlH?};Fa zodVuu4^c@f$EK!8*qpRn!|?F63k!&Mjnl&EgyfmSOlq5(cqwPsDN8D zvL6@La}(P>aPVrv!gin=t{axs)1)ON`%uI8lQ)8We8BVKD*xe=I_&?D3H%=r>AU*! zs)*|BM?eFCpl~!mc)!3{{sUnD2TA{b3fP%BnEwUXyEUNH0cP8Ih=~Fs%ERVUs~M}B zf4~Aq6f0GSJZmB$+?$lA?L(>j!y$u-4&9UNp$Hwp`dRSv1Kp~Z-`AIxZI@KFIv-Yb zYArAQPA6JtWP3H;HZHGxXMFYgnfAtTuD?G%{d(94`{xo6BZLdls5R<+5B4P{)T$z) zpdue1?6nGE7HRvdMBsG@?CfVFWK>A_I}2A8GS9MD z5;M6BR)u&ZlyWJu2(s9)en(SpsGx0?c<62v(ZsqyaqqZ9o|rNvGQ6nhWu;VFLK5CB zPU){q9Z(~YU2xt*?hyIO+bY6K<+GJar&DKtv>tLLp_PbY;9x0I#z;Y~m~#3xd6438 zo{o=7&}DAOe9Op?kS;7ux(VrK2)!pEO;Q5T9i%p-Wr$0ca|c94kPO;IpblCZ!qunV zkbH!@41(|55XM6i21Y;ISFrpvDSEhNEB#cf(`jP{W@LF%630^5D9$`;uyq=aAZ@>BgAc(mBJAe`LB!#B_nTx&UBx2_O$w0+4TS1qt1@3$tx%39y-nQo z{hcv%VBBb|LZpjnfGZIP8?2g^YdzQ}8tX?UvIt-flp^t&kJ4nJR(%vFHt`58VCIym zm6HZK*8Ay9Sm8qs?y?EeLO;{w3={%YQ4+alAP#r@{RvJ(^KQ7qR`Udbh=G=eh%q z2?i7Wt8Lh`24-5FplafA?5Mc4&pV5AQY}ytd@=Z4os(>qk0mCclK5w3LfL5LP`h1y z_s;6*(|uymT}=$$9R2AnPkeoChOq&7-l|NrWh3KwTuDD`$chVb!x_t{B1M>f19XO@ z8w1(%Z#``>JZm}m<@(3IRF*!+wA?!5nvoblj`!dQTa?!(zK&{OBqOtUmWlDr1V?0s zx^V3vw(9_cJHqlcFGPVY0(VWO3>(p>tS5TIVqLt5YCd6%Y#5_cddxk^r2+PKj<69P zH>lh|0Q(Q$ARYq}_bpJgY;|7(+My3-3}UJ=!8hw5Su6cbqcoGy zxj!YBVVJuvm49BIV1{p4S=DP}#^TA8OPH6{)R@10ueRB4>L}8Cg>G-&5Bi`EX?C^y z+knDy`8NS`Ib?=6M>@tb5ia%h5fSzEE)g;^E-o^#zxQ4muY)^px~6uYg?~s@8$!~L z(UQ7`3KtEN5i1Y2rd?B0Q^#fOUVK6dkSYmrgMqm z@ehMK%y^!r_F+i}k>yT2aF(4HtxRRwx3tE>vYBt|Bdc@;p_qb#9vGm$pF>h_?*qQj z0C^3jkL;e=i#zg*<9A-8s!nqT#{mx?DTi!v_3vsnc?@FPYBX3^#1PjokNxEx+95A0 zIwi^8TadBZ=}OMYM|eq#H7Al_m7`Cqy`Fqn2;LSTsRrlU?(w?ZZJk5Iv?S#o_)gLy z;8Uuh>+i0UC5QZ;O75Sz!mPiP{3?{T4R|-4szSY8ZW(XEn(1saN;FB<)qxM5bs=D!Le%7N`F%WheX^?Ws1IF7rlgIGs; zqhoG_H6DiJk7J2hk0CoYX~WRUmjW%X-nWJZ>K2mg`xU;ngz@{1@WU%ti|Hjp8;j_F z-7sy~z9~SJ2x+9{QereCY(7WGKD9-7CExI?c7qi&b^9fh*a=WjsFYc#-ZO*~v3ybX?W!VdBw;4u$Hp0y zS6{$FF_tLVLZ|U0>aA$9F=c8g78My)F_EMVxn0A;#URwP-$B>b-#sv5Tc3}!F*n9q zsTQTOaKUFhYM6V?YDe?nt*9z|<9`S35@UxX>DP_Lf~}!0 zwJnfcky9=nSD`E81@;nLS}*EOUVO!ikc&EFNL%k;=#xx6mmfq;O@`-Zf43i^*uw%V z>vx3}0ka95w@{#1h9U%b8I?U4Un+w6m|6IZw?z}mMb!4gu|-!LTTiS-OVW<;g@7L94x9gPOViHpvYURa8Btzd5By_i~3|0w?jvkN^@FQ7dDLNut7g94uDNJUm|rFdHnc$8`*hgztddnzV#cVV|*E#Imx>Tj|-mPxrcZsY7@ST z;q96TQ}snjvvu-u1asXg z3FR%823#ABa0md8QB0cLjkJ8{i(~gbiE>BP7J?D;nHaFP=SWkX-o3wICSe6Y&^=`0 z6;xeCoBjAQu1FOklz`(~c5XVu@VVS%rbe>H2vK7DuA>og{%*qH9cX8SVYI8(zoEB} z30>MHg}CO~g%i@pP-+3qpt&Q=5y?7g$55(Fhg&58M0FoJN#5>0*9Z3rO>b+c3Zfrt zMdo_Z7eUEgfka(|f`h*Y1_u!EGSQmMY39gQiiK7vKW)D#fpja5-)_xCJrkrDwg z9~^Cd*VG+O?0~w2a)85g@qc7=#i2bq6&&!D3e$F7S_qRpDKzM)4SM71lD*fb$&n;U zB1jmC-h^l{yLws>{tO7)!iA7k<9cS((CB(;AC*+TiJ<0Wq2)-BmY}m6 z*{xK_h+$J$ALTf<9utjnrNv&mw(vdB=0BL(+iSuZO{SbJ6IL;E`Jp~qX)X1GJvbBGt5&~e#vpRrel z@j8;zN@#F)_lyC$4Pe&}P0MV|!t{J6Nm7cdzk}0zGn?dpQb}vp*B@$n_&;JD z(rk|5|nBXb_Agk%EM30t*NepCj@lq!kPB9veGDsEr@ZxqZ)Vcm*bdhk7*=i1? zfi@EdRbGdew@dXAb7#Omcc{UT+Poi^T3w@NA3IkJ=G+iCR@{0zpK;$J-vXXN?F`gU zh7Q4vZJfr(bRrWix`f{j6Mk^}b9n6s;1uQN>7!F;@R^*iyCoDC*oc|=So#RZ0%JZ- z7Ow+vOV4VbdU%tHX{XlNH{8I2d>oR63k5=jIpicM>;%HeoIX6R?D?|t);_}l&p)2X ze*pD@KDx)xE*%mb;?3+s5c^u}SB-tS=ff@2f6zBLYY~ z+lcD!b`IMyA~$=HU4`+FYY|Tg@9;64fr?R> zS4|a67$XMpd6+2=6K9RDr$lcw(f*jrX4H4OEK#URf*LtYf@v2ByMhPrj9sYaak{0= z%JD~x$lD;|>`;PbJciHfD!`IDKNpZXTkvypqjQ#x z0*B^%(nJhl!u>LrRtPTi#7PqeK*7cqeGYH>^pd678zoXp4FWEPVE~Cp zKJWH3+j%{Hsw%Q1UCob?N)lT#Q(juWvgAG3VA;V%Soas1?74HG^e7`IN*`+W6U)fk zXz%F8R4wM-_$|5k;r3h`{`Wh<#};1>5L96=VKmg^8M6YVuv|e|Me?N-TcV}VwUdTZ zPuggtM(6<-YCga@g!KHS>2{&aYf~m^rZc)N)=w8w6Smu3&S#|e*)7*@)pEN^dY^ja z-sfOE*R++=)zVufbLK9vuEVyd<@A`^#2ZnOQf{N)elZ&0GCgRVx(I)f_P&ejvLbck z(|O`pUX!6)o{#I%BVN>yoBKv>?FJcNE?E9+3qIEOAHv|fbQm+=C0NuMZr~o2xiHmq zvu3-~>Xaor8%Q~cnR!dhU)Rx)n6AeYT9Le6_PJ|wa!vPl_sq3ZL!dtAte19`)@5e; zTjAdyr0?r_d`NwFUnxPaTn&v85TJgWfU0c`MfK72NmGE}v2zYLr(540sh>1~_`2HHj2-gbgxvK`wDwnz?%L27)0BL!>(6IG0Ys(?zAo?cOzR_bWqxamUn=9U z&JQt8KmD^I96)Pf8!{)KAkZ?VQk|x!TV$nvwa*&Xqo5pfA$(yc(9webSHh0tAIjJN zo(yFEmpADDR@EZb&7gR*7u)s+@!?8g@aG2v1Rzc7BkJqx@9F!4fPw$82TD=|if)Dc z@gLUwhi>5ilq6)}VEY$I=%Whvx2unqi^v$12|k6W4ammSMEUj)U)?%?3scbqqvkWL zQV>9fgd^q;^j8&L*WU%BCWovxjh#q~5uHHFtS6x7^sU<#K)M zG;<}a+WGU@`FJwR?Rfin>)q$CAxBQ|C!t*17!wrv3WB=H&pNk#v+zj5P(HnB!~vc0gj6$WJ5t z)rSP(*0(H0jz~OWkPn~S{bBE(AQiJpE7}e#8qF)Uo1Ia+GDg#Oie`FdoO!KXyxMge z=lTT;9e27~Qi@Fr#^#uscFJ&9HN?r`@5JL~`H#$@sXEOz8c`)pS8%hb-NYEqnqJe% zR)>t&Q_@)?-T6C7z@_I0IE8S=-2Em<3qz`QW7VsYBVnNtQ6a( z)o5*XjFGiy(P`t>6WZ|bI&|Yut$QXSMqxZH;ivQ@n*L5&>!Zwy-5QVDJV*VeVwvjB5?m#WoH=_2eYN&;Dq1=A0)WzV8LaO;4tXm zGPt`0mtcbhP0#>AgF7TZATU61GPn~4cSz99clXbC_uji(Th%|hy1LGvuI_qIozu?? z-RnezM%uAh4IBl$lLRR(iZ9&{Cg6)!W#?Mce7etd%5P$JCcEq)L1eBwICgjot8sk} zjy&FXgCa}k?Kf9*lHu~Vla^#|=&wM2V=y*2qBICIJZ$Kj;B2DY+&+@@E+}J}Fw8=S zQ7!jbI#OItDp6PHNTxHMlk?SZ&RiEB=p`PMC@NnnnVt}wkEUUVrpik0Ry${07LvQb zePEE@GvNwo#MPZ6&}RX@PTr(KqpnXY1Kuf#l&m7e^!dDQh^ z;#8-KYDDgY*=64q@%T`Ve0?g}Ud`o0mX7Pg7h7^`@sMhNH>Jd-35}G$;*FzyGq`Fc z_o$^ZC55wI_kr9>+)_5H1Pv8Gl;G^RR4zw(+k%K=RbTt_aQm$Ik7_h_3NQZT7xg0)3w*i#}C4I ziB)~+>O85>ll)~DFrIdW7(OlW{}}HBAabYwLVTtBXt+r75|U-XWx=tIud@1;b0vMZ zBB6PxM@p(uM>D*E>a9i&(y2to(+N33a#W*Au_ORZV_&N*pD%xNk2S&Z1%+GxiEOK! zCOsW%l+FbP;Beq}DIu0Oket2J_JWt^*@sG$bXK8Rn^)?W*_fCT`6xf1W}YmkOWZ5G zO?NjQJuQkU=KYeA@rB|>dm~gndGZx?5NZUnNa@+&(0%#-v&m18FZ{{vx)jiG2bRMfNTWl5dJT z`t<6rcUikpn+fSj1AB^5efrrRm>)8Hsq!OOAK0Ih_0_s1M@UDa?dfS_lVpDbqHbKV zU%lNK^R=y&jWt?XS+Sqzw*>0m>7kcug!Ciblt-@w71?5qZ^~p`>7=)~UVi zp+mKomTSWjCRLkU8F-gm6ZS~W#wXG`dvC${8)X!a^eRmDma6j@STjx|ZXMJcf41&y)~8+i64*0~$Z|%Tnm-mC z5p!vdTs*->k3TFdw8K7)sNFkQXz}5kLJTfYrf6Sao1Ms|+AL?KG$w3+un@bv)z@0G z)0z}c2vk+Fgg|0D4bVduCoPYNfi%NMoOS0orc9$~8bVq~ej00Bm!G*Hyb#Lfs=a{A z0rB!(<5uS1Xg^J}s+MZR5~b`d-L%y0%}D|vDTFuo~LFVAhu9c{~|VTfVdJngQmJhj;@1pAz&+PH26l>TX`CP z9lNX%=Y`7M{@uIS61nYUnY{pt@#$-HW;Jl$?0z{#jEJ3P`}c_NHE_nnWl7o2Ov(bPj- zX*t3zQIpqxK-=!F`ua5-1W07%GVbPUmTbKRI}O6efBZQ1;h+*J301@tsB|2u6cR#K#=a+rA+895(x{>49mi)5>e6v&e=fGk+&KXHUdz`l$b^ zO;s=;O>=D!O{}P~V_~~;VY9ME@-*6H3~?bcGh=YPtgC0v9l9&6kwD!1Z)CyWn*IK> z6cP9*r@Ft|2`vbfE&kC?NRRP^#1<|0-$edf#q<9wI7EQ|gh4XZQBfn&rU;S$Sc80{ z8lf6LJy=V>Rp@p6m{3C_AV``-r1gfulnZ1fQ|zym4xQRmnS1vjFiB%1@rC-=wZW)H!kQaF>qVm8NtqfGoAv+tfbWH?&u>Bv(#=JOTYvw~24rd?-0=s$L5psiDDY!! zOg7zTJ|O}~R(jWcSL@$QFoOE#$j>)@@%`NAxG(Hy`OFymPqd}B5-{rsd(0l5z*M`~ z)(hGCJ4+q$gXArrUSnIKJ85ry=+fM{7o|NvXULS7SZVi5CU3>&r|j$-{FU8r{SMDM zZpTA8vr}a8&{JaQsnrDS1e7W0;yA?y@i=en+uki~0BM}=9)!a`+5iX@4t8wKML9ek z(K|6tqj=+i)u2oJR$1{xOsdJ7ID2oL*QHdl?8C|V;Ik^yz3uAUZl|H+*p-d?{tUr; zdGay5#wcp~gm|rWpI!MW_PrajMC2+Cm<#L31 zX8wDfcdRlL)OiB+=MJ?!&snlDhVQPQ9WnXX2*78M&tlrs^V{-h;bpoxqu7ln1h=#z zIREAj{jIY9pKmAsKY=owES{iZu+UFFd4f5M!uYQ-1^!0g_=`}$t7+w^>+Qm;K`$)y z$F9=T%bOl3Cj7q`R|@Td24vKjOnewx;uJ8eSPnc{0US)N4b^1qv#(rhEXnOwB!5m^WhXLTU?4Nu&6~_KG zQAAAzia{H1loSj7v2K~OnaMs5$jueB<1^snJuS;wQ{+REM95dz$a#)~E#%sJCTgOs ziLDmCqIy#sFY;Lykxc!tPK;XvOcQR^!DY0bjU`%5;dD`F!%CB4QE`o(W!%+tE^tRT z*e(A!7~oS3PQTK@5kG0d)Zc%yUB~MWg}c7UQTS5YJvBvkj3nsg+s`55qhz6sR!5;u zl0?C=?y@oKA-4FLy=_R`*@QZ`E?rfGSBqJkf8jVD{3H+%^gN7!_9WZB%|=#M+84Ji zuQeRw$#8w#+LLNlO<9b@C`q$)*HQFft+jgd!cDY71{4%Xl&!4Qvp#wLn*vEy`~+ET zv&1P^Oam|9d;s}ZocqBiB_V_Qdx|sU5N&H`$_SAbE);5rN8a37la4b+gjh?VyrR%} z0qgNdaZsw>;nw}6hiA^R9vtqnFpj@JD0?ruD-rszD4)qwZDiP1=Tv{z*Vm3`kK=iA zrbrG=KpuSrUdaN<$#@RT3+H>>p%*RCq#MMChER<4rpgA-Y=G_RnXB)^nFYs*aQF9b zhcut7idDp|3_#+(Tc6^~4$DnRvsNZMIj9r`7aLj*Mi7r-9^74Go5nCa)=1f%))r&R zCgCP`uyEoAu(|He8@!icS);}|s<#T6GhQX0)^iEFVwFro;n+iH|`(YjUd$+i_+RJbcB66G+3n<+JpwyzmnmC~&6)cpq#Kpa5}7n*+$pp`iJADv%@W z+|xuGM$f4+4Z5w%mbuT*=4A>My5W2Sj|r%>%r|ygAuhu!RwF%$L7mqsbgVdcHc=aP z6^1s@cHc=27j_hUZ*?ncj3G4}bYX`Mx&?HEZh5!*b`U4O`{ZwZV-hH_2tH#uPTK$Q zeUEW;@56%1Sc6$U?Q=huDT@dP?a$N2+h4i-GmVT%x5p9|n-cElGOa=nyEtzTT9CF} zP2iD-=FXr3)GhsaQJ}vP@%EUAy~W;XP;9xuH0$tp`x0s_+;i}aGLCvBwc(e?ap?hi zx}OIU$G+1Iv5ZlM%kR7!J$F7`bJJaZayzc$e}C13XV6sIcHTunTdLRMb-@~q>e@~= z?BDyicIG!0x>_R}C^8&#Yf7AtIkDNbr$F}}rF3gkG)SbPPRhhH7ynkAl@#CNY0NXIEonG(F{UpF~rk%{ODm3ly z>9O|x>bd_m^7_>725a>bf;h1L4+(mGQ zrnkdZOh!%Y3s6mHvU^Oq(EVZCBT5C`V_XL|Hh^SnXP_oIjcYAj86~6mX8h?CD13g)_&|*LH zH}+|Pt8+rIw4fzFYyudVv3>sz$B#ebAi4AHN9PIf#lThmpU;!Q%lDRaprQN;?oa6n z9G&<5@6}*f4xx#7O5d^GrvI_vK2nia(w(-2`EAU3NDUF{?-i;n%D}tROCl%Lb4_gZ zaxbPA7lFIBXiZ9+5|qnZ47+4A?F9hlLHNj)o@ZK@`U>mL)1OSsC0RCbb%IaQ~5q9|YHn+lS0hLz<_mnw;C5p7suQj0`dRRgn6fMz=;7i|(JC zT*gKk814lp)sE`YJ(s%7z|%FKkEzlc)=0)Cs8Z@j+8T5x?pP@Z*+dDnII<~4!bK?w zrcTw*H1)|;_(#(YLP>tboIJScf3H^(*KnX;joP$avlD$s`aa2pHUX-36L`9Q4k-^g zwZ)scs@FQFqlu^dwoubcAtVSx&%<&-inFw%H<)4ujLkSU*_-PnT)9Y7Ezp=6C>op0D>U;YMDJr;98I-}uitKWS%|!dABf6gJy}}Arp^5u z29GpyZLaK=ugt~)lSE4cJmBvoysuo?UgK-Rka?KDQ1?Z$+{R(jcOHShW=m!AFRsTL zA8b-GnL+zzFD!Hm6kXy_1vwFuLEk@;=gbW=IP zn)h`yE{pi{5rH!73=vOHWl;uyDYGBF)Cfa?saVJ9n<*Gma*F4-(&zxbvofeq#`Vjq zGtG3rf-3{2DCLQgR7hCeK-qpD2MfkEcW$?Xgz_~tDQorFtV3c1%HhHw#_oO!Fg05; z8&!bnyT#)5TI5?&sxU6QxWEH;m$oAL?a7rMMSW z4Q=ZujKI|R^Xj6p?^xGuWMV5)5jN6ehOouBOwQ!mmbpgQz5->+l4I2Fim;Rjj-6i| zzA9u>JVPO#BEiy2X_m=W6r5A)6U6YqnxOnZS=Mi_sL8+zl8FncbxcbGfW+oF<=%9r zC@P3OUED}7HdjzkQf>Nl{qaRDO`UA9u*tXj8tl+tdk5!;EIjG^hP(Y`oXxMA+pBds zr$umo4n4-rUEXcYyik#1L}9zzl*9=%3K+guN5Qu4I|1*Jc-6=;;~@NJ^aGvtfC>Co z9QWOT*4O{N+>bzyxiLLk_>z1iQcXNn>SE$iTD5E<38u2_4Ywx`0S9QV6%~&ZrqOZ z*4(f9>nkIgkjiS`cO*IHXL)g-(?x&u)~MJ>`&EmCBixsC^k{yV;$*p&Cbyj)d?#ED z%IKolc);OhO8QJyV}?V5b0c3|@yIdPb{NB5Z3vljaf*Nl^`3I8&1o?>J1Ml;Ma}iS zQ6~z9a7MM+#VqwDHiug|Q6FjdRk*O#=U+k~9tEV0ZC9aO?4pUxThd^5#em*{40|@`0*aD{iTfQOkPk0gTv2I>@OTfVCsza5%_OXFB zs9P7|1bOQ_QAlKYXu*i7Dw5PY)2w0_*ZYN@th0a3yq;>-%d;c+O!E5Y$_{^{KBq-~ zQW}wfOoUA|AO#3d$MaNfffK2uFu_w$=NUl)@;Y_dlp_;&dU$C84R4f9#${sGKtgCt zYA;pDcj=dz6c|bh6jTV}Ql+L;V^V+3JW4Q)FX2tm~;ToqF&yX Xp5FeRwon`(A5aL0!^{lQRK)o&y@)HN literal 0 HcmV?d00001