From a9632a264efd33e01f10bad3cb9965384c3ea37d Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Wed, 3 Sep 2025 11:28:31 -0400 Subject: [PATCH] Auto sync: 2025-09-03 11:28:31 (11 files changed) A Writing/ERLM/GOv1.pdf A Writing/ERLM/goals-and-outcomes/v1.tex A Writing/ERLM/goals-and-outcomes/v2.tex M Writing/ERLM/main.aux M Writing/ERLM/main.fdb_latexmk M Writing/ERLM/main.fls M Writing/ERLM/main.log M Writing/ERLM/main.pdf --- Writing/ERLM/GOv1.pdf | Bin 0 -> 24995 bytes Writing/ERLM/goals-and-outcomes/v1.tex | 66 ++++++++++++++++++++++ Writing/ERLM/goals-and-outcomes/v2.tex | 75 +++++++++++++++++++++++++ Writing/ERLM/main.aux | 4 +- Writing/ERLM/main.fdb_latexmk | 21 ++++--- Writing/ERLM/main.fls | 9 +++ Writing/ERLM/main.log | 31 +++++----- Writing/ERLM/main.pdf | Bin 24992 -> 30389 bytes Writing/ERLM/main.synctex.gz | Bin 14053 -> 16356 bytes Writing/ERLM/main.tex | 65 +-------------------- 10 files changed, 181 insertions(+), 90 deletions(-) create mode 100644 Writing/ERLM/GOv1.pdf create mode 100644 Writing/ERLM/goals-and-outcomes/v1.tex create mode 100644 Writing/ERLM/goals-and-outcomes/v2.tex diff --git a/Writing/ERLM/GOv1.pdf b/Writing/ERLM/GOv1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..daa3e3d2a007357fbedbdad2b9faeed3cf806abf GIT binary patch literal 24995 zcmce-bC561wk_JWZQHhO+qP}nwz1mXt8Lret8J}z_pfceZ{K^)ixY8Q#C`wlT@h80 zl{qUTM~qpCIWozW#3bmM8Q5XS7nVoYVc3Y6h#XC9VEFi87}dO;%!wGa6isZ*P2FG^ zRozY8{#TBKql-NZqlk#37m+U0KlaQ_|LfL=Vf;Qrxt5FH**&vMhQD(H*+y_Q%5s% z7y$toS2q`PV|y5{%_YP+C91i75Fp4e;9D4T2ebbw`6uc7(E7QNHLYK24n>Q27bM|CgB~WC zw2R54(lASX`Q~lbArU#>*Yoo>v$Bxl4o&RDeYqN_H$Ui-L$NI2pjWMiVWN0dMIYj6 zQA?Xo!uHOVm5BDwy0C%w0(5a}${Ql-GUMLYKLm(}=rvpJW_5QA%oE27 z5iU+`?EJDDo7B3+L<>)IV>XLXmXhCLXL#!kRjmaKP>G1-RDg@=7(HMV1X9t4feil= z2|a**v!X(ygh|Tg;#(I?MJtAb=m*YpINk9$Mktso z0b@~HdTlWDP@U}qQsOHD{Xd6A*8k~y|3w=M2M5dl=I#GJ>ZW5)ryRB2^%)j#si@P6 z`>Ar*(_WIPPo6NL6JFsFp^y$0LuC`OCie?`frv}x$zMmuOMqHEb`K7p^l;k+d^&l( z1_Zp_MlyQ0MmPKCpiiD0yQ@;<-YWr`YqxvYatlknJ{mIn=U_PmZw`kKkiM+cPusf7 zYDrc&;r#N)HVs;a!GGI!MIU`J&s(nzTVN8tyfGik8|w7#l#kQ#3=2RVC;OYvtmBMl z3G>!PbeZ>zCuEGLrqUa>clryw|#M~CqM#DB>e9n zTWrv9R*v+e-r&eom>v)i{a8tzF$haj3HI9Vi2rm+ilJ}R5FiyxEEQ&-nBZP}VQ5T= zj25ou=@zKW$@erhuq&o$?dxtCFFZ}S4fNn1j5!m?KUvxJ?*W=hqP`(2eiLb67vAKN zO@7UBVcD17YH;F>Ih{p$4r0fj{orukD@}%ER4UGdT4Qx~3C@6eQr|wFO1=kyvs($^ zp`Et;4zJegl&Wc)Bz~XA;1HjJaWhh`oV*i~%OVKp+L*kf%cTN}cQyjE0+rg__GyhT zjjgiem^OXX2CdgHGn5L)8E7@j5_*PSv_%2h{D?OK&Qf%gJWzyunRp{;P+cpYh{e)U z+qw4KHsp-U#?w|*AxpmI->{;8!w+f*?PYp&GuLCe-98*+x_2OMm#;Z9#|@>jdV|M7&#O~bi0G_O$a3Te(g%Das^->mmA11hhqS{kp>&e&cChH`v<+k>)2XjuG zbeoOyPQfF&0jAVmhejaV2m0$x>9g`t3Kpy~8Kj4u-DyP+OCI(+Pc@J{aGh#Vs!+by zr)sGINe7NG#~zP_2OHUMPv^rqcUXas&l)-J4ot#Af|rKF8cU8}j1&@M>*{>DWBc@t znJ))L*aZx;H*dz9kzzeZ7}9op9pC!&d=8UMlmUMvOn=` zFQh{&#sf$m2|5pgk^I}!7PB&ac%XnhZ}9eGgq4JU9%}wq5GZNQDVxLutW#o)QT_yh z4URpc0^+N#ml=KJAisJ$-$J*K_VMCgMOSE87e-XQ8&>XKP;l^Q6tKwMLe*T*DN{mf zh{$~U*F#xU-zzR%hO^qCD>Nc?2SHulqTCRtH^NMpa&+>|uS*VcQMm^?9V~VRa!W}c zxtbnyZVIEJ+*&N&$XPb}1GOZ~Tv`O%E%t6+P&b#ER?yj$Ii6+kM95jC8tQpe|Dh^~ zMc9lF=lgLqw1@1&MmeD6R05gh;VJqoFi)8TW*;1_YA)PTrgr@W93F%VEI`fQdeRw< zqL_@T4M-+5YX#p%H9CR4@?_T20uUCkU&+${I3PHBlrGt{=~e#uZC#i!H%T~~V?$|Y z7WW&mObTI$)zkhUU+OM8Ggm<&J|v_cd6-bDrDMLfw#+0nYHY^<6k#AL(;O_=TBQHl zMdG>0BDXB2Ov?yTQJml9s!k_F9M?UO7zOxVQ9@XwmPH1G3pgB4jHBa$P6{Ik{|8BK zjT%qXTCXnGTFmrx9by0@kPwUJGh=lkE@{jtw+03f=5?m_FFU%#{4a88n7N3T{Cqmt zmubLu<_Jq;_tQi-7xmF=n~+-rGqV2^ zGMk;zvTv*M6)F!qGkRDhoR6RjIFHz*1X-Tq4Wwv?ltzP$CGs+jVa%>9DLcc<0%~3R`C~!7Hzd>XC?T5=(0^fuM9$~W!;8LR= zTv)lAyMJs^(*Z_xKFthrjspq6RgJx-G8s2%RZppk3(Qv)a3zb&(gErufb8zKRUp0K=&FyDaD^ZUI2oeX4UkA|B~p?v2*oCKCluD9Oba-Z z6lnVBBGAUw6-BtoVll~yO5r(3yt-1_fAh^2?H=*K!3dO6I}ORK;)qmRL&V{T5wECS z;oC}9_gwFKi^1;gYSmdniA=AHpM1O*eXz3@*rtxwxzw(S)*#_SI&-`cG`|AtuOjTV z#M&9+oq)%Clk2X4KKVm2ofr@gHRw@Q0?UBP#au)juU zIA}o`2mW#*r;ER4lTtF{UwK4n330agd+2e=c1-HPP(9I|us2b5XWVAyP((#=COn?Z z{`QfM@lI+N^>D-&RVdLO;c$ZK_Oh8sTYOmRZdR*=1;iLdB+gOt^R`{uSrHQS9%K6} zuJ_Z&{2J7S3I;&n4~_Sj@(@F5Zklk~j-fpH(|&a2d-X~Pij!Dw;=pcGK_0}~X||hI zqLOi9#HT{a`uyh1qR*#r$O1(j+fGY~W(+4OLjB=2Ym~24kEaASJEVYxAjYCufK`$p z{g}NQe4xh<3H>d8`#C)SIadJ1TFU@(>o^q`sDiVfgBzpvRMz42w7p-KHK($6MiVQD zfc*_p>Js@Kt`Fv}!d~#`NMP(Sc=I_Ql2o_Q*V=~abd1ie-9rKjtZo9NR2(0KLW1<< zW9|>ZY3zyDieQ@-o)~@3NpBHQm;+j)fN&=en>x!dFO*&*81wUZe-Nlo%3J+^&RW_2 z&&38a5i!BCUv!t%#Y8m9>Ki&>U_K9N@&xpsI+BjRsmD2%s@DX<$Ia zM3bS|iEv0@nL>krZIFPPU2p2UFf6qh46C(j_LW4L34G{sU`-8&T^UDJ@{3@UpLJbKj z3StThj^u}f0XY*AMhfE%L);G%12zi820}ssj`((%)qlm2-M|L|>*y8{TDUYtazq+= z@{~f_hY=nu1_0LffGT+hkio@@8Z3h(K#HJ{W zNrj|tZ}^!dK#}(^SKcd*JhA=;i|Et7pSBsce%)1pZaTO>p@(p#?reL6*UH_|5Q}cwhnpBMzG}F- z%3!^qHA7Qwz0F-MF;U0@w9goQ&GcR!mQSpqNa&Aobk01((^FKydgUc6SAEOsqI!Xu z1+<`t=Vin4YK4EDFTM3uA8B@-unWXsy)r>$YS%Dd79m;F8dyxKsz(xEaLJ+VFOtKO z0%qu*8T||>=-{f)sXGqN*jm*h(bG8KZT?FFpqhSNH4vz;70sG>jwMjix=S$}MEx7< zh|%6f#aQ!|$3+4pK|pK4qM-CP&5P{eNQ>T0yaWbsu0eP(G|uzh@`|^y4yj6P0lxCA z!@v4QN-3>Q?y`X5N1I|@uM>WRYg;Ca)>HD0FR4lL#yy988$W@_qb{nVDuxkLPOnc` z*+QwUF2wd%CkMKTy9FiNlnF6nUj1<5I9?=gw43!p!ta!-^l8VR zb_&*FMhyX2!;vNk7OcCTP?R)kP&7U)z0^h&LPbnxT*($z1O%qbW4QT3;O3+3;v&)W z{#eU2-Ned_e0ijUMFfu>UrXYSOZw#UA1pAw4p)ohUdh~yv}PTMUnCDh$v5Wji|pii zv-q-&&vo+~jvSdl6`C8BcC!*dMd>tUF^+`wkJFaxyZ(5)wQ7uGHVKEGHO@dcT@hjD z-ZJI+Sn}62C1YUTB0*Y+pNtl8)8vAs>kM=C-A3ANrIt%>yXI*xLpwl+Jdw)vX~**i zxXFsm4e@-KhhZ6O@3$`iLo%DI+@Be=H#u@j7WW^zIUuUbI(iv=d;Las%D6>qoL_~! zDzue7a)zbFL4lZ2ETs=sC7AwliJ`Hx*ZCF$SiGrmF`c?~Fu@+O;4n3~ESw>%e{-J> zO?|KlK5i6!^CsNjAv?~FTJjj6?)onMMgdb3{d^&Dz+rl zSu6ml!C#Pw5nQM(3FYyb9T?x&Q=qfsZugA!`ur|dU)*$gPOu_r~FgFTp0b;7bX5c)iN3fPbt673Pi zi~4ET73mHPd5C|y`p7YcmS1-60vbj2Aldr+^Zr0iE7e-VauoQe&0+&7Ggy@X6^-7C z=Pj-7ZQq+=>l_D@Hh7ZJ^m|koGyhq$(aPPSJ+*DZB;Kls^es0$)CpRS>aKh1Zk+T; zyJvzS;2^wFKVVyKi*V=zwCcj~(KKkH@3%kNa#rp88QW{6={C|lk3I72o4ZM8Qx0BVN#yLBPRLE6kT!dOYytSx#9*P<3@k>kN0Y- z$JofQXz0uLMDC=W&5-03o`pkQ%^R?vgQf?CK7wB}bD;IuOJ|${&6)QKp!z!E zGc}m^)Mwf^P6{ZREJsni=#rxfD#DmxCYX#QD;B+tkV^ZF$5UA~xL2ts^=BXr%O*hl z`qyN&%gnZ^x@F`7b0KtZ?@v5PrOel0P)Ir1Eb~UWh4O5R_J=5GUha+8sUwPNyUl3 zwpHNwpx1mG#_0r$;-V}vTM}pB5-u{EYK3B8+xZ(efGL%`?nKvij!QlI8N6{MST6)= z^3<8zyDdLjqgvk=-<=qj;|k+Gy_>JKopl^MEU>PJxMBJFbJ=9_X!>YkxecS@ zJN-@e*3?0{UK&SuwocJ*xmnHd8|SIV*HQb+5-SR3aK@lG&k05FF#1!v(+NXU zHH%AZ&Buyj%P&D9H;=?eAuCdxxc3Gq^e|0@}<3i5l83J|KJeoN^`EUMv?^vB?W9i6wB2LgLpJY>cdSnx#_66|api+06y-L?;` zJhl#6liLg1MQMCX{A3x(=wn6gx^Vhqe}q!tW+6CSWZKxuclic<|pAM=_bX7VkDhNm8@%b^8ZK*Eua_ zWp)iz7HpF3yNI;;20zCHYn88N#UxG&nusP|+lvojTEwR|w`zZ3B0FciyztMa$4r_XREFZ)>)!ZS9-mK0=)!Xbfxlj{myGS~v?b@Hwg(!&LBo0L9N50ZlI*4Z z8rSQPIoW*>AsZ467TfX$n;{t=F&J{Yp2$pPi#NM(yqC!T__Rc@cZ)9 z4CqqJM&4^oir{&IoYBEo_ED6&YR4x#H(TKEQmuq1exXvT38VZceDyM)u zgb$aOGt2VjTJ;`JakBLwtDKKZK7}xCT-=WT>K4N>+W<|Pf%_wLlrWpM0yk|1@P|91 z6>Q)|h1Bu4Pj#4$+eY@%Ke*E9j|~&@O2&eLEyq>oz3lB6L`$X*kJDapBbvM}n7$?q_$U|s z$+4rbqUfajIMt@7jm}KA-HN9i`kQN}+4P#Bj>O&9g~6}Su7Xl!KIB{J<3?6PFP<)S zoxD&`dI;-Z z^*1RmK8lpv37}EDS(av9i*2A7=4DMLn)1*s-hnX+jc|C1J?1@6zSk_LBe+zP06i`o z_2ToaZDw0#=u17X(P;~_B3zJ6?!KNtMdYh{rq8OmFPu*j1^lK}o~MAA3sA2Qxb&J1 zNq=o@kDN$w28+KOV!%aP3HtRgMy*33hO)CqeBKIZ;ItmUT6K2|(!X$!dbZn$cuq9V)HQ#ZgcXb+dq)0?Z=m7; zR|a?f%&Vw^rp&4DbhW)V^u7Jg0Gs$n)_$JKJQ??m;s9F%Abv;Ia{+cW^9kFvjC!4Y zMuhBf{|7D{cYT8Mh3f7@H}>jSW=dQ%JblA+$LRT2Ef2bZptV3w#bf=Hihbj~Jj^30 z9p!R32)RfLhQoS=4D`*Kt<*30x&cWGVZ)lST#KhCjtzoS7Klm42&q6DIBXm8HhOY53$w2e^93TJ{yCBofL!AuT?U%Xaq zk2()e;EC^|<4+~oLOEAe1vr&{>62?G!YT7(J$|b#>IXbW5P9Ohw*~&D7*rf`rRw9% zS4O-{Uc&o1t5b;0WE-tOjW`cSoDyunu;WhwJ=S8=>sh50vw-NJQW}2zNB%~mY)qjY ze`4Rn4%C2sq}*1a0LgPdr-gE0lEV|@p9N`W!lUdfzV_WJj#YGcAOMvL-rc zam?*v{+us)3{0-boyRn7$mY=m{5e?8EE7z)JSRbi4D7h>hnDuzV#>@6evGVU-F7d! zHY;4H#_w%bo(%Lgb$ne8&~D+LX#mq4!7`FWI>kh{LCNcW=v%8HH~3NQk#9xERx}KP zEYr&VrLb8GeDLw0b+IXH(ki>db~)phfxtNcB=?gjg%i%dN^7OUQ)IKEE_ zTD`ts4RapjSP;hl_HUR8Y~~Kx*fe1k^Bes?Aw9j8YolbS0f?bo*JtbDY|0*GAHhgJ zd@2bV?J_&A5jv^$rt4-js!AKtPk}%_!0Vk4|A{G|H*;nz;wMrgF>8n;rLk+QS7xzx z(3`=UrXAsm_%`aHTM38H7D457c(0c6vzltlb$8PzB*m(lpCJIFRv9U&SI{Q;41wXD zJD8I!D5h!2^d%1lsf*~G=-7*iJ-ymY6{j`ijmKq$(P--gnb~MIiX@OIu{vh(7gFaz zg%=bnyT9V9zz3H&I_p_UP7gp>zgAV}dzdq0P88X2?Wqn8s&Gocx_L*_8eb8tsBGt@ zR$>LZczmp5j+Fwkd{GNbSuuU*k6ylLp(Nwy?Wta7cSla_{=; zM4o1izMgn?{uX{YJ>l9uAHzBz|L*)pr`DEJ4dMs~;>@s(pq6##YTdfY!z(xCda z-uwDc1)E53ppDVD4ilUEYw`D_yKc@=#{^Pad&ERMW`0F&R8#H?xfieK@%W3&=6?K( zQ|vcOR5>eI8%Y!2S2tKr3O|dOW1CpV00KNmLU$m{J9rM<_<~+vTe==c}Y!Y6U;cE;nv)M zlui*e#7u?~TAo4tDpQ)|tzs^Hk(~1Av1WuAQiffHY9jr+nR1Guh}YV}Oy|Uhl)hH||S6 zTUHbo`Z5;I_%%Wo-M_4P3T?P-Y z2r*$XR6L*KtDjeMLd>|Mvm8dLrNYg<;%B&=QPhy32jX(*gBhF3`h5Jj1=9(3m_O2j zbapnF7HzzQJIFAD(>{81IwtBk2+DwBFFO6?I$5I&(SGY^-74hOO_+1{Qn&ceV3x~9 z^g-4dMqQ9~_Qph#o|2m0B?>)YR+%z%;Kip7>L|XpKpX~{f=PrQug=^e!ZA0Z=UyoH% zxA?qrTtxOQKt}irzs3?r_)K&Y)a zj#Nm@Qh}*cW!q))Px?}?IP|Aw@PisZwaQnQS=oY-nn*$OHk7<;w!{;HLg}q=~OrxCb327B-Ehjal@&c)bgkm_Rx zOF1e8R%!JY9~DHbLH*lpkTqT$nZSdZ_ie`4)#U-|95@Y-NRf>Z=;JIFvt!@6$0t$`7%V$1&*d7bbtU2P!MtQ z4C(Hcb%F;3?}q_p0{TuLdHn&nAL9nLbB?o$tJ|h_I5I^L%^l&P*ivJ_heI=SLli(t zz+1VUJhoXPX;~}68udY#Nn2>~5fZ3ZCXnxp@8L;dA#(Zy2uRebnV1Gko9IP$FyKzV zf!8;{)?dLoHVjwo@_u04f?$Axlz#VyVgf&3^%1J3y6 zF-K(hoBZrJ{N&p10s^E%NME>b_lNPWkeAKFBM5wb8{7z@$)_`-f5p%!>DbWMTosdQ z9n@%GY-nr@!RX`Y?PcorScD#r$fF=IvLt%_^~^Su|d{w+X<*ysjy`=kCkJ@T#Ig9~->c_;$(RTyCo^jVP- z6AHVI2Uhg6MRv2%v0?CecW?3|IQu~O`D0xic#`DY+WgTR_}-5L+2aO)Qv&&1?9Qit z>>rZ99`q>q84nJGxCr{bfBTV?+#Ov;uwy`IZ2EY~8kl1-LQDcjx-xP2%4Gf?Y9+!5 z3~(kY3T1swbi^2#nVbDaR9M2XbAScr=I!seQG@|&e3g{3j_M2r$1(w5aPqz@q+UMU z8z5}yq(ysYDG+2lJHG0F&e+cc5hg-R;@IyKaxsL4aZpy9gfC=Op0q1u;)8S!#0n zo<>O>@dW!7I?(^Mn8xz7f+C2GcbjYvyJ0F^0y}y)&ffP9WkSf(KP~~XmY$ysN8CuI@>9qIO=fe{m zu|HHLV2j6pt~u{21jekdUJn|tZ<~Bjt{6`muwiG(k#RoN*WetuIwy&#<%+r;3em~z zC3?N7EBA5q$lsziVf1Ry%N4a6a(BJ`n(K}RZG3;q(Prdc%f{=%gCBc)=J%Rz$GtJ! zSvS!g=@kF;+b3|gq?4UiNXSDCi%)_fA4V=forHPqTeVy&Q7}Hx zFzA8ysrUw(d{1XfPw1d^NFIiMFywx;dVg&SP4%{0WknQ)hGN=n4Db`Hj<4^)7x@Hy zk4_gUlm+0-zQ8;)FibcAa3Px~7w%q)4LqKV--OT{HkKZ<@k1ZUbpOb4RUg8TiZnHb zom+g!ApIK?!r%tiY^nn71uQ!9V~3i4jCVbtT14nmcCpaqeZagix%vjXXr^*EOlf<4 zHDw9*E_}JWn`80Ue-<&IFv}b;0nwml9(nEY^4MtZXZ~=1Y9u(Tafd5d60{4JR~~ul zwN%iX{Y?u$RqMzOOqT_&?9gk7_#NViQ7Es267EkX(P8HpZOyxcj+_IsrsAXH4o4hq z6iOk5g58KB%tm^4!LNun@o}8*j)wW<;JQwoY+R?aH=1bf|B}BU%RwX`ht~+hh8!Io z$vGged}nu2o@AOL6i@~apFbpK+pj}YFeHopr)2o{C#MhDLu!A$x z_mT8}!Rn}@5OdOqNsZ|6#3t@uYD z*FLXzQ%8!n2N8p zoCJ~GKW2$6=KUqGv_OI)pL~hp~=V9OYZhNLFkZcAD}0Ci1wC_!VR28LH5nTDtYV)CterEu`} z7wqw4+a82LVWdAoTD?^U@&tOQS60CTnZP78o70@^5qbj8ZW-&kmxnaQ=($qzOJ!WK z$3E#gr|nBC`R0r7uMO3GNFl*pp$9kidyD@Zt{}me=#w_1G9&sSci&_^&%93c|r0g%6nO zeFlmoh;q!5$nATlqw#-ct_qL@UY*@BWlgc7c08whrotNR^Hk9lK6x9 z9*TCX>z|7M?)(M4$+dW?Wi5A1l<4u!1=hVGITHaT=l)of$skeEoi(1mfQ&>vk*Q3( zPMZ&vmz?Z3N*+Pw;9Fw{g?}dCtTz1SzCuZ3?hcm7RGzO2i<0pLzoVkjM*_n{5)fv8 zcn$sQ)uh5FQj{SNn~4}7l;Q~m4rmP2BSyxVk{{WANPFW4JKAX7DMm=rH)d#4p1i=d z&d^Y<`JH8YMl25EyQ0Nx%0g0a91+Exb3(eHW&!z}1Ix0!6Xo_`{=9%jHT%BnV^j#U z=LOez=@;NXxyv;owv1{N<76TE6h=zxOXs#VaQmwmXXomL?+dXd5b6|2a`jhzk@|LR-PG-H0dRv^ z`8l$7Id!m6c}N#O1P#KR*^`*6mtq=JDcI<}C)GkEi@;{rwX?lg5eZRKh9udDB`Z(j zPMRhouEP;!S~pxgRiBf_+3j$$7#B+-H`_7f8AY<;M1tSgg%T?^{ zDkn$2i}e!y{m|ccSFfxvaFa@@gq*}N?wQghrEHdQwx7Fbf2wq(l(GFziw;YS^eJOg z%E1Ll;b@+lhz*9NMQT`>Wk*2F{f>kECFv5Awe(Zkl!eRo+@uYt7%rc~o}W!A_mVIt zW>4f56pnq>#GYSYv^4O}wgV#Y?oR7=-I>c% zUbr$^@q5I^1&d}cuCE}Vk2{#C;1F`z+XPRMO^KS6RbzcywmiUK6(fY_>J;&k%!-Lp zu#aMoDtRrveyY$27TO10`8`aMa9$r2a=nG0Zd}#rD6x#GE7T_34~8G}624}aI-dbV z^qfmorZ*?R|-IGf|3QIzK5edC`(`^g9i)+B&bE?{DN_*N!83I%*pM zY3RT8q7TD~eL4eCr<9V$kMwp}H>UOE3>?v|Ezq4SYSDgRhFDIVoF^x?Xqo&(3crL6sOa!v~+Q z#9TeHmf~_>ja0`ReDDxK!;RfQ9fJg69jzscvHtbgcO2T**=7F#+_;PIFv!C#-5{%X z1(`Ppw1uzC@w%Gud;2KdeGk;{1lkqQ5T%7NLPby1mCmaEBEPxjrf|mzmiG4y5&$CY z)X(o87JpZZ5_W8uL0!7%mDgKzaCk6Iu%->Z>A@KGfHBU)>GL#)`o`$SHm zW9>bNKYKCJ@|+@BRJV6sXJD$)tH&@UdB#5Ijmt4m><|BC;zQxOxsz~@MJ|^Gd}t{O z(mjub%|+2W?tiKYI}g~c1TAm#O17&oBV%rJmp6~r(+!NB4E%Jy4Lg^6@iWy4M#%YI@|1WODqH|l~)$eDF(7A;k? z)4N|4nbNNl2YaDL7jz=k_)Q*6RAIis%z~gWqR<|~3~SIagMtHk~{ zN~n7m|8fCv;+w2X zSlj}1r@&EV({&~mn+b>^9+3U29PKQ%Asosy5vb@=09r){ z0Fm67^X+Qe@RVldIOwIdm^q?(rqKkT54L@g7Xaz;SO*N>O|j^hk2tM?vw=tSCsXL1 z@SC62gkCU`HBp9TE4(U?>!uo?Bg1bBHY=NgBlUB4?xCI4HqXn2RU^0= zOtSqWdSR@-CJz{i&U@MYO@TgImkKy`)V(j3FhvZSujCFk6P>?nk`T;_jBOGPz%&Pp zmZ3O~?lDUaYn6C&+JZ0|Er6REBnB}wFqSA$pkxcGDQ|3;EPOj*zAOrB7Y zO_!g5D>Ea?a7_7JQ2*9pIfU)NWF~Y*xsPbILc^Kx4pJyR9s}ul(5rPfQM}Y2;QA6FSf29czHx zmkQTsY(3t<&pQ-r;Ell`M}(e*N@c-+-opuQE|NmC|0V9-$WG`KvyR|eJMJx6W;djw zkG^Z;1{X<$Mf-J8)pz`7{MPkSTN#rh%tc%ISvcon+NC? za!%LpiL(xVw{daAiF+59TY!>7kui4R)9Aa3>fx3RPqa*ua80)e@A$*q30(rwK*<8` zN|z`&I3qXvPczRpj|ttQLS7&wYDA9G4H%fNfjgchZ2kw`Pt>=tbWkPjw8u___rt95 z#lQoV$}zRn0>@_QhT(_zPt2LiTQiEXpBjj~UWDbn88_4~@`)~x&D5j9yj;))Zepj4 z^%|nj`bcYXD;1F{Q!8tL+#(mj(r^#(dQ=5z0hGW*TNNla9SsPZQAWTYCzgVGqOrnPU6VOB`JmdYjTJ# zFQ#cM1`IygvJtiO5(5I^jv!I(6Ejk96@C*Oe0rr4Z)PR5UUw{x7}a7X4rRl2=f+rq+J;oH*sBa{1yhR4jpT(HSMPiqwq^N2H2C?o zAnfZ|?eT9Usqi3xOs`%HC5qFKL;6r71 zc+Uio4M^o4Ur4~JbW;3OK>GjF%2@`*)vO5^4Q{~#1Q^_5fWaXUTnBdxGPpazEsy{~ zgKKanBsd`u+yey7;4%as2yQ#M_xpDD?tWYM?$%cIpL0&1>i2Zj({J^ux1Sf6kzBMb zn>pXvx6HEWHBNtNdcGyRQN?lXI+l%U^ZOxMNpIM9NM}&&bE5rVH#>3WiM{OuXQ;LB zkZEk$CQZuDqmXg*Mk@O1*Z(O%SM>GkmD`K=Jo)W)=>%sRO!Te(AgZ;y42L&L6EgZe zWbSsSa|>q--!Js{x?Al%>UzQFlvb&owX<*M4L$2M*PynCsDDMM%(_8Us*&d zGPvu4ldEe%15F1+MRyS3pwagR3XN4RyTc6WLmF9e3@ti3Va!g^9j>aLXVbWmA=r%H zntBYrdE#h;5*+g@v8?|pcO#Vpsfc~wKC;;>4QW*_pVNi0dq(49qQK6BX%qo@$bzM) z|BYiV=SW=02#>z{LXQ1(=+3>dO8DHd41``j({?jCWr(Se&d~RRi9ZKR$1ZN4ht)3r zG+Ob@928*gmXByX zfC0N{GSp?WL3Io`IqVb8_*5K{1;$41j>D0_C57_3Efp!*kxWI6o4$ODH`hC<)z@e6 zjbZDRS2e{$Pr+!X-=A6$Zs`3q(|tHpzlfrtcy;LCU7ze_Vszvo>cakkZ4NsPPCM;S zsZ1Ko{3J+UegQgkqjw_xW54qV-`a13U(cmKB2Cd~+v$q>_(#YaUL3ZVi9_WUm@UpQ z|5OpI+3VGiYXnV+ldsHtZQ85x;13F14lDIS@DCD!kgLS9#X5ZN{M(9LMGdCe=8qqy ztErz>5hChXkDLY>&aId*S}VV(n|}z%n<6oeaa?BL&x$^4Z4Z7Se1+4x7o2xc7;%j1 zb>DUi*WO;vX2CUBD0XX!wJg@-P|~}hquFSswiOX4Dhd`RzStf^Sx2XO={v!tRCl%C zDNAmYr@p#XUEw-XxxcgTQ(`t5x+bUjj4XmyVS~tENXJ#){DpcQD9{M> z(B<^gk#g?tx~f?oh-F^C&_PLMSYv>1Tmjuhn{?MgRMn{{(?+XVqOK|3|7aui57=>Q zLVuG`Uf6X685wiVLbmu=_Y>~bj~qmF#h8vIc(3P(0Dun z_`0*}uH@hrUbWe`t6si?B<$hlV$GgC$4_XR+U@V?xwP8ZI8@yxA90!TkiL4hf2#cJ zwXTaW$(~Nm5ZSfoj|RPu1XE0MKsg^%`(!b~!IpYVPwaM4f$y$ImV4NJ(mxUJ?9lIgyQ7;D)}m6g?m&eOF?!GZ^+m z_at*u28&=qB$0_BPAfYB=zDF`bG(n%`64@die5w_$|J&i=vhkmvTRsrvNkI&`U#mJDbhQ$2I@$%%X#z=CM<=Y!Pe@Bq!4&pMmUSUEL15d9kU%^zAFNzE~_dY$$V zdc2nU?Xkvbcj@^Vx&YSiGqRKlblZf2vDuo#4vZF)af_b=*-UHv=)-+MUj)zwb-%RG zhvrpYv5YqCVq}*#PHrTAATDvxkFuoa=<+c{bijTEW{dY-+-)GJ8M&Q1k@p z;n{QUJ@R!I0;9#qiW@#$@6GxkTN}*0l$9}`<^!&8Gfu#yj-3qb1-qTQ3@fBOA`^gz zR2__y0m$D&4kvpSZ+2wVg8U`n^cYN}N+HMD-A@H~faKaQx3OZ@}u!~FJthz5;7`92AJtL7iCoY$fr>K~W%C9qRT=!}i zUvQKtw=d=e!~B;XnE#KeqKh0FJb|)r++FX^tv@KGZ)y|9-5_PBF+m^qCo;86!s{s& z9e6vw@44f2M#Q1Z-pMh76^ccYH!vQz4VNlmVmA4C9)iEI&UeXM;Vq|Mg7Zs{4QIcy zM*6(2z$m z3E8Mjt@S_{nz3D3yfRbu9jiyau}~9ZAVJd`q|_07G!xz!s5xE7x9n!*4}Z<@1>!zw zYESGt;6$QGE9Cx=rUZ|_J=ZR6OR{$;dgL*6K6?aoK@=_o5>>t89)DFWoiU*SXECOy)VJax`Y!is0}P-pvDMcE}Y z8#b3jl*8}~tFT<1;t5?Cv5v?Vt657_T#k{Z#0~a4tRK$G9g6wvM~>_AD3y}vq?Cb| zhv=JB;0@&d8QVxYdU5>i2I?bLVLPKR$(fFTi)G&n1E)L9SL?%rILqagNO6=@XuG z!=TpyJkJkz}W=szCtr{Dz}u z!ZhqNP%v4(g+Q{X1kIyy5S+XJkZM15e?`Nu*ckLFQaEJ9Q6a6)nt+ z&DbGXL>-4)Llw~y4KwReoN%tA2$`%cM_&|9g85vA^y?BUwo6>}ZSAK98ANS&jv-C@ zI)(L;s*B$Z_?=ca>np7>%s&g3l;FCS+B16R>Xb?c?1%a+UxGs(os!&o30wvZSC$A@ zyN$cbX@-Bk$V;;AQ8+xSI00SXpivZaZhjnmzYg8o7vRm=Kc#yGP1Vnm+J)1ew_OC` z?3zdu;#Tilj2;af%0(K<3|Icd1?rDG#cSm{%VWUOmFdkL$~i5ylA9p>YPpD{&q%1{ zL)`M%tDc1Rxohg1(Z@W_4J+1QmA3rU-WcXC^rIP##*HnL?zWk_xoMhRuR_`WV!gTG znUT)V_=H3H0rjh4K%l^se0kMu7?X09J-N~+<-2*Hlbh z_si`k!1DStgJz`4jItti#Upa;k_jgDI)%fYyW|l#Nkm`X{dhanmqGaZ!+-wD2_umhqhN-#ISHBGLX||gN}%~nR{@OWZg~P# zce)_KMQuN^G;{6&6>ag9{V(cMerqcKbm#qH%@RWRF8@_)ma|T`%Q}$oGmN7nTKOQ% zl7&&2R2myAN!ZEwokOF(qAFDdBccxD`a;aL{~Nav)_eHrXonEbTi0OmIt9Ze=Oxy* zx!peMwrP!4&3n&j3?U&o{oM0f3B*aS_Un!SKMlk-q-IHTX}ijDMsPq(*{pG9puz`M z{lLNnHJ%PG2~}9?Y+EV1znhrFXSlZC{46*?u=r(J>yuu3HyZji7tpvkGoFR%^f4jiX^ah^1P-TPk`@Dp@5#5xRZ`TiZFW@|i>bm`VBN+xD7p zU_(Rui(All7rR9v?*L7?o$K!xwD{Pm_}iYk?bHHAhO|NfW&Lw9rcLIO0cFx=RGQk} zjbgvDhw-w{$I$s}U=Dg|r(KO_GkLE|tlPz4%&Apnei^SbiR)!e_<&rPz%8StYO`QcSrmL?kaXN-G~1 zvH`Bo3p5T0V!kJjkWU$;ioCI5&vBcye(Jbwjyaz5J{FA92h>v#nY*4F{tyEDMtbdw zaWAV9cU9d>0W#>3kh!#w849CKv*lw08HBJFjP-k10?SBwJl|e{b}=cP`WveUxY42? zjbQZjLW!@3ENe}N<3^1=#KXqFd(ugs9mNyaus6m9a9^gpcvdMpE zp?Jxm1T8+_cKfsc6Z1PiD7c|5z&&M0uZqQYe_UpZ`D((H*2I+5)caY>xz~}&!LIv- zUl~nw?P6O>+qh6)sWVt8wZp#Z!tyOou;7hg0l6)q`@3h=&vKiUPiL#><>Y^`aD`w26~V&60DKca+h+wm zHY)4cSl^KS;u`py1%2-z1PkZTi=*Exq^an(OCVS{^2I1CU5RdUk_`C;j_MG6 zU%KnyyYKss%IBa8hs=m)<~?V6nB$&n0CQS$`dvo0Ms41Pg^i6;7p419R|lZW;EkGc z0#MZkEz*wGBeygI$-1`$DJ`^DLmVbA`dmBK2`5cMc`9bzt3PxI8Nl!kmzXHAP$A7T z0at?W7sobAH5RK>ds-aIr#%$U*m{BD^g(WYTn$yE1{ETCUR=uDn6n+#vnHzl!b0nB z7DoS_1?j)Bp!7emu!dkE$nYOn;Qo^Ztp6t#YX6aik-xDJ@qcH*|F2otxO+V#Lvf34 z4)G}e3l@IcTK~)o8Xm6J-c|@@F{_)kjSj>B;Zp_yx%mXxuz6$<&SEcD#1q8rKQHZF zU1SkvV*snHC?Akd04M_F=LPZ!3xK$QAQm8y1<_B<)%u@x(ebcwbAwnTG|3iDo)Byv z4IMcHZh3DfCrb+#m*27I*x7pm5bf_VaRT%p9-fGy0sP#&AYK6xK0yI~E~7X5nS$39$h9{PDgZH$OMx(-21HKZMKwd0F_oGg{r! zLE8)Ahz0}r5QUub_8y*I0A6AKKWjPxy!^tTe>H<17&^QD5G1^>HFu{K!X45KoWvnS zE6--;nk_X;Ra( zYX{N1Sj$sVWz^D8;xvf-k*q8mzDZdn8li=yCY4EJdPy-TW1^IVc0OkuWEx`F2oMva z$x}^n&r*9~i&4I$1NORxSlGV^%$zt`w@!-VT+O>neY+3u4$Zm}SK@CW{2>l$!#0B^Po$-3r-mr~TON+8i3A(R0 zb$dGv4e8ZRuihqc!uh$yPSWu}!h?*s>-t{6_EcLPEz^B{8uG;6!$af!10FoY?18G^ zT!QWXl`RX(5>5!m?sY+(Upt&@!999RJGm&qqv!J)vi?ezjbm+I2mhcm0~$5M4-$VZ z8=bxr5#HeA-s9#HB0fKG9IV$s4cAs)QYxQ#BY>r!c_0qM-iRXg;Tn87QjT=b?C*63%&bfLS%u zsqZo4eJrI5iH$4wXhyqSEmmgVvvJ3zIYj)~H!Qj=!BIKtN+>&Td+9{hea)GA53?l- z!**7|K+CiJXP zE~(lTb}T4Zi^QGk2P4rHoEQ{Klo+~m}|~GlEN6!E-+|oHI>1X^4P0J)J<$Gjh200i+;0^6izYy z>h%3n_$!%|q96{#j;5d1i_nu$XfxB@w;mx~J{1L?hN02$0xM|<%y!jrrH3FsNps&S zi=?CMHj>Akmf%=|W{rYb_$#kb$5*UU;T{p2468gt&iY>L^h>NSt8@8|EjMiOg?Gzj zm#la&TJXjA@`b%{Q_5Bl$SzCUI^)q|P~7h1YTXo~6&x1Q@kx*s?|wW+!RYPH+gKOq z?DqBB5fv|}s6D}=<) zvJ+!yN{M)b3GnHU8`6!Y1&qjg`_#e(rXQ`uyjod1`1L-Kn}@@9L|Xaixt7rd=yOO- zO)=9$(ncQq#$Hn|2dlt}V1;=se!_82oLYZ6`2p3Vl56C)EP*&@`-^Rb7-FHn5cR{{ z`CMgzS8j&Eej^;ezzI*U-IEo@67P6v&;t)1oC1tG0CaRWB(gM not available +(Font) Font shape `OT1/phv/m/sl' tried instead on input line 23. + [1]) No file main.bbl. -[1] (./main.aux) +[2] (./main.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** ) Here is how much of TeX's memory you used: - 25245 strings out of 476182 - 524777 string characters out of 5795595 - 1933975 words of memory out of 5000000 - 46726 multiletter control sequences out of 15000+600000 - 571272 words of font info for 60 fonts, out of 8000000 for 9000 + 25258 strings out of 476182 + 525061 string characters out of 5795595 + 1934975 words of memory out of 5000000 + 46733 multiletter control sequences out of 15000+600000 + 573158 words of font info for 62 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 110i,6n,107p,1008b,285s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on main.pdf (2 pages, 24992 bytes). + +Output written on main.pdf (3 pages, 30389 bytes). PDF statistics: - 49 PDF objects out of 1000 (max. 8388607) - 24 compressed objects within 1 object stream + 57 PDF objects out of 1000 (max. 8388607) + 29 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 109 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/Writing/ERLM/main.pdf b/Writing/ERLM/main.pdf index 999ad67b647fb41da8398a7a86cc288f7c496007..99477d251fc93e9d8fa3a11532c1c99dafcd1169 100644 GIT binary patch delta 26636 zcmZ6SLy#^EtYF)=ZQHhO+qQN4Yx}ls+_r7owr$(<&#QWinO##0{ zoF8iVc^g?-NO1?owqw3s4b&SSb;+Sv=5Wxr`sOK2)Q$bU@U5jZ?%RVs?$9{ zN__dCFy;o#`ga=ax}4lVdWrVB63W+hC~GAV&zIQ2BQL`Xiu&bwIT1ks(NAi zDO@>?PBomSPI60Q01}7gFj&So76b6W7Vr7~Tu=aW0P>z-%E?mxsp$963~ak&-uQnZ z3H%Z4`SUi2sNEjDV48Sxe{P$)ris(eU|MX=3S%FqZUZ57$bj{aHtJ$e zr4DYWqU}=PDF048!vKSX^eQ)BHgf^7)D1S8=+tKKo{$~q7xIhQ<)25drR&EHNGc;S8 zkhL*te0NEpP?O;@ytv2Q?#o$pGb%A|0#L`Z?eMMS#nLb}^(lDfQhQGAlGfPJaRSUk>~}dbz#0>q zCw1Yo9GndZu2ov__Bz&o#QhsyJ<0Zseqx@_@D=Y?RYmqkgynJki?pSW9`?SzK@}n@ z!Y6dF!XCbdB!{2&)E!n^;Bg-wj*%!-48#xhwZg9~6|$*8{!>ezl6O4;E-(||3EqK-`OE(Vn+*$7VME|1l3j(_ zcz!x)FEB=z-3BG~PXSHH`4(8TY^}L=XbA*I{u^;otHLg?~v^vVbRH=U9E=X z&HUmf^*!(T4O`o4`*97E&L`Cs4prIBIU6#nv-ZZ=LLzOX-SbKB4T;SQbb7(bZ8CVO zEfskm@jdS_q@Z8V+ev@59M%iy#%^~8uaAW1=-p?TewyW60<+WRn?JRv za`-|SPHG`Cb`J>kM?*;+vm5z?23L|xqfdB_q3k?G)KXJJ@Vjcy^c2Bg_81F9njx0fg zIo!?QqQ-i=1xb?gDKc0$>Xrwt0|)WQjS$kvh?=ChUrky`9(+$}Fcj(vqu*WSAWh=$ z$6wVme4{HmUbl+WRFG$`EbC-%PU2{Q{sB(QY`6Q|EUlGDl$Co7V|)9z#w_H3nzYNtY(7=^`%HaRjU}rE zoMtxy3>cnQ!M(`VM|ck4vB9;+sXx>MC9LfkE;W6tBmfCnZ|qVG){>h|l!(*sMAzlJ zsRnO#w+16b2Btiz7HAj1U7`W_>l$Hn0HBC?gi;G7-Bfk+fqr5-VHZYv4om;OEH!3< zMbQuOT;yWO)Jb4HawCgNJ(o%z9cAMKwjGJj;+9RugO$=Ui#2IsM0hbb%`o;FpflFi;oe$NLn{t!;yU?KnQG7_S|1)M_8of0a7u((IA2)t zJJp3kdcfpb&gu06bt!Lts4WHu(XT^H>Fq z$Y%;fid2C_-4!=RBUK>A5kbN9w|y2fZHqXA({iAqF{!sn7!rX*7K~0<=aJHUP-5`* z&LK+}PRUTZ5_SM?v)aH&+{D5d(TxjI=2ujFU8xQo$^CMgA>A3#{^g22qOo=5QY(r>it)i_9f5H+UzCofKt%~;*A6>?)IcJEM^WYmM82>T~i(S|c zHd6yy0*47hiuKy8ALxX_gNwGrf<#UE2Y;r@B}25=YpXT3ZhHJjjjA216gwMmM3pxE zkZ@r?883liOGzE)#Gfk^*f9V*qn{#n9j&BscS8hF(Y_`C{3YrQRW+Dql4Y4uQCKF; zt00Yh1fIyIqIPOpzHf{n5Dw!cxT2i3uB;? zKCK(RJkuJB{GDdf)X zu77ej=~h9YTOofjpT2!Nf^MbbddGqNpE5U+qPNGeHlbR3;v7_v zcm9jwOGZWu*fFm@t`9Ve9MCt}Ne2e_ za6z7aF)iNHs{hiB*gFyuxSqpw)84}pcucY5Ig8d6#6VON@7Q6aSw4x zve^vJY8Xn9y3bz639-tBSZ(Ov;xvB^3ZAw|5Sw^7GbEdEZbl$Yb`&^(@k8WPN z(o5}V$V{tv`7PQ%U$uJM)iyqdLn{F2QH`V?%>Lb4@+JyTM1Pde|Ncr#NQLIeN9C=l zoKu^N)4wcv#IADxbo3GV6&yPs99XFP7y2_sY?Thew107U!z;{46ZlK*+VJ*ELf*5Y37d8LhIeccP95X|s&#V*m z40LGYnZjo1lyhxctmuq|zeojfr$wMxy0}94bGs|>g=qP+z?u||LJmg6%Ea_PJB+=u zu)`n`Qr9Uuo^XYJ--vWg%7zU8=gN!Fm3)v{Fu0id$45=$Kb7L#fQ)rx3EK5Y>6ea# zW4{Z|IK~oVnPp#7w#zs6i7wT-(B zrB0~fG%O6Ul>Hft^cpdIA^=HK(UIi?>9*LT2_f=edJveEZ8 z{H#S>y&t*2C+C$)d5gnl?18^jxuje)joXB!Z>PH#XwZ!9+hxHKUZnhLvN1)VYzRIx zR#=aqNP%SAa(Drjt{{pqGBS5^9>co)jW0czxJh&~Ju11FM{v#$ttlh-8y!nhE3Ma}xb2b%VoVBx9%Bd9z>SXL6I26<8)3KAYC2RAbe zqnx>erJEHi5!3&ML|p7l-2bzURI8b5C11Ccbc*Uos0ei=+}t3IJ6i+<8kb>rbb=L& zc8JP|;G9DsBS}LG%OIuT?d9*T`{rHpey(zVj{54~Mx7eG>b&|8yg+_Pbio*n3xPyIXNZ0UhU!LC!)H}fr$c~Nyzn^T6_oQb<1f>v2 zFpE)1A}Tjc)R4AHd&E%GyI%t|__iEaA*DS=L9FwSxOB>)@7Vx?pB?NPUKF7^SiBQZ zAkizRH+Ov`PjX-Y;;$pkBaU$5;+T#Bgthr?OaYo& zLSHux&`_Xc;$)yd^4)?$LB9>|0Z^W0oP7s1*1-LO)xWQ=jFT6ROf*jMuy3!qSi}KN zciT4Ki}wItIFXLdUFwh1mfhwr#LwA8QKB6rr2bNG%(+9S(U>baF?{)*y|xB%$2g)B zqY&G5+{1%`J)E?g{Ft-ZMD>=k4XBGCX%ymtQ8OM3Ym#zFp9qwH<#ct`LU;3~aa zm~l<6jbZPekO$o~WXqeZ;ZOW&n_6RjbX2DA1_6MBk(GYbfN`cBrpG8R&moM(GaX!s z39majG*~ewnTlsTd!h0Y`t`Ld8GxVn_=*r42k-1B_S+#kkdhNQ@0&TEg30|>7-nE} z<@*$Ot{KzuubP6(&=9E7Efd17I6ba0BJK(%ID|JvxT6L(%Ybct{>gBkb}{~kzI=gn zi4TDGNOt1nZYDwUFKK}Mqy;0Xct^#!NkZj=m%^ zas8^Pl4B@u=@i$1_!Y?={Rq?(NWD(S&WG95T32pypK z)=dpjAtZz;**^D2&GVBZ?}CoJQJAqIl6ms(ep8w`ELorIS9ywxs=;rvc4&j#Vm#X_ z{i>vYHjo{|C}N8_$t^%;muYl^V|n7QP-^{VB|T5h`%KewS)JD7g*oQnv#~b*w?zNdzz%s;ujXRg3AcTO zQbOEc-Dh}9`aKny4u{z7Q_(w(nvtR6V=P^Jx>EsCu?#X-O9DFXKrQBd3`lf2z9wHc z6nM#p_-99Tf~s~nGBMDP7hKNDvt4(4c4RV5D&vP6ku5^XSuRa|7?wm zr|8H{Ft(4f0C3#ZR-Tfk%NAG1c|1SOjt&ZnYPjUU18mb$Wx>de5)t=H&x*k8VrZKz zu$*xteR~YszMioaZNJwVC=F2^L|ZuU=tgY(p)1p}phkTicfh|1o^zSIEzqwKYr3R# z|L|sYUs^qGaM46z1H_9g;XqG28fGwNPK$I^#V#NXf~BD^Wp&A$BvB9IvF5QnAO2RE z2cS<@L1@>6hd+vduAL~8PyAt`*;MyU?P6gq)yDw_xUj*1_vQbXrM2l)JETIhmS1-; z<{B+yyi!k>9zZ&4Uh;D0aveBUl5;~x1^@Q_jD2|^W|K>Ht0JrxoJ;>8In(#C!Kyuy zqL6^L>$-DlrvA~5P+s1Ev*4Nq!7b;Vs;?aZQ)KPh_8tn{vTgv*z%N5v-DUTzyV1(l zOVt+d?bKRmMbQ;e4y%*rIu|KO%55HO`-4?nw}gM4!oXi6@f zz8Ps%fAwm~8`z>TBe!3^#=X`zhFG8rU#KWch*XA@`eX!t_~WODK3Ur-a?y)pyD;f* z9l%sGas&0xNg2Fj$-K~ze<CgRW*B*7r4uiQ zJx7+Bxr}Go=4n`{S1{WU-6TFilc%EqP0c0wBw>j4Q} zKTCacyvt`;>tS;Rf8H}4cDuwjBx=iJ`RC~lt|0$1Th|ELvXV||5&7!d4Qgh8o*tggH*AVo1>wa%u*WjO4oI32;4=~| zsND*B0^}~4oUDjjMeWO?6Mg1?WC4<2AhMZ-N2MW5;sV4QKltmRY9eOz1&hQNl$x6M*=63=aqA%$_Uzc( ztu=-ZMnUX|1}e&_nUg*J0};rQm58s^4I%U6vk3|HG#uQoI=pHkc~WB~{{a0MjTH;5 z*>r|odd``)j~jK#4?7(2XvfQ0Jh9%i7+h!_tR226HKL0>a;Uz#ts7;;gOB#Z?3~XZ z@iPko*>Li1rktyx{C6L1JG#dib4vs|j1Gi>6LPB(56+0Vv316?EVEyunDW|IJm4!n zWiB-eLLVSk#$zK5)>BsQa{&HfbDc~$K^loWiKma$VKsN&pHK|$46`fu?>J3JkbQ1h zeq`zeCAHqIVO?v<;*rxQQp!Q%tRi{8`ORC`uJt3w<{hM&h=>3#9ME@Cjtw__!d}O6 zl~N_aMOwe2&UkY5zbK&wwdpJoJ!)s33cnkwB{gSTI8-?~gwdFHPJkni9#T~$zqM7x zY?k2G&#=XXxWA9q@THfs=S%H%go~!$;SK#C=r<^*^Vz&BUl0S{wbOi~4&V!$?26BB zV1=gy~I@)8R8P00%hn|Q4%+$1^}<# zBa4;3t(2fgX(J_SQfONF?qg<7wz|v@GaOppa5#o$J`OfO)sC(W2Em=s&CIUL*`l gNh8&2N5iNS823CyKEWb_G`N-wN`JgCZ;{9zZ}e)bS!l=&neT-JM|#&&rM+qU_y zTVCyYTkm|VSg*a5upJ|rj$b^_$CIWJ1MH=gP2Y5b-$UgMAFIHVyXg8gxW=LXyOg>- zwheOTYRGRC#%`K%GZ4+(&sW0s#BO*Tbl*w<0e*9a>W!x2!IHrHe=VlFp%q=j2lP_8dw-%Pm5OPGkvqL>AmaB2?RXs{OZB^qtkeIv_ zRin&kTbG0fTcAY|hp?2quFujRW~qy7(i^Tex9!#*dn;XNXQuuNeC9wpO2gyRmY;4tkBv%9C(%fXPb@VE7-E@-Ue<&;oaJ1iib9gG<0=i` z2Xo>Chz-K0mN@%8gCuWD`Nt9Ikr?HPp@XQIl+pm=q&h|s}xQ0HA$@5lFg$FTf(&9SYs%3UAqTl)F`h zSA|MUsM0HIJT}yGgr?Vz+3(Ry5){!s!b^p_JBNWg_R}e0(v4?F0XdOz&FrztNz$U0 zRDSbA?W%E-4eDF`LC&Ctu6cJ>W4zIbeDVbQi%9JzMTzfN{YDEqomb=c+HZj?d(3FCD}*N@C^YOirOQsFOqV6l((qm_DI>s=YYc-XtD5ULA%3cE*OZPD-<0#z6TEUHEeGM^fKG$*QQ~N- z;kvlk5H^j4f|?ZYVuw{9E^k+egVM;uSavt2~ z@AX-5#`tT3^Eq{m06^2ZoxAHJBI#|InwLyP2lh!O;>j3C-4n+C6|!l}zpLv@T%@GQ z1;ck6P@b5n`t9Lh@8HQJoHACF4ptGXtef|fu3mBwm8XXmQjeq5dFVYEO#2C6g2`@g zZ?{tN8>Rk*vMXw*?pl4r;h$tBb^}ewi#za6t0E2N;+?AbQzrLXa`}6RR)N zxYRrsa6jTy2xjL=cK$7LpZ|NXrrU6Ch8>v`M~MrgoZD2!NLubh6qLb~ddJ8a4K)Io zqq?Rop(iVrgM)oWA7_leFrlDZStuQE9oe7fm=UL9db5U+q$7~zDFQ1?2vOu(h<)WF z$FrY5w-mTo0FGQ!8ihZJn$McifX$KG_cL7uBmeVIql5K9)A5+GFhg!B4Q9y`-$G{&fB zRDogxPbZXTy-%ZQ#oijT6iE9c5I|bcMcC@RyQjLK0Z5fB9+iIiln>Nw=e1D@mxooE zFwMyJ*r?();PEq|pL}`c^(a`)^L$r}_60xNE`Q{0=4FkDJbX%>G|ap*QuMIY4*lsm zX(iTEUZvT8VQ9DiS6kg!X1+J?y#b5+OYnnr#~V2Mb9@GNmbYr=2i}WCbFOqn!WjzM?6{ z!djS31AU=(*kXYE2GSrpRC8Isek;`_K#jMlIN&OwmJ8lpBGMZE{-=r~cyXz}&pDR+ z#Vx9uLa`_sT-f*1u~GG>5^q(lMDTSA8~i#)5uTG|b&y6f%Y?;B#cqKble>d3uH;B0 zGW@QlVz|fbI=i~8{q@E6c68cNWKpEX7385U3-58x+)I269JzsszsRb!4x}z`(noj05&q2gefE+d4u!rUl3q0fxFimXJ<+c= z)e!s(yIUxs08X2G2g>%vM#&_Qq9JoYmpSfHo#VC+uWU=0HF*vIO8LFMOv*_t4 zVOeNN)@#ZZDZ5lKqgZGFyV8|EO`4Qnjba>i;92Sd8_CXBgW9Xit+yRxpuxJnhU_0T zQMsfEN2@>t!dF6y*M0DfmWy3!R=rZ718X|yDI`yVfQedQz8fzqqlzp4{F2*2U!hos zT8PIg@kK-obpvWCV`uUnkH?^Tk6L5is{^jv3{8`~AYlbPUz{X>qDXRDyS5}&nB_dH zm3$1G8ckz;z%ivXlKMDE$6jMOlVr|?o3E;{6+Q1P^INVQ)1`%U6Ey@WVQV&1((Ix% zLL-ZfQn)}a^)i3bp#pC5u43T#m)7pJ#nHg%1>rh+p~9$s zOdGZ?>YXSvW=sqAKr7?U5!AwBLoeAMtrX)ZT-P8ol*@Rj)*?4E6@Fmc#^u(=dmCIRu@AE z=W-3nlh>dYYSFKfadT?#+{=}>a!LNSTzQ>N0ulFZ8EU7Mu=ASsv7c99W{5SHzaCh7 zmx{UY%V~Dhbm~f#ZbA#13rQ0}aJXJd>4P`@vflxqS(&yLm+bO<75t)-8|~@xthjGggpE;FTHmrd^?Z&X{hzo{DKPCE+Bgj(E!$OIUhIg zvX#iya}G0d*4P>`jZwS^Waw#CnYY0lm@;q>7MIrXua=K$4wD_j9u0{N^Ir8XTqP!o zf%ybj>{S}oFV?K(WYn-fX+DA_i8C(RX`JbHH*c<22{OX^LbdB{TvJs&Iz;|Ue%wZL z;S z9G)baPgk&1bxvIhltdZ(c0oah{UKd?bj|=ER6w>KhV%*M&s0TqsGZ&_Zbj}&=)!lS z$GNSr@QEXN82itl8{!zq#~7S(FzOXMot_u_hkC7wg?S%daX&@lmRKEC#aCmT(*ZUc zv{1!V*#eI!IMHG`JV;}{CLU;o$jzR?A5wPB%$7&u4Mn$lJX8xg-vxW#kjyIvvbW$8AnWh1~dtx`WtjSmkJtZglCJ64yO$3oM~g(|YQ^*wPp zQLHRF5C`<=Sb)mx`^^l;$NTBYTlRw!Salg0&X@A`qn6TE2zcuVbW^50Py8Sw%~YpB z0B>8m$>2KC{#*Xzn&r8sbjeX)N_9j;Y?R?fp9Ubi-mM=cXLYZK^1u#xF9w**n_Yra zUEnS%_>Hp8H(nB71*L%a*5f@P{}@iiMgE|ADL;&(ZdPtwQb*@KM-tskh#R76mv-h^ zq9eVva~0ctev_GR@+h^`H<*e^9IA4Xsz++)L4VWn*t%3h?59b7xZjYnQ>hlk`}K1s zXCUW*4nl`YAgFTKH=VT6!T@X`lTeV9P|(kKaGBO~?HR`GE6gw@$|9oNwvgTY>z>UV z!zynDg(>1vi!WEr+NE7oBJetlgmjwwZnjPDoY#>dg{y4q!ygm6D+O0td;i~73ngaG)2LDvh4+0QynvyOXmHEBC z_w4^HJa`+GCsdifdg}1^#x4vwl$Nv|w0Q;mV^qd?ye5@Z=&TNM4~<5cz>Y6~@>7yw z0$bS;qB2imCp4TP{9RKF>MLN1HX-w#P z?p{`lG=p}`_I^lgS^=CNxrsc5v`E_YN44Dr{pEzs)aLuvM)UHwGttC_n>A6Sl+YJ+8>kU-#@XZa;umJ02tdb>4um1Zp$$ z04+_r!q4z9FuKItze4g62g}fS#bIOnUsdD(u{JoFng7SyaQ84*%O3AwM}cAp+zX)) z3fQ};5$5IUFAkLGD6kId>=X^yL+B@OgAD4V;OgIo_Q=Tao$<4r`PTULs(kUc5mf11 zvEi}F=ZOyCUP2>-4eitB(pm=xrZM7GrId6>jX;UU8C!t91A9m}nwz%{*l)@IEzElbFy zWjcyX49nzR4xrmZocC0$Gcgy2De1o5NW|47o!4Tz24!TlEL z0|lewIWUfmSU4Jk_zY;_(`ykEap4}S7O)_>QkQKLg2ZA0rsQzoKr{H+k0)Mc+t-Ei zXOLchgXsH^9tCw-JR2+*Ljv%#g>L`-a=t+iyx}&2^#k)=WnY0@Wdp^70v(xH48KUq zz-#&f=JLo!3G1MTwidSuY!K_1>fOP-gXo163E?~?lj4Yg@J_%U+01@q3gl-uYVB9xzw-((IMkQ= z+v3oV`j;fq)ctrUP?#Y6B-EQCIXV@d9Rvu|mp#fK4}up;0N)?3AH~Nn$X|fYSsu4p zj-CDQRo;H>2(V%fFGw;F;K{)j8K1J34zi>Jg+y z8u}unHYc)Ba%CDq$wvS@y&%A9tt(ZDkyOE%VFvr47T-VU!rGUxhvyjt(sl&5nAsN;n8kK^gaE z>Y5rvVzu*L5iiAk`09w)Pb!e=-Dj^-hoy|H0b0!MA$xkF1WG?OTRET?2iiF4IMJew z>HIAmbwL(BcE8{OIJ)jD=R9)VUfM(S0Gi`wI%YG$iOJ~-Aq$&csz87!CJ&i*S@NJ^ zJI6*Qf;pG7UHL9v^TXn&h9QK9u@J*El~qnh^bQ`u*`Q3w^M~V76v$3GYj-X|iIzwb zn)mbC06|$;md$6B!6qLY3*x(EYS-4xlg`_-ec6YKR8FhJ{!<}&A0;gb7&dLV0XT6j zNp6VmWr1GPWY%hn8ZRJ_f#)CO;%>O!(Vo4PSDu#oh3s&293xG84EoG=l$>B>8C*G$ z?Y!pjHe)OIvfg?m#3n1F$#dDK$PnzVjzOWir$A{F&3-ewud8$+o0VELZ(s*kCR(}( z)~1x*l__-)Do5w*0k1AMg2IyPDq>iV7kWR6*@|{Sv$*Li0X`r_3ky6#7sb@7z_y_9 zR5yDNMFBstBPcP|51rKpY)ZcNRUy(6io2%-jw9mUl>Zm$bZSFvU?%COp`_jhdVRTi zW&OViF!S-9V1KBYQ0=r5v)6G{9dHeql9$3qUo-1RS$%9Aw1)e4DQ+54F12Vr#GH1x zW);YF31r>fc^_Z~Q`a4GzP@gbyz&Ndm{!?(+%ymWB6(Jw_;@dMnUo*vdL8p0-_3|qv54_~4In&A76u@f%U8#W+<9G#=cH>xez`LD2w8-O<$ zDfE0JZ)?rXtRw%!@9AopL4>D%xID>Vk@fTQGcsEwGlSSLjHV{_a`jSk)(!l$b5aa{ z)AYiC5Ct0@N680H4YHW@3+QjWeM{wUObe<`QY(RhT(5Oh63u@4H?^L`_YPN?lRc#a z4SOtjU=N@bt>to$IUKB_3CM}w>#a)H=##rY?Iu7G{QA?b+&4meKE++et*{aNpKr<8 z4C@?~2|kv_P5~QD7dGcbWbTi14a;J^DYbgKl? zRLT|7<05%vn)^=6vpuJUD}K!OZLB9t*wfg4mz$A{g}qoCbCQwos<|+&wp@EaDqe)W zav}EgmMe3#~SMlD)RW zUi@hVH^`qM-nvqr3KH&S0Xtpb4J4&99pyI+ltYU@Kc?i zz|U5HHyvUfPsnGNH7+!Ah>vEhVyGs8G@Nqe5iiX@7ckfY@hdKd5b8*UPiF-!2?y|% zUz@2`kjTySZX_VwlVC5Q&cYbgRVk8+>>Rpt;kYS;vS$RAR|EwA>pFJ5@$!ejQYiBz z(pJ>zd=1`IEFQsTqceGpKw2s?N zD`z&YcDV15sKVYmJ2^2uL>%OX6NXKaloDBgPX}G9MRYJjpzu||EX3^82<}o%_U7*p z2M3P1A#LftT3rGIzioL`HUW4gwNx4!N=&s?FY6QEkn0cE9I@%$LJ+!!FK3;vo)NbZ z!kfaByCg61c9l@J@4GgZbPQ~5AuB*pX^GlkQiv6N6>rshe6#7Q=w^Emja=)qv2;(z zo%Cy35@A|^86eO$p6U0*!{3u9%%KEvAG&C1IdVuyLDcDs&rFo#ZUlsO{VHwZT8OUC z^#ScULhjI zwHj>Yh_h(<9B}45teyL$JaHFT8P1^~8fEr=`Zh}BDsI^{XIX!s_u_XS7g@Q@@Tp{W zaUM#Ahgtk+*|W>gKBqJnJ0drO6_m#L zBQAz>J>`IzAvVm{o(|L3;lVEF%h7dU$7onl4H+yS;W*{#D*?*slN?S76ykipIvmD) zLsF? zq`H}qe%$T+`;|TtQ6DsNt*mc>vg5Vz+&sB4_R!}icBSj~7!d0lS@zSZ9YIWcmK3wr zy;lPN#zypvEC3A^UKScf1+Emfa$hHStH`;gvT&gHY28xkNRi8}p!~`V^gULgRdUYR zk4I_MgT<`SC2gnBC-1rYX!K0=vv%o>H&l%GTFXZ%)g2mSwH+Q*%JhV%5n%BN z0Zlglh?{6dlBE-EjKLwE@?-xt*|ZztA<;cT*Y2akKWP1(I%e8moEFg$2)s`=K^n!7 zgT8&cmH~_qDTy+D_;osHH5_k5=CwwC@9jD@CC5KcB?<;9pXKi~N22VN(Yh9L9#tl& zb`?sxnIXm3Jwmc(OKYx1s+&bjPt)Q*1AAg)t;njb% zrDo@?zLMkW>DjKEm)guy!bpe{w$#@Kud$7*W6MP~-LKp8obIMQEMqoecZ&~m7fybR zoCBbr-uL)08P{wFzV3epU#q(Fir7SHJ#Y|!3Ya5(AySl!gtLS7AN=%{x5*&sIcJa3 zHdXDUau6K2Kz;o9Nhxj+4K}jXW$wi-BW={?^}Nk?R1+Aqc}_fAj|}CSFTp|%Z9W2m z)YB$+Svrtt#*}7e`3FR7(-kVoC@}6E-)E-xV#zJCfO^Z^ui;nh*Nv%}4e3Mpak+T&z$5)nO!ZqvB z>WG8ds}v9jlooJTP$9W`*)o&!2i&nVV#2H)4j%{m7SWBF74Hbiy*3jw5Zy8}uJj`bk=6VMGh7-+i5DkF2@ee4L^jEewh3LqhagE9YY;V$ z40tHn+xl>L;iey7n1&VY`&0yji}et{XqOAd?RAumYJ1Qpg2NbyR*B^KFz@i)AJRMO zT7_b!A+EWIdFlAM@2^2Pv94EI#xEl5-l3>GN_LlDij=5Fl=*y1b1O3;(7`Q&w>Nqr z;b62JojHt)pTIg3sQ6;kxq}-oJ7X66D=<5KCurpnhT2SOrxLL;UR#cinbTiyFj0ID zwW0TtM2K%Y?`?17D{sDWjTc;uH zK{o?%FhZBeHL}kB9Avm~!dHhyT6PtTQg4pA|5 zUQn6>|NP@96eY?mo7U-2VKK9Bf{B5jV9Hj~V)>3FgKIk%J-lFke_>}bVp4izjfvF~ zDEvNA5t|udXaui2%HV4HZ!rN2ZdMDNM=}{jvCY;-hw3#3*K67CZMb6uQ)@S+5&@n-6xLD8wqBNF|_>0l;L z1ID~+rxkyBt@0<6E0?6>Ft7$wck6|l%H|_a=wsYX%sxt?TNpE4WMeA^L}jQ0m1FC9 z0xQ?XPZ-NBA;dhaFZVf7n}Cl{#z6Qr3n4mqM;6h3mtq$C^iL3GulmLCYG0|^_LkWT z0}{5U`8u;sQ?=>^%@YW{FqJ$Y*q+LOsQV{b>vY5no@#Qq8TH75Ko`(9zhR*VmNYF{? zyIggh;FS<2AH(d-rteP3rC{zj(k3t2%T%mQe_byDu=avW14MJ zO-8r4MhZ34zQYMa>Z4KA*9s!#Ekewrr)d7M(~it>@m8c%+&d=)f-I&l9Ll~Q(>M=M zyB@1qXqOZ|A*MRa^OOyB90uuEG$YiQie-046E?#72w$k5gTT}$p5RdPz6g6+qs2&< ze+`q9>7%UCEyJAo#~}!saf~NLXny#=yCcz*FgzqFdxkhj%L4$6LPpSQQfjx2}{})xg3Q0269e#EIp*OqTJ-mcM+Fbv`@da&ew?W$|Bes0sA*az-4{epWDo zP22JQmJ&f-MGMLm^=9qv_@S*k*eo9c((Faj$h~6LNV1{6ux-JhxE2RxB%O9Wc+}N&+_I0IuFeEr-2PUH|6$%n7ne z^xOG`sX3u0>}pLc{QA(THEQBcQ}9h$e;#C_bsfK$z@#^I?^nXmyXggO!_Ak3_q!bN zdrpaTp;PC3S0zu&jt?tAY;<_weBc5@BYLd!)%VuNsn%zW?oI$qr+HiiG)+Q8R$i-B zbl{%o<}=vgd5^HvEP`Z>2AfDaYniHt6X+S)tnBLjkB*___)^T#Q|UH)$OnEUYty-D zl{2%bBM(=e+o#pd%gS}QK54izbR4RuN*V-fifA##10XPsUjP}$>E~ZSuy4$$17S(2bVaxj&{C=mP95EUh|EVH#8S8Y=8$@Z>HWuID;b<>)_yS)hT*IWEG%~(b^p>!R(=9xdfc<^$)Cu^B|r8@b}Z~A=$ z^#;YOdq{nD|5`AuXt!aCdDroQbe9IJQpqD@da3Hjzc(oS(92qzOWaj_0BmN0V!p&Uk46eKDqP;+r>w zJH*q3;j+Ll&*nQ>I;!`}6wG*ChxD1$<>_o2TVwM!ver_G%jQ|DZ-aFIpIdPR#&rJy zfpekM(&p>Ho+l?#7k9F+x%UxmVb5+Zwbk>$sh&WV8e^fQxSJkrX`fAs8j1Er zS1GskI?njb>E1en-*|b3g?gQ12F2M$SVt1kA_u;uN(vKXb(oH95xi}!b!C@}uyRpC zlJ4cOBHc$MvqU|OKxSV5YYP0)G082}`2AC~?yLpV2xdIU(L&1)?Nqdn!DRaIGwX4Y zl(0FOKt;90;}EZyVxuu>U|vZ^nG>NPYf^oC8?f|(Hl4s&7mxveU@m~3F8AAA!_S53 zSmu3sGMktQ!0-?g0p17sVwurA+|T}nO^+7Ad@#zr zIYWgLY?f#-PI%-AE(c&RY zWjtl^;>HjkbyRe|*I^V}L3owsi~0ts?f0oos4LZYZ9 ztfF4p=rr+#MqzOZw%=8?;HS8n`MPa!Gr8p^BOZT(0%mB#J5oJ@rGhwd)`1rW=$C%u z8h7c(*eqNg#o#1fo-#n>CyJl%p|G%D@!4KCUlj6!Gg7x#X(ywf_8^NU;Gv&n4mTbF-o$lAV)&6~OMwOSxb!liZuik>4#L zpqopfI{BB(m+M==5_xh834dq7f!-;*NTZrH7=oU4<|CvUqYVkwephi_xFTAYi|jHH zD)m+R;8)U38RnpMz&;xoOl263j_vB9ZT(UPZ|;zX%;C;?u?BM^=6`ma!EEa24bz;5 z>4ZMSkLb)em;-1jZ!KJ?c6NrP@__eS$<|%$B$iIOQuaa`)yLNJjP&+g+SiRwf6G+> zN8t87s9`)T^`SsI@-%O*1m)XZwQsPkIuCQugr?t!S~No)et%n@t?Sb)z+ItzpwRjy=IvzXs1>@a)+|6C`Fq>XA~l;G8_>bYb7&fhml)b( z)W$YJZ5!Bsx)rn}m#l1t)6{CUjF;U8c4lB*dQps7@Oo#JAxvNx{rPO>GwftLEm8ul z1+0=hjvcF$F$v~sw6M-B8yG&NH|n)Wz7${5E+^dqAF3pv${L9Qsq>NRq8<9Dk+)*6zwR(j{nEDJeSi5=1t#5iAj+xJ0; z^B8iV!R3wY)R;VLMfB1SU2`n3S@^|TMWCT?vIwgL%%m5a^KIe4AZ*+waE>Q378t`3 z4(J(S5pXwye-;1i{nV}k9l1M>^!`*duCrj@fgqMr!keWWvmm`gb8e`)_V}x+!+4k% zns&cGWT0yZV>B-uYxKLGgPH0be@V?Zbs|$Of=T7Jp3Ih&^%n)<&+imq6(4eXe}NYU zG!!|ic=(t+X}wluvILw_i+hh5Z;*dm9Z$By?`qxnbMH3mf>p+!r$FV8TGW^muf-!1 z;}nh2&#bSG$x5lc4`bY73ju9npn<)B0u`fgw$$VT} zz2CQU8~`U83=^9P0@dM>?bcA2uyyJW>IbOb?kx{*pKc`%UmrX?NcY7RaHh45r|ZaS zGuyXYnCsYO7i8n$63kHV2L(lfuw2M+_X`^z@YD>*@RSr&^_AZYyaK^v6INaHPt|l`?LYP4@ep9me?bK)RG=3 z!&ez~>_Sz+h9T2KkgcO|*fm24yJfZ((u{%ih9N8u!|?wS3xVwa3@EttJUstpK;fj| zMy~gLF7?E}enZME5oWIe;ZPx*2*C zO>wbk%TTcL*WN^BRh^;@DIL9od8tHNT}%}Ne`&|ooy%j_ciyX42x#UGv~vvUvCYb1 z=s0p)#b^%AATbbxmxd-Oz!YZ960`WT=ne{Rzm|r(l~PZff%eq)0Y7k(w7jxH3p@F8Xlo+o<4#G zl|h2c14xGY;ieUj=BfjTSAc#?Ku;4UtPd8a)>amwK$vy&+$t%lsky`H$BB^WW7|W3 zi5KPm+y}duFl-nP1rB4)4Nb0x%Ai28$?hRIzfk&FD4s337GOych9f&*Dh{cj2sBxJ zC-^efZ%g@0m*X_mdCU}w+t$V3JREKw(*$ev(2`&(crZg{QuQ4(>D_=Vhd9#RO3Xxm zHulXE8oI#W6p8|YV)x!zVpH=IDomeWv&hBXoFi7jt|xXcB3Lcs{-j))_w#ib=c+N_ z0E0?c{c~0aJ}fUYD*@?4?@+HNy&ze>H~@VY0iHtZwuv7)=v~eSfiVp35~j5PDzf!_-3tgMtGm}z9{AgCb%=#Kkd}|8sO0oZP}0K@ z4bXk^6FhHHBJ#%3tWl}r#XeUEMNLIZN=Iv*)#gItI=q@d^X~HVC5jk}Cwg0aaOWSM zL>JKpq%~6kM|Gj>h1K5-n!tCRjxJH#nWR4gcwp?{AcGrjdc{L&;b!RwtcnIm=yqBk z{Oe^5H25T2fpL)_cc3NW*VE3JQ;v=jYn&d(K9hUS-MLPPL&@@a~$uLYCoq9-2`7hkD~im0)@y<_He3Nwje*?AU8-rtK3C=9SRkB>H+F~9iOZU z#+!~l%c8g_Caw+{T~R&NS#6VkxnW$$Gh|6`b{=W(DP>;?ae2y3{;$wa=-<~spA}u``RA=FM2DqgJpCk_rJy(D>rsp}k z;YQ`gljh8PYB7|H+@uaO4QksfK=7}P*XVa?V_k?5@^G<^GDb7rY7=7q6$E`5V9e;m za->!wz-cIC1fpx29X#RLs~Zk#E<7!+vCEzM%J_rrK<*)_sFD!Oq0qIKYTZluAX@Xd z<KQ~9MOX(t{z5i6>^!J9X z=xGTZgE2O$9yd5HD_z61UFc!2ghJ*4!Z1}v8Zx-V!4ZkW$96Dr$aM%CN%i<0QBsvg zzZsFI+e6(rn~j&`)fGmL-+^9m2_a`ju28U%G9qWvo+B#4LBJwQXzE!VTz2dOY6!3D zGL?H-H;ob4`L48UL%twPr&AzgnAh#2*R)rM@%V!@0o}%MdbzCCsPNi#3%yZ+%)VtN zzc!4TxwZwb7Wa!1!}C^8+IjpA@i*Aqa;}PM?7wZgn-*+JG0gFH+(oN*9d>WVy*pEQ zCHt%(T)k_}{HOQW<|Q&TFpZ~KZMcH;>n2S_Am#acMqsCok=jSSi1UcX2@mZnex%NY zO3A#$t%CYs-*CbU{-`WQ=kTigH;KkqA&HGvhc5YQZ(U=btEKg`i1yY5YSLT9eMWI* z!TJ~5fv`uGqyF^wziE6i$Wz|k@&;!vFYUZ)8{CqnQ{%X zN^Q@liL+gTMTC`x)z6Yr^e`pEcE&`5-ZP2IoEv&Tk5xV_BXW;lP;PtU>#qQe0 zQk7&xZKXgFO-@qJU@xiA>VUDW=={7tlIA3i3rc4H7Dad`V!7$SF@x4Ql4O-9_~tw2 ztzb00?ziPDyAl68Y3kuT6U0%PtO@dnm>M`l0flOS;lI*`W**m)t{D~gIM}}EFTegx zuk&dNlqckYPCV9gvr3|~2db48sJ`F9szdY&UglB8A(1Igi<8W^JBvqu^F)A!>!8I9 z>kt$f5@2^=n$?(fyX4B>j9kC%&OpY1RGisdnBd;s^qclCDh0)J#Xg7>T!kq9EP^V21H zM%I>}leU41Yc&_B@zXL{$Y;t59N~Al*uP4nWMW>HFWpJ`G;ni>l%84qtn2r#SK7%i z5_%>+P`$dT?IMs2H|yMdRNJ}@J1)=*&|C7r3UvCGe)HY#Ijwsr8kfxu(^`4&`<&in zX52yUNfwkls^y@cwMB$^k>BZPD;;mxh=r5`Sp=l6dKNs-PUCATY#0>kBEI$G;CeTB zKbbyNG14gg(P!Jyw)%O^$!;9Il07+yK}`A};7M`j?({eZt-r#ItVZ^mn#)G*eeVq& z3`weWc@jLXKi`Xs827;4R%@oG-nwcFPfL-d;O^17JZDt30XwjHk4U&OQ`I>N{Gch1 zH}LPN=q6P9+K8Uy)62xl(MUb%9IgS$!>eh@e95xY^qwxioitx)ZuFF<>E5aCo5sXl z##etcD`mVsOWL<^{9V}HJ!9UQ+;~JRZr(Dk0_Zu)SSbZN@-o}>DBS0mmT#fbE-&8K zUonM-bU_)gXY8l6A1->F4aO;kNX=yS{*NY^xRL z6z6$na#C3%P;u_7X1{*qCO)3k@?BuXaq0y;KhX`i1k=I^p1q7iGVkkp!=}-3UTkPU zz%m}$zqg85`K$qZ2YHUX+y*{nQ#H$(0q%OoTTt_H{fi4#r}Wl4%@4c4aw~dd`SP<; z{%2g_e^MY|@ACEL06oiN2QDfk6Er`$Z{uag`H(BXvGcI^gWtsR!*w*rXoD)%U z;4OUgCAsR@D?LL8yIxA4lbsEbJ=HX6o*FfY5Q=g=Ouvlb%O^q?h5%X$j?Xjg35v6e zR2zY`$%%kM-W(3&Z=c4#(hf?%nx7;bZc>ZKfl(om?Vs$Rk!NdZi#}a;^lehvqn*+= zPU6CR#tFDk4OT%7lA<#e;#ceb1Ahzk#?P$kg*`!!1o0*{SjMcgh$q~fYgqhYq!*zT zt`@;H#1uiPdwfxiWb)HeFid^$?aRPP=<{IsjnXF4a+8u>-OLc!Y}OikO|;GFXaEUc z!Dghv@;zmDilO6#Mj6%2J=wKpM>7_ZE3S3&g#H$hN^qwW!DU?^>JxfB7@7zp%sgYR zYF+=XERq#-IApBIWOzh!XS0X}SdF&Ri8DY#M@z*BjcBL4Pa4+mOeM@{J@A6hsW|>u zC3;Hg*I*U={@jL9dB;Ah(eH`51O4|sYuQg<&2ObB^24_`CXHV6$>JKpOv`QIzuDK^ zNjy682wWT-oIn6yQlt*a{~6clG!XJ3vq{-}b9JNOM(ZQz) zR2BFXh{|;Cx^4K2b1ahs{ z0s;`D??sVcUWnRk)IV`T8(DXJy;d*}=t#czyB1ge5h02+>tEa-CtAgRoeWh&O`Z(z zAl9J_rnkm?2;*3TAw?mY#?8o&v;@!V6VKB?(vzE^ieet!5Pwie@Q3!r;X(ydAbuSW zqbQWoK%@*(0R{Uri%4SH;`~s>gr@<7p3y(HvxA z-R*fLqB8I1LbA~>=KSL_pA`}oD-ikih;Q zb^G2pdOKXHsSXh4_plN~FYxxqM;+vY`tOJLhtmo8f&PQoFbC0X6jEcoj9@U_8B-=P zDr826Lt>Cjd=v^S%_XvwD<#Vze8ZPQZ@;UtAi{{L zahu7#_yZq%kEgNyw<&G2v)*jqMU+!wVSoBnZe(5r5{#sT2YPKzBCt_P{_0Uem~_ij z*>GR#8~TXM_L@oN{q4qgq#wm<8W%?K&&Bx(Zyv!*wi_r7XZ&7;m5q{8>g{^aU0{9M z6!$7#XpGn30?TE3|L1{upX>dI?iw;($@(tjk`IW+&>Q1;g}Y`jMC6vK1WmK->hD*` z7%0=|lQU;W=I0_gUU1$opppei!*=`36;#FS^VAYn0rwYe`bY~geXrvm$$gUW1xepF zFsN5F9lI5I=3_BVs~dyeha%(7>F|GgxRqORNvoh1_^9#ai6=x`SzGA4>PU50HhZi} z=@HnG5bNKEO{QUE+%n7V(D~P zLjYVID;8kXcm$bDz#XB{=7Gt0s%0q+@ASwjH7PWgtM zi9)MfOjtCHZbQ%YEQx#9sEqOjzat-B&1`p{KBO^N`D@ORaa} zSC^Hfp^f{-Z>`M5Xj^i!=ZYd#O_O4U2j6r?*^y!}$0CGpXi&;zzMt zCYa^dn^Q4P_5pe0V$NF(7(7%n*#51G?RWIb9>6qqK`>fPi1c_J(h$BhW>Kx0&Z=v3 zWW6+K{b11SyUqICCv+&@6y~J%?p?ZBn_m`R)!eCvoV686oohX3+ z`EBJtfdqw~Ab?krn}bhWLXw?>my?TKikF9v4*+22nFN0#W?`Q~s?YkN7{~ z$rK#iN&Uu*VA5Yg=ujpEu)7(MhgOfZpB`9Y%59;khExgFikHYlIWTPjFy-#G`QH$q zr>eX-lWgF>W`~utRhUa4(|UOYc2{x;x z`=&VTt4BXw)UmKgp={V@$ZGLN3%6)+CP;jr(rSsZprQ~T*AaAJY7^9nZF|>E-OTOZ l!rlDnwX*-S+c1F9=11h3}0kB900XLHo0x5rmQp--mFc7@=D|~b$ve@fa+!K$|0w*MLLmbk^ zg-B_F5*Mj|k5juv0whk}wP$B`MrP!VFtVDlf6kk7cDYo7AOo#Yk#b9TA%R;>6z9OK zBxOxr=rWUv4*f36(G>KyZ|hh+`)bH?$*7OL?-L^2azz{8Y^rviy_Sz8R|-w`9Cu6~1P!v+q#gJtwMj%v@5Z{C!aYQ8JSSuWH|i-MEuj!Z0WuRuyZX-@6(~K$_ziq^AKvZO?&#U!mJlRVzh&Q#r0H>m*gl z<}ei>>>MBxBf_BwnIJQfzdro}MM#`Y?TL*>18DTS!NcafIc$FXaCrEBe);f+FL||z zvwfNs$>!yCQzo18Q0}v=+`KfKpQCvDub02h3pPLR;=|z({b*I^w!5UPBGoqxe4WPH ze_pi11+Z(niR1k-&uQ1gW)~m#`7z~9Us}E0rN=Bf!#)V*k$q*%*c!)}K|8I6x@Ek_ zj+V!hlPzAi=^?TM@Q_CrzuQHRt!e?%48s~!-cM$?~}=3*P|cotU5LdBofoLin! z&P}|suQgASSm0aRVbJx+bilkD;l^Hlw@=(cwmZ(q6gJ~GKxIxYZXvf#tLSALgD7Y9gLBgbi+tsR zaulj~%`N7;=apzPFQchfCsbCac>;YAzbBc8h;i+JKe`~`S*dd9FNZ^-n@@6e@=K&K zZn;+(x!HCB$*#z7BLu7lK-3d>Q9t^_9_$Dx-%vEXom;ykxg)GOX?AS{e{qk=bj^%; zk{lxM0Vi452@WLS0OWZmde!@*1c6e?fLs}wxo9m5C4{h?Q-39Y*eKCRpH01bsnf3z zS`06mZ5$#x84-NnTKjRE!%jRrX%U?91V&~?J1RD57)(7xBL^1S?CI3F+~@f*Jem?g zas(H>oXmML#4{p2&j`<^fCD3|=QKvh3viE$V4cVwY8q`1 zP7nB7cw{Yy!97*CJkYy(S>@5+r@DiLx)zA8bQqi8fPsO1Rd@22ZEB|}W}ELs>fE+uD2dQ7Xl z6*(qg!kerZJBQ6QE#Xv<7n>^%Yuh!uI|Fob%(Vl}lFmBR1&;^KP^&4=6Me#|2GI+a z`*HHe6cqEB;;~Esf7Fv6O4P&3Etmv%N{%sl8d$108>29{UC981r>-}B+Fy$o$2tcgh4qXg*0!kqq&$l z`5{V@AA)H0;K4kT-W4%8o}V2D2Ye-jK$B;0omp8*$q5sSf4IO1AAb`t&I<(Bhke)T zkLg0uIZGExw8RjgjC||XTDb;{IPxGwCI#Q1j)bvTW|l5;1q?chZ*SpRk}m>1`y!jG zR62;)y<0ffip$Hb4}LEIKr&bMFRG6lBZ|d2Ru%vk?Uz}mY%GtR{Uu2X&W87$oh%FY z%kKL@A0Zn^f0O{0$yWf=Xf(JURKKDG%z~I^27R77g5MM^J80LXR}mFs2ZMP1$nf}j-o&M@mpc(tY<9nZ6X0Jyt4 zoi!&_o;9)*>Zp@}AkecU-pyC{?&G;{qLN~SO{8_gf7-+{vAgxiyErN1__jcFuQ3sQ z^$|2|VAOlHQS1{sH8B;0s0?~Pas@g>$wnlcPwxjqxJXvAQj+Ycwu33f6XO08C3#%Y zQbC1N6ukfiX5vAqI&l*H2~mrZ8qmK^m#gE6H$wrL4!>Tpjqv+&{f<1yW*i^0a_;L^ zt_49+f4e!q#?e=93RBONWCzYR5bijt8P`(DjLB%OCsPp&0&J}SU@C6a$#hh8A%>a| z=l7gbnV2g3uj+z?xE@-xy{G9yLPa4#NehnefLM;%#WI+(O91L4=An-aJHR{Y2^=Fj zsabpNe5y*T3`4)%O4=Dj5=XEGjtDIurMe>he?k8?8Au2kJyQB5=!$+K|4FJ`R9NNg zdcBW8RW2Q4K4((|Nfnj{i!Kb4YgODW7`Ich%}Ed}v*pI~V*r!wzR@F7OiSZswvk7P z^zq>$4RU^(#9{&QtSsCnXeJ1C=C>dOIf2S%lqh1b!q#+J_6dUCV`d5}G>YII$6vm_da*Q zSM$gp8(-IPr3WJTWB9obRh7g()KbVh0H45UF>> z?aE_Z5%0n1JUz=c%c@5c$+BbU1w^Fef7{u!G#fw$9yczD*j^AKYetfh>K{bOTgXn> z2xFc%kWMPTEQS=vRZl`WB#Rd%AfpX7B6zxzx3E0Tpx)y;3<^G@DR9C{)*3>pX$FiM zL?P8w>>X=Is=V#qc|;4}-dL??2tv!)MdthZp!+p5o@+o)dTf?NtLX;t@%EIrdetX!=25*;6up3MT1_vQ&0q!2%8tt z55YSJZoo&d%`l6BMwU;MS;0?~@V&oA!a#~>n#z5I0X#<-07Nwak>}#K6~v;%P9Uj5 zSZKqORB#}*h&YzUkdO2t@W-yFe;nzJ6MSn4T47j)Zyl1kG?P#Q=M!KQBu{iqL@vs1 z|K^uPU*T$Uiq~F#2*e0Oz8tx>4{WO}pZ(^a=BO!gR7o7gj(7La**?_g=(XRlcR4Km z9((^MdXXN?>ut@{(_(+fj-K|}u8X@}m;U(}6kX$UB}6oQfnmW{#mee(e_?!8V0=}{ zRm|&+r|!PN!Dc6n1^4DmTOHSGlA_FgsN*MR2I$eS!t~Q?#z^5`RgZNay^l-X$7;;t zLQ+4>g^eU_@boM%@krhi;>3FsK#y$>;>a-Y>$4zPMZ-w(%~+x`0$~zDjBiK$@V7~E zPX`0?7To=ez5IG*?E`Wse+up%eF+@&lJkluWn+%#w-!;!|F`4pd+hih0~(K|Vs15R zrzLTGpsHG@NdeDe^MIYf0`SLRQ05|aP{2a zt(eYI*XSyXKMooG0;6(={)Jrxby78+^lu(vcERub&w`Mx(7v^{6L94fIa$0S0|8ZH z08pWgfD$4Q^?GG}1~*}M9JLN>l!cFp={GHAexI5Ht4tww4x5vwNnE?hSU>KS~Bo#^N4oS%YL=lvf4hbnq0V(O0 zy6AV$Id^^c{B`g7W7hiZc%S|3{p|N$!*$odSV$R+w1;RQ5ojSXVNqFt9u#ix;cg5> z=m@DGVPL?u^BxHomnsSZL_?7XH6R)y3x6R0NM!xaDc)f z09Abh3vE430I#N=DL@l~fS`adfPsfS3*u9RLKlyFx(F>thga5XAL&ND$x(LBXN!?$_S{s5`(B1w^2)XMjcmpa>Am1N@u7 zwci2xhmb1@d7S~jj$MNpAl=dKAQaRU4Y;mqpr-K`PqY&d{kyh1^g0YcI$URhksy!X zE&YjI!(2zvKq$f;fQERZf7h~y0Dr(xcUKtD=eqVam@5kUhlYnc6yf+U27&+-#1V)B z!yxYN*D%-Ezo+xBJ^}xud!VZ;%;(Q(oBm(9G07D!|MD&p8>yiN8|9_jx!v8su z{{s^LM+E+l$ou~j_wO40k4yajz0ZG#*6@JA^nmc|1^DZM0bIW@?f@OY?>FXu&_#m(Y5c}eQ9*hG{Dj1$B>+MaqSDuwO;iFPBPoOVH}(DiiT%sg z1)@<mAbVNw^L5?zV(B6Oa#u4wjHf9HvX#q<;oxh@qnhDvkQP`D5_wWYmbzgU>9;+q zGly>}CHi=Iq0i9hNq^xvA=^NM1nTDYF<&5uXI>yJ=aDOU04TXShOUva_6Bv;>-7!p z_|@Yhp7!p}j?YcI1T9M}0$DM{Tyj8$fW-B?31}ZX)IkmC!b_+^HZwl7|1PMti%|Hq zl9RNV6MtEmMTyO6%O*uZVlDzyHx)3dy28BnP<((5YvU0|Q-2rov0JdV8?b0y=Vh$I zR639^c~)#M(ikLtH|;nG&Qf#BxO4P;Afq?eFDGK&Dyz#v@!dlNGe33mI;K^3wk%>*ki%q z$XpKWRdH+M9DlVrxUY*9W4;@Ye#h2d*48d*&{)hWrD@zbsz%74G63K&iS01@s)U^( zR!<*&7UStL%sRZFo-^!tOH8WpGjdbv7nlIhTpW06GWcj6?VU;6{jP^(?T+36E@{=s zAY*K=&!mP&tF?cjBU4-=jh^c^S$#s9GLi&eb(e|u?th-RIIfzl<$;#l)>tB3R^dCd zx4I}VtNolfA^=7nD`qlIQ2EO{5q57Y z6}utR1Px_YAK}8sI{LKu9NE|hQz2#r)%IFF*7+kRNmV6s&=Pzrl4-75h2tA*q(KzC zqW&F6SAQb;InELAjmQr=RYOu!L>7vrEnOd|v?p0rL^POHvIdmib>lOL<2X)c|4N8G zEp4N`!(s91sAG@rv$=J+L=Ry}ua5#SNYld=bfx_Hd?Al`-I6BUYic4v&YjVvB>?Y? z@B<{;N`hc9*86Za<k$V_`|9~o9s&O#I=~=Me32m2u-n_;6mM;c`|!6$IiPwU&P~L2%lwOqq{R62#8v; zn13(CgulltrCoFXd33c_#}~3egXpo$39{@U8JqAhoO)+HtFn<67w`}VW<}=3o;fO; z1eIFDIKJ?QY}=EiN8EFqS=0$`34-+_Ouku-J$`gcM9#uG`(=a}VOij}&;bWAWm59! zUbnJuH%Fnr;&g5gRZDMpUjBHn5pb696o0YL)(7mLYfIyC3o9BD2Fy>RErU}Y%l&eS zDr{|9{zUF(`BXSC=XAI*3*s^wFt2jZ=nmNaIp@O4`!qlF*`WSAj_({1Z_UMLI$;~c z#?#Uh>O-!5DPQs<+lcjw?90L0&LK?k)riYxhzXK863FG|@LF&-u+{b=|xM1ByjeLo;C1wgit67=>p0UdjH zKDoH@-sm&!>G6wQMPtJsUFj3tuWTA0zqS8HRU(`CMWXJFZvD$jK|5UA!|3%-y40Y= z%EpgGauhwH1+~P&u?RG0pZ%LGV1GW!Jg578N$fmYYCNHJMsu< zFA|H*bLvajFh{$n@~~B#N>R)xlg)ZjEpJ~s5cgD=s5{UX5&84=4XX9Dz<*z0nt#Sw zNo(Hwp-y|c;CiD+nW3uC_I+61Y4U8g@y6PBQB<-p!NsFAo>$g^0+)vl!MaSVgDRK% z>)COh&YbO)X|cSLSvEC+FH^{8tbYmViOKTmR8fXKeEeH7G~torCQ_=DB&C$1h%``Vt+Ar#>a+ zP3|432vnM$!uShk+u-|G&fE;jSn+5%9L{6VUaHr$JE_mLWU?ghCy`jKixt1k%$m-t z4!(TaUtjlC%~LB=^MB!KLTq)3I=ui%x1qqG8alQ0hOyRrEj)M!&FxDz!ovM~=1k_d zG+!e44Kg-WRC(^;niO0J6~rB@%;8w{y)0pp2{)Yh?kN4^JY!zZcU>^xVUT{H$)yrc z>bguQfS?x0F&@c>B%wp_hDemK96G3}!QZG{NYcQR7;1h+?SH1ps&dTSV@JgMq6@Vh zW<<0@559VWTU|QF!Uw_X@^!SgUKy`P@hQB;^OBW0ycvG6-xfohBIJ^?$q1sL8A@cd5HdbGS51mprOvelv?x2vHt{V~zU`KuDfb|I zW&SjwviuzUNPq4j)yJvO(se2>&ek>=dN< zLfM}eSszh7JW_a*`Rxt$tDZfeag1GLeEE)ATl#Q;-8-Xt5&4O3#2egQ=~kMDnw+;4 z>588n6|J%EB?m%rVux4x#1-XAjyEwf8Ox9R)qHzn-iTQG&mXe(C^QIdmJ+(1W6Mqm z!^iH+7k_xux%0lkNzJO2OgMx&=kd?1Yt3)L;+|=)2JbTc((AHf^kej5XWR->d&~YL`Leht*rSXe z=-4K=XWFVRup0Hedv96&XBdbI!OUKvoNx+Afq%jFOX7+ANx5(qS5ufcMAv#~Cfj_D zMw^@>dQOjgrF_5IeJ`Gu<|8jFwQZZcC7MI4{bhgE`xF7$CUCKVsHuBbrAc4V&5Bs( zXL%D=93U+XcMW>+_C9LvX{lJDXkReH+o}Wl0E`z#pZmO!VlS8(U&DyE-OmX40~;;U z_kSL1EWA@%Dj&~VS)MKxdiAnSxXRp9X}Xy}$W)8YX}jN~oQ4~(HOQ|nlVvPWWW{ZC ziOGq9pwYA$D^hUQ7lmmU^l^E9ztrKubcycf@Y0GIU1InyM*T*9Sn~KY{boXbxaqLz z+QN=m^$HJy%`U+3&kD1%Wh=(qRqWi$|6hVPc(tTjZcnaqkz+Bjw`LT zC_V#{iszw8U%2_}xHuEUr#*n>Az?q6t&{{x5JX8bo;_bQ6n?49b;^G_b}L9w4Szte zx=_%aiQ#_pRcz7(UB(Q7Z*ki(z<<3mc1p)iG95zDj%;ghpx#7Vbll-+cH7~#k++|> zLn?csd`m7QEsAm$Mxw70BNhT8lC)IZe%KuYZyhB068Xr>&1poc`xPs!yR_lF7i-ka zz)f7TNI&=PCTgZ0%LBZ|sz;ZQIe%4SWo;h%yyxkbuZmA4#c$)nq+NZFn|gq~x&H#{ zm`}K(7sA`npoQ_tX2=U?pE-yy3_2b8(Zv@rIMMOhLn4!z9b3P^#n?Ay%}U;0QqXFV zZMq;?Ji+|NKde#g%|u4$4v{=1-}zcl;1>$@0|4|x;^%Xtr4I_*I~5CNgMSJ_aa!e7 zIEGpCnZPOEN~oEaPt90*7j6EI9L^R`q=BiNy7{*D$KDQ~&#!bpD*QkWjr1Ph-2BF3 zvu;wtjkm4&JTmn5<{~VGn!y46_!-k-Y;0La&Pd$AvHk;vJFRXs{X~#$Nqn)`tr0gh zdJhM$k6zKXoWZjPFZ32Jn}53YB%|jeCyPlg0@#1%Yy3o%?Kx?3Ck{*UFV$H}?cv<>l-XhF!P6DL$Yl0MFqyXV`_pT#o$zX*1hidHhe zwFE>?9nJVD;#8o5sH*y~N%<~6XnWqTHwn4QEe18cIWa{2c+8ZtcYoI>vWR>q4TVii zWSDz6)_KR0aBFrXsLza%=LTc3(cF#wyF?mf*#nTw4AMa3j?I|W49jTleGKC(Kd(Cz z2U>k?lWxt7+!1(P;p|qshGs{n1b2hSCZ>{N8gmEFTKC&M^Qxo1d740|-n}v(FE)6? za9&QT#QRdE`EF{b) z5)+%B_FC7nBVPZS$7(C?=^mxNWNMX`B2p!9tl=-Ps7`zkdjVa}!H4I0`+Ok_R&Y zUQ|jQ6CWszyy$&xQZ+?90BkN^yuw>fN$F+xxCXSBdOC35p|KQATLfKK3I)YDE#~EK zK~F=;O~)wOcWPS9nQYZ}OcnWamt@P=Us^`-{pwz({JNf_Q9KdwN#(IKUwAsYRa%^b z0}+_^DYX&Kx z?|aGn8}ta;B{qt+i3_>EKXH|GvrnI zNO(LZlJLj?#T?Btvs-4|0E#ixS1>B2gWEg6#wJ#U4Sy!zG2eGQ_?U3x43lDhTsRt4 zq3M|1F>6r?>s)xn%VuPt8v>U(zPx`=5$y6X{Hf0U8vG(o9kSLs^?r)#19gvc}^4sD|V)}Ti&0H5IAsKhL;tF4REGN z3ObNGuzwbolgPmsEm&Jn$+@L7qk#`-2rUteQhOG`z8uC@cbNTD9*0R`cqYk5#5CEp zyDkQ7jBg9!&i6{+q!_Ld3*|JgNmPqjsj56O7A0S&Z4)#1jX047oF0CoAiBT)dFNQo zZpz0bEO}O=W4&G`&MWr8N*+4$`aiFbUFvQ~_J3^IhW3wPms@4`$qPS*B=!;H9bQsy z45SR{_B&5f6j3)_aO~XQ!v5U)E(?#+OKs06Wsw{CCgB-Y?nUt=yy^t(%=`61?R@?M9oIi?xC$-Nb~7!0qZ33urUCOOOCq@z=s zu|*eY=36Y}09+^x%4@}EbT)mGDCbg1gnub2k)6>J-X1OkVHTTs;NG^o28!59r-xgH zv4pxLlCIvUXDyjMWa^U%zSw|$n;?vG23EDnS0$sZvhP`76QrNafFnkQb>{?P;z9R# z)obIq;^qw@@rjM+M>K;s)>A$=P^MiaS&s}+Js9-4guo{R*+UUpoK zmU1bR^eR|q)VG{c~>Wey&en*^>O(@ z`Nh1+)9?ggGZXcXOW*#2{t-kK}x<6W*+IWJ`nhJ}~f?zb+y7D^wUnSX}YO)$`d zgENnAST@ey7ys$gcEHKiOzDcU*-M-%e$wI8m!v**pD2Yep$3R%&!Dj#28>l5a$;aY7(5g^S;-sC0_qiyiK(g z8Bbq;2cuhgCx)yaMdlNq>3`WVN!@mK^E=-Qp!JucF_4iYC8{{o+xqy0_y-?O6N%({ zikzWz+SR$t6$$&H)0|kPV5{(G_j)AZ=r_U67|j=4(vx%A@4BV>k*)U`@46&ak&76v zcA<^FPzhD8zf>2`7Ue$*eemRjVhfkuB*x1hsWJI2dw+{uwC!M#2!Fr^!kcsUX~UT( zyis~ThkP9_WUe{M_AJs+N6XJBDHhSA0sLO@DSYh^5Q?%{7vit`o)>M37?iQ?35Rkn; zYLVy;F8VovHza_HvVYTK_nZn4x*+Kw<#;ePm8xV@8nuG?I&#%7VB6*qF<{MzB7Y!{ zs*1s;5V_%}cnC8!eNWat`#41vGw7n4yzW6=tW#S4!#9@BLlIxs^{o^LpUOUIv)xx| z9Zv+Hq}}(dM$HQMyKigWr7Z2|9bFjh3;SwVGU zfr7Vyk-gZ~$edTJU0g+(o!cFMm1vU}kXTQqzRqrcOQdMrhz;{du{8(pMb+g;Qtm0a z*o?LOGk~twz4ESuPHKmF0NKU)xMFJZ?M3>K@w+$0Z;m5tZ4ZweF+ERN6Jt5*O!s(+ z$BpXiv%ekc=YJXbXA?|lOKL}Ad-!wFynF1AK{dM+GtfPeD5JS>H6M zwP!{(C>Tv`zY>$*DRO2MT10NHhTwSjbUINP(uz0RvwsUo=H~g><&_QJ>yo9VnUfkP zg>t=Qum3oByP&A|q#_JPfIm%rb@&6r@M1qa%Lfu>sE*}lQpTOm_Xjb!CvGI%H?K`c zS8-w&i~z&6n|_kHLKF{|E}|B6cr6;xtuZ%un$L!B(TLr7T9|V z(yMkWgntbl^E|2Ipy`x_;XT6L^2unij@ z6cVe%MCeIftY#)?UU0k~WU;mM@rgyCx_6Cc4L@ONcC;PW>~R)&lDsKRsYh_baVwDg zLERB`UEV8CCnCS!GCHZ#@e|ZLTGWImSW-DT)qG#nmY}beTmo|9dKZh6 zGxp{5+X}e^;+@2_5a{T^l!;-}8^JEj8n?yc=f*>C!2>Q5Z9~iTbIGe)2Dk8hX|+Ij zyC0hI_pQ;bz(<=jAp0b>gejhw==m@rm4A|xmAXR-z+|YB!r^#4RRDc{n(RFt53bu8 ze5y$`pEYG)FgWfACUaK~WCOAKntGYA&MuoOxFD1xJDWRNWd3DGx+Ezx49jz|ON*3~(x9G` zz9*O^3gJqxHcs^QhT;)}D(#D7%M1j`Ffw<6~bD^*U+90JZ{)a~xr53{~_3|xC= zlQVP!vVHBp!_*}|;%O4Td;CwOxQU)~hDXzSBnz7s&x~B!fxp27Q zYeg=FBlTeo)S{PATvZT){UPpgsH;g+jW#F2dx(7#l`=*FUMdH**PR~^D}O!f|J=wT z_PXv_>T`_4tgoowzPxCVyG74YjE0%;?n*)Z9jj*=Lh1DfEaRdIbU!2t7~MKeZf64` zOLek3%iiP6Lo{fUMf#I9;3^8k&Fssx4DZfHc`;k{n8ELg z&FS{qLX#-fmgL)dkDG|m`>%`XvxVWSd{n6Ta?MMg#H)utWwsKW?KF?(9-m3ug%SAG z+lu{6kkf3vFO2)hs;r!TGdbwMFnqn-4Br4wW$X*1OKgc*hJOk)AAj^#aMYiB`bcoZ z44f`)dB^jWJ_9$=i}nJlADJ0>#3_GA#0M1RW>o)EdJl~gQo?*W?<7QDB}4ge4VjT63(-ffu{cjJ<}#Y3T19& zb98cLVQmU!Ze(v_Y6>(nlYurP8aFr!FHB`_XLM*YATSCqOl59obZ8(rH#9YqVFW0D zb#`S`T-mxU?!h$#D1rxfclW|AI0Y0^K;aGv?oL8*cY?dSOK=VDf#8Gym+rpj^gDg- z8~evzYtC=YPuARHY#K_S2D7+@gBeK10ph~U&cY@DPyySUxjJi@LX?=*K~}DS7m(W& zjfO@O>|zJ{FZzX$gn~?6zzz^8Q)@+>r3Uq)9 z0Dw@iy@MA32yy{I?ZA*1O3K09)gANwWU|n?fvny&WAK0hXqA&LCf~CFtda=Iw0i1_HQ1 zT|vIy|1a^MJ2ZB7fCbpx1z-lUdbx(b)n8zcXTEz|79g z{tr&m8fN@<9>g9R931<-JL@t-Nw;@`j@w7Dx3`ZAtBFX-j$ zzxI~kmjXc`50E+9(!7JYV318sP}|*CaZ-2Y-3iWK9<7^aR|+nFv}ilnZ5Fs56=K^G zQm&k9zT^xk;Hb4or2)J$JZwlDsdO~2yDh&&I}0){UNA14T=?q~mRcbd0gQ7L`l+96 zy|3e=h*Pr;B|Qh^&M3=n^k_sR$8j}690>f$?)3K$oK%rW$;W-*Y66XVI&FffUUCj+^a>;;$1QApF~ za{Jn+>4!1+7MaB%CdXz~?r$U3y-G5(sfb;bkY&Gbt=u(#jd6@Fv@beXURoJO1r6f2 zHTB)6Y0ujet<4yY?zu_!bSQ3akHJ*GCx=mc+=B+WF?d7m+FMNf z&7!$AD?mVYR2V!)E}aTYepMnd*ZxzbNRK~{U71dQ5>0GaANt1tQsL8g;gN%))oBEZ z*KW99IZYIO+xYpjD~%f0Va*_|O{N5Y#*c3%G6}E}#*A1v#vNj<#Keq2_S82D#I6bze{GW;URONz z=+pIo6$7mhc3*r7C44Jf!wLQg=#innTB9gnHy?ePWCJU)Bl=g}rnJ`802 z1b3DeVm9s!g4*Wlb$Cy&I(IMr9|<;UXLikv!uyddnW6Qm`#}d!Dyv_)+dL5hzuCw^ z1zznmQ$DwzGFnZ>;#Yhx@w@|AAQj4NiwUKFz5zRmn_XVs6k|;9FqGfEtE7%?ay*;f z+QyCT($N+O7o=_%?ui3rcAU43O&Jt*=zR>*t424f8^fnEj#-}6)$}^9SW*?UePf^e zQ>`T7W7IzEY!#~@J#LI45-06|j`HTo6${QUYh}7X<8gkN%8iMP;>2%iPNN4vfpj2$ zhGfLN-UaL-+8r8k@#DihOboi`aB6eQnc1=`^5iA?5ljY=<%O$33xeb0<4kT5)%;i> zeKlv>-P`S31U-SJ-U<=t&ba!wKM0MB49R>(YCpSS9&@Gw(%4ae9!Ype)UTPYC6e-j96;k8Qi&J#&5y-DF4}i>b>qSWyjfnkduIY z4Ij}Mnu>1mZdBHw4ByXsOY~HV7^g;GeIFd7`tFn<<>8%N& z<}AE}Badb6R8i$ZYEs}U%PRDLAsKExsarihf|f(+1dCR^gHyCFsrAUu^8n+MEn#TM z4I#<*^n{c!r)e5?Kl~}9i)`zr*M8JMgAr(T`L&MvjB?QE5sh)h0Cgw8hUPDjy%9LIz9kHFIHpMf79}>#Tv=>UZe%RFCB7ZI zS{&S{+&6*YG|-TBOwm_=TSE3;_0n>bOnVJD056IuEtxL~Jf*dYWLWF;1Pck*#VE%~ zC%wkqBWT4FPPq<`TZn+;Qc+wwI+#q^eQ`4 zk0Di78|JO4R$Invo{Q2UYp52QRs*V4_&3-abNsaoBx($S z5AbHE*fPbvw@Wp0xBcl#Dc>}^1DWB>pCH0wQm+n_vHVgW2a|u;`tav_Gsb#-*D(d( za2+1*z~D)Y^&Vh~WzqVjq9dE#H4$FSORW?}j$aq$o(^H^0`CWDd|@b~HVt4Mp?WXYJ4Jt{E2FlWuos9r)d%PCIa7t=1QoP z?Uc`hO-ISUV3EWVHayog0}b{bH>zL$IqVXYF}s0Amr>8DgosLe1@R~Va)ZK`5^JVtX6e!L5-g;o4 z3g37PvFm((eaYT9#6;8+V2W^NNA-jwD|;+-+raRqp&H%m(&f~nbazLVhCA~>T&gw4 zb>V=SUZ(E;K&!33Fans)=sWizXAmyBIS-hBm8vS1mECOQp2ZTExVOl8hV9%IM^99K z91RsDw(dVQ5aHD3jaA6b62rVoC1@Wnn?1{J2le{M1yKn)X)5KDtt>x5aY?@mhf9W9 zBx7lg5ei&0@Fgb-HD2y_7kt+E;la4u`KkyT|2D++2X|^HRh8a}%ayy4$VvHN0*;M; z>_o`r4Lmo^L7$g-4Ua8FlMjbEtUq(g@TE+s)~2qYRotwt%J9RU z0k34G=@D6_DS=?6g1S8hDh|$M^+Z#6Pm~Cw1jX`qDA0#8KH9qNacxAPA|SGsMvqy1Z^;|=bkx7wv!0CLv)32$Jt6;#y4B; z4EjbF>34?+9;Sve2WnG+I&sz8Tw0}>hd88- z>(&|Esc>&R>e!-P;DfO7?D#VZ49QTFA2%V2b(cw^qcmrXYy936(y3ZVQ5k%H=b+-E zU|lDRlBEScBMd6`vLRl>NkXeKF-yb(WqjpDwm~O&*?gY%;TTS2Kl^B2Nde?m}3#NLA@gi*<0= zY`d4#%6J<}SdHHyVV==s_jCAv0t58j7ZU{rOqtvs^@p;LS0|~)zT0a$0R*SSAL&&l zjYlz0k4OvjMD$Xew7q;&2@Ymi;kuo?Fh>k{`zB1ipZs({#tT-`I-%Un!eZxv}~6>+Dm6#ojs_rH-&%Bac{ zuxwwVyr0ZOmnXGV+SvMk?E57IQkDv|QS@SUW$z-g&%u{>R}bM3jm&ClGB z2%=!K4T0&^itO|=qZ>Kw#Hxzn`#K;A494#W&6?-5nHfMu^fwuRNsJ9A<^d3sLq{=lx?e{7yAAe4kJ2#Lslt)tCTrX}y~IVN=) zfk}OLfIa{txm}&R!$ta3h(T|!%oEe{J55~CZf^5oj%h1_#CnIXvAw}5?mQ-uZApAq z{sz@+`g(`T6&T<1MfP|wD>~;8W~#Tk?Uol*EmevzkavsoT*piit#)Qs@EpOobR6%jTY}J6&+&szcSqD9kNdu$GyX@TEyy*AXg~Mvt zDX$*-xFQlqJC*%wnfZa*M{A6QA5q@IBdx97O-_lbh#sxsSAw+OEX3j){_c7>N45 zDq7Lh@9uiP{MUevt@=g%a_%=8w>1i{-l^^jOH9JF@7uq)VA*_dh|7!hu#~mA8%B#q zPy#0IQ;5ia@=+>F<`P4%SHy1&`z(maFsVelK|BdhaxT|%B(kSLP_lc+Mx`~IwFJeh z-b0Hs&ONwW*h`U_vS*O-cIT5Tru#r6Fk>W?G*g<3yS;9YA)py;tkPw^fue@(8icYj z;nrUz{IQnCym;l+)|THmKS)BF@Z0%xdvG1}_(w>8PD7rZJ_AGM;HEH=plDk+G&=D> z(~4cZ9P9cu)o?6z_co3FUCYm)gi2c5m^&(>Yj1_C(w=Wp+H=f{8884YjqaKFQHgO# z*+GLa$bV0Ao&%{Y?gB^I&U?DH*>_1ZHsQT1X3XO%_9|EI6~VUsC7u9WI%$5x@yaq< zWyElQ*99~MhQE;}T;@Gx=&OV3FC?-jgqcqGQO8@8Vd)VK+CQ^VV*;8Do=|f<2Q?7C zIl12y=&ZBPOoXZqbY96ccvvtN*7%XYU_;M%Y~+#&M%6jT4uv#+W3%D0CA8?fMsGi6y(dy@wNrV&+ zTRpD=_jyau=$_-6!!2zuwHcBMvKf9o5CVzr&YqE4T0fmPO|NPR77S^0)zkXb(%J=o zkCB3_u{lmeK{UJBk)14++f(lQJFl-x`6lphy&LrbT(N zH6L(_*bZ~7$9YGjY{F7q72axe42K{XEB)%JzU9)#@N?@~Q5QCZa#>OKOlG7wCLtbV zjBDM;KS@a*UFsrvIsoto&Rcx-H?0kS-m%fda5>%^IX)*gPcMtm{9yj6DD&_%97Ci> zAJ{}p#ftH(@(z80;I$|vJPMm)S6NZ{l?*s%}UUeL23!VEc z|A_uUNr0#;%XZy{dGpO->cI0TQspT~&^Fqm*e#Cw{H}*-C1_GYsbgqq?o81*9@E3T0oaJABc2F8$hN5g z8pgH^-(WOytNFlkyg|M63Y3pHe7=2O`?j~Nr8u%NXU^4O9Y^6s|p-^K4 zT!olgMmS21sy61)R7YE-hD5P{WweUxS%hn-KzW%ZzBRvPuzOu^gjZs|>1#*85oX3UHd*>m0RVMZx`Y9l|Pc%&HB z7f3jCBKI*HTGg#GqZ^yG&p=?q9(==;F}?o9cMgFd!z-`4;1@kf^G zdVd7z(--V>*_N0VSb3YR;1^S5wVQi-tc&H|Y z2QIbrcdSwqMg78HIjduTKl7-&g}lfBY67U=Jc54KNsx`oewASOge@PqLq%Q&SD86dRL(m2xeTl$#8zBfgDpZ>7ns*Jf5CC;rM-KveVt_?fg9Te#XqF7PhkB zuutou%^!fd_*lKnSTmHtiC}`fsy!GU?w=3Q88m+DLnV)nk}cdK%f}?X`x;|rGd#9C z@LtjQvw&G)%OM8R3rnEw2XxEv5VArf3z!1#Hwio2A*Y|E=Ax^XGh7j3@GqU6o zR&;R0nT;|UuKF~?r+1}9hDlhTpnzV{x!B`|#{Nqx>%YidOXbHYda~;j+3cH!v#gRY z;Lh1Ssn?Jsv2|w=MMjI9wUG(Da>*4KiARnIo9NEwAf3=*Tes#~;nRmo2zJ#>2TTfT zh^vsz%)jnMAU{vX_M<*;+ig-bbVDUx$Ihghhrro|PML|z>@^v~LX8C#&Fl?#-5)`Z zfi3EQ7_i~njr!O8^iZLe20#z%fFqg)Z_#p4mjFw<`Gt6NA|A(@U@dpc`9R{FUUSuf zk(%ZJsZ>$zX``$gn(<#tqq}|GvnXcz=>5R% z+7#ax@B?od_a}9H)4((=3p$WNlRA`}F2qE2c46qs_(*YnxATD1E?`aE*u6g@O&z}B zdckx!k9;Re%ojVhui3KcKs+oyQMB3Y8$INKj9@Nt^;eqtoEAMATBj!Hyi_ZNt&v2srH`Jj&F+Hv#zqhRiu7ez>wp;|QmEUx&>VonnsLW$s7CFST zVoqAyLtjEJh+B6;^Y#iO4)J_%+pe(&8;jXIk4$HaJzL^zijDa-jIY?3*IJnzq-8`%Czu2-R1R96&@p%yIZ@jN-W32R#afmXd+nD)JNDq~4yY+SN<{vmR{8x*r_+H=?9z&tk%ke+OEqIRfg?AjDGQ!v zyF_ov&s%j>=UnnuFLi6c!Eo?hm+N1o3&ZryWmU7P2$5CoYzG6QS+yytdBwsuVBAap zp4e$=vc%}v;H_xf&bLtq25osZ;lE2PFYG!%jQn)VdSKm9^OvXr99I_+-z?ezJ3n-F z_51i-Y-AI`Cwpm^H}`2XbYUlYFxLb0UaxyHdv%~^ z$rGo6w@U7v*>`@F0*NXyBA_^(*Qh@dVutai&n``3-GdOxky5+2c8pamD>V#9Un9_$ z>-8)v5b9Ih>8meX8aLE%i*{vI^*t{_p>HD=1PPfcPl;uK7`&+uB;rCyc^3w1czQ+X zuf-%jZiy@Q(o+1O*z|3=xz5ndd84CDj1m#qm~;{sN4$P^qKN;ceb3=8pz~#R%mll% zT$Fc&-_SEu_@eTgu*O4WMoB7(S$_fahmjSgALeC&6}mqE{#l#H`h!zS91K?` zH*4A+i>YAP&Iw{VwzFc8E1x$UU)#}sW4$nL_n9lMEbyubm$}_QJxulrKLrD>8>>bp zlzGFk9}DXdUk|7eN18SG3L`BU_+S>edA;T{pFO0`U#QH@V*DB%l=irnRut6G)54MH~2{6>JUn4So-Acpq&Ak!%}2v+^o z5YtSQQ*DSasn*5J>vtqK$Hp0VIw9CeT530bHln>0XC~Q#cz;hSGpMm`kW0p8!-kzX zt;gf%z6SGIR0pt!`-8tp00xb|wXlcfRbKG?sNW{YE^QoNORA$RaW;vvVHXh8CimUT zJ{MVWCHBY~It4MOkRt9j^aqA|-7AFt%g4J80W>bJeM7#&&hPGHw@x|Kk@P_uu^j|X@7k0)L z{9CqtO|rzFka8mf8Qy~>Dx_`{qE&kY8LEB}RG$x!J&Z&ivm0!E(8`Rg7H_Txe?hTS zFz<5E))#!!8=h9(-l~qUk2f77&3K6kt-!zHL(r+vx&ba6^SY1CLX)3#eDPm!*a!ve z@C&O!w)caMrwadEEE7?m>~Cmk=*XoLJ_jzt8hx+Gysv^>38j-mj+*MWACb9f??MXS zU?{UEgp+Y;)ZDRn&@Ft$seHHzSx%>Gv9hP1Lv!X&T^PZB+7mXb$vLs ztJ6rw7?8(b;bfRjR7Sqq6`K5hQsjPRT26oCGzZ$*%ygGKwmoP&)|G%H zgo@nZNBwi_2oHhE3AH9Bx37L?X2SBx58!1wt$UD#jE&0TrOB$_L_MmFg)oAFM3^5~ zqXQXwFd5z$3`5t5EqcNOv2QuPA-u*doGASVT&dJqq`dCZG_VQRrv{~M$xhBi54|T& zrw&Bi0kXe?NuOWo&WNiCNMq`+>)I@q#TtJkQsijzlctEKDWzJVqioIX{-K`J2dRuk zlOo<@;O3(4{o>W*V6c%HjA&R9LP{PsjF#(olMx*RmxlJ_iny zy8?b7ns?LeP|tsI;IgWUTPcrE%@BOPkB?!5u080VbckeQmnGe(XFA}8IKtn^Pj&>I zE&89Cy57K|SBD3Q7t1Sg;>RDXFEo}e6i64V^A_P&!_EzgGZID1yM!v~bi8I}4w1K? z7^D*0+m}FU7b^vGA9(lPPH1EU*%RryHy1AJPh>O74P`kkHe3Y}L6@w%i^$Xq?P>?1 zPAB)QuJ*%0a_tLdNey!ovZI0o4W-Fs(9f+_06KuB>-AA(YOA3>xm0c1=MI+ylo5Nl z%~)#A`MC?st^vLqNpsAr9l~mrkE}mvCQk#NfJ15WttC=qx(Ye_s@F zqSbVU;@c8izVk=;8wQU}GeB)OF32Vm!@^p5?YZBk;;ze>+DbbDtFMwJ$dX4MrB0lF zxrU{RLAznE7SEx`hsRXcz7ppl!<8kFPoAS5DzNacXL-pEJ!<9GS`J+#});|sg_EjR`O2d_ZABmWZx+du7 zx~URurfafWIhPCA=%+Lxkm5SIvY;YPa{X77Efl`BR4mUuQs4cc5O%9yvV&^1<)`+> za(Ce$OzJhRt-t7Qo2;2eGjIDAD)$!~PlsO78HK%Lw1CBKsTBz*%&9JZCN_Pi<%DjX}$V?a-vbs6|?#zIB`?goo;g z6ZDi*GDFddipF@hN-kV0*lMz?V3X%&aSYE0U6AOmvzt_!Iemu*m^*&*UxjXb78HvIDRKxFJWfmwD9`2=oGLX-;ljs7>bdq$*=v2~Y<5E4?3bqxj=F5x z%(QitsxuwDC(D1T|HV~70nnemOnj+HvH*U9Bah1mwg^t*7E`boPN%RVd?F&s`v9)W zVD|_f^``8RBa?<6!xy3gbC7F@V=d_EQ|3HvlvkF{O9z7TKZa1>ON6!4%izqhqgA`)c!A}- zo7DHa*zT~b3t0{E7V>#nL>tgbRmpfP&dY2hNRGAK1DTmn2_9Pz*-Kzl`*Tn`$&uf@ zhrv?-yf{}bK#sZHm4>LF>x%s4=3lA*5k4wf-^;9QpN4Kc|!|bdLQ_84y#_w z)aR1@5J_h;ecyRv^Ba!^umjyKe?O4HCub7_(DMg9i zJzrNIm@H-4yL`^;5Fd2o05EaPQw8eV8}=PZi-sQd9yXVN!~&r4o4uwwj~rCx74j+9 zf_VD52jU4{+@wpfH126}tPP~N6-D}VVRs!bSwe(2HY zd$e5=(rVg(Fj&T@&s%*T6)teGM_4u4Y2rQUcc@^5h>I`xZU&q$7i&J*vG;n!ynjEy zFe^GQA=WzRN-R5Vd+kcoeJPN7yXgRW19WNh$Qb{Lk3);9QW0&9jB{VejvB+B2*ndE z*L_?V;m7BmupkO%S^cHJyRJzT{_7;l8ne%ZoZRg>NtR`oho)mb&2Rg?(s?@7mL}oN zoFC!`8FbjmzPggw@ysUP`SSXO8f@XDQ6>44$L67=4U|nQ z67O6}X*PWMV?+x_z1kUY`SVXY)5Ocx_gSo;$|`p}_R5(gCEZ|O(hz#nel6!{c272t z9APf2BkqCwRMFNuFXNuY&hJ%$V`)X~7KVYan*AO-sGLJg%_(W<)w)QomCy)^GpJo+ z(7|>hg9}CBTP@@H^k*8&lNo(>Od&NENso>`{`eRht%NEH;Wz7O`fE40a1^%C%ysjt zN6JV{OHH_b=tp>gts-L6VcBJ=hb$o(wriV3)lqgGDeT2Ub|}ZZLeCBPE(-7XPE-o% zk+#pU%`+3I?FFWv6Mb8r&Ub0K;!7yJS)@7VCD~+wo{cV^IYF9G>mgvrECV}a#>2Ug z`0erKnu+^euwTd~CP!1e-EfFY(A%50wkpxt?H{lOk?uB-<*`fw3ct+(?H$rvY##T5 zRLI7Qb11A#_(J4CKL2poj!Gdn^%-;Vrq_6PFRZ=a5StfY(8;e3AfWBw9;fr_(x^t$ zkWnUdJ~nH%zou!>gx92*59yy6By$ZS`#breq>NI&Ux>31m-;q2hrIo#ZACrWH`Ta)}H4mQa!_UB9k=513TzAQ9dDtr_m~jpfvcQ&XiTh{5n9GhV zlL^$ zW;n%@qZ^muO|A8uamj&6IH4u?m(HWNCfTQ>&yf${Z>SyrODmUV6=D4kJCv10arn_8 zMJ#~A22QULtP=NeGA69%qO4-9qW5q59v;4|V5$3JeW0+0yS)c181jEE%B<$Hiqgs| zO5!4tN{UM2U{z&FQArUou(F7Vgrc+rL|RGw8SDSQDz*kWKpJ7w!W@uzh%uzr+yUJ94&c4K^;= zbJ~tPh2RCw{7z6&x75R797BCAMmmqLJPKvEZ3Zu?Gdljz*OF=<>^}~>OF;DQF1zvN zY9qd1Z@RHn8|pU%24?%*9l8Z9l7^+{wr_d@JmhZuw5dW+39p!l!4lHaKrSv7T~*-! E0O40mumAu6 diff --git a/Writing/ERLM/main.synctex.gz b/Writing/ERLM/main.synctex.gz index c01e72720795072863e2b97064d68ce5bde509cd..a51db1e95cc86a0c92c18607a37f953537e3359f 100644 GIT binary patch literal 16356 zcmbt*V|ylD({+q9wr!ge+xBE)+qN~aoiny=+nU&(*nZ}^-=FaIr|weZLx>_1*lwD)@1K<>~+aax>HO+8JJ& zHu&TH>iquT^Xh!?anR2H^Xv9JE{==oxift5>pbq|VfFpr6OWTyd*}MO_DHQrc{N{8 zd0$^dHGUl(y*<7!XLavKV#A-DwDe#0inDQwaqkzM|E7QO@&9K#w(|#`@BHfin^*gk zSDWXqS@!qp>E!A9bF`Jn?iu>4tE2PyyQg>ix~3)%sg=vU6C=<8C-C#q|Edc7>i||z zFU()IXlrm<@qMtC3UFov$a6dG8@#W*kHbju5lA_?D4lKPdaq>a)c5b{`8iK*KKIh( z{fB>NTX)OvP`{PPe?*WD^^q(7k4oL~-_$O?o!ee(6K~GD#jm{sKmSKh_viboI?BBn zO2;<-&C93Gtk==Zsn^8z9fBvtRj$teUERHcetWmsvi*HAmOu7k*&-k$y51IK6kIWx zNn4J44$m4*3m^RW&t}N4kQo;~+ZoOg=uG}7wVPI$toU6MsY_bPpOK>XLsE|-BTpZ( z)%~3#=U&|XY$L1mWNUQe5xM<-*j@a1@9697&9m2APnB0csP_6j|ND*MYcu5o-qPjSs9D{=J94K=G-nbH zW2g3BpBAG+1obZz$hWtBKAIeY1u0cd;O^uAqP~w01=SEQJSe>S$${@KpO&q8{#99S zJ@~2zm$h~^*DINuc}#=S?s2oF{ww5+%;+nkE=7&Fc{{|N z*;|sl?%~pgulJ$uIJs0j6TQM7c|=I7?5LXEXfs&5rHVwg0s?{peTeT4?w=P|I2X@p z-@1z(eNi9`Rm#k?cqAX~CC-5$!HAj=e|r9wC=%syvGHY-4K9+BS=`38a>YGA$5{ve z8(FPgwCSoHVa+Bx5>2$Zn?4BN${ckz@sp1Szv+5^O+}o_oOxwsl6*M6_3VxafjcB@ zdg{GG>U__@{`$Az5EPEmMF+i}QCtK|fG;UcE*pVfv4{Kn*X!HsYFw*(_}2YZaM^CQ z=ba2wRr1d+7vLD8FP)lNmrDt?SlnV<(`pD)4pZXI*X_X`?7H^DSuvYrV%RFe#>uTh zyns1twKUygIhAMRg>>Td=1`n>^;w!i1qaK7og(uu-r^MqMK@Q)y9J(R%GcYYy<-qa zDl@AN7t%Ae4G-A$v>Eyw&dZt6@D|^KCC4+d#S4!fzn2>irU-rBHHlvenrCitkHxjS z3p8AReOUw-idF6ASR9^1p5%8}pE1{;TfKR5cUaM|7FwB?1upA?HVFkp9qfv8;(JZQ zIK6wRUgYoZuM)D735Iugx#qouFBaOVIc^roPAB}jT)=2UvMO)t1o?V5rAC-?f_XpF z_`6_*-xtoPEU)be^V}L#dwjdI_^{d-60c=X^2q%IMmC6^N19DZ^m!3X5x$>~o{nV| zTXlIa$hStHzk50poU|Bo{5rDxg4)+EpC8cQ0gO4n8-gxQPDa1uv;E(fAkLvlD2_JF zk1xAfttVP%$F`X2&WUP5*VKA^MOp++i2UC}Y}lYKUat0zHHE)6sK`U&d`Wq}pE6$H zk${CdOnRS$f?b;gTaAmev#U}2l~_zc{9C1+lJ!talWyXf-L7rEifMPN##Ebv-Jh=> z60a*=@{YbAE?;^(tCkzBEmf9zy-3vAyKz}LU0z>i`B(Y1Qonddd(JOcCtGAVWB)|e zek+96=j%4)f z`4mU(aXC_XGqFVY=HocI8Ee+E950q#Z^sbezp}T4p}FYcNUL!_(Wt0YvS!T5$69d* zK*skp{Tob_<&a#bi~R61O`Ca!%PRLwThXn+>e&`)&TSMy?J014*T3Eo+?HPBq08KB zctWV`P^;AaBetd0VlFPNyE33G-<#Huas2tXwRI5vVDeYH04t5dQFrya%H~S{3bC~= zGgRJu7I4<)KpRW<-km%x<>uF!tF6P4@2mVWrn#~3gu^M%>zA;sSD`a=DPqeuor{rt zmu2!p<&wuXc%T9qd#I3&%PyE|rc%1#$-rM5f<>*G%%JPHv zRMz*WLv-fO#|6hbpZQ|)I5RAGv+v+Y-UpY8ln7HMm7@!Cnx#WXuhWPj~;ABT{0@2=MK@$uraL~>t? zP%PWDv$dC&^^Wv@w)4+sT-EatgENSbe6$+2@VY_$H+42HPXCw)kM~3}3x?M|$I(pm zZ;)2yMtD}|W1PIw-D|(bdmhoY0KecD-}j$69{q+|!H@UJufDd!*Z-z)>MmFsep_n< ztM=l(iMY1EvdiNPnMu3MlANl`lCXSjFL3?x+lwm4!x=N0jVk3;>G*tk*#j?pO4Y~9 zok_d?ms`INo(A{sKa53BSYN}+SwG+1o+lSSFDdCisvIg*4S0@6_ufAJzUm`W1@(L4 zbWkDmu4?kQ3f(mREM>y11YGEIq0eBQzh5wQ;#r)(j)u(?qtp=*hci8A)$r3noe#kg zaM7Fp4;fQW#OJP!oj$TnB_91)&HA$~!e)NDcxk2nysSxh^I=9<+Uw_y0s(y|O);<{Q1F~zqJ?Q5UP7}tt2|Cuxe=EH1cY1rY_wxU}I{6Q}=xc(nB8LBmPY4$8 zyXXe0ZW51v5XBGKA|OAVu7!ZbtIMYY_mm*#$A_NY!uv%QQ=ZOPyo)X)A}+7@wV#8N z6;mvQilTEji_%&8xrg#%pV#A~^JTH;V?EC8-)`{@Cm^_8bJ`q#EgqeXvB9=8z+F=` zSv#H60ap@G^w2WwqUYZh2Hr{ehPRTK_Wt=OV=xO?P9Wb-8glPX|2SrPn$G(hcl&Eh zpgqwKez{Y{u-_|5mY(JdTcnDS;=R!G{{X-M3JjMdRbO zl45KJWbE5En{ZD4V}udzs1>Ri7hPlDt}85?JeaOCW0a(r1x zO34^t^?pZz^nBsGp*7bE_}BUgEZ+=9{6Vt!;{juKu#>-f!TC%`jPpHW$v~DlmBrGp zWGQC)<)lDyT+`IZxO~|40$)JG=q{Gc)*kfO)8xKV`2D^hpkZBcCMy~I9ml^@^T&Xz zN$@Oh1KS$_n_b}-bHJWK8R-a>^GhwVyky9WToa6YI7DCO1e>+YSEFEb&&I~MqaRPl zpj4Q-0A%zzk7PBLOweB-7Qqbp6ppmm2u9;ES4J~WY2Bqb2bRNN?XS!a)dn`khhksE zm7lBrh{GCqB8ueenO2us;3SG`Crc@*d99+9yzNA+d8A7NGOFlU&LIQr=>(5O*tX0q z5>i*XT^;-LH3#X^H!?X=`H*_mDTdT!cd9%{pI;QCiBt73P%406yDEoDmH{{}%*jkvnfZ*^6ZJ$CaL zM%w9t{6eCDK`0cTxj0rmgNx+5DDGXERyEaE7`UV@V>(S`A8XWmv*u@4e|ntlr_WQYpip6reu=@rRVu)7o zd7>E5J&Rm|zh8OI=8h4nYj!CvKp?3rC`AZG>7wDcJ)!$ceEq)AsAVIIBrrR`?2D<= z0MY@w4eTnr-K=^CiCa=Kv8#6(@E# zE}@->JR+ufay!3YNWDs+o1|+NKS_IP-F=UFPk!gsa=LUsH!^&zKh0{&5QbjHh>Xe; zHwQoZ=4&+nx`d!8D@v3?(_^2oi1_v z=X#v>SYKpCeGjVX2i7886x7xZ*hrO3Myc8=DGu0!w;kxEd-w&hEUb9G9>X?X;}k}>Y~{75Sligvg>)kdcN^?+BZo{O9aJpK5m%1Lej zx-+J-@OkZ|IJaxKTE!^$wUyu(ARjetYG4-_SKBdA&&?WRGKz@&0mAS>_!5u}Cz6K- z^+sncLHN8QDW{M;RSX9I#}bG^x?yXmS<(%kdUJ$$g=J8xoT;G-`tmeT3-n`- z7xQi8Z6o{YXX@}{JXiboo5fU;OoAEYJ;u`mUbI8t!v*T9xatSd=Js$-S{QOJ;_<Q(=BWGLj-2#4Y_qc9qL2ccsSF-`VKwWdb9gN&fY2YCbcj3jgiRS*~<$mZq_2%$z{{+&KML*g!}N$U}z1XVuPjY8hnxvz6( zydZiOu&w%+s-7h)q%SRoG2lT6E&ohW=$X`SwgP#)fma+ZEioRR;7rYkDwN6O5zSLO zxQ}sp(}n+LjxFB%qG^%Pc)J_AG>2p4=|)iMAHeahI@k2HQ+3`6+%vrz;}u=U$=ki zWuxr0r$J&4yU(I6kmJG~j5$eKsQKn+Wde!0&O&o_pMNc5rSqnjH2bL=wiU)J9Fn0A*Knjl!lq2Xq*y(qLFoz8kPvZMU zCyest8+x3Gj#C^sAwfT|&oxH{h$F0dVJRysgc&5f(+EQs-IxL-8U=91%G566i%vE` zkaLq+1RRnGJIS2ATke4-BH@ioM>+U`oA0I?6%dHg&7AVPc zjK|Cra1ahoL#OL1iC>H#1@OaQ5F;1J_|y~=h2zX0c*7Q?VSpGU9=Bn3Mv}s7RY`Yu z&5&LAwm`L1i9zH>J8}y(j+1F+kiBrCuS(3ysVp1mdhbR0FaMehBYe^IGvZqwJ8~=- z6a~qmd}=VSOVpn$xy~?4M%j@KAoy8XR^q_Bv82uhhX94*W{zT^6{OnmS0jfXUP9=a zydPQvE!`$tnqRzX(;;#q0xccFc2!&@h9L%ck{}7)zrng+&q+q@DO}H4ix8`k3eslF zf({9u2`?ZS50ZW#Yc3hYLzv~@t!&Go1Iqlb3P>X5otERiM6 zSup>=*eY?2Y(Oj&&QODI03Fs$0)Erx*Z64+j3Jy$Ce-i2kPuc^jTTTht(6f}Gg8ck zTdfX&^{8c)+S^ZKjk*Bm>ZGcC%lO-K@_-s6`i2V6QIEcZE>n8y89;IAA8;4>;Hwb5 z@3)qEq~V1xo|L?baJD#CGWs3GW-9u}O}U)2!8_4t$|iWE^liVm)OwM5@=ah04uXi4 zO`-+l6V5b!cMDh?ZwGPuNq_Y324yW5ek8oNYdPA4-8uKipM$<-LG!o{ePDhv%>hHlTZ;4t-3I!rl8nF zjUhN|4{lrj)gpHB9gY{Qgli+e$>}n5;?q%T&hMG`qb^zL6E=hOT z7{SPy;EY}cB3}k)G-8HUO}oEQl>bn`BDN-o5%_3m(a@4RZ!AroTZk0wT(d+#G0@wIm`i6gZqK1vz>PGvx&dZB4pTQMMbvBvcqQ z_ztmRaoNw#tarhVXZh@fKn00wpyRC)>MHJuirmJTjw!sy>&#PSluxisn3|ankHi(4 zBnz;QIV!vSDhgoc8>1>Nb~y3@usl9`l(9X;jhByF?g=`8H177bZn)Lk;=)LQ*%!l% zQ$Sq(WXDBZ(Ft>-i4U5I9j9562_04$q6Qg2wlK!1>F(bZ5+mnO^sn(Exn)R)2@AkN zRg@ZAmLws8$2Y=PR9-*$Sr@oUJon9~u0`ymYNm&YNI3*+P#y_?z4t`U zkj>=vLo{>cc4?b#bFK+?IJsr)^~xJMqHM)eiokGGV3?P5a%+uo(cML)6BF#+ zNtoCk1gq5?T^VyU?O?`8nUdZ-E%*_0VPAzRv6hzcMo&t-*qgK=1e}%``cXUz_Hq3s z4jfP^BDM4@(E>Kc=v1dQ5nEFg(Dj=(!f43&Nf#d?WMX#l_@eSY2G2D4pbVi$d}0`w z?_`~{$0NGbM`mJ+&zyu^RU%^GTMQgS?H;O%dT)4SBuT2-V7_h$p$}WrL87G9`Sv2_ zniz$t%{#s>|9}S>RH`=v#s9(7J;^d))gX%iFY87n)+gIEs%|NY5+Jh}f3U1NME_lS%f9_=rnHdgzS8em9z;C&S0gbboPe_R~3u{*P}W)R=N6= zcTm)S9=Z#X0Gqp3$Vy=S5lrNsy0nUUU@|q~J%dc5Ox9Cd5xKaKKvXTF#RXy}HgX^~ zMyoGng{Mud$%I|1Zz@ivv!Dnyr3Z@U=8PjSP;|$RwWesZ#Pml9q)Om&Nxf8Kb&do8 z$R1KGRJERC$*&=vx|^PfJfH=ig*!tls3gj_k|f68#dtM_0GWJjW3bdlydG4b0?)53 zL1$nKC_&`@WsMd1FB)}&r~IwFt>q0_`hnaamLZUmSJ_XR246ZO7V*=QW)?ox2uGot zSRnx5X-U-#2BKL20ck++7cZ?6EKpwQXGd~wx7%kkL5%H-EF7(buU8 z-O(ev>Shq#+Xl$L$<0Usfg%2=DFUG_p;*3# zNY5PTy$I7Tn>jyLpk9+4;k2g#Q^KLnh%VAHbVVv0fAFyCcs>R5YMV!$m3&Rm>wd!O{)K6 zzKXn%1USl_`!IEW`Bx$-g>ZL_87cajA6<*Hxm-YVH6?5 z5{D5mZ`L_^ynyi3Wl<4qK;jlMHSHX816w`UH8*Z-9S~~{>%soXAIq@-7Fa@?z=)ngj@f6m{PD2mdhJ_PmA?m=K8owKgiMK;*;A|(DGxh7!9rje#qAv5HXsbT<`TRejeHU%BXjq8<* zavK65uGT0Js93n-PHo*|L}2=#Y_(Vt3ygpIBnuU5VyiHz7z$TU#i*p{@ZSTDnQKy% zv&KvPdN`zpd5w|<9^=2x_uCZt<>$};H6LRQ0dv4$o^ddt!;-`SBwLtkZ%c9r6^yRc zOd^kRVVIeyMeQ@#B|>0@DAZPnO?cLI^u2qGM*6?}-&eoC6%>lx!T6`xcDLn{c_xA_ z;FhpJ3Zw&Ql4YtMlX~D=psbFm17$-er{kruIfe`5EwLVx79PgkN50;*un(jdZkg zuhqB5l!&_mhtk=#x6tW1s_atynnW*2I^OCXNUVJMx3j;DIWH@A)%WOmL0+k1D}tVN?Ys=?gAEEm4;Sgpn`WZq{{lu@dTz7g+Mm2jQs2udIXT9cS7 zG1AnZ=AaBc%;-ue9;Hpww)rGv%LkPEWe&w0{Fy- ziB>W35<^hglPRfsGDG5!;0ukXvT{Ra6H1bED6x z76vbbqOWVtD#vabUb)not%0Ud235>EqNXZ8-uPjH($}1I_&9#{NO3vDz1%PZgXCea z>L}e1R^6H8FN!B#+>b!Ap$VzaHj!*lxz2%6N$&txzPK{&6;n?Em39>b+D7;lvzI3F z%=B44^-v1{eB!t$^Cl~@PpA)yvV=-W1E6d;{<2!q=EExiDagv{*=vFa2AwY@U(S^ zO9UOp1+L52G>p-1wXB0;`4);pW=tqtEexVNcPoUKy!ptD(Ld(m@W&uuUM*c86O~ZE zh_erVK6oE*e^g#&(J+XtTwKMj)^Xmh6_ta{ zC%YvzI4xL-5L!L+ zpm2)8=SGLN(lQYev;2-Q>~j4oT<*kA~h zAIv%vDIzf^(wBL|q`&Il#?P_KO`W_~#q0%qaMG+@6Uz=lhr})!NqlJOtdOx)(j$Zo zhi>=kaKkRmQe!9j9Ho=B6+NwmP)*5eWi2;5hRDz=W8$qn?<-kFYM8yl2;z{%z`_DG zamSU4Hd_dx%eFfXrcELNzb@%Ddxcf`m=IXqWY~w<2#e={=i0bcko?<*$fa2w;l+B)DH+SU$S^fG8IgBbr~f%joddt7{58(e z)`FY5EbvYts(=)`U_ixU9GP5@M#-!Bn2J*6H?D$NtW4ztN3xaE^c+6Rz~XQ^2QbC4 zV(AVQ>^cw!4R6ekkvRpN@NMzqUc{4yr|CVKVIh=54){#KHMQ( z*Tx~Kj(qg4YDm!*WHE$%Yt>Gk+2Gz4MNfjW*uk$wMa%%JqB0Vz*~n(kjDS;~@aj?( zq_c-;o)y+T4M#WUEPfY!1Xo$7PT5sjeLm?i;{AfI^^p>r(fCsa#yBZv*#V3wk9{Kf z7yC|_xIMYpYGl`G;^xJghLQk_MNr9C`G>B25Jd75_ex}Z^jt;hFNVJQClg8rLodrEadZ}Wq8+|l$~?4a`O#<6cq!z#A3 zP-r_C6#%1_uA{%aL%d`fR{@Uoe^K@_@wQp;md7?T+X)I3(&5N&rEyAy(l;}vF`Jcz z^0nWg7=4@;qqy$Sfjz9_6$@^er)w#Wwc2LPyZmU<>_EurTl9E%qKc4wwX|``^G=&( zC^OtRt2B(`%{%EpX7=h!_2_d0)D2hjr)uXBkDhBvWy^$O&ROVeUf%64B)S*F5xEG5 zCF0OmH4gkyjzt)$}NFKpz?SBARXKcXlgo2#PX;fryZqIyv?k zNk`&-ZkfEydXoC4dt*TQ&7Y~G6DySlIsXo1qZ~G%F?@hEaFL8vzsjv6l=}w|QHLfGyOOG%=0#5B1Z+rwHE5Nnu?hzuC z=mw0z1|8-&%)Yc1*b%d~qIZL@K5DmD{X@E`kAYpU9Py1bRVS%x2B$$1 zoI_R?G@G#+mcdX7@McicBkO>iWXW0^M;B^GTwrRBW&fuRmG$Spa(l}jcG?KJ%x8eS zjXNHWaAR~6HQMdtrfa)dR~8j4H1YD5XRd}<&nx&`R#X9J=XCukTF4aY99z<FW+sn<~jsOyd$XGz}9~uU;tc}AW5rKsy)9@mYT9h!T5g2eL zjR{;4vXk`SWEp>D3`A~T;x!3YU`?md$U}eXyf=4$@`_D6MC_{=1TtqPzb=!L-w1C0 zLWv*x<${MHfy!pIu#U?i$o5sp8*1SVLPAZ?8`EewGgZSYprWQYi&1%b4C`r-UUC`P zf_8^|>4k45RaBn>5gh_i0zQWw>EkiGhCv3YC#J3RYNaubJFnJu1yBaqN``s<9jOjh z*Ih5K5Mq#9%#i@=A9PhzRk!vF6*iKMN1j42IhJqW6@UpZKZPEg0r#{Us)Di#gqR`2 zLI;BCgi60j*ruy`O92}b|DaBz0xOUNItF0B)R7_$DFtSau=*@(bwE%l5!u?|`W|xo z;L|%m(N@`@C#TSI=5UW&?u54+O1MdYm9*|o5)qq~c9E?Rlu+a)@H|97-mq_|4X(oO zoUo(OC`Q;zH*s$ZHI49^YB|WpYDUJgo1=^{QIgE|TLWXorkp{xP+x+k0)kP|sp`|V zKUd{EBNGV9bc*!dXRns_Ti#(0vcL!Z;QB&G8_Ao?X%5KcyIHG|vL&aOrj(DHem=eE zWHC?jL5M|Bpie(~O-K-~r#06h3vF%O{V(WoMKj)SU<_7O>K|0dbCEu>&!O&2~Ba(~T<-avFeDlpQEGoo-w_s5wo^}=^tf}`D|G|u*n^2_ zeCFe79Qqr#vRqB{WBBKUD1`Zw0`3vf@yvx%s$oAhKz5l=s6kWXaya?tSBFm93M?cxi@^`mIT~vn6>RKb0jMp+;wNmB<5m<}AFcSE+o;R^4Wv(@$<~5QI z5}_-h4yi1(&S4JUBEUOXs1j;ypcfR4M{%ga z_P`3iE|Ed+VNL0F#YNodZ`AAG1K(TohNNn-Ue@TBZsGq?wcAHlE`CJJwp`2tXr4-| z&sKKu_?hC(gIY>XI7;(5ZgXI_XwQboj)`R(860SdG(?A7<~B)QACzhAftxfWgI}_6 zSZR+MuDw^MN6p<81Ct*FK1#QEnas@$T|FQ2yLN{KDKJbGtrY?thRGkg@)2}!ia8o< zENu~8r(~6#iWLo%*L`1%hDE*)q%ruFYD@r&WXJ7K{lf_-sIS?;@YLi~>78CGm!QN* z0_0S$VlXQku}-+U9_ZAf7nqMA$ce2;{P6CdG6YI}X1xl89vQ($H=E}f&qQvr zY)bhJr@gOJK!X%B(!%K)3_d))y%P<0!n1BB)51XjkxP-LLw@Pm3tjxgYKXB?+4AuS zWTfbsu<;hytJ8U~dR#8=Z_meuTB-_}$nwzxnRfCvY>H9!xO;-lI`t*(RIDhS)C|x@ z;1y`2KrYA*5(t@i4i?6GiZ1sx9JQF4IDg6-t(CM%aaoGnH}iq^U>frWz^$rb4Dpwx z)yN!`R+NjqH=pcinDUlvFx|>sUB1&hnF=e_63)KP%6x@zTiV1YB`B;5L(GVj0e;dw z0a+!dgJJ?SN}|QSmnc6eNnO)mM+Z(~h9nm`iYk38oq9*$x3VR<{rjzfb};i0DIF?! zFSbJZeA#rAT6ydTk#~QD6(uQ3s7kjIirs|KI3db@4EfMtC zrU(8lI5^!M5A8UTKJ4+YpO7k^c9zNK9&80T-i7CYB=efg1`Wg|T+bMt4OJ^~Vbc$& z#nHI8@W|X3nE;!p!Z!3u_E4(o$m`^|e;n%9AC?TjG7k zYu9^k1!8KrDJh9`GS;W>@_L_^w%I&h3rTA?5Qsco+yd=Fq3rRJ{cQ{^X4Uz1P|Aw( zVeK0wJ=~g3E|^Ov>KeuFRl=wf{UYPfQZ1%IQn04ZAI*?2uwu~mQzUA$y|b}`5I<_ z=?uq^k|dkkd;=$-V`VqsiI&d)EbS-Xilq1yh?AY;EFZmgL+rV0u_J#!RECW@HMmVNrqs?;E?kmi@=kDN`G z{g%a6JQ>Kr)T&vwyc0tlbjt@IhMY6YphHIz=Fvstfn637TQ)Iw(_}9-Do%emI*aPGr;D7 z8E$%40mwqr=xqtuR6J*yXkzAo6J25?5v&Z@yyjaSV4d4cWyl2s)?JCzoAm>uOccta z+-L{k*}O>da|%I_6{DGWA6iA}ZnT`=k~iRv;V1@Pz)PCvsB&v4v5nxu&^Q^|GC7f{ z&drY9KP5mFw%pc_CSnf({X*o&Fr@Ib1gYB|gS}`0apBM(*e_xG$jfXN6WF0dJwz+X zp&{HQ6H5+ekYxWDdc`>`d}h_Szxw0NZ_*}rTK`Qh5soea&|p7Mx$J&IcAvlEV5rW} zKVkDj;rXpiDEQ{5Xs{ti7oAxZg4H$%9pjOyakt^s&MgbA8rK5hgkRp)@jT8=}%N;Wy0^Kwr;eH!|+Y}q_d~rVd{tb*qo$etfK>; zFO{Qecvo|2!eY!JOLK~gt9BvuY6i%Y36q!^Ae|e}z)B zTU9YHhkqQ-ZNqCu++o;`FiQjHXk%N!CB%Ng{gzb+vc};r8vRxV*JrAisb(|^q_Nx- ztmzJiN0Vb8#u)A6{cT}rw8Cu{1uZP#Pp0homi9O5^q<=N=qHSzgl4(?3}>W@62gST;l=I(tsMQJH&Rw3^AIZrNiv7hVksQn}8%${<`2Y>untHXmd7{?qBa64TM$C?Q~j_j7TYe4^r! zL}275Ly+KCuz>@}k8;d3%HVmNZg$Z+=RujfuWjn@m`gSr%SDdW#alxz0ILF=xz!F4 z(-PO7Txw-c7Lw7#(K4Tql9~-((HDGpeTIK@+*2{7=E(byGR$$+NPDkYcwUMSpjDz> z7hH41=?7rgRROXp;yC-CHap?vN!BRD$ZYH)$#HUtnUX`r=#T`AI!|P7N`Ywyq)F&r z{fMWEj^7eNAc=s|D|52;OJCbyC<|0%k|?Ipr2)*Egnvw-sRG@QeJ8@CcvLxuG~TZx zc?|m;@}J#BxN%Zrm;>y0AUuOUSVfr;eK^EL@GXmrln%xvwOLwr>x8G7(7EdrzCTbbq zd6>%k}2>9JmGvpfXtU#2A=i-(y;cY&s%J`HCKIhSPG%54v}z zyizuw3Dd`{cA-6lCGTWjlk$tbK(@MtPLm+n{v+s6{R1@H{`+? zOD^b$eZW>0QO>O!Ycf;IOn+_xmf1k#xd6%~P+=n~#0j-Oe*7LD3Z6T}knn))b%^#{ zx*F)lKS2k|i9>e-g{(Rc3LjYY2jJoJ^D6HHHDxrMH;pMfiIqKtId7+HP)gB#N@(Ig zxb>LaIq8sRxqM?Za?BlcJc~Q}xRkmUSRDKcHbm7UO3=H1{f;Nj#2H5G5rHVPa%l49@ewuyIcB!w7KuE#@w*7?D zy-3L8c*(~N)DRz0LOYPz(o+?iKYZ>+ZculWUZjBaLs8f^t~;a0buu6@&3J}6a-y&J z_&wI@$as^IcKSr!bWHIoQX=$pB*=IjeA{KZooeC)Jf<}ZC7UE+URL`7pCqtVSCW5q z8(`5t0if+7tYI-$d!R={r2e?!^_s>ljR7|TDGX7w%dx(EDxvT}N)&hTGxM71-(|%S zwk*HFP+Q$!8?8Q=)VmC7Jq$n7vPEg=?kFIsydbf?`}WNJYCHgwOkrZFvg=S#7=;w? z&5pVYN;Z7UX}9rCS(_u(e(er0+-{$aiSFc;A?uYJyx(8HQ)}v?BM=AMRZy=4*)6zvg@sh2q5{mnx&4GAu6#E!j)u$<66Ne$74$YllscR7}-u7L`m0u-bJIhjoy1u48wv znP^U$!hi6S8bwy_siB}AdD^Z`LpNMv&9szaSu?IN7G`lC6nqRy)(H}NV?|ZUz*D~n z$MunIBu@{XM$TBZHe+Nfzlu4{XilS=Q^ue86F3N{0JY;E*p$rIh0%6?yIm7z})I4KE3;)O&xl!julr~qzJj-v_m|t)( z0aeLnhHfCUs|?j(yN$*^bas=XKU9rdmMZT1iUsi^dT6 zM6P>gadS*Tq|PL>18l6>gGo+qb#1WV#SYr@M%u|i z)0;x;{eiT(g@Yt`8W=22KJFsK15788Gi90{U<1%#6hnNSPM3JbU9i3fAr$9p-$ zD5R=kEck`?eEP@zie#X2O31-B*(cGkQ!zivqB1!1(@hT6D<|aYIZsnkIR%(ht%V;L zf`}2UAC}FlavKmvF9nL1<-*3<6~UO#So=kxl~Q!WRzXpI((ohzOD{iJ-0J0uS1}d$ zveejiEf`vx*upO4!slo1cfSVCFhSrs@_5xiBAce*k!5`Bz+*tKz^6F9_4f}Yy6l!} z@blT=2ocUTbBHkKbcy@~2X9}$PgoxqL9z*8Jbmx=zovKi`MUAjJYWC+{(*lxO5@tW zct7^%yFyxhzP@(5-u{?Am>k?AfPDUeg}00Jo^`TOIym{+$@PtdLv1Cng9Qrme-T5u A7ytkO literal 14053 zcmVaFn-u&;wzx?5!4ll>sr^om9 z&EGseznkm&?e|oxkeKBUr_|xg|%SgrjHYzOsZ_h7J&riqe`+xiN^zv|h`swEWI8ycR zuU?NYSH~~cFNZ5IyTARp{rm9g-N)PGi9fIIule5(*T=)v^~>q@=KioE5H2Hdy#3FE zb-;fb@#AIqw?sNT-u!et{W?-eXH)omKm(p$ew}};sO0mhyj(wjxxG1F-5q}Y`TBlE zqnttG^WpLEa(i=i`-y+ue)<{ztVq<~Kw?Y5nzL*2`f|_zt$j`^ePsiicm&5(f zhtrybJDbGm_H=(Z9&Y9zYcl7L%;Vv7e7?Rp%sEZPB zbpPRL`LQN*{#gC=aJqSVeLT%S)@05ftiz=Fboz35ToX8Fqz(jr8Akc^@0!RZV^xw_ z>9uplt0wdF>*@CXxTbUd&|TX0=K1CD>2}>k?)>4qBJ=qA@O=GpJiM$aoj-!FAC6GV zU-<9mO-H%!7{2d59zJnJIIiiPKaOv1PlxuOHTwDE_w;o0;r7GrXHDV) zLt))T1D#d>{D!g1**(y?KTQhDpFen)?s?X|{2K=E%hTzaM&hb*#R$ypKs~Ftm< z=5>$WJiV+Jk#NDd2d(3;$J60qCWb%Pv@WqhcBqLaiGTZk ztlIR_nWIU=>xS*~bgxLCGnv+;JJU&$yu|e+$!2ci$3w5`mrklRF^*kHFkL#O)&xhp zT9UkUPOV9PdVRb(LBXk+nl7D4eX6a$6zxlAR-ZQQ&Zoz=ebM1@=|t=Ec)5Q3`1GKN zUpm?Lnw+lE?GfvXWN_(}+iiU{KhmXBZl_`3?kVk?zGv<&v>$Gdx<9{XCN89JVXA#T zU-#os`_7g%?eq5ml@t7Fvy)fP-wf4|G`rzV#!Y3DM0emdUL5bCV^)?B*Y zoy)YZLan)Uf?mjP3v^AHmk_(%G_G(0ao7tuF{laSYyi02?)eGOQVVBQYAqn46 zx#O=7AD-^@*f}ej;j;Sevbt2OTv)}vv24$ZlDMpfdz^kRWi!qD>-+nsSMABzvqCQ} ztKvSd-&xr_yxyN~VKpn8&Yl(0ap6?lXZCw3o4v8~+x5&+s~y@Gg^zr*E^VJ-Q>6i- z*ud#Rc=cg6JL z-EC|=K_{$7gZ)Ah%G4gV)Jiz5E_uP0J}{`l$5 z-(7!xy!~{0)0&!ok9qTd9&f?<&A~Jy9!~GgoBzA~{Hs=<)B87fknKlk^%Qfl zIsG{PJN^CUk661+9g0Dj>=yG=nfR45X)IH}T_${u*Hk8byG%TTPW(EZDbVv$4gQtY z0oL`k8YCA4R2@%n8?W!59uKRZo2b+aqFY-q)bY#V9%^D6+Is#j%gyV{%ctA>!~A1I z=lmU&yPuz)2OTp1+EBVg``w>@xq0|_oc`U=IX}kg?q|#xZlEl`Hk8iaMq#sjd3w5= ze{ATSA8n%OymQ8x4Y3Pit!^K0?${6ecli{e{A18VTRo_O3Tj;t@HN_S3=$BKo)ye zJk>zy_S4hHkBr(|er;qre|-OZ{qi5TA5UNA9~(NCjc=GL)4%TyzdS$OZorYEaQ>ivxV}5wKvT~@HgqnH zfc=PZ`1-JE+OuMyMp@{%VL6+BZ0MXnmgjKK`{NBf!VQ)4$MGsQUF=cYvjUkE75urm z%y3rhlA`kAxb5omNA8Nq)AOc}&Wcl-iF|tE-7Eayp3sKO1zLGUrv2E^Ie+*b9$z1B zPlt#3$A-@N!}lJ4(iWb7Z0MXngcmx;Q`-_;lR19`YjKuHMSE7b(0tJH`TFs6ntyEM z`MtcP57#$$pIgX~c3dtF8ajLLe&^)WUK~r*Jz3eKepUd{&XF8!2vqEPeZprijvwk% zRAOFmb~@Z|dpgEle|g4yIb1R%-st7B6zX6QHH550a}>URFTTHRcFcX<4a z+4W^3(K$2ghU4*<({RJ=;qLbK>iGKn+yZp@*G%jDHRAAmJUs#b-Sge&<&PH5w;mbi zFBk2{avJ{+%C z1NN*?9Zli`N&GPwli&Q8ee9@z#R5i#Y|FX{r%$$ojQ{fs z5o=gG|D$ukrlHBKvsea`TS{kNOvq`Vr9ZEFMSc7_82S_3SKuGI;E}`IJz{U){4#t% z$GJ7R0gU!Y$w$dNCKEylvUKsa8dGHHl5;9Ci_*@zRFm@xj6qXe7DSvgxk7YV+B@sf z{<5@>)tYK#>1gnOQOfO#4R%BOb06IL*mID;sgivhr^z&p7-!Jfr8{D(DX|XZN`R!8 z@Js0&Lk6`k-LFG;HnB0?;0-O`#!fJy0LM!(#XltrfRtJMTWuKEMt-;$aQ;jUU%%=#o zu+kL8#T=n94Q59j6{8Kt)`*ci7q6~()NAN7{duKM^hXQPs;^eE`ipMyL9?At0D~f9JZU%7z{CDK8n&9%^1tJ$kLoD-m21Y-r}mJm}dvRZK@26c$Z zyW;V7|AXihG)N37p4qcw=?jUx^h%`! zMz+xAbFQ)>CZei^mJgzG*}{}a_RJOPb8 z5-D8gIf}QXtHoLtodWw3VXjCbHN(91QWA$A2(}hc8rl#8Hb~k~7{Qw&X**wG2YD|` z&%eN##WDTOT(D#aQ%Kq_Z>95vRWpRTGKHXzM{b)L0vwM;8dZ}ZIWQF>oJ=JJTC1JmbDb6A*)Yz zMf)%M;2#7SGQskFk0A>enT{juZaFmpF(OkbldJJ(u@Rx1eC3q)i@a5o zezz?Ru}SggH-8N9)ZYBJee=iq=D!?y!38*X6J}jhirgGBCG+5>iNCef8}KmwI`r-Y zbh8&Ta9TEFzFw`(Zp^CaSGQxnR&MP2ZxtCgWOPIJcVxgct#)LRGd?MYY*FzmvQuHD z;kzVlNL)w-#a~zy6T{S!r=o1?^d3LagmDHAyalwox@g?D10N`pjCFgPnG|QyC$EeE1r!7K(XvPZ!Hz1S} zVdK;-0_?AVHtTY*pp-KN-C$UgAa(J56rW)>XHgAU9NdKH*8_vj!|ALN1sdC9^!IAQ z-8L8*Qm}}hKo7@C|C@eLDuDxLWHO21xmt#h6&h5!9b)25GXak%8va$gt_FL zD`ksa9U=vE}Ar$Llu(@y2_R<6^q{vAGTyLy^;?$b?I1`@7xCwgc?Th zf)I?#kkJBNLdl`7HVTv!DioO8qT~?;<`68pDo_gSQ@6CmmJ8YyYqqQ*j3$Tq-9>?_ zw1r#d8x&{Y4w<C>Tu^ZrZj{T!5*GzXc%-qnd2(6T(P|9GP1bOlz)keH2)&HCTy) zxy3E)ZaczgM`y(iiZvPsYffog@DURxW4bzl1Iq>8iS^4+PFSVvgaoD$rt-R78hD%; zf|dYxCQQL-3Nh*l1FbQNn%~10PngA1;gNcVWnSzIrHbVq%ODXZLJSys0tYjJN@ouV zgR9NV326jF<5cU7q=k0yT+`RI#z}4%*GNmoNhBC|5Zmnt0EZnq$x8uX6Jv!`w7@)+ zv_}ihT=Y)002&i(#a;{K2xX9r6rd!7X;&n;qG2#qC5wuNsm}Hr#&M^(<{*%`ivX=3 z`f@pp38?)olGRA>IKl@`wjDV^O-G3o9glXF7I1LJO_-4Az?qabRRuW5RG=>;EzDJq zChbX0Gc2LAjYRVBX{p$I?Zb5l`nV*8J!mP(Mn%Oz@LP#S@vB|H=4=BZBrowLN zqO|k5XrxHiVSFbW1S!mK9zxnJtr-c%T&x<&*QVQd1c2?9vXk}1R7Fqaor=Pci7>j- z2FYop)!27DNlBZ3C_@^L5WL$y_DSRY==2n zJnedcES;}0Q`bg8{6G#HwnUnCABHV!b4d>5#=u1DB9_ho_ zgPzI@5!4KFjzX1Wq3D*cBN#2#OdCO~CbWEvf>s=nEL|!XMG^~x7rmVQjtCZQ&0}$e z1_j}HWUzx4O%6~aTQvIP7#^^cyFz+~Hp1V}8ZARj1>bKc&mG5@c%r{)D9_V)EUPw4 za!}4tA?%{A6j&)^;c2}>gE^E}ZLyUC6B2TUsL%qI>vhWuw9K_M1SLGI@kl)*$rZTs zVKZh>ckgC2cqj1rB{`U?2AV;&5tIeAm#Z3{Xml&~p2NYc=&+T|sLJr!!XKsMF3G{G zr3e~c(RDs3HXd#b6;;2{mVgw2CgHsa3;T^BPv5Y8QwyA!OOFgP?4ca;LIkTs@^%yp zt6XiPdy9nb;E)nXW*WWlX-x}IT4M!`_0C4DeGMycJ{yL0NGwZ3Gs5xjNf>xNH(^dh zh2~&q8I$(Vs8qRvOEjMXoR)so0?i)i{8$xQPB3<_8af`Um)k*uAeeSWH6hFg=vFU>*(4-9!c@F>vd+*w0mH#- zc;x1cnsVNwswV7BIZw~B1T|{W84;sAEBLI#1RDwO={A_G4tB;jHp1v7a(s`a8-obP zA^5^Zo`_(~q&g^^_#TcJNLh)L8N%k%4pPCm;_ljvG=Q=G+M%Df#Ha^j)4E-1@Wf0z ziIn8n8r+*za9Woz`6L^3aB53#pG|~nMRO^%2z3nKdk?K(8W6mRF#71V;GR4*l_=2J!%CT=nY$fKuaC8ce$j2+3KiDVo7*UdH4vA(yliJ z6UMs{hEc#6Pj)UnGA;}jkhV9Udo4}t3aANpRk)^7%&78MfdfXKfJ9ARt%2<8^KP2q3c~)x;~)1DV?3AVcqxw+)ioRROKAtf+E@R zurJR=nuq{nrtuhl#&pmR!`ZFnfg|R2T4LGlufPYR8Wy;W^A2@jhUmXpy^z!WS{3W{9B+EQ%ZlLGzk*F7?!5Ms;0hPIE!tZ!4VMt8hPOOm6vDgXR=|cyn9#7iR3C~$;~spXRo;~i z$~Qros%GFJ4g=Em&=N!MylMyrv*Q2lwFIUj%s`t}of&^-Ifewe(!4`i=ZRd4I}9aC za+vg)I}HjBU1gfi*|Oon5sj5nPfg2Hp1{~2Nexx^jlZ1$waAEh`gMdGPgw0mf(V7<^Q+#yHnkuk6m%|RQ-l=pfHix%vTq?#6X9!3(Ummn9asW!zuaxlD% z^`b3o2Mx>a5cSKi2~{&$^gEA%lW7r@3Z5%W<*c|ALl=JCQMsV!Cp7pZ-1k=G7y+G% zW>5Rm#-iaB3MHvZqBEf}YQMvI)C{wwx#$873pV)od&trNVaSkCXgpi;JEO9lQNt?B zP704{04>dnt^z)5GQmc|dm1i#)XRKrTZ#sY#}MGq7)y@~unq^yt>=k|5*|Vh0&)Ac;E{iU@cAOi8gKAGD%DGpLgjc7Ob)y43%RaEinF& z17RxzmU7gQ%2AMu#$kco)X-QvlZ*Ubh3vkA_KqvyU>Wd$+UA^nR%q}mG0{U;c+bd6 z%Xm+PR(L~`TMj#D6}DBh3avWEz?B^|XKCL!B_wnkCXL+_k~13BE87+(yuzz6RguGQ zhAXegL4ijiH4LGrlCXP5KFG0M`J=nEkq?Mf0*nd~9gVGlLE4sOz>^7XC1lq~8(2ax*(xffktA z4XajlU2dV-z)=55q16oIoqO;dZv2eyD>-g!%mZPDblNP*Ia3m2oOYyeRR0)!3e6SH z!G4{2M9a8C@01i!^H618k&BG8kL#hp`*nUog9B*2?0dqo@aM2AJmzNcIV&k@=AB0+ z1=XjkN%qK8DQ{a~vuXU0EY^bt8iW+G?$#Ly06dIP7bGJyaT`Lyz zBv|DM4I{`hW>2CqlrH4hm9QlX$c2F|5)H0!;r!g;mU-eS&!fW z&Qn*c%U+W6?XKIZgWvPQQ4ABBg8_r;DKxY#ub}J*&vRF1^ifi*a@}mmNqBG8TNs|T zek~e|t|_++Dc4xKG2j(PAn>03M1*+?h7(+Tg`LQQLWxAj#WJnO1}Tk5(0QiaqTeD} zDqmmA4lB#^LN06)&C@A_o3w)#p$zH2O0>ue^3(=h8EuL+v`jAoEtPi5Vvk!6rEsfI zqGetwSqU$=73ST@S)rA}40CRe8!zldzv4E)85^8)H5wiRn!_qMZ>KP#Td;@Q>^#QE z4tw6>L$y@X(wm5wSUZ(v$|~OHQfL^iA+Ks9xM4Bp-l;<4J^~%rKAJa{;X7(vGlJZ3 zPUyJ*Bc6K+PO4O)4?D{7}{Y49^|P8)+J0xQM#fs(PvrO8akjHh1=qcfMPB)Ro=CW zlZq>?5k@5|Iw;+)c*^qZ?@EO&%9p_NH?PYx;~Nv2iSk&pS_qXa4|N@5R&d97T$7bN z48=|+uj+f(+J5Q9sjHYfBbn0ju=ENHo$Obg42zW)I69i0PB&v3T-BvTOatG=NU%Ja zH)bp{f-#yoxfbx<0QP~m-4=q}L>rEM@fEtP@aDZhg3@=4liMQY5edpaLu*Beh4G!3 zS#F0HYm#74Dm0$CV`l83p|2|ARYiT742)ivB8M5u#eGlskcJaei3SN!%kG6MV@Aw6OO^ z!>4s)qf#pGEPm|*9!gJleWubQ1BSe%CeKL3MXXS5Ipf#FTU*Q55zK2xwe{o{Oy}4n z2`;=#QM2S+N?X?iXEP#E1IKI?YkG`6v_ZL{W*OBHz2B)w%On;|&}dBh(v(;ijZ>gG zV?qkX4EUDFa0^e|-_R{X2az{g6now;Ei1Tagu)$iCIuB}JUOw}?MYo-WuU8+g4aK3 zxJYu2NoT_fzLf%Ak>{3^B1ij(!77p*W{5L>PdeI~xj7R8%@?nXW#QsZ0OnwR8Y|7Pz*BeX-> z0yk&XcFc${M4hx)3}`|I0dL6hSUN)$dLzlPA7Wm?*Nwx&Sng|Nr_el9YqPsLm9lH4 zv_+Hfp0Wy+nF_uZCFYl-ovHN57$W($TQq?OzOnKMy)3l35j&h;;VV3BG+B~JnP*Q` zBDoQXM@SfqQUC_iGrgSvR}*=5CRtPlsh6-LSA|Vbys8Z2gM!aHazQO(6-}yTn16^7 zoC?mw7Pc74#q#oB=FUo2HXC49`IQtCT4=A@5)(=%)fDis z5|zvzx5BeItLs)$8uqmM+$w{0s#j<<2;*v?Y`L{)TZVy)7UqRrZn#KtJa)(-?RBK% zCWk_E+^_Q}*RONC6V22#L7}DSB2U+L(9qQ_ig+VDPo5c~$Sxdpx&oNM7-o4X9H zm1s1g7@M~v1@{Kwa5;s>U0`eFM47p{>bR?+(127*%WK=^#`|r}v)|Tv(Ncn(g!i-; zW*^f=t+iK8#t2g@(WLNm>5*}Z)}T6=zysgxJX1a`w0RZ2q!FpMQ)`7(c_qQDkT3vD zo{%iJZY{0PEtcg;sH2wXquGd2P9IC4S$21gduXuWu{b(eU&x(ZOKmFQOyRO_h!Kv- zm-0%wiG2bU=B-%Rw>XLk4F=UzraeqjV zON>O6T{i^VcpjfiHn2%b^9VL<@`T1rqHQxxpjDn)#Iz?J6JR!zZz~0j16~VMaBfM2 zRb?l*D>d^DoM1nnkN4R#P6n%bQsibuA;?L1Pl2En81MEC^9S~Qpf5U>p7aV98Ya7v zV5Y32(w)GAIM6GMgjrYunF-E^N-#NOqW85$DlJyr?I2aGfNkQg1@J9K9<@^vSi`9E zlm)e^eKBdV#Bg283VF*lEf z!{KOpK)`e6-Icf%E3|~^v7IV)#A>&}olUt&G#>uv=EHT`j<><7aifr$hx`n}iB7>W zm~&gu1sm=mI=3qw4`Q14B*-y;p{*L8BJDh*;Ta1^vWk5+iIZ?WFWi`TkDsa8u^cOM zOlHhGa}r*MWPBQ4m>?}n_TE^g{j7q$8`0YQ@wF;6#!Z#dAE3O!&8rJ3N+~=~7fb2D zOEEDN1@~COgUbp&>lq=Ig!lAMX6mZCyZt=spWtJ#OX(4ewRzYZ-Gbrmw;Wj#9C_0{ zFW^B+XjFz1E|R#y$g8n#Fm@_$Aa1c@3*?Dydu~Q^!MZ`<_NWTaCp8))qj;%&iq;UhenO@u?=w#)>Z$SqbI z*K8shc}4@dB*$V4P~h9;s>yksCos-)rxBQZuo*A{tr!=1FK(x@g*#L0N{wjMvdJad z#LY8$*l8hogRbRx*g?Zu6`C<8&{_(h)hOQz>3QDDXOcuyG1({j*eP;Mtk67p59WHd>vYrVh|@2Zil)*NcuW>2!1VQ-wJ?E)+GQq-XXPfAt)tRd z3HShZEzk(AF12jE0&E$d?PA&TNNtlkFu`1p39ojegv0pWioon zroCa~B%2v65mB}m;eJT*BFQD@wTyK|F4Eqd&@v-`=%ov^!T^jF8&O&K-oqB8K;wfy z*`ysb=C}z=x*>#j+%j)2gMc#|1H%*r8#qi%`Lrh;Bl!)(Mzo^sG4DRb*dpjD=!Om#;JXu1FoSPAbL%@pjO@NHY69sX~HXWV9v zQ4LGa40c`*OPY>M7NOwtgco8-cux^jUZC-vZD4$v^uToWW-81>cAx16 z%sYS7wcFB#xk_D-rLlPMI-Qfnxw*#VnYw)Psf{lIXFkNlE){h6><90?$nq_TM^R$( zh7Z;zEhnEZsV=GVfqC^pQspsP87r>fX}HU_z@^rndW0Jt*7=tAp;ut&%V1Vd4RDC> zCz}5PI#rhzAq^;!xPq;UGzkEX0j|{wJe1BD-B?CtX~yR=cfBahup7)UCyT?uNSSH% zRQclhtdc6vIl{OLSw2>*1hCm;`D9zpHdUUPKTC&iZuxzUqLV#y;u}@IaP(!>XfWPN z3oVf4c{^~^K4W=|K6*8>JVRvozJP*Tc%NuENylORVuCYOp2-gwIU&o_Gc7^21K*RZ z%orrgb7Q)upvn)K$5cBoti5JEdU!5a7^y1Z=r2YcDR^%A8|nhTYm;F0n#(w@bM(+H z?U9Dw_i_4gml*3d1#anzV!O~u?ak@qTP}oQ`ml7+rOl7L?+)9eH^jLMGBdjyn7Nj~K$V-Mm7f&>j;X*mho%zm_zKdHZmdH9t@d`Wo^MB- z%2<}TkQ~9530~>s&+xku&OJ_O;#mY*yhC0aes(PbsZ(g&G+@fQ9W*eDye=W7;B4XU zl!S9q@D&Bg2Fez-F?(#_Zw5Fmid;3^Fv$|m=VpENMzZ11gno@XY&bjlz=T3$?kgTQ z?Vx#H;Wtmq~Bstz8f;qY)HI^?L z|6Zbb*ztj>26oWsH1Rsq1}(PGpuoqAdT8{%`0j%b3T?^=yn{CD6M-h-lhL)-G~P2u zpI>PjnMy0PyCjyoR8#2@46A~PGbPv>%p<;}Hp2&bFzev6aGK0aQ;Eaf`Ox-rSpT5V zEOWHO_1!^ZynpVXxzw(c?xDdA;}y!S@Z8VgbAQ z*T~4IAmOkJP&`HjXJ&Bj!V9sSGnH1%A{KWEhGg}jy>*w9SvC2D#!S9E*zVT`J`P53 zGzu+Ny2Eu34c1pnEGN-2olz6^(3q;Wtw-BBGYyiVv$`SIg1*~%ewQ45oXDq>j6&lk zB43HvK?`URUbWvyK{&Sw|6bk6I$xWUEg#hV zUX`!I8$GgoHZC%DLzc%FZO`_|@|ByKMbod$C}TAJTKIfNl5p2{mvwu#^ts&h5cC~A z6{a4RqVaM&e%sqj5*cEPD ztjx-2bm^^G*(ouCXR~q(p6$m8{6iPqH7m(%GW$fiNm}_?5tz-&sl>{x>=2mD%3eL+ zjyNqd7^e5~WrC-|*FhHe-3VvWpJY}&0EKSNgk~f2*lBWDaZG!OQoubEZ_t4hY}#&z zvwLiKIV`SPVuI%!BE1Vq4o(%^xjk|`rerEsiN^a$!^5IGXtgA#+s^StsqC^M#}%1z zXFKF*iZz2zpi%wuakMSk)awjn=WdUZA~C2ssUBo76*JTBNs(Jd6J05|=j{|o!l^(Q zc`o2gUl14wE7&tqJ@~q2pX+#SpP%`3o_C@LZ3k^mR>ZH|;SD(}tQG@N`YpZ+>6B;^ zJ}rD}4V0*x={xT(d?=kcMA+kF>5(ym?$e6M$hU-+l4YT7>vRD-GT@RI9h^j}yk*Iu z-9>75klT*J7K>?}W7~mPqm`*;EO${ESt$g!Oijg@T1k$Z_$BU2!Fye)stUuQ4ZJbD zhn5%-Lf=H7@g5NH_RuO+jfqjARp9XQ#7>>rRZZ(}(Oe60D0@OO?LaLnVJ0-&vI(a> zw3b@76xqVAWvq%?3SQuCX7)l3CTf|`0)qvuYAOc8W~QIpk%F(yWIa5XgTAFx*g<2U zl&>AM%zgPiG``)&P46ulBP$uMUVXP?T8Jc{z|?4-?#*gOthw>CPwjreriI&MHIYvp zD{`}M+9x+F1%W2vJ!O%3jAb{wU_)f(T3J-fLu5af9vQ$Hi_Kq}h;TlKNi56rW4}NwW!1yo`O3^<9Imfs?CZ6m|!KB>Yt(vx>`3~BWuacjc(zflM3pBpP z&KCoh?oNI@!HzB44s3QVQUZafb&PhI& z9vN4@r%nTL0)HOB=z-|0EY0ZT#Dox{IDW%6&QXnZz~n3@MTZCCl&)Tc|T5~@eLHF zd)z@w+?|e2p=Bm~tZ5I8&o%MU3n@H29ZVh7IDELAabz0K?K__C3b^Ity++e<@BtZV zC&YD331PkLvl$IeXev>Y-N zmranP1>4S51i8wmVPe@M$Lm$O21$z5o1ipZq6`YR~@F5ii=jHiqC39Mrl@Zr7_vo2aZbA#0 zZ*gaZ78w_dk<=HO*>Pb4Yc#ZgXJG6OTBg(Kw2%;jhYbSFPiU1lHG^u{_81Fu@AtX! z*gbKxNT9hEq8}yN#0{Sk6Yk0urqx6HOT%+z#FBzDM+5b%WFHG(4)%LeV*)cqLXo30 z$$NnkUNUq=2^wC#X4 zbHIe#-fK8|oH_p`9Fq`3GAs7e8^pavTctseXcFF?+ch!I?^ldolrC6rxEfBSM+V$= z92?6FCOrlD8l z;4*`IRPa)G1UkOFvLY(PDmbo;|`NXFm7_qkk5ArYrWz9)~8Htb`mk$AFNDMD@ zD>y7)*zA(4Z7G;bRpmXO73t7t7^Vwe!9krazoH+Rr>7WIp05h=+KnuqGLva(`k4;~ za7>Bv#W3elROPva$FLU#&y2rS?E~e7u1cyM`200o1Jw?^N79}Q7V^;agvqYt;rVP} zsJ4U$KF=35-^l$n-S0d{w%m1|;lfUw#~=(V_?n@~)%iXS-sMC;@TIOAI&n0!E1rTb zy**m(lo-L28!o_;zdeJ0=z_aPt7(a-ljSC9V$i$sO%SHyf-AODy;>ObgftDt;_Usl{ zc7ev|T!xeHaN{K+o0AlsxtDl5RFQ*e9+*FVM~dKluYs6;h+MwJB4PFb(UDbdJw2GJaE%ruHA!eEl5{>uTnH_b9o5w(6K;0HCcF>lL{`|~W z07?~gZdbe*Oy(82=_Y$m_|@*BM3eA&rCupJ&kO?gYvD^M4ZFlL7Gf$rGOkQIUhD!M z_`)nq+;*F3Gr!cZBc2#K7$UczB^CoNFz8okm>qt2IwrLkKwhFLQU<<0M!!>$3(>>n zs)C%I(K6LrRpeq|%#>Ad<|SjwAjyX5&z#?ty22l0ierJsgs`=Zx2|*ygSWh?CefgR zF`euVH;zn`xE61PcMJ;2x}%1BsC4i8Qozz+a-}U=>Yy#J#3#n|RUR@FiRPJ=h%a3A zgl})m^6bDWv^J$nU&vMLoZF@nM14fX;$ZP3QBsr*WJ_xWP=c&0TG(IcMb3}>enL?FXw~rQ?T4`OW z5smK;HfyVomJMy^poGtGc$thxl7r>RFql1ZaMvRPz$IEqEi?QcT4kzeYF!}(-JqJP zB*zD`EAJBZ$?;iIEVxFYF?7C~x`)O*H@u1^(U^&lk7RGr%7hl!F-8q1E|F=|79*UQ z^?CX!*`#RNO`jd{5nW8^|AyJ+*&7HAUQoAQiU&GD<-NacOu#v|wASbAj4>`9QfF7VGIoQE*A zs`Bj;3bzeJc~~O3nFpeL425YtRr#0=BX?AJz8}&yt|UCUVY_&O-?eHj4K%fa#mGW; z56)4i0NU@*Y{BdoPo(lQ{xjo%J ze!lwafB4(KyZY(s;rjORr|Z{W-u$t+H~;JDc)EW0aDRCJ=C7V!A5UYG1e)#Zmj X9B*E3pHHt3@8A4?a>Y*W*69EMVza7} diff --git a/Writing/ERLM/main.tex b/Writing/ERLM/main.tex index 0621f5050..d88fd0a92 100644 --- a/Writing/ERLM/main.tex +++ b/Writing/ERLM/main.tex @@ -3,72 +3,9 @@ \begin{document} \maketitle -\section{Goals and Outcomes} -The goal of this research is to use formal methods to create control systems -that can switch between operating modes with a high assurance of correct -construction. Modern control systems today often exist as hybrid control -systems. Hybrid systems are those that have both continuous and discrete -dynamics. Because of this, hybrid systems cannot be fully analyzed using only -tools from continuous or discrete methods. Today, hybrid control systems are -unable to be completely verified, that is to say we do not currently have ways -of being building hybrid control systems that we can be certain meet high level -strategic objectives, or who's behavior is totally understood. - -The ambiguity on hybrid system behavior is problematic when one of the most -useful cases of hybrid system control is for improved autonomy of critical -systems. Nuclear power is a salient example. For a nuclear reactor during -start-up, every mode of power from initially cold-start, to controlled core -heating, and eventually full operating power is well understood dynamically. -For each of these modes, significant portions of the control are optimized using -automated controllers for each stage. The problem that remains for human -operators is choosing when to switch from control law to the next, and ensuring -that the proper conditions are met to do so--but these conditions are also -clearly defined in regulation and operating procedures a priori. - -We can use the fact that these transition points are well understood in -combination with formal methods to synthesize the discrete part of a hybrid -system. From that point, we can have a robust chain of proof that our discrete -jumps will happen only at the correct times. Once that is established, we can -use reachability analysis and traditional control theory to ensure that each -operation 'mode' satisfies liveness, stability, or performance requirements. -With the combination of these two methods, we can be sure of correct behavior -switching between modes, and that strategic goals remain met while transitioning -from one mode switch to the next. - -If this research is successful, we will be able to do the following: - -\begin{enumerate} - - \item - \textbf{Formalize} mode switching requirements as logical statements that - can then be translated into a controller implementation. This piece will - address the correct-by-construction generation of the mode switching - controller. - - \item - \textbf{Categorize} different continuous modes by their strategic relevance. - Certain modes exist as control laws from one mode to the next, such as a - controlled heating rate on reactor start-up before reaching operational - conditions. Other modes exist as stable regions, such as full-power - operation. - - \item - \textbf{Verify} continuous modes and accompanying continuous control laws - satisfy strategic requirements. This can be done with reachability analysis, - and ensuring that each mode transition as allowed from the requirements - synthesis squares up against the reachability analysis and the continuous - dynamics. - - \item - \textbf{Prove} that a given hybrid system achieves strategic goals across - hybrid control modes. By seperately formalizing and analyzing continuous - dyanmics and discrete dynamics, we can come back to say the whole hybrid - system has met a strong guarantee of requirement adherence. - -\end{enumerate} +\input{goals-and-outcomes/v2} \bibliography{references} \end{document} -