From 524e5307718f3e827dd7f46e952a285dca7b4d73 Mon Sep 17 00:00:00 2001 From: lilia Date: Thu, 11 Dec 2014 17:46:18 +0100 Subject: [PATCH] 11-12-2014 v07 --- krylov_multi_reviewed.tex | 33 +++++++++++---------------------- strong_scaling_150x150x150.pdf | Bin 14172 -> 13748 bytes weak_scaling_280K.pdf | Bin 14128 -> 13813 bytes weak_scaling_280k.pdf | Bin 14155 -> 13857 bytes 4 files changed, 11 insertions(+), 22 deletions(-) diff --git a/krylov_multi_reviewed.tex b/krylov_multi_reviewed.tex index 42a47d0..cdcaae2 100644 --- a/krylov_multi_reviewed.tex +++ b/krylov_multi_reviewed.tex @@ -346,15 +346,14 @@ preconditioner it is possible to reduce the number of iterations but preconditioners are not scalable when using many cores. - -%%% MODIFIE *********************** +%%% AJOUTE ************************ %%%******************************** -We have performed some experiments on an infiniband cluster of 3 nodes of Intel Xeon quad-core CPU E5620 2.40 GHz and 12 GB of memory. For the GMRES code (alone and in both multisplitting versions) the restart parameter is fixed to 16. The precision of the GMRES version is fixed to 1e-6. For the multisplitting versions, there are two precisions, one for the external solver which is fixed to 1e-6 and another one for the inner solver (GMRES) which is fixed to 1e-10. It should be noted that a high precision is used but we also fixed a maximum number of iterations for each internal step. In practice, we limit the number of iterations in the internal step to 10. So an internal iteration is finished when the precision is reached or when the maximum internal number of iterations is reached. The precision and the maximum number of iterations of CGNR method used by our Krylov multisplitting algorithm are fixed to 1e-25 and 20 respectively. The size of the Krylov subspace basis S is fixed to 10 vectors. +We have performed some experiments on an infiniband cluster of three Intel Xeon quad-core E5620 CPUs of 2.40 GHz and 12 GB of memory. For the GMRES code (alone and in both multisplitting versions) the restart parameter is fixed to 16. The precision of the GMRES version is fixed to 1e-6. For the multisplitting versions, there are two precisions, one for the external solver which is fixed to 1e-6 and another one for the inner solver (GMRES) which is fixed to 1e-10. It should be noted that a high precision is used but we also fixed a maximum number of iterations for each internal step. In practice, we limit the number of iterations in the internal step to 10. So an internal iteration is finished when the precision is reached or when the maximum internal number of iterations is reached. The precision and the maximum number of iterations of CGNR method used by our Krylov multisplitting algorithm are fixed to 1e-25 and 20 respectively. The size of the Krylov subspace basis S is fixed to 10 vectors. \begin{figure}[htbp] \centering \includegraphics[width=0.8\textwidth]{strong_scaling_150x150x150} -\caption{Strong scaling with 3 blocks of cores} +\caption{Strong scaling with 3 clusters of cores to solve a 3D Poisson problem of size $150^3$ components} \label{fig:001} \end{figure} @@ -363,21 +362,23 @@ We have performed some experiments on an infiniband cluster of 3 nodes of Intel \begin{tabular}{c} \includegraphics[width=0.8\textwidth]{weak_scaling_280k} \\ \includegraphics[width=0.8\textwidth]{weak_scaling_280K}\\ \end{tabular} -\caption{Weak scaling with 3 blocks of cores} +\caption{Weak scaling with 3 clusters of cores to solve a 3D Poisson problem with approximately 280K components per core} \label{fig:002} \end{figure} +The experiments are performed on 3 different clusters of cores interconnected by an infiniband network (each cluster is a quad-core CPU). Figures~\ref{fig:001} and~\ref{fig:002} show the scalability performances of GMRES, classical multisplitting and Krylov multisplitting methods: strong and weak scaling respectively. We can remark from these figures that the performances of our Krylov multisplitting method are better than those of GMRES and classical multisplitting methods. In the experiments conducted in this work, our method is about twice faster than the GMRES method and about 9 times faster than the classical multisplitting method. Our multisplitting method uses a minimization step over a Krylov subspace which reduces the number of iterations and accelerates the convergence. We can also remark that the performances of the classical block Jacobi multisplitting method are the worst compared with those of two other methods. This is why in the following experiments we compare the performances of our Krylov multisplitting method with only those of the GMRES method. %%%******************************** %%%******************************** - +%%% MODIFIE ************************ +%%%********************************* %Doing many experiments with many cores is not easy and requires to access to a supercomputer with several hours for developing a code and then improving it. In the following we present some experiments we could achieve out on the Hector architecture, a UK's high-end computing resource, funded by the UK Research Councils~\cite{hector}. This is a Cray XE6 supercomputer, equipped with two 16-core AMD Opteron 2.3 GHz and 32 GB of memory. Machines are interconnected -with a 3D torus. +with a 3D torus. The different parameters used by the GMRES and the Krylov multisplitting codes are as those previously mentioned. Table~\ref{tab1} shows the result of the experiments. The first column shows the size of the 3D Poisson problem. The size is chosen in order to have @@ -387,15 +388,9 @@ Krylov multisplitting. The third column and the sixth column respectively show the execution time for the GMRES and the Krylov multisplitting codes. The fourth and the seventh column describe the number of iterations. For the multisplitting code, the total number of inner iterations is represented in -brackets. For the GMRES code (alone and in the multisplitting version) the -restart parameter is fixed to 16. The precision of the GMRES version is fixed to -1e-6. For the multisplitting, there are two precisions, one for the external -solver which is fixed to 1e-6 and another one for the inner solver (GMRES) which -is fixed to 1e-10. It should be noted that a high precision is used but we also -fixed a maximum number of iterations for each internal step. In practice, we -limit the number of iterations in the internal step to 10. So an internal iteration is finished -when the precision is reached or when the maximum internal number of iterations -is reached. The precision and the maximum number of iterations of CGNR method are fixed to 1e-25 and 20 respectively. The size of the Krylov subspace basis $S$ is fixed to 10 vectors. +brackets. +%%%******************************** +%%%******************************** \begin{table}[htbp] \begin{center} @@ -424,10 +419,6 @@ $743^3$ & 8,192 (4x2,048) & 704.4 & 87,822 & 4.80e-07 & 110.3 & \end{center} \end{table} - - - - From these experiments, it can be observed that the multisplitting version is always faster than the GMRES version. The acceleration gain of the multisplitting version ranges between 4 and 6. It can be noticed that the number of @@ -449,7 +440,6 @@ not so different with the multisplitting method. For the case with $8,192$ cores, the number of iterations per second with 4 clusters is approximately equals to 115. So it is not different from GMRES. - \begin{figure}[htbp] \centering \includegraphics[width=0.7\textwidth]{nb_iter_sec} @@ -457,7 +447,6 @@ equals to 115. So it is not different from GMRES. \label{fig:01} \end{figure} - \noindent {\bf Final remarks:}\\ It should be noted, on the one hand, that the development of a complete new method usable with any kind of problem is a really long and fastidious task if diff --git a/strong_scaling_150x150x150.pdf b/strong_scaling_150x150x150.pdf index acb9614a98dece7d99d7989161b312efd8a2439c..a3ecc9960594fa098e1998a1fb036ec393d2b369 100644 GIT binary patch delta 12117 zcmZX(WlWxL@FiT_o#O89@&FG|+})u##T|;njTd(>?(Xgsin|ndcXxY#yLq$O{P#*G zx#o=IWIj#itl2l(#K{9$DRK_0Y{)~GFW6wWUyhjfwXVd<*h|x5t7{R&&0Nf?dowi0 z5x%b~F-(l%#DrpTzwl&V;(>^pjyQC~N8YRZ)Zo;tILqzCs?Fzj1`;4p96?F6;Fq2U zoJPlxQayA-@^m(>d>ACZOf6)=H2$V;O0GgkMivsS9dbE3A}aua=9p^K%z9U=PEr}15BRoaVQgRIgPA{`mV)NLeexdb1p*(^&v8}B|eQh&3 zBDph8YdShgF^nSO6$!o@TVK_ek&lN$)3cbxF>uY^sRA*4lmjStrH9qIY}`r9^UCJ^ zY}9qrX0P=3c=5^nvrlZ}m_x>zAkBaCZ3&&hnv&Q5W|@~ z`EJz@C)4zmYKO}Hg8USRu(ZAOs|G5)wn3ntofK)uyY>ZcN6WrRk71>uVvrX!aSYFZYJWf5PZnOlh#MW( zP{UJ zW#egRgU*5gyx_F4wN@Wk#>RVzw3moOkE%I?x}a3C8da<`xH;B^!^o zm8!;8dCCmQKI(5rTjP6AaZh`NN!jt&2v(e?314Laxe(Djs?Y9v1M(J?(ZCR<@;%Lz z;`JwKLWaiZeMnhlI$d@*vsa0(E>EI7ay<#*`kAa5lS#>i8(5esj}mqI^R-NUeZg+| zjI4Apv$1t~;_nKZOOk`Cmbs)tGg=M=+FPc~ox|cm+G2S*S$U_7%;WjZWqKwWH%V2= z(I_iGkv-f=(ReZ_D~lq5V|c_$Q9l7Qi)KhEI-Tz?y_M`3<*e#XqFN?qLgK7>iR(|d zhzx$_zx0&!o}pOFv_n%-u`=PYF0yh_kxFi|Sp=8ZU=xp|x!%G7^^z;Ay1k}rML}~OsjF#LIB{gstxSI2 zrXR#k*JbQ;=Ea~-fxM4fK8Xe$uHy((#Kc)OK4tupam{Mg1Nu!pkZxnck!`$P-S|%E zU*gCd_5AV*>wN33lctlzA6jF0V>L{Rdf6?V66B-dFBuHE2Ga~H;UuypbBsqCcLpy2 z<~!W(FgB-F8sY)eZAWs@0%irV=C3M-N_#!DTGW=airo2+WB>OD_iyjQZYge^S(6uX9RY6P zZewT7OYcUh4qEo^V;9-$lpUXSElrC{9ZP5}q;@%0Id(lOeg*HSulf%X4;JUFONMnl z#)dyWM?WlH4Y}P26nFEFD-h;`EkmvIxn?q!Gh8QpCPXJx6=DtuCt5P9G9VRz_=CWM zfP=b&AXu)PMjTxmJHo1pe`2Q84REROw3w_!;NZ!hM@wiY!~#9xcK7lWhnp)4;G7}S9PR(?^7+Oqc$;xvLR z?EFXg4rm@mY7mfP*klbzOv+;96#f2ZSmja9s|oEbXGw_Ey##4_rqyr4TI&i)dId$T zyv5{Ib5K`R!`eLf&o8!@=Y| z?e>zED*Ac+tK*5cU@3zl_(M~bwn>nA@Q`{ z`HNJdXn;P%M^ge6O{8ZvyG&JQ2|S*S$SGkifbGRhVOxqXW`|9i8vOUdr_*cFwb%So zmmc95JZyF*DcchgUy)l-X(jg~Q0`dy`m}1RNGg2$J3Mp3pk8%UC%&J^YJPNjtS{At zzeAZe3mZ_i&n>w{8$-i;S>E5Rcq6nSaY9o}+Bn7yF$MwTjtJ))!ug!dmxf5zwH4J+ zrzMNDq4qR9@Hj5($l5hSB3X6B7a@Y*0+P30wsiYKRIT(t8nTpCXRDDCH;b?&!ju_I zyj#wWp&hVlQfk>}iUot)yd7s4*SRi9-XBr>R<=&w03 zwlwquvN!;_D^W<`GS0Pr_hxV|mLcEu_f297d-phkMsCknjP+-iUzgmOIhggTm3hF} zeMPU`UD_@2yx`f<-ibUyX0eL2VhonoOlv_I+`kb)I$i?Uv>OW#6}9?L6_3$iUtabKaj3s_`32A&RF^9&rpP~)~%R|Q3!+2?^+9xO39Ez zx%>g*!>9jgoffb{MpO&stp(fXpqVT?glu9N#&Cow z5zvrcUn=Mm%(@$*3DPacgk%e&Cin=(DtQ_eN+t=X-|H&jFk|}4r)Ii%63xdv#R4wM z;(cY|`DbL0d8knvBxg0JC}SR24mbJcDdQEbB~Z+I8rk6Oq_C**JmS^Z>Q8fxNwgh1 z^NBTyio@ggAtmIbHFPw^Nmi%d>~+fxG?5`}VSx!=i7mIEwQP)oZ*=+wTo%$X!5>$)*?(I~>L%}qUWcd3Cb=#YLLu>+ zON@t0bmrj*UWSDOYL00+#Bab-%i&h=tfxy3q9?g^6leD@TopKqY(0kUx4_v+n-!GA z8*R`PxZ4~#kqeMh>02S?u}_{x7m2KnK?2XKeFDKdjLX8snMul%PnlMmikoTwyy9*D zqW#WZGaT@n#(lG#KcisulpabU+v%eada}YHDkRTbV-yYD%k1C1@~>_U3WM4|{Z`r2 z-)|2R6?OK@+_G^lzGh!e2X46b7l!q%K-MR+f+gX@v^yAEzZ$MkGb0kOA3^vuTLJ$~ zZI{{mB0{F6RQ+<8n)1$r;X+Jx(lJf+J2^Jy@GzFZcK6Z>l3JHV$pu}UbGKf{`|6t{ zXnHhK5vhoUcIYg6)|42*q{?yV!QJOKOZJ-QM-&!(OX@?4E7)}OzzBgKi@c~=VmT%Tzs0u z8-$AZq(l(HS{e}e8mC&2w8|Z-5z5WqNbW(N0buJL=re5yXgEHlpsJH_Ye#Zl_-TLD zjdOGlJi@{y+%M^maS-f7$lMTuG8jNszs@tIeK_TPm}l;9Q+p&$k|(0O_~ZU8Bqn)( zL*!i7-24WJiithbv8teC5pIf+CCCvWr4`zZwH)9%N9lx6B34doK1A#AokCB3<#u-- zz}+VUp&ioOitP$3U{kA2=9qK$wIGw-EE}277ZSSKy>RE3Xh>?C2E$067tnajW6um^ z*=vdrZK8Y6JlA@-Z060rwr{?X7^@5%hW#b9V)+Vmd#rrn!Ti@N*1cJXXL3zm`$g2U z`Xx1y{k`zLHG`CmepG(|zZRAwOqozo5=Q2v2wxIp9=y!GBGBa6=;tHIt5xk!)y;Af zu&7vbq2==x1tvPpZV^BM#fgS1^#k&?*bAbr@KJe?RKY+aD zS`K7}+MbdVR81KJe-yeJ*-C2b@2>}dzH|rrLH~%K7D$8NCw=lvC$oR4T(N96dpuTK zEqb987J@U7Qf}%@J^C|WNz3vlH!pCF)}qv(%(YwRCw?j4Vx1?>0Y3OXkvMzVR?7He zt`ZjCGK?GIJ|z?npAL&{m|e+e+Cww^%t+`$XgE zdF0rE)JnOu33AH!X~C;|-7^a!Ib;1MWhsT(g1=3tOBRz4vr8w99Cd&~@(!Iu^$q^} zB}=K?0pdg;P!NYO8 z23AYkPXtBZ`XwasKct62rT)HV(*^9Mx;~sd75(?@UnuaV7DqTwuL-^Mi08YYqZQXP zPd<0j1d@HL= z42dQ@ug-#ztu}Sy73<*~UE^MZHRcTtHf=U#kZl|Z5-aW%I%d|4tV+LN@K;9Xurfg2 zj){j?r1+CoL=)>Dipn)+O;lG}39O{XZKIP+fhwPYY&^Ef-J9txRYpM?kr_N}1tu0l zF+{9n3EqCYGy4-Ezy1LcQt9MlB~q^^{Om`m<8TA>>?#bJm|Ql9{l0r_h>R0td2lF# z@`9zh1nnd1^lI*~%*G1^w6^q_EPXN{#q-Q|&p(#>Y){uuR6>eH#M-W%;*TxkqlQL~ zf|+?*pDj@@6Xaer?b%kghUM(H@*QxqgY5zR# zZDvi&mKTvyzMhh13;N*WiO3esu$j|nnlts<9q5FJu@(x7d_T4D;2_aQz1)s?Pi?me$9H9)urT2!B7=7GRyR79Bq9#Wv@3pMh`%|+ zh;pX*M1c)uDqFh-E4@*mG1Ckhl9gmt_h0tdeL4&ll_n2H#2WIorvEq%P;b$Ul*KHu zI_==?Md6lckLeVzBz>6Ynjczp%TxLUYcrfVSCv4Kit|AKfv#(#%*Jf+>^{9#=(-r$ zMu?_+vLm#?t^0KXE53Fh?S8}4h6K(6_lPZ)Y*u@|yUo%yC5e&)sP>2VHQEn}s!_y8 z62S_!SWKU|>X+HrpZ6A$?oWef@b-q@>qGpQE2{#gdV#hy>`Em4Uwnc^d-ep;rv-H^ z{891Y(UgGC0>e;Djl?fkieD-OrovS^NR5=xn=F;MMbKEjW>07jFr zHJJf=c)t|6=anl&)|x9v)|!Z`m6eDHT@3s^D}10-Qg5ZPEk=*(Qn+_$t&jsV5ocy@K-<)YH22_n2v~bTdQ|&tqqjS|(k_Odh!#p~iptu}p`-QKN%2 z$#1nfQ-lgS(3W|Y4-^!`)!ZSg)96upYA1k6Kracjoz8i920SGPQo*JX4*q`2;F!4b z3hf{YYq^0fCxzXQb6&H?OrJJtR#_@_45R_e1wkEOG>nyX*>7@r+%_BVma$*FCp}+@N4@(%nRr-d@+=kUc8K|AL(V5oy4$nc`XwzP6EzFa8-3ic1CBr1fI4KRN-OjK{GcIG&^ z6U`OiXMz|WO!n9MZO>S34|#E*8|CfUO4P%^>lTk9Q~`y-<8TQ~W5~A8adM?`e-mz9 zbf$3e>?S0j3vYO(9rv1%^9AWOvB3L=xE6hnJ97C7CN{Vr+VPGyxl_>`a@Z-FOfDLV zuxmi-Y9+!TL>>I2%rrY4JyWuZC28a9jm@gmJRPsj*B~dCAqYrD4~o zp|VBoC`x5{(6MNTB16Lu(k?Y9&}&Ot!n z`_~s)k~Xj;#z*x<|3x72lD_BKRs9;Njd=Y@TVS4MGG%E?{U~K+IcLR(h;p`dLPKt>B^wKFifB*RlYL6yL5c8GgXieq$=ce2jb_bqyx!fP!GpWzDzi?0 z_n#Lp+&s-W-mLlnHhYAtMBPsKtSaAkKCL#HsZ<5Gt;&|&JFuk5ykDwjHNy&kUx{XWCW%m1tSy-c;|}lzP|9khdcd% zOaswmrBA&X7d2U%F7%CVG7K}!TPG|aS5Q?*Xx3CRS5;L4c2(T}C@XuKH%#7xxXm#t zj6Hec^+&2rdFxk~`p>3Hkxs&k3t%iUbYpn(^pBFGXAk6li|{nqKCH~I`qZ9Vudcd< zo;$BDG~3wmu4LDBS$Z!w|9Nm<6`sej#%=2G3gp+!%FQmAR0S$FDul{~@>o9UL9b9g-c7ZavG~s{$+DOWvz+E3qv(COKw3 zvwmIgj}HRp?yHv#J+{F5N6Ne4E5WPotK_TJ11bEk=fb+_#(!ZM4+Ln@Jv7o-dExU> zvjf)Vma1GX+!b6l+?zHx+}>Pp+l$SOT4jX;oc=RfAQv)9U* zG9!5qwEO{f+Zxg(w)A!Qjj-q9;=6~#R1p2QuFJVFvo;f9Q(+BUaWCpAaLLDB9SMZZ z8KD%;kVevGr2Dm}hi_v=&0Rr|Rf<^kwe98#e5i=< zxhXtxjt(0fSCB>DO+S@V5>A?*YCAlKw|8*k%6RGLb=E5=V>TP9mQ<@wR|2k?G15PA zr-Rz-PF6AO|7t^EM|NztF-tC>6mx-BTt3S0j{fN=LwXIFFgB>@U=$!eOS?^)_t$d} zYTh<1+O9Wt<8~bPAphp$7h%ZaYpiV{S$)l*Z@NoY)jF++ogz`7`?+_ZF8wyJNzzY*_hh z`1*~>#eD9);qqq~z;o|&NpXE}0cBC{n)}cum22_(MR@JqMik9&LJ;t5RxxyO`%e(L zOK+{3uL<7n_H*&;tkIj7PQ93+?(z9iJ=kGai4Yj$b#zxw;+mi<1ZnytJ*R%dFDn{UV?=2m`QU{4wEX-Qv+as%s%kxnckxk~fELIC5aqIo^^44*BjWOku(Q)k zKfp1r5uSGZq`kCUID$oOnf#iRh2hkbxxFrM45!4vW0sC<-vpd*e^Wl{JLGE&NmhL{ z^o$KN&hC;*>9S|)c^L5Ujf*VxOLsPrEv&wbv&3u|*jgo>(EszT_9pNf-di;U(WiBb zP=>qdfzGx3a*{8*X<5G$Wy`Ms&8tlw55q<-p_Acpti#f>zqp70$s!n3%82Z9&1W(= z#w2IO-8pqaEV=+M4%icnc3E8iz|1IAWpjL-1xib9jKph*>BVM>90a~aH$l&D4~$H&~Sc~@Y!gMBhW-iVW@IHbT{I z-Ou$p<$&F%XKRG(iDrXh-tja~tAZX3PE9qD@lg~T7oJnYECF5WJWQ{v!lmQo0f-N= zG%84ZJ7AFSTtSe3Sa3K);I|hjJ|ME~DqgB9e{+nbC;hv0r>JKzT~P_b(a!vK2-IC` zw4T5kE?TJroZV&irkbbjjYUeYIms$2lB0WgDJ*wsjYf}U=Nj%RX3+;yJoml`A__4f z5Gs`5jvCt(Pp(aG0@wBxG@aW?6i7^^{*_Sm49HhPXJHbI*N}fRf@j4Q`2CM#$^2$7 z7sAQnbO38o41atB4H~soD)t*=J}ltUw*!6qnk?{>S7{(&i5ujA9hvf8rI5?b70NA& zy6h;pxBIy$388hrsS88lzLnDfGrQRiLxKA|g#snBz7~;|$;p$3j;BlTp zK0xack1!XkC!qBw85!D9R$88bkN=qT?9CTRKx(nsaH=QfO-sQdKGR*fcjSqT%KP`K z`?4dt1)&v}0mzUulxMM5*#Prd(-aA<`y6FV=s2&+|7uA+$d-eyulNBa&-=yOXB@}+ zA+Yed;V#jFh@U)wSM9U%fN$xfTx#>;6WA{e_@L{7E3CyJreEhOm5H&OHSBIRJieD3%)_<0`dUo5y7elBrTLtHe9{U+pqub9pWi z{>WQuk{m$14&K6+wSTVle%+yYXlvH5Z;NQHoXyvW_P<$#iX0Aem^+JVYKUU&oT(Ej ziEHiGQb04eTe~U_6Zo*$=yYuox07R`p^r1(zX+o$G%>Qt%N*)5=khC<76Hxewd{ip zCPY)dNQq-6i<)l>=w@FQtwrZ8e&jknD1`aLw_i)UdPWG|rTG(q(UmB-SheZax@j-{ zKZH$s$J=f>>s9qEN?7Hx1Pyvwocn~)w<|SZ;aibOzCvaTP}F0ya(nxf95Rz!hVkuO zA!6L3f2m^K{kH`HMnT+p%mfNqbdoLYVbeAZ(pn5Za~yx%yhYtTj{rbh7I^29t^wvn zMhMMJ?qGZn&O-P|*#kMU9>tjzD&cxFu5Z4wa2y#UWOqPdx?T6e(bthXK`X;%7lpa$ z+V8V8I)`_0kP<3Xi4-@RtS#z~{);@KPK3VR80V?NzdQH;Hpa5gYe3(sB8T_z*yT&qS_>uwO|#LUfC)^_vNsYJp~EEW}o!S^Is=l>Yw~n3&SG#VZfAQ;wGP9xg*0?Ff z-Hj_Br5HVKV8B#oAZ^G2`aW`=%M~*C*!+Mk4O`Zy6_9~M05;zPC=2?vk>2UK$x^(# z)rJ|1K&;R<sC={@Yi_2>8F4sv6^&L$a<%X?oTc^vAdx>ItW;2^|<~QdN0JjK|-zP|-wz7zzn<U|dxC0G)L31Ngk_BgyPbg>}Knas+0>hylx8xdfim=UBKUKcDa z&&wMH-bnXY^3P-;m|F+(DetbK)J$n6!eZkC)7#5OOA=mO-VLe*EfqQne<$jwQ(P>8IRR}@gL_lVs4XZNo8zkB?YZ^+Ii zzlSHqP<~i@MjUAlOSwQDcjq!yg&^HCc*5-g*ISp*B$0+O*@9e(;(W`nj-0*dP=DZQ z34V8&k)2~Ch{S$l;D8xTKd$8v)47p_Ip13ZmwJ6H%!4E=o{bx=?n=x~5Jwnl1{+Fe zhx4-+K57j9srO*R@yFl^lUqMM&83b`X0mkncm*!2KYkXt|ExY5Uyh!A;GW;~%adsY zGQLTD8O@j?*yK<9)A zG7^78WyNPV{&!YKnTRy1DXZeTnSk&UXu_RZcayHZRuoe}xDLTS4dB)XFhzlQ5$6o0cN26|McE-4sAza6*-@TCo= zV`~VFuCPnus5ZO<>e^PNTpW(F+kP0^UZe*wA*mr@VyUSmVBV@lM%>&+ibGeYu)>^$ zAT0Fx4x7G_jwEsWxouS2#;DEG07cAM}E9&o9_F zmPT%pce0oqmqh&UQP4Py`gYYlLD>r_T){l#&m|21 z$tZHa_&J=`56jVY5ZKqu>g}J~oVKORo|u(R#3;{KbuZk?{X-jSDzsgJ&=6Le8O73- zGOn~1hBjfHa}o1_G8cMS!J`~XOG+a&Fs>aIO#-eUdqq>TjHH6JQg!YsFK1(^yvLo> znjmvs9!(!p8G0V-kGJo``P!*HoUZvCF5VIr7ggw$b?jmYm&oPj1T)v50554=F~|@O zU0o_%rJNp*>$|jg3WQYSOCd6scM+sXc(34wBU~Oxjk=*+?msHa$v5N3cRLj;H3nov zaef~xqfoSvC3~8%^#^F&@R|&)Tbr^+>6bHV2?khv z=dJV8d-1Y)sHX-&0g|i1!-KZEU78(t-qREw_Nad#-NTAGDzEk^9$8Lf$*y(t?Wz*{ za1+C|i&IH8(_eh$3>d)E#7~zF5IDW9Pdf)E!C zkd|11C-E}21*5u=u!rPF;BD#^{c?$aw~=pn=8xfUU3_bAORt9^VU;%}?E2>b)@wIC zpR6_aN1++5L!Zdt1LUqgeRkdU$4d^@?_aYG6HR+95P#U4xwtwf?y=)R@`4gS*g>#5 zI^v>oGKu<}gauk05dXj1pwB4=(U8yO2!YGa$xX)gzaE)A8RGx`u(5$S*b?b^r~o!z zKG6RNvUBk8{J#Z!9DM&HkByz3i}QbA?Cc;A`~QRSvHj0}>>Qjt|0|F0|7P_c2;%ym k#he`f@&4bW{||e1PEHO`A`GtrA}5F)k(ydUNfPn@1Al*Ax&QzG delta 12547 zcmZXZQ*fRE+pQa0jcql~8{0|4#d-oY}Xuq%LCD=!w!VJ=pmQySOR=-ATy^HRp#=~=u;>VHJx*?)a?>;!p#|<_uh(qK z$6Q>~;u$@Lih5zKK|(vgR71_i>zuYS$odoXC?epD=rf95;!R>()?u?w?R)zIpibCYBEb`yOB6yKhhd3(v*L6TX+h{C;Thnr99ZhRyWZ`oi9d>epLAW`rn3s{=sUfSpH|KyWwxG7$g9mCUU@t@$(WPtft-sHu1gN7yB{)SmbK;NX)XVI$ zPn3GcE1wk~HKO4<^DVc5Yf1)Meg&D9+d4!jtGKw-2=k7TTZ>YWRTWu4PePP(WSDo;H?eJE!yxma3w*fv68f&y-o6P3svPi%gzX8EU+~nnJFwU;E0LQ%pepHu=lX2=9d` zE4bUi6JrX_qh=k|I_uynjgIx@Ju-_{M>Yj#Iig;Z!r!(^5Z&r~Ak2g~$0An{$|tuh zX7M`J6=FA)uRvZr)$Yz-33IBvdnX`65ks@Fv9i}PLS;b!EpS>`nvcRAqwFA7TpagM z@|M#vqsw1dFa_2>BElk;YRJeU5M{Bk%csM>%9(^yQJ8UO@B>(O+Q@P zPPvOYW7%H-&?P1#28(_F@HKB2b0|)PLDE(mwr5oExr%dFv*I5OPR#vLSM!f@m4)DJ zd>4b@pE@!bVU}nlFQNJ=Ay(Z^mP%ori;KJ4{S&*FqQ*#6(6P0mLuI9}Pg>)K;%vNX zW*EAn1%2kuVPQXQ;e?E$tXq2eKF8EDJtK{~g|o#8Fov(l_T5R*ctSiYiy|I0JdCfn z9-oj|G@ull#yL*!rE^L-qq?iAlJ!+3e)h1y-NQX1U5Ij?9>i;2gt=VYHyIK8Jv!D! zRw*J<$w@YYAmYp;N#_zJ&ful`!G-G`sIaA1&MK}jxScXuZ~IeRNJGk%Lb zdM)7uU_ZT8C}lplyeAQ0r16r@uTM zxt}fg`*A5zd6en_ohHL=(j^lS6Q7oA{ZNgTgH!KLO#kFJ<#~Nh?RwFBo%`W`t>#ht zn#qKWle!y!(Dx;L6|hxUtgz1|(27AvNq08h0I6^IM}m`?Y$}61^{xMN??|^z>AYfD zuSSwaV+EXcsIF2&wsm{=i;qVCgo$R2!Wk)}#iy9+6l5LVxtMtgj$r+<+3fm2|3ELz zx<%`_P)0r%t^LFb#|p=4Tg|yGp&kF2d%-#0YH0(%ee81bia`TRec_63R(W=n!C!+? zz@TcQa-(pgtm98dWk;c3?guHq9RG%* zitU;Hne<9*{p7#N8bj00VZY*chgXx=+6UaTs-?~9ss_OPGxFV$fFGsUY5Hyv+D43{ zms2_2YMe+R#KPYq&LWLQ^EUcGcbrQB$Scxv5xo_;)w&ghN>|cBs;F$Kq1&jKL_0(lJXFK4w@}$l{f>Q&#A!=&;cQ{+f97kIm z`}HhlLn=;@?u0MKhIQ(wXni~CLc%jL+QCK4*DpdAvn_6~h<*8z86IbgrTfv)3|DQvqFKXbTZN!rjO!5(J+@oxwdn}?b}l|fpoY@g-v z0g5I=&PjAq_r}+ii2#;{F9fgi|CW##v%28kL=doeA~$S3?M_c4D{AUDDXZaLS1gTS zxHz*@G2_}GxUSJpu2CQ5(fbS_5&!IJ4lpCm!qM6ZJS1UB`0NR0ei)$r9l?z4Oqye| zCl5|p25} zlY6f^$^PSb+|TO+JppVk+fZ`1;VHp;&qvh zm$0ns=U+g;t;jv*aO)$pMoy$C@bY@!?G2ks=cNCc?L&wG=#P(G4ht?HH(I-lWM1s9`?jN!+Mgjr`gi-ku8l{n_|QSa8;@?OGRD5upX^yu8ob zgVuu6Ae9d}d4_fY^=|a0M0ZlWY3x9 zw@ac=_t=hH%d7gnWB19yk%5HY(NYEKt4XZGMN{h>ohb z55d=JZFvsqbk87>5G7C^2Gm|+y?k4Xc^CQbcERGi|Jcm=s^-OvA(P-$u8dfhMNZ;& z0sCf~dc8al3`_C{OnMZUKQxHlc+rjBDu(rZ2k{TLn8!qzam(H8G;~#z-(9gUKAr>?}m5%m;`C(u*GtSbcLoGGW*U}m*!+u_BhUjk8GmL8|vg9}K zSC#_;xMEL!uAOJ}pnyAO<@r9RPP*35or%&?C~n!lFrwtUs=fv9wT)otDF3CZQcTw` zFkKWkD*673EtCUZh$ zIQquI9{?-G9F-!wp=(KP=t{@3)0> zdnwn-9%^pP`X^UZ%A~oG{*HZgloF1-epf(#a{X+pG?SvDq#{ zl1iSk5*-o2Y%e?u4A`9qmv*?!xZ}t+Z&s{c+lyinS?x*|hpMEgnmkAz*Tg{Aa5cFM z@^_5mDqZjaQUtH-)6GfVJHVL66k3bi)4elEnI>{yU5=2=O>l;h_U*Rya!nIkyw1iy zi7rD_bXb^8dedz=5y+8WBxzw)XzlZp{8US;ryAgO%)sq%o}VbfekXHIyTv5Jz{S(G zi!gB{F~gskHzFMDOM1HI@>BoEw@@ltiV}S-D1X?i5@ixwt7}JO8e zxNK1KKaZY3E*ZLis)oi{3q59=zKv~n&k`~*5oSOJz(Ia}; zp30yYjn`|0eRGJOsrz(^7(-pOuc<-iJ>+48P7BXYq%(SE=q*-5-nAi3L_GbWQfq3{fUsocY$u)U3x|mhv!D0d%RKa^w2q_2kh<;yMH4b~Y z3Zaq|%=Z)XG$|g7Al~{Fem8KPu?ZBnQe}`?htQ4xB6CfE)(8r*mdOcoL;nKtt7(!I zpBgQx338+2W~-qfrziM_eD09~1sj<-yG9cV=}8(pz)Cr<0BL_Wa!#*4~U=WamM0~SAtHe$7D}LW4t@w0s-A^~h_#?Mq*2-bDf`uN4wdu!nN@dw3wO9~Hinun%rMc!D*F z_)&|s+W*Lroe~eztQ-GMdQpb+lEn)oO{Jg*ESrA46L#k~0e!nz1S+}lD!UR-%S1ov zXw#wpV#%VCK|DtNGSDXoBmN}bX?b6O&`XJAL%^S4V&U(u9G^Fdpf7fd@MQNK2L4NzBi@G#{~?x<`lDCMQ)6{sLiijo1=4 zl#%_L+u>b;&FDC@`bYaAd-Yr4N2_J1Z6TPin|pawJd|IrE35lsARH6hr!P#9wwU0~ z2!P-dhl_6-hnJp4bi%5@lNL2G;&8meBg-{|5Zm%r64mEZvce#`rb!FdBP%Ke{#=9g z0zyT@@zpB2esRZjL1LjygYjv$M*D19THLxtc}i-KT&10LN$fHo6AI>NEW+LjWP zjsWbt0wanGdY8Iz%AFl*p5M>F7dg5;tFG65E63Wu@)5jeqbQ6!mHqMR=ihN=N82Wz z=7}Eci9MJU$TX#DWnLXnBIVEbvGJ=}RdwCGRX~<#4mWxql)bzPxy`Ga2q)_0$q#2DrFL*qSy2ev$6Qs0vSZULCIjmwyrDM|1z>phnHfU;-_`EvX9_@lxA&8b@ zt*vHvA$Q>3{6_Rbc8;*4(>Y}O)CAQVqAZ;sdVogd$!Mk7HysYlOohd#VYO@`u1Amc z-q?nmhVF<`5gd(7!w&wbs29 zqgLL(_yjOUKB$5E+A~}UdZMfZUUSoz7LdM5-4be>ku`Zxy*^z$%O?UkOBEqn?18QC z7m!dtMm?BZo*t3CjNL6TZM=B4&;Et>UfPYl0sjj&++s94Lxp#X)~&l7fw{I+z`5miyq z(NS?0wQ+J1%}YxoR{W+YBO@y-L#N31v#IH+I?M(zKJ-o1%%=_<(xEF;j_=Ob0o(kb zDDs(NwTu3{Y>O|0JMWsz+iV@0r}EQi$@irQHJH?hA&Tim{(Seq`;X)wQu{|#tyud@ zkC28@YE}4=$=|pB=F@!Jb=nD!c@;RmX1ug!YFwOUd!bC;8&)GUB1n?8xEP}D_VjBp zAx3LJvPud(^aGjIq>a*?6keP*K2*rRA-YaZ1Dc2#AvTAf%I_wv7}jMc9pw4gdj|_` zba6i<8PW6SAI*o^qo2l@ zUeh_^1q;ZW)DyCG!OVYC;_8m0!6q0H^De>x1nm<0rLeM@)kd=*Ah{-q+U^1U5PwN(^go~C}!i!JJ`|&ex3tI=K*s2Vy zW`)HU9B7hAA&-%VSN`K$2>l-{(TME`Ks15{+daalU#1_v|A%DLpNt;u?aHG+S3jaO zg6O>I2N(wE_%h^Hk|VexDiMX9<$@@5*!0#=YE$gBvTb9;J0z6`vb`hafN%Bz**U559lt(u9_&1r21`)TBNRga@ zTTG*A5ocGW4k(;}Hg^QVj;lCu9YV}UdHmw2{1@IzY_n2pFebP32W-(x_0#-~im0|> z@eTG|(Ze&gUH{+)m8sYzOprwz5Wm@6``c4#N@KB`=r%{3f8r5(RB)NHr1+og@?-Pg zz}$hVx$S48e&_WfL_Gy6Ijv@bd^`=W28d*?5^toOSUJt;3i0?NaAup|jb^`sl&PuIf%fEf)#4kB zxp6yl&x(dNR6m=ov;C~{8c5rc-a=(e z4!>MD^@>ShF1|l%l-!qSV>6WiW=YuxjaBCR&rV{F1RkJgW7_4|6NMjO26&ZX?4f7= zJn`;{tU7 za+}{a$u?E84QH0kGtQCw))7T5$_%BDCy;JQ-rxDBAO%AdiyNoR@33F^-ou^DAyav1 z0=2u|tPAUHEa!(ufX#11-{x#0=H<)G%K9~`%9$!E%IzyS7xK$H8#Zj-134`)%8b3Z z!u9(rExBt}mwV4xN(fJ)zfOzQ;Z=xaOgr3-NLk+&j-zKRbG_OT*amSMQg0DKSe6KXGnh&J#wa*1LQ+4xU=`jRo(Va9hn0euIQPX`k z7B(uJw;W}hz$wS3Eh2{xCmbhr`e-^_I&OMndMtr<*_4Wo!K(7A?rG)yEUa~?jkFD| zm1#Ywo_>Y#{Oh@_eYSgsd(K12L%~C4gPv|)#f;FD(DZ_BMjdHg4v%fj;hmmkCEVe_ z{qDtQg_04eBX(%VUTfjbWSN7;AC>GaSdkH>ikbr{GzZ~rKdw@ zo@j6I9Qd);A>PO>d!!42gMo9R2%j6@f13++fjawP5Qz0@5D2aFCFBa43CV%9IvJhI zdFK4fDmvzyc zR$q!T?AAaD&mW7N`mD+` zl61XC8jR^531gnZW9MB8`L#l{0#KF zyT!ciC$Do<%E>7OzgRjya8@ih-)AjN&L2C}FbYS+=%aIcMEJ?BWt$=uDAyUf?IqC8 zr`SqzI2bqw;7#fYd%xrr_)Q32icA4NBlD*@&^zK*2^G%Cb=^7BZ^jrS9Z{y=Iz`Fn z0@XKTzzp4pxms&bleV0HNmwhcr#Egj3#A(;0=`c1qClxUSQbon`>J{jRRx6PI;|_7<_u9zsq@YwOB@@@4QsVOJO7c*&FF5trwvN?_0d>Fie#j`cj`j) zv0HL&3cnhJK3UFAJ~H7rUho3oA{{uJ93SZ4?#NfYf}J!4+l_4rmKk^Tmb9?2R1-bt zg%E|vkM|k3n7-?Oq+0KynBVUiT%tGZRqfGT7sOLEQF0UJZZPl$AMkAPyo9lzi}aP$GIl02WZ) z<6F}qt#lK^rQomyJ_YoQpYbu!hKQGIBmIsNzlt|_?P#o$qQVA~{LB{j(W1V8i+&8l z+g|o?eLgLUuvLm$3~dTKNhzf*l011qi=<(bL+*H=UgJlGW?+F2%DW`!zIIetlD>5u z<73FC&v`H%^E?5s9T6MnV!t(_y|d}0ARYRkZ@joBjfPz9OJ42`Sdx>%RSCEF`R zQ$-~8A*>I*Z0oI|IhRgw6zsHO#juGXEB6w&d7$TWF)rm0R7Iw9w0gYO6h7Wc2ovy^ zd-GyR2)g>J-2<{>OuSA34D0iAD7JeJYQh9%3hR6caYzVc6?qtQ|3F|G%M<))ArSPT zOr1Rkh>zb_=OMr?10-qZo3X+JY`ie~YP~IOFcd_(KDT7SNWMhFjCQQhwWAc{oP9VA zJG@8l9@QQu$6IDj;{X!0JjUP`XJfkJXI4+moTWe6xQ!p z>yi_^flAS5~e%#H!J%eu$d`Dz(r}~d6BVmu7_#081 zgh}S6AXYX7I~z~x_9hvFnFJb$F}5zgDnr@)Ff8+$c5N1JppJZTyjw^_E9G!?c!7EO zzR@hO07!)x6^0S-aczkN-Z;a%|Nh}-ClekiB-&JcCgF~79cbL9w_~R>Xp~W^8VK8; zRe`I-gJ#LMyh!+w<&-jXRS}g@p$0BFom@M-E7u- zA0PYq*?`t`@>$_e<_z~yA4>M#9!lmM_qihV8~D#87dFgm8i?SZSI_i=g;H;l?1^3R ziUM*r$cbOGJ4qfIEGr{RBFOcellkt;U@5)muE)|8^QKArPi8`xZVT%tx=P!)LOT&p zm`fB#I$dTJv2+H5DV=cI+Wg!|jH6HQjgq$&3z>k>I9Ud=Y;~!RxJ>Q`32ALodM&G0 zH(>WZmlmohvo+2kQ09x;(2`!$25;Yd|9hg1~R;9*mkehn8qdX%2RZ#pHSO|iL3p3 z7I>y_w|3ba$MIpY(CL~bZzo1WLxIOxpHRZ6GEK~E@>0i|%-NkX#zlkewYY-~MpRSY z$bNiA%PJ90bh9su1Y(<(mS2P=Bu1A@PiE$v>t4%EW{)swsuHLnqbH1twyXzA3)^f864&X z|EnRzN%!hYHZ07wkD^LSr6PMH{Fo!l$Y#~2V-vf%sKr1)BG9&`NOF&sxQzHtl>_&W z+Qnivu$I)7P9Q{*7q&STV)*HD$jIB>S)(Yd$7zPxN|(~3MW_yTxNHpjc3>gm`4^xu zHkrY25C=htNgG5f!)yv}1pHLRl8qM|ZpvX3IN#Tk-lYlryfqgNQX+-d9j8j4|8@%- zVnJ@b{U-PGhLl~-(aGO8>MiL|d6jTV|USOLe-Y= zRXXj~IH^g#6!s3t2$SyhU`_Y)a}oo-XF&|tJO7~B*#xa&-L{~z0ENwma@tp5Doe33 z%YdP@DsCiA^1Bnx+mO?;U$!^xp9>Ns!WV`aLlR$j}m7iL)$I?WPCqVmu-koolqTJj~_{I15H+DGw3 zDS0eXOZNcms_-NJyxJNr*!PGx+#2MrKx4~#* zK%ILU@U{>}B49)jqc7i53|E6dca~rl}(0aD0hy@XgHcszGGVK@YrV$3CV?`VbixGm!F@Km>T=Pq? z0ZMe+n4&3;)c#&j)!48-s2;+RJoP|WSt>rtAx(FVP9VoD4tA-F(%@pN+X(Ir8Gx9i zLsJcvEh*^6(Tx8M+wkN2wyYT6#z!LFR^ z6RtUuu2@zCiKXTU-uJERE|ng%Yg%Ab)X{QMTJWJauW5^xJ_{Eg+lQdY!Q4Ygw=|W0 z)RP(_&58;rwHIESG%4cEyTI}XGVS;O>Oo>?8~UQ(E~dcmBN$jdzUgOiL-sDESDNTg z`LO^GU{6>4jy-6Y@fFq9fWswFyHOlE?B2W;#OWmBxAe>mb9O=AviM~T8-$_A-rzba zu|i1|NaD|7hL~8(ZlqrH?=A_EZ>Y-a$Nh(H*)Cqif%H^SO^!+l165gD`p}K*AWQD={0l0;=Q@q{yxGml z<-W0?*4)1VWt>z^Q)X9EtOT~7ZJyQ|^2XJEQ+>_b2~;Kno)&JAwlsgES$m3Bz?3#M z`(^n`rqmizN{AFrM_nB#hm)7O*>rzLVWu`!xfb&5wuz6%#tWNaj~qo-^84tweqpTh z18uHz1!R524h3K2$xeuaw!!QAf{%dXsRt`xnZ%zOsHzJI=khdI(V0nR-7=t;1SeR=WRGkwbu&3nRsAIe z;$8y0e)tzX4S{V9i{0_L*=btZ40sYWJdvh6U*)@SPyZ$Luc}PjH6)njbc(rTqmU!D z@tYS}+PSF3T&YVbtl&`&r4_9angE(TE=>ZiARCLVer;5GT(+KQqoak5a`V;EZjg_T ziTHScwko-p;K*BHm}Cv}r_qtw@R$N_R`ae{^+1t4bsMNe$4X*w7y5);AAm%_8nLs_ z)D!Ui*y*3$m5QX&>v;V&b`QtILwSTf@yBo(UTvHtumN6rUv0RSeLAx0q{G`EEHd!i zN=KRrpBcZ3H~YuE)LoYztnYxP5P3@1z%!OA1_a}xTfn_vS6uy zSBbR2I|(a)ZcLUdxC{Ka&{Nx=38e`q6~NsJ;Dsq3!{;&egBE5_*^1|dpdF*V3g?A8 z%*K9;c>l^4Z(0CBXu(6x58?s2%k~HWHE@dkiU`U6a93SX?Pg0z_i~lOfwZQveaqB2 z`s7khQ9T{s&dMse>C4Ie4PtlRUi1e|vW9z#~g8>6FbV2!7DNPYBP97OX3URGjA z9#Dc7D-W!uqK>kfMr|@HA;kaFjcno&kesZwFYI6lTux42GS>flWDaDA|07u0*x9%f z{5hxqHa1?4|9Y~4Sb4bri?OnS*tz}}J$ye=%+z(0>^3|DTGD jorm?mP1rzO?EgC;Hz#|7KBodA4=X1kHMOLY6ypB@sZ?}B diff --git a/weak_scaling_280K.pdf b/weak_scaling_280K.pdf index 2e2cda4fc4fb6a5f2627f8031f5309bc6c6b8df2..650523ea63a6addf839e1e8ea447758fb3283331 100644 GIT binary patch delta 12210 zcmZX4Q*fXGv*pCLlZkEHo{4SSw!Tbk+nCt4ZBK05*8X?z!&d#f}|p%QO<7AJ9T4F%SJHF*6Y6g67E#%wLj!h-|-9p%JiGdkqb z3khP(MQ*N>jkG;_SgXP9A0DYR;?XA~60A8yHc6K4U&d6Aw(!u`SSd0n9R2*LEnyAt zOPJoWyDPN`s6;ebW7bnGx{y<#Nt_0yj-;22pV+4bJoX(#(Wn|rJt~3gSMZ%6DIMMR_Vi z>!V&!Wgl_ebaoQ624A;qhh)FQeO(=fCECuq`$(*wa3nl9t?xp8G?4ix`cA-ZB9jrCZ%Z#WIdLPnuP= zhJAu_W!rUhjquwmjk7hf#7l7={k-oEO#3lG*KIQpSW`O_XBQ_^L)*j>a5OMZcD9CY z@O%(p8JDwrf`yd{3ezo=xcz+6;MyM@;;*GbL|DX19TAb5LU}2&He108sx%#nFhn#) zhXpzvRYApykggcAcwrs6XK2>r5pQJMQj@ zYy=^GR{Bpu)ZDD3c~%wyVp}trdJ)Sq1*#L5DH+F%tkcEqRcbm4Hwh()@hD3<=5R+q z&Tu*~JDVhdWpvC^PB#HHn_@&hI-Prn+EQwQbY5vMQ8^1WA#vWU#KqMuB7=v1h?Lhs)}m699Fx`U=$Ieu>*?xMjFURhb$ z?92VVgp8D(tfZ_Rmf(%VJ(l}>S!xF0==$*|7a2*pxyMN=7)c0{gIspzT769G%VL@( zt8&(NqQduMR>3M=hRcv*@bA;IpQTaCX0+-w_es}uKk3&rU7AOmHLM&r_nL=hXcU)J z*%h1g9;F_~>MKm64wqBT>1Q;z{vscW`HEsF%vfSviXjy(oE|<%c`^FNe+4=MCK2fq zG7$GUubbn2R&`5=6{2bwYAuye8ll?qjX8#0TW{WKL(?Yewb2*XbY|aTiL*Y9$d_V8 zrI7q}rv?j4!$ZRZ6jNrIQ+k=C9F#WGD{L!ltDVi4ws>_;ol7{zryFA^3O{ETcH^G&| z_2l)<#t!S}*(>{}<|kZltoPlg!b{f6hD-HT`^IgiPh;fuTl+SiG`X~uWAjd%6ZiDS<4&1GT(gXvj0)y zKN0IH+d|hRFALu$;Wfpz(>3%<(97jD)iu{O&`ZTj(@TU)UEAnpwRg4mcx5Me^O>f- ztX8`$sN;#peUUa|9dyo+%u#ZuvJE3U@@M>(D_Hfu&0_*b*9~jA zqpu?&-ctOZ_+p`Qi2OeRFYX7&lXK(~re4F+0j^N4P)o${yVy1#hz6tEyX1+7@cWjF zlpXX1bRWd~w0pcr+thIRlk@Xf^re$)LU~-$B4*_UtRMyy<_;p~*C?Bcu!HouKo@>H z`0qHZMpzOk-uVD%>8YsTBhUL^I{_>gp zv*W+AB6LfWo!jAg*^rbD!)D~r7ta0S1@}x5;`hMLWObN6BA!h_MUsQ_)cs)OdO<<-B&@@gW zIutMQBZGQE&a9aWBSjusT^Vh{KkM8R(N;FObUg}XGR6(4olIJ0=OC7`!n;lxwpEcJ zc=#V4RUz&c}@pM_E zDN2f_(zAhP=b7qk-sg)kX?fHoK08rk$d=-(*-_)<2LFTb+4P!pjSaulm1ig#59__@ zf%XKncX&=Da*4wTgon_qorx8-*ro2>&Cb}7Kc94EW(=;}w18fx-Nnk_*B|C}LVEN~ zOPh{iCQxwxMlYww?4XTc98i>FRj%HBj6USnG&kUya1LkvxdwuLMRoblW1=;hC?^^o zcx0O$WaaXH-t-FMb3Z{|uarX<(6r-I)<~a4QxvcEbU8%wiU$^(iz=If=fKT1fFD>^ zNGa~ilBn;@|O7TZOb??$lAQlIk;ptT zB0!%_5wa9FEO_oRVH6lt2uMomoM(1bk)yAr*JKnS`j3)8F*`C8U)g2D6$ydZP z0yh&U*J5zF1u8Pi5tuHEjk!gz^8aBKQzCfBHsC z?NHiTgD;wI6Rmilw}p||iBfZ#-xFPbaJ?l2z$u5G6dzlK(@4xlQ}BT| zA-0|6@id#cVsp?@N_+j?Pw3tES-`iRLKbemLrfKAwcY*@_CyGh15x7u?1B7 z+)*0~mFdm6XBcr7kqzlOa0(LU7RJVX&*_kD!{06!$!OI+cpFVWiX|)-kAm>&T2}Yx zyt_UUKh5Cf)9VJY@7XGi6p_CM=5zsdQ@MT)GTMupNlasvCax&eZW|F!3EKC z{!{E0!9~qEg0v@^{at}s%49`r1sJ`yY7XD-->|63KK%9AO8qXDW2jrq2D7Vv)%%C9 zeM(3vyD%uqW31Mxw3Q3Z#32!EG2!1`V*vz~Mx`SUtHw~x$*20sl8xtFE*kFNCwr2o zsE!TI;;|utYDkyc-NAMV89#Z5n=aV zZ{`=u$uN%&>KSNfq9g{!3|2Bp5x|3EW^a8#!`v&x_rP4m9QT<*^bh>{0@J|)-5EcE z??G#S0Qz&tD@cM0P^e9ZprC^f zuD<01nf=0g)|Jsp7rWed`vrAI@X#*wE zPN{4wK2q}JR%IjfZ`LkTaH|LvSzJ7&Tfc8z6IQX;jNGOo(VY&zc%%%N1hb~v${f4FGgS+IB%1Jn@wlLud4X~>&?OCb!k8r{7tu*}D z-rw}`ow7)BU*flw=RFAsuquy@?9-7H%m@NQh2L&U)Xnf|!sgZ(CUsY@snW>X^O8`FxAjSwkQJ6^Cd>|w+gqsR+1S0> zqxd+2RkJcv2K=L>Vlb(9;pI4p%Or4rz6c6*+*yd3?b?0&qdihITi8;(cnY!<0G5fH zZ7|(?XwW8dw=rgXZurG89lvBC+HdK)FcJBchGlwr%G2ygz;@q5CYa%&%U5fC9e&>K zK7A>j_WN`}nMF+Or%%;tAN>?!cM8`FsbnE_RJ`bc6L1!8S<-Sbnbt3}Ol1#=k9?EM z2CJ_C2JuW(BthL`4POCo?P4K%Bf|F0)I8at(dk{kGb@W<%4b!JX}$4TOVdcSI}JWZ z$-pr#ABw;25rD?km6Y$NWv zq;sCy!9{$V$g1_{A(}atS~Y=DY`dIx?;0zoo8G)Mp}9;kBcTwoN(Vfi6;@BVt22|a zNZ_@&mZ?MmN#qmmM260t<@eMh+u|6{S;!bGHVw|l;@^_~0|&@YdlkyV`8wr=k|=;7 zi_5E7h=!4_`{t9rLg3*We>U+rGf>HQWk}A?*zA!|p3X-MvX9M^FM)l^Yu|qzENUE0 z*6Exgv|TWS7xz|L10**3g_$nITtd0$2T;ssW|7}QfYh(n%BmNI^&^-Z`{PAP@z8QC z^$&51K%MB`8*&Sx7aXa<;$`gY(O5E9ZlTH4KK}I{E@bsY^CEv@x1jLyOUPIVtjVmB zVU+)icd-~!y0L>cUoC44eqdsi-uzJ9Yl=x?HB+zDXKgkgbyVN8YP%0F(a`0 z@Hp>0j1;te_le{R3Xf=q0@1%FA0QOgBzr)l5P7Ba)1wK?6sX|HpkMVpJ8&!ex{;sp zUq(@(zb0>IVm}X$WU?qFdLF}}A%f1fSJQ>Gns&9x3HF4P|1=3T=U7)v`(~>UhQu|J z73#_-mVg`whj*Gp!)D7-E%V2&TMGYOX7JC%qz87DU`L_ecPSsGkQ1jbO4RZBLHgqhdsh|WnV!EyiQP2$w2svL z0|VHWxWkiTAa&+2oUCWim%4~M?C|~-i)1Dji*6@06w9?CO7KsF7eJDGZJmxL(TL;S zh(EHmqE4)0Gn}Ps(rcK}yuse8t)dLHjU_>Rt))W4#EOywFuTemMI?hyW%N4`a!2(`vHm&{7DZADDtOSY)=@MIh~hfGhk-B~!xShVFgalN6DOG1_)9#np=8o@qeVP4Xh zs8mQv^qIU_pbPWF&V(RImtBV!n~-Ero<0<-2Dh3Z3XVJ!9+#q1N>b?7JfuHC12S~S z#tQwVHI;*jbowT(I6Ty?XmK+iPuwA89H%0UUqccD?IP_lDRtlj40{oI4cs0#AamC5 z$&n`ltrJCmqOt0;Dy7`i0jaWhWAX`Yx?umYwha>>uuN!S%Xje{KQwel33Ja|!YBV3 zqW*#3`63O8x&Ql>uG{;MxT`G7dXQ2H!}TVv+egsI0^XDTs@{jFreZ~Xf0yL+$zmZm z;opkx7iHbg(>Z*#O#Hq}yc%x}NfB>va~tWnDYBzmQfz-DC<{98o`{uy&ZrXixEdxzt?pd! zC(~{4N$#;LRUsNIfgK-5pq~o&?o$n~?(m*6#V9yQ@=*@Mr3sOSa7exzetp?uSphp( zZAmou+pwYs zaK!!zSvDoW6a4d6?m}hO4Gb}`RvFThm258^W}OU=UPr*#^Bt&G=5(R*5!AM``DboH z$i9R^jrwZQ(LCT~<6T4As7I47qM+BF1w|M654L17p%bdA>4bEGo4ByP?l-xh#lL$A zWlRt)s*Emw=z43}T@E(z{eMaA8bq~FfUvfjcPB-E*ku0+XPUUgYxFHDO43uE}uOEKid19>KFu~9xiqsQv;P{#OL9Yljo?xKiD|0$e9FgsG zeJMH9v@mr{f!Uj53C6dH)0N`i4#Tcg}FG-l{=~U$CIuhwXU#67j21IfvX8Mhj&KBG7oV4RTU$G&oSR!l3T`eRFF6Ob-S}i@w^&B-lr7Z;k<*(w8%-|w%?GF+BoYXD8 z5IPs-K-euFj@U6QnKpQC;5{x_QtWQMH#e6eje8WLA(>XbGk`Q&jJW&4g4oBj%coO| z+B*?#d)j;eYa`h{Fqo)DQ*4+$fQ}u}=D=*C!mu6*F9%AEZrQZHS5>k;h^Zn{gNo$T zkv&qs8XT(c*7*G?3b#ikbL}X(;gHZfAqa;57%k;i$?sgwPD_gfpgOlw?GEr_sYvq8 zEn9;*W52l6N{-F5GotOcZZvJWQRX*iy!J=n1NZz2Dasqg3EUUEdK~bVzZdHJg7qbj z)gdT^2GpMo-Fp!)7zC|66t8003vdgu)jW#{FqbR5U~^-imMT6VTp=qqddqpB&u$=| z!4I#zxb!O$QqvLvUIqga4VL4DN>~mCmIZYY-7(N3*bpt%n7plV8l;Bu>B_eO9S}MQ zRX`14;Tm?WTr17?%h_V!mB74hqyyqnOW0FGfjd4`2Qw+Cv9ekf0ew*rdOT6qsabJp z>0_#`{}a;FH;_hG0T^BHr^(Dv$<}bCv5tYZt86E`XI}>rj9TZWr23II!R^$EDso1w zBF}bh*q04+d-<={0;&i&$_gMJ1=LP0^-gisa6425o41%mrN_Gmtr-7(a#p1uz9iSO6eEZ%;jRMQ}~A) z&!@jm5~^ucaH!!|epCfiid0c(PSr})Ygs(bugwE%<7@x4jQRWD@XqP~32GQ)*5Rg@ zqpf0G@VJq7MDq`R1+?eoSnz21V-}cNpsfY#tx?%_H{zJEPMFomc1?M&S2uUrny)Z4 z=$dx?b1S^GT!(8;wV|~ET0TW>^W79XDkw{hmtfAg&*&ao&brP>&-TwyU9<6RN7l+N z*VX{nI_J8`#!RD@e!Hg4ShtZ&zk1pR+7|0ZZ}aC&-G;8huF$R)-@H$ccj~9#PqY`y z>wtaFf?vz0z`OL*@`e4{c2iAVO_O~iVELV+kS>o4Cu<#DYFTqT`(hoyhLZ7Xib}T9 zEQCUwRlPx}LG8YaLcc-MSxC9E?QdI+XEoqi_*xp@1WR9Z*mT*%-*lxVXdCBN>(=U) z#i7P4npruu$S}{ad}P&P^=uVuA#X8bHPLvuCUxn1X>6O_toW|?9^P=|AvfcC(C%ob zLs)&SKb48HpIU3S}k&i=#ibq@fg z?s8eUBYZG_Cg^Mu7TJcq!N||P3c97%rG$!-%p{ z^6`uNV{t6|R-CHK>w7DmEik_afEl5Q3|2hEY{*(KM{-Yw^zbn0PwBUwR5U^yA<9Up zxfR&`YvP{_X|jI4LXN%IYHa!y3S_MF>|JM=H>ogl02$(+BI=^35Kt%YT;XTn#~z*j zka(qqljw-@arcv^1K4|Hk1pI?%5g&a!_!HeWVb7s)nEa%neRMDtjcgH7t@|ypf)T> zuLQL$1e@Q=Rfvt1{GjXesl>*hXCRp;(rU;YRABZtYvT!A0=gik;yBbl3-JSc4fpK_gB-!iVdPEPZq@W@_FT{C zmsMl&P8cyiS*9n?X{R;hCu_W8HQro0rM;y={Q4fht4xp<&Mv1nNP?!XYD zbM{*3V!d_=19%>Fu1Ri(uRcpET=JgUq>(M&e+X`T;`O5fepCF8#ftjQWJauRyWjZ zWu*EMy|#TWFZ;M@b)}Zq_=SUzSF2G!ju`R)|F#uC$xB> zcuVr2?Rt9*xW8Fb?gjLuLfhA6U^&3iKCG-GNPCdy-2c!PwV&?N+dt_!vq~R${1n;;0BL;BQC7kXM zxR3H^w;AtFt6R)(jb9%SqJ6Q)>txizC3N*Tx@}lo+=FwjIUj*Wr3y~7)P5q1WI}RN z-k#9_2(ha0;BxqKLfw@$-%~Ji=bIXzVhBg2*2JSUB^4q%%EFl~4=BnL+fo*VCYp;O zQHLV-gBZjBE~w`}Kg&rGs9z9+jiZo72OaRPae7M;?g5$bWpUZGrH0Fs1n;&2!f1T8 zPHgxB0v^FiAL{(03$DK8E1R%0 z*&0s*PI@v2x%JnYEDlL?x43N@r@L;k0G*%9jOjc?yUk_HhsbBh2f4m|+*XkCz5Ath zqcrfj(q;v7JJqaLygZraX<4WqiBnNZWHuDi#GU!bI73jDpa8?~p>*+Jv-jhhTm}{R z6UDKg^;ArNe?VX|l`YGkHQGC*^F3OqH-BxCx-G*%rkBsxpE|z)?qYa$(+}dcF z7;osv+9+}*dR^cK>`w~?J=i`()ba=bf!b}368bpx=L`*nA5&0jWVWm|jt#4))2x3h ztLvWQaX!4+H3TTs#z1HuhGJk(o1J6U>*w8NJKl)#?+e^4&Iobo?=AXST-*U%;!vAb zg1fr!Z9fq8#~vO?l9q4%Ovw4|Oh^)}*BW22-^5B>~5g~tt|+fxfT?7X*fDOT}o(w;~A$?9~-q*TCTv_|~;)9@j_ zb1@g72@0zpH%d~TrS>hEM|w1`Tx?1v6J|D(ODE7H8xUiTD})3>#{UUWPTosmj|Em4 zvVT|&_9XC)Vhd_Az3_q15<>5#$@R(cWrsARcreTUSd=`Yk3O(;46u}85=$$Hc4C7s zMk%%cw}sj7GFMUKP-Xvvv09peh9B**A$ufy8jWO780gnZpKb))Sw^n!`mG#EgmRJ& zBJ)k-$@O^@zvt{6_ap+p?%&*J{g0Z^{_#L`xaHFC-A3^was1A8D#dH$!{;f19{nL; zN_LNx9;}E^4GCSYM&K&}O=fdUJp0Ih6=mBQuwEP~f1>?r4r_mQP8({RsWW!)3#t;Y zg&uJe9Af7kb6YZr2VJUPhx*I6drapMgDJJF=d)l$;73^$-L zZDhzZu}Z7J4vy2?lyUQ@i9?m;i%&unV8@55n`3~)PeBBQG`Il$0*49Pay_AWU&8nOc>pe^d!Odsb=H|uTczFr^p~5 zxX`(DE4#-J`M?0+g`cuaT8$#Z8}z6J>*%xe+rE{>(@)~<;{fQ~kR!N7N?HZ|B+GrT zCwKPR|75*(rQ!<_UxjQ-1sQv}9yPF1Q!)z)>v!C%>H4ax4$~hgtlv5&1POrZ?^9dL3VntTmm0m2BU-4h zAl=%D-Z{fPus4g-@l-}>_2G!Kgie=Mv!Ls!@nhMWizcZrGW$K@n=%g0D(NZ5U0f5? zTmCXI?Xq>;?(0!UI}!qz?Y>`ctHF-G;UP@<(<=Y;8uEQ9Ob-NHmXph=$=YDc=~ z&gN3(pmnG!)tGSKGL4U7#3}xmX*fz5NJ&W zYy?Dvmcd`6Q8s&K#C~?gd8i{9kt*ykdeZGP<6i8a30$D$rM!(f)s<~PX-l6usD(q% zUjO1l8VffVGRAN88BRu~T}Y1|jt1L2b{uP+S+0!{X{rdrfJ zPmKR;B^q_Ag_%ASeRMXAxRuDIXFaLraRGl05*Vc*Tuyi*4J@SI1 zJfu9+)>MTc5Sm*9g4k+ydPjF9Mh8oT0`Mzau3s`<#l5YV*R z@pj$E9$Su(C-V9(7{z8iw(87F#+)0X$Zj2yZw`1GE7S-|NpIx!^lRRXk;_Bj9uJ6h z%jcjPf(Y#mn`CA4*q?tihOYL$2M@BMv@&|kkR1Mja(Mb9B`29o3><}@v&MDi5$bdH z?oi7S|L%MSHFj=^J;I#Rbw2K2*;SXZ;g!fd{Oa>s$0 ziOW-jYB%y*PGJe6AJDsZsfa`^Bx8xS0Aoq@z(06}_D0jCL6E?<3L=(Jz5hXVFxPt# zb%H@=vL)bgMh%1MA;Tk68NZ$$sB8@i)$l4wFPKbZ*}kR|0>xiJZwYNHayO$&R{J9r z(bZ(HeMXhI9@VII%w+S9bzhw@ez%3M3@N(tKbH;dGEm&t4C`ymeq$&2>qztL%wP5Y(yuu}PNjRJ?An7=K+ZgX_DfMs`g#L>NJ zFeC%K;jc&#PtvV4aio#%SKn;-_@pjocH59h?eH)>c_({mhNalZKKL1kE<6nSxW#Fb z4wvgyf3UK#gh>RMPPcFDk5J?&vS&dKX?lfIxN7t!Yi zeiD=%xZGG3yvfwHHFBjwj(z*;-+-8dOU?eJ6!#wWjCQ^nuj+nIg`*iz8upfG_28=a?aBQS)Ee+8PD1`PU@|YQomp^)#icBXpT2W=b!4 zt4WH%*ax(q$#fsLGvss{oCAu6(m^e_MEAkR&)ckh?nZ9wLlo|jURVNj?>LM-j1fgi zM|_AXqpJQknjE;4cz}L|rLZ`P{Z>EWTiUAjh=)u1R+HQ(Wv)j!#!#Y$>{+USGQnGk z=784hAT>+B&v__EdXcfs4{d%DF zKQGzN{b(#)?K5|LQ`hS>(g@}o$!HvxU1dHWAIZXc}M0P~5 z{}(VZadB`ZezKF%F>$eR{8x~fg_DKrzc?l)Zcffb6b>|i`M)B}%-pR1Uk7Gxj{hFX t%)-XP_TRNEY;2tW&9Sm@u>XG?D>v)^a*5jtzhT*#rBgEcBS1Yx_)4*rc|RT7 zJN~g4DLz)#9{DEy>&f<+tE;;cRRhGtowF<9EpGF9ceBQ}B;dQG0rG%oNLtT?FT=0neiwe*$eojfV@aA#1HU{cFYk6v8y{Hf8Rck=^4IH7BU{O0kmSEg>8fLzmU z#1SA12>cPN8<>>7oi3yt#2I^OAI5oIE7jX6=-v=+FJd*P#z8Kgq* zVvxliX%j)kfbr%%NfeNisfU*a#3#$M}=_=Q|X$gzp+F!QVCMG!ISt?A#P| zeOFLG)RuDXd%AGA70YESj?Uh%W5Nu4`rte7*4A<*#7>uXVu>moB#pipb@hYR`;c~@s5{UI zhglk2cFy_{ZdokgW`aVN!D0Y5V)txA`HErWr6PEGtG|;|;X>#l++?g(JXfDOoc4&e zHIRI$*5f^Z!R8;u#6GmQel;pU=-u1ww=VbARYVm7a6V^-3(KzhIW;Mg-UJlv6ddq(j6^z)m?H?P_REUfmee1$SkTW4Flr(XsiFRhvO-U6G2J7?<_KV4DW zeewaig-CE?2<&liyA_Od#h=6^{G(;9<2wPcOTuOkU>aw5)u_u59dg7*;f6 z6|}vaKS_IN%GrNPDY?R;u?a8vn7F@BaT{ynYjO0oTPRo@F9d@hS6Ep!`s(TZnMc!0 zR6*4%i?>kLv+(nyUR(t3x^uz8#3Y`hq2HZ_4sJjgtX%$RKcVEsWAfUWS55%NXTAC= zY&x1r1zeR(wB5;IDYxVJhd<1E?z&Tw)Of3=)w$JWs_iv5>)*5}DmyAEE0-$ts|2*% zn`4_l*SvBbxzBab3$rU6%0Y3tS<)v-PE~OBm+>7I{Dx#wDb}P=E zSv7JQE$u&Qx%{>cy&loRYP-DZH&eNiaRJ+s@DVh0VPJ`x8HZVzb3$4vtZ>P*^0V2c z`Myb}b=|ym`6_%9rjykT!A;K1;lg`8Yz3*F$X;;Vui*pnz38drDeY3&uKG!ds_M7` zt17K(xw5swy%KmXuPv{wa;P9G{~GCA3vi$1^*LplB^fiS7{Cl8!iU8lC$Q(r zL|l}xF==XS##wt^t8J2LYF~3`-nMGBhHD;LyI+G^8v)jkv}gV1wN7n++PT{EDCFcZ zXmbAG)Jv<>$$!^w{n4tfQO;Z0S=d?8SynZ-c(!#a;QS+Ymra*;I^%rU)7ei~kRckc zU);r{EkYMHZJ7Q@-TAz|dPCkGsWp$c|6?%4NuwS13gkJxYJba-*DC>4_DN1;Y>HiFJu~&pt{g|4JXxV4}rjG-#iUX9FheVdR2Xy{1*j+hY@?VDRA~h=}Erz^*Bq z9yFJXnDdrj^h_7)2}zHOh1n0D^E8xx@=t*{Z>P)8EO^VmR&|I8zppiYNOo&)eT#Yx zGe~2gM#+;q_wK0zaX*W|;DUzgK7r2Zt9jCJGt`!KF7IRgi@H)Bzq8@%cQ}67PAldU zY7c0;H}6&SsiN$W71+_e7}4g}0|-&weQP*AeMHGZ0Z}K7kt0ujek+*kZ-Sr*me#oe z2rFvdM)G2JJS(H3>Bqbq{7T5)(A4SjnuO14Z6xGQ19P<{hHI?Xy9>{difZ`4-<)E5 zdxY;@U28*KZxQ|}Ajbffj=VE?a)arv2A~z1o%|C|g`6!&&a{B`N}}1F2J@3c%^;3I z58wKCwYQNCzQ1o~cHi#NX)^r}9lRo}&a$>H4h1=USKhWuR zwb4i=NT#KF--Zx_vys^$LpGzv0Gdc8V$ox6Ed8!$yiHUdUoFjxbS|TC!MeqhjGjZq zG243-s@wMj`Rgg_jh1TI2%qSKxWb(xn0jr1iop%rzG#pf z44PIZgkX(iJiXRP?S{z8BJ)OmEAUOzz6j&*^w?3qvIzakCKXxXf(@yo2QE5&dSQgA zdYt!Gdw9h*uD-Eb+KfL9yt!B)ZQ5{gQn-d_ivIgm37PU~h6pG@r zQ5hc!og`h5ex-RUUa`S5VNKqYmYU8?$g}yRiyT_=ZIPZIK*N;#;BX{ zA)H6@qy+r0b{8*kFvP%u5YT6vI+6+5NbKJJZjn+uL6YrPgOzyxnLt>{XT@PY~8+lpw*iSa|({P~+8I(*pF0SqY@O}?0}O}Ns5 z-|n@<)>Nz0zMkj?BL`-Tdd;&;#&_^vPV?tNE`IbE#{Tr}us(z&)x53++H5^=C80m% z-P0W~j}E3e$r;uhH3ReVaJut@IIocLmCcrz$dINgH|oh8YT;X(Tr4shX>>$f zWHvQD5rgl1PXtzzfKmuN-J+`ST|cMW&nR9hs^@KD6bfhEg;vmYTt^*^J*GF4uVKVl z#HKhx|4m4k+X!2CW9LJ*jbQscg}s&QV8KNFSe8fyTuLIu6FEKHd3OUOFzVGU33G85DtzS}x0Oak%VcAHjOuuXi`IE2KR;^T&;lsv{iGVFmca4HTql21chW zW+(1O$|!NB@W6SmMhyP>NkxT|#t}qYTGlRxINN2Xle#MqW{Nmga$|G5C?X`N9FVnM zZ>UXjc7tA0;Kq;&OkI5NNsm-*PEws{Q`L%zP#e8fUD@C}4VRDBm-CH6I?An^OApME z5VoE^pM_LS@aKbd?oex4{nlUn_wkvEX|^l5QqYW+GNaKltpzCDw^6~MyjKer@jE`M z)eNg}>hl!`k+uAK(u>DWwkph6RzSDo{^D%a3QYVjfE9GZ*JBQ!#0SVY?Pd~j*r&`Q z3y0Oj!tt#9x%qM$(s1_s!B0}Kaohfyl!$}Bq&NJdfbr!|`Kp@wU3@^b z@L-U*&(0q@E+J9y*Ba=IL>Y!SGSJRFL{h}WTCllKM5NALDVQ;c+rYflkYPzPtnrC# z12Xp#U^l#-_A#51E-zftUvPSu*AZ8~Z+jm--5;ud?LDsbqMepagYaa^z0{M{WQrmi=IGlx(@Pd;K3&+fO^-k|nw z?B(?fyB=5l{f3p*!yB0k4g6rbT|Sa)%FTHRz^Bf59%luJJ`CP-_I11s{E3p>mz1{l zye9<#Ru!<3osUW33_wv8AzdfLeDqeT1q2F61h!g5tn;vA6b1{bUh0#m;&6ChSK1p# zVsk!DEjKJtQjU)6%01kL$IN^=yWR!Cxlx3t0FEPY*siq2*j^&9gNe6`r)^C*%k{tAubEp9meO@64%}FCI z1E9Kkg_V7=ZGX;6HPS$t7{@#Q{ItF2vpfQ%J^5}!Jq(w(&^RBi_14l@l2}U1%p=3G zUvQ%Wbadc-5SVX9h&Pn4Fc`?Ukg~XbXicK#|8OzYT8t@Esm!al&RaWNq#49s%L7s7oARceVFH z5|(24Nn@JWO23|IGs$j-6+_)5th36Ax%&%)i*sRP48|ZnXcs@bsE#1!i$x__w%sRl z5qz83f7BunaclYO z>I*uGR6vGpOU%XUX6O%OT~Zx@NqF}`IfNR66as<#!)38IH~f<7BfRPrB&m>JEE}eZ zB#EhcSIo7pSU=G!u!u5Uuc%W6PV#JI*~R4$R_f@ykkI2AeIlZCV>XDr^vc-VcD;vD zJ>n>+`A&G)<9wm}T`frz5^@AGLSPULjD^x9zeF$Dud{R!^_p zpRmtfFt0nGD3wa2-i0w>^4I5nL}=V7c{*jDWJAlUA+Do^zqDtewEgCR=JT;56`CIe z?M?)YV8GDLhUpd7Xz~bvNPow?BfJ9XJ{)xmnqLPVl&8y3!$<$h%rv;hX)onNWW3aO zZ3rISagVab*NuDaoqXZh^@m?~;5Wi*ZifTM1Jw!cHru+AFuXQRGzv1Xoqh1#1>Qai z%5B)m#4&P;wgbFjE5ULe19GLDs5yx$g!LtWJJLDeo+}>&6gv)(t2Bksx^vzM8jE}@{MXU&#O^ODqIP!8qea$0r%w}}B@o3CO26rQcHma=d805Bu#Bcke@)TA#EBOk z!DLxZ{5(cLLkykefTBlfJ?&zh8{!G6@NwX8!NIGT{>4@$42iopDb!s;q7FF@5AQsV zh0T_$R`~V&U~YGZWYvkaM*NznJKFkEu`+pTHK@Qn_PPZe`9SI+VIUJeprpVdL#x;3 zCx!c*IC+{Z#bSYB%^)JNdeDQM8=Nf({_9eFHo|XgE7xn|ith?K6K^Cg?HZHJJulss z&HsqcHQ0^ZQ3pA;5Mqy7n<+N%u*A30{#Pncc|-usX_f_! zP~v?0s+^OLVFn?YZ_*%m=he&8oZnB>p(>~&Eq}2p>pq;>fZWI{4dt4Y>%Dv~TXa9< z$S3hrL&P0+c>jt;GK*V;K|eSs9jPu{L|)==5k9bQVw9rAoaNgdE56apMY?z;mcE6_ zy|2-@+S$lE3!$V->oVLK#;;he z&mVU;MyXX7lcd;>4$vk8>Zk8Huj{a!D^1~6V5~IuZX2VwprrN3?u2?F*b zwq8JVUJqK3-;|e-Dgj!7F@iFWVp-ihD5}@&?7&7)Wl2HSMh=U+#jLS9zgK^1 z;VEjizsbUMMHW@`QkcJBoWhQY>f2|?$d5-L?$=*W$mId6N-VG}CrrvO)5sSINQY25 z;xF`!rTsq()R1OZ#P6%WNqr9<=4$+mt+0XS^U(r1D1_ILiL@h`jsD`bO#>p1Y{pe} zkqvkc(|{#VaLCkC#d|tq=5h}miM8yecGlxb9UUfp?Jgd&*i7GUN2`e4-3-yR0F+`j zTm%zyW3waB4f9+%@CT8O{lO-`1dZF<_b~W^*g^Q|YlR!lo9R)q{gS=}3RY^@UI?Hg zD?Q9?IeHn1GC1-@W#Y8NX4nR5e_-@`P$*0-E3)F>jDkAy*uDa;FkFZpLM*&=6bld8 zKZ7Ej%4b)zF{E5FhkdP#$v_Yw>Tw#7h7|z{#t>{L@vW)>cnTnx&hvRkL(1V?`XEmsZ12&%w`hO|FqHc>p zF}FK^7j{r)*oj!Fq&?ds@cQ-dpCY`s+A_Wt{AyFvn%g3?csNrEWSrM9c&n)Sd^kbe z)`suextm8f|oJcV@$0)-A&Rz82tXa(`VT`$ItihNg&bm=4$7{!@+fA1Y>Mwyg9r`&_ zNcY!GjJJZL$En8GXLwJ!R2ZBT1v$sz;zSukI3(WmDB)FY4?%sp^@q~fHt_Il092dMgHgQnSkRFRV!d6T)Br)tYbSlVrz1BhxI9~Mk zm!SIakmfr<8}QJJ`MfFE8<$bCQxgmBS@UR#y(@>z zK2Hfh#pMHEFQj?WhMbq=%r%m?-LU_KOoZ*8(@`Ob^1kY<(nzB6+*T3mm~bPx+)Th> z`2J2%@Tfe7A9=@m;A5!OB*A62d*EwXElQ*{jgyfaBS-UU)EK~-(Fiju!h8WC7O!Um z+gd;Z-degq0UE#$y#_RN?6W6Oni@&;_R+D7Imo5K6uBzM;_0h)ub7K;jITM2+2VM% zQ84@%R6{`+v^?b3@P+!Z6|z}kfwqkM2HB5G78_WOj2}`YLJTWsJ~75C=RrQ` zxx>ZR4<$jYfa*mM`sgCgK8_aS*rpT$*%+T&A&P`&S`Q*_3I}i^yYb&Rr*3yql382JVL*zy-5^rio`Fr{b zUW!eGbWR10j(dc3;F!zbQAFaN#rd(Q;j;)fl#Ifbt@2>X)J2PZs+(ml2;MR$LOn27 zoL27cC)y9nYe4`}&-EayjlgKIGWtl|^l@O+<0e&^&|R3KR`{qlQ$ekM+>JWOkZxhY z)-b+Mk8x&e>&l)`I!Q0Ptc0R?Qa(l|Hjl+cVsxh*WZ(}Pl$qJ2GPNtL{%uHMbD)YP zMryvo5nNN;R}Pyc)b>Ff}ACDLSBs&H#%fP8CvSTuiDuC(5kO z`~#)J(&4+g4(&r^4J;r|+|H!VELtyg+iYBI+-;n<7rYm^mpLzAq2Z?5K@CMMNlis# zL5oGLLA^}dN*nim=DWjpA{x1I!D`o+5*|{)B2W0$tx`ygE*EP;72@=JZ0AQ5xHy>J zR^e}ga&>?yAr@UnHQz06EE_8GOMOvDc*^75t#!$TD1#4YUW}%rLJydFV3!w4#xiun z0#{u^7Ciu$s!(2*WujEdfCc3YLQL(S!DyPd1FuVL-7{@1zX zuZaRGWx=seqE1)hwr6};YAWn_hjvO{e(ofVSub#0=@#h4?p>ySNL!w@5*d!Gr$zr) zb;jy|pe`WHuy(s19iQFAv1_#36aB@Cka}f1zxE(w!~`8@=ZN`&fy;j&Wdwn70<2D5 z)dYQlW@cev&r3~V_kOjU(pnj((e?t%H*hcLRRYqzgM3!8}Qedjm za33I*ng4;R-Vo3pSg)R9<0&01zMi5nishVB3U@{XemF+SJyLu&UTO5EyDJ>jRU@22 zQVvXQ_tRu$s^)0^#I>onaaY&NdL29g={^dnjMOzcr zxTqWE3;JAa1E=b>P#lS}@UB^sX7;%Fiw|JbKat*NFb6K^-c|TvBJDt!O&`4jYbr6# zbw2Ue9sNeMuEy+zbJU5Cul?O1c->|tQ026FWbyf2lE3zbeDd0QFKji|3UsRO?$oRG zo4q9UZ{c`5Rn}V)Un{%RJkQnFSAnZ0SEWH37Icb8svkCoj)%I3lx9Ky{Nw%~Ho#*@ zis_*ZhB5mJO`mn>B43ql6>B9(Wkw}G&1y&7qx1RHQWA6x;(f zPtKOCL2>Qu@~J{J9@^+2E6$|Pkpf5 zGl9{2%q8YJku7tSCjCUC^aZRNJeUL?C2tRXaH znYAw0Y+VKUYP@efv0kLD);1WJ^v-=YeL%cVJYhTmD_<2Y%AJ+`3up^YXJU`|KU>~- zAN3zm9-V$xbW8`h84@fY+7Wbcweg5?%Q|W9-c%37A&wCEIa9k(yIZvEOP>J$z@zMcpE4Ej0nbKlje1HkD(*Gsieuy1EjXjN;~a2InIaaY$UrCnA#BRt7HIdhHa zK_hKukl~d}37o>-DwFFA~BAG514!CsGNWXhtD|~rg zBb^0h0{=SKbo}!FNsiJu$POlcgVB=gUUj-Wv*n?5_NV?`1au!&bjao*woA@tDWZKc zw3l7GC$raaPU94gE+%#1BAfi<*SU8(g3Z#!CJEtcx0OvjA$#l3{_`x0W^`H(AXEH9 zL_?GX0_p^cE8`6O81U%whvY3UqRYU|B|g@v45}aWI6HNAEFezk3Dlz|k~*qK(t`pQ z;CTK?V_1sGu$uF34zXfJaK~$C!qf3prpAd$NH_3N{D3w|zrmKd#c-qZOW0YX zw|yRlFAn)NK1Fa$`27QcTV3SFGfC{?s}(i$Z0YBd1F1FPKKcDi15&Xm%SuHjuYHVf zN0J^wa6A$@iW|t{et0hL;4+(QMo_iEP7h>uBsYF=k|Qp38*lXM;as1jnzFDvsD)tL zPgBF{q(gu6I)L9&hW{1v6d_+?Y_Scc5d!?e~;fowf8V!a0z(%PL9r1Iq%D{><(-uAmGky{~+J6~f|( zc^oB->)(xw_*!v3tF0T&U$f6$IFALTdn1`pdrPYeUjRXu(7shy~$7?PL$FMDa}3Cqubi({&GzrTnl8)z=9$Wp6*Jh z?&4IW0qh>6O}o!x7=DBmYeV)qnosjfqQ|n*H@jvw3PrCk*hxG`z`am|-)RO*4Eb~R zbB@4qi-sh9O0-IUhMAMt>!}_TZWv!J_E}Gj~0Gqgh0lFBKIB{ zSQl|%>UzZ?uUJ;z@|7yCo!P--#2sf`Ue*i0B56@Y?|GG!e#GN!X}7tj+frr?9})6F zR7@|}_4kAhk;%*tE=Mm0_eZ#jLD=j_V%KKx2->f13^6Mc-(Yn2c$N?COZpMLni{ii z>&=CX4te8?XlE3%@WHvo>YT1|onTfA;7!!>GwTr@&{P_f66T?nT=SBLzR)orJW0wZ zFhSdPkw8QC+I%bPW!E5@>SVr;_UN!3?^&r|D0oR&9}uPjx5evXl)xqO^*Fk1Tv$ki zb8)~PhDN0hS+UZ2Dh_8ta#Pu!(ZnJuB7)QB%MEi^S$$7U&7N;{y@@3nmERHvlC=~J zBf{Dvm~9RzE0ao07lbCBjv)7je(Z%Xi1~40JqPGkk|9*QFoc-MAb7LOPR#wJs^ z;xU(@tydwq8sQ$JCGrw_Wzg3EoyHpZBBi9+Td58|% zsn|f$fzUt-1Bdu63B`N&OP!_($NiOdYna=qr>!H-$#l=tqFxME4W+)xNCX>aPCWe_ zer1XRWv`p!wo~rGZ=X?F}! z$SXPhxD?iGNX0-DB(@{ovs)V@q2e~;+7^Fn*o(T3jc*8I!jlG}jIxKWI)kE-2k$#Qr3a#?`_mAEBhr z^3Go+I_@Dba(;ctTkxyV9RCn=f2^+cn<7*8s{&NctxxE~)Ly|f>QWrba zt(%Mfy`p?on}kwB7V(jG8^}qLPMOgpL!mn+_Khl}_#mMu=_><>>U9_!nrpsXhN~&^ zPx+%oeoTby2rKaIyFjYB9wPp4Zc5x3tm(z*0(uO_Z*K26L|;t1>E4+y@l`oYK4xmA`+(k4yypv@9{4l7mFO8znm9-e?u`aGM`T8 zX7%(Mdr;Q_R-Oicr%R5l=%4>y|0qvP(C z3yihE{rxR~obQ8b^4@|gBB**-=VdAwAajam_H8h}@dQ-|{3yarcp!LhU2&(i_lMX( z6p1R_*%Hf!;EtF{kgZ~w$C#PYCDIE~nkXVJeUlm*Dk@=YNAs=aomqCBTGLyx96n*) zyiUT_QBmKM6m&Kap9kDHdAkTmLid~m9ASr9H=l#MUV=O_IRSsnCWq|$Y3{-5cUzP= ziv^=5t+!-AX0!P4be3C9NaBW`ETMO$Kib-nRm8FR?!+aLx!;X2a6@2cdS#lo*e>+n z=vmLP^dz;Q$C;~TB56|Ib!W{2PSGlnI z4Sui_;DHMQkciAZ@xQ(!d|`l@Pvzug5Qf=21& z%w#%{cNaHAaDeh9ltDkMaOX>`!&=5Ez;!PiM{2B#gI5!Zkz7+hM=L^ZBE7kMoYg3PvX)J^=$DP#mYP`+BxGl;Tv_!6pb+lV#W~{aOf< z+p9E|cOb_H-Lsgw^&lQ)(1xfL?5lA8TmP&j^P1N=yE9y}-wRt>u$QT(ws_kA0GFE! z?e-eSK2f|zRL1J+)fkg6XEa4|BE``8FiWmq4Z727ip8-T!%?p1c{_8!WaO`nOFA;J zGeqVwBw8a_UJrM58piIytbd2iD};1n4hl7j>FqnRf4lGf^Jj!71ewu623D;>p3{(0 zq1TE=BU&0tzIKoK*Xc;`=^>7@d8sl3C|TZ52nE;)ihdlC<2@XY`Kez5Z_d+h3KAr%Hn~9y)G2sR|~RBOGxS*eX*>4!NH0kw3Z0;>Vn9qo5-jx z9Emf50h-V1GAGx#L6;QKrgp=7@UGZcc3X9#7sW(Gn38#}zbvRnPO~d!OOq?6J)0cY z5JHIl6vx+2P3R2^kYrfl`)I242NpyR>!6kLVFv`w^Fd^uA1pjZNZ9|NJ$eMNtgFo$ zsT=XvhNYYsDs?unrL7>-q#zaQC9CHnrwTxbdz`()(fH9M>%fi2iTIFrT(U2)J>Uhq zSVOALlrET|h2JUu_xAm=6X}H3Bo^XTHu6!QBy}zg?rw%~J%_{0`AtK34;)pdr;R#a zlv5L2M#p+v22L|j(+kN^-?RqsF;Wx-V{BAOhnVB$MwxJN){(0j$$}|;RrpQ@BhgA% zZGoPkP$V zsavgaj;PrWm54L~H_gV-e@?BrjC#_a@g~Ux2`F@z+={fxvs50#yMcI*XMu!ps(U2C zba;hiIv;sKCQNPn3EUBXNcdDF2atU&?V!(9&&H*?&G`y@)?-dDR~-<<&xrajd(-)G zdp*s1pd21y_iaLpMneN+*{0T4i4m@0(%}5?R-^dj7G}RAWz9}$F`AML?(@%HTQP@~ zw5O1Yriuhh6g8w&J=t@`Qz$VXe<6B2Hk7`VaLrl`zQD{4jO2Bwy1l8c9{#g}D&O`6 zdDSeU6!KQ7?F{5TKAzLXD#uJ$uMbH!H5ahdm_J8g(cuBiQejZO>>hb8QrokAtmD!ey zulDoK>SRi|M9(gVyGn*D{q{raaJRe-hiNpABgjzJY!QhpeNUAyuj+Put2vZ}X$@E3 zqFP8du|C8`9n}S*PjdMv&=AnHGqF*gM?c&#u_p5SE*OL7JhtkO%f`GL<;ZUwQ*It0 zo2t|a%gJsO^fhYVT#zfn;2sYs^eX3SF%bn<`_D2ng)F{5o+CC2BSnUrk^Zxp1H{L{ zkajObQ?dhSMCpU^SQ5JOi3~V@pHRq?2zNb$s<^bqrOE@d{4zoP3mdFxT396*l>dB7 zN-B(EjDNl*dKC1=F9X;Wyd+hqXOdbN4|0WZ)k0-brY*}@L?cD|Up3;VIZqVWltYJ; z5ox#v=s5zll5Y+A%#+0-S|ljOic;gjOo@!2-hq`2=ug_C)eQ2Hsn7(>5~dZWJmdE$ zPb3YhxN-o~0=TGb9W0_z^#O*(wKCRuAESJ@Ic;?YfXr3AfKa6-Y6z4mR!U zR-m}kJvGL2R+v4%#CZ#>%jPX{)SQ8ab+F0sBnv<#29k+Sa#rGZt_Q;!r7Srde|>m! zi?oE?sL)mZIw$MTa#@cDrwx9BxdO_*{tCqcM6*xj!9uQO!1P4SG}SzEYhIc})5N3{ zbqhyrimedMk@PX1AwUe)tc6XCA)Cj2x4(j!Oni@F+gB*{EeKH;`61kJuGW^k(l}1U zCRnD(h2}6L<78;L*`Qa5i)nvDFBxeXTz;%N+H{7<8u^!Eu0zLSabT?JqwTKt#2QiZ z5d&kTe))}D@?)bvgLa3g#A+kz2ayaVqh?Yp12HHIYf>G979d_Zj}RrW&_wj@DV~%a z5~pG3ns*X&m|8_FR#&h1}e&fYR>C_whG6HiEX$vBA#HOy8hX+Yu^>7@)t^IOu zTYv4lbo)!wG@KspcAT_c)k6@{F~u+I`-9~o%jyV%#m>x5%=BMDY)=gP-++nv-;JbxHgbTOnVb7R4w+e**f{@# zV`64yW&R%=JKKK>|I_98|8QLYBL@p78|yzk?*F$cW)@Bkj{iu)%*xL7?^*sU{%`fn Ytei|-NxAHDu$&ysuoM*H3KFpY3!>#78~^|S diff --git a/weak_scaling_280k.pdf b/weak_scaling_280k.pdf index 2c5445756bad75a4b1996ffabe181682c32f9a4b..12d710da3a14b761aab2107944e143f656c7e9a9 100644 GIT binary patch delta 12224 zcmZv?Q*_>q6Smtlwi;WFZ8f%S+ctiUZQE#UyRpqDw(X?(-fypcu-AX>IhwiWKA6+F zW+v(3u<2w^|E8CMce(8!Pk?Zd&7xKNTI6PYG96q@Tdat34h zi>PGM{L6Z^I|Z=AUOIY1CoGT{d57ov7#p@`-(&cHfk_~-md^gA_x(+Ec&ma7yMUpR zONcFlGwTdXJNv!*DaH&|npc&4T2$KR2Z<>S6tbfR&~Iz7vk}~W*9vYm2P3l$f%fIq zV4QZ(Oe7IGmK~GamEKifDYY*}SptLGJw|OKBfb`nW~Th8f~y>fDP0++q8+|Jn2o|Dk)!^U!z#ErNk$|7-fS;}@JBf`t@y_% za-b&8-BAsNoWn}yFHvg#^;BZ%ny@qz4&91oF*zLVfdu%aJNO1Xc_k6NYQgfSdNQbZ zSYw_{-;6&;HnQx-Ce+kx?by;`ndkD8BxY1rKog9DHE z9o?W%W^XF>#32hsyYAyrI`q7U%BM>Z)zw6hG2N*|Hu1)u>3!QR7aA8rVWHO`v%s=3rMpF zNYeI(mo9*xPpV~o;_7(QlNET5n!?>P@3iGicW6=MQ!p@6yD;Evj4B&LOp45I*op^7 zYmWG0?&#_6_2!C2m%wsBt(J;@+?!Q4rjq;7osTE8SvAnP?~j@)zr2$rY-+mD(ql5{ z3vWgvWr4#J#ez*E5mR7BwdK$79JTolIM;78E;Ekk^9Mo*VUczqxp|d7)LW!bcnw?C z9Qb>wA>Iws+c4>q(A3J-s<!AQk~D^VVkpooSYmz9E%mz0vf z#L0-~@-VlJ6t?=KNR@oBEwM~{z#*+w7cZ6q8lMN6u!yWgLYnGzC1K&jXl-~KJ`1 z5iq-^sRPtT`r5+EXH5sis%2vt^5EGy!Y2FXGuNMQy8%?`0RLGLtJW{|6RUUS(n4+^4gxcuLMyUS7&I zL-(`wM(CtuU!)30l}wv4uD+B^N-iycy+QCd=CS87&z)P5Xms5GlO zOiRV1pV8SWL^%}o6T?tsw8Xd+MJ`%6O?j~P7VwMs7vy9bnL#THc^~k)Io@ymXNdu* z{HuytymPJTVR*{aT}!OLW0gk#jb{1Rqkt|iINV~wzpzP{TQ-dd(PjYo^$pj)+D zxm&1Pq+6$3!B5Oj&rjx4@KeA&)x8VInYPd0H0&hrJapf<=xLm2rETpr^O(6x*!)`E zShu;*yO3CotDk9_X)!SAUGq=-Bzz}*Z+ybKs9oKzt8D$YaZvI ztR-y9Y*d=zn+>d2EIBRVn?{;6nmC)Eo7mU2FL^H|NWC^iI=?ftB6QXp{xD5uR0JdbA}{G6RQSbY=f2eA`|PGnbca*w2OQ zw9S8H85HwQ4uTDQ`Sx|YRRH^%HWB-SZ<~h0cCEd}u@YmCagY$Z(=)?AKdY|>x2wcssIN)5JWZ1sEnfgaB$$BAhoS8FeHxHUykbSkQ#5$A4>I|Z}>NbWUf$I>jta+R&!(h-p{i#hK?12(5vLpUdj{~)B2O1Qz}s5qKLtcG3P$vraFEd(9s_|yrWfq!~c z;c(AZYb^5b2>P7X$SvN;><(-C`-x*pm5#BALrdwP$BThDEJ53e~mcn;MGODc38 zf_h8K&Zk{fk6Zd>wAm#;81zZ^$DGiOf)?-(vzx zdnCtHtsgjIX|B(-6I+2xQ%d~dAG19&^iTa)dLT#Il}0juX;czZzL3Dx)Wc5SURWW@ z9_PJwf1pzobVbZ=>N7q~)^UG~v~9yBK;fC9De{$it`o3v!hFnH>~k_Vwv>U!C07)m zjmG#;>Lj6pT$SXbSi^?EayWBSTxvQsBfZEtKCYKW4ap?qaiQ6+12iA>1qs7~Ww|Mb zCXMsmt1t24oOy*0bQf^OlIH2RnIU&OGKQ1p0b7Dkd*l)qQIMceTR$f}OOeUdG~1BW zZo!%tw5j(we!dR=qVJZ5b-CX&)zfB0eh$hRkO!tTT1}xF9Sm0cltxB`+{Y!K9v@^yXou`AU4s9^cCFFB=dG)<79mXp|_z~)cGy-NQ3f;mORHKGG3Kr|; zZjtVn_Aas^-v%kNVkK`DSc9NlZw3jz2UW;EO_u*{r17{M*E5jpd4~T>e+|kwq8m@0 z1KsIY@j(Z^_PB0WNiBSTWKdEYbn2z*2EO*D|BQiiNDYSLr#@8nEqjBOLm;BTR$J@A zo4}`vpbZTCSgYWDwUaT=R>lU_!!}4D%@EVRdSDiSB4(GK)73Y1Og7b zA~?O2S!IqiKnnq>)ieqjj?$vyN3%6K5}Y-9Irll9Sz4S9x0$crz3CBPiL`tDW3LqU ztQ-tJ%ck`xp^A#i4h{Jd8Q5pAepfI31ZHn5hp3l4NO)VDj2$md9ipHrySaVT{3Vfh zkL&!b;-hnoSE94xk&3!i|A}H6;O(TtM2F@v^smewhvXS;$g2dyxqj$ZI1cJH+aZn- zQt<4dm`mu9u6)AKXy?OfkRwg4z%Cmvnzp5%L+2 zez^MANzjud4 z#ArG>d-*NG|M(?A)sy&XawY|PICvoY?)`SuUX3-O{&90k4K8{C|Jj!&KE=?G80KmV zONxYb+po~LLyTy2&`D}4InB+7bblSm8_p%zgEaWY%XbkHU0Rp=0w)L1_F;k8(+FgqY6^8tz z#&N(@!fAsANpZXkDM83OKE@R@7fpJQ%F~?Z9{xGoFwojw^DZLg6V&zZMGu-1fts|S z`cHzq(kM!gJOQ$p*Q1kcIDRK{+7oy^iVtt@xFuRB!*vZJ_S*qKuCD6eP1A$shouy~ zgC6Nlz-Ne%kcYGuHjJd;=`20?ts6<}n>Qr1m)90tg`Y7KA8J_j?ucA2pF8Ma|9FN# z!2fE*#K}ZdH8E|fu(11eD9vs2W(!C<5QSieuO#XFcC|Ea@;K!mQz6jfIpr_kycKZU zpH#x@)E}nz*wzV1P~r!J=eh-7A#x&Z{UQm$@8mC$M=r<2Uu`-Ob%A1lo={61u_x3) zes*z+t%AZsldsIu*Sq`MMP)OySU+`NknzQRcsq!<*U$g1ur=H5VQ(-XE1j2{NkY1} zb3TP+Z{>dTIM`3biz`i}?h||NT|0v^s!G)rS0sUAkS* z#L~>NNCYnstMFCA$xMG}uUiE&%;8kYR1upwO zFoMnzCSXZGm&wo*zDO){rK4#8#`<&*Gp$8X-=pwU4*sneH_G&1FSw1_7X@^&vE=(Q zEx8+Z@Ni#_jQ>{6P~9y5m=mjJ)MXr_0;TtISVDF&Hm9;IHIy07K|R-BbXy<)6i@v& z9eU#GsPs?DfS$*V1$-|H#tln{u@>YB2@^_QqBGleM zwVT24ygp@5d$z}Ci*b`M4DZuh6x$Hq{Sr@rL{T&FhB7URW=8TC0z&gcEFSK5TASMr zFE(t^wQn$oLhY~*5t&P@Q&*S`b{olt^0V9<7=+$_)=xZ|-$D~1_22idvl2mOvHf

