From 1255870ba90bc290ec4eb1c3646a89a2f5ead564 Mon Sep 17 00:00:00 2001 From: Tom Zuidberg Date: Fri, 15 May 2026 13:42:31 +0200 Subject: [PATCH] update before meeting. there's a lot to do.. --- paper.pdf | Bin 140392 -> 153397 bytes paper.tex | 56 +++++++++++++++++++++++++----------------------------- 2 files changed, 26 insertions(+), 30 deletions(-) diff --git a/paper.pdf b/paper.pdf index 4c2b0870a1aab09b14a115b2db9e291833734ad6..c2679f5f6c2af6e46bc78bf913e1fec678e13cc0 100644 GIT binary patch delta 68617 zcmZU)Q*fXS(=;60+L#;LHaEMmZQITj+Z)@qwXtp6w)x#p)nD()e>R8HH8WjP(>*66 zFiq94l;rYa67ZCR@-Y1S9`|)&K(z5UxgIN!hb|0axYjuZ|ia5PUFN? zNM4ldAQrEJJA;3U?Dv{3vvRyYMMY=p{S$oO!>e9PlW%xdV_j!ox=GtDK21&g*PZ#v z_ig(QZ*t8qaQ>)%Bf_nD+-^+gHV(`aO@M_U#JRiBt*@@4`+C4v7ls~_>Y8V;cKG_#* z@Id+KTCLegXsbG!`-!HvItAY!qrm&Ehs-wWhn!89SQe$$r&L?a1i$}IG61{7-BZ|& z7G}suk61AANWqgF4Q^(3K6Vb=`<17SmvMha-RCV47n$7^=ePf8CCwBi3sx+W8JU`4 zt%sH@wa=<5tk*Dx^!v8)6ka)-3r+*5ecsSyWL2p|woBm22OqW`%h#|cAqCHekEWt9 z=a&ZE9i4iwM1864DW}-&a)7Tvy3Zs3$6-+OhHg8vAroI^eAizj&QIK~`9D+7pT&YH z)?d5Y<~>8rDBdf(N|QD3Hbf{j*PP?v&Cn+~FzR_=y;6fMf?O=P0Utp&56YCxVKW(r zZ8tLSs>zs^Y8jh;1VydscCHSGrV=gbm&O67buDjiF z6EtCOD<1O$MIOd}_B~tU`hzm}Mai@4ExU2H$sh8>iRR)R6kD*e%!+?sMn1YUMuJ1) z9_PffKT&M(#RaPV3%Hzs{lIBl&_EpX-*IbrA@fE~pEC6d1%K;LlH_@0{n0tQA#b9rH{0BVPiZN8uNM;^q#n)$R+*(kM%yEL#w_|SD5>V(vflboxfhqGa19TtOp zho%IGSJEuYo0AXzsdkw9A%paXDE2*n&O&~3GHkRmqdPt8AK*fUF+_+W-rws!CZX;x zI*s=-_&q&dvA!xr*U22E;-4J&FO(8J8UvR$a;i!+$DaM33ba4GhSOOwpmSeoQjK%` z(nYQ|t3g~H&h)01LOfo$YzMq&Z3Fo<)Q9L10vjAS(`?_cA>d2MrtS@6$^EoBE1LNg zx$@i2>}%UK86aZ_V4!C)iP#G0EUy=e&!%?9$#NUiFXqM`e|76M^Ru!Tv7*ythIR?* zzTVs>nh}}&z8d>J{Q5fi@+ENKQVulfd)-niGr=x;%l%G)irYR zh7*K(F`p6ZmT|bo$+mIv1kI#<72JuETlc|Jy3ehlyE2Hp zv7KnrPI^YyXJ{IMjY>66}yvT-qbeh1j?yZ}0r_ zW=CW-tV}c$zG(e@7p2P4^4hXx^@1?Q+1_-ez~CosJBm<dPGL?ve*BMJLW@xvj)^ zcG}>#1F+rNU6VEYL5N7})SUcIG_v;vAs966YY%*{?{@OqXlM!I`GsM{6(H?KE|Yiy zpoGvf?fzTx5%_QqwK;LZnak`tw3>!uzxlsU0EMu8H!;x>9}rNVU=!}^ zW#|W{q@^F4E8G?A$SM~xK88o^5w9Bn=W$rbb;`q8Cz0@y78t=&A=7*>h$GT`yTg|M zcDF_Vn5+pQ^bZsaSsy4G{dG99H2$>AUE7v_+IBUk%eh_ZUG3Y72+Bp!T~)B5eyu}| zdo5To!EBcwvBy`v7H_Kok?&4LA;J1K{eRSO1L01~>xKj(Zk`l^La%l;@R)1?n=0~-Pjzkj^+hoIl`c0G}>OTYl@$(-Hz>n}Opsw>%5qx-nQtY|HYnsy2)<3>`*)kIWL8S@} z<$`(0D*ZmYXSGeZdDk`qa`B1z*z6jM`eBI z@dS+>h`t0(Uu5>XNeZx13K(V9O*a=)VkXaSrAU$@Y|YU@OBY`VV+7jhgosi8`>lo4 zae3EQqz%Hck?-4TD9z)-;(_OVD(IKg?FP?%!yqDFfd^3b5gbLmOE*wC*+L!}{J=7Q zyL9Z{YI}hExCt@Ms=h#z@^gZmd?CkA#kl$~jQQT0R!0pwm;NO0O@VItfNoGI5MnP* zoMFTH)xGi9|0MYFTguBQEh_3nr2PC2v)6$HCdcYKx@6iP-$z~Z?M zZi+pT#SJ)5KnZ;vq)a=7=^{`p4NxC{AZ0!eKwjS1X?Ri#YB_CLF7<(FczCHT{<)Nx z9rx)Wed70Gh|7bov1_?LWdHb1Z@*fs((1^nxdXT3=uazj4_Vz@*Up~rN3DGkqVLo= zfVsQRUR@c}Dwfogq}l*x-#C(_pjDQ)q!?Xpmq9A_TLe>TNW=H7CatnUg@$mL&#)Dq#n7@jn!aO|$*DaC>2EQyey?d z(V?B2!du|3vYh^;6Bb{#r$C&c%X8HR#RQ``t%_rXhp50(fw6*KAkGZFMg zqdm;=II*6_T_CD`*iwS=p33EU0t9Zzu~l(~Gl=pC5|PW7mt*jLfu9ruHqkBfls zC$9CpkS&@g*s_~3{9HKBV132Cv=d%G{ohz4% z;tBQ9GRV;@#9F|sX2zzWk%Uu?79Db{2^9phIXBoTL9u^{qkfL2N zwj7}zN<|Ze)T-zE=SF6GVTd2}=3-0;XFv{nr+i0a)~Q5)hFZE2IC$ma*$Qyew}3pP zr=<{M2PSCcC%i-7s263YU=lL!@LR@8c{Oy1V=bRCWy2+-A`)gapM%ppH)75v%2ROx ztAHKyQZ&?$sthZn6}J{L(=Q>x#lxIsh^F9gFeS&VbRI0UU4Eldq*A40sWLDBRc^-v ztA`D5?E=9qjfvXf;yy%Tq69$aPGAu2j<`T!xE*4E$+RQO&=fTKQfH9FR8F9-KbXT? zK9fd|MMut8Q6S9)N?!DHT!Fr>xB#w^LUA|{F3NH9mxrgk@IB90AG0`^Oo?o?h0w3G zxwTYN%*7$LIq6DG*rD3NYN+G6ux3^l-ClF)qhbU71n1`s1IW3aBoP4g$dAT`lul`+ zl{^8QjEMwgF4=0>yV2EJprhIK*v##ZHJXsPREj* zfjD0wFkEE#e zoIr)s!u2dS=DQ?KiUpu;i`l7Zrs-pST`{16&(LpP!MsGn0W#kV0@F+443*Fs{$}bE z&23z8w84M)fmlQUdy-rhJ+8WAXTiT(I+_M9l1DE8v3Xfl5+!KZajEjgJSL3 z@{!#i=7rIqolPAVit@$;Cv@52mw2t+b#Ea-yZQEyiVO?+@$|dLB``>ZH?bmiW3Pqw z_JHRj_SOEI$>VZHfy7RQArER2v`oA`i=`m2dM%%0nWzw_j7T0l){Hq%h_w!Mi-sR> zpgAZ-469EG|!3GhUfW`H=RJZ$Jm-y8mrBZ!JtyglOIU_#TT;($4NBacA&qZNvulA z!97gCt-T&4H-RhCX!J<+uAGZj;t}n?Sb0lbL(G1n)=J21mFrM^gE2avW+UvFFbwL3(?J%GY5FZ^(D^A zgjT2@7b?MJcIn|F{2dl8sr&b6*jwjH@c!o(`e(@?`>!eSQ$dI2_8<#i$H=AC#p>}7 zv+RFUC**5!7>o!K_W1%GMKp1UJUj56){y!-P05T7vyLQE3=o zJS`9Ye|1k=`!PZB{pxI5fK2Nyv&C?io@uzpzB(ANjKF@EzKHD+Z6l{4vzM@h=?I;k zEBBn6>3;`f;BqR$4K2DyXY3da)6jlteIyq77>kcd&us3XOP0#*e`yvCI5CCQE7hM# z!JD$my*azGhN|9VXzT59I>m?Y7OEcx$i{Yy8FRn( zL>-^dqK~KfCh?iI`X6>qjW|j4Bpx43*LG`${7}W{Vn33|xzch77Is{lK=rnQo`Pr> z^jJc=zjZGWwM6s&vtBL>Bv!MNNGzYx{*Ga9R(GnbTbpZegevsEIzMh*smK!O!La3QZjn;#7CR9rtL5p#V^l_|idXKI2SpdCf|$?2Q%hBCww?O|Q|+Z@ zn$0#|EWoIA6fkKTz(X#lbe*8J#RW6D5E!li<=i~`aa-PtC#9(;IAkR>>H(?5qoInw z8}0Ep5aTWb76tDNku~6V`~?-kc+M!rj|^R5%-947qctr z$HRPP>lb#=>$6|jKu3Vibo5(w*yJCorF?1S!_&_7Ke;ai`1%temtpj%rkPHa|70ba z#iC`>3(`!NRY&kqIu19V{cPz~{TH-uToL1hCnG;aZ}w5z&EHp5;x=JZ{I3L>)BHN} zC3?*(U^_Pvvil?Gi4aFe?j~rr@LvfI(%L&($loVIGcFnvk||6xHVMA`f5V4q4OpCI z7$TGm;)l(WS3iguPM*Gk0?=1hbohmZn-F&xt* zF2^W!PIaY_hSFEIVc~E+jv<9exhMzuDZ?mQ4$uD}N74pn<{!`VLG$~fPXCIJy~lrS zz&?s7A|xYJIDnl_l0op*af`=tE%CyJfQComNSq}Epe)wgZl>M7YN;@493uM&zv-@R zVGfdCY+8?y;Z}oV+Uu)86+$uysy{kJmu}jhrYQ;Pp+0U&te`tf#!N^%>q@$vV$YcU#%2?*`G!-lJ1fjLT~7o`>afp%bY1&koM3pA|3lLspR|t^8fp zw#n|Kwc9nJ{hsW~cEWu!gy|i;M4vvfH%C`?+VcvMd@9J8m$@ORwBJk0fN!Jvg<$BfsW4^sKIM z(edPyz$V6mZe|i%Jp#tzqd55Tk5ol*yOcq>U6$FF8kylh9>?Ye9whFF2yG{ zEzt{^GEq50PA;JDQ4UE}Mz3HCCKM>mK8xv(&!5TJ2k`k`&lvyqlhdIRgt@LbQ zbKLX!W%eJWsmJU1)YY%*(;LE~`wHH||0dSKF{9cwX;+bzuWcFNWBVE)+&Zhj4?P`` z-MA76V)YIkl?n1lWU;LEy`XmlCfpz=)qgIAxyeZ^K@e6M@mU91ZY=(F2i-2Ygd>=q zB&^AtwEhy>5!moca>1aLDdrWOc;Ex@iM%uQ0+1;v-Srg2k@@*gIhg5YAH&t}mg&ub zz#3ld6UII9PA1K;xT_Altp1_TNCQS(-VXB1hIVD$6tXXSi zemlHFh16m6CAIh4IF;r}VgD-8a9T@}Pb{s}WmfQJxDyS%MAuTu^^MCNN^@brFZJ!! zTPLj;f7_b7{?h&_>yV?+ULJv!f#gF7Ubx{*m3cICh}a}B{g}1QKfT>T0GNAd-vDN+ zg5?ysFIy}j!oGROyvQahB;=VgPi6Xq&)`An#Kw0$>!OQonUA!V5R?{6D6%@v$dg|M zMeCvU;3iOAetjn63(Y4SlMxn^{r(P`OtZ1d6k5J1WZS6O-tECxRol*t7WpPun`I&>U;yvZav?oye` zfe!c_EExV{UVbn>RG!i;OY3klliFzYzn$sI!$dbwRdZey&K+`4YIxsLZ|BLpGy9yM z0WAAny-sFgeE_HCm(fTt z>MT?ClF1T7xibcb)nl9*9hyAprAglmm1JK%9X*5ifxs<+ywrH*jC8@JP&jfw<9GFA zJX{MU&QPos5t!jY(`g2~X^6&4`T>yvf4tvyVPbo43biBubpu1s+&|5@Hs1RUVwrJMlM~c$r^;k3YkmzVaT{4m z`RG*9%Q8N?fWRk?zaF^xzFl1J!HtEFa`%4%jZs?_QuE(};knPce*wqqgT@x6`?Yq` zaGa>b0WcXD0vsItG%Bb%0hgx*u z``E9Z9}C%5{?3{9MzFg!GTb3?(j{9Ph?bj%=#JykgDR>x=^fQlpBklHHoW^ZuQxVk zG~!3;u%}VL?4<}FXaalVx(D5K3*DXuSlVZkZEUWTzcGl1K?IC3L^+w|=&t%ZsMyZiqDYz9%vWD~{xY7g zW)4}A>72@P0Fq#wi{A`VPuDb%RyMuo(xNN`1RjQM2%`%|F)dH4P9-HEXRb2|zEL*2uzj=nBbM&4hlhx8@Y( zviZ+<Z+*l*wOqiZQXkF?a1!&L&ggHpziK4-P^jh?%8U$$Ihq(ZW z_7^b*5^$Q%ubt~Y4Sri|K|>18&vY9i45(>_S z3~j*%K6ni0~RO~QOJlYlJzA#a3`AZ9_7cK$~R?iWas0||zi3KOmN zQVu+eO_{}`vv+@0FbLN}l3ON&` z8hH4Neih4LAcnpKVF4b)pZkO5cANYDDqe}q7hS&bz@PS1U%g^8r?LTO{Lkwzx3R^w z9Lg!-+am{X!wUD5nAsT^>dcTzfzBWHxn^5Mr>v=y!R_3s^9F*Mk|Wp@PHW>V2R8Th zjfUMP#yF-ud&ZEcJrL?%W2111e;+$7?*ON5Cjo}_8n>3hfTBaQRAy`ugg^tHWqzjB zvcZimvJ{*P9?S|bVH=%NL$_nFjirx*a^IEJsk0=Jl=#^*NY*jUU>fp4ROYt+r&Qyn z(cX7a&rM~Odm%qnB=Rq`Kg3?ycyqWx$ctd%(1FQ5rN-a)gyh>BCT=E!y>m4WPJo?7 zm_-!*uKYxD+~zc*IU+_}@s917nMe78OEuHKr4@M-0hfU{k^q8I2;%NTMz{bGO>YU; z>L<5SVFjvadWT+|j3a+i|D9c3d)T{Z?yvwzn0T-bTe|+z^z?!z0rzqCtB09bF2!g% zvU;S8ECvlu+910TFP#@ZoNtITGpTwV^ zguJN@Bs&7O@Zuia=;qbGh4pa-hh%ybg-uxwHPs<&k)$Le9%YF{PesUfGts8^kA(e* z@-tQ#VDP48TE7hXC!62i^F$Cidwhm7K<8!9x%dZBy|OdG;T}uq42y2=0}zk+wm{!p ziyH^FU1ubFy(Kf;b54EQPyA44Ds24B9+#ikJ>+|(-wThe~*abZA-MwKaVB{T3#Q8G*OluX! z=;Im|Qgo8!Qe;Im#%N=?-RWUf&%+y_eqaHOPv`HAlK{sB!QFh2SGXSnnZrKpY%f9| zx0l$N#oqUhU}c^tVuy|iagN;|DndR{_QpG)3K&T0h21HI%j}CL0?ch3=ePFuMU?EO zoukG!3V}ahM;*mRD7g+fa8sey$Vj4o0`}gJ^PUa8_6+CFiQdC4p_IAnOa}0d=aBE> z2d37%@Q%O9mLrRxkQMzy&D<@~<@GW0^rbQgJza zW{xCXG$hT#_s?M=0kaW=%ZSVxs3r~Efa#@3-f5ZsoA=l1u8e`&Jc{ayy%>JALAESq ze}j2*<6tz-Up>HdiC1i^QpsZJc1NZtXP{HLJ9>)C|6o_8yt+$ZnPC^0g!~V-iGvFC zDPap&7v9fV&h|2J$)m)7yWSz^aQV*S0Ot}o<)g0XCa`w6$Q`_p@pio_0M00)w-g-H zC3~LLg?qh5ca;ydZmxGS1w})95-MPcTq&p1b=tO?*{2(VzP=}u{ia^M_x8DzflETA zjyQJTI~A1;7GFWif9!coYqR_oEV(FR!#X{&8TO3>T{tDl9n9-W~ubv&TC(-B*cZc zf=tPbyTU*6r+pIjH)2*)p4rQL^4HeHbpW3tf^Lu`iwa>6cWWtmzMY^#yaDms2-8H= z4~=o0kE4*tWG@PO183t3{jlpIQ!@^2_Odsv81ND2HU%j%ZIz%zHQT{zWF28 zv#y~3AkSI#{bHAajFIT|&0mfKo<#o&YpS$dmTLuhIOOl8tIDVVX1~jWse$_h z)rMCJbvyGg>4zoaZ+_!g)25)z2?tT>k>pSr?6Mmb$vRiPun9VncztKZ0`yUB4(ykQ zVqia!CnPZ^2=W8_c%i@#AV#@)At1_`uJauU#mITRy@`pf*ML%v{mb6YA|-_Pa&Z;V zO}IdxI!S4y7Q!F^!-n9tH$i-yu!OLwNY*q)xPHsix1$f4;PBsFP4+2wjotUm6ZcZe zWXiYJ?&ul4V=!5Ss=`4O(96jn{~lBQ2lOplxzD~!F_3WEdAO)!R+LPr$$sZuTE;D) zo7#@QN0*0g=}85=7CxOtu$mVU3rmh`Q~vV}-AQyLR68tjbRkaV8^Au&I%_|v0;jsA zUjCA9%A~sjbZ&RfBSQ7mv^7%_J=j8p|CE#>C~@9(Z(FenI*aZWIf7|%Q``>KXR?Hp7)A%?12$Tp*LK4WcvH3seSrcc}kcNJnKv$RZ;`wC~{HS@HH+(Qh z`}W6TS4{k)a{NQwkK3L$HR{!Dfb4m6v-q00V_F(A*{h@zAYSf2dSy~hvek^M%!Sks zEZC0m{zeJSzw&Fw2A@H`$gQGR8Z`5R^eBVCy8DY6v@hRD1d-F-9JZ@d%dHqU>gaLQ%#z3$m!4;ii^epbc?k3a0f zJAw59k+Ltf2BaH8G?M3q*Kcz-IyKWJF{am@mfe*(guhwR^t;5UCZ2^qm_gBhr-e*q zh^nwaJZ1ez^?NuuyCmu8kl!{LoM~meP3}$Wq4Yv~tYJU{o{LJnNq+20icT3Q@ne|y z^iFDHx@b8n)d&VW*U_sC$(eMGMnniIGYSX*3(?<}j6X8>`~9hJNIWh14DO9~KcucP z<2{E)*YhvScYo2gvIw&2d$?uMNG#*VZL#l&8J~eOt}I+rpJZ$ZaXDn)9or4jg0lNz zwxcm`-pyU(_2d=)#?;@%8~bvRX_r4Ik%EYVAR?cMRw;(72$w3kdJ=QS^bX) zyUH@k+tm0!?3`AXKRTd|9CrBU+^tDHXpC+PMJ^l6@83 zd=GV>`@jN1wh5$FPAI@Pje}@A2R!ruCxPsf&WNDU8rsLkp)TYv%U?P_z4{w?3uk>a z2+Bn;^YF~&kj^2}-Z<&5{`{-U;h7!}VdPt9ET@VFpcxfX-;AEUZs2h6Tr zQ!Dqo3D?OBYIT${ygfqy=|lz)=j`=YYT-%-7wJu=_zh9CeCwRE@l4I8MaqVg!ov;Z zRtXBFEgv51rQH(g;|bE-8({VD0^it$hAykSqmMYW@|tGl46v^kUAAsu*ssh46jO-C zrkdHs&N`{IFbS_0kf9xVAiw^Q+qK1i?;f}+QQ^(ZUjG`3ForL;i?9XsnHN+al{jcV z%?OBTZrZFOrBB&Oy3A3FRM1Oy9y`9jjTmz|y?eXHK=sGdU-V zmv9~_>y2navk>SMZPVO`MqQlrF0_`5GkmoQR2IyzfL)3{j2Kje@f$g(IERg(Jm#Wj z0bdYR7qwE?-ttF5>M@%2aDgp+{sgI^`WDB)nP4k_Zk|?1Ul*7hCM=>{S!=!=PJ``l zP^}YtqQ57aGz~9A+XR1m+zK-H?n|LaS%96Ml*b^MBFvMFn1ppdu(%N-GQ~A~*{NYl?6MC?*6G6Bl>N zE(|CmAZzbtwXwS|&`<9V_s?Y&_6 zO;#mKr^9l&Y_T!X61NiV$hDYQgICK;Rh9#Z#E%Bs@NBOTv{A)0sj-0>x)awU-ol~? zUs%YjHmizl2InWl3}_m7p|B|k0|Q7&ZZ0tkKrb{lwbhSmZE=X8Kcl#8U~FpoT5>1{ z)3dNI$X~;m)sx%|(!PwW78jkx4`F=%0e9QoRSF6Qnpq_T0$+;=L;NT!BPXna)I(fS z4jBi&8i4Q50mA-639lAM2*(<#-UW;qjP3#-l;fKVWa7elvKNqcGV~fuum=MHm3<-x zSZ~hR<2rCgzG5RG^^qNe{IW82yFv9S{ffwDmR_5nr(8j5tJ0z)Ux~nKT;V&qgDwaz zb;*cpy40B1c`3~(StV=#vF@-}q&Hp&y7Op(W_=&Hf_1lpx?PJdQB>KwIT@HdeNDT4s+=4d5kw=WIKoo*H6#+H`b7q9gzy9K}jgqPRfnrCcXZa*#H(#y7~9M&%M6X%r$=C;i(WGxPW}s>4VhZ4Z-Fjyfhenb*mFYSnuBo zihWz~^MLt6{1O0Ema9HW1ngRQ22)84CjeBGI#YxT_10&Br!tQg- zFmoHoRtWTOG})k!x97h1pQr!McK3{|q_3uZr=cU7OjHxt(=t z7Y^!JQmbtLoV2YPJ)rqIt_g5YuFttbuh%FHramIXXc2zi$Z!=#xjivCbe6MwIT}@=jD^7y7O|ZZ zis^UM6bhdf`me_mqf$2TFiT?{>cVqcso!PAuaODJAK;Qza5w_ty%sQ*M22N}VAePs ztrk*fNim1Fd>Co4wv5#DV{2&^r-1ffk2Uk`(*uO<

