From d97471b574721396f72ed81d6facac4718d34802 Mon Sep 17 00:00:00 2001 From: Paul Brinkmeier Date: Mon, 12 Jun 2023 18:06:57 +0200 Subject: [PATCH] Add some more stuff --- doc/research/research.pdf | Bin 609073 -> 610210 bytes doc/research/research.tex | 9 ++++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/research/research.pdf b/doc/research/research.pdf index c5ccf627a4f43d4cd22591f633855dd08aaae95e..3dc6311bc438fdd7b6d0f1773992bebbf9aaeb86 100644 GIT binary patch delta 28277 zcmV)gK%~F1mL;N}B@rc1L`E$!E;R}z(A34)3O6y45fcMBF*cV`_y#C{tyt@i(?$^g zet(5ksj4I4#ryEuMye`70f9sd+_hB&d@#a)Giw_rnFCRXWalkptlSEhviX}n>k;qt<3li{pA=0oIYuF4j9(Psq zd1ETm;r@VY##0R&B$HgyhL>Ywh*`u!(lJT~TrsJ%JtpExvp7qGNC}q58SUeXh;xyI zPp^lrC{10DbOEk<7sa=RHyu|-ZcUhUM2S`?7Z`}Gj{ej_WJNJW0YH}ffi1rz2?b^XqO^?CjI^4AVKnvAoy8uiB5C*^iybSdXt(0wD7c0})Er5o) z0G}gFxB$2;iRpdJ6&%x;64ux$Ya*vz#1p^+|7LT313jgG0{vQg%J_SF@p`gFq_W(@ zdehS?DOlC+lN9%KupA8Q>{?FnfTiVvhZU?#gof!1xrNsH>M!F&U9GDUSJpP$A-Skn zkhUczluGjOJ(mjnR$@YZCeqNZ3;?$K4nB2k4MOs!_-vDmsN`*>atpnwjjXD zt_3_iEc!Ee?bq#CFa0RtV&HbrhXq!Oz%olbPbJ|m#!W|{OKo}wqpJzHs-~>RrTefG zN4s%fn`&Yr61Fx9B(J(>F8RvQ>Y!F1VD5ad0BTU{!r zf{Nk0WdrX9UwT(R)`cr(cEALJv4BOEa-fygtqkL)bwz8{QqM#2SdeT5)1hH2ba@Ih zCl?>w>nl@G*^Wrv!+4IJFWqBbH7g3upNkBJud!ME&>seMtjGQ#4LarVit~`1cnGF= zmP_e<^mN9FIK?HNVOoQ+)VRc6RfM2_#>0h{pT9BRN!va2TW{gP%+@7Y0P%3=V8MAelg7cws2_T^@)x~u&RIRfLFDLHOpnUtNDbUyj z9?ZCx>zqlMo^o#rM(+lRIT^Rwjo_!fsS}pu`rZb9w>Mv-?^>M6Bn+ZBFa8gIH;cQE z`x&om(|DaK`TjP^ge&#RIG3hoDKr$-}JrQ1c&n8 zO!x1$lV0b0URY(AoSjuc<*49))xFDbqtAJ)6<|xJN@oF_9vu;DBx=SvPtqOH#vxDA zBmjrzaUv!Z!8E*NL5UkZF-kQ{bC5yu_T-G^Ib7xUM?@J6)hS|RugjiRPSoC0LFUZ< z<5OnTL4mh5uO~Eb-;oQB90iir2e$1L0lz-BA)CMf5v{aDP-tNO7Et(qeA!3kf}KXI zD2?8~Nd5Dt^B1q)@iZ!uBI8+feiboMBwA*XPP2sZB06727x8=3n69kr?v+@R zGhUk7e=Lcz?QOHdSD@O@DHEnM%?b1wY*|wm^L1MewrzU)w9u^M8|>58H-5B^hqdwD z>#`qgMLffV+j@J#;{N2z`OhG>n25b#GAX2lCrb*YNbI-1<8*yGDPUD8b$EHQ5JJQ^ zwy)aW4k*$08Rjxe1ibk{pHt3e7^_62@_=zae{`mw6IX~treeoYh#8JWA~Xwq%4Rw8 zEJ1lQQtBkj`Hm;kGdyLI%2CSXWFe)DFPQ#=Qb?#<^fE`X8`D>1ZO~4N#h2TG8p`F;;_A_9ameU}*a)_? z{Q|`WiOA71l58lO3MWC`we-9KM=e1z79(qLtfjeXyG_^v*yVGoQj@Hl6~M06?Jw+l zy&VQz$oG?6I9K9D>{ecO8$V0g!D!}&fAaVZ*}!klbrnveANpyRza5X8pzB{$KooGqrX#ye6-lE(+wMMZwF`IIa4H z>DYUx-)gQ)2WI=`H2rAF`4a^H7e>WbXJGtg+4GeFmu@vG{l59e|!g?olt;4z;=&iq|PL;i)%`zLCZAJNHKZejZ?&Pgq_6Y?r zDIyxl(FEYa93map#D^sUq-I>jf4{FyTemCZsg+kMynHMN(?J&M>GQ0zhBhmFv{&?` z5CJc5Pe0BCP24qkBD`~7WM914#^o@yk;_WXhA>@cS79Y%)UMjPE?1_ZPNX=mC+hHl z9x$?h>Aj&P((M>+Wqb=kf~Z%dvuf-8r46jtAd5jm_J%xXPW$gWQx3t=e{QU~4eVh! z$+7DI){v_$c&2yd3-#sRZIvcz%Kk){zu>7;Fa&Jd4?Vq-g~T)>i#=T6`#FokbE@wg zH`cZqa1HcLOFP0UzB48UX9Sso5@!SFJBu12{jg^ZG8asJ34sqS(HQS&<^0~cYP&IW zQ^&jat@E3!eFvq*ygh$`f5;<^SS0d1(EypG=7|(6sx~jaMj-n8$jSdAg^iJ`=r%$! z{C#qNjr%|FV6c7iT!U+{JbRGC*WEx+J0c~CV_1@+Z@GWd_i7XE^ZPU%KMp6k&USsF zHBr!`b0Wwh2XJ!xU^5pn@5%${1O6DSA3V4AS5Fj~n zJ3bDDUZIoQljhqse+2fIbAe&C2ae0i0YE&o0HU1fesiKSXxf^7FCa{|-=P5H$)VNj zV^qhd`TfW9gh@5oOZV=-G|`2I5PrMc1iwRHNaJXKA;4WA6e!MwbN(4}eK$G7)#nAf ziweOeBj;SGEa7>9KKlUiY=6~9rdC2hU$l7!J`Ga_Q}0D;e>(Z2G75Qb@n7uXxQ<%_L-|}2Ax2D7Z_W^A<5&9V|F4- za-kmL2D>QBb|=Jx)TXAXji)lvO73I-f8VDr2ELV!$M0W#eou=@T2DPf)tJ^T5h$s_ z%Mx~y%h|ZEf2Mgm#gy-G9gB(BjYlnLBOHdT?YDpf;LA4SQKzkMW{-BRGVvn_uI$=v z0QBTLuik-fvZT-=cRIje2M2YqE%TGG*+PXbT%Ze`29F14nQ{(0e9BThhUIVWPI;}e=Ow-2=lov@`IEwe;Md8FZeX)OOEDG^J&f>X?r<; zr0(VXkvcQYj6lzr^hZhlcS#=)bTWS+>HALpux$r3>D+?d~qko>>P*B}?a+Nx+^*%&0d;2={E(Bfdp5 zA`P!C7E9v|-HfWBUN4~&2TVHNd<|)7#1?SkjcoGN} zIZqHoA_&%hf#Ap2y#O6(mK|VVm82?XQv?k0SaPnX0638L@NXdQ!QVhUn&4QDe`kcg zL5c^EuVn1MgnYRYNuH_uk#Fckw}f_h7=upO&S6k5|FdFH2yd_u$@d}XF}1#v`TzhG zkfc*j9C7AD#79F3U~e}_ga8|&x7E?6!CftbO?-Rm>QMlKT@uqAhw;fdK z!QA(afC=6-pYML-5ZZIsKJsY~UT(#F!q)fw+0*SO%Abog46sKW$f1)~OFjQmg zYK?peet59-T#iBBU8I0%Hntwx#+GxxkxZd8 zhIglj!XYbstlV#<=;9ti2l&Q74HMwz*|`nm**XlCgB*g*6cqq1ZM=(?c-b6&FtF{e z%E}zv%j#l?0My%13f#l-1wmBs08m&rYIi)@MHX~`_!MD`a?YKJs{CfoOVy%j#261Rj2(@Cu0RE4;T?(Zk&zqX zGAKx#g5A@T3q}LX5M>E5VF6~6qYPqhnduZ{2@gM?&brG}XXP*MaV}^3n%FqL4CRc2 zHjFajlzkyM-V@nLiCw{gW&T|1u54rhPI4BWZaQ7-N}I@<{j4kNLMpc@eBevBeb9|t zTte8Nyu4cKMs}-z%FBO=dF*_G6?Qb~&%{pHebg$^w$exb$%PtFA(SeW+0n4=Ei#*t zMfOZ95KY6far?Pw%Y|E7RDrTT)*t~K_0{!9pGkU;o(pi~!WCh768?$^pO;Ft&I;+R zm`Np#?S^JT1UYu`u}rOF61Cq~0Ne^t4W4$QliJfQ>VdC+TY2}-udjBm8PEi@JNBDf zfpt zx(4)9lwscv7{dOd^Oc5lFPsV+83^7+iN;Y3JSzbZwbAnMAu*yo^cf;v(egqlZ*30j%%_-! zE0g=DMdOd3YEj9;V`>2@Xv(hKO?@XTPZ6~*fp#s5^1nkpd4+@ToGr5TFeQvxi_Ftr z@0OML$5wdjIXd_3gVD;l@|>M^PiWEwz@YPFNR~f;w{BYXUAgx9Hm$6e$9nql-qF5o z`M-aJTl=2olB1wdr11rZ4J<|HUWRZ|KFYQmnnj^D3**XO8%THBz@qGgRIRV>5-t7v z>JH=kx9w|vgPPkwdbn+T%XPUs1T_u6xt?KLylA0FA^!&6(~O3PUZkFc`~HRF`!~h# zb))BhV(wl(G^};!7TwCu6W~{CGvTTFc;P~mYUHCk^RRAoJ2=YxbnyOm7^i5OLI35@ zWH2HLwL@6|27d^w)e~rPdB%h9fg!`^#(rx1y`A|olw#N+oTV>n__`H@I-!Wgc7%gj z4ivcm@w%vjU41uW`9a*-HQVwUb2xA`)&!P+XP9{#o;!xuLypZ*nV=+PNfyBE(E(8z zVuCQnJROMeen(l(Qy#$N2_YpT3PA}hvY;@6JrR7zgv8jX8>k#nLUJ=&^*2N*!f}d8 zu(f0$6(gGmA}Bl*KD^=35~FS3W;LSqo*g)U5F*gD+HtEl0|I(xb2Y+&83Gu959~;P zfcO8P;o#>1%fJ~9x-d;q>a-pHJm|T4Cf72RnERqJEq`3Oql(!Vb>Qnyy(fbsH^)l` zDh4w?g8#E66QeXwAwA!>xcw7&Bg_+&@f4Cw5aR^qn(8Q3{gj%R*Ho6{pHQi(=+q$; z|ulTjCT0Xc)n7l+6f0f)#J0*A;K1Bb{L1c%5M1-Hl-25hkb zIg?QrX}6xq2I~s}Hjxn%x1H4nv;+Y;w^G^$>j(ijm*JKODSy3M+j84D5`EWK;Bn?* zDO?)2s?<~^@i?2R&2B1AZOu&L2TG=Gjb+kBNf~>;eovDUCF({crsu%~1vP+!(~Z7B zCLu)-Mv5q`6H1Gygfi$Lp`0)#3grc9E3_2kq|i#ZNJ5kFng;0i7M(%(fF_Cn5u-(j zXpB(Oqs6pJT7O|YrguS*!~)U?;)O7Tu#&NHKvpOUSS$!-wHAb>o%F(Lw4{Z_eBRbD zJs?=j7qt^uQAGz>3gGai13DGlzyY(yqRydpQ8+KO!8kzB)-Zmdop-_;p*?m7F^{o| zwNX9xg7=D3F^sE-_p1T!mS33v;uOqCc6ne<&0TWHpv!ytT z-2$|C42J=+MMU9Q%L){G z57HIv!$$yOu7k9!5hH?TVe(K5y7?Q!E5K#~0R=g<-Vb1tfo;eVS{Q&LHcjjW(*(yB z1O){TRVwZYMzO6yb(q7k`SM0!P*L(m&=aNegMU}A#PC84-xZ$=F+3AL&9d=)QsjyH zS^V2=y z>$_Ea)Cg(csejw(a((L8=k2P^q?OH(?|(R~uN#4Rv(9~cM@6GgETTGgvB!j}l}8;W zWRE(`9lkqtJ=p+#^k5t}@b%Vghfm*e2D6=>)rV~zb*#IG(u+oGqqcdLdyKK=R<@*e zX}WI4b@8$1)SvA+Ph~UVE~N8De$+lYD}jHv2mjURzLL7@K3Dd*yO_4McucQXUi^XVOeg4-ZzZ(qS6y;S` zR?Dc%;XjA(hi~x#z%CircrLzZrxJ<$)RIdK5 zBB!<{iOB5p#dLakP?l<0MV*4DWrl+ONql)o%`Hrf> zug-$z;$zj15;3gaQRl{$41Y{quKH0ts8v5#C)GRP4nLN~_#%Tb0OQ%Y7=F$k=i9cv zbQ%i?L8=Hm?KLG^b!m3E0m(QggNLltZcER7w9Oi=p%y`Dk`s(+ZVDngMK%m5Rr zQmaE^WH=0Fe48$=ZWrZ5OWh+LWmN*3CMbv^pF)$6;Tr~@L}?GhncZgPeVT(D`y4QA ziW^`kBwlI0=zy8<{RsS$CZK~KF@7(a>&eZc1U>1)M)lAuHHa(K6~>Yp@-8`MH4lr& zyEMOIpRW4{1BOBjYkx2nkw&Q_dYZyFmQa)L9gFb@zwRB%ENu&VDOI#MDS{gZ~k@SPD0bCZzK2} z3m@B{fm0*?-Jt^w6je;GfW`EP#khojk5CAJ5k7=tk>sBa5Uq_m5)toUw>NzUA!BUf zJpXb8G;oQAn31}UfNwpF=4MhNlTtDEXfy^jsHY7u2!DxQnr<-n=`@`^O!9QrZ<=YG zM%;>PKpt_-Qa7N#CKK&xvRp1Zewh3FZ*XG6cO-Xh;SOusC(Jj)ZBU4pw?aDqc{ zhv4o`u;5Ox;QH8d&fe$#U-e#fRreZG#+tgSDM*x58H7#kjX@Ijb}kIej6fcMsJw_4 zGY|j-vN8gJEbtT*YL+fGp#R9>DKtP%&X)FeJpZx~bpjc=yvxLlT;2_Tx?*2M;qR4-g1o0Rp-IV`%Th0}wNEvor&$5HWG+BM4{*1Cbg=-afSf^2ZXi>@A1MPAjBG)Fr^X0R0Z_BBbpA`BYH#M^ zZsY_4ybEkBO+a?e?=G%(rXVN4`|SW#X*qzR1IX?#W4XT!=mCEh2f)n8{9n4iz5gJx zwENT9$i&3n*1^cm)6&iyU}k9p0w_wzF}irT&;yL@O#d)6vT?S5fA=?XGqSWXGJZGs zGjt<>gs?Ke=sm-~^K&+FvUG59W^}f+`6EZBKWN^|EN*8iYHw=`vU72U|06yzODB-Y zd)+;m{%)?doxQuA_kWO?rJbqSA8DAnIxwl*SvtCcq{aTWc^AR|BQpoN0N8;*ASVYG z0OSY&d6-x*{c(YRnx_NkPbKpo;`bbUy&dcw0A}xLfP5{@K<_{B-p)pDAb^XLE6CUT z--`c5@XX8rQ%e&UfHBD2(hmL~_IEMJ>@WP@e1fDZ6|{Fnj2KR*9G>Ag>wslAg34>jK$?Z<2qGVox)jhQWK;>AUMAGE53hb=Kz% zr(5BakzUlb9dYU#p%vm6?~~RBn6S1a<@P6kpJ#&vm6^SE_#e|B2d4^8gzEIceK$3qwQl=rJSWD%arXBlGDqjdvI z<|*=xvlnnkpD&lyIDa%NY1G1LV3e z$h&jhO){NqG)$%x0F+e3^|0O{6s3}8NmXPcr3Tpqmi`YfWQ3}TTHvO1-+PFbo*$rpnJSECB;`J&n1THyTTxK_I6I-5?<=k{;vCaZ z=&dvGmd{vx$6y6%73NdyVypX;rys$C3tMUO$yll3FzNi)OHo(6#fVO04dxA2&@`$+ zCwKVHv0>P}nU9Phn9{VGnW_3K*La`)m9or0j zreUMTxwU=&MYc59Mw@H4;lzcHdoFT(ew4(TUqUL~<&3z^(Uo9(94)q#1HMe=eeAY! ztD2z+IoETpbyOjJnXVoRA$yL02c2~jHm5wie9)HlSCYC&aFWR6yAziwsC)Xti@!O; zsNi=}7N9X#;|MD!LuW7pYc$$xU{-fcQH|*A+HH?n2oymQN#5T6i%8@A!e+ zr~}5}Cl%$fgjh4TB$-Bg(Swkib>xUk3!^xJk5@&Pc7bIkZ;nDOqM|H+F%#D#F6jmA z3~HH_@Cs+=qM!h2Mb6i3Y?ss25qDnNnZ0luc7!ej2?-<-&D}@l5LF_Q*8zw^7TU&B zeCYWJL;Pqi9u3V#kdV$WzVhnA@MtP+)WqQ(%BcaGbx0 zj8vxd(Wt*X%VArgk&Thqy8mQpCu_GGbJ`;JiF%t+L;ocQlbobC?OmZ&V)*vRHoz#E z;*QZ&xx4D4bk8DkY`)gu{@d8PTcRch0U=PKvc$}aH`Y{;EZ&BHl#b)Hg0R;dVn5FN z;RcQN;pf?}G~5{k40=`NU1XNx_JXHMN~%)3Z@9XKb$ZHC!9hHS$lL3!y&N{Uc0gn9 zP+Pr@i%a?wrj^nn-B08kcsg`}>f(`PgDuhW`HH91NK z-s&HT^gV{*Y%kR6N(K5If5I@hEgMU0c*TN!!Z4xeM)9M@Bw2x%aa(dmM)6G_;&xng z-=E&}-pS(#MX#E4o=ifM56*zQr&MO>bNGBf6+s!9Ax~L<$Jv0^ik9l4z3~L4>qO}9 z!=55v(!x$!|CzS48l{Wybmf?@CVDbOEH=8HzFqFOnH61f!s%$|_pUMU+mqapY*G(k z@0|r1WW|Q7j?jwl*5NYgVi5d@sdR!kEgU_-s%u|wf545g$Hk)+7OM>IJkeUb=aWrA zb+NB$7$XCJNCx4ce&|LtJ_W|Vn4h>zcIRWG7?PD;wKSDJmEyhDS~GiE*oIuONPL=uBrj!FJJ9XS;pqp5K7h+9sS}SkZ#(W-f^t*MU-Y1$x zD5vF{4_s8|Z2}vcoKm@Y?S|m}u`nI}RQ*jfXio5L+fB2v^|_KGi`5WC1(4c)nW6`2 z@KNfFP)OoYqU~F(xgUHNEkJgu{UzJt7zvdm4}qf3Iv(Q_9#wX|qK;&ZWNMaejHuU^ z_nJ$8OqZ5>v_XQhhASgE`TeNNFZgf1N9MefT?ut4l}SQ{-=hTsu#u!)+*1w{-EkpXpnP7B>NNEo3Yji>BZ z!p#QZ)&3U2wsdD3hyt+Vq9GK^KHf0a8(PkRdE+~uP^UKEyZQ0(le*AQktHpv^`#JJ z)ytUm18@gn?1lkHO{2!UqZ;nsKZ~q*eb0Zc_c)h)|Rc4fu?E@be4dbAJA*d#4+K#;(5qE$yDI#|<^; zu9D!2Uw3e{hUDQjuTP{Y$CxW%x^+eiX)!~-tmb<|^f&Y$CEMth@D8z?=}|O)Lr&*q zh&(BuAoMQ9eSzWQ^*5!j)}P}j+B3_hSL$|{EcLmlvhGmfYU6CYCK9kj2!{@D zss#b`yMpVpvK3|v2!z^eEYJ_L4XbrTB*Hp>(#uiI+o}^}bsSe;X;u zM6b{$X)rKka9Xihj-x$qcLe{OiIcNSu-x_|GT#LeN=_8qd={R^&R7O6{86s0-!Tp^ zdC2L&ie0~-8?szMMWbGS2Ib%zCkSivD&DS+;&f}O2IJFUitDh;qJJvUDpWW&+h9x7 z4xb~bri+L!Z@zHp{Rh40uU|h9)!pEm;f%O@diqFV=6fH9s{4K9v*{W)dX>K<{E&_a z))|0y=DfPp`ePHtV5X!0X>vh8Vlt{fEz&JfIc&rVCHEB#4jW3WjVxTzx2etd;6_(I z3SBKHy4#*INmoj^$^{XJnM&~B8O7)!I=eiWOZmA=y)?ylSyy@wFWiYZd-QP>TgDt8 zF}r(3O2{6grGjY4wEFmez0@0q+pvmj6AL9SYP)|$ z0$q$!?(?{h!NM!!NM&B4o6+&6>RuWzr#i*BH813j9HNMb;hBqdp)Z_x?;c8HfNr>y z3ew;NsYJ%{FD=xXFrPKgsdHDqJ!LeD3hOR6HVv4$!aQ)SBXn8Kw#jU+%hF{3URI1) z@F%o|PtW>)KN1*zDJ)a_rW5)iEF>}hPSCWhz%nYF4aVmOcMmENB&fji8_&{)WUB<6 zoi&~-piT&Q@cu*|fiLk3&oW`klRBKLpd*SMrx39{YGUA=M*Ntg`i15EC6xAZKsAeKh8Kz~_|bf5@8U#C9H;wrj-u zJdN5kQ|`{f_7im}q}!Cq_)N@Cho<@g#+IQ%h2URuDZrB@`>@+Etvcx`!OlLa zQ%(Zdpyh7BO zMYNHVUN$=yWg$lpcCvkPiY9MAC7kUi;v@1JGZ}cVeOpCpYcn>MG_jURw$j~y55I_J zX291YSfi`YyZS`~Y%f?N9E5YpG**O)#VbZwfPNz+eS6QB82!A8SxRn7F(5M{5EmW^Y_c( z;_DXLiSJ2gZTf1}y2p|o_L(Ao1)Q5xVe*39%P(HPw=`reEw(_c|3MxwpixgaZsKQe35b9YR=$5)_*GZc@*n0-h*Ep^n2#47bM zd%@8{1h9M;2Y_Q2))e=(aVmiLTQ^(r_Uo zR+@hJJOpqB&O;f_dSa;gEoRQLy+zpuFIsV4oQ;Rk2^=&-dkSYFj1d(rxQir?Cwul!Z{M0EP*$ILq26Q@c%G=CZZvKN$tOBxr?o{D_x=~%qP@xxRc3W!*MHEjd5fSh89hZq&6y9c7mQC z2vl&EW4~Djn>R1gYoAkeEy2%#7;SR5U^U%^7B!iH)58;eLi0!^z zLtEHFD3vkU<{6<=CF%-lho%Ok9Xc45Y(SBo4m;~nrd6+Q>t$L0{?)76Ab0M0`qSXm z>V7O;WvPjO?|cVvHQu@a>%`Pt(Sx074%4&dNx1V<_A5PBe6KwwyQ<nQSf!whkrY zQYFs*waEZt9`1)LUcOAzR$^4BzPgR=LE&YpBRT>uAx}?b)f3lIwDaUCEw9%c+oNSx zkEQDfOIebbZ_ch!(}|{0^~?NDIHI*$g1>D#f>OqRHT*SAJ=a&+Wl-YlXAZ5`PJkyf z_Xw(O?G~!*vaP!@G%Z*k0*C^Z9?S6}QW|YqjJKRG@M~VZ!B2Rky&DWE0jdtK3-gF| z;05UkRiA#Emp}?|m)%WI08rPQCd^2Jc)l)Sxo_Gb6R+^1w59-#goGbu;l2o($M!-g zBshkD9;ZREfz@%L()7ov6-~emn1FSoua~B)sJ2eYj!y8LShIcojk%@@o9esF%gUF! zdOX_5cbo=LRo91@jEb{&xJGSwGb3de5{`l^*uOM(#5@MqBe?Cg)_1jys z`Bz)N%`b*^+APtBThrk_Q6HwgcZFq4(v(&13lSadOsRjOtY&#;Ts7a?i%l4+mCJ~K z#zC$9mJ0JyF%~ zs~um*(S?+$=oDDrn-5Ht#Jpi*1-Ff!MeLZ!$ zJ6*o?sp8>jM%DPB5HF(Gqwa+~vL30pYgm45>;B|_3HhV4 zZnH}-$yW{t>uA3vv-E2Ska4|yzKP4WyRIQBA`)08cktvf!R%~MR*6fk%QCv7z1ykH zIJX8bDR{TOjURXn!pn|saBXVhIzmEW-E>HO=0X#5q)!^`q`Y58(P5QGyxww#?sr*a z!k8-WX;DMuJvd8zYC;j^#Y)zH6BDa-1+GKDd_`O+RDRas_X>C&EmF#-l@(QYOtj7e zOAgv0o5B=4ux_nEK%$X{yZrSeNuWYhGo&evL`q#*>DS7IJM8MvSm1-yCdhtXgZoB*u0!MeqF~CG zO%_`{y?LZwAwN&eHH}1+VJzOId?JOu2aW2&*lWgdfOoo>-=~f_{*$#Fm*42Cew)7^ zDvs!m-plXZ(g0$XS!_}}Sa8wO9fR;42^p@Lm%f+r5f<<3u3{Y%R5a$GXsjVPGjOeu zh*q!^^nxw#u5X9ZDqoqK}?5ytatwY7HwF(G4EyfFN!9k4@xU6eA#W@Dl zTsb^Eh8~_8+T{4T2~W^a>yhRX^Gye9nV&C>rIdBPVNRD3U6Rz<2drlzkb+UO*FVX49M`ZCUsMA1NZr zcqh%*CKQ|>s6&&StZO&tvir`Ie}hxyGAB6g1h5g552edqi&g4ZJbphYmncaF+x8Ul z62~VDwa-t>Q$I9+t$Kpx{v_fg*rKWq!L`=P)DD*45US_5ja-tCRwyd1uzBc^zWHU= zFnaHdgyxM)`?97Qx^s`2I96-8)_}E=#qW8hLHFxW_wk{Bb_e{Oo6yN-`StS*0@lsj zFIt7s9s*nZQ@V`g^26#Hw`N1X0waVXn%kUxp6Y}(FsrFjg3r#(UKW$RgHB_xs5sfG zJs6=qnPFsXr;4U4O`Pwk4F<-;NopK+*%#0e6O6(HzPzxl*~J(diR{*i?OTP2`T<(q zf(EmT5yW19L{0@@tAN2wQ@qFumbKsV4`<_K#YdCyUdxgKJD!N3jgPDWlk8JKSBe6L>7R&Z%C%%UI61`m`CLBX)x(r2{OL zg!`b#y+HBNgD?|IxsMo?){o!149rNvIKke0j%t&bYIC3zGjnfHMUc6QIGaI=; zW^Wi;#rPQXi8jX(B5?|}HKJZiY9+sV$j=j=FeRfki(@{^@AKrg)>D43MTc;!Tv^3( z9l-wX#lFo|Y3RV80d2%j9=Ewna_Gi1b;Alb18{>*!qvoS9omaW>7;odl4>VgH&%VA zJPAmDIaQ=X%1NKe+Y|ExaGb=CjOCi(fP;fu^ug)bswXnqz1px^wMgBfBQ9Ny{4Rxk zV{~6Z-))kAtj4x&G`1TyX&S4s?VQ+VW81cE+cq1cy}9do?tMSL-}avQt(jTp!)s90fGXhzlEgY^#_$&q`$T;j_Jl%c$O$a*OwU`6uo=4<{I!c67K=-aHLq>?P- zH$Jh+?^J2~YBW1v#eAufzoFZtVl!}U=UO0+rW<1Y3#6?r)X?~&Ei#<<>LS7wNSUr? z(lsd4!IzX7U-SU-nIkAzwOS{gOf7Hb|DBMy_q;-7GWC%ryHL*4C$-n9jMkc2$}*qw z2NgXq6|m|9bwZPl682m46*k4mAxGu(SGPAMd&=di4rWEn(G5Ck*p}<%&jyd=Wd;zu z=HJ!vFkEH1gkjpq!6`Ykb&cr6K27*;9&jshC%%SnXnPs-{tLR=_hpYQkEQx46+DMw zUt6X~;Qc~XP~7(h($23dR={!yj#$qEsc(v<0fYUwUw5uhF(E9lI!|*{ZD<&M<4{}X zU&XSo75cPMb8C{l`4OwSOr`%-k+KJRR6MkP^M6aIpUEc(1EHS`ttwNVMR5f!cC8P_ z&N`HKKG)|k>&Q+;qu1@VeYk30b!DbXK85uef2g{OCb#;wlB0RhC4Q5}K}!2Fy`)50 z3*>4yaZv6bTNida7qAS~mpU#0n48+OD#HDpX3Oss5fJ^@b8$@)C$N6U!W*n{P&kIM zk)l8JiFmTNw(@(+^M745z98{ih#I_B9a!xS=d-Fq4*{$PZto-^1ReOp-` z3Ws~_do9)}0%G;ouB|-qj%GMv#Mq2)=}6r{FA?B$w8mf~XU~#+bJZGAIl++9A*&I+c#0i30TjqK ziOtA#+=G6+AKceS#7`-gBoP2h<}6)KsID z!!q8||6QqWrai5k(lv@SJPj%rGhbeqfQ397R7krj*64MOExtt90$6fX2?GVr=S$KYR32STUpmB#UMqJdm!)04Jx?9r z+VAvL0QPdNbtOT+q+Pg$s1rHSBAE`C@X(8q&JO;js(Z&%(R7*2y zxpxEB+Agb8M-&k7=V8!c*#OCp6QGt>(I2mZVKZG?QA_6eX9^Ru{$%PZ2yDcAA9$rz zhh@#Vg*(TQ?htp=X59VBfNRN6U5rySEc&^~A!W7q#fNbX_}D2BB%%Z%y(2}stc4`y zE23dMye^(2UxzCG3Vox!7guO9Jz#fMS7@YSs69ICkN5wAvW_uKA=V*65yq0IuS|OW zerh?CI43R8N5@4q$p@1Ja=E_ z)h$z+j>c~tEM24UtxFf@7++?wY$>q40v8IsHq>X%<@e<2U@OusZjbRwv7F~nh5@5%;ic=F@2`#F~cg;0Lh&svp7Cb zcYSSz#yVCVYSKL zrrme8(x6*r2Iwq(HOHZU;-l|sm8;@rk>q*YY{7$*_Fm^I=MZ^= zD0SjH-KQ2>o@ewl)EBW!jCOBM38yGfI$x~V%0PaH)2;k~lIuv{9fk_U<8b{t?VLRlAB!I@RY+k2M{ zJfcKlimb+rXejH9b`vQO!vfZ;+;@%RObyCi{MFf6*P^~V7ccHt$@m1Y?nW{&SEy+E zVbub;X~!tJp*1>Xw)AV5-|KD`7HAv>m(LSlfOe>lltyw^LP=x}8vHd!9uruGnA6!8 zYZqtNEx!f{XCpB^&HZ_|e*s@^>$O5D^okbwE1q$s7O0(SErtu`-!&Ki{P@7nFwGQE z7&fXQXZb*bNMi*%X6OG6e}~}dbzXTtpKH&D!#a)3%N@`oSDQK=(ZKl@v>A84TvAG5 z2%vt^MO)V21vO)pEI%k4?y|5ZUKcaBv47{l6k*YOI!nYb^*+JgyP>41C*+X%6J&p+ zts~tjg64piZcKvzV^99;d`6j|rjf7iw4Y($x>BuW-lQYg>*YkVNgJN*FRXgwwXU!^!t2~ZJOAtqady0kkWQwddn$^ARti5lm|G}yv<}Z9W zvbjBiYj(y986YDXmbzd?{*z99k9qO&!Oz%T38TvU*ZNj!e~?NX+?c$I0s!>_uZ(hw z`o}{3%zO~$x0tq};qevDyei?(%bXp)>1>U(FSsBE^`}hwn|}JReUmL*fXt*5h}Tcv`!Uq z4Z0O7F@$uPkE@H(prg^gX?d>;^bpn=q(31LuG`%bucq?TMam^8o6(p$eqmlnbrbjT z;zi;%vjQ*3!3cwVuUyjt)txwG6%;?OJD5cj&^LVaZC7}1Bl4ox8OW=QArp|Fw0(2- z!I_8dNjlSVp`1TCU*-8)vhVzzZdw@B_>-T4OG1?O&+pb>c^}mctW>d5R&q*i^|{{_ zHcDy}74`)p9C#S2Jr8ZP7aC_};VZ9-NF**QRC{KA@B;zMy&3xR#ryYsoA;& z|Mf;Sl0imT!!(9)ZyI=uM55iLg;9Ab9n!=qit3O~q0-nj!&1a7s|4E1gX5;2+4 zC&o(!ddGpEJiyi;a5#p=94)7Io!DoZ#J+salh$96)tRNg&M1w+rDj~l=<2ld! zsU672#6?UqF)KEr>N2r-g;6k>qJ^^$V2H5(SsFlkoTcqWF7_eHS{J zvFk4=IiLIA4@w*m55GauPDEtcw8EXYa16%d`tlnLS`jd?Jm7))Fr9o{=*%aO|t@8T_;R`P4X;?4OSKR5n z-ixjcy7lg5e%!TNi@$0sRuL=9?1;Mi%R1Hk9PrABmC-G~wk62M3&FK6r{(GGk? z2J)qS1Sq26*L|l4H#W5@GTG2iK-;<$XC&DfHh)pMDLzL0atEh4iLRz6doiecHV8F| zJ2ry`6v6Y0Q1r{P=-B6vtzLpS;`-6KcefVm+XykskmOYPIO3N2Va7^=_T%0NAPQdC z1`34-xb`=teMiLf5#?W;hYu#UGqAbg0RHjun5EJ1m`1V(af)$vS`pQMfhb`?a8kko z&rd8Zml}mMA)6q?B)aLCuXPGsk&E!=R_&RrUU^-THfF>Gw;NPdZ-GkHXg*a1;;SjV zzq&68DAaEbNFq7?q?qh{`cy?0R0cW8RsU-KuUsJkY5o1BZIiUC+a$utSF z4MIpjy`RV?6_Yg~Zraico@W;(Dl=2NWAU%}UmD*~`wqS6&~6(>nh$y0xZml}xeWT$ zI!wl=;xmAn9!|IK%X};*z9q@7txce#Z%k0Y7xZ*q*;`FIdhvP$5Gl@1kPJD0@@Fw@>4K>Q6U|L|jf zmAv@%^tG)xrx~(Am{NVIzUq=acDx%d6W_WPdG-+1dVD5~*bo)O)q;q0z$zT61M}r? zZ?C(;a1m=$>riq!SZk(DXE<7B(aFdZadlFkB>yd8VhJ%t2Nrm(TE}>Cggng&0D%U+ePJx zdVHVtoA!O5SV83J^fM1>ya=&)`6&(@Oq9?r%a91u>l8Tj=6OX*ogy6Idq?sWS5vY6?BPx6anIjnrN!b4$Jg}(N5O7y zPs(ESZmD6j8zeKamyBY+lE-?UwH*1lG7FjCGV!*8J^t6&r+*u?NK@#QMmjyb_Wr0c zk1LGPFW{&??__1jmj~|_xxejWlg6?T$^&y8^0E!LfMj8*h#`!x&*spu# zJ~|nfFlHMnzpnU(2ex8VVOXsQC!>&??A>?sRn+ph@hwK?Up7$LL z!n?YM&e91tl+RUCHBm1h$&-x;4-?xu)ZZK;Q*zOjB`ltT^)4@bBhf6B>w?&9NmZj0 z-@N85JK7-Eva<|5^|r7T#R^(++lMtdz0(=;ua4OZ%)l^RX{OCGKKq+^5ezwZycEZw z!6~~Bj2g~V+X9c{Qvz1=MN2O>WtaJebzLnd%75IVJj$Vz?NYL@Ebh(73=*RCYG!Z4 zU31wETaWZf;sypbp5dbTApyOh%Pgr;G_?B?RtAboS$lzKweaLM3MnB%^TPCl^>_@P zM1tL71It=lQ26=>!kt%ha5c8r^Sy}9)3+G_tESuaTTT-Oto-=_=D=#MN>}z~SbXnh zI3H1>6|g`O6C4>77I|6aj4Ax&%U0FM6L!_9r>R3v8SVi#$fkVW4Z%lolVpUTSa>Hk zi8J0e6w3Tt8`Rr=yYzbVlOA%kYt&_wz5js5NqzHcqEIQ_+k}}y$U(sqBQ&LhuJR+0 zxaf08#ZUvNGQi|9{7wxGS*{ppB2V!DqFXbP#`}imO+}4P@{^tU7ZzNjDsZIsh|qR# zem1~2_>3Ifi(oI4QK~Z_rYCk7%*2FubH3}d6|!rQO5R>I?uDjPcmofm%Hb)>-a@x_ z-*`(d(=uP(C{SCO6ElVCAWG%rO7ZM+=)eehyfSZ>A54dsp+uDT zo=%6h_ZjHjq@J|8=tAXqz7xH24*C5P`03fc3X42UdWp1XlO&g(ctefzR9!6$;)GyhZXJ7*u)U^o=_uq_!fG3OJQI zgwo$-Gk#0uUbxd2(W(jQqr}_9c&(6Fg45Uj<2}XV#%P|B<{IGVpZj|)V-g43q?zV5 z5Ovl*MkSZp5ZxGhc9t`EBYF$KOVz&SW+}k$`l zsUgX=?VTt$bku99>yaOoGvwAFH!ZJ7?(Gs zVjK6(Cw#9*3ow^8#piF7SrL`*Uw6~HL7QtG*VfO8jH>hg&S7sfE_Oe!mH z-}B+SaIkuVETqO~R{U?m_8t<>DSn>Qeh5StyXOcE7VR{7KG0XD#71t0*0QJf1a(h^ zO!@ChwCi4T?tY&_pYI6!kk=7ZHx~COdfN}*JQg38o&hkt@=3SpT9n*HlxY>87a)nPH3q2^(-bW?miU@@CpSYdT2QwowlA)Pv` zDtU@p-Dhp02P`r{3d7qcY)OXA#!tyXg+psLuY(-^gu-vI`dBH9L~s}>XBcn| z&1PtD)(|QBq;QzcpPUqwl1T9hNpRpmpp;Q+IE-d)e7FaQl)rSJP?+fd7A!D*LT6Gq z5>N^{+vhM_)Nm5bR}^p?5a3)Xxu~C=+ti<(;M`60a0{T%e1p$6^yU*LIC>B`&wmIt z8yq|c;xkkkb|0GN3pdaIbK8+{uyb(yC%my!OUrRxvd-tYy2q$Ni|WXyRMt9)QZ5>u zZ%R{kZ>10>)SrUrdqFbx@Kp777h*3d*jT~7z!w5!4-b#F?ydLoNo3P%1D6JNx77eza6+BYL+?c3VOH&t1A7a6uph3$Wdt`}{J_L+?cw69B z6I;+9M;$W2GMo%jj$T4rxs1%CrHMq7hBcNawCCQSklhtc6w zc zM#TjEC;{8aZ?ps9s^;cPDz~u|r~@oeH2#EIKZ7g+PM2u4sWG^6%)y$;GxF&&z;W5q z`kKj0b?sEINBNYbHEP3Q}G%#RH62PbBLmY;#h_wPU*f$y_TGogHKGFXfXU6m9<0;@y<5qVK zOyjADX8Z3g^1drhPd-&yu5V686;;A`Z};Dauk{FGP+u>G8TMFs8;R>54QP61-&id{ z7A+sY)iA{Bi}g`>8^CUTCg%LH41`Ri7Yuy8Mp7g0esQHvP7{|Y>i}k1f8-jqm;TUV zz_jsyGVKM&N7($YQh)529G=JEe$Enbfq=bF@V96RP*IL zrF+6O|Br`8M~FmrCg!2Uhq(rai?)|fiE{e72biWp%7arYnDVdH9Ix-pCgm?Bx=OSZ zbLFod+Jw`BnAcD!R*--di*pn~up3;tnj?x|Si}bI&ner0!%rWcL4$z7l8NN6PA4(c zMW2bObpursMH8doSQ$??1l9r34($3x4>S3Vm{mwtCzY#F#M0f!?HCO{Aypg2jK;a0 zj1M==l8VDDO&ZdWAJ^vD4N9tcAIa|bLKE24yf1r$q%Zz&TJ(TH$At212B;m)B>e>e zZhkltZhtZ>KJ$mz{=vU`#~j-mvznNEE_vm|FU{Ov{;ZepdFLy=RQ&x)v}l_}te02v zv?RL7@zhpjc9QDI(0`Epga%K_0_Glhzb z_pCD`h9uPumOs%SuOX@_vBRT=eCUC6l#ey#h=n~WJ=K_d`PdrN&&*&0q9O`+Jz%v& z{U+z*7<@8N+)JyZ!CtMI=NWLsqL`NedBvAC$hI$u*X#$lvxQUoEOFv4-_B45QsBUm zr(>CgGU-o5VYpO^9#=o&+klF0^)n31o~)# z0&V<-S)x}tge2v}GP1K1)|4^Im1qOLg#B1$(7Bl4i}tqk%4akQPJ|L+2U1RM3N*R2 zdx6E*8h>`cIh+(y7nxHZ+Er1EfA9NWrEQghk4&!73C-)Z_*4i=Opvq^mi?)(7CKCb z{tfEOy5|Jf(Y&8O!WBkGzn4Ay2ZkY4Si#+UgMZ$PD~_r;)KLMJO{3jmWF4~eQVQL- zU|AdV?}%G$yM$_vgZcQHf-t3HD)xy7+;jB9K?k(Jgg3bocV(DZwJBc+FRs*L;Eldu z8q(hZmH=ic%29Lwur)JO44dyrId(&iK5ytW*72Hg!ofQbg{4DUWrwQSJ4~_Rzb0f^ zA#?KYCM`+1pB$Ksl<1lp44M2?I2J32E?vCu#)35|tZ7eLjp4PhDX6UL=%r-|;lI#b zE9=7pQlv{-$k#Uh@L<+P=G-qN5{_k_~c7(&SHw7xEBc6^&7mPD%|6}hfaDO~z1$8@rR@3&E?`4c2I zZr_eA<)JqAE4!6`n%C-rkNCncAm!B2Wkn+bCBA(GIZOV0!pChcLhFH7L zCUbPrvYu!2kVwPK?-ZJv5KJZD<@SVTu0K80P7{q-pS+44VteQU zT((DDiJgLF8NZudqpEtYGK@iC(^$2neJ3Iz{u*MjHKed&G+N4^WyZlRqi8Cmpb~G3 zs{mg)qkX4rZe-S;A|l)u&t2zpB#>wGqH6t%LVd;B=4eKhh+~=4MVf02+Ae#Yii)HU z;!uE){h6gd1cQz)optlx?clmWhO8MHa70@6TUTE5su?`jziBx%D)=sB4yxxQWUdLH zRX}C&^N$HFf-K*Cq<|cw@;dSTl2ohB3d*u2zdYi42#9tE^!ibD_T{GPa`uz%>eN z$=1B9f(x8fZ-gh#E{X}kfN1;fMADN?`z*ZD>tPw=w*Q^6-($+oa<4Cd^;z94O~x5t zK#or^x}HBP^%wm&X-mA-k)SU>gX|`QqHvH)_9RcOA70=GaZ29k&Pzj|6w~d~L^u!{ zNoSm6&29PzjnewQ!KkLZu>^;Z0w?+7P}W~s{*mzWeukClHst;c34t<(by;E3Q4}h! z`9)4Zn8xLOc)LY*Npu~GcU=7|=dh?2D! zG3)hSlQH=c);GN<5ZU4FVejMhKAoUGY+LB-C*#~sgXl;w4@#w8!c@dq0@S@Wz>*#u zlmvAmZ`=_tHUjPnJf3rjwzqnX?E=tJdTXiCVDuQuN8Rq7JorixP=KzAYoI?H75Z?U z0}h^Oq^11mId-r8&fHx)D{*>k{;uM^)=Q&{4qyUkr^mO)$_SF2H59AM2X)*XzekVD z@GzPlit#XGAJ)CA`Y`$1R%k1mvGiN1=d{YBLu+^SEpMNe@?x+B7~iw3o-}z& zunTbFV)?Ul%BQ0iFSxm(dP@jL*1wRxOxH)wI!ymElFIL<1>N=m(wnRfH_ylOYOw3k zm(ghH1S+Vs8y|dKdaau?qz*%vCSBthi&p$K;xTNnYel%7Ww<>Au$QO1m^(sI0Zm3r ze|L`d?rN}$b9;em?0u+QAFZt^dN4t;_kU~?#7i@OO*yre5V=Aw%HCHZtP(>=-sVql z+ktF|x@z4ES%XSoX(a6?sAn+->I(h7AA45-O8Pux(2Xs9tWNg_iemHAVpGs73IgEe z`uLWPt-qVD1C3Y9r8LlOq>nDZbcHMMQTxXdOF;c_u>;S$BqhT8yd_?_f z^M6_PQ{n^P{!!T*xDE}niuW<^T=SN<{9$ZwUm|J{>uh;GJ)Bk?)$H!qoHR#4+T6Xe zuG}=JTx@Lw$eOYCGnx4a?YU1$E@d}=*T>r>1&kk=FSh{Y0LsjBYVzY`<` z6Qtl542T%NysW$a>vDsE&iq$fZc+M^KkS(omY{Oy#*~}N&s$GDIcmjRl{0(#uXgcO zlL3s{{`RzPMwbtAu+GJnt<^sLpQuNC>_@s0W=-ls0D-PYucV&ui-LC&2OkxugpHKD zWnnwo=OGEZ8hE}uXa=&fJKcj~9N*%GzT;S3+fi}aDTMGXAT4O2QgnIg*BP4D=~d>u zibYl14kOS!KRh&P2&i2+@uum-6gSsgJRd<9eY<_ydQxepKm;ZxA$47p!8?Db%e9G< zwY;|gnhWp;zNM@qDYEdqNn`=>aE03;M$==x|tw}95 zNfzbDO>*4fO1`r{H;JCv1!+=`Hwj+(vdrlKLHE1xjS3vrLA>_XP1;oKDM3Ujsr{H1 zguG3dea)m=@KB9Gu@e{$Izbn^@Yci_Yp+g*YXjei(@Xa~7wq+N6)e+j=@;P46GCD~ zF~fC&-am(HK5i1t{5>>`{K0xDrk;O;NxHB)vc~H?-ssY*vh~X#QM+Ty;Dm8KI!yq; zB+!%6+O6GMyL3n{H=-j~&>TdR ze!kq%fnBlfWg+k0sj0AIRVO`ySxQA_6D0RwW_{(chhrm#kdk+2zKiA(Rdjyt{(-6o zF{OM^YACSyT3H&FYO1-OX|BWmU5E`}r@dkCD*j~@gVTs*v}eOQbZqF+z?zF{#vd_$ZGKwkTd4)VuS9-w!Imcf_Apc*XpNwr!1So(>!Vh+2$6 z%?s_+M>FF@C&nP}3-rD}9zV7r9lI~Bu9IVy+G1l4nquxXdAGuZF<-A%t?m!JG$vD| zf{vH5y78k@9%|a!@b^JPE!VIC@FUIyl|E|>Gc6_QuUF*~FKjl&< z+f3d@95J1lLz1qGXRkJ##Kj_jU|GNX^!V+E+p0>V?U?a8$6jly`uw3@4&n%6D{AvT z&qOk7d~z#Pb2%=os?xsxokgE{MvnPSzn9wf zlH*Jd@ocw~<`3tF3x)G$D}U}%yLOm}p?tCfONF5a=a1Yhpv0g{AP)dQ){@usb{G9_ znv8BDrHgqKY zbwrAOaGA!ANm%*zoS8pzFxv)?NISq{Hr3}L{V>+W$_pwcqV#<6@%2WvR~*2p<5vv{ zajKU4n#wjy3DIqbn#%#6K!*q47~_!NmTVH6pbY%roILea&MGD+N#Xj|ElP-R79Q}* z<4FPamiC*p_I&c$P1KJkD{?GS&6H0knkel*VP~7n+fh7mZk5UW49mdTGd3t0ferb@=VoTgh*gR(&= zCN1@4PPht=$}oL$qwRchrc72BPHi2|46(5b3clj}@o!%UH&J+<0vsAna{~xA51U79 zc~6&?Dg+K$zcVlyOH8Ze)Nu+p39ki9sgi_U(ni61ZK;puhjUxLS`q;3_m^|cfYtu_ zxbFi5DcsIiHCmjniGM{y1*=@vPE}ox*Hp@-MgZ^-BlngRKMFW>2==cj9Gq~zu&ivX zUs*Ugxl%ef;qd>5ZF9nr&(Jm*o72(CooL# z!K6s2BL2I4o|I!LI8uOvMF*bwySaxk2^+^}&XPKb7Apxm3F~L0imj~^2^%~2=ldQi z@XRtcCbpmK>wlRzi55Q(kC-TzxFn01sMuH5uVP{>>|8vOU&X|^Shys3*tsPIN&fc| zq|b@|`)UXm%YVKHK$*bv9a97&=q*ox{R_5|xQLyI64Bc$Sg*GjI5q}13ab3K$w=vn zyDz_UbGg|tL4bd$TB4dNE-sFeBo#E%2ch20;whhPTk*62cVNwXGaaN5ByvDFQgQcD8g4Bp`0qt6TcyVL^bA zF3kS3Xb5Hyv_sM}5E`aT<>Fr#q(n{~GVyL7pht1;x3`2sv!~k3f%qF1#Ja8k1+9~sr@!SX+ z1{Z$2zMZs!_K~Z<**hCfy#Z)g?69%n+73_(do;%>}D0tLBm;!PJ!B<-Qz03PK%n8bIuD@?j zu>8=9Ze`4wHFGOcw4(cq$sZ+)@nC!gHXrfl}{7#8VvtNEyQBdw=UFRmg}fs z(l2%C$VUCVHI=tmkbSu9l|_nxldncY?vgWe&z^Y{$lb`8;Y^=-V>7TL&8;hQT2;a3Q05p*0mEvig3l(*=AJK_S6p?Pui#irOJ+~lB|i6vsYrp9gCj!V PVdrFpr=*lnl!X63I2K|# delta 27217 zcmY(JV{o8du&rYolZnlVZQHh;Ol-fgHL)?VZQD*Jwr%Tv=bpMhZq;5@UA=4neX4t{ z{Wq7qE`=PGTv1erCNM9yn1G5D&Xgj$ALxq-5H6Nb-X5W$snbL4&5%8fly!ezV`I ze}2XP=JUFH0LW5+9#_h$?Aj^PVv>Z5^+hVrLSp?H72*5m@bk)JbM?r}w(|7GrJM}sTBR%;_eepS^PkWXcaf4`D$6ES zJgrm;1I~OdPqF_rq%yL)xx%nYI>gYDDknulH7N7oEr5_6mt!r}(b^%MLIhV4duNWc z;ua3ewEQY|G%=4Luzk$go!M$C}w*rd6 zLWRj)I$-{qaraXYOv!OQkst2C^HI^d{hD(c0%S+r;;gL_Nyt(>up7jbQFaO_;b1*CxNGc?g9=UEn z+OVpi$w*~Hmm8A;DDp?<)GPi&65PY@Q@TV#D}d>A?5`%~A;h_>f~xZDzpq4$+^0S# z#!BbLgdNaAu|W}dmxx)$Y~mJ_sulnnSh^fnm(*&r2|M^}EVQPcrbt6K@QWVvrK&%; zy|^l04+q5N8QjM_f(52!`E89H`!W`H&34kiqvcQ39NP{neeht`34-IvG~wLCro? zRqJ``%>EuLeG3(t3ZCXqCU$SfOXXmp2?&WZ)M-$2326mqgUUzG_b;O7*5Nw}P5DS= z@^o?s%9tJC^Yq+(9XZ@52-1JbvFN`Fw`y7~&dR z%2Ma1WtCG?7$8y<;%U$CUs1rPn6A2*9-|t(Vu%{hp&8P$L_fLvK_L?!px*v$9dTU9_MP0aIBUVy zG*!1Z*Q_B1Z`SR82$7}s^q+^|0)}h_RnJrXTPs5+aA1nfbUO#NCo?-u22CbiY2vVi z;6NZhUab>EidG(Pa%j&_0sH{^rc=IXyXRiB%yI&(uK_u{%Qc|tGAE+7&QU4v{es1L ztOu_O$@&rWh#v__5YhUR(aD6@^{cd~& zCA-3iR6DASC~C!L_H((4L3<*_i$FgPa!jq3menSLe#YqNV6VX-2UpIFhr$(kpUX|< zl)!tPmYNk1heR+iY4|7;KseKk`-Da0UNVV%j^DUPk-e=x0Hc{gj@q}(7v+{ODVJ?WL{`N;6WEk3Pd zU#J81qm`o}smScf1{_$+#5(EtVZjU=L^U1tJ&-%Ju(!2$y+$vtuYja0&6K=11F^%T zaDUq3^gVid7zKc25>M&Dnc0~-yEvH{+5S&uZ)^?6#X-bK^gjhJFC2rcnVp4;B@qiF zGyDIt{8D?D2wNv5dVIi zzPPv><&marQ;GxwH6`Tg$ofpH*`Bn+t1961dZ&5n+1BlPJL4fIoz^OD3a_>!rN@vl zK~3j0(lwo1qG{K6pqNg{g711Mx`;fop?>WL)IFC|#a46sCXO4BHMV=aoF5~>w>kGn z*#pgVMTef2YEYx!*`0!VBGV_8@i!$TLwj;J3@*Qrc};0F$JH=caxxO}{5FA~5;9|| zl{dK4{zu<2xly*PhtCTy@4Lk-m&-Bg3Ff|nPm~E( z^If$tL@Ffmc;6N2oCR~+1bC985#xn$oneHj@M@`@i zRuGFB-I)x+`2+in9y3lz7!EOdtD4q?Y%3PD>{2pCQ#79-{_q;?0487a=_VfF=v<8>`vI zW7XwR@h_$KgPejS7CaUTL}cIDda#+!%42h@UgStV1v_&OnjaNLDHk?CS(3J{^F63% z#SlBpR0OO9xTi}B4m{D5Sb#i(F*B=7dNhr90P|_iIHERt#9z;uZ{M5R!T`ct!2OCMP6#JlE5 zN>w(BU}X^t!-ZGN`504f(Y#f{=nuO?&yL4}13I6n%@X6=s^^Cs`^|@k+CZ`9LqxXe zsSeAkE>b3TI@q?RkabZs$MfP|g5+Og;f3Wrf|cL3mR}PF4u!>l?z2Inax50)eSuit zz<9gfBRmUyP1e@DZt9Q0r?Jb21&iu#!=rEEnwKSVNg%mpi@Tz}*%LR=T&;S;>0!^< zo??-6&D(xWBC57PY}V#*(5pJDW^r{78eV$KEw7YuFw`=Zn%~EMjk&AR#tcB zUmYkz6z+Pf-ewE1_1Ao707Lm=4!r3JDSk)AT_QX3E+yLRETbzj2{I(H3_jnz@j$Qb z?B{EZl{_lXD2*ptJ?v>iL@q~jSq9r3>)JInukJyYEisJigO^rPN;IZ^hRz!~7AUg) zG=sU1`GuQavEO=4BC_AszahpjO-33n?0yg1HY6GBPPaKgRjs?3&Gm2gJ+2u3)*Q0W zYS+`+EXt|hO|!KlvVLG`OQY4$^tlYWru{TZNdOs-Oa@EKr@am?i0N;Elqde$uo)|Y zcO)XDrmX;TFSYJ}gal2$KzcyZB$ZyV(w3USH=%+?=sUU#B+&lgb(nJXL3Zb&Q-8!h z^N0Y`cmN@BcZk zH;SAT$0F-gt7NU0h1L%|=oC}4_@`qSFAVx9y-gXtQj=`~h1)YSJ-gIUC!T43QPHr} ziH>h{MiQI{Rr?R#d2;jD0o+nO&}aX{E6=_M?=)caI>ql-HnZ9M$insP*lOXY3v|xs zW0r-c!mOh{Crr2&yy1A8=%*~@Y-7V_S)n`Y#JAe~1m?JbG|QBi#pu$&fr=*sXJ&Ac zbJA805rJu^#9sntgALIJ1s}?s3^W6DYDj&W!uXkJU6NL7hqjJt`0BT6+bfu=W?$^^ zzFQ!N!#3uXAs~A!nswY&a(N3rd$Jcj{2EQ~_hr^#e4hZ5?RC*ZH+hKmdm?j)`JGVd7$ibP>9knIMpJ|ZK+NV#5y9H1%8#6RY?_fqG z58eo&L^(1R$ugGv3y)(pNwTO8-W>qc>-xhg%D#9}&N8+AvUCvk;P0yPpw*f0L6E+g z@6DI*GLmRzujU;JLK^ zVn+VzD-4Bfg-gxJc0#nKBMaRJUZ5i#$EGj z$I2SYf5G(5euX`lp6=F?$u2Vbl-e704Wxxk)ZS(2+d&CJ5ngcP4qFz}>Q)7d)2=TZ zmvnEDfxpXLb-J%MvNUNK+yU*h_&933IVMncM`_rP;#j+W=TjgKO3{)7K~aa}UP8+Q z>WVeXvr-_Xmk|O>aJLOc8aL!6|G+Sf!KJ7Tc$JH*Y`U6Neix9iRF#|x=bV!k1Rc6+ zY=Nwgr{+4$@18_TZ+T44vMo)k$y-FJ-{t+}qk#;nDig{fwMJ@5jUia6=uC<=QJPbXYKmysKT)Ep^ zz>u_HjfP=3<0(KmQ7B(HP~xCCb4K8ew;7|*XEhwZaD@!=nLSYAM7C!mreP<(SYhz% zvcdEHzP`6pnaL7Ko`6A6%N!DZZ0~s_^Ei!?;9y9~Q!K%diXH8~ZBLhFxz6WyI*p0U ztiKclW^5Q57k9k&zv4hUoT5Y>YWut^x}NEKAKe(d@$M*)OS0?)u^jr-e{LzlNQmzm ziqJKC@^N3~86!jWC^a>34S55Qv^YSDt4KA`^6;I>?JazT&_XM6YOw0yOcSZx2RcI(!3B66~0B`f}5O1Ge$ zemT)kO36Ed2Co#?P~J(dE<^yIiNSTIX!E>lwJZ>Sxecwzmic29T0&)#{L>av60Oi9 zaXZOF|B68!Pj4M`2O(dx24=_c!hfww~Gx)#DmRLs`HdZk%Kldif@0BZmM zwSjB9s2xVCQGRBsq5USEtUO~^BjB&VMBKWwky%<%MJ6P)~nAnqF-}iIEutg)s1>Z zN&=duSm;q3`V~T~apluB*QN$^AB*{LNuPC4usfFY^xI*w#Vs#wAS3*`OaXuHutZ-f z=i8svOAUu~t;}p&SaC^4>*C@}&iE2-`rDy){`p(qEJ_xv3A&d;1N;qeSGjunHiRsH zVJ$f>I0UFWJ39QM^W~$+B$yVh`h?jv{SPIqqG?1Pbu|ZIA@r`3whhYN<&{RWFD%HI zf2hlgYDY_<{8Vr&Vowo{goN!1FmgIsTu{#hey_52h`%(&?2RnIV-4k&{vdJC?j%Yj zPMbB!3p(-WI{k+f0N4^bF|tx3Yy3z^691LiH6n)9Oo*#h!JKCd>Ud70VoNzw%B^UM zF1S%+rqxBSx$U8&O6V_+?fheP4*$BO>0@Ncl8`f+FwF4bOdeW(;SF`orfqH>g86{v zf`=p9OQkBPTdpSKFu&TT_3eE*W^5gr)AdA}p9^QUs*-{13^1gL>6tbx@lx!jp$*$jKDykXwp3PojW~&V|(6_F&?+KRsD)y!xjcEaV%>X zLPWcAv%&uG5V&Gt6xxtw2G)0aOQ57<912U!OBmrG0+=Y>WRZIC2uq#@3p+xg2T1?o zMCo%Ewi51a|1<6=ZDm9#F#zirE0usAnL~>$bvStR2L|prp$ijR2 zIs}Hbs(Axv(%(O)U02S*u*NZ^=wB@D@i#o8H?j{!FE&y;4Ax49$4!8M1EOrVnYAZY zum|W3I6nWWR!#6CJCIPmf*tv;PI+YbHfD@SY^>!NayiE7lnw5;l6gB0VSjEZPTfMmKwZ)*ZYfoqy&k7clwGmBWeH5fpQKy3N{H%FlUuRFq+8ZZuJg`_MY49B1%XXN~wh>4jk2m?C|0~_=| zf&C}&{{-=$AX_l7p=|0v*;@X4qKW|eKQwJQ{RhB~DwKMllbQ6vJ8HVu zM-W}hKSG^Wlr=+2O2kOh3SbPAI7egwTQKwxLGSx#NOAcws!0(ubnMS=s4RPF7)F2U zKVZyzZHCAKGg1jn0m_-CY1xQot2jyRpJaZ(sscB|mA6D-YdHSzW{!ITPetAkiT8@J zxnO3lA)H+_O(%YbZ6I7*iUUqFVmPah(U!@!_j%f|%y6s#J=|3_76|djG_FMv!X1u# zsYGNn8Nz8av*mxA@q4*TxA{uYXh39 zsPWj#pWts=IpIzncqbtUn0ptKbi^03U3FZ#O%DfX4`rjr$PMDz0x;CRET|$F_>wMM zEASt%fB)i2NZ!OGp8$O()1FR_AOkl6Nq;;+6&>jB>!0W$;a}o$c8ytIH;L^!aikz1 zec*aCgh&06JSHWW*?08O!u?asdliLHA&K-rAtVvC(J(D-@%e6IQAla&)3~#4Vu-m* zN2uHTSO`os5zefL59S2n^K%62%t%8R9(%|B@Iw29!*F>$Mgruiv~5%ZDYRTB0#o&4 zybSR4fO*dc^V=y)X@BlFZSd#`bNeDR*)gW)~I=iNxD}jtK z3&f=Q7)smjO<guff7#;omGeV$IiYD{)tYh74@ltG=3a(w(-QiCYtW>6w4t<9W z1M%iWAmX(Dc^NHmm?|%KX>Y4=E*zrC|hv! ziC39Db{wh0Fn2jsbWcM<#G*4p1X}cS<0UxP=D6(P5uiPcDNztLaL2GsF;~FL^5(H? zUT*lhF+X19X1WfT?Xf{>cU-Sq0_A9ax{6)mm*bdnE_vasZJI_BHC{q!MLzAUBWx+K zv%RT#8u+&LG0@q}jg|DaROtSln~BTdW;LSaTx*9EANFK!-S*+i;<5&DE`amA?b^Cy z7)-d$4cGwzShjL$Y^hWAPa((XPD*|JwFkVp26OQ>`Y{P{GjZ55TO}>4RGun7?km$~ z((X+;rTI-8oRsA1u@4JeXF4vp6%0}pE)oTynK`QC5gwN9a%4CbT;FVr$*g&etmfBZ^R`m17@z-YLBdUG_MwS?4Ci$2@${g+0q*n z#--@vNp<#Ho0BM^VzcJ72f9dEd+PP1DPMW_In=Z#ze|EK*y@4|h2;7Xm4yy5B?xR9 zk8x&I{rho!@g`W`!TRT^t;1Sl%qMh!uSY`ZNKZlWtEwZ^L!r7f`I^|ZjG`)+Jc-A8 zpsCMUdh>n7nv}C>a=jU$j)ksbV#Fn(uBZkT{@zm^(}r!(Ug17!!jpR@oWmtL!8urG zYP{_)nJ;GM=v|lYCh6(Zd74=F#bY}mb*I+0%3Mpc5XtqwPs!cScEbJOHv)&mXEm<2 z$sJZhULK3FkqfJC+(aH+k}KPAOM_-&ASHgl$wpLd~)3-%eN|T<1_BM?31SxPm zNI3nl&WtfA5|!?(CXefBNVP%o2e&HQVC(*{JL5(S>9bK*8V&1@pSUD14y zvI*bw1C5bfjI(Y#k~IOA!n2j5Tv!bbK}>8``7>0^EsWjLZYed=2%O(tkjY$d-@h8n zS)5`%DRx9z#H7fx4$%4aSvV%Rhy1&IjzA8_FSn|`c3D4K!^2a`Q!S$ zo{7O!yeo`MiWAJK5S z;`f_krj!;x^6>BEM*>8PtsqPdq#!zlMc4K%hqYY2HMTZD+0+{+g`87|F?l#HC=L;(@|ZezPbk z9V?(m1diT3jm1_mT8^=jaiputFDRsNT;Ye^B4T#;a1rUzj=gDfRD4~l{a^u)N!i)G zck%KIt0ww|4MvITml&pub~lQ~3e+e)hw>Js%}eW%w$w?un7pehxQdG@Hpu_tes@Cxe{*-(%fltub>d^jqsR-ablk zxmtVPk?34xJRh*TFW-;PI9hde%T;?`t-TZXj)n7wQdG_2j7t)V_?&Owo}V9SebKcg#%)7)Gd<1z{r}Q9ubg)ix9CM z;!u8cvz$SP)(F4Ay+Ma!qGU}r)+vBVjkt4}J|Q)xUGESXwH7s+91@XY#_6T6`lMjB z9NMJfq7jk4Yt(xW>lIxHnS>=WNp3Hsxy(MY7Gt^2JvFci?)oT$_SW{h2t!( zB9~gO&+~oK4V5=}x7$2&oZS7O{O2Rq{g0g=RW2-AZ*jw8VR^;T=Gbo-Dv-MJ+Uf#K zKB${CD!i+`srMTkOVq;nf0tEu))w?Ds08>_)GH{AmbO`9mDp|S;8fxHDN(2B}l7T{kEgI<Fp5T3q0EA$#TYxbnApk4fTejZl6o3rx| zLzDZ52UAGy)_U%MD$$>5pg91$-9He-_+Ky=p!Fahf0zX!Pe9&y*wit!{ZpD^&JEz? zC}lVlh<-wNV6LpE1>xx#=xyNB2^#jEUxLValKYpljNUSs6!jpafdW|2y?x`i2JJmv z-$eC}9}C!)c2@^G2rj`ZoZ6tYwiiMmYS`rJ91I-hAhUCO$Rc@N6$?Oxz%00>2{NlU z+Y5^ek)XIPK8VlM&Gm=wR3H1aU3FzO`x9_5`UE}oJG}^>jw~AwPcYW5nhF@CGy{i9 z@A-${|K#p`iI>fb-}N0tYl}xm`z<-pznLz#J~upsPsZ@rGF1U{NSKZ}ig**7ot>Q; zh795a>fbq8wffa62oLNbys3=chP|*s8`xV=TKFIS#vwAmm6<(9j%@ig3l8A`-Vx-} z^6MfWRN~xPd@JBLf`%&yPFrJ-pU}nLYb2 zsWqJiMd<$DH4X;n54rJtUpb&}Jy^k@H$A#E@->O@V6)#WC!rVDD^mtNoL>TQ@458f z-^CxuDc{RN-#w^ft?TRGWhLJeJKqw>F12-GAGWvLZC7?RI(Zil?eMYR%c@up%V*M@ zt2!SB*`2sIt^n2`e$~adjySFcHZDVaNJdO%+oQq$U8?SToLEDPBSaZj+uFx%BZwyF z%IbIAm21c3rG75*@^boz3Z$1_&Ucsc+T6z2UL4)N&m|)Y0+g_#e&$Ey7HB7z{_-5y z!Q(Lo_=+Ze_J+P5NX^(Q7;Sbh72uL|ym`L!LHq`P3xKSUeF=4fu#W*Kg#L18goDV2 ziC+wRX3(``A3?34HgMm08uCTJ?5~nLfs-1RC&jI2)xW#U_jh~r5Dgn z^Q6OvuKWva+*XfD^r*jxhM$?eIw@wV^Y1=j-DrQvmMS6qn{-J<s{7sX43atX)h848JuL!XyxaRqsi<51lIPg?^0T8eaCX7~V@vPTQXjDvjUDn$4ASly2yae-De< ztHT}1O?IugW~?<)D1DZ1oJgyT``tll%{(Q_X9-_yuXm6=QnH30%^z_q3Witby^nOT z+~1nH-SFW-aE-Du?ypiWeM6n1_%ijN+o?C{)eeue1Tg0In$V{%lv3n^d8zK z`SoQUCghG%;udptE9G2dGyJz#_VmD28aB)FNDLdF=RwtDNfk|Ur#(QXbNg6KtaQA- z#}u_4AHcc8FwI(vs0G5-0%%Bs=<_>#XHd(f)38m zyWCcB2aix*KV+1^XPDDCG7FAI?H`|Iqryw1ow{q(3fiNyI^@&OY*ZHolkZ4mbow~qmCoXxRAqTb%uF}c89Q#b+yRZ1X!qYGlx2e|rLB`0 zXX`(+LTq1=5A9DQ@qdLQ%KeU6ED#BVd}3nP&}sL)h`?W+dKtirUYlV^i(5&F?7`_S z+4VH(#VDo27u(#%E66JGl8xh6nxJ`X%~x&Gk~Z}iY9)4i4~VKRy}2}nQ!pCkvN(ei zR)wbHMfV*y3kCH2t?2$N&R8_B38i81cxB}ewt951(jL*-_u!EvLj^|wU;Q(!+Y0=H{ywK8@qA0Cjn{}XdB1vJ zYGs`GbhO2ONy{rM=;?%HTfFF3Pt{@7h+W^;LGkxJ=rn*LdvtwIFV|x|~{$H6vEz zd2D?pHO_!;zUMZ8QvkBP@pNT(gs3f*f zln-2V>Q@d?CSYxY|LVJq4c4B#BdZIvXCk?GQUg8IlR$R2AfG^r{V2dYeWu;z;AumC zA&1h8V4OXq^gZFT^tNm6ES1#t9j}O=LJlGBn8f}2b}VPy@r>hPjmA#W(?S{7orBNd zEqXFKi5;o4zQkF?rruv;;(HWSAm}d@#slz}h@PBKMydV*3a*p}XAtl6FUb?UcZZ2l z(04{h1SyhTUlt}U4ViFn#ZGKwGqAc~k%{l<`QVBt~Z10`C?+!p&KMVUn z{f*D-fpkv3MVMK}pP)5wl0UvR&b^oJa6{}?-wKs+Ld9K#2@W5|LFsKJExdA08F%3? z)6{8VoAyhwN)8B?eR*axCtuToww<53d~bb3%ky^=&#;D*psYcp7X$gH_H2)zaSinf zrN^X@Z;~6xT~u2ROS<`diu_7T4F!6 z=bMEEG9h<5*X*@M%g#$-rx}c)Y!+)u02OlPv}j2@4knD41y@{D90W6Tn+UPrd235V zRSue$)sthUrJeMB6G^cw5Xfgvd9G8kME*9@1zL)rB!G?LkI{DJyhPFAZ|<|*nn z+QOE8Rw!L`b-ggEO5pF^#_UcKS$=Y&Licz}b%wFip|7kKA^f!=>h7q}J05$IUJR{)=Ye22buvq>Y+SI83FW_{_R^uC z5#bN%JzIwEb$;9w-dGhS0p{b)KHpUD%&i&NFTSX%Ag&<(`BjKcEZT|l%n#pjJEas~H> z1thcM(N#-9tgW8;@@`*M5T{B!d<@`UP`b{YGvuz6b+J7af(!lW&-eT__aXr{5iw5E zWsj520G#QfonJ%fWitC1_PM}BFg98^{Gqa1#qF7!d8^$x^j}yAWx=duLS^Vmr_a4cv?M$?USk1uBvQRLJ#`2vX1DB^i2*gKqwnew;SaGc4 z4TBo8l-9g2(UhOkBa_p%>`{-GzB46B{4Ex|4%E^6-DGo!&-qMF*R4eO$xO*J9lB&* z9N8%f6!5dZ5moUCN=Ywr7)#bY&0#L9yd6HV|H zxh|MMlJq(OSE(WZdoH)@n*R2YtC|%`CqB9U#lmK6h~mo>+BHdFVzB7FH8QkPL|6=2 z3b0LQ{B4|K=O>+Wx8qlYlH`Ce7j`G>9Pf9}E%Aia3!}it-GY!aW|L3$a&oFMq6>D@ zu1(LDe#K@~-6Ym_#5#1m6sQ{S4l#CChrKEuk|ox`sI+vKSrZGB$MlaScG?mUK>ef)~j z!g%U1H`>ZCcUZIiA{$4wK+KR5&n8gfo0^`9t@QjgVLFbEF08pkk7B{NmdoBd8Gcrf zd3zhE!=f`+HVwYZNP4~6+_x=|D=#b5^M6n8^4;3+^3DFJfV|{eqwg4%$=^}f0AgQ? zDKakM_Z`!8QIDQ;wZ=>d)Dz(ISez{L6V1F~bZ%{WSb9RZ$!Gm|svB@Zy|GOZ8cIL)Ni!%IsZEm>Di7g`HgZ6>i?bb(^2P zA5;AUzxaKvZ{I}!b|$npSkcBu0WMK66tZEV%G6G?&i;GIOgOn>)SHnHC+RZmY{}dZ z`(qgN;%-9~m%Tw-CCOhDP}|rm(jnkxzsjvL+@F20D7LG{$@I9$aXr#88=M%A>&5;I zuMboHbaGcAXB<|TH4IBX{p4Hc3}in-Af}_^uc0Vjl2?*y^NT&v9|>2zL8B2#MUWjZ@P3GpC(ZtW`c@4fs&1@IARzYjqFp&9V#`()xMYSiftGZE%h`LB6XXC2`IVxKBy%r_b$S+ogU; zNtRJMV*qkhl1Q*K*st5U3b#?mmq~G6BnLB^6qu;pX9K6nB~X|^Ftz`p085A!!`_)` z!hFI6HGPXV)m=*B#YIh^a=BB2b1zg?mNs>=I@?l@=UOZoYIQZN$5qHRGOfp17wETf zlkYYeuGyp1$(`4LK+Yw8v8OI4;^Dx@vWkheM&2-YEPN@+pua9c7gby7EKTP-T&F9B zLjx{eCppi3VJ>Y3B9O`n0VM>vUc&T0>6v=I4s;7LdH?6|ed8*$NI ze5pB)nhh!}&1Pyk;*0)ov0eaa9^oPj3Z@|Lq9=g%nm3$cQ?! z6Zg~b=eXwV?Mj_tSL*G9)lHtNEr2Nk4+|UBAQTtYAfOEN$0! z`xJYAU$YPJr@A#>^ZrY{*nw@P$rAG_029Lv0kQpGt<4y!ygpG!WW{_(g;?or5CnPT z_LUN?<1FvJIt9TqBb9WAyg^Y##{2!}0rnXtb=w2|FkjDZo-lRU_Qj6Jwo6f4Oi+TB zRQ1$5qE>w5p!48D`$=AF5>uFiulny6bs2u7BHpE3^$a}c}VhXvt z*d2BVFTt~Jmf90ayrtW`in;a0@}`1k}I6}dQ7`HYPLs~$6mT!Zt}0B?@{RmJ~TO+>|2}${a9V2%2(IStJ=y}>hULL zqmc;(32Ge--YA%h`np$b1|G8t-&S$oBn7uRwjSsN7heD4K-CX!0lNIV&kQxxN*G{l z>fk5HZ%AHqDQwysGth14P1GP`DU=3sNCzScznbtYVr$H0#FB&^G`BRk5k$3#u%TH1 zx8~6mp=}1Q9NnUcQ%%US7g;xCO>x+#|5IXdY?=|9;H>chm< z2y3fgaoc3L2|;Z5_vpVwkB@8ac<9CIwFTf01^ z>dQ%LtP)}Uo5-ur_})gTK-fWxT}2h6bhe-%r0o`gY0IG6!>aymZ>J^4NV{SNyP<~( zdlwy1;Ixab+AycQ+EK^g?Ts`;8pFt(jxk{X}h7lyj6yFmXtq>u+H^wYO$V8Ww#77a1Tr$eWr zJL2yO7VpOnb-yW*k0rEP8GNW?%<6~d<8y9Q&}g(y+}GgD$WG?|5PYsQXaEH*zDIH# zTDjgDA!Dfe!Q^y6y_&MqPc=$_m6vtHPWlp2Qw`317Ln@mu7u`JG~qs1568bU@^oeL z6Vs9eG$8^7;~j%czug9Uf^4znQGNi=7nd9?zk_{dA)kDO=gPF{1WB)gC^-V;B+KO| z6OxdB@ZbQ`S6L0e?-ng_1P;9hWn;M60egbgX;IKIIK-2L=cQMeQbG-Y#*+}W5Zd2A z214}dbZe8H=IyN}p)5>ND{6J!_d9xEsjx6BZ7bf{Lk4*7;6I;)i>y4EI-`)9V$rdV#jFOlH4p~gBY{JOTc*I+_yO`4K# zB8R+9j43R%-dNQzLg@kWrZ7tda9{u!4}!1ql#x=ZvdaX^RQP1PPBFd!%65xo<(SCn zyl5ZCJ0h8KA$`8QUvct6MYlQ6os!ROwq`iiM-JURZ&Y`*zERmyHl23zztzNk3qB+; z78|~@qO24v9zovz-X$e)akm?N7P80mbyt`B5H{)Ec`Gy~P7(v~HQ3tx^7M*%Wo9@c zkcZ7-_KES#W}Jex`62XOshmvBJ%0;wl&+)^}!SA~=R3U!wl>i$rs zik1B$x^rOau=xiZPlw0&E-|ptl!8r}J693+AuYvv;GYGCdjeHa;=VJOtU5E448FLvGW1E)JlUhe05dvjaJOw6Jrz*Ovb!#q+JmAv$ zpGCcw{1PCtaOgnh-vZVuB?CQ=!B8|FGjY{(nLLg`E@CS@$S;`~AHsF`-!F`79aVm! z+n!XADE8lg^}tP4V{Mbr;Zhj(tF1A{p%IqkctzzkPf3-9Z07JqmNIka&8a{Nd$t$m zv2Z_q;z{89fLV~Y5DOP+>^0>fdzvr^%?D*o3^!` z({)L0TSAyM-9L43;Wa`Swn`48KS!EWQY#vFs9P_ytIi|O?xAkvs)f@$k~z`_s*Vx# zvlE8{`Nk?Le=364{tJI$&WBEahX1*V3Zj$}U<5m1m?k&`nNj5LLcWdDPcMpHb``ag z)EsJrZKKKG+}YaJcfe?y>6xt7?vgT){eJZ0n-@HT)0y_~()@v~pA5vN^hVL58+3(% zMa?O!RQrDW=ObPp8ge|YqER(_{9GcOnt~SxlvC`K5cY~u$1adY=yCCdIOmVK1Pdhd zTSQo_zf|cf@!Q?VP^zJH>-aJ1U)g2$4LNq7KU@ht)32TLm3h4Fk9}s|>Uo8Cv;}_+ z1ueTGWunDmi(KZ7s}VX0Xm&=DH0c3fL@_j2{AK2yhsX5{_`yk$8Y29SNoRkG>6jP* ze;8U{!{Wv8$*t|4KD>mKBG1CS?W(v!ji4=Ru7iJbL>Ev0dRL+YsONvuHy!>LhCY>c z<_m4vsA4SDq}JAh@b*m$G5apNa{uuCYBWBk-+jXO_h}O(NH1H{Gf zvl7?r`IBYLYW_3`RXC3sZm#wjPZ(YvxU-u?K#{LXxBZ=G)vxQ`h=!hF2{JpHZZ%zV z6FhUtqZsnbTW$0-myx)MvC1-;^z5#wS}qCKwa+hI#M19$DrQ(+Y5y#TQH}l0C1t?> zYOy9&cd#I-Kh7}*ud`$6P_xH;^orUolsdVYqMt5jI&@O0q<-`%`fSLwMYduT_@Ny} z@8J^o++)MDazPtBhbeq?$OdP@-$M&T^bzF6IwHDV#Y|7_)pdLR2eUSMilND?QAO^O z(~Q9O@rsffhNt9K?wK7juD)AGin9qNDa@*(VVh`P1NP$ZHV;&md6W;(DwQp@3K*WD zk?TQ`%1iQ@(?h494$g6q;2bf)LaRn4YdlWx_;~ly-GJta_^>qQ|0(RMg5rRdWpEY( zgy8P3i@Uo!!QCymv$(svJHcgf0t9z=hv4oOF0bmodY|vFd+MAsRp)PNx@Vg6|87`v zIq5C=U(0{m;@_plOd`I1cx%>sQ^;6wOs7;uN!%ftAf&05Wzkeki0Bx_mour#JYZsr zx-J~!0YOuXYC(rTdJC_q6j>%S{4=0r%z4J;euxpkK1uSn7Pc}Az=amhG%oIL!GfGx zi?r@mR;dhX{eZKi#Dd3~waSvB3E?=yyq_}M!mE6{3_3_TN18CBu`6WVxLSvL<)-o> zRX5EW^~Y!jU5j99g6F<&oSn}WqJ3W+SxjB3z!V@MiAoA5js?r-h|M?Ngx2;n%HKX70>(o2ja2w(ks`22MC&5F?LWGmVSNpZPMJy3v10m>aHHPSHYnptWw`u zZiCh*OepYrJy0T8TZms98ClPEU!laK|LCvJ%ofE|yXx*V?a(RMCKDSc(0QVIOt0=> zVA$xar0vOsoaQ}#zk}RrZlQzTx^X4nq)So2K-s0|pI2j2QJjc+JFh2z6ckX>q9{UQ z&w(ZStp`g%jsPDmf%_|{&(Ak{`bQLOr%31lVY^gD0_-JIX;{xPBbfesghAD7)pu*z zg@ieHhCJIgg$t=weBDWlnP1<$)!+S_{^FK#B(0ZSn(Ou$sAp2WTfK;*R=zyGQBUwk zr%7LC>w+T~Cm8y_dMMQP-GK7ngt0bEzQa9ZWwAsv)T)IE|7(%PCvZRsG`q@itwV_3 z>3r%gs0`v6=ZYoGh+I%48I6*@A5}lINxDZoK#)SEs~ljEUYTx}qe%EZUNjY*KL522 zG-e2ZEPjung>#F=!2f97Z7J!>%kHy{B%PmQ`^T95Q++JO&kU8iLK5URPboS2m;bhy zAoe(df2^RItvkQ%7cg%~iBkL*YcN4_S8^);glya!-NCB+*~^KhGfpMj*}Sk7el1*T zNs$>GDyM+2W7YtUO+X!rxWH`2JZhM{;e=2~+afM&o}usiN@RcMrt?D0pL>VdW!8h1 z?RE&xN!2eQPx-_pQaT{sP<4(bGTp9>Ve9XQswc(NO)HjnEPsH{IsOGS5ch{FzPJ`IS7=Y!4aQicqsj4;txg$;N+#t>JhtZehliNQKmo8J4z- z!YrM$UrioG6(rsbpzH593gH(HvfcmdZSS3mlbxqQ7cVAPQ-lHGUGQDSer3=dtn>W6 z7}PCnp+lQh*U;$SO!Euktl8|W5~a)ZfJ=?b%RMs?Mi3wFK%V>~ zz$ISNCfAMJO$&E#Xup|xmv{@(i2QMrkR&NHFQ^m79P)jqvJ;dfWK_dh)LTS`P#x8>L zzFsKxJKX(S^z(E8azv$Nq5&;WUSJktQ7Y}uma_L(s<#|MGFo`DAYdU9H(Wk_1afL; zwZ;d6a`6XfwQcR{X6MilSdYX9%6S?Ev|-qT`!eEa?0*gS$ zpokHXvx9yAC+z|nJsYph(2NMuz|6~#8x*7dzfJ8sO~yD|;O@$60(JA*9W@luQ@MB< za@PHrVJd1093Ny#cVI(gQ>TR-3jFKlgwmrHC)v?6^OZk8oW}WyqagWk`wiwMMk^w2=A%uiI(uTtimSF`R7Mb}&r5aq* zHT6(gG}I=pmus^k{pU#8Wv<#snqD16h2eZn_c2j~68Z8V7{3NY zukK1qFXqZ`bYk1)wl_;u2tQBv$(15`kJmy=Bd_!hFYV`&sVM_p**3g$57mPLU!3dmV?HjmQ^@-f#EOnHM`{S7lG1D%yc zKJgBoRyLSiXjY|s;!i?Gj$yz)0*(MfdDZtg7% zOGcsn!JO@g=gBELaL8KZ*SD)iGp|OkX#6=`6Fc~Y1sh9fzEHd}(eVg^e z)NRvSm>fByr~aREH2rrL5Keo_t zL}`IKEIIuvI@+Q`Q5_mTj3>M2q=w;S{9iBFxLKf&K1&_Hxx!=gJU8J!76V$+#(a4> zM>c?J^LQd%mSR$e4|yvd^fU5;F=Kc@BE}gl#waW)_9gZ5(QmG_zf;3`fQ1X36{5|f zYmcex;3$scWWBX-+kc!Zo*rB6rx;&h^H+x88{V4si@=wM!Lx*WZ=4d@RcRtL=cH+o_C$?C*RcntUt&4da%9Pn^70Iw9*BjIc}qAq-Y?x_G!Nd(|O~;?=z!&H;z7$ z4q+v(5*#$gKhqYWCwIMVa-)Xs==5DKoDc8KCs!#(i!t%s#+CzjI=3<#yBAr_I=4Zx z0Z*a1QIy}ALTI(V0oWQ4pb{o1b8$mvciFJUCphH(fh-q!7$l;y!diFML@aCnzOP}} z{iV+wp)fZ#(gIhaAse-@?OP*lIb1u9ekl?8n4xIq`no%~4c`h!SI^H_JSD^L7W5)4 zI)j~1?|_hj&Ed7h@s|IvU{paMJ$~VCtbmQjao6M!!^=PAa|Epd-^3%&jLD=?Ka%N3$_i1M#l z{ftASSnCjfS3o6`g?4WYl{&(qR7-wns|aAz7H&^GlfUCR1u7%{NJUc!k3IQ;Q*L^F z{T0*BxTBQlYL7v#uZ6Q~SLWZUTPAR8;_{eqZ?`o<_U+mLVT*g+j zvOnF#Bp80Hh(@K8HrM3lb8~1TB{w&}_n!2_AzaxtZuQP`QsHJ=*!Se6%uJk`zfmPH z07il23)(0UyDa++_odS6$hstXUA{Y(fl#UF{g}eW@67WkHl!D8ImcBH7hr68U^V-0 zp`JBc^9Ghh&RTIMpxLoWp_;R|6TSt9XrQtf7X+HYG7DVEXJfp-?O(_0fAfMR3T9dI zmLjt)KKpCJe8oD}8bQYY-ckR8)CreU1Wa`)KW_Lba}i1Y1Lr&Y1Qc);9oqo~05WyM zkxZG6I86sKvbFsBVU_6V_Lb?77XtQ&Es?5U(FN|2;ffUkubS)TaBH;<`~FSW?-mo< z5ZXo#k&ndv6#S3++YDZkkkh`wh=u)hzd@h=m+8DwDtum90Uu%qyk1rq2^EiULBc|G zA_Z+n-q_w~2_+wzUd0Y43gBAXC@2feNB(9^B9`gnY>i0InIPWjczB5$);?BA8@lnQ zJ#D}<_mCN0&@+3BZ&N>5@q$U9GCxz+;dJ16KMOE30}+NFGB6yb3e2^wOAdac@8b7R z4eGRJb8l#bj`=%oe{A`^M#2Yru9%0dF5UErPU?$Q2&s>yVw4bCFLlkE9?0PEN|t$U z{dxUdjiPCfZC=fa;UAvunRP*=?;4@=^aZ{X{GI)@WfZB6*olRO8lkDy&&#AvNAUy88hq-6J6750>dU;l7bQZq9&?DMNp)Z&OoS9Qa( zt|Vr%9mn0vWqvP&Dau*kyowt~l%*3v)(p@i5SKj|lChfk2B|`#UD19w{dFkx#0hq_ z`QVP0(_>QHj2yIMLUGI_+xOPTinxZc+W$Qlx^QYj|JME|z%atpVPwSD)YK5)j}kKB z0*)gg+8;X*QFYL{UCH2)e*d}NJy5Er-ENF1%n`If1cy=RxMXDwNeFXC%mUJJRh!ssLWEU8@y|Si_ru z)*RlT_Juzl@biMI-oq=xp>%79Yam zH+0rX!BtRQR;9hFY03F{etj@5`hrRqPl_R9K<>KnuP7y(ujdCj^XNAvWZ`qv?#FnD zr#I4VqUGo+dD0vBE*+ghKfTG!Yq;b&YqwqbY2Z{u?Ha8^W`9Bdg-r7nlF0B~DP`Tw zc@I5Gt{fWYbu9lKGD=SLnBUbT$M*y?W{pN~`qvUsg)XI-AK? zBbrvuxWhU7WGcSr46Uzz97IgKoHLspMFvvJ_K(v$yUL4&S6#dg z(DQSa%f8Kl^A)aH5;v(9;jAd}l6UAlxNNg@wye3Ec}m#vwWre%Q#?A7-Sb=GaDU+M zPgpdBI=bQ$!t>2Q@1QR;CBt)Rj;wI#Y1_^4nBXi{I01n)ns-;q9w0uHgc6dFCG_OTCbZ~<4_+Vhf3kfC^I`zVpdgt!z=qfWHmJ0gfADDFGCTmx zXN(J6LkNI_N~6XAV5I#c2Q+|vNCEbcX$IH;bnqu9hDuAp1E8l_&;i83?$m&F$h2xg z02T$j!p~ z>7J^Q0pR@~n~?#eK>;~{XI&SHvOA-hyQlOs((aRkb4u0_FgL??~yxOQtx+n+i<8NcG3n-vop z5)pB$-8i8%xJg_c{usdyK{)lIL|(UI=vB%Lh2bIWXR8hn!j=vP8Z+o^N4A&7H+ACDy!6#5Ov7m^V5$_LBJWlR z5$H*2CR~*&1%Ba*Lax0Eaq6wtcY%q3PA;j&B!h5_`6jeuX4Ld}1hPB|A-`>54&XAG zr;U*>Ftgzg2U5` zB!**@-mQfHege6j593iqij9TOtql?T_m1?mH`0c37dgj zWti|q96;*6j~aNy5Bi2fdaDur6^H#x9qK#;w8yuv;pb9r!VTp@1S(YFJHj=@W(Y8d zGNg;zzj2SS8&Fa4Y9))Qv4g3v52wFZ2W6`W?I^Knpf*F3axr+e1QSwJh~bKxBzA7Z z%hEZi&sLdQJi3vO9_Zl4>^`@8!} zefDr2T;wn%8cq%7;(YWxKYgsr*3^+HrYuDzPrMlg-pMwPGPR${j&MY)EWtRFo4uMnmDX{ox5` zgTg0J5zU0Bql8kr>U;Uf!A8lrc;x;;;mx&!8sSh8sJNJbzr@C78|i(o%*GXl+5MIj z#Czdf@vYxYijb2P)0vTb-;x~fKsZc(*h~-U9tEtWM9hp!k&(bUPQ!H|#GV^m^cP<LBIoLhPEplyY%AeLFX8L}&bn#1R`TFK<1GW&R%w;e zVIUv@eX}w~GNzKNj`8>lrBbRchw`2ROdpp|lp}tTQx_@Mu+%qk-0uktRwbsBsTM0O zvq_r9{Inv49OYx%7cSswJMvd6Tcnz}=Y1Q!F{3q664~zXv+Za&5h^y%co(+Hw{&Eu z6rXT(ra=TARSX=(dQao6y0Z5ij_Yx43(#x!9=r-Ix6*(zx+>fS8hxbUa`^cfvs7C^_Pm~!Bu?u=cOpRb>pgbUonFP+M;Cf-a;K!8%{TU8Hl{< zhx|IMs7!?2D8$*M+To*MZa-x&!Y@-UEFtGu&g?O6!JY1?B-3FPApW$|ORP7l>)C;t zHrmqiO)NJY@=S80TmIVP2rFKJl;z5?37%x3i@wq{Wn1U=w9(`C9U(2kj(?quqypat zt-=?d=#sf;DLx&t1M>@SS#DC=Tu=k}5kIOEXfNf-Rk*#VzBX>#=x0FNt{Ep+WT!%8 zM9g9{II}*8ISIyzXpy4RIgu*hUT)e+wM&|k&>QfxO$y^u=q8CzvzoNp|2l2N`oWmkBT_ zQTH4r4bEb+?YZP9!KjgwL4>nGh9ObzDz!^x4MjbPOQO7%0k4bq3^lIli#RAPF;HFz ztg^p1#fCuZNh`?NeUA%4;dkC?H_o~STS%;%uZ>lpcWBsx%S1EBw%-?=sRVt8v00iO zgQs#MogL7lOnSZCveGBGLCE3AgFD&a6f_HZJod>lpng_s*(wt(%`K;L&Y5<1S9Hm& z#+S;_yqxy+@OYYTH4AoKgFHf{3G+60lZ0$h1+}e>u+X6zz(6%5lm}g5KOX zp-Avh2Th;q@+qp=-zI7ZoRl$GXPQ9c8`KeYQiM|YG!mkrux1{T>f=`b(n%B z(-|{8G3AMu@Rkchx3Fv`=8X@xJccabe(F?vm8%wMXZpuZQc8=nvS@vtc1z8}udJSV z887A>0c4V3N4hp*P(DX2m$*f;HN$R`Y+Lk=ryAIpmNwdGOXgZ;a?Mmr;Mz*yCW;Qt zK^nr!Wh|@wXbV!^Yz+}@m;ink(*?_~lavG3)4-e`=jfjm?-ZTKI5DS3_XBCQUBzy; zF{f(o_MpJua%_=2IsNNvp+l4k$r6rq4@^7B=n`XLYYpC5kZea$UYyuudxI{U-Rta3 zm#9M0;-KSXh~u9DG^UyfPnH-+5uWY6fEsWzA09=duf3qDqVW-+Z_nJbK7GCVZ`706 z&d>`cE6SGN$Iaa#D5u-wE~}gwSY4YI5{n-96fh2D5(SrdL&tw5X8z7hOT@@@&hjE4f5f87i>J+lt0R{KX1Pb79o#dG_NM%-qa7R!N62{} zNT}kYDnL(^Qg*O+Bkif-XCT02kSv%gm{L1tFxuWpoz;+`w>Xw{b5fa|Jm;h_IVRpl zuX&JmGnEwnVjI{MtofW&SZlTO$T>yi_n|i*xLyPU64&1T5Df-NAgXgoAu6)+cgkdz zJ6vWCH00`~9!`%^+&QW1%M0w-bn7QC9msp$9$b`W2ul+cl}S-}YjnUo$2+Iwg9aX)^Eqat3Y$I}~irEtPq9${p>S zra0???r~>SYga45t3^6gtP8aD2F+V3Q~8@jiGc=`7(D@rAO;ZARzfAyVpZsZ53r}J zy5MX~y3sN)Rq;lbo(5Hia0gT zQ|-B_6Ngb&zTVs)CK9L$!nwOX?PT-dSk5fs#U9M-;?PC@o%{(Wc8Fa0FitaY7au6^ z=4L{CfBN>w%$YX=k|9gcU)0l-n?kyMrTG5kX389R$tCe^h-M3O96f15UAlSPppX!K3&=xjJ=qkeRecOLaMAXn^AJ;@1Dm?Au?p@bp9@ivs zFssqlw10Tb)g4f5`tJH%LbtAb*bkbUqe3APq}q8HrraonPPicgmaGx&qO;ky)(A`Mx%}QY zH#E@RjUS!B>gqc|m(3p_B@w^Hs^ra|kpEZT#NP z8%$+AZ>RSwRake_?%>j6@`3BvOtm73p^amW1p<`HZhhtqYlphL+JyIny{yxb?|`1R zv&d$$DESxcMsjSC4&Ed-PEMzH5Ik40)pI-?gqorlhPHM457GLr^Ce1R!4_DDXo=5lI3> zqNvcWhtP&dL7c_*9FM7o9PH4!KiLOl_9k!(M(oo30pftM*jdONUWx#v9K`nsf#j1( z$a{8e#V=O;5r~L{+#pbD)ULq+ci;j`o8jTycO_c`mCnn;)fL%P?4Gcw7S_asK2ufM z`4%=pp-}$xppQzB1;Xd@JH5-=s-lre zGE>n_m>04xO0#=5CObFZfp#wlkym)GW44lya&hjm6qw;{ZTs$7QGc$opp_ZECqw4; zD>*BL=ggo2&7bHPgTf@#w#i{7-Fvw_djgqF8*KYWfumEU14KZlb5P-(LgfTa;(Udv z%a%NXbT8!2saoBxuDHQ#s!|IC&(#f{|rrL$1Xw{%`k$ljs>FgN~?_ zBT62ASZOYW%mtG)Cc;9ZeFFN;2F z<+<=Vu(6P*fU~w?-LjO;-BGoc$zd@{Iy0Jr!(Jm-(VnV` za9&SV;7;5mvr3#_=N-Vjee9gQlmw%(H<_wbIXUiy3<|vo27wz0x_c*9@4mC11cT}u zax&;I|IT@_e+2hurw%a7CJ|ws{%zO#62QA-&~jIdn~%@9#;}rX&*+#HD&H@?;|wKF zHDPvJujOM~x0!v#WZBXPX8-EVnXxd|TA=j2+HrpvcYo%TXf*kvLhE^y{v94lMIu3MyP1T=QW{eAo4bE~G9}E=dPFUxYHXf~qq}46k@ypVd z+qzrl{EpOpq8MLZtsMOeBz6a{6go<|+MAmAJIA z^P32&@P38e4dt1gw`deLJZKV5>dAxp&?D^C9#jtZ&2v5XYO1-#R$4SGy55#CeC*@f zDl;}27HhYlOgpEq_CsrBoGTP@8D75ap%hul8PFU>sY^JKCYN!Ac%bi!r6Q8uJRJon0t#$q8+yX>|KmKtjtTd>H)FA;UpB6z}!q z5Qtmx0-K8UskfC^g8vUVueL24SsHuDHw|p#=)DKk&WrKpYUKOBG zNf3vkU{n0|d{4dEW9#6`@kpsf)8CRwAbsjT5)?xk-kBZ*Hfcb%F zD`m=o#W)0r|NkRj zKNJ0T1H|VH*m`yVEr=pXS`kC}TZlsexPu6Jm^hyrK|rh&?h**Ez(uCOMS`q|s+Za7 zveQ>B`1?)XRZgxdiggTcW%B=WGkG zBcpeG(HHNGys<`EMj6EvNzz?I^zt}|=lY5qD7wv+4mtFjJ{^MUOKv;g5ggp_FWAtc zhS<^mks+}#&DkKpv2khwVM1y`YW(5&hHQ_>$Q&4Z1)_v`28F z=$rC3ooUmJyNy3!(8+7e9UgXveGGuYwbMKm0fdNLEG%3I6cpl$5(xhR DKlZr9 diff --git a/doc/research/research.tex b/doc/research/research.tex index 530d3b2..e1e7740 100644 --- a/doc/research/research.tex +++ b/doc/research/research.tex @@ -61,6 +61,11 @@ Nevertheless we include some microscopic properties. \todo{What is viscoelasticity? Show some graphs and \enquote{oral} explanation} +\begin{itemize} + \item \textbf{Creep}: + \item \textbf{Stress relexation}: +\end{itemize} + Generally modeled using differential equations involving the elastic modulus $E$, viscosity $\eta$, stress $\sigma$ and strain $\epsilon$. \cite{roylance2001} mentions these constitutive models: @@ -123,7 +128,9 @@ Since viscoelastic behavior is inherently time-dependent, it will be a challenge \item \acrfull{cis} is an implementation of the \acrshort{cpm} in \acrshort{nastja} \cite{berghoff2020, herold2023}. \end{itemize} -\section{Lattice Models of Viscoelastic Materials} +\section{Models of Viscoelastic Materials} + +\subsection{Chopard (Cellular Automaton)} \subsection{\acrfull{lbm}}