From 81fbfeab2cd6925949ef0895645fb2346a1d6496 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Thu, 10 Jul 2014 16:29:32 +0200 Subject: [PATCH] Adds Kunneth and UCTHM. Adds part about minimal models --- thesis/images/Sullivan_Lifting.png | Bin 0 -> 34176 bytes thesis/notes/Algebra.tex | 31 +++++++- thesis/notes/Minimal_Models.tex | 113 +++++++++++++++++++++++++++++ thesis/preamble.tex | 1 + thesis/thesis.tex | 19 +++-- 5 files changed, 152 insertions(+), 12 deletions(-) create mode 100644 thesis/images/Sullivan_Lifting.png create mode 100644 thesis/notes/Minimal_Models.tex diff --git a/thesis/images/Sullivan_Lifting.png b/thesis/images/Sullivan_Lifting.png new file mode 100644 index 0000000000000000000000000000000000000000..16b3af76b62c812a0abf6bc8c49d85db6d08ea16 GIT binary patch literal 34176 zcmY(p18`=~6E6I|*?42y*kohd&c?QFYh&Y$osI2{ZEbAZw*BSzukY5ad#a{Roj&Kx zbocX2_smp>%gc(x!{WdK004MN2@ypA;F~l60QLv^O8~$#@(KUC!PrY^H~|2>LH{-2 zd_}eMmk`QXQbrVN0}2)ah{P^;Sn%KH7Ru_*!ge+`Cbs{50RYG=(n^TaGBD9HFmn(o zaI!G0l0X0eL;y(5ml?%R zW9YSCj#<732V=Z$7vmn;uXKmJm&9NwC@9|m)SnP2DDl$&xBWj4|GoJC1@Hc2%dxTA zI9L}*oIYPNDt`$VGDi2FnKPdjqNKcI@R7YKNr?_;jw=;i>okVzJ?5r`hJQ5)SjMJG zp4h)OwISu<{hWr;Jsj`I3UsB=frJ7qenc;)JB7NOzflzF3&X@Ob8Mz)_N=n*RcU_@ zjtYt0kddV*3f?}M_v6&>&~PlwS^dg<9f9Ty_!|CQeAUTqCOU`tS3Uq5IFtt^E>!s5=G~+o5F&xF=5-y6I_?XUwpq_e_i1zB@l)W-@7WQ9j_ZN@T1dxn_X5W z*Xw=qbT(M}6ZJb=N%G#{yj!@84XNgkm6&i%K12i#kT0c{c$)tQtN;~`&;Tx9^@Z;v z)Ti>V3Ertn52OPvdarK)CAkK1R(dn;+(U3P3+QDN?z-?A*}TKM??= z`{HhZ?kN(Fj5QBE09ruWvfQW8Ts6PaV=@G8-KrpsAbb4-e&9ghy;6~b>?KrME@A+$ zSHQ)$4!w-tBg~zqkw5RWY)){9yk?RkJ#p^k%D;C#3X0S}*${Bm{IfcsBlz5p8TL(M zBt+zM>uLy*{@4y>W!wham9XRS@JN%)V9Fu9H;;Ozr1}=z+ zvULc#E9qY?BFekB!K~Wu5bOJ#^r0~Ca^{N^m8u57)Fyxvqt3IhOIvsO(8 zDyTB2=ltGYt)C$A%c+x?Y*LTWjE)M6lP7YE(i{G@Nl4>tPw#~h3Swd0S=+?jYEicb zy~x96{U0yh9}^d;^Hv5T7+fPmZs z;qx8eT6h5P;PEIJzNo=(J|AUB^6~y*GBJl8V`FqZpHi6RbK% zX0Nb4AY*&PN?^C-xB^N(4~Uy#I$w2j6Xh+DQx&+LTIOndI5ZQ@;kiWB?GAqxbYRUfVh%2tl7CGxwRkUuBf1pesRI-F?&1;*Ek>@u%y zATt9z4BBg4Rcw5WLRw3#QiX)_2;CE3*8w@2|9bE)2?5hiSD)1`&S!FSl)py4JzPKRbl6CCF zs&g^fM+;BPMaP8_pw9@0V)Fkz_ZmY6r)E(|qh*^KSn{4! zL$?{Py%ov63-j44U-33zrAS1k7@GTQLTh;xCP}4RmxJn-+UliXMt?iL`*F%-CJDN} zJ+YKsW;Nk$-j}ex)cX1HGNMC+Va?R)wDsfCkRGe2Wvt|ceMc#6lY;m2aS*7#`ewk* z$MNq&Bv6$8oGrPiD~SlT-V22D&b~*M-Cj`jZbm9Z_zggj{9t;BpkUqE+I*`GJ$?Re zPDUfGcZWL*(sw^fAZV#a2lOgcR85g$OMIt`uvIO#6Wzx%6($7t^T^cA{X}S3dHh6C-}Lm4 z)rx+=98@eooQG&~esy$_9tHy9@Zm5?WSZ+$d99fd=h>3U_jW( z*p+X6U(2fOOf);{n95_#8+k|qZ^d`1`24QaE)ojc@`fMQ@;`{u9(!bGdJ0@g{6v&jdrDX$Uh6ZQVuc3?0;+T{clz{HmG_KJqwRxIB^RlHwhhj2T*krp%nrglu8>N;`kG;f8->yH6akQfLE!K~av3YZiIsIg@_sunYul)~R7Kg? zIT!v`dFo~tQCS~s(hPb9fdhWjAo=CYe#Cx;8NdBXN@$?!o}!#|vGqBD0stt_a(_y+ z+FNX5yz9nGDMG*H;#%&R1T7ji1%6jgK4Cr9rqw}4YNCX&~CrE_=n%cC4RGGAKT9DnYS<% z@Lk)YuaMiB*2z`zCH7^=D|fyeAaHXL#%=|QQaLm`WgJ^G3SCx*@*8rIL$(4r=VCf& zoc&dOEz-InMsGJe$~hM+6L9|x4^a28<)xeCn{&&2PVfrRYofFuR($<~<5r2&*3|2L z?O2tOoi(-P;c8W}zRYwMapU{y^1c&JEmZt`dfn_6TS{B~p;L^qf#>t8g@t;Xl_N-AfkS9l z*cDeH0UyGLh+RgmIvC2;()=7-YRs47idzS=qrheUGy@Fa z$$`qQ;k0PBBROx5mD{UAb79krI;Yi}&E-0ip)zmynYimGHgPF314< zl=%4+FXe>yy_ey2#gmMsmC+?$DG9@=B*-#id zm;5CBTlM5;d&pop%gdU#mC|uy+O0=Q??jw}JXc^w$U5)FDHmglgy z-s=!Uu4jCJJ+i-*)NHu)Cd)x0mrXrJt-98{y1?2)W^)~Od%RBZ&5?YQDFQ^g6whte z94gb#sHKfqI=!C>6Dv#7c#1s+Hw~x=Xf@ZDcAYoaQNS_td za~vb3&+=8~#>o)M@Ut4k!9PytFVc06#|uk6W4Z4~T~RP)uw{IIFC>1kxR4+yz_jdN ztu5zAMq|R=GkK}b*zC<88b95~iioZCf7hJH=T6&bKX}?6E?iiGdJLh&#p(D+a~1oc z&ueAQ|FY}}?@g!sdcG)*=kHNeI*h9ho!G7rFRR_#1(FcD2^cI}m9Xk>E*Gh^e;M$G z7%R!=`&Al*3-ntOuv52e7t5&D(1rtQcR7dgzjmg=OHYn>rEaeO20uvqSUs+$oaFg6 z@9KQrqA=oStEj-U_Q^44%?qiCg2-6H!+eNs*7D%_t(&>^z(E*1va5#DeR=z@36KQBBnbN{@S`; z7YEr=$XWMZRUip%qyoDw^Bt%m^tQn>ps%dFv3=#ydE{&8nZUC<}~xP?tDFJvk| z|Kj=gVo1Vhnj8{WHY>kJPk?sC$s0a;ihf+@EnPSGbXGsGPcWpr88#co&9{k4g?2Nfi;;6o?np!C92AD~s;2Ym z=IBTXY<_AIzV^VqSZtOF?r0{N)mUZf-bb$r_f{8pEKY^hSM3M|)q!A|3UJNwhHW60 z%I&61VUFLf`R%$k7)-@46VRBDIv=Q35)iXq?PpEWgs=U*%|h$WKI9~)cf1#a4#WIu zAhCSb)dj={_H0T^c@nI798v@e_uQYp1(~r74ByMW`-5pd%sX^lNlWH}=ka#JbYa!b z+Fc;Z>OlC-eO$b{t+kj)odW2Xh9zkZkkSGQL@1o@;yD<4Qr*^*>etg%^pyjrvLmn^ z+HNZOBlwS;_!HqGx(a{#UL&`j6jn6JVb37qfB)+jt90(B-C){nnaV0-F8yL9ZAtZb z@FX2~3QrA^*=UjXv*ei}A4KweI%#I|-SdhU3cnIsnsveL=KQG@%9h079Zg47zRBI^ zW_l{{{_}f6DO$B%HimW?`$@ZjiemYqOYl9Cdx7*pGH91u z(}swyK0q|gclLU#?9#iocLkpMuD1A=2fzVBaaP0da^p4Q)^KIBmEp6JVyjn;hLizNJP z3hkYSL%SJ7GqUO!@5lX1ezWq$@C4rqf`aCso#h4PpLNr@h+-yftlJnLrezvv7d2J^ zB=vU6ArR2aIJFEqZ(O%j0~X!7tuQm^Z3Gi%uk2n=Y~>WItVYF7nn$Hn!>tmee;lcU za&XY=ePhtMbBkvY&iP4NJ5pYrv!fufYmfy6I4EHOvMi8Ein0RW#Y6(zDML6LY>k+g z_}gddF(83C!jrx*+0;rS#Hyf7|{}x{gn^QI4P%rGrA6zMS=!?G>8|m*ZZK#yT zi6->u{u~-T7vv_D#)UfB0>{nW+PCak*60{+#-mJ4qKQ^!H-V!wXuv9S3_%Vwd+0Jo zLC#$?umHdQAH`IE{Gg!)jiS4df?$yZIf-951Ag*Iz7O!ZP@x9}4)zuY#L_{g5P=cZ zgjGl=W(AP74*B>CAeoNin5Esg_=@puD?V{=Zxpoq6%1vvb3h=k-3kf6hshJ~P!fU;>66#>xDLP0qJ zO|EF=i2|tLQLvza-d{XpA}+|_EFdI70q%PFecZzQqPdE6cG`aQJ!ldV!&i|mQk>Fk z*qWwukvKsP?Dv!2ei>Of!YZCDydEF@lEc|Yoc4En)|5MY%t{(5A<;k1B~Lq8Kp~hQj9k^S z6&+mz&|d$NRQt~N0k8BC>k(Bn4Wizlc=~0y>+9oFGcJ|NwMW)qY6Z(>vnCOsJwi8a zo|YQ1I#=1T79pXPfk7mz;lOIyd)ld~CP{`H$WX7Y$|;1|{|aq2LOj*X|M67MmdZli z_uPj&6pb@Q2|^QSKl<-W3y{kaY0?-%{y;o{H74yQlP-*4&GPKH?{ z_~Z$^U*Gyrhd`dKNhJicjb?u~QfEeVP!CcTbXz1pkN5C;DeV-Q+teVCE#qO2K9X)go&1JTqu`a@xa+NY(4%E7*6ghi5jOcSmcT_D1{tGYozC_r&S>W6+A8 z52A;w3wgOsLHs1SIc~w z=z@2drEi17uu+ec92;I1j%zSTBfFW6#Nj#B8^dIN2t#q+G_aQW1_IpzD={qQrdJEU!`*g^I#8c5v_Uzrd5UTXTzM9 z;|g=+P2>Bw&CH{>vjL~8%iG4S0F#Ez@1|AOb?-ERRBCG2+F%>JkM;|7;c<*61+fa8 zr!{s_K036t&2tX#b-V?LtTKl6tk!GrRukZUCBB~ygPhruQpA>PiqUIQa{He1K0Uaj zFZdAk9Dx<2*MyD`@m(~l2#})lhOO`7^vi+Cx4$p_)*bmrQM)u01O8g22$O%$3i$`M zrNVJGMROj63iLw(js)|W5?B@CC|Fhs1%V3!Ilv+)0ss{_g~92}XS*~dxzcdNsa*n(NkJD;Y0A$Tytofq zar3Rp@9PqxbVxN;}b$~O0O>g0uQo>SKc^+%b{D(+Yv6NQ!Z;#hKDu zg5{JS%mXY3MtqPA$RFeZ07udsAVS*->>+;YQKbD2^uj<2TL>mqHR;>#$?KOD&2>M~gs?;~iO?G%Yf9T&{ka)eI%^PW6s)8OA1>|Iw|6 zZ%D5%4gO7{3z~KAz#Nj+GjeOvjVv=xWrv#PPsu1x4cKHMU6f4tW(W0xVGxAVt8Yy{ zftPtu(dSSj`THT8_ksaP)F05zj1R~|H^V}mBKx!AjRNHe3_0#T!pB4>sRu6n^-6z1 zpEO9C0xyxS8(Xr6RmEHg?WW!9xAB`N1i=PF8ww|zeaAcb)Pl6XO63&;56kf*hXWWV zPHI-04}xan`0Qvfpa2+20sxPJ#(O1dVI;7`{Y4~l*yQ;lFrt9|HGw>PQgMH1zX)|6 zL@)-h45Co3;tF#LM*pyj5QOtZ!AMi&@%M z`fJ7IpW&vws`Q`KTS5nFbj4wN*U)Oguqny-MY~PFb8V=q zMBTnc`akU-FbP3pbF+Q6JZF9YjYiQ1gv_E@qe8606;!ZNfZYS%4<>*NZY#g!$Bd%Z zf6uD~O+Tm5>h2jvzs0XvFvGQV@48O>v7jMIgU(|Z*mvySH)Ru0NF6`1XGlSvx+Hq2 zvIqE~j|st$OBRvlD(AM0!9>FU{eb}iz{K;Tfr6|--qz>5@f^k~W1{A^( z4bN&QJIpNME*~w<+vAs{Sl9B(B=)g^p%=CV^RlVLg_#f`gS{D>%$c*C>~PL~=wAGA z3h&~sqr~{M5lb62aXR5E5Qir2Pj;{2KkR;cU`~|ROx1cD+3|3~&}qLibjN!J3??s? zFw=1cIlK5_xGd~ODM;B6B~EGolxJ#ezCAXnLp`L{X{R!6c%Y@KPoNYBSONjX@UTV> z9!)M7yDDtz?AlL6qUj`^H+S zR6oLQmF*^G4JrHb|EUECXTM;AjC_1_6z7aS^gVlamuKD6m3Sp9Z=d1vJqqhxcDXv zt#Dj0eRM&~)C(Ben2dcRo`P-`^^=D# z5sAG|XV!MfLXx$&L>37W5MTup6bMM{3O=(D-OUhhz^Fku+;GisT_asYv4np!S-+$e zRO?1}T>^X1-^1QSjNMivd=7WPyyai+p8QB%!yDknHLJ<6KkZOLyFa!QM~^rP?5X{U zrfeQzH#c)ybJ!#Erwk+4PtFm2yCeL`GU8`7pVdm6LE(Ms?@Qx*DkLg+45w0uwbaOz(D*>`QSF{w;?^?v7A(cs);oASoJG(qt61iM8 z4&T0;m1K>vtda+gW1vFb-ReM;b5a(%`RW+1gl0=IC%9G?mTA;2&&?+Ynay`Ll4eiM z*UH9l3wwmNhrRPpEvrQ7N3wi>Vzk2RPXpw1K!gqQ_H5_HhNWKc@A57kfS*f{Qxlix zwq!0P8-72vdzOps%d-&{v<#D0p zSwfHK{`o>XNE8C;kfb`T_DdV_EBNp}A_w#{-5Q3A;6M`-O@Zek4L8P0>|Htt5!IIr z!m#{M4F;s=z-|Y~tH|df$%=%PBgn&oIZB|@$nzveiDJB zQP(4x!SgkdjGJa#z?UKPOn30#@u? z;$_suL938i_U0~XFEh-gg}A8w%5Xx@V(G5I$00M(Cegq7<6hk*z)kko7_aWsOFLS% zu{>nUq|3xnIsHNDGln=j#fLxUIG4v}G`r7DL@$*ZPhFILU$wlqTRYxHSwaCo5=;J* zW5oBgJr?J-rM(3)D}y@8KH9-vG-YpT?eggI4*PwMS=^;E^>QT+x<8MjZa1R}BHJqn z89{b(as6f*+--=xMTsnlY{z`{`RpU=?8&Ryc+*X>YNu^gf_3smQ0=~!j35oCT^r?5 zSq^sSmoE>lowwDpn9~ZnM^8HC-bMJty>~i#$Jb)YiNB8HZ>0MARWTUxUtD zM~7_J(Lb3S5s;~9b>gusp)WR1l>B!vjg)cleH>Ls7E#(LaK(L(wohSDU10uDKvJb> zt}`s0Zbi7C-g+2h$0StKqj$|wvV6==AJ_Q*Q26lrBP}(1RWzfOo2)O{wrkb=j*^ye)8dOls(@@^-b0TE<|MnF}kGuL4R{4P3$p(QYd5D3?uQr6?H@HyePvP9Cp_deFb=nmMUzdi0_6G{{`8FrV3R`fTdY zl}f!EHaJkDZ_aZk1B)XK=08!ebw@z08*&pT-e8$!-5fNr}HB zRFq$sVo69U#x+I7jvI-fS#1`lN*#3bv!+EFEoQ^1K^F|2Jt6;cO%je^?hTVh`7V1r zd1`z$yk0o&ttyw?&FUCBz6~|gJd83R{&3=MdC;ZQwS>32(YL?45aZ zwSdzgx>`00sdBd62c^ls_=#!s*sqoHIkzApY~b>U#nkGgG9Q1xv#VofW1=OiU|VAs zR+A+{d4X1oxBj=UwSqE_J_KnIp(;7C*rHs@Xmpo~5*|vcVp`d>eZwgOGEx@>+`Ox= zbJ)GIJ>#iN<2XmR8BFl(La31Z1T%a8jk#G+XF}UEST?Db`X@Jn@E`d!RCsdNlMzpH z6Y6u^ZzLRmqU*pH0S{^0InhRs!vet_dSu}5F`*EC<#=bkE|*q8{3xw*+tWFdI~(=; zVD6`$;6Y$;V@yiLhXDRlRS?aUYY&QIQ+uE-koqME5;GiCf z`3HiO3#d2#T`VOtmvhv%vc0}jDfD)+MP+l-r=slFxRf<|pB(`?gcS$ZuRHY_EX*{$ z!cGq7^Ng2K9efYy`D4ke;P3b8q@m5_eF`ujUKy3_D*DSYSV&^RbNxpyY|0b_YU4Bi?u@P=|=;ARReRGj=l zzX6u_xy@ZEew0$^(By16KS;ccb=V9u2F93m(j#Os8c;-*l(DK{nPA8Y=df_n|I(0T zR^*de*adTh(siX5x?uDgAO%PyG`!n3KPtqC4D*T}o<`mICtheMszOPvz-IB_>1AJ> zj7TI%o-sgD%7W+cF#?_xAF=a*+ttNgw0`4A&n-foI|d2BGv^~4aAvtveD-h%bQ(>Z zh-)6F46}Q$lZKyc8LzsES6|6h=!FB&d8v-fUj?eprIJ?f&mst>n%8ic=uNFob_Am++E{u4Z z&J%WP6USlUvDde^w|Ktc@Yg-1zH(A6(-m+f4 zmE!QGu37xLYFw3($q~PqV2E%Q*)|z1enMv?oXVs7HQBg6KBMyBBx~cu>wi_jgnUOV z?iL;ue_7zFui}6BKFqsJbQc~-{2g_k>(O^wAm>2uVJl~TSdUtTvODtLDDu-N?dG-uGbyn^4qtW+- zmvH9SR86fd1zI))-=D3yZ}f&1{7f>Bk}~(frzYyoy`DBG$t~Gm8GX$`StRLXi1`sw z5HDiaERB`NXXpIsbs5v~4x=2!!2XaEjkxz}X-KZbbtf@)bK9C-H1yWt0Xdo&#khT7 zYB>LJe+|x47M#nNp%RBeI{jVtnWZN(?)_3%3r`6gh*yEM5H~MP@={>>xG-e9t(z&e z0kIDKUgVIF1rpCUdn}dpm-?Xz4k*h6U}lu1 z;9!2cJS`LZEPR|i#YlF3Mjd(`1OP^B59i%mh&DZ|9-|N|lSp!mnJM6T!gY~Ge$A=> zz6hn#$s?Bo{9W>fTAjRwewFq$I59gy^H6t_WvAxkmz~Kfds~iID>v zk_eXMYOzU~(B<+ldE#>vH7u0_>YxGYSbIcb8*%%Jv+*vjKV#MfI04}NXR3-QRWZ?W zS)5qBP(#U4XV6WrJp%*9cV&qyeC56~1R(=L#?)CNc8WV;k-1$4xiYzn(p%+FoIV4=m{;Epo#oX|dMjG58k!7A|F|Rc z?F{Eh9PW{!B6s+GJZK_Assmq!X+2A7Awkm$B(A=zCdOo^5x0^Ml1D1u|8LiAUeAceYKk+mt#WH+iuE_?z2qJZx4!y%Okah-g7Wt(r^Hru#fg)#(xU<7fOSMoke76)Os_64lRtD*6vAeU7C~6BgeXrkD3Fo~UQ>d`mwN zVh^yOtnU^fq<57KG1o8Lmvg2L^S)=+Q^N13C;aljctKOIm4s9VR0;o_Nk5R%M@+hlOXIFA2(O$ogZ z%!)5Ao2boH+iamKmyZC6xYdspY0%(+ZQyz@8Ez=9cixb+F*_AVekeY-DU8~RV*%Vs z<3!#rZZ!a!Al~2nC$6jPhj%`96|Xl5Z;(`MD7;%eVYCvQPrWS*z~=PVpsNtCKC^q# z5z-_2_q*kq=WGWcQaa;pow^`7(=%c8HGs&vMzY?PyS)MP(9(r*a7=r1zpa7NO{u)R zqOM?0;%={E6H+|&yWqD6VC&8er#BQsv@xDtZKJ9` zv^d4`In}KX2VlvGZstSs&y|h%`L%BHB6s#c&-xqdox+Uk)v4@B?GBaId`+xNJDF!+ z79J8YU@g{Z&gb^u!1ae;5@X)YPZ)6M5emHe$yUAQK@`hH@8&%40aLd;#ZDWS(;7ux zGS8uAB0%gLzb6BD^Pcd(VqiCXF|?4q1Y>mJ^Z0x~d26dhxVH#@&G?aX^6vQ-m7*ru zi?hx}7XX~oxB2BqI-NL8w3><(P0fvP+Yq5;_5))y%;}HExj|dY9a+GWz0aZZ((~m0 z@Nd=dz@Dy$nYagOdj52NkAi+hbCDxyafCFfrxbMVACnHJuexVot>Zsv-A#iMQNsgC zcY`P!Jg~*@DPvM~Tldfz&;hP89D97roaa6fMhJLQPQwtgYg5lr_z4Ax5^#!mRKAiN z0Qj6#w|~kgk-Hq$DxHA43RSk0Kiy7H}-u5pl6T==sllmjUQ9e9Gl5PNK@#h>3!F7 z-G)nnpd0J8`(j(YcN?_^mP;~7_GoqY<)ymTc0%unhnOIf(8ju-J<_fk##q{he|IGY zt{*^)M$0bm8ail|sjxt`93`Xe5EM>Xl)hEH2*zCgOd1oF0B1Tj-R5FhMM*;}Cn_f5 zigI$myMj0AKn${EYln@Cqe^i9-vdRz!IJ=f`LGXDCw>jo&4UoyH3f=L2}5@$D!g!V zB%OGnO&-z*Ufp=>r55l%u{ zU$|4Wh)C{)8QM&pWG68nwUC9CNURI2a$;6!MmO{$2Y=QMzNw5tR$W{oj}CoHi{+A` zTv(8zmc-Kl|K0i9?)pIRlK%L&R10NX5*}GJ1C6oI-{#{g|F#^-7EbM5G)I1Z7}VTS zTmH4q`a{LJuF&UVuRTAhR7k04J&!l^ZxR5@5u^IfcS#$k-E(|L0rIik_#OGtY!2e} zdz20f5>4jlRi^S=T?P~saRumYGdTX&^|`wR>C0MlLK|m2F8EsQf*_A2n4}J78#k89 zmc-d;XdAfAdWGoXAPs2N4yYn9RQ3Ya6jvsq-|P4><7;%G%DrUn{B{nBPncsK#yK~| z9ZUQCXD{!8vEf@N6#nQk_KOVS z-x8e<6d&L}-D*{AAfj~U$;qPmDCC}BhCiaDv-T~<$ZdQ(eKm*oYB2Pt5jYD_4v2o< ze5`B*f4J}?7BQwA33Yh_wFU`>#;ehX8Iu^GcD@<&J@%d&{z;#xfkMarEEPySqfH{E zHo#!x&s>~Z`wQ}+X9l&9sn!lI_JarQ^Hc_TxaTQYkVH^KKvCZh{#ggFr1$5W$PeLuc z|BVzyI|xM`Wfr2FcL=U4ufpB^J$VEqJ7L>e9*DFrL<8;5DpSx`)bLWGakjX$35;RNoET;v^*HgFffS$ z|6B5iDP)Q=5Nrv3o(@W}*BLG`+zdA51|V4ae%Cd8e~fZqkp9s^2eRQ2@)(B`=_yG)nW8$^?Tm?@OCp-_3pGpir8eo)Aq(isGg6b<@}+oduf(4FItJhvDtqz7dv^dQeNh_d@jFksL8M)Y4S4UqU>` zgDDdpJNbFw`mYbRrAfHfQmMgbaPM0I{wPAsC%n!ANV!y-9Nr-X@j(_0H+@hQ0WmP1 zl3w}dc>?Z=k*0B+A}B?z=nIzBwZXdSoPsC8aW8yO1`c zyCxK-{W^mf-}#?};Md^_)xv?&V+>shA`{8!u4HO-l)sb-vvB%pN;At}{6adFgs)$@ z`T;fZZR<~C&`w}5!^mvj0)(LqLJK01{mj@`*>`&tgc|*TBn;RR9GR^FW`$_qyef0 z4)De{jJF0L&vv;6@&8StJ~dxMFfnc^UV8*i4Yc`zI93&}!m-7@I{*5fiw4Y!h>gr%G zMBJPf|7$DJAM20Jrn@m|O$%=>l-%&^fL9_Fo;A}cEa$)q!cvUGs$KlcA9alS-xbGG z%L_eLz}-HQ4afCp62i#F0t`@}MPFW|!K$=fTD{VR;jQAOP)wbMQwBZ5Swe-04^#tx z*>;gJLcbLP>zblJI-GJ>&J*yky%+?`$YE|<62GEG$nlWPZ~CQ`X5oV`*r0@;WaZ3o zCm)XL7SK`c4fAPYC=Cee{Z%Q8=7zk)?k(E*@4Y_J`o69VjLhx` z6MPbw+p8{NKWU=#Ebh4-dGoA%+31oW4RtoOX0(nQ&546r>n5 zM{ar5`kJ$KSd`+*LR|W#!j+zo(XKW(=}b*BVC)U4XD_Lf@|V zvQHk&ozNr($P6%WLj80D7V0Mz&Pt&J{w)OtS(IRdY44~+)#OYnbaQ@1NMiizIbw6M z@|e<-7dOOzpIt$FGX{Q%{PB}`3HYwrcgbWSNMq_w4ljtzB+F)(PQF}Uhv9&5;(Xa( z!#3j&`P-4_PXiWAWON1?t_Tpgh#W&BHI*H2lR%3vlOP`Dr=$aZe;RX#)vdp_;3>e= zA+aJBsAuaP203-+f$w4h5M_uYz zE{)glHeYxPLs8gEs&gw-hS3)be$827Xo@H4m8{bF*UJ3Kw>uEy%_qG97uQUx^fahp z=)30G4;2;8Sd^l`V#bsy^-e3PjfZ5&edI4uymTn=^ey2n*s^FcGJDiNkpcghr;BWX z)#_(D6Yulx!oUAS(JTijFiFfgy>YX|Lkhh-Sg1@=I8Naclv_TRnu7=bJP}b$bEV*b zzTtHiLqGZtGz;C0Hv)q+uz0Vec8>UiS{v+9hbbG^2JpX>FCtAJ)HeJ`a%!F&A8acO zret(~D{|gb+-sLsO+Z3y$&dYr@1OFA(RKuXR3{>V)34>r3OdI6%aH}sQu$j>RKzcE zxN?jv1SRFylyr~y32@4fbcqZ~(eNnM)U=}IAGjZM-Cx%)+e~w3I3y02zJ&`R16V%|SFa8HTeN<`UI8p8R6AA3Sd;J$KadyNMxP}PSv5>&? z;u%Vl$;Ntvnm@A!wNY>Yf(8wqdw20c8cSSTXbhxs?dX8!VrMDRIOBK*n88}|rZ4Mu zHX#AvU?;Bsf!Y(c`#iI(R~rKb=*87E`}dV~zxVhff~V^5&IA02{v~5%1zCg*UC(en z2pG1}i87nD{4WWoL#pv`wAUbNMQS?{8{qsF7NmD*`WWSmwVL}{0yH|rek~>lyhx+W ztq>(UzBoRJ0MTLm4hx9o+%9C}{4xR~3MQ@B`5~qL7eD~wyW;#C?sCaB~zH z6wNdShU#8)oH;0_eMu9nv6+l?RCqvaloW>VVjZFOT-7Z{VYILdfHt^r=~R&a>Yo{K zIujf%z68VnazC-I7*FM)e2Pwah%wn$L;;jFJ+F;K>FIPxuFry;n zE)V^W=6>scS)3Z;;tzudSa|wqA<4Vat?KAkC<#oH_U<@YT!#Q`GNwoyn7zp>O7_xJ zaDcLg-y7TRg9wH1=f1c|nM{{3=KkUwQ{3K;_7 zDa+y7kw}Kl`iv>d__w2%-B*k*n-@VR_E~F<8^V-|%hJcSCGlnF)KPMbLq&PmfPMqR zLt{WU#Td-*(`*|_f^nFF+WP9Lz#4j@dOCyzUxyn#T+fqs)lJ=DGL&Z zhq$EYT*dBwWn$N_-|W4Pq&LCB&h}dudPKT+H56C=EVH>}A7%WuQ_6zG;XxN`N8yz} zx)jGe3WapGyLzv@A5UQG98E4a>^ID000*XZ?HGykcR9@FlF;7>904f{5{CypZlLlY z{@|vkbd;BGso3|EPC{Y*kW10-x8{6>5^T ziMZc5njJp=y8up|t9Uz`PoEeL)Ss=?bQ_NbbeB&~)k+*LCIN6bgKih~CO5lIYyT=K z0N0bG8S9UVlfUE-8Akz){u00!4I|Y5OYXMrRO2Ya4b!>AjmHz3lm&^y#5~L#Q!=q5 zz#i)2txR8;WcGa6y`!T?o)G|`q%Spyz) z-STlgT9JEguP-C27_MO6kA?JL_z~kti-*z|A(hkj;^*uHCdiWqCc7` z6!~h6`@*MP`@6|^Yr(|%dhM=_U6){}-MAE94wQX#*6Oj$_tQKJFme>Cdil+1Q!yCy zl5oa;QvfzYD^~(Q&{7Fpp;0cyL!uwxERs>c-WFB==w`+}^G5a!hV|CH>{-RJ(%_~@F1%M|m{*(G}Smk7q zyE&6xI0^v7$X9#%z2e{JrTwExLN862vU{?>z0lp><(3ElA#)@odVe{$ zzrH3&1pU8T06_pwfXMp@wEX0?xWDrzdecjZ0zMZ~-nx1%`{{1qxi$cTblVqtChC;` z`+61z4VU%^!(TGgjZguo{xS2`ai#rFozD(v%1)cgCdu4AiC%0x{v0$-fU6so@Y^k! z*R(koyjF23wU9)ro#oU+vB3c>i`fqA*;>7wTGqzY*TWZ zJDu@zPPa}*%%L!e8zUcXJMSw0)nlE8NhCh(SVXOBsX7S)8*JL~tdEL6=5dK68Mt&V zySc%>bB1q?HnLNaUQ?y*A%`0;-er*zBhj0U7y7q;)P|@+BO3s8rjm6*@2~XE(La{+ zL_sD1&J_>sHQve|PefVK}_V&6N{ zZTRZ|gAhU}ByLL$G8-=*&m)ofu2#q9&B1-vaAG3h{d3|cF1cPxj6|<`sWKs3b-bV< z&MZa>>H%E*a$miZGXscVf&h5`)(yZb(>~2i{*J^Azh2m6LQFiX`(wEB3AZ((!pAUD z&xK!3&q;LQQ7JJJhk`(MQzGH#{LgOyX76~pPs#73vj~U)-nbo3m)qg`I0*1?Fsg~z ztV}GFQLzhvCI*FGN>pghPmqPu74F@tI(5f&G17l{p4qo4kuFG1l%e&xL0d4UW1Lai z@p4&jT7>t|8vuy(^A< zvfM7*ZN0SO-29fNnnm@*itIbaH&=&V?_^Nj0pO+t;d;N1qX@V0 zo4hcwfC&JaO21~gt!DdqXX}kOTxOIW$Mw?0lQ}%f{&0RgMdBg3f=QxRy`)<$+5PI( zmjwsUnB{vG_I1Kc3<@q;Bk}i%(R5MlL#r_YFf$*}g4*PfUl}L(C6^?6Lu2ffOD_)f zro=R&bn3a!tHViFAP)+ti%d zQ<^#XW-kE?LNm@i|1(Xz2V1wQlGZh+VNm!>2|KmQh|?L-h)C?YPXCpv9P36f64%3S zDKQeg`QLxkKU@1Xp>J46?FTvUYyse7pd;%PMFY384z}Ug9?vv^OM0@qqQ!UHOvEPz zC;TYw-yFT|cF84)UhupwPi#g?-CYBABPQsjgn?=`4BSwH`=i`T7Q`M; zgXflo=G~@5n!uQJ9hF-5j&$ZyB90I+w9Oln4S%WZSL_sh`r2prE=8B%goH$IBAhcR zrEcML=2ASlmAJYYdxguLPD5K&S9R2EMaL7Z_nM-kquFqBS zPCT@SC}ly567ws^N_R=3HyAY!GBmY6(yR`6#K4S6(C+(K7~1*Wq`-ZS~pzK(z>?pwLfjGt=fLuYQMJDR&A?a zt!>?EtyRqy%IaAW@ zY=fCghA57owahB{;V){o)I#hf>GcMsrwnf#xGLz_%YNOmOa zvzrqJv){vkAeR`AOBJDAmc0Q05a!TWA!Ho-mei$#+4k@S(~|~_ihYs4yLjxzmsJ2z z$s|t5IE* z2x*VP^R^FSxinws-!+$Y7j%EA8PALQc;kI?vD#h=K?WlwkB}-1yVq+Ot1=JsCFj@# z-WtlTH}p40ms$Gob(Ygw+o9ekC?GNsQihRUJIW;%Kucf! zH6{jSnkpSgz^go@**f7dRzS_t{>JjMKyI8VoJ|PY%NE<~QZzRnA%{OTf5Hd3G z9fR5Suuoql6a29*;Rl-w%iG$uKPyH&>hueS(P$u~10zp`e=yINjIicvOd>PU>-em$ zC@7DDaf@Cyy**~WP9A!MG*OjtX_5!I6bcs;+p(8_d8}uD2LSLOm&|f_=6`7<5Yokd z?Q>4sAeKu;d^{F=rAgi9k=)w0CC}C!Cz`1={}mbtgpA>%jMbC}v+}cgI(J8X%(&=* zjMS9% z$XqayJjf-tF)6adW)myE?Dz<>Z5N12gbbr0V?IQA;8L?r7v@QZ8jgZ}Rn+r@OhNZw zv$9P25aoeOV+|EAzJhtLIS!|j_jZp?Ks6)~5`#9HusCA@^76o?GjzGsA1k_S0N_0L znhUKr^qAB?ViO^K=ovZB%@_spV0+MQ;+%WpUug60dZyu~@lJ*Da1RNZH4!p4ZGSRj zTT1i5r4WPq4W?dmCqSVl3E6}ODp%7hUk0ay_x`$dNAH-ZTz*Oo{LcXB8vege}9nZKW zCj%WJZ_sVxD+aUeVZCv0;u0Zm7@>X69nABk(E5@>Jxa(Ij5J__nM=kVby|cartIm|qlA1xUti*b*^XxfYvnTaC?Q{H&iF(l4_q?BMAGsSA%D=FLDj*`B_oUj z6R1ZC`9kKEBAPD|hPGT9)LiO~Bo%>>FS%4Wm~9V+aAia$Lf#-`Tsz9={v{@*w6?NG_4>fspt4(izeq=91yOVY5(=67tQZlELiTs_S^nO8$6+yg}|eXqZ&3R^Ow|8GPk_9L2>F5@y|i>N%cUocd#mL5 zK*$&Dhr)a*H2bqrj}r2QZe74- zhvD3&y%#7lKOv9MeTbwe+EMp0XKIQdAJ|-4s~4=4)r^og==*Bj5p?12xYpUjs7DF;f*$g8Sj3sd=bLynu;)u9#&Z@@j}r2QChhaCKH_BcNv2nPnK-by)NOFd zPd!S=H)<6VnbbA2!cN|rj8jA&biBiK6;Gm_wS;_OyI%OdN%VXuhEu8Je=xAQq;DAE zRk@-SaA z*2XA09wEDMV_BbEnpIr$zcbPTTG`8&n=aTgDdoH6Gyf9Ejz`EEdcJpDkIOah+!w;c zh4rJFpy|t4tMxPURAW=>RLTdJrs?uXa8QpEvW0@-P`ce5qZS&694;3;n}bU-#=y67 zljM42N*Z^}gN~;#%_z>v?}3m#{J{dY+tqZ|4;z21(P{MA@^`=Wyx$terT?=pFn%)W zN9o)!4{}LR^LTT@kb!iEeXpZK{pIgRzRLIPo(c$Gf8hB3gzqWe4Q$&#y$t}nUYjk+p`^*x+b5!j^*AAGP=96leMna98K>(+(t%R&(G7hsFIze-z5C@sE*U#VRN4zj$mV3? zPj{J?UB*76YeMpfmlgI=#O01k3_31_V!K$WzX@5LO_-N3J3_@v7hq4{i`TxDZYZBT z=y)F*JFa$*rT!-5Y;Iv5ZL3c2ld!0=K5gHDJjkU|qeOeu3Asb{a?_Vt?rk$^y7TqoG{d&dd<=IuYNq5 zE>r*uL%`GGad&zS$N)AEV^bMp69+n%{%e%TPn?i#CIN5WzKa_ZA=~xGMqYH;Q5Hb) z`3rk|in|<&s!r_TP$^E`Ij!XJd*;LqIDPHT5Ir2&FI@g*6siR9`H5>zWy4XABI(N_l?QiFc0pfzE0|ALN-Mb0|4d^ zJbR~M(q_HmPFz>~#TaiD098i!1x84f*?`OfR*UaAS$HBOmNo?bR&`V10Ot}p;SsVt zz&Q7dYTI8-yZd+m%>}0dpPXD_fgs5~BeX*a0|c*^+jdk6!f%Wpte=KtgHGl_$6I1h zs)hQUkZ~vg6YPG}7yaqSwoqWxy>)A3hZjp50)Sw#7!#qzDin{~r?iY!)ll#U*OAHJ zI1gOXLi=%3Ms)%qWAL^^1)OLs^97*l1Dsbwc<^5q*w@$l!gQlE1h6jN{cXJlQfRH#LLE=YIGiQ;VUrALOvCNBx9xAxEOwT?d+eUNbC*wL_Py z#xyBv93n1vc^aCPCY$xR6T4_s5K_Q(jb$o03XB8CPQ@OX189HZpKjkVtzfPCsUER+ z_xkQvT3>C@eH;po#em|{0f#7xz^ucc*JuP7>* zBYk{g-&=O-GqvbCp5OMHr}Q&F|Nbx<8HA)qwFJh6u$9c6<8`0!*QVL+=g68kKG10Wu-}-S`>mgrEHdr+dqNsmToQiGBk{$Q9#HDJ~bp0ZVwdU_raY>(v#9INVgfMT&df;vS!CSP-$9SX0MoUX_!zV zJ@Yo-7fvMyQHhWtoV3X(-Xq)X+9p4F0ZPV%sDw03$Jz6HSf*|8WdZ{({W>K7Bx5!d z5r=5|obd0iUK#>~OkqmMHQ+J%IYUh zwwC?bD2tnVXF#HzPK1o2!>snG0GJg*XtzSe6bw)<0Xuir*1Vu9nyb)-n}dRg8>aB^ zwc2loisGUv)bWJO!z6=LLqh2&IgnoE+4d7}#gd=7bqhl9UcMr~cI!=M#_Xsyic3$W zUMFM)+b>%a>s0lgH0#dx{-x5=Z(U$)SkeTN-^?tn%+M1Pb9&Q*VPSOjui>a>(*@Z2_^j%Sh!NMgh*?o<%?8=wG*eu(#4geHb^Y56?7IzT%Y=B=oF0P5-`Z4!JrIvX6B~hfS91GgE7B z;^XmAuNtYA)H6@lizV+h3M&7|PyuUCA}SGbfEkshFVfBo)tV!@q=+WBhLE26#&N)N z*BW9fY|9{lkTrCbht`(lOr-(KQQTG$-Y8t^Iu4wFPYJ29L?uE_P}E}>z$_V~K+a+y zPkVDx1XDf(@V2qCw0sivF(Fr2qHmtFsDqA6sQ&nizK1^dde1i;jBF=T2NQAy@l<`4 zskbLnb>=SrlGEB!8)nBBRGAkWsXGd~se=jmK*lmeynyDwAXqEG9o)XAku*A*UFvg`4cnlz%`j^DhbFF&|W$sAZy3 z!A3uIE+MD*IQUVYF;|-$$|cSawtLo$RY%&Wa|yY{)^CdiFV$qOzMSVW+ciGQK^Fz@ zA`E)uJjZ6umdIlcq7s3)lsqOq67dXm)DHyWQVRIds>-nM3mYhHE#VMA9&$ee7}ja} z;kLoSR#j30?DP+;Tda$4lir=+NmE1B$rZzqj{}f?9H4*6oD}GxCG4D zp%qrY$!LQ>1!0>heSbrpS0)gaGdT6|cf$f}3eLx_&L?93bgj^yJh)VqQ1KITM!%Lmu{EOrFw%$Z>dj z((wp~7_{whtrPt@-pxZ?A{=7S5r!sq>4my=Y1X9K)fW<%2tyO0SR&_dO|Pc2w9f?d*^*71 zaEPIPj8U}gt4O1wu3`WXRLp;ahq9SAp4~$8tqMz#wd4zO4!jOdJ>QFf_4**ir zz0P_903ZVi<})H4k8r4=X{075Q~yrA{LHr4@PW~#NE zpckq}g1AH&qG;Yx1^~my187arF#c78A(q4he=<09Ji8ANlwA8N5(Y0`yd1Cwb4{+D zkxB(d$op**6aC46mrF{|eiZlss9*V2l?DkRAzTu8#-^ohJw285tzYR>nw~I~1_772 zvb7fgFzfeUZ}!kAAtVAxy6Rh6v3+d{zyFC|Sd{qKS_0AO(nSUHXo%n%Yo_ejl_UDB5HZ<};`LxRh+*_TT!6LeIdtz8SnaLn3EV}y_x z3LAC7^i|To{kis8_BRX=E@gs_l8d)!oa~W$q_1d<5E6u8f194PSbAP7II0gJE`fvX z50+%1vV7zpXvRcH5Y8ICv@*$=%+Y$`E;T1yI_@lXOx*Ys?$w#m69Wf>a_RKacC?q0 zDUXmSKC0CUCnWhpV{PezWTq)ns?WK36|m;a?QyQCZ30SnxzcSA&#R*Vz;_zMVluxoyoa1ZGF(boE=>V|x*f5_M3)4h^`fqH8{}!13;^oQ!%n$k zL~$XF5JJLuS)cBlm5h?NT{m!*Jdu=cnC5)xJH0Va^)v#&`^8(+)XL6U`hv-wZ>ReOlK@Ktw=P^G@JgtEu!uA` z2+4rs-)HM@>K44*-IIUsTY5iSzy? zQpK7vRceL0M1OINsx_r_aVc`crP0$N3kq;btP5;kJ1=(uaQV|QK70uPP}z4t`z`tx zPt-;c_)sqtC3gKr%`*VfBexXfgiA_!0|1!;)>zY_qQl%*zYD^m<_x`HL9#A3DRRl(5|kIfE?3jvgW9Cz54J*AiWjlVkA5PJ5XO-#BGQ`7PE+Xw~j;eqqYW9YN&fhVyXrX(K8 zLDyWW7Z7ivQAy3P-aZI%+$sR@pY!gi@x(>Q@y6K`pCBE2q0)Ov@=ueJT(au#0o7XS z*@*AP;2VEFps;W)GzkpT3;!5K#EC+faMvtLh(OZNQHkxr58r7lP8<+n!cM*DDUMs+ z#t}Lxrr%MRBQ6CzL9z%?VO#2mu`yaF$g2(pL2{{)EHAguPWDc_xVZRqS|mgsv_n@;6JB@Dbv+^4ij*tF>;2^ zKCc&N8Kd~TIL1qD)?xi|K!Sv}j3cQVTrm;TA!HOC%4t3dtEnV#hbM|oq~M{dGi z6#&|k2$0SJ;MO3OWEocwb0YB0X`v;2Vdjz59|7tDV<@%AL#83B-VC~OtAKA^+~Hql z4D=p*j7#e6`un@~;i);}62p5+PeG5<{`3c{{oVjRk9FbL`Pws`t|U=8aO?g0xB1Tz zbs}&&BItr1iLWqBN0dPXE?nEJs{=Y%$|s7u2g$Y*ta`fS=zLvz95X zn*Ai18}QIx-O)CpPG20n&@@K6P_`WaZZ^#hhEiips5Qyx*n&w^aEKgm2J2r$u+*dz!+f#4yeTM+n=6kEa06oIXX_X z`7%~M-$bUK>0wcYmH&iVb?Jzlap@8jg23B16+Alm&ph}qj;W1leGqjAqj3q};9_H7 z%$`AFDFW+4z0NtNc7A${;0g1AXlff$?NPJ5(jdtBaZH%*Y14jY7U{Dt3bAR46k24M zp0aO1(p>s_*~vKA4B$mr8iITEWU1KO9ZRv$b3r9+eArdksz2Fh#GFWkclD+@C$H(- z^v@2h2ATPWu_b43oVAxp-@exJ(-PBxg|pb|pe%Uy>?i{^2VA-d%fLCu%!!z#AM;9& zJR2)1njU|`lVG-&jlWnLET}>q5hn@))C7H|??=BF5;m6DLV2tT`Sz({hh`NO78DjT z^QNKNu{qSNW_VP2>v)1dqw>^eBHc~gVB%;N0;Le5mm)}gFaS{cq`n{qHLu<>I z;HeCiV{aR^snQM29pP3^cTaCm*ub2$9XaFD>Dp(-6qDMf9Cw`U%b1fs?ehd*|Ftu$ zb{S7}C-Ej4Vp>E`*85}Zolo7lZwR#rJL8R6!O???s?yl;>qq^x_oAjNgt$X~Wg6R( zljPDK-M9TdAml2?9hS0~fxBKb37vk?>3U9Yirqw;=v^==%E4#m&gP%!9(ms1egAjk z#tx-6Ird=(fO3Xr$@b0I_A2Y>(YIP|ye0Nl$>O!eX=H{?l1ta>uY!31uv9<%q@(ke zSU)ku(LegvJGw8Ms;@}TA4{}}j<=&6yKKp4fWFA|Yhb9^Z4SSt066|~@VdIXZE==g zM*UE_qiw@EG3Zj(kygB``B^R&`l|xy|J^JU8n1K{aT>*-eE-4xsXB+#l%&gn@zidFmvX+A^=P?9ernr zwaM690p4-H2moqaC(eIYA@$MUdIMG|=7h-zCHrcB z)qi*C8hx?tNuo?_9N%UnkCYZE%71Y@0C1CL;HVgCZBn&!u4TpFY8enxcB8^JY|IrG z&jD)7Ob0)&+mZnrNa9wDfMue-;Sl@VDpjM9O#*=;?^(kJX|lH z{0R}JU%UqCo96FIS-YVtA29?SM)ohd5wo|o0zhSdq40cP*`{r5gnVU}(+yzR>`d&R zOoB^YQ}id?X~byOyUZa8yGmmGuJ?RxmQ@u$Zsv}g7wg4MlgW7~X~>1Tn&9Xek{K`F zIS)c{2M2&{6Z%oOR0b%Fv-&%qhm7SJ+1HoBPD8xjo4wd%MEA!4bz5Z+tjm=^)j(G;MhH0 zu(O`)9?8IF0GR}muC*I1bj;H5u(Kn0$Fa=c-W%aRGQb*CP;_+BgZv@H|pCQJi zfX&AESTSVVpz5g`^x~P$&*X&2^#35CHzS*o6XlW;T1PjhPQT5V%l+*7K#XS>hBeI9 z<7LK74gXHP@o&ByO~gnVo+}Lx=)W93beo~-_G^q5nY%xcUsztUcmx%f<&aB)5y&!Z zC&cVfJxf21;qK1WtIGo@W&jW)j6Zy1Z(XLBrxG)g$M>E$iZ=|<&B#2ZQ%S<>NHP(& zULYR%cz^Txa->qkbXq4N9^}Jry z;Zs|xJt*{dx!$%xhW*q|Np*JFmpu2lK_Soe38cW|f+`iOvfJ8Hmi`}1jJ+Mz?&xg4 z^LJXI;Hu$gofQ3X50144EJAynw}ofvb8l#GhO%a&MzZ+ovQ6g3v}Zx4Fr)h!XMlTa z_Z$m2Q@H@%xCJu`6&n<+wN19DT}54Wg{tD{@ElPjaK_EVxY(GSet!Oqb6gj2n`>0gUJFmI-Z`HW6K3cl9r&{jNU63YiA#NmzqA<5&!PlRz!F3tI z8Mq=aS>))JRD}r&9E?Gh7#CFtJ}81seM=ry=62Most5u68MiDiD`{B@SdYQO9d~cL zW7tm{06^qW83&v`rLV}z?-ED#?l=NbX;Xgup4DkZ!$%oN0l^c&ZvE<#uD+-AGmfg# z+Ni%(1Kyoao;F+GtG*%f0?r$6HzJPj=7i+XSEcTabM4wy8@81elzgz9bIw0lzr6T` zGN*G@2@rJf6Kpn%Qv#&7t!v-20T36w4M2h*2%;ddy9eQ$rbda=9^EaC*EnmZR$EY- zfsRPzqCJMA!=i|Dx)Y_f=EB*nQMn|0H@r7@(yTb-ZELaU3sqASe{|I!IJ8NkMm^f1 zeeMf>JRUK4UZ`@FR=JjMusHxYBuMLn#t1QNMqtg-tV$Yav$Y*^JT5gHJh{LjIfVp; zN?asldpJX%*_K4wv_IC|Tm8L`=m{^FAiJ8R;fA4P^OU}lvHhNMXjVMojl_hh!c^{Q zw3S<>tXV2NqBWYrnuz6-bIuvK3Q^#yBKiHDyqq&hWU2}o5>tFWNoj5^^f@bg6}#)r z(#a$DE_Pp9+HtUWzjB+c?8h%`mq#45pZW`F&)$a{rA@t7Rk-g`q0J|uY?Pq5JVx}4 zXe#>U001qij0cdl>_bXe5JP{Knr#3i1}OG>Oy7Fqb(mEMRIlshnR)0$=1Uuo@6j%; zuZnG+aUS)>?{1G?!8=d1PjCN1Gp37uAKc&m*gg8Oemy@_EIr-L#rx;obDQV_CJON; z0{}P&W8jPfj5E%_gQtCps4_5a;|z=kk2CEj44nBf{VNN&HrHn000&g&e;wyrz*IZq zjH`?b;H-;@sx5dSm++o#yF$*CUA}+O z)pbMMi}hvLg6YC9W7P2Z%-Ppnab1i`JO>UMYIs@P2U)gi)pCciJ4F(Jxtn%uYuLGa z+sx^oZ{nZtuB+R#c6nv#q#b*9PF=fu%Z9pbb)_h9&6>4m$EDX?xUGIBX3fNDb2o8b z3NT<&4KRQ0tkZVl$@yeQIsZ^r^Kq(>K(j453Ic zwH51kES&|^1fwrhp`sG7SX{1HSsV+(CpAEyZ8o$LkRdGEu=aEF?k$%mo*KQU{t<1v z#oDxWyaeRZlJDyKV)jMzNEo4o-^a--Ziun5y!|2^4#%G(tm>Qr2(+p9Yo|&N#(IXH z8FiSxK2yzI*&4nyH)~b4JGgH%+kA)WP}cux(0(VXoPh%nIG8Fx6-3S%RL-3Ni|CnN zAg@!H4=8D`Ea>fBw&$nK+Ka{|KIc5eU)U=F%O&5HIAF6iZ63Q_=v4qwQ1Oj+prWKOn@QSF=o z40vC}nJD#_G%TG407rH{d809Ze7(#X^RGES(?bdNXyobh-A;IL4zI^l*{cmiU6yq7{$HaPOmWZA!sY5CBVt@S|waW!T zWuhF6Q7Ni|0IrG(7q~@~RYA3KKj)$qqT0)tS}xj9bZ~^cnG4)u@nV?haU1}+UFE3i z#;}7{*~YldRs=hm0VoiaddB?~Oq7*g=Y2cdiUKQJi=|^E_oNjqhh0037iL1k^+94R zq$?NpXm3nmXPl5$Jy#EZ*3aV(z6{Ex`lc6bv{jv?hXDK4 z(;+5E8@(Pw%*6UP+Yb*T5s&l2PsX;y2K+uLmhghC?UG_`xmQSP~45N?%zd`DH&lfGy7Nq79w-38BZ7c3qR=W z?Y4K|@=UNxkY&lfy}6_aC~?>PLhktI!OP^ug&p37vbXGJ2{I&6se`5PTN0NA@ZlcD z1&`e$TDb!^Wv;RMm>9Z)tWpJj_TrkDKN1}OvINJ0KNIh%_-H9-mf&rs#|X{(^+f%x zf3p3(=yK^I@AQSXBUd&>5MX1=zXQ+eKaX_-G*-rZ*0lH_r~``~jEDatL1jz@Btew{ z2!c%&`~gYm)9bbJE=>L3!W%T>m2la`_z7lwc%Eh2FWEu^^zZDjf7O(Grj_0>HsH&tVohED}p=6mOf( z;so^E+?rR`9UW@b*)gL9_TKW099-_M-ji)E9r(k;`V|W=h;hwPhEZVt{ZV6p_nz;< zQvX%Ln`)nb3p}cR$qb7FT)C1g!4Fu zdy@(b^Et71a%smm+U@Wn;IT+DP~x^oa=>wv9XO&_RGNyKrP%=}Zl4V=6+Olq8Rr0` zw|i_o#j@l>_ph}@zzgrJkrq@`by_h+=F-ZOL{$KX$T(D{GLbXRm@4S~aOj#34V#!S zr>7!Th%@fJKJa!>8JxZ@-L~jY$GhcKV^m$BMql;fT_J66TU0Koot;NZ&TZeT^fKZ4+b?*GbBGGCeWU%gzfPD_gan7Cw&xKYW}-i50mk7+O5$KmsWquMQy#XF4l@a zTdYU+5@N(|Eo_?%2|Z&{VxHI=10&NA&6r|h=LO1t;JbKJ1;Bc8X_ z;3XXJ)J*pIm-fs6fUN*jK#(S2Z@0r^MSIDFtu}@E1a0J~lI(Dn0XV=aHWqbBk}8)e zVBN(Xjw;kc1XK=H@C76kcKv0|Yf?Z|dx}Qx6|2zdb$S&BuBZ^&fZp*6U{fV;)ziBQ z{Q~n34+!W_$C(G<>81*xODGJg^GY$oCzwVRh4CsX0+iQP2r5+I+-f5h)hD`2^FA1a zA)imNKsMBiS}Att@DWmjYV`w2BnV59OP)I=JuCO@2{E-`!(<@3p7=&V)R}SJ@bZEY z$NfXkTD;^e0Psp)`$KQ)+JD?gqk6o&F4M7*Ku9YznJud0n=(d*1vstXBM@QiANi;u zo~i+u=Lg{?p_=3xy8@w5w}mNpnb)Gq05EFW`*M_bX$hxg-@UVBeRf*2IIex}ZK+Z- z@}{4CKK=`At;<*lc{S!_I+TsL*WTC>^`h^WNEO36-aAJhmE`~+cQ$&Y7TtBKDo+7F z;tV`KFqI(waB!gb-k<+aNEbB%`1*)S+sA5FF3$0GTq?2i=A5P}^p@;$>EPcN__f}; zG+v%|J%~$*d*be>7fhStmRjqMap*$p7#YBh&uV6s>Uo0LfBPRpnHh;0p;`L(PW|7g zTGsk9+es6nC?+$8I+G3_G^Hu}$(Z?@`UUA@y)+4MUwu9RQv+cJ*`lE6;j^+TAc{=AGG>Do4qhOg6t@6{VG>&-BwA0lD2` z*XJD^0?!VY{0E>y4G#8M&bYPcI_bi99Z}!68|5#tyGQ{HG4$)ri`*B#*StpiYLy3C zpA6hthyL0T!yZxdO}S!dJDl^*kC$6ZzQY87iM`UYHMaQ8!M8{ynscNO^bgGrm)w81 z8EzT>FEJ;Qgg$bO4~!{M)^PsyD%WRAoBFFpH+Bol z=0$s=(G$DmacBn$j1?7cccI(0LHjb3GM6O|ryi7Wjp?8kcu=qp<(6shc<0F5b^(%C z1b{z%;_P3LiMAD*P~z#jISH{f9JzSBzS`gK){e?^HF<-Ir~&Yri=<{j0${i+jD>g9 z{XtzNp34Iv0+PX($pEmo{$GR_X*$yxpXMBz3c<3SS} zOII$%c04;UUS`@lY69-)>yFW6*lCYXh-7!q)$N@Y%AO8NK!!=gk7RJ9(Rb@doVCcj zi|ykfOC@FdcV~V+V{{{c17(xyzh>X z*`kQLK$+AkK(?5z7>io!RY2fQj<<;)Nnv?#(WIoRpfxN&J3DEpwn*mdzq z^a6(wJ(9wS!55d*>nm}XkFOc34bolv&t|#2d4~f4xatZbS&TiBo*J>iR{?KJD!={RKPT4ZN-R$YSN$n z{hfh`N0RmxbnI^F<$%7ZXqIR-#EoPzRSTA9qSEI>mP+l++iFp{8kq9!^Mm1!PPr<< zpB6ht$UzQuXG_Oh47pf#^6;r{KQP=Z1-Be2{c0w|DhHxY^QH*IjbyjUXO)5V12gL{y4Hv3!m-qZdjZhp# zsb!z9!@|OpK@B98Qp1#wmIHv`kk|*DE2j>%|F6C2TP}M3u3otpkY>rA1#SQj?t3ZW zN*Y~G2>_QdEK6Mar%l-C)HJ*;6Oygc6~!iQD>-GHHLw5xHugD3M!Zxpo2zR-@Vou$ z8ADPu0|1(CScu??<#$vjoC5~!HAS8`F=fAF}6Lj|gsMzF7 zib`1KRRJbhc?PzqN8{2`$0?yNNd)WtttR8XcsTN$TGHIH(KE)R=V~`^B(GLNsu(|R zYgpvsiUY|iIo@q508s(l+2E2N?oT|rVEJnjRaI!)fqmZg$djIu5sGjSz^-}b>Eq96 zuLU7RG)>$U_I>V_1Ibr%c!>na_BAa400hTLL_t(8$Us>(xb((-o0{4+;Zd4Qh+3|T zNnd0D6`>N{=xXNZ{`3za?>j#00U8p76mf01g}H7?3T~Zeqg@69fG|1>TKL0b6i^D z?=Uu!Z%I=9)cphB|GMv)VK~AGJcfo9A9e0Ej&7#`K}Z#03SPmcltRLZ0a!#)QUD?I zT;e@H5-arSPDQdp(^wI*QD^se?Fib9M3O~V>)zZ

Vq5oA+U3@;sUvkIA`pb5t`Yr39mji3&nLLYT0Z&8X7)N?D^gz)@(W*Z2OvjDCTcV5iNQ$x%#R%@dv9Cx zhqCzm=BN+SZ5*3=3_9vzG_Klt1H(G^)kYucL~W9; z6f|a(r(@HQLM8>-Z=x9gg#MT z#~$RW=JQlh$9I-dM-uW5ExE51a>luYDV%Rfb5qfb+7OvcIvxLNj21j%wt8R!^&(*) z;2-*g#KtquB_RF$Eg>$NpHFOg9g+lK=4a%FM;IW`jBFM>m=!Lik8W)nlf~@DE`10T zLn@o}5%nNpz##Zu_u)efOfD5@bP1UAnTUHJbTeU?NK%O~(6|Jw7X~JmaBOgs-)CkU zhVmd(Nb0U$;u2xtKv(TDvd)whUv1wimleyx5-%_n%sSjAJm#VfBpjN^&c26ZJKB6F zh8?kvdTx^1W|dm0$q54odUlZROjMSoWWhp&7kJTptbDe+P@?`L3> zmb=ZZo%`(apYNeXTEaj=VGq*HQ=11a!4EJC^&Vm1fCJz=GPGrZ@!UQ-nehmRDi{SY zArLZSB%mfB5Qs|z0&$5zATALI1mY5bKwKgah)V