From b6bbbc6b2e8676a79ae928a7fd47e334ed6af5dc Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Fri, 12 Jan 2024 19:02:41 +0100 Subject: [PATCH] add comments on cache --- examples/more/00_example_template/example | Bin 27352 -> 27400 bytes examples/more/01_sample_from_cdf/example | Bin 27632 -> 27680 bytes examples/more/02_sample_from_cdf_beta/example | Bin 27616 -> 27664 bytes examples/more/03_ci_beta/example | Bin 27392 -> 27440 bytes examples/more/04_nuclear_war/example | Bin 27472 -> 27520 bytes examples/more/05_burn_10kg_fat/example | Bin 27432 -> 27480 bytes examples/more/06_nuclear_recovery/example | Bin 27720 -> 27768 bytes examples/more/07_algebra/example | Bin 27352 -> 27400 bytes .../more/08_algebra_and_conversion/example | Bin 27352 -> 27400 bytes examples/more/09_ergonomic_algebra/example | Bin 27352 -> 27400 bytes .../more/10_twitter_thread_example/example | Bin 27504 -> 27552 bytes .../11_billion_lognormals_paralell/example | Bin 27384 -> 27432 bytes .../more/12_time_to_botec_parallel/example | Bin 27552 -> 27600 bytes examples/more/13_parallelize_min/example | Bin 27448 -> 27496 bytes .../more/14_check_confidence_interval/example | Bin 27352 -> 27400 bytes makefile | 6 ++++++ scratchpad/scratchpad | Bin 26920 -> 26912 bytes scratchpad/scratchpad.c | 2 ++ squiggle_more.c | 20 +++++++++--------- 19 files changed, 18 insertions(+), 10 deletions(-) diff --git a/examples/more/00_example_template/example b/examples/more/00_example_template/example index 243b72d6d4056c6d6572beee018cf04d4011504d..ab405cb403f7112364883a07b57c26b55aa76799 100755 GIT binary patch delta 6039 zcmZ`-3wRV&maf~6q!W^UkaW5`5Aq;SAW4TLkPI+(=RqoC2NIG92$3KJgQ5gK;u{jo zI3Hzb4RdfOy38z&GwWm4kr;Ou#2GuH7!{cW5rZHG5orVkBMJ&w``@Z+HsgMKzpv`t z``>fUJ@=e*Pd!FHWSbAO9;a<+qM$U7N(6Ch&a)A<6Vy@d)+70m8JX%JBa^+66$Joq1`C ze~+q~UsJp6*5!BKy}IRY+86dnman?3eA)E8>3PLMRj6MoC~QS}Znaa8=caYx#U0^- z5qs1t9yEdKga~EN5kjOk!#Ac=HpdCbIzj;7OqjtjY3sir07jvldjO3=LklRM z^WYkqoM{lCZ=S~QN$2A*VG$EL6sDnU4j6=m*A*CqS2P76!Zu|AlhCXwh+VxpS`fm8 zJG8NCkp8+s>s{PHozSl73#EjXLBh@$u2m3BO%|=A5}}QrHkG@yBvi2AGIfe)n3=Ab z90jo&FDIAB&GHlowGs^v2f!#d!a++TqN2rdsGgdDZUMSz92!P`psxXK9fz9eZ$Qrh zy>A>ENnZg?jEsujJPwVfq(}$(fcB0(q__;<{Sj|A37$fK6zPQI8puU(`dd5}CO!SFs zn(kxx7c$JT!P zy(~ki@hPfLn9MfPy$P9YE&U1}@{h^w-1!mP@0F z$+~N4#FFYJy^83-PG7op%(7@8cq80~rIn#I>G#x@RKeWzpGkYzc3L+no^9&iGU;!6 z_OJA-wE64#Wm(!AoW;pNg%o`9(iLf6>9A$XF$Bi)(g8N?H<(KY zEdJdXcULC*Rt$*U8?3(W7QrX&eNr4a8RoroO?tO$fQjsi*lT%ds9Jhk92nJ$5`5^j zyz~#Rze@J4c-O}Uecd&toZ$-pI=R}vX4-(sKUc24blArN;13i172zH(Wc`)j@Euk| zUR0zzS1I{R*7SL{Gr3>Ma@RgqaPUk#62y{BYttuLIsp2l&wSF?qV#rfIc-n>)b(_{ zAQS|Uc0=d{>6|RT&I?oUdD@nd$^J-tG74B5eU*{b(I^cf{k#jk(nn8vFUj7Uyp7(5 zda>)ADAn{oHy+@QztQ5P8GO`t$+6N21$F|;x?;|oI4zb(P62f*c2!GX1U+YEx$+Tt;|*T_ zGPy>&D0b~-+`B&ZEnM(x@WTE*XQ?YQy`!?HyQz0owdJk@1@9Cb6#eZxaL{V6%5sIY zVb?0lngOZlHJ^0n4vVewxu6KevzoSVoLSM`(krg0+%9(4^mx0@F)!@!Ck|AzH|P0R zo-kRGJqYO~tZVYhA0oBNFZ)VQwx1KbD+gDKg$8B&?J1(aC2eGhcd56@dy98j(_S?` zVwcZwSvX@wSb`;A$})*rIT1@xpplcs3G_f#7E7Q%W>xEk9rRUJ0W(u_whK?)`8h6H zkUiCw?Bq3SqrD0gBDvx8SauqVqQ2~0-9876W~b`*#6dEil5!ln%Rf>|wo`ZfN2<+9 z?`Tv5h{*AHt@z2?P%X*gz-fIwTxmflTd|qS9^7g+!_x?*x))KZ94rU~T|ve1UQ6|- z)zX_?ColL)FaF=~0c=0ZV~WS75>x(~q6Du)lv;X&e>#omcUSg`(tv1Gn50MUgEx>y zoxv$=p!#t>O@}MG;uUX=t55eW3M1cD) z%ktZmyZAF+32Yyh^p<|Qcw>pzzfcxeyqEKFwcoH`^f%a8wLkHY78$9s6DPJ8F@=4d z@B-`)n8ebN_Rm*Y&c6e1SK`UB(H;{gApRG}yp}2d;30U=PA^Q!(Cv?<;VD_Vn$2`& zO0w?ZSOg(+&5u6m3+~U}U;sveyQa57(m?L%X+H#?#e`2f&0XIceDsvY1=hx%f6k~F zWYh=>-W%hRD!3a0TH4cJr)IGG>Cn_0b?={|)M>Y{JE?P8;mqBiD>@r^p|%;)xrX4M zRV<2+hEb6Rd9~k#_g>UUUQF$Onn+(xOPkS&rzWIOUcfYf9_nWBtSYRQ&;~xGJ_Q!N z3vC0z{hw1=?$VeNXxn`e)#UH|CQ6?MXH#EpmHlHI&gbhVLzU)3^n$e%o#%?U2Q%2W zeHG>BJ*+!wrT#o(bEztSL(~X@dCx>l79Y0KP`*9-Bh-h2gYX+_*DM;#znS4h!aXUX z065s9Q)#_>7i*^6g56R7Wey3yVy3YIcg$1Kh@jv2B8XyKaQAU4o_?OT70#yS!Xh#h zS*fTnmEA`B3V+EKk+Ep1?&@)xUNj?o{U>}9u>x?tFXtN0rzx1<|I6a(kuQ5zvW}D?S$+#+lFO%1hf;hm5&d~ z@&(XQPy?R37e0{X6wu~FvRnk(^Pw!)f(8!D@)}TKM3y&$b{>)C{{S6@jmJRU*zr}+ z9?(R7n2*b{TaVXc4>}b90-%fd#HcK<2X%i2gFtH$*(g+j3rLqmplx4Z0nkny$DN=( zIP4>Q9%ayE6oeGi-$c+(&?3-LP#>rVPoqo$Ad0zi(d^cpiZq+bCkQDR&IZ;-C(0+Y{ba1jXIH7XBAHF2#){-Q zYd)6c7Vz-KE&m+6gTT1)ym9O@u#3R%R}ewqrbQuu&D2+szrPH_)1hof2z7Gosm1gU2bd}Lz zWsmC@JZA74w}f?t>&sbWRJf@MUn$(9v%x=#6Fk|t61_pnnVa0f^=!dtCz4|!w5xi` zqr>JtuIFlM6+MMIuEz^Kd_%8sJ*aay2ukBo7y@<`*g}r1HK(jFn*@#rfma~WevS)B zv@KuA`Enx{5X~t%(QM)ZPD~sM3GhhFHJeI+yMZU3rnssZVQbLsIZX?y^1^nYyZsFP zrt0=ED>5(Y9DQGv88(||CGVz1ra-h6!)@nio;b<41>I3vC(a7nkDmK0dRZ)sh(%5= zLJ}MCsZwr;2z~Okk*y}5y+YoaWSesa^q^h;a-(%M$#}2c3XT#QKz|dRsL8jbXx~5F zle~>m>bzuI8$L04L(VI0C)LfH&o0o@^OD)CG%)Wr6ie@d7z*eNTY2IR&43)n3Vrs1AU zRYp0S=>9o`^Am>_Iz0ca;XS!3t{fC}4{Nwv!p3T6m`~WnocRaOMz}dCIWWl3~V5qcMbofSUlhv^n zR3SBlr>gigZG*fraQ;A{iie`_(eNS7;~~#3(Qw<2VpX6;CBhwKTkLRgv$(oZyjJoS z^6xNt7dtw7wAl+Q2_ z^mvpJer)!C*>sn&f8mPd45e-N%6wZ1q<9O_P4olMS2Y)hXc3jRr{+9fR zP=($}eJwMum;TTrV3dAn=`hu5SwN|)9Q3NsRmyyI k$x$j@Ewf!zdi%_X%S%+uP50kEGcx;DbrjF&ffbYf2da=;n*aa+ delta 5880 zcmZ`-3s_XwwLW_uFatObUNgfR9B@z&h#*>}VPudqbwG#^NqtQNBB;&PE8aXlBPJxR zb8#ZNY#VQy8*CIfm!?&l#KA|!)L1pulEw#W)Ug`hNl1O1`|mSnET8$h`R1&> z|F!m7Yp=ETKKrox1RFTcx~=AIv4Y&nLqxEy%Y9cbL@T3ppA|&?EITy#SvJM8u}+;n zGz?S06dE&-2>f)_3V+TcR2>?d=p|+`TNNp*B4zE}%pPZ1|7!A(Dl~aWMN#Ux@!B01 zR^5r4b+ojpioP&*Q=5DPmZ2rtQ#th7@-ihV_9jfG{?S+#|oLBD_< zZ!bsJYYW*WdBQbW=*SEWHEZ+8tF_W5t(WbSc^b-$_=v7XykeYQ zT|2LMY@xtu(bz(ICelV5BgakG2x|Ok;YK8=O3>kn2nl*2#Np1Wg!#aD5DW1;GBQUa zfIk|m;8?kxkF~-$zAE}M($=99CMi7Mx}PK98lj5w&=~sff+`6SHpu));R!`PzO8Kp z&(R!ZygaE5xl}*Y*KXrum9Rk3rweCL)-DL$ap=Tz1CKCj=`&pgi=tG$#Rdxx+l_gl zE-#BXs@7YWm0r|aXoWszgsAW$!Bf$1fNlZWI1JU&DWE5TwhluhX+)HTVxnS3JU0y0 zQ(2V77Oq-ub@ecA4E-2f1BaFN`Y^7M-h{?qLgS`ksF^+idI;!_VQ4(v2YL@^|1dO> z@}n)37ajA?gpHhqtkpy#g<1Y^2O5N;dO{(hMYhmVZk zukL-`9L;E7Y*xeXvIIf&k9b@rW&ILbf(r6?x<0QccDE->?->?2Eohs zB`MeplYi9u>8-d%mQO=**{aAqN{?U2-k|@Ccd!?zH{Q&)=t+P7VGTLR$ zW(_oG-IefO4!kKka?5CT*>$&!PmNdyfR4t+(_Y&|=AiqwJe4|!#w6L<1*%QjU}?os zWqf%R4vSmH*(09D=$6r>eVXnjjbfu|WO5d^{?z1j!)`m4w*G5Lf>P}+T9!PL{Wtw0 zIft#KkCLxvzBQ6hd}@H3T!em$(eWwzaO9~y_-TJZhf|7J_4?FwRq9B}Osz}%8S7WCw*O&){WoXop{u^<}fm1+}h8M`r~yN`?vB8H7!r^H1%}`nb`HB$-@F3 z-(FAGd_n9RjPTuZ`@RwTE~<@Nk9PJk(eH{Z7yHgfIE`EXEc)8*I;a0xNo03LpUZCY zG<}?V)WZ&Yx>BljF8@-={mlutfALM-5B!?1Uk-$9K--yC(V$1eekw`x)EOBta+&pvr_~g!!GTlC+zjD8ZeyFFS|rp)1)% zteaAEMs@i5oim+JIvd=+`(o2SHhv>H>lomWM-?}6wmw);GGU9;F#oQ+C>FYWdT zMPI|C7~|FhV&A0*Crs|YqNo>r`-7`7sC@P7m8DMqT*>XbDt7K=eDNZ?(jAP3Bks<9 zM7`waafV1-|;+@i0nS0O8_SN{C&+3fn0W@i((yamD5Ud97U{#);ese;(HXxwbCBP81q`Z25%czCj1^0Wtjgg zJ#b{P6_lBquNrTq+T2VwhGsjG$)9UcO}IOC6cfD4B8D#iBrPQILoKi`{q+2~MN?BvRrV=sbU;Z%Bg(rUa*f zFPDNFxiVnj_P@$ys}Uie#vXhl*uhhD04eGhef>N|BI88m_EiNulP24jpG4qNc%t^V zxQ)-;FFJ_y94I=*vzFmO)-sT_>~FD!T=vNa5M%x>s$jw$GIMg*JT@{;v1m(|>_Q?o6Am-DSupP?gd#Tw8IQ!b%6j$X*m8gIhe zUUtUvTmTI+i~>t{?Zxop-SBKjIJ3cP97&ImcEd zECe1b_#%8JRH7FQ(3@jz`Ur5KG2v_4J@#eQA~RJK5IaGCEqF1e)hr1A5esHXiiYqu-93Oy1&RvKO1^SH&r+#b;|Z%Oiu*Ki>TPR5K`sLEF` zP^q6PT#!-Xgmpch9~zvcAqY|yZ3O( zV^QRd?*6~>X4YXkB1xMN-VD$HXzfu+8UXczw({{YNxA_V0M+2Fc;r(_$^b3@izF3; zE;%kqwV*vGBxy0|;9n(aHK_M9N!kJ$fS)HpO<2P{&?TTLxWW#C7OI5~A>%YoLI6FW zjht~tlG;H{=im@%#(7DK!43}~&5fV}iggpH>5?QJ0nNas90K*?oD*?R?gpI=dIPi_ zv=%4r8qjT^zXCPk4F3Q$06L^Cg~IESl!yD};7v*TC1~v}N$Lj;fZhQuye&yq+%W^7 zji7~hB&mlsP8pSY*z!Tt#lrPM7bc^v5Kar$zIyGe^^AfAD*cuOGt%zZ`@eA-8 z{FYErg(aa8k$+lY@sE!k`2CjVR3s;CLJk%U;{?&ykiQ~XW&M<1t4O3kg(fu*i74U9 zMMI(LLX<&Q5iMk3I2l+iovj$jwvg6Uz)n($E1ktqgDbtv^EXMF4;kLL=U+f}6EN;P zZyXx}_7`B!%ZMOw*J6;sa@y`nX3g}8YnoO>&h(U8nUi%U$}qucD0CVeQw$kX4Av;5OisyTm*g7#jee;23d>(O0} zO`z?qi;mXl1j*+Ix|3+>lmE&n)148T?+tn^w_QLO+^mVfFlJTcF6?NDs;I|CaE!lx{+1C6_6BLy_@1LcB;t z=GXti?ry4UwAc>IT$`ZthGvDIpL3lZ*Ekp63FRRiyIgMf6+I2?Lc2u~DD%6^}(7^vqA+OCT0XjP^LaA)N$oP=F)%_JlVR<8^{ zd_1qndzCD2Q#j8mO9}taP=0-a_fti_Rw)yvgmXg(pDPS1Wfbh&ZbQ3Z!$g|e)r<-3)xMUzLBoa=*|0=ji!7CLFyA-^( zFa!)Jng5txnq{$FRJdMcR-H2IE7@WLz0_#c;qd1MdwMU=N>cSE&Hb^qcXgAOu|~Sw zTwu-so3}7sM!E9~%o~)Th3R9|2DD#6!*m;Mo?oC3pWV;V+4-dpUj^Y;LOJ zBvW0Bg$}fs^BH02F+F5-fZEz5)i7%* diff --git a/examples/more/01_sample_from_cdf/example b/examples/more/01_sample_from_cdf/example index ac469d9c13bacab832df0f3e00b284721ce6ff1d..52f8eb4c574524ca7e174959af99bbdcbf25110e 100755 GIT binary patch delta 6615 zcmZ`;4SZ8omVY;CO8S|kZJMUEO}{^Ap)F9`s%QgEd4U94+VY{TR7;@+UBIP|%pfgR zTr(xwdYs+j;7)f&chGUyvUQx|>P#vupbMHRB8u{<5*CzNP&x>_{onUq*vkC&{(gDq z-v2rG+p4&?+pZ<7ESbsLkeB|v0+N8}jPlmGKJOp8jta>u-*5=T_>JX}{k7IXIO}&MT zAqi}hPH8Pvf!b%h#{M9;*M%fdlP-b!fuE2OKWbBWFLs!iZZ5kaOY3AkJ0aPlOJExL$=wURi zToZ&aP>m3Rr+{a;%HgYEz}i5$tt;^JXJm&6kg#JQ8O!ADNy2=!?a$?HoiLAz^~oKf zLamCoC$@!g-S?r*3qySfRP~|oT<<@^hhf5MRX(n*ElR)~+ketuEBEJpHdwhnjnJX$ z3p!oTm7^HVc<=xlSEC`w@Y5;%94mC+EP>@pmB)~gW`$Xb<8SiNe*%|#IaqR4d=dag z4~1E1M_6Q3*#uNeF91CVRGff@(jlPNfG(YY>ghVrg7CfdM+7Ku7cCJU~so7pSe-}20PPW zs}uy4_0=uyFK%gnJh5%B7riC18bJ`fv)-WZViM#2FjWu&n`ETKp)humEjEd*p*v&K z*-}~_YmQmOg$5Pw!2;Av>B(3p+fV-3xM(A1c44xj=VIX3G!{FvesLBbA?ie?JkUtfJ#(fzT(X0C{C*|WC%wo6hK3?DI+Ylz5G}t=19rvgd@*8FOl85ORaY?L% z`r=aZN&pG%`SoJgtQcMuJzs5z6uW1|qY>DCO_BmDFyua66rG4GP2QIea~c|l_sG^< zX}I|AN<-m+pGA)uj8U)940HKCk3u4lkA7o@rMhNWe3@!FlLVnVBy+0|3(KK><|*u#^qtv;#AAxjjXRGt zY+vm3+_2YkZI|JXA#%sNHJUWq5r0Qy@)UX0GT^V%nfNEzuc+0M#n#f(mNiUES1q}k z)47zHkiq_o#Dw256J1Dnf&D%G(wff}(i_%HHl2=HkFz=SW@5g^mQ8=MW-tv!OzsJ* zfmg;1_eHIz7biDpu4R%YDTf`SDM?xEZK_Us(;UwIRqP)#m?|^%V}@l>BN>7~c1s-1 zNG@kR^iXmE!s7YlEaoO(@^hA_(h-V}cOovv3=L6lqQ&jWQcvoll&d!0#pKE~!ehgM`PaE_quewmfAMTuB^x3~+JCaoiKQp9;lZTz zx3w&TKFeCjnrTY*v5v~_wF!ag=OxLrCvg6MK!z(lf$dj*^z17iF>L!B9yPr7J{$3d zM3)a6yt~ovb|kr)hsEy4jIQn$!R6VrT^v3WYQJ*b^Iq356WNbqpW!vX)3aY3KB*Nw zu%O-W+6Q*;T*=k^o{JrDb-VR>BbDCulGFQO!LZ(2B{{DgaWNm{Lq%`pqzc~2IL{mM zJw`)FBcPPXqyC%)rgMkRNmAE7R{Y_)M8vkiMp90Sp%7Ddc}}}L--@370TUJEp0HXI z1ObugEfG-(%t5!m@Vp*aMwxlph>rPr#Y~{b@^U)rJqNIJ>`UyPPqy2yNcP1%CTkJj zqQ~9m^jsG`?LDIB6oP!F8szNO!?vV^H~zAV%}bCbi>xKfELR0a(ccFjGmPw$5v_c-FEMC$&F3X zwTE%*y4WR{;0efL{%a^^N>+!Xr@OIlrPJ_t?-##Y{GsS=??;NL#@4O$JT|n_@Zhkg z@hz9~S3*j!rK-O?vEJ9dcO?jC#B1!l)Iyh+1Ows(Pd#VNhPRsoM* z!LWL}^f3Z!&bX`mO#20~+i_rpI78Xu?Wv--CH?5V_6B>S{XYBhMl~^rU9OOE;hYg( z2?V~DBsw}JFZ>veJw#*)#ZyFnHoKRm=R2`iH|0-f(ezrrm0hM21y(wppKtmnr29*T z&F1}}=rXl~QVP^vb`ISv&20`Gn)o84}3o^X2hcAXh@m0$i_ z=K*X#&pjHVdX!&mWY=|wo|e8q9kjqueWGVr)X74gt&hSO2%^rwCok6-K> zu0YV(MCJ$4h#tF7yu-_d+ef%h_i~@Yk#8B|p%1?0o`ipQjZ4yg#}L1($bP*aTJ7a0 zmToSydzVOJ^MB`k=JbXf6uosO=JX~VR`!kPadcw8_Q9o?Uni`9i1g{j@}uov@>2lD zcHl_ZY^GQN?!P={H%$3}dteTgPs?VJ)HE$u<9>>|r`a^`nBao!2d}z3Uvq2r1$>wi zWZiw09u?$vF8FKU_h7g@XSw0~0*R+pDTvnh{4|_m5l%;u>)x3VQGqseP(z;XD$HUV zX+`0D_81KmE@#PPEShm!+bLOP9na9FkW8*1P_JN-yfuPce1NCfU#B=-c!45K>|X5iOKUnO_eah8((m%ayO!+}jSQq&kXfUUdxGSbMO`9t)a2pl{? zvx}?Di@*r1JsHd~TTu%L^g^*U{EcWioXy7#F>2BWBJ#xjlX3pzd{IedMjtR-rD6zOLEN#l#4KhGSBmcMk%xOP8z*!COubbq`kMLu~oFV^e(2SUzO%-t{ta$ zN^hH#`57ksn@>q9&5Muw6j9Z6ooz0$dmT4io=c*4>VTf^DofS;^QY8QHo5K*TzmtY zAa*Z;@pgzz$K`RhC)f`9AJ_tI1Z8-$$|4NcVbQl=vw;FUb zfB`@SoK`zQjW~Dxoc|3Lgg1qL(6~^3KmHao1keOp3F-rF08PCpNgF`@paY=BF-iIo zbo8<$)#0U~>3a+S>IZ!lwBiR0z}uikxT)fbBrTo!z^@v36YL!qtshz(db9$mCAJX1RbiJ z&jMt1loktc+ykmG&Sv2$4AKBh#|IOmQ#HH7qxEwmUnv z;d8VS5CM%g-1@}3llOS5{U?DJwxGQddEyu zs}VGlc-N|E<2H>Lo$#b~esq!MbaVoA&5qXdAsQf8hM-!42`WR(i3+WHM$1R2mWP<3 z;X~LlgzPOo1cEOI;=FLr_5*tY*b)w`jZSTj*4N4m9}{DmvI?H^os#Xao!esC#nhO=pN^^&~>P0o~Ngst3yws`rJ2k!qr_ttOe=ksn4+kxs3c0db_RK}8jUV)Cs{K-K!{|ckd zh_W#Gy&T>B#N36r@fN#nrk&*gP^=0;Fy8OBX~rAqarZRVO1s=P)=eYsLc5XgHxzDC zUW{smFOe5)AGugmI)G0Eyae%4vM*T3il}#i4VRf+3s%wE5FNEILb}(4P|?DjtaET= zp^ahC@2V}<%fWt%7Wt{gH;N)ktFhoSPFjsw8zBr(P0d^ysEOAagnrspW3dW2n{O>z z!6fXYQ#H%c&%Owse-_1SF-=;($ij@|S@evxDYy!?E01msLZgR@Yc0%A&f3D_;Kz)h z_MfRTL8}JwE>xIch9zIFU2Zk1F_p|i7Ue8{Tr<{DSExBSk6x+GmMyTUE{P7*8N*^A z$OJyUU3Gk+@75KXg0`16;4w&H^)}W|dG&Ky6Roc=)D)G`Z|m=32k2CNsmWKW2)3&7 zNn~F<*=&T5jZG?~lH0+t;N1&PYa<*QgPHZKUs_7k89&0g)W2ANGgg8+p5>g5e^>jR z#Ct3+{HqZ!Ln`ja8!RvKeg}Owh!@JRpc+UxrsAo^3cf@k!c`Ub6)AwczfiRzk6^yD zg$gxx<)jBjj=~VC)lW%ds-iR4hUd>9~{7ooN7UT zF3W7^Pv@(uOa(6Byae<4TPoh4q2PC@hS&$38((Nr@Zj?!uB~KL?bXB+7mA$Qcm=aH zX<~(@*}U<8g&(Y`_{tcI_tRaNagn;JRCPAN6Q_bsEwyyiaxGZ3P@!l*Q!Wpvy-ubp z?U^dRHi%~`K!Iwb%_?4fOK3f<;!Ub^f=+u`!DECXHNUi|1MHTkbx7^DE>VGlt~;*c z1L|U)S9=+N8-+w6p-BZ)@`Ebhsm9EJiXT*s8vM+yhMK@{8FI{2=PQy-^^r+o2*NGv z$Wrmt3`KsUIzSQKe~-n=^EQvDVA4rfwb`i`+B4Xd#PEo5r|}x* zyH53bi`pY!#eHcC;85|>pu8F$N7ZPU3!H!Hj!kY>C5)=Z8nx%c9G9c?c^>6ykE?Q> zs$=ohN-n)BUOl+6Azu?e@uPV~h1@EhRy6p#`wr;_*RHsqA?J;>6q;Jmi%?FG1>~-j#)6qbiF0y0SDTcvc0eQA07SHsjjYyQ=WnRwMaW6`A@? zik={CB2#OjDd_nieTiyX3&Vnk>Q3^s?$?Zm(xSF$VZpEDqvUBTrOvh@8f`O%-TW(r p!d92wO!UTu%3z~ZvsyxmuUS(X)~|j{e~Eh0ax^OviCDVre*tC6_7?yE delta 6369 zcmZ`;3v^UPn!a_rJ9OvK5Ax{lkdRK&2?@; z9gzehbLbOVgFo)Vtez8DcgM$>Axv-w9UqC{5FEvTh!If&jL>M1fT%pZ`&HlDO!UlF zPT#NUtN*X6`~QFab?;5rARGCFb=oZE6d_u?3JC5kg}*bbOi)@Yw|wd{kxzu(V^4nHO&MjlSOM~E;^~Pl38nG zr+J&aS{pf9w6t1V%)X}QwJvs;4&j=~<=FnHj9ces7o)W<=)Fo?bS~=DL2t2^j_aCO ze{^Ic&5C=69AloQo-woPHL%1OK__VN$8Dkqih>qb0at_C!Ce{m0s(eaIOOk*! zE&YkUCaTYMR@?b_qOeLGFXlZx9~@^iV(N3jX?`*^Dz_k62t8r5s0&(Rw*78ltzs@FnE306u>NKATh6q`&_z)l9cXB3-8 z4}x6*wtp0Bqvyarn~>P^er2cjX>*SL+Dt*XBsd!#`_ptnJxuDPl>!Mk!pDEDC}Yo^q5d$>}M7EfIvsx+qgtrF8Vu-N_lOgPM|a z*jj2$P96KtT&PFs9WF+_hW;lxz|PW0a*EN-JKKMhWhrza@(PVjDQ!ICph;}+ekBILJ6<;$L?|4hkX zjkG6ad|@LfVNFq^)IQ~QUX?;$u1=IXrc6R3^3n}ijx55If64Xt^CC{NJQ>}-X+sqU3*k~o~{EZweQpKU2@B^zJ@^P zhSWanfU0ge`WHzZ+Ps433j9u+r&kJ{jhr4Q2pwAI#$Mc54V_7y$X+H(S{A!Zp0t9L zgo%RSn-d8A=xgMoU4}mf>A|#G@o5LWk#<+&6!c@(3h+lrV|@ZiW0N(HJw<=8E@!!v zZYvPQLh{>k*_X7;_Fv3HiT39h(aZKC_Ani_JK1cyZvTQc)3Nj-@$P*3#GcD?sAycL zVO1Wt!~IEHXy3RdF(Z$1GA6L=G(97aeNHPgUQeCK{pA_BWU~03`b(yHNf&bkfqrRC zq58~9)=lBeVuZ!(nR)C%8p_;ieK7}7_jnuP;*zN;=@?qvF2|^2`~>y@^^DJ9OX=wN zEMpCNB2&NR=AEaTN}8-(mQNG1^4W(pGwVXm2?tl4H^^uF7WE~jf{#$gI_ABDpU#v` z3mk41rcOr|dyKjrv&W}LRV+cL86NA4%(%(NHb`*vGk9K$` z+EVkHj9_zLdxS|HkC}t4HyGL*>{u*FeM51fOM%c2Qr{VkY3HH#J|>0zW4uz|={TQh z=Z8{gwNvj4KO#%)x)ky|&B5mP3J(R@!C*&5t==DAB?o>u8VIkrsGlCzeus$=$OxlO z8kjKCvbVjLc@Cc|Kp-o7fm{XSO?P9t!O*E-=o=}tKax#N1t;tQn;;gE}D@ru&+%NT=jq_p3H4$}qDfDin0*$JT->)zCh3}UGp<$_gFXJ~a zv9CKLe@17ZeVu&3+iFfNynd!6l{@ zeVDU27+T>p^GLKsreY+2$m&{4oM~+Ld7C={3U==B!vG-J#9P;k$KB8n&1O!TaX>ntbzp_xl!{J9q|Z zqw*{kKvGd*{0wU}n#*wHKU$Q}{z^NF0&D{f7v0WgQdY5DEWJT>B{rH}Tx1!O#uM@S z)N&xgu;c<@IJI7eKbLg$OpDYL{XR$M1Xu}vI*9qP_j?hkJKW;Gw& zfSoms^}cYE(*(!NjqODq>OV;~lBYK^?n`d|zrBs)Tkx3z$KjIDVEgHjzAIW-Fe7sP zZ>p~X@YP#r1i~A+Y%MGl(mEqEzHH?#+7B1?OQC-5B8hPj1EHGU;9ZlQYmUQk8Qf9t zE(w?(y6HjcT(RGCn0w6;gx4JKTHaM`A-{9-e%P3wiri@hkqzI7Zq}^FX+80M9T7EJ5OHs z0_3JH_Z^cyJsBMlgGFcH+L3n^F42kBA*9KEo`L&eCL}JN;ZnDf!IN9I$-)^P?U3n1 z4Yw6ZP*#X)bcyIv67$^mFj!w?n11P*pW?+>uU*E5e~VwF(1}QJhz@(IQ%~WEDso~d zmJPl`EwYkIZnwu*qX#3VK4hl4+czM#58u93oMfbBcdSboG77@Kjzw?T7j)r{G~4r*c}Oi z5De>H1we|io&$5pCX*vZ?g4ezHrr#!O*u-xWsFqgB1?Zc#K9W#x=y@88k8svHK8{H}LGK z?(K6G;7nOhATpKbCEvZl@RS)i>-g3?%Cq5jz6M|D2A+*dCWEdI7T(0((??vN^em`+ zK8^+wI{)ZhEw(y7l;r^!*$s>U+XiI08>e6QAzAK3yX&wl<1tw11*QOnk7T(3=mvU$ z1HeTbk3b*j{aBW70PBv*GJnJA1r`HGK0%lQ9a#7x;6m7;O(V1lL!Zg=3n08FWcdiN z6L=Xo0!+ciUI-r-0K0&bfer*;9p@29D}bHYlY4kS5{FiYaggrnfNe;yUBFJ99sR&A zoH8T8p58>wXvfL1dN7R+5tN<|pd;;kHMwXuib^><;y%(SeY`ZASPCTJ6ye!LG zfdjx^p!Yjj9tL&;&2W+Tdn^Fh4ctbDrcGcrx;kwfTS%$?+%#8^aAiPVxc+YZ255`lDnq0ysBqs7lV<47cVf5^nL3BEhwffa{`N zRpZ!h`T*BKI#-p;N-3$@g;}RmXR)m`zd9@R2)w!&^1Se6??yOo+#)8c{pV9rBIG?eieT?7O#xxohZ>;cBT}=x1vJ(RoBV-0o z(N{G&tqrL5A~}!YV^tf?n?=cJ`;BIX(Jh`b+NzA^sYX4Ya~~XtPS`N4 zoyzBwZp|4mb~249V$Ld~+h;7my0E^f(V=iZicQ|fc-zj%t?~pAyl`I*f!vK_`(92w zY;-gm^-=x`_#6L#HzTC|2>C`X&)q2*^?aNH@SDL$$HBtHYNNgaychft@ZDTKdb9ME zG%;=+XemPJf!pG`QEm8&W(FRJb0F;Z4bxkJd|eP#J-r#ojdwtCEn30zls0{Q9N#M2 z&eNUK?=&1oHG*BVm=5`qsdIX z7CT5U&0LDQ<({{D2Jf*kjCZllYCjm0RaH1>@O?o~*|V%{53Z@21Ys@BnpMNvXct;0 zp%ZAe4~-qAqE65SsftW2x&ODyx8*AQU8*5=(yX~wJd8uv{;4W6Ql!X4 zvly!9`0Toy=ylL8G1-%dwOT~GpkJuS#jbYs9uQa25<6@P>G^q9HkmB*tgSOtncf^l zrc_m)8{?e{QLNto(ilHU;bQ^vh{_MBj*2X|cFVOGiSz7;Bm8s+3 zG*M!{*{|}Q>iU1HbPHE-=Vl>Yuq{*x6;7z~BdYVeRsL1gjJo+XiaZ`v@D+m> zraIx8I?&3W-HZ|WlLv*6tH{R=J3Dy3AoD_nk6rUr`5`sGgq^v8zA z=P6#IClRoo^W4jsi&P1-YROGeIXvXVB-rDWeV>&*NwaX>!LRl|sXE;}H=!(7K==!7 zxX-E^ifQUD#cF|gBzk^}b!t2;Ry9&ozAIZHs#KnzBV2yy4uu$0i&-$k--gOI(&Zbn_C! z$H)gZb_T?75^Vsh*DJCy?54gYF2f#`-9uNGl#h)aI5EUIGSVkL`xeT$h&ql8;+b>p(p~qWpqmdRj4Yio#Z>8&6y4Etu uaOrcu8#bx`WO$PL&`N7oB+_x)S^o!#(WCkR diff --git a/examples/more/02_sample_from_cdf_beta/example b/examples/more/02_sample_from_cdf_beta/example index 1028c55daedc8f780a8d673c808b41d203c42f5f..e79ab13b16db2c9ce4d1cba14de35317fae5f57d 100755 GIT binary patch delta 6682 zcmZ`-4P2B}x_{3M12cThjDQ0O4xjSvfP#u>&FBog=wP5gn39xAP*&=ddv#0E$h}NB zg+A8B-S)0++ve_8YP5HCtqrnO*6jn*l1fwid|j;&Ey>jP{?GfqW7OVze!n@-IsfP5 zd_2#2&YAc0an?D=I%BPsQG!yODiJETW<6^<9j5k9Z++ikdL~cpJVRFIa5*(rfC?6s z%Rqwh8}h3Cp~XL@NqV)PNt>9>DpaUFp=lpF3kujxf(bQ>(W$$nS>M=C1LEbWq$H*zP zR~JoH!Ow@6-BMAxh`=dt z34&2Dp`{Z-Q46TUG@h~^EKsj3lJC0{zn1uB6PI#he2%qkeF8>|LZ#OCDSd;m2z_3- z{t8e{zg6f@oe(5okVZ|xna2CU!b+{*pUL|{!u>Z41PKQ;1Ki+tWdM_~R+EozZjKPJ zpf;_qPEdbif@|XVgmr>nv6q98(L%+@t)b*ct90Zi_z*GE?6`21snpUEwZnJKO!X#P z!PrsUkx^V88iA6j;UNGR`As%@*%TfzZ4|1fSAd=eDvm;f=}Vvqq2UpAqfjFyhT6yr zv}qI?N)@5DIPI(`1Fs#$jiB}5Mg}GX+CGYFq32=o1T1!qLdVcapy6TR5xYjA(G(G8 zi;Ed$Y2PTWjb?_~Xa#ioMxk+ZZ+~FPg_+0jGXm_kL>*^P>4Bjf6{+%W9GN$Nb9c2 zva}3C9x{A6cU!bG^jI!-!E8zVG?(T?FJ*Vp3(Fe1we;Pris@gF1>pBYV%a@CgmuDfbn)#biRU^LLo_zJd-I^t)9Zw6azdwm+< z3_2SBFiWSpap^iaom$7;&4~UvE|aaMsDw0DL(>wT#y*}%_!ZOB&k}RkDf(Sv8hefY zk@yiiN`DxiquZTA&nBkA^!MXCP5YDi?%p23XuEwe+d>!Ynd}~lPfBMMzSy`4Ie(~$D_ByYF%V++g=ZNzGa&5I-E z*cIm)=Fp;)3=G+plERMD?^5iMe}uXttQNxRLG$oZiL6=h|=q@LcJ@u>P5O@r% zK|bbEv>VNtN72Si7QTj`p_L}46|g^1Lz)jiqa3TG`f%;&rIFn6JF7?ZaR{63;Q>U&;GF0-En`cH0cXj_8pYYeGby= z_DMS~fA2d~JYe2(0uD6qev1wGgCdK2&Hnx9cX$%KOMAtR^%if(a>466xI^syB-nNN zn(s(kFB94KVwZV$f4T3l*n3*f1I6ev?|$3mFO$7Xk9b+1x1++CHQ@HIlFR)oa(j*b zQn~!{dtTN9`C!rS4smiN%N&2uHyBL~wMHdDP-o6O>)AIyljXKUtl*uq@i<&&JAIuq z-h4Brj_C6Gz7l+;>g%wRDQUGYJ1eE&N;h3ckg%4*NV$mM`Ti z4HkW`iJLwahGbdH8W4R)#NuPfDVxsoTTyJ=k~U)IizzlXBcQuxq?|ZA@ z@BGlW>_m>Lyei9X-}-%x<`uoZ`j@@Fdv}_xo?VjhQ&}#le{#cAcgONBajEA?v7@5X z)pnk_Fb#h~Z#jE?o`2aHquK6+M=xVoqf34lku`h7Tl`7Od9lOOw@jR@9{!dj(Z4)p zaFJ`VtKN0HYf1e<)jeXHH)upSYk^lJ>0?=@zKL0;oH5F2C`zR(6Ek#ATPf8cvW2w5 zF^NUeuN`sh61|-tNAEattQio!XxOO!i=eSStdQp7JUsH?&Aw6`xwTVVcW-t1K@4N7e`B{-8HRf3=mB`xB07 zuJL&`;>32rshHnJ>;mTBV-$-ATRv?xfBkoCw+C1AhL}(Ag7Eq-4ZFs3=6#Aky7yqk>9mhJqILG;wk|TSwKC=Q2O-oV#hI>$ zDghmHAMGxBNcVIoO`bxC{=-w&ho1)P-^XA_iarXZ%Be9Cr|^&sT-38^_0-#RJ@3<7 zQxi@5@s@>LL>66|x{qbj^V9Z+{}q_3{j!l(7w3=p4IZFgzu`|H%Jig#^iuHBdd9eKj&Pxdi^sG z;zHy%{d@due&eck`L5#GmiH3i1>US{IGaXk_dDIM&e*Ga(Ro7G+V_?$_hWAdK_$>> z{jz)vmuov{C;Dp#WEqcrVIL-t23m)yJ3$9Qmw~Q5F3atl4$ATns012>lREOgEGL0B zeIUz)pj{uzawTXVJhcMUh+bnSTz0NVbgEbjsB`bw4uIUkpXF<1~XFTj2< zp4IJW6atVyy`bVSRtCBY^g+2E`hd#)_o_-FM;-f4)XpL zS&l`l^no@|u{(ne(H-t_Y$dICr=tCo+ZHFi0UmZYP?FHtg5OFSaHo#na#WW8o3q5o zd|hp5q;Xc5kc93V_*st87*7gYK}DWaCecFA+{DFi$};`}2!bcl@^hU|jKttPWj%-i zHd3!AD)9uIXW+w$kx9C}Fjy9*NIVCupDsWm7j8^fCGvFxszfXlP5^UKa_Kl^rJ1PL z(!$bIc8u1SI&?v&=!MeptdQO;wa2W18<#_Y7e4sQh=qP)Wl=F#!C9x^g1}9F3QiMc zm5sw|&{H`Elh{`~l7yj3F7qFmnu)%@*Ba@b5!#U2Q(EESjgTS|+ zlO1vmSKuyyi@3rN7$*V>+}EX%#%aKf2-CFl^l15%U^kE4^K_(qV(?ltfBO|(FTXoj zLNodT-8W}Ka5Rrl-b@Kif~phUCoj;UIpYmHh9x>XrzH5dXiXcY?76c{Jb)Vz*arN2 zJittWzv}pFUg2N|sG!1b?V1TYC~+zg5WN+4-N<5ksA3{(qP-P%wu1&L9J4GqJiPF& zH6v3j$xllE5G;sovU zm}*?D^@3ICqBB)X*buqq+sHY8tR8d3VBC^#{(oRfY=MJqq=E&uxII6yFdas8hz)GZ z0!KmM8%MzY&oypfV*~g$G?)+rt=PLqub#+eP;+(JznD&j zFcUD*dPV0(m8}@zrq5J6tO2J4*soA>jh%IptEMczGDStJahQ173(YZn*ctSjnw!|$ zbf#u%oHJf!4y!~+hF7`J9xAAfqBXVAw6Zpc+_lkcKCP;?u{(Jk*P=;v;-2B9NL$&X z^i=H+A*J#J;SXG=^^m61pQPd~nohrl_h=t3l`{{KGXZ?EDjztL7d6~cq~glCL~{(5 zsm#1k#g*fSW`T-l3;Fol$BUBqKyTI*lBOuI;Dljb=F`?&`9e3<*$P?$Mzt?eN?L^s z?lNVtjXcGnDES+7tD?Jy*98YPnNDryCE9}D1a9Hyt$}O)P(I*VMVB?L%6yd*qG^R7 zdsuZ*Lf@<(G}bu2NQ@!8fme zg4);iP*@khGgUlS+oN_3cb2GllS+gx4X@M;1f0{Y;$ws)E!`~F6b>rWIz*aii@QAwKoN-YNVXq=;g&C^b?L&Lw-ox9N4G*Lz<@yG%lH=TWiFa!f4F#%- za$%vl?uNu8nndReRia%b!V>`rwu_P%+1N`|g}RT|aVIsM9(>B+lV+}jUD|3-suc{a_>HH`!j~_CClz$Y$x?DcUYUC#Y=$hAlB%x25yr8 zoklL8PVJ5f(0TGw=#3FK;am;#^7hiF~%R9e}bPp6wPk3eRp@0zFH l$mEt=)Uj|`-7T{Qa@{l4v~#hFJx-g@D_W}d;<0x7{{qt={l5SJ delta 6391 zcmZ`-3wTpiwm$nbX_LN^^g+^R(l#wEv?PVTA7g_lJ(aY)S}al?*8&zq$BxA(&}zjY zmdp(9hZAdHlUQl)tAzfVq((QkIXoVEAA z)?Rz>wbovHpW`24V;?fV#pH|^lu{EUf^BEs6MBDCu;t%*#Gy|t2sRSQ#2l_}l@+3b zG00^g;rLH_g6+xHf2WqPVB1D_F|$e65NzpIsI-4KyMkr>r_MUHvySv(s}j2JT7IC| zcf-wp(#>4oeDS;YmpxZ{kT!?qCMH8!XdZ%am!dkEUI?2`tD7`*EG&V|rtvT{`?@`AC~6-lwPDn3isakGw5!-T>VW)S+NpJrUuz-bS`CeATknU`1Wf`N zuh&ph_-m9Eai3v9!@^ZXvz!8_g|nRWRD_+zBOEPZf)?h{2x0hXF|i0ihngtp@f7fk zRC&sru?SJvh$^?O6aV3?9E|{(Qml?+HFnbg5l>K~fn#JAVTwLn#rRZKOe68>Gl~HTn`SmkJ=Jl%DtSNajFx( zUXfd zWT#<9z1myosQHfgzfI>XkM|33&76CGDs8m5*c0@OWhuLjv`OGNYW;(3XsRF~vqtW!Tw88qRpYJOL9J?(W8F&lp-` zHdqzsX*bZFnbR@kA2T!Ad3rO`8v7yS0&`EvGL&lHqqCV=?0GV0<%s5Vx+3eVjOp+g zSR;JQ9@N(vau1=7nJjw^f9>z7(O!s*-EFtB&*)M6;`D1%c@LAvZaiaX84S!v%pq=+ zrZKISjM;A1PR-dbGB=rWl38AVe$LBb>=1pKw}ACf#f*P;1xmh*-Bx(7Amb za{c+k^}da#byxW`Ut^$PeEDf$W}|6e&j2fY?|3eDQgAbpH9y_30MkV@dAwgq-u;0> z^5h>)I)Y4$nDiCv5@F}I&(xp`+)nO-9Cj^TUr@-L^hm+QbIUN-Xgo#W7i?pi_}=}w3iirgLy|A_UxAizX*3>$Zf||^^*6EKp7gf z+rHUa>hi6W>%AwXo_&ljUScQwfxm%S-}8En)HW=6hhZx#^~_4>(%5^UvGA?J_xOf> zNAh*rjcyn!7rAEFlq|0^Y#hXx`5x~^yOD>YC9oKp+~u3?x~-+|-Zgfe)EjNDZ`<$c zISG5G4%X&P)w9`cCmH%-G9 zlOVW!g{#%I!nM-1>iEZ>Aa9j_iV0AeBTxU^I3=2ki8eT2ve|hSo0E>uhnjVYg$6vkq7&~BJK)%>IP3+N zp?(xj@s9L-Ix#q@feljwQQ#{Xs2<*WWeg7SZR4^Hu#s0|4=f+=;!fHRCk;v7A?_rJ zaU#}x>jpfPRrXDzFkLEl)f?;T4L4padM@MC!6h}V{_&s89Iwru}8>XG^gaqM~X%$Q%2yu18)SeXggX5ktv6G5^llm z3%QHuxWp;?wkWIEg4>cZQ43@SQNywVDZv?{s!S2AU~+DG8_EU)Q?#gfMZ$2jAiQu6 zC(kSVA$gAmT1V-%;(3X`03&c}G?Wmum`LCzN-Igy|0+re)x_`Vijupe4OIH-U9a9EK~tF^a}Y6JvfJ`NP3@h{UpMMCU(fWm%fO9ydhD#k@fGlxw`y? z=tf|{-X1-P70$TXIzjOGw6!40^a4l7T`?iHd`Kmg4zX^GuB)u3qRJ{7t1P0&D~)8Y zN)dyn_5gBfJF?^V3!>?UUF7FgBRRtcvOFVfO zvGa6+D-QK9sO}SSd-Fe6Gb(oNeOH!;Vc{Xr0H|eHmfy$e*AD7OyXBxP&CCihb?GxB6;aCu8YdEgAlc;n8XgMv*J3#k>J`QR*Bg-#= z4uMXB>b{oceB9;(=Vkd}&=%Z;hCqiv&w-X<7g`VzL!d37W#7s2qg3vmj(4^Ha;LD> zw8fpp#^?`jbJEBGSOeA#6?jP4f&W4}=*~*tcu1Ci$5~RWQ(PJutD74o*w8$H|HL7R ztIcE{Dz439L$s`Rep=N#vWz>oAk@Yh?-fNU7K8JQwHX7fror0yw3pyKEgw#bwTXRD zSQn*8JPqtwIt__vxG_5@;S>)BB`oML3d}|s^HNw5RpZ%0%jRXVztEO>4)NH>^vt|; zmO$^!vnDpdjcd_?7e4q)h=pf~)x{@{f^)lq!=|9ez>z4gE`@ER+PeALg>bN*eqEQt zj#5WmVzettkRbLTVjzJ&s=Knn!#knX4v+J9NUXy6-{Ra@%df)b#@c+E`LVe>w60j^ zz2UCdvYrTcY&Q!FW0A3CZW^ddz|Oa$PZ2@{lb5ozt*F(|U6QqnE53(^4nn8`vl8ZA zQVc`+G;_IP_&`-$AM0mfq6o#cu})WPE(XUW=EfT5#_BNX;JV+3J_|x{I@-MOH_8C8 zB4Af@;ODWnHh2j50{#*#Z2l=jumFD@cr)+7eFmR$MNZ(+Csai|IOfIb%D4#drW4dy zUlM)~szWE}zWQ0=dr^J=U-U}-hVWd(uX}=KU6m8wgz9!)&5X36Yd4w)Cg|R)(zQy^ z)9$M(!;b-MKTTg=HCN9g-j5xj?H`ZoVfxS;@-Thtaj<77ufb~4RYMO-QjiFfw5-7@ z3M=T2hFNSO?QXE*O8!=ZBhI3}Omb86GRY{iF+J`V#y?G=oCy*k0}kXuHY!{ipJ;^RjjL6bN-D{sRG^@57qR9x9=z>{GJtZjy1#7i45N>&8T4Kf6Ou>uSH5agwjGFr@RJ`G-N zE?gOsNeS|loQrCQim&GR4@F7tpm!*JckyQuKLfc@Z&GJosV?|=S_J+36qzwqX3U|e z5h7HX2|ha0P#+}Y=?}}yEQiKXpQF_0k!hK^s~Jg%>wh*U*jHV*aBT?B4dVIgx;jEQ zk8YIqAQA3T@d4G)A%i}w;{K|j;96DwX$2SPiDjlPeopf_)Zpcrmym5`tjj1Q3zpRi zeCcsel^;_l`>e`&Nwq`h^RH?S;ixJ z)tvT_Ipen?mYZ20f2O^uYIqc%7I?WnNQ4i7+o(^BXQ#L>#;9+( zxgiNzU-6D=jJ2wCmWuncgFvl{8=-~E50?gk5jAogkk91Wljf^E$JCyS)SlPy@z_H= zru7?C8C(C()+@#S6DuFr_WReYW^6m1Uh6O|1e=!-?WMwX4pS)mhiD0P0OhwYUP5$$ z`qnujM^qHY%9ra(E}b@^QwN98?CZ87v-e%+(0Ai)mzQojeqAYzU1!8;Q`qh>1^p)o zA(~Ac?GAnD;M39W_Wk&n)Un<{W9ywXyxtgj=@e+7FV~moLm65}c^gVEWn>Gk0K5dK cV}r~j>bSmCzr8hxZKXc6!rOwaWGvhI|GinH>;M1& diff --git a/examples/more/03_ci_beta/example b/examples/more/03_ci_beta/example index 8ae2dfb5e0c72171cae9c3380581496113afb8de..7410d7b987ffdccf4be824e0bb369ed27dbc9453 100755 GIT binary patch delta 6130 zcmZ`-3v^UPn!eSK&>cuWl5{#9$ooM8A?ZK@WEANpX}CRhAc2I35Fv!{5SIx`MjeF& zBXe>MJqCYV!;Cv8%(y13;85EPB!*Y3)V5In&(vX5+sU+@xt$J;%b{^OdY@;rS=Rq2ENH@lkz$Q^CLWG7 zZn*c>>uK4WKb%us(lcfF52fenA!EMFgE4MSMA)v3=%H7P6PbZ(>fCIq@*XCqshAz7 zQ${y?mi(r9s$RLe;huXoG~Gk*#O#@Gw164}tFmaT5Ucg@l^K-Paf^HLw4`i+Gpxc4ESY1{u78CG%t8e> z0SbeLCQ#nz!!wYbXA+=qzQ*s%;q4e1rh$A8n1m%a6_|vVGzB2SZe;+Auu4;q zxM4$_AdC?;Tl=t{MV zhnS6SSllI=tOAdW>g6$@mzf$q1^}ZeRyVD%j*AmVp+>3)x)bQqQD_W>fxZrO{V3Ez zZvY(zdjBXimc9l$A$D9`$0#(8Qe)i|0@^(abx;-1hk!me3XP|&v2KsH50$AO7}e{d z|Afrvkm(IoH@b$?*&3TF;eTxw!u)S?>DQp7sNJ zw$AU};~dLMQJsR#XHTyb1g$IgXYJIVwO!O5Uo!a+4ErW`9Cg!t;$>_>qO_cBY zGuux`T>r)r=&q#6hD!zXWKuReO0OlIG@Qw&Ke#6u-pp69Khan2E~_V>E50+%Lysh{ zU{BGhmCJ$XH^x?V)~6iWuK*qxO*mMivUaeDwzW?~{Gq?9u+RizZNvGkji zT*KG7v^Ry^zFc_c;WilgihV`gYP9&gSJUm|c^12Oe3s!t4m~+O&Gv2%7Mk_FEJLgL zARQW?&7PqP@R%C2E!&>d7nM}3fi54 z38BV5v2&{<)Y&A2q(ghezB4iYYd56#+WVNueiXayFAM~wcg4OTqbR|Ke)|g_`NQ+% zP~&?c)*tGuvJ?zfhBwQ>@ZE)dmhfCTc08i4@sv((mzD$-RL*N6qkF_)0ZL$B@x8^ zWmKZskW+R;w46+Nc{o`n=an#l>hmVH)=B*cM*kAO^zk15HQB$|U+1q~B(@KWQdM_Q zx*7cm%v~U?as$fu*-V@7@VV7(l z=6PCd-AN?vYjpsTaKdu`CZ>BEx4B}c_@OAmHk^>taUl(rsNYrnfss((Es z{Y#JC8F(&w0(x($e`?!|%Fd>4u`%$J*jd%(Zy#oUOd~v@FUa1SA6|3HVo&$MrPna5 z#V`L2p;a*wDnHXQEOrL^*ND?h%IaG(#BfvAiRJzk{(AqN{+0EIRR4(WA=8L((E+za z`!C8e9hg{PeGo|qFhnvOjULPQ;KY8jz(WV~Cp%{+^8~le zwGI>_Qzp_+`B}_FnFUh}=iO9YkZI^mf@BJX3*3g0AE+xo*>Lg)iWKCu)~Wu38zH1ewrtWAdw7^o`qSPmv6((s1Pos#Uw&=@BXH}cnI3P*` zVtbztQIjsR0T6>I`6J>jVb0t#$esEYcPc#jx;+W{;9TxXIC%evEWaB#z%K}jWBt(T zFaL7cwweC$5?O3~zu?ng*mOh;*E(4+JmHw;87a_)9or3`Vt#F~0_GpFh~+0*&aSmz zIt*(EaO`YzO-mBs|EpL0_DLUc7kuTSl*zeIzb$tvr?kqarL7cljqhP)YlP!(2FXf5wjPl2WHL0eyR1?`_wpSTptUb%{s z^)LJ-N?%5goTjXzxk*1bu{{@@(GyJ*YSE$7w5=#Pb`!d=aMy3+si$Z=Gg4OZZnlYD zF5WtB1m660JUYw1caYEPio1sVP;wN8L+)BmtG#y^dWPsP-c)M=I=~m_r?cJzh7KG3 zvE;zG<2GIVn2lCX^~S#%2PcNjAAl$mj0WlHsh7!AdMgb~E2S-^4tjc8CJvqHrMDTP zpVO~PCmF7vq(7BTk1>6L8Mo5O(n&7U=ZLKK8*E#dKOFceBz-G}r!1w^vP`y(W|vK< zO~Yj`x&lng5tfN))T{a6;&Y$zw5;YTeqZq~3592!!5Qjb9F&gp4f>tG)-PSJgTiBg z7ljILV1rtsZ+_DILRp{nMc-A{+Vznv?}KrBK>I<524tBV+czl7&7j_+vOEM@4eG$j z8v)G$9r&v(`#^oiWVsf!`ETF{?Kv*XJ3)s&mgVO_SA8POM?fQ3z;#du7Cr&nxf%3U zBW~A2s8j>UI4R3(Kzl&%2OauSmUn|XPGbU~Uii2W`CtHnb3bVHc?V@;{#3RDq`n??KSm?oXmcFPM@0y98)oAg;dj|0Arnt)St`7KSBZpCVj{v=AX;$TU z!^ly(tul$4D^026;FvN#plI_N&c)g+6=Q`AG;4u*X;)=7+e!abS2wnpAfQIo2@PNpmhQN4MNm~QAoAcqrRQe#0mvt%D zHq&qO`fd4hY#DQG$#ZOuIW|jRtRO<{1jMeBYi>n3uAo8=oLoHw=kiGhY>wX=0&y{O z9y2cdohfYI8Ph(-Sixe)jj_zb7RUihE%}DhfwP{O`pz9YvqcbMza~wvIOc? zMHO)|b00HuJ=Kb$X$G#y4@G>H$G9S-z=^2y!d(^x_Bya79Qc(jqtRwjKgkebCPd!P z@nqnk^Ky|~#|1=NhC#GhxFRn)cIyJ%6?1KtnVbdq=k)fx88MHbR(*jCVo}TiR99T2 z>Ec~x9>PaxP|S|y_aGj?j$wL6%!csb8QO;x zHzhAalsP}$*{uEP;2)2??4z3b3)p4aJ3pPhN`3R!F$ehrs3$gFW0t(ai*f-E*X+optlA>Bg=%W&QGcz&8V?30@M-O@ zbz`E3Yya1i5WUWg#v`wc;b#s}IHrKfgjxu_*?l$%)9j=?fdWbDfVDb2+l0d%2 zCQ4kKXfA+P6eP8r*Z888bRY=I#)sC0ItMi`wzzbs>tk-xds`pX=*%jKqJh>HH*NG_$K2-!wr6i)l7ZOQV z+j=U^)bUIeFVq&u^9ASkYK-gEZo#MFKFxxs_U}Yo8|jJ8k{?A5hH+!XGt$FV9IROtZ^>X!wv84*KNY)Nmm~VHfl> z<2~RGA%#9(=JXubcp}>NUaqnVpDFYIPV23nq{2#0N7Y0Pcep(+WIVpQwlcN1LzB%^ zdZ(e+Y48Y+RT`|3*|h5pH(SKtsp~Zj`>?5b(T~;pfU7><#dYCV2;Nn%Y24MCGn-T) z;cX4?NmGG>6l|kSa5oK$$yLm)rPT*~<)S<@)SeT=pU^-v#Hqms+P`m zT1pK-FKehy@dL7{*s7=Pee_AwjGO0yelFmYSlfyV(cZPix!Ma*LC_fHLNR+)e{v``|sDigLK%izSye&A{A)Q`We)<-uw6lhxO)Pa`J4Lar3mw iSfGwIL=78cHb4z`&9FLFsFHh-(Y-i#C delta 5970 zcmZ`-3sh5Ax;{H0kRaqCgd~7G0|tDMC=_U=B^u;p8W0qG)E6@fYHJ-`;;p?`1xuYa z#dN@*b*J8T?&8jLR_$u1+A^K0GgG13id|~Kj*eEVsI{imD$?50`Z)L7CnpZeS+iN^ z{Cj`@WB>dA|Gm!+yH2p?6Rgc@65<58m4=8=+Me^8P8g+(+E3-_G})nnhD!osrXyxPLfp`XVN zafDV!IN4G9KaAsK-hPg5(>U2>S>c*2)Hf@FmTJaRoyJPer4jU|W&t}O^CKud@_o7* z`K)0^Mb+Z`iB5r2*F-0+in7u6sL3-T1U3FNa3u;bGZp#x z6)R$So)#+Ob%`sGPxU=}jW#}33Ck3F_p&Hk7lZ*`E%AJUaC#L+C!NwxW6?B5XR%?1 zdu?!WsLM+ujw*B(W~Gff3vJNF#EJ?p3Op745$Kyh=Z-)%^f}NoK$nj|qbN4oLNU=X zvFk^mIx2~_*usU&XMKJIH-?@BSI=Rky)=Srpx?scE3mj@1ZtuqKo0}mJpzrVJ3wy( z?Hz$8(1cMI8b2!L_isL+*=EepM$Zt0At`HASFZ6vR)AihQVHO6 z`PXIng5ObVTr#Vt9dRi+^?-zR<7&m0lBv8a`Y$!ch^-~lF$iwIBT2!fnDQe{30;rN z(RGYRC=5nT2c^ePXSK9EK8xkii}6pe{q$43gZ+*&&33khMDy=iKV3EdmQAJ?62_?v zx%6H_CL5yD31?O69QunTS9Q)IV;|5cYn!gv!3{5pEv8qk3)o+Y*&OU;%C%*&jZ|gZ zYd(gPOLX-O8B89#cE~Up&8#x60B-2(8Z)o_7O!TXS3&MV)FI$ z-(+&lc_;atgnom;@hST7WZnmOH1E;FV_d9^R*y-=yKT(Olw(L0{Pfw4Lx#CM!AB88 zOf3(MW8U4C;$iElEaflkPsCCa+4ipF)W50OMfxmb23t$HnWvkA3D+dazd!iNHy}N& zW!CLK+$!!jY(0wf7;f=q1PX!NmepMSrvwO$Z=1|t1K zUjGkb&zEY$&ij|upyg!`q23FqC{wxr26BD5@Ja%gv?Xp*z_P2C1*Rii0D2z~Tks&L^mFZw?WS}`cw^8KblcVLm^^?zD}yg>U4qzhK!o7@h3*CJh3-Y}#a|u$3j5IZH5?#^BS&`yX9!BF;0=1rF_yK^ zGY+q+*h)tnE>=mB!=}o=P0m~^P0AT(+KCV8w}wsTe}F<~!f$9*P6lhF_M8c-*;eY# zNoSdK*pWncaxAK%TibH1s+3#Mwm0!~@YpZ8>#lXzc>T8#W_9f>cVL0tfV|8N??qne zNKAy17>`|abq8-<=F$IRA3kD&+u%KejQCHsTpa8fjz9pDgQvllE5VCY{VxXIz!olB zfdKgYaU7){6|%PA zL!r&*FS?HDk*O0yZiA_O*js#V-4!2><(4mb9b7+zVB#p^q3uaPXx)a~!#utl66lR_ zSrN5n98WLhWT_Dxx-~9U6>Ua-Ce+8+gK6*yk}-CV|AOeh77pY1AA^zLAn`yDf$f(R zG04{Nxj@bJPFxjaSFI50K@STH zUI{6qD?15R=y;y{F|73j50iW1!ua55LD=&hK6&r+m*_ti^j)NPCQeUy0gT|ji{T^T zIC{aVi=@x9M&C8b)oMD~jTV*xS#7Vnj8UTjWml|kjl5_OWaFg%_Gz&pw z2ZM(wfAXNJ=qzRD=c&pEXik0!+4HARUw%Gy_jCU_V^^HG+sVxa8quN=S(sn4P~ zL-z^y9ABX1zs6$QVE3Ki=iyCvjoW{_76w-Wp5@EAgYBmc&iJhBkq3HoR5z;aozm}E zQ}ZX1vbxC%j-q86HjZgi^nmH4bAEd^}`T@TuQ zPLeu62hYO+&PSrhW3P9jde(yuplo|V2eGpTL4}|sS#ixS#eugRbT#M(&_2)(P$!Pu zH$mG#4}cDWp3yu4gZR8yaXlTt_tOX3eM6G|3hEp}nm{{2<8ehbek(~upq-%W`S?3Y z>L%B;v1|v;o0h~%Y2CEUvfd+z6TAsGephb9(+%8-IEEXS*^0-3c;jG}8~^pviRS=) zJ}t>?1?LwsE(n~{ho_NZJxS)}$juWYIJosgr^J(_I(dv9_9W11PsEt3NKgTvP}DnB zm!kFBX`_TR3~PWHsoj&wR?@qkJoXA*@}#oEq$x`+iTO;D>J`J>!P}5s4lI8J#*3f> z*wYHeUE>8I(9g?~n4LD3J*v?nhdMe^mYs1fT3_VWJKcK6RDIf1y>+VII90E8j}k;^ zoP^q8GEbj2kKZBfNOIbMBo&67HvU=#`4`pD3q(AscWl+b&aWcf`l6O7kG`3y)eN>h z|6;q0{{pb%X@os2bb4mwE9ecMr@hltn)pNqFdVobNe^qAvyo5_u*+yU$=usIz0r9N$mUdw+rRSKnG$OF|p9da8TgnR~51`llC4EpnF>)B)twH*}{P9S> z1#W*$4Pv&2SAQwhizEm=gH~x_wvZg7~1ujzUkPbni6XO7ui*2~Ah^ zsQGH0{DTi_ousSCW3N$hMXG7I003IJZndwvgP`lecmP>!t0LsjP$cR4&6W#Pk_EyH3uqGMKwjWdWRCZC2}GAidgR zTd!3#M-VmsV^Kua)#a>?-iE9}SPg1P?8MjN{-zd8!f*jys9wahQ~9?@Seci(3hAyR*DMR`B=4*|SNJz@Smr53CLFUc-hvJj%z~C)pS3u# zFEfPec%7qN#=|WS*eRoCA};vVHRZPZO^=2!6S#|S*I4MK8Y7*oNxK(d*$!Tnq^nI; z4Hi&t?R120O|3=MoKG**K8%DMsx8Dq+3Yy85s5R_g>^!7G?`{6nMd;l@|B{=X9ws* zv}X1{Q!cacnge-D(^_Pf>vSrWuufUhMg?!q4#~?~8r>HaJPkhxc?<8DP6c0$U$VT( zn*(&8f*TcF-WeEM?-WibC_m5MGKgZxVOcWx&Qasp5nIcL)u?Gl27D zH1iFIrctaF(9h>sSPg&MmMJoIX|jm?4-?*7LpLC^iOaZNR%H74WeY7zvGc~inRg#m z&$ZZ&%3PbEt&^4Ry-stRP1iUV-U+2426njI?kID0riRA(3LXssIVI^KV7w9mTNs}l z!j~)ZISRf@Nl7^Lo)DfOG%K6EUQwvw40>A?*R)(wby`BKa1!>yHKULySnCuOg*>gu z_bJ)jrQlB~OA(YUm#5&*De~P)nJ^`s9U**?P<5ZrI~0WhB_`odR2OjW(EUZfPm%9b z4vG27#Qa2+mpJBZ*kVqIC4Vx|{U$77yQ@eHDhYUAu@Oz_^DQiy+8^U5N)O&s_}f;E zGneP5%^VVZLXoed8<6==S!*kQdtX%~oyuy$33yAvn^QunWr~Hp3f}Du0sQOA+sCwd zzQy*X!tGPEszXfSraWUUZJujQ!^zKG8&vWTKHd`)+}OnyB&xb5E!wE*+O?#PvAJZb z&ogl~-okV(RRir%j`uK~MD0L(6*NqDQGb1&E_|S`CtX9~z3)T#JJCzk4NbUR^*7|{ z>Tr$ct&Vid3b!pYGAC6p%QJ-&7^bz9~IkzDG>DB~9)i9{?p_5T4O6&Y>- diff --git a/examples/more/04_nuclear_war/example b/examples/more/04_nuclear_war/example index 8418a3e64f27e3b78bd4bf516fded9c98577aff4..92db8138f886b793a5581d816127c46e7a355104 100755 GIT binary patch delta 6535 zcmZ`;3wTu3wLW_uVJ5GcA&<#~B$I@MJV|DNnB*cdlVr#VP9Q+SLkS6ngn(9qCAZp7 zNHE2ZV;BuC+Qv#XR&S+OtwC%rKAQ+vqO~PKM63@2f)0uhUWJR`x&J=r42|u*`}^js zz5liL+Iz3H_S*ZL89vN9KVm%zwzgP7DIS#w1KV<*GuK3@t(t8g7n=W&qc;9PHdg3e z8m_iNRIsXT1`@`r)oNR){~@*N)pi1HVs@KVld@`3*4@8jvswE8*ICdy3wjFIuZUf- z|43!{;?-x?macUVW`A7zlV8Vo(F6MII0weKF%e;tGNOZC)n_psEvU1zY0C37*$jp3 zFdfs|*>mJIR8mi?fllaSsn3wWQWcqD8ZlI|i;B#5w9;5ejm8A_XWphBV|et7{tWSb6WgYntz+cfvMj`K!vx8>SUZD<~2wL-kTY5t~uqQY-EP z7pC)a;5R&Zia~(Bd78W@gSW$krA+8hgod*@U=WtvP+$;V(G-9P+m!)KLZhZ2 zcFme7L6{)iskPM!>2FMEy@O9sC$ww&LP25T%1~5onXu58)yS2zw;49;}JPJakM8hWlU^LZir{(6zC~+LBr+T1Ufi4|~hEV|M8$esf zp(c70=xLz$jYGrfTcAndkx^U5p;43^ZYMv`-f^gvs)0TLbmus9B5eq_J7PkU2Hi7` z8%Hmq&!^}!G!C`XXW@31u$x7^Zg|X^Zqm&cg!6Kyes`|*-&kBLS9bo?uJ2{J=Yl2W zDmWYF?S9-A!DgU372D6^tPli^mHAKY4;*xwp z2%fku%cAu4Tb?qDAO>b#(g7QzH)E#GjOXlGn8JCBwKgLG&&UihP!s|9Pdp;_KvZb4 zWWOCufRHF14b~{S&IU!wjP=&VXA005^;8BYv$7#0$CceG2p46P_y zVz)7c*EbKWH_M|IXD4(Edo>FAQboRK8oeHyq`NeiK8{V!xil9t?Rj-#*Q|rQDoQ8U zM~dCE4x3zJ%`MoxpXBb7$fQ8Yy9?0Ji=BE!VFhdDP* zH{Ej`20lJsF{BuI1{M)n-^>pdm0T=s;X*M*tFNL~Q_V5iNHQ z1fNjF<9@7hRJwdvvFjt>DaMa#0rLm5tOpQmRJ%qk9miE>IiGXOH16DS+*oCrUe3-? z*~!;(=)w4(vH`jtzm_#qt38v=rbp~|vJdF0J)6BulM^!7&q+*pMt3ZWzD?M{%IRT8 z9&^$k9T~{WpEy2eG4xtup6+ZW{g-1hJ4g|eddyYu{dvoZs49AP(sK4bv7~JFJmn^3 zvH;a2y%u+TGFIds4%vNK)Vl!4YmcSr$)&83ew3WgX40>cGg&eXByYE8rz7Ma>_o(! zw=9o(3@vW($LP+KEZx^>v^^z_+3AldPRr#qEKYZU+ijWgd>WldNyk|+!8wJ^rvm5M zw1!mPb=eX8qMkt=cK!f$%w*Zy_!;-pEvar6MQy20R!2Rl3sZjOA-7NT}y^o87 zUxaxtUzgtN8e}5-PVBY3G+ZU^7Y9f6qJ-G>T3$Nf4OGhhruY18$lqOU${DE$tdpw( zcjXV70(0c5%ZL4J0PNsZ?1or^4LP7%Uu7`w@8iEeW$eF?>(ycje z-RM`eF=t9goiv0E>RsZMK6>1HS@tgW)_H3eiCw2fsk*mHx-LrXJ)(4MmDoKaGh3Nd z`;hzZSl52Zx1*|wFEvb*-WE3<7siloaz;eyJ+brEc-Ug8)th14RW<~QS92wxOx5T0&MUz$YLpZG%+`` z!`IVY-`i4Ux%;o~cijiYKzkojQ4KOng|uN$i{-9Css0VW^rJqD&9^hS2YP4L@7P#e z(cRoDHu-jl-PJwbuG7qmX#|o6tJuDIfmO#$7N-X;y^LW^Uim|WR{0fw=@;#%#ctow zDsj3&S$%t|7-&vEa=UlAx8A$L+fct(^^e%)H(U`;S>cx8&M#$|j^yT;pO07eLs1ij z=Vj@>!zRiTb-Q9|L!O&O(@S{{T!oJ2JLq^`o^3S_?F*KTalZsb98aB3Df#KT(=k+* zpAX@C(0C#SJrn80e7o+-RqD@6(0zWDM)NZ|>Qo29bKGA|-+ODTBv~B%O1}uEw7`|E zSdFg-kLoS3G+e1JMwEO*?t!3mLNUD8QgyUS+Sm2Pn7{Pmzq$`#`#0RDxXUO$<+n%0 zc^#tE+#8IA7MQA6lm0qf?p3(*4NE-q!Mog-@bIoHvb^87hu>-x&!$1ExAf@JjV0c|5?O5ebI#wY z0*3d+K&_2c1(FVFu91A5*s{HFD(2S-D`5TuCb9HL`-v9I*>_=WA5Qa)aZNbg{nEwr zUQ6x)?t&O9EtsNv!A2_!vUJs3sJp*RI*$f%V$rPtzk-Rm6l#C;8MU)i=LyqLRH13*(e(Fju8d4w}t~hy? z4`PnUo59=F&T0x(ZWik4yYxM18w}n|Bd+?`E!e-WUc^1)E&kxQix-YknR`xrE*QbW z(NL!Gp%xrCN>92I!WTy?F&+1N3k|q8vFTJcZM*KtC^|CjfrwP_{(U0MQj|gs)8nJF zaP@T`gyE39x}vCS`ZCr@pG{9O+qC0-4H;(a(d~(#w`S~#{2s@p+WT4rJy_(L_;omZ z7%*N3Q6?D7p?yVTlu>*$jombZwijDz-%V+3H7zc_MK|;@{h~NmckOd}yZENC6CY#7 z4fK6+Zv2TO2&}H_Y-5o(;QQV$T@V9Px0vXbl2o>W8cLFC=iy2nycr#CM_7j88eFd? zgi~A4GnB0OHPE}nADFclhp2aPm2{YI&`aK0uXL>r8eajt$e(i^8`Knh>hSIZB~ORF z?5WUocn-+&0IXXBdIYp*7@>qS)^kvnJJEK1Aj@N*!=P5+eTQV(1)BPyEcb!-fWE@< z!?HXKYW+x-Pk?$bIsW?7hKVPE_Ww=-C^ljnsDRA(2528ruE~fA;ovC&b>Vbv1oeC)%UeMEzLn)Y zpu?c=bN(4j5VQyMnsGh`LM0Y&T{UNAIiJ4(<7jCG^_-XG9iXX~WH}OM?*T30Zy|q| zVz9=|r=9@sThl2F-- zUkT+@IH92m&sJJfF^Szwn=2N@-3Nc%p$X%h6>8A;5Pe%QDQ*a!xpN$+6Pyf6_D#~2 zd`Kz2c&hOklKpT`5g$&BcIi%rN1Mtcgj6&S0c)dmzR9?t{oGf`uF-${oGhPC`kb@w zf~%S}#e4}5z^y~TW{ksnfL#Q3zlQOtJqxUnymKb;H;p;B8e8GXWO{MVl=QRV(Iwt! zmp3}QEIPF;I-xAuS{7~cMF=9gErqjhrb~0mOY^xBw0hw3`}m}N(bk7_zNoOWNA(LI zF$9cT!@4Hu%UO8j1XCq;Wd=kJL4K6BRZccuLv4s&t#o#9Jv?OkPs;KVOiI;L9u+p{ zQ9V~vqv)Bg<9fW%!xvc#`B8*a7V5lkf3*U;25boj?ukxqiZ&^DC-92kzv8{Xw+7`x zxsG=bqf>Qaw23R~2jftv1NX$7Xj2LBA>c`;=(plcVFn(Wr|7s?5XPf<$2SyTwKi-g zs*z{tp{glihfuBI)%5UGbmec;+t1MFRVl^{R7Z);of)L`cmbz%)lO!jZPkUWga%RHM8~QNZK>L8 zEH^4Iqm(w!X=}r$0$%v0;H94y%$v`~=;?V*_8JY&Tg|NGT^K_HIs4~bkZ(J4on;;qE+>RP1s4t z7Bn!tP%N~QXJNeFE?8;ZLOZ?=Nedr!^l^8LD?Dy>2!LU7FS6_K@nY_x0*5K|1xyqC zi6&G-+ZNfO`ge;O99At*l6jn>e1#uZrRyhlad6#O-)k>p#jf5lZNb&vp$T);=OC8xs8g z&~O14PhN&pBK#>NU#J41jWnX+scsclHWR92DqbcGxKxI+X;8IbAM*uyv|!BCES#+2 zu4$^g2MTy`(aI%uw+CFCE=F*bsc7iANb5CVR}rJ8t%dhuoB7kxtI70DR%K>tGQXj7 zka;W`9UqtfZdBa*z!>>W;Qe;c$49+iQn zQVLMvV~wV(?NH*K8NxGEJYTcGTn(=&R`FJq2)Ai?qqgav((oUvc&^Z>nLgx`N3;$u zEgdv#9iHUVb-b)`+Y(hcS$B8lE~?mA_xpe;v40NTdn3*&Jr%NN%_REjRpL(-}=GZ?ikHHE!EfwX1S8 zpjyniZc*d*@x+X>MI}O+Htw(%@9QGTDbPmsl_|x%(re~O^7L+?xBK#+% z-EL?5lwODVv-(VEKAM}GHOVU)K9HsYJ`Fb@rSsLbY4LDGb3ebt@Nd~M4woij)if^9 zdd{X}82cd}$maQ)OwDe`@JZap0plKyzZRBn)w3VP2FCn^# z)&YG@%lIKWgLVNO)6ftdpmWWI=1^wur<|7J8%IXy=oqDSEgiTzoom7O`qfr)t#;Wu zZR(gI>Y;V33vD6ahUiJ!wYtz8%5OXA)aw1ZfiQZxwZI(uXf4pG)?ylMby3Y4tNF%1 u7qn(g@r@HL6*od&Mrqd?Stmr&%WH2kdzPzU6P;UIY<}hrwUvmqJO3BuB<+F# delta 6340 zcmZ`-4_H)Xxobt!H%O} z$ll@zwHu1qd$bMXWRR zOzdOUc~vz_iYFBbocbme(S30)+7dTqo&XO?u26%UOqMoQ}~_H**I6HNw`Jlg*QD3ryGRXoQKBHe;!m1im+Mb#|aB` z`INS{Bp#-KI$QMHcsrJ}?CwrF^D#&8OKW}3m`DZ}h= zVTv1Vc!}2Kxsgm&W(RZ9qh<%KF()QTIxh}9k#+&y3AAAZYNWpbJqC2e2sDn8;vJM2 zpP00I1Zt-8c!w*RxqQ~gM{pDA7vNerthc8|aIN$VEItj3J4T>(dKc(BKwleyrqFeu z*MJU;Ku6QW1P2u)BtG{}neo@QEK~eELAan~C+wYI`x%>xUZh$OtnPpyd}kf|PmB*@ z4~!iD`6uI7tM)!*PhfOlR4>~>^~vMec6v0~!JehxBu^UiV1XdW7q2Ud6#nLoiWycx zij-f%Hj%sNZ^;vHna0`WKPt)vtF6xK#5K_?MW*Hhev`-cHNK;kS#$p)J0T>6kIT)f zt#fh%Ri^ms|H~`DVp5?>%5x#3q~0}G5H9v&o-jI6#P~~2%C2;zNrHZ;Y_Q|$ftm2{3qn+8?C zZoH~GKj~Ls{-0Go3P5hwRFhVZ;Hs;ynad8-OsAKIa^*yCdpsn_FXt7wmB!PtFnu3-;(;oF9Oc`kAsbE`vJ#xvx}3}9<5&HN*K znliJ-uyuQ-JJCIR64hOf3@rb>xTD`wAS4N z?1M;(3FF9ap2RJy(nBr%-7=GU9<_y7Unsmk)U#BO`iEk}7lPsMrT(vCth+zx?q^aY z5LY4fe-Z1q?tWhicX&s)LXZOc(%?pUkxwW5T=CqvNzC(#>hIpps?1Ba*g zSLR&{vIEtT))OYHyMk{^ti$A2K1Pnryb>z=V$~T5bC$MBQw-Tz{MJ^Dmbwo}5WHiN zzsbMIzu3Rz>leR5b@~C9WhCY2nbRCpWyKP&bl@=ZnUa2@lD!TkR>*y(8~n{Y%Lux$YKd}CO?fbCOX8@tK=zg zies-r-P_3n!oA<}qrcu?7Ytv6qhso8{gEcG6_II(?nj>O2#rAxO~5Pp`sB~Qu{l#$q6$4zDF8>jHH5q~k)>;gLk@Z}*3N8v8ymG>+P9CE}h|z!) z9^f&O7$;&dJi9M+%XIImWAI!$kJQ0sLF;|jeQzN?hkS>5*gPSG&4aLI|A0*t@J>Gj zC-Y|%9<^Ng3C!m&JGQpa9|?FBspZ4GqoK%}k8#EXM8vJ>pwJr%mz=}&h}Dq`eye@< zm0;QNRsRTu&&e%c@Ju-O7O&G@6Zh@;Wcb!^o$wBziQDPzNjZk{QK(R_6=cW2HOf?%RI5I!k|zm0ma;0HMt9IbN00S}$j#UP9Gfv1V2riq#*$;grh zUiSZ$Ci~?lp|T7oJiS+#&9>0R!nr7*6-7(Ls*|*>XmZJx6RJt|w6Pn!>Z!3_!xH)E z1C&b~KZ}#L!d0kWyw0U=uu;4(Yifg?Lpg zzC|fc7<>I9o&nzA7k=^=4AEiVtkL_dC<@OGMT^3#=*dMxG-!}N>dvF2_1 z(fb2!E`Cjv5~+IXYl#~HYT6qTY1Fi$Q4iy63q_0(5Osm_3sg64Sag0)vq}oZ*+cYT zNjU{drqggqF}+e^qvFzZ@!sRKpmbVn-DgV6E#sXeLr7ltC`ci_n5yYC3E zh?o3z{_wSWSPTKK4dq?O_A|+apX^;ywk?*L6MA2+2#B3U?<-0lTwDQq6tsO16&Z)1 z=dhx5VQl+QQHDYHfZBj}eWWNwpu)$BvK6!)^c9XDQItW@VbCu@Jx3LVzeLnvq3NK# zxa(3-+c8CH0&PF8C>vsgPN5H-od7(D}1^de{t(#3>5-iti-g7#q>wu26y zQj|Y|wxed7@aD1yMYRF64+lmU=patQ9iXHzeC-V54(4vL_A&MV3>(B6yi2!Hs$q$sOF+d;R34uKBv@ntLkaT)@xp-nT#v#03w znQ5$oKAt(wx8hy+4a(8RUt~M*Zw6ijzeZa+IvenJQeMCf3qf2ZY73;XbXp&%O>ICt z?$U+%3uFy+U!k*swA3Al%snGGJZc8Ys7w=`AJf>%(Nt4u$S6Qqrt;||OObdg-eQ`W zAb2qR2v`lRtQ^O7(r+pY*)cj;>1K&^s?uE^La3JNhWRb5L0ESHD;|OM0{aNqLpsKn zwjEdn`DdlER$4S`u2DiH&9rM)PS){wOR3*df-`Yom1aREygi-}>d9k|JMC3dLb z#a~S&S~+{1F&#-$N?T^TJNY~Tj66uCpJCC$EK77AiO(~G&jW|)^8_uuEJhSDPvuSX z;2w}__-}?i8&YyS`n>UY?*LW+Y#|5kw|H7CCXUY&`oQS8nIRkn{wLt|TmefFC5wq0 z8U}7ao~wp(S7F|IwIX2E2BI8EX@k$#HJvn zyLdM%-UHPN3=f>8{|t^bwxVmJ{@^XK+tF+Omc%(T%xBPj96Q6fcYeYnV!Zll%~z5_ z@l})9^Hf&lwmZv!pt&?6n5eDF&1@8|Dr6pd9sLLB)2c#yuKp&ksJ`SWM9W_k&-R-ql#;o6EL_NOgIuw&bun7@RX$iKjWh5Hwz#yEhj#3+}-3!ZRw zarcjCJkLc0d=L3*9U{Cjr*@Jn`ne%0_nxB`wP$6$L)=<1PuQ9jW5Wfr(w3fpjcEAj&Jp8hAJS(n~VAvI#?cUTIg_1kIFbSo>AAGr^?*N zufBDJu)5vOY%fkI*vskyx4?z|8YCwU0KU1RkG!0*&%g@yD3f=L~>Ufim59*GO zI`}~iA1!RDLO)gP&@7$Z2FbrqfL)a8fuknPd&O}cZU zpLg|@2>W#TA$&*RjpR2`7xf9g z=QzJbmmL+8ds&#MnNrUObUoDnbBE8Tb8Whd9@po~*X{1XixY1h8WGC5mTMlg?BdNE z@D4iva|ga2;F|H6Zg~%{FlhH^L?GZ=rtIRj*qi)X^@%QBqvyy{UHXKMZ_U(zN*zC| z<3m$4;HaKE*MVp8`_6Eo-t+q&)-~trnzoF#l&+!^kdB^JPI9d{BnokKa>XR7X)B_N zHk&zGz-`pnR${*K*`KzwmE0(|x%0H?j?#%XMU)fhd!Sgr;c(X^?k#Dv0D|x6oQ08w3R(@r9!x#yl{eOw6nb4#~s{ z_5?ldESbsXGhdv=T_I=D?@~@h;g|p=ZdX zw!$b_)iwh}@@kdZ7MA@Ot$MYcKwFu^X4SN;nwGWq1vZ1F{ePVWt+Sw~DE;!djm-hd5R)PHc_j?=1SKmjQ^x1YN=D4{KVXHEulU~zjF&)*`JJ=NEd4X&Zh3q(; z);rkqD>9T^yxG zJ{LWEZdJ{SpRIiG!L^MK(tDAQX8CI9RrXOj@6N%+Qe%I3Jii|}hrTnk^Agfc9HbJC9AzySuKf?EKEVT48? zm$~s9n4B3QV7zKg-<{6ek-{P-v?)ph*_?gh03hsACNK&O+5mBD*Tx9K zIANXERu`ndxu6YBzCfMOs*M*82_qkj7rP3^WfrZXg3wRT7%QAw3@Th`g(~6^W~LiP zN3j;R3OzbT%0nPrrfd8-5RCFo4q9r8juFSOdRhi{JJ>~I*hmV1eG_c+7}iK{fxQ5B z;}|xIE`m*pijLVfhK-@*CZu_k%2VUA9d64wB8)y-(W4 zvl3MEarP`Jm4cv&GJeud{z=yA*!0VUvQkicx?0m#r^~fjj9D zYG%CJkClsoQaO)WW6P$Wf>P+@4N%fIe|FEb2n-(S#~o?BDoSTJM2nqwWTFw0uFG<0HKu&e zkW3%N(@wx7D7QLU4tNSR6lk63m z=hc5xs<&`w#01KNw+3uu=}VX@pbz<8Q4Vez=*|GnQnwrV_pD3we~ow zm{`u-w0UA4n@BHC%+TFPr@@KjXirBx{jwb{7_lsk`2|{hBfp@3Ny=g~>Di<--L=Vd zFlmzcQ@A2Daz&PTs2rusNt4-sks~=1N%+p>OR0Z?iy%3{=j=coCixh3tYk5QXtCjC zs-9HL8mWC!3M-}EljcntN##9k{&eezWl=CR2O)x~m8LcM6SAgMvSzAJd4nAzn=6sM z)|=;gOV2*0Zzj)WQ|Z?9lWmoq4sdt{wNYe&|Pvfy!}i-pP7b zAmS=!LpW8YCp0O?m3lI&ZRZ2u%5ukhtoZ2pM8uUPg)EtqET=&Fr89o%@1k@t6r|fT zPdWdJ!%^IiLm?!>?3cfhW#y=ZOjMGUiTiL#Rxul(Kvq^;y>tjs>sjcLK7G=2P4+DC z)O+gYiyaq4sjAy2-4LbLE>SwYTI?*z$X3?WdZ_px*w#VG`;>1L-)W>My(4ZtBMjr{ zl){9+M1wx^Hs6c4iX+YA|1G3NjdndQ;5U<;LX`J}HyyU)wA_fdJv z3{PN%TqRvWvSHl1es&oqcm%rG$wW%a&S>*?buQ~}@>%Zxu=sHCQ8CcE8^^N-$E{M@ z+}C8eHz+N8(=Xk(+hX(X4eiCaw=H{WOIc-SW4E}<`;^#O)#d59z&uz+ASvi$2dV?B zPa7>MZg}(>&v7346GWDps4j?|-b1U!sS(QVTU}zHG3~?>&r;7a&vMU-W&2h4h#mfj zQQ^E5UI}%FWSK(QIi}78`OLqG&^ei;?yrm;$@&CS>SBc9rGQ+1c^6v#=Ww{ji2(eJ1~CqehccQl-v-d3-= z4}Rm`TJ?jc&L_!Y@SJ`=3~7NQo3R&f7ampHU}rc|-HIrA4;A-^9{yS}yT{@?<&zF{ zd^zkdzw&>b2eS2B?$HR%qx_vrab24zHFk$0FbWLSElNSrpeRX?ZiF!qMD3x+6k%1n zxN1O@2E>k_8$pvIvH^fjlsx_7Z2_*_I>>!`fcq4VeA5z-@!(tTN%(i)s4O4!_VE`Q z#jiGu>M1|9c*}H8V4*CodOzoHzCgqWVxZ2(e1W86nqwqyJI-r2T#EIz!wQJVexq1^ zqV=mL%caAxwinmr7JCKWNBq*25sxMJBkqFlHBxdD*(EZS=dm6y58w@ImIi z-}$AlxjDN-{a6!}tGX*CjpT;T`)BBR2>jAHZu#!eH(zR6P_6I!aXiH$o=)(aa!g2t zoL|YZ7V}h{pTQoc4f%6eKK19X(Ea60N-daD=2XY5<5}7kk5qj8QGbNTuyOluY&1}~mBrG$ zqFuTz777(@8gGQ`=Mx|;jid*P<6|ty4#h`dIApGMw6pkb)x6}9_e~L zM%)8>zCY&%j;As7#EITh({>nNahK@YYCe+X9@w@4cnG+AK$b^=!ckdn0S*I)fbNfF zc{*<09-trCe@vE}fkmIl@+M%zaaryLc6}<#uL1{7$npTN28+A`?D<@l)A=F(0$CH- z09>ude}Ms1HiEF8lI88dF5qt9z>qAz2^0_~Mq~jOVzds}e-?6}`y3_!)*$%cCc3$LE8tFqhx>;mqk^%Yrc8$DSuk=4+DR!sJF|3#L0$_N+!&tU_8UEtl^ zu3F*zcKnQkvV0fkM6*@rF&l43bq{{KDYbG&u>k4MxD*A+T^Pl0DL4ZkNi@53`=ZRo z+2fTzRB_;HXh&si@=NephN@Ad8&oxT?@Dm}6s(+xSCr539HoC&PG)tK>@8%EP?a}@ zy-N3aQ|wpZvqtFi!uOKS{YcMvW9^#|h7T*ex*i@0Av)}xsEhubzV_Z_7=|~KsdQE* zyF|8G_Gs^TLFD>yCVIe2reS^;bG?OytZb^z(il5io3z>=>u7 zU{TTI_{M~EsBD6M^BGEILr;tMMDjS^b%D&j%t#)>CwMh2%7w0b(M-BXO}-ch`_UE^sY*mHuvZpG=)>npcQ1Ira7Fu7G!i=;78q+C= z`c^t!RcLc*{{*=uc^RVA>J(dx_GJbKK`A{{TRoQz(=*j6>~#uOuVGg5%!{RdT?D!3 zcC&`w!MQ061OIo80}83NcD+d$20ENQH~*q*V*&KSc%g-AYiCnWZM@zhw9`Il_TwV? zY0(Qdp^r}2u3!QtbdY;qyxt*LY5hD0zOP90o^aN1AB-vdDCpqzb}F9lVEyEqUs!Am ze?Zdo9@2EeUk$?DJ5XVqq!;F|aJn*7KAA@&$~pY_$ZkrlE7X1FqZj9ADi+vOmqdr^ ztfmQ2WCCB_zB&gMe7Np^?W>G{M)X&Ckw7%Y+fWb)8YCuyhXDG zv1|gq1jUkjK?KDuh%@BCHwu$n&TCjfkLJ}p%I69-4ppG! zFI4q7n0!O-B9(VTk(YSdvCzRXY2`wPvs}{|(4t()j?nQdI_vnec#Edfld5zVZqp32 z4ZM|~fd-WiKmV2Ya=xPVYROf3CGDX44xiU>98wo|1UpN$iyUl(_h~cW{MxW)!L9Z| zQz>z%@SP01)OLvqLTZ>#Q;9rnheaCSP^$9Hnm*4me4G}|gkjSzQTYjiyG+$=)HYA(k{(kJ*txMYs~=R54W0Fcv{nM$WaxUX3jroy!9uG zdt2j+H1mfqkt5)(LLz;-*ycR0>GW%-e4aMuNoD<4HEBD(S@5D{c3=dpyxZZlBMB;T zKTQz|+f)!z73ow+Z91o5ZO~{9X3&ni9r&Y!XL7SP!ce>_T&L+g1YULW4n7upmOod% zp=r0fRJBG;`(2G6NKpx|#t(+|r>MjU&B>=V-l~PJ@+troCv9EgaF!y8^If@IYOh)q zgi6}C#KG=GxFr}hm4@E)OA>YQW4{Z#-AW5zeS3AwpELA6ziK5zMlm%O+NPryFJatD zKCrKA$vliDB!L~)*f93f;l@H!IBE9~Ybv{W8-#C#A@Vh~8EZ5L()uO`oolku^fgv8 zt|>}r$J;wEVRVmGT(ibz3x_}$uadN;&=gKveH2`C5FcBl=0a2WGp|6w<}&JQE~4zU rRvK-#lDM|$=H2C*t4=sX(pniQRJy0kWL>Iq&2;#lGPaS}x~%^JTAsJZ delta 6162 zcmZ`-4OCNCw!Y_vV1kezAS6+QfB^!EBvu4ltwe*~Xh5ytPgUd<{A-=IuF6#3vO%Hu(qVSy})Uz;->hrb|!fjexc>8Z*@Hk;MZ$n|IzYMB5MA)IUj}Y$A}{4=TM2LO+ib{#atJ)f(F9gkdI2pfN_f6C>Ox zgDcf44~rD4Fxr`e9x~c#i!m`t(%MF#O{Bj7{WH)d!%#ha4)i3@wZqU6l$2nn#Dv78 zO~X(lO-rylV?oPDeSBDJBK-obCJt+5=de~YJ%=8jMUT6Op;r0;==(tT4MS7uI?!uC zyN97^R5;R3<3}dGc(O$Qv?be+Fi#MM_q1mSyg#!ukiLHG~n z-@b|eYemOq>qth2lc(4977BtCz92OpGOU)&_jXGy`gZ~GdS~=~*l)E={G4Qr80z~=dS|_|KmW}46^{m@raJ-V@^Rh$irkG-iWJcw<7CR^jW#UmNnU@XbE8r2H)l3+M;+2A zCRC(EJ97A-msm?!6JM;LuPBhZGcmgjsl~ZKL@8s&vg1@TCYK$dnlTr${tg$RrH_yKBI+>7$Eaf_OA$m%^&io_89w$1 zwPj?oYU<3mBO_VSu!h{0A@h>1=v;&dhE`b1m>X!}#I8!=fZGzPdoRB?#6AqQq*oXMkqvV2((zzq{YAr^NZgMY2r(3JJ6fqfr_y?; zxs&;ho%0}u)G(y!xf$jQ=Vdt*J`)OmCxwqhdue^{DW`FiAox153B0I8b&ycDM$}35 zdATf`TJn5sklxPAYYcb$7yB3atApX|Qr%CxF3J9?>V;DCfD{b>EQKez!y&h!UTT?? z<5A|a(Ov5MCuWpr-g89iIvelDkU9U*x|hQ5M5E_qx%`oTZY}XgYUE&e06Bv3#Y^mb zYxEvS2AdC;Np(F^xCge%q!&G@jdAW4^yoY4JH|7}2U29C+Y*4GJlJJ?*Q_?L@4}el zL*eyq3lBv{bO^%)rfhK=ww451>fHvZCD9$MJK}F1fW6bZ%JZ)U+2P7a{b_?avn-aY z{PL%WWHsRoNEoxUUb-bNCz~&=Ax&yNEFo1aTj5{sU*WIuuRQmB6g&1DUaM(Ie!lT4 zj&g)l@tgESejYnSujL2XX1bO?kyTPrfm57xjcUg^=&pis)`NDQSGU^Efyaj&^T@R|!=%ejIr6mU;H0vq$QpF7PHZNzx~DJQoU`6B_hEY*FS z-xrE(`4m|RGyt12;~gh&cPWC=gU{uLvKqK`slH4aYtqA-Wyn3*t_JxB8= ztQ4nxMSCYqED3+9bcx=SA-H<9LB$f?;ChiLk?m`env!{}Ea556wmz9g6=fHfrErJ` zJcMuraF<8lRFzRxCW$6BIWKt+y>&&Or42R!6Y0FKfTJOW`MLOf%A(||-$+ua(v(< zCVY^dpIneu^%=sc`8wNL?2nZH914FgMGA$H^u=TsJ3#W}^s0C9T@Za1Qp*sMb}-u3 zK6m+lc?SJ80#m*I_!oyF)8^)4%V6gn=gII#f0aLctr|T}1-vkne;r%T5Y0T%abL-H z1J#afeXVSg*jVb4-@|L0uoqaw!hQR?rY=+b6QT z7S!^oEN=lVJ1)yRLGS;&EWZxg-Y3gFpk7S$2hi5fW!a63dOv6YwCoF6uGa~TLOUv( z01Sd|1HJ#0EVqHS_sjBIp#AW#0sDIpK~n|Vie1zO+Jmh)2-<&EmL0fy3?j>wfqHRN zw1U=xz69C{`WC1QXW}QIO`rpy{h)F2)6wC#P{eJz=YlM61Z^LZ<*z_p-^;QEH^ElW zsr*KbqrR5&plzK05q_i%GxOM5+BI`DE2F>892U?-4bkouD(c-{K`lfu2z6V}3Qt_-@{yjL$mgpZT zNL(I{+(8e`nt5voObA>Q?k!R0Xn9JUVRAgFn_+TA;^vw>+w^{u_tAL2skC`Sz|_Qa zI+kE64N&c@)I>}M9XyK;`cBhNv$7ixquPlO8NvISWwLA&C6nV(-CUDbJY#Z{n=CU- z20rEhS#~$CPf288o#rohV|=a+B9@@?c(=-wdTItVgxURD|Bn zujNKL4*)ORq4NR0j`&>6f%{CZI+H=c*8;!x|KLr)1Bl~lF3;U5nGC$2oxryNSNg%k z#91aoDe!jSp8#*?^2%cAr`ZMZ1AwKoR3J@=cOkN?&QXnYcRb$&htJc8Qm&rIzkxoG z#wNI+7zGy^pxj_ad?Mm}=K#$K-Wnf5H99~~1ZU`Xpla#p4PFwB%I7I`+Q?W@#9pQ; z6`58~2>=v)t|-Mo>nbvtg~E_<(SFn)pc55ER*&{I$1ToFH#sXat)=)J=7sMdUN%v% zavtlZU6nli_E)aK_iWa@Jso}X91PuEoNou5wZNt`qJyjjcIPI8syO_u!+$HKv|zz( z-01g0)-2o)YInBb5V^VN1gqeo(+gHI1NrZ;W8(fhY&yH(pbg+W6u#prr7cvX_IIuoYLub$23(}rrh z*j`LeRNoG_9IY-vo??qqY!-Eus4AzZvx)Em&fAeyFrM1w*Z> z6?=ci`)vG!< zs4Ydwmf*E!;W15qkl$WWm=;?*RJ=xLx@pe4H3f_2qu6290h~|h=8!+A$+u~Vg8!|@ z%VCc5C64(b)+7GP;6*t=K);PiIDgh8T$-64SL6gCfwGp_SvqaMlc$v~yr=TFa{=-% zH(FF|p>4`i{Q3TE>>p zlvPDm7n*sA(FbTV&>dQ?kI{*=A85CR#%McTSyg0=W%o_wTU~PFu!tQR-L!diqoGW5 z61{*gQTrOJu@?7!UXY&Gl#pkQ#Spt{DI)*1#%hf@I7T0#{cDPhv7^jG7uOtNyJ`R0 zBJ!;Bl4G5P*5WB$=QZB=H=Q=DE4h(uJ@eEd`)L0cAfS`aMe5ky*!o_p-qM)Eweqf4X_6kehv-eZM z!6r|56I=aesAn_uF_raZ#H>l1rh)V&_6cUClO>wgwM-qQ(KJ2pzt1_>A!pwH{mxl? z|MyyJ@4eRAYwvS1+IP*JVW+HB#^sm-Xh<7gvy+HE?QP3N-h-obClo z!sz5LkUL}=|6J6mBP5QyRE}Qi13I8`T%#qX9I7?N@%L1&Hd8I{6E%|^L#5CzLkuN{ zJ|8}9Rz>CFyO!L4|H``i>7CGr(tX~krHjXn9XEC&n-;7WF_mq?*j%lWH#V1651H6B zgqg5LqiR7jsDWA3HCtGi-Xj)fP!}f*o{Oh3VWowEuK?2!n7r**aDa)G3JaicXs81f zeI{VR>2zy)|z|3lO1u-jEMld#n ztH062}YIB9_;JVF|T8fhWWEkNfFLPN<9^i81kgHSX58R%J{ zYX_lW^gYnwVc`**2cZ#^80I7&(Dp&7jVgey1N!11G>X=TIpd>)lLp;0sMkTihs-g^ z^bA6s^hKDH$L;1r{}l3=EyZk@#n?q9&A5BCZ4!6X3uPD2?7E>SZI`SguA*oC%-v7e zhw=%ij=|ouCY3R!cctCZPQ0bi7}-l6+oj*=JrZS?}$UT21G&sV6$O;0d8AN7FiA)LX9qY+i>koxu5oTeN;jIWegt zyqebK*7IFAH3v?G!*bT!O%rH!O!}xFv&5vJ(kGt}9QaAl%YnbBR0+HeidhAA(pxcw zHD8YuOOCitCB^NKQ5>&KXKbJi3qFd9r0B{T2Nv+Cs6W)T#-j9FlbT^Kwoj+v z-=XqPe1>K?hVweAcZ|ra1H>A$YNVFpsiG>$r`Lo_t;OYN1a@3gl)y3!`HrcWb~-Zo zemd$H8PzeGF|oYBH0&j@s$WxNY=UJI;EPt9X%pqe4&x0}5j)c2)3GV^VC+o8^-MY# zo60|%_orehdA%2{_Oetn zrWlb4fS!(xAsSv}xH6JH9G=BLrmMr#_-o`!eB8-kVCyfM5iJ+33nEg`5=%*;_Y%|j z+jJ>0h3}-;5lN9-Q(%{8E-8vw_ajs~VkEzpR*V?M)9KL>=aUPPh2ZT+#E_FwUvAC# z7q_s5V8AGZ5OTcy8|=eVhpV|ZHYBh>ng+P z@jKU_cr`6aPT)nm*Cqei$XjVr+ARJRJ(Bi$Q(5bMae>FaQxth$V1^*wWpdz&%h%+0 ziu$Zuj=`(eogeZ(e@J9ex7EKF?N-ll-_mZWb-m5kTE~3yz9*#auR`6IugmYYbaRPc zliIC2d%f}jsk`4O$*`f@y7MEqf12W3`mT@n_*yH>nSEvc)r!}DPjFC@t^syhCRa5M0(ITAV(@x)q>L zKIxOsN%DcfYTA;1Jbq&wV|iWJ@|~yzo;{-|Y9a{irA-;5_$%~sMjmgbFEY}bYUCb- zu6v$a{_F|&WyL+$UE{8vBek5BnKdHtT{)_c0;g>U-gfA6r`Jue34L-FK=+cy-Hwbr#uOFi4A)`~WF z%USNmJp9AEy?p;n|FRQiYf=e3dRgQixAF-htMrPm=&Q!FQmdzDnKV8`U4ElW^4Fyt zxzoMCz0keLy?Eh1%{@|!FXRe4V}n})(l?4ig`+dWCOg&LF!5R}tr|Vb@Ueqvw8UjP zHhLV7Bx_bYt~9r0$J5lTtSAMC?0yyU7 zXnJx?nqgBEb&p9mRBWd2#v~agMZpQ9?z!rdzZUjv4|HKt;I3#dlXXy7I{U}K3+V94 z-w4yU2cA5sbAh#{?dL%iji5S$l=t?axC$JEfFAkuo3Uxg^83fmFnn>6>^Y10dTPiS zpMUU#s`Fa(vE@o??PF3;MfTom%AW34$Afp;3R)byd?Q}z(-H#PIJ70y&d?dKbUJy zqZX*8>$&lkvFO3F9p#ji_X`6>(zAJFxDi2x0>kCD_h&Jpo?1aj9Q z*bV7x7@Zt<2hw=)_z{*f>Q%rN!D-p}Jv@#QC+rRX6);Ws@o+jhAvgNJaI*URCO?Qe zyTHNEDQ)6;+LS+qD)T4MK)#Jq^ON}s`eXjT@p}3pKg;mbmy}YFKV;KiF<<2?)1y4^O zE|WSacsuYMrs6VZ@mcf)zjy@q`*^P0g7pInfhW^IMe*Soz>`bc%4YFiI#Cv#n2mmu z7+H#R8Fqz5nsH+k`qlt*k=+xWxDLKg(>QVseHsVOdiET!HgbE0@#knE-aYi7XCzOh zr#v~h2z}s5;+yDuPm*IlTwDi!QH17AhzA!Xmq$B%#}ws36=zIn{2%n}A#eFGevInM zXPCMW1c~%o`6zy#wv{`=JwurUwpzr)<8-~ebW*kuLMwo5vQ|vd6KVUU!4nZWb*pjq zqal9Nme7_V#!?;@K18gGrGn)c_zS(b#UMq-{n9uiGS_f2 zG7h??Mw-PC+2AuHz~*6o+7P7?q2*hRVuVU{i17w7gd0PM6)pgOAp$WSby0-p8h}*; zn;@CQIbSwdg5T~PWUt8KuadhW$!;!!9+Y4}GFn}c#Lct~ z9EH@4`bIiYkz;r1AF{%ZqV!Yp%p`jQ{uPLVU89yxs+u{AU!bRFCh<3@d*%vmBlqlR z>N12-$*gu>ySr~z5{KfyRXV|tT;(uY*ac8$d?)hbt;NWOvIeTEnns;fu|_Lvrd?Ie zgs!Mt`4}@YJ2My2$*M)1VMHgD%#JlWnT=M@cH(G|XK#(q4emx=T7<0uPOqiBIZoa| z-Z?q(=HL%7o##Jwo_^W}9!5LnERJs&rFABX&_nqKkI>Ub$<;Z00aaB`qn>J;B?|qV zi8<`57P1Gc|6xT{5U=ZGsYx=hA{t#&&bw$ees{HzTyq;gK?iFJ?5+Zhv0mpNN>9(l z(&mOx%-k5BDO&MG@JN)1U3`X%GEtw_Y?ZfRt~oR4Vy&OCdv%Fg+#*E@y8baC(ewws zw*)^1L<#-~5@&=MCs+TqsBT*H9}MC-Dmx4AoX>Too#c0)9CP1Vrgd!a7na%za0C{bey!s+ zeSLbcvLia)rMoHUj!POI%i2UHLaEaTGa}Wf6Kryd8Wz^82TIT}84$Ix1Qu7Ti|8an z=kM1&+^OTIgJ#t?qCOLruk&}}cZMijH+QLqFJiT~%z2(J(5&0)K~0X`1zb$XR;vR# zxmV}!(i6ux-G&bcT=*c-uXBi>T%xGQ1?cvh9KY8&m~N)cDj)8+L5`;PbdC%9@`CAR z0Jz-{|4*|L|Be4uoj^N) zUeM7X?V>Zwb1cCVrIV6Z6x=+jf=5BBt{n)TzvK5C>{X2%9PH7 nyK`@zt*%+xnEkZlZiVO4j#UMgh6NgyO=ngW@a>d*Px}7>9$W`& delta 6423 zcmZ`;3wTsTmcG@UPP#+Vk0hP$PD0Wl9rA>92#`eKo9>XuZRxxukstvxn*iaV;s}b* zgbB>j8(R|&p99~gyP(X9j~T$|4!8~`f)ZSmfTBTBBA_-S$U_tuz`K9ldz)q0naX$X zsrt{UQ&s1jI#suGd6*3jvmU!;BtejiM$pg=&?ynN~8J#jZ-(RVjPl%j{Qd%s=aVS)+8mtf6S_+=TM> zRfbPYn+6wZA4 zTU~e0#PM!{)57s?x-ZH>8={J8BLpq}beKjIs7BD^4GRedLE-SpYJ_>fxDnlWhBC%R z2;k>p6&&-pcv~kF@m0~8C`X50xLxH1dY^^CBZMl>Lt&`D1gbhjSSRzNggaIFgoO)Z zxsT?k?d3@e4FYBq*0;>T+Zthks_%veW$l8{Z$*WNi#hCCmC;E@^wU^0jW*aE7~w`a zcaKu#VG&Q&1{<@}69yYSZitB$RbCW$8u}y9*MK(NgzD%^phtnW--Jd{Y_yGHqGMuL z+=LovYP8J}j#@tInwz*WbT7C@4y$GTO zUv6o?S>5-DWfY@5amkY^#tDMBR|p|=#K3!@kA9IPG4R)2o-&gl2B)6I&IrAgEC}y# zukGObL<~+UrG)q_wuz?1Pbr>-{-FcBS8(dNeAJ8nUc+XtA?;QT|4v)uT~-GlJ8)L) z+O3~2n(iAEyLHBK6pD8j@8p^a6s;?Gov#1gygtEnLLEuB%m_yggms)H=XUj zp*eIi1~xOz(ltTf`(*h^@6uvx z3R_KUtf@Jx0SU|V8pW=u|H7+c;G1PJV)xYfXoPlNm84J`hJ0T)hYnbC*h#u#&4}yI z6$HM#P!(d5uj~xZGdh<}CA!!pGTIii zZhF*~%@)y%HW#a=LEDRL11+&X&#qFmBaeMXlN~Ph7R`2i#r}tGOUl!{G?t1T8SLMv zJE_O8FO!coH}(p-lAGBoTA7^9TIrSKOjbcd$!}TLy0DbOp$jHUxl4~J#`*xzKw<** zrIc#yF8U!QkNrqVqchoI@{C?*bHdK1-*zHeE|{8Q%h2LWDWmU4XR+fHpE`yepvkFe z#;tHf=!G98iLd(=YE8{xPt(7qj%8K!r_{6QGt+s;S;KtD*{IJqWq*u1CNk??Ji3Qz zS6ZP)mrm!?QZcgGd1vZcC+}kMyUZ6%O#`9na509Ko95BWsnc1`JoKLPzu7WcnV!UE z^*xvV7cG00?#`^m3SP_WDYVso-O0)yU}-n+bwzQA>{^=}(4N#2IW8DiII(HHnd z3`}$d{4RZ)*gY|mAMkwkC51m@Mlq(Xd&Pn8BE1;$a7b0pGtYW7DpvpeWU)6mSMmi; zWA8G)c#(bI6H3NJd|i7yV(X9?7=o?R=*OIdjtEybG#2hFJjCnajEg8U=`ToEXmzjs6J@f*GDKCB8rGK)xyt~b%7rSFzzSh0ouG6r0%0NZVH6Pnk z6KwlhZ%XsE`S2~OcnReM*hXLEj@3*{ByFC^u8==(0;{2pJcnlDHQJVMr`PlH z;_gr6dHhN1??DlV<7Ot(*}QbkL@UMR=W7xZ$&;V1Igvosc}es{zD-kdl{)k6n$)Y% z;OgK$;SOm1#oOp@@CB~H*4oAy-e9xK1m`q`HzW^tcqc;jPPt1g><>Nm4R^uGcW}}R zUX$-A+!7e>I&p5`as;fH5}FOZ91cGCD-{i2a5a~$hLr*luF$LBbZ|HAg_{P&z#w;% z$T-pX0#*I~+o!meABFK!xU=4y?=#(Zy>K5~w72jO_ngxY&pF|_%q!SN<*q4vVP}5Z z;Eu}<6<|DX>Cq<(yuospB({E>GwcsOei-?;Tm#oNzbEwg10`oMJlyr^1+U3cb=g;X zZ29**$7@gWU^u%E21P#N=3R-a2843=a~n@dpuF*!5!QI*D0_aU7RI5+#;0jMh=ZBO z&5Ln`oR||NV_fBd<6_{4uo?5Ogd)L#_kq9yjuWaFWE*&J!LV|u$dM9{NNGYwdiVcA zWp`*Yy3EIEP2&qPk%1curfaHC(58a9?95ts(d5$OvPLMAN8r6fnFCZ6f6r)i-(WAZr};ZYBn0d&W*LW`BYsLE3WOUckpA3)ha$bX#PbvMUvf!%jr z#38$jzr?_?(0(c`tg_w#JoKxt!&#vbwa^d+3mt}CCOKTKpVHRC-)b^UR5XD!PaA1) z!s9U_cn`&4yh)WNsw=X_R^hf(c*r044vFSf`c2W@IITV`N;NzZD=UfZrHe&7*cSTZ z#GNr?fhnC`vGkis?)YdN<^G^AOAknbqHIq59hL4TO+)>MtqXOpMW=E+m2u6QCP z6q{*Xaf)WiF?zjta@57oG2#0^r?bU5)(F(SUDw%@lf1!-U;Kd|#o)LtG_E9FbKmDw zSCTyAKHOJBen`zmP`06=ZtzoEj_^FX3Zbc7xx6#|!Kqhq!12BJDNl(%c^kZeYmLx& z8t@E%&UI`)eds{nu9C7SY8ln@x@V%M!*f8AhG5@1&=6?nkR-L^1nfT~Nj+$9`&g22 zV-|)$6F`MeBq<-%3F-m$fHr_G1?6|M5zzgh=MF<3Xv?RPbPcrUGfA@Jg4aJRNfSW@ ztf@{bbO@baNYXL@BVS3EJrN!kP21A3ARj!4pFP!DJfHhMp(6I4JDO#yXdTde{0 zU~hf`I`S>}_#km2$u0$TBWbP-gzC`oO&)Gr0?0UZH-8?^2xNgCm8P^TX4pJ7SrotDM2Y3HqiWmL3(h~c3mT=>_r4R-~~uI#ZEm-3%AcgFG)> z^D4xHK&oWcD`AtDLUeh#)Y~o0VhnMcZ3xjq#2WM2NK@ z9@^-7<+R)Qf?h*w2eLr1GDY(FO&8H|{2%zjGeHM)Nn={1&gMU@*nnO4i9 zjV0wYQkf7V2rekN1_fJ=)1y^mI$VgL9%REPuB*~$eo7-6?Z4AbH@Y>)jrIzoxy-2N zWBMVt0+DwcUkc>ZF=4`BL>V7byfLQF*u%6M4aTf6y1mA1%nS1?lT~3oibzV>gW z4k-%&FWlGL0Iotf&*Z@UMrW&0FXMy2_x}TY1b6~Y{6;R%y(t>?T+e0T&A??nn3$&0 zs4oF-#&*~Yd>faS7fX+dxjH{!JH0Fx=sHnz(U;=l$aAQzJ54pdv5_g*1H-&J#^6Lh z5zQ3(gD)+TZ<_Wq^nvfT$k$NaafYJrC^PUaGlDIp>#HC2pvEA7VxwCp8LA7|OH^8& zW?8`}gA$HrJuR$GV`d6K!bv+(e~^w;7g(~@FH&xEUIxiglV&MFR^$a+PcAFSS5wOd zX+upKTSq%<7T}vay>@HgaIKv|-T68j;PiT{)&K?R^)|-}Y}Q+g7C#V`PpGUg} zyTL<+Gi<}yDC2lUNFOD<`xxDNgP@3O18#0qZ37A!`(8(QzBIiF)v%--mG9zOYCjaS*7ldk)4PT3pDZHS{)a5BWIa#5q!9KTW;ss}!f`{LU zw6e+O$dtJbLEjR_6*_^oH`zKWI2TJ6JPL}YTpCc}?s2N~nW*Bw4&yEb;CBLEmWJ_L z!lhHi&#C)B4P#+I!E*)oEuJ~5b`aF$Fi+7hoaWPY2*^i#THDlc3A@Kan`YTMEGoCo zt#pzT9I79MjmxtliaMl_rpkNpO9d}XHF~~^52?`mF{9P+d5;9K@zwThe74X{|9Lo;wEZP&!JhiK(&8(YKQ)f-jmZRv{G zJXQJ?6&F;zLdE|}#XUs|FsxeVec)rbcE@p5qE78uul77IkNO(l2nL3n&*$FL_v_{) zP2bwN^CJ5$x3w_VM6>1>Se#J7OPD@L8-T7;4~j6IKu3TMs%V&QBgcXQL-=S|LG=rY zZ=5vY69;F^f)2e$4Hg<$V58!8i=hSIJiN3}eS0y9?Ph)WVke9Ix!n>M4vH{6oJpUz zkB<)LMw}*b3*Xo1qv-R6<4IiPrjkWwT7#!)k=t5@WI*>pDL0&-!hR0$+vg$69 zFcCklp@+o7?1WEeh8cHO{8mRW>^GpyOa~An?m*%wW(Ji2DvjchMOfnl@BVe~Z6>_c z*Le4&6~7*g7=~i+AN92Db@SI(ifNlM*XhO@cMM@W)D_)y)Ht3SsH(=rr>OU94xTJnc6n^K@0Bm->L-R3*NlRptV!Gbi)6RH=4z9q$vI*@2}p=#U|a z#>M7aL9PY){l(G)7u(IheLtt{pzaRi+Rwg`v#-X7e zRE(A4>dnkCG3cA8%a>+}ehjPStXUQ6%@u%&Exx0`#188UK-gY&0Sl|s6(p@&7th!T zwn6V}1{v=dwAC#PG_WRJUo<5wLK#|bl144dZ91b7)=s~&l)3dJRI$iPZAfHT0^PQ_ z3iY`vJTz=nq(HRI(D4xfI8Cy;Xqh!GUK)lPX*tl{Kx>DgF%$xN3~0kJ)Iz@pdJX8K z!_Zjz9B686T>P$KXgsCGx+n;=a~Nu;3ZUD79vFs>qQ_%hZv7mprXLwL>ZF%2=Y7oS z8HT#(gIE_&?&2d~Gd*q3uo&huc0QwkMFCNj3xmU|V~z*@<+ zsUPDTF)sLC@C`cO1AdLphmVL5MsC40p!W`w&ewUNWm;4ke1^*VZJT-`b(#$vNYsYk z{2w-46_{?r$2u=;xHyqsN-U|#$rRSdznme+JqKWk;ygZ=v77DaUIinC%$Ecy8QSW^ zv|k8*XLzes8L)X;U_CpbQ^+4x<%?gTyOUCR6V)b-&1(Y0nkLjpt@kVttR#QDHBM@~ zXAwG)qu(k@WDS-)Wv-xKCe`wv(@;`2e}u+5H}H}4lrz`xX+9lxX7WE#zwZ}I?eg?aB3z` zpr57Y@U!%X)aw}+;Ao8Wixtm;g}UI>Qmn zvfr@Pc1Pyk7OL%P*PeEJ9CeH><6(Mt>}zS?rVHJUxU9$&I98IcM>l6TUrg_M$#cxe zC(!!L`Mir>%{<>+-u6&(MLrQ3BS?3-9NG8fH}a{HKHKj15iHxwXLw)8lu*)b z3mrwj&7T@v-7U2}ZV$HAv!HxppVWOh#`ooI`E+YHm-shQr|sq5fc%EkJz$h%IM!!- z`K&KAM+vSz9ppX1whBvLUwLS=5(sUa*lh{TRsvt13-U1JW28{|h*B}h{-coT7FI*9 zlxHQcRZk~*v*$Uk#$QvE)>FLj?W-wB8k>jqWRJD21Q?Vr1?9g<@*5E!9m~Gp&coR# z4C7SRf{8r*nWCsiBqGz{oE-jRI-gU>D=B{b_~sh92Px@W?33Ty=lfFeE%Md)suxPF z*Ce^3Ga%oVzPLteE6UDQZEET%{BLaQ4cY%}V71t3j3ghIc3fhE@OfUJB%hW_ z-oaVfaZNl&q}JV8L!zPsZ2Bx)0W0O5#0j$P{1|9~YF9x1B$EEAqWE_z+h_SgE0qfQ zrqp_Z3-1Q`7jVH7ki|}(pBZuYmgE$>_#ux&b1_-5hTQmAP^&R!)#UM@d=WUXyu zx4isVQ2vMgHi!Q}Bo}(`UjFR%>E&(poziOmvr=0{yRY>c_rZ)%YIlI2oEKVi(PHzI zBBEbnS&L737nxHw6fC*ibWLjW_pFhon$+DlrAwjujQ*v*WxnOU6~2|rPiWzhT7#w` zcGZrkM3S#63N_^B#eSBoo{{3`lIfY;930!@xdC2Cad}g4B4*{e@k;SfzMHn>O>jK# z5(Rj>^F2@`_oO}a+q?|Ek^1r`@p+`=Wf;bcrue)Rx+mXd82Xw@^O6l8eoc+}SAv0L_|$`M8zwZ8oFjluJ4RI0WEM;rzCevW>rYu`6!%$Bx;F_xFQBC zTBOyzlH4n`c9$Y)JQD8(F-Wp6EZrRv!cBc5rYA*A5y)e<(a?w3ibx{9hlUj84gV4G z{-VaU155f!F4S(H;R`KRq}6Zb{WTCW{ihVFcJM$b^&LGhvcCoAwG$zQeJ$_;GBRwD zO8T2VT5G%hCYq!Y~Q46`kd>4hla{{3`N127>Yx;rPzT`j2!eh}N`!Kb;bhPW>o>$A@K9 zWFIEzDNko6X7k7B=ES*%mp&rjq!qk^_D`BRZQo^8XSJx@4pWxU5ZS3=aiZ6U8r>tx zzcflDRIMnl&LXl-&YWh!>i{O9vOuOA94cw#Ep4t=RIA01_Ee}n4Q1Vt7cbKTlb0oi z9gH2liRb+v#7&YfL{h15@*L*_z$3rB6fH9U0WRXDNd@lMa|jo2g13cBtcov;$6q3~_E4Q1r&7zQuUroyz?js#Up{0lbv zY2oh-gYh(P%8`-x0@dcvB*)ak#Ef`EFk~(UQSFQD`+#buUZ=xFGpVJhh_Z_9R9!TV zKS-Yx-OFcCcJTzmw;$4i;%OtQ--pF#&(ogbywTO?kyov^`SxO8$p2kX{z3{(3dho! z;&j8A^E6mIX5o{u*zSuETZ**YhR$-W99$jxt0>A^sS>YKzQw`NJyY>m^(_j>=fnZM z<*W9|-_}577T|@!yxTaSmWZuu#k5h@S4xu%&5dUj znD7M_01bm41NGj-0-_I^j+c2a-ZdI1P&S^o(B`r+c&>%YGVw-msLbU)@+U!v~0$C#KDWXU#%JN=P>xicPT08L55%i5CDb6+&V+e4edIcny7;1Zq2r z1Gb-5m52ciqXk(?8eTi(sVDyZ#)0oeue(asH7^f>;m4{*}^Zm)(UIT9$;U z3?WL73KRVa_9qSg_?Y|l7#IA+6f*CQX&qrKqS6E zh^ey^?7Iz8Lh_Twxd~pwrG#YYx-Y>Zme>oqWR#`FSXf)4EIwxT9-~;HQe9%IK`i0J z5@LrZ#S%yi{ciyi-)H^6)&N@!o;{S1zB<9OP#qY=z>D7>P;m>g=qB(QF+l`JO0Wn; z>A+_q+f+poOr4!znE`wT@F%X&nK{$UTfq*IRVs)%0M7I&-7Bq+Nk&p_y+*&4a$?HC z9uaJYH61e>(fyXp0Z+_caMI_LAGj;#9k89B)B3=D)>M&h$WJpqvD%E*=%;EsIVuVe zdtZgeF+*f7+MO>>+Faq`7V3b+4C)5IgDzGSIMVg+HsMIo258(okE2olk0QQJMLS4U z^XBtG`qexSf0erDJ;?3kTaZX$gNaJ#ck;TfzWE*w#s5|5g21>cr_ss=L0#^H(GO}( zlX^F@k*txbs^-was?kOpYoS9`u9PsI4L@u~=3q0X)1|5voMA;5l`a@HPtO+*g@+0B>QTSJrNTrKRl(Z1RSctr-7J6vub0Xwf6{I~_kbS;N(A2YXJ( zD|K8w9l&pCcs}bLtxZrX7FZ*Wm)KCaK*LKRDB5W1SnT3Cv}&=-U82iW;w?xtwH|^7 zRhbRqUbtPC@s3kP*xkBgb^*7Gysy*n=>4Z+mirZb)?l87tCa@qaj~xX97fYcAo#~r zRqNt6=+M&SW*k`uOlGCp6m-=lo;qS9jp52G`=gE@OxNV2PmR;S?JR}fTjFq^(`CZ?!H!yZUbX+0KFTI& z8q``2)bT#<7m9mYgRY@Y&%X`2 z%p<_H76%!*F8#WWS9&zSuj74D`6(LEuLt=eaPiwUG3~Z4v0tBA zrO%8*@m3EzzNe6pYB3i(9q8&?nqn9|{7-FZsoKMT*sf2PZ!&i+UcHL*MmoBtz%c__ zM2pfL^cB!o^@1IxMO0E>;26}=C=JtN^##^wVLnKQ>ZjkS_|eKgKws52TPpP|pmA$m z^s}`NimbKMk+t6B7QAAM7Nw=b1zit19MPCZX%m$^SP&a6Qz+?M9z4apRMJpjjsAIM zw7FqAH8gmszrjuia1Awh?>wN==W8ntP{}%lAEA=<)2%~GHOxzot)Cv7`+(L<;q*_d G$Nmq9rIShk delta 6051 zcmZ`-4O~>$m4A1Jff+vLL%^9qVE7mi5M@S1#As!7kT-GsKp>K62w4;*F-8+@%&rP9 zrt1`^#T>JZZTeen++R%FtXRy(q)CK|5wp>v(JVGr@hgrIMM-Q-{doJo@4d17?Dq1T zch3EvbI(2RoO926k4;~&-jl4=X6cC+w7t=~E2+J0KA%}KODE$oOOY>*e(=zZ--c8e?#R+dHQv{rT& zd;vSm5n2)9Vn=BQ=JB%Z07qZdx!7fS!F5@wry_zD>GG*oXQN%ZTGl1YA}BrbW9pCG zXqq!??o;E(xCBn!V_dX6%1+y&#?6TkwD{A(jVMr!pvM&v5)6VO;m&G=#lUzFUHJ86 zW=9B+=ix3mR^sGyoiL8y62m4?%VGXP~EnE**kKQCzf@Vxwc@ z)(k-nG$q<<4_7VUb<+@OEIkLQk;CeEeTdXVzl6m%U~$(F)Ivvqeg<^k5Hx}A0lf>f zdk8w5M#oqwKPL9gg+;no%^CXWIf5`KWyQ4TnJ2MAaKYJvU~+f`;Tu!xUok(3@*g_? z=%M+$v)W&_#4zd_R@xY!BnV=QZs%x0*v~T~1`GAz>rFXV@awA=P0M>B-^?-aJ>WN~ zd^h-wD&Mh>ry+Ffz9a#y8KV8D%5y7^g|)#?llfB9^6tPJA->4H&rH6cEJ-V@%&6d__kFHPBHkoP^aOf`1YzqEc+NT@s*BM z2C2{FXyU0mpi=0c;=*9zaaxd&%wD5438}fS0TNb^suG*0yuev8aA{Sn*fQmZn1l}B zm88%jZ25`qIoh94%|0SqVix-u{UGsKHi~|on4^gvMJEz7*)_VI_$Di+H-`U`{emW0 zN3oZv-s)seP>b~pdzPNDjnb6m&=PAV%cI}hS`9l!BHgB%xE)k!U&x%a$DX6nj-)T` zPIl?lqz@7&Wy2SD&!EZTb?OIAkH@70pqmK^bRnsj?W2?t`Hbk%5m{_Ctr)S@+U-Pj z{A&|>-k@n=+}D^5n#{VdX+-i!_G6l!oWY)_`ecW34kV!$Zb=es>K-LZ&SYcgz2s~* zKxdK%G9<(ql3u>!9q_1@&%wiw$Nzwz&XGw2DK7R7rKLJ>ElHi{m?ST;_?_lKQ*~!( z<~?rPEKkiTDH*gUbvo;#TdBWKNlxd+EwRqfSOiuK4218_tYhizM;sq&*-ZLz<{Wl_ z{*?J;W2pX`Bn1wH9GrBvl-jm^cc=K6Y4cH}$+Wwh9SbJtF%RzMX{%eE?62!=4l%K1 zo!QSi{DA}hmc@eD*%uiY^aZ{XJHOJJb{}i*WMa@8RU&p?i1e6t|4|IAa_T+7mn4zh z5d&VQ*TgM&rS}F`O1|&D@CBFM)IS=GxP^^SAYP}fm1?tQTMjgLF!%8* zIVcdN#%O<5s_FTDN%9BI`vcd-z@bn%^=F;6KaTV0?m+2n0uyS!DoOH@2yLT_+1cz@ z6f@GzR?w7@BO3$Vp81}~JXOBHJ+bbu+rE=Ll~omDbHC^d+!q7modLg7zesEupOqu~ zvdTHp{TFx?YubHC?7ST5!IuB|wQ61r91JbRr1X`)tS|BeYb0NwUu-_W_|1##YHR2! zgudpk60xpF4D=vY4$90)XpC^Sz@q!G`#5h7N5tSNr`d}@<=_ZyL+0vD%Q~@VzCW9RH>JE9D`w{Qt&eGhwKGromxageTyj7jAUkjz9#H zL!%&i+5Ms<9^*m`gAqo3=ichaE@C3b1 zNv!)kx7QzBdlD_ut3lcp9u!*rfuaFyk5qjz=rLK!Zu^SQuD38#pfpu7^XI z|9vPD5~VZX?yp=_)u3C+iwZ%NOGK`acvMI=8q^>DRw4&Nk+NG3FV&3BV%uor=$V?7 zOLS~>4SaEp88^Y8n1nTK8sX&2L$@xd+hBGK?X#OV=H6kvQmT39OYEX;V=^baj@Mq< zQyX+T!Qs9_k0|!Q%05D*H02ue5_KaG~w=QGq?W9uingTtAHZ3O2Ai^iQs>ntC(ccCC%MffW957^H>QsnI>$ zIAB6|IqnZ!MuVv^)0^(cHMM?@AIhjkSN2q+JN{3eXPF?LCsz3)*u`l9qyY9G9fqpsvp)DHadQk`t1Y z1KI{U8MN=DBvpf&|5uV$fzIufq*l7VO=twYpsgWE;&1;wXsC1f zR{)+Bi$H5Z*MfF{ZUs%lQ|7mzO`u(%E<7ZK$RZdVkfiaE*mzKqc7k?*_JF#+k)*qz z+dcDx#dRu}uZh!u%;bi~GQ>Pf(Qs*wDH{BvD;8K2J?$OAw$eIW z_t7?QCQG1?yamil*Srq4isDKgiF^MfNsFP+2X9{eSZ5|rX?)^jRL#pWE(qLW0y49U z8cIj7&*+uXnYuP4!$2oXv+?=1r!+Cv6C;RF>xSAYN|`Zz5?&mI1Z1TfSt?RoH2+jH z&1n0HcA7CQ7%|hBvsvdcx_%VtF-~lb@*10%R?DJ|6TPp_NQe~#C)O{*`hDl<=QA=I zH-p`dL`QK`GmPfV8qsL`k#?rhr8#f3l^V^{jC#K1Ug&K?AxwfJTugD?K&C<`y@^pIv z=g{G@g2)iK@mJ`6*)x&VsL-8PX}Opkxe;uLvl)goENsIxpAL$S$P?h!^wZbkq{sx+ zX?H*6`KB2bg1vzn*R_|&RA>$I_av6BAj7Nz_7)Y-a#(gv0Dytl0eR@DVU~lLDFBT$ zdLR6YbZS$GE#eYL4Qh9k94%Hs$n&9xBa%<9dJO>^gTEQah znn35vYnYxq^Q`dPGcQqV6>PK;vm6S{`>9>d+>n*L+BG;0E^=2`@#^TSD6oe=vBPRF zsXA@61v+|qyW%N(lT(ozc!gqI#*f=+rS!@I_92y5mi?WbVbEm)_h(O~m0qtjQ*UM3 zgJ{ZTaG6bpDu-tK1j?(L!Fp(Am6f?DP&F07KU`Im+c92IT&n8FAPZ)s%v`GiDj7zW z$3`R$gUqbvvru*Q5nB1!-;y0(H6Qxc#us6YubGS2Yd%)1Yu2f_OFbC!8HfBQD&CVX zs|(?Cvt7m0#wfU4^I-R@cn3aE`H;^D=otmi6WZ|Z!-w4GK>O7Nt^yerN-*a`;_kXl zIR6$6UMHq0X!x1|oZp5kQ9X_3N9sZvkK339A=&a{D?q8@n zO}UCp?nhvM^AGmjPvzBC`%zhH7xcBts_^woZnN<^m%=-tM8R>m<#A8lYi^n{SMw}H zLqSeShJxp-5wM5xhYBKB#cS0NhePjG@Zo|>J?4uQdqO1_&>l^E<5G2LpH&fslkfpt zGYd(AtyW#4l9yHeCN;})2ZQV-^;W|F-&Aua{F|!3B1bX6)R1pg@ESpQ$md<^g4Q%; zLHHTf4xBsmaMABq^|!0-A$$W}9Ot)~awcpsPq8RJIlx{EYuN9HZ4@dRn-n5MQ~Clc zOQtPP@Ltl1>tuelm!sYC{FJDb`>d*8OE;nO&+@9x{Oa4OYW6u4m2d+7OT}F(UaDI7 zK*d+M6`)tm{HL^Gfz|$%Ds56%m8+|6$valjhH9H0J)gVQ(SBt?lBPYW<~d#arn*|j zs_Dw20!tdie1z$Xl)JdVvQ=&1VLFx?fOe~Bn6}Z|iwg|lmc53~EiQWS1PDI~x+%B5 zQD34anab;}bg159sI@5D*3!B9BI>O->%*@`vP#(!izS@DFx64Rl7i^)^9fDgK)p*{)VoYe#!%!)$zQ5y*o11u4Qw_m;Ynu+e& zI;Y>Q`tGe;x9+`l>%AWQJKJ%bb*9+dNrKWmDiOq8d9OrQ#i*mIUH@HVZpl#xEjg6H z3cY)x)nSARR&~rkqIkDb9Sik8rdGW=PNA*LVY6ydR!z#<^D3LiGXB5Gf;L&ulUe^j z(!r$Ub*BvV$8WqP`kyhavd!BY9YdS-xppVkxNV5ARawzV2lP2iN7c0sHeGoRlg&`X zj?-zqgS|pt!vc1K_i2wIg}D`pei{IJMUl8ctBgg|U`$~jC{mrq1~$NZMjMvOpnbX| zN{{;2*aeF#t5*Je)uWHDZF-arM{Umu`0p-XIlXXtVX3en(k~Mfv6+R%YNw>Im^Mx* zZJi((u}8h)K@+G>h*tI-EtoY9-9Cvszek~K%A{NoYY?#3@Y1cm^07jvldjO3= zLlY?HdGPC>l5G&6Z;>YN$>ifGp^gcyico(p2Mofp+X@WA8=3+TVYjk?Nodd%B&}T= zCkPXSb=p`pNPpX)O-^p0PH55eMN-1VmGNd*iK*VAbyOmR=#Qpyrb>q+|3Icr_X!AJKMDG9{ z2KvM})JzwFrkZ2pc8o*gD9!Ak0MM>+sFf;#ZU(w{9GXB+nH|o=h|!??$8qiSXUzE= zbNa@i4*J6EU@1K;<}Jgotr;fWVnG;{v-Car);pNJnJXJTzweeTcV4zkz7Eb)i+Y~7 z#ju&^7U1kzTor<#v9f+LPW#E&PF)EzlD?ZH2x5ovSb-qC%i}2qOQYyif|I>L-zStM z<%2zHv2MyV;kiE33ic_QpP0qGv_3I~4bt|+LiQ@Xk?3~hP85XjSv(Xy`*o_aXX!%X z)Y|MRTyxxO8Jx_00vnL+zg{Q^S2{5~fQ}e6zRpS6*d{y7d6@UNhc-paLl##XGzsr% z6!MZHU-~qyOG;%v+L1Il&j(0onOZBh&&}XnQTlRItk^L(8-uX)gDi(vW68tDH2Ns1 zjs+>#p2Z%dMfP>N8~OB>J%@cpXYHBn9Wo`q#G>inlYh_F(LIi-Yymyy$YlBSJI6_O zC;c*Is?L#1k2|L5uIJF-Ql5+6h$=d2c_3~ht#;n8yOK=@ojL4d`o@{X{)4O&-?W>v zVNFT@sKr*neYiaCyDUK2Ea6U*2RDws5lHPU^Pvapl3NxL0gnTX=kZSdZx<^H%g zF@ocbZ_?D%9CjZqP0e8Q=&@8+ybGN0-B)E9I*k+QrPL|9TT`enHH*DV-=<#5_z12B zYmhJb0s3n!xgVnsLzW-J&v+?=~@%qn5hf@WPv1xm6ij z(=Mh{@8ojUO-9#Ssl#rr+!mV|o(|uN(xu4utj2+!&t326*(Cbyl*O!_zL|2OwW8yZ zl<@S6vMjw9zAy~ZTOoy?zji}9TsC0Y`8mR6dF?|s5H!S>^;&`lFz)cB1{!z4yG>dp62@?WT0Jy_bpXhS+6!t=})bFZK@UMG2nuT3-9e8(bg<8jl88U!bGX zls8Zj+$j5l>!-(4BGSg<5cKEY|(I?SuQ*uFD!jMrO$ zEf=z6bj7?wI7620Uji*s?D9)rg-6cIvTwV*Wu7;p3>R#JEOxSv zj^$*v`Z_!6yVm$E4}Vy4q~w?wY}td;SA~dINKfrwV_DxT)xRB(ezC`5^X(0fLGPXQ zFKn4z(b3c;Hu_!=J1RT9?ZeCqGlHqTes*Y4aP?`E#pOXnuVGn}SN=N^r+h3>cD7|$ z?C|xi7H1fg-M6^KU{l863h({idhY|?mG$qb;St*dhB4v16;TO?!?H|Wxq0RjDas)! zr4;%gHya0cG}q74>8`x#ES?_8bK=7PL%x&#lsDD(8wW3sTkP+HBDV`#>1198yPsHo z0s9#h@pa-+xdVPiAl0pilCQ5M6h88m;&!jaf66Z%YCk&?D7*51g9otX0*|Ocizt6V zQbN}%N=;qi8fbx|xV>p{}EMAi?Y6D4m* zyfes!TLySc5Am2HkZ)U(p%1a;kwkp=jmh%+zWw~|LW%1tX!Vwzs@pQh8(b!fjUVKF z<_{YFCI)M4%pXksL<@}MYr}c%LP%j>8@zyw44K5T!IpDtESHYJ**@G^TkM3FgMf5p z)N9HAh)1BDzMq=SQpr6nS68`%7EW{NjwK=l+3T+dq_4O)yTT!u1lh{23P}UGpQn8v zeg%wx^fh;USNM)|niNE9JAa%`iAbkGl)!`IGAg_l6SS14Thp@GlayJo5Vdea!Ah1! z{RJ~-tv#!#tl^d0X2|3U!nGb42Ofh)L+|C2vN=~Q_5H0g@w+n0b5e&kG~ z#%xC~EKq%s(|j1w!mjNnZPZq@m8~FM@owE=3w0H5j;R9gu>^2S7m=$ZIesxJL&-6C z4OOehLggjPb)i%AVo92LYrLW*?s*ISwd60lp*Y$yeSb_LP<8$^^3EtpNQgrKgT^cn z#lY}d+BRc^&dt1wx@XR$no=umo0*Q=HM#U>%tW=NQ*}R_q^C<~P00Kl2LIs%y<3`> zoOuFS)qaz0DfI?@w*t~-F<8)Trdy?M-HRv4J!?|UV`l7jGsIRPDc56AuNH&zeV_4? ztQIQ%s^eW22+q~xn)Tl6myYw}dDUCvm42v&$}6~Rmj?1~;&__Erv`hTn|0dsx@V@Y zwdx~T-V66OfQCT#^vm)fsBlb{n?XlF$2k9ES&qeJyx|jB&IKI;y$jTOT$bxVJ)g?* zCeXG)ypw?nFzyY|hA(9K9B4PF0f*RnQkFA8+d${&@nRlACjh{6N|qZqV@Q@agLWgT zeW3kFl_XSw4PSx}I)Y=^2`ZrK?FY4@+zxR*?i{NT8vxA&6>v-41=;{w0~!Kd59-GK zyA8A-G-R9&1-M4802mpS<<)rqZn%sEK>I=82K8LQ0(=bW#+$YW?;6dtwmgS*(ysDJ ztcw0zK85X}fpUkl>%U~#!@Z}qRM4IHg@{$S*a)RpB&G!hWZB4N#CW%EpE=&NAV&E* z;rG9Xsv+?Le4eFB6zc|536ypr7FaiJt(e3P(eLpL(}9X9tb)F%C}Nu^&gWwPLIpmT z{TzJX1bNXu_;2M(y^irl~hz!gOzOr0NZnge_e@ZDe2w+m)PZ9>-+rhKt5 zYA?D;-_Qf%Ls2Qns%^vcp_m<2fo>n~W|-ZWx&g!3iZZN&Aotk*%@_A0*yNm#rD8%iHbmLE2d9LY>(Ki8<7Z{#H6& zS!8o-Usc?bybV$MBA0E0_Adwja^$U>suwLrg8p%li@iy`iymZF@-9iFkj_A!#a*nS zXJE05LGgE04hW=I+x5``^10gK?7scEtE%Epy$~a8pz7)c)Losdw+L;tui7y&gsb4E zO)uDl=Gk}^!C)WJgJUs_aR ziu@a+>3>|4iF|@4dbfvRDQ^nJGI--4zAJ>eH)fBN8sJdnW_0?FT6ToKz zw`yOF19l#%`G;SXiFhcn@YYXt6ET%v%zXpbht$?2!bB81Qg}+xo0Fe-GZpd5io% zv0KACwPT_jVDMj#;Q03CEpm$fqTxe@Dy|#=bdPIzn}#a~2KZGK&llh-r71-WJv~kw z-_S^rihCf)TQcoh=3v>hYMH}XrpdHvxvrE*$OIIbb^KYfMU!brSEdVhYL3|f+{#Zv zgNjF<|HNlGU)N^2VHj^p@c})^*EJpo*UbaLzNG3p2OFh*D^glPzk6Rtj)bR8Oo}mKMv<(((xb-K|_h`8LC!SrQ;kJ=ks-h-sfpuhC?r?Im`0~a4 z2%ts$J3!v$j#hpva;``7afI3fwA8q)(UIoW~<`wWEHYrt^ei|5c4!JXO`8ly`IuwCX;G(~k1T?QhWbzC#rf z(iQFuaBVuLU~SM~jm)E6_c_>7{!DAuG;}7b%ypW~hh$ z>Az}tn@a_J8a@z_pRNLfT98iz=YNwXrrp#e`n8$W+RRu~bLFtJ^*kfZyt?z9TJ1f@ zRycLZ)<-I+Mzpifkhq z8lfS2vZ*LKQmeaZU(@W{mq6q)7^3f+T1{12$S8e{gMPEdM&UJ9+P|har46s$yhW&I zyrAPjn=PaTJwjimvImRIkvfGc|LB8=GUi`+Ii*Mgq n?#1egLsYg_X8Wn^q1n-6D^#qQo_uJwIrr!4XdYiQUEW|Iy^@8fEfz4H>nI zZL9CTda(T$ORK%~Z-2P-O>5<@i{>U;r!C5IKrCU1AZ(N;IcUGOkX<8dlARUM8Lge2 zM!$p|;Rvlv^09a6KQYdfc?UVVUFT!x!ab_I zt)(TM$LIldyk>L@VyV5QZ?%(;HNrAg->nGB+67^drwadB5}{QYopfA3iy3K*!S2Kg zx7y_;N|&caCe;}1%t22Y?6l61mM*Hi6!0|k3ecB}>dJYKA^G74=QvjstH*Ik(?2ygJnh_SM9BxN|+2jtAGv>h0Ywak{)9zC89 zdn{l})SOws9;7Xq4z`?rmpO@5(g&Gt`#z^2#2#MV1&Q{)ks%N!98Z^5$aJL>*Ddb<0<;$L@ zc3Tc>qTRM!ZxbM4&G>q;ZN^OA6{F`?r-|(|W@8ZFc|(%oOR?nNbTeq!*1%pNF{^<6 zidJO(Op`sHPGl9b?@2q#!%k7rs27-*-X8TFYo~|oo1BX@wn94VEM!;7IJ$s+NWRervWijP#M1sNW^0i9 z@cwiw0LsgCE0?-{(Q>ez5`GyJB9H{xL>yyzXO~lT*l^ zpht7^*%Ept$7Q+;ocPRZk_4T)JLzD~SWT{n;yDGVKc+Fm`NMEESOa{?i|99-i{3{c zhTQ*G{B-8Ad-x8=rHNE4Ro)%b4_hI+Ht#^;3cC zwVbp(uH2gDiQfU=iqYZ3>sfSPb>DFPMa!nqfwA)#kO;|+ zV&nHazm)=Y^$WzdAu$yFQH)OUM8h8aQn7tXL6L0BYEMP!H?Szpyyvjkdp5@DHI(N+YU1R@*=y~5q}NLP}?ED*w`;d`{64WEhw_JCVASS zvGhpkv1ZY{;vF%z+G7dAQAOB9d{Z==AMVAP6T(sKY@VQw_)KUDR<85t*Ov#|mwNPK zdzvTIcsS5D1b^rBR(WrP*rB0Y7W&7X)I9JZ1!@A(6v;10XU< zYGi^Qv9u?ieV)7jvo~-E3ITKIBtjA$X#4bX@AV{jFem=Q=W47%h}G*Dgkn!|*&28# zn&gSkIp4}dbQmG(6Qg}RL?Yuv6N*;%gr`mStT_qCZ}r zr^+cJXGkV8qyhEmuYXUGgYl0rr5T49ZJk)acGBL7bJ(Trla{a;MJ7$2di+yaA#`EM zBoCh)e^bHI_~&Q4rLveL)0fc5OmpDtD2< zec{-Q-{8RGJMSZ246g<10?`}wP`L&0g0S}{ww^xz^W)vF@-uphq;~wtKSk5(e@~Kj z!^!hOdq6kzOVR-7;896h4%&ZAlCFdL-p=TKcYykE$h-{N z0eT43kE2pZE{DQlNt%+3g|A4`F3^6^eo+5aNxA{r1?tB2*8epO0POCX2M9V>E3x1u%f-W5CdBMyv6X01Lmk~{F&8tR}zB*OD z>YoJUrdmj>gU<^T37_VuBEi3i(tvf)#$YzvMbF{cNBe_gnTJjVOIRJHSGm|Gnpow^ zI`pw5H9?*?Ub}`c&rJ_jWoCtuHjm4=AaIQ~L}njFtFqZi`d!r=T@Qj`plem*aJM;H zm6aAq6-0>jL2MJvm_6&xFrS2|3?NG7iiwt|H8V|)t=gF;cPwd+sc4HXVDkMkIbf=2 zO9`4bFs+suO%*|M&$gurf(HtgLP6gdIxsuGbql&(h;$0qHQQv_q7hAwUux%=e44W+ zN0rGk)1>EX?uFd5$b>s#371pXgbQOyGx?h0tu;fY4yM&;ux6FX7cdpUF4#9yR)zOb zT#|&$*?dlFm2j(+8~+}10NjN%yN@G3H@O>4digua2Yl%N!A0OxkdF0So<~zO>A4=B zrt5&qdSIAlwn<+Bd@b-pJbk&m{IYbQx;S|+;EMC~MfIfQIJ&_Llq)`z+<+Y2dy%$^ znN3{?@~& zlMFQ_>_w`qaajkZ0zkuMKyG?!sc|t2MIqs){pdeR$7@QgMe3&!cR6o;@$^cdpf|Ge;0D z{!>vwwYAkOLa##BEUW~zkM6`laC_4VR$*W&ovmHW^c1+q4$A}gWNGb!gH~ZwMA3Vm zcKUc6Ml_!68f=CLl`gQeP6{n3DNTI-Cd3|7WfDG1;BDwIAxqHHOAD4byF3bR;2Dc{ z9zU+Rhw|!5u#IZ#s-3rM&VVcvxP`CQ+3DFj3k}q{Z~0eNgU4Jl)VnnOQ>nOqHWO%7 zy&c|&*58G29H}q&UY?=|E?4DK5f=-BXo;wRN;1fLZ+2D&cz!j)WvZ#uXw|)c4}W6T zeUP`eJ_>Do&IVk!d0V5-c~ZqA>PC?_J@{KyT)^inZ;5@>sp9h|DY(1`(0xP2FRSwM zo&o-ef)@*exC`+n7e3G-bwZ>>h6O*yyh+^LQZwp-Rg)>WXDVponGc-5MkGr?HkE`-sYLw-Q2JU0( ztH@;&V>NcduT=R?eho!qs>^pM_+r6#o6Wn`2|aFEUPv5T-N3m)w;HF)+b$_wYsp%fQ_z_+A=EewP4Rm2?iPgbeXe}38DaPewcUP1%Qebl$yLXH*- z#h3dGxBdrBc`fC)s%z0aWz7L|1R28P*$bpNJ8Z=23|t_T@ckuAQciYWx1HFv6Fk4tzNj%?i9G zvpNh>!KRKGNEq+dsAHk&@2O3%j^k-3bJ}g1lueVe4gQYJWf}jUvY;sodWz7mioFsy zf754=H9Yp{)5{%>wc zrH4HcS+%I9cJg=abjsqm!`-+#5;h~S`sQ)aJ9rNO zBU4Z(y%XVN@q=vI^M-x443ln=AY7NT^@B5PcQ8jAH+KE%p>Jim_j7B?SKvIbaB#nU z8Y@P37WSSswNel?R`&PC$=@40s6V<=SDQ%hM$givCsI^QYRrKIJiuzN%(CI`&oTuU zCDPoOBTAnJ|C9b0Q`k5?lk=mV$>3zp zLGWb9u?2!~qZh-g=!gO1dz_R{ZgYq|#$WONuAyyadEA=X#rZG#Q(%yE%hW z9UEB>J>zq!>IB1^uwe~_AvcCX*%nqmy$kB-wRKJbCy4H1^Vl(xo@D4i7Y>c z%lI#JI=P6=*_V>aq9`q;KIK$8S3r0XWg~z2ilmqhz-(nnddqyd+v=7-uRQE6w+1Fyf^_kIX>1AsJ$y9oAIZo1J1^4bU&W=a)VarI&+V zdLjFQ>ktY}(GU`R9G&0~Kayo74RX}hqCP3 zCGVK)4Xl=Hq#I)QamKytXP?6b4?-3z`33!JPIjlSx2LIpUA6U|(?zcoy)Fhi4q%hj zV$)Pg4;)!%-8?Kcz2KMr>44SlI~dG`-8-8e-%(oG)7me#_#PK~YI?oh*O(X62qX>lu*Sh2V#_0m z_#T>+<(GX&_<2EzYabrzEx)jQN0~RUR2Exa&HGz*!0;C_&|qiPfuuLJz(~F>?ALyT z6!YtX7m$%dCb9f%$NTH7pS}WT`|uXp;mC9d2>*@iUh9n4cm&SH(y5u*y7Mvg*~}bW z&2CD}Pu1;m?X!2Q`D9Kxg^UDIDFX(0D>{+Gcg!SG90xa<3a8{gNYAllgb z_X!n)ggT32cWg>d1@}WiOL{t;pUv*48~F=#PrpyzS*uX<56qffy8n`5vmpyb+HT0= z7J|D}ERv7LP>n};p&zmHlv>6MspGJnA__8Y?~PVUCyEP%hM|wD8GKb$RtsnYXW<13 z-R!+=0DI2x@lISE8?f% zVBL-%*{Qa0r|u&wy-`SP39WZO5E(=@_)#>tB_CL6!tIE2owulDOCsfz>_*sTD{}0|rfMLAW~kH(r+2V#NWc<7v2W1^i3lyW&vL8&%1>!Y6@BhSKS_Me%A8{>zsH^mJjmt$*3$3 zfqKSd`7CJr>$2Pi+WdwrBYg2sZ5zbVUZ(Au|9071LX$Z|92z}vFC9dzQXEcb)9 zV{R{ij=m$y*Fe+WmE}n6<1WyA&h1zBzYFaX-d8RN42AZQvgWE9kc>`X!- z7{3fYXfyVAKWKXp69(-<0St0JUOVwd9P#mj$_H%+tpptfT?y*OJ9issFX$dn&nL1x zVl0ILyh*+R(EPb9Z^of|6to}Ib3>L-fDV8L`532(TpXVVK-=k+c{#}fd{qe736Dm#s}avy7r%k9C{OlvA~9Lr$kZjFN)E{xzhOuwv1 zj5~-JY?{KEMBnfRovujG#lHy>x3AKWoR2`1aO0xIt-BmyF;z?x(lGP`tEKeHOdLsk zm4)m)byTM6BG1v!DpTh8kxi`-;*C$8Z?A*E`0RP(mnVg0rSvjm5FRE zMfnyOMFcIGntanUKaH@Ic`a_QC3l`BZJs55p2arLV)9KBM5v8IEoq#d@Xag7;a5mP zSlchk@_l^TK8x+AI$u=SyuJGRhYbPap0Mt4eFck%3^!FxQ+?`({1AEPXBxMmcaS#B zPwnJ(9>=H`>9G{%RXY_?Ve|LuxtUtU&TJjG+Xfbg^xnLX)Dezd#x0uR+dw_pKja8*# z+tF(e(!Q#KumN-;m>IzjJbsMaAJgq(MnoEh_hGp0V|rLj340vf zp^xcV@s6*73f780`znQX-8kKSMoeMa_@y{3>ICT~ruy$m_d8_s5Gqb)V5 z%tU>VD5GKYchbe0LVKF_O~swb+c>2!OtrUb|2X(}BX0v#w{Q`gpx-P^#j$^Q;d*8x zZ+#36=?vsq)X$m+#}=hB82+r*34!!Fhu$nqfI3|RCe_5$yIz8(N+ z9jbFC4B?gW{iYY}LRl%jSGS4@c%qX$^>KQqV52SdPW-Bn>i4?RcpRoQp0PSazLts> zJ6SJPFD`VMLjPhkxgTpXqtpi(fqu7mwd+8Z%1q|@iFO4Sw=+cP4Ta1=bq!TC(qJ=3 zgUZ5N(_0H7$|m0tT8WyB$x9Zrs38isqA{_)rTageTm5t3b$rZxF^Kzd`Q!8#|JBK zp??vNXn3=>FO+Qw{=bFrS&Fz2+BSdG@PPsqSGEYcXEeN4!<8KZ{0kMIA&kbU3fY=p z_1I&4K|@Lr#a4kJZ*kPO)XApPnx#%xxh7MK6BBPnP1mo;Y~uH#9h!_gU6r|0li3a2 z#`C^e#Y6W;xt8l$O=}`g#ltnNWBj?sGvKE2K(NbHx6H||)1ejdo!GW^Oj+=#Di|s) z79GBj_B3@IDx>KkJVV9vwFSC0d|VR@MW5FSZf8RCc*wIWG~7OPyK1OaCBi1MFL%25 zw78m5qQMFIcZ|Htot?cJ*QR-SK+}CVw0`Y(i^djyrOA);dW6O_zx+YNd%riiKWX?t znj$WQ-WR8U+k^yqd%4|pMw1!RHg<+)^PDpOFEp+&Q?;Pfb94=~<}RnpfojKB=hoJ~ zTNM)074B?s?K+oWYt~?m%%#4&oNO__C%0)9nzj7fq{;jkxEkX=Zj1ev-)o-Nq=ht9 ztW}f#vxe8Es(??!$3pVAslZt+$QOb0U!pO|w={_Znr5A*8HwVpY<9MpXQVlakFnD6 z!Lbzyy11!-Q9T}Igny)iA2!`%99-J6hOu@!y0*|>1})w~bSHfY^f|3yhiEaCw-(wb zG&Dqq=>FD1bEq&6(4p4S?<#(%@{iM(t(~S?En<|u&PhLCXQ$vg8y#8aj_<-5owpDT z9dr~y=X$$66!Q@6pz`&F5uq}LlD>8QNxU!0+X~I0zoG(dX)C3+HaDGZv(Z6ZlWp$r pUQlU^)F+Np`39LCq4JHT=E)T*=BE2MmPX{>t&S2H{c}so{{UzhZsY&} delta 5951 zcmZ`-3wTu3wLW_$lg#8Xk0is)gdvm1gk(ZOCPGMfl?+VCnad;)NF>U`cmp9(w1}Ws zk%Sv;nTDysMf=HBE4B8DkCxEXd(o;S1tlnA0I^Xi1VkBXz`6fE=M2q{ZYgaoy<`IDmf*G4Oi*G5w^8|xDd zN;8UrS!pvsEPnbbrLA9d3u=|NnbtF##ja}ERV{n>OKcj;`gfhLYLw1bH59L1oH}K6 z(vPlRtD4Z$e`o881B18S{h;o9TC2^o+MyPmh#;(&JK5=VZ7#b^mKYn$p_5u0JArx; z+s_$V5#wbC={IPn$g(}0eNyLTXXFm&WTpOjF|=;3dKOLqK2h<39JmDe1ASe<(S>19CxA@zy9pe zF#_cIcni*zyLnqDjN@-bU&lFG^}=LT7TWwPI6OwEr|`sqRU0mOg&AAY77i61wxvlUNCA;c7uJx%`6gjVb+~XupH>AKrfJ zmiB8^-H%uj80}3i(+sB3jpRbj&NM1aaiw_EVA^EyyUln8-TKIhG`cHgR7#J`o0qul zyLtG;aLJSOM9L)Ny#<00S$9K{#L)T3yY$zTqPqXh;_{?vGEChLnPfdROAx;86vI;u zK`zv3I83~{$|`o~-iAzkyl0g`8Z^1uxCi&B2>nmEFkEt&7Nk1aFKJC`y62amgwsDY67ZzN@>BcBj^}sbsh2Xl!F>n)M#`3cYO2V?U=O zRyVtku3CS~UZ-b9JgXV$p~<#X3ZuTj4*p9QW=pOqR&Awb(X3J(T)1U2~hRj^< zo5e|)RO?vCUZ9(k@Oo7bTKuRK2Mv-%4pQc z0!>N|%^K;(Zn0wI7TX#(qV!*F*n2LS7ACDk>ypW=TS+6Gxoi^6aAvXd)Z}y-Kg`C9 zt-LHrFsgfx$eGRlK>z0)&7Py<&hwc&;Alt&_>hmH-ek%|n6NS*7=fACLl9J`RMJU)29cIOZ}2LMHg#_D*WZskZEC z?_tG<&*mW$lw_jaIq9Y!4@pumbSfA+Cx-S#YG^3ugyW<`5Q=+{V`ijyr2Q*Nk~2KA zl}?Wy&7P-(++wzZrsn3hhWdQ-eYgAS0-@_-<3G1vk$kmv^ThTcF%Y^ThQ_-?ST9S& zj`2Bp@?2KA%ZmSj86}!_>=S#>#QHGg@BXfu7entvn$f6u{2%K|ec{DYAT%Vl?_vDq zMfO!^4_~<`J1@00#@zvn#rum7H;JbEKM=#K+-5%3xc8LZZluU_Q*DvC(6mVpdH%JPytHYc!Z|r&FFWmgj7I z-&$wg2SlI3pHX^#7TZL={6fu4oS^xcY%;C&jHKV^+cah0Q(1p2(~--2JC_<5&}Xrob_TBs9?e z`GwxAG4P->G6r%v6#|IWxi1lp@Z(&!3LXl@xFe6AY2_i>hYAA62|jQ zJhraL7xud)vGIs!AQ)bI6nmjxgRm`pN9YWO%FbhWgzDoQYP`~%#<%dNDaASdQNoV6t8=V;*^dZoan$x20l3YR9jBN>e}g2CYNbD*N~*T%XLdrJnC{ zR(~@6_t>ln8Mtf8Q?)~>7d5?k=jd{ser)gz=R&^b-4$u6Q3y zT!T11lniOfLuP6#wkADn!X9%t7&?P(<}-S}_)bm3Al)b)WjKUe1N4%5$$i@{jbNnX zx9v*29i-B|)=1Bf^QKI~ttS}PRRQGrMI6WJi*e`KMmjp)tEn8MxRR;#(fBFURx+Oa zC1%=N;?yiZL8nS4#O*zXDNj2_t_dFNN1q|7+OM;9CBAUQjbP{-Fv+7b6Fn9nF}I+hF7UH!(9`7Ffb>-E7{2+z@YMHlbLZ>tW4AkL6of>)?lyv>hJ40PF!~9Fn8~;GDyf)C?>?B1yO+ z3SGcdV9!UA~*HgmzCBy9i+h-^R5jC65gk#`|an}HXw4tD{Ch$IaH&Di4f zxN*;lH%wwm#+B;^6SfX%#(bH9uBPtP4S*e^*%uqgQB*qgN4@6rr?O26`_Pc1<5 zEQJy;eCB+KZ3M?B&kN`D2-=^(Jt8xBDWDTv23_=zWPVDjn5D}@%nY=sVs!S2cw?E* z==B-%rW-S+8|~AL=IKVgFF_E|tsmWnPSF2UOuqxSOu>n$mYNo*oC(~*)7^mU~68oqGRgp#h>V=i znI9W78jX7X#Z)bnK~VccfiMUBGvMoZ2TVmH8ui=|PwmrDeICo1MtvFhHt+>xtt^dw z6SZw;Xl~`$*bAt>dX|1#d5^9EsqCc7mASf2sNs@WnH`^je!I|mVTh{5^w?vlUKpa4 z;-pw7&+o74kK%O05>%V926Wvu3GZtS^0yxPtsp~H5qps)R=F(OCxAe~eM~NTYN>KD zGlig$L9e6!AbnC*WXV%MjkuqA=_5zA%TlKP-vCQSE^8=IJ)8B>)@m2qLa$dZ!^dIf z>>b?$v+WG#F3z!m&aAO&4KR>dV{@$0t38K-7XPUzqnesZ+=q8U*Mtf0tg)qS!{Kvl z(Fzt}`vf{wvzY10H`j)l`{r7;Hl)Y{Xys98?h_9A`*v7Qp5_`X0Ib}3He53U^NJkN z&)=xp!>UdfZHA7XUYd88qs^^I4Lqq)&fv%GbW&z*5td6$ZRHQ_Btw@8d_FsCZS+*F znFeYzZhBKTgGV(P>Rg&_6DYrKChMmM>TK9nLUq&N{QY&Mo*s44Hmmvxh=Lg*GdDyH zD40x^+eccHAv3G-l(!8CC({GB|0~$hUh|=EYkd&bc%M1Aiu1BseZ9w2-m5MKc`ZZ! z3zhFLkky6gTG^)Z8DkY*UN5NbR{5Sng_oBFs>c;RU+5a42y)bc`B}mzSM^`O~pX)iGx(I{d#bygWb`p|g(b z6hE!%w0RU+oT~H6zZrKo)zsS@2W6>4&^IW(qR-E`&DL{VirER}3Xiodm+R_Sb25~+ z8fPIM3UWxY6uv<9fFsJ^k`Nx1Z%|zvb-iEVM+jbZnJ-oB3AJ26J2fe-d{g2>4cZh@ zGzf2CYGxr#us5h(RCq+yZ&Rb(rScD}uM+*=qZ&KmXR7{+JVlYI?%bmAiv{79Id4}x zbY>_WqK8vAcs`+9lYY0VzfIj9veW_ga-P59sN+$K`HDsPut4?esD|T4)JBP-u~7jb zo-!BMn3Fc&$@h|8Jg4xdqXye8cUrlcx%aC24RjGYKaqQF;?KYfs^*|eQHciN4=V3f z`3lv-8!Eq|SRn?~$iGMH7uXzMs?s*KSB={1vOHoPt*^K1vFG!t^>m+Ikf!NQTYR6c zdt+k*WA$`)Ns%Q3VqT*7AbFM+S+=Mfcoc7=7O;IP8^tbqX=#xmx@E7SlS@l)o&eF4 zppQIFt@?5`22|5zqkT;lLxV*bwt-GImC`_ySs%SD$tso0ES6~eqNt;mWkvDP^9h^$ z^UL04YpA8Uhz6Ry)Yoh#dyAPO&0fRJe>hWSOXo z-RFG!=bp3oKKtBzN6(P%&q+tLv3CL|HHS>N!Oqk-wdJAmsJ!zFdq{J#JZMga2$JsH zr>)}|?wq#F9VbRj8^sMw8t~k)o=OnT0^bEO^nVtdb zf^%AeIW?|QDfv)?RKaPbRcpBr#-U47NXw%x&%moWrU|2=<#KV&6cajsjUiBTMbrn_ z2wG@BN_h^v`X^6OacFN2lXoQ2aS&HSxE4vMKZOD+ZoxwXD(+oo013BCdVq$jV+JCd zn!-6Qm|Mlh@`RKRC-j_!PEf%$Gkbxg&`@L8x+7((snxTNOt?CDO;coHX((a-r80}= zm=5l1%$ZDAg2%>jX%Yll9>aqXATV8PhQ->jaDE)Bgjz&*AX+mH4FWHshY)QXhic$M zL`M+aFb)lYYly~%goSS(hlWF3h#5SHc8x;~P=@G6ME8wDBVbdA*}`_BH1&hyxF+}$ z>YPWNzHz7-z6>#w=pGXKf$C*Lf<`fyFk&*XfNH`T z#gF%)d4hBPOOrW{_lD~wQg9Y0BATw3a@@@h-dkYtP^LP9lKipfOnkfg6XfyRdY{vZ zgL-Q#b;1!wQGS>*y*ZakAuMtt*$XL=lT!C0#x+l?=GzLk(k?H2^;{U=UhonQ{KNM| z(Z3v@c}%?t)kaB`@I{)nX>1e;Ly@zI8d6M2?K7f28MJbId9XEOZEJejPA zkE1(6hNsY{ED0Z;0u7cY$!hRfQb;L$V@X1n8DicyZB4?7XZBy$8(oQ->-vS^O$Y!n zMZ%4ke8R!>iD~25eoO~zTwi%lSZf#+kb zy5FFjzwnkQqD}S7@OtcI@;n@mokD`)yV&pJ%?VU-;aU2`BJ8iwr+kKeoX5hC@KUdY z2XUF?zaV3hRdFjGDkfD-s*I;9Mo*&Qy1vHeFTGD~8>FEjE(dxixkw7AtsfBds5ORI zdd^!vR1$#SPM%BJ;G4VV6;PAu`RPV;HJv&E9zXFQ}A<%4*yE7(Dm3_ta% zZsF4~gItNxE2ND9bxCuK!(VcbL(BR0?4%TFPR)IpKj5;C3+~+|^>n2{yzmjf=YH@e8*LJNa(Lei1=84Qxytla(RdC;xKu2;c7RTh7l=Nvm(R@!p1nvrjq~J8PXwoJ(tu$l>AJ zJgPBn*nm;-`~9K_T`8&B(r9Tnlw?Iu6x>MRNfSJtnniT5Ce?zc`Kwbc@W<3? z5qdMNeVa|WNHL42-;RQdsquZwF2~)0x3cZ%YK*148eVYsW%l|{d@Xt2 zsV})$A{=eIJnG56`M=|bVDq;$sCXbtK~-Wvr0BKqLPM9o3ay~8x_H6It0f^}+XnOp z=25HvbBS5j%GdYvLOSE3OJE>%blQ*pH<95Hu2Ro;`Da~WQYc#8@vkX0 z0aNNM7QBzfWtG1P6fVp+1&P|LIcuZ>JWWAEL>TJl$Ve~lo>#N0>8=F6xN5;;Q0t-<{Z<5Ez=Z!T!(e*6uJ#d*EA^1T%_o|2!F_o)1C;I zjD#EEXy!pu1Dmqm3wr}GS$j`76wb(q_(d27(5wDE5@~w=CU|kiC|t>Y9QJ2tLsgCe zUd)asDxjN62dLMVE#((i_&(4`cnm;@Cke0zuMX?WkJBoA=X~qEVAv|9* zPKn}n9NRt<#W9K_4MW_4)P}SUX*SYUq#Z~{k?ujt{aqA$k*-C08fo_#Q5;3u|2gX8 z9yWX-iYZ7taPl4{zITs)DT*5ra9j|@-AKEU9-@L5MX?`gInpag`;m@Od`J`{u_!n& zf9jCdVd}n(l*8RQhP3r6K0u8Rz`9tDv>OZZ2BaLGTl1G{ zWYP`sMH5Lm6ckM+23S^PwrD;PMF)B_&}ePhftL+BizXDrqVF-uq((XP(<2(Oz#Bcq z`tV8|hq-V}-yH^FsHoWF?-#|Va6}s(2V5RL%LN6liKaY^=PC)8IgQBK1<$x9D)xN_ z&$^)Q-r9Zh#)n_s8ad6)~CE@!JU7k~y z;nbxR>THF&=t7;LP^WQ+ay+UzFa_QQ_w1rsY19agI82BQbkc5};U$GTJg9J|vhtTI zuX;yNTd=Z-goFiaibK(BC_)pf{1RN6oe)HGD(^Cc6i;fQmclS~Y?w+5a9XmZqVS;E zJC)Q>xnyaEf?9H-CA!SVQNA2gE*bl@(XX*`#8xAQNyTw%bhdh(M#38rfA{~uTM@ta zwP+WssRFOFDR`ZR8tOuZ3-eeqL}M{qr^!QnKjJ&C!VkqWgGR8+`5}u>53*tMhJ6Do z_@{$9u)A>t&hS%$XpZ;NZbFESisDdp4bn>{1%+V}mtTX*l376>n%~#p<&r|}F6{PU z>Z|dSs$QuLe45sQvCK~11!tMn*qDokum$pwgLP$AtZbbqkq18PZ-JpQyV1tJ)2J(H z8-(~dR^wVMU9{mAk=lN!m@}7*!fSJ^~_Iw+ZEw`c-?c$od4F_~`Y zL>Ug=nzz)_pC~iqXntb5iWjwm%c!!GJy20q41HAwZ3OZON9S;$it3)I`X4V!ig?=y z+G?w!E*GX&&&Fx4!~Z#>AXGm=UV{_Wxu(_}S+J4Ghobi*@ZZb?aLiXhI4IH@#TWZWi3(kdR5(@`v%q`P!*VFZM+homb zW;ic^C&)k=TW2xD4UZ(p0*2cjar}CQkIt0sG%)*HC7greg+|M-nM?-V6xaeW@WZ-= z=9V`Z*TFo#Ul!u_vNZ>OxH2~PA57kmDhm?ki;o!I%TnfHYA}4zCd<=Ms;9?+n zk<1>D zVUxugm^A%yN>|ltl>s-yX|b19n?tpSe9hUGj#y=ll9)gkUvpup6m)+5&V7bRzmbI|TwX8wL;^ zWoUr*f^mgi8>sgCp=3qw!($|HoD4$eiWYpyGOn~k>q-NZugoyE;%5VG0qTIxm3Ct< zONRj63j-_dA%QA~CqhW$F|rQ^8tvM^k6I42O}Q^OWx(1dgZAOidJvj&A0BeHx$?6H fVW3GQ(J=6IuC`{ejI9FWs$A`nr{qx#uH5?Hal(&T delta 6064 zcmZ`-3w)DRmj7E=Ps>7sb&^T_H84IaeG+EEF|V8RI%yi88GV`HXwge|h_=vIinb?6 z3x#~zx^*c$PIn7_Q~El@Q+v~1vxD;*X^pUVGm25`lGK`p3V+P8@QMa6ozl-@iFBL6 z=0FcO%kVvFm8ZrysxjD@ogOjRXsaPPMHX!dXw%S3K=%S|7=!BQ6QHMot{sCWP)eeW zk`t3tHjhCKRF!CR#4?xn`uLdEWV#ovMh=Ve^q5u?Jp+q-VDZHTC`sRRfUQJD4(o2`q;j;`D!1z{&qe*Qo@RqGXmYl4mmC%p z@`k8yN1z~Wnp`ipRsDun<vLeNh zM~^v{vF&u$k{z>E7wOcuXeKVrHoB?N%7t!XqaqmsF(CZmvD zqn~BuvQMZpW0y^GBSt@O#qKj=TAs2H9G}EOnwy!2Q9P8H!#<*?GM&c%f%hXbuPO>` z>RzG4nG@JkbRlyh%Om4$SF+0y6|@ZS9-B~KZOT7^I>vF=Aw0T&qO7c9cAn;EIW^WC zdLU~-)`Qtx#S(OzM@$X9k-0axZF7`0-&Rk9S$-x{uJa&+N1f@cvirL8H7)C=KTN2F z6BFGZw?xXmRFu%+$dw_G-u7zy?r*PE9y4u!55Y6->tn~lX?pPCeLR>=n=*q+IpEB_9uAd-p}HFrhV_rp=P(<7k*fg z*)=)jcbkJvZxd4umyk#&@o zHxb!#M_w`W(!F_kEulW&65nE9eIRs0Zu;x)Zxvr%{UW(-NDhR)mqR7)P|&SkDYuv8 z=10fU?5-&O3r3V|+ILj$y%6t1mz(}9%*&x8kqR)?kNss^xi7pz3515^w!@51US^j% zA_vhJXnWHuH}%V*e)!5si}KT2;@s`9So~J;@zt{FzIWwtv)k;4qw=w`c4MKeHf`ud zpM}BD2Dh1KqCGMbmi(1l-TH0i{`Qq_z1*Jc4m2J0wGF}FnZ4Bo*8}X$dEu33^(Lnm zKD>f)=zYqE$dFm1!OG7z4aw-UVx>GSE;olyZPR$U?M)ei%kK6q_ucJV;k)PJ

sO zSFvq3dw9wtkT>yxeUcgw{+k&FvG0-wKugH7_80;ds`&_LT~ z!@Z+%aAIcU+7}{R0fg&yFoE!6T($;I3dOl2b1$^;C>=$V`s7d_kCMzd(F8(sdV+V% zaBn&d-(~Vx9a$YP-FKt-Ekx*O@o^qFR}g`7A#l0hVHNq^GmgT|{BY%Q%a6Q|{(P0E zw-x!qezzhwohTRxhPQr*&DO6$}ueD$i`X6bxO7Ja?Yw z!j-q+Q0zwBy*sRMug^5;9q!|xmD&q)adCOMFkcJL(8q;N&3}%AkEg6kc1K(o5X6$* z{?Iu&bUEh3!tWySXhGzGVEP9>7h;gDOCw>jZ>$UpZY9n5VoQnaOKDm6-#!5JBFRIk8i@>RGuphe3P>l zrqbI}b4n##HlqWzL#P)uOe>P4ju6%85YeP=&JAzFT5n{CvWxCc+i#Ji1K(iLzs_HB z=uBk8Ioeq?+qx7Dku&FFJHl1eA{*(;B8TDE2oo$?zaW$6=b9!nk%w^A%PW2)xdBao zpNhuP#b)X%wx%pGVS_my3|+t;bC8Y~FV%PkY3l8_8ScW30dgtNQr+$QS%gxi9Y`(% zrfQcM>G(8HYC0}F!LV)$NOX9Si6_9_ z&4x3ST2_{@>of*zI!(1@1=i<3MmDwGVB1Q4;p*>$p|9oel>HPg%hniAQ&(9=-L^zb zb_i0q@>Vs25sUkx49w*G1@cn8Uig*-!&Se+#hov_lYBe8>Z|jGuGhojcEF2*1vjwr z^pX2dbvw(?>ZviQ;}!4otfl{bMd^cw2SEox&Bu^SIR4DX73Fd8(g{Twy6(gQmGLq+)jwDqK-41;!k1btkDhX)iTA9UlNuQLK&}#o`2bfU*mh)R$rx-iFh8&@ z0^>v5&Xa<6RA;ac=%wnpy8Vc^fo@b!%sG>2tne8ntI4S6c&+pz8b1GFgVY1O z5GPVSSHMs-vQf_s4FGQj9yP>cIoqhO06q--)i3D3=aj`4VhMOI(8!#r@r|g?xJVP_ zpT_s2y7v-2B~Og!Yh;*La}r%p&BqET8KTQ_R(ufE)*(s_Opo7=YX1-|49qlqfa)lg zkgj_{(qye6`rQaUFBxiz*b7uy{B`>^RSRQW>J3W+LSHwQ21$A?NU?&x_Oyc8txz0vU*O_Uc&UMq9Q8Re0B164X(_coD z>StqHdZ6BhxrgfSWdBTW)t46xi-o&Z$R{BRW`xY#7&D;KRI)72u%@ETE8-d5Ina0q zJ+Sz1!H#JyfxNBdAz0%&t?4ShNlfn%fj5fv5M9s^c|zdQ6jeU9Tsj3lf2xW{Gac18 z1U@X}qbmdWrz$>E8XT`G>q^kmNEK+eVcwY4M)e`=f#*QVn;>p-8 z_+%P!i{nKnZ2m~#{laD}--A)z_5AJFCS<(XsxJS3hnL4GyTQhO8I^fO$aEE`Z3#l= z5bvFxq(>WUj`NVQXdIHhQI(0kN4SL+9TvO=W0brq4mMi&0U8a1OXWq(rR*4RY#0s|sDbaWQ|X5#>e&Q5485LzCxEVr=@JRcLiLS{Iv`^U>2n(m*i_;+2m zYh@#24fN=$B8v;{yu|23)C-i~vUrKn+lj3%vh)cwM!U$jy2udQkR*@XjO`r1F@!+@suL>nAFg Ij!8TJ59N6`761SM diff --git a/examples/more/11_billion_lognormals_paralell/example b/examples/more/11_billion_lognormals_paralell/example index bcec14e878471f835691da6dc667dec004582bff..38dbe7099b67cc042bce31c7a8d3f571c4f474ea 100755 GIT binary patch delta 6163 zcmZ`-33OCdn!dLx6{-TMC0kWx-xmm3AOWJ%R*@8W87mMV5i$}8LLewAplNY|1cQBe z6G{tzr#qb1X>@GC>2?T0PlK&vqO_#dkqWrr(h$I

_hRVNiVY-S=M6X?yyfQ}4U? z`gx9A)uLEglV6`}U$;mWJ_Kt6}>GrIugkYmHx%gO_>>Em|vr z%&xULAX-%GwKi+{TeKUswu?4%r^Bvm*>x@ZzUTOjJo_IRGu@aODaN=YA@}~`zMlK( z@ZGPjd3o1wq7n+H?Os6-8VeKM=;PWz*k-jyHytzcaK-_bHtDYcqh{7qFWXlms{qGocSt8Ch9NT96fXD8Io zt#4R*>$3IhSGTRF*P|aU@Yl_%UOJ^@N=YTFjnu1{s#Z}_rd7&I%4prV%Fc1jggF}3 z6*L14%%aZO!eVrZn3zGGoLKNO{5q0XBNi4m9m5cuy#410fQeO$6+q$e&;}GT4}PJX z{3r&0b98-Au4qTIMVxi2N})nQM6rd}97M7Gx&r`vT!@WurGmaAH$mIWw7VKZWzPH(0Q<_ zF%x39j$vadEyhWHu)SkgJJo}I5bW+TY#eQjak}+ws1E(W7-=Fs51Wr+GdPBI(w}3T z+_jI7|3lPc_H46ZE@Ky!JmbEJ_Um|JyKr{#?A{*~CHRdk{R$)-=j_|z7|$zEos7L_ z%cx;Y7v=q^o%W-4BK5{q@DTk^oGV2sX6%3n=SABRQ}$%W!j+1mNb-g79goH5H_gsr zObWyv$rdoP9U>+1AwOfIK{TI3MGBan7EpEho>8Y!L`5Pe`Dg0Fm-H{md3+=FB|q+Bd5FYAT?XNHaqN{` zfp*iCTw0ux&tIkPlx%)4J)4qYT?kP)?k|c0r>6OIEG36eqf1aKp!C!WS<|uXkQ^6X z8c|p1rDO!<4g4~ACP)B+WkFk%rC#TLmD^}?Y(qW zexrMUOZ+>j*S05ACm)suhK-VpMfBSC9PtKf760-#{Cv>gQ*SOBstK%9>H=$u2h4%l zO5LUR{JbCf(NdshoJSbh|0xjlEqX(C)a1HWs;N%F+&PZ3&!1D2?$>$w(X+`&6I%vd z$W6B?ApP=bzxwD|utCHLil;l$@q@IerLUm9bgXMq0 zybjC0C+e1qsYXlktJ3DvYy>;0Xh@RZkgDFn_Sk$*oXS%7w%p6&d<5C?WuAhnRCEZN z#`f^1U`y43)ybcQ`@c{W-^0qL8@++0O1(TPb-%{N^7{EVSc5Il#RRS=LqT4rFWA%4 zyRy!9=iB9fDnBX(I(A~aHGHoqHS)#-D{X5A-3 zQfJ?hDFxcHkKf{5>}~Nb@h)w7O^c7z?T@<5&e{={@PV_6LW2cGF)299k(8CkT=ZQ* zzTudYatb9b)0)C5+)BSHbmN9TQskzig_GjmcZ&0DQ{p(6YBTv2C)tX!42P0vN>MT2 zL`#dZ4R$08?YY8qpt8SRaoC8Ee}a@Na`N&Aa61x9s(F7+1oE& z9}vnNLn5q)L|75amuyM!hwzGEBE)+yE6QQt0r7`G4Q)BRdaF)0Z<^r^EL5cBZx(%6 z7l?XG3N$)+T_E)xJvOqh3wyQ~QN{SWunI`ZezR0{yyKIVwhMnkh^rTzvhZx{!FZAZ@3?Wf_8mxjjWSm zrHlVJybA)q{JB{A-f+yPx)xNMf`6M+@yMy;IP+c|lUCs>80dLVCB=FCK58t!iPzK4 z;-!Z3pAersWm?rIs?SDoRy(3{g@s#k6{IPUQ^T zurR{;0-XWWaB_xk*KD;zv{8t(dtlKUa5fP3)4=4Ggb@d02S;(5{I_^W^2zW^r)f&b z?4-va2;X=na?~`T77m@JM@n3l5{NMG#B|zI@{ob-G_{lrKiFun^uY;1MDwR{kXAlo zr-rgb>!Ua!%8z25n7%HjE-Vxv+uxv^Ubu`@%!P*_ne3;CCdQfOkV6?g-% zAJ_=Y#MQJ0*ah4I90opNx)F|XAs+`3x}Yc%qT%?WqC5!9{01EWgTQxyY!n@cHgJac zpZu+&bkV6<1-y_f)hWDz@~U%ug>Pe>AdD38=ldS~GQoSWj*%jCw&Axsgg<^di36GK z#IJ$^)hUU+klZ>(5<-2HUWO!$*xWuw!r-@t&R3@x79FFns*@hUZS%|>uR^48?=bJSK-YDoQ%eqNK#{q(ze{r*mS|A|txU;Y;Dq&}83DrmYBO8g2CDXJ3f1&hT2xyw<{5*34N}*DR}jmeuSV z&m@=~huLEKqp$k9V&Mc)?nBf!h*A5j_MaJivC*?0HO_w|Dqz|c-964&&0{8vGuPsE zCl@M>&}XOV*4f#n2T=`^JUgRPIC=)H5YlBK+-r`iW20w3Y7~ANR7X<{!jTt_#4O(t zj*w3H)2bE`voN?+a0>-2u33Y zA{Mi)<{3f-{0*PePiv<|Z$Y*1b9$k+B>DiVFP){&YHy1cNnCu6ZkF<+MgFc8)$Eu| zn0BGL{~Z0Nlpg&Is_Z-+m9C5a1l5M~6jwLPQj9d+fV4K@t>=u<5_x+Jk)ytp?1;2z?@awPTu+P)NhC)&)i<#x^HN128ZLX8=O$cnwMy_uo0ls-4}Vs)jX+B zBOA}w(!6=K)Hg55XhUl4g=RnQmLC@*bFf}IHE$_r=+H@?`AJ46v(viyPJEz{=iiGb zUr@?hseFOc9US}W2v;Hw2BbiUmO%%ThfZX%B0U9B;S5`p1{N$$Rud0Qn#fUc(0)+S>?6kPSmsidcye!_o2r<$fa`YJS~cHM)Eyf>#L+7VEDt4`@K4HBn&HXHLLm6VkIJ@_FJZo$t@r^wk}U>I)HG>_U{thB~D4_7aU(Hx;U9 zbiNO-$D*iv2WY_N!&oP>vLuyfdHQmTPh;vzlxn;O4n)bJWec6cW%>7Tb-IH5`+_&kewwnSF3KK!;`xHT0P2r zI{!<3*&^Rh_1LlB==vVv;B^y`{jAH1-p$$D_9Jfpwp4$!gQSdzUZc zd@X&jqSP@1R-#03Gr8MJ9WUy~egrG18SIG8MzEiDw3S*S$9o?QwN1ZvZ$$2oVREnR zG&kshC+|up{eGo`%&Y8ld}W!d%b|52!N?ydRdM<%ha(c%2);|rt4b}AyRDbDuR4r4 zHMf^qB41P)ZEv4WTieU%a=V=d@pG*%yLQWE&eb{`rsmZOKIApuHr--htZ_4G$8FQ` KS~PT9!T$k~Gh)yH delta 5917 zcmZ`-3sh8BmVLL1f+{}sL5ivZq)I5TP_#e+(bkrNLS9V@@dJJmKNu7>+G*3liCIg9 zgrp~LNM+Dtr^o4}+fMiD*fX6`hshe9BnF}e%-9A^>uAR){$eE>HEI%!m^b^r_sV7^ zYcA`(eeXW!o_pUp=YEQvC)wZ$*6FlaM+i!(P(di)Qt-M-NYYwcPWw&ve6?XG8}kQN znbcMc1*_U-fOtH{TD5Il{5{mGZ7V&)95$z>< za<*7_x%rLiixWqGeze@Sd+RG@v{CP~JE0bvh#)+pbaK)@{b=?T+2R~5kIw5I>>TR; zt@Uw~7MDir;)>W&`fZ$_jZlOKxZ+kr5xb)FxURhS&@zLc8Vyd`X=r2z6)uiO#qXzU z@y}W6YG*Ai8DAuDEFND(k0-cjd&0!JI6;p;17?u`)Coqs;UK{zs1iO`ov;EN_hAv9 z{@naH0rD~U2+mb_dD|dN^J5H$KG8BgT>p(3Y!Zt;oAk5M9 z(^jue;UQYAwby5?Mkw_U?6tUfTPLj4>^%seVqFk!@Y$33k(IV--uJktT-= zBRnWKm#S5s6(gwDtFgAfw5*?JB zn4Gd<7;BdbVH6NJ4yFt;pA43%g^OJ!LWr5n*r%Fu{P_hmV{97Dcu7)SDm0_LTH zw3+NOZAi;w@6xZ+*08yhX!o%RG|}$W*~ijC`)h0&4cT912k2kY$Fkqh`{`cxEL}}M z%ZNU3jMe?rN4@E}Yz}2QJ57g2D<7V6nEunbh=s}K^0Bcr#g(T^8BNPv`|OWmixP|b zZ&_?Xukn^;VM+)D%}z_Bs*K5OfHq|mvbX48GxFH0)St1<>B&O?o^8Xfa?7$PB?GNn z7ONp6k2YrJvkUaQ%pCShdOy=`e#(pQOZ{4wVbt(5x}BNJ=8+>SpViQhvu=!w40SYfWU#d z7$uVIZVL(Ch4^ZtqOnf%a}zeEc&XQbNrta_41RESPRsx)7GG zi&Ag&OA6O824?&Alee@A52-xI zXb4I7#inn!ex^C^>Q@s<~VjVUEtcJ+!qSK11qBD>ld?SL@Uey~Dp>KCPcILl4#qtjaB zydAJue7N{{vuJtz&tjy-YYoCvKE7&(WVzY0wg+PthNZP$D^EseG!>SDlQ(*en!qScLkhy1M@Hjy&o$*azGs#lm(v=KR#TX}57K}};!J&EEvf2I=5Scj6@1)j(QMwWby;e}juG5DF zIl7DK^ocKnQpPxR<@d;1;M8T`g8^?V4+-~w(|3V}Kz&FWf~)lna|4k@UJGKgAhsfT zz9TqsT5y71vA8>W^$L%`rFU^~2?0y!45A{PYQK21XD|*<%!>XGZ z9ym`Jf%716d3Ujlg5IgUa5FzVdE9)_-(bAJ4f3RrA4gQ3ai)?W={Q-1POo(ne)!=KoYxObPO!@B{?m?PZ9Y3cOV z*t|Hq9h=n7f;>H(LrH~h-3MuK^SBks-lzw2f@ZQeC|wYx>oGSL-i^jXg5ZOJ2c*lI z8g%PriTPDMjo;-5LeS=`Sd zJJm}>V176DfPFygFKHw~@%bUQ)s4P2ix88wWZxyf~xDi-{{dOC$6Zj|KP2fS` zESxQ84AWr{$B+|u(ux~6j)0z9vivr%6Bq>ww`DmE_tJI1a-eVr6X0!NH=VB>&5UHK z%48LkSCw1sJPJQSDOUIexdo3Ed=dN@D_rMAJTLU)W~Pz+*UAn&X%wl-v~Pgq(P5H) z)c->7K+=cUtQjT|VAo4uRAuVQKceeZ>EsElC3(E zJxAlJA2O^$5KXkHIzQ)JqPaX^E((}^m1a++*;#3}R+^20Btb;CQ|MMmhpMX{=66Uh zqTGh4Pf}-X{U;stU(%yrB<>-z??nUb{5(EjE^ki=n%kIO&tN1sZ$bT%=2^A1*`=LNs0R9a42HpWv(TQdwH?$7C z7rCw&;<21zHkN~b0sPuesjQ|f{vfIYpVH52#>Wq$dM!$SsCg`&FM>r^DP7Eu=lQ>b zS920Q=-Q3urK|L~m>qu!)uL;(Rh$y%7*;h}w~KS`%+{WhQW!-%_@mp*dMblb|ce;V-R z#LET>&8%a6w0)+VZKHiNSK_DPsJdNUr|O&x=DwWe06l89U2lScQL`Pc4Mw%&@V6fS zr6{M_vuju*?SZZZdA$Lxh#O&}0=n(wfvGDC->6Uuk?%p~}aW(Hk1yhM%{* zC@TQSj}va+qw&g$0e@BH#|T#3t$4}P2EMCx=p3)|6=?I4Og-}*EQ_|xcewoUnBpnE z=1>e;-%3Si8Gje^4MlN`M^RD!Q^IST!CU!CXjJ*wyMy;~?bLb=@H-evf@XOyAJ=dM zQV(}K`sH}V>6n9i>4}Ao)}L$A0WB`OwZ6}3 z4zOx#$glC+H2r=p;7oJOZ#BO0dy{)p<8NvoA3K1$!CQq4N_g1jI-=?9(ANA)ZLDL; z{IA9=6sWXv0HFG4wdq`fwNaxrD5ai<9W2D(BbR6v zcGy*6?2!Hmcs0oXz-{50jd$%HO}j$-o)wzKw=}*pTP3PBzE|V>i&TQ2p1k}o_#B=> zBX4UO16t47s)C@yey*%-_9#y;Qz~!s71YHRjn;KdU$V;3wX>;_u?1vW;kS7p<|T$t zQV8reZL^Ny1d_n^X>1I4)8Q3-SNpxz$*qg`1vecF>h(o2e0( zbY2>Xt(-)I%~oUV!lbCITxqk#!WzRBB(3zDVp|b5+LgW7*d){7BPy3qhaa27vWcx3{eLlX2?qcG diff --git a/examples/more/12_time_to_botec_parallel/example b/examples/more/12_time_to_botec_parallel/example index 8430ff07173a3d5768ff9dc3248047a2c9ab1bc4..5633d7cefc83e3792c972c959134d0a31ac0d5a8 100755 GIT binary patch delta 6388 zcmZ`-4Ompwy54Jka0Y>yL52ZDW{^L@AAS;*(wY$lH#s0GD4s+y1tIN*J<`uPC2*+o zxDU(;&)0Jwe4e@&>)ifs_lDs;H_M7CZ&BxT1Wy^JC8*U{l&DnXPy4=W?>$DId)M>K ze%E@xZ+&a6@B7wTdr$YrY~W+o85b?Y2ug9QAXvBT$$G|IK2>d&?>U}r{wPCjd_*>u z?ddbCtq=-UwaoxwyjrTZh3a3TRj;<=sFgWvR!z&QX<2)pXScDL|6gZ8>n!LgT)!da zh32H0V$AlnwBxCJmdL-k?0xpWsk=g*C!&hDkH|zL45|((f&#Y%Tu1CWHV&5 zV>F_7uxH6*SVqJ320E*cp>9JQb16ClG-z1H#uc3_w8@xFHO4sh7v82$V+|WrYTb7k z*i725i=pJOXCjuZC@tT3=caq_ZK%DM-U)j&!&kDjaAV%Qym|S;vQWK1P}Jtn%TX)2 z^Kxj%l>Fu?f)T6KD?T&J*hwd^xhTT~(>=%#(9!gwtU6;W`b zs=;$CimsU)xmsU^o|q)%Nf0WFG=2&QMsv*$T5pbs6eqEIss`HuwrUa^Mt-n|z}8P< zP4qh0QLqn8V#Dbhu!-Rjk-I0cku)RRK|ZiulUOU2f_(_=bCcL;dN|w>KP@zA;471) zcKQ$WIf*{~lUN6R8t!0my=>}hhCfu@IxLRbk0!z9elkG1r7liRn z(ZA$4Dx%+bltaP9PP^D{`~$B)+PBjz4_llquq(W+A@rYD^z)yhRg^y886mbWDMlms{8d>FZo!c67?;pXF$D#N*@`{Y4;E|W)hs@7tC8cm zkB!_*EiiIjKB~$8O3C&*_FuHyp2i-d|FmyoDU=X93#UwBY^v__OlpXIise#-<4H#J zf@3zjhmJW?*($o?_>66)PvU0lZp)yL9Vs|HX2*A$_ogcji`+|xmyI2#g}zDg*p<`+0E3OIFoIqV~NhFWe^2VkIOQQ8kdrOMhZ)(j2Y?d zU#V=y`Q(?9dCzr2e8@|v*I8!$9d%4(-COt>9kd}SmsL||l9T-#^(3uI`pU(7*nFwh zi`fvxp5*t@AYoAG#9Q{@%r|*Y&KBE~l)36K_vF(OlGiPh9Zm zs4Pow2irLWilpG)AFfF66bxEAP9hwZm;S~E{f4N5fW?0h?RIaXZ*xFwf7t44uN8dK z+k3^pnJ~`}*QEE`0!(CA#4gKA10~YCVqjP=N^qga^3oBHf0^vt{JxL%``SxQnS(|C z9de0(`<#HuUo4mWaLmX0pdTjsi>A1FC+qEg!*>`BIaQPzSEpPsuLoqPCeS#EoW z_^Uy(N> zO?UAeZO_PIee`5TMsuaqkL2~N^++G@_52`v)_5vC6|2RzQBf-GDv_>x!g@U#YWf4@lLAeA3EG( zQvJlPg+=YPUE*f%6JmR5r>AX{c`yxsVxWW_F7t00F!QDYwriodZ;a42W ze#n2#L9;W{*>YNyS;81Sk(tM$=tyQf?tM8co^)BWqu-3>yMLGcOCa)i?z6FUTUIh# zOq;UivO0P!Yo_k&7CH}+@wZKT;7VOwAgcS2@ffq3UK9g85)O5Daa{fIy+l#Af zm%SHPjZYfC=&@uS;StzI>*l2Eu0~VqoD5y*Zu<8*PTkAV2toSx%RcD~?#`}YALaz* z(yk&&Be|pJ{1|)|0-y9H_k36IlQWtYR4Y4wnNQP@PeVBF-kOwBLGxKz)^eUU%uQnt z(j#-1vl%onccbq0Gn6|oZ-H60S;3EKn<1532!3~387G3b25}(w<8q9wvGI(m;zz07 zM|S{eH%p+IS)lV z0NH)fkmlcKp_W{G)csL7xQ@bcIJ-_n(bKu>SPfmvO$y(H_dn=G2BIh}@4uOeKFvEg zbqz?hdj;*gDL49Nyde1e#!`SX!JwJW-ZVx<`HRV#Kc5cdTj}ilWZX#i<=?7%?gafg zKTCJ@Gdi8WAnfo7%=k7+T96fc_!Hz++cmZ;-{bfGoBx^)xtFkDj5Eiof!B*82QQp2iL8SyLh%jP9|3j({{$QZ9_EUtWO)eK4IBl!hA|-=3pFFMoCxehCe;Ibki-Xo<=ChASP%xj z!~noy9FJANF`UaSz;fKZJ-`;=VIy8Whfz5R!u^dbj|01b5&V7pTUky8_5f>uW4Lb~ z2M%14Wdq*4-FUso0rmjb16|)?0Nw`n@%Hz!Y$97>2J5GS!s)D>DhpHAO?)8B{7eZI z{<^;tzcKJ`_&Zd%P6vJ>;(?eeg>&8b6@f!8Dur_g@N?5(;j~O2B%u!lF5#~gRp4+l zC?yBaG5iitWYJA{>Gc#%o6!Nek&i4!xpe!(qfE=DDql?%;96)0G)^KH(o~Hc-Jq%w zhYpW`8>4+i({+ZA=#8QTHj9oIrLafnT2VGTKy$rLc9u%LPJ1e{w-z0E;nU&?)G%j9jKEj882Vkv#0=DV;bATZcL3a4PTUja+8kwCr3iTXUj3y&;ak8LA&o0}2Ob?U z%ES$If$spX7!onn;waN1@IBx^q)2gL*eGgZkZu>}g}IQ@6<^UV@vg8=R1c5Rw_+gUZp_UR%Rv7s%g}xGmv{l7pv(VT;XIee4*R{h2)iXy&1WfywVZh6Z+cL zOmWZ)Q-wxaxpEoxtc=xLkbL{0*@v6y#-bN&LO+eH+{gqB=pgs1SiM8A(vDRQ{D&f~ zx*wBbs~tAMuJ#P=!wmAQb|mvC=#T(8nl$7Lp0b=Tr%kJ~vG4Y*cEs24P);fjq0V)> zDF7W4U4Tx=(IK@DQDJ;&O0L)#pOdEYGkEf%ECQ;d?5)UVhv>bEWw2wbbi{}LkW%#o zVY||U+woNX9Fmaq&(vD!#QXZb%4G>Hi7LyFXkIR%XEa~Q0@AIym7O5ZnuWIEd{tPl zg0PRK8LLp;+a!gc^s+C?_GR z+#`x7_@Rp8#(=zRrNCN8?){M3bkl@xkIIIgzYh%q=kubRyuc@UFT@Pb_#>K5U$UYi z+@iVXIIXO5urCz*dhBpMdJDeYc~K59;56|6*SHz9zseE6K#|4^rW)So=Tb-`RgUI0 zTnej#Ta}=xlv-5ySb{d6`5J$3h)+?8IhqGrHNNqNwAiEZEt-o%u76SGqlNN?+JM>s zhm>gzXx%#b1%VO@z)bK~Awh_%QRwTB5lz2ai*S!7IixTJSaat-Vr1>LsflUX`Cv;=dXK4C;+Ih2B8(=g$&;(DPMv zx>S`~O*2;Ghn*_n)%ckq{XCTz(xRP5BN(?#ljgWo=}N6vHQClX*y}uJ&39`$jlCu7 zx9O56|FP_LD=qwOENraZvT5fgq4A#kY2TeOy+=2c8GD^uHZj&nt+m;9*v!g@d452ZNboKMhp^Ff2ef96M=ZH0An?wH)3slgska8MwsJp>x4xP$Y oI@qxA`o-v4p$;}o>@FF11>3gJ+_+xlTFHafg*(+&0+#OlUx4VcH2?qr delta 6138 zcmZ`-4RlmRmVVVgNq2twhotH55J-n~LJ|Vqf&3z98anWL>4X3YKLQd=2t-hWh7op= zgbBFxLXUxqGjhf`6K8ft-BE#!b5_pQsYPiskQh9M3Z-pWav#+yZ3}H;cB?~`a;Q>{&ezyOZ1n%v`IbiMd`m-d+DDRi zMv{*&`fcXy3;$N#wjy(D#=_pDCA2}CZF4{@IuSwGBzJPqe(e}`gRD9`%cRe>c6JtZ z4?D^cYSMYxF?t#8B$;=RqdWCpc1iAVRetZIWqJ?Q>K)WuucO!Xi`gL=*HL=RyEG89 z**vSFYH7iEufS>kcrQH>>!jVW6KClJEq;1TBoIPGdK^0q5cY}>Jnj>%#Ri3sPf5; zjfvb#OVsw-lt!a~8AbIqJ9%3ptWfpc^`Wd?5W134;g2QiT$RyErw!9s9E~*EofzS6 z8CQf?!Vb3&M5ts2|Wij16#a z`>*%4|6I|z-Wt#7(6AJ?kO`N#arm>64_%HANX*Eb+b3oJ@HUJjr%qrXYOVj^_8Mh++K@C#AQV zZQ?flo4mfItJx@>GpDt3s~uD+)7fs^pCubCaX(#jE@qR-my)d+kwvRg-0Tjur~J2VP9~O; z-#cWs`rU>h^TNbZ0JO=LOizy}Wxe#qh&=Wu`eZ~V3-3(b<#-WRHvha8>1xQlI8ozP zR;6*%>#14nVfrw2H2YWjE;Y@x0)mnA-%1j6>K~+4+X`m2`JQHpyOn@EqjKW&Me8jz&W!N~KRbZ;wn?7sP9 zX`gxfF?iFwr-${0lMQHx_i*pltxXNqb+<*Bxb0a>kaYz^2ZP&|3u5=Vn9xulbW`m9 zQfuDR*VfI%us^m;?7k4=Gw(SrhML_5U-%hGWIu`_zuOY5dq1Zy$c_cKrB)dH;Wbj= z=BYq<^)^SD5aP)1cC^!AW~KFDTNleeaXA}tq=W~}${J-pdqt9hq4UAeRWWoV z(oGw(&Zew!3POGtc0~s&k?UVclDthK#w)aTOr~boSM<^tFFQvcj2Y7s>haC@&GXd+ zLU+WvA9mlAeAP8`#kK)45c)|B6}Uq|x1nC#R*;!3&!*X3lK&m%lwjU-MC`s43?4Tx`-O6{&Rylt&C?2%){W5K0+i?Guy#Pim?ib% zL|x`+zO=Q&#kNBt1Q#vwE%q((J>pw>`4gxK%h`5mbd^9rWv*EcOl^ z$O*7Dl#n}tRnkMbPEEmWY6A1A+_A$vcAo1t+UA3z&p5lC_T;9s*Qqae96Lo)?r6;- z8zttZ(3G)uP05c`mg~@r`VsxzE!-j8`gK3~YJAm!&}|r6TQk=eUhFo*GYg`-kw-gR zqf=eucZ>O5k$1l2_P_WZ&O*Uw4xE8cLj7$Q2D@+RV8YbMufdn2ApmDRf<_>`h09jJ zL?N9!a^=ew?xQ2{QI8nv;XV=>Cz?QLMpy8G$?mmhV7XN8slyEc^AmUSkHSAk@=tKL zxq@(;3vSE&9=pizo_qvG=I1f@T6W|~jOQyov(e)V``waQ_hC+dFudU-BwxP$AbQK6CEhxP@=iS9w{w zFfMe|pPQ+LZRmk1o1{`=E2n?|BqACX2 zY93gys~jeBlq4Za79brR_(zx=jQk8;8gQJ^)p40@Hzkjs$--1SeyL{MMd}_up=kXD zStYc|L-6jAL#7)wtSj;-r7x=T z9Kll3^Md!GtUI!uHhGpLuY|7s-{MGom%qf&*+{~98uCmZ9tTFG<$N?LyntH7a-J%^ z4r38q1(mj6(v#kwYmzK<-AkH{X4;y+A;AFN&xV0p7-J#J1e+<=j4X2^7`lW+v&u{p zCoIH)5S}n9?i%hukV~9xraw>kFZLomK5>8imjIRS7b(9Wf7tstyn|u=XCU$fBOz)o z7(|j@Ug*`#I7h!KoI>@5lgUz4Kqm_=R9%#+S$&qCDk_R8ID;AQp*M?ihxtcA^$~d}OitNP zdO$ls&w%!xk|g;!m7fzf(&_PgL z46cDyI5AUk$K4BB0BZRfM-pfgXg#RwDmsGJ4ocEV(6Z~u-MIJe1#JR#;U4f3Xgg>Z zZ{NTK3}}OjWSusKy-KCiMzAufnU=9I@_{5pZ}{AK{6gN$R|VY5?XMOtvmH-1{DEt| zTsYQ&#|;eeC>M^sg~vsG(~@%Xz`>y@7tT3@rvw<%xLmw=58~NHiT;VqLOy@e$kpKM z`N*QlrP&u}GR%mVzd@>j)zTVB`~|U)sYrM=eToGCSlbM&mtOXd&|Ex8@A^}iflm7~ zSUuhGd)O`-SDuDXt%~wAn+_4Y936P!)8YYEOPk7*hV$57FXMv1Rc;68)~ECzC+|!c`vjah=*cjl9uN+Q%#OvXs4Q7 zVckqq_IAC`Xe!L5K zGw>QN&)q4S3|vn?@V`XmF)___lc5CoAaEV_$zComFP1);ksFhT?Xm6>#fjr%YEj*M znI04$i|Ix6+bi^@n5DmsY6-m|X2iMBF&mp=!vMtuM#b=b(=$N1fl2!9s5+=IFwH1$ z8f+$g=j`|-t+9*G2&I*b6(05ql~$x#ONtdN8oLH+tVlzAh9Kdh{ir`przYl8lfP4 zw%xf7+x7mU#os6;G<)_8R!jRJYZjV7?amGyY4;bcV1?}GvzKBA_~zL8#+qZ(+OhsM zXk}Aq&NDb%*j#(yoVxhv_T}EzU{4IHc+>#gI~=#*j=)P4=dsUmFD;wv!8kkS+MQ); zUs({Z4XR8lb;~l>AQLruROTcqOt2y7)2o*{Etv{#v_43p2ILkS0QQUJ%~i% zn^$bDDpZ&&6(TIAm*?5>onxJ6r;d3#8}Gos3V110C%c_*vwBI+w z?^WETT713IP0%47T7(o@@vzltL7nUDP}9U@Ri}-1JZyJ*RIUsEi0~qx9-t4(+*vBu zt6E^IEF%buWbWhOS~X6=Qmeu$Sx@PU?6|SxJ@R*|hTh={bCoKy54hsj|K+;aXZ&4p zLzQlFDPqf2X-UPq(iEUv#p99EWqVCffPU4}BY=t;=^U5i>W@4M zjq_Bws?KGLS83vwF0WtKyi90%@)_!VG`W*4t<-l`)z>n%fc7o-SY43jB}$*BYe09Y z={`y)P=15Q+M}XTx|h~8c#P2mzm8sOD874MM9+;Ly4KKw``MZm9%C&&FLU%VNriZ=?iX}uyVXHdT^CcS***d!xk|{h!rBuQe7MqnXn| pmm7=k9%R|Gl;Qd*|1k;2RQ{@B%gN*D+P;A`#u)3WMy~ou_HS=8jSNzbWjsPh|Z`9G6?EOc&Lp8$?y{4UvLUoGKCa?nr+=xN@S}s@!oRJNTV6web#FS+;8| zSZxKUU{Tu)B#2kb)wWRokJO@9+flTY*{v2$%A!eGdjE(0j3xemodvD4pr;W1-I0r? zF3L+-kUjdlrAJuH!e9M9`E2Y?dPJXQb6|{H6A`v5BRc3ceJaz@)>=E8sk}$YYRG2C z=#<{ho+p=~jD5=Mw8s#|;uVP@8U}hrk@$gD7_+It7{&giNOc+;*f6gdtr#ki_UR%i zA?P=uWedtHm;cj>2Oe14_y8RWdOX$ZnNzZSX4cHCe4#8*FBTNBysR9xlAD!7>nG&5 zP7sV(qh7I~2~;NpD{BrGLNpFvm`+(7H+T-7mMLrDi(sJ;)8Lr27zF66(Bz#-yd5OeF`-ov8cO4UL0EiCfkAjxQvf3DQU)*y4Vr?;wQIu! zVS;dv)>bE^zcrx^4n9Gh(4y%JgoKGJLvh+vYO3c`L*KgQ1_Gr>!zTb>G$Ytf%YsA0#Br#e>Va+tS~m_2A|KHGK-Y{zP4ouP zQJ@>gp&@huXiP|G*tT(K7{!Lz$qTe=9BQF*ppO9EI}V*hn?vl5h`^*l`^Ir?^gHzV z41EU2p?3Ofh@D0CvWb5*?6f4BbPELGlANsX&9Ka7wl!SYrE~j!l;zIL=BeL+T z+d7fup*jPb&m31O2pTK-C+*muv~AQi$yZ$?c*=emw$S? zAo!DIS%!$e9^;C>(xm1~W=mKl#YV)k*>qb(Gqci*5oHmZZptz^rAa151$q}!P-JCo zK@wLL_SQ5`?kIv1*|u=LAYAE0a}z3}&-ef*#n(63#13N?uRq?uAy^(U$F*S|!U2s! z-lNFp&!HD0W0;W!Bd4Yt0SPUcwPO1nr{|$6N?&XU6+74yD3b!SrPsi+M079EO8V$aa|sLxq1z30f(J()s>qo%P3 zD0)g~$hl;MhxzWXbIJ7kDNEVCWQ|T^^J#W;GMhmS(XZPc<*vvb!m{9{OXekEYXMNz zU79wwmsodNJXl1m1DUaXw-R>ag@jsAC>W-o|6R zpDN;VSu(Z7#p$lb)6;QPQ(uYaU98?D%O!K&fPcOkTT0Us`>$k)FJ);|8~;bPi>wJ# z*rwj;32*2b(bq`}*esfz{Ap`x$Nf?M)8}PbI^chblYvsn-+k=|=}_^odHZJw6!Xg; zuwkDeym-LudkyUlcZ_%CfY`Cw;_YY@ywZVgao|jl>)K7}z4ienvLD1Q^UFgX>99C3 zq8BBY&}Dx4Lzk~i_O5)-%Lct2<)-xEQr~*n$fNS=n*^V9HBNfn%1Y<+362rKPskN`u%AuEj3t<8IeA*|o@3 z>#C_1+ebyIyvrlq6s49y;wjW^Jx?Xk}CU^|8SV=S`rYE<$J3H#Tnmp$FKFEDH_lW3g*@JywiG5ru zZSHF_-#Z}H@ApbS-($AA_xkrj?``$Fw-lCkGC@GUCUhcuDe~!>kp{z z5!=0n>%ut;yyEZrN|wo=o*ul^uIz^V2%3_S$|7h^hDZ0VjeHroES%oTaNwSCG1Ebp zGBPLGC-bDd#a0H24KzcxQFdkmGf-9L4BeYHYRgQ}^+uxW6nZ1muDkv{^=CxsKL4J^ zGLu?sRR_Xz++Qnybk%qySseIEUky{5;mS2wjk^=C@@=p*T&XTbl-z^4{r*i~D28{L zJtsZV!S*v_-r_6&*L?t6&U2p{G@tUDnc}=wQEKe+8=wWI>Jp^^(WnSXk8gxI5JqkO zUnNpbK+vB3j?>HmNTG&%XRx;Z}8?xpjNB3tf*S&w560&C&I#iuFelUh1iEHp1RV5>c2-kp4QHu`K;3)LHsGI5 zr?TrKbD-?CD>(e$Idmvo5FVTaX8s4^)I8G`_91STxkq3)B(GVtbLL&FnJ&zn8k`Os zVqp%7oYlwb=>1u*g}xLT==@?R?aa%Wv~wa{=rjH|h%!CDgO28nQC`9AI}7sYxdICv z%}>CQ(^PP$uJ052O+kk4#^-dTpdjezCz$R63NOsC9X)}tYQM?0Ij5Q}ZoutN!VbUy7Ib!W|P{aT;{3Z6C@qzgu;J4uK90$+8p2Yx5CV-iUU? zN0=z+2&jeQM}dQmfNlpJ`-?2^1#LJc%lkn)KbGa=p#8^X`3k6jiStjgwohd_4|L>n zSzZO2b5fQc)8m7n6P4%q<{rUBK%Jm}2JHtO;W(n?258P%Y;GijO6fLedIoj-wvz>(_ z8X?aMPi@QKBq!~2N7(NDOqMq(xFB$ikAZWXPPn7l4Z7-{ZybTAV#z%>ga#ir}1A$v3xTHm>FZd@7jWG9EjEJKXYw&K(vs=Sls-Um1MH?LqAm^d&4LbOK+O zz>V=Liem^_ zxuA?>+s?KaCMf$6!>?fjrM{j%e_)#*b;Uj4(u54OVPXzER6%Xv3^BSI$qvA@?qZ)#p%jY$et>VfiK{Z{) zGlWW>Pf(P^1zMqSYl)o| z)4n=;D^DAIp<@YZ&pb_WZ2+I90@JnitkUp?0u^7Q$#2l`X3by$Lq4hDPHoFJYVyBU zaDmE}SX+BFnKo@d2W)BtZV{#kQ4LxrjU3eEJ2j{EX!zTj6#_qIwW$b4H2DVnB;bW< zHa)508G_{}lfJBV$kCh-I75CUc9-1|f^5c3)~{{pU79*GtpGP&EpRVTm0b+M26 zyZoXi-KM#>QIq~o!-wKkz^&m%Bx1g{wpl8`FFw53fb$==5wW?NM7*Z4N)-_JMPrf@ zWP5l>23Klw4ZUnxg>Lfrf4oko(!w9y-io`|8GHY*as@-ua5QFHi_nXg0NqMUfWEG! z>Hy87ZlGft8le4jqA@!-kdk}I+EjQe*9UU`2rX%9HC1XJqpeMLy4GYRakYh_R_8>u z;a1N}fCer)ir_=5t=53g1N16&ug(q*oJV~$y!tTPL)~k#g9E>81sYycNP}x~sA#Q) qOnB|Nr`{dXyt<&k@$?a#UsrTB+1QSo6f#9Ts7j(R$)TzopctH%iID{GmXK z-io7O*V_z`gnx6j-Zn4#37Yh_ogQLNhs%(18B(t9Kd_&%{C_q0lBf^9BvOiLamL6! zAE)ep>bB(S?L#|j@>?%DCqH*Dtu^^FT@Z^eL=Ya*2DxajX$okqt#2P^Hzx+zDQ&=6?YWzNp6I8>L>KK$Y-Ia2E`jorUZK-T8*HDf-r;kp)k~U01bBtTeSXU;dVnlqopN{ zduWl-UOl44B49;veXHEOEegvGeb@b`X%_@fCMx{j9(SzKF_=LgnWwT88fkI5F~#+A zeu-Y?QISs77AJGjgBB;PwWOv=Mqe`eMEVohKZ0$zflZ`Oz#avA*9~kkrKLD2H6=A| z%?+%DrldIC@tEbaZoHv4mF`8amD5If@`hd;Jp+wTL*vdHSO>ig_ARh`ZeTO$D%dMv z`)**fXxuO-l?+RL_Go$HW_!LlWwsz(Pz#227uj!SrKrVb34$#*EC?5EqyB;R>xljv z+b{p5{pafLUpa;`+CRLqq7OEgu`cDK=#*DpD+QGlz;xt1_jI#96%lNY5&ZI%vyX&rQ0|K*+af@}+mun;ALS zZc4_eu?3)n)y4Hv`xKE^CHeDJsZz(3Bs7%yS5#G5iYfn=c$NH_lcvll7KCQWwz3a1 zO*85}${{3xW}B~Hvl@Ex&?CvmF4!D(UUOVLqnLh|Svm8KB0&gs6vf$nX!3fGGRIKT zepOso)qX~-3Vzny31wR$aa~!ceLss2-ALoI?#5d@nN`44dL?TGBPw$G*e|Ho>1Fk_ z#`!GUPC2e;M3awRaup%7oOF5FYc$OLDSMB;bQg=e3h9(n__$3u`IV~5`;^~u=6%_{$A=mX|nA))ZWXm0g@}F-V;e7+pc#dd6m~3ianr8 z?6M?>z4mC+8)FYe**npWoN9A8cE1|={zxQt&)4SLVhP`3BE&)1>*}Pz!dZ@e?L91b z_zNF`Q;%=@*_ctbb6=`zR6ZV+&r0$ET9L;(^5pfCdm`Ma@1>HDs@aO;Abvh zeR=RZtSHsC>wwgIDk+313%)SaOY-ZAqNr-sBj2qn3&j?z5&5*#zK`*jm)KXG$_hwE z+V@vVP5qMG4_oEZvtu*b61*MI7(5s}%;WrRDYnXM4`V7H-|pCs&9-}bF=t6szQ=3l zk?2w`V485nTCaIsS-4}V*DQ6UdLvB-LhYwv@0{MMu~#B&|E$>3A+s&F66-#Pb(lly z2Z)eqm!cIXR-cwIXZccTLP9}4f3?+FQu}@hf_E$mEetIREeDeU%BFE8POiX``{)3C)F;V(+(#1QAV%aFJ<(exdsiQY<#M>E zUT==rR$dJrgnteM4|BJ9qHvoBZY%f!dnoLkd;mt~7Xa=xpVEf;LKR2X`9nAqRH^B` zu>;ZA+7FP=!y^2)@O7axDwm(b^zhY@3n80h#-&KbvDIHiahTM8#v|d}LH)$w#@&va zB7}5F3D%(W-R$Z zNkR`?4+a)!Ibn!F7P*|qiKNAe7AENklLn-t*M5wXeafR4(u|XUJ{@1cwo-zBCVPfz z{7b|sCuq0-rZV}srV`q;Dfn<@wa%q_(K>`=*~jy6rGtk{1J84rB@P-9$S*Yy=M)cm z2=$_d7gJu+2cxPj5?y+JZg>OQdX=Z?{=lM)9vFV_H#nDH;SZcAO3n}+4@}Rx6CKLq zL-C~Wd(;%q5ZxMdS+3zchsw;ev?Tbj*kq#RMF3D8=jbWa_Sz%1yXq$LU$k}*P>zU?Jq8U z$W!PB1g3rk3eAhgrpzqBmchInHq<6 zzEGJUwza;is{HD+9@r1;>Q~iDoPITjRdo&8mG5D(z#gET^Y4QP_5e2l`#(_CoxsW? zs`|gc*1xOj0C3xYs(u3;#6s;RL1@HFPXzXSs;WzY_G7BL!6dW^t*AT)Vi33o=owVi zw}9J#gPezRuK?}XJref02U~Cpu;(QDfdUd~0G|YQq~->o2WQ24VB=}L5U>;Y8Sp&t z3b5vks%GE<-32U3k}&WrGBJoA;CgvKk|oy;VPn6t_n2w8nt7uGjbQ-$}@O|lC5Hl9@5)G;7<;UDxHK|Y6=o5zX!tez&T zS>v~XKmGskd%#b`(Ob{uxi=-Nnd|8XzZSfv2MZIYTg~O*74ZAPcX4^`Whq4}O7bFP z%N4p=8lS|YJNzZBlnKN#;syIcD{Ck+Yc^tW>#SV1h4#)`jxW}{*}J+2 zX1f^FeO==Ooi``bWPyUbIZpQ)voZ1pFyY6Oa+)(|25Y32^x6wznh14S^&>!n^ z{z>6<2s44Na;VNpeRXy+*L$v;SXU?r4^u^bF03}ceg>gOsTQT`)K>zAAKGl)j^KA&bA$JEg#dLt@Epm zF}n@Ei{B?uw5<+&&ERXsYqSvGJ?|U*Howkmk&o&{gReArZKr@Aj%|;5i-Z8rLMU3g z1A6ohp(~)#LM0UNGJ&3$=L}9muR}~1&WCh1{+t^hg_|rdT6zVx@KJ0df4ZMCWIFRT z5$z`&Ui&@eH8|M|T&DD0Lq@=dGA~+I0v`Jp^Iimx#44t{MQm+{=oZY4eB6)4M!OrF zZTY+xFDz8*J!onrh>B+ZJiR^9;BSrdqjjRhutIg5FV*?G4EaR{KWMlmZvHhoKV0Z4 z(>J)gspq~c)MMHj@ktMbm6I|l2=N^u<$(Lm> z(WlqW4pj4K&K*woO-8TBFwI6?NVt{vV(;}XaI%H;HJ+{f>3+nJ?{VsaD-3z$Hpu^v zHmZj|s|O6pM#HPi49VjL-{sMXDuX|3@aJ#R34XWYMg{8Zi&AYY4}*5F@i30SWG4o(lXlwD7yzS;Ve d19Y%O#hvTm-DMX0LY=E7%Zf6#h(asI{2wE=Ttol> diff --git a/examples/more/14_check_confidence_interval/example b/examples/more/14_check_confidence_interval/example index bbcfa8ca437598f376b3ea91088fbd6613d98b3b..a4d9d30968deef658da68636e044f3b1e3d8e3e3 100755 GIT binary patch delta 6079 zcmZ`-3wTu3wLW_$Gt2}s56EOPc}_x}5SR%hhM?$7l7SPMgai^ELIi}wpj3k&u~>x! zBQ3`;HF0@uth67sw(707hT?Y%K58NeNPQ%T7zHJu$e`hp2Drorp8M}}&d}6*@BY3y zYwdrpwf5d?t-ba+Gw>nXew=m0+nXi{O7p2i5Ib|9GgpmQdsUqud(3ZTshzjT&OCn6 zto9;Qu&I3pV&rUv+865nmD==bKc2QSr`@JW*)%EJo)_3HEdBpe7Bpo+Ptp3@W6v%3 zOg&(#>lk?H@-vp+y6ol~&!41+^f?X}=D5BPVXHEui}vZWnU1P!oot5k93p#^haIQW zdMA61{897R3C`25sCed9B>Jcy=w(IXJ6dh<&?-Yb`@165VOYibIcKnAs&v||i={N< zA1BOPP*Jt=j@9?wx32y^I%wRM9V{;?T{&a=jOm5Kya-<`C}IWEy(*JG-AfzB6}F5M z4A`Sy@t_G*CzzEzn}uj?gl|lzY>qqJi(hlXI>f>(6k!=0lRBS701QGY_W&A$g?dmv z=EJXVa#oZ8dzG5JFN61u!cr!*C_;TX9EcK@TsIIUysQ}j5uQ*cFbS(P1F`GY#R$SU z;cl(3E=YfUK^t9sfjXgCvlmGT6E}ud6{}KH9bY0^WWW|n&zMSFS`sQl;gt$e9Au$u zCTG5;tiYpVMtKfI+AIwp2Y}Huvy)bsC&Y+jP(9TF-2rsz7}Q81psxXK9D|zZb)Z8) zH;qA~=>pKC=m{~~$DlEk9POka(5^A4jVgdX1oZha=tSBa?R079P+9ukF{2Lp59pkP z&fzhrlRk}hviLo0{Hsxq+tN+C1%falXX^J%vCU?VMs956{O%uQx#N;Gr|%uVVSl1u$4zCwpo4K4>@NB`?lblv9dS<8EyN{sI?@6Lw9 zt+&VQrkCSaumZBXa@ZuA?aI_$$)eS+eU4jEMaBHS5v#o{!!%-D7LyNvs$*lRG@+Os zrp*a??DzEV37Kpg^(8#vG-V=454XalBi0o$I`l@YHiM2HOw49S==X`~tc4CHrdn2J zU}Ga!WEnOMx6!4<$?RrwCS@@=Jn3TEEpRwS2KbEQ!8cfQJ^+t(EPE3_LlIRb=j$${ z)7In^_B!oKUYPPT1P99uX4pooOMAof;WSLGbZyCXWJ@X24X4rKlvmgavZp36|DL?m z*Y#{UeU-j|&7|3rPqdV^-y0u3b3vA+{o$uM=`EAOPhI^^I#}Fq-Ek6evA*;k>kma) zihHf0edxCbl7ee`#rDm%V0*m~l=eR*_I_^kU%e(BY3pSo`%dh#zSLJP9TIy7^`ZnH z`mHa$?+?wBgKLfi+2LS&g(FfQ-W0c<5r%Pwa{EQ; zh**3K=VI#+uh(MRj*L+&S1dl({B@=bR?Izs(_-Cr7N|#ASGn|Mc-L359M~prxy2t^ zDOX6BafBK7ZjfDq3m$g zn(9MDuky;_mp?>mm5v6BKW`oq+XIK!iZi2>-8Z|%P<{Hqa{mf{o&R?K%DVk(c*M3~ z)TnUYhNy(Q&dV}|vvZ>pQRI=6g(u=EF(*rR!bzn$qOQ|Pp`3hXp*M0|xV$gsx@aV4 z>cmq{Ug@?t#>Fd2(+)Ywlbfb{Cyo~8=CPksOK!UE!8oWU(CfKQ-RQT}lM}D|>{}Yn z&1k7rLx|Y%h^_g-UsEp0V(&TqA~@5EU^Zeufet(>w!_y5rn((b3LMVw2|sX7alPMK zeyUtL(DwOou=w)-4j{nhuX$8){VGxAuRBWkT12V7D;xzYa8{Qn^@;{XNZPgu4nZQd zhJT?9R)9n81EjH zkb3Z8$MZF`2YV52$lypoBjudFcne9SYvA$M# z0qgHEiNyoWUo==RzKs|KZ~<*`eBcm}0+&bp)+z4;oYwB3Tc>8~cEr+#soA=U?ez52 zR9#6df{?ZT+o1F%_h(nQ2aAGqMOT@mf!x!1--MsTKu|izUEdY{>I+Q@qO~3WnpBgJ zR0F7aZ;r{UufD*moH>>EHN6lum_ro}q=)=f?dS1L4%qBc-MgT)6uT{ds!4`34MO-;OML zfBM6^r){*zL(E9$JewzUA(;11#9-l*Hfr)ZEWbj9$Uh3dp?ZC1CGsv~O?1JV68#U0 zVkG9Yl^pqh#XIo3`THi^4^UO#XraevcqiT#gBXSkKLJq|7MLdp*eeSiTW3pOUL>7 zyyCC%OW)VR;R<`atwm73iKw>9?%+4H?FMppsk>ffDVH01ns~rJYXn-fs3*{!3e`6 zviuOJ`w}Jq?EpOnDqO|{ybn5yzc=I6qLscW$!1lQR+@jI=cUflB1c!BEZ?CGq4Wv^_+6$?OA{Soc>C@#BPQ4=qnNTp-O>-pQWi(PvZ&3G47?h0TXw7P6E8=`Gx9$nHW^q*xZEJz=grOw&$i7eM^mU%6U zLM+0-_{wM;{_oDA}b&-oS}#3rW+ms8>ScLrnYcHFQV6nL|6jzs-e;t;tI1ca5oangzTH_)X{N$$2*zcYy6aM@Q#PH}-&i?K~O9yNq6>UEUDg zFJ>86fNkPzdbAs=+tGb_h~5)Zj4y%}F3^ZL+c*Ta>H^IuFEJM&0XHFI4fwvi3J;q_z2LXf=?ahCt$jdoxAHbf zX_cw=ChZ>$p6tAJQ+4G6HcY>(Ol7Z7Z{?lHcK^aj)T4_c--0f-YES=yR0hNUsB%Ie zt=geC3&WsJS9jzKR<)!&^}=|eiK?sTQFnEm-ikEa4apwd8$WJ(!7l8j)72}PfC-)C zTNtNz3O3rX(21HXEqu(iYwSlN)OqUakOF;_zsRY>XY;L#rn^j$e_k~EKh=b)sB@7M zre9dJ(&f%j2a|cKqMgH!8}dpN3@vhG z{;J{L=_;-q8?eVUyboW$yeX#x^ooj45vuU@%Uh=ANj=UT-;mFv;ywuS7Dt^+oDAQB zOPsD^O{P!FXM?62RAlbv&-^W#Ot)K67jD#Kwga~b*zGD6k39d4Yq|cSX*K1l_&81L zO+K&TI7Zz(5bP{fFLkmJ+Pyr!1t->yB?~@P1zn}Zg5et(PF4E_8lD!x(^P<$PTss4 zzDg5pRAIrV;Z2$cBc5HZ;dY;Pdh0cXyUD)H>Eg@c)3-WRIO5-a@-K6?bZDa;TDZD3 z-CsubuN@RE2*PhQ`BnTw3yo=h`ICm*ezdqZG~DY}#D&ORaRj(cNT83F*rqw>e!7)H)^Y3)Ru>nr@mhIuoOIolCH-(qN6;LY=oc z*&_Z-ZqzIc;?0`3$bI@#;A)IJxh?#sfM><4nsloc%z9NxcuT|kQdA(I;r$W$d=(hb zf_xe{|I2ey@-P|<>hmc*{0F+{tGas( zdzP$O%}_!1t@YSvL5sHt-Adm8eMKwL5n4dS^&b1MhDK-)Jy7p4M@n%w?XEAnUgIOR zevrPYZ!uMASwLwGPWn}Yox%+^+S}lbZ?&t_M`+|FM-g=1X}3pW9-&vL_)d>GQl|FO zhC2^2k%}8V=E$F(0&Qq4qQ*uq4K&*5dHhBjz1MFf_X2goK`LG+v%OS&SCM&ixr%w| TfxC*LbM8=k35a delta 5911 zcmZ`-4OCNCw!SAJnDCPyAtXWMH(*edq=H~8m1vO57z7j)|4|gBbsSyQQRk^>sWWCU zExKK^>T8|aH`7%+f8wyFQ~O>kR9mrQJ8G+oR;yU6#)=iGwmMbs`_8>L4$H1NtlaOM zZ|}3uxqI)k@4ak2&ALyqR=cG#PLNx%0)l;e_Ui^AS{-fwEZ2~qr3~`P!g9S^4az8t zf>{|eKqP+pa%HTa`v_{4v6(hAo5ikb*;Orj`x|ULOaD)k?`V|CcQh2Gofp6Exto&) z?Mx*V$0*=et?jvba|5tJ7BF7-w}XR0W# zoS!$!EpYUVa?|ob4%#(nbVY=q#h(t_7zES^dR*Zl!5}CSzFCd17#w$^8^7ZjSrG!{ z!*Lg!D|Yg+P8iMaimnfGH0gyWR9RsAZ{Y9CANfCU{LUle zzm>PIvqUpGJa~Nk%8`N~25yMWhx84iX?d5}qH7>qTYn8=_RcCRR(O*4 zw{)yBNIj;MP26jTRD}LaSwDX&orz1*Sp9T2ZfLd@oUnRCjo4h&KN(#yaA{SH*i!Tz z2BEV1k`!8mH9yc@r}6Q%>^i*|pUIBUyYWx6*)-hhVvo}_t5Y*{1g*3F4{M~Pgx%~P z^mf7s_BvfoaI#-hwCx;wiN3at(5!LMm4pm7i=MEz8cqy@t4;G_Ptd3KIjovI4i_6u zvmBWk>oD5vIADDWAX|PJO>=W^5G*S{WZt^@(Fyh;}FDutW4=VkUcy`Vx2A zT$u>Xvzy@3e$$-Tbd35gv zK~fg0pm|9*(&lIIi8H(TiX+f(Fu6WKAN!d39)7wRw0x*X6PrP=4ozlXP{+`z$^VVu zV4HrYx!+XV8JY~IVQG129=d_t$v%xaoqnGDHd{}glti|m-JkM~mi-q+WmK?ZD%bmhE2XmUPnQLk-PHdi7;zg5As2j3dn@%gr&ta(cQDV%t2_af ze4_E0$)+2}1i_C!JObRerc&FKJ%K{I?K%O(;cj_03EqR$Pc`vJ+g`V%Q zqZre^BVy;3NH3Pmyr!BL1Mi1IUrSQSmhUzec!Tq#vOq6R9^*GJvTLoOr=eNae7IPw zKQ0E2!&fQvyJ7K75zZD^^c?k^yxYwo|)H)SxWicX`+p%FT9Y^6pXHa62u`9x=EA&(m*B8?9@A$i$Hac6uc{ zO*76$?`7w(@90K$y5?E}<|fj};Wka-59H3aYm$F}0cR7B2@gR118<;>3*-tQhKLs?D^H#cv+rynJ2@Iqwpu{5%=zb z1bEkL8h(tsI4Ob7jL3`_iqcM9*_m26heqV2XinnE;~Kd*#u-Y*o}d}y^aZ{Y1K)(* zm~%H22??SP1|Dd zv)xoVa=xbM673)P*qFdqvPoEzm*CSws}(NBiO~rZ%r0Jw^?0X53FEcSdW#&RGV+hh z3{QLLbYeR0EA+q0Ty*6tI1Ra0^elclkvOoDU^kq%TKJ zN*E47=!J{nvhW&uq121?WUk%tfkn<&>zgz`_gT#d3th}5_8VH`-Vo!0=;wp6UVfHk zhsSChhOl~0`U6)`Xj;sa;hD*LXoDv?YO_hU5xde%uX+B?+Gy@$2Vx>YDzhU@ls?)$ z_-nlG_=CFp0C|6*U9@O)pGJRv+O)A%pVi! z`vMz2NWaY=o=|-j3Dta`ZOr!uOCIH)uc=M1l-&mlFHR}1e9f3RpW9*O+yo#rL+wzt|FxK{&<<3LaIXWz%+(}z+%Z~xht z?FOogZvAWVVb;|4Pf6Mf2X_EFfPKd$sT;WGgd{Bmww{zEGoFdUCz9j@nm?7KV&EoV zHL&fJB&`7UoR*|*z|?No1Mc}ul8yld-0eMJB`^tZ!EL~Cz|?b+RH+r3ggSHq3%b$E)@pRMn-xst7Bp(^5EEZz8h zN?%MIV(o&rpB^C5!-kV$eM2;bpODd)K*hd@p?({kui$;4Uw zwJ-0sxVkzQkA^B|vb6VqxLZ2Nv>y99|ZIPqH# zdn+!`!b$16-=kYgfk`P%e4%3)6(dm|$MV7?V|XEvFEoKK1ed7`l^I)^R-?f}B|lmS zH=%eW35n%K!r|n|jeh~T!TG_>;LOjAsr5#^0KP&HA=vq2flvqjEchBe0b9|CMm;yg zv)G9&mJRV(PBQ8X!MB26cA2J^j)^>mZqH@fQ93FTAAv$|h(0KNDslz7bFR@CF)Q+A zbocOXdQ>W=c47F{HF{o5j_gI(-AjKJACJsI7H{gMesO|f6}o$o`MUP1=oW31{7Hv- z_=1ZnAB9)#vE?Zi*BCHpcvX;_o*K(jn3)3Qxh$0qp#KbgR-S8dsb4_c*SvL+V@isp zQ2qY^KPkMerLrj%tc!L{Nntzbz?3C;*+{F{*WO)WXE1lO(gr%M%BnTMKw6c}u~x54 z9C+2@9}C-GgVqqfIMV1Q%VXn$Ps)ood6zy;H4Pn_#Dv7`Z4g z^##W!^`9Q$xjfS~I0J3unP$_#8$X#g$`Ss|4J)ltmE5#_nhnO^m^R-brz3a+&up|S z_;EvKN~_Mrk*TUK{gIu)&}9PO(Ee&0y;yCg?&{Qs-jvPYGKCB^DR5ABO)0CSl{Gd^ zTOR$o=1DmJXiWjC4VxZkH6uvoy6_YQ2a{#`5bI!UqLtqknp`Y^PteNg{|>J#!es{Z zZB5T0ihRy-HR`L?8`_}qZCQ%Ge1y?`Ugaxu6h3@H_Ne?Ge6;c=CpYk*$``A=d>Fu= zQ~2S68*f3pWvUDJsuS8qDSR=;yh(h!9up3_MH45qc@;K%O$X0!qm3UhG@WWKpBBup z;p-4r#}ZYiHC0xT|Np^zE9oY5HgX-$ORA2Lt>_F=?fmgStb35EYHf~>WvN5Z*D15Y z*E8H^(>Gj--3i4CkFzbe`|4W9QY^FXUO<__gf!s%D)U;cx){qVjFY%G46o!rLm}=T?YrHS!h`PH#86`6MLw)l91MP4RJ^%m! diff --git a/makefile b/makefile index ed68dcf..e1bc95f 100644 --- a/makefile +++ b/makefile @@ -19,3 +19,9 @@ format: squiggle.c squiggle.h lint: clang-tidy squiggle.c -- -lm clang-tidy squiggle_more.c -- -lm + +profile: + OMP_NUM_THREADS=16 sudo perf record ./examples/more/12_time_to_botec_parallel/example + sudo perf report + rm perf.data + diff --git a/scratchpad/scratchpad b/scratchpad/scratchpad index e64435f81e722ae549059d01ada7c541f332c733..0faebb6d265d1aa598bc8e5d14da98384e2c933d 100755 GIT binary patch delta 7952 zcmb7J4RjP$maeK!C!LUVbs!-PB&4Dp>0rnoL=z#>l{8S%hUF&_A|XFEX%mGc3kjfu zbReRZ&;mZ4gX6d|?(7bpbsdzQGw3*)1mwrx1eF0rY(S&}f-x`){?>l)RdqyU&hEZ* zy6$`T-Fx4?_uYHntLp6s`E3XJ&CWz_1jm}k09@UctUttQvBpS?-STlxTw$g$D$FFq z`JC7ybFzq(^EV5cuyY-6=VQIRLF6S*3GXKzxa*|YUo!WQ+`aw9?JtgO`{-8xVzSy& zID%Wt$dV0WuCL*}rQ{_cmETE@TT=Lw?D-5yjLId7)yXfSW8#T&l1HMPd>@-#%W%CI z{~H^>z@9DaSD^pyBwZicVCw5+xuCw~&L#$*L8oCUf^<0)`4 ztRKTg0a7f-@xW3?IPlBEuYGhAycNS~CQjY*>u3)27cr)dN527(($n??n~&yn^eHZ> zsVRZutXv#~(s6qp6KEL{*fxqTAaF^h`|}oo3e9E!E=-Qcr10CwH!)>=EGe<&@`+@r z?Rv7^_FsG)Srog8AHMTk?1*TR7w37|(J2J`Cvcpiex-EowgnWidB3v3dJHJq@6wJ! z`9U$U?6R-;Wcxv%`qk^6QjycF*v>bo0=on}lu+RmaA=~g>#tHhfLH-Ueix(BF8!$M zSV60$uyc++igP7KhNk3pCb!Lr1A}9)rhfK4M1`2H&!a0C8e~h zsHfWEl?^4+G0>WR&~5VX0=`G<`Cix2u|5Yv${7&dhXZ2H{y}lhCtyl-t*nO}uggY> z)`Lh38yrzCl9rqqy%Kr^Hj~-OqleM1_MezNyOp#jPe(Sqmb@|eAk_bvN)yKqsTA*m zM&cuD4U#Lg%KgsJN(AjSw5oR5RxX8FQ7)?0U>3BRX>b^ddR@*zae>$6P&$P@ZjzCl z5q(B7FC*p%cV6UIykrmTA4XB+g|xFM^3a3Nxb&R?-Rf4OX! z{4@x!xjW94O)O{}bbB5Em3G)*VH;D$EME}iLTY!+91Q+ zd5ZcSOqPsr)?%4d2O=AYC>OlYt^NHHl6Hdy>nFKjDsXR6!{Hftr@9ATu^zku8I=!5 zB^rB>@Crp3ZULU0a~1^EtHX9SXv|nJydpjl`bFH{j>W0XH-h*dc;>#JJd*$_tfDUOPh8i5!Up>i9>oYN zSRc(KQ%2tqoXdtaM__BU%h~^HXe_2v)!25z8&%dAMnYY|k}-UhQP$HgXes=+Vb}=_ zzk5}7h4gU=*2W71+AuoYF3_>#xkhtcRTa~0XTZOpW4sBjoUC+xePEr)(p z0zn`6574K1!0da2%~xvyF}HtZ4Q9KUGbHVyi_|6 zPuq8a%ul;7?Q@(MSTo+G6`)Y!kYNfSd>z&U89UFVZ4~$ca=-L@;q|YGl%WbI)5w2h z%o6$a;+Hs83Bj|PZ^WuX7PC@aJzrf-72Yn&MW*$T8e#QT_&)<{P>kFk`>bpEBi;iJ@ zud-DMMeT!jRB797v@eT^NUos6R@^5(c8G4Ax;G^2VC1`GwRdL7)h(ubXbg^=>F+J? zK4F35d%&8qA{jy)w}reZHo3El$G{FMo6@=0R$hFu{aw1Ig~}g>DNZid#0NJ({u-|w zQuN}!Ht%X%@ey(3T!g|KL72h4(mOFl&jw>{%@bUq*urikNcGF)6wWkS{W2z8kb|cMq;r3 z6Y;T^VVgI!92@zAPyMdEb1z@s{YCWcp{QFGHOfU@tlbMzT!TD{A4R=a=?%mR&peP4*o<(69yVG3ka}kNJK#RFNkZB9iNP*`Q<2ln!&1W63Uc>e;q~s znCT9_1J)w}vEpMCt_v$B;trJE4N0F+iQt(~HHsFG%07BILN)0*84co7NcW=w@eVM# z-yRgRFMHJ!ih3S_K(jiB-G%4@G=!#ilI(A^Bx43=5Mm0v`xnK?v}E<{Cfx-|!3t)A zda;sPU>X1&tj|IRYREo7s?);^RzXjCEn}*mU2!v2y^E?2l9DH!tmd77>S3ljXfHth z0jTfZ1Exzj7mmS%-LyhZXGR8x9C7vVVSOCFl_HgrT9J;kS9QiEQXS3!Q*XiX^6duf6eVGLx2OM#)$v??l- z+g#4}w-pO?L*jXSlP9^_e=8RsT~j27ye?hwe~@+97h3%hilA3Of>pnX0A>qO*?9XY z@7!n8Ssj~!H=^&_PXnikr}ZG}BHj|{u_w`RTa#fY3RCaQS)Mv6LB# zyNr=6UHepI9Q`xTILt5 zP*>172k!8ldloEQ6c9_@J@kc+mY2wj7`sjH`pr|cJwKJbO)9$rtet1W{ry!q&WD1Q zIL1#EW`05DjIR;Sogy!d&-LK;S$^uL^^6;7k5*{l;_3a=yrtJ9NJ%uojoW%W`ZPPp zjEXL;B4 zbn#Ha)I@gIz}+NN_%!-jfXv9L6t*2F|B{my_Y^)FfH`4pB6&0C&%%C@tjXQ=Pa}af zgeIW}p@ZVX&(XJWB!4SBWNU1JaGG+j0vg7`&ipQ4C_xZmV8}WgfZ4A#eMZ*j{b|ZV zQ1+*>J0(rUAxU)SrK zhRM2un_@103i9Bmq=xk3RK+5}NQ#Jo&Le5}H3H(!?%kfSp-%+j}l8w8ctbSh!k&A(z=gXo; zpiN8vWap-d8N(j;%uAWqbbo`?5|G;QwdkfvwQaXZnM)Sq>O9v|6U@oUUH;GQO?ThD zq@i|c%d&Q}P0do~a><>!IE%{+WJ`E(i#V>lc}4xQruybKX+=}ZlKQrW z#ZsVUnG|Sm_O~^)G)t}Z%i5Y)?+SkCUf$f+uxv&B63O4v+*aSz+|+!x)YjNQL^+?d z%5HkWM|N*YT zZGfqOJ3i3$B0%Xw+=2mTf28Y;fE|Z){XxL4zd;_L=ZLQF0o(>>Uj!TgOtNr6ZZ>vg zk_Ci-3Ltk(*Q)_L09z^kGhN>ZIB;Co4+CySp17hgM$)tba;Q050Uf7xy$f)2zplqy z!3QV-O1RGy0d@e+1`Go>0(#EsdWUr?1fla95P9cyeE`t$H7tz=1K>u$0l-~=b%VN2 zKX?rQI%6=#J4YS)rgR*Cm}Hct@L^J1Hjdv<>dR7sUGM5T2X95%By=|7w;f)7og$~( z9U)b2(y&)MB&c1gB7OYM$QyN!P1+k>BkUAT+#q2ao~9ma1p za8|m8VwZ%M;_S8=!`L^$iyXY#itV}=bF@(g8wlS4F4JJh6Z#AWI_Cl|jP1PEoCk9k zvBiZEzEj{U8^%fCs|L=A?QW-Y)9mF-8L*6_zq0A9U}L5$4Bo# z_xDH0Z@i5IO;XpD9#DoZ-KjyVGN_PfwO(0 z>ysgav!wBMsmg9cSD`=5WgjI4(@KMM_ymRyMAQ~a3g3o=Y1H{%>ijb5{8@I7WeQYx zV?T!6UpnlbpCg#)Fk~%8RNhHtDR##uq15ht%u;HXLQ$o5_eSe&_PmFpWqVO)jMv_3 z3Es%ti?FxYV~~K<*jn(q@XJO>uL|orPle60J2nc6-T9COo)iw-o$xB6fYMcft_~>> zL+KDbCf)6zI}xFyhOP#kasqyWl9XRu+_*j zS|Dh{A;}#DZYyx}DWb(L`QdVkzX*Kz8u<7kB&8cCX(eT#v8vc@lz}F3EAUK^0z0PL zZAHLO0e%#9x?j@nb#W57 z+c3;KOCD23$5CNhFN9@dt``Qv4HvjtA zMv7;q)RFvoDWkSsHA_wAxzU`1)X&RBf!Z>!Hg?DL2JaT~&Af5^ zB$83_EWeL*SELIPmaLdQnxit&XvER>D@5FIEU{xEDXqMfPa|t9Zx%cg$*YyO=6`3- zd1xI$V`T#H7K#@VId>sL4?U7d-yJEzJj5oI*nzhr+E@Vryv4-N&SYqgB^bK5NAUO{ zPFo}#7n%5Nw9ufjNCI4K;yoswMIP`^8~E{D7#CpLSj7W;-elN;za?n%U`*RYSCEH1^kT8@;}n&%tSbgn&gov1;??H1ULqG2M0UrDE6o3HtD-eTUc6Sx(Ij) z|A39)XOJ!PQ}_xpXF*EvZeSB3pYs?JkO-`;Fr{>)8{{-MquZ zXGHL3_~u5~U?+>b8w>=ik?1BE`0-rFRr+R_3|*!_B8NpbNvuj4MGFzzBRG;ab`S%W z5E--c&DmZzo8(vlMK{1^SDLeu>4--RBCeCp@=uaJNcf#e(`rW7y(Y~L!rz&~zeOo$ z9yMtkriKxReqrM4#u`l1Ox{5gKVbUgu(^|hmE*3XagsI`J?12nbB@V5f#O*t=`=!P zOH8_foyYHt6P(NIm$u?Q+T5}Xe|FXembEOcEzYa;H<2^d?~r|q(#`)w4=Eqq}zXUVx*=Av9oEsadyp22M#WQ#T-+>=($cc;87*x!jhKG1B zDG%f(+RBWjBQS5L8ff7Y9d!oUG25IbeRD^Uqm2n9tMOTW4mr?xGcOaqY25z+88hu{ delta 7733 zcmai33tSXOn(v;M1IYA@FoFs);-G^;9*QeOOlTOi(Sbz)pFBknHa>`=o=MKp5Fc|o z22;sxa=Y0zxm?!VFSl#L-X-yN6A&MmhZ&3}XdbBRqcOT7nrNa)-@mGR44TWPe$Zdl z_o}bH@2jt>dv+b=cOT_jqHTRcIM%XNz}4?e{6nZKR2{iOcb-fRJvUk%of}Pt@W~-k zh&q%=K0jH<>02M?Eqq88uVS;vbGi>BZw_Cw>3!P^fe&8$)6KT~4NdEo#F)rq`bkmz zM#`qM<1rNfUA0G+W%h52A+PD8`8UaFeH4F%Jzpd?Lkej$MDz7*ypud^Na1T(|8x2z z0YfzTCu21KpA7d1doE>^Y)Bnqy(-WvSg!@WBc$CJWqS?N+PLAIqY51~GwCwcgw=7Y z9$wkREnTssj-;CsNTn$*zIy4>6*b(drp2`@S8|n=tClyeY*^k@S6Ng45LdT$WkXXf zdCrtIcrrKLlb@4YIU#vMCOK_N^qM$5^bW#P$DZoQfHCdS#-m65WyOCs{#OrgfKvx? z*EQUho&Rd$IQ)T$^7z=;z=df}rt*y%F8~+W&=AgXMs6tOj{!nesK2AIX&9YA$2rIg zgQA87BB&6@Wt6MXtOBlubPdYoLy6s-!Ve*N=F#CnCmF#pl$4v_;X_Dl$dkOS^}j+Q zOs`v;b<4WObDZS6A~koI>m*@$r?ky@5GdMjli!D6zhKL~>B;=t>Z2atmAA8V1WtYi z2E0Sp@}>?C$v-Iz60)Eu3N*=UzXxpIZ%%7lST2@{zK zFx3Si#lFwOao1ZU|I}V|B){ zG5l(>HDY9)=up9 z1WOGJ{K07?+de$35-7O3tMEjr@gu!H-RU&-L@B_k5$8{s-{>gr^6Zz7=fpEy(=XbQpcN>AjIKQi#hY zarP0a?OtYkIm8Fp&T-d-k>3{gBgB&LmehR7p{9nMz)Z6uOJLYhL^MDn3t}X^xS(A& zf-Y^-!>y4{P$9h!R=q2=p9zQmI{SsPef>g(@qfl5W77hVbBD5Q34b0K!be7uYr|aL z=kE=8I;dERnxIw|@#lUN@#!~Jw+UeW3Ae=vTfC5CNos{cQ16n)t z9a4Fo!HK9l7WS?MAKR2H@`W_=mf1A&f4u?ktwoRA93B&051qo}8&EW`-0(#hVLs!c zF(hfk81FbXtT=(CmpP+*UxGD495t8iG&pCzu_u8_*szV*LgjlFYJ3NDx&Lc*v3oIq z^ko_mVazM)6T3J0{kkqw9UpKEk9&r>=#x#N?GhHvCa1waC?temCGp zfC%(_EX``)0vh_pUo%*SjiHQuND-;v}u z@rAnLE9A@gh5Q;K#6LhbjZX5;5lh9A(&FZeyzs;=xGe23-2ADh=44*l(SBjv3CUk! z)?z)wpY%nc-}$lV3y6vEwzYtB``X&&I5*$cbrZ~OSW!p6kklqUEBOrv!9i03$!N>t z`bEJy*qPZS_+P;+ZhwyA@tqPAy`2SopwOS*A^JLnI5%CB)ml&^=eM8J!_WH){ezR& zL_yeQEA)Gk&0=#K&vZgvh}7I>&d)r!`aK9?2EkT9r?K%Oj;E>X?V`U($?R$xkHz#( zMYx%M(J%3ynl8Ey&}?41TDs2O7;xnKuD4J_4NmoV6e~Jf3Vf$w+m|l}&q-Qie4XN4 zQT3ef_;WYDD@L)&@VT9iO-F@IcAUPRny>PGwCuE$^7olQ)Aj(`UGn-+X}g_*|aMrB3tevzsmpI|#^94V3#!;j=7fUfSh+ zf5|6i$#+m{Kc$y^CC+FGlUx1MzW2{jB!5|lS-KGb+NsjrP8W(Nx6SQzx_Md5Jn+wn z(l(TbZ7ykB7>FK!dNgGqsbiwN2B+DrU+Q!)4t*KUjwv`sR=<|^sdlpGZ_Dbzjf9tT zFCp(T%be!5mr!XkJU%7pG_kUG3?*(0zj8mv?G>?rx9ODxmxARZu-3yMvO9|WC-mxm zI8KE)Vu>>)A|_|W647@ZfjM6)`M!gD&DVtW_7q&e5bH@7panZ}KRG?dq3an=^kZG# z)7X&j*9j%>)(Od1*G$9}AZb4oA)Q^HL1z3j!|4t$Jx1>aNZx%XOkn;T8T%eMAUx*` zGWVw2cSiF4U49mO3SD4sgDT5g=^ks|kMqOTS&qj6u}nKp)k8-tp^0=BCYMs1HIp%| zaS%*}>EV-^$=2~#UE5jx?t_aHIu2eZP0)%XPtU!7^_7mU~Moj~RP%jtK0?)gL62~uAlv92g_W$ri!|*I=54yXK2h>@ zi2gjK!2j4m^ACad_%6^}u5ug_xi|AOdsbhj{)9ISIFZ+fQzvIVeqglj%-iM3n#lZEC99W>L8t6c;nmu=U(Bu2s?Yk%!;kp7yvj^*;2f_ou zczlQ(oFcc&tmK!_I|OPXd>g%xCe=QABNr>gN~9LM%1{sI`#u&+sb6cp7fWbOfqzSB zz41oN-$0S%JCL{O?D_=eSGQB~_#Zoff}M?ubA!569N^PSnoo`OSPpe7^$>L{b@cd| zY>hwbRd_}b z|4`|Jopj5p_epvgD8p5+BD@N3;3z9}a~eJ9)A%By8&CjQR1rHDXyF-HI!h1il`?vj z@Hj_X<@Z$8?0R5DWoH~nlzFIYu6Fs=^W;oYS!4zDzI7cn^=GW#~a^zp&*+`nKvXb2ifY zU;hABN)vl8JxbW(vF@}sk3YN{FY+G0u>*klLw@TNIiB|4S>wRj8yh_Nf6$ad@x~wH z3n>0FCY7U4k%JRbbd%4J8xyALcK5K+q0?l^#HqTB9`f?Uak{e8a4mq5fNdWsN-ALLF;oJ;#^Z`o1-R#9MR^Rcs9RBX(ebB>5&+~r zQ7#WfV=*Ni45R7t0+q; z#CCZaun*hx6kribaFP)d0=faMy^2x>xB;*U@D$*7z+E^3JB^cpz>ViN5N%hW(1eNl z-~qs0fcpWhSCLP24Coq!aX&mo_}sC>0`O4^EacpS=!YxLiT`x`%S5Eq53oXt)*3c2 z*M$F0vN1QxxCj1znLM8x6a6n1SFXh&TB36-)*OqOitNXKH0jEXh;4%V6X14EvN&{y zLoMd%VeBK>b)dEq-W^eK7J_~0$=mMX#y_KLCZD@UR2)N3I-w}F;H8b) zEd%!waMTI3QQU3d0>G_f7_5upkpNjI6=e!&oIaMfIObdEotu7vN}|c}DVdX(GYcaw z3;#5avXK@p$__8>(B)X7{rVh>W4l4LxHcO_OKP)8FTj46XmNn3x-usWCPL&dkWWQA zRg!%|Y z9hPV~ZkokR`BK3bgFV(y`KI0Bn+d)Tf_&7FdEhf$2V*%;c1(-%V&2WB>C}{&mLh!; zZ^?jhuw>c*OCUx?UxKI^TcDWw08>0keXv8HXL0xqlEt;%C{bOax~w97{7>nkS=dL- z#Wt#*ivhR7;;4c5DZy+&+(Eb(?*RT);2S7E&BQ8;net}xufwN@u^kh>Tx}TjVd#C@(l!`6q=_TW&F($e_TWB{v*#YUT7#_netwx__ z=Vsjus20`a6vJ3byb2!2Me?#V0VNw75dW8eYP?9!NIB+oY}aS8zsc322-M-z`jFsP z;1-fu5XU!?`2}&h?uq1)f(pKmoB%3`d{a<4YPXqcqhF`h7SK8xn(HR(3LoT)$XkVR zx|l(&Ckuz_Ab+(eijN_qX4&;2ToGUtA7G;}Za0}V>q$D%nOW0#jwH^0lE+u+*>-Yd z_KaZ;9LfV5-bXkc_Dm5;D~=l0au1a*k;kWe7pX2z!2~;tD?{4iRe2Zrrg$vxCZkGz z&%a9AOX73^Oj$B*xD~G=w3Q&@v^|RK8Gh zLjey`D*p-N`8voG$5=R4jcAutLqj-RMhz_*qf*)4MmLu1oEzm$0@bD)#+j>BYVes! z@sQ)PRSfc-HA&OfGEyCpt&Y^P}qQ{23e~#4H}5m__N_<+Fn)x7fFtVQqNl}@-HN9#H-@2>X!SgQCzUVZY#gD{zF ztVsze(y*weHIr?@N*jdTgkPKz60FC&TQe6==XKAFB9GT5hXyMY>gwLw&3qOS>r!l7 vt~zxPO065~R`9WoDiv)l(xAr00O>MB5J&wk{BGJ_KRKkZN+k}5)p7p^(iVAJ diff --git a/scratchpad/scratchpad.c b/scratchpad/scratchpad.c index b2f057a..64932b6 100644 --- a/scratchpad/scratchpad.c +++ b/scratchpad/scratchpad.c @@ -19,5 +19,7 @@ int main() ci ci_90 = array_get_90_ci(xs, n); printf("Recovering confidence interval of sample_to(10, 100):\n low: %f, high: %f\n", ci_90.low, ci_90.high); + + printf("Size of uint64_t: %ld", sizeof(uint64_t*)); free(seed); } diff --git a/squiggle_more.c b/squiggle_more.c index 3211b00..d3a4f63 100644 --- a/squiggle_more.c +++ b/squiggle_more.c @@ -8,17 +8,20 @@ #include #include // memcpy -/* Parallel sampler */ +/* Cache optimizations */ #define CACHE_LINE_SIZE 64 +// getconf LEVEL1_DCACHE_LINESIZE +// typedef struct seed_cache_box_t { uint64_t seed; - char padding[CACHE_LINE_SIZE - sizeof(uint64_t*)]; + char padding[CACHE_LINE_SIZE - sizeof(uint64_t)]; + // Cache line size is 64 *bytes*, uint64_t is 64 *bits* (8 bytes). Different units! } seed_cache_box; // This avoids "false sharing", i.e., different threads competing for the same cache line -// It's possible dealing with this shaves ~2ms -// However, it's possible it doesn't, since pointers aren't changed, just their contents (and the location of their contents doesn't necessarily have to be close, since they are malloc'ed sepately) -// Still, I thought it was interesting +// Dealing with this shaves 4ms from a 12ms process, or a third of runtime +// +/* Parallel sampler */ void sampler_parallel(double (*sampler)(uint64_t* seed), double* results, int n_threads, int n_samples) { @@ -41,6 +44,7 @@ void sampler_parallel(double (*sampler)(uint64_t* seed), double* results, int n_ // uint64_t** seeds = malloc((size_t)n_threads * sizeof(uint64_t*)); seed_cache_box* cache_box = (seed_cache_box*) malloc(sizeof(seed_cache_box) * (size_t)n_threads); + // seed_cache_box cache_box[n_threads]; srand(1); for (int i = 0; i < n_threads; i++) { // Constraints: @@ -73,11 +77,7 @@ void sampler_parallel(double (*sampler)(uint64_t* seed), double* results, int n_ results[j] = sampler(&(cache_box[0].seed)); // we can just reuse a seed, this isn't problematic because we are not doing multithreading } - /* - for (int i = 0; i < n_threads; i++) { - free(cache_box[i].seed); - } - */ + free(cache_box); }