From a42413223eb60430aac12d1b93bcd091676b9de9 Mon Sep 17 00:00:00 2001 From: Cirdans-Home Date: Fri, 2 Apr 2021 17:01:31 +0200 Subject: [PATCH] Added Matchbox-P License --- docs/amg4psblas_1.0-guide.pdf | Bin 1807925 -> 1814672 bytes docs/html/userhtml.css | 69 +++-- docs/html/userhtml0x.png | Bin 892 -> 905 bytes docs/html/userhtml1x.png | Bin 2060 -> 2101 bytes docs/html/userhtmlli5.html | 2 +- docs/html/userhtmlse4.html | 32 +- docs/html/userhtmlse6.html | 16 +- docs/html/userhtmlse8.html | 62 +++- docs/html/userhtmlse9.html | 4 +- docs/html/userhtmlsu10.html | 50 +-- docs/html/userhtmlsu11.html | 50 +-- docs/html/userhtmlsu12.html | 50 +-- docs/html/userhtmlsu13.html | 10 +- docs/html/userhtmlsu14.html | 34 +-- docs/html/userhtmlsu15.html | 74 ++--- docs/html/userhtmlsu3.html | 3 +- docs/html/userhtmlsu7.html | 30 +- docs/html/userhtmlsu8.html | 556 +++++++++++++++++----------------- docs/html/userhtmlsu9.html | 26 +- docs/src/license.tex | 66 +++- docs/src/userguide.pdf | 1 - 21 files changed, 620 insertions(+), 515 deletions(-) delete mode 120000 docs/src/userguide.pdf diff --git a/docs/amg4psblas_1.0-guide.pdf b/docs/amg4psblas_1.0-guide.pdf index 0e93b26bf9c1ff83881c0de9178f7e2b6d8a3296..6bba698e37ac4ee8b0409a0fec323536470b5734 100644 GIT binary patch delta 80769 zcmcG12Ygk<^8Y6V5<!|(bl2-8S$Dqf7>o4WsZJMlc%vk}@C`>k(uZ|6T-GmdIR31Kmv>j1=~n7zj-g3- z0fayfH8|)90Jtj-IxfY}vV)F?Dg^?*EHCZ8OH+%6I#X%bA;+GCpym0}v8*z(y#2kS zSEAof^?z{GMR_EcLAi{$gER+gT$4b=0iuYECm9&XYBQKDRgEjb#W> ztp$2>df4gQ70YDZqdA|hiWl&}P4ueUX(mRZlzYIDLA!p{b$qCu>BIn`o|#UJ4Z0`O z*#JLVGo2mqb1Ku>610BfYG*_0*udEkNtx@M8FX_4XFEJ!+{kItCk>n(?Q}(vhR%$5 z`nZND3r0*=F51%2$qbMDioR~>Y!Xjz)F_@l8%d~I(MQEeCZ#oYGGlYPHNUZQS|VP~ zHg)CzvDsMyXK(wbFv~du-|_|Aos!u*Vy2Hl$zIG>>~UuzFbA=W|X@ zY%S&7UQc$^6ZN|LjdHiLpWUrcO*9ht_to&AbkU8EI8&@qLFbn>09cnxodE!QT+{2* z@=KlF@jO)5v+zgYmZf>NveG1D+g1o$n-r z{D($3TjOJ$k5nd7;ih~YHk?~&yIAqONyhiHE`hb{S6MlttFU?ALcpTY&h04}=6xrY(0lE~|AyWH8dRVf(zwYyK&_3For72!dmHEm z)tkz+v@kzJlaRJ$wr0@6>CXB9W6N~sEF?{S$uuZ;1|*I>jab*uaDJA84}*%FQKa2h zTIVEZ!+%s&UT(k zN@Eu|J0T51CX;GKH6EGZJU7)?C{m-}LSerd3!RrH1g+;6IvXdV$}jIjuk7j5>UY2M zO>V}$*vS*@!V#F)CNFmO=d|4Urb%Crpix@Abcyp;uHdZ)on4UGSc-lGsLN6*x;sNx zv}CFC1d;?_tCk5dINdt3%=tpBH(`|I+9=^6=dpO+)RoTp2|){EZ6-H>PPd}Hos8;q z=^BVa%=l}ZL6j5Bytl?VSqQKJ;9a#=u+5XXwRo*_1ve6WT*TGJ(WX72y!*Jbr`_md z_$sg+To;$N%Bu5(^9wHa*Lvqhpmg1a5*|9c;lJS_pm7s)g=aQ76Ii4^x5ar;B81%b zEl@0KZFTNITYI(&LtOv5mO+i4bpDB?+5C^gPfdcZF<}Jb@IRY zNPG7=Q!URvOcxb%So_|0ZsGKKA2>5h^@FQbR?QEc*HugO`>Z>^a*j?Y^16e5Pbkgj z_ql_CXvppJ``y7%z=wx`I~a~c@ep(eqkjGra)&$-KOVyFkk9YIL&P2Ohr@V?xD~Nic0e_k=7;r~CQ8XG1x+A^-Dh!6)5x=B_-H{;o zA{cQ;LQ#Mk_P8UF5LypL-BAy;3SY?Mju!d6_!jcIqy7j#_}tN;FP!EJ`Q1@~kCcEr z8u6i36pcp1fFtaMF!ll(UkJhx9SXX={1EUkuJ{49_(CB(u}t?xB6te%#|WoIe1JU6 zX;G9f@}WvE{_$t1Ltej!i=YW_0R8kuAfUY=FDeAyz1}cajhPwwK_?$3WG^}Z3}A-$ z`na>cC`th5o-`kN?FIZO5#|RF*N>9EFl4$f!buU2uMG+S7GH$FdRQOxFhYQ4JfZJ? z51RFR0XaV4$?x;v361#!p^(+$JLlfi^J;1SW5rq;)jJMGi(0oFcm7hPYgv^JeLuf8 z==A|eZz!hv0eZZJ<8NMc*c+kATlB_BKIo*G$DNrv`U$NvEvHZZ)QQukjL4q~_VUmc zhqGmEAFwOmawklfSUA;v6%9P?jMiqRWkqyITDx{>jX^t_vs}NNzB%o@EWuB?N6fA? z$D}yU;iMw2Yr-p2JhlIcJweRka@U$~g%92pzgl@49G!)|tGA&8~~S z*SaJE0`F2?uWa`^4slo@b_PTbE(0;u+Gj$?C=V~X5)@E*3^B+&gi3=>3opxX(xh}( z7n=RJUX`vt;jB*!61D0yyS}RpeVnMxrQJUR23q)z)&ogEldT;S|bM|x=isftwDN1Ncx)d?h=X+v|oQw63z&hw>|H-KlGe)`oheJ8RMz ze(jwG)a+WQ*P#1Tw5~KIRlA&;rD|QMauqC25B}lw(~eY7Ge1phOP5s9Ces@=v`gvt zDp~e$0MOs#T2t z%>RggVM9z03p8f~10$dDRfY>AVHr32dH66AqDr;3Y@P)K%aBF#3rS@E#;^}5#P9K; z6`_Rh%r-QvrmGq4s;#x6xsEuBqYmJ{1f4q^+Ksf=33P%0KAP_YJrWON?iOTM)3lLP zS+~n#QrCb}aQH=(t80^Jo2gwwCv|NM{c6OstTljfL9y4==F#x=daSC$x|T|RnA-JD z$jPz{9f?rpA|QI50-_`IFQo7V_c_>CBLgPeVRGMmAhL~m6%jE{szm<^I{ps2wURKLGtVV@i3 z1f}^(>fc)X8r8PGNZVTtCF>O$E^5?Sdk~6}==}RTYxQF3R`o908CJfkUamb_P6NuK zT?4e(c9fz^x@lXH59s&?1h2|=r6cdZ|noznyK4qDrKXt(jJv@xKU#;bVIbdUAY zZs!l8%P#DrwZI47x3WIyqcwrzf2MZEqU+%ZT+5)7{AEGrw*7c)}I`qyEtqPJp8lqwMZt>OHRJ;^kt?|;i zRsppC*RIySpX=%LM)7{eQ(!-;*TBvGL z1nbF1Z_Rit4-8+eVaW|>xH+XiC_qM%b_N{F)W5o(o&IrvN%1HqLZ|2 zB#oJ*@seHEaO)>Adj#p&dR2$oPr-=6Cd@TvIt`qv?YTwUg!H0YMG!o3tJWViCCta@4N}pa;EF}_wPDC0 zSgm%OV3pIYOK;O=G4ddo-Soxn|4>}m8)O!0`ic2@+&$V{{2aYUTbK~E<}3id@Y?HP zNROm@wdH7k)x8?_duUBYOK~$Xy+mf@)$L1E!I5v zn7bH~rX(qao?Wa>i`U$lv^<7KTHf&h&?+r!l=mRUMv%O-!Dp)<)Y_M>VewK8JLfiN zcP!PgClae*+;VMYyaM+MEeq))xdgPaE6RXYnRcxZIIwTzvU)zG?Tl5UQ=?Vdeer7E zT2-c++){8X8&&RYY zl974sdhKkyk>@vPyuT=8=dTUg1I&+@Moe12Nj``a`Dv53C0^jk%|Z|1>yw+c<4FH@ zi&nfF6Wof4Ap!J$QhOwkGW!_Lq(~I?YkE2@7^RtL>w;w_^XNuPi=d21%EV_h*$%R& zx#u+AQ585odQR)c@bT2ydb{xRXWPN&Q?_e8gB{uvu^lIamb_2`$AK4wiv+&VizU^e^<>-DY=>T# z_Fk=O(6R5e7Sygiq{6=r;lJizXq|w=$zNzYkj-;IyU~7YONS3=^X#N7dhnpu!A_4* z&%vq^r61Df*dNpBo+EZ;tWJ2p)DD+#E=m`F2hLjh6)Tq9lAG!eh0Ja6wf1g>yw<>P zFx4U7=3|h0)rY7Qy3CrvVsyot-EjhY_QE~1rxXf>$kVQskGbl>s~wxfwZv%*{o{_01x-Q}}I$$wP4 zDxMAP4JZ#*Y2;5jhB;8WTA{rtjX7@5IK}u%JfW=uJ3o8^Q&^Pl{RM>k2a=&K?LVpA zgVyp-Y1lxvmY>opGyWd_P4l9j4}R0mC3vk5e%Cs1DzKkH?au*So=W;5E9bO!ZxRZ< za87$0>|`xS(68a)T%659wn4lkX!8m*iZ#{s*O=?Z*VGS{&c&5QtnIb*m-s7qav{FP z30R-19nsohv8Z2%dXlk~E3z;-9L9Rp`>KPN2bg79h4_aSsF+1!zoBQMFqF~yWSIIx zXj{bJJNag1de;-(-Tk z%%#V)Lz8B?be@t|xpY=WMcN&4Nfol_Xp*kyGtcAR08Mj?R*JRUN%$ zQnZ4h$Q#P`W3RK7?>`uzY@@-s`uY#?de6C~Dbc>dnK~=2qW6x=)LAE$Zaki;v#Qv> zxhtIxWui;5>056gXadO0KQgIY-$1{d)v@C@nTihacY9GqMnkDvw5Ki&r4H^l-Ox}k z5Y4d>EFZ~@qyQ{I>C~E^K_8xS#@p$l+^%kIev3yRmPiXf)|~W*56p^Dp{us| zDbf{hX5{`Rru03!VxwU0QKOEdf{i~wpTA-@ra=L{A7I@W(1#-Hsxz2Jn+El1ND?$W z85HbD`gcKnBhq_SR|c&QNf(#jY`QB$_b8lMNC|hFt!Tj}(@htJ^^vG-Wmq4P5U`RX z`lYOnc8Tg8StcbcF&k3*I%*BF)as@mqd!BcNm9V$qeGVAq?_7^RF(D5OKtRjwlT%) zpDM-XY04{588pA0-XG0=(N5=;j!5g9FUFh@>!Hy;PUv*%)?Vis?X&heuS$|~^&xo6 z%N0&5Hvg~7g@Xd>%hgXL1g&>F=(6vFUNxW_FV)#wLB!vem+BpmO(f1m9revIhI3Kn zPI@jr2zsyXq_^V_BH*@lk`lsBH80cKp(bIo(U(a9nJ0E$rnA`^3(5>j>#SGdxwT$b zeH+sDchz|v-1%~ySKYwuFL(o3=~S;fp1~Y_^+r~xhn~uXq?P`?WUxppvxn*_bYCxh zEFpe~>HZ31RkNJqKB_086Jg24iB4VIXx# zG4NKqA^Jc@fE3tpwLmFz)Hhe_J>m^?9V%Fe2{ z(!$zK8Z`2PhOc!~zMjhpQs_FpB^?_Bu^k(%jL4ulCII&lrM6k-!(crHVC)} zt`V0S2G?piPH$TY(zVtycn%d!5_p$QV%ccznxv0p))4AnG*yojQ~$21dJ1=bQK8-j z8Q&|^hw&oTKa0nSb>%F8fUkg!MG>}d(ye*d={G^alN}_hL6Lqb8?B|y>*p4?DQ4)M zb7gq-_#S%R*|~aW+24`zFl?So0GROxqoyzBLC8ZO^Tg=6ML(Souv*;;?XAe~4)|g1 z^ut~o2x4;b!$t)=BvP4S(hTTEfxbYBy ziQDT<^TQ?_jNr`=n{deE3E}}(YcE&Nrfx~_xr;(Iw=v2AC0?%&s0x6xFpUFO0Z`QI4SJ$5*!nS#uyxf_#z=CZ zb`ffJhra8-D{8g7Qy-P^UzYvjF8!~BI)4Llz=EISOO>|KXz%-G zK21u*^8BJl^lH}6%k*}Y=v^lyyW4Pj>v|);Z1!3R1hRt|P~NB~o5zhe7|srcXwE4J z=3^`M)OvwtZkXc58qWi;j8zV;9RC&S#L(5c1LpZDt1+wC^uIuRTp}D_-~GYNH2h%c z^1TjwrPrD9UfVEWfR}|K>|^s>L%QJ+0O6yJYxD+*D9T*epbWjra-k25?+-&n!efCt zJpzmKgacSO!ZKJ(hyO^G`BvYJ7LLO z@QB{1ymc88i(cXM^OQY}bTLO>XdjaxYHS9x?ZRakEMhZQ`gwW>X~(^zb8B^-Y8-a9 zqn>N^9***yfXdkr?kw-2z^$@X9L?LD@i*QkWeEgt8+Iv?*30=N$2?JNqq(0Beq%N; z{I=P#tq~$cZ$S1fBQ6iSHeHxD@KNpM_{uuBe0CbEK6lf!iiaSk zE>c_dU@e}MN_89xSf;DQ2PeqBKj?H<@;!-ext>B--*^&;c=9Q9b>vfc>i#s+&OC*# ze)}}imOQO@r=o3m@@zxefUR6&o8HsGXfNe&BVaGWKJUQ{&5;y9Gm9Jc~q_h5d>uz3(S!;Gf9cAVC;}#{d=V#p4> zsn0J~c;~#Oi{GmI9sNmsd;cAM4k{b4M;{!v-jdYLoR$e^Qp^xpWEyH}rzpQra? zGc0I5^e$Er*i_9Mg-z#A-?KL|m=YQL{uw1KY{NHW@K%n2zP@X}J{*lS{6J^h-R=*h z!;ug5MQHM!4|Q05Vi|KjmZka^AL}Tj_bCh+NW;#;ZS_)gZ|anw5L*e5VSO#Ke~oIzUm9XDjT zzt?}`>ZPjepJXA2sth{tlRiFPU*2J?rhWAAVcAY7SKsNwvQk3#b?Wl7J`9DJ8?6_9 z)-$+f!S*jlc~956@0gy(fUh_XhLI&GLOPDyOWYHBJ#wFrEt1LaqxbzzU~z+`>73dbD&Q}2e3NxmMZnIP8T z(^w$`R%F!4b5{1ArDIdh>TH}v#|+w=YNXKKQXd`X%6*)4j%!;~!7Ba%dR55se;I1l0A$}6mwz%&!3M_a7?T_HKw}{SiWtmR!O=K6;_4!2>NP%V3c!1Ak|h;l-EZ{9`9sZJHTpW3a); zs0BA9aZ2A*h9a5jFJSFJ7`4H(QZU@kL`0L8M6;_htl z{&Z~X29c0Z7Y^1s;)ToX$_%g?d=f$j!xH%t91x*KeSLc8Cy zbBIJ}?CJ$pUszkCU>^ZWM$q&=|9k{3qRIV?XV8=kjEnmlYw+CuE0F2;{zf{Z+q(}h zSyvbzapMVB8az`1-F2*$SMrd;=-p|Uiw7gK>>6V~ao8j|hhrnzMe7F(6_8}m z7xuHHJBL6ZiD>7n92INbF~q3OwMyPiS4%m``?dWn(||ctn&Se50#&H*P~%d&kWL$h zN}<<>3hN)sGZa-GCZrHcO2mGa^nzi6a!Frlr~hkMNwGgm6>FI%Rdjt>Mvs)fHP7JL zRv>*pj~lg+4!;i}Qo1#Fq;ZuD)K#pMoXQ8=+XI!dMuC-K^BZOGR`gS&1Pf0z$1ePt zQ5g3Kv>Gj6t{ZKz(-6D}d1D$RVpqgJ#~5tWl$Fw zwB;J(5_~yzjr4#;0`fYk*I0v{{dSErGOBg&-@RAgxPfcVIHR5Yfv1>Q{<3v9q7mZ_ z-dB|d`WJ}&wF*R3f^Q5OH^E?~;jIY<>t4er8gbprpqD1e&}LqvS(A+dWD|Oxn{3Rm zN3TJ5O%YN;D+$xVDS~Ztsx8*pk@eB3GC9d8IXzVd0vue~(kn^V6bf~b1g|N6j-~G} zZGOfN*W^8Hh%NwORnQT;%!SQ-LLTPxBjG5yv0~=&N3+KL8 zR6NG4GeyR{ILB(VWDZZ~7N!=+abY6esx=pkiNv`#8&x?>N^DW9=NW!v_z%Xly7cBP z#+jI4|Kis8?19;i4$PMca=>jear|^!$;8q1j*^Mv^d0sDfZRGYzsvXrC2QTy%9E|D z{QQ`aVm*5|=JQx1FD~H17G{r@jC3it`d$ML(Ok};<@Xtr%M{MJAL>l3@bJaV#*0bj zmpNo~w3)IleNBdjQXqW}O!-}hQatUgX+6;Q^!T3a`(cq=R zG^jI^ep-r=D{~b~z>+#=E)#O2PF7;rz010Ix$#)My0a@}jG<>5ZGK4jC$iFrq9&|f z+^KDf$8c=vg|+oEh{=SNMu=*1*Xyn_u8wuxTC~czJ6>_?HN_QMhu7FM0OQT7^N8^b zYePVsPCu>%7sRkW{W0S&q|1oA^>KqOM8bP}A2)L2=}p(kNEA7K^*UozJpB_p9i|W$ z)qVn9jn%X43CS-G!~329Z^Y7vu9tL~Iv1@sisI?bH%R)qCt&5y+W=K5mj9OxGSy<* zPp6g}jnVP+$2S`F$k3;@3k;7xZ@h}6$^SBL0YuV#tsPJ%kR~L$cBiP^y>`KZ{n}0=3z;AunE52B z&91oMGHK2(krn_THo2v zQXu_B%vA!Ui@LvPbi=cVuuU&Y{x@HgSxva9%1e?YpIg5q?MV8Bm*Q~gw9A$CLl~HQ_JU$|tp+*YljVZc`r><1 z7PaO`*%A9>X#yD|yD?7MG!qlqi~CCEm0Iu1Yz>G%K!w6CL-q>|j_(IDm+i+Wi>2?` z&!fUZ`c1`+-~OSD2x+{{NA|?X8rlmV@$7F;T?HSDe0=+3v>K}_{S%=JlG3U7C&ugX zbkC=fE?hI}Q{(Y?dgIR|ohLGD@MlIZMyYIZy!eGIP0_wV(+8PHHtiGH%DHC9tz{>gw9KWNqa*+?p$<%385 z(=2bng+_vG@{b7)K0U^mTa;;Pbmwtlt)Gv}41d!Jdo}*%FUC^|0c-Y2nV>nNwfmIu z98>iA-$j6J>1HY`;}6W!K%x6DPiwBNF<9g?Ys;m--1C<)D_*ev z=~4x)ywi}$Xy=l%#%6$U@~nXHbf&qFH}_5@nY@gzpKOK_16Zx6!cF*^WRus6NK>>b z**t}8?1!1wrCa~_bSu!lU&(C3qEB9&DduPVvalMEkX*%-6=4;V7b{4DzEH*F^(mlH zw8?&!^n<0+wKS7gNs@j=T5*2sjx-aSHnF}P2+r&>w+h-&eQc$VH> zO&rBg!nL@%$;&rs!DByjGL5V*g(ZEFoxZtxaVa`ls#yIRQUyL^3$%t=3)P_t-u)0T z4%LWvU0Fs=)5}Qi>@Y!nI^!^Tck_Cu*-u94$&kql4p-RBrj5s;U$xRqUT2NeOlWJ? z2b#GTI%8}Rd!%Pc~kap`9N^EXg8LmKFp zVX{^ubUTn?X7LC}tqWq(K?{0Thk9lvK4&h4>(vG*oz%La$vY=>b0d>^GuRkpi|3rt#AN-|lLI_YZps*8 zfHQFXjrmXvD;hnSC9L{hmdSB?^O~7F%XtDYb$!vyWH+2$KA4R!X>MY}!OClH{?653 z+0sNTj+NG`RBPR`&9CqYt+6&?<(LPH+t}bSdFIco0){*3F`wlRbE=~+FM3U8FR-+W zs`*Sd44}D7;(6=%%{_7QEe>#23y`&D2*w4uzf>n=@}AD}Pz8n*W@2f`*RujqGu zG9$u|!eqT8B}{fp#6;LzfPRgdTk!K(YoK0$!pR#KnO6!UJadt7+UFOUv5JSZDXI9= zHYV?aO2z4Iiz}v{ZNXen)!UjZY-HfR(Y9om{AE9Lx|P$;{$lg#gn;F1FPODJ z@hY4=`!e*UsDpVe>R}pM`X#39+1}UDxFMA!ik+0|qnvEk)1vQ}SiK4>GZcQ=!lsA!DWPAF;6hVIfe>BpDd%_9l$ z)$3ulNf0M+a`!TMgZ4kH?CMaL-ezsoD6W#Tdz%G#KGNG9fuBBo%u%Qzr>gBSS%;4F zF%KbKJg&a&D~N*{<)Vy!<}Rdv)=%h}*dIRu%IYr^Dt0QI)E}J<5d0|%QEA#}8TD-j z@c6c#AAq4+?5}$I3aMIr&%6W8*pk4Y9k-e(^yWabKFW&+*f~z9I>?NoUN~XbrQw52 zUIQ>t)`~$a%f&sd0S(y%tYRG;MtJki+d;bzt}=7+Q5?at2TOYr%rj!Jxx+40!Gp6Y zEU_GFMA}ekMWo3UL;s;PIiLS#MjjYGKzHN`+K=X$*8x_nxa!m4<(R#e4>xz?GqepT zM4^=rO44q1nf657Dw zQ_+S|=3sn@5eSacOduR-0w&9@VR z)^{__RJ>a3?#feiqX*0!tHX6>ni!~tUVmYuYW@u+qiW|3W`ESL-v}xTb1GVXqd5>s zGLotlNk3&I@5Mg`+8)iKIv(5bsj z-lc5YO5I5B-z}6^_kg;n^!^1*Po{j1wQ!;N38%#b znfnupS-=7dypoXU_t;xz=N^nJ69uUL!u5#rjr>Z>%_|tJGZ0BrmYY|i!uYu7nMzcA z{|fMdk9x0=W~Z(IrG2z~g~-|$ktp+FEOY>?OBbEp0S@+2&O<``D;|<^;F)x~?;&9m zsrJ2xL^23HQ&*ac0S1PsN!xJBB$@_2+r}Yiv`Pe?ka*ZC^Tl}9i&hJV4q9z~Y$qAi zWsS5ZS#Mrr78CdQ8kr5ipoqzM7^+eQMpRVm5wixGoV^o*J3vF%f$xKKV5fNzJ^P4E z8Uptvj|zNp^4Ii7MUkn!77FiSO8?!hNS&qI1Rp45B2ImUigv~RuOON!OrU`piG2BC;RT4iGy zNO{2{K(5{x2eNq1gGg;mtv8FpA+FjbfeAc{ct~2GZ8cZ1tP`>o41g4W=qb!6!Vw0& z`IJn#BA}9=wuL!Mqrp#$Mk66lKRhkimoC@Y2CVt0{Wf9IALJ5Sd>D>>qZSkD^A2FI%_UyoP5AacIweLC`KF81;g%goKJL zf59BX{pT|a>c1$1N(v8oQM3mk-_aK_?xC=Xh>28vJM^x}-5D82fIS-*(SK!Y2&7YBynl(GOEzxf!k01kx<;M}nQPFxGZzdayF z#_>BJ0vE(DJkx{Gv;dB8gJ(D#%8`JR)8PJ%v#xM38mfZVJlw!hRt~`Np)fo@y>O_- zCwLR{!Eu3L5uYN53<3563^OFC9Ved#(gJ)o4o*Hr3Jz`a!v8)1Pja6hF75$@0^l?| z#0>CZYn(BF*aDm|2cY>lI=JxjA)|cy8d`<7G){9vtMGsJ;lQ}G06zOY@DheMbCDZo zqaim(8u)QCT>!BF{s5;SIsm7op*%7o8UbzKa5H%S;}g!%gI6ekhF>rI8M#&T*Mq=; z00RZ=y7@FbbOqnxDGV$k55p4VQt-A%Go0dg7X>0{D8N4c9yl!q;CUMq(BKUm#Hnvc zLHvWy=SvHqcR`L~2=K{%LGCo%?}G?aKpsRyM7a0x=nqEl7C?W4Q4lWxpVyFwDTouJ zLVPq7#}S0sPdk9nflv{jn->7Up&&yH*Zxq5D?$)KD9qr48A1`p4(J++GFu?f00;UZ z7{h~b2M;%dV1zKAaTWk_!hSRqfOly)81SS85jBA0|G0NScQ_J2^(YiU73eOX2Uvu9 zzb*bK+>1rbyLL~&*WJ|I&XAJP|za-0TY8$6&0u!RRk zB!EO91X4g11Xdun0pSNxjyws1ouVQ1hF@?%Ac8}JKnYF=>W8?yT}y8>TWNI;XsK->e^K3}hl-!p(>58wtBVFIB_JN^dv+`z81 zaw{B}t$k*7aZcu%`3$j+??I0b&~+bTb@uySv%28+@BHXX;|v8CYR*g}0B2_LLN0}} zKv=-5Y=cMF?K52o5yn9Uw|K};j#Oazp0iXp%bqD#)-$^7L5pS28v~O*bilT1G*d1&!LQ3Nr9jsydlCwm>HUv@e424VMxys$A8#8 zam08Mgmug@91~gj&V@XJ_e7tECVYm|OYZv2>`R|~WDcUS9|I1rkU-*UO0y?wWD-#7 zM`jIS0UW$t>TL7B1FHN{m^}a3=;QO+8Q{b~D8?rUDXRc)n09|@W~*3FO8nSucYZgm z{1j`h>ff0jKAx{1P5BfIEAb)?osd;!M_DK$oQ$I$`5?Tyf7b^eZT`y%T!!OA3=*t7 zY+=8^mRSKd@EY?2&yV~&ggl>P^vhX|2R}2fpkEG{ZS9jB=YDQh^pFn+m8^b?Vp>U556|p& zckPG*p4aVn`;^7_un61H5yj&o5h7}mhT{|49W;AU(?ez-I(X3J!%O)jQkrte>_NXC zVy0wS)Q|>#6BAAmFa7i#lutWu;)2MCgEVaEjgZ0${i4ZrU9E89Zv{F+0kAs~8}HCF z_&wes>V4MPjmCXt_JrlpY(wsOxugzW#j-4qzk|H6{w$XW#?EyCb z%h&+B{BM}E3~kHGyt0u%@!+4l@3Dmt7YcFul@i7Xyx~FCtO5e;(=|m^D&29+QXJ<} zhLR%CF8|IP=wPas?s7CnzmzXb#Q1n+2y(0s3%CDPn%i=Zq+?h!%fyT@&+?>=(ylMf zoceaZBq)ycxN_jZ?}CHka(*x!STKm3yXE^B87^G-#-ehd4AQ$USEi2e(Q?p0)1!BP zHnW{EIE!T&^hWCaqp8u570UM!;YHlXn&tXP z#t}2K3M;MBKiYF7t`6OP1YPp|fx~?>k7DFhITr8Svqv$m9ykU`iE&kv`W-Vn+2Z2s zV;EQEy9baY)N0IeP|;7vl&c{<@N-O1{=*J}3-b13!(NU)#dXc@Z_mDCPthBCOZCV zW5S?HznZx=CKmh(OfaTP6B_3si|VHR229whG*v!f){=Sqzre(jn69Mbr1grJ5Y0C| zh~Q^IQVCDTbRx?6gXia;Fh2_!Z~fiuRJ+`~jH4TRVgx#6iY?QXs1P#IXRF0!=ex3# z8kAZeoXlg=&1cPY_M=Pq99uHao@Fbi zZH}0C4(4+hN%zl0lQZwow3t-duCC4)ezYycUR`3>lAxd@D9zQCslu>!oI-q zaTg`1mvCfiqQa(;buv-mbcLXGI!Ohv4R3iXsmi?HhQ&v?zRul_*lP`8ww?^cuX z_NQCjg`fGEDi1$DW-8gZgDbu@u7T=W326euTTK<)VR`4$O3qSpFq-($Wj0rAKWNh& zWPVJoEgZlW?b>|~A1A2B`; zCnQF)=;Bj2;p>rHHRA6s#`&*XqMQzDU{l$pECD6Tr)9C0B%tH8$M{~pge|?^K}`Zq zTVJBi;Ghpa1f#fQt4JstdsD4^k!E;vhS?liC7_ zVsA?~>TG|&L02@Svtlm<*;#&|vts8h9!J)m&T3UMf9S5-Fe7nH1kVbvwSxae{je;K<*NUugZT zo>!^I6B4nhwdI)Rv~U*WuZ*1dnS+WZ4O5k@HbYhGWaeXyZXbaG89Ng3zzD(8=@Duq zlJZ6>1RTmi(u*`_eYp${79cTQr_yZ=oHebad?nG*ViIUJN=hSQI^7yJN+nhTx<-sE zL6*ZLmd#+a(Cj_lM*F#dk%lk&9 zr{Lt2Y@7mPW!wm^purPWQyN-?$*$cbRiBm=!OUBCKF-SAUxXq->tB-~sQ6UO6w5zH z-IhQ%7OE8M+No-F0zH3|N~0#z)IRIaY3k_&DQ9h)!PRb>fn1H|tE@!3w!XKkb0#lq zj%JM7Bmb-FFm%>pJ$5eVzG>{#}j(C|0hh#Tv8{pFg`DSBCS_2L%DTzCr%l`O(l@k+)YL-OWwSfO|yt^Ho|^+b~MDFM}Y@g z`5^GH8zaIoC#P8}tO>H3|8M>=_T8;KI4%drSn^$EY1omBHAD-iDXk$lh@Isa{)bPT z*{ih;L9YFCNsAWrZX3<1jhYDdV9@d=O`0-s=2#FopK2uPb)=q)xSnt%90VQ5+Y5}eBzY6!iiI62@HujIaF)D(t7@nkyuDuR~s8VgC5>;2VDHo?kF=%GfyQT_#K|99xJHD3xb1 z#5lPLteeZDjPpy?7_;)6KQ({K^!$<8Wk5-Z^^>a3RyT=YDNgA+SzW8g(U3PK20}r8 zVe2wAREcNt((x%c?!MO?HGmdRQ#Fe#nlwd?BYnQA$;jpY7k@cAMa`&?H=hnnRgH`D zbepRRBu~6_y?BFuj8yJfk9-Il9ihIK}iMeLY~<44AGOrY8~t1PNLUpcwT zqlEx^(#MRLyxaW}&f}x2S%_&A)kz%1oAa&fcQ>&=0rUP(`P!jQVyZ zJ^R?dm-Ot>uTPf_{rmOoV^>ehZdL7yt6nfuMeK?`nW;R*$!%_d2Hb3xYG8jGGD~F_ zf4hB_>Sre(n}wNb%?!Kk8rP~}cJl0Nam;QUQ44S5vnsDumsb-+=l1E+w@Z)9Xya|F z4tLFUow|=!Oj9Yvl>6&;l|zfBsakPt^@=0teahD<_G;2h zYWuJ#3s*j@uE5;B^=O2-U(Fc#H7II&u zTz4`4F4YMd3+}+JLwoL0><-E2%GdXXa1|&YOc#zoAFu`Y70sf)EEfCN-l}`Ix}F}% zSG8-6oq&`;Gz%AL@k4~3yIc9|=T8}%KLPWJOcVGj;*zuB^l~Iqm3vfI+BHf!DE}Un zmlDkyF@}@hxJPv$cN=FVdgd)hb*i^O4X6y!ha2ALh6Uh|QExjO^!5TZEOjKND4wt= zxKQ=5i_BlB?x@VO7T~LMuWFne^=F5u>iYkinm6CChMwmn-&n`^ z)Z)K|Sq|W?1W$|X2z6Mb*3!kd;&k?7i&W=<70!(=xfhlz{hM`5859HAa>N(xTGV-T!}6^CJ(a=>HJ?;91_|i=)5xgQ{*34|JZPFrn~h##}NTijVy= zb^=B@^dP7t_9)DnIt{~GGUmk!u=>p9#>|>Jb_CDtN zP!wS`ycKzGg%bbDgR0a25AP!M&K2X`j!V_mDPws;#U+6oma5J+^-nLw!UhY%6;6Yq z%VfF7;h&Wth_XF&$1;_fmWM*zDHyPyU8Z{3!lwFi)itd!Z#Zi?(9~(n1Jd3=#e}#J3%rE{3PZygA^0CiD>KUS&bO+U0 zsW#BTj;a#9vr;um4X_@{9Q@l#1&1JLV-rSB3+57esKrJ*(6xa(BQy@n#2SRqC`_O-LEZy?_~a$7Ekga* zs2dVt;^wW`BwSiao>v{by(KIC!O#D9OEq!2=S!T){iteJE1ZP|6>hQ^?D6;k=2)8W zsLGeM6J5XAS)IOlR4t`;yY$MGy&cXd_pVj%)BD?jpP7%To@ppi$m=OMSiJL?>PySp z<3`oykE_W}-p?)(=bmgocD*+~t~ii~qq8f)XDQoHryo~!lY&{}ss1|EHyOJx0h+!} z(r%oT9YSKN0_~j1Cwaj))z+))=$<85 zKi|C`+i0b;R^K3VH}7I3hojku@Yje)fYmD66Lv~!Zc(lV(tH35;QWa^yUI`=J7N07@lefK06-V$ zwFT5FYJnr9pWmX|rb5i}iWJ8uZB@Ri=$&Y$oN&=r)eJWn12yBes?`jFk7_?DTe9n( zRP4`Kg4Wch1g-2^o9u}IuYI0UMYQulRfRrzO68Wx8-2PIUU7mb&3albwjnaMDXjlu znhA~;9kfjq*!X>8n_6k-nQUQd6N=S;1{4d^oM%)UMpW-z3U~pSe){Yg0mqgP9-LZA zO`laa+vT@Di`Jxk&*v0}Pn7iH`{z_965QZOlR1e67SzHA!A z{P?jG@*%YOeFn>X2xR+h?1ZV4#@aIuHi7v2a0m|m?LP6^vE#?{{KaqF9extI6ib1m zMI+R^0EeSp^c(I`9l2XQX3NW3FQ`5#o~-N<;B^}Hf?8lF|M`Nt#T1XHaywq(Fzm}X z5D-`qDQX^4918jm_e*0Jk=*o>ayiQm_h2^rJ8gVPwWJ%50DA{tQcIbgCpUJwl5p-W zJ@B$>o#ero`ru`;ui&1Q^kjb!w7K#X)wLnI(c_Z79qrMb6%N?b6k8ZYPw+$`onCrH z#%rZl(a6z1&`9`I)v!8B7GU3E;;d%y{H2kvVk6cb4RquWjQX0dsr!+@yUmqDe7{J9 zUVKe8uZ$XT1~vWin&Q||zNtc>d*XGKjqIPiu6)=st^P*5sf*uGokWh|qK{-SQh?UH zp{CHv696OQO~GZKH_?)xzI!uX#`Tu!QrUwoeqV^jyrmie48d^PUf#7w%_wd>6ai)$>{VTpg<_NTVtX9c zON7Eh!wEvw-nSQ9D80@BYgfIiw%WaNz9%$W@m{>jz3-K(G7MNKf1m0m^m%HZx`9bP zal+I%#2l580-t2;clzn7_f;#VZ3qq=cfYURl|sY!t6)tO8aEa?pMC3yhjw;1R0}vu zV}}q&llvjU;Vdpa#f}^+kMOL4NE%^p-eSu6VZXY#@r3*-F)bylFZO4#)5$x3rTH`r zw}M_Ds3zs+!w?z(t#AK8-3tj^=R?&>KUHg9qCO zABy#kC4Ib$bv{xJ`$BpE6l@#w^<6AW^2Uz_!3)O}#AJ)Ck@-XMX0e@(S-_S(z2O9{4+#9=FFn zQV-gcUhuKn$wN1V27IDA)(v8l9EG81^aWa>iTNf>EFq9^vlsNC_diir*bJ5Psq9g3 z)J+nAqlZ6LUWh^LX^+8{*r%$I-AV2-lP-%M!x@g$v z*s9um9N^skxf-Se0aNn0W1c`(G#F&}@?aSCg}Ou9Ir)Ve zl37+Y!VHK>$;Jb8-RvN&lv56 zNC#h3y)dl2FF`IeXy(eMx4%^NsOKjbRmZMDApxywl>zEaJq z1#HU!vzecoey!@VSM0fm(Ge=8F4ns3$mq%agN*LR9Ttyl|mRl+PB!C9lOCdnvee=mk?+|H1m9O0RN{P)-xl}bPVUUlUQ)=MdwUO$%Ofhe{4LABD$PDozJ zjUWX4jX$WK($3x=RD-JFtV{C?3NTIp?w>!XNk%xUGX|U&EZuGFv=ZLKw54nnaM_Ql zla&AFM|E-ivTcCG#XAYO_Z}U+mbhaqI4*flv(_l}j~2QRC@osTPb zn$I3x4B5ovD%XbMspBd;6?zgHhui1R$JOQNs*Ehim@o}EflWIh@}nm(D+niF{fm;T zYBG7oMYjU<+%IZSJyxtBsIdJff;Ss+7cp5QSj;}D+P3i9vKjfHQXyEupVgroZ#U!7 z3p(4zuvm}Tv!*h7%oN*t5=y=(19hqPDb=N%2=`-N@j=6!tEm*f-l}B#=@PtE6ERenf1FW5)NAT zyKoy{V_gYWDS-Re?^y5(4VL|Z6)k9xLcjiD`@e`N#{3POGL>f?0h5JWxiRPpf%Sd@s@&vYJ6%rSKID5v-Hd88xdG zQ+Fy>0VOq~Hji$o3~00-(s2+xQcLKej6AbcsxaW<$IN?9}wu|06Z z;QLPS%a@xJ@rD@o4}vV@{9tU3B=ZK~m=WaQvmoCOgN6`S#4#|1GwP&@An~w4&gs|01kqPQSb{E>^L*DiqJ5B2!`Vz z!T}H^$9bS;-{wL?3YTcnHJe1#>GNP(NRchY&Ml<~Xt_Vg&hCnV^^B{vfIm9R<{Jc$tr* zo46}{ze|wG6ATq`F@_w@F^D!}$dQ|S7eOchqbbM{T3*5p(;65J|=gWIgbpSoURlw*X>H@{VNN6JJ0slZ|AgoQG=LbZrh3a#X4}@cr zJ)->pJ~|ZzdJtiTu}8a4m=;p@}%j~)m)9JSru0``h1O^_78gq+D}f^ zZ1-vXL&&qZhRcbK zTJ~3G%>E-z3&l9C;x$N+szL~N1rQ;U8AO)I0_v7p0QIdC<~;NoOm;aX)N*yFnGRRA zN{sB-twlH0!WtkRHGsMqOqR?n9=RHXa$)xxa?E}y7li_$jD>0Jn;j>Sh?@7hTn#jY zAfrqf&+8D?-e*E9uZUml>>D**1L;(4S9eEg?<@f|EC@})Y$5RdU6f+!8;z1MtJotJ zfv)9Y!Hr4G(9J5~QDV!0N6bIm=QtyWiz7DNwCi`Apfl2m;VO||xtgmdMT{6?!*)2v zOIj(!qOpHK|HL2~V-&(BUIA=DVP+hK68XZyxa>&6{yR&E#RgzFsxV>(=~%aM^z4NN zpf*kn;+~!#%mx}XlJX!#XfNVGGR0T~`j*H#i0RT8qrFbttcZKIP~crNjb@mxNNpxW z=`kOnRhp||5@uq-kf_(itQQM>F8dQRxXVYC_Cp3z(2#UsnK0Z?}Mln2bx8hQg*=V-!TuS zX2h!ssn|~EKJLskLKQ=$pu7kYToq|0rb)=yTo(k_o%LNgIy6)4+Cke1W4jm%f*+m& zh;q$vU7@k=R0dJJyT?>&z{*tlFC~Z(yV|h~myul#eXO1pqmOez#e*XNB%C0Ej<{Ve zqkI-9M%fTbbu(S=?&ZJX4oDOamc}EiaDNXP;}D+ae#)+ctEqXwX8e0$ECRO$)jy75 z!3t_QeuG*ksE$@ZHS3GqS5_DKm$gOtjYX-2Fe><+YBmNbK6@WQO3a+}KnA2p+rx;x z>g9GdFmPf;Hq^2Zu*GK;1U+CJ%=azoxo+a%CzqXzt$yHxI1Smo0_z<*ThBF{8D)#E zwb24t?12$O0c=(9Y9SQN_R`+^u6&q!y)>u3tF;lY28(Q7ulNIK8=FJ(-L3)$8ZV1h z_|$Po+_Hu)XOmKNVY48T4IC|v*8j{mmx{P8yaqZg=`5&#aB zqXJ-({f{SLmk|8vz)SqU-Uq_uBErT0pDzGcF#&HByr6^?d?FmM|*_wbMZH>8ElCCYxf0PHh+pUaQ#hI|Bn?5#;O{yuo)@2 z{^q#-+v)ws!TK`^|2inZrXV=g`L7D&fZ25>aCH%|?*%4*z#cnzopFG)X#g(R|0E9n z`|!Y!4cOEAdj}i&1zsTl9oR z0v_)#LHtLSzu+P}7`xP`2iX55re^2?e=5KI0}O(Bcrb(ll4Sspqw@S=2mXL<|Ae); zGXNO>k`4WP1gM~920-XPOaMP4K%N1BbTK|EK|E$VCNFN*fA9}hK z-0A-TTmG*`UZII0U!t#m52%OCuJ>&2@wB}3|P#7KSd)Q znE`}wV6O5{fNlaafSBIV-pSGRkMw_7c5wJPJ1ZD=|8M5#59_4hZufV1^UMJ9zr%ZG z255p`rosZq`aA1aEP#kVbN8pj)E`y`T&|xL!26eR{|BfMv8^D4JR$H)f z0xlfI1dd1mIejA_gat!$VAVL|1_+`30WFRH`(yvJtl+@r0{E~1Y489j5G`H)V&6QV z5FUWQpRf3bCLHDYXQh$z0%D*zS=(xP0ba~dV3+_S5`fz#U=5fB--piG2L6kI6dWP) z=f4=>tC5-i>K52i0z-=+<1zpa3=bF>0x3iS-nSK$0T!U(6FS3QgeoxtpijRbriH$I6(JV|MYsz~0vu?QvA zJlT8p3gWyP`X<$QVA#8zL)1X>Ib0N`vk&guE_%FN!tA>?G-o@|YBS|ZbDOk6)-q{k z!MF`N^=Fb_#PW7COYKK1m@|D47;O(*Er7~cSNVd6PpM|Wu-aiuB$LcD1~!Su411+a zr^;5W?a<41298Q%br>MmY!WPdA`OmkH~8fBI7F?SFlovne*tcI#9*2u>EIJq)<6egiqYL>IB3hCB6dpzTu4TDOj z+DX(lWqFoR(E&Xhkaw4T7K61tF%N2crI5P%rSE`EWi5r{=Zy3^_$u;T9gx-=&~#s8 zze8B5;1EzEAOq%^N$H5U8YwyFnf03$X;n=>+8wC+VHtDGlvwavTeU94BtImmQ+62U*$3k8#n}5z}lI8sc_T7*xIXurpF85 zumXq3mvi$?k-S+4==2v+pH2V1m42^EPms4Yz(moSYIqr!_IMhysQ#lp{#tHx0i*t1{&)yJ3nFNau7JsIf)Hd5r2)ym}}iJ=_h|n z3lS_7*2*p$A&6_{WaJD%w0(GiQ%2@J4CR?sy|{+=r$Bu;o_sXJCS=d_;gsmAlE|^G zy0DbBr0Nxz{JF+Iq)9|Lpu<<`wSDI;5p>xE^v3K-GAc8pZ}AdZmLkw{QN&bLZMz`ZDjlG(NXt38O z&io$%D4L%f2JVQ5Rj<8**bpHk(4#D@(gKr?FUr|@+6_Csw%>D)9gXC!e z2;g}5wzyHixGoe}nZb&M(`H9bNQ49;=O(}gWib$9z=DI6xxfxs5FsuMD+f0ZNHG%Z zS?2{2qP9IT5DLP=iK1V-H?Nyo z32wCFmT-5Mt<5ToBk?xv_IHgS%ZFfMv-el~vuZ&=8XB-Rg?IX^^3Q3{yV5x;7xt9m znUzLX3TG)P6W)Aq;h{WDL$~6yebMN?ce1*5HzIIqpc7C}Ys(xtoo4p__}NNu28b3^ zl2mmfOhAax+P|b;qy6$kQ<1Cc*8FmZGuq%Ew&{kQZ;+eo50#uGcttKF$SL&1+&Fdx zL`d5c4Em8wN0uL?>G=gVYdAO7t)aSuu)6tOT{!m`LBq6lOn5Co->Y!3d1!-KJA)jk z!H{l98`tq=N*!namnpIRp#jD-J+Q5XJgKLSJA1abB4#;*c(wqGb76OJ?cyM1&J*v6 z6k5oqdojkH8*6waph%vXBKkyAEG?+}3w&pHXo z_iOAV{9;aWZ>@Gyn3PHztAd3k91r5Vt+@BM$&d4uSZzDW@e$$zj@#Dmkv!4R9i8i3 zSenIH)f_h^*AAUbxpkTtJrmrPA`F zgOFPhmshY~GJ+Su{QrGn-6L{@Z z=9pHqq~kW5*|F;=#Qt#fs1P&^*5rHOLG~_Fmh1cU zxj|oxD_9`@bS8hLj*|1+x-x^J-?Yl>2LGmp61~_8m0^za^P3G^1+dQ`{OSy2Q&K-5 zZVCp%%w(yDnB@Xj%2N4whgQsDwDP(!+3%T-qeDNyTpc0Me-xO^lOiV?GRQvWrnGPx ziX%s7@xZ)FdCcdd{4z3J{<{{{HjS5(##1=OSNEokt|b5;)7Y&|GL4OnZHNWZ+Nx4$ z+J5?k@YCfrTiSHJkzT9vgr@h%Ph{hS&nmzA)=JR86oTJhL&*&hgYm2lE*yN0c%8gyX$)20u|qF4 zhN=f0A`8_72v*DQTGrbkc>?XTPu}zf@#Rr3j1D;7+v>nBB?ZqnayDziQCNr|ruRCr zb&75ZeM*X--AC8b_6t<6*=tDO%rhR;A+6|c^n?ShQpv@=jn$rJhRcWv|2_?bhhj*t z*H%FOl~BwB%q};RASuYq<@0#oLz9*}f%+3U<_t2LuVO%r#%29oYFmpxk>UgVNC|1# zW6go8XrK>}5E_wmF*{MuREv-W6~XrKN!S4DpwYjzy}AF5p2~{+5K8M8On%ZcjN^^9 zih4FMfjFqsA>X2fX|4i=Lf22 zGKavkkyy`MbT5tb0huSgFhQhF8F!ex(3`|ska$;wcnVuqD6N)sMu`}PQNKx*eG+wc ziG7W*igq)x*QV^G^dmB=bT?bPbUAiFqOzbVj_;nB4`9~y*QA`o<ouvk&*FKfB(UGY2J~%wXLq zsaK*Ez4GaTpo#{XD%cRi!V2)ang$<~u=SBwmo(Dp?W9a`{mmFW(_-ZqayBA}@9{WS z*b86D=klOKYB!oxKDYW-$LfkN$XeY44qeTm5k_qo8+senB~REk@6j=V{M42;Q}8};s(NE;hp*R#X{LTT*YQ{$xQ3h9HO zjAL;(zlGv_BegDj(s=IN_lOyG`$ziW$}fr{i6C7ZD3N|W@!YuGgD_rc!n}l0Ak}a2 zIXi4_O5UQ@QOu$Xp}SKDdDrGJ^WT+7Hv672^cl)AsqdZ^eyA?l=lNiqssN!4#|=f$ zGtb%>gfL8zONyvFTsgF`dx}_Expsg`shn{8Q~~pqnyE5ap;q~q_KnKWXdmOIZ(!f^ z`Ay>Av@U;8j6HIlljLANjapRV1=iyA=+UV(*t?PXyrAWnCB>oNsb#d{QK-YxSR{aG z=3Bm0aFP~k*n}K_d}x@~5?M8q7klaCrjE_pn)=p>Ca28pZyT|11p_qoT;16kY*849 zF^|$dipEOI8^ z-yC*uq4SY44_@D=X-y}TKNWtEY=13{E9oCU(OJ}2i_O*jP8*VA7c%CEaP8p-`^1)f zkM9R1C+auDhzu=!%TVp4W*E-$V4$A}t#&a~rqO0)Tz{t`sm0`)I>GA}MwR?sS|yjN z-6R)+Vq#0{87Uozta#Q_U1x#}+{$gV1)L;Y4 zk#;=>{IYnih^5g-#|@(J&AHcw{!}}Rc~8Gxhp;x9Ocwh>tYp+K{}Z2-xU+EONMF}! zzfxS90&Wq8BkXc(V9?S#?g~Npm{lC5=tEzyGHwYUbW3oKO#$1M+J|0p$Ga`x*PM*g zbE#f&@(Kf6m&B9-SRgt2fHH=yt{%M=SH8GsfPVB*Y#2}Qo_5D&a*10rC z>U{O=2_s2zQE(7Mq=049u7{X!J)<(Kmb`xk@ec08`=cm0f$Xe@cke%W`uUu_mV$Ft zuiz&0J*T*B>N3nr(t>_|^ObF=Xy-I#5Z!_QuGOAc145=E5ClpL^H_KoBApxynu|c@ zvHc>OzG0%`2_8F4P*dpEAlPgvGH%-vwK5h!Z=YkdPR|e;D&EDynqNsz@^*VseJ?!n zsOgh!Yr;62c2*^s*>#-#Dca8I&c1Ijld!n~kDrpN153x>O+;GTc?K3M`HNqwh^(NQ7FC+6pv*cpZNRV*`=Mbu)u&qvEs zCz-EQ`gw8K`QO>QlSI-Yc)AUn-7Jej|AGJxR?esUIZgh^6vfaLXNnt! zS)fDSmTy8;mtRggm`x&#RFCLPFL&X^A?rJxsrH(hWk)_O(-0Z1EMPzJ`Ylm6V$Lf= zdnZekrjf=TU2PFSD6dEE#niHC)cy!U)%!6wPDNkhZD}kWg7Yh%B{LWwlLO>$mo8ZJ z(37igJYEDm=v4AV=5Xk0&%C;iZOm3G?a71mH+qFkMoXWFvxD?Dp~f!-S<Iqs9N{#? ziTdFz7M7sl;)XC(G$=Hq+rERXV98%3fblwiP*xG>bM+u$L^+YVaxshVPm(MgxtOeJ z+|n}q`eE4=not4R?l)Z*r@hHac8Uu7WdU@c;2=s@;)J@acZJ*lABwSqjz%RKZpEtk zVoj+a`w2a}6K#X!j-nG}{?^t`WaGVy!29Qpgim+ zUY!>ppmM`j_fh1^1`})QDPGbVpG%BkB^a`>*0zruy>?fZ;CsRe-H}yaOj*&(9Os^U z+KF|za*R#pd%%fVkP`vCubL%6-X_Y&Oaot~6qHX}0X@BRuLpOIDc^$1E{3xXbj5ac z?#N1Glxk`eD+o~YCi$9OKsgIt{9mAv+|%$6{|6SPB|jkae%kHM>m)7uJP z1kthU?S$u95lJL3pYOTfH-KBfLzmfUaKL%Dbk5 zdw$QY5F+iWyFZ4Cglqr6Rt)9KTQNoignZDrtZ2A+iItb8eh-ENN`h;ZEMHsj*;$|h zS{CjHbhKLW62|ll@RSOT`n%0hT)!J>=aF&nK_?2|h6DNxm$_4hbq#={_Q%q;t`s@i zZ3Zy1`0i@h;uAdXCNg3+cV?o>Upo@K_p|9=Liu*e8$Nv8?fo(Bo<2MYxfhuSB&y1c z6WrUrhzW0kYQWDSh9nx2?QMoUnn#ZA>(JVDyt1TONvwx^-)Zp#tE=-Ud?^L`t1yf9N%A&; zeu}OJ(TeCUNh&N*yRi zBjeGR3jwLv`p3H92l4u#0_B9*HLJu6NT#Pt*R31d5;5EDcDR;wDod6`Uz@SzdNAYz zbowEbGg32u=)ynQ2hnnm?QQ<6ahdj31BiLK|&hfc1KIW2gC zRr|v|D|lWXu~Sk4zYR#JmC-a+R&pW>S_S8vDh#)T*gLb;-+O%HL#-GYCTP`rXJ1-SvJn<;J zfc!3m9xEYC{1D}e$Bn7^hgh|W+P@m zl@3b7cdQ1NMU%kKtDpA1xlP45TY16RotMJOF00csCCz)$!OGG#RD;nht%B*a-x}`iG1DJUu40V0ZMh4JUfO?2Gk_t+w z8Kzg=YR%e2M1=ubv!RqK!wTOD{1p|?w}CW%ufvt^tc5KFvaWTqAwzZ0uoZXQs{x(_ zXhIU625T-r(>S4^+fEwQl(R85)D7;H(Pi=FPi+|c2vzfrR!}J!G`(29oc}gV*{#9cIEa(Qf?oeT>z;xBslarB<4c3&8y_07 z#e$FcaY;yz#HisK+%4+jZ-4R56z=5@U2O7+WWJCEKzH778{)Q*6yu^&ukgx5Hmy&z zNxyvS;~5<8V%$j0KDkz!W)GJ(aLmNj1wILXtYvzseaqQsnrQ$L0g7mjqtZ+gJP(ND zDts^XQP;Mg{f92<&e0*d4w-$&*B&_$RZhA`xC0Bz;&k4yeJayl-(_!Cls)MYn@wxr zg-b6L0wZzqwC~5@B=cKl`3y1%+#$4q7Hg|)3qOzV)qgNDv9n{|ZahZCN=^aG5@nig z6${hhVyEbOwwc|g`S>9;&nKV~QeL@LDo$os{D@=)@M-;{`m2Lt6~dFYL)%3T$~8;Y zrzk+Fx^52`9w1irPb_yAj-cU1#k&33I*bHrudK#Es; z;ldgh7DKp-2>f0=h)(Za7^fwJCSqInCDlWtkC`_=C#O~%ue2;60*##Ju^v%e)m%YI zl9CCZzahb4ERS>6FZKhB-VgZ3A4b6S#D7Z8RFn;Jn#A$z{Q6!!&?j?+LupNF4Fgoa=;H`2_^1{S7($p3#j(y`pZ#<$ zNZ6L|iM!T~ebI^QO;etWB5_O+6c(o$@{bb7Lj@$!A~#S*IVCMyXhUdN=xrzVXwi@A zh_x08Z)Xg~rR(-q=juRqb+mh_3o#1U^h{@cNRn4fz) zY~1-hGYDr1hs>5q41kz5X3;fOL9#{2r=Q~hr`-2=#J1}Qbt#(QW*m>4{WMb6d= zsm{tMAqsXL#)Na^b=A>^ns6l;tb5lv`7Q5mv)yH!6(uguTGc|Q#4SeL9tUkr$R6H1 zPPfbluUd^)h*I*FR3cfonLLu=YqED0Zxv9kuYNGhw`KO$gf*Z*%QtSIxRCnLx-lgZ zJCvdVWF^f*_LJ2)D>*cCaH{hIz7d9G#!)wAPmi!^uZB#S-Y!qo9)JQ;JOzr94#4q3YR3)Zb^p`Sk3o=6mF?wnIj@a-OH%rvMCZ;5KXk$ z)0}kk0KR%JJ9m~)384$FelXe=JA*L-wi3+e?u@w6iRwY@5db7Z0!D_aKFE#s(Q2Uy zV;a)^AbR{$xq1!X<<#S=3~%!_Y`LRP+p7C%;$elISwbqjNeIBft@}n(fy1-Sk%Y>R zn<*dPD)J@Zkk4co{BI&Sq^E;6%KA{Nv%cCibzEnBBB}|nS_v_3!!iD5^P;Sow|7}G zI6TfG_YvgP!chbRqr<4nTGq`V+DqW?snO!xT~M#DMAx5uSL&gO<0ju&tJj!DD`Ya!?9)?0_ ze<~og)(>}mkW);%SKDn z)?0q9BTa{Gp!AOU?Z;YwklOGMrrMj@UlyP1*_-piC0#4Ox|8{nDbk3+I}-{WAU+|} zqzg3qoX_79!1cd(;Hh8Zdm~6P_1`Oih_X=p%;d@_r(FF}q5xe2&aqsY$`Qo+yXLSV z0>&J6aY$Vd=y2lN2}Kq~1=;UbsY+E3m2TX6J{vW{v9h2c31Qso8BLySdW+(+l=0s=jCUmR!-vkjDmjCu0Tl z>PcB8Q4M^qm(b>EUcZ7;U`s)r&0a!P=Xoym;D9_KTC-Z5oAiu>eF407Me}7p2l2AQ zI9_UL0rx1@v|O?cM6wK1usy<{uvom&kR@pBbzySY%3P@==FhYr&xIa>e|~~;%Gyp5 zV&vu})uZUPe>Qnh67YVs<5^@OkuGY>G^$7kW6Bm=3a9?g0_780#rHjP$VSsHW3nyT z4LzG=Nd*Xw9kM_UUg-{KrK_*O?^Pdv9j+iwe6gr$d-KfjeuLq5Cp#7RaY!Gr8Xc%1 z1j`Isyu@zh+fTSrq35*6-FMYNp)c4o0{+G^=Xz!jT_jP61z3E6>D1yTHStF3B0Nu~ zuzh^e5`%0nA};d5yPA=Ztb@^AFhCyrK*=xNF+1P*NYI3I?Hd9_i>@10iJzr=cY<78 zRP(w7EK_7!H`0wVZm6DHb|NssYOXkPcadhr=ZW?m!T+q=v`!mZ?JmYfsrl(@8fdXV z0ULn#g(VsPd$g`~X3G}wyoG2>d1s`Mjrs9q9H&R$5Sj}g^d8Wn)OAp3ws`VPw)*pX z&bOO3C9@nf({2NlF7m?Z!O3x3f6uO>DAHtin zlKhgSY3gFu6pwM(CCn@bbGU<5i~)qjV&qTmN+MxuLREI1qE~xRt`8pmtb?=w*>itx z03W2g$O+9hU(xHL*=B+K75y=5 zTj$@o$NBizz3*TQ%J-SKXHxa0GOSMKa`NW8O0yMz$yAziu%3Q)h6y!jbuT$y zE#ae_>HTYF;z`zxpKeh>lU8q2Dc}`gnyFzLV|1?;9&{s3`Z#tkZm~LM6}FhVYMXm%wh*2S)ELNIxx$B8RrWI+N)tMf7_zl zlcIgk2AZZGGJKZAp|Oqhn=PiYY8E%L?|rRBZ@K^^cTnj}VRh*8IxM+j&T8q88Ss|C zu>&=a$L*>;#w7LU8X*0DpsMx4H7<_AP0x;9=*V0!@?Y8Q1zQjpYd3zTEc?_UD{bgqrJ0+LbB2O?OFf>ZcW(!)7yo+lA(QZejO85v!18dIuzd49)lyvxAnf_OV3XVyCIlzVF-+&v2dY02nsxRpP${_yY%9Ofv1{PveeqIO)_Kd zW$AGT@$7rpAITi|6|?2nnLP}q&l6$ArzKS12goC{F9v9#WO*qPo!iCli7i$r4k^oT zBaWW*<)o4;$(D>EH@b8}7WyDDcDx3}1g~nAdqMYl8*KRc-{RAyY{MaHJw;7d9Y_3j z2nvg3jmerChtR6z1PUf$^-WjyS?^(9tq!bPVR4mPq0n1Oa`I~X3NNS~?!$PWo(2AV zq6LV~FWoPN)iLwTXoDt0U$}Xj&VpfR^{L1}Yi3Eba+1T4X|D;AfrK$~M|9IIgy*K( zDk>JJi}cYh)N$8!@}EMy>jL)heir|fBt7wPdKV<$6xP3y4E%?M*=cfcQqpD0ESs1z zPTS2!du;f{uV|W1MF>f!8MlZx6jQ44sQBs(b@wh5sxgzOPo!NpPh^!YLhqXQSMP$2 z7RAA2*pMD%0&JYCiT&ohbbLqE+7yko8sY8Hhr4+9aOf$vVa?mx?kfJmOg#)84Hvl= z`!fL>74~jmTBkKly@x3!FAqO0wMU|ei;?aXg$8t&gRZZ)UqNkytF5!fWeK@It(wT# zo%a~#6=KdjOUF5}72_9tCmI}|cZ7wxy*aaaOuJTsV|Oy3&z6lhm~tM0-KjDs0db7Y zNrjkMOx-k@R~XMcNn6~wOfA9Hsb`-sj$bLhD7(`GZR1q#q;Bj}WbhUBk#9{WnhQ0J z35K_ajrJu9tYXe2(%li7QcNb75`Ox%yg4HVq7YG;T+>4I z8A`~SLPiYvRUmYO=vpao2Bdc>+UR!42O~HPJ8JkDDP!@dYI1Sv>)lSoiObFVZ9$|| zqSH}mV687t!V%b|EBzfFYFpUQ*tcu*w2L|au6dSfq^2Whi$f1bu>HCy>e%Tcm4(34 zAT&?ptu}-9Wvjl~>l=+;P^`wE3Ti#|$<^G`Uxek{P*? zK!*nATK!V&ytuwzAr@8H+x$63sW=t(jzeP^YIzzWa&a31MPUsLgLRkfBJSk6_F_OG zL8r@tzy2TUrPs;3qvlUBS5mRs;He#3rkw(PeCpE-FX>_p zC)D~Ab{mP+2D=iX_Tn)zfFxa{9`d0WK;I00Lc<8sd(Over*S;*5xlwZbB=xxTC`WT zwF2E*6a}LnzDJmbMGIpvjp(@@%QEqZlVJ&3(*pI5jNsmi0C$>X@Sjc^Q^;f$H!C zeL6-K=LX&R z;aNkv84DIxr;)S>BQ0=5^PR>Bpce1)XhvF$?S?-#+-{}sD zCxw2LX&TalEat;z=wqHCiV|Hc48~?8<(he~E)(LmHatM$i)>bDWjXEAvU@Fv;t>XXK z`_+UY)Xz|`m^N)8LIXOqEb5iU-;q#lyJLNwHRpi)%ZzRpV`!{RIornvY}B*4Cc_&e z)knG!;Tfv2@@Q;3Up}_K2|hCsqYeoeFd{Zk$iNWv`u zS=|KK*h_>VGBO$~(MIU(8x$f-d8Zge581eTN%CosDUf+`xIi>A=Jm@0%(r%hF=MQv zm7j2lOWykxCG|ufxzVH_P~RLAg?DYrh($0bL}YJ=3V#z9*sfA2xHR9m-~WK}8GYjy z+%4|cV#Y2lT?MK=g63Nl;IsJ4E0SoHxa!{nk=(JoE)gU;e?qQtVJ@Y<5E4hkymiUE z#fO;Yg->0L%`eMmB;V6u-@Lkf(0qsDUv^EMM~L;1G;KERyOd6u&RoxuXLTGh(-T#m zW67O3m{&wT;~(S35HU@dM7sIOo3Sctoi6@1YG96jkF`-94|xB$P9e0_U@k|#8}%s~ zsO)Kfrd$<$j*~#VQ`!EYxZn;#{#K$vK*Kn9%Lm_c*Jm_5<0RdEBkkQ9(imz4p!FLc z2zKsF)T;GI&bf9%f>wx8D!V;W4B5y~2v*IlBEr7!rH15V+(MirK zlbK7k|3G>fVnIT6BnXA_@j(DTc6P5{))uOd!x_mhdGmhjUSlg50MXd>@!gQ(#>Y;g z2E4roCihy7=3tu}vIS>A!8~b_CUYixbY)MrF)Qw8v3Qz(xg;W^Vg?lZm$_arOxnlMCOjN?w9LcTF%0@fSq8gXCZP(X7+yO1SN_nG#_I#mu2(>1#Sl-DQjhM zlgtW%zV8K)J+?kL_8}U;X67r8`i!kZ7YAGyvpN20hW>6GS^xl;yROD9Dc!5mrf3RUtg!I0*^w`z@Cfn z>4}D8cFMxa(59HB!}mqj=JS!1dS!e5@!3y|O4jD71+3@=cfedYdd@h+N!ibge1Wb{ z4OA|56i;#E)|PyZBzhj-xi+{c##l4`Ba`U9X`_{|yZ1dwqK`1I z!Yk|HQJ>FNvWXFPP=niIFrsMWaOsP}gGfm+Xz((OO)Jjanjd9^p&N+14B%kC!gu6) zIW^l0jMFZa^yh2`74{C-f8IB^FR!gH>BTv<>aL;~TpQoA5Cr`};R4xB&D%Y{RwR~~Kiq-c%NZl*G z+h^k%);dmK3OnzOCE=((nrO11dvqvFhgnzj&)#~R*H;f|ojw5xd5Hp*kK|8v_D1YK zYWq=)T2t zr!}9l;6}$wcIE`$sibz?7g~ZqU8VZvWy@>q(2S%9L$`1m;vEuo4;s;zv&WOk2Cj^- zE*99F8`j#*{+O2HVGdSV!{bV<7fo~@5a>UsJ6oefo7Th=32gfF@gH!sP`rpM>=EgO z1%LWY5VVtc6U6c!Tu+4TWxQ&6{xUY%wr4CikDRlEzK#-@IkT$p;aSg3NME08F%(nn z{7PX!O8#g`uSKfO`SS7*`?IdI$8*}eiW1D%EUrL1@{;w`F;)Dq-XM}|rn#zeLpin1 z1DK@sQRc1nd;!X@1aZ~qSrfIMLL);vq!eLIudq2U2y^~)R2jN{x!ZhOiuMSb`L&>8`g5Sp69uFB(|zma(`1jf-%N6Z(?p*pWX@n7t1$G+1}KZzdOIihsqM-u zYegb8F<$A2&Ram^$mq;QxeZ3%ru=M>oLa7((H?=qXxET+%bIR_P&mGl@&1}=7X1Z8 zfN_cRt+n}Gb%-ub!}CWSfOgJc%eo7dl6*&9woF?pP=oXOX)r>k<(xR(bQU2zJz+RP zVue<+fws%h#KIgIV!e*1U3R}(k;R|R_$_rhU+o74b)IL&>jx^eQ{>3uUyZO2Q%H^? zVW#Fu?B!VvlCJa4SY6*DS7wEV7 zO%knbN8(^rhWG1pr9RKWW#H}UXf67@-F)@E27W7*zQZPEB9VvSqZ%_KkQEHfM0BmI zkfSWVbLd`X3Qb6bSV0~_#^d2=Vc*4i=0%|MNhfFdjb(qu4n^aTGKDst?+W!^lZv*c zB&TkX_#`Ps`HW!Cz&<^IXhRq+u7ZEsuFETz^Yitx!NrdRBYB(Mc9?=7h>Z+%j(Y9O z1fa#!@2nhKqSJ!k02`X-%vG-|uIVX28T_owx=aY@r6f>;X8pcunT49@oO^r@b$8 z1o+Z!Nw)|%s;#At?PJFRU%Fz(DoL zHY%s_J*Z)SgYU{sbiTf(M!nOCxVa?15PlY|X*pbNoU@}iJ)P#B;pwQIJ<{xm0)RLS zx9lT}O)wgXO8RRvZL_Do4o**EukYya-Bv#6J4$Eo`#i?c3Hrshe#bU760))HU2-+n z{)&U$U;CYgDM_D014|c%n{i<+uDf~VAjuJ%Cw99Up$54B)?UdU^K`t2CQEf+a~9fJ zCko}0@KVwcI_jmm7+kqamyb0TeFG#f26!n5pYg5092H$bP>NLNMGo4|Stth&wS>Li zGdLu=!4J4UzNjmFxxUYEh4H|6({-;Q%06fk`kbolm-{K~c=i$J-PDB&YB^3nvsjo> zE~|AB)pL+~#g=?-&$~_*;g=*@oGe7utA&Wz4D8Cw!hUg}8{HHxILO&Hb^{o&nc6N_ zojygf^}T*wi<7Xk-k1Ao3*Y0=D9`%~8j80yEO){|%f%0#Oh@B)cv|I`esH#$Hs~Q4 zuk>p08>#KJGhZ4V%sIk0sowHqfC?h8e1aF*iGfo-GKm66HSe6E_0u?}VHp+WTEai_ z3U~)wQ;#5zI1}pMr{+PN&{6>F4CgC06oJcF@>*sdPrZ&UxUBRXhQgmo>Z#thcd%n& zR^*AJq!}b%mVWd-N9{&)C!NH~X=bP|8ysFmT&JApqEB%Rd8DDp6QJjVas2(G($&MT zonM#3V)?hXwXegxb4sIy#F7H7`>|3}6_GnpL0;{eXaLu~@zhZ(+OY%Bq}p&4V+pX? zHbp39$vW(B;*v}FV{x}1o##I7gWK|B$j^|x38wDlu3y+Pjtg+woG9L0I(WVs=h`e> zQ=#PtJamxkzbFZ)mQIYOhN*%E_8$!1&o*}Ky=`c^m)a!|9L0N(n3%hdw{xEQ&1Ao0 z9r4H@*e09H_(@Z^p**<&45E~m&{2*x7$}4oS*KuTNrw8p@YRBx{zd17!X`{w?rtq+ zZRw&I*(Qzcw)}f9^p>Kg9E)|D0bWt(t`coge6A@s8@5QsOm>^V55)cWpy6GL)T|@u zco{0owr9$EqhpSxj}+89%No0_d}k^$6ZzQ{b1gQxa#a?wCL8s&z_&SvbvuT8Pdg7H z+08?d{23-HBV1zK70v;Ve2$M+CPz!BGLd(POz+0FRR>|{F!L`_s5^xhMWTo8S}Z?^ zla4CPxY1R}3^LB8@fTwGqDha>e!h#roYfn4)23H%Nd6Y0wUB-8L@!8RkAg0gCV^6g z(U%YbC4)4eJkc)y3S@ZZ6F>g?#j9BEm24N_*P2mz5!;WTcC|S4gVr&6Y1*^SH&gJ; zt&Z=dtMe|pjecT~^hJkczK%zlBvDedGANe#iv1@gtIw+JQvrZ4q=Yoml_1$%t7yu`1;+g_#iw#w2K?B5QH%9SP;TCXe(D!_(x!4Jcdg?SMdKAycc zz?BIB-I>6>J&0*ab5-o5j>gvJ--6$6xOyy4h^+ucvx-MV zWesg53c?SKuD5?A-VaVx|9)w3_sr@UrZHyLqqED4!L-aiwipMOZbG~QcQ$_kWVfg5 z$dDj@V)*%kU@~c*WK~qT8nx&yc(>!UTw0xl- zRLJa=y)YRfl}{#lNF0vr(eFMa%(9V321FvWYnBscgEFRd06F5u$1#-u!%8#-bW0t znxueJV#r)QOc^O`0t7%BVzPT~q9%X}X;eK_QK1KDh1P`d1;k(PvzvV$Fzr&ixgql? z$XbbU-UE@R+`e@gqaDwG_4Gf}>%rl2!Sr54Yw*oc^!aM-HKB4s6!L;v`NV?Dn+N<( z{+)_aWmKQpv_7m7cQXp{S22r$SAdjR!kY*a#(`3j29^6SOA@n!`a1O@GT(}2`L8p6 z3{VuIItfYCV)MrKVKsvPX;)QSB4^O8V&4B?IJDB-H_+bV9)?JN%pZIy(L zkqGq5WL`2?R~As~(o~@kdFH=(mOqzrWx%3S)>#f^i8X6v$d#(sVDr^6$=Q}1!9~G{ zx$p-%9*C|!nm#u8o@)2=G{GDgV&TrHu#|L35jqow2MknC;!hv&U4_8HKN!bP&naQ4 z&cb7M$*XK`Mr$VG{Z5^3V{wUE4&>8poF%pllcZtFnv7iy$Q#8xquWewELjE4E^j8*3js%!Z?{_HyH#-c=WUPP1dWfa3pXvs zAOq(ZL%Nr;j{;Z-v+VG1Jv(cPsv%%i2xp>n#wOYQCPk%yYAO_ronzeZatepg*bl@5 z!HFPRDwQc?4E3B0^NmX!hJF&df7=Lo5rAdjln5k3zn7?!+RSr^fp0;@<$ZM?Q%lO^ zCW77^W9@?}Y^0W<426BtVnJr@y|JNC@(Vy+xMtxT`FXQk)P1HGf%hT8Mvk z&?XrK+ntw`q><^J_hBJ<*Tl$iVd85Yem{AD351E|d$c~hj zw%I*V+!8Q~Y49dpCrD zB5h%6iV44-B{7g4be?f0XEA>aeoQ^RIW|I5FQ~6rW>GhkGRrH-TQ3OTtWNT-@u|ik z>7P;2|~7C}bwr|-@$5}Od7qIZ>N=r2hvixyYW zavBx}P@N3DFy?%nr}ea-~$^k(VjMuJ7gmZc!)dq!o2g$cf~K^lhyT3PMeJ^f@= zR@d|uIgO?jW1opXx~7$=evaxRX{+7RaM}Im+FRXRYnb7}Xj~+7PsU;D5Xm00@}u$abTFFtVl&iy21T`2TkyA|Jglg0ms?<{f@$7DHoT_xZm(H19>{%vc z_3*@%Gz7%NxA**fiw(fCMt5X?@&9ttz0;szFkrVOp3S{NkV4!x-spq*^NNML+@sI0 zQm;jxt<=I?f)j@Qr{&6G9Ah`KDBk7J-G5|<4y9w@S=HAjZ4HWv8ZE7)5RyHzYP-9t zpkK*){9}R&wV+5t*SnurmVG|`3aGI`5>Qb`t_-aaZqqlN?x_qZ48Rwr#w#W}ulz__ zpm4d-FeM`EeJb0+!!lCX$ValJ1pxIW!q6*-*9O?=pI2} zee`Gdiiqd8-onR~Lf(nFQl9NAw?Sa=7=2+UFY37M&j;65?GxV6?-~ofXZCwaUm<3| zQOxf3jmnB*w~od9OXH7U5nqvyi(9{mFiUdf2E}KB|JZ=HVv`h_Iro+FyPIaw(bhqj zFa1RdTjjUgh>a3MiJ*!wGxdu!Ze8|22-TCyIEhBG<;K=_p0@>TUhm#n^O~EEEXTCy z%q!4SB14XSlk}0uK3$>kmG_CGmvnU1Izz35zC&N#mRie9$!N`q<4i^NH&_+<-tHE0 z9QWJJs=CVE`e915*yHYw*D$lOIa3mhTtxgwN9!-8({-(f-*y(=ULG8F*m+s1xRFdK z&Y&b2HX<@zs(wNiy~7ynJf5HuHfi$!)%4>WTfRr@6gSd>wsPi4<4|^7+xBbLlqIa? zGnR4j%*xw6;tRs_9tvkdUS-{Q+3B|{{;F_jje*|YaBcia+R~&_@|b0PKxBSI<>`_z z^xP<+$c=ad4*zUJjHQOf>TKLkIX7^gaG&D#YvwUmq9ccaT+L$b(^{$TA<9i-3V{O@ z9&P2ZUJ}hi7uK(>UzMbF>Xqz}A5=W6a4tC0iSF5%UyOQB%^!O?U}Ai=R&l0uvCe{v zs&fWoUW4w^yx~0I+efN7S#0XhQ;TJWa0t%*F0NCttO)c!wYzz~?#*`j40>?Wf{h@P z@kZccVxroJdsl+u52|ae+!jLpF^uV!_snmFT}oCcYQ7LzJ92N))VN5qI-~5+m^CS5 zEHk5Ys}qawF^z|@+09-*%hNR2$hmKoiyn4Vg2RP^@g@$3^T*O z<1SbvRbCBugnbvPnD-LoTMbNXNcPdpNj5nDa-o1cx~pV~?)3b(IAo{di3`n6_!z?6 zi_-C?)%rF@Pi>pz$U%)R4ky#GI_6zhuQ$SDYbQ==wp{UMAze4mxpK_t`bIkq<#^f~ z2PAdET?RE_;cyOT2d(wP{fb4%^@tnlR}u%xs(ACFgFoJ-?noIwuW@m{NhVDrHWsDT^WD(KC8XM`}8tN-rSIG zRFm$J_8o59>VO#e-`CZvyRl3&lDMzP5Old& zh8fPf*$~C1w5%T&edmdo)ihSBkH@5e-=oA&vsqUAH!=X@@6gj^v^ zQ0DDQqy$Ob=2=RtvcGrr${k`z;A$|((rqeF{PXk=WgiTCSo?D(Ehd=GdZOK{#g(6k zYmR?7{Y3W3b>$($@4W>lSC-p%TWPDm&!6>C(Qof9oH<#FV~%(kkK`SK6PoJlo=|0k z@7%c~78`Hfctb#BSyb!18IJnOK%04s03nh*ew3tEO}N8d#Ors^80+2hmamVhakViv z4Df^Bu69YQ2-}oe)F&@fVN>vt5A~!UU_)Y*ob?O4E7a86&DSUW`Ms}=zHYB5mh0tL z$@@6MX2$kKsu;CRf5?obht*hB;jNkD(?GMr`_ZP9-rNr5gSR#rXB&!M9Hk@EJx@v? zyE$7zNTOI9JAC@WcnEDLby(V#q5O79PbRgsasmuFwk?YId90tF&M3D;3}J6#4Qz9|-KW+&!z@PuPCVE~Ret6hPwDoUp6B<- z*5Z%C%zhLKs%KtZGLER0YwTL3pwvmG=xV#q@W@uWGTbwW-X+QQlaap4e2GA(>e^sP zU3h_GR@@4Y8gw)|@@+|Glt5^Xy6CFj;b1EMHe>Jeig!Ny3XIYnuJq4O+NiOny+S)OMdzb(X& zg{v2+fDfO$WER!}|H6Pqck76R%EvCxz2IRsd~#1uhH`2S*Y6UC#WpTlh4O~nbG@Sejm z7dFv7zfx}!+Jw4iLZaH+aphFScdzrGPIi(QlIkAkR%S}&^+_w!p{8JMI_5a2{M(DQ z)6@B6{7w}0C)S|=gz9-`hsEUZ`naaysgk;m;3xB<{B1MwqMR*`L~r-+V#6~sQO@Rs z*r}~!ksr#M*^G_fBWVOa@efu=N|(nl7<|0^u;5NwoO@jZGyNCzQ|C&OpzXB*6TM~K z(%^Zx3ZqM|vo?1D<*$+ZUL}F%qawEad7Ou%F5bt97ky-S*J90XUrp0uebYZwR;!?0 zuvwVHT zy?9z|UX}T5;Vvc^wR=)OyrQm0e(|v>lXJ!emXrdqLdum__|ycI;3@uGHffWLfj1o~ z!*0{aj{99R-C2OE2ax`KUw9DkQIBVus{ts%o5(2~pXjZfWE zb3SnB=={{%g{iFak_KzOd;K5DD42d&d3e$k02E z8k+h&C8CNfzrx#G=kkoo^s-BKjXPp>O9|Dq9Y?t5OCBmZj87YmpC$S zwApTZd+ElZpyD9j?bCVAq>H|N!CEFWUg8TwCF^H7UwTeB)uxNxtG;wfBZ$27ZO+@v z1ho?Hrh={V2t@ef`|>yWYmZB4BdkWyewF(Fe8tsV_IqL zCHqwL$mg~01>q~Z^z{p){Kx=VKk35aNf$}MH%vhyDT^=FM~(`lIwRci_t=ggO}}=n z3uf-}wc+AwV0EIZzg8|=Z5#?{Pi7wpYb1275PbqNnzbUY%zbr^EYH34OD1{u#5VXp z0J_{T%jpa;ZldPbBAwFAixf4jxjqY5#6}`NMSDEJ_EylE*Wo>le+uQ(V$#jwDPGp1 zvnvf}sdgs#e>uMzx^6kN>8xUzX_ju?W&=N5(J0l-cRs_BE9;_-9coNd>!ro5uDeeO zX9U+&9=|kNT};5+>%@(GXX?Fc|7Py6v&>l8OU=i&gND~{E!b{3_1+ZEFU}lX@#TB{ z+26_T4W;xJzT^A|wWOoxJF<+(zHbIYn8Iz@=)&&Jm&<(W%h`oRcKJnSO-U5!m)x#d zua$O+WUu_HqZ{ZWEB{R9yf||&JE47ZY>g1+c7j9tOrF>SxNpX+f~AtUq0$$~BlyUR{AMjn1;ZF|z0+4V#?X$<<-!sYYNC+ewk8%~DwGZeos z8RChT-ZtBW@nngZ9!p;$oLZuAz3CPG9rlTI+N(-pHh$B8>U5f_{^qX(a$+TXsIL`w`rbCC9%|SG-_u zOn5GcCuw@>hH5ud)v_ZzVvxxbE7dbXHpQtL;kx<{6&X(}dw;fjOmduTnk-{b<@c^x zRZYw=8T+GmuXeRQdPxYLn@{eXS^U(l$s!tZh^qVtCZk^)|6-f_rS+HSz)iyQYdNvO z3lB3ZA2f@yF_Sh(ggre)aJ;Ly{xqRfSER7lv(?2C~8h>j-}5uO@vsue%` zF>l$?g)Q}(q6sAKnOtOV5XLou-}|{`?+v_)s#ZlT&rg78W}suN>io%h35V7rwHs!`1F3SC+(}OxpnqA zJUwhSpQuwTeh3;gUm8(yEA#pGt@Tam=f{m=-zVu-WMB9hc6JQfCjC^Okv#mh+3n zQU0oE=B3#=*Kkdl*t@8G}tUw3+LNadv0wlYfsUZ{)szs4`2} zrrJMyf}Q=o=?fS7@O-Sq8X@v0YVqb|!@2jpuT9Rir5Cc3$lThPr*j)%s5g9UsiacI z_F@ge?d7O$gB>P$u%J0lh;o0g`-2qqX7#*%UeIx=mg4+~OA0T|#wUBv66kC6KaG4$ z>#SQ|=OPTnf91vH0izSX%v@9T_F~`4A&k#qXEcwn19o1=>`+k}*yV>I#?fC1> zT`jZ$OwLnwQjK5lxPRPH<2>cUkVLC`_k68QChf2j*PqRzpPL4+-5T8afc~*u_e^P>L>KyfE5Ka3SX8$F}AUH|-P zc&dZW>vmfvBPzAuGh)YD34TtIiA?<5;e@#Ls!JXc_n(By)T&YM=$0KTj!fo7#0_|z zSWEUS_PX+Nou{RmccJK(auiyA ziEHLw{m~jK~}-1R&_1TE#h3n_M@De5pMEr{Gtnf z!isO5g(fn_+dS_{yqszkOpRJpdD0l<9v=0IewoyFGBid4lNxH|ROP$UYx>y!aHVlz zbA($kkv;w@^2-T}B3e;&KYeQc)yavXu`<7g>NsVZVtmTum0WLb?k0O$Y84oJO{YWpVf!gx zLvk9&w5EikukZV;z9kem-Z#ITr3X{`NNZRW@AQK073H;3t@wf*j%7bP0wWLg>zmI~ zbR2{WEl$pL8V1qT-Zl(6|32i{c#YR@r#G=YA5EoMEva6l_P@b%QJz+bO)Bb)vs0PU zddfPc7PWMl-p=Qd=LyWHH95Uf)~z+_ak@>Ix{Vg@qe1U#cz~k%tZMD&v#RQAugmGK zYYx#{2gMfR`Zbg7Mm z@GL@*?&e`q_(PlK=%TS?$`Nt1tdu@k6*uEo0nRb512)NFwvNv=nZ8XEepj6RK0VJs ze_P=MRzy$CC&zAbLZ&b)RyW@Jy~Cj>p-Q_mJ~U#H9zqV(y3;f`B5ui}7IUvcR&01u<#z%NU*^j`ZC9eu)VxTq^}U}S zNhiPIaKURR=$qjZyU0iO4R=D7ndXwf*8=#bYc-})6Z0*c=e1SLdVoN30$2rrn@pL z$5wiTuU}CzrE5KXT8gga)@HB0(fh(n89DVfD3{mgGA|o`t|h&Yo3d_kih0xcE*%N` zR$Ekd#M7dvPqxVI<#=@lxjGNH?C;L3!pfgHse`x{r3nJ~G#*jH>=5_ObG_4)KlIs1 zDo58ef8igC+^-qxHe-FVZHp%K3O7*)EPuU}&awXO&V}I1kJSflDoAy1H-4r&9lUMT z7}mT#YO2Xp^W-XRmZ!;VK#Q^XKwp4|r7DA@O7G!w4@l&er)*o@k$PTK zEM`&*d<8-Rr%L1&c8wzocB&>s$fCV7W#1mTD5jZ}?y45rPw~yanKdYCi}&(oFN=&o z$*a6;qwg4hONFUTKPR!D!J`Qu9~-9LSuOfyDrxR5Z|m`Me49sZtW!2IhNLFGIprgJ zkC@~@^W7JLZBNy3pY`0>WgobFrIAan`+PEh|CE2hnHNfY1x(0z*(>L|qE0nNxiWjy zV};@}f&`PB3t1CxkZ?Y%ntH2tCg4@X&FSN|>?6lH8RwJjn{0zQUcd9WBuxmkVbx`4 z&2P-Ve)xBU@0~oap`^tZpETaSucgaTkA1^I8eaC>(jd(`tdO8AI>OQZiS9#IKu(fQ zFn#L9qc8K{xbQXgn$GHz_b#^8y%U|bwi$3;{;r|KV2nfN zl{3F6mkoMDt+aSOIg8@B{W6352-FYmoeUxxsu->2eB1CV^V(>g&QY4SnLB=#f6ZEo zB1CHbl!bWgVA9QBiWS$&epKC2dLUzV<;qmkcFe2L#&^FsG^LrYII@)srqz>P$=dR? zXw5bEIU_LTBwjmx-sMymfA}q?#}`~L!Z%h5Oj(q+sUNT(cVMyStn<96kfj_#IANa? z^hTuPhUO!y4-t+Z_`B^hD*Iw6Q*9vf+w_9~M z9h*9-javv3A`qnUR-AIFlA@(sDFlbCPj!R8BCd6Im1;ju$?twI!FihfEx*dwZ-ZQq z6Fz2Ww<7~(HNGn@X4R`yk#}p+4`el&q_<7^Oc~U-pD}pyFju@WL(b-mMb+7eUY4uv zo!surNlt77cR3Q1bL>7mxR`;LrI?V#Plf4LY>$_6GHY_f9GLGK9As zS3kkZzj@VQvyIIdAL%}#W%fWgS+p_)nLDU5{9EuMK7z)UvF2XQMh)GtH(8w~Jx?v# zg(7bzhrXUkmTTylw@CwBu_Uz&Wk$GIvP0Cd%-}+aTrj)o-N|9JN@X695S5kiOqpLH zPHpRUguq+%j^a0=q;xkXETEeTX z4PSM&_|*1ef@i?rOT4*RYcc1-kyU^T$uX#z8}(TomK*f;)?R(v=*j2eZ!x#=xa9X7 z--xwJ#Nlmm7yUc(KOR~y4bWQc1Y{f$X*G6F8iIe5t6RkhCq<5FhkJl#~^&#KM4;rvp^^25$ zen6_zO1yVVoE0m7Rc5nw-XxDhs|V%AYI)V6`&JUGN4uYj|AU_swA{iUsD<$L@|IG^ zHOp^#-*BHESEcQ`VM?G8^|c)qz8Ell%}dbH>)8BNSQi2l%ORbM(D>Td%ONKo9||GcxKbMq8Y~8Bu>XU%YIOy z-|A@2$J8`p9X`Btk-4{BJWw|&Qh#Jjs!m4sRn(^Cz^__MmGdZ)T=C_aV?NiOeiRi* z5>f6*+_`dp@s7BeEiJ{I@aHf$=_`EUL#c7GzrB6NhR!MME|Sld=fvBTn~EJ5j3$ge znWeF4uIQ!z@=Rf2hCH@;bhrN=p`All)@=3NDdYDH9jN}N@F6kcExxv~)s_A{o@zPS z4r~x_z+0w%`}R@uZ{_VTQiPR`#T2=}iWSJC8+jZ&!y!v$nM)~*{ORoh8$vkPqhGy?zwbPm42{Z9rfMV1UjBvI$jrO{G?32#?L|GH^nuXKGn`sb@QF_( zsApUD(e2;saJnyS=1d8wle~|es_`(G9jWYv^?=MEq~SA)6EpNDjOsHs>dFX~Idgq) zow`+dYCf{2-xQr#s+(BK+n6Rh6f(2=mB17C&C~BPFGBs+%&%$Ys|gBKWAe@Y1cMht zytpMti=~-kB>584XHQmpUFG2URjGeHRsJU7&6?zk>=D$;dG9k3L(@-}<`W9}XKqgU zP)$8@INVVsJ-U>l?=zZl!@E1>bcbBFA}4~+&eAvjBb$IO?Irc&zVGiYh>4Mhd_6XE z#-jek+fwtfUx^x&j$GSz*&GJju%}UkYxgHoXBXlJ^OlS6*Xkdl?&=QB`nYQ1svaSs zomA8#`CQB)ttO1Yq&lFJ*K6LYm?p1Z!s6)?>@)7Jg5gr_t&I}>@TQt`GRMkt3w8BL z6;i^_IWwXb_n`;K4QrGjxZ*JSI9-&Kb~X8_WhJX z-8lgPoe33He@UwRWC2*m?PjeP+1x$%^UYu@i|tD?;+R>Qxg=y_>#;WoUuqGwk`qLq)#(s!ftTke#- z#aB*^xckA}yd-a@PYhar|GisI5NHV{Q(_*kh?Z;{)u!Onx^Lu9&3AIy;#R|M0N#;2 zr%;Kp{p4iwY+q-Gpl1sA@08tA(V#5uxbDN7N?Iv`X)l=jyxdAi!^$+xN|k)mzGx>2 zG)b<=S?iGywniDNrdq!mW_OBikRYL@#dPu2 z8UuHgL2XKR4{el?XxC_{S2t&+^3Pc(IlN9X=62}wvTMctdYr7Hw>(Ze|T~t1jkrg1eZ0amTPCpIC z`wI&8p81`2_shrn=VU=AkxjhWw#N+T5e7)Gv=&D&**gZJV(@ zaQ?MTr5YBLMAvcHs;Eg~x&NNur(C;x^e^1=9$`_g`ALz@-D=M4L+XS9LhkJQE`=Xm zuxeCjX#D8J`lMZy@VMFQ)Yk=fhWP^&C{H$j)T;md-d~qjOY$!OzuP zt`5(gxdZ-?lyI6=q;Z%TUgJUFMAAQ4&lwUN2*e4nU5WOk${O2s^Q5&aB&DdRn$XE- zZRR#K9QNf+bH)4Fc(|GH6)e`$HaxLxM4bC^SXZ=1kFaer!>sklw(@&*9lf1v80HCQjDo!(yMS?zt%bP?A!j&hJ9YYo z?Q>Yjwa+dK6-b<<^v$Rr@zrr{LsTenS53j3JDe}{*?(aQZx#4_x|VloIwl#twdxZU z!W^qQ+1~LT@$-9GVcpnCr^Hoc_BUbBE_@X+YA@ulfE{n z7G%%n9bZyyU-7N;b0Ph9n-qaF{qi8oormK;{p3FO2tBAuiz#%HIB%i;Rb;LE)*L^% z>c-fhm+lk#^UMa}{m2dF>!$kRd-skd<)XeUVn!l9_kgFVyiU+4W>m%M@JV z-3QtUPR^nmw_MuEiMPKw?tNI6v4Czzk$KuEhT!w;p2JQnyJi+v$8AzHLsPaN6s~QAD=L#j8z6 zB-iF-qXrMvs2%&Q=csccYz2xY6_}ii$v!2c`AH3UF30 zV^(3Z|O3QJs>ruW7*_xda%;%*TCO5;^ zC8f%D7+lXh_s3PYTwoXle-Olz-(Pf#&U*5FLb9F&3UMDs>8z`@BW+wF@!4nOlnK3| z)eihHb*6^P#&R-Gp7i}k|ij1~3{hx|C#=S!uUpRr;O}c~3At(0r$!TiiONop8U> zzIV&x;%{-@4u|DLsfl3C#)zuIj}mZRS$M=*DtldoZ!?PE9nO>;#>GJ zG}P8fR%3VdrNZ^Fk7C>JyYNQ{9c#4DhWhkz1tWs%?G2Jnkr+i9d-E1Gx zT@TYVp*T9vBm3s%h#W2Mv#W~9Y{=S=7!R(%&X;!<@r7K4pJ+GR`C)Mk>e&e_zdw7c zq-#ntUGws|#9PI5zi(i(g|zlIdy|+J569(C$q&7W(yZsmc*aH3M;Cs$z9$TO=Wn&e zF6}-rgTZplwDiT_2q)E7BSTeckI`9~iLPem*FIfxyTLUY$Z}s@P8DWT6Vrl{{=(qq zSKavA{WaD_i~Q^J;g^YdUf=ZxDjXGVNijJIMMplHR$qF&+#)u9x19d-df~gAr*>LL zexA$_*5k4Xq)Q!M=u^Gz4G;P`vB@mohJALM z!q8o>barp-iZWXI1wAy$c$7%mUFfB7`NsWsxW)6*Bj_y);dX$tfoAAk$c+)u%F&3JEQ;tV}UW&g#43|?9_Z~UWg^KZ^cW+7_32IvNbQ?RO5S7pV^5+`0n4<(M_quS5IxIf4Cg^LRgHxy5QgaKeZLmc%A=x*8EDS zXl1F2$%kufg)YCdN$7ob^~d5aCOmmRJ>+mh{-|9ckZP$iX`vQG~-pnVx4BcJN8NC>&00RHSZsmHFxpo44`B6O}J>pRFjq zUK4*T+nQVZ#G&+teZqUw!{gdCZ)|V06P@O+yPG@F9KYCdGBAB`JZ(bf9(5+6rZSsX ziA1A9X*AfOyC*Nj@hp2)#tfY|%ej{!k%vx?F|fmGT&D+jxFo_b-pQr??*}`SmgZlm zzm|`sSeu-Y@Cr9yuXTMV8z|`U9&vTy?IFuMnHz|uRg2qV2pT%E_|<7MHJzgabH(4U z-i-;_me{`17{@@6_d9f}VYXA}Gyw~b4LVAHPVB9tlI}0PQ}0gSvl@}vxmi}yHS+e8 z!)GKj{^zSn&m=+7S7@2T$65!AZfO1#_?$_1Q>?3+6nVek*7tW#W7-G}#VQi_0BYY1 zbgd7X?o&27?NugpR=(FEO+Q&V^>duJe2>I^8??Dex-n&K+SU~HQrHmJ6kCSJ3(u?Pa$fE{ap_3Lzkc%3 zY-DQdG;N15l_H!%z2)~idctd|TvX(t?J_e$_S!PNh3}>0Mst?77oV18ltQY+L&D3> zcNH`H`jQ5k1w|%)$<<}bi&bRXcosm24sTkaeB^%2N}Qg!E_~Z|M4To5e%xr{cb6n7 z#f0fY_1Q|xdMU#v(nqgQbQdjVijMEp+s!yqrs_SLe-V)DwG;YkDYfsrXr<@2U<& zN+?QXQh{L8vo%(gUv=xk9Zz}RZZBs1F$ven3&-UTnZG}g(^7Nlr~R=J7Bc_K%LMNX zk{N1M{c5MTJLH8MJcGGx$^D4Hq_RTK-OE{JYvR|+f5X`S6X%PN98?QXSUrOYyi zMVFL2>GQ#F`Q>~I!D(lw6^>}ZN|OfUPkwtYas1ovZOm6@M@+>8kB5iiY(u5AIpN03 z%h_kuuDElw@VH$P9X6n5?`eD&sruT#t>(U;`-4fdp6mIG16)7bv+IRpGd8f3MQFC% zmkWBK%9#rv-i2t%eSe%o+L_Gd(B}TB(``V`dHHOQfKRxrt~IHMe7K_gRDs=XiNOm3 zCHCDf`wQmQ@S-7WA_b$f-Ip}!Yd2;IIcI)m8e82q`qhe*laLN6;XFJiOxyNc?30^c zv}k2+zbx`bpXr>)`MgOQ3fK6scQYZ2rYmc85yxBb7x`EX#(~x=r|+4Suv{?OO&t0uV04i*rg>Q;(&S|;wh{`UFZ@& z??kAkZgSzXW*$98nAdWk!fn$QnySgi948E^zLZTqI`p20{I;KYd4R&{1hkkdKA0_G zCGbtC>Sjjkdxv-Yg>ok~Mz8jLn8BzM)-D~(8IlSpe|F(3TXZ=t`A+#rJfT5G-$t;% zDD9WIL5JSci)aDgW(DA=qmFfH9dptepr|aa@>so9Qe=;rmOZv!b8%~#5caJ~2 za{1#4!XyXy&?!ekR8M_wlx6Sa7VfQ8M<*3Yxbn#3!DmNWtX?k-?|3)+TRq z`7qs5hgHyNnOoYnqQa?>WQ`KcEnb+;-VX7>URtbu4`7CdzeV-2CqfGj}0c^ zl~dICW_2zUs_SY_Z^#_dxGrr<`#!yt9OE{6q74zcyU>i)v-Ww-R-EygIshKMrL(XH;Fnglx9eK={(gsO;>W_$P%yz=t`9?_ ziCJA7Vg&qOsEh#M6@fz%TB1YIN=Kx5+o6`;@pD0P6@4lwbc8wjx$s6zl~#QaDI z%^8OQ*JY2zd+uvxe@Fz~C4Zupa^q z<{1N;AQ4a<3((4u2rL>!gT+EV02vFylLm7E)P-PrfnNX(Z~(_0iNHfs3j6_Rfde`M z@sLO)WHpE%5^^RmKhPZ>NdUKCa*${oM1;CvFnAgyP!#k4-T)eb9|)})ay%qbZch-X zhnyTV6x2f=hz{gNA|dc!JZO(X0Mh^mKmvoH`GIm^OkhypB;W>*qJdlng_Z-jx~RSJ zAr+w3SYSIaGr+BYB*0Ec;M6F7@D$ttE)dEwN*?GB)B~~uWq=isXavv&ayc{-gQEdZ z!bmg<0GC20L4!v8kfy+`!0bVdF~A^@nrJLo6F^I4p!pssQZcUo%R>lm8G$0|%l%(^VgMjIz)2@c;Ng6x|7D8- z;M`a+RewNALtDrHLk~1y36QV%dJ(gCSl9>x=KXaI1F z0e1eQ7qn~r|B6J4BQnUr*@?b*IP?FQ4u!Tm{~7=Z5ajV-m-%BffM|`l z!p1J}FG%hGPZaG#V8VeU$g%xgGHcZ z0J=7@Lx_v_e+NK-*JLnYMF`}a;ombtWIVzp$qM$^eZ5a&Fc^DCCk(2gTmc?T3d5kG z8$VLwQw6va<^D5F1MhLTAb5st;8cc-fg4X5*+NbiKFEmOo7DpzSowd(pxsAcmQ*(|vmvVL!a0fVdhiJHJs4)Mj3K;<0&IN{)yL^CDx}k2aI}#|a7t2Q znlbzsBRC5F7yLS6iw!p z)A^r9jwj)Aq>D`7JHq*alUs2ao_%R&v*DS_=7qKPyzjbDTuiKtvjtIh^WAG8rgl5 zf@pn@4fepaSP)-8Y_WS$0=ORRi69pJlPwWB#KG~msI=PuVY=@;{8$k5>@hpAF!o@c zupk`SqwgKlf6EHM;{P>Iw2J>>E5AQM*n???f`5n&?m!3Jfettjm;ySn9}jlC(V2sZ zLZN76jhzGCe1oC02Ws$_4gNayp}YZ*4@?Jw(0{~XKm*+Qzk4HzeU5N;k^R|4gIE%h z0t$VhD-`JNUH9FIXyOZ`_}g97QHVboK`s9h1B#BJj!bFR`|Id{f`TafUUxu2LlitQHW|)Cz26HhZckj~V_`oehrl<`2f&SC0{s5YE?&;= zZsM}Wfqt$bE^dKh{;sFZ-K?dNAU2c%+naq5{5&~GMNlZ>k03bj!7WQL+=>~bBx0Z` zzrJUv8whcca>TR2aGt{;{1bX5ye{xWu2X-$7 z{WAx}?JXP}6t#oA1_vdVAUFs46G%az^a2lZMo@>sdjyyX93X;N9wd3d>yVhe8xTa} zupr5Tashc1NWchC@`4A+0!|(zdC0vC0L1DbbO#iWI$}Ue9N5E9P&$SK>{0R{6TyL{ z3SxRN2Iz?fK|HuY^P|yFW(r&yjYR;~U>T#Kfp8!vLCfQT#2^d6fW!vefJ^}ma!4HB z9)$Q<&{7U$Fc^6dyvl(+3M8Zu1*9AZaIVOK#es!12Js14)i^Yb90KIcAUyySD8~eD zDhK8rB$N;ZSOY94C?t@>?0E{^{ybyA%p(y*tT#M{7#;>^linlCiGy8ne-Z9`h&&*G zJo6v7!b1dk;+i*HpHz;h<^xwC3WkFPq3j1IC+7LUnF$BoT|9%`WYhvZ-Q9yw2n0eL zxvX&)qA0W?uz60ERkBi$Ios|I>A@dwSqz!*r4I@qoD3A_x5b z`ULhlY_PxG?RPL%HB~nPmVuTjcp>r+dt-Gi4L}D{;=ucjKj>y^`l@D-s{74}CW{=b z-20i)U)C_QFxE8Hw}6Dh?#uAi4=zAtiu`Mac>Ljv;P{mChjVft>;!vyngxfPa`SbB zqyb4W(ZL@MKLWDXe@3@3&@xt4*Mm6k%?h!0o#n_O@GfP4m{L;^w&LlxPHTJ`}FWdf*7&oi6c&j z!v(>cm4A4mfPFFh@hHF8-Y6)b9OmFeKcE0b&p zunT}J`A-Va1`GDPKiU9oz<&5A1@M91aQ)E+*dB{ULi({0Z-B)B!dP%>ayp@bR@lAF z7x>1W4rrhi7QE{FqchM73$naFC_pRhUi$xcFQ66nU(*dnM1g=~Z$vf7A+=(GnoLn} z3MZfx_TY5i9}@#9_16}&Cj|yl>aXK`p8_cbj*ow&z(7hJgt7;GAZ0rnl{ zNH~`h23j8fG8hJ0h5s@b2IvF5OZ$U2&CblIDijYn?=I~ zRSsr9$jv3#)6Z7|gd32O2Yc5)R7l{1cuVYWDzKv5-V`wHG5+HL@pA$glOYC9LksBv zUb*ebM;`-MU_UU#-&`QoLE>j01Lu&j2k*r_eLRCf^702az~Zl(4DufX>>s$$D3r9& zj&fjhVrLB8iI@@tXW@jXfA^I8rzcS*8hDFsES#1O4LE`=e_y_M0z8b^9uH>{-8YBK z-czxlkW&ZJ%3%H!0IX;zHUxa=X&@ilcWa_e>;V_}0T(PZ#-CiUGB{#D5?Gx2(QvB0 z{>0C*aB5P1A|ei+ye9$e-+kr8iCwkHr0 z?s>yb0-T4~oB*dc1yr$M&tM?V-~J6nX8*k0Itbbi@}T|D6h!(5+ana5LL8ysbpN^^ za}(1O;jFAsX!l=EM5!eBQ8Ex~{&T)E2<>mOf14SK1plYsrTu=;;)6Cju*1^GfJJpM zGf>R<-!4$lx+m2B!Ol;#PX>o5v`ERIRkJsBw0{grEJ}p496nfqI1tD}ok765H*vaq z2LG?6pw;!)OXz(|?OPA(w?Fv4E>L}civuw&l$A*HLx%gStA<+;Sa?vB3x?cxH8~=3 zlZA!&B^k~nw14c;$Qp$Ndwcr21p#yKF{hC=boK#N5ETl5Dwtp-q-f9u7GVojnW5q^L<1aP5jIej1u9q} z8V5wPhN^5(!4A=|5X}mzf~O=fPKc%n(JY}V7gTV=NC>3pJqazKIvgr^poX9yEW#YB z9)Sv8Kr1@|(afMKA5`!|G!uws3RMN5LJ*?uDFPmlz=WUz7>~3J7!(#^3{^#-LKIZF zfqh{S1S6<^6e`3ZBCr`O!Vs#8LxluH+p_|g7ZR8xR7gRzJu3joNnp}YAp_BXJzx=f zP*oNx5D*QR2Nt0VRgqAEf@r`-um~NfiiQzDiGhf~7O)7QA_)u_jsylxFE>yT7NHGQ z<)A_yqCpZxXhBsxR470+X!HnRTN2nYs5lPMz#S|?1F9-Qg%U&q#)CzuLsey{Pyq#T zGz~7q9s$V}0puWo0oJexG*n=T?CJ0g*f@;Hm;nznh}atiXbXz~>cJxRBm{E~i`df# zI0!5PxG{`-Z|=aH!?=Oxz_@`w!nlE>!XikZ0(d4Yf{NIa0mn)t0t!hB7>uL^8oLEZ zLDB-L)q*5tu`k_w3akN(KoF%f;Z_KLARl-LnX^Up|CDe(Ay(B<9G~y0sbNZ`ocG>+ z=ZZ7VIO>Rt>>7?pYL*oinvPZo+L%R)+5{2&7V@Hq?2n^D^dMR!cX1X$s|YNp5rn8* zM6}5^ty^S^0v8c|zh^dIe*f-$_kO>hbM9tTLKCg9M69qdtYj#eR@#2&@Qd^Hu9q)$ z^C~{f$g(yLlnWEwAqFE&w!^E-k!wXCGUVCZl@TaAE+s5FtBKB!l z9XXgiuMnE3Lq{1LHJ2nHJZhK4btVYq1WuA~Fa zPE6dG&BFqy5MMMz1Pv`jvl|nCuk4Z&G!IM20Gj>ibPnfbkJvQl^coGVM?*@%f5=aH z44vkmJoCix)`fanhN7XrXbz$C;Mv@w=V+cC?zmV_57JFG8AO_P0-YC+=bu8JxYRS+S>7&_N><;J+CYK5^1onKbgR%^;0iMUr%N$x@C7V?U&rlP;_T5~od z1bY~wk8VBKm}l7M5bJb?O#v|}5dg6s-3PAbktt0#=tw>-TGSH9}g-CCec+8`FbLFmV83;iUd(fM_oWCTN zf^7uB{(=x0Ax1(t#D4USypiYFrL5!)*Z>hvN`y!pk{p&CRkx3W=q}VL9R}6>e4b(C=A_kp8r9P(GjkGb&Y;aVONg=gCR8un%-uOn znWy_^ZQVpeKR-6ycMQv&all%fcXwo9}IrXZ9-$dPeKgL^V=|w z>eEZPOW@4&?eY#Rd2{Az&OFT(wC_dr)wMiKT+H`NNQF5`F()bJB*mPNm@{Yd$5H+K zgZMKi5#}VqoT!*DN{*nqk>3X=CFacCoEVrhZF3S}&a|y$R;N+jx}Lwzu3<%SmOZEs z{;IX2NXlyTAF6Yz{7MGKt}(EpD2pO0E>U(ROHnx$#a85eQ9@-(vH|^tb9t|6^xxtN z*JjYa{6~&9qJLE%7%Q{r|1LzWY=ZB8FGri<2fohH7Wl`b$zPd+|F=FDS-4jAO7=-) zW|5giFV>Ere)lt-YejWylG`Li+uBiy-n|vdtx#^oZmYi2-X&o(vsRY1>{-^XvFE8m zyA|54Txscwwd|$VvX@#bds?-xRz9{es+Cc#jA~_6E2CN&)ykuGO0og<+kf(TFJB#w We^gK2&A$?v-#$J&d*JY+1rd+{0YVEMK_Kw3S5RT>O0iM|3kMrb zET|y(M0g5{*cB0^DN_EwnR9QF8+cFn^L^o-vvqc6c6N4VcF)3ZCcL(4!orbp{zao+ zj|;q#6*nU;&i~*e@mIwK9^4b(9M3fpTH?7!!azK~kkC3Vu;Ax}+kZ}o!(Tl9_&E`O zN%%{~Ukd(G@mC3dY51#*zbg2vioa_3tB$`K_^WCCoRGe1Yg~Xvf1SR7%=gm+c<%Ln zx+l(03*Jw6<1KD`xE38kx9#Z-@!YnV zYSO*i%ZhH=o?e9XV^bU^UHxHM`qU583*!RT7ayiOY9c@DW5cvk_NNa`zzcu_UMTxu zx({&mKbU?Ee)5(ZwP?e^^aV-YuqW3|adQ=8@r{mD8v0H8CuqraDE;wdl-u!Bdarm- zi0b~FUK@=d*|e_vIei#V%z4@LCNJj{GnWTmIcnUkF5zL4&ud4HultfbSxj=Wo~ zQ9kmBEGGa9=XwP&ueI+?dUE*$($1!j$3Sm6n|^`^V3%{!6X()z18nuqr&o!K_sKZw zV!VFpcOjkPeX$5kS*$qnle~dkpErtFUz{)cC^$}8{HEhN^iv-1DHM)#WW|MP-8iGM zb!(jCsp^^ju+!}gIbF^^PGHxCmvHpOYF*P&Ee>tC>zR$|rgX=NY5|Ya?Q=&8_$h0V z+L%^29GfGBtos$mYnAZ=miQOF?{w(#o*?xO87`#N%yM9sP|qv}CJ5c1<;cd*%UO=A z@pCfE(G&zvz0r|F?Xw*@NZS3PBa_CAG!%L`+tC;at?M~-`XbxW9?x-af^Wk)4rXyl zADe>)0<>i?($|%y8}wa{qd_#iUcG4fc}PP02JI_N(kZRJ11wHku2oIz&ian2@pw7k z(9tZ;OZmA1Y;XH#YOZ4j@)k8!HHvTK$i#EorH%|M)X0&VjM8nJ$pF@M)-<}g8BiFo z?rP>Z7jHV<{(O%s5k4Y`9n9zX5uWM*1lcpMYsGn{#DPrfVQmr~)7 zuUx6Rhl~u$f7X#=t?)YzRim1k;h;yZ5!fburaEc=HI8n8X8w31A3tly8;oN29+jtk z?=Ka8TY8Vu1wTh$l3MOzI;0qbZ_?*)8R^eG*TJFdK@hlj*qF2yEz+8GE1WQD>S(9W z4=BqBnME~*IBKEhlZzZq>ORC#70)*ekv8WJaSX!SmqVf??Fa<)y3w&S5frXF!qFU= z14lUe;%&_cM}55Ab&KK@UOzp;(W(LSm@7Z*3cH>CMwUmJ$5S2|ZMT9oZZCASPylV7 z$CK}Om&Yh)Kj=wNDQ~2sUs;hrIdn=3pO19ht@0#r=ZF1%4|kbolZmE}624nH%JEE` z-|9Hp@n%X~kP;?3e1Lh~7lxAtOuRyT&wtBkK?C<2Ig~k>8Q&T**>OFKx`MTeMmwi4 z0xbyNa01feYO6Y3J;PB4-4)Dm%tX?YO zVV=W-H=ZR{;(W)6G^7c^wI2Oh$}?B&TyT95D6YVYTDgE~F# z_yb8b+X6j(o^S|rBi(xP3CGsRSc2R&%ZQhsa{L}G`})(4+W{e%{U+`J2+5-zC2CbV zvE0!L3EmYBKkCWa_OBI=Nlb&?n*mXM#7XFdGAAjiRz@u<{>{wQzorcu&FExcGeD0{1*sO!wPwpL#M=F#-U!0s}-MG{7 zUE+VqqwmubBu~BaXI~- zuqVyqbvymOkjLrqdYt}%Cxi#D(;p1_@!)g%!yeA^I|Hsj7!Ltwz~c_!A?OTv1719Y zoB_Yvg@>>+5b&eA4`qTLf11bVa|S}(j?d!^x;$BWN&2=ich!cz$S;m_^zb0!uvw<{P1gmTEw>^BDLpWCi|k9Iwm)5id-C#Id33CH54|;a3R_iBtpbG9j=EzcQtt+irpTa4{(wq7X}~#07xJBVbf#avfNL_xx(Pi;GrSsx|(u4FkrTyaVN*8)IPU%cH#3@zj zY@CvoY!5IBDrBF4%KAf}7*KtXqyQC6EIDPMV*2o?dG^@9UilrI)~Xfo@A1*3BaYtm zbf&3Leu9!maj!zCudS}+5G5!J=!OKvT#}-As4!9KoX)LB^_FX#H(-*|=0t^8>)n6q z*`!a-td<-}Z<3_cBQr_i%}fD5Z;w~1$e6PJJJH-ciG1P6a08LyVm?3wMgroqkLP>OV*UA%Kn+w7H5>oeEMx z2`yFWN+)9{Qw;(ur=Vf|iC=RXUPhRp~}2tD@T%sv_;aY5=8OH58V%wd%@z znxCe$qc5r}GcQ6u&{MEb&8FLHDCq!UUZ2bydb@@o{F53=J@DGGI7PioZ1WEBSdx;h zh9VqPZW@F@2k=(rMZ5)pBnS=$X?sm2A9B%thg^|#NEP{oOcBJ>8@iH3ZPJyQz+v03 z^v;yv00Lf5w?~{qcRQ3h$Xd5djnJT<0?b!Zq8QnyC?n|Q!%+&|t^#RMh6OD&Wg_FN zC2ca4WZJALqv=yMiux(K(vx!aXjA8O<<>ZC`XZF9$94Xd4w)Cr;UU_Th`BJ`1dfAr zrwL{c(nb^Lg?@PX=%pVrlxlP?Nzv5s#Rv}D2(D}A*b@`NG!~L@&?fh|KAF{I9>og3 zn4M*09tqZ=DA@8Y@&=s*A{aWN+Q1r`sVwIGrzl8jZRN@oq;G0z&8gP)nA>%_DlY2& zs-reN`;p@+8d_Ir1eNEmy2{+D&?744DYhz)Hep1g!Tq|3PP$@>|XLl z$OcIE4MiiAj+_Dfb0ch>TR#$AaVNZWT6jXXPB4NvX~zkrF4BKHA=PV~#4rQY8srOKExrof;2Ti(oo;LbQAa4d!P_ z*XjNVifOl#LGMf`qs*z&^6#POzG8*9uEi6TX4GgRp8eEyBA7&ydf{zz>01^hO;Yla z%Ia3*c3c_w<7EPI@d|OKQ@w0*70F7S- z=3OycY0CSj-E(Ei$*ycniDF3ey&nb19-pVM-LKc9AX(0Q<@yLb^x%A<%-i#oKFF4V zHTst_8qZ>!UHLD8L>Mh&LA0pzxe*H#2Bh#7k@c{k^yGoGc>+BhzeTx^t1pF7=doLb z&!u|(+l1eQv4`BI{1zSHu-heFY-f+%uDpcwu6KxlNb9U-(gSzM9NBS)GAlmdp`CXq z1{K_?3`H@)^u9Zp=j;rt#$8xF(YZ*I7w*17X~O2HNK>X&c(1aXQ5syREWpp33zbEX zDcu(Vjr{t6vJMc8e^7zh)JE0Zhm{mddB_IfzQxK@$j@J*v_L)thLi4If`LScI+v6b z`gV!n6TFi_4M}NJE^~HFqnQsY0~wU*k1ESh$b3vNB0M+#F{N#}dMWhrV+w4~r4XfB zH$JYs!w}~@32ws_c(M#4|5Gs#CDT1mDbr9CRw2{Md|KJW^}bxHusz|HWzl*A%k`H` zq2*FVm_;zKb2*kV)T{N3vJxdfct+4C>|6M(at~+y@tllf@$*nJ0`&G~nbTA_i=l9F{IR|SmC>y%?C+IzFA()%xq z#Fp6`_lnY$yGNl~R?(}<;cXCwTV$;E!(85EHx#Kc&7}GmG214i5)9pn+Q2s zkvncvMwWKE?Og@NbL-^0N^Q2EIzE*B49q#1^oY|)r?ox7^s_%y7IUsl^W0AakwT5eZv(?)sNB;|G}8Z~WlBX=mb&|W6}VRDbu)jA<> zK6do5_=oZXFaq=&4|8?v)^-_t!kZ(*{(OJMGE+tu&zQnZ`*Wv`F0>z}6i%Hs(eAEz zq@7e?{}fLs%o|rYy>MJ4b;O9GsYTNx)%p$}J)>aqEUGqKHLNN7FoSHXck?e~(G)Q= z`->|SGf-OEQnTYqs{LQDIQ3e(V?U;e->Pyz=@}R2p-Dd~*U|Z02#E_v@!#gJln%ge z$#)PV*AFr#(ZgSZjvjjaD75c`hoR2@{cqfUD9i+&FS}{hEA??*gXcm0?!IygXrM*Q2ra$P%Bg3ub7}x zD@3iUsw<+!Za%DhZ1<2!2h!D$4bF%qN0cJFcni9407zJMMA;C@qwT*dH$>YSd{k*= z_x8dinxXT@WHq_*59JHYuja?GGzBU51WmSCTGB_GW#u0=)m*y|llI%`A`h!&NV5y1#bN@Km%&>abR?`zq+v5|w*rl_0ota7No$8O#alD!( z&56o%I16KnjIVCC%KKkgo(E@3nWgnrgC5G3aj(l(*-s6KbUK%}N6Vw4kI%U_F@&d|r^;Pz~p*&lp zq|4vyOHo+?vKy2&eO&`}JUas2`9W9=ZRb{b&sFGmIMTG))8m(-oir&927vuc4 zp#Yrqx~`L+t7fA&-e6JRT(to!i6~^!L%HZWlCeEkh$q_IxpL{AMrG+E8qS|KX9vtg|Us=R@qS3HL9d^V+ubG2n;v7+yq zs`e)Tf~B)g(=1QrjbyJpmEVNr@6Ur^i!AkD<(09GnlD%omhYUe@@7SdcUyk6Oa^Vr zS9$j%>3`%4c7&)6nnn4`A7!C?n+YP@Rx+_s;^zo!owU{f4#k8{zVUbR$!4)qD!sB|Q# zZbglCA$2&Us2WzUfwpH2Y_7Iv5%A4JnD%Rj=&MmAtGjxXdJNSYaHxa0u^(tDFo`_; ztmXel9-co3*dJ@HvSa!8)+%ocO2y&>ZPd9)22FTD0GY6PZL8joq~F@Atkfx2tAp`2 z`D)>ZQit@LSHpLX=B`%%z(@|YQ^kf79Z4m+zrD<95kbe>t5>6}@JY80>RPmlxo(oy zQPKs0#U0gFcDh0DbyVA-yv#ahCrKB%a#JU@Ez)In?dqhm_YV88dc2@D>#D9t^&h&b zlks+aH;_Sac^q#7RGaa7Dg}C|hmpRppIXoA*i%jAn&?HRQN4u=q?adpV=NJ}w(29C zyxD_Y$MimGrSjBDqvd_0%{>^c(EM6yhPAeN&lS^j}oev$q3 z4eFt2504B|^KD>E`eu;&2-1Z%iw3LBIDN37S;%4z5x8a7-gAgLfDs^NH{K{v%Dg^x zBe*hx$w5P9W=1iYLJtoGvzPIB+L8kG7jyy|WYJSjql#q=Q(GrcZ&h{Bm_k_rWOwsV z6VrNdq}mob33Z&UHm&5zkIFO5N|+JGs9z!r8ySt%v1+N+s&K5zQ2;W6qhlrdgGXSs z9H+KSiuYoM=4uKpoFqg{!jb}?uN#3lUU*df><#rI)$enK@ep+S{Zb|b2eHeW z=7l5GAA;xB3m>UJ41b~zZebT%_rjkVfE(25h3lpSJ0vt1^uT2d=P$cy;X6j}aPtIw z*gbjS$b=J_OT%Rx@P*R6aE=CoVTKtkhJ2_FKV=~7LUnjc0|F|1!$B7h2ad}iJgs+UidG9UN|q)i(`go6OZ3;#hlghBY=st$*Jfi#~R4p=yz zxqEnfUF;F|u`5;_&OR4hws12C>At(w+Vw)H$8KT|I`F}}?shXJeQ=?|vFr-Na|jng z+ZC$TEXJ94nSKXqevi8O|5elKd9OM$?*CUc?SA#|xLW@MUcZHKyKTw&F-16X>AyIY z%Q-8p(8Fro#Q)hi$MQ8{tqU$(r^-&z2sm!z8PVT+n~;CV$G?j>qHs=NZ)hKFjez}n!x5=T`6rkX&gF{51s zA!06{SM%%I0E(lECuA%LXaIi690%s+MHvTw(6eapbE@sZ%8tQwEc0+Inm6dRUBQ^z zQJ^mJ1$%>#sQ}7(5!N6E#O-Liy1lgS078l8)qh5+Duvo=`2~+`6@oQ&O`)5=K z1m;!G0i}(e14^-<#B+KD-yDPY9MU1C*(Z4U!wT8lpm=SMX$&{eynHi1=Mu~S@l<|T zAzEa?jeX{MwMTkIZb19uBA)$%nhth=i#R(0GEAWC9E1EAHjkx5tY?t}S4tx(%J~xM z^eRww|1pQEd2K&%%xFR(ArfLzgr`d56Ig!oXjpvOzjl;H#7U2A*c#PE)aeDa3hmUD zsuGN_dZpTfhONY~o76HZQIAz>n{?*Z@-rb6rl(h_-gx|Sa012+4>zcDc@FW0wC`o~ zxc^ICQ{gZbpvzq1kghTu{i5MOprb5(v|4qiM#n(&4S3U>PpTdoum*rj#LLk&YA!X}Udbw@ zD6ca};Z=s-d`0!AMbLnBCguISAwiHu7dr4N#{J-{7}WIF@YLir47A#M41U{dNPA&D zhJ5HRxcb|yQ>#-uOYKgl*8?m2Eo2DGPul=oFa^qyok2!ON;YlXfbj$TKXoTnYHOw^ z_z=xg`E^mEum^I|(AObQuf!8;hw@s8dYr?`SKCcc5Fg&CJ`W`g&(&E;>%CcwEfN^{ z^k&tCBTDy(4;KyR9mFMn%P6vQ_PcbTKNO-O8G;WxRupu&vJa*d|b4 zmO4u_-c`@hLLHIOcfF?;po7EjsgI-WJKtB?@p0jO^&zzW&Zu*-labOdeu76op|nOf?o!91$Va=>>qOVAw_A21H4ee2 zwc{t~;hWx9Q>kRP=*{bQs~jlP_*3;~^soFI8x=c7v&U!AeJLAzuE;UIgzouVSUME=$S9n)p+jvrTQu? zRQE>Vx<7Mg*5aSl)7%eGqSCU%>SK6Dn~~x6M@!}r(fp%zGcg-g4(EO0h(Noj2ZkH^ zUCoH6;#)MGijFZ{R_Y%rEaLEw90#9(`;SMhC@S4^Tx>SSmcazJ{W$g?5l%*WB}zP@ zjzYq?6Y5Q<_WcQUPBi|$2DcC@~wCI%Z#jB@OjxzY_6!&4p zpGJ_aJu9?7uV7ZR{!6`JvwOcY>M*otosn6w@B*+@^tViukNy^ZDLAWki!l2;=a`?Y zg7ett0%{cI00J53j~7(-X7Y?(+*0Gy7o5EKcC9q^fQF!US`er4H2SK8X*9EvQeq%reGT1=&GY1%Nnzm%pmk=b=1O=F{Ld}VDaerDJ|Y^k%7 zs%UdcS?l3yS{Cx(sHWwi_MFjLrj<}#OO1>utA>WjF8x}&YiL?zSSp>XsY$>J)9~u_ zvQf0uD$&w(sno)u-HDcko4Bza$jn48kZ8$cW)*@ZIiZ`41 z)vRv~Z79E7lc625tx@4jEgK0UiDzeOS0sroxR)A6=8Z;m>!59fzts_p)~>6un0v6U z_8@?0=+v;|_0z;G4NiB?MB%T2p6DX~jHalAS>1Ns+ag6J%z3@LxbZZ7i23+rC zjLI}0??sxQZu1IZ-A?MV8l>x@r-hu}a^SOV8}4vC&G(f7ngt&EalZ#5$}}u)D@4 zY-wU*cdb;eE#qgKWoTb_kTudor5@5Hvl6xKQC5CR4^1rWJ-{K6qK=+`2y1gUjHz2s z?UVROKbEf#Figir;ONbZeFY+!B8U54;S}k8Eh?Zl;g46Z)0P9P1Nv*t;^?Jan2=8l z(Drek6Ze2M@4i9f)k@@Ajd@y%We(EVuuL_#0sT`43*)k-m!2OCsS-&)TrS-?L@*-d z`wl59fBO(kEQBo9cMQ?k6U6PTzfr3iY2T!VLz$r^odyh*cCZYXbYEHek{cm~J{St1 zfOU3YWEV&utqO$Uof{EcbaR1C6wY34KTG=%{m!3J@nloG*T1vQ6h1y`5rR$oa^)aKO60sIN$pOI2LmW(|w%A(NAN>$>fJT;JTlT(_l}eQ>Aa22u*`Lgbj6^_FtQ;MEk~TYy%ab zKAfNxphDAP?Fr^1oema@@NGL$V^wSKL`_sJDI1jznQDS zAvIM~kO4KM8M$_ADb#PO#%f6MZZO@lsT#XRB%U*KTIq5`lcvd>kn~m4K-tKA`kJ33 z<+bUUhLQ9x(`BA$jq{)+^pd!O=KE2pQA0s^Zq%Io&lOQH?o|d zJC4OE>#0jgSx*m_NKetZ$<7t&r2jnWMAn&m=Sc&?pP$bwn|*2X?J_)zTh1>{wUncF%S*A?^ zj6m0Ok*3zHh&H8K!=AAh*xAo&J6L7x@zal`9#W(en}S8+h5Y=N0aKTwI?(jC)9r}xG7Tf+qI%k%357#o%Uul{r7b&Ff0tD zm2iMgBVPqdZGD5Z*R&HDX65zT2T1yCy&!|zu%=oXB2#d};&Ipvi(W5ViC4aUWh*g3 zSzSWUzNuO0L001_Z!ynU%G<1r2B^+P?R}bGf;sy4MhGZd->`1or1fLLA$a?Jvpx5C zS!}sQ%S9oX?6bEBPu1M2Wzfr8H1<48`pMFCe>7?E)@ad8dT6T@#VX6<1hq}8$~#&j z1B2?ECTP52n}`otj2CSaA%S$0wrWy(??Jq<{Oa zG$-lmd-7~A#P4Y}xMyayN$*K>Qf66c8D5Ab`}})Q&ICw}y1Xw%nG>zK??b%>vY_Vc z)N4D_*E+l%qD+(>a(yHy!*joSoP-oIPx1Kw-)sdhC(CvDyFZ_)2_ zK9h9^ZE5t@XPPN>_kAWC3W%Lds=bHnvVO+f84>>%_GoWMIpWjL1>v#))!19M-d(d- zIF-|_lD%3{X}=ftiKKk|KV|FP#<`Fht-pZIEd6No?H97vtojn{H0VoA$q4)1|D{k1 z>EA|^p4l%+!Y5zs*ItaKKYBpYg({yM(E2bAh3SI_rT@7)eCN!3S_23aLA+ij=@cZR2!`7!q zHSsLBIf>Qo$T88~di@~)|MrLM-G&{PmH6~=d!LMgh@iGko`itFZ}w?zCsXj)Ur-p} zSxSM@yYLLdgu}t-fE44bAaLzD0ewkF6aJKeGjKBtcu#R(sbUQ_x2!nO&YolP@BrSM#s{0 z-nC$82Gy%9WsuJH9wfE5OR4m+ox`QpSJ9i4w%WF;)ZSbbh?!hzkyKhcvzn9& zRFlA|&DFTDowTr;UAUU=i*}V(T?)Tc9Y8m)uCwTr8YAp<0H@MJrDa%jO7@ZJdS5)t zSo_x~9jkSB4c*PC6|C=e=&Te^R`j_jdrZ;$$^0w|>1=trFQn(wy?;SyEK_yf5dBBh zv0hnSHGLOjT&UnS^o7XUYUnvg`oYj2L5X>$?k*+mdl^Xc)6h)4#O_3)6PbG3OZW6Z zE$L}{EqyWy3+;wf(o?J(YU^1%Gv?IM8^kTDsnUkJI`7pby6Mll`jtg{Vu^l;{>ai< zFF4jlS7=$bJ`AlT<>+jZTb`q{Ff!}ui_zsv_4Lj>7%5n_fzEckML}J$Ha5`NctQIb z>VML@?x4f>xi;9X^h}!4NM|z#kfcz<#yao*J2uu|M$(zax*u<@CctK-!1^X!!1}z2 z{%2`d-{uK?($$0cc2}#L>8I_kUUx}XP2KvzXd_u3VIHvb?r2ib8)aRC=6Q9@bsM10 zzGzW{7Wwo~?DTdvR5{iMeqAqx<3u1j=W3HgO*e+tn)6(-3l(4d&9y* z!hi3F%lPl_uwGo+bjekMZwyf-PYXRFb9CC(LLVsnk=IgM>C;j#?c~#z(M~#}FSM`G zqE<3RWG-)O1=f?ftWxFH(yz?r*7mc^@kyjue;7WW+1yRweO+x zSuo)>XV231sDDrW2-vDaFTDke@CCi~4ybZDM!?#%sSjk0#4kR8pW%J=;rMyKuRanD z=J(UZk_=y$MmJn5Se6rni>}o-p;+(hM6%7`A3r^Doe;4!1n~RobPtlF0gja^)L-uh zxJpKg3|ZHo1%-usKpL=Im59Gd*GnG~HTLu!h{#)Wy*?FfNPt^-AWB9;PG=6(+eFiM z4b&SU9lD80HSU5C$+!Wt47p{|hJyy_7K$LgGMnbk(yLOt!Id_X&RJ0S|5aJ5$YfgIfLFFtrsFGdR0p`deUiBrQSvQF{BE? z291#^CInkJ1_O!E3gMTj)Of6jL&OMY(1@{7g6Z_u*iwR77sl#h@{a~#ZbHi-lY^dE z2WanqSWly76Uu0H|AZ*5GU(k2I_u3*Dn|$wiRjFxp_BCM(by+7jJXt=thYnaMKuk@ zS~yuB&D`$}c7gIrdyDgsnQfJqUvO2jp0TIZ*Z>GKjJUeKXo*F4Gfw^h) z$Rqj%RD9%7y_sdr)^T|n0v1*Jd=Bt?c{7o{I=eWC*jJ)oi|4yaAV4GL(@+3AhrD@u zOQg$OoIg*{fPnlAvgYY;*y$$SJzvNnQ(@D5VF@XJVm|9o#O1A~|FRb!3A1i-i_W`F z3CEm!i&Q{RWF~F6MHpRp?)WYGVRUe*pyf-?X=WJguy5CoqG@51v3Cf((Rs~=0AW?{ zouGbXN>9C0ZyQa=lun_4-w8Qk&ug5HEXO7Yg|0*wP3gAxl(EUud!lTTO<&(55S;-ITUqt90VUwF^ z&tfTFcZoimvmPhmkTDPIl_Mo%IK%>nyoc-d5N7hY=zgNuy!QD2Ta?UxQn=;QCrh~{ zDnwYblnwXuPl5PedhaPA=}%8#^1%zcQABs>Y2CgGC=%U|{Vi+xvo{M}K1MED0Xt<- z>Qb4s(qhM@B4LD_bCzQ5i;%PNGC{i>3b=8ZtOh8r(WA?x9ZBD_On)a@{-x!zhV5Lg z|0kNXaYeLfZ92C??}Ky^(j%Xd=D?^K^vp9**e+(s^guo$?Bw*qO;KCg>XleC{8Vd; z&L-$8tMv91dQR3@8OVm`WWLDdSie4}=X0>E`*B?N<#}EpLx!(3?aAl$(WNhSUl8V$ znm4?lvrSKCT8$S4a|jE`pt&#U$u!_ay?HeAg%<^fvb+BEMg3uN4W%TY>x zwo330dm8IR&DLN;(QmcLSTV8PyIO#j^mkY5MRu8%_>t_})`+GW1v7=(y(GGI6jokP zC3DY9Wnk)S%fPHK??gs_9vuTRV8$=Vqc^_8P8i9TcUKy`MCTw`BlGXYQA#$8Qt_{^Rt|t^j(UO?o2%Y3?RL{fbQj`n#L-PH4K?W<95T zZmbwtu^IS+Qn^{rL)nX_M&+~b>WxuXsNCi~eH-sO z&G#>R-L75J&l5Mz!*+T2kgIHzXxw?wgVN|DQt(7^V9L| zx)(oX8uFZg5m}m|hkQIVe^#c0Hs6_9iJTwnRjd0;Zf?SfRP`ZD+Jh*2AL96N%@qEBNhah&JzXTEJ0bI7`Lu{`*gdljnqs$!+ zc+-3yzLE=JhCYOuBiJ3C;)nq5*+Kw2hgox!u@8Z$xblr_;f^!Dn9PTGM%+S%Uil8W z5N_r2A&%7(LfpO&uy|b_R~k+z;NCLsG!QOvdcE8$P7`>&l7!;}J{RiaV4K&^vF^CJ z4#yBsS|a&ffEwom5Q5LWqInnh%CNWs!898du7v<%pO?#c@#p7S3`;;#kR3t{K3|Sk z0yH2G!M^B=;lSAd7rOQ#_|@;m(F7k~n&)+g()bQIzjTC4^KhRY*J9%E=rLY@2>Ct? z(;q^z5An7E7ZVT%3BbO=Gc zxRj0W+T$!dgwZ171ZOmG1Oj*qx>41KLkK}&4-X-ng}`A4TzJQ4A;M{XoGZXt2=3Y$ z3^7w7ayA%3TYemI0KNIPKp+QQ;V=l$4vJwc;K&e&g9lu(7vN5D^Z9V z!q5{s(Cq=h~NcsIf6GDxQih5LprXq z+pTv@=h*Y|;kMooWqrz^Kdx$*7g>!HiFQ=6!@ioXe3&?HqpNM^*SiErkvoy2AR+vi zV~G_OO|bx>af$!^{ogvr|GEz7*_8WlY~{PJP}5=|j16H9#xMa3L89L?vCeJApQqY!7yw0 z=uN59e{k&q$E7QfU=^Xm8iuIs7E$2Jt}MifEiMc>U>}NL$!ovI#M`47BX$J28k$Yw zeYg~%^g6u$d-VZSWiJ@v%wD}4O>&uCXyHD+`$ZAhewzXcOYm5vAV=si^YaKj8vhSe zM3`8hL2`h_x?ml!;zCl7Wowc4lmrCYzy2V4|G4~?D) z=8$ta~PsYSG;x-LK6atA&CwMoOTqq?rAj zoU#ymh!#+(D10ii`Z06U#1bmR13?CLzY6@i2U0><_asCAN`gNhEU+cYUR-Cm#T3Xl4 zQFx7wg&(~$_5nK!$JjF~u~R2T0>&O^!8+j)3CxHuH_zikIO~M5sgU#)u^+U#>8eYN zPL2y(_~K3!LRgIe7|Hh`so|JSDc$_ z;u=s|a7gb#p+kBf%J~*jw&DQ~z{x^QVbviPKgi)J6%TN)gsQYfhnaHTLA|CT^FM~H zA)id7CYKmG^b>o?5h(&afZqqx_CuIh>i2q2`)tRW@AY0Z;(H8VhT7=|y;r&{f#p`f z5au+C$ds05jRdGbOz0eX`df%MzWVfkO|uwU$I8rDv0)3%CS?5#i6e)3?7Jvq$7_>1 z=Mv+!Z^IOQ${y#!AK=)y_o(iwKv!PWL?oX4=@P;PH!j)qgVqsCKjbj|$oL5W@~~rX zb&O^4*pbE{p&VD^^8>x_Rk3>E1Sx=y8EP1(;AHiR$P|0^g8o+lDxVzTqyOMk5=4}& zUZ~0(cKIS32H|>U6WVtKBOCV@)+?M%tpJbT#YZ0Vn`2KQIi(Vg)lEh?Yn%3OM54&G zn5C)->hI1sZ{X=wndUXYMC;Yitek*a_VuDC59{4&u?u4C zs%IZhmQE^scqCRYDH9zH;-R65?C{%yJ%*TGY#17ud5td~N@U@~&NXI8UcQ^Rke9ti zbo_5!0h&|KmRYk0o&A4WvuD8;GV{DXlMN)35YtuVf_@W{#FX{e1u-p4`mPK5dZfcp zs4srfUqr}$pQJlek7PvLs_z@e- zOVy04Xh@ODX7RB_oA8Cm9!z+d0`tMy`ci zg>C+YsYVkNUX;rHTCb%VRbuK|s9TMrZ!T0eI-(q$tR@YuV(dUtepO={epXa9IL5Up zz`!pKA-cgNsZ25Y-$8yjvFB7QT4eTuV`@fmU`k;L!hZtBqSX*cWx9 zZp^{Y0o@pY4g-e4=Bo-mASbD&(I43nr{N;gfJ>KZW*BU;7PH;{41?or1miU_jYrXl z7{$9sGAiUMNuHj|e&T$$X z8ayLQ>OP%iaKJ@+ws9|hp3XK3@Drb7j7CW|ky;CKj4nw?6F|Pp6_${UT8#|3{!HAf zp(X}L4)tpSD#5SQ#9-(1J5A7qpAI)c$HFw*kXS~IQm@dCe1n}xdNZ3E54k{Id}ZQc z_{AP}8)xt=0jSS+S1~UX%=f@z$(Lxkp<|Rn5@WNqerRtz&5VRgXia*$BLoR7(EJUUeI1Rp zJf}qlJ=Iw<#O<}WGx#AQRg^9UNA=;hsW^)nXPZ{6s#Ycbh^)aN>by>{}2oae4Hy5srs&&@`@NF+07=m6ui4GAsCT`5aSf% z0XbfpIKoJ>tf5A8{tSumaZ(}XL&VQLu#mAqGYX9n_}O15(nNS9Z=`TLEc5vA%1GcR z3d)L6g1{~KNdg+a8drt}@AxZ3L)i^~rzaRHAgEewtin`$quBVcDu#3G9HT=N)ZgX^ zsA+SJ)}UXPx%k>vEihgvdo{c4;_k8|hmlc|9G>xY<3xG`ofGse>R_-+8LJCd1#~3W9qZ9F+6d$?Y zPiIaOdgt8x{~qWM%P=JQa2$t3@ddMWVY|nrakv~O7|Mr%S}q{%-zeLMGurqus3~#MQC^xyNaKdoAbneJv$;CCN(+lag6-F1Tu?|;q?pa|> zNDSo;A5C4JF|JMw1@e8g@EK!7CDb2|=Ad+(dB$jEXS8_Mn2?H$5rq?`7SYSk8a?Pc zTw6%#&lz*M0^g_#Bh`}UjQVzkP0txUxI)4BiQ@`Mecl*E)n7)hH`Gkb% zayqaR^slkX=md6=50TlI&HZ<&|ET z_u4H_S#3;*&6>Z1c8L+k0OfS&yX3NlvWDBNF{UR5a|@=@+iMK3-QwvrM#I>P@h*X- zDK8lh{tqnOu+|XM1>dyz4MIVUGanw(UroW{Gr(iW#|FuEoOLAen{^!^58q%A21zot~7R<9cq7)c{|Fo7_=@;W#%wJyGh zbNqFqJLd@bAe}nCVa$<3==gqGV!(}~*1b!=gqTHVpBAZYE)~^t(o*?W-@?yu7v|cf zqEy!WESgk@zp$4|13xp;AsNS)rgKch&d-e6bz^^ps~e0(a3W^R_%n6H6Lf}b>>-Q`B@If>H7|p#_~l!eMb<-sseLGkkYpq{z}YWjq<#3&Gg-7bmc}vv}~I}4Fi!& zs{Q`lVTGd$rWaw_!4(eXi_8ra#U*1j^j%|v!d9)aK||Vkg4p4_XEat~HMX!PAKwR~ zG4C0(02>stT9y6mW`*SQ20XO?9YanPLpe(f;md<`_4~&C9qo?TjhoLtSy}F86isDO z;S1-oM6qwv4(CoREXHzTrx#6_j-29g(+fwiNC4xde*nV1^gOg+JaQ_ry=-~&4hoY#FG93I?h zJWCUo1Mu&53Q;?JVzl63rJ=7FMiQ=j10yW`L}1}_VM*}GqmRR%7`NENov{nO2~#M$ z4c^6+@z3hrqP0bt!bgX98;k6|{=5r3zvxq=dAtiBvB8PDgpfa0tEu(o|3|CArY48# z?lEct5LUwz{XQ^mk3AS|?tKtZ=k^#=6L` zueS8Vgz)Be9zU^QIF@RD?l=w7e_YXoLgo^@&yb~n6)t`&nlNQzk-Y$ouv3OXIB-t) z;#o!G#uYS-R2yE*@{u$6ws-y=4)II=eTHI7>hAlD^>kBbM@>@xW3*3n=jIQmq5m-! z(uPfHO^W-%n8~3+60Y2Ik)swJt)(O}F7OeR)IK~v`CGvFm}&bec>#BB-)PF*zl_>7 zgE0#oJF`S_pR*sjF7(v?I5YX;exnJ^OEQz`%l*bJGFgNJ4SEN!=;SNBmZ2bz;$43cY8%?R#S*TNi zuZ`@q@r6^S7SC)1-#Zn4EgChLGebJ6de9(r#Cw?JKp4ae)3$>~<79U*--X@miGv28 z^Wad^L?n4=)i?5e*Dt?;DI`eM4%z)AQ=3DwDPW65k|&63kZHvsV>0bb$1rPsYw)3% zzTX-TVG95BZM06tcSh%Ah_nEtchPr7y##DgY2kMwp2YOAYnz^kE4sY&!FPr`$)DS| zcpSxjZ#2-|xigCMy4e@^wJ|*ke2Dul{?+Ivl{Wrr%tcF}L$Gy^-gK)##f zg}lLhKLRBLr)_N%;Lf+HlZ%E=EyRSju|lVQGg`C0HKA~FR1s-?#8A1nu*XLOj~ERq ztW^QD8wTGWF&?0XzZ-c1O#k1FG0q}USh4nW&qseCNvDEw(5MO~6ihFe+$iX$AAcA7 z0CRGZJ(|3uMouq$nR;RYx*x|Mb-Du?ic?3AXYt_m+p7R)KrJ3V+FqHt7?YNh zhZm1Sc`VqGiH@m}(Ged_M#K$1=7@nrHiO^_+|LTJWLN9eu4hBH+wP)A;S8=V$`E^J zShsTvrQ?qok1{z^X!$W?BTvy}8uf?Kp;jPwL=iU#CI|AMCwV3mM~PwcCsZ0Y{qTp; z-{zUN$3=N#V?`3aC5gQC#|?LyJGXlQfA|8T{m5~np52#u!njW``{D^PDO5jcWF$fz z2vOciBUss=+eWxSK|3W;#_rE#|l(r;Uu{pg$kcXf*eD{)%^fwlU}9veG^4O+)aa>&%;wk=l`>9*L)!jrWF|oAq8tA< z`ctp((aBqX8xL`JDb)Y0&`CrLbT%)2eAWmev-L=R`&poikP?xPV*Z zynMKv&1uP)B#3CE(dUhYlK1y{qj4%`MlW6sDer=qUvZCdMq-dx`LP#_vD|119k^h0 zR%7je_~d9lV$&91h3iyf)kb#^bJ6EpJjd+Gy)6F3%uWsDUQ;-JeBrpoXU&OfAh#2y zqC3p6Pb=k3EM6HXAEGDY%nkzHk8x(}y0L9TZ7toW<8!hYU;B9To@8(l{Pwgr-V8zY ztC3*l*(7S0VBTs|CnE{Ep%;rrf_XjNe-dNrlxVWije}E@T`)<)-9w4y-O;vklg!3w zt8bE-S0AH*+sOx{@a@AQySm5-Lb=i3Yl`XlB$H1x0@FqcEC74)>IY&K8v*|n|$<>Bej#4qh&(yH0*%o_TyUWQ{ z%`npf*F@90s%HIG7c)Y1dx(Vv!XM$KkVHYY7Vo>(`xKJo zki)!HYJZ1x-ZeM_s*wUsLX?}PiaE2!gej~rxN}QaWxhu}$p_`mPybfTP?Upfs%ArQ za9E9uv`97Yh>SGF>jO^)g19IyI*c)z$tFvCIzW(Nv-qZF-fe?>vb~-Rc(=O z=9YNMLZ5N5ci74Q_zqyKp`%AACWB}34(5M<2It2{fLp~ z-~-kNI35^xmvbm9e(@b=gvr91g`3LL5PggAP<;NGmp;Td_z|aAf{18DpV|@8oWvh^ z!fw-#Err{UO}(E(qk{;9^&=?H9b!u|he0C&o(Ff>A5P<@;Fd*TDIyR(E`)pG%5;ul zLi8zs#D|)>GNPa*+!}^Hs1AS;0f8_EmLOOa{D>fGl*V=%ABN^U{y?)2;jV~41MhQe zsvArRQ2e-M-77fY+tjg0pfK(q=jd-g!qTw(b32HF4sca{rABdnd zKL>l`d)Ost8j)`Nm2W>sk@E+q{qXJ}>>O}#s5FNT;}g^fm1YnTMT;F33PX4zG@A<} zizA#7=FDNn?lcZp_PgMd#s%ew8sOkwrUien+RXvO{QYV_cjE=wum=Npe6_kCvB)48 z{$omV1g{^M_VcH#ap64v@D*@eIFD4+51{7&zQT?FaO=G66cPN4FmuE+gB$_IPykpC z@aMw)95U@i6C<;#=oITc9(@-`)_*?4m zJm4GX_>aF#7Q)bw0=^G{uRZ866lNZUnivW*BVzRUDmuOl9`@D76UK`D5vB#|;)~&U z2zn6*jj3nHbTqAHc1*7jb%fAqJ0#<|TF|R@{i);fBs=CPHf)#8VjvR-Pw)pvF$h>> zwuYFW{!X?B^;@(}#^>Tc;VlqWub^PU11_ z-A*%G5rAVtHGCls)yM~R1Px_jRggvYASEP6BvJXn`hw-+Z+wyX8_+71x@Mbg=+7)H z3VY!clv`NHh9)D5XB&X(Z({l~Y9v20yAHzd}!uucCkHG1KGmu>eL5CAm$qRLJxrXUR%4~VbXW+Z!2t#KM%e?xDqC?tVd4Qbx){B7pswg7 zjH4)YqP%h3p!eU2-wgXNt%lXl#sJXn>ULF&om_>Pk-S0JhewDZQ8R4Lg8g=WnsOEGxL-}F9;Gt-{-KsLmFF>|VHLySX*8(#umj`Md_Gva z*pLaP4b%RxS;)n3ghz^HOKVyHdtE*-2S*(^8@eDWLC-o`UGdV+=BC#H%E#c9O$8!- z4*5+-13PN9Y+40jFvmb*DPv2fOHGgj=(+Y6aNw`K2(Jr+e`Ln9HXI9$+ZM

