From 57becc60770f86c0cceaa8af5b3e36c945dedd9f Mon Sep 17 00:00:00 2001 From: jlind0 Date: Sun, 19 May 2024 08:08:09 -0500 Subject: [PATCH] Create RelationalTypedSetCalculus.pdf --- files/RelationalTypedSetCalculus.pdf | Bin 0 -> 45999 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 files/RelationalTypedSetCalculus.pdf diff --git a/files/RelationalTypedSetCalculus.pdf b/files/RelationalTypedSetCalculus.pdf new file mode 100644 index 0000000000000000000000000000000000000000..a61d1d4b26ed4d10b67c07898489df86011ea69b GIT binary patch literal 45999 zcmce-bC4xX`z_kGwcGA#+qR8q+qUiQX=B>9ZQHhO+db2F-uL6ZzqmKf{o|a7jHud~ z`8@Tkl@(F7*UBPO5D}wgq+@|08@Y_lhhZgTAha{IgyG?#moc$5b2cYr`_rRDFJ@uw zY~n~rFJ^7vY$9S}WM^!`#|Pu&>}XY8{7 z^@1$UnMuKSFbIQ6E_y`H?V3QWLw594Grj_^@4q&5J=xh38=>PmHJt&By`|^3Wv<^# z&t@2BNpjkAw9igo!}ojA&iAWFt@X%gv6UCILMX2FR!IbpE$7$kre4qIuO)z*!R#Y} zZ9~`ZsfnrB?7Ya zmKV(U_>Gw_|CXO4PtSC`7A`EdUNsiE@kbBz86Qp2A01r5-V!s17{(XI@b!P9=46LXe_AM0AR^DH;~cz8Fc;q|}PLJUK51NtHE$FRJCO zA~))t?x2;T9JW^^cA{>^?)rw^fd)~Qa-k1V>Nxqly}p9e8!=1}`?;La-{g(OF=wMQm4Ac4WQg5{D{+GPVMJ(g~rB zcN=!|7ky05)Eir_pGt|Z=#NCSnylftz4-Bqik3>SymXC*qttOlPbiqZNe}(DH+^70 zElTM>qdS&y-l!zBx$zMsKWI_l@JVcz>w-VbQk9%7I6B*Sj(I$74jYAeNL9;6)84Ip zE&98U#^7*|Ym%4bcV7)&hS2D(8>?7K`V}T%z;`^NMCN5-#nA?6H?!V-Je`H2je3%Z zQJT065TP_s6iNncTJJdC>%!Q6uDKsL$PkWrJ9#%&{GL1*4|owL&LPVSBY8L!PvRFO ziYE1$%85JY(P5|2Dr=Ju)EL^f>5*lx3Qu&OgL%TMj~Bk3i}rr1g8VFf&`&?Uk)7m; zX~Z2nuLVkwo4?z_bBL`=PK{l4NGI+RmrPZgdwE(oz4?{x`#vUJK;2v$LzTQ**hoW2 z&Sh)c9p4KQ0>kX+4v~64Qe3!_SS&P4t|+>Tx~;t61-gH)U){wL^qs7V!`UxCpUr7< zbcO6UfucH7KIzTHk?2rpmCnX9ImYE`uBLqgZxq^_??7ahOr12Q53yJOSgx((Hu$H; zP)%Uww2@Ly6d|6C`8}qLzA9lOMg2uDIghTR_D)fOP0)J9tb*3Td@$O3>UKleho==v8(!D!N z%g<$byjs#6-LZo+sfBr9yfrkyj~E%xi{GOHKIIml?{kv{-~E%V*EL3D=oXw>hB2ZM z36#F#6WQ@LN$3;Sv(3*(8!i+wj>iO|f!pb~)`&J?dJTa=lUMk2HN#ir+|ptTR1UzW zYD?xia7sJSBe1_tjC}J+gNa#-m8^tD1WygpzNN{)`-UZ(!NP?x$gN*eRa|{#?xS?$RC8rET*JcI_Z_kH z_rKh>-mQf|eOAN+I{33$qHD_yIDPmLCqIU$IyQRi;boR+>Ty2 z7G?MO(ezDCdDqQS)a)2p{He9$SKV`cI4YK&uxA!|2C}NgMP`l5sgsGeZ?4`Um)0T& zYn3fkm5sS&ePSq2I+p5&Xkrq})Kc2g2IqD!cq`CgxW%aj_Fb`sEN0`QjphP9R1<1M za@qUR6QZkY+%l9K6Ki0A43rVxHgp$57RP7+)pZGag0?xfUb@UETQ1aC!v~^=ps12$ zC4ZUTL+{Io>BboH+1tTPVRaD~bTjBU+lO|>hm9tTQ_!0sHaJ40W?m*mkPeRbi2qfsYvMvB^eWL&l0p_RXX^;??rFFm!M z?N0;AImH|ru5pROF5qvFQ>@|wMNosp9(xrM+p6)WT#j6wso=`l^=gqw+{8>W5D++r0pO8sPs5ra zk|-CKM66!ASc>!Si0;ra89yCj$2a@u&@wzp-3Lg@D|r}X@lA}FYey`gAQ5x0QdxfL z&%w~4Bn!5;>W6C{WVw(mrf-y!47R2NPr_e7Z#4%k^@o}~!whOmUxI&UL{f_$Hp0Bp z$MiF1Sm-^&adx_a@_|D39Cc~6L(v$MnAmwyO1QYgk;K8T7xsM8dbG?{IC3{m%iG2x z;|AxWhWIq5Sy(AUSt8fl8T5eR79?q4|7=oR)hzpj=42Ho~{Lrn(vI@bHe za!Q(yDE&phe?0Nk`Mw3OL5eBiLBSmYRbIG5jSF&xGBeWcSfEv`9h~BlF8WO(`o@z-a10+Aztm$;WRx{p$c_@#Vk-YHG zIe@s}`f03vQRoMlJo-S9%MT3bY_7UNH&i`n$}7zFZ008_p0Lsvd=$D{hrz=0reGc8 zz;CKWJvrZ(Xmq$HQy9DKWNzQ<`0}X3F?xl$Vl);Y74n{fn%Wu+CoSxdufldMKV~R7 zf@b1c*M>(rbDvI?d9n{4pFE;pL=8OqCa@;lrz|`%6Tb&Hk<8NUHu>Y6m(Cpe_lqBD z2<^a>fY0v-Y_<$r#4I1EQK}9^&rU!O(cOxH4&=;Mzz05J+l8!ts$5E=W~^ixWC5U& z9>j}v2duK8sw$)krM?M1-gkyV(;c;vx?R8YF)~`LPnYN<4n2iKTjDdoZ}>+z2H1Uc zX|UxQClni}Cfw_yOiG%q^>Pps9Z)zGsOcVDMyWA5rylU+^YlmHHpbbq>0}iLoj9=0 z_ykm0nJY(Vjr+{ihmM=86+4eQrv@Ul%g~iagWTq~f}a-zQ)+ zr&t-{w`0y8&Jq}CzA!H$it=a)xV0PH)F1h^HsT^6d&Gd&BZy>3dYkep zl<;Pt;`!q>{V~^_+0K5wJbqo{M%S`HbA){_&`}aX0`=*9bykIL zEZV3R@n`I`_kyTU%IZB^z*9nrB2Lg2>r1`Y-nD5 zfP^uP^CKHw6kXA@eWl23ImNZP)KhRL;4U;*iO-I!-;3>u$rXe8qXdMX^Mj%{dUfr{ z@>s}L)nWYw%XV5yeR#?==?#`ye$d@yvQtQb__#F2UMfT(?@G$>I8+rVB=xOVo!#g- zNq~&63rfyOm_#n+w*Da38KQ)Q-VB{)&tzu0z5n;{>YhTBmYIpHhCjI~-EBJ`W65o? z$r$zV1$ct1#w>R_27;}?Q~;vD?0U-lS75hMzS!fHt=yEW%U5Gl?bX-&WTpFBNb#00 zBfHf$#}=F~9lD0lls3EuIM9)#{}0R-`Kiv?Rw0^o=qG9l5CqgZ8L2N~W4Rzp>O3j_SAK@Vr z5WPs7KPq_Mi$Ow2Ws;Ri+lR3&?*7R;CaSf{yV!14fgNW$<(k;90<$hPCZ zE*^meiO0YVSAD83GZ)LMc#JS-4vpWK))KR{6Y9W`SO&4ZmxMk})MVT6Me7>RA@cC4 zeSn5xWNg$eK7&Oxh|Zi8vDGP<^iUXgGwo$*p|3_hdV@ z<|{B0Ud675z+4zzW{@U^zo|4|to1hyIeYK(B*8>ibA`7=)Jp??Z6H<7(zjaJs?X^f zjF<))xTAZf8woOlFM8v$3+$mAdT_;EpX_c0F|>dNs~J^mweE@9Cjgzv=EF?5pwNYG zlLChkc&t_g-t&yjW))3IB71+F8!EqsABbpYufbn$jSTKMdige_Cw~4&B*c6VzNFh{ zajkNxN@B6(UMXH7LolHibWokp!rTR(@{A2v|+vd*> zivd_3b3Nl$d?)TB2BhS8vU{Ts=k$08TF3|S0T)cE?*NnKXc+IE6h9`dK9 zu95@=HED>*4if@l_myO}bVF*iG^Jv&y3wuS@KG?z_ZqWZ$MUT)Q9xBNP8WSnL|%{< z`B_`*10wP%#Mg5n0&F|7|Dca(S5E0?v_VT-XoNf zQ11J&h1Y>9R4BZr-@&WD@A$=Fbq1qq+k1xqodc!NY~PV5!$O8z*xv3@%AGc?HY>-Y#=LBX%Pls`UTe&*i(-6H@Lu2;`F6`o$> z+vnF51#YC7FtzS%HM-qr+7LCOo=oScxLEVPY^*oby4+x-C$a8Z+94J}cc%NDLTA~t zP$nk(yl*Jg_A7HFfZj%XJVM00uw!)(ZTmQ&qTW+gz9d{fz?)07uT|1D_X~J`JEliB zswdN=^W+Z$(!1RAZUfDwfj@5xD0`h^l?GR#M)>t`$Je6{>gUHCAoq8kixS<-<70fg zIZ&GM#!Zfdhm(c3px@v?3`q!nc{`BWa;Hv=o2hIc+`FX+arhw7lS9exWnxlN^(cB1 zj;;M{_yNlr?i~R|bUImawX@K(k5rWcwf%HWj&_1{7o~j<&c@_E0v>&Dr~By+nFPz_ zd`ZqN{6HQ&o#SY_+qnJPx`Z~r1!1HF0`I$&2M%=o``y5XukqJg;1p6Pre;xaT!Uo& zK^l|GjxYa39)ry<_?YayU$H9FiqO;2G1-hPPZq2W&W}+)#%UxBmvy$70eG0s1ic6>0l6N zx+fBZ!5Tyi6d782WzMWAJ*sEKofj%EF-Y&HxjHK-Wjnedw2|M?<8Az=fDH z2Tbzx%zfj6k&{XpWpP~bLc`4aHW;m0Q2nf>??=U$j-&;uH~(8~1MCIH-!`~B{v=2L znJ`|Sv{=D8@V*8LNP&Cz4ohU7FbHTGh$3IH+Tu7T4|}u7PxgqsA(tWGs}=_Bo8y*M zV~9zW^i9L>v-7n|)k=voG0{HpvQ3`5o!T)8T}EdU;A1WnpQdAN`+L$SN=y>@7TY zwMxkM3)b#-fI*ZaUiq|;>5Qe5D>?DX_^o)$*8^tD>NAHH!Pd8hFI7Eulg;yjQRon| zSgqdHxw%b?=$MCfj|w9yER4X9mF9JQIJi_Pc!(8`=INBO%3eh6%6@;a2#ZP#Okdu# zAV<5l_FkdGvp11unmbYOa@G*P3#gwkFp{|}1UWEj!QG`2O;NL`luJknm}UM9=r!R! zit)qaeLZ^RjsoP(D5{7skX}Y4cZ2wAev{e}n6k`hR84;A_pP1TLj+MdmBuFzm&0MY zb|PQ=RTmC*Cbq`^)P(<>{iP%Sr5^uvWMyMvg8643Bm4glnHf3$S5#(d6^2=679|EC zK}-_P6lwlZZKAGJSei^3Aa$U$tjvmCG>}De^HP2DQZxO0q=aFU zTr&#`1APMoRsB+ZTc|^=bgEPw_470hir_;>3kHi&V~4g-dvFjUph9Jwvj2hO?*jh< z!pOk!FB~lYfuZ7IZ$htNU}i!uYhr9+AY|uGsKxMSn2nK%ke!oB2ZmnB&iRjWPRQ_Q zmZOQSGa>U|fd6!xIN7;48kso#5!@9V?TnO7oVDoxNb-dADkkpEf8s>loyC>^4rTo7 zdVfO1?EZu^{w35a!TizS>4pFN{*%#(@ZVkk;`v|X|H=J-q(IL9Dv;?f`2UXr|6cgN z`~F$sUnKm)ZTN%t4~2w(bLd1!FKuD$M5qPx55$arTM#fhgnyvA{K3xjA2$Es{}VNw+S3FiKI4fx{(^1=qET9Tb?bvJlivPO)_lLdA%}$KDOe69Wo2oE^R*wCQGq2x z=1M)BDjJZWW4S?fwcHS%qD1b-Np9air|W{2_tOIT%)j7>KHqystMlUBZg9lI)5Rn{ z*Q>k4A@dKCb_6KyaDsmE`mpc3Ptzln`=Ezc3lf%cIiDaWz=PNl;BvW>Ht&E5p^lTK2y%~JLdWsf95TJ1>V*2 zH&J*9v54rYdj>}#l>z)B_@k)w&g@dOPEMa|!i@B8N)6zIYi zD=0v6WSA6IPcu!{?t2EHssyBw#D2v@X|@Zfk<>A$)xGNEcEkEuG{V_0)x+Mpl`0qF zWf6H8o`n>h1nYt;NA$pXnu{Kl!m#GE#nFbl=61|M_u}MkMaBqj1w7{qpOTgf0ym<+ zL(U?d?&3e9&kj_ajxaDoF}vjKhcGegF)0~(zDJ@~p7U81Qa7Fw$##9(5(6*y z*4|aCD?(JWXZ3#6#z{e}CZG&lWe>rR(ub9#ZmxjUeGe5D);d87?PnS#8)$9 zY6UPa6;r3CsfLygZmR5no;d}!B0X6uYXGp6ws32$jl4WTc=_yE<72>DYpel=4KjhV=*wqx$k5A9S!^^1Q6YotP zb#n$m5_OkCA7%DEA75W7$iAu%l9HM>y%C_1?=5SxFR0duajr)bx<|+trXv z7j^oR)7lKx70oojngA1zK!!A>P_l|>T&M-r3b;=bmcF|kgo{O=4www1s=79`7JMkI zkFE~6&}DPD=&Nh@p8s>_HM)XOJxvOUY2quQO6EC=r$gCK*{`FhX*f!Lm8@)weqflHi^t zEZkaTCC~@7$~)J@OQP0wQhMEXAph5e+Ph&D!*@^w^$eRI8!EjQVBX+Qez_fd+csGV z_W{e4^-Kg>NE&;u{)2|%J~N;fsF8cx%R=S{R$lHE!+cRdj6x&m0$#&6K{RK0+1^KF}x7k-0_#+vXt=^uHqtw;t3Z>(S^2mbeCvrS* zs$O13O`%Mlf@+YY`Ug%y67mTI^Wq>l$9{=_r=2o;kscnq^&^v0k^yM^E}dNL~a@8X}8-PZxg?&!b1I-Vg8WP&exG(3Hfh)&7v-Md*<9Wl93_SO#M*52<)Lok#O<5-fn!_fZ+A*Kv)is48ib7V9pr_1`nST4TmFK&UGqWc6u6|Vz4kE|e#NGXW+igM&Y(06gT28yuv# zX=u=Z;p7!?vFpke48rs!48r0Q_=nkhAoqo55UUn@L>ZIu-) zgxPvvl?!bjEi-K&h68O&o2{}vYSu985_n)VbAY~Z7QZ_G0pfd^b#-+$n|fper&oFA zfpQ{;h!G`j003S+n10tOzIplbvKM^pK3PD0eG_@OWWb{8@XBHhA0r2$VD~vj0qh`b z-E7JpZX@`Xc=v_>m9Sh6AvjS>c&{X319T7C++D&53!8$|P+;jwr(n&EuYkZjHYUN7 zCA9ZsSBgC}(9p%TGAj%3W+bd#3=u!#hA0YD2u++i(ZN+IB@VZMC-}4??rmNoa9rWf zUWQdCGL^SVwO^fcumT1b>_u?J9F)axD2!W%h8J6KV$&Dw)jO@{q5a>IlMGItF4!?7 zCe9XVfVBNcdVm_(R4KSv$>L83y)E&-C+J>MQBhSEN=4v#m#3qc4^_`gwU;u4w0}JRX3iUSaL)*TE2iOXIfRTYvUR0>qjjQcr?y%e{!^NAS$-t{y&_98bM8bOB`+e4S65Eb5LxTtl{^L*T)&MQ5E z@>8lxC0|yBv%H1g_glA6<+r)x>mxVJqEQe{sh88`yvvovBgvXoT&Hza(`wQ$^flE( z-OgqKnB`6NR#(m*LfI0G8Wi!$*dO9xD;G)>`H;ll3JNiQEH60a->qICf~E7nyo^kQ zU6;2=U`8a5lAY%-lT_iw!rN%~oKSOX#n{ryB1wxntH+nBS~fH&1uod-`0aNAxZuk; zF-!tg%a+L{m|>YO2;S$)ylOJ;(22_oQp1bpKiAN`pyR71vv`$I(` z|0h!v+Aa9!pEn>{9Y@6rQYowhrL#qp$Sh8?7KugACaIDHnj}e;*?Fp=$Qxl;A(r+= z@5JAL-Ib8e(IbtLF(c-qn!NcHrmf4*cAlxs5u;5GGb=_2QNcr3@iho>ZHmrjds+J- z%#++(XRg>|54LNa%H1FcBN*A$l)_oDsy+b#_dFf~rf8)Q8=Hkjf!H+e(ur4x)wjMX zlr_?()%aJr?v2gbnVF4>8>*(HL(|ika#DVa)#OWBA4|I0mT6O<493A6dk@JJdZW91 zbvjebd(RE*ow(Jw3(<6)c$^MpX*Z z?lXI6nTUG~Ete-Gj4#I*_wFs@M*mnCU({@Z@n&Dkwx+citz6aAQL3+VNj(h$mnUST zLQmtBBF&aJ9QxrjMk{6b5+Zcj+3C*uE#)dX+U72Z{PpbQbuXSfWyd=siBycy%<@+V0=HVlWX)|skojM2e1?Cuq&cP~Pf zt(zKRa@ZW!u4-mxu4d_Sa1H}|6qLw25d@<8r01%mmB!(Bj|rt|aH1jAO6$e*L9yj* zeD!U%U&WQ|7#TcOTW?vY8On(K2Rj!hZnibt*9&9l#PLGg zdROufPquJy?1eT|b~O^f%nUH9W$bB6iKtE+F?Q|dbd^(EiyAu;H1m+}y8;Acr8@_B zqu3MallhSI!}H%3%tMCr^YE2FivpD>XkaYy;8OA*HJT!`=@?|4-oUd##;0tKOF^pr zC+g&_a2&JaS)l{S&l>|*U@XthgHIPEv$;viIL-_9mmGc`6UL;ovxR2rbRIt)6~#Zk6XdEycN2**u#1?q4#0lBC(xpBbO;Lg05d>$AhBG+f<~p@LmS zwPrrktk>3fu!kono-Ld}I9SjjcZ9(Z?4_>XLq#-i@qiFvVslM>Y82GE{}$m zp7`26xsijixZBhALQ_CksFkzF6CD~io>?zW{hsubocxk{pE0ltDI$ORoA$S-q9`+F z3M{*QN-VQ|iZg#>86k_N=1dJR4GBhOE9x#j)M=pB^4$L|)s6_?$ zuEfSZ^mZ__(?NZo4XTa{yB7qhoNJUu!n_#{6aYaJE54Q6%TgjUVKI@|SmZ`1Z%0pa zjrBk`{S79^N}5k*cKb|6#k8O@N=MO^vwU5jAyUvfDOHHJEz{ZNh#nu)`#mq~_T0!i z+DW(SBAYg_lApobx9Kp7DseXByHYs%ss-`GO}#Xhr$9WrUOX7UT$OaG@sNb(eiwp- zSFbaNXeCpEh$tGnq@ks4Of;H~_Q@lbqbCsn=^*e^MT-yZ&n|?%-<0{FwLQlsXz^B- zAvSdn!Y!Rn8A(f`+pp&o?d238&DIbEcGXt>G2hfsL(*Afe~y;CD4uOA(UU!6cm8ag zj@F6Mg#4ZnZq*e3^QVwUu+{daOrGhcb{anAq6{SV<-&LPq^7ou3nv`eXb?YJM`2`g zNU@1(7uWv0uu%I+qh+0;PWyhc%Mm2Q{WBdpC7c3_LR~aq3qh%-QFSB=$DIuk1!C_6 zf41%UkZcopsk!2Y?s``{-@pb|g$!&Sm60lnu<@r$1movxb)L_;pIXOhtIcCdyHhmP z6U(Y_nYK}9iQNQ`8sX(UY0lkjISJUA2qhDe9Vk|)Wi+#y#QUKEl<8-ip)`qIeAT6c zO!NbJv%C4rfs%piGvWme{2*EVE7i zG$1lj%{EAvGvCcY7A@#TI^zQ58_@mUMf66EL)*z_TToj@Ml$TuR&#QZ&ckScBq`=I_UH@|Qfm1$W7R#E|wV~5}VLed{`J$4Hmqcq z4R&vw7hSrY*y1%X2d`odx}D|55{qJ@j~s17=OL2A8~Ny{_9GhkNI12A(TXiaR=mv( zb`E>85vi-!&WP`q@FnWgY%2%KvOdyan@Z!ugAP^`E2{-{XrM6#Fo>3_k&zRf$o1o0 zVLhI2$4n0;xBa)>4UM!YKOg&RV>~N2&Sb}fV#Dp2k((LQjt1v|#2ErhZ+kt~AB)mP zc)YB_X1!p2M>|S2{)n4rNoua|}A9 z#ihzj*^*u45`Q-IAuRyoo+4^*tpxk)NC?eYhIsF1CVGBLhjUX^^=OWsDL3EPy}Ui4KzYIrNeHp?vHa0z&0ySG$%)QcR+e@|D{}jIw4;bO zxuVDkE@zK=Nu@<6^Rj?8M=8Wv&b4;L72Wfltt=U_G3&9L-;eHfQuA*EQUr$ zRxRY{rzU7y#i0sM^3G2Iwuy3E+tr^xv-49Tc0UY)wli}Req270M61M)70#CrvhT|| z3d5C-HM;w(=(Z^#Sm2L-u#DNB+6iVldd(kIrWG-oCwhfzIQXh^bXL!6t&MjPHwh+6^v?l8?9l)cP?~1xB8So|=N%Cu z`8p*XlzepK`#sH9L z;0N`ei}2LM2^-gcqi_|NPS=>BUOn`5C4&lb{$^J4*3Jp-y$;64VwHcD#P2GS#WSTJ zKAs`BV3}TcQ>_%Whu4+XsOflb5Cyi7iB^#a@2MOZ_4bP!&N!6o7Z-Z+US*M4M!sei$-oAv1gB5hPo7yUN3i7V-Y(J-lfz0& z3!J-MnQ$AOTySm}4;Z(Mm~;vrt0aRondr&n@DbbQ@hQm$xhGyrsVx0%gW^Kd>TS}M z&uW8{B;1*eFbZ zrH$%UbiYFHZgB&%|AOB8P|R(v3>079T>!Cp!+hP(>Mb1Jz2m3U{u&@ms1B@Mb;sF! zK(=>cm6+a!RytPh%jSoIt*^4Gh4^1;w_o7lpVE`3^tsOA7?%7f1%~&+6ouj&4lww` zXne8UcO3XZ$Ud(fuW)PybU(vcU&*`?ss?Hfgu?~l`{{)->(@8lk4)T+?jbS*UdZ(% zUy(7Sz`7|!d@IRBORK8vedhW;z4IXZB<9F}_q9B_KH5A!-(T^+M5sn#9}U6&CW_-X zG59>amRCA$nJwZU=~vm&JtbE>2usEZ*P*sLiq)kn=#&5Mn%6C_lnTf3RRQzMEA_)n z^VZ}s5eAe z?DGBPFtcb*A{{GQEI?5R1%|Lt5E`0Dpw}M^ij*{8R?L44;=n)JN&Td@xegFE2PB4h zgY8w97(;e7QP*7#$rkHYsc{vl>vt$RYloCCliB0lmr&Df$>RSz z6v?JPka;FOb_75}N*Y3wxw7ryt=b16H2sFhf>BEuY<3=(FYMr=yAVoFq_SXYrBXaet>}aG=|5y<}OL;{@2~@jmK2GTWqo z?7N$q?FvD9k_~>;5rpvj7C&T+9_2>OnQ}?278f>lVNAD%aIWbH+m^T~n}3LWPwJ8M z$?p3;twcuzaR;P`%uV!b=ZWB=19i551>Uj^#L_k7Mnt-&=xafFo$sn6e`kKBpdLBP zxmwX3S@TQI>!SyiO1-Nmd@1BXAft$xPi<$>&2Q&g*?LyQG%n2;!-CAF5N~)#5+gxW zKaF`b%@|sPYALzD8@x6Pv5C`O1rm4Y@kc>&{E>f>G3yzzRW1!=msE9~4|Sm@Km*nU zk2A889A{LlUUIuSNt3NV`$@?MPoH@W#O>I+UREiy&V-vY?9#u(6`wOl`?jG87GhD( zk*E#o`eEoWA!o5eu3QJ^h{=)jbs*`G%8~UA{B`K*FjQHyCVst!ggri^&uq23BKOEt zvaSm;eq_wok)SPyhj6VPv@#T9&ozyH&7N~rpCrouBbQq2qYAHf*%Xr-XG6}T@FLe| zBbRx3)YVwrHjJbW(1}=?B3q)quY?JDj!M$M{(b&cz7e5$e5T3KYm;G=X+@f~SkC4b zr4MTxvgvMBt%<71IooWhZSv#pa|T3AmuUG{!lvA{zgL~sA5=$jvmIkP3@v`5&v9P4 znX^IY_dbWZXVapR>_6hWj0rZ!AV-1cNt(VkyBC^nk~WM$X(7jg4w2kP?M4m4Sz?9u zXnR7N!;Y3olyH^_$a+G!xM8ef6UhmMctx|n&BUFI8Yy_GuKz}`oJj$7rZH=#lPH(S*ru~M2pznJIy|`;Sy`1= zP>lprkBg^7V{2$CX|oWslXFv((57Nb+zoSAVl*h$ELbj56$znHjFm$#HoxUt*eHr> z=2p{XEP-Cl&hnM!(VhntuP4U-cwa9Z@Fpj~3MDzoaWuw^g+s)Zr0r%>O3pf}fPT#v zuK?}F=PD?}daOPdh@|(FnU79TEtEtjQTg=c7*Ip)sa*#Y*>tCyU!{j|TdkMp_1Jb* zQz@{@r(}t?yLiTVD$GUo-rJ@t%8?NnFGgKrgb$B)vr$1Ek@IXBN(#zb7%&&$=Bo=iXFFDtMxE8tCO zf2Fu%-gla-=C*&sh7mA>PlW9D7fTY9?rnLH1_2OoJdcghUO7fmnZG44jD>ROe_Nel z4X_HL4!(Q)b*V{r37y!c@Wa-|a=1Nq@@Y_lgMASNeSI~1z&nO-QUjAP4CIhU}iE_bG73h`Rb&@YZL2c%D1FLgPM&;o6ehrv{rLV1jj7+k2Hzei@^h z{FYu8b~~`Ebx4xRRYp)6-dE1mENxt(y5#Xm>-+gRN#=2Ar36usF6g6?Yp|Ps>*aet ze{1e4nAV-{u@ppiTPT-w4?f_!wXOs6CNe>? z`?$ALKpM!Kf~PDkI(kjBy$4!dwT1P`y ziQmO$*4Ezb^bxBKtav>i$Wsh~>g9n-rHPn03P~8}K^XDn|19Dx|H_rw{{U@CLRXc?U0!7RI%;l|f=; z>#k})0d`S2i##D<0|mx12_F?$Uh^aT-Ehq_+~XK~CCE*j)`0mptvr;ibrc)uI(i%3MdG#wGO2SA zlD%f5oN<g5mm6Fg8qA{sqVobf%#4F*txJPYW`rvec65EtHY*~pRvU8G@kJ5{*l`GC4N zP?iSJi{P1xyg}3H48kTh0BrFqK?+!iq_?ZS3rPcHJv z6#C_tYccauJ~#raEZH1ES9RdzuFiJwI41Z{6SL6u5h0IL2c3{`Ga4^>nuxfVe`XbN zHZ4)G-fWgJX8#6jOd00rt(;Q>m51j*S{|gD7e7VbqTTU(*`i&SSD)C8b&qOFT_}rH zCuCP1@UD&12B}cKDEjrw-pyQw`rR|w>Dl7oj00(-ZFP8PP22j&5EhWpwmLW@M#pAf zmmS&Asy;HLNw;i2H#B5Pr|M7_7ci%yCoL+W&vZKZqp>5)`)RBf08qN$NEbmMK9Q=(Xaf>z8iQAz-rHky;- z;1CoYOdG{6an2u8@z5cDLKFe8rfuwiyl;pJNYgg9kDnIB1_;tAwL#g(_lM-b5&(4R z651s8iQ{1r0npm5ZQ&=xF|YuD938IqYFn*?!BKyINE$3EK#UGf`?PJ=A@4|NAS4|Y z9Uw)ArX8*grTu630gX97z(@Ph@eUNQ<8+4y*m1mr2k1H7p#$_B@4x|mC;N8V-qS-4 zbbJT<%5*UfchCR=r#oZ-f#V%8;Ku0=AK-ViPp|!%7Rm2$M+dmEzheW~Ioy2%*xBE4 z0sId45w$yqhbpu?`-dj9I|qku+T7zK0j=)YkteP0$&m%xJOe`u+B`!;iQ1nrk>suJ znUN!{9Q{LfZSFrK#alThhX%AiLnHrGgaim{b&rb-(tfme@Q;LSU7Z=?qkDElKFH6A zqyW4)IS>F|932n=Uaha_05>NG0HC9-H8GOAwKXeJ&(Q$~(BkL-3t)G0Kn1WnI)DOJ zoE-1~D~@-tbk%$NmUPwo`%-k(yZerGbO-xNbaZ?BhIFnD4#)t2V_jk-Y%51j5 zu;!I`jG^b#B+Ld;to$)ZXoWPx8-Xl*Y3i`e@t3*cx#EtAn@F07rUcWYPnryEFy>_n zu_S0ErX&{Pi-|eaoE4<$J= zFl&?Gbk}85!cc;;z*PFC1fj&`niYyR$fq0+B0;&@L@*Y1;t`(^pAd%<&m#d{7Yr?6 zTllKpFOtha3Si@k$6YlSuP4%Q$N?XVivC7Qk^ua27Vj*fxmhBpL{esWEh#Xb+5s&Q zKx$av&l({@n*U3}XP&4LV8u`96Z?pF{efY%L+BIzh(4cE_gW^PH@IH{^b60*Pxu}8 zjN|$P&MJo(Pxu||#V6_!nawx+5qSPX;%1M?Z)jbw_SvlR7xbABLL574K zVOPwfIL{%Xx)=P}lKQ4|u9~64g1@eqCp3;<>?83!ti;R#(F_r9WVCpEwxB2W870r5 zWZ{m%0jfkS32&$~*jbDFVS&0A*crq8K=M9=VWSR4WoZ@4p38DuPve-mWfGs%_k zI*!wKpdrKRG=VJ%#lnyHYvFdl8Ga$JL{CH;q3%LQT}nrs>p?en{Ix(k-dT!73(;1D zGwl4->YD88M6?9^ZudoewQxJe8Nj`t_0QAsjH-~@VF!J6;z%N8uUk5vPOu%*0x&P? zei)*@@xvK-{!QY9C=17_8T2Zg^8_R-sFC+L6R{Eg>@t-Zq>=SFSYM`PFjG_@Bc5&V z4Ck)%&uwWmEtlJH`{*KJ6~9dALR2ND8KP4&xS&Qz8_UVY) zoZW(C0j#^`&EtcwM2^1}zyc`4D}%Q{n777trq*4fDNN%y#aeZN^;Kk^ckbM@cojvy zG@+VDD;$%MWfaFWSDNhWHZYv*+w>Betivm1JRXI>jtyfWjE>|aq|bd)uMozLjBa8a zG0jc?^F3Scd8!et!uQEK^in3%3UKToG_i64s@S#NH#u>mDjHK8VC)bUCR3AY#RwIY zh8S?F7>$g82*YJ80TO#XA|=7ebnu_C;s~)CYrXe|s%-2|@s78T)}Ns?g-EV!aFnRr z69Q7=Qo=C9m6K9s62OpQ}HW{U<6}%^za46_Z(?Ab} z9EmyOE+yD_`Xb2HYv-bjg_wx3ZY6l}%Lc?~6Cfm`3;Riu+zUZ)L`i{v5Xam1cvPq4 z&1~*nvATKs0sZ3L?!{kFIRn6pJLbdm&W$T<3-oYIlJf0oZbEPoZa(p7<=|zx?bDfEPw9Dwe5`nKj>EY z={EFNj9*yW8G<`t?_$01xiw+k)j{3WA>F>fHY-5Y5Zd6aDE8pHjvO~kr#DJlU^is# zKei)XU^_dU-Q4Ntub!`wg0`IoQEpr{_qQ5 zT>w)T`5K(a>o42rvTfV8?Jld! zwr$(CZQIpl+cu`}otTLj#yrg1-UkuqVMm_C$}h!4)q5J12&l_zN`G#*lXDKWc5g?L z#iXwy#u~=%c_)daPw2yGLSS@M8VDNfW&_4P6K2M`c(dbU658XR6I#Zy5?018d8^|! zNtub5U#7yEl32t`2JaT7O2mjfOT(EH&Y@SY->oc);u#u-~pmIaw~ zj<)vt`{>hmv%@fZuTxc8j+>75wxizYrFEePOpcb}ll%AWBIMYamG+j^LukumgW?iK zHcns*meX>UE*{xJ(SIewpKveiD^I;v@3TZ1GRxOCZP5ozIX12DGeBF;*uxDMZ}+tt z=dDmzOLiza2E@z_c}uX#WUE;(x;+S$@^i~D2Hqno*6aAVYg59O#3}R92^0rw0=T-H z8ERiT$`S@1x;)R56w30&g~`}OSQAaf&feyCQCr~Hr^6~{ViU%q(xpT|8y zST;p23suE`X*Oe>S2;;KBfqa9;DNK4p?Rr2j4bo}uKe8KzxR3re!g@6415<1r1|XO zEKpiQSc7E2twOH?ufnc^u0pN?X&`XG)WO%G*MZN0X~1cKX#h0fHNZ8XHGnx#?7$5e z4Uh~74FCpw26%ZWbAU7$bBHFuF_0;U7N8M`8Ndug>u1{M)W;$K%7DfI#(+5ong*H% znFeGI8U?`uGy*sWIQ!N6X$ipPVJU!>fkpv>0BC*=edYp~2B-!kd8i7&6yT@;F(7CF zn4edlod6yIMjXf(xG_M;&(Kds0Gt3f4jd9#2>=j)?nAf*bom(zAQK?%0!V;1{oDj_ z`oQdfae%n{!0Ui%fSCJ08GvDdcm*KlfLVZ81;7-5QH|aWsewU(zz`QC^P`^u9squz z9tbapSM*!BU8_EIKYD;Z&^P=m_O4@}eV>`1JYWU`~8PO>H>26Pjl3#*vITw3Xlin zfPTW?g6`V)8Tk?W?EvF}@c?tcy8XJv?yChL0N??5pg5q9K=43#K$j4gAeUf6|JCO7 zdHZ<+UVxr~e8AeU?Jx}3cjfwU{Wbu-pqt=rXm&8WrhT%0*Z_8*8VDVTHuPJVK32a< zfI6TCR0q(8V~4q`)JN(U3FrjE0MLP6g6aTq;M?Kt>h!@caGFvFzsVbZE2sUS9`pad zEfj9UpX7Y z6XJUQp&n8wNZ}bt31UqCQ(j@e`ipgqNw#`-GM?j#U z(ELG&RXRnicxkp@RLfiiDQZu>D__<&w_9V@q#R@CH`#Z*FLWnQX0@apVYa=`w)WhY z&ReDI(me$fCJq5>hANc7LvGstx@(zCOzUXKC21>E3zQ0HC~9OZI2y^0VlAx_7L$z^ z&8;Qr%o0?$J~|d2w|0_BZYojDe0+<`uvjaJR6m2|h$&Pmat_^I>J-1sHnB=<*nz_}Y-xI||4Syq_!!P%?<*$&a}hgJ!VVcQLcT!Y z!Si4sf`s_>r?9M{D~d^oiUwCVv9Px`FJq}&f?3ek;Y_xo`wa_MyLA$3BXsCcjUS#B z=(B|TCp9${{El#mQHBudEsz$b6|7}9|4Wtf)YGc5v<4C`DagD$mo{)JC;tp5%|OXE z*Lqf1sEd~BDN@GH<5c9V?x zmrs-zF0!^Un*@#SY#JURHO>UW2CkEr&nmPlIX~;pZn)Wr2aR39=x;-8j$sspQBS;} zuBbkx8RF=(TfNpP_(O;(H8+J{4)F6%N-|C?v{kL|5f=6uws{BD*4<@B6{}j-&dE;- zgWrsJCda7i2-BBpa>Qt(t8o0LChWYZmd!Ygeb%1g>ELk2gSeYosL{o{jgY0^ zSq+S9pN?D!s=vjT*R{1rX)^h!oqy;9R?^y(q&?0Y-^aR zQ-UfMt6w-)YKx=GQpt?vHn^SbQ-VE4rDM1rc6w3X3DQq-J4=ZXw7V$@-UTTR!c3Ib zq^&lYXtk_eHD6TUxo8*YX8w|pny7?Dm!+7b|HW$pwn^;x4x{B!HGYNop8VLq~5LH6Y7|F+ zNNnmqsv0IA4~$GUUpK3BRy|dX`n29A1fpY0=$I>X%o2=#EEmlCcu^N#RGJCJiU^ZQ zLTqA-Gah1^q!~-oelvzAh~lDgfJYphB4oIz*m&BG6Ib%yJ!z$j%=j^s?jbTw^NkST%5x6kaI0e`a ze@~>1PF+G-AsYUWYK)!=oth>*2ej5=$wbyjoz*0@w#RB-?C&j9apA^AC^idtwa`_0 z7F%!K*Jrs!>rKUV)nkhcR-?63SAU)oCM+|RWnlBeXp}x5orX4tMG!e*!Io8j2R*fVoS`wxT0Q=}NBXQB``ku5tyOir8p+yi4b^R(%aR*cT&~iU3^pc5%C;OKKusx)|5=5B zW6MizIw@c>=xV+u!zR1XW{~RPqb8fFyUGY;ss_`5G53`OQ;_adE~x-n?9la4;!oJoxN)M8P|$wA@vv^cLxR))Xy1M z$p@MW37h3YIiZAWl_b7cZmV!P0dF;JfLi3mg~L@^%?gb!K^s}8IwzCMW@c`>jGTD> zmj+Ih*3e~m`UlFZY}L#P>b}6f!jV_;(0>{PoBk_oa#ow$ysl6Ajw357P#(?k!7POx zt>9i}*CTfSDipiYs)OmxTK!sog;ZeTg&g$VH2x@x&NmRv&zL4|L6FsLd}&^~rwvyn z4^O3$4zu3|+rFrW{y~5uWLWTF+ki%Ec%U@KPdxVsXY8X)`}+K@B5$FhQ-usgdvpg= zr9gJvk-*0IQOvYxmt?TumrBB^QjM{pR=dwj`7wpehRZ0v^bc@+gJ@5FFg`)aIulJ0 zT;6X!yWZAtxVkT~GxM$ytX2;XC|kjh)ke~5@jM!9Kx=iP>8YUokh`mDE;LIng$#(h zw$) Zla=$=qZs+_IkQJh(c#@LZ|ob90e>s<_C!+Nhbr={Mp43l(= zIlU`gL8&=kTt1YTU`>N}hHCCeEs3G?BC?*g)h~l^+GWU*_;uJhYg3+j`7lu*$76Q*>iDj+F%!W23av3DIw{ZU z$7{7ThB)X4HRQO&VZb_#%}LXU3PgPE+kOMR4n-{Yuk5wijqD=rxa28Ht zmDA?Zb!EvhmmMDVv$4~J(;!;#4}FpY3zioDpdzlX^V1=>GxiUs6s@!4@j%XhdvVwC zFC*I|v%-7#u=B(*al_c@fn&lxpxXQZ9>$^IbjMw4oK1#EHeDKM+U1M&-u^Ndk-T3w8wh>J(I~3~`FE zE9&g0+V0mc6W%ZHK$LOS1TV`ca?6V8_o`Y`?wv_8-xg*y_}RaFsqi=$@rDeAPE`0} z4f|{Cja5&QYAOtK5Kmewbv0Eviz^`tf+kXaok%s5jp{4uFDPZ3jsLOymC5BT+x;Ta z1(}qCOz*P^41>_EhT7~gy*@S+w8@A$SQ)xT7#DSNhk9+m*Un@;!ac_3V9xtQH;(kQ z)H%LzV9Yz|#xT&(1OZZmYGwEX;2di}#9lFp#Xgp+J}GHUW@>a~)|P8{=0~*5{?RPM zW!Ptp{*f%>9ak{OV?(#l{Qf}K7?WEV*WDY6kjXGCOjpY=EwTX5D9N|5@Z$47S-O{~7v>9B??9Vw;0)d=18$|wJ} zAN~|s@s$%XjBK_6gMu~<`dPK)B}K-Z zCPI3NuA&u9Mn}1PHiON`WOrT!6@#gnVf~+#7g#SG|0?w=;?5+j<7Yq!0`8AO2`LxQlMU*H)$_NqUqGHmaeAU``@x2 z`C>beo_DkvkKa*X7;mIl()Mex_dF84zm>_VjOYbn4b9o>)Qv3W^n>?&0u9F88#P|) zofDd;J2t8ICma5*Wj5H?Aj~y`>m`oUk82S&VtyuEiljWu_K=|D(57|U2yH)R@TAK1 z>jeZ;l_bMf&b$QQ5Nj$9+GT*-PvJHOHJb=8cb!X zvZm_9`2L;^B8~7ImteBeC#wfv*S?gF92p29)sTO=1;w5p5BXB0g?F*p;}ORJxf|0{Ie8%aWyOc6l{; znBYG(&?s5W*2w>*-g=5NrI4ptS^GRpANG^ZcB%LI4Mr$>Ua*fc`Ha2PLSm+qpt|hV z{79h8&EOd|Sv^U;qX07LoYu~E)%RdyV=S~50CNmY>E-h5!)Pz3TE|J`bcb%5i#i6x z=I7lomWz-ez&~V~(&El)js3V_j5@wV8oNl@cp$<=UN37({UKTKON5b!xSC~4h&hRc z6a-7GbZ!at+^k_hUioW@y!qX{BDN&+42%D%QM6*^yz1e@U`6OEunt{kes&wN4yzNz zXQdY)_h`2C@dWkc0qb`e%>V5&PsIx%{2JO&O1R#g{MAMHl_9c*fOVUfM~)X~|J?Sw z^OJc2oGMIcM=_X@keHKm&_?Nzw^BhVdJ8)hwayC78~V;u(Co!?KcU+4&NNufOyS3l z{ex9FpYd$y3_MdU$XeGgx`n;p0C9V9;J5nRX?inr|2mw(m5#%;AQR3&VsiJ5p-8{m*kYacJ@@n{KsRgo zHdmZMvYLhss=gVb1iV%{;~ZXo-ekY;Dd!zGLNF~^mCHBUXa$DyO)|J!@0ggoUe+&yu8x2*?Og&Y%w@2-A;qZWb0u@{2N} zWQ4lXC>mk-|B6tgQ+9vOt6eWHpE|&Y|LL!kKBDbH6FLDO!}=hFYFW!mOP5*%-~Y1k z*VXE6$Fa;e$hLIz37DlSW3#0Fy)%dJ{kq zJT#?_?rSc`j->Ve;Ko$Ox7$ljXdfE#KA*6nDaFWg{g`qe$}Fj#siNBoDWiqQp8ZD# zjH1r>7L7~jYDH>_N43C=<|pTQZdS4Cik0j73Y0HOveZc%B=nC!wz5hYy2@Ep{8WRp zZY`VmoXx@a?SjfN?jd0(MsFRW`YtDxh^qjt=)}@hzFX!Cs$|L;5B~*o*Ntj>u8P(C zSb15y(vdUzJM?4Y&Ro?C0`>q=nr7RlR~oA1;eSr6@R$Cg?!Ky$-qjgd44&a2K-U3C z4eXdp$-Zfy!n5u$*9~d7cg901`+A{+xvMA2t(uK*@MPM~O1?UhPd`Px_Qm*3sR7gM z#q_nl|7JD>DkE-M%nMFuR_RxL&X99sZZtf9pAX(b1Viwyl2B~j9)i|9{WLB8q@e~A z8+$2u-+Nj9M-Yx73nR)RU%?8#GUD^(vmzU0vJ=Lh&Y92AYL$1R&24^bzpmnf?P6lL zg~d3P74Tz2p)LDY=e-az0i|K-*g(J-GLE7H?)=&E4FOua0q$qJ9GJX{_GaH~GiSje z<*$iTGe@nHDHSEzY2@zWM3}ObgwqJ=Cdi3)`RC@Yd&`}uQaH74B?XJ5 z2Yt7zX*BBX*TF~_R4OzXMHuYA9&H6Ldl8>Sy9D)ypRMC>AO~NU6V?mz$sUx#!_=@x z2%iOI$MwZyYy}Du@`;5tlVUsaG!|6IaL=IHLJ9FyX45&m+JqX&2U+22(RF#!cC~H~ z%^1hjtW<(fGoPqiU+2_LFNs=_@HKM99P8{zUghvPck&cpyV8XBimToez_eo+=4&+g zuo=N4E!JG-XT#g<92$JPxAiAlJj$V<&o^bS3~2Y`!cXHjlwJ->K%amIWH+CBUs9r~ z>fMPOu@*76F#`foH4jCWL zrHBd*b0E2E-zz%3-?#L49FG1X?=1RkWk}R}E{GyzyRR*3i$QVa*;AuueDEu+ z{K%sle&#i}mVK&6a=egFzC=9u=p>ChxWA5ys=m=v#5NYxyoTSuh8N7kQ{h{%!_skG z$tP)R%y%B$KgUKI9{ZMid3F5mx)NbL%B;bp(1%OTXHtvDiIiCE6G1-w%(vv>; zS^iBbY*GgMA2&lL6fmj&4;x=~!pj@K-5;raf`TE(@Ccc>@0SGB0s^A$B(lW|b857* z;6DYEr&t++C}rt%$i$CO9)N7Y&QsBSsrWB#?AXY~GiH+1>(bD1Yx~C6@HVjb)1YnC zOJ8QfLpLd3erw7NAzi|&H{Tz4q9@b9ddQ%!Qff<~61i$ho$S<5Psr}1uSuw%U2#W; zCl1bSU!}m$-Zlyua)Dfso@CH(T>^?R-k%!88&V_r$d@p8Na5Gi0~4l;+~9&Z9qJiU z=5M6FdYeE(A9<}GBuHwB+aKVxYK~KC<5B+L*mr$STD|!9cO;c;@}7$(3jdG0S%bOu z0cCRG$HWp}&;jqEpITs@ljI+YA#BMBi~1Df2zHR%2$=<@AVOF}Na0@tX96GN4B&*x zILJwd8NN_z@fp6*(qr&_?}VS8fR!`nd+wOr@4Dvh`|6zQ(=UV>##C>~%~z(~xl!y~ z!%v-unuMF)i*ALF@Dj)htut>BuWyjHy?%-R4dedbG;$ajIXM5jJ`&UaGE9JxfR&wr z;r|M`|EJc^{{Xo|86>K<{B-XmuzW0-S}c}GE;>nXG)casux+`TOZ(HIYGnw)G)VRb z+F9-?+7MW*&?dOU69RCX z(xtJ!fP58^LPDhwlGNlnkE1d3J{2k>HrSkBnmc}{&65b722K((SEDc`$!qG1OFS_Z z5p$oo=wFxjibg89Uz0v;Z19|o5JQ@nPTO>P2`+6-c;pBy>SeAdW1>EA(%B5#~P*kIlj9&VKFja@}g@ zXu1|g_P|Mq)1z2El|28I5PQwjJ5tO4$hboR&|@G`^h@!iZi)@Y`q|ggG=jm)K z|EW-u1`1PPaI9ZUe-Xdq@CMBab!+>wen&G*6q^Hyb)cyV__mufPd$@4@ppiz7E}^C zUq6tY;1{mXSvNsm3DTKgh-B;hVbzMBm{ZBC25oCXoDQ7Noa1u>a?ayxg1g5Tb~cBw zMFdmWGA1 zf?8<`#}ofMS8ZhV@xmACr!Nm|OBbrT26s^pq8mGH&aD-iV#L^i%Nt^YVRwT6h9iWX ze*?oWUl{6d+iBp<4j4u6@7M%c`m3{vI%+^THf_BWRD24X@x4=Y*vbzhfKCSyt_^aa z1I=tJz%1B-F1!k*!6PP(H6waqxcuXXGDjY#@28gMz8aP|r`UvNHJ_~T<1*F_#T$^A zcTMC3G@7?K=gT~GuZ~{_;ZVyfAVOb{^$6;e$S1t;n9Aq5`(RJvaqZ>lC#wN`?*h36 zaj+BoXP8T-5Px2LEV`NlRgDh48<+#y%M+9r>hlB3(tJLb@%y7mAQH|R;(+#xm6qV@ zubx4sT42d0_O$eoHsKz%YgwZ^c7ekq7K+CFMHo9o|43JlWWtAG!Zteh5S18<$TII_2vN| zPKZma-?b;?%<-ZMeiNw6%!Hn z4GRec0|8#*de?1PmsL|yk4;OcowS_e8EJ^N;gQkdF-+naL{TAj-Wp|eBpQ{9l>xxX z(Cso*NRdGSKzy+#=Fo+1Rn8VL*b!!(0WjLSzm?-9|Ja3(=2o?I#3`AvP{O)c83nYa zL^ii67!*^NmErtj6_MC{fUOz%34TM_J(Jsc)=D#(KL_nnSn#)UIQMeqJ)ZF}r7Haf6H zdSh5E8N`U^#Cw_e80rrer9)i`9m4O7i%{WC2b_fCs7HZ8#tTPXz-j7ooN{BpI~l67 z#(C`_7OmAs?d%HHJGPXsu7Tk=x8xk0Ng{|xhv*60>IM$LE5@8k{dH`H^CmLPFRv4Z z#0;Ah@D@Tk43hwNs?S4+bY#TH9~##5Mum<8`bY}e{2j1HHyWZAmKNb>tAOlQV{Gtv zJMs{T$nr1@%*%*?M5mV@c|$lbcjVC2J_jzW|GBpv4dTF3xJ=}dk!7Qdt>c8Paw^=^ z-qyH{rlq+Es>y(w*Ssi@(i!$JwvQRX4c8q<=B(Y%jutQ4OR%%HHZL^<+L{rOC!?@h zH{+&pq9mkosidKUTt?P@kAl0UU3JA2XKZ`J6=+2s=c!j7|4IO=MbO>43R);=Hrxm^ zmY^}35}i2WK;Fs`17`#Nw*s?~x8ZNgJo(RvUc0o{1Y{-11qf|>h@Kjkwi!x-S!=un z`YhYypVQrvj`&QhvC4cm7bJiMC?`NW%8Yc8mYKDzglDdwHuo z&9$z=rseJuzVJ6Owo^?)bTpm275U7*T9}g=L4&%I`WbYU4Vkp+?^ElCUokw1jKXFr zQOo6TR>OMPAZHM`1YCcqf3VC^0-YByrNYWFfnf3-$C<+>fCUq=1jyGp-;Q|ZlEdfP zW6a^U%;~N(PEF7yO4QxL;HsXEg~-K-=S$&0;8{SBYgC)za+(0sb5F#f%fJ__Qd00A zQYwiO<5c?N8V_nHRhcag`#bSB4%Pj@_oObCuBoXW$D_7htb(^R*qP(4xt&Gf1M|3hJpKwdaph5 zkh!3Ojq7rZ1}~G~`|BP}aaWJ~4KNBap}w?ukY0USxU++po!HL8osY>f@Mf3x2w4y@ zd-*fl>Q&m%5qcCedswQlbQBG-br$J6;>}f3TQm5P0#8>T5rzB~CfBr1&2J84hKlZZ zXoL`pZAM2zfh0+!;;Ib`yfM5AZb(7=@dWcmgM2@aj?UJcizJ3OHIN84*}z zK3S$d0h4%h8SkvypmE-OcN+uRw$VHT)x3@5VaQVPWz(|h- zg_YYXP$&UiDp5O0A_**sKNaKSiaeOzlQRN0qSkOSlMZ<5AN;t3g!xOXLhL zXdNPD!1yfjn|qEI-uOu-w7{nzC#=Y_r?za~w}Bsa96UQR64|~`Ivhx0p@Cp%-~B(c z`Je*yOT)i-9!NsGFC8cGOvQ(RK`In_J8EnFh&Wrk;!fSS>W~Ua5y2Ikyba!mOF>26)VIS$kgVdJ z;H1p$cP^6}2#;LQp7W}3nUFTQ(YNci9!W5ov}XnD4Q8iV6ib|=!p@(eEF)9D|o4@jtwGscSO6i|x? zJfj*A(^qua2!}9{0$70VT05DM7FfRGm>gQ)wVmb{A&x*3P&}}?qLAm*hCsgJh^aHe zmSnhjFI<@+3Oz~=^qm7AEwdYXVBkQ(BDVU-zU)D7tk{uMt1E+UOtM}JczQr5q0;B zdFUHw(>pZNFI+~lyb(qBNCeU=-9#?E5~=n`6w@p1MHamgN%n*-V@TeL?t3Ho(+|9e zYK&4~eE2`~9(>wz{*avH?tU81{A4`z9)9-PeUoSTWH8F&=Wd!tJ%P97m#Ja_lQ)vChTYYdGkSyaV zct%I-+e3n3_XaO8qoA1RAtePk1#R$eMj)_3XvqvH4nGq`jg(rWSDg%qZz-w4T;B=S(A_uRX?Qvd1U(KJ5;fYV8i1*JO3Vo+Olgty)4 z^wO2-^w#@@xa(oTiaE{3{>(KnJ#n+Rn!-jiLy23Wr{v)N5o)0RxA7%7b8J7M{N2&S zU(M0$a$6BYOU+AU=UkAU<#0=4Bw}2a*y})kl>WXDyNZ3CKq2d3&d&r;&Ja!AC<7aL zSMVg5Us>x*_{I}nzlb&@N%(`bglR)bTNEnGO~Qihz??}hebFu3*}D=l29ET_ruPRl zmy&!|e*eltf4qQAk5x_;;w)!JxW`Q3H}P%YRgTM*rxoe<`^fY1t6T&tcO`h{^eb6W zQU?;JU7~`N{76Pb=1TDxq%IrRc{@UV3z-q3^^ZHGe-4T4+LN*E{$t6cZX3^@B`ro|TsFv#htfG$b6`5(GT>!;P{CV-SYXkQ(t)F-65%W)!kB9t-Z zfl~}rlYCf7fM1Aw8w*T9g+1}6kOM`SuG`VtgLM7?m3sB%e?H~KYVw3m;xPycISzEU z-876nA}G9~l%Wq~5v6hKYENRK?4kl?CsdKSR18hQ$?n7#R8-0X33aBq{RwNEb_}Q7 zo!^gL;z^Y;$kHzq1P}tk@`FV5 zbGQ}Jku?n&^&A{`quN8uIfN?}khtIJuMMdJ)4ye8V*ZS0=LzZEA3#A&c-KFu z_4^CYLH`I7lxH2vxR{%D8SS?K8->SrYu!eOVmbG9cb6V(fCWPRK1eKska+q%=+Ql% ziiv(a2@8iixpd~0E=ah&N~M^`evAl7C}!BTqu2=eopvZlqYs%5DJ!r?5*Z|bcwU=6 zq!{v?DHBBGL?M%V_Nr5QF!o8akj3c^1i=A(_hDO~a>-7;Q-nhoPx3H6SOrGKv2X(k zJLR-#Dm&3-!`-skk=<;)Go^98HKNh7C7_KnJ49}_U6ezj88CNr%@vy*T#=H&_F16#W1wn|UKQSKX7 z-?vxr1BOiUh%k>hlsGkNhgP$DuJTxGOp9<}s)OJ`I*Bmy#IWTdvR8TM@yC8ePy+o0 z%eDpD$JgJ& z+W`l8^kAPUR1XNsBR?;!@<+&t1qz`%4{F@&TpG3!{jqlt?y}C;g3Zk5mDB}iKG@{? z#)#Itjv;37V8jG(dsIVjV^r&z7Q*o>Mk)Jk>R`1FYLeY>;V7gDw&ntE9z6zi1N_wU zpt2=wNIJn6WsHB^*BkBD>`BU66QDvHN*DsLtsbKGoZ7qatTVwipp9}s zBWNLSEbR)-Sqqf*u+u__Iq&aqN@kNSmQtluR$=OtvQ~ylQ0*c?vr)|#Sw3TC8ayjn zR8eVSA=5%PiyzT8Mk2E)k}N?;#TqaPOKwz|;V7pl{MHxbvDfFgW9tW?^Y`6#8RV0Y7neMlIgUorOl}7K3B{XUw-Sim2G5# z#e6&ti=cJxM{MZa4Ofez>(jmTNA4b!-`KFC=e+pyjgGuc&(G2m0giu{Wjd|MI&^f> zm%U;e#l8EI4nMV>4zP`}8`>sc@BBShXL0>FZ*QvM(ddk%euNq$T3JGiE1gfKGt(`W z)?eH_hh{`m>BtFG(UNVHwx;sy!Eoo>I<&nbYCzoX;uAqzc~KlX@c+BH8MhO&H5NV# zBnRRH{t3zf#sS3vcm-#GeZ{&(+g0w<|Hq@pfcyuM&H?TQcT2U4_767400{eG0C5BU z0@(f`?H7OxAa#%ofUKXG07xF50!SIK3NRIrg&&C@S{zUq1SF6b(8a04_wMJ+TlGWH zLy+U@Tl0hTiGEftM=UqLgU_zl=v&GI>q*=L*a?32EO)LWo->|3-x1HH*T7qwV{hYZ z`)vE9d#huqW8#C>iP#CaS?vRsS*&CA1Jw!DiPQ=7iNgu3S#{%x<}r<(RCX^V3_zmMb{25t6%E}Jqk2?P}Hz!aDi(gBY znpiqz<;w#I2#Zyzq9>9f(8Rz1$ur8MqLu|t4WBx~O2&10tS1=*3D27fn#OWngi^!m zda<)Hx2G+Qn6J#u>o}=cxYo^P8B`YmL^kiN??ViplGZBMZ3&=8UQRL;w*S z{XtUTd1Elq`SB8s`|o4p*ys`543$>zj;}VhoIigrl;9J-i?)CS=jnv%m4oYn-hu)G zY(xQAVu3}L&3>VvW$ILL%kHNM_^PYbh@$Rlk-%$&CBbLHqkGKwG5a`FmJB>P)A*=Vfe_0Yeqif%=Mce9FqzALTD9VxIczoJEpS8bRK<90*ejxt z!eKRS>8Og|Wd5!dT6-NdPu}9a6k+~#opt!-VC%L=*R{1Z-_umX5K;VRZO*}4d;#2M zeY3f9!==l~Y#iL#VNn$Y%2mlPfpzN2u1(6N43ku;A+1<$U}lI%e$s-=uN9wHMvtJu z)C-^kpkI6s#?`zET6D1)iNz@Qx1pwXLTuec^UOpuzSBn4KpG^b@$8ZlMCYg+**yiz(9%J2&w^KN~*=J43EJZ$wQ$#tyDuHUrymQkD9N zN4Ly;-oO&c%Rx>Rc?5ccMI-{7-~qIVV=7_fYDCl&JT3743BosQ1;iy`WlKp-eGmH_ z#NAyyUp#ZRs%B>DC{bQFkw_O01m{MFkK&sYWXAuda{jXZ=)Ji^Oq(iNBfkf;hK zi39_+P{f37k!7i3?*<&o^80XQKcrK-{J@S^ZHGeD|MttAXW7CG07gEi9 z@|30}N;MD_w9q3|v=5vbwI8{?NR7tyP=6UK| ze`I=OxveuKFk+<&QIT>#m|bs$8Z9A);2$bPd-E};Ut+Z2+~qj1@F{~;pl&MgrjTTU zY3|!1A%@6%m;$r-@U$lANY4HX@>q7kpgYxLB^z(Q;bD|NsWh6k5<_y|? zw_)sGn0Ds&yI6#$>M{;F|> zrp(r*GIuK<-^MD4-~ZAz9>J*|zv8qw8?b93&dCSL z3Jdwd^WC~ikph}rqY1r(y6`yOd4G*^?>Qlc5Ge);Bh_ivrixWy2CGo1?{7(j_YHt3 zKU_-vL0~H>E$$~IT^~ESQxU}KVZ@!$UBxRaW%05uDlAZvU7}QUL7#R_EfyDd3EONG z**j~;Tsp5dv6cuBWl;+MOKC2aG_^7vA*aJz*v4C-my^5895jM&8F=#x)@TowI}5-AsOVgn!?Uw{Q%XWRXyLQ z7;GCA5hGV5OQr=4Avi{|v~cFn;9qv?R46MS2zDaAF&2f4sSKK1!ko~MjHPJq)S!C$ zJ%NZr58Y}!qNhc)+bGC5PUIR&K}97}-6Nl!Ml=vR+vCwOc>51iVc%gE#zRhI&Zl7Y zL}MjiSX<5Bjzj*}x7_yl^f;jr{&99H;;GOkIYUDJ;3PSG#d0(y6;qHHXoIrO+|rx8 z_iKlLQt1~y63y?i8tMF+`9v8Q-k_+lm;xL@3RCGe9h0pJRfurW0zX_P)|ABTRGhfB z^hC~5D{~FRhMNGwr%UOx`R%ZTOMRAfGENAE97~Hcrw5hM=<_%QZ^b{RixUx>(9uOt z{wwb4RUaOX-vbJOT7!YA&Qeo!^eP<;DO-xTSRGzoRx+k`j>6`a8VcUjwKmh2X@p(- z(1A_wdd`ybhOKLQHm8}6$7a2_t(tk1NAP#BxC(|)6*5sJlHV;sW1`y0mP876d4a-R zxMOlfGm0!?Z3#HrtX}8ZQYOt#o1Bd$CGDlZH=D?hZF<^GKO!SN(Mgo)RnSB?&wM<; zrk?jB?6a#8HhCcmOSPWxJ=?@>L9W3D`Q(koVx$7m*h4`Bm9bmH4$rHbLLo^Bh4^Uj zXZ(oUT+KOD6QZ*j-_tC}LLCO!I@+$*nlo?8dakmI)phoK7Q9t-{xUgFinwkz`*x8q z7aq);o#-sI8qLJY&!*42?|5^P>MmN5gO{QZ2>(==>RER^y7`Nk}shg%4Gor1z#H;DS@h3sFkuYz;kEx^AkFcQPbj&a&4 z_~@6=+G=9FK?tEPfOy0BTh-?|BEggTN*kMp@vQcU(qfF-h}JV1tSMrXTNAjCOJbd+ z{n8~c!6FLvqBLUaYp2+#ND6;9)KGCy(VrM_39m_gTBaMh@ zR@e3U`Tepin(UU+Z4^(OpXYI`OUs$a3T1DYJp3S^UE*2O^^x*n|4jTo2Heig_;y-} zpvTUA(H&L(Tq*VE%)8#w>x}N@gusWuQ(4dxYc(?-?$R_)7Oi5@!ZoNeIHeld9mw?M z7E#kHW-U+Pu;;KI;><-W@tE`U&bM0XOz+D7g2ZNkR?E}hjpPDw_vrbr5;b`5j7Msz ztCg*9(`0@aPFX+W{^mdJnLc?uG$N`%84xdJIy}I+_|UOsc1&icwWP?}%;P(}ostr_ za9IFHjlGFtfW{V+Qv|(6w2J>Ywi`D{D3Z5{R8>M*uTv*ZL7ddfIkXiTc7H2-_W0|r zmndCI_ELJYs{SzCXRK$t@|d}%Y62gB0-g71X^f?mwqKwaT1;)K&K`8SB27=RIp~t7 zTR@c0jsZ28t4Pq_-|G!NS}W|$6S%AEA!hdOur?|NdsxWXy5iOPnet}UMtXd8s$q#I zn@>lo6w+sHBWEg_r_sSfbWiGfo5v%;m0QA)R?0ajIW>71{iZD8q&z{jBMxyIzMJb0 zH3P7Tb@7piZdi|9q(sW%F===e0nOfx&O{#!O8K^DbuBAi+Pi{uC5n8H@A;DB1&_O` z?zfv!ms(01@?Wk_hBEgXqU5O@^kp`Bbyn{iIEJ0u{j8~wWL5VgEX&)Boc6||Pd{q< z%q@@Ydv^Ihlz~UNE2vsLbhT#Ak)6o7HWn;N(UTi>mKC1B&L&n;GDY1CM(0K0!DsDy z+YHqH?3#9FYG&m`vSfoX=FJN|s-zg8pcJdPzY&zHo+E=l0w}-!5URVKFg{J3cR5tM ziS0C{?3fB}Yyzh}{~E4tMuAa&NZ-zZ8S*|aa(tlGX>9--!u_X`aEW5u$43a^o{GO< zgESV{LJ;c=4l{;y)I4Tq(2vtDRV&yJ@uyoK+h;Jd(q&uO^9t!Dbz0eMb3tKe)!nLa zzn_1}$;QKbuZQ2M)0b~9s_@vk{kCnAKK&!_gYlR0MU4?jpE&ab*+<}b6-?w#fim@C z3-}is@xx{BxOj0YUEPA$fE0(GK~89CdsJ+!M)|#6y@k8#pLVg&+x&L*M=x(-dEo*Y zLjJxlavsew^p!Po^%F7(Gw#bPX=vc`$r4k?s4TYn8Vcgn{)R1W*Y;d5mW!>0Avb3F zbo3I_(~;B>6^Igk95 zJ~1J-9hjzFuW?`Nk^YqX!y-+dW<3;63l}_^J5vikb&?d-<75aW-*ZheF7(v0DP7Ma z7NQ1DuyaPJx?<$?=Kgm&zb9Ex?W!g7eWD;C+|BM&T6>4B6oDPhzKSW8RbDfVKeh+( zR-0#0kfu%@y0ZVJw5tHCYU$d7B8Z5RO348MX--FC6`~TPlj6{hjv~&~>(Aiv!q#Q#xkmE)TyzL%>`sn| z>7S2hl6p`&`u@)81=o5VJ&C0|#UkkJim`{3>m`A6TULSPQ`1)|d%ig^Jp77qwVKh1 zGay2evn$Fo2p_oWu~T^ZKwp~pXh@WSSC~|Ad=BMt+{`$8#@$LO-t|{^MRs1FAtt_= zS>%IiZHpRFk+}bCh9O)uevLUoX*>#M(v@lvy&rl1(p7n_od@H4RvRwE^S%x)gG z>HUGGsler34_QFLoQyY*&NZbYLP{rS@2Q&$YB1hBIKY_LnHpyeuW&GWCrAldB$1dD2!aILhzT7x^>vCOs{?>Da0w%*=_slBt3sVmk zGfT8(4Bw1LOX^R?1)TBqqC?T4IgUBSH**eMGCN!|yMv!*w6sF=yI&KLw>GarXfx72n)}&BHQlE}*S6ck z^?cE9870oXH$J_)-REUPdpmct?jdt>TfQmRDr(h2KB$QWnWA-8dx^NB)l%ZIKy15P zcll-A1A1~pr@}{0OnW=9UJB@gn>2@TiaHI;`@*bdRK~6)M#sjU?nzJy~wi*YSmMyxbruT$u#r8v0N|e&PWu* z^H{PUIZm>Wt}RBh@Km1a+lbyo_1mP(zF^}kbKXg3M>K_aCPdAi4wqz!J$c7Z`QU+l zG)<;SgH5hdlvCG7xa!AxuNW>4tr*srC`2~DU<3al73~fWb%Oun0luSdo(oy5Oq)gN z0$iMqEv5uNE6Wf3-N~&1VXOB)&x}%#R-#fZPxuIjo^Kl$5v*ZwCzf$Uv{F|d%JZ&l zh1&=d#9UQP`mQlLDSms5k6iAZCL~0%G*>Ifrb_m74o-BqwdZ(wOw12DK5{ko4qBPK zW-tCUXO?>6xq^TfK8r;m-k~-imFB+X)$QHUl90f}jF;k$yDisTUG#fykUGDlT4z%2 zyni+8d&<}3bD3+S)+O_7S%q-kEu+{7ojKjS>}8_5HnxEyfx!dQ$TMdwVq&N)S;7YF zrq6~S?01YH>;5+0`+%by?HWlqalb~3&Y-1TU+1x6k%6X0FvFtAm4mmEiQ+L`*{@gB zI>>FzYUvCcJ}b86(h_e@v(4W)tDoi`zls&Jq;>+QAeUw@K@{P+Oja(k4(-XJzeff*- zUA$4r#r4R=`cX5IIyRABn>rAL48iiYyFyBy+~#822u$h2DjPs-C0f9fg1M!%;ViD%?Eu>{M}pWZCsD_OI&SzgMsYQr{Ax7!*-`)0%}?=7{R7=_q)1 zcE0KCVr#2ctUD7Y%cc|4aOLUqUMr~&8dm&-?~dG+vny9LzHiJE(a$cMqj?N&cAUYg z?VM*SbVeh#u(eI7c`HVZay^~K%9C>u2Wfu44u*Lbz(~^qV ziNW)O2b#Zju~@PN2|vI4khLhYC{_AyYs~Q%Ue~5JDG$4luh8d2euz1>z}(x*UHR0* zz`ote-keW3-ZB5aOJG5PXP)$_(>drCuAq)H;}tbCp$R37xkkK&`L9#;)6&uzbZMh( z?DW>$a#1G!d#poipX#qZ{@}o^6VCsN`*?Wh-I)T}Ky@df%EtzFH0GDppP({w@Y%L) zL&qX6)ReKc$hCcK%KFsZ4DUE)DH43*yMsH2(p)+hxBS}WU>i^Da-HitH^ua;=~}LX>q)oC|UvD^sFLjF;b(7<#oRCsg{qj9s1xWaziyX+ebzm4lmEevi`B@d-EfUkcR?OSs+>2ZkR^ILUE+hzEIJg|4>cy20&ar&LjL;%(j z{zWXOs|P#leXpH`C4~H-)#>6WrY^)Mku^u`)4cDcsY|*_WrtcOUJM*}zBqtFMonN; zE;uEi2WPBxPaE7%O->QB+1kL-dl)9`ytNiIs(JUZ`bs1J`fIi^_NjB)ODziGBad$8 zlnqCht=YFdy)c#fl9|LnQ;joJ{1l6J>|(y(_1$}|iWRy#p@R457X1VSOi9nb6;ua{yKTnp2l+#Bk@-HG7#T}z_fnpX zUOv|pnmZ*LH|N;32R8B(zmXgn8nAV94OgHVS_pl=(llRNo9+KnyANNi?{RhDO;6U_ z%AC&;f<_v3GKTr8eKwXn0@_De>nLK$`nL~uT+C2ErfK&=hH>0hlY{wz}!IbpmjE!gNIz^y+=`C}s6TF|5FH z%2r`K*PLw!M~V)u^_{3D5m%e=n9$~9?X3ypi@x8Vw=d&MkjT1axG}=bDU4T(;XGZ) z2a_ttc_G)(YxXf3sgKz0EmDv6w?z0grx6?Ug)o!m1d^+e96^J>BG!+$2qQm zacc(TOPugrYqO>fu}FdR5mFX!Z~a>>&#I(6MehfX-x`2Kj{QTg8M-xXMv0i=CBr;V{ol~oFrH8{}5?@zJp;~yqKl%&329xGY-S*7_-&a)I!LZqMeU@mVmqH0w8coTl&f?ihZ@C^niYF{9Mz0gi znou##&$23y2l`^XmST8{hR}laM@vOJoRam7P8(9LM0Z}PTPcYPuM}x8-Ol8`!K=nk zej)V12jL}+cg<(5J^Bg!NwZCtOG`XLCgFCPS7qL9nx}_oE*0v3fA-|7-0`mCx^izL zg~&AQCWvdUtMH`K>l$8i)*CJ@Htn2UW|wmEK2y16>RJBm2A+28#Ilwi$&}tx#71S# z&Tfy0m34=+@{q7i7w(MuaOT*>T<-U!PbxyRr5Ce%BhH@7ByXPk;NVck^{@ygY>ZwZ zD@Wwb+>BFzFTE+C_?q`9TV=m44OwRmXO|bCC8L>cf%(f6RV8J zJ_>7cA4zviREVb)Pt><~%b#HH6qa>mAPHvc@FqZO-Ph~FMKc3mQx$bvx{OY;+UEt& zTDY`6nCR;6k?qhhc9Aig{%ZbgwHdTsxJoYBQJj6A z#Zl($kZI14tAQL3Gw`CEqD}Pn$?`!VlI#T$HCjgQmJbfw$p&hHKllqB&2sH8IZ>|h z>SgBr7bW>&v#qplqZ|f88i5An21_r$bugmBH2BHOTi(4Gc;By}`Bpix+sLBtNL-g5 zaoIg{8})_x!$#LTPsd+W1BYk?@*eeb#tFNv&lphB$pTN5LhbZF+Ypb-86O z#*Rx5z1dhXxw@R}eM|4#YMe~tO*NlVy2j+X4^_~Om_7y5-aC$pxMGZ3T#4MBI3khnm5e}pU zAtCqF-yevXJi$Jcuggo@t3GgGN7;Xa`_x_;Vyy60UF-JB%hMI9>jJmmie0JiuKt{h z)yD7SKA9)UXyG-Jn0-F`_{n>&0S{TuAN~E z&g?!wC~MEO@-5gI;ce}@n(ZH-)G0L9nWs#z5Rw=27{BLH?x7Mw!Ra=H+~R-VSa+bZ zH$8~>N|OX*^RX?rD*hok2RWgd5PC<(&AUja%rIL2arnfS4CXUIKJu)zX>;k=rcJG3 z)niwOZWSL_!aS~k3u*c;tI&s6e0E)SH-5j6ox7rqy@K?m2Ul}< zh`M*FwrI)I8zj9S-kx}9U_gJhmc8&giPKWu8lBwJY45?KeAVmOPNubb0axUMODGpf zNr*olu=vBe9A-%UT^<%dwlo>9ksR`u@6xj$iHywmoEOC|D@ACu#xeSF zXtYKprY?V&?)yYio8~4S{MF^~Lf~Z7`{BX)`%&+czs@`&U1HieHq&^n*Jf89_pMDY z%{TS=3K!#B8<^BNi>$s_asu6l0F+D0cZqek#s|*z^-d2u9WNWo&dkgt<$C%a5|<(* zXUO%nsvA?D@?|6U3?`9ehDlSj*c@)N$Lqk8rMXFB)vcPiUPZoebD_bo*rze+_fDo> zcE70A^QIIPYrNSe(n6D7&T6l$Dj zEw4y3)3Keo@!fjTgkCEo8Fuq3tw9kY8YSUsPy3M%of?H5qC=0?DOOA|4{8hKtpo z?P&v)C=(^wj%32=k7l!rrBSgj&s4o8uTy{57H>K(il@U4^%BpOA?R*h;U!C6w14%~ z#&1%z_DlOl^6bNN@Ax{a4z0Yk!#YvBr}%vi?OXC1`AnrL>`y6vWh?k=cv?sp8&?#e z&F6ql(Yp-kOs_Nbp&OhxBV5R|tf+=A*AZ=z260SEzq@pbWSuCPU22tk=b++wgRKj( za<7Q;lgnGg9Aa3@%ebp_NkvKZ%xkrHH6Po^jjZX_+7xmIF>}i=^|N{8W}Dkyu`E-x zD$cq6o-Z2xT1!$}u7Yrupp%OZZ)}^2g}e(Z{t*(k~d^7tm~ty%!o5Mt+An)5MpKozFFy z+2|dzzI1J!$keN!2&~ie!!HMfH6y*q-27`lMu_@!_IK2;E~>SCwGfvk=2);;Jo5}j zWY$Gi94C8loh!Si^{d;%@Zr&jL>;ljXf>b3(^&hdt!^nBc^~YZPffLSws#xZECb1# zd`al3Rq~<|##W2w9tBzyM)}fM64&1#;acz=Y|C;v(_m$(VDC6}#G`c@03(NeJ(9C^q?gLm+2hk}j>5W}LfXrQhLkt0{?~W-s#u*YBN1cQF=W1- z4=8=MbQr3=khZT|k7|W}uV4*uYtDH^s81?W-PrYf?3gdgHMbc|l;-tBbk=?NcJlR< z`S*`v7o5|WYFs;CuDgoQ6hB|s?p)Xn|6sJIyq@rB^Mijyvq-~=aKlQizp(D6iF^E* z&!TYbMq!o6%x(W@pFLI&cgkz=pNz(hGvtIk!xGypbCC84h6!^14}Fq0`}QI%q;{XY zU*_`)6>YgdR2jWaEgtB9aPQbCaV(KAiKIl7DQgv~$zbF)d#D?e^uy=Ve(Sm)-ZYHV zgEqhKH7h(>+i$zXXDMyuLC?wRBYSDp_5QkrITZhw#Gj(S-0bABtUI6O zS=hUKT6(vQ%hy;|Wc3vL9&c%s_zja5)|XvlQ+)MmzPTHrI|>@v%#oKqKCFAV`K|8E zHm$ngZm@WWc;Y(4_fpGvZe@-9`_GQXDQ>1MHqcz-+%iD(Zw2pYxQCgrg~#`o2$iO- zAU7vwb!jK96ei^rIacEIXHT{}v}O6y_=_||o1`nnP%PPR$ZQ+0-{<7{zEU1(!eO6AW zb+MJ${7!fJ@eSM7wdUjE+l%0`i>YF=-NQ)~$cb-`1hM*UEG-r>K%Eh^)pN?x9Huh#Awg6>avUN5RtDnNAB?^cyfFXDk8J&+jk*y zk2yB$#1Ch-HyS8rwtZIikO{&)TMZ;@+U|v{d)457k`C@MnacL?Qc4QtTzPhnjfLnN z`;hXpZ3Yj`!pz#u3+nv#E0Wi#$r6}pFPt|C$EF;gq_VW6<382i1V$;+|9Fv)S`O=; z>_(wq!n9?LQETEa`uia)~LS~KiFib-nzG7s=~fncz8YaEB((dL4&+M z(%TzdhYF9g`5l$y;4uBPGPXd(w%)WN@iyb&^+*1Uq1~5b4>WiCPkAM@F7PiIn+#12 zt+%@CcSg!jZJOl-i9fYsUO#hDe1~l{D7KKV|C62Sd5vc~Yc#&QtPx0!oqzfKKlG`6 z=!`oA7Ky|CdB`2^Cn_Q$Bx~#7ZsjT@>tNJIT733CX!h%`N|&6hd8XoVn3)n~Wr5BZjer+n)49#q=X zf4eA?tZ*SBZvJc5VdTjg!RpdmAs61Ia@kb9&i<;p;I_HTV`*?*!v;h3Mt&Vh`q-^r z!|Tv93&nTp5qnQ=Pu;n2RYrgpe(at5d6MDhHBuxOOl&&tnEskcv5t{RMHL2Bt{^_O2FMk};s!Hj!z#-yw+!9% zk2WB~=TDw~82)cZ3PM8$4L1^p{$sESe~q=InVXfYvy;1!lCH9fz5$<>77~wghr@*+ zP}<7P!qwKr-PskkKk!0Y&e~44(1gH{(0pkKX?eR??TeCwS#x!Bm%3!;3PT7fnf<&) zB7}5pE!{7<8Nx6qBn(YJ!;nY>42=Uv7$OP#_ZU#dAmQL13q#{kFf{r{8N$#Q6wt$v zqrulhKxGsj2V@8^Gy)I95fDb?LNZREJGM?XFklVpkfw*ZJJcsFR}U+wb7EqDIK3|b z4Fq_?_PhOust_~=e-?CYog|#xZ2v4v+ge*&xmr0{Sh*RJBZO=Sa3LEc9xG&n!s5Uk z1}|iTMgR%OZ;w)2PC0)t5aErH|n?TC6rI`w#7novW{4Cv>wbP>i2H5PpnsmoZ#` za6&kog>cs(Jc>D(G(3bkSjStHQku^LMmqYa_$;aUn=728?Dnt5&xbLRy26I4l_;O5 zU*;e+7owUFq($_$b3eIMuaGQ#S!P9f=FVv7B-1)$3*85=Ztf>v>aU&%HEv!yAOi;ACsD_kD}-qcVN&{+@G!_044_fHSBb)0g2qC;s;^Xid$APn1R zvS>=Pc-4;Oa0(ks#`xMaX@A z?vw2YH6hOK^Akw`a{H7-;vmjq!3B>2H2sUPC^W=!9KcYJFdpJB9s}-v5*xINhuDqA zLOh44yw7KFF6%zc@%vnd!yz#O=2uq#a-QpdVfF7PxEe(XL##dzEp#n<>@RSv5$Hr*vq$8Jr_Y-#$R!nqtw?|vbL6p#CpCrFAf!HVF zPlJ|sG+SMWvpdVfsyf|;*ffr9Dt_oO5XlK(nb|K!`efYZ~ zQ~eaVKuoC0BbPajb`KT%5%zWu;%Bh7qUOWTB-|s9o$|^=-i$C?&m5K|y4yKiNEB0% zR7`ZgS@DtH`^+Ou@HUz{DUxS5xFZ+d(~Qfdo?Uk29U!8MXuq3UOa7U^nDPv79rMGE zYmVw`{8Le1eFK;hHy*_;=ivI2+sf}L`P&HENAWhhH!N4*b@&%P{_*WXNZen1{AIxZ z&T;G=}>zwzj$rWM1-OF+{32jscoY^!0P7g^ z4sj5N26b>e;3ZhwFo1911=dM&=pBo~!EhkqK|)-G^ugM=Ur#^*J-|1>>p%3NcPs)2 z!=Rz|u;BP$1ki^#59|OQWAO+W0mK6g4h_~_NFQKOOd!BvI3R~d;rC@w2rN`4M}zu( z+u$9I0D3?UddCBfLw3G#UTn~V*$$%`vC)7K@b2}C<0*cP(Z*y`2n~B1OdV>2q56NW`JP# z^9BIouvj4vCtD=Qfgn}fA0-K>ga)EWJPt|;pmYLMLw5E7p!mZks08tOKdZn&$p?x6 zaA1GG77Gl3Ck4nL;YcXEfP-bi20U+2po3#T7z0-*tijQceGFp177ZkUUr@}$Liq^j zGt@aW9^3;NpoPFdEdm+HUkn0VF$f62K#>lGMgahHWM35pRMA+-7!U+9;2v}h%rm5l zhlT_=^rON3`~5Tui-o!do~!*@s6jjwT7l#~f`M#e0K>rep&*!U4cXWK?0`j0rd#mo`xX8tADmXvh9VhD!`AaEeH1sMbu4>y9g zKsIhLG`Wz3n}wB=I|PyoNtwCGTiM!N`dNgMbf^x}Bo|U}H*>JHkZ`hbuz~?uO?N9t z9T)wLc%}_4%qWo;<=xW{JJjxCr|z*tJ!x%00guj zu7J>hB_RLB6$0{au0X~AlPkc<|LV$qp#H@bD3bqQT=|y;;fE^-knji~pwJ3FZ4Tlw z0zvqvI}rM-KR?QUIRw=I)8ybWzj=hk0NGzAXFs(4<3 zt%a+zo3ph$OxM}f5+(rCumZbsVA0G021QXzn5LCGOv=o`!o$JCP0-TW;>sV*I=gbK zY3^?yF@ly34lo@nS2v&t!w4b;kw8eo!~GJFQ8aUNcH$8evvRV8X6cHnl{Gn739#hw zKYw6Y4A=z1tYJSfED8-)dFTh`^b-RM7V38ljzwa@rtoiaa1g7&&h_sY91P3v7zPLJ zaQ`lcMG?T*{|!T;?Q2-m;sVln7{!EnFZLm;tW8~^uq0R~c{zhg)=_8;~D zhW*_h$ml^X@ONE+fxO{&4CLznz_8eV%HctN@tZCZ3DU0LG0Z=FLxXL@?|z^`it>*( zP&km<{b|qL)eOX1SMcixn2@IJRV(m}!-O=Po!wzT5vBnXQgE_%hC$@k0Fgo(X2{L; vVv^arZNyxNnEK*Hwcyx(o_~Ri$U$Uqb2oE!-=_{5%o&E9lT$`jmi&JJN-^;h literal 0 HcmV?d00001