From 6498584b31835b164c6cf3fcc7ff6e36186d1733 Mon Sep 17 00:00:00 2001 From: jgarnek Date: Thu, 17 Oct 2024 20:43:47 +0200 Subject: [PATCH] Lemma mc T = mc T --> T = T --- article_de_rham_cyclic.synctex.gz | Bin 42884 -> 46426 bytes article_de_rham_cyclic.tex | 107 +++++++++++++++++++----------- 2 files changed, 70 insertions(+), 37 deletions(-) diff --git a/article_de_rham_cyclic.synctex.gz b/article_de_rham_cyclic.synctex.gz index e394342ad27fb293b99376a83dbddea249463abb..9328542576c4d2ae3f42341113659d37a99ef1f7 100644 GIT binary patch literal 46426 zcmZsBb8se4*zFq|8yg$jHaE8U#&$NgZQIGlwr$(q*yi2e_uc#7ovNOysjiypI(=sP zobx<{k}`+dXdY6TUAGdj~ay-Jf?o__^O( zr5w3Eov)WefA#r&JZ>)*QaNUPeQzgT@AZ8=Zy9p+1U#P^X1?9N-ZTIDzTfR{jBQ)5 zeRsqXeh)M-%=o+t2=ID7AAeTpe;s6g<3GMb6!m<3MSXYsK1F-Ky)`u)k}toy-l`SEI!C%5zK^K9tdpVOD{wkG!*E3D~_{|t$6 zq@bxg=Ito-S)c#=4qf-FCACLY>z=RiF}3c75P8MbF30!n<|sCn;mwZ3%vEd&@c!~P zbwAV7>3usQkn_o(@J=(T@AZ1K=PLL8HZe-{QB3FgcH5E)_`GbvWUvCct+{OHXZrmH zG9AZs(!)`+jnosfsiEMv_|EkbvyT9b;u z+v9a&LO%GZWheLZc7K84-?BchNiaRhFc(4D)eZawej%>V!X5T1`raQQ$hN672=EbN z(!JM0tN%dJc^O&wOSs+je&d5o;h8O3)0X^(*f60-u{8n7|9!I&S*M4D%SuAya$Ab| z?Iu#_erO*}Ix*+*wYSh3*I`we*&LVK6GcE#~$X)NHF-~au z`Z_SdK-iX<@ir|$`-#Nz2|e*JaF5gjSF$o0Vn_6GbNay~QQKompffoVIKY^+a>1O* zy<6{L|MDqq)%zIGqY&+6r^E1S0v4vfT_t|zK}EP`&pcJx|5(po|Mqf$3Xj=$;UP(w z-u3bJ^@>UROIR`Je8_96CMs;#qbsYX&2j1F=4+q>^F_?jS7Vp(@7L+t`wo96s&!3^ zk&Es-V&Ky;i`r-U2`;~vH^ZXmi_?9nllSv+174i~M<(|I2V;PK zS8x5p@q`uh5Uxe;kO0R-j=;O_BKy}E*VB8bnLc>Ub*{d7#jfM0R|3x6K_~~WNrtAL zKsW|%B!=(z>qKeIjEPB2?k}rpeE|VavLZe`fnd^=nHd2uFXE2fU(4C;1>SvcAMt@%; zXL9SR*P1mEJ<9*?(#zZPOA%Q1I=<2}CQGKmi) ziRB-}?{~k*RpY%Y^Z&8w^r>0FEbt5sK-ggR;LZ9Kaz?DKxOPAsCj`yB( z5skJ6^ZlT6zjE8%O=!#)f#&-;IAs2e$GYBKDxXH6>y=znuP1=kBd^8JH%Ip6&i{P3 z;7Pz9Q|L)P_gl?ZPbcH6_w#=Asq)jQu5R}1P14zh@KXHXjqPMT;p=<_Nx#T(`Rr}1 z6=h)ouP^2}-8lRE!_VvM4slc9bJ?e@b+`M@r*lim_v>J*1{1!TOUUPQWCSypzsqgS zr)}4M3*KwMsQX|C?u@YYujhO03`4g9-SZB;#`m8w)${i!!k(_)r^}(So^J=m!Q2dU z*#sZY@GW@w;I9pcdx76mdgJy<3|RVH#p7ev2J^mMyZ5EGaG8RgzOOq# ze4n>P-wxmxnDX%>;Rwv>tCR6N3CHD3w~y!N-oVD&eZZxwY~l0Fc2}C|T1vfe5v7;qm^HpeLrTTbHZaOMi@%hEjki zKy*B7ufNkH`e#PJ$L-7I?Y9Ppf)?Cj~V>ohq_YJ(|z!bdEql? z0@uvcHOc=UvidCYh#thw0<~fAO&-yI?j8?`3*&_oby_4np z_9lM?NXHUg`T!lhy}z(K9#T(*fAj6jGpd9ZVJ59i<_N#;ZT+nm?)q3auX$Q|yAhLb zjCF&6Z%lYNE8d?l6Y`w;dE4>%xOU$X7x%T%53_VlS4wyj9eTS8`%=OCBbU$j+2Tg$ zNuc&KSLcZS^($*XqQ*SEOheSYiX#|)_C$GODE zO8X0crZ&bGHN(zAu*S`|zp|eT{~dad_nXn-8`ymX-Msz;EFa@%{MeHBLJx13^Zasb zD?0Drgs01i{HN_M@B8D_8GQjCS|7QO3Wqk+Y`5Fn`&6VnueaOFimzV|(pcFazQE?r zw}*seJ|7*%F4G9g$E&H0$OsIij%{@ZJMT|F)32LHX_{T%@rJTGKf-i{LNvwjD8Bm@ zUT)$YeYlfc+scv?EXa3IQUio+|Y3#=K9DKJ4A*nK-T;NUKL@Jr? zDkmo1X<~luEa+0$MvZ~zLh771jDb|u^#$Vv4k9r5$6u9gb0#X;^ZvfR zT17brOJfNZC0G%7qx2k!;r*oi@8*2Xia0B--gS?;EEq4Ir2}`57+@UvKa1EMck|a?p-bRb;H(-y{}oY4>V@_2i~{w*!BsN~QOsj9lI3ruXN>r*OrCZ+kWC9dTjW4x zPgSU^0ewd-5b`ek0M1iYP-+YW2_BdGndeE&UQ(ybkH@BMK$u|DN>ax)hg{~@0b3v$ zuhNYFUN;OoUDc8ET>J&}Mbmw9u0xF+~l(K-qV0L)Iv1IAPirN?Z9fgCeZ;)Br{x285Gj znG+c+jwfzI8Ff;#nf|p@QT#!dT*9oBT(M8;eADY8QW!U45XJ!avn9o3%$dbpMO-N`@M7s7RF0x>M9%c# z4p4xfImKSsmG&Av#}4LQ0c;>VSR_!hSaPsE_<}0n69MXQ!uBeXb}+Xc!Jj{2@R#)o zr>fP#I~^Xd_-i^Z&||xrq8&%01!$*jY6O|{PY>g8(@Iz2Y(qB-I=Y&bD(lchaKWjT zIdI($%4EkGy~Pe@BWs^J(Gp5#MDfe{t$u5qvP_a7eJ(v}+7s6s_6^8byuoK^h)Apd zL&_~ytk?X>%}6AXh9Eg*HxR$uGqZ_(zhij$#{wTcV2)chS`~zYN3d{o6+~0hMNupq zl&cAXdQRAC8O7;D%b#&LUhgGLI3ucS_LQsbRwu*|zm=HVOOFIy{~) z27r==aLL;qyZ;+p`{(EmDsCZLWV07GvHC2H`zC%5U^+|SJe zo3h&CX=Dnn;ngrovq_hzIhxs+X=!0fmzwBp$>i`wGjUibmw?(xmDQ9qfXcL_Ff<3G zsEza>H$>o1ss5-wnB_~U3s{q%Xnw^d`3Pl>Zi9~f`-g3(e@-4djvr_&t3l7=9Q)Ym z5h2W@lUrw8!;o4`1CYTkd6U;63~YlGpb$6IB~J`^G?QD%Aj9hGBT+;KOLk82^Yg0` zyHJ8^f!Wj*_wD7wdkiDLEy)LUmK3%(P^hkWg;9di$TadUng{*TgQ~hnqmXgTHk$`^ zV($O4JNgId9c!M-xHb3_;!TX>7(gJYTA;z4p}wcKQDV^^O}cGy_JeVgO-7RdHpFNT zJGf!p4m8#;y2^}lxiQ5|U^J$w;7B+r*(U#_sgB-f^=qY7+MbO35o-@UO2MPsd;6@U zOEIvfsyoVs0miN6nd48Q&5Bi5lCc0F{n*4M)s`K6)5(Gd^wsEKT{jI{#r8Ub9QdVR zuR+%dNX3ePCt_6vN0J)~6`A;XbyCRE9l+$I$Tq0N@7a0u*Cr`=q%_ftX{QLGopDDEZ=9HIS3>VFu(Y}E~2N9Um@n&6J zK3>z{Gqf~S$k*p!>5$F%U^X<+fd^|=QmNNGXwp*>M6y4~1>e2_OhpZ2BVjjWeVZNN zLdV(wO3urE^Q>Ty0Sj|ZNAA%e3}=ft!tA+U;AzztV+Q6i2T5yDf|ow&muJ2-{p*)hp);=;R}=wHO@CN)bB3hscZ{t!6bAFmUhFDZSr>Kgg!;t{SEID! zba@lC2!rg!+lXBOtjpbYcL1*Ser^2cD6~>Y_#I%tSn3Wy@BCa&LnCO+-k;CtDzFsA zh4<5|PAP3rI}X71<=m^7Y@q`iKR1NBUh5ZzQ(3IlF<*}s2nf{uDzy!U#wSq3k% z1VKYpKLVR@84$ovAp{3oIQv^6H=v)gOs?yMbAV-*(M6|tmUr~G)WZp2*CcAd#otxa z`MNJeHh8;GgQxP2N}o;A-5butaEO#GqtuX}f&5Qp#Lzfg1KK&>ayW&EQEe^M)s_4p zvtbilZOpkNkV&!$uxVsory;ETYqF36<1XH##raU=J7=`^td*#$)uTP)HDa{Gv+A7| zIc&wLb`CznaO@Shy&C6seBWLsM@WQOh9YW{4$&B*H%H-jjF#+7d#jX_yLMBapDJBEzczJKwYP#Ct;(L(wMX%TBP3VUYxV|}4o1VLaSPiA_3ioYM~MCr z3A}(rjY(AG2)w{G-HcA{k#gMGFL;5<1YUpcc&Gs+?VZ`SO8A~Oek5EUie}aiQ$dyw zYM{}}l8+XS&pmL`uL7YbCf3ww$qNNYeFMF=z+=HLZ{6cKvD3vhi<#W+5|#n?VfBTQ9fjragS zQ-jCO5o9YY)zYS9q9wS*hVLx!FKompwNFT56b?SZD3Of$EVh*}#N^i@3-K*XmO z3^DQ|&j>w^_y@}OJ!tjC+&3p`o&PR^8`{K!6DsOBi9t?DV%SD;s=`OQaQBlhW(ZTLKhdMv2 zR0EKyxr{4=Y6$;(rM)aF!O>Fc7$_b^KeN#Tc5`D~=&#R9TU zY|EMlagD~9?!)!B*$E;h3Zli4wQwBz*69rRvU*4tQD*7Wel__sR}pLtctLYbSq5Te zn5&5h49Xqwus5MqzkP1J^4+2s_xk?!nt70bMafl{t{Ytx^%KL(U?7$BR}*??pv)^n z)1sx~Es2_B)=!bqNW%`KV%Q29 z0K13MhJX@+CMNk3buW@?7+L}h!!w*`(blBF4Ukq>1^%njZS@;DR!1l)toWofGoj4e z(rWy|nboj=ou_KeMX^B@G$AHLWXY&N`2xLk6oPvHa^l}SrGa{LFHtG8k9^g_sYCy6 z4(8v0uURVCqML`<0?AHIX)AnQ86i=*w`DneGQVUr@1$v@v|ZC)CZ{}hF540c82astW4+=+P*YYc&Ov|UiAX6bbjaR$)v{b#ntR& zLqO$-e=K(u+x;k* zAd8H)z>lYLEPgIl10gJyou*4jg$fUvuTkedLXW9i)iR49CKJ>H!z`3+=0v>G|13$6 zp4w1Zu4ffUYvCMM6`jQ|t5Akm9g)fuRv~^7xVI|amPi1 zY$^ed?-lnvuH*c$UhR72liTUgtdqo*7D7rVGSa`x=54?<+Wo+GnRfs?1FKX7jE=T~ zpPm;<&I5eUB@p08Ka#AOb5ZhH5-O>a7>#-8D1pNrjb)Zlc>@K^&)c_$<*=mQp-!1p z8eMg6io5a`!zCbD5se?OIdrqwS*~~wD-K|&D#8m1JPs3}+Uh8Olfo_MSWjTIpYog* z%tO+O$b$b`saVdzwyuFt(_rL37Nm0TUKB_7`1XnE8(V&^|MC_DbCC&AyVkL%l~<{> z76~eG9H*yj#g>u-Wz26w)c~MS=)`Ri18k^NANZ8()sEbpm@qVM1MY;Ti7T~#v=2$c z7V3;@#pL8yLgu&%7CZ&6 zFPvx5OL_N$Kcp-@mRm>Uax*`|rWs%1nhko80Lx`;b{_J^%j=qZR}~^CjBW+cx&>(d z`@*kB{ zGDq1_mWj47I^Ou3_YDf+*gvWy^2uFf63Et_Y86-*t1n{b#oasLhcI$3)9rJ!3CD}g zdDDcA#346WuEsKB$CQ82`(aylyhz))kpdPVWA$dOLIZZDf4g`vc-3T#9Ipf#d$N_E zrX0@MM)%tjVO-D{J15S8$ zy6etwhI2)P5`XKJkow^+BB*{hoSVNV6!>|Lt#SN-&1q`v)OVk1zblHji$!MSWj{Gn;Rw6ps6XC?{UU8M8nN ztOZtWdk>S|75?HmDBstSy*oNMKT!Vg>P)n1V;0nLDBOzrP)>~-NU`f|og6|pS~%xm z7e8_Tqr4?#`@HuYZF@_#w+b+bjMe1aa!T2BBw1zKn!1o`#z`MSIgB9%Sy2>Y2+fl> z1)n4nmXI(vN}Pfq z_Hf8}j|b0sH0lt^Wfiiu;zgvLS9T7iC_BR7X|IkN=O0kMo?Fx z7buVD>2N8&z|z-<%Y5I-a@_u&x`f+`}Na)nhLi{4?lo$sCb|nO(BBlsQv1>2EBRA`F?5kv<$ES0Q z3oQI>tJZ<`WW32yqx9~>Sgm6xI=LZ!?yeeOyeUOn z&mB!vJhnj7@n;V14ru>zhfdv8@tvyNzKd~r_wm7#39jd9M^KK9Gv|&;1$R;>80#Oq@;^PJ9V46wpmLfOws zS5-YNRy{SyW1s;vQR~YDpev@dY-1sz1TRn&bEQyUf@APY6Q2X&NHF*aC|_I!FjBO;o7l_{(Y#8FZrTJ51bTQ>lBEw-ZDH}1Gs z54P(9wo2e6KPsqX>ptln4t;>>`EkVb414Q=$iaiCz1)%KGVOd=pGB9cno)bMKkXx3g&X;a|0jhQUxvHWgi_C$eKxb%<9(K;n# ztkQp?9F|hR>QkZZzhosM!d3yaw~&4KRujO?W2)vxBUn7UiFneMC|#>-y-{i1R!7yg zPtTT03`kbJZMlimY7-P_awmexTZlqRP;HDc{a}p~Ic#Q+t9~)bVlnc!mwQ|Vd*>OF z_;nvcnt1agyCZT~u2-Fb zk3y7n{zBh_9(jd<4>PPIHRn79*!0l;dpG|~Ep4Z7UwbHO(xVWQ7R!YIS6nJUEG~GbB^!f%cR-MC@ZlU@rUmi$gH{giJ(A*^^(G#ShfnE*P(8@iRPgV zB$=ZRGj#9iv#Mcza)$^G68lN1$y~w^HA#9teh{0MSVY;^5gm_~1^~G*CgI*i;|TNy zwxRDc3F;rg(({a-DVACGc@+;ma1`uTqV1%PmYbqYg@q&p)QDtVAhx#@iIgx)z_3ZCV4x^OXzhbrIFtdjc`qeXCdC zTeY6AZ?N4sOT4SPQ{!j9bazwMdr}q}1sXODo@W8F@7ftP?n3d-;WDd$e}4v*ir7;E z8n_*3;|Uoxd5;YpQ^Z=YCE&pNLX}Lk#3gJ5X&RRwJnVy&j+0#|1iE-J)Q9E z!mLC+*w0vlhk}V(WMBkCJ1zN}JQUYB6HAr;8Q*Q()IgM^L(+RUZ{NrG1WbJ3K8uH@ zBjVVtTX%A0^e<1$(0`Un@niugIu{a-6T>T9b;ui=5U$ z;mRII+H;ZQbqc%d{gi@P^=27LEb2Aa&NQ(L(h$CImfXfuM}q^+1~F+&quOdkmL7p6 zl|cbHdzw-)0C_+AB#Fg5yZ)ZL7%{#_d3YY*LWh$(5PE zE0~Eca(_b7(P<=&Z2w&vvYT}b!Yu~Ogt3Xn;$Q- zbJ9RKLr9IrK%Fz$zE}`XKO2Vur52vy;*TJZm2uonOklkBIeaaum4Ka{y8ZqKd2c6H zDejoe@anD?nvjK4+7?D)<`|}>id{_q zX-=%8@v@5GAPqe?z@2Ygl|GPpnxs{gzt3!^0VUr$PRi)D;ir8W0%|ylM$$o}5%MZo zKg_sQrW*p{7r{%oLJ+&C6oG4yi^fZqg(8uiZ%Wh!q*GQ%WB#Br5Eb;@I_6(Ie z3d-!SLSnU!fV|54z5`>Qf7v%|h+r^(3gE>4Z}!DRg0)niW5)%GHq7aL44a6gFn<$J zI7?RlUjbtDT;kX-v%?wyjCS^U52)U~vjF8dr?9D7!Tv-@e+- z#K%>{|2;5EQ$r2FmE+zFQ(G9R!|Q>GKubfDR{}mxI+I!Wbu6Py0DoY53t)8yu|z8- zpaLv^-gAAW#DzA`9y(fc@8aQBwWi!@{V?4O9xxCJZC}x`JiB4#Ph)WYDGK6`Ep=^R zf0!^>zzaOVh3b|OMo_wH{Y(iH?1pHDYa878L)&U~1ep45yFd?}F2Xv018?Q8*NYUh z_%(b>^|@#P&WS^kf9|*S6wnHS6WxNDhy#pK(q_IG#i1yRan6SdEnZ07)Rl|Xsz5O% zWU+JO2zqD=BEV~0p8?&q02z7DW8Jc@r=L+$vEe3BFi0$_vEWv#nWQPHJ8g+ga_t_% zv4jVqH`avog z*${K%t0F>;vyqPS$`}!O zmeK&3%_!Gtk_Si-$N<(olog{+@?P|el#}+vtFvGxgQ9v+K1}epu-TVW5*5<0eH0B3 zy=&G})39%*$R*S88`y_+!*x%n_qg6b{q_WgPSBcLa1qUPY7r#HSpx&L&VyyFMu-%J zOK9G}m~|Bi;!Yu?5-oD7F*4soE$gpP0+pYx%~;Z<|Ik(^Qw`MR>|s;t^P1g@&5w+dITeL#?O^5>ADc@pll9R?zraod(Lxc=A^y`w zosE1BbWlcBHQ?qk4afrNT6MvqO_<0^T+3Oc%7FQA;> zMQa4tAji&A6~Gir{Wx5zCQJ*At6olEr0gD=RK{0Thw)M;NFa^!dNdhm7PU4d0vBo~ zzIRcWs536H9R^?fooeEzEiRG6r3J0S7^!y(n>W=G3_3dbjXAul(b=Y?IuO#45FtBC^3TV68_abh@My1Pnh-z2McYvngazGLBh%ZAqQ!n)OsgkE_a-2y`jBaLo zY3(AQ51Ex$O@N8o0ux!tL*wA%I@cyB`)lEQR^YQiP2f}ecD_%_U0xu=F?ZH-w4=z; zWUx?}pMH!@P+}^#O^8I31n!|eDoYLi&F`Nu=|SX ziW{)bdYz4)r3{~;wA?)e?>?sEdQt!-oRXsX$kNf-y>Cr`87xJ#VsX5R?NFS3YR~+O z#As0QGn@~fDdo!i!2EA^^-mDBTZ6wtl(nUp(q59)FF{}%Q>aI)0=FGvBGHyRH2f^K zJVxOB&fHF1a9)unvA-}`_*;fn|H68WaFS~-kKAh3Up}_2dD(d-nEJW(g{B{*&lnGz z1t1>tV!lMJaV_@jL%qGOQJ%5*+PyGt)XCfJ><}ERkrpBTC{YMm=jsw8?Qc6I)TDnc zXax5asv+~h5JfX!+d=FPn~;}^;atE#>?Ss}PmxkUETIR%7%os6AQ83BtqVSjMMiq) zU4@iCF)L8&MAExo?i5Eq4NVs<8OR8bbolvv&7ZHZ)s1wyz9jx)gU(Nm#l4|^fhfUk z)d6tR2=f|T20Tugfp~btmTmt^rl!;npyUuNhJLUNxul~?vtq$r+rqb3b%kmqZCzG& zKK2VMll6t--WMZ#<54PP*^D~5w)vg%iJ)47l`rIMHQ1c%QUN}wvbmA+Ic1Vc5L56x z3om_bI=AB`KkbZ$VBZ0fgiAGk%8K8O`TegFS+-#Ljz_8Sr3~YwsyXi|-e!X?_c1Bb zfQ8e(ax~|~HES0_eB91lx5rIxAQz~bhRs(HK!XkTa3^*x<3e$k_i73U=~e^&REOth zBx!NPcpDOq&~-bu%u>t}ik;ikHZz|5LN${ANLsSS;_qO-iVi$sHXPUC1R2qK^{|{a zL@rk+nZv>(iWa_W0O+th#`*&QuzteCPrVxgAf8BDT7A$j4W zQosUS=3_F$mlg{JgeC8op&*lPWAX72XW>?m={}(j%hYA(^O8Nm6^MW3} zonp$K{|go>ONqHj3$sj;E1VxgrjOIw4#J7yq@@Psw8tYHf-D&O2r*PxR3FF#+Rvx3 zwtPaTt!%ZoSWD%OpWpzk2GIPZ=`p3WdP9-b|-Y6n^472q>+cy8#OG#lz*uAGy*zj@JevJ z!qs0O-z)TzInIcPG=S}nSbg?L) z1tt&UsD#2oBufc-_Vy|JjiSc_YA?=yiG8OTwSGZ$&IT-L{=K8EXPx~i$Zbw$(_)+w zPh6BT-_Z?5Qp5_0@zfgkuu-#q|G@Roq7+zvXOjhvR9H)}DnD+_p{&eG9o zebj{`rqD1*%tAoU(7c}Fjd%9dt;V(ZR-^#bG?m&ZrS1W$z(Y8;sF4j3#C8eQy155B z`7e814Fi>UnqP8Qp6ucI3=2Q5WR8d`^OQx&`1SiK#jO;YIQ^AD{(Qkkg~Fdv^*#Z&`GV>v3;0&BFPhwtl{Q%~Kku}qTs#)npCbB2;6E)y$MXFY~QF(X@6*~l7%I?oAdmJ6y(sU zcQ5mw-xCy?vf0V(MjW7f`pXg$pdgOip9=Z|BgM6LXCj9|OF`EQn7r*GMLvBxzPdG8 z=kszXCiO0{g_tcOg~i%5SV=#y(jcy-h(K)SG=9(PmSzf7k!GAUHqq>wf$T@Sb?%(!ioQqhX*-Er0S0tt{^gA2p=S-WAk<{Z2Y*mIQUO!CG9$2M zAJRGC)a3lpH{vzus6U7YGa^n!DK2%so;zU00?F z5Uj^8$Rf5&MY>p+b_qJGLB>4;F%}^|#pM?eaP>0W0Re%evLH-LjO|54MCEpw-l?Zx z%uPj$llH14Kx+xnW(H}r=17Z4HrZ7qv8pp)S?Sj@Qoev$RBq*tB|cMMhyfR+jMH#k zAuQNI^!H#nqeu1nF~FA0LtcnSm=9x8!HaREB5pEhZY}A(J+Zry7xh56HF6mK@-)Su@{JnFiQ&# zSDu|^rCj^!DYP*vZhtyTl&*|~O7w-Exku&NaUDV3q)O%}Wo|7gSkrxlg#H_J0HOL6 zTIZ>sEWb1i5_US=?4+ZZ-vNG4JQ|s%u})H-al9PEI3-9xR1(dA8y>%e0q_lU1o|NL z-p1{0{;zk?(k|jqlW-Yzp<66)?m$w8TCeCehYL5Im}8a#0S;jYitsOsXeks);)d!& zy|F%MR9F_&a=@!dX4vPDk&R@NV;*BZJD=C8+wWsNN zC+2#My1N|t1^z}85t7`iOtM<31Z)rI5Y8=2(Vya&QwV4YF1g z^MqSNT(NV|r)k*dp~DFN;C~vFT~ppJUvknPh-hB%apF=bF5h*Jk{S*I6Ms0)-@MG+ zxm5b=5q?qu0x@g%!F-1%OY#GM8*-N7#W08Wg^tk6WY+>V?-3E;T3TfIf49$5Z{Uyq zg{%_P?xiCBlmNMhRSShhl9Gr!*%I>zVh#&bJ)U%@jvrT|6T)BjsDeFjuV@(&q`nhD^kPCPoG5vFUBLb)&Wm2 z&1j9Xn=B?`x<&@b)<~$IK_li2IZr{8iSFxg5%Q;FOjVPNPl}ak|4E6(8hIPWKw)?$ zZj>9o#!R@_=jd;LhN7$IdnZZ01DVePsxP|GAvdFTgt66;5Hs30>_=ZV2NlKb7!H|Z zs=k@Oh$t1cr%dp}q=Pexs}{RM)Aa%pILX|dYw0IagAunB6|@Xz$I4iWHCzLNBW4_; zK}Ut6#?Jl0+B*XpmtHnvJK2Gn8vdX`$O^GwY_yHv>P0$X;k=KC-$LWae2u7MDj$rl z?!ZH|;m9-xD0Nr&qW20Z=g-~$MEKjLBR^sdnx|WPV(-OyjCs{MrTYS+Nx^bbNr7XV&|Kf(A4&oos5IO;N!Zkv zE3>lA{|;9sL&Y&G&W1Z)3`eJ#!@F5MsxC^rONP2g2nba+5iIsz8;Bcs@MunPbw5!X z;R}LRnU*o$C<@zTvjAq)T)H=y5EXXYlu(^{?j&>JfB-}oFDE)~1prR)5m>y%>eLNm z>qNPU%ELjLQMh8MHVo!ihmapLK3wg>(Am_lLwlov|w2wT>euz+b*HZQ6Ku8Pv~e(T+# z^2&0+rU2j1lx*(mxxzPi2U@8?3_3K69BI)8=eoVWD8&1le$UgIzpA@@Zo%UEKFUC&jD79f;UMW~n74eor(E z3^@}~KbeJ|c$YiIs}4el!>+aHo6C~Zk0uF0O12G3@gzTX#)FZ*p`0+*cd3k+FA2KT z>bFV-nhk`igN;b_JzsEPX`(&7l(YuOh^fZpcowIT=Km$`WJb+D5AsK<`3ztbgUsJ# zw+-Ql@rN>+yyXJ>i77_jj117fYn!-2_7ewT8|#?G?j8A+ANIM3cf4T)9h}b3@wN7V6o(@dk7l9Iy~;K8OhY`;AAFMtN@AE36+K92;FW_eOj8`%EJz(Kge5-3r7=GtAsmm zj0yEFi4EJ#_2eUmSJos#R=Pg^8CQ18SD|JHPF%GD5UID8_nb6~ox zb9z{Qo|gC*Gs2_JIkZDmU={bfR3E-ry5HaD1_ekz_6Mh6soK7c)?}vrJ3Y?#5N#6~ z%x4J#IM=U#awdc1{ZWOO+&j-Ty$D#22g!`Cnhk>VnXlzS72UxS+i3RYLz%Ugi=F7XdwcZ*qD2R)b$bPUmu_I_bcqP~eNadMxmN-jBS>3c z1LkVaJj=o!nwlieyq_M~$duOZn}n>VLLSYDbl@gD|Id@0(h ziwMl@144L{HiR@VWhAu6=r}Sbm8)@VlXZN-nW7fen}Wm>iI7G3wEIF7F|by4?)pr^ z7Y9i36+=uYPZ-fjt`Dg_pg1+6b&5>^b{K5R+v>f#P)vNhsW)1G)}v6&0xM=W;rZzo zS*akz9C?LPFEc@q{tp1$KqJ2nP%Kt*S`APKJw8CuX3omh0HO0V!vTtxVO5?#7l#eHUpISP(>}qA$hNupi}_zkzHZ|NGZ|(U5*^{j+mk=rg7kt=#mFx zZ|$|DC>eK>77Z7Gb-?%om0c42f;n~|#jKsHLnRowM$Ht(B|FIhGRy&8md`F5jfToL zXGvqr0JS48DDfF1K3vnGlkBY0|n={7uk>bkJUh%fW&GM20Dn8i@VmO;#&$P0Y7w7lTS4wv>cMcEipdG6*Xw zK6G4U(*k{aaI?UE^m{!Ps^4$d-@mieZ^!p`Tr_{L$3^w~UFFmcg*xP??llC><~{?eXq-iBToN z^=^x*z*lIl))jF{(kIdvC!BBkyT zgHYgYGU{H_*3*c(`LP}wOtBUAPICe`!)#;STZyga9l}E#rFVLhsMhfmK;0>eKJN%aV_W)bWZkxq`V5zmxk$rAA3Pa1@ zCRwu?@Q|1>h$UB*g`5qbM+FU|jfKscg`{a%d(3MrTjrQlb=3f7>|n5=CTkwM2CEk9 zbHPR(Eq8KN+8QA7ZTV6RX&aQS=iI5D@4l3km4*F8Q%zF9BsM`WX3PxO7>5NFf6%E* zGA{wi7gE7X+Nc)Qfv8w!W)&3Cz&79-)(5)L(EZIUN{I{$ITl|jl4hb=D;qrn9+W*M zT2L;nWUqrBmp$G+Ghf3(_F(55H8%RBF^buI77Z}UM&@hmvbQ%53p&rTvlGI{Hx4}A zkbv?;l^SyflpM;|FT@qQAEt;`Po&l~CVM{W96@gn5c6#)riC2^FtzN@1qI5|dmBVI z2*CZ*z`tixpmUlFTNo$U!twm38z&L_KpS>u#fdH!&&sAQwU=Dp&gynTm-@RRY|NAa z(HVv-*x4y7#HFFKLVUndS=E#)hghL%hlv&EO1kBGJB@;5+Sc34akv_Px88nt!MpYL zvh`xUt>uXIwgSX@JJ)OmT({o#UKi_af(lLXy7l(NU9Gos%i4N7H=wPzspNX17cJPD zl9ws-$=+tcJ<&TK=mzcglTWz1=myGD~0q-jw~Npn3G-`rR503}&vqphk#1W-%a+Ax%4;6c0L*1ZqU=(^ zi+Gs#8>vVf{iNimF}AG@=BiQSD+jMv3euEQuOt;D<7mJjy-GpyAx6oIxRMIX744W) zmtEA&ygoWNdyp^=C8!yiQ=bb!vp_HHj0X!TyavCzTw*6D5eag5bpUi`-YIJDL_ciG zaL?%Hk**Al4OY%0Q*IGzELxeNMrS%6dX%8WmxQhnmUI!SGj0IXqBt)Kj?Ox!R^L{| z2UL`OF%$ZfxwqO@rQ9TjBncTU)>yqQF=6jg=H^V8%hI!LJd<(LIYkiiX$zmn>`FAu zFWXDtqg0LMTS3)J{3DamY)!{Ht4u?mmj2!ATDPe*6 zte~PFGclC>SlIUH4yZz+>4F~z!0VIM3>aKEU31}#9gJm~PXFiH(>yghMs1P+EL}L= z5TLDbxNFP>XbU*H()R~5t^_RiV~TVaB18N1yBU`ydOXs#EpAB`*pGfc?_k>Z+x7SF zEcM&*z242trDo=bHd)|9ZlJ-L9d06Ef(gb8mlRA*ORHH>Fmx^>9}5cJvvJ9jfO7La z)b_41^ISXi1&9LZl?08CP6|Bo&5^n+&X?>@I`g@215}QXcf~;OjU!Ksl5T{N$!xWj zgwQkGTWkpv9T6=ARo1Aw>vmiHXRrr1^W;Bg~d>!wNA*I zo6lI00}l_~lLc4E5AVM#BJD%1&jXzm;`JPEb{w{>YhPuiB!ZbGCG^#4;afG;-EJp#>WU#ntSs(MUkQGR*Ig zGbNl6#%kUoqBD+QrfxXV4>lU#GxNiv2xf!GC=|PzXeNaPyvQeKuHn^w)g@?s$=6yd zV(DDk2s0F537B6CKFRn%UeT_-pi8;ZF^MUbh@r+6z|5_Q8A7L~000}HtQ==s=-aEQ zro~RXpnJYhO8Ljb@hQnL+?=c7VG*&E2AFFMI1!9WD^B z=O8+va@evKoiI}ffart@Sad=M{k>0H<|<{zpzZt%1~k~PifI zbsm&u-uA9zE?TBHo}1&f(hRP>8BerE(Q!{UhiQc9oG6+Tm^Dv5zQ)3UhajotutcR( zT&#vBmIq;rVTq7fI-Rt3@ZF^C?O-ghWabVq3&L@~3OMve$&WY_!nks-*a)rXNT@1d zKk=9eXTaLd$%#(>;xMGg{w#J*V5TJB&}$i)8ys$lD;rxP(A2tR7>8LWL8euSBW-td z#U-sMxJvl*41i^z0z;ObQF~O1#dqX>RmH76^+1tx z)SiP)32@nPI{*`d-P!;(YL71wi*pIq&|2F7fmd0s18#PJMuER_nMPBOTbfdK7;w*w zYo-x8rrsIrPzddU@M&OdvV*Xs^YP`8ksvI$RRaK$?ED#Oi*S#6@+r<`8~Anx2C5z# zS2;3#Qiy)y*a`H`6^}ZZk&4f1cNYkvl zyJRF|Xy8SO%mSZB!l|mX-o2OOWS~rq@-tztDt*%!#zPQ7hcbY=AiUYY8%O9fs=Ecp z#7CHMJ-aRM#CXdnMTTz!;wXd@A+rn^J~+Ib4+MDFPa z=`zD=Eb^uI%PXKW(@W$^eWD+xq~+z6DKb#MS2@P?&Y4^4iGVNH7)?u37-*=nxXct> zkQr`SP`HwycTolxYG)Q@1cuTX3$GM`8#0gB@FhusshY7#loXz!t2q)g1;pBvE#pj)F=n1qb*9KkX+Eo*DX=Z`imwl53cje+ zj(Va3Zgzmm3j54Z#Igcz1pwPrm?`)4K4xSEDv(@9j@NGr(~0}X6R~ly-2Lg&+gR+f zUnM>{5Ha?2Gp>luU-G!!qqC9hXeMB`Wq!|{;Ew0P3yKWkOtPc7tHJ1aN#UWvnUX|O zprTeUhK47cVeIHi!Hl5UN)dwXmIA|FjWY`|=B2kQ3#*`@%5#f$V9a9C z?K4Gk;V_qHx#)mXE|xQzh}as?H>t@*AJfbvt8pjhuY{%PgOIC8PJa~Xe)SCP{jzQlQ9#YmaH(m?^UoC(v!%0SGr)he592v z=z+0GxxYBkk0Q9D@`#2eR|VW|0NXQ9Ug0-n#*Dy5XnE#&fr!??tXy9Ktq`y0aI@pE zW&N!JqArQACB+Q5*#YkMG?~T)#sp=#lSRTtn}CFk2mWPFWujLpFCPrAaPgHS4%#ar}E7 zG`_WRfqUX<(C8^}94t;c#%M+g%u!O%g|e(rlk#C=Vsnf`VDNQ&AD~%j0Z(Vz1vfKv zv2VCT$69V-M&-tKu#DJWTtiL5YR`jL551LMUxP$${O_OHP5Gz)VSf5&t$zA9OKG(( z-m@PKw@QtgoBKe^-ZPapEbB5t7r4jI(`o8tq^8fe^|P8kT;jc*Kc7F3DR{Ct=j2@H zRe=@AlyGiLU$Fu{#Xbwmp)UNtr$=)^%-&(Lm zw7eHFSUrz};;V7b#$!&<7qcU0Y;I4@QsDGOcga+E?SD*6Ola@h_llpH_6FWJ_=uu?RN0t zhP2yacPi%e@p)?_wNOj4+Np2PSo?pq(Jz{1g3SXN{N-)2rZAOvGJcqVD(-mJOYD};8O@#PDc2Z`8h39`tL>TxE! z-GJ9mYYJvA5ei!Yug>p*k@p?sRe-L~)4of#UZY{j;w2~p{wnj32K?g%9+Pb_|T(rRHH8ICs?;0NV z@Mdgo2XEtY4wq!T9au>fuTLx4&E|W%m=uFF zojY@ha2C%8!I(*wJ8k-Y(o88&GI=mSt2LH%a_!J~jlWX^^pOrRhO)~!kcV-i@)Uy@r0wJUzg!#gD-l_#VGoMUs*yjX} zCC05|;@e(AtrONS#RSfxPJxfS(u$&-13FpR8L(MyVhNzDavpo4GLKXYI>_oo$CrU> zLE*VaTy$!TPC4dr?Bm&JGLz^UNt234gqEdHTHo zVr<#Gd&gN&i|4tosBNK%C8BU*#x*ejrlj6tI^elsybV!dL4o?X)oe4xS!@*fTLC!7 zV6~7GL^_n@xEcTk^x>;dQ7VHn^WsL-6aCF2cS(W0gjWlN)I&vR21AP%S197H6X=vs z#+9w;N6|0`BfTno|NiaxuIZChI(s6(->8dClES!>xnlvqw5PwlU6Ly4-Z_gzKjY1vd;AL#BF1qQY!16%-G_ZPm$bV0_T>B5dc!v2uYO%nmb1jrd zRea_9gtv+rRsdxh`pbkx@Ujj5dPRub4|*6dv=&a}q1+C_#6B#u^@>n3OJbMCkk=<} z9T9>u-`~VuLZ$JLAwSf!73@9V29Ux*=A++*Fe|u$i-&2rRh5^dmXH&se6Rd#jX04Q z3{cc4x)7KzPEbU;3OOq&Qp_MyvJD+@cHUBz^VuzvS#!e6p39b2)}o%!u*G+AuBYJ& z&Xehx!YFPOXp0Dn%)pgKQfQAQkCwalA5GB7yh9*6}Syle`8<89Nuh5J|@0 z=k@&D>NMn>X1Z7GWgght0GmfRWtBLwk4C3^maMSfZQs8g-!r{mnXYWYr*mlumogJ* zZrY0}KT}|sq2?A8%*2uGK=JmdYgcWxX$fs`@f$<0d z#tAk&$FNnZ$gFrLDGv}>k zswLE#{+N=#%ZaBT4gGS5`S!q0w2xS3#b$)+beu#GOn+o*gA?4y5|d}Ri7YM%KQF(?vIIGy$K`=x*f)hkcavER>`O0(9Ou(u`_9nA3*FGw+$*?a2+Ee zhK748`2q@#>AQLfl}2Oprxx|+)*{g_kpaQo;fA&}E($I>&(o?oaZgR2igz|tmQ$U7 ztr7Ddl~r)AQSnMr3kqv_f~F(|Z%-IpNwlE@&dw{5zT>5FQ4l>AwV+o$$A^T>PAE#n z2+~@R^*lmx23egM@SseNJuVXr=*{OgiUeW2&keh~uxxj!XU6s~y7<_<{5S}oi5}n$22QURUV(Bum;hqQK z1Yw$R2Q-yGsOo(WTK(E3H7_>Qb96oC$L|*_Nn!9vT#p3T5b9VqeI(IRBLJ5p5 z=PqBPSzb`jGX-6R`m7qjm~0fVEA+YHR)Nuk<=izekG-*S?xLaw$~MayL7AA8R}>K| zjFI}sFnFI^XjUdop(!UR80K)b$`sd3hOHMAN%3BEQLBXAXI|)gjIXnFu9Fl#u@fZ) zLns9=*VX~h)+M>=P3DXfWLFYk(cQkB6;7pE#^z$$nYo^57PA=2-lM~?W!RiSTyOTE zUIhWX-2m>T75o5djp@29;`N`Td!W`GM4QCgMT2HQi`_Oi>%n4# z{{Mqs_bu0{E_)usH_?evMY2UM52)SoZuq)YCW zT{gRK2YP0RF;4Xp{ive5=W}uw^T4LuQ5*s+!AI!}vh6a&v<0aIqw7rWDw_esG&*~a ziBwV?@Zqy{gxbGg08YOIb8SGxc2bAdGY!P1~c(f{RA;u~o&bs}Y|T zVduuDP;>8c6Tv7VL&bVrl>+CoFm_ENWFkH7wuB|?sWP%f9dP#OQm4C;a*koiR^7>q zIz|}lh4WQQY@~q^Bz2axhP{prSeyv^IM6g?)~`l*vjbF)#gjfs`K%lh1W)TE36r&v zsj@eOup=WEOhE{XI^}Ybv7QkE-Z?U)Y*=xm6OA*wu{7LKmKA*_WHPjHA=VRN=KYBi z-6;W;f{9s~TU->yvmWE7es;MLIun`AKoVjf7O8c1{p=azA$my|G!MnimM}7YZ(b0h z9#GADLf+Mfg-9^tA39|(61<}I3n7G!gGFU8gk4Y1gfpP|#*7M_FCEk99Al$7b{Oph znfjZXRok$SBHD||IIw{%(INL(MHU#f3VEnP=1ytMhmGl>YZZ#E6C^g2A+I7-RVtyl zZ1QDX!#S!+03E5)MN!P`-UzYYMJ7`egyq2wkKi|iTy+%B%w|GHQ}=Ez@wgRS!5c@f zv4^Ghn>l({UV{!C>D!PSA$yl;S_L7t1U$i<2vaA-E})zTR>E4xkV6TQBsem$wHvx? z?v)rZzuck?n5!iV=iDom5UZFgt|BvG=35G#cO^1fcw}nlnGi}$YwW%|A^jcdvd-(5 z$Q-${joisGYLqDPW&>{=p(7nVA0@}67*>2Y4v_8;yGTeWq6Z<2!oR05-MWd`-Jl5KV`S*Af8V+>vv;m%6pYz&NadmRW2H4J(dhs z!j$%ckm1`>jN8cwRRd#=SGY4_Q-qaJNiD?Vr;x0ZTBtjx0G(%!3?S$o;?I4Ua#Ta$cNkYEzqU+9%5F@I%As2*bFl>UE z&^1C>lY#m`5T?v$xKWgNvw=5`8TMMVx&v+-AR6YcWLi%qnOKHJDu`6iN;kwRpasO| zj9FHfL3DW9zv&>u2Nak|f{?R|X&JYKj4=U9NyyCbUJ$xkRRM1t8M~T6S{tBIU=%ew zL{RY0kyWjOE5WuVc{-ne5>9Ukr5A*rVFZWnm|Gnf!z;>uW=wvpS#~E+(AzwPT$BjY zKg4~BZQ9O+0;$j|Byf%(%;KfSVnl zO>WO8S(e_Jx@m;k2{Jv;=gVX~z$P*?xOgt~d z?UYh_@Ii;VE~Y=v09fjL)WQH5%=*l09(tFKPniq8<2_7fPI*(_#2QBKDXB@0r_9!* zGi(#lb-8ej4ZZQ{09Q83_k2?0+2N5X8hXtc+KUHn6|r-0nPFMT+DFZ#%Zo4@1rhco z7M_OK+^BQ81xImQ-D?H!dQ<1F*}r-&=sr*^8+zx%6p)c)L%09DjU0P)OJb&jhI_tX zd|PW9Xh6kbnE7lwHFA2cy| zY|3acY@b;^{40nQV_HZj;?VEgBC&tdDa`%u7;MMdhTiLf&S2Vk^rg)@Z=ZA(+{{#I z9e0orCTn6U4#6Me9e7UP_?M_uOl5e;@I?VUH1{g>0&WE$S=cIWE5?x-I%pJ}h!7xi3~fY_k)jtNJ+^xOqXbogVs0*a}$mQ+%atYlagfAwzcy1N_@skvqSON zu``WWLw5l?!p^ON4f-XPceB2{tSC~MVQ#h-LOEhT7#eClWJ`@$V&md#y=S2-U^EY&# z_3GXZ*5Vj7Xo}lM z3cCmtQVt8%o2%>5do$ufeJTLnv(iGJsfW;RjUFN==eS7+7HR`C)tN72!=8e%!8ojMwT?C3%9SVv>EHHtwl zWk=I$G4z|h=;$shV#+Xm0%qV7zI_by4v^Opnb3;f`S4oySde)`yUpEt$YwW-K{esmy4SK%(8S_}x2VnxxMz$fhOL>}CGhEohCT4Thl*vGWJYe` z{iQm^>A((=@0T0);azEYE6_l#V2%YnWktb;r)nMFFm|YJ_&f?{u5Bzm>O3`Gpzrzc zT3f+byyWw##!8#f`A%9f3Sz~)*_HVHfNv)Nx?L6JR{^zEd_#~qnFU3nqj6YJWXH2s zNx_><#_SNa5`b5KmclR?e>rHFC?w!+PjkBg&`|;-HV@pkh%KK4`86%ngSsBERT)+| z(-q8pY`Cf5;~LR1ywtnsv35#FAU(r*5I0j{6J+SKC(7aCQVyR41(s<(A`uikXh~7a zk+~l5dIK0-yq9!uD*)DJP`x$xo`C{fC!FAWKo_0`=yujO*ch=}_WA=hsYE~cECAQ) zkBYw1AL|moAMou2Bu^i|ASndk?Fnd8xK^{cwuR6rXN1~OeU?mRNxh&&sy}@^_ssi|G2iQ_<0e5?5v^HNKi}5fy&K0*fD4x+_ z&xtZv_Bml|=0~T;GlO(X4oUQq45*xppZG^zXsV(-!yA_h_;vz#iAGmALBRw7Wv^QS zH#yn6+g zDcr(8m8nKpX)vjRq~LR7;lw^RTwF=k%$X)s1(=Hg>kh) z|6V@lbdl&w<7!#r_XBFL8B@eZQV77SKTW|TU^Xo%1mJE@Q`i0(c+BvNwZE|k7&Bv> ztV01a@OA^ZR~s=|Af8)=bpfycB;5mbZlJaz&CL;j`=@l%^|V4STJ>Nlg;}?zc$$r! z`{2ASLWC0?1IL_74gDy=-lxDr%-FwwJHB(MU7!RB0Q8w-LZXQi78WR{U_0Pu2e{n; z_UgW5QuL_N(1N?hr-OJYoOY?g4&2Btj}5nWHbIHu%e-u|v(aJWEF0i>oEJ#J*9K-6 z597e4BL}Uw6St~+TTbp=3SM?;P&Qc~WQ`cBvAkFk6p8sxm8|LvSVtx-sC=yT|J8Ob zJ(lIjVcz$zuz95-yduafYm@va+&E;d~L~`L$<=1!IK2eR~{fCJ?^EV~u=J6^1 zsGl%D#~((m3-cY+9yK z?)-Q9IF(@czysvKzqcR?+2YGLe`6y%O(bAumK{|ki`SK+uw<3!Tlw~)%PYD+$*gq=_iMu?omK3(C@<56m6<=C zRih(OU5twERd+)4d60EgJHd^`^IhuQj=@c$V)rB5*p`;iYhNvF`5s4f_5EhRN2{7k z2F%OFsvbb!T-8K3mcpufRhLrU=W*zn8K_#Ef*wHN_M#}VZ*ChHI=9^CZNm^d<=vuT zl4#nbG@0q?Z)Ed0xEob>;@#T?^n}@uWqzZV>0*wzl(5V5z$T#QFEYFc$##rkGtseG zVuekFp%I!WKV$gJgj5D41>vqmF^c3*s|lTaoYT)OmPpzqym7?$xa?^&M;wL8ebPA+ zme~n|KN1)7iZH}j%AxKE$3ynZrGC=1n>%J$Tn?JBC^CfNp$ zq4n3!rh&xZGnOhcM*?DJHx14$E2$L@e6vO#-Qz)J&Ml_W4GWoed3VM-H>K2HU) zcr#_&5R0a+Qj!Hh`N7@9Cb%<}yWCm4BFjX4?=xYSO!Bq_Yd6B*D1Zx2c)W?pNHH*s zSu{HL-Y*STev0GjS!>&Zn>_JV;{tm5Mw9n$(XQGrHe#0*HFn`P0IpUM3%UYsPuB~W ziyyC2MHU}D{9|YN;XB1s*-r5Nu=Ye~HK2xdKkX5+-H?+-?-4u-gtkYB$w53yMX%qe z|1O6!IWvFoiO8H4k$NB%r#V0PLW!5VvXU><{(*MwExr$Bz9NeFMs2@KH_A?4e;>Y1 zCV^udhWS!|_gJw*-#5CMa`CBXgx2#05@Wn9gUb7{1AM7~cm)A9K-+nZ!-Ccnl#(LH zuA*@1CI+I`@~bKs5m_e zl46B&p*~Zb2?rG|T|-Q%Gf`6*JYvqcpeTu>7QNy&f)vlQqz1qzBvp!Q9;K_3q#PAh zc#Y_iY9Lv7_*f59p)}r;!&r_1`5a3^%KQmqB{I;ZFT8mj4gVT;EN)q1_2&+FuK?*z zasQtw(|A zQ3PI`Ic7lOwVfSD0mL*X21&J{0JT?%6sLL7c*Ztgj9iWw*A$zRmn}w-EGd}~ z6?bU3fk=v^zBn+>4XhuH|a5s+%YlMkZSNqJH)UmJSl-L|8b^tG+S ze5Al)&gZ$H zK$i91yUiw=|OW~IG@x*qsW*NPE$}_4&!tl^Z>XAy|q3HwrEE&)%ut# zz{p`mRPN%_i5cjrGp_q2tD8$IJqip1F;z5$a~x@{rYMY}*05p9Kv~E9kb!L`@F?*i2kcn;x52zJlvZ^x`-@Du{PBnNOO(Y=5Eba-W!f z!~h2uzF)0sYF^-cp!VJFX6EqnlLMD7x7W=^L6>$(chJzUkKo>91<8Km`tR@8@5G~) z5c-*btX_tLx1z94CQRr(y7X-Ggvh069`K4g4FM2J&p^ z`2({lmHNCw(XksKloabn2fQ?ZFIALFrRYd8`<2<0ivL+W%-ImT`oo5lqY6joHh@Zn zgLIis70@W0?2O)P3Q~iTXIW8D73XAMpD9F%J4)#&ip&k&VHAZNtVpSy)kiajM^hlC z<0KpD^764DCO)TYhunH%z9l!NW?G|Ogsl$Yp+UeuC1-gtLU2(Ynn zvX(A|>9{!#yfbJzg3tx=mcodUo_f6 z?y|Y$eC|J3z$@1+S_~p)pWOC?&G61qmKYD%4bUifjLWB{Ac}@>pa5B{@a(MaoG4LG z8Gy~GSjiSwmzj`KU>U#5neefJH;#^H$Yj*~q!6*q=)O?)5&}=Gzasr-9aGRfNgZ=T zZvf9_9(z&+yflC<89u~RlzqjWJLOYwW$7nQZ8z?%8~_EpCT!6BN$}5IdgH%QKJI$Z zC1L5vzqcSNh7#>s=p^Axew>3AEzt;5;$lY6LBj=m*_k$kB!W4IRnf*IrwQ40^6*jC zflCEfj=;s3tAc4GvIHk#{>=Qzp_GckuKZU!V?m@?v_D4Xj|RG~rJhG^G@!knj%qwo zy7CzBJ+El{!GLvCf;C4m!*BGmmpYyz*&2`jd(+=1#do42z_E}l^&Rlo0U9e#%zQk> zN)%Z!d1nflp;^oqO(FB&yAT%?IZ#ef_euep`jz>D4~uGpEMc;>Y6@pLKMfS>JJoM- z#&YR@^ITxm?|5Z-ku68Q49{pWaIY+Oyr{Kmq2B>7AKOVZxh#D<)M6vwzp7e#G9qYjw| zIgb2$3mIot&e2swRj9e-?LW0pGl}YxrZA$OPNHyTX)C}-(}luOLH3x%bQwV3oG#o% z$8s61rVEQM84e}W$nd%1sz49G;Qx7=VY+NIIJkk(^VmOGlQq_qnA{8gmTN)Nr_ox2 zgP1uo*pYc16%p@*k*iU;NOIN1_repOcS=P;@lc{WhEMS0)z@AukkdmvOZtvm=i}4* z^JkFY#{Yj)tljVa-G28s=keXYIj-mBJHBylAe~jG<}2HB(v}?s|ATTf|Ac$}dB+&u zjE?E&m-_QD|L~0Wb^iJO^OE+>;*RQ``@Cwf0t237&OEm=1Aidc-sh_>;;)g&jk}jU z*)Dm2)3~DDIQ0$tH?;>-AHfz;J|XA(l0)JD3G#&Xeqkk^OvS#xv8wE5;vZ~Dp?taP zfgsCNta(xB6(b_$>vf~Ry{uz7do{*i>hI*^<*VGkSNw1s2m9judoHz-!px@x7#tek z$jM7MIfZ|ga$Hv9%dpZ4pB&ctUteBKa*;YB(^j9SrWg>7Bu4<>UGKXH{){z!?AqEcP9_q zx?M+%nH=@%?_bw^WUZ3BqiVgGtgmyRSG{4e8!J?-3b8@Vb){4g@WgNpp-OoE{Vj-D zET)C$iT|vd!%)Ab(!Vy&Gi3Msz14P)205+EMldP{65-2M%M)Y6d&D*4{ zhq?v)B-^Ajjakdovp~K^mrJ2KM-uP)`)h@e+efSwH&ftR;zg0_-@_GwRDb_cf5$oK z$O@lY5hm&19S+9cDL(V>x0sr=pT$&fl>Jb!_r#z2jLMJX_C{sC`BS4m*DeI5)R$$C zuQ;WX1wfH&TvIBbQV{DH&#WorpCsbZ6b`Q$YSzsZu4K3N9q`xz8mk<+GtjKKV6kCA zLAqs<+G>jIQ>jiqQv`oq)+q{-z>xM_QOM^E)UaxR7X`q@nL}2NCu!4^^JKxsOP6xR zH}<_i3kZ|?47%w=vjwa zRwu;)t(MdP_=Kbk`OZqwQY9%<(kz-qXZaF5!D;}W98?*dM`6+D-s;ZIfL#Tr37OXs zk}c~JP7@+2myKD~a9SdMp2K6uVavJ-$x=Os`m>5+20V6v*FDYaVhGRD8jCqC5kJpC z3*qLlWvzuUQ_KJ@gd4CDLIeFcf+@aPl)*GzJr0)6>sjf^2Xp2t>%AC*yUb+;*UPTu zQo|h@mc5ot%DQ3fV7!u4!yWLMwHrWp%e5Oyrj*6nO_Z6Yn(wqx7y=Q_u%f`68g=#8 zYYXi~IqTYGafCY$+X|sh&Y^g*333`w$7sv)w`$84bf?kVnePe8>rIUHL|Ct0e0heK zqXZR6Zw7S?nsJ4k*fga~bnBww>i1$<0$E++g{QG>0FtZ>JR3)wC}}k`CZ|g8JE8oY z^am4Rxf3&(F+*3*S~j)7llLxBi+mH}|DGzM=&-PLmMgX8j!Fp^+FNfkgUsm2xIV*_s-#S*8sRR=s8Ku#)2e+S&d zWuw`C2O~2$hdj?R0Af>7J8eVQ7s^Da0PRU&Ttj#w9C1lsS9&F^<#bD-#4(0q7IVJc1dxOZmmZD#@sy7{7HE8sU9z?&oAc&x)J zm7HF_fh#NGBq8Qq_36Tuk6QMD+92D+qiTplHg*$q|MB`g&S79*FM;;D=uQ4d$!~Qz z>Z~yCZx@dK?fem}^Hv={M*WvG`k?;?sMwsc-{e{UrMHCJ9^1-IUw=Pw0pYc}0lrp1 z3`O;wKGvyo&?=o6WvjxAxJG)6czVeqbGxZ4eGhIfvl zQ}B^hfJk`Vxu8hgz_FrdaVS8eaO5>h3Q!U~#l^HSV{Cy|6SAEc=eC4Y zio(@Zbw!p|vWxjva#G|$Kr=_jAto<4hU0MMI&B6-A~3wyP07;Aeq1cv>K~mjTWL8a zO^7q&apv9ESMbWw5|B-xrUs-ayV`<6Y?&YL8if;^dLC{V9o2!}caAZIJdU9P z3^gLhrW%0vJ0GWSy#iDUi;GKKwBd6oHBZ%W#8}MMZNHVQIwFt{%_AQOJK`eZU@M`WX>aGYrKf+AdgXASV$Mk42Mf9-6~BWa|R$5V8E#WLU!4$blH1?gDaA{6{fv>t}0hs1w7jt>?Wi z@2X}MT<-hM@;NTtZbJej@FUFn5kST_;85Zu)syr%Jj|+4riokKr7G| zaL7NiZdOuf`QxzP zlRA~G(R8&AOAcVX#(sZNTHU3%e`x_5cUZE9RO~^}s?iVR<7Fy23hLgt-`&M7FQ824 za0WeIiayFwTT7^He$-i>zu64fnAHWbz)dVo2qFG!s}D$bo*?SjxVVgOFJ7J}nZi!W{Q+Kv`?(S~E-QC?C0>NE_CqQs_cLHH<-ka~u{FwRItGjyjs@2`6PVK$V*>V{gGSK_GDqweZ7ThQY0z(iNxDtlwDn2MSM>}Yox0A8>` zr02}c!Ex8l`aXeSvBIsl&KQ@ ziM-;-9Zn8sOyxxgJR!o}n9y{~Dt4mEHo0*o*7m=BJIY>U z8s2yAl#)=4MAdTS_LmsP2PR?csQRKf>J2W`^hosf;297_2sJG$Rc!zY+C~gYx_Wc8 zT`C{TY@T>pbg(`xcDbeoS{D|?pj6vaf6sEHn8xN_cZ|{R?Uj?m0`4g5AcdV(MRhNZP`jLK1-IYN#ThU-~z?_i4bE^YP zj?#EoUzNlJjoC&X{XD9wZUcwjWGGBkw&K3Zf305W5uRUx%AROQ+1&4gRbm+so4uT7 zRZ#k1XTpg7|4HM5r1`x=!%hoNRYABd&CuyBe~*dwg$(aKa&FuD)PRlj*cmqk{J2vZ zVC2qMUU{5a*k&;csw?OlN!uLfb`O-)2tix=z|e4=8uY~br($=K7a1qkIY4R>9hKXW zK~%QKSQRI}_hFS{$r`D|;+i-is^iiS z^u&SDtA;M_sXqsvs=<>0MPT8dd~~4&f284ASFdv(J8f>(gJfUZFRaj?`TNiE58bJL zqq%KC-P{qiqD#oPLs^kc1K5R;cC?@Bz6haio8P4 zi|NpX#B24DY#oY8dv_|w@ZptKc4Ii3PKpIke3xNhRVOv-eA8Rwc!W`-R)GCXEqWLu zJKZ7=v42OG18+J3>{fx8iYbH($R#|lwSzReP3W3fK2w^fxA*j?lpOW-VcJ%|e|Jwh zhQOVUFgRmnn)}8)fOPKoH=vLG+y7a@&i=H#z6S(4^z~^dJiL1cz4=Aiha)#kvp#4Z zZW?!^nrn9ORQ%0+11-TAy-X6R2D0XN^+4G}E`y{5wu5pAbEAcBH{~lNt{SE(mL|!5 zR%u!cR5nbf^-3`jXFCR(D@X>KJD3^LZ3mb;1j#5HW^sa#G-^-jTZ&oKsCHvt#0I(m zr^bnOxW*qdaWaAIzK)qhXR$4^Ishqg-Yc}r6-YTCm zh_tjw4G*UZU}c>f9a;J}dJv|5ft@x`R8?oHKc!<#tA zalPoQi~8ud5R9fhW@J zr{*aJs4`j!myl``J>|3at9&2LwLzz3s6bD35CuECSpp>k!CW{kT${Z*A*eVL{3(J$ z{B)EOIf7U$#W8@V9nW~poD7)NMA$tUf4!S;Qy0WNUPCH{0cW%g%c>7g84p)|%|D;c zo;>V1KMWe`POlo$RJ(Fd6LVmDa%153htJ($3(~Pk|ES0tKti?6D3p|vb)^zjG_hMm zXU5R>)m@yLbKT433#Sj-yaW6fS< z@B*br!Er%vAK9wV^*hmL+AHq->NhKpxnxUhzNq@0PqP3vg#%2B`Xqa+)PlPp_DqIP z86$pGnKfZxHPQFeG5=EXBs+kSJq~Mk;Rej~J(e!(`*g&)6#&ePm`jm(EQ2~NGlEfz z_5fBwJg7KX{A7Z$M8pz<;!^NO&ECC$!^oU)ucaw-bdgb2h0rU!zgbd?dMc!CTLcvA zk4O;kJ*|MhfIuezVs;vLmdXKAbZWw$9tYFj(V)rjjb zLCuR3Gq;S1=E08i9Db=;V*e^=b2MHU7&cu*L}o9}1P}V(I&+Eq(Xb-_c32^(QssNKsj;SNcxsWAdW*9ARjo9Qh&RYSbHRO-2S5{(*=~{xVyp@_p zMuItXE+%RNV#_oPPnb}5&I}_ERugY^pd@zIn;NM1+rm+uwtM|lN7j%DsjfHqD;Dze zsGhEW4NX(-yl#&`AgtGJi7~%hFI+rkjH4#_uv$)*JeweOj z91?90f&<<_PvL7xI^LEGp1=Z}Mlt_6l)q&|U1Q(NAA6Mc|Fc%rq*Vs=)eS%Xu{}_$ z8-~2SqiV-zGs_j!3tT@Z{`{GnIrb0Aop&Wt|71Kc@}bD(@)5BWM(=K$D0DOhMb$pV zqQi~d%1s7ySGen$oZwGR-}04yV4(KLUwU2tz5vHNBb&5tESY)PE_8d_XQgqYZ#8v|zjKXD8^MDXW zx|wmY0bIOdiNeUlO{qm3`Tahxl&?s1PnMs}pjYI)g~ebC#$-sDRU|bfp%AX<6l*#K z7Vq*9Fyq{-eD7DISry( z&rk!L8tx{nUxKgI0+#Wc;+i<)5_J1Byt^jIYJxjVrccDhxrmYLs-d9$q@5}(>VhK3WjgrzTorTs3WJ)widyotuaVPVv5b#HOTO4?POiEVa})yF~_Io@dCSYsN>5%$K}ql-q1@X*Xc3+#U)xM zz2Y#QI1T+xgwU|=h6_s1)<+VVcm9R^^~#!b`Pv*RIK&1``}5dbCo{H_%I|(FUai&E z4GbK>vg<_%xd|;=vadZw(jwgx(1tQ?DM|Ph)Cy13Ye#*7Ab`+zG@%1Auh-mZdG-o( zJSg8x<8asT7R@|ZTXng&%TvOmbZm-4m2NiY6kPA&NBm5!f%l+R zarx0Ldez3K*aaiRWh75?WX~LEy@{bax$NkE(i5`y#r}7dJjBaBHt|ueRLAx&t7}?e z4A|4-(K-$2Lb=S8i?_aYh{=5%EC&ZK*mDrx$Y=bd9wH(?18)|END#z9v*6;>v|VJr*PWLkB=Jk?1gQu7W3~=b`AT=#m}^ZcPFS9eJH&cj{;$+X z2J9IBBFP2pC(gAOC+P`RgIIDphR6l1ns4TEopQfN_hkBI1quy=`Aq86f7zd3u~8dXN7TMS3*-`E2%_)>O@) znAhwCOt)((pqNOQaQgsOYn>hwP)|v;MK`cJNioRXzViz$u&f1b`en55aUB1a&07G# zy1nlNXlF~jNH>CzKUV#ITBOKU8JenmW5P;5XtjS0uo(PB{vbmOEQgLj;TGX zLMp0G(YC-9BMNRqLnSdMhDT6j>daRIced}90;D#C)13@(hHNLYKk<(CQR;xp3|535 zH|9;EGhzL$WN`3Qa*%cf!Yw&?V9xbvW#)fA^qV3)o5;JG8_hsON3XxM*%Yh4Lv1O% zUi!p?1JI)+9+EpFmlETjdhEf1q?$W-w!u)E%NW${LYsMqb1zzgn_Vz?40zi%6TUk` zi*G>-t6cI-qd-0@O{uYjBrSgA*pu_(m@^*`LRlmtn494*863-FkNvsw@Q_+) zX|ov?Zy*kw8pPUNUmf2}^wX>jPL5TWpK!7(UidBdk1G)5asjY3L09*BhHhHYGNeIm z^st{*nxcAF!s9tTx}#DWy#GM07>DW9WU zw692$)OcWhuVpcTSNyv#<{G#gTAiR3+deb$>sRXa`j($T)8+W1o#SR{O~3 zT$5+HV)h8FOsgR8x5Gj!@ypu!vGH~hEzRb_gs4P16UZD!KcRZ`N$u_}C*=>yzWGqI zqv)fXcNcja?jSR}+%CkRrzIAw?-EjzNaWi9M^V7XG-BCZaasZh%AFeZq^aDnu7+c3Jd+G~5V$i-;N zy^g^<=Q%C&d0OjveeLy9)1LrjB263lB!8w;>vE$8+Q}*?1G@eR7EoLU&va`~0xYg4 z`V11cgMbSZ`EeR2ANMqWUQEO#9fIvdeg)7g%!H)iyNyhC48TXzHPt%hl#Ej&p*JK) z`WAb%UXXxRxnGe}Z<4SK#8GSEn%6`VT+ZhnwW=_Ir7`;*;~r0AI57_gde>dvr4i*uBH zf`5q;!?#PAfZ^6x#KnHvWQD}9AAaxuXnWY)|0=nGasRuw1gh5#!VB+4Yx@ZQrUs$? z{q<*Vz$S*?Q>%MyX*Ez2-c^*{$XB0_%&^7QUH>(fmhXayA}!)<;U5qI`qzc;4Ac}{ zoapg?Lw7XR0{R*C|37>(WbuHjo@VP4tt7q8w<{biibkG5m;POUT`nOT&hg z30Jbg7kjmt3Hm90pXVrPBIMZOk2g~uK7vHbi&rLca@k=rkarGx??;K%+O%qK$s)pQ zR^UbDwS-+0pn{E9t)sP0D+$3OoDi&<&!Uu_aF4U#M0O~;9 zt@>2q@i?NRFp?Twy7rY9nv3QxBsvCy8y3q|A&H9Yc0JFf6TkTq^_MD0p|9{-t$3XH z`nNUtGCx>EYR6LXcSaBA$fzwdwy0l!VPQKBBjL(1fU{X5Mb-Z1=djWtr{%n2j*N-g zh7H_$oeD?(nL2TzmCOYv@9}fXxAz5zV$zsUyL5^cEToKB)+!0g_F^nt4=I=D1e7jF z&{+NYYOB@=6hOK|mDv^L`Ie*{{@%4nhT|V;&yrx>UWRK;(o!UG2{Z|hP+xxT$ z6K(s>f7Vf|8YF)6k>p;|+}uY9Jm}#=c-EL% zburm{!DezH9TIU~=`6;@aWffMc1{C7;?``EHydpZdqOhQT_Dx=D;Nj1ou}K@T2VO) z>9WdS&N!Nn(p2>AQ5GdnPrV&vA#rqv7$)$qSL=-bs@dBr_0;JO$<4QigC~K)F1}cF z*N-i1z2OKhq(Z{p{36ueQx1LQsvsAtxxCL4Cs1=dz4tzz;TZB-w(eH13WnDi(gBjK zM~gore)Ru%Ox~(5jeYoAVkz8O~4-OP|$AZC4i-hk+rdF-v2 zVlB8q_ECw*98uO^79tkr-dvmLuUS%u=Bvl4?Ch3+dcqNOjO9KEr?x`hTJ z>8CGcTc}=D5Fp)WhGMT>WhUokO;;*e-O-P4I~oFNk&y$0&q8!TUg9-NqR0DiN-Th_VilOZou(#iay(1xrv^5g!W9G5yn@NXTx;swn;MvhU zDwacCkhu>AyvY6R{+ViVI&VL#KxTcyw8EVX%{Ko5M6aTd+1L)((j>vimlOnMZe$A4 z39nRyK}hX~>i$rGU<>d6TZ4eF&&s&G6}`ueoy}p)V%Gj`4TmC1Y{lPlP^!7b)S(Hh zTaa3odJS_@8c?h4)yL<23b3*kFQ_!OJ|0KX(_SImSCB$$RLp`^F?c_7;U+}QPlp`)2Z z+?QkB*Iygcabh3|uf1~&@MUbO<|%V&<=4+gPQRyTHZt9K{Hd`FnqjSw<&0I2jQ>zb z_07AdKX--sRB8K7;k-5$yX(dNP}Wt9W&8``v}9^vH*gtv_An^$VZR7G@%`Qfr+Pmi zT3X}Bz%N{0^l?T1+rJW!dWp~{t19y(l+0FD$IR<~>$>;cxR_}dUkGs*rns|nRpz(s z_Cdjp3*c0?enpqqsiK%!_*5^|HeVWBDS<8Nsxg5Sz2KoIH-%L%VTSDUt**`qX~phs;8U6k?cmi{3+qG-(SpC7%LEvMbV{FhN>3RVz43aCl-v@V;G? z*HAUb`FzsAYQJd3tZ!e8)eVT`)0asYFyU{5J5eX}dCyznPjWgBV%FTFNxGs$^eLwu zsD%Sd>cY+&Lfxzp70Dn`6S1!!Y`W1JQA0R%B-;C8j-X29Cdfku0?W*HX1@x|lD!|z zk`Baud`Kv@yj*T=cz(PWd>j~lMDOjbZS}lA2EHFu82-Io3w%2v33w3_df(d$c-dh7 zcw1cF`uolB?;CU9$K4;tkFke4@X&<7mot)&or=Doj;^2X+$G6UhoyW( z_S`K39jwp(l6HD>D{Z!Di$dJ&oF6wm-YW?cpEdnCLe`r6td3Wf&$eQG<#s+r)i!~% zqv;M#!%^uRw0gVms_7xhM%&-a&y$S&!z?(Oh0A^d%DYjHqNXQhR;E|^heA4a(IcVu zxQ1QHPx9FL!eq~6+^$-l@>#QCT$N5!c?;BLd|oQLA^MaR#XN>X0Dsna&ojfc+4^)6 zwYdP7OhXio3TAp9D5@vRGmo-NCdaKl(h^ zN|^iP#FVDH4xR#xP5+E-(|Onn%Zc5Ja#4@So!&tWWiBOQ{RD>VTbHykvcGY}O;6G^ zX{TVAOLY#?u<)T>fK)w8B$A2MFb>VLg#qG!}WY22FHbb!=A2+7` zs%ZwUfmrUMVh^pLl9wpc-7Wn^4n&|=ic&PIUzvTBvREZJNRifcffc8|%WFm?WTT(r zN?hmoN9Zr&Ug|~1#suO|LsQZ8QgU0N&eX> z$)-<;3oJwx*2xonSI}S?gDi*aH6XSzwS^YO$9(m}|A7?C_iVry;`CK**W2uHsySzo z?tI=;n@lhPyzyVIMaS-X53mfg>g#*FR1FTUPU}I)pYyi)vk*t(?H_ zwMO_?1#;qWkXxH0&JWre+5ZWKOySoI zbw~d_;y=_HH6jd{=z*js<4}4CY(H3S0~Dyp45sQx0IRjFr4mG|Bia=_o~*Z%dyk!B z4uqQn9T9V?jIDVs+3CY*g!Kzu_$bvHGe6RYI8xrX6$kOh0~j&fXk)u4JY zC0bvRV7Og;1PLxx4d9p21VNHfFJCzlDF%9#DxVEg#IRkCmA;PLRaZy3_{ja~pP?p0X?M3E zbvolx9SgQ>7K>=NvJE0tFhriDcIKqx)hy(qaxu8}YzSDV9hZyD$(l0q2raN6u+`gWF>NYoj>#` zv$TFY&U9OZ@2qX~!uy8vO4TFdOR3SA+ zH>@6=L`u(|2<~AdwCqH$SMo|xawlA|qRFlnTlVY07AK+ZDVXxqgMrkt-Ya&rrrd6& z_FPMH$e%Mt5xU~(uamdgj(Wvz~hgDP(NE1=o%`}1JO9mp2%kAr%lGgESb(s9W| zgy~|F{+VpE$tV0`?Vl{HL~OKGe;P|>N>NXGa9~9z8Fx+vQiF6gExj~{D{}WE>bat( zre(^f>vVV5mdG-Gdz5*!VUj#F7R#4BXOE($-y>8jQl;{LR)|aP*mTM?P8B^(r1I-> zk@`i+FRvsES+g_TAo(B@%Tq1QOdF!by=UeK0IIrqHu)hJT>$!WBp0}-E)^6@#Faq& z=S?)R!EYm{zAkmXF3lJ8@RGeMbVfH{Pz-*7=%-0i;m(X|4Rng{q(pFWAx@&u#%vI; zLr>uR=e~`jizP6b$q2GsJ!GdSOtfdbdiu5;)ZAZ$8wK(=bhhyDiL-sVFZ+tSDWK|Q zc?ioXDIPiW4Y$UuM=Qe9LYxOW-8by6BZKN-mUA77AB-oJ$9{5rv(-pemf(U*&^H95 z1_~}sNuLdrbDPOKIIY0&fRZ-8L)7y=V&eYYYAqxVvv!IbA>te@(cj%K&?3$QEj~m8 zR3?TvfK)U5E?rjNuG$8!+#$!Ib==VgE)mOW(W(B_hutF{sWi^m-*jRjLmntK3 z>6!akgDTvUj071`)Ms0^h?=o`#zD;3L95gLMVVG=sw?@IG9HItMTLiY90?G|C7TBB zEvY=%5^ZJN)#XmL&i%xLXHf`m*40UzcRhP*y6)Dsiy35CM&^D>LMJua%sY*KieVMSt8lvzAg{mTDQ%gS1wU z0NmIvh>)TEAWoONKY2kOSzYKl(7wk~$X(CcbI$fpJmNEWW0_kJHAyv#WfEh^L@Qq) zbkOU)R$(}Hctq?mi=xtho*ZH?H~wVJ zE_=6R%{^?YV|bL$294YO&Jjc!ZaZlaejC5nzQ4!AKKu0R&jrm%div-aeyd(h+07fV zU|gUtzMb!bExy0$z0I=ng8Ktn_cEW$!4g2E9wE-Y(PrYUIVI@DgRMTwRibGtOy zbyWSTGLPcfhz6A)7GTx!7`f=sNt5d_B@W2sX(?zXGHIHZ^4A?79cbK z0uwd_k7@=## zH+vTaJ(8M_0+qfYR20z*bK?}CgrMmLXI(jKmEnb3O(eM3!GEt6oOdrOG8{DwkUim< zMAA2Xop;a%mRT&1B^3PoadA)5VAK&Ev6YI+gfly97JA&!Bv=^x%aYOGPIBO6i% zOHr~Tbyn1FYCO>nvf~rkFw0CxdnLiJ=ht>IgdPD+yvlr$xhJ0zbTI?H{w$>QQh*qZk7Jt{^mwh|Pq)mw(6n z9McwgnjGK{$lQ+d-;YJ z8*P9sTW84Np%vX}mSRXq6GAYP3@k48Xj5764ByP4tMTJadf0M|inMt$VL_+ebPa$b?3ORK!~i;K*Gk_HsGt4-WxTzC-sObi$>i$p#Sn z$EFF!;}0sxi7Qh8+YOY-J3Su;SgJ8*QI?N?lmeW(>$XY>WNIl{RuI(iUEzAn>mb1# z?VP+s3mrDR6Lo&XSLfuL+tu-+ed_CoeEE<=FOd~Y0!8PwN(AuP_#t(~5AQ@M$^i+)`%-^B-*R?(MC)CCS z734El)9>WG?y01jkHllv+04FK-82Pz#s{BNmzl&WUBxlfF6ZFs)t(<|y4VwL+W{Qw?oSI98o)_o zg#eaM?v`0qdGH<&um8ri%T-nimwSr=G3COWIdo?OT4Km=}IJSGFmTi zc4^C0Vrk3qusM_%s3mm~UsxsRW2VWh&nJ*kZD-7FFr|kWOBseo(ROBdxn-`2MbYpP zaJP#bG*AIAqhRxv1PD9V%^!CZC&NrF$@mGF#~j1tGve}C<0i`iz2GwCBgMV~y}Bn& z%vuu71thBhmS^N6%=rbzn~rV?S2Wpo5{`b|QkvhN1)c&|=08b2*F=u`(d*7lBsrIc zZ$h}l(-8Z^Ey2ocqMA8QDTG8+uxuk1h3aALZe@9`Bgzl;Jb4Q@@u2wr5Sj!P@@Vdn zh?^Hk>%-x$Pn)U}y*%Nl&8b+tC<{J>RIQfNuY+h zlp_p98xa25PF_h<$+K7Q@laA&j&eL?MhV4(jcb~W(?HJ?m;{QkXQTzsHydq2aNlA1 zg6cj;3FBf9ifHHr`w~V(NG>8ae-{_3YlS-6*0PHX(;%fG+zITdcp|!}f{ZmKi5dEl zTiLZ6BcydH{Yaf9-(F(4ChRrjNbRJkyqcR8*%rf~vk*)qP?Z$!+f5Vv+^-fMqk;jM3~gDmdXDs=sTwhh-+;3-;_a# zyx2i)XPPY|yds+5)XgCGVbnA!32R%VIJ8mDQoUb-P-h&YChKw>#ZAtVnG`Wp5J(S8 zDWCqu`;)1g`v)-ocoRzyF>GT$4qWsR3?LVRxP46LnJ53Va(HcTfxI2mlQ7^w-oo5KoAzgiU*x%CGCSbo!W($0F5Et~1 zD}{XbW3}RDj!|WpLfax<(1i+R`##_BPTyOmg7o`-3taD`xJ&C5kcA-Tc%-7LuB=tx ztJnY>=ZQrMExt~Tii#O6q4=%)l&-T#UH4r!YsY1lPt}Pwew7~4WLl2*r#yfS!3;QA zB&{5o%_mBv_3k&J0U7@GwKw&1`U{VgoWeFyxns+xPpkC@NS>q2g#EgOMR&fdx5@l9 zIK-AR2iLzd{}l`UsAD0LC>in~S;TSap-N|WFK?jqlf2oDI-t~=_vZ3=!qg$ZUOj-g zpT3-e?Lx+c@P?DVScGUmp)}M&J+XvSw>T*s+$qXRI;mN|m;q!>UAfUkClAI#IkJZh zWOl6M(jZ!zn^4vO0oyp{AJntO-Kgo^2@j4Gqa^cHrv}F3qIj_q1(+DH^$c-ZD#fgH zGe3X0WB~J6^E#B3^43})X930KZ0~A-f%R{2>|u85!;RL_L_nWyK-i9tkPCS}t=Z}> zwjD=Utt$zOjwRwMwBqI|!S)%|{$Jwk6*1^YRIGH{Pw&AiIaOS2euZCkC$6%XI@`tQ z)*~;ijIZr#_$Lh!xa5Ra?{o&MmJ@yl^a-1=OlSciHNF^n1ZnTf zpf|W~s>;SE+lAA&?Iz0ga;#3*XZ7{xTlV^-Eto$bR>^KE&X6E=dF$&fpLTAG-6_(`iT`OJ{+l z610O?Gx^IPu)2%7#Lu$e2h9ZHE(Q`Gg3qknA~VQ`h32p85(|$l`KtdeT+p58N7cU4r~z{ z_zA3JGQ9ae-R${$d|tmFeZBSFx!Z4czrF}{y$Gpv=Zd`ET}{1gJxv+jY<2tkJ@1)W zbZ4%_cV~tlb^E-mMQ<5o^KU%eyl`H-G_uSXxp}R|e)Z@lo_|n7Cx3*{7`R6<1JjE@^kJE#ZYZ+=#|k z&QlbUp@PP)xYuTsD-yx4cPO&2HT!N2ojZnxhqT)3E9E73djp@>>+7MRw2$Ur_3Z`L z0lq#ThXY5sTV3yaBvbw*BOh4%OeBIn&)I$5pRBB~{#Ijt@6TuUfRBr%wC)A)T|>Gy zL1x!i|oS##y zB-Woq*q=c>;Zu3whu)G?!%uhiY)4njFF08w#1@lFh!xdC9u-1TDuQ;q#y~?quRBp@ z-0y2cl^tf+@k}W8eqa1f&(UF0Dk&%^uhXd(Y7-0OA&I^(p99=4UnyeZ^Wz3=YUkE& z6Y@7V3-&@^kEPR}uWxrk27a$EI}>YPEKaqWP9hB3&RE#b&if7%4Z_Ih4_qkr$D^IE z7jw~$vvu+14nWeLQ2+Pm-M)5rl1-FTv+B8Hj%L*@W0#e)2JaOR4vC*H&*GV5xP_Sn zn!ndeJeSLFDdZ)~y7NjL62VxE*7m`6D~y+yF>Z`@n|U`2=EvrCNq2(aa3y<5|8@Ps zx|C-rdFf8*V2DqK$?s$b!ItPgd)X&vTMX{Tz)`z9bRXs)bOh^mjDBl}p1Jy(J>0xdaWe+3 zJp2}9eY+TY!$C=p3(1FFDu4NHc!JjR;3Z(_d{A+-^AYaObQ8V*+0rXC@iBMz)a~a% zwQO)TbT0meoc(ynX7Q2n@Nn0!F)BLO_t0lS9)@DLiEu~!x&C~jx7GPV?|nWMTReG> zl(ntN#KO?&>48+_LH<$yd?dLNebgPjIw-_5==XK~E^__)coW(L&$tv%Wko9F=h3HM zoN@3FY}r$%b@P-gT8`|?7Ue{u6lO3~`)ceAr6M-z0F;eHzP81SON z+~tQTGl){7nCt&`4R>0@x_tARPvQC1%w%uSk?Y6_w5Zb-c9Q^#(up%OWTSEF1?(c z9U+jXbQ`n&=J9*~2(FoYSOE_Pi$)R}Ugti0_Gq;as{D7nlTo z{hb?rP`Xh3aH|E4EHU06{Pr@srQ#~mkh}AlX#K5~gXsEVgU$WoHGwmmt!3rfxj6PQ zZmOnM(_wHC{}EO1b#w^D@x{^czJ-G=TW)_na!3lL@-H%hbsc`t+R}N=0sc7(9?u|8 z2bH%g?&xoCB!=%g{sx4<{f1udh94_F5Nd0tPhUk`Dr4L_9X|+NY-PSK#=>E&vKrg` zn5*XRU8HIXJQ=l*gtkckt-*nBC5CHEI56v)Iq}VEr&InNZwEm=9DKvoU(e6Cb0ulr zjfRZedR*XJ4w+ZaS5Ob`S$CZuLq};S>|-Cz2#fyK4hyecA4AnlwLadSw^#mpm^UTR zI&*&v{rjw;<3ztMf?jfYEvm=;{hwcVH>z{brVs`-kxT2?bkpw*nV#QE=X#4#ul(Px zu91a&PrLP*zv4*mUgJ%}@85aqK5~*Cj|{uIKCgFdKRkOLGs9-yj;;(83y-}gXL?Qt z!kMl}R+(^OzUBet+4rXheSMiQ4bV+^xM}_dn0G{MD{KBf&svK^|BZCX!&jk+#D9T5 zhlnvL{R&^oepAT7u=KOz?=r`xVfAuatHF|9`Rnb8`=__cc`iO)qd<3uXFw&tzn-4v zs~UM>y)Te*!N1eU{{impF5J+d>-GJ0BA!_vhp7@)#_n+J^GQFN2PoCMpR&64?D(^WG(d)~7&kA`?zv%^ zW1oDfUvt1#xvnkeE6sIepQkq$7^SzXEV1vOxlmu-_ilUb)j?k=nj2|L6S*zg-y;3- zBEMGYx~7g&L%UB?uRKGwuD{~+1Db?xp}KuvP4{1k_R1Az4M!0Lm_KrQ7Oskg-aR~J zbcGx%x1mZJs!_sMyq_K?GINFeU!H5%op%jm$2ji#$KwC3NddP*@%DxfLZgi#H;G^F zF{zrlex~N}BslWbcx1Aj-gl1$1qWgJX~1=F!!6?sAs)7`Goq*B?rT#KXAR*M0szpQj(0Tbmu!KUVmum4)8Zp6r#6QNA8>Kj-Ybd!)KF zh2H%?mi!GnYQo=0KJoloWcKX<4;IFPaX$nOM+=a3+Z>}S)v7kAF8Je%VcGAj+28r z^ccR==x~)pt7~g{u~E!cok&_FMaL7`6+k3Sx}$6^h^lZFd2D%g>H`RE8=FMVd{ffDoBDy^$3oSumDkfT+WiU48U|va9$^yrtBt|k$MGO)y!HOI_PTm%c zEPPreD~l|AuIZph0>Ba}q=%mhW&cldnA+@Knpb*{@wuzBGgVvGE1qLAVmtuB+9GpHPWD^r#88z zp^*U_V3E}ZV|MVgJy|T(kSxhki%9I%IRhp#gp+BZ0Fx^qh3}u%`Rck=tY-^(T)xva z&F2?)b|byg(JkF%2hUxIvf+U5%rZ}Gmw-|06R-j7xB$lKkYje~{Kc``I7PD8*YPPjYB#jqNqy0b9eM|H3 zeP`lN2rh`RME*SG6&c6~9BWg2zJorMdaTF%l`uN=Obntx_?Gf- zZJ2OdyvGa34jQlOuk>`j_`{cbJrWAU7bJgB6E&yzBX+LhdH3HC!KB>gBK?vfFCsN4 z&tN#ySxtC{Wv7A>Vn4-)W-JRX5%UYLzxj~g(-@^g%iv=2+u?+v&xjV{8;kQL8lZ}j zwR-4a>`Xv!a(_?ByAoTYgIX7ZwNkGhc;KiThyf_(oZCPyUU{c3L7Uq%Rv82h7+MzPzWeW2}9#S z^BhoE3jc14|0g}FPNO!T#5}~C8vzXC6!hJ6mbX&~PH=gLk2gp1k8kxe@kRg(LsVcR z!m7eR`lw=`ZOtZ(NJ(u_STKRa2W@`wy-8xoUt&q4P4wPD?%ZsOkgdSL{pJwjF7I0n zbT0y|Z)=>;HL;v>y@1T9&DB)t%xGW{MZa0JU3SqbTz#RZjx>iD*Utpi&J_@yR0BZv zDDl`GkhiOSn%09D{$g_({vB%^?%CQ52ER{ardUJX zh$`9!$~4rhI$FzHhNS-@lMJLl)M~=o%SiFoeGEqMQt^KW2ENI zWQ6H*octoQ9oC8`lHlYFYi}>zaTDfVq(lOli$Vn{X;{ppXa$-0NvqO9=E?H^c%Jf0 z^*E!YFJ+sTd1S#R8^x=?Fg0ay?h{E0VLmq?=$xa)u$qcdN3MX}!6~g_sP%DGL>FzH zA+^>eJEY;pR6)0JQLM4kG~uGg$Oq6fAX)77+kD1*E2d}h;|O4N`YjRq4U7YYFH{wm z2M6*2l`I%fH^>h=v+}3~h1n%4?cc^@Q4c}JFSKw1K2+tmP5l6%hMS5BXlwF>C_leC zsS`b~tD4~W&mRn&n;EKBjzw}^ZEanjEDn-Wf0~Mk- z2}TC36xU0o+_H6!bNU&uiyH1K>3!uXranrv)z#lk@V$Adl6FCpl?o@~c;fs{hl)2z;u>QT zHENr#s2uch^N5se@nyUH${IOcxB!~lKt&0tbq-~x9?LWeq&9#K+jLeDC^R@;v@wg? zC^P9OqX7Vl@9Ea5Ll016*6*!1Qj~dPJV}7yhiNBx;U{#~C>ZLW$a52hP9Co{H5KEr zj=Vz4QAPZCi&TnVOAh2i1MRsv4VW!mpnu%nFBs>6gLTz#`vR0}& zmf0R;UTu`6n@;Vh;H|uvG6-Z@iQ|jb3b9}JCxAS@*3!H(4@&C^ek2HLN1vFccUEDm~_JDd$ zdyTWf!3fl_RWVG2hdjszQCmyHTx*3iR8|?$Ag+l2Mm@`8HIcakuz~B>_5tk@U~0aLlv>HeylyZc5}+GcKuMv1lob@=hT1`F5k#@d+<}Wb zaS=mcGXY@g(c?uzq0^D0%lP58OJi&F_yM__qz=cS=K3_uscarx@4imHDnJ&@#%zpu zxI&XHAbvzN!iA_sOX!MAKU~`ejg2s`7Tc98P%^rzd);>84`s;8m2i?!l@GSSTjDJvTTLgooUHAhdHM zY^o^FYq240WzVF6+_r#eS({t06!#`&uxZKd#_SFB5P+cxN$N{&#OxI(1*pPO8BvBn zzrMl7DH4$EKRd%CIcZxLscG3d?+jhQKy?$J{hVmjnq++ak*@fes}PE^Cl^RU`UBf@boz{6;fVk^^&j~?nCzlcBuL`gGh*) zg*Ow)tM}$^(`kyb{ZEI661N}o<9ZO%G~4PD&z5ElW=~AlyH6j9(DPwfVpvlfw^##N%LEcX282GSdq*c}X&!fqq&4pXH6p}-mr9j^?bDN;wySe>3O_0XEI~XO( zEMov{ZO1)WCuCd^fQ+m=J>UPp9~>)cxdyafAGrJ zc4!kfg=B@@7>nSthz3*q%Mb)o)voo_beoG7<0+({+;mwqZf~ny{H`~FnwzwjrGH@} z_%>CdqPu?IMdO=>^JNw5mi8VIILF7r%mKVc`*_ zARS~sXrN@TF<`WovBauAouq6s;JFMvp@tJ{9m{E=3@Z>(j94=YI*hE{Pk-rWvL`_4 zGoO(phh@laF}g^tv70nRw}!KX882J`c@2UD@R)2vvMlO*AQafk^GU2>l1glMJKG*V z&Rzs=P|ZO8u0B&8zc48T<5Nv$N+SVD-1LUhiM=MSIUhmbVX`zN6rn@cBcpOryWu=k zG|UA8)m{hy!#N2XO1kl%k@lt*@WBNf@gqOrk2y;!=xGoQby}c81K+Ssv9n3RQc^-m z2llD7wY5Gvj)nFtx$1slPMUyoL_@b(>TBChH9Enm{YFkqITFLWqNF3quP*Q9(PQJs zR|x~CYxFp&smVlvGDQR#sXa`Np*8H|NvFfrh*-@X&r#AWLzSg;j|-77+JnokzMlkL z1|UmG9K>xJlEf=RghRt`5LXf*BQbOT24^zWgl*4tmw{1FHSA7@ zAYUhUpqu{#knbIiECux9C(#6BS-&fW#9gTz1CR4*MJO+H&d9EUkD-kB?~N({E8}@A z#u;_w;;y9%3o&N7z2rH%&~DAL-M=VE$0_Ce#c}bC2P+CC9W_J|t8Os`=*V|D=Ofi!0cU>Og^D&4>vw=@q`5_p`?C)%~+m=oVW50sRJdHg( zU>zlsHr(jj9*g$odt!%J?;_T5)uIaIF*KRDI3JKRCYB?9ZU1@uvN@3$Etfd&tT^A#YEQN8hHC~LsFuo8T25I>0lTu`0n=Rlqv;#R#W!#)PE87V|G7c%-pM;)aKhnEO0ReW9 zoO;DfkTQrlv4S>+*@cgRdV8?F;jcAJe~fuf=aWN<>)P|~#?HDVyoJ5If%-E>d+iC} zIgm%E>jy#y;w4St4njy0$%48NiIjK}a@?C>{GlN$b9`^3u9 z>40(Z37Zd)jec&>7a?;OHMCwCI*>-omm8YT^RWk1<}dN#5RPGB(XF8xmuA%=z%zy= zCIJvFt01uh`oVDia6{%P6h*mDC078$7FeUZKruMUC{BpRn?Y-XSiSPb$q3qGn`|AY zN1f*aaF!LK0km@3c*v3Lap#=jEUyqmrM!wHnSCwf=R=zqsSP@ERr-CNDbAtFNVc9TBRo5JS;&JI+jobktpWZTo48iQQZzQFuoF+$ zycoH(8bNg*{C?s3hhXyFq^5Bx+P*)E!aCooIZJ#fu(CWkpCoJ)dqXcMdE)c3(&+0fXjlP1vC?Y+;Fyr5cVP8 zs#Dva(;}EtX!;KrKjCk@kh%Dfbr=8j^f#d%TFT@9;EioNCFf?#-l7IZw;Rp>-{L=x z$tDcH16dI=E$oVu%M1OM;Ss9)m+lEO2En8Q8Q?K!35XvD&kbg=Q)j%1VHR|mGugv^ zf)0X1wEX2kjl<4lnS0cS2;5s+4tfaC)CwC3+~W^N{<$5nn(CW^ zQH#Ie#5%Dg198`$|68rzM^wp)FK%kertr55S-iMU-{ns-V|r4@JtoZhaiq5XA!-Mq z3sA__wpEMbI@_Yw1wITH)joau;2ov_Qh@A^=el$-H8uAZ3>{xRSQ$tEt+26Q>7o0n z97^A$+!F!9`WvWE(gdo#ru&U-jK@ER66q;hWUH;#)~D`37ezMS9)H&~5xIh=nj)(u zSQfIv*0WFV8YPknyzK6W5jU}>nA|t;(KeQy8~1C+0U_-)mz?j>tHvXJkuuREWOo{0 z+`1Z3^3_s!D@kkt_(<*s0?`L%c?v_#n!9~mu8%HQ@VwA;8);FOqUu)LZb3T~pw|8U zfjbOncv1fX1YJWA*IX5SjM97?EJL2d&oV=7Cn~zw0gYa=W*~mfH!jJc6sQ>@L`aS^ z@hjJDG}rIL?@7`#yE!!0E5{bE?aO>w}50gk*HzF{pe7;_LZPBGetZ*1ECy zI-&bZB*f-V_7AGEO%oUy+Hx0YvSQPiMu^c^h zt=sbVVN3QHLa4bVhd0Z>dt-zs8;-kNz(MO@RlBkyu7d8({4{qS2D2X`BkH&O4*iLN zVWw(KT?7yTY;qz_2CZ?uD@U zdwdYMI#1PD3NZB$IXPU`|;pz7itk0UG2Urj(>FQpBHJMK)9hX>PA1kdH7<6yjT=qO}$_UQ1*KMf2H2C(H zF(P9W(%7tEV2n{LEGaOP;4ZJ5^6tder1*+Oo762Mv7qF<>&?j|ll={M{ zU`V(g9tj_7*SV}XocS-5A?kYP=lF#K}#*0`VJHc6_~MC<^|cIMP~@GVJD;|nXv zdE51F=LSK&9y=0xufVFi3yzX zHe^F*5ukH0t*96(e%8u?%n0N2(9jCmuhZte3#TgBV|mJbf5~bWSEOOVk^I!cICK)I zxFccjqpixns~PA2gZ9d2l{uQ-{k+U~Vnp$JuZT~5FG)7wR4{+#Q0{}6HAuS+gn9=3 z!(SZgA=EW~BiJHmWuz1j92oS=8@C*8?^+ZyAJmM>z(>@DWY`9*!3SK>Hvic+xUE~Z zBWc}sa+yxZX*q&M5kVd;a886WP2_a@DONa)>Tke4Nww+HfF1zM{2`4)stsm|x!CTs zEr>%5P;n$JA?vCo%Ch{|ygdoE9mb#%LwJo&WqWjt#A!$mrjo;p`HL!>>A+nTyHx>V zf$AOL-vEeXeYn^N!o@}w4Eq0)jb!Lpojr6i0+>eA`f{>fD=l*xDIf*NV{;#^(+c9l zca}m2L70+I(2eUmK;F;)>Z^ZP{8g1D(-wRHp8q@Tb997775)mz2sccg4iGwVzYs4a zQH|^(iwLpI{yr)N7*$a4Qc3gK%sD=myo887Mm*hIhI>9unF|>{*#Go=19$uwwF+$U zK4`Fmlh0aG2pBTBgTEut@~KS!g-3E91SQ7UcjX{2l2G5p!~#?3BP(u(@C1=0DRv1U z?q3B{o(k$iI~sJR1$+sgoQByJswOG+I6!R!@w?FEQ%9g_7)?`$Mo>TnaY`BX z_&(TrHX4+v?BRyB_Cibn-h`a$wM9eH?)Howughy9c)d5f*1j}+&YPpIzA|$jJd+n} zKy8#U!;oFuO0XiqaDZo6b>r{v+?(0RRS19aE?XfW0nS|2jK4j#I5Y|x1_*_Z$Y!^? zoRGP14hW}l8IA(%kLuYzAxxwlUYZ8|16w#h5&DN>zM2L~QcecH)y>u$oJHLU=Umysd(f|tyIC#t!;@QtO+gIKWJgh>VZ>Csm*R zoWernf6uSC&!xWFJvH6wng7QAKxLxajQ#CnM1^vVqJNLi_78we4eK~`xFs9%tvOG+ zgAdn?X=pt5aGvreeX8##spI^cpg_;Z=onZakTW-7G?DFRaA7l0Zjrfkkzq3|EmBgX zxF@0jDL9#ghh1mJ7J0W1fhigr@ES!^nD`(d7fJnOyIiR(csi^)g+wmPytue-73NsD zw>;sl?=$#&yg3emwwiw{Kf;L++@sTzLm|-<{XR@TnU_i&9mKR^+cx z8l1Uw)874o7%1nklz9V}Sk5!I=)r{*K~IQI1UK?A8xj7l?| zK5EL}eu!c_J##TmtT+bbi% zU(hwKNv8KiP+Fhsp@dxo<1Gw3rM919I0paGu?OU%-@35*zPL+oerFd)*HTN^$+@mZ z2iLov^(LQXK(e z_t}GEWFMmMOcfuM8!4tncP5_o-WOgzguQ0w9ysM#aP_hoc*Mtsr-2kjEuQYvfq!_uzb9pnvoKWc9|8Deb5-~Qj(4g1JPXh?6M2tf*e#GvcLYpx-{u) zfoMHY0fh(3M>4c{2n+%M3rCBt*;+-^-nXLxVygcfaP)@z&#Z=YCB!q~WLbxIq>97K zX85Sfu3Kro`uLzr!XZ8cTarrk&5qN?<@VWvlE^`7Cb8Ei5X$HRyE3tI@gAi?SJ^1< zX0sq~dp0vo7Js{{F=U<5T!=e9WUW8iSrt+bLx-R#1Q9B?G0k@l&}iQPFLP&%r9Pv- z&PRQWeVBC?wJH!BkF-wm18l@}#U14?M~?a439E^3r#Ri{-gC&7iVjox{V)hB4_2I1-sJ1=%@^1i7)BoO34D0 zD)lU{O>RRNZOY8qIFw0Bc-dmUE+YaP&wrNw7?MF{6@2=^4#A9V^*JgglC$~a%!8g; zFPV%tejF&P2^X+r&`?_lu*;=&&G&iq0G@MKW*>L*cFd<(8Ks+$Emz*IB;H5kaNu7$ z&`_pIrHl)*OCJ}5uOf1fuFHU&tPyeJ28&C44m`vk%8$btYM=OfCiNcY|IrjL0ZhzE z>+&GNZ-Fc4`2XNi%L=koPd(=eKwmfpdnA^_8i0qkDkI%S-ngeD6VcWai*O=fO$rPG zt-o%DUlRzxhYD5-p#Vdq&~Ov5a7<43aPc`}h0Lpq>KOTh(-;)HL%JFSe)f3`GXf7) zDjNWuC$zx>q-XX+eQ74D29-rqw0De6RL~G7$t#pFPKReIQ%O;C=|L>0;L`z7LWsqz zcWyi_H60c9C*}Cq zWlSZ3x5Y1KiEXV_z#!%2zC~*K)*my7R2<37DT;%4Hy(-2ybZ`2qvm-)k+;f%oZqj_C~{5R z!HwCzN~jR_&{)E4lZQB&3E-HseV{ZZLDcJ}G&2V!JXJ`6RHPOZz{v+gDBw(k-pu=& z`uopsc!xR7ayqS6(#FBgQjqx^wZjz6&L=X+*K4$H6A|Jj01Y=y%z%uHqF#^Ar8I)i zlI+sL*hky$Nop9f{=;3()gi-~9mL-P*n%vb;9DLK4-Z(ROR zmw6$EC@~>C0mhb!F|>^t*F)%mY=oH%;?!JAKy@T?)h?+T5O{be)6M|xp5_Bz+WmR_ zo%g_xXMtci`_G&n>_W%GJ~=N*8K1$Uol22F6lWagI&_i=SvsGJv_0@Gq_hCU(ryy76Rjkr1q5%CfGZhQ@ z!PGP2$K=m8@Z6d0uvg7@kgf}7)a&>bf#CWhq3_%0Qyk{kF|9^~Z+$mvMNc2)hRXD&s)pdbjssJ<7{~RLCWY z0p}$jehY|&!um#paJDL}?M+u4%_tvFr2kS^0!TZ%2;~5SntkRxfLhq*$ z$J+ZuH)(FhZ2{|c0K)TMUc5-*_5=Q%ecdrC%F4_iCFr6>b^9Bb2Tefk8&Z>!I;&%! zmgp|p_KFFXel5-KoO(m|Iab&3ECW9bds1TZNif7_<;~m+kabcJ2*fCB;>=+P)nw_y zNjDUJ9>*#*<&21~Or%H3w@pQPhr2>}tImzH`C;I@LE!>T7@m=jZy*K_>3Q=v@hE-| z7Er~?-X;O`*dFm;If~<`^nIK-Py`IdcX*l!z1~(U!icL8lNn+>LvAJtO=TIuK(ecj zEVcMv{CPAxdq??0f8`E{C;9I^gyQl$urYsW&sAdnkFlcsQc6ubAiuAm-9Gv}jx`tez~ z?pYTx3WrUBD05pYd4KP;HFkZ81`x}e6-JsU&* ztL7%7W*5-zRJm0hQ^uVrm*P(e`IXK^#rUrjF;TN5OEwh0l$*@O-B$=JXj-#Y(R<;4 zXe}vft(~Onvr3N4+=Ts*p5knZ)f}0Qk^nx_2OHy9jA-4fwwcP!gM*FlO{DbHn)4Rbd>PR+fgfa38Q4L^G?!|tiQ z{DoL6vI*tgHJySw%8r|um2v@c>F@lD7T_mgw}l6tD|?>@;08na+xl=6d4e5!@F!Js z6L}h{@`!h<|9M_~;?Kz8gmf3j9j}<N#a`MYmKcF_!0nwV;4#68jr%0tpu9i%zYv*5B)qq&0};4v}>L|PE@<~m@# zCA4o^&Nx~V>H@OI%-F8!G?hBaM!e07BZ_AM<-C>ohI3Ziut!`Yihcaptu)=o4YvPy zerkg)_qsVk?_jkpwQT50*@5wYs;YO@&F2V3(;5@W)Yjt$UOWC=aOdASZ(+t$4V-oM z9)XE(TtPuHN9)U0|Irm#c#afInB={)Zz&sjuEDV>nAc`8+Oc2#=iIboIz`H}EA-Uc zEXn$z@E+dFAA*$XHYEyhaQ=$o2r*?ej?BvZFt9v=yjCGlpZr$z4zzg+_;XL3Jo8u0 zXIGgr{x{fV!$et+eoNk1Hb0E(w&c?|5L5^U< z`J}DFlEjc+oVbMhtxO_KHj67&$i%|K+{TGdjE`x@vEp}kI^*7<%L?+*KKEgsF@w8B z=DD!*MnJFuwlJH-HY3G&A?^kEv=*g74niUpiBmlUlmy~Br85G&-QVI+9Z|Ld)1wJY zO4Q;dgs5>j_-JU0u3(gC9g(XH0<|W>ISEFUE+{CB{JF}Cfaal!IjTR_Hm!JrndVXq z*tjK}hdHvCP6uem>Fdnb&0c|>c{Y)oNd$4q7P66kigxK4PVAXZ2JW+IoMx0SvuWIq zU3IjadN+%<^>B*^5Yzl*~<#y`CVeX;(9xH%RJ zWQt);RFya&6*KZN#MHJ}IxbLWBZ%xqLoKmUHsfhH(JX~0u#H;VoV%pMl7{9Ppe6&a z#eW~3xNsmN)nK=XZpX^1ADHnF1&|a$l2lD*H*-{ho=f2Aq%I8EVo|L|EYyGgmI5}% z3*n87X&-OA#UM)Xgk}J7SgJ`7V$C{wfhO;@9%&rUngCWG$ns>eoy{)K9vCki$LmlJ z#4Ey0dlP3;d!z)Z*zPhe%>_p9$R8YFsE{OoF00C^HT68o{h%pTeG)_%gruhE^FFzXkzKII} zaxginD~y9&mm*g4lnBMzU$v5B7KHW# z^|zEB1Y#Lf8*(ZOJX5VJB`&GQvtRq?XKaz5K-Uk8pb1&OBLo!zpYHN3)-CKq zgkhP!3!y`@i@c?9ekh|BsBuen*?fCEllGt&&@!9QSa}qh7#yw#O$gL>&JWA<7J>VX zlRMhV*$?oS^*k&~1a6K$_B6Pg?LXE?=1{3--mp&4Mxo?~cV;~)BwdN=K1g}!UO10_ zO&{`e)@fon@W%i1&ayjdu#!7!E#Q%gvii|YVz2A}9{ydC)PmW$1&o&Q#wYH&5K|7E z@WTtc5=&H;#Z!->{?Gj&per$y#Q*O9J&)4)_nDfq$wDJwwv>z`Z#)~6bFHo*V-^kK zm01yW(b)7lqSJRU18sJ*#f`+J@RPIPKd^z(FW+dkhf?a@L;@)tWP-@46K{W6B|t*` zG&E`08Vls6fW07RVI%4taSBwng{$UcRSZ5@%L~wEd3oz!bM<%$p#?yRKIPvKt-8)@NeK5S zkz4#c74e8oYnfln^*6mr5bqR#);~VWE$&o|S=r;S%(lUsP-ol@FVd-f$NfZ*&2&yq zSIBzbB|>mC9r?bkIWf-wO1w1#DCffNL=h1UwOA`Bg4nc_c=odXOt14PYN%Qon9kQZ zBhGO^?y?u*XH2=p#Rh|Y&qi#~gpQ(8;v8maTq zKu_)xLeCA)1iQmx9cFBkGcwPVBk0Y@p%}FQaaw%8ynLz|uVW1LxA90ehPMH2|M{eQ zk{Vsq1HpKj49pmmr0xE8Qb-~#yU^jbWxMbeZy~}tRkx;QvtPHq|JR^uH}O^`0>6JX zqr-=vCJzTriX^?{i3AM;LEok#;0Z=o^%dpO-Ck<7g4zQCcOTO1l2lYJrGgm1eEyyMUlzpox9 zjAI$HM!+Fyw3Gg`C=hG|;{(6abZ{q9ur$(eCSk zyY9Ncdg#HAbPK*mXjj~?x4-gDSi4ZmhMA1s)LsdXxhv;*8oI@-DnE^EycX}$BYhT- z0hI^}Z-(~%qphN3q9+lUw8$hXARr849VkD@ zuayGC3V0)l$F(SlwYiVsH!q+^lWS0J@MJ`rm>meul?#b-2HOm+k27)IhURt{tuPCK zlGyj_piWOz5p)NYmWTzh89XsOT|UMIJ0jd)V0MB0Zr@J6HT+jsY-yb??RmQr_CL)z zT5es@mYi}UCM<<7TMTa#16J3A4UCIwVq(HSXmLw$99HI`j82Ggw@O}HSLvp)9gYKu zSeIs^2endqT2Q=!Wf>G+?kJLfEl?{`r}NujK-=VV5jo}e4}1_#UW_yZ+qO{5mM*w- z!vY_Q!%HUVw-i#@s@rd*J-^xsW!&M%^~cxeU@I-`uD`)CG&`l6*8wHi809mpG_D6{ zZnWX&Hh{uK4y&L$mO5%gjS2U8XO$FkvjMvE#DtsIBzFwsjpib!zk!M1ABsIWt<6WxRZGS)>Dc?iVlt? z_IK@HTF`$GF*{=C5Q_#_GZu&n*{2zV)B*atOh9gk-IL|1-*-U{BexA&HW0P$h?^8M zT*0i^RZy*GyvOI8U`9v4<33cMvX(o>gP9x2H*Yb-e3xHtm;xD4HR9?Zif1gCSORHT(e8^@j5XW#pAnq3XU`&5nxR$Y)bL5{iEr7P&J zkRH-PYsy+IjHCvXcE~PdlEf>F0fT&EmF?)O{3%w+INZg|EvKcifXBq9$QLW$XLJ8t z__w(z+_1_$(#8ym3EINk-a}yXdwxtycGg8fOX=3m8r#>;kI&Qh$)xRqx1*;dl)}Z- z;Sx5mj?pYN7Q{44>3_Evww(){uK$cj zniNsY3ohaR8E-G_PvL*V#YObWd5Qyouu1CXN1cK=J#^Z$n}TfE*5@uk909<;a`)wq zK{xxJ0Pc9bV#u0tY;x!Xwd;Qwt~MRm--?2r z2Xw1I*-=*LKWOH8iW(~tm34=5L-_}@n)aU_+s=Rgqn?q$Hmd`vrjB+NwHYIPM@WLq zy{mMG!+l?LW(o(pYxCU&BT4awVdRk0H3j1%2ez`r5V2e~J$EE+C9VJ%0`>MX!jFqi z9GYP6Na{JA&b@zAyntYcgHynBy*0d==2ACtH+VXd_NG#th~K}97CBx2DUAOQQ*Rm6 zh7-4I+&P%f=*<-NlK&tkKL0G8;p9F!4^=VTBZ-V%eM4CcMup3Cr3FQY7bA0pc6GRIltC)hukmtx)3sXzk3*Folz`+M#UUVUh2)z12lt@AG8Fv5RK=zaI+@AHA*;HpG z#+FD%Q3=-n&wTywtKukT#OM&vmt7q)Jc#f!>O6l?=7{bYJs$oAY)Slm#^G3x@ZV8Ro8jV~&ryW$Fp9II4@&97 z`BZi1W0)}BQlipNicoC~p zAFUO~KRkMAaayd^1`n0$cy3V4AM&0_BD0p$9NGsmbh3NS(TB_1)xTED=Rac>m#<%8 z^tubsSvsd0bmbC!r{rQkTR$?S{QnlrB;$R)ELySz6eRrb5}DajXeRj8=_2qSB#0$Z z4uSl`v8+*`Ay0$Du>?2Sf5m>T6AL{4#(2CR~n*e!*8k~+pQ9<<_FZr5l z$MKn>S+c()f{&FEP<^IfW;8nib(71f?YU@IJB%O!ghf5z@YlSv2LAy%q8%uP(bw(* zp`L4)xqQUXym}a=iNrH$P41?X;zG$^w$S9`d6 zL8Y}C{lFh$PF+^L9CEP1P`;JYBy_0~U@j5N?@{14_`qdLMdDjSks7~BBt7m?W>li4h&!Bd9dXt7^83(s`^P?_BKoyc4 zDR&>>4}mmk_x2`0{K&$=48u(Tp_sB4YLjmGY3UlzD7{uZ;Mfan6rb?aXyD*P3K?d6 zab=g_sy;Jvrraz?KFV9P!R>d9)83Q`;Z%28twkq`Q|au?t-jqT=H>%kTfn@dI4@l) zm#V-B%q|hr{n>HY^vUFuQxuTuuE>C}mFrcyZFtzbO0o@ZPPsv5+y!xB8m1m~(6wjs zaz{M_mz|3;m&x1k#4(w=urlle*M~M2TJbX-7fMQuIaf&}A7hY;DZ9_kyggASyhm0v zNlvNo2J4u|Ne)TZbUz~u6j0Z^gJ-sh;a9EYA18qbUqFC^IuA9C+-}+wy$x7nyaR3 zfQ2l6nUICED~bKzE*Uk?yFH5CLcfp}5*BV7PvFgv)e+NJCob)Eq>pX+k&Jw$6Wz2m zwG2BJZ(f6qps1Ss&N||OG_`ZFc=b$`a8Prr|YTK@#jNl7}eh@!WW>35c7Ti|D=G-Ma~fEBb&RIX3Zq-@!1g+Fn)-3z6T%Q6|5 z>*P3oKBDbP2gyw0Lm{v~#b~=608gd4UW`ElTr|>XN*)4gkRy4fx!hLq+!lIQI*R?v zGijcSS_@yU3@7!`mF&+^VglkKVsoPjoWqWDuf}|sdHPHh5)^jWShJT{_VKr?LJ|>4 z*X7b-vBxt*WLB(7;^ViH0A%&+%n*ijEKznXCH2XZ3H1yQDk%)JQDvPHJDzL#4&7wZAb2l$CuzSrtkVkk8XzhM#|rs3U_Wl{DLC+U@{c;=XRWV zcWzp7y^F3>Vp(+{+WN15I0Vn2WTv0>ad)#@!L@~=$Pia1aFpGwa#pEHcM zH99y2N*7_*TuSQrN0If==CRk`K!e+?snMZr4zZ~uBrKJ{^Rv5p2er;LRHlopy0RiZ zQL^AtFO~D{0aezvV``Jdidkqy)f+d-OVZ3%L{!=ORy57#fR4j+gS_Om7qLr!yMXi* z+^tCCfv)W(J#Nn(O!8_*BILJT6W{NaQzQ^6?<@P~9~M7teO9geZgjS3eP!}(+fTTv zbXr;k{uIYneA}CnwI0bv$0UvK|5BbjNW^LjTKbMr|A5u-RZi(T7$~FNL9wy)yCZok z5hfN0SZf|X-P(nr{Xon3w8X{vnqf=zS{o3;QH314U zSEBmLLW{?mU;S5bT%Tpl*=^W=0*oFKJKn!8p7z`YT1(dC@WQ8ZwaCbZiW zhPYF0_t?ogX6^(t=tc_*y~UmgoqJ)O;Gr;-_#0>8Wn_i90X)2tk`kt)snPy+u=8-M zdUTH6A*!%-^6M|qP)yi7KM2RDJA)=F;FS-r4Vz|^pt5#HLtY;khp~Wjw#JdW2K6IQ+s$rwICE)97j2oaLzE#-i9D#>Y31*@$nUco^$~8wxWH9iE6n>sHHNB7C#VuUFC7 zEhPal;zY6UI(s#Q#x_mTCcba*i}%~fgLD|pW$507KIwM#vCRLR7V;BcM>|`7da;+_ znAfqV5NyoP`-hW!8d1BBCv=k8_?k_va4XrB#^SyZwFRwPaxd-=%l$X0E4!NR$KP-( z{hzSd5i9QEK2#VA<9rMZn9~N?XY#rdde^ih!OJe@!R}_T_0{1OM39QesMK0!iEAeG z%wYagw%(wFLA`KPP_}o--{y~F1ztg}^_wo~2DF_a2S&Od>0^zRxfa{@&VsbvGI)r{ z1JW`L=-WsJuLNOF64&{B9;XVk8oAIlL7s)*Ylms(*B8MYWL%JP%$&>m@>l%!1X~2l z5qr@Zd2r|+t%nb_r5mg)wJ`SfgrDI`UeCI!mkpc$LSBzxXIlYF*3YCqyK}Fe#jqCQu@>3) zkc(ay#qQBd-EEj)o{DVj30KhF=;`Z%N>$crt1NkQ#0xdlskfs<5!(9dk=<($GV}0R z-(tqrGYSQPif>Jx)w}-AahwdRi2k^~CD9V?Mc()bWCsz6< z?B*a~U4MVr7(%j8VWbnP_?!MZ9qrDO!9p5}ga3}}0imu>;{#FFxl};LDC>+bieHlS z=BG!9r<@9LA6f;O#Eao-k&Cdny_=bDhG#*o(fR3Kswl+weZ>?VSj|?JvL|WPXUIO9n-#D<_sCHOqjQrT{>)<)25cOIl@ztdAwuQSj3Kt5!?{ni zO7g3(7dR2b*NRc(0(U3AjHY&QFU^Mn zgf^#PNjxyaJU2g^m@P57P*!Epkbas&{8i~-h%h8(mA=vPN<@8fJ~WIUAk%PMdl9um z!~@l1YLk)E507n6t7s*NJtx8hs&7^^voyAYSwuWHo|3`tAh~I*o<(cNjOx-YGJ>Iy z{A3=m?LQT(T@8%NoOzE$HLjOD1T~u#qjRH^5}_}l@G7z3ro%@jX{iLX&VxH{Pze?W z#YHFt>*k*W3iLygRM=hvVEkfHJ*GFhGy1v4VDGJU_S;~4^P$S>A9CfH3R)RC?wBGH zO61Vw@$qrjT)(MnSXQ$(@ic0~fY0YNQqM%~d3Fij-?lyukQl5~L!Em}N$T~Zn z)5s`cwer$;{%3eBI+?JX3<|>bV(IX?s1`J*7EXecHDmE9k)Iw0HFAcptQvSA!#x=W zRjzuy`7-MQx{fdSet9na+7aG#+oGgOW{fA-GtUKd18wAsU$C*Z4QEWf@XGOq4g51; z1Ks{R=*vUPhi=--Rd5~MC*NsuZU7_`?iPV|L|XZp&cG8UBS8H{{861V4fx-8ZAyXL zZQ$q?`<6WyKIGC>F-zQ~)f@jLe{S^Z7kZs1nL{Qhg zt1r`~i2i)}8)pBSlkT>|l)05OPgZ?dO(Khph6KbIawn}NX&SITU)9;6q-5wfVb(A5 z_zqE$!Ew{$ zrkS=%8d(*f?+!coO*db@!spPXWQEu6PgYdL2Y=v&2{;j>rD(-M>SOK?>un%nTcOzruF z$C^VTfdZgLwn%W^w;JpSE~RE19?t3axCzK&f&O_HQ;7n_XWbBuaZyV&-!Wph-=o=j ziIIj!Ds?h9ZvihL8#}p_I0wH8EXS|P>0D8?_LUI2*HyJy6d)BU8A@n-ru{_6d%rpK@NRLBqdB{=} zLc%wyPz)ucK+S?}U(@(C2 z(I0b0RG1uGKOSCWwE9B7JuJ*@?%tZ2MXq%=g^r!Ys)M8-M`!s*5u6>MvL9!@{c07vTaNsh{#2`9c?Pbg0FQMZ-4 zi`l9_TVQQ(taWUoUGk#gXG*~w8qvRzn35U4X{Ao9x7&mVT7Jc(bNz8^eF9x}S9QYO zEYI}g-Fub0YqnwdYHVdDQiHFe)cCI1V__XM_>P@qN*}77l%%Ut771w#>kbKEneZEqn{F}fD!;I%NZ)DhUMA`fhWZ`s~gnKDz{@BB=+*X}XK zZ0(%Rz0bSx(vd;qA#71}Y3x7_!*kH_n&~MBBYGxtn%bh2Jty3FLsmwr0d2q>Uhgpc zTZXsgsUU(cmgW4DgVJiEE2Fw7QseQBR^uPAbta8ZsZjQmaHQ3JeP7oe&0b*vyE5Gq zhs&b~Lc-CnmLSoK;@9`|sYT?xN#uiUxL#Kv>W_C7%~bye=Y;jwRRhhq&Ni{~ znd@tMXCFy%&mXdL&BG@$<5fI=(&I){kImmiS*xxxQM=1U2p)5`GU4-AV~O&jpq<+Y z+@%dvz4wpbXuRCk%$!+VyXQ8EkXkcVziv|oBzTsxfn%awg0X zzbOnD5D7o$5l<5IDM8=G>Iw414tq_~vC>M_1q{_ZvD}f>*j$b^=<(ql?qc-g5sB4w z;`nqyr{;dk&ahxj^NN{cDBpB6_Il^T?KXSxi~Po%tPcxY#$P8L>7ui6(eRTI9aEua>{aqFTs7PT)=4=YBXzL*d?u&BLcB{ zRAD8+d=iNoIF{QGutERz%dhaG_JZB_)?Xl^dUqzp{Kc@sBcOY=vtqxkI$41QDN7|l z5vMl25yVv%+v9>2W2>?`jK4rCL zfg34mM|Wnzb_~HzwA~IpnaK76=CsvN9DrG#9O#vqFr#yG+QTZRGSoh6T47fmuD#7h zUcfB6Ef?j^q-^irbcN-ZVRb;lL}CXXiQh?z2tIlMQUr8<+O`op%OY(XX2C7qv$+g< z00GtO8!lzh=Ic#*AJEYUv}^ z{T7mi!!tIM-U7G?^C^-8q;|fK=Ja4+7ZrYY8d=UzZ?1-Q* zNoyV*7l#m!vire~VK!)bQ|VPuluAY>9*1&RE%vWo&RjX_YADh3rd&(w_*ru+qy2;G zs(n~Ym{6Lqg%g3BR>q_i1j*zuY}#M*!Hx1&g<86&T({33QN@Ae#Wt&HrKOiFLtBCgy+Lz`?v8i zGYlf}5#A-awu47SqKGeAy@@FR=xYXv!mB!c#peA~42Twv=uOC$Ve&*21E=LgkX zYLa4fW&P>w4_WG_nd!T2CNY_+1Yvon@RySR)D z4ufjHES!0XRZZj-iFFsIGqQ_P$9G}XCuHV=W$~DAi-I1Q;Oz^TaG6U>CO3R5OcTE% zM=t)8|hF>r^rF!_TWyd^HBAu1DG`9?e#jgV}D=? zvBqVb4Nflon5|q87+IYSa2Z%dWPyb=gBC!M4|0IAuo^WV&(GyW zTWp}n`>aY5VTRvhfIID=#w)M*+r$|R67}Aqcw7Sx`FP}-6k>7NYok&od+Sn*nTp!F# zGL`ZLLh8;YvA(G-k0!a24yuiD7%7D;ZenUUhM86neh!pHO3}pW;~CVKWfi)dAIP(? zWR+}6iyqOSykJIVVFT&40UwU!T-A%(&?-gGiHEkIdBei?2njSoMWTR=OJ&1^SwkM; zgn;7em#zBUhEg_lbUKM^DWJXepf(i&=cZsvm?Nbo^75b$O)M0ksM}=O{PVn5>Q5H3 zxB84iIQ!j{-lv}PJ~!y6AZZFB!zXvY&6Y43fL6Suh`~VY zuroiUO|Kj?!Erj|ZB3IMxjsMIPc}8g1cdM+Ky$M zZ@Y_)UmoPP5o9on&ALXU=V(cyL`C{%47Zt#SgCY!i;iA(pZ%{d_{<+%MW5l3R;-xj z6eN`AP$QgVk!CbcP33K0w=weXm3*2)yyJ6|?ur`oMt8RPt+b~sF* zw%+Zpy9e7EyyRdt$hRpdR4Dj8x=1ix=)DhPT{bqs=t_8)K-e@ z&$%L9BV`T2hw9*PVsHuvvry6u4cW_QUSTiWN{)}K2?MahPJ!edPF3s2XyW{^>$v>H zaAie%HJh>$Z?JjWSd$K?EwR((ZD=yftLz2pm7a^yKP|eGxEJis#TV952Un3{Gv*{A zu3`N>=&`clJTwVS`Rbk|fOY!(L_S(?vf-Q~_KYI)Y$4cY;~Mj%pG$Fx8)dOxlt>K- z?wN} zbtJ~U`>ypG$7$CVp)IE?3~H)PBZt-XSvFoGho;bsmP4q@lMP!G%NZaiLBQVS+oUa2 zo1Yax!@7>-gq9biPGz}@l$8rg`hYV#6vngOYv$Fj9VXQBp|xc0-p&2er64Dpa(z?n zbwwGryNafD)Xw=uclUN=!GfrWli)hDvjUaQj|H~1o0P?aH`{C}2gDe$v75`gaEmYc z*BKsS{A0{xfK%kS+2Dqjo!|LS*{~faQQz6p@h?0*J2YD!{tGQo+&b#vM_^o>cD=|+ zMEn-iXlgYh8AMz+OM_vj`ODskbQ1og0L$gBwDv}g{IJ3^+pQd5}547BIkBVoy+K4 zE*CNfLS#L@O$@OUp&G%0(QcagMeeu47W9686urt8R#yUrP2)!3CI8Zc>% zRIm+teE*{DN2qJ@NP=_^xaZ(Kh9KxUDjj=?LZ*${O3(nJQwv(lC5D%UuZp&3C7H~~ z4Z}8HD?$>pZry&!wD%-7%`2e=sNkZ;FWAqVz7uE>ApvgwvV2)jB|-XXU&$f1%B1nN zJ|+|TQu}LQb{4WtzuRAiF#)^o06>RQHtA6|Y*i6O4x$L6_S-fs`FPkwoHb0Qy&sRd z1~@uU4{H`T^Ehju_`i0VwUJq7*1a+m>9o~8HzQQKt4j~FB-GcM%<|t|(tG6gW?f$e zPVT$E3Mj!H3ok-DV-`MRROgj+tb$0q!G@+w7{{JrXctAdi0*X*R;#$t4UUD0W?X>B{+2jp&pXMCCA~1gUr%CV^rNXz#C;jp;iwNYJ zN;Iox(Vg0o7jcE%DwucOkQWI_+F;#8$+lmIwoyj6kT{bck3+Y<8vKZJ)4KBNgwl3q91C>4xkt;P-d7GaBy&yzj>NU7P2h7Zl5>bp0T$K)Tv*5NdWzYKDb{2`RG> zvv^PrWvWEDaHV`0s3BPrrmZCitu*ca--5ID+g^-`YMZX70te(w;RXcgV4uT3yPsGl z)MdU(%+WCd~FVR1{283zvP{Xjew$ z1(f`O>^{)x8A(w8)%gSHnX-qO!q;my%V0Swa6HPXwC{C-b!~yhat`R_Ut-U7A1Yvo z;oFwGGjMI0Y1ye6b_?%u5=w%xz0ur&^t(|O%_QPxrsO^hvL3`4H}$wnD40{$=_JjF z=H}j=5vx3)wISxKTSKx~fJcIAqoC6BXf6u~L;@{*Lx3CMi`_AuNz#8vU}dI3V#Q-K z*h^n6gfOjym@&$!@=Hn=gE<{syv;P2ceD#ajX-8PnLVs+IQulWU`NqFdIZgOpXPOm zunW6g?uod`EB5``)@S$c^t#({W0=ipPQ=R)5!yW*?KWk~K9|Qq)?EO#_gvV)Z#jwW zOxB7YbRB$yxI8P%pv2oWTsD6t;I_kV9Q8>#DPnva42G_J5i5NW6M-)r6oxT)ZDJBw zmNsdz_cAJ-K^OnJRA{H0X zA^O3xpXE<T7p6NqvvmW^_s)P!1~u z$S5&lZZR;p%b!Q6=*bwcwjY*FS$*08ov|bjH8As{{>>r;msaroJDUBzNb}5PLzwlM z`1@*&pUc$hqg%RwxBJ$e?POpPRW*T899XydAF~)`mN$<{Blg7puyFfAowDxlZ)POA z|1O@#j^B*d3^jbDXXs3m@o{@|lhMf4qk}IfH_Zufk^AtgDodapJ;%CPFBI}h#P_d_ z)OFt-FU4+OaWn~h@t9`cOO$$jSlO>x1?os)iFO+^1_1x+rFv;&W5?9*KNQa062gw{ z*N#?Dhe4p-H6Gqf&U)N9%2R1IjI`S+#@D}_H^8_NG3AHH*3Pe=p5M_`J+bbh7Z?Wr zZECsTY{<4FnqYXkVIY3mzRIV4c+#+Cazc#mw*H)rnY)2g1DBjDp}?m4BBpJoz2ePV zm|U!G1t0H&alO?(=ILYV(MWqz%Ik}?i*bBwWLaYV_Yu{AvR$n3s>q^5N!mJp)L;>X zutbEHZnMWH$ki*Ygq6P(r1^(0MPsn123UU&2xrE8f*5pwup9EP3AHv+z%r?tdfMGb zFijY-dyn<5K9186Wl4KiM<1WQ25=(F<<$DuCZh1FMKAI9XT-VnQ7;d2dVMZ!q+vI@ zI7cg;dn}fQIvIp`tacnoAXD?njbI}B2v=F}PI$cX zqBrap6b(}gv>JLjTj$7q;&3h%+@k`9@w_2)Iapz@;8BGo(di#}OeW-|1i1NPLBCn( z8`%UJ@xrT}pDM`GK$$qwg+CamXp4_8g9+gKFMeh7ElII1o$&h*@cyRW=Drj(fo|x@ z7bh@EPRlNrruVnsN7vC@#qq3w6*UR1O6U_bR7t)k)0r&-%8+GkvF;=jO$y6a?$&i8 z;y!2=KRX~&r$X%v=L%$>>}Q}#YF`Xt(G_u)$IZtw9WuA3jG}3!-UgQXGP)>g|F$q) zgNla>mrs*cVM!WR%Y4Y{)5L_z=yP0P$VZAfr~e~^B&ih*_-1c(x1DxTkd-(-5q7qQ zl|3}k8o$qrjgyG|_9JSZZ;)#@nWycR`HUz^zLf==NyPjIlf)9W&68G~6tbFzh+>d! zWW}1&%W6N#m}SETVdb4I)Y?YMHR2FYOUyh((){$%@EWv|MtByHW_27Y&n#&- zcv7A-b!$zP_(7a73JtzM-;H~@m93uP+*6o-Vy&G<+B8FTs*3WcG^1I9@jd>wgtw3N zF$HJzuSr)26a6g!`QbW;fBfI4gt!isDW=$UZ^_zL*KP_UEy;+lM zq)i1Fj?VbW(xU^7VrbE}jfkpw;~->JaWz9`3cVOJK_Y7O@S{LJu!$eHK%HN}bE5=G zDz6`2foBZ&(Z%+J1~K%fk#IGwr4YxgBQiRL*_s#tLv7n&h?2W*!7yqR-19B~%v{4xYXbAqgwKtesc zSut0ha^ke6fkzpy@e(i>mVn+}XSi9?Y5XWdne!M@+Qm4zE1Bx49#?!RWfp7_R+vdO z3B6E_EZHESXyrB+CMuKlOj40bh#WNxrFkIXJ3`R%&57r1f`g4mo*-?@jDvUsR~l+@ zf1C@jpD;ajmaaCOt{{4yg>~PX`_XxV51v(z7xHzGgirK7t|&*?&8{kGA%63NFUNI5 z+1C?;9Y2uh##<&;$9Lsko1}!JKQYrP!k?d?K{AFcUfp~<{|uuP9H`?QMBGMu#3oc{ zw><>oc8Q@HeJL@Hc*<&&^u8#ZlAL7A_XFw895*1L-`YS1M?LEjv*Zp&+?xk199|Q( z5tCh0%(bD~c(2z>cL7r5DJw*5XrOrb>3V9Gx1}V>`arcMF?>JB>-%{#^`YyEN#Oma zU84;RDEd(a04!d`pm7Qwn+gUgZ`X5PTszr2Xqf9F_2bam5ZG4k-er2EU$?t-VIX6X zOt9A_KqHs0vTWng<_X zA{dD=S{D`Br(r!n?>)7rhs4x>_iK&(BbJ-T7I_`!8k>_ewVrGIq=8>YVBwC?nV!#Ri6!Az8) z4#Q+_i1+KR6=5h-TFCH1{bV53kvkDiR{SK83*TG~cKXB^QHJzl;Va_A?mhHqpox`n zPH62`Ea%2fcRJ3@gl=1nWSP_KL6liCo2QNanY4NR>oJm&TMv2-*15#^1qz}p(;%h) z&lzA#IUDA&JZ|^?PWn2x5;Ll>-B`p9p=U6Uc6!Z~Awov59aX27j&_VPCXFS^P<`F?63cR1THn6JpY9AKhQNI>|3Byowm6gg$|6T&YT*gZ?eS z@M=@rM45jx!vtxE_fk`^Nlp~TY_%UDG`42!k7AB*NdleBae z=)038;kvKs%>K&I^!$$Jm0NX=<@TGkli$)A$!QZRP&d`kz)4+UnAw`SS6#}O3f~+j z@QMC8_`d!$xGNGIN#(`-q<7zrB`?4%zR`|#<{u9iVmol(o+ueGoZcB1GaB(pt{K$^ z0Te_efM^=0K4>18VDNKQnd>N?(21RU3@n-(OA3Hl_onr6&kz){r&SM73 zr+$jJx}r?z1hQRE)%(gEc6r5gSv_4HiFWMIv*O5w5P^=igc`)N7P$}xU*fcYBGNY> zx!OJd>u(&(=qg-#uk-OkGZzDrJ=?AxQ9=`$e&KDp7)T`}Lf@S#T83dhw>Zob1G0}d zwYW_Cwg^Ep5ox=QxHXoBJtXiLQ@-kCIuXws$CrZFy>ymm2Mq*?FP3y4pqV20KI#y0A zZ)DO*D;v)J$@OZG-e)%jCV#+ey0FsH7rKU?nP@6lEt!lU365p-FQ3O53yyGf8`2`m zzWrSd_@?(w_J?}_;eqG34i{u__@ctWtv;pjOo^MOjyQTh>bl&01xzC)M{`-f=ADa* zX0DX8xHF{faHnL?4bOoXYLaT!cp5?We3h;?r)2BEgy$8(Klf zU7$Xm?VkISHFSPQ_=X9EsD`0#9s4qCO2CWN5So~2^Le@uVH`?MJ>J3qh`OmO!TJ{A z&&CEHrp)5q!v!(;&}yKyj5Ima81a+wSUT0M)MXk@aQC_7chKYGNP??CTg@^@fP{1_ zA~P2X&8olrG#a$OQ=AlpyST45{+7sOunxu_MAt;Ue#oaK80`Cv{C^W!S;R$&TXD@ z|7kAWUO)0njFc26$}YNT*uf|@B!$LxUaJPp`thgngdBxjGM*7aEgH-sE{5cC!v$k_ zQxTaz7hVu6lnJ9)=e6*$IvDO{ay?S(-2snOGT8A@qao@YXya$@I;Mr*rY9CG$l^vdGn~+dVhMxHfGwqPU7-DZ z0&IIZ-Ry-r+xfxSJv-yK8mKHAnt%B0KR(m3^q3|q0WLuFRlf)LvDe+gvRXXqZzuVu z1l`Q|c#C)wMYW+$)Hk1fBL_ClfBo7Jau@&tZ1kwuHp@!b?0XGc#HZ6Uk|S0x$rQ2i zSBA|VD~l{+I23*i|Ix}c9j>Hje+kqeaYiv9<^R=P2II1dkB)M00kJF_m(QPthd)6O zVrzv`dmY<4y!R|W%{UGeNv1w9>VWT#4)QUY&J++WHBh^mn`N1AV;exdtP85UnSOkm z`X5cu(Vy+@9}rE@M@P`Nn%wm__sI8vD8~r2y6IWWy6KuhU9!nq7uTmDi#ttCg5V>j zru(6o+b>uDr6pXB@dBTtLc~j6L~(4_<|xELB%k~CWd^@J-#m4h-XG*4wqY-_9#LP;0!+Pv@NA~Sm??b$L_;uBlq+cW^#0Dsv{;DlaQ%sY_$od1Jy@=aP7n7 zN6$WDRujZAdB>^@(BgNjiL**ZyaQJ7B~{t8zzvpe98@iN(Azx;i>w^<9_Ha6WUg-= zp1boQi`)omp+gg+qT6oidbuc&f8pC5hTW2 zbaLA_=M$)q`TJjTZ=AlT8AD)taCeEs_Ed%I|d<;$+hYI8Wu&3_f!P9TxmN=lWI`0OQ(%@e>Ri zKisrA*;LKu+IVt{_gH3p@7yGe>Ndyy_v$~Q3a9uv z{6FMjSG+X+tje&#z(MIg^#YKw`YKGyu{uDp_wST=M$*;$<}`Obx@w5iC--#F(hHR zBrW5H^rH>o{t2il5&3W=8&>Aq0R&#^SFZ?ua!U957F7F6ci2PFp2vf7)fS!wXMp0FL!{glzg| zU!+#hA2Qn_g_qHjUcXsGy$7HxK$3~up@oAK9(LE%ZHKR;J58sXh!Lt_Ql}0W0i(V9q;HtxTN4X&Agg2pEvQp?bH`gbQQ4jclj|eyMshZ zxzUW*dUr8O2VCLRwMEqEY5xB?AI6SrZMwH%wjBpnuP@49T(#(d`?0z{jB{v`BVT+P%oekn_Qf3~F z$3E`ezCWvHU;?Y^SnB)! z^n4Bde@^h`;aC4?GDdz*ClvEzrjJ(_ z=znb^;zGHR&@b5ELwOfG6nSc7=+^L`u4Bj-R!u&P-@1Yz(d&QyB!)X1{Fw^CSQIl= z>wq<5oCP*q=+|H=GJc-$%U?Df6-Br_Yj-7gZ2X$m=ng|P3qHOS#SA;Rs?3%VU|oM zadO!E6=qZ7WEHFXOoaeQ zXTiedg$t9ELP)F_DHFR(nygWAVZ9JT{n+v14(IrtP_Q0b#;)0cd}DGBJj#&F>UlyS|9F|0FVq5RC#cDn`z;dJ9m4`{2ObtjZ6`rsP-5_ncewPyg zFp9-6bJZ4ER-&uk5^5>AiDv*Jyr-{7deSKY5ibU?Ie^a6?3Uio= zo+nL0jc&M`7+dXZEU921c?Xz9UFjrW*BV^KDBsD`B1oSiD<(gMS@zO8$5F*b(mO&J zMv_7$U5Pz=398wQm_jX*siY{veKQrc&4#s{&aI`D@+rTvAZ}palD@N zkOOOp9Y=>%PJ`09Waq32frY%xz+LHEB|_rDakVEYqg{EJ3Qm=uI1~_Rq%HF4EMCSw zy*V(^`+%QSzPrcA&wK#^f$1-nkOW)GvU`*|vOQU#k%&$FwzLlIxC~?ddy(q`LN(=- z(P$Zkc{~xSwDh!_0; zEwX`MyPoxZ9QV1f{!i)N3?ZoT!RzbouI)9?(Q^=y9RecV}VX^cMtB?!D-wjxVuAwJ3%iw_x$(i zzfZMC?Ux#(MvdC@TXW6jQi^${8@5m`zWdPPCSAmFXPK$>7;WBIL^CbC6~QB5!^AgprExdNG~yvwj^%&dL7{=+dGb(X!67J>W9;J`5>n9(uB~&30oyo%-CVk2 z0wvOhmUwsq!j@aXH9P)6pRv*@2Gv{C-n%FkMNhd=aWo0_1aJFR8>vg7$Hv>%e*f#O%;9Mn{fu*HZrp!$#5}&N9#l>jpP_Ztl?0i;d3GcYdHqqD$ zV-_h`5=7Y$3HW1bQoR`cpj)cn&<(U&`Z;Z|V@ox-VsDu&#qeA2lE$oxc~tQyc-^XS z?tmPOHdQTi`~u;oGw*EN8i*TL*2NcJ5iOm2$ZMn%@#9(NP}m;CW=!Pp-vUnoL;&!A7F2Uqgv6)JTmi}`yon3A-%m=>90sl39oFXi&a z9`K;q{hMlMTbm)s?=s>=1a{3zWpRHD5m+Cmol-!0H&24bv=eJ7^s2@mv>RLMQoc!C z+hD4E5atleDzrBpd_k-+U?Ti$I@tBwy(?zyzuXXx_gyWi1(E-cH?`XK{H)JmB?A8M z%%L2S)M65L7nS0~aRziXWG^-(t^$KzrKEDE&g;QJck$M|Stu!0G0viwR zeM8e{xtfZ1xjf^enr69Nsd2hns+@oKdaQ$UMAN{Te zx9^;vjrnEp1q8{yRlT!p>n9e+8+lQOJdJaef-OZZZO6FHlJsYQnYaoZ9!Yh)I0-4E zU~F$q;Q7D>onF*}CZkGt>3WBfQKJ)7Qb4V>1d4%}x$EC@rvX3oMc>1}6NX6ej9%I?@^!dG_GVjt$QRl+X3$VHE`H$avfnUowpBEKD`V(a zGeQU?Jl50j@4(E7jXHNWG`*f5NuiHdeVS?Dgi%bD?=A%r-nKo*8KgPHaZ5ZQ2G{l7 z34LTC$}8W)elbT((0!s#4RDcY*dW_Y8$RHi{1WBB4gO+bf~@A+;KDEumoh%np;K38l{(dre}gG zz%+q029?0Ch)}nBWTenR;lmpIAeH=n0KeV|6gp2IQe3$H@tBjX_P0<3p~&orJVojux8kEJ@D$`)I!WF(g`z#th1 zYTG#0o=zjpSnhN9Cgmn|t(=kx=8}i~$;>p2NMe{9iibo~_w0&IYnURn5TV*ZiPkQk z6W0Xei$Ly_MlK(bx1cUN^R$dqS;pxF?%mLt7N5g%>ja|xZ0>Wg_}5%3K^4b`l8bygXFJpijB}vWyDkmOJ*#@iYY_6nLa6lYW`ePQ)m+`XAo>U)a5zOY7Lc&1NRdo~_k5 zkr!Si&L$EodUxi5f2JiG!v+IMagzoQPVACNf5$eRXo&uBN`1vDSGCe96s6Q!lhHKC za*1xQ)c^XI*+5`ud=@F0bM8dcpNQ&nEQ(^w0#TNI3*c@Oe8%o>oI)Rt5h%gKbQ7mW zyS|N+yX78~QLvi2-rTE6ZpnQOQ!GyO=&FJUB|1GR#DLX92^FQ030c8$jOD$E!oAf*)n8fuw}WEMuBkyndy3OVS1N4v?7(F5|yJf41~3jHk)Mu>5FUE1ZmfK zRA=F%AAGa@Z5{v5ta{BEO?*GBL;s&JWzipoTQgN&&SSiHI(rX8gpB)NA7X%!PhLUG zZ{YSQhEa=4vD3jjvTh7}$xo*(R7j(at|Lzg2?ga*B{3jSYmMm2-_=Q)+! zko-LC)7r`%G0Gb~?bDc-=Q*|NtIUdR?GIO75Y;PAfy|9T{kZEAVvX&^@MrF-%FV!q zO@U~UpNC^R&qF0O!4E~N9@ScJlAbjKU#|XOX0ELt->JpuJYN5@%jHkDjU>gRjDP>% zmV6W1mDI%;J?-7`ec>@jwS*QycO-N~8K47)uC81U_ke6zI{ZimjivUb1C;jqLeuko z9-+}kv4;C}>`*qb*-{)_1gV(qi1WIyz!>l&)kkk+s5VRrn}^asz1YLaoMHHMO5Lkt zvnP4$_Au!0^k1$n-aSD%LS*lg8cyzk>wR1baa>LdwY7d%H2~CA|u88DFD+-l!zy z(U?4M^-2>eD#}m@4O~h=cRJztCA~(%G{7{BhB=MkzNalCEgY_)TJbLo_0gQzo%G`> z2;$guxS|e2hSg^%+*n>E3t+c*{KBVW|BMXo%1{POGLsKfc;dlx-{7sr z>}8N%)za6NGQaEEm|Q52G5$Rvy^=#jd925V`I^O9v4kqVjJ+7hOI;<^uzLM|&>6Sf zuE!Kb$+?MM7A}0~v;u{;dpxG4Pc;qqf;0>FORgoJ9HQ=o=r(Dl)UOWe^@o|`wl~2h zxJ^xo#0MUf_s2z*H0AcqkIXnlPLBW(_W>`2BX}2;7b~%d#mm)Z&j1{s(Q}Qvlq_VmN~mwNmDR=k+$FEy<2@J6 zPRGvlr;A5!;4#&&w=3Eky`=az4iunc*gg_8g^%{%(o-vHVto#!3BkX^E?E6-6f_I< z7(UwD5*D4>V=}gBP8&9Hie8Tw$-rn=oGSNW^ZDjo+?#W#qzo}v48{1|A6+!JM%?X= z;CU{b&OqASgo1H;6c~}UGhyOj`Sn-co9<(I&_SL>xrR|N>gJt*;>U^d;hfbr1sQ2$ z9uNa=9}C>WLj9B~JYo2`yszh4ZgSve$GeFZeSR9y6~Thl(|{=~MxS6U=fOUM3O88> z*hoF4yKH&=c;m$_VJ=JCliQ&HO%0FJSZ{h;-RowCKfe zen%iTh9g5Hk7+iO!--8a=<(K>q`?p_-n^N{&Aip5NlhwUkM26a^r4*Q_?fE0^CJ)d zZYIZ>43x6P%+C^F<;uGGt~u<%V&|W!Dk# zC4RzU0@%ZJ;61kDP0s+rZI{Mlm?)B8OkO@u!5(O3KqOq3D?=RYI1fv#ccvYsWkDwzncJfk7Oh}_;Ov)RnYI>faU{J8xNyu{< z__6TyyrnHzA^Ot@k5=2qTF%oa(52fVlTBDlrlWx^HgNRQ7r*LGa_5ol?;Y~VJ2E(g zc)z8FjcS~P+__%YSJ>IX1&*gt;W0j++~3#MI`NJr-)w#hvfc^D{qBCYK-T%0R{nm3&_ zDSdf-S*}pK_tIRrq45daNmp!1s+j^Q>OK+kZ4M&6MbJUrw}^~J7LsaADyCD>V$!0U z%amdI3E*4BQJU++m)*BUUUUeeNt*f)P9sU0tsybI;1jF=3hn3M<~V99&d7E zS6|;JY{Vewz0mP^>&=W$On~v(i#S!mg!G>rU-H#-uW+o&H%=97#i;I`l3^+fXFNJI zXbI+JRU=FU=WzN<74ttd>_~6B$`0x*ERu=NWvhhL{ONB})^&*ah}Y)OvUZcb=0k*2 zd;C47?KJ$D^=mM6Wonq8!#?IWm;*!nT-Qk*MPK%zpa^f|TP8~0Tc)>XsjquccG}16hCr zfQ*Wqi|S9Cl*r15nW4^O2z_ayAJNOIKvI#%o^U6ENt}HTb$wU3H{@IGdZY6W@EErS zrfjY)umv?vjA0HzUN9XWJcR0_>U7RB)>1vZnAhRZUt5cEOwIi7 zPi>{7&S1vykwwYlP$`dj#J$joi{+57$-A(}nCRye$*$QnbV1xQ{))wC*h}VfRj9)O zO7i#QW;D3eD^to$ir*cCtZ9S|05(1*VQP#e8B$7yvN~K*RUa;lR=vXd`I2d9LL-ZhAz0P zexP45{_}imtyFV;f~009G|{46Nk`+f>;K2J$2}IGqO2LXC+b1dr$2j;wvg!QSD5kE zUG=#}JcFkGid>6za+o*`B44|0Qjm~V4-xd4IwIYyo>!n^G*@DY(6UBoLc)0aaerXx zWsCP{L5eG!v&NvR73Wjg5*iO&hAo=XG;tG?;dn3CYkRSaj35Qc zy(VnwuT{c)nQ-HFk+tN>YUI$M?*`5!Fn|F88HTr9>b0r8u^t)dAe# zpqnmKvDEX_fN(oAO z=Ck+#YHQvwe$Hk0NLWghuXx{isS&gUco7@3!7(wFtXD3rkLIWqHyk9?rE=Ov_bcsR zpkEDCv|U&Sa4I?Rb(%_CE{vhcS^udWwf5Pv)-Y=M+3I?Ran5@2Lt5ho{&hhIgcL2* zi{k6}TpGkdDvnB&CJ#CnrfR(33!c8d&^pa*@_gXq6FaLlF#U?|XABf=O+u}0Ck>SC z2%Y=m^h6wA8sufS(kT63qnalyrjR${+<@Lg@Bwoin~Ln$3QUU2l`k+!Z|G6ioH^|@lW={c(V51&yz5# z{(rUJPTJc=4$49D@|}l3bo5cYFD?d-_K)(3coQ;@xOc~)3;2KOzMPvAXTxUh=t%U3 zJlCV|Lq3@bmy}EC-dq_15*&vqa1! zm4+yi^l=EEd)xJzf=t;Lxdswu3WCJp;!B0>W> z73@eyvs2H%_gwH#Ze&Ev_UyTSN4x`=rK?u_MKf*!gGmPItJ06(qaq zj?Ezf*gkZZQr!)*SzaxS+PpMtX0@TkOnP(8b{Wi?7s^Vl7{eE)U;IijAlkVv*A;w8 z?<_Td$$x6MDuR)_jLzBLKYeo?4$knMijMBRPYzZa#5iMkyO)XTl1X~n+&rQx8<$yW z(3MPDJ^Hg2b?Fyvgwyi7MHUM~(NxRSh?d#GqJG<5=A@`ObhJ=vZ$ov2OzsH4h89UQ z>x`OI&GfmXSr$cNSZ>!w23#I)guFrsN-=}KZHkNi=;MMp*cC4;w!XC7_D>4!1Wm!Gp7|{j_FehgCA%c?y_?!y`Mo6mC!iPf>Bma@JJ^$ZKB_`{3Vk~Lx+U* zchjb45NTatn}O_U@=q$73xqjLb`Pw~u*Ox^^`NA(#t`tk|A(i#N19y>>$z*t2JdAH5~8J}PFEPk~F#;k$Caf-Uw} z%-+nRFFL@XAj%_qw-W%q-IU;TMBS@Yo|IJybCqDyGF3VJ*$*nmYh(^y9O>b7WyNBh zIu%IZYC#yxMEx>5KvRULh@9KRfqI^xxyp*dW+!ZsiZ%U-;|)R8L#fNB!+@nV%MDKRQ}LKd^XZi&*D2Q{PD z&qj%9!_r(8oseJkS|OM&-mfi^4oT(1(c!F`;nwg{0JY~SLd50Ic!~UGSL_Bvo$*bgb4QfN7g3yBKoxGa4zI?u zv{3*@Q*T3O>aI%1)?IS2x_ULd%YcYGWzKh)s^eGgysT(L$!0aMP41R%`&0;b-gQ`( z-)f_DY&@}%7V3&J>hWM?c^9Vpyb*w_%rjOC&$@9>7!Ok`PQES@x5aA6N#jk|osq%! z0+jm66lAf1u+bL$=I#6J-&uLnvW0AKL3knOpI@_mNh8 zBiN~oX)8}D58ylKT02+`0Y2o*#cja>JnI(lEg~Mv6=;Q$MB*(i&=nA?zJm z@ygKcF=gl=GFdg0`!bI0# zwrCZnB)zyzA7y3Ya$uJVc33w`bFj70`Xux_G^*Z!_Ez0at<`f8Tz(YhJeSP>Aa4M_ zS;G7b>D)i)l7#&sl+B(V;cfG6X-W;oEO*wniW(MNrsyq&hO$sUz@I8!mGU5mx3-Ab zar;*3hA4>(Up_VH-7HJc{ShU2DhdkXm*43`sq~=!1WM8hvu5XpFS6=}!hN{H^B1n7 z2p3PKN4U|hLR(#FHs8_!BBrms%*IM1^1FX^POX50&31V`;w=IxGK&bnoZ(;4k-Dsf zeA#~aODpfPa{y#|+;0o?-gv$Xd>-9+9f-bK5$kx~4}88UF?o5&41D>G)%ld0`|_7k z^!YY5@cH+Z^UDfH;LGUQ%hMkJ>(0ZIN#Nfdlh@lpv8U^Wji}DBqeWiy7w0TT*nCV| zge~($m(!tsrtIp`-E&GH_ow0sj+?8Gfj$F|!hs!u8;P6dt`iY0;}vi$oTlr$WA1OG zW06DJT!)!2cK8)`2iES`k;Zq+W}2xP%yzQ3Qq-@KWl4} zeQ{}2)|}Lry_yH>B^IEN!Cfc7MeXs~M{5 zow7A4G4lqNUWW~r>Mo@9R8i@kFk2%20-T_nqXeq#j?O-egY0;Daom8IDz5Lsj~jQV z3>^jO9b*n%Ah~Nkcf*^(mP?>ATh^%|ThUupyX{G;|N`f1JNN0nuGJ*>0FDdlO$nhz7_6kew#z z8xfu`^Bn-Q|>$lv9D>Z&+9 z=`q!XKvWRczMPS3)Z$U;Svnmnk$XCq?SA7sxk^2{3J2oHmf^KBnYCB~voF{tbW4Eu z(i8(3b^~{ok>RbYhbSvQ$`yL-mNa-p%f5eMPrqncj#!$w7lWe~c&>S9+gLj-jj#{*1~Wf*KTQX(V-l>AW(T-;Kbe z3`X?m5#u0GrZMAh5?CE2C?utt+2E&NcXX@#6-3KI6Zs60&6SKzfvOIKU%U0Tl+-jJ-aKnk98YH>VSnywbC3|iP8M-g$!<(Egml|R&kf^h$`hAsTXr?Us~ zWMzk1=nmvbr6jws4YC~D?V?9S2^&L6M?AENl|CtCooIoj3fDE;JG5Jzn?j!d#Sq#S6gBg-Q#Ncb7eONBor53Fs^ z4sXCC=50$2&}5^78;l?jMF~dY(cl%p@y0hfh|=ueVE;F36k6{8^9}%{Y5mYcimFecd7W-4yuR!=`zE8u;?J zCh+m3^XXJgtlj@EHt^-K^W`L(aPTaE-o}mUb+4xLbuTvX@5;vO-bvdl`d>}%8r2Rs GnEwMm0>m`{ diff --git a/article_de_rham_cyclic.tex b/article_de_rham_cyclic.tex index de0364c..3ce5c41 100644 --- a/article_de_rham_cyclic.tex +++ b/article_de_rham_cyclic.tex @@ -154,12 +154,14 @@ the $t$th upper (resp. lower) ramification jump of $X \to Y$ at $P$. Suppose that $\pi : X \to Y$ is a $\ZZ/p^n$-cover. Let $\langle G_P : P \in X(k) \rangle = \ZZ/p^m = G_{P_0}$ for $P_0 \in X(k)$. Then, as $k[\ZZ/p^n]$-modules: % \[ - H^1_{dR}(X) \cong J_{p^n}^{2 (g_Y - 1)} \oplus J_{p^n - p^{n-m} + 1}^2 \oplus \bigoplus_{P \neq P_0} J_{p^n - \frac{p^n}{e_{X/Y, P}}}^2 - \oplus \bigoplus_P \bigoplus_{t = 0}^{n-1} J_{p^n - p^t}^{u_{X/Y, P}^{(t+1)} - u_{X/Y, P}^{(t)}}. + H^1_{dR}(X) \cong J_{p^n}^{2 (g_Y - 1)} \oplus J_{p^n - p^{n-m} + 1}^2 \oplus \bigoplus_{P \neq P_0} J_{p^n - p^n/e_P}^2 + \oplus \bigoplus_P \bigoplus_{t = 0}^{n-1} J_{p^n - p^t}^{u_{P}^{(t+1)} - u_{P}^{(t)}}, \] + % + where $e_P := e_{X/Y, P}$ and $u_P^{(t)} := u_{X/Y, P}^{(t)}$. \end{Theorem} % -Write $H := \ZZ/p^n = \langle \sigma \rangle$. +Write $H := \langle \sigma \rangle \cong \ZZ/p^n$. For any $k[H]$-module $M$ denote: % \begin{align*} @@ -168,9 +170,9 @@ For any $k[H]$-module $M$ denote: \end{align*} % Recall that $\dim_k T^i M$ determines the structure of $M$ completely (cf. ????). -In the inductive step we use also the group $\ZZ/p^{n-1}$. In this case -we denote the irreducible $k[\ZZ/p^{n-1}]$-modules by $\mc J_1, \ldots, \mc J_{p^{n-1}}$ -and $\mc T^i M := T^i_{\ZZ/p^{n-1}} M$ for any $k[\ZZ/p^{n-1}]$-module $M$. +In the inductive step we use also the group $H' := \ZZ/p^{n-1}$. In this case +we denote the irreducible $k[H']$-modules by $\mc J_1, \ldots, \mc J_{p^{n-1}}$ +and $\mc T^i M := T^i_{H'} M$ for any $k[H']$-module $M$. Note also that for $j \ge 1$: % @@ -187,7 +189,7 @@ Note also that for $j \ge 1$: \end{itemize} -\begin{Lemma} \label{lem:G_invariants_etale} +\begin{Lemma} \label{lem:G_invariants_\'{e}tale} If the $G$-cover $X \to Y$ is \'{e}tale, then the natural map % \[ @@ -224,31 +226,72 @@ Note also that for $j \ge 1$: \end{proof} % -\begin{Lemma} - Let $M$ be a $k[H]$-module. Let $T^i M$ be as above and - $\mc T^i M := T^i_{H'} M$ for $H' \le H$, $H' \cong \ZZ/p^{n-1}$. - If $\mc T^i M \cong \mc T^{i+1} M$ for some $i$ then: +\begin{Lemma} \label{lem:lemma_mcT_and_T} + Let $M$ be a $k[H]$-module. Let $T^i M$ and $\mc T^i M$ be as above. + If $\dim_k \mc T^i M = \dim_k \mc T^{i+1} M$ for some $i$ then: % \[ - T^{pi + p} M \cong T^{pi + p - 1} M \cong \ldots \cong T^{pi - p + 1} M. + \dim_k T^{pi + p} M = \dim_k T^{pi + p - 1} M = \ldots = \dim_k T^{pi - p + 1} M. \] \end{Lemma} \begin{proof} - ?? + By Lemma~\ref{lem:TiM_isomorphism}: + % + \begin{align*} + \dim_k \mc T^i M &= \dim_k T^{pi} M + \ldots + \dim_k T^{pi - p + 1} M\\ + &\ge \dim_k T^{p^n - p^{n-1}} M + \ldots + \dim_k T^{p^n - p^{n-1}} M + = \dim_k \mc T^{p^{n-1} - p^{n-2}} M. + \end{align*} + % + Since the left-hand side and right hand side are equal, we conclude by Lemma~\ref{lem:TiM_isomorphism} \end{proof} \begin{proof}[Proof of Theorem~\ref{thm:cyclic_de_rham}] We use the following notation: $H' := \langle \sigma^p \rangle \cong \ZZ/p^{n-1}$, $H'' := H/\langle \sigma^{p^{n-1}} \rangle \cong \ZZ/p^{n-1}$, $Y' := X/H'$, $X'' := X/H''$. Write also $\mc M := H^1_{dR}(X)$. + We consider now two cases. If the cover $X \to Y$ is \'{e}tale, then by Lemma~\ref{lem:G_invariants_\'{e}tale} we have + % + \[ + \dim_k T^1 \mc M = 2 g_Y + \] + % + Moreover, by induction assumption, since $2(g_{Y'} - 1) = p \cdot 2 \cdot (g_Y - 1)$: + % + \[ + \mc M \cong \mc J_{p^{n-1}}^{2 p \cdot (g_Y - 1)} \oplus k^{\oplus 2}. + \] + % + Therefore $\dim_k \mc T^2 \mc M = \ldots = \dim_k \mc T^{p^{n-1}} \mc M = 2 p (g_Y - 1)$, + which implies that + % + \[ + \dim_k T^p \mc M = \ldots = \dim_k T^{p^n} \mc M = 2(g_Y - 1). + \] + % + by Lemma~\ref{lem:lemma_mcT_and_T}. Thus, for $i = 2, \ldots, p$: + % + \[ + \dim_k T^i \mc M \ge 2(g_Y - 1) = \dim_k T^{p+1} \mc M + \] + % + On the other hand: + % + \begin{align*} + \sum_{i = 2}^p \dim_k T^i \mc M = 2g_X - \dim_k T^1 \mc M - \sum_{i = p+1}^{p^n} \dim_k T^i \mc M = (p-1) \cdot 2(g_Y - 1). + \end{align*} + % + Thus $\dim_k T^i \mc M = 2(g_Y - 1)$ for every $i \ge 2$, which ends the proof in this case. + + Assume now that $X \to Y$ is not \'{e}tale. Therefore $X \to X''$ is also not \'{e}tale. By induction hypothesis for $H'$ acting on $X$, we have the following isomorphism of $k[H']$-modules: % \[ - \mc M \cong \mc J_{p^{n-1}}^{2 (g_{Y'} - 1)} \oplus \mc J_{p^{n-1} - p^{n - 1 -m'} + 1}^2 \oplus \bigoplus_{P \neq P_0} \mc J_{p^n - \frac{p^{n-1}}{e_{X/Y', P}}}^2 + \mc M \cong \mc J_{p^{n-1}}^{2 (g_{Y'} - 1)} \oplus \mc J_{p^{n-1} - p^{n - 1 -m'} + 1}^2 \oplus \bigoplus_{P \neq P_0} \mc J_{p^{n-1} - p^{n-1}/e'_P}^2 \oplus \bigoplus_P \bigoplus_{t = 0}^{n-1} \mc J_{p^n - p^t}^{u_{X/Y', P}^{(t+1)} - u_{X/Y', P}^{(t)}} \] % - where + where $e'_P := e_{X/Y', P}$ and % \[ m' := @@ -257,7 +300,7 @@ Note also that for $j \ge 1$: m, & \textrm{ otherwise.} \end{cases} \] - + % Therefore, for $i \le p^n - p^{n-1}$ % \begin{align*} @@ -268,30 +311,20 @@ Note also that for $j \ge 1$: \end{align*} % In particular, $\dim_k \mc T^1 \mc M = \ldots = \dim_k \mc T^{p^{n-1} - p^{n-2}} \mc M$. - On the other hand, by Lemma~\ref{lem:TiM_isomorphism}: - % - \begin{align*} - \dim_k \mc T^1 \mc M &= \dim_k T^1 \mc M + \ldots + \dim_k T^p \mc M\\ - &\ge \dim_k T^{p^n - p^{n-1}} \mc M + \ldots + \dim_k T^{p^n - p^{n-1}} \mc M - = \dim_k \mc T^{p^{n-1} - p^{n-2}} \mc M. - \end{align*} - % - Since the left-hand side and right hand side are equal, we conclude by Lemma~\ref{lem:TiM_isomorphism} - that + Thus by Lemma~\ref{lem:lemma_mcT_and_T} % \[ \dim_k T^1 \mc M = \ldots = \dim_k T^{p^n - p^{n-1}} \mc M = \frac{1}{p} \dim_k \mc T^1 \mc M. \] % - We consider now two cases. If the cover $X \to Y$ is \'{e}tale, then by Lemma~\ref{lem:G_invariants_etale} we have + By Lemma~\ref{lem:trace_surjective} since $X \to X''$ is not \'{e}tale, the map $\tr_{X/X''} : H^1_{dR}(X) \to H^1_{dR}(X'')$ is surjective. Recall that + in $\FF_p[x]$ we have the identity: % \[ - \dim_k T^1 \mc M = 2 g_{X''} + 1 + x + \ldots + x^{p-1} = (x - 1)^{p-1}. \] - - then the cover $X \to Y$ must be also \'{e}tale. - Thus the proof follows in this case by~\cite{Nakajima??Inventiones}. Suppose now that - $X \to X''$ is not \'{e}tale. Then, by Lemma~\ref{lem:trace_surjective}, the map $\tr_{X/X''} : H^1_{dR}(X) \to H^1_{dR}(X'')$ is surjective. Moreover, note that in the group ring $k[H]$ we have: + % + Therefore in the group ring $k[H]$ we have: % \[ \tr_{X/X''} = \sum_{j = 0}^{p-1} (\sigma^{p^{n-1}})^j = (\sigma^{p^{n-1}} - 1)^{p-1} = @@ -304,7 +337,7 @@ Note also that for $j \ge 1$: \ker(\tr_{X/X''} : \mc M \to \mc M'') = \mc M^{(p^n - p^{n-1})} \] % - and that $\tr_{X/X''}$ induces a $k$-linear isomorphism $T^{i + p^n - p^{n-1}} M \to \mc T^i M''$ for any $i \ge 1$. Thus: + and that $\tr_{X/X''}$ induces a $k$-linear isomorphism $T^{i + p^n - p^{n-1}} \mc M \to \mc T^i \mc M''$ for any $i \ge 1$. Thus: % \[ \dim_k T^{i + p^n - p^{n-1}} \mc M = \dim_k \mc T^i \mc M'' = .... @@ -315,7 +348,7 @@ Note also that for $j \ge 1$: \section{Hypoelementary covers} % -Assume now that $G = H \rtimes_{\chi} \ZZ/c$. +Assume now that $G = H \rtimes_{\chi} C = \langle \sigma \rangle \rtimes_{\chi} \langle \rho \rangle \cong \ZZ/p^n \rtimes_{\chi} \ZZ/c$. % \begin{Proposition} \label{prop:main_thm_for_hypoelementary} Main Theorem holds for a hypoelementary $G$ as above and $k = \ol k$. @@ -377,7 +410,7 @@ Assume now that $G = H \rtimes_{\chi} \ZZ/c$. is an isomorphism of $k$-vector spaces between $T^{i+1} \mc M$ and $T^i \mc M$ for $i = 2, \ldots, p^n$. This yields an isomorphism of $k[C]$-modules for $i \ge 2$: % - \begin{equation} \label{eqn:TiM=T1M_chi_etale} + \begin{equation} \label{eqn:TiM=T1M_chi_\'{e}tale} T^i \mc M \cong (T^2 \mc M)^{\chi^{-i+2}} \end{equation} % @@ -394,10 +427,10 @@ Assume now that $G = H \rtimes_{\chi} \ZZ/c$. % Thus, since by induction hypothesis $\mc T^i \mc M$ is determined by ramification data, we have by Lemma~\ref{lem:N+Nchi+...} that $T^2 \mc M$ is determined by ramification data. - Moreover, by Lemma~\ref{lem:G_invariants_etale}, $T^1 \mc M \cong H^1_{dR}(X'')$ + Moreover, by Lemma~\ref{lem:G_invariants_\'{e}tale}, $T^1 \mc M \cong H^1_{dR}(X'')$ is also determined by ramification data (???). - Assume now that $X \to Y$ is not etale. Analogously as in the previous case, Lemma~\ref{lem:TiM_isomorphism_hypoelementary} and proof of Theorem~\ref{thm:cyclic_de_rham} + Assume now that $X \to Y$ is not \'{e}tale. Analogously as in the previous case, Lemma~\ref{lem:TiM_isomorphism_hypoelementary} and proof of Theorem~\ref{thm:cyclic_de_rham} yield an isomorphism of $k[C]$-modules: % \begin{equation} \label{eqn:TiM=T1M_chi}