f3t<33+R*D#7-4e-+mp%x$(x3M01}Zo`9aLAa#D$rmyu^)}wAcwoH2ByhCIS1H2*X9y;j-_z zKuh~COCE1}7+(=t42{ZNS-Gl?2a_gIS#`xjPq#4x zj*IvJP{<@Y+zJa7Ua(O4YDD7TOJ~!Po|zgBX~*KLVj*;n2rBGE%VQa{{~v0B`|+{q z7^%)%w2NwWEoBo94dIP649Bq~#fI*pYO%F&?ilz%>~b5kHnh^-2++U>SVGkMGx@mO zWjGnTQf@mFW@Gjp{Pq`Hc-r9tHW!=DydGb~Vq0pTwLNlPNHSX2&TIlVfRDaz2ZO5} zUYz8?;uIwRHRgEw@{Hl2*RC-+YLY`V+35{$y?A@sydVZTc6)eTwt)^t5_rl&;as>0 zrofF`M7`RZO>F}|EZ|k~jY{(taXe@pp!ecS+f&AJ_(v2t7k%Bqgc*@phZdm-I>z@P z;G1BB-q{Xj^Qfb$MMp?}A6Xs6_;{+L$==aHolM)U@mnWz5F6dLcpOFwdmmv=q%ob% z+8h>FJbq&Flp7n4KB1#kGQ8vvQw z)ePG{k#$|gR;+Y0pR@~a=w{YWgbB|}-*hwUC1bV0p>C?&-DGdCL;wJq5MABfLVBcN^C6JjQ53bFd-BQ5hg*8#0o-7p7b*) z{!TAb{6yfUUgpjAxF+;AT`-IKXlZY=0h$fahrP|#X%h;fq!auA*C9j<1jygV%&vmg zM@_aZ+F=^n$7~t(`z`Nd4#eos_c8B|$0D6|KEq)>+1D&=#^-+VrdZ|z^V2%<*qh5+ z+%gk4Rp8VqvT6bYQKKcaIvhl!wS7$`DHw*#rMPd*2G*P{=AQWEYdg2^-?pPQV4K-J z-rDeCZ+We8@~k`dPc7=OF`-Jz zo;x0UqruA0&#%1a=70Mq_q$umB9n`+UG;9*=m1d@Y0QDkJ z#=T~1X7`K>eZ7j=|2wXGnXzwAX*-0Co}D{?||5_-1lj*I{GnI z1xn|oN7;X^TSb63*G#C&2TE~T0;H4!*mcFvD7{~X9ehFWO<}q_3?9WJvu0J!+mJ87 z>1X!d%DbI{R*?skni41Qe?(@shnMXI=J{#i012+)k2fe#ps{Imh77@frUqb_kqt`B z2LT|j{Y-rO+p`eZr$Fr9CWOocEubaABHwyPJfU8>PD{5Si<{Idl zO>4`bLf9$7IA#-0`%nK$GnVdB10Epo;uhQ~S*kQIv3s1C@PZi>0Wy~%{u&dv)!-Sn zS^_mRmm&Td6t|%}8XF1%H8z(a{u&h#F*FJxA1b~VM4OlR}%O&4wo$Pok;wcW<& zBn;RFoq##tE*c+v%H3t20yYP3H^pB5qcfKwlhS(f-rcpB7hM_)W^cvzg=!98DLKwl z`nyF=r_A=^?m6EBKaZ&mx{lKw)XRwJD1Vf9H-_!qQRs6k)UouLe{S7{cbw6R$?HSd zrgD=wvDYU!<9oN@Oju9NFa|~p;f&f8WwjfRU*JotoRFfu@R}4h@?~)i^gvx?oU8G- zqUE<0sps^@DWFfLXY&+(H7qE9`p9FY$5G4;fmEC(;8(H|E10c&AIJYX1YRFyA+UXWkjm)o2A$%|}4JF{!bV1I;xQ^!f~ z4d(2Fhm7gNmYM7p2P{|7h%EJi^HQus0iOy?RXlrqkgsUk#kDQ7y_9!}4W0`-by4$Av2wLE#zYY1J00RPD{Koq_z9b3$-;{oo^C3_y5 zq=;1~ndA--EuK;cR`SG8$$u%jtijnQDjhoBB_sbp3j-3zdb}Egk>(Dqlv%o-fJ_Ae zn>vDr>Vooh*|!o)-KX!YSnr$WmW+2e=p^IP-~>P_Gm_ocIZrC|avy^IkJ#ei=-iq9 zj7+YTA7fdVphv2T&8KHEPX5*c@E56tG?KYkxl8jW%DjDdIsTErS7yq4PlMq$Hf898UJBqfsLjn$=zmx(N?=Fatf;FO4@&N zTDxu#mVlnoKz?n|;(sM7>${i!7+yj6#x^CYPW>U1!C%DS%y^gqFHW6mwsW`a^#kfl zE{8U|Y%oncV$#dlHg>epBd-FUGuQj7Vq8W8$~c3?0}eApZ&x-#&c%>M*a z8#t>wblN(m(!VH0EwhM~nCrs#O*m1C8xnmT%lBeRH#!Unb#T3CEK?Y*lR2x27EsTc zc7e(u;fMR~1Hqyb+-D6gv3zG!ItfK`EKi1j7>xNwDGU**aBOaKV zQh%hjX2nk2pns$@wO?#u2SXr4I)&Vuw!%rIIk^05u&PJ@9b}l~gtEztoU!6b5?0&P zmnbK%UrjQqE`&IwER=wgVx9T?;T_@x^Q2Iq7GDXR_RhL9MN0M)>|ux8zkR1P-1JU! zo#?^<@p&9s5MUex4xbygY;cWDAWX*A9@>DmRG}RwVt+RhwkGGueILL$J&Iy1(Td7M zW`JvcQ(D}?Q5IDgjRxwV!8s*4(NC*0)4wgl>d{o=1_{4FZZ`xg2_XhBz3b5}( zflsaG|H&}ZPu`B{Gm+fVC)Dv1~qS2zZtoXJIY zC=QNGvn25sAt6rF9E~v=9Wj~jch9V9Gk>ewl6*Z)iM~T2XK*tKb!%D$xJMVlutT!( zl+QOD8V9LXfu)!uD^C~63m=#D1Tl=3TGH_4ZiS(n7qjnlG#nv`t%=ZI%*A`B+;>I-%DJaW?P5d<7wG zZ8=FC)AjH1Zrw`k-arAvBaYn+y?>{3d$*C%9q?osUCwOFng(s#gCsK2#Bcz60P1bq z9DS!$D;oi&h&h`OuH8k&#Vj{yGt8U^(VMV}R-d@isvXE#Mcdoln zD+PLee~$B2eAq{DN0IB0(9kP-JB}(kMVo~(8~~G|qe+q86|2Bu3HU4GkX%zgJH?p3(>A9+0D!{mxZvp5De@NYfx%WWG4q&}g5%6~feF)l+aT{-X= znU5yxb3E611xNoQ$Y8=u6n~kq%C&hRoDhMuV=|Ap(jAmNGb~-*j+eW%7C%};poW@B z4)(L!B8i*=jPlGku47w=XMrHc`Qm44e)$Bj8Bn_V4-wce0~Qyd$13X=?t{-A!c#Vj z&9DKxR)3qdRS@x!T3+%!>MY;B)VzGlRj5yXw*MMRjP`{7 zYS3X1z6I;zAQRKW<7FfXfg#5_7$NSKZ5zM}9%}|+w=A?oI)C_WzQ!I$64WWE-{WmG zh9Qdte4)7m-!u@iLs>DVk8@Z^{05HtwbYRNve?(7X_<(6)X^>4 zR^&p9q{?TuV1G1IK&JgI<+765kI~=)UwW@0 zB!UGLES0Z`F|FF90f~j12PQaUat5cA9Pmy7IIgn33A2K!Zv^HoA?d7uegomdR%)suLuE5oVoAxiPFD@S`@8EIjLcYt@ z>K}ud_`>|bBaJLhp2{p8@z2t4a_^>r&s8lV9QI*75nhmQbj-?)UD^=wlzCao8Y)u`{Nou+ChevyfbTx`W1TSrG5 z+By#DDDL zY$ZPXcTkf)v(jk`nwyAzE{%9ChQb_35x9GCxHyMGJdVJX@18=Bm19LSPeS^28PfiTTy=he;aUWc5KdxSxiw25Tm^raLdDf3&QiVu`W-mE#4rt7-^U6#AyQ8T_J zjGNz|0Xh3T_^`FSdnsNW6J=%AOMls6QOLXHhEeUt!OlBnLphZXN+&_CHJANcr2e!p zDsB@)WI1t+bOvMJlh3-fz#hzN zm6zxQ>t+3gsBbIIGs1AvT>GyTEHWqgJ)+i8b4OsPk~v(RK1+_rwqC}QPk%auO=jP! z|3_R&3l-(d8`yepOsQ^R?H&@2>rv3apNX^gRghlE&2uiKs?*h}bvyp@zbrwMj86>& zS_g0gManK=6X}xDzC_)d652UW^Iu3MOQGdNYcb9MTA5Zy_fSxa0CwLW5k4#JLC%e( z#SWg|w*W`B($A#q=lM*3yno(C@!96*I~&$wv&ETtD%N3bX#rM5Bk}m7t6J<@RGy`9 zb5r#LhZKMPM8XeG@0)xE2QCAc_dwXY+jqWJ)wso%r{Q(Av?4)AM0cCk+*)O}bMO85 z@PS=;Q^xiZcr+Ri7$|P8nC=j5G|df86}$=ojqQ@mW!eCFH&t@Q6MyJJ^eg+*Q6Ea) zvFVV|eAp#`ugzfcl~MDW{y+NBVm5>*UD|~jvOjK8?JphEidUa;JeQ4Ukx*LOyiOSYWvYI}CC6JMoHFH_^Mzc_E3RFUhtpk&lohEsPr+ zQf_iH={nRjehZlG8usL(Tg>%?Pl3Xp#7mr4j*5~%Q86BCtbaFYw{BAzrvaZy9UP0` zIIS&bQXlLW8qyBs^NH)9Rfp?MJ_X^xVC_7fy9gL2BP=aepwQ35J7W3@gBr;$)?d5D zdy=-0CcCzb{u8iCtjTF%zen#&w2htBXmde_TUMmfxwYi)ON}+ua?8D9M|dIwKC6pm zvfzykO=t_)Y=4T_@lQGg804vIB~Nd%;CUKK+Ypbmc2f)Wjsa2tz?d`&!(NyP3QF$p zBBqhP>c*=IL_mUB4?N9Wts)JF$E)c3d}ke4w#aA|!nSUi{PdUfV&qbgx@qanhzKj6 zX)Ts{M6NcDl&VD-N2qJs1lm3QJn@$k4>rIiYRc*Hoz46&9#k%_ z+E6hTqya#2iQeQs-+3Py4-=QgiG;XYLe@Z>KHgr zbrFf$F&`M!=@YI${ZnZwFki0GH4e)hu`l;}aDS$$aOO@%A*Pc)4k7UGr~q;1s#O9M zd`~g&=_ob+{@xmklK*66=ZI=3^?KlZptFy@^8%Gu9*O(4Sr+|iv3BSCgVhK^#Q~2_ z-s1luQCWPR4}95{=uKV^Vh{!oWI5@~rV`wG&U(==M~@}fmNqGuM?yjMlNa<#VC{3- zw|^=x8o}IyqTD@KPq_8P1I1fho;2gyzMt=%pQO+}By|FGeQ!*mx^NAb%^QiLR}n%X zEdrr`g$DKF5@wG<^LpKBiRfR-A;0{6Yl+H%1NX%^o*^Gu2t7$ki?VLcvKkNv z*6?5sXOX%dzNb*10b1M>P6KmNW6B6(<-n+F zkGZBtq~=+nIfIt`E^BCSy7FduN^9x!PE853=h<;|l3I|C9-cq*`UTcIBPS;%iGRlS z9g(M;Enx$Tr=qlx&|Di4Lp00uCm6rOe?vyIWH`A^0`*~+Sy}N)UWDpP) zcC?)5@`>?zaC&7Pix0K9h7le~6ZTyw(x25dpwB#Ors-}03%wp%V;@Zxp>B{n8R@QSF z>Y4uYqUxlmBUL}`IP*J+$XO-;%(&zi1g=~Y2Fg5{TO(b|grAx|D)%DYeMB32;n%(@ zw+n`h(ru0)IG3mvrgcDG9GW%QwA9V>kpd@vz;DSMMK+UeX{72rYk#uU$tk_^^RnUy z4-|w!z2$=wNo9TFH3Jw*#Y3>*m1{u|i{=a^t}B^zra&pXwnI=oT|J9cf-@@mtvWk- zk`vit6iE2(i(h)9QVkyetT*VGKk`vIScLf-J1-!VrR*#Z3WM=zK$DJUHNMV*YbMc- zr%v?K>c3V*igeFdt$X46I(%$AuMug2lHT>4_$)OZ+}O|OCsiOtiKoZ;h%$Q z4PdJo3%i>X$~Kn$f(GW1{-FyaM3UF^+vCI?x%u3g5o{79?o*>2_PkRF;^1|ptEYNT`f&waLUF^?s zxTH+W2DgnT*0i%@W0>!|#3lc}W(`Yh`L=2Kr*bNbw12~#`+);c7YcHjmR>diPp(Pg zGMQe@$Ub9Q5$wzt1a`4|&7@qEpF#GoIg^FNI+(61Lfy0rd0$qyX^1qE1^D)wJam+N zl^3EqPy3{cxJ0#L$@3xWAx{jm`G4{J(W;Zd^}=94$tt&O8*z;Fs@LKtVSomb_}3dS zrx5+9;eVWFRh4odlC+ykpQoR-rOWQ;vUy7!$AnKH;pZF7VBE1|uczrGGy!=;yVzS*zYOlbUb?sfa@HNlfGw${*D?m4z zoolB^jX8W^eyKgBU@OpP_gnAex^!L<)^s;+N`IQ4ezjUs89wg<3_U3i5T1;K-E{kQ zcfh{pSkHToUGlmYqRKe6;^7LcrkzngL`92hgZ^=vqTPueHG_a-kkWGmhARb6&i zo}vJBfj#=gCdAmyvz#-G?*ewn0%l*u)ji%)+_g=pn8p(5`1P1p^n_5AXbee3m`dvd zhkqKlyKP)_^4mPDU+1c2?r-ui$baH-vIo$J?vCv?$jXE{e+;X^B{dM2{e+j(yN;g( zRQ&xBWbh>5*#Xw{yf^q*`NXlCn$V~vi=N{V`6~>j0SfK-ISe#!ED+bR0w?=91m=x{ z71>-rPJ8&5f@`V+W!f!jAy2mz-Be<_Fn`{E6fO0)uHGEWpN;F%R^#Vf0jP1xmGK71 z@$MezAU4bAg94~Tr4S%7U06o*u2PKPGW5!ZA8%Nu32oVtFEkz_zqOi-T| z7bM+#^^R6toDy;Fr5E9ip5|R;ei>k$9bTOQ)bZlHiPWpW_sG0_u4D%RVL%AP7k~D+ zePGg0LtCMic~TU)!to9&=7jlA2}OpJWY;6eFQrAth%AIK`BMtYJSFn9zOb7>0JGX3 zL2%)}8ofGB?9;ax=^aPZCdL9F&$&JmXHm^um!-_$rR@N~2=X_F>{2x}go}_(P1)5u zlMZ5#ob3)W3v8#U7~b6##m<_Lj6W^xIndp6u0Pe4I(4`u zESs{KU@^XSjA_2cHeH$Z`AHj$m-hcJ~Fr~#R zo%%sWN7a<3_7SH|+^M>rig~Ja5rK~GU*#XMKKGGL>?8z8-B_?Aq_rFk@+7RU;1&|jo=vL*9(&jK7v&7P%>*UgzxRXp0zU$^0S zs~(!Fh!G;1Q@xqxt==6cf`0+z6}v7&9dJ9DUszvgig`jL0HI1CS0h~S3z`uiT$K0L zbzP5tT5lSdgKw;g6@X^xh8m*jZ+@Z||A;lDSdjGu1?m{|cmPjV5x07~3?M0t>q=~j zlE+zC$&gIZ!nfivH9uS|B6Y;m9d#-Z{iMhku%m%1aZQjVfkSEjaeu>;@Cy)8oZDUT z!-O`2iH+a~9q-|1g+%nDbxMhQoQPmC{;U74H0i_-v~VP^6Qol(loAJ6a_IJ#uyheg zr+X^0Wsclq0M@wu<7R?zEB!@{<^C27iPX%!X(`YtVzZ(Qi9Tk zfTWpz?MevMRVPMrCGjkAOoTophd&SsbSyNPn=RRZDgD=wPqUDT!2riNg%DaS zq#j|yw7RSY08d?bTI*k0-6Fs-q8Aib*awbRj6?WKC#LcT>VL(Jf|?-9UW8z@%uYF9 zsuaJQ4=dpyu)uD(C)J3RYbO;J0bF)5e)U}+u@q6JB(T+nzP@oZQ(NGevrAgd-KYk#l|4G zc0?DW?|%g_jDNlMrjQcPo87d{;Hy;H8gDZzyV4d0GS{pdz$AoXwX59Rif3W#ni`nA zKxj&-{jal!r}<}*0Y?(sPnGOPN~O$>OFy!oEmW7?XpImL-E?OhG3;Sc^W!%_DPxhM zBM~8_A&ds-;nHVT`{Q+G8~-$b7T8h?~*BK+N+5YUb-aJszJGipY=7!%)`~ zbQ)eqGz>R^Phko<&9mDFiOOTtW(3_SFM#QD;&YbnK7nJ_2^2%hs7ACqq$PTsi6>b* z{@`-MU4MxXL+0_=it-fo`v6X@YLDyM*mg!?Vl`1p<_~IwoY#^{d$>9*`I|LI-h}(}2Qx$W(;z+k)Pzl2}2kxXT1+(syb1 z5;BwA2T;-s=4FiUW-F+9f z+kau54fuXiYRe8^Axe00FGdDn8h5AhWg*M@ar$8*%1>I`MS#A{E|t<+5Rj`{a7YVu zT{aC_84W1*NNGMfJozvO@r3lPzo&dkP6h2gZ9m&B?bOV*dmMafg=L@Ty__>*&Q%}* zR0ssfU{@kgERu;uNjLpG<+sAo&WcXPqkqa>51PNMvf`Uae+8Qee#jd}#jSIapdB zJ{g822Cv+<;-*xBOTH$8Q1numIO@EVn9||QY>7jNWGe@E&&zRs8Tt&gr2I3`<<~Vo z(lYC}qJh-o3k`zu!=IbO&1`xK-hZ3;_^ecl{r?h|9Ck7j&3GD+9pm*MUiSl?(S!jT zdw*pGp&mv__q=!JSe>|S1WsCe2LH}>GW>@a8&DW!4`FKt5IW%;6Vs0S8*}3bfMKE- zW$P7#>%tWvvg^+rACU3(cWZ;(4Q?q>{kaDn>YYvx#sV(Qcwg-6R^*Zs1z#c+)8 zH9IH&EoKTMhp%vK+HEeV|FtHGiK5cp(5|wG7p}urcUp~Jihu+s=p(!qf>QN;#|IO$ zq5MXFn5W|OQ61}_y0ZS zpU;z9LbE6&-sJ6&ua_VS5VM&f5@mg|9ki#o=agd&XG+CU4jLmp0)L=oRqQ&%3L*bGM3_Thw@EiSpV}2KyMzu!3xsm|yf~$ZrThfVw z{_V~xAKXVezK;}B5fFv_Uy|4g>cY=h?1G-4MX*=UUqc%4f7;rD@fYWF*;^ikL1W^E zvMM3hDRyUNoQ5PH;fSI#M3YfAr5v1Gd0mnj(Ky00{?yPE3xBEK#{@@gyVwPKACWMqL^r{(w6BA#r^;C56dWmQbjp%Ens1@Ma!@RlV2(a#=1F zfoI0LP@Cmt`|LLvB(Oirna&R7Rqv1sVdzh9uqj;C9b{?g43L$FY27-MxJDDAmA_=qf z&KX&hK7XSfcffOn$-;R6KjZ~(RW!f#Iqg|XvRXJW&CggO2mF$*qE@$!m3CkCzlI`F zdpl!sWc$pWZ2*aDxQhyeXP|SH{m41=)Q2{gf7pSP86&ib{7pPqx$iH__FhZ#J|)uG zO}3>SDWk7=9~Il);UA_cDK}vVyt|&%_oUc>e1DkDNL0$JRZ9k7jFXg=$aBLY%mVGN zTA(FB&L=zPCP1$h!kN(qx1JW zn}7aLj5>7?S21k;#~GnTd*+p+&l+47hmAzOI1qj^e#ekB(LSLx{?j-*qw*nueq~e$ zfPKc2Jly5J-IqjohW;c@D6p0$&;yX6ku_^;3 z7`ZYU1!i#Wpe)gO2$``>%1lqTxTUV|I{4FuVGI6~Y6cKPALEh1ZeXrc$rT-^w<^7n zoLk|>ck7i@{|_ahJ*`6{FMj0MK(sa?bYCj`4z2mnI7zwA0as81ft$S)TQX;k@-F9Q>J$76fdpc*n`|ix*eSSs9GAdeHaSkt6toiX6qqRqm;l=YcIKp z|Elw2`^|w6P_0S6!KKXR^3#%o?>j`WkjF9WxMUp|adOo+4H8{_k`LJb%$ZVr$z zzL!vL>$=P*F#FcPuXW3K(ti|_f9o3*Eb_P_4SnNc)$>IDr&P020Y!F&iYBWGL|IXB z_1C){8s0apGC-AmzMmiHB4hLLeKHxWY&=jm%Lrd#~(L*SDgJukRq z9^ypyCc!r|3OZ&=9|&YIftrHq!}RP<%Y0KdSW%m=)ND3qotVd9Hz|z*9k%kNgc;M6%>A<&{q%h z)`J0`{dTWC6g*QL!G? z?_hFC&sXJR=F*d>SP(1LgJeVyGd0sX8NEp(r~V8)s5@G^;cTQLE>JH8B3jMH*eUP= zQrhY`fcfn8a(Gc?dF<%we>M81ZB#)g64Vr5Tx+K~EUn*?|9?S~!q{u}@zgu5<2nuR z#n8(S5yx?^wnd_(s-k^$=mu_Zu$u7{prWy{S`a}45r~z7xw0n<2^SWk@XY*aSWvwv z;@unNf!8SVyub*9jWHb8rpFHgH}npRmSfb^YlwJg-ZG{UvQAr2qW@zzu-t^jJ6LM* zXrJeNeDsz;%zxfCXe$SPJK|SpI8pglt!$|yF+`wJ_;fC(MLjA#tn4s41E;~91Xa6e z#W$F0{iewKEH3_Ie30AickUN?9;95zK2BTkqZJSYe#O3XqVOn{FVpgPhV-FIMhW(0 z524`xjf?#?22yNtR1E|hC~L&P{^RxvXU;U~^yls;x(qq(l-$Z!pZlutXsJKQ zLYSpr`QQPBG5up&WkN&pTY08~jr%nf{OsGQ;AoZlQ<v389i)5IphT21O|9;nNOXe>AFoAXoL$YRGzl+JHfu_% z@*$Z$NOeRZ=0r=WRTYLVbU{_m94!*oC9*7XWWr&QhILcXETviF)+G2tSrEnFbCm9s zc6Mi9h+Zh|&M+~w4$0ZQDSA;~;)p~uZ;QdS27mM2wM~WNW@1mgxoqZiXzdmRIAk7i z)^l-t+DV25@rr@k3%p^9lYBv0$r?pEj7tstrr>lC4UUk~Dy3zYIEuPREosXK>FfI2Uk2SdT38uGm(qS++piC-uqa7nMdy8xlX(T zvVU2V{5b*ua>ro<32*N;7N70LQ5bJ&Z`6n`KX{7nn2P7njtoJ2&Ei4u!cxfJ=9D7( z5GQi-i%hS>Gw&~XjO(HJ| zVu&ZxlO-mwFh4T~D%hSvf~37Y)*z6xpMUn6MC5a}ei#x@t40*D+ZejPWAM_E4Y<#L z3UY87Jb_`ydJ!km(%0ZGO_kVS!%_TD7st=E@_Rn7hNwGaF&sE|Pq{@;HQ)J^8gU;b z?}kN95Y|Ab%MF zCjqcv0585S6T{^BlKBjiEv{l`z!|yT8WQ-DD6`V8Z_w@{sEwK*9uI+4E6{mW75dZp z8ochwRB~F9uC-UTlVGu&wbSx_NA0r`XT}jW?C-!<_!1E;qUGC=4a7cUYxr5y$=`7g zh~4CZy>pcvLsArVs(DOF7agBk7=LqVz^vh)yV%B7++y4Vlk{|~yPj(VN^{ob?mT*X zyvq;Bbm@yS?RaN!dbj{?)Xs)(lZZ8EcDNH0p7xap3@kcS*`zp)cnMvfmWm8a`{XG@ zw5C|_N>fl~2%`Q*lcG9GU~i$Z&4DbkXiq%{Zy!_62`GXCp@GqG>V;HvCV%^l%Jk&L zk~xAz;$}d=Ui{NqT50nliQb@f20x@x{nJR?m5DTz$a`lM0Nml1Jg(Bn=-`^({YMiPJw1CZjx(LO`L0|=@90QWmOY?VBO>}>6CG35194P2nx2HB0}M6d1(lS)%3Uu--m$?v1gaa)0^Fv4I>6AyhER%k2pj z{i=nMZl*{p6;u|b^ zm=^SCqB(m%_@=6J)<0XC-d9Lqa%mr?Hu+p7oA0=XkALT;B4{A1as+g(WT0v8&Z0YF zIGN@*4PXeSX9BP>?}A0EN`g^hQ0n$Yi**Wo3ps_}>Rqxci97QXAx_&zmiyjrAixs> zk9R~{Ja#b+N+2ZRVsecBMnPnq1j<@ckMGVT~mAhq^ zu8*eZH4G0kN$m`G+xQ}(CCfv_G_{f&BmR3m!r5I1{{=$c?z{^Ih@+6J7tA3Lj&v+F z<$zr?{?cXt$M6nXbPih*pkXfZ+;^Q$wtbkjQ?rc8>Wuk8?#wGOu z&P#m@>beD|b;T&4uagGWcrzyTW;JYg@(*CCf%b_v;HxM$H`mDEJ0or^3o8J_jvXOd zOtQ}p*56{`ctplPo$bt)NLY_)zIAa7?tk{#BEqcB@kEhK9)sMZ`0D>Kbp&m2J}AfHvnBO_T1otJj=`?!;}WbalEN;s(%La+xkwPe^t6AL!RkN~%zK{KxANhXFCF_k z3GE&KUgJ01Bf|F8bn`~DvG(W-b1C&{e=YWzX2|2qC0dI@4DW@6SwJ)rB~7<5iG0>0G;Url~{b5Xs37#gB6H{k^mbEW^$j z`7g7^Se>pql~+hj3@Vt!uPf(#>hK)ORN%}1Dkuqkx5-13NIhzzT-fr2l7IG!X?yC@ zj?!^~f#b(QuyvhbjTe(qRf$E}8k5dlM^+69$IWj_De+fV`^#`n!sK3Slh@JvRre`;P0-W?4eR(0{(B4?(O%tHsH`EROTF@2G43e`+|cr$HP9i@Y637hM!2 z&)uagEjd`$dOMox%c*4%4(;NFHRsstbNEZFvp2vDqCgD@d6DJ=@ghOu>+3cd`>y54&-iy$leoB3RFf9BLzB%WK7RpZ!?$p}2jwgX z;mTc3{$Z*sCGsKagjbR2TbM68ykF`S0T>&9L5ipBhf^_I2Y$rh(v<=jrV$+tz!4yV zLppKvh{+ei+6F5M{6e%#+A?b`nMK@hXQ7Nj!*GO~NuL*|_9ElZAc;SDGuYPR7dI9E zdlqiZVoJFj61)H~V}Ea;!FxMa1?Qt2=x1z}t`I_~DxaQaquc<5ijuQ&*Y_W$uC2A%lPVxqLUIY(rH^t`C2a}~i1@1Ts?4dKz8cqi8KTir(E_Qi=<= zP2$k6W(SRR9S=NCv@zVhnzs&?bQ^^HPrZu+5yAZ=7CLgxqB4b#hvkjy2s3BTZz<|* zIJ0Fht9z#|$A6Y?q|5HbU(B|0(%TXAtPpS}noXsVb~1CKJ>`EMfQj97t0+4Ibv;a8 zz&;vG1>KI;{}Y#gHh*8jbK>Z$8kJPQRrAi_8;K@y@Qb0^e=U>ee{5OHM7#;*Rp|T= z{<(|po^H+ouK>8~7qtAR+W3y(RSAfkrr7;B+&~S-*njksZr4CWcoOz@b_3}!BA{TM zger8_enFFLh~gdkvuGqA+~Y##Az2v^btdeSg~7NQjS}ugi$9_zUSmFa-W;RYYM? zOW^h;2S1lKh=%0psSi+8Wj=eEUXdV$A**YT$XdR@ru(cvPhGP=$f&>wWN>Rnh9FS^ zR{??sq)vyd`U*6f<$r>G;@=)skAC*OYfWKjHjso^FS2+AVFHojMIb`a-JpqgyMpCm zA%A)RDq{6A)KXjc0hG2uIroEtp4#2$WtjX<3}qLmFv8>W3@S-#Gb*q4-fk%$$P^%P zXa4O7ut<7s(8z&_WH0dJt<2)ck+=cJ7}y7qT3+!0$Y}&k7$*uu29@BPdNmQ`R`H#z zV%Zn*xm(iU-f6IfD*DV=pb586v{w)26o1tQmFlFHcM8!6AOyreeojT$<7iq=KeJ$V zv;W9Lqe8(90s)8*@$rKuGRiX4(y#_*whlzpx3DQLcxR!OEtVt(3FQwcGzM=;5~i1C zxn8#c=^S8(u$4T5`{eP?sxWGlK>KeIGLCv6=^N*9OvwWGUJ4eqU@0dKdUu-V?tf-l z_{%ItYAqad)dB5;xDE1QwF;MjA?YpF=iVFVa@_SVup~`{5LM@W>Nq+OPu3cVvx@3b z+LH>`6>x+B%q|%E0^wBC<8p92&*7GMEv`s#Zg#^%^Kt@dkn~|ku$`5ueM7`@P%E}o zyTxL<-(20vPMk~VGZ{jjR<30`seki0{V$Z;l!1&YWIW^9IPu}(-si}(o#z^0U<$$z zJ5xfve^al9~Qf$mq!ZuYGk&c4ZA>*v_QpHH z1+I7l!vVWpKRmUCT-RUU5!Ib;SxlTE&GgN=)rA>ep6VQ^UizVDktjn)eI3=CeB!d2 zE+;QXmYh$tQw1W<V91;TZd#4`fZWbzjOs)*Uo3t_r*6Y$`9l%hL5$0B5wS7|U%o zotyY#hGIwI<#VI+$dp;yhLp)4#_H$d)4Me3r(D|`)i)7VtR)Vi&-bER^QM*{l`SywD4bqFMcl8V{ z4;UXO7SDwrGBx#YbQ`*s_3NM!`MI0G(B1i7n#t&j2M>&%#t4n<{VaEXxo+OkwXb_R z$h4hzW7m&)Ruy{MTSucM4hETVYaUv;Yu&Eu#Gzbf_AFY@y01m&Q+9IRVFM{TJB3f# zB$p(rsr&bw-x)Grv@qUEN@##=om}cJ$8*fGDvpTXr;b@V!@f0wb@6xWX87FgusD)w zbxT6Np|6{#_O*1WTI;uUcSqN;C2wxs+S|@|?Q-_Loj0H>E)|#0{9F^PaXWv7);cu# z>a>Hk#@OZkUOM{h9FtKpD&L^sR-cOsv2!HcObHp49i!A@Wa81rNeDLW)+aNcO&N-0 zy*M>a-EvNLOLEPbylCP1({*Vte)T|&*X^Iz={8!sLMz6*st4`C$8g`*!?K`Vl*Omn`TFEiuXSlK?0^li8(jIC@H}IWmx*X_hB*uiw$M3Q=|D@72ADw=gZrAe$g_U zO!8gKiJ11I?I@=Y9;^sO#Lt~KoJ~1+z?Kvdd+itP;KtIvwG^!)sPakz@|2n5t#{wQ zJJ)U6b_LP$pB%gP4Q?z!RLjNc ztX<@zw0h&^wMf=sm%B&CL`PSZ$@{u1>vg8d4XP=}4#f)C(_$Zd3D$l8DdQY-Kwr{N zQnQz-*yL&aDO$9QCyTndgc*_frHN89#zRB0GAA!vrT9on>!e%sSrsa`>&yFtl{2I1 zY_s)s3Oonae7f|@KlL_#)yAstmX#O1R=_yFm!9cl%Dw~GOKkRs>YwL-_7=L~{Xk`j z)R2U#BwWg-nQPl0DadINrni;Ou9hf>6erm?#TCDydUE7jjt=Um$EUGXo%>cZO1X$H zbI$7ZS}GL+^pT!ruXqOD)i_ARSFl7aEth!r=BbRd6`H@>OK<<3UX1ta`G*&1&%3;9 z_6m>=FLA%|Q1(aqfy5$C7DiWv^0VF@z9No~c$KE{-=L5yywjEU-+$2&vwYR{e7yGNZihjcga4cnkaV|~*kUitNbJQ1Z4 z-AMB<@5Wn7qK5rgY*ndr7)Ybu6+&tpU0-MC7LUbUaoNqY>Lg{^yesX>(bGsDJU^Vot5!BkFE}VCZ*ntvNyw79WX{_V6N~rRK6^25t12H z2#PG%oN4FKUDQ|ZX=Hs6*guO^e6ug$RdR%&Uz*)z<0!jG#iVmq_iIij7Zf@j<}=F6 zmJ45Z6y0})a1~$jd?KAOl}W4E=*)O${(*WH)R$+z3HFk*PYW@m?nzj5-Q~|7hHY$eiGibSA3xM+SVaDHf&MTagH`Eg`6+5 zI7SqvBCq+bhjvVBm94`!e69c8hR!$2VkQyirVlB3mVbL^bF4`9M$>1XpDkoI%kINh z5-+`rInHxvp@~zWM$?uYF00iklbW-tL;WdETuCzZWva&;7EyZ(I%}O~yUKl1^LLMl z1S_FkfBC=fkpVhy&D2I#Mni(W-f;fi-sJmd>>;;C$oOK z?w6>Ue(0Tfsgg{-{XNdRZ=Yjf3OTKG!8=1;idL$3W!T|u$L|XHra399QZxQd>Y80- zu?!b^J2BEtwLMgw<`X$c25Lodk&*l9xd-gK*nasN_E`IsmsrFH2I5rWyxws?lRneb z`{UjQRa;U(uMfk+cX#G-!Xj%o?aY%3*loGP!@m}c2{6C)Vr#Dt%$!@l-ngOv1@)%U zP&9UcD5~4B@8CmZcKdC9k%J-^6IV1oSCQGF;s<*-Ng24=>yt?OH9h&M$q%`Aa4hBw zPxo~H=xcRB*IYhj;ww0n@w4FaZSlNZ^EaaTs=c=-zP@^J^laX@98&_)Km$70W!(AXI8PmM&6 zl9f|mvXI&y_TBoJVIt3Q@&@%=<&i5650ygT_vB8Fl)4dxRz|hN+ddGHALzy?l+n z;7w3w080Q%)eV-yL`yA%Swli!3MZreU<$vcEXk}#Ov371+LNgm`xDl@=r5kt3;B*o zK&4@Yr;pXcgrz*X0lW zD)dQz9Jzn?*Lj($Pm&J5ZTaS|J-YwYE%1eha;lDtRF-*2lEF%O>2z@VD<&HSqI;MT z6+7>hd~EkX8-GXG?vExiic}Yg&C?ImH16{}yBewa@$^vZ_l{q4ic{`Vmy_Qm>Uh0x zcXL{DRx$t|W=QVg(IJJa_xvkX#IEQ(SJGB2pxf}cC>t;pR8cha`=lzP^n>0|*;f<% z?Iz6vtMTes{rcdNW#Ry#p#EWfs^ znmfF=a%G8i{!CMrp2eGZYyK`PD}}|6veI93<(ul)iZC~dlJ-W(rX0m ze`rOf&8_1|2?I%GiAhnd%ABua@P#cWY37JsJoNh;=} z%!gLLrFrYRIYlfX)KAvToQ=A>Pf6fYLrrXUOH^hmXCvv<@v8`g-Xr5Lk+iztU#`%T zcw$%BI3F#Xm)WPQYGKm$@lxa2&+n4UpYTt{etj{HUrYV=oR4?5o>v|CJugFAIxTf|0~71I<{|+mWs>DUWnu1_N$SE^&Z04D6Kw{%H^a`)+SV|e zUR8XBIaB18v^Q`}T8|~!F+-`&_{7?$D<%j%suTw4_D8Ki(@$3(1*d48W^9YOwOo5D zWx{ZAE`3>V{al#JM~=gNN!X3&_HOHn7oHEEsk$U;C@52Urt^he!d26DX06Mvs%jre ztusg8;AnaUcmn2ZQe$IZ;f;C>(zzCA_CI~XWepUW5rkqsHo7=rvb`u*zo|{*rep@fJx^(b>nIYcRw%<^1r{?wg!XT9?Ouk7;hPwtSMaYJcUk+7!9& z%ic7kI=?7$@wxwVx$Ep4$OaAOJC$qWUtakatbG*FEbhITMbnw8JlaG3oB2H59okyb z=W9k?kbfgP=Ch@4CzGj3^D#~Fd;KfQo~5i?mRk>wYL-sDQ$H<7wQdw-OYm%ic#N*C zR8~i%ShL?lHM8t;Ho9A|6f9%8ORw4^iM843{zzXT68R`dzxv*)e%#60>R1!h`-r1N z&IqnMVqI!&BmTx})vxcHW#1t_Osvq%CkbCrRJqOk?3UDUP>6X&t;FW;OU|6FWJL^D zz9hlwa^R7^U8&K!ANFB$&K)h!-z$^8@R3^O>`y6$%|n-?8HvX;)8D_`qsmp({wt(D zCk_fH`eEhGzS+iHp_Zsqz3FtjrTx9(k(W0wEHVuq7;PG~@b`R|uNSO!#GUt4%jr-9 zl2bbaqR+r|_FWwZeyiX9m>A7-8_e-Os&!bN-J88&b(Ic_$n&o{Z_ZS=z z53|)T@^Uc0uBKHoP0Jn#2=_}rDA{t%?+QIL^Tyx@N4BNd=mD+LyHA)u?mHAC9%U>o zZKu6)@2d#y)7XbO%6F2SvIMi<{5)ptnR+0P8R4&yW< zWrYU14gKR(#}PLx_Smb|?)x-#dhSWs`H1k;&-3SNa*<34N{=F)X*QJN)g3CSP^tQF z2_#k95+j;s<_ZWwqoI|lbBB*jx$In+v%ssNE0O|!RK5Dt(=?jB7acmF%8snRGe28pDIqSx!KG*P7@WnD$a z$5W)!y=ED_*!g0P+Rq?i>a>jAZnynbxwLcYhd0dfGKh`z z@pT-$X3}p?&3+m&K3z7vz8R)>E>x{5$`k%J*n`(snw;R=?-euq;v3c{xURF{X>qU} z=~rOzar&Em`*p0-B!A%3Iv8HFj{1DlzQ`l|nR))XYazc$YxjA_b=^U9J)`naH2MUZ zrcZvVE8)>(QvJ9^u*PIBAE$0Gs#Qpqb+*z3`{H$Ct&~UWMe$Q6n#XzcO|Rvy7k}2d z{;kf>g$s%8YOChC5Cjn|t=h_%!@COKemO}+_h+NW?m3b zJ)E(g?8!dDd4bj-#Nj2beJeDerc<`0gDR;({{Fe$cDp6i?;Rwci}AgY`};-khwh~F zq&V8*C&CTsh>~Rbk!3t@x7FNo z-Fzr)t6BQq1HE!=*g&gzNO|qB5~i>yxnpd}tNtAi=;uw$wx$7>22FGjx~Y1sTOIsSy>wB&*o z71M)}WLu-g_%9o`inn+VuRp5b*DmhzyWfZ0s&5rmn6RmfvFZQO+tq%MUgOEzsk$g4 z$uORGWh?MA^%VpAqs~KVsmwIORs0IO9fW2~U)vRGwtmSzdcjt7?f$9g15-&kD+;U8 zWmM+DDRy`F7u3EB=3yVzXm1bI996_9STlYY^-e-u`Z0uJd$x=DB~MSFj&~Y0*D1W~ zuKYsM*3mOY^qc#HJ=QKRE|ZQY9VoiNoJmJwaE&$ZlaBde_4xkrFU(SkY{_GzAHT1s zT(L!3SNGk$|9kbc^8SfLVW#2h_hzoX&_kQl{<=O|!F+N?gV(>>)$>f?#=_T4t-kZ3 zd%s9+F?jgr%q|@#&(LMvik(e4CCZG?4@lm>Qe}<4ZNjJfe(8}>bfiVg=?BUtB1t}? zKNd*qmlC3D>?}21=8`&RxOOL?rHH?Z>mRQPD~X%&yjah@BlumMw!-D;)i1Nj0a>Kl z?CXA4t`E4z--`02A4u#!_jHq$N9o3OMLxUM z8Krbcvpoa&keb8%hWQ;hW_*GX>2r2|`u?*v_mVyYbp-@vv8uT2X0f%*-B&l!)YKVl z()z;wVJNHZL$w66`vNV|dBh zSd$)+ks(x}DH-M6VYii}8{XOeKt^c&wd{%6^Q6P+S(0JRF9OiQa!qMY3Rafa8m!oO zp^)8X$D_V{zU9cxwsGyrNt+kZ27MlzHjN|6hTe*k#y+I##p94CWiQ^-yn+1EBiHeHg<*(D)NLEw+5rNE)bVTL^})opCI~kN(8xv z_nxz3)94m?;gMOO7-pY>dCr+u%SxMFPu6ig7KzRgu~c1-dmqQXRrWjqqfy6y@@~@? z2~OvjCsQ4Jy*HGZ=kAZ1*fiaYRES9V5}CVxb}wns%~D4NB8i;W9@~YyHmz#an@+qW zR>I99l=MY`Y;ZO8f)Vv0-!-(M4#%SN`4wRj({X^@e5!ZdJ8f3G_@usrx&Em;^m&6XJOZS|~T7E>F%cZL% z+@c)G;j&eVPWtfC1Xg0+I7A0kWLHL2zQ)#jzKWN(6g32n);=k zhWe*Op&f?LzkHX<;aysvJ7X~&gynM^v(u+fkWv_xiTE$~_&KauCs(<6U4)6z7f#)z zhMv?tGJPJ~GMQx3-%@P4U+QO?x!XY&+ksJp=|`JYQMP?#)u;;S&IjkI(1CO#!8Y)- z4Kn9?#!P21C#667^xp_5JZU%8^E+*r-*;GKrfNW6zVGMD#^FQP%#)tGiO&^1Eg83o zdz(+p?OW@u!UOP?ZfFxn|z}aftJ3YV2b1$AB8Y6G$o{U+D zzLF$z@8o?o`pw9EpV@xqdUQ`-W{t3HfLZig&or5J!7`T7zM!U~XD*7oY_=w9iA;UG zJK#28-CF(qwNYm@(fELwhOv^x5xQzjG3qLN>l1kU)Li&nQ4mXQuT+hDFQg&; zT%|ZZLd>u?uWw&t9D8!zzyu_g9`fM+$?BI+MM(=R%8f+=OKb={a`wEh+4q~7-QfpG zt0iyt*a_|Hv6;FDY8F!{xR`fg}hrI^5*{pgx3=JWz3Zg&%Oyrm>H}yx zT_ut|*U(nodGXBW?>gxUEL?fT5SMgl?q0}f*}|nI4F6)PdMB*kcSNuuLfO1|IsJQd znLR3&=J?x`pm$2R&HPcaRhL6gk&Jwh5W^JrO}CPYcVC?Oe)E!BZX5T~roT`Z$c)Ym zdJ_8eqou*#BCHa2Jo=H6>yEzl@7p-f_^p7+ zu`2g{(v16+^qesYu}fTzKStU*)_aNtPamgWdvwJ@^z=n<>WSAn2h41fV-3H347tq} zpTx^by0-ozaE|}27gp;qE~*Vg0&2}Y>9@E zs;he!B3<;ROmY9xl=);2vgmX7eA7LZQ*;(WLB=Ejf@oF9%>%q=8NBhU#c1rTJ-@#J zQ=Qm_3ugNv4|0LV`?=CL!6)tnu%7&NJl4dTCjJ`TbefNzTY7U(4bsZ_Sg8tIUft>X z8;vxPuM|rW-?O8h+VUQ}&;H>;cg~GE%{GFO;oYW4&bP_Wq79?CGN)V$ou9t`EKDD+`aeo6Ef zL=YJ^at}&cN|vmAzY~mmbkncQbstNk?vIDBsY)xYTsIw-jUq0)&XXVLc4ilUYIuv_ zi)3B1Jnzd(2g0C@*QIM_1HJ@m8qN`qd#Q)^k4j!!(t5(v@NKd}nq2wvlp9X-ms`L` z*ZxRSy~crrRFTUw^eeXu1hT@K8d6_ZB8PO?4x8N37aXRVU06`?i)~MDTc~WvWMNK| z9w9h0Ala^2?GAHu{XKR5s!{f!*PgVh>XFdIW@0|{@str?qiFxH6vqL%_4ln`@~!j~ zV|}XbM%}IL9h$P74z%aWuMEDoJBeN4n?{Tv_)}iPQ~eJN6CDdz{Vb#e7qx!Zi&OQJ z2)l2N8ghT@zLAviRVPk31>5H_?=jkx_-o7ght6QnNuP@!m%cAEZLp+U79FP1xT)hM zD6Kt0>)UyMI((rn|1pAZexJnb`}NJ)h}{Kq$3oI;nlxnUXtt=Xb42G|$zN3D>TZ4K zwzv5psWwJ)M)3FaX57V0E|1?u!fxD(H!Y2Aw=6DlcN8D$qPmh1#H=mCQ zwK(~~t&%%i<=srR-j7F618xmpvY}F$n#OMvjZ+o8`mcZOTBE}lvHCH&5l~!{`PKLP z`HcJn_A|TWJmIB%QRhAr_44p@A}T+3L$#uYzQqV#JEbG#8(#u?`w ze&T#E@0*U-IWW5Ijp8k1fbCk`8*98-}KqSvEdct%_IMK_viAQ4E=eb8jYtU?MN;PKiX0%!m zDay^YZf{_me%bKw#~-4rQ&E*uErdH~utHh}<0n4{4~4gvEr-n4wO%GJE_@KddHZyP z#$!uKt`Br4H_x9xQ3WM-F|?TOv*fNDM{^;pYgn&j?UO6-TJq$B(PV%7y7Or zKKm|JCuorkccn3s=4FVWO`|07k!-{7LWif*34~k0HA>vp)Pm*TF`6+o_o^0F@V6d^ zVTD2?cU>LTjNrTxIKL2aYt(0S#mN!tyRUuPX;b-?~m; z_ixs6b`_2G`u4y{$#u-;_s&qS@q1MaKxsh6TsOaKRquT~wYmJ5ss$E=V zInKbv?ajs4Gnw8tjXq_Uh=ahR^k;LIGk#XaQdyQA($wd?Ok?sg^84b0thhCUx+`a6 zAiloJGgpH3I$xFrdl)TkSfYmoa-GFzns^`FGANpOPLec~!@aNVT3V74e0$6#Lamsz zzREsjYNt9pVA^@n(D?29xOc-s{C=YHjl0rY zYD~eG7*0}JBQe)D<`peXK%`LE5iUNTkFD*-w@V;Xs*581pYM3Lv3l}2#_7d9JCjz; z#WB3R(%ID1H^*Ah^6SoQ2aRWAt3sq)eXpOr*9Vc8_amt35C>M1-9PUBb;&X_0!?P$ z-O#b?%#x3=Mb-_jt~Zx2mfEfag$SPCa$DuwdCyVrUKoq>-`x9E+V!b@$5riHb*4fuh5Gj^4Mtgx?8`*Hj~JSL zjZc@oLhnpEUiYfP77G(zHnyzX3zHM51Nm-EHK&lI znpO_;>n$0}RdSw%EM_7j0pVwc;_U|YXP0DFG&ke4oq}Co8^@&w-nE7jJOrPGZ2oBN zjQe7msxNx)VgOB8LS~pXfA^u5=}n&>V_V47vnH2aNq(o2zZdskt=GBJ?QvY@#h11v zBmWb23V~k8%Yt7es+O}~7xYAS)!**i`#@LBh-Ef?=!P!~@%KjyuJr7+dnM1_o2_Ww zm9UD5_^?o&iyygdWUExjnA0$0|4x-f+t0cP{n2bFP%z+Lq_FXrmBn~HI%56FY{Jd& zW}XknFHcO98mQ}Y+r?Pl^D4#VH*41pss}DaR<#iIe&h*leM8vczt+b5$PO>g7n9h< zb1UxZB(vm$5oj$bZm5EAq_ElXiKKIl>iL&6P^*(-3sW9>0L@nyo%-`}R~LuhPxw*LD*!b+Bm{bc9e21ZXyl{=pA zOUT1DN~CFRsqf#*?A8~z%SZp6v~AnD_NX!=*614clnr$3fs;xx40cw9I6?72yp0ej zzQAf8(j9-Dgt+ozgwUTJGH+b{BewZhg^|rw_Rntzep`>HKIWxrA3kwwp=&Pn=YaO_ z91bBTm#$YHuR;yY=rs4Nu2*x}s?IfAFHuuvs%ki!9sV8oQn)`3|MQ$!Q4;UI{2NuGqVkR<8B>&CoU7B$;-SJg;8Iai+K$MtL}bkA2`84KBP)?KHjr*LvaBjfp-16>d673Hnwu_@yx@k`--VYuhmXLl)M4VZDq0>GIggi6zPS*z4ERl6pL69I5x= zy~%Ay6VDu$>+;~=x}WzukW~05abTM6tXP`0nu4iApm_o#uM}FFRE6`)_FK z-XXU3jNP`Y!#5Fp`(K+ZziK~AbJkwY@nqONLH4T-`A;OUdVz8ocFgsO`k|k)gWGlO z^3R3^C@)n`ePu}CJ3~VEyxOzk6UVHj)S=rap)#O6Zks#M`^tKlsy3CwchZafeFMAf zlq<`YWEHcgK-SQ6mvyKlT6(}*k~iO@%-tYxzgp`kYt8tr=o)(2n+D5YGmFxD4-fA3 zb}hC%)g(MkNh3zgWXZ}>GfiWA6 zP`hIL&dVuwfob*EH5H@m+C;i8x!MUeC8IM(M;T zE$bwlw0GS5@FPnx<|I<6sA~V=+h*KVQ3=APL+HpoopR5vcb>};8tP_Pe(C=k3nhTR zv%gfL{FIsZhi%MBGg0c4DDZnzgGUZsWmwYxe$QPwfX1jqts#qw>{IP|3Nnk z)1Pfwr+xde&jQo2aiLu$Bzdko+A|D4WArAgriKr@O>Ri?Iotd~lKr+)P9uGB0gEcv zE8|teht4_wFf)Df>CME{BAVb@7ROPumv7vVriW}uG1xD8>eQt7N-0XY63b)k zh|*iEq|bC&Ygccdq7vxltedlolf31DnN6${_hM-YqsHercl4$kC+p0+&eHnWxoK#I zdo1v-A}(bn+4S-ch&U6hej1#cr#V)T!1XS3>#HEm!==@OS=ZeLH+GZ19y#u*i!J&- zeD(XpC(Xut(W`9z@pJy+q+wy~$$FBi(VRb8R(JT)n332$A-O%-hDS$wZWv#DcrfBC z6IN<%h=qUQw=H#2D|chM8dUr7#6$6MmEY3((w2LScFVk&;yglAq8{wlwEi=*uQET( zSn}$AJ?&uAZ>ul4+@%BFx?=5gDu0<=Jk)%lu4E{J&M@9Z;lgpVz0O>uVunY#KCk@M z>mUogzE!U^YURXpp(gTkUrS|qse{byd0YfDu1*Fx6-vDNcI-xwH+g)*@$Gju_G}mL zY2)=<`YQV9W&PVhPcxz#<9GdRyZCALn9YR(lAOB2^g@+a;?bK&e9o(?FH{ahr+nw< z)tXN89+Lk;t)?d6#I}5o_=~hyICWt#g)T`sDc3q8{c)DxiK4f|J(BA|!ndkwu`OTY z1m{XQ?_CNo3iS2e!uOsW=x$br2zxja6q$I>$WF(d3VEBs^r*jk^$WI-zqxa8C2zrR z__zIyV2{XBsg<8!O$RM*i$ydBJ41 zo~gO>+OD6^l3tUj%)%TW^Pc(PsO*rYz|B~w8L6+1lbOq9J8`eMaC&wE&8^yBY5i@$ z8%20BBzWTC1DP*~=f0JRjP1d>-yCv zj+j?!PsUD5RUHr$@cAjBMPuIV#Qj*}RI>AuOer=eq(V(6uxl_c4*!Go4AP+-FRsJA zuToz#%xK?R(-u>Y$urGsZ~HR(sDE}Ib3aNqld8+;=I8m?`N2KAV6SWz?v)DHz!Y|)@L zF$$Ce#^MN|%r_nkgE0b(h5^;kK`CssyeNhMs=A^HqF7L`77y@o3V22|sI`vA0z6Pv zmr^pD1PBta01<-{g-fcV2{=&&93Th?D1s{9pj@`7A|4P2L{XG_*`S~?N*+|s#bW>j zg+npoF*xu7O3Q=7yg&pj2D}hNL7hUd6b7)0k%wOtMbUV9Fa#>bqZL6Bc08z+j=^C_ zaM^AQsE7&*`hrs2qM#BesK5@YfnybLii~(HU>hY5NQ0uoIEp|xj3^Ff7LNl|;p)nG zpaL)xP^8op2Q=__lqdlMD!{{%5(q$K3{Z;#MNgpcG++!U0w@jClg5%nF@PBbm?9c1 z2Ffrih+=`f3W}iaISR0^C=av&*SS}Oi(A7*mK8CIU=slQir{az;3DflK|p$pJYH0h zpnzfog?~jAL4{aREGVLkl9vbKgNmlG_Q2ve&_jW8jzBIPsOBtB0(Hp2&cMpW0@3go zum)HW76KlIHHpW=Faj(gU<~X&D3*!`7(g$esx=C&0KX{!mf$S{lVKR>fpY0!1c-@3 zQ8o|8MPa~}!uA8+fLg$sB=Cv_G6O!r8xAN{5uO1w$EXNTAON8iV0;4T!fc`xfMVg* zP_V6n%>s)727!&C&?s2>02z%2W(V^M_8#m4Kt^K}ftWBd7W{+|g+(0DAXWjakB0XP z3uA*~>cA4f3v4^EF#$`#0(*vEK#g@+QlMpEQUDoL=musCkTGaj%>WsL!4Mc>DS=8A zL}6U4BG^pu1O@|i2cuA|29$^gx&eaW@d~owRZ#&P5U_(_mq8J9JUB)uEL>n35APZl zF4PW6(1SMxv?7^9g`ekt>Q<9kjUisLmKnrO`k!jm7*Glt)CK=nwQ6wY{*MCEpw2z0 z%KY!L)4*o_uUYcsJH`-~J>maCMB_2C^5E3}vxGMAApZw>u)nfcP%^#J2oe#8OK0!Y zV5bzyM&UtCV=VrkB*EV}&LOyY_x!7DIcyE!5K$&;p@4|s*ntwqJmO?`6Nr_(Nz2W{ ziw8Rm5E$kDS*jdQuHoc5Ksh1s7;uo{6u0&trpYZd+_!8ety3HLBU{Tu_!G06OfnfKZ9g>GqB|w#t_HJiiP#SbclB6Id+P4pt)uS9jJN3PB(-__`OCkQjI&z>ok0xyT%HB+nj) zXptC&x;ZOI5{xO<3D|%a1gcK`1QdZppzE6KpaBFDi>b?WfZiZL5%2i`h_~*n6LbPV zv19{(NSHkA3ki^UT%cAqU?zWWA=v(TS4f7;<_h(*0h|1L1P99AgAu0fs?Rd&hGy1e zQ5R@8`G^}7L2hw_Bw68u^v4!(7z%ows5>NpWPw%s*9e6jGGK?7Y;{C{mwdq!N@D}p z=|4~il*v1lbjieEh==U&1uf9I1&4SA_>=9tAr&^@!2U5~o9~@J*d-5nL*um0p}xLu zduTavmJU&svcFQ&2bWNUw@oe?8P4Bc5uBmk;qypYPCp0|K?0@v20_wn;2!!51Kf|>7;l0gNhA(; zIT(^bVzA_c!H~*76u1wGBal@>Afbb3G^3oQmurY;Ft`;k6hd;E{w@KoUj81GOZqR; zzy(uC|IzC15D1V_gvm&AQCtq=zh;snLm)381-uN|B@p5g_}B2?JcIk1tab`mp~TXyEZd7kDO$d4VTIJs^PDc`9rlPc-m_ zh%iV2kW&hSG!VGIS2*-9f*5cLVS*TNwQN7P34u#!yRWeA5J40K_sOVUJ|42cDTs^0 zt;WA-VRx9rg4-RYh22&t95`+FK@>rO14j#LxQXG3IB?HyKezeCQM?a;gXtcmKm62wN!lJG+Qe z+|~dd#BVShzr#3w`zqgI5CmoviT9uw<&2$z-26j8$nY;d;ZPf1pM1m<__?zY5WhAE zfdJ%>S-~MAyZ{_A!cRD0q&z_^2S4F(k@5s#2YCKj7{9%+5=!wOEB}iy98BeLoDP2 z`49uyAP$lTDFr-9Qa8lSPZoue0>Rz3Hg_Os7_v=x2ZDhi7;=3vBuMUwgIH+6b%Q66 z_vAxd%-dA3Fb0;ao&=pi;K`!-5cfgK06_`_gWJZlO-lg)K%nHi3j!S_ZP$c&zL%aDwyh))(!O+mq0)^J$ zVKkbINP&3yc7)v?wLr_GfG{Amy?hZ|4(ch8IGH0A;%C(k(s9%CQbOSYH^Aeira%Ig zJ6uv`8XD^YMZt;H-)jLFP!*iD{R4K~(AW$BLFVuepi_v8=h1+0W0<%CSXmKxJ6L(J zgtV;30z#Z3fKWg+Af+QaUWE7rKy>`~d}DPj4KNOP!=pgPc@g5J-S#mYnLOMAa8~&@ zuGw*8O;dy8Fbi0UjI$S^JxBs5R{v)`vUDoM24eGn%yDvZb#M*{@Bs@@!dhS)6sgTZ zLY>|G9pqur(eh;9R0!gy#5sQujvHzjtEub5tD(uosnA};_M$RHAPgK&g+$1|>UlV+ z3G(Q=`8dcJNp?ODU6cfw1WsN?9xWj+FCoP!XBgnB;S}N~Dyg9a_73DTprN3UcVB=k zIY53OY3^nvYTy;-29gD^?Po7Qg6tSsloae2|0Lz)nvZ;3L(SCB{$K#~V%+~BAX;Ovb6GDdJn@Nmu~4}2CL z_#coVfxHNKe-H`-RFHLm)C**F3LqUu5r7}SD}d}w0bt_cyhk25X*_UOXz=H5-~~>A zz}18Yw+5P$&;TEeRseSk9wb>9kobWYkX&OxfP)9dgn<)(IN1l;51>p*hbhQ-QH%nd z@Bjx0av<;xKv7{oI8bor19Cjzj_{%cAQ={z19$;B8U{^(qeTMdZ;N1Ya&mKVagYax z6>vwEPlI?Zcl_J79XR_s1yjubpH>Y6DfYkPDkv5M1K|UO|I&Iv|Bg2{==0BI`&q9Z$IK(r@zj#;3Shnp;lg0~~h zHUtOH+@ZD&0b*cwT(jgh1ZWLTj48)y8v^?{c{I5-1Cl0tq-?Lp1R@KjOh{}edf1+e z21><(eEaXYXdo1J=d#?v0qVr!a4;5XxJ(5L@hhBV2*dL(j5rwmcf|@tMZVAv%u28O>$FKb%ghKJH{8?M#cbt ziv@=E_o5ge7!KIrKOjIb9O_>XKnI8Zr|=jc4h|zvHogSbYs&)bF{bS-N}kJt=xqMA z1ds~{PV_&P0CM3#mi`Y2kPH64^A8A+3%7lx?=TP6MB^3UHKoa~{w(K&1tQ_VSBk%9 zVquZ~_MBC*e`yX2#KP}{WIIHGSn%h;zh{9}(EnN&&_(}Q_U2`X5nQ&1z%K`qe_V!) z*miW`<>e(Mic*xPFvkqm-KGw}u zH?3_g`~d+DP!uDx12=(}pH~P-4*szsnDM74izZ8Ff$ZX7HbhUR$$_j?z)-03A42ej z13rYp)c-%EWWm<|2bp$aQHwfgMYd$0jQq$smh=&e{hb73v?*inad~gJN^C8+lgRrL|5Xc6_kQg`6 zykv-zv#*=1i&G$M1i*EYt;m3T=>mw24h&;Kv;fm22NZy0next!P$WBK0+4nghz*SI z^U$#WhlnDXEgM#UAp}`^g#hZnP$WZk-u{vhKJoBZ_(O;Oj)J%S0tiVdTMxbn?mV{- z1pF}&J{aIr;C2YxRtRw)f$z}&p|q2RfZK6r#Z5c7h7x3o?BPv}f<1oXIFO#MjH;4WMnOM~rgEocur+L?mSW66hq^3F77=zb*ma zT;;(>EIBi;Q*K}o#B7$LCqNhks=I;jhXDa0l+XoUM^4w@JplA5f`Xog=!rv`@<(wf zyarkw#QX|J6%_~?S~ztL0!Rdog8!qThE);$zfoA>Bkktz5#k9#EnvJsS0G6e(H2QX zg+#y&5^fBUR7m0p_>CHFXh74t4~E&mU0S%IgJF0WW({}g;f4W*>BBH9xVsB(7-5(J z46}s0OmM>t!vJ|C(E{$Wkl>aT1_C~i#N%+64Q|+xR0s^1f+U*5T@JY6gkgXJl4u5Z zx!{HyhVj8LQ@G0mH@q+m3&Tv{E*Pak?uKC+Fw7Y4^23b)l8S`DP`EaN`w-j+!ia!5 zB=H#B6@nXK04vvqVL&}pND;UZg<*gek_bekLhgYZF&IXX4iKe6?u8qmJVd!8jHd^8 z#o=Z@=<)+~BZ(wkxGw=Wk}wb`4oTF3yHao?4a0yQkwmaM6;cLn4!|&qX0+h$LAa5H zVL&}dq9)vxgBy7m26TiZ0INvNmPZq;J4eUkV-HNuz(~UfxF6Za|nh3DoCOV+&v68;0?)7u`NoM zf(%n3^OQk*d5N%0L?8qe63B!kQV7bCkCj2o$Wc?Wb~$uXhY0J32sDKxQX~W0jU)n7 zK@wqI@H@Z_*lr{dmLj(qmBqGU76%Y=gMOLeTgqS_3z?!WT zUZu(26_BNTfH4IG?^P=-dMnrD zKcLK2hr2pRG0+0#A~3+T5g2fY5Ev~45Be(w2k0MxIYySRgv12EHX<;F2%bZ}l%eBr z*Ai|{kbS{831}TrPEm$6g2z>Zf<)0KP#>Zk?v^89c7be&a+uxn{RqC!6v_Y%+yw^* zQ4UTDq8uCzL^(g)?1dZ3*_DRhz{x|D11m+8gL8x^hc#4Ap{EFr5TYDd1)`i9!Bdw> zp$czGIdF-Ha$uW?a(V>M<0q7XU2qo|Eux$m!SiYx#sYVNF(Jx<b*H1K7Ja@ZWoVZ$f~J_J!NiQtXf<^vo_L^(L2h;rZ> z5asd+-nwDRTr3Ih!`4y`Z+kfb!8@}}_5YP%_Nq}uQ54QzMwBsu6q0-PjOI@Ugb4l> zaSAa(6f~k@w9-gWEW~O<3X#BIubAo>8}1K3ztSPM3~*0x#fd(OF+ zd-wYG8W?7SwN=S!>*kK+X|dD?36HR;-_&St!+qdNv>J9b1`pAdYBK^IHcA#t$Y15 zH#C}_6*+?M((WDWJ_{VUnNK{*YD~A`$_3{b!lxvY*8TaF+r$7)%i%K;rH0c~__US% zzw?L^E7(>z&4<%Y_^g%V4|BKZl0QT6B?--kFGvPfRu(46ADouMNh^HO%Jpw~9|?xj zXgKE-PK@D0D|feZS83|>6TWQa!B(!3Z+M0)`Gz00va=^Q$UI_2YaAaq&4!<}@={re zu@fnHzJH#fvv3*coNPETfYW36$jY0q`9P8aXSl!#1e{R;UzMy$XgU0>l@Gh~FwuZB zDd5BfPQ&2qRzC5=SzRK3a1sHhy>OZjr|)nYjYvywTKWDlPj6~%!UiYSbQzp{#9s5m z8+pm`M99D3P$Fbl=wpN7fM7TvWL?ZkN zXEkU3c9hk;`Ii@2Em(i?Mplc~Uw)F+lJy^-%Ic8yfBavQ#la{>sH-72VytFHei$)E zh}+nb5NHIG5FvsqKYLqoh-wl@NHyxDL=;z1T-CBFY^(ZFdlKdtsyb8EnJS8_psq7G zLlwbQ&8+HFRi~;tRn@7gPE}!C)uXB&)qxG7$2WTV{MEhpgZZgr{KtIM8xGH1Ip6yS DtjKqy diff --git a/docs/html/userhtml.css b/docs/html/userhtml.css index c0dacb61..02a4674d 100644 --- a/docs/html/userhtml.css +++ b/docs/html/userhtml.css @@ -13,35 +13,33 @@ .cmbx-12{font-size:109%; font-weight: bold;} .cmbx-12{ font-weight: bold;} .cmbx-12{ font-weight: bold;} -.cmtt-12{font-size:109%;font-family: monospace,monospace;} -.cmtt-12{font-family: monospace,monospace;} -.cmtt-12{font-family: monospace,monospace;} +.cmtt-12{font-size:109%;font-family: monospace;} +.cmtt-12{font-family: monospace;} +.cmtt-12{font-family: monospace;} .cmcsc-10x-x-120{font-size:109%;} .cmr-8{font-size:72%;} .cmmi-12{font-size:109%;font-style: italic;} .cmmi-8{font-size:72%;font-style: italic;} .cmsy-10x-x-120{font-size:109%;} .cmsy-8{font-size:72%;} -.tctt-1200{font-size:109%;font-family: monospace,monospace;} .cmmi-10x-x-109{font-style: italic;} .cmsy-10x-x-109{} -.cmtt-10x-x-109{font-family: monospace,monospace;} -.cmtt-10x-x-109{font-family: monospace,monospace;} -.cmtt-10x-x-109{font-family: monospace,monospace;} +.cmtt-10x-x-109{font-family: monospace;} +.cmtt-10x-x-109{font-family: monospace;} +.cmtt-10x-x-109{font-family: monospace;} .cmcsc-10x-x-109{} -.cmtt-10{font-size:90%;font-family: monospace,monospace;} -.cmtt-10{font-family: monospace,monospace;} -.cmtt-10{font-family: monospace,monospace;} +.cmtt-10{font-size:90%;font-family: monospace;} +.cmtt-10{font-family: monospace;} +.cmtt-10{font-family: monospace;} .cmbx-10x-x-109{ font-weight: bold;} .cmbx-10x-x-109{ font-weight: bold;} .cmbx-10x-x-109{ font-weight: bold;} .cmcsc-10{font-size:90%;} .small-caps{font-variant: small-caps; } -p{margin-top:0;margin-bottom:0} -p.indent{text-indent:0;} -p + p{margin-top:1em;} -p + div, p + pre {margin-top:1em;} -div + p, pre + p {margin-top:1em;} +p.noindent { text-indent: 0em } +td p.noindent { text-indent: 0em; margin-top:0em; } +p.nopar { text-indent: 0em; } +p.indent{ text-indent: 1.5em } @media print {div.crosslinks {visibility:hidden;}} a img { border-top: 0; border-left: 0; border-right: 0; } center { margin-top:1em; margin-bottom:1em; } @@ -64,7 +62,7 @@ div.obeylines-v p { margin-top:0; margin-bottom:0; } td.displaylines {text-align:center; white-space:nowrap;} .centerline {text-align:center;} .rightline {text-align:right;} -div.verbatim {font-family: monospace,monospace; white-space: nowrap; text-align:left; clear:both; } +div.verbatim {font-family: monospace; white-space: nowrap; text-align:left; clear:both; } .fbox {padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } div.fbox {display:table} div.center div.fbox {text-align:center; clear:both; padding-left:3.0pt; padding-right:3.0pt; text-indent:0pt; border:solid black 0.4pt; } @@ -97,16 +95,18 @@ td.td01{ padding-left:0pt; padding-right:5pt; } td.td10{ padding-left:5pt; padding-right:0pt; } td.td11{ padding-left:5pt; padding-right:5pt; } table[rules] {border-left:solid black 0.4pt; border-right:solid black 0.4pt; } -.hline hr, .cline hr{ height : 0px; margin:0px; } -.hline td, .cline td{ padding: 0; } -.hline hr, .cline hr{border:none;border-top:1px solid black;} +.hline hr, .cline hr{ height : 1px; margin:0px; } .tabbing-right {text-align:right;} +span.TEX {letter-spacing: -0.125em; } +span.TEX span.E{ position:relative;top:0.5ex;left:-0.0417em;} +a span.TEX span.E {text-decoration: none; } +span.LATEX span.A{ position:relative; top:-0.5ex; left:-0.4em; font-size:85%;} +span.LATEX span.TEX{ position:relative; left: -0.4em; } div.float, div.figure {margin-left: auto; margin-right: auto;} div.float img {text-align:center;} div.figure img {text-align:center;} -.marginpar,.reversemarginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} -.marginpar p,.reversemarginpar p{margin-top:0.4em; margin-bottom:0.4em;} -.reversemarginpar{float:left;} +.marginpar {width:20%; float:right; text-align:left; margin-left:auto; margin-top:0.5em; font-size:85%; text-decoration:underline;} +.marginpar p{margin-top:0.4em; margin-bottom:0.4em;} table.equation {width:100%;} .equation td{text-align:center; } td.equation { margin-top:1em; margin-bottom:1em; } @@ -149,11 +149,10 @@ div.abstract {width:100%;} .Ovalbox-thick { padding-left:3pt; padding-right:3pt; border:solid thick; } .shadowbox { padding-left:3pt; padding-right:3pt; border:solid thin; border-right:solid thick; border-bottom:solid thick; } .doublebox { padding-left:3pt; padding-right:3pt; border-style:double; border:solid thick; } -.rotatebox{display: inline-block;} .figure img.graphics {margin-left:10%;} .lstlisting .label{margin-right:0.5em; } -div.lstlisting{font-family: monospace,monospace; white-space: nowrap; margin-top:0.5em; margin-bottom:0.5em; } -div.lstinputlisting{ font-family: monospace,monospace; white-space: nowrap; } +div.lstlisting{font-family: monospace; white-space: nowrap; margin-top:0.5em; margin-bottom:0.5em; } +div.lstinputlisting{ font-family: monospace; white-space: nowrap; } .lstinputlisting .label{margin-right:0.5em;} #TBL-1 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-1{border-collapse:collapse;} @@ -187,9 +186,9 @@ div.lstinputlisting{ font-family: monospace,monospace; white-space: nowrap; } #TBL-5{border-collapse:collapse;} #TBL-5 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-5{border-collapse:collapse;} -td#TBL-5-10-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-5-11-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-5-12-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-5-10-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-5-11-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-5-12-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} #TBL-6 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-6{border-collapse:collapse;} #TBL-6 colgroup{border-left: 1px solid black;border-right:1px solid black;} @@ -202,8 +201,8 @@ td#TBL-5-12-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} #TBL-6{border-collapse:collapse;} #TBL-6 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-6{border-collapse:collapse;} -td#TBL-6-5-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-6-6-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-6-5-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-6-6-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} #TBL-7 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-7{border-collapse:collapse;} #TBL-7 colgroup{border-left: 1px solid black;border-right:1px solid black;} @@ -216,11 +215,11 @@ td#TBL-6-6-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} #TBL-7{border-collapse:collapse;} #TBL-7 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-7{border-collapse:collapse;} -td#TBL-7-5-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-7-6-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-7-7-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-7-12-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} -td#TBL-7-13-1{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-7-5-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-7-6-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-7-7-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-7-12-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} +td#TBL-7-13-5{border-left:solid black 0.4pt;border-right:solid black 0.4pt;} #TBL-8 colgroup{border-left: 1px solid black;border-right:1px solid black;} #TBL-8{border-collapse:collapse;} #TBL-8 colgroup{border-left: 1px solid black;border-right:1px solid black;} diff --git a/docs/html/userhtml0x.png b/docs/html/userhtml0x.png index f004430adb9751a9610cd765fec671d3449e8614..96c5cb9beb75e4e632a48b47125e66cf3a369f55 100644 GIT binary patch delta 875 zcmV-x1C;#y28jod7YY{$1^@s6P8`A^ks%m=J4r-AR9Fe^mw`(oRTcnNgYfzNw|3c6J%>14!9lg^4jNdnD-1ruPk zA>`)ca-F#+;>X=?$&az}w1Z-^1U~i;v2-nvy|!rQL_mSwG;QYX@$*sZ5V8QvZ6TT-i==tIr6 z_^qlQb|=z^B$IFXi81R^oQhX(5gGn1qtLIR=Dn&xrNV5>*OIry_=b0c^L^X4S%@Gg zWwiSn`@`3AEk!|-=vdLAR`p|JvmRq)Op*^Vj~<@6D-{TOb#;;{Jac7#wUmdRm+G;@ z&yADvec8Uw=Y}@ZQo(2d$xJIao{UM-J(8h)g>0&@tP7GawMhJc zf1i0wliu5!UKdwIIR!*kQPVFApcu3WIfFouFGdKo7B`dm2nh1le38v+4S`Lh)lli- z5oM;Z$4#X50Mx@iN_l#d(|X{UVH0H*fqU?p`~}DbB-Ei%jfMaK002ovPDHLkV1f?3 Bt2Y1u delta 862 zcmV-k1EKth2mA(*7YY^#1^@s6g+LL6ks%m=E=fc|R9Fe^nDI?pF%XAePzOM;LAn7I z8^8usouG6BqD~OO2G9v2x&ds^CL1&xkY0gA=c>-A1hzJxy(8|}CvN&1G11Nac0l(_qU zqNK6lkGN>RWbrqo6XGF(k0m}ACk>Q|uu)vpU3pJ*PB29%Gw7nEkua0w!gm@$?+s~Z z#8iYbgD*-Nde`s(_|7$gj-H#h{~7DFfjpE(^I@A}Ty##trcu|#Z9JaXT%dCr^|T$t zb-o~bf{&Ha?gEK2X@-x2L-HgI@v;4X$TG3<$${}hU5D`)UciTSdFmrKVHdTr`qsm1 zWzNBNPLfWSEq;iw?75+D%GUX{5ou)JVDI5N&Emk_$aVsK5qQd%)lnouecPpHiU@o} zC$mM?AlAD==#$_zG~qiw7Z`?mhVD($)i+}?e)_47r)jo)1JcmSP^KcBt=b|p z$^E*Vu}EvIQ`hOLk6$8cT`bCP+k9Jl5s+n*Q%4NLKzAi)=Fb zPi?4Y_?+FG#GYdFmqLSDk7qP;!9M*}qqJZ;ZmaXlF}A@e1esGyh3-4+-e+#K)LKGX zlZLXl$R~Cnp~?jU#YBjljW=k2RM#m>KZN3NAQ#roQLbNh(+b)75R%$zf`hBxD2TUw40~AHi zeOU_F_6gE>QXva}&!hu7f!NiM zFb1P2YHbKE9oY(lFY8aA9ww&2_wr0R2FOTO|?Y%n70QsFC33LFdAh0tjfV_{;YmQ`J+t=6LxtI9NXeFI5oi9nY?;d^r{Q24n`xSws zqob#?=#Fx8bH6M*Y-TlNiGkJDHg>?O!^)NdoAAfJDy}u$~4<@eb#@xfo z*G>6@%=%9K(JdaH~m86mwEm=>)^cz`djnIUU;uz{da^zPop#Pj~Qp3=yO9?vRVD>fQSCH z)+ro5zR!H{-+zldn)4`W-SnTJ3vQ^{f7V2{h*jppzZh56B2Mq)I+?e&xACRs^_(@W zPd)tDbjx)2!eNK~fCu}%9&)YNSa#c9x(0m~54pEJoBAR~;-8cY$=Oe@(-~Ls?Gz)) z&syJU(@81DVmO70ffNt(!ih{XFLaV@zBqpz6Dpp2nSak4-kZTP;EO~=`AuWVkSuhg z4;{_M(wOAiK748lR$~g&Ho$}5$YW1Yq?)6jW?lA$I1net>O9&hy!BZ>Ycxd?c^M0Q zP+_arYHaS{k3L{SJY;HH&^qS)$5I!2VK2Bi_dwBzPk3n(Fz}OjJD2& z^o)vY=6{+0ZGA9S>rV1n>pHH5A5nKb4l?-i zGSW3Ka#7PnM`kFlTg52roVC7-qKQs07LfcRVKq*3He$0WG)^amb!pCtg|ebZH6JWK z>lo^#%SBNHTzCriBFbxSdkVaHM90=5+0XuJ{dKEV=z&(`YhtFaKbrQy*^jL=dXyFqw`yz@w1cf-3r5+ib$=g7 zlAk@Eshz6vB=K6Y{-nk&u?wJ=*l`$j0r}W;xa_<)s-~eu$7}-$7SLNQY)PjX-zn?<9zcLM4BAU$mM3-!FqFmBe|NqH&E;c`!F@JK{pIb_%rHDCk4 z!LX^Y`x4VfON#j;JNOXA`c7PYDt~z@`bW|0+q{t<7$hI0gZIQPAJ~+m>>OBUEApH^ zOPBN5XTz2ISQ|sF$=2EHn@3r0MxS=|x^vBW^dg9C9>X&^#jP?6NS7aH&vT%-^1;qv4 zG6c@^^eJ0&bfC}px_^gOd}_v~sZF}DtM&U{mp<{~BmB0X7&M>lH6|{#y>Z_9X&}eb zK66NMs9_Is^u-#sEAT}9aoqg#M3BKg4m)CqZq_P(GRpSEJXxm?G0)w%e)siyeZAJ* z+Gp#-=4?AQI7ZFytl5XDxp3_5U)`s;YTZdOlAQgn^?E+3zJHIh)6%~T=rp15G5)sJ z;$})9Jb^w_BOoN^rs%v#b9&!Z>jQpUJ%o3UJ|Fg)w&r16dX}p1$u|=ldZ@`YHY6uU z?~N!rr&_vw)OVd+K7HIzI@O2lUFlzQy5`|)EH>4JVzgL&A4~a?z^w@My@x^Pee-(; z3Ibo^xXJrk^M4MA%nI{IV9mp*m@Zb|i*8IMmq*u2HNJq_iNa&yxgj}uUKE6NvPNLf zBd}zB^Hp|fxUB_#SK~ik_?hC*ykPu7$t~Hue`fmHtr0kc2rN?Hi+}tfviY{;i!Hw| xayxQ+`g1t{Y(4a-EA|!E2<&GBmZzd6=ZM+ zI29zg1Dpyl?f}oEfY@|EzMs&y(du^hw0pNVw|L)-PSTU~{y#}8*t@^K|6zvRvcTTn z-i0K3F5f)aEy<=W&6MoAKW$S#TIr9Z*^vV2;L&Or6_bv~Du1_I(seR+T|9QjPfxvQ%q{JfMb7IxY09$q)pghB@2W2b$rZmbPh|94 z6+SpAH!9~U2aLO@f2G2_H!7DZ-&DYH<>I?2^gTbVH3kppn*OQU&@j)-bbd)&Yo90U zq4Uk_)J|zLc7N_M*TNyQ^+vW+kGU2Ooh)OZuReUO3uDkY@*3B|VMEjRyuj0QTx(t~ zFMMnE_gvSEt5^r-L*v-vu7$(a$U$K~Clr1|Ce~ee?z**Tt<+g_j#X^aw)!TQMQeKd zLTifbs(EYKNb5Hm-y!J|g%OT|^X#-LIO3R%gOf>6&wm3?pSqR=5zjn~1pPE9=!0K! zMDCcTzSenDAyIfRu}(POdcdPf9NH>Q80L7R2{M`nwE+5-5d?up9THi!ZE%vUbK;tQ z%0pBC-|!+Ien1i zKhCS+BM)R!v!0k~U*iNVe3sUGp2mXxR971(V}EV)c&Z#wJnFwaUA>|Mg7ll66+Aw z@GLgitx}+Wp!+utT^IfofhJnW&R7NF2M(UE6CJ|1`tQ_0pWgza`R9w~y-kM_-HpZu zK!20%(7R^qFtf)`v>CL~0eMq+sSfr(OOaW-CcnmzmyLKG7**#M!AgA5vUDZ7)JCJk z_aYTf4rfQKROD@gMVCST7+cPH8;`MGKmgbnUmg?|l=Hf0@f!Y|Q@ys<&shQ}tF`>V;vz2w`1 z&Q0>H^hML60$d*(jS}DC#8mK{s&KXAnnhCLaFq5bsAdgF#uV~?I_BVECr=@qN^)o$ zk92NH`!7vmV==&w9W@U^8xmc)4(6pRDWP2?ulTa#K2 z$0MUCJW0xFT*D)6c`%Bi1$M?P% zg_BGSUbHwlmt{zwBqT`)Of~@$lue*1aWvE)L<{2(q$e^Id^j0v-iE?y$En3J79u- z59r2U{@)dQk}T+nT{(^6%{ONS2_JBNpn4@dbAg-}Hy!@$W54~YHh-ru^Yc#<>ZIa7P|4lmAZQ%)Y=n)j?XByN?JR+Yi8^Npg zPXlocw#7fJg*LpF^cF7lll5R73F^M4erYo%z92il1Ud=mT@@v3&>xI=N;a&q9*@E9XJZGWz!U2rX0V_b#1cz#!7 zvmeUbJyv{oo<82uhSpMz-Gt0v`cE3uOy-0gPyMEyE8Q7s58BnubFRB@9oT2~Ly?U} zi|~ven#s!{ry?(|0S)tzCsz_ctdMtuJV`bX-;Unwrf00000NkvXX Hu0mjfqcz}c diff --git a/docs/html/userhtmlli5.html b/docs/html/userhtmlli5.html index a6336dcb..7203781c 100644 --- a/docs/html/userhtmlli5.html +++ b/docs/html/userhtmlli5.html @@ -211,7 +211,7 @@ class="cmr-12"> Pothen, Distributed-memory parallel algorithms for matching and coloring, in PCO’11 New Trends in Parallel Computing and Optimization, +class="cmr-12">, in PCO11 New Trends in Parallel Computing and Optimization, IEEE International Symposium on Parallel and Distributed Processing type e

