From ec3d1752a8fe7dc177b6078c4a1026e4f53df825 Mon Sep 17 00:00:00 2001 From: NotXia <35894453+NotXia@users.noreply.github.com> Date: Sat, 2 Dec 2023 21:10:28 +0100 Subject: [PATCH] Add FAIRK2 web reasoning --- .../module2/img/rdf_graph_example.png | Bin 0 -> 80787 bytes .../module2/main.tex | 1 + .../module2/sections/_semantic_web.tex | 136 ++++++++++++++++++ 3 files changed, 137 insertions(+) create mode 100644 src/fundamentals-of-ai-and-kr/module2/img/rdf_graph_example.png create mode 100644 src/fundamentals-of-ai-and-kr/module2/sections/_semantic_web.tex diff --git a/src/fundamentals-of-ai-and-kr/module2/img/rdf_graph_example.png b/src/fundamentals-of-ai-and-kr/module2/img/rdf_graph_example.png new file mode 100644 index 0000000000000000000000000000000000000000..7eb234319cb6cc84a58f3a0b4f0a92a65dabb654 GIT binary patch literal 80787 zcmd42`9IrP^atEdXXvyMU1nOTpslvr+9?vTOlyX=imIZvs9IttvG46@rAtH?q$;)v zwM$irC1|CD1gRy0Aho2{SV9nlC;fiEuji-d4|smaC->ghz2}~L?m6$zx%ZsUv)h(t zQio0*+P80?)Q#(Z-`ThC0D0fO{a+7Ch+9sTU-&5g+aGer?ApGHZt$$Q@+;!1#npZL zDpL;cxcw%s{~mnZA!Oe^Am!(8KQ*YxL)_@*bN61TO`uP(g=eUnhg+zdxNYCQn6vKw zKEbzxd;&v5&gwhGoQ*uIuc2}_O8ksd`JWn8NB94;enm&?|9bpy|DSc2IN}cuX5YR& z$c?|R-i?GWh!BbAI>I>Htmq}FPPNWo9-nc${_Vyet;SjB?&Saa>=)s+#lG#S3DM5} zQ`YrYj$OK)fBl!xeK)@Sa__#>iTMxrmQLy!70&g4?YG+qwPJLJ+wV0&p$=&v(2uXr zo`z`s_fdU&@&3_k2hTh{B7Q8$;E34&Ej~WdVtEv;_dm@)%g6qIP(}?!NR~3rJU;w6 zg1Wvn2$yBcy2Df!!*VQ~8|8l6U?97Zu9x$fsJhhI#Z$Os-g9QS@O-@2CBsaEPAcIv zP`3V-+=g2)!|6Qk=W4;O6U#}#kH&8`U8%uQ*XIU-2h5h!D(e^nmL z%`QwU;({fBqt)&WUjFvUygO%k%J%FX;l)pV{xx@3Ml&HC_IRpK^Q%A)j%+ z4+&?a@aig&vC;?78?9oRuR?rbB^3IXsp}g99Chxk(kmU0{UMFxJKv9tY1GJ4+rBiU z2LBzvOI@F)bhmW}`$LO#xpjfnas%UGLG*vJ|7VMip!L9qA#h%7bs{O}4U6@J7qh(^ z5IP7~hN#LL#&`uUEuw;K z;Y&)?rSa=GIh7kWk)tWOfX!jG&}079+arO$@uo z=xLS8F0h$nA~_yCPv)I$_LB>2`X6F}B+ui_R+z1MJwPPE^n8 z5Iq}rDeL#?U7#MUE7J`!;PvK-&tt);KsXcobMeQXQDSK0JJs%b3eeY5Xd>=FNOWfS zZT5}uuCj~Mk!@j_A1Weh13vW)v*Dd?{?pgqhCo|0!Md>r$EQAaT^e}-M8KXZLeL~$ zE4Zyj%FJgu~NsWfWgQ!kO0HOoo<2p>T(qnfBjZ5gmp_zzfq*SahFkE zdU9~fxw@98=qf*l8ja-OMb3y9+TNh0y2`L`HuP;5L(=f1Sh<}qPAtot3_tpm0X6JI z?sj(g$4+|;I|o7X<2VcC?v1U^-xopOGln|CEk;6i-co7@#>Jz+z;2%)JS6~l)-3f+ zy{ilh(x}VI1gc}BGM6^8v`2wqikPK1s|2Hko}cjWzmq@`dCtQ>3fdY2vN_>XwYp79 zf&n+IchKraM)*C1S>*er*#NKIu@(QM-^Ef7gruzwOnY@Zy9Ba>o3hv$!tC7N%X%%4JY;zoAJ!coM^+Q#bW6k)|B-rooi?ahuQ`o%Rau}8it zToW5Z@MSqT(1+0(7zk!&2k_2!c==4PHVVgp6_X1^`Yb0`*vwCD5fgJWY)|5X7f|yd zagB^F%Xu=m-u1I*(%VV)blf8M+iDvKC{_^^q!JheLsz-i)pfC^8D7>TAC`3WK8o9=Dl;h`~;{p%=i77TzUWsL}{B8Q)4XDxIwz>{4eKRp07 zRi%M(Zf!Rf0W0ObT)#6prrXT^5h4{KcgX+8 zRd^VCpz4F+0ay;lU>H(i$o9)bB*bJQl4Be`DN@DI-%`LGgpl#nY@GnfRZN5MN0+}p ztZI64IZ4dP8F2b)SY&`#3>!H%;#D|&D>&h&V6I@3DSkIr7Q{<%&s=I09Gh&cVE^!A zr>nyLchrgQ8B`B{jGh^DNgJ`*$>i#)hh>w5@NOjf@c)gczlsa5&L|Irh|-V`sRg>zD2LKHm^AdbRY_dIQx9Ka#?)1f;8M z)WMtlt5hLPZkYY}bwA}at zSTKOGsa@q+_T3A~?%M2m2m`qB5y5#fsWPql?abq4uWtG{uYflA1Eb$vRS6!3S1hb9 zEUaH}{z>54y_QD-)S4_O*=Z8akPRUlI+1bOab7(k>4s>r$xm~aYux>u)UF%F-1u1D z+@PDV6apR*I;UU!Y2;_{j|jd)DD|K~>cGG>IHn^cVacxs$f;_p5wFn#kE6iU?Xz*` zjSU0RRY|ML&an2z>OK`Us*1IEzr|e=hX#kNtC9b1SAp(3!D`d>Ia&d$sF~g54`OJv zJie_@<~`Q0A<(X7A;O>y>6c;g2!E^Ou2+g9Riwp+)0l0QT z&PlF)%9+pc+@9U*F|E*v8rN{H=LiH;=+ou*FhYBXT~NG>#6^3KblME zHC4NOey_)@ahE1zABr$p-zpMpYRp|vC`f3Sm{Z1DaGc%SWQaE-F8J zdG+L@2@65w-L{G6erS_$UYhMmv%D$YiPCzP>S}izA`$4~oL1L1VC}VCP-bO`gpskN zWZpm}6cw%-SJPGXxr#D^9K3eW?c@+^oLjVh%YSdNCLwX&Tl)>YSm(`rNDz1;`?nL+ zC%F=R<1az?;4$OXt;!7Y9hk{e_Bkwm3g;2Cckh02vue7UnSYq>sR9TbpVOWKWa|l(39!rcAwX#mC8*H^q zv<5ZSMhb-XCs||Aq}HR0b50d-SX0CO)F;7B-m63d5p9BrfS2zU)$!YuOPA{Aew2zO zr!}?LLP{5<8pSLU8gd$T-qHPT)h;g1kM$=sp9k0$ulN?gwCzVxwzHPWE=nUDjV6PQ z?;noJN5`)WuM$-QYd4Zwlb7m|NS+I;;u>DkB;0W9xs6jPGU8Oj*iCr+9Jh5<8kjkg zH|^`+xH2YtQja{Jq&RdI{e<8r&D@l5s9H>E@y={atl zWVRETzo7g=xuWhr`GG8ELi0b76+1K=q6$2At@RYiF=(OfNK_;Ly)v%U+ft+LN8#Se zZ0qp^!Pkk|gy?!&SQn4gAK#R^5ZxK)j}hS15sN9UiJ1LPU)~D8x*Avu%sB=sP5nTq z6TQt#_MPpUBNxt>ecoOl%$8vr+&H5m$tqJv*WqrUkF=$Oy7%q%nxWkB#s~w_1wP*TY z|F`=2mPJ=m(-oQ#-UO>ccsA)b5Mmkyk6UN99!?>Dh}_D_sUTd9&w0it0nDeTcm-6~ zl2|Pu=rKk@;;|M1xBqnxT9Oef$Y_n&9f$o1cksJ3bTDLpsn+A;&;GoC|0C|}ixm72 zwAt<-jGDSLAk?@tey$qfTG})V+uO|YR4_0qJsy{ZyxQDVcSRP$XlZ5!cXmm1N88kE zcY|WW^AdE7WL+T*oLzPhtE?~@su1n0t5$5^JryF2MMhx+{tqYrCCj+xY&8_7PyYB| z-px7zJ#^vXpi4k=M*jVVO2(kif=*3lvK(UKUl%0+ETwU}sfIJCFGkkE-)Q5^VnMGb zu+(z-QDt11{~n~KS&nU-Vu9|cWNOacRqwyUJ)pfcrZ*;23^eOrBKg)tKs>xOr8K}* zl$NIt{59VC{%9*(3H}cnCo!n?0AVT*kDuV4`lcXyV>a(ovwsuPvRNc~K-mmeHq{*e zW`4tJGKc?038ZmLW)W}#CVUsS{B`)v)+9f(_{iAhxi2r95D;}@lg3syvqE(55elpj z%ln0C6*UN*3S3XOp;vxasrM4j2!a~okrY_ay^+mD*^{j1)vZI_=) zLe<#deAe%i!)m!|2Iq7a-@X!jb6eG;OFnq&E()GqIqA1kf)pwiQA`3sP@s&xubmVH|G9{Np0 zI%T_je9e%waxUsI!at3&O-)g2TD9Uh=##0zv6(m_Q>FdopNaYLDKPMmqmdqe)T#&i zRp)>vSQNhgq>f+DH8&eM-s00{q62*1gnq@2F${(&P>jG&1&K+vIUM6lJ+8A96_=*P z0G1fy5VOmuSYlI{aPiUPFQdgszuwH=EM%a4D0TCW^mz!`&JaNTWPeOf!aXjTPN?pAxqggw# zCtTZG^~uUrN{DCoH1~=91YPrtu!pNlAz_bkrw$Z;$@e--{rmvb^MVsw2}qjfAma>~ zh|S2BP7OZ)7>ky>{70OO#XLwxa(4`(Q~_W2i~1z0lgugQj63hG&!1#9it11G`zCOc z#b_e@I#J0muGt(=h%fCG+`(pYB3AV+v2JJ`?}QEJcs?=xw+)qlK>CU~)!ON1LvzI+ zAPfHuZyMUewrO`H?i7-!OHGgla71?J)X#iF>2gG&1U>oserbVpr9*BL6VV zpx0k6k5aBkz~Yy7=+o_8cT9VaQ6ctP`4J}5%IaCtdv1!bwD(*0X8Rp4C{H!>bv^6@ zd}c}-!A1?S*v8O%U>73a4DRkkziUvcU*S?8E_7+F3zVkaT%3z|vXo{Nm-gePZpgc; z5f-PxsDSCiwx4}Y7$z`!?XcE4i>g^cdC4YF$CRd8=bGBrm807S$lom*db{7%b)Gl& z3FGw7UYc)rnyuUc-VD;6o4bvPOm$O3bSwyM>y@GQu(R%a?S3C@!`Ga)d(!Q=_o#Kx z3#ZO=7Oev}E=Aym4A*bqs?(~0-h|2Q2TwmtIF8qUS`)#K2?^^XQ=R z-TJxt=Ufy0swTU_$Y+E4#x^h)7X3Pj#^gGrSwIV7?6U9Dyc#j|^M0Q9s$X^K*Tl@+ zGapCqhHhckOvh#|(=slica#%C@FAk)Mz;TK*WXOeQ_|Gs&Wr9WB(KFk)xCn)jf<0m zH|f$Fe{=7)Nf7laSy7rz*ns+E~2^PJlnGnJf6=rQZCDP@k1!a&Y_{YN*uRWBFR* zSm*ck_u6ZjK(>s&9f=$!^AHl44iP2?h`fF*HQ7jf$;zn>K~km1th);fTfCH|>;%(? zD;%5t_%AZ}z5K4IK`Ut}O24!OSa2@k`}tK*=E|Z&{%_<-X@y`j<+r zin-q&C@wgtFUnl@&>cG#in^^nXXY^c4Yj6KK1>x=x#jIFmXh$;71C0<@c~T_^FTz0 z-)o)3yZ1H@as*$XvyoFonnrk=@3bv`zCHu~&}Q6@i(7gx6}Zw@8KOylh1EVaYsF|M zjhhB_6nL_!hpGWjMoRB-4Ah(cO{ewe5+D}v;B z(W%v|>I&s4A%@TjPkpS*32JX*n%Z@nn5M<<@yEA5R^{Jmb}wA*vRG>LL9#bSYifCl zq%47!oKHOZS zAO~nSYU=S?g&ecGGD6{AK=4=QbXry4dShSFYN8^dL-v}lRV>< z^;Y(tfL)s4D^hCka9^j#7jjv58~QlLjsA*uzolVJ zW6P~tVsgD}dN*y6fH+jX9x0wv9#*#5?)|lRw`4TAwv{Oiv6@clR*oROGIA9?HS$=9 z{exRn|EHJEdRN>RXVS23T2QEq{KYZ>vLvNZBWYxBuQ_3*nh{^#))%oi(cq_-WH*Z0 z>8z^ae~?#R6PB)*x`rntce%P?J4C1J+qlfJjUG;Km3&B}Kg!li6iNTrUl!#jmzOX~ zePu#tAD*eGjZfVh?lCRYbd>cm*w?&QMd-{CIu=B53KyNoOE`}Gy^S)Q~dY5O229G^@HUx`yEcsZnJTK9Sgc}wJkS-t7D&j^?vRe|6r1J*Dp?6x)N8d;^_A@f>Tz=n8eBq&5LFmIXT74 z6CU82{Q=9o{e2HF2OiKYWcNk+;3lVduPBh(AL)KH$Z_=p8I=Q7CwH9_apeX=mes&9 zRZb(c4$$sKCY^bZ8(>nrl623!Az#(f4Rm<*J8UxGeJ@|vW?XfnK`7E=y*6%hf)d*3E-9Fs*qW*|vVSO@Cm`;q25j^&*4jsuUml0f4 z6|j&R-g*9uqbkiY9i<-i^|+D#g0&yZw6k*3+P=?pCGSs>7C}kUi287SO`2Y3r@$t@ zE#)Mw$UTSo(L!I{BC1f@W5})JpRrG8J{E;* zh1L&$hD4W=8sn{mQ!gprdc!{R@7J8(&y~$ZPFX`6EQ)PR1FDCJ1}+?tCA^-0JAoSV zsr)tFyN@H>E^sc9qHTOr^kk(!!PP|Hk)EpuujfS+Oqxi~yd~2T`Jc*W(@+NqmNRdR z?x(v@-IX||F>}U=gfUsqBQ<04Jre-B=AdkYqeL6J6b8YMd?y(+n9HPEtQ~F8XNjNJNi+N zp1r{?D2#g@Fg`0VCc2IO`QDbfEpU_i;@GtRu@ZsK2 zVvTu@@6g)yln@Ka%Q-0q&5>NTNswvX*8)a4+C(uy%B82m;8#UL^s>(SB!tp%vaP9S zn5DdFs$BXE_;yx6iiOs%Q8mRDd&+*tRcx_Fqe07)%cxN5vSU^jcBvN9Fc=yswJ8yn z=wv*q8?3#Yop3+(zRYdUeaTtl&$R69)C05zp{ITY!6cxGp-^>3V@QU3m{Sh=K4`Tx2}`70uya9V}@FU4di4xB8_I%+ImY zlTM_%?m~mPxl)qP@l$5Q1=0lg3>V(-Pieo|TD4^{5hATF_Y~2r8R`#tP4ka%ap{PG zo-|P}=_J5uZ{>WR6DRILAr}jswtY`e*DCHC?g#?YBU$Taj`;M~g3I-nS4)f!h|}i5o0DL%{)q(IH`~L zz&Deg>AC2X7SwL;A}lk$Ol1se@$)SD6BXGr>iyR0?(Yj3$-4QCm;Gk@2F-D1js??L zccRe@vj;I`r>_Ge3v$Pwa4BbyGmt{S-zf7@i>iviZmOwgDJ!?SG^M^mNanyW=i~{g-_daR%Y3s4C5rXc27Bd zO0!ky|2TjU3|et~nH}GXtI1~UwZA6wVPt}Y*ig`3X_K)0+X*ZdXGv$(906@0po_#| z{NUHM6E-=!ccEnX-TOB}A|kWb<@5m0J@2NB-uDT90MPL8on^|*&>w*kUtaA*K@Xf# z%mqwn<_@5$+#brT`F#VM-jWJ-SD%jh(>Sq2YS8gL3!s=wVI$l<#|*o4_ZbOsR%%(= zNG*?~R~?^I1EDYVk_{YNbO663{RfgXt$)-fh`O&cNUG$;78YQVwP+1%sZ{f7$nUhJ zjk~1ynSpmwmmH)hcsF{ar?boyedhiVDMj?7bIp7kzBA|)Hy@ahp4j>bB!S_l=S^Rw zK(vm4^a0sACgFf0!3)61ZOha=r(w9MVi=OY~#dMO8;#84rt{1V1iTl;p5+K)8D0g5>^* zbW--wv+mRF&%e-S$}--(@`9>*Kzr|?&sSxp^C$9OztEU-h||8AR*0x66#=G;hTDo< zO;twAYjlQftGTagYE!G`LS}G7w0E}AJ`S$E=Q*e~swgyZ3~4l#*W2%k*;;O7e}@B! ze0#&lO${2|TgiB%S2pT`w&goTxibpFlSzRuUFMC3I(hfiXL5!vO4QbugxYt%)HqM1`KuvM`u`ZQ!1 zDD24!_or9Nic&w&Ziv%QCO@UbO!XNuQ?QV@ikh#NWW!AMW>3de=>K?|ysjLyb+J7K z=l#sep(9OYTYkj_$(>P3+9{DMZ+jVEo6ngwau}S^iV=hGNOs$$0G|+HIcu%%Y=xzD~*L+G@Ry~Mx2Gmx89i@$UyO(9y9PKowB5VQ^RF&VaFZ*QmJ=1`a4*_3Sud;jI17!b zUdtFk#sTR`jA8F>fx2a$ffb6k*R zI0HjRU`)dR;yCEnKaIC%b3~s!JI99goD)&uVg3}kd%r=AWIjiKcmMUCkr(LWesrFP z#siFu2mNVnjL*Va940I=^O1$jf!F&-?<0);?#m^HNR?1NLln@Yc!Vx~l)AfCsr79* zGPL>)^g7frk>}MwaQXnkx;kM zJH#gBC20|ke|I!F^sAC|3zQX*KDH)vHevXn5V>BGBdc$()f`e>NGmsLy^4c2fYrJk z1;r*L+6~z)*SOEMt`2EK8z{U;H?ChVBdYyD#;08t9k-S?{9pWEdn&42qjnSA(0JOO zBTr-aS<{OqAKcvEQ8U#w|EMwT+93b=^NH#>1iv?Z#%*@WNbJ098kQTMyoj&4#aLsV z$Mujd9f0HkKii1<$vC~y3e{fGz15Rf7pZ6@fNW1 zM7(qNVwbx%T^w3gdPWyDx>Plc^%vT}DykZS9>^R497#;yUz|OIeFVtuNDM*t}>Q9ntsXcu-NwQ8R zf0R{qY_+jl`%rtH{I8fSLLc^349yxOd?1sVRpjYuf=w%2VKjRELBH>y+C2HI*2e-@ zEcaiV{RxvmAX29^iYj9WDC za?`9`KFSEso#d-1h3NFPAd%(0$R*nT0Q3vZp)l&jW4OqCuKdSKis4hmw5rz;OuFf4 zr^a=V=OPZR`#9}J{P1$2qF&?P`{=%6{i6uz0~2G~ki2P0Y{~I@`)Gr?E=$%FTc!C! zueA|MjS`K=d4XbvfpSi>+O%)7vrn6)g4|>Z*6g#(PJQc^*{ohmXwN=6WJ%gCub{g3UG_^yua0$!+-7?r;O;D+aBc%#ue@XdeWt+Y|)%egSA>z8l1WDvXT%| z;p6Htx;63W_~bBsB%g7eX~Z?(g|>&5d0bhuZ)(49oL{&z4;naX)kRC$2K5c^SS&d; z?RVLw&&oyRQMnK)7e_ii(AQ7$FNl7T++`&wUDDyDby`TjZAU&HYQDYo3+;$o&hsZzd-MKT=Yarx)*NEq&B%qaf}O zA$!()Bc>W0_Fyyu!>>i38SBQzmk%!n?|zDLTWg#TH}ohSZE)R%siMLyWB!zmdYN4R z%9xkyq3>}uea##`TMIEawwG=LxANSc?YyjBw{BLK-?~iX=2nE7)DJ7oUB&;<3oVuZ z1ykGko=#YrDzr*(E@{rw^Kg(3H51*yl~o_D9~A|{f?8hsY^Zybb(iMIMp;h_PX9I9 zpi3(qp)D2e4=vpKWOB`viAV{z+`DRZb4gSaf$17{GF%3scxei~O0pXf3HhTNZ*4^* zzRv6as=4J#_cvc8=vU;hF#5-ujs9_(M?VDz>Yp)GH|~R%B!EOpF1aiw5tK=EX8`@;T=)g~9L+1`|e}lov^Pb)vx2dDbAqU+y>SAkw0#u2ce0CYuAA^)o zGOgK9>+=q}-Z*(YqW{)~#D{rbYU@SrB=x|(T{g}tQoW%JlZP@{~5<$ zib9*#1+>n~Z#-|7O5lzIw9@G^h+D~5Vk>qq2C2vOG2uebSUWjvy*P+o5X;V+xZRm_ zSdoo6O=&B0>v%BL0UW;!M zW4-^3SIf>8nZ$I3inlaJ4?89xL@+bIZ8Imcq$Z1}iA zVm0D-P#P(ACf!%^PX@$nI)9e*W6t~(z@0^R0Hb=sQyDk+p=>00Nu31+^0O`PC-X)0 z!YiD0;+P%xg8i&-f=9x%G{-?`9bdIP*8rZW6yKv%tj}LIR|kzzq6$uiPOK}`HjYJG zVrlO&jmk4b$8!%B6&IkE8c#hd!?=Ynp9pny5%XvLc$eXL4p-9{}{Sc^xhtkwkEpV5zu5!{o2X?~5}R@CZ5MAMAIN5}ia#7wuk+)04db}ld=e4))TfNjw6VJ3A;UP^BVqzc+Wqj9dH!=HB#Hl9*NUN(FL(v zbK}$h$CTHUY6yq_qhVNhR#T<5KhmLZ^qb zG%HEJKT%@?vlD~S9t_A-$^@es!c?UU$(aJ8a3N5PZ`2<+2z}hvm2gY+@ZSYFsNzIg5`*98 zgX*M@%L#oH(PZ-`MJcyd4*$H~3U0y9=il+a0|7>+_ZW8ToG1hHaK&5D-!N5Y61&hx zwRlJmCbPL0$$dpQUA$&^Nj+Fb}|Yr;jn8 zL}$psc|<%mjZ%6`aJIS!sBaly8B?q;%T;1jb-$rE;KGKmdhQNG^l=xa`RvRl`FFD$ zAlkTGz#XT{LLfB{ysc30hg^-*Q%6Lj-IOaFPpMiaEq+TA`5Og1;4K3UC!CALESWi^ znK#AQ%L`nvz3ngb37Me;@Yoq@Vs2UJU0Lp$Hv$vaom2}A!#_+9fP!Vksq!I_s)^G( z|H_vVEzl98LCN)f;T@T8D#Qzh&6RG|zOoeE_>^W-JXYc=uTQ<2sw>Jn8FLl=$%f~$ z!|hDoP3fM6tv5uxS9p8LZ+6k!Y|b&h1a6u=o2li4Ub_m}C{75wiZdT5mAoOA+WcZM zKQdU;sLwp$_E2?>_^J`FnS_a#-jWkNm<6FDW^Q%q0$tJzEzm3zd1RSq{hZQ_pW#Jj zp_Jh_Nut~sGH0jA9GNLqVa&S%9#h)gdFH5Tl0=G&6n?vh7wq%Fm!j{=x({D1YKrJr zj*7h3Hp^-&0VpX~3vC^W<%3R;f2(z~A{eMdxK8#u zi1}KpeD{Rcvzw5ODRZ5vqN9Xjx09Sl8 zuF&qwNnka4-DQ|MLJ$XZwgu;I#6O4s_)^`$UX&bt{=mob43*|taQ$slouQ0Y9g4=> zD-2Xckn8c)9wmp0D<_hr-*~IdXsI%?GQm!kg(~$e!&#b@` zCAz&;ZSvS7Bk~8AzO;v=*GY@);oQo zU+~qNdxSK`RRK27=zZkwlrZKLsFq2z*=c#^5~k+wKo{4o--IDS8xEuIo$WcjC(No> zUZrc@AZ?eG^dZL@<@N85nGQ4cQtF{E&P*&8&W(3`L-KD+^7DzegXV5*Lk=<%%GMm; zF(v7o_7q0|T&XD=x#xulXQm$ut$)0&JLAt3gK~v%ASf*B1tqTcn`GpdH=N<< zeea3P`0|6_@pMAd-&s%5^57F;=K}c4pQ)6S0#_7B_{y{+4qvJpPuHP??nW={AG>Y? zf^O=lr7(2tMo`R;i|vuAL@tD2al>8oa9oa#e$bXR;2H-IULql{!%MNwZwg<%CyQ@| zS}wm?_b#|2IA9_jo&g_=eZc!F&ca0sWs>HrSM9O9b8bg;H$S}!$TcYH2`P4fNn=ph zBk22zrL;cnOBGI+TQeMG7bTtb&#NRBW5(P6G`>{V%QtTjlhHmz`) zD>vJMV%?E@#IfeiK5?R=x#H{}4w?rU55Bqtgy%D{NKjwQ_i^*;5YydStN3oj`x_4R z0X-SMlG8;>AB#9-zm(z5mqCr4zU|)<)8ckUeUEb&Lgdl%(MP{gn)j9`9_{V^)iFQc zyd|ibTbJDv$i6@)ER9DGS&G6#&QmBgqTb>&tElWGwQYE}H9eY;aF=1LfL}bCR5nUn zbS$*nKM!}4BQb~cM{OGq+lxA$X6}5|v{~t3moSccRRxx+%XT{m^uT*Zg9H{P2_-qF z!iJ-UF$wDV(s7vKl{*j&K{ z$*cE(e^5JBj+&Ht$)OVmweNfVA#)ew+dTbXq$0UGO$Fq|cfw8tKXpcgrc+>G!)^~y zG#I{tMWs<-i z!L6q&xfft2$6so1La3r`v*-uwiJFBf;j^!e57=Z(*+gUhM)qT7+ou8pEprdXZU^R1vvp z-L|pWq|ob|I5d|OfBi1@YcRQ=1HTy2bsZR2ptNhi&`U_@zZ4~EW6h7ZI+O6<(RqXwo0RA>+_nxqoija z7K_nlRTS8S8sfp^dxxe!+pJV|C(3mVq2%7TOV;Q#1qb~i_(3Du)x9;S6BqRttwU*k z_6sNbqkQ|k{@&!hD1}aK@)V0cEp|aIBmdHxr;~|taCQB)BY|r-wvG#XmA?JXy^`r* z{Ev(%Bi4>%yk!d~7^Og?F=G<^xDGr9g+@YK(^&KaO9@XH+Qj&pWlyg+k) zZ3ylgAN8k;gH*?AcLrKzex>RS`X3PS)^R8#gc^AH4lymzTeak4YHqYo3kj2LkB*@zkuNB@5bf0#h|fQ0}k3`MT@rQS{mPdFBM%eGwOJRS4}HLjZ~7Y zpj=|su^2;V8Sd(bTrVQ}%e|zD;Lob`REAmtt`I!tw)Wg=M~7Xu2s~&);%iKOEh3T* zZXeg6%tkFRj3RDpFnbA-04eSXACRUmw$?+$hgQ#-R z*3k{KMIAp(Gr12J%&HG-H{dTsvF~(;6O8VOZ3-e*FG~EfCRb}HT z!w<*L*PQN7`{K$Aj*T!j%#aJ%NDBlMhT53DyNRpX=|$DpytRx7sX6W^JVZhM>7_Va zP4RmcC=O*B&4e-OwL!$4g(o%tEfzTW^d%;8nv(oWJ53l&?V-M&-g(<5T_1;_BnK)b z>cY0IXcl4cYpJg8ESdZTfxRNp?ibQDYwn_TVb@bd)%2a45SJ^&&Mj(Wjv{Qf$pS7DOf((3&&{oo42ye-=Sam z{D{Mv?*gBbizd_29Bh+_%4w>dMl3myr;W)7BuAY?n%*6Ajb55C+*>hx5g}@6nENNd z%Uf4U7ppYnw0M!j#iyWtH#5b1X-)3Kbz5jWh1Pm+n0tWKi3TL+k6w0f#$B-U8lf^*bo{6pV9U%H=*9HLs54K8B;6fh zWbUsijEm?9h_N3!B3946r@L^}DHxjOWx*1^>i*72m=bE$KqB#Hv5*5PCC@1I&yc|0 zb4pQu2v((3_0V{ANSllMryG<`C2I8bf(j(x_y1w<&Hs|l{=fg4-lH{{+SH`xR%2z0 zyQ6}*RF+njW~OHDxsbWwiXx&lmeizJxsZvPnOknT?^5E9;w~x*xgaWviY$VHUz+#l zd)==8;JSXee&cq78|Uykhx2@%=W>6Xn^=D#kf++_i_$9=RXx=EQf3d8R_d?{65uWt>kny=zG1O$(wqeyjdg^nymGROpK0c>6uSmT0ud9#HQ z$cQpa3Q$kof=!Vuud`7eoh>!Vh$&|-(;NG8)%fqL25AyAM0?TwWcCXNlcPb~@9R=# zsJzFznaQwsv~(f^9N^Ej={F5(Ecp%yQ3RkG*7(3Xy7(0Ntuo?z54^i{=f?`R?hn{_ z(M@sUzZ->aU7cvsWtqhi5Az&H!^*|ovYkz~qi6%op=%rbWMjUA&aj13&pbp0zLD2j zjIwA{`ezvrXc0LaG1ZE$;j&iBYa5l~z-EP+oPeLruBspK$aFi!Nkvb(%!B3CuqP6Q zI-jgmI{6hz98s&)-e07aC0%U!gBO15ThD@DDDa6iR@;z z2mZZB`)K8~Oqyoy+>J8ub#v#rbvbg)h`vM#TcVs|SvG7?+~uf-jPNou!8^u00*>?) zt%*Kx>`8pY^d-%;ubg}C=4z^S38$ags1-akeYW)}AHf{0Cb8tYg-V@hMB znENC-Z|>LYO)BMed-OU@hMj%k4sk zE12ZBrBKXjp@~PejUXw+&d~wR2AQ1*YbD<=E1B01$j8*%EXED5-Eumk98AaGA}bW8 zRn2%TcxTqxWfO@fxglYt&7wbZyJc3X8|@47bt21BwIpVUwM0B`U6)sbaX>^br|2Zb zRJ6T$6&b(E@|&VY#dGtir1W+E_oiErTNdU!>#gpkAeK+{l>nQJ>JJ~u-H3rBW6H0b zvRHOxv2v+%5W~DIYA&BRWIejxDfsmOPd>cXQMv2y`S%5i9|Kx)`q>~C=nqkc>d`h6 zg{j&|(u4@;A#HUL4gV0aHKFFj`!)giWLz>Vzf32reImHw*!*jal5;(zDrBz2lKp11JlIN3d z90VbEcj3O+3}9g5(Wv(E)T&`wSeajpY3E}l8nu}0`s5Yo%~4$G@JUHMa80J`rZ!40 zRK2NpV4_a0v$spO#MDw7#i*Gcc%9oTtAKI=HYx}_p8lq3&0MSs3I4KHm^ZPty1oCD zEu>aozD(`oftaeUq5I^h(__6Jr%acPxj#bLv};Sl$+0}Imap+<4!c zdW&6GuUBX40X899DPTu@-5J~5Y4)GxaVJ+nOv+Z%t)#3-*^f%y@2BCNP2h>%3$T^c zVHemj>z4W_OP~C@UOe$r`cEPg7CATjQhdKpYo_=l?2S#OJaJhc`~owINX;OBnMX8U zi&FCk7SEfo$7A>E?T;qZe(C1~HfW?5*yzY;upQtrIf;aEkEj73;UDl;#*7XgoataR+qgxVca{*zWVnaWF0u#IvM9=F6{lN_4R|EG4Y!rlHzyD2ViP| zc@}km?tnJ;pV7s5iMjNje0UC&5FlnH;6P`sdf1DR`70Ds~ zT{QiNiokCfG&yMR8Dp^raxEC%1!FONm8?y2rC(P@E~Dd&?%a>1i{+C}T%GfBB?|sb zjV?mMTK8d#mb8Af*n@jCn-z^%dRe#n>7(qiLiI;vg7p(oND4k|CDCcV;NU|nc7PVV0j$unUE6RZUWE_6; zyzw^2(o%JEUrFXy5IQ#WetHLe|10r8_J(geb^m=(GpmH&AF)=8{;b?NYiA`{jwZlv zT+1Im1LoUdi;d{Mh_Hc zoDoZ@>*yje$(ucTqa^~{0+kT#OjxlRrRm_;RQ73l%aPSj6`_$-x_d`i5*bW!T z^~Vv^ji_J@(#>qZ2U$0gCmz-dlK(t%>83*I% z{<#H_IFfE7MA-?{9K-0GWxJyP&28Nl*>a~$jL3K|sd;GQ@JDN_ughk-L_{`CENi>t zUn2SNV(~+W~@~o$j&mcps!DtKuCdc_1#%1|Ng8 zc?`w?u=)(2f;(h;s~gmwkL#2h$+@|4P!m++ zV$7qrB+4s8hk?x!L}0mS+W`Kd%1Ww~9^r&2A&>SK`gPSN+INMhk!BTxZ=rXK{Z(3i zCTsw%34Caj;N~CUmr=dz2W}9*R5qNkmk_ZsO9RSOeNPsj4MQ?Wi5u$7ouJ1ol#7RVb^ulWxjwT|`V6{MM`r=U$j zB6mBjjq;pSvQsG)mvX=MS_Jy!J6SBfjV9tgHCkT7o=K7#>ZkoXON;>Jt`NPn^-8N+ck%lY+zg2Q#T}ONjR@_Wy%kNjxU4hBaLfP zh>OM_2KARpkoQ=(WP?Y|QgUqdoOatn@-qU5j!+#SW%$=2y#}>Jcg(PxKF&n^Pu4i z)`cKb#q5IUh{VMCV%*N)go#eAD|zk%%0|55aAx-RYEj7L{rEACNBxB~3Q6Z`|3~9( zlGJ#1tb6oRoIRc!@6mn3{nYkOq0m3!EIvVjcBJ!-Six%#T%@ipH*t@j$ag9hF0OcH z$CgN(jIXA+O{yPR-L1F2qwU@&+y<3Uc3U86Ik@u|aU1DW<~1=%v*+6O=5(!(vhjpN z16q%_j8*sY74=GSQSLYVC|F1rS9y?;HvTiE zQ5Z4FSG9iWjguQStM-i%8r6UBX{97rqt8}(10J)ZCcCCeWgN2S|{`j?GHd2znB>W}6=?h+-=XQI*&N|5}?^ z+Sw4Lzf+V@Eh~fm^ZRogl*C}NSKR_z*BAN57hFb8^qGuP&`SJhQP|(jGKgKi@=2lj zg(zD@O6!wVjQng_^KxHyn&D%Fvjpn`|EcI?v8_4EOxCp836(Obi)3wy z`n!c0X5-kcA9HU9jPJ#^S;A7|{EN#K1%z|_6MQH)DY2GE&UnJU4H~BKaS-*r6Wk@K z(bL9EEgWtf+RRpEUN2)5%hBE{8+x51zTRZXuuAyZ5zY?FGhviFA`*w2a1lKXq)myp zlu(4IigKl_gqXfasmQ2v|@IDYM z*nhQ2Dybg~b=$KysA?2JEI#!mOwKC$SOaSW&y#RFLlwc16g_?Gec|zTd#1Qa18m$r!2n87AvZa z=W=E@Byss*iRa0b53{h@F`YBis^0b-I;#xO*FyTxEE|BrFp5q4QwUo$~+JwoWq z+c6B$OxFSQc+1ubcW(HBPEqUQu+-A!M*+`lLh zH<<7#jJ&Xc3Nya_0Mx7!pnFDw#J)YeurYqPA|BH&GWtRF0Cl&$nsQC0ZHT47JNkq1 z+~-0%@ATi5Z|F{jhjqVT-6Zn~3omfRF|vKVKc4-a%egM55N7q9Vn~oWEcpv!GzPNQ zN|G^%{joUAd$NPOGUi~!GF5&UEih*|sa?3fhwEOY_wpR)hICOIPvhr2DktTumWoOHmn{8aq zKnm7;BzLRQb~&iZ)!6O7%#7_)2?aJz$R+@H&G65A7MVY+6d>4>Oh$D&})2 zicwnpKh~_=3WQ&*<$1rTjvcrs>6fUE)6QmJjhV3!gzmd|9d0C)BPb>!@GF z6-7~mRlY>*p&ySft1eeXuh=GNuaG3_nA=Shson7dmdFTJQ99Mwz-vlU6NJLyJ3T4E zk?@NPGHqO^w(Hy-$>n$X|A94qd{~jdcpbLz@6M-DccZw5z}sE=%&cFFQ*03XQagp0kf(dfj~&H(*@cQkH8+?oN3N ziGLo*684!ISM54saZhE+;qZ83cJ_t1@Ms5%mGK0XxO7h*+ifojct|NEvhZ|i4Gz?M z3+eZ2WpKZwyqTTR0&T6QYQ$c0eMi(o&Q^&?_578P4PWvAHXoSn|E=ekAZpGM2UO^6 zGSXfI&iiCmAN5XEO21L%JtY;h@ys9_Z{bHYbI>x#XC z^xDJpZU?7@Q}4AOT^@1721h63NXxv&2B~UbxX!=^R4{me{YAhHthL2niM3P(B&^Fx zt`8oLS|o==?ghijg)eh+O9uw8RMNgxd#adhesQZx7+c@v#8CmFWK&Yw*5$yqsHI`a za%f&AfjVs~JWzQ788K}OljYm#Hs>nR>$0|AtM+=#KMtKRQYfhwXP@$$h7`vHRX-_% zlnh*Xb8k+}a!!nACXydii^CtX<6^9(8h5Sg?0?-|d<-{3u?M%5v&!`C1@xBOSjB+w zwGGr}@2!2j)8!v#^|oRMhJmV#8P0eiCI#;fcqDSojU`;8x< zUF65xN$z#WmSqbbynyha#&*i4Q^R_73HpQc%q7bes=HfsrGhX@I)FO15wT-3%ioGA z8JR95RY~9J3P-izoo18vuRIFP07sTi=oaH=y=lRbEx5Bk>w{z(=0@ViXa?UM<0J>b znc0#f6tKLHjd}nlVoCv#z4zHBB1KWeqsp3Vtx$LnW&X^w?SZcDlW(+c|J*bO)U)ZQ zfkksOrXdl)G>PZHq^whDv%fIE#3Nm%^(;Fh6(yCCL$ac@hL+ZG_1XE$TIXep6Mn7o z$0(rWJ>xdjjF&?Lr}k;ThVEDdmhWnXz{Q?EYt^q5U;7xMCFd9u>wWIU?5Nmj@a<`) zce$z%cgO=^r+pnf2kX8k%aawe6=yP=Vz$eAUsq$wCufhAc^Qkv z#Ak-|r~=<+8|l<@{{CKUH3|XUozoP5G>RNZO-en@?6lOWbMC#35=!PVAN<{S_n~~3 zQ=#}iT(Cjh52dPmneol|f-u>KVW`kjq3rvWN#mNZu#47mYbwou$@#BTaco3&yM*K| zznADLli{LCW)6I%G|a1;ktRi{tY5>KS(rBfbnN%NX<+r(3b-0&X-!?O~ks0|G{G+ef z33k@Ha+c*V6T6DaLm?htfY4r?m5=(2c=b9#Zl1mGajGf%;vGYSI!EehFuOPBl(>|^ zLUPHPorqi;q7cF^C<0*S?h!8H&N~60;VNv9OzOaiLp%BUmw@3Q6l<^#TIwUa>8LYs zbS(38;gc{LnOEVEoOwa;Q|CR=j#BqI@cZ`21jH3BoqW68b3wwB|KO>W|>-x zysaX2GR|kShZ3cx6t$7h0Z2P6;~x`Oh9}BgQydTmVIMTkOEr{*gIU)*pQY7kUvo(< z)#~(SSD@8HvlN|46L+liL4D&ELH9pR{j2e4j_&!!XF-PJ$p75Ugb` z>p@7hF_idy`BHABA$Y?Fv%0(?$t$4>cm1e8&KF_R6Zl7FFW#23^wQ?^l0^4|w*@ZF2~n{Z zUn;#dm3#M=nkx|!<)C>RhVWJBwFQ2)g^liSSw*w{V)nTg*ISTJZXPCa2ahyGy(@U~ zX+GN!yjx>t>7W3*nK7CvDvr68jOw`U7*Dk_kx~XS)+IJC1$PsfE6yVhzU<+k6ur@1XEZv-G zKZY8t@UOE=623}Iyt{36koM|I-(B{%YYh);IbRA=qv^Znk<77y{r2q7%3Z@9se}@A zPt0sZh@>F%Q7mLiPw+A`aJ-T}MBJWEiL1F)=Vi<+ikT+CQtgT9%)b`M;rgIv=Cn6) zJ&d>PgU+0OQH&V1s7rdseiJIVSrH6juY0P}FP6u^@+@bdw-}dZ?6U$R==>4Jg7;ZZ zgg^aP#}Yc^i)G~!(r9e`_S)aB0Vwr0xW^~>XEy|8#lwSU2Xs0CuW^gApIux*2BFQiJ7X3t+6{g zf7?ga-QQ5>_IaG^y-^~C$BhTsV$!l;M+t)LhS*J1c68Sq0?TaeKx8*Ud=>oLU05x} z1Mok4>{9Kr3|B8&!5((SwaiUj$_gD?uAUk#bz)@W!r%MouIlrJy2^z1D%f7VKCvTX zWyQHZyvnF}z|S5{a;{pFrEUMzjm*ES{yuP*L9ubVSY|vf+=E-Zn7QR0khH6K4)UH^M{8O7 z%ORWcoFp~kqj{|{R3T18Igktou|yQ(4#2T3GgV3F7xG-5alSV-EhXcMI+80xw!>1~ zXf5w%vN#_?so~**I|^qBK9Y3~hW#tTn!ex^z$Huije)y$>X7LuMDhhALNBHLidS%J zR3q4=qhWX5|03V+WaxX|u4~EMl!1$X{$!uWS@?S$H+R4ng$JmT{&(K7kGhA{%1qT4 zy5$ySNnbT0M9_QyG9)s?BfrEzvQ*BMWF*4f>fz~zwD-x=P83jf)7`3XT`#H>$k`_) z*EO-_9G-9F!Pzm*fDtP^yG;YoVNO z)wh@=MqMfU@6S8g>c~2Jm(G;56$o=ra>cH=6s=6+W9U9lfFeZ2O!&e+ZV4kgR#Xsj zPDE&>VmO_S0mxbrYPWkfd|{W_bX9Eg?FyL}5zFO5l)>Oyv@U31 ze-=2Dq)iy6O1Jq^o1=^~^HiT3-cu~4>X6B+NhuTqeaP+(xdPTy)ena3V=aO;Z%dEk zj~gLIFBEJY5w%!Y3bIJApO!T?`#`bP@c%?Wh$~#bxW?YD(D%&#f7^i48Eax#Sx z>E1a<&Tfj>EX#%y9W|#9opx5(jjwZCSUl@G5be#2h*!_lgHKewoNXJ_3<+grIHNR> zwd57}2=n?i*XefcGIWsf&dMCM0IfM%x!M4JCc>4Gp0xyZAD$Q8BBR>A`O`y!H`DtY z$Wiv=?Y|&v>R`(u*}9urUB^U>W`B(jIJnQhKz8_iHNi56c9viQ0@L$`GBS2hxS9zMLhgxD-FVaGIqR(iQQcQJJd7P) zLRpVlo8-%vxmwx9G8f0F*%3vvomIEi*^WSLnlX_C?P5eU3F23I1B=hUUJCL7mbS2& z3$R0#>zE0s|4uaMJ7x+Rzk`Vcj--DVEuFznFmXQlL;WXH2q@%H%i82(o`cUbxYz`j z_u_#*Y9qK)d5H_Yy9-QVQ#_po0X@=f9oOq>W1PO44lyT~+-9LfG8X8x1BX0(Au01a zv&{7SH3sFRpq{c~!faz2vbK^O2J%8QmpK5g(N$>EXalmZ7R40ZSMDFJ zjiXo9T_i;_>MlT(D%O5Nh^rcwB-gKKXEZra??wZgwpPp5w-zyeX`qZNS!iRf&Jvl= zZw5wG6k)};e+2a_N0tfC`D>1B$=6A@UH4%Rg;+Arnd( zMuJ~1RhDDBb{3cceLhj}>PwD}4?YzEQ5}yU?M{w+(7XpsB8*zXCwMy@osf|y zdjt_%71A6M++XT>s)@bQ=lneARpfk4Y8-n-o*F%7qEJyB*!*ScvuFKA3DpF}rv0;< zNUjJCGxn>lo|Mlhg*Gs!W+j|K(@)2;gxZ+@04fwl$bgEi2ze0#%n($mScX0$(xL#i zTgvcm@BXiey~yh)rGdC206uSRk_?*+9gybg;XjF12s8Kkj=(j5-BjB_H5)9Z6u*$x zIErUH;x*Z1(>G?=l)pj5QRE|P)x*znd<{0axfzHBqV{-A5L$;p5W$`4KmmB+1D zAoY89qXcqWT;5Mrfvx!mz-D9)_&FR}mpPe5T}vkmjUWW>JsPa1YG7+op(|?Zq*U&0K9iwk>)F2}1 z3eZPEHYAp+x{D0A91P&4f?5?wWAiGhcr zY)Pbi6@T4gkaCB2C$U2DNk*vgv1y_LJOc}H6;Vc|t#t7(I`DZNBojys?Kwy7%T`N2 z(SgDncBw4j0 zZ2Y1yfI`*$$;&PcGKBkq!$UI$LazbKM6CBt-vHVeH_s`0kz0={tSIAbVGOct#PcXR((M(+Y${B~Cpcrrx+-EY_#2}WY^>eifj!K@TB_|s~ z5GY$vY@H)28u!FE1XNn<`p;_jtF>)|B$2KGzkV(Bzuz1lsd*ejBm=%+T)JF;3z+Zz z&_L}YIAv#)vu|r6qks<02;SCWFbV85?+lv%AEAMQf!nIc%FOQ0hzzZaY^f+hXL@R9 z^z`&1eJfkI91X0E^FJmsh|fnX6v!%VR{~UP6h*Ck?g5AZC}4oyFprrx?E`0QpCkgP zKDjPGpEN-nbw+%+s<0lly^*xJYrSbN;Yg+50F@|CPYl>-O{CfxOu{^JAn&e)FKk`KmCZWHJ7n4ofmWOT3oa?js zcWGq)0W^1|P%+Dsx`l#zg(1i5k{}p;OQZRRpx!cG;@5!A z@MVC8+kB10&n+Ajba$r|xAtbr2k=SoO98NN_4w-oihmz0;JF`oycX>Vg6IkmCJc5% z5{d9rLEz_j1(>Yx0M$CvP%HUt^%vyDLIR=0&-j?pd=xUc6c;c|h(y-)6L<+*nNZ~9 zCAH_r$hB_ui(h9&rED^i_MjKynJ%jvwSotYpp1&frxs_{ke(Gh$NvD z4o`W6`-8`WHO148P0jj%VVcit)JRZiBrzcf$>nKvZ#ie-=Ca7`HE0P*Gn%gn2U_&T z9^Za~AVshMnW3kS`ilEPQ=&~SDmru(_#-Q_t-v>oudR-n)?+8^K6UVO!Pk*;9WQR!djL}RmBFsoa^X)_~E z=(R%0Pezm7IZ3sauflrTp+zI)vw+KMfZ$P$v%|^4#m)28$$rPOy=z;JbG7Qxw*e(4 z%3{83COK~U(m>nPbe)W)OpK$+<`n0!DKdRsKJ_+$Fw20ggHnP#sCwXD7H3svGA{#P<0 z?xz!fSb|oKHd7W!bv&)DqPr3pFM=Y0vtVa36I17ofJ_7aR$=Rv75Ft&+t>(UeaqFFXQ0`B$mxE2w?; z$m}n=pd#A*T@Iqf<>2D>;@Z7o->h=yw%<`dR?oQJGF~*k z|L-zm?}(=VYIKO+nYj70vQIS2e_vOA20jmZ0^=_i_{A=!gHIUDgpJIlIRzF8D)CJD z!GAyJa!M3Qo*iXUHDen%*qtVJ7 zh>h8t9EgE#s>U)^UyCb6x^H&MTkIUW`*U2;>_qxoqJb+?(nofr6i9%~H~ zc9FGu4AmjVJD5G@P<~Y*!GIi@%OSeOA~vV|%GF&F?6IlxW@c}P9?`j~o-^eqgLaD% z4#;$%!2%->lx!2+3 z@Y$4pE?%Rlgp-V7wrsQ=t{F+Emt$KwF6T)dPpw#1st+|Es`@BSC5@|x5Npet7>)0C zIs!pqts;m%O+*vevnbtRyk6BEUNUwzoLYdcYU6BNMhtd3o~#eA27h7`A`nM13t~x2 z@WyOL;zg?PM)pl}hdlSF4HQa_Az8ZP9~WGF&ToeYIPUUx#uXye;l11+og z%J&~pDbMV72TXQW=Rg#mRmUM1X5LG>{#?S>Dx08b_vmi=h_$H;GirCUOD4&Pc>}1p z&>@{p|B(*Pax~iAz`ZVyre1ojnictJ!DBE0xp);IChDumO^Dqxh_$V}8*4y`-fG0m z`YXX#E1rP&Sk`;@2^S9}_AQwp0EMoDMLX*vX0+(Uhi#79TBkB*BIgrjTGp0yM|s3n zPR%f6?U&LWm-ww03e}1M2_@BaWVy<@@$t4iv&=UwE`kxK@Xyw^6c+bUH5ceIZ^kW< zGG^U%@hgaspR!9*59=Aypp*?cNIlUI<6l`e;w>bno|_pnhf6GpJCp8e@O1SXY2U?_ zOIoiwdm(T~3|5yHvY|d1i&V5*+4{nbtW#TYtkSMmKPxY7@h?Imj~o;ei*L_OGI=N} z@5S=RPL}i^pMjDBEOZXGL%xEmZ^hZPUrwL@>(n7!WW;?j4^-|Ik~w*GRi`=SN(`id znpTB5;{E3URzSk4dv>_v0mnMQ-ZS_m;LV_DKvOKgAogMBNnrE5;yR$(BulKj;K+m~ zV%gHWdqf=dg#H{FBAuJS7%J6_o;^H<>e#HUYgzkLr)c%uaBl~@x6@(Jx|wKLaA#x< z8iTsW^%|A>kz#`#v^pSnfpW)SrusKUjbGQoLX;Yn@2e7uAmOpve4WNqiAt*c?!W?w9-5? zGlJ~cwc%qF?UxZhZz>D8C(S;Li2Gt5Q-eN5Ghgx=U67pKdQ)wZgbqh`ri{-}rXdMi^sQzS}0) zGTjU9Z-4s&@VsLEH;Efo3N%aOcNV5LQkGLM0}!g3lDWCi*(ne9-!bW%ze|ay#Av_M z6svOe%f=k^9S&H#tUSz*z2E-*!Pq!Uyv5It&~QRSo%N;bkktCpNyWR$Gh7#mc9N7& z-i(yb8gq6^V&<)bVcT+!fxT@|3j5B~>u7qF{<`tSsUVsi89*H#!D2o7*KVK=&VT#ya8FRMkoeI1@%GyL0g=j8;9J!K*9VoyvlO~< zFw3F7+bp$pjgQVNw;fX*GhGjMfzj_1J;dY$%i@-0=@r^rW@yQOpv9%{ng9cJ{YuX# z-##|O>@QacoAFQ88C*Y{L*yUzee1A3B`^2Rp}zV}3!ihhQV|dyTfs&tRnK2U2>KSy zM&uf=H~?z+%UOy7Ja!i!V$wtrsYwy4px-Xg9?Na*j(&UZbM^$-j@)xAokLe%u8;X% zpQAA46ee_k^M_-yz*IPInwItMYy%x@HCKQ9r;~;17Twc=eedc&mJJ&q&U)WvjYJ+m zeWx6IV%?IbtC9(g+?&%Bep2uhBLrU~r+!bkB5&35pPIyI9naeh=4oxZPownzHXFo$ zu%3dv;#_SQbsWI>j|V@fJsk2$MsVsmIaww%=h)hY(tXV(5zbCL9ccL5+?e$ZGnYDC zF(LJp@DfhsX|pZWMOpnC5ba@ob)hH171WIR2O6oFPcEV}oIV${4B}d}vV4yT+~47L zh_M3VYb?JQ`=zeQ)ZAGeyN!%J54(WW>aEV6&vT)xRBKXS;^0B7 zqh4#LMRy_Pi%QoRU8%c2i(Q{I+{Mo79h5yab$R33ZLYu zq}TW<>(rkm0APfepP0CK+Ovf$kpU@=@m%6YFzR$486oy|X{K&go1!C{(9uL@mvziU zP+T_u8PO=I@4)@=*mnbaBq;vPZnzRiVsW?s;D~uR(z^r_? zzz&LqrP<>xdHol)Vs`CU4=8Vcn~PK4b#EEG8Kr&z_Vv$MF`<2NZ5=iMKcOt#Kw7HOD7wnWHzzxc z@t;S+G1Osp?JGcvZ(7pETqvZ=H=+#x3zvn+Y^`o`jb3LSHozBB0d?0mp+>Ax9rq}& z*ga8GUm%VV9E(N}zy<1w8U`~@8b(@BU?IY_rS<|%xifPV8Pw)SauEw2 z_6skY`9vS6X$6z1S9pv3jFAv*%$3-M^S5bhC=jEtHeYkH&kbEMa>mbs8EW-`^%4IP zg^TbFGs@U05l6LJ7SG4!hPt>R{CWR0;R1VQ$|kw*Tnd`9SECsreTctj5FCxyh(KFH z6H<+J00o8Jli`OL(mX6^U1lc*a)Ml}y2J7-2w|s|bBW=2B17jWN^%KKy^{G4Q8uqU zCzS6_{XOjfV}GuADU%en;>z7#6ICA%s~9dAe6z?2H++FokcPaXL^ z;b2^KL9QsXU$26Ee`WS&?M~BtJgbA&_!TO)@4)0!k8gpV7?0u3SCp8j-!;`GgRyG( zZ|*_Am+v0Bgg9U!b+wbi;__6@JA*;UNyW#btc^$ES$@4nwbLnj*NtR8dj^{_%jgJb1w>97If2ewU zjpH?V;IBzik9m4t6|kQBQB5N5>h!P-dSgxo9cqmGD6w@wBHr0lPe#@F%&|&d);ce1 zxN9polKNdEiFqo3KeEiZ^=$l#&i$^cp+WO8|MtOOMFDl_W>Kg`Q{{!%fa&!r7p2d6 z8YvCoQ!R7H>i$|twh2T>gnYKpo%_?TGDVze=b&(1>dKNB0$s*Aui%mfEudFbPX)bG zjk0DaN!Lt+kq$z`0G_RD$Z?tUspa=tZM~+AGkT@OQW+>EbqkK=!tu*_^QCURrz9MQ zz&vzXZgk;cenHk{hsI39i&&TXPCZ{1Ib2d_S%*NdBI+84xMbFRKeWuB=Ko1yeIexy z%vg8B>HE{eUBXQB7^CWw(3T!#b?R8SN2>L9LqIKgpfWU;9!(r;@Dlevj^r6L)JnUqcQqCQK4K8F@Fua+hfc;9Xl7`LWhr8)VX){M*pwA{FmO2*sM4!^$_B*kNU!gTIE4E#pmrP}u6sVu}U1TIOgT^$G8Iu!DzS1G(JL-DtiE};*yJ>-A$AnnB;iHwLRFC} z_{XJyFD;c8W8CHcyX{}EZLB=q;YPN~@B8e%G4zby4c9{FZx{x~y{->iWu%Ln9Qeh| zx!DkYAZO-O=cL{@IW0g_+e_Q%tZv=b&!o7bXzo+LQ`)$0UwwdfW&3iYk=zf7ggM(R zIjWYd+^O%8VCe>k{P3dt4a*0*5)ufMre`OxGnL8t2!5I@6OWoa=+RTEDDDvju9hv# zyQ0*qCXwE2>UhHpwqRp42gz+tyxaMd-U~vfPamlbm>38zQ|h_3EAiVh$9+9i{{D)c zu-i3y<%ZyGj*;@%tatO^AF#XVx%*vE%h4r!{B=jtk}u92*odi`rFh??D5}PFMtC2$ z9{44!>C{MBsNrH2yr(0amjVvILu)V3lHJRIpi)~6PsGR6Q(9QaD*T%~Rc5hOkJH1_ z!_Z2!s<)YZ1oL`%tq2G5w$`Y(E~L0TFni7}#_+VMSD}QLAst0$T{nX2grls!Y;jw; zE#9Med7dwRrZ(lu!?o>;v2;JYO9pomHE!u4PvnF|(sV8+hmEBh4XVIF1z}zq1tEA{ zgpG#p7gg$7Os`;W)xfsca(0>+&Il#S$wj1-Jl>#;4pSP(>&GjTU5VzZ>$ zWmS`TE7Q6YO6x9AybwJ6%$0K?smu>F_ZjOoCb&*VMc=^A=c%l1yt~ltVDiEs@J7LU zDm3Zz!krVWnjPO@fc{F!R@&Yn_Y5L9E+KDK>^}@6Z)@lomQ*wC;~xuHL6jmkr-#Lp5EQ$q;TmT5XXZ z>LS;D%h{_)YFYbsbnl-E)0Z^58k8r@70A+UMbt-tW$k_FN! z+C*H=&XMQL#R+p;sjp%u;=<=KI^nK)U8f%1?u*mT?I3LH2FXdt4KpVRir{g9*Ez%i z7qp8>M}dNbVrNpcrBjyTk;1l!!!>yFV^R&zMK2Nd=3JK#^%` zs&7&sIZf%YeXsvxVJL!FEhiOI;yhT}p~`TC4hJYYn6v#=LBVvXhuJ$-f35b;94tm~ z$dZnAs+DVv@2tJ;_NI=eAEpE};BO}NylS0jB0Dh<fp5z4b)-k#w`bt9tXYN!W(2*L$GvW3rw$=X3%pL< zneF+=#8{e@U&j%2qDVmpwM^xw;TM^NMu zt+n0d=I})^uecWj0a{_IkbPPoSwHf(^rh>9y@<2iQ)eLoh5r<2PlQMEmbA7s0(FnN z`gcrX#6<(#pbi9TX+Q0DlX}XeE6j_o@s;uk61O?RJ2IZ_Pse3bdTu@x(~U>xeogzt zfrRwjGLhJpkn)fi9`+o4n>cf-Upm+&eZd+))%y6Z{K{n6Gy?)_8rUb%c|4u-bY&vs zEtq;1%zWHF5~3m>u7MCkeO*v-@m@v0JXEmD2v9Kt=)N;1eRFp&kzGof+jy55X>|W1 zG9dEJYo-oo!CL8|lvBiVj-j0^?~FBZw6wnZ51wtB1`_bXK}k|R_g&vuw$Vg~B`2V{ zHeu@VaqNcIMW z$W_~JhVP{0>*q_RI=S4mrJTOQzD;13Sv9&CQtB-XTl}Pk-)JtsE6x3@=g#D3UsVt_ zC~2eZrF9hZvg^Vfbi1gPxwPzg9AM0h_^fuw>cv1C=%P69LY2u)SdXQnv#J4+-@Fkf zx{)UCwx2cK=^@@d8E;ssz^ixIb7!+ZH^&28^f;zvK~yB z3yKd5@{JyAW}b7rSPpn`th0iofv8B1tvghi>S{Kytl4nBV0Sot&0O$Biu=~BE`YZw z-4iFPGZNEXF>h~>362Ur-YBHH#Vp{>)DSn54iBg14-A7ur+=r5Pt-Uy*p05-5cCqe z-JzM*dQxWTMddJ%dg6qaO47n-RQFAh6ef2BDEJ)Y1>h$2jtO$tnY8a!yF-Tqx{Slh z@wAxbn{ob)r38W4%*RW7ZQqgDs3}29OmHA}1!c70=-4x$foKZ*d^#3tcupD0P0n>` z{al(DmaP`RKTFm?8okR4TQ01GIwfml{#}{uL`1fl!BQ35-pMyqE2Q=SsTelmzYfod zINNoZ-dVlNvSDFU1o@P(QL!hPtwl2Aek5CZRw^Q?EhAKyRV_a(4aR_=1nKKtym_qDI=U@Z{e7lu^@ZNcM=;-M zCsmt-ZwSZgi_*?ZTI`dS`9hgBlNp^nrC{-?vd%SXKDFSqtLsLyfWCHbKCBDA3#8D>?o zrQ{AhlDaf)KI$yL{5jW@Uu9Y%iAu`}C_kX0uwW0KH_ziNeHPO8c;fhBJk3=mge+<7 z?ND2#rckcRR}c&+WZ_lOK7&f&@F(cUFxcFGsQHWq*_@A(R!cak-ssi8W3JohP1<`I zsKP}JxVB!F+zbiEeLD&BH$$MnbW7Gg^QN5(aASzenHcCy2G1FGqWDA2S;LcXm@w*Da82IleT_;ELf1u^(N@K2=p3Y-=jHcMJf|w2h*|>$q0*MLs ziK88H`E@f-5H@qy?YDX%=E#A4p2{T}sr)zX(eq;uHufreBa+X2TWv%-a%D#fzm(<9 zBf2|dMhyi@a_N@PKShi`sLU7fEw@hQEx{l+B7;(^=Q6)crdwbFIk7uw#-#n0p$weD zsUaEq-1F_o0@TG;H3_b!NyC}N>Gvj`b*yJ8)y9h5x(W6`Z*{F3qIUU8c(VVXiVawI*z=Ug+8P?j(2np_4I4Di*esvJ^i9H=SPS&jDoHqiozee8^l#l@DGA}j zLh<4bB0Vp8hQ_fu-_6l|x4qqmp8bpwdS=!UP0iu^`L_fHNh0`c03Mk32kp_*XHOGS z&7S@S-YMXvGhwhP}C?-|$yE z+v9n*qWR1G&6~A4U9+;$Z!A%rH>IclJ6KRSdHXo3V5bJ;o!J;Uo2$>JT7!oRqf{|b zq!A^D{y@*g_3^4ZTywv{Gv>TRlu<*B6Z6Y~DL^g9e(f@GHo5lt=zL%3+y(7Un|I_- zT&;~a=J_4(2Flp0_Tz)&>O|#*`?Y>k9yTfDOH?)&R9kfh#X0=>5Kqk(larlmbO7B= zzEoHflD4y{fm%44U~*f&BXPL`D}QCb4Ss7M^k_xHZR-`%Q3=wk z66B|BWWv?+hK$UF6kF1pObxy`^l-&?V9{`bQKpRa*(PqC&55qXcNZDnw7Fy|*n4QX z-c?Cy%gko>3vy@fDAHeg5ai9LMgP4qTWN4c!t-}h=JTDq_-aSawG$r2Hx>9}?Z-`* zgiOD{-ldRjIC0u%6C(fq!jTdO3fWApoKVXwMZgLJ2P?TM*c`DbV!NW zpjn_6oRbH{O4KL~ZJn$Vty+t&iFVs-_y8 zOwfqc##E_ASK5ipThVItJQb}XiWjCs7W9g2G#T|Fu7<<$jO)_HWt#K4H$Tk3FzMeGx2G=6O05QyvzKBfkD@-3Zpnqp5QSysux4$S!Tnkf zr1bgMKZP|;EmA{;{(j#1$Ri-o#XvX#w*SQDF^iq)TP80M`TOz*zW)q-gO8G7i^&o(yS8nEgch;scL>b zeENF$8*}L%nw9Ott_zEU?y@eTqTKnnQ9voBsVPYxnq|tk)92AIOx--W=uv7t107JB z+x{uB^N6$h{3e@w*%}t{EdXI7e8}8g_iBgZ&hRDULWwT(+SP|ny#vv}p=-JMTPD6C zJ$?zGr5VhuHQ-C`PP*PR^7yJi7Ad^3%`K)Cvt~~yy~cNxtPFCZZlIRWm<~Sfwn7Bn z($w|T#OvNDzP^Z+O_YCSBmFQNHusWc88dBpV|1{P&b^|sS}t~vlaOwu_r^h=h@9#O zAx&FJZ`mBLq3JKKSekAP%)55nH2_*X8~dmzb~}6Npr#-6h-P#;%?mV=tIK$&UA_Ey zp%|?m9KSOl9iphgxGnEJ=BW2DJDLV&^4|q)UEsv+geY9L<^qTR@zpDaV{ef7S6Blv zK(Qw{mA#sK9s{XVa%@nK4(wN2&WOW;G*MmGGzPOoICl)w?CG6XWQGzN!4#Urg(8TG zYlCVkS5aO&O*nc8y$W(z)1`b8JY?ZSK=j^LnhJAi3HR{l>W+6Q^T+!0)&Ha2p ztfR#AbgFcN3W{p)<2ZRwoXIegoz~D~p8D71MWYO!3ca#+PyzVjtZC2Of9nr7^k2HT zq%|(3EP5>dwLWm_Fa^zkP>4=XFh&d)p>iC0e`zVAJ2>t|T_ zcnEYPAxis^SRLfe*;Hs+&2zhVTwNIqpfxH`3aTJCnbwH+CsGwIWy~@ne|3`sQ@H_EMc3#BOgkV^hBl?A;-9wl+ zK~jWp2}(ZH&~|oygYq@KeBGjAR$013t;PC886l;rrR3HQ0lukerP&c%>h;4?TvXfp zvl7?+*=w8e$$95`C!YlS6CP*$CzZ|DPQyiw0&D&Hg&>crd{?tvto%o1JXdlQ&z=vz z;}xQ@Ga5_srX-Rk?t2B6NI ztsbu|G5>PnmSv;FY)qyRWrCCN-@yP=(pt;k4zPKg91V6gLd7(s-&4_1STN3eO}vxW zOHiqQGG#I($$g^`Vk6P<4=b|5S&DNFJ{*EB?d?QYra!+pn~N_Col`>vEM)DlmtMCB zV4ImL%;}1iv+&jRyN1}Vvh8U$e{(gKvozQukLtMM5Q#?2W8_@s($Km^CXF^qu9f%b zt7t$cA+5JtdwwTy<@rguIUotd9pv1itRnGNjt#PZO|&jX@l@L`Hk8u5jB8rL-9Ign zJq@vw$5LU1>eRLumli(y_aEI-Hs$);OLVE^MRu42D))I^rRu<_o1Ri)q`5KzP<>=s z&_Qzzu8|>@OcAXg6miRX<(H{S>WW?cVFuUZBtQV0%YEe%4AlCo;V4g&)e5uX(vw{ zwju8M<*Loor$42yW#uy2C(`Y#WeIP&lCpdMRGV!M*=nw$LG`LdB?b{zz zVWcW!9PE6enP0lVu-f8W?UIqBU5!i=VcY?iNpi1CKGe$!AJt?QUt(1TcRIU}=iE-$ zx^$KDa$5VPI-&+A zCBdkpnYkeGh8SMyZ9c|~ovjIwznasTZDM>+x8Zs@RU=YGW$i`^x9H~93zuX?1*!(4 zq$MKch(^(IfEH6WZOI*_*w^MR4fsaWDn5-_tr;HFgzZ%Op=9GxDms7t!5ksA zS`MicIpL@~f8Sx+Y-Mex6ZdvQm4g7jLd(<=Bc46hYQ%8c(CEk&)>1!W? z%}uY^ceI8=QGC_txClSz;RTQndCe%B;6t#+lINdKKJs`yB{QF`v`TK)7{St{@H zw+9qYm;xyyHtIm3|1k`IRjy5jflRmbPIsd#$yY**6_1A7r3CH4C=Y9#T=|AJCrZmm zrO0qkqeP#}f13_DDpYOO8X|PKu=AvzOst4mm`za6f27AdI)8(lywp!f-Itm^82|En z{gATNCS>YL*rvD8phjs>Cy32OWMRp&9?Qax6ipgdI0|B#Y+_*}x7B%^BUIy6BA zLYylOGq46A{%h8un$oJFi1vXshYz_SXXPxUa9*v(c`R18b)R z*+{y3fqk?`t;`_kj?#`lS3?BoJTsGZh z?i!WIzsZT|Y>djhZg_0#9&>hz{gHEmoDK659y!v6kq0**LtHPHAf z;7cNj^sO@b!)?s&I(-z9vs34%uB-$-nc1SvOPxLdiItsWe~|4omvaFy1 zQf@}llUB5x#*P3+Vhu8Qg2a9QD$?Kcd{O_TjWAmN8v`SB02BS$^WjaqLK=U;BOcO*@ z&hsZt*dfHBp#4J{LE%1^CNDdm`V z{LCMkTH2}DU2E!vR+A_0i-_`XZRT5vI0vN$c$nD(py;8L{~(nbV;*Q3VuN;=(L)nR zxdYmBCf4~43c=$a(2@te1H#IpelFcejT)(F*u>HKxN}Dn?2S9%reSa8TmZ=%#LYZP zNCE=y1Ge+jA5`S@TbBbR$PmM)&1n~$i{ZI~d%V=uF@2?SAfBLpIO_3~7j6rm`?Oww z?6)m>M4ni)3lv|}m8v0q zitQSGZj7_CGZC}3x>NGpV7hLOeEcE9$@s&~s%XOyxd@ph%ef-W<6MuE7dE7-8KJrR zPVYL)qr`4NuKLTo*S(NN7JJQEI>ByjeWE2Z3iyGcOFH4AMna!`lB#vzfy1}PE!JFO z**6gm`aCmG#Fs2u>lOTTsHXeu$Li$*^{&$~o<=Xl8)xwrZwV%PkD*LwJTxDBtXan_y5KP|j=& z)xqljuyl0<$Jq;Sdi{i6>#)#o(-ABf{Ly>KO}d=?TRUPOE19z6)Lu(PX+6fCYrM!1 z&O}n1?prF6>+6tti$KKR!t0dR+w1dd4Jd~g zKDa`)^M=;6J06y)4`JM*{F#{9#|4^0dRwpd1L8wwa|4G`WG(Y!OJb(!V5U)NfHSGH zxp!g&wJz$fi77@ok2+s*9I;;&)x>GH1z6Wyg5E=W3~)}&2Uoz1S(RIh%O67AM#Gm6 zvBtfO()=)&B0k4#8SmSHegh`gCqZ6)V4rs=H6&`4c8Oz8GX7R@R1o?SN2;fMy{}{} zP7smKD@h$|8#nC|>L}z_L7>5SPca@OMJIWQs=`(oiiIx8p8>$yy^jJeJX(7;H_KNx z{&--j%B=m7=i&M1F`6?Q#>rmKw62KtCdKUt0K!CJSK(k8$lxqp45HId4gk`RtLrj# zdM$+_KMTb__+R4EJp=EJ*3;HA6Ism{-VXP887o+5G?%C}@_(FBn8u%%a8?)$9T%Ny zjJj|TqzqZwG?p?S1$Q%e^@Qs4)^)T7)uhGTiD`K5O%A0?NxUuBNL$&F4w@IexycOM z56*tM6LeYXWtu!z!Ptr%Q4dA;b5%5g}W&yP|j6S}*33$_1_=d!;+j5X8 zFKBI0ir`j*beV5b=mL82R}F7#b{s+I@9qW9f9~ex2Q{r)HC1oe?9Q2<-w`wcV0P4I z4$5Jh1s7DXLdRlE#~AhZf{lSuz4`2!hWa<% z5oq-o!>yyH%SRL8eE(g@NCkI$*hX*D#3lCGMD1Vj>5~w8g z#vxf|QIeT^g_?jH7k-n@6TK2Cw%QDUQu~ZAOHcP+y7sza@zS>*@rr#-u9v?*I!e@a zFLsR>XzS{h-8D=4GdPFyR)n2s{L|&8Zn6Y)7MekbNjpF)k!;IYl0!s*J~{zyMA0yM zV@&Nx@?upCXbb-;;S6ruMxHX^snsi9adGZL-=rVzFtfJ0FKgk$%>ixdaT;hDkkFBu z`3coG`jNg%T3&jr1Vnm$-m00E;ok}DC2cz%8HD02)ee2&$o}}MsOe2;*G<5PEzpob zoJ`cVhctaJmE5?otgyQb4U_JltRD^*EUtZd)Vn)lLMT@_o<=p3Kkg*z<(wwL06Z*X zvlF%52@S)^UfcadpI&;`!-8G0iM+nz5`poVZK_RHT#tFuKq_z494o1Kd&FYfW4tM6 zG*tf0sI7#T(U)9+k*o2RDTn;X^zEJ9W=F1{?=bW2z*<#2ENo3dKE501ZQq&Hw4*Q{ zU|M`cX}Y!Y|ADf(V`e5)v|rZ%Z$SYNg$Xi#x%e-L(fT*x#Bftd=E23h?+H5J_5FoD zRn+Wzq^0-lM3Iz`u(HJ&r7fq}BK;!8g`J-C>b%7qDdD#pqClz~DlYX@xVZsWcQzL@rvLPBz8+fV)BS9 zz!niqn&3Nmxotfh(ms=rQnmH~JNcF{*@)GyW+19q`%=#obNx_q5^WzCpUHO#)(^Xw z1~~BHNF8+{;>~kRE`2)}ZYx|`805v*&&#XXu{}MlBp#^R5>w4C>T!bzjhCKp|2)KY zjwlaQ7JNDm*Dl%>J)neNTf949p@*E>R>j1`4mBd!QGO&r34E>M2CT~r=JiS9Tw~#2 zgN`|R_75Zghnec3bDy-m6DqtZuayRB&$EWY@LMAl*|Aobn)6$?B#fg9+~*ToSow+0 zwN}>&>D|?)5Np!hUxwIV;N>~wf#~TPSJRO-H)-u~Xc%8_XaTgJ+BPyb-ge$mFR>zK z4^kXK*IjVS7LgNN(OFY%;=0#st2ntNmj%b}B-%R`>rFD*4NVGBX|Y(2C7~cRuLREC z8KoIeqsytGypaEQ{!>6J&)gQjhiMvM16F<-Pvt$QSZQsWbof)H4lZ0eyE(37o9$0R zGH?58s8ADiO{4_EmxUbr=1(l?iRe#IF6%te7L_Vr*R}I{^E`d9DR%Pq*@W+?=V)F#T>1U1)!&^Dqvfx{EX~FT(^RxqkbYeVy6eM#&bh`!l2S?y(3-0j4s#!% zK4@|jPcV5;m@$mlVmFAW&o}U2IzP%*a^`3oqQ%rSnRi_WtWRvN38_@tGmT+sI)XX< zAJ^g4UucqJ$ncBgwfAzNAVw|z(g_u6U zHog6oSa7$N&=;181wQ!$7O9crjnXubg^Bs=K*ATVn}>*PC*6s^c|N=N4CMc9-GlU~ z>)F_1=a=u+dBP4nZ4;>{qBZg_z|+K&B*5K|JnFhUrrS~?3g}=)N{Lprs6|K0G{GiB zt0yxQmbD|M6DBlm%GH{p3~RrSHD2s&`(`Y$;D3g*bS}|=>rBl|HURV>n4I%0SlCDv z>vof|(0h6DW_Fmb0c0|tL5fg~Zc`HS%WX*4okI2^sUe8?$ysJkVQa zx_S0#yY)EtV#{wzHo`g3z_2*a;a3>KDeDMDYhe#VZ1X`&{CaQ8hZZ#?>2^(@wWCan z$B4!BxHZs}0Lg8MEXV&X%6EGn)d4niFv(<;?sAKJu@~MB5w3eAsWrk>daSOqfFrtL zHGBG#CpzXKOf(?;zNuw6Kp#A9eu8Qf`fwf)c4%x^Ldur}ancLlD_r82AotD^lgCh% zpA9|NNYRb6OTB<6udN~reiw{t4rbLm8)p1T>XksO#*!O-CWpnVMIgE5LvYSreWJt_ z%rXQBz(2*j%ztfL-vDrLv&yDqT_oNm8Fu;FH>CtQ-u7c;e%N{8R4v3)WdXuiBQE_` zh7MzKS$fc6c*yQY|36fu*WR9W?Rsyr%ISJCK1@_|r)#1_mGhr3XKFhflOI8id_4 z7@P`&UN#;NxD`&;r%C`3%K3fDmYxGDFD>6WyW$9mKD0l&9abIc8Mg!+u#v0iLs(aT zr4P=BL;{mkZ3!t#=CHh%*+^~KtFVM({^|muVeuXjz%m!+3XadfzD$o?ip~$)dM+mi zy_edRBCo+0aQZJ{AI(Tow>}0_lvoLHkWG&<7;JP{MKz#3c2oLavXs15HDJti)|uV zfg4Tl?To5<+IlsdjA71Q5d49@_~S1GdonvE%*%OkFfRqawa+0dx=OgTj9;#$aZ68ZnY1Z5?J8e$)CQDop)K z37K&@H>i1>6u9_I{r)7hZNIJRdpf`Q^fx zbl!^#kF@WKT^syDK!=IG7d0V9KGM5(V*5p=UQ^(Twp{Gz@Ava5`Z_Y--~UI+JW6np zv?+gDpphO()wuyF4e02;cO8Yr2Dc=Fq?D8XWE{&jVo$0_R%TnqR%mtkJo-~1AwIC* zCXeCZF#O8E{y6Uy#+!7b<^4@zpr3?$q++APVTUt+UA_S?Ht8|xt>=(|q#k+#v^+RU zVs95MdMh0lJrx)+STR1BwMz=SZ>@bd{{B! zhOnh}SIf@6Tm7Mit;=(ty@pZ;dVErw2aZ%KhpsJzdIiT>k9FROPET$qR4S8%lwP;m zY$aBvD=Y&j`12a{;xi~@ZO&A-Vff2fUpdF)0_P3grP&;A|Ix|}mC6DU^6L%hngyjP zja=CLR;l@Pk?5c;&!he185NEr@_HivY~saMO>uyN`=8gY{J|Y6+VyFXqSK<2tFRFp6u& zoOVT-!MYSBU|Ux9jX2d;X|=0&%2*BYhC>Kl5+BV3QQPeC2ZsT$d3;`QDzx&rwZJWmF;Hl(ogns> zBR0zWb^|VU&FSYwf+_VpMaU<3px3+`FLm@AcILX1Y z(TiL)IR?bsZj-%Q$WNm2&7NbS1`Wn@DqcAl{1c@zP05ytkq@nEyTO06r^`ZIx2J1W z4LRgXZgUr?gUpYTl}b9Cc+uQ!>ZSp9Yd@D0^IEpAKXumvj7yjLL<>gZxvP^Ye6Er6;(xR=5!#mJEzQUi$pht z<&q}O*i5YY2iqEK1wa?I{ZpFAi4l@$X9xClg>{D=ZLZP896PPLJ8jA2bWsJ`_USTK&z?BqKEJz}hqInL{A0-+6=xYd< z09a=%?o`v{J^6{*GlIJsfz_hbLA;mdlmhrdflu%Y&SgL9=y-`}a4vSXcHIk&;Z9(y zBSeqc@LD~h@9i-M9MK-d~DB{G<1ANzIR1M~FJms(kd@AU0{a)4+bHMM*Z*qiQkSo)(QOgK_JTl*k0iok&H zF77%n2eLcc!l6e+Hal9J;7C(9sbgh___-|IAcz*zqMP0aOFEXHY^5^`Fh>$GM{a|lg$ts&%w6!($-g(p8sVv5X7yREHu zC3b#F+-RR&beeI{B=5V8>8;mr?J8Or7h)E(PROl1i?=P+X#KuX>2Y6BlmGN6mnA<( zVH&&vLm%Z`=$eg3nhfehFl?UpUtru(Nb=mg7h?fJW{A)kN4V@p=XcItb2n^B`n0^q zjREt>BTqm|#`lCh?m!{cyBl*Yx|OdCQ3T&!G&jyhK#g za24LnaS6v7_{t#7^=vF)qjliqEtd&Hnl-vF-4oH;?Lx5LRqER!Kq`l9RAU{gZjsgk zX~mcvOj~&PqISq;qY>T*#W~&YvpJLkG9cGB9FO0D`i-00kHl>)M!b&{I9j{CA(e}- zqRCmo(TIHgEan&AY;PK-vsp;OJ19Wk0H=n6O67{*K;zCkGtGF#mVRw&p2IW4O46Zq zZM;!Qw^{6Ra%t;{9n6g&Kp?Rtd^}>!22tYR7B@GMM+x7*h`YFOtCA! zJ=0N@Yf46=R~~dPkEW^;_r~9@>9cilu_zg({n2N6mTn|9LQJ%jo;@gcN@a7%^`-eP zx=(w-;BS-8Osy`ktiOnz^9ifGpk(#coFVdld0)$7oPiQN#s6Z=nZqzq@ezWukZME zjtD=Ke<^xXSj47`!}a-caZLK^5BJ|LhH1S;f`8i_Qk*=lBGhN=8jH~v&43A^_Kg`& z9@C2*00Y3a&Tr@BHs4-Y>O}7wL|qQ3c%F1YBtC9?3`h-s^wM8_G&5#HW;C(>USaIS zW2G*^bfB_*x_D^~+>0JCl&!5_ks1mgH4}Jutt>2Zf&t5L$Royrd>P`CS8dzhd zTDrnzyTl{wI(tw@(nZ|X|CTjN0f_v#nNy{yU1A~E?E%{UDu70}V|d|&!;qY3y8q@e zIKhE7Y+U%)mZ&7}H6cBUQUIKf?NDXt!*8k%X==J876?#26xIV`HSc& zs1K+_hi63*Oi#Lak`4hqFx*mkMoz&sg=xpUJQ;7k1`wzFdwe!d8!8Ru1SHz#%%wIQ zLqpTRm@~_2nHwFM`2#+ihiMt^7N!$JNc1D6Ema9lR}N$ zK}QthlcElz$bX)`wqR)>*0^ohWr^7rqEvwdHyRLiU)=Ev(Peq_e3~=HbxDo5VHzc|FDWF6{|l~A%^vX_n~(I3T(M}KVp^3*vP*6 zu3cI5Qdua)LuLB|d;N;hZ9q#s5Kv=3H)j^D7RhU$zNUP>9kM!B=G%PMl8}i1D5*`; zjqkVNbZNj-x{8sXmE6{SrdH#UiU7Upk<^Wml@Iyzjx*JcOh=p6p{;U3b$O$`QJD(W zuhYWG!`mOH)Hphn{Rwy)O{4^UE>}BK;Z0%7AaQggyP&Xg&b2X_5M;&soCG{uxOSO(&aG$V8Ae7DK95dS%juvX@^E$|$y!d2H%&Ghk_?ZA;tzT=c5RfZI zY(3!5X!NZWy{#W=a@GmoOOkbCzwGPzDiX?1lBR0J28((K-`3W$@<55X37u{Ehj7+) z9rlP*o|v#t3$3SFwpK(EEp|p;_#xIN>=xoCX-aC;plYOU7@BfND`BZo9aYs2Q|9X! zlk(w`3D_RDVT|*MX)|4UjbPllA(w9GJ#e&*%uy}#K{qK~Ij>O?Omx~3cTNQPQ@sy5 zXYj%Byd+~D_)|t)fZ$;H)@tabWP@XPg&S!~(M9$PicE2^ivJviF{1v=;m@l5O-qNG zZZ|f`kk%kxf16ahu>T?^;0Oz6ldT9^2orj#u+21{#tZ2wSrZVOPz$tYfui%-hB|G+cXlNi#3V2=|8xpiKo zdK=m}#kb4PBEJC_T+b$ZVD-{5>o1F+oXas{8 zg`SFeF<<2-TTbFM4&~?$`hz<2*j`EYvrE zFQ8>|8!IoZmaSbwW+uSY@hO?2FTR!t%@Ga(gECHBQXv zEV3>4sP89+p#`$E%-_*w4yJrkUv^7LX;=5Mv8q%UWnbmh-n)P4tO|R>^LF=8%&bmm z-Kv(Klxosx%lK5}MC)@sotE2Ar52IR7_;klgZ)p2AZ^)t-Fcpx7r$~@;`a^;p>lq+}<5SEJv!u6b}2lh5yPX>K|Db zxJ8R2USdm`xHm4Qd(>3Ts&23_khE-CrfwoYO$}&pOk7fuO5l}w2E~U0-&C&N!u9B2 zfwC8Y}#uw1hiu_q5gJ37wZ_4M>c=(7% z-LFG4@U{&e0M z=b(m3)%BtRkWOrSW;v?9S9dPLN&t}T)%AM-90Z50kH{V*+=?{)Bpx5diy0(TvV2E} zYH=-lWf|os@dI0-QAc($IPRjHgUVu?7uD~YuP)8j7-j#RJe=-q)&;C z{ycLoDB;{PO*iMSI(Wn@TZ!y8B#V<9TbU zU@UcHVUGtHX!?=gD{-;^BTEAicuk)K1lJwzCTz{9iUzgbLe<|GiKJZ+1+gyUrt7U-M1s6taq}{hlb_MnZXc#JD z{!^owXKEnfv;UA#ubH7z$j27CmKDr|OG&hr|xbt7Nh|MyKy{`V#>nn?|uTFP;M zIG^IvHnQjq%;pyKsxxyo!hB_OC!<9s2h=dBo2ibBT&PFqIg8gi%=|lJQ7=P|12d+d z>!RP&MNJoV159{I5V)z`!wMd5%x2ZkyPhg)z?b$RkcBNB#O(oW3XE~KP5Zc6m zFjwCPJO(u`FfIn=o30i}oTshi^M={wKEHl75w@2<{Sp-L1XQ>fN$1b|Pt!u_(U+!t z)-m94iPr#usdxpQwZ&OTFx{T`->Ol0_Ul$HrKK31+>y1xbD9;Ed}mGc$RY&zMT{hy zmeQ`_=Plb7z8Ba5+}GI;o&t~dqf{N7Wjo)uf3v5IPJ`OvJm%kz2egPW*ze9CPpI2E zbAPa75%$ZNQ#AJ?Ekn!Qg>2g{H%8IJ*W1q}qJH*^YbNBh@OOAkO|mZj&tUMT(sO%3 z%bxZB5^7TUI{bEs71|i%Lzq~rRJEid>8$_S<&EL#xjCRtS=uJ8W#_p5uV}z2;&EBr zVc3b@5{z0dQUD~)Xc4404i9xOIQ8(%e8mMl9Ukh`yIt&^e+_8o*GyilYT@sZ&-o+} z?}7n%AF~D=3Ygx5)`?3ktp7g1gS~)o1c-?|4wsyN@nr}gKdqI$pHj}~%vSD8snF7i zLHW#STM`%au+7jsXNsu8uec;dVn< z&87Y#c?Qfxdv6)&UkbRlST~ijWvr1vOmAtN`}VGrIyv>sGk$Dgz*rcNo2(0Kq76 zF=`RdUx2=zn*GIinrHM&)cnttL#49OK;KP-TbAT~htY9y|7`6&l5NF2qsQL?af3fy zj6CfSM_If^FDR%MMnK@clkS33%IW-vzxN#J75#VKI;ScZ#qCf)SbcBV9=>Lu2oQ2L zmAZ$<$x>3I+3txpQIkh&_#D4~Cn0BV67n9(hfk-s>NRcl7~lb~l4$P|UJTR0#Wd{& zrp3C!UN}5Ap&GLqcc$wpR<6$k6 zTtZ4k3*l4aQ(ya3PS;oG8|4om+dw(*}gtF zCN9KWXN=6yVE0nzmuiJ@_172gDoRX0o?6A<$1b;}eGsfEQuN||?NPX~`L2?3qxB{_ zL)4{-tRIT_L!2?AY-*WvhcQ+wRAxj>;*h_}jZS1CvJ(N~Wx(I#fbnh5fZ?-)-Vq?0 zGg`GK7)iN>_bF3uEqwv(d{+o_YN-K@^z8NXw=~Pw&&eC#Jd3l6yXdGPyA==8O7hfUURBqrag7dNz0Q?U9p9^exG4*X8yN&;1LJBssuf~gfPy0>^I z0P{yQLwr32rN=%V0kxPT7V705;q# zG=%g6=eiwD9p%Z}{c=%z_g9oP5KnhE{Hqoxt8HDt@-hS2MDM!nrxUy-CVdYmmFC#- z01eiKN;U$G3vl(HoadYkmX!l50Jl_1&Az2?s&6K1Kq-dBllM6`1SI4hp(du3U{=l} zA|Gl@fCzsWV7kNiUf=p4 zaPJf1r!3QTDAt92E24RQvX@inGwhFi=g{CXOit_zhYxk*MI*V9wG%O$N4y;K^^W*~ zz}wI`Q_0E2rQC2JNI0HnVy&DI)O4mxOymprF(guvMvK^7iP7nhYik?eM1u2NH6mz{ zq!qK4)k-$$)A8CN7`rc*x3^f^bM&!pVk+t8MDY(jJW}V;4+x>4-*RCdki2We?mEBT zm%ZZN2{}{G>&W$-4O!klQ%C*qnAF_hF>$!Yi@7B}L+M2T*IT6m*%%bqztp^@JYL`2 zI7*3H?5_3flfzH^@QY7h_j>D+eg38rdywJcR}N~}Th02a03Y?fZt?N$O{eyrAe~-_ zfj>Uzc4Td}X`i?zx&pz2Mu5qR$MAp2>Dj_;xfU1O-X% zGmd3N4DnV={owg60dFYj4AH*2Cb>CScJYNO=?`)&;Fk%pQ>2txs9$J(Pw-n3i7GmE z0*!E2zp0eRhxGE80L?v>zO0uwV%-b(y1gKYhXd(^}3E65WtLPIC0e%(xUD}uV1$-5vgU3ugVX=bh zQrvT6L3CpKri=Izcg>NQH8j4zd1)Hn(_s#Z5*a2sLFQkp{5mWTi^@aCE&JxG3_=4w8~zBrbMngyxqZa__Yx6 zSXd<(9Jw+c#V%{oTiFC&9u1JLNFMI}R0h@qmFbFm`IoP)#mYj0u!3-!Zl6D21K$Qp z@iQdsIg!mrc6A8zpt~~G#Xeq7m=F^Trvb8J#3a?n$}ks5v-KJ2wb1INmvvJxe`bLwZrT{y>iU$@D;ubQC0@UtlJyR6*t&v5aO0$PH)W+ z38mMx7}}#8)5`*+A3&Cb5?mnp>x$>pTb^?A{~kFOCM*FRH%izU_m`~=RHhVEM{SV4 zuKn@2myI0{3(Bo%R|JB#fOm7nJ&_Pu>Skn9Ah~Uy9~wiqgRDfuBKTEP+w~+^3?As) zp4foS%enNPYadPm`wNg&Bx^O5YCSsBC)yW~j<}z@0jd{xx%2wGef@Ho;C6#OtA+$T zWR@Y$`1?iYyHgzd7RX-hb;zIL!gY(1y}Ai=KGE#Ha$w!*(|$}igNkxx&^1Wg_VD%E zK8QS6P2!QxRR9t;Ewsp)kPUD9Xaguc+hO>lk3B zV)#bPTDYW4v1^x>5W#E>b^ z^K+cUa#o@=_I!qZHX!d@3wDjPs{ucV{KSpQL!8d7Mn>bzGuh2^NcvUr_wTF;= z)DW(h$r>XRL85OxaMTRRPu11wNRgxMxsn9t0|Tt=ovNzZaEHn=uqRXcArtfisP|15 zXGWEuw@Tl$*Z`B&!I|)!m0Aewapcqw=(9-WI#Y~ox5GNA^h?jbm&q{1u2g#XI)3PW zCFtFgbE|UqVP*^YeyR+@`I3}>9RZuKfA{s%48eQ*3UY!dgraDCh%Y9o=aR36Kg|cU zr@(Rs@nZtedwF;3(hAw?RV2mfUH9`f3S~#Yfi5qT2w9OZ;tU>mY(T5!ZwFeqT_`O= zy2^n@+Bb9B&{XsJLRnv~_rji2Jp&B`HR8J87Ivj`ByZHLkj4E_J|bhIgj8nOOwXP- z050)+LN&s`-w%A;L=$0xF{kwU8-B~1+My9=!hr9ct|o-KeC}4gWayJU`p2|O`F8i1 zx=k(6)a%pyYk*&zk$qs5dp-~!?wf7K8ztmJWT$9emE!-%b(yNoY!Rjftd7Jq59M#dMlX#<9?6_ zpcEk;bQcUB9o0lY%aH*74Uw3IXrgoYkn+I%y}3Eu{0Cr?UkuhO8Nd!#zIGQ74T^if zIZS!M;hXPwBknzj^=F7n_BQ9MF-W%^76Hj^!ce1p_JlovRjWs#jdd3=*w6rf1&W+| zP&Ke4ZBr`b0 z#N!pXFXMpDD7SS4lT^+dEs?Z$3Tiz!(y~G&HaRZicP3eDo3DK;9ykS3$0|&YGDGPb z3zKUI7gy~1q)!$?tpW#?p4mU=qCUO2hDhj+$I3?9=a=|3JPlmyvDegS+Um|Y?HRH8 z2_acww00wF<#Vp(+uZn@mYW?Lm1=DPVc{|DN3At0jNu>XIrZEvH6lM=Oj<*$!bqnr z_P%Mz=B2_#1wh9BMiY#bg*dO#^mx_V@?)%?i;RFFCA6AQ$88vBPyPCnTcWYRz11>T z>RQ7$;SPlNOS-~Hl?t^@Tg@e`NTh9Xc4loo!)xORbAoL>)9bU@;NC2ow#?ZULI}IU zfgRq_g|9a=xlfI)Uq00@pyB|}GrsNQy2s3J-Tm^|R|A4U)PQ7QGQi*T?wb}jzURhr ze9spHP7lxql51`oUH;fPhYe$hp(TugwZj}G-HU|*|Nm?6P8cOQuIoTQQ6dRq-v|QW z22hekiMF-a8t?1a;~9;2`v>_4*)wC0XU6+3+p;BDyR}fZa zy+${>8*DVp~NH*UneCn7RSAR$0>3RwKj>D}>(xT=re(I8^*t>?dW_R1Gt zIeYmFFE?14G#|eI!zJ{B%YBfsu<*V@M!O04jXQe?{7V3GA|wkp4zE4&TE{3S0<|B@ zj8Vp_YnhlcZq69b#myLxDBMUOFzo8}=VD_U;p%G$*vQ~C@i-HZlg2fC(4;A8-zGTy z{gID;q&7OFQC+T9N3VVDwX<*h_ivoN_}^bF$-VbS?>)QkNAIhDI1luvjb8cPS4ztE z{-k6!@|!$~=-|Um7`SfQzje-gB>W;o`Vv>K z`;}bBYFl33jW|*AJ@) zA9{0Ub-;-TK%{x&**A`}uh&xUjY0#rZ+yE>l)T^k+BeT${mQEig2*fI*w4;$n&0@X zZ=AjG%P*Y0_T+2FS!!tnC*S`A2_*Bnu<(9`zVywnryqU!)dtgZ&NzT{EW&$ZfgmAW z&;R1{B?cu$cZckz4G=-E*Ft!$kkt=_Jn%O|V!Yl+SWQHBjMJ}t`QY1L{Ph>lUih^a zN@|SfB{^&^MCbQj`MtB3KL1jQ+4H~re8>9V|K?#A6#pn6x^fMDkiYuLIjgK!19t!X zFFk+u^nZN1z52MzS(3gJurOHMY33c_d+ryW zJA3lqKY1YR=Uji$NoKZ#bb{RnNcBZ4s(X+}yJ<78Gq#X%Y<%ypeeU}=o`0kMTD?ou zf8!g~smW`T6t#&E;M%~4-drue2;!}Y*+Rd&>n^!9K69(tvpMX>o85PS-*atxNS>u^T4Vu2W&+|pgsKK7BbJ3nz} zClWZyYYik97T(J+HVH1fqL#4-k(jf$2v}je|HF&$-T+wrwAx13#^;xQ>!p%j*;Tuz5Kf`cZ>(J-SNmB^?}Cidv#f zAHTbHKk)hZ6J(V?(M||EIrtO)hp(NLdOr7C&%{54(DO0sLf`Twug~O*+#!<*6-pqF zlgz0G`#|nW^rAzP7D5U2{P4XWKD+JyZ8bNq&JREE;jTDWUy;k-Ry~!CtkQi~$L~2@ zd%2SwY)*M4%^|sD*A8v7yk0a}QoD{#lb5X_`zAR|Ow)(&hwQ3Hx2tdZed8N%9AXg@ z1+iCldrTi4i%Zmp4y0!{Na*wp`FLO1-v$$#&4JXyo*3_MMMH>@VR0SuJ6I%mVPWCD zh_{TA20{azLC~Ow=zb-~@870p*e$b5FAVJud!t}y<$=SuDnsJnmo?z6id zzpDfjL4()6{@U5IKmTlfk+J#iA55Ch9MatJ=p7||)`tQgOOMeWoR^Cg~LZ41%6(cp_NA-oxb zkv3#)$cvR;eh}Fo!fOTZo*%mB?C#IpeMl3+bH^t`c=I0FLx8PdmViZ1o$!1IlLG9U zt@A1LZmaC6&qd0P6R4X%>Aj`T9VU;Jt$nQMB6ZLG{BtFF<3p{oB5U{lNQh*}I>KvJ zQ+ZaFpZeLSy0eOI_~PEHnleombmvz{9J?stz2gU}iy^%CeeS;FiKq_Yz3rjfN>EEq zb6BBuUGGueU31Y%@3(*K_QS)|qT{Ym-?Qmko|n-z`H|P|#!6d?C!YV65ZGURzB?J{ zdI&FHUH#_0xWtxmaSB^G65f<&6`c;%uY@;!f?jO%9>U9}wasaKbEQCdt>)UPhwzH= z#CPWrUMs+2JjWuv3kwVHMRZHE0c?n_0nm)!Y+v>|#MW$}ZO${(=eSyMVqMjZ(>2(0 znr21&V1@?{PK&ecJ$4z;U;D~y2WJ~cQpaINI!$%*7wR#%bZczTc3*CS&bw7d~a zYMGVl63m^i?Cg3RzdY4N+RJS-9tUbh-0Dd0xqA5a!;HTzZuwgt$`){tgFKug$0<1@*QWdly7py3?c{~Swr=GeCr5J4K7au2*1!p&iA@}@O?#;u**j6Nt&GEQ z;w5RPE)7m%2hw*^;R+@R_IhkEAG>BFwc*&9*?6z&Kz?PkJt8xiT;IAx_R){F*XEUD zC-Z6WRh#<88!b~iR4>V{*Eu48<%)f*5C~VkTtDqct_Eod zkjXDEXKf{CgJS*f%ZL2vT;EZb$|H~TTXxAlTkfV8HcMx7?_%ZN^e&iexyB7oZ;jm< zHPnu($(`MR_Tpbsaw(XI&Adl-huGvwttN-+UeNsNkq*D(oL`)DG zZPhyKL+Y&DEx2#lIejjl83Xir4^X0a^2|0-TZ&C;>dPH3-PVyYv15~Q&^5-64B6~U z8*1O$WlnY6ms>kcJ=LS*!!|yuBm1arCmrI_Ev;#*Zix+%;)mFEZ8?3^7Gb0qQIv+w z_4X8`KLpuIuD1B@w+?NmoIX96uh?YgGs!>}dA4o0ai?|gnzrir7y0N*pGP_oPGyu3 z{@A4tt?JmRkEeY*R`4gW0qLc^=MNm(Nggl$+KbKKR^uV1R;7oao51LH;n;%yOULZv z&c~7lQB9rcPkq>Kx4EaytYp$jiSr-0x9P^0mymAf5Y$fSMtA%?+1NhNm-6@5%sKX1 zyNS(pTuvWAcG-)1SoNiw-e0~SN7D4#(@F2z+E!*d(NEZ@^oY3Y$=9Su1`RtT|q#xe?SNMkAZC3w03}83XlVG3Rw0&w83!#F70Y- z9l|4U(iQ^MNn2g#dVxXPDS48G{seyNSY0PT7!n8UsYD=hHQ?E7Q(!7jX)g(MF2GTb z3B=Wpjr74Q32OT=l*msG<;cH5cl4{i)o)Z#f)aUL-+=WiueCmG!wSjKrgH8vfjV0h zthTMSdC)rKdUCN1TjK?1wji=Aa+O5o)W-zvbWA?=Zg3UIx5O_xQXU!EN$rL`of=S|wAIz1 zBy1zuGrsjis2?7HLbUXN@i^_fXd@+iY9U{^pBln;C$wvutmgv#j4Q-wRm$A8d6w*yC>>LxPv7LVHwB-zRS+P+^* z`{tU~Gq$-empsM_`PEKy%tHXRLv5S99ypZp$-$O-Z>h=Djl9yEHdF@NXLCd5_`ed~ zkS^(GYyz^=tMa^es&m^n>Ds^frt}5v({@T7s;_N=P5*Dd|NJX01A%=D;Z2*gkLNmV zMW@QJ;#o2l|D*2T`1Nme71Q@tBJcn4`_CTuLl4w9=}YcgE+N~t8rKHn8{}Uy8KTdJ zwLaUJ+{bLubJ zQvV?v9nzC_=vH#uoYQ_twfy(Cto=)PGfrw}Hfoht|D+GLNw(@C`O)u@@TT3SPqR5? z>qBhRs<;!;uYcd_t6v}Wl=tkFymT^S*7bt66$=i@%?RIx4xb^re#%IiITjWc7Tyae z;Wdys%;ed^VhgkTIXsxkYOkLi8nTNVUkffGyeYmx2#3XCbf!0iQUK9an>h12hCm=G zDB}P)G`23K~2m035Q*p?UQ;M=}8yS(G7QAg93k z#b14~Pl0UU$#ErM^c{!PKyPzS%~v40fukdcCbe z@5-Kh$)r6RcyF?6^9HQ3W%WDiG1p98_oz*Uw6InARF_--7`DP2Kgra0C-%Wdt z?YORFS3sI}*GB5vl|f`TWq2=7_TlvR^ndvX>IKV3-Q^_zoO@hEc;$sen}8s%a(aJW z+O?~skzczS8Yk#(-}%U49C)XYr@GW0qN`4_rOmvuC1sOs+FY6R*Wf?4yVqSwqOK0rM2{vcqI2oU zqYUG+mA>BJ8j@iwnRacz50S7Nhpc0#u0{0Po*z8eI$L#Zi3Eb4K406;IK#H|F*-3G z8V5_Bat+<-k0v#cT{b*Kc_tU8Tyob=14OrWia1B_N3!eMypnfy5o|Hy+~?UlDWBWzuzjGoA${mE;W zk}{>4dTCGnik;CTKljm}`smrm{`kjQHk%rMG^c#46Z+VELC2BQRlc1(IJsudj<U#zo~0A*S#FJG9$YNI*^*x8P+6oYx83IXbc{i_?;J(E2B^ zQbuR&x4=tT?(^alT{F7jtOZX<51qDb4xiqV7v1`dcuY4gR+^<_KyU9 zbkqKbbVfGv(joiOzS^FAvvSl)4|Zp@Eo~v6wyicxef1r3&^4KSuN~w+!LBk&wh^Y= z5BDm%e(v*cdw%h7{~CSwXI-}ZU9UcEt8_OqRSvSHY-vh%(x&t~=N{7+5ngp2a?dsp zJ^C|V&Xz9ocICQ%~c-rfW9Dp6GP! zi5~Pr*LL-K>$_}JIa4+}pfB~FRc?Adrpd|glqh8!R1dl**Gw!Zi%y-|x$P8^Wjv*O z_F3N;ok_0_WLF<@*QP>t<*S{~BfRQgfAE#VR_6Avl&20RCFUMv_8~udH))~$$Ta=U zsr}fYzCV7_JqsjTr$(cH^$%qYuIO^#EsFCz!JiM<5<2Scj8=pVJY9aS{Rm z&fnjiO$~u?9VfxzG)_Va;e2z>EVt8)^^~U$g9ZvA5)CA` zRV8|ozW4Zi_TFQ?ls|&q}Tme304dtvc5UN1yb@S^1vKoo(I%3c-Z;bSwxm z>#Pm~TbIqg_dc}*rOK)9(pIiT_^e)cMmzf9kdKHNX=|%gwtvmcdfPHV8J#Oj{X6p> zn-Cnk#;W=di3tD%S`Ee$2+%)$m#8Grv~p5no?u20g-G=0DI%w|ZI9R$83a8@F~Tl? zdTp?~5t@B4wMWZ;{a}-Vk6DdUrtijvd%6eh{*chvapg<;))P_8E0oCO8n)qkroo2mMtK5s4lez(&Rfv9Te+ ze0Mmc4fWp!V!2LQeS*zsOJxg|$*mpPW&3UHT3Uf%SASBjIL7?N$xIuXgrHaLE6?gK{ZzW?f6hI$Q~P6V&~+Ywhs5a@4Ys30 z?Z@VOUuM#)uR72dy-7#j8N-kwWs|D`>)XJ!$kVaSwsKA2$bcdDe zyKa!4^0h&4HOTnDChbb0zZt*e(aDaCD-HA?O|bp&VN6r5)wUV?$ld@x?ZS=`S}+m8 z_VoQByz=UUhCXvw>py6{(kJz2eqbNys~0&;LVEJAl|#0pZIAc3s(Vi38v?E@bz~<) z*nG}5+CR22USFJXwqw;c&VzcgWqQ$9T+4pc_4bDj&q`2df0Kp%>H~D`Z=aK!EwOKQ zKDMRJraZQ?$E0!YWoo;oJg@D$+qe$OQ&(-?K9^TIXgmGfv$a?Kk=>DrZ1hFX`Y*Y) z(d%D-y|R+&Ji=Rlve}<><4?%A_Xl*KkJGR6=#8y(5-j7E{znJe(c}fcV5QzQ#-2Wv z`qOungc@7MPL0Q8HF>3vdymj-CpJ7p8|m#NTgDS(JFwHs_OtZUj@!A8ZpX)yl|K5A zsK~~?jZb^~-NP784!%V`>_*=kz1P>?xvkD_cCLM$$hK?s19sXzkg_|bM8`8G?jdjW z1Z{2%*5`XWzz-g72e?r{c*THX2JbC^00Mkxj_=?7WYNOH!otmpj-Xa}t>}IshZSDi zm=h{=JByjT8wF0M!7LIOCpZCsAjW_{PbuUiID5{IljHnsr{eTne8!{LwCIOz^r@#mdf#yyoqh)Lp(}w^SA${)^isV>@8l>+ zi0sO(Oes^KHd`L`S8YxIwlF{QpPuQ@muNF~i^O;mY41l*5X}zt9l@viw!Dq(YTFXf zv?sDFz;{c6ve^Qibvxi^?`>ZcK+>Ojkn!pN{B-rrCax4#n(1yPTbzP*ZKv<)_u5l^ z1)Dxo-gCeBTqkp+Wz*8vHrdh@fDOp!NbcE({*k)VF}+QI%eIgs?IPW?|K-_^Pui{h zBxSSBj$>&vPmV=kwJm*@ye80=C;cHk2$eC#^=#{@|L|1X&{N=zarCQfKeNM@Gr`mD|R3Dh+VOr@MwbO@huRPUd2szte&)QdCyV7#66o{jCP+n~*_N(4L zp9!6@@u&XdQ|*)F*Z1{h_Q5`pUgMN@bQ%L)dlA@%73}(xl&Q|zs6;G&Zzi~qx)R`! zL-}hr{nwaYVr_hm-0WfMFyk*>86S;9$eenqtGXe;zBBec_e;;6edYiC%GsCy?=PQy z>HqxF*%$u77yACI|Lm)0PyX8{4-d_XZ>#u^~38PVLVjk!-AE z@dY5SI?h}bhu2tBM8DXM78Vv3ZYFeOHK5J5=2vqdx(2eig&sEyacm`V zaV!ROgSo(B9$+HSnV?uO>y<-jAi!~Eu;;ktahxT!HEwep@)Xp`x7+pROq$Nv$8iX> zICG90F_G4Fz%j|6GoRHJ&d^gu%>wtQ1LEKWzpf>3pG@ic)QwX^GC5Yk9B0b`n#FDX z9!bEOpn?2*l(fa6mYgQ&_q|}lX{%?6Zh{15G(FNPy?`je!~~L7Yr48{|7|T-eP;Dj zI^`UlZ^~-Gk@tLD8(*%Ry@7JEx%Eth|7z*N#(1+$T`m0z>lCE8QR# zUIh)zt%31N35-Jm5gz%`YwMCW=+-%_7D-nU99t;Si&)iN?80ZtRX-23QJ*QVB!nyo z|D;ddeW#6%E01YMWnY8_hS7&rDZ!k)*j0Z{gnh6L0Z;-@K@i*PBu>ae$#3!(_#>4Q z?2)s1#FlJdx6-2y+DtjNFC&CKx9z?3OlE<3Nl>mAWU&)AE&!%8a_L9Xk)wSfcJH-Y z_ylR{owj5{>SLEdgR1CGeYIWtMc&iR$SObi%ZuGvtq^o;Fa3*cRF34YO!}#w(uYd6 zl$-CBD}QaPUi)&%!+yN#-*jtriY_P6)ECtcQ869>+tyBOP`(o!Uk>c4gf~IFHqutw z&DeDJQ}^Q;-K!6skWmmVj|TW}Q{I4V`b-H!+MJH%d(V%g-0deyPVH;P zB4Zc*xgJ4QZ}lA#Fsnr5oAJ&#)UhaKsH5`RpJI!~7oXL35Z#Qw^jjH{-gUjjA~q#I zZS4Az&U5N3FsDoPlE1Nn%-X&WonlwJHtsl)`pgO$TN=Xc{>uCR(EWX7a~hD=+>~TTUF%7{XW<9jVLs=_802 zU!~o8=8%qV&P^Z8_qB<9U;B$a$fx<;K#(uicW#{MyM={?h4%vL^?ol$hVBkxUa#jp zyO)DOyg_-KH76*Lx&IH}-v?j_ECnC}06_?cC%6^FauR~bS*7FzI4c2(fToT)PPl;# z5}Z6rRJT(a&Q!Ua5@#nUXyCR5PnRGLMjG;wt>in7&9=P;6A55S((_q^!N@IO;lS${ z<5){1qf(Ah@FWj`i9mu3dkAiZv!d(}A^L&_bdg8UE-;pM0yk|(zXD0JstdW0nIT1VC-|Zha%em9`M#t* zK~ZIqK6N=xF6270(G^`cxVy|Ozp~WL3WlJIe#ysHwQmUuA{co~0u%VMga)JMIPEsyH$ zbN4qmRyGpW$(Gnc&$N3 z@<~VfzBUsitIw67HWeG~1F2$L^r4>0_G*lwGj>LY9eYA#kOFc^ue`2)Z-kdkA!*u6 z+tM9QXIZMoA15UC#YReg0q}Q(=_{j&(9{ID6oPF$1r0mGS=8Zer zsl+yNmz-|*iIYtoYWGQ_Ja*(7_D2tPJ3R0cAy#Q)L|Q)5w(lm5v*p~A@ot-((O&F{ z?r#6YZkIvYK|Q2p=YBJGf6||_!K=SZw9^*G9^+L>c}UJFlxGZMTOG4f4{|Dp9ZtJW z-)r4s9}oRc=_?sie5U>v;pk6Zj6ZoL{=}G+zNrjtpgi`i&K@SEj>ZOd%kE6VA-c2j z-|_16FC8Y1qBr)}F(!3vUeS}W*s801YOj$`ee~l`{H0Hved=dEb@u7M@#(Y2|IXuW zcRIAPtY0b910?lT{;4GJ0@S`uWQBn95p0Y;v@JiO+#~TkLG_+-*jVqZ-!Yk$qhogT z>||@&?pDJ-PPF3tZpDcU3kwU^18*U`1~PxY8{kwpJVEIYUS#1&csIi4z0Zz>H_nkG zMi3ex#X)hp0uxSheuQ4oAwX%+W@Tc|q(N#XXyLR42ghI~f#Du?_;F~JZzH@7{NyXh zNRUFt2{Hurf&mWFDo@GRMzCxd-2=gi7J(4!WG7i}H zg2)Erk%dF2Ux7slZybJu@RUO)0lm+iKC@cUfGzdz)@rMw37&1C@~S-b8*(JAdU+MR z(YsKJ4=%C`(?iK5@8*mVS|)t~@1pJ+8syDkLv2l8h)tF7<{C1U1R=Z$CIyha9}eOD@+%D#t*9c=f?c*v zmXe$Vs15dGyA65~-jr`!th`G?V~=dv-_o*4eG+-m7M)mPD^^bO85!w?eq6)$5d`)u zFL|o7x=(-b8J#KzVUkvxA_*lD3G#>Vdh)J1(Z{)jH$kfW?)zNo^T!_QtNeUMZ~hi2 z%iq1K+Pd4Ly~ZYxIqiNqunEM^1J?G07tw0pO}}qlwo~~CX9-1Yl#XU4=xSDYt%9=A zK2R@h&TfbB-ut-_qO>F3DuZsj`vuVs=`Z0;dc?vc4BIpYX)}Eq!5G3@d5u}I(Ier_ zc&M(%EOJOc?O0-+^wLh`I!kxpYG+hKPXp>@l+-HE)|6q(p<$KnrfzcorvY|PKO zA$z)CUJ%!g@o8f+Bc+f0xkt_(`V)s0KY93`9o4R4a|n#FQ$O&z@mc@SmP2e@V+FT* zOrIUXtBvKOk1CUm)=u@0jB)yhHr6lnk&aQ(6+O)O)UikYv3G5_Kk3_q8nAhP`&|2W z?8$hFG_mzlXw!}dwubKruROF5{nQufkLh0>OFno1f$;v}j46@ta)itneVhawe{$bp zOjP%h)O@DS>`5Js+qK(}PdiU~&-jk;BBR>Agg1KB*V&hL*1j`#BdhdU!ke*FTYTa# zf8y+uKl916$Nt7+XOI8w1K~9}p-tI~GN1kVXIqAG^l~e_?bpv7c5bL&32$s!pXdb1 zrgJioYme$Z*C=lYFTVvx!W-R_>sBPZwl`bVwaU8)@4~{udkyub9y;LZdmqjb+L8}1 z4)U)j8aO8);RHE&4scEm&vy-2^1h$P!8QmA8XR$K;-dsv9I(Jf5XB)Qkv{8tdBg$D z*)#$P)l7EYHz150(z@;xWZ)15Kb#xldCWK8RmR9C&}mSR?*!FdiAMAixI<;icgm_P z|}%%&W5G-{3E4)m^(-5hA0&NF7~^q^U<&dJ~NF+Q>&PWDFru zuC^o#nFQ*HG7@ zyVR@gvITXgZL^2+l|la|C#(nxgi1<({lx}hPyg)Gy${lT-Co^i>Ap1ITb-RYF1fP` zxU~bFY6F2h`31t{(r)gR^vd3m4*{$oi+!pC-OGpk^8{Y~#P($6d2o>XAIbO3&pp$h z(|GD$A1@|Uu{v^v~$zseLtI1pG|(fCiRxT zgFVpiF?gjHJfDMp)q3Ui?N)dN-_i==^%p_BHlrhLNMCK& z?W9YAJ^ir({e&Is1Jz^dawVYev8k^3rwvQwwiQhEuO3E!^bsA*N}I7kc{3r%ri>px zpLUzJoA=WWblv`AJkckjH+{6a+{WZdFE4!%sjTghEuU+rJ@$I+q||q|ZOYn8Ubi3G zOaAgxp7GV>p8UvyoY=DJzS(E~%QJ`jL_hyhZCPLM#OF4FF*Z-W`U>(G>ZiP%-q+6P z#pmoY*O1T3x-Gb#L-6c>P5<~$&$N$tuUzfhT`n1G=&1c;>ld|mdF7QHJtBj@TgN%0 z`=fkh-qQ41x+S0MljnI**V;(xZt_OjW1q+v+%u?Tz`@z9g9Y` zlRoGw6D{Z76`woZ_wzO|W6J?)R_ zPb06s?VfshXt&DoL-$lBKj+o=nYWCUrPn31M&Vk~0&W?^Ar;pRspL4#PRM4z}9 zx6;9kv%b-oz-NN51_2j1`R^$r64?Z00*8`{$bE_iTXA^(K2A?i-2gkmNdvOWIO077 zF(qaRv;~U58FvOcfroM$bZkyoT7NgV+3C`I@|L8Bhzjs#WuPmdf<>|=&~@!GXo}!xLsbBT73T z`Nv=BLssVe;y?J}*_Zy|m-_kF{>9fCK=;9Be*baE(lYEdPzMyp|BB>J+VKwUz$m}=8-lyZ8Ix1Y`MXGu4RjD=jd+i>J+uD5C(nh80epX z4Emf05b4Xt8f{nmaZSn~xACUL{{DEN5TC9>=5u2Kvg@HtU;CGbKE-ZLB=z@sLtKn4 z+LhkO?YJUPL+V9t?QMKB8TIvl{q?r>SN@-`oPFsZ9r~;HU;P(v_K%}}Py6hZFXRMrbl_GhjOgw+MVHd zcU?a_T*%%rxnggt^4p3yA4DJ8j_mr|<)DsyShqB1>}P`|yjI+k@9EgzKC$@}gxWI{ z?5^>i-6Qh0^}C*KZ)G63;zMzwc=6qe6Bia17On>xp&-2bfz03U2F4NBS;rYS7<&i7 z@Vf!BAwyk76F^7qQ%nHZ?-NuA4g^NO_r_uM?n(o(28julk<1d_sDv}_%5w6iH~Aqw zd%}ARP!oIzQt7p;(hr63hA_&f_kxD(S#9OS5nf_7AWAUO)uNC;!~#lqjKPY$R-g6u|}3int3hy6T#`2{KAt6Wn%{H|466eAVT+qMU$8`N&EG;SgP? zYXuwRMs}To5_y+=Zh2JB1k&ABOQy()Aj`Y;5hNw((N05ntKV~i`*V@<>75R>lY4Qk z0wO)g4|4RyzyHNI&;R31!u!>Kp5Qrz7YSt}$kl1^OeZD0+p3324|VnQUMnoVLwM)D zF*;{=uIu&4&_*`tMOny$RkA1l&68(O{F5gt%Mjin;nJy(YtEC2ZI!SHgp>D_cP{dk z?}vDwN4BmAF)?Y+O$DEq7u7!JEAhAf?b)&@YLXvpq;+;|XFKJ358WD%+Oklq>)l*sT6o!kc{CCL7`HIF-M(tBH(GY-PN% zV&;3}n@Ji3x06WG^ArE{i4tI|uqC|d&+S9TSbDxPRbQePdNNkA|F8d>Hwo{T|KXSW zRA5gE-uI8{_l?7Yq~2}pCu7)(wmkMned44U)RB#}outtZPujnIV+ijB{)FAMUl{L_ zh8~bVJ5{7H7Jc%64Y~cxA3yu}U-!mY&XXqRqXi=#(cXN6a= z#o1dqR%V0Uq!qNdUa*P~BMj0z`$Wss$7h10uJAs1_+4D(3TV`|1X-OTm%jxZCK09% z>Lc)%hw>VvBp|XPCjb2`Ke_z8h%M04fj~|E$h)#k0BD=mJ+dJB4H~Zoxt_iSVsz5` zx;^B_y{(_U_ma~#zi#*Y+WVq9dVJZ^n$$62()LWy-t(kg-T&Ekwc_)+`}^MKR*y{9u#c<3TXeP6 z;XD{OO7=2#=r8b=y86>+Z!^yBzZ>0oJ#VtEpZT~i+xrs?IWm6i$Flv_+S*ZGJ6@$v zo6w>+`o8D0_q4Cjxqj8%9l1_j_4S#Eb0XEotIMt4cS0e$>g1R${?8tM^VpWyPA&%8 zTRB!7dq3Q$o2JsgJ0Mdn(XML%SN)jsza~mLsE|R_Ilog(s9BjzNLOFul%O>CBL74sk?go z9GP1~?CyE~R}VW6*wy}IV@`flUog>vBrDV8iShm1$+-ME0*Z?p|2iZ~M8 zyK;Oq$H#Mcy(5S37Zw&4-V5kxW#IZ)jvvfnFhhQC&tZ^5coU8^@%tLK8pcs_JatIt zP3-$vKoC;NDRE>11rDh}-DULHpfdToerA+8Xbw&uvz1ry!BLW8}EnDQ8}hR)K}UpmmCTf(`YOzd%VaY^7m7Q+Ds2icSPiRtuD4 zMO_*0FBY5*k@b_(f-Cu#z;9c3$u1xp-8G215=4#(zPgf}fZS~V!++-CvrqglpXgIX zKl67#bK&{;-+cV+(|_&L-2!MegD&=96YPMTeIQE$eC;Q2WMA5DexsG{P9eSTpZU+v z93Q?!A6+s2@%zsn`O}XaXCA3OJ+#QGpY5(D zXY>K&sN^Gk8Tn{`e(CVwy$dn=${48c8*l7-urmW0LeNY~xrbDFeL8UZhrUb(4-cEk zsjj+T=~!_c(RMQKq@C!GO7o`?9AA% zY;9N)8~`MS z_p!m(o_ww2B>k~J_2U=x&Gxr*`U)GH2^)UHm`Y}U+j(GDM|XW}w>j9=<8~1{Lgs;8 zr|0}c6Pf9a%yjCx9qjV7ebkXI^dGmh`2Oe`-Mh8D`DRChhAr@H&~RR0k6ZfazGurDwO&hCkqnj zlEXDuO7apSRYw!JAiP#>OL+fMh-AntVs!2q()8)S`RS6VA-r^d31UKYLeBjYNa;dd zN_amX!kfC3@Sd2YAkTGA|J>7EaS&8#R{=XRK~BUBp+MF?@mD_4fZmE$^(xR6yxt_x zKQ2rDPN7e2>AgSpM|FCeYO%2)6`pqP3E0RFLi_mN3fV<)_w9-7h75a>tos<}fmrX!9-FNxPl)9p9N;E2+!4krIw8wjC2cxRtZ%j_%2!4UH3>j6@vW zLmZjd(jNZSwjGb-r%Z^FgUK6`32>|*kD&yGfwIk zU3rcyCMxw!?bvHiE++$D$^VURx-%f}+0B#x`pHXfbMXGjfA?e`Zg)y_J#5hF!Dn=> z{gh9S#%5%eZ&tTGs(1cAx+1@}tpBs)=>|`_Tts-iBD^yn%V4b4-IL%oa#8a$;T^jW{8wm*Y`fEZ5CVl2^Pr4*>~&MM%wBGC5;nr@Vnhx zJhQ@r0QEr^!nR( zL#*djSps762nGZJCAq0f%h-au325r@^SuXTDN`M~LV%D*H$!%Nyy_H|eefOSm!!k9#Uv@Tf&4a+&-dE6n z-W5cQV_!>PsLtAtO_8^gOncoWxNUH{>7q7!+hO}6J-%I#c$_fNf1?}isV~S&n^%vq z-8rR|MtiU=ugW%Qa}gOl54EY-v;H^z6p>@wCOB#*Td?20rM{_WC!-RC`>gWC?%2l_ z+j9C_CzjH8U8_&XyFq?PWyht|sWzcLfqMGhm}o5V_h~()XWu5G*kJp9?5}$DfVlL> znY>d!ghze*vq~m-Vt?)DxyE*4WYcTMClhVaIeloG60y90i_KEM@jYV~*++NPU-a2} z&3K)B^$V-=$NmwWu$Q@aR@$}$oBJO0kJ{#)u}y89wpK4Tpg(xkR>soWUgRUM?-0s9 zOf7w9+HlaH0n1oK=lYY#pkvoVw;g_uJi1{c?1CTa1Wx|RXY{Ddy`QMw^Ex{7JzLO! zwE>-yzkMsVLH1d#uT5WX5g=!-&-ALzZNVnNg9fV;%cU$S#V+m>42s8>2C1Foxgg^E|)b_w{@J zd#*q3zwZ0K&V8Mtf%o!i#s2|S9#p}7;oD^PLYFGjgaR(Tt)iqLh zxoo$upa9#DEG#77fW4G>L}pM5hGw1jHDuJuNvv_EwJ6X zk@`9wku&!^qJND(EepzraZTiFYuK<`v}6jjjN`U>d)VbG6Lx*Vft#+Asv-aM8i$OB zevV-Idt^Fp@kaKTO1E8@3Xt}bQ&CU^a_(db?%WyQy81!scSXS%0gK-q)JX%|pQDf!M zCkpEG;qn|K3FI3_ejjvrGBJjWtRyXJhITtFR*2clc@CRUBdpmz?Fg`kAjs^}W4)SD z1-4D@200J~5bo!BPwdUqHP{(mcbg3IK$GOvg8H3;3L`;Jkg`})1#p3S3+6PK^6 z@qq>7+(q??y8yy*x6PmFBO6j-6tx46aiQvw_hl-Sj<{tinxVHZ>J2@5la@=|31zgaylOOZs+0UC zob=A5^n5gC0w+$=jQ;k~oq+Hbmp4sOU zmDgJgsJ+#n64h6(R%jdQxR(*>${iio8qr=$JX5x9$QY|9o*C2u$1wHU;6ntHI))GR z4>Vve$_8~&j39ugfLNKJx(F3SwyZ3dd*5`NRrcpMbVZL2)9nY<+RLAkNExtVUS{BU> z=46G0XdPRH2wfAo7Wkpn{A%0tdlrG8?+2N}h9NqmS1;M*%cd^XVRz-?Ip^=&=?A=o zHfA@yZ#WsrCzOo9uSCV@y5x61-hf_3 z!fnZ4<5XIs(E~3?`E*1=Tz+vFv5!`Qo8yF}7<>gu$vM0{g0;grtV&)uU7X|Bp;&mX0F z1g5N&V6b4}JlaM&qqL{v!vfbqU&9peBhL+-Xyu{EbG??b;GIC={ra36=!CyUga=(^dJH;OuhNp>WNEd1rd433P-WJR zNYilBYMuTn{!3`WU1AZOJBP;IZ+WZj`Mm1D%vJYP4BI-!hA1=x5N)2@@PAsS$@uo7 zsq$cO*fO|_fF0H1GmVLQh1OJ^`NAv;9z#d1PXoUv+D-*03ILAHysQv5V-IF~x7$bz zZFs$NnayN?@yBi{nNzMo%B4eZ4pExvdAhIHcKi4dFMiLBY2|7LtD1Xg!b|vF>Z+|A zJSWb%YHD4ZH3pLhH`T?iXH`jQSq(V^P5yYY)`VugBA$j6QK(8ShK=l#fAXXq8UU4F zO9CCA0^-$ld1k4le>!39)&bi?bRp6*d7>uxA!w<xay{~;@DiQ!y zds*F^K#V~Ma#V9)fZLI)UUUK-v${gqqk({saK#TjSR?6kJ~fSlJ}W8ZM=J@cjXy`uezX^CH`0b0 z!l6_j#Y4F{XkHO++o`1qQi6?i=+jT(k2Q71D@allKoV*$DX(yFH0%wkRZcsam-quh zvi>Nf$0)g|6v-F0p`a*cS^ap54?({bTe0nOQ=~Q$)2fovA8QNt+jycl*5tp9Lo0pz z0H5-;)h%#|E#CbItgM>wsMx5-zJ6XdtZ?gQvx%h<2sMB$PdE8mTCvi0w3?PA1L|++ z$n=)?P5268Wspu7rx&Fx9H9v(44wKwApk@%J3pdXTT0vcS+>{W?M^n>@*dAgy@-93 zrvXVrxKeV{nAf})(5E${sG97=i_MRBNhm`Y1OEX>bg~x0nRqRRcct1o$vyD(h<4vq zs*us&X%Ug|k?~T_3Y8MWUXI*0hq`AsSOAd9MM(r@Ue?!qI)B8gbpP-6oE9}xhh@Vx zGsA2IeOFGssp=p1iZVV$Fb8W=_2fjPKE8+Fzn#^Rfi`?$umr?nzbhBbLcxl&ueIL! z;PUbJC0s_(Nf|ruXyYmpfBL)^rW6k%Uk)IntfjqtYTWCdUIFpw{HSNL2Z{w|6>ei( zx13@}J?iS0nfI(|CIeexY)*izTd4AwR(MX;^a95Vzj0WjM7=t4%GcaNCCM|LW{C1F zMNM^2DPtzeaKgyP{GNMCaD{CcLtHE?`(w|kd@%jQ*cq86nUR1gK9HL&e`uN~K8zsu zLyWmK5O?I=^2~=coT+vzr2pZ5#H}^BciJ4#64E;nDr&xA0h%_C(G}!e$9NanV5Oq z!bq{eZFgwLv$NH*5O`xdV`iV`%%_~JfkFei$`fHlSJCXb+c6`z>S0QDCyqbTGw$AX zKMz*P_7oaEdSRh^aSD@WE~^YII$$R?o(4Ishul8v<8b7S<3v_6>_*YjkBkKFH(XzR zOGSr!-l}oG4DFjg>=&ol_NIJ5o$WpN9U=7tbsf}v>|$8DtqvFD;PJR`8M7q7j`WA= z6)elYG`gy{Pr~`I^-}QbbD!6KlOh@;i(*W3P^oSayavth)Q5VOy!5&a5)*)ErEZ=G zn=>1dANg~?p=dG!B3^!UqGe72G38KPaQyoST;x~ec8!mh4X5FrnB#6{iq@;FUM_H% z4Br)VEwVJoERs>gHdu@8P<#=*Q~t9`!Sgz64Q$!UU&T)`=VAD^+|%AZEAi*+WytXI2!o}y4xg~uJ2epQ!7{&g zTY7TamE~v79goU*89KoI!n*g9zkdggw&LH%$ccr;BgvcUEC>nCPi z$#=dLLTXD&I2ws|D*!w_6H2@6zlfid|JSBlOIT9ZTT`jvbj+qu(QfoPkT?aHRyDpn}a{PqG6XrNXCw{?>C<+4C7{9T5Qj#00e5)*i~v9 zc{tB^4kS-|&G|<)e}s?)A>{@lTfe^rr5rQIDD%7&5AAeVNFLOiFPQ4799jlGP*CR9 z>nb#SN0&1Gr zo)3>5eGh5%1Uy=wJ%t=g_N8a}DJwUuS9O#?C{(Fb_aLN`tt;8*`30|)7ZpcxG!a?)YIFQ#v944A?YXMpLXCl;m$>Jz{XoI)j>1iE;;#nbvD!Fz$a%&sYgO_ z{%~Dh;|aY%*9b|?+j23narxB26dB3ej>i;o?>*lEvROsj>xU)t^b0vMeJ=l9b+` zyRX(15R}l-2vCjK*)+E&AKhwGPMlS}$5rYK_$vOrvm$aEbBtu~DHu0;w^*7q1skl`G9Zx$lgM3#qQj-H(Gs(0%cX z;&Bh6vjr4#LpV_Dhca{<(n_JK>5vqBxP-FZk5FMfRw!aPeBh+>dqEu#i_ZlY&k&-2 z?ZMu8CcHT1b(1KxKsveOE|&YCKB1tgrsGwy2dqltWBrh^$9Hu?_3l+K2g47fVhkf! zEBDH?ii~u(Fv-cDi-3V}``n$V74MO-UjKZgu<&dn97tZ7@UwKJKP{70L_Gny;O>+s z+ZSVK6Gg%ewZ*iaGR)Fb5Z2|h=8tb%Wl1AI4g&MJsZhj&dd=1PA#+>Ed-XA)&y1!s zry4U9)T4huyZ$NdQF1!he|7sg#Hfo{#D#6MwYl)c_N{M?gl)LJpxe#8OPK?kn%v*Q z7e-s>=$EjTczQ{>E2&ByTLK@krD^VNvuADdWSgt_8MovY)%3oQz0v~M;xbJ)zn^x| z#hD(FGJJ0`>!NZhW(~EipZ;MYz~L1kke%ye?`7lXCZ9e!xahO=PqoB@vU0@Auv@Pm zT|+GG(C=mS3M6FKv!tI682j$we#Dh;=Ar8LiQFSi%f7@gy5fhA(K`&SwsfZ(xX_9( z^bp;Ds5ziC(kK_18*(ge6Is(%F8TR0M_rA9fCPJ=QlRit0rJq>~s>L_T4`Bij> zTa+u-DlckoNG^E#-#OvA?y8%@U6&!MYtX43Lat~&x0OR&fn3UT^7?$OPEIp?t@5_w zy_^%)f)=Oea*P7tKMw264_HGEAB{B{6Q~=#V_RRE*!bL*+nYU@-#;{F#fGzw8HE6CfUn9 zda5VmxKx{&(F`0mRx6KD-j%c zh8n3w5M)#T)3SAU_Tjrrm*fAf@Jms?A#d_D^W{B=s4};8BUgmhpe?tRQnRnj@1rYo z&ebABIgCL8@_Ui*yLzlx?ukm3vy7amo~uI4>$o0e*-@>!MsRh$hI!V6>$Ejusk(TkczRvkN(ssm)D-gq+Kc(Mg?k&s>Y52`_dgk{eMk9}!_On}I?~60exA zsk$2*(0(h@FnpVv1wH?CaFqSZO;HXf)1m@K21mN|Y2!w8^*8N>q`O*bhoq6&FTT_) zf8cBUC&kw@-+ESP@+J6Oia?!nwExIRlGJ;AaSdcxg?@|HG)Sg@Y{4Re-{<~OS@OLd z7kx(j{7AxYaNlyy&~G!S*FWO$rx!dsl*m2_Upb7f_q^)&03lg1nl05?ROaK&K2-KE4oR)QEzfO-2c&T4k!r6eCr zu)7{VGX3%3ZAskeaAT0;{PhFJ=CZh-=s5uvupdZ~#mTpflqyA|Z1R;GuG=*S*OkK$ z6m?bchjM>*xR4hI9J8^Thb?kY^xNhhOG14y6m$$_WyX*dD0Ab_8alE;u-0d81~d<< zL@u8>rF5z;>_v^3q(IM)(WfMR&>z2hn*>;iP<5!5`@Nh`F%$m8l_?C;R?0b9Tl4S`xt5NEpIp>V4 zj?@uBeS06dg}gKN`jo%y^7l5@K|RqHURTDVbq^#=TH5fACh=-ihU?bV8y*}7Ax4n0NN4X{U)*jocJ!&NCFB?4%I32ZQ87f#%uEQbe!As zBz{1JPJdS}C;sRHyFZDfs*%F0fuFluwMlC?x^%# z_wN!cDAqI#S}6LMCvjPK;#SYiu=$CF%8g_|s`wd^oQHF(fqgTkAHvo0C9gUpC%hpO$;(WaZW7^O=t9&aw2@2Wuu%LSK6 z#8V5(Bk|4G)~c2r-)7 zbkq{zM|yATRQT=Uf(OZ(1_9Jjzb@!@-XAw4^OWIy*iQCXG+qJ5GUH@6f!OaJeu&Np z10mcbQh*YAx)T-^qtf<3jghB+oF+0iz9b1*G9bHNpnH87)Jx21)`UY7qFS3+)XaEM zbqk!uWND@QL{EFKv$P1a;c7^b=Ob{VnN%O~edNxM`%w{z(l0x`t~Jgh7@_g{GN&hCvzh@Vqg9h66crOgQyV{$mbIjz=r z7_|Vs{a--;6RwwMT6y^%a{ALGP|huyh2wK(Hz=tWFH*ukBPqMOlE<##yQg>Xn@oH- z;~9SMS&hnWFGu{hn$e3}R+J4bjT)@rMQld07l1MJ70;Mo zo<1_HbQ!&}>zuNwoayUX8O}^H{48Q@OQ07?ou}$B&{Rv>{wcjY*)REqch|QIZ(*hb zijhrdb0X{)DP?Z+n zNM@lRj%AJB1p+;25)Iud%6nZi^(pAxAs`yC6@Xr;;RAV6TH9nM;gJt139e2J6<>iO z4ou>|x%1?B{rg)-LZY+~PRrfc4idU|hWz~V-Cvqx^1TjmjxBYSoXXj4VR9`sg*=N_ zPbuJd?zs5wBuj9C?lBaNQt;4I1?2EhsBE7>`j4;*H02uYwe|!3Ls(h>H;5P#Fs^^9 z!$g6>Y~irsrxRWJ4incHK~BS&uXAFx6*9t8Q)3O23gIo{`hh|PX!9k& zsCrbX3lea)w-w=lsJn?yVs}8HW(|fL50>{UjXx8{+pH*7qE)|CdjETJgzmM7k8nzVfKbf{xc?S3>dbTj>$WZk1+Hrz9 zei&RMv}1a`Q6?rInC{kKu<$fk-&DmDT|UcsIv^{PH-Ie7LL3bvuD^%UM~`BPRP=xt zXD6p{v4o;t7@{+dUCI|d_Z?;$mP~lHa?Lg3+Po&IADaB%;=Wjm}sxzJ)A&wL#F31uD* zIN%3_kne2E4Z>~%x}&gr{(FQ7;qO~+_C=(K6Rtx6^otw;2$#LHUULB@3DTp~du&1+ zWy!`?4kF?e>J9O;z~j;DYkF_jpOowhq}`cJN@0=qkW9E|Sm!uDRYjmm@|O-3=m8W$ zyR^05ZRebeISOK<;T#`Et&dah(iw#Y=z<=>LsZvW&{T3ZRdN@l_H8|Kn-H<4DJ3?y zb(u|+{&$vuUD_AKaJsfZy;_Zhe@v;4Pw$Ubnbp=7htuK}n!iL!Lhvf=E+`CBL7Llm zEPA~;Jd9Ma{XWG+X!U)z zxB~pG+Wkg10=ucXM3j#iWRI}(vQ{2fb5y?+&qABNp#p^pHeF3s<5qV6>8_92t2Cox z^RSD5Nh=UKgL-~XCv7s6W#Cjyjtm?ERzIHv;vKp?$s6p0nJORxOu z!m(CD2T@e=f7Efv3lh17936LlfgD0q4wg__vWDQD(3llN6Mr&W66f*v8~!vX@lxv! zEKZ6|vZL`9E5a_O%uz`TY7}H!*K0y`U^&$<#v}C8F7jfYGPwPFPeAO=jeyBj zeX84RK)0|f#sG@+9Clx5S(l)%nGK@nZjO|wzAA1VJ{&n2Lk>%3lcxTPwYk?`?|gx>m?3#^$aejq zIXzQI4`rA0PBL^Qxnp}}=2UeeFK~AsGR$9ZaB`+K*~pG;be3%7?qhw0OP`qU!&>JE z5tXdDHNavA6{1* zdaj)&JH>O774FZlpPGeZ6oh+q7^Ow9VI2}>#C27ZBgzH9Jp<}^5dm{tC<;${(E7jM z>@~=^uNZQPI|TR~0YX7tS78x4&l^@rXy)lx%_>bHo3Q^BEK`U>b?@c5Fb6NDA|n`6 zL}jWr8lcsFI3Sru)g1QOue{ijUS~#WcSnrJQ2&ZxgYHUi-mLx#9y;IyYuTdAjC<}8 zcG(BykdzKsd*VN<^=GIgkJXxW_rHsJvf?nO(ZHP1#WeT$jh3;9JqU^F7|sT`l%XG41;!IOSOe6&)HM$VHj%2OP z9c)20GQcVl-(2`&G$HrhojjgZrP9gLZ-v@82QVWWsecLm`;`|ZV-ryR&kU4W5=zRy zV&;vam}^LrNW~w_EQQW>wy(h@)1S+d;`ec|=FmgFJ%LKT_i6j35@&vNq2k^6l*^YZ zxYMVCL~KU}mZeP~z!8q!l1YT^LwEsk0p7hF6-qt$oRtxs+Il{tRui3{z`f!rF1 zGC^M?Gx^}VYpON8f247_o;}r`DO>K&>GN06a+$-FhkpnW95Ersh!o@o7e?z@XjZR= z?Vm1}5BBC}46q-Q&5R@w!nzmZLIt-t);F;ds5urf*#Wg@pjK8#EN5AACBxSkYk=Y9 z@pR|K9YF8^Yh?Mq_4W7OC*m{e(W-~kA*#^v&0!c!(K)920hnQ64WRPt|%( zU-2NbH$KfVZP!C5^}Z#ZuyKJ=2ZD6C^f+nHh+}O~5E^%4_*ikCT9>VNvGW0f zF+)LW*}d@*$l1yG>cx2fDN1#KlI$(S%UVY)n-Tc{IL)A94hP)+X^mb}-79Td=+v4j zZFOj@sb1pfBIiOgJ9R6=F!@AJtenTiJ>Rk7j{hGq0&my<6_7JePE44JQm4cU;v(1) z*|q6RqOrlS;9|>}27fFNpFTPxH*b<%R52DO_f_-OrS8!ml)L#+xIz7KO?pCTmmNY+)kQ@&Me|-V&a#S5j1$Sq>ZU#~tcugXuXc>&)E$YY$ z#_g}FaB9%y$VO%0q1b{61B#J5hKF|{_4-(!p9RM@HJWJvQ~bU#A3s@3cAx4s{nUQ2 zCl6eU{VxBUdQw}pzqI_{k&;kTvnLa9}\\ + \texttt{} + \end{center} + + RDF supports: + \begin{descriptionlist} + \item[Types] Using the attribute \texttt{type} which can assume an URI as value. + \item[Collections] Subjects and objects can be bags, sequences or alternatives. + \item[Meta-sentences] Reification of the sentences (e.g. "X says that Y\dots"). + \end{descriptionlist} + + \begin{description} + \item[RDF schema] \marginnote{RDF schema} + RDF can be used to describe classes and relations with other classes (e.g. \texttt{type}, \texttt{subClassOf}, \texttt{subPropertyOf}, \dots) + + \item[Representation] \phantom{} + \begin{descriptionlist} + \item[Graph] A graph where nodes are subjects or objects and edges are predicates. + \begin{example} \phantom{} + \begin{center} + \includegraphics[width=0.4\textwidth]{img/rdf_graph_example.png} + \end{center} + The graph stands for: + \texttt{http://www.example.org/index.html} has a \texttt{creator} with staff id \texttt{85740}. + \end{example} + + \item[XML] + \begin{example} \phantom{} + \begin{lstlisting}[mathescape=true, language=xml] + + + Eric Miller + + Dr. + + + \end{lstlisting} + \end{example} + \end{descriptionlist} + + \item[Database similarities] + RDF aims to integrate different databases: + \begin{itemize} + \item A DB record is a RDF node. + \item The name of a column can be seen as a property type. + \item The value of a field corresponds to the value of a property. + \end{itemize} + \end{description} + + \item[RDFa] \marginnote{RDFa} + Specification to integrate XHTML and RDF. + + \item[SPARQL] \marginnote{SPARQL} + Language to query different data sources that support RDF (natively or through a middleware). + + \item[Ontology web language (OWL)] \marginnote{Ontology web language (OWL)} + Ontology based on RDF and description logic fragments. + Three level of expressivity are available: + \begin{itemize} + \item OWL lite. + \item OWL DL. + \item OWL full. + \end{itemize} + + An OWL has: + \begin{descriptionlist} + \item[Classes] Categories. + \item[Properties] Roles and relations. + \item[Instances] Individuals. + \end{descriptionlist} +\end{description} + + + +\section{Knowledge graphs} + +\begin{description} + \item[Knowledge graph] \marginnote{Knowledge graph} + Knowledge graphs overcome the computational complexity of T-box reasoning with semantic web and description logics. + + \begin{itemize} + \item Use a simple vocabulary with a simple but robust corpus of types and properties adopted as a standard. + \item Represent a graph with terms as nodes and edges connecting them. + Knowledge is therefore represented as triplets \texttt{(h, r, t)} where \texttt{h} and \texttt{t} are entities and \texttt{r} is a relation. + \item Logic formulas are removed. T-box and A-box can be seen as the same concept. There is no reasoning but only facts. + \item Data does not have a conceptual schema and can come from different sources with different semantics. + \item Graph algorithms to traverse the graph and solve queries. + \end{itemize} + + \item[KG quality] \marginnote{Quality} + \begin{description} + \item[Coverage] If the graph has all the required information. + \item[Correctness] If the information is correct (can be objective or subjective). + \item[Freshness] If the content is up-to-date. + \end{description} + + \item[Graph embedding] \marginnote{Graph embedding} + Project entities and relations into a vectorial space for ML applications. + \begin{description} + \item[Entity prediction] Given two entities \texttt{h} and \texttt{t}, determine the relation \texttt{r} between them. + \item[Link prediction] Given an entity \texttt{h} and a relation \texttt{t}, determine an entity \texttt{t} related to \texttt{h}. + \end{description} +\end{description} \ No newline at end of file