From b921f8ecbdb1f637dbd66d4474ff7da117283fbe Mon Sep 17 00:00:00 2001 From: pasquadambra Date: Thu, 1 Apr 2021 11:33:27 +0200 Subject: [PATCH] update --- docs/amg4psblas_1.0-guide.pdf | Bin 1806162 -> 1807026 bytes docs/html/userhtml.css | 69 ++-- docs/html/userhtml0x.png | Bin 905 -> 892 bytes docs/html/userhtml1x.png | Bin 2101 -> 2060 bytes docs/html/userhtmlli5.html | 127 +++++--- docs/html/userhtmlse1.html | 28 +- docs/html/userhtmlse4.html | 34 +- docs/html/userhtmlse6.html | 16 +- docs/html/userhtmlse7.html | 2 +- docs/html/userhtmlse9.html | 4 +- docs/html/userhtmlsu1.html | 14 +- docs/html/userhtmlsu10.html | 56 ++-- docs/html/userhtmlsu11.html | 56 ++-- docs/html/userhtmlsu12.html | 50 +-- docs/html/userhtmlsu13.html | 10 +- docs/html/userhtmlsu14.html | 34 +- docs/html/userhtmlsu15.html | 76 ++--- docs/html/userhtmlsu2.html | 8 +- docs/html/userhtmlsu3.html | 3 +- docs/html/userhtmlsu6.html | 2 +- docs/html/userhtmlsu7.html | 30 +- docs/html/userhtmlsu8.html | 572 +++++++++++++++++----------------- docs/html/userhtmlsu9.html | 30 +- docs/src/bibliography.tex | 12 +- docs/src/userguide.pdf | 1 + 25 files changed, 640 insertions(+), 594 deletions(-) create mode 120000 docs/src/userguide.pdf diff --git a/docs/amg4psblas_1.0-guide.pdf b/docs/amg4psblas_1.0-guide.pdf index 3730550480caab3a5982f125d6b047fbbea0e21b..93917123aeec9d76b3feb5331d14f0f9bf772a9b 100644 GIT binary patch delta 77641 zcmbqc2Y6LQ(|(db5<&^Nrzez~(1MWU_F|)o(z_r?2@oNa&_z@PY}f@AMnwg?C@6?{ z5S1cIQBkm=f`DQdlx9WYe`n6UNp9lzDc{fYgnQ1`+1Z)d*_qir?>$uZ{NrWwFG~t8 z82wUGXmxJVjHIOC-S;J*lN7r9!{oE^TtDSJJoiW$gy&@`ZIVLQeU~!tyObpSCF75u zYv8XY{!;OmhQDs!hbiea{Bzg4Ng>owLXE$3HAEXow(N_)bBzF+IWLd)e2*bVxW186)JaO@+MR!J6(!XSM)JK; zD*oN&wVyo%{3QE4@+($cmYXVOIzKFk?aeTcbnotT2`(CR-vA`3b=&s z%vJL6^L(z-9zQ?lDy=c&>BE#JbU~id1WBJ?s+n|Xt(s14O4YiwC=Vq<)TXIo(5HFI z1@RJ*CQ42`eOwbMBQ;l+ryiv30lcowYfi#`bOkrY26PA5* zGv$>e+Lf*uR6nR#$$l@*XrW-5=u``(D9KNS`7(yy&d;=bWd=8C8#*PolwOuR0G$}QcdxT*V4r7oTa50&<= z8LC{0w>?AS^m8G&sMj#%of;sg#-o(8kvV9T(id;fj#8T8ZB=_M4{yJYQqGSuNqY*T zo~YN|@3P7$_xUQJsO6A;T{1lG(IEW`Gu(p|F6*vSzmycG?!YCddtvsF-v@aZ^yqqRT zBW;o(L?&Xuq%)t0bE(wOno!OZVaTGT5b!gmC~a8~x9bCPdS@!PZ)16grXX$Z)v8YI zW+;sTOz{k5CX#k_M$*w4N-mO;wwT#=!4=A$G-TA8qePL`VU98lZ)@i$KD-H+rp#5k z(F=1yTw~`dU6LY;mf~?IKL)ASTqWBMUaM@bg_qxNRhWu+-JwpmDP2MQAj2G5aT{pT z?-80L*X_zCr))0$e7mB>dueiq(uJOAtJJ5VbCo)D^Bt(~bK3vu4y9!>))#95m``L> zEk7&9*x~ zr98yle!EP>Ue;wst}IyBKdtnPLvZM6Wj=}s$ag;z7wZ=7d`5W!=`)rKU94KJ+=VIV zxS~Rm+`Hn;2{=ki8>)k7{&UJzXuHlzgjMtL<0Vl-)ol9%H1cxm>B00A7f6;hNN%2oa=W!RvM^SPlFZz_FRxL0nd z1@zYrcm7gH9v%kccLKOT`xpcP29rQ(g89u+)9SlT#ZlB-h z4u*UYJow$ga5#vEfIArVaaPbB@`R#z2)RQ(ZwL=zcgP>|<00Y>1-%|TMBSlK5Y+=H z6ZQo&e1U*F6ybIPK6lvT^Wwqp4*R@lFc6vT4*Oa22)e@oZ@}#fdhiemP5>zzdPbVvM(5LM|@s%8VtH4en|!|`8;7@042OWpASHxB`;9z&G1Fg9!7+b zqBo!~?8YRc10SX-65^+@zdb5&ZiI1;VS0U0hBS(7zX$V;|M27uqOJ#({oK4CU3>ij ze>kI=8xT=aL#4Ov{zjRZ{vUP3T|brUi1f-4C>9aB=~2jy3``g>R~U)}=)B`f9t|9m zQ-|I^rc6xn`+by@jy=k-+a`&pTt?2WZLf49+yrv0K^T+<81$Vcz~qTJ;?+L!&R zv`WeVwfemgQT>OW!>D=nt@!u-eLO0+X zN9Xo}k$m1T6`xdEBzfrb`I=kzIXZSmQJ<2j6Q@rZSu&NGidMOl))vz^YGxF*D=V8g zZK``PvP2`NKTj%A@_KVLnzhgH(D2hrCN20=xsW>jiM229FQqem{HM~DUi?eBh{pYe zw2Mw5?dV}V?ct{dr|?vE8c$76D?Jw0R4*X=w9;kaJ!xLFW5zkc~0vM5FELkAXU=g`o5u^H!{n^Dx!Js6UP+L>w|?MzW!5NmVlD|spl zl4_-_8fsHYtD$D0R8KrZ&VHV$YPtV;?z}7%0@%x8qr;1Uj2WyVlTc~QPy#UKzndR4 zfWp+brg~NeM39U-7@>JJ)lhv%5`G_&asK&WCFr~ucNc1$s&=OjYpPx7#Z*qOWYCOswKKI&2g(G4C)3rb0KMHK zag=VThdtHvwbThT`QCWipbWgWeMHN4>ZH_GC(^bIG_kUd>Z4a{t5(fGp$D8c_d_Fx zeyOcy(v;fht5+TMLaJFu?M4UdfK?aORU6WrtGO9)m3Y!1Tos1>#A*NS7YlO zN~x#LrCdASFJPHlZ9YT5rfxN%>6tQ9jhBHAmSxJ^zLJR<+*VhuBlP%hCoV#{Not-J zi7`*5d5b_P0An@$8)Aj9mdOf->BahLVGBrId56q(eq+Q8fmnGG>BwQF4|(<(Dm6$} z-PG1pYNtTblDDqfwQjgD4AB}41q%J40G-ZK&!Z=@;xjeFrCx*08)ix-Jd@ffYEB9k zV+ZS3Dr$ZD#T768hN6z5Ta@@5O;a%)E!BALAF4X35}qH|)Jaeb07DlVuB)|OSX@GvDj#4K!9$JJ9ondbNTTC6TEj0M}FlfckRh=NS_d zbRbjJ|LxpFow7Cv(<&7^YNxOxq*7dn_5vtKY}tiqmjC|9uR-TqdHpU%mTC)w6_+h z`6+*sKGLh6mBxbRAGA%`htP?r`Xw6s`jk~CSv69}f zoBBi*#W0_aT%@u|Ma+l;yQ|MRbv0T#*QiN(Jyh6L?DKo5{kVaBW7VjMNe9HO>I z(!*ugt4kTr>M)7uCRQNxKs%%DW zIt=19NcRp?+0=071mNQEFiZ>5-YZtwXe(Q)yb-Bc0~atvzm}n#^ToQ+WL- zv5I{Dype5h8l`sP48e4x%TzZ5wB2Re11?jim2XJyuw|rMy-#g_Kq-{(4S)@8E&3rwnby5Yw|PUeu!N%P=xYXHz$7TXd*Qrbuv@JF%kZ#S?{gQzyx6J~&A&q5=FI zq?waIDIr2qFTDL&{+3Jr$!Z~zMogBu6?69ElT}#vL$u&S)1n81N*bLvRs9_aVpQ)n zO&x&>G9BBe$pnJFLHN^Eg}2c%u+}pKF}(Y>N6b)PNMbBB>}{CjnW;XDri2!Lo2d>& z4Uih!LD&v&KXj$~MT`vC%<$F! zJ4d~dG5_2gm>PP_RWFGHvwp6OZQ^xUg;xBg)}pLyB|*m5?^<;XDuZ_|`siALM@E23 z>D2u?#-zVpag%x_ex~27vQ0uLEA+tjKe02djxN?Cyfjj8+kgC$3cc~8o zfK`v+`PsYGDagk>-B+If?n3p}c>csiYCh@-m8@E%wnMs*=&(oCRLUfk&2`AkrhX(W zP?5Qc)XR~Hmf_O4SG|ORLiZZ2yH^*+qXWTz8-_^ zg?K${Nd;Jgmn49dM(dV9h=god`93ZmQ-ep;dz{MWqFotI+M@~eu8Q|}@=>f}coAF; zd0Zu@o<iISBvUG)d3i*PY zHP5PSs1+_c{;YaGlaH8?9$P7>5Ml7;N+F-QPZ}0Iw@L_9i23j;^(e~ke;%^Q;WxW* zwc3>d;e7k<7u37hJTtjOQ&OT4Y?{iw6S?&7#A)eTk$X$l$~r4x!cTD(O96ms(cG7v zIcMH_<7E}LKNcIZuBKAKD`49Ytr!HjhrOcuktvL~>=lvToNj;diuzJH&#YcA*bx3Y zwqAtg=NFp>wb&qomh_Shs2meci#PDPWN+S}KErl9!RQT})dB|r*|cM`+6L)@&?c`7 z^YKD$k9l3aj62;l42=5q8)^|6(YL566$`{KH)x7|!B+K09%#!Z@4J) zN-f=f=uPz=HoVJ-I=?H6mRORndsp4dmf+#L1!oI)tNF>^0IlDxHf!MZk;EW2vJ?l};2t-<>_s1|&nLl{w)AFGr6HfnSVhZu@Y6FFPEopMo|aBK?}YS~|GH;t{b|`= z2&kZ4@R`~Zvk;(NC$Yymau6H6MqjCE^Ac+IMZC3an(zfA zbmfMc9aNvI3>?%*8}&01Ant5uevJhe6?+c>x;p)&wy9iagq``VTARrVH7)KVjqW&w z!JeI^!8e?$HKzglzy<>9rPS!8T93Na*J@LbAHdpDD?-ETYLCT>J#a{U+vzNaPPw#5 z<<2_Of$xBkp^8>W{eFasCiTxH_ddw$9Y3mT6AOR;lR7xw#WhFN^Bo|T{pZ#jAHyOY zq&dgbPr-A8kE@3r2hHFULi?iH{~JNG9E~*iMTHZRA)aiF zwSQT1CTDA`!iq$FJX_ikiTYW#R>CAN8J9GW47hVln%_WMfOP3N(oloeZVzmzHBGVD z1sR0ZwVGFv+WwAMk9XbLH>fA-)jPT9G^VW9%+pv`cG}C+SXmQ*XXHs4?`SBXE4WN- zSwEO30~ffoCV~)e6Kxc-rRcLwq^NA)zT{`o#Mp(;UOnp8R2v^Jx~r)ag#$2~(wj-E zSa1wFrx{Qc>uq8)&G9B-#e1L2#L$-ByaI}|`8l>@oY-8Ozz%C~VHjQo2Njk4rL^e- zgqC<)XjcO+8N%x=v_`Cs*8d*r=$|bFV96-T*I51My&#Rx*P53XTAnXpOU4)ZGJB%f z>n#NgN$=XSB7JtH^cPx62cRZq#SL4GY-)IxmJVPRl;FATSsHKPC4IzM+PD@NL8LGm z4pg61Cem`hGAXUJA*eXHm9$&8H57?gS~*17O4H~_D*+kl51^C;8Ek9~X#KRewZ@yn zzglaKiDB+qgVm>%YYa{Yo5Edn?}z*xGSxh^b}Q9_L}Xk;Ng=OlFVSx5#fnOR}&S)^|aV_JfX zt~1=^ifA@8pPP+5Iuy~`VYw@eY8|0q+EdTgE?|bAJl@!X*Q0(@Pf7{Em$;y}uF&%H zv|My4lJD?&|BK|ivyFBInon=5@kU();FE2&YvW+IZC5cL)7xq6c};Dv@#dkRJ!mUP zx3(8rh($nr&|YKhGrfa$48Wf3pxqLKJ&&HcKv-6Gigh|^?NLnh$dXPP8*?BfEGoKC z(gk5RU8tS!q?@$=LahVJgAxon`y!1eMJQpxMT{#)NYx)>q|?!hn9}VgowcUCie1!I zdl6+%ch#ogZAv$7E7$a!M;wnSaGFg;V~sTG*+V;odgu1kT5~-ix!Ju%(k&RSx#`v3 z8nh;!Nv86RKIpc0_R+-kjz*f$D}A{>p?*`^H(1M{-Tfe^V^iO^zpxqau<2%gj*aA1 zCmqVZMaTPVOXKCAzF5R9?`7!Qi?Jre0BSx!_(#%*4$uZ5UBvU-16bTUyQ`W5wVp^9 zZGQYfp-0)Gd^HdhjSN7WXZIMSjpfbDOM|s9kS1H=)t7>vWrOrQlCZP3XvGkX>0Wl$ z$A)MvkuEdi8!Cv|^dwA5V~1)NbGy*+88g^9HXzqVole)cZruHf4 zqSuzR;wr5UvSf?)-c_vqIH z9~db?INITQ_6K4A55R-!hfg)g!99MY219T<`{9s=s}~Kz*Bpd96OF;)j{p4dONYGN zCtOCeu?IqfVIN%Yh!A6UH>~(*2kxa%0G@O|9Kzy^_hZ!wg#v*LKb*{=FgzH3_^#k< zMRoW_LlIcr{qQ=61XTFg!yX)ViI0;ALyY|D!9PyxMKU^dcgsx$@_?03NxakpS5WtWk0U!E|`rxML z(O}e(aLAkC#~35<@*^b(e?7qU!*hZ#1mA2th2gKqQ2ZDGV8=Xo*k6y~vQIyZ=!JlX z{q}&;kLid;Fo*!0WzlHBml1$_m>u}sJ-p@~_Q3Omu;ZRvg6kXZdLW;-lb$d_1_A)g z>j5-)in^P?T@MTf5bfZFA3lU9RE9&GpHSJ0QPHqlwVa{^zha^%;y*ec=-pejjsH_k z`^($3%aZ=Ls!Q(BeosP7N2LhQM0hzE%`fqu_P+U85vl!g#c}o7>+jOm)+kJUJq(hl9K~IdRVnQ_VFd!=gBU1;>EWq@FhzxUt^J2{HT_N4bh56A>O@b;3aOB z0v2UQey$c4$6z9)QGv9v1F1N)n2!@dK>bygih+W$tL0?9XXMi1Cp5>`m6w3^#2Mod zMn9r6;JR*>4ELV+uKkEEfwwXNsId61oA?p2B3b3J1uQ-)xi-}fM=?} z7IVUX_?V_Ze!letR@axF01_c_pVXSVs<`bSqbQ7YNNRS$|NDVN=)impzTE0$5OK&L zx7siu#wrg3-e4PU_FJCPdQ_YKh)-}&b(U!^Og~)D@#*iJfa(MSPsBS%GnL0tCx&}e z@-fo9<(R|IZq;0Uni0z7C`_ROvO)Y3+Usgv^w!EaAfBsbAef>_GQi;n@ zVYHyp&ua)5nXhR&R9^-&VQ5i@1&nG#!wP`1GHojW{Mn+Wf zvlzc>zO9U4y5W zU%+r5S_2gHTZ6Rdix@bfJG#(&FCur|i$KeGTkGyne#%;{o2$xPGt6EHK1E`aDp3b# zfC$_)DBp4=m>S+)FS{Pm@lrNuby@j?O3X2+(Benq4a%)X zVjcQ&qozTj`(q>Q0#IU$`(Y^F*RT!x$Nggix@5EV7aA*mNY`n?>l*vv-gzCH@gP04 z9lGM&H$;K|{0;3M^lci^(gOl(yyZ0e*a2+;ZzCsnMa%ae#0EZOA2$z#cs|@RxqT_QFpme-K+hd>R{2zeBPk!oW3JdWfmZ zPCBglW36b^(+O_h{_2DV z_nzzo6^hz$K>Q0Pdiq!GG&%&CYqa4vZ3OD%{Vqhb;dhzx&>z}DH2(G6G?dh+{wcA`${_ok(m1q0*!;P4J)Kro$~;yzv)5_uLHfLwt}jf{nPrMj z!$Lk^zlWWIhTIRDwXcz5 zm(|tN%g29PJ^g-+zeT3rDmH$dO6%)97c%}8_4UN@*Ur)x%Mj_6EbiI{xi?Ja!wH+V zYATIVb+*H~=ju83y{bNvMK2@T&eHYfg zI^m}vPv>|6u!?1G%F`caoQjN?*-WMdRdDpCxjqkt)-=~g$+Wa3T_sNoy&-12M+==p zm9F3)KRwbyACI@pe7#)!EXmiI1$Oa|Ba!R|E%j3jn{?!D#U0t`D1*~JZ7rZqFVL@! z7q4BYualD@lUa1`Ez%9-F!CwWqdx*ld)}khXG~+PI(_0revpoOg>-tBqS(k{EK?nQ zC={grKAp|ESNYIph(dn-H%gua9jRSFrsp55pbcnjQ2z_f2w%+#>CAu!LV~Jm!a}9T z!#XqI%@JLsxD@;@>d^Rn(8vR4gLu%wnsfAD>A?=VL7UIjC!=)45U|{aFvE2()M0fY=Tw}HW2d)s zv%)FIF4Dz$)L9S5lZJMVCt0+pvyO$;@?~w+rSvmi|H)oz3E+MjY;f zo?_{ZyGpN2Nz}iq&c!Cj|_(BiKTyCDLwmAL5h^`erZMdxtHpND39gA zpskmpR~$$is^{7%L-ZQu9W)wRQK8RJX-F#EI5b|N1ohzW(5S&MDH<6jMBjTj=InAO zNwS|DCbcE~Gv`^-GlxsMd$VrTa}Lyb=+JS!fM6+ z{5o6@;u%9UsAI7}hIG@OQLI1CXK8R&)1uHw{b3Z689h2uzf{<{_uFV{R7nLpQwh2V z(#jH@E!a&i6P)(G3=Hc?b-L>^eE^=nzf5Om8UhNB;|Eg2pyp%r_Q)w6qqA3W!5IB~ zyzLxQAp`1{>K2mDDvc*G`-=c_kJURMXVh2`3?eX4SfLGLL|_z+({t){@87*w-#BWH zjFr}r!H&Xsg~ZmI(tG3dJ!n?CczwJG>gE&l2kF5b0Qb`gI_tmZl!>g^Ri-1pCRWxz zNoPd`1gX<^lSG^fiM5@9h57Qy`b3A#bvkmjo<=ECbQKLj4+>F_Dd6f5-8ek5*0c&9?>J3oBRi+t*G$tVF>oSWYhE4) zPNQ{~3uDBAn;Bmk;A&&YKAs^HE08t6LLd`Nt!Q>o|Co&MpIHQ~Kd5o%Q}{S63`Y(kBlE-G%9bSr}rBeHYACV{8fNK2KJcmGflnIK2QPA9<6|(Hl4E_n?PC zH&*4-jXfGil}Zv|Lr26c2=d>aHPqA6|{q#b=yZ$L}#)@#~l-2v{2_vN22i!f^Q z4vQ=P;ncw?=({l<$UjuHQLzbY2(m(rHe7C*#zd0^@uqYvrpl{|A^p}o3d|s zv>d0Jz4|fz#bjEt6r4QgNw9~YhnEy#w2e;*2?=Ta{FKhFF-f1itRnr1WzcV8>CvYJ z8s5j!#HV%kP)hkzPI`mhaE%3?sYu`ajBxGe&*-smv|+hE8|lK}{Z{Dg zz!wC}UjdaT)^zc+vgiwl_dTnB%QrvZyt-lE{~Uw_O34iGTq%k=s6wSVt3=pNdtTp) zY*3R%y;rl|;y8!)tk%aQ(}D&#wK3pD2NsSqz4yic&r02g?pdqb=uTGZ;+HB!fU!kI>WYt6tG%10RND*cqyIy8Q(wD5S zSi%ohN;fyeg@8_7H&m3Lv!P-M-?D+%Jsa&bEML8~P0nm@l66!T?pd3#2E|mT=Qiox z@hk$#^_mndd`%V~pt>)DgAlr!4>*8MU_Q?2Hy-8n#W=TOl%go4(YU zg$dhvM`(Y(T`!AmB=}5(EM@u*Va11b2p7J+LzK&(cE}Pk=0ua-v>gzoNiC}KrdwoWD!67p-2N6&C-t&7Umk%a<{$! zz{v`?bGIxxo{uY(>{%bnR3RywUietwjy8ob@A*V#UifzVCprhk2}*DJRLaY|y!xrG zIWeTnpg-&Zk)T-p&#*ei7R2432^ufhrx!VB{8mUj0V!$p(Y}gBxXFG-ihcclAR4V4 zIe;B|tg*G9OJmI;va2-4YVc2Ah;jjJ=F*J^0a#3;t~w|HBi*8J4(i*`nhbEumqKii zRZvF0(u>(ksB0MZtY2AM!1<=% zM8|mO58-9bqG7*-KqW_~`+gTbt(<-IckJ9_+1LIdWK=2J-t&k4CgW59S@$QyYY+HK z03n9kzW0>AAq52nCL6qgKa`9ZxBHU~=7Xdb80rpw4%tW-i!fpyb22)2>mOHw1^Q48 z17=cZD1@P;+p}sKA99MPF3vEHNi%qdgrX)rkY;dv1=3aeEX`oaB%{nqmuE?D?>tNT z<>?0RkR<)3igf#MI@)nEG%Ct4c9H{kM2$KdAiF5jxT<_Q zHqGT!Z5Kvy6ViX#;`=Zz!$~8ijPT%V1f%)n%}0AgUNUxwcG9Bh6q@vr;pf zAn60mxDO@Dbi*5Ke+5!|mS=?gP$oK&uUESDVo6zyb2Alg9xD7T|rR5rIEO{{3 z5NrQ8c?KlCeQy&()KC=CXirn)AT8;Fr}vvxKs=)ZQ^C5=p99*8vEpy%RIqOAb1PVPi1W-yu@{^R zS^+fs&tv4+3(qe{wo1F(7(YA6{=6+X!a<`wt(`GfB;$F2zjjCCVbosHk#Xao8N*1U zZWkDfkRWLJ^#Xw%jBip|C*yUL2PtTD(S-)@0tJj&7aF|;*B2SAL*Cd~xUFUv<9??V zXev(Yz-v1ByCUQ;)=Fl#@>Zy0H{&NDI?&xXmzjBT52F+6{kM(W{GJ$ZELiejPh$d} zd-pO%;%7}S<1(}bgfh4WSlZEOJW%P4Bn?qkZ6F zV;Vy+0HeZ!$(I6+9$>UZk_6eUA0U(f^#kss8;vwOeV|dp(Lst7y*!>Uk2bCVZaI`Q zOwmC`JJgqGvpa7_ANLJ16f}+lIj_j}qH@hGKm$S(jih9FM@xo?&=oneZpfL-nR5wo zoy};@Fv0bY!vxoTh6{O#vU<@2M)sm&V^e&19~T=ryakoZh3bwloKvF>9RgF(x6KR*y3tsa6X!kr*V3TMz1*Baqs5nsE&^pJ;Rd509N_T+Jl=%_QR; zWUZ=iLNl0byiy$ssa}iTJj=YqX#-ft8Bb#-SHJplV+T^bg*b9EWQM^`IEj*+x5zk+ z^m$|y*^kcz#U}-5<(2=2(;CvDs|>d5OKfu9)kc3jUvafD5zXOg(WW* zA~|W6!wXE?kIgb(M!LAcXIvxmD{=qNUL*4^C%Fzf>4JD`w(&cULr~jtt}w|01bx!P zxj=J_h;aJ5;w10qbB#mDD35-wL=crY)&|EaF{%)5#g$|?2=~NUmW>7A)`paSqb$lo zA0uw8pbxNY8g04}Izfy`z_))xB$ZgUoJPQ{tfqlR@@U7+#{Jc3Bo;UP#9j2N|CLEhW3jtA|lZg-TOU+<9V2DKE~C+;*h{0nNif;QhJZPdNnp}1S_iIYr- z?pO%rGJ#}lkjxf7c!Qt{l}6kL4MtpSZhGv#|5=cXT`W|zaj{TQT!L`;?A!;y*nWE9 z0qN(X2S5P+MGuO!ZvG&y@8WB(Vy6eNhqY?Otm%+(S+4-OD_=5dqLp-tO|LI8UW=E1a4G9NBzvw8 zm&%eNB4qi)@$%TCJ#6rCHX-DGk4T$xtl;iPppaFfS2HtqHQyC+#eeZrP!EHYvEE=~ z^XHF3p@PBvG0|~0J!W*`py0NTV_nXDTvkyzuruIsqd|Gb?T;IyV=uT7?Fk`S?-Rz0 zXjP5|oqhs6plQCp^86=__DIL^iZ)0>6gI0(kQok1rqBG3P+dT6mSH^*&@9@r%wUi0 z{$)mI?)d;-sr}QC#FA#wRZkmo0!A`cKW&tjmkK>2$U#kurafb@X+92QDtVU+GsYoJ zrzy*gvmJ07(DvmrGQixJ>a2jyE`Y}wkfn4pdhl7%T`-_(ayZX!vkHn3AjEYBY_SLX z8&tGf=9Z-qjb1J6F9!=YtQOT3(yJl$d_g1}=ER`6FJR97biXY`y3tM~Qa<9sEAZ_v zL17rU1_C2QC2NeoI|j3BjfhYom}V~u=Hyhu&=&;=ET1~P_@V$I>FsR+6oks*9{;BQ zo@=H5OV=j$|KwW1G5eJ0z*^RNDeEP}Tbb7?4TDX4QuLjdFk;Nr#im7d*Evf!H_?8b z5R{B#@j8K5$~S*m#w3h5_+`x8zh`XTr?!2?Xel6#f5m8)hY-dvjw~U14;N2{5ZcSZ zmU07Whd9Bme#N*5_5OUtXi{De@Bc+?-1RE11BDX#D%8smRb#_*Xx4gzZO}5bZX1jz zP)g{e&PGxCzMXB1m!=f$qlLKjrig{6Wy$P!{~=vnOh7tY(KCC5zcU{zn_8g*bS;b33>! zEP&$#xMdDC(F!h#LseAAwQpRPZ+%040LK@+0URd?1iiD}-VpAO3m}@Fo2^CxPlIG^*GglTLS?tC<&*pxfZUM3vyw^Qu@LSFfP`^ zJ$L98fuy(@kF(?oI)4VvQsC+}?i3)*#{GJzk8=+=Fu+MTEWig70!Rg{j1e3S2zimk zrx5rA0;l2}0r$%B|J*BrtPxk~$p~;wFV|w6__++n{NvCD9{3aop9f;2 zD36Sf14MabC>Zqc$dHfw1yL7m;08rBjjQ>BxNZ(9e9{3Y6ZrN&++4`D@PL~Nk%BT2 z3^;(GU!3sZc5n{Ei%AT~or=;A4tDVL1#qq*g#M#|8fP^4s0dD6;6Mk$vU%!5VbsMn ze0-pTv-klm25}Su=Qscr4p)S|I5`r)afz@Wrx^kODjdLZ6O09?HoV>pj0NO^6wC%r zOW^89Fnu_J2?*jPjH48@k%V&`d`~o=uaEGpf1W z!NCwrCVo%}VXaXQS`C77qfE+tt7DWeG30x5qde{)f=;7Bj3$U_#8FAk!odzca1op> zcPlc=`J4yNZQ!y>9He1l2Du`}9)~e7&>-%o#1lv@2ztN)4p3eY6zau&mB2YB8C@eR z8&l6GIk*^~?uep|ASMn+I&fAbh?xg(`24ty4O9Z5H*rLr@_Xhu5;iH2qmaJC$f|m2 z8D~a!7)>eZq@tf;z%WPEE>M+RE#SnBSB{rPR?@v%LGItg3yV}PzdeqQY=gaJ_&dg2 zSCyOZAUddcuhE1L0h~b?_pdt*CyZNTqOKao9FQ>PyuSepWWiy~u@G)tI^GW`o6|sP z<6Me1e5X<1sv3NZQOXT|n|5N?;HTd{gy=*MKxN`JVu_LVmBQ&!+KnsT^Z+QX8mL&7 zaK{^F)CswkV;3y_5`x_W0p}jEt-AmMPD{K8m4fdvizEbpCjyXohzAr`Iq;vnUmC6W z!brZ=Q48RT(yD;LT!T>XbK-DST!7K%eZ8j>-;8!`v;(r?K93LPlnZxkF_8$ z{9L{%Ff$bwyG3v+rsxBs4@bwJOTE4~>Ssp^nPtPi!UzNtM0cSFtP;efnqk`c93pw# zKPxq<#)q&&U3(9%pj&xdsYfF}G`d%tE)2@cvEq>Ti8w?C=B|m%+8(7s-p`z zWSSF*pBt(;8Q`4E!RW5(o0DD6OKlaoPqK2XehAkL^2Er+l2tO8sVM&wW@=pJ`QHxQ z#BU|#389zvmWu)BI8cIg!mWWI;S|73hd(k5s54PI{gE*+4GVE$C=jJldyHP>+GCtY zy|R_eMSG2&)u@TjDD8#h?EkeF{=`E!iOiS4Zi$Ccu%zHt)foCKNr@CJ z|1t7{w68h=VTZiV`I`xl(@x++EF(OptSUIaa%QDm*5QB@pSi#RsT}I{l~F)z_JBRX zN13VqU?CP3dTpO^k;AldL+g+GVfDClzi}aD><6pi>N z%it;Wg){Jalzq@pQ$ikG{Bh8Tx|}t&Vo3!o%!{NqvFc-XuuJ60$8n=?487BT;l6~) zPZYyd8I$F3Yr5rYm^qz8NzR3x31o~DQ2%Mz&ZVKEp2={XyIKR0s#87p1EULV{mM|m z<9oj{I#ip-sLW&2YO6ESWf}nkPvd{PzA|y32{=fg@@OD7!_dqCbiz=hei>?Re1@IX z5b9*2EJPD>HtOkbupHv!BAAwBRAmUy`Y-d6hg*v2kX)UMob@Iq1M?#Zark=)~Xo0+}NCU7*jN7je>1J81|wROzs!FOACrRR?s z-D&i(m_Vj3#|^833=EpmC&xuc-Z!E&?0e9`_s3aJFTOL*rMS4t4G zw)eNVPmXPcy#QBDP}6$TJfGoooblJ&_J}N*$PP| zHQB*x-(1tI6Dtw4-%2&p*kS#Cx_KdrI3b#~%pFKd&M>Fr=ZXvyXJ!`FHqXJ!-+*!s zwP|UxH>ip`rLyxax1Pz)w~~6MIN!d=G~s-+;Z8Xro)jFcIxiVA{A-ul2@U;&Pr6}t zm~D^c_a!-cwe#^F8Xm&ER2Qq}AOO2cH3y=(49#RK96+`j*zX|jD^Y?g(V$&pAnbZXIL%Os>% zGK|Z&Q8wqmt%%ubVETD3dN(wGM5(roOeTubMkdF7>}h1)j-S%TW-)%=YHYG)lMkuc z-Q8x-nn)9i`RZmSoB!GPYyZ&9lEnlI@XyGm(|upjXfXt#Fr8(EhrWGn*p|KrT30R%m*XoWR-XMP@GA5kI(H zWOm2%88Y5LuQ?w8e&>~;clDY5(Z<6*%x9&EbW?=^)lB-^d**@x?1P+ZJ^zWSs8h&f z|Et`Md}T<;VZnVs_U|FHV|wd~Z$kMC1GrYD{4-n$v>5v))ciK)jm{^Y{zc)jZOwr# zAUi94f6C{=}IKasHZVoZwyR+$yWM8?uNmW}Fz6I_`@vvaPN#pzO~)6Qm&HGr z=7r(__WwEa|JKu z;(9#%f|*9Mo^jLwz7liOGv?O`ncJ4js?D(wcG3z~!a`K*Ik~y;!spD}+59O&`p4%g zL~FrHb2?vKR?)@g)$uMGP^}ltH!EebW+JT@tT8W2L3@ifz-xTxT4qHX2*Meo$}K&* zPGr8sX6#vKe#v4=O^E~(MS=Rt{~!u#!Kxcm&yuD97oWUpW}$EAo{shAbqt7{Tv@uo z936ko-DqAs8@{vr4ihI#0QF5TE1fp8WdXcg`JE?BDjqq_dA@LZ>8O(NrDY|cJkFa@ z0)h%Nt@2xG+0;p;4uy?!Qbxqu=sxkv((&VqTg0l3oH#00g|C9~! ztzyCE&A5!jl91jfzCf=UYFt2{Y&L6SAdOmD4YR5#tB!^ddfntBG`(Ioz0~7(v+isx z+}PB?l~?G8qfBnLZdVA72}JYTO_DK8yu5VU#PP+#DW3dZEpc&KK9>l3@;kO@H(|t- zcvh#D(SYQjZpV_cVyAYjUdLFYqe`8seM_bkU+VER^_5MGmFOEQ(W!KN>7+@x47+t~ za9F^aDJEQKgHZLAAUhc?_<`<72T>@}QM{-3sKC6YBY=*pHHmEsa`uJ(3 zl$DD3uOmBLHH*UeGr;dW%1D0kq)Fo;Em*KP3DYL>Z#ch0r;c&#;(B6h2t3(^e6bzA zor4SK98@vrXrolBhVy$lLmnw3iR3%?dxMtHl9cm#Jds$HZaq5my+EGB`QbooYExk8 z=LNlmKG2Vt*=)M=E!<1|z*e&^&3uD5RlK9fP4xyCos_@DJS)}XDGcIkHv_kr9K6K$6yrld zOc(H&7kUCAa&0wPxe0GI+tV%E&8Dd#e<2*0^ypSz+&LK2%=Cr5{24V|CFta3Y%|N! zf`KRkIU+QBo5?}k&uuf?X2wPnjtz@~+s!s<_}U!qR`=1!w{VyAhPTZ+v~IiEG1V6; zgcqB-`|+LGMsJ$wIwxTNFDNP*7blSz1W-Tu{yz9!xe$$f)0}H!^@PDy%6BiBHfCb% z11h+$_Dyp-oqpSFk_PuS>Ursbw@luxV>DJhf2a^&NrHRa$@0D}5}t$EH2AFX*&;aP zojj*)n*T1Y>GEKB{te5eOb29$)6V@k_L z$BN;LIZ}S)#PKMPWbh6?#FVgqp;J?px&`>qF@gsYKmn=ZQcU4*?z2~io-MpyZZAk< zJ~A7oAv6SEuJY5ZADN5jzE6Pp!rhpt?t7s~WPBQ*mwmhOF`J@KfxTaLo4uTQ$*voM z?guw02o2veq_U6A{;ALh!?>b+`^U0*m5sdT6Ei)Ye*P!srS$6_^z!5<=17|SIyz|h zshLId_M+|cKQ()!?fIXYxoP-fGk7sfYd{Rx&rG7C`ygu99YAeFo#5WYN@{)9=O!O6Kck(woPv|!6AjbKV*@L|_=Oknd!e`KZkdA#Jv&1rnh8#50$}`3tGzXS1^SL|=(2uY#yVRz7}or@sUv)_l=lo>VIpx%hST& zn(fo@fjzVbx5T$5A0HaJ5ZHP5TQj{pW8b&tEvfhpCPJd9>^n0M8`Gg5V9lI=(o`TP z86x`RJ9BnyBJ1L-f*c1G%bD{%kOP{H;uGixz87m1hvwBo3;{c35e6h#o*&Fx(h!;i zLFS`PKbXy9J)Qd_dV;#6qy-@P5c@-o4w+XnJ#T8tIK*c?I5;YnxABnKI~D$av_j@# zS>Og91`cCMnElDA0W7(I<=4Yz+gKkJZD2?Em~6tHLD&xEj61I-Gb7AeruWCYfGG2p+|96_gHENXkBBA%gRbCuX0vDD7Ah#mlJyFKh+Uz{C(toz<>6u2Vdbrc-@@(wHF%kMOv zRpU}-8N79zSynuubR=)WP^4XgK81u1qU3UxXju5|R$4aw3a503@zbYH!>*5|vWO3s zPHix)LCD4gcvx$QddeYTRV$o7QB*B%nm?t2Uktm$M4ErX)U%?|LcZ%)1_Q;*+nPMP zO|>%=`$^NM0bMaQq}`~?i_7qlQ`Cn>Tg=M^KXjNrMU=UcGN}BV(0S_A=_Ss7(UXt% ze01Jk(-Mw}84?D=)H3%ZIEG^nBG8V?el$78TLMQ{E>dgM!X3%6thatNCt`KQw_(F! zYWEWi$Jhj}F|t{7z|kJh+5D3kjca6%81n}`FkL{HAA#W)pO89Yh7!2e=XJQ&@8jV^ znLAH!W6_ zemiO|ua9s|G#^t{2P3cmqM}KvlSrQ(GehNlwmyzNW5wy5UzVK_7}mh;HZX3sQy zP8!W1Ea+#GBWiJi+^Xk;`3K=W@vJ_-m@`uGkw?TC<14&oUJaIlG~=XMP&3LfP>Wy9 zHO;*E2oP*k4yKqz`GY}y%dpQ2`|$ms*m9Bdo2hVyA{O6`GT|M3UoLU`4)8!-Gt=eJTw$V)GqG?{2qkg;=XM}26N0N=*KTOka%FU z#z6WdCY7%W$M?!n25NVR3j+kG)g1eVC}MmB99am#g;tUg+` zMk=cv=s5)42mj%Mc*al&(Z3;&-7( z0cs8-jw0|mhzUUSFgE<)=rG?}kMMTWLcG z36Ai$-?0Y=DPs&ibcV0JdouWg-w1EuapHmFi}^EQh++ox=qwU}f7*u*BT=SN>~jz& z4f@0A@gaEr+Ia&o2vaQf&|nMH#YfWd5avK&-0QF}7Avu?hIL_9l}H&VhnqO$F<8@b zB?V%!AyBk9HUzy_x=<|u0RVe*=ygm2~81%#7I zgh!ur3`;J;&ZBwG^Zn^o07>trTk*TG&ol-GUoyK@%hmbZLbU-$sJ8;|zxetq-Q~^_ z$r-4iLgbMQn6heHeab`b5O5oC0zYuwb!WOU19{_WTh;EohF!#o&DdYt%1Xuy$Mld| z$9ZW{$MSRHrFAew=kDt>9AYxIkrHGVlo;8B5G;s18Dn0xF+xmMo>BZ*{L09E4?Dg1PPbmV!0}vjZ|MCz9k0@rVUg?yV2vI6+lXftRtaRphRY#l#>n z{;YX7in^?BRb%#pA%xuG0&sj{8?yy|{cl0B@$2;4Wm(O!bUPdi4Xi3uu&n$&0ZU9S zI8}mnD>xNe0N+L*k74784fy~#052s5R_0XbFM{qgtpeRoz{DV7 zzW<68T3|d5maBgq046KOa$^U}5-iBeVM4HA5T>wP-Qvxs6A1>j@!yL-YGESWy8CB_ zrU$VWRK+KvTp)7*Q!$m<2o~ zK{{6!$WZS&N}ErlR09VZ9>8fF1IIxK*7Yh~@mYeVVJfw(rZm8^ zvQTOXKl6!$M7W$)gM{qlTj_uct6^2RU_Sm2XmX+}MR^c((HysxOFNU)_LPxh;X?z5 z6&!lM6X9O7ax8q&Sz;_J<1Grz0&glS8;K)8j=zD`)WuA)_V|Wo(es$%D{PRRTm+o)yV^^JCBz&8~$a*#`$&P zm*Xp?^NE4_jjfhc(#X1xxlz#3lG--57GUw*l&+plb==m~w5zdo4sCW@*H;xJP^g^M z@`7COAY9(L7})O(EJPe5)ZSHnbn+n;8qnNQY3C6oQx8>-28B)|GYZ8<#w?V^dR79e z*<>%=zbsFTnG)l&(!%eL`vYS{+wUYQ&6YS$*y4Rc22u_MBj-7dsuei{zX4dH3 zs&bH3U7pI=q+#)f9CSFkp)UYPv0)4O;YQ(ulc7Q!wS>+Ow*nNr=GIdBvnke@Io_Ns zDqN;1bhR(1i5|kfnD0&SQ5K4$>v$VLjx$G-#?Y z4g2V;7FH2#gmAxL(e0IQHG+c0-(g6Gwa>HF#W8K{v;U8-)k~?@P8bs77UpFq&9e-T z81j4pxIHIKC>dXF4RHKo*o6DBC5_jp|EHN-16ErExO>a(Lz!ax02jtf-SsCd{Oq|) zi(8$O|1$dmI1Z1h2Wu~XwJV-A>o3#Fh~~p~GZilCQhM|+vo$S!w~}po?_cH!n&Yu* zCBrV&`IOl(=HLqj1F#DCXv!(Gy$c^7o;t1+roH$8JmfiT!n4P-2-b`jK7_)61Tlfx z^}IN}1v_m#>*CXALrB%~oX|(h#tD6`P+-lW z!#>MPC52XFu}|Y<%B_V~p2ZevKBy`dv*{yB5RMYF{YZSo{z5A)EmnpO7g~I4E>BsV zAig0j=4@1^Aw^cOQmfgSplDD8Hr!6@^jeYCEftnt7(+<)STMlE+zBwm-|Dg0XBh^I zL}-o2Li`ua8Lz@==!a1b`}BBTp4YlcEZztkqQ|^e2Zn{sLlL$zioKh2>iMi|(_l@I z^HSuqdQ^0Vt=mqsc?u3?lj&!^fjbf>df6YF=e!{2a=&#xS{BUi@B_0_3K@I-*4Q+h zAr!|)_kh(0rIrS)+mZryLC~7X4&mV~vQ_)#QP%s+hVt_0b(Y?k!*cm83pj}zra)xu zHazf%rPd5bu^Fc&EwY>14Ij03C#UxBe8GTr7utV3Zgo$#2R&t_8nZJGb~|);&-*s@ zn14^(H5Xj@%|%n1E*q79^}1g-tvM_8%A591EA6yCrB2$1H!WV*{F#qVJ#*Vt?+2&! z8@#e*!w$dJJ#X5L=RQ(4xA<1&g*i2T@_$9EM?7OqsCDJX{V%=Z?RRT^`SnH5b^UJP zjKzCf7N1-&^Zx)kK*hg5m748|K>umB9n`+UG;9*=m1d@Y0QDkJ#=T~1X7`K>eZ7j= z|2wXGnXzwAX*-0Co}D{?||5_-1lj*I{GnI1xn|oN7;X^TSb63 z*G#C&2TE~T0;H4!*mcFvD7{~X9ehFWO<}q_3?9WJvu0J!+mJ87>1X!d%DbI{R*?sk zni41Qe?(@shnMXI=J{#i012+)k2fe#ps{Imh77@frUqb_kqt`B2LT|j{Y-rO+p`eZr$Fr9CWOocEubaABHwyPJfU8>PD{5Si<{IdlO>4`bLf9$7IA#-0 z`%nK$GnVdB10Epo;uhQ~S*kQIv3s1CA;TCG0yQ$XWWpKBS^+edU?&o+lb`1qM`DPgzP(w-hZJ?F4@qMa9HIqDlX=hR6w; znk}gPb-PrKNr&zPf;FI?}dSwQ@k$Z#>UP}P|AU&@Sva^h0u5aNj z(cDHl_;1-?*_VF{;kpPQVD6V%ouxO=EpYycca`^W7LjjC@#W_#UUoIbl1yjw?oAhN z3dj)z6}8>Q=Ohf+2AzO8-!2*-e9GNro&q)pZa2kV{-ZOOA(PU2^4{IGm=|3d3ubS{ z_JwK=Unx1xQ~J9_PN&TF;_f-$13!He2zov2HI1@DJ!kV2el;v8fBMK{rN>ds4S`ggCg4}H5-XUkdmqRDIs{%H zWg)PAdyvZNmH$>N%JaKq;^gWlz=qZ z50AK()fG5Q-~$F$#Zg9NO0)(TFVdf%8(VLjj)(OjSI4e2}kb+Qqdkv%Qpe ziR2HPbj;z^&K>qNIS|?Vv?5#^ulLVB!~*q-WDd&vEwwy((Q61@gaH4^GC&l*Dji$Q ztm6Uh&n0^vo1}C4hw6gzb=kKPOWmjMtXS`x=9Y|iIOrtf(%=L@Dl?MZ*Evrr^l~49 z{g2q<;ON|${)|knl^X1S&l&$=WPy#QCdu7qg3(sH zD{=~|=Stdta$37?5SD*WVS-tIDU!!Wd=s zV2{~?K|7#}@Q7d;4Eg=nw30>HR|6l#=C)nm=-$K;l6R)LJ+C9k^<(>u4e5Vf;e6N} zCb}~4oy`9PQyVy|J9OGQrqaJCMJ=<4m6+?o_f0raiW?Gr9n1G(N;f(T33YJ2Xe?70 zt&=&ci55`Lns$N8AmNAm?gPQ16WnJFF0p)PQ#uJnax71VfEbR4!T~vAA=o5Lo9l*L z=rZXYKqDTQno@tHwr0gn+@OD?GqqoAVFyDXL^_4so3_G9q&c|!Yp|+E{~ctQVoc7MTGet`F6YOD! z+`oONG~Dz~bDikI0P%SoSrA|x1P-4Ywrp^XO(0Ch)*jk`wp5`VCt`m$61FDi$bBEc zI6aDDEYXU}L}q|%ep6c9!BG}f7>x$%pussMIprVvQF~KMy2LLUjqT&s!zbM2#pBv= zkAvL{5@zwn{)I47x+w6I451O<|iLO$R0g@$}yI|iYZzgI_jDTwd)G}|yrT;CwMpNJ%z z;*ic|-~r5EypNH*{(l-3>S#I`T-5+uncIm zFFXKmOts)hSb)U$+Bm3H4jiV%1hob&c+?Lg%4IqidSTm_e#gDThTO_$W(R^7o$}E^ z8^uG3(5&FHXoQ2m3fgg(E?MOrRO8OEB$S?P)dZ|}6h0tf<$@y7-2-{EVf+~p^ z6IVC}p`6J@b|?;xOS2^L7a<`|(;SU48XYm2?|09vYBPVU+md`eO^LokA!l$i33Y2) z1-M5S!mvZK@s!Uu92y6yR)M9MBP&lA$qOHs^#n1DmRi#AVu(bgLUUt^htViv`?dpfizoFI(H#I8o2^yAynkMUP`LDi$og5X z=sj9YnKFNnu8amAL-CyqRoy2agUpdYx;64N(iEj${jrTFopmLo1~c5~{pJ25RT2Ka z9~MyC86Hux+rm&3s+iNzCnXl4Sv8Tm2H>NV1JXjgu$nKd5VTEOmu;33N%>e?NIId{ z3UM~?!h8iGZEZP89Mkph@owEp?A|~D!y}H}484D+b9=Xu(H-z)8C}k7%bEsl+k+%B z(!_88djRTf+Z=tTR4W?+rHDD35U$-t#l52hp3bidLVv(yATX$Adflmv|+a zzf+~@hG8_PtqN7QX-sD5^R6$a( zht_|qgN6MzX;%5;3JoB^9BC=ZKI1_hJ=5}M_C`exw_EQ^zAsWgy;mEGo^6=!TX4E( z6#zOCt#qb&6ya6Qcr-oy+u49YsMvKHUc?C!RBgkOFOcZ~avC6f1A)F9_v|}=lxY8YzJu@s_-Hw;L zv=%>FL!gG5Ne=e2+9HXZ0*vy^H?Ct_hi8Ex$NA!CYJT|yuo+Og`VSGs*g3;G};t+Gn7VtuX-82$Fam9XbO4$uj3C`0n)Nz4uI0 zCXQ!)8zJ?bpqzSO*Y%T=gP zezyM_N{se|{%X)+555KK;vf^#!{cQn34tNUIv64DmTeor3La|)VYe)_L^^-?ZNA1H zM-tR2sNdslG=?FI1bm^n1K%_dvO`%hrjK)2Nc;w&X0RQVwJYDHd4uF^`Z(cbyT;Kf zQIIl_L{soA zqiLCldeqS^+T>iS|J7RqXaIkyi&M08T-_>qeB@L{Yy!LJvFGYoxnUH?OKg?pB`m(J zsB!Dp)z8-u@=I5C2_eu|S@2W5MSbY0I;~NZCjDBvj36&5^O=)wp^xGbhp9A?LXFlH z!}0u1*i?xZWdbZA8Y1tSAYw`uc%06q5UV~HF>zH*;a22Ai=@hDwqSoWQ$VKuE#LJ=s>%?(gZiY(@@LK3HbWc8y+Je$_DW~)OUneyCp_%GsTL$^05wzM{A4DIEz_JoJ063oEvn6ALpgq!v+tS>Gf zDevHM>O#KD)#@LEnfSu|!6S`5e%fvPInO4NxEP~}prZ)r1&)6j>&erz!@^|$YGZ^! zj?5fUyaQ-c^wgIJqmB`2;pgkJ?~T~drQ4vKHnCm%XG2gC5?col-js>nSZSlpsTpSh z&O9r#&Y=S4vHzABmx91;uU3aC$M2#b9|(h7){&Az@0bETN!=|ipI&{t6Ya49r5xO7 zrgcq+itZ5L%(u0O$u)sbefLMRo&_aM`3GjHG-Tv2*`mK|} z0AlIj{*B^ifgkYM?G_bXZ5p5f2|9?eyoZkfYu~tpn)Pf`GA6ATjMb>`sGX*2Cw`HM zi(G8Q9a~378`?S&YS>SNyUjh;*IW?$gV(U@oz57O6u-uyD3V3OO7Szn$5?Y3qe!bO z(G%3d^~8Vd<7_29`*%>2KC{wk3!0mVelCr8Er!AzND;Vuakw~#LOhPZmG7QHkCkIZ zGfzVLbsLm&`77Tm;(;*DXXn+;?OunRk$Z$em9&Xu;`F5yBPsJ+p^6WbN8YSCl&0&u z09}^5;ZZZbC5)Tjp8+}hJovD+yn88L9TR0`)=PicVNuAt<%Uu1#=*`zWkWfY4@xIN zt~HnaTcrN9Fe+{nLu5H|jC2NL-;>vA*wm6)Z9*`8}f6QFBLNsFFEcojyyB$F^R^ zlTUv-giU7Os{cn^NedO_%Ny8wZ%nCfVeK9gj_Xm-z@Le;_f?Qy$<1>vq^i@^sdYR4 z^1m!WlZ;Od1X>4h14YU%VH4?+(!NC9n-bbNPxD_$B}<{@L~Ak509u(=NB2-rivV`t z9}zw)?Lp3srNs`O-?soqw$jg}?C1GRf4qO*M)BF^=Q|tLVzb4Wc`DXnZD|2kL?iL| zqpMo%T2!8;aC1}j1BVoU{Y1hKPw$(21_v$!nD;=~yW4lZR@J!0m#5)%wX`BZM?`m< z*4$cUwsY_O`0#;UcvHsq5_mKk5Ev+Ku9)r+Z8XgdP8GZg0gdgF%w^gDc{f#Z#S?$% zLi8*9(@`Hv-m&SB(0te>fUnJ9@|98Zn*Klf(PB1)C|%lx8nQobQtdAt(~4KCnx_0% zE}EM@`Dy#GzB5DGiWVq(VM)%~)W$1v?CJ_dD^5S2xkS&3Pe-p)bj{ zE|HIrBrS{^98zv_GwC|iG=2-1?HcyvqFc=MgHM6NpTtX?SB{F3Kv6LsYpj1aX}4}u z8K(iCNgW)E;5e-p1TMbCL=5@R-n+&!#iU7 z3WFNSF4kYW#e0&rkS4pfjQ$g_Nvz3fVZTT3OSFxh)o61;hg(*p(z&(d?@Ns})N;$c zVn=u)13s&ZWwPLn4NYhZ*ld4_*zr#~1Q_J0Yb8%_vfz0dO4|^Rw02Vq^^O5j0Kk|u z3d3HQ2?|Q??;@s=zUs!S3PeDHSr0tTT&*GvhsUev`+R2|ShmP$6~eY|nf&yZ^kU>v zkh*E<&4>sqpJ^?Yc|@)@j+ClJ7)PjU+63JY?(XofRWBx3z->k5Jeq&qkknzxzOPhi z2b^1c$)P92zweqpbZB8CoBy#v@NVwV*+y|QlbvJ_Faj| zUIn(^te6d<&G3T%T3%tA80OIFtCE(|fbJ||nZXs*(;9ET*Ec)n?az_Dc#V%H8Df95IB?aHjTQnJtI_@|{BeIn zZ6|qP^G;0(v*+1ybdp+-jvk&r^ZEtW zJ0mA2C5eB=_8pO@oGoDki>IQrkx9KJ6|bX5V*szYSTL*0KAZCN;s1>XCtGXsr!i!#a?0=HLr zBT5=DA9$Cd(u!6pV5^?{WRHX5Lsbt}wt^ExGcPY0ze;Ay`$p-4hUnV+(vL)&*riJz z0l|X4&eg+)X(z!-lwQJUsg@_L*fYFdBz2R!hZ>a}=^^sw?69uChlF4UPm-;!-FF%0 z+3|mcV)Pc2{1_v-VJFF#o=WM^U{%PHCjhgL*Yw~z(Tf3_p0hjTbb9eU18INizA)(y&(0bA2f6!riU?UJGX`^U?z=9Z zK1!;3sq8OQN$Q#Y^P=jcs3TQB?Kty0iO5+d0L-}L7X+?c69&pWnOh@W%Y>hrJ}UPj z-F-wGdg0f;Dz^)UjM8n6AUKz(7N&JTUL2Y=*tFEm^N|84e!y?Z97Q&hZfT_IJZpcl z)yXNn^7FFd2oDs5LA~XJ6G>%#;xz*pO2tF4;FW7Z5R2vvC9W%(bf!QlyS776JzYJE zRf01r`mH)Ud6E;^ViZXD?TcS}qf!kX|ExFYm_PDSIaq}G8#^x`l%?z}4+?|vXh4&W zW;MRff@>zxj;Bua)9SxgM2d9JSmS@l56a_Y7Jnk84J6c6v{T1{elMOk^Z3zBSezd^xNaa9l813nGtLfB<@qA9QM3Z z2;$&%x?RT=&_YS)81~6#V-=Eg&q%;27*fWsI!4q1D0P^Lob&rgV z(v8&8QM>_GWytei&_+sPw1DWwan_Ez0*Z#|tiNG%Be`)$PoBie{HLDpEogT=8Z6Lo zID!HyW?k&hak!*R%LccNC)TvHV`G@_yTm2`zGe+eZ27in`KNL!i?n~kocnmg4Jv-yAV{L!kD!S%vmK*=h%Y#VWm^{Ut6 zCt-jFlK9sfFsBgxsNsK{W>uAPACk12OP{BowWZ7M=dyWA9LI!DAmQg5%wXKHW3Q*_ zBs6vRSR;3g#8Xe5%%xaxVI}{7O=aGO%Uzyu)%}8+g}nS%fMT-UN@}mbn04)4xbQX4 z-81g?EGs}anw@K>NR2ssV1B7RrC=-2XZKt0vRiIRxg7gB96aKTdo2mx61m17+GRY9UXz72Q-~x-fs8zZ$(dPVCdS80j5H)F#FPAkVoz6K7G)T$iQH;HB*VzzFg;hwM@{ zG=z(gO-Yq>^acg zbFM$tl{$5}B`lq~=08DNML9x3ImQ_A*(z>?A`r_N+Xc^3nq9DL3vh?ILaZ@^=);LyJogTupl}`_K4qAj>2H3b7ypPgq*##k1O@6C^mqVIR}r^* zy9^*HjO$8lijv1!Sjmt~(ZaXlF*QG2EFyKp(;amx5&fjd7_g&(D{)PbC4oa}{&9c9 zlkf`=QJmXd@xz2RgNcpc2OaO>XN5%cqjgG&dz^@1G5)Lnt~BYy543P3uM?zGIFu3x zSaRt0m#}mZNvC@%vSp6kcxYF-1v|7oB5yDycmf2Y{nN9gARRl_jKd4EA}k-XFcWFt z&j-b&G_!A;yc3{Vw?B09ek%+}+qi$>q7hMUC85oFrLgJeAHGl;dH%Yp@)u^lTEZmV z2&_rQF;arkhJd7*e(xp5is~(dBvmIyawYLBaZH3hB!@o`3Un+qnVT)yfGPdgkWaIa ziNOHJIE4^eETkS`!nC@q1^`c8cv|aUTHPYRF`^d~SJ(%RSByjWODCrC2kL*tje?pW z%U*xOPMrqwjwOFpPh__NI^$&zs$}&ETt4+8S>&E4$Jb1~S*I8^9!lVzsN> z+=^#m>zW#vyg+D5sr|3Bho|{xkpV{%+fSA3M@ps4j!QqXpDk3E-Dr&v58ZTU95L)+ zQS;+BKq+I9q9YL@q#=w9`nByZ)SwN~t(O**bw;UsT!qP!UevTM=?Q;Q;4LiAph_Uc z_h44lk|kdy+OO_!z4zLg`X%R6m8zvtZ()qT7usVrDad@Yxrm$5zd+3M1Zw8%JUt$t z6^h7@&cjgG6LcD0M>GsKflpxyInA@%2Z_pK)MfCX7P!%T0~t_6H&Njj7GUS>l3_3FR-lk|C4EXe?s+N`i2cy` zRH94Vk;B_5C%HbMt+nA3p5dB{|R@Y{mks*+ei zthmbrXwr9S_YyLb+y_wO44y)#mZ?D*N<6Jx4obL)@ns>)`f>VUBFax%+eLuB%r2GE zS`d({T5w1UbX_(LSs4u|_DE?yIXw9=2l0gTt-q&yN=^msK5akSE$!6IwR;?VYK3K= z=e?XWV$M|{0aOSC$Y56@P%M&(MM*dPJmt5-(awra#-o4AT@RoT7ekUj)zjbE@qr|P z8q&TZgFh}ZSTxGU_Ssz|9LaHR`sYH8I|1Z(P(eLF$z2hTJZRxVlAp8t0Krow**Zja z`~-aX`l4gTw88Qm^kXZl$g@t%xsB6h-51VchAdlei`}< zw50qq(B;=PKhiSmx1xd6;|mRf^248-!_91Z3f_O4`1q_;iv9l*mmGF76U}%UkR9Xo zA71wZoza8=8+(6c1)&~BN%y>W=2)G$Z3IqQdj|i`b~5~j7#mO+We;I%1`s;o923)y z`x|rP2!LUt7-j1fgX_W-AhPSv93PPJ_IGQ8+zoCiQT@3G9qOG<55@v6&3Iqz>sGVm z17Lsm?v>JDmK_l?$r;LnH+}&ub?xj)#RX!n!i?}4>37%xA|nrbQPP0^$f#lX{+!n! zWY_(&w8e0Y?=?Fo|1D+;BZseWY}#!usQLUQ58#Z^i`o)R&syztPMqWt@g2AK{3iGDMS6Hl-Y#TzOrR8PPbxGyc@j6bpZ;-^T<- z66ot(re0ZfU9V@oV37%}t??uz08WK|BSu{sBL09n`yp|CI3piP0&-a{6@h2Qx=@?#v{?6qTe}*K`ED|Y3AIt^xdas04$#0GAYaVqWUjBxYQWJ& z#0kUvpJDQBF+g};drEfzwl9CxQ#F_+5Oy7$fFBJvWOxLb)Fs8dC73Ud@el4sH~IlT z(E~G4DnY(75R<1>O}`8(B489dh20WdPl{j&8zJdNVeR|e(75ztmzshAl?TchKXs7Y zmq1h6t5&fGT95Sm%h((TzY}A`{^qC@Z+>DZiAcUU{03?hK@V)WwG_c^VTg06~{=T3d1{l+`EnDYU?7`Y(xgX z&9Uefo@dUnZ!}-|AIl<;`7Tg&!qHreA#!jYZ=>Nv|9hC0IHP!%s&*cwbP6GA;Rb?z zH9MIdlOhST^v)Ssls9e2QUg~`Hs06*jfZ&ftE^*QZXOR`!xFwM_cA_x4EuA)}A zjg@v^^}mK9QF}XMab)|n z%l2MN^FAfg*-f^k9Vw%)cpnwp-r*mnDJeH$2)w(V)c2&=fP8h1}o?}!Ft9#NeQ+Y7(9^NcxndKV_t$xIo#D$RLmsaXZNv2 z+{*ZL0XH~?|C@jQP>ect5LYp5{l^)hMSJFzqt6;#7Ke>QzBmwmGJeO9G|@hxH2%{# zI-~L-fPQ6E2!MUYl04kyzTKBZc!vHYPUJS{t-^+FT;aQPzpOosCrYSdxi*wR?Yj1I zYI6lRk+rv>rKfzd&pA(iu-UN@b(ZG;-%ckv)bHtDO2U5*RH&s%mDFIexu(8QR}_gF z-{Lzq*|91EBpA6e8U?w~Buc?g-YP0CD9wz#FP?>hL?hG7f-lWGPKLm%Uj!ERu# zQ^^$_r?)D-k(^uM#&_$LRR0epp*^ibBQJjB*g&*4A#`6V{0^=8&^SrC&H-0Y1A&{p z6yuj8Tqu7s#Z5{*JRjKj`3fUSPY~g%@Jl4xKuroNd1=JK;!YT%Uh~c}yaY1}2Rt z?oIrJnE(C|9^1Q&=9z)!iX3*hpzY%fs%fRVLLWFHb@0UGc^YGJb5fc3-YFps z9#6FqqjD#>BVdJ8dW#Ch7XOt)ecv*V;l`3!gzeGQkn6>l81o-`IoPNV*-I{HR(Qw0#%~QEM-`iT|qeWBbj45Kyg2zQLu;=JL~$gYP>;u#m?w>$qec7;$pdHw_Y9eUcCA z?dlN~gl-OyFus>iZtJ?tCoucgz^`@7c+!6qlYi?Q6fE+%A`N}xV%76R{-;#4QUOJF zg^DJt2}D^@arM``9U9&@tujEBeZHS5t_h#BcjN>Ae>{`|Nn(1^YN@4S|%ayb+rzwFcF z>_tAgz;qD>(3|I~=KHo?)xNe^@YR1l{d4`BH%8fmusBlh7_V?Fs?*-rvQot~C`BzW zRa2o%Sy8bb)$d?(NzYg1W9HJ6s8|py)`Mh35HmH?IvKr5Bd7ihJg7Tby5Vf3A}&xb z1tMC_#@H$F0#e%QIDq-=^>TPoWqIuA>VGx*rfpO~Clb^YUtDXaIxMZZck@5Ru|4-v<4uC_&@q^hEQb?63eaIl*36riH9v04y80}+Uog1NFM3keq% zqVUZ8X;@IbDB|54<$>2I^1Q$ZgN-p9*QUo00yp#yi5)N6=%Xx=iW5wcEOP@?~1 zH?Z7<#XDGP@o1mte0=nlK+J#MHfSpcemmk%R;_HQBQZpvQuuT(r$s#~J*@07 zIs>P{oCH<7XvH^}YW=3j`z$X0V|{*8GbFHV{(7<+zZU$*a=!1 zhiU`q4||lLUrDIQF?6Y}PCY%sUD>7cD>ntAisRP@y*p;DuEkb3RTDlB5?UdZg zSD*W;@Mx(&$U>N_YPgN^$&75wbmso-dp`sG-9(9_eThZJd@ zR$=kcI{`IPE-T=wEWLj&-&2{N5drV*cUj|{gB_%M)SyI^GEJ@SoJe$o3m>mVVw_#g zs5A*LQ8sHzs`4S3JxFy#A?8F&sZ|w*E_6Xv&m1ih)+Mqma%93`k%o0s(JZA|FGjEH*v<83k-L*}H<7Q${yt!=V zbZG4s1UO_Kan^Hjd)i5c1@Vf3+6%m4ij#anS;-njI*dyV{HEY^5Dkuy(ki88m*pya zt&v3YqywWl7)%()<8Vyc(|!-?Ug`xZR8)$@(m?v+Ne5RvEP7~9TQiZ1%iLk>H{SbL zewjz^;<-+|1G0Zvll(aX0CLA+0|{^MH5Q-k#!(n=X>ZhsE zV{7LXLh&~6Q1^!2n;MbRN16Bjd%%N zpO%UYO#9?1L$sz?@JdrqW(cDGMw6mCN?>oHvCV-jvS?2|2X7x!&Iu@j1EGP@aO#Cr zbS8iMjmq@o#gaLKMB-*Zz+U{*T3TuIB8lFhbp}7AQT@|M+?9zml*oH$6#(4fmprc0 z$mrmj-u*`$)%v0VF(0YH^mvi>e;H#VY(-KtZd$lC*MS5)?TZiBS3q_1-pv~1{q`zc z2~*nswe)%^Fn#ek@2X;~Uu#i$TT;!yJsf|8HKt6OMQv7p-5Oo57F(1u+;D%0Q%@rr1#1==qCF`;|KF zd84=d4Rrom;8Uq9m9&7(f4T_8$3b5B^!)cvDGu<8!vJ<1xty9qh(L?81~2tW8-9N= zd0zZwz1{s1l>KqLt11q@NSh9uCM;9o`5qs^__%OI<3{Jq&-GAnBwlj_ZVtb53G2d#A~jh&?t!;&Ic>R z0bB)Y-lb0+8zOOy{rp+#>Pj=P?$1>b^X8&j0$U$Pd_++ey`QUbn z2szI%@>|GwwOJ!L$V#sgt_g&P?oHt>rs~+zK(rGN&3nAa2!&ZwYai&f&l`U=#_~M$ z^GclUEU6=)OUy@w#OcWACN3i;=|@*Ei5JDS>JGGWFKnGp%96HFp2Fx82&fU&fc9|g z;6l!gs2d~;0%z#j<2^3_85^a;OS9sEJ6sl&xZ~(Sy(H@jW3f4#KzuKp_ndTVc{z@& zV=i0k8xjYPh9bQaWUTXTQCELuip)+xtl!AjQBztj-3aqtQLt+JlYDe6O%T4#z;fDJ zP>`k?jjBjS40AfI$#Q3*!VAv=OSv++SVCNtKqChvihRW>BMPt)xcI~gA_#sN8=GRp z3ZHhVpEO@LB|mm^mD12XIdY`s*TT9K5y5C**#x+x>Pt8-9`{m{lv;lX8f~;5h+~c} zKg8BY>S#UjQ#R0ge*|LM?R2vrUm<{B3TJ4*-i(Xg5RT)rG_Uu&Y(WT35dxr==)fJG zN*lXBbQZ@IRA1-hJRZbG~FT| zU|q71R-ss;l9VH|r0aj1M=LC_+=`-famTZg9CA$|EHT83^y6Uu4iAktK~ZCFUS}>O zCBZkp`i?TlDQz06Dsej!!MYUu9OQmG86h)q8%t6sEMs7p&(esZ`viX5eZJJ8x*eZk zkR3c>WclNUtTkPEH!msy?XnICA3JYd_llKtf&fF~D~0WX5#4_ikOL~5Q_cZtt7W)8 z8jqzIKCHFOk^C!e*E5OI7Rxw_gvlMl5pd$hmLLa3XqrD4&K51b7OA%6upufmHW<*C zc2}?b@3S!cYW3CY&G3?9=vA=U{~4lf>y79{3RZ7GLjeN?lla_5Q`JkxdS% zsi+r&;?gl~pui4||H#(cDlDgLSc( zO8Cd7pZx8t0n=859-LIhQPu3l9gAvjxs0N)F@~{}!`XkomFPqypywV9wwMJC9@h#) z{fMmJ{QOkz^b^)CbE_;v#QSOd2(UMc=E(#3#RRn%rNCNBv0#w@-6|=#<$L9HE}T_m zw02h!&?`65pMuSeL`}LlSv`oBDqqE zM=XEH0$|c`$?Q4X5L1@U^M|j@QN9tqAM6uWIv74a-09FWFw%q{%P1ol!)?Wq6-|KV4t6v!{Fujsi zT%U>Srcj1N7~(D%=eY&>c9cQp9=*EA7^9(XJP-*i9C8ll}ZSX;6=s>N04B)5c zH-(_0W~{bKpHpp~$@9MtG_JfUpgf5D9Sr8BM&n?C#GkLHm$`}GGXbXuU}rSu3VcBm zm0i2tW#d0C*J!p)#X*QyVe8Lx_0|j7#FaVX^Yl*dXSa8PmQ1B&ytc=>^KM4uvgm&c zaw+KCFOz2zJkJ@37QZ&{H6Rf#aX;;g-6a1^51^#fXOvvlX2^Wl&|d&i+flGd`%^Js z_|!OZ$?>OzHIHUOwTg$+6uLM2;tzi&SZjE(A391I2Xnq7-FnJRIzTeEli~ceF&^^8 zGC5p^prZ`R^CeGcoPt4dbUPd!X(U+D15I-LF(tN?)@-f9W4^8!hin`9ayQl?F+n)+ zkanPv%4vSRRyYn8dw*jLi}C;{Qbr4$eB@@+-LjC(jpHt$ zt8%b13yIpCIIB~beej;98gYMWPXOzBqh|sJPf&=&1#6qrINVKfF8^hY`v_6i+pYv& z_yH?`{4jNVN2YA}nOz&LkRjEBG2*Kt(am~ZDjO{d>~XHygBKXu*HO3{gk*xfKb7b0 zcc1%Q94$;tS`-lkc2}NOqUmEas)3g5@Ln~6LhNHl|F$=xu4>UYh_`=!U*}Rvb~y~C z_72|^v)G8;>0u|761or4uYY-KLwWN`WQ$eFfp3I*m)4FH(GQ$l z%M6qEC=NLke1IEw0H&JN5aXK6}oHRPTQsLMbnObgBqvb7{!L zojsM+C)CQ-PnLFS;%9#cHsgQL@*Go!vQ?qugdUJwb^Lw)sr?uIAB{45UC(iktT({m z^anYl)PGSy;t0V(hyUOK;Iy=e1U)8p%yj{`gIjmCWLRkhYuIlQa}qxX z7-d<(;na4#t9$I>GCW?y$b@u?QR%ip^DSykaUdjL2D{&Wc>hPhU(Slyhfq>Rg$Gqb7~J{bzS)+QC>{wubu|XI!c_liDPr z!>WZ}_0u|Q@Vb8y+z)$A%HT#=mUqArsn4P483ra<(j3D(@$C~Iy&d0Jax$y>!d|m`ru(!J~ zJ*5j~0~r>9fB5Z6O@fG>oA7=ktF`oV!XoA_-Z%d@X`fo_eMJ~9tTrH-R?qzq<)B|j} z0gg(oo4vt?PZtvVm+jSxcQ5^o2GDVqRFE&+JXJd@tzWuqN_lRd)dA)0*Pn3yomy=sBHA^<{!I42>a==LIYNX)b^7w+c5U=7~NhQdHVX<+bdn{B2{2 zJ8<41@r@A^EQVw86>U3BzPO^8$5kj<3+|RR+putLP9RIsSPpk6L5Wl8+}#}y zTn2w?x}1wj3`!Kj&OT?hO`9zae?|0A?GGaHYuS;&s-vhs&~yeMQ7KT*G$sPM29n=3 zS_eq`2j(@eP>B_H9Vl4cdzk`{QqRRCV6zs!L=zx@6Isuj{Gzh=%$;bO+|3UQW=&?) z3{Oh{e4HvA1%|O-u~}N_F$+z7@#LE2#FHgM3v4fd8-%?FR20kdILt0NN=`!(Bum&xQY2?Yg5;bt zEJ+Y`1q396sEcGJs7Me{P?4l!07-&^pn#&1R1lDid_BN@*Y|tpJO6u*J<~PSmAbmS zYVI;6Ledv|%4}C%_WLgQi+BRv;q;)#=Z;pM&*id{e|@P`Z>c;cVT9qE@s7&Plzv|=LOAg3CNKfvbdUB-!_HM-IiE-|*E z*)Nx6a?J{D{akX00xenEdEsiIUVF*yba%9E>0m@z#LRVW|4`)6(K`RdnA~e)Khr#& z;-9mcM`>miU9pj-;i;^k$R>PMqV}Co4;sT|yIt|2j9`$z7m{Y(<|#X}Y%kDj|2?r< zzlc1Uc$fB2`L(J7KfmxTa#Xln|3hOs={8%YXWDe<3muwzCj>k=1U6e^I-x*Xaq zPPaW~7pufL}^qDHU_E*^rJ&i60hMBA< zSd!{49G0pc)m$WBI%lWJHE1uoH2*-VSa`Jdtb0a8g~qh*>)Nle$M4^-wU`^^or{t5 zYMO_J{7d<->d=y6a);4LKjQ4}+T0@bZ*HFRB<3n=HnYG zY?&FQITYJ)te>QhpE{NtoP9dv%;0i9t0Xho+oEdXt;+$M>WYCAbSJ-@H8uNw_f|Hu zg#!Nd;_j7V>`_^@I-i=k$-snH1 z!dsJa^0+u1jw}DBMT|3vY3ITQ3QLhl=xm?8W}id!cRjb$%U$g!rDu-AQXi|O#1_*B zKnEbZtxM025dxn7DlncT%L(w!`R01IHLOM~@5wXeSlx(Y0|IY9^j!H(e&<^98!W-| z!+~?&B_SEAA2&lguQ7$oj|TDG7i_taKweWr9&&)rAjeQ{gC;Ro+nw_kA6W_u^(%KL z%um{)EMhq|vf*;0bWQB~+x+Y|3b%XwLXP`Jxat>{1ofM@@tSy{>$waFhkIZ8Pnfns zCoTme3L2(zb7=S*8Shn#*tHrutyNdwyOc^cwQ$E5J)dkZMs>gcR(CRGS{0>Og4VA? zb(t&z2A#!ZTV)sBv{R_~_uX$e;lB$mcYesuwll3OkqL5V3==hB7?-n?0@|p9co3J*cyxSsXAK zE1&di`gC=^KQX)q`(?*dv_5Mv_4vqB5$9ZyZz!>GqDOIV(&yatgh%5+tNrB(Ok8cl z<;&4?JONZjBC0DsH)V2Zw-z0!=|10@Ft|I{J(kkO0u6X_i}ROOk4T9r z<402Of6ZJMb-dw*{H6c;&DNV)`PIj-vREn@Mz8ia+Tb`)866s*@~cm{A3y&7`t6z0 z`2zaed3jt!t_y!6KJ@Lhw^VBl+Jr2*zO zd)H;bFQS@l4A<(nANA5ss$bn=n`LWp_)@MR-4|JMp_n+kDHCh)Z6%m@Bhx(jP;#|y z|0wIoe8I4V>|#gU1A!}HrL!7!@4f0y^l?pDCei1$JEg8?p~#x+$Koe2k;Fe$`AOLh z$Hz$gEe*ofYah?+h(wr~v+blRxCQA<#83CcS+RdStKCgW7kU1<8A3{Uq^ffHzDz%9 zN~!(&_uv5{uc=yS()HFu$3K_#TU;d%I3!UZ(Fk>Mp3)mli&}asvhYUn=KQVlZ%m^r zRf)Xm%AH~5v~!_r*93KDozLTbsZ7}TFJh(ML8m2ibwA;cSiDCaTRgbq8+cZ~O5cw% zJKKIteeFYh6whOauvOY{vW~k`E=SFL2D8-?rA{diUL~$(qf7J>56Us;e$Mu_H^j26 zPQ=q;--U({w*yy#pDhlpl@O>GGETQp7AG-TUl9$UJEAn^7V2-p@J2)J(T^w=_N?1R z+E!sW`!Akr8o!hy%a!lFe{jaa zbX8l2i+%+ndYWt3?<7-R=dmlDl(N70=7yYAze}Li7fYVAepj7MEf&4oKmT}Bz}@Bg zr=vPV%Sw~Y^E`chtBZiJrPs>W_19#{kE_ly&z|4@_+vF;{C#A(KG`uk&gzfoZ1L8G z8lwlV$6SiV`dWnD|5z6mB>qn33w<3gaJz#s*&?YtEa*B>Y^d%xw@bu3>x0VvGD8^j zp}VG(xD|ifx}y>y!W$8>#&?!xo;J%Eq@_FObpE&?x*G7QzePDY&EakmjgA|?OSYJ`pglMG~QtF zmb}*I=B9c1(HGnnGW-j*#RdocCGs_ktR_XyK|H|*YTRtS!@_S9#pO8!ki;SG&SVDx~9!BIEr|v zl!SUPW=18gcpE$HhW_y6ok){S*E`BXZY7v>U)?y)4`ZHOGz?1_s?{>gy0j8h?Q=0I zKO$4_Ram+_oF@`J79TJgoJ*~%anh66qQL$b0I18iehG> z^I^xA?NdH+TZF5*Q>f}ZP2XQ76EB=xUOy{bRQg=HaxBm@`Nu+x<@i$jH446;=t~{r zl@XQI+3neZ@~^GpFen6hk}Q{Z*P2fck;Ai_{GG~TtD^>Sv9v!qwM59|nCy+0a__bn z>HpXlPPd7c-%vUyB1Eo}O{d{%ecPWa`@#?)7b^`pks3XUiCc9*QR4`kE8p7^r!>Zp_B{ z7O)-BB`(GH(DSQptVCHbP#E{ezBahg#Kpiw&d=)JHGGozV#|5)*cHj}pb-=u!7X|< zKYch>G}>ePm0iY@OlO%hkLTA_3l}Z~{U)5vy**PhbkTy9Xvh*Rhoe5ZgPfQ;c*t)e zN9K|AD|)4(SSvDNg{Xo`Ze1C#@98c$700-q{abw^J$?G(!%z*{obv~?t$H=hh=v>vzaluoWgK;Hox1Jd zVn{P1S5g#C&cjT7p!)oE%HqM3s7J;ce2pJzFe}#&hcUKTZiq8d<+C931{!An#LNdh z3;lliwEB%BdHE3+Eo+O02sS?x#@y%ng0`fq+hP?idjGlqFg^WgoB3KIH&uyo&bF-csBp0YRHy00_w;dMr|!?zFL@uvM@)>F zrxWLs+w3DM{1=GHOS;3thB1W(rNJ)4M)EIN#W+Teu26kB-v`bs464sTlkh`vsb=vv{BIv`2j_;+6Sn_qb*t)~K2<9c?Oj*^wnA z+9$xJGKO9N>F?#P|CrT0p=h*B{NpcS%XYPQx?LQZ8Bab0>wSzm+x*a@__Yr&)r|F# z&_iucM>q{OTFBA`S^ThlWN!}!R1TOvL8aRug($Um3GPP-B zkL9ITAzBSq6y~0rB`IaV28^lBmy{b% z*lkSQFhv-UrO`-rw6|#tK6<{^9-5|emhNe6&1&80v}xm|g{)PB&A15Fk1R*~Q?OgF z96dIbl3op+tGps)%qLxXuJg4+Vu@J?gU(fVHT93gwx1gBa1?#K96<}V85b_R!JG6N zWw9;&JQUM?y84lto$I`c)xcbRFFq2-?hgK3ry0MPQZ(%FL|glf;K-w=0Z$TB5iL^3 zz9LHc<~^>>Ul3+gK%EIMeIBIpPM+osYed4l(H+*7XFB->&j)NYp^(oS7QK99nFkac ziKUAN{}98L{hgi2r+PT&l52<(O0ItH9(9BHO0{nuzfvz~6d=<&`Bbw&_IU?4(b9p) zQ;Q)yRmqPm?XF^d*0%cf&sXgorq&5L>y9^m>&?-d{>;szYQL7G(_aO?lDo~!f_$XK zP+zez_4!R;!Nx~k?c%Iv_CHPUksyyoaw343rY9*QIcVCBuf*~i`>7jIOna=F{u zF=BkIrz&ZQe(3OI^N?kr_xpT@Fe47;#F^Il1RI58QF?V+1 zS;WPt$c#_FF4pEE=@XUPqg^SsloK?aD#%b7hQkU(HT&x(6fF!lAq0h%PPSe>*8!EX zxCmF?H={Qscmv4%o&1$Z{9cMmX5{yeXv7j05_`3>4Zrc}t9rk1eW@J4a9Qk(<(1}J zU+47?YWsNx)~jVmq1b4|Q=*FAZnjaJDHSa1Dmrm8O)AT0p2mlnD^|ntCt?MWxLh>f zeLVa%6H(}{7^UYc?Zt=ToTbOb0|v1frNNs|^&|5;CSPQkT>O5SN$BGI*~jvB4n(JW zf*m%&C7X@voF3L^r5(6E#H@2E7c`G`n6jhzM0i$fiVE5V^BsjK?M^lUOEe&91-(!6Dw z^!uip&LQxL;nyqoLLSq$?u*Ww`a|dkbSk4UXgf4Tzx-TRV*6~$gDJ~Ut=T>7TK$NMnvl=;$_udzP)P42!&KM=x!rdNYr+CQ%xNIrZQ=cEW>d zJ7urGBujZD-w?;`z%8zMUxpMH>whQr&+E_+-6cE3v3UM*na;)!w8j;qz8a@eb$F&Gwr- zy2V`q4gJWS2W6xUR3H?MO=F?6K zG2ruqQpMIPZP0g3x%5Yt+f8DkEnCk%R52Ay@e}&7NZh=V7*p$DrR}zm()p8(I}t5O zSSfz+WJ5q%)STn>W^O&-j40(zH;t0d^Ql3XiFG-*18&?NbWf-`<4rx7JP`MMn~6jC zMfX6=i=slRo6|K%8$Zh!_oO8zguC(c8hfV9-ZPe_!w31%3^mDzz4-Ffm)t$a?1PV7p)0J-in?@(|E9LY8Q+%+s2Loqr@gw=7O&Vs;ah=FU@`Pjxp;v5cWbql`s$}Uifa7@FzV$G~$ zqRe?f(sMr^jlL#mrM4PB63@I-_9_vh)yQ+|Uh`*hR@c~Pb1y}Fw^SGw8YWF`o2#M~ zqtZS{=Wd=CAuf4X>8V0Q!Hc?IX_2?St6BGD5v~YdXJ_P3`K(AXD#=JPAwS~3fi~7- zS#rI&CP1XW?O!yyG&r@?MSa6Gc5;2)6>>lNlUYn1)oOOjtF}#I%tDv{>S|CU!^O{{ z`cKqCY!5nDsrXkF&kndHzl6H<<4ia5qvGAJln`-Cazv-A)@gcKV;YG}gu?dr`~wXY zmy`qT759FkcFsN9_8J`<4ssRtS8bT~ zt^Q5z;a9h5FcsEmsTSpl6TM~>s$lG0N1Dv|+(AM9TfEQ#!xdOgt9q1H=Tqke%u9vU zxUKo`XYGh-bSeb==leV?HcYeYY@BWagqWn$RpijK#&)w;7g}diOb1$v&BP>sXIgm3 zFxn4JBFsM8t_vMFL{d9*6RQ8S4X~*w)9WMF2>wQ5xjq@L7jR#I^S=8fZ+kUH!r(Z zKsLxcX4pGZdXuk=ak4+8S>s%~U{8w;K}T@z!&BKNVNvVokRC9kuTZe7$m0C1JGet1d0Ow`$-6(k7wN;dnBy)0x+Gmpd1F zMXnvX4!%Opu=iM@n65Wp7U%1Vn=1++b`yfy*=F!>6 z{C2KFrLSL8*7YPu_V=2^0yBw-T&aMS;ae`EQbcECnTi12EQ5l3TPvcvQ7^9kj^NQv zIJ#r|Nu{Wr$)TTj__>8ZTu}&PU7uvFXCI^`^-8rkAxhY|FR%YlQ#^BODRV?!pg1|47V=&hx1B#pvhH%~Es~ZG z;is8nukyHl^ZjR6u0Ncl*1ISAD6?K`@@B_mhdc}aa!NCj>HQr$E}f{(%FY2samFKP z`VxMr7UEk}?M+On%R%o8<1cdV@$x)yrjIP)7q+s;PR`d&>M7Vh#}3EWq|h8pT;siH z(8)I3cc3L?)3P^A>U%88=JHgqiRkZwBq5)nQ+yu|8KSA&0|c^JdXFY@1kyiyB1cDITDcQarPc%K$m@rcsT=c^5%8Mt6Q{9{C8+EET=5|MEaIJ z8ztD!n!YwN%yJi|OCNf9#Wsd)!{^7Jr|gWCNi`>FVlp+WcO*vU9O*Su5cNqK>z(~6==b@29zLLAlzrMr5p}l-Z z&yD#@kZZypgNQn(pZ?wFlz*?+D%wbs%9bhU$hx{|5m`c2(!~SIa~89`$f8f(znbr> zo~E+o4>>{PRS>ESt2)eip2ioyUW~@hJMsh?(KiYwC7FvsUZeu8k%iKCp?38_Os7^( zUNE(xNVrAyJ=4#?Bdevi7HREzyj1l-UgOyZcbX`o-zb$LW^&Fvx95~;VE&NQeeF)8 z_EQBD<9p4~ti!1u#2jlV>)B?a$~m`4$9K|N%eL7Z zv|mR%D?CObUp4Djqbh1yW6IqhIQv;6wK6V+*k4Pvt5Cf_F7QrG&}8BM%d(C~tWqzZ zXSJtNc{<3J#hOg^S{7%t-+nxxNXDR5xsgAueqOi~{ z?C+q6(rluP=KKS5_XgQ+E17Win}vQfDm{ciJ_LbgD_2IsO5*z3OnoS>y(*y0{Saf5 z{*T9R$x17%-M5`qO`@*4{~|rq@60Klcr=XQie}ody6DeI1;U`Mx1}5AgZ>KS6s+T3 z_cM-&O-kHa)_KP9=-cc~DN;qxX%C$Cibv2#_kn2Q1Fge}8G=`TQm@@D;JqBt{3zpX z1#(pHz){nBL%uPx`Nc)WfD0X2PZuj5Wiv8lN{uVH(jX7qvgVHPaQ`!RvBV^2$md{Y zW%YP?atk3J`gq!et4U~JCCzzIZgZsVbH25K(gnZDduQ&|^^MM1eGhhI%dZH%&z-`o z_)RO8FNC;me0t!aak6vadVr-Q-;&Os2cl#HLG1d&)2UVzxiZX{hHodwaX12Rt^x^)`Y@m`Il z!DJ~^vyMnV8_IbWsY}=UQ2$z3nepOIH;Ln4d1TNZct%Nm;&fM6i{rl`PB^rTqc1*VhnEAo^evXZuInoc*euMQ6xCtuxxDX;}43kkQ>Q+Kjz)Hrt%m(-Y`aQWTKpi0^Ywcfo`5YSxfdWX0Y% zg=Rxo+x7}8zw};xVp)y(_{1!bwTkJ74egBwcd(AvWr#64&jOlr>)Mk2XAJ2COp!Z{1kzj6Hq} zHaN`o-kcy#AA26l(s^N7|H1GZacs#@qai=~vT7JWg6Lsl@X=Ux%7JQmlwwGB1S>N!>)F8fXmUj(=-6Mt?gMjJ(l5z?W|-y&UM6q5h%tA=Ayx;p6VA-7e?I4f3zu z$!I)Ml&)cN*XT=~iOX|t*;R!bS1pgJbDsC>D{bOSxk7x#EMoN7MZ+g_W?(UB=$>be zkO7PK=e1xxPB|43?FXt{i+Qt;@dWD*QPtIWBR7wC>2H5#``R}7m0ckWfgNQahrOKc zlM0s1s_cliA?sBN)1K&=rH7Z}H;fu@oR5XL`YX=e2sP;JDGT*7S>CcjkMZWZivDco zd{|>tH2sPwVJwFmsq0!^mgE~g?iQt9Ox#>&o-=b$8yht1OgBC;JQ9CD`&yH*uJkDa z!rA9drutV`q<*~X8>j3uvqY15o7ne+7SG@C79wx^We2!%$W;PLW?PK3iQUpcwM;v40^847< zapLZE$PE0ifPqi-zE7FFIh^AS;$NK0tY%{wTV3mHZth=Ty4ku?KmU@#yQxhvTJAw# zfTPa`!JdXFaw^2(^;FM~+$&eCvZK%>X6{EXY0oYD30Pjf!`AigYI>=y$GD|n7Hws% zr5g!zW|(;R&pEb$gc&)Anm={6k8WOFQRV=8EniY!c$-S=Le%BN4#O)Ruhmj$?o4a> zUSvAX>h@gMl3lO$!e&5O^S4>*HJs1s2U)yhB9oAU_qW_O`3}xFa_+^i@qybSU!>fh zJH9N@t!Xsl@8KU1Qyw~FHGU`?ITAHG{}!JmdxP4Qc(Ubt#8O27X6blD`(&OtHQ2YHq6i+JT~&f9|C=&lEMJ4GJq z3!5;`XN}(RXC(ajXvvn9vvL3WixKlRoqOWeu~8out8?+=cTMb-3+b*s`sw&yjZrti zrU?Dfd^DIZ=zg@oiLcg{QxDKlo6qJGt7go-A5UGK{!V;E{vfwQm}!JlIX=Hdw{A!? zcrm)Nm0<8AkALSI!U6xKF7`)GWO2T*I4ws_e90_>#KUoDBPD+Hroyqp7UyRYuC;0x zdnlkb7o}GEJklVVt1%|y_mi$JmVm1>)lyNv7vF?&mPJ#`yXeO!)#Oc9;uMT;HJfpb zF+HA?e^Nz!>%?E)`6~98;d)ckJB3Otls(Ecrf^) zlqK;98QX^%j;i1BscI1|(?aN0T^h+9<;iK2(T*Eg9&>UGE|%RL1*5C!*J9>ZcaE43 z`#B$!h-hndb!N%Ss7QcR@}FSuQPC{);AXlXu&itb6TjC=PS zOi(S@L`(O4p!|{o$NLwTC~@M!C#rGV(LrHSALRr+DD<|vq@q%t=rL7Gi_T3i9t%re zrkOupd^4)do?I={(6;gUhMu(g#hatAMw&0*?Q^(Qjh=n_C!$#UsI{_1aP?`sh3Zslno|me;e03->57#7~sk5UgCc@y+A5ZIN_+HBXX)hnO|p!df8=>P)!iTVGt+mKF7}k4 z$oTDlG|!W2@hPp&)5!TR0xpxTn6=2`kB!og)-F--nN9PYDOUR26cWvZcC54Ly+?QS z_ZG6wnoIt)+ie7KiNk?(c{P#yA?C8`d0Ul=u-c1`AtEc$!Ly&^HExw&pg6818aS~! zBXzQjJHm73z03`D`poCyIhj+U38l5;){iq2KB#8iE!7?>i+Mr5y6GwTF7lMSfRIba5XQv_WPcX4?<@?i}!rS_n<ZX)u%@WG)HLSjcT5y<>@W-vQwLU zxps!}9q)|O7Z)<^5KW5P`6~{n;*oD?^1jgn9hbQ6*Tf3(=DyG*a-Achd*2*f^NVNDQGTi4 zFRnVMGG(7T*!RX}jI1t$#edd^dE^nZ?3_E}jzlGcH}B=qS8kio^%$u^8wt*QuQE@g zU@`T!Nv7JVnwVN@*(#&eFWE&|eMg5xeBFz!PB#mA{Omm18#TRiDq^SYeU|I1!I+QX z3`!TT)CtWkdGunMqXhL%OvV&$maL&oJ4YRLj$~%-H^5&y#lcV6<_) z5aTWWPy8)!!q=?{^TaEcSS43f5jkWUjl!DqhDVO$(B zW*-Ej6JIzkk=3R*Yv2R&e%8+GYdyZj!eDAj*<1eO^-5`bTP+z`&F|}0B`$q6O;nv3 zKWs`U<(%r0hrTGd+&(Wj^LyG3>3yE~b0Ej6QTOf>zeW1vQ~b2oiSlgqx<6@t#~RF5 z&W#=QnB9`#axZn^kQR9V~Pi_?T zVQh^c$6s@O*_U-9RqvPkJf)w5hn9Av*COXS;!1XkZ6D8|psRxQZ=<+h6vqn^+1_XG zeBq;byu2=R`L@T<7B}h3v6J5V*rJ)Sl9}lV?WX%N>jwrB76K!QV*=Py4~S|e3xQ}^ z{jn=wO@#0B%N@)y))?=-b0Yn*Ow<>8tmMWhBhTU=d-9Yv_NFX#sP3cPW6>$qKT?KL zRtHVErC-mn9;3Lf8S2rz`8&J6B0u7UM2VPzZm8L}^&U1)si0wZtb<;~ifQ_hmZZk( zqfu1G32ur>C(T7%*@(q7?YVw$0yP^UON0J(pAB-A%^E{hL-eZQ-H_*(&NL;^{(hQ1F@M}PsemY_ zsrY@d(kEG?>X_d}HO<9}!I-oe9!{O_nZBd)pUKtLd0h^y-Y2XOmkQ^ShSI1~R8n$n zqOzV`4zMd49_y9Z3=ycQti!f`iRW7=WxanT$Rya`e+S=pYOuRS6H++Hny5t2c~16w z{OPdaOZ4pn-RqyR{X8w5Lu+}90b_q0?}U0qmrAbv{$e&{c_&Z$%gT5$*XQO;}j~_~ZM!fQ`NT%yxxQHwB4kK8kFnw(0 zP+_oQeQCXQo#}qy z_FC9Yb-m!Op}ctf52kZSr*gcg9{ZsRL+uEYL&IjRW?r-BS~iCJFZGlE?mX_PLG?33 zfA9A{ptLopLCDdVI>B3Jgusyw20;*sX_AeBWFrGH5J44ij1c@E9ViVQ8W!T=5~s zNw!KF z7y~7b1`6PCfQmc@XpaNsz)|v89F7R=gaNlWJgfx#7`7W855p7yIvxlHW*-X-19$+t zfYRY8G!Rc-NfBVfQv?RXFyJL96wn^b3-||{3AErJ25y1>fIDCoz!cnJfyzKka7P5c zKLg5uJ1{$Ru$CwVptK^4uK>ISmJ_7}466uZ!@de83orx103So40Vyy8;0AV2SXQ7X zm<50ge&hzv8@RzL;OJn@(Ksv?OftBE^#k`Pv;q+r2o@Tx2pkA@Cg3SxhG1+ZAOx%_ zMjrNZfDNj718)V$7}%F#H8B{B5*@4`1`FUYE)Hk~qvC*ocsz`<>ny;!U}k}0cvx5r zTxT8++!uuvN5O@(VRK-yfH6F)C@frg9S^IARm7m^M1j-oRmP^qf)dWafk|9gNRX6) zhM1{=V}RP=D3U7*lIOr;K|N{of7Q(f#m7P2?1NPDO0rmRKm3-9pF~7~4?cjB#Io|B z@-PJ&lBYs}vc*aYBwh(n92kX%D>CCrWoYQo!T%~R{{LH190`6+co4yUkP{E=1&WB% z$(ebC28D;Xd4$4?msHEjc9X|w)FoXi39bN6~Vsp*C==s`+tp+M^ngxLgA!iB0K`3|05?Bl$r(` z!rwH}q=^IUoJ{{cDWroq=r9AkVF$VT(%E6L*v4Kw6oDXtma6fNA|!)o^u|G62oezo zIqyOdij93rkR$@3)VQGxNgxoYMv)^>6cT}MEKr5sA`qCyP&H@>0Zxm4ZAhBrr^v(9 zctHbFL@@1@jR!{s@Jg)0-s9hzP&*SIHZy#Nzz>x69?WY&gG_rKvG)KtDol`mugxWB&#>4p)sL%AzG zNzE4GZEQ1!{1FGhBKTJhtUL*Xl^t{#IYRh81H=iaf?95uLKvy$1at_os{{vW#}wit zQJO*rfmOv#fmNf-A$oFfI>5s2Kh83Rgur^JGlirOilmRGkOM-Aq+$k1F)IDb6(djT z(}p;A3I1(K5{oIsjszy|FoST&y*b#YD`O7mVo1l$0oxCzfGs$0{$l&U95@4x^w}Ib z3@R2Muz*zeZAUVpYYI}W>N zEI7{C>w|a#rUz=Z|4j#Mi66QCq67BeeS8o}?BatXaPNxSyDIJX!7&No`#OTtp2T7a zNs+$VLI?IW!hs_S9tq0Q?_c*MgJYpxIEXC%qJSeYTSC%0ySQ|6hCc40LUuS17VV;f z7-;wU59xh_!Ds7>|BrjWt5uB<3{~wXzcnKB>4wv9794+l$!O;v~;aF++3d+$l z+5r;7fP}<u0(id<#6}YHgycb_3{#ZQ5Az6+MWG~t_Ip;@hoE7|9?^XW28LirX`YY_$;J!f zp+;e02$nSB2@y%c-Vi$}zzd=i*_-3NL5h+<%{{gE07@`Gft2e783AeJyui-0 zr3xhDCaHKsEMTKB_J+9m_RS;V<`d>2tEsNhIfc7xRR=nWhO^ULH0q zh~54raY9o^3&8QP8h^7pVXk4MZVqe=k_Qr#FT~5eZ?;`><|j{Rn;D&iSz}3IzK}T8 z9)OhW2Z=cCKh@GVw}3JJCTs5E;_l=c6yyi^fyC!uIn2YtT|EMwU;+0c4B!j9tSn9% z>mOG)GXb_at_zPslYaR^oRqu9CYh|T@soqhh{SXb;-udbVwW%cgb(3Bnipi_Bv+6} zHwO4a)dhaKS}tK8LK0faXn8b<%Kt$jr36A& zsvzc(u<)=JGV+P=03k0*Nlwed)yE}JQphjZ1)KmLE% z4u>Fk1rkaI;v=FJ>Ev{LLPEp9?u`BCk552e0s`;N4>le=*hoO+59eTT3=XmfJV+2wAf=$gD-uB%t^j-( z4+3nIBEZBef*eyG&U3)N12QX+8Nv}hh`YfJoGZfV9oSRRir@giD}nS1SPk5Oq!9x$ z96U%TKpKaqgOgYg)dR|4rZI5#hKG|nMZg*lCw_3=fLBr!0}BmKF_l1qfdU8$aApA9 z2i%~9uo$!g94RS)-~c$XyNip5o12ro0_+TbyN^q7V0geT9KXMd?Kz37ze_0WIr~S$ zzrfuk^Y^-hF=4L;o7^Wqhy&yozy}?`bod1Lgn^BHZ|J}L_xkScXeTASI(LOn`I*{wDhm5*R2E?BeAiiy|3>K!;pVyOj19 z{oaFJI{RkXgWzDw``q>*U`xR4@9+EMz;s}MAM8rBhXe1Y@@SGvIK;sKv)M;fBrSwM zBF?DY-F1Kdb_amzfHTy8DWK&6h5evqZ!j9nBNqE#gTN^4{&~BP16YA%eU~p6%;i7e z|IEdR&_G@6{sFy@3Dm`cg!3;!fVvQy|FbR>(eS$1wK|nE&=vQO|L#hSg?0Vs{Mv)Sy8f5fVPRdt&hZyd zSXZzg{RM&bQ&NJ(;N%2c_NBo6E5`0FvL^;Ve6oSpEq@IMs^j+!OezY81VsKO4rrtQ ziyIh^-e*P!?)RACN!<~Uz^-?Z=E5NeAw)VB0qKxD!XXw0Kz|R*$H#}1cIqFz)Ch=A zX8*_w^>BmJFDY3#LcsmArv8Nj%j4xibbbmFM}l-8o@ZvC2tfBgC}??-dL$%D(me$U zi~R+Mr)V!}{0j&x1rnj&Qy>l&jD$Ft;6?TiEwJxUMSAzFrP3m8hG!1fc)1h7)pD43u` z49N|{v|!i?xXS}Kyht)40<$Z%3EYR^h7U#r!XXLA;VwVi2mn~QE(`{YcQT|j+#H5syOz;`yE1Si3&VhUkOXbGD+f37FbvoTNdRh-AyIIH zhGD>DNP;HZ#UP2Gg)PMc41y$Rz(5?_z|+eE^h6TW;jRMQD8eux7LuR_cfohl$&ku0 z42Xav9D}D%?E^H{cG*v+G;C-Cbmu3W?$ZB*IC6bs_*I$dEuMBw?4J z9O>ubKSq+e2tml?dXnx%NP!60 zA}~OA1V#eE-e9#$69dZwoCJXZla0WDxk6yT)FCinvJn_Og8lv7T|D3qNCNO;1P07F z0;2{u$_VzQy{Etd5EwAU2n=v21O~Vy0;7)LU?15Xs|k1Ykiwt^#zkO&XCp9R4IwZ( z2oCi2E)K9i0&|=sm;?#)f@wrxj1e41;&&gNgu7O7V@I+B&xye5i1J-y*dRFE9d?m+ ztqIJBD2Kb{2v}U88=@Q*w_FUt_2SI#0}8kc)(xT@EEGgJSQ&_N9=H*Ko86@=1>b>% zhbRY5iunIZFn8A~gCL4~CZZ-j(BgjgoBNsMCgGwWYA|9*At*k;2R^~VD2O0f3EL?` zZec(xO_w%=F#ZFADFlOJVIkOvHddCRm7)lO=ZwuTyR*COx92zK!VR_&LN63~-V8ek zK`IafXgwdzQzc5!5fNk)u@SAcr&$=(kkBHwp!NR$+*S<<6N2O-XjX{rX#Mz|J6amj z&#dsO=7b9&hl(0i-DpWaXk&;*Yx0^S8jdLpqdKsf$Bb&&)e<&4f^CEtM|Gi-)t-)~ zl_7*f2#lbGAaELuXc$26+1+pko*6kZA5irs+OGtTIZ*#S zomro1o68rRZD_tlVLjTvUS^pXm{W4|?Fw=Yr>N#zQSW%0OXOIE&uUKb%_*mOg?itK ztkxRxSIB%^f#REY6&lo2-`0^ob4qSbTFu8$UtGz3B-orno3l^NiLrSP^^N0Mm76;C zG~a{z_GHeHZ}T))@@>8!_1%wIAoEtHHOKZbr`YCGs2_Dz?K_b&&->>ZDr+tQotn^R~jDakDA&kMQwy5`oQ+5bkv!p^s{3ErE?A=}f6^eb#iD-x{e zV++l}3eCZaq$`zzv?>&*Z>6V{wqZrul?Hz3ejd0Je(Psu!|?gfnT^0#1~VIlzrLDT z7oCw_W@G5=zLMEEI&&{Fn?UEwP-c?2(2A|-Rg2Upd-a$lKa3b#5x3=r0)e(dC$u7h sm-*RcVsYtlGpEm4)>W4qGq*ny%)iPehkCse=T8p(1A!sO?f?J) delta 76679 zcmcG%2Y6M*6F2A)sJI1r=6`AU32) zQ8@~V6e%hoU;z}Aq6kO_>FE2LIrpaW$MStI&lB!BTW4oyXJ=<-=d5~r$ewvaruDIS zruY5W;(b5OGR9)@ygV!7E{pf&?;>jBxqRf^cy1Nh3D1in>sh={oQQntM5G0O5%{C$ zQur&4zbO1g<1Yq(W$+h^zq0s?!(Tl967W|Jf93I)XqWYjxnEoZT~IL#P(-g=Kk zyn5D}CLEWniN-G%tTip7)p={0f%hgBvFd^~L##MzjW*u?!&=KC%3ZR$j8a#u$^4jR z)W2%ATP!{UJ=6nCo(wm`c_{%CH+`%Gfi=H7%S)~KM3{O5fJs3w}%tp^xD?KpdWhp}hEmCS}w6I#n(AqcWs1$lLI#st8MUDFx3H*U2`+UtNlbL_@D< zN;c6xQ)(fsH59AZ^}G~ge4Hsg6@iu-Wb=SmH&!d7+OyeG6Y-KyvWgyCBfKNDa^l6)dYqVCUuqiR z42nso^(5m&eW`mS5Yn`f)^sB_8)8_Sv8f2duY!Av32UiX1B;4(sxupyT|7aljX{;OqS=iN_J7M zn-q__sol8U`rV{1czdl|m^SalqO^9Gc9z0~9_}U8MrKNHsXg9?^_HsO?ezu#!6QEI zE!B+-PgrfB&*i!U`mmx3kRHOhgRw0fxzgRO?=Ug0EU)uUq;R{IU(Sq77K?MG4julc zVc-9r@jHNArH?dKA)W%F@q$|rA-VinF27rB=_AzulFs*$-nMuQ(N|g<4ero>Xu)JJ z9Qt1-+aszE&?||7!-!=&G1LTB-;zR*sg& zBB?<$BsCaA#l%V#L^yto^kXzKI_5Fgc{xuSg}0cAk_#o6?{t_bHOCTqeWKJ`%%3PF zi;9z^=3+s-mSjwxBz;~6#hX4S5rNWnC}uo|Ro}lp%H4cUY8K%NFtLlCQ>6`N$u!aU zc}WSkKI(a?sfe5;rHK8{quF)OOUXvP7o_SDBF#`F@#r*07no_9_+~3J8jvnAt_QX; z)sEdJHNxAvZBi#geF=*log8@?I57nS`@Saztrz4QDeYVsTY3dvx1B09+`SCVsj?@d><<~jVJ4kG>N!G-hb9wm4 z(T%fnrH#~R**AfK9rGmG(ix4V=3{tiFYA(c;gTLB2F#b9G3(nz{Oi(W6k`s$iK7nGic^||Q zs%4D(Kw6Xtmf3c@l+G;Y>u&)PR@WA6Y^eHobYg%`>Y_E{))!KH+KdV}R81`Jrj-#x zH%sZIz$}2?Z$NdszLH9b^V_j3ik3#VR6sY*?~qQFDw$~@^C6P53U@)UrhX@_r1Y=9 zm(mK4p}}6sUp4}w+PEXqS&KsqILe##l%rCYJg433cKBjlZkOHb3Ht0Vx7+UZd0cq# z*uDNh5D#9vH|VA;pWWvOxbfh(`&@1Z9s+is+waFi(C+hsIlDX#yU*uGbq~t;-N9Iw z$7}Zms2z{n?suRum&arGyIg3{6U?*w-F}Z9%-8R61?(=b6Au9=9$a?6mkaywK-GPI zyWbZ?UtY8m^tfYPUXMNC2%=N3*B)?r(4g0654btSZx48B6yAV6;0pp&zr!8~_|UsI zXb(CddbxZKdoa)CM4r!S54r>N;Iaq3E`O}c=e7p{K2kjPV1Qsn)nL#M5dBW<22LL( zfjeVB0G}Q_4rIFN0nNFP?{s*b04@-~6Yz#7N(;DLu`aaZbOe0?d!EZrEZ*s)Y{-mG zw}Yyn3#SJta0ReKIDJku2)sL;erg(0h0__tgt;J0I57Z#2|>o`a(RKBAZh@^Ks-k6 z1pKJsr-z`|?nX@)@Qd=46mU2jq5@!X1t`}+LaW08Tm#K`0utP4-03Dc$?ZU8w;Mxs zJJ6Ziq38l%pEiNrFB+*!VWM?8N) zN*CG%>Cp(MPYk!%R59$5R9Y;*APr1JkDh=pi)P#FcV`8BV)uS6Mcj8$8W`yaIK_t- zr5TX{G}7{tG(FMlaG|(2%Ln9oJf1A4Svu|yX#!TphN+5XHvQ2at%CUc59xu@kQux< zBVCqWG9QiAm!+DPSWp?po#pWP#l)+SrW3A8{USUr@yJ!_sq=Bw;@%l~+KZz5 zoxzF3bQz_rk+Ri-*(?uQ8y_i4c`+>6Ap%iy z9nmI9Dkpv~Ew>cgqvYlZE;j^Om)-4mFyT&*lJ643UsmeOyeK7? ziAL_FXoxN4uSia@I2s6SUq-%LIAi4D;-h%EkvJA34;DAepxg^(@bq?U7~}p}d8i1M zm79z6v1nj!Svg%~mX+hhS7ia(l(KRYksF6xHBL?jF;8EhgqHNKYf_YOoWil?2C~ea zm&eI*kziS3U7TD`Y|w0Xi9ozONi3>tixXW^Y!2~rj2ta)#>-<9i%+gkICp84#G(Y6 z+nJ>?%|G#@IG+%n$+W+nNhVx?IZc+*Rq(J5X8r|d zHh)7C39d}<;fV~;tTdasNJ$aP%gdRf!6~hIg4dtr#}16$H_HRI>Pf^@)U*P-Oyf%v zJ1ia!RBh1h=3p@VMM6mxt`wHpNz3T(`=-#U&{`ukT8jk!DJ`oorbi zCf-!#d&Ci0?kA2?2F-s3r{9_7$ENSbDI8S#`LN}?-To{P-nmNce==Sq@Qo2C5gjbddYT}2w z$s_T$y_-yGkl{mc*0Oh(f2A&?a%4JL@)7O+9Qg*4&?RYfkYqFF_mm^37@smf>LruX zhRPZjd&&1v24lHhF2hG~8&h-97fLNyEt3ZE=hZT45Gxv7bwOWFoM_0Y;$~m46OZVg z19gC-A7`^N{IeY0YE0}W54S`(17deJ^i#0|WK!l$AHb7|Q}B>*&oc)C8=PYkI|j-r zq4b%9rxmkqQAzmLW>*Ae3C}W~P92f-Tgoc(h7<&k(Cy6$LxgEy*cxtRM#9UcSKn}g3lStIN>$2d#rpkf4;wZlpA^P9o=R` zJSJyG5E|1eNxGOIz=~T>kb9s#?qk~oKuFn#XF?NvBTpt(`JtJhz1z6CUu!Cpn!p3fG^MS0a7sQ*uo-vF|DQe*9!T zEsu+UayI*Ew7&6a3^Ro9;4^ZCaE3Ab8F?(>mH9^ObN_*FgqpG$Tc*mpNr&+2i}Dlr zNtuSV4DHx7pb@WUUy&8zd`X@QFkYO2=c6wHTOqDC^^=xA2 zZ01YcUgjKmM4@`o#%FWn&k2~xuYu$|A~;Vj3{0p$3{61sXEPp~FMmd*>nxDpMd@D` z6e%4g8om(*JypzpLmpM6tL!(iUm<1uTk;ZAuKqS-j){27+wxS(YQK=7zr0YMg12?| zD@n%8cjdcFiL_y|B#teWPoW|&ffLKXE<>bT?LB!m(Htw8_AQsmBta}w=qs31xWb_o z%vhQ8rmd9Eqr9|A4lBEioK9gt&f5flB)C*kU_0^o_y%m)8|+Dv#2l zW?)vWk!yt-71!3FhtRIrWi7AMTWbO2%WGvfrIYgX;98<{1L=EcKn(b?PkBJRR;sRJ z#>H)STE`ebdH_Y4xqQ8j#%NqwCojoY*L}P(AB35kn1E2b0f3^7)R?ZL{n^ z^=6yp$b3$2^w}a?sIh)u@ED;UONItsvx@b#rD$XK7xE0!*E96vchaU}%-bpdK`P!? zzULZWd@pARqqbCDMC_GS$q~%RtX>Nmh>Rxv`#wCPx-*a=Hhiq64D~rOJVmT6_Rh7S zmdO~|Z|InjRKt-ms$Z`8Ffw=4!^6zSp?&a+VmYDLA-S~%<&MrBWWMI~?%jV>|Iwjp z?R)hblQUu*R}hwwvTXdd7h;asa0N%mE&G}EGjE9g;otLypeWx?jS;WME200^{U}4P zXov%HYciECuqvtI_0D>NsQ;^6Q{4R%BnOBXKSQ4X`X_l3$>~2snCGO8=39nXdq{3* zCIv*rj(TZv*Wqx{B(dTQ&ObjLX7iFqgFw@ffA|_%l*wt0a5FWOeiRVvY_a2R_<(;7+t($#%BVR zC@&VAle2HvOPllZtZ)bE7rx zA)BwrWP`nOMg9wrt+XhT5qnL}rYztzSsaQ2CmVW09$5;dzIsBj88`o;E#7IM>;PI` z`Naf^9TvZxR#J`DQA+1%REXPz?fmn2WgC$ZH7;H+r|c|J>9Z4Zz&KD|0WW8?kzg5~ zrHX{kx?+)}Jc`Du$O_HD`OcaY>GubObE}nvdnS9QqWlL@I%FWatSV_}h(%$iroad# z8suon;)13qNasD>t}7()fm>*zgRYPO$LUY!r>kPEt`I<+exXo$6`Mj5B5!GZZKxaK zkF(5lX6!%O6cV-BI8{Cg&!%IAabJ?sJAa4Rl*}EF`9xe#RtQzhzTQYti1}_zQ7T6U zOIYumzAPWk@wHrkV-+;5FE+b!Jlw9H#{IGI)Fv&A098DZrjUrl1KN;ZMi*D9Oej4o zod?PczXv^=JCvA_t~AH4|-RmNyGB*w5 zT#{&C*=(AG<0m1eqRfKIO0RIy)GAz*(b~RB7zz}HqY4$RqC9zfqqY~?X%kC#FmduJ zN_4KO5X0lqovW%qP=h$S2jXZ(HFGR0STBO!w)o(JDB zgYm=_#uQ3lQYigU26w=OC|BnZWmjkGa%yiaDP~;gq$-e@BBoVW`rl@(q!EFJ{_iPb zMGeI!YSmEM09tloc)12cj&!o{anh~)B%5&8R7j@e^zAiK)Fn>TROmbzo2i&*|J{a0 z;?Ml|HG3@SBuo>x*sxktVn&C7=Oy$(rV<2>S(GSMD@=*HxT_XpjMInKViaSplf*Jg z50T5!S_KrRXEDYwSDI*%#TaASm>5bYL+|@pTz>Zl5M@u$b4V^p&gOJF^oX|f97=y8 zKiwui%2t+^Ty^Xv@lRGAk2Uj2__{uroLBsm>?x0-0tNOQ~FGw@*a{8Idvy~ z4*Qh7sPMu=8XTwmN&^cFZULncL`kD(P-#p|C$W>Z1+PQzQgpJzCH}5TVon`qmdtez z)cJ2*clRufGLLL%V>MC^JX67sEDU*=IGv%mXFjKwjD`blOqrOrVMbEbdZ}vA( zNW2)=Kp|=h`B!XeppZa%rGaw6;x$e-RGtluB3+0^3i*OCE4$H%>wrIq;Xd|bILh2E)DVzAZ376+3nsKjE7wOEmCf-X}Ggm8?KT)h zXeyhuB}QZV@fZ`@Dr}R-990ra+EFV4tyC5}Iw`SYOM4|ZT&-aTUbB1z9n+zJ+bp4H z^B^J)cTg6D%g?%>xjW7Bik1!P1fQZYSkPxbX#@m8>uv$2%*tkVMwTY<)$TxB+iK)(J89mja>P3f=vh$N^GX`AE4y?KB_t|C0B zHUkwG(urXiuMJeTkzXTk`r}6^{`|?^IYNo1VSPVR!J*cWMk!rM{u=%WEdb-yN0c8Z z7u{ADbH^!h$Rf`PW8*lbeMl-j+4Fp43U|ZU?sFrZ z?C3tSJ-cBk_mMx78>VWX7q%!j?9D!(&mHUb!-VgLb(gH&J{Zwa7+ElE;~@z1JVpTX zklhd4H6CDbcM@Q*ZurUm>V{$3?}kC!4TG>h&kJKe8SK45PpliVfZs=8K=%)66C*`A zKbfiBuzLd;R0~#l7mUzum_q^t6dCS4TqKAGH0ptsIpBp&+#Ph=12A{Tk~u#RB<#XO z9dyuWU?d5;T+Tc^`C+*C15_BXVYmn8VHjY;y$6PC818{uBm@Ar2Zr@v5cUlZ&=*8f ztOt!cVeUq+mUQm_o?J4+}m<=z*2Ik`pD-9y|zO zzy~NE*y&-xhtrk^CSF+ZgF(^iStU994rYe`X;~2Ko>kWWr<%q$&nbN@|E=l^&nwp~ zDR+R^bX7HWyojw)ymUcI75NrDW7%}&qf&RUn-(>xm_}4Ky%`_PR4SJG`)(uLKIqt! zRk3TP5+}no12(n7c5!4U?$>H5Znze3R=$N9YgC9iN=qv(sX~@GN+&Zoo8r1#bZoniYYyYbdCK7kGQ2fQbp~8nt$qJ=a1ri6Au2O1xkacfz*LrW8!7{zq49}n3l&AQxFyvShu=|Jiu)ER z>|p>#YGS_ULYjXvS5s$10nLhFzKAb*QM)AA3cN&2e}Q6t<{{@2o}ozaVUhN(k}fky zMd1%Jm5>h;&s@PO0m~-%iDR3;rf*8fZ0#2Hk7|8Hi&a=002?Ok=Hlf=N-MGYU8R}$ z`T`_6_hO}im2BOGsUDEP0Ru+*#Y*`Iyubsa5+-u^_u4-ud^o(Mbq3)N`&Elm;Nrt@ z7dXU#r}L1?7ax-Nc!}b)(yl<`36CSlPD@S2-Ak3$qUtgXV=q0WMcbN-;ma_fj_)Zg zMA`T7bn-n6?alX;d&LvWQO>&@Vp7NfX2)`+jd*$m4i(VVU_D9LYKjaTn;Cl~j9H~5 zkb?={#q1S0*8yB|F{%Df=iIzF5P`c1(=TgjiU)gpaRfNUv|qI>8CxLd z;w?{`Qz0C9#H0!~Nz~VDO~thGwi;s4DkWYdzK=0}z6vC}_n{XB$Wge zzsCUA32CE78~^286gmVw)I>@Y3&$$ujdmX^8%S7|*D7Q)-n>@%3sT?aPgvN5z?USH zPa!%($|X%m=TG^l%BuVqKUL!M#p3tZu>i>Of9cOmA)VA)!#*SRmht3gI6{-u`^ox$ zBK4+el&#OC?6X^f(ua#;RQ%CyAu7b(=bJxG09M+I`5!d!$U>>pI zG`QiL-|)ywf6F6(<69oN{vD5e*>^Z>h6~2;>>Ph`Tj;3x46@Be=1L-qsYIM zWza1_39o(y<^A{wb(2LLA1^10?zl}P9xSEiuj&4!Ra(qZQ7Wyxr=!%@@D}bgM%)vv z_C&%v(P~Xzk>5u1^`vXjDj7|O#PAO(4vm{J>Uf$;DAQFjt*lCVz?EgyS{UQcWmWcB zVJzwKD)EN*ao0yl9#ycMN=k@u?{DJSU0!_#*-YGBENYB#u)KQ965$DooPa8e zb5>PH_QWhT*{Ce3y)441+OT9| z;&Ms0V5h&O$}QzjD^+IzX<&d*eBJg6Qgqtl~*4CQ^cb+)hQ-) zkD*P%zcDjYUCXGqBm?z*v%;wVl4OLjby-+r)r-1#*jWH!&Vcy>}a3A)0u1%{U?_M=u_x9nvYDMZl zhkSkRRmn2Idv)4%Vo*>j(ohV(kk!RF$dqHbtS)NjhG3gtcFq$N$c2_hVExGCm0 z#P+3T+$GX|;iL)83W|QvOeJ+Jue8+WDhyc$dOJcxBxnqOEA?0KL0LH3FetoUhPU|- z>&1YzStd*{rPXe)(yDeotSZLE_9`x?0Nw+5sdT@(FG6%*1EY%ckU9`>oIkAEjrk9$ zq@yOrt%~a%nSNP$oZSht6G|V^sUUr!`Hb?oCE5ucgygJ*&Y1Vm2GF)MBLY5QHsh(z zYFvH?i@Ovw^t1WQJ4X4g`4vQyu4;>LL+^Iw@}GBQI&aera}d#ulen6@8&^ZRH(XtvHsj3lE~hOQpFp*e}MW6>M$j>9*B(zH-`uE>L(f!xr3M? zY#qd_zw2PNc|P5(8=}6BnnZVE)KHZqFy2zOKMYrhh+*nba(=&Ww3;fW4O1oL*85HM zi64fkemq-;GfRi7sZA^x&RZ0VR#%7fa^!T^2wtYV`SlsWv&iXlM__Sc{#0tRD*+VJxWPk#WTNW6`M?ZN}B{*j;EB=dI-ByfB3( z8(Z_#EDKSMX2eY*9C?iikApnGVPTPy#k?m}R;l0FUY07hOop7m99o54Jfou}r_0BduJuV(NP zg!r5-PS3-%x@Uryd&Pj6M2!Z-+SMT#6tVPGCZLwHScnU^5+lyd!cyX4ALd0%;T-jn8(sz=6w1wfS!f< zb-OL#J@n>+e55Ewy*Jg>H2BMJt7HRYbk2H*g(hB3EfzA}Fg;CNsP;ioPQO(s-TAIM zKAgV!T{R_qniMzQRUZjwJiEvw%orF)*DoqaZ@rlJ#KDWzso|pKm+HD0m1_t@Ch$q`=`K}@rgNeeHLy*5!h}^iL&dlQBCf12s9SvlGaOFuvVrFta4F)&4P0jF2Ht@<`=pt~*(n=2 zJGAj~_Lz;lJQxd~Z{$uv4oSxKjlgpl(c3=fHO%tNqnlOuQk(LOSiFUC$SwW8MQw<5 z7Pju$$}@v$P{g&ZDk(5n(0P8F+A3e@KmR4mg1lQT_=fNO#aRcpkF>?9Fe!tJSI+ac9fxKZrje$nVK6V;=KndbtNKFnvv5nec8h&D0uh)Vwb z%=p?JWzi4(3UbF$mBNkeKFUQY$w>J{ogRWh6`%jgqslp^k_f@`dhJ+fUR85c0AR3* z;*Gx*NDp@%4=-v(Kzg9_2n!A$99Lm$_Zsmh)yUB1+XQ)cIH4KvQ{iKNhtoW|FHbW_ zxQ}lfE>NS zfEWPe8|dO@{G!q6I>Dm(=?)g&0Hai#_FAD+ zjIlOedz2=`UrqyMh*RaX38*%(yw-u2(owfYM}ruTmL*<0qehFAM2%#k_KDhXi`Uqk zsO^GO8Jeoak~STAb!3e+4?SdU7K&V#5rqh^nX0x7KiIlS1=>l|?!SEpaXNQ!kFJeC zIiAfOI>-V|U9sV+Ga`VnSn5jF>?nY9vR#Z!)_A-6H^FLHuhdx#O4W!*$5hZrg_BnS z*zt(eiW;euUaqK-R-?KdPGLwLnWlkeMcUn(Yy{FZ-g??q(yk({VkR)(qcY)yL7rJ( zD*5>EqW}SsHz&BP%Ap&T(qOA)+)c4qZ$=6+EhccDA%;Qwj4j) zWqb{@%W5^XD@a3^B-Fi=sU6C%J*SpNEL;18X+yhC{O;xF%}}cyr!8D>w60bagHK6H~~-0F&VMfJV&+f<>F(66BF_^JQx1H!tq4t57}fGeWaJq#Qpe)m0~AvmHnVnCTQTyLa(o{!mY8Z$$qxiDgzXt)9Z^xmr( zVI)+&PaA;x)9=$}<0rGJMj{Kf%;;R(RQoc&soBl)n-aU5X=f~6V|{b24z+lzh4weQ zhw0@QXr+a`9IJ?-t+c_Yda#w&3qK87YkknOg@pPItu;E^L7>8Q%QlQnTua)Iq_5gC zOM=s2Sfde(I~ZZk9C94&-VT$&E|GSzbduJAnthy^M9ucZ4vZ!3X=R6;OHX#-X|zm+ z|6a!Z+9=dyZ@6WXwP>;CeqKi`=AE7l6Y}-@HF9I+63rf9S{pt^vm38Gpq1jwDh;M# z-I)GyqQz3+nVmA}?7|M5sU3MZeB-9g(+IoLxuZ6lP8kLDwpiFnQ?*3GZHpY_J!pd& zPm?bHp7Gp;p4me)t{bC!TsKDdPu;+XL7jAA^t;*E7p8XCHlQdEtalFvk}pBd>Y-79 z97uh%C9%)ob2*@cP|@`{j6F`joWpAiMU%y*o?05p|JoCjika-iGcvgs(3?LQ@Ng#H zj9@)!GtTO`oZnkJk9T$u|1Q^@^<3?ha8K~bB&`%r#eqH=N!$#qx35M99`=$O*Hstep2FO1Z1?GN1lVQq)SYkdE(7DKP>^C`{H z{z6mIOf=@9I2_PLk}4c{R_Z z3c77wYa$j{=oanZi5lIOEAUgk{h}0Dls@s}_w!D2*DHKm&;p63Y$U7RTfj!hJh1lMhfYO|)B!%VGzG(}F$7!4?Li%D=pH&KzMJnr|_isU*w={L~bkrqkzO*5R5w zhZk|rIpA|HF?9~}UgsLkjNcUU{l|IKCQh#fEyMaYm)B^Mxm*uKlO!IW%S@7+-7uGD z6z;M%ab>PH6A@QEuRfnQB0f0f%-7b3(*v)E z`_;vW*R=%6CfOp`>#1(31|lcO&FTA(FhCJ(RxIyg&N^u=O@}-;@vlx zVKFeSH(BcC>pHn_vKTPwEeJSE-(+Ao{pg!KKu*`+()yttJl{n>bj#9>J&!$NHgav0K9?=lo; z-UauX{I2Gpn<{7NVxgDW(cV=&8Xj`l_kl26yMCXEr^V``B#P@PX~^C1K1-kH-`7f9UI7eD zm7_lZ0zy=?@&krp_Xk=hN}`J;4L>x+!40@r^7V(z8M*t2)&H#f%3}Q*>`-2De03oh z(&2jQ&kFkCU5q%2zAU&b!$*lje|89qHe?eLgACq;xyx0CmcjyS!4;g)7%PeTb2ai6 z=Q^D}0!l(7n)wlrh|_m|#PbMmb<%xv(yEU+o16dbV;<2zTl4ASvo%^An%TZatIj~Z zx0WZO!dgBx)my9Ghuo*vYLyD--iC8j_yj8+(0;;a*b;Pp5qa!izyDM1ZL~<6zL>R+ zC0M@Pk@^|a!~&Y22R`Fvz?Vd(e#VQDpA**e;^Mk3)`Me*CikcHylI(SVuMDW3Ownf zH<$v(1|0JFG^mJIHsX|dM`ek*F|XNFurZ(C1WD8*ntaXz>736sQc`DZW)6qzT}d%n z=3INk;LRFcd|9v=D~Clv%@W~qi@dE`MuIy(xG7?*`NfA@HG3Y#cSAfe1W$4zGL8oU zwkY_U2LbQM&)kC;YhF;8hr;2(%^Wub;8RcW$H>jy73+cHK822R;~ml3&;T6o(IDK- z5hM$--%yo&qg`-y$3+4Pu11yNUrg@s9xeQM-kziKJsOE!Al*^?XeyN5OW5} zA03|VaL`55xK`kD!Fk?8!Qkj#fCrZZ5HJj7D0rNg#zB$xD8`=$5#A654sgJi8t(5H z65OK^U=A>oqrHRRfJpsQ* z!_5e|k&?STe174cPrV}5;X%`IT!#NVYVlC07JP_-Jd`2FdoR@@EctL>z=L>%p1c5V z8hFSRA0GU8z+DOljSPtM!h;_VxJ%&-dSgAPit1<@Kp~zXHA@kd=o$u^_tKpV58XQm z(47rTfR}C-c;M3QbI=4L^pnqt%LyKeaEKuy%Z)1(c@76qO_wQf3Bm((W0Ui(r?h>F6K5-MG~U=Hvq^ zy_gAq003cH`~ge=1+()9>81n9;SL3G??uM}Cz_{;1b#6DTtx^F2tWm59fE#v(FAuV zg1%U~1QH-H(0I@R%B0|6K?f*Xtc zRRg%iftwo$gGgw?$Z(qiZBWcd+@^2`5V_97q4D5JT9!i&lLsx1YaGArv9BOi;+XxF zR>BvY%1lGLsJ>E(n~^EU{%bc|IB9nZ`x=Ario4pv^?CZQTCJp#zP3OryV#0ad$dMk z;s;7Oac;YIpOrjs3p>QRgX}OI;c<)MFaGoBS8$y*{eR7Hd4+wtkwyN$l}f^dWnS3r z7plF`eTOD8@ui}GQ4bUP*yGRH{kWxX|^}_D(5gsUD zE^F|e#+9SufO#2r!IHQ`zl1wtx8|?u7EjEU-b3!>*f3vHn&SpZvY359%M^R}Xf2{B zcp4&-J-J6~mmh(zqB9uCqBx~qzbh*M=H_xhD8bqSJIeA0u-jdN_}u9msHb{;r!^OA zzR^lLQ+v%R0@4VG!c>JEOjsog&sU8*;jG9N0>06cS;)N}ys0>beDL7M)J3=)qQQP> z-FxiU+KXl1X>x23!vUYq@*<`B3#YC8th>g0$aF`Oa(n13*aF#c(59CiQVv(9*`a(0? zWS>US>u8C{vIbrg1rWWeo(tlTsw%Rx$2;Huek6t7F(mAv{qu< zPg)|PK;o`S^&^^jX9E#tnGFV*KL377GsOnbGoqg|k0`LAtf(l=v!7 zVfKJfmF8SS{wX@w$f3E8@C3xlw-vSd9muxGT;J~QV)$ZGQRWNM3{7{uTynPQeh@aV zl9X;n;$&&8FggOoXV=e^FH(O29=wpjyuM(T3-RfWLrr>WzgEEtDX!>{gXS#n|3R}x z1Vb|%Yw{fuSLr>p)=(^8q7eO#Yc0gQ^U$wUI<85yT}-^FIfUheR+mE1iVu$CNDU!c zOrqrazhT|s+E^L!zzMCsm1w^Z!9sL4g^@2$fa|(h?jtn{-In`zB3))73}Bjgm<4yo zy!he^Fo4L>#V{a_pVZRIkTA`|6$^fcP=|oK38KsIT1$%A+Du&h9V#oI*hLYk!xv!_ z#gC^#L0X?XrP-na2*&Gxeu{=X@HF^wk6925tDc5EhuKn7vHG-@LS#670W`bADDri< zt@0Az^(u@OXXp-L?K6y)^$NIEo9mMHFL1Kr4DF7WwRFXlY>E&B&cQiWTP?XbIv}LG zM3=K#Ei1|Xg((2(A(@i*$(mx#IpAj~{nz1qm|ex32Wk9%9ykMiBoz?BPK!p@Wdo#Ei^=l;B1;zU2ZAlv3k*s3-(aOR(!a)B z!iZ9rG(x1>o^_KInXG!=d6U)OtW>hzg8a)$B~7%v#fmCKMoJP--eS!VEF`K3#Olc? zgK#d2=pU=!CA$8pk&!qbOcI#9IfAr60o!$!`tx~{bBrcE2BS!#A9XfSsm7n zmjGosvWwY43Y*5F<8?BPHILWXG`1~4&o_;2DW`8X?I5M#wO_WMj)})ra76wRKPT#B zB>!6rSG1&)-Pk7SdsJ{)fwQuXKY)4GD5gP)ZZbeIN=q>6gK(s*Uf_Uy_!IUbQB z*4SNH=WuSwP{iq~pa`!hQw_6*vek65tih!}Ibm?_sD49x=c^4DR09AZ(g7ZBGhfAQ zPf_CO8a!#+YnYSPG*c(TBn(gvOW1q0bC#Zl4%z2%Ot{4fqQs$T(>f|c=fI^g}$m) z8xiP9spS;tzl>U3mH|y#TRRi}d+;xy*dXWsqpcZm* z;LBDs>*>RQy6F1)EkCi-LN#mQunv`5Emt55s@MNLQqu{raRdEj4!+B=c`r015;SlZ znVsgC{?9jJvShwiy)kHy`IjpCG}g(>jV!;$+{XG_rOb>vNTW4m%xtEQrL^*`(F5qU zjow0>Yps(drFk2Dx|#F^j;jmXf|W6SRTMYc>aFnnFX=0^YCmkRlcN%QA8hNuP_tR- zuMT=|N~iEy3+QtxDpo31Gw;=@}NE%rO4OMc<(_SmsXt=_E9zvhVn94 zE$2}DL|xSHs+Tt6y6ClOeC*-fsRwhhMEY9O@*a$s?LE*d{3~*FT#ytX%0_r2YrKId z)$B#d0A1@zr46;0exMY4B7`_(HDJcwuK+Vo_4_ZF;fRO=NjHf80 zk~sAUH=Z_DzZ?18$LjR}#{99g@IA(^aeBLWzPMM)=k@!G#AY1x^nZiI_N-1}HSuA{ z6fyrN%-Rh+h&^Hr)0Z@0=Yro^&Fj6!><0md(223TVO3t^8h(9=;N?hQl$-LQaVtP}Z3#F`qv5iU?c zBuvNWSEjx}!kO{T8~Wx*^f>4py#Zc9PH=u<&!7}B{atWX$Zr%rbpN{$V?*f&7J;>z z-UNoeSdWRoOWIPC!!6aHr}H^)bWzJ#h~g+~O_u4SBEt>rT@h|LMWn6NzYM3xtSV@@ z(JH-ZBscY`u8V~qBK%?qAs0T>al0x6i(&A%cni8<=)Z!Y(_Rq)MY?0FwIYf^q^c+~ zKmKp*bmtlq`VSd7tiMT5z0H)Kp*C6$9oK)*Afiqx z*K25RuHnz15ZGqQklqiY6T`YruNQ$}B$0mH1jP4Y@j;|6?3qA>64Ng1+kh{7HWpu0 zv5{khWdm=R*&B2cB?fKKo%99Kcu{e$9wk<6z?1yBz8G0-%CE2&F`^f3MCz%}`TWA? zsTVfu(NXwLjo;@Ib2jTWqP+MvClnK3ZPr7cWU0|Ud^g4iF>}fmy)s%`yhU#)e%Yi~ z7Kc8^_exW?>Or#)T@2Z($3!E%T^7E1CdO~oheRXj9Tb^9abYV<6Y1OZ`b|Q%d$K1M z2#`(}6n%86qWbK0esU2p0QhWcNFyH4s5~aw&~62 z8MaJO{|h}`HPh`K2IB*yoIvN4G`=AUu2hqRt-O zOAGz(=J36FZVy3dX3XBBKONLLIGpO&-5#Zc|Ln{nBgqeYT zqF2BEL;8k_4dHd^#R?pR@<=v6YeV8~QY&{B&JTqe>M`?DnL?feoDCh3kPEXQp6KeEFR|GujQ}hC7Mq`@KFz^!r*@#EozC^7#uiItqsm z#6A?6dm-qDW`F)(!kd}?-d_FwD10T)?RSeZ`}i!$2kxQ!h+fU~3H$UeQQlw{KA9*E z?b8P!T0fB5b-$h{s_eyodHeM?XnWUwJuMpFe9Xf4{>0V&de3MVB4Ybt=*#&*AAkb% zA@lek)(*T$LOBnIB)f7* zCof!lAv7rt-$@J5X_1T8Ijpx5jvvAAASgrgDa2v@A<=!KhKue8b)}R)h?P<}wEAxc zb-GaVuZ~!JcO?d4ZV|1vo&&0;xj#cORsRUIB;g@}i&6YczXNR2?GuZS=$)bve$b0g zlf@ooE?N7i{&;D`EDs3iGPARPotm%se8SX2DNIXeU_x#B6o>3D9{c{nHabkr&e)M5Kk2 ztSe%##_lJHTbk*EPwLNt4P$1Z2l?})UNxaeZ+aphVJZ!}B2=6)FAEJVI+PC026v}z&oIW%f4h{6#HW724IRdE>5`0d~FI=8N zSud3HA*7tXwNL7xzfaH&}i7 zc$lxLAQEs;zU)>X5UDn5hkemSTJLVptto~Q@*3oX41D+c$ z@!1ufZXuDtp5OvQpm4jPEZbFmOq3gF@CC)pt9p9T?wDnzN8yvLSx%=ob5;K^8lR*^ z)KHgLd`(ZKVGr)F*b=;sEFbyuh4Ri_(OTZ5=E?MG|HI2tA#sp#{ALE${Aq>5oTt#pNe7I*@_e~wRF!oAGw z!(YwTOW1FMJLBtxE|?-0RBs*6IHZDyB!$~?rDh!rzfLB^*|tF zM9z?rklFiJcV>vj8MaI@>@4jpKrudQEGA^wdPV>vx2|K)`7^^78)q&e-XHuzscvf+ zKuvs$X5_&B;Q^ALT)vo!C-@qgyFMY?i^UnLJq@)p$l!ka((sdnpc>kX{NhG+nd4WP6tPU4E>*yavq#ZeGL~hPteA$*PJKQSyBEi*> zJ{n9hm-!U}6x5nzMknV-FBZCwOzLoi^TYEIyb}I`@H&JK8aeUB(omczfV~Mpkl{m! zPfFth#MAlske^`VJMz3(MaQmq<_y{3-HaT&@ z;WJ2C@C1TmD;zoDAnS4F!E3<_cOLknVoX>z;Faw11+GhwA*wc9dI1?Zz4`z;&<3Ye z$dXTQNv5KLQ%J!@VZ39c_;~~ z68J&^8WiCcVgikYN+Z<|6F%V!t-_O&P!S~0SETx!0Eouxa{(Y9X3s~TvL<@-fzjcC zyi>th;V%oiAcs_Pe)Rxga*2g5(+g)+a+>wK-LdrHYD5_auy9yKC~@itF0O8(DbNEx z@J&5}uxNM$o!>_;)X=y4{g_}MTvGjTpvK4`_~7f^G=ZQ(OrnQklLIjz3Hk^)2n);! zjRX zkk2h44!EF?hyz661iTT|f$AXE7HZK0W`SI;gCKXiD-}Zwf<1xk;95)c1)hb6pc5{w z;7o8f3i~D1jKnGwIRb%GcU{0Gr!E#-eQPmS5IDq|Chc7on-!dm++R`6LniH_PMNne z7E>%>vMA)cfJmUc;tmkPvQvZbcN-IM$m7Fwf(1zxwfn=3l|M(^B+_=Ts8Grl@@&{2 zX=@_d?F<|22b8iUNBH3YsNnNR1%3_e!&=y{0nV`GpCnF~!Z;~5vIkBdUh`)_X`2}+ z`(GIG>z~wW(oVNPwWTTSVOrGj1qu`RIY5{;@loLS0%BsrH<*<9Yg+Wf{w^?d9Mz_Y zRnfK%Vq~GZ+Mx;gJCd_NpBhV@o86*n@d_=w)M!%}t3{Vlc#OrSZk% z@!xCz(r1~>(d>2RWv9@h;VMc;LUY1Rt#mulWIM7-W64 zqW@ux@~R-Z@RE+V-eyIY->+q5-Ug%WwAzk#03Lssrm;Lj9z1u6?x(dl;VF;R%>Fjk zL>s(y;3CNWOVN@oox31QR}&;z@dwu5*O;#UwA7$1-X7$4%k6k8+lYm)6%aXiiZrhT^fC>gKO zsrcCab1AmR#0L88eZy4Ss|BgnPLP zvCf3K!0i#z4G#w*4rlQqBZ;eMAF$r@lw?%Ilpx;a87W;RDXc`P5fyQ7tgpLF|NC^2vcO>DQ@Dr&_Wh9r#BJEAD3 z-6j)Kc9skBRREa)eR?FE5WcY6%4L%jSRDRh5JO2!Dk1xjhX)N3yV7k+9++Oqf#G-q ztsIvM5k1M1f77&l{|6}6pTtJtnvqAM{s&8CVvp5*e?N+1yTxX6N0xIxS=Z72Wb zV=SU=x~;EPoW@D?#iWWyD%euQ#1wpD+Ma4lPjx|cMt8b=0lLY8V-&PDv_SAlp)B}j zRIlTY1=vpa#c8@2+gij>6}U zvY>a`C#a2(em4mi318jV^yz@wyB5T7If&iw4lp_&{@Xs-~?SO4iG?L2VgI z>ziroWolcYtlFJvYmEYFwQP^!R&-dghcSA*xGCck+iKZJtwXMI39tg-qfar1yaO5~7EhH^OCm zG#Y2|tN?6pmt3}cP>_^O@xUh}@NiByx9xE#Xra!7L;r7XTPrak+ZGf{B3*QdLffqUv;e5*`mkKzrH>6InRWpXY zW&187s(G_U54L&GXuiOOgGtmo&~{q5Q-z4NBL_j%v4hbsoB1S5u)tG24?zz#nR$;~;?tl6PwN7cO; zdGXr3S(dDk^B#PC&WA&$&p)#7+04{+Q?fm!noQ4qb;D1o+q$p2x7W^v`}+?nxA4e@ z6K_rJSkv<3fEW9Wd%D{R`+xeimGw$7Wo_SNSFE1;^QubTZ?e07&?=){uR4QI^vx^x_-iwpe3SkB zt*d{{-_x-AiqGCGpIG7XkEbQ<{O!+!>7z9wys{rZEi`;-m8 z+4__o)O+iqQC-Ua{LAvl8tMd3zbEw$@A_-+tZ=LUgpTXqsB-%2zb@TZtz8X$-p?Cq zmZ^Ks?#K2_T05|D*Q{av-ixYuZ^x-Snr0q%&dFQxX5(dU&&iYf+CI6cO`A*eewnTQ zD7Jmv`^@i7-;leHb^LwmlWiN_eCpLbtB>?tpLT1;6LlBVe{jyi&HD2ncr(3Elo@#C zMpT=!!QUnacDFlwA^QIURY0o0eIgC_>dp9M6B;v_dNoD6t3{k^tM6w@XC%Ho&FI@Z z!&Vy_!C5-0c;NMUMS<|Me|ZtTkzl7}Dz$h&*hd&wa!wIaQ#sDY)9DXfR(`<<-{{E` zs{oZ`SA>#q!*aLdQA?1nQNk(H2LINxLy0_<;=t~EYHd?hLV|c(HJ{;r3|3oi!Sx-) zQu26#G6?`h4~b@Im4K3?yk&C{#D(jq{0-SEO$udhWOH- z%31+4m*9jM6t_Gc8XO7%HJ9Lo85EaoC>jp~Ff=rmF{Bw31Trx;HJAN<8Zx)ZC>lNm z22xN#Mnyum4K5n(1b-Xq;T7jY@o_-PvuPQ=j<7js0F^>o*tFbZXg=Mx6{I)3r`yp@ z$qG5M(q(0>krq>-!ZKo}Ybw!qg^ ztyuf{CaIlLbhP{R6vnZAh2C@%pI)7veFBn^KJg(*J~co2FS5w-e+ZT2K7rwqDIlML zR(Hn*n#7%qbg`_t8mzP&uZB0s7_rZ3i-xWlU3j6^w8PymSePMyRV$WXD2=(t&QuiT z{$m|&=Ux!{Du1`NA(6eWH=EJEsf*Z{9nqi?HPz$R+wbO+(svg59|J#nyw;v>Yeai^ zOO5&ka=ZByDDe{66F9oJq_CfOY=?EtA7|*{QR{py< z@j9g&0+=pwYe~x&J6cfl5Xt6PQ1(*snExNSXL`3GEX->W!b%`3zOZY^$CA&`dN>X_S-WaJ40|w{kCk* z5hG9C+CHJAH1|Z~wiWjDlK9iA61U=#j)z1&Z{TTlh&YM^xw_mo5>}%UtTgka@@~2= zT7mPki+|GshTy2P3>P5NAj@i%NDpKWmXH)RrSyc$;d8a zOR+!4)pr{Xo@iOH=2w!SqeroHnJu{0LcYc^$OfGa^S1M&%q+vu7lP+aMcquzYe&s` zv~8l9F>u{$8Tds_W7gNWg0i56BS_kXUkOz{zhQ#$S4T~p?jH)}@i2-by6YrsVT`^= zB7a^H20*AB4L22>mKC&QY%^I+jNxx~sXkwVRyy}M3wftdOTSyDv0Ya-f<2Dx(4X0_ zBQ?z2P%BP+&r$r{JKj}KDnr>MUz~CJ{b~lOf4^Ra@$C@aMqPf5&IABtV%NPLFz*#d zXHe?mC_`q(s`9dueEKOgxm|u`R0x25#($DHlS@K_!ZXNpPu1*%6iX>)_b=Kb>N*dl{q6OcR-VSTJyIlwSE^7VRW}fl`<(Z!!QA9XsSQYZO`i(Tk!HSmCvwX zT((flR(Zwf3t^9@QU1T%4DF?pUHujH!GTu6)d?_zrA#?{_In}{swKLB+WQnEfPcoR zPBR#1e4C_?a||ksCcx>zJ9Lw8MEkRwott+5!yN*~2O)p2vq32@nHEU>uTeF!GblhX zZrbxfB{jk03hN6&k^)g6#x`tVeXZ_3mc1H&j4>B!1$ef(=QHDqlV%*zl~J|>*FUZg za89o^FVPD8@XrsKB+F(+ixKRyv45{-gXIZU(gm9oN<*)~<5T04m|X^IhAMDjg{R2L zZGzbkoEuWXfN*Xy%5=ZRjbBRe5YSbE(; zWpSZXb@-`|v5p-(Qx1=Di^`{NrMmpI@w>STJFw($Gl`(0Gi&ZB7ky9r0DrlP_s1Wd zYlsbMN2)9vTTdH<7r?C}Hvo$e`dF$LH|`1YlHO-w0px2hY>#UQNN9WKTHIbM5Vgjxbliub)dTMzc_Bvf}G8I1QDx(la%K2Mnb~kgA z1&P80T^|F1_Y$zNi+>6_SBZM9&wAC3y0Cn~=k8AVF`MJzk;CtU5=#c&5nj_o_qla> zQh~8_Kk&ww!l?TSd4G0x{rf@Y!zsQhYc#b*er`w<9a!isB#IzzfbGSMcbyM-Rqnw_ z`CNrQ3c5*k1fGQRkgk_RyN5)RGMa=aS4fzoLl9uVVykVDC7Yyetw2#&v>kZfO3g_4 z3k^uTGLA^76Mm3TK4TPn~PV&WY-L zlHkVmlDA9rhur9TAq3BRo+Sbr1(xkC_LS(m9Az(olIzeC^-ol)4x;=zT9*Q%!Lz9{ z35A8A7rV2<_fHdD3)Kj-S7g~3uZU9fn_IFk5qVWnXK1pw*ygO!2)3PO6Gm*)i z($t60Gi~@P#Hz%HzPTsw#E^n??3hI zZcKBug=PP$3Towdiz=8`{LMU&&uV51H+^D?bop3#6hYxpOpE z6TPA^wl?B_Pn0zVy3B6k6$76NndbZ_l~>P? zsQIBSM!5W?jikWI>si)aQ;eNj)F^|TY=g*e2=aD(1^F_P_7{8tOG13mEDHlb^ee1z zQ(uNK_g-C)15@wAr&YITVX*a4MprI#l*>7Eg(Q;HNKu_6xMH0EBFo=ZrXKlBI)c$^ zcz-4tCzo}6J$4TE;%*;QP{~wX<-kRCU<<>nK?aZ}5eFmslksS_M07@i_i(q0uAn+P zH2_FzVZ^!*R=>`&QMA5VpE^R);2Hr11u)H8WCa8rUz)CFvy|(!MUH=PJtKF;j(n^* zTkF;hAtps}U3q`(oQh8l>OeHyV02Q-tACYmqsL-waItCyG?ntmf5+DDP7+nWDL0oQ zdz|)K16!`d5%wzJuL#@5k|2!x9Zz7mOz0OM9lD{}>0MfI<*GzTA_mq3G==cr!NO;G zjqwOT>M=wNqAkCIP!*&)1GR#jYM?UTQ!TzBZ}s1M{G6EV?nk~vA*o(#a*&h31%DwA z&BN~Z$u|!TB?MEq7wor9@*M_0;*93phr$9xY4+E&67EPel+&!y>nt9UqJn_{h&^Ys z<90)Puq;q9S4@4F9pV-DC+Ud>J)4^M94A|Me0uHtrIVMQ@dnMGcg{Czub5?|m4WEY zdrGmXxHV%dLgEM1SGbU^mkT5qK7U2TIA(TV3hU}VWkCU+GX5aX^DZPfg2?BOQ%$^8 z7~Zv_VYlBxXkk4MxY8_XmY6@oqvH}1)7h4hd35_yCqTvcR(hLjVl2^>?W;zayXu=; zifnN8ZNI{qEW7fekmahRd+7tBk9rppbcr59r#nXJ6S$ z_B-SDl0^WKRN|{FZ%v7Mi|EKh?IK9=j4vc+iPpG!JZJ21Ny;Q$o{bZq)HA%1L6wJ0 z{@1`!aW+MFbi`!y*g^yT0Dr=&)0TX2&Ec6s5L!eojl=}iDGT6Cvkg>C*pcSZks63p zhq{)iayb+rzwFSgc+Sx?3+$&=LBy({GwXQ&MX$wWIY}t>N+gw4l{1R0W_}t>Tp@Ta zwccR3_?Hb_;nK+@Dx`U5VMv1%{+}?Jf)^1qmwjxOKBD)%on2wcqJQSPPj?G6Zo9ad z@%D_en@^>^o&kMe`~i{@!?w{R|WbS1oW83jq*eY?1OM6_w9@Y7_sm38iYcDgqXZ- zxiX;FeL;RK@}I&=PJepw_eEeM%aqyg(HDIll0b;ol2&20wZ!}_*kc14O$%)QDZ4do zV%eLMQ8VzM1Asol47-raR7!cNOTjt}VQyJfsty&Y+GW2>u}0!fZ~>p+ z-{Odr#UXV2?*N3dUkWHDzU3Sh{X;Z-t`QcNrD=am1zR~;`+pg#-D_I-LGfx463+RK zMrju|Lo3;W0imvIzc&xA<60QhkLxMvXupf6qWjV{tum&7zcY( zXBeK|3_O`$dry-LTi<@YzA60X^>35Rfv4}pn&w(V<5~3}rHfCktxl;J4W7+A@sbYD znQs}Z9DJ%^Y=0YND+A_aWA=E#Xw?x{q`17rGSX|#@do+SlGZo(+>6!N=?@A`OZ7wm z`sk?QhzHfyRZlB{k|?>2h4zSusD@Pulr&;ROL3IR%TTKpnl0yupt)wYz3HzeDw`vj zB$8rnfIr}IqTG3b$R>x6c(xd{SJx22xZGJ3=>}2!U4MEOXDp1^Q^bXVJ}ATji8c;w zN}60T6%&_oaR*O$<(g#I5Y!mB0PV)Om;=ZMQA8?hK<|MmGhE_^o@g6KvZdd{_08FR zX=~l)eV)zA>w^W@9SjKht%ch4V00SrlBol%*597;BnJ8?H%)^`b6Vxd4GI-)_cEgb zdpW7d8-D@!Rq&~?@B55QNF^r?_v)mAu1{zDwHGrm0)DmC_Q6?Kwib`bTwWGWpw;;6ALJmbFM&vll>%>m?yo_`ywnTk_-V>4w*n1Ij=!SnHDD87j^xtq|erG&#r;0Sm!fFB&N` z{eS;ooM0}re-$B|-AIsw=?G;R9!7^g-PYCac~iNFIht&kSGX8wiS=BFi6B$O@#`!2 z+w?@^fsXEveEzfK?_pk6A7oJkM`E%yY`9tKB$75KD4wCi#8uem*Y;^pRak1&Hfnwc z>@gSPkFus>*$b*-G}a4BV9lp^PI3?`=x3HvDjQDu9IlAO>i;P9nZv!~F8&4$g%4?&HF=(hyZ zei_rsGm)#XOrp~)-Ba+paqI6LKdYSU`W|(=@sz=+4j?#POM{nDYkiDz7lAo?4S!2N zGghlapdQc9rQB(+T5*7pg9@Bf`BNDKuzYK76j& zY=yOA1P{a z-7?;E{X|t%v>g9uaVsv2sVP_Y_G$1nH1%1O8UtSh9qFbZ#Nb*r(NinO=zrI|Odsep zbM(2=LvCP>k~cRiDB4iOsn9k#-*@Xe`ZCNuK)t$#x~-J4zv91u;WdKhS8lFW?zzYR zcUhE=hasTI190{>-f7ub7tWYu*q~qa?xj8~>vo~<0n|v5R8e%;2tM!KZGd;i5-|{z z;+B^I`3F*rtXW6yHxOuQ7Z0EGBR;J&|ss7 z$mG2DrjTu@E+BOEDFZ;H05BWU#@|HzZ(gJCjJ?2SmeV^`vEt`OFX7==F~G3FwRd(g z&nv!)N_X0shq@A~(Y^)@vqNHhw7%>r3ikzM#bkd`xg%d3F<$VZ&3~raTjb1i&Wmwq zcm{0lr3FgZR4Oi!(|9SJaR+KJ)FhmS0+*3(b{F)?w73FFb~hLTr8T4zC&&s#ep41? z_$i$mDarnaip&${9Tei4$T=&7I|-XnO4O+YnS&@Ozd+*MpW_)IVq^ufDg3;!Q}(?{qxxkBP&*TFvsry zUz6jl5#8pEN)iLyrqOkn4_lyP)ilSkM*TVt3ue`NMCzo2y+y`f+XnOv*8hD(x|289 zExR&IkRW>jpnr8ahH4$RgOg#RrFe#_kTO?WD3Shqu#PKk^^0^LWLtBpW1GaKu{6+) zuYmbLJgzSLuKk?dv(T}Z8yTV|>WP(Nk9X!Bjj4O^T@Bmd`hCOiukH^3yXP-^$=mof z2~q33#W#SVr;S=zC21cK?(K=q47wmRWF=@GoN*t@fc(iP`&e9#Hd4D4OZ9t)|axh;8sfQQ7767_=;{X%L!`}i!pN>L>HtS>27mFtUWkCQD@H0FoH?TaLcgCRs6oFR zBf)$S*9?vMIa$Urni8<+d);fOZ5Da~JeYpf_+}h3e^-bEOWx?9;z@6ZVZdXGFiRi6 zXR?<`w4QXOl)tVF^yooe-{xjR+Xgy3C0PeOip}Moy-NrU9BfYITHa9=ZF zlnbZ^=VODQa2oa}p&Tks0t~efUDfR>bzrG(m7N%IzQuLB_rxUa@c=O%R0HylFdzAW za3@9B8;;Y0ArTQKjm=aP5Cf4i4*Gy!Uw|Lxk;8%CJ+VQIsSv&!Jun6GGIJu;lbjE_-a^N}E#iy33t*76$kv34d>o z81_c1z5o_O7xXjalm^+pvzg=ahbw64z$tPH6K5wKyWC-W4;`>$llr2F6k`ZY*3T=S z>5$2UJw^_Q-3-PxMrXAsgC;O4Ys=&)59zNRSJoQz&|b+%ujJa&ua|7EDCCsYi`6}u zBd{h(;0~3Nm*v?3SacMN99#-WT7P={?}|h(`EU}aV9y$1Z!*)Kn|2-x`%WQo1EZr# z@up>GgdQ4nkc7ZsFB7u#6bcG`;DUS+roOpqbvt*M8qpfVWY{0(0etRQX~jUQIsfS! zc|&+;M<32k=>$WDoWtQ!bYmp^@+O&Hkkl$pQANoUAjEETnq>9I5@O z0(1O)1TXZbZD|^MD<9F^_jcN*in0=X1Ttir}Vx($l5{iZq3iYG1ZM&c-AxZ@DEcrGFGxNf#n=kz>3@ zZp8&wCx9Y!l*pOIL883a4Ma+lMOOf`C=<^$DbpD`uy|~BFoZ=v?>4{^u(6EL5XG)Y zfMwG4U^fpNu$ME3846z*EGw(O0o}O9tUt?PCLiU2Di`cauvL55l?MW+r^M^D@&w<^izYVOK z%4)N@@|as2t$t|PgJHK6Va#g#P*$Gg@T9`T$uLVimw2@_q67q4ELt(AyemS!7=3qD zwQ;@W)c2*R0OtP+AvXv-DJ&k{JdR_!{;A9AJy?-ykR01=WU4S;`)no0h z^dwG|zH2DTTJb_I^-Ck(Palz{On%&j3>t0hJxANX2J+^ds5E6WKz85pE$1$4nXG21 z88RRIIkZwbtsutfr?u^(VTM*dBeIQOILkDphKjsPf3nrF5vU={*^cV)fCvG^f+dBOikz;-2pa6+x zPNpt%EK5+VJVl@nMFwxENF;BUG5@XSv4;d@1=hn1m%UH#j(UR8pso^K_6!Wnm}ETgnT~H8d^Q3^4;^EpV%<(A z-~%8}jFqSdj&W+w#bR^-u}l+}d6E)-zFbFWktD&UutiunwA}FmO)`@W(VN!|R5<#j zb~FL&8{25s(#>~`1^XHNyNWuS`hht!1aI(HSAXOp+gEa%UO}2)lM{A@0unHJ4huyl zZCV7JGN*GSMbqtA`0hXVg6LZUaGKzgKP)#nA6z25ZTe#SPd$0~Y&h019!R3MnP91w zf0_4~U=OkEsEH@sUCl26Gm;QD4#}b|u#0t7R0WLL9XjoyeAV1+INRs!iCFOyp*;zR zGJnO6yFN@~VC9PX*F1Q3m#QF&)5~!x!$R#=h(WOni(b%yrO)H_ZQLhV1}PkWm9bDI zcA@&X+#4n%ft}BY%lNJW2dB0`zv(~MI(Ock)tL~zNVNi#k8Bf)gS*BsbrxXdpSPe( zSMo<4GhGzpCOFej_-~^qHa#0p;x^sgU4Jrpf!w{fgI<^GW|EIZ>VZZUL_sEgR2^Tr z7Fnbbp+J=XnwOs%XpX=7G)jsn*by?xBYjRdHn=8bs+3L;pZxc+KPZxKLszB*6^z*l-wN611u5b#h2C z7dVQ0#TTYpv)m|ztaU>&BUW4S&wpmsA_aaH$1su?)QVbZnYG^?(`G`osJe(hYGvy1 zjWu?^!wzyf1LS{ZrE|hR(WA}nO01?QHU0CqPh^}9W4vArl9fYVAp={0Ej9kY0L(6A z&6nst&Z}s+K}X#`mY;#DKl09&!xqwLM#qs>V{&A(ju7X&Krc%K=i(Bh5Pt;{EIX3B zksdCy4N!B=DpU7Ru!6*22Z37FF_#{}g68;LPkLw@uB*61iPd4WX}(+r zO||#f&GYgo4KY}vQ+i?uY+-R|F}wgp6#9WDqoz}5F*nLyogNP6DE60E%ID!9`IXIv z8%`NK{@@1eC}8?$kHQIy>BX^#oq1E zDe}Oj(~^ek8toVJ!f#U%0>WtaM#-#2dQh2p{?N<$N_0CZ)=fe->wlcJy*=9g`-o*r z`1_80Vi)(obc3ww*(e9PB=H#mt=Y#)vH&2kJwF9R%-f0|VVY1wjwaK~>@v zjbD5XhW-+3pW&3`?kDr&?tEc$LTiwP00fWP703q#7_VQ(A_xm=H2pzWWl9BCMOC z8IrjqSGtrtt1}}uc-AdQcPhAXLA zFet0yBilUH7qq!q=@KbjXwa?CpT)`6wAe)7SRbg|9C-&{&tvg!?x+v+aTeC|x8Vm)m5K zC`(4f0hRoZMt~ZNOX(@kwHoeYSW!`C4c01(awU!OuS{Emd9Qxt7U-ksMjz{Ta2$b5 zvxUIjk`v?ODbK{>vuwb+aw2`3^nl8L1neh<%IFa8s6)v@ctd#9r5bFFQ$53@DYmHI$NAqoyNf%CC z3-n{lw4qjE7{uVjVC6-iXp8MdmURfTlVX3(*N^CYwf%7kf)+_5*e92x96n1l%xLrv z3{8islC8BHrUE}{B1uCF{5^!-8}d(p(3f2BLb7!5Is`t%1;$^d3YgaEtIgKV%Jt%h z>vHoa;64hJ8|=mdu6sC->G)P6YoW2SzvF88;}O#ww9zERt+|}vG+Y!uxblCZ ziRy4XBxXI=!UH&#?7eaGLF0}$P2d@K!NC;Zsy=}Dju>vF(Z@K4b`26p8X6J^W_Qzv zDaIfunfz=9IVe9u=kK$OL40lIUHc=Y5pnD5lgc9W%q@+F)b}cT=>sxWk9E40FDtSj z1821RZ1dmajJBZ8bY0EMAi@qc?sI>3+A=lO>-N>RzXNm;R{_~9oa`*Uy~)iMLp+ zCY|xJMwp$5Zm}<}U8NJAjlaG>Fj7kNpVBNxjZrhX=V3`DOePy4L~0mLKvjPbUfgov zqBoMSxT6`N7`k%RJ?|aOEW0(#)h!C>J=bV@`3!uSNZcX3iPP*6*_0Bu2PJQ{&v1Zx zda#vW@F|R6%TvIQKUxy#|HTd#y$rgFV7Se|9 zG{Bb*ig=r8O)1-nA}o9tc7=acW}*YNnd+pLcM8!6AR!?QLM3HC1O8*j(KruP=$h zIV;y%R0kNpSzu=F)fE01Z(LL|+o{>$Fxs;jRgG3m9<9r02m~nXEKh&&LhQt%b+=O1 zMkDlK9b$D*=L-N`kO@w=oAFsCJE7KhsT;@(y@@|odMat(Mgd{d>RcM>mjlz4ARW_Y zLba&6le6yxDj06DubytB&S6S7t&RVdZcgi=d?S@rNWw5>#AFZ1cY{tvyD%$ZWFDwip8RslL~Cj| z9q;q!Z&atBx@8yyx2-E#8!w!2QJ0EcV=NAQ@-dO5bt?yNO^|;L(!vIPNry_UE0QE! z%F4XXzC;*ptm)?@1su)8lqeY>OE=jge$c@5UZ6FRlwBWab5s5@cnTo=UGA&h5s2k^ zCD<7s15k%8kVlUdr$?S4js-r`f4mN|1gg?g|1*#5S+r&$L89-GYicg9wo%aJkf)ru zNJ`|j2}FlpI)8ry+)(r!Mpu(TQ7}3OGr0_ihhYboy|4ZrVsFh;>n^Y~0J0B<`<&-h zyx*^F8!*X9o*kRo(=HI&e{XHtkHZb70tFFjw}U^yStu}6s$tX$4QsrNdvR9M<=8BA z@5l}@vz*}S<}xMGonpk@#jNRChlZF^j7$zP;>SF={Xc&Lglpu#4uf5qDFurvbi9b%(sJb@t%`ddB@bKI5anS1%K#rP_Z}_?OeRO$VAgsHu@CPd2b83Uv~A@CZe^ z=mFa{5!aOa8Xbp={kuv1j)P;KhR*TG)7VUylJS z6hrkG@S0uEvjZyrzuxLUTkb-h&%TP6MXDyjow85Q+?UvNI%KtSuYmXwNjs~Y*^ETn zXf>jHpavAeVZ0I9S(2KkNz#;UEg$fMW*&be={^DsJoh~pjM3!4N^1hYG;s=ilHT^; z_Eq14833}oJRHML-8{M*u@>a_E_JRnw1R5$Ak}dhpwl0bRxg<|imJVvVKEh^LyjiE zOOYF3qbm$;`_imT&zAMT>^Ze(S;WtWnc`4d$MU`?HKDhD;(}=UKOq4xGr%v8Pa=Pb z4til^a@Y@#O*d{EM`=(*VwtHuzto@sy=!_DZ9Kr-4yJzwmnw1DuT@2%n60o?Tu*5J zg(39^)a)>P-U)&wB#t{e2kG+l7jJPdU#|O4;80s5@t!ygryle#u4V}paUSpI#}-sb zl7J_$uUb(D3?i{Jod{d`CN$B`W@vw3YNIf@d;3airs+pis<@x(?dTAyF|^Lr5{lJz z8PbLioXG&|r|6iUJ-b`6Byz7J`HjhGXF6{lTz1qp-8Le~F`0dcktxhr4yfF9zxhR# zTNTf)Y1&bAF=;O0`Vq3MW|o(d_@t0Wj0FmI70t9G8e({4W&q2oRAf1X$RmH?*?EBS z4*jQQa5yhj&_4XLyl$zh_~3~pWoQdXK4KzZ=l6M&$1UR{k$+ksV8)A{GFcIjBh7yg zWn7@KfBtec)H7mN1S9W-x;~OGWTP8~=rN(&7)eS{ziGCZOTIum2Dap|!v>48oZy+9 z2oW;)NbZClr7pn2#77pVy*PhV)0<}kZUeQKsx5aaMs{cNGE^S>9SCM>+ANH zefl*v^4a~c&@1T=eY@oO8mv0ck#&v&{v|2HhY;nJ_sG$K^u;f{SJ`2`uzNFBcXMBg zdanw&bTZ_JZ?ndQ<1>P=JNcuw6KX@bHzSDSJQl7g=WuII|Fs)rdKx#YID6eZ8Dga5 zCtatQHTzWVL9(LFij9B!Ql8-@E6zzYq9(RyVDw;jQs0Jmz&U#P(7O3|R*wx=eexu8 z$e!DuL{6#NCwdCJ*?Zva$yI4taL1v#_F+Z_Bs^kPFb{UQP0xjCsld_ncJ8pO!&mJ2 z8aW$)Q0YwUS>(lSJXhgKm8h-yQOs;Qgwxd8xo94!cz$_c&&q%G0=J_EV-UW25npay zq#a@X!hKV*3Ep*)Y`nZ`v`Zui_MRmd2bJrpmXFfBe=j77%VV};4Q;xa!Otp^kb9Rn zF*|BIv{FHT9f!R15p^hK&Sp0c7Lsu_^-+|$_MvB&m%F81sHfQ5GXpFi=EL*`RYbW( zulH4o@X_kcl3ssvECq6A6E)pwShRf+XGDc=Xqv>yPciSaDJ=*pEmU!742ol|jvGDR zeL6elG_@l8L`~!yT!n&L{}_Sdkn@2sCpI88Ap6Oy*wgTgl54%lot_~zxhk(Cnb6uz zE&5z^KV4lm)`SsL?(t2*M@;G0T(w8Haq#fx6Q){mcKUyn(@{?Z%9=KSY$2rFl*m#S zg}#9v@-EV=s9#G{y5!nJNNRU- zSqp!f%!QmY(kn$ajvK2sNnA&TuBlIAp66CW-fOaMA0 z$YdBwK7g4CbFZmOBct_hyx1;;kCXt}3&Vd47C1DuGvgBaIS46wmLV|z5^eD_0w!*g z&JM|+a{?z;Bq*(yeXC?HJ@7rt;Wc@8OSNOlsq} z1fYQc-IxzFuvqYqX8He`oNF8Gp#K?aCbXH_c=0yRw;9D6fGmS+`7}CMy4rh~l_V`hhOh8X@H`!~dCPI@UwXiRXr=;mH*|u` z1PwI5zkF0Pb0OF(N!~ISzD!KjZrl?%2@VusoL|ok;Ie-J8Vg_2ZpF-@nKdr0^T0Sj zld8}>p>EUp(Du<&l3%W^NkuAxF5Q3k=({Y9UzCZrVJ;84DD()Agn}#F8n(1AX-mI6 z4#Og#GAwFzRr_=$JF}*D?m&5e#LM5ivEy_PRoRg6>V8YxyzdsV9F|7xR#}(S_SN&L zlQ@nm_MU(#ja@+#E~X7Md2@=P6Oow*qA_z_pi#PR#yNlP-kuKM z9#A2njI|rX_A?A}c7K{MA3*W|9}n7BAw7g56sB!L_p|w1kv;-$6E2Bnco&1PoQB5F zR0Axxfm6GDgvH#(RI@%~0%9X()el6|=^>f$a(Olo`HY1Z|o*%kBaSLEAMmX73ge;&bcL zTuzT~D)Kj6SJfQ%c{}xFnrV0F0U!HpvJ`M6II{yEa{!N_KhVU<9{N)j5Ch>jU-kdi zv`FPdmie9`k&F4*VBE_48mVDgV=dA-0-dx!jXICn`hKyg+nY{M7x7Ml(H0@s{^!}2*Qi}K zrNb7eGKmI=%Wg%eg1tN&A3QxGK&~xaZC_SSX{T_~A8>X{yVHV@O8t4E2@r$VN;juV8D7pa}{2lvwi~6(2ErKyQE8&0j9vQ+5`fD0uEb zHV$1*i4qt<&3t>>RO~8qEq2H@@$)J`g*H~CxxYpOzCrZ3UC0!R$R`N(X1h`4=Ar|k zxv7NHuyT2l!SW-_p?Bp-qHFBFa>S&yDsWzS-F>QUCSmjBX%}+)7?h}nYtxk54*kFB*)kR{VZx4GNxNp9 zsPGn*F$BLPo8X~Bueqe3fvQ;5=!>UJJQ$YTLC0>pP}VJx{dnsEu{n@atTG~zweiY$ zYMy>LqaPYsC@t&OLssI;ieVT}fBYx8EV^SWvWea)v6+7o+vWPl`zV_%X@e{V4}5PA zWgHB$6H$?`a++)}^M>DRcEtntD+`mZ@eENY%+D|Jm;GlN&u@@(9 z|KDjxcnv-v0=3hVcfM(F2ywA+{aVz-4=Oy7HR+3$-tILJsf5V#?_^<3GYq%a%-%@Bj%T{ovLX-Rzm<9r zLz}jIQD<0GD8*wV&`jKRuXI_$AP=1YwO}_U-80AQu+M*I*yex@#!pW`ad~F9(#8gQ`?mGr z+@W7AoKWi5U|Oi~D&Z^M_~!E*2x7HKO~g2swY~oLN@~ky{oJpWzqEr5qW|4{a=h?P z0^5*JPVXtOcrJniQ((t5L*6%yY&q%K6B!&pHOez5^Cb2uJ7)g-!E8Xxmc1g~)2zE{ zEf9axHMePvY#elD98HdvjXdlMSAUn(#od~%5Xvj{K&_44$B|*`SJ!$bNztL&mV=!X z3!c>PyZ8K)`dPzaD#%Ie&wRTer+y8;g;)UI0JZb03GUPfyZCAgV}KE+Eo~?8^KRqjhX8X-QmHX4+8C z+;}WYOS}a)*~$%B?Y!IVGdGfI>dp-%Z)K%gRri_tnCbjuMtAx;mv)#>xWYl_W(9w$ zZ|rH?a}a5_dL0}OT@^D&;txN@EJLLP#I08NH9$c24BXV|Nl=v>=3Z{HDQz0EK#L>q zmAU&y+&cQ+c?^hU2$FY^>Ksb5nBN2+o;IM}(e*cwFHC>pe>&%{X8~pWEHzH0l&=D<-qICNNk^>I7?0h@ zr##~}^@{<*hAYW7rxwwX5K2+-{e2A8l8FPN*%TRQ6ZThN9k2g)Mb?wkTqFV`3lyKl#9=0R-4vZavY*kVYfLZ*AaNhAEn@OC@vWm_A> z1u$+>ct4;UC3ei^L7IW?mb4I&rHG&?1jIn2h6uEFuLWgsbph#2tPc{B9VTVY16>df zg(?r1BTWWV=3Loo7S@tGhooznU|6{G?AF-+=p|Y3vzkpBDV%{%Vi8!!m8=+I-A4b^|v)hjBwWzhhms_o>bceP=U&`x{(VJs(;1j-us;nnyuBYz8pp z7W{3Bn`3~=<>y`V7RVS66r@C>hQDWkyFL>s28rIX^jed_QWSq;koi8(?6$_?$swv~ zBTi-SF5l`)dRaigCTETNAX_cfVzM1>BV$iYbCBnM@#ok@63{4v(R*c^&hqet~PuhWsImse0?xPN(K&%S3| z-cYilUNNB-^S_h%si6UV2Kw5OD@pwqq+Mjuy^f<<=&1U_2W}YC^L+XtJWq|D%hTVd32J~{Vd zMjX0;OzqW~9{wCMeUAPv5S7N4#xuGY>|)WYi8}8wpqt7G*_XZ+MGwi;^AjFh9%(5d zfX)uDbNYXW$rlIvVol5sN3}ubC^3?hzT@22N%;f~+BA2ue1xG?v{Nke?HaUygbW`# z2|LFbA$4S*YDLG5p3|k#)px39S|xXO5U8LU=&1 zl1w<<{@WWgD;F4!C=~ zSnYpP*LuiEU5%$1CV_7t?wsdBK0pSBzXmcG{%D$VI4IF)=@Bp?W2T2gNHSO+Aj&d( z8_7uUrU^UxjpJ0BMBCh_s$IV0a#+2(u<@e~HPrOT|950R=8I11n2z5v-kcQaO0*05 z+{{%$*p5-}0qV;;eQ;v)tuK0(dw~nZ_PKvm-xeTJaEV!pAoL)CH>3~U=(c8wZE*n7 zv8X>Rfbdv?4ltuy<&NviCgYd+P0?i8$HTvX5~h3L%<-yIo-A4;u=zi};gWh3b3X%Z z|KsjEHR;)V<~nyKB;Iic1eR$Ue&7yULe*$_q|{Qw-1pXaVuf9W)FC zI{D}Ee()dEt;7MTJeLh!g_O_JA*i~+N8@>evL9V+wzQoljoiD!bG4uV-vxLFIRnjS z1;;WsCL;4~#VMv33pNePv6c7=pre0erY>=L+nI~8EfQ;Hs?M0^WH@Jjh0}(x9xu;u zOrV%dO`CZby4+u*-vwe7KzB!yF0Hg+MG)P+r|DLsRhI^$SFkb!s>=a$?FzcBw4stz z-3EgMDGR{TZMGNppG_?KiZj}Z6abuX_m`R3V38Q69<|fu!OaY5K<+qgXzYKd8a{ZC z#tY0L1?Tu7z#w`wB$90bp6%BLQW?Hr7lmb26nyI}V40%6;*cNcoOZ*eD|zkY4|byJ z`;8Wu^o6|%IF#M{IPRIUFD3gtWUSfE&JfvU&7NcpWjA&TBZ@4QrA&*8&=i#vsgy`X z3t3uJwAmwTcI9`T;eG4pA0#I5VOuXV^PWaGHayuSVH zoJz?GuJ~A@McLg?j?Lw0*VqRW*bfiXJmZAQ9&eddeO8{ZxSsq-*p%JWS@dM=4a;;- zo~8Tv3FpZJE2ngfrZ%6@Zf_uO_6ojr2OIr9P?vC*&BAlcIji@T<%V0{b}wGp6!ew0 z(iAVJDW&2CIr?P65;tC9QiW4)CDMYWfo%A8ub9eD2RyTEJ%KI# z>5fIWJOfAjkO=hG1=SPHZwR@+zFc8xl}TpJGC6}f5csXA#bnRidb7?e(Z4AQp1G}9 zw8W9O1zGZ~_sg$XFYHV6-G-h`nrmdmOrKcpaCW+R{|j2gSqE)=H;QlNfsbTuY3-Zp zVEkPgA8MH8c=eE{|JQh`5tqwv1&ewyck`N?1-QgRW}Pl=shP8R4kuq5R+B!Z`gV1; z9q{`xm&-`n@;2?h9K@<(bA~+avt^R;Z{d3ki<6TcO@~#>4mpIIB!^QHs?k%Jw|Q#HFE{p9Vh7*?IW? zs&)TBdqtBL6xr{s=jOiTC0yKUr-1$%wx|2@`WtpSoQK+X?yXGCA6nwFce&6y!29E+ z%sI&#V!3d`Qc;Y@h+P)T-I*E91DPp;`c{oXxfR!q{EnhGDdu;Ilxl@9919I4U42j& zc{y^wxABs*WR0(}hE*QZ{^A|u zmfqm|`29H?+6pZC8`A1?t8NL{dClvjhZo%JYS(fZx~R79>D6XgYfnz`mHx;2clS{f zqn!3!T%_1ZrZ#zQZO^j0ah$vqocR8k-ns|R6nEIM`hVTs*Sht|E)n|Y3{3C$?o&$z znX|Vir$RythYM`{UjLnqdDX>9<@*rz3{8c?{aRs z5nuRaD|r@vJjbEKZQ5&9EBi6px4-BYM)5~QQmiZOhA7WEgMlXknj?!|bEhR_G8n$q z7jEEPxu5YIg2sMMo_$m$npY$!mf#Op3JOxmZc`ySGTdS(Fzlt5IBu?#JPnbpaBLi` z5OVjgB^vphpNNEyqK{X{(1$Xre31Bc*gLF+xw@?tz!|W;@#?!aEyk9CzUMD-^h@9xMG5%)R)l|O==%f{urymyH*?z~)4$WNJ zz~aQxL2x=fuEgh3C)%$^&N=5}sNSYsw5Mux|0Q-VTKS23Cqf^&Dd4fP6lUcB)t|7*e%+PI-EI@AAt!m1wl4^Z9ejE?cw>#N9G6Bv-i3(FB(N*9 zR+Y9~;HA;JF9+RN=eN14@@Ujjn!PI*x4-RxfN5V&#w|?RgYa@*mg)ItJ5B`linOt+ z_1}<~R(WCdtExA1m#LS-2==BDYH`|hmKNlm;TI>x&hgZFz?r;!tmxf#e~x1%TpY?4 z1?LhvYmYt>J~e(avtwud*|Kz>*1X|~Jx)so*2d+V?$AE0oK$U@@yaraM8yxv$n^B3 zQ8r>RBg50O<5A|@ruGFFzBUV88Px7N^&wN?>$`jgr)0EjR$3amq}z?G$A7X#SC8vK zn(MW_Jt>qp?#9if2k$;`VHr}mSj5IDP>4reH}v}4Ws*WmA7)e?B1zG z`WmikDfN=JQhhM32v;|^{q;O{$F9`$ON!3-T4vzLr0ST2uhLB~?;N$H^g8rXzZhlC zE2psEdKx=(JH_{US*`FDeDO$vZmry7K3u}mCH0xYp+eGt(6M~s11(%l{vl_7GAwR0 zeC!iN4zV@bMhIui-RH28oC@R?U7^40`4~*9{MhsA7457(DcgCthU0=1KDo8 zc|9(LjO(p~8$=Rao)o<$+!zer#H0F|ZuJ;{*m8vR=u2hFrv;1kUCwTfHsuXA`62#3 zMYo>a>{6H=q0MYLeJ>z7YW@zXDUbKd@^zjm&eG5=Rk=;qMcOYMmq)q0rzyTzI)cL9 z*tQ_r6O!Dhzni&8tlJA^X<~|OWtj5iODzk%dd^ghHkhxPcuor*ZoUjFuV8S#@NCX zq3UB7pTtSr>C^bMEv~@=H6c5)-Lvxhrvbi(v20SzjrpI&qh86%S=Zy*$&V7(jqw&G z7?o#C8F;oye|D5-?cpHf4@7m90qcfc5!?I}{)6;rWLwqWNd`%9Bx}*Z^^h?b7wR!+u*yB`?x^R?*;FxD(A%%+)h7agz`Et&gP$NsgM4p zZCDiB9D0Uq+CSnTxi851eCl#FC0WPpQJ>aMW9iCm-AAXr*=USIb)j*uTFl=o-M*i6 zab4Q{_S;v!-n;yiQZUS@kEp+JsaX6JEwaLG!EQYFm0HDxhT(h_Ly?eMYIBO26I(2| zHsMe+3eWR`3{`AW{qL&;UU=orAAA*aLe9V=m3(oX%Qm6%P6Z{O$Pb2{Sq%>uX6X%5 zmMrlFO5&`kmBx%k8ctTE)kSS?_+(zv@83f6{o?Mw7yK-G1{tTcZ+ka?X^9<85GE$e zxQyOEr5eybn18MH*&DXLdF>~29c^(Px+z+1Z}}ybA~X8)ej3(I6rX%G@a@UGN9tqt zj#7548LnL8H?QT9oaEQP`Oud?e|_~k0J_LWzvdO9$)7iJR&_T`{PP924u0Mb>BY|t zRrBt@5jpbGuaw;`_pP_;uPp_hvb~@6Hy=c&7IxKjs~n9EJ-ec*=hAwP(DzwBeyi)Y z3xdg#X*Qn|J0FX^ z(c0Xy$&Rm=SFbYY#03`4%MXIG)#?0lVge{o843AStWDtOIRE_I93K3}J1B?%es7Ky z{FWx3RP#F#9mdLLs0=%tt4w~B?LKK|IcKH`Mz zKK1@P`!~ICcG>O4@3TD?N+etwJ9X@Fe>F#5&F-jnzT&Qu*W$^lOZE#W@oYIe?aWEq zo=G;Ji-8H>QJ=>;c%np4S})&TML&13Nl{XF zq=lAVi+^IRZ{kY3 z$ETLBP-?LQcmJUN4)XK%bwxHq+k!s3*0O9}KeRrpQ*Y&$eR)OV`}M;2-o5x`(jBNI zedI@K)A0DGC&mKuQR_G^PY|=(O)1Sw=x5Gf62cc~kI&^MMULG)T6VimUWgy6QHpuE zhvsoZXZB%AskvO?EB^)uUwiRhkG;Ko_pwhOT#55HdUIXpb146!D^JYiD?0*>W#3V; z^>45?72)68(dsulUc^`Kj6X-1-jgXF&F=ihw@k^%lEv&R$-j3ix9jh>L1sq+CMSMT29p+ENw4zXiwfl6W&P4Y!7_!m0PZOtI)1boN0~|(pGgR zKkE51f_r-#-jsf>y`%7bfM;60In=u8X{XEKdBb7lO<(JLcb^hW-Fj%tgGWQ#lZ4(h zeGvUh#J1jdr<_LF^)9cB-s~j*KIrT| z`{73Jd3E6w$RI<6ly_4+fbF#NL&8v~QO+h`KiY=iu&E;A11v*WYEJiL0=1m%usnDC z@i~z@`L3MR!4)?X2nKy~U$PwHG=*Im64o<{xlk?q35x9pm|d1FtL zlxArA=keng2WpOVy?SYTq%pHlm__Z<+z%e#4!&yZS|?pShEVei79HqexQq0j<@T8I z4_f@bF7pWp|K{g0xBQ5$D)q&u<4$Tlv+o;tb%4fOVfpD}cScjy)T|io^^LY_^+O$s zI&VqzzAN=(xCG+XUe00qM-?Z@fY)2h>PNrtrHw4Kh9r3WesjZwV1?4~S06CISZt*p z++vfztuX4)&gy-qO%^tq#%w?TXoT?CE^_8l=kf=_#FAApl$3J0zfM0Uw9~uD3qzni zC@#L&V=T}xS>mxZAtB6iZ$AGxbsE%8Et-L9`mUK`omzw2SwrZpI$$2;4rC>R%jq_Svj>{dJMA zed(JLtovg4_c`ysuNJ6t##?SM?(2wTt&Og(f}x3vUjK^|cX)%gS-gC1ReJM6?8(K$ zSS8WRqw&Wc_i!J$NG|BFxoPhxP?BU!<&4{~m`Y>+_TA!4$2E&n0e%XY^i zZh1mGZ~Ezifv4Yl=C2R%A9z=#=i8*aLHB@Zh!?HY{8K6G5y_q?k;vL`0jc?}%#_6q z`A*GZA`!8CrkYgQ9kRBK`Ag$Q6EDkMGY(hgUl0*44J`9{yzZCduL$2m_ik`0iVUXv z9#!k}k!JCd->+15&e3$!m&(yW#kVS<-|tJu<{IFCVV1O17qdU!&51Pl{zdM^@?Pqm z4@oymXK1D|V<)ON1uG-Cg3V9i9F4iqr|-@sgeu z^wuo}L@4Inx>Y;=yn%pxtxebO`vvPT4+)vr^@>cNA zx3n`Jw;WDoTcC8ixvh(mJ)4DIu%9b6Nj{S+G8O7d+aS*Q^5Ua3Gk4iS$K9h%))73F zSFIzCbwz3SRRpehzDW}Awo?^!;%H89e?t*t->a8&xTxu%tKOi=L&0wb@sp=`U4!rW zZzuLRv-0X@Uz*|U<5@r%?lK{FTfO=j8>VA8qF?#>fWG0(%ga3HjXNrHzG^@vuU|h4 z4W{&?4CZLdKj|azjw6?=1Q*)9h~hi2v4=c6T{bNt07P0&F?I-)E}KrNm~_BFq;yLGayO zbqPh^QrSN$+GnS=sq6XLya@A3^y%1@8sp;e*mz^_5N+kkf$u{<_;{~sZ70cDCL4G88^*zYIf&iU&3;r_e4CB8Wm`L+>t*14D|sVIeU<&0TA z?MKRzqi zJt-{LEj+i6R&H-RDfRUX{OMeUol5_YdQn2lGmPNi=kYAhS`k(q34&hwmmY2QvD7cO zhm5wR2lh4C9IwrkTAohxaaL9-_&m2oF|d;m>sVV5&)Tqjemxeg&fs*(Cvd&8+JNPZ z)5J;cpRg7?vGm~xzAZ-|eSF;`m91G#5q!iAS7o#fL}_A8YIeWWrnRSAWzV10wc}~n zyH|y${?fuLw;f%DC$n;^cj3KX9yxl-`g0|8JTGn5aS#83%?%zF;l;-IoVbTY@t<69 zOH;{)d>U1Lu=+|^sWG5h>$qsY)4iY1oIe2;>m3R~eH$BO|q^ zL}Toi&HgjX<^6K&6M~Mazm+(lV4R)lV-VfW)=RAujEG;{d}`s9fSOdvi~Msv?>4Nc z#25@cW^o&)5NO@C*6G)N7X7wUb_mjR@tf~k64&_Fq<$!or6Rd5ty{QNLAj&uMss-M zLj&?>3twUN+umQfG*YWR?+(N4p`Hn7)|EW75tpof_Q>=2J$K@L`2DI$G6%CFq*Ln( z1ye4th~6z9d}|O8_9E`$&{h}Wk6T4I{77}X?-D8U@}1vFRa*EiL33fj(|1mv-?S1J zaxFjb_2Kd6PeyOMDtU4Zlir9xv5XZbs|@FuLfSU@k0MV#@qEY*%ROus$(w#+%d^vO zye03qc8zX5fSGYtVT)4vvByy{ zsq^r~-#S;$F(%5d>E2eeKYMoY{!-$L=sWLzix{hJJnJEJSvsQ{I-9-d@7R#%5F8*i z=&4vabj*9tb4=`|jkU*pPQY{1XY2%YmpE?=Z*>=N6Rq+;p_RQYiniS?H{y-l(+kG; zc7BNS_<(6~%PMP2s$e_5U;I-tbSHCE>k-XU4@y0fcYEoI$L0NfZKRg;9R>qc<05!X z-ZvRboHzV(BtlMv6;87}l}$wNSMR-Oz_b0E*1lP6!6P=Tpj)Ms=rPxy?t7Ec2TaLh z5i&HIDrKjrM!K?m>0%nqJ^NEt=kK_4P0veBYtv4*bSa7M6@H7+``X(nR-4kDW%>jc zu5R>QXFR)Fubj2TgtsI6zHMgXVDO+-^^*Xr2Y2%n?__E03UDkx5cf);;7JpD-_&7G zp^h6Ohf;H0Kioc%MbYHeyn*l3GCs1WrJ$hc){X~}93j&mqf3kX(hO;rMa!I|bPi9~ zaVSI!7~R(XxMk&CYR0`TpIEl5>|VkBUIGfm^W#=eO>Vr3XpMa}s1w2$+ql(myC7zv zz-pmU$cD0i-$xVs+p?+hWl^}iPQCXl(kCc!TrL|bZdS}y@VpONUuDcIUPW~{Zo$5C&Q>@(!3T&s%Fp5UMFH9CWWOn<(;<1gt=bsU|mEm;|r{OGI~ zw`oby+wz*`#9imf4(^@HVObJ#4L17@zlM9&tMj*8JbHiS2Ya?NB}@ET_+uNP%s2O9 zUa&OG$$tzpXyV_Xa$GBruZg&WwogMrt-oPnQT5lP!`AB59c{RGnw?fcJKNeMC;c$>&WHY za5>gp0pHYoq%}6onpD^GtNkYJiHNzn{m*xMY`XZK;@cm>uNCN*Bpbi|oNmt-zpkPF zloYW!?Cr*Ow8{ktCJR^RYH^SVWz}DUV$i_kG`&)=C?pP{-(^ z*D(n{TrbFwQTKko8eh5gU?4jFbSg(9ZRFH%;@r{vTMxq}tq6gf9l9TAb>i>S&z$)r zDHqYYq<-(}$}G(DMaW@e3V!$ITF>hg6v`D+KRz3FGy-S+h;92Y@Ae(lS#wnknp5s* z+gr~TeesHJ!OV;D{gYMwllgN)>(@mM|NKf5KiKOZdTKM)@Y3+_A^w6Ct@3Z0b?r2( z=GU9alOB$f!`dvTm4*)Nz8+X0BL2I~@_f4HMcSJg<>s7^_~~Oo0dcQ~9!~y9DZ~t4 z91P|dyyw2@X}N08WSV7gPu7K?mbAT3HF9)Bv68M%A<5lBQs&$z4Y!7L-566)V2%2! zJsjXz-Tb!H;oI*+M(iG9ORhO0R!gXd@w9Wd`qM|ok~{OKif>g~uH$^(5}n=s)7Hl@ zPRaCeQLFM}1^0}K7(UzUVNII@f9x#g%5PV4d^m~vOunIIJz05auEa9-e#H?rZAM<9 zxh0fLaq8MEFmnEu3%m2}cE)=@^SE{r{@$R?lXqoDU9Y{cEqYd}j6Nj&(O4&tKs{Lp zeh!eUh%sB}VAG;WUuXN8Q!L@`!V2*;Yi;|<^y-|7hr!?KKusvdS#p~{d86Te;&&+nY zXD*O8s{0jI_gV4o{p89$WIv5R^Y)eMsmb$&C%A28grjw@&uWB3Jvl2gb@-J3!-bpS zn0(p}&-(N_fe#mU1+Z`TDft*DP+p~Uaf{vR&*}AzU-9d2d_s@s44KV#XlXj#sFm$m zFK`(($TddoPqDk!kflF(;Xqz8JN8^qmrHqq{gt1wy=fMKrefr|K(U08X}N@L5+l4V zgwyrc7;h?N4_$6mnby+E9WNvQyeB%aMYL?&{D`Lp#VnP0HTp5*oXzc9d8A+5&rc*D zcjGxDX4RV4_&y9>nYZBB7NcJ;77{ByY$)VfF?duaYcZwKVBoE-n1OY{_3_g0ak9@_ zPxDb830X6qiaeZHE)wPb7&m0aCNJqxdV)6Sk#bNMI-}Dx^GhjgRyBHyw_f-9^=Gh) zyQ&=J_CAcHP^G0`1*~M;_|jedczwif-2KftF51>Vur-GQ_C3jM434Dnv6t%IG(7dq zNh{YfX31XYw%6|^4*i&j!#qzn?JT;lG}V4H^i!VeP2T2x`S(b8pVNo;*R>dU3BNX^ zb@8Ezf6C5=GuEqm=^o)x^9!|&s|jW%_hpHHfZX~ zGK@GM9{XW`XWh2sprEYwww>~Z?Mg@TedRJGdB-f1>+RnMzu0k#f3L=uvUh{xR-;ut z)0ci`ZL^PjY~Wq+el*}(Y_SDxub|wW_xx~$A59d;dwVwbwRA@~SxV?^LI_9pw_m>g z+^&TX+m-Tuv(tigXlv{DA)7OND51Ojd~GGqj8}5kJaD>$Ju@(f#M_v}$LloHZj-i?d?%Qn%%k``3>e-mrCLtPeV#y?gg3wPw}P z<~0B7LH6Xt;LMp$g9taFpyZP4ZdZDnJ{R&XHLB1=Gf#C2T)W#hAF9#aDs#I$BeBp^ z>6oM8SGk#%OQRT8{kdxV z>&QKyV16Y0nwqWC`_}0T#VdM^mm4#-amwzv^+Ir*=R$We^;6ISmZox*<&>-0*Y{T) zSX1@}PHe&E$ek#-FQGg$svh6DuEIcj#lpkvta6l)s}$|z(UQZ3mCaqXPKL7Eg2+9Y zgKSsAZEu%Wzt@5V18sb`gp;8ZE$`)T+(hNgJEkQ9!p9gGO<7hux`;;^!=%WCeD%%& zbFTdUC|!1$F&6tdQ_4_YqWIP04;`1ye#}LGJ_HY!{8m`3nrN#UkdlG)PGq|ZMmARo zA6aI{)eO=2CfaY}xEh=7Dh`Ue-7LW=n^g{mUEFl@a45a4#-<@RvpT@~Yx>y2c+f=H zeR1t1nT7DUevx~k7!9$ReS4hxJd<5-wV56a3RTzzOIRxS(uq=@9d{4rXnm}HaGSMm zX))ZJrnHVM+Oee|`v9KPuYp)m6H>VQ`+CeV$)1hlH0!l6O8m!E_y!hYXO&ehFZ1~XJf@Pb*B|HWDb<-1Kiyt*iN|@MD<#!J36H&nV)rsP zSyr_vQTiPGagQyp_0DB@6X#JQ@42Z|@qE==_bylDoE&H>}|aLDFYOhAeytUcgoJVnxxnE_;pbK zhTF#P4D*T`UYn-eDsy|a=yzg8ar0C6sY5DR19VrZQ`L!?E;^nhc{nxv`eE?D3~&Al zO>e(U^Q=o!4uy*($0lCCZfsg#;ac!a>wHYN!cy0BiUjTH%#`e)EG)5SD9~Ju?fl$N z4&!eduUY+If5_!r=N8vejWV`n+wwzP{mrwF8rXeq!NG&#sMA3dIUP zaW6canX8}+B`e$<$oSMUHNd*_kvhY zxWFw#4Sm$Eio|-n>K8uW(Cc?r_Pr!|o3MU;{QlXY{J`&)9alWGE~#wvlu6kCXvlD~ zcB)>X@5W``&$ET^av!>yNX+lflC==q70#3XeymOZ;=PQUO|*+`&reKa+yw_)obNM& zOE+{cRo2{Y7bT?%^u7=Nbw7si{Ds-C3%}$yIE6;swavPB2x=(|)H-$H);sfv8@#iR zC+)iVvoOKe4Tb{6c=+Piud9~n7hC=}R_nOJ~*Rn*9zV11d@LcQR7Kk>I^2v^V(d!WQ zTXYtATQcGEWby@itcs3Rtk>z!B{RPI>aSi}C7tVf!g`mHfu{6$bd*IqZ`;48*i=hx z_@P&L+-UPuF}tujVS`VGfoP3?pS63lu;u$MORL4ly#78^zuV_&Q74K*lJE7hh6|{t z*lx5IznqCuDA#<$&n2`a@uwrSADZepeQ{Jd8(aCjgQrtAjikS`KwXh>sJ}Vk^`UQ+ z_$S9u=+8-Qv5L~~YYMY;{eKpI9tldRu*vi{97sH5XsQ}OzWdJKzyG?Ms?wAFUY)yn zSO<=Y^Q2_C|2SBE!-2N*v9zRKX|dX@t3r?Bd4rM1bC!vQ~-5k%$rAo20D?d(cUk=Jz*LLDO5B+spk*rhRGHvm2hB{_j&be>v z)bmvsuUe%NgpUSf9htDy_T9^RLO$kFE7y?X4}24`cp{hLA)y1KB^*otHC;wdxIdl@HuYFSw<2*=_1G<$B|C;R)Sy^!z>t zPp+*e>UW1{cJ^iTo89C*N~V%>Rc96iXjH2mbQ0wKGmK4(QNoqGl^|xU|1uPR`-{$6k+F=|O^>Fk|@d^F9_b(d;Jn#}gnNN`fb7TzNY zZ#{I)e_QN%xA*4Gk7~;o870p@zWwC>8OKkVe=*>HSX%xCL2Z+ELub(i<9VsiM|mzP zJiiX%Zk@RV{x;>CDb`4*oMm4aXGj*IGMK>gDTkH2U?U;>bl^JUP<0K%Bchi=Bo6j= z?z#xg4LaL3-j9D!J94)7LH-bOX8$Wle?U%$D@pnRQ(=1nJ6JD=~eV#oW z^IB|BD9f+ezu-vjv*icgPg5x`A9UM)99-PX{nUm-2WB&@UwOw%d#RF#-@k5&VNc7M znc{T}IhlILL7=hu)0CQSRJmeQEaTYoV*Zd2DBM0`|Di8=<{R^qbcE&}h0zjX?@zPe z+o!!#k(WLzd)4KmqCoPkgFT17dmmQONf}yKoufNtk@kLjX3tr+mZI^a@_ozIuEQSe z=@yTEG>7E{E=RwZOmF)xU*^9Q8rK<}7LAu1(4y^XUHn#ly8P1dYyO%cErI+LZ6%+9 z<6AY?IdpB$t*_WK@234xU_JHJ6fG!=Wtdan^1A2SW!Azu@y^(w&VaJr_np9bcW}Yc5eZc;H-f zkNn&u+9`^cqFcOAz`T`*b$F)(%4r}uLV?BJ^o&+AF>cE>?f}l^YQB>Z>xRzL+~)l2 zRkEXx+|2#Cq2}>?&h-elpFEs15@ET!@=+h8Ts*LjC=cmf?AfK5hiZ$a4Ias8+i~5= zqK$=LpQj0O?KS(A?^I4RniapzX$P3zqp^D&PYv}ssru9vr{<-49@NosTcP>DgWMzQ@HicyZ!nvsf`u4 zLigPsux~wodb~qy{z*=?Y*N-7X`qN8l=p1RB6{1=u@CQ}OfXq5_%RX2Br+^z@~r*L=nO?ZYDVr%&q&KjW8TWS5n67* z{85{oS9knwz-cI{MwN(e8kOa4e5~-vH#9-MEU#T1ccIO0RPI>*02iB2a?HEosBydL znW{M4F{^#-k)H~RI+fg2@>}X$9ki0nEYrSTo_r<6)twjf^@@?+4Q?;zo^YWDXD8Uw ztaq}6DBS+N$LmTqn~J3DtMZ06`0K6(+Hi4NM1w5-%bRwk#K!sMv2o9S)VqkS8!-08 zf+hm-A&$R)ThEdvCuQgzhHcn~s4IptCo!A*qm9i|3m?^qTWmlDPK9e-wX5eUAE*`C zZq4z9F>r5PmpJRyP>0K5T6D9m@`R&f9 zO&lz-+dkHIK9Z>4`Ev68a!_6H@fNKFXqc7}yz!DD>I#pEgOf{rhW|~~2KM*n$9?Qp z48L3z<##$gapHYj&#>Re>0NTY0`Tn@jITvR)LCg0UsI@J-Xc!r#`Ume-yNH;iIHue zj9pPbiMuicVZODY*pep%4_xV#%AE9C7V7G26 znx;nW&*K=`cr$1)D=Pl3=}t?Dn<+*qF?3a?llq^>?#MVS9JM(dE@H8?A@fcZ zm3EiV)M3EQL0>4ajoMkYiM_+_l){@~!e;7q$)34y6@^lls^br@h|N|)sj9)78f6a! z2xf*3kP~W#tCy{;&KqBM@UvAmkDN*9N{XaWwxtW^cNJQ#H{mOsy?=D7Z~46i9~OO$=%R^3bAT~sXD8AmcZjhzcWXeB(f z<2vkHPnrB_x>Qxa_C+3M*+{_}sb2IYOHhNB)+8cNA5({UX`qxQ34{E{1q$!3mBzz^ z8m?Fjo`A!E((HHw7J~y-h>0Xk433P);5A4XPznz`K_4jJjR!@S33%|1$72Yfgf{N#Y{o0ggZcZSW6Nn*}v^F&dzTCtib$(ZtelU?L9G{w0A990q)|2((EU z3Kbk%24(up%O$h6Z4d0JNitBNBj$G%%WYP|X|Bl_n97 z<3b9$133})uoz7;P&<)KqG2>O5vc$TO$r!|6ojYXzyKVeNFe|sNO5io5%7V>0SpPz zHYhJj(Eug^#ep#tO+1#12y{-N5bzkH2B@x$1tklCFhDa{9AFu#zK+8(OP+#)xHv2U zQ3V)_!xAZY8jt}8UP+*?Eg4uBhb05!lY#nippq|w1I%GH2^20Iup_Vn7H|Z#gV+O9 ztOx7jz!X3hNQsyR&;kW|!9QRR#A|Rk0?;#93V8z}1LnXRQ4`37Od!$78W;*P0qC7e z6B(}o#01jfaGJn@0IN701<(P`0$wOU-C!^t3m_=rio@d&+knA%Ja7bH46rWHG7uW@ z2v$N$QR9hZ3Ky_04o?E~fo5=cru~t@8e|%931qY;a6UvQcnS`f3>i%U+#-S!kc!5L zoCF+jCPYjEAOHq{7Xp#Q1;!GHz*Uic9#R zgsmCZh2u~VuEt*$Y z(_jKO@cmt+ov8U&Z>=f(nh)7G{+SD`|1bTuO2qWm?QlLTvj{PLj~T4U3-a`z33UE* zpkU4Q?J$~7e=5dX(_selqWGAl?AN@4^f$|*mN4T#%z}E>e->P;&idOD=7i`kY++uy zgf*=GANEOqvA_29ReGj1JV=k*0ss1sDCECHsj0Am?Vt_J((V6z4zD|&rZs`Ea)A^iW45;m`?gT6UEgjffR@Xl5 z1S^6?LHS)3P~>*P3D#Y!TuUeJgyjGqkTWbnkJ$chK4e#;(|3Xi ztKaRVe?%r|A`_GZuuMMxJ66{j_6H39OOUSY4D+J^k$z`b1H#cIcELt;O^g^1{ecTC zX|!rtbqjx=2+VFg$h$ytkaC%5@MQWD1`kpv6AzL%^GRVo*HRmS&Oag|K*vl7tf${_ zgE{FNcfmYhrC-QO?Ym%Qlm9G20Q(w3gaDH3>T{JSh|<+I$lnN_h-FUuCx3!^?hP42 zLVs2;{ts0mj<`AtY}w4&V3S#Wu2Kh?eYFkJI>7%!Rf9h13@dN_FDbA+FsFj8m-*CW zc7rp@YH|V9)>rXha{~Qz&Jhv#ztW3olE4WCnG5pL>J#i@%r-cHF`wY@#C(EN3V5!u zLjqOcU13Q?fq(?a<;)>qCuKg@^hR1U2B@9Bif0}a|0Mz3)dkknMD{-BtTmI7R!s)> z=T%dZ*YpJ{*dycC7ywn!fj%Vj-C!QN_%4{2V=djf(GS>wjPS?A+ucAg-`@@MDkGZ= zvJi4ILY~OMi1`E?FY-i=Ma-uLo-XbNtI+SRP2C{2CKoswAp=O@V1zuu9z;Ki3`D!b zJe;el2B#wWm>VovW9<%ybAd=|@PqLnu)hYv0(5qN7z@rp$Xo@pNZ(*J98M9)xysfW z29ID?*IC055DbwX;t#9Rr~P0-dWApC4M^7d!!-I?@D(Zr4MpICt7coBqX`h;F!*O7 z3WCt29|(XgAr1P*0FcOgz>l-iwE_S=y$G0YI7k z>)TnF*#kbnafwNk*<)m60`_{WA~;H~F}#X4al&J9fCW6BLeCC_g+LOx6bMu3s6b$u zg+Q2h*WXmEERFCsL=T4@R$u`BM6pJwvUY3 z;~V0EMZ{b6Ys~662S+P2Ykj*NKp)nofFj@#3W0@LnF^*?c8ExLAvc~svU_>?dV70d zfeYZ*4h^e>yr>~j!Av}P)!+Z&3S`eUmj3YY-zjujFf2pd6XX@a)c%@dF_niPnd<-B z;0O}YCy1M`;jobCY8b83qf%>uAtzBVZAAaG?X-{~vDFmRp+@fiyj^SVcGb zL<+Ddwk9tGz79!Ys9xTIUi*9%)osEJnI@J@c<#0p>v#?n997o61rWAjv4d>uH)(nZ2xWijyAD<=No5s`>S z|M^1}a23F6(07NyFbzimw+P^q1QNLVfRsi8;X+2PvLG#hdmgxsfP*`76~ThcMFuGu z+)|KUIT&03k-Ib*TwlTF z2BtfMT?bDAK0pT9oq*i2$>0DFE*F3saA778$yhEjU=gqf?ghY$2?$eU|^0h~vf zj`$A_n3(`BC;ww!@WU@&k^Z3}YB)9EPyZ4iD*ltonXw$YCxC0~RxWjGuV7#LjYyb_ zt{Dk$!(bGsz}#v$=5lL(zlvclMx;;1!b02#-8C$IGy>jCSC4~PJ#i$!4=@Ci$JK5! zg82^_5I6*&zrV&H$@8BKygG}SJ=bEMi2(`$_b%qzLdYtsi{t-DM8_QfiIvF(k|2p| z$CR~kfL$W6@}D*FfFN;g7hM|z1SYQSr)wA>FmY{XUBiHt0T(%OurLp@%0F1Tb`&h* zi3hTRyW!ufAp6AH*=21kBJ0||yM{qz1#a|*HzcxG58i7F5DVCkR1 zx?Thz9r$eIZwf#<67D}3K$P@Px?*aS0Hh;<%k5w50_jNLbAi7wU@a23o+2g}L6%ut znEbEaHL>)fNLbX903-!}Z1(qDASv=`%3sugq$F_r{(}K5;Qw)HCR0QpDe1o$L^yB@ zMp)oMR#|0%h@)?b0kRVjN&ng5S4kj}fUd2K{*qEK9G6g+&zp77kFv|7Q(Akg&D{T`dllqR+&_o49~dRtag+ zLt|kXx>Fpi2Vv-Kaj-Nv79&D#09sOr@byLlSV;|}O8z(yUYYx0P6=d-C;byTe};ew zWGs#@xgXxb4nDX*graBc2bY)i2VfyIGU*RJ!XL}69gz^qFk%Ss*$`77{}M(-BH`&D z04czt(E(VFNs$)}{)eC%ksiDs;KL8V=3vaq0azUwBOss#CM!fl?O7wHMgXaP%K>nH ztw;cgMmrw1r?V!&8|Z!UKr_Axu!tl<6q4Fs%xW^vbNTV$Hnu6@pUJfetCPhx z{hz56`rUX~n*J>T4y6+kL1w5-1lKSkJtrBK7DOC5(rZtUubQ_Pbv03f`(OgRS?GVT zU?5QgN8gwP3$o*oi~&A&S#2Q6LX)`G0IL%dtUb|>Bo#3AYzIs7J zKG$NJz99+TLJ#+cMe)o7#J}gDKa-JU^FNcp&c&RJJqT~v{(p`Ne;uAyy%$gVLk$VF z|E0DX8T2AR4e@(^A~S3K>sdIBKhqJe|7ZGI^wPPK!F0rlw=$jhe~j~&HjteAKQz{2 z5p3CXr6gFAxnZqokv?`1mXKbHBV-3hBu6&z)#s`j!S;<@0L1BHDewju*}DHMVdNVT z8NuAw!3=tRGBEYd6j(%>Nr_8+M^t2xe~2#_0X~NWBUZOqWP&C=I|YsfmgYPJOVjW` z&-VWNeK8tXJeT@T%x-YHz~BJVE;KZfc}QSRHVfGs3WhKPn@imce9*Pk#7KjT*T)$U z4Gc|;DF#O1+(XeI5{wMVh9(3PL!vI`|9^-Z&%Y-v@WCVf_90l2M%|5KVL?F%Kq0^i z#e$-`AaCmsupWSVSp>HWX|f`K4Z)ESoHNp7M*s(cvp{e=ktQbsxDcErf^$Ne+z8-7 za9~Lk)e&j((h$gpAYBop1Jc}pfQ={?hybRbsP;&c9|4;X9H4-r+96E=1PCHH5d>$8 zG=&f#jNnKJ&IW0MUKW%nf-^>NJCLRr0?;TH8bn}nXpOXC1c)O8fe&Nd#aJ99R=Y1!A+Hq!1vD;FyA#BTX3u0OdgpFJzn<(v(AhJZPeUeo<5! zpvr>Uf&c{s33P^{nj%d_1SlamrWQ<)rZNIl5FAqrKpYm7Dgx9H9MA`fYJ@b^5r9Q- zKs_j`A=1Pl0FU5+j!;wsq)9;003;$vpbHdLA3*}ev7iw1qJfAgsvgqRK!7HKLpY*t zLz)x>XdyUcb*e7X)JDKo1jqCb9i+(wpcjP(N=8vZFAIuE0HI8GNrPpCsX#Ckl_?33 z6GcTtq^i;L(%^Y$f}V8*j+OaTNGq)*>AyL5JuE(_smoQWn5RJ=0wj>1FBgPAnC02vCR( z>k*aI1IwY%dl2A_%m-0`qJqdkQF#%-LdRvm6k3ija~4>Jr5?6-0jwA_ysnf#`&Rn1!((61tPeq>5ODfmnqBf)`?NKthjT zW(OD2MDiVj7ZU1N#Q~>=7#k3<2?0p#kvq8)m!bp>u^nipYG$K3$Br1p@1__JN zjx)!AWCk(B5fMSiLJUa+NF!h~BurFc4#6NzDP#zfbr4q&Lk1GIJ;v;nM@WMN3Na9O zU@)nGoB}ZvA>l(y%poA~AqI#m?EqKXM`9Q2(Ux|;vx)? zSRe)nGKc{(0u5rALn3Z_n9DKwM;wO1R1(PR5CfzHh=KSI1H>xC0BHhZxFNtE64`%^ zIgRN(9taL`CWbpCa@vyF;fW{(cn=BhWK`3kI!LNl`x z2l5625rt-jMCRW!dx0CE(7@yp;2gHR1}&I65Z6x90Kf)q5?Id(7^a8G%zO$ zEdq(EdoX*&kmhCt$RGe1AB9FNi57=wq9k_a7+`V~8h9%TEe(mW8koI`NE6r-g;s$?{Sj55(7?Y@Xb}7;G;k6W8ViZ;cVKn^pGQ%FYoO2| zd{Ag$Y!sRZiKf%eF}s0gA=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%(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 diff --git a/docs/html/userhtml1x.png b/docs/html/userhtml1x.png index 4c10c20075b681e0d62521cc8482758089c58c31..20f909a776854ab70e034e7242792bd12175c9e3 100644 GIT binary patch delta 2025 zcmVzd6=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 delta 2067 zcmV+u2<-Qa5Va7HIe+I#L_t(|0qvUYk<~U7hS{AhfNVN|4#=hgNC!(&L7;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<&GBmZReferences class="cmr-12">[1]   A. Aprovitola, P. D’Ambra, F. Denaro, D. di Serafino, S. Filippone, + Scalable algebraic multilevel preconditioners with application to CFD, in Proc. + of CFD 2008, LNCSE, 74, (2010), 15–27. +

+

+ [2]   P..

[2][3]    S. Filippone, Sparse approximate inverse preconditioners on high performance GPU platforms, Comput. Math. Appl. +class="cmr-12">, Comput. Math. Appl., 71 (2016), no.71, (2016), no. 3, 693–711.

[3][4]   , Computing, 63, 1999, 233–263.

[4][5]   , SIAM, 2000.

[5][6]   Extending class="cmti-12">PSBLAS to Build Parallel Schwarz Preconditioners, in J. Dongarra, + + + K. Madsen, J.State of the Art in Scientific Computing, Lecture Notes in Comput Springer, 2005, 593–602.

- - -

[6][7]   Computing, 18 (3) 2007, 223–239.

[7][8]   (2), 1999, 792–797.

[8][9]    Pothen, Distributed-memory parallel algorithms for matching and coloring, in PCO11 New Trends in Parallel Computing and Optimization, +class="cmr-12">, in PCO’11 New Trends in Parallel Computing and Optimization, IEEE International Symposium on Parallel and Distributed Processing Workshops, IEEE CS, 2011.

- [9][10]   57 (11-12), 2007, 1181-1196.

[10][11]   , ACM Trans. Math. Softw., 37(3), 2010, art. 30.

[11][12]   on compatible weighted matching, Computing and Visualization in Science, 16, (2013) 59–76. + + +

[12][13]   package for bootstrap AMG based on graph weighted matchi class="cmr-12">, ACM Transactions on Mathematical Software, 44, (2018) 39:1–39:25. - - -

[13][14]   .

[14][15]   )

[15][16]   SIAM Journal on Matrix Analysis and Applications, 20 (3), 1999, 7

[16][17]   Software, 16 (1) 1990, 1–17.

[17][18]   Transactions on Mathematical Software, 14 (1) 1988, 1–17.

[18][19]   S. Filippone, P. D’Ambra, M. Colajanni, Using a Parallel Library of + Sparse Linear Algebra in a Fluid Dynamics Application Code on Linux + Clusters, in Proc. of ParCo 2001, Parallel Computing, Advances and Current + Issues, 2002. + + + +

+

+ [20]   .

[19][21]   . ACM Transactions on on Mathematical Software, 38 (4), 2012, art. 23. - - -

[20][22]   Transactions on Mathematical Software, 26 (4), 2000, 527–55

[21][23]   2016, 23:501-518

[22][24]   , MIT Press, 1998.

[23][25]   Mathematical Software, 5 (3), 1979, 308–323.

[24][26]   Distributed-memory Sparse Direct Solver for Unsymmetric Linear S class="cmr-12">, ACM Transactions on Mathematical Software, 29 (2), 2003, 110–140. + + +

[25][27]   Numerical Linear Algebra with Applications, 15 (5), 2008, 473R

[26][28]   , 2nd edition, SIAM, 2003.

- - -

[27][29]   University Press, 1996.

[28][30]   Press, 1998.

[29][31]    Oosterlee, Multigrid, Academic Press, 2001.

[30][32]   editor, Proceedings of SuperComputing 2000, Dallas, 2000.

[31][33]   ) provides parallel Algebraic MultiGrid (AMG) preconditioners (se class="cmr-12">e.g., [45, 2931]), to be used in the iterative solution of linear systems, (K-cycle) [45, 2527]; they can be combined with Jacobi, hybrid forward/backwardversion [1314].

a decoupled version of the smoothed aggregation procedure propose class="cmr-12"> [34,  3133], and already included in the previous versions of the package [67, 1011]; @@ -183,17 +183,17 @@ class="cmr-12">Weighted Matching introduced in [1112, 1213] and described in detail in [1314];

computational framework [2022, 1921]. PSBLAS provides basic linear algebra operators and multilevel (i.e., AMG) preconditioners with the Krylov solver class="cmr-12">PSBLAS [1820].

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 @@ -308,7 +308,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 cf4b33c9..b4614460 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.

PSBLAS error handling routines; for further details see the PSBLA [1820]. diff --git a/docs/html/userhtmlse9.html b/docs/html/userhtmlse9.html index 220606fb..21676acb 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 Mozillas code of conduct +class="cmr-12">. Community Impact Guidelines were inspired by Mozilla’s code of conduct enforcement ladder. For answers to common questions about this code of conduct, see BLAS
    [1617, 1718, 2325] Many vendors provide optimized versions of BLAS; if no MPI
    [2224, 2830] A version of MPI is available on most high-performance computing PSBLAS
    [1820, 2022] Parallel Sparse BLAS (PSBLAS) is available from

    a a

    type(in).

    The sparse matrix structure containing the local part of the matrix , single/double precision version of AMG4PSBLAS class="cmr-12">under use. See the PSBLAS User’s Guide for details [1820].

    desc_adesc_a

    type(in).

    The communication descriptor of a. See the PSBLAS User’s Guide class="cmr-12">for details [1820].

    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 allows e.g. running on GPUs; it needs not be the same class="cmr-12">processes. See the PSBLAS User’s Guide for details [1820].

    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 405e9838..79602b0e 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 , single/double precision version of AMG4PSBLAS class="cmr-12">under use. See the PSBLAS User’s Guide for details [1820].

    desc_adesc_a

    type(in).

    The communication descriptor of a. See the PSBLAS User’s Guide class="cmr-12">for details [1820].

    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 allows e.g. running on GPUs; it needs not be the same class="cmr-12">processes. See the PSBLAS User’s Guide for details [1820].

    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 4a36f3b8..8f1f65bf 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 236f088f..b482a53d 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 947fd021..7720e669 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 f3adc621..69f7e6e9 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 allows e.g. running on GPUs; it needs not be the same class="cmr-12">processes. See the PSBLAS User’s Guide for details [1820].

    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 occupatio 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/userhtmlsu2.html b/docs/html/userhtmlsu2.html index 9e4552ba..4a2ae192 100644 --- a/docs/html/userhtmlsu2.html +++ b/docs/html/userhtmlsu2.html @@ -44,7 +44,7 @@ class="cmbx-12">UMFPACK

    [1415] A sparse LU factorization package included in the SuiteSparse MUMPS
    [12] A sparse LU factorization package available from SuperLU
    [1516] A sparse LU factorization package available from _Dist
    [2426] A sparse LU factorization package available from the same  ‘--prefix=$HOME$HOME’. 
    the use of the PSBLAS routines, see the PSBLAS User’s Guide class="cmr-12"> [1820].

    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 faa34dc7..63fa1a91 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 @@ -723,17 +723,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 @@ -746,17 +746,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 @@ -764,23 +764,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 @@ -808,7 +808,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 measures of strength of connection, the one by Vaněk, Mandel and Brezina [31], +href="userhtmlli5.html#XVANEK_MANDEL_BREZINA">33], and the one by Gratton et al [21]. The +href="userhtmlli5.html#XGrHeJi:16">23]. The coupled aggregation is based on a parallel version of the half-approximate matching implemented in the MatchBox-P software package [8]. +href="userhtmlli5.html#XMatchBoxP">9].

    ’AGGR_SIZE’

    integer integer

    Any integer

    power of 2, with @@ -863,8 +863,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 @@ -876,7 +876,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.
    +
    @@ -951,7 +951,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 @@ -1009,7 +1009,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 [31, Section 5.1], can be easily set by invoking the rou-
    -
    tine 33, Section 5.1], can be easily set by invoking the rou-
    +
    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’

    ’KRM’

    See Note.’

    See Note.

    Solver used at the coarsest level: sequential LU from MUMPS, UMFPACK, or SuperLU (plus triangular solve); distributed LU from @@ -1230,7 +1230,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(t); note that approximate inverses are specifically suited for GPUs since they do not employ triangular system solve kernels, see [2]. Note that UMFPACK +href="userhtmlli5.html#XBERTACCINIFILIPPONE">3]. Note that UMFPACK and SuperLU_Dist are available only in double precision.

    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.
    +
    @@ -1468,7 +1468,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

    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. CG the Conjugate Gradient method; @@ -1671,11 +1671,11 @@ with restarting; RGMRES the Generalized Minimal Residual method with restarting. Refer to the PSBLAS guide [18] for further +href="userhtmlli5.html#XPSBLASGUIDE">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 @@ -1739,7 +1739,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 3 the relative residual reduction in the 2-norm is used instead; refer to the PSBLAS [18] guide +href="userhtmlli5.html#XPSBLASGUIDE">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 @@ -1861,23 +1861,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.

    @@ -1912,7 +1912,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 triangular system solve kernels, see [23]. See 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 , single/double precision version of AMG4PSBLAS class="cmr-12">under use. See the PSBLAS User’s Guide for details [1820].

    desc_adesc_a

    type(in).

    The communication descriptor of a. See the PSBLAS User’s Guide class="cmr-12">for details [1820].

    info info

    integer,out).

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

    diff --git a/docs/src/bibliography.tex b/docs/src/bibliography.tex index e82aa550..0920112a 100644 --- a/docs/src/bibliography.tex +++ b/docs/src/bibliography.tex @@ -8,6 +8,10 @@ %\let\refname\relax % + % + \bibitem{PCFD2006} + A. Aprovitola, P. D'Ambra, F. Denaro, D. di Serafino, S. Filippone, {\em Scalable algebraic multilevel preconditioners with application to CFD}, in Proc. of CFD 2008, LNCSE, 74, (2010), 15--27. + \bibitem{MUMPS} P.~R.~Amestoy, C.~Ashcraft, O.~Boiteau, A.~Buttari, J.~L'Excellent, C.~Weisbecker, {\em Improving multifrontal methods by means of block low-rank representations}, @@ -17,7 +21,7 @@ See also {\tt http://mumps.enseeiht.fr}. \bibitem{BERTACCINIFILIPPONE} D. Bertaccini\ and\ S. Filippone, {\em Sparse approximate inverse preconditioners on high performance GPU platforms}, -Comput. Math. Appl. {\bf 71} (2016), no.~3, 693--711. +Comput. Math. Appl., 71, (2016), no.~3, 693--711. % \bibitem{BREZINA_VANEK} M.~Brezina, P.~Van\v{e}k, @@ -123,6 +127,12 @@ ACM Transactions on Mathematical Software, 14 (1) 1988, 1--17. %E.~Efstathiou, J.~G.~Gander, %{\em Why Restricted Additive Schwarz Converges Faster than Additive Schwarz}, %BIT Numerical Mathematics, 43 (5), 2003, 945--959. +% +\bibitem{PARCO2001} +S.~Filippone, P.~D'Ambra, M.~Colajanni, +{\em Using a Parallel Library of Sparse Linear Algebra in a Fluid Dynamics Application Code on Linux Clusters}, +in Proc. of ParCo 2001, Parallel Computing, Advances and Current Issues, 2002. + % \bibitem{PSBLASGUIDE} S.~Filippone, A.~Buttari, diff --git a/docs/src/userguide.pdf b/docs/src/userguide.pdf new file mode 120000 index 00000000..7b032aa3 --- /dev/null +++ b/docs/src/userguide.pdf @@ -0,0 +1 @@ +tmp/userguide.pdf \ No newline at end of file