string g

der

No preconditioner No preconditioner

’NONE’ ’

Considered to use the PSBLAS Krylov solvers with no preconditioner.

Diagonal Diagonal

’DIAG’L1-JACOBI’ ’

Diagonal preconditioner. For any zero diagonal entry of the matrix to be preconditioned, the corresponding entry @@ -309,7 +309,7 @@ of the preconditioner is set to 1.

Gauss-Seidel Gauss-Seidel

’GS’L1-GS’ ’

Hybrid Gauss-Seidel (forward), that is, global block Jacobi with Gauss-Seidel as local solver.

Symmetrized Gauss-SeidelSymmetrized Gauss-Seidel

’FBGS’L1-FBGS’ ’

Symmetrized hybrid Gauss-Seidel, that is, forward Gauss-Seidel followed by backward Gauss-Seidel.

Block Jacobi Block Jacobi

’BJAC’L1-BJAC’ ’

Block-Jacobi with ILU(0) on the local blocks.

Additive Schwarz Additive Schwarz

’AS’ ’

Additive Schwarz (AS), with overlap 1 and ILU(0) on the local blocks.

Multilevel Multilevel

’ML’ ’

V-cycle with one hybrid forward Gauss-Seidel (GS) sweep as pre-smoother and one hybrid backward diff --git a/docs/html/userhtmlse6.html b/docs/html/userhtmlse6.html index 15f0ee45..8364d568 100644 --- a/docs/html/userhtmlse6.html +++ b/docs/html/userhtmlse6.html @@ -170,33 +170,33 @@ cellspacing="0" cellpadding="0" >

