From 7b1de5d2dda18c0eb7c58c4373ce4bdeed5a6eb3 Mon Sep 17 00:00:00 2001 From: Jlh18 Date: Tue, 16 Nov 2021 12:33:12 +0000 Subject: [PATCH] added quest 3 preamble import --- 1FundamentalGroup/Quest3.agda | 2 ++ .../2.6.2/agda/1FundamentalGroup/Quest3.agdai | Bin 2334 -> 48363 bytes 2 files changed, 2 insertions(+) diff --git a/1FundamentalGroup/Quest3.agda b/1FundamentalGroup/Quest3.agda index 15d5b14..85bef2d 100644 --- a/1FundamentalGroup/Quest3.agda +++ b/1FundamentalGroup/Quest3.agda @@ -1 +1,3 @@ module 1FundamentalGroup.Quest3 where + +open import 1FundamentalGroup.Preambles.P3 diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest3.agdai index 32e7ecf08aa9f1dd6cb305df8c49d804798fea04..9c73ed5b9ff83aba3c45c5d4cbf80fa664146957 100644 GIT binary patch literal 48363 zcmXVY30zG3`~T;hGh5R(TBrRWid0jflytH+5l!{IbcLp}6q0fkr8-53Xk^Q^G!fO` zmajpUG(@soQgiVgOUP0&A{8c6|L5d)&+B!Y*PL^n&+~bf_p^Nlt0Zp9@k`IQZ5p|5 zqV4Ai-3b0O(0^^1tYR)hFW7X8rWKqT}(UIx5^3H##`Z7~_ z!<|6Zash?d@$_VZ)rjmQZ9;-2;*k5qd9C$s*iEk^u=|j?9%uV5Kc6r}S zVkIo$gfoP5fRn=p%*{afz;9zd6yvNfe=$UiZU6%h5wnR&@G8cs@BC1#Jd1yf)#BcNBm0X|^Nhf*4yW&xkA5@3DpQ2Eg~>&oDvp&V1O6@U@{?WfT~eTM!#3O#|n z96xITLRx4HTd1FBi}7ADLQgn(YbT9fvIf7LXdqA?fK4<u zI+>le3Mu4`tbLCsk0I$ajQLC>7J{UAUf)64PlPPeu{prSC@TJM%msPkx`45=cb{{K& zat?@n`oRK_aS52miko*LVI!;I?&cUUEK6i)mk|da_Awt?%_tO&js5H3)@C4P*!U=U z^z1rNY!X<^>{|&wb^_%^kZbvyu_qDhOCku*%EwfoOan_^Ds?64POK@ZdXa8>RCcPN zd=*Ph*ynCarnm>UZ`y#apZYOW{$)6|N!X9=h(;v&Z1 zhVn9y9h;8Ed|!o(J;`CEy?H|4sG(n3{Njj|vp?N%`(-hu0AYVoRW|T=AHmN?f0?0v z9xrRV1J2LJVU340mQ~od%Ar4Z=yZBh^qaIFE@bDmk0-pdKSvxrfeZt#x2y_~e@UYb zf4?;I;-qyw&v#*Y*(f*BjN;y(8Z%N(Sd>=r1f%~$nEi`gcU1|cl=)|+oeIIi*Nyn{ zDg%jX3>Ab)GLWy-ihmE4T931lsC>xkyuS&d#H-RDt{Txzo?sbgoTbE>A`n%fx6GcT z{vlXt5#P}Eze8Q+y;uPzF$UzV$i&t)*p>L}H1{4GW7Ax5*0YLR^bKBP7*h4qH{vk6 zid`a`R@z9_Uc6n8s#vT_p~8$=8|TfiLqbVk*vyI%D#uMiEZ0sIOND_6;qp1SujE6_ zcnfT@Yxx{vtFJ(?Y}6WolsYA!6Lz9vg9oto>9_^KKZi~8A6%ytsOJ@Le@9DBRC3`3 zTX>;IprrpkZgkY>sQp$DBh^NZ;7MB9Dkr4OLlptfh_~ub5IXj+Qtf`Ks~q3PXn9 z@i_hzUUppOAt(BC{5?2r)IT>4Kh+m>n05Sz3M*&m9WoM1oFWcX%u-niV_CfOhkZ>& zn>4CFc}QMy4l5lW_5txfpsl`^jNH}%{G-YKMe_{WD9z^o35mbtM#>fUIUCc>dg7_D zLTsb&-Vm&mA%9Gw=ze8I2cANs~v zd4&sj0_E?}h+Xj@?qQ{eXVoByN*^nAJ9-*7sK`EYy6kk>!i~VY)Em}{B%C{rG16QJ z0k$@dV+6a!diYe>fB|ofRnH71ovzoD((z7pf-z0yBU&;y;sBNxgtn#|GU|MS^Uq*^ z$=O^fctD~7R~kxHWS1_4%^1>>C*esfgNo%9Pr}X|?KcNUICS}7x<}8lj#>2d1+#04 z)5npj1DM3eQlg5&fa@AVfwG;JB$baRd>aqv?O`Iapd_SFfJrQQJJ(>2u?A1K~SbGV<%1m1a$OxJy^#s`o>TC z$Vv|2Mo$8T3eiTb`!X*e7Uv^~qm2}ytrS>_c1+I%Dy)RN@$z0RE~PRzsb?e}yS9a~ zlqX@)ctMO`&tewnV=gMa5FX7ov)6O(_{fO=8ldtDsv;>2!byCRa#;c9+xT+Rze4Ut z?f4!$Dy)UgkaSSe+N6#HD(}ipa1TwDutS&gwProzIyTd@ zYxZebJw(Sndb*BR;XvT3PzFU3j{=H>Jqb%H&Ef-A0Am-il=s_`e19c4{AgZ^P16|& zRvcZ)HG9DNOZmYA@+#um4$J~g)*Za8FHyOp($8g|IR+Je6|P`?e!oFPL*HZ25c?^rD88L{r-!Xz7=7LJc%l6RN1bU3qy*r~}Pa6w%{Y!hS zaN^=f-VjL3-o2Gl4JIi(@-6jWVPnHs85hIfN~ojnchyy7qPRr|KTWeY0E4c-^O~NY z{!F#}%!GB{htR_y`FYl04QtLS-T)E0!>)J(o0bi4*a^1?2ogJRgNAv_^v~znZfB5! z`zHa6*{p^Dm*P0VNb>eIEtz@8S4rE>)Rd(bwGQfZU6i>#%bo);NYE0TP!3PQcyYnE&ImMTGhyxED`&|CnY3ZQg z?EfU3CvqfjZ6R*Tf)M{9{+B!}N6!G+Rb+^ACeX5PcZOrr+|b5@LH2B+?A)D8Z|8T# zgP00-#x0zN9Ab1!T%A91|?%aA?$)L<7*+fG?gtzSoIsey6km9k9BX0onIcyaF zHk^z?Sc;WA?Ax7ljMU#w?(*qcp#)hCU1vm6u57@Jb@pV7R+E;rPCfU5zq#aX3A#Q$ zg)Juz=V0{^4(A(GAwkNBb(p+C9~-**&L1?kZqoTY_2l13&Ao&-Vh?YlZD^=F>CQG= zXGJb@TQ@;UEu75Af36hF?CGr2$m~77^(vp)-@gzy_{11&xJw#<;{@wLPJ59QP*s0rwtmK6@s*MGohIO)8X|nIw*7=6K^ShoyP|o}1CvUL9hR)q(j3#Rw9atOH zlP9s_sYwPj=dJE-05WXY{&qNH_MO-5-yTKIT^>}!ySJ_MjaImojYAx2aKa2lI5p|p zx9iXL`F}W*jhX!%OFo@`0r!11+JFh4`(kK4s$ppZ;M*iFZ^GvF_9Aj%nrrD^nfsvh z0+~mx4Zy;?{_I*z?L31fKNuR#HfY#a@rP=3*Ej}HuH2bJajzN?pNx4wJ%5grH(W$R zKgb3+1`XZ~|Gr(;l?V@w?V8rLrpt~(tI^PbDHm{lALc7@ipAM&RN@VmFZq`H)`Hp@ zg$-?S3Sez~Za`x{?SGoVHRPwqbXwL~RD!l%b`YeD`#FkK%}%i)RTf>fkYP2<0+(yh zfJBVYSTbOE8g4E7zN>_=mf74{KzpQk{cqF%-dZB(6mRlv#3DaAw$2X$z!V@u$RcrB zVvxh?pAX7kqZz$pMz)FHs)km&WVLTlWxoiL6fs)eP)~eG$a>U{&ba6S%bo9 zVdBiwz|Y{VE!*})f+Otvg-PBP(y|3_Cn@P)hv!W@H7xrE*i+R3pc#U;{$k+yZ4zzN z-4ZuqFFv`S>Nj%k%4S}0fX(V(DtR8d0YGJX>aKuhs60HWc;KduUQnD@1A)Ni{tXtX z@K7U(!ituhi}%8Y`XP~gP1nq>nd&iWdjJpp#8B#WJoN}1hfN(IoYe~SI0|zrN{)ffrXfvP1G_kE^$=M>CW)akd@0V0dv#_@*E>J3baVaMlbC}a@NZJq;{(NTXP zxS)5l5!b9Ig{p8#FlK|*M-lN3SDm``Fj_o`jcb*MI4jnb5yL)oVWVlRz_a?xb0bhp0hd~l$?sozs#n%p2pk211O8Q zArQo$iJ!5Y)xmV*_{P~BgLtR#s0vp_1e4r-k{?2C)ZUmOPysxf>SrfWc%jln`5`@F zC^8fJnjYK+YdCsnhTnl+ zF@Q+>0XG~+7M~XFY-EMZf!4s(2 zifx!-{5GtS9v_&2%dty4d#5UenziZ?PdD^BA~Ve$y7BR&!ypem5mI|l8P@+N3`iiC zCpaNrQMLK)Bgjtp%j|Y6hg2+Wa$}n%>Vt7>Je72>fqDsC=i)76SUe4`K8M9AS`!{# zw^uk}^7x1BjTiR!4zRB4DIL0>qc0D?_x1H>W%RE2xV9qx|U z{D05SH|0Ao2tPh-(dfDFLQZe7y(1~O`|q~_{koU)zxuv>_`#4?meL%BHzpS##c-r| zGoLOy3-W&Ei^BR@uFY$niW*}p%6dr zwmZ=T8Q+OHYBUPigA3AAtj6+?{17*uvfUAde!jT!Vqo*V`p*vumPSY4T%u;vcx=Xf zsh*s!_F7U!kO>ZDnLL3)9}7NtG*c*wcOV~|EKjiUxNat^-jj;S>8EyHkw#+m=6FjY zH&u_!U!y3*IhtXy{$~&OdW4ABjw_EYK)i_pfg%*=W7HKh3H99AtJ<4PuxxhYvNRF2 z(<^>We90ber&nq0_az~NLE{Udc6iU^lP)%7=`$m!R z0fgh(9jU{mjpI!}=JzNLh!_EGzn~|f%S&TI;i(yYY%;!<1yA+5DCN3?7hDsg)Mr4> zjqw4cFG8-cWz++#XnbiRZdTQ8RBewrOWWa(p-j=zxRTA%Tm*|eqBD{yJ|a6+QU8`d)pNiIv$5bSdsA)5RYEeS*OD5F;TDEz#SU%g4OO?q zXCKw=gT3dku0VgOHUEj-d%+mxE~CqI+ecHc{s4eOutEi!R^k+~Y^VoUtXx8cZ;L;G z*ki6)eH=pL76T?9!|1ZTl4mGaZ6Qyb^v7-oVA` z(aYv4<)0^OLNp<+w^33e9_qMGD-Gn>d1DW5LqN^I$ukGfzy2}{p5%*H9G`>p zw;Zi<-HZ5JTB}^&qhSAoYGVNue2y0-g~*^I=B8(?RgZYk$&SszaX&oQR{%tpnagP( zt7mWA=(66U_J+I;DOD6zaT{^gpf!Ruf}Y6VZpo1MI_o+I6{U~uVNsG$mgA+obQ7th z&B$t)F%2v-YDSF^;zLjk ztC4;#t}$z@%&hzn=W(8c0`2(Xj-jf1;I-uhqW~8ayfEk#i?vXn*YO8E8A&!1{4Fgp z8K3yhWIwGri_28=mH~%PP|@?rH5Q_Zx{A3GXO1rn^0$nj!cSB_A$-rf_i)A>e~icq zZ@egdM9)a-)f&(Qgl85yZ!deg;VLdz>o3Q8mLM~n_T@pp6Cn zD}dcYJfZ55>MUGQ4GwX9aaRVkKMwt}?HNC2WVRtKpN%`NG3!Z%w8Ujl%ZsR&Yj1Py z*1litooyvh`Cw{ihMWtas{dk6uh!@Jm_=$S*Np3Jqv&9b2i)T)x+XjE9tTar4P8Qo=J?> zzk@;ApWPcda{;Y)oOWDUKAX)tZ_LPZGh+YnTauhcg@1@};IPgQk-fF(7)}Rf$}Te( z4}#XTnghQ3v}lb7iLIu~Ce1hmqTW&88&BhJB3Be*;*M686AH{Uk==Z$ItFhR_~!ZM zT`uUI3?RH<@&Y4X$7BjDDU>LBx=U+7<}X$)#SAMRVsb2TRL?q)j_n#YlNV@ld9!_R zCjXpj58`!fqswNOUSsjDVvRXkeq-+-Y@ESyeR%iGkkvFRR-ddqkpQ^y{O9XxYXGJP z+*ixSAjh6r9oCej1$Rs|?@6S>qq$1?wZH|_7EH_BtaUq1m;Dm~Gl8Bp9T~;P64{jG z308D@t9BCkWx5i&H@M1}zQAP=L?;jwLmGM7={?eW3-0aEJRaje{h9I$0hD}jf5VMr ziI;ixL{Jg{^+fYE!^uh;B&sNp1RTkl`eN#ffI>F?OI> z*I`WWSl3bboBeFuaa`#I91lX)l8a1YqAJ1k6jz8MEfaj`D*^dW^+7hDPvqA~=(7IV zFF+j*Opxf;6RKJ&Y9-mF{l-jYa-h7Q4Vg**_Q9ag<3NSO9etjy9xt5{M<|6q;5gPa z3<&k+6*3v4k0bkg?Htb;7E){dcAaHjPukHT7?t(|CrimnlvK~!TJ?zqlgH=7Qu z9iF*kQc$fIWCTUesTQk7kI?9?gXxnFpzYzKPCn0;&C|L87&NA_9bpXDls246$_{VX z0P?KYPZn{=_Ozp&Mm+5c4A^WTL~Sl@_uB8ZXE5k|$FLh(`S05^V)kA&LxHtUB;5Iq zvvzP;x=9St?;J+}h_aT#iMT{rd@Bbyjq|hJ!lugt=zfZ79N@~{uIuJv99@5RUsLDI zY|(F4vw8Bk!`FFQA(*S{}tx(<>)KYkj|2u(nV1b$ftk1nYhIrcRbXjLmwgI`yfNU!y zz@qxsQutXHvOUz1A^VS!4;#oHSg?w3ffe;H(ng@bXhU(=L~R7Nq2Ez!+7>DgF#Jt7 zzz!rE!1_(s3k7H6y8X2BEG-YPVf3{c1z#(kr^mD9^0ZKqA$cv5P%k$gV&MN5I~C@E zP0>@cJ;*k93<5}hxKbWa*gsjT-@cr&TGcXbDOj!cUe%U)1TC+%m34n;ipF@h#yo8d zBjjkdSl-KZ)cwmu*3aj1*Ny;TXZDf{^Nqw>U+r=fnC(g?oM<~k7-;8dUw7BFpZOiL z+mp~=_nTXO=Q6rkbeY5K09@b$BJW}77UFM5IQ@F}vM(U3#U0D-UqZ!t>4X&4zwOU4 zn3*8&&-++WmaT3r)fkE#&+6-@D&-C{#|+>5s3jMW^5&`TI7m2S@5e5snhMKHSUl}B zEcnypY_7DiW%{S!Pr(6JAiex&ZMPA=4Fv|6GonfWWHc(i1zBI{krIrj-A_BFme%Tv z+B(ZhW(OR~vS5;1-Kp+~woZ=YSE<&6R_23DxXim83QGkh^5=WY&8J5%cC7z0tZB7eoGSsx5$|TJhH8v z0p2VR0N(DI$gs_UO%d8@-Gxvcdp`<*oOof#0E@xj{$T3%L>&<+t~HCG8r=y;UA*=k zt&Bo}17jJ3eTa&D=(UdImOcy!_OGK%?zPQD){V7@=5%jsn+uH$??<(~L4qcO1Q#;| zS4WBm_{V8^wz;hPVbd9$^^(uiK4B~fEb&e1vJqsJr5w3WyS;rbQ_ zYYDM-Tz4nV(H-bcYOD>cwP5V@)bVU%u+v&2FO@ZHybqqE_Dw$#WE{y4=N&BTHSJakU9Jc;9|v(|=U8?p#py0)jgBnJGy^51S741nsuZ_{is z5Hok6jA1jIj>b)@yvX+2!89!5>~L#Hs`UM0hm!5zy7kC5$QsX-4sb+m7aOyu4VdfZ zFhThI-~Ca{&eI~Np2DccY-6$ZOj{Jnxk%*p2SN7R2B3W^%mriL{Nt&fAtX^74pj+c z-Ot*x0dm~wvgj!TF4D$_eZ1(x*0Vg3@K&S}t^#m?Bf5>LUK)#f6AHg%B`Zi|;_b<{n-?JX z&oPLNG9#^?dAtDz1$AxvW#)Tb6Ka*X3LJjdD8@1Uh)&{*knJ*M&~@MC&hR(^!< zdn><~y=TqfHGR_RPPGfU%99jcVfcM&E`u(Utl$Mx51d@y+K?Pj|FWRQ%J>EZFwYAy6NQZ)57+XRSOJ0; zWTHDy51e%;p%Wtl`@)oKh2)ce?6ZGODO}J$o)YyEj^n+0xn_c;aTYTHH2Or_?9iRH zj;&#|)E3fRyH-jmotPUr^W@@_4E;BA>ifaVP434|Agu~xZ4G$!&@wm~H_<{QEFAgR z^rKZ_9rM`u!N*LCZ+)g0+1_6}j1-3AP#=C>1k`evB<-si$Y5-JV8Ly#IfO}r177rX zEWD$H)H3ywU@pYhPbqq*>v78S@b$GLN#R4>u~kri4%_hculhPGkkl@uXhaO4HRU?t`W5tGw4Z=Z?_k8U65{bKf>+fMX{uujh zbCoHW#d?d>8wR9Rkmq9}HyI2uNVJ1vP=7$U+0$t8RR)#stQ`(VHY8lED6-zisF6;d z2w=6>b2hXH|M8g38cTY6zQo&#m)dTdR&Ws~g-L{CtE4`dRwlqk3C42n(5!T<=<96t zNDAwlxUt&A3-Yr+gXibpq8A;khhr245GSK<`Iw4?<({)+4&GR6$%Ov#4}J6*!|}Fg zx)96f)&CEkzTv|aFfSM~a(k&SChb|``gJ#BX#9eobvcxgE7FF|z7G58jJxU}D9}g2 z2kUP0K}!xBuYR{sIhtF|GnqTyr#zu~}HTY%LDy}fZ(@YSOAdV&IXqA1I- z)rG!ZU6jmj<=4+;f|F`l{T~doPpXO`;!D@t$qHPAbBUs>ga%QVzI`qsfLj0LO&BsR znqT+Bf)uuJAaVF=r0AE~ef@_=Yk5J5XV#9vcwbz(rwHz~9P^`^!eOZBx)i+ui!uV$hIL^#^ z*McZv?R5qwvaVN~%igXju%QQ>cneXQ`v-!~zSh$6t^e?cpNAf_A8hvDGj-~vB`G=E^J5yZ4E_t83zh6CPX8qO9E8#w#8>=1$ zy#h(S(G`QBZf+LEupC?M3IaH+)=+>Izt&KUkmjTNf`R}-X(B5~doxE#qxuraDsf8G zkIU#N@BpXQGl;;2ow(zxLm&`Cu&=U{xB*Xk)kYNeE1*8wv;Xg}7Yk|$$M*%b+=7CD z*sF)Xrq?GHWHU4`hJhqD(~GX=|4m~R1mckHWfn?<)yt$u9w32gh^*jAgbVq_jgt7u zNmOA<-pO=MVw)+)wH0IhS0~zvQSgFU3kY6EFYRa_vOr&0`7CTMTu)+hMv$W%j-BS- z7nOge|Jdyg#ke01h1g|N^2ZG z9fYx@VYLxI zEM%%Fm4JX+9_4vbV$3a2O{w6986UCFVeh3E0a3l;nA!d&rgh_iWdcZq6+(^#LOaT^ zoM}K}CD2F6OD5z<$Fto4;&9j=SH+j9ZihJl!=~s?^?vPCrP%*(ZDdDWW#|ojCgr)Z zY?76z?x6N|vG5|uHWYL0Ijf38Ip6VI?N}-hNlJ{w^@ScFTryO78l>Ab?Wy?*6byx{ z0k0#OUi3U9lOrv&pZP-kLYz6$A`&l39^UgO4U$+I7yBHC-juPpV|s@kt?Yx^--uCv zHeak93JrpN46Ak6Qv!s$O4O@__T8isC=w;nJaPR$Dobp7$G3_oxSak^Y0(CZ1oQ@# z*0Ts|Ur991I|vP)QFJbn9|p4CSa9a3R>+OD-_H)goT&l5@v#|H_`pGJ3XsJZvUBn2 z9rr5A!$Obtv;U9Xzra*GqGJcyy#@knt~kSC^$!uK;IIo$Yki?o0_8mM0x3wZyhw)f zj@H;0w4U`ME0g5?=43_Epq2ee?@S-rV*qD#YU_W?_L?3eTkqepT}l+Cb9$1n>s7cj zwDO{mUNs?8U1Ve{)pB-BL447R+*U{;D?8==(3ygC5ZFxvcAr%y9lN$i>o%qe)|uXM z1@pRJ`9V6!Za)|T+=Q3`t-kLVu$%5iVm2r^GobD#t^7&L;hYhy#zpKcyBd>)a+EyU zcL&R{XNt<0$W6z{{N@TvSYn;ZI6OeC<1rF>&F`4TC~%vH$9#QSo&^}4U6y4a_yGpu zzy*iv38(NnJGv|@H^xPdxbtV(LJj$fK4WtGC|;x;)lrTG>L5bRsVHF=s6xZtk1m{E zW2-*~yCW)Jh=B@qwj(zsLhEJ^UAAz#ZX)?5kdmCi8N$neFqF_)I~l@#0h@g+z&85b z9d}G49DDAm&VWz-!FWe4M_3tsWZ{&WP1-e#RO$|X<60*t!u}{ z3UBFes2H$gl<4qVi356K<`$mYWzKlVfWE9SdR)!G{ckV37s0yvVrWaUC3IxoACZR6 z)X7_;PjVf5YAaiy!N#Q>L9xa_zwqg{r`xns7{*r~dx<+!pSJ$-)J~@AjMzuZ``yVq zeiau%C%I1xpBARufJ#i#!jmvFvbTQpCqmp&l+Gn90yvKAxIIo_a(>C9lSlWIM@sd? zZ`?XuAqLc(<@Z6ylG`(zl4Ki+yNo&pz?U9Yct<21@5ezAdA{ZSTP|%poD8q)C zh5nzultgE#o?wB`>}AzEFIWhEOq3)0yxf0jd@asTh0YvTy@Qr(SYma$`T@Q3!VaH3 zK6@_cGZMMj^cb31MD7J9qQrkkX37Xj73BPWO}#8uqC3^}xcRf5FyYFhUb!alnGI|@ z-!EY~mg59-oFq_P<7e1(d8rhJDZOPcECmWERxcdB;2# z>oqXBaEF8h#={IV8_@8?>^CdltW<9}t2B|sUupV0EdyzW(vG`e8`XRXJ#oktDGNaJ zhFd&c=6|p^h?d*IK5`Tru;H2*#W=X8R6*=iY;H1Qvl63$4Y@zgNVN_Nezxzbo=o8% zU&wMy9<328k-`uO=~R}+S&81}DT1&i#mz=jj`~~A1cnH)+FBil<>;e8KWm6Firbh; zn&)92Z$6KwHf3T%hKU@V&HXph*qNGWf8wkunUEcl!6)NyqoS{WsUv_PJ%v;A;gAe# zM#EqCD9Ry-HII+=t3QWeK8XcqOoYPl%Mc1CuHdB_E7<1Osnn}sRO4YoKo|8_FuLVc z{;3=@a$%w7ET|!Sa)uEZ4@h6%oDhYEYyMQ2#yd40-o}Ko^&>Rvz%&#e;(jk+iHdqd z)cV-Ee=&y_zy40#2kjGeK7Dh$!jj;>GAIB~qP=5prc+I`kJqpS3h1L=%1`A>%MMNb zH0{$gKXXR8Q3>uGGi8)0HjQdpI61=#7B>>7m}=h9JA1=p17ZWzE{wRVclE|n*i~Y9 zFYc&WtZ2pp`@jhf#Gk-6U)uDbOgD}ZWA8lm0Tg^%=8Y9qZ%-Xh=0_xC z>+@3BvYT0oi>T=7w%$3Q*Nd1GsShM1aSfE8hN=A!A!|9Nvy-B(Sal1*q)|1dfIhw6 zZHlxQJ)Zgs7JRz#0mhod=czLoN6K&~^EcetfY_`2M*^a)yt#1*jN!^^90V|+4_@5v+6thNgrJ#;b!)+s6YO)l4alx5P*o z(!#t{9fai+Vlb^`9L<62_zL<}ZgD;i61sQDim8a-=yrX20bQ0^)H{l5oMb5847w%+s&V@G~l zc9jpf|F_rI(f^^Eu1)RpB;%to$GSa=Gx&71Wy0L%)5kLnnSip2t@+3hUj92&>Al`)ZARANNT=-=k_Mi zWp?5|BWan=MdPbpqxcAR0QVlPM35=!{2J|HP^06L%skXoP;DkqK<5FY`rN67T~)iX zs@i* ztf3QU%+r@aqV7T2V5a`iMa5)_1MO@jj{#fwKz!n=( z6SVXLTQ+35Gx7Fadv_-Cy5Ii2K6SSxbjZGAj+vI)YqYW)I{FS^;cb1G$rfC!CARDW zOVs^&a0jGkJ%9Mv8OpkeHe(h`7f3t4oSrR`mUV{K20$x+Gm|IeuWmDDgP{Z%nAVj- zzdZ-$044pvW-~2!U@>f7r&+&DWZhG&F5vvCC3X)cBYxHUg+BTpp@YuSt)dzWkz*ZS zx0BwPCDaMDL%WAF257Ka%Yp1v8&)j5fI;gXcZ7RKv7Cn}w?C5coViG^m?-M^*>noJ zq6;@a8HU)AHQo!i!SpmBr++HdSi%x-GS}|HhU>m|A8ik69uP8)1Dvt}Sh5TTGcoA$ z2M7G!KbCrR4w|1Vz<6CGh3}-xl9n(9(BC$z#)JCCtv&5%6@WPP+F z;rhy;%ccoB7Q=0cH1;V61_E4J_pI&!HVaN}=q@n;8el9_nKP_*r^V?5$t>&wlvM5R zWwks(w<&g~YI3%Rw5*oyU$6bv?)1B)>fQzUZoB*Sn^lI;VfLb$NxJa06v4lBG znn4sC)_JX|hFPJ~sPh&(k}cNywL{NB_kyV}O9)|mc4#(NXV;yrWJ-$r?VT7{S*_(@ z6{yRk%W5}dxsmZ7nJ}LnK<4}~BHKSOwWV}l#;b2oucb~vCAZV5rU3DPfNXOZ}hlemh8Kr~6I7WjOrVk^j zyQ?P2(L0}sFw>&e+1qdZcd)5FjBJa>0q(oqiRs#ZyHB*ueN>yvWDeE2{eLj__2hRP z$+nZhP0-j}XqX!^oDNvYl%F_M(?DJf6c9n|ulj&&L8nG!<$yoHxZn(o7i?q(F5RcV z&Fq+gLDRrsAQ6>ka~Xf||LqTk@bs?!PFgvRmJc{Fu;7iGY=I78e>60H02lZx0>OW^ zV*op;rrMdcY(aM?R+Q|es|Al(qMg-!psj_0G$^nK5D@MU7_1*)_TZ=+skIgSfIZF} zY`S8g7s=z3U{5ghcDX!>-*z?%JBh~s407D?Vc$X)H$wCe#;H>7+!0ZyWk;rr0@tp~a=51%x_PjyC0U0D@gcL*}LCA9K z&REY=1nU~kJ8s7iRSYL{){Z0hr!HZNGxfta$G~tOFWj~dinINxi`9mL5D1USUd{e! zc(YrGpNHnAg3EYt^6=)vAcT;NK_N&lJHg|zY8%0i(PVKi(;8~7!Srq(!0ssAnWn(w zL%I8)%N_aM`l{_SqNqJ9qz}t&?*|6&cOzxPU(v_=L@zccWd9b!ae@(p{g(V>eU#fC zNH4l<+`IwHIRmehf`Fyza183Hl`O<~DT9%hUwm-`S$yoheFYAC?Kg_`6$(N&qoSC+ zc8Ri~J1B(fY1iI#SVI}hPKh$0s61v!z3H^6~BnLdX+3PpU{=i)5;`H(4mrz>jivgsCWaDD;BGcKN zguKsu;L^2|Iy*o7e0k=f^X1e>S0``0Z}I2SO|{#0?H?AkcVR=F;3z@BVc*SdPh@&tR-~)ZOKn-ag#qT@PKrqSg^4 zy_QcpZ}vFJS|q*q@bxf9igRJ2sbvf%*zFzuk|o~lP2|QHzH_B_rue**+%4TbTvTT( zFgP(Pi5((3cGWO1#ub^o6H^kSV^{5DtE|Yd9h^mu=&m2a3?6b>?;`?lIXLg`6=#^--pxSQt2T8lREpO*y%XN`*!?|b(*#mDCt?S|5O(-Y7^dB}Q+|@< zYbSc@PXRd`lT3p4s}D!8yHLci{9*N%Xka<@nqc78CR%=Q>Q84fY!ZjJY25BYV*1_u z-KNe?l1Vwgg)zZObbWVMu-T^bNW2^HIR$^$OmDo0<)@4uqzpf8erhV%-7K7gdsa2` zpXag~l(VC+yTU?RGyRI?1Mv zoWxm++3#l38(mO-iUmXX8nC=}2;?(OU?ycj10SG$h-T$-JQrJi!a{&4O!{Y|K$j% z=NRuUyPywP)=l~`!Gt891+W8x2-dsFcfX_ju1regR{jf#!mrJoP?9p~-7tpb*8bfN z_{ie$tc^F;3P69iL3E*)gtAp5$S^mI(cdvz>BbP1^>4f-rVYw!r5@8MiCg)6OuV}U z&rP22ZiZ6)Q}3PU-Nn04FeXvZ7x5TlNN)N~@&hfOKm8}0d_9^vGT*R4jCMz3I5gKK zrx!s#fy@B{5a=^Mz%3{6q-rWKwnFba+|RYdAz&hb_ZZ4k1>)ealM*uzg^R4JaDLcB|&r(PPu z_=Yz&{ciNA)prl3cr7Ugn;!SBlTlg}kj2R`n1Xqh{~}~xyr?6;Ol5GIZ2)JzN}%Px z4)~bJa<00k1_8GL=2woQ+!XG++0>EeY+fw;T>$un-@Ea56L(+n03qBQwR?b(>*v6s z4=|u)EZF_50_g>C9hV_b6SM}gWDDU4(Z+6HiZlM2b@^~`imyq@z7|;S+ySOv+P z@6LH>_?ogM%Z|@s_TL_%;uK3~Xq*i)5Ex2NtlR-{$1?k+l5t)CIU$bqE@^n=b21%RY-= z9KP(|lT{pJ#M|_*s*ix(JJ2_(EKvSs7qa46gac3f!<_MgG=e24WU+dN8n|FqPv1PN z7U;=xT;1yOo|*|%FDi`*$BsINs+Ok|XFB&>S8*d8{tv}6&4AsWM}sI~;Z^Za?p9~8ni7Rn4vL{<+i%hnDM?A-0wZy?g{*?h zm_ZMlmQF0m1F~C!q%Od3tiy^t(0ryx&j@;I<|uN@VmRPByl0xqGCW$GX~o!U-m^+B z<6g$oV>Te_$TeF5a}yK)Fl1yKt;gGx!w?kDjg0_;P5(YMgC_O0P16wE420^>$uq=Je)<>~0+e1em3@f< zE^HWWbz-bn7%*0N)th|nOHGGEgATHswS0>>KM+H}7&s~+2@w0+%PJgjRE zGgfSZqm{K&78r_E-_Z57!`B!}q5q!l)-%83C*x@KHWii#*sR@lfV>S^;j>Y4x4GNP4cNwUq&zRASN&KAg3z%*Gu%N?_i6&=;mA0g^N23qubLCJNun zA7G{-mDzzY6M4YoTo{&=!#Rgyu+8ZV!!KDp@&du?>4YeTZ|TExFCR{hRw4?zRm6dk z?GaU|LHR!V`lzQcip>rmV2f4HU_gFQo1_%i*vL4T2^{nj3#`4pRN#VW-Xe(6?l)en9+0XI1595Med%+J} zpq+_mOlVxTScz_qRzud|97x8h zg)YfSRO9%vM3z_qr*e`fXkOAgA17>o9B;#zY(-j=1%PhT_`uTbNUWHJ1uj?ogYy4! zV1$r}0WRD*ODoT-2t=U7~E_BDrk8 z?d`X9A+wJs8uRMU?YGr$pwxUrQ+TsCJ|5-{Q=@RP;t&@2eA+X%s42B9G5A?gY5?Q@ zFqqI``4%~PszAQci$DcIy;)|ruE&56c zPtoUGT^0N`q>pL&D{kYtirp97VO%lGx8N_KCYkY;UwbZCl0++U*5Lxq(s(GGa1%{1 zO}ZX)Wfv%%WGl%RRE8%&B7Sj@?s{HtT_zToF-(&{PtEWp#WNEgq5?&^$!*iy&Akl3 z%Rb9B>;~nJ_)nWb4jI;(|It(X0w~$uro)6V;bCkFXO~y}Jw}uXh2{Qv(8lkl$y|ns zv%&+hXc2j#{&)o~cP;mKki~ORuEJHrhKBq^wLMHX+;74PjfZDu43VOdOK~ZBlcv}Q zX9pe}0S`rIx2BR13pKZ#75hM3MmQ_cSbd$A3dK=`r|j?!Lk~PRm8TI=f(Ge?*$KnK;y!h8UEzXUfe*en1YEA zbckc1A$~B_&sKzXc_qNVVnF@c(K`|}_@}}f`tWley=1^R15W#~kcs9L$h5r1Q1)dm ztZoNrA0GsH#1#~n!L9R!+)*0I6{7gtOm6+NEb%P(-)u|Sgyj7-ZzmEak5J?cgm4WOh7|o)i>;`H^q6reXAZx^l#n@N4c*}^)r>hTqIY4Y3_mJ zZA~4m`H%X4jG?Nn6lXw=V_^bv1|}ez`rt=bFgRSUo&eY}{&*(A=)ZRs<1TZDD3U<` z58y{j|50BAR&a*t6Bu?gn3kW4fec%D;dW~a1Em=z{oAL(Pr0Z*H}a7i3-UqrcbGk` zSFclii*LEjfOJSg0D_`x!N$RarFRO|_~59HCtGC-FEB|ajQh}6f@*YQQg>yqw`@A( z7#E^Lt5WlLHIwQ}5?{ksY}G(w6dD@=|7?`TTLFcECXFUn9$5el z`zMWAv--wq1`C6AR?v9YJFW5Yx zsUt6#VndOQ;|=i3s#Kf08Bk@|i2azd_SwiXyDASd{$lfIuq8Mt1a$R*?yNpbO|)Ww zNdts)U~m8;)>#hLwHkZ)@z=CI2lBN8JvEdGgT@q^K;#~_VoJ}C%bMOZxn}x=gw-qH zT&g&lCGKWZqLZabNZ4+wr5xJW5L~WT{k;%EVEgYHyoSh~)acD}e9jklXE4C2dr6}= zLaNcyiz$>pcDC{vrCqa~D<^WVjmm^VCkayaaow(Hc&4egzI%InRP1j~FXF&y()K|S zTr(uwY??a>@ee2R(M2{GgEp03dt=U%1<9@ZR$j4_wfP|c0)_OXp24*fwO%wlc*z|9NzrUYy&CM#sLVN-FnR(P&CuQOxucN zZBQU&W@t^3-o-(=fd|dM_hl-S5iR*%ut?;3;|Di+JZ(fSsctm<+tBH~# zO65tR9;8i+GL@!g=6CLl-^(BP%>A5u?z!ijd++<6b3R$+ndO;c73qnJBoJXR74;s$ z3#eG4cow8=H1brL0!t}HXK??p;idRgne33SVW)(s-v<==p`e?j5$}w1H!oqip^KA1 z&p=OifY(Ti13XzIU{G{|a6{zaO8LTDK%lGir4qBonJFeisx|C;ciFEo{U3kK3Q{H- z=+}%@n1TzGqqXLO^_V9>`m{!Rp7BwT9&Ve<*8oEl+u+7zwg+n-4!;Fbm=J1{hCxyQ zH5CcgfLTNd`!68-zXhNuga4SHt%N}b3o1#8VoxH~Cy%da*GSLjUlGR$v(aHU&-ZNy z^8fDS6Tx)MOt=Yz?JC*{^bOHY2EqyPH*hnw4INH*l+p)1VbOkE_;uF~h_tsCgaTQJ z1)h};q5X{=i`|nFv_zkf7d&Y#as|5sd%V z+rsvMXnp9*7yR=-*SVO(f2G$qfM`90%i$+0e8YZAQ7GI)%n*9@7++;gM^h9UXX_#x-|hYc>P{?nzbxKJ zTq~kd?;aI9S1{eri1mdLJv^k>j6#UzN8+HISU`hGTShdvFNMU62L`D<5oBbLvk1%w z?tFH9VS;XLIoUk}==Rtwq61xtjc7Y?yb$MT3-)2AqL~8QCcd{s9(mCPC&b9-3rqbt z`#@W}$w$Rog{36Ladei9pNF#rVC5|gFYp|1_w9CoQ;C5gI|E#^P!19RG(<}X#>}1$ zO0wW*Z};2!T$VA?uuDrMQVlcF`Z68nj!s$(2`8p7H01Av&)Ha`2=4xlBk)7D<5&jr zo<9yd(OKkOz4VG?89@wp?Pv0%j7lp>H>=W4?8Tz zyy-jkRG>sG#_Y*Z)$~y{OT5ELMi4=p5J2&w{p52iHViD{x;nD($vVsZx2i-mdJ(6dh>~Po&aQ@)> z&xq_}+dW1L@hovtZxQLKAe?a6TrF^7+c#x%#p%7aS?#j>o#VZKv(>x2S*H~%zhMdm zr6ly5*cj(fsZAf?j;lg2&ZeG(+sfy60CO*h(xiLBtwwLmm#6O`wRa7T@PkZ&`)j<| z_Vc*nBfZAgLuL0+kJRj*U3zp>v2q$5NR3jxCB$Xys2<=x7z&QlO0C#U#&4VnhQvt< ze<_Nc{I9~8@ghhrwORkbLBbDGWP)cNpjU9)Zk+q`hAf7(tJwwfqv47dM2wXA;E0=e#-D}$V~ZkA;t-gS8B|Ye?z)&XrEj2 zW51y#pNwTUhwT*LGzPO!fv~AQxWX<|9wnf)3gUAyjQt)w(yg?~!Lp4PU*f<$+|LY- z=4#S%*W)o(I22n0Mn`v7aAWKaI392uZI|83jw)0r?CVS8+T9}I*S#Q-F)L;+&aua@ zzd$h(G1KuQ3m{&4lJNnPo_mFGJtAbvrYpt-v}<&=jNcS_vr%eaD7N?( zz+nqOZT*bt%n-|&Ef6sI#4sC(s&ofC{!2<1dh|g$j?j!qPq_+Ftp#pJVgNVk^G9(% zw>~b3w?Ra0?SkVWY1?Z7jmPe63*(W&E57$ z1ix&C*MKFQVx=6io{yyq2Ze~kVE$z*hmDX2u7-qQ$i3qR>8tx7 z2p4M95e%ssTn44pgoM_JlYbDT`2(w@7pIYdA<8ggPZ;eG|-eZToUm*f-0HLmy*LgV!vMaK}1S4b* zJeej0g7s)N+mes=Km@HKV%e6WVa12|>YFMz!43|Z46B1Oyl_qYrGS*7qZuw1g$JZO zQ|t=Fx}!6ji~QFARtAU~;`;LwrLHDM4!;q26;P@Wz>-R(JS(LV6NdPWj^GUtRQ}+g zrZLpc+WpZhF$I#%`^K+#K=kP}L^(iN&!4}t>|)Hk(S-fpGTcn7q&6FCBDb(5@gO9haJQU38018(iOLgG8O=O$`uoKq{UGnMBaiat+>oH? zKJW|T=|~RBGQY5$4ZrYV7Xjhafhay%xSb$>n*~|JmB@vs6`8jufxE4_$0-c~X8&&P zARmo^B$E4UBy_ui_9bOmF^;1Le=9^ZVs=QT5E7`4@OmyAAH%4#kq``^&dMC3(K9)P zrWG`>+{9Y%`LQte?5t0(8vv!UD}$EIpdmW(aYsknrJqZ9rA8 zX)JFi{Q0DaocOQ1B`#oOO@l`jzh;maC66IpF6}-Y=eWRe$_X4;!yuvzl_kVd$|>8W z7re2zJ|B1w(WRu4SU@&#T%YIhfvVRuxcEcLed7Tf&DYl#jq|0HPsk`AgHX|wXa%4Q zZ|K3wv+Wcp84m*K6r^_1dinu!WcK6uoGQo&&)o(Av(XTleZTRnTymsWM zns8qZW-Z#-Tkl_p`GoM{=%_Z>7xl|2v{8_YjK%RIBddr;qbf9Q_NAIb5KpkX|M(%g z4IW9q>IwmI?hv!Fu5DcfcPyxF7^>^AlF{Wqw+V0xh@exHE@@EMXt~Rku|k+Pc`DQ~ z0x?6>t9L-PbUoKhoP>0U_ksmq67(P*&Z;dJKqo1`M#_3kK6$R`W6ZX%$dRe+Yx_zv zt&6k_mO4mRh(7ab1Q`Fz8!1UeSkY(Vk-k!cNFAuMhJXUK!}@!a!0C+XmJ~wJ=6+-l zmsRwduB?c47^p3YkcNAAmH1;omL)T_vGwdc*Q_xJce;XNxY`0K>BFx(qY08H?W-G* z^z{1AZ3B(jHXrH@rjV&S?uPmF4 zB^YpE1S|~35AJXM7QqqQPxqst4pPYgyXqaprON#Xy;Z5@hw&>G_A4^m+#4X7t_>1Y zH+#i`!NuC|nYL%zz&E7D9|8veuS9e3k?A~MOdwb^5gG8V{L5-qgxSBr5KLKAH~#sH64^?^l5*`T}-3*C9(i3X9~l=KB>#_FM4lMZF(7tc01wwX_^2;s;l zAm(|@wuD82U~=!rXtQx&Q?tzlEb26bB&!c>VFy(PNF_*1Wxqh7sv!oDP*S@9Q}tti zw%vn8)651aC3J{`9D>ELA(~WOGTzj_GS+rrDH6z+>20Tw4jGe9&IWYH3y9hdgo0+m z%t+&&=0KHzjqJSmqwnRd2xpB`pqp0o>fj!Dlr$Cz!LAf$2yNgV+kPOU4bpBvlSb|JC@#eP9>@kRvZCd1&SOyK*~qJu zLp)C@+QYryt>v=}_Qjt`3$&p+&6r`^K~PU4JkhXZh*Dj0Gjjdg+t;=nlX+{%whH!n ztfncI0Ug5JlcHULC}@W%BHG2y+hK8^qyeR~8xy>DP*kuIh*8mt$6$Bt$9_xOqw+6E zUbD>?deBEbNWinKY&%n85b2Hrpk@RxpIkcRI-tv@ZdPWt*(UB}ll#Y}UxKp6>`wtl zGu}dlChdV1cFrdiBuqFG3|O=sy`S?59SHLNe!B~BKTm)OKVX1p-YtjyxsG-jq z5LBw(C0NC^+pLCyN}0lP!D}`S_2WfBXr^EX{+}PwNDqC0`LU-I#$XSS%6l&6lG78S zgm9r{4Dp$-db~*0P!r)4z#GQW*sKS~6I4K$q7B}9b3m9W5Ygu+)FBw-fM=8=a!UC9e ze|G%yUW^(Kg(k)eC2-(SMx4T_nuvo*a^H$rJyZI13G9SollRQ9fauaoVg;f>#;YZ{ zTHv1Ro-DQ#=1QIZg$83)kS$BaLgfMlqG9FCM8Sd=q@(WvXIYMzbtk0~0U#NkBNFZw z+vn$i;X&cy&555N%+^6<4e*+Fs>+4860%)^d!pDwsM+gV32N#9$kak4hcKBOcqAtL z1km^b2u$Up+$1P+LG^@yLw-1HvVvYIC;DC`Dc$+@ysGeyIy}7^1yQ4r!25oMWD^Ku zmhgtazn66ilo(b(Uka=M?liQt3c6uFY($4aBjjL7ff5;t$&ia6I)QeDI}Te89|l=$ zYWIyZnhD{zg*-s3PD5PmIWe7WFIpzhZ3rY-iqa@DAC@&@c&l{p)?*7bG2{RZOOLae z2!m~s@aCOoFCX89S$xMfGxlNuxLJ>Kw?qfnX5*px6s6RNpePgrpY`4Vg&jZt90a(i>2o^q;po4Rcktm`Gf`u}0dL#R6?Gs$^BdbAy za;1WIKK4t+6HS2Tus-+-$pVOcZLpPt4UKRs2tHImZ*qt77fA48b)hBc=`ZgJOyEm_ zyNge~JQ7-=B(uUOnlB3Q9I;p=rwK$?@d4I@ZNOk2#I+W%PAABTl!OP7kUAeiq$=!A z`6-GI;rz*$2MQ2Fd-QESG9U?-%8rFGF5T;rgH6cy0~CUH9FO|XfRKr zXICKMB)CFp3{~XvMm7u2ATD`9QZ6Cs2NlMEstORI%|kv}tV}q#Ui=8V3bEcK?8|F- zp{!dl+nS>F5MDbCkSpP982JUkJmEBv^jHlfXCsoE>}MQ=uy?+kS^Sv<1DunKwxSY4 zytW8Ql5-){6#V-k?fKWRbTKU)dpZkSJ{Wc$XpKYcY^kFG@*15F>y%(-?x|aJ&cUen z>~Z*E6BMTzLZOyBT=CW)K4`Fe496fOpRuz4gf`*up#p9r!XaJTCtTGo{Jz0GMfh_T zEtvIN=Yugv+;@>tJHrl}AAFyN*VqSP;Ri8Dig;c(r~p2yU7rivyP*3{cMTPv*;65rfY>!Qc;D&quMYpDwp1z&q}^z9h5N6$=eN7}2Mg|jSdM}m?V4e#@^WQTVqi#Maz16J_E=KpL;M`Bjpb~Xz@@D_dB^+Ebhf86R z7EMR!Nb;`AaBos=|L$<8J9p0%tNm42cb1x*Wmw(M2tQ@#q9i@Dc!ql+pwLBLM*FOs z*}bJ)Lz=>u4TRleI#?t3lWuC2rXEY#kNw1D8d>7Yc!CWEyrE%|I6l8SzTSDrS<-j- z3U9x^`rbcZZYw#z|8wU4;C$s3E3U3ddZ{>L{Ns??+l^@}cTUT`7dmHW{~dd^`K5}l zCd=pO|NZgx{d$^G>i4^*|3Y~=y-`@LjMSI~2mMko?;G?&qZO{1F=oj2dQ)zAL2M8T zm%3>I09h_nxyyV+VpKhaHz?@P3W2egs{aD4V!AZTb`NBx1;1C+g#38D{^N##lO2gM z!LP&0aWi3M{Pds|@hYQ-`i7gOdzIq8mgWphvkr>c8Qxq^fo71mxB;?@bBt(+b|jm+ zSC?4BtGHvxxb;{M9qKJ1e|@i3zq}P&_gWC-k=H{$HKX|+wtVxFcqO22BFzWB_xl*{ z%vS7bE)1#O4LbwK)4fsXUr(VjIuyxza6HC3Xhj(tf>%uX{-6Fn#QcR|8GUEKjB)}<3SaCHfC*+8 zV-80+9Qd!lqYpsmE(^4w*`akL6P^WJt zqHOy-IT)q2I{*!@c;}#_&JT?t1s`4mC(z!!9!y@Ec(^05fly14YLxH;{aAmye=)7hpbV%AL+TNE&T}qF2 zM1Q6ippz|>bohyab4&rmG6ro%CH)?p+-n8rg{C`3C=VT$Eq$oomY0CyRIu94eek6M z#X|`AlVetFWaqS#K_NdwS$nL{3)`-z7AmCmoyroQ7q)n_7K`jgb5*)28vFV>umT9- z>hO(sAGN)~It}FuELXcjSfkIUqX!_8l>y+O*{G-)A_&exgy0Ywo`{N*fI*@4$=Be> zA1PY`(6V9FGp1qJp9kwF;E+AILjMS>z zD%r3+9<-YSS%r57cW>r^0K~_o+0Ig;EK)(Uu|La0q&^z)nFUsWO~^F%{ei; zuuMqBDuV5)PKF+otZD|f%!&)vf{;llB zNZBQ)Wt>W|Qz9ww9Lj>-LUuy|gdza?A>a1Dip+J} zC_8iheu_4gb&-x0)O~G#*69sWi3Y$P<~OVZ&qPsxv}PDHBsRZXRRyKET=vWe!g3A} zq`ijGFa8IA$vqBL#Usaa2H;*FP8m|!GC)z=OyPVj zLPx5~ZR0c*qMi9c*Y4@1=)k&dbVzcBqsY3*Nz&0nb0OSFdSoRC2NmFy-1+o91*~O4 zq5p_J;6B$x5DY+v;$$&xOEG`QZl-LbHK?J=5{=OS`GAKQxXOKNgt2p6RZ`K9up!c6 zlq^Nd_$1^U#2Qutn({9{Tbk%E{GJ#JSo45g8 zN;^5)8uCMT5RE>Ct~5rKB2qL6$%U^7m<>FX^%eNJQV*e{N%UMwdNj($&Vl$WZ{Pef z%r1Xt-j>CWk49_%?&<_AStYu`o{u3RGu9r`Ya4C@aJLtUIsj5Ujp0oHD$58&ecSfg z8ANqd^?|x!YRURW1Vqh~O5h!cTD#=J+W^m4)!$_QL1bHglXb--ZF9?D6;A}j2w~+A za|Ni-lp>_9Py231(!&1@F){TGrIz4G>Z&)nQ$B*dg*mC|vqa{|}{#%xKC$OxtM5I4UkuyQ*Xy zoLrvQo^O*IrtoDC#9=8QjZh;)wmB>kd{Ceo)aX_t&e4nj)52zcx zX&2~U5jv-hsl#-yFUgK{YH~|LySDdBCJm4i=m@Ds35=6^IQ(=U4wlk^{>`R-ae@qC z*UE6n)l1NJgMyhs-K%~n*x-@8ym%$3gG~W1HLwn-Dz?3dG%gfTkO+g72aI9CjO0C) zy1ucEM5CL}q$SY+X+3~2ITPf==6Ix}?hafRyRuF{hWq0Fc~7@&0O(J-1a2k9ihwg> zQX^=^q%M@h<`u^4%gk#h)MP7+my;Pm5u~vn1~_W*CGbOhsSpnUWgR@SBMh0>70Mt1 zuDW~L$0L6L9F;w04C108yDcRZK<;$;;z{{|$5L1AJP?bfd?-}9IT_)+<`<{Vbp+{S(mO8fpBy)wf#pP$J~k5|BUR>J7r>gV z2Xs5>^fYvoS(GH-DF3~tx;0xk{P$nB>BCr!Obobds)e0I3Sp+y=Md!3dWJqCc zX>1`KEhjTa{uHXQt>Zldmj*8FP)F{0*R>(ErWbM3pdJqZP=a{^HH9y85h{e>f;Vsi z3EpZ9+gXi%xc$ZFRG#HRCDfVmPH@7dneCYuPp`-GI$7hVC$3(D+5 zzbOC|6Gb!*E$72cHC%pn&_J~X0QLt5A(|tr-)jRFX>@AK-D#NYr&Ayx!S6->URQ>nwS%t_G3SU`jO$sj#5v)}Hf!!jRiLMGxk&Y%n@yVOLEG2HE*OgNoIngwP4u7NG?j_Yw!gC2H+%UEj^rDlG6X+g`-W9 z@E+$M(C2>xy>C5-U6OkiKqo!EP|jeTu$65s@)qg~9DC5x0QWKtJSD`Zu5{}qJj~AH zEoM!_IgSu-B#*`pXnE}b+Rt!S-kFJxzH_3V12D^5j`F8vIMJ+%%!C;tGDO6zlwxL^ zdM=Q`v+>SIw=*JV$gm~&DvYWO5(KrNnd&BM{4j^|lwpY3i~c`6VEEhLRB7G?WT3k# z5RjQaz*nqb%?Mh-GKx2iHxrYNuL@;spjhP7UtIWsV(yvZt349K)qq-h8T=NL~o#K%k14V3QQ5 z*iMjlK_$^#n6Sl*v;jwyLjYVT9Ak3t%0nGX#*0wZG0aRf)B^!!k_C9;${rRS?BQhj ziSiR-McHl?z$W0F_e>_`NXX<~!q;Y0Jp|;$6sZK<_Su1ll31Pu80h1;S_ne*K90`` ziK+t}Yr5zsG;~Blk;p-)V=n8wc%x8PYQ(W}qSHvstmnxGqTr^255Q?eZ=gJNj}ZV; zD1BCRlO1;Iru8ZE(L>Xqny7SETcCVKN^k@!w~#<~`6_0kOzGM1Hk1o46i6`dUWunf zUSuE`LMm--`8Eo&91B^x-{HO<@96+sY`b8Ha`ezbyr)z;ofK*9(MDaQ*6(90b|T;3 zu3j1}mntxBWC609BE>&7!LQ}j_wExK%C`Oj9#U(GvdmQK5kSQPPYK&5i4&5`LAdxZ zLo(?f-im5*R~U6v()~bC=D$%V@DqHJcP~GuV--JJyh$qUOJWyf(nI#455SToP)lN{ zKmr?+380FOjd~(q5i?3k4N^PpsVx<2Z#-NdTCFD$}KU59UZ;`dCN!k=mNhZrn;JeF-}rTMW({1(9hkZ@L_SF1sxKBuqokOM*o7py;|%yk%i z{lN0;mE>`>6E5D%_$mUO(;t7He9jceLc}Bd1_iknX)=;o=pwXQM5_I3pOo(B=;45?58dSg}s%cOOFa@q3U;hfK$Q;J1X%23w!!yv7ty2qGqyPgL_LZ$fUzfsFIZ+Ku z!2`5nBm-{fQ2RHV{LALwAV7Ot?#kbU`h`|sAyp14sMZc70~n+)NgifYFV&-?tEI+- z`a@JC-ZZrM1}##8nxl4Z8o;9x;!zcJ*Ern(lxjHoi6$t(S@$XzI9`0s)lZS5eg%sU zcy(xc(91(AU*9HsIm)7%ob0baWaFDdCgGiMCs_Rg${}s5egO%zI%xKNp(1KPrzb3E zPQk9=B|Z;qNP&u^zQJJK$%Ul!C+COv!>EUoEgi4a{h}h3dYCwz2u7Cd`wZO>DM>k0+^>J=+6s*eu+hD5nd2fEH z5O#287%5DKnn}acK_0x9zvfmK+6UD9@`lZWbKC-D?CovJpDT9@Zcj z^-vD-9yq&-U(*S)J*ezAG>m^mmH~jQ2YpKU5pql3?CU;#sBAX8f=F+1aHHF8eR6cz zq572`PkK$}WM2-MU6+P!>S`c~KiL+d5w<4V0{EzpBvS;y;|G8!tskoUvH$tL#~Gya z5ADldaP?nb=|chU>h)wKouUtj43KKrFny&aiIr$zO8SVbJmp82Wv44mM~)YhZYCXPP@0>DElo9b;C1*F%>JO2iLoFlcz_)dfE~ zeqQ?dyWZxx`P{k7Ol;~?yQLnv^LRk>`ua72p7HvlP(xCg&0Lf%oMazAD_pU*Y9_|GzMf(-x)rcF^5?H? zB7RjHmydq1 zr+V~ttnQ#GG>=nEhU=T@AWS!sLNlGDgn1A-|HEAS&c@6hC6^UiyD^6pi9GQU|EvnHNMN#2~QJc4b%i*W>MmUNP$;lpR#c128~QynCgy-1$= ztPnf0NX|+ft7&30FBM8jQxIKeLa~Y!yi|*=VMU%_g)wU9IaA0FNr>+39Iq?p^%>o@ z_0RsCg_)F9)_%t{7LGj9YjPoBN1hnr=@B*GDdfXyekNF|6HM&RI+12-LmKZGX?XE0 zjC|OXFpFYBsTz$!PAFlv$Y;tN*AO!kNVtZY1)t%EO)SH#*u6!mPV!pBlgz0QVu@FR zn|!A^#JG>F#M0iIN@%#>6D34GP>G`@_xuE#SYX7cv85r-Ut{KsvsH{JQYP_B>*RZV zMs1N9+vOa)|y;k~w3ng0T|18LMX4%6W`LcRG>Dhhqt|=}QtcbG#B< zCsaF~QV&)j={*16$XT$Isc;$n4l<{6XHAqG_1SVZ(XNPw0Op`_+x#|`SyAWw%LXhk zd`|WH)g+S%!_I?1R+lil;+3EaWL*wNjJ)YQ_}c&vuLrTTt7;D`fmB!|6Zmlu#Gucp z86qJzT}kQ+Lzu@%dzCg@gWIa7i(@N-y1qTYwDI%{Y2zg7NICe2lqokNWh!7KptG#z z)m@p(m`VW3V$9}?HYkb+OM9Ywm_^{1$O@el%$$r(fTbNjMoNog?2!XzyNBmd3B@`$ zgTP7<6fJ`el))Ab8BOG}jV3BPDYdk8_umHIxfE1z!cOWmYEDs1CWw(2q$9g+@YEEk zGW&vQUICsht#{EfD;B=^91f&!{nY=Mtd6IrSQt|jI(pyVvc~f5Bn@BFPPpkem>Ms0OOG>~STJIZCj4xi4Za$FP}P2( z3j?gjOeUBky&yV6Mh#D@`}Gv1oCjy@XdD94f70u79vJ$Ozn|Sb6XxdMoqJ|lu$f|w ziCF~B(q~xTx8$iRB=4em;Bh*Pnr@Q3;EDxr<&bgb&tBKXZWmhr==@1an_4y^2g2|k z(X9!@c}vAg;6ksNLTTGh+jQF{%Z9CB7&n0`c_IYAwQ}>a%`1n=Nq<|76)w2+g_^X_ zYS-0YGq+ybVI9bvuz4x6Uhj8h$>G`G1~Tbu+&q_DwAe|s9WT-Dot^h-IW6@p{EzuT?khUu{eLpYLDv)$vFB zwEntxqkQo{7yB&!dVJmJTFj-@L31m&Q9QHlVpMYt^#`hZM9FS1d;F8jD|$jaJGKf; zJxd*g^Kwt=)AdV}og${(s%Pr)p8r}=?c`9NF}ySxKAKiLH$#=X<3;Cy_gKhYEJNGd zCv0S^MPS5U^9+NmsY|sYZ=>K5+X7GTzh5<1d+&VHY>?G<;zm4oA@@cuSE%CO?J&Bk zV4dRuP5*bkpimn!OXvmSD?&eeUas57kl_@XY5dpN0;bT6xQl)L3w zzfN6wV(XSH5q8fwV$37lH+XDTxNY#*|H7k!$8_s%ZyhVDlj|zr#wzaHWH)Zn)&Bb9 z)jGo$AG@Ca`{QOlUV(%_e;6aay5VlAM;+*=d^}@EGDWi#gCOFyw}{lnsr)8Yj*PQ zSQc+P8hBl@>`E$cRf5rB&5?gQC1yj5#rR>liF=*k?0Tt{9l`j{L!9e$064gdK^Shih~! zgMEra`SC9gp<`pT{!jc#gbiAMIR^h{v6=0uafY~tWv4ltC?_!zT}RHalcrXU9IOG3 z%vroC%E-J<Kt<9>U)My`L`ET}WOX*X4shMS9AFDp<&Xrj828VZZS&m;{aX+1C9pJj8 zOswL5xb*g^RzzB9o?gb4usDWj+%8~Aly+`>@0R+y%4D}!AAe@?*;(ry@2UOVWZ!x* z%Q7ooee`CJG4YQ}Z(!Z+f&}%^*dA6!NMP5Tt@~ATbGcLJCx-l7D}Q*Ntk31E`^P$t zZY@}Ee?aLcKXkux#$|5V>Ar*l_h-Kn3W_2U&QFDhJ6Z00y3N&d+##M8sd$gRW|!xm zDZ=1JZtqXMo%Lbb_nhn>9-r8rHK8iHtY=gcG|$o9e1MQB^to`|&leZCo#|!SO{!F0 z&VtbS9WT4zx}VNccZ>@A6=T7=CSF)sroYQGUQ3j5BPy>gsnzR7QC^I4c@SQb zIZ>#$g*m#X%O_$m;V)5^3+JI1*X86x7w)YWzZQm%1&>4u$L%DCt4o_coDO(371%R7 zzw~&Yd{!}hs9=yxDtQWtV$N^|6I zjB|YB$WAs>sDYUTdo{jgYy6n&$z*FN#3$RSayngV+-cO2%WUS9<-{B!CC(+7_Drqw zv2@2~Q^VC8PRkKyfh)wSsHF~S z$)|W!e@`8vc#IU)jKhMh+u1=@8leyg491ZuMh@QGdA0%5m{>DXU$gzlj~(dk0L*NE z@*FQYSXND^cMPVrA$cAUWxQ1~>u*PE}=X3Rz>%yy1Z4 zL^_728q++!oa^M1HHPV0p*imrup?7Wgqirt6pQU~_xP7{*R9Tz@l+nwBS|+yLSkxt zSkr$xDa08TQEMXakn2PsG@JeWh2QE~Gy-?0aI}m~BnGJstEZom_GkgSGWEIYsa8Ju z3zS2@P%wqL=J=XR-Wgcp7jn{fzty)$L{2ZofqfRyricHX9=E!MSiM zQ_FXa=UOfJyvsJ&2@JF5`m;SYuKrinCLBxKOE@Ysd#re;l0ww6BjH92>z4c*ul3)b_8;LDti#tdtE&f)pE`g;E> z9Q$DsG*cy|jW92EV;axzXWsN%9iYl4er_i67M)_dY&8^1>rK;~p_j}%itE^cR}tajzInG@94uV6bIDVv+FZ)~Q` zw)qsZ{duE)>g&mP!xIh0@_loQ$neDcI%g)xAV8IqcV^ppvc|$j9odunRFB4jxkV&s zV<>xT2ejF_Eda#Ae01~vUpwpydN6QGT`B}8%p}tH;sEsCyL&CvcvG1B zfnw5&Uvwe?>1BH9>q4NnXrOHw*{%YVZrYn|0e#ImJQGj9oj2hNn^vKW`5PK}LGcGn<8miVbgn0;FI(+3*G=$XF!2Gobh9*vZ_L-N3;rML6?o}PgdN$n0WdvNY7YiaDK!6USbSnPd5dQz>V04;a77H zTAb864F{Zy6jEAyW|58Nj=Ek!L1^H8o6E z!E_>umVe}d= z*=GTqvm9(&%G=HI%pSe|qxRD2T1PfHW*B)J{F}=8Q178bFk3_L z=u_l6m@RqB(3<~L;CTCboRs#!_4PUE@#*vHdU1vzQX3*{_ng;s;PlwL>sIhNu7)WF zLw~c+KJc`myESc+<^dNiKudCULLEJFvU?9uN7q7lZ|3V!M2f%KUIiLCL8HJXxH;Re z60v&qEYQA(`V4)wZ3$o!dT#VkscO5EJWkGjEdiT6nSE8JLk74*oc(KGn6Ju~+-n=a z1RokQ^ylP11P5UMQC~Kxm)SKxR?R&Kqd6J-yAepCJiAL5IQV=-rVI&+9F+@AQ%dmO zA`RJlQCQk%ugC`z}JukY<5 zIe0RkSQe!Zvj;fHxyUOZ-?iB}QhU(B*SPZLgMs|@w@k@&*vwI-HVtr`Wpdij*I?8( zBYe%yl^C$nvMG|>Jy8#toZ=r0Y zZO%mA!lY;;)J9R(MuoGMcXcPI&AS%avIG%-Yc6{|R)e>MMzV3XP(1#MYPwB_G3=6! zVL+bEJTPzIB*?W-O(vgRRLJv^iGKTU)8 z+H|!mF=(U;jgE~SfT6s7dR@7YSdXvt%EkN37*8JH5f%0zxp&cly!3Lh8m(Hlxk8jgkT#^pS!H#L;gfsmU*+VEAN zG(_`wcDuwF4bS~l(y%USMf0fkYD{22t8$gJ;e+tVoytkBzv?P|q$V}Ofm6`oA0=?t zzOcGfriCH}I5TC9<$~~rMY3%LCjbyL!$Q~B^p!Af+LW@ngAtMW6$i5Vlj5FIHP_p&*BxFt7eY?x`a6TLW{VLz$R=!=DD)m`BnZ?wS3 zy#s7cYv^)!Mb2uwSR0KMmH>4oOoL`BjrG!I$7IbSNb2_rGoSz#$l;3YdP~tbhn6gf)WnVm z0-#ypa*1@H*}ps0g%SMG$daqF;+D}B^H*Wi#vzJHIDe&(f;wGgmgz$Vsm;JcqK^r@ zP^Ww^88tVc#>%)&0TI2%;oE_1;!n(^tD4Co0~_NCX2~reTb2@syU9#M2U-umrrHI- zX#zf`VL$Gb=T3nxUG!yL@+c-tb^|3XN zFAr~SH<1n9oy~c8AsxQ*q{I+p=0-?VcevaZ3!OM1;PYB4C#xOVX#M9O%EbWU2$@Q^{5 zFn!h)XW9gUIcIYL!X;!uE=v%`-vB7Tr&m!ElDOXy=t$J&?A!U5lfz9 z#X8-eh2ES@V;BOl$$f;!gj;b0C{rfu*zq0(Ahr+K2u!`K1QTRzI%6T3O+-(FQMwcl zz>7bXnVhp=4X&WSywuBToYf51>0DnDqvj3f;h`K>kF={J>3E_&aNiBuWxOm}2Xthr zDb>y%cG~MG9(A@Em(lFArfFDI!#O>gWYWc39&LnL9p;AbC1XeWZ87zq5vgTJFB9aX zs#>fI%>q5fLSRBB)TOE#1{WB0r8NOCY&({s#tJXsB7nrw z{VE$NKuWyA%v%olvcN;c4#lo$IH%I=_9;Ol8+gRnsEis#dprIM4hxFc*t1MG8lXq7 zWV8L9Y|`bv@?SJW$$VLVW55;P^IsY~3iMji3ut&NgJCamEmlXvu}$?`2&bSi8=`88 zmAXX%7?s4zl&K6{n4}}Dh*V{@;r&sWo&-`%bXJ5Fflt_QXu5{ZeQ=0nMvS|5zL4RZ zeDp-&jNssz(7|&y=Y;!=$5i0#^IWOdshK0^F>6sq|7#eM^5ayg!*x;MY*=ute>Qrw z#cWnT1%{-;xckGTm@n~Jm}7P%tWW%V@wTox}9Mk zuMD030iDjQy$zi%@5Kj6(9A1Z0r8>v+aBn6$mj6l?O+c&gG*%ch$X2j^DG`C z7x39g#;zI+w0y~!8|uK=RO(P5TQ}shOPDc+29L?6+yLH$fg)#pm+CPN+{P;aw=;|B zps%yu$dq$Tov8Yv)#`-?V0`9ymOrSJ7^KEcj|Y1W+M}=NSO^OHNr|%|Zc*zC)Qp!X zYqpExG3yEw!Z$sie$kitWe8Qhd&s7>5H$;g1qe9@7fk(hL`FQAYS7(8*`sC3rrvr15$ia6e0U+qaXk>D)s%yE-T4(DlZIFk zn$2r%K|+i2lnJecq<(tHa#9{q>y~LzG{|;Xr#K2!dsh3I4?1g>z%>b%EXM4X}RpJHfME#WdjFrfAuc{Zx1~gYekuF}4Zh|8lF$BZ-U{ zs~>Xv>4?};*&`a^@ofO^i-9jsGY>Cd;svnvy(SdBwo}#y?(J-hXYi<1R@dVcrEHB* zfzYuyW%Qbn?6nAZtth=74SMjoR(|Lml0xTJqDt^j=TA2G<@k+{DaY3UqjBnt)e}aC zAC@TpY*Ejr`ZMrb3aV1=0Fs?wCqR|Jqyoz2O2 zm@tJQo;NzS{MsbyAw}L}mg~hSdl=EmluEOezE$#gsze<(nP$nF1&YyFD>FLQB0Qwm zw^pJD3fik8b1&{B#$CaV5lhr>8ACR%ubBGEc_Wsn-vOBzr+nd&t);{t1d=b33517n zHuR;s>oXjqbyr@PAvI317E#q0nC7m{xF=9MuO_ot@qT!y-Dydh5z%{Lmgr)>WNWWv zgV6AgwJX=YxZ$(M67U9a>duH|`->aXQ3 zA8lRhoB!x?U+-F;*XXRjy8T>J`joGibK&cjV)J+M?_AezTKi#b?Apn-UTbahgwy^i z$`{K2b-^#*@m;B(XwzR8{NriwZr*?kIn{UHua~Fv(XO|9j8?97UojfG*4<|``Y&FA zaN}QrIWfBLZ2d(x?}}E7z^E<|6k+&BIkF3ej@F6lB+`e zUB?;`CDLPBhEMvg8JEp3TmGF|kViL-H|q^$8m|<-$n!Oe*XZS?yJZP(L1zWci~NF{H=~aJ2~^j>;>t5N&U4$q4X{ zvF=^m_=?%#86(&GN8XT0JiRw|IXxr5H^#L06w`f)a6GRxz1>r2-RQz}_l>daUENre zD%R|6Sw1vFG{5&ClkX*r%5%369c)x>l$eQZ8&@?-yo4Qj{2B2a!Fbq_9mzY6&YF=u zV`j$e^gn9%7JH?-UhGe)G4dUw7Jsb~AMd9Y7pA&i?hh-DNV~k`{+S)LR-aSNGs#@%NNtrKY2$V@7F2zO^r|QcMRj1PMWk{s1YCOH?AGDn2acnN)su! z^3z4^ey_0aVeT^~>BYP>S7K~sabSkXwpEfQIy?PvV%(*;q_~T5XXB2VM%T%~ECwUw%P3I|btU6XiYBFkkDIUpzp5=xN`@>Edg=F%?K9YLIz0N|4$@yKO zBP$RL&rl!0Sw^@?jDCg_H26tUe>>3`K{6>QD%`Jvr?z0~O)cp>3TMM1PLCUbcgS%z z#LS&I%;s!6nQsX%1Y#!F_KW~tF%pr+TT*@|jyB;l;#ga6;eKH%ZbX+nBVuIHd85kC z#b1j2%d?ixay{F7!M-(2yu!k_V6V+N>+pajaV{A{mTq;OWtk`IZfO{<%wI9FS7)X7 zEQc|rmqS~pM!l)mh8&FjA6~dC@}L*S*{`IBPVKUBt=?rWCY??R@3Oh3ykP}*ijr@u zQI!6%@_qKk_s^z+ZRo`d@N(XSoKAg^(6o;CVk&ah=E^S)%D$nmrsW?j-tUkf`K80| z)7CHf-o~$f{ksCncR5YeWebQIy$VH^FFJRSuygcj8z5Vh(eN7YOHyOP-Kjd(bK76;X$Z;&}%PIedyh9fsZhv2V zENfGi#KE!U-Y@5u?m=H>6)f~__nG)!Rp>bUKb!G8zdWmL*3JnXT-?Q~Uwh`E@oML) z_n}#bEWgdpEOi{69-iR&&9fljX>-PnC+8E7tu6N$@$OYpx{vFU_3(0C`}2OMtg@8h zn^ql*4;z1Lx%(~7;%vm1R&SBEe+N0U#@B+SK5?3){(o&fc|4Tc`)8~pS&AE3BA2=) zQQ4BvRn$e>x5z$JBZe_?8N0b(is~wjC0W{p%38KzEYpZ6OUMjk8N18avm5-*4EOuF z_w)JvGw*rMdCqg5{XFl?dEZ%2VXF{!zNEJB4yyBi@pLtXgt`(ig$nBtm4_DfpMaNBq@?z9Lj+%Z*@FL@0wNx(*KJ zDqleyiNVKgs4Vjn;9d4$_n-$X<8|N-|DkvQH}XJOjygWhg?kySFMttz=2+?A{unW^ zW7%MKui`7OgAY`U?gjA;t|E3sSHj~~S8CNcB!$Hu_c$-n3X)ZU zWQT0)98K5JityReOBHc!p!iA>0XOJ5Q*i|RWseDz(wP<^yI~JiD-ytzl+7)s;pwT` zjd->fEF?^?kpwO(g`S9pXAKB!d8pK1LsVXFi+oz~jIB0kh3I=sh#Y0ru9`gGaEKI#rG-Pe-@7bic0m@;XNi(0y`e>D%0mW5pg6zTK7QUsjfS+iWhPlHo})S*EIU=;p2 znh6UQ_{F_Bk;xZ1{dtfMvsnb#@o+DEjVm<<9xLOUeFT*B|6r#Qko$>_!pOl;vB*60 z^&=GNXMYkz*fQeq#Ms{i1&zYJ>kMIKQ;bm3zr*&W=q@uKheor}vp)|OM~ChduQlY4 zM0)PGgDB5omgWa#;nSkjxbRG*l|;`uKdC->^(-+#g{NEjHC z!ltdMBgp6bgZ`L4Lrn=MBOR6GRDzyPi-qTkSNyhQN;TY3VM0op_Mz$^H_S;9(-zcX zBy(Sv*^(3$k7TN_Rr>xv-&_Me z^YOnH^<3H_2>0aI97eK+9gJLE@JQ(s`C8IE{UdaBMmJw<<2x}#T}i{q3H0^$F(1TC z4z1_Byha74-P320r>1eL=q};C)ZB_H;jK+&o2!WJY7(Jjpovvnn(b81e22FU6GcrX zU-H%n8q0AA)O4RO<)yHNPMCDZ1!Q!{(>j|b7ELgmxz*H9_-d9WvUh^9w-3lC@|F z((F@3U(8802%yHZM&@Ap=xCPpu^Owg%sm0>Ju(*~8ct>Q1Ur-mE--+&CsW65LePBT z)&zFJu}wx3VS7Hecv0VFD6ZTRk4)$~GNyeu+d)cWtt-T{fQHFVwhnCr8n;)THmo%) zfV`U{FX*H5bW4t!UePc<5e+|4mL6Whuii1H#J2{f^z@*MJ7h&bOva*Kxs&IF66Hqr z;yZNcH#wetZfoekf)>75--#?ly06G;Y7GuP>Ym=nqLaf49YT?3p>Y=IoekJjp#;Vz zA9#?!=;`RTvv!5XOZP4CU1UMAgcG`&OL5usF;RrA@1Lce>T+1FRLUpFtAP{Ed2KA7 zn)6Km9uQ4iDKG4Kp#`ltzu>=isrZsYQGmVCEPJKLa-b|E^EN_};lqRan&VX2CcR0+ z{8^_vJ%Xcw+q5^`Ig3!8$Fn+wC$$DZZCOxISC~6{Nk}gt=ZibE&u+V+W9*0rfUvTA9+`c*=9FGzmDZ zm5T9D&ET~~7WCaD(j;zjk7hE`DDFrem%-YBSR7WEzcsZh)w zLstq$K5{hlBYBTZz&FPY(8cyl_V};9$PXF)>2t1veiwi2c|V#E;T{b)(mRfofcc<+ zEOhpKu9z=JePhOyCF|72Nwh+AvV#IQ^tBdwsOOE!ym7w8Lek9Ry5vrMghmAiT)ttX z%X?Apx<5y*pcqE7L=9tJKyui(jlXmg#9RjTF9lfK@zo9l0kYA6~Mmt>T4 z?23KP^bkP|kQbuH*7l*C=@pmCnOTTo{Df@VY6Ijacg}>|*#I-E4D|Ss3~+tKzJLZp zQ7eM5RQ7F*M!3x+xHYB(rt4~UXMx#NSs@tJFm zg$-NJ??suV7Pqjz+jc_-M`b|~5c}vW*^NaGE+QJufBDdSp~rcp(yckFvwgByz?eWQ zXwcz++kD^H>@!Pp_c-sDCy{L|tqEUKu^8qXp#;p_rVi@o&2ryB zLRyq7TNqkKEt|C5JXBE?n;L9m(1uQC`;t2ZV`a-5Z8+Lg<5D(2m2P2pCj~MHC4U>x z9vYKl1m3^#J=Ar^x=r#$5kv?Vo`pS!H*H@RebXUPW`6DI^uQm&=ayM?7a z=Sl;g(8c6<%ryhL%fGS&MY9!j`4ZePbvzy@71d?S5|3GkZu}?qlXTI~ zd`RT!TgFAt31g$_vZ6_Gqr01^wf(+rqhnPiKAsKb83E}fNO6K{KZT8T2COl-9V^3T%& zC3_3Hlm8RYxR%~tpNs%jPY!4wbLo_FL;!mH0qr~aR}sL@0nH11L)a1^uXvogLlJJ(l3c>y`|sJ0rwWm_=VXvw5qpxrU+fKqLtG*tsa($@6E5oa+3!M?%!2tZxkJG>8b8Sl{~+3^ z3?QY$UTViSKzg+g8hp(3aBROY#4r?ft4ibeK>Lr+r?LUa@wc{V3AhO;6?C^v`;+>8 zTmgl`YN?SD0CqD+pnh{)f8Gs9!`IzMvQ_y(`}~aEPJqi_)^~TTTyh2|X8PMxCK0fNT z-q$1uU9i2Qb%4W(#VxgWF0*lOd(3zMHsi5y+EO3SP z$}Nu?vh0ZWR8@Gv6Yn>G&@K1sq#(eK&@x5J52?A99|gVVvE__!Ut5SY)j%ZZs_jj}`i60vB^vHUP+gr(3UR!Bs-B~_Ne^a1HNnC=XQYhj*6vipuM|dW#HwZ zlOQkYVVDfS-CP}e~F)rp1q697Q+xNE+`YAJ$XQZ!<(Xrb%%4^9v3j)LjlQ5z!OBlD%f z{fwQn_smWii-0ae(GpB&g84gB^f{>%A%L4YH)3I{{-~aKSTANf=vsHNmy2i>Z>l<7 zZ3RttyOlBAtYqtzh5+~)3ry0b?H!k`Y|J6sBv+4PmtfMu1$Gq_`5!t({IOyOv)n*> zVT0xk@0XGQ70Mat|00PXusFRjjd~*pf-P)X?8x`&c?v)=hoX{eYB~l1uzx1ew9m8@ z9)mFy1)C9G&%VDtn}d}Dd4^b<&g3j*Auv6onUz9!8_cphKJ{R5tOfxV)14;DEK{XF zq~#PO0K$cge}ENp@AdgX$Wal@NTE!1p|aK2TPj1YkL|j3;XlQ+=J`5gS|4(@Y%OG< z3y8A?+@+>lU9X+UZ9B9_(BACJQJZuAHp*5yqG0KU46PC4^UF>1wmR_RuR8o37wY^{r zey6ubvaT&Esru)0Q35V9RZyM-(8#*Ucm4LDa~|u9NR(gflsgME#dCSC4ePat880Jy zR0=Ji*d%COgT{W95z`0mb#Ve)fNSmWuLs~F1BV>E4ij^rM@+|)OVWvUYOTreN!3aDvq`UiPd}1OlGOYTmk-OC zx6z9k$a*ON44(dVhk=$6RUw%euPIxmz=~@9x)8A-xmx4)Fk3eb+S&Gz%Gs7#-3L#S zp+j-opVD5ysgvi+9c#Xyo&V)g8S4W8hEMOhAC8^mY`8XGe2-+*1r6Sn`vh5kJ)66tlBMtK(GP0z%*g=QjW2k;Jelbw&crZ6_W) zI`QP-+y4&g&*TVz1()V@Cx;qKSQwz2hvN%0D-Up-3xL%N!SgpWdNcu0_z4?e<1M;|yzR<+=FZU;+$U2Kd=tap~K&YMf&;{^r=u|Hn#dz5&G zW!a{aeR3j2s(;4d+KM^A4t!1C-VWN8A0)lX11baYY zYRp<+v@|~UCJYWqKsv^qDb-AVT?CES$X)bIJy+uZ=YsRPle zj%Hf-_u6{NKwlDjX#6lltxYpQ*($MS`gHwG&^y4zm_J>=)~MnmtPblH|Kw`3#>(d3 zIC)N=3k$8qVCLf5#wN4`U$X$g&`nI-=Df;@e_}e~eE|Uhy0}Evb2r2!4^-Iq I@8SXf2h`igKL7v# literal 2334 zcmYjR2~ZPh7XCYgGXw-Yq6idPcmt7!X2{YhcXbKSM#itkF8vxXU$C%$Hz(xwSk+>!ZW~7>7rl zhPZeWE<}fMCzICUO->tgS5&Pl^ZKl1U2c{s7XqrOEapn%*ZHXc5X8pdB|Nr0{`ET8 zOalaG&>VLtNN6IoU}Lt5jFH!M8%LBxc(s>fqXrV;4L{h74zB}!M%-yP5CqspACrx| zk~Zk}LfmBIM57>~1#ZY$xhn|hEtI>IHbHDOPDL0n*k123AWmmzFBAg_ zn^SERgo6YCM02gR&e4|oHF$|%hMDkkqH=47T@n@yq5u~fG&wD%AJ)1eAD2H(g>i$g zbl{^F7XkoYLO%?)E`lWE05srgA?2n^XrYM#*^Uo_^n0VZHkVMip>0YF!BA{5V)0S# z640{E9Z^Ag7sMG7=0ri!++e+DboL+;g=sbBPTTlHTx~jxi)!;%T3ot0I7ETXC@?Nj zNruf#IeYy9%%5IAAYqEGxDS~md|IENvYJNY>!492F)>>E z-C;aL6r=49<6oh*+rT!Cx#8Yc45Cq>7;Gz!zHI(r1@YU8_`TZ;Ax{_$5O1hYY!5hX z9F2+&08DuYvHJdn4%3G%Y);x+L`TXOpT3eR1c zt592!D8BH11CE0g)67*l^6Daml`E(w*~g*#h~bIj2}eKpcGl%_+zmJlJI*2YNyC!0 zIqGhhsyw^X_Zt~2b>ktlXuqsiUNO8+G2&4-wR$!`l4jpiSDM;b9dkDBB)F3{kV9~- zq^jdLmh{{W=@q1zv%Obi>Ut%%Cz3C25#h+J^kLA)R9`#@?i*a5bwNp4WexYqQdRd)F~9A*+pR!S){PptGi;>3 z!=aR-%A%UI#vQbJE6z)?LbtQJOp;qbAyd^*dN8#=u~&Wkbo=a3=ruWNzAW)fq~$0h zZeF$!5lDepf9%)0Fi3fvYS$)0K^V)Br98`5@j&3#)MCYWTw~g2$nV;@hJl9!H^_QD zlGM=S^gofCvy)1qM%2gsEhf5UvwL11Ve0k~T$M{5iyo}%nWN!tm&!I!?GHX}K44zO z{0uc5S?HFu3wKpl1|W^$$Ab@Dsfy%~!ndJltcUgfP>a7KzEA>SZBej<&%|7*cX4lm>y znO733I>$%cvI-+B5mBj%#lFLxw1&++Wzyy(Jt6GVR5Ea1%@8eQVjFKP#4roThhI$~6k$541^!>t zbGMF6>`^>yiaNnDo$dShPaa$0=QRHJ$L^^-_S!BRt(urfAEOlUCFGaHTlX8ehu{H2 zI{LcYOo3^&7xf8ee{g@Tb3x4Mk#1cr;Tiat-{dRXPHwotX%43PJ#q1@?{{tTH^_ZL z);nBDii>~CX*T?6{8SfDA-Q7vRfr~f->N?NbQ(X|t~y#&No_fMt$4Rmot$y}SY9x- zEcLf?hcf~WD_>Q0JFYK^U)d?gE=|iNj?cd}3~hX&;A9)g9@3O%=X%GB$Ny~t-@B7! z6UzvHKim3C1u{_%A9;PCw4TOPkeeBMXzL8RH5X>tx_x?vt$N_rdOhaeg~vOqL6pDw zhUBiC&Z7;VzlL=XI{OW+0Nwe93dOKEoMg?`?bA`4 z^Q7W%F+cE!AyJ;6QgY6zw_C@56!UgBoY&$1qDC{?NcKTF^5<*vGFuJu zleg#{cU^vu$Q=@qvC4ZL{)M%n7m(P6*e8*xq@@g`K;;kTzBkV#>ZNOX!dM*B*hkW; zGV$>U?^rfpB`EfSGhF9_;xn-2WH}