From 6e29585540cd5ee5f28c5c1d5d5899a481adf8c3 Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Wed, 23 Aug 2023 14:58:33 +0200 Subject: [PATCH] chore: add multithreaded plots, document tty plot --- plots/solutions1_8threads.png | Bin 0 -> 16587 bytes plots/solutions2_8threads.png | Bin 0 -> 14733 bytes plots/solutions3_8threads.png | Bin 0 -> 16524 bytes solve.jl | 4 +--- 4 files changed, 1 insertion(+), 3 deletions(-) create mode 100644 plots/solutions1_8threads.png create mode 100644 plots/solutions2_8threads.png create mode 100644 plots/solutions3_8threads.png diff --git a/plots/solutions1_8threads.png b/plots/solutions1_8threads.png new file mode 100644 index 0000000000000000000000000000000000000000..e69a0a6de4fef04cb9263684d6e3da14187d9809 GIT binary patch literal 16587 zcmb8XWn5I>7dJXEbV@6TG>D|Mv^Yo!Qi6np64D{vm~=@=N{4hKH9u595Rj4%1*Ah7 zB<>pj&vW117kA{NhcoBwz4qE`ulz1UH8qq-iRg(C2n4B$GD;hPzTIEIbaYHvaE8FjeOeX)OIE&A<n^RCz zQ`6HIPej~u|YLKsBM^Hq2y4({qn-X zOX<&R-jc>}NFrljKc*;-DlIKtCdjRQ_!1@B!PtkIK;v~$rw1$FsU!%k2^NhZcJ7hV zBCWvuB5Ovp5E^wmHx!;V%qFXkq8uRzk5N{GFKu5dMcOtud2R)qA1`I=T+g`2`BpVA zTW7fY=+FEe1qEHPM~uvOEZFw+tV4iz0AbQ%G#GMRnW~^vq;aP z6J)NXikCLkdb8LL=r!Zg{NfpIO-lDeI<`ly%v7 z6^X3h;a2SGl^9InGR3uKiHiYLoLkKcy#ca{k#KA5V<{ z*(q;3_u2j3YwGdx>su~gU*G#_5|wz>ot>Td`1ndnN^*9=ATSFH3;F7)dI6F?d&~Tf zK9VqqmEb)qB9~%T|3|*4LV99+{NCMqN8#O_13J2B#01g_5pGenYiVg0aI&)WCEQMW zr#pd1SV%}(TDq#bTFPy?!m=kZiIGJ>0QRxas=CLbDk5TOLqN)Pp=&;gnShkE^oC-u zC017ueXAu(GQ#eqq{GbmIE&EuU)N)*esR3S#Q2D__3HYLXmLTo!tuFuDbH&{76d`r z+1dMRqvV$b5%LBG<6CVP0ZV=9uSprmt_Yz_O_}5^EEfKIfiEm9?C)ZVN zd=nFsH)M>e_wE_D`ZZQo{^^QkBPAgz=3k;^Vrql6wYRsAng+JO6+%c@_;7uk>gv^I z*F{x-|FfGiBV0h$Ee=XeRWuc z^DUOw+5V{0O!LaxnvtQQ&+l*V3|rNRej=nXXK&s)QnP>~ufSJ&Ud<<{DfqU6f+Wz4+16kC7e!5N=jc>cld+8z>OQ-laqg8zhQJY zSJ&e4zd0laQ|iilI}LXWhwhP(5@()`U^h+y6&){9-@O|j8(Usk83ENgG(?4lp|+-* zM)QE`M<3lbCPaC7)($o%F+1{m9`m81rq(q!PD@TcD!Eypkv@^F7=BI0hu5UJ!Ik`1 zZ>soYy_4zjh{wjnmoHxyfB*g=u{)nr>ohA1`cFWBJm|%X7uD6m2-sRKu7a8x5s)Hs z*&}pM&xiY&vTdh3YBn}Dkz5a$%Rplw!Ziy-_YdXHBLwoWJ;TCGycZMb$!9>L-IqOP zXJyTHoc<_m^$lV6`0-$=QT;4aBj~UoEM#_0j`g=>mxZoa5EEiLelQJsj$S1{BCZJk znxB6|&eZBM-vMVwKg!_Yk!LC$4UI~k_LC>`ou;e_svq!puV42H_+6j`hrIY|uI-gj z6c|&iZ<%sn9R8l2>>IWE9S`v&DL6;Q6yiOEb!KL7yph@0zrQc#xjeVJYWUaS zcV9ZgwQB+J5|FtuQTw5!kbJx_=ls`$%@96u~RP)aETSh4l3u|jRyR@*duy5b) z85vDx-FefOBDw|=j*#?NZwNR$2@4}a*!?IWBq9R3SNC)vyP{%y zbGpg8Kf__X$`ZqgTHD3BIp$d9)sYW}B`)3F-SlGiN8LQ-V`F1!a)IYP0&O^g4ih!7 z08xjD;l4h8PR@K+>xKDzpvQ5l!8G8QgO9It=eiDpQPK@I>*-j9IcS062@13llfUk* zl+scMW8CbsIXU_L`*%ues#@M) zbF;L+zdse#Tdu*GR(~luxi*ljA3uI1-0xo8`Fpsvw6r8{Gnng&?siv_l4|P4)z;R2 z{NxF^NsF$H85t%cbwkgeKd-71va?$Q3hvzb)V-8>O`Y@Y;?k1->+)|-wzkFP<)+5Q zet!=(e*OB@5y=3WN%jw!ADDD2D=Uom@W=P40q7tm4i9`}FTO2YVZ@?STuJ9A?uIiP zIWbS4RVFMVl6E%j$>e{s63eDUNkvs!QZi9vGrzI%sK-3>Ivz}0tPP$?iL_jKnC=aS zA0-Bhoe%tVHn!@rva;IRE~xISvd3{r8r{ENUW|(+aqHFtUwiA3EcxgHe;<(|UBiUc zKd&MqBVk#Y*YudVm>+;Ojr_#Qj;N@tT$ycaTc*}EisDtsPU?JN8B+6xZTnK;CB_%Z z)ff-v4VD?9MHqN61{e?K3!xV?I6+qC;8oCYF)PAAz3t#t+}LlptGpNIHC)&MJ`9&e z8c5@-Wo9C<5*(DF%haMtV7Gt1VJZ%o@sY1uwdNSK;8lpEqoj0Q{?0PMO%1lWYi#Uc zPE&>Xr`N@qHT=%^_p2#wguw9`8pY`R#%1a-eN9a>VEBOIb=0Fd13GQ4Y+Dy5mRLO( zyf_p%a=hTvlman62AB(Na%HRxZzUyGA0qI#K3qn)d+Eap!RHwio03%B(}v|tbl`^2 zfposWEHsiQ2D3Cg%+eU>Xjuk&%rIAu^c+6iFrdSHHw=9Rb2Wqrq58jXsXt=IzfK9v z()l+Aj`Qz7LMVX1mu!f@+oF9;LD?dKx!6H$hWE+m za$^`9qNu$03v==f zi4u4XGp5sHdtw+tfVsVZM1{iO|9g|6fmk;L#yS5t&ee*aGS@>)5I~rn=q^& zilKT?D$rOY2c-SL&`5x}*uixSfnhK&8urjN5OyhcGHXAB2}&)I4-qcePc9YRg6G7D z5v<@$|NF+FgO&Y6AH%5M{ct6YxuPX7rhrxTVjSdm|0F1qQi`64X^W!5=n5u(j~!9wQ1~-$BW^Y#EYE(B5iIFeoy0hh3bbn z2Lnojt1&C!^B=&fnFVM0N4aSrm`EL+A<%I9D?>_dtb?~4f)xKfM4L7E>dhN4E}*Ng z^YGYBHMoEpn(v6DVhnRrlQO%k*=OpNy}Es-OJ8^+F zkp{a*UU0d5fn@yKFj3kwS{eWPWM{+7_MEh%W@X{Nlq=51F;?21Mm^QR+vqtw5t*N9hpR(pJ~Ga2mzvoYK^ z`QPNk*u*fJI_OoFqK!*YQIU;_jfuCS_p4^sCJCt=LAIRh^BxBq5$zETX$@oR57~-h zn543xUonecAn2}N-`_%2QE zYX|euau68)y%qj0CFSJ!_|?mog}j%GUK{gAcZWzOIIp5kLx%_ps9dS&Cq>IjKA1%M zG)^{%SJ;|e7xn8S@b>nmrR_KRiHy-prhQBEOni5nmTVOq^!U@TU<`|djN z_EhG>J?7D#QO~Iw8(CRdqUhVXE)CI|D|aI5==k2asB%D@9H^8I{Z!_D_8oP0y%$kzV>?Qw!3=pacOOzcXh<-8=V20U#qsk z3i|7lp@2yt@%k>R1}s0DCpUL`1h_OZ3{%Zt6`nO^sUJBGUmGPza9kP8lRH0pGE$&j zM7y4oWs9=DTi#YD`^yLQuEaiO>pe$HVvVa~UW8~{N+W}N{nJkwZyOa8l)^^wB`p_^ z1I`CztDiiXh+dhgXo?+Hc1E$@2G&`FA+)mMl*Hv$3oWte>E%-s;B86u79SROdocT; zG~Fni>_Oyos(AF*Z+@qK+-!5{LN8Lu?dj4ViJV9OVZ&Cs_f$43)`88OA`}Od^T_v> z65k$vUL${Z_xDfc@Ev5AH>QnD@B0U4xe5!dO4l-dt}7`iQbdPo@oZU7lebZyua=je zNFKFL|Jn$UJsUpuWzpu%(7eAl*vFC1P-CO{UEnrl=)yuO*J1S7Y@17J>`1uYmXRwPSUy|EblzzZ`MOT;P{WK9G5GUG(a@)Y0;C zPU;=;OjU`+%C7mI98)V=%VKHXSkrFvH>UN`gzI%G%K73+iQ(gjVGoDQrI7lb8Ri3sV5m$~^%E}${wt-KRZER^1stcB9@1DUIgRKqk^2MFRRu5a{;IMB8axp36cKGXBxP!XABA0eWFgl;Ur9wZ)WR%N<+?nKQUCDT~ zbzn)1{&k5fv0x~(FZ5Z;lLKu7-Xt*MiCl5ET`#h7PYu<`rQQg>H+MJE#ID5YRIyV) zqt)AWt+aGQzb?8jLeE)(H34kV86Q6vznA-VnN(9>wA_Wshr>N~!@rYR_$0_5!;fFy zt&5C`kQ5pYd^$SbN1$Z@GspH|0e@3 zx_l%Jh|kxb*61@dV+LxQJ(96kduVQu_53b}HZDw5xJZ{oJ|pera8a9C^B3htdov;^ z7Onk-blLu=pZ&L+PyFXScqYGCb>46^V_k%4`nb!l2d+ieCz?F;@t7JnJ2V?`LHW=< z#HHqOlxHg%DEALwq!7%W?)IRI6Sxj9allKC-24L9w*Lk#G%q}P64hwf7#79$5c!^F zJ2m?a=wC~feh!(@Luu+~$^%cRxUYrBxG4wN1Z;)OfZ?2cV=pc)LdU4Y=ZE8m-$gBB z@3b`o=kJXJ*`(jI>g-NVZ9!N_*thI&{B7=kisx(VE)0<}us_3JJ_J!!s1vezI&V08 z4gci+n_tq%~4_iT`ONUD5O`m9`T_bRo+r%D?*O3Etv2 zd0ie}g+Z&ls=?qka(k`vFZKV;hV^Ct@Imkg?RYGDk9n;#wjO@+XWDFSGO~GlY2;FP zOpP8`>*ah+BdWV5n;YkQ4xmlZqsl6+ATk;BH6&!Y=>WFV6l&sn0-5{u8RQ{?Rlo1gDq!Tz1fE_-Hh z|M}I5MT@NLPGkMdW?_=#-NNQ$O=Hdd>{@mbxS@P**MEPXqIyUd|cZ*966PiOx&b<+R?Qu0R6m4f4w@|Gmuvlp%otTRwX3ub=$Evh2U} z?@6&n7lWNABLV6H2dpp+Ag~Wv& zKf=XI>~kDiWZR8rv}$ZUiqmv0^-C>PVM3ODcXUZ%_KK;vseW?*^R{aj^LMrKit*R+ zt*`@cJWB-2JXJbPmu`^zO(mol!Zgx@#Q_0dvDNX3#@c1(iE@?-+{>ib_viXvP16Q= z?li@pQd?>$?6Je3#mVc*vt{REYqbX1FP6i8pgGM5DhzCNyhi@e?{+7bM+M~7T=_Ss z`u_NT{rNcRE`rZ4F{0kM;gDhJ1aqjSJ_h4DnO!%1uc-*0%z#9Bq#MU#cjyt-+sS*h zjHsm}tUxT{;QI-}t+kc=N)B=ZNkGcK=L#q4P?4P)*SDpUai4A7sBjJOmZAoy;5S2kp+izI$(!Tq(cdRiy zQ*))cd3iv%l0fB2{Db(?){j2+LzO^;@GY#h;6-$Syr6SdV$M6MS6(kmn(8!e{tU?o zR#c{c;ydi&WVFS3ppKz}0^1mQ7wI3YIcLK6I_3N0_CaDb8k&egLy*DCVEa?QKYqSU zy{E7TR>uKN{*<(toc+hsG_(4-Upv2sLJMfpqL(3P9wY%TMqj7=V0VQ}lAr}gc#e3E z){LYXyP2?g{ht8_+S*L?R(mh0i~_~NDC6kM!xoqNQ@*1P(9(1KbA&j^mf*9X(^sal z(q>0LjEvMQI8-B)KSBjBh2@taDp~G+_NbW{dI|0So_w2o4tYw~6%b7Kqq=ZuX|7(} zr+kntt_-v~Uc>pekA{kdZ_+{b3r&Z2h$q2n=o@pab662LWJsER{|Cu|4?ouujIgsa zV)n0M@kioqbvzYJu&8YQJg64!@cxz{%{D?7zf9)IPpnA%^``prhUSNP6e`xBrjhHd z)lK!DP6OP^f7XM)qAkt1H1V3Tju4s1q>IMn^rG~(7Z;{3fuSlY6H$uFtNbm3XO6$8 znUk1d{7~#5Z+Vh!24*B4RtEYF8teTI^E*eA>4wyp_?O~UEbg!nrwZSS;Edp9=3F<* z_Z;6TlZlOSJ+Mr%#e>b>hw9g>%k4RNO-@gB7kh`(wzjrre~LRWqlo)B>FH!DUhbH! z6H|+pOc`;~ZZzrw)!06}7dcC&LuWq`DdAZ1|gS?84C(L3Z*tFA?A%0_3UC zbQOB$0os8WdJCvD+D6v-V8_^XbaW2&O~$>KHJ#p-tbQ%$bu&sk>(0pj@rz9fSeh4QtgY(ZQRz}E&>_1@TX-sk#K;M*iyF_X4fGNOGB$5R^k8k`1Ssyfs<};IW##hFd#u9kXGDqlz*px>G z>3fgj0&%9|LykTZUOQ1#x)8(o)A3)G@!1>YQ*)%9F_5*fgzT@K@Oz#)A~*l_cM8lW z1M`#>xDDj&SQ_$3^v1v^8fPqHtoez1_iZ6)SmhBCjr;IIHxH5|Q2|l@tS4UH-rRo9 zI?M>KUj?OCl@X7FC75ZCh(quxgHUM7LUIWtzq||@*BNgWd%ppxjf9iw|0vLFdUn9n zjYyj<(w>21iGwbl<{?@EcW4Ez&Wx*!t%_xhCUnML#U=|9 zHX|QHx?}mGQMdyumT*}7r&ZfV21;`vk#jefvPhq?eEG6a1Kt0{0+c*0kkokmRsuUp zes{H1mw+9~El;$K@FKX1KX^^%E#75BR1nhau#kBJOA39ENv;jG)uQs`lFQ@_i=S)XoMb$*CGx`RANNTm&PA-q)5nnIVthkMAfOs)ffNw3y=?;(7KC!fT zV5nut%0t2UvIaj~lcxRCC#Va^I?tg&Dnk3RZ|mPC42-Y9;Zmu0Ep5(QJpc%8f) zJUdw{ueR4)s1EC^!RJ=oDWy52N&EH#t2a5Zc;)Xs{bZhNKA@_en&SA1{ z1FCLc?haBLv*lXfjH8F7GxsI&$Q$~GhK7oYis_PpOnc^bcByf3J0-82W?NkT9yYnCD{@9+OgO! zLxqDQrACKPi1OT=s;sCeoRU`+Xdgz`yf2XlAydN5!_CK&Y{5^b4p%HBg52ihq>&pD zsZM8uhLu)6MzB;ZIPz%nXkSZf#8JOay{n==o-&b7mmjWi+m@?EuqDccG2@;B5g18P zOS|?|5=~Kvue^;Y|A`zoL^UjFrN*uAq$aXNRJ?yIh--M z6EuZ0A`MG;B=CvoqT~Fvw=|zvb34CSd?ESsd-0ue?8BES{}B`t51-Y4S@@?`u*ieo z$kRJhN#NvS70C-B-t*7xJw^LO%NUQ8a5DU`@#32AgJcyA2FP&dYfR8^~@=3 zX$a>K64IXUu$hmwxMdM>!3^@0F(jXnc=G<}#ep_b1Ra{j8CN&ZK?$P6u3_bb`)aE^ zrGllpdaL$7c_j%jOzFFcq{k-B{4-+DO!!ZS&k4pLK4X6kVw}TkKyC(g=DZPp-%OQ? zyo&TNp3JKGsj_RV(nz^{86#W_v@B{Inhp5-x0|Nw`QC3+Nm0AmfP*-WgM)+GYsn%;7Pc0UVg^P#JbbyQ zkQ+oihwXN>w2Lb*;!GEUr-9@No(#g-#!5k`BTV1l+^#C{S0^BKpRM0g(2B(hIvr-5 ztUvtdcU;aO9uXNyv(FgI`7zO_w8hRBRQhBEL6P3KAo;mahX*!jzByWFd9SYwlq}<(b5f({|%<{ z=SKgy*XhH4k+~a}2(RLw<4<8V2mh8Aeou3W;Ieex_F_+xX-|LP<8OV6iXX@rA5*MW z?X~Z{!6i=}6X)()I%~wpKrYdNJi(=%<)O#Slnn&N*ojz&!Se5EzT-V5zkK;JwOVGg zp!`iUv(LVjt2GeOL(+QW?RI-it{JZaCHnGH+!~)f8(C*83E~nYCpN9aWJ*f%x32!c zW)g7&1NSQun(}(u3|v$ib6K>j_zFaP*fnf+1A$IZwYqx}f3Z3<_+27)8xETRu>F&Br9 z&%GzqXb;)TX$B8Euv}CS1j<7m$;i>c`@~y+4mro}j8}*x!NCsxB44)37AM3QF7^BI zN;`vVY#hcbcRO4SIR0-jw>j6EZ;s55a0*F_)rs&lV|9L%K%w&PhpCa==jcObc1y?_ z;0gW^-<%&>I%H^*3%p7Aop6l67(Xq@QC_eDKjs5FJGV+vi5o;ov@G1@K*uM|i!6#! zRuku+AJKI3yxX+f;GaGu?~19<;F;_jjD5bh|h7Pxli>KApY+S9Ss_aw)fO#6~%Yc^rRP6!@z^_?=V&@07%k z90#j2AvQXG{`UEcoJuA9zofLlkSjn)hf(j0VW5NmZ3EIR>F-x0@SDjaa89u6X&9p7 zpTHpI=jODpX|rF%h&`c*>nL*Uu%;2be#tJ~QykckLIGR6T>PzfXPfr0vq#;B!DY;Gh zhwWAEZNJWo&onjAl5^H`>T`@io<0xm?B4IasOWtITYdl}Z~`b%=Xt(g;Et~%=@@AU zj%pAsT2zr#HO!fRW$MK#{u%utMA$VPJ+Sg6O-1?{%W?bXL@My{9zh-@a?c~Ye#>e`hB_zy8Ivql zE6#K87k6&wZ)A!!?b?@-#dU*3vRzre^3BKL2Mn0dli<4lT?^eWFK*T*bhp5IlD3ww zo;`_?`Z+q;gL#X0UnPP*w zkjd7nR~$OH-@~W%gK@!MbpzB!f;X zZl^Fkd7STbn%gYJd-0#AK5yOkztD-!MB%ffV{#*6^Ci(zcU@ z**mO@z1jFBxOxcuc=0!z1}@%TTE6+3x}T^536FpTN+dn`Q^Wcqp|Yj}34Aj?L3(Aq zRS`)xPO0D3FEUFv>nAXt7x4-|fifmBG8qAj9nabA za$w_Gpy^Kif}f0iPkRQ(a6`Afs60C0OlgcM@or*v^(A zAzt&J#F#wx*KbG?56l9O)35ek^(37Zb-1XJ8Ssr4SK~s{9T|92JxzkFk1T~hrY!rz zBW0NvbrG$oY}hk8hyV{TZ+fPwt)1Z6&46W`Bk)gfO(}C3Kua=o$ z=w8EH^VhCmT5$*YHb{RCBZEFP$NQcH;`) z?YImz43T;#d>rb3M7Mcj-scX8W*YNn)>sctM>I*bdu&%t*&~YIbO&l%raq-xwHGr1ugD#t zIz`LvXRNNr%5$aJ+u2I%_smb<@#ndHK+qi@vGvAVZo454Y;}s<=h8<-@)9v0wp~PZ z990|-Yo{Y~?@qq9pQqKrAUy{8%Ei3gx3*ih&W>lIt!ex&1tQ<`Y=3x+KXQ+-k&rQ9 zS!1-cGOGiD*PQ(h^`>+c>6}9I*&ic3WeMG?vnTVVxCL}q8U1U*mFNas zLQFvUx+S4lk8`KF)O`6isA

gAUOw+oo=`GG-F1O9 zTiDGZmj|5!QGS0ut;wyEOs+U?@Jmv}vI2rAqqAeo%CT!ojf!8UD{yZ2ZU6nHfE)Y* z0q1G}1}|v)yIIx|S$}eLk3mjWM&^;IR>DsJw#YJ^kW35hZO}R?wNj0L&=MF34WR~2 zvA1PhYOH_wsKxpy19?d9b-sLSYoR$UF3mP6B0QYT&3MNHQ-C}9w3ZPrEho9H zW$&?0)$`43DgA=KRQe4Q8m%gKp`lzJyE z`}BXJ3fU>b1L9X`By4r(3cH585|Z>iPHS_rM7XXw``f>Blb;>bzJI^PC$BmC)cM=b zkTnXaY!8w0Q9mefL?Xpg=##_x6xjh{yaGVyn#W(lAYYU6?%h6s$=hENt{#ZT+Cpa2 z%)I`UoZH#YHZo#`+4M%y^4x2PITpdLj^9JxyEsd}?6(BGXIuOs7P$5?urSNv6HCAy zE6=yZPn`rN$ZU zv5}jV8=Rn&QHRZ~Wv02yb9P&RK`7ZqK-nm^C>DO8a*?4Tt)pppX@PQhruJ;mM9oOD zzC^n4O-OMC!Gjw@LW4a$YLHdI#lU3AKc?JLJ!?N-qQhe@7umA^H4c`HG3r+H^0#cM zE1t$B#sF>s1q;=;>5}QRZ|U~x4gj9mxVN#lpK-YMPCq5dBsoJbCQ&P%B9n?Km672s z4HeXexaOl`TVvZ^1isfXi+(NBx_*=wogRIo)tohwL#yjiqr0)W`A=v>$q1O4ota zigXIZXS|T|fG;E^bwA<#{rovLr0w~xxAUS&mGMnHX3acY>aOlQAAGKDU<1j#ckiws zc%Jacgk}J`MX0XGHVhgBIxoVD<}n~F$SMXUC5=`->CC7`L(2j*^wa<%cBzIL0q9+T z?~#*}E8?@q+9UMmh`#S|m_Bu|Cq;LR;mK#nUW`$26GzYMe}vuupv-BpJ3+FwNGHkt zdzq0Ch0PU6*YQ29U=|gv)h{=p1k`*iBoZIGv0~s$7-;2<>4{pq#pp)&wZvsqt}SDb z4&WpQFd*RgGFdakX8@3*MgVhJq+mB!0x(ToNGZqOfUk#X0ZB?Tfw`i=T%};e%D-E_ zjM@{yJdljs555jtpkNz zM}VB(cubs(`~x7<0V?>dmyt;_2Lx;p8O%fqDqpvgyn#g$Ng)H(!d%J!VOan7 z^w8x7;&?#MqM`w+Qxrw0N!K7CiANy=_AOT%Ai)2dVT7Q85A*uJyE8zdD1;c=+)OhO zp~}z+6{;Hs@Y+=jyjGhmh@^{}@df6Ph3fVaV{p3vyDnvM)(0eXF{H?~MWHjIhz3?x z48#p%u*V})!IuFDT=?%=8rHG;5=OJ_lc&|Z4)j1!MOl=B^AzzJP}Uf2fx;F+`~np=|6LZ5vtu|3j10vPO$B4zObcd*F)-j^Ett+0pbhL$-Bt#) zN9gCm&LOUlVQ_GjBYfnEnCXBE@XX`OSo!k#u+tC|QNA`(3LVCRCz3zPhrw=Q?sY)g zB^P=yQ0)>}@XN1#4?z!O7?#@q^|MaVW-D@ z1&=zz6tU|DFHzaBL#V2GSq0XCf1_bt`F}@)TE+jl=?Vz*rEhx7Sl#yU5{fdD7D)~cMH(BC+g@H?R-EEo7aL2Nfqnf@ z5XI=H2kbI3ElSbXh-rDf`h-+eR4OYgi&b+s>+Hu}&raM2xOIOjhB-s>9un?aiuCFg zR=xD+`MQMU5m*xPh#9;!;oD_)a0=N9iwaG)ddj4MwJBH zWB7Un46&=LtL*W@Tj<#eAya_vNM-g!6n|29-}^uOrmbm-2MZ1z8yg#`Vh%)R-;!@a zU&%W`^LA*UdiLzur%#_UMWX-}tfCT{k#P-SWMo7|MU~f~_Y67>p|wFoObk#K$GL+M z<*ilew{~xZ=jP{6jE!A}CQsgYN#E_c;PmwL;9w{;+x~>sAUXk)z5RU}M%0UyaI*KL z9-C9%(0j#|VGoTjP=zFib`?N!GX)&6fC+49XvocF7Z)EL9ITpf0TeHE&XpHnK1&M= z>N%@C92}O=EC`K7dj|)!>57*djRVe4k3k9mC<~xwQbtK#{QE3p^-xUm{|jCM z;Li06G#CLJ_Yo}TOp7m*wAb9q$}QIgWnk_==w}{oZfN6;%*-^^)Qnl?O#!8~Y6pH2 z@IuPv*UM#Q)-Ro%Z(hH)vbJt&Xy65p3XFu%yL)ce6AT+&7gL>DS2j1VUAZz2^9>Ga z4}_wK2nj=@qdnc-r)%x>!)f_;c6Lx)lv{Ea$NkXaE9Nl4E*XLc-76`E^^WNY2??2* znaj-2Z%Ii3x_xbJ4S8AEDx#(34AahsL@F+6Q$WCM-IoTHG)zC>V6F-l7S?2)1B0|z z#jC)zAKj_ti)h{Y~*up7@;?zik-bFVIH2(H*5A<9@U(nXd3b$m)sTq)Z_+ZirYkjIwSU|w( zX!~cjaIprI#WDiKPYyQz9tlB9Tm$sqK?k7XE9!PMdhXA&`#s&=UN$!o&;n}M;PA|xyu zt@r>Gglu3iG}Otf-xB4_62E`oly>^p=&WLt0At=;XP zpBx<>v#UdDpf?I+Es9YJJ0v_D+IUu0R-mViB3+H`&r6@$XV5vizTW241N0|@n80&- zNdm=9;J88WDWi;!uDBHQ_3KZet#7M&SHs*qD>}L#x>=#=RPha^74-hT<+=}*U3qY_ zQPvc^w{A7AcI?gi?M4wJxLdRkge zu>{G>(5&3pc>Elf7==He3$xJD&{$eyK3tL^f>3-Fcbf4#y#l@Dc6N4J-Y=mCRWjhT z0X7~8;c?P0NY6pUUkO*9LOI4XE2;By9kszDtE~3 sFfa*)!kAZz*eI|U6tNorfB*g~$AZ?#**TEQhdB`{iW;ag1+(Y>4?}(ljXLP4Tk-c|CMp@Z} z?|Jq4e13oa?zbNA*L`2t>s;qL*SXF)*E!EC;+l>cISDff3WXxqP{-<{PCcwuj*k4M&w2Rq_=)(5-aO?vq}V(R znN#Bv7L}Muy|}iJ+D_PgrrTSda{Z5dsaCP!qwsL`5;80y2NxGjgsM6goA8N?n~O`s zmYRk-KJPVAM7Vmt@nbBO+fh)N{Je;WRnx1JP5LQbySch=NS9bxPN^*-CnAHpaj zDU`9;!1r8(kBf?mUaH0Fq|4~JQ*m)Qg{u~M8W|Z$*moH>`_$y*?W z_oe>c-rnvExqDM@x4%8mNfkdQB{lTr3kmL(NtMsmVorRJX-P@R)tuSgg)Dvn0rulC z!zWrinDqSn?H|=#$Tf<~%U$|%Ll^1ZM!&l~`0LMnXQS7eg4gQgkFNBjq@i+)#@Six z2J`706+#IK36J&x`?j{Wf`S6^R4sR^vTMf1d+Tdq^5Q0J>k*Pq*W=Ap^q)R`idF0N z7F6Dr_1kkbH8r)i<_JnpPftrro12@<3OwEqmM}9l-B})To~*y0_O&RV?BB=uag9^m zCl&ijvXMP)V^xJZ8K#FDxvG&Qq@?c-mIYqNtBZ`GymKX} zmiXv%d{R@8&!E4#o}QjBQJi|sE0f1q?KZB#^iWcU;laUhoy!NG3F-x8G4U}sshwgn zGBOs4^6Fr1v_E0Gu?IMUj?)>z>T0lLTftJ-P_8|4dbE|u7d%l6iE2AXzp9`zm%L49 z^GmFDD;IY^t)Oyl!8enavTNft&TB1)<%@JBH!LiKk~>ukZ$DoeDBS%uqH9}Pb;?b$ zR-8+|m21$On3!1FW%A)dh8LDF=iO+Fzb_X1m?yF~=B#oqj}7%QhJhjZwQc)Toy&pL zr%&g9lX4s3(;HZ4Xu2WRJ*=R&-?DXu@enEG-SBQC0*+~>ng2yGMXuWw7c>`-fQ(wkAm}`oA36%M|O2-p@dAU8AYv?l7%fY-HA7Ue%;*O z_WuzromRQ??AbF=!Cxa4(ic>&U%&3-;{!|Oq?jRYclG4>$m-#@P@Y$szN45iWU07f zh|UQK3Edsdz8pzP8YnE_OH4%Y1T9cn+GBLx<#@TY;zpU%p9JYUqj8CeKj!C?l9NY3 zA)9@76_#jV46BDDsi+T(U&{483#gx8akb&nPltzIZh_4ZaelCDkEtvx2DMLm1|+-0KnZdZyJ3O0w= z%6L*--0Y7Z5;m>)p~`3u9-g10uWcI|8Ug|WJZRZrU*7&TT&AI+;pyqA@`TKBq?|R# ztj=Wxv@FMeASaw})ZHq?FvWSS! zbDtB*$;p4YEIdz0c;mG;osf`##t^vw8YWkAaaq+>JfdS}erxlAAXItdi$H~ptSnwf zXXnIQk6&eGb!S*v!zkHTS5~H~$@7(K!idcxVlL;I$#6ZZRyo{#XKs0nt9yc1R3ziO zb7ylz-`w1Mq5#ZCkHX<^AUp^}5N)kxMuUa8Qfyf3IA9MVpqx>>Xy270;n0nbkKb|Y z%}l@{Ic})*Mx*;uLPo}28yhjVxegfp!d`;+=Fj<`$KLHpD-(4mdp}}#MJ@;mzVdXu zfB!x*J&W;h>a(?XCkQxTorhnU0Lkh%Z=Oa*{u(IM_3)4if|-8&^oal;-_X$T??yZO z*U78=--ssZVf!t(V)+~$y;dJe{dta_b-eu$#LXk(cet|x+ZyEV(4D>y5=GycdOI{a z`mpo45UM~c_4~pC0~6C&!-EB*-JSO>ps_nUJFsfCwY8My_E_vk*o{X=N52XLty=!( zCtI4<-eE$Ch*VsB@bl82YgzgEb~7#h2KxF1x>?h+W%HfMx|x?6JRRBC*a8nHW_YyI z@Utr`U584HTwGkFq@>Er%WqUzZf|c#M@3z7oeiq0dN5EMD=V`u%GsCrBm7#wR&>-= z=D<4RVo7P~dw*KLe*Jp)&KvJTw~JUoO!f8MR>o_p9C|!qW_F#= z!K48FXP<9@+C>W$zIoH%-d+f+bm78&HnoO`YZ1{ z4(Nr=W$unwZ~q!`aBvvOv?Iv|I|Fl6P*8wvT<)xfI@xPibV{~&a7a#1_dDrdo|~Vq zaULl*DAalW{5h3di!kHy}c%F4NJ?28{Jgfu_@y}WPvSatCZ&T@c`jt+6r+9=5 zYUAT?v$Js>9Yvl8N1CPO<-+{@CFE8wX27}STzi(3)YjgfoRqYGcxYx~A~lMK*vN*4 zeOS{MP2|4>1O=M#7V@RgD|EW z+&yY^bTo=h-qfAMNtl-&F+ZQhu?HWB>&XYh5vKt0!NCWrN<23tfDwWKrujSBEhLaY zT724=I_SXY)*)feQvt9By5SDd%a=-a;G|Nz@LPKdQS_$^Bx|~oRsfx zzr|Zhvl56GwxwQf3OG7oRSYn9Cm9kD5|R=V>su1u+Sus(d(|R{<$s+ng(~;uYclkm zH>{|y9|d_AMqVRg$bQXIOxuUqfau2ZKBgb*@LvWYw(`;c$0^Azyl92K`0!OE!V!29 zB$RbkeTy5J(i2~`h)kl$IQ5xoJbmO%PI$rp2gM`}OeYMPj!6bwY^ji-TZ z0up-8c($9=H1Z0_!yh~vRT%v=(3JlO#Ql(mL4tZ=Se|lZa85HNib-nL5OrRJsYGd4 zZFd5$3>*;Got~7ty7dql^K%%)f9=R5brqBzEs|kngCVxd`WsY=jED~d1^hWxj+V-` zrE*k6zP&-+*&`##ZAa*s9V2uYk>xC9r9#5n9XNX|3BmM#ARLsTW}gDd@mL^PhZkh5 zbY7Mq{`tQyEI1l~1qVPzEu$JPJW9H2xH z#|vaGAY>#i_6CP2=Y}Eu8-$hekinv0umxER1F|&sh)hOU!>K^vFOZSa72`1fWa9kq z8`)y(Wlp^xh#)EmU9ZC+W%*RBN+(nG_ie!}K)@+3A;BW$Gzh*6%ggn7iTD+wwD9tf z%hX#Ba4cX9AwFEKb{u$9RaL0{f=8B4qjLa9s&qPVHiGT3B7;+%-~OMsv73MXc&<)< z=He!=LQe+sWtT2;V@<=`iKO_?or6P-syj(S?lkT^EO~XJR`J|ssnp!o(m)6SxvbY} zdPT(=#$gf6w6}LdVj^u&-AsU-jEr#=x<*q&BLdut77r~eR)FsGX%k~(NeAM_(@*_L z+IHTE8>!M1?VG7&L6{72+*6&LiF#*4m76zjUWsLE2K)ZWlq#sS)cM-A-l`r2(rgGP zX-@Q#Ki`6=QLxqYYW|zl8Oo60{h;E|P;;ZykB-N~y}W0-B-tac(cZMRB_wCwnmIZ4 z0*_6Z`n9V|P*k+i>RkXc>6QL(`1N=U-YId53YV@Fd5)A@u*kU1zB@TuyZ_@;M7MIn zFoO)Dr}Q_eOQzryni3x`=Cx{WhI}U22{F72wxj93E*^w=B0knXa3GWQD zbQ7=_xIeOs;@!lybM*5=iz5^IH!ZZ3LQ9?+8x3&0R0JhxO*a5Zu#<63zS-{_e{ z6F}8`KvxnrFIAdBuYbR%TXQhfb0K;S8m|$9UdO96fp>(EcXDq8eN{?YWW&#nr)Hi~#8*R0pC?@JhhC(u6~sV-Knu7XU=?^}{KYu;fYClM3kbrq4GRnCqEa zT3G6v=wCCpwsScb(l!3k)PVay%T3%X;q$GpR#Ou=LL8&gsZOr`%P?$wNzxGU zMdH5HKD|^uF%z-#`{x})9p{baU9P+A*zeF^q5tG&E1@FMpl>NuTCO)dm%MOe#Bkx+ z&s(SMri2=Q-CiC2Qj(O_Y!&z58et&?Ylhr-%IGD>CpNf49NPM^>~R>@6tN19Mp8x# z{XML@m)J7t*y8EG-CXMLYp{(o=aKr2up@aAci%lypS z1pjlg5NeY=OBz#T9_>!^O&`+e{p z#`nigrn>AmyC0{QnGS{x?rpnFP4pMpe30ik+n^^4gNJpk`1KY4oA$$zVkWON(+B8%t+aVy2EdzgitU z++t!8^*mbN_AKyRHcr;!abD;x&roR`n{v1zPDS(}jqaxEDAUT)cg+VA{k{42PwaDPr7S9a*Y}qe2z@Ajx0D}#sS;4UHq4E- ziquifV*-W?MqTf#tUsA04yM)7xwz!KARrqHAetV!NxQ-v2`#nYq!keKZv@ z9X-8e(?c;KA#HahE)PiWV08;Bb6tPFPmO1aZ?{r7j{7y>@vN?FHzHZr&*xx3&skP` z^_|mP;bBJXnI)oI%#3prWBv{PzF`!sSO;!>G4R8*^(o%>|E_NI_$c_=d^%+iTD&OZ zWWyn0yuS5_%|)JvoUxj_*v-dCdu6NC#DtcROy&&h%G@0H1#OqY&k>d|8E724biXFF1l({CL9`-2nvkg3ou4rw9gsCVEoX)? zt#fI184*@dYq!H?`wYB$Q+-Ck?rD)BwgmBTK~fCEcOu5z7DH8@U(pY=ZZsD@@f#>u zIK%42!Z?Z7jiD9N-u0aw>}|$?IF-dLqc6|_G+j+A=lc5?Z zBPSQQ)yCkFMPaDm$?m5dX=T$eEuwS|*>DO`qm)&qI^MsdiYG5v z4=Jq`de;>sv9ga;)wc?x^;p0XzGK{Kd+BfvrDWDv+j$^-_;9y=MnE$m*aamb#BBjV zEnbjw!^pJ4!A|#UIgf+=w`sdhg*W76z07^K*nNXe;jFDWuW`wq?xO|4=Ug$7Six1d zaYka!;9(v54Cg>)XBby>VUg zpwCK|sED>uKkr&4V;?OZv$o=%1NTZ)VRK#@DH%F3PILGaQZ&$Q>WVm|dZP6+8p0q3ZZOmi555ZaJ z{J3x|C4?|b2S>weug6{w$m&9TsGGv4MZaUYcl>#meXpE+T{w;?3N?-X8+3y5W{y$c z;t*6$C~x}~nY?9kQ&5_o6&tAa>yi*B@3-VRE9MvP=~76rcr3xBK@6fyM1)R~j0r_( zdQOeOjl3UAp-UpCnz?1eEyW~7{S@bpz;<79>$b$vbFeMqbrCiNc?D}O>#DoM2|{CV zp-|C^s!2&W5yW%Pa&cYR&GJvf)`M7yDvT&)J<%Byf3Qsu`?|2J-qiVsWgF@Qy0(Rn zR$WapVy?N196sv8iSPPWqD6WF_OVt&Fz+~gKT<=CZSV!$Oz=ykhO|dCQ*fR+Z|Wbg zJ*Z=#O~;cPvRLStQOK$#lVXu@lxM||5S&QGv;SZ`SWrH31Lr<6@FPw13r{4Zu9az zJ9M!Ua~xhCraefKgH|2GkCMhQxe}P8)Ntgks52-A99nc}>m-B?&f5AphWtHwnPV61 zUo3L;(|o7?b67UxQBB0&O6-dF_R?Y*4F_unzIZU%>;+enjuz>2ETZ`7K#ta9MXUBaOl-kW2&_#$XzFI_laba9KM`3p50~?^lAOHe6 z?DZ}Qp7gC4_iQ4aJVg_{iL>CK?7*zzVWOf>3Ug+C;E>V0$5{Y!dbh2B2pD^Ht`jgHo_uKz%&L)O5 zr|)XRLM9Xjp+FGX&86pcb#?T`Sfmc89)&%{Seu`@u%n2jLXPJNo{x4OE-5E=76w#ZZ9M)}{xm$3)CYbWE*738e4 z?vOLcrPa`LG%7CUjJ!r>5b9`Rl)6ZVOt<8Qo!xxCW-`=cjSiO#bmcw1wVrw%pI7{< zBbrocrm?v*x+m&-{R85RZxw$6tOM?x#Ve}vk%6KQ@)@#~DGqVII>ktabeFZb-?C8(B~Kv~wz zjF*S!?c29_>RMXvUS9X^*xTCL>gx6gTd?ijW^kf6IMp*kRZyKkcw3`%gE41ZJ4Mt6 zGSes$5)#kfqhe4Z>x;+>4=cv!FXNv_n<9yx8sD|%-Q3(OJ0H#r^5-VL{^|NvK2iY^Rl@k(tyXsiB*6$xT-?R8 z+1H*`Kaw21C-NDEV!D7}0pO(dzgE{OcTFMn(;3Q7_qf&jA(%}d2_!t}tP=r!y9mcl zVY%*^_g3yyxmPxBF$w9r*wxhe9}40QraS2?(RWbOsxS8+r9V1WKT>fg`K-~UdB>)| z_0z{I$P2HDYQnXO@m*;JT3X zN5qlF7UBO8+I~vrihqV(R#z-8pn^^!$bFV1jvx9qq^LElsJ8(GN0H;-{jR#B;%03X-2i zKg7!n8fi{u$yVtJCEX^ofXHD&_nnYzxM8}s+{AFXP|q_?NKWRxE0Q;pnr&GcQj&G0 zRmYnDGWed#`?xA0+lpfBpvVGTv?kvQCnu` zEK|Wc#6SKK(as=Wr4F`5&6--jDg|>{DI^iEDp-btq8{%IemQDhiK-X9h{8v&p!Lqa z`PTAbw{69i+DYm9{o(wH^vIL)%h$)FzE26Za5&tEi?TR?v+n~d9YoyAx)`uFz%_fx zm41|@32lsduS6Mo6V-c#+?gFRCtkl@=yOc%=_z(Z;4RrET9CGx+a2 zQ`SU}@v_kOap$wiD;ZtU1$c_`-e+UBSW->ne1wnEP2XIdW(f2Xt7|t0yTHZ}8RxFc zGRux*$DPWSUl*Gt=)!QZ`x3jQ{*89I=eN<$;G}il2%>mM0?=Z3pHe7q)x)elOa{M0 zzrzHgYH^zoW0LSajH>W&{`Kpd#y7~Bmm&-om8a93|H*UR^vv;A#ki_uzBC$PDpr!g*g73dRuS@cBE z@}a$iUW(xF=Jlh*HD`q!OXN6m-|KsUM<(({A_T(I`Y77qNSvFsR4>J-$IPOuQ(>{R z+r2X_0mfQbdHt8Kyf-^uuy5_-)XNEDU3nbgmCQtRNRU-T68t>$z*k>dE6eZ z?j8U$%qA}ozk>wxjF`<}Mh+$-{1^;GsGWyGfh#!Y(?h3o2bMA+3DsubE=*w}C`+VA z3z0}}dT<$T1XqgFvi2*yF=bYNvbm?Iy3miLSRVwY9lnb{k$BD$*{wW?1qI-?RcHfy2slRn|l)g8LNrNT3A1h*e+V|(mJv6 zaSM2}c>mT9-@7t+{G{`*m?S18on~VT*!bS|<;&H+rD{#A>BlYhf;G0f ziQ&QP?)14ok-T%Bs#Y+$c#_dId!Iqb1pEa%}RCs)8Isa(8xamb-(sD>j*+#0LXogh6Uc>X*!qgMT+KaV&k zo^&nB{($57({ANFaY#};fq)1vDX`X>NtE^>x`VJwH=Sr_XS(X{i_wR2#kN9Jqf%?y{Ctu?aF;x8J{>y?1=nF+-^>D>>>=xhR8m`j}`J&St+o-JE!^ z8z?3xm-kAL(%8}2_iT}N?QfQOjhDO1(-Lt@3t0)D_dnC_YPm~#HHjYKt+A^3=qd(A zMHse?jO^C!Jsgl9%ih6@x3xDk|A z4My`r^IV(qU%+o)Sve!+v#{8A{Ia6EMYi~eds_SnH=MEtv75nI>%ivo$2-T3?W@N& z-zh=1JA17^LaY=z_`Xm*U%Tw|OiI!6@c!)cV9Yz#J*{634SIz_;Sh%!uN-C7!QFh(m-$$)a9#8$9_(1gfPM4P|5>B_hqcL0S*|v4|qd^TgN|+E7@Bc+ww^#BpW^luLh+&`sWN#&9kSo%R8Ny zPoKv#$6asyc97o5A-TKRY`0dje_-{H;M3ANT>#a+GSlki*+HAi z9%}|t1}k5yBNqj(8mO`t<6Z=bth3Ed4xR&?-h~Ty$44hmxUGW%w`q%MdzjDZqkU&j zS?5EM6G2XK4W&@N!npsje~ImfJdl3$FivSU5XzT*i3qJO!C8UqD^M)`2a!nfCaJ`W ziHy07)kWZ?S1T0vRq3$Y^iaJ@;z1V%8A54uaRUl&hM&(clHLLEKsXyaG`3k1T)=Dc z;QR-AC^ptrLZ<`hA)JjCDSKI>YM*v1VPgRvo##Uv+#GZz3#W-dbGh~9MR4RY=VS?} zb$q`PUONzIpVv!SYR0%<;ld(k%|9oJFOdMkpdggg*p@05YQQEK>Qi6J37^ zkb^CCn5xGTao(Snm;Whi3cFdO))PSrTTsKTiHwR$mvX-D>bi~##(ZdPb#i*hmGk%# z;TgbzgtO^z$_5?Fxy^+)HXeSApk148mh;{D4PI)0b0LyKmARiX1=5>teH!6Kkm#v7 zTu?kQ+1&tW6(!rH4z6bu4!Bd{cyGgXl(Es@%Jrh3Mnr7v?9gXCk}MH%)q*Ou4^gWA z=Y;~P8vtQ6G#oq{n5esV&(YCjcPU3D%+hBmA8=8S*idl22$0I2FJHs~z9%Yb4EU?t zw~OA={Cbp-Kx1HFkgCNatN!4q=-MkW$-gbt)fY+6^Yg!{th{E#ZP8w)X9Yln#Kc4d z%H4Ryh(lifD8p;IA@HEYsC2yUp4H(-#k=DJfRmn)am{{Bk3YMzA`bvDn-5RWx5wV( z$H&K~;r+tLU@(wWkmqYfAmY=gG;s($wmJ;d{{g2uFpi))~+U$r2`i7uNBy)J-$?V^g1Qo^*;62z~ z@WPIdPW95%^Mk@oA(d}VfE+;me=z`bha93ZM}SbpKXE4zMzru>e|0J<%=&8w>^S(E zJWkJ`Q*i(@pq4^_H|Z2gQJ{E(;78OSKwZZa004OxgK?*UB9fJl|5=T>iLgunjcGq9 z%`qhaA;>*IzS)x0qat7r>iNUS(ch=_xb7nGpQ2i&CLn2uY^j%ifL}L7hSdx3W2B9L zj_^kZ-t`|VdNE2;aRR^!Qton0lXkTLEh|B2NV3nSAvD6^O~*6Pcp6wK07+Dn0M&s@ zfN=o+D3IqSU}YTH=Z-EoFw$TIkaAeRBvUVQJ)nfBhd`vnz5k$6;Z8sSe|{}2RjWUG{dI=^C=WlFoHJ(cZ z2pQgv=%;~fOz^)hp}@>JXuesGc7z@NuP2OBjSuXS0c`}|5%KLyCvW(_iaOa14%%zT z+JY3tqR-B z13{F1hpt=~@#fF$bpiAPXM7wG%w{u*DrF|@zG6KoDk zn+Mn{ZbqOl2tBRg_t!`#Apa2&j6KYW2J*MuDdesQ$mTq33S#@te?Jzf0-h=iwk!4_D)>U!p3zj7B0eGyeCV)D&7Htk|smB?lqCr99%#F z5UAzrn{6sTH8eFFy*CRAXdD{>mSx%EXW~wx{V<(t^0lp+vhpLI{>4XMUr2BA=63_Y zc8}0q0tnn%ootARhyVn6Zb;nlH;@Cco#whe`@Xfcl~d(OIEC_f2XhC45rRoOC1+*5 zvwr`mvQo6~vbrWRxrFmcSNoXUr`sYKs;XEN>?hy9&jBDS%F=s2DO29JJ4MX)`0xIy zQ>P%??0n}UfUD-`=K&y%`u+R2mbUf~vsvdIc@c0PD6_}Z*#kF)BQ zo!!{zC?gY-qu{d(ogE#Ob#>B`l5_y}x^?T8dA%zq2Zxe76>9;2*4V+c!cCyu_a6~x z+VbGi-o}p`<>vc;H+#URm;nM5K*-mwS=-rdP-j^Et2P|3OgKHBLhv@n;=+GN-@^0}?-$UD48A*v4hL z$;3A{)TGMZ+sEfgSXeBhn6f)xeD2Gav260PK3li@F1xd+Jsw{Ko!3kjJ_5)(OiMTC z+F&h55a`eHvXjONxu&izERqlWLqU)R_=%%Gog%p^5r!u^Dt2~u2?zG|Rz^lcfG>or z1YckLmZXim#?rj;iG`Fw*xlV7w5zcTY8+dOec+<0S+Nhq#l>N@mIJ2bE?&$pER2lK zJEyQW8v@ZE(15f;Jj4(5%*^8r4;+9&HmGb65)!ugKNq$jnT3!CP}CwVd%25nWQL0b zhjpJ|>c4ubZujNF9Lg-4O%2sK$>2tcm9MFZ$!D`j^eEg=fTe{@Kj-`e)u*<$yKqMW zV9g+G4BJ_{AIC4;N5-lh4V0CY0a}PQZ}!=K8LI%WZlnYtnW8fg09QN0dMe?98bGO6 zA*#}sbLbx$ssRMIoZQ6w_h=^A{j&|C@FW>*Qqj8^8g_Ib73Lu z@ne*_j?VMWc~Hu+Chw|6bJ+-nLFWv(Uo$s<=g*$)?eE{6tQV7%G<4^)+4(&tac{Z_ZrIg2kLbA5zwaLy z_{FAm0yj}!q^1g4HjVc5=-%OHg}Y-;0P`OlgiBI78T_*0qR6d}-QC@-tye6h0dT>m zCh(LdOpNyvL_xPY;!;u=K}%t_Iy{LH6z8r$um{&6;O1L;Muu}?SC(Sn_m2@b4ID$@ zItuI;;8xk4$^sb%2-nmh9|l%zN`HSppt=tX#;YA|@7@*SkEL>SbOa9E+}ucriHrTs z^CgXL+)z_h9m?u2F%rl$c;ef5#jN(udD-xCu<>y1P-C}3lZ%TBJZJbnkM!^MAs1Hy pI1gm!N5+MRb4UMwFDsr9(%3t;k!x~o!2L>;hN=#>T-o~3{{iqbTh{;p literal 0 HcmV?d00001 diff --git a/plots/solutions3_8threads.png b/plots/solutions3_8threads.png new file mode 100644 index 0000000000000000000000000000000000000000..b4a7c11edd53cced2c10e9e50b3d6c3b59fedba0 GIT binary patch literal 16524 zcmaL91z6Qj^f!0`Nl{YiZVBmb@X{b5ozmUip@K@clyrwkNFzu$62hgsk#5+z{{HW~ z?>@WFA}aSAGjnpzIdeWlyjGTZfBRf%*Aah*b7stob$m5IXUhuxD}N^i;kv_C3CidU13ww=X`3 zGairs&|00FK6$x)y)%a=aog{`=sNsnX5RxF2Zt$9@DCX!H8lo33KjT792yfIjvpx@ zD=q!8o068A`jsg*E>3I?2U=orX)4B8u$NtyrW&@Vva_Aprxgy^Y(OG zL}i-LcFk&rV!Un+mGrD>Jzj~yi2t;Mogr+XUZVdOWgh$A9oc1WqcuN_+0$ZlLq{3=3o7P-*xXBG8p=K@UD4K?U9MA zmTPsCgzWN1_^|l?AOA`)%30SmlnT7cqLy$B4+;M7y1YX2MAK<|I zgffCQ?peC7@T%fcu&U)x;8EHnsK~_lWJez-ekAe1Y4Uzu18bL{Os^L-hWqJ zKBJlI4p30vVs&WR+S-|wX_hAzNJ%5~P|^~sxkqd_rTId-bRZ zNjg~b%^UYc{|kX`@4LG@;z)~>_|+Gyn)^oipZ*H6K<#EM$Lsu_zDDW_sF^d_-?HCs z3D`XAOkb57;IbI>x?KLy(jpl9pz$`@Ul!A*wy~|vC|^x(d^UIweKGHOaWKETj~WRz)z?oaHK1N!3Xe%(Al{TY*xaJm++!e-Do0ekM_>kFHm z^=lFgii(OlI5;p-)^2pOmXZoxJ^SIjI#s5#dQuxM`GjBs&wH6b?BVL+{B)4W=@x37 zJaoQmbi3kir1j3y-284!Mhvma>u9A|y|AvXE{d23qy7HwrrvHQXVRv!?fyDFofJ}D zUQXfnSHjuZ`R&`4{zPUn)DP9>14$V|o`@-e?mHi!F+)x-F2KXPmc!{pd=7Jwd<%p) z&I>PtMSRb#YG-x6TOe3DI4m@KpMX0+>=ftc=MI0Ws00MA`k5;ythi%iW1~(`?SXe$ z%nw6w4$CrBKdoq>)4j+k3oI?mSgIscutt-RY5dq_=9g)dUyee#V1S-{B< zUk1-YNlA$exwo0|_nv5qz~ep!vdUyuz4OYzyMeLUNiCy&tNn|%hdaQdkDor_;o@qR zX@9ea@%Ch`kI7IBfv>?qH;?y>_)gNYYsFu_e5ola(*9&VnzeycaBxsp$J--2tVc&j zhb3|v)AiQ-u;qf>|8(rvFX>NRE)RDX6oPJyVqz3Q&|IB*hk2v>bNFKDZ zvQkk|A#~XM+gZ}o)Kp#`BS^hadER~602u7p*cdA-YgEYQ*MPsF6f8Q`Ypc;>hSg?$ z<@F1K*5i4=hVY*~dnF@-G-^}px;ZQoaC;dp!H+*ZMNLDqIhg8td+98Lt(+w~?>wBs zVS2tdgR}%F(W|qY0fYmgYt0AT?4yMKtp9{72i$VC@6~!TaCru4Lj{vI2BCkG^c*;d zBRvMXu#rq*-bc64!lu=SJF$mK7r+yxbpE3m%Pby3OdTB^;NukK|9vScx+(72 z+1a__D?~z9f#!)Qsw*ie5l3!xJbtNP?_gkIVWFcl)A8={#o?lnni}HQoSe6t!x;ny zZn3*EF0QUvWP)p6cN=Mrg3%20^uQrC*0wn5vj+YOY%_nCb=-n4ZrpcU<&|5hILFWG zFP)8@-A=cxe+T$X8^r0aC%4_MH@fc%3JDqc?$3B^-rqIZD?^{oSVrsSD)p3LC=EmmcNS4^5F*`qT^Trq3jp2-&0i*ls zs;bd5no`a37p$xqe2xoq4Xy^$rey|A=fI<+^VlYtZhVpo2)I8CxM+I!m_Sh1_x7lV zLFo&(hUG!yZUqsSg}&#!`>R*4lJ#Bs5}4He?gPT}x=>Hlf^N?$1N~Pc`G7@n^}x<{ zrvrgo%?h|KUfmzhR{(2y7?r|$a;=jnUu!j%19NB^`he_#w7<}D6Ty)A=bPyVM~cew za)Ty|A(=G3k6sY;r%YwAYI}QoUEMFH*xPo^ zKYn=4{cs*Wfx%#8iP{j&(zDB>)m)kA;lV-fR7G@j^eETs>+8=@Q#-q|c?Z6@@`j*G2X_oszff%gsdMj4Yf<`Idv zzkI{+Nd+^8-I41jZOAOXM9AmEH)(pMFKZ_n_*y_)?uGY6xwuZ|RYaLsS?61PJpnyX zXm@_HA@IdJmdT`4YiplV!^6YT@#ueKh*=B*ztH`IJR&@t(5=qK!J)#mq)>0wbtAo= zkduRB>`G8jaQ0gib`Tfx(U2Q?kL{*lhlHN1zghDx#gH*OCYKDfT=VAd;cb`kyY z)6kd@Q!r#=V&ZT;_{X7bW?tX9>)Cx?GV|sfULfX!P=?=XXCQI$eI+H`s)!^;)T>X= z-90=6cj9l(_e;ymTaNpgL+6>O)u^M;@6(|XY7VYM%sY(O;s9I{@%{? z-bh^^NFGV$vV6F|QxUtX*(Kwo&IvNXj@x5v{@XE>#wWBWh;#@X*wwIStLx50aY#tW z=g*%h&!WN;;I8gdL+#>9vm+|Ke6RZH z9wzV92L=W{fM|^DVH0c4&h@otb6}5(#e7eo%fMA>|Xd$HHgG{x+`1O!zB?yW30@Wt`q28)xm2b@qrS5 ztQ-_4xzL#QKr{|bDp9fD!DUBlf&^O3b9?d>Ze6XRV)*{gXcz+2r(9@hgGwxsaS#xg z)8M&FTb(y?e|a8HuLHvTFc7*~t7lVd@SbcK5UniFq0+NYdwX=?4;xhp>SeZRX zEJy5@-dGhn414&nuVkcUY^a5rghJYd{*{u8NBk8q-Tt%z?N-e_F`h&y-7x zi9!`CqjpvtxzP=B68Ssvtbr)l!V0w{E(##YiLN~`2ye0ZnWHPw_eEOz4OjX9!pZjPn{lJvauWf$`1>0;GUhB zOo(4PQ;!dq#Fhz@J|Kq#AP*uy6j1|^=V(^cB*p3zmqq@~x+QEGEY)7lCgXr=gGJ^O zI4`3|;deHTCHz`l9j|6s?juPgt^ioY@QLNpQ_9)(UPlTq}s8!e|%xMtSd~q1~u$6}I7LJ;vT@I^v#B$rr+pxs0 z)7JeTp0u8EIGtU|%#x6xCOwR^Bu!0CLC)lO@5^Yo&k1>6M6yXTn1A>u%hPfdlt;^# zL|jo;wGM@3QPEla&Trd&=iNRZJ(C1f8#Zh~fLGUA`dPnkN@Aejem#qQm*M7r>Z{LfusLY#uG zJRWx*gGb>UjHe7}I>dCbKqHKio_euUD^3>jej$1JoDt3cpCHkJ{e)pqA`l)~?^<(M zM^VlZg)8?BZ}xHiXH4Ua@L|L7ka!b_5>{uL--&aLviKI7ZMs_549yly@6hnX;(CTN z$^z5OM9F58Bq)y9+dE)HJRewKnz<6TP2fY5V+W-Ml~C+O4H?VFIAPC?WWwgG5*~F@ z(ssyw9sSNlCc!TgPI=nE-H$_s4)Q&DOQc~)ys*%WbD9%xmDYlCUj@nNW#cq^Xbk+N zd}h?RVEz$hkI!h|A*`>NZ0pUsBcT!LgkgDZnTwRa_-uC&1~E={iu$5og^}XK8N+WF zB4?W_i3I7iBV1k6g0w&-i#(0Z9QY4VK9JYK{Csh_HufzS=oh2_L1uk7{`Qs>2d?LU zJ@TGUdoM1{dPF3{0U>8inGN#UEN0S@tZ^4v=Y=7HE985m)u2yu_;v)Eu30CZ&tj~}ml7t( z9zzxnaE@b}X=&lBM2^|N3&-B9{F(wuPpZ)hUe>ct0Boj$Q(Y3ou@H^6e4OqB!3*Y! zJAVP$3+gHyXS~p&f#1(=4ECU$EW|PKvGZvuUN~xm@ISsBm;b9BEbB-vy8i1`*uN<> zcw*Lfje^EF7TM@Nqpk!Iqx;f}Wlbwram!17MDswEZMeT03CtAnojUTFC{o1|{wq#d zX^8y!= zBiw^qFD&&9@C!G!olw^g}e^cb=%c zn*@Q+G8j_Abvr*96#+iO<&F^*96I*qQ&=Jf!5kR^ani$5M4%vv+I-_*4ov>NQNSP znif6;*7jc5yLo!{banNOaWbKT$Z-Rdn_QZItS9MVJbt_gGE<7%CDhQ&Vzpv&@3q+N z--SKh*B*|x*h=kx!oyQi2q|W{rAdf~A~`rXqKppWgPx0%k?az$dNdhyEHoastp@-P z`KR|UYrPKaRM+1{vKmV(;S3g&tD}aW1ZBFc(X|f<2=Mp6W8c&VbTKh8;TqOF|9fSj z5XI#`L}mcqwF|#TV3l5Skjvtp3uV zaV+sJdwu=$;DG!wnk3Rij|dlEAs3$%n(GX*1C&sz7cX`OQ@OB2FPGjC7!p>M)+2I= zgozqd4ijLM3y!kPscbm zS?Nfz_D;U5AWW?P4zF6!7y%9+ltd+Re{X~O195`Fjce#Al?d;AEw|uPudWeM zlY8~Z4JdGMvLJAfUmKy8M4d)`4I!k^94Wpi=kD+0q5^5n2a#Yq$Z@}!+6n{hzLc~?7bPuS$%(IY3fL7VCe6OX z(q+2ejcjm=CO|=aimr;TTdSG$6bBj9ToQU8*70;}d8uAxca5(IzeUTUJk93TwJaM5 zH#JE3^^20Wiv!WdC`)Rszg&>mkVeumG=|Gu))=fh9h#LCkCi~4W@stwi2Mp~>E0}N z)D($j;Xx=!LKe{!J8oqHDURjwNceyg8IDbm-BQ79VZ)s zF)_zn=c?{YCfIx6t06^K$gPMs$EF8faKR`tI+GI4KWEx>9ziE*!simbJ+VU0^LZ}`wR;cqOKpz9 zlBB^tT$izltW9+eI8al@Zv=v4VHFp~rc$*fawbBO38QKa>G*Xw89oeZ=H{^_Y&+~u z(u@|?6TNqnvSwgK&m%(r-tI#YK0mpl{5F*J&gPbNYBaYjiY^vH_1YZB_m)3Fr)* zze$>MGGP$Tl{rVe_m>zLjtaT@N-7;dRjO-b$-_eTt2NoS>1Zdg+>m@6MLQ->X@%hn zuem_u_yhQf{Zz8&-sT0k1F{GBop9u;t5fY+6HHQ^0!WK^VSnilbZm;cL=)?TFu+gb z*k(2iN-nnF`{YzX!e1p5D9bpe%(^W5#z}HU+u`>;`irDA{ieQ3Xcs^2YSYgU6$xcx z21zXSxW<3GJG07^goE-o1oMySsO`7V1ge(TNjP=B~2F1$q=`&-)qA0YMCmlZO z{x*sw(EQj^DQPOo{|1X1FVf9d{v=0osnPK<22&ES$M4_~lLX_v0bN`K>31l{pI>9b zsuqzhI8;m^jl`FpEj$){g4rQ0j$G5{#46^kM_j&LMuaB@tysW*2SQ{f*;34WRm{41 z#vuKs7XA0OR}uNDIl({+DdP?+H`uqnT$84iOM>ftA8@EZVDuM$%Y`Ki67!6&_scbh zH$hLm zE4H{Q<#Q)9CPCI94J#&1u# zPA&Qxq6(O|C*8K{Bk2o+!g{&6A{!K};tNp%P!TJaSp2+^%x0}aMV^_cS@ zEa4_rli1p~@%dj*S0_PH=k@6)LSjHBC;?yO+LMmUvfvA}P7yTQ&pdNRkqN*n%2OSd zjXC|0`GY{~M zCV_JxqWkZvpbpBiQ`%@L4prgjI2XWi9G_qZM-PINpI;TwPl8+oUhX^t^QCjj_k+aj zRm>rgqH<^w)KzkuJX_23E!g4&!0c!))31JlvoaHKQ23GZLXikEb2RgY?2QAe6f2sD zk&O1FD%gSEfpt(nGM47w+Thd?rx|5F$rqVeUJqv%64mPl+6k%&$Vz&8FmTT5+VxCp z&i`T_l;n>M6^3P0_&-NbsN0s+!uBgrX@cC^{V|kcyjs62rqwEyj&(!(1)IVdHNf$u zl|%DUH>d#iPy{yT=B|R`XZ)FN`7tUy@xmkeZD;Kvl!?bVsX7uG1M)6a>X3N^wW8mJ zDxd<`Qe4c$%Uf4e#7IZC4oaKgY#?#lrP_gcm76|5@r}%z646QE=H}>Ykf6~DxrtrLreH%d2linl2-{x7m|Mv;g| zlsE2e@)${R)SS4vxoPSA^~y5WeC`bT3{_LXLaF29SSaED z>IL}Pt=-wjnMaBV3Y6fKuBN{JA~#wT5q`V|4%WcYl4R=uvhmfU_Y3Cb7--j3U9ibh zVAK6S#~G1j%*@sn@6YQeOSLxF*Fg~!t~%f(=h%SFINlt^fh`yHZ7@Bh(*0A+PVgE? z)PRaJStWs^PjFOOU0vPWES%~Yw|yOwWb`PrFtg4?2xfF;Ep&cluuvU^JC^^H8tVapo~%O5z%ghO$dT!^i{B{UCTu zPrzUVL6+A>%MY^3Iukc(IzC2WI5127NAeHu zFYz&4PSQmPoFVlIqbE2fuY8di24cqlv5zg1enZnkV|L%8epR9@s?O(mnEe!Qq;5R+ zv)q03bA#^J&yh5$q===$}YuQ8zDJQ6z%127Q?DPh*jk z;afxVO-kFH0i*>yRIJb#u(5K2&B6)6P-vN5!+oZg{R60n7hEkVdixF%IXXysU+VFVkIBjT$}}m<(Z!ZY{Ak zxq%F`|BDaSv~ogyvTHvh6CPk1K^f(sQZK8mD^|x>;l!$EgzG=8L7cM(dR#<+{Pn9s z*cn6%n_K4gjSbmDMmuq+6ms*l;df*cp(i2E(W9NUctGRd!r4T{L;V?*TU^iBcf|zz zn4F5~IeZ3icJpli8B&%!;bneUW&#vcxFNW?h*xvaoY!C*`-#kq=8n@CwiO1FFW6CY z3}(l8-S{^-Q=~Bv1_FzLKL9A$cv2RH60mEpViB2Cn@ALg8NBsGb?YA!YQK^PQT4Gq zDfzz+aRSq=@2}4}q~U}8kNP{}3(6O=S|bXieoFpJq3qsyu0XXxN|& z>`LxxQ+Ga;{aF=aH^jsAS05*^<&xnSU?2VlEVOzFWf_DpK!gfeUHe{?j(EDkqLdzg zTuTH?K$#vCau9a#RKo!Uy`LqXNY=_{02}$sYhnl~&CM*!V6jB93MUFTe+&Un=0x(494<>ZD^i)fZb}6{E0L1S;bb%9t5y^+yaQojZ-^l= z4=qtYY{1?lZTF`}J7NmrcrcDaE+7e#>qZkr5)lR>iCAQR>7wbK__Mw@8Q}E!jkxmH zje(la_+ee;U8~T@$FfG@lK5caDWW~fN9+z0KjNlv>qEVROQPyN*Nj;?D;!;_t|E;S zw~zp+ilTN7i*UTDiSX>>Cw?Cd>QdXVel3*+*A&3Xjr~|z5_GkF(M~5 zHv+LZ-zhri+zQYO1ewx(EA~4!U^JyzTV%W_h*Fi4(c_UN2W1{2DTt?tWSmBg=!Bvx z{G_yqK(U`=s6)xR8KPf0xK~DP^ocRrku#ww=qdogfTeU`ylX7#{92EGvWC^sjUy8V zNC8eG7}-CNr%*yB3?b!ZC&+mjfTEPW)|TF4r}FMd-QWVN#tx%#V0JCI8Vp-Q=e!7E zoB*b!oy|p^9wWSLH=t7=YKm~tqb6&AIbJmH@X~?R0vq?=6Ry$hVoYr%-%ASHdd`-# zuMTl|5v-*iYNj+wKaJA8!fG3ik@W*S(A-LZf;u<|3LUWM2OsyAjhWOX3cy^FIwh!q zKQ_)*Cw{leYck+nkG>jg^;LEF(^D~O;op81Z~LVMDpl~w;Y%K6ibPCF;dCCo;;aT* zNh*q_H>{`#mO@1hI{VgrRw5Xp$VGO%M0`%SK>LHrcpZh{;~fM=#mpb|7L~A{eqZrZ z7+|ktSR&c_^=M&T5gp)=D#QY`4Im>UKPF&%gpG$s<9!3AlsSg_^Kh824D=X!2r=%4 zSCLd9qDy5t)vdEArinB#2)#djy`Fs(u^I`@#bUh?Z%r!KwAI(&`h3g80>lk{ z*?PHBXAhfu`uy3ma-%l#c9no*yq?%Y|3hB_eW#zGvBq_`y#DEIlzjg6&EkXM>(|&M zyIq8pk7YlF6CQcy`L#jkbu;5c^K(j9`hPHI$Y2CnP;#=d^|vLVnm^)vFZz8@gO|s2 zr#%a04@QYWhAA00<`{57qN1!`ItltiKpQ}3y1Ir&p4t=lPFp9cH^j)VQ*^ybwi9-7 zp0J}7LDsaVL~o(Fg=s1;Q>&!k58%F|SfI&Us?se7y(k{d3*St8K;s8n;}*5`OB_L= z0e<{E{B#@9b&pX>*srkylhD5!C&hA1@oNp7swvCiF(J97rMo$w*v4&YL1P&-_bAme zGgZX5t|l3+I0F=Z5%oAST zc+=KFc6F!%OkVx0*g2MpCpU>P1x#8nN{UnRW~XC9vR)#al%~U^;4`_Suqd7V#|Z*j z3{&7n)Qk2jH@LwCn0*H%8QNxZ3l68&z~8qRLw%eO`oe~hWFjnl1^>kN*@d4ot%QF9 zqCtt5mi}Ed{FLt)Y(~HEp%N*Nq!FLQ8RiFsk6Wn(s#xn;OUMW3Y0+Rf!YAoXf_`7A zzP9s!vT+jPi0Gs_UW&BWE}78un|*|ME9-kRHtd;7U@Y# zxP9{Odrwcd;|xDCf|GkWMJhdFWOn=08k#d1{b*Ss>OG{{4_<`JW7oOA#|z~=nW%Aq z_fyPn__|=CdtH#UKQNT%;E z$G*KcRhLmoJW!LS21#{_WCOQuimvvQp~e1p!RXJZ!*UmxAG1TMs&hHj@KVWzCOR;v z-+>SU{vdI21gV%!^X^H?+aR;A@;T?WL1jOqC~Wz=0ke?)iAx`>nswg4^>bJ~`Uheh za(jNb_WXBGnEDYrjemD`qf~_qy{u=NQxVQG_@FN&!3~e>@%wkt5b({Pla+~V`Q$

$XWVX;#?WZR;j8oG&795RYBfsl$6MNuZCouHbhR-E?(E%r4K z^H(-;)UeCS+nmoiNVTZxj;=w^+t)n5D~ThrJG~qWtwpu87(8wArbYl%ic=X9xTmCY zoEXp7*P~CiKVovgd+Hrp1xkI~{9r$3WC?Lv@=J|S(~v0*+5-$K5@Ba{OmbSUICgySLqO3jTzcfEf zeq2p(InNslH;}JYggA&PX*`~eXNH?FbaAFpp+QvP*H1r_IXO9=EePni-rAbq?K!AFjbp+cvwIPhyDq+PC1d9SyPv%SRtY}_6*u9q#TPe`hxduQYJETHHCy^Y z@#G5v&C+>FK4@nD{dQdKG*q-YGaO8vBUBO_~M>2v9{VkbN=@8(hf(El&R_jWUXC6PDBHP53;*QnB zrCU+eD1)|i{4Lp$X@12k1M?T+`U0N|N{ZKgY`MAKOFsPr&%^Nlm^f`l1W6`gThwiw zyqc=t+1f^s_>u26ux?5O`hS3h1$9_Sv~-%AzPzcvR-Ac-7dvmt-f=<6~pvp*i`U?)MFdtCd(Fe8w61s?P6m0~9s;1@g zuJ>J8nKu(hvmbCwuwEmtHIZJO&J})o@+p6Z{NI3I*u?pk&@r(utE}Uk&M{&7V6T^(b_|jII789RfU(RfjE4%kT6ufwO{ZP%)`oMD+de(0(-s ze1DNhOqt5C!eD$wsC37_M;-c$LZSIr2R{x2v~SP8I%OtHco8!?dEb~EeVA7K0qr=z zK?li84*G8(K{~u7{?c66;Fm2|dmP5q12C-Nfc8el*bjj2FYIJEh?mOuo<@v}8pzg|f7B36BIB=D`?74R=%$NK5lv|g*M6mv>&J;dHB7h7dhdu}#W$iK; zy_C5K4+CNOSePRyI9G?5>&e%r_$WfyQ0jcond%$2iZ|3h9Y61zkfMgS9dIv$JtT%O zgFkT4uV-%TRXgtpxs>xCIm*j^N2LmSLr~^(wKV{#4)z+! z)C?S@Lo*V*9xr*U**7in--sslV?}At-Z8h9-B)*OBQ0?*eUBaHLwY7o1zB>sTh>%y z-p!FV1o4DbMQ69 zW=8aZhimF~x3>+r8ERvOQK7v)z2E@|BuR9@w#P_M#NQp_BTEaa4H5KZ$twJV!|5XO zd^W2yk=E_f#;_`ez;h++R=3mqtCQa?tB-A9YKu~__;#zrW}Q1hO&bPY1JKMNXi@b!bOM(dx-iUa?G z0U!A@7#U_Ur}d*VhA5e5z##?aVpC#WRJ zj@q*quJS6@WFbv#+q-=Ny^>5RwEfNmwU%)D9jc^4I^{@x|gS24CVIp)sltr{s-GO zz9V1P>WxR)fzpz|_CZ71q7i70hQXTrZ@klF10QY{Rb*vB-vS@#cTIX}#5TG9D}`t0 z^y1mn} zDpyxlgoUPsa6!YQ&&aq|va->Ud^OKNjfIlGj?Sak$tl{GC+jkbFC7}Z6-;chX$des zIno%j#=HC-%fKf!@;{qg>x*|6Bn#^8?FGFFfdHN$g`BPRhy?71Vixy8e9b2f|;;t z4pZ)jVilK6KiQ8xT=WPz=rT{f=~#z3P0r5`;ZR+H4guWDDU=|G zV^13zu7~E1@es@xX_SDR5P%v4p)s9Xh&jQRf3!ygpEk{t?;iCT#x}3_uZ(+dQpiE# zZmt1DCq6EYwn3WEpQPfyN_%Jwt<&AvG!V;~p+5*Oz5$pAZ<oj|Pdzi-MN84o4|FL}=h%o`VLq})9#J!4mNTQvwpRL&j?e!kbpjFtY z)$i)@%jU0RR)#*?`EWf3$ee@iZEw)P0(!3hjqnVC?5EoSESKlSe1@a2T5`Q{M32I<5t|(*5qtgC*kchk`U0;v1{ZP+jbq12T)wJ z_}>8FZw;6y2z?@Y^??1$6R>y4OHt>XfK8ooWxo zvq(uVfDPz13ri$!Y%)+Le2^#o8w8a8!<#_>_rFK|e_yZ!@4)wWd@j(qx<&`0m3R57 z)W@Js83tHLAo;F0UJ^)N> zMEK-0DeJ}gd4*oRa#T`NQ`2-M*i;7c7+;J8c3~rblF#2cJk%T}gj+PdKH<$nvUHKb>tfJLp!h3=1T3J#gqCN(v&c8rSm6}2tj^raJ5(~Hu z-#jhMBMiLk^mE)W|6^Bod+R55&BNa`zW{?Vs}E?Fz9~pjqK_wKh1u1epL+=Cf(Gux zy}g8H9W`R*q-^%rYHFOIO1=nMmSkSN`nLYp9>7ux3kwJSYhHo_@c!!`|9|5&lT}`) z%mCmTs8gK!+=0d+k-&RDYm!B9sMZ(H;Mla!8wsV63w{1+9l(1;L9>;7zHYPE5$M_9 zQLz;f5qSVzTL5eY>IL_q6u06fsWpJ*z@GjzxEA)AeF3;JfKsE)%GG=G=Ip44;-z8p zA7ggeKYIWe1pqKs^{|%>YjLHOt-2jaa;iWposL&29xj7X$z_$4Cb!+-2!onP02Qm$ zt=$3eP-g(U(XhVj7HlZKukv4j=9hkx-w4<*2KO)Vi$q1Ju>T!~|&2SNOxp z6qUiK2+&tN0s;*!Ed~YW$!rGKd*4S8L3u>2)*3*5Dj)6+1EWd!hBpfUj;Z|jHfi83 zI3ojt6co^-H(J%}m20LAZFu<~ugN9K)9okU&bf{N?1x8x0uzAvHEP%=B_%;+WU>TY zp(QACeSrL`BY;#Z2cWLM%bmMZ<**v-_?pPJ({TlWshQSyjjS00&kGspl~4Woqn(vD z3o10}0YE_SFXvtymA5dM*vh2JNkvE#*_Q=R`{2;wLL5V_HSnT>Yu<=#IE{O z0&ZZ7^z`)dlV7DkS<2h{Y9!#Ct90^ukZa_2I`A$z!#6ah5|n@>LBZ@(_)k(1AAEpP zn6jw_kf{ZlXyIz-)ouW#9LW@0Ifz#gC8}9JK6ZfsgwC{SvQv_y74_JnVg++nblg4V;zS#9x^l*mI#ZOcUS#5%OfN{09 z-Y(Pm4oMgCJOJB8MOj%hK;7Ot3NSM>3keCau{{;n*VlJ&aCr6V-P-qXIjSGijPD}% zVfB@UE!Uv84;178Y(%%pSOSh!%}f=uRAIn1$fyI^n6?m@4jq~r^yxjfKgU0q#M(^b$gaIrVT<-Viwphu4k zx^+9c>5}z10nQX?=Md;mUG0tp9+Bc!MFIjK%79l#v(C)68-uB8ksmYt&u8pmbxK*H z{-8A<0#K(TT>8*xa(@8Re5qSw1pt#20J@2%B1|QRf%vD!`ZpY|84`lH$=Rc2 imag(u[1]) < 0.1 && imag(u[2]) < 0.1, solve(F)) sT = filter(u -> imag(u[1]) < 0.1 && imag(u[2]) < 0.1, solve(T)) sC = filter(u -> imag(u[1]) < 0.1 && imag(u[2]) < 0.1, solve(C)) -# sP = filter(u -> imag(u[1]) < 0.1 && imag(u[2]) < 0.1, solve(P)) # Plotting the system and the real solutions +# ENV["GKSwstype"]="nul" plot_real(sF, F, 4, 4, "1") plot_real(sT, T, 4, 4, "2") plot_real(sC, C, 6, 12, "3") -# plot_real(sP, P, 5, 5, "4")