smoother smoother

class(amg_x_base_smoother_type)

The user-defined new smoother to be employed in the preconditioner.

solver solver

class(amg_x_base_solver_type)

The user-defined new solver to be employed in the preconditioner.

abide by its terms:  
  POSSIBILITY OF SUCH DAMAGE.  
-

+

AMG4PSBLAS is distributed together with (a small part) of the graph-matching + + + +library MatchBox-P [9]. Per the license requirements, we reproduce the relative part +here. + + + +

+// *********************************************************************** + 
// + 
//        MatchboxP: A C++ library for approximate weighted matching + 
//               Mahantesh Halappanavar (hala@pnnl.gov) + 
//               Pacific Northwest National Laboratory + 
// + 
// *********************************************************************** + 
// + 
//       Copyright (2021) Battelle Memorial Institute + 
//                      All rights reserved. + 
// + 
// Redistribution and use in source and binary forms, with or without + 
// modification, are permitted provided that the following conditions + 
// are met: + 
// + 
// 1. Redistributions of source code must retain the above copyright + 
// notice, this list of conditions and the following disclaimer. + 
// + 
// 2. Redistributions in binary form must reproduce the above copyright + 
// notice, this list of conditions and the following disclaimer in the + 
// documentation and/or other materials provided with the distribution. + 
// + 
// 3. Neither the name of the copyright holder nor the names of its + 
// contributors may be used to endorse or promote products derived from + 
// this software without specific prior written permission. + 
// + 
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS + 
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT + 
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS + 
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE + 
// COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, + 
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, + 
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; + 
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER + 
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT + 
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN + 
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE + 
// POSSIBILITY OF SUCH DAMAGE. + 
// + 
// ************************************************************************ +
+

