From e9b8aca97fffbb755f38a20f59621755ae9cef12 Mon Sep 17 00:00:00 2001 From: Joshua Coles Date: Sun, 28 May 2023 14:37:09 +0100 Subject: [PATCH] Stash --- Phase-diag2.png | Bin 0 -> 95239 bytes Phase-diag2.svg | 565 ++++++++++++++++++++++++++++++ introduction-dicussion-method.tex | 65 ++-- prelude.tex | 1 + report.tex | 1 + results.tex | 2 + static.bib | 28 +- 7 files changed, 614 insertions(+), 48 deletions(-) create mode 100644 Phase-diag2.png create mode 100644 Phase-diag2.svg diff --git a/Phase-diag2.png b/Phase-diag2.png new file mode 100644 index 0000000000000000000000000000000000000000..e6598ecae90a6ada042ee7bafa99eb008843d82e GIT binary patch literal 95239 zcmeGEWnWb9_XZ5_nIS|J7*LR|0VJe`ZohO3NGSr6A`MbfgT;V^fW(kWD=poFA_xqi zbTfj0(jg@=*B*ZV`^o*_dIi@L*q_b0_Zh2>b*#0Cx?`Yu^)l0C006FPYpEFn010?W z0$d^ke}%IOJ_mnMcxhSs0szY^0N~<)2(`aI1aC4vQMY(v;_37x;GvHr5D*X`?Be0- zYyZ&8QP|VRIb&0S2>>_%ZMEBX12flW1JWE#lPh-uOr>WXNP4(#-%dn5duFGie&^Xc zoTvcVle@n?)Rs&%S;gL6k&AmSV<-JiJovWqRzdxuQw+!C;riai@L}(AKON~4Mz>7r0heJI;i+Cjg z{C^k!?}tDp4xxbutEow_MqZranfMzDz?O5nv+((wi=(t569z}9VsB$P^}D%<2W{Mb z#R>`pUasW#dNdqyan2(m&(nZMipSyqskzPCvRnvZzn_B_n94b2pRu_1zZ*YPcmOWD z`?isFypfQL=g2;Tw@?hG2ZvE;O$pklizS3gJfc9Y;s_;>K~F9k;*5#^Tx@9p_>LC- zgJdKN83*xR`aT&iL}ll1xPkr&1TI!F-|@ed7(Pz{imTbSabaZtx7w>}P!6s!;DCAM z+W$@KR2!iM0E47sOe;s6aQN9}4dNvEVa#tyuog>%Tlb;O``rJVIbC#(4uFf1uqZ^C zu>Rl7wN9Z>V1jbu3GIshU7m~848=%ZqCoZduLs1V%YtwG?<`{(UyxvX-yX1!RNuVV z+2ik}27p>;9X3wTJL(H?aj$v^ya$L__3Y)a!sCByBQDNL@=+ZhV0I97{usOW6pp?a zsh?g;fkFo&wnt1GMjl>hdcLLe7%zB$fUo(_rsrIC*7eU5h+{u!SIa^wKN{|i!?J($ ztNd^BsZu>~@>Oh@yZ#|$o@DOImHJwnOCdBzq;K3es9+c3?iZ*QhXCu8rB`Qw7K(|R zNa|i(665TTb^+vk0;U-@4RMB2KZL3f7b($)8zaF|qT+#Rr)5p#UR#v#H(a~JvMXv9 zCC_bFZ%xksKXobXMFb%`7%@SUAFa|b=4zcLDEB6oq>EL>Vv;FPrW>dA4+wyldg|x@ zE#JG^?-J^NtG55&Wcd(L!AL;MSh|x!tdqAT+JQWAa4EN?f!i3#6aq>+AJYfEGnS{JYUq=7Cfrqu z_BHV|)Oi7fi_l~OfV%EBr9u?r(A$1@IY2wT%VYHs|0{^qB;ihe2VG9|Rf~bbE7kBX zGg;lg9QC`wfqG8hEL~%k5Ycr7z_`AXf9KM26`fHSBA$CPU$4fU1Q&etixbVWgRx4h zcr0M8o#-S-2P8_Q{L;uBT2@012}JQ!DRm5^oZqZdt#^hzpljq1 z`EB_w5z%jVu|(CGBd;Qd7rua25>3(9t}E3dstT-uWR=LtodY2BkeKTAGn%R^|xz7UVX5uI^k^N}Qkqc#d@r~69w z*~9ZVTk2=OpB9C88a764{axP#XZN|7UGVWTfV#?rR!cWqm`VF`i$%*zVmrikfW-dL zyz4Ta-j@HXTBfdc3e?<--R9fjuif%iP*Y%C#CbRwmK3WH9(I2l2-E4&nvd^gGG!oB z$KSNX;eVL4%x++}dgBGZ?e5cid^>b--iQSSElxb9Y+JFOlipU6fk)yjA1HQqCZh4I zxSyjA(?cOisn=M~*dfZC$KJxdYfa1r;4^3nK$~e0YTzJN4__zEOr_lG(~m^#>t@p5 zhY@fznxAz7P6;~Oj)?@vG|Jtynx`6x`LEQSwwzWmaa?w?qD3=`@<^LG2Zcn0zO?r} zh3H?c*aYljLGM4wSi+mk?pvoL#$notg$#nA3!nwOJ#dR=aj-b@vFu-t0T5>-j&Com zr8M9NsA?a?i5iC3{l4Qe@pr)4lv7$jAl?E)bnmx_Zvqt z)VrG@CUZZEzJno%9Rs|{k1~~4E$L>gvSv#TkfM#PpqT#d1iCg((m;&n&#q zYIr08BfIXo0=nx_Z(0@Y^cPldbK-{=Ab0>D*~l^IA;)_)TSijKS=fftvSfMNkK|;@ zD9C;u2I?I0KL<00`s~^Ne`C}Lkr}hQ6?R3TYI!>rF^E$?UI_z5n&?DDw8Zq~XP3qn zgjVGVhhm+aK{Z63lu%j$-XL6>?&C60UmnLHI$U>ux8%=*p(P*F4Z0-lVT(-qVA>F` zm@nNc&rbidfq^1Jrl=BMS7@hQN}UPAmB@xrQFdEhz5~YP=b$j}QB)zQAXHpO34)N~ z)MuCQLbhw^Uz8nXHF;rDNfqFev_$Ped`*;LIlAn1ttTA3s{4~B@%q+sKej_s)5Doc zWWau}Ba8?$oTP|H9Q0b?gclg0tCI0Y1cvv&cSsAzUk%VpM7SJWIF;m?d&6}` zu!KkS(Z2T9mjC7(f7xumQjn_H3cm{uk`g1z-P9aHV+IuKdMxFj9=OJZ++z6Ue8L(B z9zrNF1UZbF0$^A+VQ}tD!A`qU&1(4EZC@m=WO$|!_9mY(Ul;;fxBl#91Jbe8N7VF7 zpIbf^)V@@_LK z{wqD!TQV}NkB0DLE0CCo5HSNUe|id?XNO%ndvDWWk10HH=YNyT8^?t9+ZmmPKK2k`EeHOG6iQz zd>&SwYk>z7bX&w8j4I#M8)Z^DS+Ug=ZJ?KIDYPHL(dsS$_{J>qqdUU5jDPIl5i?y= z)CB<}Gb$-UmM*i&l(Cy0OVH>%#{@mBSO8zr`|?;8@2lVa9>ZsV=9Kzr(-WsE?L*Bc zO#|+Zi9?YQN&}C)Q|hWQH<^@|g{!*tYdYO+Iv1_5~H5@)IQCA>fqHkqm!XW^*%Q`s3bM#rnl~ZYqnkU zhuX&Wo_|Vi@XzW!4<(Ln5=L`OJi2Q?X5b`H+tQf#wTJ+EA;_!&Fk?MA@5@sj>hDOX z z+G50qW)Id{1_g2Sqnq^lo}Ohc%_A4@r+AAj2Q?&quMDK;i5`w?u18E(L7a(UUya?N;8B<;J%w|Ai#D(?|B`T6zwT$h}|g-gRh$6+i&3-H0H$7(!{ z!fMtpt&@!;_n+UV1~t~>j~;-CcjKVaH}SsbrneiNu3Gdf*e7V7=(KamDNwi;w!rRd z9y@2aQ>Xfcg#7ZpI8H#+ffO}`s30|~sG0lfGvLMrnkM46J}H3Z$A*`G_G>3Uf8ST7 zWgKvI6aj|bJN%#^v1@Wvh}U})EhT%GL0@$KTN}!Oqzk;dEsT%Qwm#6uTVf`UBWn@* zB7S{u(}6ob>8VKS%4>w3(I(7jFd6;xu=OLrLCFW5hOv`{nfp$aVZ&i3PRqA3LB18l zg@LF6L<4vDWeN-TTddwl|5c<1=aKRaJ|n{f-TEr`%`+A)iHb!@@~8Z0Dk!CYlaJwU zh+QREec=U2yfqZ)Cn^?IKIIdBfX*y-Y@b9$Ed**oee}r5`g@oVa*Mot;~-ea*k+Um zc(%_Jr9Rx}Lr=>(>Stbw-pjb8397^c^GMJ)+{5akzC`4xbsBOnpgh_l5t1H^$=UxqrBoSWDM|SszVZQ{* zLUJd6DNz;pihn!NQkqti0fk~Z%Ld&pPOsZ*I%P{7X^{++Jlu1&WqxM(>vK!)pEo0w zO+|zrXJ4c9G6FGM^IP?Y;_?_)v+}w*sl+IVm)**y>o zQFe_2_2Y98Cuneghc+$)r~ueX-9|h8(Nnc`W_WqhE$wtuJMVSz;#w*ls5c=z3M?G^Y%ms ztO=^JGjvh$&wTM|+PBlq7u?#daOcjaLM!_uuCzh}q(Q2~VjtQUVl1v6HOIkvicZ*K zz;%&46(dnebZP}1r$vV}g#pPq=GQYBYRd=5%9%-9+H@0O0KVq~=Kp2UjWcsUQp|uW(K6g) zuxuOO-;`%@phI%`M8pOkEv%COuS;0GMF%BnRIn_(=Vg$~#h&zE5ko6!Lp;fKmh;9h&y{vl9sZ-i(& zWxbp{a%Dy;Zj4BW6&9D5n(-_NTmxkTt7NYH@%){u@jac52Kel_SB1 zTEB~R5em1}_&t9^|kqC%t78k1t8lRgKUv=V){5{V~AW7aPi7!%o;7F0eB zrG)Us_eL^B5g+H#f6WPCjw8?$3=<52wA%uBoW}FSeC==QL9*&gNlwkBm^0-gCs+cg zpJj=EBq;EF({%(Jdn2vHyKwf`ei22c>5-PPp3?Am@I*hR8Bm}OysPCkJN;wTxwMU& zW!DW?PNh|KqsWB8s%?i<7heHw^D`y%$uBB6lkKERwj%`DA`Mtm5q(E>eR3U()X*#(|~ z&_@`=^Ch&`n~y6~-koQ|ZpWRj4oApFU_ctNCN7b1&|`1a+ko2>6XAr zMv88i3;hNEg%s@XVQHJca7ZSi59olc3wA0$SpMGf9-3_7j)>3_{}U>s6L+>`DidNF zHSk0a$V|pKOR~N|=nu`y-AmkOMys~cNG=k->=Lshq<#?zmIrHu3333L;2|C2f=EwB zYeFj`w7@`KSjvzDu#uHY_4u-rctAXQaq>@TUL*GJJ%D04fohcyp)p5c!;cao_N2;> z5gaZ~M>3TLjiKsE5n73I7b>Q_exS(XGNrRwjNzQSjGD9+Hq6^Q{59xfG&ig!Go<$h z!zaP|9O2?N>;jrqzgpIHfERFz#9Oku_fY?12Z>YT0HQ^G5QB)`=Q(*&bJaVH00Rwn zm5P`YUH5IMF7#_{>waGz{k2M}GPvOQ_U4MSekbUrMy@Ivf`UFxuWN*RyQ!VZaGhU+ z&&Q(8HPlwL?rEnFnB9?%_>cq)gcugdy?5WPRuJCuA4aY)gX>M_ zOOc!olhg;Asww16gXU~l+FgbXO&*(0zob43XOFABlzrF5y6dsk$b}v}7y_a6I51ta zp)AF9Z}H|Kq%N~lac*QE1b5`S+g6YerziG~Hpss8b#1>>BPof*o`e0|PIQYYSC}u8|m)xSV;< zFM?%hP+N7>0rVRV871B7$!dDjPECp2#{ut zY(fM*?(U51cp2LX^77MThmn90`Jr-JmC zi`8wC4lsK6&?vhjh}5kx5g`~QpT#>bdo{N5iMIQk^0`ls_9RRFcCrQOy5EcIYAahg z^D9O{t{0)i&!nCXa5Xz1e6MRY?>|;{b$3|K!ajHJ9{Xcw1wJ4&(OfusVGDv!y*)V9uvjZw@IQm}+P9de8`hL)PRf1W2 zu+!2{;TDdBLSc~qQKVC=l(QjKf@Jnu4a9@__OQ3hQfHzCd!SXpu~ZzBWTyU*4A+7Y zyvp&o%4itOfHlB$0Y8|0mYP~oQ7&8GdK%7$KkD@+;6bw%dMJW#biZZzON#2T083f! zL;uJ)QXo7%Uv((I=Y-Tt|9A)U3WO-8Pb9%OAPtkQlRSH%c6vR~zW>iW1dR>=7+}ox ztj%;s`qK7E`Pme8n~!w;e}{9VC%%s>c+AzOLmC?n^<>NBG9dj!6e436P(U}NlbCOr#{e#Fi^L$eniju;?Z6z{-k%hPIJ-dpsS7si#)In{X{$v8%oWiagRG^w?yC{IZp<2!F z2I@M1R1=ERkLVZdH(#m>(xn4MkJ#6-2TMsZ99&AQ@cC#o4}7Pl&@LgL|8-mxFdhSH z4|mn0C6ZwO8Xg8|B5E-<+;^iwp)J^t81Vma3Lkvd@8Z*Xc__IS@<8f?j#OvpubDI) zKX1X%P)q1|#N!u72!N`9DoeSa4`%gsWWq3ds9`Znuvk_WAw?RxwMF!1_Mi`QEFD&1 zxo2sKJfEiki0tYJF&QZ(JEgAlo2*e?dK+Nq^}1fObFrB<6|p}Nn|$VA&|L}WYyL<8 zwAj2ZCOP?=3&mf;N4cL&t9R0?h6d zLC1HSVY`x-m6tMxei3T~eoqsCKu5=LKid+Ylg6Z$?)PwmY#x{8Z}z*I2ocf&z9W*o zAoXD}7uw~Kw*>oRkS|WpYLcU{ophOR9y;~4wQOuPT$&KwcEb;1rEg$FY!z)a@u?U7 zi=Sah7Ap&8Ajxm?RzC2{Lf(N7CpWcT#+qF-JiRXrJLtiY_clW05@DEQZcru^M|RUy zSwsSDwZN7^ZafR5$;z5wsL@{c$lKaO62luLSbETbIV{7L4mPn<$&1P!)91IBEd2Be zLApPAed>o)ybUNd2|&pFR-+me$~sD@vIF8m%9(DA-My_}T!r03;sP zZj=pPo|~}{N{<O5^?&t|0FbE^9B~#lp;Lp@wkaD-LD^x>vA(^dSpMWQ|9PNo zcoq!LBAXxA??Xf%T$Ly46q7=0F#yP1mMJPclf%Ekwd9qRwL z6#K-q9*WWhh~BMyIthTj!B9g*qR>3py@*1BJiyRNQq7A~ybknDjB(_81d$;8YiB2!qivg7E08Dh_Ge-NhrvR8kWkoJPjJK zvZe3}Q3C;l^-N!ygaxrVA%55XaCe^>+ZViT?Hkcu-#WO7^}x#WpR@keSHtC{{c@wm zYcH({W9K0@YtBM2o-!Z}{wzywDsdi6@FdpMI-$1xK8GK13KcydubH7co|zo{P(&8_Wj>yUDe9lcDBwM zv|eAZq*pt|Wu7$`$8ps|ZRMug@*H1M03USc$ZG`V+enG<)+L{h=+6NQ+^<(R+@|YV zskUFDCu*G(ggKf)1JN^{5 zDZm$TAls=z6uHJo&UF&r9_c&H&23qb>G=5S-*+}eG0_ogPx1d+VP3&(YqT{)H?a1P z1z55;A1v)`EeS`v!&rt#-ytSiLRzmk*v0r7K;r;wYN51+liKWm=Ln>^-j20N6-%1A zhqO_Ys71=2AHJper8DkL!)J)6%71ScfaQgv8|OPF_>fmJHyJGZ zCCVK1kHfc5$Sy3m+4>4ZCihb~>Gm$JMTl$ea!9eysWM7GBDJR0oenPVP#FH!rI*W2 z6)(258JLA1gq%RBp(}bnZymZ!d&ohy|JJ$F0ika|vKM=p9;a$=(Q%-rSpwD$5iT4c z7NUW#i9hWkoJ2fF?)6rc_uxvn7A{4LFMXM!+PJKgY-FwgV>?d@#~FAzWi!H4p#kxS zNO_7fgTqiPk4b}}v_f9UnZ488#3RJe-|vC!cMf@mVpAc|y9UuZS6RJ#HRPHomV=h7Nh9YFw@u>ZY? z4`8#LY`tNlY%{?8b~=Ti`;t}Qq|dVB zZc-R14&;ACAbj_L-6G1hg!TO7@nE9af3iYL6iXh;avg@wzvfMcDNxQe?$WHUM;eYS zN_E9n^qNa{CqgQtKs!kMR|Yzq^RiC_2mHFWb+aKzJAa7G`@_Mt45_gDrG0vgT|w^6 zp##~ydezp3H9HTm^J2SC&cvfRc}H^^KejS5rWj{{);rpJvS}a|`E^=+@0?!dX}R%Sf<( zm>|FDV3KWPJP@5MYmkn+^Ac@ACzH6~+wywhwJnO#cJ}0DYcQWQwznS=V6{?n>SYe^>Zyy zVk`LNx)`8`Py(4193HGk^Pk|KZI11|-qv|qI0G!e1b5Yoce_RV$$5RA#qx$d)^sUU z`38K;(czRZi1Z!0E(+f{5>IKqDTi2rZWX3!C83Y_@bTD_n`TpilwRIyG4)mt1tHtp z!vwSi`H@X@=S*M3A=EQn4NPd$-tNhO!NV9o4X=W4OGb|>d@L9(bB)i}noxMTa1u_p zU4}m5{(86vr)xPZhkHY|d2AWCZ{dGj6O2C1*VEHu_I|qFb-A2FHd59KUi8%$Ol1n1 zb_fPig5ZH@nG1phU@y8MZXw?H=6NN-K&^!fDN@$V3u1r}rit>hV@`aoM^|Cjsr=V_ ze=GWNhRNf?6K%M838 zM4swm`65ywMJeu!RCH*xGt}n2#hg#Q+0uV%AsJlSRUelK;gD=qv1`i#*9iV85C)CT zo@>`3ComA47FkI7`r^5-CBsK$>S0o@gv{R6XCkm>BLw5UtoP1$5O=%&W!jL0K#qjB zhj1;;ZtajGQEr}5)*N3oH_A+dgquPBPDYPe;VZ@n(y_w8MCGyIb|#rvF7HZTr#Yj# z@T(0kx&DBfXJS8_w`I1?_H4hm^%%itgisz)xB&SoYyMz;At?EbHA0tbVGx^JcK{Mq zgZ$Z#mGXT04Uv1b;77w-T~KK>qCp9qNJTz{*~Yc%giR>U88Shh=vDkC*Og*Cy+LRhu(R zP(b6|`7Fo1uUJ?9M95$tj@=oo1CNV}t1W-`$$tJ36ysK*R-qf^I;4hHq^~PlkSm)q z1b%egE3jnG=AQufyiKuTb_-b=bx8Z@v54|~3F_<8riC($lK-Q4*rk?Y@aF8-Zwj0l zrWNjYS4@^4Fh{9o<<{wZC1MMv8z4iOskcMYzFLJHb3bXm^JHLoBvXEQSgZf0Jh0ch zVU$&aYk6%K6Qa2y!c_-3kIY>>vcXvDv)zfaY|otu-MO*V?i@sYgV1xn={{}WPglwF zb$D+yf)o>^+wW5L0_zh!bdXFBj|c8Ko_)bS#QwlE=K2{p&5@tx&$#z9-Wk;agh<0| z{C`mcR5#^^*2H(W+U1@UUGJm6W_TVMVLo;x_7Q<;26mdeELAqJwJh1)rYV-WxSD<# zCZ+zeI~Lm~UY(vFD5P-u_Uv+D>Z%T%YbOYy4)pf#JCmwhz~1M1U`-9zLM9V-x&DZA zdtdlvo>SSQ>9ElLosthC1f`^0-vH(9!Nr+&NeDg#ZuH<8twtB2!uFKvn67U;qnB?z z?`_g@=;aBTBV(tq;Fyydou49E|B?2wsl1&IHhyxxM*DapYpaP5Up9EgcTM{>Xgc{@ zx2C6aUc}W}t=L5uC@N=R{Ib?-r|eq2VtDB9E5lCII~N7I%gM@%sUZA5xWP49Hx!~N{H@@BIRnc2E}*hQ68@>0P=7+VeTcz4 zh|}yp;^x-9&1R|e(j$OM9dq)9Yk>xDxwJWn3Hl;)=qVC9|86<3gf1k=(pxm8wQoEp z#`}~VwF1=^bFq#@r%~6)HJDiXRJ1-J#Nb$5pM5$Q3>`s4!*^~*V|MRXwOqBx#DqVV zFALr6%rWz1gAc;2Rdys!p4)d;8ciQqT&HgrvN0zgxM^ zZNOT}XF~5=!o{*?W`FF`_tLIJR&LG;ACjiY+xUSY4Jr~CBz1c~R5IS8v{hfQORjq5_KSRX+!X~_=( z^hWK?nQw+kBEykgW!cagr@R~;=)2^a8&0S1MKfyL&D&pXXunuPF+g)}EM~Tw(ZX(R z-Lg@(i5st|)&;j=vp6VjOxsTV^&_>4SPVB(ljm}u>E$@V0A=&CFf_WzSnqQK({?%T zv_fpIUe+=Ruo#fLs+Q~j1*Dt){i?uTU5X4JCT5K#mw`{)!qM7*VL{qb%c?UV|5c(VvJ)KthNWWKnO0^RV`5ewbo@>XyxFy1-&@|j_NG1{ zWlgS%TzuD|ebMDf#+U-hmzW3IqUGo`@^#Zq>o*wt*naA0%<221mJ-&#V=GViKyttH zVE1&FKV)sqO4^r@9fL6JD*5GNW4Gh%$M-ggyKeA%_yUQpbX#J=>Z?e;YhdA$dm&$Z z&hZ+ZYPQTkXgZywDzJPH^1Xrcqv{DdOJ~kZ9qaxj?;tcjUTTvW2$DB0y#j21Ne`DV z8+4)i+CpOUk!3zAfs@X!Ct++Qgl{|C5As$UJ$AUZkX{kqTyOODL{*Icmvb+PLDrYP z@!*Ix?uGAY3%wo0pV4by;B|wzoi?TZ==95|hk^jpxa>Lm(1i~adO)O}UEtnkYU^f- zDVPAzM~m;JVuC_XaLehV1`q!tLfB)_lCA@;HiDtJr6Zj|Pml!Y-!bDmI<(j0GFRNn zT^+P%TnuyX?q(YJgia_Lo4rBExmLmvvxKeNFk=1bBi@l(cc{uOmz>r*Vt?pG(T=sTD}cZsF-6=>F)1Oxi~fy zLT$fYMs+#%KW4n$ou5NYaxKm20LREbm!fwFshXX~@Tz%|RF@P%=b-Sb+>3wNueQ`I zj~vj>_VG1rymz0@lj}>SJ>2OcC^JnI&XkqV28wehy*dkt2`(i+ZLcfzh#?RbNxnR! z60{-cR7pH+E)v__`bUnjOl5K5Ve%;OW$emgwCuNSLEyaIr|H55Fvt4%(z?R>l%7}q z@{qD#RE5KG3MRfZC4N zZB#AD5{<{_*&(xu?4<3Q@4ufiD;p#VwKIwZPEpu{!9TymJcf0E(}qI1cW1umi#Nm+ z;u8d3#PQH`+r1Va__%n(vdUIB`n}4=6rWT}wbEb4cOJA@QONgvVh>E2rX;WQin7zn zp$?dC&=b2o_R{NibTE?gw;1hX4trvrtjl#T#+BaiULo=QuO&NSe}z!6+~XC@7ud4< zcPyx{IH%L&OWj7C_t}zz|Frn0%@egRSG%eOxhdZ4Bwi}B{7ZnIYJy6%62`y1vD$$S zys};FJ-711eVVo40A3~cb(O8mzP;4a&O2PAYgbta=}E3MHFj5@s(h@jl@WwlLCKD! zMUhR~fcGVpJSlrh+wHyX8Hve-7$ zJn2a91Br+3)5aLIJ1Sf#ApCMj;d0Gb(qCre-qdbWyrx<$-Po!SfeX3y`tzS9+GlqZ zW<4z1&p!JswDVkBA`A*-i15d|v%$OL_GM!p;=GUDw;CzE5b6aT8RB~#y*su1X3D_P z)D2%Zg;w{I?j=7@!ANoJH^d9k#5a!)jqvR^{(QH-J7@o;?x&Lc9fhA2d$V;LtAi@R z$zSQZ)A*k4o{bfy-SqiqdSjFiByb-M?M~&;fm8*;1rIX++msp=-AW)H0s9&rJ)O>8 z_;Xrr&*G`b*qW6b{(Wb`(j-3?y~KIi+2J7*uj zRgBLp^2fxyCs_CIjL8CrKzj_@8Itj~hw-KW`MqqDsGnKav?Fp-ys_WLH?Kv%XTB5i zp!?r>{bu{Kfse0kjP;Jl)%U+nuX@nH>dgk!S1-sqh~D3Xe|i&{)3;t-NP9g4A_v*iFK9TGbPbJ>%AnJ$kO;a_b%c2 zwY?iPH37x(uhHY`o#*f!9z6R^r#(;hww?Oj6CWF=x|Az3kcm7NE~DCj9mMYkyNZ_(7 z^I^;QFz0N~Ua6I6rY_Po*hY7xGkyLHEhEB}ZLQ=tx;~}@u&}@h#!8KaA>!wp(F2Rj z;??$N8$PF}Yd5p0a&Ev+-j0_W`JbL=<@(rG;93G>4(FdG6b%m+XbH3kRoj26IH29H z2MCv0rmW3!FsWkVkysip=yrj48+UKe<*B|AWe{n#DMpDhPQ#c}r%yCGySeO4!0$q! zVEW~VwZp3~3gt}daGg43zLzcwx++DkMA;&ToX#=G8PuY+^TS`khx5024hjmAPDKV} z!dhr#>S6+v)SU%UzP%4A-*)?xo|7Kk$}@*Q3ZUIS@d>^JrsSGxGd5lOw6;08)1e#V z(!%peeH7MeMnAnIdww)>xSA*2$r-r?kpcUdTd%`a;X9e=KwY&=R(N|}8u`kGU{Fpi z_X1X&^WPG>fxdxpqJ+U)7bN7t94$*x?@$bXEAKz-!}^| zmgYJof85EV5#RN(uTfyHfn0Relr%(yWvj>C={!KT@3bAVqSvQig=*V9aaS zaX3e~H;wwxL)YlR<3;SrbmC106~X43;gRP6ZY+tQX?$80I7>nipB!58t~jhAEK}#% z*r7WmehO!0?Hgi`KVLm8$b94-cJlbr(xG?ju618p{_aUN<5!2cQ3{O$?bkfs@_Br_ zEvYX{lb#$iydyJEQ=mUWd_Co@U|kC^RTF~HzipOJ(OoR>JvmFUyEM%%?i(3309H^x zf~7bn+l?%OPdHzl)K0i1!}b)(Hf3-xoGZ%oo#dm#is((8BK{#n~g4GL7pMEt;XI zCBkaT)$WNf3(KJWe4j(U5>dTUM?Tv!pJ2yGxK<(wnDC{KDV@(N|IXiBvx0yKwrNEo zI_lvT$pF)0W;YNoRA0192svrtI&XV}C?ht1_dhi_ekzie$~tm|f&KMyX_pD(La)N( z)8m^Xs(y4p6UnDg*A=)XHr#jFo*9XN2!O(%=O$$Ce22oqcpe<>`^v1!gC{$r)b73{q@a z?)@j4olv|qNYw>}b9a1@fA&D&R)!B<#>3nq!n1Dir@gh;-6VDdIE|&%I-Rz?Xder( z9)?cU6$O)Gv#}aW2dw&JTrMDDjGHObJz&Q(Nn5S3tfAO^(pX0VO#}{DfP(jypTSB>z;bKv)(hzHHF^v!yUJk#GJMEGg zCjkj{ik}ApgYEAW>d3ZvZEZk~aJr{J-ZklI~G zN}s$@4`c7e>2{(0kkQI-voE<(w|v?sw^l2qVlmwD3wC#!yX$*Kqh2s_8%uR9T;`nZ z=#gK~WSwjF)fTEi3H8q#NNhk~#i+0NUZ<5sN;fn}|c#v8HR@dN$tb!CY@I8J3)ZFD$_HEMW`R;CrjR=9`{u|5}_i=^m zfeh-J{?F^Cvn<$b$dBZ>mzGbU(k7)Q^G)6I5r<;Cl8upEkRNhwq}!~vlsA$qp9Te; zx?@iwMyKLhIk*n`ag@`WzCOo(6LlLcTeW`Y((klTo2G2R@XGvM$)`+S8pnRem%OYQ z*O*ZZnw`QRi?oz34dF{YRBAkBF@Q*sjgijXR%h&sznNkms;qu}%$I*Ts-e22yUKkf z{LMme+btT$J(2F;r(eDu+B0rfqh%89mQbV913^k&Drzm2XTeHcp}bZaqFiNo@2@TNS>}a z+clZn#k%(Tf--V~?=a$}qCJ-xZnphwhk8V#7r8&{z_g!pgRLuI&+tEw%`f(anh10K z{W|!LL$s;<0R*gElVXmOaHopuMShaeMbm!c9+yww=kND#MR#JUr^+W=H$oYpo_R-#v%4>PgHI)q0l5}~=h1Zs zd)y1E*Gf{>wX5jQf_v>tV9sxoDQ<1ya2qK5sV$=}G4>;I?yPXzzwN2$K<=;OzooHs z$h{ieDb+R;UO2kZ#M-iPc?TQW*I<)|S#eypyvDjhPEZbBVHMUkI@>y&d8z*^Gw+iF zVkJ|JL@c5hO+v~*3O6!Jcvp=22kV)<4kvy4_d11u>`G={qVG)0;putt>PC9@CMLsa zWngyjL}BkqfT^FKpP`{)jtL*|1*Q36CE&$m1#I?AdNZt`Ih_57qQh#x=QHlKYE!Au z>r^A*4B2t!VQcv8&l-fJB*K$-rHy+#_7hd^Czs=f$!+yXTpeVS$12aT;Y4Ki%w{tT z@$;pmi39~_Z{v%1LM=nM-e=zqUa`|=i}BHf9X`k0HDkW?^Pv94%6$FoS*yjE{++k& z;#ePMYr8DW^3W|E_K;B8o7^t&e(*Cys>w*n4#UJwq*?K6@W`PTS+<+bc@&CsN_$J#4O ze`rSD7pvZ)bK0mNX=92{-j|Q!z`<~;w`}+>9ZMHMgIk>Vy81PTSaEI=9iiN;HeEX} z7)H}W6CV-&)C!scom;^L4YGWd$lEuShiBQJ99E-36Cbo$j!}1loSHFf00sEShJ3&Q~#8Cqj1^28-%TEvuAnSn>(a^EBihV2*P3Sn&n{1aq^^ zO?F5h+^Xi&%6Ia=BJw&&`Y85G%O`yYc@=kElzat%T*9;|NfN=y?JCIksdBuaQB4x3 z1d>Qqn2XH;i}~w-Q{9c**z{P@67PWbVf^?K@4XNIJz(%s>WJLFipNKPai|{grNbS) zF1@w}c*OiS?}Rna#b=!JDKk1N8<6|^9lDt*XZ+!BrQhL^3Ep9)URU29&hcnt>i=%? zURLsO@S9T^9}s|@QZ)0d@q0nq_D}S&`UEvid!*d^kp6&8wh6Igq zpRw4!`%Dd7`)~6o#Fu5iUJf99n^o3|3%GAno%i=m>ZKh+z`8I}?5@Cs!rJhxyj;ee za3LU$bG-QPi$RFZYWL0ynq1^>VI!d78sPrU8X{U|Ll3ObkbDnD?dhz}$L2(l+?H}= z=Lj}Z7@94~&1=sotuQlgcli`1_*30AUPj(}X65#O*mm6+MM{U z)z~g=*pdloug?#Y{wzN&@hl^nCO31CZYEXg$)Wj2rmx!lChs4j=94a69vo~wX^3F? zrDEsgn3aKC?4r{TyVAwq zNl=b|c^hMq52*k25f3d-R7r?G32Lih4_g7d#^izNu71^CC#{9`O&#ow0K@(%lbqxF z2xSSG5v%KKjFXh#bYG;Vw>u(#C%8F1rQK%f2qC29hdp;_6<|8$?fI9(>>#1leQ2hA zrr{j~yNy-qpS2kfm_5V%_5eD}{f+RZwpLZ#$muvd_ZIdxkBB$syF8_r*+bql$3$B+ z#bAP>MewX|zJYLBU+u+GZ{&Cz8|9R^F%yf2( zav$?ORN9NCV~Qh7a!ypZ2=27pr{!E8K5kq3;ks?V9tIQ3SuYVNeh}nj$>%L~lk$yU zSkxZ^Uqm|`H{HIn$&m8ISGaMzg^Y6=LSx6=a8mGaA?QpGQ+eTMncAh8tGpD|#;OzW=>_S;0Yh=wb zD!a;9!q`gIqA->$iIjaxG?t-k8OaijrIEd8h!_krznjsWrZtI`xA&AdXB+Bn z<~I4d>Dz^8@^wo0d%5B|qN42d$FOHb?<+B#;Y!FC3?fDNC;fM0fTw&dep3LC5{sXOF|7GxYnG zxv?p%-Zw{kFL8J-E>kJ{AWM6t$^E-}pn2=T=!R|MOZjc`-$#d%kq2g#( z;y0Xh{Vs-=-??&oeCq}bl{;c_ZP+co*exvF=$o*Q@I1C+Gm9o$qictZ3#X*OuzYc|7fUT-)UZL-)l-NJx8H)5Wb58XPl? zusqnnb3G_uu<=o*~j9wv!R20$S>4s28UU#iheE7{6z2 z#T*EQ-Z&G78;`ptEPco&3^9H0h#bE39;uSNIu=wT(}Gm6Y*mbh6DdwWf8X~+uUKd% zYw?b!ql$_*=^Mh)yCw6j;`-{pg#$B*-@h@U1oBi)oTgZ7r~-SstbgJn@x7hy>X7V0 zAqNqe$$E6p)Js)_ZZJN&qBVWBUF;{i6F=9G8n-^gs>+FB+zEJ#_fu z)w}+|4vTLNRZ<c{4Z0-X4DBF4N{X8YA$wL85SDE1F{16Hih>l`t4n zjA#rNN)ot-HyUVOE>xuKr9YwP*L#$x+VFL+3$_A_aItGCMwa-%;OwKR)pS*RQ!dj~VyO(d73Z?h+mcGR? zM1uC?X#$EDnqcavQdYvRj|?LXHOVo@W>EeoZ;wA9j|Z`WlDY;VV&>_$VIQ#@$yx;V zgps~&p+Z~=Y>#8>tVlSenrX3M97{;OHze*DpEgCV{~jCz)e#H!chQNn2`bKR4!F>R z%@Y0;p`Cn$3{?|>$9`mRg_7h&3f63s{Rs`&jn!ns+7Z^y)t7P+c*JZSS_yn0DDi1h zTU3Uh*(!Ca>gGX*qEUi-bo-kAo^ZF``k8I)h298M0gnDJkH5t7i{TArD0%|xA>8`X z^J0B!!zb*d#C`v2>U4IFP@;+D8~IqT{vygnyaMO}cT2jGjNujFA8MGq)U-ebD4k!f7T%4a!*!j~|-j?;LpcxUVCs%zS3#u^f}45;Aj$W`u=- zJZn0}U56^1xF!Qq?cP=3TTT1|dyaqc_?*b~bH1qQ{5Dc9^C9oW=V_Y;giiOQmMdXI z*WnEl<2`D`@$kl)Ahzt!B`snUgYlRkCL}#`Vd&PLwY{II3ZJu1uttmv_6w2Wx95W? zsd)VBXq6Evn$A^%oWt95L7%Wrl1Cn;;K@O6L;)@zk{~H!uE|^XpuW=SR=c>wC)^HJ zLAqn=2lW@p*%9Q+uN?C*=uGxJ+qT@i`n-R#%Vs9zm$s$-(>~l%={anBKX?X~rVWiL zWJPR8LUoj`ziDUBJ{FEzdDIV0ame@+cCKwp`$K5E1jJ&1bD_X`gd-Rhp>9;ZC9tg} zF~Y`?N;(JIFW0zE+N^P`%t#wrWnk=oF;F_yi*L#8PdH%y8QlTCFOlbG(ZYf-V6W|H z_BZ^f2Ioq=>tTG=S@80}(vyRwetS6KH8GDs3{Sdqqq?;sC4qAIdYp4S9iv6@+T%kRZI_6{yQE`ZT*3Y0MrroFh zhZk#=#^Oc?^6G4rPY)Q+aQNkZ=B%@CsqgW>x1xo!NFhU^yT6l+?=hH

Pgo;(Md%DcAlQ~ zM=T|W96WbSl~{UL^PPUL6g$n2^W{>Z)`!A z{w8p<*P5#OEo$;(HA=0nvKB89@Y2r9zMp$=sZ>R1gJpsy>(eJlQV+ATySY}@G~#s) zo9~%WdZX@lD0HdQeyp$2MU=yfR?-zhoZP#5%c*{HA6vcS>*QE90=yiJH~zEPw(|ZD zL8z6~#bCUAcPAcBfgkBU&G<=oTOp0F4OC~`=)gn0u|$ZMF7~e)aBB!&ZKN0_pAlM| zjqSo-5$}6&pwnH#z_(gA^8A39r#r;IkdQumEPC5#((UoH7`E!F&~|#elxPRZV$*`Z zlv`t+?}_9{IHd@UH+e2lW&70?yWvVRl@*Yn$3)y?Sfbc(vT|G(7%`Lq@gY|@*V87c z0Townee5Vw>`dO#+Bz5dG=7LON(dYFosa{4I0T{rR)rs#^6&xdj!P=2^vPk+)N+E& z-VEY?-#yZCSAvWHuKmt3HkNQ7E)OiDBhX$=18YGMG#O zXHpv(38FxWgMJq)qWm?UG;)q+Xi9W`s=_hlDXJYf{&Q6b=Q^+q3@gppSiYxwFy!aR zfAhWoQMBDz-#ADk(c6INuk@MgehqYNH>Fl%_l5vh0os;-l&u->j?;r{Z{3%SMB?^n z42}Z^{F}~GrC=H?Z86>J$s9pCXwtt&IxJu{lz&h0Q*3J?t{dZ=2%;S4 zgw^uo+t-xtyJj5CQ68-M9McFJXGim-5Q(v+5{E_IsV5U7L#0 z@XfAy!pOC^2PSS#bRC&_(o*M=Ne%hV0hP$4V1kWqV)v&LeZEx7p)!Q1jQ=DZ&UKbH ztog)72(23gbUx&{`dJ=SwdVqm=I}2!V7*wX@kdJb+^kkk(C5~Z{Kpi(sNYgKBf&2# zp(B2bh>7+t#YoQXYnnw0onl$=cqXGd)k4O4t})%r%p!V6EKiVNK1CLJER(~?^v2Bc zp&d5x#yn%VL@(o0nP{phsrB)cl2^LUd2G4AwPNxZj2)pjZvFc`ILfjclHxL6J3Kzx zT(;o`lc-!OV%%`NYny6pw`UydFJF``to3sB83WzNTaW!@o)g=W3#h&Oayp>#iq~T+ zbuZR6Mu}}LwsxAiMcA|Hs_BO`TXDa4C_pwC)oaZPe(&nZlqu<`vjv$Xkn(9nVgm;| zrfD|>G%2>*MK%hd!NLV?oHL%+dmu+cY zRArS9_QL%x+&!B z1Wi}k#N91^KjsQN@c{FZ@cc{M>}9f$%X#~jO+}h=T*78+3~s}IZ{eU4ZQyEG$`HRO z6aVB5vP1=?o)GjZwtO(_uf7CI(e|d^L$5FQE6`If)iTJnI4iP&WuNVmO!!m=Zh%vy zH*QJ{vfFi+D8Ef+oPb@qJP3=ax=K2ZE#7LrwsPSy0e-Qm2fHFcIg7%5yl9@>;DLR0 zTu|1&ANMoPydO#Hi&kPhBgN)%nBWy>S;w#&vhX*3(SvHAyL+j{h3|91{N2Q^-OU>H zl;KQf+J(eD&bzwO<#v*4-Uy} zDM&82WLL-2O;%W-lwH7wk|rZJee=k^*eCNLEC{scAHp?o0j_$WE;{b2#th#TG*PsY zRsjY3oCT*Akv$d&bK-@Ut`MrxF|P}T0Vb;Y#%T)hLu%6Ss;DAxxwLdB}noa)Z&+BOOY$hLOP=Vl^yAR8Tx0iNG=z`*H zZ<0nj&)+H2rwNMD$lICL=8F9{dPyjjj-2FE+(TpCojW2IOHjf#`%(CF5pzttMdz^H z@$O9&hA{jkM7{Bx1x@)KzV6v~ffQ{>VlB1Q(+T)Ftdl@%MMXAVYBf~4do{AgxagtJ zF*~L<uf3C=^9TDE@%FpJ7YoWSJelurcfZk9?L$(qIGmN5 zEOC&gc*}QnETIchge$E8==|$Wu5X6aIeB$5?HSAI+9z)hqI(YrTzJ#7L7`V7tPiyd z=i_7D%+Z+)N}Db->yXdS+aQcNrL1F|f)fP%GWJlU5<1jbDuX%H`|e-vTbe63eWZR1 zWoud#-+xGGj=69PerIfo&HP{z_{T~7<&c<7`NA2C=Or4H2>U+EQg7+dX^Cyjo{IkK z+wPgVs{VnV6swL4NlMc&Yoxm~PvQHgu5+++sL6S(%eEe}{!v@eq<|Oh^`7oe^Xjf^ zufO})N*dX1v$FJG8!?yek78z!V8B<{a%F>k)N{fXC3nIV1iXWbv8G*iyOtUNN5x=0$| z;d@K*ch28{!NiS}BlY%nYv@QJMd#t9oI}Ul!%e4uVZmcC)y6C3adEe42Lm7|=N(oW ze83W~D4o)IHc@TytSMHj|KmdErvFG@S_CrjUvt{wjX`3ZT}Z#}+PdqY zc98vOmE4a@)&px-zfENA3#*S|7Qn2d*DC+GP(SZCb7l?JGN z*N?qI?d*FE>iVuCxTI%K78VhGYv_9165$y*H<{Hq)voyE@8aS15i*6B#10!^5pIVl zTC=(-iDI`M_BIIsP|Kr14eKQ|u*)+DieL%Pf0|#dXUot9&W@4TMM>=DKbyFCIq0pN zNZF`9f!tsm%jX*^WXy3Cz);oQa1MKGYWJqa48niWneQd}O?Q&gaW#ahhd}f4B(W>Mi zehE+WGbpTQSAMrTf_MkJ!D!t0_C>U%V9bN*8M3x^W#P{u@;E&ybAf8=H}x&pC${-t8$Hd>+dpbKWlK zWkhx_aQ5o%w}CEV!ZrmiYxj}8cCI<&LS|NeTb)&vuEI~FWdC319Y_=wF%}JHe{u*6 z#s1Wkl|$TdWZ=)hV(%G&op>H)T8!C*el1@U&AXbc*ZbPcqLNG^pS%FZPLa!7LUOx8 zNIGTZj1Q0H&lJ`5QYzt2j#9c}t|X@6-vm8tS8h*bU^mSpaIxfv7!@ev(R%pGIb(zQQmQdOdbM#o!Hj`f8h>hy)UV!yT>L;y|zI~ zL@JmU+zZmE51!YWZ{d)jDKz&AaEVKCKLFO5^7!`|;ali_S&mp-R43uv==vMyBHhbAFZTIr ziX9~aL#C57^d#&-x;U@xmg@c?!ZA9XakfA|Ja{`p(~(H#TQcGp>KwPpk?T+Uy!A9G zXIJDUXf1%%P$Zd^xe-4dC_ivTi$x`o`wz!V{eg$K;aYw6*4g70P(c>jW+QXUvzbD# z$4REoq3bbNLb<|WJ$3Z3{f#h|-?K1TQ<0ZR??-8t9_BspIyGCk2=ng zbC0Wb_w@fhrgrV2%r8NV?=wR-@h?&1VG*k7i5`-7&znPzG;C(;3p1^$A8Ifn3TfwJ za<5w^s9{z{Y2Zkp+W3PI7sayqYk0A_XnLYp{S)Yg%ih!KXwlaEe@#3_TMxI+2dG(= zHp{f_+KbT|M(Bmq9cG&Pd2+Qk-Cofi^4>OS>ZGr9(XD^O^YJ{5CG=)(?EuZT|LpN{ zn#L6sRNDZjbSB3r?l0NZPsJaWo=bnd?gOzw@|u-8npl3MGpFjJ#GG*p=6a4Q$hfiP z7VLP^_A(f#meqM_bY2Wj)Zp*?6;b&MspIo%$R~4Zxr*z_zFpyR9bwbzF)LILrqP8Q zM&_9&XqO=86v=yOwU)u0CvZX+i?BZms!iLqm?6(GCm66@J& z%9#znW6p+4^gO%rly&Dxb=~@#ce5*lhrEuN76Zw>wV;&iWx6N3Rpj%W0hI=&Hk2Nw9MX z-SmomTG*iZ;rT7JDy?Ds2$Vez|N15+Y#SHm>Sq0F|MfNUj82tq{ zdi^&i$Udrxd2x+HwbY^7o6ZU{D(8f-yC(i>c*bK-@VQL3K}E#gw)1=ikEf_TXqMg! zHdNqpyBY7`rH*>ZFggQ{b6c4FXVy%9)T}?&iQULfS+Ei=wb=23{|el1epXkY$WiJK z>y0StU(VDE6HAL7z5;nbZ|kLrdIF0uEdNCprk(QYsS1i28;CMSZ+z%lB8>D#_^?}M z!*g1Ozue&oeS&<+PLFgPOwHN*$dF(#awRP!^PU{6>9Q!l)cX5g4V?nq?SId$z+11; z*J$Gvbbdsn#BgoLP~r*XXuCLB5#bG!?M+cM@fsARVm|Y1P(iqP^KKl}l2Z)neLETX z?bAmnijyIMZ&TFwVZ!6jY|t59a`1)copfMb-quKAdOPFnxORYPkPiDDTmA3~%LTFP zkD4OOecR(_Ed8x$Kr{WzcRqKDeL_55=22QaXe~Bui`upbJ19fjP%ESKAS?gq&F=iO z8jSMf;1~hzSso71jB#Et4E5^Xq$a1Tx3#;(RV4?zVhq=tr6<( z%T52+3ouf@SOIHkMR)Pcu!un@@nZ0~(0M^9KW*`qf#{sJNM996eX8eat9Kv=@kSv7 z9H30t9%}IljbJ)KX)B#pa(&Rhhhn#|;>)hGhJ&=ohxGA|`h#gj;nRtxV0*pDk|BdOzK{412D7sW@}? z*}Pq&hm}mL#n_(Ad_U$2f$R`|^y|rl+=Bzl#O09=2mh51PrYvI3;je!ryyfx(%nK} zJM60P`_$i6IDHp0h}Xk*3e(8xM-tDOFi2R7-|J9i)B$3g0kwsf+dxM({}^8cS59q5 zL1#*~bdPMy-8DWQUFB#Qp|QS8%+JwC&#nFzBf^;B&nEhXS|s%q@;JrII~b!4YYBQS z{K$oY3~FB>^mF$8J>NFA-~gRT7v2)GEYQ+RxSzN;_sUtDUQ6$Kmai}LIE1a1Q4y52 zR9!QSB&{JB>NCC0jbo691en2_xX6z2HKV< z3&SS%Z`i$6+s0vQp>t1EJhbSg%|2~6 z8z|9>RDdiAgk37cnI;E>3T+MN{H^+R9uD%z4yw-a%zx=~tP9)YQSSWIBbGkh#bNX} zrUXqvFGUUyPzk{8i;SBAo~0LJ@o;9Y1FIm8CTdE~k~}4(^Hoi+MsIpvg1nB5F3`@;O1x-M5hH&-uif!*o~#ixKY!1tY_`a$H~)y7VGz8dRcNIZ>M! zn0)?MQEQ9~;u~jz|6=u}U*ogKdWnbW3y)c*U-iWkM@N6ZG zq%$w*70b#Js5E3-FY7+5#X~kcwqvXDzq(#gV&@5(>~4ChlB`eNe-R7YM6AF--9*Zv z#7)XO_VPR2XaUZlhx$w+emwZk`D~yL>|Oo6+gapwGpc%Xb#WS6fuz>?)=72L*7Df% z@cq%(y^PBc73jI7!O-Kb}mYv;*0({N(qrP}`)fu5$h-qtgt$KFiFXC8gn zXK5O~>18=z{#rxte1B|m%sM@RJOi)*>%`C%W4qB{XFwg_Y{~CI`tnT|27hOIA-917 z0p9oM4d5sUp$(br97)u{mIH4`FSm_80c?#H!CFE4{gwt-!{`L{{r>*L!64qRR*5CI z4XCmdIkI<~;;!rTi6yf_*`P65%06T`oZ?;dQ0#%Ut<1l(BH!oxW#x@N37aZ{fO;$A z2TM25_S(A&$4GZN&|@Y9;G;3vJaHmeY3QQTC&MQF8^*hA43v_G9RFPo7R5`uG?-BKN2s~cq>?{^*=u^uAOJ2qUCpC4XE_LeFdso1HuEoi}3yi6q~o4f)G+)k@&bMV$w#da#q3Po`7WSd`f8?8t*y4QevO(Zrn6?afA$_^W459s`bRwRtzb5ug=MyF&eC z!F7!V_3SPxvgG=VACQ9cjAc--fIZSnGd!sZa9;=>Ax|VtM)u`z^ijO$t>@DTWaF5J z;)m&{IuJc_jjI#5m9EM!cI2gG$s|peb3;C1>e=TL%H21N=svASr*b!pSPcPFKCv2~ z&O!uuJuOGZEwigaAXY0t69ARV%A0nQ{d>QHPZr`2+>+7iE<8;pp7a;D-~Hid^73$>J*PcP~R5$K!TD6rRj4W2E-m%Skyzb&2N0;2|Kk{ zA%7xr*rX|7MuB7-`QS-$G_YC z$g4FQ%eduifX1cHUf+HYw>S+K#Sj? zM-_Pj5E%*ZT^pcNO8DZbb#wM5UqIb03JzAF%Zp}0{5=zGzZ>BVb6-Nr`u^~+t^&2r z%o*HXzkGoPeyz*|C}Mp2Pi+-waXQ0%dC+weTkuwvkbFWN!yE9O{#`o?kY=zui^WaS z#4Qk%G=5KDVc<@q0tUK$9p$q;w1KpNXWg!Ha0~~=&Ko8!W8;7YYs5YsWR$u^Nkbdh zz2c|KFz+MPqD#kawug0bB4QCXpa!abR&V-RfuhSsqQI)VeB#E9-)0@kgTlc)p&MHK zy#v1z10P^1MJS+u^3L@eFnSP)YACmQJcj=J3)_dV7FiJ=j3`D4K>_1wS0s)Et-(N} zUL)Qkd4mesb^H!fYH{c(KM6kKi4@OMVmOk>f_M7ncNAs7c|x^9Ax7q5sv^n@%uSSY zO*N-h_khOkWVODz%8KFrn98;j&jD(r_a#$oo|)`X*o~a=kXHS?xdpF%cMpT*cBiS`!gr+Jdb* z+I_z8c!Ml$(p<+1!Nw7o_m-xY)cnIoTcu$#ZOb3231pAn$P-h~GCuV#vQ;YO*2A() zh=hKZw~CXAsvtF=D6jI?9|P^N!$9k$HO3gzi@BVrd~9NldOs*7Ft+#ye146vS%l+j zs^xEOSkiLGw1n+Mz)Ri6`Vik1SB85JlYJ0>81fkU^C#jT*A5+dLPS12Hu}#@oq*nr zXO4we)Aj8`z+V+;4cRr!C*_8h2020O=CE0&VvDPiy5?=l%#B{n`tD^BM10=)^+##E z#CHhVg+pe}{sSK6Yi>%8paR?qh6qV}(8L+coc=WPq%gO3_rGl4Ta{=l1lh`pIOBJD zyte{afZPa4UoZ&h$n@ubJEN?)nO1eAUVzKPtS+pK67*kIlmbAD7ETETl1ZZt~I-_%OWnJkzLBj0CL^3%W1UoSh_`C03%KD(8B8?}6 z-C_Hd_SUNDFZinDY&?UrdcBbQC_N@G>>w50g)1uo;?C%QES171;!YSw^e*ac_O9M} zVnp_>fg9>8(+P?)px4T%mxz}OFtMGz%t1W+Z|tw(z$=OKXG7zXa1?=rpI5Tphc$al zu8c3i4&ZGuv4~+qz$fU@(a3Mlwch_Uw<)`h!E({H+*b8Caq42Wry*NKe-baUbd|fV z{1s?zMcqR#NTzI+OmRU6&rjwY&gJeh@%`KB6+Ev5aFv?`rAkhfM!bHq7L8a9>*wJ> z+i=Z9)s$XYOtc=)rU#}r%>6`StQQ$wfHenbD@_IDvGdW=Ki*WhNFtsovXcIf;A_a| z_ZQtdS!O*afo!H&Ifi9RR^+Nz)3CHL!a$n46`n=P%$RWmgY0|FTtJu+Kus3OI0SX! zJNA3BZGUDl0eL2FO=+Ig#&vwYy~okFTv54%zqUafDu%$-bFfvM7P_?#v1iU%Ag z9wT|p?Lq!N1PkGc#yM%A|6i6w&+9iG^$&{g+@2J0J{=7O*2)f8`A@w(f!Ke zzhrGe($t1x8Y0;(@$6PMnb&;BeLJi|OLbf*WzM`LfYMQxsb_mNWqueX`^!hqOC3&; zYKx+j_z8ScOLTeNt-2GBI9S*|PCH~rj3-DGWt^^+|1ttDZ>j0xh}XwSnn>^J>EVb6 z-O{GpCpXgst1JjTS<=UFlf|h1(b~;n8KrQQ7?RxtZnucMph^u3;aJMh6=Ml)* zB;}oxZK+a|0=Hq7T*Q;q>B70w$oK5bqOvio8nuQuAEjYfjPLeS8HY;Hs}=T>1!1Fs z8csNvJ#MQt%J|R)o5d#2H?Ui+q5`>YRg&u}Fwg(Q3vc<&L&CdAuAdiZfZ*@-sP({5 zo}bo@vG@-Gpv)COgv>-rehss9E37%r#=+q{Q*r)Nijty#`f5q$4gPu7`Rb*5I`#x9 z?1nw&H-U^__-?8V+hd062*>G<-)8|#7|Qk%%mL(6-huAY2fnU-Dh?`K<@&Y7ZlKpL z3W}GII7J#E(lBFC9!NDIt^gVPgq1fwS_d9Ki4~-BqFtdP2f^ZLTEzE9LwJS^1mQKR z)t-p^D{*(AGeSI;1J+w4XMM?A2AW#|UV%pCjp5Cm;#*Af&hU6WnJ%d;?s+#TNn0eZ zyA$I?AX{UvgOn2C za*67z4>nM|P3VXba|@G4AUl=cioOCD#ny*7v)$k1n4f6vv_5KQ*_bC}oAer)J)@d; zH=ZE7Fc=+LgX*awY*gvw3*G`BA}B<2kDsl|6V?RNe<0zRg0iTAT{G`!LM4?M_AAf; zoK($EiGutEY1|`Don+PzAmLzOR8HPj(ogTIWStA*9lH9-!VOeq4!-&TZ9~)7JB)^) zewZ5ZC6*q~Vbprg5FQZ7-sWg1w%lwJ{F)jQEHU znA1C+JIbB!qR<(sY^~%VvKJi`lj&4g!r9PcA z1?sXUpMPI+`u1q00Jko#2qJXG>huEuwSuedBmoJi;l5m@lE%vE{;%{p6KIv0fs*;_ z(c{^nh{be2n1)Vc^lV_Ebpx&`S~brj1J2jIQ1;rR=hR)KyPf3C?q0&od1d%yo# zL|H*AfXS#YYNmUoGz0N$IssWn6==3~j90Ij?#FsaR3^o|RY*E<@}KVh2WG~Gli5TZ z84(EpyXRHt4SM_NTY?0FLec^*OJ7aS-X1w?JT~u23?&iA~-HTwIk7m?& zxYCv>N`NjPqoCdsJjRRIT>tz~|FMi4Q+$TZRIMwV_+!gFKHehL{|9*P#-%mThw!2dZ z4qWv>n(id$=Fu7E`lLq zhAjRT5pm)9HV?q>oro;?CgRkbjL$%e1sGFw-rdr=NZ*hSp3hkN){5CZ^v>2VvhcUzI<_ zQ2<-`pBeezzY%lS)l9{K$K^Mr0faai1M8Ll-Y}Bfv-hec1Ay_H6c)+1*$r+DB!N)|BbNnL(aL3 zn;*3v(7DUIUDL?8HlxgTs{N8eXt` zs+~{6Gjqq6PAEX*)a(Cyms0Tu`NqSC^E(YtH3 z4!}aq{ClH`vntTj6JrNfG5x7gVL?Y;6i933+~Qg! z;1@nbzGVL2>e2E&aX}S#l(}l;*7Ht4AMk9O(`TEk0>I}~Qn9CG6KjbHlIj0Mu4nk) z0=U>gi-6`_n^EOD71`N~Mj&8U44s$%cSfsaIL{8%r32@#iaDR(mus!TTX~y5+5g|A zrzppJ<8o2TEw_Xwy+-}erjkIPX}x;ukJe4N1Z}2XRSNgX0M=8wcRU<3CJGeXK#P`0o=cc{)Afaa<2lOLGIG@B2GKKOeO!CdWQ3o<+%S)2$r z!YCP;2~wn6q16w8!9S3gj@P!|V+di#ob#XJ&W2%>Q8+{srW=4&Fa8KTVO98qZ08bzTWxKV2O7f@IW!j{ zH2-st7aq@!!IH-bO%Rof1)nR~?yV1KWK^P50Ob}*{-1K6P_2QE;@B|t-G;=X`aQrB7D-w_5>@%sr?*&ST&7x>Ss zgkY6BU)`e{hN#NkJDam&fXI-{W7SF$IrZGBw=cLOie*$#+K7<1G3Ti<;;&*#xV_hI zNEm_K84(`#LeynNQ;~HFr_5aPnqehq%_=LI&GY-&k8=VA(}Xa{Xn55#XVBe2+A854C13QY6MK*5_8@-)kByG5$DrCGm8mK@kUaZPSpL6N(L02ioA!! z5nvG|$PO4x2#HIA?Xg4o-J7zJxK->%FjPk`Z#Wp{UxagoMPwosu73B=Kmr`tZyGx2 zObV;;SMO0{*xrjJly&*>`6ggfI_W;k$maCYk>KsSaf8}%IBdNJN)sEHh|~*#0YqF0 zpTM0mWuVgBQi{~O1@rO7orgu#BJ~1bo4q^JRpti#C$wEe%&Z{nq%0%{i|9huxix3^ zu1CZkSxXh-Uce%pbJsOQJ!Yg9-o;H~zo? zj#lC%WD50?r2Yi-=4jyGXc63Cd*k~8A-qFQny4A<#uX^Zv^Q=Di5rCN6(g@`pr(d5 zyrHgLzo*Zb|G0Vv5eI!O4k|mPT9R2ij2RJvtSSH20T^-#_?%Z5h7qHb;ED|-R~{=v zNvd1Ip(>3|PG{ZDZqQ0S0s`3>%Q?Pdqgakkc zJ$Qslih2nA5gVvDFKL{Y?1#`!P(ZvH-k6a%4!i}MqI%D2rwr_3I8P^k=025HT_e62 zqmJ23pkLU&;bodw)Herf2_5|V0GtoT(_2fpy?K$K4w<^MnYJ@W)0!E|vcYhlvsFrP zT_`z5c9GLKBW3dmUMPm^!_ni%kABLT7nO2nX~%OAO6jwxR2xURHSB6nhs=<;PR|9J^7S2#tP0M|DH z;Xztov0v^GV~R3gY8K$eX#74`(16vJbrUg!rAf9=yZ9p994@L5CxY>3_?-2YVndAv zhp?r1%=?%h%VS>B(0&9Um9e}*TAB2|q|v$1CS=e8p=Rs7!Irs~J$wY%d#{NyVB=s^ zPrSPUH_>f~K?uz1S;`Vwpd_hKzv&-yAvD2iDDH&xwBue43bnN|stZhc8McIOK zAOD^3P|}N!NkZKmZs09Tzc&4Uu?DEw3~O@%2R2{eB#Y&Xug?_Vra=VqJvcs9Ii|P? z)F{^|+jw?M>nn4{9b&+2tfN=JAulI>P6|!3Aap9;*n7v@&-!Jvz+peTa`pW?2}Qcm z_G5I|&ZO0TwoieXgA;2q;ZHQ2OK*WT@p0Fgt!TSW>PE#z_8SlG-AFW+^x?SyGvHqz zC3NaeIJ4fThc+&nNyMJBssGt17XU?+eW|A=;L;{D1_r$ksiYIcK;`AD+ z8^uF!i5~frj+yrF4C;SPiowizR_*b@mN(l-+sUNG&dS@G^NMhxivwmV30`5L5;RO4 zJsA|onk^wxJNLjWZHAY+%AI*#Tj{7Og~c_84;DaJKPlD#9&(hw5_A)RtYh3@vXU$) z;Es}=^pn5#DqhWna%Rg19^XGF1a<;*MG%>q=?LUATcd^za9tg z62-v_(OtIT*yoIadgU&jxPv(YA%s(I@xU(*aL_T#1#DBLa=&!+-rGv-QV*gB4~+=V z8F!E%Qtb9$Dvl)4D*QJR#ymyet~s=kNQCD<0zA`)(6Wco=WbUlgy)TCY=1SF3>jR5wwcpCJrC#_M zak};`-{wN;JZ&^?)=yIwBa0e^sbdjVrGykQBze5YT8 z+~Ex!=Du0av32_>rT*_{gv79+LViwnr=MHjR&Ta4=$};C?~Kz7g`@jNpF}>Q^5Xjc zeIW-3=+H@AN;IF_hy>~n?zWD3hi`bHCSX=5zdXNYQHf_wLo*ske9tTYfg2eIBD#5g z9$SRd8jiZZ(8Pb^3v&}-xr8ULuoB*VvYm$>R(l>cg#FFf}z zbHYRHMn4AWf-r)Iy!672uaD;jP`^`TVoNo(k(LEjZL|3~Ih^LR6+m|I+C|r;bh=;v z^Zmu5QL9kCSDkbVM^!$sopW}41ZG{DqsPj*dIgcvE=q-?#1-^)c}2>|T>RX_u=5s; z#XJJ<4X6VHU|rO4zXsf~Wgsg6mW7vp> zspK%a9otO{@&Caz4^dh}^hp z@o?Jw-!6qigx|1m&`W=QmX36cd~CMeZ2V0VyMc-o7y&)`agDzvh$D$ZXSn6<_=cU% zH|r*7t?bJe(so>+tGxfg!stv6(6{!-wMugsd49m>Fc;5Fi!e+7I#BR~y-~k?K81qH z{qrZGp>No;jr4R(z-LE4yP2qVVeWzWLMwoIFg!z2Gkf zhxt5F#pyPJoxF1BjKzM)IrfMkj!?z0i4y!bJhkqJ)TtZ>w3N~*ABCg({C8Fxw6Xb1dC8Br0tnzY&u2T(g@(5`!~vjOfV&TCF+4hB%54F_nVSG-ikZV#I9(Q; z@y(xu#BB)}S^Xm3x0}e_iIK&TEt=y(a%24~mG%Rff9F|DhHUn$jP2-+@hyEwPb;58 zX!?v6V^n%02xQep)ACIR8I(bz_h8&2!ab+LhNG|&Da_|yl<~8sqMW625kHG?&P!ThV5d#4Eg-88}sm0ZXAi@9fl4>iTePflNu5GopRyD*s z^V@W>%uDi-D_x#v(!RNl?aYj0on!(W!s09?*YA8S_<7|weU6!ri=LtsDF5Fg&y@K3 zI<-OY*FDI*2C?wwvg=a@96|p%D@566&p5Yk=YscCICw%*!Z;I2i7xQkDExQfR$zH>1KlJYu7l`yoyQ%jiaL6U ztu-@Z?RvBG%JJ;elK7B%n`lo3OUP~K7jCMkWd@4^^jt^e^NY{S?@9cC`wdx{B55%W z|K~Ma=U8gVRmeI=F}}aYEqwnD}vh-c4V+O+xOgl3mSte+&~Wq7!+H^rDK=-3ozs)mIkz z$R?U8a^!D}1`i-+E?dZmn#NO*&|hVakXD^)?^{y&}6VB&EAsB?bZlk`hC7ilovF6GTN?I+YS>M&}R_ksjRxW70!vNbI}udB1;f z9QUp`ue0-#>`_Ncx=GPg#{&T@Shh`K=^l}UiytB*b|UdY(DFU#_j(i4$RP5 z6a6qp)a8(GvW*qLH$YkW%e&iQ7EWDz{r2?CkZnbj5EM1#Ny0AV&H_5W)V{f`X!*uP zTlQY=`JOTm0-=*aMXwN1{>x9FrA~79X)ez$UZKp@;^`Mm9F4sqY#?oU=kjGpHLt~AO#x*T$V~3#E$tvvda_$@N1?YcettK9N2S$09NtL?77E4<=PqW>F1ECx zaA!e38@%)9htoEPy|?#rV#+@Sn8=}uR-MLnCR^X?^WQpsvDy;%osw!9Fz%7?w`i!q z@G=*nuxRpCg49}KK8aUrW=E#iQZ;|5+T3MhBjq<(*VFMR@2c1B8no8DYxKySU<&-? z%x*g4MDPq>`}uX`57^R})4lgzB0WOF6`G0Q68clO&FW-+G@8RMBMo@o>8#}I;}BkxOr}yPN*a+=Y1ceI?p1vmH4Yvw2o4J*m0}`D9gsV?#su!pE=OKqN`5SF7Z>HFF+MN=g=PHa=M zN0JX5V>CDzF+w7%UsbAx5%V(btygnQ(QYt*LlwT$ zQ!bw0r#mdn{%=kgz3d+Z-$VvcHZh(qd`{OpRj7&1TohX~!wMtEt_8L+zPXZVy6W9C z$i-v5S|jeFh?hm0GWNiBDM0{4mwt;qteNDq`;#YIfnk!!@jknq9G_0B;qcd+Hcz%W z(B$eKEfRv}swo5-PoTZ~47*fn)0t8M5Ywp50?|}~vXlZ8mDIqXhW)QVzK8@yYWL*` z_~TOx#G&=4+H6y$QwP_cozVMS#(}M}XA5_oopBwpSXT_~0s@h6>oAVby2OLa>*kEha9^j6K)$D>w4LD* zo?FwOL;G35+hQ25x2hHx;khFYU6);8S=xzzh5 zkA+|P%nZ>XtWG`v$;F z_9WL{d ztNlVO?_%X>nZ%EeBvtzl4Fq^_9H2gm9bbgmdo6dUGPceFKUvNf?g~J2GF}Mu?KY^n zTQm-JO}Q{R)c`#==F{v{_sfZ>`*=|E{7s8 zU~l=J>C7$i5rt1+*}=T6v&T5#8T(5?N;o_5A0bQ;A0K2Sj?UTcDdl*Ba(FmhyaX)# z&cTp-KHVKcZ>=3>m2nH`T}T9Qh#P|MC<~@R*ZV$4H3~r8hg-mYIX=zZV#(>uRTE#x z!_}p&lfEe9?Be$OB)xDL%O~-z-p>I{ipT*@pLn;hM-QZA<(!``r~v6XXXNIJBWWZR zyj-y{4;ACPep(j+G$^|N#2D($O@=? z`9N=*Tcf-^B60*CvLPpdu4_B4phMmd`*W9g<1g%dLx^0cT?#o949T&^r2!R$7`CYhS{@?^sS6#nQ8;p5!Sd!V} zVS&07cMUvFe|%3)Mzk{E1<5sV_Lr=Dlx&4;TtE(ce0<6w$r6)ixMnX=d0^KAZg8Wm zJ3S#$mw)rwu<~?5J9z~AM=nT^EyaQ=r3apM$g~0*@TOMoS!OO=vXm23;78A1Xq^k$ zTOkflnvuu9vBI&_wWGdmK$SoQd7WsmqCLwY*}3h{;#}|H)NV$QhrSHTuRwiEDW^Ot zbl8%FrHHdHaSR<5g;~*X|J1@(7gct$^WJk{r{ZGVwoUs+XaEUX8Am=*V*(n?RrMcy zNzW&eM>RGxGoums=SR`UrLYl=B}Qv`-}Q-Af$?uro=fcwY;0^F107e7I0}Lro0_T@ z{N~-u4W4qaGvIo`j1RIhKKf6wQbLt_LgO7hM(J}=F}X29cl`x{jOu_S6L*h zx!zUB1QO|d2u#E-!Z__cBX8vb*JLaV*JW&G6xVTwGiw zgpNgocMXSju~^y*gvS|-$fEK=%OC&bRo}5EJLU#2SN_SfICEl`e=?DYwn@$NA5lM& zGtN=kJplH(|M}&3B)3)2(rRz49_-_K9-m(PDY=(JF>WYZ(X;Z)moFc;m7h#}Fpu05 zRj;nBbPt79-}N5xowC8jqN7vunjVk6kK?zv+rCp3x=n%&_U`K2nGfTZvy>u(15o`g zU?G1W-f=Lc%1ki&Z_Q`U&fh;h*=`wD+2Ei#ZN%&`OV}ytV2B@EaGzf>CXiHB?zbQB z;XK9H%ARb`E-air#hU!L4=2C6?U1_A?F=s|FY{uYxLvas3yfI#D{p9Mhyv7P5wvuA zyyu_3Uk$7d9E;AqaTXC?w%`6JKh&@Kw%}euz=>ZB$EWcorZB3M-}xkFjFjgubz~jL z+o&8AXQ-|1dLJf`OKjZKH~gryV~t%E*=do+-)F+*>Zca=^H+Kzsx6+bvqa=u1&%Zf zZdQsIpHbmcM0S+F4So#7?)qY5ES6AXgCAk&PXt>sfED(Nbd;qawSjJ8i&*)H97*Y#TjXa!KE z^v?=o(q0n*nY+s7S&Oqw=I!3S zCIJgs6Kas`$(y3r#23GwwR~JAWX+m7nZ7m{8L$jCK|cH|B7p=D)AnP>yP}@Kiq)3g zWafjFJc?|aUSc}1hQ(eKcyLn-#*~0fsxP2BT5vS$)d6|8ETASAJm>0N>@P8k5xnGa zSvD4X?}SY9796(J+1c3g*0!$NS5)(cF?(>8v#KnV%;%SPlopkiEAK?JI0Sev`c7A_ z=VjhTc*x@_t!q~slKAv2eMZ(2jJw{ePit(4dsd$N`R$6NPS6KHKdkR#-)!SNIxvGD)j}_`k+H{5lHfT0k43#+oe+^{0R@rQgZ1GLzOfM~U*3{P4 zehen@{-`XRK5%AY)}VQl&cfRPK-+P9dwYvT@5zrAbXML=Uz7OqfB*h{z4g)jO}bDj zf={>l#};iUjOn%_Qc{gh@@`&WZ+NB|av7syMswv0hs(r?IiN zEq+nk`vZ}Q%^6I$N+Gcd*&a+RcYKE}aFDeJu}o*DQuyJp)^jnQJm^R_VPGh4qx2qt zVzIkyAOPP~vp+Xxo4>k$z4=Yt%W2YbI2j0Mw`_AG`fvK*-M`T3I>qvEh8+O$r~!l= zZkc;U=Uk4+omqLuS3A=@LiDd{d|hI0q3$U0>*4FZ_w4m{k1V%F-2s*2A^x9^V0;<} zbY?YR&mXn)-D1Mo{gikv^iuspc=Wo^Z#@Af#(wnTnU@Rjz50LOUnn-kpV#O$NYE{8 zGO~;djGomcwl;TJ`YooO;hQuZ<^Y94QVopF@or!=0lm4c_AOFc_+6!Bd9o7jW8(Ad z@9rifp=B6gteEA~y^kEH#dPVuz&*(?=*n*Ev(@MydQdTw5U5~X;6|?Zqz!2mX`1f* zGjx8LM{a`vf3><`#sNF(yh8eSj<xCIxpv9i^Ud*z#P*FHT1B`*ZWJhtiI53`RP zRJJOSXl|zOyyYf5ZizL(!r|W?s&W%P|#p@TjXu{^{?DU6QuIWMfK)1}PlBhjkhM;fhARh_$^bFqzNa4ir&F{s} z(7Wkb_A_)&7iwArfR^SS(c9Vg=T8p&d4L}eS~Iw=-BM4GVk-gOUYQ$=U4VPNvgv#1 z^_h_)#EPP@yyY{JBLr)P8aPo^0PfPU2hk!1$uxH8h?pwj$V-7?;VOLMsLcn#qLp6c z;>TA&IPxah1D^c(!=T|u;1i6^((MvlgsiI5$-vOL1{!>reTcsIoVd zggGgCMn;a6Sazu~cYAEstkQ9V>aLjXM8eAD}(e5{{kGaeZ35(seS5cPU${;T* z5(WW;>@gb9*NKi&oPF8lEi&yzb|f2W5&uGyUX9x3e)oG25sY99A^1M-oY<@o9W)Rl zmm)kUmeobO+E`w)ZPRacef zXkPl4#-1`XOJoBkUPyees6n?!lJf6eS5g+xdwQ+0fs@8~3XzBeGoRT$@DDs~aolp17%^39}5 zl{tIA^o_iW9Mb(m=_Od~C-^;9@h9X>*rF^$B*52s@W;1~pdNsCq?VrLjxo zN*Y4}4v8<$K2T4q=97%l@o!Pt-8_nFjz&*oV!r}}R0vZ12t7p2}tpFx+nY1#ik&;?Rf zY);*8nQ%crJ=H{~5eUu7U$OM zcKJQwBjD;l+;Yn`i4?q#s;p01*hi>9NL*_Oph2#UoBDKV_Gdf$;TPoIv%1w`^qAg& zu3AF2T>7LIhEk?ThK*Ed6@35(JaJ;~ z@NiSp!m|MZQto@L%rJIEbgxTa5<|FBYTcL@xW{e%)dsr>XdhHSAxe`Zy@DvJRSB;sahtJ z*%iSlKmL33bOtaHJZ0H0jgF3bsp6B)Upkf5>ju{te0}^JCz!47*nezTBrc0z7eq+n z=0C-sypZfBe)@R&irFwFyTH5M=3dD1B}^8L6#G?2m|8iEM!d$ER86+qO@|Ek(ALS0 z_6u0l;l;6fC~dJ=qQW<{AV}F-rFXN}pjsMUH0UiAW{#SAyjOO2Q||wB0qk5pKb|Q8 ztIRod-$ku3IcC40h^_kO2b zosNpQsQNfWQVv~6gMZA}o|u~Uu-GtNpYhwPM_T%EHfz7d)Fz?+eRExMu9kEaRDhU2zH^HykA1W^LQF zFw#py2k06K3bdN>B6|Vc#y{=Uzl}M_k?}MIK~2-04aTPX7(v6u23hJPS@E}LynD5l zfZNw!%aK&-$Nr=qtSJ!0OaZfA+-btbNw~B4L&;IYzmMH9=gLazq``gFxzXN`Flsb}GK}jBIiEA#o7~1m>;!GV&JCBjUx?}>pM)07 zOKE&Lbq=MNV)K=Z>_`~79;tbRw_cC5JBFTdkW13HQo$ugf?#~}PJ3Hl%txEGGvp4* z`0DbW0ES$-*{J)7{|Wo^dn~YEPr%dLeE?_HUg>JCynZ?>NWnsX`=%c)9->wGLv??W zh7K@pW2m=u*3^%$M7%5#f_Kms`wY_*eYqJ);~ZCgvnQWoGtCTfv)RDwidQ%v2M1?X zZmNgiRlfx6SF!dP>QXJKq7JA>G?K~6(ltp#jG+6e%07t=<<*8I?T99@wMz@CNsu~w zdj*H(cTbark9hi%ak|%GmiVx?<*R4#?0qh>e5*pN^AJMu*O7Q?*bLa4GMSGZhi$ZU zDSfs3u&nqt%YxSE*rp6&lpjU$rwye&RHh8c-7%8Y?%NGb{bCze;j>RkkQV4vVE<%t zefv~zYvRhptcd#0TTiZ%hVxrD20ID0`+K7%br2{_0*%Mzc8VDh3Zgadmh{qQ_^x4t z{xoI$-B%FPB{i4IG3~lv_ArwpX2T5xmK%_o^Jp`;%wlN0G)=epIWoUrLa7iud`VFf z>__9cY_y3B7Pu>C|7B7Ws432S4DNiAEO>m3IMEjgniFzShwWD6dsi*}U?>3rnqu~A zDiHEQ#;uuQ@I)H~g#`BpRm4i06OPzGkFO=PZz52dW=bl*V`t&Q581FZ&pj1x$a>lD zt7+dP6cOE?lfLwML!C#hM}O)_3S?Azr#`-iIz*t9hY;S>t0u2lejUkY56uFVsaoXB z53x1WZeTV0?dd`zw*2RsjA~oNrO)~}Za5?AClyuqPtB29G~Md73r*ftT&d`(>fABK zV})R&%l7MkI{-TV7KchmyUKA*iTwBLZEOCHo87;obkH_P$;)q|u3tTH!mlu|)tD)M zB{#upQvHBX=&2Gfhn&-N%O!;jMf$d3OBlw%67JNxG$9?OCQn3Bie!)E(YKx>O=Xqu z2olt$Ahez@8nTBPe^cvTyQSyQUad1H7_^N*?ETSnL@M&NImDiCUfgDC(CUd7nHu;` zo^;am!x8A~03ZPwQ9_t5%Vjj{E@+Rl9$t{u}oVqARlhKh1HYg4m`?U8H6F4pngntqzjpmk|c83 zXAc1ZM0)x$TvIj!-uM7H`#EQYtwE0C5;wK6kp3G#-);+a z4i!Z|2MlSJmGitRX(=25VjRlLetcMlK%EI?F;ysGD61{FLUq2ihFQ)rDP3PUwWnj+ z$$y9MKhD}EdBt3D6{J;li@QKt!A_0C=#Dw^G3Jps{H`hom!p8w``O%;5yJ_EN{q*@ ztL^AJE^y+d67bvoXZX8ePxMS?b*SY9(rjsH`3q{R;#38#(o1cvy z{#@v3c?M7v3)PE-Tj5D=LM|gB5(lA3>Xj>4C@kHumA*L!?qGf%#s^g)I=_EKg0th) z&msZLN{~;nF1>^f)7br(dsdj;;g(2&Ysu*>Z6O8Q$L(^K#|CG3{V@g?dS-r#v=`Z1 znQ)Kb$lJS^a#YsPH#UoU=?XXqXhiTp58b+a_12~1j-=-|4Fxn*kY#ja13!O$x*s37SKJ_;VV1lc9&U29 zJXvuw8ipL(N_u?;{r1ihufWD^&HU{z`K*U&j>?B zPzay?6vBGI6!ri5{+aC+`|u@*qx()VP2>n8wf*0`%tf{(Z!4r`#qrL7r-0GM25vQn zoxc?zB#ekcX>&$09noJxUeSmz;4%FqEhmb6J$|c(d!_z*x3fB@YQLK)d1F(-?|B8r z!E;7ULBnkNQhb!tF z_oj~OQ20HOzV&ZsRO=9>X-ObFhCzUh-u@+H{c7<{Tei&r(*^wnmnTsKQk#=*I`C%T z_G9(u*;5yKloekJOoF7U!Jvra({LPly4{Uk&9?qcyqWi(lb&_t*A^L(^cWKpPss+N zuk~!-@!J8`X5q{ZT6RY8ji=LGTp33Qfu53WC~tuMu9 zQ|Yp+>5cAk$`nQkbu-RlH!@8=^u-M5=|S3!Sp~Bz2MuB)%ACeO&^(`pl`HQ5?SP;w z7=^R${x&kJ>u%9tmm#*~dV738rEJP$(;hS4N52@S6;7*x6eNJWBm|7~#?>FFJTNTi z_`$J%p7{KLFIz+9BYtCSXS{c=NW2as&KjVF_rTWM)!bT%5Z_heLH=Yfl&8@ZPkV39 z^4{F$8<#yiDGLe`QK#!lroY4#$K~h2^DkKS#DyuJ3<2`zi?3hvGxYsEi7)MhOv@xgMAY?-OU{bU1oyQZ({iw!nwN+p)rJZ%L2AuO^#ZLT~5(N05$`}}~7=Z)iZ>K5Y zo{0EAyYby|kk%$~bgBBTHG#lM8rsz@ad^Np-B;ajh{>QO2x;TOZO9MHV}>=gs=T<) zU5{CuczJ9?!_O+}9h9f*r6bIX-o4z2IIexTS~ zwOv@o{`~r@s24N!GcP-}b4+m3qS&YKgZ^gN#s7^12HXjam6Vp5bAk(MkB~O`x{TC< zwJXPD(SNCJ3+Gv9>IMgN!}FFhHlthZbN~5?TYP?oK(%n>G4y@rb|KYFDxNTv)-Kj7 z73jB-eBYFJ0$s$sRv{>ZX&dedHfKjVY=M_?uySVwT-g=GY%qkz?ak+Uxhu2uM+Rv= z(ULz1qr9V3PwX1wWDU69>aN}0<6z@twj!Ak2-dV>`R8qxaKAu$CJjO-)->muh(b{FQs1<>nDdFcT*i?fgYzSkSWkArW+%>ZXMmjqv&%-i0`Ce zW?B5LrBpuDzaSAhVdsC3AB{{3|MRuetnqFcz396v+rRrkVvJ%u-sSQP@4L!vT~Ji+ z*%m*i_*#1MHlH=($w<93yBNQ_$Xa3Y@LL~L5iZhvJl-{+CTbGq^L$o&WKslq;pXxX ze+lZG<>k!sIlb>`j#lYF2weMSajo3p^j za7z}~pm#_7Yud*wgYHc|J*eHyPtR!L>vO-lSPNK>MspqMC(TY@0HRj5GF%PzsfI1wikCHigQ&SK z@pS@CG<)e>5SoZ}`IR0aNg7PAW`E+JrA@<}tRNKdEReyA+>58%yd%7Xb=r%^Uh@_F zWk86D(QBfP?4(LR4KUTgRNZ=m>_!8jhgkaVc(h6KFJc#cFx!*SJ@e)J z&b-xzf^>~kDsaxE61pFbgDF!o&8?hidLyPQ4W_R)6tfrU7FbpNh{gn~*!|jK%nNtS zZ%dc_3LieNDxNl~RX#;3T?^I_O$Rw?QBF@UmgwA>T~KVXdK-3nmvDdY2gQ#y?_gj| zOy*l@CFzBrZfyJK9;_QL=fm!%G<|k{&P$1FRp~V{jHkB`iz@O{1hjLJkBy?2N~|h6 zEhSA33q^lz*59?wg?vS4+V{i!6yN-dT|NSw!l}{D52ERu7|-9QIMmU{TQmCYaH3ag&x)r(Ly!ykS&J6V>2~NLuXq1pW$vHPuC# zv=!!7t(F-CYCmlj;uWW8G+?RM?~8vC4mxswXjxMdA~7ZG`g`RsjrOM+>`_#=DrDLp zZK!PRq5Xc72Tk31St6XpS26lkYOXhant3h4a_wt{kD^yCR`kjgg;I@9>vhs5+YmYA zTT`b6*n!>OLF`HK6YYAmG}?IO*Yu~-GabP!b&6Z*&30Xvs;q`};BLOXQp@jwB&`yh1YNa~T^O=Fr z1*z{)KnfUI&FzVr7qia2{Ios<8kuADwRaD^vbblvW2B;mxe8anL$P!s-izyRbG7mN z=W^J$8V;iQT7>FJn}@RMK5n~QZJ(*jLvKkzJ7Iy|Rr!n|A$7Cg2=T=jwifF% z&~q1?HG&yu*$2Db5qy0`y(?Ym={3J*3a4^a5BB4?WO z+eLma$d(5NXyTbd1g^3Ec%l4{#ku=_ZXB>*{h;xa;RUf=B8I59b>nD!%B*KzvE(G~ zfb9x1o~@!p*TJOhkT-cM&Tb%vNY`94ayeU(x*{T;u&_5Ly)lUHi!=;YTJKVxDgV7z zF_DbV<@+)|BLk_OhxtUZW0q zoHJ_(vT@m~*iWDqD2RQh#d7^m8L4=%9|UY0*kCA5p^~}rI(y1Clzu{I)4Mpltk(;6BO{KJoCJZ zDXC%Usd@bRtzWSlL)w@RRzrwVk*m-|6S1(b*jE+xVwXHw?MNR`$9pP>+JqNbsHlpn zKfJRa_zT-uv9BNN!=YvQ*Phw-dX;KT7^&L0hoWyW^`z8Jrjs0I z5q)bNMw}=_$V5)mwM9>{o%&WSEug#<2a@oJ^rY#GT&>(@1O-QNd!x?;;%#o#@Xtv= zTq8%ywe3O=gpi7B%6~1BLOp{_5}U(#uGL5ii5;8=qk0^T_)6NnjET_L;$=DXF1hOE zLB;SXY%2^;F_@etG)PbFykknfbiH2A+#Y zh%iFg?D75U-6EKmsRH3%gFE?l2Ha0?Uxl@~_|p0Oc*irmrOAotn46zRwvRt;JmaQY z%{}rw(&6E5rj$VuTY1F$*(#!Qe!qt*^fYQ@(XF&3 zc~U6OU?mT6VBojL#?PVO@M|t6@aRnSsTkKBL%duyqxJHA?^1hWlE)0UPw+0+eE+7i zML1pVMlAE%4d0RJ{AIUaI-5BgdO(z48TX|B_w}HeLj@yr&23OYlrU&whcW`r_Iv$j zQ&31Nr(cNY)>=mQm%+b<@MVpazL<_Z&C$2}MW>!Xuxz;H?@xIU5Rh(MH3#u1R+NIT z2!Yr(6v0|jZvxNozW2fCmD?D7m&Z1%_-Bq0)O%PE?Cxd)qQ0&gx7tq}`NRk{C%H($yaa@$ zfFuM9H4=D+AZR87@rF=mb@Sbfz2lFVCdnGO{W@>5E-6qmK`J^FR2{?P!iS_9zegWJ z^C)AMJ$Xt{U&RdpGy@r?@2)co2B&Aw-V~_npsmqvo_&JQ(d6~RfXor-tvjy3gj44~G1EJ`PbLD`n zrEfEWfYA2T?kVw(2KWws-x1TAT$Q{J(f0ilPRhb4Mlr(&%ZL185Tie&l;R@jW#|Wx zG-q0`z{ob@mPt;TGiXmsV(y(@wg#!`_|x0-a|*3_COZgNf7~!Z*LL`x3%K*H(IOvK zsr0z!ORk9_A3z{v4Ca+L9GA0<1+5)q*5x0Yc&=&UZm?dZpXJC4=gwu<`tQxlmB0l~ zf60YhpjrV6(fUtrV3^T@D~OPQ69a4rQohp@g(lkFWUrSeBb!(dQ(`hUn+-tnRM9oD4}pHvv& zA~bnG84=1`eMuMS_+=m){CO}9bllKxMe?fW&rO!gKIfkNm}5G7+8pNDc)t%OIdGNMoMxtGp&kNqU$L-(>#)B3;57og^a0Lx2 zIgJa={gOGfujOhX*0V?V(sLIeK_LuCcLngXa@A>wrakEf$C{xniImkeG$I6yE(W^6 z$9(sr1+G45DZt6I#*d6Y-9YbK8gu8x}b1$-C)oI!pbOzr)PVhduE znR!&FatmtXgLx)OZtAUl0o9#=%_P27h?o)LuQOGhG5AxRGmQraFA<_DdPKF0-B^I`mKTzUf!D_>NVD%vt3NFPpOPRtBcv zl3cQ`Ad^DfXXCoooaY?0#UuWk!E8&NLW`V7W<6`+26(~aK)CKJ=f+p<63vc4#@u$& zukc>U%kj)#s~I)>2A3qBR{KYDb4#J#Ka>y%1rcsF2kK(TKD9!QGeQZ(i2e}Kce{=V z3e6cue<{?sKpc&tCk0?j22DaKElDJWI zoi2hVc7-^)hd(@hs+_F)vyGG@CcEn;)6dwT@E^Wqw7#8!+V_+wG`GK_ZPo4h?83at zy-*W%p_){hORk7wjU&!Tn&4N{2a!JCHGCvdSCfumL(iW|AiQOFW>l^C97qAiYqv$y zB>>vX-I|UN3RaTH2YT%$FJI1Q2-_s7T3=C#iRN}B$$Pc)ww`?P=8>Uqb3$CZgzsP{ z|84n~3y(Zo_1Nr|ZnnpyKb4#oO55Kjx&-`4%ZgbA(x&7uuB2=goR$IlFfRaF+n!m@ zzf(g8f)%bg9c#i|#}{jf!DWGek{cm@l!`m@sMTKP=f;7Z`f$^jdzen2>BqkfUJJb? zwyQ)GIsNF1;kIHB^US#7$%sGp@-}U*i`dY^7^#wQ8_)R0&$7PKOc++it)~Dv+W=d3 zD1pZZ6&R<3-qv6HIpn#VvTYn_789%qe?a)Vqi!c;YxREO>~Q;MM)j!u{!T4JA$@@= z7+;eqp0J%bp$Oa} z4*1LdD!B|3-@HlJ^TWCCr+@%xi8CPu8nY<-i& z1eZ%+GI?$>wFn!yCWpl)M^{ZgG2Eb&Bg6d5)7U{b*r)R?z|f;fAu=z9&pQe^*>u*d zhIKw8hK>QdPhGp(7|z~NZChjY!vO}3<>afLH?aGDmnuDMAEMReN>J(5$#;wzUM`}K z1G3|N{8{>Yue-;QTiQ#obtq0Ifl4RY{MPbQ< ziLkS;8}F|jC;Rd0GlL2JOzCf~w+N9}f zfzPT;1kfmhg1B%kTV#2%&-fR3zR}E{A*#n}LW393`dt3=fh0;y1z*;y@Q{k176{U# zE1k&yf)tt!G?`S3XG@eLpAlXNk#d{AgPEA1|zrD%Z>PI9)?aj0f*8<~Sx z9EMZgrp-1KU|3=eJoEa&76WF_oE`F+rVLmb%uA8GVOHM=@(}|4%A6fokw2FdLtJe# z_Tjr7U`Lxn-Y(=8c737gU6JJ5mx~tsM;1KiX91*}@8#Y<9ac`)_-74>yBy@KdDv4| zLm~wDK@}Q|AoQWuO~T(K{C7#pUo(0-sz2$X$@T&FqTXC#&%MzMxBt%tIM>Vwr>C9o z0%sVlm|rlTrq}IZ{Ow=1AtuDqn5|=omWDRa*3R!oUYw7R!XM5fzKDiFG2#PdmCbP5 z9}Co8(%Ls3K&9jt4l;_!v25$Xu&-H(9J0{1FRAD z1bqXmhJCbh{xgbm5AvP2nl2gWGS7*Eo-`6j@V+^ny&trpTA{YB-!awN^#2Ay`(~SRsA8-qucV1(T~C+2O!Ha4IVO z=Zh6}p$#w}D%4Mzi6?y9Kgb4UFa)06!_s20QQrmi95i*L)Xo=Xq{I1tW2^N>BZsFG zn$rvRmIQ=}KhCvfT_x$q?-KX7?bPFr zLc_DnSv#0NqtCu9I^mOj0_lz-D&Fh$t)+yBwg^&#&s*R47i;K$|A?~hl2-L`xzPqt zhtsG3%4KHp#vq^~N~$qlzN>eCG8(%+v;~22lOn(|X}>d;FBs`CxTH^IA!9Zh{fIK} zFR2d$_5AY4;L_WA<_@t%mR3lBe8?gR$74jg&Y>h}9<8G$c+(THYyABt`qIjVUWAJP z6(N*4K;}=2J=JD*HLI3XFPyb|8fSpLEW5FJ&CiNC^!e(I>@760`0^XzWZIvBni`y) zJIw|JkSuv6*xcQBaxC1(09FR|=R|^C}BI0ll$0~Z|s#rL`cG;Qa+d16F zF@ih%cEwYsAHy&{Hh?ock2L{btSn*-dVEy?B-8T|1h4$b2qMa(ewOL3nq3>>qA&>h z8(ud1&K-KePhYV9ry9$*>w)+yL5VMU=Y$X-s5$F7BsL!oVmsXuGPx5DOr z)sr2-#Vv;aLlTw>o)w0b$Gk zLAVndLC$@??8q;#KWBu&MRbv5|L_NErqs9b6WKN09t@M~GB>&i$mOLQC;{7%SFXtI z0Qtxmp(Xvt_mXb#yUcWc=mp|&#YPd;G1V+F#6Mq19LY7z=M#Y#5W7D}!=k+pk-^zq z^a~8+#IjHP^NTmsUo+X25l0tIx+`z%OBS%naDzu32Pe&KzY2Ty3l%A53WYq{)*6<>*im~X%z=pZT~7BY%w&!&pGe3_YKRces$Fb^3+9F z`Thw(x7IU?8Nn^3CorogS89AK0yB*ix!-TvP0HZNeYr2SLuk76|3iy>AWAf>tcbU) zW9}+JcbDs=bhdB%L!j0LHgWvJrb<>85PQ_U`SH(dE-z%UGSD94Pz+Jk zs%4=CZCk5LdV*jZyEtOdzpKh$p^aH?D3I>kUb|(^_r+Mp{URgL3c6O38(GNcXYcCw zyUUd`0pK+6`u}rjd()5J85PtmWxO57&ji|M0t)BuY^Pu8^1KIb@httPOuXv{ic^5< z!dz_@7M6yolbux{t58BlEz^L1m_{2Dmk&CG&3Na{z7v;;UY*UyYf0ZbQpk$Hz@%oJqV)fMaePB6)4k@aiv7vq|rWstk2{BhE#CQN+Kf#%vb z)0*v;-e5Oq#cp^*!UwAz(4S}{M}67Lz*@cQhyT{PpL>fD^x6peK?p_$3MGW+>(9L{ zh`+VJ{1bhIc{4!s*4LO+kfmv39>E>dHuVoibN^xdH1y3Ix9Po|`zD}$KG-~{3p52j ze6!iAnEP@;iz@BR{8L@H8g;@D^5zq+lnYQ*<}LfE;1=MMO!HN^<=##RTvG;B8hIuF zCD7rGkx`f~Gnzq~#DzfgT&?c&h4i7}uf_C97rz{``p4on-ndVDk`x4xft>jhiWv+! zrDY3GaKD}MiH_k#?1$tUxiuTMsGB?0z(9LIZ+!kwZ#;aVL!!m zQo}zQEjKw(-UPTIx$O7bpC!<3ku5&Esr5J4{gn^Jo-h)PuO(~W#HgTYSGxRU+tl2+ zX*gh`wT|FHIn=Sb-IM&U8%Rh*5uh(o16eJZ9X1FzZW4{#csTZnY&M^ZS`7=H7E2u5 zJc!y;0BKOTk&2O?!x6;PdS<-5tZLz#-~J= zF79Rqsx(7280KVfvr9lC8z{t7MBzSdP%5z#6c!6l1VQ;*0-Z*Y%Oq_vfUS2fw#J7} zpj7!~IJCJRMkma0;sC5^7v;%nB5ne831yM;mXCsjD9m07*mI(V(FRxr zWa%2{NMGemK}x8KHty&uRup{|D*~I(wvh;`ttssCZ)VL^c}9+>flJo}&K!2;k)+fM z;1!YaC)3A0BI|T_9Zp_fFme?^fH52lxB|LU&W2T1CH;rTP_%^) z-dY4){B;l*mFq+(I-jixRPJ70t|kr6o}EM-HfQEi{mB38c@uN}H9X^#d}Sk?ME@_3 zms(ABrV;p8^vU;fqY7q?W1^~dol{o`PV>#NBczb}PwMZKCwDnOx35`8V`sm%3{WQ1 zgS-tFPI7BnX}<*T39lJ^W z=5@m`kSXsKp4{S0c&dRH#d@LMoANa2ItUF?Nahf^{eFbgw2ut_fu_m#B)IcaTG102 zYlQKs3Z(uycZCKuZTMzUH3^Q{_4DfeAP9;~`4I|?s z%Lg|*qt5h5oT2MfgCg|zI9>kA*El?F>wM^ky(5kc0C#_7;GYa-0OaEfwtp01AoqVX zU3EZI&DUN!1OWk&1|_7CZV)7v?vj*ll7|zLmM-bs@8bLW{@%U! z&YU^(%$akZc}8QeipptrRr^!X1%92ZTEu5#BxrKmHkBJc#+BjM^(kOK^~w~{zS3UdEe4x?}yA|-4CRvQd%9~QWKeM(*L z;r-j-++Z2iTNujdAYn|475Q^o4E(48jv@di zviWBzTScp4HEvg2L)LW*eYdZ1naK!o9}g;O9W6w_-FYS*n=qTIL@Xt0$7>o)?3bE} zKl#BquZw7Y)_-ZFiFhC?K@O%F&@Sp@c>T-`oesZ z%hs^D4Ojf;sjtZ2ZCIPfpG$Y}L$>Q1?&vahN;320U z(YgJQ5jt_=x_Pxh6jau9D@!1AnMFr*!b0HoJ1OGOG9Mu&cN$ZORfcpY)-(?LIaMPr zc5@kRz8JWj&H^xEPan28VG#(hOCr+n(9HQ8=fK&IdT&Vp4|R<70s$^k;vn4~Qtjb- zM7YtU``VB@Kn{Mb|8;Hi5cFquBDOmHJ=(|KJHJkft51B&3+*j17m4JMfV>pZEFp%c zJR)gtI{cYdpxcL8Lj#tXM3ba_LNsIt2(1s}9&}3Vr@kL25o~!a+#0tRFU^VUC3K%V z=gvA;l2or~jxv)9D|6bxSTlhGe8cA$c#r#`bBFlm4)!ggaujh_H}?Gv`l#)(03b7N z{N=DdZC2JIx>SMUGB-suUWo2+!2?M+PChT@+iiCTqHGM&_FD78sdRK>F*g7qn_Qtf zJWGUd7>TcyOfkEZUuXwzk&g3c-BIiO6vU65#b09vE34@g3>PVOBdj29YCGnkCXdPCwDdi|1vj!Ap6bpWbHr4SYPL-QMT~41qBFn z`(YRI>=*(D;AwWO8euB&ElfI^m zc)P<20^^3B`3HJIb-8bYQz!w+;M7^+#SE*ft7A>t2yUBkZuqzlPed>I+F0rpXq|PbtF;#y`>`N`I~@X zh_1I2QjU6n{wG(&TI4C_Oi8Dgw!(scsUo>DE$o)jR@QsB#~Z3Lj`vOIte-VdrSK_O z*-Nh&))evX9OpA`u>;Nw+K++<@@@Q@emx{g!0Z*v|IGTL>z{Xy^F82kesn|Ts+B-PtTOWW`QHp9+fPo z6#dKh2WmrsQm-L@5d78RDN2EmgP>PI)C5A;sznb0m|^)?(->0;n(Du~Qsa*OT`wyp z+VOI>{f_s_NN8;IBu~0pQ!I$zQp7Pp>i{S8fDu8-*xG zNXuUmF%(;HuB_G`Jh0w=)(OH3JjFzcpic7glhT|PG-0vYzsk^aY3j%a4!81~h=5ko zT_zLBKLh9RBS&VuYfKZX{U9^=F9;XKP;{Sog5i6iKkgQ>1`nfRgtj*~0{4LX!^;-F zoJ5UvP=jt$XE#ZE_wg388WA2QF5E3_%?RBy&p?d8gQ0yvU0ri$`pzGLq)_R&!+2Nj zV;owS6+qS3NqZf}il_LJh%*ue8yC73x;$hxQ0vtfr{96ZCulaZK6-*ES$<64M$`KL z+5tAnYT5))+DxQC3kah0!{lu&O_S@gjivj$A4pZtjt!dVk;c8bm>n$xzPqvNAcU+- z=t<%!hW!+W1+HZmJUl!ziB+F9yMb4_^crZ#(|@qX_5&T%{MnZP>L6e5ny92h&9s)? zr(k)39IDL6=|rOps0UrHBrAWb0l{yLQRIITJp;|5ncA9W+m zVUU~yTPnS3<17H6h3qfWf6(H3R>^Lr55>=MspYD2v^{;_+W)G~dc*`jAJ$6>dL@d_ z)!FJJQYGCJjgh^sqvZ%>>;!dwb3aam8~Cfhj4!vg@VEyxp&Jgzy7kY-wjLa1vU2C) zRjpa%NRavy=o?ZWvEV!YAqI}ui~Ox3r!ekPH&@pQq)0Me+lNP;gW~oupgqi|IFB=( zOL(FJiT&&0pP;-06QBIgO8Puak=F>mwJk&d@5kHd)VfZsDA#jc$=I&49T9OZJO9Q3 zr4lUemX`MRhm@O}8>_$9cVTsokGuU3|B#!kim9GjP%KJ!s9?s)ZZT6jP7B1zzlH*8 zd57>xJ)=naC=bvBHPjq`a*7ARpUNc76$nT~cTTOCUYhMdpVo0d)k& zV`2pIZ-P0h*}wluFV2Mmvb;#sZ}_D(f42igSnM~FKc~<+m;(OjvUu|723t4ptnA!O zh9>^-UvuD1<%$k##ZT~seLs)AK$_u~>5K~i{_~k?H zJpF0^d-XZG@bF(PrwA7HYt zRr{5bjgv@rUfK3XFZ87&j%3iWf($`rTFui`q0vV=ZEBBS{Yop67 zNLR4#Tw3^dW{I>*dTI33tG7d>!b{=JZLn1FGVl1u4;dZ*bHMhBIJPF*ORrY59zGR> zM_1xRJMZ@INJI3w5&JblEvFxVe@rW6KGGE?b@b^tR19(F#yonIN#9pidJCtQBHK)r zn6Q}}^Jh3t&FCNS0ZB&}zc&*y=>R})58@u+fQCk&L3PyAPQTdMjZtl($GMJuFwsF~ zvD|NeA{1Tjp7z+7b}}xKbO0#rH^M#9B}k0XWD4t-titE^>a3$(Q0!)10*AQVThXp7 zQw?n ziZ2h$*LY7|*9BwAX`xlIy?=U~$JG*G!gtbRTMvXJ>ExLI1%!4hYH~^__;`~AZ`#yT zA7VHVTc5>>{p?21xLOeAQ?A-t)%p&iwa>$2$!xH z*Ug*nPAD=K`)!mmK4aoQr@KD?>jS!d$vwpta!+*YunvX~v0p}BLeNM)UqD~)f_}t> zz%(^vYBQ&T@&4$41HM9y)bLyv;Awm%!lcFS}l~ zZ5Vv)xAkMc1$AQeH8Jdso4cNXnsaQsG=ka&_eDC(cCsezAE8r+?Z1D`lG~%RX3gEC zD^)Yvj!|qq51Vi&+QyjmInb;r_*9DYh&@u7k6j(sVt5=NJb0O3VEn-TgRm==#?Zy% z?~{KX#fK`;U8A+7({ant(k(Rh7XZL16KP5Kf#}*owB$&q*1ejMHplb7!$_PNw3pOL zNZWjTWx^wP8aUh$&rr^Qk}GzYGt9&>tv`ze&G6KDA!RJ6#-jry2K8GK=mR>B`F`e; zro|zKyUMu(K!$9qWawYiZ6TzP_0C?cc5J3bW~jI>?zkQ*;`e8oUN;{evTl;MEXbV3p} z6G!9_Nri}(UrMQMs5}N}^xZ74+#z~^jF!VA6!Odcf6y6=#3>*iV=_oiP{tE>o#Z=27 z`LRiTI2HeJ1M9N{I>;OqC~!O+p=T8Vs>@X#DN=JLFb`Pt;7tJFVZ%|c|MzBK0svA} z$Z7d}9v?g>UHOaXgb>TjE`8^mH+z=rqAuOQD4F3KIs+N;FK=eJL6L?`_x_EO1vB%H zh^*&5dW|4q9W$>#?VYrLbOZk6|29wMcFtCy?+Fhvk0yNO`mo25?Yo8Wx1O1_??jZ$ zvIC89tRh$Z2gh75DC-<01%)*7f+*$PH$*`z=;4xE#2n3uv-Z9>hy`51iShn~TL#PZ2|0;R|^6A+s9||7+drlSjvx3{Gq?09aUWs?Ec_ZaPZYY=*5pZ?Tz&uNw~hHkKcKyR3Z* z7l<2T2MXpWp+FCNCAX@Xs`PF5S|(iHv!$+61oHS`ZQG+HOch|Zo&vH>!{^`s0Rx&> zszNw&~M27R zZ@ZXFn`*`dfMekFKU3*z_L5WJ+M^hB5h?S-ntc|aysupzIsg|aiJR*HHI)Vt4^n*O zWlgr{yYAY*2cAqX{r#B7HDGJ~RSm_0qOR}^ZyxLON?Yw}KpBdMC?hX65eDaS4)bpx zvVI)go$7d&&k8@5Ck_7Fq}!S;Pu$yh;__qg-u*2nLMphOp#&_ zd$Y_VJfj17+{Zo-`mYH6BB|Nfal&Qgt0g=hPvm}C>nqQm+zOF=i0TP}mBjkxko;2q zW8?Pd|E*yT8xe>)L($LN z|2+gj0lD$oNHY$-c5_@;7G5wa0sAa`p#kv0-j{Y}dXNH+#@AhTjrYIF3;Q>3Z1V&_ z*<_RE{Ur|^Koo`|o7#pP>42hOmHGRRls`ueSVyPM6lmH4=6{G6RWWg2f&p?3N<^<` zn~k;7uA5(zLEkCC&9>vKl1Y(T3ch<+18&f%)_Z*D%WCPr%Q=CB9SwJNKD1j5+_%jqHfNc*$ z77{IeM2v>q0b9Aeiu%vEMK5$(UFv~zSK5R+25w=XzwT;PX|@@4O+U3} z`G0-*FLH~Tvjlzl3SBEMcX9Y8sypf4XsVD}gTrHhy>GNyMaubyv*sjY()J&^#Qo1o zQ@o(|#Oi}eEyob@0?3q#l;iU%{}icasK51;uMF?}Bj`rC{=>LAISf!qB2qSY9nQI8 z-wg20hCYa1OW*@ey?u(580f%k%2i8?9N^jv3vwU>c}U(kWiRc?VS`>elj>ZDo^=34 zpNEA)^khQ}(SGdRjfC9sSw=n5nE^I5^xuAvFB64NZXuxE)=FFECLnsS)ZL$dU+zFb z3SdaaV9PFI8OFmH+SKblKia9{%fCS9`QLQqXv(kR;oZfP0_6pEtW^#>PxVVa`t#q( z9qhfGPRPb(rf?%=73j178$M~5QX2M{JAPBM2?F?(2X^Ik+WEvZK%2Ev{)?OTId2Px z$N0W11_~dj+EosJoh5w3TzCFf_%~Jg!1ZF)%en(x7>G^l&v*7wl_4^f3dhe$}YdT%w)P<8ITX2PgLOw4&#Nmm9{^$+OghJ@}z_dhkg72CLWOdN*{(n-i9& zyNC*5IBaq?BQ0qCwa=mnhm?P--g>_!sTRXyNBCa@Ydm zJYO*{-X*zW4NjNGK#kKcCWeG5Y~hQ=)+Aw{+hN-f*6%2p_maOU9 zfK517V(J_RB?h`=jZjUlQrOCo6}P7uiSz5=vbYksUq9N%oD@$?Axvw}Z<_#l;h{Ma zfhV=DVO>VS3;ZyK8##bmfa{mW;CQ=rgSn0b(jlh)JRFc8F=(3eRBU*NO?f;r`fhE-(oV>RiYYlOAxjQo-tS54>7dsB|M@Kx%J6UC`aWSQw9u>cmAil##{{(5+`jlkSM0`aftn;QSJtaFs*#e6=|j9U@F z3ylfn#aJm;5Z0u=bU}y4?PIYf%-wLYeA4L1?8PNDoe&Rr%2}Kyg+MX9O+7gA$s@znfHlHZVm@9&h(E~Cp;pGqwbCTTD=u0QUb_epu;F^QYZ|tH09q6@hA;AU}lj& ziHYRji)xGBn{YkD=-)dx^Q>X!W_6lIB*e`(0VCP>}m28|diAxOxy+C)#rVjY`y_b`(v z1Z^9X2ft}ImnBI$pB7vgr5UzR&z!J50LiLDrNToURwZbAsDMV(hFSf4yBQ$mJjF<7FiS3X1 z%0R8NFWKfnBpbQ0rP@2KmdWZ9Z<2VPxN~1I9e1ncK>I264$^3O%P^N`FryEGlY$)9 z57t+XiMxu9bdem6k>NXdP*RjhQm2GO5(+e5!YfFivdOFDX$Heq)by&Nj1%3o+RrQ2 zA@@4i3j2m=qwM8o$HF0osHu3@d^@QW6x?I`zcR%FB5E~7DQIV?b;%`GTaPf=M}FzG zq=~}gx0=Bv0T>rcn9*or+|R|3TJ;ZGah>~K3&68cblH}s+5N=u3X$hQZn($(X|D1Z z=|6}ut&^tg0NGCc{(}r>#nLmQ591C)mNhhV?9SGg) z(;3>2qN1oQ8scCuwlkK~k95X8Yo|}dORSAf5pDZ2B8sjHkUI(I6OpuO&pnvUR__87 zaGk;W$hy4VnZt3iiB99{W9vp$zt2k`-X>)!_YIw9Iv9zlnQv-havfMe8KU=T3S_d$ zQ^(%-vXp@%otp{my9NGc^8C3L94x1KF1j zTF!DTzPO#+$E-FZe2vrDlvf{`>W5-w8o(Obp^QOKf>e5MEfo|ZL+o;yo|qBhy~h>s zld^7O^8J2Zs%{g|U&FzBTS(x;V{<`xH$Ecma5R zYZWQP(A1QX2V*}yT=;$dqW7n0J$NGSaq@}|v?Z7@&=?tk)boO34(+lQ9IoS?`P^oL zbqDIP@^R(a3O8}IVZGLk4T{KwaZ+IRV3>%+C%~phThMwNK7+t=Hm{3)Y|etma{JDMW4c=s1T_TJNokXs~^*z zRdi=E7`P+~JNkg9rN!x|8L<78ui6%o7MOO#hqWjC)yo`6+?jCBM6??^laA(;>~SopsU}ayAS2;`zzpVr?SKm*8{$hI`eiyGx|{* z57DAql=94?(EL;V{@qc2VNi#xgSa7_3W^)5kCrgpmJB(P9yy_L7Cml;Fw*(8x75d& z1Auw6_~Cfqt~06AD!XXBTD-~`l?%_QL0*^#dQB%|A20TK`McUX)#H5ao$9ES5p=|~ zVT*pg6q@)e*AfNSPQl>HM4wiZHDObt>)XYQ(n9_Ga#S7C)|WFCWBX&C#%X5`lAPI8 zy22RK4GL+HLKfFT!yCvi8*GI)iKzFM@^+gmPCpQmMh4E;tTw0Sx9~a0Nhrt7Sa23! zC-^H)R91uhGT~h`zNY}7RW)vYF&Mcu3)E7oxQ@ah+B@0k0%$KZ3Y0VgYp~u%@nae% zEA-r=iKo&VCi@x+dM=ohS|g^=JEAT(O&bheqWoH^JDk%^G^Jm>_a6X_y84B|v%!o# zoA)Poj>mEO&%;0GVd-(_F;mz=scAeQv%ih}3IKuFtRfdbf>Dq!p1?HhuUg?H*^1|i z9Jt@c6)$!6DspR%;EE;Z)m4Dy1q2{vFBkHwzko0?(U6EK&PywJ0+@NstGetDvq;W6M zB2VePg8snI!dPY0dJHl2%)uFif+WMPQ&1kPj0OA49hxqV_q}K<{jp%DTfg>LJqB2=*|?%#jenIvbQA(B2bf9i|lwW9xodgHS2a;r0`7cN0=YJSVl ztW;wR?+o{9n*PbP8sX04Y?C+pb*C8%(AxUGt%x!nH~#j6;qfP`0%qT9$TFS{9yt%` zzA}&$DH1g(yUYB(Q>`37+c>tGOQZKg9X*_$dfNO#`R+mUg{ZDIk;o5kMEiu&?EqoE zvHX1!()T+1RdM?g3*{{5u8@fbE$hat;}l&WSZ1BMuv7~71e8B>R90Jf4o#G~Yh2c% zRVHRdg@jz0BtM(oojUip9LOhkdWly>rHGP>jip3rR$(+%_%G;W=w4Gf;6U3a)C9=SK=bm<*S-<{82p6r6~^S*P0K0L`}DVsJ*2Xj zG<4JrBAg+dAR^;%Khz(CU*-Vn(DIHAjvB_r>lMnCWY4*flscsG+^&JA5c4-R;%T$h z5?n5S8NkcPPf@4%YbpWJqm?pi1Xn0=zbh$DQNA*5(JRFVr?RMihG33fUYNF71P zJ~weGi^O%8Z#tKct;TYw34V&fm1%JL?zl2vnp&O)istpUnp+-Oh&%Inv(puk&a*BU*An%Osk)-NG-hCF2K z$>taGd9%x@utS~g?Sx6|i|MbH{CugD7_HxDw5HKI2o08y_V`ooA!GX+3^kOj@4m`U+vU{66|^e0oU(--1VY*1v~w`KZcmZoW_$lxlBn} z1aIG2xd+l8U@0;Z<_u@E0(kldB#+J#SO+2@QQ)|9VTX}=FR zlDsknK+ZltGL9`)grPdHeU4DY2wlrX)G*|c8qAI(Fexcz|7Cy2_|Yq{8_`bz_)&Zk z=Fu2TA{N4d%m(!}Ns4q~EDUN-IHwo}qS|Ao2bw^7@-7l&Kw)k!4aR53H6O4A=O|cm z%`}Q}!mKB1{RwIp6g8Q@+#&#c%jvBR5J_5R*Mz+OKZq9-q1y|a`4rKgJCAG za!YH?P4+3@Ov~7Q>PC-c4gcw=;#C}Yj>9d>-9~g}Z)_3cf|I4ibq0v*={0uIN?nO% z>&CtB__b)OK%6qir7|@N@Lnapy=SnmN91L~j6~ce?CZXg7qa^wgj+X67kx5(L*P3U zm2g$Ds1aNxxO4>A0f8r!6$+!Lj;BI*AeOmj)G?s!7UYNA1xoJTG+AIn+f-;nK6!Ds zFy83Rcty%gA|(5s2{bFx)@^ubPTica&^bC~R3iwugxuq%P#@$lKkVBT=k}_7yQvsk zoL9e1M0rr`lW0x*8}hb4D9eFxM0gNZ5g~K5KD^#BDAGIpbzToC@anvh*(PcudfVe3 zotTTJITj`+iaEn^@ADEe-m8aYSCB=6{k$6~@;yD9(pB40N;3QRbPwZ-@&GziI^~-E z;++0V@YInFIF}5ahy$D~;?#dC6ZVvY(O{i|$^r+{&09)!1YYfp9RS8mwR#N?H_-U} z16KR>BK6PFmap@tft5+`pI5L)>N9dA@3nMNREh23Q2tSaM#RH1kNzBQsb4m1?|HR+ zGv$y+y z*naD$-aoX0LaLWRFO~ z@vBr*bx+C!5Kpn4N^WBQ=He))@D#f?NzjrF8_mBrLGX`U=k`4}JX1qH%WXwzc@B;wH zk7X=f5uoO`-7Bw%mph6{@Q#!~CabM%Ax%TXiKHpk7y6|<8dXjoP76Yj{rq@oZyNI0 zU|uYPCPSJ>jq2Z=q`i`}?qpO=>w-RQW#$~yl8M`=jC3{s-s|~%d_7Hwx8we`X%S`w zC|4BX4;dBW^4SbHD#RcPyskJ;d`e#M4E&n!MLFmrA`ow`k^H2s06R#{*#HY9YL2%uOL zZR-5%^pWgl@VTu3@tYd2II5RK<+rFg$43o>;dkkpZB$_698O!|j2}fBm%ZDECzkFW zAC?O-L-6q{6e@CB%{gC|$_yj|jxW8}LlArcx=duk_e7x;P{rGSX(P_vB2XRByTn?a zB;Y|A_T!;}siN?Qh$BzfUW#iEBazJf7NOAbd$l4wf`|aT1`AdKUD=%IsWa?uiuFq{ zWA`|B5Ps2jS4va;qctcsy+fLA$={di(;vsq;u-u=E3blVBaoLa%T74)YT3ve%m?W zCIpJd&MelP>uZeIU zb_>C_f^R)H22@aR?fQWmvTM0gB8e)Uf7Jb6)aRi?H$1O7UHD_u$m z%1JhsArE+QFB~(Gt#UTAhpDIBo2=LT<@6Vk(CL=d(7cN7tB=Ba`t%i5;v=x1GCLh9 z0y^3kC~9iIpFB$&R*ZJEg6v;T$PgvEIJ~KG<+EaKf|*X)eL(?vJp0D`AaX4np&j|9 za_6VfI#nnWGJ3jRPTR@th8Ro7r%5nTMRx;3nE^^*3R_=MjL=qSj{KL2`jo+(`l>IdBRY!D*JgZeQD4e-Xf0QgW>j%5z2z#K!>0S6z6t-`lF4h(8)-r|C8iGC%d>dm5?7xzK_xm(2z_pu zsI}l+`TIbRcn-B2gj-8$u$XVVTqYW9}wzMmN)9zNy9?mkUKXOE!jcpZ06#2jVM zSlR#0NS0?gV14`WuLOHVX4d!gn5=XDXbjRr_L|=`afzsWF^7q`L@Bc!Ocm442AV4z zdxCqf%~u~7jSM9LHZ(h(xe*M*oww%bf`0G=(PwdDQl@Dv{AF;Vx@f#nxxMNiLD>ua%7|)`{G&mSt0DoPZd^*! z%#Qm+E~KA7THY@6+OhI`ObYUg7%Iw@8^?V&Os)tFco7zTOHf>Lg0DWP6XV#RC7|*X z(>Xsn11yB^Nn<AQ@FA*|)C^3b|XZsB>g0S|+!!yW6UF8R0+ zMvuY^2N~MN)X9^3zGE^|f8R_^+DtZfMm-A|UI&syV}fq{He?3eH@ zmYz6&c~f%Iw88r6z{~~X?b{QfZpY*JIdP6U!zb>Pi|!BS%+})8a|^(njFKxP;oQ zMDk-|pc<_zGQN_90A00>#2ax?Xz|$+zC)*n{ zxa5j+yVAD9GG-6a-gPs}0VydK`-u)j_7PW>jLzTSc6}Zm6H2Yf+B5Jo{9%Zd!#Gm& zM$hg+f6U+=e;=4zCuwdt z0oH4=>zb7NAz0>xa=K@kVrGlTb{)i258Dfg_!5V1tTAiZw?c+%K5+z$-mEQ4BkF|s}D zYJY%&9%*>@+wU#v(kFZ`4W>n~es|w}tC*%^LozV2lzugBdGQUhth#OQgk+$%gO(7x z->8EP`u*w%4<#voF1hTZb6Se%_miu`KZssZA}907uV02g%74(9y4?`zlz&%$ z(x`s1*r8$|evA|NSNj!&Aw&6fW9);?D%&SUB3mqjX@%xWm+tV+Fn|9%=?4X+Kg-7! zgM2Scrp=G5n=V89O%taTZ%sq*mwsP#V@bOP$e$1e`Q+Z8?A`O2N<&!3nNaz9w5`qP zfzvly+&)};fkmE1>88hBk!SZquMIrz%hOJMUZM01Ptn?Czx?@% zFM5Z290>X5q|Dz~pzoOB*zZNnS3Q@hXGXx$4`#BQ4oXkJ#PD$J?UNHbi?Wx;8j^lN zo+}@aR)rd#HtNIG$F6(T#ZZoaZ7*+eUC^VXgq!bUNWi~^=DPPMe2zPP=#8Z%%ZQO( z8F$0_K+fp6OfISnC50wfUZ947pu*4^wce{Z>-ih#?wBpMbgn+qh^$A}psg9+Z&FZ7 z9zxCPnpM(x1J5$?oHCYTv7;I0RsZGTz9EI}do7yjt}Ls6RvD4jjY|EhUFZ%;{A-crq5@HBr!a>!Qyg}ikF%O3yyBN^7nCMboa>CbPz=EG*XQ0&ay0F z;=yfTXWzZDMW*;ex?TTF(n5VXByPt(jsaf=GQw9AHo27-?Paiicxo~1_iWXBUCHE< zi*QR$ z=?p=bcd>{@Ve}_i;LCAvifG0XsayJba1A1Q7wPWXS|IpN%m&m>Evh_beG3l#^~JN| z0TEb8cYp?q8E(Q}y_{IQrDKuGNst76c(ua6W0C+FAxtcPh)KC`hY1?|MgfVQF3SrK z?Yn<_m1Kv!g=-!0`O7dofA&Tb%`MPv9_!(Sn1X5TUC!71NiCmld6puoadw9cFK6?_ zGr?c{+y3SARD+i*b@5-KOYu+8O{{8S*v?HeMwDe$-oMaPr9H44-H~q#IK97pV9Pj4 z&hrQZ>3kr;miGBzxREk;Y1#AuFuvFU{_-DjlypUz5_@^ZnQPUK3cdAeOW`CI*ycjE zhOu#gxT(Vp3BWmK-#PSb=v%XkSA#kQ>CoRRz)#}p`^Zw1!S1Xav92hbyKNiu(pXrl)+{H<9tgw;M*qa(WX#{k8`4)rByM54}w8I#RY9mPVix*Lz(v z#!Pa=o^@R)#1B*N$M{eghX!T*bl5yyA*pP}kugY|0Y~%D$kNfDGHf3fkSI8^OSB{# zA4DFMm8{2gE(R=-`H=Tm%y#j)em*yir=G|=9TifT6WhDegO{Ll z2W<)8R-2eqq;)cLL(o}R3C<3m%@W+z$hrQ&ZFkYwxht=<H+=hFynk5{ZtiB_Im= zIhGC|E~Ia{mxNE=N*@_3v<1vVl&s`LGbGg&Ns$7ZjnF}nU0j(S^?n|xmYO({@N^4E z{j2O%n^7C05^J4LqSk~pe?nmHEkFpeKT$Kb?LT2q@K)NuwP*$^b)0u&ls7m>dm7cI`57T-qe!U%#- z#uiT*fP=Db29Ry1xgkv7PgtGZ160yiEp$F}85Vyc+&Wu|U+;M4GQD+xlLgm2<(tnv zixmaR1@Em!P(Z2G&gS%WAvL!XRMSq7iv$|+FwTIVvI=I%9)Zzs>{yG__tRbUa%;Dq zU}a=`g-SXLtBSN)^GcS-zM|tz(;ItTmD2WlXE3z*i=d=Zre1OW-=_?Uc#Xu3uj`)Q zD?qnk`)=Sg5Fys=H^eK076ZLv_P1w^LzvU}@1-3)DH=-{^Zr=6$3oIDgF??SnND?( zZW)nZBv1vELhdoAr5aF3tRf-QM0H2{D;&kkLllz4w?Zbjzehw&ZeI`PRIcF!l4A|7 zQ%Y=G!7v^`wP!250CHkWS>HIe433_-qa)_M;Xh$NAzS^r4e5wD`4$`>C)q z6BTINc!$10#upt5r0nM*)0k>nfgy8{BvuFp6&g%vrtHND%15+L;2mpE=5^_cQ7wAg^w@QMRsF`TPRPF-(RA_?H3Dw zY3_=fZj;8z*XQ#qm2uS0fcv%JP>wtoaRG*RDcqA?mqJ}6mnCB-jJ5I&JZbcKH;VC} z$UBenIwMp(LL=gS;!G(ojf5|2_22Pg1|WVP`71`$PHb=yf8R6d-dJWLfp0shP*0=9 zY-WcPsX~5LJHUO=Pl^BZWW@O^#*k{m7mt+CB^Z~b==BU#oaNN&EOn&SZ@s@G-mFU2 zhO=~TEB7H5B5r|m4N`DZXfbpN5Y}{Pr<1>43g*P*jqQX^z@cbyQ#BKAkzo?PHZppq z2ntDAe!J!3uk)Ac2I-Zuxfcd6?$7i!XAwz$UiN2K3UW#x6%RT-b9H|k+E3oLWIT@9 zwu+VRCSKo(Ymh-hQ`tK>)qO2;uZ}-JrM54z>ZE~%HI-5 zYJ5%PFe`pOgOYo&_$IrWSlJHDwm!prV3mW9jV^A3Z5*897`J;$E0pFcF%irDW^CUt z%-V1E+>Q{}ch+Qiy))c6K%I&`i;1|rW$q!SAp%3N2t(_6cHU-FCfycBM=q z&q%-#q>4%o56arihzsd2fIVk$Jl;@PvQ@$JRJxDAqd}|I8Q2Uu)>l;t1s6NKL zuBnk$qHGXlGdSUhFpS`8m||g!VR4q>zFMidl@=1|fVZ%SHqVnkH8cdbc2D}1M5KPn zsXLo(@yfGO$-A8}vj(58ksaf`A`Y>yLalt3L;S-MNQGH5N-4FLKxC4kPNw&8f?@Fm z+hB6$bik)HSK~BSdWp1JuQb=mnKjqOnJePF%K-`|L&CLNqQsN0_beDKg+Fz??bK{R z6!Ny-sK-cdo3fk+hmxVehpyS7j@MCJsgmw@YC8b6<%V|7_E4RC^F_G_ru6p5Qh zc9>$T;p<4`OUPktX`29uGYd|il<}SpxUDiEU*lmsV~N0qzlPsZ!FWH|iPWCP)11hl z)`h26o|At%WTL#e$SmbA(s9e-OT7rK*BjQOv-a*1c15dIStclwB@0i`8K=6g7uhrz z1>S2Owr)xW=KVgjjDf}SAzoa(guQv6#2I|WbKKyu(kVaw^!b<+<#Cgmb7+`8iZB88 z^#ab_rrXtfC!wYx%a}zvze7XopWAhqJ)2!F4_J-0vtSWS3F{{ zyX7m~=qnSpM-7ie*Zrun@>qcxGpRs@&mHQJHH|u>S2*l$prZ@<`4*QWdwI zV{+T@+=1}^_6Qq|C}Z#cc>3zNroZq11&x4H1S!EWKstufU?4D3MLI=7B$e)AF=>Xx zNR<*v0qK}Z2n^7nbWA{Sba(t-7$BLhcQKqjTToH6Y6BATJJb-eJ&0ee|@j&z@gX6%haaYKxgr4UgZ3yG3%KS=`Zgj;#^tv%aZ(=gZef9+N}IggFLsMS zhKv+IZ^K;R z%PHRAcl(EiFZ$jYoHgzl=Gawykd*G`3VKXmcP!w{{h;Sy2snNm$^ra1ErWIqW*IfUa#dn9MN8jX6nv0jl@UN$)uPFe5$1rbJktAFPhK zb8n#_d|n7S1KeRFOQ5%8$G%=ogFs0Fmu%@@z8+7)(>kB!poyH!J5!0 zgdTM%ST#O58%|D#{rS`Md#6`*{MogGmK~Gl4?H`GTgPG7Gh6RIDd_DNLYKj3p_8Tl z;qt5^!s3>k>ci zfvbRXZf5CQiQr*(7?XPI7wk6Q@C93Qb#8Dx^CaY=e#O>M9NGz0-Fk3Fic|g;@iSSq z)K~y4YHz*4lYROFFJWF@C3oY4!5Ot8G4;=g~^dG@Sng^;I| ztZwec$#M_a3KY{4GgP+D$>az;O&K-d;!3UUFdIlCJ$H)2i5h8++|e|D*1W|#QT9>& zrVnNEbQGRa30%WA;|&U?4MU_NT%~Bx%}>;aPU;jOo3I`2835 z2hHS`XKjppj@Nbbr!!9=o;1H!gNTx@hRgft?P^rYdfaUF{Tx?1r<&9x=({%X%jwDlc|vsx+$-t#)hrcIc>wu}Y3+Tyy1wbSlm)Kp*6-`w%yMNdScy z{oTY31B#t(@hch?Fo=!9`TA|Ib7CZZhr)GLUD%O(Ph})RJjdbUNgnLU9i=TfnoIeA znLMt<3A4#B(NLL^h&jgE+xL*=eDLPcFM=nGWAux3W6a#=VZ$MLlaNq^vzsmRsu`B~ zo95V_+(LSFqOZGF^#=Dq(gIiVSH=DZt2(PQ;NY4vzvDa?<7YLKEH72wK48b}JWHz| zUgXE$Hw|@e6}nWWkwF>xC`l9ah6Bt;evXg#O%qjbWy-AG@x)RWUy8+qIrX;aRcIen z;}Z}bUoO!|#9{`OMw)S3mz1=5uOKo{mP@(rZKgNyH=E{FKfYQ2__k>?61ZTH7R{0% z<~m~KT#&5;7bFzk45Ew#eRdwSqznG=(hkD+zB|eiSPJW^&RY(vpmO~>#Udxl;7{@&uO`Z{0~<3@dtdq)Dt>BiiaLhxf_;D(kgbuXChV3K)=^W z{tRfGS(5m3FX8?@UZzEcVx3X(8xvH^V0Y@|IZM&qHeVvsjs~I3y2>iiwWsFm?42R- z6cjJmC8Mb(q3)#t}<7;IXZvkMTw;&k99+)D3HE%}>qxUDBjTD-K|k}8v+ zMZJp8n!sHX+IU(N+sQ81YVfGYH>x=hZ;^f#4}azeXw(hzNxXIYtkRACAlto2qsE?l zB;y~tS1fs?*M5pryHV)i&v1Rb0HkGp!5?RDSbiDysW@vb)of>xZ=7Z^LuC-8o9i_S zYNS6*7(-kKjZTbrW@;&Frzx^>PEs?CCKT&bh?ieQg}xs-W_-f$$yDrV)vC%EM7l)j zI(eNAt%$9nU9H=E2=)Aw%Lt!pSA6B*XjPT7X{`;|New^tR6r(h4h<>lD`xvP_)qxD zRRW&T9{$m>V)5833bgPI4IJRhz*{fL1br~r55OH&pK_a*S14j2e~ z4Qec*aHOqHDA81Q98ek62|LT3rXm-K=pOvhc5Q{~xNM1>_bkEhcB3)b+<8{Yv`Shw z`qj<-t3a7G+JO~2t<19q&)q@ebWa|(zSvU3p z8Ld_hp{}%JG;fO0gH><-@FqDb({*cx4@8)9RY|ngzl}l1g#S(iLvM5sUaDlR<*kKI zG5_F!oo~9GjiV^rDJnoTE-YSgV=K4b9+SeF09G;G5V*E*=CC{1^Kpf@))UkhVwuV^ z2Z{N|629d@rxh%5vh;UP4@C?%Xo4ZOy%`F;$-l^LB?y(zYwcW^*Fc4)`FtlOg9Zp~-Kj~w`K*CZ?pHnTF>U~w@VNJn3G2{)~ln#}5n{PgC7&XePs z-*rFl7bvN|s-{OL1>`b_`wb)^)U_b^$q5DEJI2#0#h{pWPY`OxM z$hR-`5Gp-Vu}Tj+upn(%HO>hj`V*8Ef=N17bx!Z@)SfZTsT@S@U-i^ASr#Ts!lWB3 z2d`eccFeu&XtGRic?p&|!R$6%;ZOjbBzH0KzsE_q@^HY^sG3LHf~86(3B z?)BvS_N_sildjS+BwU{=^w;phY+tsTJiOk!?=F{{x0^G>_FJj!n}=?;QYGwA*QviE zpC`J`*|K%sIj*W~*_^<1syqdzA2v(CdA-QJ@F(-d@n&F$y`!Ue21p87^lZ>3@L5*?(Oz6+~h{wjXytUT)sUl-@I!YV%_RK5&4TyKTQjhK6jm{ zi>C)6E3I28e?|NcwgyLa1?D%$-ZN-Nq+%d3jbCJ5{WX#V8Qda3d-Pg*pMSNyD63>Q z=4Et-A~b}3Iw25&@bSjuN`S^56(e|}C|?%(Rl(a;v2xH9hiNmP-8$BnO9~);CD;KE z)b!!vs^OHe*DC1v(Y)RzYIR9)bZDs7xnxDb{(Jn-n3$MM>$pXnQ|gm1$d2kpw{K2UHbRwY z>B{2=v}AkIo5i{{{D9G;22ciS;Wh}G)gbgr;y6e78zZLcpo{x2866M`ocGeF$MRpe4; zmO}hgvcmS0MPyI4B@}ZWCrlkKR@hM295Ks9CyI0D9lk0`c*nprp;x0%I_>L zZG$n59S!i9-ZBKOL-RLUocBt;J$qTDcBTSVnW@ zlw~s$7^O~JdKlO09ih>{^Sg|0>?cq=g~LY1KY%j94TI)RwF&hhVvf59A4Z(sR%WrJ zYK*rD{u=^g@l&BdNF>*X)7iWaf&-NXBvg3uYG@rTV+Mi_l^B9!{ltQlcQ|X~@*=0` zd?BS%CfVonJb;c0+qmFA1IIFl6bhlE!vEm+@m+X3(rsICk|rG$_eM6R;3IeG=?iB8 zIEOR(dEa@4Zns@1TnDAN6JV`#;{A1aN8NI)=^y2TT=_OwDboA+nPE6=0YVEEz5lKU zy|Enr@Z*m+r@h#o_R=Zq%t&Hv>vMrdfcO=UDo%JjXoEMhFgft|{0p>cxZk5EXs2)| zfh4ouRsvzZ&5$D5>Z^>}$1U}2VtdMqo5)mdPi3j9=RM;f?f`?<#m61ajsu46(HxaN zO%J7zmFvo<%uUOq$6G7hZc&w*`qTh#F0;RbhvC)2^Avot8Fq2D3l03fEu)!Xr~HC5 zRo%_QCWB+h9Xk9|Zv)#OI)+T%cYbtU`HZXOz0LJ|L-tQwyYmJcbvTu&+GX(~-L@!x zv0Blowh?up?i7GD5()qk`52xLPOr`kqnhkqID{&*exmZPDtJg40V%ppp^kg4_6SJ6 zbTb(L?b`!wo|`h1rtZHK9?OY6uS8$a(T^bg8;2+V<`<+iRVq_x=5x2QN=Qnz;2)75 zCih#O`?MvJ!t;e^g+yCy%}JiMht>eqsq8HPrK%_mUp&Ri&Gdg3PQ$YbeUvG4bXz!)%O6zWl9%B~4JLC8B=AioHl2e_E zF90p+=s57;^n>tcoLxx>uj6qiqHhFP(PR`;;;}o&s$qa0{3wiS+`NX5b$+O49-( z<&#`GuC4w>XKME`=10fvnyA>F5^tfHSYrmj5NRXM-){&%l_lO_K9itu59A1`IP#I*U@#*rhJ)6N8eMLobx4i>y zP1YY}WS4N|ma+d%8=1|;$+^6s4?xN-L2?NG`{wl5z;-(dgr=ZCjvnIiv)2l@2V>)E zi)X2!t{{JQgpeb3}kdw_bRR5>Ump_{7VkH50C=_)xB2mPr-3~BY z)e8O*=wW_?|2NiS3WLP1>Wy63y{Z4R*yK-@dB;P_E5>^NX#fw;m?|vk=5>MFFCoFp z<(S)BnC^Xc6ccb?cO0kzM61z?%?Mn;>fR2ZlD`a3HhJWQ=TKcwu4Uh8}0iL-yCwF#h6(g0|k~%_>r|@aAM;UKF;Ki=LbHcxCv1ni5@uZ98gD z&SK9{5uU0Br0FO+R}CBla4N;9xW zixjDQ^Z?(2{)|%mce^9^uO?WH_LY6tc9N_rytH)HRTNT?zjVk`E9*9GN?O78Qpd(( zuGG0x0oSl(ZT>R8?hfH|JGcnkn*BIG#u?9Cl~wPhpC5dl#EWky7jA?vbg4uE>HQ-hpSy8z>gM@U4v>#skk`n2 z;?8)e2=5iC>k~y7x`6bPt8V7+nvyWZf(BFutV!s=8E5X!XAXI@SHC{_9NR(jCJcN4%|VoK@A2yy3vh6r z>`cAhEZJtYbs!aEQf&ega+4nI?Ht(zFw$w8)0zq$)hew1!T75Py-GoLxFo;fxh2!e zOA5N6IKYVPut*dm)lkVJVjK>1_rkiWKKbqYaFi5C*k35n9?OWmxGS~_Mq_HPSuxtW z<6J0{qKcz%mJFN}K~K)GUVx}7NwgsCjm6`fVmsaxA~|+ld_M=-DtB7$wjmfzW;=a< zjh;C%2)W`F?4v$rnLmLctm(8t1q_`c4LOcAWqvhh{Bekl^6lcTG4n)@e|nn=suhyF zn;;=rYqY=SND{&iR=QBDw=QC?+{g3-;A?V&4us^2PX;dd%Xu0Zs_-e;>3gxcBQQE> z$BD7OW;X)TkZkGqbbkwr@vqk%9d(TDW=iQRRaxz4cv70F&?}+4Yi8~XOU2eCJ!m(_ zP1ksJMdi?C#b7$Tx^{#() z<(j}CcUEY~OBtRAC?-Td73et8?6R7LlaKkU?vs+Sa(|Slqn-a1xV2WF$90($UR!r{ zyha-pq} z290C72<)g#p7fnlkMly6Ri}WPuX+N%GUBEm2sk)F)i4;pS7QY{2XT44WfE3)X}add$?Yy$l#wH% z!eS9O?qx?@I3&o9}0g%cW08qQ4Qze>M}suVwbSwfgsuUj9I=P-vw-16Z(MwpAJdk51$($5@M!2MNun z7W9l$-O#&c6>$p#;xTT1rN9A9ddf&&3Jpdc`3I{v-oGc1{`R6}J`-3?SFITw%wJ&c zD;^#sGZ@Nj$_g7y1QPFI2HNH*Vw{XmL_hXNt%xKWfYDt304QY3r9T(-xXHonCnL3d zG@<+EH&gdO}t0KH?Q4&|;O3kjTmOlv-RxqR@ zCeX3RBLt2w!dg0C|E0l-i-E6+oL_l|KhUaXQGQSO@amciz1B#CJ!5NG{+wETXp`L0 zz9FfU;M4G9oe(B@9@vO+d5uhOaa$HZD%lk>;SIx=IY9?wGr6MYQ*>yMpr(5IyCaS` z$Jn^|O-N_@u4H`izmvPR_wx1Q#a#C$G2fXpB?Up&g2TouJkDQ9?D%Fx4m6g)h=5zi zZyr<~N}-&R2$Pesh_&)FyHC{*3kk@QBn4GtqAlqxDF=2p%XlM`P>8QV-uE!@lM z$??hPeQWNYfPk(7s&S#f9ZMr_P%U90Ua;G^1~VB@6s$bw5%2w#B^J{$QW&Hp{%wW} z#a7iwXUe?D4)f@*zZC*27w`;T1N;qWp8hx&@SqM*kBSrPOH(R{I|zf7JE=DsUCsh_ zxY0?r+UvwL^6KF&lm?x0O7&fLZ7BXkrlTW1`j>(f{5YvyiRxljavZezCYJB}i1<;U z!OIdDuy2S_Q2v%q*_WLhhh5Ksoadz4G+O(Cfpq*1znwH9Jn9F#@v`;Z-KXhPnBa#$MlsMQHqmJxldGR z8>xa{+e?4-yWJYIq&z^4xOMW}zV*vNeGs|i1J9QmEi>94 z+1B8yrNobn1+pMO2knLTZjJ2OAPaU^rW1b?duTGe?ePcwaWw--$_gps1r${AP4pEo3oiaufrjox`F|Ra#%;le zTZfi>qP_xhG~eX{WS?Zq-7?n!rW=#z@GMbCeK)3n$@?JR#)f)!P@0)C96x0^g9a35 z75A}-X+f13sXfm#P-SYKuP0mWB(rIhUDEn+)-l~}J5U8$ajZ#f2+!<~ll1W&1XuQ^ zsswF+zww;rDnwRRR&2udIg@pvpDtj(eFg0CVuK*+-aFm%vu1tN!H!QCLVg4#X<}YHnm=Udn(H zVEeiB@B@AJrAdU`Tm78z9(vCE##uHxnS*n=J zcbZMQKTh$3*ASrRAjRlwO3(e`2`dlLCr9C5bizCaZ?*nzZxsh9w8}p~w5N*{pmhj^DC2~9V`2Pn{Juh4A9XYr`&wYh^nbDuM?rA)sqm{8 zuuI3);^ODU7*gehr(P?*IQ{woNeZCx`6PJAFeF-Vg<*B?HLPav|HyVs0LWHU=SU91 zr*yGqD@soh%>gG8@LW4f;qcYpVmx#i=J~r7^q%J8)0EH#lIsf1ZzTXN%ctdyqbH#v z;*7OVID(VItL0AJbY?N9FG}AUVNPW}BP`D7Z%dt8ZqSMy(L9~cH7QCEYOB`KSr&J~UZR)G(?Fc*%h_1z!Qc0 z9RUn)Y=up;WmtXPIEC&PQa>zir>vO23cN#9yUOK$a-;jq<&3~V@OyHjA4O1HsC_0W zu3ee(z|31Rm5Qf~{^;!ainJ=zmZJM&+J!S7Sf;U?F=4)bX|QqEr|P)rdTbRJ$}UvE z)-xnWx-yW0lRoB~?KhK#WZFz((cfNU(rA81jfd=v>+x$u%UA5y-MOM%-YJ+qcCQau zW%Un%V-^vbt&t$?Y#b2&_!!u6UtgUSI9MSMco=Fc()F@vb>SQjg7kqI=3Bt+3{ekJ zS^WeWDar~HNy{q(Pl_7`AMow|a))(4<}mb-^ZxhaGQKP-n~RI94@?m_RZ(~-1i-*f zkfv*3&{>#}_CC+5u6mqv6h7S|qRI`w+h?4}IS*C8HAbqGosLa~y8|4R~ z6uk@xK;`3vDu&ghz>d2Dz>;F}q^x`^qSz9DZSki4H%1Yk+ zf_2$W-t4P7`YbcYg$RM}y5;YSV2{)GydI$}9wMyh2(+r>z(Io&!iJmSpZYJ@W+7+r zD(mXmRk76yAl={mGclxxK$!(|x?sqCDV6n_vw=#sW4Rb5mrH<=u*HQPpk1bJraL_A z&+7?7MeO9@m$1Iwzif<%C|2n(Lr~h`@n7*=Vp{ARq!cj-oMI|Efsw!b?(%p6LdeiAzU2&35d3e z;7!80HZ){XaTfw$*O3eH+L>Wr-lOTy^ShU70>0}3wcKx{GUx#H1Q#qW_x4G`ri`a} zIegU#m43U`1#p>bkuKPN*7cecBv(zcuugs~qjN%z|Y8(4G0o`ihTB`VwUlRjg< z7llDqWy+&{Lu-;{8^3Ney-6;iJG@QICvRNHRL7?JgXN{ns|Sy8xm)P6yuJWB&j)$( z1Xt2J0E=A)Wy$={$oL-_Q*G3#@|UO5%sT*8a@1=Ot{09(W=_Ai2+t$0nd8;b72K1W9fii*7exa^Gn9ZJGohq@!I*F5OFF5OBLGbNekwS6JL* zZqNAL*1uQx7-c$gMi_q)Xe1~Kq1d~q1&8laXw%`eUEd{08UlKHd{yB(9z-`fim-rJBSD`Qu6F0%8|!^T3hf0G@pMI&|HYyV01=F&4^bW+?Xi*-f!Y9IDJhe_&&x1T_ z3?~xi()DHLfk=eb2y}>P*RVHl!6CMZ?kz5fVhVhg)=L`$rO?R!WtC)+x3^o@0p!=L zCQo#by=Euqb5xJm^4F_NJ|jvwt}>U$6W-RIeUOqR37-XdX^)J9cbTP1McvYd@zWH@ z)a6a?f7bnd5aE>Bhpz6S<>(LeBD@3Z3SVIgm{Z=C2W^hd^@{U}H3ySVOHQ zY&@#UYw=M*B!XCJtG5d;% z%kbQ2V^p8tWz^isH6W9wQUZtyRfg-{tK6&vlvWs$G<|-2PYzjmi4|5xlnJywTW*uL zk9`Gd`A4q(C;+$SAD&>r&K>yY?dSESEQ3}%H>c~CypMm!-03OK26i`BbehQ3YeF99 zoA2g#ap6OOMgHM|DF8w|$1@dFHSXoby4qyyOyK5}&ZcJWW$0n5cE%=Xeh|8VsDvvh zO_+&;$}s#}_x%9+p^%%cdY_|!)D)UpXWaA-D7(7|;mqnuvs%O8=Cdj8uQ`8Vvbt>S z%eC%K)k$XjoENk!ta;J<)8~;oiV1e8aMQ8A0}=MI-98zUR|b-*d_HTy65K@(ss!7=sv5AXO|XZ( zQ{LdR9gNddw(JIW0s_$oq~Ddn39*DI!^uxkH6Rv<1-L^){f%tG_+yU^z~Ez#>EbTC zo8Nm#SaZgG~dj3-=6&2r?vko_YW2@ z*jPOU%r!(@#mN2mB)rljKPm?QnB4INTQMn#Avd_&kBR$iAJ+*g2)EBNELAa^`F>S5T-%MbDHTev7=- z$My}i^27i*QI39x>x=l?>g0HoL17X83|WQAQ>h$<6Y*nuW(C-r^~r$#z&Yf3Y_ULl zbN|Np{^Y{ng*`C`uExtj0Z07|@15w9P^fH?LbaPj6+BPXvDL09b{3^rm7A&dqrU%` zuiQqxF{4_J+8;a96Y|rM+$7l>(A;P2-z=%APX6_5N&=GoR)8Kn?IUjwlp&5xh?nzr08pUgrfIO{flW@ZHvvn;V4lx&#F-hSODtXJOn?4# z<8qk|!+Al?#=ECvoJF`@uh>7jf_<>t&p(x?*j~xedAJ`jGW@D6XQ{-Xf`@d4M30>d z`jqKX?~w8Of4Kn0a1P-gpfPLRo4F1UUuaeoMzfwP8@FYk4+6G_BhyN6sa1=SUPH0{ zg|qVZ*_gJgXHJa`!aN=@hWGhV{dpcx_Pfm+VcSQZZ^Ffdl5HHUgXY>^M3tWuJZtLfFOi6V3Z?oC2bteA7 z>)NVY2jIWOl=lN5<0^7Q{BdoqyGMF^}*&%IHGXQ7&eyfG0Xh0_dq1h*PqW$vR;=f7l`z)wZF zSChYFQ#Y7=xK;@Rw#~J`9>{+bQ0)NN8dxZryOi?9>i)k&#@>3~ZLhh>)3-;aVIaq* zJC)w*&Tog+K6h>8IUP#+qS$P}S@xXBpP%8`6j#|8rwPp`Y0!O7C=!5O=wN`$P z1Vpr$S(T>PkkY*>bFtM5A3-b|5SpS&M=~AB^{sH3W%&n?4S;zXMl>kBTL3XIwNgr+ zIeBt2Zk{Ismjq;=m}Sc9@S}nIWbc2tCTU9qOvJ~mfQe|Pa&&R%{lpE^luTwJqCkYYLz*@3X>{Om|&mzQV*@B(V8Q$MZHK93^HZ%XG+ys zS1~i4y<`Jz9!PNdzy_GbHV{Yk)+Xn%Y{&$YZVV=<+pa}}}x`*WM2kzB;-u){QjZFUXI*~tlP)3=;aUCT$c1T1D>-Za1@T$7H>;0$Wo>*}& z7Md&?4UlL-Tb%a(eRbtKPkSB%K>Q(bf0C*+vFg&QoOxNBS6XhLW-D*MOS)G6VhH#O zjc;SF8YDtp{mq!m)~2-$YQ=|kH6yo-xV?iu(N4QF0+V$1SOUDza;vQ6Y~?r2gClaG z@TpF$%Qc#2CT@+2h95rIS%?WZDF1h}m~%JAU$Ds$N$SH_BNom#y$Q9^0C{Nb2dZ19 z)@k129CXsT*(|WJBge7}^#qkW8lprnC)$g~=9rR$I#0)*GNTwt@+uNiY zsGWi*2Kq%Idc)IhFUJt?39}(W>{PQeH4y#e%L68(8dp3g_)9B~;NM5*Y;{)l@b93GCBD^+hIEsxdvREe&&1i{&zT$OaM}iSbMD zZlBBjD~k1A4ZAL58C-xdjmq6P`lhRtcWd(Gw#@qnX0v1F&SQgM%|!1Pl}ZP$bipmT znNxJHyR|fymw8~7{c|Dw@K{KxZc(fthZzWUZrTH1itonFR>R4bD_QNP_k(ppIXfAS z8Byn?a(4n_5I8U@;^c$w@H!9|d5!}vRtXF1%4n(GS+Nxl)akRv3w%e_*uRnSB_iokUVd|C+MFqYUzSr+fK7$R57IAyM z(LpoxB)FCTDnn0T_?PFjlGMGD$FDIK3*1;><2edXJ}IyoKQE^>smjZc!3A?ue2ws^ zjoOZ{x{Ao`!uZGMKD6AtN}`25d92=;G!TSM?v+5?+O46U;Dw#&FNpDz@se5#u1T>7 zKDc!p#u+AkVb>`?vmadvx9h{m3&ERN7OyYFF0&&_jMkMC!&#teu^1EQg=oUs7p#Ux zD-lyG0(Tb*$g$aUBatw*;r6j7CTM7X;E(n8!{0<&++G5Ia7z(p3IhBXvl9053%YXvRY z%DrAb_JDR6V0Mj4rYa^LE)IQ)La|B8AQ#wy?6-{)&aqiKY|W3sxeFSt5L916ay&Abw@7HVDP`p@)_Nod9#)D>4Vy`G}+6&Tl zT(kRJYqm2xsnFMc|LRTv>eVbe)8&AMlQ}}29I~UvUPD(*z^tFIs8-;~#IqM=5S@O- zZ(XfKm;<}0*w2ak-{oXFc5b)o#Yby_B(4;WPVB6u~!0)CZ1p+AVwyWBDxsxMC}tMR}Ojq>qO9oFin6Cf^Ex%k@yh7Px7X?=YC8 zj`>X)ldva%gKSoHnE6Co;qS2id|&t2f(VKQyrONebTbX4#a=QRGxPEbhN16(O?=}| zO}-C=ZxrX@v3s-~G(n0{-BZuEs^q;ax9bp0@L>Ts`o@Lkh_as*7<+PG zv{?%f(=@xF2e?3AWycpwSau3@lfHNU4SNS<9aL6p^kXes@}CdBktp6Vb}y;6=Ep6R zG5A>bakKOYulyTbb_Qa}6PXGvJe_aG-{CWPT#GgXD(TS`7W@$P)*VDqMYn zz00?L!x*0EJRzUWy6U$A3Qu)tM|-WJe-^7z0F-uVyzk>@YE-Vq??!;@<#%f_9RDeb zlObg<K7KZpn>1Ewa?bpw?4~4vxWxOndC+6UG_t{66e@$!)j4s7Mnwf(W z?AKcJswVEf%~IUAY+L#B6uU&Fw7&Crzyt6NRl29auU^$DkVP;a-Jd_4v_!j6j8Wu5 z#UI?X5nyI-IhYjnshX?>nB*@gj{ixLH6_*%YgK8uX&U1O_%H28E`E5~c$d==8VR`j zeZF~<$6dbOM%>!$GGjip6%G!2S|Jq!U;!UJ-^m>&;mUi#yl04q#F z#?%Mf4(dl)KMszv|9g1Te4xK(g+5OW88;w$wsHcfeG@ zkrMB7ym~3Bv(a_V--1*cNPW-YFPorP$izaR3?0e>BnNc?Wk+IKwr7qWBMwx?n1w*D zXdqp+Qa???ZBJzEQm0**gVG5Y3FlZ}>1_efjgP%j$F$PZ@Z6BVE6I<$n)7<~Y5f(v z#+Emm&ts_GPkI==bGsD^a30`mXOX!Vjf3v@cLi!}#X z3`RDzu^Dvd1vMJ)r&Cg8X|-l)I4dlu!vx3K z%CQCzCBJLszpSftoiir%$Cno&@m8N&a&i(HDwk}xog6cAnMMm+Xo2LvEek+p`rwm@ z?RuUec--ATyqCYYF_j;^zzF*%nE|4@{AeTSvAQyoGA`5=(wlt05VUd@#~oOF>Q0RKc1eu?pX;=Tm(ExEJd_Qh}cIZF&+;})#~U%ii8 zWDDVsq{SLztM2Wu5p^@;Aai+{lg0=hreLZo;~_!^2OfDwOOab5O?k_YEbashK2sr< zv1qooL<#XviN94aT=7H+C6V#RFLG}k^)W~r2PV4?C+EGy8W%Wx{2EW#TdYR^Jw7(> zJv;)lvLh{v2$SQN5H6Qk|GKFRy_?gnIXW<${UuLIaX6>hkr2Ip7*w}S*r&|9tJZR) zk;9!T^w!HIKPo>eS0&Y{&BT7Ar+__GtYh8H-J<3d3?#T6hccJcWb6sECoH{il^w3&ADI2?Z<-WIwXH)Kx zK$9lX9yJJ=qzXOf7RKJ`+bF7cIWZ%v&#FQNxZBw+`7B4-hI~J)!KqXQ@frIeo0ax zjG;6AfCDC7viTlUt4ZubP3W_S$R8zcd61rE9F%4&Ofc>0;C9`i&+HN3u3(whSHged z!^uZ2`s+t7d;vPm;F7uSNq_>caxb8oJ3Mmxn4;^vX1ut;1mIu=?+}SR;4x!YUl^K1h3M7WOv$nw}X^#+*%}P8QDm z(Mfrr0f?yI1ssh%KWfggT*JSk#BOg>!er1J_2-U4s*e43QMM5n|4+Hg&Un90-oO($ zB`fcWVVLZyH8yN6YGZ8@(tKu&3$~-fN#6*Z?nF1qEa}mPGArv=$eaw|v+!}wdrj-q zq(`J!jK56N954D-|9Sud_3}KBGEqhaR9Z>M-DvVtpXqH%`2{+Z=r=B`!_)Fl;Rsh( z1jrfL>fIkE9S{~5PgLN`y>)$i_ymCh8>paW>u0P4tzh09BmN8QiP`MFAl5lC-KjL} z+04pHo^I0vyb3-Q8`MOvs|y$l;yjx|S`)n|u`^B&Sx6Cxh3nU`werwfNG-C<+Y@mF zfKv6W6L5n@YgqT2^ex6y2gmhF*_)n^5htD|X`Gc}B&TjtZYNAf|3J12HA{>pol`h8aQyZ5Dj(V4=m zW0)QOz4oR?@HNqCC&1nQx!I0v9Dmw*i45AV+Zn5y8}kjF?3)YiRd6Y5+V)~lTo^8D zUAVIR)%}bmHTN4_+||Mco>d3i?uvg7kqR5xD_qh)?)a(M<_M-(#pAL?=Cb-+@6krq z&6wQPm3%ZiPdG#c^klC;E(p;f@pcW0zHwl=GghYxN6zi^J5B}-J)hD)6me(J{kDRtGbWiuzP@>(J#-eaZhgsgP>2#1=oLE-AwK*7Hs9!6|O%tLC(GVwSYCfyvZij0iEEe%~i&l(mjT^*7<*po9?UsRWN zdnZ}9dd`#6^SYzzm_Y-v))s=Nx<05RY8P>P^~f~%qD|&#cf)ZD@7pW{ic)i1StSf%H2DhRyN$A_Zh1p=A*j7yon){vx zeigy<=aA+2ebQV&A6$B3O;hadzFVR(t@gXLy42}8#?4XHe8=F`viV*k?I;HWBp<{b)~ zyH>O|IdbGCE{6K{l?vVdIT0RM@TFyw)nY4x$RMbjp#oZJuD(7sQa3-O`fwj zic?S!B z?%LuL@FUP)`lMfbo_GR5^VMZV;PHuNK3MhH0n0%jz=1P}}|Nk3Haa()m<#VH^Z zDe|Pqa>J)e@F=&(%T)yBMm;wa@G-11z^}>07^d)B=Nzl=9MO{&HvZJ&aEwaaX|fsl z;Pk7F)^y6FtAS>=xb?kY(%!3whGxMZ3F4V_cd!Ulj%J@0Egw@m2dpfe=ZW3d9&zvE zIa+Qcuj67yKviZ~%q_#N4hwV(SkPg%D!J_*lF_$|*wmLXY^oUN?}XEO0l-E)1A>_;D3&Xt49 zg~~rSNnch|7E4gRUc zcM<$3oe~dD;wStu4i`hq|NhDN$COIPT$}$_-FL+`wRC;&BtS$!j3OvSJOL@v2_PMn z0EQ}{NGApf9ix$6l2{{%98rV_h$spOQl&`E5fFs{iXsR?q8t+GV2*T>Z^L<>_wu`Y zFWy}3U-r!GHM7>N`LCI^)}Rxl3iU89t@c3BWh%9rwV5rcw%%HE9i_{9b)CQ}qb*-H zH4m2PVxWeHz942p?9v~+ISoc?#@@CoJWmF>n1!OPw=V-&)sVL5f&Kfeb1fpcq7kDf8!qecrDN3 zIezI=G~h$UiYK~Hse(w)3{EWKw+Y|WBJaiHdq-a1gV=i7qt(Tm)KEUMr(8M%*c%45 zzfUv{gOmTQ0NFUit-S!Vke2<1LYMI}4R@s9<+8v-OQOkvyn^REggd_A>Ys`jm-Q^* zlno=N?5Jy|LpHTR_$bawn0*PLUHk<>HFa5nPF8)!)5i1q%KwIEvx=YPcHT zmD5@?@X~KTf}=K`eVk~duPMk~12xldw*Yw<7uDVX$(z3J1h{&d&MuM_W>)N;TB7X* z?f|@J>TB-kFhSEC+PY1&?8u_VrzEjTlL!9i0Dv}%$AUHbnD z+g$#~ogSTeef~md;Bje(I5Lrfp|^miN@1)Hs^RVxXa$ns4DM0Mim4Z@Tp(#-W3hDz zsuxJFhBoB!@$7v%!N{4+vXmi zKcdAF(4|gyhfI}G<+4lU!^M_y*2X|;QlL#!KverJ2+7efNAm1%@p@fsXYRRAxw<4! zDx|r-n)35M!Fam!>=P{IiS9bF_|xg1(^Q_Tjh)m9nN-5cvudeBRi?Z_#KoNic!l5V zvG?;T&&_h>5WIMg{`&7bfPshmbc&^-p1b#uN{;6=>@bW+B*YIgN=)|V7C8TW{_A2Y zBK1VNG`c;M!lgI`vbDOZlquB|SIQ)PC;bfl;6$*WCcovx-4)sP$2J)0QE+bRR4d>W zH;7sZ67Gq+3tMs)xK<0f;^)Uc<}ZNU6wgQ-Q@yA6FaZ|xqMYm3kpAOFM+2hL7SFqY z_J+wi-4(6ZLy-`OLg-%9CjoN7#Wn$Q);^tcd&0zK#Ac+m&+RU>c)0Ls45!xGdRYaH zdCL4WF}_zp`nqBU61QhTT%s|%35m+PO&z5So@eh3@UU*TlQ7BNc%e=#L~c!HvSyTZ z`?M1MX8d>8uRof2LW2-xGck+xAhumD)v5najZX^+mt;m>+U;3N-QVymb?|OM{?Ps` zsHwZzpS0E&#r#VbRivVfwK3AFN^Rf8}|Z1WuyRJqyJ8)4WIh5qL}`^k+e zISQQo>BjDI#mG0F3UXw{R7oY^Z6yl%Wtu{IvXWgX5j@Lu5#?I+oa4Ey`$T;W*gNPO zKie#w9FeQz|Mt)2>^mTEa)Ns4Noc`yb|Y>=mv>bZ4Wv$tk0EsA>dU=%m&~t7(;*Tg zSN0%CPC9){S7}DkMT>UQjdLyQb7qu)?#$)BES>Qy2Ku9){*EQF@27cLwHGjQ24l35 z58wv&Hu|$x zrX5qC?KF^gUf`jb~J>RnOR{fcFSX#|5S9MP&i|;dm=` z6X9A+)>jevceuZ@|7zG}7>vwW<1wU0Qb@_fS&!;NMxr|~8+o*!yVd`+%QJpHm3Ed11g=1s93p4J8Ru@UAaA{H|oE9mR zhlauJ;Ssl})hgB+&Ei8Zze_hu96c4MYHg=cNd!3!2OIv=1JUhxEgZ%>XEk(A)nrqI z%y(S*iXz-0t{)aVar)rlVt*v=EY^!g@%dev3t@^;`{yM*X~=8=N@iH82aY z$c8KTF%k-Lb!?}k6TO5rXZgD@{aA1KH~0pY9M`uLt&MU@rG}De61f{hU2emTBThi) zeNy5hnS}auy)_!J|9Wq-yGhFT5R+5i7V}=+cQBLH4*esiDU|&?T-4bmI*zzn@2keW za5z{+musFZaLiAuwlmO$uL5i~9C`riiqMfetv$Z3sJ?41}O!~}wLT?mpQ!`EhEQxWE z-wT9a@@Q{Y{;shXTXL;+RH9bEE!^@GkzBnOZvm5f9lqUUaBvpjZd;9Xd*m)UPV$n- z-HcwMU;6rpJuifZ=je-WOTr{kL! ztREyj84vtB)4T{Z*54gpO9wMMACK>o4VXJYQ4me%nBNvBPN?m%S;VB z51Sqqpeth4VrFNko0Ox9O*+`|psYG(*~t1cWlHyxp|bfOa;W*R3tW)+^n!DjpcM)q zU^AjKvWTNlCfxBo(u?_~X+dQ(>NzVB<%0h&Ke z>iyTt!J96Th`S&j0Pg1RIS9Xs8H0Ej|o6P@Yud&>mNgzKaBe5?0icgqPoZg)k}+k)EQ^?(Eh zgj}SH69pu%%!4&T+pe`yR5ScVShUxKWf8*sIHB+A0w?8rS!43*##Tke-?W_@ajJcZ zdklpQHBtQjmOs}9GlT)`n<@GTMT%@ghEoEqb+xxx=2GXe!y8CYLzPec)6rl6(eA$p zN;zmov20oKv{>sx%@3c7Zyeq(Y6oU&fbl-OPq{pSByWEx6)NspDoC&g_1|Plq(2lZ zcgWg!$5!F~tXe2x+T~IFK7s@RkJk+HJGnXCAV4RSRj6#em(D}tMvp(L+F_V?&U2yM zaquv(ML8zqYL92>vigE6>m8%1mH1thAwb@Kadr6)5{KpG?AUdCR?kdWh}bcx?9gbV;1V7nuFh9(s;9R6X}Y1U7M_waRyN$-DKO1zIaz2j( z3t-!CFu9;@zC}ubCI|@smmah){`)n(7=(^+jE_uqf+mXds?rSe^fm}5LCqBADPLcc zItzLol%&oE-@ZkSKF=Odkh^KzsS0e-^tl6x!=YuN-p2ivMb)y9LtEqRa|AiIBWGvR zzATG3-;3J*`>zVpT-e*`R5lbn@MO2Cl-afp_F@jR3~8hGKsMrx2O zYP+e_C<%R;ao zG7_GMg*z2y#kZIez-jZUe08tr$NC6>us%6uX9u|ewNM62dg*R`Om@O3!+f@oN z75gUQok=sgHUu4#c9*J`sW(RXMYu%oT)<5%3cLWVeUnPny6f-sw?}f^X&y1bA9FLDU z6P4B4kxpcCtlMwVrBKyhrG-;x%i*$uVdC~hvMpLj9?Y=T1KzYD8u3zsBv3C}4-8f1 zZ}6x?YACG`LsHGJ#F<_8!F$+kh(!%neaHzU@{xL;rk_z^-S_?UbzN@sgpnWI{7f-_ zjL}p(_XDwLgB`f>q!C3-vCU0`*_?Ltfei^5%DcbJpPQi1(N+o1QqusqtKxBKjoVZ^ zGO3S|J&l{O2KQ4y-ZUeTO0d9Fmm{YCfto-^(Cr6lvG{v&|A?!?v=0SX&EN#q?ykw;FDF?>sm%_4^ zi;sAf=>kQ**-D+#7V80_z0>6uuW`?k^uGcfqnjbwB~Z@C535?uu$Y#4D*`DFs)E?Dzg&t#mYORo?n#qfoF%}iB4y)bt>l44@DITKV zRxiAgshB@BmG-KQ9IQW)8OSDzm8U(6<+OfOWED_{Ud#QJ8u{VW@1`vh17Y z2UeWX_96MJv#RWxWg4?!ESb*tU+g7SH(U@L8+}v5mtMh&{06{`0Y#qfQ7t5Uoxzq6 z^HWE^@#iUNH8G=Uda8T}%g*IC2_kP=y)x;%d7qkE0HfCXdpsX-2nx z%x$*mN51fq`!cB^FXb%S$GnC+*VgwzyR_-AKlGmh<~zf@RkL9;wmPOsMl2%zifwLr z=BFb<{n5>_^nLW%iD{zD)Ql@}>>S;eW<d2*s*#a#zk^}dyNh^MYXQE z_&j-fG30pUJ0o?Ygcj%D+*nJI#(hnviDTp^6&Q4a0kT)Jz7M>`&uP0_zs+^y`)_ZeCu#Jh%eB`iJc$TOLVfZoavh}HJiHgs%2a^8 zVDCacdNI`?SpJTo3?{sgly|5&(ZLlpK84#SEGR>lCB#s5VVJAwM z$TZc3#UJXiwz%BYKNdEpRSE5opjvlBQ#_esRZ*AGgWB6mXR+MKQ&6N^J>V_FMv0Y} z=D!pbJ)5KQLZFWqQ67~1k`eO?XVQDhS#-Mz`QCwz+!;qjU~T&Ex+?DR+~;|guXp3r zyd0Mb2UHdQGlUoorul4V73_=(r?c)!gw}GtC!Rb$(BkYb+P1hVy7EZjN3O)ki2k&< z1-jB_>^!!wt8%+dC(Ur1=GMM^IcD3j)~gqLwpagxsgU(kj6Cy;yTkRenHHX8_I6GAy+6 zeCJx_4NhcRKVKQ;6l#Ng_FRtH|3%$sh96CD?ADl<9&qpoItEH>63nxC*T-j~hn?r3TWBZpHN$(yM!rkaarEb1nc#Lu_bmHu`tlMntmI);w#=i! zm-el})o(#$O3nHZf_+BW14QZ^^!&66FItb7`r=eH_e(oJuimdn)$1i@G&1{s9qw^o zeuEWD8sXfy1BX_ZNA%!kZ2zPBz0bs&9auSbufb37(QRrY@<%4(;xTmT$a~f>c90rW z3*GS54@mWb`HHER$}(S;Rm&nupd^7ucc@J3c4tJTm&oFok#f)K=cQj?U2zEMnzAMh zYSa#eB~k)IyB^MNR9N2oO{NM%*HXY$YJeGBP;`Tg29cl@&@pBgA>diB3>g+$ z#x0lNGBcmnhqhX16Hnfin!54!f|mxB8m{_W%fD&#F+j*^Ej#%|7z7S<+phr zE!s^4MMQL*;x*(i^q2}HB<%j3-NlGkt%a1Lu6L|QaVq~F-RueJZM;nGE_06E%z#WS zuR0&Fw7K6}rzQI9)wnJ<$FUvtAZvSN`uy_{t6Tl`iG+a@EEZ$KlVcf@A`i_gT*bwU zP_zQsIz7_w7;s9fU_{XOI1*6X%ZQpY;Ty5)V4uOIzh!-2#; zzR1cPFvxepG9go<9{42j6}^t7j7_&^`;96|h5phaIomTd)hQDYck6n=9nL&8Hp#=I za~yPDB}yf~{+yWGX`{kE%eTRg4LP}Hx_pCN=vY-B`7lR$s=kiyqxsU`|PE|A3`@u%#Ce|iBIAq2CI`?uur`0C!tZx5H9k9M}i z&2qY}c;=RiqosZaA37~2%HN}Lz#Tksa-o_-silryYk9LEV$qj%3hU(SGxFUix#nPR zska3M^e(ndKHoK>A}N({3wM%tmlk_2c2nla{NneAb(fFYCGA@N%|)myq0-W*ey$0U z^6E@Kro^pIN($vEs=8It=IkxaJm?>wd<6rDk0SQ4N8OBuS(bGMbwzmLqwS)MF4svc zGEP-8E&Cn~7XH`K55L_WpM;v;rA3zfjz**H1s}iYY7;+KKsz~PTy4wZxcIwxdCWEg8g z=h;x9I;9gf8MkuWY;rFj{;%mP@~>EcC%ONhhkB7MQ@vmjzl-4XER1(j0GX + + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Temperatur + Temperature + + + Druck + Pressure + + + Tripelpunkt + triple point + + + kritischer Punkt + critical point + + + kritischer DruckPcr + critical pressurePcr + + + kritischeTemperaturTcr + criticaltemperatureTcr + + + feste Phase + solid phase + + + flüssigePhase + liquidphase + + + Gasphase + gaseous phase + + + kompressibleFlüssigkeit + compressibleliquid + + Ptp + Ttp + + Dampf + vapour + + + überkritischeFlüssigkeit + supercritical fluid + + diff --git a/introduction-dicussion-method.tex b/introduction-dicussion-method.tex index 21b8bf7..e7749e0 100644 --- a/introduction-dicussion-method.tex +++ b/introduction-dicussion-method.tex @@ -8,13 +8,19 @@ \section*{Introduction} -In statistical mechanics phase transitions occur when there is a discontinuity singularity in the free energy or one of its derivatives, such as specific heat capacity, density, or other thermodynamic observables. Examples include the liquid-gas transition, the appearance super conductors (\TKK CHECK), or ferromagnetic materials at the Curie Temperature $T_C$ (\TKK cite and check this is $T_C$). An example of this can be seen in Figure \TKK. +\begin{figure}[hbt] + \label{eg-phase-diagram} + \includegraphics[width=\columnwidth]{Phase-diag2.png} + \caption{An example phase diagram of water showing different phase transitions and phases separating them. The critical point a the end of the liquid-gaseous phase is clearly shown, beyond this point a supercritical fluid is observed and the thermodynamic variables can be varied without a corresponding discontinuity in a state function. Source \parencite{wiki:phase-digram-eg}} +\end{figure} -\TKK something about critical points. +In statistical mechanics phase transitions occur when there is a discontinuity singularity in the free energy or one of its derivatives, such as specific heat capacity, density, or other thermodynamic observables. Examples include the liquid-gas transition, the appearance super conductors, or ferromagnetic materials at the Curie Temperature $T_C$. Phase diagrams such as the one shown in Figure \ref{eg-phase-diagram} are used to represent these transitions, with the lines representing where discontinuities are present. -Of these transitions one of the easiest to model is that of ferromagnets at their Curie Temperature. This involves heating a ferromagnetic material up, possibly in the presence of an external magnetic field $H$, and observing the innate magnetisation of the material $M$, the order parameter of the system. All phase transitions occur when $H = 0$ due to the symmetry of the system to sign reversal of the external magnetic field, making this a useful model for exploring critical points themselves. +As the magnitude of the discontinuity varies across the extent of the phase transition, it will often reach a point such that it becomes $0$ and thus the phase transition line abruptly ends. Beyond this point one can continuously transition between different phases without crossing the now terminated phase transition line. -This has birthed a number of models for ferromagnetic materials around their critical point including: the Ising Model which models the magnetic as a lattice of interacting magnetic spin sites\fnmark{ising-model-generalisations}; Mean Field Theory which models interactions of spins with a hypothetical mean field of all other spins in the material; and Renormalisation Group Theory which is a general mathematical framework for understanding systems which can exhibit scale invariance. +Of these transitions one of the easiest to model is that of ferromagnets at their Curie Temperature. This involves heating a ferromagnetic material up, possibly in the presence of an external magnetic field $H$, and observing the magnetisation $M$ of the material itself, the order parameter of the system. All phase transitions occur when $H = 0$ due to the symmetry of the system to sign reversal of the external magnetic field, making this a useful model for exploring critical points themselves. + +This has birthed a number of models for ferromagnetic materials around their critical point including: the Ising Model which models the magnetic as a lattice of interacting magnetic spin sites\fnmark{ising-model-generalisations}; Mean Field Theory which models interactions of spins with a hypothetical mean field of all other spins in the material; and Renormalisation Group Theory which is a more general mathematical framework for understanding systems which can exhibit scale invariance. \fntext{ising-model-generalisations}{ There are a number of generalisations of the Ising Model including the Heisenberg Model, XY model, Potts Model, among others which increase the possible states of spins. These however are not discussed in this paper. @@ -28,7 +34,7 @@ There are a number of generalisations of the Ising Model including the Heisenber Of these we will focus most on the Ising Model, which we will use to model ferromagnetic materials under various conditions, comparing it to Mean Field Theory. (\TKK will we mention renormalisation), with the aim of extracting quantitative data (\TKK we are not mentioning critical) about the behaviour of systems at their critical points (\TKK Do we want to mention universality classes? Is that a thing which we can?). -In the discussion we will explore the theory behind the models discussed, as well as phase transitions (\TKK is this a hyphenated word or not?) and critical points themselves. This will be followed by a brief discussion of the Monte-Carlo (\TKK do I need to mention this before) method employed in the simulation and relevant statistical methods. Finally we will present data from these simulations, comparing it to the result from theory and concluding on the effectiveness of our model in desired exploration. +In the discussion we will explore the theory behind the models discussed, as well as phase transitions and critical points themselves. This will be followed by a brief discussion of the Monte-Carlo (\TKK do I need to mention this before) method employed in the simulation and relevant statistical methods. Finally we will present data from these simulations, comparing it to the result from theory and concluding on the effectiveness of our model in desired exploration. @@ -63,37 +69,41 @@ Here we will discuss the theory behind the different models mentioned as well as \caption{The relationship between the partition function and various thermodynamic observables. From \parencite{yeomansStatisticalMechanicsPhase1992}} \end{figure} -Whichever model we use standard Statistical Mechanics gives us relations between the partition function, itself derived from the energy of the system, and other thermodynamic observables. This relationship can be seen in Figure \ref{thermodynamic-variables}, from \cite[p. 17]{yeomansStatisticalMechanicsPhase1992}. +Whichever model we apply standard statistical mechanics to give us relations between the partition function, itself derived from the energy of the system, and other thermodynamic observables. These relationships can be seen in Figure \ref{thermodynamic-variables}, from \cite[p. 17]{yeomansStatisticalMechanicsPhase1992}. -We obtain the magnetisation and energy from our chosen model, relying on statistical mechanics for the specific heat capacity, and magnetic susceptibility (labeled as \enquote{Isothermal susceptibility} in the diagram), given by +We obtain the magnetisation and energy from our chosen model, deriving the specific heat capacity, and magnetic susceptibility (labeled as \enquote{Isothermal susceptibility} in the diagram) from these base quantities by the equations, \begin{align} c &= \frac{\p}{\p T} \left\langle\frac{E}{N}\right\rangle \\ -\chi &= \frac{\p}{\p h} \left\langle M \right\rangle. +\chi &= \frac{\p}{\p h} \left\langle\frac{M}{N}\right\rangle. \end{align} -\TKK define E and M +where $E$ is the total energy of the system, $M$ is total magnetisation of the system and then $N$ is the number of cells in the Ising Model. For convenience we write $m = \frac MN$. -To these we can apply the Fluctuation-dissipation theorem \cite{???} \TKK to transform the derivatives in these equations to expressions about the thermodynamic variance of the property at equilibrium. These are much more useful for the purposes of simulation and are given by, +We can then apply the Fluctuation-dissipation theorem \cite{???} to transform the derivatives in these equations into expressions about the thermodynamic variance of the property at equilibrium. These are much more useful for the purposes of simulation and are given by, \begin{align} c &= \frac{1}{N k_B T^2} \Var(E) \\ -\chi &= \frac{N}{k_B T} \Var(M). +\chi &= \frac{N}{k_B T} \Var(m). \end{align} +Which in terms of our dimensionless energy gives us \TKK. + \subsection*{The Ising Model} +%The Ising model was invented by the physicist Wilhelm Lenz (1920), who gave it as a problem to his student Ernst Ising. The one-dimensional Ising model was solved by Ising (1925) alone in his 1924 thesis;[2] it has no phase transition. The two-dimensional square-lattice Ising model is much harder and was only given an analytic description much later, by Lars Onsager (1944). It is usually solved by a transfer-matrix method, although there exist different approaches, more related to quantum field theory. + The Ising Model will be the main model used to explore the behaviour of our system. It was developed by \TKK in \TKK for \TKK. -It is comprised of a grid of spin-sites which can take a value of either $+1$ or $-1$, representing up or down spins respectively. These spins interact in a local manner, with their nearest neighbours in the grid, having an interaction energy equal to, +It is comprised of a grid of spin-sites which can take a value of either $+1$ or $-1$, representing up or down spins respectively. These spins interact in a local manner with their nearest neighbours in the grid. We write the interaction energy as, \begin{equation} E = -J\sum_{\ip{ij}} s_i s_j \end{equation} -where $J > 0$ is the strength of the \todo{what are the units?} interaction, and $i, j$ are specific sites in the grid\fnmark{sites}. We can see trivially that this energy expression preferences same spin neighbours having $(\pm 1)^2 = 1 \implies E_i < 0$. +where $J > 0$ is the strength of the interaction, $\sum_{\ip{ij}}$ represents a sum over all pairs of nearest neighbours, with the neighbours being written as sites $i, j$\fnmark{sites}. We can see trivially that this energy expression preferences same spin neighbours having $(\pm 1)^2 = 1 \implies E_i < 0$. -\fntext{sites}{When performing a calculation a \emph{site} is mapped to two integers $(x, y) \in \N$ representing the location of this site in the overall grid, however in mathematics we abstract this to a single index for conceptual ease.} +\fntext{sites}{When performing a calculation a \emph{site} is mapped to two integers $(x, y) \in \N^2$ representing the location of this site in the overall grid, however in mathematics we abstract this to a single index for conceptual ease.} In the fully general model this adds to energy from the the externally imposed magnetic field $H$ giving a total energy of, @@ -107,37 +117,39 @@ From these expressions we can obtain the partition function, in the standard man Z(T) = \sum_{\omega \in \Omega} \exp\left(\frac{E(\omega)}{k_B T}\right) \end{equation} -where $\omega \in \Omega$ is a particular microstate, corresponding to a particular set of choices for $s_i \in \set{\pm 1}$. This has a total phase space of $\Omega = \set{1, -1}^N$ where $N$ is the number of cells in the grid. +where $\omega \in \Omega$ is a particular micro-state, corresponding to a particular set of choices for $s_i \in \set{\pm 1}$. This has a total phase space of $\Omega = \set{1, -1}^N$ where $N$ is the number of cells in the grid. \subsection*{Mean Field Theory} Whereas the Ising Model restrict interactions of spins to nearest-neighbours, Mean Field Theory, also known as Curie-Weiss theory (\TKK consistent capitalisation of terms), instead chooses to average the effect that each other site on the cell has on a chosen site. In this sense a site interacts with a \enquote{mean field}, representing all other sites in the lattice. -\TKK +Taking this spin to be $s_0 = \pm 1$ we can determine its energy as \begin{equation} - E(s_0) = -s_0\left(J\sum_{\ip{s_0 s_j}} s_j + H \right) + E(s_0) = -s_0\left(J\sum_{\ip{0 j}} s_j + H \right) \end{equation} -where $\ip{s_0 s_j}$ represents the nearest-neighbours to some fixed $s_0$. By counting noting that the number of neighbours to any given site, $q$, is constant with a value of $q = 4$ we can obtain, +where this time one site, $0$, is fixed in our nearest neighbour sum. On a square 2D grid this sum has a constant number of terms, $q = 4$ which allows us to re-write this expression as, \begin{equation} - E(s_0) = -s_0(qJm + H) - Js_0 \sum_j(s_j - m) + E(s_0) = -s_0(qJm + H) - Js_0 \sum_{\ip{0 j}}(s_j - m) \end{equation} -where $s_j - m$ is the effect of the variation of site $s_j$ from the overall mean on the energy of $s_0$. If we take this to be $0$ for all $s_j$ then we obtain, +where $s_j - m$ is the effect of the variation of site $s_j$ from the overall mean on the energy of $s_0$. If we take this variation to be $0$ for all $s_j$ then we obtain, \begin{equation} E(s_0) = -s_0(qJm + H) \end{equation} -which is an expression containing no cross terms and hence allows for treatment as a non-interacting thermodynamic system and hence, +which is an expression containing no cross terms and hence allows for treatment as a non-interacting thermodynamic system with -\begin{align} +\begin{equation} +\begin{split} Z_1(s_0) &= \sum_{s \in \set{\pm 1}} \exp(-\beta E(s)) \\ &= 2\cosh({(\beta(qJm + H))}) \\ &= 2\cosh({\beta_0(qm + H)}) -\end{align} +\end{split} +\end{equation} where $\beta_0$ is the dimensionless $\beta$ discussed in \TKK. @@ -145,19 +157,16 @@ where $\beta_0$ is the dimensionless $\beta$ discussed in \TKK. Z = (Z_1(s_0))^N \end{equation} -where $N$ is the number of sites in the system. Applying the identities seen in Figure \ref{thermodynamic-identities-graph} we obtain an expression for the magnetisation as, +where $N$ is the number of sites in the system. Applying the identities seen in Figure \ref{thermodynamic-variables} we obtain an expression for the magnetisation as, \begin{equation} - m = \tanh(\beta(qJm + H)) + m = \tanh(\beta_0(qJm + H)) \end{equation} which must be solved to find a self consistent value of $m$ for a given $H, \beta_0$. \subsection*{Phase transitions and Critical Points} -%The Ising model (German pronunciation: [ˈiːzɪŋ]) (or Lenz-Ising model or Ising-Lenz model), named after the physicists Ernst Ising and Wilhelm Lenz, is a mathematical model of ferromagnetism in statistical mechanics. The model consists of discrete variables that represent magnetic dipole moments of atomic "spins" that can be in one of two states (+1 or −1). The spins are arranged in a graph, usually a lattice (where the local structure repeats periodically in all directions), allowing each spin to interact with its neighbors. Neighboring spins that agree have a lower energy than those that disagree; the system tends to the lowest energy but heat disturbs this tendency, thus creating the possibility of different structural phases. The model allows the identification of phase transitions as a simplified model of reality. The two-dimensional square-lattice Ising model is one of the simplest statistical models to show a phase transition.[1] -% -%The Ising model was invented by the physicist Wilhelm Lenz (1920), who gave it as a problem to his student Ernst Ising. The one-dimensional Ising model was solved by Ising (1925) alone in his 1924 thesis;[2] it has no phase transition. The two-dimensional square-lattice Ising model is much harder and was only given an analytic description much later, by Lars Onsager (1944). It is usually solved by a transfer-matrix method, although there exist different approaches, more related to quantum field theory. % %In dimensions greater than four, the phase transition of the Ising model is described by mean-field theory. The Ising model for greater dimensions was also explored with respect to various tree topologies in the late 1970’s, culminating in an exact solution of the zero-field, time-independent Barth (1981) model for closed Cayley trees of arbitrary branching ratio, and thereby, arbitrarily large dimensionality within tree branches. The solution to this model exhibited a new, unusual phase transition behavior, along with non-vanishing long-range and nearest-neighbor spin-spin correlations, deemed relevant to large neural networks as one of its possible applications. % diff --git a/prelude.tex b/prelude.tex index 48ccde3..fd6f338 100644 --- a/prelude.tex +++ b/prelude.tex @@ -65,6 +65,7 @@ \setlength{\marginparwidth}{1.2cm} \usepackage{csquotes} +\usepackage{url} \usepackage{refcount}% http://ctan.org/pkg/refcount \newcounter{fncntr} \newcommand{\fnmark}[1]{\refstepcounter{fncntr}\label{#1}\footnotemark[\getrefnumber{#1}]} diff --git a/report.tex b/report.tex index 46f7979..448cbfa 100644 --- a/report.tex +++ b/report.tex @@ -3,6 +3,7 @@ \input prelude.tex \addbibresource{references.bib} +\addbibresource{static.bib} \setlength{\marginparwidth}{1.2cm} \title{\textbf{Comparison of Models for Ferromagnetic Systems near the Critical Point}} diff --git a/results.tex b/results.tex index 6156317..d505f27 100644 --- a/results.tex +++ b/results.tex @@ -34,4 +34,6 @@ Using this data to extract steady state information we are able to determine val \subsection*{Critical Exponents} + + \section*{Conclusion} diff --git a/static.bib b/static.bib index 4d2380f..c1af194 100644 --- a/static.bib +++ b/static.bib @@ -1,20 +1,8 @@ -@article{GNUParallel, - title = {GNU Parallel - The Command-Line Power Tool}, - author = {O. Tange}, - address = {Frederiksberg, Denmark}, - journal = {;login: The USENIX Magazine}, - month = {Feb}, - number = {1}, - volume = {36}, - url = {http://www.gnu.org/s/parallel}, - year = {2011}, - pages = {42-47} -} - -@online{IPC, - author = {Various Physics Lecturers}, - title = {{Initially Provided DLA Code Model}}, - url = {https://moodle.bath.ac.uk/course/view.php?id=1876§ion=3}, - urldate = {2023-03-14} -} - + @misc{wiki:phase-digram-eg, + author = "Wikimedia Commons", + title = "File:Phase-diag2.svg --- Wikimedia Commons{,} the free media repository", + year = "2022", + url = "\url{https://commons.wikimedia.org/w/index.php?title=File:Phase-diag2.svg&oldid=667966844}", + note = "[Online; accessed 28-May-2023]" + } + \ No newline at end of file