+>%9~$B3Z#KLq&AQQYvUx23LLARlL+sFIp|88ZcsGHN z&L!tCYt!K771$2%?HI9Mlm(D0d`}nc4ihTT05UZ6_AujaJokyVKT=05*FZ0xJ>%ZL zI@k{fBj5$?4Lw;**nvwc8Q3{K3~U1q8?B4h61&S3E|bsVK3?!W351sJ{0re#8gtuV zf5d#}rCZ!AD!6-^Hxh)rDm3Dn=95fAEb8DIo8`;)5s&Z% z2r*ZoeSR%uA&zaATZKIVLvzC@6a2-+|du85XyYg!adX7q{GW-SvG`j-j zN$(0rj$=1b$le%p2yhFZHK9@kR{ZWS9AkcnQ@)Y=beubO!ncvFZgV*m`qpCCKOdL| z5neC~N?1yuwc_kjX%oj5Lhe&ZB19h{UVTC)(+M)^UNe--9KlWnl5Np7#)A*Csj(4; zM%^k>aRgOhVBeUdY5p!G!DRscdirK)%2}+)bD=)9@9=@KsRuC>{rn`0<$cbFSe|kpSlpZr?ldkJYN-Vu1W)AtwGo6;TU+Nt1<%aR&zOAuA#16f zT5?VzqxSJ>y1==wKqd~mw4TkJ)*{0swWv%E=AwP`k(fwSlrjF^+mpNH0g>~eqRCl| zg(5%K9P9^~BXHxhbSeOY7B-VTWUt4WDkQ}`el{qSu#`}h9&z*FD)|p@P-?>&GkOb# zeA*5*H)|b+h4Gz2Xt;yvjru6W zokD^U|1XgkbH!l>mOMGSc`;d{{XMeOU`3x;!YyaXJdHYMuUue|UcO@U{SfstWRGBo zeDb%>Ps>R`L&pqE_8C&bph)-PvMH%7PM7Hq#8>9|dAC!i#fx*uiKs{98NwcfXyTGN zODVOkR5m# zVP-1`E65ZOQ7?eX#BPaAs7=_O$S6rrD17Y#s^Z6*Q5{`ue?M0iF5;Gb3F72vBVVc2 zUV$F9o5zVbYIce9FpW9UveFO)uQ~tzp`ri)#U9MozY&`M)AhGsV(cCy(LQB9>b#+6 zhKBMQDf2AF^~DrF?Y}idP6*wneJwdd+bI~$G_)Y#p-P@#`$oLuOh#aNDGz7CsCo@m zxA(3q&W*gO)nm8?VolaKmoHT41t!FQ%!fGNr(yaV0SgLY!as>G1d58EU^_YA)ID<1 zi`;qpasguNxm@eO7Y}rKk#f`+6CzdA4R4_VOMUPt1c>KYL!xc|ynwqa^v)#|8FR<9 zZQXnU>wl$Q9ACL4abs+xL3e*pr*YMsnQiwAYR_ldlEPI`Kj_l#nvF1WbB&C0b1{sX zn=vq&Nm)i0SQKMgnyhRHS~dUeek1Zp8kdyTX8|PQ5+NGDK|{E}OpW@?6f*JkLP4g}7HM54r?`1zB9;wL5r!7p7^S4~m&y7OO?mCK1jrijVvv|~F;h+Ipw zs0#qQBUOvI+C{T#ag;URL^h~vL6PJa(*?JmO4tBW-QlpgU+9yQ3W1hb!>{$4%R0i1 zt!tR-G?`Mv{gMar%C(y}{}{@}y&6zs*(wyd;9XdoPK<)+IP&Z0cA*BQS4;SLGF)xx25bPQ z0g;zal8-0F2y+-TI86C`BSZa6Prf-d}t{9cJVe_!V!g5pI zP}Dpf?N3hEm#1^IcI#CTWyOna2QOpOD$3?F*}Rte7mN8fqo@%gEDIQL(2!*>!u_;O zk;`xrA>z!+s1@Og2D+kO%(Rw; zsH4Z2SFS#;A4Btc4q25Eqzka=wBH@ra7jv}k zE8od6xnK3|Po5|rfiZ$7f_E0U*D##>=IpA_1CANkWe*!=K+lMp?AA;}BxGlur7@if zTu9B6Kj;d!4bi^l;K46k!>(6or`!E=vHbg*ZP-rf1NmsGPW{fO(F~w3zNGNbAy;YE zOqd2##+t%nXqfz%pqW|zJMXQguzNrE{754pl+#bcSzm$lJ>$wxsJ)etVX@-C?1(J} zJ{?9~Z%`O@Y}F>hw6b5w@nf}z-)p^+wF-`dk-1T2Kz8YTmA9G3L1=SOJ$T7-!g_ba zds=@BGRqU@;RR79AOT<<*cZE+BKuOf7wZ29_euV&OIQTct8f4JI*?#h&kJEKpA&D{pNaC#$Mpt&}&JLb@79YhS6qqm#h@4v7MTSDwp8;+dccpYTI!75w%m zeyoR5t(7Gr^9^Kd!QwgOA*#@!XsL&oBHCVKi#ofeB0x!{zz&S9iK}U-BQ6}nBI6#! zAXc~veadWcsIM&+pAA;Xux!`SuSMW3RFN;vtL;2N)SbOnwUiT1tGN*LV6{=|=@_mR z{Zwnp|Cg)g4U;F9O~i;Y*OBg9pL8Kp99)OlS1dn~cJD6K`JvZo2|lJsuSbiN%RLI* z8Ru$%@;H_&?SR>8_V#w04;e}!%Gk677lz=j~T1i zK_B~QK|?kVH6Z$P&PeXb(%wwYC`>wipuzG=*ya8wJ1wsi=lR<&^M$v^caI2(XZtn% zVv#93f?Lk1Mr}A^9f7Gr|I$j5jKH7=@N8MPzHPy>;5UTXJj6M>hJJbg#V*>1duPiZas%^3JHjdnoH=ozDuY*q`X!@0sd0 z?Hx!L$I|X;T&YA-BlO{UtWpBh{@3-8^OEbWG zMEot!%t_9ttkkv38bo;je`x&OiHM- zf33-~`Cd>&$kSZ`ol~3|*QeRTxM|m449owxYV62fPxH_G^7^r??9G;wlV=tLhLOIq z4^}f+x7;j)TQy!{un-T^&d(XdA5nBFei(dq%f72I zwzS*a({1U7g^vgtBPpgA?B-ihg+yiLr>FlYehI+13IZNCJCZz_tX(0)bdKT1r^DNT z>F}$Zhux$|M6II;ol8$H>>u7Y{z!I4DT|*PTl~gt5_w8ywRjV?{LK19d!!WxrMc;7 zf6h7CG6(6HPo5-P@|eF>@sWHR*k=E|Z-BTVaqlq6N1IEXb?0}%b>{d{o>P#I@!=i} z5YZ2b5&#)qd-&|lFMC~hZ}ou?(j@NdEq>IblVRP9t*jiw66eDK&~eB6-Kxva6HyB1 z+8u$ENahsRB*Rr?b)!>@gXwI}=u2a|q1O3kIx651#zVKlScL-FLGQvyO9`Q>zG(yX z;^7n%j?mY5gXM_u{*rRDVshzAjhE?(@9l+*F#v&jHv+U0at@JNPokoWd)I8#mF-y| zyE9e=W6V-11Hss62t<79ER6LU4p$QEW3+hQTCfZG`macw6m}2k<-kWB7ExQjtaUbE zD^%9cav(jIwm8al?M?4BcIXVxkJw=2t(VCj<^DW`?T2=I?ECMitQXq@9F&c_qtXJVKC=Gqm7VmO+Y zB7BVWXYBkicP6=oJ4CHW`K2LGS;2Gro{W)cB+2Zq>c5 zH%ms8yd~OQjv84RusT_NVSPyHa`vo>K^T@s zNSVG}3;NUPMH)L;bJI0Pr~R*0JZO0qdmV<`^zUPQ+?Rn4qV5u4!x0V&0IoOzN#L9_ zT=zhr6`$PAh1S@4deu?)4SkW-~SI~B^ z!|wCR`t~i zMbPgNFL10b!;=|f3sGgQ>;E=muidYj?o54aLRAfD`Mu53R%NzEePjvwjKg8ZWN%yc zf}ne2;;@$1Rhk>NPBsRcCrsPNQ35K%e{fCYK~59WXH(?Yg-FpAj$1tfy^uV{4E$!= z;(NiCPXmAU;CabUJX^pXb`<6pdjIkP!HImUxXS~z;vckQLD9EKkU@+nb$9SW_zTpl zF=Y#m(`bw(u)p6VyNeR|==GUm5CdUUnv`Ng9dV5!#b;CF58uVj%v99SH4|bgxX0$g zN4AZ(Qnx-JZCz)HS}8~YB;vf5HiD}-J9~FeUS)*g{q7yML8i@T$nKXM(M-PPmeQ1%UFtRY|~fh?Z%#1Tu_`uFS`YRttj~W0C$R)kqC2H z;~K-9sYYMUGqkv8$XPzBwn0}X#KkAmr;#i9kPfq~F}wS_nn*sFw;Fnd04;b(y+a_R z=xmHn;)KdY%?QN7PQNEE7$79PJMHHM{qThfZa%FOpOCW5!|Ug@et`|vISTnD7~H6i z*Z0NJrUB!*H986?cTHa0=H#||c99*0|D_e33=(MSiPj0?y;M zDJ;yxsSqeP1D5|Irsum$lKN&fHJnYVEAL-L9sXOodU3!55woAKX5j$~uE!}awI|Ni zl6J0^LqlnA``zD!H=^y7mbcfvxaV^>>mKKuxK+qb1VVJ0U&V1LHU5tku5Q`o3}Z53 z=i)EJ<-T(eGu!0{3U`=<5ZBf&y`78rST!O)wR+0j3~AkTMxOE5x6}rUcJQ#p1bVr8 z@`~ld4sZc(Ch*&99Q#DA+P~74SFg&LAcC#aX-)jN( z?2(wy<4{)Az95O4$S`~ZMH36q0`$gz9DB{g7MedlDku-W%BfHiKcFs*C?2M3UDM?vsC!r-GO52Lc6$_cXAk>X?x z`&*2%_ZM6mP3nd48$J%fur{{fAFz7R{id)!^^g~-rUmAaZWNt~wrB>3bnLblz9AZ> zp+qb`M>O8cTFQL-76R^r z{27B!e0QrG6e<9 z32|vn#oeFce;_bL8|2Id=)|}|czHI4K|Jc!)x;Cwj5i4;OhBf)Y&uI8A1VvxY|c|Pu9(`TEX4cD zj$DxoG>gT~S^IO@;oeh+bO<+$S7KwT;c6{5u3s-rWS*t%8IB|{qZf(~W&=H{?nka` zhYRSFrEh-)It-2@r?WTdE_Ee7FFA8XE5{C+x5q^~>&v}jis+bX#SKn)s5tyqxo+nt zR|APZ^V7MF(8-O5J;l{rY7tb?je@7xjl>siCp5(JhNY{bb5SJsW&=L)X7aXseLKn- z&;{|ZDh{peH@LX#_04<&y7?3#CrwGdZORX^XW9%!4WHXd zy?bN=d(_GkNugM_+xV% zsl8pA-BUzMjcPtkiJiQzdi}={6jfxb^D&VQ)gpsQ+7DB_N;~WC)j+#nKK}p|9~F6S zM4#O*G$u9juV5EsHD{g*1P=I`8Ns`Of4-ZIuPs$;ixXd7! zYNe~kCnu+7W+&&Vt0w0ekdvO6y(;(RrYjPF()fn26Zoh_BBa9yJcFod!iAdaYA~lR zAN&ISm35!8J^$Q_?E)F_JjJx<1XHrw**HIbLP3EXzo)a?)u11|GTQLnVks+{GWI_v(#6ekDh}M#l+)o!Q%t+StnJgF?$AG5sv$fH= z(x(LMUsE8Z7M70Sew}F9Nr_0JCju3u0g!F3y9lnA*{xhPs$;<ZS*IG)5- z3)mIytxqAVv%A8x5V&p83<22kMUWHA=vB%I0Co(n0(O;j&Pe>7n>7iMNfMZ{A7DZW zzV?D6It8N$9xPQ3R-Jba_uUV%50lB}rSj#32r61o_Nsj(TQaN8lnh(}<*lS00 zLvQrVIeCTbHf@Wk1m*FcW;AUexr#cn+WO5uE5hUJX*o2prghtHH1mH0=Pb zY7AF5f%Yb{>$}4!o}*k%KV*BjZ8`hw*~p+%#KkC*Y;|Z$aZ9i|{5}xqvRWpTmsy4W zd_Xv<&9hX9g~&)TL+un>%7|zX$_>RG>LyoVlVO5t;Q-aGb^vF4vf0;plw%2sFxMs1 z$2r1d`c%KsX|#{&VE^wn41e!7ex1HufO$Q&vxV>;2T%C?6zOR`x$ozHK@rTwV`aH8 zX{Zgw_}rd53|sN=4hhlMGlY>e%}fl&opjC21tqGgqAsMBB+rUhB*_By|CWvNtVCc* z4s4J~j%-+P?Cc!GEG#U_*w~1f{%;W56T|&K2@?|+2TKw* z2RXpR#m4kMO=cEO&i~bzn7BEa|HsF~%*@69KN>SLH|PJ4#?Ae|J{C3(j{h{$|L;`H lEdTw_{;!cWsel6=f|ZSxGwFdt4vvkR366q7OhFv({{V=X%-R3| delta 12567 zcmZX4V{j(GvUY59W83y7+1S>`$;P(x#(HDhwrv|5+qRwDJ-5CeU!6NuUET9cPuJAU z{Ft78@~kIpV`TwJsbjWyJSZX8pBVg}NJgW3zKAFgss6}P&hUDx(8muxj;Pz%Pf8bDtSqq7iSr~+j zJz}{)s;;2fL*9323?mc=SxZ@ul;ABOY=xn*Fx*=HQujR@j|-vRVh-VLSDNp4FwmAk zv@Gc;`PTt9RSDf?0gy7F{pukYovg)D<^;C)9C>k{k0pp2ztH+Ih=WWdN$8D_V2Y0A zX~LoAbT&uxFlP1rv#sQ~+&tw}QlSI3wI_R^H&FluvrU1^R*qLJrq7er z0<)2x?QKdcQ5DGWu24&i&8iu4d}^e|T$5rtxO2&^402d5SvpUrN5ecpXGaLQY#$meaIgq_EoesY?4Ikf&FiQ$PqtG1nOhIj-3 z#%mCgZK-iY@4TZxye?sBy|6g}o0dXzHQ49B*R1_xRrPWfnONfX*{+AM0`LYx+9yk7D^=JpuM#n3|! zD<_%L62$5YNtMiE9&`m}0XB^bdRxO~y@=y+b~f1X!=S~dvpWE=sf$;0%a{~^WswlB z*;ET`HNtiP&(H*^e?F&z%9}HiF;@7>%le#D2JW#>rTy@%!GPccW~{uzp$ZCc_oxo~ zZo8BbhbsM~5i#x(J7b(V9-K>7-(j_aZ{5#{MjrUS!~TGSGqL^S=T$UfefvaRBMPDZhfhk+L zB3xh~jH){Xbw(OMjT?oVkV)e9c?`h5Z$9?getyqB_QEo~O3dPU&VG8&YLE^t3jS55 zdKc%gAHbThAFv;vpzJ9zI8-tfEw4_^fC(2I|M5QV8N4A+1CLc-8o#ayNPpTRyDW`$ zO$Jg6=a~usUTa zuF_0@+bVs(X66rdvY$p6!zKJx;St5Dm{hM;I-=Ru;{NSidtw=9Q`f)OK4b&TQOz&! zu#B)QI7>P!FmanOpJ1Zr`kmd-DMd0K{uWQ0n>|mv7EUN!GGB4R@!0GjL4d*HqBVs)|&hZFU}7(hh2*r zS7h)snjb6fhyq51%B4>sWqfi<*vPLXuCTAMuXi?ITH*cS+i*?1)Lge{?y!zoOo^3=4|cocfnfKEwN z1uy+xmp?BDJkGvZf;SmA!LDIkl3rr3HLW48fnBm(np`4Y>e^H_%fG9?`>Qx2n9Vfp zX0{S$LLW~c9{g(E)gkA~&giFbEZbnUMSMnV$y%Sf+()vPXd`NKyn@ph+dL+8c-*j( zKl&Q+cU9!$<_$yA#rNcSa5y=h-6rWZtQ~*}4M(a2Ah8jk9TGXdN}E2`t68a^p<~;w z)Ad;t^PJ!xu^e-Ou2*B^%r0{gGL$cF3&yeQNgJCMGQnvv8o4SRm20i4?~XMTgq(S9 z{&-xUD(`PF8%(uBq9R15}#@o!8H&q`@BPiEX*^EJJHdwjni zDhSqg{mNCD$S}b9-U0p<8`_&s`Hp1B2f2JI>0ZTUq$*N0N$?hFkIq(u2rY zM9b_LsnKenHERl!IXQ~bpv^gnN)p~eTk8t|Fg1hVzAx6Vz|&{-LVpOsVsHbutURpG z&w*8SP1_>1(C=#{29TT_*{SGpov57mD0{b9&ym=JdSGyc`|3mVNQ=-zcDzr)7?NHG zKT~hzk;})?W4e$z2OvN|1{>Vr({Zt0x? zBLbz-(PI7jB9Bcc4q|SDG@%Ww%ZGl zAbbMuo89p6McvG?Bk6NF9UbCZkVuW#*8*1UJ9b!EOc|bzlc_W+!%;jOhyAZAR5L(y zf`s|MM^kd^U3N29o9|DDMO5LIge?UCmcVsoH}iwKB`u*ljFa(Yd77(MiHmOn%tir+ zXH?zOv1>#wWGeBah^Pl99^sU_D#8k%0Z;dwFvxcvFhbSeqeNck6()c_a=X%nad-^f3LP60}q%G`F*9?wG4YPcM#kV zil>YDSF^xmk+7; z1Z!*$CynW{u$iXHlJe1*Z?mlpW!Ot&UDRB-P#Je-9!m2KSbv7jvCR&vClbL@P54|Z z*Q$DyJ$HQbg8Zg z-q+Y6+H*~GQ(B2kC2g41mHfy7ufEPbm1S(;kBo7PgARgp9nT+tr!tE`PN~5#{N$&a z!6na)tzd{q;gy;)bZ3yMfp>!jsbAjw>j|wokceElBPD@9o~(AC2eFM2_x6V^B%mIO z7?G~OeV7EOSEqxs1(A}x1!5F>>dkm(V9~4&D zC(yF#XvA$KgqfN8JFff2^~bX4@P^coMTnH}o{`~sg!5)GL>o%g05#ODy!)^?0ccT7 zLFtsRj3y>ecDP2*lb0ukhu8)00n2X@-3LuftW7|hsvHqO*UefcY0KW-ViHQqr;Yi0 zlwuQTC}<=;$S3C^o(fIkEH>A<%Y*hd&|reJ9XHH7&vrp3SkV5rl?ey#&q`d#F43{# zwZ#e5H$-=F&M3+lJiZB4F-v9VeeYPA2vu0^_W6D$FL&RE@9on(otYUD>TM1}Km5zu zt?b`^8!<@0dCz*M?ymtzhIUq#9Ywp(Z`24Tv+q<#jhNM4V9FXt}Ng};9f)K`dLPre0HXW!?p+}efGyx^h0`{#z z2OpY!%LlUmHjM4iV!R@$W8QvYAM3xr;10YH1&*l}L)Gz<}2w7$uB~OyMHv-Pnpr_Ax7?y+UaG)%0_^=00Ob2#<-E zA*ekOze`X##)UkrsV|Ff>&d3u-toDO?Qg4H^mN4nx><98@2qZrjrxsdmm^B?=R=&z z^fm}!BK=umJbEZPY2j|E2<*!{mzn#-6$d^C98Hn;VN}T5XLQPUt50}Kk1Ozu5Dy_{ z2-WHpcD^_&hxziQtzjf4=kr!`k{dPY$fTjv+|KuwLKnI7d7GRERroR=7lzqSBI-_4 zWWtYfktnCjNU-R4PVdT&#ox=+odH|Vjrj%uJW@ZX0-wmt@Hw4NJ$ye8rKRjLGi@v(_;07X0-EKaK(D8q z&T6mYjk?6N^z7Jp64Je$^C=`-3)h>+!9F4$T)DhRe0mK<1=)@+6SH9q%XV=Owv$|d z-*=(XO8#%^R%n_g={6A+b2ak>5xxNI{FhLc!>yscO%=#cyECCfC18{0{#B?N3FNIC zCGck*OPnw7#mg{yX7A~g%8uBi5C;*f;drkpVu?E%oGxd&T@1c*5`r! zX#DkqiTEp|<~NIw(N<-pWfDc%$Oyu^i=n2`FTzu_D|_;9!}A7 z;7g*jwkbhqOIQ_rnE|B$mg#zj&PYA@Z4vAhof{ASbuZ3&W&Cb`SDttvD zWP(4z^&}LVI&)6?7xJkX`*TqPHkizU{D}YLX}RE(QY_b*ARXcG?-vkcZyHG$e(h(9 zxI{BSj z2Rt@#E^2bPmFhGQw!IwFg^{0*^Vpn;!`CD2F{)4`<{}(0$f3kIVNZ<*KJT{Qx~l*FQY4s74(VVD-i8t`tcJS7AcdO)J&H{)e8 z+ae231)w@ZcP@;fR5+tjQtx0sYXY({Wcvk7qB$KzbviMinXe6Lg7Fbwpn1mEJ5?!% zbe@L9u^co2#$oDSXeOR%kCFP*Cff@R8Y+;ECJ4YryXE@P1wFkqBp_>}S_u`G)6)*+ z%)TIV=DcWn$758k-jt=(P7Ns+kzreTHGM$ccK|b|O-lD>R!f0Ff?7p7CyTN1(QsrM zIdQy~@BUm-RdDDMP$F%Y4n5!7Mfb;p%#n}LSt>OElMXhWBY4l(kvcfZGmVga3u&$Rf-&~SH*vjJjO z`V+x=C@u9Pfn+b^M<*t$|A)$-6~7rpW1Pe~;G`Kk(0LbjU&njsFN)>N+<-RH={=l! z)o22sl_K25tA{&ZP`|SvH3-Lk1|kXv27zWdKbdFHSaB};VZo#9-fTv@mIM&rXszps z!14UMFT&_EFn%D#54BJgH|me6vB@y$hONKaj|bs3^uZ?I=_p+2 zz>YztTofeHbG^8!Gi;1Sy1TiX^d`EeB7|94W?jT;sEaB~U$mBj2amI#U?8qY`mUU@ zA{%e-PkD*D0It3B)F+poMI{%6tKh}Nj8)%$P3L^j=B2!Xsk>&=L`H=k{yRpnTck!n zTR{-nO+-&%iqCW}D?dlhkQ-BNX}6YXhSFK2n$LQFHPJ1(=e)lSAFzjx$x=nH_1ipL zUO@duxIG;xxWtu-vwTX|K-TJW>VkYOX?}eYX#-oIHqP%05qOIV_Zjb|FXU#D1n8vZUdR_%M5wc)$_Y^Z~c+RC`W1 zSu+N(t36}lRFQMF9EpVo(Hi;xsA{9DxF-G8u?}O-(`Yh<2YQJvq>w!9M@CEv zBe4@k940is0(U1%MhMPw#SInn6f!p&Sg6+#2d=AFb@vAy-$FUhkiO8wd@fL2%UaY> ztKTIkt4>D3ne}$XJ*WrJ?|{7X41Kc>PLWO_Nv+B4Kdu=JC1L&d1Sz=S2S(Fb)ngQq)pOZYD^L_p{UhL%H8HP8TR!>S2l}j>Om{e6Y_Mj=R(&F%^Am;@zr8GxN>6d@ zJnnQRd49379$cF02Ruj12~Oe3$<@+wK}<@C)!8JEgM2s*i&WiwW(n0ymH?f(=HQN! z#jOb2JSH48WXX$cA6;WaGn_=QILmL;au^K+C2Gt8%(w`lA($b9p<_5cu~?%-qe7!p zQrS7V-Aa26XC-$4^)Ph+W)}uJhB0Q=<#J3nF zIc1AAn|?l79JABK8YhP-)e+~Bo5XsKO!&&~3yz*pH2P}1rSDhlGK0zO1ZGh{eYgA} zU8&sVJ?%;aa+j22&=x#wfjdo)iy6sob#7I4VB3*ksB7jmY_eD9zt^vEQvEfX8nkef ze)+&%Z^R*>T@Jl99VQvYoBnWNMbJ}0`{P7x7h0jJUtz2b~K_H+w9(FftTbbF zy!N+^2f@cm@9IQ{0XnjOc8?(qv(ZwmW}MgO?DswZOtH4-7hsGmWrW(>ui|}_&j8vr zg@~iO^oJh@Y1*TApJK^4iwusbE5e}(sZz9YK<<~kVzy;+Lsa=yB`(?#{4?HRR8+aM z@Tbfcr~2wfk3*wcpfc<-}Fp zQ1`jueOer*UPu>#8IzPet~CBS&M*kFtwjx>XUEFXlEnInC5$ydzejJXMPEBwPpyQg zKBa!CGM4;Fuc2kz#4k6e%4La}q>xoot;l2!{X2K$uf>CUdt|q)et{rsb)+ErL?Ih| znqXz4`eh}r7Gf=2BV1j&CC3Eqm}U5)jFpTPot3s#)T8-1Q&o!=z${8@&{8v7?vDnb z0dHmM0_lnQo$V~dvjCzIhC!Ha4yzHmt5Ipq+m>y?G(X?ctr^>zX;ppg%l18V?bl_#tA>L5Na_CK{esq6&Eor_#3I!~(U~XTT6B}jdQ;1} z>9G;EA=jpD)24>2;7V5Q`&{)#b$>Nr>?&*1&XwUQ`ibyq>k0HJ;i6=nYPF_$+x)xg z)AqgVX?tD2zQ+_W|5fc%<&));@G0~D95m>?plQBlDJmxs6>927sfb=3J{!3>Xl`nu z%zn>d#eUAQZF$G>&JN8nlrEG0o_?Ipm5z+7RWYmlTW?)yUHiQHaURMt)ItJaL1k&& z*w8q(CVQ!TNo!N>+Tq&sRQgo-RN1VfomcgDYx(EWl2u0IbrTVfRrK+Lj#)MI@$lpR z+xKEK&Xn9vv3;EmTFO|}PWORhTNGb@%CYH5$z(QRy=c4avE9nuCFkdnodyG4?B9vz z$~Sp{>vx`Z2Khr12oQGHnMwzsFt+zP3+fhn3ZUbP_$OctAR^TM$&fA2nli0vJd39^ zU~RQ+d)gvBo^NXj$~oa*KSu>Ae`z=70CByg48}vgv|LVc-{D?*quo;WPJdNpY=n zvsn|k__e0lun`Kv6WC`lcVvb6eQ@|xwqgg3?b-=p@~uy=Q)ecrHM_ZvA1!Og_%FO> z$K5Y_V_bM=-?muUM$L}E#^f}G@qor}2a-H_JPAE%^)B-3LwE99PSVy~s3m>8k_Cbo z3M?w0&TNvP!JdI#&&knerrEkWzVPw%SA^Lh) z@phoTT%SLtqK*6t&-4+iXwvbadQu^2*G8C#DK^F$p3W%G!R>fn`DMX=sX=i2;_z7X z8#O8?2ZL#tWjQ+Am$)p)VTKoFXKT-#9WkKh;7MG?YcyUrs#u3D@821+e>0UrKN>8y z^lwJgfl*^U_X6&RIvBC+0P* zKPSJiJx>IYvjiCRXfp)zYikJC-_v=T9>P_YPpqP62qd^&E8iHcmFg&PyUGDTuiV3wNkLW}XYY=reiSS_rif%1G3Q zwoBi;b{`P7FOPmgO5>@9dk7F7h+mX*U43R!_apQE>_n7br+{$sFrPohIf9ayCcvZW z?`^^cc$W0IvT~kihcjbUKz_B<{)*|^tPNV;@c zHjz<(m-Dz7y#a+aDnALa2Ur2%Uqky;WrQ5|JzEEWf*<-oRx1<8r#VsW&g z2;*Q|Q2;meb0B^>8zRjMQgA^Oid^z8=N4D05+2r9ELsULlfT66-J$5&QA`k*uhN$V zK~%umNApqn7sF~@0Nv)|0;1J{t*Rhyh1@1@LL59SaaA7bLOq*3rP&!x)XzB3V*pH} z4+0w{osH*G|D!gmsI?DptRozLQwEZ?f~#s~wH)B_WZo1ceQKy;j8-2G{t?P7h4m*B z=h&J3@r?YL)alCd>`)Yn@n~Fv5bzl9OV#mV>PT`6cZgb?m`#}r&nAwEw6yPPOJEP+ zZ_NX5>~XTyU$n3QX+UVcTX8My>5y?pEEV=?I`Wt=`dUe*e$-E`q(N3TKiPO-dr0VX za<7bn8J0%n8@1{6hdL}WxFF6uOWiTT_UW|ueGRWP+JheOXj@rr%;uBc zqB~ydK&G&v^wN;9SWLDS0syo3ZdDKXx|<#h-?+H7l>TClTf(4J`+>0+Hdosw1Hzd$ zg>&S)I+yNiIuIfrQU}$=>ZINicV!=}0&< zCZhGWDB8#IJZ3CJ#1Sz`!fCeDy>E6}>gw`;dzH&C;eDpJA*Io4V3OJ=p@NycHuSC* zh&e%EG*icksX|tLwFpT}7M09QhUMT7Weci#`-Vbf$>0hje~}A(@=e}LP>%)L?9#m~ zh5;x%Vp)6}4Q@QZ0P4OZVPyURo80~(4ax2}av%%PXADsXX>|b>-Y7vC`H_wo2nDFc z<`9>#%Ux!w>KqzeftahMztISy-1p>;?7_;&nPj>Jp23Wf~$ z=kVkQ$cvA=bB}uxB=6tcX8n$u(3f~2+nzG%_M{?tgE*y#08XWNjhP_2DiD7_avbAd zfs;Tb@Mjb(qe2Z^H^p>HB zY-pk=ALD7}TtAR8h6p!37ShU`Ext(uoraJb1Sy|{!^~tI!?q{5<7oD0PbumNEqW<4 z9xuppeH z$x&&WjI3@_mn(A6j#0>Op&+NFAHCmb?y7L^UngO#of{Xoy4g*hon%L019YO3fr5=) zLF)m~H|*45+fMQA&T{!}cm}>+hFi#Q-$8T<*#9c&0NJniiOYjIfJ9o=tioLzlQydv z=Qfi^jfmkK{W#~S4}#<{Km>}dKAx3L6e9%PPGlXoZNABnLsHL%F`BCxYXthMfZKOk z2S4V9D2bVcUe6H+*zuTw+lk-NoMgt8T6t>6_-$XfJJMoex_Q;;{|GXc7{>*f~jntq)Z)YQs{#(B*Sv)JWM&=t2q)9S;CQW#hWrV z^VJb(5BaNFhr_P58?Kdh`%~d_4|e~%Ot5~H8*qJ1&Kfye86c15m zgaFU+z)?UPBN@k$Ki<)DKZ}}-W9A5Yxyk+Oj@AtgDj^-f}Nb|o6dzqjX zKa*)kq27Sw9%^D79dQ9jw%OEFh)va0$oW))f)iP;0&sC#V>!FhWDBcL2kCq&|7a1c zopRJJ^5n~h@?#}v2JF)C5EU6a~^*a9DH*VyaEreV(Q!f zigdghZ8jfB&-;r=keST$tg_V{KoeG0Q|(DwCWv{nxE6Ty;D10?7l0lGe=82h*-Y84 zSiDOTIkK&6XWj`>jVk^a**9$<d^a>oDC zm{Aes3KUG`lYE9S(IUvSQyl9cjtK?LzOH?FZEYhn5=%_50pS8i;3AF$*yq<3X+!-b zB*A%rDI`_#%S=P6U`s4wQkxa_9SSUe*4K?PZcHbV${6;MEoMxpymLeYmPgW`>9Xw{ z0@u>9_fSUW5-262)1BXpUeo3eQ{)vmGtQ8|&GoVvcvb4P*4m=q))m;p)e}aodXhq) z4U{H+OK2JBMGI{E*gL-g!eIA?R_7pv-}(}cg5{FKaQ3wp8LDwgIX7T3tOg=Whmvce zd83jvaX5Hl2lK$+xw83M0Ac~9jMzc|jaALi`kTeON!i9!~!#W5xFI37H}tgeSA6fRBU6G#75 z{JGr}NwV<3O3v7?eaMlVERvZi*7(5zwZ4S&**tNN+U#CI597eIn7mR@M)ufH=L+GT zRE?KgPWAN-gx^k&`d&eZt@@Ju=>G5d&-BWK-XLZ~r3cQcnATW2IsOM?;ID6ePznyb zQhPqwINF}x%v_;>t8_1{;p8ox(R${lf5boz3K|x{rc!Fb9!b$1%hzAMdZ~&88!`N* zy&@i#A!tcx!M9KT(T8Mp<8d%3p&%#} zkVw35^$abnwkoD(yNu4J4jTQK(nV8{@-%6~(Nki>-iF%zw# zB)Naen^%yk?cJX@l&;$7!_Qnp<4&CtwET>NkecT>0^>i?vav9hWQzxsQ~E=;I+s!f zoc~k{9+eH-rA+Xcn27`m5)asUC=23R{3~a)C_}PG_^3_gv(bC&g}RD7+7|V7s*MGX zS|hU-C}hb2SWbk$5rp|by>?#BLz#m+PwKR)T&7qp#XTJ%H{0X##18uhkkPL#!x1^) zkCNc9&Xk5{g6Sh1Uin0*XxW}MoR5y+`fxMY5^t7rE%Q(bLifv{ommD|s0*4T9Cshu z;IZXnh{)pYU!Me6mx&s8B6Br<0DTPylsLQ))=2SX(sU_iriEsDO5gW*`oB((uX6eA zN$sU=jftIn^??RWci#6?rkKu@b~9+z&E4-^e-|!29-T0|{aFEMifL_ze_{p7XTQO` zCwWj3niz?}*qIZS86^P|wt>tjV$a^eDW{}+sI@AvBx&ka}R=&sJg^St_ zn=V)SZ?ogVYOyy|&gCinp{ub;Z~^jPVGmPycLjXF&E>KIWjBCUGEw@d4XI4J_>cO& zt0H~9_i$0%q4%YrPlt}Hzze3m`}SDsJ$?ykPtHchF3Rl=HVT(yj{N3ksnIlmS14S3 z-`VvR)#EP8uLgPqe|Y;o`o8!!h?GelZnK{OF_W0BM$^4o29Q-oRo;>KA-z!6sd-72 z47m)Nbg<`xKSu#74%uk*WZJbR!&bI(#jEYzS zF)LmHE(_@Y>oyRx5`iWNut5_rGZS-gaQ?5ba&iB!W+rB3W&Ow2