diff --git a/docs/html/userhtmlse9.html b/docs/html/userhtmlse9.html index 21676acb..220606fb 100644 --- a/docs/html/userhtmlse9.html +++ b/docs/html/userhtmlse9.html @@ -91,7 +91,7 @@ class="cmr-12">Trolling, insulting or derogatory comments, and personal or polit class="cmr-12">Public or private harassment

  • Publishing others’ private information, such as a physical or email address, +class="cmr-12">Publishing others private information, such as a physical or email address, without their explicit permission
    • @@ -234,7 +234,7 @@ class="cmr-12">_of_conduct .html. Community Impact Guidelines were inspired by Mozilla’s code of conduct +class="cmr-12">. Community Impact Guidelines were inspired by Mozillas code of conduct enforcement ladder. For answers to common questions about this code of conduct, see

    a a

    type(in).

    The sparse matrix structure containing the local part of the matrix 20].

    desc_adesc_a

    type(in).

    The communication descriptor of a20].

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    amold amold

    class( optional.

    The desired dynamic type for internal matrix components; this 20].

    vmold vmold

    class( optional.

    The desired dynamic type for internal vector components; this allows e.g. running on GPUs.

    imold imold

    class( optional.

    The desired dynamic type for internal integer vector components; this allows e.g. running on GPUs. diff --git a/docs/html/userhtmlsu11.html b/docs/html/userhtmlsu11.html index d4bcef32..7805ef65 100644 --- a/docs/html/userhtmlsu11.html +++ b/docs/html/userhtmlsu11.html @@ -90,9 +90,9 @@ cellspacing="0" cellpadding="0" >

    a a

    type(in).

    The sparse matrix structure containing the local part of the matrix 20].

    desc_adesc_a

    type(in).

    The communication descriptor of a20].

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    amold amold

    class( optional.

    The desired dynamic type for internal matrix components; this 20].

    vmold vmold

    class( optional.

    The desired dynamic type for internal vector components; this allows e.g. running on GPUs.

    imold imold

    class( optional.

    The desired dynamic type for internal integer vector components; this allows e.g. running on GPUs.

    The method can be used to build multilevel preconditioners too. diff --git a/docs/html/userhtmlsu12.html b/docs/html/userhtmlsu12.html index 79f9b756..a13c92a3 100644 --- a/docs/html/userhtmlsu12.html +++ b/docs/html/userhtmlsu12.html @@ -96,9 +96,9 @@ cellspacing="0" cellpadding="0" >

    x x

    type(kind_parameter), dimension(:), intent(in)—.

    The local part of the vector x, single/double precision version of AMG4PSBLAS under use.

    y y

    type(kind_parameter), dimension(:), intent(out)—.

    The local part of the vector y, single/double precision version of AMG4PSBLAS under use.

    desc_adesc_a

    type(in).

    The communication descriptor associated to the matrix to be preconditioned.

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    trans trans

    character((in).

    If trans -1).

    work work

    type(kind_parameter), dimension(:), optional, target—.

    Workspace. Its size should be at least 4, single/double precision version of AMG4PSBLAS under use. diff --git a/docs/html/userhtmlsu13.html b/docs/html/userhtmlsu13.html index 66afb1f1..37404324 100644 --- a/docs/html/userhtmlsu13.html +++ b/docs/html/userhtmlsu13.html @@ -57,9 +57,9 @@ cellspacing="0" cellpadding="0" >

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section for details. diff --git a/docs/html/userhtmlsu14.html b/docs/html/userhtmlsu14.html index 361bdc2b..3cd6c9be 100644 --- a/docs/html/userhtmlsu14.html +++ b/docs/html/userhtmlsu14.html @@ -75,9 +75,9 @@ cellspacing="0" cellpadding="0" >

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    iout iout

    integer, optional.

    The id of the file where the preconditioner description will be printed; the default is the standard output.

    root root

    integer, optional.

    The id of the process where the preconditioner description will be printed; the default is psb_root_.

    verbosity verbosity

    integer, optional.

    The verbosity level of the description. Default value is 0. For a distributed multilevel preconditioner the size of the coarsematrices on every process. diff --git a/docs/html/userhtmlsu15.html b/docs/html/userhtmlsu15.html index 97f02b3e..78bf0798 100644 --- a/docs/html/userhtmlsu15.html +++ b/docs/html/userhtmlsu15.html @@ -77,9 +77,9 @@ cellspacing="0" cellpadding="0" >

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    amold amold

    class( optional.

    The desired dynamic type for internal matrix components; this 20].

    pout pout

    type(out).

    The copy of the preconditioner data structure. Note that x , single/double precision version of AMG4PSBLAS under use.

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    global global

    logical, optional.

    Whether the global or local preconditioner memory occupation is false.. Return memory footprint in bytes. @@ -333,9 +333,9 @@ cellspacing="0" cellpadding="0" >

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    vmold vmold

    class( optional.

    The desired dynamic type for internal vector components; this allows e.g. running on GPUs.

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details. diff --git a/docs/html/userhtmlsu3.html b/docs/html/userhtmlsu3.html index 68587785..51d8fdca 100644 --- a/docs/html/userhtmlsu3.html +++ b/docs/html/userhtmlsu3.html @@ -685,8 +685,7 @@ class="cmtt-12"> ‘--prefix=$HOME$HOME’. 

    contxt contxt

    type(in).

    The communication context.

    ptype ptype

    character(in) .

    The type of preconditioner. Its values are specified in Table 1.

    Note that strings are case insensitive.

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details. diff --git a/docs/html/userhtmlsu8.html b/docs/html/userhtmlsu8.html index b9eec1a4..83ccf1fd 100644 --- a/docs/html/userhtmlsu8.html +++ b/docs/html/userhtmlsu8.html @@ -79,9 +79,9 @@ cellspacing="0" cellpadding="0" >

    what what

    character(len=*).

    The parameter to be set. It can be specified through its name; the 8.

    val   

    integer or in).

    The value of the parameter to be set. The list of allowed values and len=*), it is also treated as case insensitive.

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    ilev ilev

    integer,in).

    For the multilevel preconditioner, the level at which the 8).

    ilmax ilmax

    integer,in).

    For the multilevel preconditioner, when both ilev The levels are numbered in increasing order starting from the fin one, i.e., level 1 is the finest level.

    pos pos

    character(in).

    Whether the other arguments apply only to the pre-smoother not concern the smoothers, class="cmtt-12">pos is ignored.

    idx idx

    integer,in).

    An auxiliary input argument that can be passed to the underlying

    what a type e

    val val

    dfault t

    cnts

    ’ML_CYCLE

    character(len=*) =*)

    ’VCYCLE’

    ’ADD’ ’

    ’VCYCLE’ ’

    Multilevel cycle: V-cycle, W-cycle, K-cycle, and additive composition.

    ’CYCLE_SWEEPS’

    integer integer

    Any integer

    number ≥ 1

    1 ≥ 1

    1

    Number of multilevel cycles.


    Table 2:

    what a type e

    val val

    dfault t

    cnts

    ’MIN_COARSE_SIZE_PER_PROCESS’

    integer integer

    Any number

    > 0

    200 > 0

    200

    Coarse size threshold per process. The aggregation stops if the global number of variables of the computed coarsest matrix @@ -730,17 +730,17 @@ multiplied by the number of processes (see Note).

    ’MIN_COARSE_SIZE’

    integer integer

    Any number

    > 0

    -1 > 0

    -1

    Coarse size threshold. The aggregation stops if the global number of variables of the computed coarsest matrix is lower @@ -753,17 +753,17 @@ class="cmtt-10x-x-109">MIN_COARSE_SIZE_PER_PROCESS’.

    ’MIN_CR_RATIO’

    real real

    Any number

    > 1

    1.5 > 1

    1.5

    Minimum coarsening ratio. The aggregation stops if the ratio between the global matrix dimensions at @@ -771,23 +771,23 @@ two consecutive levels is lower than or equal to this threshold (see Note).

    ’MAX_LEVS’

    integer integer

    Any integer

    number > 1

    20 > 1

    20

    Maximum number of levels. The aggregation stops if the number of levels reaches this value (see Note).

    ’PAR_AGGR_ALG

    character(len=*) =*)

    ’DEC’, ’SYMDEC’, ’COUPLED’ ’COUPLED’

    ’DEC’ ’DEC’

    Parallel aggregation algorithm.

    the SYMDEC option applies decoupled @@ -815,7 +815,7 @@ class="cmmi-10x-x-109">AT .

    ’AGGR_TYPE

    character(len=*) =*)

    ’SOC1’, ’MATCHBOXP’’

    ’SOC1’ ’

    Type of aggregation algorithm: currently, for the decoupled aggregation we implement two @@ -856,13 +856,13 @@ package [9].

    ’AGGR_SIZE’

    integer integer

    Any integer

    power of 2, with @@ -870,8 +870,8 @@ with class="cmtt-10x-x-109">aggr_size ≥ -2

    4

    4

    Maximum size of aggregates when the coupled aggregation based on matching is applied. For aggressive coarsening @@ -883,7 +883,7 @@ and ’MATCHBOXP’

    ’AGGR_PROL

    character(len=*) =*)

    ’SMOOTHED’, ’UNSMOOTHED’ ’

    ’SMOOTHED’ ’

    Prolongator used by the aggregation algorithm: smoothed or unsmoothed (i.e., tentative prolongator).

    Note. The aggregation algorithm stops when at least one of the following criteria is met: the coarse size threshold,
    -
    the minimum coarsening ratio, or the maximum number of levels is reached.
    -
    Therefore, the actual number of levels may be smaller than the specified maximum number of levels.
    -
    the minimum coarsening ratio, or the maximum number of levels is reached.
    +
    Therefore, the actual number of levels may be smaller than the specified maximum number of levels.
    +
    @@ -958,7 +958,7 @@ id="TBL-6-3">

    what a type e

    val val

    dfault t

    cnts

    ’AGGR_ORD

    character(len=*) =*)

    ’NATURAL’

    ’DEGREE’ ’DEGREE’

    ’NATURAL’ ’NATURAL’

    Initial ordering of indices for the decoupled aggregation algorithm: either natural ordering or sorted by @@ -1016,7 +1016,7 @@ descending degrees of the nodes in the matrix graph.

    ’AGGR_THRESH

    real(kind_parameter) )

    Any real

    number ∈ [0,1]

    0.01 ,1]

    0.01

    The threshold θ in the strength of connection algorithm. See also the note at the bottom of this table.

    ’AGGR_FILTER

    character(len=*) =*)

    ’FILTER’

    ’NOFILTER’ ’NOFILTER’

    ’NOFILTER’ ’NOFILTER’

    Matrix used in computing the smoothed prolongator: filtered or unfiltered.

    Note. Different thresholds at different levels, such as those used in [33, Section 5.1], can be easily set by invoking the rou-
    -
    tine
    tine set with the parameter ilev.
    -

    Table 4:

    what a type e

    val val

    dfault t

    cnts

    ’COARSE_MAT

    character(len=*) =*)

    ’DIST’

    ’REPL’ ’

    ’REPL’ ’

    Coarsest matrix layout: distributed among the processes or replicated on each of them.

    ’COARSE_SOLVE

    character(len=*) =*)

    ’MUMPS’L1-FBGS’

    See Note.’

    See Note.

    Solver used at the coarsest level: sequential LU from MUMPS, UMFPACK, or SuperLU (plus triangular solve); distributed LU from @@ -1255,7 +1255,7 @@ UMFPACK and SuperLU_Dist are available only in double precision.

    ’COARSE_SUBSOLVE

    character(len=*) =*)

    ’ILU’

    ’AINV’

    See Note.’

    See Note.

    Solver for the diagonal blocks of the coarsest matrix, in case the block Jacobi solver is chosen as coarsest-level solver: ILU(

    Note. Defaults for COARSE_SOLVE and COARSE_SUBSOLVE are chosen in the following order:
    -
    single precision version –
    single precision version – MUMPS if installed, then SLU if installed, ILU otherwise;
    -
    double precision version –
    double precision version – UMF if installed, then MUMPS if installed, then SLU if installed, ILU otherwise.
    -

    what a type e

    val val

    dfault t

    cts

    ’COARSE_SWEEPS’

    integer integer

    Any integer

    number > -0

    10

    10

    Number of sweeps when JACOBI, GS or BJAC is chosen as coarsest-level solver.

    ’COARSE_FILLIN’

    integer integer

    Any integer

    number ≥ -0

    0

    0

    Fill-in level p of the ILU factorizations and first fill-in for the approximate inverses.

    ’COARSE_ILUTHRS

    real(kind_parameter) )

    Any real

    number ≥ -0

    0

    0

    Drop tolerance t in the ILU(p,t) factorization and first drop-tolerance for the approximate inverses.

    Note. Further options for coarse solvers are contained in Table 6.
    -
    For a first use it is suggested to use the default options obtained by simply selecting the solver type.
    -
    For a first use it is suggested to use the default options obtained by simply selecting the solver type.
    +
    @@ -1493,7 +1493,7 @@ id="TBL-8-3">

    what a type e

    val val

    dfault t

    cnts

    ’BJAC_STOP

    character(len=*) =*)

    ’FALSE’

    ’TRUE’ ’

    ’FALSE’ ’

    Select whether to use a stopping criterion for the Block-Jacobi method used as a coarse solver.

    ’BJAC_TRACE

    character(len=*) =*)

    ’FALSE’

    ’TRUE’ ’

    ’FALSE’ ’

    Select whether to print a trace for the calculated residual for the Block-Jacobi method used as a coarse solver.

    ’BJAC_ITRACE’

    integer integer

    Any integer

    > 0

    -1 > 0

    -1

    Number of iterations after which a trace is to be printed.

    ’BJAC_RESCHECK’

    integer integer

    Any integer

    > 0

    -1 > 0

    -1

    Number of iterations after which a residual is to be calculated.

    ’BJAC_STOPTOL

    real(kind_parameter) )

    Any real

    < 1

    0 < 1

    0

    Tolerance for the stopping criterion on the residual.

    ’KRM_METHOD

    character(len=*) =*)

    ’CG’

    ’RGMRES’ ’

    ’FCG’ ’

    A string that defines the iterative method to be used when employing a Krylov method 20] for further information.

    ’KRM_KPREC

    character(len=*) =*)

    Table 1 1

    ’BJAC’ ’

    The one-level preconditioners from the Table 1 can be used for the coarse Krylov solver.

    ’KRM_SUB_SOLVE

    character(len=*) =*)

    Table 5 5

    ’ILU’ ’

    Solver for the diagonal blocks of the coarsest matrix preconditioner, in case the block Jacobi solver is chosen @@ -1771,7 +1771,7 @@ The same caveat from Table 5 applies here.

    ’KRM_GLOBAL

    character(len=*) =*)

    ’TRUE’, ’FALSE’ ’

    ’FALSE’ ’

    Choose between a global Krylov solver, all unknowns on a single node, or a distributed one. The default choice is the distributed solver.

    ’KRM_EPS

    real(kind_parameter) )

    Real < 1 < 1

    10-6 6

    The stopping tolerance.

    ’KRM_IRST’

    integer integer

    Integer

    ≥ 1

    30 ≥ 1

    30

    An integer specifying the restart parameter. This is employed for the BiCGSTABL or RGMRES methods, otherwise it is ignored.

    ’KRM_ISTOPC’

    integer integer

    Integers -1,2,3

    2

    2

    If 1 then the method uses the normwise backward error in the infinity norm; if 20] guide for the details.

    ’KRM_ITMAX’

    integer integer

    Integer

    ≥ 1

    40 ≥ 1

    40

    The maximum number of iterations to perform.

    ’KRM_ITRACE’

    integer integer

    Integer

    ≥ 0

    -1 ≥ 0

    -1

    If > 0 print out an informational message about convergence @@ -1893,23 +1893,23 @@ class="cmtt-10x-x-109">’ iterations. If = 0 print a message in case of convergence failure.

    ’KRM_FILLIN’

    integer integer

    Integer

    ≥ 0

    0 ≥ 0

    0

    Fill-in level p of the ILU factorizations and first fill-in for the approximate inverses.

    @@ -1944,7 +1944,7 @@ id="TBL-9-3">

    what a type e

    val val

    dfault t

    cnts

    ’SMOOTHER_TYPE

    character(len=*) =*)

    ’JACOBI’L1-FBGS’ ’

    ’FBGS’ ’

    Type of smoother used in the multilevel -point-Jacobi and Additive Schwarz. class="cmr-10">It is ignored by one-level preconditioners.

    ’SUB_SOLVE

    character(len=*) =*)

    ’JACOBI’

    ’AINV’ ’

    GS and and Additive Schwarz one-level preconditioners preconditioners

    The local solver to be used with the . See class="cmr-10">Note for details on hybrid Gauss-Seidel.

    ’SMOOTHER_SWEEPS’

    integer integer

    Any integer

    number ≥ 00

    1 1

    Number of sweeps of the smoother or , class="cmr-10">respectively.

    ’SUB_OVR’

    integer integer

    Any integer

    number ≥ 00

    1 1

    Number of overlap layers, for Additive Schwarz only.


    Table 7:

    what a type e

    val val

    dfault t

    cnts

    ’SUB_RESTR

    character(len=*) =*)

    ’HALO’

    ’NONE’ ’

    ’HALO’ ’

    Type of restriction operator, for Additive classical Addditive Schwarz smoother and class="cmr-10">its RAS variant.

    ’SUB_PROL

    character(len=*) =*)

    ’SUM’

    ’NONE’ ’

    ’NONE’ ’

    Type of prolongation operator, for Additive ’ for its RAS variant.

    ’SUB_FILLIN’

    integer integer

    Any integer

    number ≥ 0 0

    0 0

    Fill-in level p of the incomplete LU class="cmr-10">factorizations.

    ’SUB_ILUTHRS

    real(kind_parameter) )

    Any real number ≥ 0 0

    0 0

    Drop tolerance t ) class="cmr-10">factorization.

    ’MUMPS_LOC_GLOB

    character(len=*) =*)

    ’LOCAL_SOLVER’

    ’GLOBAL_SOLVER’ ’

    ’GLOBAL_SOLVER’ ’

    Whether MUMPS should be used as a only on the part of the matrix local to each class="cmr-10">process.

    ’MUMPS_IPAR_ENTRY’

    integer integer

    Any integer number number

    0 0

    Set an entry in the MUMPS integer control optional class="cmr-10">argument.

    ’MUMPS_RPAR_ENTRY’

    real real

    Any real number Any real number

    0 0

    Set an entry in the MUMPS real control optional class="cmr-10">argument.


    Table 8:

    a a

    type(in).

    The sparse matrix structure containing the local part of the matrix 20].

    desc_adesc_a

    type(in).

    The communication descriptor of a20].

    info info

    integer,out).

    Error code. If no error, 0 is returned. See Section 7 for details.

    diff --git a/docs/src/license.tex b/docs/src/license.tex index 289ac7a2..14785321 100644 --- a/docs/src/license.tex +++ b/docs/src/license.tex @@ -48,18 +48,18 @@ terms: {\small to abide by its terms: {\small \begin{verbatim} - + MLD2P4 version 2.2 MultiLevel Domain Decomposition Parallel Preconditioners Package based on PSBLAS (Parallel Sparse BLAS version 3.5) - + (C) Copyright 2008-2018 - Salvatore Filippone - Pasqua D'Ambra - Daniela di Serafino + Salvatore Filippone + Pasqua D'Ambra + Daniela di Serafino + - Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met: @@ -71,7 +71,7 @@ terms: {\small 3. The name of the MLD2P4 group or the names of its contributors may not be used to endorse or promote products derived from this software without specific written permission. - + THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR @@ -83,6 +83,54 @@ terms: {\small CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. - + +\end{verbatim} + } +\pagebreak +AMG4PSBLAS is distributed together with (a small part) of the graph-matching +library MatchBox-P~\cite{MatchBoxP}. Per the license requirements, we reproduce +the relative part here. +{\small +\begin{verbatim} +// *********************************************************************** +// +// MatchboxP: A C++ library for approximate weighted matching +// Mahantesh Halappanavar (hala@pnnl.gov) +// Pacific Northwest National Laboratory +// +// *********************************************************************** +// +// Copyright (2021) Battelle Memorial Institute +// All rights reserved. +// +// Redistribution and use in source and binary forms, with or without +// modification, are permitted provided that the following conditions +// are met: +// +// 1. Redistributions of source code must retain the above copyright +// notice, this list of conditions and the following disclaimer. +// +// 2. Redistributions in binary form must reproduce the above copyright +// notice, this list of conditions and the following disclaimer in the +// documentation and/or other materials provided with the distribution. +// +// 3. Neither the name of the copyright holder nor the names of its +// contributors may be used to endorse or promote products derived from +// this software without specific prior written permission. +// +// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS +// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT +// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS +// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE +// COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, +// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, +// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; +// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER +// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT +// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN +// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +// POSSIBILITY OF SUCH DAMAGE. +// +// ************************************************************************ \end{verbatim} - } \ No newline at end of file +} diff --git a/docs/src/userguide.pdf b/docs/src/userguide.pdf deleted file mode 120000 index 7b032aa3..00000000 --- a/docs/src/userguide.pdf +++ /dev/null @@ -1 +0,0 @@ -tmp/userguide.pdf \ No newline at end of file