From 334bb6eace1571161e316478cc368e76389f0f9f Mon Sep 17 00:00:00 2001 From: Jlh18 Date: Sat, 30 Oct 2021 20:58:27 +0100 Subject: [PATCH] added 1fundamentalgroup quest 3 --- 1FundamentalGroup/Quest3Solutions.agda | 4 ++-- .../1FundamentalGroup/Quest3Solutions.agdai | Bin 6233 -> 35642 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/1FundamentalGroup/Quest3Solutions.agda b/1FundamentalGroup/Quest3Solutions.agda index 37c92cf..b999030 100644 --- a/1FundamentalGroup/Quest3Solutions.agda +++ b/1FundamentalGroup/Quest3Solutions.agda @@ -4,6 +4,6 @@ open import Cubical.Foundations.Prelude open import Cubical.HITs.S1 open import 1FundamentalGroup.Quest1Solutions -outOfS¹ : (B : S¹ → Type) → (b : B base) → b ≡ b → (x : S¹) → B x +outOfS¹ : (B : S¹ → Type) → (b : B base) → PathP (λ i → B (loop i)) b b → (x : S¹) → B x outOfS¹ B b p base = b -outOfS¹ B b p (loop i) = {!p i!} +outOfS¹ B b p (loop i) = p i diff --git a/_build/2.6.2/agda/1FundamentalGroup/Quest3Solutions.agdai b/_build/2.6.2/agda/1FundamentalGroup/Quest3Solutions.agdai index 6578bbb59d2efbecd73e525840760ff2869764f0..7f2ff9fd8b804ca126766059315ec52622ef3df1 100644 GIT binary patch literal 35642 zcmXV22|QHm`+v`w)fkMiXPX#X$k+onwAF<4lpQzKE&mXE_EmT{kH7{ z&qFUcw(xlsPeN}&`Fq-|C3Gms8+(x>Lo0~EWB+jLyd%=pX2OUhOqqB2=gZ>5|89Iopt;^a7IQc5VCx<4$AWkp`$BRZX zWJY4sMknDY7au)b#g@>gv`1}aXdl8yZShe)K01hxj>QhPS-=+pTegU%$@zMCxCeNe zzi5ZE#XGe=4EX?3Z^==9CsRc-)T;d=kfDbhaP_qayUKxc?*{vrOK9xO$y9-jjtrTGXY^g);g{BjcPG*l`*cO65l4HIOQNu%BY zQFQSaOPD`PdkFSe;yoo00F8EVn6f{N+1Tzw5ifL-JAF(W8N5$!;PXWvLPBQ%l*PXm zf^Cjcnd%w|=iP+!%2IhU^bx{!s3_Wl<*eX}?Ao>*t&iF167|V!PHq;^l5emV}JM&il`rLdGA5?<(rM;GZwV3*3ginoz z!8q1uQ2y|(hv?QY$vgOYok9?FH~XqVy@H!W5q`2ys7{ybMdrm5ek2{w;04|BMz>N> z{_kJMB^1ObTGsrP0hW`$8h&W}NKDFlXBPjha-4x18dbL|=v4`=zrlqa%kHG(JQcU- z+ebbvr9O#dRTjB~YQ~wIuf0d=2QqRIGnZvtBcKx;M8}aeA<|P4-bwULlpnO45H039 zuXNmrrU+YRIPLVjZ7#XG4>7Y)$X?Qqq-q$(7Ox)C(l;>aO92UCj!ok)6}_ho@6vWN zn~G__Pruv#Z|$8^fpsRzPl7)S&!Y7T&t&Y5lWb8CwR=I+d0M&$pKB?rIlHm5e8N!w z`xCVE2l}?@C4U(sGWd=gZC5M(gO&ym`M)oAS4iJ)KGzoBcNehvYvCn-(SG*Uv&4EP z{hrZDH&!kZN)}Jb^bvI!Vw<)JVJDmF7RO%-nr_bE8AzWKw>DBuo9SXC-GZjsM5eR0 zP8LeqBJ>G<^F-hMRuNAUw|dHU&sd9mjV1eXy92ymq%{t57^5=HeT&XACVsd5^MIAU zJnO;NU(YY=W5-HBv5YW}d4Bt_LZf9!I1Yfp?_}vVr!&W;1 zkJ~ppoT;i&g0-Z~9(7EmIPXh9ly@I%ZlG(sf8_h}OEvh`UJs<;a!4X4ijf z(}^dy9x`xVIeG&9Dv8$jF|@vqtk?MYr4z=PcGr-gTTJbq)zM6k&LnFR$7b>{L|;lR zD9)i>#Xrz?X40K#bQHt*vq=B20F1D}PuX+bB(1Jdi17e`4t?ABU{I@V${JcV@r zj#X{bD>lPSNj@>{yxjykfhXvW0FpO>QmzT~b0ns@*|(yQ3WoEg!pUYH;+V3fu)SRb zn3w4`J9LDv9VesJq;vPC@eFPt(W&Tv-8_pcW4w#9^R8s;^3%gr>DHCcVLq;~&{ zJjCvz5~mWU)-tmszVrB*3rTLKm#k{n_i?f{wwV^Psy#QXl=L%16TT%kjExrCpwSnQ zapvSq2a%7ZpnEy?48%n>6HQwU-s+#dx$jUu@~i5*(&74^>)h?vok2@m89RR4?Txl| zT<(~@*8ZA>eGxJ3r{?vc%cl%6#QO6N9?e8XkG^N{Xt?sq_XFG7R{L*olCQO@xlJb6Ih&mR~ zc2}gi1ha&(_4`;%mjL=_pRWEXFFw~i4KmAgsqaqG@RqW5-InVF1)W7hhMVj0|Tld(%d$okV-{wFTA zJ8HK(8B)iDsBW_G5FfFR7r}N564c4o@rd|{!!T62JH)i1ozL{SAJBT);o?6as;k&% zE?P-C>YIO}nhw);@lG!hzqz$(RfkviEbP&@G2cu@9lG>wuS+b+)sjsdNn3cGZZcKJ z!9ZQ{4E{h;O<#yWhQC8brg41mA-tSBg1^Lazv@ElT82yFV@oZKOoBM#Z^}7`grmljXALceX zrgTMf6k_d1#@`$c5bI?Nw?2nHPrfg~+m$r_HtA0`_nRIj=D38goM|7NzLdSh$Tu-M zzF=o~fpF#CQxXVL6Wv zourU{-}62Hdwv(L9ph)}A%?4DN`y2MZT*qy+-Fi+U5=HP^@>;sSdd)H7N4DMxHV2x@Bl4BD!`|)D7a`Tq@DPAHlIoZy# ziZ4+Gt8USf5~lHiW1z>U8K)U?hWzr#ysdd)(vPn-`GnZvNBda`CKH0LFvwv!bTO(p zV%jPZ=DkQqCZ8amKvX^;!K4kt ze9o!pQ*%zuS(=2S?b;iwK)R~e9>ITuZ&uXoQ*+*uc}`@=VGf{~7AT`PGGuZmDb@x5 zJ%>t=-__V^qjlqbd91ui7EM8T+jmyB(yaQ1L{TWW$f5U93Up5<@(Ca*LAZJJY|gD z?Dv};=%Wk6ZgK@(DUeX|cf^#gZ>ludaChJ#GAo_gw5Q|8E(e;lLe5<&&5(<$0{W&i z*2}E7-@M3_sP3P(M3sMIKE|MJs{8U4r&pYg!KGKeZ_WjB>ver4y-^R!nx)(lPyWJP zW||QSxoIjnGT3M+kbI1sUHvPn$*?EoJh9r*oOiC}L~B6Q)xJ;;pfk$uqEgo2J}3 zfQ{PTJ^<^Kt_7-kaKlovxVS$?A?;t6BVn;vOJB^aNV>ZPD zn}%h9q1na#xWGg3hjqZu{xMoV2hC*ihqL2>PejO|H@5i`Mf5VL*)MS}ogGG*_9Rr{ zs8a7l7nwX|_Dl9wD9__VvpF8e>t;NME!%8_q#p@(tn9;WElEEzc3dx0^SBjkF4zJ@ zZAso5XPI0p${L&ZJCUFA!>@Jb9G2Tf`8{E-9Nu=_^VfTix&+N*9 z?aD}m2K8~+vqsQ_L>xFBMCR=zDuR7VTsvaz7>%JjP!$mCkIqo%xOtmvw- zK)sqSMoJsDvn-J9tp0$Vyklz@V-JdVv0(l#9qQ4%$9>GLHDsmUcw{<6o_gUbdU>*LbC`+w>mLF}rhcw(_rFQSiXqT)DQH_p~{CJ?FGo?xl= z5!2$LenQqh-R!jiK&0Il99ok|N%gU1CFIt0KDerh1y?tx8*7}^sUt!1w}BvOnA#wv z+sTqcA4QVP7!=}!Yc@+E_O1sS|BNM_)vlUv zv~nRm93?n}ehewrLpd+LWYu3dFyXP+j;?!is>fazmtS_(`Rk|mGylvu@z=e1|NLLU zrI`~?IL}V!{rM$iam?X$i_a`}zx^@SCM@wl4d1-_SaN7f@$sAFgx`o6D`nPto%>rB z7V2CiY1vJlwAy~z1vYab;;P|_5t3Om!bBf+!qlk^8z~}d)Alwa!a1Sjeqq2x`049q zW8oYdX~TF8Qz5%qobIZLRTu7Gq#u^Z(1@wV@;-J%feB)2cG1VJXZl+RHjEY}r?8Dl zI-MsXRuD6?bT8USs0w=3BgE>kyg1H_5NlRdUt#3+=~Ke{)fpsPbFMmi*{PNn`4)fE z;?=U7mP*ePhuIB0l-FlNwM3pctk1o{6;yvAcm(CokWyLWMaz~7;gW|{mComAri^BI zIpys5gFb%qNV=CO`7J7qJ(-O>l9xX6YVm3bEWl>Hln+?zBbL2g6mk}cl5I)xDtpZ) z>ea8bESo9eA~lO*^@*Wd?RPiePJ!s&$u{ zwFK@Ou^Y$$Yy)>{v0cCnQ|DLjBsTAZ-)B;zQF1&IDmq|DI?lbMK?#bA7&y_?xE9q`S{-riO)i9Wty z)UV{`G}(94J9RR^P{$EACc#+V${{9KeT10d`gn*muMTQCe{4bMz}TPmGfLa20ZUm@ z_<+BomJS9K9DB~?TCuq5AWYpsT`5(oCt5b__=Lf08)h|p<5I+cyV2XEXsTss=0Fgo z9O3}HV0Ku!`sDKn)`(RHFgi)g+aKuT&m+>P1cpdH3xUOXgfKadDE(Og^M9Wakm?4G z=6DO=ChCb!Usj!@W!m|#(l=L)T0ZIW&+7j&tcJNh;&j@6!C1uYGNq5ti;g2mcLp~*XRtAzdUC7QrMzKjH-1ZyFL_YZVWP0r(d`Wi3^DWn%MDi>GlBxUvNJWD^m<6sUsni#GeIxG)S-R1&*OihyWMi8g5BXBb_UP@=4}ayaqlA|7w}jtG)xX*-Rq3J` z){!>_f(<4jxfug!f0HSNi{vw`XJ9=4UbMjqjQ-sCS85vsZnla|N!+ocH?2INZw{4& zO74&7YA+Aw?l(&7=uM$iWvDs>a5C~X>R~un5ISufsp=wz^D-lS8g5h)V~ji z@_r<+MVR_)c@k_!9$GQ!nu;xsO#LPyRe7o`iOsDLAR}z?AXwyvbHJW>S0ya8i{ZN6#X{Nn7lw>IbnDl_)cSUsZVPpJfGZ;H+rk(m>P8b}RLQiX- z+Pi6?T?=-h_(GQ*Crv{c@4@g_u6o5p13s*9`7C1*YU z5IW$W%KtV&t(#n5`DFGkXiI*nPHD*@lU3VKm&~zch|ix4)K6}>)o@21h5T0EKGZKp zqEw?^7mEDA3+tM|q!Qo;j%MZiVq~m*aOZ7u{Uocy#P3a`O5L4c&Ez%D9^ZI5bCE4oU6H3S z^7{2fr+3OfLT1kDvQ&A?XKD+RU)OjDQNN8NqGfdkVQ|C%>=D6(0w_yep|tqCBispb zpWAO#!530t+5ixT`+<8 zQd)y%4E~IqMLEUifIjVGR^}67UEZn`7)@WQnx^_lY`MPe=je4^1|#Ou#zBTJ*sg;_ zu&AB!JFE}L3k+tj6PAo1hOo*+bh=)MSPe6)d`SsqmH+!AV#eU%evSy%sWTQ#ead*01lGH4=vYF)-D-QAUVTg2W!XKrrW_;Frb#TK`Y9_yT~I z9JKV8s#)j7019mTUu*nRzI6JG~jfNY6vX7V}*%=hs#}W@lGAUwJ@lA+@`el{b6QZ=v zZ14dsd&z=e^xP!2)H!7v^xO1I)9P(;P7KUA#~TyxB}dv5(3!zGd$KNkLF9s2&#A$E zb$jcqvt#<}=s#2! zJ%a?A0n@jH1_`Z?C_IRepl5(6{c1lr1T5D~gqy^J2se$k+^~K|rvX!(YNVM+9Sh=i z8nDGmTN3iBXG_6$hF>aUu&!r2sckuJ`P@U?Fj*XA~=} zf5JZxN#@|6cz`2}u>QZ0dCyX%!7Qucp0KgXUW#e+Wm z?@(}%jkL$1pO>I4Ibk~`Xxq?6EeXPc2w>`w0_>&}QJTXa)T0&6v;uDRb~-TzXCYwM z;O{j1>d!u0DK+09tUnGAC!W5rjGuydZGC8y-a%A4iOGL-zP8>(a#}*gUs+`GU?;>wrER^{$ND^fgXcL z4;!H|w;Q}eN9G0%+V4jwFNYBQv$VyX$&4f>%5wQQw7FJN>ZyUWCrYRb%~NEeJEZhs z|BGfk*!4Jw!R=p4%!of4&ou9edK45q%p6P{0czL^@^5%DCQL2?zg4;u%t#hk)zMnD z0IR^G3tFpwTif(tjdm*3sJ0T#81@^qgp-W0%U95rp-KHQo$-~qmLpNE$BlXYP8@)J zWa*Ge{}Ngehk}O#L1TMtkx)JWd#7NkRQL-YV$jzuZO`nakH-fOdx|=PKwb)mq7|~? zf*jw$wfzsZYGyb17Se6d3}Y}flWK84HOv!i7%S?G!HcwdSc1F*Qj_1tQ7vy9NExBb z)pJhRZYwyr$V5h4yE%E?Sx&X&P8l92>a1tr0kRabhn=m;3zfqJxIOJzMcb~ngE`|w zo4;F#{%JMBP`+>Y8(PP7tA@Xwsg@Mku#TW7hyg?%)=f|jhaG7-)l;9i%@=M6mQrdVWN$7`KmYTBxMKvb?eo;c6@02? zxDj!uqtd#DFqpXQU{KGn$0#h5Io5EiFnW69)*O43=LygoBpFd~dp+SSUh#SoVreur z{)sk5oA?*?^(2boDAAKeCL)W2o?aYgk}lP<&peJ~Cq>^K1)CoZ{h;67abWcBy#2}) zCgoAX7ANVw-b=&1`de*mNV~f=G;$w3XT}i30+B(S9D|Z#v-_AuZCFXE2#BbhvjPfJAtt6Jn(S zL!9J|W1n+S5F_TQ2%1#oRq#G>1RIn^ryH)79{E~Pm@@2 zu+R1GFT|}4`q=1OlKuKX(Wwa)4>s6n3-IE}wo1<>HxLwHkA(p1V+(hZ8OdS3cEG_Z zM&ehasPPNKfdp;qXWkeERv$n8>ko{oUeP`x@AF!W>V5i_&yG~_>#)0HNAmP_GEm@i zxOVoy!qD*x^|&|81VybRk5Krqr4&HYXb9=$RZBXJ1~p9Ai@d!T=JYU@V7|r`&J*sl z+IKFtvA?>9UQwt|p^Avd}kcfNNl4$nXn>t?fDUkAb!3QyaZA_7Y`eApqGJfXe z<~z_V%saB>P8CaJk&<-7T2PdM^J;@rg2#({K6_Hfyk4N~-FAOo4W6cs0{u(4!I2h4 zTbyE$OHtnEKpd*2NZ4tHN>d%7`n(E^aySnL$EAn#xOaWAuYt(C=ofQK z3rh>z2E0DoS+tITP-SASejZJY_Zt6z!-PjMJ{w}IW=L4z52TunLv`Ic)emag^?)^g zj`ZS9hd%329)UVx{leGL^sTSvuS4$U7e)P-084TFmulm0M~!z|JRkZ8NUOIXD+!wj zDK*(rTI7yZV09|*K`^-b>oOnC3e@~{{OhrF!X^_?>btFI%V&qX4n;G~;~Pg@O+f%_ zN+O2!3TnQ(_46v~l`G{@r;A~oLy@1SP~+=Du?qY_x=qI)HdoExfmP!5TFN5_8Xn>6 zQ1CVI_4vC>iZB7b=H|U(eyTaW8g=$-h69&=%-*nJ@y6CqO`i(pw8m~Lw>wdOaPH5O zmPZ<$2rk=kG%P&4Io9~JVANLm+@|+0c1lA|O6%$_ixVSqC&})V4~^nOaT*>gdNf=y z^dt4EmX_7qNDWbsHxde9MLsyIfh*noL&j|jF2$agZTJB0Q`+qd6^DSL5 z^i#j(KPkuSO(5k9%^$yHcY2(tw`M?X8fJ&}c(=SHxSI?FJsHG!k{d zLlMKD^I1SjHy@6%v$-8kPt7$Lya~e_NIM;ShRL3u;p6oOhgSCw;G8e;9Awb?(fu4x zT%AUP4+n=9QLm;_${?}{+L%y6r{E7%I2454{dGmVGgHLad1ULcDjv*i-_S4=#~|wH zK?&N}-}sO1vD_jdW@y9yQe=IyoP{x1OdZWFY9Yv%9OelGuFfF}duApwo2VC-un@3l zx}d1(M1_~EmSj>AQ$qNB>m^clieEl`S-HuGgG(H!?Ji3^*@%+NV~fL&oh7-4nB05+ zM;9U4S#}s5gM>@;u)#W>zX%MrF5>jiQ~wuYLF8RB1uUIcFgD)%x%>~8Gtp0O0ekH3 zmZuTm-3fDOw*O}!b%y;MW+a=rgh5S55-+A$LC{nG+;2{dm%N~%f#;WhS>*1@7T`3bD8mN!Vr$*z^RO zKVzE)cj_SKT{>-MX9(evxO?feY_c`PrhF;dc+ac+oO9gl8q9L=(;A~_jYD(ENHn|V z=wu^-kBOjsDGqt}N{YPh#1Ovm#i2QMftp{07Qgz(Qec*pMjd@0{->Ux{H+#Gf7z+Y z`!4A&F}wHg2%>LT5b}FAc>bBAMYGc@;gYcr{M?Lz?FuQfC5fJTKwuAF?7{1U=7cG7 zc4sV3*s`uLZ8l-i_G)tCf{E188;81ilw_e!*m|RTb#z7doO^-g+0GYkgY%A0?7bW+ zre{tP?dCvi6x-e!Stb(F&3f*RUJc#!)J*F)y|nBGf#*Gl0^VFMzv-Mc`vn%wshN6j zX3?_uj97Fp4k;IfXHH<>iz5W(R{$>edqcG1A2^c%$yA;}3Z-@Yu<{Hedy4&JaI(#G zG`{M?zRw;!(d-v9Gi^oA90ZK&&Y_|*4c;s$&zK!Z;}MEnY?1 zL2R}~dEJIMT!FkW>N;2IY->NA=AX?ldt{F+Vm}5R4P}Y%IXNF;GT#U==L1=tF1Dwv zB7FCEFT>4AV#GH-q<;7RFzq+#OPx8<`YdJ+mwV3)SrF7WI}z~@WP?>?5tzHqun7fc zd%kV38cPb_+%LCB!M;Ka#|5ClKIiST^^a{DN&VGeo#iu02 zti??9#*${b-e5_c8w~-2y$hyH)+L%0mn=TJx*CL)zjk@aX1?*Kr+QZ&LY*!zk8UdK zo^>zdKN@6V8Wdt0dEAq|HVZvZ9%6w|9omJVJ%WU9Cf@U<6(ul)g~%Q` z2XVv+f32gZ`j$W{R5kBvuz_6gx>nZ4*og|eb?>og*?cbM(=@tbZQz^v_pX)4<3<7! z>;g`P_#{ZMH{M`i-&#-6rzA?^Mqm^`@=c2&ML%NwJ6I=$`!Y?6lNZE&4Lo}4wY=^u zN-~77U0WjH&DwiQ%I`bJ{Ac$Fwi~3i>khvyS_{`zOhwMESgg8ZD6-ptC|qleQ8*K2 z)HoVhv~`VbNR2g=I(ti20~Z`I7gn=-%HO%P&N+YLS>6c4qOodi!zlQQX2WhC7b@>P z4OXr1dVp;!L_HFx#-%%jhe2dq{kOI0+$V%@K9<)K!QVI-++k)DFH-O?IhcI|dLcuqzAi-3yE-~$6ikF9C%GNkuw1%>> zASaVKSktbtU4=ieZaI za1}u11meQ3d3L~O6ohH7ySVr+glWO9>wY5n3Y@Xm9c8D^hcC##&P&r7VO23iNp;x+ zr0}|zXm(8Hc?P%r4hGYWB^JHZ2~+hJLgb%53q4eb7AG8RESzwWE0tSHyqU~2dmJHe zc8|(wPV2Grp$oQYCw=-L@`DRjiGXGA3>dxSx`pV|I!bbc4~4HQ8tF8FGW4Ft>bmNS z_(2F{t7dHBFIAI8vl~_8h~VcuJo$4(K<_fuIC-4p%1Ciht%5?J(qK>f*HcGV2WPWI z1!HkaJtw5}cOTL03_FmOm09Cc^#RRQ4;>%evZIcEh{!e-$>GBJb)7UbDk|GCEwrmx z^)^Av{VwRtPO28*LU7#@3>*(M5Wurgs<&9M`$-7WJYv^xuQm4?m9UwbZ_w#l4wD>Md+(#F9rUe1@dv{@7 z$%eA^INROGfAE zkFpO@&yVyk98uS7TOig(gd2gE24Skf)3%7|2Em(xX^>+MIhBnHHwrKce^xZW4S)9D zo8@gb0ixMK;Q{6XRSB+!{i#&cAh(z5+N_HD4_qelu>;MOWbu@^%w;Q;9f&zi#B$-sLJF{vvajIx9IdzoDEC0*$_%k4JhnS zqF%+o4Ie#BhA4C(wxq3m!>GZ2Xf$!8mg4Yf0z>E1`tYf5@1{Uus&%K|!UO|BW90Ry zM|C9nVP(aXn+P|s{n1_dv@D*CMP2R$0CSUD*gqD6*9v28@3*90wbHU7Q#^&4NXHU` zZTe#C?^qXa=pC$Nh`T<@_rYBqmew|>2Ogx_H^=?N5WWIZXdXSx1^rrB2x_YeB80tj zx{eT=U&1XL6O45XT+LqNA(}lL4l35x;ggsF33Bid^}g6fDsP>Afy0D{t006a%pTQ> z)2)&Vl`poAD1$hXAuofEGw#5c;XNfxc zBKW3}Kvj!VV-Py8pXz#TEBW8m<6!fEBqATe?tG3u`DsDT5%%pMy$*_Uo zDpN2K=LHLz4vIQD4h!y+Oye)OmAP_f5R$mM_z5F#9`^GLU9opr;ofAuk(CA;tgZ6J z*2WoxRZop$a_957>K)kHIc6BOah&MUJV)Fa{X*A5g*p3pjW?_YDyTRUK{c!uR)@q{ zD<99R9Cvcu$#eKV`qZLjE1+yGn~77*ixjI9)j!gTCA91u1GuHWPBV`~BeyC5gXwpw zeIZ2W-J$#}PbAb7R_meQrvhMX^)3{!DqB4Vw!0&Cl30hENB0CkZr_Wd&og6pP#jCv_ zx70N_K2PanRddtxj|? z#h*EeF2G66j4bfgoq(dS%AJbJGF)Y#wyD-u#5a?w_hC@8l4LhbP;eHk8vA4#2KT#- zpgIP(E`8z9zK^1(W|?3?T+dt$`t9Lo>YaeZ>J`ZsSWHbCZVPYPC?7AJ^>km2yGHLn zT(QjdO~>)SsUuAuXnDcsekTOgS4eEt3#`_FRex;tTu}Qwh}Medd2tubrO6+U-vksg zFbeQAN>mnSRjzud`pZb4r5=C^Ud_N9=*xkrMGYX)r%*~6$iyVrPUwWagW!lTwm*Js zFa~UYsH$($DbOkgO=RxMf^Cm(Kr9MS$ z9!mrdxI*S9A7O|^HcYYlEmp%7HhD8aPtInVyWLt#PaUw+cu-1x4q&U9NwXAIM5mzI z9zh?k_<^44U)pD)Aj#x-mRNBF1^bVxLNt@xodZXNR|r!9s5SH|-CW>H72XXK&; zf`A84c<^jjYjUHqE^>ga@lk)Kr)DtWNtB8{mb$Wf%Ch*A*&MvCt2RQ`&kd_TVzJd^ zfywf8JJBaI3Z8y}3aMGFAO*EXwG5#EDwbvT`&21l^ujf3@-u)qN{nC~NVP81c4|dv|xX^Rvamv(slR>wh ztVi|5L(h9`j|ClqTR4yZd3bEtdN8dgqhJX`C*r=IWHo83%WD!wYoS( z=Y)S7_h$LMRplIc;dNo!g08<+n$xw>@sZiOy<1cdB_&65N;aDICU(Wk*L7v9h9Aw7 zotyQvsE@DyP`&T*i;w}4W}4s(twa3jexFr3 ztBllZ%ME51pWL+fLvX*7GNbyYOUlXGLmxKX`x9=PPI3M+JM#EY*+$(rt>rwnIP z>e{`&HF_xY`N8X^OQvVr_o6Q7_vE!LLAy5^_WG+PxMV4VcI7PXkM6W(x+))>S}=9M zK}2X`fMk;pCVL9frB@U_C;m}uGQPfAkdpNk*1`+Ou&X=LT|^!n%z+GA(MR(;EWGa8 zQS9!QRi1F^L;Z1CE)b@Ko?4ri?jSq0V0!JLbYD#rPTQ-y;M9WWSW#+u(#@L;yzUCA zql25%^+d_JEV0_8dIb@naj!nJEavg~JFq~%9Z)@!*t~}buEl*r^+C9BVvvw@RyVAA zMe-GpY3(@{vQy8g+5_nmRuzMev(!hHwLV_W5?_}s;Bj49ixol2DmxM5!?Zj1z^5(g zPNL)tU~EctJ!J9~)Vb`+W4DtFB5Duz89=V4TWXHb3O`!*To;3oP0I%L@X!N9a2Ap# z4<8NShFz`b6Nr+%;q>L|dN{>bW2hjNHZ1(#$pCg|a{YmAENfgnIY^=No(Z_ZLCG{g>A^=xM5rXI3$#=40;g=mc2obvp9L5*xQotImBi z^lOzlh>y+}kM%VF_^gXeOC-F*<3}Opo&N(#T@gQVUYbkb|RY8sxSJ#G7Z1QNJsxu==@Y_8b9VPYzR%|m-m z#94AZf{|8TvL5yI zDnej#^Eu89{}Ol)2_pw3+KffklA*lJv&^~evG7*v=wi-XN8N^+!d=!humOF3f~IdSw-~Kk!gsjo9PERn%oa>&&L@!H@MI{#ui2s z)~_})0r;x~yzLNvX!;?2=Z3Lb2*Y7czGZq5UV;m^?S7(nSZaS9#eHTXDSTWwfym#W zCma7i(L!Bwqop3#b~OLc@D4zfwg1#Um*RZokp9G&RL4|PnIMIUy*&ut>a`W@YWOp@ zfiH1s6rLh^f1~^jV`Wna(F=Abx-zxO37vIMcju!_w|y_{oOY_u(yeBF$(oX2lVQK#1I1Eh|`x{a?kOE!rnE zm|XY9s)8X?&HnAigEaUbSv_6ae>L;61>@bhurE}KPOOG|e ztMeQ5H@Y(BwjXS`g7Uw5$%O9;?-NPwmJLf_%fNtu&5tD5{J5wX$9t2lr0{-$E#jFH z`Ckn&syTdlQL%U)yjp8j%> zCb-9Ny#u6uX_N~PmC)g5oraj^M)mfq?N-|j6;0FT)pwRMDg0TH_zCDtE^BVPV|xl% zB=X^HZm>9vRJtEFwYt5`er^E|`LrLw9RHox@BFaM#2i^GH3cTIq`aZN;3;_QjY;+a z6%{_+kJaU?!HBx7WUr^L_|Hq=P!6k|J}`}i_-DEa5#LLEXdn8lc3#7!_BdBpvW=hV zDv4gM>mB&x2fZ$_+k7d9E26h3{}3AE>&WnM%xa(4K5smRw$%Dhln-ytA6O~+NSYJZ z9ME*d;tAJGWR2xk(vHc9cMYZ<*L;p()w7J(#$j!9W6f1W(&4K^F-C)a^AcQSjIKAa zn`;?kGGo?qsL>xmdN+1|pgpezTq~MC-K`PwH2m!7k3^@ZLyXK2KyR`p_ROFDf$99! z8Z#n;Jy-F74*w92E#B1khu2*gT`3ps_kuUPRyPoR5_wwnS$m=!d=|mvXQT z4irk7LWwb-BfB5bp5NB2jfXABH4)~`>KLMJqPvm!vmy9IQ4U`mpvXj^{K@9P1ZfFN z)wuY^$KQ57@H3V)O(9HTO3x715@8{sB$kX7LygHa&-9T=S7<%m0G?W5t&>J6v|88v z2d(e?baZMAy#td^CZ_EWzkJ5&YeS(kSr}wllok zd~fmQO@0XxHu<~S!U7q1;%{QtPJ(O+7pD_*yO(wR0zR^#`bZzLi<&QYjD~HUR^UoR zN5TWkHo3{>cFHM*U#iV&% z(>gfnFDp&zo(ypqd#!kWXvKeabusV!N9-O3yZM{UWbhh($U-hiaMKqwruSbg%JC@w z1{a6@BWFDop#L<11-#a2WBW74d<*WLLWks-W58{RqUJBVZAC#;j;fqQ`f#Eza3-UR`ER$eEv@4 z#p=)@Ljp;2Z$}Br|IWtfdIKP!)=cAPq;p4eh9%Jn)Pf;z-XJKfht^-?BwPn4{`?H`;4*!$ z!?D{N1VZl`nsU<&#;aJe8z0i36aIB={s(^@plqqX)C9PhC_H@T2n#dUQ^L$-d>*=UP`cH{5t1MReQK-AR> zh$Oh&Ra3ocnSTO?_=)lZyVLW;b8D@|H+1;Zz3B$jt$LJSV~-uwFy-s7NI^BOFnFuX zFa}Rel*IX9z<^${dp~2Y`et%1!CRF9GC~amDfZV)&{R}swS3rx@!Vvi2?RA&+k|y5 zM#k!FVoyzJdJvc=^81k1n306I4|~n7jgqY4$dopG$iL()Xo24EJg0;YtF7m%9Aqsv zA#p6{>h0v1Z>0JTN>Xo09#HmGYIgoN$X|F6du3A@A%Pd|=BgR+hMe(tGa!Jnk18KU zoxvOQq;*zJD*JcYcF$`CHQSo=tMBaJw7YKu^=o+_Q?Wl?q`e?DB{>wYS4OFKV^55< zeR#DKK%Wcmy5-l{VkiSlB+Ifqzl{dTwi*SssC?=jD_KkN$pC9f@NUN9Z&gy}8)3#y4 zR~}}{tId>=Fia}KaX3Xzr!BmQF}-5ol!PZ!E+p{o3(WO!<7p=DPr^6QpXX(l$)A4lrycFCjorB1vN?)?crtGS?&oDS^lf6 zS6OQgSASWA*O=8iQGmuuJz$74RLy~;D((xWDtqXV0S_FvY^KD6T}1bJqPf>C3x1~! zB{f>^4lrem>9t9rm{8XZ(i_Yr%Z?n+2G$&5&s`faz?ZeSu@(FKQq>OCGn0>;$kvB+ z^H;xxYbJ?mGi~Wnn-P29Qsh3Ae~Bei)@ivPPt3g@2cv`>U>K`gvD9kd59$<+nwP-r zq#wE)tbl8TmD#$IW>2^j=&4yzouaG@uC>B)^XH>F1|)R0*{(wz_>F;NS^SA? zTZyv~RXHfY36aB;tIF^II#lI2ybe`I!BS^`8=gP zra`aaCA=-Nr(>{rduhq&_{fS`bq8;3y;1btGt=nWfhUjlD(5LbL}g9XxKzJwiLAU? z*f&qTJ$YYC4pqyRG@m)}jBu`os=qL})>M*QPrMJWn6{~8^5#vPRWsX%s%y(Qg3vOC zW@YQCvc)%^yMWfqL{%mR%Q)BMvZRA}xwke?LLQ6&1`>6{fvMkO? zhef$mR#3v!fk_%abuYbRR`o2}@QuLnW#ud)U`f<($vY7p{%4sNWA42Q)akk8L!2Cn z&A>R>_zV|~BOs|S**{b5l>@FheNuLm9?y{95j+N&#F#B_UfNx&)Hzq3>!`N zUouJNbm8RSp1zcX?j)#*C!Z6}E1JI?c*f@=i8)U; z{+rDd=+V-hE((=K_K8l+Deza7l#DU6E$-44=7wKFJ=P;+n`>)(c#Cza<dmG{IaT(t#6mSH|T?!Un4ZX0`u6 z-aw##Ql@!W>B9lGXcgCT!A3~WWndxjVNe^*}u4^E3hCdDidqoVz^d*eKfQULPbwsp$beHl#mZ)cyFgn(i5xGy$5Oz}FkXLWmw!cosbr zBn?7CjjH4~E%LInx#ZPf%hnr`;Wpzw?(Rr%5Vx&6B-j91Iw_Q`MJN)a%T6lOG^9bF z(NnGifVfN=JawJz2f6CV34&#atyvCtkl|7n0S@aU(4wt_@I&P?HIQv@o>w@>LkR49 zCN=iPSCJ6FZ4n`P@T2o{&Fu?HBvMSpOX3wppCjk-X#7EkSm#2tT6 z02reFXtgFGEM}_~>9$b-6p~xX1HK+SUR4QtfI_$16?rX>(CUX;<;$TW-&|UH$ zL&Adn;H2B3it|~_AguLKrU)%8++@nHs==>&Y{JO!++DR*ue|yUO=9XFC|$D?^4g)* ztQeD+R+IHd+t1##1V1&8qy*Wd&F8bybUG_O{CoMVw0rUV$E|OXB|OiWc4W-Li;i7*_|+EBerrA znVHxvME`QR*AFvN)@`UsDu>VP+zOWKL`LrvfX-VsKCzsHD@G!Qx9paACcF08i#o}= zHAsmQ%yRw8*E>Os+gWSrj4=~65Je_m*@Zr!_29U!IcEtvH@gcjIIhffXUU7n^t&tN zqlA}P(5XMkgrDf7wb;oEFBsS2cp#v3znVwM1h!*ax5`D3=p@AJ6voeN{jJLdXo|_` zx$-EvP$)7VlZd;M))Kyz!F(*UNdwqTI`&C398>r}eHnPG#4cT|JvP z8vxQTXEB}4=Aq?T*co0=7e4woGB+LQPjqS~Ie>LxfgN{eZyqT4MfQBJAj@oi9W%D@ zdj3WoS;ot4$CD(7ZPxMWJSr5BP6Eg_)*cKEH}h zzVzr{u033N^PSP_0`B*rQqsE>yWycmE0TZFA2PV6N!09qVz}C(ugB1n+2y_6fOYS# z^Q(d#Ky?KWu;Jx`02o8>AYlwUD#gnj8(<|N5b>mx`8LFS`N&QmXP8`j4X(Y!zcQE# zb)ATkUX}eCjCyJLOHgzd6)(7IZw|cr*5O_7;q_k%5DL3`$24<&}}@BMfZQ&GSS3QOtBU`h)>cxnE28A*G!h{hQnu4}44Ic;@Si$4nnt zJthML9?^(cxjwvvUYem6NcovIFnWpz4b?Jo^ysk^1F)yRNDYsS0Xh1ZOrH&q`KG`_ z=B`l^{ae57=#l}gCL{TkT==eC--($9qCR;7IW|0utA=9HT)vbFQ1YA0a{|!2Mgd)^ zwxdE|_k(s+-#YSgON(`hg_4Pc`9ACU3ZI?W}i))gL=V=yCqI7Dd%z;4S zfs1;`3(>_NU6UnZwZvdiAO_QMcxSLW@cI(9C=e{L_~M*W3vO2zUK|EXyyL>vc)Tty zwq(-j;!tu5vx}oF58u~i`RU>oyXIxVW8<3_g|1_{9+&M?1EJ$S@`6{@hK~}LtZG4! z{;_|{us>nE@T-`ER>u4=dOg#zE1q+L7~R05$9cqZ zE#4XoH@(j|mg+?K?s68QUy8q8P9@}WT9oS{$R$+&oq*)TqJHrG)gbl6YJg;*77vnF zh3Td7ySgC3G&x1_92ZHWmu^>!6d_s`LFz$@9&Jz2AqJ6ogUb0C{vYkSAXheZM)L;w z@KHJ&)O^T*qX5Y|DG*tgIS^qJOalSEX^WPGd?1t(2vAqQU&BM_TX4t`)iDSv$63-M z_!O9q9eA(_p_U|t`w>hjLW=I&l_Ek6n`aTp?D|y^y11UbF>u%NK1ifxRS8n`3RMN5 zBYE-#kFqg*2VCCw6--#Om|0V7NYQS3^|@e*!&SAG{9tAe^kmo}1txywX>8>xf(kiW zzRwTF%m)KgxJ=K4MFCz?BO zH-QAzDiWmo8?(}lg@(y}k0tB0!6s{2u3Yo_Nbu_Gor@OeCPjbBQ(Yj^Rj2_^N~rL8 z-DSyDAW$F70~Nf>a{YCzegO-))c;_1*`?lG#N35N_t9?igH&7{^*S32zkU*EZyFLL zTF8qn$53?N?v_pLT$ALUa9-#SA^KVS+bh`~zcp)~FSdv>1pDo^KZl*L$V|34v2x6^ z>s+~Zumoqc*C2UpTO}>nhf`5EwbFz&%j6jM#w012c4dVzxet0(60$6flV<;mj+<;#DIv?hOQLuG{Huq?6U_$rS2odgFuSlZF zj(IxwYcFiLs2F*1mXDMA(ghw%E0bo|aspp=uUufwuH={`MsBXmoYm-+sax1N&&PG> zT~J)m<3_$*uozSms8_yWyC+3X&0yEbo5PzwUHF%F$fmwiHFDcyl|JK?8T;a0@;g4I zay08#s?luaw?G{~rQQvmr);jvZsiKpyVza4F}u8PW4()grcLmQJ|9($?DA;N>iUK3 ztD84nI6>{ZkW#4XbFDn%gm7PH%9NckzA63$)|Z`PV{2^9Rqqq6mrzUHRk@9;-?y#) zk!ts~uy_u+K3;XfjLY8_QeS0zEN9lBPa?&|?%2)QvmAqZ1=UA(r`qf#TCD$q?B0;% zz%o0^a&`9@TEfUle<=k8gBWE{r9}>V@=c@;YCjF|0#KJK6a4x9?IK z9w*nPH+W3k%aPf;r?fUX;#H8(rLxA1H{a&ZTWFVEdGng%|3YlQL+D678DK*!K0_NnJZa zOeRtpHY?@d&aU+jZ5*)-RQQ(LXmoy5yg6^cXGO%b7Z<&M`q#eetoEf8%B7ja?X_62 zp4QM@*bw*ni;jQ4_QI+Okw&N2UnJD;yU*_~U6U3WKPs(z@$grE^$$Ny4o9qsTj|&l z#hp~YcxZgHc%a8PE>0_WK#P0jSRV7d_Oin37vZfzk}~~;#|7BgdxjKt1yU)4S}i72 zrDjphEhIMFw3O<2$+%L3OukvNq&|~gKY-#=y`fQ-S%nzWS0_NEnmT#0#p!mL-Prl> z5BTWKQBcwPGwoLBK?+hDazdt^|AaU|m8lTac9ZmnI-^2Fa5M?8`6q>2DlFs4lvRnu zP1$~{DLzW@xo+rUbbIQ0mrP@_@H6oMpP_KX$RXdJ;#0Sb(JYINFquBJcRr=hT73b^ zPuVJRmK7#Ypy$slM(3sxj=cEkN<(C*-euxUjLDj2;4v5dS3(uKNPr98Q1C(=L9w^% z&Q2Ob&|{YZeAY?14Vw=P+!ncEOyV{14@iAzy>2Xd3+{UomM{};!GfI0CYIFTBZSi2 z%)9BuxM=a$5N|B{=fR<5>`B2*W4?r27T95b53+66 zk~9o9&M|EzDGj-x!)d$X&955^LGjJdJJ2u{ifpNDDCd^M6IR2HRHY zQKbsZUGZdp*aL*YXbHciL85qV4cB6Cu?fc}eZZqJ)9{5YXGgdiG#N#Oh%#@@*t$^Z zcGofm2O8}~u2sqs!}1Zu%W4ij3TKv@O#Z`i-558$x>_&_XCiGS_=6{$gu-|mcBMEY zXLGn5^Hz+l4F)5^jewjz+~kdmHtWJV15(-w%(fe)VYh2ZWLIjAkh&&pITF}XMN=Ar zjc)R8dysT*<=Qu}GfkZcOOi~Xw6#SKV_I&9cc??@w|y|mXT4`K_B``cql}QDfyvA z1J*69VOgUguNDn0@7##x`&$o|{N1w}QN&wfkiP%!=3rVz$iEkD<^mPz7&2WAbxtjj zH@fI_SResUL2lM_dbnnLR*{eY+O5JA|o2E$qwsFa#3(+2qUd3nt( z*X6C}3@0Obj-U~aSP)3twQzZQtfkv-K}3^$AO==2TW)~$2A)usj13?;2vtZGZxDp} zB+INFd6R6bwpaY~q3K)eQ}LSJf)0?f{AF-v6Fg&HfMpb_#h&SS1&M*TEoE3130fAB z=*-=4SsDu3S($DZ*0u=~mm%aUf!xx@T_U;i7G-ORI6qd@4&K{zR0RTcTN!)~v?&uB zfmLl4SBtgT9**vDd!l~TvQYC;EXu5%FTt~n6mnLl*fWqa6v1M4ibFa1g<=Dyr9ty3 zY~Lp5845X8rY!?A-QPS?zYc5-|*5Wb3?YCp#_jia;DI=yu1Z-P(c1ketb_qritqC4s)m9?lGUCQ! zA8nQwro;EUcm$1@e)Y+=Y-E~OG=~AflZa_4#p{UUjiZ*Kf`mB2q@P9Mo+3All74x% zxntVit_JCP?}TA1GP5>_qxQI8LDlC^`n1h?iR2hzjFv68XGo$Ww&3mKP(`0fPkYe8 zhmiJbPYalZ+^h{m6Feh@E#c#wzP~yY<4b{W+U(J}lgpT%G4C>$3^ZzGS{lHna9g}0 zG0UP{0Wl=v!69hru<^r#rtqrgQ&jvEZOXUEKH+m-p;Q9+5wJI0|rbbtxJlWo> z;igg6FGV2JmskW(O8y3I@H;M)&gzV;0=&O-USe64jEp9I+uVwB-#MEb!FO)=iNkI1 z6b=_bGg!Pl;)BVtb0I~57Wq)zorh^(TFx`Vf(RlMK7yV5r4Oa*xfvv$!l97SW14qD zg{~KixqHZsC4A1!IutTbO!HeP?(YUGyeWZ&20oC1H@5Y#gyp`TE7F1dRRlBHFJ%y4 z3Zw{LG6GKHII!8+CKO5_YQMcH(jee7qsVMp2WCnIn3|ReGIF-ftY>dI==iRZ z1e%THvCL+qnQnk^=c0U~02gokb&v~d;GOuP>3lmF%NlRI_#76IR|?VFLOmVG`nbi6 zFah*=6H{Ljvwtr`@ON;xk8<7cu}{I>B5sK@1#4?bYkO1!t&(+DrCe)oCfQ{S@BCNc z^;^A+l}E9Eo;HhL_=_%D zcxP4i%!*Qln=`xcsOUcJ!Fg?F^QRj#T5$C^9ygjdSeZ5Y#@_@}wJq3?J7a|_b!3dn zu}D#)tkGPQSg>R29h|&f*V%v+Gn`7Z_$Z}WWV1^ymQ&_H?+kyZ2CsdAME74<&KS^T zk@&XjHP0#XnE0^psqHMwz>LvUjBkm!vj2h{V{c{3Xe1(aE>O($%SyJ2jWw;EK85n(FGE)CJ(!DPn5dcnCbRkQ);4! zEmL(Yjb4Tlef8`p%jo_mt@uFvRS!{A3$oX5Zp>7m7*?R6OKjso8W(Pt^D(8V7VL`5Q$=KMWrIyGwRKARwA2EQH3%@Ft#f< z+oPKV6%*pv0fHPoJ~sIWd@GPiW3=qKhN7$kHQO zen$v>a4E|&M5&V=OV9B`iC+S8{IJB))jfiE&P>o#DOPyS9Ph71vb=T31}_sY6Sk25 zNhBnVD;Ztt)4`dLwn!ASVLnRpSL`Uekes8!#)_5>45OZd8-TL6cB(94UZOUjVLPf;0G5{)p!TGBvyI@n>*y!i~vvXte&l$jt*Rvbiw z2YKKe90anf2kFd&OpFc-Yk15CFMFcImh5l=XyuE|sckkArswG3GEr}Z3w|8kz~jN5 zSV2gnD~&Uqu-Kd}Ico^~-d8lDF{~PtjU*VBkkFfL$V)&q1%_2>@_iDexdF8Sc35v~ z8Wa-nMX-&(A8#z z)8;#t4kSQDmsJSHOv*G1S;0&=%fj18%UBgTOQFT`4i>e6YSzr>?}E{D_?bz<2{(DM z(=5oavRU;8Y(graF&IrR$kFA0WKK67q0Ga*8V z;TW=#=WWY;Q*vxhx9i{q7Cvo_o8h40$3>Pu_Y-bYfqh?cx-qln?^daVm3CPAAhTwl zLkFgz>e3*8g#cjHNc31Ne%32v++SjeTG%tW#B* zTRLb1Hc`fzb82i=9;s}gxV-;GYomuNI+*^v>?V`e(+(A2@`xP06V#X zG)|@=Yar#A!w&g4yKsAm0W-QBtvJRQ(%V9664+^a%d4S~q+0wY&p z%UFEP-6Tb~%Rl88Gl?|AstOO$fa|nYGF`PmVx|$JG}F*gioO9p%><7DWJz&079i9@ z?U(0ZG6v6zQD+>o!9+28VOP|Id5kd-fe4jP;nQ?*+uX`d5eTL%9vz4ZQ!@Cw6X`1u z%Eey;7PVO7&yZ#n#K&fai!!Vhc9fDCmRY1C%SfBjjGw!jb0HWmH7JDxq9QG()tL## zG|xom%^@a(lQ|7!u)`ZG7i9Ld(`tdF$`}x~Tv!r&`j8zNj)#*f>9IKyiSt4XOBd2& zIP!aLq0t>b5 zPpq^N&Uy7xpciI?=o@QZdLYG~W4&c)2}QrG_YkfWex`$ua)R_98ss-6JBz>!7o_qS z6mfVN$VcJWAQJZ&i&PLF7KkgUCp#cMQic=92=c^OZx)5ZF~Zj3GNA<$jF(eXp1HWj zo{O%``N+o1ICBt7%!Dx!B8W|yoh&M&PUO#?<19SlKXAN_f&9eXv4Mpf3p6T*r_3Ub zO=1HT;@3EN))iOkPMu}oOp|4eiWR5BG@4UpH3?NV1uthLj5aQogcG@z% zo|_0U9v7I@0C;nM*-uhz>$SiXp<#-=q`Af_UeQFlKthPCh4B6@kWUl`)j951)a*u_ z@^lI%&IZA}sAyX*%&4<@CdZB{Qic`VpFm^93US;( zR+`y?tzDF&AA2Ypek(H*T##q72KICb_Y8_nON?RRT_iKXmn-pS0lhUWT%N4>4ZdYB z)mTMvUd9+#?Zj3 z#Meg5@t`HyvuEVl5}}?#AY+ZE&&uGAE2_lN(#Wk5a?FHC0misE$A_%gW!?pPe#e&j ztg6Cn+15lZV|ELA_IN*Cu|d5Oj9EqVO!gt{wFjA%C(q6RJu?2Rz0QYXRvt&NZbwVU zlopmUzxcdthl^tPv$8rLl395SaZ!(~IDcu@gC+j!s}X{$0(g3uD1A-uBgFi&fvW+a zbzsF#C3G)|4N@Qs;6pPjPYqkr_%xziN(f?B4sfHy*zt`W?iVbTox6e{|0^2_$dgl-zWcM6O@MRGeciy^aFBkn0+YyjiyVCnt18wY0N z1$oB!RIdnG@t6wXgp>F)lLQlzYNK)m6^ysQ-}qFt>%!URG>pW}!j5t*q5y1?NYU7Q zej_u%1dIJm=O(jaZ4w@V0&4iP+PW;NSy&RGa05xv*mPbNkY7SZjF&E`s7{3#ErHC! z{+`We;m6R@z=SG#>~BFrUl)>D*cGV6c-GHTE)sZbpSQuEN$_l`0qu1ze1vA!p7bfm zQy)Q^P=X#6DOOs}1D>n+VthCy#bbS>q(?O zdHk7!>J&+_l7LOUF!M`ZiU2Fthp@v5e#Uq}y*3d6dI&|GkZM%UqC8!4NCGYGhR=5R zWo&6TTOEEVgTDyU2 zmjMyr2Ytd+k>a(jTuq#P00JhB(*tG`YXe|%Ef;~A(vO&;zicxF=qd3ev(4!zOn}en z3ZjSPe?8*)aHZkwFj=N;CN1`KMM^xas35Bmwot5BAuUQ0CW;i@qBwOhXc?~LubM^7 z)Ev02=6JCz9dis(>}fN?ey3QL19tKx7!KJSk@~hSf?ZXF%oN>L55IkZ19#dlQ!L;S z%BCLP3iYjGS(dEn(+0&_;Wju9zPby{@J|sktwBdQ zR?NGw5g3fs=<|avkKst9Zvs4}(g80qRI^0>qp}*P%&A3E8LE-u4F0L?VX|UR6o7<% zfM)iTtf~ich(qZQ9xTY<7s)Xc_H;Ap@kTiN?teTg5lZ~wS}y@WVKDeT?2p0Y&I)4u zU5segVv5T1aKjG=+cxom-o7RP*%ZJ3EUSWmZf-g7&*w9Hy1Flb@XlLvGT8Cpe_b>% zT*)wr(+_I&15tXt3zAh*Sm9z`89jS|Gg0@w*S+`e1Ia4Ao4C*6E2fXqf?{y$?DyX8 z6$|UQB6X2F=IuFI$=&AjM>yR{CT8FrQ8M8 z_LLb_3AM4!!4CCh_VY@86>4J^T)duUZye2OO0i)ZW^qXM0%}>NpR&Vr`)usxZ^+sn zv%9F8fAi|D%2>_~u#^$pxLTD+Fm2&80lx(KbMWaw1DuXDJ(I`7ZDApqp$T5W6V)fnVk{)+5=o(Jk3_sWTq5!p*W( z@jP9}ZAZx!%@sTNwVz(~jrJ8{+I6w0KO8rBvN+2<8`-9(s6VvO1{M_w5ywaf?jJTl z`-)jT>FURxji~Pearb~WAZWxomMUwKz{t58|~Z?ADZv#WF@ z-%QsCs7!_l4*XO;HUFWh$8||;g$3#0m~1tt@Y|`u;lv}8zQ%b&P0I>q?{Z!B4Lt72 zzxCK{bcJ*&OGjacNBq9Ln2Ei+<8QJ)M1`zJ>avDfX$SP$@0!f;>R+RZ6OBg|`k^GLs?_HO8Ds)IU+y}M(xUg=ZVVV_gap#k3v%*g7URO>RT6Sb& zEj~W{M4uf{$4&l@;$ntCU=yAsVQiDjLN|9u{`@&VaQUkmJN(B`Z~&=s(;sqjJMQ1U zNv{5~b*|^Zgr2jlL$;J_H)tBZ=l#m+<}=A5#`p6steiV?lT{%hCv{a)Fqieb=3Pi$ z=6SumL2*}~{QKsGPpGa9*SG_pA8G@g$vxp=n$j&3YOdXIY?N2~5&JbcbcC8b=t^yE zPZvBpaRFmH8g!8TKO9cxPJ0_mA^lYA>FmLh%-7(O_&Z{AJ+4K@$Y1!41>qZOEaTLE z3!03~`+<#YzgznHgAI2=D6N6FN>3gjgdJ}T^Z(KI=}BJyd;aRDJx%9AHfHUfq&Joh z{5WJ^-5Hu3a=<1J>^)ucN_nCwB$CkUsrGbj-sCIg_tOH{@e$eTFW~ok4Z_Yw`8&}s zCw<9Z;4ji}#h=Eqzf?YA;u?~79c1RRYo0vG!vu~L)`f-ZW(nS88TGsDf4|=z-#Dj> zPyHxzHfqZf);(5rbmZsl_w7FW4Z@fBrh=&^JtOs7OXi9nzRTT{KC&P4kj?xM^DX<~ z@yPIklhezX_cM(7Jmp4gXsqYibAztog(mvO8zmYEY9I7wvcI14b5J?;iSqw62povPaeOS9CPfvqw>|dx{{#z^;i3comnJxS?D42 zsJr;&^dA%T>4Y#dAHLta_n)){9u-~E`5ENaLM_L9Ju2(Qg(o2uS{pa+`#&d+Wg%Tz zf+&=lJsIMT95?O}iaAv`l#_|IrJr&OSnKMeb4Bjgb&qnc%N#YeDvZcg#o zjPm60kAY`Hn^@t=At!_U4^AGauCy{TFw}oAt@=Mlr3wX_w>@HVY5AEBDkxNCa@Z1v zZifLm_iGm$1r|?YEL4y{VX5BjT3XC|ao6K}ra+3%1#S8g1)6yusfDL%{`w9KKINEP zx%d$*JzQ~9`sg3oUs=zO+-Wk`(XTAs>w{gof7={T98?(oJ+V}t{P!Y83Z{6@(KozD z_+y0Ecqh2;&6{8MSikPJN$<|bjuQ>LKq73g(uFs$NJ+7eXW}Ww*+0t@Ve^v(gYXK={%u}dq#W> z!M|6}4j{%l>N1IZUA+qN#>(H#Padpb2juAMlGUfC3*R{V)r^Kz=!{N!q+6g@;LyU4 z9R+31J{LmgK7G5vGCJbWFq4eAjZ5;*ez(15#z9{rz zh?M^kQlN2PzC|rIG8y7u9{lMQ>bwvV;lFXCtE?KA-!Ev~+$ZwzCS3)&@{`ooP;X=Xppm9lgreYHtk*QgCB7FRXs> z2%zn}5iz+i?@-nEyz9!5&*w3)(;2ZI8sDd*Z#;}$y5r?z7oRS365M)Nq~H&NOh-q- ze(R4^ZIFauNw9{PG!SUKfAh#GDOVdECz;o8NkwPhKag@AE6~?92pSP=l>hKiP?`1N zPhW4kr%hhd_zKsCB565=Uua}-cEF$Nc;#*UPLI6WJ3YRdQ421Nj-SQH5AjPz3~FrJ z*8bohk8#fl_z2lW<;27!86-_x?{NwJ3-}s>DDJUEl^Sr$@z^AXvJ|*q>UDC?T z8`_~O>6*#26!()|wS(Q&CUz5s)%QBy6wYBNNF#80nTbp#c`H@|f^IkL4{d48~%EWbOe54VH5VeYos4f^fH4?Xg zA!;O?wWmU%_X1p(A?EcuAC#X8=p35FiE_g<+>Jb{3=^@M^- zHt~-3Cx^-YR71W;lHyOzW2l7d;gm;1C%0LBdqzf&w!?p^sQL|0H@%&D_ekiY$6wI! z&N{EEl7f!CZixuzM;*5gz9aE?xq0tHpKt2kJBnCNsqv>SUiqMlsxRD_kVhqzuc=6| zYmSaO4(xv5g|VjEdar225J%~Gybj+YM9=|08;tdR-D?Ct{(zCKp9E3s(c~kCJ7-I@ zk!!B?eYJQns8I|b@_hwXC84sTC*F7^CG1D8KeABui0)%VGlDW~^|1n&kNdzAf zEbb1cp^lD-nYoCSU{2Q=mj$8!&PP|H&u1H)_)te1T%OmvqKJIoMP{p!kimn(uYJQK zGRW1Jjs)k)Nb)ttiXx+9T*>yiZZbNx2Dvtp&?y%eFt{+1q$ADW21qj&UV>G>9Ue(n z@vB>chF^D827ht)29c!4E5-QRD zYhSzU>%vvH0egCIEa?97QfWQxseaPJ`bhc%`znNtC3Wr{%{;vZ!`WSn{WVbCMVzjv=0uiRm$M?%BaPxqDY|KCE%@A$t? z^?yDn1?e()LtZ>oz8z4~JanBmZ1$w+hcBH6rC+6GJbqaC#`nhit(S9-QPA&xE62FN zI4?tiWB1g)|DWbRiSA#_^3uc`4m8(y?88_M%5H1B*6!5NSr_|Q^6Z*>>*|#PR-)>z z#8;orOkZB-xpdPj4#n z>U%$cHDVrzIXnUzQ#={RI(q8Aob#AfU^WR6t2G9konhN2N-@@ zf)4wf5E5y4x-~Y{ZS{q3R+43FJkmY(1*6Y}g}zI_97@}k9V}Wuuxe9#iq(+$dT{RE zJ^7my7Tx*#vwGggt12tfPjACmWgdGgz8z40ByNvBzdIE?+I)SPwsntL)#!m{!wV`d zZxJif+z(3FZuWr+Nx9o5_qvj@t#{n&M(6+tifN=TTsEAmGybBX3c4 zXTS7@$3q9~e6LZ_s7<-ci0cFjSLJe~QIID8C#63^ z{-36eM3er7+Kh)88OQczYy%kACKr52aT07Odieg_wujAps335eM8-#tU48{kyJeCw zG?hCZtm1Voj=d?qq6JltZfH|_eW!Ib`q8tY?R8S#YoB@oTaZU;BaXLj@`22$a0#4n z_JLQ%$6ZNx1<>an0^uP_>5q51OTH-hnL#BZW5cFby*qNX1l=8{cb>wKLe{{c6E|sZ zI^H`CbFBJx$Z(Gsa{1~Y4`n$MOHjE<@{NlXEi1*)=lLC%^ncmeJneqC{?Q)v`N`tx zSIzr6R`+WD*#qEF(cU}My4~nP&mZ<*qtgU*&<~scS`NK_+tK#vFvJH548$Y(E=as% zpZ$lPZFwMS7mrwK)Akd^7#eN(^R~N2fK*|CGo+6)9tkI2pc-GTv#WI;vbVk2l~BNIZpi zo&DyU*Yco7z}b+$i;oY@PZBWS4nWQH>RWa0vE&P_4A12-t(5o?06L^Mb)ST~OkQ1i zyNZv1U!k8zUhAi<7tTZLA0JLp`abY|XL+Fz`tif?xvkA+UH*TJ-_>sy^@DAer(%wa zUfOqg|Mwg(_x0%WDJ#dn4jsFfeDgvbV%cQ!5PdOYdaH5jGD4*Io$iK71yTl+abb&~ z56xbaVJ=gzAzD)`vFp&0fX1i*!3XTR)AT`1Q+rJa~Md;CFdiMYz4U zOZjS;sg2haYd9~D|MtB9xtmt%-T1hXIESrj#jE2i#^&>VpZ|KE_oX1H*WFuS>i2Oi zjc>e$rrqPgTA?%Fjz0(=zq3*O{z-R_+E<_2^?-s#+rf2v<23%}9vdDG+7vo-bEEpV zt@{l*TE%BV4}|S1I@1odUg$n12tQ9kgt*dBMEg{D_tc!p;+gy}I0;{P<%-ZSs;;OU zo2eX&l!A>(<nl3=aC_~~8 z7uu+7+!TQe5jdG+MR-t6gnIyqB>@;RKzw7MhdT7I0Srk1j$k1xFeC?I<5@sC#MB2= zD(gW*gw*-F`vi=*lftgltAOA^tf!3}D`={si`4~k7GcO3NtNGg{Sv|;LZBB^x08iB zXslsf?3mcgLInVhHbMXajlZnUfT0c{>Ty-Q0e*-*hIpY6#9$1V2)848Rxf+i4ag?K zWvq*;VU?r`m@-26F1F?3 z#?iXXEYyHX_=pjPWVZrRor)+ID?KCTdWUebEoEUC$wIFy`8`{ca8v?8YiLBk1~4Qu zMM!|aT!;=3JKaS{epl+&A_Sp^yQi8OVSl>;_9{Wq_5aK-a&&8dQ=xIAX$PX1iS-82qp+NV!~|g0c52?1yP>Z z2{kYvTMjp(5*x|6aAc~8Y%PpTAG%Uy3^>Pxa~e_=pga)=GjQN#LYikGw;Vc?WFm}J zj1u7L7Gm{01#YVW1KYBnV03O3tZ_myUWb$Ap^yrVLkK~|yu#EOt}j-s^Pq0zdWv;T zVx2^+Ye4cRCgEtbfj~lG7_%j0Htr1t)=RqtqsW9j8$8)fNRbI^Y( z4f&u}2^RTCQ8^U}t`{H3fx_rwTSBel6@?RGU1*}Vtl37QfS;o z{0YrDiVyXxYOcssmRb3GAnR$avc$o`Fa7Hp(+lu{^{K>ot}Iuq3Oo-W76H2#Tckh0bYN9@ghiD9<@! z6Mig-H=>7vZ%WU=B<&@Mu_@&=mHd@N1Yrv8DY^AWW!{P)ocd~!Ge8vpK5Z*t&=I!W zRuf15;30n?{(z?kSg0=*o1kGlPh1sYjY9G*S<9y-3@k(gBXLQQ%YdH5y;x-(zSU#< zD2W_uh-tZoN+1p~##q1#i!+Gw(dP38=~1M!l~g|Ou_z3& z=RM*@`{q>YWR|G0D}U;wUU{M&>g11r%?^Mqa*##i!cZ3dHPw#>q!j$Ty#nq4#|nk0 zh=ZOOFl3)a$;f608e8NgT?une=IJn)CN*FIP_TH-ISc8LD-=KurSajC27=zjF?Es^ z8I;i2xI2<)dv-gn$}XxiATU#|)NR1GnrktsWTXRb1#mXHhb--N2=JhwyIfG)ZV<8kKdVIe481UnUA7jbeW!snr|3F)~{ zENBq zksyaRDJH_l_|{LA1u;!N}&i{+YW9Xyg zE*c?HmcBp|-}Am9wCiNDES<=iy97h_fkgRn57bZi(uG5ZNnbtMyV*m7EfO<=p;-i> zo*JX#bMmE9HIY8grguR;HiRAplv03WH84XPdJm0u9VN>e6|gE$KMR@FHf6S`f-w%rvOog1Te)qsAe&<*+b8V^)$72|n~9D4R0|b9oA^zc#$AT-zEPghfrtq& zogs*8Mc_^x?@T1ZH6Ihf{*S*PcZEK%YrUl3Anvy;IbF6)D*jHxHwx5%d=1e_b55+~ zo3_p=VH3_c7O%x$26#QFiSQi6wT8IZBQ*^S=34A(fIeCcLETWV?eO`mCom-GES3e+_f0b2_ZVP58f{f)^f`}21bhPJX;6VI?7q9 z-nW#s{Oe^o8JdxZ4j}tbOI%KBx{GqZqwYds&A5vcs3@OjA!Q=7ysX5djMpo)d0Ja{ z?%)++HHq>dX#>yOWYbS`Yh`YDoT!DT&vVl}EIlF$mBvf!M6*1x*7$NG)9#&6h$?UEoCQ2fLns}h9t6O%@U#Yv%ivGg%2IKJo~uOkpZ=Qd9uyWm7cue8 zked=Sw-04hE`oVd_&oQ-(*&QD#-$=xsJ#QMS2lNLmVKu`fhe9evc zRxU4Gh1k7s0SLZbWxJcx6!N=pK)M>7{j`|1yqvv@GP>gHRk@ASiTCXX%8x5Pm^A)5 z{b%6{&t27tpG=wq^EL|ca5}G6$pjsWghT3D%nIr&#SF(B4cDA|eJJbG`sQ_jKe4fS z9YXRom1*SJBkSY_Lk9q0%MHqr%`w(KtZEfNCks`Fg5awXwrzG^EZ7`li7jK#py)ar z>(bEmx%de{<1Y@Zi?Nz*f7haCKXIW$H177N7r@U)H>*G-P3(})&?KV#dSw@h)_e{> ze>BYtWpj*%j97fHMeNGdPgbm_=M>;H{sgxf#p)bsC;OCHd~IZ1-XP-j^FfsL^e%fF z*lf3m%~1}}D?S%)JXD{@#0-}k{_xm-#L^VG z9oMn@yiK2lT#37)M!Dzr;3w`fYk^@;Qk0})Vkg(WhBW>(O8RJ`OK!wvcBhQj#ZJu2 z5rK{q&-kfEUz}WXZdJUh)1_SDtSn9b7AK9K-(DSE9y2%1hMp`r7`s zE-y(56gGfjwKgT8wU2%W@c};i#VLU&4`<0uPm;zOtjo`QT2+oLEGg{Oa7SfUF@hvGP%NwctGnnDP?VY`g6&?s?R@x25LfuzK-$Q$W*{ z#=Q-1%a~c!BtI1wci^vMlN4F%5?1Zmwr7qTYev3?-M>SRkm<~PSOtaK4Lih)aa*GeBxo%uVtQ1q{zZ@=MA1raPDEht8naLO}6@MfIEoH zJvmvOwLVbeilb|$ezfbGI$G$!y=3xT+Q5h z?ZFrln~^^yt&dk^amBOH=GyW0Oc%9hmn?HfflX0)W8Tnn$g{xi-OiCiFn_fxjv1-X zd;e2zkVDOTI16H1zmywHC#Sl+P!kqvIj7GY*#jfoad&mF4HB!aQ+LYIY0r}6RK#EW zCDLy6c3=|{X;8i2x=)>N;o48;XRms-5ATA~c&im0v+M18En&`-e@y;r?Q1DFDWg9Q zPrdyrf0y>542(Lsr>FH7BBOTj`&QsYZF7xmlyaJbQT5B7rM5YrvUUk%foTG#3Sx{K zHkLWXPbb>c>J-QRIWwr;kQT31eER!nGSQ~ye(=Iv>B2X}v&a0B>HL6JFxUOvhUC7V zYn9ttDq5t8Hjf8SdPUS{1H3D$$MJg3j|tI~w$n3R5n)jqbJho*juMx}Q7il9|7zOz z+3&a3TWO7-Z;tI84D^KJQ@cGJWOsFap!YrF;n{MBbstoOXAZX%Fil-U{~GW3__B;? z2i5$1-RfalEB8iZ8<(jplA$_MF|KZmE<)?0q z*Zr;!+XrAD+ZKBS|KnO!^FMDqdv+$owV**>g*G1xJiLz$7Y5(1s|heJxYipjy#HeA zUtZ}WDvkeY8o1@#>#^3MR^iSWUV!|iv^^X)|K<6Cr&Ye3_=k<#`V2xkzORK9SlT3& zn`ysVQa5=waMRL3JS$@)MX*}DYjIt^r;|r{eKC>7p6`>|A1d!nLeX9btDl%tvXEmtNSxZu7ErQ+-Ve+US~Fl%+ED%O=a}{+K(0{nJ?q$%iPM=XbtvyFC7K`xx3} zA-?O9UU8(hir}Ujna&w;5ZHsLo9~T|Dtzy?d%!fw&Ny?5RvdNX-Kuu( zUh}A~GGJiqv7_Dh3T*h?R~^;xY&oH^%hYw_%US7O;^cMN-e3Qq$D?r9;)qR_BTXg# zaR-;+`j_Ay8FlITUe9L*2Tyk7Q#@j!h~Z&EBnoNV1`oX#y+eZgFJj1TwH~fVvm!lU z_h=Vz+n3<(nIna-M-GMlWteR_8e@_`mId8%tF+R=Px=6qFsa$12w#{7*) za^;b#u`dE6ZL>yMfYa4!QybHI$ULyI6ze;8q`SmbUimb*bMfa1j}mp;kb4Jm_tp32 zzaNg5N%I0=?b8RItq&F_PgTFK{`YEQ#NX{&e3h5Jbs8En|4U2JRN%(ZyNz%2&1O&C z0xykb`3i{BIqb++7k3f|91Ya zejqOFKbj0#x?leJ*mY8&_lwus+g&%=9VqL2@M`vf5t37~;2&N+`g%jl*ItEbKc}Se zkuSVn!1ob z_QjexQbX!IRWNq#_^tikg|jysi95C-Y125c$tif0-@d9fbxGXUB!R``I!NNQLR;0h z`eP2Hg4kUV&aUBIr##amkjlQjZhM`@_Xpy<%cgpL_xA_F`|a_YGSj3(Erq1-Zf}RK z78sz@*N2m)!@FDIgTPUXIDhP$f?>)Z8MkJH#wW({q{Gy%3&_pAle92P z$K6u0rUG0I1i=9Ziw65{j!h1;J9e1PIM`WKe?9Xs|JwACJyBHVb+dNgNcaw#dU6Uz s@l_JHy(PxcSSKRaZCks)UDY7*s+uWWcvWRl0FZxkh+HA-bOhjk0ZnD