From f9f90fc3352af2f0462604d54ee2a66fa9d416fe Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 18 Nov 2014 12:04:22 +0100 Subject: [PATCH] Adds a section about rationalizations --- thesis/images/SnQ_Extension.png | Bin 0 -> 93886 bytes thesis/notes/Rationalization.tex | 121 +++++++++++++++++++++++++++++++ thesis/notes/Serre.tex | 2 +- thesis/thesis.tex | 1 + 4 files changed, 123 insertions(+), 1 deletion(-) create mode 100644 thesis/images/SnQ_Extension.png create mode 100644 thesis/notes/Rationalization.tex diff --git a/thesis/images/SnQ_Extension.png b/thesis/images/SnQ_Extension.png new file mode 100644 index 0000000000000000000000000000000000000000..e8d1ba90d3a6de8fac494c6343a1c3f765ace789 GIT binary patch literal 93886 zcmaI7Wl&sA@Grc(z~UAlEN;Qw-8BRa9&B-fy99T4cemi~ZowtN-3czi?eg4z-M8K^ z_kK7vb$Ysc&P?_6>F)VWn394tDiS^t002P!EF)3Dx2*iMp~PU5!K)+RPi0Hv>t@~n(3 z?4-)P97Vzg4*&ou;Io9Ns@w8Or+bI4i8J@Bu4VOgX1k+}%|0vwVw!kr1kB*Px+SBn z&$p0p73<0ywenMXr6B<80HnV{bF6yqn`L9TdS$7mzILO!r8TBN3Bt=~<2Dwt2sB;?zAtgy@Z7C_4DV0{6 z=8FZ%=2u*BAn`!wf;98QD3#TDIG92-n))hL^8Tk!!r&?o3!)xp{6C7nW>+)>|L+l% z-Wd!;DXj@55v#)0E0prcN0Fvfmnz@sl8Nu1SgM3+5@f+euUa}Sx;I|-AG<90=YLH& z%{%db^Z&;dS||2DQ~1AjsY+ zw-y6HHN*0~JDbubFr4}*XyHb#H}9HwGbO&W@lb+b%)rcm0r3eA!KOQZzX;lkTM2Sb z_=`g$*)YqrG*Ya4iwup@(5oe4S|R}%Fha{DfFpnxLA+yxmH$UIbgYLM$@zI;gcY5@ zOIr%h7rrD@3(0wotJ-d{G(CdIvv}a%o}7w698Sq}D!!=3=+1#Px;vH6?QUQM*r9?K zHHHLO7cE-4z)?{z{WNOEPsH^H!OYj6ouvb*pLOuPLxH3_A zk>{~Mo|iQKNUyXA5HJz@Fmk~`kCT^GcnZeHe>y5{VU$`W#taLuJOm5?H?P<=ssT0k z6b6x}Nk&Uzh|fbuy1Aqx_q+V)tV-wJPUm&?UF=7uJ@cMd8QOq-U&7SJSK81II$>xy zbYWNDoowOsUeB}zb4`iC5WD_^uEplX^9O{|tS@*{ZdQoIrXt{uc#_2|7iVXn-v%le zn}r7ZCksU4t@He)oBb#_yLVRb#`&6uw;s{VsXY|AyAC5({LHYep;*se#&=-IK zpPqv^5Xr6_ER!Hez&t3d>#@ZH zb9_1_g!@zjS>@2tFUNnyLIhu^kxZ@NeO?zG;BWSf zfU8@^!d*Y0tyaSADiT&4};q0MchQt=E=v$b%;_nV6~sVkrE&_nFWJlbUI*+&YP%z z{$Viv<$Y=KQtN=au1@|BrE>3U-q+3?M@pyteuKxZbq2}$t*lyCB~hfFqjizgF3j5i zcXnwb>(G)vHyvYNjmua&0x)>o&Q+m4ufJKI;55WEyiMf&TknKf3B3PoQlIPME*|d~ za|iI^FuWp=UY{%DA#&m1xRtoRZGqFB7w*LcV#1MByS!d-4lXN6j0N~^Latk64XQtl zZvA#6X2(09`$`%V!LM55*)zvs{E;T`^sL>r!^{*sZ$wKNuoVj`W9wP8;o@x`7X=V6 zc$^cF=oqvMH!P2z#mH_Q280Z+kiZ6|g-UXwhBnf|*@WE>a>K(uiYH;(!_EZu!`5<*%=K#NUk@o&UVZJ@_M}Cf}=+e^URgTzJbZz%Cgn z(jN6Hki`S*Kmwr}iOPauc$28Wp8*Fh8ohAOmF%&}7?y>*4fgik83vX(i_X$NzHM5KDJ`cym_^l$_h zU(3<`t|nofC+UU@LQ{!pDXSG$BAc;@fF1o;NYvIb zHmo)K_u>i=XUSL9mk5XIHP_dDi0x;1La18agzOD5)8FOU@rL!8G8{B$yF0`AafU~= z;Q<_3tY0KBm^eUSLKvfS8qtA&_18_~5Ri%?a{0cJkTDM2ueSm!KhXWpN z#@FpUj2S<U zVC|~Sn_>RJD2c1j7{B}6k{`#n>T7MXmVtbvFhM;H!Fl8t{QL3BEr7`V+7xX|-y#{? z-|b><@VOXn%I-_uaRxpldPhKE{5#}&&N_Iv+j*iu&a)pJiN|<7=|}=61JGq2S{4*2 z9&qeun#ZwIAPj6U_kMAGw`NBTRUe(XcrS?M&sQYiKW1nXwiKNE3fYIq^~&TMQBbQ_l|6;W~;g#NtG7JNEV`+f=ioV&nqZ5*gP7Iqlqi+a3S`_5Y(F`_)$v2W zAt;z83v*ElHXYxfVV2bj=;Diby!#-j-XHU59O-0sEcY&1(t9nks9V=Qa>j{CqSr$g z)V9SUhg)6-`&0y&?qzg5HXEtyc;}Dv!Mgc}XYfiPe;%21m0NaEEBvQgBV5=ptj1SP zv8G~(zG3dkh$P?MWT&-srTD186-)NC_QFo3SeH70iDCCwe^;?r`J7aPAAdAN39o;5C5ZNSN##LAa8UIC)v9C4W*0d5Qh5fVY zYajc`t{l~=@y`>sjTXq{ z_QZn5Z%RL_-}R;$HS?ttYY1y72Im+Z8`?SsG-@2L#S>UpPaz@gi1DrcewWIqb|&*~ z{!OBSLo!_+%Mo}i#IrhMC+^DWk_2tXLp4J+GAT@u`dIVHIxZ)A6dvcaNkqT}bYY^v zRwq)<$LPqG(R26&F5%6Tg67=8Bq=umVI|C_?d-!pxWG!}&f+Bmo&=SPU$31{eQqe` zLVNezo)HMG6BCe4Y`~63HUEo;4_L0#{rK~uBJW{g1z%6nk)YfKT8RL{Kdugs{Kg~q zJWroJbgDBl>AWl$875snK^4}WJQ2pyjyJ4K6_(kVmMS|D(pW#S)cVN^1S`Ab-PGEV zcJ}${KIy0ar<52#uUyfCUkn^9;P<5Gi-%^=Y)_?dCv6nveB=wc7Qauu{cj-dD!#Ar zevuB`!H@75IY5RPV;*FVVz7srOg!`N`w!9T*+m%AL z1FWkhk)IRaj5__ItzVP@VzT#r*+T?u(q~tMI<)Nf4cKV9rf>iu#2QT(?kvhe6Q549 zB=XAJ33&BAtMPn&r`tRP{;-188POv&BHIWtLdNYr#}kCo2D+z+6ZQ;c!=O;xh=DKa zT47+Q$&DE(w&dz6I`(!JWUwZo6JDhyrvsdWw0~Id_s-vbeeX$H0D`T)p#;j~D60Rw zvs>G(Fr<={@1y>+@`G4sX((j_1fm*AZDxQ0{L6|9j2fy{D7uuP!L$GLvw~Gs$aSvl zj`P(nEX-B;Cb&4zZrEK539{4BsJqs_OkwEDTCu_NQU75hXDGF5eaZ5Z)U!C*G*g=~ zr3bvxzZ+GugZKOmB9tCDIxLJ`yf?zDF)?BItMFSkalwvSZ&c2b)8DH};nn9n$qnKi zsZGZZ#eup9KJJIYT&^cV&C7M~()T8rGLAFXm>KGlw}C|U`LYc9w=L};iW=4XFn+3; zD%u$0f2m0byeGG@NI2xS2+&EWp{7La}*0=I)D*CXx zK4wH>vlt#NDkw~TAT@%#=m?OOE=EYt7d&oA+tHV+V{k^TY>|g|8?nFWQpaL zsT}?9Xc3zgk>fZTMbeOFcS1K?C71bo(kq4F3Xy=z9#g;_uG9Q3vc<&|Thu>?*f)ML zZjJw*9Yh6K#|IlNy1a+}L2)QJmPJLTB~t+kGg=k`5;0MoVIc=L)BR+!r9J3O(rVPD z|Bb7o+rW?tn_%=NkUX~#9QqxFfLK)C&&=vO2iN56@RxoZZ8Z9yf4zUMRScfm27N;s zsG2Uig&}#$sgSi}TszzCUMHxE)#jim4O^c5S%bBhmoc&2b`|}1MhkRQ333ZGr39fa7e~h#kG$esjQi7q;{hiHGPo< zs2>gOh<)>Ep*Y4B#3vk%#I%5kK)edDh~c?7lPSg|WT=m@89vgFs(%22g24W@v{r2U zK^D$;jtnfHL{x{;r?bF&TdXL8G!xU4xu(gY`@7(+!5~>D)k=?SZiLYZSA| z^g(UBiZs56!dwu$`T@pL$@lm)K%Wv#1c!<^jOj8>(&rE%I~7=fhcN~h4?61x3?LIR z;wKM|o6!j2S53u_yf`)3fXr_wOIW6k;c_#fbQb$_+6_6i@Hz=uqN=b~WodmtP|jn^ z7~AEMTxwP+Z-5F6HxOOrETUuz(Zjb_CXL-Ln0!o+tSlA(M|#}-#JC)s-gM+gfkx~; zf12;C5n`Hi06$T!9uyO0Eb(GH79I{&dx|>j?ajHbJR(axYT^Pj$}Ul$I1zHe1}NSq zhagbb)}38(aaU|KQb0aZ>VzdYLSPVMlC9h%nHQ2_3s4|RC$u#%g%_XyrTW$F`_RNt zskDKj5==zQA2?Ey+b3Wr)n(~h|+)|?os*;1E5O4sy zaOp=Dj{s19He4*WHP|u{fKNr7)(bcbstHw`2@LU_$V0@stU}}&+k`FcmylN>*)W1S z*PxI~KB4M|R-G7>MRSZPniP2Azni|t5K)nslCdoZ0gF0qfNXe|V!*j7i-$pOS~|A3 ze?aoaA~J!;0Z|?HdYOQ|M=6AWqMW^sFZ^WVUbGm6DVka7OLw7=mJwwxz;RZA4=`~i(l#oeq|>S#EUib1?2KTt-Z7;BI}8OrIxIzQ zDRW@&M5DGMe5VU$zZaO7#l%{OaK7$a2MQ^6UK74qK+hu$MnNWA5K?>4ST)hMB%Kh4 zDXTl~Lc`Jp!^~6CT(9ZZ*G`NEysSZuTJ>eEM$-ZrAG+uW*L5xWC@xK$9y!DN-d~2J z;WRnP^ah6Z^mc_L=c?pDty-))?9mSR)uZpMi3X>HpJVpggt)~Ok*}}LKK3-KowC9& zhy7_k;^g{6u|ahBx7^Wk501p$X931NU2eo6xxcG;`Ou>He*MeiLl$Ckw;0jeMYhw~ z(#s@q(|jlUhVu$R$==evU=+&t*$UE- zPt?wv%bqSr*Lq$ALi^&pS(?ex}0}ipRDwcoqup}PFz|YF^EsQ=^+k48 z?o8O^)#p92>v5L z=L_Wc+hH1+uE+6BQ}h9YgGBwzLIH;GbVAX3Qst+RmI$@Fwtd&esRIUh);5QaBpjFK zTf6#iD|yi-I7#=2>v(d8W#PXz!J_AGj3=M+^G~tkl%^LZg6voFmRQssDFd|2C$+N1 z7?c|Y7!PYdA-S;*5R}_KlkN;L<&Nrjx42&7s%WfQ1`!h6nIwmPcE85Cb4u=OXtAi{ zlOEw-7t}%$S>Yu9p#JSjZ3&8?qqiD&>vX|K`&D>HQB{@CHA>d=t5Fb5^XxVqtGeT5 z`l${g*oaF#0vsosPbhh1+;AhaDsO7&c`2Rjb?K}-mi*SAA^i5^E{S{XHRKif#YmfT zIS?QM>h<--fC*m#EFwq%CHznTWTd1$G)f@S0dEdJ7$Pe)MC?cqCXFUQS%-m5i4+Nd z2gGivS#t#Vfj)@UV9;Q{eKgca74ZY%!2>vK6iHdpBoKJvSZH9CWW=Cwd1yPy_6Pus z?Hza|34`SVU@pdDC@2W60Hi3g9G~_DFoA#2FT!l~lvS;pDCyOFDPOEk zN`8o>Fn5({>2uj-F&q<}Un*AfdrMFGRwn)m#Puq_J+ke3$;a*qf8E<>3aJRKs5geY zm5VfFM*b*nYf=0~<9^YL2IeaunN#(nKJItTB8;TCxuqVu3Gl_iU+1p~y3_e0{E_IR z;~FzAS!3VChLpgI?KIGG8VNk*ia<8;vf48dFQDr-Jy%VdD(it{>A#ud~K$- zqTJ7n>zi3kDkfOx)BIf+eG@v7Upb9YlgJj58fWvp^s&7g91e7|iaenP_L!GIH+l#284CCrW2 zyb{UP4CKcEfH0`U?(#Ac61Z4}xxTxCrXkBQ#88qL&UKQ{%s+rsL4pzps-C9AJg`th z+uWWZpw(pt1_b!09(QX%njG=KUX?zDc8O;aJsXbKt4V3jtfnR7!MOsM0aAk^rk4%Sf7vv zA^dWy$Nm`ugC|ZKU->M3eGPBqKm!&e@e%d z3}Ar>^8D{rRDc*M!o;$Gh;PY`=U`<>!SW%)#!$HZIS`W8O%d`mn~~#gDl{m@i+S271w3z`d8JTUg+s?%Zz@xYQO$aCDoHyL>r=vC)1M0;Qh+q#r*{$0|s^QbdWvDh|_!;MN=leL*S{woXAJb1&AT|LAUNNG@ohY zia%|Hm0c;3k%4*w1$R6=;mi zimLcpGf-|_5Rb}Q*8dbAp3C2!aeBRKhZr?d1hp@Mcp1R9`Dtx{3^~Dn*sm5b%Uhpu z*ob+AWCGWEoHgn^Z^s3HYHFR*j1v&U(-U13py=PYjrMp&TWMJ9K|0~GXmk=GiR z=RgFgV!4v=OIef^H3p0X3KRh%A#qY*XOh?wW1wKuOdg9$q=Cb6b)Z-|u(hvJ!byDs zv9L8b60`yK%rfB_(Z6VrMlVr6_|ja1kp@>O2d6;3fi!LspuL`tJ_^8~k9~pnLoHL} zw9=I1yOi!Y-RKXR0Fe*foZjE_$N+vjokoK?*won|WvEfO5wahHC@B+m(DXyNh?KAW zB;os?u74}ON|^S*YY zM>Td6W#u#_cBB86r|cd(e@u4!_5VZ7-R=L93z)3wxK(1aU3*f8ty1PWJrgkiDQHEh zocG_Sn7U?pt%vlF2+L1eZ6xe=KXfT(-kd&5x^_>uJ$66&`B-;W-n_I=37oeJS3aQL z=GUJIdQ9L&K6P;jXI_XIxKd9(R?kJK@6{M9zYycw9-!&i>3TuAL&JPS6!cBt#bopr zJs;jyQ!?A=%;oJzEeq|36$fiAZ%#P8Q<0Lqh$~3|G&#O@vph*PD$k}@taqYqW?N)e)syd## zYOTTNWZY5Fb9Yku&ZXOBysHx#ov>7~hhpU$ztv+5Zsp*j)rq@iy~!Ek3Tk(Yio(iQ z{Q)gT;RnYE_1_ksxMm&(c24x=(C&`Q%2CWHVak7u@a(A&Lr9g%mHxu)3x@I%)I0}R z`5jbE(JB!Dq+8=F7cUSomim0;kca@9%ga+OlW2;q?2dnNopM^vqB7!3Fd7J$7l zAT|r2Z!tF2!M8+&!^aEZbEv0y9tUP_bS#R5V_0wK2Z~RCirp3w7T9Ce=vr2>0kK2L)yME&YIsKfC9A$aI4_p#ByU{1C?qR@Qhvq0Lr1W zuEvUA0Gi)35Qz+_V9~&AWUw$aA3Q$UV)RIHxEhhIs{nZP{t&unSY=!9n$sX5=C@MG zJ^=bwQKf*K5(#psKz9KBly|Pfex#k7283Fz%VDXh6yxrn-1tHu7V)d_tG2;-C(1p+ z^H)Dto~Np4aUIz)m*Fbimb*GW4_sYf7DPUJ$N}p-->kNVL=rx(@n~~4PVcdx0DZZ> z6hKT^X(T@JvhHqHG)B8T8T?~5DIzlC@Y(cUfN|n09kY8bzq=Fp{;G);zvWA{8+3m@ z;Ukr++~Q6aTh&{Ld@2EPGMq4my5r$-*dXB-64PW565dy8)?x`d9zG0#FHUK=3V?+5 z%fVx$W=^Cr?_}~v$w+xDhXL#7fU!pi*Um+T;J1uTs?3Tg*Z?0!sU$&uK59Z*-5d(qTuzKN+v$mFuznep zGKQ7C`XntvisXloNu8|nd2PlGm5WO$H`5@uC(zelgL8ye2|I!pzzabHPe6ciD541C zywdR!n;5AW{%}Zgm&J%uGWm%yfeiTdJC1fN{y+?_QPKUxJi^HS&&PCg9=l%>XQcnG zgd9v(&-}5?5W9718>{ zUbkWu1&~#X;qiSX`QUE^Jw2bvmo(fu56zk37n%$iEMtbKjo}MO-lM-~p{aFl8tU;Z z>h9O420FNVb=87eu9qj*DY$yeUD*{?r%n%b40G!J%rE#{0haDlenq%#dtdS}bh`@e zWU-yBE46Q>Atnge6ek^D z;dv@yMtJI&eGktm^QiEzGQ}nuOE4Y3dNihPc`Ti8*yznOj@Cw3&A)0ZPR@>-*#54r z&N|j}=I?I2X{<32eVwmfb^WpO_LthSThpewI)@})<7Ld&btL7(l#kO&ThO~*W0)q^IlsqcP>6#j4+aid~Uh)oge6rVs7sDzNni&4HX@F{I%$! zavTw--pxVx$<_a%u|I73YH4d5aO`t=*}c|cmkVzGF>?%7&t57f%!pUATv=wBtPWmzH(|F{jxp87YWu()p%ICxwE zR%4PiA}GoDmlt4l%&oGA+kTB_l-_)>#)Wv+)l!W~D)R^%IgJTB8VQ;>sJLWoocs_7gP zes9myB%(r(szz3~SrNKB7xx>FE5CP@uWR#@` z1g8|yN%k=1Bj~|?9sEL=6`IRa8l9ONKi3+m!uS>gjHRQqU*1WwGA}}670)9YfY}V< z4CYHByI-{*=|8wp|8^+d#J|MZ88?Rtue1?`_@p4RcS8*Kp$M^~-TK?h@B2%sbWZ*^ zxbLdWET?Y52ki5*GgjD_#PID0s^JJbQ1x6V!Y}C@wC!rd z*g0Dkx^qfGezh3-m=sUsi5?v?)(1|RV^9Z8&HlPsmrR>?tEoAe?m3D7qz0zfrOQB( zO;#*D+SkQQUW_Ziixkt9j@%V0m0iv?{+>BE2Ex@s67=f-l;rt%oRU4$jKj{o(fYUK zoKK5vXjH3>$m%b4X=+}Sv8@n1A^y{0XLAj!KnDGj0mLvlmdp}cWyNZsL}i~Xw1%+Z zfLw}zE*!%DyYsg|RLyQ(lY6VsfkXc6EF%fsAuB$K6 zNc+{Vw6jn0mfz~%a}Z>VPzyI71&=M#{9(QIS+k$uN4lw-qlpYqHWZ&(QH(9p%JQqA z`t_9=1;W z4kl~d5u2QV=Sv)AKs6iK6RG2{(*LakbtpKslQCdup2n4-wO8KV_{YW^E*&n3nu9a7 zN{P&Jt!6nYD_XnU5rgwlZ-U|GmEp+jyr(ioydmL+Z59H_V2~cu~}hc`MI+kj4z`_$kN)V46cYKN zgOc|BXmyGqI38`kMZ(66ISDE(re&iFOtDR7*id1JZcjQyTd^pute}l85^#U%2KX(D zC~6XQBojl(Wphf-OJC-z-mz|+&PC!>FN+S)(JorS;WhUmq5%FMGT$;2M{NwOb`|2) zJ)QLx1v1tpN00{NtmnsI(R-Q+l%oF%gQK@)?S1ZUG|l?$o%Cp6GUxK8X^KT5{ogp5 zB&W#W+Q4P3dZ)#4ef8M5FO*q4YG;<)F~R{1Hy$N8VZJOf!_ozHCsOHBFKy4AqmspV zEm|pgWz6ay>a@~qA#dwH5m{(lhg1{H9TR&qfAt-jtMho}|Mi7e^E!R*m<|a+D4Qv@ zj5ICaDGa|YceN^9VvpbGobJ{kuB{JfadY+UYCsAjQ3paQB;9a=sV#2$-fG1qU zJ#i&J7*qRnkP7L43cy|mF=0*c>8!l=EmTbe0+N7(X0!_jF?_XNuwqKS$*M45c9Paf2**D2!U&^g7 z=LTECJzax^S(GIQtMp~D%!QYLQl4tmnR#}TgAeo%O*=&N?Dye*%bTTWbXn_ZS$$3z zt`NS5+APZFKX9-OFfYTcML1YF-ni&Xd_}P6EDGxj#O977Syc}a3RMlV4OJ2=^1YdR zFv-Xo>!*X(%v|OIGh|IgWLoFqoag4@js7i_^(}i(J2AaP{rx)=4C{kIjD^Vb*L3gI zirV6lQi-%S#h3onoSe(GfQ8?XSKDrT#ngWeZ$*AZ8kdLXeERDB0Qu$tVo@;c zB=&`zFMZ*w8fnPt6ZfMg!R|PmaP-CN?oPoiC7a z9!&ZKKlD;=F7AAY;-1rcvSIq_I@LOqkxaqaqWK$|h;L+2c2hSwc*(he(&ItcBMCPy zKJ&94rCY?@Im^!a!w#3V#JROmg(ypFoy+%kh$MaltMCIqj{(3AM$~Bh1dMSxQZ*$O*_Q^U~K!2N|DuI@i$W3$)3k;ceUU z-+=>vzrCEU9!w|aIV3oixtcc5maGdfqc3>jn(A5oLt8XaBA%*m%DVrx{t6uQ5Hi5a zZh!#$BUKKQ;PGF2CM17{VNN8HyxnUe4N(7WiD6I{RY~e4x!_2KZVi_b8H&8A>uLNbl-LtQ1>Gi zeFA=t1Z&if2V@P3k<#6fIM+F}A)2m#-f%3=E92Hiw{?lM9E#njNIqhyGJPlK#MJQa ze}fHl4Hu`&yMN2v29>Au*Grr~{az003|PA(2XNTpfGySkL!B46_Ye|p2-q+#zQ+eq zoy8YyJd)c);!vK0I!BUh`7J+OF|Tmt<0;J4-pUrCzy2&3-ucCLiZ-7^^R7&70SDK$ zxk~EN7uhc5p$aU^`wRNBPWgJ-qTE&yYyMD>4=0BCwQWQ?6v7EVQV6&B^xBy5Xg8ST zixs6T`|OmAT{7*S@_}Zl1wk)M{j{4t?COx>OVlv9__xn5Q<`r~4YPT5vY2w)YqSJn z_*Gr`p?`@x+4j`9zbaA$K5rpcSF&%eCBzK(C^^!twPu=UFzfKvy}$+&H`%ve!21jb z^dIfQ2`vFC87z@;bezQ*0cI~|)CBe|w`7UTuVePfL1_f}PudYxsL!f~CTTPEo^U*N zke(X8t2kitF`M4-OYomgW-dEw0o#$N(g0W1m~{*?BO`g*$iJdZPcO|E zP^ztj50)s79hd#dQ%fS9jd21F{jGOcji_Y7f4PJ4 z#o;A_3P;djCqUR_={%nc0ePMg#p1!Q3a3axsBZ_0F3jPNd2a1|->x0NQ5{`A%FTi3 zlu{eb*L0o#=kUarYILLNUnKnlA#3c(k!mcoIcaxi7I`O)+_Q2t04FgIfyb+L?4Gwf zW@&N_JeYK_>|)iozJ5C8s}TZ3x%=UBuV;j8f}?$FIOU!>jn6YNwebw^wn1ag2SJB; z2l#$bA9VSpD4x*M{$2uQB#?6P9skWBv|-L}F6)L?2%I|d@l(N9Uj ztc!0dhb6w_5xxv0nm*m9yVTiH@-^CKi`5&|H+Q>pVZ8p(RI4lSA{OMlRhYZT8bRkV zo4OZ4x@V?xVB?ZAzsL3-AnFOGH5zq3Dpz9RIBW^L2-Z1>9(n957G^_OE)36BVpy4F8S zsv0yRQq_00^Zq!VHy4SL0F%`rR-gxM4IaN8x)y9WTT0G7(r=6ZPhI~ zsKz*@n9QX5NN(w$^Y=6In@?^P9cUdFX1)@r$Fz?A5n_0B24EVZPJ-z!ASr`qjtCJO ze}%4*nM0R5mpV3hJ+3J;X9EeXWObx(lAUAkL`KewHXSrHOZf{c(4hT8iZ!g!+iRMm zfjOVgJ^C42A#rAv5UmmddRPBf$BQ}T>d-40HNqYkmS0ymWZk=UnqMlO|0dWd0Rw>U z6Ygemf*1Pqa(Uqt7YeUekPk{d>zyG~4c}}tca!}7rCF{cp}$~W!xm^mDGu{%AehJp z8|7V<5wMG0wA{bqlH3eQxjZ!4B!@HYwtseust>FRrBJXuzwKCdG&`>bb4JhbdFWJlj(@*qHS=CSB@c?!}d_9(AN2Mv+LR)}MH~rkZV{T7!g`;}Kz&XxNg?ptjF3 zooi1uhvaen|ArBC_MOPu?i8%tiFvo&S=D>7f0X;vcJyRiwLI2)3-ziKF4kL~%*hx$ zu1fNj`fG0K=~=PJ{N_wENxXq&3Y~)lpAK9q-0Z;C=u!tK z6>fFpqZArtD83iCSI>bd?|7~I{?D5%PorH63STUI;>Dzsq=(Bw9M|Ac+_R< zIvco7KJC_Dq?FQljr@LYMVOMGKQr2zO7}aQ^enkQslaxr)gQ27mZ4dX3Ts+!0$!Vi zp417zGfS4Hmy1=|`W^YBH&vlmT9NDh3YE5K?Dy>8R4s2!+Rn(kXY+LlZFmF%DftO6 zbbArUwbZbveJeqK5#wOvdG;q5Ls?C}x&~O64ySrJhBjYaWrlMtpJJ^aUlx-|Tcu_X zrsqrYXL%fnKsC>w?oOCVxo}$G4a{S-o8!x~G2TPNze(kj>Nc?ZUG|-<0_-Irysp&= zesC(+`sV@Mk@(H|DnVP-BL70o3JO>XA3HM!T=wPE%{S`rvDbtWQ z;gBfHrX>Fro|8|EYk@hr+5mg9;r1EpwO)aA9ULq%sB4Hp3BpTW1Vr((Mt698Cz7*h@uSg;%&!0^7_IeRoReY9WQ`mZ)5Y!S2-s(zgfov{vg*Q2gqOIXv7?tVfPv=xEZX9s3mXllG~B`Vw|D)Wdj zq0gBuRXolCmxWU=AIGD=mLS0p7>z{j^tgp~2Dna*7?!(ncQ5_heBnvI$vyoOl{(&e zeXcI5uc&5S8BddQnYx6HY6NozTzB}Mpf^$3dg!4W08$$Ll02qtsZ zilwe#vC!EEsxZ7$4$W4SZn@ zVTLwCc0+dWz9cg^yWad=Zk%jBBbj4EtA)}1$ybu8ePH%Rq3t}m?onx5ebB7R`yn_S z@PiCgdppR27KxDWTWZ*=`|qfP>5lU+2Gfwj^+KnYP}$xg)$3n8eti5xIGhX_`RT?#wuIA?eqz=n3wOV}4U~|lTM&HQ z;M{<|d7`CVr6>zhW(Wr<&V|>Oi3s-dij_P4Vht?laUam{@->$s*g&-Tb=x5&3{9DI z_@qZK_w@Nl8s{$1u2YORn~MuPnnSQT4jabvMs?kokn><9Wh4w+2KAdi_P#vhPfy^F z7c#UtO2qY{3YnVROqup43^c*MiT%XR&cBiJ!#%N$S!9McECsl=_yxrg=3i6+t$9k~ zUF8S&uegZu=rFd+D`yskO&yPk6NIG}`&9fd+3g%U&oYLeATWCf72mWZS~m@?+;q4- zwzWM-mtqk1B%bKcQO`7Aej&z7@Afw0-21`uBaD^$z9?8-9M)jxQRMm~Wf<5;Ap59c z2aJ7#B*f>tQQNq5zkZKQ4#q5yD94ng)qmLH76&U6|I0-VWF>REg+G@bXvua!Nfdtj zNvSy1g7I2cw4e5-4fRr>z#(nCU%`M^@EEAbuF>9peZM)PbSSDR)%y4M=_vTQ+`309 zS9~~e78cTUyB*F30cwN=0U8*kDUbY;yn%Zi(TzrcO{ zrqQH6hY%WRTw0NV?a93$}2H=u7bH(71Hq2yxpj+t7P&K3*(%OLAW<{<>lZHDVQXmFgctS4v(1d`dh1n z@YD>8+DBjC5YhtW_@jtoFaF&dWgyl_X-|}=ht}l2q^gMG&I-H@IPOKj0H5fx(T~+n zdI}{|kD^~};{AS_7#;SULDRW38oFjxdX1$1{9!Yu=Ca7`7!O`?7PKuX8kj+7=f?&BEc9ER^{2Z3g~*TWB`<^aj6RK z(yjaqF}tZaR5xlw|IlvN$g!wf%-eMy;(YdZW4)1(D0bYs2Q>lUryO$K`1?DzCQ}_` z33W?#ieptWMK4$SeY_*2mU}}*fJyQ#r>S=03S%lS2R~1*w_=+y*aG_|KT51qEv6-D zr-8r6mBnKwZ}!-qk{uR`Mb%=<-m><|%&|%jjb^{;f4IZ{L)AA^z8mf*S3+SwgdTK% zAAuT4k@ZrHVaR^L^xPH|aL;M=dOeT2xPl+{%YX2u87%DWfldSOg;6NNwSI((j+~3i zu-v1d0`NZnxA}{y1uElO_}A5YX=b-;Z(W8UrkY4QQMg}HWz$&L(C7gz0A|8~Gq;xbh9B1{}WAR7bt~q9Z7t<^jOXW<7oo9)to$1%unn6-xy$dkVFBw<>r~G?2zXn4ufq25Q%~ixG_A= zAfr+DItI!SfAms6bVK7flcE)igP-FmfS%>J8;>9L`vGW5@ts{gvscxCgoB6`D2YPO zG|qq+g;@jV-?FL7Bpb8w#>79=K!>M8ev?FYEcT|L0h*o5`O?)12UkZ46IcNDhZ_WQ!`sLd-zLYH`v)Q8 zG2dgL{I{SoSD0`oUNMi?4$vYfWOm6t@S~)TF6n?lEXSK}O@;ZFrn=V5?1qCkOb9VwV zKRoeKF*NWBFB&;69$<))Kztv=WVp{yA7ZRm5b>tH_ej9g)GUr|$}vzroF+vTvuF7c z>;Cz68(>ULOs6)lr}Mf6z(!aA4H2K$`GtkwNj89j>1CbPt1^ufPpkccAl=LE@M0fo zP^#TBySH?c!JTuIHoivpsr&qhKN+G*D$u@UU3pJ8U46MKx?}Vk1LZ?2lEDDIE^M&v z?~noVWEF}gUkeXj2;&HsT_|BU26%W!)PWTolQO|{xMKiy;g-lH-|%g*T%DCa8s6;114__ zaD0d|x*XC86ezepP>|BWAN_K{x_}72t@bWP1&;I(hvvGb90{U$i8o5u_Tb(#oA5*N zyKZv>qbE0glS4^DL~{^Olx2nYZ%#6oZa z3I7ct_^t028hLUqLf)p0ee}=T@|zD{E;W5S95Nemgm9=6 zH3%s3*YNgReg4m6`A;~uEXP3kQ?8jL#GQfHgl~d_A`W-JxDH7EYQg^2cg9f4a$flZG1R5 zf}AG@q9$X@atxF|^%M~i>oYk|Lhn3* z)$cDGE!6`h5)|KFfHPb>eBVF4JwO~0hJkRPdJFK0mUdhIYXc5UkvBc6MrbErGJ}52S;=H5Fbt`7;&ZV zDp#j-6MIpkF$#`>@~15i!TR)lk_IUT{M*F&xVgkA2Pxyeug?^qZ&Q&0GF%rT`a};d zc`+p3o}aZY1tfhgn<~S*Do}jEOCaPGUqwEUBsKL70ARbWi9>B+B&-+Djpw>Ju8Lv= z$E}QGp!`>Y(!?BBmZySJ8S{N=5$YzZ`CfJqnWQMzL7bd30k-hj1(70~HyPuD*KKnK_d z@em)b(n~+_`BR5ya>FFVIPTCH1LXriDTTzOPYy?Xy$qX*p}puV4_UYv%Okr+&ZlAi zN%!Djic$=aPtgn-5r7>gCeyxYKCw>A_vf#9g7T}h38bZUup>L`;H2r z>JS*!$3XdrU89P1u$H;D};s&sR=O*R@4Gb{lA}lj^qe%_( zqEj?M7Fr3@T7^XKQ@k;hB`!@M2avtWyO`96K0c;PIte%0KeDj$Y+(m`jh3=x^)tJPhYJne{uG+&-RPUVb&@?YR2#4sCh+PCq7 zVGgz7w0j5wk&zTY`9c}O5ty;WC>&e|O@Sml%K@+rtKLG1Ab=2D-h#C=RgB^=%foV` zcdiF*n=1{L;kT;O2bpyX(kr5r0^?^4l)W_)z`5b5D{edeL>r>T6W<*0sBm6-0G~(f z`Edh&hi}p-fDA5~lOsajctUXeL8}f=&Hxh-Qho)7b_MlGs_+IuK^p_8o{-y+m7y}m zaVcQGl%WhFQQ906_>O_{z#@f;50KsPd&5L8GP>N&d+unD>ORmzcuXV-8|2X^2oO&W z?oYV({_5in3MkH#V?1*xS{1y%08a5B_zYSDxep0=byX6~lfK#!aNSn0H4agZf%3r+ zv8g;Z-u3p=hf7w7!zX4Qm0#I1N*b}PC2?o!bhE5Q5gDvjMgVr`VTZ;vCu^mKr3s

Q_x)Mgr$}#QXHkRwIqbN#Nm)14*tj!61B5L;*RZgkSqwm&xM;1u%(JAtO7BU zt`M>WmY}{sAwG4 z+&50;jDhk&YixgbZ{zlzL5s*C@+G!s^toR`K*&kK2ysV~1kyh&5KF#c+rZb)WRToW zx5K6pX4{poJ2%q>7x8j?97J8?&*8cj#Oq3b3`@vCXZc0$@w;$lg%?bdfSwoRzH%>Y zOx!yL$_ISI*13mv-Ooo}NF1K)-2y;y;v5l8BNY4TH6v{=Ww8u925;#~1OR!q+5)b$ zI>vjeHN{H_n<^1$A#;H}S%Td59b0*)*H1HMZi76UAFR#;DMSp6Zp}l>kE)Gb?=esw z@C`R-$A|l--%jQnZhbBD4W9W2Sul=}K`AN;vF)Lp9*%{j1t>4wuzQuuFV`@xR-xuW z9B)rm^ezhp3Hq5o{6+ZZg)6oMyFF}r0HB)AyF#}*dC84R;Zc*Eo7hYpTa;s{9B$p98<49cIj5&1(I3hp}0Y2YdXxjI*hV>CY(zvhNwQ9(V z6o>$y`{86qtb9AkMFGg=K3B4tNv5na{VX6l|4%!0CiimO?mY&|2SoEm_;wk3FD)a0 zu6U`ZB8}1*&|Z(RLLJb~*t4L*vZ-yA#4}nRj!?UUR zcrP_nzicJt|Dbe&$)qAzlE8_d+TcI#10ag<@CM%xt-Mf(HZ={9&0)6gug&MO6F4Gl?!0`&Vs2ofus zZ6>NO*8o|ya+mqRHodBJO9@b^Hnyusd^-;p0mfq($3VIK{J|}&7=Bm`e=per&Q2xy z&0>VugK{IKl@B2(Fu)nvmm-7AxC#ncjWxv`L|T=^U5s zQu6MGXVUpZh5IHnsLFqtDT-tKy%FPQ43q#seQZ+0@O_LzNTE2&kLRPr9Ic8b1X6m) zhDnu~i!;=4KeTZxn~e$Isn81R0?$4v0KW233eECC4!qf(d7VdiQHA=j?DsP`b8H!d z;20^I18i7|<5ac(iMGXM%-8Dj- z7(xYO1C)7>!z_@J%mTMoULTZ`O=AcUqRL_e`Sj%D`{A zeItfR7gOZZbXGstT=4m@BpKIJS>d=`{^#jCSZ>}2&{p)dhr>WhZ%7GtqY)1eRSsHu z;I7<)!;j=*uT^MVPC0a-qzWlw5p5JQI+L}SBZ=apj{9$&s6Y|~Mm0ldByGew9i>xN zd|WUGKnoq-eh0c=Cg>%0D_nmEK`?>q)FfGDPLjNOvLw7=6kQ2cO0%&r2SI{pp?Ejq z!rtS-%H@UfS^@pmuc;UzW4^Uv1Eqi_fD%pQNk++=k5b?tr`b6AY!pKmL?VibdTOA1 zHKs<$^){O9a9_=5rXjX)3eJ;&T|Jwn!t0XEOEj?*4APF(;Y}e=mCU810zg&}{FUa^ zga8qS+;FN(>Sk8`kS`IGmTkayU?Mgq@Etl(CP;)ON}&lcjSNr{AR72~C>HL0YXwPf zNrXx}WJq%52qkk&RCHg!90Q^Z@52(lW-fmIGCEf$!yN=~de}s}bYKAoHSOqVzot?9!(`@0@&RH%75&Il>Paj5{*sso$? zli93XnFx`UjKClP1JtAqjm(xfCpFZ4s{u=on#{Ys#M1Z~Hc-N#G&3m_+8v=ve}jUb zK+|!RRlyHQKwulAH@eYAXdgr%poHLW664S;F3Uez>V)45sWwn;2_Il%asE`vVWQQI zRLF6L&-)Le7*-PEqllRbC~T!RZcxc4PC~3awr>${h1d4)-+2L($`&*boMqbX=IM#`ZBrNSaU_lv8~ zySODBCD%Ivy!r7r!DAIcGf}hLQYVy?Q&BiFLCP6GNe=<|2y}?X9`U6^TPW|WI4zM7 z|9R5);j2JGtS~8|ty8AM?A$ktWrmBNS5C;DU6~LGc<3xm{Yumt^ds7H!tu_S#-4XI z79|K=euZ(NM#Yfscizbzf4ED=12hzj7EC78fv5*?;0M9RN-ps<9`S z)8OrEa!@L)3yeSr-O20*soH zAVd{FnP3sT2>!~W|HoIq0wkCTgiL8=1!jYX2jB}KP|g-9Diehn31z&6HZr1D5Q1(9 zYk{w(Vdk`wE$m(htDlRuSe0dBiPy>!LJhHT(dFggJDf2=0jOF`Fo@PyP?!?**Hi*8U<<6w z!kJ|O_e~?z$*B?85pX}eKsh|iIwlmEdwyjqq*Wz*65;NKfNHZyBKG*UO7nK>Pn8lh z2Qs(Yky=u{o)iiko;s&MFbCnd;C$FXSt!7$`<_zF7Q2%Ixh0^B2!)`&1Bg+$^u+1K zX%SY@D{`P1?XYrcK}N^(MvjEtZZ2WtAAE1PhQpeTz|JdT-ma8ANvvZfEBCz(QXa7+ zi+8cVOkqR;^7hbK5-!(hR4x~jPwFg?Tc*Z+ITZk94g(96yN>-28zh1W8eutm!Lb@G zt2X2s2p>xjs0z6Vgz_)~`$pxAi3qqj{3UNayck}cp+%%=APCT6sxGfWAnP`2$Ql>2 zYBqGy?t8;>h&i0$d$q`gMb&3MDV*eA5ZE|GIegcfYMQ5P&yC-D$|`^{C4-tElcH84 zw-&zo1T_4cJ+ZE4FGcV|-^0K(J2F6Nz#b($=tb-D;cbK@l&^yar$Mwj*ISaZH1*0Q zEkm=x=Co^n)&P}A5s&~Qv~t(ml!lHxnPEGVqQLkWHc&#zcw*Rlv&59tG!lRIn8Tm3 z+44Fo{t3MI&fBlg0INm{+51NU_{1m?oEuh~0Jy+phy~daEtjLkL9Mjhgb^OfZsl2T zi)e+gn+@sDa}tO}01nKs2G=`M6fY7u!o@LRJY{U?K&gNT17`MIO^HxJT=$NmbHycE zN9g52YqK5CTuQ$Q(P~04y|QC@gM_{MUL75}IVkRSr&G08g+HwKFrA2!xENY(b(B4= zm8J051ejG9990@lrpEo~2-ruMk`!!KMF^^e)}#FPzT)&l@fV2Wr1#K)k^qci&hP`# zMA+8p`zBX4gI{1n?F9LmF6W0r^Jaf{)$c9f2s%1-X@XR&b4maRDTdZMB^H<1@Zhlx zYN|~0B4jghhOklfdkrBljL^&+6cjMPg%Grcc0m}(%sp&3 zq$>3;2^O&we`lsZl~g3AR6c4|a2U`>8Jww#?hNigUZ57w%Ls}ejXfX3xHD(?KuHS3 z7Mf+5k{}+R)-FvvVb8IR>E_NaNsSd+a+U7l<5pL1$a=^de=$0O$6WS#aCT&gB9{(m=yOPayZtOJ!8OD{@Ead0Q~h|e4*9AiC_>h zdAjC@z--)^Gkl=zNl6H6f+RkR0vxpk(V9AumHAw4YfC>mtqXLj-%|mkyn18=PZ-gJ z1FmfhaW;w+KzzPrE|;n?R(C~4d^`lnPw0)9tjsdgB42fvNEs|a`Y6JphseK*wWJxwv3^$3fCJDz`57Isi$2F;&opKsHLK5oT)8H97ECYV_Vg~_(cH- zj~kufxLEo}mw@p5E$Z;_i@CsB^uS3INfjn1?0Ru@sft)->tt@TQ{AvPXk0F#U8zN? zNFf9d_`ScYfe@d91hF~QJ!^uFiF+#nN`kb+xpS_gPi*_(v4H$>irLZ)HHU;OsLdmh!eW`Q*2nEMwe;#6mr}x~NiRVV;S#J8riU)zA(SKMqk=0F;7A3zH>EfrPh4i_*p~=OK88 z>iHJj*&ev+`P)06Dr{ z26$2Z0cZzkfW@DG{~NfaWj&%3kRD7#DR zMTHb}LZ0TeQNsb`#z@Im{lXeMwU+Zg%8zE*8JR;S+Re#qN{$#ZJ8Tlm(M4&W?Vv)% zH*(3#JcB{=SRr39!I$sK%Ek>WfSHwF=#26i_ZgJ;Jg?4F$_xMIt~;A?gvKlXdj(2C zGZ8NcXiR3|m;y);A!ov5w%Tf7I5#LM_=w)L8&9r*=PltD-{m12okQjf7JLEio^}uG zX$!Oiarf;2D>V_28MG@P@vfM4HsO3>Tk-3qa^_QN9BwSvZoPsB5WaK zi2B%qAtwQ0&Z4?lVIc$(al@Pnq`HFh6p`}o#t>*p`$@NJ1 zMtSf+$pd4$!JdI;Bzw+=9Z(XkDd+Cu+uJboX42h1O^Gu#bn+zu0p_<_Ibn6sLh{9a z$RXhmFgp31V-p-}s6!ozArKQp@eD7n60nkzhO9foC{^a}ggMt-&;b1t{n=v#evs{V zzw^~+q#BbscwGCq$CO=+pMwO-ltjP;LLe!&(KZzkqrT~l=SjO)uL!>L++&U}@>W{` z5(3Pk)%F^aDX}n7c0%Ui+kzTg8l8vi0U;w&A~dHG6(VK|4)NwNDCG4g3xi6ku6Hz& z!KG+6S#gDfK=}FS?vtq>-qob()~n$e5S1X}1Dx9+%F#9GUDCAq)7fKzJN{*-G0e1Rt36{};wc8>dk|I^4E z@(eFq2%*!BN)EA8N&qC}^j7$m#VYv~#o-wa)oQ^efs|Ktf?z(Ht^8Juj6dAzGYrg0 zT5T4kbeFh3`}DXo=U{=7iUtTHB`WT|Ha-2+shK#l6F_jkGq@F2d zvd=?kNc92`6LORHgxg&}tv;DUy98_2gwZLtpon-`HV7H^_~^(Y3yUV#R4T*_laszK zt{|8+khMYt|1|?;0@}~U3g|A05-tD$AOJ~3K~!NbP|j6ajqb;bo^i%bUOxuPg9S?I z6%VU`ApZPGPrY&%0QcC8vDs+kr=GBPd$ukTkyJtKS(JLn{?fX?D>d-!MVN4LUu>Lr zBvC`zgR+5n-#k;aEL)$Dgen}qaD*bE9_k+CIudzU46GKVJMk8S0wad zsT0hn*G!Z+a+`Iu#;kLixWb*g$7pzvKnYMlg2FAQ=9_Vim+J84!wxU+#%BO`{jRjp zqo$Ewkn)HVjt%dA{=VuvV~PSQA9HbRfuCX`M_@y!X^3T| z6rl(Vfi2ex5sO6F7p|F`l}Zns3QFt!K=5swWaS0t0(;cd9&x;ciXu;SwZ>4N^53yD z{NW{IIP4QB$zH>O05AQD&!`7@;D%Fw@0rU{%ie6`$1MD(BVT;svmyYAy&qk^AN9bW zRD1AL?7cBJf1ZF+3(?=B?(eiZO#xtPbyxCIa6ht4z5^f*(d1g@8q@XJ((0X6W>sjR z(_B1mN}#Opa_X4?Z@sXy_MWd_&_@}hLGAE+S`GoMQD4D11&cG2?Qeksn2eJ;4);+*ErEVLZKH*8&cTRVrw2mOG+M3|2d`G_zUjS}d# ziyB(Zp)+`bq$S^;OB{(7S~W=bKDr?E2$82 z;0lyp0ZzL$I*V$z&@lxz0j8)t_G1ucNn7*mYv$CzpA;{ZVySGr78Fp19tvocL6<10 zLI&O72*2E@Sj8ywz1589j@;LbY}G~ z&@e{IK7i5;?|IKH4)+i|ZOIc%rBE~d7rcfdj7X!yXD6iouMYedba^0W^?T~74Y^+x zKvDaCP$alxRs~XpBIJ(XU#yT9($)vucc8Af(u1ZzvSI<@hq7{Nby8#xLV!<1t&>5e zzzx=NT$LnZ9HHz3C{;gnN#?;b9Qn=;+K8qFbJGaJgE|Qckc?7{%9@hM_8+VGWeHYC z2Q8%#$)`G#HX2s8u;E2O)~iJre$e#yA0xo8RmTfSy%`>S>SudMgSKQLFnN5)%G*Cx z^kL6xA!{8Tu&He|hG>}U{-%V() zM`caX@K5Dkr7%)e>VV4p#I$rjo~TfaK*NJc$EPM6cYn@MRN;DO8G$cWDZ>sN8a`6F z?j*vLnNR5SOY)W5Vq!TK0s;eDk@ZC>g_tOvMG1}#%6@>7*tXD^h)q9td#gt>*=vB4 zpZ<#i9i`ZYDZY_Ij*oq(0|^f>n?#Oi@Q8`}jx$O2GoMGB~yxwNQH` zt?A6bU$0N{bcducv8=YW-yn+5hP*R@UL0)ruD9F-M^<4+RtnpLpsj+6D})3PL|?$Z zD~gqeS>!-bYxrMk7Hib61Z3IdIE~Y<>&>-bhP}r&Rrm;MnU}=xf0=l9jW;w{HaiZC zggsfH>7_5>3KK{L!7zabl+|6V6u=#a6s*>F6c`|L-7xL#`Mg;9#lW7o6a3ZC8Z9|t ze4V7Z#W5Q83zT+093Hpx1VGx47?Yg(1*OPBeS0cUI41~T1g`1ax}hOq^3B?oDqK^Z zBk)k&3>GRR!1pf{lqw@Y28ChfX)MCJ6Pd3(>kVKr00;?WeMuAwczq!VW0SH^pwusU zYqGPI`CX}#T92Sb?b{pu*tIo&!Pll&b;Hr}fIigvBvoDNaw$hERlz$aMl`Z_R2Nz> zZIl!KN0UvdbiWk|igcGE75$7w7BTDzS!N|sXJHNj&csO@<7A&eX>ulYuWykzofI37 zpb9IouVgpLZ`E0@)WLMdC;S|DQ58?b1bmuPPj4euQtmntyp;D=SRN$aQeKs7)iFv1 z850_?0K=aesZ~O2o6< zb8H=pO4$(~{&Vb_fOa_DS}3Zh0Wk9*=vKCJDG)LfXVuj$1VoA-#%^K#dCt9#2nGUC z>$50TZGVP|F&g&kdIRl4{Qj{0f|o^k1kFbmp4ot3RHFr)tW$Omof?s*PU#|`1u87> zqk&}Q>c2I(+uu|sFqWU-Tx5`5-%(}foC64e)gBA)Ma8sTV4>XPsPQbPJBExYth6*T4lk85f6|DxCex~Jee1Pzy zCkQG@<{+*Q2%o8N6a?LYY+326bNRs>1JS8?_Qu-|k`o}mT9E3SlMKU^p}@jE%EB;D@TpC={H}y?=-MVT>&m znB+tMBJBitrj;qaLHxi}&?>=_ISghEpxM2wAJ@A88b<~X+!Rr(0|c9GMt6*#zJOAx zfr?x&b~3#K0Le<}$`pdPgf7B0{UBWq;BI6t6C@IA1cCW1&W*va zU!Y7qp%+{Y53~Ns_nAa32B`W?h*?YuKnEG5{IQ7tMvbm_LYLD3%tj-Lc#;Rl@!Os| zORK_i5tOAKiNC52u7tstce=vf95Di-Hv!OYAL2$BTP_~_V-Um|*@NtvT84?SMcF4% zMoCZu4DSdiS7Do4Vm?3s(ganD211Yq*7EidcnPi3^~MiZGtG!ZU<6psQ-B9~ft?I! z6`v!R2zGmwz9T}zv3O6rS_9rxh&fne(ybqH6DZ&w5HhhkOUXnxrw+zA*)LEY=+jr( z@)lp1_b{PRY>)sH4d+Ce$eJ5IIl##QuN8P;jjja2P`HSZ9D%8J(Zs=vw8#2ZLAerN z7_tiWjsj%#?k)EgK!vWi8YImS-A-%rE&aT;fbcjt@Eg=RJKx%{C2wZq63V`Tvd2!B z1Y5gh>1G=W>T)H|0B%470CRVgxBS+`x+AAw`r=y+y}LE_^M>Uzy3b7)MPp*7zD@05 z|GtLoX0I)*)+i+b?!Cz~2WX^JG8|E2RvvdJly&?fdCya4d4b;GfhMQ zLhy9=9SfiT;?Wbb;ly*(xlpuYU$7u7$|e~$x9f9t^CIN#xPLUxSKwJ0u;B?+X(9m! zeVM7KikK)vXfztvTwnRn7g7+6C9iF-e4#Ok+BO7u!xUB3VTJ=}TArTL}0(ON6^5lw^yn$2B7 z9QCmsMQdWw#aS`q_QS!JfSKdvKdMd%&d;zneD{DwJM@bQg2coZo~(unslt0KdhC{L zwyf1h!MPfBGaMnQ8EWGuNXWB>m5~%3+miO&z!1fTQ(?lM)aEu9mAn=H#***mcD(Fo@hYBURDHQ$GIjcc;bTzQtm3z9d=t+O@s5hn4=I34}>X;y;Sj#~6*` zhuvm6aTcs!?nH1kr>D43T}D{MW@WPFii#!%6?8bTY7(Xup1KeO^e8Pm`Ca`a?FvEr zB`mvTM_Dbv|5W?{J6eXRHOjH;eK0_Y96+nUmSX~f|KVFeLIxp_CUZaw#H%i7zvG>6 zJqEJeZ_0a6^y7&rNR4@bPqV%onwmR8NOhy+atD3U038)>2dP^^=mx;5>AcPrpr{J8 z(k&+h#1tCpjXpYan8RA12H=5GEJi;0q3_a1po-_{y)=UzRLbI zYLadTi@SREWCd(R<|1B-RL@5VAZ4LM*+-;DQc`<40EEJ7t+y2*G+JHCNYwp4f`L*a zA`EhNfCv5&G!4X4(8N560g?;VVsX<=`xo~A_Um48@1A7+32qbVpRYhbqs~F@sdd7< z<3v|fvmjJ*U zT4%4Tf~hQf-EkwqPVk5YN&pZAwr<)0gw95k5ADhI_Sk>|B!~h?{}xt6L0mTX1&SP) zY0Z4>!=GBaCTc(Yeg=U|&8(Z8SM&&fp5=mTE_gnb~BOk}}or7g9Fmw9JtM9H~13a!8^ zlBz;4xGKPL)44g~LmX`qfFQvfB1uwih*i!kA^?0yDD9;hH&z%uc>UD+rUC-roSFA2 zph8Pa(taz;$-kyZ73mx`gJsBbBH94it$rS;RLm6$?CW73z-AFmp-> zmRx~Sv0P@uVS9lC!mBw3=C?w&O!=^g-qYvM?4TVVvQwn&?2l&T@6`0OZqmUvu0uPyFQTpZZ^>WajUm^*2vHZSI_(eLd5;Dr0QHp z6QmYo*2-0RvyYWhL13L_n%yRd^;vRETy&u<^Usc)L5UIQK$nN{opL_>4JQ|EU|1!8 zF1-Q?6(oYddr#AA8x!ptb@Mie+WJ3!O7oOsx#?#LZbYF16G0LsXb)T>D~`1&Xg}ua ziF9L8W9y*YP9Uq@qBN>OE(9}2vqE}K!Xo8f4+IJse%9L}6H?v)#1N~q%+wGQu_H|E zqxL~GEe1_VJQ#TW!(+klgJ$PwfE0~*_`$i!JL|}+gD7baU z|Hs~&hsk+WcmAJy>eTIiRZ>f~@V-d0rd8|gj|HtrP&LqRpe|z5 zJvbMz++^V{S?ur1YUukSTvmmgdqSNy{3W#?^zQd23el%&MZ92whKKKZS5}uN-FWZF zx|rFQXwx3-w|m9x&y(hLf4%)pPYTy~Sro>tMP2~Eb%x47j;_vB6@7o_N#=xj6 ziX@WrqSe3iz4XsL*N9L`$<8ps#egB9!c!vblM{BcR?r;5!0 zCxgk+Z=5JZlJ_xr4wF$L{MuLE`z`+Fk3on*fj3G;$<-}*>+I|IpZ&jnqcyk$wQ~Os z-vCD zraVGQ>~L9# z!@~qhhyB0R`;W5=0?rG@&q8sd`+aZNrM`FlpMnk~RIvR0X4CX<=G6XI$_@&+I4=H( z_h0gD&lP3Ud7tjtzq;FCc^NE8|`YZdXEMtekym-Xi7zm)6;`*ij zfdl&cv>OaX2;Pb{-ai$=qzOUF6I;GwZegCBG5xr|!=fggX?E*AH zHFf75o|3n^G%GvjLQ2tYrhvItcFpxtJFe6wbNdUh+)c4+D);9P-{&8UsO+XPSG&ma z=`ETBk=7rREYS~D;QOGbxib6wkH{U@3NBg$K7bu@taC*UIEy!JeQaa9*xS3E8P0l_ z^NxPYO-;Z|UB8^-nrn?*0VbAE2No-1>=+`4yLS=5_5QhT4fIcSL0n`y4U zC&0_H+krYFzt{?we#e{axe%lxJRQJkKPw%?9CN(Hy1g?@~eZo-lE!jucfP=|K0EY#I_1S29wcEt~_t* zhDeF+an;v@%pG*=3i{m_oA`f4&wDPtBB;998+WB=wZE;Q!{7&36wjDTsXL2N#&*O_ zTgT5Lo)3Cp8tI0*jMPYI?ofDL$(|$syMa>Z?VFf85C{INUxtbzVXOLE_n{7 z;?&iP@L&pRo@=56yk{9N)=Z>$m2r$c3yHEr+qZ)!bF4el-O!t>zx0-ipZ2n=-3ET` zpTA0ed8bD!%T)W_kDLDGPH%3mUVnp%q^aJ^-@m8&pcNd`14*9#g+mAxi2ES$FPMtw zitgfs3{}_@B7Sg3vzbf#pGit9ukz(LJcUe)UcXnUWWKR;C*-wy;1S)SLK%H|OUcZv zwR!hFI7X8#jF$0SuZRPA_V9bPv!lY)4{5*6$!}b~Uhmm!MEYsdF*&OCkR6_bI;bKY z?56M7ezT-VpZV+`w3+|e`lENwr$mB&YF)nN8{y~d1j$`yXLdZ?|J17g@7G$QxTrhp zwtjoC_63j06t}^@d1n!>;vnc#lu(i7tKaP+-X9A>X|C^xR^p6IJ=NHHn2601DFu*6 zUr3$lJ~BU3r_wN^bVcjdn!fbVdWA2>UQI;Kjcl!*%L!8{(7tob6;hgr45}d)$0%_D z^?$lFMWjgS&RcHYvE>tf_9-W}KrooXy2k@FDS;?|tyNr`zZ$IEsW429iilTt6I;s zF#t+&5tGo=8U!VpVkjzdZ~rM#Rzhi@vjnBy(_KBwMThD~4eK6qK^#r-gNy$Fy(c>R zYk&Wy=7;8(2qpV}*ADyNj34oo(h=&asF;3(9h7Y9;z+rG^p71(O)Qqa*=po-16eBKue&TxYbD~`V(p3#4`S#CrEUm;ix|b9&O_mZG#(>#kwS+1Qd-IWqaZ{n4pp7SmB)_+aUJ;BZ*8sEv19u? z4M7X~b7!o6XxAb0v2VFLGUI~OAnJPQmtI40&j*?3?H?vm^rYVGvcoInEnhtu5|Q9d z0s~Uf#E>Z*T4~t?F$UEJeOLkAF-YeK<|K)2wU-9VD5d!8;ma)-rHo#6SMr0 zSd%di@j}!(TrB_qAOJ~3K~%mhQgVSs+(ZJ3%J-j>qQx?3QV4*R8|ORmpx9 z+^gAIu*Z)CF#&S-oVRl(q+dQ40e&(4CY;PEr^hKv21*;0XIJ8gIH(`IC|2dCNFi8t zt;88#8)i41ngY^7y9}aD%-J541w9*LSxPMyzI4x5A$`Af#z2n}#8UKARGw+9+q-yX z_ft}eOU0TP!s!*&Gh0rCsxOAxE!uOX~X_1drK4rWR&b?*LDUbT`y~*?)o)P5@azroY%lb`CA;`z>AXK@7$b zFQ(#ytjob%sjaQR&b{jvckX-FjJoRl7u|DPkJq=?3)65Ki@K+`omsS$#>#`TxPI!9H8y{x3B^hS%U++^*GSrhy1C(4S{Id^WPa{qWHE*H zhTyj69_<~FcDM1Mwu?B*|3FvR`65Sp9p$4@c*7xgC4c>Yn8IeB+Sc|ih4pWM>T@@z zw06&)R{QSzSX6xMUp!WR%&1xHcsVA-k{t(G)EEO-88Tb zHVEb491+U|OgOOXfEr$O92CyI`-%kgGr2*bMwbE)B1NUnqZiUum|BG=dY!jk)?oFl zRT;S*hkXTR7m@WwOjK4gmAI>eH*PTt@<*lg!jE)9=?ldjfEql`p_3wAz4{-|mx#E` z?zqmO_nPC_?dj}Gu6W(+uRByDdvX^lD;YzDf(m3xo;le6k4xW?NWUGVI6If@m){Tx z3T=svw_o+fswvP=Oz5U%9opuz^ytjy<C9m#+!qeTbn;%C%dTpEezj=^?I(|ThR6}0^)C7C z^S>^L-n}3I`RLQ9eP?oV>s#sBOjj{~a8R4Tdx?io=3^e1ZNr5Q|Q@df9PTgin) z?!rHGQ0I6s2LHaFk06M?zhiq!DJ3|4{%_{Ysy?rnLe(2ddYkjU`$@7AUj{u&M{#bF zZhFS^nHmS%5q)Dy$j78nku{Wi)2eoe4TcYoe%Za9rb$AN24z4ELUToPfFu>bapSIKEFOs$l5z5V5zAD<)8N1;x1K}7Ur7yr~x zWkBT+FY=-6O|9tGa#keHXt$>`z{zsS&U&Vt$$oCXQ|QvfQMG}zSlZ~aJdDz7gijFi zlWr_~&_^C?(fSckYfe1~anV>IZ&E>;K+3LsB<_P4bayoeGg>mMq~8)3Tm1L_MLG_4 zZf?Hb9Cz|H5y6ka7*w+@@p=7Qdg*~)n?wj7)?pu}A=v2@fZcN08R?$FTm{5^`>&yb zZLo4>Y@~xVkX2LE__H3ji0RaxhDl!L`078V z{=YhR4P`K9v##0^LMlyIZ^=;dwO7tZ+9hk2fx!tb#)?FGWNI8b!c3fZZk7FU$qkq` z2q1j^1?%L#6Ti~Vlx6_BUYoEeE{*0SO3o*>_HFoES=j!?JzxB8(rNduyL~w#U9UfbAf2cEMsUN5y#^9)l{S7ss+%C)mdh(^#zJQe^!-Rcr^&@I z&7Y?~>)%-{Hxc=AA@{bW#BJizV0lo%KRC^S^qoTGviSX;3gqSBR170igmNb-(pRnWCM;L8zMJHr%aP3yh4Kz> z`L$JPu;=(&Y_8MB6HONf`Rb`i`(Ku|k*UEVcq<~(K)R_pK3U7HE_1npB^7ndL)^{B z8)uZ_NS%1J&HTu(qcj1_2-$}o@Ey{}sj#3aDFT^6$)#s3*Z=+J-uUOL4K&?*b_bL8 z^mnfGT$Ul^QWDp5Q$~bC+K$MH%V{_nR+Z5B*yoV5r25w=vcNQO#p|P!e{%5)@)e@$JYzl zxC`{$|KNm|EOKMo3ST?X->zqpS` zQH07k28WA{4Wo2JRmAbqL^jeqOMZXY+=g0~MPb~XPe;g|E@)Z)7^P>oxn7a96|I_! zMaZn)_|Vt7`=vo?5)T5_Sd%^eMUr#B{O~{vVF_P54ZEauQPbvOp5NDB)j4j(^@Jc-XFN7nYf%E^%DTx>GToUXtWD2* zkvP^w$WTq>=72OSG}z^zH`8)rz|@!Wo|f=L)ikA3VSBq5^O!G7k;nunAOG?0K2UUN zU?W6D`N>3t_%dXjg&Ktj=BX{$%f7i@!H*^gtD3C-=s-NhF)j0GBUxy%B8e2AmPT8a zKYba^xq~aK~18;#J6U2#kB> zmj|4eHr18-SoF@8wGL+sO-^BSuEJaKJaWatXr~cxyl5sMw$Ugv+8z?T83sjhi>K^Y z3USYJ096iYyXBGx6Co$hGBL^pJxgtZy8`MW=)FDB>sXcxavrH+=7JAUjmeZ`%Wv}V z1JbZfiSFIgI%#27Mi0#D_}S6d+4cJW^+p)VWfzSL#QUO1i>H7I)*e?Em3Dk#F;$a#PdF8fD+Lz%z-3~Wyqz>^FL;frv+pk zgQ<4rDr_ZA<>TVy#u%mQZ6r2GQ|48-;Yh?aFxkn#Aud=D9DnHjMGW&0s9aNt$H=%TdwR!sC z{Gf~PX^v6i-jeOwR5MUIjg%w=GsGu_l*f+i?VbfqCq+6S z^UbSb2<2_zyBlaWSkVIAn`y7=rpg2QOKlj>-obtJi|dO zYPdBbeXL=b{}d@2%jKY8A}I*O8U2?Eg{o6-Zm*b+zZ#0+=HP4oIl*(IbA>|)K}CF$ z$vLJNC0er4PWQ{l-E-rcpP{eq`i{Y>jsaG>Rmjs)_^sI+>5wtN@s9=8`{CvUi`3MA zqVEVICXEb`hurPV@9x(_AY!h?r`+p7ZGIDWGw782kyx?9%;d3g*OTWMVU&)#*07c- zljf1C<`R;h{(WP!9;(*;SV%xaRg?>@1-GV@*wWy>tMhR{E-=>y3a3qQo+?Q>u{{J` zV(EH1(4mJy6O!=mLUA!$iKY#cI`d-=D0Ln&s;3fscsX*;6@QX~oxdK z4aJ~b@JQh_C+j9=!b>6b=S4Ws1R-&D9BV8rTCyXb zh(y{hFw?-u5yTK$_ovs=&9d|}_#RerT=yT>NRbADl;TP)`ni4k`|}tRN_ngSr9gpd z)wId9EQ8FNZfePNb@H>vhEAg8=2K3KzV&Rbi6pcyL?BwHoSdc`92!gR`pc5{&CKf2 zyWT>L*6zD=`}^rE9oQ5WS%Ve%YnKuIB6ZLQ+mf8#PZ z6yl)0F*JTwdc)OF*xjK}P zVlDmFbh77&xit|pa)p`lwvMw8ow(k|9#CeCN}nGk$KNf3!nl1LdhOQO7@h<3e?TH? zo^8!UZ5>R6Zo0H?Z2i3h`b&`fg4rf!sAVud&;q|miY>j9#-|X1m@^e+^pTrES4P&U zm`;5r^^?aQP-3cu&8u_84w_Hr$ekeZ;_+#k75A0V4pLRO8-guIr+k_!-rjD|hRtZD zb)>l&tcjYWqIRznvWYwdolkL3sTa{!468&rRkVG7O4^v6UE#61-v=8; z;gxb)v|9Q59MA?Bo&)$-c6T31)kF;ASOm(!(@QQpN`sQ#!os|s^k8bMjnUrbf(v{^ z$PEZ57YzK%Y2G5evAN!1@!|*pYBW$-@8JJC)<{}6oRqPfxJ2Z6Dca1)lp3oyMpxw{W%$@ato7w%Tw&A8xb-MTj0-bVOrB#CD8CniM%8;< zK)DW5`q$%gK|4j|{}PeTo@zqK*eGPp%AB5dMU(oM6e;ZR6yh!o)Ne}txjic-rGGP| zC9U(bm?E`aM`7d}x9I(C856De|&t{=G5{j99msIRHY*zB!oEmygd zen=XbS%eyN@1M%`-v8a;OmDMH_A`3Ey1%KBq9m(!w5D=*^%~5FQOG~Vzq7sKt2&Ue z(c7)#`P%z+x3=FXlNk`lE>La_0&6&#<9xoJKCX@W_(aE5rkFBGoCwx{l#h#g>D)o5 z6}<*$2B`w16hP4iTvz4lV6T10z-w8uoppr`E0d@De;&uQkz|h5L6W{ZlRC;{7AW;B zQi#@#uA=anbiCgA5HdE5(kN2D={r5ro`$AJIiB&kz1{sUXi`4Oz#LNGxgP!UXD*MY zq&BbaAu@y>`VMyb8Axzk5p?vPkSU^DND&u^m`_?5k5!-~g0#u1CKpkpe6?!X8S0D; zqg2mS+(`2Gn9+b!D&or3Shm)thPAqt7bkBaRC)9lq`e!Dy88FkklbVwzL(j=zHGxt z4t@I&N!NKsAn{6EC!Y5)3zYtEb6Y;vY}%WW|Dr$h@Sd?+Pyv@DDJ7L=7@oL)db+zO zt!>MC@$0U6aoM?Q6vTd{qE z(Yur92?pigEPZt}0;Rk$rP$HjQFS%QXCMc7$v73IIc{PS(Mm3j#G<+g*-r|d(O@nO zrAt>{87n1e8S%JR5v+(ONyB?T!}YI#xNg%%_tDqkW;ZN=xN0^xSjKh45UnqKuA83- zl}F<$nFciJ0T;DG|BPs-U#RGg%{qvSpnb%{wo3!O*QJBmm*oM8iyI{>-l;px$v$7T zE03^VbU`Iv^9JsQ^p@cPz0^MxYdmr79V?oc2QSL+rxcvSOsVsPQ9f~bzUK!!<%v1j zqmogAC$=^x9Gi<~?)UZE!?Dg7Ektd2l8E#21|NOdl4XkKr};^1(~LKnBXF(cd$I6lux|293wwL?Bu9)y=PwvDSoN3%cme^ zC*0}63}Ym%Ulilw*p}{UVrCU?-l=bsNa@9mu7Y3=GbDPwc;SaedQr^_^)2ZF@y$a_ zx~yC{hb`#H=tU|FKD@F@2R06dK2GW=zv((eDRvAn%9-mDks4z(IlEjDr(MKb8W}5n zILrazN)nN2K)6>_>MA@DSGq}qg0LoH&RGYTufB5Y8%OAR!<5vYPiI@4GsLUF)!pAr zMBGl%GSvVO+&b^=_A797lJ!1_Ibq)kcadLafBI9yuts!HO&(sw7pW1(sDRh9 z)J40(Nijv;#P2dC66sY`SaYE-aj~Mc5K`i&Mt3EcnjlEAz53dNNSiO#(hOhd@$nVz zqYrVLy`4y&PFFIMg7ZVY&5lAonR!#d{@+GTW%PESwSIEnTJ~L0Imr09GKy8XT-lEY z(^eW7E@mj#CnwC!v^l2Y0-5Ua72y&6(E+r&Qo3^GYAMqfc87O#1i|ND52OopUPoRn zp!&8TT2DP=K}mIjg2yOO&N~hfU#ih2CPI|Tu8Y&}PFwIMT6GWoccF#6Re-;pW%Rvq ziq%&Li7lvlqrqCG@FJs6>oudh4-6xBuBG1vs^Kv)ara!^KtPeI0huQ!tz8@6TMfo$ zPM%{GC@ZODJxTssLlr8D-gWYGZaw8TdgL-bNklczg-y|JwT_!<#MjsAUA4`x5n)!O zG1C$UQ~#79)FUMHB3jJ0GPr<> z)T9U*VRB!JXZ71s^wU;nral-|TO`9PVmzIGyY)xp(KE{b5(JxYbiyc)X`rkeiAeHR zt7t;%KG&`Ny>ydy#b(E-D$Owg_thy;bsC7(sxzNF3|DJbzRNH>FU^RaH$s>xS!#a= zkq8yaH^&ke8E$YTqx#pPbKG_%SB`wOc7(uY24$3!=a>ab7h#$d{t>k%k}K|?y)fSs z&_QR$C^#+%6g_7jks8sXborUxv|_4Ow83nu)Cekl`tAPBGCK90>|RNaL^{hT-%MTI z7l)LB7jRk8Z%=WJZyxo+Imy!oSD~d{ALGGJ{+AzTfzV1Ai(T z^Vlt@3-rkrzF!*{TV=w>B}MDswP2xCs+rfUOhBfRk@k)7J6)R=h9TAyu%46B}He6pBB>xm2s$Ow~Sv<+=0qd%SfMX;On&BnobId@5(^CK}LySX48SJ9Hs20N{!x{1QAsHn`4yH zUea-T1>kabaln=^MRZ}Z;z9ntPz1koIt4G636nh5fzkxynsq=zN2%}U;F$7vx5OQ1 zk6-rCmEtaM@!m9I4OB8$Q?V<>sT(mzn>8&#Pgp%0`_damSHD@Ll1)OyI`AUj9HSIn zQe^hJAdS`WNaM?ap>yhqD0R%#SvvK_zWKz-F=WTC!F*Z!A4M)Dk-H9wtVp(mr-a2 zsC&uSJJ)z$&YnQu1SlQwawnMot~ev>ba2H5slRx>te(2E9zWN+&T2~cfE4+Q2I{|6 zJ{>1}@8U=IpxF(_*W$g@8C^^o7x`5CM4!PekKp9!$sSgE&wTdj_)=!^h#b6#)kL(2 z?$|S>`!BW0nA&3=C?EAQAbkiZBR!(7pCh;nsUL6!41;Z1uJ2g45GRbBZ@v%IqSJ zNPgbx*q?lKG0K|q=PNs{ng58oNFK#mO6*RbKOw^?=6egcab?02KRh9n6QFcFlXIOC z5B}9?1tJCbC+_KwpO%JOA> zi3cw=Y!pF6H-fd%vH=|*{?RlQxGL79_=QoH%^j7`Q8_cm6w~?(Ka}8%Z6nlKD;aps z%_p#PPRD6j&NrQKZgm(eSAA+QkQ?) zh%ky#Hl~zo-j*DUl6_Jibj-Wn(4%_Jj{tWeBa2a%3^gUmbf}MU$j2k~(_L4Lu5hj_ z%-y;wc`Tz#S5lltvXN0Gmut0 zRij&LSGxAluWIV2zhAy(@Wj0-HjPZT$o%HS*GA_$sIE`bbMx~XM)Va5s>vhbJ!Hxx z>pgM3-B6XE770EvLZ4V%KJm5V9@rVbgcrtn?5C%+W^@d~M5y#PkE^P+FJ8vuCl^#x zsEiKCHlMWrLD}@I(Y-;>=2rCdWw?zZl;e(HZvB<26eCZPImbFs4yttp-{^@Qqx&8M z`xqL$p(>(2##5TkB+{?y$nyV+Bit$?565ykbm}5uqYJ)$WLrvSZ5`P@*R)bZIvMlP z#FM4)Iaa}WWc5jX(1cMAUd!blTLBwJ7<`v6{Lf?$#C6_7#@Fy%UYb%QMmL?IIJ2C$ zub24+UA|atX(x|3Ze(5Nwq1ObYIRj{h)>2Z9_v6U z13(aTJ!yoqVg##FUt>d&j@kICv52jR5FU-)4IRh|8CG&*$i9_7u#6^^f0C5=z{tv8 zwh$@xM|h!S@JjaV>zJvGB4nh$ibE1{CWLYVlwa?Yy~#b@c{wAp3a9s%52pL&eSJ*F zxZJ{Zi>|i*6`M!2+X`BQTY9yfw5$hklStohzmWny+>o)+gCw~+}8RJHWx~k@ne`L+W z{P_=4S3~dlFvW%Scju6Ox{S+Ea!2NaFFcdMjPW7vGlstK#uK*9+$WYtXt3Ivj(+<@ z4xl~&03ZNKL_t&`^--v(x?ixpMOwMDG9A3t`px^i~=XGmLScS zqB_nYAFsGH1$%zbtxyf0swjwGvXc<^BFoppn2{9lYlascVp6Fqm}-4vJP>6{umt=Js*Q!07J??Ux z>>=IbKb9GRT1CN-GuqSGn{)PR8Q=7j`S#lQq`2f^4$bO-LbY%8-Z+yox+_sK$F)n> zd*%wG7)rlGB*}YKX>EdSJ!;DE zv-8=M?k^<|*}S|*u-q1DFKb1dGDLM8!(q?c(_P^|!zgteYv|9fZ1r_C>Op?K1W@H{ zrZR!b2~a-n=v4RkVso*YgDm`D8>XRAA2{+tApS+ z7w8TB^Ya}6H;F4g-nVl_X+z??%qTi7UFojCJvLy=d0%LO72)YUrsN?KCMBCx60ois ztxmjS;{CYZ+(uBo<0)L?O*0kdrju6h2~a-H@T&7fJvKSROy;=b4j0&p-UWuR&@wr` zs{lWkfbEoQ!#{xHRC)DuOD;wlm^ks|@0op_u9#Z+Y&C3{`{C#VVIFZi*eK`3>r3eN z0!MWJ@Q~ge$DMy}IhP(V%7*v}P#%GPw+q}zY>bbo4U_u|*w5IVN5=6l8UzXOv-92Pp+A{(d@;r1d1*JpsyZ zx=K}LYtF~V+lOl3V!*XYx~-3j+4vh?O;)?4pL75JI3p;NDx1>&s`L=FETcsk`RDB9 zsZ%gqb$ANlMXKuI(^joIFC(*Fjm&k`QqElid(UvsLp7_C-QYuI#q_QhdNs**Pk{0X z2S?p;zkL1x>4K>t2FFq1EJ(4TAUgI-XqCbI^$F+8K7ug5>GdA>#3d$H=VhdnYMi+G zVIGbvafV3rGxoH4c5dHu&16P=bRLA}>O};1<3)#2-1x$p*Q*Hx=qR zntQzm!8zf?{VVr*cX%hq5z}@G!d%$1<_It-HMNa9r_+H=TSqY8@9JL(4~&vau9vYh zr({3(?zD36x@{#h#2->}`#AQbc^n&MzSzXIBF%H=b{}Fvs*8z~@7S?A_OHAB=sMud zQN5#@hYPOYt9tua#f4gixMscuhfO%Xri}kWXi?W4Q6Jzs8$mYWgOMTunanccq-8i) zqMPm_`!Ih<-Yos#6pBdJQBoLDKL;n>UCR(>FbO>&@4$)g826Ij!#;`9+*cjlP$|f^ z{@la;+fi^Eie935-a0)!-P%&?5wV0qM&J!8VOwnBDjvd#acU^scV~;lYscc)d?pep z;WCVt_63!3=hN-Id*aoDD`s>8&8~n4dbYORhj;%P73F+wb@$01A7ux=IkoI#A+l@h zaEZ&IE9%1-K9}WnE0C^ORZNbYX?E8UDP64#9hXDcdhx1w_8W*4r@d4=-!4lugEjtr%q za?gJ{5c|1AT$KJ1vkrAiM7msY^I_ESn2BXE`D{S?nK76`Syb(*{Y3gCHVnor0*=z* zg2cK;n7_3mv5|T03@>S9J(C>4eH=Ss9$lO!OFys zUxjF)I%00<&KVH#PDfOR;j^gHGt)oV)(T=1%Rj6t1Ahk)D77wqp9fMWCVUmPjr`}k z7SvL3$GTP-VtJ6(ejnnbjh<`&#sW>B2(C?l^6NM1J?BQOdKhseFP-@acb)Q-xwHPn z9I_udoeusZ?j--4;vmCty`4(c-(#!#y%V#I!$!O6FZDgP|5u|kgnh<^n%7uAr3L^+ z$Ywv=YM*pU(LBuPTO~i`c|~jLtH#v)M6h=PlusI?;hJ+-?cKkzC=8=I=I2Rw^Ga7O zb|g)+lixTQJl>bZoM9vj%%R9lYaik%_l&`P;R0{ka*7^)bC;}w4zGZE*E9w^;i z#ai4GcMCE+sd&R%Q&LKhO{#Ak`Xdvi^9fKs&b@fi^Y$g~x{7)zu=YOgO=*ijRuip{ zn1!%cKuRC3QD+zh&3Q0lRgxp!F|g(0A}T3GO7GMm#P|f<`P{=N>_c8O`kTPTT;6h4 zN|w&>nyKLtg$uX!QT999ePSV~OmK1nl#jlnlOf<&y;5Jgk9bKytdmCrJk=4i5dI#B zNPjsy9C00YDPrH19y(6m=$$cmy)4CH1BpR%&JYfVsQq^OT5#s|qt8{TsW=+!;@-Qe zA*vMBcc!Tot4?yoI!a;kOn~x9UebR{lJxuQyS}6rv;qddTOBvmzFk2WgAB%Dt;6$K zxsun;m@te{3F3<0;{LF|aXdQXJPZDAg0%OoOMgGd71u8ve|#ygrHLS{;N^?+tEM<* z1AXwN75*B7zxKEFt$z5Se=CE&&dlVQ0Oi5q&4f23VCUPG((qs`@diOyM!}YFQXK+JsfK`m-9(Md}Qh3AJP?Og>Ab+PI?Wc0oNNecbP+W zZJ}~AL~ZdGyB0MRled$Cw{DrB-4dRoy4U-0cdOd@+XL`!XYsN!F4Pri&B}+T9yv1S zBKzuAKMuU^U8XKe&T5s6`?GJQ$fdtB4)F&UaLa!B*N8Nf(I3{UIDh+Ec75gCW^z>} z!?|}>Hg$l4i=jN3xgJ{Cg3IpXH(w1c<|cEzCyesj7>lXG9cKc(sIz!xU;-^prPlsx zjzmW3Cf~iUtLftm11HH=4p{MJu});a&c`ViusS1kUO zMQYXs5pjbbnS%PRxFk-idIv+oEt@4^5T!Kn5&4NSE?vOZS|P|_T)nj5u`P-g7}XJ*L2rm4#kygH6ot*#?29fhRi==<{1=A}NEz~82tM9hB2p@H+pT@@%`Q#k^aXQN z^{dv*89=t%zLMO{^YwA7Y;r7?eeHRf{PqS z>eenL+mYvdmyGG_-m6pdVN1!{m+V5x@SS(eCpO$Rb^!)C|8~~w`K2w0%TkoiT~2)f z);?JBP-N*2`B0`9FH zi@Q6sNFlKsoII;X-r8hyE$=x6NLyG!7Bmn1Z1dY)61R+@QU4P>!Zjj@FJYWvEl)Mz zL9%z7bRgasr$>F_x_4u;sM$a6gM%$j$pLVS;}e`58KZPZgrlkcYTeFhFL_oEYt)S? zCIZyeIokj)neGvoL^QQtMak``=2BUTI>zQ*h%{Ah- z=FpQd>aGHA)w$at{bw@XIRcY8idK;8v#ZY9^wuTBYEdnYmH%>w3vV35ea5bcAntjq zu>{SM>{mq!`R%N=(x6O~SEog^Tk$0Xx-*M7)B-q_^M~6Lk@{z$qZ~+n%ri=J^eAGK zE`#__NGA8X(uWsc?`!2ucvDID_F|9cLf$8~J`Lw?le3Hx= z9ix<^OM^+eba`zc@uBB+%i*wP#a+aI`R+uVW}2}hvesh8I^Mz5QzAAmI`8dD!9_m! z&{}x)SlYCgm!>!)?m3?&jEK2BIVmaGNbH|fR&7wWfNn<7rW4@|`L$RpY=j+hAR??%$uOG(0% zZ2GB}#fkk#dL@tFdzK9Ac9J4p_xi=Q47opTn>cUTYU-{uIj`L7@4B~L%RHy;bXgRk zbb+FpqLMj!)D=uxy+_9=k1|zHDI$gYPJy6fhd~hpbLu;;1Gvu|b;ORmr4biF#krXT zcP!x`lTmw5JmtZM@jQk$o!xnPB8V%OAW$qsicKgYP&G#>oz895{wm9y%IA2|Ln z5zbjK>wIBr#fqoYyZsIXg-P0b0+fgTwgP$PQXqJ%p(gdAtbmEla>>2_KYMQ;FUMJ( z2|wr5>9=p)zPj3wya;W!C2tsvL&7qXNk~HS0U5S9I16Di6DEWZz%j-fMo}Ec7-P)- zWdbB$W-^3*OCZ|-;Riz?1REQ$k%g_*mSxM@u5RDD{r0JIzCWt^N?=J|B;DKHdLOXX zR(DnPTTeY_dtL`U`L8he`y#8|hy!EzxEk<;Hl-AWfyoKK`@(+QG{_jjxE4<2J1*^2 zbNF$bpF!~sGQzLN+~(k>3|LOURP)Y1eLQ>rSoMQMG4Q4L6Gq9eI*>^2c;Muk%&BqN zyWv%r=wmbiQUMV%hZfl|B*pct?I8d6i;6t*6ObB_1@8hwK`0vc85|$Z!yMcqnxh@=@yrN#@8h>+GBX5rsC8G~ zApJNHkQC)0P$js?^9X?Su|90=4gbRdx%~QL8y)VSYw-R{sUA?ZCotMp$k=?lR zx^CW|UvV{$P8e-=rprntJ|1OdXKp8NVD)!pPKNqb5M|!<0-MMl$8)G=R1>J2wrkAW zpib(ZOp5Y}+&}=BHP<$P<+w}=AU^67Tk+cW0l>A_fi)k3UF_QYODh22iZ=8K*l%f$ zYfHlc_zl*dmxC1n4E!FtXv$eAfbL^|AQZrv+k=ziE}j*`-or)Ef!AT5F9fZ9JpWQV zYEa0^hkSY-Q3oLnWjCKoZ!g1Bk(a?z<@Z;+vT)iC>+@=jY2W_H;$}=b< zr_8DI*w5QK-9|%Dw5ZiZ7g}}BrW|Ebl#lads~zoaTy678IQZ-ce)K2qYd-)G+y8>) zK!^js?s5&f9w0oh+&IYNmxS`C#KnZZ5zt(;4}))QK_#$-`^dS8Cc}!yk?UK%9Zl)b zwaSJt7e#M1f#SdU!ZGK^)9%aF9X$r`j-YW>WN_*WN{aFrp4deW#(bUn{dY>OL8?M& zWdK+-87jur{}%4|QCFOC7guw)wMSqKKy7CQW2l3{tqC6(V0OiZy1#+yuyJ9n|`H3sGD00*zf5r0M7@fk%@{QFZRY(j~#A=Kl zZ5sFZq#AhZ8An)6w}=Qc(Vubkl7oi8G0f1Pfot!;+Qy*f=9(an%TTFyb7&J|G-<0g zRqtNe#vP%Bran7mF7g<3^$sVmHl^%qr~ol1fL8tRvDlT>kIKv5O{3KDbN_A5rSh_! zo)OO2090Go7EQ)cOfsS{Vz8CFRN%B~Lt?iSdLMIaBYe|q;K1fJ2EbU@zy?O8^>TwL zgAJp*G3vmwjrEH}G$3-2x)Yeq1QAdZgFyu*P(YxDjsQSpMF>z7FaU)a8&K3LK@Apw zV3n&KbEO#+Tp2Mi44uNFh3c>EI1os#Dz8PP*1WCDVE`F#e0@bPXn|gLkGr&wlEZ&hr_H92|#3J+xREhRuHy5fUW5N2_1s-YZ#SB;U%flNc+iG7B&js3;U>uQ@MUxY&zg<)?}KxU+z16_nfYFe=mxr%S=%pOz> zCUuIDd%Yi(RIIX?Gs(=k+%(;t>%&kQW zm%jrTb)pXFiuE!OzFiaJuocrq*?la&dS>#P4*(!S(HAayF}(dski%DPwz`ErvP3z8 zyfKb)<~EQsy7lgF35h6=ktZNAAfC5*guG)Q`~B=a$}mBc*F^bD{?hP{WjmZkMkjgE zeeIlk|IoN@r8HJ%Gp-9A)!;`A+RdSCsMu7Z)ODC5uYWR*Ay(20ceI89SlaFwue=8X z;cuuAW2`#R87ZdGee~mvuloQyf&J2(jkO;P(k_pr~mufTj?Ubjk;?uyuJJUmH*iNzbfU=;GC!b z7v0BfoR5}-a2%VzV{CGC&%$OWb!Z?Yp1i_2j=f@QBgFgHK`*b*}gS9PupmGPMi7R zCG@~)TXjAw3S0ExlJ?l13%8z*=Z-uNA9~eCnZUqFF9%Of@f9XV>p)W>b@s&EoW|>~4HMs4GSt;OG9PIfXIf zEa!I1I!(RxmP^N%c5-_S@EHoiD20kYyuQ<_TcC_9@1J%upW6h_ zT6@>t#r0-Cj6-JJdnplq_Jt-ad3MKns+>oP&wiSmRPo%X~Di$ zQ8Z)OXf&q)D!EuPK{U^;(0P+y`sg$W3-(PnGhViPYU}{zI^Bhg?|af-01=co_mC4n z06;cRJ6v)Jr$)(C0xLHoE8zss+%q_g-I?HPeh3hj-xp8YiC|}K@~i~ljShF}_3-3! zm!Dle`=9x~Llt&2%e)hKWa2Wuy0QKStOHc0Z$j1XdDV@Vj_dR-xaK;Ea?OpgeCu_n zv$->bpuH??mA#DtW(;ttK?(FqwSol2keUr^Zp_D6%qFt`4ChZWS17cg_9C;C#cIENv!sY|QY;nb*E2$`cp^8Aqw^g3I5< zAZrSB%Mt=9IP0=Z0XXeJa)1B_JZlwX?4^T1K7SuM!O3|fYv+wl!@L+R0?2}C-f?!K zj$w2vYn47N#twpzamb2M`2HMaM@L7b?PTQR*w3RhWyl+o7;|lu0A%To1ru2G5V)AP z8x6vkQ9)ySeaQik?{~o2Fjg*}Xev|JGaK1saQO0VaCSJc5x_=p5E+v>114p;d>b{$ zLGEnb0F+b>6_Zm&ez5mv;oc<^gz2Uc*=U3Jk#iRgadrdXPQ9zcMoufY!3l6I|IN2H z9Ta^vjJM!51dM*{S3lK#ar5T7q6Jxhtz5G{^b8d1ai=0jts;B6t;p-CpgKbwLzJG< zv!WpyY9&_>Lvig#i753yZh$iz+Y4X0S?jVIs`sck62`ytce_HXls))^ch?#<9^yn< z|JsaA40YN9FlbOzVo{k7&SCWu*3~gZ1Q)xZf-J0QF7@!9SzA8D275Dj= zPdmYIsgBs6So*8 zYE6{6`(k@|SECU_#G-PaQ)3<%&nm+=B9)B{(^ZEk=wP%>-gZ0ubu znC?1_Od{`kv*Xm91|U8%UA3J%W!i|0(3k`O2N;&Q6FHkRISdYAhda5E!`TP`GG{k9 z5xX%Q1bFEnVHmq~LpLI$OuMKa2?FvSQ7+z%1<@=k-LvLM!P9^%*cs$TPDT~Ex)Yq> z?BpOg!KeYJZvAU>awaDOJR`@dE#y@e7|0mtkgu37Gcsem^Q&LulFIC7e*RDMsb=Sy z%O<{qJ%42Ol&?N>_sV-W{rnQ#xp?9kx^rw?r^dMsxly2Dp)OOQ-D3f8Z9pOzwSMlDXmqB1GOrRQ0u;f&+TgDw4(Q(NM^)f z=;YdI)%8B0-BPYo;_X&FCt2knR8VdFWn85RVo<5rm#cYJW7c2$RI8lgSNf^03ZNKL_t)3 zPfuAgiY3-@iLuE}ccj@s(0^KT z)(;l%%udh0ZJj5dzIx9h=r=m!XKguq>q8Hhc*dE)p6yekjql7WvQ9S(P-S#a}TZA zxVU`hU$*HkdnRtrmflV168!0R6153W9=Vs?omb7<2v-N5^Z<}Kc}9NL)HaY2oa!ae zD`Zi{zn~mckW;UthU!JqbdZ9a9K-;+PRJZHE2v=vgK-8jCxDzt0Rr_1#^LTv&JKrX za4N}(-N}gD$w>*G0bEwUuU9A;Nq6Dc{o|xGU1eCDO{`tq-HW@!;w)aYI214L#hr!X z?$QFq-3k`DYZGiOWBW)qhr0@7~_%J$Ry)jezhaM0p~S21`N`D2*$!M>$lC zSlLPo&rq9Lpa%XYA!e0IoA-L9E}0p)!1Un;JP^To8>PuP4y%hyRj*D6$i-LLjm(0A zH?qi0wvIF|>iCNq+g&I3To#hrrg=vPz-(omo!PBk5znkBTW_`JjqH&!pwNQUFcU}} zKn;>pt{dHj@tRA#pSviDD`BeH#3=XN402a&lRf3Ru=Kq0gec_(*R8rby zmh%K0tm-q4Y3LHxm1h2oZCY&=nvpN+5Yy#%0VA0Ip>-&1=~7a(Phhm(}Ua634UKKVCdwssixd=?A;EF+-rAP&XOk+1&Qk&1d26$MktCr2cp zC@_;VyXd&9Ne*)sBLaS~nfto-JXiE_^(|PV^Sauw(|67F@zTc?-r!ocV^QSQu*hMa z*}mC(jdelK3un1}9lvUTi~5@5cA12J;EH-p3L#2ijt_Ci8ftbaq?Ezp(8u9SGt;Ns zH}`cJqlXc5*jp5|vg{DEP~IVhzN5X*{|03?o7T1s4^RctzdQCq68(8X3b*>g0Zu?+ zgNrR&e+}6OXb`5vPna|5xXn>XTB=zLzq9@DTsigJuNX`N7HcGK#pad9HOa5pM--K@ zIn$p^0_A8^LXR^kE#e7JWxzP>*Hj2}177B_R5D3&hi=v6t7Fa2MhVB8rM#mp)a!xO z)mABleu^U3^O1&#lF}bH)g8QcsEuwKQK`i+lhgP~LSq^J>&eS>C6T@}oK%9LKc)64ZnjH-?&s(2}~R8yf> z%v&jf>U&e=k}Qt*c9>_fQ(aZ!649-~BXa5G%Kk2N+ouqbnxs@?9BX{DH2AvP4wcgq zsj5~NF{aL9ouB`$m<0Q2?yrz3xt5kG2BSp&0vk>tm3Tr7^&Z~C@72up?_V=JLW4qJ zOkre>QYZ1A6d;v(D@#?>NW8z##@u!(6fSiQU_luUwcMYwnIaHAG>G2oqPY@hx7%Ca zj!Zhr-)B^v&0B77#kBs;YB&m*>VL`9#Rz+<=4!C<{`M~see{H%GTq?W2)tTCqrkUP z&gf9TB{Bh(pz0ToFB;w7ij&b_jCkZ}T$t~^L; z{T~i}a~{d)WX{absT~e+?F8-4{n}D`jfEn2{3wEzU3I<$)WY9mwjZxU-q86EtBjk5 zkIuyRi4)5w8_lU%5tZ#v%8&0T2DinXz&rgknb@&ib^h{h;c@xK%5}4@JRdjX0w`+* zP!}L+HxWxmv(RX5amvh;uiDBP2->8e1M_=ItLKeoEKQmtXtiVgNvL(?M{4%cAmIWR z!w(Xfk@5=;5~IgbP}3(${)SS=&iOMaL~N%vUyis!{JnljMW9<;6V~Am3~e=bLM{B! zKwD1qKlcME`wE_;zQx*6N(zdDL>l_RcA1WcE>HzE|n<7t}rm zfDU)u$Hq2Q#5ISbomhAZlXzMogmeXxgN~-d~D^(h1%7= z4d^t#)Me7L&kJkcI$E&Oojiw2xH{Wzjngr@;rVNG{m8e`2`Wa*GXL&h49WwwETqi@ zmnv!T_;vsEEVs!#9)9ZHChd*@Opu(TM3o4Ag<8Z(=wcATpnPuf z+x@0PzhFSL)chEvCUVGZSWFffO2W;`=-egX=>RO!6hUm?XurOAfL4dbBuo8zJ>z#% zRC>}T*QU9S^SS?Tsn>&abgAvoia|Eag5lkGoX<yP>rlS#j6jWTXN|BaoNnI>rB*KG@o|wuS=q39?;GWi!Oa(=4L6oEqHrewZ;9h#Y zdb5uLb8(GM9)8z}W`m!qPylVXAyajcV)B%_LQA`|JiK_#2|T8%32p}XAE~8hh7E-e za+o;6C7GQnnWfe?oBxTl+|_{jrXh*bCC?v$vuQ@OXs75|Sw31bRVj)>+NhUBj;&CGg{w!b0UDMGHp;%Vj{VYYKM?X_r(VVh$Baq5x_m` zxy95=aw2DC&K*mo#c^^z_GxF-dU~kAW&SL2aGYzv?r<~K#P_NV^>IE=_^GidmD2FN z-*05t@W{8OiRPa`ACKUtgfpR!{+02McUZ(T?Tq_^)&sT1@~Hp?%IyrPiJG1W-D1;; zykDEmqJyEF#NAA*ou)@mqBKkxLc+evd$!&etK=D-SdRR_N?1-)vC%%RDBw5Shm7Wh zwSR)$#Ar$6S*=q$L<;)YZt)KN$75wR=*Blpkb>Pqa%JEDK&g4FOAO~Ec@mvxR7RY;_EtNJ=uR82Lu&7 z6c3(ExpJviD;3(Uu+B<#D;bQTYEZ9#^HS_rNrH`P%liCvG`f93^x{Zq&1pZD76W?B zl6P;V_SFa0?b6}=W3^r1-O_03rjshBcwO~5MIbxUfeV#j z)vFuB6(h@;9?C*G8e8uNUh;zQ*Y9#>*9v9JIJSB}r7R~13jqu#++q2npZ0}(d~0Vq z9&9_)C$OL1mxw3!1t;2Dg(h0jT26%KV+hu_l%2voEfZ>kP?ql?T9Nfe+ax(#PP z5s0>W$?QOaT918F^^VudQ;~tKm@;ftIui0_e(9dItMcSghFo7?pt`$z*t;re+&>i_ zs@oQ$D81$cQu9qiOpnAwv8$u)&p!9Zd#smmDXILM8XDTpUACc&=ayY;Br2< zdj4FfjUV6|Lk}Z#R=4#S9FS{oy3) zYsSV!&$0shch$WJS-J6EV%XfYvC?yzFI&wwZWVp?aad{nqQMcOgNd|GBusNm_or^` zrz>B_v65~+$L$F8Rgi`f4sW)!;b5$#m0R2LR4`Q_Jh8|X>(mPqaRE7E39X|%Q{ZsN zT8K4|!91~}cj)PJ->H6hD!@pzf=aQ5T1HkQ+Zr1)A~~(kzWEJ*1{WUdpNNzNy)~$y z)Kl3VaCJ!53zgRvNhOr2QsQY(MM7y{=MDz=pd2$7BK*Ta=ln&QF?6cq!QjHfr;cHm zXKlxvR$m!0HxWCGLjw=E@CYK@ffO2Ad;CY98zs7sM4K~PUM(m91+7D}Km}AXFXhf>$--+&3 zcF=Y#8Z#eQ7$s~UFFZ*Aqy8R=b#VL(WmLpTbg)fil}RWlC#vdP23r z9<0AK>VF{Mp>hvoCt5iE%2P;DJk|9l^rt@?_!Tz&=aRzAP~pJ@iG0FLp~qAW4~d=~ zQp79ViRGoMo0;_@ivh-Ocg7k;Uk|omR}Xk4f&d%!z&#_VaW10ML}s1zYI9XZVRp0p1fj*$>G)=0#)9msn`< zTtVX0t|{mG_!dfyPE^Ce5XXh;zg3t`B}taYR0yH44lDQ+YDbONL^@X z)XJaZza~c#Fz+H?j0ib$K3?^*_!$Wc2G7_LUm9zRbonXu_k!us&nSQZae{$WFeI_h zrv=9IbRx?j1xFP*2v9sb_@@N?78+XsAxPBTlOtdjbQBF4!on+xvASoMYS zu7}Y!j^~%8)SqIipmKivX3PkmO^>Wn>1u}9>@6-ig2Av@crSIL%gD#qwB{G^ zSUkpSgbq56bm=-h1adf1j4b+en--F&s>m#2TB4_>`S)SNBpk5xnhss*@!_1g9kdos zzqOEaI0m$>&VcGD66U(p3TMT{a8hC%mk)p6vXiCcBRL`Mp(^*--rI-MU6#Pm>V0$i zvwUNQR&X+F-bW&E$rb(c<28YjMhcRzg8d#TbAnR$t%DL;Eco7AXFCHMexj6~nb^0g zNp>U`N`gWg6`6}+yQq-#7f5Y`@2vvJ=o1Ep=Sb1?KMPB$R9<<6em zB;{nwDD?O=cmsZgf>+8vM~u*;Xcq|zCXf!bYakbrDM*H7gm5GPs3l37)b!%c`eMSZOp#u&ham(pw z^1N{?noVIEZwCXvg8JCoPRY7@_}q!Aa?*Z$56aJwjC0V4<#5lYH)`nSi$i3fh#VpR zRgM3q`lUZEm_9baG`RZlvW;L*rtKz5um4fvHA)#C7n-a3#{?l>P$mmF1v$-hX3{|q zG4u*JD%nfegC=>NLR+NpMbgt19yp+CnQYqC$FIVDvS7=P&~%F*+j)PKV3ju?Z`l_k z3`h*?iW^nPApu5SAD3Y((iKd;9AfU}+clb0?<^Sogi&Wr)$$-<-AU zO_1}?Y+ZtKEmywZsOR4PiMvNl(BEZ%Yr(Mf5?gC8=!x&X3&w_;AW0L0Mqb~Q^riDS zUyC0_{gNph!GQ6P4+eyoTlLX)KTRr9^Va`ZPkr@f8;d`V9oP|qCL$Etj+ueRS&WwA zVbl$|K~2OmQkl$ewkme$$h_A@+y)WgL;4$LI?Lv_$$sJ=2tGZsaE)#NBGPD+ zg==B9rCt|54RQs%C(w-__DvUUTgZTI>@R+T3BsOXIbKLTlp!SuE{(ds51rM&SKbcX?n%t1IG9pwWZQ}i8iV`2%TeR%E z3tyZ|J$#uh&rAOLuA=!J>hFdk@Og}IMnB7Olt1_Ea}r*^7&?bLu~vJ&)#DMuxxnjI zI+`Ia9s$vIq+*aCl?C+TcfGcMy{;|)aGr&4EnqP6)EdN{kHp5ZZ=)SZ-!DDyM_nzI zRoN~|pEiqe6Va>>zNf@r(g$@OnecZh8cvu!bA!Z zwl{qrv~b-$U0LDCM)+vSYuP#xwd-a8Zq}<{$wYc-)j-N8cBE=Q`r=5&Fpql{PRwr% zXrtjlWek)+Q}pPEuk#GI;~A7;*?;A}Kn%m^LSK%UH+E#onP)etglIN1W>=M2B4?)x zKkBu~K2zc8azj};fV+q`D?a>Mk^?~oP4tDE?CwPp11qif*~o}_@!eVG_FPQ|p&@g? z2-Vz(Rx_5a7QJei>%4C2&FKxzOB%+gcO+pz<%`}6P%*!Zv&*v7 zgyiEDO(~v>7hv&~d+8V9e*=NOYI%T(LHB2{6>3wrLNzk+epfe$wihyYR8}h-)KI9w zx)0Ii;Yp(}nDpX}Zw;EytW+iB?Gs$6?EzL~aE95!Lq6AkZ9NHXsnCtgs-o)g3f&G|^#`AfLAO zXVPi;&29Mv zOwBI!Wp5b+b&xR*thmTvi8k*b0SU%7G6&iaD)kmW6`o5hnHP-ZDq5dE zVQ3?{a=*fS`b?|X#B{_%;;3Z0052Y4FqSku)3e;6X+zobH%%vUM1o?r{SGP>Uddlj7HdL5uOmH zLa7QS1t~+;YkLyfe%SbfZ3naIrO4psoqGdVP>lwyQBQRNfYWUQs!&`HdKxK^%|cOA z!E@>ouG~VJ(=dAc=(ym31oH1eSUwI^dh%q;RON700rdly9asn}SB?Yz8#s0ovi@ok6 z@;KJ(e-rO<5ZM=cu;FvC79ZFq?6&{K_oBdRRr*KC4|pPwk)>-3{;PvTo$C0*&BU z7HYPb?)b_;5wae4L}~JB(x_nHe*cLAwQ?*CwmPgkCC!quqe2t zlBJOQfFvqfZ~0sRw10=xSjladjzr?=!pfZt@TRb}`kiUD4mw>yrWe90`itZEZy=?& zy)>318r6HqInl8#1GFzOl4!Dn;X|-fWdw8d(~Q5@bl=r8cJRwv0#cayu&M6S(Uq5L zhJ;ev_6$Sdz643;rO&x5+akPEUdV!7e$h;+8$%$iV017JmRIrUgKE&%_01XkPE;Gz znCg2eA~J@jC`%etK|1q?W!n*}q8sUl*>uncF^1(Qgb0g7( z$;XLeE5K>^9Xdhhb@qlnZp>hzFY&29?aBTJ({-KEe+CL?*FOVllAFraLmwaYBqchM z$^1|4Z7QbKc1k2WiH?!qzS3@T{fxZ{!~h+@V!_3OUPT6h7bj>6g8o=3#=JbVY5pX= zLLKl7l{A>%dnmdktp8b{3&8>!@y)qT2jXLjUS5?NSgn)ar%f zzl9k|r5+@yVO26IRd^tBNJ2HLi)xZgNWca>0KK-6=22T;Bb=07!Z z$z#a>)ESKATLFzD;avo-ecB`f;R77tnk&B{)Yc{9V5^QJDFo*?!RP{_G3>ll0!FzK zgCrqkjGYtewGV^I(*o4IRChfT1|4fo&X$U3eud2z?MgQfYpE? zCF3wiqN2u|$bW@nR2Q{vZFPj%ZgSqP55zD==SSdAbq4j*5&CB&NanK{R70RYdROm? z6WI{y49xB5-@RQoT_G3U7irUQt53!XUveKZE@gmdKi-8;AD3&xnzVBWY@Nj|yJD9W z0xi+gG*!RsNhZd}i(f2BtDwgp^k$0W2({&AuAT%3aJALj3s%mcq}3F#SMF(ikub@jH+yP&`EAfS(MeM!ln{#*rgUDa=82 zgv$3^^3_X5{0~^Gq3c*AF+V|PX*`YLASkGZFJ4B$BFlmB_E!;auFXa8!#MfNtZrD4 zfP;h}EP%HPmUEOwcund5_X2=`;IDP?2XyvO-boYL7wj#cS)R%=cU4;_+yUT&E%Xn$3c<(g_-9+Fc}bQ+UO8`CwY9?x;yJ9qHsY~;s}#Mdmw7{;{)(! zX<9>q+~zs9p2%cV$ze1Jy%COdgikpkM)8#yNSx26u`qoXFpW&pJYOWAQgV#oJc^a` zufR!)r<0kK$eSyxxt6Ht^3Yv24Omxgd>qBRH#h^R5udPCMR>nJG1B=74pgCBRzz#&fhjPx_!GYFMaVUyH(&EFNmHOrF2YFt{@}eErF-45vpj2E77?)~$ z06-z%4+5%ym`S;Kg7hl_}ZavhSyw%fR``Fe$?gyyX{Uj+l)*w?^}Q)^?-RU!SC9U2xjnUDloyi8+4Hf(b0WDN8nB8eie!*f@bB0mB zNM4_FU(V5x5u?T6npQp#R)~upOK*Lu-uV@)H4z6uB2K3}cRC1f0%( zILJQ}AuAqIx0St~qILzDl>EwQ`iEn~bczUVHkkoH)lG>g68lA(r{x7#ta(6Rq9S+(s;kPYBzeHl*?gcVBxV;TUZYqAVxCHfyG|;hP z;(q#w{$^ZKsqC}=-+$CR_8=Z3oUq0~E-1G|@)r9~*YodyYa{@+J>?F}L6Hf#N6%kK zKS)NZRZ9H6z)qr}v616))B2$XrRzC0Kt0ip2B>&u01Q5-fsi$HxNrQV1FaA4p%<+V zEjWNEAKL*_AmTXG$}AiT3+vK;OYU^EnkrPZEFmCpUY@jCgl2sTU}$%dN*Hov;p6JuT2QOY`<`>*Z7 zV+$7Bo^)PYE#{Qkf0xLy&?lxEMCVZM)7bO&2{*G&Sr9kko0K>=UJu`Ayj&_pgn)dX z9awemB4>;S6^tS7+*kKv0ug9OQew1oOG*bSK1J{BVB`1q#5e9POp??9)JSNJc0b;- z_dA58mN68C$72F$!irfL$TzvziGa=&F{7%b%Ys4V2qTd%-ZFY9Q}HsI;Uw`^jJ%C0@k&})Q6ZkWL+3E-Hj zNWBD!m86yy!u|2kfc*Q>{F0C>gxU%HeR{O^D#SYE9>0f=|OMaVudb`3)~A zPFFMd(8i?HJP448?(|`@6$mtM zvG_}Rh+YKIBHX&GnY&U->j?AC6aoyA>nJnZhTpPj8$s7q-Y16ii#jJ5Ons03P>1i2 zDD_Sh3YeoskACZI_Po3L!Qtf_r#N0=YWozMQ=*YAKQ3euJ z11#w}IIY;Id@p^dA**GtG>Ujpaw5h-s0juwqZKMO5cb zbVZ4@!T%a3Twt)?gq}ru6tw9#ew;>I%t1TI7B)*>W&^A{_Qo+5XZBsGX z>JnPbongh~I&=Kjac##VO~4)xl=Uyvd5F12AC|%fj0otRKTefi`ePSz_%o)Tvv3R2 zAPkP?AxP+(OLAlwz*^Rx-KuudRl3)JoL~)-#&I!kXG*4w+rdYP%S8E#!-l5(I)TpoJ{}@neDGhKnztS^LTD)X zFBE3j7Kl)_pNxs65dSU0ldOnA57BUK1#Hk5n}i!&o5|O(I{aEa zE`ywUc2OQ9Z>%S*H`hJ3Zx_FN>YboIYH79CXy1641r?7oia)I>M;ZUVJNkps%OvZM z3Ei0y-;TehPBHjgeDPw`gX^m%)EeFO9A z8)%@{v^YH2P)R3A$WX{6(6%JJI$Vs0feR@p-b!p@r^Q`@HG++?-R5zwfaIq!7bFo1FB>r0w zChFyQ04+eM`htONU$R;x6L^mTuKAgQsne9-hy?w!^wq+hh!j*YP&`PMT&vg=^mYEp7fS_N(Gmm$HSsu<$SQN3-944t;}dZl{gfi zI%{qc{n*+2qw8Xo3)XGx$-q+9P-B+mlw)hx`kt68$vJbDH@CJT}ftA#0q@jb1j*9S#%$tlD@h2>SOPY zQTNVG27!WY7GyE`VCeA;Epidfaa1@dm6yBexJp{3>F38-F?emn_Tv}QrJaa9S&cyf z+1Zk;F&PLy8S9>pDYV_vAH28zX%xzDAZ?8{?hGYqt1abgC06!*xs~Ff)QnvZfuq^w zM2K72HePaMuv~Y>)I}?(NJ%T0dh%nlS6;G1)?$O+2?lK-`g{gPSQM^kVZ zBm5&hr7zh7fO9Mh>9HXCh2O_>Byt(fxhi&31wDd6Gt*K}quHOP?cCqHJdJ6BNWskP z!h;Uwt9*Ly<9iAM)ojGgD#10N25oe(&~xJ5Xl467n!L!7J(ks9*%HJ%nQvq&Uqf7` z5ta$&k_9SV`mPEzBvBI${(ca^val(oy~#+Nh8+ZiOUW)K(Py@wPZ=uIJeP{L-(275 z|41AVfXHj?rz{c~*;{t2bFaf&_m$pTe%|_KM?i`LJzW0(&E6 zx|jJ_FSgy?up_2ZQK;1zRJJgO56ckLq=TuJ7|5@Y7c_k{y9UK)+ZwVzE(}SV(DO@^ zFudK{VcfD z(=$rwLCp`iK!Ep!-dp&w^DpIKKb3g%u{MMF65?z$$*M&Rr|9Kj`<9Z(IV*=;FPD_8to3%U@2y~tT9nD<`zjOBrxasx2idXRk7CZA}si%JXG1qlb7x5^eM^bbWLW zp#E2pElagW-rN&svulk$^ZPq6W_IR}H#w4ucI`6u*)uMKh30dK%5sZ${-x=yKA40v z%a5`Cr1ZQKzaK9vrOK;8s|<7~_io3?^|O1*R%o<(9S;}To?O12qxGn<@f}3YA`1>_ zh@94@>OZ7$A(Om)Sl&_agTeds-z6v=hAA7h*r8KGc?j(HE)zRDdQLi@e^L--n?AjI z6&2E=@fIE44t|Pa+w|cRtxDq(0nZOj$yQg6D=%~AZjcSPZ+Kky9QlT{e(iMOBI}X9 z5k7*(C~hlSZ*Ju}NUmE<1L>2c7(J1e=jw8^>NcyyuE%(kC`2?}DjUU)=1QL1_}!wE z6x@B+r+?m*COE*lseE_8vsY=<})aBeZAUGZX4sC9Y#-v;1BOy$7K0O)A zWu#q5NfO)sjlyUl#W-lCDdsAjOb1HI6f)!#L01C4GNaDO(%1UGwXHb`1&!1}s2`$0o2*v}ea+$29Z0rqd54GV5m4W&TIJJ&LLP^YtHg)1(BsMjS| zFVZdv$ML}aosNQEmhNbqxB8E-`q3SoCv9FGkFj<^B480xCp^g#k_Y8sAYH^=PrKUO zj2k8=f!DA0y=gu8WasUPPy*1Ee`cw+$j4tU`e_+)_ck^G9f$%ZHXmEj*Zm9q(`0hg z)hy&d2s+VMJjf_Qu`^i`n0W&GN_v~B2mG_efHyH zUA428aMw!+8Yzvzen8IJDL)xXFn;*M+}E+0+O+j&{t0fz$>n!3FV@ctUbxVw|vo10YwQ{MzaQeW8#CxmP6;vx-Z`O`obi}j9 zLp}Tudqjtkh@4x;=fQ5jxf$Qk+^B|m&K;cXri)Gune&CzR{NJTjCtlDKRL>N=Y>{? zCm<5HdLPa97<6Cz8`}@EFRk05ZxGtMPt^z_FUk0hW^gNT_xiNn5A544OReo`sCv${ z(G|#4&;x=W?mlipMI%uQ(hNMO0!iETn}8H;w`153%B{ykH~$9wv^&VJWFTDna}}x8 zHGdJ`-kzE;C2z}vbS~l^M{p@3$c#;60hG5cyYXJG@8@=6hP)8HJk70f>4`(>QW*X2 zPv;wXsm8o9-FjC}8G@t*tEIlXEI-d0rhu$lq1z?waek(w{UT%1;UNE9b@GGx0;Bia z;tIgdeL`T+|BNpAXSVPXPuMTH|D=fe>!niMNEZ9HYx8rP-r!7m0-vRFks>ccOosWg z6Xmv~h>wNu$U$Yeto=mhS}k9HKS~WXjpR>wcZgU z^SdntPi{-{XjROkmDr@cMi@eS(v2get^@$&So@`ZhbOhQ`vyHHw1K<}vO3DJyR&ll z87?vNmWCQ_TC3E z3UG)IHwHbeL=owc%OX>q39}Tf#A7zbb zzYf2>%)eqx|2Ss2z)!T-b;xx%{o%N5$#@X4@>*qa`osC zmSH9*vvid!OtHm_VAGlDcsxM8eCdmiUb1a@^6e%e0Dm(+So7I#GStE|oa`jdlP~f9)aTqO5@yw;k6HXHa{_I!=04OtST#o$*({b)eg}Y!AaTo zNhA!z-r5kI>~}?To2wxU$vcke?`g<1ZuD-fizdX9lK(`(<3+sQ;y*TfBo$)k=i>Tt z{O8}oPaL@^87n4{VZGO1VW*xS=K|MRqWt!j#cS{H8*X0)ZEZLWg9eF}j*WI$_iJk( z7}%7xL`HuV;-t#=QHOFJU)uTqoDTys`NkSGB}k_oCPn3Kpw|@{yiHRjhV*X4{Fo_p z+F}{z%D$@|(G4=S5Vzq0W55z99DLXEQXI#;&W_)4{5&KJz!s*(lyd~NId7bk*>7HyNYt+O`R5WJl2F8 z>Ncz_QvHfkEY)=-I}#vx?}GN)rMO=9_IR@%9W`5~SymEg{dS&oEGRxXU&R#{;w0R{ zoHcrjF7URc%PxD2uNs%2q|AZkv~z(3MPnt5gykZm0_J&;&B^4+#wyo_%z*@4GCAnc zQe331_K;&MqPR8KfbVo*Zl9VPu@ zolMeC#cuS;!?O%uU^qQ5PVF3BuG10<4e<}Hk&ZRRILB#V** zN=uQ>TQyVk#Lw5kx5(i^Z4P^^X3h>xt;&N_1v41s#Oz;GGh*3gHxMO|D3^uyReyva zxg~|(*8Z(z7E_Z{DO`xjPqW&|ya#$&O8Fi(g#`xhG{$CrB(cpV$=)K5xE5tUcTIoa zJJsiJv+R*1W6r*)GWb^_-4&ZkR3F))j06HtlZ1G>0kSG}Z}21pVlwa%Y~|6XhuBvh zVrNE#!d8c&E=##kbt>HY3+PXU9=y7&z^-I&U;7}Ha9k)ymgSkiijt1SG7B*agmecY z{G*?m4zlXT;OiY|h5n8G(Yq26rhMp&*h4nm0?IPQrS5rXx3Xw%{)^>WoBPY007C4< zI|zq<@xg5JkTyb1z#K}opaS@|LS}{b6D}YKbe>an8f}@^zk=}(T?VAn-8XL zT5bR8C7e3tIaKiT>&ZD=J~EYwE6&M$=!Wjgac!^uPM)NLvinZoQ4%1zRPTs!FY{Mn-LecUb*%61I0cobNcDYyynP7 zwtfS`bEs-B80=DNuelK}7i6a4a3VLRB9Rg(@;#2W$FrEL0M+VCdo?jVI}XJP}5z(J>G0~TRD_q*fHqoCK=@XlHAa%LW+ z6@|yt?_VnH&^6?#gs%zs^wCOtHh<-1xCg!calPf|J%!Q`Oo4g$@WNQwomiZhb#;&~ ziWdD%cmDeNwn*Q!_xGK=e07gdhSM(Oy2V6-YaEXbI3whuUg4Be;g*2{K=!5;WQ7mOlI&WeZ{V&7DJKJ2QyBv$Pr{4 zm+#1By+h03njv_A$l=qoR#xkVfV!ID`+JN-NZ3tWD~W{2bq|)e$1tu?K(lkeQ1Kf| zE`=gL$^Y*K=y+=L5gBfAj_R*^O8FIFjvjDjXIK*q?Z1N+YT8SV7S*LkgkBK&R>yb=N4wwzR{27Zv4FK~Ne5HtNg z6Dv4RWYvQ(y}EqnN0*Mp@$2M+#r5bjrvC3OAaA9>n?QKtBTdSl=@#JzL2b93gt>gL zKGVoW2E(4h(iMh0UOzCQzDeW)tiNGM!aZ^JNl1}VvU(1X2gF3fz5!DB+BV9!zY{8* zRB*c0(~~_uf-6L+6}m$}k(515U7;pu=HOLk?K6E+gua2R_f+QVC#Yp3pkg>GC2I{i zww1qGr&VgdU3ya_Gfmy0(u+NJlfBpOBc<_6n#j$hw5#76+sw7D;$fpSP)f#3%l@HC z+qDM5&OPZ0MNT9wdIZfj=0I9~FkdWJG0(W&%QLgY2EWEsrco=dk@5J|B;f|jonR5r`NhbZ(nn&wiyp2@I!}6`GZ2rY7{5&6pefw-P}1Cl zs@6S!tHscTGSzOK8cEleJ;!vDYW#m_`o^$IxUS)uCfoL8yH1>J+qUhxYqINP+qP{^ zo;=yMzti(x-~Y|!y|5R{3Zt$%8VV;#Bd5F+jrir)E|NvxE>o-D)EwqYLr5J&y^SQ# zdbsaH8S!CC*_^5%_Ke#*a&kf^XXVr%?ZQ`@_X3sjsBSSHobkCzF3zi${mRum_mDP$ zia6F;T(4*B+c%1puRLZ8M*Xv)!r~>|gyK;5kX>o0F!Ee5V!>?Y)+Cpn%Vh4Q;?wZE zD0~bF%LRb?IkqZAe7*ZzV_AQw|i0M+Qm3)06j<)^VC$!7^69ntcHxlMl`AUAV( zNa-Gn=I!$%^MMH>XDn!moSos{j4EW#BPLR1W;jzcCd}suU!ck1uRcAEd1N*z;jvxr z?C_z9mxU9~ikRAQ37JZr3`N9rKzG-WDq#&-%NcSW*T?I_adEsOrQl|0@H(1piH1q1S9D6X0VCV zoJCxKo=@={Bny5lhJM1p$IQEPa*_~~CH4OAZrSc_{RgQ;g737xv&di(p{gfM_wv`S zGqx=y&x6P+sAQg>NLh*QL^(OToPVrF80FX>{vn9D1ZFLo>Usa;y_n(v@7f{Ax<=bo zw#%ls-FME^0X2_awS9Kwh`97AiOE-Z24ro=EZs%+JT%2$wgQyO{vBMf>ye+fFU0^N zGzL?AEj%Bi=CiLSb2J-bOdPGY9+f-JpxS9W4zt`}R$49FhV+7NsB#)^9bb~#JO-D# z1@8r0FAD|Y^ob*pMl!hV*b^rl@7hu$3BE%(qA{e5)n+ixocuR~p2hV8tQHH9b$dI!Sk=nwHa*R&;9JV- zt6a433}YLlk_#wUinT-RK>&la2%E(w%N|y^nP}97fe9gqtM-qj2sJ?IJ z&m7P}nflLA#iv`rI~};|JWwn|AS+3&9Qh@wPr*&!h;?peJV zJ&&DOovbY(hR8QKpB~%{2&kB!1OCzeU4R_+&fiR<0r;acPZ5!k(lxK~2m;UIBT zmKmNRGjW$)NB+jF!IlDJNzCf%3riqOQ7`e8TME$>bw zC2{0KKaJ|bsLk!CHxJnvydfMeF=ZS%B0ov{We_J&@G$tV%XZioj+LQ!G znz+PHnzB&%^V(y#Kp<>~&|ly8fEJ?Mdp=^%3DMs9mecL<{nKl0x({jWsHh{w|9$b zjyfde-ZU!Q+BE?^*P#I13F)6xJ>5kDfH|VD=EsJ-Qp+NN=r~X_=*FVtHS^RYmZ8Xc z^KcZghQ}xgg_lm`Ra6|2G^qHcG>sz`T_x;$|G9#?xWVy8MT665Wm|BebE*tKUSup_ z&u3V*ScO=qM!F~BwR<}_DChMz1}E=+s~>c6G;5d6wAbwCvD|xxjQm;Pd1agFLXNsa zVFrzsPz}%FatWAVLWHF`R3wBxq z9}|#M-pg?MD^Jc_N1gAD9~VoGGtd1cJ(ioMcjdsKbnzo6gO^yU3q+-n*^ODDI;vQ+ zb+7@445jE7drfxsV-BkpTpd#q!mi&Rr=_m5#xG*Zg}4U2r^cm9OBK^z&!`!CI8-42kngw?$h)(^wGlM&Ul`?3zBN4*F8xJ=>=Lrk?AVtW z4M&E~NTQ-(k0<*t?apCaJF>g4BQVqD#dukP$>qhUmlm}=GTY(e4ZsuH5u(_2IB_Dr z7RR}n46}W52N~YeaAKU{cgx5@JgeZIY2volz!!?e^)AR`$=YC{gswO_HHcin+b$YK zgM&(vK6@<=z-w(CJXjiI6w>s_6!9nQ&A?yaCW}QT@!|weIfEl%#;=S^ecf#zD9J8% zLeykfun_+TTVT`4cg55bD6L+ZE=`4hEiZW$rTf5dP+^Xv$HN@&vh*8A)jKUtn>1@% zrrBVrmmVJhm8QHYhC&NHQceZ6)iRUz>A)MoI%Ox1PRO%y7ggB3zad?M5DVNN!vztTe>2KRNBBE2CJt! z0XD&=FW4|ts2dS5%`d)aErF5or#XV`R? zmiL-W@<@F+t(HfAy(uaSNo!c!#WJ`;p!t13Drqq_BHIwfqU4|ePn?_oWRl{^{tnYk z2t_d6-ftZkROS8gGXS0Ufj_LyjXnb-Km)4*R|nM$qLs=zD8>{K;Gw$9?em z?JJcT;Vyg$#dpgAQ~CDnLavA-D?G&WWG;=YVV;IyR@ko)<1ML z2im2#u}?3HiGhw6_X#UBuV@@MSsTrq6Uh*UgYihRLZ{$CZs%>Lgy=HP3GwZvkMP|zI&`t&=v01=ZDG78k20b zzMnYaFk4URxZgh0j|*bVCrRdw(1+Q%k$sy@n&Y#a%Mh{y*h6cI5{!KA6Zt)1Zjun9 zI5ItR2hH#hG~qkZXt#o11!<5)gA1NxQS9OV>^cqQ>W^i%-ZmKJ)b78eY;yMC)P&=nC&L- zXrHxBuRi*BPInBT;1THs-DzuMb+y9af|x&)(E z>=g#~H-|kxuLApXd|654? zks3FU|9XdSZHoxlYjOTVoB-{5uXurI!Yqi<$MxFYds^csg8G0r1Lw5n-!>1k4K*?Q z72Zfo9m#=h#4hKdq0Z}N(R=(34LDpr;Mw}@dugBl53R=8K5EFAcgymb7Slhr3eIpW z_j9Rb=>!w$22e24@dIZy#`;A-;^|Ef$LU7Q`xb9QGBf$se9iK0mSM z3BS9-j^^L&*na;;@^K+q(Aj|&79Zgrp{=|EWLC+0V!sgT7`bmouVvj*0+ju{zLV6^@oS~B5-F4J7w8403 z%EXHMejHy-E1W~xd77yOs6DF-Jkmm>K(-p@TRo@y;GKaflXB%6jmn++#t!Vm@RsGi zs^KZT-F5uuZc@s?e>y34!NEp~9O_h_()_`63k^ehOmkU)ykFlXi-j&lb1yDt7F#$xw99%P!}4 z1T*zl1VjSqT(XsMR8$WqruB{#5888#>r8=MaU0qWY64Hk#}^4lzw1e_OMuLIco=p8 zQSGP5w^JKan|yB_#K-k#p2sXFt!~qav=$?|b*v3c)GK^wKv8}0*UFO1#|Z%P*huRt zv-s+^-gF|&Cpe}dT?d_b$o*$s`BB5`U~gB7D{06RuRmkR;=#)gB`3XU00*U3&Y%r< z1Db|5p@LY=!P5x_&4%KdI)?vaB`EuV64%u=l5ll~0>X;G_Yrm;9!DH+ZrfO`7>?3W ztPZ9JeFVDjip?GfW3?%_(s5sbNESy-bQSizaKA zpLY#*+!?XuxofdlwU7@`Z>S7@2Rrnh5rpUY-Zukz?>gRK$At+r-`u}@ZPahU#wt^8 zU`;-NEFF@x#CZQ{M7%+T8dbW_i~77e@_`oGgxN~F`2vno|5WYin&nB06 z+xa05JXI}k#Vx|4F#_-MVF;O;SVCeu`As}%k^+vDy^SLAWg|5n{Kqb3_~c1TRl$_C zyO@*Ps&3nPsZud@P7>V{;L7ST#xIWoTc>@Bdl-flo3)91Tkj%lauyxr(FlzM@Lhv`|U$ zAmkKJ(8ij)+bk1w489r3(X$uFElyH3J5gAdYf$lB~xw#N;8|@qB-!uHq zir3h=U4JkA4O9BukJ%0C#Fpy`+M${DZU8byRVUI2fM$-Qi&}Dc7cksy41ww<);{uG zc>q_mv+EfyEp`hMmF=-OIc=Fok+o%mS!Cz<(9a3DR#F?IAUZOh%2yfK#1w+=DJzg_ zoZ*IXTP6|}B1H5do@))P*ZXu%ZohSotlcXv@RqzJ@sQ>qRENPR^S}eKY%IN!e3msI zK2fHk{SWW&4qM^^siAH6hO1~4HD!v4jgS_F zIY5swlbXpCZb;QRYXo&I{l+d!^Q4q~`8RlA&U>g!Qc(}fJ=mjP_+vLmFUT-j3tBU! zchw%<6O@Z^^S4mV(XoqIUPj(uPM2OP+Ga2B+XPw8u(?QS2GD^a%m}%@lZC!Nup;d# z#F6qAjC%Is>wZAQoe<3%;4{8mgnQ-|mwbryEh5tJGIC8NfWHmA36*ekGqU-rTL{aw zE#jB;l-P-rI!Kw_{LN$))@`J}E4Obe?~uqjnV8|4jVt24kNkuVu>xYY^@oBVuNkdl zCul7Rn?2Fz-JlMBW%f}hhFz6kusMY;FxaUqJec!aHXC~!SbrpN&t+28lx_1CiC!&_ zl47?f(D=nJ751P|W#PkaAtV}1lPI~LP@W^Q4(Ngz7@^D!yF+3BdoNdnFej+%o5LUF z!7^20Ac+E)uO}Ogu`+_-p)vHI6!%_QfHatUQfjTo^C~g}YvB!rE0hb$d<621=0YTj zPW*C^8%B8wvNBy?X21Iwb-e?$JrcMc%(&_%5jQC@O~LB8Zde0@jP0KVZXX95I`HIYFg>Bm z=qTGm*+)rx?jCUJd$KQT^yJ<)$$eJTb(Um;U(pYX!<-yEZExe=xg>|u?8-Zf17Qa2 z-AABa4wo^pTtsL>I4qSxCyo8I;w*8`S~!`vv&`myV^q@4{5PyS(WWy8nSv%WFxku{ zD+XDXKidG(6iM%jR6?5HvN<;i@h&dd{4!|>Ps_9P)VLS>$6mXrL}gD)w@r!oirz1k(b97&YQS+`{Q^dLFnsG8{KZlPu^ z`!h)+K4uc@$>1YLZj8T@h1$t`rcqgDIgAUVb- zX~f?^@DOv(L*wP(@3ww2FYd(sX3^x}nYeQW+}n3LSj(p~SQG7oFH&=q+P?#hExzrG zi;rdhxCw8UDXNQGB597J&E~CR5A}Y-qUB71K--(OrCMvOF7cq@`LbeX7qHBx+O|9* z>oFO)Aa)?d5p-*>%ZE*aCN)#i==LDw1i>LYdX|bPi%vipBc=^ytp-N}JZ@~hnFMb? zd9;jrXhL3u^m_aTs@0^m?J3jgOE3R8mM2x9>Q)9VgYb zAH1eTK^!yxTX3ZhBwrA6c=+_2e{I}3()e}k;WtN$W8TE{>Eam5rl0@3fNM41fGDz7 zK?i<0?^iI%nLO98ZhxXx^)UyF@FPlFdk0Ruy(01nf@N>a70tD4nyS<)W7^F`M3s|T zuk?e~pUUaLda+DTDdw4ySy2KF3KrK&>1_~;Zm8Z2V!A4|@Ub z-%&TMqEF_usX(ug!LxSHj2s-1w}8jrBg;T`>)jO&muSUq5b}E zJWm)WH1vCmLqec5rdf$-`rB7`Q@k=UDB)du<3Y}{xgAga3lgAOz)8gY&-0O zAuwI%S(DV_#-hk81p@wu_{l67a1Z%l(rAn@`TcqAo1B9lwcu9aJ#Oe}+0qOY&^M(Z zPVE0lFLhrM<32nf@e_|TDTD{oGZ4Q~D{f==X_SD&I8^)Y|gwB+7y&G3wy^q z<#1d{#%^mnAscH*ZyUtOwH$&(2qXHMv_ftv&V@6qCsgGIv>q=gr+Ss@$|j2!{2#F+ zJi|p-br4yYFo%()Ue!u5!XL6OnG_J2TWDR7yKsSRDMGKJ;gGg<6_T}6tQOLwDT;@@*}z3>AsM;j@+bQif_qv zZZO*a{X-EbeXfG`Xj3)S^uKMt6$GW4c$$tb&szVR!skRm8-^x`zQs;X776k&8zrgi zx>xLetV8=${nH`0=ym7Y^m7Ekt<=Nu6AQF2*Un(e>U)xZc)6!Cb$*CnJGJfnhXa9w-gU*~z1eqT?83TCh9-Oe7ek|LB}7n9dPR zqkA}#pnzA`QFWOsc)i~I4(?tnMK9G>suEORJ5nejgA;TW?4Nuf3eYXcSjV~fy%0E) zA$kl#J~+nqgHsa@)cKTJ9O`#hbx>>i3TV^s*yMv$73M-iKiFm{$%!SzVt^L6rMvkD zJD0{|c7D0&6W?9SI$pO7FmM)6=zQGyPJ@L7*2`I0XID1bd%{L7N_U19?ZpvCH7F}nPTog}hKoz`>+ zb_9$h1;AyZ1YVroZfoPy!haO)b9k2=ybeoipS=th5>vS@6y_OXqyTc*X?oBNz#89J za+|RuuvO9lHdJw(pbi#qfH`ZVd)rZpbLAjC1{cfhc_HPib`@^QgLibk2>rOhe|N_E zx0Av3MJzJ8+sH+{UWEQjm_yb5MINb0nTXJ3Z41B026BIF0 z(e|H8`)xM97T}x8?Ezlgx9>f$KVmXkP&bVRpU(i(U7}E#+h%NvK%TNM zE5}#U)5GirY0#^uXQZ{jV8abAAdAs^9dG4WU3M&w2D?~v^_dLx^HMvV&({gA=dJhE zHkH_?3-1akGjZ8&eQ0*CCj3-ORXZ;(Y8$ZBBwOfww*Tg>PXc@{G}FjgB@k?E-iwGX z8-Y`)?f8D~b+cIL;7dMD1=Pt!ATzf9%EJ;Z)4}rAWx(O|h^vVrEwm^m&PNp*u&2#^ zB1-u`q~xS0Rb11itCy+HU;dcSOV7y&L5!zQ`&R)3C6H@>sW>p1y$*QGT#ymV)>?nJN2bY#q1y$^PvF{K^9Y`lK7w1H@o zl&g^9Xz2}w;nf*c=cEB-j*42c*;E)3rZ$uY4JkwP81e{BCM2P>ke1K5t*(5}Vmp~C zr~%j-9-*B-zZnBPU6vO!>d27p+IPYvJ;(k>+hFGNO&?Vmcp5vrdWpW|0#v%PgC3*1 z&W^FE^#Gvu;qnHVQDV8^mtLbJCHsh2N3FKa7WM40)fbqtprsb%x)`~NlQl^UB^_8qAop_h~%tVcYr_W7} z^i4>Y-P{1H$DFR=wYDewuKkzv@6ZzeG7|_45dU$p0Tcegi;7I*6$0IauM|CR2MXaH zaE0vl89k3XK=l`zTSjwX6K{Clb?v*AAm@#}2o=iv~8K)0A?odd@RFX~1YDHU| zyzhBTMBZd&TL{l*SXm12|09Y#&BUF7zT9-ly5;Dl%ubwVKDs@G+uT-C+W)Q=j~Mji zNWQFi{0LEM`Qlyat>X<7Ts-Fo4vQ&qC1Ig9_Zh!yP^1&YJPsC^`;jkg4QoX)R#Rz8 z5MZHO#T@<5I3CVtFbc2_m|ue6*rGj%cYehZL!4!9``1mES@kEbFXI(e5aAnS#y_ zDw^9iN9OWwPg?aaq4C?JtJV@XMiB@99LF@NcZCSm@zjN%9F*G~EXvd`EdGKC7iJN5 z6)(D7m88>NaU*FP5BttPH)ULX77;hX=>rEo&Z}V8$a4cCT!l(S#TEBp(4N<-+f0`Q+jNHT?)kSnUX^VBWmvtf*eB%tZKe|lD6mN(^K=ES! z2O?hr6nVwqaL(`)!F7Zw9^ zopCa@Iwsulvh%XEo|#Kn@*wtz@S>8VLfU;c{@*lG&8d)3Z2*SE+XVQSV& zd#G8Df~2t|o)>Gv5!$=tnvmtrmq>+zQE~~`&n=a?aEz1-_@Td%B7eOLgCDFij^V+r zcAkjdT`w-Skmp-p;4I}f$%q2Wc)&!F0f*NN>ODwvjv2>hJ$KZeQ+tn}2tqGt3bdB6 zi&AZ`D6lMoy5zIu^1fZ|a&lX?6;X9LqnOWj*h8^xF5&=veGV~>3pRSre#bKhhU?WF zpwBDks94aP^_xRx|MS|5(eGM*<^5851n3QUIs0Fv*t4U#9}?{f)7sJoN2-jxUCz06 z0c^qbL)6I|Wc3&Phw<|K?eQ|3KbNK>$KG@MJVvNX-p?AsisQ%bv~O1Pa)M{pV=-RS z17A=FWJX-`p{4G`=YpL!LpH%I?8Tv7=*Atj5o318hXwMl)=(S3#zCcU3zB{poJ77) zEqb|btxcCGz+QBAr%AIPU6VN8JmgHj^R3$@-R$$cF`Y1OlAuduRw&rww8$C2< zkX>xZZVnBGF0QQHG;3LH-f^?D0Rviphrz3Uy38(NB*K~;)} zZgD0q`9^QBlt~VPnEKid_*mnhu1_{L515?!d%NbnEOCCkuENI4CD6!0!0xvf<)w(I znCsDSUjEG&%`kbmE_w-dDBYvHY@8Hbkyn4waFEvpfkY~)1Z4hcs68w zULKK8I8>V55d2*PEA!yiAt}riMYp`qxEK=W|I61j=5NuCkdevLXmZi}d!7yKC9=NaLb+vs z)PwYI*{HkX`epkFPT?sdj;j4&a+#nx7Rjj)WHoY0U3&gwd)30nuh%cO}I~Io* z{b@~sCE$4jDzIMHAS<*UR!u17Z1_6FF>@mHaa8RVrmU+(Nqr(vGf~#Le5I}2VfLZ| zT#H7MRftj`g+J2NN~=eiFxNIylge;vxDI!UUl@PHTA)~zLX;_TEAnpusnfbvrgcPu z2s+R^2{A#DL=;{2+}ys)&WKb@^pY?DA)y703M(Nabt$P$h5O=*c?{tj!f~Z-EQjt# zt|v1sL{NkkEPyIZMjwPiZqHdG$m-`Olc|ygmUO4dqbBmpb;0$33~W$oF7+- zW7opR5%XQfc|{;NLhN19N52bDmGY{e8AM3LaC}(sQ5k#pSDxxL@1?6S?wx?+YeKusW}*Zy^- zlw?V=5+MMiXx;1SQuUL_(tcyHanyeLSDKBzDkEck^11`q-lKELB;@f=z9c2W%(zOmNZp%g7FH#C{dgBBSNa$HXgv)tbO_ z)zR4K@4ElJ4qXp5IEj&I)ZLIN>LF<6h_Q$;4Cv}5a}_Z_JbckwNawG04hnSpK_1o5 z6{S@8=Zfdd~HWJ;w56W12lGHhb>AgiF0Z z8&%cA^dff=CJapXlMa*BYsnA7z`JZCEf0Udx?CGuz{})`;TbPmVX9B~`4de^3mC1` zU%Jq>jxoPpxI%MJe;GwReLW!&PbbtImX^?Ndjea(gptLu89Vo-|Af@go~A={kah+UladZ*!)2p_N{P`c&6j`kdA^t}yBvCq4&r;~;mA&kb*#V&7OHZ^! zW)qH4o4+8AegAf=!n8OcJtb=M=j-RwuEwZ5zQwIq>Kog)SeY`}wEYi+aY!&L7}DHy zR+EHc2~1flktl8oCNgV^LpoPe4)m7R=`bTQf$_=fKi(gZ|AO>e4HO?2C)`ssyb50B zy_tr-IouFV7B7XfJpSCNG=nvnf-cr1849ROO*M&3{bOnFQmeA@+1bX(NAar!wRiB8 zgTOuUmhIc6!scI=iY;UzYZDXjfXMG$J^F$!XNK;CL4BI>eJ>5=Vfo?cvm?r+d~^ho zxRP^u(Ng)5rZN&#EQi9Hk~r2saPn?U-9`xZJIO?EOm0y$ha)zMf=CUAB0t(S3begk z*&)Q!8X4n#o7hPT3R7nhTL_;>Pj^aix6nTP67FM1E4r7w_d1DyFXj~9k;!SPsdp2^ zrd)c#np12QFs}Qo;~^IVYN(HfG6H4kfo-Ia#4i^;P-jyTD(tTH#TWh6F6@WS}x&57ZOri2% zkF~ic_pM%6WI1>a1cJ+ia19>Gyu|^(!_#_GndW9>0brQ$Pp&GpT0SO&yZBt2^cI<;5s8N?iqU} zE%*6bLiQ$~#(8zWS63IK61CfE+>T?|P_*-9k6VEebk@WC4W_2%hXD*zaqP}JBj}0s zERQL<<*1KCzj4vTSqR;EI`FP`G{d0qZZy*O;-TA@#^W6@$Mby!uF`U|O;DU;-NCoS z7GM_XD!TMm|8O1^i?9Ho)x=&PEwc08CE5_DihNKf`OD&cdcPzverTYbyJ9vpphO|> z#bm~(@&=G2;(?TC3yn(c z_wn3l{Wqx=!;l5haqCZbV4=`Ps&CnP$MrI