ACT@U6Fi2j%nDg=v4Sy0dB9;TO&zX- zII1`}V<+;eeW`&nTdn>j_HSmXvjQ)|;|(be&87MAf+bb4G0GBVCbHBu%hwBoMX!Wx^Mi!}_Vse4X|?P-jJse?fTS7?+Xu%-*kkJUb>AQ~e-~ zbfd8A?h?fur>kiqm!QwJ;sfbN3{QooHMJCF_mHyh3X|O%LtVK#wl;#9U*{h!N>6wf zKeVvko?T!QxbMqOu^~X>j<8m!PCw8RS@6AJK=b-t<{MHsr`iDKnMvd}ER>2#erj;*LOlQ4f$YbrJQ3x9jRlGBO8AXY z3gZR12t3u8AD%Dm+NUSG#wpIPQda>K5Z>nDTJJN={j^vdD#8n%ScTLgyOMI)oX7H9P_d0^6t&rB_XpA+%p?8@b*x%l^i zl_q>R3^{s@w^ia#4^FbS-^^EMF@Cnv~loSQ;x+s}XO zvZ=t5Dqh6{cP5>JRGCmFp1PdBrI2u_)@Sy@f_QT65Z&VDBL06{2%WZ{-VZsM1%kY( z1xHEyXnPu`-;$&DjQLkO=pH*+x*8NtOr(hhl?hzw(NW&(ams$ck%sj~RpiRX{2^c~ z42j?)RVH>nuGQCjeOe$_KVULwz{ww1<5&Hv-CHUbwFZSw>y(=wcuRbU8Bq9eQ2duf zd!dVv*ix1S)t*be7!RE4uEbi*YV5-1DrLc>>b8kw39f`vmMqALop<~IhCTjbe5}1T z7mCv&maa!m(B8aSXVs^DHoi3ENe1{3zAb#K{StHHx@u{{6)ayu>}u)c3$gg=%USI^ z3U!&G(T%fRnUt$@v4OF`Yzw)p-)}cZ!}ja`ZggGpHF``u^QiJ25ATii8hqz%Y+}Xn zy?t0?yOs{VLg(EyFmWDIQ-mFfapNtuS9&*0H$8$5W(8t}aJNrzuJyH;juKcXqQm@V za-f-t*--_L{Dij^uhc%s4C6T%b)IqNVq&thNSk4oz4_c-76C9zOgFWVj?1u z7HNzjlN6YbXhru#7908Ga04#D_SDIMR;|9tS;L+hIizi}@Jdi*Iq*eZE%krhT?j8I zqRyfhS9#k6yLx`RIc7``Si=E z*4zYOv98LUNWh>~@ceyA=GwA240)0a1tWiYxAJ65MiyIMcJxMQ5~LqIkBFaZZoL6(oEPQ+Y?-SdTp-fR6k*%t)WH6cVWmxdwH`e)xanos|7(v6{*WKP}Eu-=Ke@H`qs;cnlBnlqxvF-SbQEt6kj- z_7~zCEU80qk4###y`|O$c=Su?55R%DKn>en>M~SDEFD!k#syfB5tIPPsnX zV+DwQNCD^5>AU-d(BgN9b=5A-GrD$v2au^+?sRSt!zTnS7V_+_b1uqSGc4zZ_EfWx?^_Kx9L)xET^5&e5lvSUQ$0gYM$GxgaZBa(|Fb4-%>QX&7f}$+FE{nm*z&a zBorPT)098Ae2qdO7HbENS>g_Z-fqF!cE6igZvo?L#m})>lhxJbsLwbTroBHTOavZL zXxFZLC8?5M#46Zpmw*^zYfqv?6(V11ZF~Ygym%>Ep2QOw35Bs8RjPsS+J6O>8G2kH ztCWo$zj`;}frD>ivjqufHaL9MtZCii$nZxDQrRDWU+8<=6S%jeip3BX&j7X0p;vtR z0KlE#HASOZdG8(*)r*V(@REDcD(=G@CJ6{?xF8C87mvkqRg1?a3w(O$66an8V{c*4 z-&OYNu*Y6zI6)WgzpgrcFlt3Ya8o(}gM%8iVl6Q?9g;lICrk<*#7b6Y2bivqr0igTRyC-T)+^9$?^UZ|!cb}2xFy_f zcVru53ny}>d<$bBox6bj_KRCdbn@~m$950pZpcEpFvS*QcU}E`gkR^ZJC*SaO5yIL zuyc49Wru=?TQu%Rqmp-@PL*cp@NGVDmk~y&X;_FR}^!|$Q6c>0#vl; zAWQ116Dm++x%i)B_QnV3At^z&?r%x96sq}H!1O)H0jmiCFBvF+)-U-c51LaA=M;BkL)RY)Q7ijr3m2VXuknFxL z%|}{I%iafK5{E&i%_bi0w74^Vz=0Jmei8GM9o7%#1HMGnv!Exq_#IPoD9V)TDmN$7 zU{a5tFUjyCjTf*7FIy5S#S&UlBPPC7wx_F@QA^P9jLACYIn}MFe~}f(C=2G=`rydb zNJC%|1S2BHv<#=o#pm>1l-N|Df0;yNF~T~glVlBeZg!_VigSng=JbCL0lcn{rk4^{ zmn@sauEc526k2_3O-eS%aOma5f>cswF%@Wm)*rn{HhzybjJxv!z>JkjB`SvuYSgj{+$}+$0NshhjtNKuWNdFCX6iF;p{7 zy(d}z^6r5>)Blwc<8}253SdtQA!fi|GklDTe_=>5V?p?B3bB5G{i{EHlr4ZhFt>lb zEpdon7K5?k8c&SVc8yOKmNQI>>LJH1pzB2&OKc_`1E5c;h2nfeBBnJpw4xe zsG^yC0JjNQ=^51ezfY5tQD}_6^pkg$GjXHhyN55H+kN|*n>?_8+7r! z#7V6pjn+T#Yn}v&eq@wXvH@5EnkU{VjE3qrysV}qoO2|!vVblu}-n<+Qu)t zy>SJkpc1RY4#4>i+En#ZQr)vMpU0tdNp)fU2KkfYa{drZPt_(VLLS~Hc<~7n?JRR$ z*QTB-&Tz`f7ZQ!Z0a==Ov$yAH5-l@~*v-P&P|pV@c|B`c`7qR#S#dARQK0fPXZyX< zxtM?wqgCppS|_nhC}f7P>uehNEz>rp&jZpQ^q0ePCqT-%-`ONl(rq7_UQCS#sZ9hY z&(Ke2lAnjdJzvgjcdIUtQyTi3Leyz;N1!XKz%(~T#i8G;M+__rTYS6~n%$9!jT^54 z#fIu-uqg>X`JmF_SV!y@D`q|+?=fRKr27WvA?x}m=thvC%-QB`i$o zncN|F3%IVocuH+wMg9O;rk@zFx?zbL-yHqYyj)pm%;&@7KQH_q7^NYVLYhw+SiO8} ze0!2`7X}aDY2H1W^Z%2~1!qLcnu(chrqX=mb0+UyxuL5 zZmmw%1Z|<_^vk`8MFR$S&zh2k09#);j69HIeE(eHscwPP+h|`5y|g>j-bR& zHas2hapP(XJq-MjMpamD+gLTqiN?nLi5xr>=Js=}*nhxatSrv zm_n?GAC}p{dH-mH1e;08KQi@UlVaG5uF9rPzk2Y*97J`LlHDKD1zwUFzNp07G(m!?qhu`HqAd&jJU6#~( z67a)BWjL7U0zfd6)0&r-(EHL*?pQg^6fcNGvwlcK)&~9_{wr)UigPN*&YZ!(Z0c*g zY4*uT$x}hcp3VB>x*4f)n*3!1$kU$F95{WoVH`#P-IF@$;EGV!K!Bnxg%;PiUZG|2 zbQ8EEvjW+|5i%St+!#BoB#c=qhe0t97ld}0`+=1Vi@_SYrCIkgX7)d0i;tfU#reWm z^2ZpHHD~EEjbJ;Lc#^5ufuf`CBRJ(%BlSH)LK@PL{Qm<{K(4>3P|GKa${vgJr^J8p z3y0`O6TzRXQ=7f~LG4%5$D7sYnG1v!xTpM&S?$bpzJ+ctbF@eSC?S37vJJ2?v*Rtb zVZ3VusoUF28d_ANY2OWVoA_|b?qeew(G$vIH;1gPcz=l z<`M|-w1G|REm>PUj(!Dc&k#{B#1(&w0Rkrf#LsE5t|IEy{#uiIGBulzm&#=q?_+*P z1>W=;!j7NCC`-Y>uoJS;sXdwS;u{XtnUyNTZhOMjkW|s znxgBvnisf#PT=ODX6MBw1zzqTWCv0zGM=z^lG4UV`xI?AUb=)yaG=`KHLZU%z5&W%&}m zQPglkLe%YLI=*o{LBZ3w#JGQ48{&>FbRLc(e71E}=TxkQGTRkAeFt*(UG9Fm>6Q0G zlflznK}v!0!`WleR9{f}cANoFQ6mgc9I1UfHGJ_vmL+Zv9e0W}Q8q>jy5AH1?6@cO zYm|c>*LPyD*W{a6(zJC`;WEaOe;Z9EZVpL7ew)uyb&^+z2UKdIdXIlSk?}DC^*;Ub zWOmB4y&E-mFdl5c#6uh28|(1SH9p0SFc)#v23T%B`os(>#P;QqhGJQH<~ue)bvjZQ z_)2MS2yh~JHu$o;K_QvGjj?xA5e9uT2tDASOa=?7sG>O(q{TO>3WwiEp$7h%s6`dg z+E9zyf#gpKCdTuBIB|bbct$j0e9N$5*zvZ)whdhXmT~Nu1n!M}vq6P{)g7yFK%xQhxf!kvej0$CJ@T!;gkj&+-qL5zq2xdhZ)J zx*0yj_uY1mUz0J0Wd}MpxLBGpXhoN<6fO(?QV8BS^RZ=}4Pt*dQ=EhvNSpCI>7cF{ zo6L%eZQM);iq-HOGWF5-tzU^SHYQb}!IfCp9l6_Oc{Q1?Cg}WZ=@3d=n;U@o$$C!$ ziYC%g^HB;4e*uVf!Ij$Hr}ENQOTy#l-x20wFWC`s)FIMDSb*w3*sBcGe2ag4K~_S; zR%-29xP}-?AP9c~7c|mtq1Um*~M9pqx$Tw z3&D%N8Z;b-Dz@ChL~a!)HmT0_$!`Cy|9wW$4khLuA7i%d?ir<(gZ{ac6rFM7LAF06 zPTCl+s^5Ql+GKA{9pGuE`I0fzjcT){1L+268|id=1oQt2B4#bm*C8;XbFyCJ1jW!fck`bWxRJ+;flO{5Z=R@F!Xbq{)(EDBcZW-pC zAt`(5*SUxOaDn*|Oe{l~g(3MR?;F!AmuI27@_(QJFD5eeW<~tk2AA9XlOS;3^&WD!e+u1NIjraAbS5l1u)N_d&lY8S@t-j(Oh?b~ zgqPiV7jeUVqy5Zv{vyN0WlEJt2YYX^S5SV3CPi#>3R~}ET9$53EtSS1@fK>tSX(bf z#k`EKS9R!(;8NKq>|(&PI~#w67SDSnUR*!s>EHU{iLUzo?~^d_Yt)tVD}8Vg z?l4qFkt!OxgrxG68j}hZBmM z-8_s7vVQs?=3Yt@Dv5S+*MXVuY%pwzvLiKNn~pPz@$=B&Qy+f|lF8C;68hr!J0~O- zT1Sptg&GY%Y}?G`TmSk>a(}{TG_^r)IGSGSk&%c=&**!7_2BAf355zGVKJMG94UE> zr^g7ExlRxlPv^(39>(9Cl!rbdo?1}ZMlIR>4oh1y8aisy{3iF>m`R3OkPl+P?+97% zR)nDkX19GEuT_6GSLK)rP2)MNfA72Mu*Vzk>J-7qomqEzX?hx@rOsE_cN!_W*-Nay zG|_6WBKP2D3zOgQe_Z0pnc^IDX+JLG8!p-#C`a+M&d@8*&OQ1`uF~S#nIcOelu@K6 z2I19%oHpdZExf)VA$6e{E0Xxl zKFxsvML2%}Oj5KY7%3e}7P9A2Rs96N97~4Xr3z^<%{|>mYwInS=mOz^d)H>{&-`of zK&T=!XQ-F(_?FrU*;V7JHG}1PwKrypwE?VXlVWqro-o!5Uz|3eRYR6|B}_^7N2Yy? zGl4%W(>@J&F+a#wjkeFo`Bc!aAOm$t%O`|EMHyDLk`)3yYP^tbuY9rO(zJ@*=x--NS!4cm5GWh$lU`x=u5NeqL=Fa} zva5ek;fMVV_ZSVP`UJ(A2@Eu^(5;rxpR)?bgF76t_FBKNppKEVVaZx1D#>C~;&8V~ z4CtSeHf9r4(7tW3-xz*-k&{^aPWV=zZm5K3;Kb(1HR&bYIvM`4#BCpYklk<7-)SGcGKjN3H!-R#5%Y!w@>Tr!DK{4f8b^2eBWZ=yr|j(S6i7zGm_@ zeOkl{HE`A(Dn)k=#RI44<>l@KTMhqRx^O&t{C!-)^qX5f7DB*g-W22;AJbfprBr{1 zRe}9NcBfi`{bWFmh!7(M(wL`?PLs^qfWe~Z==ly|3q2thv`!^-MXz0|RueLw-?>X5 z=9Peth>$sKbD?F7GgtdpMGfpPzP$<)?Pk+)vuX!O1B$Zkr0G*_ATbwr=tZ1u0mWqL z);AydtdHP;x3G@qOiCqHL_}5RDMx=|$~f`Aj>$Hzr*TJdR;Lj0ng)}J+MhruK3C;m z-mP4CjQ&7q*S1QCgpY-<3V&PBOq+bsKR$!$c>YD$9{E+HvN5IX7R$tQX`4N# z%9lp4k*I)LFH(it(X01$1yUtl=V_W7S5og9ZNb!0>T9krN$W!pX1ibrYB_(C?VWrV z6hd0oa%>g&cqgE)Igwov3O)@f=27fK3_*3~4+TrU12C-)tH4>~ja(keulhi*c{Kai zT#G$kVUxAa$PqodKCEtp$NV6gXoIf;*;IIV4K*7kn@-Y~cEO5#NUji10W1xntYW`hD=h!4N#D3LR}F3N(vwWu5&d(M}vq%#=^6bttCO zYy+ylPg*T7ZRBC&Ml|RDSaLaz1>MdbwWvG`+apl-?q|^+k#3bX3`T#+*?mN=NgcGL zi|+%AD>X$CcINhxH@QcR!flvfO(gP{_o-@IWw{e-WGf$d1-vD;4q~e4?$ghFhI4IF zls+(o!~7z`!;g!M-YibaAO=67@()7t3V-nMi|D*S z@qKb&*5a$PD@%@;013>}CL`R@qAGV%Okh|3%02wee$JYQ#qfWsxec+gaS7I2^Ix@e z`P>BG^%IdWpQ7roKA2E`Cw~K-W0l#-==m`ip5LSZ_vJG~t1a9i|I1r;lih_p`Zqxd z@A;V$Np_|g7i*JN<1#9GDZ;T@!Z0-0_d*H9FFH|L$JneYy8S2#{L<)D!$`>a(W$Ti zurcICIhr*MTLOQ%@}-DbjMH)tm110VFB;XkwXSzr_SHzc5M`!;LsE*N^httU9TM&Q zNe1WS#yj$36o%HGPQ51JnilD{L(ps->t)l5&10lS#YSuVelSO2$ z=`p|MCJBFSbTKaSyW{=lt@mBT#%c5J z+p$K=XA{j|DD8(8PU(sc@vV+me^~gX`b$6EamOxr3EQkN%9!ZQWBR%bxje=1|K1$& z4%kM+EeFVtbYu2e*DH+2oy}GMKVFwT%$EkM0V$VzF#!$(Gc-4sL8}221UNA;HkaY) z0VscUb9G#l+uAlIE!{cN4MTT#cQ*_$)W8fwr<9a*N{NJYtArpRCEbmblyry4%ijAv zXMbm(_xnA6JZoLoy{v781Lu^5c5O*(5AQz7)Kojg{3y101xT|yOf*j$1 zCs4o!laWy$?BxpjFZzj)gMw_lzz}zN8?S#SUf&50(6E65czFOo9#I})Q32r7nuqUS zfe@%DKpP5ngZKlqL0%xJE7<*sl84yA-9YYMdT`mcD8S*Vvj5Hs zkb`*mLBWnrUH}#YT_aX@c8evD&F$e}1A4-^U=CdFATMs#r$QCn?d2eDe+a-Z z|CpIP7z(m`YRZrMpL26@hxoV${1@y1cDMhtC40CBw}Cs@6An_5|KH#z2=i~u5#$9B z;Nj&F;o${pc7UcMJ4S%aY!61jf_8K-`P_Qq+jE9Sd2MFN#=a1cg1h5Ww=MVOatHsiX<<0^5NAEPtECoJWA? z$sbQY;Qwi!|KR^m3;i>PBHY#W&;D8dY8>#?ISil<_@j4M8|Z(9+qi*U{r-;w{|qz& z{pIujkB*9$jVstr#@*5N-(!CQ!xX{3AbV}Fmz~pJ#`p_2aJT>S#euXTFz_F57QhJ< z0RDs1cLLkFxPxG@C-?nHf!yu?ky63k4q^{>cLeBpJ^9ZDYX5KG584h6g+7hv&kK4w z`>(wN_^Ch;$QNXXxiAZ{6N_+eh-km5lcDtC{4vVcBWQ5-2&d)8OmKfi+~h*))+BQ& zr{sToDV&}suRY`>S!0H*fs7cHM5&M<4ToYD*Ca|8F{VMxhAY?j93Dc|L#Fo;e zTu8KIq?7l~>9d-22jUlwlGsA#opbJCtlw*cY}44NWU0y2E7&+>WMg3h>TY5ScIcEj zGeuuNPp}MP3(s@PxLg0Ut@WXcUG*=|FQg}ftD`BcZ7kh<8s>i;n)^HtaX5Fhh>z$e zYX9{0Hpg(*jdW$wVrbi2uDe5ReRCM0-kb(Ohbjb8oBGmQ0`g%$P({zG>s_{>QerE= zvxrQw_;HgpAvmO?CMhokopwK;dS^`U*z(Mh=^2N1<<-}KIf~6+)q)}r_2TwbmbZ_} zN^_d-vrSd%;Fy2KFS4Ap8gVp!Ev~l1`EcNl-tF;cVdk)gtH^Fl_bW3h26)eVrlUi1 zXoa}h;H~ca2qt@Wx|tEGRdiVin#XpYNL}0ac$?OA&Wu#?fOoVk9qict>R5Ut~>0WgUfTXLSiVTIqhCkdaKuqW5)XaKdTqCq+O`o z(oc2DQ^MnS5T|Ro#aIYlTcGkW^%-fbA6#(Z-#KY8hgpq?Ak=&x&3m6ZrQRkpF0GM$sciNM@f3EhA93>-quA3v#Es^Dj&icPDWL~W}<;{_g; zmiTWi(|@R-?xtR_N!$oxBAhd&EOiIsNtkyVs(pIqh`Tj>DmEtnsLh_EKkx{g$3|9R7<;El>iQg?US>Un=a z%cpQYE!|ktyKEALA>&@-GqMdjx2QJq zT7nEnD6}j@uf{ryXHp>Zh8*afUWgE~a0V?ve4iDL&UL#p)a6(yeqr&c8EO|U?;{z7 zUGd_CwC|na(_f>di~-HcZ(3C@YmSKShT^u|DDt+P6Uz_Q1@BabZ@a?uk>r0i-Aqt( z+??DFb>8(_eTQ`hS^l`M6+ho0%V~ZSrlAdrZ#c)lldCai2-ZbV-TK88?z$d6&3ivF zh%uy&xRQouwV65BdM>T)SAM*KpLHgshd`b3{d{d}gooB@_tg(HX54XM=;!DyH{VZq zF?u9bC%HIN7Ox)AZe%zg8t{MZ373!BN2a)^8;2CXPQ5-#9l1T}*JcA*aJ)$NO$Y0MF_w71v+22<&j|rSi!x(sXs`y$$d07%nJmvGgh6N=la-}YWubW zI`fI=kI|%R3ai8KZA4#HBW}%%UyO}DBQzP(67K+|JAo7?zL;W`<~M(n<}7EWvi`iZ z7OoeWcM?p~XN(l;t~L+YGg!Wj9DB%hG*szge8*!<+;Z~yvJ^e)`@`hkz3_Js6bR6DL_bxHH$ zCtAKTc=!gyiNYw_EN#*ewmcVFIXH8MVf-YY+eqNy`dIfZYUr-MO410YDB%$A2#MsA zUWB+X0D7}<(YsXI5chp6oRD~;tRTCD!)8w?TZ>GoiFkzhhID_q5Xi`6aPGGCz%;(C z=T(fKd*EGk5|M7K>bgy1#%PW=#$}^{IVO8?(6}7j$<%XPb2Do>G=c5j9Jho6E9N2a zo?Ml$D!l3(rH$!L)xc5|u#BUt4*OzU|6eMe2`mi0vk$%*3 z5MsHQWcw5NBHMqbe=GNd%?>saNaDv@{~JO9C%m2W!s*DC4>KUG|4}7sQi+wtNSjPv zpRK%2$o>8pdRsNuoY%Wb>|4OIUx}$cpNOsDYSBZP4zB9Es(fa2L~`;PZLMMT-db8w zJtMRbF(2L9#65X z7!qawQOsIqu1bLp07c}zRb)E~lJOE3imF>X27KRne1z5@n1A;CW6E2`fP%}PWNo3P zvX*TFo*jS33W%C}(W@&bQ1#ZHFA?WLbB|TmnVwBsL1_EYd{$}1Y&psWbrTXAX3y>@ zP%g6i5=2$dVuLxFV&&+*wvAevJeeutaY~Jn_mfH6kKQe+jInkjhb+)r$Zm~o`l!9` zuPjx#SuwG7KYlUg!wOZoIfSFu5*?QO!H|jCS^V8ro| zy&{Ib_i_bvH~cHGVplm(_|9<9%hY*34RD%@L&nP+K4#fKt^8tzvqHJN7AZAqpTd_Y z3ysslR~v+sk(`YspXzpcvu*ny%%MZ2pw%h4pW946L z?PcH5jahJxT-K?vceoOt_6nl1NM8a5#+7F7^UukO9PeS=lr3Y?QvWL6^Ryz;4n^&} zV=H~oRVr1WX(UIXz%)TdEc2S`HHw``N(X;A%>h=|j{7Z6zRz_aJ%7IZiNt>iD@{?N zsJ#uZ?zQKK5aC>tuFGiZO<5r z_&0dj)yUpEt=T1s zux$ns$5I=5YTANMkZI_iJaD~+Gg?eNTbpQq!YbQhIgown4VZ*z7@rED1*66(5j8w^Eq9$P#M@(R1=HKlfX< zM^?PV>LljQ2~du~B#!eHd%S-kbpb9m^rcxKM#nJ~qkHX1KG-!;A#JTBTl}C8%=EKs zbYf78x-#$LYaoa7>xSKuGr9Orhr*F{jUDY2`B*9@~ODt?-F%NpB^ja%yk%X$60ij1^vjKbj<_ zKG6AhZj)pQ>)qc#j!PF@KQ1O5SQb ze7)$kG_Cg~C_Ot_5cAtQ-_=+` zn$dBqsB>O+y>pRyW_I}q^F_6{`~upV16tq?u>{*zt2b{s(^O&&+n1IYJypSqw}lzM zGGEI?584+NS;}@VbgZ+M>XpS?^pEycSjUBQbG_zq(5#F>){uW5tZGMvQw9^KKu28x*^D!KZ_CT@^iJ{>zt3wQqR5`%uG(zJ zT{kC7@`+8_@c;5AAJ-jtIjDIN&4&@al6xrtVs13I`W}C^BcJQKlYc>VQK+^l)y;GP zg>50r>XM11r3Lr70S&J7353<-Vb!wiI;w5AdS_NK&Qp)H=WqR~-p}8$MXi6ZC|#SR zJqy%Nc(JMf;BcxRE6e|D_v|-X9BK(E!`J|#`6h9K{`BP%N^)h%oQtm5V;MTi$l*E= z@o{-wca(qMwjF504P<@2hMvbikMd?86HmA6An^L&v$4(FGF`dcUTPl~Bo>omwdG$g z1>h$*bM&cd0RjhSogTS(8Xbp^XFxFKf5 zoxAU;bbn@y*^BBlb&Mv4Ex{SM)bBNHCA!CugYA=`Ue1Z4Z|lbn5jDwc*%o55$}qIh ztLA^#bEM6O&$T%h31Fl9vdK6C5FuTB$rCvb~tMqA;Ypo4uS2&j=-Z6#y!Bz?2X_Ck?-;}e9&@Li`*Tjew#}|yA}<2--=`iN{ho`-pUuX# zMIGvS5wW%&h~4Jqm&zmX?!l0+7RjVpR{FSMU#+w4r@PTYqTH}Cs{Maa{0~T=M+(l% zW8n2Aaebo5i?)5A_L>X>8X!|Zz{2utRy4NW4OstMb9$F|VcMS2ZiT8tjc3SHC*Sce zRm5b%riAe1V4)XiN12ww)8tceeHEOT0T^L8tg%vvbjbWo{AaZ`JoDqg7y_?@MV8UXKtt8)Y5w&01Lk2HteSqKF=l_Md%7NIM4m8VUtye) z`}oZ|xlB{M=C6EXc^r*djiaSb`F^fgHF@kTav`e+&A}uIT0Ae)8JU;0URzb~oU%xwR>`uc>2D9J- z@6~M(%F^sL%@}|8hw!9Fs}-VV2ZLQj4U$I8-+L`R!>eZ7MQxdjfoz_aeAHXTG>XYq zmDK_#p+A z3GZ6DtnOS)M+Qr&+_1#v?L6xX>m_l7b6aNnz*t9y&KweLTB6ctA&c*u?Gx9F)zzAB zohN7a<&%1%a^e-d#C~VuOiH3i?tP$LUW$%*t}TD#LF16yaL@Q@B~$3eB`)BC!uMBb zNga}=hGVyCqg<|nG?KxgCj=*^41h5z!uO!Z9*D&%nKU@tR5p?09$#E8BmArzg>W&| zq=5OQqd~ye)oxU5m@l}iAm71D3Tvw zMm|ZS94Khh%gcRIad`FXdEt=N?aS4x^3f6T7w^8)L4W>?|1^dw_`O9@k-9{y)Fl+f z?ICU@V2Nyj-)xohU{MxD9TpnkuNba>+dqFf-5UDo!(y#6C#(G>tt*LZy)owJVwW>AtA|Bpi+314Ej(bq#5BtpsI%~5Gn(HY5Oh$-H z6WrKtirK2I-ki4|;%ne7iq3HOZ~tcJ!lX~lNGMI+{qR_9J|?*riCk^ncIc1E;^CA_9jZV_ zFZ-ml%)+CivsA**ZAsYpDxYtSUwLp2zb>USh-|S2kiArehy*ITfg^7~90luQW!{0Q z;|`-oh@4Q&*PSN~=@G!UMB5U>Wb}Ut7KXv_WjF6Q8cDnwS2^*KV4+Rk-7>v-6Y22N zib*x%;BSz3O=}x^^O2|we4z8Z>xGEA(WN&#nXqDBG7BS1o1w%zPA+QxzI!yRa>5Ig zS}UzZlKP^eGs1E7+Wyml&g+$2lQjKH=eHqW3sRuR^f!f$eIL1d>cwty#!-LBv9iBh zja{1#hdoxlN#>JN#y8+v*R{DwVi#~Je7#--3%iCNfHB&BF^sel`eXA7wYuk~soecQ zRN%fm*C5WaYiLhet~5;ALY&ifoo4>fBqwC^$a~pomdkRpM+Dr*I*xH>9UTf-ON$3{ z55**GKT3If6Ca%BNlgm@`fz`6Tbb2SE4~eXSN@K-irZ>+j zlpHOT!zkmiDtIUOh3HxzOle&4IU?XLVb>f_8CAola}rIGEy#E40XhX_rbRFGKEC-L z?Do=T6Us+$rY{=S89;<^rmWg6LYYORlvdKJ-5G(8o!)iKFQwE3G01-*BzSZO>4hK% zc=2nBPk?WvTRiMkipzoV7);Au^0m6QB&xRcH@RLtfSF%;Mz2a^XYxYY(Zpg#yMI+; zgpJ-e%N>G|Cjd&Lh;zKh@^II~e%mvX{cASW*u-eiV=KQxZKqLIHcCy!0H=us-WHwy zOn8v(_faO}o7P0A*h_zFpDnPXQ9-1odnE;)UY7YHldi04M*`;A=%bOF7o{FADhaXUNF+ z?D|O+W^S0QH_N+Lq7P7R?FWt@z|>X=chvXmirowG0KYOb{bK;XmR{qk z>x2rAj9U%Qc%)QYfO@)G7PL5shI{zT_OLtoTxwbEe7P&;WAG1`l585fDI#5~{5glW zm0_qohc&dkZPAIx!fC15e&1N); z0*?aZZPJ2@eAUlTSGQ#I;+@S;k0fR}V-WP6br_6y`McAZ<%d`U5$FPBnB0FOt;-Zm z{SURE$)XBnZe(+Ga%Ev{3T19&Z(?c+F*7(IFd&yc+yM~~HZe2`FHB`_XLM*XAUHHK zlObCb1UWJ?HJ9P(0Vsd1R%KX}-MR*8L^`B&=E*K8|iLD5a~uz zxkgX0qTt4;Nj#J z0qE-(Y5^e-pbZ$R#vucR*Z>~P0@w@;vM>-30fsuu0TCb(fFXa#1|SEr2JrF%c!Y(8 zu^9leP!}&4*v=jSV1B@0VPj+em*sZ|z{=|%o`+00*v=Wi`0(Qnf#N|hJjrWfQPDDateR(MA!onziY$6 z4{iX|_94;+YVG#Br9Zw0m*#TiT5D*;x0P}$TdpiH>6YxK}2fDaGy#8cE|3v+h0~i4ZL2Nm(d3Yac zS|c86+ku_2xqfdIWoKI`fQS1pyN#R6KYZ>W*q;G0|K2k!4O4+8xm&Sh+@ zsjs2W_P=k`KXF9DLk74+rjnk1(Hr z@4u<|2Z-liYjq$32KEG)Jhc6g`Mdf5{{FQx`x}hBvo+M__g>LO0G(|fw%0!mzuneu zFxY>Cs(()WL(~6Q|JmpukSE9*dtnx8EgIsGo|S>9Cd=y|l{5L+#e>ox>hiWuuedOv z658pX97NbsWTOHSU}}V$I@L$@Rjky3$|}T zT;^||Wb7HnygHguTS0v($Zha#ZB$#wyySldoqGHO9}M&8f+c{?y)b~7{@exE&pNF( zo}>-G9*MBJXm^h>Y3Jgcsds3gzpwKIt$UM_EjJ#EK@>>lm$FNfjPSCA{iw6PL%VVp zNGQY7pz@>^8f9D7(G2+(rS=^qZ^t+w@DVWAP+XFxQevl!@~wZPcQ^g`hS20UY&d_j zqxY@mJ�Tl)z~e$Mgm)99QOCNva;CS5RZU*T1J3HuF=2*eb9_8MHN@h9pXxj96(| zq9Ip*otikoHkCZg9q$tj8=Ex76kEax48Wf5lwVg*V zd@JZb$av=mN0Z|l)G5pskKB&ZNtJcP8IBe_TEmyn3OXbBVVLW!c#1du@hbz*p6h?^7a3NF7hL~JZ**)gv38CfTc+ejEq(D=@+*24>6PWh zO3bXkT-i42{6CDQ^wlH_*LP`XS1Ep1$L$tC%mb=yL#j zt$a1^86sk0f~Q#o3LILL5Q;V@MO+_@uLSo4^4WQHto3M+q%t~2@v>I%N$ zR%wSt(#b_8u713)Ft_5Bpw!wym4}{T6wp;*$V#Ot?NZz2OBDi%A_%FRs(BbV+Wn+- zW~JEWdcG(a^=VNRTeA{gpZ~1%Q^dwtvwbq(o&Vtj2ezY}x?6JsDsgm)5qb9RDleN; z`o4Cq`Ylt-_fU$T<3E3i6%(r*Sn>E{=ftS#sASXiq9?mxi2%>T%s=HGBY_!Z{0rV#VJR;3HX|H8dAg9 zzlJhPB+9d5w#-B%WI9H`Lnhbcz4vCDybtea5>HriebkAOycFHjw5Fg%o>Xt1R{4up zN5p#mQ#k7~|;^n~Z8Fm5klOmiJN_INB(k6{mIYr2~KS4P*9ELGI%#if48QuFBb* zE8~_APF>V^{RFN(#_KD0zfX`MpRZV%)guKD-8O2YlLtKu&Zp~AzVOtRHQeDG#9GzA z>oo*tNLYWvdLj6T+l*!g-C@^ zO$gzUsyu(Bsh)0Q_|gubOhy$sU(VRH-}z&2#J+Hv;h5c1=&5nMIS)r&KAmrb693bQ zSMjoM!P=v~7ok;j-+|vt7N6+k2L(Tq*4fX981Suh9U43+=w5w(Kwy3jS`>E3^6wf0RIy7C(z95_XMl5pex_`!s$ zqOVS68C|aH+&e3<&^RWURzWtvHr1PD4f^@9F#_qMa1nLi(J^h8ceU^=g zS2^}ghmRF)R0TqwAF2Dzp`TYXMFyY#Oj&-T5cBS1Q`}4Pq|?S1qEiX6Cbd13MX)G0 zg7$yYXU8S1ZiJubi#eV6>%e9+kC=7mNE?slB5Uag8X#pkhg(>i!IQ`=%_Jonr|{ud z<7`$&c9XmO3O}yMKxD*}ZdcmpIePM}&l?t#-KOQ4>Eau0u0}Y{$joNl#q9+Ty@{wS z_=EzxnGzKR=#}qf5tM^_xem$itvwXiKDjj65Cfi@jpp>?5{)+ zspT25x7_|w*559HD1gvs!4lUm0Y!i0D_N`Llf~Op2C8O}zI&A~rJCo)>LPqu!~*LX zr1thLWW-+JqhRunqzB?wXc48;Gg2m2DVm%hey(NRaO=&lb1lf`YB98A;v}Bjk6(U! zzOAe?HZ=1ji-MQON*%A7{OL|>_#Vx>+TP^;^Lr*UqIb;f24>dn+Bfffqep*lJQ52+ zlxuW8g;XRNNO2020oT5$$&bINY!i0ochBA)9<5v|aLC|vjQE&+f0ObPNW2?Yq_~le zb%tg&g}al%6=9`uvnkLo=t7O72_tA|7{%s~=e3ZK*Ch-7%waWTT$Cash+`e4SZ7UL zr&9a18n`fCn;YAVwXU$N_c{gaK? zuskPBfr%F47q>sJB#lwyKhxm6T@1XC!$<}`MHOsIgksL-#r3m|tZ|fSxrn^((McDF zMua^LIudn;Ve$BAC7b&mfi43APW1OC+Sb)tE0-$ox%q>_hkCA}`QLxq>V5T|O@z0> zo-0)#fyHxgIg#-jr8Z*f-yV$n4i*H~{m__e$G}?=-m2CyT0Cr0%j4RdH)$hTK~*XN z;y(8;kMyHf6%#5{b>%KoJ4&Km!5NQVl`_*2oqvQ0%p10MG)$ZWq-iYB=Z@#?-1OPs z)VC0H``0GsND!8$!fk(20DsxHd>#R~NDQhta0g+}XRo!=ZP=9<_ z8j}KGGSaqdNNCkW(u&U+iwhzu8*d_h2tYRl3Tr~#INq-n?XZ7@0Q%05^NTUD;cVf4 zh0C*#AXiT@s>65dM8rnagGi?Ydut!3qU$4gpqxAOWXBBs<4+}F9}S-?>`-lx zQezchNiBJ;1}Dpuxn%hj3Ja36$`6NFf#%rdlIh~i;0UK$OLTJ?Q5ol( z0{VSV=Z!S?L-fw+F3n56aivP&fwuW(g>u6o_MNDW{X69H!K2%MtjAE2#@mKp&&*^B zeMJWzHmjq6PbvE61kBW5zFo4udxIER`vhXw9A;888dQ52JC zjuu`pdNj~l0{ZNLcIUu^&ae{IiV8sYBul-v`M%guZqTM|wvseFe)Fx&IIuIYf50IY zS;<*H;>j^R)_dPHuIgY0wBENv-a-7Dc3`8CZJYh_9hHuMDXnh1B|{E<{O~ps&M*$P zZh58ZByR$eFO*JDszlA(+~g*xbIW`diMJ$UM;U%x93Wv&Fj10+pEBoCW}EjXA3M-W zvg}RFnBnWC(OG{MhLBcPMRN2R9|kweR6uC}P1BR++}@Uc86%EbKL~|>6rBJ|nxc&K z&m^)RDwYR-@Wm!pE{g6iK_>z?Ux8p7Q)6=D5OS^zm02;O$KA^l2l_BJ!ogLSyIn@5 zvdR=4Ezrc2(}&!X%UKkiV(Je2w}DU|!-(VLdzE8)u8NJ!xqQ{bt6*=#44TWR^nJ^{BZ3>f5ApKHpS~yu!H9h<33kFRbOM>u$YT z{gpJmWvbA_dwAAx#Z~6VIc9{dAt{Qtz)!>n%u+__GiylDYL8Cg$Dvj$aRhz1hW?GN z(dDU3Wk`82hU&;A!H4TP2~wI(tss)2MoaB~7_~(bMjbAGZ$G^uYH&Wzw+Ts8H|Fhp zjDUL!?};9yEMX*z%}lTHg_@X ze_nlf0#7PQb$uq`6Fj-dyFY=7rM9gI?{clC%#^u5SD$$1KYbvCfs8OY=xTn8arR_& z0@gO2q7bB*Y+vSRafX%0WTadAWjY*CdREOvdwR%&`jXKVrW^X`w0-y{F z6myK+C9NdapSgKHwk5T|fNd36mXRcEIgGWD%c(W7Bs%vCCt2CJN%IP)1X1^f&0Hon zrVtY>hu%3>vqPG@={$9dmYhMIEMB138VQ;ZlGIe$T1=k;Qlov#UFbj~y1yrXcp7Y3 zHK}VYSk) zp-m`_sArxGQBhYyzN)!U0|wSGO(DkoEEXR~wv;6|smU8xDofp*%o6vR?9bij5y~Pz zyCfn-@j_KsdX*34)ye&$g#cB5hS4R%B{QH$qkSF3-8N#8mo9vU?^RdT+=>AG-`_SI z6avExgXsEj>pkB~^X#Xko34XSh|NTanOmM<748i&zx`p#^?Xbm2$a2VHuDU4nbJH$ zPUZ2EW4U^*`x|btyuGFhlPgG@wfs(PW$T19>CI&d;7JE)wO7mRc#dn>>n6cfO6vQddV@|Up&Dh<*jdExo%J3 zK7P$MOkB3kw*-Xj4i@2mAlIGo8}MTtDbIDMw|l*$s3R2q4#}OK*&r~|&@DLWiDmI& zieT{J#a1c;Syb^qmXT}yYPe{O%;$>N6M7(d7m$taQYL`>_{~kVmjd1V){;|ZiG5ZF ziy&zUnPc>98_0_wsw@85nd#$oMvFfkVWYfhgJP5G@$qKl;{7v!l__9%_nP+^K;qXV zA8#BvA`|rqhF|m=}m>!KXd4ag=0{QCW5KxL`|&c znT=AO>N}-6#3b!t={mm-A1%egcaV9LOeT=_o>nA(_WbjnIFq)PI7!ZnAT-{j?*}+! zu{$iqe33UF-7GQG=E^3eWPi1-qXNx|8`?$&Fs|Gj=bm4vNBhw!x@LzwA{{eeEB!8e z)Wtd9PH~*syOZAz>W}?GFP9*?mgbF`dN{6mPGZS!De;WVJWgkqyY!Hh$4qlYoK1)7 zpiB;bx^!|ALZYpTHx^A3Zw8fOLG+d{@q$89-|NouLO0S_v@7aTP@fCD;eWjCvZ)e$ zjhgjj8P;<0_$=|TX)o%4O}FH9t<_us8JFwGAP)o9F_U3e4$RQR$IG@F-Hq}h%Re*j z?S`cg19w6YzRqT>bAdQ)*g|rBLlDXKTSe}F&qmslAu5WzUFv6G1J_6f9VC~ElkWah z8x)618rtM4$BfSh9rPKUNc)X_U1uXudcJF zFCUxlv%xd*vtCsDMcKyLPmvY!{YnjhL9M^m?-%53BUWbN__|lb=%mYP!yZ1<)&2>8 z2k-SWY4KPv)#o8AUoJ2b@PS@Lgt=i=mfmacIQ!K5hctTAd_K#0ek_f1gR_&lM5_c* zL&_mJmvTV5oVWm;QIZDH*M4LHZ1I#N0-5iMBcV7rty=`)Rfq7CY48D=WQ@kaHFtZb zh_!1@uwNsym4|Hi_EX4>Ppep}ics!unwl3lu3@mf-cj^QaMP+;@h6WxBL{=QZqhJ|s94WX`>D zFqClT!r!2c;YOgxr3%j+G}cQe#%b;sz!6;i&LgP`j5X^-9wm#d5Ern+V~8;mrV-i> z@!J;&D(F>VMbcNWo2dF#O!i5C;WXy(weI+6#o`E{-0`M;!HkzJ#Is4s8a?tIZk1UGeht!8abX3tuUX?rY(m=1AU7+vP^SjB}7NsQ3(AOu$ zLDX8!^Y1|RvZ@5KC0ScuwUc1VU!+gr2zdVxu7BS1Uo02Lqq%|)BR z9Go&8_iP}kIddAwoXnj^{h3}*(t6YB8+#W89Xq|jVS-qBOKri}eWB>Y&f+s2YH}Z4 ztd9wqaeK`6&=|F+=XU&mmh8f){*$d&37>@Ws5nI#nOn@iB#7#JrqU|9DhyCS_kQghbjW{QYF&5E zDr37YLL~p%pvz-->-1uhWbrsHVldqQa*DjmYCormdZ`}8aD|^V;wO1-L>1ciEwIz( zMt1(o_=HS%x@aOaS`wu!i*D)g?xYwTgsY^#xFL)^6K(XaouU z*e${oL%-5r#$(4sEIe#2MJ{VpfpCFv5sb6O_67zHNwSP-?12bE3_thopx2gpFL8V>JBMfnlO6LFmq^J> zB)`>vP^|@N!wc$f@BD-dDe<9zDRrWakeD))X=hV?QclTr`{sH92~tum6*1JWCqwgA zwHCmrR?kgCYDJPypG&Lj`SJj} zg|V1zkfS+zj9#szo6Kps%6G`tVL3i=tH5}NPe)1+c8fDE(tWR`eDLB*USm}L!d=WM z-nFA~R41r5tP+PKYB+!yVx7}`YHe9MMs#KGm#@?P)n%|Z6nkg!82{>{*K?J9S`0aV zaLrfE0YT#DD2oEKu?gQL0stab6>rX3PwA3qL|Mb+78hJ!qWHXwII>1&(B^NBC{Fje z6&{xA(C9!$vS3Agnk5L?7J|3JdIsD5`gAfbAk8Mo&JY z-n9E)=|E9WNkJcE&i>& zYm9I^d&TT_&&!KWo^!AWD~D-{C)RV_op7yWl>&TY?J2ZboxYfp^td^>jvWhs_6=)0 z+B!iWa^3=Bz>Vo6su8VjyMqa@uZm?=HBcT5&lAQ9JC>Ndp9DM06pWZTLZVBZOz4is zd9e47tz3Cp%*_s)`BAXwBj4uVaui4$Z3o2M`0|VRFJhuc+Rk`-%q{!i^h?Gl=vocO zCDaWVC%;Jhs5Z#sKF%^dx}3g$&VDUbmbYrpZHjm@CE-%s)GF_WPcLJr^mKlGgM0l> z`%%-66$#BV>33#D9yo@kHN5^s6iezWU)j?_fh(Sh{=fX#;*h8g4)Y1j!kxG`v$*XG8Y*%|6G}#ZW}T9}X=y>@ zpUr=C!dwI|U82&@;*7N`3rcZ?!frJKwta8?kiTEY)SNb?5k@n6#a1ISu}%;DZPPZ< z8!%?o?&Z~tau376jp6ELQ@0Yo13I zNxsAF7~!@3`cL0M2RrwJ&=rlKpm?uztBo~t9jELxQBO~4n0aHtUri>6F* z4gHvg8VKF*?kQmVZrUgF7R!D@z)H3@p}d)u4m8u{OM_#=7!{^}sTXgu`TB`xbFdx8 z8g9gOxwme!-Y8?slCa;Fjt;4z0D{zHRx`G0BIiNMe#`rNBi-!|xJjOwyDi4F(qD;e zyh@DGZjr2psPEy*p+}P=C!=g|pGV}Qt;ekNG4^)~g62zU&Bf?}2XRPS;*rC=mFVGL z=x99i{X35=s&PqwX?GN8wx9YG`}wcMnwmXTZ#_*wTb302h7{O_qM3L!l#Ltu0(bK= zek)%E8Go6_fwZNxWQRxCo@n}~t`>b2rP^-M#Ow7)_t!IgQQ~Q#?JFi@B83Hw*PXjZ29qP?u1R&~eaV(NXJv^VfyUDLktc`Zg{On(B&} z)v}JR88=v64Do+WAno}lmg8Px~QYiqoi|Ihcfg<3+HMx zvQ=U^%_=y5{nw?~`%MNP!_PbGJi3cY+vL?3`Rc}Lv>YaB=;4EX=KG0r+GB$~YLYMJ zTE8{upQ#4-@bBG~eO`)}#p&Uu`t5VOidYdXMTQXGxzTt-prr? zME(md;b-ZWUgm$~Bs5*0BZF*Y$a3NK7$ZfA68G9WTCFf}ljL8}221u`-?I5d+X zASZvUx@AygTd*aJyEKh^p^dw{ySsbg6z=ZQH12Lq;|`6xJB_=$yTjM_zIpQ|-psH0 z=EsRRJ2UsnmAP{7sE9fgBuc9E!e;g+KnZ)03q3Of6AwULMN`Sx*4Eg}%3h9M#oo>s z@Yl?aKtUnu1T=QBvImJ7y8w9rnm{vv7|?$dz`_Dx=H})`pa6*4J9s)-Sy;LNsQzM5 z)6&xYm*t-jfQjdSdj9Towz2>LDF42=0d4Ia?0_JbzYzb|8&!cofQuy%U~Xj#1c)js zX-g|e0;nVv)B%z}5YWlk7NF#6Vryjzkh3xcf}DZW0CRgMfbD-Q0H*dJGpm0}b7p_| zizVy~Fa|g~08Op_ZUcIl0v-Nw(E%KQPIgw#&VSzlR?YwmCu5My-yXQw1FS%%wytLX z5cq31xBr)rgOmN=2)n<&zhFxC&MwZTPF4;sfWKLl#3cTMr;DYr%RjlDt^T?J_U3;h z&FoEG|0(HT-(Q%&UKe94kTbvq=;43zPc9Q6z|6|o!PeOGZ|=Wf4o+78(r|UQ0$KbQ z13G{c(8Acs%ogbE{1@gg_CMYEuQ~z$OZCPM4z`~E?zaCo>VI;ua&ZRQnlm6Uv;56z z>hd?Yg%t>a@t;wV2ASIfn3?{=ZszLnpFTIB)4vU(`e$aS|B^5^vj^FF0?dDa<_L@m z_AY-@0;vA)RA%^pC-VOTiT|Gn{QpGW|9|5Cca8p+L;U~uJpXrS30GTN1!FtlzncL6 zdB*_c0RLPvp#Lq}*v`t<^Zyk8-y=1F|3UKq2qW!c{I?atAdA0pFflOwhtbMe!pZ|^ zrex(}Y6&nmw*A|uf9>iZGoXKytrZCPSI>W237}_YV)}1BHA^c~8_++EXa5fu5M=h> zx&M{uU*?QDDr#EF%C!Ico%(N_(qHXe)I1&jQu`mJ$lII!&&59|A|m!40B?F`4h{f4 z3m5C(BgeuF;AUg>{Xb;<7l`@4*7C+KPF5ZO-M?isG5=fq|9JjurT>55V8lVD_GbS~ zi>iw;$n5Wc{ZGR`Zc|q$r@y-Xd*=TZ{h#Z9M;!?C0Gc8!FW8&%hFGU%rn}T&=MIjG z>GpOrLk@;I{Hj+gDhQ~u@A6NJ*y1iXdaDj)Xqe>rXz`psad_X8q1hkq#)rT zC-5bs?kPZ9r)=Y--4B0aH28&_eySPmeK{w$38llqq_Mv}uB>8E{02if*~aPwclk&i zK;~8ufIYH;T*|Vi8FsDM^)>l;2}Eke?u$xT8wB_gSlpC&`l?hmQfhS?I1I{lN2X^Vp?yi zWdy$(KUcP|qsSZz6%6i#C^_nO@mbS|nBTb7b<%j*q4-do7yi+g5&DinM+W0mM7ClL zQak@5;I?-Eds^NvuKqHju~J9+#2oM&E)3&>XyxdL`4N9cfe4BXdXU3=MEHR;9A*eA z;4Y@vZ@P+1`Orxd?S~AZ zfx60#t@?kZGRNs}EJc8KcjFd^qH@kxu?F5`F%UwFk-ox_wA5swckvr-%huu~*=F`} zKn|72-y?d$m=M%N6AV9VpRv>J;TYJwe&tPgY0tdGTpl3xN!7D=gqjZBjP*NWH*P9r z3%MW{CRulH&ut$uJ-nlXz$*C?XZBlX-3^>Iskna;dGh%0Q2hSsG%nfV8Y{wKla&kW zQ|~?hJ|>{tcCWgvtBevI{I1p5viacFx79Ms+!4;aOvL&sa*my?_9!0nNX-tuRTK_n zdJ1X>y{)OkBjATM!RY0>aq6ZXY2It>CpSr!MdT2&kYt3M-Ak`CQwOx6j5x?Ao|0U( zCp3Te_sg`lTx1ZT}Verb|{Pj>!_UG_Kl-b)u4YQj%;}Ty!`-W&h z*I6~0rCZETI{rTK-=WRP5T;k`;xj7iZuBq~oZH>0jv1s~_p=09wy5{^nf%u&ob1gj z=(|E;iu5@6!E04F827JW3YCA>p%<14O6gwk?N7KJdG{I;2)`ZxzjOtSiEZ!d;qYW7 zaherf#=H$fjCSiSD5t9&6O?2g8*$S;o0cBG6=TcV z{m|HG$><+MY_O`Jqgx{q)|7zOMmO-m?!d|?eD{^Q`*17{%My9J6RCfd@02)JWFF&p;+{N877rOu6zmh(A55NGrhETn0}cItCTtc6{mgQ(+o1h;Sy3#aeU7K+Anxi`HC>9N~qn5 z0fKiwP837@x3hni?UPjfaBqopl1RhG;&BY2MfXFgQZqYMY!0YHe4H~uCyPWj9F$s+ zNi%r8!8?>{=Rw_MEQW*U+`tN>hI~gE1pC#RI&R(~4mO6@pqU|+A?Yky#)UD6Nkfln zb|sAM*aDgJ3~q~4ZPUW;XbuoZMb)wgBKZ9ITvQRYRh7iNv>57ZB}hZR z?8X0#Jid!uS-!>`schT5dc&7w%f-09KruXbkICO+ZiP}|mJaLtt5MqKSy{C=|CD|? zmjmjzJtu#Zv9r=w7!2^N)Y1Onfl4%dBA*dWHWK9QBP+d&YKPrAq{AM9kDod-P=5Pf zvCohOg*6csquj1(k-MD>6m33xo$<~V!LJ3s=1}LM^VtN;E`?XW2B2$wWfQq0HGC0) zmiw({I*{M**i^rd_+5s6o>oh$4p1{{R|X&2ReyhhA$JpzQiF)Wb$9%Fq)bFjJ+h5?;#BOcUs8Bft*^T^V2)Q;b~GDww*?iFhc$g&c9x zGh%(wtR-(f9PzGj2=}VsEwRJVsHn7U@5V|EPkK}=qrF((?h@!b@_9lnoZ76n8QIkO zbpn4?{>lR3yFKG*TU^i?DPu^)pYRzlwb}!T=eo=hc+D?QyeXb1pR5M_Q7cfI>Y0+a@KhE<=o;R)m0s~2~f9VueC1$+J3~7 zOi{j<+Un_i5U0H-(~rzctv<4MMk@WtWu}8)AHwYD=ObZt6qKNg&qwb zZYI@MgrOT1#1kL_TFK*uTfn=iz{q{>2dK-y3A!yI>xrIAbgR*xe_W}yP*(OfOxl00 zH?)?X_L^6Xn&VP4O`>al_5Uy;ikYrVJ3cBqrtN|ezngUbiS?E!39UvKf+^BYyh^#c z8#y_XEJSqVh^=61Nsx-Ww4~|n2jU{Lx@k5N zO>cfeL^t2rAVTQQ?d!zx+J1?#WXXR~*7sl@I{&l=z-j-rnS4y3~NeJbAAt$tBTf=c6=}#i9@;gX=aXC%)Q+PM7Esa)3 z)Y!9pp#8-uk$s`9Gsw^Dx};7Uj_6P#u8)UQ=f{wj9>|{3&qRmj5U|TvA~An3%aXH^ zn7&{8Z9(Ftro@`{Dc5MjPDPHEg55^^We}P!c?NelLEkZq;sfl zz*Qd9e%)P9j=`dotWrtnbI`rYC(Tb|S;t`vQBE&~#$xwe3Qyy!>*TU(a4GG#vNBYi zn!?aIX)via8~;nvdaCF>$r*oXT`u&e5GeDEKK+3yboprhOdHK1I%*soAstS$!=J5a z!3xWfo)SXXvnQoC46FNlNI6a{VP{l~Cf{*~uLgB##n9Yf9X9CmwAY?2z$bUcG;PvE zskJ+vRLK>laXZu$vn9bCvH&t|Lu`B_{J{-d1vsO~fn;vIZ;v)(Km>oMziZx(Gpse7 z^Yec20}U9lX-KI$2zSx9BwowN?K*Jsn!xC(-^6l`L`Pgt$a9k?WyCV5>oop(PQeH# zZ}VHOLW1Xn>SY^^AO`7}t)%5>*=7FVux?>TW?e9%I<#a^yF?&wnf@`&FDYm#m44mh zSmok83h>QXkB9b;2_1ir-34*Rw+H{z+m+>z;3qg0+A|fa=Jy>gqT{kPJId=>rkblP z_(aX`;fPVvzZZP%0w{M{%MY~=H$KL9A0hg=|@+0xP(uXmrA}oKi3F_2##altyGuuq+ zormm_YbH)&`UG2&Z1Hss3zXknocgSbix#iDp4_NdHXt3mf_{FshC_TK zx9GCVYjU8d;wJ}?(y{;q#Ch~l`Lqo7tc>t^rq{8{Wz zO7W6@gTJ!TYM3AWE46J6ZfsBInc3HWU3)u3BGRBh=EQ% zS8wxc^z76hvYbO40Ka0v$CAu=0^Lo@mH`WCR7Qa%8{6Dq)$JIQ)IE7KPKbNE;UgZ z#5$i0*i6ZVv^9bT&tw@RRFLe>*^&4}ZlGxToK$~g`!h(Cecb)`Yvo*7eXcLeMqPzn z5!6cXQF-6$&4M;VkK6jgTZuZ9IU=v8V1>d;eL@>A=W)S=hHwk}H;vI#l+gTu?t}w+ zzLqQgh3m`Z1c_CvL7tjV{^g3`>EUnq;zFE5TwE`IWZ)_}#$%`21&n7!d=bF)OQE=9 z4T*o9HhTlS`L>X{*MwdzJCAR-L<#by;bdA5+kjJ1S{o71$zDzc_CC6=7$Du|IbTU3 z?E8`x9gqz8j$W3x<4nm0@*Q@MvuH9Za9s($Nyu|wBdB4d7J!_jJ3b2{-b=jx^BG

sL6?n{3>KSb~_ESC+^RQu6O)!n!(PAvto*%o5W4_Rf4F4QW!i-`IzsRR?Z#A5{@Ia@%K>W4k`gJ%l}i73v;ING5UMP#30L zV-B6$!pM6;gCD7IN27_u~Te~A0%kvWQAb1AG|eB7lF)MYKZ;I zWeg+gVd|>b_B|=^ztlwDKVFV|B}ad|yt#gSZO(PgI?^3CQKQi6YAlX{7+X?uZD#g? z8OJG;NKn6z1$(=j;biS+ zwS756C?P~R{wEV+GzOmI>6|H!uWK3Y%eQ(|5MuPnnTWe)I6jBZW|9i&tP>jzyPC4y zQCf)OUU2Q~(Vt(#W@x!G4?ikLvAmJ2P834aB7Ua?%=>|loaMVxLc}fAc+}G*3_S37 zzRv5Cn3I7F2YW+0rF4*&DAs?HNXehzG8y$VDe0vY#3-!40cCs7;S~n=VLDI><@$YE ztn?_Di`lEY?|A6JC2OIZqz&p;3YXcLsSIjDbzQ8i&*ICBM=@qBNNm8@bnVy(u*|Bx z+&sY#JViYj1N$vH6{w5OE0HQfh+ScR4jVD&xph(k|J;55Ad?wavig4#JsHCT$B(o~ zsXSSp^UXfje_J-$ORJ$&Epa1a?Z?eDJPml`;7Q3j z3h>B3@n8%0xK88S&C7qtM(!ZKpglaHhJSp&%QH=*LD)t4~sd`T2X#-;S* zYQt{u?cgOCob{~Hg69o6q0*coxT%qw`X%r23@cH${F}lj3Os*2zBIXU(oNh0&(@6E zXeet%mpV2o25-IJYd=U*tgUXO}n zIP|wDzXBAeT`V|81vat#Od;OkZcO6u`nUxen)Zy^nM&^K9gg1moe7`KuIznSt z{l;hhQW^8GudmT1Ij{fc z*sIBA>(OJ!u-#8zhX&Z~tJvNa+akNA|4A#@0fFSZ$d0kS9d;G#H+BhI-yr!|DUN6^ zfm?Ker&pRWH&6WRIuW(H=WpGF-#(C*!M#jGm*9Wj{XB=(ubrK3--8a%JU&lbS*+iM z1a?{q2&7K*4xX~v41;N5nYI;N4lhE?=%@^j#H6yQ&4dWk`f&<|kYm>Iie%XDOZKXB zEFaR?I{L0!pWSG(%mIRer)`sr@%ff5b>xIwP=DR;sWxgG8NuY#`BSAAw&qPCkMpib zT+n~zK!hZPW9vBZ$@6!Tkb=?p09Z#MuZn*KMGCc#YvhJAeLdpihY+qY!QfeVDnOs% z%!e~iX>V?8iA*LfoO7f&R!f~?8sb1gQLyy5H6e~&$J~cr0B(Hzw@Sf@`Ow^}_IYV&M{rd!7S@NFo41j!j!PCSI9TcdRfr)`jJi?hsGNTi z;XPU(ykKtJt2Y7qN4TrfhUf2H|I*OVySWPWu13z~b8qNKRU8lSalM&X$=)Zfp(NpB zA>pT-L%87gL#RY(H0#2*VDkBQkZ^@oajO-wWS#&36ylekqz_1$aS&cc zyC#(Eqd4|pzz*i!zU-2`@Xp3H>SdI0Yle(!~{XObD$x))W(^Trb( z$Vq{py;;2G^xB9!?~E>rE99!yzStuOU~YrIcAX8A3RT+Zg z^^tY@ddfPFzw#;!`cwB@%zt%%_oPxGZ?p<%9dTHoUklk+<>)}h*=6Z1QvGSh$pBAk zfs!xLRJ`Yf8!6>3^n$f{DgA$=Gu>m3_S3KE0?rwiQl_Q}*$b>-=7KX7oc{-E#n2f^tG2hi@ktCpDmK7#@PUoB|ENK=nU7C+V{k=YqXn3 zv3|CpOI@#hNd+q?-x3j4ZMuJSa~i&-;-5>VBA~nLZYvcL3s8Gi$rUmf;R`>Hy^C_p*fKhT zu|VReftS;C@KMZ<6ud-p(*!-O1=~iB)Op`4F2ey))y}7`{E62jc{*b;ltO2U&)V`+ z)rVCb-?)ckhPmblwJuIrbDF#BP?2Lc3=q$R+<0X8L~m@NmPvoZPp^OvUuqDQcyP>I z?E};U?oL0$TguM09k-T4Ca35+OT-1ecG)YV)uow7LU@Shu=pREKC0`}~TL>2F{R zTy>6@A*Olq0AYU=4{|0Q|7Py~o?fZg-6-C$^4I_Z$Yp0C1x-c-eyx6_~X#D|)+XW+wDj+Dr~p2n55lM`+Od z$Z2TliM2!Id~5~uGue`41h&4Sq70F7%C=O3*T^=`Jn?_}{w>&xCnktWp9p&M40}Rb z34Wh$a`7Hhrs9~!)inLK5@0zcQsW%Wfg+h^oiuM&QJNOX;ncVB_{)ZrlnNQE>b&?` z%F(aIpkZ==pGMav^@zy}@#0?Kdy|j9Oj8S4gMIp>XeCa|E_%d0)3}hG6Gt*30@vtT zAA{8mikp8!P>@ccb-?Ys1oHPxXKU!&iBr^*3m|OEX^;=`TkUo=01lh2p#q2V-kS;A^7oyTdr*f)Jv0@yN-3hhyIoKFp?y zRMwbDjZ2)li2u|*6MePwzt5g*V^L-~i`2+V`vE$SV*sncTl;@vr}fF=(vq4?DR z!N!gHFx}#z>`MT_w_sqTq5IHwc`C^EwiGjVT#6v$6GJ_Z-7YW&;(b>YHpDf(hC#<- z!XCvTBGTX*gU5odCc2iYlY!vWgM~%<#!T=&>^{)5^w4fPk+;YD=J6DkrT208!fk3; zS{8p;P`~U@Kz14LdLD>tKnha3qkj>VI~}oAouPjQaqP4i`>*$I5kdL$9pTO;U@?)* zbb2>z9~lP;F0B3<1z}OTB1iA01mg#NPW?`?q&A`N4QnP25dN5f;n(~sX#z_s4yJ-~W^DSTmHFvq zPejji4JPICBA$!oM>sG0QIX{Gd{(Eljkfjik`~hJM`%A3-kPBbnEsWo`_H40$?ku1 z($3!;@@(MjGjN3MegfsWme zgHZ?bL%_7wBe}||p4!fTC7tQkLJ`PNGdH4tVI?_7YaG-jQ{wSGeJCcIaEl(PzFJWA zrjaH?z8)mFJjFS@Tu#I?o3k3X`ssgloSeQp-rsS76B;5Q-v=f+Elz51G00e1B9gZX zd-J}h73Yh(JHQ*&^h0j2H_qM=ViYEE1eC+4E6|2Q=8w~=!ffr%bf=Ac>OW-TAZUB< zx;{uJqq=eWX(XM@YPr=vV$f}C+Q zh+~b|;1|S0m`YLWsdzA6&6H&s<7x){FG0xnHNo#HQjfM~6o=S>PPGAp$)EXrzkivR zW~(g^isIT2FTKYv~$nqK3Yh0o}4C6Fx#p3;sZx)Q(hji$es6!oTNV8a{}K zSU1ByM!k;=ijC`D=`+=zDe7;Mt%EOnB6e!P*>?JNc(ofmu(#oTzF&nubu0IuxnM!g zY;A`+&gv8ytrT&w%@b;TVSGN5R94V(d*;*Y4cuexi<3kV$$)?SYN6u%HCFMmC+hw8 z9L+sZQIj7QV`zitsnae2iEjNJ{>s#FY~20^UF6L^p6mIVpatrdH%UZ6;*Dk#Zj@>8 z&xvxnS6wF7xGCI~TyszDK_ok2yFKP0CKDADE5*Cly_yP+IEQ+>XxlNqTe`hK;&@CH z6eGOX(Tna^LGFKqpV=&2jR8D1k4P>{mu)p+0{$Pdg@51(7VM8)pNUMnpFlMHoLTkB zz&{Q1Dlll;$`T13l!Ga{GoGmt;wN{L#>mBd7I}H_N=6m2SrxpJhQvmnbdgro6Lmv2 zQqVHkVO^R+8)q&;NLdCaecuS-FxkJmcV}UKJbskA{fU3z+)67m9kk=98sTcsd1ds0 zL&MJH)8Zh?{Ca2pgbt7C?GD~DYc49#9P}}c{$n`4k~#%@)ajY?bPt*31Awv7UrT)>+RDyhp$`rE|i-35+|5f!Q1Zr8&BY;B7zC{xhDE#I%IipINS8t8jWy< zoe6(Olq53NY>iF_2GXs z1w8l$?D0H5bPuhqzIoR2vmOIw8l6iS;y<;g6IJDry1)dNG_P_F0)O^M4p0o3C^fs~ zK&tsOV~>c1{LIfX*q~1tQd7ipU2A*gP9&|4qu7qxVkcs7HxM`seGAH6{4B2Ti)j`Q zkh&51FbL$iqY;<=t%MUvpf;rD&FFvc{tNdjrovv_3($Rj*bA=dmUX-LqP!OY7HPzk zL!%qM9lqe*q@VF6O`ly}f=^);JA^K|6>1Wi6jUOX(3SZE975gfa9H;A#7nx$K!d`Z zK86X%5QS)n%4Kc}n5A3r_0Cg@R6G5&rZUzosYhl6GLI#UDkQX)R!AdhC@Ftfx&&wm z4Jl%Ym44@P-ZX05p^0wtQ~F|meWnJxexI`N`) z$atts@uc|klTzYX*mD44K%Ku9g-sxumKc(}(n1O?a;}~a?4wW(cG?hIo*HH}Rz4G_ z(;?e8F7?vgWQ;lokk8z0tzqZUy=41k?2VBSG=x@%8SwX}hu&xX6}Zitq~_Fr(T!5K z>w>4;w)!;Pg zSvS`g(5`R8L=BuBL_g35I`c52!!z6yCIl72oO=@NJa>V0;1!UB;cM2qq2gc*aJj|? zLCJEq+l6(|ep~mYBb-ZIbMzE{2x*dR_LHKCt=+MgS#Dw0oD*kF?5 zmbGm>_o6*^Ot~6U(O93!oX&d!ZsV%A;V({}!25YCwZ@(DONnl6Wo{yWi=b-?bt zMP|?*G^8>|PSg|bEu}*&1@@DPM+p>OUd7S7(CV8{3C|CH#~1dJc@59M-Gi>Vi^!;> z<^B%VbafZ@u75`vi1My~J;C736T50x$reM%r1-Qyd^ZSs1%Xkbtes~}$e9;4UDo1N zMjwM^jaehqHe(m-EN+KZt=(v3RMx$;6ZBO!wzCZ2aZs@O47F+!>GBvzuxB4k)T8zw zUFVwNVL*pgX;1QAe>ydLI_zZA8|kdJV%jkkJm3hLowL;7FjsYd6JLXpym2ly2 zfk~M~PmF~kM(l$N_t_EPg0CMaMHXO5>bqVvbK%%}M2bMWM%1rPxa|G}C@O=CKtd2n z5#GH8wxO&EZ?=|QXb&2|&-G@(n6U~W)#ZE!3^*`blNnEX+O!QOQ^Jm%60RrglSDq@$fXjI zA1dbV29o}{LD5trx`Ee%~-roN7Qy zS=^!%g6-qKt1`5ROO;*u!|UBh+>lIr*J+cg&9~Xqt=-=pZh5Ux7Wy{x1is!`yXexO zBr=R(`4`mp9UVtkuAGW-@fMR}cjh7MkuZ-&1rX1F7lGy;l*f9q*_BO^Ic9Q21lL@v z1(ZiHXGMGb1gXp+*~H(Aozo&P7P8}9W#L8njMo97Cnx(v^4`AY4N^E{O{kGRhPEAE zTj8W@2S42yR>MzZmH>U)04%4XLdLUGfKM3#UEn#yvFN*@j4ekxe35ol8*UBY(?c{* zZ7QsPXRG2e<79_n4ew~Db&?umFvVKcNmk7F$8QI0%6KJQgeyIfLSFC!#&CYz`5iUx zJrxINg02*9f)ffQTse}9cq@Uts@ev7zbe;6@|a43XNH|f80(vh>s#p4xbh}t$PLk| z_0*-c6%bnJm6~eD0?*Ff!2(b1GK;9(;uMd6EAR`rOtkfglmqYN@u7?1Ph_l(+bQR` z>Qj6F9Mh;(dXn|RbKZDCdmyJt9IxB*B zTKJn}=8_5Kx0hDElbI$JZ{bt54Gs;8_m_IDCLz(6_$GlQP0aqydnoa0B}^hc;En=+ zLu@mU_qmL7=0O&D_aTMRRh>TKh^@F4Vu4qqhy>Kk=||%2zKUj2$>r9lkm7UGAw*uV zxV=?q9V&0suy4Mvr`yOK>M{Wlr^~J&@yE^@Yf(RaaL0mn@COJJEt~a17Zw$>BISDz zu?4drG#U=0@>fUj@A$wgnb7W?(a1J`E#iA$T^Mnkh8Wt(Ft~=e+6d9JIe^b178Hi* zJZSy5-2lXx4OwU+9&=+<|Kdw*P*($c?Dj~0&@z%)aeOit21RN4>sgDr>PCNm!}}!O zU_U9B?vRHO=AN{Q(un$V`K?lvAl~GOrEh`7-FVFRvCCmAWA;|h=BtjewpBI0aJ9T( zL%=&w!m$Z;oT=8zYZwdu>GiUIoQ+X|7#wvlYvR_drGbwapbl~Ds96e3w5p=Uo&Okx zMY)2u|O&Q_b08EmUJAA$~l;Mccmc<5I`FWrxl{PA^)NpE!xPg!2vkT8YdO2{m6 z#Aj_i|FcEf9R^BvS~ciiOzh60&pxB?bPU)_ji0@YWgLX@+N;m%ft?3-ZemOdWcAyT zbnQ*1-Qu|mBYU%H;Pt5pgb^#*Pl}MpzLgnWF?3j3EZ$5)A$xyv*a?k)UhOSp;tq0+ zlM-<}FnTmbx=Znb_2lE-l!zAhW4T4>$@!9g=spa>jb@j}Qx@8S6%6XfCGOPNz)*|m zX0iqCNA?~PL$S8B%-{Jv`435@&zSpSF#%yN0*uh6K5|3RwfO{V6U+(e|KvOicYhv$ zTg9%OoJPW_0$nt-C&ll71ZF%MNCy3stE|P=RB*G?!5N%$H1jfz$aew~QAavG8i3?O zdZc0{IN+I`f!vwZ#$h@fAx(!`z3M;TIDYlU7kOD74|x4%6}^AA#D&d<^)zh+_wj4v zrzSNDX(`_lcx+tGqh`{_peHaU5@yK5vq5t2&w#`cEutOY#?f4V$huf)^7I@c3yj@J zG=1~!1A_|WIyHZ_=%omM!-xz}?tkBby~2-aqz!e@{cM*!>=F$bkdy11PF7%;XVT=; z?6Tm8aC7j!b+sSy1sp;u5YLl2sDy{!GH=lof$t*3rNABa57-u5NEoGb2F@0u#z*IT zQf4WfZLzo6zbLtX<2i4CXgXA$eL(lW!kHAoq`*QCb$a`4psQJski~=iH ze_#wkgHCu~dH6COFaeJe$YklCz>3(g3>nKY*)o28=NMyuN^2ZG9YGn_5G*oQw}fM= zC$-y2j*9~jiLU|U2hwpg%)z8tfeq0=PKk>L$gX!FMi9a&dgH-B&;(*%sXh-DU56Ye zN?}|_1+E~r8%HI+ak+M$FBfEP44Mz+&*#nz-Ox_6tx{{dP2Y3#R})6PnBqD^w;ldK zqlO$k38^oCOgg+2>uYmPqj)YCihKwf-OUj^oO{!K3M8zlwNCE*44gLq^sg^p4KsvvLTKXVb5qEqM-sjwZhJUiskBd+zhDt%oxr@wF==SAz z>A|lBK83e7Yqqi+cq+T2%Z0=*SzBE`AtVa9*gMK*@8kH_TaX624>qf$_1}{iQp1lo z@NJ7)T;uD=D_?%^>)*F6Ez~?GolSD=*uJ}^er8#x2_b{|oJ&qip^8BL((|u*cwB!8 zupM82%VOpgPv*|%LM<#j<;?&vw@+By#cIY^;Kb|B-Rm0SQ<5_sd-xL6PDSdMyZ+o% zD%5ds-TEfW5Q(~;Xly;H#|<$~Wm#U&E&h|k`O9SuvS4q0TcbsEpX!l-xAR^*z?s?1WUv{3){7(hSx;CFM^=NeGXI7tTaZ#-Gon+C zhNME4VSTV#^zICIHhlK`_upydueT91{iH>eX=_eFfPGJ#$<0ErOnzq2382VkFN2f(eN0Y>#5`V(eMO1q5Ohv(%V>*# z(XRNWm!8UVgLXrL2X=*v(z@-HB<={IEEQ@A!p~7yI6v0vykRIyO;;>5H;F!v??lF2 z9wW5y^t?>d@+Lv=V;#F;ToeUs2`AiMdt7Zewd?8HuA=2xwyf#Z-aH}}eEYfLj3e&v zluZc9q&VR}&Om4Ch}zA!4q+64#a$17A?qP|oC28w{!l$^=~b~29P?}kC4h2ilM=>4B4C%u6pDg#CWqkyphHhs(6#YU&Ft1r=EHNlT;ld-jDY+Z(TLWlLt;( z?tgwz=JXtqtBp*|4w0J8d^-xuG7{34wrc4+9Tt|p1Ec;z%5}ZyrVh2YV%t4`wu$*6 zR3^ft?uKVlrW8SpM3lLxb8pkJBMe_x%TWoD(DWgFJ%s&$42DvGo8AuHGJB)i-Gtr> zbQPzZ4UygI1P zP2^rQi!A8`KlX<%!C0-JJ>lP0Qxn9ZV@8GR8RJ^Y;zC(={ca`~7;#8?#KY%jt@0WT z;rw!@Ru`@A@m-R3`FxLL?fWTqz{V2{vhPo1L>!E1JJF&p&Z2$Y*1m16Y~ zwXi)xXstm=_+ru-@P^obUn4O|CqCbRGikhwKK)k!vijiN)UVTk1S>j2g^&L3u|0w+ zaO&gRv1~$?Yv?VsstEBPbj|@6O{I43X#0{s%O}U5WppJVC0u?y+_3#nO;zN$(&PtI zQ_P*idABAZ5EL$HPnEGdgv4Gh5^S{M2r*VVs}p)iXYv2tM(+p)03G6J& z;Vb0`S198!S(5>1lIdL{rZv}TI&-0Y5Q8m{;t9gIA7bi2{xs00z^B1Pcdwn91&+oF zX54ky)7CyB)TCp+?X3U{iH!yF@vl8;us1Fxoyo5lgfD7k&=errDGx4*c}6wiW}`+O zTYq(7{nD;A1<7WARFp$gp_Zf+FmYSmkw$lbP-QcIUgI1i;vkAoA9ece?~pO1QAT6w zXw(%jICT$@j{OqUIbtHpMldK9V{%H)rzCy%!kNkes;Ls-Qz(a~kqnw7%n?};!cA2&N#P|*YCOQ9 zC=jiV8_}6|kK){M529Q6kHR!A)C`Zj^qq~lH-el(@hDO+!}z$wPZ?j;Vpr1V4X1#Q zxy!{&$=QsU`fh`5H#yYx8tIN1H{R9#2r<$5yg=o=?G$YT?DRg0Uth!{FS$Z~aZ6PS z`5kvlXC^%<+8|p&eJaoqS0_p}Nd#8*&IGYbw*Cf~NWikM40)#a8C_PqG&e8+)-0spPO&U&CsV6l%o9Z{We-^45j<_MraHZnhaf9Bc2a` zD?|j{FMIOL;;>xg-c{#Wiw$W&k-X$bR(1Oo(a;CU?eLfF;hmi->!PB+J>B6ukPlH+ zI=s~QAYJs^U5_S!2Q_`*Ha@36sBVw*p(P14YjuxdxklNbpV(d7Aop?lJ=^SaGek4Q z)(9W{5%~5%6 zD@DS)d4MBLP0{>i90w|aJW-&eDoiedFp*XId=PV55m1V|)s6^f70N)Cf-T8k&HD}; z3)<)`ngtdLk)C+VN`kU2<68(fg59jLtf+tq zYdvhi8^?$PKmGozhR~uHusN51AV_K@5tuL3O%#@fM`BOAP=DNrZ5$nfE>Piwmlgh1 zm<_$4GR)43dR-tTjjY0wLf@8Un0pf&!e&)euA(MEbZe>pl;=>EK+5b$3{jnYi6oq? zWiVpb?OSoD6yV3egUInw%GRLdT4nwuQC^R;9e*3vFwqLn$j%g;4mUM_OZP%DVsUTA zssr)l)&{{79w%=qHCO!(zPf5jldzJx+Nu);^AWvg0mUreH@c1PvyFgc`Z#WA+}A2& z{C3q<1uxWWt&qXFt#SvR-y%-OSW-`T5k-B^2UGQVZgO5NSk3~P`&3{dlJ3_7uyxN6 z{yu`->0%*9F)kj4U#{za8IDXmArl1&%xu?*G`H-8>7~b8-IsoH-6)cYpYsur_SAmU z9j!}5B}--I0z(LYzvUg)&p*!sB73Ce_1MrKc`GhP%5`e^8cNU~_(EIt5|qfAVUvlaxWhYv^}rF#2Z+Po(2P>kGHLS6-KY=+ZLl4S1Sb^syTD zd2Isny!v>ZZ&aWpikfOyCkJ%hO+W8jabeNjK7=h}%e=K3RgbjvaNQO7ytoB3OLPu0 z3du3#8RwDGAB|Ce=}n`H@)^p6@}r1(3pGuG5j9>++v1gd$qVr8BbrFYdw)fCqziyE za9s}-deL~op6{VJX4(7!_dP5QvBSqKyDk^wZ<7JM)g0BBo}r5wmIuG zyoi<}JiM6Dpv!DR@X2qzM%Nw&8qyLeMYT}b9g3NmxTAEh22I|9s!_`X=B^OGg#+n`Dj>%~WPB!GoWfBez)!POlyWU4;h# zQ{2>lNS$|9ms6;o$_ibANU%ml^Zc-nG>cN&k0Ms>n0hGfhZx74C#Jlb-oB`5gkZD#NE?Jc%2J&EE@Rn1@%b|z~T z%!32Iw)o1z!DnN=E!>B-za%<&mEJM!A1&g1&6Ir~Z2ssw9N0t|{OJu46P5&A_lVBT zfpdnujN!-T*-(_5ghH$g?Ou{ITJo-c zzC2bTQu6rS&2kY}OG|)UCa~lyBJjnDl+R~I#9*K_MM4cicKI(=3H+eB+mAN`?%Lmi z>W0XGppfh{Y3qxuTqX=%ybK?S#r3g{a zdxN+Rh6%(MfEcCsQQN&ar22*A6>6S;(e24O;)u&g5?>t8H4ZtDZv(*!hALDnL&2zt zP2|ZFRi)I~T9u68@jjgK*98_%!eq7Ztz}j8xm=(t5ksHIDMDob^nEId`K8yu0e@*g zH?qQmF!4zpjB;b!E`_3?V)#%8)*F5&!P!&yhGKGUN0VJ2V%^2TplBqXugW5SW7D0q zK%ZPox!V;DLT_m#iRC#BRh>Zh$V%r)*@iEZusS5kL6p0*0`sU9 zKg@5PY;%+fpL|nkTyi_$CD?F(1eWtoRCe?}U@vHPQUeANEWK$0zYI9Y`Ph+r*;P^ro2jwh!vIa^SrlG=q8$Ef!ER{K zpuXq2D7cysz5lTZmlQB>2m6(#$Uvk;0{AV7t_O*00#t_wJr%J?_)*YyP&?QO56Bu)#cg?$gJ)Zi zt<~-&LdiSU5eNN$9VYf#C0R`PT;#I{uLJrU8r0+x z8Pqm)ZJ1^;tu14h!Pmhu#R37ry(Jq(f=AOR??7Y4KIhe$;rxn5bpF}e!Mi~@{7+6q zubVFj@xb(+1e|IkdMpTCXQxiRJz;X(tjTzzuSvVWeUu}A5sOGYvn>r!5ywcn5@$aL z{yuuu*}zop_A~_5YKI22KaMCRI9n_Z(8rR$>P>~%qnJXd9{VKFPQ{?-wrw|3_lXDS zXG%7gstUKaiQ2B`K|s~emqUr}mwzAiA!CW5C<{59OFmB1ItFWA&NI4ozxFofnELxh5pn-AG*V2O4W~K6w&5{YqEN$>Pn?LP8{Gc^Q@i?LJ z$Uqk!{dLx&@Z~a$%`8wACi|Moi5dx$)uT#zOmj-!UnqECeIAf8K^J=LF*lyHNLuVoDun~{Px zX3jEyBjiKou^G`zDM|x*6_|yBzcRm3lQE)0C9-8$vj<874tGcXHr&+32doOzd1s{a z4=x6drw-E9R`_ZX8bE6VZ3~xF?BE0?PMNy!=gS_4P^`qIh2Wz!qQ!5^PA)S(NC4P+ z-E(WxUQd2+-ya>wJssFR&egEdHnCvGqoFH*)oaAjGG&+z9VT5gusi~;3;c1z%WS(4 z6mdL(2i($C4&gKi-8~v3g-_jfT#Qn(A$`y%*5;}61YqIs|JYM@QM$I^2L0DB$Q*C3 zbNd4lU&%p$&9qG;I9b$RL&l`0tNEUiq2R>l%Lyhe;fckjk3?UMd-&cCE4eX9p6%d& zWu~`Q^^}~lt&V^4H0NH7A&G&Qxlzm<$tcjDg^Yu6HAhGXQM1237#g2K_XW^ZaE3yot*cqYapisRS9C;NxR|46N@QZ zZt5}&pJ3k}2C7HB<qO4(@pj~2r70l$JpRExRd2fH^D^58GS?e#DJzzvvgKTTIngVuN`jjZ#`4NE6@FIv+^l2r(mPsy| zCk~tT@lCGD06VjSpdyq`0?Tb@1GPEOVVX19@uCis+Z=E~Z9;AVsw~CQ>1lxbz*uA- zlgig$Ido{++0tUhqTJV_&P1=~c#w}QVWTCWd?~VzMA*Nil_wohC#FJv^P)aYIDh$| zt8@)uvfrOsTD;^EdJv6&mFiIpTmHW5obadH-y7X|o#d?nPn751ISUc%-* z&+cjx7d5-D7YZ{+RZMFpTo(^Jwm7d`_sVa71=l~rM+}(34@5JfqkL_OiP6k?uPnR09iA|4A0P zp#K^KgFm8@8?^d=JDip{-G!JM;8l{AYVgXj~RBp5cQfsSteXUoxbKq0m>h70#4q-4QK8ZoE?pTv` zwsazCQ8zEftY@26LK;J(zB`|yY-XQrSH!ak`gXiFp&03Z|4-HJY@xOK=Yw+s*)fGp z6rL)E6n8eb+GILduU8;#eTBS3Tn%GHJ0>fG6L~s=vSd1P*N2@Q$n4~4$xnATf@PQ5cd?O!~%czeUKOJ`QNb=vep5kPR%ZE^{sn}L3f84ys= zA?r%>&G<8e^QRYHVL``4#`YWzD4lDpy@=k8H^oGM>dyma4ax!mak&(_!p^mAKN*~h zYBXS9vfO}>@&QCU(X?+Z0|q3G(xK)&X!uc}I2NX3(o3TJQ*sp?imPwWSsJW?4 z-4?jd_D8gk0+_Lk>O%VDO{Mb3tHCg(<)5V+hAn=iXwI#M`W*81nXERtLN(Z%qnIbN z=Z_kH5F>d{3W9m+R1zyKgJEko{`e~Sam!pFDSWj#i!(_h@LJ2oDc?A@T4m2ZwS~x+gT~`-m+oD^;`ZWJNSbhfh;CSx+ zy;Y@Zi`C0PMF~*-hPAh8`EQc3<5I$0>PymoOd!;49(XYEi;R8J?6OD`jk;DzfSVN6J4m&1) zR9;l)3{clBt5g!Q%C#y!(HidFh2{E&$HIMC(Sr1(^%>aw9Ap%LTtOr~wX6)UW@GzN zUrBxmXLvsLtd0zB5mG%_cmCPoofNOs4gE~lgtdXD zhY=wtGe;SroUMZvlE2SLqrxm3&2l+^tw=nj6u{xyq>616Xyeaj18xN=#&IXJZi6dt zkf(jka#{}Kc$OJk?QJhAFsj#Tm4P_%_FMPc4!+8qTkkoCO*oW<#|kldw~8k7y%&rh zR>|6DDeDx}ozA&&yUkuI`niwo9HQ`GyV%WYY&arHY6LUD6VPbAVRm-D=9Eo;4~dhT zvK{~#L(OFA`Kd=rX8}0(`TmZ}niq{xBNI5@XuaSF)?hZK*!beAMLqI#*;y%wt|6t{uA!QE%lDk@vKOtvgRJJU zArS@q?GDhlLxHiKGRJH+YHIy|8gDDWw!qC;g-=3!%aqgHZ>!-`O@k(3qYlE-Q^;`~&G6_Id|cEQ6-MDr{H7 z5F4w=55{t1D#o`rO>O@A2s`i)Yo4`W_ev9Z1x$vKjfydOU#TfX1lT@*q9u4mp?3NE zkxxfWu9CG9K+sAx;VIXlv1OP=M)!Z!fqa|KRS*lcP)ey^zR0AMmd;|4;AiftdS~^M zgmT016vERP@_ko^zvULuh;l-4b{a_g?Pe+vhhHvbO?(oZN#g}}KM2~3!G8+5S8h!f zl`QypOGpxdfcCbc!gYRsbJ6nOJY#i>_Bc1D#{~aJH$eY6RW(NRlw5WV>sHj*e>&fT zm*rec9wk7I9xAg?8eJ9*a<2jHh$+Q|7IM92=F??nEM~@ca>B3YzD0H4IG9-bxK()`BDdaHSWzUzrBD_Bh$lahT8^V z>Re@cyOZ4hl-{F%NTCF7|I&TS#a_Gl?zj%iv-g@ERr}ME|e9`%(5Y$GLMw@A@K|6qP^XmCY$f?;;ERcSBuzM)=!)AkmtL~U%33)kPQ16s3E z=r)?=@iHz)T_f?ZjgIT?g434rqqE}SQW@a7Snmsh81DvYz62-q2sDDSieib`2bf}Q zX5kgzp?@NVS!fRQ zPpXT@S#ke=eGp>J5WRQ@OgPp32m?*zsGs6T zj$wpG_RReQEQvmYdV7)nY%opIz!i5R6*v=L9&88}viE!?04?D}lEaujCjOcr&a?Pw zmBN7or*hR|)Z4$P0auLiya}>IhPCIZ@i}e9#Drm+X? z6gf|SvzydVYydI?!5=o{hQIrLb^uCua#cgSrkp(Dt2feMAG?y#LAcNeg1Fs|b{Js^ zo1^UNIXT4ZQ7U#e=w*3$dEH$&*mkZdx`0`#bDVCwxMX(}?6GINgyTdsPL-Sv$VvP) z&%@9uD`20Or@#UbP|ha1ML+sXS!iEU#VU<|+kd>s*Y4h)?%Mb;3zaj;O?CZrC%x;Sz4(0UfDZ z1wu?NRYkK{>S0l)SBx-BE>!8S8&VTo?!7-=eN6^0wYp%M)Rj0lL>7!JV-)xQ;cqX0 zt)`D^4cr^}m3HLpV!S}(viDFA(#zJkZ7W#mG65auj&%Wg)NF9D9xR!m)Fyu-S{rke z`lO5HRm%-XSckY5k3RG2f5i^y-sPm=pX^67btwcDJ-Ps7PO;u7qXPSPVlXFb6w$n5 z%9(YyOx!xE=l-99nusQm{5#4?G6Tu2P{7kZ&{<5 zhx>Z12mA^^ebI`g2+tg%Lb-mKvH<5mT_1>A+0O@c+d>>_SQTXI(jE4yzu9Sj6Pjbl z8#$^ePv_j+ym_1OxT|XB3H?9CVP{iX3rCGfOnln#|JmC5)%DHDpDBs}hs!tfc_sC% zR%yKo5$H$n{fmHw&ZxHXQ`FiKkd_$Pt3&gP>dGr3}(b%or~_4@*3G zun1jT!oEq0&KU2Z!;DY^EFy@1J9(SnDR7^qyDJf;W&4-$R$pcw$%cWCavF#0p@Bo< z5OzAU81DyuBZU`z!dEK@`vx&pc%{}<8vDG+#E(9M5;2;@W@nL!;h6vqYd*!ko4}LC zhdpz;lgKIEn&X;K2u&1@die3tO9xUV3;BUFkq!C;wnl@6M&0u7HAt-CVBYr^H zGtggnIpKlT0ssiO+cmZcHZ^bi|B?{I*^31r4U`lwA8we&1UN#HQ?c%y1H6)0KIVL`w;LfIO|j_~**GZ+eWl-Fo84)oJ*trn z!eJlJgo7?nby)T2=tT6oy}bL#L7EI-=V0(%D}MW@x?uTKBMEqay(7IU;HeK#SLl;m z(>vgTyK6(Jl5RIJ6(C%JqY)D`^$^EA(baHz#adZ&+c*+_*RR0i%ua>44_2j8Ydf)XI*yN= zlLuO+ZEa-Hk>nin>-TH$5Gjk6o$=0=O8`kU8r@$XXplBcu)wrnDU(7nshHI0G*ikl z>6o(UJkvU5N-*sWQ<51Um@>>tJph%%Bo&x5o~e|1@0eCBNQp@-#kh7Xbu^cMNhu67 z0=-60%V3T%=)E5pEM#alJLgahbOtQ!b( z0mdQ7Xl|1#x&RBZP{5QFbiiDuFfE{l!a!DGT{4|j4&Xxx>%c_{M;8u%7akXiE`XOe zM3XWI7s%qcAQQtMoU~>j;VlmA$qAUVFrWnV&N^}rGE4LmvWuY$7|dECPRXUf2LcBG zjtgLKNg)_Bc;g3Bd7vAxD7+(8Xv?kZLu(OQtcvu#W zh$R(#M3P%dIL6@NL>(7~d%l3&tO_-)8x6J}M@O{GB~|H2CdL?HzvpPa(uJY9`do zshLt!P;)}f6*a?VbkvMae(zmGU0-CgnHQTeH90j|v-+RHh~_45R{Y*fijsYyX4b#9 zzP|PmHJ6P>S;IPSFMH4^dftp(G*_!uygF_cU4?68__NVy!Fqvz@T9qlFwffZ%zEWn zBZ}$~C35)MES7i8K5C#D--{Hw#|OrZ%EQK-51N(!SsBfB8TYydI&M}xZUh)NSF^5U z!+R0RUKeVkVfgFrbkdEgyqS5?$Uo^-tUugVK)B!VUqt!0Zm18hMc-*R%In8FT`%ZN zS*&x`s66fl_=4eo&-TpSzm;KD7-*|&f?*@d!Vb4doc~IsxCzhGuI2I-cwU$L6G{@n z_8H$E%|8?KhYtt*@aJXD_+ECF5BOFwndg)F44WYl4)}gPE3T%)d`9I&eDW$k8D*Qr z5B7<8Q3>T!^?3jWQ_MsaRg!H?CI$F>qUwj1MDY_lQ+76gcAp0w8RDD)Ke#%c$NQI~ z$(I4&ET$*;5?C1$X{g@yi9y+isw=UCgY*e1 z(SHaB4Qr%-RCC$HVQ~#(I2gzILB*cjXN-JsB z(8BJ}21Rdz(*I^!Iw%DRIn$ffF#sEqO05#q*lT%z2AkL=l^D{=xR@SXX2TrCcqHG; z=JR|yVP!VpPkzjI4(8cBXJwWc@NHzE=pfq?PJ<%5%vZ7Iu9KGp)=t$oD6*ZYZcrOL zTVLaV=jv+|>b|~486WCv)b{lfIG6Z(1)OnwCGj@ua$oX?T6}L>3=eX+Idplv&G=#d zW4@e!$Ch$w2+O%N{9-QkrQE(0Ih4|d61q?V5=yZ{DRH>hJPV5?DUN+I4am2iPPvH# z-b#u@==6VOosX8 ze0F~#Sz!_#$PW=%ID1)aM3PSQRwOw4{(ppj(mo)`q;#$YLP*32Q91@A?S-J@Jah{Pe}Nv>e%T@SnqhxxT~ z9T(Hdc`-hjL$YvO6yrRb+@n}0 z36+SjmYYO^pj~zynFxuqW*wQg3B3}#iHf#rZ)L1a*U>pDj_i7V}hyrbGVA7*UaikoM?0j6cr5jfVOD&SpGv ze)9AVo?b?4UH$^Sa;2BoBHmN4Xp0cyR=-GZMdVTc=((pnqUfD10CAL4LcFGb7pC;w zw`8DkdY&Su(es)%_SIN@Pje$3@x~baA`h%v_fak%Qwk0bnzobpjC7^vjqDW`M5n5C zX)U^^apOvS;t#xOEb4}}D;}Q*pFoY)QPII#EuLApG;zXFjLJ)-H#&~_n72tQI5K<{ z=Ou>iC819thMr5EVAIhELj)Or&emv=^$?hnIKcfqy%JBT(7`szyi-Jvs*u+7-Y2BV z>Q;)D>24;yeH)p^X7$s0y~UFj@#4OX;7U@3y||=wjxdOAKtY;TEyb6mgKyPF3bKPE z{I0ba(Q#hc+SWqU!s5WYyuNKTlwP&qp%#FUr=U=!#HmPnlsKh7X!@XkKt}ZfDGOxR zrnW?ji)aCHJ%Y|#6q(FRavKx|^c2|^fnhX2^a0f!jwG~%frAk&*i&#iN%6#CTSmxv z0ZJT-i4Po!oRH2zH0EujljNp0kR!T46jX0$3PL;yiX^a+7mYgBhO}%Kc0^4_4vsl4 z1_A93k)smi;Es%D0!d1LXAA2c1&AS;sT3>ekgDha!~!J;)QyV1PZ3u^IvX5B=u4NR z=Pr;L>2(x%QIM3B9>GI}xr{DgQJ8BAV1XW(iH8y-^ofuCM9Kj`sPeu{^D-D_^SzPUE*w- zmHM<429u~P7nNs!bQfEm9x*m0O!f2jGgCh!+LE3U6?sGDEm6^1{A#a4>^8q>S#QfN zxb=(1Yi+UhI`tMFqGzaPORnjfdDS&-&5bj}Z~40M@F)Wrx8hxUVBJT9#qYhcqbv1+ zBBL6se-th4c~Ra4KC~I8gk59y$~hxXr5b!hBV8HwO=SCjaARc4bRj2I!Zq$uR;<-t zBgz^~gT-BK+0eIa8NWRXX&b_X{T67-wfQW=e|9_)hTwa_R$0#!|$?Asyp4WJftk&f_7eiL-cF+{O!(%-J__TU#*<1bd%W8 z?nk#EdvzP}Nk-zMApB@@dgk*xW_o z4|@lHZw?PgVb^25T3`C_p!?95$a?f8P3Py+9PRfdrQBVV+I{)r;2+Hc6? ztMNErQs_>}<;CXV#+!pbc1IV-SF?j`^76rEF+S;0&1?2R3;K6B`lM>omTpS5b&I!+ zZc6$d7nP>91z4@xs%`L1zQrH&Cw!al#FyhQ_)GqZ@AB7tkMHvXe#npbTmFuJ;2A%E z=0kqMbACGdmY42*&d+~dp63(nC13cMU+@Vp%Dh$XmtXmm&#-GYA;7Qr&n}X8%33>5 zj^2JeY$Lg!pI!AKN&8QTFE>z~TirrZc9E1_Bz0c~vn?Q%ZUeblLHG>Nm9V|zA1lbp z8iIh!FHW-AIku|PQ3c|-#PMtul9LgCfUMx`*$CPw&qhB8>4@<+{+<6=M*2>v^uveO zN2pbf_TTMg<8gK}DsJ>ztH^7sH%zH+Cm#_y5$QWvJJ;v6s=ZzKPC$OW%4hVy6IK#3N~Wb9RRTA~W(kVrQIc8U0JpU)lD2^>*uiU>&mjQ>ILwdWs{Rd#*L;R8`Mem zvdXN>`PAHLXWHL8+J5ozkH@3Q*>N_X^&U#-Kd{pvahgbbBRk&KXow!aZx<9obP5Ws zyNWa$!+!zAgm!Aa!6SvIc0rmoybO{0zm)+?Bv$u%n0YUs8Snug1D9+T0u{G?0s)X}4M_K{L-Y^PV5ZH$R@YldSIcZW7&V_2N$5WvJXF|GDdfo13Dm zE=Sj%ADydRJ+7V})br3)TX$Bs`KH*k&H0XsH*NKPsohxh|Du(9Yue8e@Tl8Y_j}U! z?|VB;=%-Ql+MM5M{ri%lTwQa2#ihU8aB8~tL7984H393k&buRYpMt69R?|_)t%~27AZhP;Oo#;qn2Q=A+Vs{I>eWFoAZ`(PHD|$c{l%KU85)y=2q=f@i z@p~kMldkqf{vc#V=+`YP?y^!!iPDcboy|75eJja@d9I~fG{jTc9!^p2kSJARyFIF? zI1%2Lxgt-4tY(SX;M$InVu49YLTBBK{o|;erkpONzeOhNGWH>CHK8q;8&|?Gh4XpI z2B_FRYR8-HDxa_81iy&wQI>v}B;X8KPKnDEPiDY>m*w`pJ*HG~>gHxc0@)h|S(VaeC=RKhR4r zCoC3UA`xr0_!@V39ZQYQ!_Ud>oM)-2y~F7}nabU<UW5DW! zm-)Do*Y>pFPfucY?!Laij(Aas{{##=>-2kJo_!>d&f`xVy zY8WyCnRwt(O&kjy*Q3I8P*gP}ADg#QeL9;MqbvP>mH$N6eM%L$jy1hIs< z&uCL48k8w=&&<;UvJ4N32Xi;V9pGmOe=Xi^Z-KVyfJOtO$Mc@L#rY%E)wy*Y$;&fzb4=eWlB2VwrF zCv5>dk=AgkIci$M>n8n!SX%FK8L$$_DvZe)Ci?rYJxndzd&k?76{v7d`FFrj7A)+B zobGivBomo}A%zPLhL^*Vk$a?Mcx-rh0&mnQQpuJ~_Hd$BItN~5lj*fS*E&;j4B|ZYT~WM0|huzR=!eWUB9N3*CFdUyT~~SNn&OAthNatDyO(EXhwqY)$;bNb(+u=W+FbRE``Q_*I+3DlSi{f$oCv{FAT1cChY;tZ_Wt3cg}wn@UuN;<&>7E`Ns+iK zEt9XOM@F;l9xui&jpB4qQ_1eWF$?_aDeo^jPIt0|=Hzgvi1tA}<2%OB1~@<>XQNfrbg}+o9Ku+47JOogd}{ zJUIJkt9+9CTw&YSlW&ZaDzCp|U zn0TCqg5I&b&fLfOkd&(S*>v+pl=Icn?iac4Bfp#@q^hQcK@&o+#LoF|stxV)Ufok9 zZ^=76DBXG8{ruUF!MSjgfE1O{4-Xt83)N}2Zw(+?=_B((&Z);TW44I8Qa9gN$rSW| zOz}k7c_qXJ0(RxaTe)QY)<@&>uGVQ_eTa@B?|0-a{pzSjIrWWhpTVh2^|VpEsKo72 z$hD@VVVe=L9&;gq`k)p+xpp!8V^0= z?cj2?PIWZOy1CfG>wQ5@>Wg+&rAa^&hp^y_vGgeWf>NWJ|B86EX}t7T)HUM z87`a0$=+41&qu1&voV4vWGYX(CBD zV`Gvb2B~F8G%_|u>%sm%1R_XeM)z{{bAxGWVv}E;#Rs|IIQ4wYrnuq;c)> z60b=6vZqS~kYPP*S1X$Akd2j&?LEj%R^o_j7gZ(hHxPdKq~G*e_{sT#enV|BjzhxG zUK+O7fCXH|EFk4s@Ea}X&*jRHo?;UhCuD64`%Rv4L{w-OyCH8-rsnZ(7x-BPxf@ki zfA@-=B7f2S?s99fUUiIKaK6V4;r_Gmycw>%n#hqnYFeq(b&vbtF{{G1yNtVkHYbLB z>a*ex0}WdN3wk|$p0l@hqQ9G01bKUiME$~RKmxY+jxeRXRwA_njx;;SFENdb%^S%8UeRVSDq2d(Y%6*Q{BXwtAhR=O3ymRnA9v=|6j5IU4eY z8o2n=6-aSiy1&I)ei>A5y%4dr7}-r;|MuOqbOZ>o4E$!@j?2e(eqQyCK6B^Zi2YxD zT%?{zQ0g)8=D5hcYhjc3bMQxFPm4I;tbe!V;G>ql@!mhGBGqqy<<^jYu-vB1z&MxR k9$>k7wDf`g03f+x@>iO^66mNn7Oh3l0xK&UTadv20_eOI*#H0l delta 55616 zcmZsBLv)}GuDTs*CGSacblFcp-t-`V~5Hb+j8(G2f@W9f`nA(}USP-(ZvL{ZP{sy{qG!sc$ z;{C4m`+T+JJT&@sDLHZL5_l61bte+cP$M+P5OCdG6RFwOjN+X?-anDWK?nuq2vUR# z$YGO{M-fKBB=RC;?I>*S9?`hpKJTWM%=H~j$%SP9ZOYiJtft6o{bR$krm(N3;Fs@N z`{+;OdB_y~HX_&J-um~lJpg<@`VgFj4%PRZhY8f)_Sm;Rcz>qn$h32(H`9>^@cv9r^mC5&s}{7!;9IN{j%Q-%?1XdAd;tg*=PjRC%l9kM zKSHrmqn`$)&Zk{m?$4GoE4HgSel)=3I!t6VTT_IViD@xwZt8x1$OCL`!&5!7nCp#+ z&oK}1ffC~VcYTgC!q4`1x&L`xN2C@Fl6AH&JNV zK6P9^8Y0;ZGP+`v7y~ExuOXIChb=D?ylXzrm&1PyJv2y!DK1k#VP`DKOFI0vdg5%} zu0m$>iknNldW!T}yDr&%NjrHfkG-uB4hVcrMPbXye|LZNh0ncY4?Vp#Z4-m)S-r=ri{ zEh0L|DIW+We1GdTY{AeNY7ATyZ<8u*c#!2_F+#Y1`0jsw3E;7PhEabHeSXe;e%?zA^o5S+9BuR} zMM{eM?U^ybT@GwmpcDGG;Ds)2u(q*H6hCXH_3lg*#y@zA5A1K^(xuG8*_C`APoEVe z`#mKGH?iwd+uoQ3W-vx4^|Rl@?O)E3q#N+h?3}MYECFHfk3MKx*eM%Z_;{yuovI3B z>;yCc7iXFE1pnW(neg^@2-Qr`!0625Bi&CGm6o9=-PwCI*ADC+A8xjfi`<9J?e;C{J>XAkCF?gX)C$-F7 z4lV7v?Z>RHsxNp#(dQyXfz$0&fg3M-7@50Wa6lDFQH&!-QO7_nL6@b~wONOr{dVr@ z&X8M!1_30f`+Ib(zpY1~qvn;?Q|%~=7Jo*j{*MZr4>Zeo5^s`X|hUaze0e52|mrrP%Q;1zM`^;WlKHB?cf9abw=*w)2aJ;kN)`D zOaD$e5~~GycN$eV_f5nYwl*xVyRbg%se(5oP3oMP_9AI111j>eO?=%_)`;)d6lebJ z$EJS!&9Su_j((HAXAmde&p!?PhqCvCUclE9E~H2KJxeR00t*_BPr!PpA#F4FwNvQ( z<&jrY+oOBItJ3RHt>%SzBu5I=%yN=2!(5}-$G>sL#H#eK-H`WPKQ0@@y)Ttr29!yb z%1bG81teX=05by8R?oPdI&Y6<$l6cVrBu7@BlJvfhSN0tSnQ?9ggPfwt|4Olg_29t3xL@m#&9nuPN5_oU`o z)rv(7m7ZZq_F`pKl5x)T(8&I7{u)a_6@@0Ex%hhRkBcld+|%_w*Z8x7d><$o-X7S} z+(Eb>FCIF6%WngXV#m|~N1rblfH}dMKk>Z3 zP}_XsM>(GB;1p%*#&doSF*(x0;!E?bvlh0f*n}SMnxR*w?$^yD8pJOi_3HV~C#6q} z0SD;BB~4^j;wKKq4t-ouxrog`v#-8#OGXBjDk+2d5zHFRY3Z4Lcnjauwx$su{b%?c zA+r16N;wA-cu@CZjpMUc3M?;d_@@G0{y=A@%QEG9t`xc)O`Xc^($v?|b|+82Bb%*WSaE51eEN=X z&usvtH{=Tm9adKW#tN`WxX`F<1e9PTud!!{^LSsuBbZsFIo?9nQOr+cBM)QQ`;z*; z$w8~vYMj+ck2|M3ZL_nQ^F(hjUTik(_bo|I@pz$Mc31T`*;9Xi(J3|diGIWDeeEDm zT;=y#)Kywtxa~U$ub*ZG2L>h9V4{DTb!*$|zJapqy{eV~9mgmVUS2_FkN{3(|IN;( zx=1dei^hx6sn-TV=659-7y88O(XuQ{0YZL){+e#jgL)F3`x<%Dv3E;FfT(Rn@h;zC z(P`>n!8Tz|h0`94EVbRt`M%NC3Rm!*iV}DtNe$6qQnO^~{5u?KLU`~QhceNbXFFn& zOFqHM=FT-RLcaX@Uw=u3=C9+e@#EUFGo(Z-glta4E{<%@sI}a@vM3`F_}r@TwMZm08(-E=(H?s*L5 z(LG=AIiB2=$hkHfM7igc{YS$N9^4O%#S*O-mxcgdGxy(wwyId$&E*@DXNQXYX0c7& z+m`ONi>}UU<=g1`sTC}CeaO`M^@nFaZu6N#&E*x z&Tp?gQ>`g*A=whgg>_(0u{oOMC*3(+4Vs1))7rQsHI6a&q<q<_}XH`MlV!1RHhM`a`XEJ)}SAVi`cC z*X3w7#@}zZX*fnMERdf2wa?2b;PVykr5Hrs*fBaM&!(MaR&IPdNjIB$stn=~@rUze z;k%R5qwg)|j*%*yJd|DbP=dB*&Jv%H&_mRc0!5>xVSCjT?#!I2DGjq08FuuoQiu;4 zgpny)V|(slK*0XP0AoZeYV&W_W#T(G6~jG|DMK86mOF|@%%M2B4-w#|`+AYf z&=Jj$NKhhq1>Z}9jq0AkhV3WU?0F6fu=v}^94W29nPz1^g4Zt1k5qBGQ^p;uI$j;Y zIxCWp)cCs=UlGqRdY;^{Cw72}VMmU>2{oICy%HI|IS5MaqpToennk6SuS*3_RUSoB z3A7Yb!`d8($) z6*1BUoc=3KY>i81 zU==r{;Pd>IZiSp&mKT8Bvn%qvH71p-PiE!rL52%eWcD$Qe)WV0$u>U-4Lah^%Zgq7WklW)j7R`3?pk&DNzBtZ<#h(x%(*6sp zcQqzRVf;B+xcwfA@AvOLxoa-n6HL@nYphtUc~ROrx4(`hj~&3jpGa{&h_V}SIM`wE z4gTnG`69KjP*cp6y9RG+bS7ESbt$Cw{s_yGA{$q9Ubs32{(Hx1t(Z(hM=fS2hA@ejR&aGgn!!Gio{k>t>Pg3J zMyT;%Qkq??YdM7_{41I7H{BzB#65gsA^TNlBnAg4apM&w1gs`5miqTDbNxwR;#lY9 znm4R7AuHP*{e>V9dwMgxYJn{i>6)FuwePLINGv94neO$XF|UO=fpORnEk>Pt-GW+T zkszT7E9|Kt^V8PY^LW`NxOJeN#-8ixwO<oHKuB3NlSiExV zZX_7c#pl1L`A4!(LEbLrOgH`_85T^o{Q8?l>sY;mE;85ijf-Tk7u$NB#_unzGklb* zRZ6{>lBH^7F6SVPA0M^}dcRYWW@98nLmtQ8WT#Pl$&3Wae3o%=2CH8LEAu<3O+;=i z6!&l~sC9%J$ucS`%JKmQTqV}&AJ%;iBfJfOFC=4;%$DW=gk_13FVG2cAF2P0DcA{K ze2>QjHd@8J>C^^YB=T2WRuT_mCC4!|J4NYdrQ>>PN_N7MfR_Ih@#+4q8Aw%crjUMr zX2>Ww2bNmfe&Pb;Am_{<4*MQZPD?o$&X7e40l9#x;4CA9P|v7j7$-A*vZE+Ap=nPb zCXE?Hjz0$}B;a)owp2i%Xe;q;1a$V(Lbf{DpO%dZ(Uy0}9cFx`~O| z42zN342|MhY@8X?G#z#GEw}_&-Nj`6Vlp5SAlYd8TtLP7D05PuZ zeaUcytB0g}*8J0d|6qU)qM$NkVp=Z{wuFA`4zYQj*Z01x=>Bg4yoooKRi?ZMilon1 zQQ%|RjYmm;B)1ff8&&Pjf)vANnd4CXe5>d?^DHqXgCSkPFBUSbY56&PBzy$GHtrdd zZj)gdp9Q1yXNzbd+nc5XD`=pL_r>w9SOzHF$LZM79^)?KCgC;GX5m<)JVjJj<=D+z zBlQQ5D*8dtB$+Hcs-XoIf5~XLvS@5#IA@X@nFP9y)a&%C^@xMh1#loy_qarUkuBFjUSg)`jyBA4!O^w%k; zMIyiz>*m74sWttwrr-_vKReo*wWLC^uU|IY#JG8b*t3j+()Sp&nFC_%&_19X=~t$` zb1u1H{{he50$KDk9T>rpVDrl7PCjR|6QA-kIx3c`!b-K7B?}rQ9rC?EF{lJg=NW64 zJ=M7rnSaLau2>Ea>NB8OxXb_56O4m2jDOsw)n3)gftcSPPW&lA;=rAPUE_N`>M@5S5FSFyu7VztE z*R4DOWBeL2YuBMUewbJ3(f;+mWK`;B9}4eban=2V z*8LDd{d@>it9q3E%!U-xcHkg>yuMIa$~5JF=*H~E4GX(!2J@{fUoL%5iLdVm1Zcl2 zv+8-i4U$MS-=C>)06e~Bk)c~-*_f+geqYQt&C8I6*V(WdL(W;1o9i@XOBDtj{(Kc* z`-thb^V+zSeQ)I&emis%?g>0!dRpa;KK18Y=ih*MjY?B=ydc-NCg_!CNJ|k90mQ*W zNbsxIs#k(O`_-ot)ihY2JLd6YyZ(D@)NJ;HC|3%wcXINn`po6|(VWh$eb9cW%kL*P znN9DcPlA1y1FP>DAwQehUc_qDemFfHXXl(k5Hlg)_`!eDkMsd+YG>l?;$&)Q`#;DY z=RZ}LgYAFI!%Pfp9Emfglt8wIwDUe2a`(Hs1HHCN@*pCjWx~IK6!SetBXgdPl!V0; zb9h9UaE-*^{t?RQnr%B430|2EX6Bn^Y4flx#0=`;8H)ML3 z6l)I_XUqZUbuNq1+>abPU<@Rtqpogd0} zdR;F!0?IlGtqTc71EJ)mnlW5tZaGU01&y0)QO9sYLz`)Z3poyPhb_65WQB^TabSiS zwesWIv!~R;x($c0V-)lx+$AlOCK%kauA-?(s9I>w*v>GEFd?`j*f{G)Sb*!RCwTurL&lOlt4xJUVE!l?X=uH{x2QsKS&By z(ICq6duJTu+D7)7f5W}QB(YOaC^J>z+h|k3#>xWxzi{rzJN4u|m)ymiksz3n~_wQ28T|W_QZIU@| zoOx?qRIf0o(A^v`J7%|s+h3j+LBsHkj}cd374OoEiHc6q}1&*;xg z=>IV^+tErjLIAP4a}Sry82cqw%);DDMiMjMnr*!y~! z$0rWM)gZUDi&FQ-%AGqxR-1x!=gMt~yy23N5gleJjE|P_V}%qf_g=%3`&y+=I-b4% ztwzSb8oEtyRlt0GGo4xGNFnf=;Y~^7CtD%tQt_8%pdklVP`6nKd z55V-Xo$)=yY@ek$fD5_h1d5p7n`L;dCGlW@+&=~V3p;~h$6QlY)&x=#JgO-L97qds z&~Udc2f{+)aC5wmq>lC~=6yM=t!l2Xqog?rDG*}Ob&@x9SkCBCP7M(?!h>d~tm?F3 zg6cV9pkoGR_TkK>9q#@znos5s)KAEU237uyLBOIefRA98Cq|8hENr>`qf})YFu94i z0v}}FLlcVX&qQEnlKi1V`{xd+1qx)2^{87S2G|j0;qQm@4^9$eB+3*OV z+N#Fp)YEb+hRYwr;45H99@7-%WjforFBVJNsH?zZIM*g0G z3_y1KfMtcCPydUBx-UW5BrY^SXGK5yJ{}`FZV5ii9=@ZM+N1~vFCL+yZI>~_V3E_( za+TE%DE<-)Dq_L{9ZN1WE&H-EW-Wl(|1BXAe?-EDb*;@i(52t#D$ zD`DolpKZ~AW2O}2UpO3+E4Px`*pw`Fv8>1?0NIij*{y`4zV3xMYSnx?-{(*nR`bev zo7)Z3g@QjK%oO26G`4?Y8s)hjy{vLD$xEFzrBy;Vh)UK8I`5{sejS@DxIc>k>y3xd z`ArWKDlCO99Lnv@BKL3kl{^td-*Au1I1_E2Lk)QM_OaiEU%5p$5DV%Byy_wTTHzX2 z6Ohi0_-Pa7&NmAktEnzAVU+Xf*ZPctTRAEj+V5%q5BjXiU5Z^^mU`ky7KLoid{pS? z*J?7u^;F6)jlYn|R&_ihmpp)}{L6I7xUhwpwfD z@cP_l|2#5)qL(l-H|LP1@c-`D%=+B$>ph#1Zruv-j^7^1W4t7W2j*HMNmn!3`B?1{ z(+-0?gB0)AEx23e#7H5a5D6eU5#a7$LjPr7oh(4kzIYxUER4T?fnm&hj}X*R`*s9E zJqqG7sJm3riBelosSdwbmaNx}8ic;jABAFVZ+$68$KKK8L@M z_^}R%YWUNu6fCnZ02cSa<73I>k7*p1aRZnqa>CGp6b(7#tNzE!k@{RhWggf>hhi2d z3PLbs&kET)RktItV^w}dUseV)^OFtK`qG3y(pFcGV$0F&W|>6gNT}~gqP$T=HbjvI zOXez;ka}VagY!kdcXyM&EU7QMe^`|VGA*p1t>UxOn~@gmOFR5%>zZGyo0s1x(8_?) z_yd~6T-uE6edO2&o&Uivb=*hs|1paH2nFZ=MJU*qQbCA7e*@8q9d-kRs9T?CQ4DED z4B$1%8B*zM>+pla2uqBkt5R>z5W9_1TB^ENiOyHNI-pzvz0P7+9|hz1Pols5!OJ0v zz;#qKoM2VJ^mhDC7{*WKgwT18LETCT9b&{f_?m1oJMl+QInF;FM3Q>v3M2F%jC>-r z2caA9LnW^)E&+>&q=Ye=V-CXZ-yA;jOG^mK?qGKW%3CvT_2WMOb929+xn5K0{H~9F&Au~swfDG0?NqJ;6e3( z2g=CSU?)M0m*_@?(NJPqgPUk8f!<&fxQCY*Z;IAnoL7pQs1}IcK-49PmnfTu-r&Ff zgqsN4h29YLT!E8ly^fYDg8~8%#=^mw$k>Gn!N|bO$d)*3N|Bn40s;+Oq3a0mU!iYq zZ50I!XNw6#BW@CL2nxsTTwTdIKwn)|#~w^iX1i{GWVG>nRb8trtulDg!Cc4Ka0il9c`3W4vlIXiD`OPncI3}af`N>d+zJN`-R$NP_ajiy=Z9?^ zrvRu4q=7k9?d{ziu_6dCh?m`|Q%PIZ`$J2X)s_nqav0G13jQI}^|f&Cwy?B54{1WK>Ay|*wSuuENcdwF7QD8$84P4FS=Gffxe%mrUMk~BXd&& z8yKZVW&o~^pvw<9aSZ=0e)u2E;!w`#{6%d{J%-`!p#DG9DdN(B#|_rF60FhF*hr)u zaHqN!H&@?xNR19q8eM<*ofdq5JdkC0GdH^<0J?LH7WW(3$;r_tvKF}S3Mk`f57eE~ zsm$*6Z>gk0R{Gw7X$B4aK5%RDa|Xku{YN~7H?{ed^sw>_d4B`}R)wbnVh~61B2TA` z*t@yDGzNe2nDP$%nj9N?qyNROZVfd7Fd2Zi`qKo^9k~&zudt`FU+{0enrHietMSf` zjZL3l+m7@oeh>9wU%=Kk7>F4e0~3~zeiOEqm;Qry<_acwG`Ju(mEX0Q9h{#fGk6Dg zErN}JS?En>gyL=At z9{gT;{-~K%vU78j5_oR`c^L@=>9oaE_XpjXiFy4t3V2#})B6^F=z+8f`s%v@K;t36 zw$};I3|`40sF~0Cqn4|cmU9T5(X4CJ(Rx8Go|g-H++?Ag<07-0z)oZ*dThZN>Kq+E zBjpFi*MZ69UHOGJ&+m2t_@nRf580faPR+$3vcjb%tS{HhuV^JtWxUGW!w0bo{xby^ zmhYMYf}f0x;_|)XA5&OrWi;we$Deb5l?9NA7WtFg&Pd;A9-S z8Q#!|Kf<&e_ZS`)``(@S#O1FHzKFFkL(dI4hHvn?QzIMyB|Yf=V~K8_-l~ zbe0zT6A_r_{D!Tjz@k09+EuaqO?s4~cAcBzUm%YKHj6RzR5tZTg^on3SpI#awL=zJ zzFOK$Uh8kIe|m z2fdG`#8B9*FGQOFz~l`5To%RZ^(cF@5JiGlaNbxtYN|)~Ao|5#MvH+DPTR+pdeXAa zyiG-EJfL8r3QG%V^VmGJ*4gBoeUNht(1;R^P@r*^DfB~xjK!OGB047`dg^Y)2}%-bxh%d0 zEm0pK3^slKP&8hS{#3jL;Q ztBGHxd7VLbWiILIWH?;5d!qqHs9Qg)W_p|poqruvtd9-zZPb|Y;Lv32H#*daxjolG zPgL9q8Ki0a1TEwNfqB$I(cP!;*VtDocPSZBPkI7V zB~(t^$J(CZ2VV^Op>;;{7Hr7#wz^JySLyEYj;ZiI#_lC000bw)17j2Jqw_yv^#3w! zvh`$aDCm)=-7;7vst#D$_(W20DxC-2O7L$5FC&N|ujUAsKfn5ySph-kzcAlH0m#`L z0{H}*yjH?y^2WJo@XE4s zQ*mtPq$IWr0i=2JqLC)^@u1t8Olp_{D&6Jhl++Q0$KdgOtJKN3?(`-cnCOgfEzzCO z-X}-uG%jxZM6+)Fq#Au6zTbqDdOk~Ow<5I#zaQ41s%hn8X`8A&vmfCl8JRen?H0p3 z^zz8nj2!zaqfhBEex4UoO9lA<@~<*<+Z2AxyoR0k0kUEDU}8~9h-n<~RcF)08772^ zK#y?+Q+^u}XUV@+Zv1+=AR+(AVQ?D6pU;1MxkXIDS_-;a`#N!dHO&ine08MXJR8IB>~=iLT@Juq3-a2sE*A^KKlzcaNe| zQp0}ml|!8JcsETZnI&s%6)}>)bE(P{C2oB@pa-2BKvq0w^`gFBaB>B7bheP`9IbSx zPxA$soMOfi(>?|Ek6Rv7iP%&4fA95xi06ydLYJuWLi$W8tDs0qcgg>L2X6rlpm};c zJN2P^^PJMu_UBau5N%2Jz3%dL%aYcSc*K2Lu5!iW&2+@U$kG=@bt>~X6-^rI-00*lgFfw*<-QM_#6X_X|b$$>Ly z`d9WrgrQBx;rhk5CmzybQ%2W$S)OLT#E%sDSqPu6e_e`|=y`0(&y1k0ipvpzV845b z-x+#@%BZsf67M{;eb6}0P*xc>kEeCE?U%v?=H2*;Oth791Pq@FBSq%reAzet+6vcK zuQ|?llz0cOfP8XUE4YLwn@q+aDfv$?x>S5v#s>cuFhXz>vy{|Rw2(wc1{&PuKKzWUFwYb0qOS8-&&Ghg+pw*v09Y}0}K-T_|@Mk#F zv%M{ATta?WipYyZ+b@R!RzimFzj{H3 z6cqWNA!^vAOWKW?#W<4EJ;5VFB;Jetse7t70$NU5uh%_&& zytR8PgKuB-1fkxZ<`eXn-fm*ZzAEY4jXz4Xy`kJwSosE3pTpf29_E8Jdt-Pnkt&W= z7sr!tP_~NY_ea3tbxRn-Z89V@`@d+4Pj% zT_ulCQHBfnnSR>=CB{xv$a7#8F}TbWkS8XgrQR|vd#Kp}8o)!WGvUccl`{C;$`^`O z9Gdw@f-E4|@rxEl_ubPO$FtRfnXTni` zY-2u?0*~^EPkids&s);3ect{k`a8c$D|m!J`Hyj6>MZ)`?2!HQDC$^4Em zPwdA)reMoz3U_;vta$czdGA8)4n!_jEH9Grk%|4&!s$_l8<6*ZS>G_@y)$yQGn|~SwrQwyx!DyK~xp0!w5kQsmVt;z% zoaWB97do?$@uOABp&b^N1xK1LXrIOh)())$XlbzF*LjE6DCIF=p{`(^di;6)7fxEf zf1*45{fWj>R9}yr)6`xarJvMS)s1bAg?i`|A_lw=sg%|G>y)I8It|YeMd^F1AFWU3 z-~HN9r5kvtRSKU2Yv(t4`)gO#TB-^B+R#v7za&sVN@?8N?F*Uz6p}CFuLt{y*ZAiG zuRiNbceKAhh}!YooWp%+85U3!pC{kvoxXDa%CmeD4QBK z4MI<{`OuM-Kg&O#mBch?nG%cAG;%#DK)Y4izQC`V1HymuuM)V#4+zuO;kCd3Z)3}A z?L5U&)9LC`zGreYL$?c(Z(6gM@U3mif2Q3FTI30E%*Z&%7dxCyk{x}*kB%!bpZqu) zW&^a@i+niYV}7Iv^no8vu7ZecR*%n(fMY)+;LhNud18&QNU^NT`9{(Qu6oHRPSE;03Pd zr_rjSofGrx%7NV3ajhl&0n(PM1$*KMu|JiTo6*Reh#3jdivC=f4`=@-;bmRada7_0 z8^aIVEewJXZ5)E7E1)R5FBhp=Z|sFTzlW{PqE$b;0&*cah&n zmzh61Z(5X_&X>ZqalSj>P}GghYgzC4wG+q+la0_KX* z?#iX%_8kr+hPJ4?wbK`HgAu{)6n>`ZrUFA~#I)9X@;ZM6I=wcfXf(qh7!!y=JU!3m z;@SK!V_=Ah<#cr5W3(y6L2f2r@gC-mop+6hZZbTRur$Kb5?`!Pe0SHDriamy(*w`p z_o{VlIwCSDSb$WRGv#Py%%~q{-*FAAV$;3Q5pMX|Z1f8^{1Xb0kP2QVA`ofE*S=Pp zs%$JReg<{yd+gA%wBmO=sP#l(sK1`H?f|Fp?93)_L(C!}10B(Uvfr%~n^~aL2L~a> z;NF-NmdnGH;aY&rAU*K1u>78Fc#FpbHJT#TzKs;GAu8L|2=4fL`{-K1>=*t_b$`#L z%9*@tY%1>5diVnXP|Q@G=^dGdmig9G!01JNUoX|b(#eo`O%wVHhVO%1kIMXXjI^HL z>8H@4+Sz_e;{0};Tza0;c#ibt|81Dshr7&~xY>EMQZuLH(l^__1wI<~>(4#(6V%UP zR63Q(V7CQ1hhS2!(c{?EFRnpAp{Xq=wi$ft1{2_ElnhLMph<}k06 zC-=H-{5E#rE-S-!hJ^%M=+xIQ?5o&j&(2dv`iIebi4=(Gi@a;LHLbIS;cFoMR6cKU z-@gTH6>6+D!zps>=O>sBPmR8jD-HQW?7v}jxvO_Nd|b1_O)fO^3cIIb1UGv=NEZKm zj0m(x7YSed(o=ZtOMl4;$fn8X7$?zI@8>$WcZ&kdzhSBie< zKBYRUgJ(2{%W5Nk63#4@GqE8|aUp6g?YT86RMI2<3?Q>d-JW=~*vShUZ!7wohP)4rrA^YnMNe;p+AyF5J~j+DJFznQph%&8kW^X*5fUe{F=sR93=i-gN|~ zR^iny($z8Rmh^8U9Of3WO0RQ1K8QZaGUaii;FO9&Lf%de9}J(T^9i~_@blYGHK)P? zHXd(5Eb3|&=1vO$G8AO|B}uH8Ro|o7^Gh;M^mQcs^sU{UkHiTEPmZY+O|#Bf5xE*< z9bX-yUH)&=M(Z3MGo{yo_lrNEP60sJd?nd{Uk;>9fC+RWT?tC=7|h^Xl0FAf^iC{Z zSiM4^eAzs8pvu>SVONr?;WKab*CK4|ekT zkbIYcLJ_jwy~NTQyiOG5Vn6(%&UJ|r8vDc;9Rq*n0wHaE`&oN9#Xg--#m%I9%u0N6 z)DBAY<*u-^@aHtv#<7QaRQ{SlC&i)1F3p&a=!|rO_*7T~vV3Geg$K=5;1Oo^IRo^> zYFZsaBrc0{1a(n-U)BopfFNK)+Rr2F(LZ;vEyMZ#k30K~+giS|Y~d|cY2l3-X^vBx zmcmC8S)$#(o$S6_RAR#*vcPM&#j6sV7OJLY@6g5)nW8yOv5fYsosjI6HA1(Z;?A65 z=a>YgOChC@Jpah#Qre}lhl3DFS~%>$x|3zy`)>%%^bBwQ`h<$H!Y1(21MZ7BL3B@= zv+2xjaKC$NwB59~`?Mu8%FXj&2D{cLS4HZ0?C=k|-Pw0*DC?D_f$^TWteRpWcpq7s zA=ZMzQ0MLD^2*nui0=}sauZj?)1E%GM_Kl<-F-k>jR7V5w%q<-y;s3~A3Si&o&0#2jVDY20qWrZ8R%VU_NW==|QY|?e~oW}hmNK8lJ z`d5~zE~s@qIh8X#&eN%#$f0f;Ig(VnyrFW1+VWE38A`_xeM&=!_G~=R{ z)$PtDW|tpiABGuav^q869{$kUJw`OY3oE*v<{`O9AF)Xf9z2t`Bz$e2@6hVUwyjv^ zg)0l_-)p-j>L=`2se}nogrtJBd1>qNIHd-rl-H_aCUQii6n52Buujko5I`rF;F-ap zIQ}){f52KG8wF&O+m6NAHQ)PIDquCv^-@dTGLEz@@&`x zxH~0$uUc&SjX2T6a#pkb_gaxyueoPHFcZj{JafXu`lP-4W>bh1n5}Iar zh^5qH9lu%$=6tk*5d$w7kf+^MS?dj9Z<2XT@!~0@Ho?KQsDYYyOsj4t z#u-K@eJhA$G^rbEvw3qwp7|*NfymdOjR_=FsqY_u{8UwA_#$nTo$xkU&XW_k+3W=s62l+#}oB9cjFo!onq=pzD$TMO6sl0EbK z@Yc8Vf6&?k6^#+L62Z9c;yqOJun)D!9PxcHP~ReexzTQWxHJcpL20-d?IVYkawA^9TVDH_~KhDI2FIU8cY0RxqZk_b( z5}xe+rUWubc?QHZASog0;3YiM8o& zM}VR*ZVVzeL5cjbXm*lY&YxaNuC{;$iNr4-ejy`es{C8-0Vch9-Q&RrCTYCBzxYAj z3{xC2qby%jfsI54o8Gmgj|gc62aH6h;CE%VrrUw0y#~HpEkCekQsC;JEZAu8fF^hV3K&x47v$Ay18xN~SzFhTQ zY=Yax_u;=)dWMI*ivN3_7vbDAsV+Fi)&qZp1xhA<4e>y_@zrVM6Hr_zQs|h3*D9zP zioJJ(3YFFLAwmVw#9TXV_jBFn`ZXkkQ8n4cUy>&Bm&hIcPJ7BukuANJZl$X-**{fm zD(p|w6WY?~NcT@x@Y3|l?tjCr=CtF+h2Z%D_bVSR7e_FIHu7pnx0p;B*;y0PijdBM zmJ-lpaz;A$@yaH@{{TJ*#0icv0&9dImXCjDEDb5=mQc1L5?Fd@|p zdc(-{|AC5+42@e?{#`xps0WWS2-o)i0A4_$zaK(i;FW0E3!i!N78Sbe7^!l7e9dwP zeR4%}+`Fa=s-Gr8nj^V~oxNi}%Xm`CV~nKgo+2hhJ}L7BLAT-I%{?bVe@F>nL7UPK z`iQLh6}Yz-Lb-Iy-yJQ98&TZy>NuBv5g?-}MjN)ZE?{<)Y|_Pav6`AGM~>})0`Seh zG``Zpr|8Y3+VKxX^pY0WXT|Xs5V|zrsDU;Pz)8R0N~)^m{hLucU5>prPVrh_)ffGP;fI!u20BKKkt0jqa@dpCk4 zj6B~z@_EQ!-WzvuT}E}7)e^;OkEwEY<6R0C<_^|7%X4w%x!G79f8nm$I0Qrm5eNKF zoL?IbYY`O#3WbZZJAcenkv*&?@%$uZ^b{{3EP9#eSuzgxHZJ_#5>(+ThSmQgL(iMr zpQ25}1*;v>CSvFCAN*S2LYC zNaROpcV00Deh?#!u7GjG)bH>yc`;8Z!Wzja_dTYN%0bPiBbF-oz<^wj(gpOxdwl968s6!uDN|gMj zXDdeYb4;V`Of`3gvE^m!*ggwMQ;P3F!X=Dv$NN|Bk{ff2(9_6QC3^+r3#h3urzhp? zx^Gs0tUr`&e`aaF023DS$$FdC@`r0SWBhpfU@sLj7OR2Ic61S@3L`@9(1*EMnz)*` zEI9#SiQ=CY9fVmeY39iiktSshqW@VUny5ccjg0&33&l~7D`M;bFs9^)fuCPQ|6YqREUnLUM@f_l+oxN_8H){G&^g++M*&GvGx($8We@2q)v2}PXiJ=SB6&0|!7$Hr; zrafK~l~lh!nUYVtVA)i2TFb<0+T4e-5b#>~;UE?}FN)d|3YpxqRm}70rk*3o&u`XF zG~!8bz>UH5Obuc9xaZZF+J*|v?Dq-syzDN?z>I7pt;0vL?F}!j4)MC}SI|>Kz7ew} zoZQyge~*%WdASK+#z;b&w!;sZOlR+9RZ>R|brZc;CgooZ#|pko?ED~+wpeUJ;#BMr z;c!kTZ$nCm8gM$CK4N#9xEQd++~J%0j;;)8u#zIY_W-c7kCJUAa&3_xn2I=fRd)=8 zYSV~0UuY^2z1(5FW_x!jO^G14s?fS6HKTWFe+8b{?wJ%DgpeMro|Iu!DQcjzkzgB} zLOk+ZER4;x4oT;Bu|+x0&;2@CI6rgOIo!E}CxY4&7o^a*7N0iP_wzYgXs^AZChf2( zK-ucFZ2Q8H=o9sj?>o14d19!K*J>L^4=!LPxJZ<&7ap$ zTb){FBHv^$-0cdjIqoX-6G5vGaczwZG{5Z7HIAxeZkp(0ci)c+E6)s7_={VW;Avio!W$o$1IU+nEsL`5OhJ>~Oxi)n9f zNHP@EPqBWIOd8g(2oq%~koEJrle3kzu8r6$>mpOVTeTHzZWiptf(P3aPPnWlps33B zc>#wR!I|ob?s0Y=zu7JZ`dFfMf7K`>G*wwSc*VD*RvqzbRaG$q;Q@R zp47$>XO*6@R~~!s>C>p~GJ9qp`>x(Y{)Qy!E?XoKClHCz^k2aY&|f6Mz?#SRTJ zUc{?Kjr-j%y*&-tvjj-T8Co67?;vp~u)8~28Iy^<&lC5jeGeCIzErO-sWeV#VjCuB zW~K}l#IMW7M?LG`Qv8aNK|>8(EZHL@PPMyLPNcH+azBkwE-Kk~v``F8`?}lC>&3#& zXIfMRo$d}_G3X5c8%waEf4ZaA#G4wWho)OlxqI^RTV9<~MfpP>_+243&(b=c(}_ku zrkXa502!Ifxq`q-yK|`A_l27UF9ggUDs0(RM&f&+%%6HNFo_hWCi$}^^_z2RNaL>d zOt=`%LbSN##@&K_I^`B2B2wMWfg&=up2fadT`hJLGeaiY2)-Due+VTwOc2s%5|K#f zEIf(B4@;8%PViSP328@{;9qd>$ZTYgQGOR)MlHES=@x(Sun6Nv{m@5wwl5=*g*_(%R9WBt3xmr+3i6O(rL7MCqM0S*H-GBT4f zy%YpEGB`Pt&t)iob$4Z0Tid!d?i7kU!QG_Lp-?C; z#ibM|?pEBjl*``xp0mHR&;6eKSaXi?&hg3|>se1&7Cj^lhOUJbGY9FTf)xVvEDVVgT`U1^*ZQNXWy%ww@4w7*xU5^N}}j@&ahu!U2N( z00Dk+elc+ofyXt!(7ys2rbh{7Fcb`bEE@Djtd4`NA_(I7N4o%aCr?jzaXvnG2V3wX#*1*^g@Qf# zI35dCgo5N@Zhr_MaQ>K?0t61We{9N^@1JvXfx>*C{{IC#K%k&MTLO8x^BF=R9$sKo zh5rqHgmC`G9KoId5q?2_Aip30>;VA3uy^A7Bc*|VuRHipQs58R777aVcZazH9Bf?? z;6R82`0;_`kFfOy13ckg;6VTXm-x>ej(`9F1hMx7*nu4%ui|e!ugW-rr7XsM-G%N?;Kb5p# zo)CL5fcDzx>>L5m0Q}Lrt1bM$ z!fo9kuD<`rfqw=Xga7jR|3^pF)7BMYFAH^lbp7|3AP6PM3ou9r;%V>nmofgr4WXbv z-#D-i3<3G$odxg+hzR_HGjM{~yFkGR#H0KEq`*+nKT;|}?O`AY)DfWX`RG4eIOyNN zAGEy}9R4_-KQHLmnIlimGa743f8b2 zpsH`(nV&AIoX{-n43sU9JgT=Lh6J}&CT1mL(eGx{Zjb37S)E$3qI2t%UH16@pj!V` zAqs?P6tpa{e|S(){-Fh(t}oYrfJDu8$nnr?#?bjTx!Mh9dkJjo-yF4yv4zxLzV5<- zUYgS|dvzDH9v)c0OC`+*ZuE-7SV3HjQzJA>SaMQy4=wz!^$0Rt>DY`xQE>&R^SLU@ zKd07WuJ5Asmm)s}8x&0~Is#ti#zvyz<*{iY6;!2A2yg$clBtF{x9)~Qs~RfhGFLSx9fo?rrFaV+h1I!RI!xy?&QsVC7t_K5oVDxW-w$MiL` z3L&hDkfn0YjjAsmzYpktsK&!7MBbJi$BJ5ul0M%S9Fg_vkTVsRb9`1ctw+q=%(!<- zK20Lfm_GDbMhp+rEZK**nSx&=i?pt(W(n2TuinQGc$n<0d*s^GD778Kn;r4#?RMDC zZ>@!DkrrRHknheaaB=*NCWePE2V9P02_zLOCBD}H5JsWW`g6&Dw=@uUS-Z2d%VNB5 z8yw|VoR!Q8pWTnXt*sL!bQl|nM@cZZN_8ayvfGYZhR4l|+Dt>kOlxqh>W4{~tmEg# zObqHUisJjbX{2~u-+{MH%|~`~+L&W!bh}7d zUaO8Ic6FtHE}i)|eGV1U){8c~O(##;9K7c2MoI zGnQ*cKlq+_x{#F5!}_HZn`R@HqMaq*QlSb4@9UqO1Buyr0%u__&~rzBbU~S`Gpv<5 z*nKL8TEt4el8quR1)l`B{5*ZibcLBbCSYE2-K=_1c}Q|Q6tm$*m9^oVP_n-&daK%B z5|ML%93(;fm5{yPga|)k`1|n=frI~^R#*f|;!aIb__OXw{Z#AU%&#;Ct8qp@*1vj( zlZmfyG|BH!V7ej5zVJ$%VRAp;#jw_W4ei;7_(XC>`=afS0Bv1lIaCxn725M(Azz*> z$SybC6KJi^9KducZK|Y^8aA1IH09Gtjv7&a>{xB2@&n_Nlh({meP89oDc2Hi8NJ~d zz7 zvGk)Q@Vai59g)ja5kiVPkIJ7@>lr0%YRTcbU7X?* z`#0B1Yk}!!RIAo(1gqVRV^4uUx@s4lQ3UalN*}_eMS`F3pVju>Ax*^CcrvtqM=+B` z=h+W7tT0*?AkQnR4`*Af2c}|s+c+{a#?FX#2jm@5+WYbBtlwen&j+Vk<_`$qB{JxB zHnH#bQ1RZ&xHb@9#a1oGR@kBlHDF6NBT))xe7Bx1WfG$Pw!`6%ZyrT9nPkg|y31hN zPNYY|Oq--CaaR2#NNp(1(873sq_d@)3n~R!iz0qe0{PfC1;Xq{9Y{jEe-gPH8VL1$ z>0l=EN~rIN6>eCEQ(xL@|7*VKFj7SmRB4HPD`5Zlpf~(Icxjq2B zfEG%sK844ahN6zNV?|Vib**9NAo4bxp5l~o^^1Dg#dTCgyy_;|t%6h#JAS-LGnv}m7 z^rUIYB1)E}_kcKmD9tK}W9zvFnZ{TZZM}2S+~}f1+AMq8o^-JQ<&)h0iz8glPdWnC zo$whQf9036(b{Ud|fhG zT8+k9Y9FV6u_vT%#;tsh2yqo2d~(oDD5G-x{p&03D#XpRFX!aR$A%X8Y9wEy@NynM<=jB5O1 zxZM7-q`lVlDG76-$Bu)^&b1oMEx&jIE~!NsO0(sGjW#gywDB-dfkw zi}S2=!BcaK$jgF0OYyqpNib)3aO%^DcN`qpWNG;s{cg*La}@F$SqJLRMC(+%!|y}w zl)jpcqJ|(76;N}v0EOt5llJG#5I*bnlp-Qhw|;k35wN zcHt?mNsN_rGS>cdOZqFB^B|75mP1zBnIe#5c2Tk-BAu+f@=G72wT2^ZJY&n)=YLremCp7$X1lf^OhSq5THE6Ibl^^PMnX>8lI|{;U z_v>(wCN+@H$bi#0qpgU4u07(4VcM|wA|k;bq>c%wN>^|P5ld1E6SqB&t;d%ypk{l|f z4us!@aeU+PYvGlW7-qY<+J-_8dIX(vcP#y5jts!Qhct)qwU~L8ZmXiMSz5fc5yI7G zh`Vw^DT5NSE8oOtP8fP}R27qL8{-Y;qLCXzU@?+s)(k6p8Xy z{b%HybcFM){oG7{sB1@`_Qi*`4MHo+gS(zZ28M0EL*Q78Di9|l)<@Gx8w&yw>5Q~0 z+9tg9E;okIlVrfZcON9#cm&NcO)Cs8+Q~Z$-`W1~$)-C8h@dlE97fc;>P#&Bt^>@f zQGSB&S?-n}jd-BaJSZ>wChD;_ka0avKlWjzXBmeNd#dq&)iqz{;JM<0tkYC3~=%_fPq*((yA4iNw9jFK-^MoPCd z+sjZ%!nDMH@Lm|sTl({k9+&Yo{eH0j?=37gHfQh`OJ%7b=_(L|k9kMGuE_LeTifq4 z^iRvCQwCSYpE0S~zz_0cL&2!nOX+2P)0C$J`_%cHEim#)*}knBQxDGXZohrOea2PO#!p0%XGmNyo2`?=>=v z+0$)azGXP36>PNJ&Xn0*4$Ikt7;)t@_jqEO121?QQU#tTi(Qm^Qx`f zl40+{S^Oz3t5`-HD}S~~JLb4oKbhTy8}jjV0j3mx zrlf_(2}P#lS!nQ-u6d6R&1vpo0b6c9eMW8SNPeP;_u2E!E%pdP;FC9#dp=4GtwSas zs*eZg?J`JS&-jL9J{iO6C6v18i{V(dtgK*)=p^J?!Wg=&V;sf#5`WMKBdCt$MlZbM z=3ex1>Ye|-B>#*aCdq&wbI(0kO*Z|1Ag?V|ung??qoA&MSM;r8E?w;!VSkqwSGysB z&07hRfawAmG%}^8s}}}oxmS)pY^rNnzid3u#2bH~8IdOwaNY2+J|jXajK+iT=^=Ab zBdeEV3ewJdlDmC+I4Ga@KXLqq*UXF;*a0(+H)o`iVIGSLknR`f=qR6blZ!QmKui#SuNJuv`w^#L zjmL^do2;aVr7G*v*@Q)LWkZ@p6jpSQ@YwBs2o{&OTpI&xG0|yJ5w7J0#k~-)-#M<& zO>rrjS+cE^Yym4DLlT%0L0j?e7dXX>B^cV6h^*e)&FxCv8p&@G1jii_s;p>TN7X*_ zGLy795OM64rDRo%L7dos#5IA?E=r+K*oY{QQBsMtmb}3HWV;O{{f59(?UFA?m)8e# zP}K#aX6n32o=h=*Q0W_5i=}*OxpO1Jzu4$_)y(X zd|Q_=ZF(@Ex39@~q`8r}J2l^phiDgvhn8VkYqMI$A*E#zo$lc||3o??Ymf8J80x}5?+VEJtM#&4)^{Wd(wKuE{TB3lt zRz?IfVRwZ-ezDiUPa*8r&9kZ8)r|F4yN-MX&5oHJ$}{*i*l$PkHz%BfYrIQTK{^IV zGw)3SHKeb6(Yg+56g<8h4DB~hHK+>uQ29<#>tMe$vsiS0xTv3ETVs9hRijCTgKYh? zHJFk~#Z<+#PCTXgMNYAF`YN@kJ8*Zyzq;omfp}OcJx2BWtlT_GPYBNJMh#P1kIRL;DcID1Ec}m46$qU-Wg{ImRBihlpgr0g|rd#EKAjKBP{#ZSIyVQ z^MU8{jO!nNY@@PzwEQDbFe3`zq|HPdqm#RDe`Bb3c-CGzhdRY&RpFDY^&wgpHd3Qo z^{sKd2FXOafOu@&l4B$~jV2bmsJs=NDmW=5IL=F}0C;(6+sm8>PsU``k&8 z6V~278a9veetWL``#Th%DO>~_a+2> z(TVli>38*}7wblK@QMu%B`7;l6lK-hEb7d)8hCpWTNq!3U1|RT=6yLGrI1E?et;Mw zqcJUijPirJ|9(&P%`najF3o_{cw#k45Je~~k)UO?nE=?H$njGs8Cwz4`%qr%VZn@` ze{D;X!n^1guxN4WBVWba{7sL|zG38}F){WHuJu><3-&`?Wu*$D2FTuemqpg?FOfXI z$}G9yxU3j!E{X}`>559!Bv*{t&tBaE!_uCAOudq+LgU zFHosLX&S!D{E*D59+8%5MwEKY3mc88A*JB(Ph~K`Ep}ER2pvyLE!)wT0^}G3NG+Y? zc|IM+@QHkRKe8&gL$&u&^Cdkt1oMj^u2J(>=DkRNmS95NhQ{KZ(huXiED=QXL$B%8 zTkHT{;v<${VgUrzy7K!hF6UUS()5mhQ{NY1BBgVIiTvPAl!l5rb%B9OA{}}qEvhv9n?Biw?%v=nNRBKAu9FYiTV(~p8XU}eG)gnWIf_nwA%o#!2B+40)0uByQ` zjpSn6D)}~Lg3EP!@}BFn+<|%Zni2-&y0nhzaUjL^7~U;7E=_5YAKOiHP`mhl{AE&h zNYk8nW!(Ua{l+SA8;S+nM@N3T%W;8xpP)Nbn%GYAPZW20TK+dk+PW= z^U~123hH^m9se!N#a$Ff-t%TEBkuuIpKUIE|4xL9>f`E9S!Fi%ZPlQlj(g>A&(dXmj#=( zSZ^yoxby&&CMj;qV26;QJX>|C(U*Wylb2M?=RaUB} z>1+NXc$@#DT*~zYPbWWLC9U~Y42;{F3^%h)%qg|5$CYmxmHP#x<2#V~`RJtv_IuNY zvD<23CB)6_#XeE5Y_0!)w-wf-f~N;bd7T%^p4+lav}!>m@0iA>1jCs~A2#L;1$ite z^bn#NBO`jf#0Fanxhu+f_}%wdTL+%MdOv?|jO_isdeeAYr=MT!QBlpf@U%aa&I2;l zvQflIVW@a$9WhHbD5iL6yX__oi_qna3?8}b&O;LyK!0iwi4Q`5N?og8)qFqK*4d>T zG*ImOU2TFhuf72-E_E9cqdOG2Xv~IS)a1knnsa^FRvrW zPmanio^i{9=_1V_H!&k&F}zw_IW1WxA<$`Q?%-nn@!u~Cuf+cV4;Jutmr+3i6PGp< z0T&Q4HVQ9HWo~D5Xfhx&F*i7qFufH8GBP$YHj~h0Cx5KAWmKG9uqBMUy9F9|cXto& zu8jp6cXvy0cMHLTySt@<;O_1O*DvpT=gysVXMW8$KYFd_RMpwFt9I2{O--(Gpjo~m;wHpxsj-;C0&4KZnlmfDKj^q06+(5 z36KI>0Dm|*0POty{7BRQNk=Dd7h7u^HvrvV40=XJrvI}169O>z{!h=}o36IjAOOwZ z4-cTdqmu&=_`HTHecmAtR z!2eRcnUj;f_rJFt|Bd>e9BkcOf%aA`NbDScb6U9l&24Q9LSp@AROCTcjsSMH|FB!S zJN>861L*Q^gXsR58T!8@%q$&2_TB(Xpnnw-tFoip-;@Bl|2vgg{@;oG|3KpZCj$RJ zk@x?fxc^;{SW3 z4)8xn{vToF-OT>BLL6lMR}MB7w*N5Ny2{vk0WDQ+-7IVXR%Z5p`}D6}3uFm&v46J( z0srdxZz}=J>}+iR&8KN&Yw-p2Pvg1&!vzFc{&((wCHj{+tCW(qytD%2|Nf@_8>jkL zdpAvQr@z$xM=45TV-NogvuK(`* z-=hEX{O_m(fnGohq~!%i3&AkEjO-8-QLSftm-<91>+LSWSv zpPbSpA3faD4vvis5A|Hb_U#cf=EWmY3!32vq@IwcxOtnp+%{Oe!#;a(Cp?-bvUci} zw`KZVe5*Q1y$yNsS(UMLV(Ea|~vq{#5?okyo&R>`u!<9{0UQ;1OA#4WID z{nlf;KOx++w3()pC@QE;5_V8oJ;_T`KXC0fHM2rr%$}+{*U=OX#fpY^!c?6NdW7s4 zB&=>c>bn_y9MJrz&x?N>DTu}5Fj2y}lu)kNfi%xCL_F5+TBel(5*jX}nyU5XPpkkf z2oX3Jq$@{9><@6tq<=76u){pQW8(J|k#Hk0LAP-wHwi)mHo4DeeDSwS*-P|A^_`d* z)9IM~2S2^=?OV;xYM7BFuy5$GS*VRvDdm(<9|7A!BYYF_BL(tsHo*( zNi_ZCi_A%FW#4pgcN>zbkseniSH^5Q;eKn6=aEad zxI0V8-JhfA*2u(|fn|mGFCl@B_QqezB4G<`Lw4e%&D)wLrhk&s&WksCYz<+b>p27c zJL{H6Ab&t{>8cxZ;&{m1Ge(tgx<+PI7tG*;>y2HAEF(@Z(WGkj(TKdY{C$)!k`?H< z2EMBrWn7pQUX%ne!C5q(If7T}(PqaUB{Q_#3u(f=xuk{u3E9;mm0YNnPv+>*BYF&^ z7WHQgQznCPkU6)X>#k&c-o0njqomN3GEO1XRDWt0aVX~c&qwZU1fm*kpdlLC{v5I3 zik%cL!r&U5u4_y*=y8Y6Wh%;ePlqnOJ1y3L@>A#XVKSotX&yU`;|A5FE9I|u(x*~c zS_8l<-Jx85QTw~idNVPzVunt_((P#2;OmEg1#KgM@7MFVbC;(E+yk@vP1{kLW=_y7 zo_~i-KgOPdbLMlt&Nw+j^4y7&&%)YgNPwW zVNMIaABGH!iR9O8v5I%6h!GFC^xWlP4_7f8Fd<;UD`3;@QgQ&tfY^df6 zRY>iuU^7Yk-615j**}NcmN)fgW&T2rjb8yhXFn-zJmS7H2@goOgtw+bSzK{T ^ zFvD5%Zuh1;XHoRr&64EUqu)7Z3ty-4a<{Hv?}|mJFcT1muGQS&+`T|3SKEbO*ncRi zX8Is@J`#2n+-b`o{kRAGFc38(v%hUXAX1biXjO5W@HGiD-EFX@nf@7_%?#09$jSdJ zG6OB*8<$BX>{kbNlCtb$Q+}o=i}K^wQhY^+Z`vDeS%bsKjkZ-xOlzd#Ix?_&*v5YN zU3i6`-u&fm-M!2G%pc7a=%a}0Z0%;-ncs!Bf9F}*s**Z?;c%k$;3qJxJk+&E-ln) zfLcbuV6$Fi?VEV07c$Jn!7%QNf$c|=a7c2Uqwuri920t3UUiC6yDjGYFMq0Y7QANp z5kDC1gMIqoVN?RKi;CPpXhaV z`T@AFXD01A&~+?C>=0Ou6~H1hA1b*}b=?dtQa9-eCXo{-+}{iK*o<>fmObdf5VhQk z5sVmlA5Nc!zP~EjSz5s*=t=u~p(lExYnYx=ezCs*o7@lt;@}t{3TTO%CH8H>i+hn^rHP z?y~QHnnh_cT1LSuP3%3yh(SbGr~;R+ir$+XBzpVpL?tY6J7?K3MSmlJ@DHhe3Pr?3 zB7q64b4h^N?Oj4wK%s&S*u?86w<^wde38O=7QgkWo<(u*R~`^gRn4*& zH0XSTM1x3#dF{pRbmg7no_M5O2xM4&kcX_EjP1< zB9+MeJ+?sWxfL4aSth*L7t@T*vx=X-!c#_-d`{@JdoE}bXMg1{a5#`T>EnZ;L)DnX zq<&*MT;!;^N4AC+Kb>~#Q4ae^-oNY5zy$33#6LkB7uQBrjq|%_MDKPlPi9MFzgcP%ETKfI9t7<8c{C5 zQU~b%MMM|^wmQfpt`xPlT{L~27x_?x4>jtfZ_MtZRaePwH0n+H5aC7HS7wK&Nkw(r z(Sws7k>aRSL2t3L(=FJ4?Bj%9JiXO$GrGAQ>leDxm47u-tRw4qM?%OM1#4K;@5mVl z&AJ1br~2$ML>-Jr!8Gra4^Cs@m=zcut?+84{uOD%rz1)M@|8^aJ}+yPx9iQP}Dq zj(e>rFn>gbF>^EVGS&Jt7j9YZM69=YuN`TTd<56#G<;mK8T409Ofw$sV&4I9tMuuejKYQdDr$GI8dvWH;YXu~n<;fw5!j|hi6qE?cB(}2HppH&2r9q3 zA^HkPl3p9=2GXZ8gP)jB->x*;XsY`g!S?Ho?SJK`{Z=*OR)q9yU~C<%z;{#9xasPQ zz0trqxt3v-J@f+iGWn6sb3Vpqs#F`#H{rBTvo9 ztADYoeR0kCXMAKqGcziy%`-=n!jNIqf$Aex zCnUrXLcgi)DOsakhe!61rjnf=l>z=^-6Qow?n)r+`91hh~_3BT42feF8^1=)@ z^*m-!mCSOO91c(Ahz$M)E^e#Fm+}ECDPDQzdUHt|;rD!+*bv zfwIq-Gw<2LmyhPp^e~;i#!NyYWg_Tw1#*=v*y1@e(?E%P_odZE;Pu9aRT9L1>W+!i z5jyVj*QPJ88krle#|M3!_B&Dr`Q^`8WPr_8+j|o!RNdj4w!+F0lMkP@<#&b;n*tbTDG1E4iC6kz;q&LrS)L4TG-dmniE zXJt7o^btXw@l4&e^=*fb^tfWpf#!Oat@bJhFbC}iq(wLWx>7LPi zei5CGFp97{a|D|P(lVE*et%t0qAiRg`xmg`dDt$MPBIwRFVu#7OQ>g5r1IwCG|)2( zOq?mN1kKnGXY)*2DaR#cyZcNYc0Pod$=D)yps1{K6H>SVkgu~Sp^LFS2W?RE`qQVe zXc&rPJmf)-hHu<+*T5664bWIAf!mW7lHS^645(>~KHyI`VzzN1E`JCVVo8hqZcO^% z&gO=fsXPcV6Aji=n^Y=>o&>@ zS^rsp)b%}L{h08rO}#60KJP%_?S)7+Ep4k=p+X7@p}B%&)4bt}Clsmh8M64&t&6*s zLP^U$Fdu3DwmgLTxPO5@@npqlAwL;&*(y?rfVd|&sOC00zX zAx*(uiNV5|(q1(4WS(0p-H3sVP%nDaP`8k~uhlhnZu&Px-Vq)^K&j|MS#~0c!6r@H zkTu(>j`1H{-sX}C9qD1u?%Ps#FStKHJ%{;!LfHz*{+#O(fq&7u(-X#_D)L3xgNHm8 zIfEvK1Y&{MG3?Kw$ty6SuWsBJ6yCCyrKV-N-(iUD4#pJ(8H-Dh`Bzv~Ojad&ZdB+W8nbivmK%aG0RMeest7IxV za9tI#SK1y zH~spW_(s~C-s7Z-b*oUj-)=+%at&1Qb#6Jy%6~ouC8qqwYu~vy>kVR4_qetHoPSp0 zsiisvc#+Q}$ktf6)iV@MYJ>v?xona2;({V~G|a&G#>ytc2?+41C_8;>(#)JG;}ZE{W5PrZbb<)8SW43meWUFqFzg(pnrNq z$YwRlreT&-mZG+!1uFKRBPtK?!*!t*e;)K}vo)k>UDO(5IEN@)DQoPK~ zPG?*jZs2BXca~UTHjXo6P5uRP&A@?+1kduPkB2wpfw!bLYw)0Tw=#Xnc{NH^7@0fV z_fb>!0*`JQ;P2bmcS?mxRa=a&;D0y)1Ywj#8Z~fb9<5`3;I?9_k8WeRX7WbV+P9l& znqB4__3Tjmi=r*YHUT8k*jN7k!?Vt4yuqQIS};)t^q$9roB5sqL{Nd>`S0^JxO^|Y zu9Z*mtZfkvW9$duGPWkl5PMDWFXe5Z+>Ruzw9 zk?*m$c}H#|N8#?SJwDlEu#EI@qn6G9NkF#0o<7c(I_f@7aOWaAU{7O(%4@(m9joj7 z{5$v+dykc*$b(ag8(o0Xw;7!z*le@exuB+|<%*U+^kut23D~bO0YzvoyLbq!%3M-~*xRo$^WqugJX7do zOm2d!jy4zOVl*`%W-y0?H-mp^20NUqR+Z#9q5IrT8!1?SV&^1)1HZxZzhD349@No0 zUL;*wOA)3>=g`uHQ@})ZOb877glK|@{B~KHbA-vQK`UhSTpf46uy)e+&YQy+FHW z;?ALrEdFIurli2$r#XMjLA~5u$3ARC_Q`q1>QbW~6o}JuKrnr>Z|KyQ%?P+Qj%j<* z<;W7`tghQ{^Ge6z})xEi`B}#>iNZzs1cwH^( zX{ZAk718qJ_M{kg{%63i!90fPbv0kdyJJ|rTbr$@tMam(QJwjALbIFa39<}Lyoa;= z$*CdAM`ghW!vcDVMrn_TsMOtYdMs zSqN+4erN%Cn@Zzw;up_5KevU{_#uodp>n;+xj?MA_jSaOlxUc~K)4_g`2^82`=_Om z9nn>lcz8d0e!(WDdOk&n&``O1bTO7>Df%Y;qe>d2x37OjkVSKoKK)6s-y+>rH@sVR z1Ixq1Z|ADCdYX8b&wXK|H3+;QCk*gQ=50z z6vZnT;cI{Y%ax#2(mON3TZ2IFwtrS8vWJG_U<$)Kl7 zs4cbF+-8WI^Hes>_5(!s$U7gjJ@f2@_Pv-2fmeYbQC@1|+|AN8mzO5Oc~@*nLNRyE z&c!}a0DA}G#cMx@NwfSc`>IUVK&rSKv9uQa^y4ek6oG+ zpUBJut^|s}M458ec%O!eeMckGqCsb#gKSYrPBkc=mj}-2>nXbe;p(dh*bjqqsle6! z-IHqNg7F%lUDRQbQ62O^jk6OaZ;y?y#Lo{)UKT_OYqUa{=F&YM!e}{9v1h!^OZjiz znO=W$j2{6d7YMF|GzzuNs6G%yGZ(z+kiy^4tFU7ImCX7pL~*XoxXy>&@PXWDtaJ|L z*lW)N)_Xz4ep}>^O|wA~OAdT>uvzYDb#KWP*O)gCQiEJ0mj*sAoPV;dw##S`&Y6ACI>+VT2CZXKbcBDc7G!M=%(JF9Rhe z-GU{OKrC6f(N*DL|CuS%oHIiW;PjW{s*p6Hf&lg105l@?eV517s!KrkC zP3*aJnma;6viYyY_#?ljH)kmF15vOdy;k{1Dw>nzqC1>*O3?}$Z8Fm8mmY(>M%sUL z;&a(_By3NEZPgMo5qh7R&&4dJ#NtmAZ<0JS_N>kj9MA-skd+KwLe%qPMbBUP8A2Y{ zLhYl+>V5B2mJxvHn&(qjfn;m40^RXAs^K%GXB~ypBv)J#8+M=>j z9gSNXNTme44ljpKwzr@#yLLD2pJBRWem~+A1{+y}S6veo$QT~IKscqtyeWUjE$qFq znbj)2-I77_$m|!(lGm$N_D{a5o2e1X!4SBPNR5W?d5vv-@eatm5AA?KHhc1{;Pw}E zv=K^P#kOk5TE(WBM?wF;1^a&p#D&lqk-~1C;s4T8MciisFW%uQR2?(8TV(#J2G~qV z)VhAP&SxwNkiyd{xHYw)d!jt+5iEn&ufW`I(&BG}qM8AL7F6hs^3~Fq) zs~zm0U#I9N$CGU|^P%+qNbGF;U8$pZ;J7OJkvj&T1gfF00s;LimzMtO@)$?IypOhU zi=_qc4<^=3A=e~3cSi}NMWH0?6H!wG4ku`n-Yus})YsT4%*tH($bQ#9kzzRn-sOTj zIMg`KqO}V$-skg6`bU3m>UB9Ve7h%=F_j=?RIrSZzIf0dW?J7@U<8rSh61BaJV&-G z(?Rxs%5mc-C>0@wSuNMQnnjtJ+H@Yu*_x_ukBkIX_u7gm3auQyir!t9!( z5tLG%|B@i=RyrtIK>cK)_E^?fkUxA<6*A@IBrAMw8h9c(@qxEa;5!C)PTX|oc;m#5 z{grubrfiRgS5tqWdm7DG|9x=N@sB9hXZ;@rLh3H_9rM;gZb*yrRe6RtWjNoM^BQ(a zW%WM!-*9FV01=N_Sbof}QY3Mt6W}VVWyfcNZLLl(`=a`uYH?|n7m3_#-XjIMk4j{h z=X1K{zv$T=FX^JpzK0LO5UrW0Ll|B8dwxF(1NWX&bhm%-C~-k@&mes23=pZzx4DMJ z&yM@#4Ci6Rb0?u}rtSgRxaR3}x3FQr0c{lvWmju97>Yhz7zUxc9?e%#^Vo6zBjwDX z4u(X5p1lbhgOmImvuRk5QdPkJ^uCnxm&ez!pH~YSz6|n|sMo_Jm!|}Wm&?g`mUFg~ zw%>h@Q!{^eCkMMO2*Sfelm;MVr==;3FNRsG%Ona`;cwpdbQAp1cZURHn!kM>?oV(u zff|QP9s}hG8HjYCQ3evUtFzmAvfb*To(7J5aT2w^b6+23Qqb5q{Vs(EQ7B>4V1s*QMw!VL!^rY%RvOyX#Y4M3O$?@wk&NvlRUp5E% z6&=ks)c~SM+_2rm<7k`zl}+XQ)NO*N0rT~vbJAzCuOOZ^GUFdm_YvwP?WfYAM72{k z6|AdSh(AQ3-_}H9)#V=SEvXOjgI(%^hEqQZg<5`CmFH?M4@(j{j<8(sOsG$C>l%L; zZ=#1kTLL|DWs}~+%8P!(n%9lh^h!eoNg}=#UYguXNZ7T)Kg7I^4NFZLTp6)7oT(UX zQm#WTdn0#iBiMKQclmT0-*a~meY{;oKK7~&p1I*c&undnJJ0Hun68xYam|0y#$bIq zlT}mJ^>`98><`}K97vEwlgNU`vQ~e0#fn$C?2CD8nPa#kEolzGV-0WgK6Tk8Avb8a zC0>~tjZfI$V2ZxkCvrbu6SYR)@+FTdO1{x)CXBHN{r;BWGJGhvEwCEvyC~V6sG9G&ED9m+_0<7g7GC@40^*d`&?D zUmj50mM%MLBSZq<QZh^nSl@i|q3vLnzB5!*O(6GO={J{h3> zgn-K(>)D%w`~L7=?(sW{cPoFR!eZEgr)G?=Gw+4f4*?TDUr3jSG#l&I>Jb|e*VhxW zZPrRsq&4Jy68qa|Vl{ml{Kq^@0e&ubbFsY{rLQ%8K;xdDx=mx5*$hXj$`22NXrbK^3=b7*>l#at( z>ug(sW3wSMW0HXuK#h$c z)d|Np+ji28%1bo)`ua<RpKIKE4(_RDERhtz*qUN$l(1=}x9yHNOHPKTg1 z$@I=YEaW9cDa-TZ>Q2jhCjasgk!po{T6!~}L;#z*Ao+|JNRl+(_)9$ErHWf@v!7UD z)}nmog~S^MJ+^)nsMe&c(}`W1@g5{+5v**pnHG+pgn=7``(eY)mQI2Va{Wq zLX&GbOX7##bh3sLN)LqSlFn7$LGbrJ*&*s7bJbRlJZQ~8cKk7^uiUsU!Z!J~{>@M!lUb|MzNnGdo)XBcrS$p|U0 z;)gM%w!?s7DL`dXNj=%$AfdD@4@VVGPkiKSjJ2t)nB&-hEHTI?=zLZdfLW#mf8PSt zXwB0PJ32FivIbOEAp1npxN=f^d6hhhwyLs?TabUQ*oX?ARCz3)>!xYb4#U^x096df z>oZMgK{9es5)-7C3D%#b@W@lc^9Z{~Ly~jhmEPZrJ)2!AC9i#OGwO$aRo=NBCDPiv z3YpHul?G*r!M#c)>qE5_n=ya3!47ab5Dg+l^X~jV6$*!kZJu#VWi)0axsr7`+r&BF z^k#p_tG(wLoz~yL65T3i?YcF7m*BW5ENDkr5MA2c$@;@-1pTq0i? z$)KsKt>rMI=Ng0{-itNir%mvc=;6lWm9h!CopSvX(l0&DC+PD4h3vg{+74d5OZFHO zudJUyBbfELL4RL**nQ3)!P|lN@Cy?hv;UH`^kwFnMSgTODa*@szO-jUvL zVdzj+{9uUl`~}XT7eES*zh(P|x|2P??HV5hqsZIo5Yfd*yYA2QX)bxq*;^#6i2|+WiY@5QQOcg(9A_uMvf}`>=I(ky-V1J>MXjuWlpWjBaUy(cbiavG{)q#IHJ3 zbH#mPQ+eDUy&VRRec5TE<7b1tDko_18o=a@0Pg_<#cmA>{gjYIG5v ztdaXgD<6TqSF{AIdsM^fFSp(A02MVz31}!%xlgyR!5wI8;+yRi7ka~HotVpdNm)OH zRa|OF@-fYGC?*3lu6!9~8&BX0UISFXK-S`~o4;C7=RQ<|>uX>rH`sr&c)s4pd|rHl zlm~^q8D|A3weEz3LFtYeH#|J!Zg){L=V>uTtOR8r-(#Jr&RxSY1w*el#nrdbgQxpi zE7*BFblR6K?`yIb2a0?8N_D7`zZ*>P`;sTUSO2a~J9mOjfMHxJ z)4bGCd`tYCv^hrKPhO;Nu}B-EygqtFGAK2>edguomtxb{q+NeGK&DSvabOkK*XwN3 zbazSFKQD<3A1oqXGYESlqxgm)yq$NAze>}MDQHUD^uzG|0(aF%776KctH1fYnM#{b z>g~F0(slT^T6lB@dLk^Z6)VF2$v#1BaMdfhG%kydAX)wa6T74D?9P{0H7VU@Uh2s{ zVmB7y)uap(zz~0F?L&KLpqyRVl$c|uQbBUhw_QMcfN)iDBu=?ox)ua>ZVwg&>Xtbq zKQB%RxC4JNAQisajmbF)f{zc~OunPyZ9L!<%7nn{F}@akbSNUQYq^V1yF`nG`#JXa z?M^V(gPb6$IEhOthj1;2t3Baa+r;y+;5{|l`7}$Bcs#%cv(b%(_8G$Rsx<&fvoNpK zFvOoH_K=X};DL(Xm$fspyK9K?ebO@Jqub?WXC{C4DdQ97l#YAlnlf|>F!Do23~J0I z2T}=}Uk{Wqin`DNU|VmdoEThwZ`!Q1Bm{#``9=cjI6QUJ~{W@D5YzZ35jfUcjLJIA9_3WY^@2x%l$D382mbd zh{$IVdhOq&RI!l)aGito!iNY zcwAml2)9+0hOx~t;fSDaK;6x_D>qKib>qe!H^sGVSPfkb61%`5M!hEl@;6Xo9tMA$ zdO_2(rJK=Bp(^v-;`m*6^KT>MlK=e9NwZ5=b}KW8i%}*qzxf;^iHO|yolbE_vZ$)M2R5Bmz{ z4z*Ia+#1STfhm-IQKRtDukF8By+lP7TYwXAaVeh_@9ym*1E&P__*N;$%2~8a8+`3M zl?yIE6Yw|TPQ9Py{b=-PZBle89SYYlWS7J0wrDBLOAf0b?Rb*2o*an`0>l(xUtG>HCeH{GBU^EDJ^ILTva z7WixFgH2Vh{}{U^J;J$)4Gcl7ZSqM{g%}w`x>Ze$u~7fXSV~8!6o`LZ^7A1tYfa@W z7qfPPbdUO(&K3!U3i&+d>&;tyb9rA1 z@=^M(^SCIZH)*qi-fDsISD6>UmPBdg5KBfyOIw#ergv{7!Su`lWBE|Bg{}}vz2WNh zu?_cn>_kw)6ivqBgSLNi-mq)3zhUBXmaji@9&-xbO#90T*tkDAuIy`U)8iDxzmB3< zN{7;x#B)JTyvGpP)0X)in{BN#Zlx2$-5yTk%XTNkk>-j1d4>yb`@wHvQ771ZBuF08ZN2Tqhl@w*=ifPr19iF6{q!iii^y>ny~u3PxyN(v zUv&{^-A>9Cjn`wt?G*&>oaq7#f68!Ie=hgh9i;z_{nGG1FK! z$AfhZ7>gJufIh~{T%K+9jXRO^#fXf{4MKeP&DN6id@y05jJ(khb4y?S?mO#Q zu+O{nr~8)_k+Gj3PP&_ES====3wA1-%UJ2Es&9QfUaEf%Dq2jL+eqys(G6|GE?y(O zIIRb*CpH?j(w}UleF0?c9Azd4KGRLp5Sa)8e+3h&gHOK)Ij1MCtEj0SW`%bKZi2N( zt$d17eU8lf{VvNe8ABy)X-Lz}z;^KNn(pL8lF~$i|6*iJnMIiZsZ!YiV2uro;f?u5LC_ss!>G_<( z9@DQfZIfi{q1jk&u1K~Gt?z1vuRdv~$Rdt6sGWc2g2=_X6=@F_$&vSRJ}_wG8!*_6 zE7D!iI(@l>&uyd<=`w%1GC8$*`=PrQqvDVQ%QEoZBhdwSZ!1Ra#r^^JC(YsE`;=@; zem6+OG?$LXY7rB`h8_OIbhs$aZ-=gyLfH^^V6U#F4c9wk^kl{Q>(0E^0~slKs`Rq} zZd`w>rpwzt@vrR#282CyEazWl9W}^y_BZaA9&~py$1RU2a-gd!8D2e3LE23udE9jP zu`G9H5n^Ghr-yRMls7eRSNM3^1zY{pMs{I{Z}9!QTW-d`z@D>ob<1`rRX^77u$)u7 z^pfw*T1>sRAujQ`GLq#t-z!O~ssS=%g8iy+7f5S4ee8j=s~Ib1``c=^LY42DZGC? zTjhwe4`n)BDM#aNj3Y_Smz>+LeG0v+3XvfPde;QgbywqtD_x}EA{VFnh~90w3mQ%~ z=B92*MYFOB|EPB5UCz^1iP|BW!RmraJZZE>a~&MhLSbxgqn!z2p|?Hgk-dLK>kWHi z^%l!TCBG+${C}&$nTU)VN{5E&gV3YL&U;BcyMD>*Zd;vYzMEEPa7|dWeN%{fF5b+- zrq?QU8%EV}I}AYkt!#c*W;7XSNnFcui7v*nMCg3{>XP+J>KP*hzn&pKBJ07=T3tEv zgBp^;i~z`VB2Bmwz)WVJu6}>W4LXT$-Qw9haNehm+WjgVHpT&jeKo#mVdkTKZycqJ z^Y332n4LUBpI9!<~t_Ahd>amcYm%vTQUB)8VbVVHhnaKUbaSeaF+Y?J>gMvup z!}kJDrtY3yp`n% zIKVSsM~p^S`oq_!shs80qNM@ah8{nAgMU~Wd;z6uPL{1>1?GP);j@w2F^Y8IJa;2) zzMRnwwZgs7D14KwGW%2D;PXvS&JuwT)vxB%YTjzum|a@4 zZIxV@D=l05#gm@t3{EDD+kI#7S#~$mk}%c1CVAtbvzX%JZrqfxF&23{GZHIG`|T*wmgjbR1yom`6k|#=jJ*<(TdR|v zjmjYs>R2D@A^ky*+W=bJ)Sbg8Ivopk|A&@!{4`ZpT`HOa^Rqj{RHGfLs zHSni`G&?rMft6ot;n0!*PT^Hd6cuemhsvtY)(xT+>K<{{hDq;t-|^PT_s1i`s=TY= za9{|BhTT#+Fd%19s(-5;EYPI!vR*&d0#z4bVn}}r@%o7!8b7B#pr9C3WQ6o`$yKSG z1+am!FuA0V>os`H+Epr=YVwG?7`#~ZOxl_Vk-~Ppc9JXVXew|M1llwiMK&s>K$Nhg*P9?zfEU#ndrZjFJ$HJK?(bpa3>NKDe zFQ*rI-o$H`2uqjITGWD*NxoS2D)2k|(&Mi+Re|{pUhg*}UuPzZMiv@71Ey^b7d(bc zh~e7mAEL)KQ)u#*+!8``sj-miK1A+0#2->E-=*OObqA(WC0_Z0hJL50_AyC7q_lrP z(e5dW-&STWx&J{%NaUzBaXZq5Gt6ZiO&Q*%HTt+q1PjKZIk8qez#hU+nV+7>V7sZ% zQGNMJk8BENeJ|XGJoTr5CdeU2HAYND^kidh&A+m-|CuSew$&joXiD-T%5$we<)Z3~ zap|Sw1Q#aIu0Py>gu8Bu#r4`e|7Cv(d9GV5rhTyUJ>c_L|9r|QJm9_dj&k#(f}MsR z-!V1+p)sf{-2t~2ivl4D`eRY_ZDqJqHkat;HVoQn6$^gz2MR%C4$`%%e>r2=u97({&%wzmyb6~T*^~sYNC|&6nsMdXRr;W=Jztwb5&nrmKO`)8B1`WX*<|HD?VK<< z7YkxQEzYQ*vg0g9+WI)FFJmdEu1Xu%*(+t&Dk6RSA!n_rG_eJs*j&W?E-A*55FHai zv~9-NwzOe}wBEl;vxQibP-z&Y?2Wk8TcB)BMjB@|$-hgdA!`NXTMYP|gSXZm7wU^%n>J235z$1WxE80WFv=a1ZO1;Aft3uVK z+Z*VXju(={z9pwsh)jROIfELVnR76Fvi?|efa$x~Cg;p(0mH7Hg~S?2vwe$?>Fm9 z80f|SFJKp+=!1V~`B5V1@9Xl$Cl6);8P7U_{K=Z7XA}HvD70HanXq75*zpdnL0!D- zVK6NBDrh9Y`n@w%Kc|EtL+HdepZvvcZ{H^V*@Mw3yph4k198$IwuOHF`^M*ke^PU{ zBRGLmXA?^P2s2n5&%rDe(SMW03+*Hy6u51aIGS%Kgj0Xe^=ZV?8CQ&E1>!NvRz~x5 zc&0{osqHYtptW8u0VuIoo30`+(3RqTWuJi{89;5_K-yeqYO3O`5%9#1TCNkEx=b!B zqNK07OFBd9Jc4uP<8Rh&l{!oN%NB=N;2OIrJWwHi({%=GGs#7>`PrOU>qyO7=={X~ zB6738q{@HYNNd5-86@zO{XYI7Yuj-1CNrJ5>T{a z!4jrsN>#XT9ui^bzNgsxqIb_`YE;P*QNA;)&If-_7Kt=WbULz+`IEHlm{y$ z3>su$1vzUTY(hD2x85n8v>*gkoEmHn0!Z>OPWY0Bh;a2CTW!p$G3I^!ZTs%xF=}Qa z>fN6dFk9u?837`o6cu_2nTFWYGZEIna(@d++_;#e$SuIU#oaNAFgcD_@rA5kO~JER z&S8K0OEgse14AAMc;?jhlF6QDpZ!ycQ+0-wkBytLl!L3H^P{j?uCt60hH_Y;u|B8X%S#zA7c12TVE zgy!~BP?VCL=8y>$>RX>Wf(bl?iYycmU`}J@7@gpEGvB225W8zb;04Na24rF68b*3h zP@{bHY6>cDGFNGKs1CUvGMZvtrVT3lYxp1G?bx~99ZwIpE6*@VbWjv-5AgxVm8O!C zS1}=|-?KMN{fVQ{LqSO&c@=%Y6h4329uDJ8w~*jI{H;|a*5K8OS>yx9goA3(B3o=C z`PZNVTKs$wU@W-Q!>&Ou*Ll7mHu=dvA zakVf{%%`m9lp3ys&%FHh@NqfinEnxlb1HK1@vMaNTls8Do!Mi;vjW6e!}fp4U#l3s zQP@!AJkqu@t-2w*Sw|B5V?XOFI%F8cVQ21&g-M0SuUHr{2q(t?0W z8jThNOS*Yxc%kuMOe`;>AT>I2rAQmuuo8)Cvz(&tI<1Vf-yVgqZhTbY3+--sG;rN0 zwD%Kq;@&nQ7k#gaQEv6Xk_3N)gU3KUCm;t5eLtxAFPWU_^7^ihqLT-T+>g(b342jE z7;obpfl=7zrg95~u4?`tKRr;|h18_EX4JYMhPQ(PxZwwM zkl3swQ$FGGl@{;sSwv{DP2_A#N|2q~FuIALI3eDZ7kl#D6bygCXxDILNQ; zHv?79uL$=M9lkcZl>UDd0E6|aam4m*Ni(XAJ+fI%!1nuz&)0HGvD1k2bgk&7*5!U| znJdpC2CaXxfcf>$ibRT2kl~EtAzk1Y^nOQvGJFhhKUw(7ju99n@Teu8*1=_!z0#d} zh`v2o7Z1AlK{MVg|#Mo;(PbG8 zFvyKbb29IT#j{e-go+`-GupuiD@wT>4ZlY^4x1qDxvf#H>)=Asz=-$Njk`Sgv?@EV z4R34nhA};j=ck`7G99_qx24;7y$gH}Jc)WL{{w&fAB}p@3@P}ammV6!LcsVX{%vx~ zRNzmv8Pn2UK|N{NQQ_B$dNTK`>Xw_N zFz?T&B>weV2BrgQOJdhx^S8tlqzE0Vi}yo9m&4XQDTc|r5+AZ+P-*3HDgU=mj|_`t zoy~uyeP3<;Weo^(8!1W9<<{7C;t<@IDCvv<;lq#W#tJ9w)9qhC#BZiI#7e#^)@rh} zw8cp)+b8gfanp^NN}`VD*YbPn`NI5~d;@oKg6e||NmirS|7{8FaoqW1R?$8`;< zOiP^X!AR7CaaEileS;wIs z^O~lt_!Sk&0)@$mpvSxg;xt1uGZK3q5FuioyKr;BLLhkTyAfr`W`Ek51Leu$+yut)Rq^h~)^XrUk^z%K+j za7mV))*t_yl9`O(A#QX?hn`hKM9P1b2{ZO{==)uzkT)wo%)N~DO^6xs`6C(Zv`F4t zrTZZAse6WfLTEASl9~I|q3som`Ap|_2@x`crS91`Ws+@R3@et_j9PdCSGnFSY=ou(=IO}FCZTh+}b-BI8Iz-hfa}66*p=UeJ(@4d9v#MIX@6r@VD?SU}ZGuhGj~% z{-3!hUrVO_WSipU)^((pGIxL9PYyR+cR`^I>ULw70iW2LtZnVBd$O#e-HN~a4u0D; zRi}A8n!bXRi_w!41vsSYzhMg9JwA)o1Hwn4d8X^0Zie`Nk}EO4A)?{+EG}u*mpC3v z9hgK0gf{ufdQR&2kO{>K2-a+FLCfV8PZ>KPOL2A0kGjO^C`JV#AOwH+!c>9yTF<>v z*hY3;(!yc+I7P$tJE0u151$X};F=uH2IN>9Cb*_)_#qRT>}gLL^5##WG!r9_RasFb zKaBPV6n|X=J(4F1i#;!>R{#2!Ax9vQ*r_)*8D*4j5A^}kR`Rzmr}}H&bXLp=T@^t*@x89f*N?oxO)&C7WJQF>v_mv;X%TIVTCNr+u44rK z$wz8-Q@G$isS0`*jWqvB!iCdLccj=g!%fDS0;XTqJ{9u`cB0Vf;2hYV9#xezMM;pS}`8dL4f?2G_HTOhGIKQ4)NUR_ZY_W zO*@!-l0kf|ZHJ>sHqr6=O*1HbK9w84$wbm=DB;cb<8m1iZ(2i`+@l2d1S7nwc<9(`GY zs+I&BzbhZz%a{skw-R z3-P=mH`KxI^*?cZY73oNz_6W#S*j%~cfX+s$m44f1PTK|bkuybEJS7`7HU`IN@N7oY%3eOFi0LtxAX?cVbT8Y$K{8Da4~PZlhYfEq zq{e$+rjvgo%j_iDqm}l{joQMOaEvj%$o}4(63T-lB*4rq3~r=*fjf6!$|QpjOCs8K zesNKnPEqv>l~lp;Mozru@c9@QbY{EzFKoofS=v51y>#&9b@S)#out8HgsT8~o*U&O zSnh^o$2GrK(MJR<2G>J>BYic3_XK1+I}2BfFlB$4p^UsEndf)2PyZ<&)+vsmbQyrD zMT9qU(Dk0Y1Ip-68v?_u{^nZZy5v(ttML)MQw4jlS0y7SmtJV*8P%M^qEuJ>0M zDAgz^Nf5ofWwfv7aGS5nB^SYu6$s@0Gmn4uTD1^{-mpzd(x-^h*5BkL9}erFX`-uAQ5$D}!JH<&1yz(t>$j z6Z7zft^=cDY`_I9X-mhf-gh!k009}B`pwN6R_*$v4`6EFMqDSZI#rD}3#}O3Vlu^w z&c*_6d8-IsSD&MmjFZ;=L!8E93puZa`55>wB@QX#QHdM8{*Q;3SnH&uad^lk3v8gMz1WvW4T0#kSU=Tx z+86VM@L>Aj(L%wI|3boN!sMPoHa|Fi&@CX}4aspUsnY*E>sntmiaIqMdR-kuPa6wv z9^h+HwwFL55eF-Ithx`xTareH#lBx?t<)uOWn~v!?NOi_>X@L_j@4?Bu$e` z#JT&II<797#(53B?nmOU%Gd&XqUDJcZT0%Te3b35s*cl_&;}tDX05|9rb(3vQ%40m zG9w+l7On))8ZUhskmX4{b;Ss8s^oVW3S=?k)p~scxKS;bHjcuc(oG+?uGk+Gz#CX8 zC=zGP*Eq!Z6d4W4{xL-mbt)0 zP8aZkkQ{uwW`X<@+#|}Q@XQHFU1;rBFG&T2&B{RuH6|vnw@R&$(L(U4_}zTIzUYr$ zZtbnRFRK5qq%P%zN182Dlp<0O9A8=YTfWG65&a3+jQfA7DAm-ZRJH7Idi5__$F;4= zm#WP38Lj(m3xaMsQvSUQe-!OBc+!TxA&!w(@Qhj6ym=I~GbvX0m>g~Wa$BLPoSajQ z9*a*iXUI?-;SXv0vxdxKV| zqxrM>8iIc}LOwagT(x?@jlIjxVgx-5UoF|JRDOC8 zFv*)5^L@5#@l`mP$B572yL41N*WJB z?}c4uR1{FRm7$Stq=xPohAxSL0ZHjrq@`O>7&;`S28T}R5*$Ff8;20-MjGiM#K-!+ z_kO>B=bW|gy8rH4`<`?5KBiY{p3?EGWHB--BB2&m*R=YkJ0gUzaDn;e@#k5SlJ9{E zciyTIn$A5Occ9fs*zMuy?V->n-X(R%L5ZTf#WX|{@w-ua%oU|rJBa&97|vo)8%zuI zOm3OhBdskuPE@YTfTsevrR{XXom=!=_iVNHqlDaPxdWkmVy?fzoD-Wf7~pTeU9vVA zWE%K)IY=FdCPiIn!+vs2(xcd9`Ip0dFrvseB8a)dEorM(g9SvD`kX&I^T1oi5-YjB zHLRki7@FsV1?7{nyjIvKPDi;cH-qvI2S(fpVKtj%xR?RMKuU+#zDiD?$#-pVG)$}$ zCshu!HWEjtdvD#Ey8f(>ysBdI4~ixa4yhE6PxsbSTYDV^fZa}sRkQP53D(5x%dU(t z!_X&+fhVbAv>y}eb?(G$aGjpia5}cD9~*Ux9}6VB^JinI#aKweT zz%VG0e}RB&00s!|2?003aq@j2s|}DIp>89~0?*vw5#YRqCMM#uqjsJYTP|4Qpo98aNi~ZJ~`Dk{_9Y z1SyiGc%S2twRzt3Pcc$RIm|!vWSO)IwNA?U?=6N9Qt%54nDi7UYw~i6X(M>-KKp1& zbr(CBy(q<+#^D+!yiKznh-Ip&0&8O1r$&@Vv|#n}>@?Y4;v{Lvy2(aR>QnbnFPOZ>)1BpN_>Ia_z|9M( zev;l5HI;#lFBk4W`@$T?NSo{&O)t9l#0u0%oXGS>nrv-g&E*40p>(&TYA9KqqX$pO zd>9!|mqiy{4*s%DN`zxHKDo*T7a@Wky9VuY9N_!?mlMFWk3 zbtX`@mpfDw@`Y5(J&Y@Z5)WPqCFPG{%?b_FP-WAn&mL z{G~UISc-9CuP(p0?wE15JvC2;>*Yb};m^tb-b`XT#;L%o&PcLLEu%?vOE5RMLB=rORo@`r?@WQIOrBk}VmhM* zaKEe>W7NB^oVli4xdOTdxM`9-gMkfIN18o>n%f#jp-m^TgMSLA0YM|daZ%kNhh!{{C5YVyo?Qgx1s zMJ(cm;{0Ip

h-*VVTf=N3OdCN3&=GW>BqA1*o>wJRB+A8VN73^q|VZGgceu4=W) z?aFsl7A@v+r01;j3bV-$Gf)4b?&XLc(4I-1H-V|32kG{)zz;%sV_%0q4Ct09)(s|o zHSNeG{z^A1RKG1O!(8(HhQ{v&YogIQr2WJ?geMo)2e61a(&UsHkSb~TSPC(u(qYM6 zxi(9Mt}`+7PwbpNY&)J64Emq%1&Ak1$6Vjj!6vS??b=u@dZlDk6lW#4ebQ7{K-@~% zhod1%qnW{PfZuwJ=G$p41xrnbkHSO#lnPNAV$`_nc448e1#51R>WGmJm#t$$qR zqn0+|VjuZ5G}5;+?I(VWLJOgo!T_~ta*Uq2`s$ZAe~e5QX5OtDb8mke#-6(_tOhHm zC7kcAaWdMM!HdubKJt^L6b7i%t3CKl_iI@01enuCIq8H=xQObS<9<2a>(1a#+HyIB z+M$x37it+0UO0QRzo7To%!#VQ@Cf1N|`4vK8OSE3SDA|L_DC4|oFh?5gPO7yZIPb3-lVf;FjDH+a($5-q zC$7S^t42#z1s;kAo&2<;#XbQ=r&*|ls_szca{d%gk4*|MONvwQx6E;_`9l^@jHGkv z4G~EVObymNmww+29WLV=^aokOhD$cd zb6Fr0{VfLl7J?Jk`}T<6(ryzK?Lz?Z!h{Z`cCR>o6( zS+7?s=T)!st2qL$m*|KsXhxB(tJI6*CI*23wd0*dEs$hY!PGe0(qRsSilNW!Zqkri z!w*R|f*#-Q@4WVdFxb1}lKj1OKICb&`8R%X7N7Ie1D$#}?U>2Pd^iv^RQ_eI0KJDs z&^)J|#y7Y!>U%HEmpMf6xcc}iZ7^w|EO_R47)VfodR)O6z&~Ah15-Nc2o1e0mn%Si zzu2isOZeST+xo?!h#?_C{LT5w0Jw)b$YH%olw|_!OdO|L7&ko?Q(5@I>Qd5bfFpKR`m1eTU{WNla@DT zaJ6BTe!H-pG3TEU-UG|auqoqU$sEVStfVWZ%%|zNz|}fw9WG-sH)C&|Zi3SP*kCt% zQUh%cn0ZS59@mS0hG^zv0+kYAn+kyKoTtj8txqdSiwZ+f`NG1eqjSJv<4@Ia6a}G) z5N$Pl_-$K)SIW{1ju(VRtp|q{XFWP2A1^e)=4Gvo){D5!DOe)+%~1Dge4OGF5g&$^ z_+B1RRd8tX)R|Lz(GyU_e3t-$6gy9|w0-Gg`#FK^%`d#Ed0Hq&c#jI|np}jfy|~MS zl0C8*`loBjglh=fr3)t$VDkD4=UQ^w3nd@u7&}?MN+7xK8!{DXa=QvbdFho>SUt1N zz=c{l@nYME7A%bHP|&IQh23ga6i-6Gs6~nXVN$!qsOaGkwCk&&9(NF`paW}E{|72g zIFV=KVp-etELNHbPPT{KS;tF}Cq=yR+N8gsyi;Y(>M%jcS>hg|%a*64V=eQ1FYt*~ z4WeE$?(I_0jHD_|su};@p1pahFA5Ik)K}^; zihgg|`k!o12)&Pvo-9!qlx)ui>8l+M5RI{I%|dyDKO`+WE$p3)MKvaP;AfzI33SJfc&O4oL({X@aLGdIW6 z30sqx_esk;m-=_+9cmAY03~lBWWKmAw4*oImQm_66YfUZ8LjG7Z%K;GlXF@V(8bm9 z-;+dibgYh<4xx5E_IAmG8m`6fxHTfRT?LJ_D2|K9*UyW>9p3-gX&yb%HBSrXN?}H+ z8niYS>%$K>SsBkiq@2<(6eN9(3-A=-5YBAxtd zXHKuKf7j-|+^20j@X}4MgT}_KtHyn^+{aPr6k3Ykoe|8@KA((~A%;$`OU7wS!6t;D zy*{$Tzg;a)(oJ*Qf8Cw0aqmB>O9&X0beijBR5)FdR`}7Mxqz4)_z0HyS_rRl83I;YRC2Kk~l3>Rl?Q)|}9(<(NYGYB%x{7QM@ zqSJL=UK~VR^atPb7f>o0!59Y}yaG=vt-?D^rKMh#mO2tND5k^W+(xh(O^CwYS3lZO z>O7i~9KgAXhPO?n^L&j?ruv>YtIRKJF0nT15iJ|J#1PlI*R&}$8d+5@esnR3%his$ zk*a%>i|WUg4N%Gp*EYOZ0Es)4Fxy}*1MAlVv$E6a^rN7A`z7bpg6cKKX)=F?dt_`J z`+x;)255IOO%P0&7b(b?EoBMC@b>Fnm?3bdHt-I8!_xii(iq%jT4)ZMAYZlUd#iKv z<4<~06LLneznIGRVsLA`_^EH$Ympe%_O@64r31LmZzEPuO26_4*O@IIeET5u!1M0j z5BVH1v11!_IR5_L&TJ)r>Eskybbd3-|4<*07L=N&sjy=q)z;%vRgPpao6oBOoK=Pt z*J(i-VuxzkQm&zm4Z{{HX;o}`IShNgko|`kBk_-XF=-Ym5Dp)r81h#MgVmd;>%r-j z!Rj8AvquUJ!(v3y&-EGSK^O+|wi)w3BpM(phIADMfHC3wKma8?Rszt9bQ1;OV#3ea z9;x$V-i-;r<9rOQWB|7SI2P|C>Xi&Y2;Kn&Fe01f0o4Gwq`)Jaey0dfLykfKbpW`F z@FSZ}gaXh2cs}^?DB=Y`2LKQU!w)n8p}e9XQII59f=^h4OIVnThd@Zn-4sXBRi`v672Qvc_Z1Oy3-gZ{(N)8UJ5i;|>KCzq6M zF5+taEGl|{kAT?eMk#4$v8-{yK$b-d^D;KNl(uN(YJqksF=&I&^tr>sjp#jR^gNU1tYKpSN5E0gLXfgW>^$lEh(lj;gCz%SdPryz+Y+a^ncwLo3vC){h4h$ZI zlNfV>fv zBzp^w%@UxI)R6{Vme2eJkC?m;I1)nA+x=zYi%#O*-_B~zV?zXGBK`4>N`N!OV=0b% z&OV}<#2;x*o2z~7Fv1fq?onQZCe;^~MkeI3^u4TuY|Jxn)2@C3 z|A+L&``fg>xW~!j=jj(W=VX$TomM)XaxB_tfDe}1W$1^jLFBtOmL%!i-;3j0*R>=Z zlP0h*d1Ab{!KFso?&QJexm?*6!9;mF%o}qzf+R&-$A_%T{L!`yIPNvd169VjzK3wE zmJQp;Iv+e3Jp;+znHSYc-eMiNeIcRiOrHP1hm7Cof!Ihf$)UaN-_h;p_}=v44QRoo z&@P+R_4Zl9kB{Mv&9_&L7jlgrvPZN17Z3IeCGCQR<9J7}`#n0rWK}y;*P2+}iGw+E z@|MdFo`JEs=Ve1sZrrEpFXQy)VniUq@Ov7Ys)Vz>DB+WSpmgr5f_NiVG~GWR;w-D!CB z4|2MSKPs1BZoz*1`^Im{TzeUcDNkx5UnJXj>Qt(;Nns*xK?pwGeJgSks#*8so$#CK zs}yW^*rMncMLV!k??Q)&XV-umAF~sm^Wwdn+Pmg1wTAE0$#9Nl=vo+qdf? zmf4XiX;fSgBaQ1`R>6xw?l@}cSlSZBjE!|Y*jm`Qj+#PsW&nc2S(f2x{Mm1(R@BQd zme-M0x?^!VtBgU+=ee0%e;M@bbl7JQhWO!azL&A$2!<_s0zUzZnE*E~_F2QBjrvD=LGZvI zkhrk0lsxeNhY&tqq-p2o;Nu7s1;fd>0K71csTLiBmz0C2-c0c!F~Bvv#9mgsu%`gQ z5JKKK{u*FhVLpFkBo#|{XZIOr2IrL@dxV~bv_L!&H77eeJ0+)|xJT#nQuG%5d}qb~ zBw%o?m4y83jNEQChVV7aQnex>Vwyb~Yro7ei5hk8p&x2Tn!) zvk9ev4V`f*TrD@FiVR!Rfs*hVL*+uU&@5cvU9q-MmACv)_g4cEJaNE>o(zil?$63Jkh&Z?`x35@}a SgkUKNVGscahl-9W!T$iZo-8~7 diff --git a/paper.tex b/paper.tex index eb2a603..db3a7e1 100644 --- a/paper.tex +++ b/paper.tex @@ -69,6 +69,7 @@ \begin{abstract} In this paper we will introduce boolean networks (BN) and their relevance to gene regulatory networks (GRN). We will have a closer look on update schemes. Specifically, synchronous, sequential and asynchronous update schemes and their effect on the behavior of BN and GRN respectively. + \todo[inline]{will be change once introduction and conclusion are done} \end{abstract} @@ -84,6 +85,7 @@ Possible points to mention here: \section{Boolean networks} +\label{sec:bn} A boolean network consists of nodes $x_i(t)$ that have a boolean state, either $0$ or $1$, at a point in time $t$. Each node has a corresponding update function $x_i(t+1) = f_i(x_1(t), x_2(t), \ldots, x_n(t))$ expressing the new state of $x_i(t+1)$. The state of the boolean network can be describe as a boolean number $x_1 x_2\ldots x_n$ where each node is replaced with the corresponding state. @@ -141,7 +143,8 @@ A boolean network consists of nodes $x_i(t)$ that have a boolean state, either $ \label{fig:bn_example} \end{figure} -Consider the boolean network shown in \cref{fig:bn_example}. Assume the current state is $0011$, meaning that $x_1, x_2$ are $0$ and $x_3, x_4$ are $1$. The next state when applying the update function all at once is $1011$. Updating the network multiple times creates a trajectory, which is the sequence of the states starting from the initial state. With our example, the trajectory is $0011 \rightarrow 1011 \rightarrow 1101 \rightarrow 0100 \rightarrow \ldots$. Each trajectory in a reasonably small boolean network eventually reaches one of two scenarios. Either it falls into a state that doesn't change when updated, called attractor, or it falls into a cycle of states. In the example, there are 2 cycles of length 8 visible in \cref{fig:bn_ex_state_graph}. +Consider the boolean network shown in \cref{fig:bn_example}. Assume the current state is $0011$, meaning that $x_1, x_2$ are $0$ and $x_3, x_4$ are $1$. The next state when applying the update function all at once is $1011$. Updating the network multiple times creates a trajectory, which is the sequence of the states starting from the initial state. With our example, the trajectory is $0011 \rightarrow 1011 \rightarrow 1101 \rightarrow 0100 \rightarrow \ldots$. Each trajectory in a reasonably small boolean network eventually reaches one of two scenarios. Either it falls into a state, called attractor, that doesn't change when updated, or it falls into a cycle of states. In the example, there are 2 cycles of length 8 visible in \cref{fig:bn_syn_state_graph}. +\todo[inline]{currently feels to short. once introduction is implemented, create a better transition/section 2 introduction. Also introduce robustness!} \begin{figure} @@ -237,33 +240,44 @@ Consider the boolean network shown in \cref{fig:bn_example}. Assume the current \end{tikzpicture} \centering \caption{State graph of the boolean network shown in \cref{fig:bn_example} using synchronous update scheme.} - \label{fig:bn_ex_state_graph} + \label{fig:bn_syn_state_graph} \end{figure} -\subsection{Notation} -Define clear notation used throughout the paper. Position of this subsection could change to be part of the Introduction instead. - \section{Update Schemes} Explain different update schemes including characteristics for behavior especially chaotic behavior. These will mostly focus on boolean networks only. Maybe mention of use-cases for each update scheme. - +\todo[inline]{update this text.. (or remove it)} \subsection{Synchronous scheme} -The Synchronous (also known as Parallel) update scheme assumes that every node is updated at once. +In \cref{sec:bn}, we have used the synchronous update scheme to introduce the workings of boolean networks. This scheme assumes that each update function takes the exact same amount of time and executes at the same time, meaning regardless of the outcome of the first function, any other function will have the same result. Updating the network with this method is on one side quite simple, deterministic and doesn't require a lot of computing power in order to simulate larger networks, as each state of the network results in exactly on updated state. In regards to gene regulatory networks, this is an oversimplification as normal GRNs never execute fully synchronously. + + + +\todo[inline]{add more context and information about grn and their effects, split text into logical paragraphs} \subsection{Sequential scheme} -close to synchronous. the nodes update in a specific order and take into account the updated input node if that node had been updated before/is positioned earlier in the sequence +When using the sequential update scheme, the update cycle processes each after another in a fixed order. For example take the sequence $x_1, x_2, x_3, x_4$. Updating the state $0000$ means first using $f_1$ which results in an intermediate state $1000$, then using $f_2$, then $f_3$ and lastly $f_4$. This will lead to $0000 \rightarrow 1111$, a different state as when using the synchronous update scheme. In fact the whole state graph changes depending on the update scheme used, namely every initial state will fall into a single 4-state cycle being $0000 \rightarrow 1111 \rightarrow 0011 \rightarrow 1100 \rightarrow 0000$, see \cref{fig:bn_seq_state_graph}. + +\todo[inline]{refer to synchronous by computing new functions that can be run synchronously with the same outcome as sequential with the current functions} \subsection{Block-sequential scheme} mix of synchronous and sequential. predefined blocks update sequential, inside a block the update follows the synchronous scheme +\subsection{Probabilistic scheme} +The Probabilistic update scheme is a synchronous scheme in terms of executing the functions, however, there is no longer only one function per node. Instead you can have multiple functions per node with each a fixed probability. This introduces some noise into the system and can lead to more realistic simulations. In order to show it using the example from \cref{fig:bn_example}, we need to define a new set of functions, which will only be used in this section. + +$$ +\text{PLACEHOLDER} +$$ + +\todo[inline]{refer to \cite{schwab2020concepts} and potentially add figure 2 from that paper} + \subsection{Asynchronous deterministic} one node is updated per tick following a specific sequence -\subsection{Asynchronous generalized} -same as asynchronous deterministic with the slight change that within the sequence nodes may appear multiple times. +\todo[inline]{create introduction, conclusion/transition to the next scheme for each scheme} \section{Relevance for Gene Regulatory Networks} @@ -277,29 +291,11 @@ Not yet included: robustness! might be covered for each update scheme individual References: \cite{schwab2020concepts}\cite{aracena2009robustness}\cite{bornholdt2008boolean}\cite{goles2010block}\cite{helikar2011boolean} +\todo[inline]{currently not really using references. i need to go over everything again and add the references at the right spots and even mention them explicitly in sentences for further context.} +\todo[inline]{DON'T FORGET THE 2 MINUTE SLIDES!!!} -\begin{figure*} % The starred version uses both columns; unstarred only one column - \centering - - \caption{ - graph of all possible states for a boolean network using a synchronous update scheme - } - -\end{figure*} - -\begin{figure*} % The starred version uses both columns; unstarred only one column - \centering - % \includegraphics[width=5in]{edge_vs_hyperedge.png} - % TIP: Ensure the original image file has approximately the right dimensions - % (if using matplotlib, specify correct figure size) so that the image is not rescaled too brutally. - \caption{ - example graph of boolean network showcasing grouping of specific nodes. - } - -\end{figure*} - % The list of references is provided as `references.bib` \bibliographystyle{unsrt}