From 87e1069b544f328e84ba03d081bfe1d06951028f Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Wed, 23 Aug 2023 15:20:05 +0200 Subject: [PATCH] chore: add multi-threaded plots to README --- README.md | 12 +++++++++--- plots/solutions1.png | Bin 16583 -> 16617 bytes plots/solutions2.png | Bin 14712 -> 14742 bytes solve.jl | 2 +- 4 files changed, 10 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 41ebf3a..ca25ff4 100644 --- a/README.md +++ b/README.md @@ -24,7 +24,9 @@ xy - 1 &= 0 \\ \end{align*} $$ -![](solutions1.png) +| Single-threaded | Multi-threaded (nproc=8) | +|-------------------|---------------------------------| +| ![Solution 1](plots/solutions1.png) | ![Multi-threaded Solution 1](plots/solutions1_8threads.png) | --- @@ -35,7 +37,9 @@ xy - 1 &= 0 \\ \end{align*} $$ -![](solutions2.png) +| Single-threaded | Multi-threaded (nproc=8) | +|-------------------|---------------------------------| +| ![Solution 2](plots/solutions2.png) | ![Multi-threaded Solution 2](plots/solutions2_8threads.png) | --- @@ -46,4 +50,6 @@ x^3 + 5x^2 - y - 10 &= 0 \\ \end{align*} $$ -![](solutions3.png) +| Single-threaded | Multi-threaded (nproc=8) | +|-------------------|---------------------------------| +| ![Solution 3](plots/solutions3.png) | ![Multi-threaded Solution 3](plots/solutions3_8threads.png) | diff --git a/plots/solutions1.png b/plots/solutions1.png index dc76801628f11b34441f637c4fcde046531a64a9..bbea94502fc4248e0de9f4905e773a8defef840e 100644 GIT binary patch literal 16617 zcmb8XWn7fs^FO?>0@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 literal 16583 zcmZ|1bzD{56FzzlNQi`hv^3J8q@+kmD&3_bT}n5o2#6q!fPfMbQqs+_K)So7LAv|S zdB6AmKKGA%52*X>y;seeHEY()^BAW7@BslHH68+iAW%}2(?lRJ^brVT6fOqbIoAv8 zhJUc1s63EET%vzIHRQx15DW+6^ar2KVQ-x}kI;-V&|t+!8{M>dJ+3|R zK|n9*S)NmZO}l3MPN!+rGh0qxV*|&|1`6IAI7ZP8B1?xjE8RELwtc%@n$K&x27^O3 zz0y)#o>!kbCdqt85EDli^^wvBhK4G#kTVh!uL%DC{{8uFTwI)LiZBl+r?TsHCZ-b{ z^3QL5_XqXD$$7?VTymBfzYQ|(|-wO1Y_N(&RUF5u) z`=zbDeSiP>^th_DwAAYI{eVf5D)!x#W-`*t{mC8lIOniHHBDLn8PM zgl}t!yxlUJCP0&TwY9Ysi9{m!`T04yxaQ{OJT|9H)_;(blQS|h zo}cV%IVcEa=b%3=Oa+?zjuKCiGz^42{Sj4b=(>J%|7k~8G*SJWS>avoiTCP2o|hMl ztCN%_tUQJwibo7H`ppw!<@OQu=V*2~J3Cva4iOgDo-D7Zt;H=fn8g1~`PsAV^1;Tu6sdo+ z-_c2madWFa>mS76*A}LVCVxz9TTdh6I8p1iHuwG>IqmBUMt=UCfjq5zZW*H@Vv<4J zaCMry;^K$v<9e=mCn47;cym1!9I0>RQ*AIqyOq+l(7ohP=+Q0vn)gxvuRd_gF!4NY zfq@W{Ge#%ONXcX*KPD#Gm~Ofp9mrE#8}=xzJoswj^CuA5@}8c8_O0m$$#5v|dGfkQ z-1o@2*m06NA)(RC_#c+V!u-F<>Tl;?)aIrF0)`H!hdoE=1J1Um8hj811qEWR%RSZ4 z=O}0&pB-)c`};p_i7fp7@9Nd7pn@V!Q@&#ud3kvp92^8R!UZQwC69lORXJTQrZ^3m z^X@;!$qMU|&I+qm$nB4bjh$W|urV~9+W7nTyR_X5fw`mn@0HTh_}xXG5BHjynfZ(= zxtW=Nj*p9ri`S{82y19)@QKNonwr8zr)6<&?w>!NLl>o(ID``3S6_mTN^;A0K0|6F zgnZjWT`7lg-NrlwEMMzr*B7fx9QaC_YbdpbK9Zsm@-7bwy5ET%aK1l`gHMV0l$&ea znJm=cbBL|3t6K>b!5qP)SfK)uCnqO}jLgi#jmeaxq?OIh%dJ-1g{7rp(}t6-RPoBn zN|QSGLbE2Rz+b<9MbLFDc^e3lLQqLza3r=w%y+tUZu*2|^O+V}SN zLx|`%W@Zo!;^IF0tAk--VT6Q)lXV`4`}>8XG}&@Gbyp|lS{VAcjhP2*0_>+G%CoY@ zoZK+g4ZU~fTNBf>KYjX?uh!n)ZsxOIK`ZX=>FH@dTAH0tjpR11*Z-`3baYf;P_{Ta z&gOHt;Ro}IO+fv}qLleTBqB5{%m&t-p$Ai|xMJ9HASxSS}lHPmzWtIei^YimygAP+YroNSz*SoJ9*14~9a&jU- ziDp*^zYLU}DhyCr_S4;JknL zt{!Y+s<=la{k=xFHC@D4y<%a0e!~h|vcShb-yENwri*(NX=Ezw(%ZkH6|{~@O*OH! zv@A5N$fw1>Ilg%VRgtt?@(J-2441S}C-2M7L}4Tl$Qdg;Nzzt@VJ(xRend+#l` zGz!@b6)?)a(T-SLSvmfWLyv#+?saKX)2XxLT@w=%E-o$;V`J#o+1VNBL6yU}FdJJ= za>G5%k|jr(42l*ZnN-Us*7`?#o8;^_pcg`P6CE8L&CLpr9u>Q({#-^yMg9HzH!CYECqfiN#HyC;y3+UT;_O(*=Q?QM z7?_d#%}U!rPN+^qq^dcIp0?0!ZRq*)=U^QXH*elFHZegiudIlQih@C0Sz8O(`i|4s z*a(wzbi93U&#jHgx<_deqWt`Q zqoZD6bP=kms$y=dGx?(17l?4U+1Wka7ug;N@bl+W&(HG1cJf&r zaddII2@;{DqieKijbYQ{4W6N9)F3E<^&EOQb^3jzdhA|m`s!NK)R&05y3_Vpw@$A05*b6P}1q*(0C0^~h9I{Jtvr?iw`K%jqU$bAMC z)SvUH$$OtOu+m|?$e`>?X(54ycB8o)`s~cBqW%a{sx=wx6lW0 z8&^A@9;^$cl$V$9h1>KmUL0kn1O-*eL}%uBROaTog_DQt737Y6(-WwvscCL*Ceq7M zR#5?sfITI@(e3=iO-rjEG+LKd%}_(*`SxFVS=paphvpX-lT%XK7k29FCH(ySNJ(Q` z`b?YrCGXv9GHvi48XD4h#ChW_O#0H&5-gu4TU5T=1K2R~u|Rt%;B)h4fjax%-X5K! zI1f8JJE%rwWmjjXkf30J_eEYwNpn<4%{m z+buYRHx-qY!QZm&%?M6UpH?9})xSeYO)bSOucFePzq?Bp)4l+1TmH$(<7w^FQDH$r ze0+T0e@aQJ2l`fPD=U)r_Yn^tJ{+VQKi*RR^q^l#G})Lp;KOQfa707|C`$TGT?RG= z9an6oh@VU>h>~yLRtCQ&F5lQIy=m}TjxQ3Y{kjd&gBdAx4l(R#OYjG5h%iwke{Rse zQYZ}KaJAZ&v!}$;;iJsnT;ZcfTtDPgFma(>TH6qv&+uz?51T_U)zyZ>C#arNFXTJ>+UuL@TgUWL(cpxm-aN>btmX2|d#sBFCbkg+3 ze;q;`2IfrlMu(=M(0#?0=9!9*T9!u-f}kprq~SVvJ(bTfN#v{;`WV0$a+o7zc?+(_ zeQ?sonj_>D_n6REZ&DP(OmU&Y@#-?D`U?8W6S18kaNXvAHDJF8Wa_;WDu{)C@&}o!-Qv+g@sPtZ?r;mP`Zdts(rcL=z3sjFzoAER5*qMdnz zc1DBHx6gto(UoIBo#MyHZ_?Szlya-@(N8*%G*ho$E{mdz=t?@$-ts1dDhqY!t2x0d zK6wh0&O^@FyK4>?h1e)EsAd4&H9H|h5e6QNb>JrY+bDuux*jUEjf6@&Uj|yE-$Or1 zfw5eWp)asX;fmnDD@+Oyw5AJM(2GP9Sf%nU44PKxZ>%^kt2Gt(RNGn33Xi;>Rf+!g5L<9jnX$JY+AKG7naP6j+p3tk zBGx^?a>JHvT4OactxLwRg+O+<>EF!R5gqT@bSrr>q!C*NpF{?2t0$DR+ujestFl*<% zetiWV_HrmvR3Hh%p`U3Mcvzceg-qZ;tPSM#uk`1fpPl8Kd;(Vke7VTTNQBhMa^_H> z(O2P5-W=TAf_Lsjw_0Sp%9RPuU=rmMy(6-1`n};@#=DM;j*h<_6EPD%N@Wno&yH_B zyY-@Gq65_--7U=;Yd~c%N;y7~JfbUU%wsHBD8YlzlXmAfw%@th$w~C@-}xs=EOF`S zPL7VeV!^fS+}y6t&ev0A%AWVn)jF>!*%(y0C;mPW6mAu5FFD4P~kt%I!r6OgA*t4{Ni%)HGk#U{lo-lga`|7>pI z=^W`i<&9-Z%H`|JHtWaEeY_|+)UOF+-hWHF)WI^J=h7n|Jb$*h@C{c7?fa#Qxxs-c zz1Cy%;@xj>95693e*E~MP5w?>_Otpgi(fZYB-~kM|7`!73#$p+|F^0$s8dxtS#Mu2 zQ6Pc8@TQxRk&mzY$6o_3Uql~X|Axh6Sm(QjIB%QpD_Dt|d<%(-B5n?2ZG}2qhq^qr zRnB+HN4)10W?N%l)YN;0lTS@eDW7wM36h1YzkodyoZ_>My3LdQH8!zpc>|MYb>dDN z6J9P$7viTd4~8{Wwkty~Wd6K9IoMy|Unu@Cnld(?GA82U@CMbC-pbx~H_h`*|L?aI zoSgJWqE3yS&IkK{{pFwGB~2-+v@1w@`&M~=OQR#Y!C=zj_d13~!qeHpA}c%l+2B3U zDVH6KeKwK9|7S~;30@h{yMI6EjU%;Wz~re93A2Xu}(RJQnbe0#-^4X zO9sromEEild(28^%KpZLbgSMLdU19%*V^Ccne;f=^VmZ+Woy#Y%a}QCB11kLeLfAj zjBBqjrzg;vvs~;HN*t0ijpY8yzBc}8^M~WLlp5jKC!NKX{_l-_PNK=LY`HxS>ki0C z|LVcR#E{{V+NJP2dM;Jll15uB16-Ctk6(r1%>QL_=q4tRB8 z+jw!v0*(+*2qCS6=hj!h(|7YbHnd`|U%!@cm}TWv8`?MU;9481deFF^zI6HcPsm)# z`(m-Wbj4HWe)is`(C#q$QZL2L{RSLt!gu~`C!Ht}p&~4L+wscvz2ZjYv$I{R@)=nv zVJVd<{TG&dN!9=EUV2@qbn$W&bL-t#WFiA=EvcjXe8@+9%C0uc1~UX(WUB5??Y8y4 zC~ZcwOyEt1#hOHqsuyMx4$rkOb1M>uvH9?({Oqb;&xXpuCZhwZ_sn~C_+)oYkCU@F zqE5JG(1O&DwD)tIEcV`&4AU(gHIw8G`r6C!5~r4nJC)rhQn0{dUNe)xPPbRRMm20^ zv_1A$ApDZ@sO5}z*Fnu*o=vk<3iXD%p~Ps?F|oyz@CCkYd3En2wt#$XZB9|DXxK$F zF7@(q&n`v|9TF;5OqveA5w}o_ijbr#k`xB1&L~Hi+7&pR8H{&FHoCd?SEv;xRx~Dg zX|>LVYQrY5S9SF9sE6$HxRd=o$&)>w&Z+)boAn%7B2QBNV-jXiRUh-^pr9a3ql>;5 zt)sV;RTNlW4*3s+nf`h6l_r_TVW_KYvhnjNm?pWF=m}@@TU-1sfo&G0&pVrGsr{{2 zYO+&x-IQBZGz{-D4L%``DdJ-1qNEgZKKZ`lgS~m2F-c+QY`naid(9JBXX<@3K>YG4 zbEFU$Fbkzv$*MzkMylwxZ@5Z1lU=owJBbNju)pLeq~g86C!u|it$=wg{!V02+V{QT zFU9L+?js40@7=t-PbEu|2fmZ*@aH307%d&;-L0jKdo*h_;gOlP#3-tn$QT8m!MQ=L z%!h?drBY0s86^ekN|_{i;AFTC#FVL=IQ?tNAI@(rWDW0PdP98sihfo-(uBvDh~S<@ zfzyPo!BforYebM)(3^LKp<^W)7W&v$8R&PK2G*0QH@becqH=&oF4omwb7psag$0))_xS( z)o#?4JsN#V$^lM`tD?V+|KXnvOKeLcZ2LPRf)un5c+PN+$aB>XO2A||{j0k3G zuQc(J!qG7xFg*+MXO)+Q4Ng4MIt{v1%T%F}nY^Z09|Jo{-c2+&bY6TuW&4-B)qZTo zLYby$qyIXKRP&nV_}SQ^Tk$Z3tI4O|iSP1~-UlWH%Djxmyoqr@I4XWVvxk*Kp?F&& z`o$I>hE3DnkG)~NdMO5T)bMAs%hSHvC4x^RBdnb>ZVqd7ljifmw-o4jW^>ZpDLsLx(j9{%UPrp{Dqk(oyaw+rQphX?7KC)}>h~OEeV+9ZP?V z(|YX{;x~Lzw-G&A_O>kRW5_ZV)O&5cuFPpD+Cbwx({t$T+BSj}@$^>OGsUeaI)BL% zhh@Fb>L*@jazfxkJCLT6-t+9A`6Cr=I%JwrW}Ox$Em3m+uR){3Wg)0_oSzm;TF7z@ z)cW;CJjK4@u$^)WN3mBUt5~=K|CI#fCNfX6iz%^HZ{M(DW$eqJ_Gry6**#+rosNPd z4b?wNiK5ZFz4rz6UCeQ}ihh+1@aK^Y^4Xq6ZYOSVY z4JXnQ$gm|wZ%%SXn^*LY&h&LPg!2|ydheGj(|=;VEt5>6C1GJ@TUCDAS5?^m^Rjn`y8YI%R4C`qKT4>B0Nf%jW{ zd^+i5RXa_H9gBH}$ed`a;TI`-&S<}hA54$(ZA-`vniI!Z8c{XySFt26sVKJK9g%(@ zI^$g6PEbg25%2bMYVmm%{|w}+O#nSD0Vnp+q2Eap@8z6=hEffpF31LzuGvMhLBH{A zUFh(aF$WuCK6ZGN;K)*d-&BR;@M2M?JWj8_TOhkRCBw@1)O(;z9K~f^@5OGr}W-k=xElpL*AQ8cljHCd-mRUeTZt%0_QIw%K|Hb&$AEE({|)tL>5Ld#&#Rsgu3J1^+B6@1V$vpxKLLjia)p3=P6rA9US3T3om`j14 zpYk-F#s&YyKZd1ktkU$Qo-r&RPNixjiL_OlU5(KZ3U3KzF3mCRudrg81ae4!=5H1h zx=lOo`VTfy&1Q4CZioS>mCpZ*Vf-%3jn5;8^Vt^v3NPZhG-9icANyv%XGd-O+6$Ez z@pmYDwZO1Gjnhdetge0{_mdbpp(Tp63%rGDk!E*Zy!Al918H*I1e=9yEE{C^(lF(K~{me9C}}D*7vpChFfwupO!Lk z@R3EBNNJZDKZZPox!2xr$P+2(ABh#s`^vpXt7~X`WZehvI}`VeU9Wp1Em2k|Arz%2 zmghCk-lx*f_(wzEF#AjLt#n>j8ipPVfUo<{sEMyTxkv5*IgZUa`GH5dJZ;hE0 zyLHbOyA)+kWtMk}wGb{yX57)VkYjk1F>Ef3%0W4N!r8hrLv%**$3K#yR=@hn-7Ej< zYqWMkv%Z2lB6+8qK5E7Ej}=xdGwhYB1`?x0%|)Hbx3J$JPJ`O48abJ6Gwo<**^mYmOdw}wsktiWx$DBf(1w9Jdy)^FV8sP0=+%iAAe}_Y9eEZ})YoqU4|5Jgd zvJ*0pJG_d8oJLM#SOv0w;`@ZCh1u6bGBb2Y+P9wEYK?4#a}b;rGj?Ni!CKXhd%0NU z>g5Kd1uZkMh*I_3u*U1a;KdjZ>JIvf;=&gelW*wIQH8&i2ps2 zjd6$gsHVrMUpnd-nV3y{hM?X$yr$6+!1HR|X2}iwQFc>FUMZBv@EW!JwQ%j!@6Y)ibdJa+%!iDVpAgtg3M8BijI9Z zCj^yk*RB8d>N*z6Sg9di%u5%vg<1qM!FkTi1Z z-X~G@Yn}v@MBG@BQqv3eia8L<85o1}D;!!#QeVow@bE~#YxQtkDR!!@V~>}w>B*<2 z{Dk#GEekicZy|jH8;R1CFnKY0QA#ruGt}nD0nAm5i$MAroa*Nl(jlP6e(~CI z6K%C*^M5ku-AtOkzZ!S@SMBxl&FHDF{)w2=rTORZ@b=xN2|8R%I>{MMWHq)iP7%^5 zkVaZ;2J;BR4MC5h*}{-Om@b%5fZ6jiQL9^hI`>oj;dKNKPRO0jM!U%_$Di>8kjml{ zO%|UaboHH2l9^e2)gsD(S53fz`7jV?=6Gh7uo}66=pOH3<(APj>&@#mrpiHbV@)6^Pz26cACVL&!?(UHw?J`< z+YkA0#IWB!ylXLoyW>H}@NCzY^b0xcMjipT?uR+JAXlWRqX@GwIHU!m2rUpv(qd7V1Kxih zV~$81{h%(vwnz9Ssgl{X7=m%JRfYh^(k~xLORrJI ziaMUr7>qQKCU>T}i)n!zl@^Y|a=p!eq9gyk0s!#;Yjr?ec^A7n^UF zZ^Xpj8?iVk-gz7T80Aw|e!%zr@UMSu$YSn`GC=gdu zHqtWECfFuJD++A@lH0hu$^|N5F%Cqg=9wsHya6HVfQkFU|CZlg%@bc#vTJA{L0+*9 z_93BogE)istOR()z2IGeGM9=9r!rWa_3upD!H|z}-Jo}a803s`pOms%(p8yf>wfX}oZa#kE-aoFs6>~~^l!XDmV z{i8UYTmE<3XNYtV^18P~JT@jE3} z_>GK>P1Sj9+FUbh^7m_t<0!N02IPa8@3#DSrI=sC%HO`fZ%f~vo%#0OACQ44jVdc? zs*K5U`(D|LvYm+IIwV3~UY;-Dl>%)GQ=IM~pS6ZYbVLL};LDd75cSXD`M0t%TJNagF>u5p@~_q4WUNw%_PT(`|E9%qMv0+4tjlUg~%oD?G+_Qjz&j4|T>f z+@CmRp!JaC1&OWE0D0=may+604dz=32^v8`d4c<{9`K;BOOUQxB-D-xj!HF3WN-0m zRCyuR7cD;OAyFvtzm=iQ%pZ&)eKU%{0@L8VL>qzzMV`Aqqp@Ex`6^`n6<_%m!FTft zaI)g?;(%&0%A%;l+9R($$0J5J7_J^cxwsH)R(pf^`qq4va$rY*6n`N83?W3g?|E7v zDiA&>LNHZ`QyjCq7=(db=3h?e3%)=^6M~nIiTg6)AF7#_c7bUAZ@5CQh-dKcUXDM( zV<1q(=?gqX`7sbwUf417>ASXNuh`=LbOWbMIk5=704=_%YDQI!UILCeqKRKGa?fD zFhcjZJgX7Hsc__klfFC-BbbW;QA=ssPhDD#DPaAtN;5@W`G-Ribe93E1XBXZhq|`q zzvYaTCH_tH&mC)@f9|bs*g9Qir-IE}%wf96OK?}{^CNW~wtnrBN#k9|nLs*Xo(7o( z8cCC@<7{F12Gs`Mn;{zE;7~2m+WK7`o|KeCv}vy@#w#Wy_UDeGD_);4w~ROM3)nL- z$If<-F=kk=Uz@lRiP;{w7Kp!vvx>PNge@)k2|LH{ydvOonBI5B|6b0fZENj z)8Ur$!rAStZ@k&2w(C=d|95>HmeRMkMk@0KXQ-VCsxjymhTbF3nLZ6P&_`RU}(u6&<%LMh!)8?t) zb{D(Ui`6kDUj>-OLFTa=H;)6XW$|KHe5(as@DI00yU(T%+3jV6HiL{%tmf3t*Om$Q zkYl@g2IK3s6<;$SJpg4Bf8NiYC!VA_)LS*zl_E|rHHUeIa~Js$3nQo)sb?Y6J6u*yl{cp~l5w4pJak>)!^dxW@)_Yq->^b0gMmx}s&63UV-yB#vY zJ?SaS8v}_$L20Y$uBFYiM_nrZV;H8WB@~Z2uQTozMl(jD4pnqk`C?x(5?PPKs04um zYLxzTbx6SbeZ8T3K6j{k2=#G{u|Ebrlx8n^^&rW%y64uc@QWo?a)qbT$B1=AVlD`ckq|_Y~#jDjB)Y( zAlw;=+t>834B!m8tgB-dR+s#RxG$JA2T+MlhQ!tfg4EyOY)9eu8Grf8O$>5GSK=7i5Qemw^}HN(jR-yqOZ>>&Ys1cx|?xOF_dyTBuXh^-pZhCN;B))DR~Q z!+lqByZkzc4sv;d3J&dKJd=h+b@fHf%zwZS#_z$l##BY(#eaAoS16;gy>@K&K$x0C z4A({!1{qV8Qs1!E@gwo(FWe8fa+urFh>}Mft%?{;W|xzLeHEXzWWj{BgPR-cda!P+ zuj_gHVy2yF;YtBEIl>9KiKy@YN__%BUi!)-by&*&a2RLdPqK&b%IE_tE<4miX+d=i zK_oASox0{5NCRvvP7@SU@Iv$Vp!pB?@4xDr77tiy?6Ymh)5rG3dyU}|FT~zZZt%cT z4L^xJu@y|-Ivkt{p0bFXKpsMXs9SrZXlEBYV+J#;*xVRC+bq+`U-gGKc4G5?n6^){ND zc>FepSyaW{Gph{$1sG!f7xfLOKYSW26Z18M5Q`j<8aS!>?%|^cgXPGP_K>!5wtxATvg2^-v~O|NFPHywTDVUeO;|+!a7?+LR;_vq5yEQ%cy!G|>yh)CHcU*o*ewCis{;6>>*pmQ5>nNTGG zk&un!g)_b?ekZ@)jcf3-2fVDZS2SGr*+rJ4sP2Fr$DHgozGAd1b?S4r(=Iljdj`af zKhz!B#jdUJ!qDCyn=CqojqX?#lv|;yu$mFF2qj*dOcmH}r{8(IKv*+~FbLd=hp-S2 zN`xy-hpi@icw~#en8dqgsZr?H97?Q@9qd z6~jEq?Tyl$aY-{cA|X#R@MOQ}d7H)suGlj7e{Vay!6x#XJl$tZ3DM@{%ue}D{{itX z))Ax79X7SZ0Ka3OUz-s1%P6~!7RC9DfEgO%MEJ{@Pm#~ET80RMav(W+Dy?zJNb_M{TV4mD{sYk zLK7ZU9-EmocMvqrww_i#w@A2RX@et(AXgL#a_8XX+aMmz%rVDtua)rpB>YVu670RE+~tF0(A^Wb%1%FxhiB zG3i30HjDEbvy6q>#EAXI+uo-4T|BKO{XP-KtQ52%%k)tBf=q)9g}cd-!aU7zU$K(l z??hCwbcS4}om8;Q9mkgHk#{47#715Q4w|xHZ~Plp_fJ5X*Yzr!V%+85Zl?xnpj0{D z4EgHtcy4UetYcQCET@Dv5i%Y5P?_E^ zHeN5Gsbaqn(oZI@+_&TIYZ@6dvzQPQU*C2)Os^|ksXQHW%qDWgslVExb5fmLkd={j z*?f^CpCpd6ZgDLJz!fosD~361&HgkvPIUF63dc*|A6-ens8OcZ6Ie)?cQ+jzRdg)( zLRmTz-x31LHo24E@)ZjEZgwB~i{;I~I+6^GL>0HuY75+2WUV}|Q1d%I`RZNB-y?7x z#A$7nY#3I@gL5g{u5Hl(g43@J9zMO#LroEo4oXyI zO_{LW$#4w!E?D30Z%w~}cWc7MpTU_@(fc?^u&uDbsQBW<)>30Jsn_bv{#>qw(fbax zee{`eg?M;mn0|EVzbJ|tC z-{%S$(16>$B1x0}2kA~1qMHNtmF?pSISRw(QMe3vx$53`dqIv?v`K^3&ojRisdYz) z4rjPu>kSKy1BAPFghE%u!$^r^%bt|=0K0n!@4p@HY&P_?Hz4(9O5|qc)Y)&O6gl7- zQ+k4t$kWJy+*K#quHA@!0m!5L9JYR%eoxhoYDyL6_CPEo{pR`Is(Gv;mNA;p7~YSz zsfuE~?q1{FguVx|A@r5<_PeDAB&nf_Nr3w4e)7~_fXjZU=FSpq*O1n}2c7@B^LNSX zF@5lp^9G-V_+-ED72$alJ_YM{Zrjd`t4&4vv(-W_ID?cJofll5hU8)Ka?O*LPqaRc zo7=~&OLdvk3vu(1GY1cp=nc{4((>{-fLia0Hi&pSySrC%_H+K8ef@Kixz596QfPon z(9*aAg$k;7X1C#*`jEKng(Z&dL|d}ocdktwVIhi6`rk_7BArER5!cZ>q=UdV##LGXU~l-n zq=nM+4d4YwzN-JGC>44aZLZV{x>UbcDs9^erhVH)@cx zn0q?FDqw!$4-A^7PLS?~ptVW58|0`nT!^otnBpb?KkI+IkQh$EmztG)_Wz)7IqdNDgiJHxW zMzKma>?`;mwomY_T&#L)LgfI8;s~Jgjg1X}*+K+ot~r8>oBQM4=NZfDELUq(r80ho z(h%q16dN7txL1l?$9X4`aO+C)I?ssF2knuO>~E`liU}VReFbNidw*r(%n`CKum*dD zxE-vYJ?1mVKj51{=%oy|V!SGx{Cu=<{1=q~NoAY4G;EkA!ae|#i**#gaon3vrGW&P|{p+yqVD%(t zCtWieAiSNOUN|#NWaQ*xVq$L}eje3-t?Ud_RyF0l*1ELRolZ|lslUGu1Ph=wmD%)v z0l?lphmTuZTY$%J*lwml*bWytSm*Xr2=V?8nfj8c14AOnbw>V>z>>m>>k~UW4|^f} zVZSXPfNB2BKAWvypjV`KLEvm>XNT_GOqI69V{QT9cqB(BCv?D*p}KbSo_{?++3kjl z{1mQX+`fI=+1VL52fFUkB(2!aIJ^iov#sEv<{^arI|s!4%I7%P4mDhpaA&0 z{U|@}^gv$wnDsDEQfN6oVAWg}JCxMa)`tpHR9RzNEr1O|ni{GNL1i?YGRCOFHvTU$ zEC}??LIP)1fT?;@1Kf1p784sq3uw<=Lx5)LSQCD{ks1`54^doAEOh_CH|hGHk+3gMdfQV}vGGuORdQPMXmI z8;N#~lrtL7{J*zX0qI%;pwvCsNuyUkAi4lzdna^R14_sL9nxTOgV>8^UhRLl^#9%6 zfxR=23f@*e-nCSfvwZ_S)&!4AQv_Y+1%fkB6t z2XB_u)gw$&~I%>zXY_aHZ;c)C=f*$ zhpr0XR96{sZU)_eKBIxc8WVwX(2xHvZ84Q#8i=8`43OIZ8p@2X$6x@mLxY5GK$Xc* zJPcfOO;RX&$Jq1aO0+ln)+{7EZU7D$&P0m%%%~e^Ja{P7^TT-2pbvLXECXoI&>g)CNh4|J^hK>Kq9y5SEy$3^;gb zn$$Cp$9JIcDRM(`^9oQ2s!&%nGWj-q*GE5urk_C5SI`Z@8X@U`L9w8L=(lMYRGAQhv?PX3u%NmaGp=dft`#wrsq9Hpd8UGa20(}aEiL1d!N;}MyS;P<|46#;=7 z(PO7;GWe>Zh#eO40z`A~SsXHfI(m&<7kI(5F0vZfT zDPK?Eq&B~!5&-HEI8l($k#e{R(8QP+5=lu(1n@jLzes`7F{VPSGwIqw%< z%@k%M4^s}_$!lt9IoR6+iAIN9Id!tZXSl1Y3x$#f!l*Ow=^(8lY~2Ij2)^)%1qzP< z`zB8-ht8)IOfyheCSX|cTzdXTvmrnb0UA_HOw7cDF~kIITWVZaG-YI7rv3Mcjg2+t zO_ZuT;pE`B!_QBWDieIL?$a#dwlV3++DP*rC>C^dbZBO45wY?b@MO|NT`UKOsi>&p zi7-v31f~G?Ng!YWAiY$# z&@f{z)D?Jvz+wYB<#0=j6>tC-7Z)=~!}K&YOJ6Ls1qKEJ8L-ztkZc%taQMTWr)bvK z{2$`p`*O;Pip#)o0p~R(WgPIlK&&*=&|nmcQ|2+M{8v~t1>4Zu$Vf-XhuPRbI*bX@ zMYmX3s_W`NLmHG~Ss_aV4IK{ZnW-fU+WdS&knzg;b`f!Y-r!d~BLf4hD_24ZnLd2| zy4IN@vcJEN#HW{;H7AJR#1{{PwivVG{rE@89pcUf<{UKRW_y(DBhxC}D;eOq7t2kl)eLRB!K{ zTesxxS%kJ163tGIj>_$ZAG%(T21+$CHT77o1~Wj!=)%?UeSCb**?fUijer?WNK6#5 z?qTSq(#e5!_o$Hu#^URm1gdIU>uLjC$dJK%Y;L}_T$A(c*|Yj`%0M7b7wdm}vOZQ( z>r3?m6hK}<0cbEfuGbwc_5cO0%Wrc(vu%-I@`u?r2BU#wkfD#){cx%L|>0H=htQ?LEKHlDM zyO{cbK=tCq3sB2z3}AEbak)`Slp#$myJB#TeCmWbNJ*Ju1RC= z#z#>Xaz4|uVY7f0OB{e2<5Tg^17#Dq410%%W{tjH*4DYp>Obs(2nys-D41u~)VR$3 zGCM0vqW;b~lyk7P6>}I91lHoWJT$esu)==y#jj9e;A>x}mHPl6@BLNKKS^VXv)K^( z{0lz)2RC7jfM&w_h=`1I_wbl5eHISMR9fYCKYqvn!}7s{2SBRKw_<(xk&>90Q8-?V zQqsG;rsf#BD~Hpo%`Hu{EvFhXw|5Jbk`u_!}-dYxLbaa&Xf=?tI0Yp0^*XwFv@nN-p ysk`)0l9L0n4l(fxV9DU`|9@Wp|M%1KOHAGG;=?j;hV-C4gp&M2xgr_!m;V>lq>@ac_(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 literal 14712 zcmZX5bzGE9^zSZ9NtYlgB_K#hHwX(NsDz+MiP9(`9SVygA<`lx0!xEPNJ;K%A>E*q zD77HnAaT$7yZ8Qa@4kFqcb{kG%*>fHXTEdJcOnh0U#6yDqd*`K)K_%SMhFCvDFT6v zBPW6*Wc5Q{(O5q-(w@$h)StcTSTS ztE1`u%afoQ`O`dO=6~&)RBh00r(CGT0>Z+=5tQVW&$<87 zZ2o;Zlkl8ZVlyLkGw6-~qcAClZhsZpwGEZ|P6f#%T@qei-XcjlPE16E4nH#wJ^dB7 zsJMs-{%9>7G&5r(R3>d{M>fG_Y*%xiTM$l-W(X{vIi!J^A_g|jB@k;!TtD~ckA|*Y& ziVlw==GeT>{jQ^BNMD3l}aRuBOYDdd_#Vohr<0@8~#95fpr! z_xA15dazDjyR9V7knPshN56;TUOs>RJpWqy^Xu7Tdr{g=Vt1MwAOGEfQ4ZS8ZEbDU zxQvmKk#)>&>@1IoBPjc`412Nl*PXOF+SdSf8-tC<(R<-+M;&W zgb$AQtx>fMm(V zlP!sDRJVF=j%nzk-2=kM;;6Bzs%nvr+i<$lmY!jVCCb3_!|zNzP`kYQ6fdE^#xR9s<@-*91fL(tJd;A)egqSkatVPRayEcS-qHb$@nZMr85T~lbMf&PvoQ0-zp;if(h~ahy^=g~ z@tKxRuAtuw=$C0|C|FsenwyouSWV2US8uw~qS;jr28(WBHT!P72a6n{R8!^g7QFuY zjI6bKcz=KDmoKikrq{1ODfw)TR^LD9OwD|}uGPfycYEYcL0%rxakR>5b+SpxXKAlW zFGc45tAc|0KV>aevDJbC0%2iclXVYsYFPUR25uM`DSF`zwr9Z<1Gg8qe@BTA+gOf% zV*W-4x@UQa7IJE9YeW6r$;eFJz5j5%LtR3G&eX{8VgB0(N3}nLYQ3DAk{j*2(mFe@ z`ugrJEiJiD)Gv>J*mOz;YrAD^Y}`@}|F^YQUGe+Tmvi~P)f4NPZ}CHUg$n*1a^+l(B{eWMu5ud4 z|Me*xB_tv;2G(AEf5fcTRV84{@tFpaTUdB;?boNJst!S1BoVuuQ>7Cz}GvNJx<1+S?CilkaF~YL2|Uons(m z93NL)lLpKTMjq$qL@X4pjXAt#O3$CP$cQj{`yq`I%r+Z z#{g*E5LKOGkO(^T6BjT0_U#)6gUQ?7{jYheU$3U724-z|csSO= z9*zFomMGZN)KpUNXy=E6I4A+D6@{p4Xy{3~I2{>&(Am`$xP^~TNs;&8m?5(|SbE?5~P z;`<)e^tiaV^mOypPMKt84vt5EhD#e8l@U8TJ7QvD2r4Qn4o*%fNl7M(FYIoOeZ?jv z|2-uuvudgbCpjtNg604}fQmBcSKK>zQ#hOFHDzWP-_jD?#G>lho2B462QKPITbt8l zqd(&6)vE_P%MHuTVB6GZRS!WyFeyp_TX+~l&l{BzW8o4XW!3&h|4jx)#ybHEd8OvH zF>Er$&Z*Cy1y}nU8pd0Q$;ryT+h_h@Vbz3t^5jXYLy(`-wKVA>Go5W^*iZ6|kbB@Q ze*gX*M#EX}G20$amaO59)-k5Npm8N#-sWra*RQdML;G(u`f|+WZrvIQE1Lxsn8QM_ zu(0^q{CIbH?AFbj_I89%o`I0D@KA=5FD%01>uNvVJLvoP__%Zwy?xu+-dTDG?Q7;r(K!f9_^1EoEhamtfP zt^tqa@Wy{GB+o=dRJ5zDt)jN}tXj|`Q&UruGr#0{`HRW8_+D1Q{=GEbxWE4?{KVX1 zeE;}!gL;a_dScN+k<5KIJ5kUN7c97f%%FPbq2g32hlBln5>irTW@f9Fpd(njuyDa% z{tOl+g6&=v@bvL{=b`{ZgNi%5yS0^-ik@?wWM>~Crb=rk*%ZAT!)Z7lxVTJDPnXbW z4>K_{%R2Sv!t6NM+8SrrQDm9dy222lwkr(GTZzc;?{aO)D|;K8#JIS%wfAnz^|-hn_cgtGpXEb}}%xe*0ij{u5FZJFgWIKz3a&jZzzt;uGo0yrI z85<9R=PgdYXJeD3YX{ziRAMh|1vP}J|yaK)){zTtk?JPBX)7qe`vmtc!B_vJnQf3uwA4sGoaci4a+5?c&_v7*RMfALA2sGxi52DdXe&GeB$Lt zlvh@=$v#NIGYuNh0F)_cO|*;H3P-t<6*3XF1OiS8=dniGM#fyqH3u{k@P%IIG`QJ+ zZ=UnT2>_;Wy$hJ)v_lMew?9i0;tJo$NY zlsPx@hbq@Gs1#lQLaT5yU}wpH<{N$AdA2*Sz$+>$uKV5vA0*RaBsi5nH=>){VH&Ea zpKai^^xe?w`PW+p23f|!-u2|q+=-kU;uPss7-9*HvvA*r5lwvLb}NIcI44c?}EF1G*_BO$Ekio0LtK#lf^8JgpC#R{+S*@puOy3{pf|}X_fnO*5);qRsSx%Uz`U3 z1+LGIJ|XNj@*R$Z+rW!~SM;+@C|goW3VvpWUyqt$r6%g?(t z5{6OoykK6;aJHPdeD?9nv^3aFuHGkn{&Z(3MO{ZTz?25?udtak%yuN7%&VOg9UF;_ zJhhR|O{_HwQIYx(-k89feo2n+=b>LW!RoH)-Qp&LMF3_G_I)La z>dZ$l6>2c3Hh<)IF(~!#`E`jn5(|1TC_PxH{H+K-dQ)+NSrh8?iQodVEC{xWF%_KkN8cl7j?HE9M0Uk(r6`IgZ_z>dGui!x|OcTlpH=8onAa zdGTm|p?j|TsWMsg8f)Kw6`!VAhG_RF_QWOff(#?P2)?FiLvJ&<@nCufzufA^xjI?- zmpqfcgsimYVufLAy{+VJ^M)Fi<tglp*jh&nfwh3mTOdcV+!#*q3ZhH3+cNnCuKc#0K@|Bmti3~Q3X(hkSsbs;H#)OA< z9<6PLH*zdGEkDnla;G47r`Y4)O3W-fXz%d!Ch+>Z%%&C}dq-@8ZSC z&tT0m`O~Lbe=2QEHvJCtd^#Vq!D`1Z$B=;!o{`+g$)d<=SkI)h{+(?TS7}*)J?V6i zZu#>qS3wP8lGutYh?)JR&ilQP0PI)#c#ezio4DYW<9Yd(htLr#*OSVd)z;VE$i5LF zd-visLuy*)=t250WsK-Ik*<;eC)qf}1D5nyo%gUDsFMx&FaGZkt)+) zk-sgL7)7&f`|g_MEh^K84-PBvFB~)TRL9;uKv@&NMcN}4u+#KTR1h&a7B)%xsr~3r z?RZ(9UB~x@iW`d8FG@==aV{?SjRm-|SGWwUU5mPYVev?Fb#G~}8z*m_hPOtu0oW-n zxSu+rF&y@wp>lcmREs#3Wudh3^XtaJ|GoRqK`?W9pjf}aB;(a8QW^M)Q_eiq~|qp?VBn2fdho zOYIYS(MNUpQR`{WYtdJGt|{!MlvLrRQK|pEc9?&_)$D(ypP0^dD&64rI|j~3ol?-G zceRwg!%ynRYNw8DzhF)aP%!pA94ra!Sc$*ETY7`k1jte#hIV;%S4 z?)ng|n%7FdmX|vAD?oyP%HX5*vZVQ&T%5sG)!z5}ZcFQmC7#rtRO(qaX}_LOXtE&5 z;*fth-#vpw?YvPM!D>tXx-D_xXO;+lAR; z3TvKTdQ)ms2m77%UA4fu7kDppG=@(DYi3d?{B?yRuna$0vEJJGq7&Up&j<07tVRx; z1&&zW_oVh~^wQGBqrYwn-tC`0X+F@vlKzf}E4(=n{N|0x%WAhJ)wUXL1SMtEg%8TK z@}!SUr`_gn;x7BH25t6TCVEdVLjiM^BPw4rb#)`vGRMbhx%$1#r=LI7`oH0+rf9z% zANNZM59N8zfBwwttPGguvgt$DFJXn$fA5UDx$5m6ulsZlwtSeZeUrz-TxPJJwMb z`05+G`bSPn`rzfDG`*l;!I0XqJg$31F!cg^-KkE=ix$&Z3pH=&C-?_wYJgb>nTP#{ zhDzF^3k|tXZOHm=S6$!j?NyoYIh!eQH?+*nR7dCUxs!_Y*_j|aO}cVTFIjBZRI6ab z@%;8tS$GvW>x63+p4+Vb%a_@xp^}o8rB|#6|Q@(tjs@ zOFT!Ejl13VBVrMdxKXlI-0^>Xv^QzZN*#97Mskl!|B@+?i7Ho=FLu1aowHV!AU<@jO8}<)PMaU+ zpLtUzZgibv>+9^6f=!Y)fsZT2mF$qcj>Zp>jpLrWrGAc|w=buh{7U_C-O*()?X6tQ z73@>|DVt{xO>4_(V;--4yH$$W#mHMrNU*FCH4|0JaKz&cLA>SWr+IOFb5>+yB%b@g z#t4@SelA9kqs)br(VCa;)LW8nqIA=|tHV31!yYgUULE4yZExLqM#!!e`aIPuJz`gX+G zH7<9Cx>HnSL1gtvR~)}}c=lag8@qG&=o5&SqbJz$9N+sZ^FU<}U_bpMCR<2e@&h4G z^e2SLT5XDK$yjI;pUxMISOk+Ie?qLcHqnB`=CA z_@#b@0(n7Mso{aIHxmCOA-OPQ62FgMQcdyFk-R27ru>YU!^riLt`R9C^|KVhNf_W{ zcB;t0gd;|&F?W@r?-Ktdfy8Z>q1}=67Uw$hv-V_L!~w%83FM!_Sg6+c+^Op*{Sc*? zVGP+6O&wAc!FRXliYJVKXZ}WyQmTSNn!sQ6iqZpP^rJCUz_s??|s2hMGcnJsQ+| zrcMz@nu{#LaZVA(Jq*?*wI-KG>|mCUo>ZY8Ak$mabZkI9r{z{Bsw8WElL<<9{_Hy$ zT)u(5;rNolk)*2lahL@+Xw??s8{)-H5<#>=l&a3`&hicU_H2MD^5$-)DbXv;>8!Z6 zPMO`z0ex^v&!ZMt2-|r<9ETcNi=D%($m`jb7Z8+LT{iPYh{_eU;?Z?3ciIS4H_jI^D;CbHy~k~vhB=akDRr{mO|SgHDPzsR;Ds3~8OKY2 zhNEDSPPd+qtS@th#&e4c7DgL>s7w7;&~RvFd*$oj97=YUF&_;0JY{{ack3}{JSn_M zcsJN+OeRH!Vr}_F;x6ku7ZF#*8Z7Sk5dzW2>#@O&Yab~E_1`dMXkk~FC#y|HpI_%O z^wDj2K{P3rT*acMn(gy5_~ZzJ^*7&H_(NPN_;C6xi?|ge8}jf52{%k{I%21iNbVs&}%EE{e<-tUy^d9CDo{Q1$i)+LhE!D%b2 z>y1JX&<8R_$ImEPAZs|ku)xZ|&|h{(tuHe7o9W$7`fMQ%`h-{0?+mLwJv{3D)_+5O z4Nj6JK5+?iGA{kn1@f1@C?eZM+hpW^|KP}NG7U|G)3CCN3fP~t)vR9DOyi6_a~HaR zyZE$kbOOJrbcMmCq+4l%iV;kCGkNl;@fF~EWyq6FN zRvrQufbjNN)CWBy*91J1(PyPg2@vv1F!mesztik_+l!*ju*mo#>%~c*N$gX)q341f zj`0kXQ5nt63z*rXa2ab7Q)J_F?N9p(dq=5T1$d?e#$?Ws!MdWPiX=QYy80fyGkvNq z$rN)OwJmDbS-Bk{f+H<&J}C@v4LrH)c@k-{b)s>9U*VuszE%TT`;g+(_p|Sg7X`NU zE>z8FY|Ks;i*_1W`IW4TdE25U8FH1I>l^XPWUwvKFox5b@;fpHGjSwHgHf3xN^w3` z%jXeBAS-w^#F#fbtLh}OT9Uhmf3hyJ8V!|FHxaOY~n8G~@Byn8j z!Ar^{>g`8HS4oU8BH&<&_=&>QrLy*qg3S?KNZ14<`g?;lqTjgfKk|DdA7x;pE267E zsrtcbPoVEo1XsA0kV3xt{VZ?MGJ8~;IFMD(K`F5x)2F zFO3O}ep5{eUh@%>8K!Ia4YV0|hUT8~QP4=cP|ITMB_Ssr z3@~Yzm33LVwhY>5U1EFNy-inh=ZEUw)E|VNL!5+If>aTiu@an0`c`mV(BkYjpy8;Z&vB80Ow0v_Q&U1$GHHHg^Xn&!_BFElPTi7(0bdd;gyZkPecp=2K+6{3RU zw5E?kH4@h$$^dC@9Ej~y<3?U(+#XK3R1~K9F#Kg$yI5B}@MMeyFKF~rhp7v#ke4@DvLhK$Qe)fHsoA;;kxWs&$D0-l#f z+M^8BiF#?|iR4oi9uIH6zqQ+JW@ad?n6dK1$Icv1VTW=1glS`pisNsm|4#mh>?$Ik zC`a+CyUXIiO1!VueE&rVtV#u^?jOairhiM1=+-bMfU&A(btVHMVj?$ctM?EseDhre ztGVz3piZBXcDOg?pQZlWUd-5o>1h8ei)lpnG1NF~n~sO#4^kWbvs!Y34V?|IUVQ=i zNNek?$jC_i3p3}HUmu1AhNTp{=r}_QFF|MlvBp40{=#cvW=ds$|9a5!Dyxt1g?7h& z+gA`K(M#SrD~a|}FMTiQ)6Lf6zj2xt5ye>|n`q;K}wtUjGe+Oub0 z((m3Kx)Vm^`*mr;XX-@p-BR7`Gf~bAMT*XRWZvmKPuiY|$KJcg6@O6~D6Li=BRJRe-@4}=(3y(B^w5$s33 zf3H82%$4Izy|<(G-7vgCwAe;I-rZ zk(#5*9dj`^dd}j$+_?gpF~tYJ+$d?Az1#x|7L+f&mn<_nzO4Z7$0Ze95IRKj~yr(3LEAmeqGAXI|}h)7%wjSS$Kn2vd?r2!4dNM~*^I zcO=B9;}UxzMxB{?*jWD7zzbKenCOw;6Q;_zbJg$tpY+ya|F;=OpORnk^#_A84%Ub! ziSvJ+RDRIf^wu2aWDmZ;tAO2>D@}fL+sw$2SMq0~MZKpJemMJ64GsI8%F^OiiOu8I zjR@{5ko75iV~=`>TVcD==+aah`~7$zC6i`czIWr#tFv4u5;AHgrp=d&j7^Ro9nGt< zA8hSs_jroFX;7U$co}npikeDmo|hr=Y@uMWAfNSl33@!)pmH(u6w?}rc{kZqKeNRE zv2vC1z(%$;XWCsZ2-29|`U*%IMLj5K}$)L$inY zsj_%Z+`P>0D0w1a`evay{xD}Vqs1%8<>&p&zhjLHg{4y^Kup`hx&Q7zQF@Dqxp5tf zaB;9wk?MBiFpn!_gODKghC(m(p5WRy{Ws>)6)9};-p*5lp|3-iZ`Fizo@z*XT#_7E zW>DJ;f3IGN4$&9YHSWzUC;nRh1tGql-|8=ZzrWTvKez3^`k!SMI+h<;7g(v@JK8ZE z3a~!@QCP93DJUpj>gHX4{oh3rM~cG+S1G|cey-WFy$oyIsH9$p|!Dqx#5{}#Wa_MskbISxD=j$;EB zh7AB|=DXJvjYFL<;&i8^gWKh-+Uh(ucG@VNSj6%zU+BhG%2v2K{iyUGn2WKG>AH}n zkfJC=#q{dyD^f|+Ctb}C@nA>gb&Yj}jY4Jo;^*bg%c#jH$SItcTQHlG5%er5)}VH$ zzz<{7Kg6q^*w2(5r`5@@#WZL~vbEFuo!+Z@_4HZnFPr&koB12t7I{Wr>{=(fKUfaA zukZdoxq9%vu~NA~zQM>O)g;dDp6xwnTj#eDvW6)stf?|?qm3}6pwhnzsS5t10gJwy z^hJO(3h5h9`4O$6Vzw=xTou?X-&iZ(@S7<)EXmY)>^CfA$X8BcMf@rv<`Q}vFoQG4 z`w$b%b*l$2bw**qMCXw7lI>YR4l}?E>|a}odXKqx?C&t+!g)wW<@l49BVq_u^?@@w zm|_)pKx;@BZwe*9N;AtN`GGHj_6C-K^VNJDxpfoJBaD3sVs`YcMR9s83=0r(H{|<6 zB!syESzJR-2pY5fjKXO{KD980(7YQ}Ib$!L(=W2HneelR(;a!8&>n%5U=;NWcb!mD z3|={3B>MheM=AXRz~gwcD$*s)07&d(B&6W%xXbl{5D>r%uj;o@LChH;5pN*Vnk#0B z;kWXA`7ePvs713y8U*>@2(DN-i~^wsXakfqG%JwruC(hA7V+oJ4n0Hxy&6TY@c{u$Q zXaJ_6{lCcNkt~>)f3NHA8|PrLSfF8^QzUURrkyGW=D^k&$)xAI*X|brpOcbBOj&ti zWMl-m&IcX976sm6hoPY%aJm9#JRUuMJTNeD?bopeiBM7RGM$#O<=Nlgx3{;CK7D26;r&5lQ&arZ6u06t*XehC+Hna9lD;eB z;RWKB^@AfLwTt_1Ek`@;B4tYx4Yf7Q#Jv!00jeZ5hdiD7d;2aRBMmZ{3Z6N0Mkq;F zMd;%s&KCE5e7yW_N74S}(+}?(@ZF=AeR8wZ>+jlGn# zbX9GwudlD$5{5tF^b~~!;t5)i2YdPVMUCpH7cV$~{F^3opTD`}MtlAGtE*@;LWm%W zMf|$H{#glY%vAx1p-xUtVj1J}VUB?-Vz3N6h^%5B0Re3<-u^0A+!cat$U>UG`abCy zqIH5f@Ig`OY^l|2I=K+DL8pPi_k&&YUc(cZJrHW*y+)3}Vk9B?j=xLzC4ovq-qLF2 zCWOBurTGyNOkg`)1i}g(7?TgssGW2W?p6frIs+MG%|nb3rdEZopU^CI1+o)^CWu19 zuP!HAG_VuUw2(_A>|Z*R1c?Ql?plP(2zcN*O4J7|hdvacXVcUcWbK58(+Iz8h~$wE z2`l6pNQwr^53dVkGW!c<)!%}(7y~TT$x*%?iZ%-at2VT1WMzzh1(3vv2|V-Yzh^t@ zByr~yN$E|1nBZh4G8IOs2e%7yok~OgK&yr_FrNH}Xq|ubi8R6pg$WAqMEwTR9u`nF zdV{F&~qyD_!;?&Di?Eo$wn(z&Bd<+CR36KQSk%k`X)F^A~ z@WVwB9e#7}8=&;ae-*$o7+_}k6Q}{MN5V`pv=PUlNWgrq5LgZpE1c*4u})HCz#>rb zFQFx3LPZG9G63rR$4`*}@!-aJ|9cC4)gY93PqYH&%WwDZA($FGto{a!P2lWk74$L# z4f(o`4ut0!7bSTuYF#bO%+dt<@lSxTZfEzQj~$_%4E}6*`1az zQ7mfqZ)Rp@fKlZn9A7i`!E+v1LLe}-p6M4v3L%`DA1PgLeRQyWc%`Vuc}VyeIiY?* zgF02g(;m(ga5}r%#)PcaC@Qj?OSk=(#*Q) zdHMOHqoZtWY|m-1r;Tph=*du;pPuGZjG(y@L6b$hvogU>Prr`)oRyUY&2uPt%(N$o z+zHyBZ3^6d9u=jhtLx$EDSF`o*N4|Y+dd~Czy>b&%o%w_#r9c`ZHE!7bLY+h`I$aL z<7o_se`i#}7+dU@Qo}?GF}FVKGdxp$G@r({SyR9^5QNRPm8GPBb6*LPT8mES+9{#Bx*9LfYuWs09~XiuDk|dQ z;)2T$Qc_Zk89I##2?^VOMrwg@27lQ1c;OiG>Jhl1G#T)x6oU4aUUc!m1BW{gsTmo- z<=X`7*af;f7OUYU6m16kQ0OVf@$qrkL4il7r>CbS$WR2-H8?E4d-o1_ZIo10ogE#7 zmSR;8@IY`LZGPN<=T>~dry*Jm8!}LAf$etPi|#+LCfD)0Yy%-g<3_s(&?S<^?*N~U zF+)!i7~lkYwbw#Fk7n4_Ow}g1+SK5?$|d9c5^wQwyxzNHk&P1I0uX~KX=%?AD24{S zKzm;A&DQ)BM$O2Hu6>9uj0U4`aR2pDym?QCTHy>ub4g)f2j{lC0Jm*yzzqcPJI$|IemHS6XUhg0ZI68V_;G1@ z84{&ppbY|xH#|HX&z+W-mR1a0`rrvAd3m4`M?~kIQ$1YMq@|68n+8!dy#0_4fy*H% zA|go4!Y!+dKu>3)ykn8d=j%Ws=bB{G45KPi=z$3kv#hUrwC`ca z^Grfo`tAOYfyzorD>Et_%>D>)!tFYk&)*4?5D>5jT0i{3*w3z=$v#7SC%0j=-un+M zXy!9#$O$(>&ITVo^zhjDyV_FrpI6$>W{;X$P#7ctAmUbf`S4M4-bNYfnmmDf1<$`sEXo> z$=83AEmn7TrOUm4e^M{nBU07~w@>0C83lFsvGsr^tSat(sjz9y{eiS>@Zpqm9S4{~ zNlDq%*f{*olAVoBSn;I<5d7hy(lD^qM{8U}6r-%qpFck&mwz&osQ*%T_Hcg_N`KDp zH@u)xx&w)ytFPtZidiJ~DY@tNqKTWEo19$jV#QSQouJ#>x608RDgj^?j zMa(PM)wSHOy8YfBXa&Omt{SF!oz%kxL*Ns`jYHUB{=XZCkr6umun&MM0PoM60DI5> eb3t+EBz^r}lBf(jJ6xqiT+zCYey3sm 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)) # Plotting the system and the real solutions -# ENV["GKSwstype"]="nul" +ENV["GKSwstype"]="nul" plot_real(sF, F, 4, 4, "1") plot_real(sT, T, 4, 4, "2") plot_real(sC, C, 6, 12, "3")