A8pe`AK`S&Q{9mSdrQzPz!WSy^Ewikg;(bxi}ug%F#ucsop~)Ji6G zSuNC145Y_^s9C$9JsQCd@v8kt~n8+64>Sf#vIV}WPeOm)|1V?dw`x|R;TqpRNSGl~*f`6RAQ z+wF(?w^^ElgEBHmW0f!qi+xt)#6t-F@fVC?F#GMN zrUt*v*DT?pMH$z+li)sIm6ec_Utt0o%{U7ZU$FQSM0BaYz)t7|R5=-so9qid==L%7 zMXX?}4Q@X!MisJ*aBHwipm0;O#QP#Hio0^d1=F7AdIHp7+p><6n zeXpXxzOfJPw49(Xg4zzEbk+RuvQr(+bG`Y^@n_FK)kIe?;=LOC_s1^^&9POig}y+E zEi*H+o-;qGqa=qZ`7BS~bd%BXE=G;p=Set1ekbIYp3C+3pGd+Oh;P06hQyl!qmFql z2FTLp?8nPL(lqqcN`_vgsYumrLTsQgUDKvzXYlNc6HzrhFMrLNJIcE*<-C?K*1&iC z7b-XRa~16I^iJNN>Y@C{pWE>5Nlo5K0AjatVif5LdH}*7`rv-2brxW_04*?f1*;T(sA4<%&cRV9;G-Hz#mxN19~F_ zMb3o-<+KvWV@IBk7;qv=mdO+Ly@SXD#q8hMg$Jiszq<{0nXkiSJwz)KO)|S^Q#NLoxf{3x0F#(8x^Pc|EK(DUBYd-Ht%-E6%)D%r$ad=VF#?y zi$X`a+w%P^akEiET@rW_OC4@7wi>n2bD7XB5RE(|=)qLV?!qr>ilTW(|J8M%1(br% zPdkDjvY?wTL+oj-a?5gASLEKpgr(JF&9HAYlWBgSBNBgM0) z5gZ2q-KP&0BP1idQ!+o0!D|IAsrNqb!o`eja^fL7774!K6y&C0op2J8|Ff*~_4M5j zMU6UQ<=@ZZ>x?|&@E%-NR>gscM4g`D$y zOm9p4ki?|i$Bgkoee1rc7wfn}zlTLf`iIbZW4Lb)zrL9&wH$*XQM1olrM@4UC>h2; zP$WN1-QT`}QGyX+d-Gf%04U4q)rR`t;<9d?a zZx^`jIkLavma7ubm*-D|4j|ZxADKk_?%Kk$3o=C#xPaEsp68_MR4j#wOSwVQOBk8*E-nnJd040QWGMesiW#gA^emnk-uvjs>{&oSY zw~SLI_59Sjw;~dun5H-e? zJWA8he2*)Q-G16td#gT22f3-4h!-$-I=*{EN^S15FVgrBz6~Od5Y2=R1GXOf4#w;48(-CNB9jmMw=08+w;`U|k12Q`71fJ%RQP2^R!Ml=m>w;9<#sjeawS{M27D;!yGCoJbo!W8;XZL*kQ2Q%J)BJ!bJ?;YH^_ZT zX4QPGIIeZk8R68t2dKv?s?Jw^7J#(T{)ErKVVzH344NPeQ4(tNLUTuvBCv5D#OnI8 zmUgI0MwHbwTV(Y7)i0*wC(3K1+@SkpKz*|J{H!14KfOL<{o6&$uu`g%#Qrb04=6B=x zk?|%UNP%Ti3ISvRqQH-MB+Y}c*cn)gDf0cX+Yj~`llniYoj1!k@k(Ar+MFVB-)QPy zom=i>3tjM$x6 zO6Ve0s_hdKvN|a%lQ$LYOEM|kHWnnYnXmbS23m=9$)a?^)uL#M1sd4}c=u!tClF9x z1?)i9t3?c9cHPHcBtc`f?$VXvq>?lzb)nx+^ANlG{J1P zNb~`LLZ7#6vzah>`elO!3r1V@@anRct-dsH+VoEbtqUL;#TdSK=4$;B_n5ew0Vju3 z<+g_cr=?{Ej!TfC3`jf=Cxw~*OiZ0}1?hhsWEC7Gwe212<*1X@*4u7vd#jjEiBaaM zp@8H**a(ey7BunY)P%6dIl6P?P51;^CpOW^b`gRtOpAzFIPFwco__=&bea*Q8z>62 zw_oeqt$gPJy^>lVD^ql$rpFGDaKHylkhTxFehOhog4qs`{w}AAcT`!$Hh!K<{2|e% zca6Xein_d^i}gzUKwuMz%dyp~_byzqfe>OkrDqI&y?nE;u;<*#be4IySZ-aOG=X&b zK>_1*#$lts*x(3$oD<8-k?K{fu6c2=e$IE{nh0906GLi3XcF4QX*$E`c2|gs1YHAy zmcbW}b~#DGtw-!;y&>^^+R92x2*&i~(F-ol6ar#pVCM5={=*+t?ko#Y^smv_DODCA zs^m`zlN*H*!0PkgiUggY6b>Ha_T*K8O+c6Q8Sv3XubVybrkrt~YuWFkFmCZ_?U%v1 zOeME?qVBc{A+Y5$rG#h(Pd5KtEa-gS)NAtnygXHs z@dF~Y@bvwr*7#aMM15#}L?1_LLLMC=Q~*BFyR0XJsSKY{dBRb-LTIwT1faT`b&@f^ zfDa;iqhmEVRvOd_Ms->$!IDb#-flnx3RpuQn&AX5Z0So5cpYGQMn(D-YP;B+Hi;WHVBU!-z?tuy@;GBt{)3;fGUu(dIxK#V2jmbotwAS9&Oxay9_`g3~ z|J^#xe}9x0<+WIoS<0>!;0uLUzG#V%N!XX!8LMkM7Ajz7wNLOPY2)3kYvg{y7F;OF z2f3VXnTQ6+R(-t_+4cRUsq(-(%o=!wZ9K0S&p1CbQ|#*jF1{hDsi~FkY8ARC4L#_m z;~h#|)5u&>c-eu*zi|^!?epjuw$sP(7P1Y^!|{E7WIoB?Q=p~s2y|-**tU9kS9E>C z@CX!_KhQ<(^3po*AIFi5D`-w?3Hn~hf$dVhg-(e@%)CuAgYUV!PL4X8S2obV7V}Vx zE^R~(@#$K>)Hm!-x{6b?ut`xb4gC{ED*eO#7`}x`zBJ>K7?1{CxMo+=)3X(5%dl}b zh-FkDSmMs8;D5FYa;V)_dU*bs1(IqqzB5IWR&=YGrs3Zm_@<+pLEIQ0`i(3Tv8VCG z-26jocMC;_vF@(U;xMT(cF6>Q+H9fKRqvgw#S!mktj3p*-EACCKT3;P9P3d^B$Hjc1y!gY5A6v{1CVh6FKVm?*8hlnyML=*jO@=>^T*-R|75$#QxCfg=fJm&qSuS9^sJ`n->pVwGcN) zNF5=K=@q9QyYQPn-lFKYBmLNWx9|9e8#8d*y>>^*!xuH%>>z|_4bDBL z-?L6Q_@-=6-h53aa0l-Iezc$J-PigvXu>zYqLj`^S)D*G(EV?x10Zbu(wseH@9NOBDKM_sWZ=PFna=6Jc-ZDJgDL#LYD#Hoj zY!98in|JDgUn(KtldO<#%bg=M`Vu=|CCZU8woc+R0qd9!xhq5tm^Tx?4w86Jq8%(? zbftsH*=7GI&<8csC##71Vh&bAw#zG3(?nWBP@Z<{u?aqh!a1sn{<&ozM_W09x{lhuTdtPd9^0gtlw zc6`n~TBiCu<~aaV5Q*WlDM2;TYL?oBGnkzXqxOPAYA!5JSTD;n z7^0~e%ob8xG!1g9b0e%)yIySk6VAW z8`6^Pj8%N=oXhg}3T5T)Ia1ogB0|&4fMynUt5e<{*CDa5YlQIKbj^2asmOxv&3Lh$ zEqd~Q&Py<5Kc*Bs9IHor#}OlUlgcA|BJ z9hSd5q9V6m7gJ&0pg^?AkP+-xC{)m^jvn@E#su~PC%XT@phF`pD9>L#;!zPs-R&-{kYJ#$vL5sT7CTXxM{NjTw z_H^t#bW8M*qGK=EPEc1xJ-bcmJd6r9(f%5=`N3q(Yo|*J-CLIC8mZ|^?OjWQJmo?7d>D$qN(7N@3TQLYqkWHYb4()8Asb;nK5AoQX6 z`J#6YublCcOq?v-AoSVCM-|g6_XShtR6`%1x5Zno&(8S4N-OEeK4(U#2|RX@h;)#M zz3&gQW=&R?8pp5oK_eSQvTia(Wp4OzT zBsVYTzUR*Zme00dV_RkJ^1bLyQSi4Yc~vlfz{er_Uu*i`f&nMdM^ho01^=x>O&Ro> z@q3*iXzD%+4CBuuzYCO7B=nnwqocL90pe~B)?*r{YAzS^N2D?TS=3+zAe01y{#c;N z>l>j=+k*mF>A9uR?a3nz3iVO+|6b(rNEjQ3Ra=o#1TY{e>=j)P^>`6=u*%)#q8RP? zz2Aa$&kAK=k-Mgg)%#?nc;;(^vHwzwcS`Z)eyd&KeR& zJ8RJgoN+d4lf6r@7gKCjYsYWw@nc5gPJ-&L*7I;KzKS-v%c%dP?DIVKBGuYsX-WgU z_9grJ3(WM%U~U0Te0egml-5I`c;mxw2+Ji={nph0R`LJE=$mr$X3F+zCK?#61^YHQ zxXx;O&?0_jXPaYuccoM*>q-A)sow5){?o(L)$>$C^?BV3coj?P)L_}m5VxB4Ni7u} z*~JZ@YS}QNK{1!`7vy|e8~RI!{-Tp$HWsVlB4X3v_fzC68WI|Hhm2mZexK`aWB|eL z@aOhB{s4u2>zQ&;c_tlV=MJ1IC59;HYQk+e>Ns}v{%H`jqkE$6rt=gqdWmTbEmVS2 z3(A7Y;Q<+Voz{J1{sPqKDf+9jKlx8D?57MK>=<$W=&O$U{^Po_Ec<-XC+}oO79;ym zz~{Lf*f(o)p$6xFo+{U_PuWF?qm;0LxApzks>vkh7Z8y6v#e0r8bR-z=TAgxpV&>Zpu&?Y$wlTif6Cw}gt8NavMz|LIQQ*m%2%g&s2%k5qAnY0f=v z8uqZ3VGlKdPRZ4vXjC1|iK}1sIkT8!U@gL97dH?tgT?DMO-csVs|9Rrn^|$g6-vGe z?`E+UW;g3|lM}%Ow?Y^08u#~}$wutrmqn_djAp;|<%ud!35=^zzNJVv%wl^O&BHYt ztl`hA90{^1C`$k}3iCReVkQTHhtaW7TXoc=k!qh4ymY^^TgRv0eJP4t_Hxc5fMAz< zc`we42mi*ZyIfcb^^%r3l&>b}P6`qmnbA|laTu+;F;{4XaJgBAlje6xpP_USW(~NLex$JyZ?RZ?=$^? zYEW3(;QqAbc+6C|?)y#M%z129@tY=_X_1GbusEG2L+C~)?7T_@ET(Xd3%K)Ne=8g% zB4xKKm+)s?Aoi&Aa%ck*>~voGtR!@a4Ut-lQ6tc^-i0CC5Xi1*spA*6SYv?1e;r2VyahHcC-t7N)N3g_ri_6K&HNok)+$Q$$$n!l)JrKS} z1T@g0<^NCI#=+G($8!1f?--)$_5$YV3;|@9SWf)*GV&j& ze{j+r;&;U~FU~n%SuQMv{|*DYBlS^r!b75$A;U;1hQP$vHWT71J`H3qTci+Svfb@r z^HSrC3|h`lSjMlaZN{o%JaU&s@IT9{+WRQn`MYBo|DIP&4@4MA< zK4ywJ+jpi<@foX7!UaLJ?Td$}L3FGKOa%}mqt>5^xzsVQO}tE*Vq&wr2h=;Uo1DMd z45yj;zjnN5uVC<3MPH^OB{phAbjk4%vjmI=lHn2Tknd=$Cy0>R5V(O+hbTvU=IpiB zR3BRBeew5s8l2#a{+oCWm8T9onOmjGHD0Z*h<7Lj8BF#9a!*i;#AeIl=AnPB;C!!- z!QIv}a+#X`&0nv` zt~viv4DqV3)i&fffQqiwEUtV2`R1$Jxv|OkiA@V!+_&V)e927;oewv!$#=D?iU`hX z(|o#%&>qi{Om1s|h17sy?gd;@|t~5S4`;v+3SS)3$>| ziVHDestB64{|?eghz+hZnDN~VECg7Lb!rAa3@8zTK^vrCPuMOqZQEz11UkF43n-;* zS;hxD)eaS_6|Cm*h+GEr5l+GK-8f6&$nz^QDNzV%MIu}49nUX%pPOhS)GO!IDVE?) z=<^{Z+R(!-oluF8l~MygQ2oq^YkJc)2imF_yzeH7`5mw*Vy`y~eF`=v|ANMw zj6v1o7?}k*W{kj)tlI3P4^2zHuH|&GIaCho%`JX*C(mK}G+zVkx3XTdAG`y3xZm$( z?vEdV%0B5?7b+NZJ1ykPyeuPJUqq$X;Rgaq^r3F{A-xbA2p%Rre*+IdvB&gl_(nC0 zatp-W?S18?3Q(0h+JLj_!}-69>tByl!hf(-M{hwae^3OWJo+%%>W+#Ii^>kkm`03J z7q3XtuJ7t(4zh29@at-Po1@u!K4EmdZ{RIw8~xE$ceY6^`khwQzxwYYuHH9x$7)&&7#s14^BZ)H_ggi_d8ET;jj24 zNawax!bfS1^VpvXyCwq9qN1mep&U^cPU0PZlRYU-8$#5nAXl!To8xmiyUsUPqd*!Y z9TPO#4UxTMPl?Wx8q3nJcP zit?a9^49co30o>+ybZjBF@QFPKyy>-Y2@V{xFR7p_NxZUJ7yZ^bk1&PPHcciDq*VY z?K(7!WYXH1Q}RuFv0^Bcj@*o_M)+mOb3y*P!JI1~9l_bHQP&@f9fR2d$$50KtQDdo3q5mm z#s&l>yCT9Ex;ADV_1-{$&1?e2ZPb)emF_-vmbj4DQ8B1c$o_>D5L*kJ-PSC zY%MI%5qw7z9T9;`U0XX-yqsHXQXR12slw#`BkIsZA;tGWcR6~TkVyA?8#Ysyn>fsrx<=g-Y^muvoLp^=68-YC==o=OL93#V(NPs|6jpw5I zOJx5;#(h{N-nnJ^H9k6*ve_EfJ|-`QDx2}?uL?|kOEX4$wo84$)2yx_x-A0D+xmyR z3q&Y=j6=^1+EI5-B^p{_|2eHE5RpVF^o$L&mBA>-uHX$_d%_rzu;-&CfabXe=J>uB zyTx9(uEiSKYS$R~DzxqPxh>K1&OO(B0zc)E?mJ!VNTJQUpmetP<`PNzFYiu7uwq-+8t%=b3Qvm_ zs;P+_iQ&aJUe~wN+dWBm?jU2-25Q!|lcAAb%@#OPnIkXW4Tfuuwbs}`I2z9 zd=~D>4(xg}ZEC2TFR70=^mtzrbhNUF^LU~ket*pfH2Oypqf2j9ov~!CuTiL$tsbAM z<UC{)}spCZpgSGO&Q7?qEg zYwGXR|NbNS+^^rc2Yrz6ait@{&_#t=HtVz-v?z~Z`KB_GZlB3qNw#uwTgn2hz$tvB zfRK|a_CumyP4!R}IQ?bL%P-$0cwQ6)6E_pIQ6c zM)88y1m8xFib}eqXV!KPy1g>T!JaJM(LJtw}UHHJR9YA#9hP zI*J6U&NoCe2${nU0{paN#Kzu;UA3F<7>ZOy^`UujHVH;LrfnG8iK6$63Bo`R>!H2= zVDyaUkxw1N%q52g!(?hlg*Cq6rooDRV0Iv0bvH?uqX=#_*lgRiw~`>B#wM-(bB#h| z-$>nuzcIMNK!cwbNp;vr5?W>ncH>%<7Y7P-)mtN<`Qhw4MSjuAP6(}bQpI~+u20K! z?%d9zM7uKBFRwE0-nFm#a#I_Fr^k^ZY0OZI<`{>L-$*lf8Us*ro zf%6sLT#$~^WK>)6NFy?tGGGrX!phN{!En!0#to0Cs{=ZjiWR9jsk4n=x(N|%XXm01 zMt|dfxhO{V4;^g$CdJgys`b4$b2b;3b%R2341)<~q(Mf09 znh{NpY`@zoRpu^-JqY$EaB%rsmQ|RnHeq;#80w5L=iQc`WBwrRQ81Bp?~H|qL+Arz zU`7VcWI0Q>{4Nv91g(+PLZlknnopNJKGE{+mD-Q3Cv(;S?t0M?f4|@SQo-LbJ`N@8 zJ!0B5_I-uixpV z@Z1WNyYW+JHG^jf1==)uI|YOnoZ@KQSXQ*g1hq3k!^=hsFg3fKW1Ida-tMq37@lN1|>& zM`L~g=%^vdw(j~nn2;&xZvp$Fbb3p$)~-=CS6y7zp3)|KNt&qLe%03(4eKZym4Rp? zq^f;l9UqpQ50joEzxbVxZ*^B>vQ}yCa0Ku`i80UDlD8h{$c9~dN~M$mlB`CcfpYjd zO@W6FgWZ3T+b`i$`z%x>h*RyT_x+7Qfyr)ZMTGc>HY>id4^uvm3bfth3xElIgWYXO zUHb?59W2bpqDJgG?xbgIZgkr&&a4%1q8~OB551 z-`fqRU9|Yl=XCmbT|bn6@i3g=6{lrV!t40d8Hj`i-84z4A0=OgWYs+{Va`4CBie0! zU$e4%)V_M+oO>R4s$xI^(mQX|A)qyw`-2b431QboDP)x1qQ^|cI7S0VSqInDZ-vXD z*AFJW<&8IV0A1y<@G4`6y-|VG}D~DlvHKY z0?L!+&w*V1J8JhFgHNIL-SUfUMSeGfku&uG=gq-Z!3Wrimy9Y*nrP9Jjpi2YoB<|P zYP55+Qe03>k>*)FV8k>)4o{QO_vlpRmBg(a+HtoYgCPQA3+|zuhZh zvyop&o}~6kFvzGnboaxmo0JOETSz#LXCT`{$knSb^~_D_=LJ{rzp1VTg{hWr3+@F^ zH;4ZwKmEMU)}h*MPIywB`<}br&&eEF+rLego?wcSV?rQ6m<&il;6ablYY3GL zt|kwt;Nu1voRC3yp2Y8{sO2>@0f>&F$ztm<=Tu3>*R#n<$z)}-5k;9~Ud^TPHWs&U3WS>6wXGmN)Dy#P%VO|Z5fy;N2gzS z9+?e~EIjIJ%LBF>N-S{&25L4>;13LAKpw;5c0LfQx!n#L7h88Dq^2A+N}9V9XZ~1_{hLu6r;_Kjj^$BmN6l+8{v%UF1rix!Q{{|W=as3U31Ny*=H)_ z<-5^0lEcTDzXK6jL-sej{GPDRPR(~~nbY}MPinWa!r*^rg5$6bD2ed#MO;B?eR&D> zjmna9^8h_uq*AqF(L6R%5@w2m!ACMBXb|%-ThcfI(%}oo5+suP)ok)QIL+!}23MQT z!v9U}a`Sz%+ncrKm-wAEbs`knZ22LlDGSO5lZg`)D{}u)*SYqQ#hWZ2pIztc2{d}_ z>od%%K00CNH?^;p0#V-}`{QHUudhR%glRR}X?^CFwRCy%khCIAY4E;GRLiqbR@V?3 z@74-WZ7iEPH(!p#+%x8mOi-BH*?IUZ&p8dET3iX*8SS;I0|#JXB;I=_)m-bI1ONEQ zh@AFP3;%^WkWy((=3Dvw&u-}DLWY+UGIvFiRJ^3x{!OY92)KQlvzCSriRAx{qEn|e zq%)u%_-+-cpN92YDcUJUx2`Y1ribxxzp?ZI&ZMPUx@^y7Oc;{xvODuO$t#uF8PsfBQo^6S{wC zXLK`82P(_GPkiCk-QVO!vXEe7>qb-K;vjG6{Lq+u8^}in4YsjXzPdrk72;EIghPkj zzxpy6b93BwUgN}#5qlf-o`|8StYCOTPuRaRQ=te{+W&QvQ@&>D2UMIsF=JvlptXDk zz$PNowU9z}6E-5b-y2$t%tw9|{DDfMu5L$Gcf;FVDW%NXFx{7CyfS94u%2S_TnE7C zYKf1s32J`w8r;TibY()g#H^GUlaLziCIP;wtIj>j%z z8macK{_T+CpZ&vVPRU*(Zu1sRNFxqTi*J{YVq zVXk}O)8nC?p|NCI-E|T(FJgCmdvH%XXXxb_SikK2inCvoCZGYdT39$f*i zG{e@HX@r8L{EjhT&oDbxE(_1;H8?n|Hf1?!-A%9K$KvMe1?=uF8f(q#;zdJ`Gy4sk zD!C#H?K}mNugo5QlWqmHG-5gE$)I|T)_M|G-4x3Y5wX(3I7j5?8NS~-C<65Juv>6mkOTRs#8UxtBRTVxXk=O99wht>;6+)l#`E5 zOFd$AnkY}JpAos|-Tc-{uKjqQ*fXbp&>H<4km|XkBT!JX@vk56T3t4K4xG1}HJp9W^5TRBwkj2yY-CcReuINCF9P4=z1-_007o^B*7LxK z-w!(6_c(Xr96quTzhCXYnwZ>T4|*(<(yks`brm3UHSOMLOBE#F>UtZ%I*0YhwZ!!^ z1djE|+S+eA0;D1b=63v?d9xbIM~)z}T^n;Yfq;X&7zGC-_Q`U0qmpZhbUXRcAI#BS z6m=6O?SIA#f{R!oT@Rt!P$icSN8*;>bnamEjiMT*;ro@sR?m**&kpyKln+n+q;07` z&~A)_mz8EDWk5-eo)g~WB;iSx!=s5xn1$3U49k_=FT`&O8Lv;I7@ai#xa}ztHLEDj zOHb#uPOVqw80%04>tEZ*4x}U*(D{3Q-wETD22 zUgryj+@BgrebCYj0Q2K`?A|Y>Ss;3>to=B)xYKyj8M4}T%-IT4hr52bob9xit7Sqh z)Pb&q9u&mOdr`=!$HOt_Wl@RD-C8{)SRV21+;lM=STrCCnU&~#z#JA7*CjIjAPdZq z3pX^VHmU#HPl8}HTsr$KhPcYxiL=vich(8+pKa*jz2%KL^97w7%}v@euWx7iH;_N; ziFA6seZ1Ws+Scru=|ln?pf>}ICW6rv|J-7@En8;FWEj^D4yuas2m9&eY!K*|XG+vM z8?OX^EX`p$cL!eM=8zElmFOxf&fpUxFFTAeR_eI^`Z>$@G}AaMWHgfpu~vA| zY~T+ENUb9uq0snhYu!iktFg@!vG;KV_rCD3B5CCLhBc3X&+X%RU0<*gdtCy;LCOx- z9R_v@+h@WR^DZNv6x(&{_&bWAu0^jT>EXHjKLOaut8o_hhnGpnrfDUSYj9wFqPMk$ zA6)VmBJJR#RU=d*$mkGo8jgcOOf)Qw11Wv6p*sGdhFa#{g*OzixlmF4*)5z`&DfNC zrv9{>BX5o)bMlmCJ*xht)2{vr#A4WpxGT*Ty~1lMC71Jxib8tGjk>y<4|h@z$J|1N z-Jrn04HBn_zcg%ILPHwR2w0?$!qB9VE|c0`v&_01Jf;aN55#-InEmZ2_&%)>BP4guU)PTRo*$ZO=oLI1$1-m0r(JCeU4j7uDkVnLHLW&>jFtl9$%YST2b ztGq`)w)y2Anb`f&11fcW{Dhh)k2RY^9?1uV38x)O!-D+oxbt845^AU;PFgL0O9e#O z{wgQrU2V%of0f?ExK`3v5(cJO%@C)%g-qX}#myspNffj(Y0`{Kfr4UOlx;2(_p9f+ znE3|tWF*7qkVGZzCIl$#JoGnjOqkx0k!o0Ap43JoZ&$GHIbP?qKypAf#P8CD;%F=O zG034t)++D#u0JvR;y{YEZ^nuiH`X-mWeKl4I|fj1-QNPm%;O%H2xLt`X9>@((%54N z`9=6rW+h>=e%5fnAv5Xb(9OruOlZ$0T?@_@(5p+&)?0ZM3D+S&(e-c{nyKA!CF-7s z!`dgR;{IH>>$_LW6cfOGv0UownkF)Fyb`|J#751b-TS%F?-v4<&}$NEh++n-N35Y% zca4o7ti#JLxisco2C_;lBgudY+@RjOX*77NUk8eGXGC~cZx{=18qbJ2g2wu9je5&t ze)iFqyeg1k?AJhnN_b-_$!E>d|zD5OczTDId7lR z{@Y;Yg1Cv(xY|jKkjf4nZX|R~c%i@C#flugYF*sChbf(4HEj6Wwiuh{EutWpPX6oQ ztIevMPvabSp5@sMGES=s>EvKX$$DG%CR|#H>utXS)x}sxz*q^N zw$+)Q8RD+}jw0V7P?_-&eSY3M*@FFD4HFu8#Q~)T;K$wCT7TKA*{$8JW?h(iloW?p zPiLT9t3ihvEwjk;HS4)rOutBr=Qt%A^@sfoH;IGT`y}@+V(p#6=MrxAgv>9=SEv*l zp6hDCS7Xa!`ij2&5*OeqPboCgLOo7Lqnro|!O6d;nR^Hk+TA@OoGw?6=s(Rs4}HXv zt$BQJG)Fmzq=I;QFwx;WZ%3U|dS8Jp6BWgAnyx~?rX3d?#Uvg{Knx_|U`J{&y* z7wb)k&G2w`I40cENN`FC^M}}Uc0t_8bF=qH-8~L7<*cKkcMYZa=C^j6=>$`9;XBE; z0lU*gKljOG%sZYX)J{KqfZt6iqLfZO8UV0)r)n?_T<(3n4cIz3qA!%`Cz$2r;9%D)KcEmJz zmT!P&r6?%G8$w7AXyyi{D)H#kxW)tc%Cj;#(YT-vdAN~F!hrV(&hR{R=p#xAVr}39 zch8xVxd<)Fb_HPu(*Zc>P7Vbp8*Rr_G+~kb%y)7ub&kaIkuA0C-HO$o?@p(;9Oj5B zGi%MfGjqs22HZYrf~Onj+(PO>n1GfuawPIr()@|6QSag)wXw^to0fNV$Xnv;1$)iw zIB8>Kxc(ORmQB{G6&z1AIBE)4=ecdki$K`3<<&##mQX9gWM-WI9-a(O;=0{J!vY6B&m-cBlTVZB|(2AiMk3OYvBduQ4Mt#V2i;NUX& z>vidX|5rQH<{P{Q_uw%VWUOb=S1Fz&`R*_(M?VmHHiesHCpcI_M;q{_);czpBtuRP zQ-zimg&r3-GCej{T3K!YxM;13hs(_r_dnmKlswH5fS~b-8*O%ZUE~3DGBT literal 0 HcmV?d00001 diff --git a/thesis/notes/Rationalization.tex b/thesis/notes/Rationalization.tex new file mode 100644 index 0000000..238f354 --- /dev/null +++ b/thesis/notes/Rationalization.tex @@ -0,0 +1,121 @@ + +\section{Rationalizations} +\label{sec:rationalizations} + +In this section we will prove the existence of rationalizations $X \to X_\Q$. We will do this in a cellular way. The $n$-spheres play an important role here, so their rationalizations will be discussed first. Again spaces (except for $S^1$) are assumed to be $1$-connected. + +\subsection{Construction of \texorpdfstring{$S^n_\Q$}{SnQ}} +Fix $n>0$ we will construct the rationalization in stages, where at each stage we wedge a sphere and then glue a $n+1$-cell to ``invert'' some element in the $n$th homotopy group. At each stage the space will be homotopy equivalent to $S^n$. + +\todo{Put this in a lemma. And make it more readable.} +We start with $S^n(1) = S^n$. Now assume $S^n(k)$ is constructed. Let $f: S^n \to S^n(k)$ be a representative for $1 \in \Z \iso \pi_n(S^n(k))$ and $g: S^n \to S^n$ be a representative for $k+1 \in \Z \iso \pi_n(S^n)$. These maps combine into $\phi: S^n \to S^n \vee S^n \tot{f \vee g} S^n(k) \vee S^n$. We define $S^n(k+1)$ as the pushout in the following diagram. + +\begin{displaymath} + \xymatrix{ + S^n \ar[r]^{\phi} \arcof[d] & S^n(k) \vee S^n \ar[d] \\ + D^{n+1} \ar[r] & S^n(k+1) + } +\end{displaymath} + +Note that $S^n(k+1)$ is homotopy equivalent to $S^n$. More importantly if we identify $\pi_n(S^n(k)) \iso \Z$ and $\pi_n(S^n(k+1)) \iso \Z$, then the inclusions $S^n(k) \subset S^n(k+1)$ induces multiplication by $k+1$ on the homotopy groups. + +Now to finish we define the \Def{rational sphere} as $S^n_\Q = \colim_r S^n(r)$. Note that the homotopy groups commute with filtered colimits \cite[9.4]{may}, so that we can compute $\pi_n(S^n_\Q)$ as the colimit of the terms $\pi_n(S^n(r)) \iso \Z$ and the induced maps as depicted in the following diagram: + +$$ \Z \tot{\cdots 2} \Z \tot{\cdots 3} \Z \tot{\cdots 4} \Z \tot{\cdots 5} \cdots \Q. $$ + +Moreover we note that the generator $1 \in \pi_n(S^n)$ is sent to $1 \in \pi_n(S^n_\Q$. However the other homotopy groups are harder to calculate as we have generally no idea how the induced maps will look like. But in the case of $n=1$, the other trivial homotopy groups of $S^1$ are trivial. + +\Corollary{rationalization-S1}{ + The inclusion $S^1 \to S^1_\Q$ is a rationalization. +} + +For $n>1$ we can resort to homology, which also commutes with filtered colimits \cite[14.6]{may}. By connectedness we have $H_0(S^n_\Q) = \Z$ and for $i \neq 0, n$ we have $H_i(S^n) = 0$, so in these cases the homology of the colimit is also $\Z$ and resp. $0$. For $i = n$ we can use the same sequence as above (or use the Hurewicz theorem) to conclude: + +$$ H_i(S^n_\Q) = \begin{cases} + \Z, &\text{ if } i = 0 \\ + \Q, &\text{ if } i = n \\ + 0, &\text{ otherwise.} +\end{cases} $$ + +By the Serre-Hurewicz theorem (\TheoremRef{serre-hurewicz}, with $\C$ the class of uniquely divisible groups) we see that $S^n_\Q$ is indeed rational. Then by the Serre-Whitehead theorem (\TheoremRef{serre-whitehead}, with $\C$ the class of torsion groups) the inclusion map $S^n \to S^n_\Q$ is a rationalization. + +\Corollary{rationalization-Sn}{ + The inclusion $S^n \to S^n_\Q$ is a rationalization. +} + +The \Def{rational disk} is now defined as cone of the rational sphere: $D^{n+1}_\Q = CS^n_\Q$. This gives an inclusions of pairs of spaces $(D^{n+1}, S^n) \subset (D^{n+1}_\Q, S^n_\Q)$. + +\Lemma{SnQ-extension}{ + Let $X$ be a rational space and $f : S^n \to X$ be a map. Then this map extends to a map $f' : S^n_\Q \to X$ making the following diagram commute. + \begin{displaymath} + \xymatrix{ + S^n \ar[r]^i \ar[rd]^f & S^n_\Q \ar@{-->}[d]^{f'} \\ + & X + } + \end{displaymath} +} +\Proof{ + Note that $f$ represents a class $\alpha \in \pi_n(X)$. Since $\pi_n(X)$ is a $\Q$-vector space there are elements $\frac{1}{2}\alpha, \frac{1}{3}\alpha, \ldots$ with representatives $\frac{1}{2}f, \frac{1}{3}f, \ldots$. Recall that $S^n_\Q$ consists of many copies of $S^n$, we can define $f'$ on the $k$th copy to be $\frac{1}{k!}f$, as shown in the following diagram. + + \cimage[scale=0.6]{SnQ_Extension} + + Since $[\frac{1}{(k-1)!}f] = k[\frac{1}{k}f] \in \pi_n(X)$ we can extend on the $n+1$-cells. This defines $f'$. Since our inclusion $i: S^n \cof S^n_\Q$ is in the first sphere, we get $f = f' \circ i$. +} +\todo{Add: unique up to homotopy. A homotopy extends to a homotopy.} + +\subsection{Rationalizations of arbitrary spaces} +Having rational cells we wish to replace the cells in a CW complex $X$ by the rational cells to obtain a rationalization. + +\Lemma{rationalization-CW}{ + Any CW complex admits a rationalization. +} +\Proof{ + Let $X$ be a CW complex. We will define $X_\Q$ with induction on the dimension of the cells. Since $X$ is simply connected we can start with $X^0_\Q = X^1_\Q = \ast$. Now assume that the rationalization $X^k \tot{\phi^k} X^k_\Q$ is already defined. Let $A$ be the set of $k+1$-cells and $f_\alpha : S^k \to X^{k+1}$ be the attaching maps. Then by \LemmaRef{SnQ-extension} these extend to $g_\alpha = (\phi^k \circ f_\alpha)' : S^k_\Q \to X^k_\Q$. This defines $X^{k+1}_\Q$ as the pushout in the following diagram. + + \begin{displaymath} + \xymatrix{ + \coprod_A S^n_\Q \ar[r]^{(g_\alpha)} \arcof[d] \xypo & X^k_\Q \ar@{-->}[d] \\ + \coprod_A D^{n+1}_\Q \ar@{-->}[r] & X^{k+1}_\Q + } + \end{displaymath} + + Now by the universal property of $X^{k+1}$, we get a map $\phi^{k+1} : X^{k+1} \to X^{k+1}_\Q$ which is compatible with $\phi^k$ and which is a rationalization. +} + +\todo{For arbitrary spaces} + +\Theorem{}{ + The above construction is in fact a \Def{localization}, i.e. for any map $f : X \to Z$ to a rational space $Z$, there is an extension $f' : X_\Q \to Z$ making the following diagram commute. + + \begin{displaymath} + \xymatrix{ + X \ar[r]^i \ar[rd]^f & X_\Q \ar@{-->}[d]^{f'} \\ + & Z + } + \end{displaymath} + + Moreover, any $f''$ making the diagram commute is homotopic to $f'$ and if $g : X \to Z$ is homotopic to $f$ then the extension $g'$ is homotopic to $f'$. +} + +The extension property allows us to define a rationalization of maps. Given $f : X \to Y$, we can consider the composite $if : X \to Y \to Y_\Q$. Now this extends to $(if)' : X_\Q \to Y_\Q$. Note that this construction is not functorial, since there are choices of homotopies involved. When passing to the homotopy category, however, this construction \emph{is} functorial and has an universal property. + +We already mentioned in the first section that for rational spaces the notions of weak equivalence and rational equivalence coincide. Now that we always have a rationalization we have: + +\Corollary{}{ + Let $f: X \to Y$ be a map, then $f$ is a rational equivalence if and only if $f_\Q : X_\Q \to Y_\Q$ is a weak equivalence. +} + +\Corollary{}{ + The homotopy category of $1$-connected rational spaces is equivalent to the rational homotopy category of $1$-connected spaces. +} + +\subsection{Other constructions} +There are others ways to obtain a rationalization. One of them relies on the observations that it is easy to rationalize Eilenberg-MacLane spaces. + +\Lemma{rationalization-em-space}{ + Let $A$ be an abelian group and $n \geq 1$. Then + $$ K(A, n) \to K(A \tensor \Q, n) $$ + is a rationalization +} + +Postnikov diff --git a/thesis/notes/Serre.tex b/thesis/notes/Serre.tex index 96286f7..c938494 100644 --- a/thesis/notes/Serre.tex +++ b/thesis/notes/Serre.tex @@ -86,7 +86,7 @@ For the main theorem we need the following construction. \todo{Geef de construct \end{itemize} } -\Theorem{absolute-serre-hurewicz}{ +\Theorem{serre-hurewicz}{ (Absolute Serre-Hurewicz Theorem) Let $\C$ be a Serre class. Let $X$ a $1$-connected space. If $\pi_i(X) \in C$ for all $i