From b3591c6c338fb0115aaca5aa1c1a4093827b19e6 Mon Sep 17 00:00:00 2001 From: Riccardo Azzolini Date: Mon, 13 Apr 2020 17:59:09 +0200 Subject: [PATCH] Logica 2020-03-26_2 --- Logica/2020-03-26_2 Forme normali.pdf | Bin 0 -> 44254 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 Logica/2020-03-26_2 Forme normali.pdf diff --git a/Logica/2020-03-26_2 Forme normali.pdf b/Logica/2020-03-26_2 Forme normali.pdf new file mode 100644 index 0000000000000000000000000000000000000000..aeb0b6478561ec59054c73548646bbdbf49bfb75 GIT binary patch literal 44254 zcma&NQ;aCwvW45WZQHhOuI^rK+qP}nwr$(CZCm%h$xY7Q_w1bPmznuo$sFUGRij81 zM8s$r=~$sikM6GDpqQ8l7zk_)ETDLJ=*7&foQxgl#jNz5j75wMZH z-Ka?j0)yDPU>{m`K_C<9;)ms5#|api!T|bN)Y4b;?JnYn@ZAVYUZfC2OLpg#*D@5LWlUO8adMq46+^WB<4Hh29$6p)uOUj z=-!d&63mG83bW!UfXB!S9bSRp$2V576?JnY`~faV|3Rid082xAaj|6P#MmbHaD~+i!?8 z%Sjz~=f_r5Y>26#uG3)bcQ3D^EOD=C{1TcaFAH|n%5ox^iUxU*J9=p2q}}@;08M8u0An$~ zLle76%~A-sct!PGtu#qB-_ST)qMSGn)0&lx@hZlMO2H!&SER7#e3nrjNUe7WPGr>@ zMPx)jC=64+RO_NfFA9|jqK74p+~>4bp?`X*$v$p6e-6*hb{OIl<|jF<8|{Wai3c#o zB58z>FM?Q6KHOWQSt;OU!^29K8(wY;T-T~5_$m;0>ur5XbxBlU57kIMtR(>tbg6!Q ziS&dqf)@VK0W2MJ5sVBV<+B!YW4dK(L5`Xous4bRTQI7D8yl|>S?VQvpOjhFge80t zKG!)Nr8O?qY+Gqxtx39zlkbZ-q*AziQWexuk+x-|ZXk%b>`^YfN<@N+6A@Vh?WJ+6 zMEY_7UvWsr{H zo@*(_yB+P3mzHSZxx{=Er>BOqqS@I5HPgIICXFPcOr^Oau?RnoH0q-ZE+4(f@s$(L zF$G<+22pca!rRDR(ZV@AgB0rOs94U>%EHeQ|6$>5Kjq?*e_g7&sg%J6&scN{6GdN2 zuNjI_o~gFF;Z(`)?Vj{CN9D%i?qXrQTzCi%8bB#$kMD)uxrB_%y}dzZKAvPbgEUcR zeqhI7vB|K|ywKd};7!@VV~2UK64So%Nh+g(d6Y_#u5sg|WgBu|6G2KZd zDg>mSQu%_a|0+pB;+9CI^V1aGMdpuN$@R37i^wh;y7G(5ehrMWtVyOLm(B92mB#A1 zY5E;zsmpEX091)6-1fFRNtKDzC2C?z${5jVBrTK^jtWOHO8Oo?F={;;cMuW!Uc7(c zFHv#-M#2JR(qd-y3SBi5Cue^L7h9AG=cwQ1G!|iSCs^u$uD^7>pS1H|T7M~Knh9A& zjPPoVvW}9JF+@=qdP?lh9I@sFh8k=6I5BXQeiFP47Gqip_?=_*^97!EFCrrf>y%RD z6Ej)0?2rM=s6i?(GXSO?p+IlU(BqT6W(Tk5lNrMb&&fo6))rv|U&{VF`2OF7K;1jO zkMxLU_5hK;ulBx@)+TJfR|QT5FEUFajWB7BK`gh!ak+h7Nj?KL@sVz1-G`nRw!A*5 z)E76O{xE>tRblA4MsGqm0Q!TPmPi|--VDji->3CEY4mxDq-5?3pMw&%B!~IRUyl;@ z;SrU^2PS#!VsNgKqx|4sbI@TvW6MRDPOo1#j|yHa$#%#Qs2O*43NTe~gFXNY6k#oj z_G2bqz3^sDo@=njD^nLZt)fT4H_++B0*q6R7kbi|nn5v3f8K{6#_C)24AkiG6)gO= zfk%8RfSgPpwclO_B}mtwq|m})`=3KhL8l`#0O#5b_7 zHf2p-?$M_CWBxj4#D3!fsMA?BV&>BeyN1ww;di@>9uV5?2^`=Ofj{mz`JI3KhH;AhY>CPe9(i~2(^r9H};!JvRRF)=we*mu@`}?|HCHXGkvAVleQuybHCt#ao z(@(3*yfZ3co=T4n`v1V;pWFY78cb~e6>~6hvi~b{ zTx*Qm;IJcfpHhEN;D+d^#E03Hb206Ik)3@(WHMX%NU!yG8C4WZpp#G?=h5JIl< zjq1>qI3PqD4w!<^qlem-)DE!rM{=TL-7$N$t^vF z^gnH%&L78gOjKlhQ}zb27^qq1L*Z}wP{syN^EAE$q{ z&ju`rW+yUOujd|p2?k|^ux-6~@e4ASJj0jsC^6?kg<*y%LzoScCPob$xuXvj=Mi0j zm>Og*W>$tF-xU{8Cw@u{)Mpcz;;7YN0>;uWDb(`A8^1;54cdZWL8U9;0mivD;t@#w zeniOlVp>wRS@^K#gfm7u``>sJR88&@xRbul@!=d0u6#GoZ5yej0lrA8AR91a#hbGQCffR1!6+%4^J>B)q%)XvPg(9Z0#Xikm@oo1Ct!0!j7bs(x=T%2ob^K(jMZS zW$Hr)mPOMRyz2uf1E_$QfxTKoUTwt(%*pf#wlF*^bdaC&>_7qg-2SSsCmxg zA(B#!BHg$P$kP;C<`TO+6tQ85lD!3v#5a@h3XWm5%&LOr?(UVlZ_EFTGYO2Op8%xy ztRemg#Wjd#!n%Oiyy}aWt}6&ZUey^c*1w`-MLI8*g1*&%40N0ywqeAr{OGcK+iy3O zSBPTerV?}mytG(f1v|ad3wHb!>tiAYGE6vOVrmFnkHZYQ(fCYl_oaSrGC_npPO2EC))D=mDrGEg8FnMJO+5 z{tT2EQy$!s7L@hlV%u)GLwP(I8l^lQy`Prqr827bUs0FC@mZEF(J<{IX-rKXP@cTK zF=C6d0a6-E$u?m#qH5275k0SN{_`fB>1aE6P4xFbhhP&%q4rnOk4OYXi{CSWx<@jB z`v#uUt%PiFm4GYKM1Jy2g@(1v6l_kicpRULLEEg}9+)=`ss^nO1;Z6pW;9BD z0$i`OB{!VDH&Op1KxnKvK!{?;z}Ah5H}Z|{m1c>8G`80!KX>e#cUXMwiZkl_7;xBy zy;uoG-Wp;MWGmSStsB5OtHxZd6m6wna%4QiHJ?Mt5A?Rh@LQ;4q375wEa;QE!w|$m4mXoT*7E5KO<;=J&y_72H_|Z5m{sd zXo^5s5G-OVc74fIBiZ7vFqJ5hF1YbU!$LefZzTvpQT!)P#pP^QQ*2r;C+qwT&5*OqdJvz2NmlN5bFA8Iu{+m6hd7W_$Npyln+9^5!YE(Z zvw13t<>xn>9oThp760ro+T60Gy=}|;()}5b1gyZlw52qpGJ7BBiWTMH@&rtfjyO*^N}BPfrKGzs;xIi8o)H`riZ;-H8|KA`^{UD9R|&lw1#= zbHo5W3HtG+R7krL_4C{5&s!^`zN|#3B&(g=Je@R8gLa&S=sumtTYBzcI7t&6(sTV; zi<8e;L~o3VuO?dD!vrLxf=2U6oeXr&jo_l@MqwX5mQ_cwr8vkl+{8jx7f~1;wA8J0 zwTvs*TQ=s{MzYdXw~59 z9)mYXv}9uzE$=~t7w*VUe5{oS(@K$hIfYmQE}FdXmGtODlPv?!Vu!QQNqQ&I{AOOR z$)?RCjRkcTFE~b!t*LKruvrEzlVXa!>b+#gRLQ$Fum=9kLC8sE8*{pQGD(Rx7qWb> zO09(!s(dr6gpNmV_AXFz(+R%%TCOn?xgASBNpjp^8&3Gy#c46Iaw^GGf+buShRF%K zp%0O(VkWT$H8!2Y=@C_0yjkZEIZm|U4ih7nvFu@j%MAx(sDrZmC1GAlpO``NQ$9X;q>Vx-2cKK|+Pc^Y z&p=69(9E!nM}7<{!g?(TZ9L%g`F7fzbfY7MeTQ%JqAKN8h}r|%b{xL z_2oLEP$w{)5TQ%<(crujWbn3>V@rnyRi0;oGxeXmP`bE>ujx-(@6ZTbGw)w?S&bnt%;r z^2&nTonYk_az!VR7t};LcV-i52QaGTiX|85XA941SI&elojmeY1CQOU2#=|D##u`s zC*32`&vTYRG3i|*2kAg#rkER%VzigqHUAim+k`lFh6pe?IF-XwOR)KvbYe zefaNQQ&o`m6GR~meYYBGGluCf!CMnjKE!`7a!2tYb>2nRSYj_ zeUHq#>S=vIv#}uvYb{rb;$jrl6i%Uwu~Nk(OlFp6Y#RIr{_e-F^Mh_mJfP4m$w9&Bpp zN^_!$dr0~wD=1*@)EcBC?uHpIJwHpiPPxu3((uMB#-lS6OWU9MoVXH}YFLm;&dsKqa)oQNahATw5~WS^6*Lp!6{!1vi|f>#a?-1_Y z@Xu?aY=Z*(;u;T%lZn-Ncztm>eCKFc<#GvS0M$Nj&xg4BQ!#jkdaIAb+vk=U17&t?ECWS-=f)13SvU?bjfi!!pE& zUrpUWCLb@dL6SYU+;WBxN$!FeS0EgvI;sb)RnNwcST-W{+6K1tH67?wlaGQhYE5Mr z7;GxD@`5`Ew0A8JrpRbH?dDD!RwVVz9C=({69~$?aW#f9uqGEvZI-{aU^;-<7B4y~ zT(a|Nw#O|d$g0zOD>-x4$iY~T22Z{6F&KYBgR%<`3hNeva&fgPgHeZtH zTn>UL3aOD=OoF6ZhJV_oEXRngC%6Pm>eN+-rU7hqdXhb5{mK)qo|Ye%%lL zB6|(H{BI*+X8v!Cgo%}t?O%=LT2nd}n;og=wl>Z-M|jcb9#_T$k)G}El{xSftsEF0 zbq6iNY24R0N~UeZA6My&(8E5AzexKq=Q`dqI$mox8to(v+=9Qh~m9?2=O3^ifKnZ~Q;u;$B2|zHOi9 zKfRs4yPwAIF^UG1bRm-tQYd|JrpS;)G@p{O z%@=|)tiA{owwM>T*qIARqW%y&d$zR#2bax*r7fhaRl&h29%>3j<)9zDt*0jh5YRx_ zY&S0q5eb}|BeVaCw}C&Rp8cLJuK@{Q*y*<&ve?}Rk60+8oD`h3Cpl@K?H#m_u%tus zQOXe{{vq?%R`MFiAH)(AAAvH(&(^&fsz2|28nS8}vzsz1H19LoV^I$g zyjo+Eyu6zhKgZ_7BNzl!|80*!$r?B*UZCRw6R#WO{3s}3ygLqnz(WdyDHcTXj1FS*kYMf5TNKO!DuaJI=b^lGq~ky9bC|)~J5Y0!~6N z??Sb~xrJYUi9DX~4%XC%Gq2^`vT-@!*)LS~Pn_>f5ZMh-ZQNqnHx2RRXv=T&Ysrt) zv4Ore-~of`BMD@B|ht6&FvvAGt*Sh zm|8Wb!q*Kb8Yk!yt6w<$lV>Y=TJO^(x<{8QteAXuPn~bb7)let7UC(@baC-l!1_)o z)WBpvlwhZKT)%0O91)~brNg&w)i>xVL7#zITYAH!boUB#9yR!Q>b#inNiRDB6?%q7 z6d7S-(QPkaWm(u}^3D_n7W((5f@{9DPR`ECfCdCorMUbJW_}oTS?_lXiXEW2rB5u3 z@uOR{^m&pFj|*$P?*+23>D9e5u5=0LYX|VZrSN4n*q7D@9$8siHqbO!LQa@uRf8gx zH-baxsLzl=AtLG)GR&C!GDyB)>awBY8Wq$j5;pcWUep0@*y+jC&VmE+v$rrOc0M&q zAdhD@9@}|T|D4GjOPjwv&mWTUhqv9YN&dVmcpS1OZ^d{FX&*(AyD03Zku4r5_A~_) zl1;-kD&s=iCQ9Km92`-j=!^es;OM zxV9+Yp;KOC9wqRO786}m@@-z;?9r?-7+}}_`M9{)2wJuU?#-mSgij?O4)HRa7L1t~ zGWZs)vNeZ|i62FDSaisvnGg$20an&mgV%)9QS?87?og@?>!la$`CC183jFK7-eK3e zRe(9&tzb`-^tTN?W54^3)5h7i{c0Rw^KtZ2rA`NB6Whk=)L@g&P!q}UinVbPQr;UU z?^FU8PcsqK#E7Q1&hxnv@Ul#BAO~#T4w5HyOWnVFQpL9l$e~&>TATFyZ#(&I zEr8qV(+BV#W06|4AG;jCE~4sYjT);7+L}Y~$I{>iuTJ!PczE#5C(xG0z+I1aFGC*Q zA~f*D%){nI#;m&ibgnYEMo?0LeD0RLhvrF{Qq9C{(|K~>yA`Nx08(~G|BpNKRD{R@ zC`Xb|FSy0Ql5=L{xBU#UNK7S2jYx5vFKcJ*m4<Z0_zw4unU==MF#rO&kI=%aSs{kRyoZZ+SDd*cb#6nGQXd{?C%ljZQy z#lxiDd=W_r@vOePe0=*_nsGCnUknZlN>NOVu=@9=2K9<%4(+b=1Ey)%l#L_!)(C|{ zDKpqIqo86c&?gItH$=c(HZ=;`6E^;*3n7d{22!SCzSgLMiDp9h5Orc}G5jKS>#jD> zQY8v}lZ_oB`z6hxd5%xwMLc#?M3^{H`#%$jjZ|tdl`OF}Gg^Sp zQee)`ar+Px9xd&^c>b(bfP(`m{j`mSFpiBu`eR9?w|Y`G4UJwaL)qYn1wx-0D*@jd zH83n>!Krx8Mn$f}RMJ`oo!5(D*bNE;TdSlA8v(`~*<}kWVi6Vz4Gz7p7)0RDx%YD}b51v<|%7~gx6(J1;SX^qevJ9Z*RXIEql@WQ;WEHv{G%IIm z2(KrFtkPnU8s8)(g8A4<9)uaoqAZ$Vq~)^_oxMfv;TZ~R(SjyNs>T>r!{=-OO*2*v z$bbZ9${_Zn*ld%Ii^aOH?Nu$EMfudb?9PrnL_M$D3CLVDGb)+0SpF;)!HbSr(BHh zoTHUPH;~=2F-`O*4EPy0Fo&pP{L_^wxRQ#D4^*U99w?ljGwvI>AqZ<6Hnh@Q+x`G5C{YJ_BTJ6E; z59+39+*_jJCQ+eqTJO_}sF{{w{Nph)Uv< zBl*`X8{m22=W$|TK)g@arzBRPxO=}ySGyxI5f+-~HUVdYa1A4n8*K5jHGpHwIEr^=Y6d3CUarJaHjCyve4w}(OA z#hZXZdI0m}oH2>rg9e2m(0py3g(_y;-oeA|W#6*i%qQ5MOUQO9r#p0TyyJrVW?11Z z^J+!`k2oUgCos()uhzIsbk$!LG{}>%q7FG%4hO4!p!XKn=|SP9H~$<@!_1KOW2E{- z(!7ZXrvA*jzBNr>)!eOZ5tL@lFe(P8stBc>dgmHrTI)2BI$keO>o=`iKtCt+wkr#I zUnyT>+fH23zL6|}_Ub?HfV$Q3{Qsfu?Eh1DWoH8?cROSHKmQzz!v9wghna)%UxB|^ z)zeN{1+T|kiet$}9k)RAerJLX%EmvS5{3r2L9|KF+#GSDFli&Dgi>8Z(>GI6(x&e&=fPRyB^C>9~!J!`Cx5itSV zog$^Hh4BUd{-2x$NN7i{cKBu^`Rc3>Uprqv-Rn9&fdMDZA9Y|#N_kpIN%b5mO675> z2+)V3V9>~flxnSZB2II6sfmdq=K>;iNx>ctN?u($3Z&!7b@~L8TuKM&b zf))gI5w`m5F+#jBLJkp{&VPnEqmaWSj;RjxLueyDjEAH6FfXH)Wdh8qB_}cxAV?kwb103u)?sQ}Qvxn(l z0q9Vck7rzsa01~M*RXUAXw|9b>YNm_|4wmiE9eLyX&hPwvj!5>zvl{27 zC;n*REsGHvv=l6|dZfCzt=${WEs?zIAcD1MOMkfh5^pwfvg6I5gbY#t1kNkeibg%S zVBz2Psez|eG9wk3pe=9{dNE9edwC~D`hFAYYML$7g8gBAH)3y6;+Pnmw8x40WCl%b z$?{tGRM}ij-Dh^Qaak&b0T8e_=e#`w(W#lU6% zc7hL->j&%Jq(^j_-*2>VIrQ+1-C{N7Q*XhYXB>+=NQshVHah!-I?LsFzjA8>@bR#O z1*WJVkg1;1tYb#v%>W5YDneiH)QvhKtS{HZ_~6>(IdtI;uh1HKtOd+MDp^c=@O<$0 z?lIlX$vA%j6C!6M_aL{=^%^$q2zm1Jv`AApHP{-8bSqJ`AR8(FJRqt`-y}RX)k9!p z0e+OxT<;azn@q3L)0}9`O(zOsh+kir2 zgzJctdwR&q!-KD^yT3+lo|+y?aRMb@4rrW>9gqaCF)e$7mKX>&9V=ayv9$uy;;DW6 z^!?`XWp{+&yCHk#xU(GI0E>b`l|x6fQ%^3OJKC|wr~~vPgd9Nww-0V>$H&F%lMx9o zVtNk{iiz-^9+X+6f;?<(qg78nlws1gUE8HHaO)Q+560`vOQkf2l&5S-Z zvl|!1nZq0ROkU8K5*h!|JBLB0Q1K5+2F=O}(!JE2g?il_~J;5cN z3;SQ1nwA>o(Ah4?v0aO)QUN*3C>098-Wo{Jcf+hf)AluN?a5X@aoLIeR*!N?+m*C+ zj0Ly6_cGB^a&yqfKI@E?G#CY5_Dj}&L-4Pk{zVI2oZLb*5ZF49rFZ9PD}$DfEWya;^RPndr&1B|F~kN} z7BDUEl#!FWA@W>6uA?3DA_0@QGf^ZkQmPd!)D9%GG;U`em>9ZMzuz~&ueQ&;X?FiZ zM)0||)}pk4DzA{zwGwLf2HYSQc<7kA3!a+~bZ3i}etH@LE- zw|@LT4jisfU8*YDN|}%&o__Ei%LDj*z>Ty~iKS3sJdWX>VUl~7(lTHzgBNQt%bU@3 z6{WG+D#BM)4WA`sa@TNn9h7ERgVb5teD<|_&H@DW1KxfMOKP|% zfBP*g4eCw5{k)%u*b|T?kJ%UCfXn>@0;ueVv4d%gtrUhB8`FcQ0z^v}b_+-L^-jma zX6nc~6=SHw3UrMa>{H<4;4w>1#s>u0z-EGDHVu#*!ji|2bU4n|s z7uLQ?n2sG^UE+n>nAJ4;mE{-U6qRjM8bO|8VA5UB60!^J$Q6tDmbvM@${Rk{3{7zV z9A!Objlgdoh=Cvu`3i3oBqU2yODJq!c4xQ*%R>!Q_%at7m>iFV#>U%qop#@;nC|t8 zne6V4aDUv0mB?tCC>%3NWJ7x*3TxH!MXBZX`SOhXpigvqesA6^>gEil)A*&{mwI`Q zIRfC6HLqw3ulP&ZD$Ip!%d`kuAf*4vGcXMsUm(~e+t7tLW4B8`_U`k!gUGqQc70n< z<00XxV|L&54SJgn+}9VlL3<=2iXKu(9vxaf7DAMASG(iG^dn~Q$oE`)|L}3c*Wupu z_Ba~^{9?cnwM}7F8#hum;<(uMs4bC(>dX`AlE@(5CPS$6Ztbl41p)1zu`9$U{S!n~ zu2TyiDa1pz%bge%sf`$wdmI(pIJAo%)9Iv}O3a6+oB1d&_E6OG9|(=(e+cdW$VPKA z{VS3E|HxR9OfL}usaV)Rxz)KT6xZBv1D=@l3Ks! zl%tjd7SKR~Aqr)HFx9i#jP@TI^?{1=bpOj4lS)PLF9)-XR+R1TB5SEE&b3|r;jp}dAg9g@Ti1O z%P)>~$p~jZW15f&DZK}fR_^@$eHo_jJ$!k>yvo3fS#{uoF0Hpm`zSb{|4U;MI-Iw- z*@ibWbl;*gvoLwT4Q7o$>@md^m_l~H{kt=T*8I^d*4$A(y>*#Ir%by-r&w)fqtpFo zxk#10awUTUdiqEO7b`P|+1x6bNu^ZXa?eU``2ekZdZp9k-63>vzKl^Fdm3%~QaYsq z2P{+P8P4>W#-&Dc+2+K$qLqbAP6b!g@Y#$x)8n(uP9?NGv+-`}4rXY|#AwQ^BwT&4 ziHUpOW{3d|ML-ZmNZ$kmFd~oQ5w9^ZeuW{d+!&2X=ft%MRyMzrHPYgWHC0r*fM2o> z&^M}eTb%tS@(v9r5w+@&$F}+5tF2i91D~D(OKN?b$fnBcOvyaG?1{`gJ{s3wYX*|e z_`PNA7$lS!JT&=8RhigMig%LdiGp(J4LW`JjdTVC#T&N)D| zSmlj;Jzs3l$x-01h#xJYi=S-jBWsYhKi+N%v}zXChBRm)bEbMS9qL0q`fAYI zz;szPWy4|#jZ!)I>Vur<0rS}7s#laJ;M8Comk0lE71}R2gsefnikqUF++WJ7p{Jp0 zsjVlF8Z_uf!MH8^!*-hDw)D}?h%hbM2#As0NjXqMG12vBx3(hrGZgOr^hrTBO?48K zaePjZ3$y-)gg;`*TsV5SYDu?g6F z`TzleKi@)4UXnNX5TSZu**k(rO7lyIS7hWzYubGAE%3rPCq@hBQ3*EW7x?WIe<^X9QFCZq%9Zf)x8B^AE=E6Uh)o`X~nD zLxe5M-%$P-^`=EZu0SuaX7WF`Dtu z-07Ck@u0wg_CkRnG2nC|wdRalMtPE?Mxi!I^8gP)Z>r8CPHF1WQ528|Sy&q=d%O+y z3>ai-WgFaDL1sQjqL5#B_^sr=y{sO1yq+bJ`Q%~VD=P5xLtvUb*`UnoCdNIO;#9xD zT1$vl|H`Oj2ZtY&F9tKu7sglIP;Gv^#YoQnVNf&D9~OjrGt z)tlhxU_Gg>D6QyFs)01z(c!p@uU#*>44AeGbnaU6_(Rhb7f*3vsdie#oUrf_=44Xe z!_nyWm#X-e#_Mq17ofgADeph%Bjf+*>U4QM2fPu|FmejPu1Sm%rgk;R4P#j zoe4ztUBlt{doll8wiswLLDPYENCVFvUX)h#>%8)`E zqu8Kfd$1}R<^ZLyNo!%z&HGz1yfJXr~ZSMElJA7)#rsDHvtQ9Gco> z@j?(p!6hSdz}%iv1!8;X!g+Wx#wjDpc}!O=3=5k!(vlh;unZLi^TXk1WA~iz@9pEg zqExYG$uXZs3ck9O_=so!l(8SB7v%@dQccn?WLmu41qmgVd+9ngty{%RF#i!r#)O6w z6L~lxQYQ4((#>aAJ)gZ3pOBLM>U0O={Y~J!C@x9DoS>HVAkI~E5woR9{)@W*hhO+FjUU_7_`t8*wYra`wTZ>D59}pB zqj#W}uwLLv0EwR{RFVL)M*-fYj&b^$7FUb?>*Je8)i>C)^0Y}r^#?iHwoQ0# zHh+4^xM);}k%3eSd}^>-(Zoesgbiq+4svn?HOKm7S(};JMDq$8Yl#r4+ZlE3R~Tm3 zBh!of&$YxIN=olH(Csg+y^1VCPt59CG5v{;Uv7Hw+WNLFiOD}%*qWXTCm7vqPSED8 z#}ilY!#9vhD4Sm~yk(CnFI;IQQ$YNx$cJtwdp?QdgLkaVm z6BZmSnk@XzGn^31DYy2*rh+y)wNFo~k~$0HV^DJ1&|=q{UKjI9-LDAcsYIxrdJ5F2 z!}ZoAP#0+=HI;%i6r28~rBwz>74>47hSw;|lw8hT6vv_s?ioke1z*;c#NgEj<5Ti1OGbk@rq;ZEf{U>7|IoEVF;MXRs!vP!Tl|`A>;s9pBs!#R-1_!V*8U|AP#%{8tLk z`ftRm9VcrU#DEZT`;O|kr4)f*EDbGK*AW1|s^n^3%ZO>6M@Bd@`16@T;dw?l&YYO; z8p2L>(V)5@_@vKzJJ(N;T*q-a>=1+}UM`Uk5Vv)$*!DgI6CM$g&YX!*P{Qlmyc;XJ zxKt~@DxHiYxL2p5WdlaIeb{kj(>PeJ8VDu@De%+|H8Zob7YDt47&zOknwM-5G}wG5 zRH7O6J`9;0m}aCNC*6|VhQ@(CGS9?Hly9E}SX~j7hxGfS(-Pye$3KPi@ztX`Vy|Ho zgtrS+J3H|{(thf2xbSFxs64l$@`YkMx((a&xAO**2O93pxOkwmS`2#^bq0Sq(B!fG{oIm*PaV>R4shL4=H4el>>T7gj{c2=Nd2YPypT)m;#W&ZLO7lVf?) zt2OgcA_a;NhyF$s@gMKtK8vd@!FYvTE(Ypxu+g^<{Ir}Gv=^X6w_{UotZ6ohHMv0ToIo+9= zqQ8T^!~D@6C1tfo*nk~n^~Z;ob?sxE^MI=i)WxH94n)KV-88yJ0lV3=wi; zU9|A}9jXZJNY^UhC$qb@itEBCNs<^2q@D!>x)nv-ZHC4ps_ zFpZAYyQ_tjDDieI{sWkL^S1gQ6yRTmYX1i*v;EtX*N&T%3t~VCdG(HH#4&_HM^#5a zI!-{yo*zTlPI>W@EwYAc+`G1hP7jXE@jAV2KZcJeu`2pY@Wv3)+}1}x!p>0{sSm*$ zBa}b^Mz_{r%GVHXfrKJnA@3vvp|e@rdgG*tQ+Z3#bvfgl1Td;k%~^{@xbs+Iwd&qq z9v>J$Lk!Sgn$1CP5BSrLjysO2HsUmzl6^MoL(3j@|cP_@3L}A4dek z=6|{}8@AjXJ)LVkz0KE0#ep`7oJc1-!5o|44@uEidSh}TE-G=`XiB!<0s3?6)nq=6 z>qCZ`Fh*Hme;YQ_EP^a>Iy2<5EAuP)EOTiMKGAMmdgzm#HY zHSeGWYgf_X-a(zSLuk-+KIDKnr1OXdbSG!!TAYyX) zn_h)+nAoEL@(iQOT9)pjCf0-u-#DJP6vdGX&$Y-h)4^OkV92yjl7(k7z`pJthWlnP)s{lBr32CT{M%j9 zMgVv&lvEu(rQ+}>yV679TW_(}kd<}heM#L~r8q2z0A?T=|9?M6_J8S-{vXQ5 z@^6bJ|35P~r_mcKlZ{f-6>vkShk2C4T%uX2lQ0C?92@|bRo(RR_-JiUkomsg$#^gDj%_4hNcEA`TH;e&07YAz9po1X~zD^Fq0#ea9111@6}ZZ@93p)YN`J9Jhpj7v4wItW zy*m~^4E3R#av+`_lZMHvVt$ADjJR37hqS)(W+_oDv8<99uE!U9g>kRt{9dYqT#v07 zrw-nQzWV`Iu%JR>3GeuBl%JLGcAC74BjRB&s{zmNXz|h>O3C>L;!5-s0*Q&zV>}Vp zox@NcC&TB`d;LhCs9BYBvE6TdN)7VZDn5hHU zXkAqFrbj!juIGl&CmM`GQiG9!wU8q54(wy>*XmH-ev9f=j zgaSfotq95{+P_Lm%lMKM2c;ZCzPbtE&<5u3La(_g1lN$uobrS9+mIF)G%I4aDlr7^ zZUeOL{L$l0Q)Q->mhm^#E$Z{^kFF`|HiGdTiO~0NQzX?@+AS}%^9jZ;>&#N5c43?*8FE{iSU7FQO5{-}6;jDT@JogwA)$ zqn5%%PaGgnNUBv>S5b}h&8;ZuI{tk934-q~^FCa6S(Bk>+-s?&8tC~kfv3aBliB`~ z2FI4vMaV!vvO+OAf5kpLt+v65U!&>K>+swLy7fmJpB>Cv!)49ymA@!rS+7FZjsFmz zOj5ixIHx3IzCL8ypu)aGYWz8XHUPOqFmQ6jUW>)@mRL z@9DSl4nGD49=X9bSXub1f4x(>4AF*zy96p<1EwACLOwcGSBJUa|K^W;lcZ2S_77=@ zNuE{c{Q4xjjW)(PT*1ZF?xP*KJis!w8e8e3F21Xh^rY}kWdH@eF z12QlXFm%7>&;s5MPaYs_m2U){Pc6gV-q*-&5^JjVsgKWo8MN8Kqj@EA{C)B;m_osR_8Y9RXd^ zKJr>&o-S?{QYI2FHi%(w9amFr6Kxw!ZC4c0p;@OP+!vqJwKdHa?uD9GE-D%pLQaD5 zK7uSFM)MDYcboTQQ|Yzg0oTWhHT@VqRPCc5UdPWazpa+FjtiZOozasOjnPRKL!6o& z7$wbe2wB?OP38hu?`>$bJKHi0yj?OP<_zdJV%p~M2^d#gYyuA!vC`C>) zgInz#+K(l3ILlr35}lBbXgn$C%*?(w!Xk<)v|M!igJ18PDmhms?bj5X<#bwW zxCVt@@g|crO4-+^%bD(H3kxX^3Gw)`41DGE$;r8m7Y+dMO%4J755D}DI?KPh{S1HW zN67Y?_y6ffyi+<}U=T@zbEWl&qNmqd=bL%BSduVNHOXZPe0kSmyRY=pySvNGDJUP)Q&gyho5yAw9m>7Yu;CkqoDX|EzG~viw5N=> zj=AL4wj)o~i>y?+b=n-!?Z~cA`60mIbNu=o;$^VhYOuH^*WWIPi@elxAkPS7OnB~Q z&4ukzlPhq3^&&cCjMkVDpXbqOE9n@cQ7#FsaMb>p|n#>5-6j>K63o)p zFcMzrXntF7dt-C4LjPbXVKFhkq%Lnaw^nU^>soDZxwfpLXnr?iv0#2#b31c6HS=(P z4R7r*e;s}6GN6%3cliOG89^2rIdfy$M(B6I{Z zP46w4UD@Ty-yNNq?d(3FLH${?m2i10XGcBDY%y+8&azTVqlQ@zzS9x6@4#i3sA zLE0IJ&d1?ofizQEcKpcrL`G>thtCNGN~|0Nv(OBLdTPo*<>&Faa^LP5zwr*LZvrog z>PMc0_N+}6g*@P0>~FuCSU&OD!p9qXhchyrjjK1EOM#ew@A9y1uPE|TXU)q8~Dzr1PX_@N&I@Pylt|M{k! z;1BeSjf@OwC~d3ACZ=VW|9^eiymJ5B%jPR>zzBeJ2_qR9NoCE${?cW$TDK#z>p7&f zy`I)R{TWBbt|$Cma8-(9VUK<^PU6C1*s%PC_O(wntG&HByScc@SnFUuym7R3wRP2X z6}FjhWP5{3^JUiUd)d6<=*&iaWLEa=#!7Z;`*>q}eXus#=|Bw+k8tnp^AiZb8r_Be zzuS!MFE;z1U7UgL@5pUV&LV&o0bs|)M+lcgcy?u}3ZK6mInWuq@ynNyElV~5;W6*q z+nvlSHTUL_`nF?UCZb~IvgZTO#1Im=T%!`_!PpULRn6&D&3{9VR z7+k83(y@h|JC9CP5psISIVI!1K#P;pxZ42ALZX+4y6)~CA!W`dfL5MG|K5thL{3xV z=T5ezlj0Ga&HY-l!jAf8jZ#u_i+uDFcP=njO^*Z;XS9Ob+|QHB*quP@o``@`an(#2 zl|4V@?>z;pmP_q%o!uix@ASC<-Em~a@NiLr!QZgtWL9$P0I0?VvHIY1;N&Dm1u_fK z3HC@?tNe zSLWrrk2I`8>AI^Bt zLNp%jDpLZmGI#B#t_I@GQU(upwVX}?1ceNGO@_4 zn6-4iIj0KjxkmN`WRH7sRm}-XJJC@e_ntUs^NekEnq6<^5D(nvgdqQ4KS5A)M`Ta1 z!>zj_CX=C39K8UVIbiH zk%12E;MD>6vwJq#%Fs&Ei*FjRD4?xy%@JK8^|@W7N#8)u$(! zkWGe+Pi>1&=o0s7snw3&fe)dY(EhP)sxm z0SQ8ZXqKDfT*fM*Exl+IADr63HTZjS9Y%p5J9Wx+CB2aPRe9&RN%Gg7fky*F`$N_J z6Z4jr#ps*$ohi<=HqXW5*W%0a zw8A9Q`2}dZOw1@fUq^Lx%(`VrXM3b&r!S=0sh=&pkVwr?uMp=2Ejtn~g=%b4xdIH^kD&0zN`;$QdvW2ZTFD#JfA#lJEv9;WYvofAa%B`{-04$bnEseJn!+B6YqP zX#yHBK`5IzLogcD&Bz6O(jfG zVR}KRD!BlDG7wJ+R^$QzlkllP2H?4p&7CjCj-MN;!RP`YG!jI}jKo7TTChQx&in+$ z407##QDzI)yuk~024GdNTL{R~rOmrmg;&^T8QxWvv9$ssW40WG$Z{zT4<_jE{Su1G zM9Rl@WHfw8ihhiys38GG_>p3%*T=5SF4rk~5qN&ALwbAeCOO+-W|{oTAD_T7zrf)B z!CU^VCN2X5)8Almd~f)l&>DQrEflSl{JVDP!XHAJa-?a!un9hQbOqHM>Gz*ODiwyj z5Lm&NyJ<;pvi)NvxlwPzuNb+G;4sHd6fogOS{za6W^H#y;@`&!MDK?J`CL3a%x~?O zzAqtlV_nkMA^U2uQ3bv3#aH@Xor#R3KZMNNOGx0;X`PW`=%cVOB`6O<%kY}E_E z!~D}M-HwC1B_ZfC#Zz53x1eKKa~iHl9-ETAecp<7#Kzl$T}RD(@VsS zzYD(cj>Tyj`UP_5bIJQ*%_S2iCGYhhLC4*I1%K1(7(!|ds|Mv+9No>33D8j0TRDEJ zW3@&0T0p(@r@pFPRIGsOY!#*4V3Acm#2Y>1LGG6L{)0{al6L=#VEgw|H%5(E9S zhD%*;++tK2BkZP@gg$y3^Vlu0GLwCS;aA-+k6|e|qi?mQfsF%`W{$3IZ=7f?4T^1z zBLg>!gFDYL&nb$sI8XP70iba=bn!y@~8|4F{lTcQ`fZ`J1gQ}yj$wg=Y zwc>>wDO+K8g?P?Ip_{>?3B()`nLy&K02aVW>qBx!yy0#%gs^7QMz9^Pg!+Ii*N4=C zc137nfQy;0xllZ+ojiZqV0K$}$Ld-Yt5?1UV+_x>SaQW2ZQ~kgZF$k&I+nk|7As{7SriqlOF(1y1v@0O;o$~n7w1hSPhTXd-?f6h zB7*oNeQ3W4tB(j~fbVqygiHXOcIbf+g@k|T3L9g|%H6bzBdBRI4LyUA_}NEA#N>{q zOKlEGELz7X8#S9d_;_wQy`MWwa~;21Ye63E2Z#~JkIv5O#gzw`1Ofcqqq&E-3n4&2cY(5Q;S8);!lM%)`fZX^AkObewO2R6 zh0K~o0!qTA%A4im(=?Q*WHIAM$kR0TZygt$yjf!sL;XGcTJjYtDgcdeP=g%3-4%69 z2DF&k6*MZ~@&3C`q1gdCIPBxNX>bOygLn|J?t?~^mXyVJFPkZ{nPCzw!XJr)BO9zy zUzIo@oRP;t82N^*_CPTqM*#{!jC;XGbLpFfNSd7GtCiFYwBx z??6AT3fwsJG&Qc3RRApx0na!yse+Q~#!a&u?7@FFmelL}Chysn=fk&%J#)#Pdu=z%8YuHtZ$A1{JuWp6P0h zG8c;|-;|_=iGVx22!cD#6PQvc)y4K&v)i@haQlMdh>`A_C6$;NmRJ~=8E>Sc z?v+Noib9<%H5qx!Ub8WKuqz&;ah342)ISGhg`_SuYm^sHw6ym1^ic^oaHWaFzCknY zqboZ@(j}*;zo?NNhn-cMH5~XYVau%faH2RoI=&wN;~^R)wuD1*$8p8tHG`6xia-Cu zC&qL31@9vlMcUjy++3ZlU(>`AxoDyH!CA+(6kQX%b3bXoIZs&8UFjAb-E0>fXO@&a zWP42mNg^L7b2^F#myht(k%ti%k>(>;<$4v)<5wqANT3XN4GPxJJ=b*VI1QO2d`rBK z`OfsG;Cx31Ee{89w@cTJB`-%Qz@L*Ul(Rotnk4G*aBqU8Ta*`r-~{)_5OHq&GmqB@ zxDVbxWoMlBAT~~GykPt84xj0gwa;P&92Z();^<*>$LJ4R|E?d8d;9Lw29YvU z0RQO}p&l0Gn%Mn?2G9zjiUk~F8rseUMB6f2vMONmhw?0+Txb}Ex zo=f2N>G20@Ypp~DTi3Z(Qdc1$(T&gMRhM%mGpRp6hc~61nKgnk7Kv16P3f}63QTiJ z?$|X`Jkj68?Ie*JWk7F#7ZWEFEx z{#45}E~j);)|8C%>|_S7YPk9dbT(I;Eg&y38Uu7|F+pMLHTV&F53P)_zvbsioQ zaIax%kyx^*w>^}8L8hepzT%4&;v5-Zx@)? z&AeD%Z+iCKu?ivYmF`)p_>g}d09(<6my}lLj+JNd{t$EZ0v`ruj8G=bIGLM#>c>s- z?&@lP^8IP;eXxeA{U5bVZ~&$YSst7-s>-z4nP|4tNM0?0DF7Xn@z{j z0ZBg3@*p_;Mg+yqgFKPb1CVS6dR&PPpE{W#3iWY+UGx~=+gk%#)8 z{FM1j7fKbc8qJN%4fEVThkbX2kG90&Z3|2DvBIooACq8E(3r2Rc>HRTU66}=&g(m` z%|>r};&hzwkAACW`huoqxyxF*x?^K-R$=Z0|0eq@j$*usjphA#eZ~IXX~pDe@&!Gc zT|4(U;jf?TTFM2?D*pWoZmanTl*V~s<#YNhRF0mLvmgPD7klu{WnmJe+|APYCNAJBkrX(%U+ngctThDv<;J`a>a{zLLfxUwi0Tc4FI7V9(G!$VVYQ#_} ztvD*(=8j`wEPH&zjxJsD0-jgEwO@zj##Etf&`%32Yw8`@m~-ifu_yyNXrYE^?HfkY)M#TVWcbB$JLb_<%v*4aH+Qa4Zuu&w@M#n6EK&oHaBYvM?Hnj{S*cq#PEKIqIz-CXX~Rwz<=xpc+X$n3ERm>FYL_f+&MkmWEvG4n#cFpy^42qX(6s4B z%veD=_^_6io0@H~?>Kd$wBx~sxd`(S&44f`Dch9se#wxi+tA7q2hU2p`HoVa8GHVh zu=kl_b~8qlXWe2t9U13FdJ>8;Jz0=V+>mPDJT6RK;QNtOly)bD^;vjf1X^{t7LM^` zCv~3z7O%wu6U6*`1|G8<)6mnQwjB= zWUpXMF>9h(@}v|TAp>x3T)LV)(Y_MEKM~NAUFp>aYH=H}4|D-Ay)-Y(7Z@-2X=*5O zN~Q{f7|VFhtZ!-l64Yo!h-k$TKuDZyi|!1Q0mAKQe)Z`$onbn&b_eS1&ZxR-=LHmAB)zH)fo2 zuPKTsmiA5tRl~?RkK9=~q2||k)yP{z6A_^FeZiNY+7!%lilHEn=x@h${nXVW+t}m^ zOaW;&Dre+uRDKJ>*%X}BGq>hra$4^>PVC<{XZy~Yyq$4vZn%eQ+b-u=s};s<#|`Wt zLY%m~&*WgWx71r5Q)o)c*ldx)qqiVJ?x5yM%l3m{fYx`?u4S<9{3Y}qA-J<;rkbO=$4saE-lz=)BgxZ0p>Zqf_Vrzxgr-` zqd{mFXD3*Kz2`h*hMXSoUXbx2G#0BZ|HVtPerd!ZzG9RnQICv)V-9{q1zw%-AX5dk zu%YhhCV+RmIE<@G)apZsQcm}603zu}K75UH(5Ke`c1@VY6@3*fZRGJu83p9fj8&fP zWb1cNB5A!X!yIbXhVE)JgZ_+*YQPu(-SMRBS1=Dt%s$3jAw{q=yTdK8S+a)m2%x)g zC8e;!YTNIMRKy~(t4Cw!2Ru&F{|s8=YM9&N1)FGZ7yVLSL^k@a2$GCl8xN~h@{X|` zvm__IZ1h0C-{o&9l}QVH1x&t^$0OgoU3tI2df5cklxwQu-Q?`xu@yHowWiH1TPF#% zH-wW`U02RWimu@wG|Ib$LK*>GYV6U^UoDy=DQhJ8*u<_g}_@cuySs7U> zc;L(xtlsV(t@x6`RiWi$qvL?Ma;mXVk3+&o#gtsl%u5*iermo3=*aWy?XY^eW%7Ns zDDcpf-C!#ar!ce1-bAIdX-rPT!FQ6=4Q-LWC;Ro_Q{gm=`X5+DOf8HT%cf zMT&h4j$3J$-{8<_I_yt(FbNezhM7WSvYEo_F8*0;)*C#GDluv80Fl}Ug&;Bc2E)eES)Xx3xFk4kK$vKy8-ALH zUqs`8nTQLz#Z1(#Gd$Ncb>Mj58YHRizm-q-76(Ar$YU}$EcX?rtpA8opA`se2k%n4 zsIXgsr-42CUHH?SX+QEQJ73@Ui_Xp>y?00K{OYOUQS^OE2Mm(L z=-}xRk5BA=&ogc=Q~le%FM)ja4ZT2dL@W%d{)+*%JFdkDg=Vx4AeaM*V~bK>CuM<4bFIjY4odCGD{6WoaE|!1UbbgjT-Tl5#?fihC`j*sCcpyWVuU z8f(5ouRw1lye{n#?G+=XCLbLBYQqxVD%`DNNsqo^Zun z<9G|?<=)2q@!m*_W9;)b`K*cW56}YeXMsjtJuQ|#z9=<2fzsODcwK}6RCwZG`|)oe zu#ki~Ty{mkyJ_m|w!9#KFJMk6N>Umh&n(#;^K(nqT`3DuN)s6z4y~=8hi7V4Mwd;( zfav~p+vwk>=yiu?_k(H+G&#%xWuKIn`<@Nohy6o2zqwf7mZ2hwk8CuVTza#Q7^t|Q ztYsVCcee=7W}oM-nY|*bASw*t#AqM}EY9i%NBt!|RbU>?G~;10Q+ZemF@HrB4nnMo zN3e2&T=!$0$YvsnW;oG}>CP?Vn~)ZB$n+`zn+sVt)-Mb$D6zq-IM8ByD=#P~t7N4x zmLofb3y}OkG#MXsb(MyaAGxYftuQ7OHANK@a)Py2Ha(A!rH=R(L)!y|qH*i|U5kD& zu`Ra2%uDW!N~lrGT&ymh$eIZAkR>i08fpI9u>n8(;RnN({PhOSkYayP|NB#drLRw> z7!ycoFccs@_Sx3?O8fGzqoUH1rgCY=A=y*+Nk!Ghc?Go!Eb=x?+j7Ax`fE1u{XZe~ zf2*xT|6kL99bE)TIN8*M*_zyfJU{?EJ5bPn`uJZe-v8S)fQgRwZ$E8RgH%O6Zp%i9 z=Mz#KGM!vWTTwp;yDDr_M?H7fEb|{MtP5tMA{7)A?8`oo>H95+0s^FG$IA=ytX}!v zSE|k>V%2z7+ce#3y*OucGTk|y1t5QYYCqjN-I~A&JWcieU3vZNts@v%&p?0_7W_h` z(dioZoGKKNGAs-}B#CidtBF~p1X}ik<@iqEbvcf*p8;e#+;uHXCG=Hq$~CauHK*Jm zgk_6IQU3)~LYoXi&YWlXwHT1o-b>&`2KR)0!)`b1Tm$4(FciW?pSBmNKMY+kWaLz( zeG)1RR-PI{ZfHPcfK2)UhsXQwVx>jUNl?|bLx1n(HerZ;N&$5%J3Pp*SFRQ^y#zu? zS29#TuUNmfSYOQ2-b~MF^EE60F_&uCrCM8(E>&9Ow}sWII*~ojFUfK zG*n51Jh0omP#m*FF8F5y9f5cwA-85}>T!FY2ptPEsdnv8LRHLsISNirls_8Nr4TVO zF&;J>Ev{CnCKc?Knk6@p#+ha31e2`89=HxE)VH^)4Z2U6B$P+4LpG5rfkS1e1Y<8f z5J^MzBKst@XD7U<1UQUziLMD4Qjr8hNVtJybkV82lEhmC9igQI?*lOUq;wHCq(_MN zVL<~qp+W=t`k1wus(dd9T?68MF{)A(1VEv@grN|mgrTB@;j)Ocf;hEtqJ;5bSbG(s zr0fLl1aEQ=397cfwyucUa4M{SWS!*=5u8|G+0-(pB8o#}*kx?Ds84BD@y(KO3CI$l zM=lQ-Qb?%PIuAOfpP#P0YNlhk0llhP-&(IO&*xkOx4T<^*>SAUw0-Y<)qcjnt8(vj zyi+~fm+=(huv+b)(+5;I$1dj@1Z-n(aJKw7+gO`N0550#N&u1b*ukfc(@f9QDK@Ar z(;_6Fpg$m+6?>aFph5$8`QVzRajmbm3l0D11uD?)iz{Dv5|1eDF*Jtn)rG`AwYwmo zGsPu3~ohRM93QY3a2nXYtGH zL2*QoIq_kBdX^^KISn)KYeh%;bjzclYsTGldlxDA4sNOxic>NrYyFlfVw;CFU(&!t zq(b9|;`izCFBe^N-2EZE<<+Ui9!%`Ork3VL>K5Q5js-n$^b$kfD0lzDdEg~dQaan9 zfqo|>R5v4wA@inv4~|t^ZKUpcqeUmIw+>er`X{Xfs)ZUx;~)8JxseZrr87=?s8LwV ztuSiNqXeN;e54kL4t1yZm8cKB!H;85P4pvmoT67txMhcHT&%OB$DSM3cJ1KA<503+ zXg|gzndo089S0Suey8YmbJ@ah2gE#Q0?!8Ax(bqKSPH-Wa73(2tc?{%%lFiBW)>GS zQJ#!v41Duq4<3@ZMd5@5-_dmim+>XpdBjk))!TfDada+uubQP^a{%Z5lAe(9=dSZt zERbO^G{M4{P7NZ@dl(aY*MoB1v}WtN^rx%HhMhAJwu!6WPLkD9Q}1|>z?8z<0oVo-3Cg$ zzmy%(;*3ZJbhI^FTyt33@@e3TA8?o&4Cx9szgtiiyG486w-OCSKau1qUZ^?{N;wXe4lt>U@#=HvCsqH#ejI+M ztF26BmKLu(1K&|*C`_9a%whwndls{=Ho9`FN`IBjQjU2tOZxN@j$un(rxV%9Tk_;N z>rxveCQ?vr8uh`Y+7&Liw*Qs@UXM9PWUa=P@Xe+O;kq z2B8Y(8q$jJ5UmQ7nOTawB4aar0n$*7^ zgk-{;7v>&&u*sr=C-vXWgO5jy0VWkEw)YowM=l*rr6ug~N&_pQA9W)s&gG6e5aFRoUh7+*Uog3x7eGZtsH4f{cI&_B!WNLA z<0iZZ_N;qq7KiE_mIszRCcUpUF3R#UZT*4y#tZWdW_Lbn=HAQa3A(CVyQNRTR?6*( zB|k?nA4`&{q!iywwW(XMEM>3+eO1{_k~mtVA*wUYzB7*)T!x0w*t-3B+NnGSCpu%v z=WLBU9wByyqRgt;((p?G09_--RT@pqtFyNyq)_{QH)phLk20SKgd0_*%lkQd&b%EU z0g2!a3F#$lGYk~g`3%XY9GPZojs&{(m4Hi0JnGuNd-DLdVgFk42U(%;S^rQzKD(iN z@e3-k(x4GR8=doi?Q z)71)67jTHY$hyo2pD#H}?Q?>O+Vbp{1u)uh9Z&qivg-jPY(PT!r#D23w-+k8@R^-5UT>nF|y-T0x; z92HY{aUC!I<;TkuR>ONVFfWl2?ad|g20A=Oln_70xOSwU_RRCDL2jx`^H^VO^-_*n z@gGHXA@G-!AK?az;4`gYZpiF%cD`(iPA!&rUb@}Px$%`SyyJ;?(xFG#tr0-{!&>O~ z+5s&;?ftjbM(&D7p$wxzLTCSBHhw3^)NoKYb0>4vaJUGNwxVQzGc_ z7=^&AM}SN*h2;^_0Uv6SeE6Y|=INFH=m}M^r(GI?-;KY#vP#K2fm`g(7?1Y$&ngCg zvp`N&z9WIto}7L#;pp?YIJX2GrO{3mwkArj*YNya6R-o{?Q-Za2Bnn9*vIf&Nf$rN zB`Eb9HjiGy$*<1J2qf``5wP70&S4=7&CW#YXJHjE<~x!aguw;4lBRzsu#-6u^N@kqJ>w$qw`)N2aV`Fn6GTPK3479@iw{sMU{JRPxV?&1tZos_DeTz zbAe9>FP3)3<}^{F)X~`4xd<0i9BFl!NCvV)g?yNSKgfR`ubn|dK9-MWdSY~n^5qFS zcZznn$BZMiJI>{9k-EtvJ<4*(|dKxki%x*;^K-d2Wlw@SSGzgvTgzn z6yNQm3rryaZto1aD`iB;zVhl&Xo=;o%M@=@6Dc*Vc}R^N`f^=550^hWeZ+4CmmU%#@sSH$s|*nxHv{VW|~V<3kWW&DOJ87=fg40YPRqNyasDT&!jobvX>6C zX)7AC{+*Qa{gP*jD&wb2eQKnmNEcfh<9UjXU&Kxm0sr%jH&B5?&ClM?K_kD#@yms2 zTlBYa=~Ax|wb`+m*AqQDV4RN8U6vnAx^?R2nOKz=NteG#$gilY;`Y3^iy1X5yWD4c z3mO+yf|?v$*&e)|x2S=puVZg8MelNYU{)`MShlGQtW~nQ{!ANr%#G3!8B=8;nyst$ zC#{)tYeg_Kh_o*CfwjFlTn3`_*FAn&KBPl*uAS&hE@RN2I2r`gDOHV&3{C)^UJkkC z-^{eqeE~8=Ob6CKs%2VLcMw!D3L__7@O-_4;sZ5@!26sWJh9+z`nK|L?{DyY-rmNX z5IizmLvI1~j)hO%$ZTH3XV(IlnQ`i@J!t~%`>}cKmEsg2clBAT(pzi{pym)t*nK`7 zjSY<5I0Dn3rAZu;Vad$HKX=cisZGu#nlRlE%(%Sa+ z{pR(4=Ms&;lptSgl7U+uVRyV?o8N@S+tvN1Wc1Ygvj*fM5Kz>d$NN1cGe<&Nn_+sL z^8LmH<`Bw7tgQ9?N~$1dWN-Gskr8(&n^V@SD>x0mVF<_*)pBRp?l%&*+Qji)KWG%p zE!~i-d!0bBa6XfFKIdd?R;9sKpGGaif;c_299+B#bDmaYZl@?s7&LQQz8b0<0hxl* zNS`fC`~jzfGJ#fVeI@UXU%>8B)7{=@Wf1|tN5sVkub;|I=fH;sP&@kC$(9-RM{UGR zn}pxK7Rh?WNG1`Dq(~S{7wO_IIa2#WNJqS|?QcGc!Nwn6Bxe2wbqAxbC4qh%b18~Q zCD&(`znhdH96Z6>8u2djhV|(MzlGZdOlfls^@w6cb2ippyj=v$J;{*`M~<^@KF5%TYeM9U~kR zDz9)!#TznW#C@PHmPGT&Pa!`eqUe9I1bHi*s2qp8F!zW+a`g*EU2St{5o=@8Of7uw zd(vgSga8s9iW>^l!?gQ{5YuRwY)X3`>9hFtr)-26BVy#LOwR56a$3V!x1vb~W@$X5>p&#wuBtK}m>8Pfi#H#xf8ZuEY^lPk!I^xfy$)&rXbu z&UJDCKWnSkTKjxfm5GBX!@Vu**k5@4$vq?5oZ zGk?X5rFNRqCB)Auz+Zo$x^p;xE$bkKGw`%ph_{`5chqO>Kj(jOUb62w`QsO{dLz!Y zSy+8s=!e!GtrkeynB=G~YmYR-FTdO4WsF{^(r#NeWjZ)DvS{2*xS>Umu+R)QUi$#A zg!;ArQ!()`Y|Q_eKFj#Godo|uSU{+ef%9xBw(bu}4B-- zg(?Xp0-~pfpr`Gp%OwOPVCc|8N$dwPY)KR#@I^5DBa2FB9v?0eXPBUh&D0onWvv>& zu>G>Kb~&5bsMNl>`0cUy{r>&jechcMX=_JdNT25NGPXFrT$O=`i)gfxm3ph0s}oAV zwK@ukTpTe?NJ3c`I5H||96vHHM1y{jpQt0(CW*3BKR;S?O5Kh+jTC6v+@8Q*)Q55? zX~yg($Tt3(FU^*LZ$$4>eaav_?9)AXXDASF?Nmoi#KFYjljozm^BXmI!qdP!oI6A3 z&lGJ#kC@JZz{e|77{?rpTTz1|Hyu%$&i=H>%Y9rh=cx?^&v0xn+37>rDTiCXG`BGN z_;ISEFmjGQS5qS>sH21Hu0n;M1~{@!??9HR0bol%6PrzAFXs-Ou2!Cs{`sg!a@1| zszi&-b6;#oGNnC^LaugD)n!0$uI%An*m%E!#=TZFCkFxwLn5n^Dm7rUg-;dk9*6vz zv&P)Z&7=J+t!O_uht5L(O3qoMawFk3s=<(@llN>LH+B#^7CZJ;3!xIE{@%xAXJ?0Q&VL_HmHz$M10OaJ_N^WJUgK77NWo{ zL4yWMax(|hfnCK5;Oiaj#@{p8E)PG6bS$=Nf$c5@p8DahmO3T@Zgnw>GFa<3jjfE= zEK#j84Ik(niMv5rw7AW5epD0bbtKp`SDYl1ef{}ee<2m zqZhh&A)oe;W_69lAy~5WPR(IzU)4*R4Z1H+#|&VVQsx61(V^P zTkeqEg|hhOb*@&)l_B+W zu@R$KPh;Yfz>Apb9ML&YbuxIaCq8-v$qLp)Nkxx(Q*q*EI(AZ1a4*ByZrVMLCSgX| z?CsRty2g|p7Y7Sdh2hO_q52!eidSn~PIzc=pNeBNU*RZ;k#O#H-~9p$9}OQX4q$84 z7qiYNg{bp5fJq=mt|41e5Qv)!d^{bhDy3q9QvJOgX@F}{fcU2^xd$``7Wj`5u{`Xpv<}WaS5cOT8&&tSEOtkZ_M`2snQ(}vFB8PG%k8_?9lfeYIK!|{WHHr z28m;RLPSc{9NkL@T#eGgp82Yi&S)yG%o>OxU!euEXSAf$$@D;L z2Mv*wea3Pmn_Vlenw?!rcq#aL_nyPurx0>3@?x&t8!ixg$LWZXf-t$;cvgW;&6!TC z>ZRY?Q*%~njjv(RhcMZw^^A@f7(7y;;chgrSdUJzjrnlN> z(BYGzOHk+yZUa`s#WV|R?Qk?j(0x8 zNN=HV(i(2ygQLB{vu3L__eZP3XkiP4%+Ecmmc729;$0rtZ-zK`X{!81`gb~BfB=sJ zjHlx{u?E(puYo}r50xv$-M~n5ZZ7@elmhn3kgR+T9DKhfdRRUP=?xE(|9603Ii#O; zpnwgT&`sgNC|4hz?>T=|SD7rOvNJUQsiB<`fAP7j#MChcdh4yf|LUs$iJ>;ARpJt< zGA@Zze@Ih}dqVzZ@OS8TsDmuynRDQg!knC@J0xvKsGLC6;mt*UGUfN;!T|%hNraVl zBTek*A38qTgA8F|sB+srIR{L(7gectx1qt^vw1Onj+jGdD7yUf3HL1F>F-R^wTAfU zjfh)Bp+Ei31EUZx5=Bg-FQ@G^80Fb)rbTnXL3c7M5hs!vjfr{hQ}VjjRvXKVjaP)@ zeOl%QMa8O9H4UP>jao4Ky!lTEsfs$*)zyx%{a{g;fnusdJ@<2?xxpz|m^HDa*$lmc zgNqkPO;LeleWoUMvpz8?hV%$-5!QU)Tt}}nr(s6`4_1ql32OXAeTKpnx8TIlH{3%^pakKsONqK_`=b2O( zIn76*9rqn*%i#s%zH%Lyydmcz-ktezo^vD$hmkVC2Dx>H=h*p%`Mg&HG04oyTrIxd z#|=^#Q;C!sdsx~c@fFNj{!HfX>aIcPO#x_QUqmNNTK;yX`mk`f{XGLz!Z>^j?;ch%kaux~XH7q{jMr`kA0Lu}B%3 z2a1c>Fzb3H$9G0S$EyxeIySsR59_8Fep=V@GPB^95Qps)$92{dzOE z14AV(I-%~?Hl;V`{vM49VBI+L$2MeyPTcE>Q_Jk(Hz!2D9t-b4K$;uSS#fAIX(61! zOw`IE9U3wfbSETU!fIKh` zmmDXaRHuTl_OFx*BsutIrZ6 zms$VUsxi#Jv9wfCH9;!ZKBuyF!0SOzG*X*;_ggSD;(yYjz<F&0}@jC6nkaX73oRDC1$9 zD18wmtI;so-41W`esaCcQM;E1cUxdCDr25DPFH4QKV)0ewPCmOD%_eb(x4 z`XRlK&*_yzF-7o;CU8^;v3aKYJui>ps**;c_6jPELe;i!FQQChO-zU?)NtsEv;82W zPBlu2L@*pW22?saRC=M*U9kkSCLLMkp#JfRlBSVqk9)fNiLYB4$mIF7KHz&MXwQUM*(Ashtg zC4|6}MAvIfXmxmy>q5KCUD}Il3o2kF8>b>%x6a4`^fGW;red>J!}C2C1jkZn|2;@P zmTqKR?%^-V8bjiK;hw=sa9>upPS>6R{2x9`vPLL(c+H@Wpo%`7!3BMS>c~ITmh_Ft zygr3`W+`x^y#*;qiu(9~aH{9jpdaCRJj7*te1q`zZ#ii@8p2n482kfon1wWh!z`KM~E>ao{ne!zUg)-gj@9Qrt0()D@&BcsasE9 zL?1y5Wse&DS$fGGf!@ccSmq3Q?|{xfe0=sPe9IXb2q$9cp;7!QU!wYgxi13SR)&U$ z>^t*UHfd>mIzVy|6klf*2vj!~6&vTzs1@+h^C6YOlHQD{3-nlax-zyC-Sjx{e7mLc zciX0Rkfn!{u`>f_nb>=wn>M(ft}U`r-;-V%P0kFSa?~xUZW6mrUAT`%O4KOl0`=Ah zg~?C|?}=qz6Gp-BsplLI$k=V#HaT0W4E31tyt~5tvQ1vI_8FbatTX%~Pr;UE>^IgJ z5)c8)RRVL%m`A*^Gi?z3z7M86Y3$E0Pu_uYYj1|gSkHKH;#~T&;8iQ@f+WeEUc9Oo znk~fxI=Ko%?kiutW-Lri-|@U$G;SWBa3tzp4f_)?baCM(H1P_Iiy#_9PV(Jllhjla z)uiIz`}VBXh>YP;Xh7AV^5Ml)jDgt28A4Tl_)FORbM$?_cP_~nB-UtK(t)^@$2!Wz zpJ}FC{w+bgS`$)&N-0_}Woy<=pgQEACE6ycXsuH6o-1Z^nicqhR>B&5TI3c#UX5O= z=y&$vC7I#qPgEr%7=U^3-`MKbz?%Rt3OF4pEX6iw26 z;7d{IyJ@&UR!jcL&zB{q=(atvOH~;qW0(EL=wQI+x>6-!D2&lOJgpJ$6q~*qJE`sp zv9+Wr7s;gX%o*biq&L4@A!>YdOWxo?+mhh|4RZm|O_1mEy-$`uOY-oAy!{asK0JR7xljF{<`Smc4G z{bLCxmsNlr8H@1A8yy1ghr~0Bri!Z5uEsw)J^{#u|o}UB;Nv`1*>{{?}>I`%l=6sh<%7 zvmTDc+3oU|alVb_7ix~s)*puwNN&v+C@Z5bZhX1+El7iyo5cWtlAZD?kZE4|l)rB=K|GgdJdrDTpJa7AozOm?^h9vyu|q zZo{>d+#mVV^nej#4v6(`@p&Tu$~f00PCZKDLprVHB;)&puae2-^J1zxL2`YL{AkZb z&1#cH@z^@&-t?;;U_pob*xaSB1u}|fTgb zKle^SL*tuY`8r*6luN)loImjz_zm`a5t=c!aGa3qnV8}wfxyh9@oIBszf(w2o=!^K zP04T1i_B-T%aa)cTM(mR2hLjoJIvisAh0R$Mj8- zf?PAa>87*ms4ZN4(|9UI;r3n>YY#3OpEKr^)%@ECg=60F4y`|@!SHCBVAY-JpwhJI-qJ)WieT0%3*DZ$3B(>A|cHhH0F5dOW0 z#xZNFs5Pl;!&c+njg8F8`l_nRd|75r;WfsKhAfFOUA=nT6Z9j~(Ldh@&b$l(Yi8>; zebT4{RrkQZruXE>c@1PJVlS8qR@Q(q;SmrI;U4R|teNn(>fkVVB*Ud< zk0F`+9`*A(>;?1L4c7{w$EH|e5046lpaC5@HQc8{hJZ#{@(Ly9c{Ivd`=oWzBl3>D zwamXyLY9k)j9{F@^V?}p=K@py?1US$F4HV{3RaawD^`XzV=;*#O4q$1uu13{mdYK;|EtIcg_tv(W!hGvqwBB_f@)UPZX+>(UUOmypo|K{uJ zy|HTTT}3~!uV)cj1H}_G_YyvDvKipL&EiHKw62Yx^mPXzaKYjRx1`7)U`Ix_8ay&h z!Rth!z0Y&r=q1=#!2`XdkWOX8{ zkjQ{S=duN%Q@}F46j`FVO<-K*2tA`}obl)CbhE0enwAP=0az10&$pG!bS$XRlF;4y zIT5SL>9l!pY-g>g=wcE!33@y|Xe-f3C!J}-7G}k9XmM>tnq!XOhOD(<6xDnvZi^*T zBQhy3IcqJp-X$<=O7&Cp`sPiNV&r^_B~U^)6FyO#VkS_{CYPL@h_Y&UKC%8VtiG-N#2Ep=Z$cs8;R;h(holykrG8T zSQJ-up2MWU?Ho*F;T@>sDPu;{criUlx3hnZ^UoSY#c!|y$8L~LEhv7It$mIvZ9OLn ztlMy~nuC4-pxnRaNaooY%J|O-Ba5w%@O8%k>xyb7-+qU6>bCF|lJ=Ef^?I0Cg^2$k z%%+S?{bWELNS&35Xv zdk05Sc5bf!q0pL@`M<_C{TfU51f1BO*;QSdAI#oJ&s6&ssc@{(BnHtq3K}GmWw7)a z9sps<-qQOuBYY3i8ez9^fCU%x{Fo09WuBcp3iuLqDVa$Fq!I0x? z5u^hM$e6+^LFqso804Be9qJm{$9gV5sJ?MfsV>;j$RH0p3H9p@H?%inQ$~U|1w|qg zEXI<{ZDLASFWRBk6Nl9s5O0eN9~O(Dqd~1d@!W-(27SYxCJ8`_mqAcNlaUGsu_*zV zF{Y*sh>NMc8S!BpYf^~rGq}gpp+=d_s5YA%Bp9io`6v<0!e*p{-lY(mA-x&o$)Pet zJNgSYGlPGV>rtcB!6Nx65x~0e?IG*&FFy(b4844&c*h8C(XSV5N8F8(UOoW^xFh5$ z9qhSlbdNmwjyVU4>#l{pIgdqRu^F^WeZhlfhc7;d>=y5d(l{0-C^|rZ@yRjJXPN?Lq1jIFR>fm{8<7si3Dgsh~v- z33z8|M~JVM<(Zq{hz~9~U6zc2+#Cw1BjNFWC47>?~NUjdMc|%}Y+wnJ;vA!q@+at&;*$P2kQkt#`GB1U55av`S zY|>BT$y=@dK~!ViTojcbKiybP`VQl#;!+%4?n-A3iDqN8fq7 zE=QfGl9ti$h)VG#H0EFZBZK|bZ935i`=c=4_6)ETunJT|Y`-it@AH*3*&TP!h>j{&o1Wo7Rtjm;gqTACA# zAez{_82kclkC;3-aUE?N#JR)PjH^1fBxrMbBkL?C-tC3V&}$ZZCxDGPy4PczH?6oZ z`6qYWy%X$y)K_J}ACSc|pOk5H>?v}F$z>(M7@x_3Imar={ootsGi;0iyqdeGYfp$- zmwpcew`B{p%}GhkiGJgjw!bxPtADgFiQ0n4S8uIX6Qx=wHRX&`z*VDb1=#c|W$0z| z!ShFp!xLdTsU#5s4a2$^GKjZ2;Yp~9`N7-dRbtx%;osMw=^6|FWJg|K5)nkWK_fEG z*LriLYhoVdKKWEW>vl#w?N)=6jhfP<-Ser5=sSX~fz}>Jo($*iP5yG#VYWcqUaY0? zUOx?SS7o-SH^$JFkm~@}5E$>hE1C&!^9ACpb)4Q;0DIQRm7Tg1If{ub(4Cidf`l#t zRZaGKQ+vC>&*8CJokSHAQ}LI2I`=!=Al@3;i>0ZF!v*hhe&}|AiP{h*YFWnYVBM`TFDNNIN&&acVcyIsOKL2u!OQ?Iz z>d#kH5B0}nD}C=7Rip-z%M`E36bg&E6WWtd>>gzi--NiKS~`8u3+k<*kF7g}+S>Pa z-C|ovk8Rn)O2gUrH}bRtZv%BrSS@QZAA(n1S@1p9>vt;hHsTH<@^W9HR5#xBgpQ-$ zfXeI!p$!J^mze0(%S(n(S27{z7`ZUh^QV`GT+JdIa!e7u@+$n zD-QN;OxSa>sOx=hkEe>!b3DMT2{}!uEoB|!fdWCn#rtQlEf_Vd+sRoO%YWTgcr5Dq zaTUsC!1U1v$_*9xm{lOnBYp!_aoE?oU90x(6oQ&6|>^$48iBA44 zoe)(VHeiHkJ~mK~1tcZXheJE=m0`v8yE(m`-M+yOw60XEJh|II3ux056j>O>7xoz0 zwZi{YTZK}oV8H5^LF-N_!!ewhq#&}X)?^ix6ly05`VaYoe;af*G$O4$UILssjWvClj1I*!tI^1OJ>qH>{vMBeHUg7Ee zmAMDM5k%|qA%E6=hX_a!qTO~6Hu^fwlCV3|C}&d3YUvEmaSwOxh~D1uaylQrt*DXX zG}aSsK%8dt=eh1$3aSAnS=UepQk5k*a~gqGBkLP^+z=B=>aqVffLCO0-?A9;OK_lp zvtbNkJEVd0cc$MNh_pI7gGzk;Sx# zb4Gc5>qIz*6I{`0L6@h3BUDv5R8xYOyO2E#?zJX>JeWrOhEtjH@8jv;+0l6aY`IB* zxWC8Ooi!sn97932-%orHEHu4;6+EyVRb@*r_XoUeZiwsnNbbLUp4kp3_F<$Cd7AHi z^(4|@k(K+SqEflWBhD$~mbE%XP%5r!-|C$8*Qiv^9~jTT-mvuk6UQ|uJVSb$Rk8_F zt|}9T=Ng5q9C;S(i^b&`UbjwS@}gdk~d|E6sj(&K64JjEUy zC4@1(Om}QU#THB)Ie$SBm*M*;5zAY#cPKz%E2It700hjqW%WEARKxj>xljhgFPmx0iR5ch6!-ixY>vp{3te3N z{buLf`e)~5P?EC4Q8%~ol{$81#M1wOQlBH!o@FXfu=yMir+F#uYL(=A3QA@39Xi31 zpb`=P+jx(jeC)Fe#j2GcwPKcl7TZ2ChmU6-iKIY*?8)vos3W3OPbTWfLzkCI_d$B5 zBg02KW^idhH<+UV?%h0q-)~)6wn+*DyaEA!-tp)N9m?>DGLKu5@cy~y>mpQ2>)P;~ z!YM4&3_!6ECHO<$uOe6yq@I^Buq0~RUj`It)r6@Wb{+cg>2jIJ9wdk{g;c)gnj+DC zMsbCJrW#do<|`O$H3f(n-^gl<0WRg~Q{!T#L&UnM(6sY_d0`3!ASPTl^eU8fB0{ZB zDZ!HO?+|0?_KE6Gnkhyn&SV-q1~oq{$Us@0zI&lKv|w1Tjfk8{3fni?#dlD5A+{#KCQ-59TlcG8=Jn8yj(Q8gsDe z8?yn8*ntKt?Ckmi|N9r(Op0c1MhHM4CzGls@Z;Ys+W(Wa0sa>(EaUVrKv*Al;PSkr zWS}&+A~$G3$;rGpPc%`bVeSigKwlBgRNu%zkhSHXkjO8*p$*V38`zZOXM&cN$DUWq zFIO*4qG-r$?5k9B52zRwq+rmk&=`6A4D268IZ(X%KacghZx=oFCrZ zg;Bg$TA&2JlT?TFBv(RXGHTOe+Bh+8UMVjkRBE**+1*p%@OR){!+zUfE@WQ@SZ%E`ivKt&}gCx-C<0H`vtnE(I) literal 0 HcmV?d00001