From 6edc93d21578c7296ebd166c206bbeea46f59159 Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Thu, 24 Aug 2023 19:01:10 +0200 Subject: [PATCH] Use a step_array --- plots/solutions1.png | Bin 16617 -> 16539 bytes plots/solutions2.png | Bin 14742 -> 14690 bytes plots/solutions3.png | Bin 16947 -> 16423 bytes solve.jl | 5 +++-- 4 files changed, 3 insertions(+), 2 deletions(-) diff --git a/plots/solutions1.png b/plots/solutions1.png index bbea94502fc4248e0de9f4905e773a8defef840e..ee6368be858d30bfbfd94a040059dcd94a6f1a1c 100644 GIT binary patch literal 16539 zcma)kby(D2(C;otD2)OF(ug3Xw6ugENJuv*ARW>nvM5MNm$V>ABS`lu3eq7ZEl8(? zAbDr~z3=_+KF?ivboaaG%sFS~oS8W@pCMFTRe|Ud%_Rf^L3CeHP6L6!(nBDS(fC;K zErEN@kdi7Y%<8B}Sve-%|{lUakRQ<-` zi;l1SFng}{JNcPvr6fv+VP#WW&Md#L{wdtmNU*At8G-|IdHbRg{#K^VBlw>FBsc z@yWnh)o~zlKw7O*a|3kuozM;ZbIZrb+ofpK11siHXU6NlG^GPA@RFC_n!y z|C8>yui+7|U&~oBF=s1KhY`O$Za!Kq+TPy27eP~EShKmJOw1rDe*OB_@o^fo*jD5B zMsL@u3q$G@6cn#sot&K*dVBx;AXyYa=do;;gJ+CMS(ny;6$H%KE#zAF#!R5@(a`?Cxfs zotEjdbs?XuD3G14HDu{tx^ziSq2Gr~#%5!>NlZ{skewZ0T1Q96($ezrrd~zwM{``uf8>(#*pjEy>7-uY{}ny;n^) z(AVb>#aUq!o6T4zlrspE&zB@7CeCJw?tKi6u6l}GUcnM$G<3sd=KjjeI*3y(O^@c@ zk`qK@KDjS+&jEBL;Sbk_^XD4Aj+&7dn`6wR>D=m*pD!}%!rJavg68K$Hz z`8+SCcM4IFAtCA$Zhxc`$Jtm0nYd(1JU7OxQiYwKAN~x^e%UW2Coi8a>1U8Gzl;`? z$)zSq+W(+wwfy$(4b?PK zy0DDY%i+-9>nN~U%;lG2=H?V_VuA`g$8X%tg~iR8#=2JCme;Ab9{owXBS`Nt-RSMP zIf*ngH~(I4-rg2LE477x`G)G=!2yGqhdt2~H6^7>BqS|Q=iA~a71h+#l$Gtq${r2p zwFZ-H^=Gx(eQ45oStk(863rxv9V0YHlVzf;qT*NOy0r55udlL_37!G=2drI+FsZJt zQ7*mh*3UtL^xg}d2_Q#FNy$5R?l_EBhDJs{pT_L9@bGXup$3_(Z=F8lXCGyQi6x$0 ze1XKq6=#>u0CO6%`fOSXlJp z`Xw)3ynw^-wY^^aE>+0k5~G-y?`Wy< z&!0azbxQ>V1g_nF99U7ok4j5RgORV_xFIGccCb9q+Sm8tiBtR~?F}|JD!P}74bBnj zA5N<+yUGR!ZCi%ur1gIkXy%zbOZ@!#bD>a4e!ka2g09EL_`=Fc9ndMXy-;S+L7uCz zvbNUn{PZZ#DRX_IW-Ija4J>SIOTHfi?-YDELB>nzp3~2d9qjDZ;M*kA z=lWUdh~=^J`Gu||Y;5eV&Q8?~@xL#&VwFU&J>{(!2StrohU^NGlO@#-W0A8C7V&9m zM)RNEWoP$hN-;1n_|JU_b(p9|>eV==hlX~HSJ@#6LESMjGP1F~fB5bm!IslYIzEe# zckj$SJgS?T{Hn||B>j#Kf6v2&{I|Q;e^i+IpYA8~TVZYg{!K0Q{G?@bwc_JPThO%{ z8iUIN?->3LLZe_}Is?I!q@>Y?t!6Q=Z8OB*zkdm+c-&lFi;9bjjT`? zTjlaiDNXby7uf@1*u#{%H5>i13V)VVT^)&!4l~UK;A@js5sRef8>4foA*Y zC>8ogg_YBE;}6&Z#B`!=t3xZG5OqJ8;DA74QU6|LWo5CkvGMWoHzMwM@B9M3x^0ZR z|NI=J?MupQ+B^vxwD3coV z(IVP0qfUPCUh5_j=q!zt7&iGHnAE$i%yTBmI7dY1)OBVWlr5fi$sv&pN$F6kz)O>L~hWvGS=4C zacnAKVPU1FEzehn3f`-vjsQvhiYL9jy?n{VaCp^d@){c(9jEGfoAzQs$`~WPl9!3~ zhR;$790*z=`{m{3s|*aLRs1`TH1kyH1Z{_Q7P|OBHC=3cb+0Ch-Z?+mTC;$_0C zx88bgO@nXJw_i8|r+Xk8`JVzSsgBdy|WMhiKb{}sTr6pP#nv~>ZiP%5T3I_)VPIFCFRf&&Af!1`rd(qpsZ$S-fW9yWNiHeHqa62#c zrUwQF_V=sjYS@^WZJSNlJbLuV+qy_<^%-cAcT=aiD!DxpEoBY47c$7q20#bPE~q8WY%}+ zxO}mhmKS7x)H^ojwK!_pa{e=~C%>j3*N;uZS?SvKq}(V;JCAmai+r56xg8Nn{$N<3St0 z)o>$Z-uMhY4Bb7HU^F-QFdpC-tX$EZt;YBgLEuYh8U=`D^OM?8fk&fS&;yRh(wBGl zsxpjtq(P8$1h_~|pFhjEy1JI|$S~O=)#{@~ z$+W|d@k8ChXrpg}gYe%3DVYX#G2T}EIGS!Y)YFYMyB${M7Di^)*Fa7#K?0L4{W9mEea_hhdx^RC9wWCY?B=9o98v#&552KOxI6<7gXD9pwn!jRGTKv6`q!{lCJ zru~tWQ3r%O>ca;s z*t8=~BZn23|GVEfPB+$pe-ci`o06J(usPLW)t8ZdIcC}h*-eFM^fW@<1r%skclY{C zi$Aw}T_k0K(j`u23G*Xfh62@-K%n_}EG95h`633s~!MUUr zcDyEN8;=&xkpkuDQ)5Tv^>=5<+q)Vatx)6cz2L-=Qi-y5!&8Lfbp6&KYot~Z+ z8NUTDB{w&hhldAowwrlgIkF`+5gr!S-Q8`$m%Pll`d0m>#;#`EZtT{T>5iMdojkq0 zJRQB9J)AdrvDDQ~)D28-CUtSY=6X%|8ahOTMx+;{zf6`LZtdyp>1ylh99xZfgjZ=- zBf$2)S1NOTe*NTY0Je#ViS1F#eNdBVP^fN~R32(+{aRn=5)Ja0fB#T0G$LZ-dtM)S zQ<+0A5VoVGbTl+aotz&K*5j208Rz+37JP7A)44u>-uc|JdFIY^`uXc#coIL)jbE%e zzj8(NMZACb41X+Mu-;sT->r2gJ6k(P3u1KVSYdHa_vEB_3s+0_$7~J#WX;$(?f3-k zGlEJTVG$zM<2JKEi!6(>fZ-*AFNDU-aP*uEahMO z=6U(&*x<1gOl+%$sM1m}?e$-P-5}Pw>`Kotmj{nW2`sa&&449JiXweGek0 z@a9Pjs12)jtcM4i7IMn&6Q$97vvf&NTe8^vWwANbT|)ih{Q08AVMon`=XhfJ5)z?~ z&{TO%CnE8c7sqd2o|M%_U{Ntu|CAaSV0lVoUUsN3)hg~awb*rcPTE-1C8DJd&cZ}>wt z{jItDZ0;yu`Qbv?&RM{z@8N;<;>ZJSyXSo$ZT2|e*5cyoYP>qKFDTSZ^o#2KR(N#&AEx4qXf5XQyPgCt+W=P83`^^J3 zu|I9)O&_*4G+Ux{1QdkL6x{oc$NqNPN^!0<NZAID&tR5Y%&8J4x+#2jOZjlHuJ#$EA zt4g(BulfBY|8mW)6CM}-8+SLIVL`_bHwZ&5o3bvl5l`_|ZuR-$;gLl8iT$aX9j$!K zxg58Llbz{s-&AZS_XCdv|Iq^(RT=aPRIXK$j+TxhZKUD_FkzRcIO~L;j~>2PPQ?|) zGokf&aGM{{NW=f|j!z`$wC7HFM$ zowef<&}!Y}oNxQ;*T0I*FUvoWr6r5I=d+mb882nT(Z_l0(+8Gj`s0bQ=TZmCy~>HK z*Zwh2!MLaXsB={}F-?DGVs?ho!+6g8DKDXK0eyfKh z+qi!kw?&YV$aV#Kr`3_ljzP9##|_Q9e9TqmWU(dvZ>GY`Y!={eXrm&t}(KYx3?_O>LkEirrEI`AOi12U*Ec;n}c z`7Wv_CY43lbh>!8JXGtoyy6jagGfWG8r{kI>Bt{_I}0;b(a87K1hrU(tXJzI6jEQd z6045$+kCB~ASYDI;e&+`tOTt%Jh%To-Ec}W^}PS5a@$b1KT02^@gnAB+RHyAQ&RI$ z)KVvZUtVavT!8D(61~~Q)oI^Se+qXH(^vi+qTy^l6!{mbmHE9Sf_;KtF&zCltWoae ziFtyXO$E*rU6N_yjJxq@22vugCY?t#{8cQ{6v@yyMlqW4d1B-k-H&Zbf9BGfOElOm zy(a@)>gv2=dHQ^FG{+Ncb(u{zN(tUGlQJxqKty-F=1Yse$=yK)j;uOsM+7 z!|M72TY9=(E|~y)=|SZnAy2#J(!P2)nBiTo<6P*oms(9pb5a-6(>&QWy8BN37n8~R zHkHkoq8S&ifHj(NJAAL873F*VASW$&`A!-BeLT7lsawa(>&pQH;&x|sURZIca`HYt z0XJ*4^9*buB6W7{=k!t!RiNo8XsYJ3uC<4!*^LfO@>TabGH)P5rcE!G2eO z_g+byWPtw>S*$8YDf?zcdEbzbrs;1Vc{j=u3&P?HZP+Usz064+qkr^|l_z;0CS_x0 zkqo5sUXM%O9J=miRPi+XrFHotT78x-)T&&#B8r|=;_2uYWl!Gw;uHfdW@NFOdY(_G zg2bqvFSiwWH|0}Hi!<&YU!5c0Q3-Z>b;6gU_3-9zEjcxCg6U#nllW}`u zYWH3^q&~bB662Nqlb7hjlKNJhY^EYi_&ZF13N&D_1Dz0uy++))ik#H|SucHc*!$a3T(knrwhjtQz346bfun&&2&55j!j3;pT5h_vBmZcSV60DSgp|Y zPfU#Xo^|}yP?galqGYluSMxuwG;DJ0nMw&K&OTnn8bCWs555#za?d!}FaNN0WirNv zJX@h0|GweZr7!1hKl7+Rbd%D_nF`Jsh?Yx3k{Au-k7`zhM^*nZAg1 zhFC;0DDgL!6l@%G&t!TyrwFuO#;o1IrgNGjv*{!`C?;r`@#q_Y2-Z4Y8$#pS+?}ky zfdng5k=GgG%wrGOWE$mWCdg`Gy3#g8p9&QN>Oq??2e9R0@Zm#Q?<~?>>tH0BgGcy>$^%8>N(4d z7pQNM9a4BPydjJ)aI}!cZtZv!*CKINvigeEhZ$I!tgr9{R&T*2Oi34bHgYWlNgnY2 zW|PBraFoF5rAeaBt7rPRNgQIMC-BmthNGGa!ru3Z!Fhwh0LHF-*9v zALKRbel`2IuN^+_tq*2p$(Fn>f!4N!xV_jHrAfDoZsK11?$zCTS_{ZU2TO}MFXAXvxJ7J-!f8sk{Y)l-1U|Hla2lS{ozRL1 zlEQ@LFF2E3CEmlrMF^Xk<=<9m=(MukKiQ6ry^!?+fDUB_o^{s73Sz z#@u`JfxbaWTJdR$ce3W5$&r9A@KF4Azc%`L7Wi%hcbD(zAuaPs9-1W~8%!)`uIic22yrjf?h(B1JR?q)}K)@r=C}dB# z#k?X6JPytee;D&gJk%uo2a*B129*JeLu{KeE>WB4O%!@WyY_F=He8QVJPL!YGdnn? zT$fu{GG!P}EW_JLc=h5JFnkp#l3Q0q@UX46M~_ z_J%Za5ARvP0m@H$_%2`isi>&NIa2=rWFAHf+Ga+Z}LmcM|k~l^v zN$D8VB~$%CR?JDRmk>U1`?JO+ic?_7zJ1&ITJ6O>oLD2;wxnP6GYx{5#_TQP*+l7A z$T4lPYl!6z!g&bh?jnZhVbX+~1~MjV79o+>gAu#krP zc{hmQni1i_{P#<0#PpT)7XmK=y5A-nR>X1KFfBOk)TE3t*6$0*=48HY)lJce@Oez$jNNW>hdqtrFH8 zsz~};8AUCw1y(bPL7i$F=NZBYeR)=UdLNFH!05v3u4a$s#`y~pr0e93D<4#NB_r`> zk#0WA$;`8DrwW9mM3Yz=NL}>h?fUa=#3Yggz4ui%x(%${Vwg(Q!YZQ#*O%)SN1s+S zUfUA~BBGwvXd^nLv7+%=5&nq#(tOcadf4s=VKiMnQ7yKkH1}H}Pib55Eo@4`VB$1f z2v@yJlanFaRC!YQc}Ip*ui%lWESfg|&t$qABaR|YEK0ykD*DnSQX_y5P2`MY6kvej zpT!kHs!DUCFGkU=%4UNKas6u9R<&z;Llnn`wC=&C)t2Y{G?A{aZuxy91l8N8?xr`f z22o-V{1bAf62Y>V^k>7qg=K`WLjQh#R}>kEYL#Nh5dw$J2yX9w>(Au!7<=X%meSv( zj?tv}dKBE5#XFSn4iKLuj=pH&PJLDMf3X0FWNFc8+%H(k(v;Ce7FcztQ*#nA^yV2} zHHzB|?`o&Ts-D=04G>mW%H_K)Jn+3u(~WeHYr1+m)H^g=vys#eO_P5xWO+sUj8 z*fjPgvIfPEmSDvDhTKHbsXTbDrRkgw%8bapX1O%CJQsf9pzAl__CJfXyq71uIL_77Kd>&&u1SN?QOx|qTavY-Y2c>x^d8p+Z z%Y+KxZYQASaliUq-Mi&0IZvZNG771xcN-h#czp6G$-378P2K86-~Z3#xGt%IwxQn+fVgEdD6b4-Yz zG^7@V37YiW5E1*SJB--KKfgy0eQ>D;c zTLC7*A+C4tWxRo*0v=u-cJ%?n9~7M#-ty1u0+S_EnmZa-l!A=dsM3Q36rZU!CPl#E z$+2Cg{6paL0y}jmW^^j6FVc;x1KF7Y>faM1$P3a&F% zErA6hDF9m}|x5ze79R;l}p#s??NIIN!0q zd+>1a$pV`w{>l}~tm$&ZDwccZ_V6`E3Pr5gfGe|%(S)oB8x+edju-Ycs_!(ImT@Yy z2keem=~lG8*P!ImRvL->MG82t;H{ozty&MG+cR_#Hquz6B$HUgSe&R-w8UE;P^8Fx z6do+DXuQAd{X2NZ*qH=dP4XLm7#AX<$pt)gy4`~68~6o6FUTZ4%SYG zHkIZey%dOGl4d6*6rWddOQ{nSOLiG-0`rHM_1gK(!JP-bMg1#z#X?>8-nQ0upC9&b6Wk{?>3zs(>N5MpK^~AU1o2a{J6EM+tN! z-VH{qklJ&bi=+f;IFC`+!Tw*d#;rscV3W*LlqV<@g*LEVQhboIWIZ^LxXDdq(Rhos z01WwsTR17mo=txPL>f{RxrQo7are_$J6eyCS!*O#SSmGqM`FJJYISMxKXgBb# zgp`3B>3KEtZ?1r(01}jgG;SG@HS&ZhsV1glwM&J|PVngF->X})cl}vU2HM{BwD2nI zrGd|)Zz0XNO<9&*DWF|&LSa2Ov9d(lu!iJDQKR*xIYe0tO#j#8YwTn%pog<&z_?v! zYBf*Wu!Y4RU}T0ri`$5^j(t1u zMZ{Ay8Jg-1@etNMtcI}=AG5w53Aj#%0=GlKT~uX@bKhC3T;%Mcz_iHW|FOvpQv9qJolX-p^%QtIj#^QX@8AlZRCz^-evTy<7EQTNKEy-ft zFpeTv0*8c7g=Uov)ZEEQUSlEU_QhyK1?xxmvmbwPf|dUbzugv;M4zJ z?cgtT(*DrcwWsHpnC_^U1(6=miY7tVNMCi9dy&Q(Gl5g%uXgBX)-OG9S25{#{=-2x zSDoTz28Q$Y5<_Db7o~vAjg5%b&pOXfe(y$prxziTL&^rI&)T6)!)kLhl>2xh2qP=` zs>$gB-KaHnt8(km3CNintqn%f_Qln}$*wV~;Gf;y7P_Lw!P1yd~<#eRJtb zfjCb=q)fr#@5!ilG!dBokoc>Vh4i{qI=|K8=)^hTN}Uo)EaL;I z+wu0nF&79pFl?TyFR-K{IRgTum1k2r74ocH`4)a9SMr;uMuMu}!vT&B8mdg!XZW2; zH?l5CK0`da6u65U{Nlk6G0P{%$wqXnRdAox;p4lN^1Jgj$$@|VvvsAMo3{xMk;{aQ z%lE_g(yEPq#OkKBhlj_CVnQWEgxB!RT1{zLXTVBxSlO>e+X`P=X#T?3{Z{{6XK~V3LsCv`>UOdes8M?H>HAY)dF#i z@G3W_AD{ACU$^q-q-Il-;_P8*Jqx)h!FHW@VPbxU2NO;t9TWrJJ3_#3F^@nhy~Wj} zo?{$)7quy!?dD2)>(OYSXG-(D)z%H*C>?NA*ot6DpRD5Exu`)_{5IuY4BA(kiqWwC z&fY{Kr(vmu$>01Q1-J-Fg5NMgOD{UvHnh0*&Qw{n%U4?148izlX0_;b_Uor&?c8hS z-Exl1q68}}KvyF9L3QD1;g*`;xz%`Ptm>Yi8A7pER>L&n)M34>|53@LAx2PeJ+DXi zbUHk$32Ln-|Lj=76wY7@k;{fHPOSz+xwV_) zt!V*OXlF*1L7TmM&s0woj-?Eye5=YQ^}wSr1t!oDH1JG95}|i(FatS5d=;AzhqW#z zLXtx>zKQa59AcC&(_hM4F*U)xaq5wsZA1A?+atqZdC|elE(cxv5_fdbrOz`3X$X+5F*fNbJ(a>lsKJYIcv(#}BYNUI_h{wGU&=RM?V=^IgEVgcN@DVO z;xXg-*Tju7+aE5hJa&sCT!l_r=PIY>j_ry9K~nv+Z@34R>tzbGBG262AP{-fytcqs zw=5!e4j2hKs!h7){E2MccP0@Ky0#AM3t$Ma2)#G@Tq)OOvh?X_MX6KxWLuYQ94?4^ zb4|0QPnfQGrR;sHDYgIo+s&NYY`2udvZ_qA3ECzjVNt=!S;;_q_|_FVlp>u8!Sf#J zC#2N`|e4G z^o?1CVdBE{*xlHPld<;!nlG#TMrf$7hDOTn@q%bQK`o0PwGB`#=|F6}P%Epm>vJPE z7lO6%bAgaZtXt049m-ajVD9C5v~=6dtsI;~2c@HLT_bCU-{wJsaO+k+=v2`dF5^bp z&7ulleU}02LRV&k$=YyngpI+)PaBVi%F1^Z_$viSC(E22?gomwwil<^w zEShZetk{Th0A}^QmYm<3#`ViDuU3dOO*<5+xX-Ecbcr?DGhh(tAHOH;*%|GW}*_n?v&sw*lv{9Ev zcmz%EJ-qjUsOije)&DqnlVQeQd`nOb;NprG5H86lFvWG6k9LbO$uHmGSzWOl^2(<~ zF*(Zw{S+8{-<2vu6@+^SFP+X+=wDtgI|V>5r!8$&G?{d+BR%8XhrzSMR63(xAAZ`Q z0zEHKa^K;tgS<(f|M^K$K+7}gv+I3VSREj|e}u;`Tj3=3tYNn*oj{e>x~9Z1tX|0f6rDW7zho~LID^&;$9U^I*t2kRrILn$$Vw}3zZWeF)g>AGAt%YwkOCPV+{-jX?_5cIZIo+xxjQeSp$nDv0PGEN>7~54GBm(x9mbvdCG3Tl&Rs*)cDeI)0S|1a|d^i-;wevmMWTK|5qG3CWl2L+sDmt zlzUR_q_dXuPW89t zl)yqRcBQuJ1V+H#_ifq~W}AF7_KevRFV+zxC6Nh%RKcdvG~cx}jRO1nVw;-%scO@y zQgt2I5NlntyrbP=Ee*%PJ=yOP=WBJddoRu_kJKi`p1z}v5)u@kNDo(Zf$V>ZbB#wP zDDXkw``B1`-IAgcb{V5qE&d*mv1#q9L}&<{)xWz=aed(Fz=wNHoL#7BrEi1!rIY-N0cfC!6no2^~;xHz4AE-2mtUFpxiY4 zPhJNg&qqcC;X=48+IL*~-7|QOMBX^;XmwlHq}l{x#K(tjM&)aRrB!QueEcs>d~9}f zO#xnfu{$|2vwCSUV@lYAq1OFvsqECz!X6*|IULzxccZ)#L)zzQk@StLCJQdAl#E{WLz#p-|z_7De7DHKui$ zMOQ9#H5{zw_G-a_ZjX(mQ;n#XD7R34=M$xILJJ zf&TX6FMxDf8!7-y_Q}Z!)GzI?7Jb0V*UXD7FE`2jYHwy{=IB^DEPtrcmDv9HF|O9x zyr^9s5s{R`;IB_kJifHYY}OhZU9L(l@#-MEM2=3lvT<{9A;#W}U;RedP1v({LMU~% zdV}IISs~!KW`4E?XMRLOg~QRoR?DN-R{%7Zvb@d0!eV7*1;qv0c&xYEo^Rhhh@f4| z%hNp-)IxUO5_TGBYG`UYt!SJa8KOj`7to=ewLSx)vG`H*Nk$JIJOJ3WZmChhQmW{_ zI+Tw1i#nSrwZ2kGOK)hX74UH3^FEkzO5y?K5ONk^7Z{rgQUdh#!KS}ywGfurgq~QY@9zEL$dRK7kxGm;Z15=AVY0s~F*GoK)L0{I7_G?v`$n9i zi#vja(F8D@g&6cCU5edq)5TCXux*NT0A`^H2bd=@2Bn$;mMe!i0;TuX2paofaGP{o z0itLM0A4OX1$?HU&4n*eKqVIi3b5cJe9aHoqoEu!XH|fK{%fxy6QBoS23#@;43?FR z7rlm3%s^p) zuup;DPmWG63hNss-OCVqz#SE&GC0d(CJja~$I(4t4Kpk@ba$VpVT!p2*xv#Sf8Jpz z^w5R?c=Ug|k-*cqe@}^O@velz^t3UPWy2N^xBzU*zXabS{=*6vLRg+09S-BuK+>2M zF^V55fPohycmcNx2^R8;P{_sH19p@gjjaeE){sIVd?6pl0&5}LoRkdc%6vmoF{*$t zu%O=+Pey&1GUjc(sB{=0bOC)8!;V=qhDIxqA_dR@zm^<>)CS*N?lI64xB%^6kBj@g zP~?Y?U-F42k?|Pv@R;y2`r1F1K-m|1BO)Up6eL9~HSp(xG<0i)b1MLPf( z7cK^@uQ{W6{^x6m^)jnq25bw$tP*(1N(f{x!#IJ!LK`ehPhx3ebtZreXMh+lnj^-L z$uRl~1e0PERi!boXCFxGvBvT{>%!tBz@H%x1!7Lj zV)iBL4d`zTOOLr$7Zt52fT0#Co%nyLVMCjL4~Zug6j`CjQjwKkn)pgsEr5eIo%6*eSDc z@2jdd`yE#=UrAxUc@t`E9=cs}_evD}JY1wZQ|GEcXH)qJ(i9&n>hAn?k~-Ozy?Zxc z`O0{Nd_G%pa5SjO6qNTU!An_rcW0-#q@;*$394EFR*n1bRa#o= zQfG9uo>Ej)1d~>`GP}7@drFfzCJ!-P_0^fkG%vc$@)?Ri&p2M zFbm+@l-vgEQw_TIH<>YdAYbyl-X=aIWGE{2-f(+&cX4*MjN2tljV)m9$zn|AS1!xR z<&4(aXt_?+xmq3n*#Hf`dvE}$u&cQmf0r`-H)mR;pqPlA-FkcWlaJS>PZ40k4Q&UnoeLBa?M zbHPp}B_xEZvTDf5$!TcB1_wi>pje84O>AZ+uV{>y>9gNo<2f{e%^(WOd77+OP^gz4 z5dlL-FEhTVtE-!;ecB4ejOY+D7N{cRF|NNtLvvF!DFyKHP+i1rR9gn+XHc9$aPi^~ z*cRvjZ22W}HYTR5RT_e=#@)!8nuAX-@nGQ`qVbAUJVs+RPNpDSIlKW!DA<#OO>gSA zKb&^QRSu7=ufM;n5C<8bl*D=EQqwpMln#0T>5ve71Ya^2GxJ=O)EOzAQcmy(0WA%U zY~2~cC`@UygwGyq0`Hh~sxQn#a!|;XF6v$gg<8vuDV9+6=XbRCdw-vTPRy%aNW!yg-jz!rmumCNw0D^QV-Dn zPtF)g_M<_{QD+uw2d1r^u|pcT5I0CIH{ zaM2s5X2#o4C0TUDsi$^L)Ggot{A{Y;Jv<^}e|vijYO^3zMW^&SJDZu7mX?Z&N>_KZ z(27kh;~F(Jhfo3=h`lm5cL8#_pf>=j8sV|fNuluXHE=hOgNLX2+25VkzQd!V@$vDn zP8K;^+f|r>k&zK_Ti3lo=`=^39pfNx^KWi$ioYj35RQPFIR!UT2hj4&%uVlG{Ef-U z$RJ=V_s=NF$<^Lp{|kR9Km_x50em90@5WQAR&#EN_PlImw-qssC0+)A}x}F2nt9^C?y~uwTgmBE-ft~ zEg;?h+0Xa&dw4&%7hZT>*IwtGIdkUB%$a$QF?u?;Nr@PU5C{aRx|*^90)cCSK;R@^ z#DyoPcVl|tAN&WJx0Mm+*q^seg)a~YR)o5;qT!P_>yy4ux*yNsZywLvZv5c*nDnKHo0abQe1I*IioHCw>On`stadCnAx>Fqb} zA!VNRv-1I2i#_$p6NfJ8N;wEh%A~S>Y9>^4v>FHPRZ7Zbk^j%XInPp3Qo1rk9mhX8 z=Y~;GV&p3>8qK$ypKknH=-gi)=a#xiNqLHl)uR!#Y7X3-`7$$OjZut_UUKJG>PSsX z(|vXQ{^7p`e0==eDrh~oqe9RZJRP{LZEbBm@J@TA-0FOd^L7GrW=e{!y*=Sf)Bcp> zP)Vu=Zb|XKe;z?W!69d*A3m)83Q?O(?XX3?a52BJWi?HjX`ruv|KUSUsfb5&LJam6 z4L;7DF9jBRvqQ2X?%cVpS{n2Sdso~h4uWr*GUwZW9 zPglC1pIG0aM zYx5rUOP7Qmo*ZmtN_iXn@~T0Rq-v|?tC)l{Yz&v0`Tm_aoPVLKOpp_Dk(gN8_wSo) zv3)Nc!<9w9vJK+bIF2w&xV>Gvv_qaIWM#bdd_qLSP`(mS7H4WYjyq4PyMzRN1lvE z5YtUH_>!YiQ;pIDEkJgWVlnbqF&^CNf`dmFKi5)W0Op;_$w zIV@<|=+%+TkkIHbRPy{eiLP$%+S=OQ`nc=(r*)OvAZ&csu9f^+qoJXpr|%uJ^4VF! z+!j*2ZrArVs-UQzA4T*w(v?1mYz_uFcIkPeLqoH{cPT-38ew8-aC2`!cbZv#3XOjI zD9m?l)cr@|Rm8Jr&p^WaT0%k)4<9~!E$-Uvy=vU#zZ*$HpIcr|&dSC%+m~}IJw07c zPL4eLgK=>1+0pK*jg5`7vva`S+OLZHw-7NgF=n+c0{r}I6ZM|3c~}BEfJ^u!m#tk~ z$Y$m{Uc7tvZfa^OikwA9L&LP*qoA^K>qinhDG3R)WsktstM@@8L_|bbeD<=(>a zy1JSI_FJS6A1Kj3#{z!pthj*gBEP(lqG&5ri= zu>B8@R?F`i8X}hZ3p(Q%#Ti5$3{6e_VLzt@rlowvsS^V6X#4%2c-yT- zO<`eBe@5%CKm?_|R}91ONtxw@U8fo;*;TvJg$YoFg^RE>=iYa-BO+AVZ zVMdd@LB*nrQZ8LPEW@J*b|wcqy|g@+9zA*_$~*xp+SaD3t6T0e`PtIa5&=^F1jquy zKpWIMj+EWIcTe1P>O#eX??f!vPd4br+1c6r{QSZ=N$0U@AZdRIW7Cn$X%s-=I#Guy zvuG&k{p36@22&RouWd_bVJZdH?e6Xl$`Ntp%9S^nnK(FPV{)q(8(;o|e>MOB8{N zJ~`aBdGO%r)2GH|=7;k?3n6K*c|Vbm6Zv}cY?qv zDJea8@Zhue>L-x*j~{O`{`UzA3W`v2KR*ld^xQ6K)%95)OU=wYt#-f0$0sZ-44XHK zj7bVMFr&B&VyQ2u6}A9;h4aCpL5!6Z-PgB?xm#af9}yLW{L#}R=e49a^kR5;c!=5f zXvr=oCkNKV{}LsQe!!vol@n!qe;)AqdN`q%$>T9=?#h(|!+N=zIu*Oz1UEY?i+ z$xWtLIpycC(|;`+y-&HR2|DIze?uMwATcp!A(db-7L`w!@WTGwg0fIX*JT7i|} z((#WEH3zms>X7wF(+)Yx@J-vI^Y7LoE*!65!#9+V_9!=@AqY z`{eL=KJO8z4VQ_!?2t1_0fEvLo;!&3@!IkaA3oeI&jJT_W;`~0NPLBz~#{NUh# z`*r}2v~!W8ycF|dwlQftI*F=1@`~>^T(rJMo384%4+)C zxB1Fy*d$%Oy{>(4Lu+chhh7jxuyJv5$;-C@*+xj?Qt7c@zl;RjHl~{D>Lfx!LL!uM z3Jdq$#_bgq74O|khc+%QWjQ(bhqiU&jrH}Dva_vdnyU+U2MoTv1mNcnkktDG@OWMm|{CZ@mt*7PW%u&6xB@;@?e6R_e_};|R&hvJ4}8MYmuH`SMO!dUUTb&hYg=2} z+1Z&c8DAoG;x(+oyiZAm0L8eoI-=`Ev+$j;jt?3?g2whV+%s9=_+&(YuVb|07MHk$w^gJc$DP)x`$huO=;w)1 zOwr2G`(b+%!|Na@DS6mRE^m0+=#9EG)T@!-0d7tCokATjZnWV4fH{307bp6ecy;J~ z;gPx{($`R)FNw>B(m^ID=oE}ej80A<9v&W8L@>hP>%ZoW3P9i4SW;8gwZ^`Kd`r8bp|-;YvlxpsyB%YB5&WU?Is{>^Foit@ z?bW1D?s!xxk6HU!!4-0zgTDMJu~)6ydCEfJFhytcd*RAL;Jf8JPoSP)J*xkD7{vEL zv0-jRi{N4V`+<1OEOcvU0?Vr(OwrVtp=x)qTudaO!1C=KmXxcsS25c**b7}&RiIn@ z3y`Y>bT77JFDw@pPkgR1kF z16tP&$?G^_6jkgf+$^jb(E0yb?uL#l6f9jpeuw`K z!A~Nf5v!@Kt-YORo!v@$LEiS$|)AH!aJ`Uv$?Y*glwek=EH_?31_i_-B_@sYqHl zT=2V0!tu-jj0Y%ngBA@o?eA8MefL#1#_5_i)Yd48 zZ^eEpa~`j&PG`7YlM{5SUh9zW(cZf~_!Y=B`?|65_~x^lK&M>l6Nf#kDxt{++beU| zpR}KTx?Yje(c57g#-(*|&~iTX)7vGN?rTtZGUJU0$|feS3JM+$g@Bgy-E-RI7AI#A z;en5Ygh|Bm;9W(<&`1}CCa;bDm#b!Hb*HxtTnxB-btW4dyth^i+H-q4pC8INhWCDQ zoo1OPqyH$(-AjbfBMY>1Slj$^T-AKI_b`%Xc43;-`K#~Tf_t2vM`xPQIWU~%?5^O* z(;yMUxTUTo(!1i}7Q}q-c^F6SWFd~p2iRiN@Ls4j;ko#9LxI^%Fl!d>5; z^S8SMO{@FEBX_1*cl2-&QDJ1Iy!&LtsPJOnKBcQyOOF86dD1 zHtH%Jv})05=2f)#53}~mj6v+A>nj^>9g_dXP5<`q4>52$613qFzcOLBnVok&A!WB( z{OwLwtW3+nc5GL!mVSDS;jPm1NKONm#pK=~ug$#buhsPHk4aoaOu9$Tvuqzd^4XmI zzWe@e!gM|L;o+^%UXpSTpMln^Ar>zm2pm9Z`+ocz7%*#={aua)KTx7zD5a$8IHsC> z{Rz?9YEcJ%*Gy4LHGM+<8dzSbIvk{`*hbxGM~k8G(+0Ra+~b zQp$072uX!OPoWKmh0nPo&z!?*of|)4Lh8>$r3pAlZgYT5D}o*TV0U4NG)?4#p`ohI zvy-~@cCI6?+*`a+Bum6j0blOc6b;P&C}N-XIr5p^peAr)PJH#6M_q!A66{DqL%RER zT%WkHxyjaX-*noJ$pgm+d{Rltq=-+0OA$?$%ihkjHEr>6ugmO?=62WqgK#BeOyIgAZT&6@q^Ky)1+-{uw#^zy1t&U5=#FUFs!%~+W zXB4{u*gDMgtmiE97IJ@L%rp4putR`*wWE5k@D}-H{0~7fl$Mo23rj_Lw@xEJ9Ts%| zjO9yx`CRQn>8U=q|5Y;=Cwuz-f8P5ehauM_<`o z{e5+E*juwhQ{PmAZRi1Iav2{F-{sHFOKUBUSgyElc8;_RKAls_Zs$W0RGb&IZ&hwf zitZVL66?MzCV$yekFX=!5bU#*02kl8ZXstaQmx*mpt4FE8;rZ5gG_}M{oLgx`mSJ` zy*3=i+Z$I-TbEf-wOGAT2;vf9#3&BQv6?c&D1Xt@n zEJkKU*^u)EII%6*P$rXg2z75T4Uc!BofZ=_|3v=DohynsM@-|={AB**dpc!C;7mHj z(74-X{4hZ~-cJn#ELb@&egNrY; zQu7jouqWq4SV?rxCc}UROYTSsJhAc4+y7mW{dm`w-8BJE*k6Vnt#K$CU7tI=`q>|i}KB`AMfOl%@2zyYIPvcgYlAl-C z_9lT8PO{~->QvA7yQjnCqcW^FWetA%MO%`DC?@)tK6&&zB8B)hfyNgA zpWTm-kd>&x4I7*GwrTG(mxI0EoHU$Nx+**TAX8N8_3C%_bu9*bb_CO1$*!CeJT$O-tmlCyy{O&d(}QnLuH{TGw&U~ma}DH{Sv?FS7H-f5_}JiEIa$& zf>rimmN@BaTQbVJu!o#0HoLxleD-nK`CTkot`R=MBDAu9;??X`={pUHQ&(Nr{rL)& zS9&;0m}3(~rq;X0J$1WCNr_TB=X0yr)KqIHIzXD> zet79YtI6J}GD(Lu2OmCafh3f`IfwM6S@Q9(-@U;rTh!vuG)l9+vw<*;OE_y781<+i{w8#-yQAr6@q?{dL&ilL2;J{nVlU*So!=Xm-l5GXH3?1J!D1W0R z!~13Qzw!S_GWd${ireqJ&r>15SdgLhS!te-M&I3=iS%f_SKd8~r>6c8M)&)3C41Zc zSa)|9k~J86S~QvU#XhB{t&bzcnVHj=e7TmNe@l`S^rD(7sw6SqA$&e z&&Z=i-WvL`udXiZ62IC5C6X%6fw=<<+S(;6=j(tryj7pG#JW>!tRO)_Uahy{{93g| z>PY!(%#R(l1yXfGS>S1M-CA91WmLN;6Qq|;!$>P=4lXa@bRmdRZ@eoGUH(Q(9U^m_ zcN3reKUqyqrMnxy!(xBm?yA&9BO4w!`e1RLAmE~I!{v)Jf3b#bjZ%R@SUPhMVy5b1=lN4!j zF^=1=t!O4sktBIB0gG>q)>MR&68!r>sBKFgNHBrlh*Eef?uO8l+3$=JXKt4D2vApv z38z%A1s)5BTaXg(&8hD&bm1S6MB^MGvJrCVbJW`6llx4uQq5$|$GQ9J%t>A}&@;N` zc*H})W30ZK8VGqwc%Akl!7zdjN7tIe?LtxDpZ8BspSG4o7IR%)W`#vTIVX+di(TP) z(VhdKfn(P(-bQ(+m}>)J6588=FiN z#3w|C2qccs%&i$#J?}&<@eP*=Z8a(|E}!9`Bh<&MP z=i*l~@Qtz|^ZmERA%#b1Lrj7k{%LzlRysaGdWGC+V8oT=2{JF#2;EI5$(OXG4zD|c zV+-eCaz}EEqMFQc!zae0kV~e8Iwff%-^k@BO!WE~ByhcuYba*)U9=plwwF%7#8EDi zLbkIb{KdMt-x2Hm!}BxW?e{|j9v&7bBI}`#4_}-g%>7vC+<5g0p@!Fk`#5wX)D4Ym zhcAMcfjC3OE^T6?82Q6GTv<-5{l;EIR39oT+zuz|7d<@QmsM~RObPOKXsaFgbtHET z6e8U&_#=%TkMf`{vtFsYcyhrU?-@?W+Z!{)A{Q8NhH+ai8^}Yd&SBkac3Di&S-Ft) zOPP6n|EG`tDp$Mq1O(-pANRf>?nDS#vtB13CC^8QhxQ`GXZWv^x*=C^Geh@L*(jvK zNsGl;WHsZ+MfIRm!<31R&jX{Cl}oG~CMqfs=356iH$2|vHlFxdx{!O}GRw|f!->A& zf}4canW0T2dxA5iAd4p6ydZ-RN8R-s!2`BhfhK(N>&aF;_58+$yoz8sVm?8pe!8#1 zJ55lOv5&?L@3Y)Lt*aELGn8ab$OkA}G@%=EfYakXp#G_|g32QS`ie5wp#5dFVpUnUGDP5&K|0EoS80uBZiUYB5+NByh=4lVMM*3DywfA#!S1b>94->Vd4Y3M?XTua1NMl37fClcl(B^64!nZ;1uVdNih z9MSlFX&wBA``_)kX|ERZMkrBcQ*U5T3>S;(!0|hnc!J@ze8y=_*!ZvO;WbnjK|+a7 z7w$*Y11=_yvKkRCrJ#~b*UUBhp#C|tvH~gv)T-}{@Sr0y)^2YFTaEDZM z>{u<((6yrWANldhR({LxYB)P zfXMH@vjG>j@2*)b={wS})7MAS#~xmK7_Fmd3ISq=Yk54a!{P0T19MK=&iBIe%|XiU zfQMb9ik?~FN%I5P`j!W$I)z$cMa<^n|nzJssT$M=HQQFO4CB_p5E`t6A?$_^->G3_?(Hv$c zA#C0|m)aixFF|f0Z!yn}6vk&dieq6aJoUZu=O+M0X>M-bT^-qgyfVbY?AByzgLbs%Ok9g;$*Sv>*2lGIJ_S z=jV4eLp(@cwFC!Yctx}X=1f6YU@6C7VBS*xn(OoK$@wB!&G~b9P^{^?1#DaC<%s2) z=Z;&pR0eF=ePTvEWs53FvV7Guo}B0b_D%a&#^^hm&9nDAbsYsi&_sOuYM;2^7x7C z6R#hy;7h^WszipE&Uj)sA_@>pSnRmVe-`j8ni$qrkLL?DP+cK%H&G<4v_BC2EHXDy zrl7D0Mv*$G(=hTYI0R_=>vvA+jPEduF<0KJY@UH27Q+t(S2v#q#<{Lo< zxt*klU@+k4(?Xzos!(UPS$3{7OerC3!}SvRi?8iMZczDiuiFE*#+1A#HJX z5w2*)CwQAUfry5*i*C?E;hQ(@Ww*sexffR#I`4&FN@BoZt>&eCXOr+9^LdyNZuR-% zHlBir8)G!S4)Q(fHHu^thXI!~R8;{vbEtc)0hxJ=dxxVhYC@}z_pQ#}vugW76j^%2 z2e|g>K4rh=4dh8^`zNCUoFoMfH>OdfIe`WOtbgC-O@b3t;iPi=@#@4EgIkGV* zF#m^c#sWmJvBx;rS&=GgKks_?v^gfoyudfdVMEQKb@&n;dd*%;@3N0caHJ)8OOx=e=MHXtEGb_BHB~nemf9$ zPK%^OtFT@%!TE+bQ_y@X+DCTacf3c4B#4ZRsuj5Q*_Cy=n8&ov7VtRQ%E37K_&OYK z?B@Dab=!zh-G{@=ou z=n#}JS_Mshz~BankKed=l2fi-q9OQuWy!L<0R%h~IF92#ve6{qG5(^r0ha~A9V)CK zV2zj|=g09dVoA#P;y-&8TR`mkLj~(n<1hW4Jnf&-Bh0 zhxV#Ecw!m%i@1`O z3t#ZR@NT}qyx|;oTzWUudWPycxe1xb1u@TcJ!FI>8PgweE!b|4AfiFyksjzYP{}7$ z7KowyiE=^Tu;$&Ar9fOsV`EXDb2*!opF6vbdgAIgZOCJ=~Dp`0XW?_!`UHDf8?VJW186OGUt-5i#M%#DDbKY#*o4& zCC)$W58vw}CBfCprs{C8@SxRdDo+4<^1ln3rGQZuv`<%=`5Y(&~EFM8fO%z`y+kSonl zhDa>wtE1D7jZ{%2(Ti||tOk)2>Dp{-g)ENOZgamw zCy@zWApQm1*c4HorfNU#Kib5vxY9bn-&%(pFR2ZO_z~nQJQI42{#LYx&Y^|S7hSlF zkRyMsq+fVF(t2?NrlbQd$REGj!-m^)@v8Z%JiaC@GyK+wYJ$JKzIOhKRq;I;!;dmz znqxrFs6o*Dx=6bpS7&c^g#~7B z8aT-uPp>6!*YNn;+K#4EV0Crl`LTl>SoC_+I;3bo4_x9v%7*=N?K+$9<0gvWxJ%B2 z$B*|JhamrQW|qtC!T5<}b4&9S!x-R_gInGggqYt(FOyOQ+!25CE%$DQb zpXF&A7B5|%#iNzp(oqOaUb)cNvVXd7+PH{KzEJc_LZ41#kH|cwyP3|%4~QbdYu}RN z%U$@4Oz-c`8TV0MkJd;ysy;0Q?h8V!y^V2Qe(dMy$~g73hE!*ig03|M>;37K63D)& zhiDNkGdZe}ROTOVe*d zUW{qy*Zm#KyMppY+p((j+k2@x`K%R2$w3HD6r8XgrO)8UjM=Csa7yR-oVlBg3C~C) zs8LBMjnGCJnBd6luxxNy20&P3Kg5-ala7iwEEX}^i*sb!ap~dmzwjbs zy6(4Od)u>}xAa{!nbK#-9GDh(PY!Q4bZyiYTj{9BdsQvrTt(B#RBdwdH&m>doK*HT z=U`LUwEf<|Ua`EB+ul2C5+3b8G*k+_styo$Le=}V-wx?;W*x2cmIo7`b@%@;@S+6= z%|0(;lJ*hJ!=T-fyU9H_NuzOm)TE-sG=6F`Kr+rwk4K2@)_;NK9}2zJoo@vk%Rg9z zcsF@fUB=Z!Ei1%$dD>+*_BV>RPMuWjMp-m{21e|NL%-a&h1+Fs?Q6+j4|3hHTz=%o zWOso-)dhFmz}#|z`-3j1l!0+Ay3B~Bb65{Y(T}dxjz7vU(zjV+<+&#Lr;(n1r2UI} zIYpP7gX-d9x)UZtF2Tzzz_)J5b&{;Ih`Dv5HyeIaY3s9G#Qmc#^7)e<&!xE##%#0X zhMaT!dM!aIGAvA6y%W#>0wg2Wx+}!l2iQ3?X8Ei|6L~O88M--oT4U17K5gq3UmBj= zb2hjI+zUQs*f}oS_RSpeY0mPoc(#>^stv6-ASpd8F};4`a*&l1ptYl|+Ef**vynO)ET%6~@4jrQSuH(yb8ywN$JB zP}du-a7Jj(RD6saPyj=8rTSrCMzbRX&S_xP{D83A>GZFh87l1c@)Vu#*2uo_QoYyO zocI2&Ipjxzj%#b_-dJufF3C#=_|P)_FA3q>Vf!&*Jh-uOrD_SkC z=nLx?wAfpv<=@J{$4uV`mIE}}W)ig*vni%NyEtNEqEi3{Zy5Kk=5-d6uaC*xeMqOt zZ0*PF|J!Kl>y*WLJX5FqTN!rFID74}z_xVila-0_#YatIoq8@jQkRlEAj@A;$UX47 z&q--8pGT8jbGo28`^phV?L1x?#~8~fmxaWT)C;e7tr=w5ET<R+C3xm;D* z+vj|1+Wt%jlHiap=7e7UK`&>S?^7M^ru&*&_nDtdF74)x_;R;&@^<)*ef>=*^l5+V z-gr(c8V5P$FzjUA9>2daefObhfkc*Dqp!(E)@lI0{{>a;XACRiDRg9<&fgigsbqyh zZl7D+^08VOuCA_>4RF!a-VNOBnvy>!`P;wHSD?w@ zo?&tC;jgkH3;8!^SF3nDP0`ieNO8th##k~H4uP|n+dB_VuAB_xmp1M6a7HL$*z#3+ zNo9SfCoFOfjwvu!x0I$je{2TY9{x>D^-g}#+S(eC9~4X|NeI4#$8q-ftY@se!?FH+ zK+@dnxW~lFf&c&;3Xd)5JQ3W+0v-nK`WmUXC+I$h94@BS3PXv8S4T_ZNoBTwzwgJbkoYsvT8DgmH z@U2Aiz0`-l)>)QYf2d<8#l>9gY}i?+2S9hR#K=BY zpWqSlI4| zu&}C+AGx$M3{6ZVoX12kIcikk@EWwJ({tMdL`DWDCjBNdPwtSr5!QKepN5ietghPL zxG;T1NbTjDw7{Fc=R3Z=2>E`Rn(`Vl8+Uv+{t`C`*q&1w0TAZz06;1Z+`YVZvSb5H z!pGKQS%T{%yq5l?^1ZOJ3Ca*1V4<7HTk?0BEw*A0j_Y~uV%lI|HP(G{JzlUGu){B;GbCXrysc(MbH2@VY*=V|S?lIH$qDYF3%MGIxx+5*PB16hHB9hOgMN)4}8>d*yA~%zIvZb1!34V+-R7A@~=ovQAfaOYk_VepMC2(&|+iKRd z)}6GSG6mjD@=s2Dn1ElIQrUH_HN!Kb62su&=6cBu#7XVfuS&OX--bvOW2_!wZeHHB z|7t0BwiO`zf!3jRr~+WTZjFX|lkpnI{c3l>p<9NW?ut(bQY*mDASLxa%5D1}deu}f z{2od=k*sm4`ODg@6W%4f0zB~0;7fq~BR)JY-Ldrt)XV3h0+QgC^_0VBE;In z5dU@#JLA=^$;4ZEK&=A+n%^6j_HSute*VzpGnpKt)>#1&QR^>H2L}f&oBTT<9;r3_ zRuPGbQ5ynS&B}8K?|H8d^Du>`BspEQwpC_7ETcPY}%o2 zfZW99bl7MB)mjXJ?xbfTc!DuK3d*|J*3t45IGZj)$}12R$!Gh7l1ya9Hpbpb#f4tP zHogIkhp>$y%#gHlfI9+k-rRODB8G)m-EIM{)Sm=!tKJNV+E5Q5dPyJq{tX-lvACHV2PA#;`;V+I3?)`WYo|!)7214O3?sU|!hKQjmH$ScJ4P zIriOd#%Nk#0yCCoQ`wnMSYA;;^PxIbwR~e3qXbU227J(i(Kg}%c8DnK!#^GHlpFih z6aOPh3CmL=Y%5z7BLz216f_1E;SBya0MRN#+)Np_&ND7i%^7IAFav}ffvP5)>482N zp${DFSaScpg^R^E>(c;35H+D*Z?ynSjKvRMl$^Pk9}P4^yO>#Aj%Uy<_R@e(jS8p- zxG@zL*3AWdJdi+kKp$9)RW1xS2)GM166h}j`@Viup)N%+0o+~&yfsP*x`&C!+`sS& zHyxOYtvS040Am9Jpz6K@a$or|D|r4%*LC1t6gx`We}HmI;9R&nt^u&)zpo*#n@^Tag1#*w2xC!<49%#Xn72*6;%h> z4~qZm?c>A$d-(DgI{&W)?vGGhST8SnnCx|!EEOEaI7|ds?|{TvU^{pY_q5nAVQ3Q= z`U?#B00z8JgdYGfl7?Y9}+5ssJa;AuHPi<($N{{7>3$LM;{4_LOMk z|AnF-C}t7G@EZR1d*%jc=USIZ0~H4C3ZHe;vwWFLR8(K(-&#?{>ZweHoS(jW_3FnD zH8`@ayRrO7wb5wRV_m30>dlgcFow4+sV$bRohISQogE#A2XhHf&w))y@nR==GeYUA zR9IVs*Rp}>*jz0=7#`RDd_vR>o3?6~N&m0mgiyrL2`MN-LccKy!1Qx+a{BxGBcQet zR6Ivq>7T#TEw1+V_D)XxQqeo}|DFrARA-8=(#Ph%dp8C!Oa_J${uHT(fc>(}%uG;# zORNsR|4ug030XQp71|OjgO-&S!np!)!k&vgvU|2r6O$og?{TpC8(UVf*-8%Sn(yDg z!>~{-^77@&p?FV7^Mr?Akp1t&&COkJE*RvqYh+;Xz}A*SDuRef?&P`d%0$DKR-iaD zXIkgv#DsETpOZOz$}nU4P-|4fl8OQ?Y znh9#5pr#hX3tzFoCRJ9Jih~VAnWQuKPJh=MmV2_n*B8o)0GXXzbumwmrzcxJ1n#@K zw4js)3d&YycrP4-i`f#=^5Vq+SOBPZF78cS$c^q{vjc1CZVzZKwx^Qaf&)Hxx|D`QhQ=P)z&q@#BWNI)1C>M&K6|N#@=v z9xO3>KjptFKu(?jh8bH2_44I29S#F1C!(UFGPkhUU;8xxWmJugGMJce#~UH%(oiG@ zMLmG5`BJA^^lrG^%Jt#Hh1FF)sc7q-o*t<4JUTi;Ku*lY)ine}5ejWE^@hqhdR}XX8lcVgvqj3x5Kx(&pGar!QTXXF~R?Tnde))kR@)mKQ{YEeRNJ2sareyg}E4?3v z6A}`_C>kz;uz}c;hfGRKNxjR@kB-adYCc-w6A~&Pu?m3zRuYsaQeVD2T5W#^2xN}c zBMAryIOPu9?iNS*Y)oaQrHKa~fXOo|gsrOE%m{N2@=8w^ehfC)8%h>)m5ADa z7s4DGt1qKO9f!jsBOwc?pC)wcGE_y<(u#Th(ZVQJsx1LE@V? z=1{|p$+>X6J7V>?JHvba2c@sCFXo=|7|cRPM+Yk35Z~I{I~V@#?Ce0A=UGod(i5eo zv3k!%9iP4F+67>i)^u|acth_y>4q#StiM2|=-J7(?&KO|P*F+jx0{duHb5By6dyVc ze;_0wxx}RL3Q7=k(r+%zd0p8+MVJhGqyn6%f#<)u-|&o41CnzDUh3Ve-H^T7v{Hc)ai5uRc-p%eoOW&KmC7l=zhTf diff --git a/plots/solutions2.png b/plots/solutions2.png index 07aeb3e8b6f424d83c9f43a291a43313ded82935..68e3e23aa0775ce161dc26a1fdc4471040101f04 100644 GIT binary patch literal 14690 zcmaKTby(D2(C;owcZ0N~G=hX6f(S}UOLq!NBM2xiic-=7(o#xy=USlBD4n7LBHhiM z_4mH_xqsc2=kdFH&YAC=IWu$S%zRF`j@C^wVkTk)0zsyxs;q}V;20wi$XG%g_~pbX zybu1vx7E0*j5x#od)@jr0fFE^s3~7Fc#ys_?f{HaHEUd_ms>s5`WbAvPzEP>E!<{=9WJ#!~Zoj2uRXh{6Y>|gsWOOtjFI!>qI)l}8gtf{KP5rg4c8M4mYuag7>1@$lNpB&T=4i0vnoloRU_=0e9 zHov$LZgySorMkmYd@|*?{jSFZS&s8HH8u3Yrnva{Uw>~JmYSxd zq!h|!N_F-1NlQv5ezDJadgs~X`lMyJeU`;KteC{xu@r3cf$SC4bE13lzn8cVqUIs$dZFC z_M>;ul9!h^N6DdkQsqcRJwzX=<2~P(Wo2n8B8&Hjk9jt8kyKeWLZ#rcudiyjoRzAV56aik7=Lqo$0#*0cm#D}5l>mFp~am_d2 z9i7~Pax62W)xga&71cbx2QOj^e2qgwn*G*- zDy*-C(hH}TmbNlWu_y#=k5xOVgyuNS!@P>^@H_c#rO1j6MILskB4s#V*1!@4KROcW z?m1~KSft~iWF!Lr{9s6f@&(J~sw&$1$vm%dT^hfHalhbFQaf6U=aEnRIwo+t z_D>t8Xl_pJ>~!z1{u@RnreU`q@&Vh7@&T97@87={Hmf6LzsjQM?EEL1Rj$mceY(V? zdLZ|vAT2Q>E-vn73|r6FubUeih3WgM{{H@8X3>$6)z#I1XWAb}(hDOd8@-)I$}I5k z@L;w}qm_2G^(9vAr}@d2RTUKokHc+e2?+^N(Q>=aXdYhPGL!0#k00%i_cxwDf1a4^ zt)Z$q+8XG0?b@}q=~g+PMFfYS;NSY0AQEzN%X+sArR)bQwIeL7tVnw&ClK*LZ-!iS zbTk<3=H_P6)bpa7bfHAd;nCOf%&>xe8o1YHYJU7V86RN`9*_+nqB|5gjx z;Jael?7K4f?VGTW&~wsrRsLJ^F77E3PFjY;Ge+iPP51wnx1S!a+k)3HsjOLCT-;rm zFcNZIpM7UmcMlo+^5rFPLeAgbn3$NT+`Q?xHf>R8fU`K&>}O!`68KV6`(pL@>3wPevyG=2%v9U2Q`0Xx_Jv!P&j<)z$ zS5|Jkxs`^{d?og-vy)Fqs04hVAlvd&R%y5N*49UchDoKRD_qIvn3w|QyU$r!&3xqt zkMrnvqEV8N3C?S^1m0@Lo`AXRs~Q?zZ1Mrz+}xTe;`!qm(1}$c=;5cqD_5?Z?vy`{ zVwIy;baPvcpc4dV_qD6b!os55qIrI0g_WMZ?(tcWlheYuEBk$qSsSGsr%tNuycDK$ zbl;C%+SDD~+${e-OG`_e7#(F~WW025v;u^I5V34|@OQY>600vm#oAd{_g1GO!^4pk z0Xr`2*iV*-MH4L@9jME2O*eSsI`^42tM(v4Fb$a}jC6E#jEu$`OWu9*4A3_rLH}>} z?PPjJ#s^2cE0dGv2v86=H#Y<+DQS8}#DtXf@I4}d~;Euds9vKOBt@->3{pNHd(yxa%LEE-%0zt(lVp)?3Lf6$ zdVd?6Y;zImix&$I=^M>08!^Yn$DK|=51czXI_O9W({J)76dDL1tR8Nt+`G37d*Mil z$=3R;9$_@NwP2MC&Iyh^hl3w~#kI@M7+nbP`8&V5YPnY{WYOfaGG1F*SqWMp?=cHT zTp0E5qm->vXaEXVTTxLUb7DW!_GoNuOj7u5OUo5O!LHt3x8>2wtcROw1_rd~*RNlL z6L^`Nj2dn5v`ZGTc=6&zQCqR+&kh?K8$?xgbqt%l>BWKZ@x!>ciG~*A&&imZz%pE& z6V=t#S7+MS78hk~-iN@RX%s>g&83uMI(tz`jakC6d$rWeN+w`CG$%)kg4YqTMHgY! z-P2cQW+ZyodAMY3{l^D|qvdLlU~i_p90$j1m<9L|X}3uku-#B{Rwk)?;81SDCq;99 zY031Pm%4^Vn&jQ#ru%o9nbWow`X2B92t`Z>9j(AtTj%_(V|x0kh)CI-wf${q%(~*g zxi|ATD>Kv5Gl?G!el#&TS^Dm92}~_W{*Z@SPpH6z2~;ltw(8pSU&GNy7=BBfl% zjZIB08$4{rsvPc*-`M#`6-Jd2th#XAnh;v^4gwS4OxCgcl~ce7C=}Sf|12hWycFEJ z{lNQYUG0ZOaoILBiA!z4?>@bMkLk@Yav#<4v@ZAc^77Ku)D#HS2L*ig>=_x;rGf|i zyu2OV-6f!HbWRBZiC@FQ2)Vep6cpOi(^*JJNE*#E)6$A{E`a_O=SPKyf9dMl+S#eC zt1Ej|pjT*XXScPvX%mpc`8&*9*>swKCWo%1A>Oa{RW2E> z*48>>PY__X?EY>}zY7&_f4kap2@EEsXsMf*mlugdQivLIIC0#9P$lC7CpV&^vhtkN zy;qC021Z&!SpSpY5VjpkP8GYD|5_p>Vg(?m zaI=A+g3bs`Et9H`X~^HJ@fbo)uwMq&yi7356ir@Pl@(aC)`R)9RI75q*ph=<>ObQ2 z*}Z?qsuwElI+foRJcb1Y4rQmF^`uIEJ65+qo26O_#);TbEnRu0G*D(CH^9GS6%^D4 z^44O=rW8@U#h}NRb93&Z5@+iiK6f|-2WD6XA&A*7`Nt`pDxOPAE*F)22*fo;q)4;r z#Mng>?3BnL2$QFQ0I1CwmpcqbUWWmP9jpypFdcI2bkc5MrST5pH|a@9^=-|6?HNE? z2>bNrBBkj6_GD(5y{dCT7C){Gf~h~u=Vm*$9Ktf0AgH47N7So0aSYNy6fgga=p&Xz zK`dusKxZ5KP(VZ}2z369JWqdq;F}$g$bN&lHE=G>2M)mpn=`=b@L?yJK;iLkng5NP#*n=>2RbXASUU7* zvbAg1wrR0EbR`Gg49~=pbgxC^Cnljhu;L|bU^Y58@(p6Q{ojUcXAAR zVOtzf#yA@}c9hPS;ni2~;weYK1b<`Y^8zNQ3|$@#$HNmh_K6-5f{ow)HFp!JBCAw@ zj3c&%m%!9hM|Im6p5;f#32ESEY1o&Uo6Y7xv^@^Q@)l%qvSELBmcRzBTX^EZqyrbj zYUqLKzAtEB7Fy~dY_Bs}r}tvK zK!`9{XJxp|0s=xA+mB&^d#kq~mX()(wE62x&h@yOD+Dd1FE7j^f&vwdMxFMXJq zk4=u2)#l*f;8d~#3u0noa8C~6DT^GY=S4;P-oMWg z(HJe%S=PN!M^86o#2viUCb_M4?OJedZtfy&Q&jT}Np5j*uh9ydG%44jLOf(cQxiTe zE(B;K2w9&+jt%zvDVmOsjvbsOuk{L-_D}jLUXi>qHU9ipFhS=24AWuA)08GVDiXK3ANCwmLyEtPZMh9CgW@cs!eCT}U>a%~V4PqDp!Z

co^<@z5JF; ze|b(x&MT5v#D&Fw1S#pc>3Nz|rX{AernEkbdsaC)+TE{N7BA@V)$8`b$=uObF9$~( zM^nr3)||lT`RJ$;ri0NVTp5BIFPEY5#@eXxo@z%%!iR**1o*{2AFJl=!0b{D4K01I z9voMW+MV}2pRJZHk|a`^VMZW>r}K zv5HcS8l|fh6c-+R*PY#bbI-bO*1FHyiDcpJ7cLY%${l%fz#PmSKC`RL6tACNt>AdJ zx;WMOGg`XRnR@x$vF}KIv*fCyvq9^R%=oy;g1FncHw>eiq?SxCs^sgbI4OsIe6}1h zF1a<5QkGQqw1psQoq3?6vF9hl5XC79i*<9xB_^!5++3zAQZ0GkEJ>W}S%ZL{rVlrTuSK?#E4=$6xoN+oWr!zMEt?-e!IkL|j9_i(s?0 zr49#eF4BJd@oeL?a&L`pDo}L2RW~U2#jhJVG$#s;npZ0hFu^?p9rhg${pU5-+*_P{ z(+>=j>jgRsqk`+ve=y~?PpO^h6?C)>6qFK_2;5lrm!^$630}mc(;ui88`Tuy6>rvU zSxR`^8vS1JvgM`Y%q24)TU|Fbw@(`0!4It8jy_aQ1;G>*|C;=jyw`H&VdpxshhXy6 zBRlnGey*=37*#vaw_2kzfitP? z3G{6w+c4Wj3A;CSX)brHFUWqc-l*N1x@g;(^usJE-F)!q?X>5ZX9ju$Lpty-?9y`; zRRfI?iE@HcigC~TorU3V=?O%oBrefp6zt+mp+q$s`#X!ZJ8M~!v&>H8ims6FYxxLp z_FyI7(WLPgX9O>Lm;I6Ldm?u^_W{qP;P;9b>$@ha6M9#}rzP&_XVLi=vLkJB^r@T? z;Pu9SCH;z?kXVhBuwn_^8GS)6L24hcbN!dY-}}cyKjqW5S(=)9ex_}+lxh3m~)|yTAPJTX~`yLt7s2-^$5qqvX&~1A7hne)Lc>cS}1DdWb$ja@k!pZq? zF7nKz=7NNTzK>!~Kt~@00i{y|&2QP$PkSO~UTib-%SMjh-&GoS0)T6GiyyPs5?Chcfbh;;ye3FmW%TM?981F5X>(i2*=&nmylu7j!<@)d=JG>WD zu)I8!^;m?1GL8wG9m_M|?_6aI6#P3JPQ=I3!>ZCr_1Z*HF+|hQ)mEneW_|?uPbb0u z5^0yf$W5M^5OlCrh*eQ$sJ!^%-gcn-6rcb0n`Hzo`m(iytFREgZtI*$u5wJ>;>VmV zwS^dMnX=lE-eH8cc3-*g%F^gtZHoLsyat2}>Tj^0kTAimR~)jex+k+?v5QoOR_3kz zUfCrcrEd$PL&btgA{Nw4ON(=xOL=O;5q1jq*yE4Bt`*b1k@ZdV%n605 zpPs)W`EdN5b7%*vi|sdMA9~@r<>liqMpn0j#%}J|c4Q{U9EpK zJbdiW(;veS*{uFuc%;s zRfj{CZa@OI$Jb_kNk6biR){aq8 z4H;rEN={7fSrohOLzw}dbI0Or?G0~c{o+G$|&6KLC)rGt}OjYNY;jw#UR-4=;5!GM1+ zeXqOUqrlV3gWG(mD0ajEny8=Y6`^wE*P8|qqNsfgW!9IIz>5nkwnD?CAe@q#xJaqR|I=t*)K7(oN>GJ$$qipthsWKg3rzA(cU=T!!%mq8Y(GL|kZO`lBSvUU%7Usw|HK$`u+6qaX}gR^@H& zGlv!*RQAOPUi0-=e|?F|!4!tf3C;@stBBuEyN;8JycNug=Idt^qfSb_6sn?1?Zy8) zKJr;)^|R_l4!w;h3nX%7tFMMUlNLFK8d0l?SpxdR=rjs88;lzVy(&(6a0j~cX{cO3 zp$EY}mBAy>Z6cy@l0O4^p^LQCgCD9pUp$p~DUiQw^|hDu4qnaS!bkC0au4P(0yorS z1QCXngQ^0D3CB&53qyAYw*e`F7PJ=TR2YJzGvs4M>`gPg(d8gg#fwK%W5_)4(~%4qDi0J3f&hc(fzXsZIeX0q z%56|!P*ff6R8Km?DH~RU>yMk!=52a2a{XdDg75WIuB8AXKG=YRP8GR|!xy|wpg)Mb zjv?~EU1q1vLs?Udo@`xXf^HkKNWEZE z4%W|zL9{&w^=E{5un-5TfnxOPb_Mbt+m%ZE5+t+Y`2-V}RfV@%#v$BvRL)dDBvR}A zWuz8Tu&*_(@7#dbwte1pw{A`DLiv4_6L!Q4QwEhTlTd;Q%G97FOr z;aq^Ztms4h#re;7abAfxH7(!!F*-i<7MzbOy0*i;A|tFnyPEMG6Y{Hl`rVvtcDXiS z^PxdGY!<6zli+U{SVIaRNfIBizr4>YbqmyvQ~Pe;{_+Dj#ks&?rcm|kEw5T1x(ua= z$&$%KN%`VT(XhM4z%{8X=5;VU2;eAKL;%qBF>^vkXi{k-st4f zNP-f~Jk%0I+xBghl|w>9Ll<@8^>s|Gi)Ir`KZ;3S5*8Aq&3IC9gN3SSYV&uO!ojZu zNT;{LK^TQkYTWEwx~QyYU~G8DM)p=*pRi@kJ+uPfln_gxU?d9&yPEN_Gsixn$FJ8O| ziPf{?t-jx02aqg%^5n@SI(=q3T3W~-ciC43n3(!n*5O37w6p}6q|X0dSQr_3)8Dcg zzj+*g95A^r+bX$a0m<-uo^mNuJ|U%@qJ4ZQuGCakB4e|%+#MWlf9r-)M~3YErEhO3 z5LQ-JaHfy?{ar~sr5n!ZRq0dl_c<@U7_4_I%w%0ta9h?Tu6j%2-u3VX%nVFfG zkh^f904ftXG-`3-??bqhbRlpO?zG5tS(uxnrlRsZIlK?$l?c|nJb$tm%#)%`qO#AF zf731)Gi}@>$Ewq<*e~`_NdzlrD&OSMfdlUK;^#T~ltW?7H`J(0UX&W>{7(86LC&f2 zrSS`#O#d~hsOr7DmVH6(vYK0x+yDOZ!|_kjtAq=(&uBNaVzGHDlop#K0&$K6iv{4O zYa?$nTD7FgQ1UVmxa|{AQ~tDkkwaN>?u)o--so2szpf-_^v=^zVQbVVq9x+S6rK#; zapHdRB5gcP8tVimFE}bZ3Om4-%7rRL9dA}DmdqZtS9C=k$&4Ydc(h*d!0l|-W^Xp! zeEUr4E}jfQNn3*{SZBCu)E#VCO`Owd14DBsC$p19V>b34@8{cc{LPBd=*I1HG#Jb9#! zG$Tp`L(`{dg#4q3A4@)ow~F&ek=BD$m0%DZk-%$#SRf$rDc$rK`I~y__A4nkdB-sg zOxLz93Q<$1(jMM8l2(4p5x_#9Z5fA*M*p;1_(BlR{?e8>med?vsyzo%43`NfitTuU z5gasX6&?5dl*VQINhb*;3xt%S_;r)g8@(O7)`bDRfaS-lJJ?aNn#r;UKOT)cOCC!Y zg78C6D2iKCJV0c^R`cuK2eSU`qxX1$_~lI%OH&Kebgaq(y*wFr-A2-#zQ!imQ4J~> zq?a!3_51L|l1}2!p^Z6k_mK^Flc-drC7Pk1WgYnt5!ka3Bs(SF6f+~&W^8g#NSZ!F zg<5G&>52SP6_^hW{dsx1%l(9RaD9#zwja*&dY~GJ((#6o7ty5aNK=F`LIK0jA5U`2 zG|l)(cK^t$AAg<598%ZygpINj3(PP0I2;SpB`gtRN~&I6zZDSa^E-p=0jSTKm6ETMK6f zF@kh|&Du}D2*C=|k>ZCidakDOwbS;iXA-d+Rq9K%f-WNvb=;!m#flOc8GGp+a*=5J z;kpAAC6PJqd-RZ^5GBF~R~8kFHZ4~ln=EV0ZTy)c=LDzUp+>g%a3ovs%@CBu8%Tg? z073JbtAFENvOflImZjp{D{^C0up-~H9O-@ovb*d*q-~wPYtd($=FjKf$Wz&N8PxEh z%;EbveV)1xXOX-cwTt|Nx%ygSJ=A>q7Vll07V>+j!N2bJA-Cb$Ue#)BV*WTXZ%InU zjcHCIP)=5>4z+zZ7kwljCmI=*fR{*}0J z+mm}YEG64y;dzD%!TA6IA*DgG=Za$Mc$8%6xT!cKNCs=_^@(cfIm)c_;g`b~68egH zihn)Y88NDs>!F9`bOxd9UBa72p5ln$2nTB;rLD;+cfV`IcK!M$r+KziUjF@+UQy0q z?t8uW9s4nWy!kgIv=McNqlJ2mtixz1A}Vk``$z1x4V*^BHpG6eQLTOZ@)bq&W3l?b z=9#?LWuZ`Uh@si1Y`_yDIK{mZ{0EcR+4kxEXIr=AM)s49xaXYe*CAar_OV(*wwn^( za1P}5_%nJH<2y?{OS+BsBzVTsUQ&tf2pK}GxQ-s585Y=9G^R4^#XF0f6g<^ zqGqMmW!K$blU3m9T)mX`f6p8`TSPm9f8^fgO62g>X9$5RR@+d;PwOG<&>9#$Yr1}% z(T)B^54|+C`YJcpCVy2;WqG|afyaN>&DigseO4_asQ2J?h9Q{=$Vb5n!E5NgU=hq0 zfpVrVQEe-GDF4em>DTZk+y7_Yg09T z8l6d58HbwoGOWo-S#@IeKm1PG696|TmQYt1Ryrp=xCi5hQMP6hE9z0+!(TnSy6ZmB=%e}mBxJ0;=hX9a4EFS8 z66O-Fq8dNU5QZBOyo;H5I-z5>l z$Tif{TP2}wHLhPp_2h$7H8neaqUGRVLi~xx?&l{# zqg_@pMIXgd4~f6?v98w*DU7Gy)jnMmQr>|axWUxJ#(_13v}l>YyEn#WjO@E`Eg7Xs z?sP_K@cj7^2D4-cwI6A)BoILnSk84fv(8Ba^b#Wk+ zoQ0B6vmt#h{nYGG+g0JdZCW@i?GU8;b?6&^Lks*ZCsUud40 z54slhbY5Os8w7d?VP;V;)YZ$b?XX8(!m!;j*7I8EWj$Z`QN8z8&}rv_T*Li+tE{u| zUL}J*NLCF20EfrK_~WVf9I-W{HR;Qjs;dcf^{Z3FrtFux{YK9Yk7L-AI8H!a0zwj- zeRsqqEr`tVPH{VsjTEaUKYsi;FPm{AL;LECt3|zkUys@MM{yt)mv_}S!r8KKrAZwr zT_^DS<0T_n&M!uFhm2H0|8wBPLh^63FQv)^-($1NPp<4>zOxgYjh34zfcAWU2Ic;n zTYGzFD|0HhN6Ox&r(gB)Szh>IQ?uK-Juo#<>g;#%cg~`Zi&2h{KNy)iThP|*=+k@G z2HmlsuL7uhA8BP73M4{#_05|%zZI=sRJZPWxA&a9smlTs`k%svf?^lz$b@j{@w!aaDl!L7I7?2jL8|>5*^%97n)C9S2wg!=ko+YWuJzKvQqn@WbTR%}9)p+3ooorrnhaXSgriODh|b6iu=j}0)n#M3!0D)fy9Dz zwHx{Fxt7@jJo(h^SrMI_oAHHgO-TN5aj##Wp*|aZPU40SWhwR;1I~iR$wL#5332wQ zDTQX0k0o55nwkOrY#s0HKK!|0CRb1HK}_gDUU9Lq@Q+1fV`EZMl4NU<0l&NbbeL)+ zp*9)CEn>1;#IC=;7vw~1(<4mDizVyxvExnGMHJ{*ts?-~)TWRB$9{nml zF3wVY^kDdcu6zZ7C4N$5^tFGW)FO88;99hn<-M1x|_jHf*n7ite-0ST;6{LtGf>>7@W+h{0g4J~}Kh zZ>(xb=c88t9EmxP9lSxCgIa9=5K7V9+#GXGVt%?cP{OHK=)#3pa(-otI(g^igU8U+ zv5{Iz%91v4_-%*c_}2w#_vtGhvxrC?Sx6;uu-xI3C88P%fs(y|xcFdKmxd4VU;!IO z7yE*XSd>7Tp%GxVU~8e!b|0&PL$|~4WC9AdhX6F>;`u-tS>$V`D)N2x=!A8(ph7AJ+OCw}HBrmR64bqSPu= zDFMK1*IM_cKYTMPF&?OL=!#f)e0s2Ox4adgh^MKhl<4H-kzZdD2*_CoU)y|me&fas z7vd5czyd=0VEZ*;AW9!WqoMJkN%-v&`|XdV*LK2Gj42>naSADo&TbC?SWe3Jil8J~uX9o!hoWNMd0#YM zEC&p}4PnDzx}jnopdzqIcU5oDK7dE4=3PF;+y;sTOh9P9<{!!?#|0Wwe?mFnD_{X~ zim>18h#L@40QziwV%gzE<~Y%Q>33BrJclH$(no zMK>Bv{h1mJR{%T59+C!rSrpZ6tO!gcW}jneK(w0Y43Wb>*u)#?RfEN%f4dSagXNDJ z`;3)k4H&-aw@GxMVlbc)41%$v#9v?ZFasY^1b`yy*Z&YuRJXwniDutXosS#FK4IWt z_rITjZ!CNW2??D+HtfS>FfR5L*tI|~aG)*#Bt8sFNr_wr`2{9T1ro@)gtH1b4rL$_ zK1iubn-To43l^8o1I@M#NHxG){OgHj5*KKZf=H9F{eOIo(WZ1JfUk^YiUO~(Qos&j zL^&!Z!5ly(sGkGUsRm*gRYnGm+W`Im!4UoI1_p6}L7VhoT3`^1oOmG-%L{@7>4f|! zgGIoy*%8jA#3_t@!U~@ZNWaIj@Q<1t2lE9QfXmHce`Q2SDL#i6QUeZz`U_GOi^sw? za9+mo12kB?3~;ClD}cp`P{VR?vj9Wfftf+iw{F`>Jq7Bu@1Wn&mSVwf7bJJ^^%C92Qdb?q0AEOe+r*o0}2n zLx>V*4Zl}nI|2ERSRpuqno&nUk5^ESv zhb@b=sq2@x-jgv)<-K|1!Wkt38B5eu3X6O0XjUe z`-+;H8sI924LDuv0c<5`R2HU{O{A?K0(rvbppz!v!Nn(0%+i~D`Ge!NcMk}BSb=~& zxDx>94h#(BJdGXx0dfGgQ#}AK3a;?<KSr=ZdzKs@Y1`c(J3h= zo}QJ#!AOLhoSeSCer?CF7ZwFvRV9A$B2=hOer` z7svtt*>nsH3%`CDo0!OZT}~FY(o$6w`}gti^-b#fz0_CM3Riysn5^=)|FvBw+g8r6 zx(++fy9PYTU2uCuNcNfA&oG_VHn>I7clD@b&L6;EaMW4o%>cNzUu9t!*0goJGaK%{ z3=6vy1DjFj_wO|&C7M3OoScUQfZT)|NBbK@*vm$%OhcA{fyHu6OuV_f3yCqtMD_cp z#|Mzkb#!nzI68`9l{0+8eqILf{y#p1W@KdWX=mQMdsk34S{2Z|mwgs>0NDKP&8^ND zc6S?_^RjUdK7INGd~WaUtqtZ!E($e8a4D@w-e39-Hx-TmE1L5(>?NSSAr6G=8aJYt zN=<8vjLI$5^Ywf#M41A7|6@3fyu3UBdr>HqhPt{kA9bNqUnaorR##VHtGWXyHaEAj zMdi6ikpG8U3cG-wg_W>jp>iqgNt2eo(~p^%vGSpO2YTZ+-BPG?0nxHMewUn_92h1d zB&5vHxNaaYOXI%yQYw9-w$RPZy=432Sw4+~}D56xqH%M>25jqy7b2I$^@sH8lo>2I?;E z#$H~Vz)s-qGLa&0!p`#8R*b?aC98T~kr9)CfI$3r=?@>ie*OAJGo{L9NWjwmZM1R7 z_?^S;KTtF9^YNi&Rc`Kv>l5%cIBP=Q(;L(d_GN*`Q*xIt^YHOSM&~l^f0_NP~N@oE-iwkIAyxnERvvMUai3 zo%z1KdBw$d!8-&5G(CNaLg(diGcYg=WaA$Fd7DKqV$MiSJ%>GaN2*TLySKxA2^}3u z^#1+>Kz7H)ReJus0a+Pp1)cKySa^EI$)2mfW#CFJETLxVCAF^%Llyu6#a@$0mpR`< zzBriQwZHN6?X5IJ9i7>qKdXaI4rgbr2eL!3wVd?J-q9?V2XjJx1Q#nR3w>xKb&Bt=jNc!GyG6XWs9BX?-5n`|2qhpOz%UvQYta$yPk83w zC0sXNEW#Zhd;7fR=A%A^Gogep%AwS`a9aStmJpHk_V&{0&x4{mb~9EM*1UVkuP-Dd zlq77%D;rh@WddNRY-|Gii6rOLgsTLA)*Rx8g$MLHed5h9xCNEKr!9N=G6Zn$qnIS;E;~G^xLX5D1!^e(*(55pRG+gZZca|vf5XDKA$O##91jr{C#M?t l`v2dpLu~h`f8BQac_(nyGa5{k4qNJvOYmw-sOl)@mWgdmNSAc6{lpmYeMC>_#> zlt>KSU3blSfA{`*=kW17GtZ8-*Iu>P`tFE3S}IiJEaV6Tf=W#lt&2bq7$FeISW*J` z<=8Ny8~#Up@3smWaf<&h`|JAz1cDQxhQ6Wim$5wNZ=}CHMZD(w%9@q&x8aQ&XK2sr zjH)-fcRnVoY}3#b?_BA0WpVhOn&j8x z+sT*6C@GhE^V$cCOgZG|5(V|*iP+ z;pF7hL#JvFTg38$BqPE*P>!- z4l?l3KYCPBz5lZ8E!A9}!jRe=aaso+My|M+lG!UtImFgL8!01~PGbpagm)MfEEa}9 zOFwCb6+Kf{t@4`dI;3EF=rl3@?fdsqyY^NFz6`m*yWRo;_bPyN;=j%Oxhq@qeKyai zHid-JO?9V;ZRcj$Cra(H^^d(~yUcg?=cp`}3@slgB_|VSD@QS+NT`=a$`=zv{&rrQ z*xK59bi6&pTC(%w#}6zP%X-bV|Ju!ffB<#%$gC{O?G(Lt8qAliuoR+ozc4-y)U2F0 zf%Psw=-%XB;OD2|koD6EIuX5aK@|BlVC;TJAUogg^$Uec>HS`NX*$0LtP9Zb`|3$ z`xkzv_oUR@;k2!-`l3PR{5UqPx7T5{{&3+1^TELZm8oAt&@rFJD@1lxmEWHV7n|l7 zqB|BA^-e>dhKGkMT>faix_sl!9YlC|xKz-Q-`%^(DJh1XKS(YL2n^TwI6Zn)S6;sT z>&?wSm2NbXJIj9pca{V%USzp!rMSB?wpeHPuPM4);j}J4Ul5~kvUf9IKfuo~L&}3& zP|#tl#^=_pTM7KygF{2b)fuMu?oEL`h>DCPranJhWO@x@Y;3G>dgNtgH3>X8L;h2! zxbB|4Jqag2zy0E15$Iz@X({WKdtuL?t2AEKXDE=@z;R0x$36TDYo=bEIQ4XxM_IBE zXBRGwR(nNT-nO>3_DR31uP=MJREi(?F90^MvE}JB&54_V%cllEx_vmzb z__Iy-Yq`aL|9BEwgHDfq5j{OU=CuzyTUstlO0r2h_JfUCteb(&?`S(%j1+?9pU%I} zTCrSO82I=xh4Jj!nblRxuVryODz1Mjs1!XtH@#^$a9;!)Iy7mtarix%Ct12F0JC(C~-S?ku|U(5PO*X89; zU_27)^N13k#k)6eHVT_oAYO^tMZ)eF85yOBnBN`$LvlD3B|0)ZY-?u+tdw(4ee>px zeOJc%&d#UQFV4Teq*w$v%=hLYM#sh`{QgC&urG*0AfD}zR@3H*kl zMLvszr+du`e41&5oC*rTGi^y-U0ntS23lHLz?s*tUjuJRXxP2o-5(6^I8ax}YN&2a zOK~Sk*q}ml4lITB^EEUySnAvv7#MEfzAY#BH5mwY=p)AdjA8;iaNP=vL86E$StJBx zWMugGh_NH(PG9TrAF#p(y1Ma+iTV>_bDimPtE&pOEwM>LhIct`0PmK@YJImqYAYOj zD=8^iSXhLL4_TP3j(>F@4fIHfg^5qp2x|O=bryH~cK?zhUd`z4erWDN)^SJEob$q{`hI7#Ss6kGDVT|C$X& zOF!U>uZoI@B)89ifjRW4ww z#%FPb!;JhJ9hVNOg!F>T2&>y8YuhcXW#+2jnd5^k4<8?wBNIGBgN_fXs;a()l5j|S zf2gY)?Ztm|-`x42Um)YV@+vLuZdQ=zBsL@?BjX@h&%gj2o}G(}oI`K!ONA3DF)?~Y zMMW&=d_h40!WpcyVX*}(3CK!L%>l9J1a>({S0zvL)>{lMCK9owhwBSy|c5tv@~7JPTk$z-RIn2DQ;dz1UpY+Sp)t~`AB zP%O2hwKczfCNU+Y60{X~o1C0H*PV4b8A^kwJKp*8R^{c+=4R>V&k-+Q7R#SAHg$Jj z1LNMXKbsB$vrwvmgm3R*jnKQuq`bgE1#x;X)KHLe-^C>}HrD;L*AYB*ncKv8cXxM3 z$I|zw6ySo~`mZ{2KU92yqePp`6=%xklEJ=T3)sTJ;^cd3sX65FqI&Z=wWM<%_}wTb zVUzU%Ly?1nm5Ti zg>Js{&?ocl-?^|eAfv#1d3kw%fB$#y-g#EbDkxaKxpR({bx4hsfkE%ioyp~87i()B zIh{P+pFe+|J#z+Vt`7(quu)-UOo}zAdJdlr%@7uR;RO8ReXXfV8 zQ&Z(UD;lvEC*2bYbwlN52V+THqnp6fEKpKXCZ8NmoSKwOPPZngsi{Fch5KC!(UUz7 zlj-|&@ZM3qXLPjgVAEf6+S4EGR6*9zRwpXBf{Kz-`r(q1eU1j-$G+d-JSBxmvERP^ z4Vim5m_e>DvwVCzp?yX&-?7`-)^>VvG4S*rktd>8*`Bjk`jQd>;`Z(KD>hBxS~sHY zy197+JY|iasrnA1d@&b$u7sCSM8&H5;!v}S$+&aqk*CV4xq9a@`aR75d-Glj;eZb* zm>{Ik@|X&b#gVNS>J;&(vAv=M@erA+&Z$X6 z8FSQ~#cl96KOz|5{nx3fdk}sVt$fF8QgB`jR&%>JNj3d5Y58lVH@K1VkND`Qq~uP% zzM~Hv`Crn0UoIc+08Vxu-d@2j#V;UW|057W80|~R@s`ku%5s79HiWXhZ@ z;x!>GX~=z5poak;{;)7{>fqx!d^jfg3G0Gi8Y#X-6~sjU*LLXtZEMKL)suh^=+f>g zKEVrg7);}IKEy2B$eWVeLBwJFVPRUF{XC~Hrxre>!S}oY5mj?D{=o&qisvc?euysw(^zx-P7nZ5*ZdJf_>CinFmi1A z8-$TBp92NyBc5p0Ek9UfO};R#5X^EHKMS8IrwQI6Vqr|p*I1uybs(}6KZE8w%!Sn( zH@42<`O=;qs1m`Bg5mAUNx1RDKZ4;ie}XWa$3M)V%ot!1n-J!DC)3c9eLzDX>yCe8 zNA?OymSaQfAO)0)EE1x_yA*T(;>mcSth%KNP0R=5;7I`gG)rN|2*Whuhe>6MC7%wD zxslt7Z>&M>J(V4cgE$*4{Yi+H59sH^Gp9-fs|?#A!3?A|`;aK%NwbBa*ygBg34HP4 zv=ROrKdQ#_j;g)_(6F+I%)rxX^WVYdn%np&h!VKGMD-b5&s&w4^McZJYFgS>Phsy^ zqLhc128%5%&CJf9Ig^-~Dfjqb3+x=2xF~An-VKR0f;-az0o_F%<<@=pFN?wNp*W|ZQ zI18=L&+lWIYrN-mO-vl!Am+>T9iJbotqedpCgzBED9{as0`3)}S@vrO~r~BQ(V8HpMDb!39Cd2TI z32h_xD$O&6z;RWNf^R>$&O89WMZaj`A3KP-PYpP#*~rZsANvN& zg_j68si-Q|AyJ%4AkopFy79?zSb6*#a(H9XL=cFV6};Fv%o9x$^x$Qb8swv_1*3ER z4E+GUN5)*p7+%ZpzfW%wf5AB6Tfu24ZW@OaMWo~9ixx%@3?Le&)W-`e83?FuKean5 zCi4Hj(MzI?gz@4E>ZaC@o+JPjCyvAGMuZq4AIb?dg+4}EmDjv9Bw8^7Ea*Lu{@jme zf3fXZ0Og-y!1x`}$qB_gct-&5c$b;6$YJ~-isU`W@DHD+BByfea%+`+DcZ?z3*C-t zi`pRH?9lA6i#0xH+_F7=x9RQ<-wynVr53J#3?$j3Jx3w&?MrwWEifWi-N4TIzO$dn z-b`6L-8@}HbwulaYu?$suGy}u>a2Pwy_?l*}+B&8>ww`P) z#XHL|$S`>^iL#1Xl1ymrWJ=3;S4ez$)JxeILW2p#w#@EPM@X>4G-DSFE_S`oP@wbW z=9TA_xZdB>@wxP-y=CBp@!0)p(;Au7>tmMp_xJbj-@os}mu!%n$MkNZ>+56TelQg6twQ}zebFIt4H5iFzmk^KVrMQP^rJY}HbKg(cI2j=%jcixPhvy85i^`O&&q>o1xmiOWP}>Bjc7| z4Cw~hhSyr)Ud}UwCBX!NI4k2*ynl&EGrVE^jiyIoDQ5I|vB>hUVuf{@VXHITtuVSM z-Nqbv`_<)er($`|J4-LWfburgAC7W`2Zpg4e5`Zgu1e3z*p{UScgMR!zF~Q@L&`OB z%VB3bXBIL)eiSVn_wZ@%6VZOTdimtAXCj?7?W4=GXKG!#UZtznSn`f3OEOD^jOXsJ zqMMnWnU55$$^9A^dOT#V2v@`^r-3 z*P}Z7ety2q)GU%k7_`y1opm?M^6TW@lT>s2`ksH$(x^UdM6eb4FB1(7?khl(=KN5Y z<%G<-#Y457C*u@NhcB+hvW9DIolcAGuRUyhUdhUyz`Xf0RaEwL?)v+~jLLwo2I5*S zM0G@U)JMEm1>yqMQQK%u9*OJTdpmzcSA+e(tWJj;(~0^7sJ%5QxvK5d?bA5)w3G6- zu&T>pLq(LfaF=L%agYOhEMkc<{iW(xAR;;`K5OH9JyX*Pi%j8I$)ZfCg$DzpB! zPQJt22uTxl=bRrjFqG9%l2V_fUj ztb*J`b%%fJT1xTRy9U7tHj$C<7|%wt%N=y5U!$Uw*m5??dDipPTpGRb`I_VEq;RML z*^%vXNqNo46UnKU7RM#328Zd+M6#LbwN67KN$M9aG3tneRg+5|V7l9|znQLLDJ$J& zpMkry5X-_ebWs1@OH^QQb?LWurIYVUx5Cq0ZbxbmQkBD9j?pWaJU@g`?<`;E4jAkudU;V;lozayR`Ymzj^0)mK?NhyF$;@Cdmr`FzkerG;dSJO1M7ejScET;rPP|z zyyc9ASH%Pbc%@DDdsLh>HHeW7DEVEBHo^|!OXz1jju0c~keEJlT;HGGJZxI+8+Nk) zcq58YcsyXS=sTnE(MkOw&PlwKPVZf~x^jORh&N5i&eVu7ohfyL`*4Ti!ZqiV_8Cj( zk*$o(F;}^-f3QSWIjQR>gHm#ZS-1yi%}_|TEsQXgul}=CI9X1bSkhclw(lVgIX>hd zr?ISd{$26wj*Lok%6rYyI~jWq=RO>z1R1}*Jox3~3x+X>{VIqc=d12(C%ld!hv=qB*0r^VTYR!6Vbg@}vSyw(^p zmEX47e(B_CC|9jrdbnTfie>Nd4`&I5(N8TDjsg@vV#wI|!l`qJUYuV*Fe(%g(@LF}s`)5;0<2X*%LI&tKbotYeXg@J8+RDE*iJ zL{z=@InK0MU7{SxAJ`o-Xvh!JlacYZ@LaMC#Oz~fInN1z;^877XugwIkQU^Akb_Z{ zuaJNFI{n0T;FrPkdo*k>W#q}KC`SpT5eku7%3FKDcB4QK7iEK=ORlBLBt7c0&t^Y9 z`;_M6cUQ+h4pl;BL~;p15JHhtN+$;nU(Gzg`hbLAVekHrYXM>>QWC#@Rotw-?qlj1 zpthZI93q50V|C^-b(Nq5YY)#le^%}a(5tbXzTomtSUUWnsr-ZegQ!ItF`I&heiR?- ziXuri$z>*0`t+9{f-Wh=mzDIF{PSpLk}tjEO9-}StL0{&@jZvX!Bkg@Ba$lWG9*C=9aa>hu8Phf zv8IdnKK3|#+47=g-uzt@bq>#qGq=7yexe|?{S9SVPB@O5!o*<-uoQdrEjnKR*Fl)v zxU6dR9=LiOXN^rj%KYcl&kcM>CKHrRSP4$bVNx@~(U4X}(mQ!gv1p$XQnehdA6crc z+WxJ(7kX}ZN7lbSAwhCnk}uzj^V%V(KwMEYv|^v6t|KvXI0-}V+R(+LAA8J3?SGwX zxATM!ofMfCsx4|#S)L~z_bZ6T2}O`3A)Z!JlSI(PaU~I54s%4_6SEP?Gfx|~&cSg? ztBNEvj4yAWW*$y3eErC<#=*(H$Nquv3FazRA;d<}L7eD94T!pK+3fc;hoC-KbWSMl z9k75SQZ7*^aXr^95jlpj!%|ssSfL&vhEX;cpCc=INpKfxS{};l$>GAX#%23P=Zs&h zo&P+)@viC84<z%K`aIKJ|~eBn$`CZ#>n5&AcoVf8sO3w4)h%V#=fewawlBx_9-Sk`Cu>vHkLmJv6v_KPoM1EvP~g?A#mVfBFhLfr%9$aVuxBS#?)Z>J#q#p<%I9VUD)b2Q=4P2T{C;k4 zSa4DDRQI8JHp8#^RR$r98a`*G9#Jw2XY)W_H z^9T|wT?r}!X^LfZCv-;I_yluok%B0YC#m~fonNZ>{0B`Emy8)i29KWHydAa1wS)}J zUJSLkNT7?6;G|L|T0y)Ic@d~5hIou+FF`r4oXr)sLK&SN-@r#J`BkZp`+8gAIWq2) zc2Q?`kIM^5KQ$3V(qP}7FmGTaCPiYAqeQ(SXE+I}C~OIgvF4miB{i$oWJcqG_mD=2 zWQ-D@xZcFI_vx@-XaCOs&192~(&D;azf=FQyO=Rksq_^jc50t@>5rsbCR?mzl4N5dp40TSk-lpE?z(E{nJC~y-4WHwk*?R+mvXSw757Q)s>?;z56g# zUN=aMY^&OZ^(hC}h5RbdId%R+t(UJ~rX_yMd(7Z`&Txh++~_8C1e@TlWHQu)&%BbkwU`?(}FAlJ<0&$~h~H zW92#{;aXfeaLjn2G%k`N!K5JHvs8b$Qk!=><&$aU3X~}<8@O}TEGQ`~A-h(8*DadQ(9F#Fe$&V3tK?B7{syNc z!XhFSWo3kSjEo*YnsTC}2v*_s)6)J6|B_-ieQBZ6npk-p3TUaoe z=y>+*nX9X-d9D1~ph&+!6Zz|6E)9?CG{53+{k!u0{x$3GVNf4IwzRkZ`E1i1M#g~V zkLPB8NB^NJ=M~8VwS>>4>0^hh4Z-^xGf@Ba3kV=4B&1{(Lwj=zis_#7Knsw=p8u_K zD*Jt1TKd`Z=gmz`X{o6OtDG0MoveqsD|rpQ$s^i?I>p5&f1k(8(*kEgtE`-y^7~i` zi<#Tm(?`?Ev%<>nISZJ4qvLsB!O<+cO|%^>ais2s-udFGN7M)evjQFq(0Ts9W>K-Z zPePS+;y2?nJ2U>@U%vnDxGpHF=1nd*mC30F2`;sZbuM3v$Ez<&Kb?jW!iN_EZl-QM zH^LWwCfG@+=2!2J$FTJwqXKD!u=H@sJsaJ$S-yKLKCcaCj9-NR(^DOa+dQ}b>%iU5 zDV9VIHVm(lPI7I?+gO&8n%xgUu3oFwk5?niwtU}we#G`@$ifVa!!+or??c=rX`&t| z=}Ly*2s*(D8S*{Exu4$7QyiS&NLA#crGezxs+<^72+LT4bVib3cg7h4vDEIw8vUoy z4$t7EpR;-^<^L3%n+xm)7z_|-Im)OzGUo_lusq$0hDc_xHmEApC{hfgI!PFd%ta0G zYf2MP?=s@_7ylOYNjel>epu;EqfN2vyTO#HtfZ816ArhUpuEqm=@!l~TagUQdB0ZT zoUssmM<9rmB%PMHN8?@+j z_@qhkE4x)O+)ZX_qf)ky3ya;0RjgF(5e#P!QC5AaOkIT#QOs)47A15=427^_ zjjd3$s1}51w%jlFHDn!!itV&?yDKpfy5a*!HM zv)H!3>Uet6j`$uzIw`THz{$8qSVLfrS;2^ASI|fhmeVZMeqK!pt%pzrJCJEfBhso=xjSyc$*vWq?W^0NU%C+!6 z@SS#Lv@TT_Ql-$Q;h2G`8Uo*-+cy0(Lq9ufV5XO|Jp~haTPu<5(}b-2xiU7 znsxbqz7}J~CdMP)QMol0XlLdb$;d-xH6aLoN?Q;dlaiBvdV6h?7F4o%O4uHdY!S*6 zix3nv6@71Pd;9ir^JAUEG`=fiDtWp^G^PrriyEL(>`>8=NTa#TB!w77CKFU+qcGxY zEbf#a9^mfblP}x*1Decet&rnp6eylJw|SDkP^z1GbJ!Lcb(_iQR1b27`-&y8q2WlT}AWv_(RXeMbUwXx)W>}y1K3H)EKj}IML zQbf>1sJ?u#lSsdL(z-h*C;9SyYb+xi2SnUa@(5P~AI!oZpH0RW<*?w96{Btu(D}wrau&4oQ-2u`GM}|f<$9wO#Qa? z1P#@+v^#};JR>95ycF~0b9+=qM30EK2(*R*1{7V_wquJY_V%OWBk8T_e7;wv)EnRg zEf%)oVMDZ`zM$JfLrOGDkPxDy*zt89^@nol!O(i&gu+>7t#(K-io&VK5qA*}F{0>U zfI~`H3r0;*;ui@HMTk;HV3KYcev)rE&>gw(ZNF@Asj>9EZ|aKE>LJcJLV^YY!e-i6 zBxnSgBFQA-g7qd$2mE5x?*}LS>_FRr&n$*lGtWaz0mwQ|8ZEecjKa%3%x^}}`V7X*+k3h)g zkk^x#9>(rLl|} zd}ok0v=31`RnY!7Dcn-$@3X1rz!`#^Gs{fLQvpx3@=K zP_yg0fr?rB!!)_f<~bD>tN(o_ahmeCG;g*6_UQc_z}@;2@#GjA8IAUQJbW8Ry=SQJ z935l9c*fhRo1N<$p*oy+XKU?iuKON({z}OyrIow_$wqT_cJ|hH?>vIDs_4(5$_O9Y z+Kc)hx?E``tWJF_Ze@c#w|d2r`XHVonR5(6_5jR4;EwDnuIjGkDa#t`8h0#>1_EJ( zY@3=oI(qbtZeRvXg*@v)M{vN&RDF~(ESM3WU|QSUlsU_0Ugftg!1ES`)we?35kFIa znD(r0d9<)`bBm_2g6a^G6?Ln!^Ou7jJ;8kgeBJ~(bqqBHYn_{=RgssyD=P1PlX{-6 z)m2G>kC#l{AALK)9Y5!1+X45>_WT302b2geN7Wx~u&FeMditM5OrF2|t5??b&iIsG z)JJ`TCykQnVWVO7tcOi@&E^>%al)$7FChVRSwuucMb!Mj?r87zr%z)h6-UlkOh)M& zOW|t2>87|I85R38cHz{+TNRdLw={23+YW-cG3>Eu!oR(zKY zw1XWQv}v?ttG2d!t^YjxY1b@wkjYZ0Zcq-{fG#I#-;zalk6GmkPBke0;39+x)k6jp zuf2DLgf6bHK>MXzKwa?0ab2%$PY=r!q`zy6SL=@#b{G=0A8jqE)D6k1K{*K*F^^n? zx&|Ru(e?7_{Jyn#BfTfX$Vu_Cy}i89MNxXTHIGc~>k1Frv-3&b)ekHd>4|17SPk9q z=H^C%U{U>r9C=6eZeCP%`#YUj4QkKZcw$nn1)94|+udJjGha-1AkJKiWLc|@a| zS8yla1Yq;T+` zoO^sN;Aiz&d7;M#)w_Y^?H`Xv4_ocHMQyCBM1JaE%+;-I-mu@bAy&vgCq->s21Ly#i+pl?thZmnz48|ft! z;D%eS926CiaW(w)X|wos){;!Bu&RD2k5bO9eM%gvj#73lVGfdVrAPLi8(B%Q>G%L* zlHpsWrz@2^2Q7~A9FB2#B*(`KeKB9)y4RtG>Z6wRs(*N!vc*!pmiiRv_Fxj|LAC1d zj$snf%-38;p`^>Nl_3BSQh`gC^e-lvcn~*hWD~7rHK$*{a&6sc^fQELv3s<6^&6>o zyS*RcmYh}>7bl$@Y>g*sH#RprJ31Bu%XJO>*l9?Bj;4nevWx{fy-JuN)p0glISQ*C_S zJoH%V#h0^C<|mykmdE8DP7>_C(e#qZsI`l04ss+E9N(JyFN@thm(KF4rp$fbcEUmR4_C~)nAcZd z*Ni<@~3#M064Omg)%*LdD}>;j^}yt%RfmSEFKXpkIQq>HlFte3hWio9jQAgyiSf z7y>CFX<|A#KG2cAK;-a6Y1IFHNhe(*>JK2X;C6%>vreBENk&K?6mWa~LD51o>NC~? zs=+u9aE)oov?b3|OnG{VVG;Lx7)yw{BJk6JCw3HR47mw4;2s`)4X~Ydk{{nG4#?`v z4{294>`@Epb4m?nfUaZMBDkiE+5lzDd$byNoCIDpD zJlfwl?vr`A^x*#eyPGqA8=qSS%;y2%6hHy;?$^P?YG`X;yK<$cug|ppk-wFdmDhzq zVn`k|H8sHj-#fPHK<$mu$KqgsuwJ1M{2%b3Ky@U>^lb$|5&{DQdj!i^eWS02Bqk;j zQ811wJO=zC3|km<^2e>=>qeUpKo<*(iI9*s(a4g2ytnojVN&7jU}g17Bc%KZU(f;dOL8$yyIPQ zv75d9+{(&$KT?hNHuh{4r8h%nSU7ulGikcHkHpFQz!Lp(NSs7yp%(^8qyX_vHvk#P{v{KF1I0SL zG%7;X-Us(Bkb&OeB7gv-L3AV-p*vf^7kE00f2u*yDON*UZ#>pS`W1n2$OAy;;2`A> z`$`ZN0ow!VaQb{mOsa~5NcHDZxZ|-4H5~AR=A#f⩔!8uLQpNXJU;IG<5!ehaVhx z6L6#LIdh~z@)jV9=*82rJ&(ZSZo(Hpp!2l@Idx&60;tI3%8vt-2M>HG06ol=Z^H1< z@`H{HKz&eGXoc;u$8O`HkD1Gx_P-|R^A z35-E?bg1Cx8h^w!JSi-AZa7hxF#!dRz>5B89;N?~7P{A<)h$3y<){A#Xrddy)0Zv- zD@?$*>tt>rj>MYer!qTg($)hf`WZufwq`IaPSV4_+Rl4crGA{jKk3Q zniDSq98enm0V5PE06S#>OeLEn9VKc5CFF)#!eUW7ijlAraBz(i5cvXcVstou!JqUY&Gu$x7WvFy=Q{j6xAyv-;hhV<%Qiyr{)X@Fh3d@CF zLVVw)>o5@*Pi{Q((=f0ih*J+r&{!PFPBdMK- zro1wfF#xfl2hbLM1nj_H{Cn8aFyKgpZDWF6I2!*1w(LKgNxU%hkpK!+uL9zq7td&3 zR!%)we#CzrI-wm14R5^UOXvjxL*IHX7WEXCt%e6#T?Xl)hiokGtF!-IWJrXW2=N`k zZqvh&ix;mCmtlB3?&{km*e)e}i&DZb0Jn)3gBMnJ;msSPFqUb6wCCsN=jc6%1mrb8 zFK@Wk8|s(h+@oaK;LaUR05;jcZ5F^KKc{5=0_yy{ zBOxQ>(c+-6&xKxZz_5M|*e<}GSy+=&t^&0E@UW3jZVz$#HMd!9^=KGulLmL|9t;3D z*nd+~IXO9y*@$km3B!YK2L6J11q2GfOwY1~NyHKTcjp7vmu~Lrx^lF?35Z=`X;KI9 zC2>XoBfcOVI#>%>ty{Oo{=E1zGIFrLkMx^KG7Q*R!b7_JH)m&NW{NBu>g#6&lG*?( zEGH+27#th~%i76e+BjD2)jT>n+R~!x9XrdPVlQIh{PjW4&HHNF+LdKx5|=OEF%{5E zPD^vNv3XluED8~fs;1^wzxAA#FJIy~O*FWqF(OiaYgP{)Jjjdyxc?>`4?L!RlsgU8 z?@dK5EiJ(X9YCqp)yaB!ZIX!0wIvBfL_`4g6FyMXJ<1V9WH=q(H&EPhQfuUqdh`8IyDyGXva@wWo4lxG?1W$G;L%T z_Y3tr>EM$iKyR0R`6BI&yX?@*OBNJ1iHG66WcP7*eackl8^$EhA4?rH;6&&Nm38yDNq z5F8X#4>LX9>QQlPINpIvOHew#cb?Ai10=;O9`xkEH*M#}Y`R+vvp8JSxSA9CLEF)>KsUc|-^b0(Eh|2r`)d5Ny|qS~ zKX5s!(#^8x2HK>?8+^DGfQ->3JpoYEaCUJyyKDT#mJ9=XJUchn08*GEUeF!Ob#rBc zRp;AYD4@4k%(s+QJ6z+bYdmq3@Go*ZQ^E-u(Y#!Tg00Bp|A&VpPb zR8>`D+h^bw&{&;+DbCC!g5$%G6ktRSV3jWIzz{+D~>q_Q9Rr}RNF1S4H^XQFZ@5>^xq{!Zti&S pF?hv~iVY9v1&8wgb7%3Cq@vAtb|oup8!lQR)ReW*pOmbg{6EM1k0by9 diff --git a/plots/solutions3.png b/plots/solutions3.png index 619ab4761e0731ff26af1310639088b920f2768b..fd66206c0efafda0bee3bcc1edcd5c24cc49ccf4 100644 GIT binary patch literal 16423 zcmajGbzGHA^e?*UkOoD%5s*?)I^A@)bcvL7Nu!{GG}0|8-Q6YKCEZ=py*aaef9KqP z?!AZCkFPv4&oeV?)~xkiYt}bNSy2iblN1vIfndu>LscOV#J3O#LIgS@cyg~5Gz|WS zY9c2Eg*?FjOK-~k0fA6MWT0Z|ACnIj+>CTLnuPyKMVaZIgw;@l_YC1^58=>#5`83- z6oDt(jx#bwWV>R(lu0am^hMX>5%TO}tm-VxFREPYEe!^pKkLih>b0htq7CMI7#_NW z0qK@SZ0|iynmV}W=Ra}56<3Tj$fOh!~1@EfUrL|`CMsF*Yq z`u#UGJuR(-DINiSWX22hpg`%-rvXrCmIanLEv+i||L)%2s_(YIpw{2i)YNfz*1MoI z_0)RZVuot0dLE7ZxM71(;aRH4)g9-vfc_e>zE0{a&cC-y4+c334h{A7U$1wj#)_nN z!?Bz`53}9AnT_51lwO~ zN8umQ{@6dlLYn!8XvJSSYRsY{n@=K*R?IH&^CvNB?kpm2*BIvU75Z4Vw7>G^HQy&($2IxGiG1a!CLD z82*3J5(5Fp^&T6Z1#V^z4!Rc(H-E}57o3#9YDxtppu#421nyhCOZT?0LhbxGLs(j0 z9}hqO;d5rb({2$(5)oL_<>G1Gpnikvg73rq<&y712d+q?!`kn~MFTtCtKEW+8u&YHa3QuQ%duz1T98JE-YT+LP>>ueW_+TU*}V!{_Hk zkRh}wh@G38h;>!5e$&m>@mlk%+es}$FrX)@KMgbU&T%)DVY63V4cpnpMRirxwW|w+ zf`VdUVWA_r)a&}>>sQq7z4rEYm%XX$e}kZ$Lk+GrS{`m6F3tu>?7gr{$KT(U7{X38 z47I+Po0~seb&H^uzUz(3Q_HQct_~x8h1m+bzpb%d$e*+-X};N=pVxyF6%`$|Joq>` zIGC8M?oJj^pnWR`BTxvqLgM*dcJnm~AZM4CEjPObxk_p5tgLz!?-ih(e7?x8M~g+1 zR_23=DCu=|?)|ZB)>DPo%l^0?o}N6m^YO{aUNdHKmfVRwJ<{FR{?!*l0!Q*`!uP=( z%}mV9b?Z@bPuO(Ud9Q(tmul?Nbc#}iJTJzw<-Bh*0_nT)X(DrF!B0WKG}iHW(#?(V z-IeLXB`bG=JZY$8ktWi|!@4co#^c{tS67FJhbWJp5D^n2{i(K@8_kr$Mt$SydAmPT zQBY9u&1(02+OXwxNT8yk!pYI`wcX-A@5hZ8E!h2$?{HtA2iP)>mOIB9oR;I?WJ9EO z8XA-SxWc@pGp5~PLa?i~u<7TTg+P$76^n!K&x`FVFXonDu3g_BcXf4PU|nQd39i2t* z%LR$xCkG1+Zj<>MHS>(kIMzO?#@o+vLC4@azztvTf z;4VjC5(E@2K75dukwE~H>=ihy&CJhd;peZ<&hAqAOFrQ;tq)c_7A|~au``ysC-A-oLIBLPY z=yQAEdpox@Rj9o-T-e_l&uRR5=Dh%pJmr3_fFDL(U6}e`F&`fo5Ez1?O>a z;GFsO)zv4Smo%<2{Xn#z|8zSu?BhDAp;ctqLfHz=yfuYM0H)DwrRC$tj~m>MeAYsF z$eFXpcl3sVG;Mo}MlEh`ZjwbPnuk4_7OP$rOzwWLS$-1-tdFvqT7}crkd~o$)vsT_ zYHR;Q?m@-6J;Bbv)d`%hw+*gEdu?N5V+u*HZRTqoz=FxZk*s&w1M~Vk`34uLu6~8b zxqoD2HG;@Xgz#PGn)|tyYu}iDjux-Gt7EX4m2E~nLqm&|mTId1eoRacUmg)30@DsoYS@(P;rz~2V!`I-`y$PTkH@PIw=ECB z-@oVQg-qAdw-x&r1-3@e4|QzY1Y>l^L%S4MORsw(--FD-?nUFKT~c7B!53y;`7RK zjD9-2P`{zNveJ36(H%T?(GM^4xxeXWZ}p?pplx>THNGZw$UWZlX zl)AMrf%gOP4nP@zjP#vHCDd}{kFRfOqMlF<$RV6;i9B2boAq!uu0&y%=DwMLD}1&5 zLrK`7QNP*i`tJG^*lU=WNP%kJ6AlBfezuyc(pKAaa3qB;{+Q0y*j*m1RaI5(O&8tT z_s5cWc$W`q7OAG}95%Zw)GrC2M-SKVH8eDMdU~3gnx;t2&d!>cnpWx97#bQ{T3T9L z@6|f2C6C+Z1LK*W4~%wWU?6(ZV9xa3?ad9pfB@Ricpgx@q9O%3IVUXIlu%;u^W+Kt zu$`Tqo4N^tvx^I`FswpCLeHP~zkA6*PtQBFv$w}Z8d_FX=Gw6E;q@~H2JFd1;OxV~ zrmU*Md@Gxqg}ZswbaZA%Mj{dt64KI+riQ(5FYfovMQ(w2ZM@$F4)(1HgUB%@4azsg zTqpgug~`cR1Kfl$vM#_$D<$)eZsjo*XJlmDx&QIj)SMEa^3~JPsRwos_`QLF0bt1h zoVb}`kV5CDwH{tI&pMFiC%hW9JzPhxoz-Cn^bpIwM-Sz@} zv9C{dYYzNX)3R^N-gKtwJJuiLbQmP^^&v^I`FO=JRQ*9CA_~5m?$xef0RaJu^Iovv z$*Cy=*BP_6Ln3@;d?|3A2a|Y83|pEjD#ky&CMF_c)vex7Fi#!baaIyKpMY!UKtcsL zZO_uY#?Em_@Kstl(PdoW=P{N|H`y-blN&H9K1ZHQ0`4d40T_fYxw!l%1ZY+Hfvsa_ zWPJZ?&XVNc55gfXe&q8-IymND3ydI=${ZyZ{5Vo3-fCOp`SM_7!gS2~+$x6nVQt&E zUpS)Fto!EiRz0?z?qS9G`Pt=m6H$zW2Acx8dY` zt5+Pp%kPu?>kpddeE4s3xwy

-TKUVI8*d%zDwu|28UV9VC6jRqEt-I3|f z%ggH!(REOk%p7%@p^e1lrKRrz#+b|8htQG|Ml#6JOQpe?Z($O-r4@OETN%LCjfCQN zn$|ZL>vnlWNz7IJ%VNFci-W|^kW2I+$=D1f%YP_*tOCL>BD`o~BQwPyH$|2~ZHz|{ z%KC~?V}kl@izWi#^NFV|7qN7hC;%NtW^bz{4k!TNeH-Y{{tNg)*Id?>ycz&Z*R}~a>Dj@YZD-qN2lmYA~i89LgMhbZIhe(`L_yHo&lsSLt_B;vw%@{sCvqP3Kh-tpzN?mHJ3 zGc&VvfoHECocIA+ynWEizte)0AOF~X<4Siw82_9xblsN^2@AUi*#r(b57phf0pa1uLZEzIghIC6rzKnc26%&jDi6XDQ)m$SW?u zcxTGU+_Otve?L5FdyL*4QySslnOvbun4s`^32cK0aMQa9)Pc(4Aa|bm_+FY4V zw#F$s5lf`LuCbP!JXzhP+_InX*0mCQd~aJ86y7sg-b@6==7b|oP|U#9Y-ViWKixrw zxcEKh#PU?sk=F^UJFbA7OS{6N;SnPg=rf{UQ|o->kW8qI0w<3RF4PUNEiJ{2R301a z-?pPeE)XiD_@A*c7In{Cp!Fe+(#>3JlWtgfz?A~Dx^vRX2g_KObL&F_Uof3LL)Ru{ zhy>xa5mNJs5i~wu$%dQ9fJqt8af%5aguW0KKV+lM+@jpBEWXe7Qq=qm0%_0s{~TOs zT0aLnhXpbOVYq*k-z(?6$Wz$NkrCw@VfD;?x8-D6SyZ4Gm8Q8UZ0HFsdQo#2dfg}!##b@v0K!)K;UQ<_ z6>^%-BU@ukz*Ij)rD0CN=Easj+ke+>(>~K`;4Z+>U@N+|H*O9vGrU=!F9NI6-L>2l z8jo%9Nmjdofy{AwW3hP~j0mSC0 z5~Y*V)8jLeG7{B`uS~z524p#RwZ08kQVdtH<9r2)M;y$OV)!Bc&leJABBmgB6#1dDnbgbgX9r@_xQ!ZSWS&%tA z^^LP6?53hc=ew{((P|nF0osE#qr`Ky0-+W$bkWQ)`kkmmwn6k$YVK=(>q_`>=ttv> zR0fN&*f2n)@eBEbg|OLwC8(VP)K20*x#{G|ZrI@QZ}rQg4ndk6o#lLlm10-u+-3ev zK=nu}0PJyCcEG48jxw!O&HC2q=Nqt)|Jf9sIvtz8Cv?SxQqPdO8IIIM{~8BC6~WZm z$&@#|@%ZI3(YL72>bU!;>5qYE>URC;8-!;2mFmLKpCLS>KhhMv(j$eNX8=H>3ov`i zXBzL-JwDV&$z>|UGKQhcaDs0Yvlvw_93JHANd>HZ8vC2fyL(%xLTDZuWdT;E7b6;W zN!MN(&)r?90#Pv*aG0n;Id^Sn0!Nyn=D+u?sON6+jXmV+*Jc`V)cj1NE?79dJjJ~| z-5LxE!pER8OEekF#&}VV8VECs;pmxk8Q{-c!z_gzm}K_hTga7bctrR*1I-Jt1QtJX zAQWCVlrG-o=&UA8tR>k@F9;z|<4-`FaYXa#hZgOm;7J?C4p>T|3T?;9^ z9di=95-CqO6rIb2YggesY?{!I%a5Z7S&0~LXRsqTxi&B&04VI2eAII9dlc#LYg=Yx zK|Hhx=|5c8*Nv{9vsDOG;n}0U^UIcp`+)?mu<1<6(3>s}AN-yIErd+(`wu$uiKmn_ zei*IHB07%*)3nBU;>oaN77t~lh<15tv(nuUs-{8wiG}J9B9OsB?7x!*kTi}2%A`Zq z(A7C=EIQ$%k|_(@cb3te9r!dT<6Xptjqe8&)Ai~xdyda5!1);JeF^#f%^2@Sk906( zFuIlp+V&gX^LHqj@5zs}4}VJA-n~S*8mkhGElG3H7yiTvHf$PZ1(Hto@EK@VTByj& zhbZQHf|w!I^RNyH4QKn@Uumai?jTOju@|0C@Hn^1D>isc(Ue{?{NXi7ZP|&C6?`w^ zn&RsakSY?+9#0r}KkejYJwphqnJ2)a_|7ocYe~}0%}q}) znVjv1BPTku#UaSUbO(c|(_t)2#;)mn3WU8p+X*Z&yKQJx$->?q9}4X*t5HXhLxKVW zgMyBKD!i%uIXeH8kZ|p4O&H$-VWO<8_=RoF9K(Lm^9S8SGy=a*p;$|fx>`vF1xkw2 z7c1Y(eaIZS<-WI%F`=Ys7O*if{VFM;+Dw*XucK#RkZ2E{LKI%w{~i`NW$8k(KoM4B zWrSs~nV;G_Tr>qWuAuE zvpODFx~M)p#spVhvCQ$E9K{sUXt`S_{}CFx*Bw>dI_Qo2@Q%n??hkpAPISP$(E}^U zaAJ=C(|-?%2@--`ur+b3NxJclgaBk^qkkEE$2U&N8@hJo9>GEOP=go(m>&5Ym_(J7 zrAzb$S8X)}loc)}ZUkXgF>|~qxFLpu#Hl`&%(n7VVKIv{OXyqk{54515O^u_p+XW3 z)%a;q`rn`2Ruyx=`T=WI?i~2ff%-2bEZVddImpH+zibB-A<$nii<)`s~ zqV^#4Wm{-#z8BrPw-e3{iE0JQ;~n&)A9lhVe@yh=uqH+(IPx8}0+A!UK{ZBlA+-}Z zotoU1@TRc{>sfyUTpqmG1Tm6mVd&VRc|>geeKnJ3jZ)J8W+VNU)Fp-0pEH4X_Y`L3 zb%q@DT}=8r-Adu;C%X1hbn#fpAU$Bh9NuBKJGQ>=yryaYHfEt^7*{o%NR&b^2Y?p1 z9{5hDfyXHEO#8M_-+PITVge!4kCd4-F5IqQN1K@86a4)wOz{}mjSF>g2x_|g_um_9 zZ}6rPYFkKyLVyi4LDE6UOZ^!^lC<;MkWpmae+0eL^Ey(;)J8Kots$E53pYDF%=g^ z4_z#wgIgzXg<)nHdx%OyPS?)K8hXQN9sR>h+6cIdSV>EN&Y>pmM3hQI%^h|czNPn} zCzLc8@X66$3$^Q*7VY7`iXfiFH9et$1EDhbusZa!78AzHz=xQMH}LP;;9bnz%r?xb zofF_>1&Kcbv&bfqjxDZI_qOuX@=PllJ~s+fB0qN>KR|VQlP|1Mw7P^z@Z@2Q(JXRz zln}=%hF>FX_d>n>ZiGG5qhZ>js4SMtO!@EhAUg)gSwb({B( zk!6gu!rNW@e!X$^x=0s$n}^e7Sge?q+7?X#-i-XRdc+bbuj8kpT9fcNPQ%pMm&x1b z7wS)3x^{lLv_84dkGhsLXcMFxibCFK>c!3pi9<~NP9j)CJp^d?E6%HQbjMBT=VQZ| z)`9C6TW1R8e;v0|bzV<7fIEr*vqtQ#UA|JN%;Ya_N0&e*dpBC@0_e6_yrog1@I zFdy8$8g)GX%ES#HS;vei)TH!45@CJjVB@7;zY=RG0XFcnD3M;iufB;*Pi)P8cnp6o z9D)w;_J2|{y+-!iuN9k`2nXoYI<#tD^Xq>NdEALW7~?z5Il|m>nTx_PHB)cY$>Y5^E6ur&jhTI6jgezOv90LkVO8;oVT_ zd&kRVvq?WD*+(xdqB-|CNu;@JkQN;lZqkaYA_A59BF|+;UcOd=ChSj(`z!k3yKpIj zrd_JsKowyY9?(O~YuQYQWOsP+VWF!)JZ^Nas|3~4PfzU*qa2~qm~8+bN0e}5QVXzq zMm#1Gl^%>+k<5hpo8U#M_EfG_cPM9%MqrBDX^lJm@7`71{M(x^e?AEy$0xuBmPeMx z4)3=)Zll!GL$SA}g)1aq-8VF+N(iNO?~2N(%{6NuuT^n_C>LA42+mXbH~P)%NMhmTU6anTB*6! zsB0Y;4ZE;tBpcYhOcJuJtE}T@;~#wY@_MnKMkiJej{1_dl;UU|yQ#C514Ba(c6S|{ ztKPD9-0`X9sSgWX>WPVcGDY4&;)=lOl&lkxYqPDno!=BSjq2uh<>4oFt`>aq5jSws zD!cx>o%bP1l;4WT_J_Jf9bXlg1c49Nn9r~+TmL94Gp1Z75qVu*9Y}r*wU}gQXM_Ae zN3x;1`a1vTGfgAeOg;=gnueUk0=x9zZ##P1I+bN05ULS)Ex^kxa&Yw=1~RAT7Z*NP zE8igCa&2mH(Ff>3pIaS-HLZ1|p-=-sjH>!$Lt-j0c6@J1vzG%yLhkwvVUFVpJR4hE zaWOGMAcZ?RI(nkdZuG+p)s{UI&Eyj!wE_$Wt7C5R3}Ehm&^MODuo+xbg6zuOomYY_ zHJ^LcV9s!|_3i@W*L8#q8oU7Dg1DJtC7I(*OiYr4nch8)$N$MLPE1BJXJP3qkV=d= zoc{NY?AQLUclyypU&N$WD-c;kf43I|&j-wp%zMn8zHl&;GBa4UCyWb($JWOv?|HW) zk|K0xR)p^!ebJw4B*k~sB~c|pr3vEL7JEudCyv{KEbJE)4I=*4N3C4($&Lh$`TPrV znLqy~-@FcQ3Fr&!YeWX;O$;EZX3;Qor&T9$SLpVNPgDwg&wv0c>4P1(Fml5r&6Q*Yv-dK2pqJis&>6> z5V3AA%MlI~WDT7nwN^7#t+MK^Mt_Fs4Kgc+)c(pvs^(p0*!AbG_FMfQ-@;QWs?_i` zL}aUAsZd}as)}=^qX?30IJ^>K#`BNpB<{hd`D!5hv=jg5*2D8we42kxr}6*b8!NU` zKWF+ZKzk;LUcjI4NC4~zD;Onh%et2#GA=@EbS2fJO<(QkdhKcdT>mNIso4RR%CCR( zJ;h?oz3aUD?s`c*fSTyH2yyL**`jOz9)<}50oi}@uH{ZliV(1e{z7=^UlToYif=68 zi2@+w7_f0(pV&hgH#J<x3)kgI z{&gs(D+OMMd{U*xUkm^NUhSN|w_OP@vqZr{lV6m&sC)y<=ofo8#=piaN~b0~ft&*)qCwE{`H>2nigNm6=gNp3ws0=v_=(j*| z4F3pZ;$>iB>7fi36N#GE1#`#g^5h3dtdv;6{j+^11Sje&8q_yXB3Yngwdo<~2-2hV&Cwrht{)u@obl&JeE|AgV_cgZnAxKFm**^YR1t0*Y`}fU zziB>4KP5Qno1ORPWKv@IfFkK`pP0$b;%OHs4$>aT#D&xYp~Gx;9Bu;fR3X%7_RyX& zCgvyb7S-(0JEM8JGy4N%ser7vK!$qKq3CM}*dtH=qykw0L3{^(rVZto66|(YYc2t* z5A)Aw*`w9PuOUGypS*18;7%fH`Sas|dUSnpXK@gF9enhWMm4t7-HFe7@d*^tYy%C0 zcYvG_o}y_=A+?-WKdX=ga=?=LDth*n=?o~4eVdLlZfnH5r?ol4Ok%vNLhUCPjLq_u{X$h{Q2m;E{2vz&lxzXP+?#@ow)fX@Joh4#@Y;k{93XytHq3Y#c3(mPt9T@qvKI{Kj?zQ@1Pa7QLE}#-UpUDDHWKhg?7yLONZzF~v?Een@ zVRmzHuaTm`8X9E+VEel^?Do;)Ox>cQDPgdSqKl0Ch&O(JjED1ff5}efN=iY|eknm| zfQ_N$LVblk$>L%we%Lw}aE(wH=27mNQCSr2qN4f|9B9^BI&la}Cgx|)q|z>b=1lXs zp(i1$K&wHx62!_Bp6mAbEIVM35*bL289;|9_~^eQZNqzusPm|6hx6=C)4BVYGqXV9 z4}rFHv?Q85`5KQnUb(HD|b)OPB#$T%9J*jy@ z9L9nrZ5Sv{1iDR;>{BBv^X8XkRdoW9rsrp}(b;h8%&Q8zPWj%Qb2|jR zn;~3a-0}Cp^3&G)G9p#7W^SvRxnSL3k^tzx9`kgp(k#Dr3wL*p9E5l!VV(gBqO&6+ zMXx4zX`N+8J4(3d38?%d0v_{ck4h`NQ}ha(^T#+vdTH$(Z(}x8nY>~jfet?Ob~{>f zrB>mO219#x4F=ga-1gY< zwI5(Af#|Mi(sh)c`(<=eVY~*pxw#K3xV{n9_aoZMxJF(lS52=x7jT|HvRegb*!fK? zogH8%Gwg~)uR&!SH>er_H5TpdUmhWJc6LfHHskliG^!YeDv>;ljmFL6^zqZ~qt^Qc z{8Zu{cl?^ILJM+dwVOjJ4In9(K#H3;wyi9OaoOW4(LIYXi6?TfbCh>j_?n*NU4yX7 zpJgF&%$%0H4Gwr!&jyF@%pa!v!pI1g(D%RJU(9-dI=^DHM}8IM`ep8aCeONxx~_w+ zb*eP0!IH6oPnQIx6956*q7f1hFe)aa8-ZGa-rnBG$VgCOk^IVf3ZPU%LP9i~ZrhsS zWWG~S9@79aWkM|;4T{90bJqKNWSitade`0k4M_f+)Mh!LvEU30rydDL6>FwV?u8m$ zv~>t;NkT)uhj8n#`oqqQHrmR9OhY9zaoKJ~n`1%U;_9ln`MQ!Z@I5a*R=yAmKioOh z_ydqSEO?6Lmj-Hv!stZqR&a;G&3(<1&n>9%p{%5ckv*Sofw{B?V3d^^gdDSq>OeaK zed#uCxpt>cqC=P;$A0f$Wp|=XfNIyk7nssx$nBKXb{%yP=}64cOO+(t{ND%-$P zhfsQ-sVFI`6->^|%-Go2bR?^(t7oZVyL4FF(`b;Qa5B4$_2&F2mf~);NJoq?)xP~p z7Mf}$T;)8kO2RHj;Z@$HVw)Zmg=0gP>A)Y4;aMF%}KstFcT`iPIDHp zh_G3;7%vt3Sbn|U869+@m%ub&50!2+E_=&fyNp<*Nk&3q$xWK(v70wjVJ_zx6fvuf z+6sE+CMwlYMBAZA&~Z)>gOuBM-S2g-pL@VXY1<0`>wo|LU0=`Nu#g%PvtctcPDoSb zg(&J{;`5`fciuW|)ThQmwK*sgTl5A`gvE|SX*9Ri)nB?7K-+YcJauhtZLn&`taR*c zMDbmYCY@}`IKd$s<+te3Jx+BV)TV({DIbLSm|da-;}|eSz(M+fF@oEaEcli&OWr<- zgKjCX6sL!LRq9!yqP+YDws?je@LlqocnxCPoP0JX$2n`oQkZ@(TN%&4>~|d2dS~na zzY4#vAo#)8xtoFWL+u%rwcw@)J*qUsD!W;k3=avbO7QsYT3K)2kL+efm0DnR;^k>b z0@TKG$n69VU6sRjw>e!@k``R^uP4?)>Fg*EzzjJftf8b)Sl~{`beNAUsrQB9`*`Ne zY@2Lwb6ndKk*Fd^Bo78vvj_t&={##f#@1h)PcooGoTnj^nW=%c}yyN zV7=Et;Z+cG$Y)NBKx9(-CfR$u?9o(M>R9y{Pz3rWQk9P&?-Vay&7DXQw_v_!&6!5% zwdThaWnlJ8JM&qR5?F)^sU4M{G(Fr$GQac3Ypo2i1XaDYl#zF@S3nM+~$tb|4g(^%q|@KYM($BpDCm zt_??Lz-s5Gwh3H1fPX5R3q5EE1m6GCW#=STvf$I`o4aj`j?ugwwd@9>Nc4YlVGmW5 zO;MjRn3|m45PbQB_xS=B(^t%P5HtY0E4i=y=y@O!$U&H3Zj4!EF*@%5Dk~l~{f-dz zi6v;Z1fd*Fz^8HrTtog#1ikp;Xi3ysiFJAXl3ztOPU-^)2kxk(wT{`{Yw$nTKqA>O48FGBwG{AuiL z1U1&lQXt<-ri}Iuo7X4(P*ml8q-=K7DlJqT;5I*2KOFR9k!y(r3ByUB4X>m}l@P|3 zBpXCc<3Ax#w8*I%v zh%%1|44?@rVxYX zZ1x^3@Fy??qQ)<*iCVLwWk4Oud%23!o_EXfRM?3Kbjug<*+9@^CS$5+{=(&{fnewi zd*;x5_56&&4DVOB$x=C2!~q+khkhx@7nA#I_7N6O{|zeQ-#ghjdg`imb$=I4Al_u3_{HsW7AXyfqRLN0(Gm0_Jllr)Qif_^ z;1cOA>4HkxT6^Oo??bXkf`4-1rbV_FTSS?AUM;Ysh!S=+JJH(vvJn)t&;lI7q!+8i zo1Eqe19kfsbGHbN(Ffvx)IFF;qW#^5DD_S_)ZiNO@| zWI{ksaC22?(zE`ip4`qGM|^tBBD1b6ry_@`Kst(&0Db|0h}ke^q4#cny|Q75$DjxL3Ozem|*AQ04Nr8(=!1h%GjtmE-=`es%Dp8vj6LDldaV43OBjmrf*xT%8+622Z;N#_oyRFfet2? zCcWHESFvn1yt>Ez-a!z`caO}~yPp>M_J|!$Q7r&TN zuhe4g(WaJq7Ssun38Mi=ft)Y+9gGjfyVE%-dr+D$_We^ti{vcN1_|xh(@F)!DQMJ0 zg5Zgs(ST{mOj}JQo%@@hX^N69ga)D837TcW);goVRcj^sLf2M&^-}QLx*$d`xlD+r z{M)iB=YqU$YN5jG!n#4jgUXB2vCU{8GgM7e$-3T%Xx5878;sxrTUd>l@E0a57 zwDTx7mYKAFmsVJ}r=q4M2Fe}EoD4kD?CDgq^Ev~BPqfiosX%0zAb^9?-QmF9dSj0= z5=6;Bj&l|hgZVNA7wSiOFQy>1Pp_P_P6tI%I58mhzhKG*RWU9qv?bsua2xBBqNE3p z6s0!aeCgn5t)QOA7`SnDs`4ej=~fuGQ!TjiR9HuWwMSUAdz6QC)RXMN9ImKdH`u%= zMcSsgShs2If-Zxu?7%;F;i7bT#HQ{ zN(`43t|z_PGJ58WV24=ni8!ngkLod~WIhpfi8ud9l0X|?-7)Xx99M=gLlX`j=iB|XoBDtOtwe)u#f%>=)U=O{FQ zL@=n0&8|;=nyvE9Y%NwnI^pkGHCh~kFWKL5Vm~s!bE?9Jl`E>D-c-T>7(NC7p5=2b zzP=y_YiD;vY?xdTbQbP&mKhKbFm327#Kq;b(HEntuNb18spxy(W@sn?(@{A_^M$ao zcPk-!BAl-HlIM$bu24scsJk{iOS&Pr-W&FXo$i&iz;<$%_M;s^2`eB#aKC!B<6NJb znp#;|sU&>;ZYa6!+bgT8`j!^MY*ly1pWMq&BQ~{5LL^N=$$|Nnhg5s4o7Ry5tYl+c zt4YtI_DsnS)Z_*QH{d<>-H!=>{ct-)Rt+Eweeaj{)j9OH{cu{2s=e3!`7|iPp4xGS z(9+QXP6+ILno{_yEAnSx#s{c`9uBM*h3}?Z$ZCZClF2zW$hv$ht3K;Uvw^LrDiuFK z^NHwHS%o_i>6HPPR#jbf<)o!uZGXf;zDpMx8X6Q7G*lxaBZG~N{U+r@%^Wsr$Aa5Z zlkGzNil+%$VOiNdpP|yo7!9Wi4U0T9&WWWc^2p;c($mKezTeW#9NkU~ zwpC}DoGQ|-C@&|c>oI=oXF)Ceda5Fe42-mZ?b`tN-K%(7+{3*Zvy6rn2X=?Q|8Z{s1Jr&y_2%+SP_ z{7f;j8ow_8qB7yT2V8=(UBF=j(bSXRuH*I>c#VJCAJNg#8G4^uGA^b&#M#Qz#&{&yqh zvwpnD8h9J~uV=J&zyULXtGEB2fD%1-FfjlU|Gyp#kuv=E&U^Tm;e&zu4Cp!=@TMTa z|8GUgwbMX=;4{YXQss|1TJVBeSi{o&Pz`(NpA$kQK^m$4*GURFv7ize#EQ&(I)?`b z3#G>XNglE~CUsU__@eLWYo{7%eTxodo%FnFaQsfh7U(9q5IJzmJ3G{%-$I8C~jlT9ip6 z>;}d&7MMQ&d4g1Vu(x#w#A`uh4Wt3JF;04&G%6;(Ag{iBY)zP{$>x$A>b zWA^1(Up@hP4ZeBbRZc^L01L}^wr_U*9!=+5cCDWv$oe_JJIQ zBzQ)l$-uYkvDQGEh~eySx5Ih&)y^P5osq~Kl^#oK<@%%GWxVkT@8)%Q7I}m?eb0| zPU%1U#rh4eZD!xq%yHCjXFM;i6>pD~f#1g2gJP|_b>fyQ2`j67#auWQAj_t)zTV?t zwo2r>R|#CuWm%oVP2rL6gJ+Wg6$M2TNCAnsRT(t69)NSm@4ElTJk@>ku;C~+{|B6m z0%%~K9v+|$o(kM(f#V~VA4{?CdJC8_ur(3b8h9tFbmm#=N0am2NpNWeiqLhdKSY+A zsget*!~=GjuA`%)r)Puw0l2QZ+sREs9hsbD&;V?q$?Kc6hdXm)@)AH+_^Fzgbsv@HeKB*sH?5TLas#jcWAX<9VP|`L z8`Mb2O;R(HNCgnR7QXx20XSI{{LU5~U$K*T>|(2ri4DD8u(R6&Cd$}rG75?VFF=KO zOh&fnqy|Kt#$~Q3E{^DTcX!v=*a%o*vLh1IEG)9ws(b=@lU59RcLut;w*y?mf`BTb z`f9t>tUneQl7zucY_ivl*PBUT$HuCazPE!icNI;|3$R4t>-8U+1?R;Lhd0;5zU&(P z=jZ2uhqVm|Da;!FNUwN!L{56>0Ou=hm~CQm63{I8mvXYR0hd8`wCV^@2bTab3S1w@ zS^M1XCold=++DTwI)+>amL^a`h?2(?6mF*02ZD&MSN@&=IfV&dWeKW-dQIm2uPfg)F!4_{<$ z#K*_4Je!Um+{~7Xd-C`(pRMQ(tAM~QaCk1wMR|F>eSIgnVp^^Z_kewP43b=cjOvZC zmjN=3tZZy4udJW=f$s?aZAFTSiGfpfAJ_otb8CIQv#SdsFgUoszrWzuuL!RvFPM=p zNwZ6VZ!ny99#;T9J1itb@Z;a*&nS;bNlD2s2kwk3W^gF@*FOUL(qz*09nOgCi)IcJ zDfcOV%L=%i{lj3FuD9;>evAN;PFkAp-IarXTdCX8BA|>l=Hy7`j$bdy09kfZxRDEc zeLUS9gw1!6!`W%q&Vf|-+fp@)9(z^O21!4Dtoil>8G)O5W_ET(IXUYOAIQ1h4;(Hu zfb0ET-~KF705ks7Zf69)2d>&~u@S7?ZnkpAt>rf5ff-%2NRt@I%0R%@Y%rNmEnj7H z9MILSx6+i-guRE7`2cq^beKzTY23i*5QGC9kPb;{Bt=?ETDrUY&hhuW z_j&)hYu)2ofZv#zy=U(|yFMpM`K=5V1{nqf0>P4#l~jd55Vau?gamX%aOF-bY8d=N zHGLx^33-73%Wf(72!T*T1WljDn1zdlW%~bVpxsNOj3;; z;&?a{$$xjB)$7az|GS&{-(B~<|LZP8eVQKp?&nbS4kFh#RiDIVm!idGx$_7NqE|zd z6Us-y)o3=Uz!@AAq>uz_S?0!M&Fa%$^gAcqx^z9#P=eO~rjcv28-F1gQ#n01K%IBk zO-)aR*CZ`GZtJ*aPKsfKDUnOlXL1!feNe8_G`}!9|6>jRzc*cK(4}l9 z(teWEs@B*;fc!c@9x*s>9Q}ryW+U;Qa!G*8Kd+) z6nBEYT@?+hY4VdLOP03?2xybY!O5%Ho2_5;n05Fde4a*~pGYnL=FQ^!gO--}7d|)Q zAwO`)$yuaRWJUha(hJBdDjKx-xL4YVFV5CG!Ji`D)lE=%7yJJu4gVuNhC(i@KUt@Y zjFMAR6B9Vx2hwg18VVX41^=Yb(oz8#Yd$%pdf@l$!R+3tcu>-qn9a<*Nd1&`)o;WQ zM}F}Gjp|Z=z1*OQ((7*!8u*bYLpfb(5;9?XRu@{)cJH&$>@A{Yy!I=FoX?SBJ)FJu zGPkK|_Q+>vvh2;L7e`k*k~!hxva4a93*H+?5BCS`H`j)nJ9-FTu=O9^78GoF$5;$* zPxOAEx+wbt#=8!|78%(&i;9X;61iGEUh8jR{b5^MS6_c~?gq)s%oG+D?wqUiy*lpc zk?!5;=;$DKY98IN!VM#1D`Y(Gs0cVK5j{O0B6GfzH!c`FpEY{8Ry5KIv$C>!xZMy% ztMocr?)%7CUt9a^*)xPcZ2=FTSoOwj&(>0nvNAFrXP1@jbz+OYU}lz+mDO(Xsa;uC zuCt%6GV6T;`N*hbSZhldcz=J-x9EFvx-}LS7N%wBZ6Vnu(1z@Buu!I1Vl|M4ke#1z zak4%L?ySjB`I*=1^4b4M`0~ZK?^$Z0dhySnvb}d9pUxNFA1G!Dy3f`*R_kmKlcxp#TP|$Mdi;kKam%55m z%h_b6=fY>e%8wtbZN?aSyP@}|1rL|KqE%H@h5>hH&)$6cu5q~sno}|-kX3?KX<~BntCUo?_KT4F8VJYvX-$2-kgm%DAj}U))(fKkn}fE8!%l2Q zdV1{_pMZQ{{QVJvf`S53e?HOZzH@(G-&SVWGSeWcZ)LU7c7Ij@9`PLEyZ|cXwxufb z`eZ%B3ANI0svKyKrlzJXcRCOam5M2+>8iEm7^rU}bH_KZ3!)<+`=oUo#w! zm-=b&2tyJir+)vg0#kNIU|U&O%)9in4((W0d*5B3MPO59z4AVu_gs7mK3(!Y5(Q&A z*EbQ@MURx32m~`f6x>Jw!_L4^JYgFq@zQFD0sH?Jq#+a(o-jc!|vP~R%It>5I1-%UC~9|8SgXJebR=7s=a-kq-g z@KlJ`6z55IZOzZ0KXs}t0i6T5p=t$h-RHP$#|!71JdwU{ea+A;)jk>$I(VT|wFmnOdo-eS}qy8*?<@>^F51Ow7%dsum52 zKHR$ROj=l2q@<<}Lq!7~?(cwhL*QiX{(1KUh4{NaJv;jWkn8vm`==I_lljFoX~0fo1%^;zl&3%J`cg5~Dg+S#>S>qd5UQs@1J8?LS> z{HL8Z-@bht`>J@d^rEr-=C09wk)F{Amvrk|@0O%e8zu+kTqE|Jqxq@kf0D6Ss#jlL zQnC{VHsZLCaTqLitv?kA%K6!p5t{Qxrl;Ziy;{+`Eu{^x_IJzKWn)gl$3N*lGAQac zxU2!8dW?awK9pH9weu8(O|Q=We0RF-YS1Yv%UTM_iu_gS*sE@5w5K&SKR?K(d5qtS&dgt;cA{NpO5|E=TH~)bV72$1V`05mW-#kxcJvq9r&@w*OU>%-uef6>azCb{ql#U zfP#-szL!dL;}3-NRupu3f3?3mn`mjJ!U9~t@#pUDo~rL6SIHtJ>C#0+6Xggb92nWX z?QPD_3gATO|HS(KeA)`|jBEH+waeNsVBq!^+a9(GpdL?Y=x8xWP-&v}Z%>97o4u<~ z%D4{8oAw*2?hhjvm9i*A{e3MhEfZ{IBwc!`=|`nxWUzU@d`g6WaQ|N8;5ICi{PVK) zLg|H`r)4M2{itZJFBh=F13J#IqZ*_N1pfT3>c}n^_x%C#Pl?OVmCz zubXrw84xqzp^y-dtC1)_Pr19hlejxSI5-e>S&dwIxDCp1c(VNo+p)oKeQ%7b;Qc)T z_M7vdz-JFAkqG4%wX1^`8TFqW{9KMc(k*Ps^%WHrbwbPdnL>X2ZM0APiDr+RvGpo1f!~VBXvzQo}dtDMOf?xd7 zvfNb!2J$ft&;HcnWRZ?sA027Fv8&?MsRWMpBj9M87mXIFVo3x%39^4#pC^4&TTh|F zWQ>Cs_d+W5x4rEX57tntQ+D(W1;rvkRGKhhRGQJBs_sRDmXA<#NDr+h6~WL_y&tKV zc7anV{fR8|c^^>@RQ!*qMx90WdtssnEN?LL`e%v=0YUPQ)eZG% zY8m|9qXVNy0G@kd{x-dk-S`Hz{ek0$_}F-Lsd!%&6>AXZ#3|tCM5#-8oVlSi(ITE$ zO@3FGc(!=jy zl@na@Io~$b|DM(FS-qHfl7lL2MGi z;prn<&)&d{pbvpM?IwR^+DVw%o}IeFMlD@k9h;{L7;wX=>(Ha-=FwiE4j@7lP$-f1 zla^H_MC((QNND6xLlQPAtO7&YvDma6QD=glGuNRvj56VZV8-ztaSqX1zq~LoBFI7Y z%ZnAQDJDL$XGMQWXhtsv+IQOdkjfuOE*sbgf9r}Y1xztnfz?(@$)2{b2lk0g2JR%b z|JodX9*^5-U0YLSmz)R&hdCynwWo4G?|a0D2tOf8TwjsFzu<*3bp zymi_L;^kbn9WS5j9`Zk`^q`1u!dqxq1kbo0Vc}no@%&_PY=u-}rwRNPwi&f)`N|-qOc_ZQH8fnVQvQ_@E&>ScBG|g2;O5}^`eTRP z?)KIT)bkia=FzKHcF9Pg^e=%7D}~@Jp2ZI(OXBGII^ep%RFZ%#!+i^p%9`Io@6bs? zmw+}&Pt(#zncyVNO$Uy(BM&=zVB!xUpGWI4kDfuEQ+E^$1Nu!#Lg_sT#W-tAmLm8m9jmS4bHo5&FL=?)! zT@pIUOSBx(n-ZSS>A>o!0xfS~LBS9PFABDdj-yj!S3(q*HQt!t*PxTfV(pSWV+O>O zx+9f|)%9Ko>4icVkQO7=S&y!o%VH-idCtl3d7|LV^8z&45z1RoW*=YPn;W=Td0Iis zuuT?(wukR+nHvf6gWCjU1up}*`g9vqx2_;GkQ9lOLPcQBs0TtuHg`%#rOnKIFtLqk z<=_))c#(!eI88a}IgENX`Z!tFiGXo{^R+aEnP34m$F+4p@-L<_AxwAq#JdXf!|JoG ze>c4sX%*t$y1#ff4iOM5BALL04nN)ogaFgr1-LNzJXyXamFit4zaTC@n^z`ca0D)% zz)N(wR(rA93-QfeGAVwvoM8hPrbH4Y;JB7>f_1%J^KG(SOeH!$jaMyV$40rz5ZS-k zd^M1Ccr)su@*m_ug^AVDa<+g;MjB%A z7pxsMo7}ynDi9SDp?Bl;C}+UJf>g=V`hT)v#3NP*9y#4~>z!_X@-fgXc=9=iuTV}a ztl)LQq*PIEXa$bSAt0x&frZ`>(dZ8qp>aInXSFUvY=5HdyG^!sZ%Z!+ zSWrZnjU;yeOSZ@rPVCU(wzT15Ex_}Y~!P<{Q)eH0q2 z?Fbf8Oh}Hr18N!6@PUf^{GrV=zW#yj@4S|xg}OF6Ar@Z&9gOUAe)|c5gAFreWTSj^ zAWb32?lplu7@EW3Pvz32o|8enW9Fze<{@k+@P(1+PNOfP3IDtCin|Gr*XaYMF4*!% zFv{rYsBYOg+&NzgBYr}`pFM^plE3I!&#qgunQm9E1CkNSN)?mV>t|=56&S)KmiDa7 z2wt9r`&fBxFr^gK=)(F|eLgrnd*AVpq(?`~jf>l}?^q#UH@m0!l_Aq$qq9x7>xS3I z$H&ynteffcDlo6&C+$es{D%6T^X^hoQU|R!`x9D5!kd{GVaquYl<9)*whFOMW_lsk zsM0c$k}@(k%3lp(PMkczXA<&nP=e?pSSZBW#m??|AlU8vdPuqn@-jB2=}evbXY!I( zKKgm(7A}U9bSITo+9d}om1z0&gDmLT+wL)gYh! zY;k!>$l+4gMV*&DYFi7kLQj6d?ntTKegZkzBV$E2yr_PQV2=E|`9b|-QIr9UUXFr} zUf|dYHz#BVfdJAIIw5cd6vU+pQx0ShRtv==iA-9)EnImJj36NUs6mWCO7G{tI|~Od zCF%_(3B<%NxiR7bvEPi4hSF;QrJ;Lhk~a82@5Y1)rRKgIr!D21bOlERT;CEOs-@9T zO-RbJ4|D9sE$eI3^i*MLQbjl_%D@K2Z{IoMew8ZV$;fc<$T*QVxwL0nc|B!alFuXZ z+^|eNMwRBDrKh-R^OY!5@0IBWnchsT($rW`DO=c3ri;)hWH z>f)6RV2+G05tz^;OeCPdu`(x3dJe9?g^3x!kn}=*vK1neq}FC_ed2MGLIJ@Z$h&0j znJ+>(KJ#y%+}pnL3C;t_<|?|srK3Tt9hKib_>lgEWi|kLw5#_|naKd7G>nBcukUla4@1qljVuW?< zsY^h7vh^c7x>sJ~Op-UWk;##QJ?=)WL6FGINg(~W#cRYMx*9S9>GHlx6nt%*L6e5sY78>B;f`ykpVK03s2&J5B{-IoMdN#Cmp2*foO@6 zhJVpA&LuX1K2}`znD&yyBr|8|EE@0Uv5C6;1GemZt@(TrQWSR zb9eL1+eWqr8$tvh_i@4teVd}j@%a6C5k2TmHx874d++OP+}9p;gJRVmi-hz#x6q7L zsX`bdMKXp(G26tRddKa^KG~T^#i-!xr&hlb{w;e3*#Q^vXRJFF1LhGS!GcGe3y-iI zCE#7Y#vwI@eQGU+I2BE{e>U2P_X#fCg#%1)Mi-Kf{ITA@8sUs1c&?@9b%G1`{K1`A zZAgYv@9!sO#xWcym52ry70V1_zJD|UQ|P^cfZ_hQkwP%1nV~)9g}X!`5PKdbUy6Yn7N~sNBu|eAo=U;6&~=+>S9`?r zniIWck8G_0pC0YMsZ0mRx{dK=PVzbJl4H>2p8Q*X)~_89(BMN*M%X&4Z&w|rtR1xW z3cstEPJ}ao8*jvK^WG;_U;TmqUOA-P>tG>!44;qIJr2$dkA{jO?7?ysC#AJAuJNPI zNB>@vqB2ItlVtKPEFZVk+n9;AYLD}dwy$hPA%D2!Nh`)lDq zFvV*4V0pmnQvjiu3yt9vQ{e8OU2#oiNb6v#&c)>l@#Yyjo6d1P)xEQ$|9$_k=s^J1 zk2vY5@OC1azA#xKMWB?_FIQqBozR zDW@Jheu`RyUsPOgeVJ4?&0-Q(CC1A~#raZ?SkaAi+x+J}nbF12Zp&aRN*_eFjZhFk z92(vZ{B9gR^pz^Kc-(88P|XsaU$zrj?_XkZc)DGx38OiMR8A`Q-%ZHE1%`Neh>XxW zR=G@5Z`Y$f=1#0lK9Fl!D9G!B6YwCgdQj{B6D;CA(>nBO)9Q2u#k+I=shF)m1djJQ z>Z3I_dcy{t_tKJG!Ee}(n&KB~(K7}V->JM)DQ0?rz9CrV*9l+EH5ec=3FV|!$@pV# z>oT9Ki?9mOX!ml8_Ss%b)%p@}zlMeNhLwor&{1JvqoIL(s_djK$qpu=ZW~nv1x!esG?(A? zDH7U~$P508^NjOppioGuc;T`*WRRzSm+raejN;70Sb^sSlAT>$2k%)vCMA)Pk%c!- zJJu5u6IU2Cokz2jAMU*yR8fIB@WLkiW}^GdRhf|W4AXK3nH-+;SdtpN8B#8}U`gr8 zqRh!!*2~->jMmN^vgY(wbn8r0%mmTIhF&?@+3lmjr$LWo(M)sahE*$P_e4?!MmBrXGJ=HE*{@=*hSa=ZQe|I*u zv9XbwnhH|;CuDKb&All0RRisV7H(pgBba$nMnNWCP3c)6gap!zG6;&R#O#LpAlVCr zvj2u8ebkz@zaD7#y5L|cOR0>DDE@QeR5HYLiU~!{&8@~2H>?nGjCNew+KkpLeL&H1 z>O|r%CdP1EQ1Q_7^O&SkprO|<0ugb(txQNc`Z`)Ww(NOld@rtk&TjHO>Ww5`CpG=n zV+Gd{8a|Qw;<1)1VvMFzZ=hUtob)U}iCVMKOd@O0g>Uh^AozV)Aqjcx5TI^rT^s72 z4W4n~9Rg>2lmU-4GBv!9K+b@4sZ=GYRjdx(b=l>7eD__`=IfXdV~#KU?~cs zO_0jgw0^e#*RSG|k~1GaN5}FFv(O0xV6dCvOAQ9j5T>?pRylYG>a+We5BlD*Zg3KN zSFOnL;jF@`;pA;a@w@HuqFJqqw~n^I>UEWhCveSrYFe)>ed}aytX*RhRzYR^H}Owk ziml?7o9-+ae3Uz&z=%g%WlcM9@bfa(LZ(EIWhGpWw|VSdm4<){n#*Wzz~qDgRef2* zRkT!$X*^YgZRiQ(_1;}vPtPttrLZ_>$4kHsKpB@Q=gbQS;k$h+MgGb0_sb7=SHnsH zslkw%b|XQ-`{RIziVb(Kn>fD7n%ai&eJPKd+^=8FX6xcEr-5f_>sGAG{D){sG6x*9 zV3E}7&y#h&>4bo7>GLHmnIM~(-KkrBNeE5@FT)5fH0-zT0@Ix)CNeU6eIM!kKb36B zg@c2^FKCyn8>ahiU8FDAq)!Sdm-NQwMY1r-q$w6EXwNYr!b-YOBMNF4B5zDMmeCC zVf%1*08Ewit-ZUI``cH**oT26$n`6uH*As3m(6$XH}h;htzSjx=*)WiKC%PFsLtRk zQ7?WRaQt!6&@)qYYrakA!25Lcjb^#;T}6N&sB;C&ecW%_DL=cq%JQwug)K*fiJorj zNG^c}k>A8=Txnm9@sAfpj_PK+?XyWM5wjF}0cS+pPKKcG8$3n^LCuyCtSWwr%I8)o z=+}_EBg<=-&T=5F5YM>vo()Zp#*2{RKn3FjlyHR6C-goZRu(ePfbP%1#S(FzCp|%H zLdT+hcD@|#UGFIGaByWylR>_Ew+xDlEw0KTaPpUT192m<{^Hl-&U`QY9@KlX{=WIE zp)+M&R7q2DLjzeK@Z;!*&^ICMnoEyp*hMO4IDQ^A|FFgN`2%dWMhY~6-NPbM0w@`M zIaei@1qDS5%#k?c56||}C&YDlTAsLc-QH1h@lYw9Z6HZewr!@bjIVrMJ+Q>(TUPaB1)3$F%B zw3W6D+?jIdhQ_1N)2-`y%Xk}7+(^mA1DSp&PD+QIKm|2gP}%o*$z-=JtS_W8s`3Lw zpZ^FmMlmt;HS}(JkK^P2JST7_Fj492L%E&$=?qR7NZHBhR|a$NvDN3oI`&NcIf6$z ziD*D_s180d%>++6RqRU%?5VfFE35)tNl}lBh)gK55oeI}@UcS@%tGn);LM|r$JO*u zfAT7Y^ze&O7F(%SodgNO=Msd{2n{OM>SHTx};X1+=8bfL8zMdBJwU5avF6lJ~fW!<@%Y(xGSz^xDLuH`vU!c zX3l%DDehHwS328$8>sZ@$o#5nx~>|eIHrNbB%|=5KgN4JRM&uJ@_Yn~1W`K<%-AIy&(apI%NCoFBMPj%+X(Ol9h$v2Tq!&?d(s|7Vui=#%63*So80L!Xs ziEfMYobcD&ho|*4S>bxff+c*T6ZSezyj7+l6(f2t_O3>7#|1EP_fi#I7 z?2(Rge1Rw7X?`dxC9(;42UKvr04e*0Nr&|zs*L&@_4keO`u8LMY89?vL#h%s$)0k& z;}$*bK?f^!0eK2$E>x!go`}&$u#j2W(>%LmU=r8i^NJskO)ze=2tK#>$k^#tZ$~6S zQVqgwlAe9x07SetXl{GF6jg44mC-qH>;Bf|WUx^X+m;~6h0obz>={SYRxM%SKtH=DQG1Gtd1iBZ2CNl5q%q2gB}-%G4jOkbw+;K;v}^A z4PhIbWDX!HX#!0#Ia#!VEC z(~@{E7Dj!K$irCaP)uy}n5}-{fTdJPcjF@!z9)(oefb#Btmpg)6+tSCfSvw#D zsU}lQiHu+*ot(u&v9-}=m?%28Ab0SC;(-o`kCC%DS2 z=Gfv<=RV})%p4lPK(0HlEL2<;*qlC$%$FU(UBTPs+Y9%GQ!%h^Dmr`A-{JQ*ncv=$ z=O~V2whbl7UjLhJjEAf!dLXL*olqKwD0Q`T#I)wR!VW1fS`-MT9zD)1SK$wTq&G~; z5R1eu_Aw3nX{(f1hZhgpcQus2zP?qcoQpXBn?uN&du{DT1?R4PzZn5 zX=#}`e;e~+Uyp@op!L$nz9hjEN!~>|k_R0S@o`w0pG3o+fwKQ*ik9KkaXN#x@0oUVpDC+JkHO5oWEj7CG zL3F>*K|Y^TNT{i$#V_qWh@c3gb5NU6iB%0?kZ9GIx4cldmRv+>gp@#%{+WnH>r?gq zqI|Q|=tJ$?!_Jo=4gz$5UMT@XC(r@0F_cNH?;KS50X;L*f}*D&R&?6s_g=1HO%!af z6LqQY(?@(&hR751Tn=#dphQgDxBd-&JZ|f5Zl3qU*lYc>73lY4-ldbUwIYRpC%@PV zta+$36A~!4D;pIKIB_3xdbL`!p}zrwMZ-+K?Q{jujZ@oJ1L0S6qS$esBbET9HG`CKbMiYhN8{k9~_O!VmLjQ27oHCT>!2f->eS3NEJv?%gi0NZVonNY;L1J7C}DLUw&moP5J}h(+vnsA`3XQJ`U)Gg4pJm z0uaX>8_a- zDf8<=GT~_#RcPS{Rqyu@+JBkibO~N`1ckmdm%OFO9l{?Gk0Q3ogy)>SYk3E#_Ok^fi3w=+JNC0eGx`eBEOJ{N{vkck1 zUMM1}iEsjM*Ww;{ry!3DJ!AtAdPhdgT=`(7AO(zt4OK>6KaF8 zRz8|Lo_idByx;1$k@B)#XK5&#0p0p){(U$V*E!9(kZ38fhwgvxu}VP3IKMtE z72Wi)D0S`(eO-%=JxR4X^C&k6PI69jJdW5q&7+`3q;jnuqym)ZzF-9KziypwMBz|b z!G90E(m`#niM8oXk3XBf{sMmv`MK{1HK-}Oox2e+5Mi9+&~6#yBq2`+I*JkR+G5f% za5Avd97vu#+91pc9zh*P(m^VxDil@zqEo8O6zYYZmT*!f`zXpnAr4{J#>H-YIk+Rw)O92E^sCidQRRm_jvPD^mM)H^1f?dK0FOc5UK{LY$Dm(K>}MqM zgm76zq5>^>#2NY;WI7uJTrWV>-Ab5eS3~iW-1(i-V3xPQ$t_!kY&u|^xXCCjGKbLn z^M&-5p?b3*&UV28v{%Xqv6Rm5oCX(krmJsR(qyaPPtw58{aux61HDi(>fwW@GAx0& zt`&cF>p<*A3eX0i=8hcJ4N4GF%u=8ihsZVN zDI+Z)L*=_$9OwvKE?xGkz4@ZWa77$SD7GJ%iF`h>Z|0g{O#-Y-HjZdW-vr2~dQ9zl zw4QOH_aoc|#x&V^43qNoeo&2~2caGw0h?JUWPM{`QKg~t%7fO~H?2uVRpgJt=e?BK z;bGy$|MQ$V#@^F^7X< z^}{W)xR_{iU?dxEJdinhK3JTsAq6{IO$=Q%oM>RAP`T45@x%9nq!t}PKjHn4q2kP; z`g=_LC%a_xDh(?g&5!-c$rCByV$@M6h5k3V`Ei|=qi1U-CdE;0VbDhlelb~YI4hLD zzkoXPi(cFU0LOOyh0wxVq$gMEZ&|V-cn0MpK3D~MN+%dl{3!9I^ zqdD^l1?uiXsw+mC^L~m0;jE?AaJ(wktFNh%t)OY{5og2%2~D6BjM#yBcG)WvvkOAF zKmR%Gvu%-VDMs2W9mLRxVN5_d7h33QqQT@S&UkP_A&H- zl2Vhsu!IH+s4TEl@-(VnDH|5woZ$g&Tg7|DtV7R<^1>zIMZ-rJP35D1e*THF!OwhO zrik+7z0pr*$$5av*qGITm z`+A&LcVBl)XngorsN}H}6Z(rBKH|BR_C{3jByq)E#2Cf4<;sgW0bA1lV$!nSPxZL( z_sch7rL>8XfJe3+c04U(rMo&kVe#ZHTe?;{@C8|J>o`WsxhSFs5Ix9B?to*WUd z-VD26V+9Kdim3?iH(^Omp{EUa9p|DZVxKyPOCmGXF}Q=^P-4(H8V5s`hl_ zt?bPhrbJeWCpK?g4@gJC`55Vc?W zcYms4?J=Yad>rJE<@c-1=+wNwFYM~ER54BBDG*58j(R%+v0w(1{lbR$2H4{uc449L z<%Bmlt$xdUgezK-#k3JO5Zne}F~>vH z(HWja=7HujReTTfxJDg~8e3ptK#nw!3IhG$*7m3nIT`|qAbV1)GxLXCew7fuMs3eH z#1Uz0EhYWCUrSnlb#V5PEq&`7X8I!xTm84s5HCSL&g(i<>72HY4Pnav78(LV6Pr7^0B~o?Wvs$ zw^yFxm)nV28|wpuF~g6=u%hxnz@du2ZvcC8G1PQXRFQ>PiRb0HIXe@CXG~;VJ)1Rs zHz0hn|417v3f|nNN*6>#69|2KX_J}b2#A9s9w5}wINso;p-CcAeYvL=|L82fj}lZ$ zp9nA5*>->qpAh++MyGo}?0_R@ngrfcA}%N*F%oan-Y7ej-)3+GqOKHe5uCTOFklzH z+VD+yO!%u__pP;yqBZ4^d!cD#HM^{)fSl3V$|tnOXvrjSC>JHRm#RddTXa#e-FFH@ z=Uoi~4%&jw5%}zpzakw88+`CR`l*)siZJv!o*W{8Ja~ef=;GbJr)})8O1EH;m`j1QRtoM|9?#wmM zOR2{{$l?L^Hs0M_XlZEZlubI!4oyp5TZ!K2fJj2msU_v}XV7>qpF_zQrvrQYaI^Ao zcX1Rzoa%dO)xPU;M_)`i~Gqgr<Ufb_+f`4enY9e{H?Y$Uu=V?m=m!e_i)}1Ds@u$l{MR|(JC(K0 zkJx$rJcg~Nd>Pa+@cM{`D;W^fH8fH_eQGp_jg0($*zq{xS{C@|0C;fX03ZlvW-H2k zpy{T?FyI2f9K2TII;XmxXq%c|$4SGic=$dmQ1WuOJhSgp!z=K0A1rV3cy;{~ib1Jb zNJ|(!v7#mFJ)ad?i2UK9lTWK61HCGDkCb*Bje#LVK{(mR;o->NCBs(w>Lw9 zVM7lzAE(DSf_MpFr9gK&1?x|fGz2UhV*C}IZj<_1&=WY#5}c|}qIS7t@lZ3n7m@Mn zYd$f$c9j~5A9?wIg^-X0Wale@4f4NQGxReDy8?g_ycvo`>WECt%%s9TryLic0ZS>J zKsB9HkSR<;rSQZVk{tO8B*XDCCu|*@ocJ;ZhC5yc%F30XJskATtK_S;TyK}aWflO;{>;wa%-B^F zP1rs_flov01gyIo=qk6fvm^KN1I<_(8X9F~WpZ+IxVRm+71jvSBvSOWg2W&am&;ep z&wnJa+)YG->m38KdCZ_|^B9kt6s+P@{Jf_||7{s3*FtE|AJVF0XWGgu*LSj0=L2g>rlvsFt+ z{r5ILfQPMu&{qx=oBrn#Xc_f}r)xS|{=0&K1RB^og<5QJXZFrT?~gvTYS?roL4CHF zU&_}_+ta4ZEiM8)#Biia)r2j)TaDz|#p&rQ5IvhFD^%qk-fCg0R050vKtATXga*`4 z2cc(UD|>0$8yP`0OKNq??x#i+Jv}{5O>?_VahuIyqiKnWCfsBw>4 zPn`UuGwX>ZJ<7UICg|juBJkp3@3gEYBp|p{srWIy=TS28T(xh0ejZ?7xyibjrY)=8 z-P|HoTmk|D0IJ|`cha156=qlvKx*Jx{kr^GP{8>7dGxagr#`_3sC#N_*;DuaT7~`2Lke&|F)p%^!FPOqO;g933=|ndbixA$Ty#-T7=9zV*1S& zU~ABxPymou45+RFRG(=6+4*@Zcmv==K!6Vy!?1L@*~P^+zngP_%OZ*E`OIYnfMxQB z0*w}?`qt==ghIo^4N% z#WC>kxC4wM;wObFGe!)2P^DCS`*weG6Q>A{DXK7PqZIS>tXHDOd*0q1e8#s-1Q;f5s~gY&|Gk-7fIIR5OAUKo zU0SLD8~q~Ur(1|9Hw0QRE02zPsVV>xZzSh6K$KyfSA2mu zJjKUfaa93uStyU4rmyd-K!8naZf*uRJ`80k>gUhpbCmg6iZn}5^luHdv@QTgM2@=f zB?vbw!I=TDOlb;V0iLS`l;8o3qvMlORR?umrHY~9{nZ9k^zL+wC}s^nORm@01DMtO zu&}T`fST=?k|?Ws5K?VT&8zE8*u`Q%+wimTsi}gmUj-Mx=I4VAexy=+aCULA2$&B# zFH`OOZ?*v9?E(651q}^F&cSeFVrQ=?EW8B6PS4NZ0lmBh=*&7-C!Ax@7AWyk%gB%L zWg4AKJOtoNY-_LYz$BYF5xkCbm#J;H-6wSWB4BOeZ^{b`AgwtM7;6*2gKtmAlsv(HSq)SEfJ$)w(18(10B9cH zfMm+u<(8Amw#Yad~))~)V#dBfVovws)ssV^!Rgj z$sIkQ>j92a94k<>d?z&2e#Y@h`ao{@B;Oj(8$qI5j>FfP>2=8V;ml;A;a$ z;NJ^S(F$4}l2%enp#zpDRTllnCnrX}M^d6w^xV9>>l+(XqW=07QwIQP36O-fwZKSD zKF9;}E42T8<#4GpgV*8Mioi8HDG6_53rF;3df2h`YQ3bq@i`-7??X~aNeQE3y1J@r z(x*?8sNn>v7QJ9& z^Jw-5&QBsTB;R^E?ie&p-AKe*^N*Ef)(-&PyHLF~kA4N4)?v z7fQ{HZVbRy0XMUYJs+qJ^w%#zZ%zM4*9z%X-AK(6&?6n3M;-X(%NL=8W>>%`aIzkO zy>@C?Bl=2x6$^YIMvo?V_7W%q7>DJ>3xeibfPgdWjR$L)7l`?-1i)Ru><`srgqea9 z;GV$iZ+j3RK;biIeqrIygBiaP7;FWA4a>EFbcD+56ac$mZfVKDz<{B>p7S~aPOnJ^ zGMEnd(D1K7(1HE`{(^-6wddf_{y*QRF!O-sF;LXzbx{Yt5&{B|lX@#zE@2$}{{YQU BXMX?y diff --git a/solve.jl b/solve.jl index c72eec1..650bd8e 100644 --- a/solve.jl +++ b/solve.jl @@ -20,7 +20,7 @@ function solve(F, (G, roots) = start_system(F), maxsteps=10000) # F=homogenize(F) H=homotopy(F,G) solutions = [] - steps = 0 + step_array = [] @time Threads.@threads for r in roots t = 1.0 @@ -37,9 +37,10 @@ function solve(F, (G, roots) = start_system(F), maxsteps=10000) steps += 1 end push!(solutions, x0) + push!(step_array, steps) end - return (solutions, steps) + return (solutions, step_array) end # Input polynomial system