From e51b9b447bd725f7f5913eca1fbf5edda3905139 Mon Sep 17 00:00:00 2001 From: Tim Kelley Date: Thu, 26 Sep 2024 13:26:08 -0400 Subject: [PATCH] bib fixes --- Joss_Paper/paper.md | 4 ++-- Joss_Paper/paper.pdf | Bin 222251 -> 222255 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Joss_Paper/paper.md b/Joss_Paper/paper.md index 038df48e..fe08014e 100644 --- a/Joss_Paper/paper.md +++ b/Joss_Paper/paper.md @@ -139,9 +139,9 @@ infrastructure to manage these things and we refer the reader to This package was motivated by the use of low-precision factorizations in Newton's method -[@kelley:2022a, @kelley:2022b] and the interface between +[@kelley:2022a; @kelley:2022b] and the interface between a preliminary version of this -package and the solvers from [@kelley:2022b, @kelley:2022c] was reported in +package and the solvers from [@kelley:2022b; @kelley:2022c] was reported in [@kelley:2023]. That paper used a three precision form of IR (TF=half, TW=single, nonlinear residual computed in double) and required direct use of multiprecision diff --git a/Joss_Paper/paper.pdf b/Joss_Paper/paper.pdf index 846bc010d52b315f50f791f9244406f1d9b9d28e..0b513d7d483067fa190fd13791a783910a7b6152 100644 GIT binary patch delta 8274 zcmai$RZtv&wrsHg!Civ~cNlzvdvMF(?(RVccelaa0>Pc&?k>UIT?T^RbKblE_oKU3 zb#?9E-IXKgH6!Q&jj+qs;Bg0LfuxPCniS2P6^~D=)+(ruT9@uKFX;;`7-^@Y@=J{gWWFR@oLK-?8T6S$R~z?zkBdv z$oKjAefWUAMlC2+?d+anZn*5~;o|YCyISG=-OtgXyQ=Z8#Z)wxP5>&QZLkwof)J;) z=@`wqZClB2W)VBQ&DjIP_d87Ywl|vCx3x=9Pb_q-Te#o{3sJM zj7B`?hfU7z8w<8D@|+ji^-@nDqqrQ8t6ld<{E<7_xYoWMVD;4|A<6GV48`R3KEfSh zKTEp$nN>qs*fiLlFWqJudj1vgeSL+<#1PUHLNvc-w(6#aXiWS5u>Sff%TE#Ym&FPk zV@Iq#c4V7QnITuR1HOADqT6T6>}FT?>%jTW9eU-*X9D>=zEgeLQijkEZuMp&@uEN_ zU50;N0Iw4AXt3yLyNbEM*rKz*m}?^f0c2n2WP+NS!V+R$T){H_fOBMD(-<-51JWfV z?6~Fx#Lc~T6-4X_Prr!RcMx6x?Z2%;DHysArU;FtH?~nHMz)k)>@zKQG6h&B#Nqa` zK6yG%6@MsJSv60dJ+RdmIBlTcTEoNztZj7T01hh2!M&wU{U-6`d7@rSuWT2|ERcr> zd3zZ~7E>pciXXQ&|CWZUQW<^Y6(GD*0&14oR_!o5Z8YY3WCAn2Ujq^0x8&p6F08 zz74A+fSpdgdRix-tSg6pu*JfnlYXPpv*o!9Ecyp1jJ#_LlMI;Wqai8grpr?OisYNC zO}Ae6y=(am9Ggymh2|@Jeh1mkhj-yNVQsAP*@rrNH^w@@=GgnDs}A0ZT9KUyGFK%d zn_0W(1pt~7v}i)r6<qz!!gAIZoLSwv_+|%r$Qyenq%U#>1W4nL8Wg_h>go zB)*`VkSicsu0@vm7o*a{f;UFH9vG^k0siw5r{2k#b#&}7(?fVvw^#2n!iCBn!t2#3 z&v3koJPFUO&|`xt!GJ{{f`(4Drcvpe&n+@U#J}a%tecYi^x*my3MGQ4A0OB!UCF3` z%b>gaj(OQCjhgYw?@9_3M?8D*)>4s?kIEmKPS5uz(6A2StNvWkyHV_9O~YpY1)RqF z+Z#tyaoYw9ErVw*_ffTk2vM8Ptlh&~fD2pf*p}_sx(Vol$OtQly;MUQ4@zMx1p%n;R*(ui z9*(sbLE02OrK2r827*_GcHiI^-K$jIq*hDJr=X=wmwbQ&G?V}th<1v!1#w&z4W~}7}Ct5_&j^L zzUAg&2Zc9h+x3k0Yy4>}7P3ZqLSmEWlWf_>IcL~fF#X#R<4~J}+Pwq$kjK=T9!@0; z@0W-%`)GZ+!0-3u@YLirQulP3aq$X^w!lH+eh3?uzc2#As?I(N1U;-7R+No=1m9w5{=8@$Uq%SP%6XAJY2_* z!$9*Txov{atP|SWWW&t$HoR7TaZ)HDQHs}`Y0@1MhTO{Gw4yLb8>rrVjG7rBk@$J) z&qII=`yy%bo+VUIarJBViNG$DR3L`wxlXw*yGlzK>PUyJzW&xTBBk$>|JNPJloKo~ znCuD9rInLLOcXTnj$E(NRu8Y%y3#u55y*HgLAKn(H<8>xY;f4;^ifKUx|ib)LkZ!e%c5lGy_I_oIqN;FIJamPAEyNQvxS; zzg{6{+3n0F=i77=JS0x4yq8#a+{*zpa`Iw)+DB3(mS;^rwX_s|*6%M`}yJxoGT=?@(AMyWmDf8XTr=FT)* z(zXT#AigS(3nD@rbG!5A6?%3BCXrXrJkOD~hA5MW$0($q4j=y<)fVYwjR-k_(PQxm zVi`mdZuaD#csJVW+=jG6g{ppH=Q*v;bFQLJ0()hkIwPix6-mChdKyLApJS!T%FY@< zpPgMSa9Nk9r5`QSsYz`+B`vGP1B}xD-7w@mrC;Hs>}v9qXhd>z4Dg?vROOq1M#~rJ z+MK95Zj}O9vYHBzqVv(C{Xd0(O-Ltp!bCfD(PYt#>DN|QR+~Ye;wvE0&tnu4$Ei{Y zF4k#{kETXJlB=UKf8wZoy@Z$nd(?#9{$GnNliD@$WRBTNa-tVh%9wd1QUK~0+`5Jk$D7h0=g8)KPQ4XM`o_>dmA6u4qCmTt||rV|)p zkXw2U*3o_w4Qd4yif@Oqb#H9cAB!0ksLFISI&r)C_lv*H`o{wHrIf?@$(F|`LNiU$ zlZb9P3xy1@^HDt5{1n{ag(Xyu4d;@d4F&1O%SlpyPPsFa$|;6z7920aX?|!$8y)&; z>tGve`W}`PTxOo~HhQC8k9{dj(uSFwQ%$oxuPd)>nl6Gi5B@D%-RY_Ld?`Vypu2N- z6;1BYVY1 z-(?(Wv}*LsDunlLox5a3ofV1o(q8xqXg54|;uu@O3tmKsmCC(kG5Ir&dK#z3J`|bScZBMjJr%zC08?mag2v~MW}wxyCiJ4)o2AJ zV}zswF}HrpP!>J=DXg^=Mv`uAej_R$X*BMI^^Xf{3YPj4Kbm5an_7bWnEI%i?|j^3 zm7Q4#Q1BTlNR?q#KcUP~*FhIVnt`|T!jf_tVothKzq()pAm6HM8Wdyu$f3`dCQ03z zRt8q44GSQHv$PuJ=8lS7%1?S^b_(b*F+=5`1}ju|-}su8zN_+6<>W+yDzZ)5akr3` zjVKn}f@aTMl;MHFsyRk@UneF}b(b3%rBW3h{wqG+5nD=O1<$10g{zqhV z_QqkSEdZx3WZh7k=3!rP+3nvn*=EwDSQL}C(d#{sTq{s*mt6kyaG!|Ek}ExEi8Qsp zL(r+pK|ZUEYtEjIMrWG!A(YMVhVtj@R6UQ`lEov-YPpTe>x7DW$B)d-JAgXV+Il#` zTV~BHc+4HQN2h6fNAUXUh2+rv5W>4bN{XUeeJjyFl~GZq22fioKK330Gf)@1-ps@B zzc4`~KVupYT^%{(38A;QN~t%HaDxv4LxaU@Gs&GUyR+8On1Of`d&nr5rB`-s_gzSLEZqIPa8t%UFB{=@$a5r*;Hlt-mmg0FLDci`mcQ4^))ZKM_qE!SGMyFNy1DjoGWn ziHZCjK#|F(ci#hHya9mwtF=gYY}fvA2wqANORWQnjoW5M2*rengHlY)J!pp=RRu%f zwy28`Cz;=t+Nykma}8b}C0z)cY#Nyq}?A&)X04ecwsyv$#!oX?qud?~kug zIXB|vy3YwOfin`9q$xX=NSUi(8lRblnRwGsjHall$}FSD=fA*m-;vp66vD;8KS<)*Snxp?>PoUf6jx9-;Db*WU6+-fH_ z2~93I{*fFgakOhA5O5cu%?D5;G>3nR^SiC6dq(gI#qJdE@TR1Upjq(plLgnFjuSqq z-enT$ZXR*5j>XZ2^%ouJfvp8{68I()mMu=luC-$lf!>}}Ic7vQ4QC3xq2nodTfjtE z;Ie>`9@i|+d#nU{mV5KJe54&Ca?DPZF<+uQ%M*&G;>NVFE@)KG0B%Aa&wsu$x&?{n zu+Et~JoSFiZR2L|M?}-YF5i3^RH8ak7D%F?cHqV5OpMGS0%va4$Mx3=b!ScGa3g7K3o zb;_++ycXW>qb+iC6Fa$>nCYaX2a6+asF+>Gk~HyB-CL9JNQ0T9W@mK{(3sCsOeZ_=UlZg2}pfdRks1@9cwoPPLu=i1Y+HuJ)u*Z%nxA! zKb%LbK9QtI7J;0k;Q%K{i!5(2D`EyP`!JRHeS-n-g{$=_D%Lo?P6w>u%izIHRTVLf z-S2>Zu$oOP&Lkj8Z>ouc z%z;-7b7y27#Y>f9MPmXEQYk^(K-e;u)adohph`&irVWE@Hz{_Dd^y6|^D{}0vO9Pr z`atZJT8Fhz?EDiqPNL3?Q{q`D<*kjyZq(WdWYQ7xnvioAP8AKztp945iZu=#A|Zip1=5K>8PhbCka~_yAz)%;+hTf98(sf?mAucGoYz({P zJ^UqDzQ}$EPhCj{8$i$Lc;0cZA=Q7+IbQOdB@IoouP=jwzqy3{YTUzc2$e` zab_^nO4tQLa$PaZxF;9Xy{g@M%rppZnQKfEX=AH8mAZV$IqIyed7f$yUp=1TTlpf= z{ImjHVDRDjPU_$3&|e&0d+s!2Xg%?BJ}md9G;V&T?Bad{^00!h|7h$uIoN z!d;+}Fx`1IH~gTmJv;up-p<3Azn38Kn@VRmfAEK}k3HuRy$lKWVx4TJL`ZF9>Bps= zmKbHJr$Fcwn2>95+;aJ}M|2ZVU~jV4==tY?&2cqswX~_PMa`Fa@PEz3$MF2p*8Ew^ z;<(E;bWjU)Jhi$Ozx+C%UJyl5@nkIkrh3fW+lA~}-yqPZi^dK9*dsBhQ&=?$L;k{3 zYO8>|Y9x)mX*FRmEEF+%ActNs=$O2cWugpjGkLt(lUA%-lkDbadUyV(@!lm=bJh|q zBc(byoUE=tIgK)~1RS6cY2=)jz}54HsWFH@JhakZGQzzMTU07F;aUwu2(YrE!Z!T; z*q8}0qPp`? z)ys=5jiz#XE)G>SUkVH*qo3T|l*pd4MdVY^Qn%x0dX z^i3yg7v`O8*>UWov4iP>y$rfy51<17hg^A482c27HX=Ptt1)D;~M#`h)UH1 zvqn0gg)>r(#^jOuoPZHS@BZuPpfa3wL1qc$Nj+gCYE&M_!=!CizYH5MOj86d>2hPV ziGRAcFgi+ZxSJiM852N@8DIUoZNz~Vj@?5Cd{T4YlS^i_@zEnKrXuyqHjfN&m)2$) z`}`^;O1!Z60k*cvRw~aTzAF!>N-uH~uVY7Se-)^C_ZG;BAxQRmy2Ks~+`Ew5Wvb+M z52z$WXs*dF~>y!VVBrzJBp8itupry`!{w`>>E%Mhi# zi7?7XotPY%l=Rbc9D+`d-cOn}ms`Z^kr1Ufz*vZ5DwIn}%QX_$&PuhFS9&0m1Md>$ z@P729WprcL(iaJ=L%)+M+aiM5M8+Bp+UQv;Js%Osknp%L8p4KQSjE6Y0^z+g_5;YO zaKYArMyd_Z(bzoLHu9|FMUQ1kCct>)30d$I6bm8&@|c*!E&-ePo)HW(Cq!NT1{>B!7EcOQqpGgX~7-tD!64R>#qM@QxDN{(isS=)3O zNMir|7PKEu#BHwGE{GE5$-ixEY^}Y$IEuVIx_oWffGaqNP)k;GjO}-#hT1z$hPkJb zbyWB9CnlyTi1~o8DUQAk32-=OHQLo}5O35*i1c$~#bzSjK$b?+*yV#KJdx43#hucV zxGX}(rVKY(zC zA~FZe6|;Lsud%-FSaAW`g!Wex6HOQ3b=6iU1N@lhWH-Ub7He%HNNu${UHN;(=6PQ@ z>EuMO9iQ#UeAl+k{F0N;%ed)0TTobjwlw8cA}WnXN4q?atZT6<5cQdvc8j13BDUMA z5HY6vs^^dEvY7>PI-sA{M43fINp5yO1tskVU+SkOW~V*M@t$9D(9r?8wu+rVHTe5E zWL&S7sr_JYuN(U@MlkLxlPA>w0vhQv#hVwr{wfC zXhk}92BEytq`|}eBh@chHJ`FOvQi-Q^EesE`z^^nR8Ed!c|PA!FKyiO%aj>kwW*8j+qRltOokJW;U zgM&wa!`K|aY1U%g4Lb!3%M;Gg3){lc3m2UO&;OsJT?X(Z|Am${19(k1X%0zoUS1w? zaYM&iM;R>kW^!MBJkXc@}%>Z;hU=? z-!qM}^`b&ls^S!RNyY;L)f2Y@h6&84Kpx(qSBrlooF0d1l5Pd)t}lZYrfgZ-Z!=i- z@32|T^#ytc)5_hzhxd*t%d6=Z-!6(_=WOthYuPyVbpAAF9PY`_FT-a(*#H0{>!U11MNn&C|HxUGi2>vM>u)=|aW6buo7Y<~V-AeAW zYBItRcNLCULqq|@Pb1=M(9^c7m^|$D1tE+Mq1!Hh`*{Bv1|DuHCR*Ndtdupyxr0h9 zbBx1y;v@6sULtvn;v=2sum#(JFqkQkwECDvLV*kclPU|iKiisEof{I&zM=(ZPg<*_h>PMaxox@Xo#cRg_EhEy4T{8#2n3W3iUb&uGJXY zDeQg9x(Kyb0mEvlObQ$5_Xy|dt4t?_?{C0o#gw^*WC0N{q2EqXHT0)Ky9-Ms8*{Pj zuLdSnXWv0?cqbcq7KV=rt?BfcE9+0PdR~mxx!B9%fd^3W_K*nDGOIzcmZ_+<*n85V zab{;ekZ&u!x6a^j^6s7RO(^2lbfg#w8rgyUeN-YZ_=Y>fM&)&PWR{LItq8o|sSK6T zlx?`Sw%`NGN_G=qGg6lZL;h(ED=e6P!aTQ*{6H~xFmrWtF*mmVFFBgnpt!mjySV*yF}FbB;^O2M;6kCL Km4a86M)@DMQ}(<7 delta 8263 zcmai%V^rn=qr`i%?RK+m^T}=AY}@v~Hg3k|+FYBxxi;IjZM*J!@%?_8^E)$h&U~Kg zA(ZkVl)whiqBS7v$iSD_*=3j~VuVYu2I>v8lMOD_9dFkyP~a`-67c0+?o}T5fnaPz#nRXECR-;V6^2 z{+=I&dp97!Nm17 z9S(-r(_$F_IZ~El8zP6cMu(VRWnr?lAJudr$w1NO!MWt=TE3n?X+pZukmu~6$>rS2 zlw-L4mwRSS^B40Q$gz$GmR%6DiIpw+c$}vk(B%DA10nKC}bg zH#t*;YlIm<>mb|i5;SSY$LOdapYB^Pqb&3}Xp`fhTl!+VBEvO`E3<8Hmnkzg&;OoS zi&Ac-#g+RFV!I(*ItWeg0!75TWwA+lpndv?o=uYOEhoLMA3X!bjUU`SSwGAWqXjJo zEX2^Ss#L|Us;o@oYON*O7I8#H_+_o9B$U-Lt?FjQbRt5=PVveezJ`&< z9t!4sx?LGG+`8Qz%>lVjDFTKe1owd~tQ3IAaHDm0sO>=wD-uGqBko#1U(yFpWBxK* z^?ltX4Xdvb?JQxQ?{qR_O|H+YbvSJi(M!hBpQfG}1eG zNwK@Fg_yz5J*YJ+uu@a9NvU!P#m=-pvG@hIz)oh)x8y#16(8Q@QRzqQf5Uyu7|oOQ zFmXrETE4Y%mv)Ye(2Ayrt>)``JZ zp_s1QwSpwPOfVG$;7IG@~B#B(r=fw-+mprJd=#A|sBc`450Z5Si;maj3S0aW5={w|R@EImh#%o$R!k1Ky2dPSr`C}ZF|eaRpy~DV7ueB zIj*1a)kk_j_@@qyn@yQk?Zqjkv$8?w1MHnx9`@pE-bhi|ES5B^CDGS~{;N(eG=ni` zvc0)?Vt#R7zbTGPHm^$tROKY($okoZ>ZBjNj6dj*koT@tb58($H8A$is*G?Cbpd! z9Gs(Zxfvszd@1zB-*2sM7koGd2-sbGTniW{k}`rx-Dx3mON?CJU-C7W=D)3TCVzMBr>6uQSE{k$g7}8L?t+@W?3nh%-YXIeC>ZB8h31E1}c4=m#5EIp^ z_<*ldYpH`$ZC-Ak@d#oIw=Dd+5st#|HLHo9d` z75-Zhdw%$uwWr8|JM1nUL{n{q8k!CP9>tZ??upUGpAkqDD-g$w*{hQeUPQle$$7U? zUaShEf8YA?vgkmG1}Lr+Wao(m2$B&b4O<`*;3~}qM7CaUDHTnkz#nLyOYyA6I5!Ys zJq>{Tgrauu2K+lgq3_s<`YFm4PTPfRF#_6q6FFR+v)x!L4|~v>=u?58*6xG3zZYho zT-yn?1WO3WGPh&jw^s2b*u`=BXgA*i9=~{~*Im!UR5li8NHs~TRb%k{G9b{xSMVk&BHNDY4^UN&)WbHR%fsC1rrEpQX z3Q++tAtpp)z;>8ufiAKPvN6r-%koN-7ED}OYShaJiTF{nB)V9$4msyU^7rpnG$iNz zVORU-6;sifdPmO*@xNtHG*rIiwf*v_QWwvznnPBZktc{e+2nu`O!bj@D_5U#o0>BJiW2sa4A8yuV>;vSx(M3WoqA7RPsC;O7fdz>z zzcFQ97T}-TVDip*m`RxaH{A2GNh`VhfUI(rE_dQsJ?&BGGCso;4+$-t9B=DCZ9e_h zE&21hftm;C$zzaKDY12erg4oimB8=HN2UScWOO(U1t*dhqZP!}E*7cg`4>LXKZQ_3 z^<+$8OVUNob(enn(cUDQY%VrYuc6PjCHzX`<-3;zfEceRoy0fn+X~WhBTE zb-+BMuaA;0L4}u3bgZ_*r<`C-Z810L5XJd7r2V8qkIQzO>_N{Q6AAnN?=h=KsZ!&Cx{2^MaPcIo$_J500>#I=q!~*sK;H%#Z(Q^!uML&okdH5Yvq|GlW=tf}MbT>%oDf@TC;$`^ zg-Mdd72t#s(S*FcXywZuM^Mu*TT0z^B6|>y&*b}5_pxWQpM;xXUvrDGqAgN=Gqwn# zPoN7(jW0BmcV5f}8dOFq$7QCDM@4bC+0q~RhL9Dl%5eoA>&dXt$-T8C@8d^`MO?r` zG=FEKw;8rwsB$3{5lCJN)GQEwBD3t3f4wA2i%33 zDuwy?#p=I&niYSoQ>N<#wBo!lxd*fDF>xjZMWu$)k&AQhrS@5?QT56*XDq6s-7<$G zxLunj{h3rek2p?I(Ye5tiDkx(V%yU}Ma*JXu3z`6s{hg}|{yKi<|% zX2a^Q<(KNlq>H!`Mk@zQH4FFBT$z5g*J6qN*RZj+VzP}wT| z2`Y$lIC9m5@--oZLu5y3Rb@LKZB^x)n^gl1aNt9ra{OtGPf2zmQd4!0Y;l72QRRu< zpHk`-uTt<8-G(GNl!-qKv5L`MlR#30l@j&A(AF!ggB&xOSS7T{vIT~;oe3wmBm$(d zlwTy>Y`+%&P&myzHsNj&J0@#eBgO2tOpqZWE6AaKp%XPrkl@pY@>wd}Fucoq^__R5 zp|sL+lJ3okRb*&Cl01 zhKT4ho0R(?>rY}Zkwut}8{CVtr<>q~KyvIn$x47Lnqbg6*P_p->`BrQ`-LeM=_6EL zxF9!eZ_ZaM8zAmXY!WOIi^D%hPhaKmW1YzKR%~B9wo`-jhdW0dQuw~KU_ z;4Pf=oLM`9`Y5o9(Endck~R zzbEw4DmI-TL zLh{LEoxST;w3L*yxq!u(12IER29AD312++9Y0O7em4H8<_?M6hmVCXdtz8Kj`5f81 z!z3e0=Tlqx>Z{({9auz{e1&z2%d3%on=X%&NpWD7oN>tegPjc##`r=z+WOVafT19; znVspv5BNS8C|b}~@f($ItgxrvYuP)Rmhd|@)IzyPW2b2CRIZrcLdC!qQjnRRe!-C! zOz*pIfVDLPv|OD7%LL7S!Og4m=Z$acN7wPKtqFgc*K^m*OAxnLc^mW-(9)*sJ=+2 z*Y-L2G-RE!FqP2kDRAsHriZcn;h0j!85qkbu_HGwyHjQMn9D^v8Vo`FKK;VVoNk5i zDKQW`&cFJ5D%gp2GTeaHTsV5N{4P#MRp*=drjMl24#Lo6hV5`ZEXR18Y2|$@2*X9p zd*yNq=+m*e&ODwSAk!SZ6ij9C1rb7j99qAo%KC!zL0qZb)*x))T-W|P5g+EqMD^6* zxVmJ)LffA?joM}N)XIIZn8PL2b}$=M8ots5aozUj<}8Qla!9}P4w;jBCN{;S)=9wJ zI)xC^up(_j2$`5%2<_08IHp-BH4`no{WT?G0rqeB;7A>$^5`i=Ez_n3ya}tkB&Uts z4EXMXj0k#oQ^^~k8Ht=~O{_H%AqFNvqX$eQ2_H8APjb^b2PJ@g~shE5s6M z1)dH@10=R2g&p=vZk@tENKsUH|EV63iJQl$^}ir=I4$V+2}nG80h;LV(Cs}>A&Gfn zvdTTI6QY3w_qi)hLZW};4?)WXn##t((*7EiF;~i^jIHGh=4VDuli^nVExXP7Ku?+-^e21ZKI$Y`Kcb_BXFl=tuchYAj3=- z_#Rm!^Yv2WqLw$yFum`kQo z(p$f7TJmTli{+>ib&H29pMGf1nq+NnDx2X%{adj>LB(r6s8Oz}gTa%DZ`a&KBj#{&V`Lex zOn8ia!hy(v%(IyubMs2Cyf2T|L%NaI;#qI^e*9Gx8!p&Y&rl<&HEWJzjMsj=*F{5L zDV*we+QV>wH$UNEGPHR=(RhbXCba|0j9&cl@{1#P>z$Y64&BfLQEx&&6WJj0dxRT|^}K5GAt={k0e z>*wOHDsFYXYIRe!g!6aF`#K*``F_T^!4ew@e7U&Z^u%+25BRH(J@3ZLpFDrp9_Tpl z`j&pkPw7+D9y4h)zq+AEQmKGx2e~jcbE76NrxOo>jxtQS!?68ZqX3q%(BJL@r)0KU zy8}VFq$o^RpR|;1S9$=!15ftHfj`s4t%|?1KY94Px=IHNO=`sbu#q5e3RM!7NTAL> zLu4_iLRgYRs(4xml8)3-wc@2elM{McKb9fdzGeTx{6pZI%h+*4AAT@fAPPYz?v^=M z=I~2?1v7yq+Cx2=>>kFLY7t1fkuC4^F67I2HRn;qPvTv)Ku9l$d2YHP{H_-i62(z5 zp%-PyV|A`{E(4OduzfQ?VF|xvt^S2M{w+s5k;( zKRLLtg4SQNH)q~R?z#;2N@)al@W{)x64X&L9y7c1JP}qCEcVF2jIppj%9)8<09*4) z@h`v0<_1(0RH!gxHprt0o}7Azc56XN`&io;R?bL6O9OINb}}aOedv##TaJIYDfVGBQ6GptzgqE#2o)yE~+X$$$1hE(zW&LO!^# zhPDJ)zn7|CUhZe}W^M{3w);FvOcBIM445o9;pZ+7H}iA?JZ`pZ;KF}KI;2{26(1%N zF(Fy1H#bMK!-dEj(*2{4Gq;H>GwP5*p*$T0a3L-25ZBefXNjrTkRURqsh6FL5HX7e z)y0Ct`5P|hnc0kI>U=9)fNwtrrc=)SZ`RM-?fOfW)(22crz39 zsdWgjP6T#P??924`+ z7Qx+gM|NkK6FTLE-A*IhNY6S zOYi0l3zILR!m>#bEM?79!JX+QNV&*yuTB8Z#Czb^k{=Ti!>@Z+Y|aorfLY7it#H`E z(@g4{fY$Ck2fSFA%Y_%$<$u=R?&`5k^WytGA!N}!54V-6-Ls~_Ju=2aTnPL*E@UXt z#-_@EIi!0B&_}N{A?LRsqaQ3hrU2% z+l-reiIS(wou1<2gon#nyFSgJn@_94_3j2N86`zKh=BHA1gXE*qS{`83BsFd$)OuLIUlBU6Pg;+;{^SX7O#Gc{!P?I+?=}%Q zd5yV0Kybco^!8zL_-Cm%aP7>OIK{F+);rYr&*!fNy5C{oi-|1L{fi0<)Oldfk2M>W zmw+8j!a7aMtII74VQTt2L~$Z=E@sv!CW&J%bZ#D=*(o&n4Dl#USOOzAOq z`|-wLX`pX4;VKlI>F)v`6VILhIxV|2&+jb9Aw1_!^Y3bt&(~_#jFX6B9NLa|?DRRxUnPCeHsBV{;20CSzV+GgEV84n7lZ(gh>Ve|B8Mp**he0YML<=0WfPT zKdJI%@Y?mGi@CKKR}L@a*EdN#$q^l6yD#(6I}k%>R0cez%)8Mc%ai+C7_p_g2~X8KowV^oq5@U^PMTw& z%UUE$w%Bn-lig}p@6?VC^zfpfHE(;RL8!1|P*A>Q{^284ko=+W)`vpv`1DNvg^#>2j7LAS)iMHwUP^{Q&Yo*GkOix)S3R67il zpT0h=sKY43j~c^N{9v@F)o(kI50+}e^Gqemh2{p+{pzN^5{FUi#a%+=QbthJWBZupxvaQ^ybmZNsE_T=!>rvdqq-w|%a92eW#79aJ0-quS6vh^8_xIZ z;o~y(?~GtL-zQtWGF5Hj@wkH?C~x_@qL93I7?T7pejb$U%pf@P!Q=nMo$AM0jGc`P zT~Uf6YCGbQNwv%$jr7#dZ_{oUp%&(fnB+VXq3E14+Cq0Mkbbkn2-Y4}Bk4o`_F;_; z)Za^zt*eQbft7wboi9hRk{`50$Ya#nxA&!zZ)eFYmfvD-Mn;E|-)0W^kji;ReQ|#n vi3~CP^sfe=`po-EDqsm>H2UXvF22DXmqY-mux3!C2)w+AR8*2mQi%TrqZ-&r