From c3ef3da3c21632306878dda6c0a20103cbc828a1 Mon Sep 17 00:00:00 2001 From: "Andrew W. Appel" <appel@princeton.edu> Date: Tue, 31 Jan 2023 13:15:59 -0500 Subject: [PATCH] Add rep_lia to Catalog; closes #628 --- doc/VC.pdf | Bin 729522 -> 729908 bytes doc/VC.tex | 10 ++++++++++ 2 files changed, 10 insertions(+) diff --git a/doc/VC.pdf b/doc/VC.pdf index d834f7d889caf8584d544f9ecd5e82ff4b9b63cc..4bb947d0bdebb4e9418b2ad32fdc144b481734c7 100644 GIT binary patch delta 35594 zcmYIv1yEc~&@C2Zad%(bU4pv@NN{&|*Tp?S!=l06b#a#<!QC}jaQDae|L@hSnyK4; zrswob-CKR9dS>eTnHz_gYuON?-;&u8?crcJ&(T725hHUEp+73jM}_^UaFATYPnWyU z+~Dn>Fxar1+#FzNH)saXA3_7CEV--o?vMaMnNjz{FBxNBc~2@`V?5n-a?T0|+WI9| zCHs1q**#y*Ys%Y$p}EN7lanW?3ELRT%TL;4qJV-eNK_p!zA~YRf!xO5uz!_`0mReH zdu`qDUI;0^<)>jKhGsHr5idn!KOmpMv^OB7(MoWBx|hC?y|~{3F-w?=F=Q0A7a~#X z#u|@=QN_d@eEs3O^2=2=bQozmWO*?V=gh2RCI+b9U*;}_^KKM1Yvh-d4G-p~RVz%~ zo5Z(b+nk|CqNho*#nabE&>s$y7D`aSAfoG)#`6a-%*KwzcHhbwb>UJOXGta5`rC{Y z(PBnnG)lo)k98G+22B}?0Govly5IO>X<|LJ4chH8t5^KzJDA5UlX;_Fp_wpaA`im^ z+(k3<+w_<P;`=&!nNVkEs%A~wRccTu+)p%QG4bUvgIAkeh%;{#HQHAv)dnh_$6+ZH zk%_7^J|$B^|D`7CViGQ69$W3Wf?EX$$e=NhXwwgyG*lmh@O}(SrKMYH9O(J?oBBbo z>hqIbv@)y;@_pCavq*&<dz)Tgfzm$3D{JSsX?>ndjAMLGi@zHyS571oDsfxOo6_#< zy9-2~i`gLq3$5{p#SU+Ct~<uAnWG)fo?+>zd~2z?R@OZrZJ8&B+Ox1b=49~&zIDFL z^v{z`eC62$HCxUL-n<08R9A*@n~tp+thCu#I*LE9qDDC^|0PEEYPyd1vPcB+{HCgg z63|b^Kr^3NIo&UkJ!H-G()|0Ut)QWbiGN8%ai(I<7Bg*u>LtY>M9q1yAH@0%XD7M| zZq<(Qo}{$_&lG>+H%4C!BbVM+%VK?jDp<IslWYz$&|15s6{BvjgOwX6%<ONw1Bq1t zJD(Y3H10DIrv$BtVgbQAQ)0av8>>8)-+&El#FXcc(tAn)YUb$ePsk7FXqI8hn2evJ z(8)pXTR{{`{E>h0zDUp)2+zUZ$!wrU7Gs_SO&?~*89pvj!6-=x6^aL7|6>z<^TqSm zjX{K&1PQJ;AIg_<QOewqs2u+asEvT*W0mPaB^YS7%^IG}3hNDkbMbqpNB;t4I$Itp zUsJBfr7Aw3?~$M#Qx_52!HryAMH(dIR<qo3t5xH&b-~-o7^i2jI6s82(6p(0dQ8Mz zAIe)%KK{!Te=9eP!6toYX81}&w_544Wk?FH6+|D{HADcHc>`~OQ=vKndmOWSf&VoP zZygceCnB<ta)=u;Yfp*hiOhcsHfXgaj$9Z)BG=bAU9o|VhmyA>8HGL_Xj1oTRUmF) zW+!XqQT=ia6Yvgfb(N(HRpL2uOOX4S^yR+QeZylr72VLCK>7S9lM;pg-wMx(vpjgS za!}+t*`=|Jl#m&^N}{GG=<I5>@vv&H=#$t${xl^OB8fgqS_`{0FI#g|kdw;fXBj@h zbLdua>EAa<)<2?HsPqS@>;8}=$t_egjK@BvNkoT{qI-<*@JC59@p|r$7cM)r1!WXF z2KwrUs?H1Ni?ixHOxsgb=DEpl2;ked^Me3<=O9pM-M?EuNC#v2JQZ5EptoN7spLH+ zGCoFqs)$m^?o@Q>-Sodtmd@};SPh~D+blRt1o*@d`^Dx6V^!e7ki)(h90`9@7)If- zn6Q`w(fe;#L@mT-K99Ea3XE~ShLzUZwmpe3CwxFmNQd>%HnE~0*N-iW{pvqx7NC01 z*dGBYD{e3zmd7NxoSDNsztyraP;5hGUR%D45o5S@IZ-zko|jLhBPIcbAM7S!_pRUM z^Uclyy0<cKIRe}Si}0c#;S;8*^MCE5>NCI>S+i=dG@{%c<(fMFwCh1_3}HlD+I!Lz zcmx}%fI`=wrGQ1%aol2Rn#-WNFpwdNK^$i5fvM6^PTp?jeSnHKdTZEHI-ZZ;d-*k{ zHSo4D#X8PM_pFH~<WHyfJ^Q@~Qxj>!05+q7RTN0TG@1ibA;&aYp9CUxQ;9|sKUc{i z=<>wtL53Omw_Wt&OM`X~m+2i`;NI>p=<$J(l*}@#e-@W!ZAJ1*-zsTM;6cZ`k8sSC z8e`a|DCUU2(XOAOlMO5Pr*)|{UrdUx!nq??t|nx*2qie^1oNpS&@Vy*=w8d-1S6%f zgj49395^cpXc|4QCo07eN67kds8WKOU4NH;^T_T?NiE(wd2#vCoAJaYUW9yT`q`t! zE6u?&w8~uyQAlUVm?W9M9t;|EKw7i9bO{i`SHQ+#J(sjG<2{1V$*99?Zgy(@8Me7# z6mZu*=r&;HMmFm9d*=qgNSv#V{hFZ&Zc=mp?b7mGM`rSjOBk3T%|N5J6Lyi_Ex1I2 z!Wjr-WyBiqO&N)}CW)R(65CmCpPG#5$L`Xxb@s)5>Tl$aQlTlTplQ(5-ce!KcoGcT z(ei1Ag6O7XCo0))hk{(~UvJJc!QSr_LWoaFY%}jAj#3&D#Xf@`v(?OgVL<bzJdw`< zGf?5id^W~;F(va8u_bxi(QA_ZM|r`YkVWURsoAx_dyAepqh_`UMJ=M^xDoeR-2V9H zT=1ls7(Ym#^72TLc$Gnc7FJEQj7n{}YTlV(z5-168$O@r6IxjfVM3DSXy?WF`-bA# z&sZXwM|FnS%tDVpwiDOL$%M6vsPg@+(JH=$pI_HlZlvQx?yW7dG{6Te8PHtJbR#QB zN35k0M{3#Z4yD%-qpxNvYj~AqitF^y;ni22DWS4VS`F>+tZjl|V2Gsg_;x+Ze`90v z&JS%Fce;#uYJuN)J-{YwQ5Bh^6N^|co+g<jaLfmP=i6O{N(cD5$6|h@W2$^Rx;~Zj zl9WSa-!zd;y0hL1^$Y`&)lrv%A}RRJr6W-pC`0I;BY>Thl#)8(F)~*c`;g}L1wG6{ z6dGF1#;#3G402G0BkghIazU-h!NMCgoM+&&JLl{0Bf`7qQI7Jl!gz#qn<V2M?Ap<6 z{I!$MEN{am83i;tSNJNm2MSG{_ZyH{R0Q<{TdtMdB->hUueX`4|8sgTx+XW~;}?`~ zgw8VY*p1eN`{2{XMTCP8__KZk&~kdO*wQBW$?^Eb6147V#_O%a$TRI<!%PzWMd9a_ zY+MgVxq+4^nNQ^V?59Q*58e_f_h_jAE5!#X8qU(-7dfd}c9C3h|2xI~>IC`osjOK+ zH{w69f6E#F-Ro%IhDv;dCXc3eoykCh8C3$*f?tnsjw7FH$7z2&4V{#KayyQN<s{~s zV4HYD2EroKCWE(AK4HUf@qqKnU~pjgdBK>7$R7(cqE*+`q1$yMXi;3H@!O5M&m-<b z9;U<TjoDHPT*)oT5<n?aB^Yifg~aZzgMT{`K|yk3Doi#J+RS)<cWX|$0~yA+svRAH zeK3G`=B;rI6OY_Np#G(CT>w@Gy7SL@eZ}KNR7ZThv}op+PmtiuW%xCWvX+QT+7`q> zlwTlKIQWD^`Za-uECT9K0dR&jEje0xbFJNPR1{1dQ=nH(Ky~LA6ASLTQ7Fv_ES5JE z*M&tq^Zs6eSi~ZD@wd~fk!!8El^~A3wC&z~j~<r9K6nMiJ}P2;*3eA}u1qE(g?mLy zw_fE3*Sqtv^VhKm0;VRvMW{%WAUCJZv_GIC6t;D?I39G6bN9P@ca6!fm8ZYBYwRm} z&sc$k6Fm>gpZoh`(Jp$+2sMB^9ni1-|J*~Y%QA7_=r`LoyUAa=S`ZMeQl->l$#?O< zq-rFau@}M>DSl3@DU>*H_N?@Y8PAI~yY+1oRw3boEN??xz5S+-bD^pA5zNk!QP`j& zq81(WV-5!XXtDg`L8r2OjgHcpL9JW66sT+QAKI#wA^od4hN4J;uzzQq@oTV*xin0G zemyS{C^<(Lkv9hFv(dAX{)9jDIOn~u5HG_vz2SGhG7nF|an`8>*2^E?U3`)@{lhf5 zWv&#a^*l-r%EXTrweQfymDefeJNpgFMU}uPS0x4}(vv^<X0cegk)_wJ?Lp)@%y9Mt z<W5DL#En`sUjsJODU<)yV^X<2z~JYGHw#>x|H;@W&S0P4!O<#s?om|@^v$sxq?+8) zW;FO_mV&T4>e0UHSX&5<sJk$Ni#vuLa>z20Na2el!D+OYnOS(V%YVHHtk?m$H-yJ_ zPu9FP>Cy!{XXCHt`3jQ!)x@Ha{sY+W4QVy)3G`C?m3~2WI84catJZ<r&L(3)#BFqm z22SmUE(zn}u7UdcH0*XShJoz)Y%EwUGr}l0XKU9=W`+hUGLxE6&@MF)L%l$9iXHqt zF2jN^l2;uOTL2Xf7NILOII|4&<<F33{Z^W{bFD3(iZ&qZr)1w<Yebks{F^{4%^S0$ z%X8H7;QRYOQy8!M1#-;NJcrmp5bct*$vt&(R`aXz3iZYDmQL@9ny%kMMT=5T0y1^K z(6yG8urripE#nSNT5qEto>r)aMMsrv4=Gw7SNs?!Lz@?#OX~hSJ+2LC6W`y3j5a21 zVsCQH93S81=Xjd<v4UNH&R9Ul@*1?act3ah$ff{EE9!2*PbV|>%Ju7tb~QmaXuO%m z{3B(Sht>uadS>Wx^glj^aqaI>X{=C>augKP25=X1t$>4?PY-tT2!YL`iNr!{xR2j= z!H8Nu9SpDbtw!Vd&Zh^UUDuaNV~jX!)aS2Za<V@Y`#;0J^DiO8Wkak%uZz<L6huX* z8TZ($zhPx}FGZF4jqT|~DL8edw?&i8b$oA#6%1(Jh>RSP-jZR7JUa%>gWH61W$&fC z)=w)6-S)EG;L$ggnu5pJ1qbFzgqfr%7q%C@qx)Qk`femcRLGq`mp~nL&1lF5ylIu3 zpCsi_6{KbJ@8-K^_~p?$8YW^g$D50EnkG8OsU#Jms?=+={aZPj#dj*sod7(8FHCfN zRUs_9jCb6o7!_r1)_bi0+SMR(A+rF{GogMMf?TCoDurnyOZ{+<l(de`628mg?`Yz_ zvUP<dQ*+pysew=+21!C<MRDK*)xz$DfPS8VsxzkvdyiDbvkBv<UFwtfj^WAg^gw6Z zNVw}V(jUd@pZ)Lh%acy48TF{1D-ru|1$FQ78=GI*g(uG1*k5rNZ2f<@(iINOViyMO zQN_F=6t>Wfg*%ri3d;)c`}ng1>&IYnd{kK-27|xokqWef8k=a(hpkGPL!xwKC7-9h zk@0JiX=f*HQtuk`@AZ!Xl17UwbA5gfO6iC<Tx71*Kts0;KG3nI2JW;Au_isz8Wkan zLbHwu00=Zss5WaB-e@On+1ZH6W$ewL9>BO^S_Y}n4`NZ^YR)XX2Q}bjyKkI}S;nb> zl;#&)`6f0Hr_h6>EgUuq|L8T%-s2thj6WjGE7gQjxA!M0YuvwsUuxJ?7}G58wk?1| zE1X!UG}(;Q(--qfWfuvHB>C$iH6|MUb_Bc~AMbv~Vc@Co_QeW|DMA~qZNrLnEr;5r zR%*b<yIm#5T&SN*+l&;;b{x-cVTOxEcwkAgLzxMLsCO*jKIn*7P$=&-uVEDE<Mz1D zF9%&`i;NYzs@%bL5|S$BHt=n;iUj}5oldJFo=A;1w}hUPU$<BY)a;kq2lYc43Q7={ zr3A&cj?o<jnWOn6cL(=u$DXs&$3m06zwf|D1^Qn~!f8cSxUXiU4`vz%7vi<1d@9a& zbVD)F#<RD8pMEdg`Q}gJiPEstBTtCD%sq^Qx#llWHPhU0_D!pTpZM(1xh<W7H;KZZ zJj@z}S29r=FaL%?Nv_F?_U2#Fnv1X6-h@H*HyAC*|COB}5zrFERzu{>K7R>qnv4{O z$C3JHzeUp7I(1dMu!8UQZxBg1#TDNo-hApi=&hV}R;9t6N_c=wOmtA-I3l6c!dy_- z9Y)hDI6ZfI$%na)1?I%Pk6kjQ_)E6*%C-r7BUR%VVfV|`i+Q}8*f(<cXh9+m{jRVt z(S+R5KRgFSN`!B8e(x=$+#XT)Bur}}Q5>z%?HVFgM6eje*OwR54aQpw|Jx#+X_Mg< z0nL0dyeE{7JkI=Q*<pY{G=MJbZXm}gB^$~renQ?Eu|@yKafj-A!!f4LtUI?wIORG0 z{cdzI3V}koXm9MwLhNyZ>{r8Y=$)m<9i@&Pr6L#k0fp1C3Oqf}C<p-B;*-fA0#hcX z{AJ1#p~&pQ`DCHVTkb0<*2I#$cpE0jdZ0EzVmYler&&OSmLt}bvlcVot|XlYf1>$q zOoz@kzP^KN+!Z@Qq8JNE8<I<_&#pyqi<+>qZ}I7Il=Jr1mhO)-*a24HPrb^tR)VHw zyj+LV;*sSjj<ms+-pO;P=d8k=v#g!cgDdHIIb6}V%LHYfUfj<UhR*eD&*fv^wn6FL zRO|k4As!YSI0}W5R`G2q*jF*Pg?U6g9RMW}vl1nmK&%;!PhVo-K2_T+^W|kWW?6p= zrS%}4aO)G&vTPF-zzs`}j8s>z_|cyfqx!{}AjjaL93SoEZ%AQ>BhfYxqq{Q42>)>* zK7r^~VVKJ)h&#a!!}hgJzFwp0tQ>@b%&tqQ&8oWYTfb(s?KugLn`_iy`--u@K6I{X zF}!Q-E$-esPdMJEDRvYx%C3`QMpX*kZ2gFyQ7f3&nE?8Fm(J*iUGA4}9I?rPI-0cV zwcAG;jI4T)*+T5ZdR~&&S2LJDEMDhVD)lK(0%ha|ONszzC)0da4_UVJ&=7=tWz--5 z7k_3}`#XfAYS-%HkFS<k3A-BF_`m{wk&1#P{QeR)Q~RCBRU419n%1`e;$qMdB9Gq% zj<~N@bu?HB2d^BvjTsmr_a_P-nQH43%cVh16DnIOzaQ5sHD8hk!lR<!1%E<iV@FcC ztRU2PQ;j&Bj<ZoL6rftM9step0M*j3$8n`G%k5AX#9n%Zx;%(Uemz)|i&{w~@&v>O zSqCM6N1g+cSg=3`YvlSI?~1$1Prav_Px1(=Q$!R>m6S=B1;r7I+@Tq*E=-ni+Xjd4 z&-BNUwmR!30ep}B2+vCe;-C5H)8GGfF>a+U_z&d+?~aK7wv)hE;)_4$UxZsIekL?l zZh)gTc!>>tD6a(IOxWL&=#}_DQ@_)1KFh3bxrMa+<1t=A|KzWlU=QISoZoa}%Xz^+ zepP7xpJg>H7cXye9wRn*SMd`Qs7ZT0ew7yswAn4;^fNeSA532!pb!dFp6=hyaCn{~ zL2Dd0IH6Lk2GT9RzgfyD)Gu85W-EF@+sVabZTr8;r0fZ{#nX#ytkp*KiN^BJO6@T! z6aj_y)#}=#-(oJR^j&DmK<Cr7OT9{|{YEzou3YU=c2r-hgR1krrn~b+PR*amx< zwOQCz7AekUQKna80<(!;TS6BYIx3BOj;o7;&ofnxR6ga~ni*I$Z)hG72ftlwjr%wy z%4AYSH#Yq5Gp2=1<JgOR-2Lz`v*Z$G%aXz@eB3|$$K5i@+c2-Q>Cl9nJnSEDLPVec zWE|=<LbO7|xoh3p4J$!d47+;w$c;OfY-jg5XZNV%vqC6_{Xx^q?QGlNZImgeVM4O* zOagNGKh_GI69@~NEb??wNw(hou~(z7Z@Y*0gV;*^WAdrr@6AGX?C6Mw0|?K?X6H^7 zrOJ^$At=JpsJnD`Ha!Q&iUbmm7nBmDy;yl$dFE3wlWvqMaAAXXzwsI4@{m3JDsJSH zHo_APb4Uq-+R|pWJuleZu5ohA7fntnx!hROYy2K1o<PV4qPmVf&p0kPP565mU{*fy z1>6MEv~W;90gtso?wfCsi&>seCqk6GdA&=6o=sBZsHQzb*EAk`;RBp~E78%)pjiWC zs1JBxf%CE%!G0jb#KGo`jJ8^0k|Xa|3`^1bs>?l6`r7LX%XJc8Q6}$tR#=DQTD=kT z!5#LRU4sUJZ@F+@UlM~e8XkpvS#(#I+xP;O=X%1d1Rc*_xU5;m^A$E0I?4GX<a*+g zez}j^N8(e{iEw(UA^KI%P$(QrAN`x~H@s1!l=lsf^^64Zto<64ZdlFBItyS3Wq|AY zWz*-)YyUv1j(RUZHAeYa=x8%37;nA|gy1KE=To<-Wnr@LbC4tcd1#VYbPa;aNMI$X z+J3u7cQMjSN;oGZ3`t(iL?9Kw68>epFuJ34$haYGoVTg_1t+q($(o%cPX9XEjx4iw zIF9L-mO}&d_49C~;zXD;vDca0udl}DFd76=0@c^v4*gOMAi0kC9&4wz4S1rT!C!XC zv)3~hqC*SrQ(UKrW?9ceSsWprTk|W@=}LYevBV21BJMT^G~A((zbXV-uqF!l24b5{ ze<o^td2BrWnMed#dVLXA?9gtDE6?#gf>Y%d{`~C)eFj<dE_WGS@i61rWT;FuYpW4p z#-W~vxus=<iz}oNke(OlTrxYh3)jaxObd%FT&AW(m8k@@1IchU%2YZ9=tw4SEw+b( z+CI;L;rgi?kVA^x=T=U*Jkk)$tFbG4q#)iIzoU0{dDx2Bp)EocT(BsaehWEtrw#M- z!;G<l=s25!XOD4kN16(+pl|ww-D?>EPLg%zH~N3}FP&~Ta4MMJwjx=h5}ffMgM3WY zJE}=}wZLBhd42_T@f&R$$(2n$10!w>tFwH`bsLHF%lI6kS=}#p4y`pXoplD&sdjOy z-OZ@T1siL>KQX}SyJ%>rn{kwlIxhdBqDg22)zn%cgy(@)(kNh)xgPd7$G99A(g26@ zs+h=4_HyDDFJ^Xs5Z*I%-~<xvvhWV0$yljL>6dUaN^9pcu>~Hpkk@**KAEpWeSV<= z8Xf>i!nfR*ZgN5--9LZTI4pJCvN+Z>vR;)8Sp1ghmO%aW>M_mC%(sE$8f(khH#|NK zgp39gl&w6!cWiyYh)mW89b4$SEa`k2UsZ*FLMTUZRabfw+luq_XXGtgbm~EN5fTX# z44X@a({0o5itLTQQXeTF_GWTE)dS&I+HJblK~HLgx)r{{g4ND9a<@DTbG=*AoH7x= zMiS}WM%-S+f<ReGV*7JDJjrGtQcBc=IKH)?=GXT$f34V}h=>w3)t$S1^XUx}hK&F1 z9T3hMkQGxEL1L8pd<!bMK~QkFCc_);LWTpb#_#_%F3(krc*qcS45Ek3|3!S}qdb=R z{Fqlo;{9a0^o|>PA&fioOCT26bx<DUhB4}{H0$HZizr>aV>EG_iz39dUtpyS(v>o@ zN)w$9*ss?bql4K#V)>hnOF`$0h1RD9!>Zjrfy;_QU*-`+dYE@E&}!UABQcxY<<IRh zz!0o^>0j0@@xYpul;|&H?({Th<}E{;<!o?cR{v+_AVi&cWlD6y!?SQFd1Zj0`|s-H zN}gW43pwk}NYI~>Mvs7Og?Lp45CTSeG*=N|!BFDsuxU?tbs~u~Lyoh}f$W1rc>APy zwu9toigqHJT@E0R1=F}q04D5}rnukqMW%1d7>pJSCA5PyInsHQVK5|1vhoULM%k~0 ztu5w};uQ-xNRXK?Y=N|QKBrBOKgIZz8gu>pZus=vt_Ne1#JfZxVvndRkE$naO>k>g zk=;aAXp2U#^hZN2!nM}MmbfwglSu<1Wy^Dj@ydmZwYW#rM5IE9b~Qr;Ogz)l-WSQ| z)_)`U9W{<lZwRqmgS%igD|lQml^8S@1QiiJgB*sN9nA3)5eL#q2Y<)<vB_v+437;N z)`U+-g64&MD4!6(JMbUY-d6CP2rwM%|7)P&1Yd#<{jn3NhJ*`20Kr>hf|;J+d13fJ z2!>%8K&SdTZp5-lfr~YVvY%;}4DRdl(hx}t>V)cLnMQXdw-KUjqqRe!5TICmK(B#D znmkKe&`DI9=-6njvCAHRHPUsKKM_~B7Z92Kw8=U!S~d6a`rfR*O`Kgw%RQtGQ^!HM zP4hTpyI{S}pShGmO#TAff1L2utjZ=onYBDR8f4&ZuRZ}+8<IrBojNs*F{+O{yE0{6 z(o(4w1jqBIErp|<<2xE>RWERQe@M_hcDYUg)?^G<^{}#~6#8t%84Gq#c`9rv0hZGJ zF4Y5%37#^jMjitSi5B_S0xyN(u|DiTO9o9nFBYJO$`!AKn7D`UWQxU`5XvxYTwbV+ z26WOQWuFC*nhSoEsl$~LV45?nbd#spY%%7KMgAUZc+Adgp~K8$n8=9C>rMI_m-$GU zwxq*Rh}JyYrUM<gsE5dq>>FP<GKz>!U(fnLOHcQzj~$m9*ox#YU11x7{RtXfvKC+m zHycLp4yRy%gp*ks_G1g`CuVE3Oaq#J3`iPGacdoRJIy;CqeLxJICD(=J7p&dI-w*6 zYNRl%goAG+79%%j#IBhZRnGe-3Z-cdGlgPIQmCud(LrXVbP5AE;b<(6dYD8xJt=lC z(9J4D0t!&oBNd{`Sye`acWqN^AgB#3U6-3Sg!l`iJ%V*P-;p3iPVL8>^Rh_7r;iZ* z4dJt-pY(PvYHsCUcFku*N2mdF@nH9$G)e+h1dRTW;UAo6erl13uTW7Ylm|Ck+x-aZ zvwu-N?RzXi^X{UrFUTov^B7c~fhXceFZR68x4lO1Z4C|bW%Ie`p4kNsuq|%w6Cx0J zTd($si6)42UwP_EK>NfBWNx!+0yK$t?Qwl!GAlf5?OH3$`HzqfLT<?IK4IoI$LG9} zUTYJ2Rjy3TCqHu)f!hWi8=N-jcHH1zA1j&6IP-Y7S+~any$;*NM~p<iiQmIT-CW<s z6ss--Om!Y>#Ww7#bu;2=9(SE=D$~W|=Vb6zIxjS1mhUw<DWi0o_KsjRfVlIsIJc(# zyLu{}VqR$t@l(NQ=xzNC5IY|bNA~+&u3v|C*9o{j>Z$3u*l$DFr(i$an>3gz?GK*9 ziH5xiN~Z%U&g#jUCHC}DqVsL-(OZ{yr!_@N&5s{+B`1N)wAVa7TuFEa<E@QJa$|J! z5$@q+_Fk;{w-XS`jOSQ9(Az+7vOeDF0Wy~X<+wA*q>luH?Xu=M#WsfJPfK$f?s<lR zB6_ibwQ{W%;4bq%c93Z7)`3XT6FIR$Goshw#?r!p#2)S?%~6=ecxGt@v%2iho^+8E z;t`p!KmDv%{Evm%!H&=W0=;juCbfo7ZjV47>%;Nns|6Z<ZCMlXpr>2Yjl1)SHjD0K zy0L;?$8~a2w&z)m`=@zvm1D8z8a77rj#!DIRffHy3BxA$c*;iBh)Fd=mx==?=c<eQ z{qJ1{vye53$!)tVm-|^aGq#h~X|Gu~J=K++MX|>!VBP#<VDWYX;r5(`%+ifd9D&or zu?z5bl^9WwK6C{<NDMuQ5b85j=yq)&RG$b-R78!{w^-{Ep19>BECN`&_2Pe?ZSV)x zJQQBTl0}+3m!(@7Lew?9)W+fiOTL}NsGXwRrq<LUnAond1ZbGR+MQsU>G5>7hzOaB z(A<njx<oW86@JsKTnW2=N9J*|x*#5Kfyp4uFx8<{8!C|?=wC9Ss+#(_!3kz6)s*AU zf!QdFE+Aiv{#vd{qb*OX3m1{!K0HYcNq3z%GWuv<MAO?C2eqr7CNK_-zj;rOvd(DG zd8w#No}cG349|dgThchkM9$09<j$sbs~&4&{Ub;IJt3~dKMYB2GdFu%-P+-r^yNVF zz%O#4pmxU<WZiipwVzpf<`Z#sS&x7B_GY+*HnE8MWB&ga)>Q`?RMypxg8sjS%dg$2 z8-+TurDu2ipLM89pdw;pXaDq{!q12E0k8Fr>1ZwhZ`IB^kvD!+?rOF3Wm{p<&pyaf zXq-xWA}*IKu-2LWnR#R@+c&VFHG36@A4UZDOTSVGYpglKoTrq^m*EbKJtLKUbF8Im z!%UL79E<~1`w3n2`cbsoSK-gFQHg8G@?~Wbql?qjENm-zqZqyX;Lh(OBVBazWkTtb z9+i@PSS_njj>|n`2Ui20;0!L<>omThmr8Rd(c5dZP--vHk;R!276iS4ey0E{qtV2v z__rE}(IK0;;mhh_D$(R9wZR&Ud0*?>ufLe&Seq|e5`FDoqnhpHAM*<|2!?jisyMp# z0L`4~03#Zy-CZyIP^hudqRkV>9%Hw9))-$kB0R57P<H(LCxykNAJ^M~M~WP==#W^Q zYGlb~>iE@zXPJ@JSn&~1k^3l_dMKs-54DhXP~1+W*Z{h?3_(a7I~<`2B4=M<D9SMf z+$4phNC+HBn+dNIws}|pJRzdz)*7ZpkI01^Qa-XJF6lU(#L2p)!s)F2=d?|27?jKb z6^p2SPiXjr^#deiR(;9^apSxYCaW{x5hm`naw%NrqBcS)Fbx@`Sa<Q+F@y`+7G7oG zh%F9TsrdkG>OD7L@IyE?Ei;Hk(GemWdzW+y2+V1=TP(9#tqz|H^UowXBSz>oqwBil zHy_@1+RZIX!+>_N7Gl;b<GC?=v7I23H!h1#?^MjW-Y9BB)W|PfrZ65YU-;aoJ!wjI zn4NO*C5uI-(pD8D6X;|GBepf;n^Qmjb+mr8#T`=<=D?P|#}kQ&TGX_EOJ)Zh-Of($ zTNw{*poNfVVox8Xy_5PLWNd~`_us8aHOwwEDy#UTOGc!6ZCqwL7tpx*a%#WeUrz~4 zgXcI09arM8VWBm|SYdAQvgj9<64fjPr*aeR-{~c_cXf48xoayl|IGKfzz%u}kFX2X zoUNCF3)s09DZyNbW-pcm7`tp}IpmsFA>X;5zHA>A`v<GD>KqR~%F(VT^XmoBl7`pm z3KfgVt|*1Ru>k8G^i!J>i1G8G&JZURLP@kilb{Gpvauq>Ar)HfsCI}Zdpri&^D&G{ zrs13WyI+BTal2;5%syN}=nzsZf~T>iG+r}D--ssu;R}8#(GCMBYLs4cAMbFf4RP6- zZ!XgFAu+CsG-Z*;S0Y2jH80`HH1RFpBYf|O|L#Z%ny){Bxf5k3lzHx*v%|tcxj7zL zU%g4oIOUBe#(ZZ61r3+B2xh3=8c@|}E-{{X{t1FmC{yB|Ld0}7zT)u^9X~o|sLQ~y zx1}Q1t6c#J7)eZ4X7EVZBlicX>DebIx>B3a`8;j<o1<`99qt*%go^fv`gfU?T~*UF z)ue-4AN_ZVQAFHA1$GX;n<^h2weX-yFgQa)lRh%uSaG=O{7n?0)SaM+Fb;CdG&hs5 z9r_KjM9rN4O8+pRd=${u6A1%;atjntgx$et^xmj}i65>tNj2Vzn#(l3^7f5b@SR}d zNsKHo`Bw^JVCmPEi;I}Q3j5r6tQ05yrMxz!5pjxD22*4frO$=lRyV&cvUn;bS<Byg zv^2ODy`w3dOStBTPiyZWv8KvD<a?Et1<e!?D6#m9daT#`K{-!3U+y=Cttk;ZUK+0_ z(-7LF$!wG79DV_Z*3Z<W(R_0q>O=qdiq@b)951i{UbZdGz<bg)c7vaXI5!i&9Z7wG z!>#pW9{7=h?LVEcn&Q!@=}qCPSh=DULWoj}Iwvp`wNKzyzHd7yOi;N2RB-)V5{kk= zDlR!O#TLtc?kTlR?x$Euy=bGqz=86fs1neI7(a!{vz;@4;7_yJ6{1)2-}8?0_iUk} zd+s3dgW;m}1y1xidb%doYC48BFGV96X{3n^rw#EQ<4i{0=P`={6?ZQ65lnH2#{T=% zbrpSCp7dHPxf=!P@ED^U@LE!9(QQC`*hv=F*Cl`6;_H_AL&mm;wRLfk0^L}o{}vdW z6W-4S2=}Z#&YA4|HXygtd2%*t%bUkxytVxMoMQ1yJym0f#v$kdx6VtPSv>C-Ry<Y+ zel!<R`74%}s6!AQvDhDHQ|KgZC_O*+AJq7YQuty0N+-bOcNhNp-{m@E;zg#Qo+MAG z3Sh&wM6lv(no%Qyg%?pBv@de8@RUb{I;fW{uCmv1uhfgd26g8*5lYqCvwUT6l{3rt z)!&{#d4chnX0STif_8d_B^8>Y=9n7CT<UX5R`{3n0DZw?P_SFwTi?CdI*O)ehjqmP zM1-WO&u5ZEIzHwg$`ywObt4J%%#c7=^rg|2!VJ!cV&FVZQzE6nKq=Fsp;Ft0zUV=F zgJB$&^uNzirIi4vEY^`t!aZE8(YR>gU&fbO!hs#*?hp{qkQGmI%UblwLf4al`l`{! zV;_nr79FUs$n*^Af4y#uW-5W3jvzT=n9t3oHjrAId9g8gYh=BzV+CQQJU?Yc9;vfG ziGq+<M%?m}afCqD7VZMx=5I<8Bh<m36I84!bh7WNoJOvV@hIdkR-Z07H+kaCG~I4~ zL+6vp0K?T7&|F8-d6L8^G)WwG9_{mlGBubM{KEv_uH?Z7*XY#x(b^YmkCX^(9_iJw z?oQE8_>$GWjeTkgF`%j=(?PQv6q&Neh8J`enhHjpscef%!nxSn4(@GR6-du+hA#Pf zIA<GkwH(?f&iDn>vblsGcoh@pz&NPAZ)Kx|!4?aRiA9yx54GY9dbC|kB!|*T_(nz; z4K80(MQG{_6WQdBGYMTYUB?qX!uyS;;zmtvAEMr#5c9}MA!q<w`VNUVhl^#J>E~QK z-+pLl*2*3nc)w8h2`Es&p)d=}T#{uB^bLjVFmy+SR$SBBR+g8_rRsN4UYr@y{6_OI zEA|;<pB@JGCYs-WvcwoL(pH%0s+B$-?z?4O;D$~Z_azWGHc)sYm_+LLZd|>Y6~|(P z{iYD;Q>#@p1Nxpgsr&Jy!L?TuEe3fN&t$VQI2x7_&2%Xh=`oerHlvGJB`d_2#qB%M zoF^&NybhPSb3ERZC>3bM0}bQOd1$)ii`s!@9t#KGW)38cf}7Zm?kIo$@V#Rqo0iKg z9M)KR`T0%IIweH_Br}>2_Y&*)`6n95Z>MxvP=kI5h<@`I5cPad%Yc)-MiRxrCas|G zh+*W3S5Dn>?#))7vlkjrsQkR1^zCPVtE#L*gt>@7|DDNqI~twgwHtjJc?J5FmhC%Q z!SXC}AQQO-fxI-5?wBm5LQ|L1&{F=0Su{Gi)NgRGV!u%$P?So8Bs$*u7voD}Jdi}z zP!7-rx^PcOAQu77*Rd{rhj(Va+%XafRT?_Mmq#J6#~PB<?{}nuYuexa-eHea=g36~ z|5YyX4|~2@d49!HrxLCNE25QgL|XKTMs<0g#*n1kX5*=9YdL)8xwF~Ng3A{1eRzfQ zB3D+trVkPL_3Y-BQERourRe+S$=;Ltqa`os;-A7#;<E4dItR@f)s9ALC|7?4e^z+m z7AoV1@*l?U)&M4JTrLa;W&=GMvwl_MkGX!?c^*Mx^A_@XopdsK-5>FajMU9D;eD*N z)jzt_u2vw0TPL{~P7)Y{C~mB4lV1M%_WSU`-1SLW^wnA4s1>k^#=ZHghOXggy5KPq zq_b&!*Y5$kVtY75SpVXIV%>u?oJ>=r;XmJb^5nRZ?SAbzo$Wbxc3*=`J6W98)8fi! z{~R%TTNrR1fBx(J!Hn{czGMcaO$HJ|Lh9KU-Imlw+4apftM%(M^7YuW=QE4@^3VSa zz21)lj{}cr*H_QvqQH6U&u7AKnV#oXp!LWz0+Pp^Gl-++V}08F)}QX)Yz@fS0y+M= z&b{A#-Sgb*^y~Sj!1VTulXJFTLIGEBFTSr&f`Mw-%v`AB9*>yqjT@%;MtuJ`hxGfa zw`Bj-`;J%J+#kWPoT=2m?+=6H(cZ7@U7EA*#zN0&Pj*AQ19b1N=iNEFGk6sZK)+wQ zd4O;67;AFGSwvq;WEwveRp<SY;-O-#;BcvENKQrqnYEvZR<R`zo=N-#y<cCVvl%)j zKjs_NJntXdQYFJAzGMu%$A*#1UkCzfsN?mvO0Lfi8ih}-PUInmDs&{ZI00{+qA)x7 zh{|4+H>){0{?FIwT3EiS7pu~2pce|zn|ffbH=QqfV`t(HL>MuU&Kz4%_?KtNtfNoI zq2??)-PYiqeWrT=9oOCA{w{t^_a^P@MSL<OcA1BB2wpgsj2c5s>S#w`S}lAv=@g+p zpe^Fxh->S^gJ+!x>r^|Wfy&;eVhaG1Q5_gsPwwSJrzmo`*eRU(=gGqh#BD(K=V^9% zx%}ikfH&Rawd5$~-n%47l=&G+1|6grsne}1uV#c#UM!ouZ2sm5br9>}#hGn3l-#iF z>nr$Nka<sTUQ=b6JnsVGKRxhx{JPcbEqlfB+OBfJZ=mwU*bsc!te@R!khf~<%b5** zf4l73r7IcI@b=pFIr9q$T^2m@FT|P;@BST1lKtKAzpNV$49EY?u7xMS>l1@FP!Vt; zcNOp~WZ=<$01Eg;{zI1<g+E|};pPOpB*5c<`9|T<n$Zw0K7+R_KC*WFqwpvYOa%lq z0&s{5G#1zy5eW_~I)s1>5i>;~p@-)CFE@t+78yc7g#^YRRD6aO_#XuFfxsz3bNw%= zbIeDxIVPeb`Twv&4%iVD%%OR}m;d>f{fWp6|Nn?Smm;D-eq|zZ!~b6*@P7#S10jN- z<|7iof20fl8z)4t6cK3r9~&N6s1y+y0zyOzk^7+hpIjoY8WO1jIB5k23nG<?M9%)d zT-Xq=F(h|&Ftil_8}dd9n2-iDI(&$mW&mnf@T4;U8~h<QLPo3rPB371_m3t;Tfim^ zn9v&_4u1CoP(WfG08+5vE<b=c1j7Yj4huE|0ZbtC?*E~Pp&wQsC^aO&8z2S?u8aUk zKt6hz!GhId0C-?g2Y?co+#g^AVF?1Pz<}?+11up9q5qj?Cw>r~Mf^u7@e_axv5EmC z!h#Rd0KXwUKLG16;JB>+9RUz*@B?55u}Jz4{5S!K4X#ZDKp-fofK?c<VE)GpKJ;ct zZ8~5L23%A4q4z`p)F2mG|9N>S2H-%Xasju{V4Ly}Q8^!A0t0TX{t){L0iR*Og>@fO z#wY>k!h+))Kg57?fG`}`2l6qZ$!fqn4A{KwgE0;QV22#k0ZL)O5uG3UpK5?C<fsvl z00S=V`RMi0z61lVGlRwkxAy=VAdKw*Js4>I|G7%?AJPO-=>q6{AjvKnIFODW02(Yb zZz2XQCI>sa0Dw)&!qLjznu3dun;YD_55oldx+;ekcwcikysn@Y(5<1Yj7xy%B}b9K z&V!DIc=4ky+JSTA<w;m}z21W-sq=F?+f?)X`sU+ACk@gdkBJohS=1H`d<Z5DHyRuV z<EsqjMB_jrr9NjUwQP%g4VXQ%Xi@&bY{saFs*h_nG?7xBaZOB+s%hwCtDtdcTMh$s zl--vYVlaD>LaAV*FD;PY(G$Q!t()c!jPe}9qO78kvE2y8q#lCSr8H5CU3A%Hu1g{| z?V!>m?5RqpSO{udV{aKJB9LEN_3bG&;X#nVIu&r~+tF|ih6M_vo_x+KMMbHct*xh+ zu=}16eE<Wx8bDr(b%Qr53+lym+END<&VC*;`32n2Q$c~+k7HVBi0hT>10v)1m?y9l zr4v%b*~Lp{RRkeUeB2i)?oDuO0eB3EQ{$BmCc2g~>SJy7yAFj?tjRBMp^3Pj3+p2_ ze9DE*+x|=m)h6F9NmW(Lu6_}F%RhrB^(oPW4|z)*$XYpQz)XRO_U?-AhkOoFLVxpZ z#9+gu83)7k((iqxQmUR#E8Mxz(rct;!6@mqLnZpD;T`;wy<Z@`98vSWC12|3lN${F zqOrkRPg6{R3F7x>!~`+9+)SoM^t>56wO4j2B|)Cg=15U8)Uwkl9@e^OTl7}5ls#&O z&{YZr`|R_u<NP6{MN$I%D_n;lY#<C@Lf<Z8s+`v%mXdV7IZ=SPYgS(GKj1JSkukJ9 zJE!qs(l!dRLXtJi3dapu7W5E2b=LN@OP1{FrzT`62eD~(iMt?f7~Nn@u}Dm!9H~fl ze#sD2q(;vI=9AYe#dyP4e|g09oVbJbk$;YY{^?(eJ8!O+w+I7$KyEi6ljoiFqy0Mu ztBZc?3w~-w{kjIONAW;6bEYO2hH2~cmrhxTmDh+j8XBE%qo}ulTtxgAHyHJM`m>Pk z-V0|D0@U;7;rIeLQNxMk13Q>NG0|Zp1=qB9?lePMw<~nP=Q~0Fu-KA^T~XMuS4t&3 zYsonOf3Ht=OzF*E(BoA=6PpHS_s=A8^_q<0&FY_LF!(!674sUWeDc%@H?b7(!%Thh zu%5(Z-4(2EKEGA~Q%<SoCboM=hG8*|F96)<w&5!<uq#Ofs6Bc}10h+}{A^L-<Xm;l zVHnaQ%`LW+t0xa4=@VzPvxUI4bE>7`Rdl+~B@|2hCI!vSJ*46w&fp*DXE4w{41{B2 z^Y+1d`g1Xb-wX>KR!Yu~D24ODH!+5@dV;y32lyCn>|G_H%OsU<cf;4lZ&KYeHM6}2 zoC;)rO;T1^It#p#4-TL^5$5SO4H2j_URsDzfAyk~MckN3kso0PJUw2e#2qEPK@VLj z4ZBOw?S^$tfqS_@ge8i_1+_qX(X6#u@bpPspkMa*u8Q@yhCLr|K0@UocV43LUx!&; zA$hOzpsAc2wkIvlY#a?(m-0~C>iBz+f2SqoHq8QZaJfXK3=}<~w)U)I+JBK{tQ;l| zTeMEOf#!yiuoNP@1lh<(Br<qL>MERQfvKcuGqwoZla7<1$?if=pJ<<ELvLskf2Qwm zY3@S10^8yA@K{X>-V1&F_h0)vzT+^X{>!ueddkAsl$*64G@n8+Ye4Ya;pOk$j!$^~ zq&!rMab4X&*Pt2L0sE^1q03+5%Mqb)3I2`Q@oY}W7s!P<$y?$$zEQvT(axc(g)FG_ z>5e}AkGe-3C^GlEJTW?3tH+hFj^O>v<j71*#l$*89to*Y&PE6NitUef42Oc|TzEse zv*yJG)<ZjTZcix7K&g1QjOW^^b)L?=oFi~Vi~hG0;~yEMN_>lsPXU}=vNS1XzKAFN z=SV|$ks~KKaa%4KC{S`61aBJLk&q7TbmpOesFx9YkO-Xd9|q$GGaH64v%ryMMKg)R zlnS;<k<+sP6$eXci6B!DQ&ngk(<%jJE#8qadfYyd(oS;%!P)E_RE&>O*(8-I>?Vzb zn?U35pZ`*XywL8vR75DXax!0$1qp80O4nI#q<@|Gzg-X?pr4KoDm&MQawmVwK5?Vu zAL>~;1kupEmoj<cp>aSV_~<@}ufp9{W!D`jbrjaA5WaifU+o-XaeL0M@!8vydcrkV zF3|{Xg8^R+`BInc+|iWhoBpLFdreGC#6Qu`&X+R|nQZpd5^GKIwRk*7eBV1x>13^O zdh(-FtNyDiIT$Es+a)jBn5dsk^>6v;_UzOo0aPJi%bs{tVITJH)5;ziVcYP{q8O9s z;Yf&1_|-7Q$Rj2LEZdGi?x_B#WlnI=Ai~$Q_#SPj0a<eO^LG!psz&EGED>cp|E1FG zNn7v?|A=C#%CrMbZWi9CioyPxriiQ@9HI9!dFuG7<3hwT!gVChViAm%p4S{WY87GH z3Hnx+?27A_2~^YLtWiTLQ^~tM_AhyNf#j<fc9*gDNumfv?_>P%@4Bs<!E0o^4#y0u zb1kXF_njB4(bAh^BC}xjNYjv$J{=G|VptUD>h)rv0Vg|0&#IWbzFwZ4f;(YK$mu3S zBiMh}37AYPcZ~6EmQVTX(dzj`PbS-JfDY9JJ?O6|4E`=IPSZ2A&#v$7TRjLIXiw&G zM8A#*I`RevyaD7Q;|)~u6-Y;37u9@y?kKhN*t%<~_7?6JRmyJN-zDFl0(zS@A8d(2 z>e#JF&QH@i97ggT(mNak)(<Nt_NvA@=AjEb=9e|CJ>GJ5oMIQ;9Y{|yu1uW#L42*` zKgfgcxBDewg3gi%AC<$3L*)p=Y19vtGUdS6ze(nFxADqYdG5q4%^5~Xf#L%U^7INA zj21ja{J8wM!iN<5+-5*m$vAy1L>JTS{)8+J3^wFDsOC(!zWr$vPuC2m--f2FEWfDO z`tUZW$HQ5LdiD07ID#x(7{04}gK}I62LhdnH1Sqssl4@L5i_&faZ()c>FC}gZPBbm z^W-NcBHt=(7h6Yvdbg(^gAc4paZ04N#m??+b0dB~JbC;I9AL{!StlIFdI_I8eVc!r z9`<_uDx`e&b4L&k9uEd~om|DrEv`@-{^oFm;&~v?uZ3`9GRN`(F&I(H2&63XU7YgX z#@eQIODj*1Uqra06{%E;lu<`~@H)2^Rwu}{7(V3~?f4`5K{gRom$(;#XEe&)p>fB) zYD6k{$!c_>>J5ELZwjeMXCY40(I%G9F)fwgS<lmSs!q)VXhs}gqwGY|sBWT_o}xAS zHZ;O~O9=*O<#NZ*HF(MyfV>Ll{UUJ-%j0m)0o<($iYfsg2yp;zVR1+!hD|Mkk*!g) zgst{}pgnHk8EWCD(`!#TpAS7#(W0<^M>T|x+F_*Z@JFMsVnN6aOZ=$aW|LH#%yHR< zYAHpPH;$b<z0(S`0X3<{<TR6*^0W1^^ygeV^U~vO?@y(6AoRH=<YLS3FW-buSz$E{ zuD&XE8&QjD#Mdy1F>Msa6h)1m7(yi5WCF{{xU~|>(b}AB3hfF@LRT|mPshBTryNj{ zj}{od&FJ}w{vGj#&z3Z(vl^>45COFKmmTQi78p=-1n_S@y1S|kcqfhL-Q~<v-r!=h z`(U$&57gLEfU1)dyKdsU{L8~za3}1J0duzTCddoN7G&k+!EG`MD_u(ht%6JvoiC3s z9-QT7$y$PF3~m@-+4Kd!kq+><sy)_C14<Q!DW%a;nCEUihz#jYxi?J9ygg}Nqy7rn zRQz(VgQ`gk)Z7#+4f3oI$G25oM7tp>D}4;>LeXyc2@3i?*|3InLBvq@xCDXGc4tT4 zM5}%F^A-9jTMoEv$oQvhFn9lPT5ASz?m<(G^x3a15jSqdQ_L=DZg7hum|!EPW2fqv z%>UPpLFmnXxO?#K_G{b=ZD>vM1CU28@10T*=gY-r#QVn~ocku;={yV?!2#WTgF8|C z>d-G(*r1r(TV4)IL=5Z%EbJsy4$4Zbu^kZW!sftLi=21bcWu)5NY>b;Tr$&s%D#-u zusM1A3;)uBzG7AiI#wZcG5y1|h1CJ+LROOTp7+{xbSs*HNW+u|XWuDb?DWln$XqG^ zwXg=&zdaNr?pt~ayl9QuAnLU2s)Ksc{0#xCWe^1%mp{ZNxyqZrppP%boghk;z(f|) z3u79w6>-`3PgPj_i9B9W()2|OcjAn9RLnW|C2DgF0{O$=uloEV1HZbCaS$S`LX`_+ zq&>WuKcjFKF_bijr*Od+F6fo@X=V)Hx?4I4uJEAjpb5GgJ#3_GnpY4w^$6|s)V8#a z@Pha_pJmcfn>o|ZzW;&e$afv97yr2IO%hPk`t#?qZ#t%Sc0e*=NwS)s%7<Uq^luY` zRYGI%gaC3$@_S3{hKuyhM`zyfD&+W3f_FG%1Wxv;b*kJ6Cz`YoPv>Qd2(Mlp-l$;G zo!_*2mjnu*Chzv9d*Qm+2@%v7Dc9ijqCtn!5{H8nXAGPI7IC){SA2E|^Bq6q)bxHI z)=F6FjX?Snm=R3?Me#q1R8VAT1DmP-KBS3dt(xPL+hyI%FQoC-1GgIpz!vlte9Mdh zsJvmh%ya~1T=yF3ZWd%Wp2mZ`g(fvO;mg+cj1587X6hXbpN0|0cNG}*82(0ww}V*i z^BQL!PyD$_c1>+imGhm<kg~t`vraJ6q8${3{jMb5j4&COSL@<GH_h;;tG^+!$zsBD z+jVPha@%bfykUOi_+oTZRh^Q3v!mcUs8C<4PFnmAhfHhd57QtY+m1p}NzSf<eVw{L zq$H5WKwEyH68Lck6PILo5q4Lh$O|O7qo6qS2pIASc2OJVH{zVoVxK^cixnJtOmgW8 zanUr+TI84j$2H)_HNfn4{BUVD&#E%c`ahh#1yCMM^Di0*F2UX1-5r9vySr;}+W^7c z-QC^YgA+Wsy99T*<bA*If6lqLZr!R|Q`Pm`-k$EB-lu0~_nDnV!!&n^s0ZKa<6xop z_H$J0Z~0@_8mCvQ<mWhaqNX&Kn1+QxKjj`&(=g-jxOEzq=xkVsJru|?mbe?1coks| zB~3$z)l7rg%-Qte@Q&+9i*9dAVqoGiX0!Cr8O)HZpQHA0i!QUB8lxRd#0vM&M4V&2 zzoW8&w+F)R#zr%_MzY@w3|exn3>d{1POkrTW6R7DkAy)D_@s@Mk&eIz-5*dn{ccQ2 zg`%orgu}!!4#0{y%S;tz!Cis(VOlfY8NO#w-3yJ7C`9+6rYTT(d)m(XSy6=CT%%Z} zE&H%ZSJb3<jDxhrVm}AVzcYkpr_-FUIoz=aC2*{L{wKd9QAsa^xUYv{p;GigbX_Yz z|4^IZ53ENx;D^NcgKj89AOzo7x+RBB$xizRU^2vEDVy6dfG&derowp;u@Cbx2Sa}; z7wVEMUxIzn8p_rorA%WP?`#$~6Ka!!VIr!tAoH)c$opcxnxc^xXCOf=)gl5$vNb2l znGwFq*w@OO@i_yhYw**-0wNZ)zmDKC4kVbUXT+Qz@HrbT+tOI-0S<?SQHc9nKgA1j z5C}3S3jbCzPd6cIGU(}_a(@C}_{$g+jsan*RU`zg!td@9l;8vXmC7Q#1@TZHZvhYw z2s4KwA+#3!a7WCpJM4#K?I~9XbUV>5!{nENzOi6lDjlYS9LLc?`T>?oh!@v#gP~Ih zZ;V<%2iUiYby92FNnokF&`fpN(hMv&lgL^W!C8@w{TLy#D@>wQZ%CxS6w!;U?b@UU zNw646QDjS`R|iLo7wa{#(_F#+B=GXIkP-%Gx}>%6lgWtF{|f^IrG@^_LzP(Zp_eo6 zk#FPL)fz<H@SYdgg+?`@Y!Ncw3&tp1b<|`<%>dOyN$*-}#^33BMo}VLvdk?hl5`y} z4?ANBz_Y{qLzt$hMg-vTxW&Odi=PbmzTe(n<9)t*xVydWZqvG5nW}zo&sScs7kG7! z_>p*nPQ?@J9)?;eVJQ-}7^@^8=1HwX9M~*T${l-!8X76l^MoFnDRGH;RO%4Q8d5Ku z0Z?p@5Kjhh@(g$oXVGr+{^gNx+aMhXW#DeJBAJJC!f)>)7Kd_b4p<^af4SsDq6l}# z9mp5vl^Yl##)rH-L_|Qjv_OguaCZm^4s~w`2^QjwL7~DW0S|W%@hVtaF(suM9F~B% zTsjF!$dF(ag;68LkL`0QSojj_8u$$;SlA$L+!m2iCaojhLki815Z`X^Bby=A!`p6@ ziH$=l{jxnzq-Pmsf>a&g?h=w5>fRWVEY!g{FecKWH84h~hr4Y`tVg?Tia7P<k{5{q z{gOAtJlH)e1S8xXf1qBNS9YLYlox(`geZ%A`!{hG#N{rcJj$gBlKel72L7kj{}TvH z;z@Kz?12#?ITXjHkXb^xFOF#;@uC?JA8n0BajXj&7UJa|*b&K~-FEyN5=NwG^h?GN z$YA%B5b<z#%z?~Ntm4sD8Xe+JBsZ7?6%IEa<qSpk%rY*t2@A9dMV8DsE>)RwgDB6V zgfXC0OKZ?+PO4Z%E^&rBAzzN$)Tt~^Ef$w;hALJ$umNVbBwEfRqby$)SKQWFYDWdD zvXApPPZ_<q%mQst5hXK@Q&ps#Fv{~Vp}!PcYtUitYcZ-^;xzS-{4d<54rTsoNVsg% zRDR0f4KSM}fZStxS+?qn*x5I!4VA}=J`UhGOZl#-%p9##@j4@pLzTCDGtyIh-FWO0 zI#&}xX@~Y47p~ac@?@Gvjz{h&GfS<)c(8<G(QC~amzDjZ8O=7(T}{Jytz*seSge#! z`S~@tdgJ_g?fnLSv196D!}k$EM|+**?d5Iur1|XP!uNh}@#4)Bc)#^sVXZ$~BLLnm z_r_kYlb=uSFM}rh7u4E>bojWgWwSoXO-QECE@w1q&c1^y33z|}Q9LIz*<Dc=T)Vnk zdg;7DJ<(Y`an^(+Fy!KOKm2?`Az7DDO0=q=`IH+tKvtzi0o}eMS<+MwmLn{pP#Pab z3x7GSP_VUB7*^(FVKJkiuKN7yN&sjpBzK)5oh|~M@At2_<=;abEkVPE>Au)9)2Im` zdUj~?HV6&ubnZ#wpZhxVNP5?U%<|{2FAJ7c#DOhPLw6igL;tkWUj_rOW{!r5s!CQe zRit$zNfi%Q0`2IcB)d7Y*6%q9SBfh{r7xVZb?Q{3mS(7EGeN7&m#+(w(*)QobqZa6 zqa?+~!RP9iO*H2p6l#5GTcM3LExXD~GKF$i93%F}Xrv{aEmNz>NS;+3{&lZa6Qi>T z2|MEAR}(W{&Q8=i`AC|+Fhi;{+PLbJ?#-}AF4S6;NlLjm7!S7B<{6h`Q_e2bI{8xY z?A(D&%N^CV=<i~z-^jLhmJEpH6vXU{NoboZf7x!f3BvL`R1A=9y=8yY8=W9^97V>Z zwA^^xz&1^=Or-I&oL6fIp^H?-9!uQxUd7+^qSK%@(Q1SqZLkOkbAd+}YF$Vqro1L@ zhD!FPYhEMYkZu)KND{R}N-#~Nq5Rl?MqxoUJ*Q$U1#RofU8MmmJPOFaXfzP|jc(hr z)%H#G1GK6t+=<$uCHTZ@=LYvTt{OvEO}=Tz4`}Y0S?V+%d22LEnw{KK3yypcUF_M! zO;6f^d8z?quisEwG1K9z5D6Xhd15myKW+V;bdh9R3Zz?yk5)2_A`0%m-dwJ{?gZQ4 zBV@ma8ZX{&jBphLPIb0U>szi(qD#B0_4bG2+WxXp5ne+2ww_<wWF+>-T8F8s2SuX= zxiaiE48omw!<yiCrrSV@`pCue1)JdWXYOBLEv#!mEP#qSWB(wd{NnVI76TDa!{;H) zSiJySYa^B?m!+PLW){LexR@OYj!&hsQl3yFV>eX4506cOGI}R=s7qcZ=y>^PZND~K z?+ktTUtsxJQpz=vqLC&z<=CChZfj!d9J=F>d<B6vCZu9q6@f~!`B~FnSp-cnZw+a{ zRwSB-fe_}%3bCshpJVp6wxclVnZtw1z#8gXo%<JPV|JsXqsQ~J7avxms-xVq$NJUZ zCGw~fhoPbXVQ|aCOW_msTCrVzc{;sL9lx$dKjBcx(Df(gJAU4k1s1X)k+COVlWLFh z*ju3^-gqon5xMV|kMELIPCjAmZJw=V(hG+NBcmG7P6ZM62PN|w^FNzvOKX?JeCS!( zJs|q8+#9ZgTo-MfU1rfR@H)lrDqSKX8cW6S^3A>jeQng-VtgxNqN|ZvDS1wF5vO)z z?SEaVYEkhajk>EejYtWzO<*#zmg=J{R=`ZRog4mRf?2Dn;)Ba@TKGKouUelf28`yU z52*#i=Gb~`6XRw>+R8HHxo}(5fsrNJxuv<osB`7!U-Po+IwlcHCf5s29f6nQ#DHOc ztg)TU&~$n1jVRP_F`*2l=Ex@)GB54<s+Ggz!t|P`w61WbAfd=7|G}lC`4R@Lh?!Kz z#k4MmTES37M00NWv>%2iLXm5dZvSZ^R=!Pw+|M|S@=V(BE<HZwpMtBmwk9-9vA2!N zjge1n{4JsUXgIo^BJ-jfPrz`vHU^vP3gwR0Vc*hC=5G(3dR_!@ALXQc%d@98I*-Tm zzQ`)OE+;7{#f_QF#j}1XE4CoXtSbMvoSBG(a1GO(GA3Pug^C3yL$sO1faII1_2bhb z-NE8x_y|WeYh~;1n$ZxIor>&Q5AjDK&;?(^`Q+3E1-DxMbt^T7Gd|tU`QOsoa>LD) zKdvhcWA$l?HPPWjat$=gUalPF>VM95ztkaXb639-U-KQ){N9&63f3ww-hTkreq}2B z^R`?v&N>WdG9nZ#H4vyXHc8F}zjm)Y7iTY|?6^G;izxqHqehfg@T&!>8T$C2x255E z9q!_|iIRPRY!rfQoeb@8srGYel_xUWf#H^An@ht*3o`zFwuzVgb@kY?OVz3wnQiGR z<`;}N)oNxQ--CVACWf~?0XwqMYCT_Z$9e18Upr$}TIVGVlR)_bcGFo`*&XE+pfen? zoThU|zolHR9{-}-u7%ToV&U1S_^186ipH0No{r_k+O<`6Ze_m^kL<+fs3RYhPMv|y zTd~!%ky7+zzWqlf#=LCtVy<T-PM1ZuSf$`F+l=z9gk};4L%X70Hv@`DN%9!#n@g*W zg-HJ5SW%#QC!njmd&k|TS8tgx^UTK6aj}!8Y~}r1^?c@X_$d1<$|;D(=^k4SE_t`f zue*(WFAHgDD=&ds@z~<6G>2tQ0Fu>(C~Os+4DKEEfun=n(!s&qc6;}A_UrraZOAW) zT4FCfl1a<wf5tnSmVbR6w=QSTLvmM<rU4iDv#e$N;0G)&pq};MT`oB1Ggiym54d^S zuG0p*+$`&K6Yd&PO;Y>vbh2kcg>o#-j8*8Rm#cW9y!2R~;5oI}9tACMbv8K)A0IVF zVr#h}m}BK;1D>|V4^uC**7e$d)T<{3M6cwlCvK7$-i{hmIYJ)F7tNIOGriL3XQiX$ zt8Evc>j5mh0+H5rve5=86^8R8AL|E1qBb(p(?Q#deWojU`{`!b%|=n0Hgo5By%&K& zW322q8U&uV<G|#QVxVpI+)IT>FApO^zM76r4CS7FV|z9{_FVB!{vEiSyxeQ<e!WT; zc-b57e)WDmQh$GVOa@;5Tr&u~+}u}pdcQVu0Qu3+7vAS5(Tnf7$QB55?T`Kog5o*! zFyinfl@_qh5LS`-PM<|bfVZpkjrTu02;ChXQxWekdv4uc9}7rORsL*eNaU<rVW@nr zBshHWXV1Cwx60Y8-2I~B+R*(W+T3uN?gz83(=50*(F*PC(6H{efU%<WeE~z|`*GAA zz;Tg!ndBP1A;^>+m~`y-wN}iZ88pyHOJ9Mq$i4}xISK=H>)cfQIsJazU3z7kL!lzR z3(q3JD1dbiixRbd-gWh(4ws(74=?1E!+N?tyw<*;yT3}K?m~ph1C0V%uSA5IE`n*W z1Jqy#VJu5Xo^)Xcc^zo5>1st=U;*fRC^WXdv;2pkJD|gSNPGD~RtWsH@JWI8iZV(q z=L{Tvup^+#qCq6m!K*`m8mjqcmHqp$msv+4-o%IEQW5zah&jD!1(~0yY<aLZ3gax{ z;PA@BPlu?~AQO07_P*6gJZ+b->W-^@WiEN0>OtdzP~nGVeAtmOcK9HF05PTlr4sN4 zlv_vFMq@bOX)zjjT@k>0J3c>rsOESF@1Si=|HSsa4)k9AkP(yE4^zlMrL7L@;XOlV zqN&4f?g(66$#O(WJRkEk2w4WdU8uH!B}~=en>aI{9{fG)o^^O$szMYMW09&X_4U4n zNx+UT2y9QX68NUtq;r}Ea9+9)@n;u}r0<<&`Hdk6aYBmehXs3>i$SK*=cT2qit;=| z_dH9=Ws61>%%f_zfIQ(JMlqt)gVZ%*wGc80tY^Y-_pG;$$+u)at88I~?X+NgV-*#F z5s=2FT1IE<GjlGObvukEl7&pk`^t2R;3TML^Wd5BuB-l4k~|VZz_9nzFpaSGvNe~h z^t)(e993w^><=PC<GCX68O%ICN?}hzpJBQ+o$)VoVhKDNkxY;2Or+!hNhQm{FtV2h zjT(N$pcMZ2-OEt$(%It(%k+J3xoGDaXNc<>1>`UB;R&G#s(c3p5WAJ59S$bGnKR1H zt1`%*A)(JDxEY^#0B|IVJ;%PPG0dHTCLrY~l&(o<X!FT%*fav8J15)m73>LXQ9dX8 z(v=npaD9f?r6Mr%EP#EDIH8!HYVigA0Kp2*_+c=w5pLOGf6_CT;-a*t_?o{8>^!M* z@^P)eyzawlA9Cnp3U!a*sE9rs@J?4=85W7R<z}xjFv|enJ4F3$fnGbzs|9Qv<}X*h z#COKHHWW>FhD8)jwb=o$=2|YFf8K^qz(Kb9)}kn%?mrERMFeyRvHj>?g>0+zO*x9C zzoF3~Vf{HtrgW&TCwQpd;tTT%LqLnV#o%egBQSn5pq8t@^+fd{B@pNvcv3uF?eL2F z1bx9D_6LyWnx6k_s|}NdTRm4;VC%`{kb)s;TE4{>@2?2nR<f^wbkXYiqzO^B!z1@D z3cY@?ci-MgOm$aHpm$>ZV9u(1zse#)EpIHILiJS;Z;swxEanH2fGbh=AZ3hnn?$R3 z7l7uGICi%hY}Gc3oPRz|N@4%fr=(Ad1VEnQir_jsAXYxqke7^wvC&1F{0g(ou1poy z1`Na1R`r+i(C#ssECw^{MN_l{V(0%F68&Q5oT$ta$lf+un)($-cW+K6H?qpfs%V=1 zM?lD131pMg$F+>5-^J14FPLU;@s`N7b$E>Vy0Upign9-p{4iWfB>m1fi=qweZnC%d zO5{%b@1zIYUOuL2;`48*wlhslsPYVWXH_|fI_d*Z)!+D@BWGgy&kAQ)$OoZ^#MHF+ zBHCX{uYF6gIG_);a`s}lExWR{3)owUu={sir@hYGt+_k3vP$wgYt}4>b2xN&8t2mK zFSU+k)!pfCivZY;)#}V(vQNB!vz0A<te~}=-)VMLm7ulI0nuspM(G<wCTr(h21xPg zH96Ueg6DeBOvYD=33;~SX{yYCmTlo{=?N-l7<B|kYF;^yNAdko+rKSa>3CFb_4T+c zcIqb7-?|d&?3)j8ceX7)WV^0uP_6?n99}aLtxg95X&|>?Fut_?GS$tpkV&ID2puZ8 zF5_F0oH4yPa?eBR7W}5TbDL+>wqYr6Uzl!rcca#(Z2SRR^Z7a(FPar2Z`641)x12d zfn3;$XIR}3e!au5x4lQia-;C|&G=0}|0_VVM%-N7JhS_Yc_)+AqhZ|rVDpIx*vSmw zFd?nDjv>T8s&!pwZNfE52>+C9X=K7RKpBmUtA<a?im}J^)%uq&p_ahF9}yJWNP4ns zM5nq;M_gX`CXg`YNJo?~CxN}#wgTQIUWFH5efS{lu()88_(J<QbH)$qPgb{T!=YMp z?i`_L8I5=JkQbVG7Nq6bfqf2G-W6LEjkwpyF)0{cM;o{B{oE(0rH$WHH_|M!fy}#c zXIq`kkZ&9>d{mJpMqoOU4e~S(rTtanmZTy1T(VcYV&;EzVbwyWxkr_DsG4o|`-hQ3 zvMx>uTcZsvn0&l#rjh2pD@>(zeBf4=nU@Z+)<SV{O>G^&Y^H70d~qpIk6Q47O$l!; zkA2!hB%{^)`6fOj0>YkdP@8hq&KyGnH;*7_{YvCH3?2iFDZgbC7YvtgW$nL&wXe_$ zIKXi<Ll*mct<dr~z%@5%I&ET}+tjb-nA&elCLdiGHSH~B)%u@dH=0)%q>Duno!U&5 z@a;gY&|6Lk_9U&*0g(Pq_S!aoLt)ueY@ucw1sN!7Psig-6(Qw%*tefkq)DD0kj8In zSKskZEC!T*g=aNrt?FRNkzG_`gl#QwuV`9m9CN8r1>u}L`vm?YHNI6><MVkK(WA+B z6O(wVXgR6h#_&LnZn(XVzNt~iO7fRaxvp|R!zzF>K~{wEro>WGSJAnLJli`e)PUkc z6du%ve4ivu2iZ*W>z{60RNHvOYmCgSLu-dn3nv{~TTZg@k`sE@_~a&uh7NKp^z7kp zI{WEoK7&7ECnFrQRpAd<>+o6($K{#*9=n(PwR2_VL7c{*-QqA^$+X5yMoCL%k%|nU zCLuS-K*R7jS#cF7zlJLR6A3dZ1r4d`e`I=CnW;sM_C}n{WQYRrIIZOl2k&HE>Ae;` zz0Gn`5l~%G3;xoHd8UDkHMMVWLdMcgbO?z;wKt|bp~p|-pMt#7_Hvmm8*}=UaOflh z>BiV*v-<45oW$SN%)(CqxALhgTkQXg)!!afmbOC7+DL6?g;{iwT@9sK$dH>ND?R)P z`{Ljx;t?R5Exn&)XzyjNcL&C*I`&~|6cK|0ar&wpczCU7c*PzIY#A({I<&G<wuNw| zdDyNw4Ydi<JThuJ6j`ECk~pl$jrx$8CVogAhaTK(H#4rzjsvFE)0b0ORuqE<i*{i` za!EUuaxHzxP!rJV%dTJl{W)e-2Tok4T{qTv=zZ%#W1q5~Z0`G_#Co7@_|0)j(yBc* z^^M+4I|?tL&!ALjIEGQLBQ!NO6U*88pci>Rsv^0I=kTXTu$}1XNv@PYR;e@Tc!23L zp5=~#hpRYH#k1tAAYR0y5f)K6Wx+~~l%V$IM(y!9R9B?oSBRLP=F@V1VuaXd<Vy=y ze55F`exzSZ#g#sq#&@&G_2$@QHkyc-X3Vb0=!CSx;bdZjNlg$TL?L^XAVzS@6jeTJ zxRPTens7$6F7Sx`h-12+2RH}r>Oltt2iO}x2P6i7ESsBgR@3ft&s9A-d6U}h_}=+= z@A~oiet+4B@?fA<_%Ce{*6_q7%(Fl1acu=p{unGB%D**lsvhX|mQJRFX^9-rfx_oq zL-^g*2z1DOq%ewX1G%fy+BZBRTFZ;Qqp{Oe%PH|7r3(yc5DiWZkWs(m`(ePc^+3xB zpe;FVU={>l;#>luhJ@^y6#C3b8RE-yzs9!q*P&m&zx~Xn=2K+wAsaSE`oG`tc%V-E zQXqgXU%Zhy>#G|x^8ONeHhtcfD1b~y6El;y;l)nn!)gxW^@|jhP#!jnqLR+Xqd;>+ z7tO}`VuEO6hxL<iX@EIKs7BM2FaQ%^4T%*xeOL9bh2oHFgD)VkY3kwr(d9jYXZ&PB zaxW{}k_g61sq(pwuk}K;en%qydEh2j>>OEpZ`?~T@GA*nZVb2z7V7v|)8cRL7ToCd z+TDElh?>p(i}0G&{OItSC#KwrfChz`Ud`hy&DRPwNF$aovNd>V-X~uOoU$9h54K79 z=mg!SXr`EMNx$LM)3NiJ8A00UG>;1F{F?kr`wd-c1&-t{nX=2tDs`Vw9l4O5)e10R z+R8&%+@KP3Q?qj5Pa4_Tf>dB}+8RkHWNdE>c7)|+K_W4ES8Zb=IkB6N3ax}oa=`2% z9L5J1D>J$j05*~k!6zOg^D_b%w~jkXv1PH*jAP>3H}W4JhNxt=B2~^Jv^GSL2jhbE zav}byu@sLY)Kv#4$LZ03G~gFDL?Rs+nX=ycl@Z6owHkJNH-r1PNxKVJJ(d;rMJWc1 zayq8dCiysSX?{Cnw;HnSrdpb%IE0lYc$*P(+xSyZX@0Bp6<Gt#tOj7@QZ#*cjM4Q` z>xv7f-HYxqC6Z4n#(Q)qi*z@$*F$+<=w;zE&ufJlq$?6zogfk~M;b>VUWNTAx5P$* zvjcs?HC(}IYU7kuBU#XAjJpgWhgD`t81k0%zIE)~!g0xcrxD>4$-5=eXoLN`y<FO6 zrCs+oVvmI0^K)tZE*YTimFCgHH114)go5UDv}Ly+-gQLts&Qmhe)XhQdN~tH?3-b{ z8^4MnMgh3Fbp1@pfE+?Q7u}<lF?AxlYjIZi6prs5kt?LHg@sDNbcs^r*E}&Ym_Te* zN-*N~5&!GbRz73NkBEG(MGUqPJ&;}hO@*vTuC4Dc>w0G+T*C*#H{zw=%l>%1zMZ*r z?;$C$H?m}G&cJrH&FU2zyI4daJxpthEo>m{?-w}KU~7J|k&V#{Gw=pqz97T$@57YD z3mDFiwar^@A3GTYY7149Hb-_%RhR5^eacD@iB0%KQrt=QlgLYFche=}^ivbcK>X_~ zO`MXv>WTI3UT&5K?G*`GT;7}}Gr>VD*-0$QiZCCHsh34?P2{wPO66TlRKlc*{G&ud zINz_>mJ+^1lF~T7%UG>=`B%xPjQDRi>Qd~ICfU@JD^WVYp!=A|^zR6*8KHzz8Zv@` zI}j@87^yGpRuiS(2^pnhluijsFZrIRit!8Ybd68RE4{fa*^t4L8DGrqYQ1Z?*^7iH z-K%lqcKG<)M9!Esz96x^Y9N$WQ7sD39$hpF3!8Hxz-N--m1Rz6U*%S&-F+2@x0c|t zBHBUYw|ch#l8Kz=s3&v9dCCRm^A(-eU0KP$iL2*RrBC8nS<iPBuMwELnzli<sqM@C zI**;LSR`ndo}@NoK)cQZ^cn?}oSK#iQZp)V#nJjTrrwsyd~(Mmxw3;Q10=aboRyqr z?}q8=)U!V|N}s$nU@5dWoGZjHyvBxv=a%Yfxs~<;M`5H^`~+>9%93_D3xzJwcVACt zq-tA<*RD%LPNv%$^3G2e3KNs0lNZ`p`R7@!b+OHvC$y4>b}2u|Duw1ky|nT33PC$- z)!N8wt#tgXOqF>ux#a5_eWm=9RkW^Fw*H#&GMePJvgQ<hrFQsft@KIQgIhbREJW8- z!W)nxThBjDAkA#4E2k8N(bm8}at2GK7U$E<FjA2CEqMVejy?THT3f?0{oGvPy!VrF zvf9XMo=<L}mQMX@p^F6srJLov_cB3y!*aLThdJAkjmAJPrKg+M`)uF$0|MX2qvoCN z_nm`{uD7QP{kMZ+z~_y=dFpYe=FtHk0JyR!O%nVm2Pq>cZBT_!nZoE%pECHr*uB+u z`#!y9cfDNg(WqRd9#v<*{RvjDIc%tIYNFntf@opN!`vhfG5VfP90qbei=+VOkeylW z7?=dRh-2{d3&S^iL(s@YNvvSMV16P&CRol$WK<4WgqY$8Kg+kmM%$gMK~gXs7g#10 zB3&e>B1WT76)~b<6Ny8J?&fj#xYYAK=)_$ggAR4RFx}*X$)66DutSv!*%c%D)62}S zarY;yQ+>UXJL&>GClU@h#gAJeLgGs`6fsvvUdS##g9~Id#s$_2de+bnD)`VF=>8s2 zwoPbKE?&uy-9Mxxas4REz29^(ngF^E>^}vBv0vmdW4)zd9TahX(vW6~DF?D1%vQc1 zgHAs-L9Nud34dK%_au&6(MBO|9bqMjOP7I;T{UUb^|hX4Y2x_9`-74sHtUn~ZQL*@ zh-7|CI4POn$k5mCf@1Cg<-W8sJQ{=J41@w`EL|B;ahO6NLXip}x!AcNUs(X0)2r_% z_v7{8&O>dVz!PG<b-#}mW-xgPxu{O2bmnwWn~$$+A&r>Zugz1MmMUhP!SiQ7orw_p z95?@v;P=uNBhBuFA8(=5M=lALN?@QWy0dn_s;#r#5<QEbeu=&!%ViS|5DD20EAp41 zhn*A7RLLOaaj!b*YYG(Sr$GiNi=?nHv5C2Y;Joowg*H@(l^m#uxvn~-L397gU<67K z=S2QsF9_LPRuCn<|I8-hq@08jJ0NKZDWB9xVNX5&=Ktizf~=V-5;B(oW@eyb4vk7I zR%ehXXvUg$ZMpv0yNoHoKD?%T%MLVk-r}5MP;ga|kPmx;FYwB^7-%gQEHz@~xNlOy z!mf_EFlcLU5UM?|_9RZz7SD01doKS9nBJ=g`cA%0NZBhaAoM&yn7Rh59x_ruleW@; zx6SZTO~;>0_(eGjjN%BGJ!w3ye{yDkxyj=}O2{C)gM%)7T4EthI5wV&Q7DV%6J9R% z)Rn4t^9n-t3YsH?0GipQZflt&Y}vvNU_c~iSOUMJ9(jD7sRC4zI{Vsbd-cBgt9|yG zfOaDJAj@#4Y!niyxTXdWg|OnK$;}^Ic`jy7Hj1K|8bKt&7U#l|C{dDxpc1HvP|KBt z49G3Z4o$lluJlRs?>KSCO1L1`xXjsLJ+g}XkL5TsrCpl>;|Js`=nT2%qs@USB)xm9 zIVv1nhbUMRwsO;-s%X>Ne`$<COMNq3LI17bw&nHt7u$q_vK!-JtfTXS6S+v49Q8j@ z_nA9MwTQmps_8h9`G)$O3WI#KKwcu-qJ~JtTOP7|2dZjK(b{Rz4sp~9x%H8JwW2?B zjE8w8(16%g%AES4T7;h;6jyBP$48c}Lrh=k=<%$e;|GhT#z-_%ejXmmA_?Fp82+GF zX)X?EA~03D3$P#QL)XDA;@_$g{4-4AoLFJUVeVt|F-}}jL5NNkj^y371xi*Qvt`40 z3v<6sO8gP<A7YoB^kAwDbpcQc5o9FjJ3oPTcVupUmNP}oT+pxS_I%)A>>KVdKP|d2 zP+}&%Hz->{{n>_{R*0zyV5iWhOTv1Z#Kly>T=|%(acb&g6@Pyxk;5t_VBIz$9c(+P z`Z<I1?Zc;7HNi-F5|+6ji7yBVznMYlIhzuY9D0umL`3qwVF-R*477!1=)>~UQp^Ja zzvieVSmaJaqnUp6K6M&0IjiwdnXXetpXIaa)9Y=wBBLPvwnfB-1EyyP_+UXl*5_n_ z=Zf-rqW@TM-2EiA@;%R5#3LDu^lmL7hrdeB|F|W;Cri?qQwm8kQw6D%yY%ex*YM~a zgx<G!e@m33Xa%?k8&S&5;ZkJ3Fu83&B~(z9!m&(*)XV+M*mR{YoP-K=FNXmJWI`fa z5>(E1tqs&Olpg`i8QBM2;&<k!z@RA^9vOZBECb<$t78Unq|<*>td0<jQ%)L6C~6j& zy8X6jitOVShV~aHEzz{+{0D_w#ek%&XZs=zg&SdA@D<dwX^1@Ay*YDsuLcm=z)P}l zhJu<q#Kr^Nj*zgkRxq=+xq?pkjh*goBu3hdaiNw@A51oR2a$!7?pK@NLa5MXjfw%b zoQ%z52YMzQiO1o$tz-Gq%FA88S7gIhjZF#}bgx}(O(@5Ek+}sb78n0;%36g6%rgsn zMYybeMXb$6E%W07+$Dj9F#(aCWPV06#`cmqn6pdx$cG-sB`rN<%y^>8D=y*xTq%1M zot%j>MMAV`uelN$m=>fQ7Y8O{aEw2C1(R{El0?qBOHF@>FVGbtEOyu8a@YqY%L#BZ zzuz7&fmNt&JcQW<j5<Z<cm1AuOw#P3u0CKi5hiU0r?j#%X$O@87O)?4zIzrIUG}bJ zR7|C}KhfjOu_jnb<nch*Oj{QOfVv*C<=KF^XyUD{fW~=z(7K6z7fGnzW>HShZgA2Y zY{zay(pE#kLXB(22tp-HF(k>11{VW8Ir5Wso(MMXO7J<I|AWS<gWz>xKNd6YItADQ zJl-y?{f8eZ`OA_n=ceReYHENe0t4409((n%3FX1^{*Qk;k?;g{LAjFHs|Q}B(98rx z$qcYlG^%K!w!f^^z{$3PjwkxPc?l1=G&og=jxY%j1WYnyvVeem?9e!6F;aEoc8+T4 z(Z318-2f6M25Oc7LJWYgSjfz=x2Rok#eW~I7R5GNwnaOh$#!YNYe^b%TV$If9%bRY zu|rbEnscBtq7J~W5|uGk=x+=uU3EP>_}8!R<D0(P;W4BCq5KAaaWNd-SL%RC{SUlC zK>ni&b_HE;z!>CLzNiEmBA?a|73bFmQ3(KTdfggH>DT-mIu6`#*SCMJcr_S=150jV z&!;ET3Hv;95HhRl_7dndCJWw}&ljQ+iD#wO+I9s^ZaypMml}exOT-0vD3RzystPwD zEum4`S_87q>odf5QJ<65|0H$UdSP&A-_ZSXlr0zj6(mtbNolTy>yewK8BW452e4T? zYKt|Anjf~+e2kgjlQo52uY<eacN;HAx+0Nif>$D{jmJ4xY?vaM0@il<&D>Y+AT&xY z&t66MgqW^*eVN&Y+H|jW4kV3bY-l$cRdHzCROW}wFf1e3aJ22e`OI#vgfq<DXkT&& znf-cck>DGOi)>7fQ&T!{ULXEB1ek?j8V?RFw7$i>pLMEp*8#a}T~=n&PKz_+cP)~f zL*q7&9jOy`X#2yjshHQFr!j(9AEOub4lUHbT<^$@VoLM7)(7b_jYrR3Gl}uL_Qy?F zJ)Q^JxPGD_+F*US+ooX~6mVowWUuF&G#yGwJ^RItZ*0ciR&E*T_nbk>0t_6kgOKg* zTy4XWRWkK(pjEC^H3wQ%Ub%V|=TBd=&oCYO(6i%MYBbuH@68)A!P4m38sV$8eymz( zEwfrz?UaMNu57}=SP2mv?0UQ{)Sf82?eI~s-L-<hw&>LCf6=rj`sJ;@*OpiMxx&+E z5WlP7<}1_jLdhAoz)xRqPe3{GRJ^$PLHy2mcBPK!Ikt4QEB}s1yCOx>r{nf(tyQ;H zr_VIt6<bx?`e3he<<gh@Ai6bQGYC{UY5y7oiuyP+QVxf$HQJH8O<Rw)yA4|>9=0*$ z?d9lwJMWtk!u7{HHR~S&b$W+rqFog9Dg&xulFK#jo)^9W1j3Fhz#r~*PI>`dwyl;M z=V!Img5Jv=q>x9|I)iS+dAqM2nm%J~rxcXUh2y?XPU*&{!T6rHz&k3-7s3|>IlV)2 z-xA+%<s!{5R^*|s7ph31cH3uk_8ST5cI!<@8Th+MqPwc7NEZbo^WockjGdOJoz>cL zXcr!94lev%WahW{fa#!JqB!X<bxEQ8K<C>Ov6Dk9v`F6pH2<eB4^1KSZe7h}xm}jJ zK+#pqtNU4?XIDMlB4trm{(SmSS9~W~-5c^rVr5oWYIo<3=|!lmc^pBt;hvR^XBBx# zEl4YNnHV47HFol_l2+0+JG&Bd@rQa+?-nWiq+CO1Lcx;;AT7s|vj3GI?a<jZJFbvc z9om?h`|&u7qrVC~c>4)z@J!Wkaa>`vSw1cI2HhwPt8B&voRvj|u9=8Mr8Bi2>rSiI zll=K|8TNKu;jDxEY;5?FGdRkR|B4d>i-g@-n@j&~%Kxe7W<_4W_w_1TA27$k<2{i% zzikw4hn&CwO8J2lZ;~5cE4GW&EODRN1~prC=*47$vX{%TjVG_xh#?Jn<Mb4B%p(L3 z{%LQGsEfC20s-H9eSP3zaglz1`2BS&TmPAyF<Et-(Hw|*%(>2;49*=r<kuhM<)6Ud zstC{coq7IGWy)*6gMf~>{vB~f0pRiMBw7C*SU=gA+R&xh2<FVpF1t4L$K)yDT^UL> z6gZ|P%62PFIQ74xW|Nh${3?YqV?nluwf`)<CgB3@ovby0-6(i0l0;F*8@p$D%F8xp zN-|GY(5}J+Yfi{6FXBNwI=kRuC8A6sg;PtkEm>tnV4}G<Ga!P3B5OU{z%IKc!Qs>h zq=gg<m*`Od5ZB4%>}gA*18PN$V{<ku!ptD@0(-}U)o17!xu&2rC>p6fqpY5(VTro4 zOJqN(8|PH1<qdfKF2ROocX`>2eMuS{%u8>${2KdFu;fj6V=q}-WhO{%3*#<2FO2tC z5UEj8WDJ=7Mn2esBF$gN4n)lY^%B`arOD|tTb#9YijCSbrO3B_m$&N4e=bt^;BC)@ zN*DLKP#3L~CahdPN>N9TNxdUTd@K6c68Pi8B%e9hnHpVTAwj8`n3&iYnVIMq*(ewp zDX3r=WbI8v44q90DMh%M8JSranOOcKl3WZ5+knLi!ysnq^v#)&h53K2m1bgOVomG? zp#(D3W$jnlQ9CZGH*290CB3}~NDXKe=9;~U?d1Is(nT22YZikV`ENFo=gv_zLJiYb z#Tp*W_8&w0$w*uRNb(Om7D40k1+jkgf;WM77{i0dpoD{i6<hiS>*DUa4Uk=dms|_S z$ciP=I8j@-vS(709t0%9^R~PU_l>W6-~la!PV3%8o15Mls*F6@El|detP-V4_?-&- zlur`-)E?TK9`;4M3JnPYP|4JB1gc|RO8BxcqlMcQf=hvhYJ}VV_t$A=1!-IZIzQ9L zw48~ibr?)h!#U`5uYA9`G#+i7cgvr{O5!?63z(lDf<O^|V*HNk(0;UWMsPRW@eVXU zAGy1GJaF^7+4Fuo&~F_pT>4$UGU4hqQd(mE35hUM$iHegJ)<@pRxVa<Ap^P!S%<7e z3iOlih*n0bAV$V=Aq<&JVLcTd#3uy7Pr0I{{bh~EJX(%Pzj+r?K7liShl)wd=z@iv zoH<1+45mU*#xL^z^qqDiBPV6Wy;lO5a|}dE;-&S_xUygqLTlU)?yIXN#Z!HfsuB5H z4q1iZ2hj^@SFok>7b6^yH%W84L5x5L!0Z?yw9?>8uQaW`$9{i<;DkA}|4xms6=C_& zo6hkv<1+m%%VP?I%LXR8p5qk4rp}mAe+!rodI_=>(~$SL4x<znP=uD>6Z^O1Oo6J- zq-E%2(_>i=N5Q~R{VmHCh=rBCn%UfGR<f#?N`Fg(X6~p~K>P_qnw1jIK3vp4#g@IK zZeerj_*+Cm^gSC1F4jjO`ih2BR?EiO+NH}(UPhWk?2C3;jueHM6ZUC-2|GjNn*rb1 zIWR=8?@p~!<3BeKM)Olv)XqvPa=exCeM~V`>PH2!37Zg)lTvIvJDe&Eb`RkR6{|@Z zk+Ln+Cpf}STBe8~!VNG1hHhZrjr7%V$Cx-HH=>@0`%gv%e#fK+jkB5*5wT1NH|U3U z`M%uk@3(mIXF(kM3gF!bx65$_Tb?hZeF458rUdn{f)yc=D%yrIP$eZJPbFUW{#$+j zNbLR5xmX}zzmOE==X;A6*4J6Yw4iC$A4T9L&{yBws;#`Sm1bkog63EYikM7l-%B4V zvi$!!B4UFtwS-f(dG~>NbGYJqTXrYWf#0%%Qb!397ff@o?f^<;cNZG~A|Kg`L2VjG zKDo!vM{%|F(0PG(Uu@m?;q#Vupkw7GyDsbnIs40r?E57dz#BXpmzl(Wia&I8gJSDT zue~ndOYq!Xgj78he&MP={Csp=_WtLJ(FcpU<tV#ZJFB<x#6C){X=R1B;QfIW-#43V zN+5LV=?!Evp~48p)XpS%F996kqi<nOHh_dBfoIW$VNka8G$mx_U}s5=frLf1WoIO0 zBvgW7khC+i|I23j&!GsRHm?Y?D3dT77bh#T5SOqJBO4b77nc~jC=1KiuR<)MT&(<r z|KB1X7XPy`0Xr+#-)}C_0u`hu9*dX0&nnq2cRm~UK0Ngo&z@!*_gLwiODUg!ifGs! zk!y&=o?&uJhDYJiIG$z<U^og73k8q_>zFL(K7*2j6`E4w{D5A<EF?kc$x%6++5x(h zFO=t1=Wm}EyxNX^idCo+-|}>*6QxU4(tf`e&$TMiM|N<PCgrT^1Gjf(jVNiKV{WZG z<E@6-Xc$XeWzSOf5#h?$lz7UxK=ZAl=c6p5dRZF}tb*B!`y-r6z0Czbc1M><DQwa| z%h|U{$#+#b`@XM}vRK_HHh*V584PZ9JwL>T(MQ}EVD-$3(U087W97w`+{fHlY~{t8 z+z->3Y}L-D-dE;i32bi5HR`678%8ecHD;z+8)h!UH{zw87z%eUU@EUvwIZ>X4nEq> zuEJ^0O_tcs!`&>J8B5xRo1Gd2Yn?LiqeE^KHi_8An`J!UH=<cN{(P8uo|`PSosNM0 z@Gev<!%pY)t<-ehu+b$AY0j__-0D)5WH;X`cz(emh;Vows45#Yg=u|~GF_9gP28vA ztYlZGqrb%BEN{}Y4czDAtVXvJ;l<d@TXt+TO-tT%YE?-Mc@=F?-z;0!Y9vcrH27*8 zuVvwgXICPc6wYejN7o45sBp}Fb6d)4UP3qB0ee4(UKSX2zvZ{g+~|>puobJdYM*;$ z?4F0dVH~v&D7zQAD$>~n9Q^r8x0+e_h^$xIsTQt%*r?qB)K6*5cmIY=7I$ZvTRqLJ zTee}lHyEB+ADPQjPANJvyMQa>Q~CDp`f<*%v4u#CZS6GkZN`AkZopz_Xm&2C4BmRk z&#a_UIb4@(c9OO+22hx7J{?ztecWNy$(`hF<m?7yX6Mgt7@iFrMd-TxO}Jlw29b|h znaY;BCY78ig;!67OfokLTm8bTE3N-33(1JJ7#*6~l_zY=v9wDgi|)2ia`cH@_c@9u zr(SNNRi<m&`QDkmgzG@E)n(NqQ`Tx~F3Ymbn&)-J!+n*D$GvpN?7~Jle24#+bG@5u zNvtOj$AHJ-WuBatZgLe{l-^k{ZrhH%$ZdBw$<IbC%Rl`gc2~ZpwqyCx>?3g|o$Ml4 z`Pqqeu8RGk)Lr)vCRf@1lkECmby4MO>fZq8)l)n`pzZ;`ne`(YvsN$Z&h{=J0jjs+ zP8h*S`%vuB_+WQF7M0%l4QX{-JF~o$_2C=Rx@o!y{-r7fAwN=knDIdGPQ|wKj@JN2 zggt&TX_czZKueqBZ<1&zYUBtDlIxhQMuD`qlCDg`x1cZIyEE+7dp5?JgM0Kxn#FrI zhMI?a^aq-Yld}k6acE#Ppvw)|D*PI2zAW@ZEJ3Xp@I0K%v?fXQPdwOp4v*l~z^e)W zs3S{EQcYHegEav*lp+oX87ReWD5t{-L~{ohRJ8s8JN5mgH_8H7(yND#`NNU;9G?F_ zz&iO7oVEeYpTgnftQ)VH3(0PZ*Z&6q9@Z_WZI^KMZxyJ|+Hj<|&+#M+>9WJg5&kjh z#+w-RcBUZ|gpcLPdzdL#Nbydq_8`lGr5}UNr*&iTaTgv9*9lvCle``t`O2B9^Vt_) zcIc?CK-_QrR^@5h&8R(nVJMMQHky@h=0;+cL^hhRGr067RzFIf_bQz&3CJp%5!WA3 zx_LnY|K>S<#8iCGo!C{^u#0j+R5&yBrolQEBLog%2o+=qCT0j%)ax8Vu)sp(D>oJN zfW(LK;@rhT@M6$akN6_fRgd|?*;SAFLfTc2`-0e2kF3^frSaL?5YOg^ZVgeQudi{& z>%TFv2{^0y?AnLF1PeTGema#a)PE_jO?FhbU7aD~gu~c0pnjcEH;yN9fQ#yf=7cWZ zWX%8p%*l6Trg}YEz~ncLsC_Qq2jA%X(OO^@4M3|_gfh<ITcDda*;oDA9T3j@Kf6O2 z{wU5HY1y9IWV-?PI55Lqy#8h4-0C>5*CXw|CrR4-=>}MRT?Z(<^Hk+5w}y>EaVlvO zxdrfLyBaiRkiD%b6W?y%L(mE=FAE2g(e<^w{{d<*F6;J^VwJ6>bDhZ9ndXDkOF39m z+Fdd<S#^iAVdgYX4cnn%{FUxedGg`>bWaV3v;TngW~1V5OQzyI?1q$CBe`%cy8Q;% z{z(<!=?-JNLSxZL&RU+@=YA@0s7TEloTzz7`RG|dOQ;GxR!hW+sn`YeKYISFu(G}< zV?oqFE}WXK?8Dz<H#*?1kQ4En)}kL-W$2si>q%{&@RmsigsN7v(&(F0#il|yD_vK^ z!;B}KishQL<sX3|R}))4;Ey-f;+uyQOE(tH!wih7p0>6>m?`FWIBG^HVMaI-Mi^s8 z_@aKe6zF;b_Hn;fMuh!-{{;H1P+|HY+ZxJ3wCu2DWDS@x1FnkiiHHdE<wW>}i(h#K zt0AK&FgW~!_rlYANv;MfYhas-8+_exEg&<3)~IZ~7_7Vu2qOA@0nSg5TZp(pBo3%i zy^fq96k7?a+bHH+xEaCL4&;Te@03xlAoP7?EpQ)W!0^*j0Ym?YYOOP#T_0TwyxS)I zYQQt1qreaGKbToP%I*+TTi_i()c<f7Hv4Y)VWV0|w8bi=xzkuhSTN@GhCq;DM_54R zFvZPuqOSb<hXH(W{^!(x0IUHKEvOc&`}C$z03<yA{|;h&h3z6;sQ6x$GNe0%iG)ek zGh%X)E~I}>8|WJI{K=_Bftp!@=e0NmhhZ&P#*{z0<*79nWBoZzC>#I>&-@SA0RuNe zv1F4gyvdy!0L-Bmb3_Bs;s0wd(p@g}+lOKk136<*_vsc86AOhLA-^C&oMz>xlXto= z1OGPT|L!!eMaP{P#SD--BVHe8mIL?spR}bctfq^QMgOWFl<kW-p_l?OYX~v^Lz59_ zzegtp^4bstpbhjb{!_nVtR8O2Kr4N8;M?%LSMxuaTM-OjgT&rzwgjq8w4P)e>@MDf zvOTe6w?qQNP&*{o+m*o2f(S_v><;VtspA=&2dwrI=}(sRDW-cnn=5F?EH=;Q<Sl2Z z>~6&8Yh>$j?ebdKP2Kq=GRSC#Z)o^^i3vd0O@1{1Prk{$`aRtN)~+9~1@?ZEpZ9z6 zAIidwHl%h>IQcCs-e3%>&S!?oN|;t`tWK$;Y;RU8VMfreRZ)Hg<#AO~ZPZ6)e}UM{ zZrRWm<OJnM;pn`Pa_Z``#DrygDXQ0U`<u(o4cfx1{nDj@!Kz8=JxGjv$wcZcpe+15 z;XGMS#xXOYgbR30!Dt+{bQx`FTa9Xxil&mOWFp!B3%Ffq7@aJ0E1ZA8lJc|aK<)&C zRC+wp4@EJTWLp>tSMXQaxup;)11oi^JXSSNq*k?4nF9HHJTx}m5|XU^__`6vrw@Q= zsaPr&iYB6~{y#yGDgg*dnf&*E&-sAdly-soxjtk0xUOP3o35V~KXFWoDVOQui6#r{ z&Nv7Aap~?mr_P$nCI1DFGl`0BYSixo7sFMDv-9H4;2R&La3j%I{Ym%8?O%{QiUJD* zE9A0RbR|z0!l#^*oQVR91xR(%yjBUeKPx?&`y%qp^Euzb>B4-NydCvY+SgU@@M29A zxV>CT0sT<4lh}OIewnBJwC3JP_iEQMm*mSabD*luF@xr<PVnphF!vw3i_(YCZWi}K z)bD-G+d7ofg@VbTANr~O3xL1qzOgfbPzVcxFaQRw4-u{(DxwclCg6zivsuwqbN0ZS zTJNdK+e??lq@M>P0ea6@4X|)SXxc#28eFv=DGkVS<wp*FjA!l7I0hIM@_P*3I5g}q z)UJ(KO+9K$5G#g|r$2UTcoG3OX8v}_yI#)I;Li?-UxeHdy|_RD@vW3)CTWT-m<)-% zYW;}JEdN;th{--KP6UiiVjX|XnLk;;wiPw7voZLks@Ek%C_Eie7_GVY)8K$E6v=r& zZ%Amc0hG};6Q+BLJ4_G`c~*c>P-wCk8u9dE>C1#Xj|odp2suewgavcn$bSJ>TwVD) zBfn74J|KfBz4y+H#%9M_xN&+92|UFsro)?9#N|@G?ysu6WtSV#aioRoC||OAOzXsr z0&mO<$OV#B`(dmxuNreuGdi&4vpo?<iX;;8gcB~72EC^xm5{A$97TS68==eO29oh) zvPrCaD<+aGdYsA)lJ)y`29n<x6bdC1$yL)-086D0v~L*Wd~JcPu^5tHTi^j&GP5fd zk0Wcxy3;9Iv8QnDjlFc0_<$*$24;y|FcPpo&sx)tV+}pS`g7hy@<ULJ)xOB@ve_tp z#d7nd5tBS@zmwJBg~OO?C_!R20*Q8p)p#|Gbpo@JSe9j|<bxGknryjwRjY)Z0<<g) z4@>#HO#bG7n_7H+2!AY0u=Oa8)_<*b{D~Qc{T=3p;K#)qq1u4^928v9sb$!5jJ3ne z3?`<L7C#;wEnPOWwE?SXbvITvV_U<j!^~By0ixxjH=}cdHxaG>U=0|YrmS6K16)%7 ze<q9pjvDE82<xHwgW8u%^T5Z<G2MX0#&7AGed!C20mZ5RS`Fk~A3x`(VMAb)pBWR9 z8!C8{5!Wx@0gk>WG@+A?k39<36-KTfixc)>lUK(--GRwe;QH-h$@JeTN<aL6$E!c6 zc7>-GZ?30%AiVzWXK2Z@f38e2roRPv3MXY1o?;vfQ2=^9H14*QT67?)Rw|{A`9sNC z8<F+^1v`?lEvKnHz>!80h14(UUv^oDE*$4wIw(l0Z&h!zUAJf^9Kowph`tl4QmR-e zmWWMa6|Q`@SLg`WHP@oJBNmCnW;Z9Hp^Y%6e3$5C(}9ku7;p9QQJVEv!wN!)NJ2LM zIVdF(3E+Pa-DJXF=3Rid^$yj^c=YRK;ZP(tht+DyhgXr<u~wIG(m~6joQZV;4^H0f z|K+E{a2TB_jdrz?HvPxwf2<SF+kr@1(U#U048>tfTQ!vMf!WRB_oL*<pJDyLF)8T; z6Pv?S1ULiyk-$k{#84wBF%>cE=_ys=ibppWjf_7&6ypX1yo`LL0->-_kUtza7EGsT zZ-74}I06hlDler`Ln<WrBFw#qke?BiLw=51Z^-|sqEwi!-4x4>{?MtAlOrhP=MM@F z4g-UVO1XMDSe4+@jjiwZj~)Tk1Zroo4+mgS)i)JJ-*z_!D1IvZ$=MX@4cG>oE_UER zpJ8xD_)q1pAZ4iBVPBsDdBe)7o;U7|?vwGbV2P9Iv0$M9!-d{mEaMxpkO;lv(<uSW z39x@h=KnRJP61&tL?4$+yfm$ywPoZ`9r_rl|LxI2pdrJFim+${Q*>%@jih>|7-M@j zk79a@h@#(xpNfc#|F1UAKAP<;jpIFrYMZv9s)Ve_w6ceZjf5t13<>QhErwQu&WR*m z8nM({E43|BWr9Jol_mK}MXA@$cw23^w%%e)2tO~ymZn7v+Io$U8t>U?yR*Az_n&(| z=ef^$?)~GQd%w>;_uk6W)G{b6&v<!}-T6#iB(<(JWVKR9L{?X!l7{(I&75UR0!i>& z-L)8U9wsXr+7|ewmg|HuJk22b$T#A!^tps%y&6fq$7te+!|g9B|2lC4K50cs+5hw~ zL5_NT`&G2=Vw>YrC{$ilsUI8en#J|Gyr~=1=Oy3Wl9!H9#o>ju0Ya?>folw&ob*fJ zkoI`*h3U>s&7y`sE<2^U^Ip;gkg^OPF>Q-`c1>9taNJcNa%Z9L6~4C#<S6^)5H;7z zZ!Gh4PSNkKp6%?v13MAI>}b@-JqmuZ4<-v?@`|jxS>q|MxWSm$OobNik+i?;+)YG( zv1caUTGkehIG4MrCK9{T@gKcCIsXf+uUVF4QB~%4U3E_i9x8KSuH63!?B7TO+fMN@ zSsmtUPfA{KFHCPMBv_Hwu5$}MtyKH&><<^$mok~C5BgYO)xyHOxYLS$rv@r^eyzxE zvlAS)rK5gK)+j2aY27INgTg|my3`uywO;Vw+a0L$V=B4U1TU6dT%XDxS+O74V~Tvk z)+tEosa#$mrF#ZZy*;#L`?1@hg!YocCOw}-2@<si-!pha0!@}WOuDun6)A)1zx1ws z%8HWfYst8`)}yypDwl!!m{UgbBNWaT(T3GxZ3+QX5i!Gfm=Jk7VgA^^^CGSs>yTW& zbWrpYBz}L*E!{ZE&Fb=t>kkmz(m-RkT=r6=-JiVQIw$IJoZiGKhc*MmQP~n!uv4<V z&g{_&pHiY}39S&Kq5I!_GW`p>8=F5TH!qjR95fp$CDRJ5Xxmi2GaQ0+9DbEk>2rTf zeR`>{rX9;XfBog0?uBXE)~TVOE<aFN?Bd8^Jufy}X<(i&cPTg)_w7*FE)-~BlF1jr zAqXwW@A)m7nr+vH%>n)(T<8562)PHu<&)_)hcq7yfA8sF6~bt|yj^WhGCs+J+4_7{ z572u9@Q&o26~ExBG)}}}!3@yjo~uZ-@)g9-L#N!H7=z*-2X6+0&FB`N;6+#%f87U` zb%8`FSkrxQE7X*J{$YZ8u+GN-W$WWoZ!JFqg6#G#aH-n^>}veJ(<2&WrKoHT{Oc3x ztjmnvh$mR`&hWxWrQb_n<|gnrUmznBnE3}_<O}Gg&O4cSu=PxZyxGt`HwM0t=6oC| z>PMrNfePSfmE%ezj<<@Myd7}ssmWdk+yfe*IcT;d0B5HF*kb@@2q2XpTnKuwm(f`^ z9Veeber*NYKw3I@Z)jdW{vjwT5#Qy<lz9!x-vD(g^dX`@+`Vs5-tCKSa!WzPWAdnF zVridb;0L?47b*TX3ih_V`);Z;#4<Z+f%KOFxgrsnZ+R$bjvHKgkHb&}g_$3MDHWK@ zVej5A`adiw@=EwJZ|`8g=8a(cfVYY0Dj|<ExU{HfA8?x;cdoO`=a5X1UUy0-`qa#Y zM|NAL$cZVH9S#R`w;kxLYN)fb%}!X2K=+(Gu1GwQ$0&bp=z{J!`#`bjtDYy>)NrBH z#mS#sH`l_|m0a#t0deQW3nFnfn>e=NhCt8;I=s|_M53~pNOWY&To($6v)4D6TeV!; z1_jX)TgIg|$vTY27bb^8SCy+B8}V<Oi23TL-0_`U;#fj4cYIx#xV1R0m>jKXzw~po zUsj@oG9rk!*p_D4ZA7WtQBfl*j%QSm3?m$C2e09qkOM-2_7%UV`B_g7ojV!R$`<{g zKjQC>wWr=>f8La#&T%RsU@zsnMWw4ay9EkGFqrY&qJ1Y=GgE)o>QF^cvJI(D9`Q*! zf6r@Fk2YUfx^`l?Wom;@QRmFjVz=Fi`>6iYDB4?lfKrnqgb3#%muK$tq;a?gss%xT z8h$(#S@gOp@7YSM0v9{#x%fV`nk{{gY1j#}_^&vhtQN!kDXP!3J@6W$q!jW#bn#o$ zfA;&)*t|O!U8n23xo=|w+^fT-an=phyD>Baq~-9>n?taCx;eziXAGL8x<*<PP3$}$ z+}~xh2X>LJ$Dtdap&ymdO+3<IHU<oFgy6HQfo5QuPOaWCage{3dms#*X83<o$UxJG zH2$T75b}X!dHK08v@Q6RJ^vCCg5Z;o5NrL%_SvNvmDlw(sJj}G=4`o-pMiv!L2R)n N@dqp{T)fU4_$LjNsT2SJ delta 35338 zcmYhiV{~Or7cCs)#J1V7J5I;8ZQIU?ZJl)7amPNf(XnkC-BE}A<@w%w$GAUgj5Sxy zxmNA5QM=Zz-8{n7ILK7biU9eT#)jYk11Wlg5>|*1Rfquj*`Pif^k;(s7b3v^K7iun z1z`lkV1w40p%{S#hVC0}zqfirpF9>7hR`8IgQwJ4K$|6L?egx|&76tl5t2G)Vk!Ko zsRzIvLkMa~f<~s3bz4C!h(kB;hMmsXVg<Mf@{uDD66VmYG?bjhP$So_ET*bb*zgPG zU#f2vOr^G%`fXtcW+=)MaQ{L(`vi62HKY*Bzg$l2KJ5aX`z7Otg4Hfd1?UJ8N)$r* z6zAz_#_qn1LOV*gm-kEHj)iB>d@ya6JJBrAA7DDs9MD_-Lvii!Bww?4QIfzO#gzT< z@csRVB&I1iIT~FyY+@r=7Go|8R#1_WvT>IKtyWCz=<?-H9rQftCY8F7DV8tg?_91c z!7#bltXeuSxOGyS<NFk!^5EA>b<6JDsh`QFf%Yp(%pGQPJxmXNHF`rI!5R3&SYz>e z9wKLrJvmbZaf3y}8R3<U)|yUQ=TgvO{zmuMzk{(c+VpK-O=@};6Sjg9&9!z;P$6`) zQ(Wez>Cvc6glYF)$5Y1diWu#r>#I`C50m>M(iYu-tF`B4VHb1Mlb)S6u_!^N_1(dv zObvp&{)V24KlJ_SE4v^vx2ifb;Oa+6(+#VeFF)KT57xV^(oQtDzLdb<#3Tt|6HeKz zZaD|*>24pSL~P*NuwzUwS*hdlgTHBS*jw<)4=SoxYpUPxN&z8MH1eDnG*M+Xy@y-E z?1^)M#g)B|_eD*oYZ%X4_^`4=nHzcMm)RF2HozvhhN(`ot6ito>xWi`xH>}JAuRGJ zZlpaiJ?=+cRlaa9$nJ$o8*QOHMfJhqN8Np;QmMGUW`%*OH^TVPQl__2rUdb>hC>s7 zN5>s1?-8-denJ8<eAOer;wl4eq$<x~2>)*2!g`2+_o<>}naM`GvXlv-q`9GuI`pyE zxmJ6twzyOgbOBAnx2JL5o2|It^jN43cKzrb+Zac})WsN6FaahI|CR<7>Ps>9goZ|y zdjp%lq0?52bB58yA<#fCLO;@Oqk(AIuR`WdYvPUCXZ8`Y!hK{ytq3m3MBd#n45re6 z_)s%)j{Nu3i@K=_r@FaAJ+C&%h&((}eQ?NT>fq%Ap|3yclPH{SjF0wEzBzDQnJy}J zFHqrVFzZQE`*19|=xX>$l{7%l+U#-ZdpLO#!lQbhmn}YeY%JR2>1bcinQd^HqzE+| zEoy#XcS67?*o>p7$9L-Vs4R(rlI)p)F%)<)C-(7T^{VpeDKdlUWU3(ay_t?hk`4^g zSYlRLv3T1@+0GE&RkGb><JP4jduBaGx&T*oZ^kOvE-32nw)F7L@U^9vZpC^+tn8#~ zoGRLqF+IRcgYTtj;$?qch^gnfj+CGHj=T+58|UH@iwU~iLJ-4$o6S96lG?EWvr+4F zut*h(C44UX8RmaoCpk8#ADNW$FhfuhDzjjS@0yH7$Ix_4zMI8S-A)a@D$OZg`%5^f zV5s@RWn+ChGoxcx1wrw=B#XK@r6Og?(Sum<p5y!Y(c)zu=i}{K&q`B;Wwz^Nq$}ha zo=G;zu7pAJ_6YW;2DuN@ut`8i;)toJooy2)|Mz}U=W#!FtUYZcXNIQ0QwobcNU`P3 z2w4|mx7|W<F8>gMT(OR!OJ&)%Ff-T#Gy9~i@kMm(*deJ6X;^efc&$kE&_$sNXd90U zBLY;@2$N2S#dU3pQ)j=17E{mZRO*1Q@;~V5$Gr%98cG%x5R8_*9Kk^Pv<#v9%i_g+ ztP1xn><V;eQV{v*eZ0x64cGaoBg{HP|7uS{R%%b3m=Ff_1l;XPBK*MYN0S2J1i(QO z|F$E{g})*t0=#;_IrV-tw49d3{pel->notB{I1kzLJjDlPnAgw{d3q;Ja0mt;1jLU zim5n=gY8~=E$iA<xC@+(`w=%6ebbJAw9n}g5VT{BK|+3lE}*IF@l@wW79yoanvPks ztUS?OCc)N@=Z)rm)1<cXMP9JDs5$cQ0iry%YU;Q<QwmKvGlo!=^w|EQeY{p~t>Ocf z*=ztB-ba5Ntf2TT-R&UR6S9evMbsv---r>eNU45m3_Z@7XcjQ!Wwjufuf#4$Dn0}m za;?9PECt1^MroOl(h`j`gRz8QG1HqC${zs{cPvW*L8uSyF%Jd&5{HJAbf{Bg0+wws zJDgpA&eIJ=Zxo6|l&FANA7?L4ZN9-qwUveHnI=8KueNQ&(&z|Q%KACjJ?y|iB&dcZ zwmW7J>`FY8(hX#ClG~+-Q@$`arl0!O=73OIV^rm=9AAQ6-Se;Zan$yfLD);j8Q7gG zOV|_iZ_gGR6QSFj*<UFPW?8C_qI~aq<^f@$?)G*(F7=LHaT=juxT<)npZ<W(<?-kx z9FHTq5BlC_jB<@}qAPc3HH@Yl>3UB}+A-)dx{`_+3Ll6vmalXk2g3Fl>vP)C=y)bQ zcf7~H&_sl{$Av$r<=jLV5Esioll=2<F+nC<GRk+@YoV3NKb+d)r9oH#I1dqFB4S%; z%79vxho>w)$k7uOnPLu&L>T1YCtcXe^2KS2J{{2vuJms}E@S+Tu5BC3FAHQ2ZVF-n zWN~p$Ob6h`{>Y@=o`xMam1`Sg<&i}=<hx>u^Xr)E7BO<-q(s}zXq4{4GYMi&<-JB7 zB5r=*=xy{3T2g-1JT<MqO=1-niU_uG%g%Q-xG~=f{Vuq`O+&t0jsPS%$;itrqA2ak zmIDRT(Lt-G+8kj|b$X=LkO+r!fvs;7ci+_-Lf?U?=*hf1ZC^OmB{OME_3OA%m-YQG zTNRI5$5{^AFq9|OCs#P$t_HaH5Oki8mp1J9D~4DL%q5+BaU56t%E!_5Mx9)}DaBJ{ zsAmdP_h$eH8UzCfLOhz0-ZxdP>YCbF#$LA}m2bGvN4dmtE8u^ET5R*|({|YKAKNDP z5N*IIR`vRIWSE>Xo!X9|U??(ox;ar!MsqPM2-U+EazxD??oE$=;;V;Np0qN7H{+>7 zdMCF6Om(Kmg&U^Ff(i-1+7x$ZYWRLM-0!WK7DEcDZPUN%icVzBPZv2IT)kcWw)l{1 z=3u+?E4QQft#4xEL^(ddBVlXAdIdD%=LGu&P55K3@b?p+d5jt#e>KSVytID_dM;8Y zX3mpIm9ToZ(q^pJqsJ>->42^;!$wi#RF9)HPVaa^etYk@NI41v2GwvMiaI=-l}DJE zPWqQGY*V*UcOI2nb9nN|tF#i*Ml9P#MsM)Fn^>TJ1SD)|PHrxct05E?Brj;!8;Suq zrKj({F@h7cQWsnR;GymEzEtAKb0yhurFEoBnV+P-E<uM)!B2re2~IsS-f{PGJyEl; zEYIK)XL{^8`I9#hDj@|w5xjeFMSz0vwh*jJ;#v&#MPi5=2{)%{S3I~o-b@aC#raRi z>NiD)UDh@vhbdYUe$3P_^mSo(yQ90n_+7Jl%-^*F<&lzlaVFE@vDi3C#@{{czcPaD zZ&xMs*aR-+rvfiE^dzP1cr$2I_JJ^bIo4o{iGIEWDlsmW=asl7JZE}#$Wn~bY*@S% zNY0d9+GIHiE}s5j&0GBnYj;^OQ(*C0E+<J(_WQ-Y|5qL9bp*>%yWQl-qss~)sHq)& zFXBC-(QFUx@rms5iFpxgp{pwdPfjY(xSw^HkiPfAPRD1PRdAJ?h9j219u%~<L6VfN z;)n*$Sb2PM4%-2tF%4A2?6(P!S;BQ*sS=M4^G?gyj!v~NVn9OXxMLy?Z{9wI$9V)U z)s{q2;lpcv_xiE3AzZAhDM15t?4)k-CZ%^9NSs-C)WPO+khhAn;-|>IbH79c{L=Wk z;Wb}sh^{l|<*SU)OE_m!;HtFQ0hziuRy2*PQq;s3=jmfq?YuCak+vzc(52M)07rV= z-R3ppm(elcsp?cF*le9egdy86iX=g;!s4QvY%7=UFXPh|QkW^OHZB8fOnd@5y|8gy zLhn=P0y7hPA*nEmE5hn&y{Fta`lz7Cg({TnSap4|@4WWyj?7VEg;Nugw{`b_-3l#V zPGN;n4m*N3eo(sBnqNXy;zE<F_Z3;KEPhRcyf^DFTv=AufeOb_A4qJE48LmqplKie zNAJXb7rr+9@$a&T*qQ@4;)qf4L%};1NM?c;vi6j<AF+cm1aUqB@ea|O9&%(4XH2W< z2ivL;SO05kp$Hxq0`7vN9SVQ)g=hDnO*_LO8`C8!<aRQxQf?w>l5*^>=us_&3xXQn zLNExE;EeRoiDrl5c!`p=29;+7``*kFi*DVGsjt!iQ!lgACBb(fVw$0$117|B&-<Tk zdFv5K3QxLhRJ(;g%_MGE{bNxsM(Nv{-<(?ZlMG;}JG?pbb=5=85zF^eAnrJ!o;toc z)w}59f-{W;4RFUg+*+2L*y9E>s+1Z289}0R-2}fA)XH>?|1y~z5>`5f61CoH=zWg! z#&yw^SveUDu^s9I&bHl=(Gjz?g2>PbXbx^~Z2dIb55Vai3R|4*2IU8tkSPA!Mbfg> zO}s^~MXL_pp6f(^wt2%MoU8apEydhoKU~4up<>ko&bJs*OYxCw<=6?rJ^M<3nk&_# zw$~+?v{328$-0LJv;N&y_`%t4JO73-JwG5z!_fT0J}XQEgo2mUC>T4gBZ<q(Oo?90 zl3a<(NIO&NuTAB5<to~(8dJA9Yy%|M^rPm_0x!MugCPj%7f3KlPn9`o2S?-;L@paQ zEVg{3$h)`IG2uov;4PS5Vbmfyj`!-ZP2x_Y2g_X|?v+HFPjHf`;L1W`cyx&Bk&d`$ zaz%cV^K(=JABE2Aa!g?!6J4oM#x2<b-p{UdZ*yo?d31Ry3FGF>YVg-vL7sU|t)5F5 zYr>2kD@4v)Lg<d8PJXF7PfjoFYFsD3)%Mpg)V{f3jQ)dGdrRIbfp<aPq!EuYIwplj zb0Q0txL4hE2QMDgrkpFPwt5(`Of*+ECSE^l4#s%`UE!rNFx@nEZIDTuVn?0EJlPMp zm~O0y<3pH9V~$}UqIQ#L+sKP3c%#U3T}Arai}t_~7tl~1Q6I``M(wdTu_X#87iQm? z4PdjF?CA@2>c-8$2JIk9=S<(F_4;4m97HgiD&d|glQ@10?(SPo5MSs8rQ5nKq|Z4| z{>gg){>rZ8sPVQ;Boe9oV**akg=z*t`n&c7^X|OinF{lU)M6F;<?caHdI0YJl!H&C zaTHYVY=Ye7^n=2p0dB!NvyWD^mb{1D(9YhI_NPmK2xFP+n4Q^s@fO%^N&fxpYsM@W z?AktB-YTGS%`e6<+1p}ZRtJWcvtxXvNk@wV;#{46*K`^ls__9W?Y44x+Qd3C`^m!B zXch!MA8ieLf6(y#t=vjI-K<SB%-})g7{JIwSPS}N0n*;^*xQe#qiUXNMnj@TV0%U$ z!ZT=rLj0Yx3=f03KGF#P;lk+Oaa1ZiDG#>+6XoE-am%ZO90XC`b{gr0@X+OYXBNy3 zoEl;4QMhY%aJ+@u-!7k6dq<|#`6s;PB1YRh&a>fpo`=+&Lg@O^!=g$xXa@4<WQBk% zY;)Y%j4Lm6O83zB2Zix$lVX_MzW%Z%XRtTK9nz{nMPO@wZ<KS_ZgjCwJc}Qt_~p^y ziNc777KSWyyLvXn%ipGAmSs;8$7i$(bm7i$yRh`9Jk<hPlG$4OdXWn*vY8R@E39Ej zyN>>v%<+KIdP*dqYj75!<=BGMT7xu!V^t*Ch+|urQn0~E5w?0euUZHb8rdzhJEg8% zwQn;36iDce$IL2O4Nb6dHtYU6L>(Ww--ECyQHMh4@cOyKV7gp?aABmeRH91>Y?Zz^ z<DN-go-$1ndbgOe#J)*-Vd;I?ISYns_z~fRDa)_M{)8y_tzrS4$@1Az%}Ultgo10T zi-HkbSGk=m$zU8p1@nPGYtchXBZ5iTLUL&_c6>Xwayhm#1c!u-u%;q8&Aq_n8>HEb zykG%jUPml^OAI3$q@Tp%`w<L2Fpq_Lof<tM;>l;`i$gw2yoZiMBVm(vD`ui;L6*~q z6r-n3%CTZn(bXQmK`qk#A2v9QZ_HrbjUN;SY@pMJxd!!m=1Ri-jH=0_sv0gZ*ug&9 zwl*6*5Yg1~BYf!9DWe8WRCQCJC!t3qI!9`Dlt`~;P`k=Pzns1_HRApo&@WiNgRI-+ zNaxX#?59|cKjoIeTd1$4FpgY_c#?GBFGSbjb8;2m5N)VKbw6Z=-<=`Cj6NFF2rh~- zzspv1J$H);xqkNU2@X#+*_K6xsgtU{`)JG2ues}>lU70#kF>gj9tO<Z+sP5^SrY0o zqm8+*RxBG_X-cFP7XC~^0+XTK6b)*OS8RK#wF5IvAqz90-9pZJGM26}%l(DNAl|cA zsz&K=Xxl|I9$x3zf}f_B5GMz!g2(wYOgkz9C@V}Hw||pynfgljQ+&|gBUwJ8R$Qlq z69iorjbwGS|3>mgru~+W>Iz0>AuG!oQjXm(7j1yAknoZC3)8{#6<GHzT$G|mapl_1 z^oGUH1NM1ljW}2Oby&p#LV@U??%IsL1ry<@7dmdQbts9eD|rz{K?)&{t30Z>`1oPS zCL34JrqjyWz*gyAr(!x0k=I_aXrNVA_llTz31SC5?Fwy-bJP`j^=d^zMZMhDF=_3v zzObjh-0%~880)`F$iPQ}5(+7<;&BPF8;q$7_6NMwib+YQw4%1kZbAoKS0eWl$J+iM z!@jS7r-))NVb*W)$qzMOOhLzSi`}|+@XGQ38ZGhy8=Ew1=UINqHj!&o_oca(@<go| z!L@h>VJ`@pbzl7Jd^#0xslH+F%?a|D7T%sCM;$r1dvoYzFabt#1&owXZ!dr+!R#=L zEMAspm=lrr9N#u3Fe{orSaDM)Dp^!{?~ahV_?hMC+sn*OSk`F^u&9?#p~_xW`uJea ztkMKWXn9rdXtll>KA-)CYaOQ~l9{LdO{Z;!aO=PA1F;(-fN%>P_+<Qk)UQHy)%|Vn zJZ&ri(sM3^@lg;r+iaFm$gNtTJW<7AQFV?t;C+sx-VH^`<;Uz8M2|;Rc95nypKXDm zd=R(ta#q(P<n2XV(?1C89}24=(MMQpP=6Ev8=9S)9R%qP`2{$vt)H|Yg&nkGya!gI z7M$Gj@(smNVW_O6DMeG!#M<a|mAzc_!u@mOKON8Ny6le##hr55o`3hec}ygg#@mL9 z-(zHa8{A(2A3CZ*OFJv4`a?3=i8T}mZIFR)ihXyX)NzI@RRj~%f6|xW0F9wu8WHkH z>x1`(Yrv)fmknI4-cF_q9cciF{Xph62<*1vIlbn3;<rej)j<Sb>5m1SR+))okql}N z#}hsaO|EsrXLQ4hld6uGX*`?x{=UbtmhIy^62$HQ!+?&c$${9cnl3F{KN*TfZ4{o3 zag^_YA%~GRF>E|h@P3>%62sx-j7%CUnz!)~fWaV{c@0E#r23`*^tL2qJjg5GG0k}D z!lUbtsGLYO8^jrp@W)9bAUvB>k&41^N%>?})-L@_+lQWY>kd?Wa_66pkUvXL*pnn5 zIRPgRZ-cLcE*hq48E(AX+&TsJU1JeTVVkdYT#<7`OyH%c>LRM}iki**eskrpaBSFF z^S1G#od&#dKv4_4p)xm1WA(WVz@o8epZ=_6=2J=a;kilT5JIu9z4#?16Rx7W&sSHy z(+;+}n7APKVf!9$XnVFiG+lM%2){5~YH0`ctgU#qur?KS<u7a;>c7$$Xs$s*NU^US zZq&Tb5$XS&UT*ZRSndEny!zI;Gx+wFU=1q99{^*Ponp!iq~24BI?*wH=8)LY`L5^6 zc~;^SyCIj-xu24M9Z~TM#N$aBvJUQC2cbcVr_4e3aS_Eoo+oPjNd0~nT<WNr(KK%% zmVhsuri2NFCp~H=K1O3H=Oy|h3Px8(>AY2&ErgOB^>6UeP0*A??GJ-HzBVj+tj%ob zU`XJTbeXQbss2m##t401u-!!13qSAm2Wrd*#iCfsM9Wr-ZvwYGdXO4YuEO=n2fa6s zp~PX@O$YHn<eg7G3-7Zj1()sHY3;Q5&VX95EViAj`BeGO=BjL-8uEoraEAkfoHkvd z<@-hX_;R~*t7pT8#}$+Fe20!{;!C^dS9W05^n*dR8^mL>_TDdasRE0apq4M$z92cp z(mm_8<~7II#~>gS9BPQ?p|Z9<>6y|P%HoE7wW9*2?Q!6j@06_Pn?Zjj9N-P=&36q5 ztzo?;P{E1E8)GF9pmVUFcM+|zr>Fq0U_^($*l$m#0a^NP78#gObamF|g3e%@Rxe;v zzm6wK(ofxhQs<{5&6cra!zvq##lhMuZHv~HJKMSn_Lq441~eFidQ#zhI%~QvHdQ<d zsJ|gvcNn4Wz}h>vM+s;c4ua_nuhv{BM&kD!pOEF=?AGma8IoXJinq$^vWs<=U_lZo zge%jNzkOJjc8zZA7ojlq!Ou!XLr}mR8|yFvAB6$sKv+Qpddi`22#ooe2q!2DXiXu) z)~nB2CiaiH<jN_(Wu0C9`biT;a=g?{6W#c+YuB;xNgc@r3$YE|f9JgEtf6qvO3yPo zAAQj>wk}0BIkk|(k7d6ey%yFm9V$w*NUdZ>{wOa0RUmo`=Wc&WyE!J3E+7Qnum8&p zC;P7POwt%$VlDGBEn9J~QkHf)O&u<e>Z>0xelo!+k%=pAk)SoCbD|@{9<UUkQRR=h z_rd&_LI+_WA?=dfBZuF(4*m!Wp<haD6n}M}tF;zEzaIOgq`W$i5(nK+pNo?u{f;v4 zEhQ(BCi-i-waH9ELOS2Y=+PY5kZ^DA`-ODfAb<7p*ARG`c6#`r$xOYPxc`Cc$psj@ zdu7g~e^Q|S5}gGgPf6)Is0eMBZ(DYS>Y6pA@wa1;vRnVVeZIRRxpwHO&4H6I^P0gL z;qtkt@Av{8{tlZtxR`>2JuF(!7&Qwayia75rhiu3X@D%)><bt8GrAXuH3*Yk+?LJV z7R+HMHQ2p2U<jBrRIJ5a(CB~F;F36d^_B<N7BO~Fk#fWu4Q^0w5*(=4ZJi0xFG1;K zea|jBO$@7MxSM|QA-7oj)=$wgF}bX}(&@-=aq=!3YEUcp3QcN#n=RsX$0{jr{kzBD zv$m4ST}uJ5bh2>waI*xx_(B4pIXL-1u5s|#U>`)dEHY?LK0Ywk7dS*#5F{A@2h6Sm zmxTz)2_83vgN29W2G82SO~XU7{ZG;40#}X(#l{CV2!;#5fa3a`R{ql{l)~u~L2`mb zM&WV5-F<LOq@Tj`Z8&%~&}s@C4-_8<NOcSL3-HQ7-<{}dW6)Dw)@X@ZcK^HEc#CFZ zqmh6;ozcXafq`$K<;XswBm=dj!0W}#6F1zVN*Vpw{@9?F94R`qNpO#MF}t~WhLeVQ zHAlkTTZ>|*|B4MGO3$3Eo|t*OB@GWP^(OU>&J=D9ku_GQ+d&x6WR=*>u9{oXgF}Lw z9q1aJs5t%|r@GJrF@eT|tJ<<Q*4ELcS>0fnei4Risx_UxlRW{Iqo$vF?r4M`Ic}{% z7TRP2$HBov%U}`0E8#>H`gX*fc`y-MchJOn)vCel7E)ekD=Uk8V>X2^q@@)Sr(_E9 zPN9$~gu9XO2Lk^7?3tym38Vu89e{`f1cWH$xd^8rt|${6<wG|{QVmXT62qR{H%R8$ zX)7#Y=3?Q8+BG{+qrPR~HnROrFtn2BXv9rAYmQP!bi-8uq1nya4aXfqQ-}-w^HMyF zHiU~uC;kGe*(4mk4Mj^Pw!dHUXFDy7qEQ$n#V;lbE(%&Pz%v57yKo_TDkTiY4A3eC zRFPv-if52ybQfczibX52Bf&JOXOkL>Y7engl6p_OC?Np}XEz|ZM6LMTEc^8fOyb}! zHpwVWZ1XKuJ1sojfuLRfekzoms1UmDY+;E9oknr0FL`Q5GGtZb_;+#wJvvCt^hKy1 z3OPbOQIEz`<y0+YUEEg7SQmstVIahckydf8y)sX6>{tK<o$4^Mu&N)i%7Q4QpT=*U zLQDeqjCu6sAqLX8Si-#utvPf!>4+HADxrYCg|8jHC<!Pkk08aT17#8M3VoDi(L4R5 zpVoK_XRK%+kKnv8MY)>DvK=RvW@gI|udqNT6dm`@{^=Gl>_BB^Be1i79SA1iaWKC< zcy?G43|RF@;_e`p&>;0^vNLif$E^>j+!h_rL%isjm1wyRi$Rc`AkjKCVmhW9J<z=C zI5P@(Z#y$e5UI_6*suHGB`Y?+cX}%nfFeIwvy)Y)zYsn(N(9}-4UhTgGF3MVk@e=q zlTL~7)U83-&r4Ml%=CO-e{Z3%(nynHjH@Cpyg5_s7Z+x|h$|UKmVIH@fA^>4t_u{c zdWB9&r|_Idk#r^A=Y`Jly`<|}HqmRbOe{E-BiB?LA~Nn<J<<K@+;bF%3dMh%yDq$& zf7opYe=*L@O`O&~kj$9`l}rWed$5Bx<p!7wG>GPL`BsSybT0Cof#O_G*38(m1icY0 z1v8V)5#RSdCc|mS4fc(n#+I=4#X*jqjN9CunWV^(HQfD9mX~S9CwDlRL}1%rYbf7Z zYmkvvP9MhCc~=qsGHv<26qe|_YPU|6NG8RQ&yxrT&@XsL(N&EFER%Te^ahMy#4RkH zzX3b02cyug#u|l;feKc12TK9Vi91FfalhRJ^>TB)s(z21nFaJ*8g&c)k|nYEccd8- z?~U=xM<C?QqF$SsaMxHLZ}0?xb*r+w%e}4XJuhUppM7oP7oVB1_2&EG=Bo11=4t0x zJ2ScCY?WCMqml!1Pl4@U2eDOVfb-x9hFQgJ_h<?^xUNKR3>Y|EsW;bRW;eVn$4%^2 z7b!kC%sJjbP@DgQUnnHJr$ce=>K<X*(EjT+YLpx^v=L0ntqhxmN@F}PY>3&#gA?2R z=Y01gAzD=7m*Xv_Qfs5KY_rp`GPF3=G5h8hNPjo!SA>6Y3F<bEt0)m`RM>3$jZ~LE z*v7?a=N<cIO@ReN!O@uhH+nbto;g|+SqqR9lLfLUEO;v>_%(WpcALl}K|lA%vo~`G z=iC_Qq_X7wO#go5sbmFKGETY=WU`nR6t#hqYQiEyCGTJ0GB49`NmC(m&f-Lu5gf71 z(0Px2=;((K*E)w#d9FFLNO=D!hpid<<2#Hm33)Sb2LjKZy4rhp+?UGR&le0HY-?Y* zv;(v6TGYBrtG4GgozE)4_nuaDPv?jkQiA28#(rWInN4h*3GQVr42~IPXKvh`y#CO> z{J+@XUhgA&EW=L=FA+;-QTMw0aDRFMIoMz*qei~8Syd9`VsOeRncw+@<(~x(V2ENP zV(i9$#{&j$MG(?tnKucju)l^6MDnmL$q-?D-#3NGApGTv#My?0dh-My<*ExsJ=n*r z^X7I^PE>_5v~m+Uc)fsi3KjK)K>UMeSK8v5yM*VpS)czA5nh~!mNW#I+)R~D&L)J~ z)Ft4y@ahroGL)JZRg*qD24=`eM$}kClv<_3Uj_cNu1zv2wb*UYjc8@lk@f0K7dA|o zSr>92qF$SBZQe%CN;QRuaN)QRfrX<*`+gEt<-nPQhCWZoHyiBHv89)KPsbh#2FGF4 zy1#Y`zFWz#$;e!zLJ7;_Us62dv{J){_5c-jtGu6<I$zJX0w1o0vU@LC#lks{+7+rO z!+>6lwhU;-Wq+=HbgKgOWJgX+dde568;}TisdoElDR&NM_a2|x(?Wh8&zYfkwB^Zz zQ9MGo?HwRhd~(f1lO(z)5xuZBg5Hk*(hWipopCC|Q!pZTkT1miOhM3%>2&mNE?A8< zxwdAkT@70dzr1cUU3G*o5?~{J3rb+tCjwru9`?295MtOAW^<J;&6*4Zj7L*@+J?CI zpK=_#d3+(jlpNc=EyU?M-ypfrnK2`UQBva%XU}4ms<u<v=bJc@>%QMEXSz#otma@c z4FA3xVtesbemDB}Zp=)|?O^Fz4{POOHo(|7U)G!Ss_3g^eq;vwoY>lhL1|()Wd#ss z&s#7$gQM1ZdN+72TpVQHBUi3weUWUYWJQ_K?K0=IIHtNIV!S@qPc4Wtu&@Xo67=z6 z>q$SfL$4)tYe_r^X=-kWjQay)O%y@eH$t-yxz`LRLx;+V=5|0mQ9P9R5ve*q?v4A` z<0rhNu6sYahzn(gYa6Eb)`bAy(g1K=?+Xpo75&gZV;U_4M43G?1IZBB!FH-KHP&|h z%y{XHd*7`mnwQQi;N{l<c*+buU+k;mG{!wXqsX2xt#3FjY0+RZ)|rv!pyRTt+F`!) zBXoa>)o(qk=nc4a5^p|ef~jTEjIp>9=?obqBt;w4IyL-SL8j`mRF$fZCv8A}Jl1`R zi^txf7+yE0*!HL!3&T_Rx3v+zh~<E&5COJDKGuyGyp2%JKghpR+Sj7k!d(zP2)#%m z(Z!^EMQ>T2zQo}#d2Nf=m&Q-GcChA^tL{!S-hY1M&Ez?UbPuMB_T}6WND<do9pZ?L zHGC<=ZKwnFyrx^`tGOlk@yP?zh&9SMD(O8L3Y0a*cR6t;F@&A5^~YtTm$;%!zrkKs z$!PbB#HCDdB*i1nxxul+wB&D4$0F7eP>mBVSCy;m#$3$5dPJa>8m+UQ9WkLqhdIMB z<4|TLbnMl3sY$FWviok<h}j99WMtZG9tnp1E^XEW|2amNzoxgZn+^x!|1IfZp<xc~ zY8i~PLQfP|oySZNqK+ubZQhqumqH8=+}#ja6^~LlJIwhOpgs{3_~Sa<-cj;7jw>*g zz4Nu;q9&zFz4-4k5)yCoOt#{fz8SkH=H<zB{WG1ClD?gF3Dxh&RPFJs_l|ULIdY<a znviV5T4vcm_^%4uG#s$NcFv+2Pl^4+&s+6LkN9P+=5X_sogdi_LwWZ6PoJEu%3$OD z6K6eI>P<;2(ZEJ}uH-Rxmfz{HXeK6yq!5nmM3KKodVPz>6=rHbYV7nx8?|1TN^l)< z?6fr9V%dSBlAZ-}HLoX;Wwqxl9910Mt^p>s+flVU8st5{y0Id#@}6kXPXX|?tEijl zjbNE(W=TYK{VOjit0lQqe}kX^zOkHrOx>^#V_ol}(aDe)Y{Qh=jr?j9*DYd9IaA%g z#<hRkJVgGAYj61SRh0eC*YbPM-!6m>@{Q{3^Rkr*XyX@ORza4?5A#b#>h+5k-*412 zedTnu2r`=?_qB(B+prBVu>Nj>atKDe(>4`kpo;fqNIeG#n!y-Y88b)+kx*CSpE{Hs z<k*kVQK_fEYJFT?Zu_;0d-VDel0Js9>Ypm-rGYZ6>tRKCQVzk}6$_-NL6P%8!=%X7 z{V!wvr)u+rLm}K1-HY$k%YBazJzP#x8<2FCobnq+a%(z3b4$7Gm{lfSX8qyWr_J(1 zrmpeJ!Fl!_KvvuXUI+ZRRejNK%9?!Xl2yHki4?wAVw@QaOGY{3E}92*a>em18%yyK zgq}t8UQRtk)mAU|nw6<WGc@rp!=rzgTMT|D``PxEq{oTQ!-Q{)NxAEQV;?&Njn@;7 zoF>Bu3^#Uwqu4A3#PKYpuvU7_=@`CxPaTbr3B&M>+aRrbpyK;Pa|~lAOiCp2*%!@> z=@2GLC)<xk7N9QZRR<4oJP>FYd8Wqp(%Xf!KIUnejJ*l8vGiE;*&Vl;tVC;e$MtgM zUwes4eNL?jwD`L#!WayCu5JH&{C1m)BGF5bf-MD1a!p>bTBAgS5gRU7?8;?Mx9_$? z<7VwoM07T+o!N<Zp%Lpho)_maI#=(i-S6)2F@#z3vW=)o$0k}BCQa<uOi;Viem2&V z)6#4#6qs1GR;g>fJAzm_@sJN(od-*Mm&UWiF{UbpOcuB3Fla8!nJp=1p8mLG&|IUc zpUejGG^PvT3s;MdXU5$0ke*7W;u#x5G`SjPvePtdLmLM#e#JWEIZ7tC%rHHx$?P(w zh`?z46{M58A{#@uZ%c|S-b1Zdq|NZt+j%@B>~h@#9%NarH$uHu%r3Xk!qS;*LhTm@ z-e>8p53902IumA~Po)8I!USP0Q(4$=B-;SDITY^MWnHM(0)KKM?60_`HnCcyJW{xK z#|36Xe6uqA@8r;k+_;IcIbAIucqE6*)nug7p?T>ukZ9$@n{23^r2<+li5GeW)X(02 z#eH!iy;^E!RX?lX)SUV_cVGT_pEcgZzQvreokUhPKYX}Qz>%=+PyO4h>qdS5LIc<# zpQ>l=uS64QG%9EKn(9>d)1%ql;CHmt3$;+~z>BupS)Z!f@f%wT1;H8KmK6gDTk<vs zd{9$YsLFIcHOkGQ0LAyDI<mzcjT3rXKexu-s@!yfmYr!?THfH0d)wZew90Z9mQ{?j z>`6MyRpXVm%(QpTuZA1EvZ#_oD~muQX=$M&M(ZP$$P|tA!WQD#<f`}g7Xp21-(SD| z$i+G|7?zCpsL@jV@DY<_@)_<^#4&}X^<)4Yv(0Y5R>Dd?bf4K;AJ?GpfWDgf$SbV5 z73kGiBiyxn^_ZdSZa!3Bi4-oE6q5U~IZWR1``Nn-t3J9Ea3pHk$}z<!haP~GD{%un z2NV@`uU^pxtZ*0ZZ9jg^`D~KA;Vk&a5GTM7@57~}DYP%F#2M^J4`&GHuZ&%Y9Zgox zJ5>Eb8IsaiZdXjXSki_GYi?IMd;t@dDC33c9F6`KXqi~y{cAL|a&R<e=GK$VI_{6T zlQ{i1babxjrpNbrY3}a8yk-{2PSUN<QycF?T}Mj-vqgM+*O_~CnR?^Ir2N-N?H9fe z7eA0Azf0iCxgGF|%5{@pE445-ws*PZv1#&nu=MwG=XMUQgY4Bh7`lv?g!!-DFy7XN z)23oalhg84=bh7B_rJz(e|$m_<ELEzIxZ?!2tA+Nm5aQosBo?nT196Atp*?~N?(g{ zYbCGhU;Urj{MX-`{Fehax=)R~Mz^Z2ceawYX0|H)7xEDP{IPkme`5Sl>@Y6h>b%Cr ze%`qTJFPER3KNC#^oH?II4#u(Pj<##2R{9HU45T>KLK?AF+6=pvX(X`BMC98GcuHB zl?$~j3u$K&AqOoJ9qwNNvkgYF?0@0B1siCgjd7m|JMHd|cRquU-)BU+cm+Ssf4`Zr z6R@J@Cux<#1OK%V&Sa)NI|w*sHYPv61NX}xoXAm>P#V;sH$&A{cCCsC$w5o#?MK6F zYthDzwIgKO+Oy5xqIbqSLN6a{af)083EEY^&Du%EN`k4C(+>XuY4BZc`H}0ylNfFf zj&9{Qdq|bFi=A4s;{W!E9X`MRg$XtmUEG14a}MHvIWE5eQ~IgwZbY!Yk&E2W@APaT z?m#;_5B;6ON9e_A))f%R^EgR!a^=6tO!Kxb96sF#oO^SaN3oI$`9ECIo{s`^yT2>f z?XhFu2fM|8gTN>S#(`v{ah&2>>ug><P}Ylw%|7;~0zCEXoOcwEnvQDgSo#ac{(MDv zwSBT`-i>hG%85Jk=sH)TjY~WG8{pS)Inrw!U$*u4z+&vlimswpKVI6W<0BJt;kVlt zNuU7mD<6TPbQ8FRKc}vvX$+Y&-%vq2?e2_h%i&GQ!;y~!$gJG?{Oq&L3PfE!c8(D) z18yJ^pTvz3OkO|@;!ebUl}FZBnx<9n>*>&$%w%+N;s5YlGMuEnVYlGw9$4?x-6ZRI zUfGMQ%O@if?j3n9I}YB<I9{pVEhq7#=R7QZ0;}ki*S3Hsc35d|DhHhQOKvQD(F#P~ zkJr47NkoLr`S<@ZG~zI-Lje*L85iXYDUT9%JUWl9O5Whqh$#6Z>GEQW1AxQa{DE`= zucv2e)~p2(Kg;WoA6GXXPzA!F8F$dkqH?QW44!-nx0qczv$`YR@+R>P7^7>h&i_F| z1S)WY*fSBZL1le#xS)@1I214r8vL!mXZh~48b=PMm4`>ghvfLLPDc*bG>0dqhvfPX zP=M3o;Hv~6dBC3lUml8s_kR>$Oavz~NH*{(JA#n~BnMbJ6G0yCe-a$fdl3Q+cq$ix z5Dt>(KROQh(<21;-wyi!(0~0%V1u6scqX9KOIS>h$|yX{|D5TFh@mo{;qcTD+2kO( zz%sdrY;2#&eJ2s4)S$R{!BAv?9ZAq$1{4;E!3NL_uCN3+L#4T9V}luO0F=<5QYCx9 zZz#~71po`g77kDX7dinXph0*x|HCXGXI}snSjG(?3Jp@U|34(qCkY08?Fsk>4H9tz zh=M;!=Fp%6SAZBO*a<)m3JM3<g7X3a>rkL*Pk`C~uvo}{nA!LLkieg$&rAyepL*zM zfCV(jC-}1h8W0Cafd-L;11v#ZnE-R}QW9Vb3N#P}5dB|hrzC(i*e~rrr*#|v2bAv# zPyqe^PBPGcPLw3TFYr+Ie`aIqr|2^@6&N=EzoBYn0<gilKL8Jqpx5u8rdct-6be+B z_i3(_0tBEyQa=D#V44bm9yCa~_|r_S0tmr?hDtvV8{7hr27jpsBtwBPD?Ym>8v(0O zAYj#}`PsDs1)8b*9L#hhfCZFn4?qELw*hjXK<$m6(%F7M6Ii4RpbrHqZUJEbhg-nr zy#QS(P(s^h?oW&c4LaL~Lk0!FAfcxfgd(A_v$1glSQRXttUYYVIe9=oR$v){`ugez zytqL#b+ZRfo~n)4YD<e6qQS?gTR(o}{PdLx3%LvrmlacfdV3L)PBj;34I{C#evF`} z<$sy>u1$4h`A&nlm&!>=Fc?CvCr?bjAO8<Tp+FmSh~WNF02MSoD1%;`H=IJb$^Mqd zCc#$g&*mn9Ft(R%AwmC7;7fEp5cxz-k{aAr$t7WTEuBb@YVU4JtxD_4HXmtYg+=`3 z8+@<%`T)11g|dKb^HC~WhD%W%#_h}y=HNFh+G^@Zfpm-L6g~7Ke0IIvx^GzxF@2iR z{V{TMFv*B!FmzgMb7|zOa&iCMhU|tB%@GY6A;V~v+rxcov)tH}(dmL|fi=von2X%s za-n~*nGESB658+QE(m26BFejvHcn%v_>{TQLxK<M^+M@kYjbpBfTE<|OiU23u#pLZ zXZtA3#UQT$R-CZ%^kFMpUxlvf2vALC(<h;XRq&*gf_rdFZY9Y1k*H{0aG?M2WkCR8 zcG{D_v3dJwGDOnv85?}b0#cv=AhHV4vqOlWInyDx+9df*XmjoNLPgmrT_JwyaiK|j z5(nW`2q`m7;$U`%*}m0?mG1(AXt-?pVA+0!V*qlIB9OR*K)Ar&Z;tqWKBt+O5g|+- zj0Pw=kK)OUl2FZ||N0T)p&17d5b-KFd4EJ=C_(O={t*4X7`#=-0z?^#{{{~M!xpxO zTxAM3NT5Uuqagu=;dUXxhiri&4*pV)Ab~ikvOCEZN+4HXGRi#t&HKm(ohC#N8Kn#x zABHy~Macy21w4<BOlXY{%gHreFOxJvfC?4Dn7h{pFnEquk-aG|@Voyr>MnQs;nBFN zcmi&kyEEgzc)qb71k(MT8O=eX6DYrddkqu6jfMH(CKaBHLGE2!`yNEs>kuMlf#eXi zPKW^cV4vhP<Ge5y+86(E`%F$EB>2MGCf60zhMy=6-bjmbm21Vnnd_$v?4X2*4@$%; z36FS58eAhcOa{(5u9x4OQ3(Bj_LHqUMIo8rTX5(9%<Am{<TWm7ntKD6@9n1ql^R<Q zZg}KwvkurqLY*;p=Lrj;oRKKnzPwJjC@kE75B9LS%b%$HM9R?aQ-nW!f)waHB!I={ zFA{Vfa^-31!V4#ROnE*jLD&)le~QmY0!e!(&u&;3Bn@n(PCW936P(Hq&cdfh2cM}7 zXYpPVK16$g3uO1oFV_4y9|E^+B2cJpFf+2hMz?1~z#LOczqg~h1Dy$7%r;C2Z<m-M zQO_4bxGBG)9L^WHHnX?;wq~VWF%3!1iHVa7AMnDerA(_@{9bcUb%j7q&wzhAD|}m< zdVa>c0YOiOJdC>|G}NGfN55e)g+1b9{gQOf!&uM^beRsk$@-cSy4im{A-uF*+y#&G z2G?a3!M+{QFylWO_0>Oxz1+xh(u8_rIwiL`_JAb%P$>Ec%TI3Rl&`yxEKmUmVBexl zb^WW~p<@*3O1h8lRuvLtoN(pJU*PYqAZ3zZn}cACcyX_v4ga*CWP81tu^ZX3*smu& zs$ISUya{W`zGJc2uwgFc8SlKRX+e5ihmRu(&LNvS2t5*Ja`cw0JF|W%rC<e3@f#Fc zMm2%;SB#bEylujla!Kc3PW5Bk--BK_py_<FO2r}6JR<+4Z|$|5O3+UDl5qg}jpHG7 z+!65uXM~PiGs|FswhRcfeIB>p``601x@We5*2~y1Hju3WNt9VZ@}e?&>0v@HpD!0N zIclbDccqZXce_7lILx4T7{hVxP667jNZJDMuL5)h$yGB`zhSp%M)2-6;rz5tPvag2 zyW4~4JJ&bE$pvmRN(c=K<j2@)M@Hy%W0E?otO?M?5t2tOiJO^Kdcp3Gp>ZH)T7FI7 zTh3Ph@Ein_*P3%H{$*aD-S`awf`fxwm@JboY#948`<K`fn;Os<NeOu4jLC5Br@G=c zpMZeKd9f1cq5~hvsKQkmTHk~bz`bTaSGb5fihIJkP^JDrXkhsCq*P=y)g39(jo(^k z!j$qx<>xtGZ(Xk4`87(k?zlSTcG3t~rSx~@A_9lYBZtwjY^H)j2@m$_42<(GU^&%4 zcikUlU-vH?U~bsV`1J9Tw5sVf!TfbpTAS|XCHTPd(cI<Lr?G{TWQY5-ydgCE@|H$c z&hke|;XgfkB*mCW0^Ql!ikFUCVXereOoEMCRuTqr$A22t$VWjx=jm|xk9j14MXi?G zg#@X2Y8OY(O8*X=hD&6C>gM55_#f%W^C^r@f$?lKRk3E~Ft!e!<<*&9nxDUIskbtc zS|0LD@|QGvnibsZtn&2?Jjux#F%K~2ddXefBzZgcTxRgT^9B;~l!!*=q)|u4G!0LI znH+l*DfJ{{7*l^5uN8Z&|6t+=-f;Bx#E+iY@op&<0K<WJP#0eu6!t$X(%5pk1Os79 zilbQQR2c<QJL}B<-CfH608iJgc)8__+LzD!b^QAQeCRpUw>MiVH*uK6vidF9eX3t{ zso!y`uf;u5xg>crUw0Ke*Lfbm=-~NL@W(l>=IofK)|Tv%7QE0ocL?bNB-`34hdAZQ zOEdOa^+2a6YLuu5wZ}3=!q5%YtJ-W_^tDE_kjgCD7R8ddloitqRm;~@ZqQz>B6Zm1 zo5GLTL}zw`qEL2l!&h^G+m{$4>+?nu%_1YQqAMRpS#z&0JyJikTpxI4jaZDJ^SKZc zp{-|PeP)VyO8!IrXwTRLq&0n&;f-rV_`23EKelS+>-Gm|bL{en#WS|{Jo|6)vU0W^ z(|X(L<&C%|Y>%3i<k!2N;$kv^aSzLzb{9g;<+MxwJ`iE++BlyqFknSwc;Rqc&WO&S zEgApx!-mJ$gm##xP+B>1?JHbo)WzJ^zH1`b)$s4b(ftApvRl+opd`1)?S%>naRI53 zF}y}sEZ|13uE<PMr43p)w6O>d`vUd+T^0!5fmdm>t%e@1()fv4SrR<H_+x)d)v<t- zG%t5htG0loyn5fPF}CVEGgg+apMIO7aRft$_!gfa@3Rkt3R;t)HEg9(#Ca_8K8U!& z30}hsUawnM4^j^ih~y-nj+>&lfco=1vDxp&1?P)(mCWzjZ|W7zhZ^3}dfju{q6`c& z^55Z}cH1A)ykr!;OO}Wna7xZ`N@y-Nyks0dagIDrN!fmRHO5c-v7Z;8apa3b7rQZ4 zCI2Hlz?GK!iJRj5tdP){$5&BmhVBsMtIRLf4vu|X11@%WefwIWvNZS`pt3}91(q-K z3wzNJx~hfXz6v?_a;^JXp}cf(0hpEJ8gpZ$j8hulpx7!D)<nzJPLW&ge`L<{2>avV z;vU!_<O4?QOi<<D;Ez!9v%h(z%$qblQCYdv%x2J^glb(q*VPPj4I8-M3piOAlO#Bh z?Film0*#{T=jCM$Js=Gk-n!uSX>rcv|D8^h>qYDDb(NvodM265ZJ$eEFjR$fh{~?_ ztn#%BGK!PD`MmIxtTc=<2%u5`&;zlLAvK}r98}`AjmZL6dwjh4SA{KG3~ek&DSRN) z=^q}rad~pm^G5WUGJe&jlWiN&S<*BnR6}-&0-tq(&_AH`YTymeMKuLxiPDRXv0eZs zO}O=5l9~EY+lAEJWUpEfov2PfHXyZtGo;G6DdTD$OW3d3)z0@j%_O!km7W5H$2V&U zT+l6zB(vF+p6mfK6j4v*tUgs8@H^H%D}5q5*RaG%*T;u=7^vMb7AyggR(TaJVVJ^- zz`w{jzl^`?Nx%-o0D|Pxr-TRh8HnpKNJvdq9WY3ySEEs7Vo<-p?_}Q=(8d(}FmY&& zHdU2b{fSY$Z*9}E$7y3Wpk+2FDMmp)0=vgU35Mir_)&pQw0=B=+ko*Cg~%viWf0hL zYeUy_h9Nxo(Qrk%R>sA&A8L(>hi8gt4s=D&ha18ZS0JYEc@|?6NV9IjDcT~CZxr<z z!QY|vols-SRomU5VnF7_az!tW{Cyf8AJyEor?x5S`!`4uUt-i;Oj_=MfV_u!V7p#p zv-CiKM%6_yZs4obKEO3DF$`>jqhEWg<ArY_m8NAGR$;9mQv)(9Eya%eqjBua0DR#_ z-Ul!UehqfcZv!*o+@Z8d6Q5GE)HV&b{Hm3Ck1X}D@^@?$ovfIoUL(Jg#gh9QDNm3x zHj&#`aVdA4t0i%vJGNb)KGodF!*Z1Bko?1i{eiuFXCIg4?kiq4<7P)aZ}f8#-JUH6 zeuWc3G9G9@W?HL$jl9fzI@JLk3n*}y0%jUEV>n{cPaB3f5Zq)M5M7LQe~m2liKm=i zazkG^{GLyF?8mZN)g9(wBsWw&C0Uk_@MKs|;K!X5mx@`m_#(m1P)0@4OGIiPz(l@W z`StTzkaS=y5N}Dvh{-bHsvD7d%q;(`jV%rsw+mgSMKb;ltBosKN2j$J3FN9iGPa7J zrsYJ77N-4MrN<U<%Ptq2FxIHVH0XJT#F#p5jC(K#6Y)%%Jw!{Of9gQ2)!@hH+KgW= zF;wnz%7a|YuiDFdW0o0o$Etw)dd3T4J+Xq1^K@@om}|O!9q0|$&A=v8e@I;<lr5tE ziK-ruye4lpmD;!g5KU$C1g55zmN<l|G0J98#}LX2o@CYS@pjVSQM+o>eX-81G0n}u zKk<xj%5`mxbk#D;U16Vg8(AY9Ny9v-PIS%W%&#^T{K7tcj<4)ClExiRM>CSfKaxgs z!2WefZohWOM{SVTn+H^~EW^N_U(YYg0a~2o1xt=_hBKyS#=F}u17*}`WVz$rtK4PH z5=tl!2nKLu`3|g54o1?cm)M=$My3cy66j?s%{LF@bGYL#Fb~QSUDG&gSJ-Oh<8$~& zJg3`?2HRNJYcKFu_zvt)4l0M*YRwIf;;Xpht1u5b5?wPmYnRzr<l|4k5C4!dM+z_h z?{+6s$4?6+oQVJr#mfzHg+U_vT%{tT{y%F}4qndx?Mw>PGpwQpV+8j07Lf^|wU*9* z#TS=BK!m|c?Sd6yI;PdF?>6<u{B!57G<9E5TDv@WeSexRSFR+>&~hy2kh4KuRwEJc zcWSglmOdwXm(yXMBYy)IFiGvmKA`lLDR>#MrWTfmra%3xXb?uU+TN^*CUDZKcX7N| zY}rru(GE=hIwN&MLP|;c*LWCD)`lfmJlM3q_w-NBOh$FE^=fJOKaO66Y^?aWFjF&l zFWA8UkF&P`uH$F+1syXpQ_K`IJ7#8PW@d;n_AxWY%*@Qp%p5Z_vmNt0`G4QNd+)n% zcWbv))%BZJOX_K<TXSY49ep&1>jC#TzU!HpNWZ~ZYoY__X$L<}F6IC$#vv>i{F#1E zF>Ehv%Aa?LL#4gTy`1rIeetNLVqr9Sx#*2A93qr-&j^kXP?bHrEr%S}064xq<tCzD zdu&SZ5c%aGfB9w6eGtW<{TrBea6l-v$sb{f+@7x_un-@}3MJPe?m_|lfoKG8#A(Od zNWCJ{8HaSRZ^Q{y`^|$OVFnm+)L|Iz6+!Z*5vi%sp~Syu{wy>t)0ji~%k#}41{C+; zAfq_vF=c^<ntSvsug~S%1EitHthYK$w?--x=|W^Y;u129ww2eMa=XE0okcl#1gXU7 zVPNR{9OL0q40gA!(TUAx*e5n#YQ|GsC*+(=%l)#@>eQ4?5t+EGgFHtllnzi|g%XNb zcm&gvK!*oS><UF9ci4ur?0)v;7cA-IfV$JV(`NAKAZ|8R#6;B(0p@+3$A<@c7?~+l z4>bBL7h76>ftx_Ye_pg-ZFaq{4ZlubnS_%+CpX&z>X|IO-|j-DuevwmYKNPruRa&q z%C~&nKeq@n{e50PUh|7n+KX$h_hYhL#5p~FB^S?B@dh!wO9fL_BqtX)T%$wEZ{DJ} zQvxm|S7+zrclJxa0qEfdO%-@F!ll)9FvG`lTK=MS2K1+ZT_ftt_FbRcmapho(vDjg zPjG`9IW5iTPr8oH3hM~rUeb<B7;bgf`_Wk$g)MjOlv}5Tl$iDTl){c%QcvhuSti%} zwDP%LPD@!<yzZ+w(OFhr9%UXo)QDLFw+U^On(p6ex>x`iJU<4<g>HU9$<JP^wC$Sa zy2tg#7rLK>CkO3%D0FCqA62>QQDs35MijbVh9CW9@@W5MYEflD4%QdCpN1C)?OOh2 z7XM`uLJb0opN9_z?K&#(Xoe40x$FF8=Kp1e1nn9s@MwjHRJm(V5kdl)0Qcj+TxKdl z+QGta|DTQF_Fs*muOi2<GL^Zre^U4-&jIm=^AX3N6H{kJwvfD&%Dffp!#op2jCq=r zPCfdu0|mNDqZR7|K%NR>;v7vvryTv*z5;nA$%^%Uo(Lkw98GK|AN|;#0zu{Ovh`jb zD`Mg-O=KrM{n)MoMrGcz^==*+BE~FDXeS~4*p321rO~qWP98d9;tWk-CnEjWwgN;Y z$+Go!9ylV#42^H+2i@3~!h6N;lJ!>JJwoC%&CkwDy0J|Kz(YmelJ#cZJ_5!xjeF<j z=xO7@pJ0VbtWqCLeSG*3H_Nk`HF@rcIqr^1jp1-T`KqV39Zn0I&1wwWR(CZG<Bg7B z!Zyiux8p6q+uK1`%ttYjJL2ox$3^jHPeakh9@1AIkI%aI_wp_8my@&ZP5z%<TkKIb zuct_#f9_8{0B6OouN)sug~QQ4Hi>v6iSdptHwfDc_>EjslalFdZ(ju;_87iip{4i! z8BTSDx{I=pDt3fR*G^AAvyHzVIeT3EdUe&!IFb<p=_YJy8G@M`mfebo?%I#0Xp7`R z1QnxD2v3WO_m)dszq4EztIEf!!k&=2$hT={jAnJN4fs0c^Rg5I*xKS(hQ2DMkhlRZ zogC6+S`*AoC}NM5m@EjHjWMGPXMktEU^!icEWDKoGn!1uQBS27teY!hmqIa16NeO^ zmoC#mpSS4qU}eGxU7{%R@3OswyICDjX-QZoS8YWoT9RqKU!RC5x0vd3K*-E1v&krB zyM$3L0<;h}NH?9hHguTaWn8kyo69XS)*{FVrYuALf<{{tAl{ous>?{8j~kwSOk+&U zSQ5|qbq5Ng!aTWNvd?ow%28Pw*0yim_RPMlHy4%Qq{khnG!;RqH0JRjBBg0=m*AB3 ztoURJ5KZBUZdwZbVVvEnx^Yn~CP7Uf9hJjA4Jg{T;IIvb`MIwcAlr8Ew-#9;eh()^ zYSXO`{iun$371iIGds<Q<pqu9lxpbWy+@EW>%NLu$3rpdy#WN;L$(y^108kdLK(CT z8QnRy4Np89h7&WXRLZtgrNdPE!U+}*DNQrGggP0n@r8q%G7A)nnEVSiLn%#4J8TEQ zW-DxA1=@xX^_obt!WjE3-8R}f+lDa=eZ+gS$V=)81^d*x3*W>#_6pBCTmk&uJwsH~ zO}GOW=58I;z&)=m_~Pt?NVCuwBSRjIO~$dB6jybql<qG1#@>Bpgi&P9lhFNL^6T{1 z?sfi;7kT{luIIF)4Ai`+n+~*7oVy-?`{fG9Jt?N&%}5K@J<h!IjHy5d!x3R|3k4c4 zD7hOUBiJ1ep$DEYp%qIYb&or%lacX=)Y{V%shXeQ%%g_sFbKks*tBU5tDu+`;$zQ< z#J8y-8m4@GFvv-5UO2LpFFet#!bF1_bD0t464?n+Rpk<kf#zUG(`d?!&-X2WgMyXq zy*H~^OkYo$s42*Lf1?1=Uey+E`}{Lzoe3!3f>sj|k=PKn<OrBkm`PRP5^x3mri^;Q zR^AVX5%2*2I@qVtwc|GUWD3R3>}Jf~vIXajJIY9ufw}p+jk7mzaHggEna4NHOZZbf zQ8rH_lxyUp>~0nPpx1p{7u{e0Tzr8&mKrX!C&V-i{POFyo%R$BgiJ%h6RFo^dT$Pc z)KMyajetAo{d6~FYxslY>Tz4Rs_ZXMe)-?Ni9Mu+fXsZe8Y*m?8k!Vag)O)!Sw4aO zH}^*ELf50e^-H5o>S1_UOvcr+V=UmS3R6{-S8!R4LaOeX-4CE2C<5j~4w^dd*xTs) z3ngdOjqH&o@gYXpNAMx6r9k(o(G3~}y%Ay{Lnrf&&)gBq9kM&3s>U5G^R6DAjVunS zH0lxC5vHs7u-j#O=4jILlWb#A#f|F~YG_&}F5{bLf8fx|rsN+7aIwZTgG_6Q*l_Y3 zzE~9K3C>0!*9uDE8w2VEJB1|6E3N)&8-!OIUA8%hZK<HZpb=@SDcEVjBxOFJQ|`HA z1S1-YO35Xk7TUm8Y@i+3{x6kboD(AFV6-|kY>kLLJ3ZBi1$T>@<Ji^=W~_^i0z7rE zlKl8^@O0Jv%EC5ZUL$hr{U;$)muRsJ7P;%4_0YCL02!MJ<o0>8)oZ&no0%;@g&E{w zrq1X#JT~|g6c;4WwyH8da+IQCSrjSCu;(BAC`9idqza`S%5&Tv)s9S;gV;r(7;h^q zR2y`2CM1}qUSQIjkC0FW)*#A~Q`O4wW``@yG=n<po4;509iIFd>IUUUKnU#CaIZxs zBZ;U7#P;d)O&OYXz27Bc=<j)4m`}M?tJnQtEBtCxnKh2RNO3Z43&}!UmfRt>%W@RI zRKAwNpwQXRCWn?<?ze>2g+s|M`urP_wc2QNMLRRuusmw%3;oDVTVJyo88gZOMxpZw zXjJ%bxP;`SDSeNr@TyG+{qxGH@tVb=V-WQPY7g?${qPLEZoFisaL7&<BrI=_AmZPu zy<ixk>LD>$Ugh<{?|`a2cEseJ1PHWb_$^q@FKo%VFp$)MAf4$;I}U{Ptzu5;E{J3_ zN=JN{8}LvF?Ez4-K$=;43lG5g4K*Ey^RLOp6MH^N9QhAUIi-`is@Grio|1SsOjYdK zKbP6G!eTsRSw2giR7G~h8+8gFaP^%q7IE|+Xzrrx%F>fpyZ@+n7nBWc?PkMhe-48m ztf*cQ{#f(?sNyK<wO6lRb62+`rm(f1;@`BZRUe8DtG8>N4W3!NTYb;pEZTHQIG6EM zOfX7LUfHwO)74IxyDCqIXw;*pBd2ZC(VE39F7yVqP4<-TjNYtv%<rgLDxs>5v3B7s zX)lIcT{<#-BG{aHWwxB9p-XP`>mD`D7opZ-NawWyH0su;xD%{apX~42d&=4i{X}qk zk9;iEJ)rmJm;0>X<zdl@Yu85S()qR4W7<M-5S(^7uVk`aJ<0#d+gUdI?ws>O_}!Vt zhf!yfIUkmTYL3QdyD`kFVO$6xeB^MIsAWZEsHa^C#(%w9w)w|zNev;hr=!W$8r@7! z8;x@bfOnxQLB`kF#4a$>(Zrrx^r?&=v(+Z(n7P+HZ|!Wp4W*a<Nz-u6j`1T)Z|#1y zLFnkD(K2LaGe5k@Z9UU;ows98XFT?J?UbN75*z;Gq%jI5^5JoH=>Gfryfq6oFJC9S z^`fY9b!UoeiifS)rN}2f6FSAmY2&1pLdp_5z?d}*vwG62VW@bCo!A$xWuG2XRpe{; z8UY3t!=aj^yw!q_Hgx%*?Rcf4=sndEM7Exc1%CF2JWg(GxYxLK*WNrH2{sOHRWdBg zjealQ$H^z1+Wq(y;Pb!@@Ur&w`RC?k-2UTXPyX}eayYx|bthY2wfp1u!H39Q_%uEM z(52S!<>K3S&<np8qP-GO?|K4(VK^&48m)&VhVIurw=KZay!Kh@jehsr4pMakoezs* zuTD8q!-n6>h~^BA1<Zolnj;jA-_(tN-$wj$l0g5)0U`G)e{&Yjl?77RR-h5zkBUVw zgu!s+21wlSL7v(ix*3HDg62Hl83#9Fz$Ia>5t18LJ4eIklBZcmVbm77N)E$fh|!=q zWVBk&1q8z2K80LZ)^h*G<rNm|I^D@7$3L~(TZ(g><ff?PQ7V90F<4MhMCCAnv!dTw znhEwVFcC=QqRy<Ne6((qA4J=|^{L`F*H~qiSecH%2iAn<md#oQ!rwXgx&gw86NTt< zGE3x*)wzeRLq30gJ^|j=cB(fs_<SrU8GMr$FDL{Maw>Y>F}}kGOAv`6V?X241_GB7 zI<c+YwkZ~4=|~ome<O%8s=>=NxLrmFFU(Y|08QuqwX(bDAg|ojM3n|}paC`1P$p@* ziGSC7NIV0l0n(K~1JdkdmJbL!$g+|}lGkJ6c`ILeT*B62{WiFrw?b9alVAk4ynI_x zo@eNuXGyhc(TIkPQ|%UzCmd)LD@rp+QzKRjS@G3kH3a+8^0BzphW4SjRjk&A-r3JA zHSr<##-Kt*x?)2+%{w#roD)G)$+AN7t~9B{A16He)W25}%C2{&01QxIV8FMxmzYcU z-iRMk_?ag*njo@Z*%w>GWHk?J34h|}5^O=#wwE-iGl94umcXqMRr@EMi3}4!+R3sc zz9qzbFc!e1KN_%-we<(NotNK(!jqswYoUBd@ZLHTe*l|+1B$6Qvac7>VNE{U6>XkW zSM(%Nofm{15w~Zm7Y3j}4bA`KlG5*Wn6q{fiG{Zo<Cvqx$KN$7*;SB#?*-<br7By1 zfA3vm`vd<GuT6<>;$8yl1!qY<C)@EI90-uA6fVPI-y@N-VV}}7mw)+bPm?wa0gI}# zdO9^>yi8&>&DeJ_`uoJYmB2ntd*o;z^vlG!2=lk=n*hJ~dc=Thd-vL5-)`c<;6Oc_ zpgdzkt%X&3r<{b@?mKt5ROuHu<L|$SGWQEs>6;k+g(O3Qo4L5_`j=oEYW)AGgHeU@ zy}&8#`~5ctqWf<;-H7k7*|gu+^<Tm+-Wcc6)_~Vb)xzC<4`(yg4(~v*zaoK1*@#a7 zX|9=zi+&k-7bbHmb-~<hhj;Xs(FpQ;w5n_&{+)jD9iLe+?Yey{?)adeeFw@TlsbI> z0_yt9LS17kMoPcuSqtBVY2{6z7RozFkxJBCDIpii*U`XERWD&^_r_X{FqYzL0s^Cp z^)gmatt&PuwT(I*k(1sBQGJd9V}gHjkr4B+zCMEgSg9>Kh@<snBB*CGwwT9iIv#xK z!|c@1U(Un&W)8=}#v6C>)yRV+0(<?KzSs=f)+Je)C6K*syc9<WZ{uJAKGzl+YUf=M z$>!jL5!lfq94$Ygb8Q`-k%iW_Z;1n&dJh7=t-?V*#VCtoz60%|J+KX6Z}EZ7o&2w) z2lq-owrLV<MJo70QxkfP3-5T93uk1N3#(+z>6m;zO6*SIA{F&0?3jdx_DMuruJq2Q zR1*XfQO#FK@IH7HVHSs?IbhS7U#EVy{2+|x1#Vo98?y6+u)1*5C1Od*zOCQ7lw)Jt zw9A#S2>@boW7Sf;Qr|9v+x{qS_Ya}Q4_s&MIB)fr!_|A#`BHqoS0p#5@SYKT+8QW_ zoBgOGR7?ehu)VzvKC&199Cm0)J=Avtf5*ZAruA`!4u3^%{jIBDSKmQ^XHYrR&GBZH z@xny^@2Yro6@Ie_Zm|to9WH3~7KfQAfZf@xi1C~Rmpm(luKGo<+%Njp;=M4jH_(kj zylO0r`JctS`H2+s=Qx$D%Er?cg|+#-`KnKrDx~>~Q~8Tovt<k}xvgC@LC1SR^eSI7 z=-(Dv4WoYxhp&%VG~QV>nm5d$w*qT`j7dVdD(KBO9pHvqLPEL1?;s^L$P57i%#MUM zI?pXTg`envv!+6dB`M1s=?MjJyP>v8AMpv<pLh~!@ef>!pm|5xk>4RZ)lG0BW<g5( z?y4BC2j;EIdlb-9Be5f)cTbl0I!G(t#@f_f%ihA90cnkBQo5-!#H-vecH-l5oF4;k zZJlh1X@q(|udH{tSz08NayY;bRvUode<9fP5o(%B+l4yLY|4%DkIdw=%6J-UwpG{> zF-7O7!WC^C1n$EW>bH}xjXbVv5{zr@xOS3i9^n+8i^baPx!7srRR{}dTI`4Z#pCRS z8cD6XLT9U{hQQ9vqClZLV^Lbx(af%z`epoZa!LzcDz9#iBH;~aYqR5E`X^N1;ZUFF z<nfUPkuQ|-${NwT2Y-PhI%R>^c-zJvTMvQ$N66V{aKje!D`#-}T7YtIr!6J{XR!7f zEvEy#Ta%{Ej8lXC(zwl)QPaV4R;#~h)GCX5O+lQo1NS&iqdB4B$*)HlaGSLaClacs zreQOnB>=pWkLZ(Slg~Ld2bBlD^g)WFUv!so7d(?jf9L$pW^Pv0YjS5>pC3@0jmT=y zTGzpnBfqM|3g7wteVmrn<^jJPy+7)~TaQ?~1NYMM&_z>Yvxmt&s}KP{;All@%_)uU ze7*GGr~2|>Q<8S2yLsI~YcQl`D`lFt48vQYnF7F6(QBNpC?GN5nDRY{_B$-xy0%>- z{`!=Ne0$hQ9Q_L}+@`i269Fq?UUO|?&A~4f+^2W}z9xD5)_JFzjOFNmLUx0+M>~=J z-mPHg&|-jlR0Pz8hQb1^_%k1sXIh6=R_Nh4COy83wM;WS3@jXsRxo%_5ICK%e_wP4 zK&$G+6tJ5>r-$&w%0fm(OJ;$CijIkDfP<4rQhR5@#F7--i<sd>e?0i8>q_5x=JV5R zhJ}#ooT|i}M`4*weR$j1ReO?&Gs<?<%cBH7+*G?M!a_eAr^i9Qo=1hE5>rLPVqRLw zaP2nBP~MOu<Q46)W<DzG6=>Rd+a`Aa(6$p7%7!7Ny#3^ck}+93ziQyLd4)*~Ezh$k zp-E^*jy-O7w%H@6+0n*%=Xtnp>b_OCg4&=58tw$wd|OA1S%rO4<g;9pPP5gclb5+6 ziVn);-QzSYjmdJ%sA;J+$ETzP9!3=k12^CasiGv$(=EHv=OEA0+$nU#?^OoKL=Vty zr-tOxj9hZ=#lRG}*KsJc#Y(XG8<kSe8f$)Z9eL8(WL~vy!fGFRRW<h^DtQ9wZ=*?3 ztMrM9M|v~u=x|BHni&Bm^2p@h17jmo@aX*>HNKiC4|8r%;VEwSm7#5fWyd!%q9}|= zn3muAhI)5xL@T&8_#{wH0En0*#%C<J4^o_kiC~?oU7ki*gtiO$I|`UxR`<VVON9Hr zM!k@(&z5la;l0+VCi50$HKn8(Ce+vp8fc6zOKSMm;4>tp_-QQT5)~0)HbaJTS$u6d zO~aQQC)JcOqIE$)o=1+*1smWQxYhh(L}CO}3BrU{ONo~jS9JcQ3y`l@A4k(X|6}6t zK(<Be{7_?vws#7%z*3bZz>7%;1%0K>U88H)TX+&ipH|qRX_0uVma90{4(=IvOX!D~ z+aa98e~wgLKUlsKM&XIZ-THf792#!5k;gcdmu2y%3Dtv7ExK<|07edeiI3M?a*|gS z`H}ya+&8du5IiUh1HjQXNC`fxZ-75G*54Up1vq2SzA$jlEUZV3?)wOQX09U~cgK5u zd3ST7%=x_37dmUh3jntD!Z02|8cS%SijBit`)pxyZ?aCa3(k&3EJF~&Rz#cWnxQhF ziSBL3i7Z&tXiDU705>iG-m8}A2W_N4DF$Bq*^L@0+TsY9vn6^nD2I3?zCVyQi#&;s znn+J`_y%L4Py%V<<+N31Hk?XvH*lXTW)@cIbcm~vI|D62W%5N865_6o;75}j{cygU z&GRuDsm-6`R}!12<2{md9~r7MBDw?@hom-hHU9ENzvW1yQHOran67L=p+r6h!S9J( zc7n`_e71rBpV`OP!H3In9-FW@(KC~_>2%KXxn`3ZJF?hh_(j=P)s_GeS^wpQrcbow zgG=9xJ|)4Ke!FZqf7ZucG3313BX)m~sLn=|K=bq5C?d|a?z%W~)_7$T3TVg3jPZR0 z>PJQqW-4POR5D@aM|?qMB9^);$zbEAs2Wq4p?z#X1PsYnyoRxoI9d<?k|16llmXiF z#V{fxLwPyyo3RgB$tI`T@5m9Gj3qY2RGPQ9Nm%W@+0Apy@7}%X&aPhi*J&$FwQ4}2 zRaD_7?_V>Tw~l!20d&s|QM$cJKbME>45az2)5+jypG$1*;(O|NEaUeg*hiBM&u<&| zo!J4dPg=K3cwPxa&k0eyk|W#!cSREce>RZLU(DIKYv8Km5W=@xXFI4b47`<p3%(Q; z1UTnrm=l>!S9q(H(=p+<)EvS4?<GkJG4^htKmI0SFqNxIk|ykv`DGl><Da^g98$L~ z6}R^sv9Ac(-p=6hhgtGP{dRVY>_mT*^4mFJtYyC+!F5#gwsCZwVg0ODdNmVT%*`;u zjZei8s{q1Wx?ZVTq$p$~Bk5-)6L%teo$~bH5d!}!ayuBm3oDJ1g-WRyv0^@IkWds2 zI%u3t-S$r_yJ?NO#E3;djZk5wS&w)(8qvOSvIlaBx_WawfAD*<D{lzP+oR4w?pk}m z9xCtP=tymSGOmYXTIaxs^?ZDgaT0qJaSicQkC^eQYt2dXk!Z~-YCpYc9WqjTg5)JO zv@7-bT(?0o^XMm>xPyLx?s;`9#7dRT-I~Lh3qO;+jXWyXf%k<ZNpZNw&tD^@M#GGw zy*`7{hQG*^fz<A6?e7DJFKSRmH_(*(6kK!R@4>=-IWQK9TvsLB3pixH34$0i%k!^? zm{=16SKVnWY@z>paguQjd~w2<Y&Z=1_r=M06@Dwi#_Kn$R6GNoLM+KI0h*@CL=h%9 zCOa~bVSXNl=liduzm!@RzE^H8Vnm1%Dv?l2d6N!0Wr!Dyh(}6(-5*K4&m|OT<Sn?1 z#eE>gCkCG_b`MMl;436e$h#{330{;Ze*mp|+Wxoz&4g|L>LVw%h=l$s_1YHd10c^9 zhowAI=2WUvcj8eZ_L36cEgL)dxzAG4pc9R+Y{Q&Zx575{(?p$%16j$of{+}$#)*)8 z#fuzY*3`RtAiu`&+er>fi4XZ#blG{OXbMF~R^R>aSbQTt>;O)j^?Zu~@wl<aJj<1W zI|gQnf;X{uDmV#<VS-##Uw_5(CIW<4#na*Qghdvx2E-AHPuI7X&@a3mO32Ti{_xP$ z`^5AsmY1kqOgjwC6Q&ExeX?`JWR&T8+0b)|F6hae4k`nefe)ic$*vkx!&X=l_)A-y z1}c<ytucliN_(rPHKa_w&lTWgJT4coxs~A*NJ`6!#Z$;?#piryRZ3?y%LEj;NT6fb zkOmFp>6gfAl@$rw&H>l#ay$j%PwLtt24>`2siimQXs}tI22CiYH5}f?ibhsSelu^v zN^3xsf3=HOQ*t)izgtKxCuxZjQXFp_rl^!i-?~sNc2!+$ZRJvUt>a_2w3SS7yQr14 zo@Y3-i2u!FYa^@0;xq#k1!xNBL(6I@%XcHEH4No!*-Dc-l$6O?%yFK;@8^6Q)fu_C znlV$cn@cOQ^)A)sWVM_q(sY*C_FTnEW97>C$<<_+s80j7fcgW~L773qNOWCIBv$7l zh(cE42$5rx$aZ_fZL9P3vHGje$Dijv!(V+~-VTyKKi;Ziy1PFq0E16Em9hmnOndgj zVAQx_$kaGtDAah8$fek&B&eM$f$DSoTi&n9^8A1o&>y<XAJ3PsR~*;NU3jq)OiDVE zqfx))M40mnd?m~h!1+>Mq3#F?yDM$9-3PnV{n!^IEy*1zF+`Z%Q;|ovO~uIWJdy}H z>fGg5ny!~AWvV0!0J15dI%J43M5Eh^0%QT=C~@$Fg#<kFKMdFU&_cv<!dTr^kVlJH zzhEs!>kyr&;Ib6pe6@e4gcI0XBdOTf#DHP*x(kyqvquayq1X$RFk_bc3odS1bg`PS zu4w}u1WC%{)EG2rb67}(oKb>6s1!9(iO9%1ddThJ<`DsEYIpORz72Wc;9&_pzCBXN z0?6bl0wq=fx`d4HgdR=4a{5@HM48^Y3y~J=UO~vCX4Q-&E9V%3Wa*tsZpTx@oR&5W z*DDLvl&F@<-H;-6E83*M{7Qo%h<elU-B9!>^r!1%Thp~ZIJ0x#!|r5;FO{hak}z>H zv#}_nCICOrlDN7!3#e%q-Q}k1Uz6b=;iVbe!Qm3Y#Gu(;sxxKoB2M&TWWt1Ql088C zH(hriTc!u7lC`pjp^P?2`b!*!sGy9>q{@qskOmR(X#FPaEMZ)Ov)PK0D8QyBR$@a< z@zcwMPza@x3{VA0RkR!$c0{_)9dZG#<arEk1;Ci76{comgE5Kw-IuW5p^wExnN@)n zhR;o`uPGH;cQAMPTVC$M4yJYQi?G%s3Z9AFB?|yVfrMZDwWt7#>HvYUO8{rm5R|}- z%%9AeTu?oY62@~5UvehyP~3B8IAv3<3kzg20=&~g4xHTlkylutbn^-ROQGi$3wQ$H z)O#BFu{0}r?tC$e_%(}ICA7C9N~zNxUPw2}sMTNKSA&cok*HP{k$mj5FP&GAx@Mln zB#aiqpp{%KUc_QX&ZI)cAvkrtI}WzsiBiWx#M)dT&+p8kM$rRPBk)9N7~NEVi7I&F zUx3(uk84W~9NncLTR4X0$cP<)2+4{>&u_hY(f#>j7<&IXQOhALrtDN3?T(hVZ(Eo~ z_uyE@K}wVRIr0Up^&b9^jHa{e4?|k;3TZHFO(Sh>a9ePpMV5hSX#s*U74GJ;^4K7f zkqIcJxG)o*)l0@wUO!{}$UBeYFc=<<$0Q0gxdm<48v`XSHO0v4u}ZW6c%$cuP1cOO zk3^BSaMR7uC@$wxCuD+TEU?EF7+X*xGn(H9qm)2NQWeM8eGi9kSAjzyT)TmcY>rmT z*Vua+MKHViPZp{FZJWc<Sm?e^d&N;3J<$K=MEzUIbPI@nwL&j&4xU9rTV?Eu3V?UA zuwV^t{2pQRHd!?!wKoU&ZA)N|!UT%damvAzm6(c4`R380)KZDB527vI#978j!C@e; z+MG!e)vOG~3y9TsV*9z6y^4i{La*XS{D`3HrsL5T=%fK%BRo|_S$<Hcw&|G)_B18! zQRRII5W{~cplZK_rR!ueUh6xvgjhIUU<ptG#)F)RB0`664i*5U7L1YG(1a;n5J#ZL z((xdf!z_gF(<OjgiQZyLeb3Dsl)#8%#iUfYj0>4Uciq|g#|b=#N&R*Mfi$;p%L@}G zfpP&z>2^2kB`gTM5G4%p6x^ezs(*nzcX30M#FV1td_SbBF(<i<HWD!+g&_%xJ0;Zj z)Lzl+0hF65G1~IHlcR(2YLla1zpGIDg-5^r2PI$aFSq};hMDzMl3W3CHIHZ}vLRJu zd*OG5bWXCxov#4ptl5`?4VYN#KO+tOCU+q{&y3j{-!S4PzCl+}Mg)SqT1pDVzBiB^ zY<TVs|BBEjNUHgoL^k7T%1<ka-9m>5P%x_pG8`DEvS87u>Q^|POV68}JMfdP%llCu z5d}fnzI%lbB?1GRHBi$2_TMt-BFtWi8&-P<H3Q3fJuJpp1~v@zs8m}k5fR|4$>-dc z|EA&2a=L08{a(-%Z&vkVdcVjNy6Tq*U=pq}xYdQo0-#<1cjt>zpuF;r7lyZ4M=b8+ zW{bc9_R~I9fN7|!StbYDcuSi?A+pvU3GLX!sk()R^jB|ryItH_TaE3`LpWT6<_hpj zuxHHq4^c=CP>t{Ef@DXao51O?pPss<3Jz$wqYe0Ql*f*AumuV{%ZGqm(i%MkJikRN zJpDXd1x>)E<46Qurfn)rg%ejh@i&rGIsrw}tP5r;&A~fC$cN~_kKT=pgyG4|4k;+q zHf9V-)?r_SHuvu%1|jr>rYt4n1#b2%5{Gl`%^vBKrjpQ8&7#X*-8f_}H!Z*;7*h=e z3aM)Gf{{lN`a?y;R=+dSQ^wz(BIdgnvjwC{cgzFQ1SiQiEhlphQRVe;T>cE)$<xP< z!#7=Ak2;0S{tdVDX@V!je<ki?*O`z>xFEMl<vm)3emUAY`~PDFkFjwg%FyBtr>szw zNOa_|NbvIm>S|vX;;h@TR=CW%0v?aV+W}?0FS3xii1NszJ74nM^JurXC3qB*kO3&8 z3(J>4#XW|af+%(Ia!M$-{h56!w?T2yl(?5pd5uXFo>k?A$uF8<>+a2?Y@w=xKQ?|K zsK(qv;CrgaltL^xEE-#VVbgg?(GoyV=PgQVv*vIA$MR77pqI_6NTm?#_T_|1a4kq0 zyah>Z^wp=tjlNU*53yROcIANWf1(9p42($3DRH8}eF>q`?8E$D=vD10A*!xiZqI13 z_U!!EIXlj=dnN<Z2*8e$RolaGp%Y3LFY_Q>hI5jl@!h9|X>8?n&zwjbyH3~CVur!P z2TqAGGA&e)N(1vkhGkvWm3Zy)?vhR&>%X?}1T^2<o|U&~0y^!(qOHqZM1eh@my=QI zvmfMXwiwf)uvGD4i?fQES#{Re6m;|@OAO*+E#xb|)`iz#Ghg0;1HnyW47E7{T@hbV z&9_P8@Mb%E-&S1xEq#?sbT)Z{+|n4f_5tSwWba59+NssL=mVU@<K<(LhuSjZGux_a z+@IbzVQH@406wS%m{Cijr+k<$6>?Hmk_7!+G2{ez#Cb8M1lmV0<ez6=(=N1+LEpVq zCowI4D^0p?kewS_HMz@~&1(nUwDIp5yMnw7#L|3vUW7$^9x&>;DZOaa)Q;kM4l?Q$ zA9>TREC-U8E$*HNmAHaX66>@5dD&%Q8|7n4r7Byg0ywAg6`4ubkLIUcSaH9kutOel zr7j?M5<n*acVa}yCoBvJq>5NKXHxdA(p1lLBS2)&OZ4~L=~R4Is<qNrAFm(G!#qTp z_Ac;9vBVAg?xe2TIsP*n`&7FMO??){KivD_Ou4yC^&o?9<hxUIu%`-zbqT*IY}hGx z?rXRl0wCu)45R&LY9HF5Qho5k>zl+R?hhq4HtPlIk3zGk?{w)4BC2U!^B`)y;iU^_ zm6YMYEKR1@3(=P0Lz`~JuqU>ZcdQ_{ezVusv4*_*cbUR%hrGP%r5e{2z&P`XQMX~L z+0Ukk;`sP_-K)$br>2P3c(!`o5ptW3pOpb`02=~URjIBBI@c}F^DFNWd%R6^^_y{d zH`#D~&$O-s4ohqrH;CO^T21tJWK~My-xXPPcC}~;meg3>T&af|wZceUuif5d==cI- zh4{R)QRfQYPTxG5-|Q%EU9WUeZtZsOlN#-B3(^~Hp^Kr~fSXezNK7(W+q~i`poZdy z0KZ?;e$i@9TlX#g8B54m@l5dFkWwexF_-k~403tG_BuPZ!+7)=AOKxMbk`cN;oh>8 ztg+Qv$}ZKZt6s_~G3Q?U8DnI_t(C>vlzE;ovML>PW#hDJ=Hod$wu!bTN3LIOcrd`h z>xLF;FK`)*T76X9ToIl9J8)SprkHqb2LLmr=QL>Kff*r+FsMvSZAF!pCyqz$1Sl@c z<=jNGRu#Tcc~&2s!U-{I6>{`eTUKR5Pd<qUiV4Z63QM+C`<4a&;z20QHDNYaJtxuN zP4w=36yar4;k}Z3y?50)n&F!ft8$Lx%M+d-d%ovKI3<`risAqHe1FCOScpOdWc{Fd z`dH1|5Um#-i}@<ogyM<6nDzu8liy^iRo>Jd_&T0U1NgYVdeocn{yjkGeJ?m9e1YT* zg>$!x^g3V7|MTvN;j7Q*+`!v)Hd42@WqMDFI#Xww1(GGt{*A&=zd|9sStp;aof9k= zm+-S5{J`v3biU&T;jX*H^nStzfHWnW&->%{B>AiM`|C%#*TLFg;$;En%UZ2l{e$0d zKqS<HUAuJX5iJ`;XHJI{0+<qZY@hFfbi*SfYe08+Dp`W26@~2rXepQ`_DG)qW^nD^ z47}cYCRv~+O=%D*G9FX|XU^akI>e~m8E8V)DH6hc=H^}@fy<r*$RgGXKxVL%WeNCa z#1OfV%0NG{N_qTN^<8rTQ_NgX5@Zu=MP{&>$I=&-FG&0cR)f`-m{_?UAmd;fggv)4 zKM2DQHXNfQb5yM`iGKWxJI3gNlV%(9M@GmyA#D??#&t|U4YH0oHqr2wne|&;Vw%kr zZ_L4y#4(5%7&d|dD?mn0m}yKq_xYVfIY-@cJI^lyk{%bcI2YT#_?MLXy;Z`iWe@Tg z7#5NakHZZkC(@uhccPIuk3Nh?TZPLgevNz2?icCcPSa!ZwXlRc8s(YqiGEU$G&m(< zVg!_`wIi;$Y+qu|Ts{!S$enX=pIfr!Px@;fC92<Rj#DQd++c}!+7dni=%EsX|Gb+3 z<6z@#F8Kln1xmxn$jQRR!b-=;M#;!XNe#;&Yi}ZA=weDlCGwq_k(q^&iRIrS$tz%R z4OmRD3}Ti}&MrjETwMRT|Cft3`I-rg29T*fZnw^f+%c_wokEKoX5(5f*@I0KYM+j^ zdrp0A_zQXn<Z-!XDCGUsR;r4K#i&7oUM!WOy=;{(NknSYLtJVlD3*pQ+K3UkGlCWa ze7N*7Y+t0+|5#}Xqh>sd23fsmkEwM#e+yfwe5AHY(-yU|qy@QA&HM`VNGmG<4xl6@ zy6^v@H5eUqUff*=H@HNj8u2u*xwgxK2c<o$P~_b@mi4GfT~sC~(;x#o5M3zgr_yMt zRsWSsMUP3|R7|bRqLOk{blL>pmG)&IJt9K(^XcRDxGNUB&@H>dQxXI=_RARjuO|#0 z`<Ld|_V?MT?iPZWkmC00e&Z(^GQd_)@}%l)lq{l>>c>copPFK8$TJQ0XxB8$sS zB#T?CU@2Ad7Xuo1kP+AhvD9{_F^PqnUraqpzJ(yt#9stdN4`a(PrpjdDdtyyNrL{H zGATw#^zsw#nub=7AxL{sdtrbprI}ESj5G`*UF?{X<dP#%#7H7V?m2`2GQbU_RZN(8 z320(TNyE_MDACx_*cYZHyDfbqC+nm~zmFO5nf|7i357w^C?+?jF{&Ran3163f0I8S zoJv>)qn7t~Q<=vOS{OqK17Mmt1Xr}Qbx3NKqp2*Sz?Nc6FrdnvgejX_-PU-oFDh%O zY6TaEiAIk`w*{z`%r*AT4(_FtN=u6ck^W7h*%)Omwhk3tS<INsOK?N*;yBUF_@?(< z!m4_B8A=4LSV-;Zx%KO|3cXUniSXZW5a?r-F-h-qQUDIDMRfvRevhCRBcp*CGNS3| z`@KX_)FMR`CS{&T$RN-}>^LGlvB_8kB!U<)Wqe-%4H!qB2+{q`dmkUy>U-H0BQm09 zG|b9zsklVnX+`um0bW0Ttn(5c`L%7t48QLbN!u7&ZD`F9Gh+CaLd%F6Sos#rr0pt) z-zER*iFy@`OAVh;F)1QpNz94-P0@-v@*JVChnk_U!9Q7DF%5zsW?>bWCei(Lxfm%g zYDJ?2P>xFrUswpG7=F{fS?PelC@qzc{hOhTQ<n1iiTQT0U;nn^PO5{kQwFVW8Y(VO z7T9?6QOKUlKOcOry2G}q7B+6!;60!0n>lcL1o#TM)V)IB*8Ieg{*hl=Bg>=zJN=_S zo|h-YBkZW~slDAWqnos7>nzUgX)EL-+mWs3(emcv^2~u-Pv`zB`*Mh3vq$x_W#bl{ zUKjAgrEWtnJ@%u&-@%<%vWbBusOuA?mP;||KOzEG@-j3WDS%NImO<Il)0BvrgPjqU zL7hmOiHL=W3CLBlw+FgC2O9?wBasp;gQT6A{ohN@e_x6aY4b1xx8*Z4adEM;v2%)u ziit6b39^ZDu`+WC3o^4ZvkUPN{lAGI3Go4&`uDj4?5v#0g3?gb0P;1D8d`hZts9TS z`;3FE_N%ql*Dm{`%hxU-e(e;@%lp_3V-n2(A7l>t!bU1%`UgiU%n6=f+F?HlG9rP@ zYz7B4EK#LMf~|nY#Ls{UlUPxSJ#{G=u-Tk#|K##?fAr4d-1gd9s8o92=~SvhU#MiM z_L;48B-P4#dzb>y@^=C(a;GmwTOkVku6~d!Bbcq|$ysG<>`xPBtZ<dSh&_asQTD2E zRd7ZxD(6+_&fx+xOOig|2D5r)Gw-!&e7D+5b2g}2Rcr*F!f4>r{X4CwN!|Git%`O| zlejYqtr~YpleRMqt!jIIle9Aqt-4oPld?0sT1ltMT5c-<RV`5(49l&|c1Z`pdf~Cm zc3ubWY{9O?c2Nfj@1=35WEFEVsz#D-%D&#rAYv7#Q8ukM;3KPkwgB^MM8K6o#JlZG zB-&PClL{Roj=m@GJ7D9FG{@e@(oE%u`KX9a{fn?w+)3y%fR*MC4Z1F?z@HknxvMmj z$onO$hK(%%8R8|!#&WA~tnvc-r4{L=gXDY=#fyifbW1#7=8M0}MR|_4JG5GARqjA_ zRJf}!XZ8HY50p$v9-B4pV0Bcr%Q3Zd0$>_tt>D<I`w<#Pm=oGyninV*4y`wXyZ90h zWg2I0=+~9C3)t1~_;?hwt1xN!1I4Xox6G{hf+?*4H@taxJVEAGSc_&>d?8p?J9aL) z$=6aBjjJw`OKtAm_0u|wSLXr7C|P{Vvn$-Dja*jqtUn&*iZBEGKh}Vp04t=$V74ER zQ#D#Hp%z0!@15|!^GFe`hWv`k>69aMx#p*28h==&7TK?)R$|@`Teb*gwptMbH0KvD zCe#5DcM;V@sdD^vy}O}W@Rmv!_j`n%<)5{2qb-n;$F!<zg^yD4vY7`~Aq&9OGHBf2 z7T`hR8CW&fPtJH3e)m%7zD5(yXy%)Nr2H%@eRBC-%9SkH`s2Q13X<)J=UGI#`oc!Z ztBB$*dTR5;?Q!RZ^GH1HyO(*o7Jf1VL1rhQUN~wY9tn6yQ}k?^CcmtKyn1ol_Elb4 zAdruei08RDKF@r&YF@mwI6cqwLGOP!vBJLs^7^g5PwmqI#hg{>s<J<3fwmZ4ye!|C zSy<ur;jjBc_@X9mewCrNx3wQwG_}c9ZYGerz`*_8>!<@)pQ73dSX)Gnc7$71(cCtJ z_;s>v9RmDe=CUO|ogC>DgB(wn;?KnvNJq!rvcZGMGyE?i%qW^BIK<*FxuSniNje|% zPsATG!Ef-sgZOZ5mHKXty9M`D?{kxGH{WC`UPt_yN)AVW!)3s(@J+0NRqMyqfIBnb zwegLrL1+rlFPdsp!L=K5WBD#;2eG$U@HK9ft%fNvNj-TQ0nP-_U5Gs!(Vc@mn=iod zK?O_KR5aIjHDn&5d}8kNJ*j1OPb>zH*Y5uR2k4Zo!D;GI+m?=D;5~UN*oya&fB7E( zaNTKH+F<DXb5Xdo;mnRUtlf<)vFRsm8qcv~{&3Xhjmr0z4-LU!LL5(?<4n0i%1;`# zKj~)7T?}-d4ac*2;t{|cETt2uE^NHlJrgJLKaFXT_2!Z>pq*!>_gU40t{jz7aMEdn zmYxMCaYf>3go2(($|saQY<xE(TNSl{d)CCwSCS;7{TP#!d1JX4uFj>>`xR62Yz-vp zM4z3FSz2L84D3K+>|m4>$b3cuGl4flUbx-q6E0+c$TS$>`<5oihe208^jqprbC^GS zf2NqPDQ_~Fu0yUf|F7O4J@-c_z2Av)d`vfBvGJ<}_DnzGGK`l2fZ;p<tcE+0@5Q(_ z*-@R2oeMl<2NYkX5b)Bvybp~Zu;&0O*GJ8XVBT{zVUlsl#fg->4WlDdxb+86+db|8 zQPszm;(O+beDo8{u8*z-!EKv<J>c~kgir{3r^<pE)E%-qmtmyXZpd-ttL)I#Gvp-J zHL6}Knj|C0JOAYe;QH&cNO{IwUUoRST|=G9>6-!T^PG{S^mS#f%F8@|3`T+FP2pfN zroPtCe}LNC_wju4{NEiar+Q)2Q_V*3;9KFZbT19N^bvfOEzNoI-!4mz=fhvAUK)<) z^W=fd<p>_F4*TahI+Dhec_X<9F1o{pzrdQ~Tn12B{o$E`ai%q4c_CR?4WP7ge0&ug zsk~8nIeb!&Ef*~S?ggK)B!Kvj+JG(nt@ezTvG@l{%6y(w1PxtM!;A2^8y^mok=)t$ zngX`jtA%cyZ|mrCLnlgwKfV>7hZsSGX#ML(ejDdVo#{yhe3CbjTA%p=UdLM=r<Kzl z4m5g`)k<zxS5e8R`aw(-`~<Q64YB<!8DZxQAtwSg8SxH#bW))148PFIob0A@?xQY4 zMks6D<d)C{nbzPB89-D7wv_52IDYHI+=cYyZL#fYL0PBOUx&AgW3UU-t>G<vXx|gy z-ex_Qvs}Z<Z-RR4<vb4ofH@!|_8M}6itk|KhoCv2%8k;wI$%!qdbB{AE3JNVJ2t>M zpwRc4wt%W{{2r$8#*wQEFFbQVv+K2O0dw0STn`C-CFb!Tz6Q_gV{u1h*e37rU!v~3 ziXkWw^b0P)qb>}45{*JZ5M#xjH4q6vLHNQdrqq^f#I5xY0|4awXV$-fF)^+Gpg;s9 z5-yL$bxv=<e+6^)BbBxEg~i#C&SB<MCKdznXw0m;9xyn#71lOTgsiThg1GH|P*I%% ze!(hud(@pDD(9&v2+XV_Gep7x@c#f#LBBs04Y<Whp3`eL0L?x&i`g8}089izR`;20 zLDEa*-Gz}EXq=S!6c9pII}jXPbPI(X;+dg~1fMs+kl(*=<9|~+04i!J>s;i8LD|z@ zZ4N%c5QMp;hX}s#UOd7mUUVjT=PO_2A!`aEivh)i{|Y12VINNl5}W}sfHvSG=NfL! zSY6tHfmZ$`xx4$7Ndu<bfUUx>u?F#XKjbp>zg!kse!NMThjb0*#>9r>9A)r}bg_ZH zls(cw?=W$e|De`%ml%>CrCz>xk8{<m@%G8@W0-3h>w9>e;CX8AH=*-s;R;3hN-+js zbJhH0e4ef~Rd;B0CBV!6Q}@ST7k2pX{;SuQpWyQ(c7DnPoU^a-^$PBv0oJyvBa0)) zs#2f3or-w=D9BDf(8+WYT~y~(CDqA+fbAEBI-6^3PR7`k2fD1Ds)uT2!NSM8lGNv= zwD-@w`9hUV9*p#s<;CaHw{0WVQYCVL&JQN!f;RLNWnDz@(khT772Q!9=`z~Vx`MG^ z|IZ*RO>IT<0oap(;Gy}M9&*muF?j%)Tn4$SzsjB<m0;P;pLil5ZdH3Ish3Km;V3)u z{d>J<Xr?nTUiwy5J)Bhy0HG^uD4F}mjsFMeFN^U-S)>#Ix;QYe3*<#b-%p_ZJ<`W? z9mmCV^P>2>2YZ^*1uj(^{^_qGZup54=Hl@Tdgr!(Kyp=NTfOo#<tL}BXm%A--nT!0 z$$Qm(``ndO_rC$)KM`zMJ9{F)%<w!FRQJTKa4XSA{pJ4%AXYb$$G-k?Jzuz<VPkfo zo=NmrBE1^ba2jkESAG`e$HP<3`SxzdbDQMDLFgjgjTh5gxD^$$I(H@Z(s7C_*5-eO zOWO8t9RUAL8&7E7+z{8V1-If|s7FG6^bl?6$4WWU{|!`M6oSKyF@oTz7$655U<3c= zI<n6t<qM0U8V%q<^4uO{Lh>NyD&kP*pYaWJ<r?s$K4uL>;~G%4zV8~DW1nxvwcTtr zUtD`%R6YO`N5+F<f`eHc{g}(JYX;oszL^gAuEn?AKfm#{|0_oQ4N-#b$lScZAeFLe zC{4Kon;~()pc9#y<v;HLIn@W8l(4o*bo|{5cep+W7F9mx0FeYb0cXezbap}=Wi1GL z3Nq_KjJtg9I7~Ol9sViq@OnHlJP_4*6o9ONWOy`&PSsEW{o>nXz$|h47co|xSrd_X z6xsg(lW_^U?-zf-ankAySQ9_jR2Euh6MX9V3Eu|g#cdH|b0vd|?$hs-o&nY2jq4Wl zuCltj6i8{(%FosMLt6f<ql-Fmkace2QACrCHQx~?GEmt3Sz+dMk|8kxQ(>!~p_z6v zV8;3ps}#r<@#L~eteSHsk}P^41CnzUt#}%9>u@TTN`;b%6sl=|!DwhvLAv;SPn#J2 z1$G8V8Efn8zF0ioq`RG9DMd)y(R@$R^w6-z9GOHskt`u=b&=o3hK6)(QL+xO>Q>;b z-I?KH1N3d2xDhe{-Ic^(W1_@6GcgWTkEta}KUmT5Pe;jEMH+M;P@9r+}(ESoZ& zGGNIuiE}*zjeI_33&USCF7_C@XNI3J6O@_`l)c~TKT$#=)fK@M{63<tH|&SQ-M_Md z22gvY<+1PM;@7jn>M=!4f-ocvnf2nPB-JhHN6WjnvmX8c%q{a=qgvX0asR>E1dZ8` zssVe0>=0jgzzF%xfV{$gu?BI-(00t{j~qT7;o3kJM~_&ju5B<~4MtP1>+%<FL#*>) z-WsgO-Y=YpugZ^T0ggEV4$z4GD4ej4j`TfY37z(0Ha}72dM!D@%y;lJLZltg=!?$5 zuEJw<gUcNd02JHb*L~L<pf3A(Tae^;)W&>HWX})2@c6r*V<a!19gO}Fo9<k|tGlN) z{hEoD?f#{DyRp%#5nQEIv2Z8~SKrE;qwA${StPP?C!zE1!6KSdtb-<AEsCMhoqRM| zt0Qz@+O|oyKp`FM<}i+?(S1uIF-^c)rIabJiOe)x6M#8<ZECe%;+Q`arG+0A*!aMh zR5zVuyw}(hnx<lnr}X&T9gYEBic%mJiz{gL7ho3uClrfa^@+8&<uT2KsO9fkXi?k~ zi^5~G0|Mt2YeyunzBy6O#5(?0nV(5S|FD7ivO&=r?Fn@Z3{e+AdBA@Z0Om+EYWMuY zmA0ZStt}Y(g-d6J<cHS?oY;?*y&!iWajY2pP}s!Kr*aHLdPDtDAV^`w&^I-)5@>>z zO|N5&jF+m9kzhaH17^vD1%v(JA#h-s(ZwSCp&*c83DJ3|+!Y4a%m~qSzQN-_K!lt2 zMD<xHGUfsPvocupp(ua6Af`M65kWtHPzVTESaftMDg}j{nY{>I>Q^(iF3^9~M5T%y z32Ymks;Vb9!TW4$m~uqnI%iw3Hvm}78@6AV_`UBMST09E(2oQ?N6IjVsz84P_&+{% zpI!{E(*gfQrR(G@TsU+9u;jngG$WA7x{vMxkDEP9cz-|=XX*VvKZ+HM{kdH}VNXe> z$p>IeKG%R?_K}3bKuHr7;m`)8=rBSu6&jGINL>H6V)WjwY&4kb(LU={@oQ%HhXJ+! zXZX7I=q+c_0FQfUJr88tsDT<X<j40NuVGLf!W<le+F``^%Xff}?uQA5^MaM@$KixK z+UC*mjc|Y=>`hczao~-1O!g&#!vM@IK({uM4h@&qz1t6EW%vB&GZ>#?J3GWGQ_QYP z+1q}92~1aJ;aFTZFsL=)%wkG;k*Q9-g=h#yu#>JvTCn6zh5~`J0sRCRVS~rap<p_c z?f(vBFH}pN4k8>Sm>Z1gVQ^NN0s`SL04W?o!LAdS#KP(Dw#*HtE0<mlua4(Iz+G+v z!R$DzDwbDZS`C)7MWWj77s91ZpZvq-II|T0k{+G;pCEdKzHqGmM=k&F#{U~V{%ZCW zngQ_{8+<DX;PR?i)^T>{7+KsCz>c(9J!wcSSnxul>T@s3iUuzL{Ou%@D8C-jNXm%! z!jHE2iP2~Y{1Me7lLBF#!%y{g9<^*oKM?{^gN)g0qyZ{zh(jB~r19mOAx1^8Yz@0A zUkk-!2O>K#>Uanq890~y{IgaoIRO_QCcsTx^m!f(_+M>ZeNfT|7@lAG@zcoavNZjr zre10dKTfnc*s^3IW;-KIo0xbdS3}cF%@0s%G*^zwCH{&+7bw;(HEkD)GKC=QM;KJg zG(+ubY6kdG5QuYbYq#6}dEe)rd+z!7ectz<w{EW8E%TZ(Qew-o$w*ZiyphmhvqN29 z7}Xg+ya8hsFuIn_2+LiUY5hfb&M(HjCrn4#19rD<S))z|zBz)l`c(l0rgcJr;Ls|t z%kIPW)aP5|oT%9nO@F1cPVWoSeE#gp)E0t8jgYF4&fNZ-GW5l0{%k!u)*)uoY-iEr zLW8ET=}y7b&nmXtO|Io9@zC~MBFBCS)$jg``WxI6_V^IcCbwhGUJrQ$;^jb&DVEjg z33x}#hVrf_)sHNC8&Jt(>pS>eujg%=X9B>gRJ`%KsPqoL4BnRdkc4*II@!Tj|G4|~ zcEn^`Nx@^K4PuhD-U|S&Rrai?rB0h;kT!>X6){_L7Rq8n$1f5xkS^51_@iU{yu-$~ zP9f}!y?h9+gPuYPYt-t&Gkc9KoYS``?l%P)jfW#JgdTlE%E2)`cQ9aZHPRlH9|J)P z(1{~gAoK-@a{i~vM;Q@>moG!o*n!W@cb;6BD1eq8VH=a7=H$V31Fm7TnrES5=9`|H zFLxfQB>n8c<xJCEnrCR=%PjC=1)i-~S-yb<O_V@Q`ylAiV39js1bWD#rG`qqxj(BM zmOO+n$E-_wFLY95`f#c))*Oq=TuCfls1p=g;iF)o?yhj5A7;RKfgJCng!u}Xe^<C# z3Af4N&B{K9eA<Ebu3Q8h44ZdkA=H`yq7*{o=pGo?c&1v@ohVb)gd4`l!Jj73wN%e| zrAot`uI9ZW>$J3>+H`I&@%@98Vra#4BQCfbN1rCN&24v4=z^j`_v6%-c{d#SHx&mP z#%oBvM`~s>sFs7lF5HI4jFf(rj$PBXH%?6JvV_;JQ0uS-64f4es;RpzoXwz3n~q>r zx||!;JTf`Ua4fjG@tnu5;Dkiq9PJt21~PZnr}j`InM7pr_LHAZVJ0}w5v46m&|N!@ zjd-hn>}E0y(XKN^U9C*fJNq&--K|V0QpuEMH<=vKi0o94T86P?gJ9GH84Y7h1w}Iz zXzFn+2x10gEsOg=j)4MlN(({JLP?qVe#^WbLcG<N(3+Uap4a2~TJ1Q3=6fIazDC74 z<JhF{3>qm*k5gOV9~9?MAqprVXAHBxb;9M+h@^w)(_IBk6wFI+j7T<TcNLS8b20;S z@xjc+>QzbYRdfC{|KT+g31*h<l2ESNSscSfEte31(N(fY__j)`$9x2<i`OhBkJ?F2 zzDmx>mYaz4L2piC^Ty*TrSj^J1$sYJ&kMSyf<T!$PB|;D4ipGl1*85Ps}<1jrkbf8 zf*Z9{Cj=n@s3CvUwHJ-jmyAop<H}*fc@JV<+P_SstUp;B93}K?3RjLQU-tf+{vYk0 zJUaf(trSYO+-0kv!4K8(f>Ar1@`p1ij`h?V@L^4P1Fjzmu+h|;_{lSbB@NuRAGe2L zb+_J{j<gjct<@Q88(CE@fCufr$2rG{e<F7)P$2et0+=#3z7<<VI-Jscm_Lz@O`33a zMSJeb`(nG>4lGURfr_Qvv>cl*<pLD3=WXDf1|3~~O6TAuUQ^_x)I<r(Svn_M3;}o5 z25XD)Gi>QiWJ!I1aL;AvNX6-rDmkg=V&gF*7*Rt2ZxKN_?VryAd;u>Y6cved^7Gr3 H80+*qYmzF$ diff --git a/doc/VC.tex b/doc/VC.tex index bbc735bb7..7f089656e 100755 --- a/doc/VC.tex +++ b/doc/VC.tex @@ -4967,6 +4967,10 @@ \chapter{Catalog of tactics/lemmas} (tactic; \autopageref{refcard:entailer}, \autopageref{refcard:entailments}) Like \lstinline{entailer}, but faster and more powerful---however, it sometimes turns a provable goal into an unprovable goal. +\item[\textsf{entailer!!}] +(tactic; \autopageref{refcard:entailer}, \autopageref{refcard:entailments}) + Like \lstinline{entailer!}, but does not put hypotheses above the line + derived from SEP and LOCAL clauses. \item[\textsf{Exists} $v$] (tactic; \autoref{refcard:EX}) @@ -5047,6 +5051,12 @@ \chapter{Catalog of tactics/lemmas} proof goal for abstracting/factoring out as a separate lemma. % Superordinate tactics: $\mathit{semax\_subcommand}$\\ +\item[\textsf{rep\_lia}] + (tactic; \autopageref{refcard:rep-lia}) + Solves goals in linear integer arithmetic (like \lstinline{lia}) enhanced + by extra facts about 32-bit and 64-bit modular representations of integers + (Int and Int64 modules). + \item[\textsf{semax\_subcommand\ $V$\ $G$\ $F$}] (tactic) Applicable to a proof state with a semax goal.