From d70296f2308c3b6b8dbb53ee16e698f2a702dc7f Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Tue, 30 Jan 2024 16:23:51 +0100 Subject: [PATCH] add histogram functionality; recompile --- examples/more/00_example_template/example | Bin 27472 -> 27600 bytes examples/more/01_sample_from_cdf/example | Bin 27720 -> 36040 bytes examples/more/02_sample_from_cdf_beta/example | Bin 31800 -> 36024 bytes examples/more/03_ci_beta/example | Bin 27472 -> 27600 bytes examples/more/04_nuclear_war/example | Bin 27560 -> 31784 bytes examples/more/05_burn_10kg_fat/example | Bin 27512 -> 27640 bytes examples/more/06_nuclear_recovery/example | Bin 27808 -> 32032 bytes examples/more/07_algebra/example | Bin 27432 -> 27560 bytes .../more/08_algebra_and_conversion/example | Bin 27432 -> 27560 bytes examples/more/09_ergonomic_algebra/example | Bin 27432 -> 27560 bytes .../more/10_twitter_thread_example/example | Bin 27592 -> 27720 bytes .../11_billion_lognormals_paralell/example | Bin 27472 -> 27600 bytes .../more/12_time_to_botec_parallel/example | Bin 27632 -> 27760 bytes examples/more/13_parallelize_min/example | Bin 27536 -> 27664 bytes .../more/14_check_confidence_interval/example | Bin 27432 -> 27560 bytes scratchpad/plotting/c/attribution.md | 2 + scratchpad/plotting/c/data.dat | 1000000 ++++++++++++++ scratchpad/plotting/c/example.md | 1 + scratchpad/plotting/c/histogram | Bin 0 -> 17128 bytes scratchpad/plotting/c/histogram.c | 86 + scratchpad/plotting/gnuplot/term4.gp | 12 +- scratchpad/plotting/gnuplot/term5.gp | 5 + scratchpad/plotting/gnuplot/term6.gp | 30 + scratchpad/plotting/uplot/command.sh | 2 + scratchpad/plotting/uplot/howto.md | 4 + squiggle_more.c | 75 + squiggle_more.h | 1 + 27 files changed, 1000214 insertions(+), 4 deletions(-) create mode 100644 scratchpad/plotting/c/attribution.md create mode 100644 scratchpad/plotting/c/data.dat create mode 100644 scratchpad/plotting/c/example.md create mode 100755 scratchpad/plotting/c/histogram create mode 100644 scratchpad/plotting/c/histogram.c create mode 100644 scratchpad/plotting/gnuplot/term5.gp create mode 100644 scratchpad/plotting/gnuplot/term6.gp create mode 100644 scratchpad/plotting/uplot/command.sh create mode 100644 scratchpad/plotting/uplot/howto.md diff --git a/examples/more/00_example_template/example b/examples/more/00_example_template/example index 0c9795ecade786974cbc8e98eab1f9ab898f7a6b..03c5766102b6fee75378e9497f17211599a74487 100755 GIT binary patch delta 6850 zcmai33s@9amaZyj=x(IDkw-W01{y&Sx?4rTNJ5ha8-t1u6h{lo(`bz5WspRJ@rA~WttKj%$&$pR_PvT1we~yL#xox8@yfMt6Xc-hO1O1WzD5nARgG)vS2eqcFvOwc+YX85PJuo{NDPS72dn73ZLV;KZ;Jh4t)w7KW#5uvVOYyd3;yB%!BFgA!fz`hA~*)Ud3e*^m^*!9EM z5c&#ioOVR$wqdM};jDmJ}iVE zk7^d8LZ9g5I7O6tPdomeb|gJFGP~TJ!EvsR(3_(ffwLCexnqV&R8O`ZnCce@Y1v5AzSx zlM!Z3GI|W^=c}gD-Uv%jRwj&;(Yc5h`A2C(2RDvnLm?XaNB;%{UtPf}BCO8P2L7!RZR+GT;$Vvy!&a_evQLUe3UUlD4h zgRwW09!Qat``85ULmfBpG3uE1{6n}@RdhVg6#MtD*#Ni^W``L*DG`SFuab$6PY?h} z@iP-1OJ>HxN|{QBn2@)U=9?hR4&9QNt=zL=ut^;KVqVyWj+spp2vbJXXc zH!T;UpGR)6d*OHesQ8+`6vek#O7eN=jnq;6({v`)&R0|DsO7q6t}8N^=ZLR@+D4rY z(p`fK&ZpY6EbaT~j>+aMh@s!6jp8%uP+Ey_(MX}`og=G|mu~AfMeYMaCu>SH{V6?( zkE0XmSwc|s)1#Aw_oJX0L;0htV!bAgEAb3@1_$*S??@{dC3TB`z(o5-$MYsSIl3b3 zBcp6H4ccsx_R;+r$^3Sz$;cAc8L2ZPgC9%(l~En(fTG)_-*gySs>?8iI6OkO%uIeK zRc4OnchHWEOyRx=dNU)3e3==>snT%RG85}@CsOM1VIe z(dD_|>Im$H+rcRjK-c4yR01vD)!MCwq<>Jq&|-m@{Zw_kTcGU9>t1^fI+GD{*+Y+M z*CNC!Ld(LK2jBD}W=2??9UI}a8AlMz%r-()N{#3g40#}IEs`R0j5qIyL+?E5YCWoU zJ?Ch3wsE{G@7uMf9Ic|De_Vqpd#;swd@OjnuL-X1mP>)9{57{eaVuPmEm#BRYV{i2 z`i5g}z56}4{tWKt0xow(5LCNy7kf>w4mZX1XXmo0K5)l>P?>o zq5{GVg)==60I9POnYT;4H#X?Mp|KJV(rB-fI6f8tsX33=Bx zhPsyYI@;$v!{znpOA*S3{2V;}u?`z7hSs66`W+u&>Q2v4k^Qo(BWnj_E)SeVpID%* zprO*DmV&6rE)F{M8E+%H%AmGiXhBbSG+eQQtztzV_UL_I@Fh{4(%$^C+#Ma5*Gm~= zOkdlXO|kk!jBrD;X!kl=kMh2g7e&#T_x)O*(=!O;!7#3feFq>afq(F&d9@Z(v#!MR z_Ek3?5?FL6*MjAKJH6C%bHPGKrDLIEk)!JBXZ=jbcHR*B6ubZ%kGit)hO3e2>uL{m zS~>1OHl}}&Wd}U1+Sz@>*f2|t7#gb4Ocl?TyQ(&*UY!l0J-OHJy}BMxV5r@OwFAhT zch#0d?fPp^XFCdaVM;}9m*2u$73a{GoJGR%^tFC|t9vLAD;?)+hg`Z}1cz@r8YLZV zOm~{+rpps(@m=qy)@-NgnE@m}r)Ba{rzID*IhKageGUC|A$wBNxC_#4zl+<3FSF1M zgAUuS4?tzTpr=XJRAFT()mTe}?Gh%4Kc@d*+=$Kq1B!g>J*kJv@RvJ|de# z=rMcpg!Q3}k`qy7w-ks5-!8ec{AifNaugI;2qS9n1l@j)dhL}Faj^E+ud!7J*$+~M z@6H)299tZ9P>bB&aMqvY+fegyXX(YUCT$c%xb?_IBgi{;i?B;W4~`=tN<)3)HduQg zTsIQpoa3mu_14?^Cz`R5j{PsQ0Xjl|hc{PyZ>i@B{4qpJt>fnl-qUn`e7yDq-ZarM zG+IlloPB~Vm=5ObpYfm2mkqv(8VnBVpZGWC86B0DMr1_wvH=)oL3IEq-wf`Jbj92|{9`E1W)vqw9&v%OcGSMpR z>!T|Z^M&uMtdYlZ*VL~FtgFq| zQl_H~d(28n0qu5}l?GnwdK?ig>=P4ju3YDbqS%Fc|8Y?~2D}CA2ikf>aRhd%0Jx2{ zPl)0WuncGh?*)zr_VkKk8Poe%6l;NvSmMpVE-e2Gz<%u9eqeQEg zocW31@Yk`$!c1pPh{B!WD;6Fb%0N z?hRb=>6Z-ussS#jyi!XB+oJtai?w7v{#J@)ruAS-yO0)tOrnY>7>MMAcPg7g;qIT@qVHUzf>?x@22f4THlzP$G%FD(HK=n%I>Y0_R2X+?bq0q{ z?Fiu}gMJA*uME(-lCe6b<-~Ov)X)IEUQ(zT10OXbv{X1Tc%Rq!k6aolY}$;lihR~% z*pUjYo|cGB-8s$5mr*zBTj=66YnWL%fPh;_rJs_fCnj~`aEBFt6zo@0onA z|Cl{WTGS15;^^2MgN7X^@*JD)o;gPQ-7{3FGsk61X2Q997s4U+GI3`57G}%xDWklY zzeTIdjY9u@^kn%uq47Qv<`yG0l+3jXSkA}hW=A(F8Pk9Iw-Mem5|e{t%{7*69w!g# zkH#)V+QSkEiWGUkw-mln;ibp}f8MW8N%Js`9GWyQJNn*mCd{@B>@5%=>?Tqja<7$PAK-R31_8 z(tp@)Rrr?`{Z8thZ;alpEVzGR-|N&1!5QDB$5PQv1{5`rAXZrhe2w?D^7 zti&t4nSCswNU0r|MKc!|qwiOwWh^_PY?FbT%A`2gVZV*k{VQY1258EwuBa%``3wBZ zisfnqA1nSR=^K;;o5v-~{p@$zkfO;c8(AlJ-~?nw$s-bEqDbL&3U6jv8>LTKfduf< z`Fr#vMWajUIa5~TO6cMOYtnp3e|9>rNLMPo`u9dxj!}h6XY^Ie>YJJymaeH;$u-rl zqAgVsR9RyRQV#9iHA5=tP@lT0Blp%W-Y)RzG*J5hzm4p5*03@dWW|qLXf@bgB?tR) z0_~}@YW*2gt)^>r6TBkkcdYN_P-PG!o2Pg=p*Oz5$ z?j|O>x@;o#FSAiuy+QNSKXdBqC*FM~nP*q#Q>Us;G1UJZj@#;K#5h(?uRQrP z>J_H(x9PHvo=>Em3O#9k-{M0(wL#y08f^5X1B!OumrQ!me)tNs5tcEZPjjMvcRo^o)x8c9VC(K3Y99_DSRbe zRz6{rl^&CcWs)UZRRg`E($ij5V31R0{lNIm4hOKVoDD>!akObqC=YV-JP)H>&KoF>-6aW^$F_aOfTn{~4M zrz!HG^1i2Z0X+Rzh`FXXnd6+DL8p=!6by(c;R5V$bwNx)#o4JaGk9>KJ>2=6;$j)< z&-Aye#1Tzw2MhRd8DW2yDLb>rX;$bo{t(rM#-tnq#jQ`Rac(Qv#i~x%7wv)0=L%kg z;J$WW6y1&J@_j`oy&9ULs+*3fX|#$uIvrXpL{BGUSOWiddMIoS{~YZPi&JHx#kgjX zVl{mdmf%;O3Mch+KkVQ5J+wFc75+QQi-=df`kiESmYO0G{Enu;=p*Wi7#2RX(5wiv zdfh!q{~s1w6%p^Z!vcd>s9*n_nn!h9vowgeP>o?RznyvwajMk2lKBccXGrubLcrX$ zq%dv{e`00t{NW{3`rCd z8LxW#?~>n}R2rG+_gNzRx@mpnZ}b*aHNWgYdKlN#1(iZ#F)5{}sAT>+JrZT+Pf=4; zZ1C?B(B$WLBrp4kqT((80t)@1SNFe43P*z0Ge$#`X7ppI2F5kDK^1f{YSgqW-eWw( z2Dlh?OyCpLG3-Tu#-rFm-%c|`-MPg&z(klI=J*Q_p^XlTCsTBc0I)|_#k_20&U9tW ztoE4uQO`mlHmp_j)6^5~@GFFg`xCks{YQQi^~OZ<4SgqKvV8c5NHp!>e@i>e75s5J zXRZ_cMt7MDXnnk0+4QX_x{kYJ``(S$@S1hsh+>)RN}20hr|ScE6Fwks{!zM;Tq5uWO0#r@TtdFRso5N!Z1mWqePEzd789ROW0o}GR|bkp zF$rHqz%-JUq%4cdfO&~)!ZkjwvA*w#WQ3<(^m}?bn-b0E((RO5U4>q9x*N!XltW9c zX8r(ewWbMoBB;k|<>%3PYkhbxS~od0n~%dv(Fg(Ou!t&CQ~6%nl$s)FJjTM}FuGvP zCgpUi{%AOJi8V8@CYvCkNqIO`rCNm}q4adBMMw^3JqRm8(a1*kre|o)NTzI(N5eek zizzQHng5WMr>*3pX&~((zL@;eqsft3F#G&fQ7n4q^Y@VLIlHFh0s`t9+IIEEu?b(7 zBVn5RZRkC#P=ZKrhEUS^46`kFjXGVv3GRT;>3F8Ya0ojI_W2(;5^~wS!bWUy|K=*i zX62byToFa=*}q~2*mZ1Rui^3^w`;5?K&9n}&@ZwQh2LrEwX70hxfa1sQv@csdu~z8 z41?xHxOTcm5d?Ji)MYA~ktw`*nKsUNQuy6v8k@0HD8Ecq4`k)+8SxzA>K_mBpWV+$ zTp&Brr*Q^xW|jsG1hbgdveOZMFqn=$V4kVPpuJ(PJ0|UZ_lHtrY3En76_AoZ?SFd` z#DNhC$*v14gtsHNuucU?qnR)ZlPj^Xu2)(Aim+ z(CXawwX*q5IM&1#az}yETriEy{<6-X*Kwnlbt(=4JkxXUJ4cGVL;1U4c`X|G-g7(s z=xI0O6+h(NcFCJ9#$Y?0HI_RUo`I?2%TTr`?cphw02LtML6f67pyIR}aJd z)DS(KpAykHgaB;2&u`AQcNYCn=DO+ZOe^%K&G~V{$sy{_kE-^=Yk~U!%ogMN`W|l% zOYC*_CHAG)l;AY6+c7igTD31M>nvbN(!QX?b;e#(;<|0Gw!6Nsfy*+`^UG51v#7Xj zXZkb+V?tj?K%vjB!pCVxVGPgF8-@Q)gZ2)pogGIVv%|KqH^fx9E<7oUFQMLXN)-En zUBDq=|DY)P;sO{1b};$0DBb{$01eGottcu=T7c z_5g2SI-de7FTk%4w}tCQCBX*`{znuYz*b-_um`vnm~jyuGambIFR=SE!pihGl@H(~ zSAGsXu+AFl=0BagoW>;eud@Q!l>6*q{=QBlO} zA=d*m0JS$nF$35STnprGiefi#;wc1nlVUBgxTD z#L@-_oWq|b7cK$M19-Ymh+-iXIO6%k)Zow?dp<&sh^@CUA7iV@m}>HVUZf`i!GD`Cb88w*Pv+H(lB zhmklXRyiNsQ!>ZKHx1ldWGas0Pf$VeqkIp!iXRo)FVdOfQhtC;b1D#uwmHdsH|?2| z9R4iUc!S)WxgNy2-=fdv*wpL|PKi}M@Hg7wEZtIz>Rv2#vTPg%Tnp|nxP^>c7aX@D zSjjPdJ9zHePx-yzo#1Pjy)!sYa0V-x{Xy_uUV9d%;$USi_!HoV!1v&VYJN$kpAvhh z>^kizN%zY~wf1Xzw`8^70aORRrS#GyzadluM^QDW$DzG1_7dB34XATP!P;L5rEqRn z2W#!YN_zmu`mn%e?8ZW zPmaS&f~P2{r976`lB?Xt$I%hgpP=D#o6aJ?;$u}jWq^!xV@iPA-hZ{Q>Q;QF$<~EY4 zD%=N?rmCtrd_DC-(r~RnePp-%sXe)!52xb{d32>JJ=6Qm`@hv;ob!>%j8ymG!Z{_` z=jjm)`@C=;J-*M{AX&&Y&j#+bdEs<&Ua4_pN|$W!3fSpd%ABt^R!;udgT{`B=OUqP zfY$qcDD}v3Ps(k(Xy<%AucUqRml-?aC9MkQhLtbzF#la-stdw5fX9 zPaKAz5zn!q_g3rarE0Ay-Qy;dn;Htc$I`%A=q}u9^T=9L%nwpqjb7-^r5!aJgp6EV z+{KuA$pV{zfc|1Zy0KE;HtXfVJ&o-Vg283bu?6~)!VJ%dxnv2rZdu!vDG{FIhU$CX zRxLgGBz)A{G_XW4077UGkWR;Ia~cRKupNmH!2G6+N*MO*k6yVm-g#0)!9_pvbMjkp>Dc@ zUTLt=NW=BMi_3Qjd;+zte3-AL-jz089PC)};uACm)|<$@m_?aQHnlg6AqlQ-nyK?< zNH6wNZ<9^u&7)o%ps}Vcd?B^1vZ?BIQfKwFZ&eO;uhQ}vG`7kX(k&+*FRo9ftmbsJ zH=*N%u5K>oN8m$G1I-4V_uzQ3k;a;BA>P#I#eP4^YDuT=mJI4@(W<-|N=y4%a#TP5 zC-GWK&OfgNONBJRALf)8wXMlfwJn#V INQ5x%Z1s zd+)W^UVEQ&9UjvRKg0J0`B?lospQFo({?|R_+K95vt@Sti4Rgc-nGb#N;!kfYd~CC zwM^z`QlpoQtJJxjJ4BOPWclRIA5x=>%;(9J9?^LFa9d@J+oe)EqaCa(Uz?Tu}9v}V?` z3)q-lIS?T*G=eQF-#|d{h;d&>0(g_c6!l#{Zws>lh-47w_l&z>*;*|!o04S4{ zL>4EUSCv7top2?tBx#-#j%B!21Si~GsY}8#CjskREtO8V>OLl0=Y(TzZj}Zn-18R7 zaV<``vduXO+TkQnwyxBy(+Sr(8G6(SXK|*MJ}2B;1wr>Y;XY1ye}~*Z!j9v7odgG* z8YuB2Ne?^WO1w$m$B_Xbm*lys#Gx$$u@E2$B@8068;c{z*(3|0ly(#qO{wbH^tSc(+61uKw9eX7# zBS;qg9wNt187h>a0}N_J{Y|#P9Fd|Z!qhOfKTI{{Qm$_lUztnmeEm#!GSvaO+1m?I z&%%m3?!@Cw&gW-bvF*6y724-J*C!lMz5Yx4n=FaI+R249>g%gBu=cHx3AQgC&(f6d z{FV16GX*a(N$TzZWTO9rO&oWl54|5mMd)>Vo{^mCHh-bVt%lVRkRIZ=KC%L|eBdkZ%-vTw~*I-$Mv|Hy6u?U+y!*fKcVKa zJFpncbAxa-XRV&7LSGV4YP$??p3C95G`pivMIB7;c<)>0b9KvESC#hWUWKA{WwGt1 zwStZ12HFnh(6Rt?+BlRQRd@)t0+Uv5CfKf&+WuaOrHRHEdkRd3ZhQOPT~{^jpE@k` zVnCu0j)7s0*|76Rn64URgIr^+wyv?(Sl3R}-x@)hz0@{UYP%^7+OZ5c%;>w@;pnT6 zJN`zIfdc<@4mAdv_~sni8@QQw$)RrpBR!}7$-KJS?Q%Amf@0i{XT#G*S{n2l-aDH< z5BfFVnngXq(VlCkWxeHD^lEU7dwLf1dTBiP1OBI(l0xeL$qJE~k^-Lzg*9Xd?eQ$n zU<+L1bx#KE53Nf2Za!mIpPJHpmzoR+tsT2q!j;mkGmM+Yvq%f2F|3cpp zL=|DX{c|LVq12>BV^>qXK7Pm%OOCK;e@`e0X(NE)U0CrNoyT!x4fLaV;W>QYJlYl> zKZ5dN$nTz7#5s19UumZ_uOZNEHuuV)du=)n2cGV-fUPI&F!F<4e-%sfZ}P zD4kx7h|tf4(2;&!wiKOCpF~6_xJwOIqiaW%EWujBLa8YTQ#*t43?p*A{*XqgkzYi= ziR%-fF*eMzsAC#uQODp{AHkp7mlj%N3=I9#SF8`rhgo8#_e+2we5-}-F-GufEcAr2 zJo1}VW{tTLT?{#ve9u~;XVxnGVk&8(e(F959Y+_HMExoJL$jnl$K*&y3?nV5E;G0d znFqq7(_HwQ*QhMk#>XVlh1g}94U`yH&7ZgmESHYQS+#LjMbUQDacMv|SFh2hUJ*rX zl2Y3jg6*Wko08)%1t%byvDbPtT2OKPbVAunj@4vJh|}cLl7uvkfp#Tq*3~%_nSe|d zPhTf|;Qq$nu~8D}Tw;o66`Erf8CU1h?4&sU_pvlDN#JW^X;)I8&zEuRsN3ydG*?ne zc|VRKlcV@wn%O!9{Z#@k$*XwlFe%aMoo|i`rSvN z?bZecX{EwM&q2dGn*M5z=Oax_{m)TQ&!EcG#K7}X&sfICria18F4fPKllj7gtBJ?iNT6+sj z2#-rbuj>#dj`+ofyBe;fevDfqbPXYo#g8L*n@kY1$J(L#4k!ybL+ux#vk+U{_b1f&}{zQYG_QGcu^%P_J(u zuGiO}s@Gq@d@g}DkJjt2jtDs;?H9nDvY}1u2imU7-+_Zl{Sm05$tBRMpiI5>yeldI z>Y;F91VYfO;CI{e{&C!;EkoFFs>9k-+RNn(>r01vOEftXyP|{*Z{5baj_^5Gc6kXK z&RBa^Jk8~d=u5Hb4Y{v`vv~8~X)<(8r|b8=jiDFVrVG282=@VD`LlE5EUanG^IHkO+jtCV%xEa zdYm-Usn)>`tau!1RkzQn$1cjZ6HL@AB9e`drFv!I4HN!oEA)7sTf%X#Aw6+#$d{Ph zP&RKEbF!3&uAzF6sU|t8+A+L|7zop%&!pKWcHETIx|kZa*DZ_RK<(;_)RJb+e*j}D z?Ed6U_Hn_gFa8i2$TrsX@#N67D_kAssDfOYFuP<$fGO_nX1YslUkWx?ljF}9>3Uj0 z(9=lD&|i46z?98iPguf^cPzR{%hT_O`uKu0@3$~-1T)K4&tU*;z1{|tk{nKl(qsA0 zLufR;n14P5xhlmCnYr&PS~f38e=khS2^!t~^E|cBOXD*y(1CgP@oO$n)chL$`}6ek z`RQ3X=cSy#;`Xt4#1SiFbJ!s{iXDYbR^t_f*AIjQJ8Aqs38E|WqcgRk43cwE^^mj^ z4UPxo#_}Puf~6@ausw`zgCn>4JmqIp`@Mj-od3CjwR(d+kSiQ7jM2*(ivyNH;8^s5 zn)WMDbBv6UE;GpU7kFdB)cwB*CQIhe`OrWb$Rz&Z01~oxrmjP~dwn3zs6h?4!0Y-) z+OU$=!Tqd*UawTVYp0zlwS9(wd^V7-XRYS@-lJvN;hyDqAwom1gMrkZ{VLz@N9LTt zzWcxB;5XikJ9Vx@d_+tOu*yZtMU&ludq=jhZic$VT8r1Gzh(W(WxydZN$V{{VS z*cozPn8<(lKBX_roOR<2)SJ&x^TLFH8>4VQ*Y}#;8P?vyo29nvNC+=@(|<2C^4reP z$imPS+wuDAC`FSh+{hciC>w8LADZ6IgLq|OS5(4l1iPZXXRRo;4=lYb6S0}Q6dR<7&&9?Mo;eYFCL|> z)=28J_IE66-@3kTyRo_6xV~{)t8r_4YnyR>ow3%~(%jnE)_8B75ucpuHq~u6%U=v` z>$lc!ZP`-ypPDSK+uFSSeq-&HEzKKh+Zvm<8S9(3%YD_?Hg0jP+i3Qrr2K9z))b{U zj}GS>6$ZD$k$k@n_UR5+FRt%(QM9wQe*+!|HGr}eYk5-?he7-8qIdv!-;gM>H@d^1 z$)J;R;0^7$#(GN85xF}jc4}%tfj-L?4buRc4VHidO0A+89 z;y%!kQ=<4fsO23|yaw6{ItS@y95flU>@+$A?E_r_Y8Vm428Lse9|G+>D~cmbeohp_ z@RiB(9^{}c?~CFfXy=$Hj)V4LGiuqFAOrSz82b+PHy8vpegp%c>pm7mBfgRJfzAh= z1T6(E`$QBsf*uCl32OLM6rTdMgN}f5xXQW0$>X>Xwt<%6n%EC&2YnmVa!nK`84qgl zz$YZj=c2g7gVqSi<+ePKOFJI|dOM>zM`$vK99zM&XC3aATtpbVmLqPo1`Cw)AcE zcfhoWkS3;#!t~jz+(uxrvc82MmGznI9IzdTq#u(_Lbm6aNNX1d^M{Yq&lX4Xb57E4 z7MuBnr|6x<5&V`@^u^+cpS*y8s$-p@Fc16@(W(6l)>J}dj79i-VD~E+>-$4s{ePj7 zq7eSr+f-jv!XJ2tUIy86nr?#FN2o+t#vdM~UkP#izB6=0hznrRcdufEbIp8@LvGstx#IWFE0N&AkA;<0562nB8}vdgBspF4^qvKy~9~ zI$sj!?uX5EfK{W-MzqfZd+o9))}qc8>I@I_B`|LF)ETTgt#vksyv?zFnf)=XT#_z* z2`vEhJ3x()_ip)Va+lI(E}$YCIE_|&-fR$7-5d@1jteo`MH&C=!R!+9`)g8PD0 z)DQ5uEJy|WSSle3o!&_gE;Va9>7}KSnjRWmnp$pP7f}?1lT-{!h53pVj7BQB5J+W2 z`Kqkq(@Gy|S7TJZY>`HwCzeGT<|rV(T{N@CR9ogtowFBfcHu{l0J1DUfT4^o&&JcU z?C*GfRTik3Ls8}aE*_i!8mO6;xY^tYm6sRM;qm|%J=ae!l?QhG;N!47He_^fPW6cb zNyLToL8fy?i<#2A|!ohF5oDsS1 zg508d-dXCxma@|sQT1>CHY6i-;?6sR*Qu+dv|x#WM;hs)w7UY=t3R_SLe7ec20t>z zcghGdlvJ2wG(R$d`+zfRYRt*n9M>i3Gf&W=yJ~_Bb7g^tV(&AhnUSJar1D{FpcF@T z-j#N)2wOkXNj_+#`4K0DO2%$^TkV=NOZdO8npLvHoJ!xUF!T02N~~C{Sx5I&r1E8p z==q8wgx8e{bIABlWLpi2$uPvb0bVzBQu@lpntr-}Why_MM~7CLgU7>UCHDIlE6+jK z2ikV}YGq*YWTuQN)92W0Ig{qGbb=yf7|@Rud^}5nIW?|$WLZg{%2x%3l;P&f%9KpF zi^#=HT9!i(t}+MDjM6ftv7O#pRiw!y@5;cC{usIK0%f>=fDW4)*Gc)6<`6@&ES{x^ zCm{CbnJekB%G97vrDKHzEBza3w9;Zx_6{(qEK!8x(K0_@!7Ejq(pCqSw9IhzeTuYG zafIriCl%b7BAZc9sNX7hSsp#P+N^1zq1A!Khy7(G>C{JcTAE}CXX%u2^*O0D?pIa= zd0i^6K%e>5LQ!`IuIJdxDT+q%$!wesOlq7l#7Gs7k@eM+I1#u3TguQWcjNa-GRZsRJ81iWa*Y$vL6^%|M z0Ho_6w1$BH;HPt?<-3Z0*}%c-Za2O3`}x|2#@4pxP1|d?Qp$RZyZl4?!1DF8G;Y!_ z?Q~DA|3LMIJ-jBKCh8Vx1}ULF)w>gxSW#&YH3C%+H8?wCB^G~6DE|l14_Er;%O7~D>W2&cm_!%oGtuBBD8;zdo z-C}YJU2e?uR1^917K+}S>3Qpr+e+&!w%>F38b+Bf7-m3$0Y(&%0Zb56E{vfLii#-;i9%*3n2H8Urb3#^h!nYg z-Rkynse9{Z_TG!0S={^H?=|*`Wu|6I`Gu8r)LSCjdsNza|9w7eqxL+7-Q!`*&3hf2n(ss~oq zt*KdAzqIO}Wy|TAuxG||Cx){S7KA@ubWC71pxnz@_#IA8ftSPCSd4*Vg)YvAvV2;t zPq0i@(T3QXaBiuTUeG5rRjO!IO-%%2VeGzJw1QZv%Gby6RsvfMo)>K?^a{)R)aYQE z+f}?%#r4$+py{i86YHr`1l(sKN>zUL2H-;ja4`Tk1>k)FxGex52*9X%gz}1ZX1S}i_~AfTK!a#mLwWcEaC-pW9e_Im@WTOk%-(Z_&jjx>4^5cGn0KqcUXTuZ zx4fr+SJszuexAu#zck{PnS0aC6}l!=R{$|36ft(y6#p~$CvdU^@@<3ot%LZDgZPF) z{E9*Ry#ag^?{HxN!1=O4{ER{Tt{TRr5%Dinkk=SA0w*2E6jCtmk&GByehhBUP*hI)2itJ;^#0_#iXR-oybEpRO zxA{I1GbKraem9OL*lNw7g^`IuV+J)xM!D8-)xAoye~daUU{F2>_+W?j#Ueea9! zQ&;3jYX+dDrpx}f`2h!O-;Jg#k&(tM-hK;YUf*T$RkB8noi{I)D@2?fC3m+QGRgMh zbjGf=qxS=-c-unW;bi!>eB3`TC*W*8E&B;w#rNfhFklgOH5ryKK4f-=-sSO$+zG+s*?O zb2zZnl-a$`*l#jNe3VXeZFvixf{Hi+4f{>yAzNhqijY=Nc?T@LxkjG3#lGuU1Si^t zEQfrFw>5YKCW;{xxg6PkukSl?j+3$0VAobZ<~B8*zO$t++LMO0;EwBprGi#czM%F4uOLXMRar{ty`Q%q#Z&>M7%6xrVkqskAcMo!tjz zaXB7*BzmQp*LShR_iYJQMi_xH6}ik?{S9|*xuk12FBZ}#(P`d%*uxz2VCNXdu%L?% za-pZvv(U51Q*~kO%@Jh#OMLw$zF*}*i;IB6jA?5F{Cw$A@dqlfdxd?eek$5QDv zd##Y1O2Zrp2H|J!)rt@ym5Ln6q37W&F^g6>o)@x5QAEtM0*$0sW0DN31{A$jBk4p; za_F5Sq4(Ub*e`^8Qe=6-|0(i<6j`2>0{IHc8rEu9jk)!k7DYThg5DptAbq&ZR(#ZN zvXr>Y2&~49JZ}5FrZhhW@{ah+kBX&VTr_>SEA+GrmPS#-@J+U2Sz<16>CrgYwbV3f zznDY%xFlN|l)Tx80mHel5^*J&F}m9xMRVfD3!TaIXk4Dq=&os;H}UzZxweV zff5t%2<=J0n2Bl=-;BE+&pWpab%|pT!Z;K(mzhJ(#qZ5e$_^5Y-&5TPpK!-8`enpS z-2*f&rBXP430OXzPx0t;FG-T`UGef>_ehh@RB%y}ut!RKKX`o~iiuP*>TFCgau~K+ zTTUY?;+zZWRuXHdC^bcQCoNCS);a09)LLVMsLH%J$MVRQ_C@HSZ?R9t)3vk=!^g;x zm_^QVJEfHO!AoRk3ft*WYhS`+&RoGEzDB(JUKH&4?4aB57&HeCt`{ac*`b)VcJ- zDEc%bQ9l~WSf`70*_|S6iz25xO*m?$5_eU!2Q8L*O`G0@ddM~C;aK@RlJ-L*+e+WN zM+tw9l=V+qpr1pHnQ8WEa^F~62X8b~X>{5uHyUq|8@*+f8+~m?qfDyJ%ChXj9fl8W z8tx|Orn0W@4}grTTYQ3vg8&EUqxUoGC~k} zo!98mT!-n8Fs%e2x=TGn`*O2|rDsUYT_C&U>Z$3+1RBRmG$H{mUzH;h(J?3#5PsABLKYB1Pu+WsQX z^=*}|I(`>f_A(5c5(?ShL6ym19>^7K5o2&^Eolpx3?k1@tT;gp`THjBg64%dqzyT- z{buP&j)(jn-^cOq(WxjNr=@?$6i%F^C;yNyG%DPECn>BTU(g??DFtc5^)G2nL2j7q zIMo0AIlWep8twWV4%l)-w<*WdHu={Q-&Jp0#^GT4p};9T|2dfpht2&XqEg%dwFS6u z>;$9czYE>R_$VL2%#=H>oPkf`tm7H@xTmbx_oHX7$9EkUwTy#+=ai)0kZ)*jAKlwj zxL^3s(v>>eF*{zz=%v|zp~H7JQ~4YxHP4A^;;+@2FkASEB=MZvaY&MSK|4VQK-pnQ z@*`bj9g(CC@Xn)>WCmXd>H=*B%>(TOEd?$8Op@w3#gGR;{h&kf7IqlZ8UKN-Y+Dn9klwSB)tLZKO;%sfSR%Og5irgP#0(~Xdb8&JGlh31GJjs z=Ok$ZsQDX7>gMwEk`#saR6mZ{YEXs~xD(WjQ@RJ#iSwL=Ho*WYQF!lb{{aR;5BEvZ zv-~{}S*R1V8nheK584ar?8nSNn?cP8sw^bJ63{y2>}JqX+#mWt{h-4Utyw=IPC+|B z@8>-3A-g#b+NaY~Y*|WN%cqjWSAi9U$?tD2RLA1i{4oYk3(Jz5x(=c@uAvtG7FLg6 zCvg7iuNAJd6F)uH4Ur%hj&HVP((bi zt{Ny1-G(7gF>;nO& zJ@O5`S>ZO6faT#gQKZ_trZqVbX`>NfBUSAv(9yuWz~*yomC<<*M#1qS;O+keuLRx$ zyo~F6jZVR9)N}oM;7;68WINo4Q;hmN;5&gY1Kx>?;cW}DL%YGBxEtczR*bYxf=pV)}R!3#Q(OBY{26qPVP6|XG7 zrt+;!5DtaWo|Q`l{X%@ri>6Vlc2m!)Y+W@O>b^x+SL*CBhcq*a5&0Q}?{a!dTy58N z;b{vR!WwDz>Z!VBdL5jJwS(HTdjmh4sI7yTg=rHEFvx-!l*{zG~hok7CQX z7YCIfX1n?IE>IN2a1&I&-rb7Znf5XDR@}j4cj68CmJ-C*q52j`W`bBOGgs5!*DQ)D z4mh`_1qs*XWea{fdG@sD zfkiQWDKg5!ReRro<;@r+)@KUeOovhm`GsKGP(OU}V9!|5NXLHfnPIZA-+S0CtcgDwqt@a+GPr1!x6$}cp4rZvvvyN z=)tv_LQ6jFS?iAR4_A~LW?!qnMZfY>5%SJIBgOh>gWy!nVx`)72dF)OQ3!GXzT zx+?T1DZDx}R<7Zc{h)nX)*x4}Q>BHfy5^u=D$dj$pq<@+QE_uV?Rt=(Kl>lF7q{D# zF6Hcp>VQ1SST=b4eQM)sbv1C@%4Hw)WxrD5di&yDIk_SPRi6yO3CyLv>e^~UOi*!_ ztXRiV$fR6J|%l?_`%XxrvYI6Pu7RxP7x6p8NQ_D%X~HD1WlVyEpbmhfiv1Aa5T z&@zsmYBB4zYoDwV=CfFP)ug1+m(nQB=Qe0L31`k?-#AO5Jbc{z6xu7$9-rHyZGVkE zLKl3QRxK@Qv^k8@cDN1N|C9zwXz`9*!_6ai2E7PY%R%}X^wo}BiIsFZ_`hy*-hm$>1jULk6WQ~+-4`GKkz4`2Ii{lP`Zs-N7+WZgxOL5 zsSBglg^|46iUV3J?|-)HoeyiSobJ(&YMf{O{aa)1(k8b!OBf6}N6Ya~GrI!A!tsBq z{N#%C{^oGnFPL~Q`r0j+&t$)3bnoC3>6H6T-lXsy9_u_JVI>-x{&d03-N%;;<;)GR zfud{6@$}-uYigI2uU^d+7uT#@wYqX;t-ZLcVmW7DySlQroJxkhk--M+#d&k?oSX8; z+VY&hu{C7tnvDOhm{IN=bf%*>hGkk9@4-DzHeF;?zJ@k#e;KPkj9aYn4uyB;R?ySB z$oh2}8c7ST4BW!v|50lU#7U3*P5~2f5$_E;!puXHhoaN8sS-9@%}*5Z zUY7=%Un%%L7d+6#P`e8r?1Fc=;3gOR_#h6C2yqc~4GK6ev~BzF;qE((BOEQP=D|CA7#1qwqfL5h!#S_5Sh(!8owE- z&6Tek!mk*@mk;3=4&n1$_<~U;2p{;6uUBU5^AJ#Y zk0Ja6q%YSM_~#J*yCMALA^f=^{AYuF0+u{aY)P#}sEI8Zp;M75wj!sz$0A00T$W`B z=c~d88Kn0&@pc;RADKVH${P55f`p28TcIciE{54VtzaFfh%Fw^Fp@q{8z?q=Ol5U= zgO_~45ZS zD$)T9X4dSHPwxe92>;_mCdzeOh4cs1rD#ZdpT$U|os?%vu|T|b<{o8c%84iEG5&cq48o9%puXF!OUn>7qqi6 zF0>Wd7TOlsihI`#4#3)x>*&vQ{HTmsS_B+s3{7?Lrt2?A{~$w{$j4GaSgatYQhnGm zp6FVb*{lDb%#8{?R+E3Y#WODzYnn_M;ji((p|8SU<=tpQM2uJQ9aZT(y%AyYJp2nN zy-HmXXN6BwXk$dQchYTD{+AT`?}!-B9Vt*)u_LnC>m9^XzhRLNPcKCl@!RNDq}l8G zEme6rg_>hMAA^PzN7Kz)0@D=%JX!~5b+<5wmSU;L938lu#iO-L@n#4MebNDtH7tN) zqSARYEsU~wZ|qae-buK7UU-4~p zV$5v5hC<_ugwL;1=9mmR5O33sx+=?#_oee~KgJt)!?Y{14EN4;+z=hdq$mm>cRu7D z1Sf)|C6z;rNOLc1Q6N=PK*A{gNt&Es#fq;;Sf;PLq{&3bQEcJmgtML}FT%&i(2>Lh z?~T#QI;U>5(7nV_!tE%ENfP2l_-v;U~7bMA(AFo=lkA-IcD}uq$)i_ zuUVt{dDLl5;9sVj*0I9fkrbX%9C&M_lFGKc4;votXoWOznOalE@`ZFLWsL9_Gxb^H z1vjRhO5!i#gYQN#lh`z5Tcbxfx<`}mB58X{yigiJe@%%KjzubshDV@L5=|PPZ2ST@ zNj9FlpisX@8^({umb^Z`oKGcP>QtoOnW+)=P2GkUPQyEG^KJPoY1kZh^5!Cg#Wj6z zc%c;n(Q!{KyX*K&?7S*S?|voAIgX<^bqvoQQGD9yCbm4Pv$bSfkXp`*E$*FgJoqJI z=z4^99AVVF*w~4*6L+ECu+Ua|OQwM%7WoJFASL_J&DCn=QTm>tiR}<%U?r2d={CFEm$=YUI)&z>f?5U{e<1{CFXM; zwEC3YaJ@@R@2dL}%n1kD)ST5dUc3(uD)z%rMU(TO*Fl+j%@^*d0I);h%Pt5(uY=#x zk@@{mx7t*(>_ok-Ik$yNKW@nFY?;NU_im07%l`flYdkEZU)$^>mUY{j=lz;X?=s{f zn2i|^a8<-QY_b>|2T}|#euSZCI|im(FNrM)e+gxq24^uuW@;;FEVAg7)I8lP_uCBd zM-XAFpw=$1TPA!OzF5Fkv7iTg^r3Y13t67oT>CqZEK(KRYd8ToX&XAo}^d5UKv>9@~ zLe_EgG=9_9IpB_^4wsfgu1pxwA&mr+)6&FrA9LIk9qtzC!?W~FYPRXuIAx$e1SsK92<@H_E2IWf=Y$;LS`ZRc zg2xDp)Ow4iPBasIYYlpOPQGdxsuN3 zJv`|SOR*|8f}MM(5K#!SMLv7+908YLCrDs!AbpV*Jz*yskd}#x)El2sYE~O7$Axj8 zb|qvnjIhBeTJ<@lq!$HDfwgz;V6Xnhevm7qL#OHW^cg|_z;l%}`!i>%FGo%4I!!;O zo4o&lM=?x2a7z%GCp|4R`qOVGk#NJ0(k5?8>O;FVeh{bLK+SGQx@~yA7CUKc{~ha~ z#pgXd;W@8p4l^Pm346Iz!Q!6Nb5e z0`=;XRGc{`=+4JjfW`;>mQ-8I^dEB_w~-L0=;^ggv#{kPb!3Lk6ZBZ_qLZ?`05LP* zGkBlt-HE0T^Wez4%7yZ`xEHev<>$7%9LGP|@o*o{HVH2Qo|`-70b3R6#Shz(Y}<#w zHRlE&W;QQ~9iM2mk25P|%p@~sj$Pu-U3_^fefLBp8K2x!|9IVs#pSEb)pqmZ%9SUi*-I;{+{>3Fdea}DY|`FfuvRvVY*AF{Cl;vju^n8Sdpas~YBcSc4Wcd!Lu3MG^kWwl@$Ak8O zilC-XWw{7+C+I4MpO)oqpgN?J9wzURWeXlR+mV%4fes+=b%5${mP??fbFyq?uYY!; zV!?yz)~{g@bT6)0J)jaUYH`D$i0j)F&~>2mKzl%|K+_})9CRn>E1+U8+JSDpF3TgZ z$Q3uRBA`8>dqG89W>15*gAOnrm*+Guyf$> zyO;z8=EYd|{x62jL|Q=(;A-)|2Y3ng$63s%Y{P#XRp!O;+0>F3CLBLZf5?l*&GqBF z7-7%*)SovC54IWkVL@rw&Ba<%6KE?ey>x_D=7$Dt#m2ISW>%PpImxA?^jdx>KR~bM z2UAzRd&CIrZYt|t)F%sR%E!@|f=7jKyJ=0q zEW8x%ESSwFlW*Z@ybw;uFGr-54EN$5*Bf6Hvh=1G+_LoM z7WXWD+%}JFee!djHho&-uxx#a+fu<>pO*c;KH2txJ}&Dcy*cY+y(#OY-k9}?UN?RC zMtz#?KL{7=OB#ng=efzMuk@IN{A*{;mc>yW)TBRu;K@O^lg zTl!}4fF0#2qFQx@{;(j_ z8}CUt76|QE=;VSFca^-0vb^q~nv8JqXxnb9*3+Kh_r092sr!guI6I}C zH9&E`0(8FA#`Q-j2ot5?MxvB~P4vvdM81LcFO1}O(W!+=PZ+f~hHwd`7_|yp1XeHv zrQirxN}u+o)`^=m-q}?TJ+WvSUqIUzMH)jj@L#fwSCCk-(h`5nVg|n%pB92Bxp*&z za;i8DzuqNR@O!Hym=C3>(m*#at^hO`9{2>f;anf+Oxjl(ToV9W~2-9U{2mX1E&6t)g8AVcAS}4aZwJ2Vi&F@iXO^xGd(vn1B+d^p0s2{o% zQPAeOpD#tcV&&&cnxWwSob!X1(j|W8D0Y6nbO(`D1onMSP0y56?knuermXTAp>v|u z#`9RhLD>%ze$dN&gkCS7iDkT2o|uxUIeEXT!$rZ7nNnAl3RGzLc;H5Ck+Feh*=O*r zwB4R0z-bQK6ZtN>We=|3hxZ_?OjKsTaVIoO7ue3Aj8+Nvm4+v?NJdd|4(L4%@0zT@ zoYMzGF?=?nyI%aDUeD%xv0GnaGz=XJv3sa)Tz-$VE-5Ra-@5R;3)$ z=IZ>AtDNhQ^lAEi6tyh4-Z*3^zR25b0!D3ZoX1|chVRi*V5{-|j8dgnehFM$>84mg5`Dgq0=@Z%9>n<@`kT*VMTzIOGjY zy6+KHx>Y6ITTIFyVZY@)(D4{G6ws zlj?M|dwrs}^On$8McwNscsmpQKo$9InBYBl)UBW=H%#z#o^VFx1V{MMt_{gv4a(5* zNtU`dOo%XRtZ|hJs~KEVp-vBfO4}Hs(}ZK`)M9_C+8FBuI%wC%iC)fb&(hhA6TQzi Ns;xtL`l5E^{{du<86^M! delta 7287 zcmZ`;3tW^{+JE1divtQX!)=CvfdK{-6b48TNpwb02ctwoE{e)lvTC8IU}z{9qD;v5 zp-=U7+s&@qw%_hzbYZ(@ z^PJ0j?7dg$9p$^sVVU8aOiqPyjrIG}9uMxCsEAz?_YY^SdJ8rAO|e0VS`ujLX$chg(ABHAY^dA3ZbN;|>KoVI zOuwJ-_|+U2#07KyoFD!v#B&12qQN4SiJvzq#h-)C4D^CwPCJtWI4AAW#V5E`v~~a8 zi01^ZRFyrl?9Z*H!@Bt9^(q>%Ze0iqe1j@CSk?t`Xj$`8AI)TeYlfbYHZ3|uOr%{CuJ^}5IQMHdk3lmeW^}#U* zV^rsZ2all~*XV<*i%izG_~4jpndJ7{eH40C!C03M&hks6dwg)C27({-!NYv;Cwy=< z9b|3yMsB@aV4>FXhXK7l6{2Jd@~h}=Qz1-oV;V4 z+%QhA9Vf5xk(*hAD}4YaFB>OcJ5HWIPA(WH=Zurn$H~b*%gyqLtv>^@963%787Bvf zlYhh>?i;ax`pV1PojLVbFz(KR{Mj5QwqudJ!t!2RB}pL?wB?G{I-4@W&HPqc7#?4i zlEG?({54&!*e-!0Z-?8LA%v_8_^5wMDtG221XkUqYJ&GiwL!+x7= zpR>7&UJQ>Ba;j(`+?tjHkZYK_%-vcL#)@vwr}dNE9R*PkM9+_sB;JHZj|PNPkuAa* ze0dh~MsKkC7ts2M8~MF-JYqd>rDRP3KV35e9B%I#^g>%@#7SSJhZx(kOy;a?OR?GS?U z=-TMm@E3A_cJ)5W;z&F-MOzD6MLE@hzDa~2(cfVJEwuF+7D z>BY~!lcbulBy^P*cNX-(&{bCC`N_46b>%YZw$Mt8Ba34dZbk*S2SZb8xjkPLdp;}n zToe!3(IZS_TVKQS)(d>Yr=pWyvZT2mgFEabd2q83#TC7*k1JhOu9dD;uGQ!FjCCNZ zuh=tE?DZc7HO3?h@wxP1%zD0uf@5t#!nZ6}DgzGC zRk8NKh8)DyNh@Q2&mX2MvA^S!=ss&w(8kM(kwizW_Q11O!RXI4Y#k6TWz+rE#NauX z6#cu|^oBJl@TqJV>>yiwN6-N7Wh44kAqn(!d=>w{WVG3We)vYQ?x1{Ia$qei#5`JK z+ZkCTE0EGUWUIfOWwe+>qqfAz=W!!(XL;pxhO#oG5&$iUiJ*B2GkGWNNU#TY3@dJ9 zGU-nV_P`$<@Oz9-C;Yc*7|U9JdkZFZL|+xM9txHl>*=<{$^29FNMa)Y9UV=K4}BkY z;@pdho0D`YF)8&~KxhvWCf=qfFh|O=tI=OP3DvO?eMN{VgXScCoiG_22cUk|!&a0r zf>S7?-<4Q^l>raZb#}Am=vS--wr1god45I)4A#@sVvpxPrGxgRaW_n3uCSb8RB>3m zMqBNyj&(j6k_!XZ!bBump8PCdNX8TkpV~7mCEJgWqt&T*@TcgD)Wv)&<)>8%pM6f% zsReX8&85rzT#`IT#EU&~Q}w)l@n@2R{4Vx zG7z`X^z;<|23nDx#b;7y`ufnebE?kmc^y+2kTDSW;aMd4Ogfj59(+I67&@EtLlVU} zQiSkCn&)uyZ_+-;{xAu;OZuIWd$AM1CjIk7a%3h5{t2`+bDHpYBDFy3u~DbPLN8^m zj_I;-T#;wgGcux2JIW$i4uD1CqXe3fWfeFZm1UJ1H^Lor`(3=EEvJ{W68U=iI4hlx zB7OE$!4glivR6kMVSv4C=Mne_*bQIU2i8z`_EdfwoykrW95ym!ry={V&d#N^SEZRO zam*v;47;r%-~m)ejoNrRl$|E*veG}Yrw9w1+4`nvye{PodxDSn1Kcg1Il8k)-);=U!pARF}T!3?l03Z~bKW@Tfm_i&*h~ z=;f7Ngiv1xp{TQs*yX-zszt(vquJ3F(7$=<4hl>jqeQ;{X|3#jlFX6l@Y((h-Mbk3NPj}a-W$jvl4SNaf#N#T%{am2JufyWqB#Ut#aPMdBt1u4zX{5HqWYx zsD`({UB>SCGW+B9d?bGPKAoMlAWDEjZ0^_6_%4)0uAgQXn1kbR&qG%uqoS$0V3%+t ziaseIAtQ^m`wMLw9GDy$&aqZtdf6tdDnc z&x0$2!8ow7cZR%*t8H;-z-cgfeB!!Ow8r(!tOKw-Z^a%jA3{HS`X7b|{2G6T;a{Oq zQ9Maya~;C_AJE>p1wx}D{q_U;4wCL9<<3hJt_;!*^KvIlKMC^(Ptb$&QlsoA5P;Sn z`JFkg&iOwTdoH;<)2og2;XIr0mlFpHV@gwSXBYRuY6Y%9u@Ka=>ijV;>*Q_>j4g_| z@8!et!c^t3{JU#ek>{VTQkUlnZf@yk0AF96`XdX9`0nwZjfMLs_82BP{hliMny28U zaXd%KOCO<<>szS*dV4eb^2V;td0&(yc0gvnEJ;J)PViCiu2&@K9Jc=<@Pm-OeUfB= zYQj>B1V0E~3T}H(lGZZ(v?T2Y?|NU7 zyiAW|jm1UPIS4&?3zl#%co%knA@GC$kR)ATGaP&fL)>u<*ndmGORzOR3f=IN?b9~LF49o%~Xkpp*rDM@zRo4dhFz->6H>X{7Q&E&6H zgmrZLvJ`6`qRnQ3E1V#I(AiO(j-TNLM2TKsmXzhj{KzV11!A9N_4qk~mtbBrvZ1gK zzg~(iOXA<7g0dK);s`A-OXQ!X9c4*E=47@>ey?Nbc0$IYn|(YC;RIZ zS8jS08n>UfOL5x5O^wC4* zNkZ(~bhJD}C_YZ#md6QA$0@2JuHZ#X@*34S8`X<2H@}OF^1-~o3W04?G1fnpiQTlR zA_gPtthk2nrGbiTgr-xJQn`rt(x%GAd>f|^V1J@x-#^W~uF9E)c*}Fq+f;&{l z{4@c-N3&;vSrDqr1AZs)A>iG(fIYGzE6@wM^dlNvkrC*R#H#+7LaWvX)}!eCgmzY? z1Rg{&;v9;J88*~^2Vw=X@i!=Q^Fs}Lghg=f3Jx{6LUpc*9BX43Hjkd8@2j$d3n5NJ zB95M;{FQTq>QS^IcLRu@^hl8QF65jjw%2CxCG^MI zc)o+)taXH$H!3EW2$@E)sceW#xJP{eK^rplBf%M|47pIWVGeI5&xUy6%mjLJLye$g z4{=d6W#bdnzcGuiqu{#F(9}0|rsy-88^wwI*ALHbW=hy(;`{M8(r+Sn4=vfWkZ++w zkn~&^xXCi)`@W&p_T!9Pql?aNVk0qbHZ}K``uH6)iX3}8^VRxsQ5;w6izsD3&ctbt zo4#5<&dg~s`X!Fo*2#$PQww{_vv7twdVcc)yg>3>9DFrpZ81f6{nCodM^yo@iC+56 z7Skew;)!D`kI`!U_wxqX27F zoE>Ebq(5e2(bfg1ynm}hK+?RrHG}V_Z?>A6yYNxMh&}2udQ0_maE2mJRv33i#fRBy z1j(BQ_zzmkDlTstz%A%L>yZIBT}H{O|0yai&pbxH_tsRT@1a|f8n}8g3Q#RKsg~9B z@vRFjb!tbhR<+MU%SOi4(cH$2=pp%-!RxB39){W|U_!{#=*GBDHZF+nPEi`rcHBdAl=+Iqfex-)?8y4^wjw-5FlZ9O2MHFA|8tI2Ay{4l1;vAH-@Q`&uRRw46=AKg0-U+o5@no0xaQsJs8IIiaU+(rU8#5Ogon} z-adgWcVq->|D`ipMN99<4IbNqSJDB9+99M{Nhj~fHEL&%nH>ork)k^?gS5P6U#V^tTSPP6emR;FlfA8qi45`(_07-lEibh${EZ2(H|sNEV)! Hx5fQGTjoLW diff --git a/examples/more/03_ci_beta/example b/examples/more/03_ci_beta/example index 4ef9c171fe885c3f8242278f7849fce810ba6b5f..86bacf0fab2ef9365e4a7bb16ccd619d17746c01 100755 GIT binary patch delta 6900 zcmai33tUvyy5D;bkC{ zkM;V#Z|%M4`i$@ToNtc^F@J@8EpThWmx{a_O1a5}c`M3$a5ufAtS^w6lE~mfuO#yTwwAu) zTMT~yY<+ztOO_7=z*DNqKxL}oL5?A)g60F=2DEet8bED8{|2;r2&$yN1HA_H;UVZS z`UdDo_3)t9A*hC;)CO__eSQe4qiH}l0)1@=8bX`Y2BRDz($M!0;p*vi=$wJhks+vo z&Z-T3#6Eu5AN-!y#VLhCjvEjY6#G(i6L@_!Gd9q-=ND0I|5h9QBRHF;?|UJ581Fze z6;Yv$v2&cvO1P&Tbx&JAv|Vz5ZJVcpc85fbzG&jO18i6K3;1!gWvWxb%MnG<(Uvog z)nCF89IhLlN9a~aTuD_5lM1?#%t+3|kQ4P!J2~!FJDP8y;%M{V%SiTMgWj>#e-*2@ zxEoYruQsL$U2q3w3VD|#pZORq4;{(pQ)_5+@_azt+R-JB=A1ZIb-2E281C4blZb}L z^|L5?mY~b`{WIy4&}3D^7%Y-j=ifkl*knGF9AOE(mR5x==l@7wgqc*`w?%P4JJ`jR}GCM?rXSkj5D| z>5URc=QJw^w84JnDs57y$DfWEzCImIf^)&Bz*FQi9yY*w z)G>h*sAJf3-^Jtq97RV(L_T|qb%2R5JIrv41n8m?s3kijp&&_KTlyJ^?9O)(94Ns34 zfezxYiK68Ho^0|>eu5p0 zHk0Ves8JY6NKyfBq_U(PAiZ7ysl+xfpNHL>xK-nVQpzSGf{2|(t zlFI)NolhCfFQZ|j%k`@b*cgX)^Favtk3<7O_%k()9?c)6-J_F*!{OAMk|NZH(eTlk zlr<(Le1p^-HY|dvj71A7{!B$U9!jr|P7==RC7nk@p<|_#)U@CUNKb4u8}yQNsGgRm zCJGlrh*FpE(`YdDcl_5h-V)W=(yiV8DO}Sw$2QwmVk@?}Zk5b(G+#?<`Chxd9Sn!- zC&%I+T_+u#mj%z07e%qa^&S$2_VGhtVn7N<+k;A5o862gbl%bC*9otKPa=MPH0E<2wDx$F z_G*_SyKC)fG(K=ar~Z_(`ND0qAX4=%M4@sX^eQM5um8di6#!KbINb#%=vA~gyK}#P zPtlO+So}ewZL715%RZuYcD7CBv->v1Iu;+ji#5M1WMA17b=YXuH4kQJpE`!2+g*eC>6aXBsfWRHxZo|?m|S@Ub!BFy6h!&y;($$?atP7Y z3bFk{BQ)XCaK=)$ilsf+qYpiAekqDmwl?hYszZUfy_7J<^t7DbJVG0T9j8usj;)_Ux&0T_P(#$~o=8CV7I58j!*#2nF}DR3R?tHK$9MYnT}SnfkfPS=fj z^KE6e`L+eNg?&%^w4!|4Z3CFxVQ0e@37Mmht)wgZx|b5 z$%L*UdX$OcY`G&^4beUYnCWrd>F&OV*$KKe=#NYcY4eWQ%MiQzIu%)LdGj!){FX}x z@Mgx@v;}97aa=vk7yCO0{jk&{J@z z&q}$x`0gq9uE*bt4QFTGaYPh?Y(bD49|&*>c6{h}52Fv#z^G?y8E^W7ga>}kuY6FNnoOd2lA2D8oh#IxB1>kJS_KXigJ!6yB=b$7I*>Hu_7{E))NAk( zYA`sU{r$_#HQLI|bx4WI>YFgkqUvo>?_@BKbhooD=-=_a>}>Nt3L?$Vll(d9$G6-dLk_&YR;b?1gV8_Q<~R{lG4S`<1+LF*B?YeU*zs_?1SbCic$PEyXSOPy z|LWcsGvOuS>D=!}m`w8$##+*=#+W3MJi)}75|*gB3(vOFceybXVcXd_eeKFcm1|73 zRi;HXtLjZF*VZ?f7FC)mOm(&OH4QcEDoyyhs$5#R#)92Pxhr2^v9fMO<^QKLt#W1U znnz3(D^}Dlu4t&KU1h4OUE}Sms-k9vU*!^un)caRu*a+vH(J#a6Vr_ug)0t$$MV$crIYS4brji7aiw04Fg zQ|t!qMb;T)e3pH&mF+m5+d;c7VZflhUx}g;Uu^wfi((pR-DSvumgB`~BWM%e#s)#% z{qXXDr4U4=3_e_hWYPfI0lE!TH-M3Y)`9*F)buSBLCe1r#WDEw%f*}Xi=Z8#M?g(K zh~h2KcF+hcv@srz+iK4_} zY!vpD+JL7OcrIIgxiFb+td8CBeX-&ljN6Il#gAySJyPF~&K9A`3S)KQankGd5#hPm z%H<43VH^&IU+kiD_DH^i&f0NZknb0L2>Y4IdUR;ggs;>Z<)mSp3C&_)o)eUjAIICN zB;U$6P)mM{@JbK8njihpCG2h`q*!5NybbBxQ`le$@nSmc{t94^$QT=f8CVan`&o~Q zC|+Zlt6{$Cz>^E!?Jp>L@>HSs3@rnBF`^^E7ixqR`b#8>S@c_ropL zL5mgEYY$w-Om9rFHa?6Ni~Tcj5ED>tx<>bukf({*uE^7v+Whh~N!$GGnzSbZY?`d* zK)a?~u~blNvg`*nX}0$@NqNUKro4|d5qTeLba|g>l=;IR)nwUzgSkjk-W>Quz&8Ij zzwL^r1SiJ@a@){(lZUQPnc8>;)w(O9I10mHh3#`cux-HRFrZdrT8tH7ICJJt{{?OW zJ`zq{!sHzqli<)OnS2)TCBP*+Z1*N>lv%)wfbRz0fv>nX9qAYweDoS!cUS`4sE)Z# zaRti)(%|7Q_R~8Baq1)}vB2nM&BTCKRLwW(NeM{dSOkIxf#i>?1UoN{3j%Hmo>mzAS`Jefa@9hsr^WC}+A+;x6qf9WRXGF@&2%2ELnOXXx)!aXv#{b?>i&Q**v&_u)qRLKsYv0`YeOdeGk_LE|2T2B&wKYNcUZq`8r-N z>q?&J13{bd@X~1hJZoWOf4rBaV&RK&84v4`OQ5)7i*V>c`tMnZ(mHP}9!W=vbt-oA z$a8E4dx{O|cdlC{ZH}`@c0##(*TyDkMQ|qiq1Y^T|`}91LR|O_*ab-aGI(_@B4SEpw(|bVu>qPr;=IK{ts~O4sqYlq@wY za>q)hxiPTGiV-P+sTJMtZC85qOhWalB1=Wrp$iZ2nC$aq=~Mb5Ptiws_N zg0#%|0Kn*UaDg_>?YbV*O1XGuM;op?(%hc&rsg-;U@ZGt_AZ` zJ!Cbur+ZCKkmvV{EYw6Z9@2;ExH^1|up*^rMycW$Y&O69m!V+#(B7pMwePq=Hn_5MvY=B?Mztl_7ok47f>u{sLwrfsM;(E*x7wn*lb@)s zdOY=3r%_RjPIdR+KQ%Su@0?bqLhsmmX-`dUl&Rd?(iO?nOT53t`-f7|vT`A9IPG0F YPE}Xt#arm+vhk|#7I|BdSkajO13>?Ci~s-t delta 5492 zcmZ`-3s_XwwLa(Yni(E*1{h`rg@Iv!VUQU>Q8bV+7H~iiR8X)eXaqsq1S=-y)(6Je zWMW9sWtzk${V+E-pXTdWaw$@P>wa{z^DQkGu8Nyaxpga@im=j2(Y(vk zqf^8Ha-t&hfKWV|N=4Spe*l9NS)}#6$zWEs%&L}|cJiMlw@+1c9>m4WILcyrRj9K4 zyAkdPiq;*0bU_PZ|9hKv|HXILc6?J=@YS|W+Vhvb@$s}e$dP1*T41&uw_fhVI984| zAN?`y7RK_o=|Yf+Po>QvCK7{p@G)|2Ah?eP76;R>Lpu0iN)9zqb?EJ=#>N$owg05; zv5uC;M_ZTC!myVo!4I643+96G$3_#lW*~D_HlBf$v|tYHPE3PwMRq2KaN{XQV>LXa zvcAo~fJ1}1X|zydT{uf+W82yynWyKg^2+!&Er(G8y*eyR7Puv7XXT&!porX%y5nMC ze^kDQE@)O*)JB=R)2KADT{Y9|S`)pdjfnKBY#3O9J^_0KY~3g}gzkgA2ex$-8%9|= z6OGeFM6MdeYH2>$2C&bKVk4*v>$N)7LIic|PJ)VgMHoZec@abM{Z??OI= zU>z;L|A4%wviB)NIIpSwPy?st*wD(FeZ-&Jtjt!{{?Q1Nz!9A_~3PKVLEDda^~-`Llo zm4@`zP7J{vR1x|+W&ON2Xj9BszL|E!BxW>&;#OwXdN&kKWmT{5%Z>=|rovJP{#Wly zl7BIVJRDL;H)1lhTgSmCdNE`xCC8TXwbUA$%Dd^s*k$}dx*MCMy?9TOM)dU|Z%~TS z9=b6THbkm4{)#_FSBlQ=Cm_y{jmk zcgPAKIiOHUqIr{cGO8o`1(B2KO>+akpLk1>_RJkc`YJeV}{%! zR@gNodPA_iMejJ^H_kkc!Y%GnBpUhX&kK^syWq()fX41C! z)X+#M_+Ozz@jo{;rDETo?!^9$=o=!RhQwU*G%XvG&fAE_*o3fDdT&f()MY#R*uGZG zT%=25QXGdtVLXiLpRP0%+eLJ*u$x=-H;$vJe?(sw`7F7{-bj8qMOGeU6C~8JfD@== z+Vvmd33-nmPB6#6b&Cyvg)lqJ@JliwCX`Tnf|W0!?u1#1$8F4%p@J#Z9q>=b#>%6z zJ_&oaBo>FRf`)$sl_$Q-zeBt=o`1D>tTi`?zfM)Q=lM%?+E&G{AZJR0@a}c0wiVK$ z6ptqEx+M7y`akWBvg>)#dQFlld>1Qx*S)@v{rok`N z1LZo(_{p@|u{qjgVMlVUaS0F_S(2Ho8OeMHc`~wu56sk_ku0Q`XpJMD{wJexOgoZ# zneUEoWJK>gEW0sI?w9a)6Qw&7_;xCB))}5PDMmj7G9Nuozj505FX)&vi+7Ra%;cY^ z%*-a^O>}PY>en8GQpjr%a0b^{KdKFM?ljYihzmoez$rt++8!#w0)w!*uyvNo)3%1RT0VyHK3F;1b` z^)UZ6&2=Tv)||qrn=VOG$;K}}#1+AL^krw^P2b>#OT!251pA8ZWBtp}E^k2@-0Xr- z*0qu8R{CyueZhABA1+Z$Zn1d}q6qp09~ay6*=5A0?C?Kwi5}0Lk{okUk`S+d!V(a1 zY-$&xu`G|?c?48eM>PF8H&ysjq?@^A!Zs1U&kBjK`*+=<$HtrWzkq3EICufWWn7?_ z#^(s77pQ;ylfwK9C@N>ffCHDP4RXWSZK&)X~pd^60Kg-FXVTcyxHN>up;<$ackfc9g zKVIK?|JieNJg+n^9u5Ag^MMd-uOuMZ%Xiv$mR@Fj$oKg@jK79K{r#t? z^dYzK*%^BBp+ccfk(QjH%aHtolvdyr?wzJt1rx)9PeFa%ApN``BQACj4%l#?Uz_LY zD*3j;_m#IRYgHH>El3j94$^SJn3{+2GU0E4+7EGeO@J`p)8Lu!S#V|VXKa?wU}ef> z?3r89RTz#8>6ugJ`>Ut6%y-*U^nt^Fk)+pv*;o#H9oU7Xo&}0$ zB`G3^TgNq_G7fKweZUG}_UDq+1Z)R(0EdCkF&=^VCa~!OCcxTpJPUB7#V^nfto{-c z1~&aolJGvswO^Jb2XGiz031T*?Eoero&OP74IB)?8`3URhCzroBuNvBj=&_~05Bie zIgF0Lz7a{<0qnUgNoH)6h`X&A*a>V04gsyIDC17EtC$BV;Qmf`Gp zCg2f|NKz5KU!0QTfcNDl){KH2$aUaJ0-w!xLoH0_1w7A@p(Li#j=lOJYbl8me8i5qR&ed$ z<}&W_sH8{XHO9XHe(%5F-vrO$imqk)%yHf*4b$Hb-V0u~D}_Q&>>X+$f`D768c9V#56Z3YI?km znahS)bAxiH=jw_f{s`iZ8}yUuQ?>7)%3?I6cX{{u$I zW+d`kY2S<`yqS`#e%m`(W#(c3X0<7Y9fb!=5I+3+|0S>ER#EayV^BDkPcvsu&3QwPZ~%NS(jG~}6O!s0!UO!%H#4#`2j zS#EIKXBp|}ta3~C=+8eGVzDkDc$+9^w#m}-K&uC>JQvT2v~ad5C-6NP82?GNZ(vIT z{06xfo6pYKjqw913a`cCVC6C%HsX+-Y&9<7wQ_oUb{h2w!L+(&tmVNmqS1@z*lKpy znCO)nG1(>CiQyjfhDX*ka}N4Pjaz7%LeAP!?9uXClQ5i5&(}U7bmo&VrxZRfo8uPX z)Bl*`vh=8tvr?Vi8bnAmX4gpv=9tR5v*jss=?ZW?YU@yrLdb^#)ei%`R9-$r;LoW% zN6B+Bja-^C_xsyu!?9L|TtAmZ#GmjxK!!S#&_0!%bx-g;w7t%>s3%z&a~y24V!;7q z-9&bLP+Aq>GE_e4fjJhd{1Cp;SP5j7T9qH3O!4(DOSVaAmXji?zsKxEgn*eA)|)Iv zxk@WeyL*@x=6|WC`&2gu+_f(-6)T;tcVT_nd2UO!OEEb`UEjB= zQWMRbXQadPqAkhDAZ*1=lNHV96yUPxz&um)BWN`U7EWwZX%(i+{P*Lf@!#<5@?@iQ z<8_{uWeRW`z$f7!M=|{CY&`zA?6>k`RXf|Ns5PtF$5g&EQ6WlH{_}u-oFQ2NM-@drJNSGE|AKQ2$!}@Gz79_0Q+cni`x*$r2*`x zn=R}3B3i!0t!*+WgEi64C6lOUiO6Tu%_Z*W9yQ+u@K8GCwz_nIq>dxHw6#=d7wC7b zE<@nF2XHanY;{Ku{y;Gu!2VFmZF5miTQ+sKiP}Iq5ou@JB<*+qioDV`>7RFk1OFUi xWsq`~K5htvk65j+8d|>CN&`!q1b;Z?E}N)zG$;*~w0zkl?aD=p6c7Jd{~zv(wj=-m diff --git a/examples/more/04_nuclear_war/example b/examples/more/04_nuclear_war/example index bb699691f024865a4292ea21b31666c8e01850ab..a0f0e78d5ac286a74c7bca2cc622b1a7a9183d93 100755 GIT binary patch delta 8580 zcmai33s_TEwm#fpBgO4h;+D2_FVjr}1dhWl^LnEDjck_|8*T2?Y z`?c2E=j^ldpZv}Nz9VXQLpUduJehE{P21A`oAUVBZ6C+B{KF=rD&-6^&w~W8YKhDb zraOnpxJv!o1u@Y=rQNCrsX-(2Hks09K5V!_(KRT#hE?k9DlL#0|r;1hwvVJQ*XBdAvs z5E=#}<_2bwVi4+qPA*^X1u^PLoO9%JG2U05+PT#gK&e2t5a3|VkG!9%AV+C11b{kOCd>1~ z1yvc;<%g?o#l$6kIO{_#<$ib&`oCAI{RFIYwbc6I>T)w#gCCB)xmTX>!-w8OIj+?Y zR|1ri`rqOw(D^m!@Wb_f_;x>>`I%aF_~BtH2)fe`AMS_ms^?ZnESv2JKfxZq28#bk zQm-E#>8F3p4>$VZU4D4fZhq)50$wl-i?70-ZSpn=VwbD!koKUYFJ=jV`^98U)$TC{ z2j5c5#?ycO)o(?yuB` zFW|V(I>6SU;%X0E!iZy_DZ;fiFpkyXW5HstKE4$_a0e9%eTSrVG1p?i zLLCENK&K+iE$z?%6S@x6?b5II`hFp+M>HxDnO1g5>%0CNX%j--5I!)!5EV6Zv0Kf^nKqVKU$L=N1iqF-mZ+ql7js~wmu5u$N_c+)eG>Ic;h_n%H99dQen8fXpFnR! zCj|);pf`hhqt6K=vL%IEU&so#vLuD>EGU@BFmh{1A*%iQMWKaR^zz6BV@{4|Y{dy| zPBDCWllO^rZv8E9ze}Iy1%ANy`_E-dzaLLyVl6@K(D(IFY3%xluRdcELowTgumB4d zv(tBte6fiUSH@u}?Op1ISA-r1Ku%*gjWaof>T$H%loT>aYF-gIX&n8+WC=1s#aBy* zP0vTAW+H(--HHh4*H?zV01n**zK}^P<5GkhcKUH#f?&*~H{#;-U)s^Czh53=zn!ke zC5}D|3`2*n`9|K6B#2UJpi!7wH$?E2^3Yj!%836ovC1ZC_W%z4E$W!YyQpLE6$kJi zc+^Hy%*K(A-DZ~Hz|0aeT_XVoQ>cx8V2%??ZM4liJO1Yx%onw9(`;Z7P|NS?_*L}@9N z!ZSCiBzZC&PH}2KydjF7gTDXTtsAB1^|!8zVzK8+vFB5l=cw;ArKetw=2Ka^LTYiL z;?qDw%3!`|vW!mQ6Y1g6cA@VhT0go@m+Vu7Eb;m1^U>#me)SB`J;la|*?$CkVL~%1=)hR;N${xSL7P zjiEoLSB*47ztA(_>F?L49g&tfNor{NT{4XtYZ7vjXxiAa;S-W&vztNL3dSeXpT{O> z|Bxu{(+xUhO%X0xUa+PKk0esMwJP%07AfY}AB1*bF&HGhu@?F@G+s@hx2>tdmq|>0 zK?2mXs5~Rh_=?msc2pidx3?W0j~CdPC3;f-fo(d)D11( z)z+znq_cMI~O%hB2V9&~aMq1J(?LYfh-<)IC6YzYzQ`pRLJg7$TA z)3n3L3kVH(uU2|~K%*g$2f)@MDRZZL9fzIzf}^gsqgvN?XIsH0j(0h}YCh|169xS< z!5FgVMzP1o!mRU#;OcC-5>U+FaO>kY;^<&YR?oTGyhzve$J~1N3Ag?N=5rae{UJ&uQDP+yw^}_W`J)$z{-+piI5-d;lr{+)%iHTz(n!CiwNGAtm+X2CGV_m3gX}5Fh+!r}Vm%bP=Zw&J@*eEbTfU!O62<9Tn_iZiqXCNmDYK;aY`U<1q&^-!e5yQXINOf$ zz8bVBaD3D3EAaHgcs-1(&mlz+6~aIGV#hK|RFkgIbLhGoM=}<@0FTjlluRx5+*+{E zS?OHpT;!~}zT!P5WIJyN{Q_QqjYnPCc*FGwv~_I_Ju`{p_98oR``Ggio(}G?dBd2W zB@SIf^?#V^7(dnRP`&;Ey0IsA+r8JH_*PPDV`_-5dltK)cJq(aV0Y$Eg7VZ&SNF3w zEvLTlA`+0Nr|pBj&Vc|db*yhBD2P_rv$-j=do2MdW1Y z=N>Jv;LF>g3COIAO?0N8$=1T;3lM6YBf3+*v3*JNxMJ0njcq7Y<@Li?iF+LyC~CgNfg-58&k-5bLoITclQN|9*rO*-#) zhDeW!P+&2Pu)&ENd!F*MD#JIz+TT9IUhQK)?0NCo9(pZnT4V|YKCwql`w1a?tLv;SgtKqvqCU+|h4t!cIE(yv#ai z4;_Lx9ea1N=OZ{|qmk}Rs1Qod(##xF$ZfpmqG9L;BQ@u|A#4vPt7FfsNa)K3!%>65 ze*Na(FxP0Wv@{?kYHM%9FpH|apz>re54*RxJ@f?LdWzcvzXFlw=LfuV;@4+6+oyh8?74%4urZAOlxr5O-PDyka&8e`Fnz<& zWC3F4Lp`pPCMUVBFWvvf}p1zfFg~&nxttb(R)-K4-_n-BOtRG2l7HqyNQL z#n*Cb_ms(8wHQW@%bS!QwXgO#f=tj`$k414O<3W9l z|3nmR%0*2$jV_2cHDHbLkcv}ph;)x)K^4#aoc4dQMpRRflxf56NFt_%f{5pu@Sh4i zkL`+5VnLt9f8T!ETM#EScZN6YPb@#f3}m>PmPIe z#il;$Cu)W0;sN^8)EJ@fAV?(jP7R0)z?NpQPF*^ia4kfqeP}3W273lr>JbvAB?=pl zQpz-|@cIdwH!V)MdV(IC7B}C5ovu-=v&pQ5TeJdWQ)Pu=>>2G3z@C&4j$;FS30Txg zQJlp3)R=gkxk86^ zxl$qr;46=z6)UXQa`?-#GxUth+VTY04zRIs7c<q2@)E$Lku)=nmx$;S1Welj-nU`V- z7`_E~IF9SV_zvKez)P9FOJ^2bIxW-R1N zMEeS@L3yaI?4|y~6+ydDy?BM5D@qJWMWc%>Og;dc5~M{0Ec<}=7R7|%PK8ScyXynG zRFo;*Bo+W#35dH&F%Rblzm94u!YPpWp-aQmJ7e{Zn5WY#jAWZ(%RH8cCMfqVY?WK( zkur>1aJk?dmx^{3y)eVdmr&=7czy%DKO-Z|TrZ2@CsOI9gqiUP9ZLMMA+fSYv7{R8 zp~W+&Bxn^D2b*MtxdkhI3g1ngGnWha67i}KNqMuj^VM{ERu11lAtfJT5VuQ=d^aV` zju;orsitHD@~?&qx!3W7_)xBcX3w5ZyJkmf^js^wI@{Rd^}jMz)HPffr>@b17NA_> zkH~cmu2-Xt+pDz2d)*vJVADPW?jjARfi3JMkcn zt!?l}iA%ND-ja@Q$N!X_z z{@*OgNXgi}wUs(xKUN9$z6Jn@4G-)8K7CC^ZTtQ|L#f)8Ta8rPi3< z|B!9fDkg`*?F|SYLj%Rkv+_Hra9)ORERUX=XN~SSRbhz zlL@y|k@jWFfU+#yUIou%Nd!g8L!jprymx{Gb5b5cbwJfuVmeuxGCnyWxLEHc4oRQN z%0@>IcGX-($4fsen~ur6UlxUVe_dvcG2jV~l_83?!_W*9*g{f%c?Oi$lxNtKfIyO$ ziV+poV{f9&k5_Puiqq+GV|2ry6@5sNRuf-gjBZtCr_TCuMQSE{1-2%SiYlyy4N7`a zr+Nm1Gr%uxgB<_wO5+{MQtna)v`v|I19esy7jx{@4~18z+M{+kXeb}6c#^FDq)fOk zfwSHXgL>EC0FbxeF+U@Em$DiYv0bd#73mJzFh631f$PAfA1l&P2|9wm76)7pLN_H1kJ`$*xKKNGE)-^WOFJH5G75#j%ElBzD`{v?- zKWQV&V-#GM5u%(| zcoU@jy6g}&C2JSb(_q!Z$*_a1{h{QxjG;hVP;fN5@c{u2gO1~h2%17qNtl@D5MscpXFGz z*i+VSw(;9-{b+alqRiH;t?^P(YcASFOf#&kx0@nfmfG6)`=9q>BesX%y#Mq3pXc13 z^PF?u_s})Ocb(untWgy)oSa+=aN?33S-V5IFjd@f(mwXl97WKOGb%C<2xM6odmy>w zCve9*scFFwbh8vjS33*?6xm3dc}tX4wX&*K)>`^Ae>A0giefYzn^?O@P4rvgmel{& z#E_s^4GE+VsEe8R%rm=}6xyY~?R@5shj%=Xx2!VZceE)WBgqOgRw3&y$8DCMjAQB8 z(xa48Zy}!$%wM6i0Tw=ub_7|-7}&)}%eme_A9V$_@PU*PY@v$aE0Oi}ciz5cZR71t z4fRWwucSpGk4=CdxKMa10Dr78fm;e>PITbcJ1QMc4CS)W3&y!@Ob+74kyDpsnxwMc z9Xrv(KyErM(j~RdQQ4Tr#t7E+T2)>b-x$iF6|GcL9FqlZ8T2e&n+HYY9A+hB)aFO! z2h^a@c@#pY@~Yg*_0=m3^O_t2szJXWuU9z+q92bQUrPgieDpPzYlw8cM7GS(O^D+s_vRlb$s<9-T*Ux7|PUR|iNw#$z<`Pp~-@lk&KK0jU! z2U+W@=WdcS%++fA$a0TgfmoSQ9=(3NWzShxSkS}9@T6Nf&b`&wBuKsPEr)f7WK$_m z4|-5a3%g}cwy}V3MYjEBjx!{ca@-|D;t!DDz-Hku|9zOecbNR_F!@iz5EWc&|s{zS@8_F zx!d!ywHEfVCD~xeI4D|KL*7qBk6hUWv5Ka~r1AIC%9s)JV>8jq_K2r47!+l|QZg@| z$#IuEAbOE;w+G$JpkS!U?0z6HC<3 zEHg-MUG_ZpmZHHK$hy7fn!?==6kUZNmi;J6;%#X3&7kjQkjw074a`O~8jL{<#o};T zh>)^axeJ2^Q>jhIv{ylhDXR9OpVr8Wf@ zMp%>d2ft^1sSY}xL8aDF!Fw^U;sE{H`g?)Tpoq9#!jjSSm$+2DeMqq@9!)3WMg^yi zhF$H$@h63G>9StBs^|^rvVJfP`W$kMctGEX?4Y48qA`u$7_l(>TN@Lr-@)9JBb2xL zTJCNzT<{IL4Ou?$2gO&eC^h}VMl(m+f}e%GDAKx-_n1Rvjj^1~fho`iUmg&zkS-zB zEWpU^?A7MGI^wHQ97l^RF*G-!Kxi994<(G!&%CTuyl@n~l3)uif{EBd=MsKnb*Ey# zy0;ArV9-z#@d6|^?=Pg%gNf;aK9ycfOc5re(uu@Gg9S=axTMq+l}dq0shL+(t@}Vn96}z$cn^7WzWN}3L0=|QeX?c5 zeHU39h+kF{t9qSG7!z`mX-9IRur8UNPoAB$KZ(`GT!|(Qh%>Qd<(65ggeQ|ICFNJa zU9b_C(2A6o5_ToZ=HWJRELPHW!M8baPf@BffImvB)3yuIBk130H}i98MtY5~^BY=| zRz&C0OLSMimL%^X@wq*@qYb=4`bv_@y`PqQ&%3>EiD#)iv9vPNDR3hFKC>}0PgIp`-y0%x*2&=i`vMF6d%B#JqkqD}`fALZWTEWr zbYZ2L=4QKv6f-@U-4Ruc)9aGq9`pS`80CzPrQ$IuLQM=U9y3Px!b}~I!eU?>Pw$SY zAJKtRu*^H;9UL@dy(zmHuQJR>NoJa!lOR+@Q$x;zsONBsvTFYYWZK7K=$|<$x+6Gr zF;8F9h1_&uehek&W(jMfs64km)&xte`Fjq*Jm@eg#isYCXgUCkV{*t0xoym?yl_vWauj+tN-lKLC>OdvN-ng;h(dN+;c%F?<3)jWEnYEy#YBH` zqzm5|=sm|$-be+`BK|{ab|%n^^p@I2 ziZh{?r=<*@kAzUxzLnX|@?LOz18w3H{WLDG)Vdc-2KI$-mD(n<_Y@Y78DdgD{U-0G zluKtM3Gw|l29Ee-UE^UhSYpUJ0xD;hfxga56W)y=Q+}CnZv>_yCkTPpeVHE0w;Fb$ zY9;>AT<96vo9`6T&ybkkEEJugMHA|Tk3XgZ6UI)+{8$cYdFNGD{Xx;JaN%qZIEFQg z^;H+)kT>uuwvfyt!zpWGYW|uCHjRp-YYr&uL|mv8mY0lj62bsmO4U2^j#BtB-8-=+ zrVBgi%a?KVzQ!KxIDGXK4NjaEI|B;Qep(CbsmO`GQ*?8IRli;@M~!)YIIStzEX>u@ zr2-OO3#Dy0ZL;@3xjqV>$$JyI27~>Q;r=F^pC$WlWev1POvfvz^LV-UORSwRJ&l`G zEwr7ahbATHop@et! z{9eX?hepM&52<0YT{v-y9-CYwOjM+0rzoVjNa*>1rWI!iKYm1Oi}OQ1{{ZIoAJB8f znX#AOhXc0!#NU%w(mwS+<=#u~_MEOjI$xYD)O|ok*NDp75tU*giY&wnLpt7(YD;QL zYD?`v;M(?*WD<6GHxYYr-0^R6UyA>Vyel6rwYpa>lJrzF+j zoaj6zNga?oj!P2zmT|l%Ny$JCopJ%&fZf0W;9^nEcm(J>kNSdJ(Ni2VmH4W10G9(hfNj75 z;N!rGL5vL84eSAWaN-3bj5={RPXxB%MWG8g0DK?l!3zeyt+`&H4e0qnk~~ZXb^%$^ zK3#bFs?w66>y;!sqf0~NZzCJBK6d#2k3ZW|)$mvsA}+x3A&PtA`Ld>_*O`KiLlJ~}f$S13P4kqZ)q zO{XY#LE_|B5m-xEV@S+*n-GOo>|M;WEHSPFTq(G_WJc-N)8M*K)Aj}N!uuc7?gcZ1 zeV@=EU{gO$u9_kAo~7+oHw(T`>7%N2q3bges?%dT5QXd2N>~F`h{PX1r^(g1`f}C| z#1};xte(-@kL=Tk!O^O94Dd2IAGigKTOFCaBvL1bNI2qD_sxyG4SWUodCZ=<+8wE5 z^%R1CT(fs$)~7}4CW5a7-w(bU?})G5>I`P%pwHs&I-srqD;e-L8TMLNGQUeBsytKsR36jd`;UkdSCh(i}?PR*3i@reIqtdpQU zcZB_s*K0R912Lqpy*X-I5v-Bo6u`v~t*A{DjJ34AHkVJPmur*wJLzPt-IP(Um|!a8 z)I)J~NhuT6D+@FtrxtZJslfTDx~^F038CNBCGwBZ%XP~H+}b@a#L~q2$EmO0$$Loe z`2sCn^jMsaXw|5-F$lnwSI;lL{+lpvILvEap?Z!y!OPI_wHM&}doIk81~(cy*|KYN>v8VzjP& zt950RVy~Ss{{qiiH+mFadj?=9R;IsTg*|SKQ{ivIbg|@AwQaO{g_*9dh;p(`o!Pe) zDi+%m;Ih?ryYZpOQj-Flhc2$LELw|FCV>T{N~>^>%-$UR$=gPtL`6lhq(a=Ys&32P^G-=pFWzDTRml`5;N3(^#Y&L~@)H`ku z@huZ*sM)B~-ri)BWi6(tPW33!@LU#cZ^_kbCkghBgDn$GF1h=7yH&6o|4+Ir*QBji z4V$R!E*z$%ijjtH^4?|FYe$K079G4RU$5<)##tn6$k%HJhjkWB*^qzjJkG#PI7@xx z-QWoI$a(DNbPzULL>bxkj-;bwi=*lE#t6#XXw|7?woKM+Ow$M}c{ff7t*TMVtfsd& RPSC%#Sdrp+dZ#Jz{{hPy@Js*z diff --git a/examples/more/05_burn_10kg_fat/example b/examples/more/05_burn_10kg_fat/example index c9cf610f995e42a438340e6cff5ef88b2d956b88..47a37c2156d52b5f25567a21d46552841b0c1b5a 100755 GIT binary patch delta 7146 zcmai330xFM*6;3NaJc3`h5_VgU{FBhFkY}?7#wgg<1Gq`3MvD5K?KyzYQQBXP87ww zY}OpRKa(|^V>bx~zr^_MM(~Ix>zCjeyn?!BGiVYOa}Z*aEL)^{pD}Ft%>i=H7 zs(SU_tLmojG~f3z-x3xqhH!GpQ3y9?@wVhY`_%*}&6;gz()>S7RT`hBQZS!t%L!DP zUdkDjHV@*HpxR@T;XHo7?=##Er9?rl%O_&!`A#p+_pN>wzZsw#-> z%2KsmA5rDUVGM7tx^UJOxO(vAqV9%HZE|L%qPqugr{{IG1*+@FB7F-KN#+5}mfqqu zh86&`ueXd*%j_Xi-1Zmzsh84QORQR7ZaY`Z>@w{m=mV z0%)XvV9>^XsGg$yE#w5cy&r0%NkG>EeYqbROzZqD;RC&s2Hn$-Yo^!G=REox>4#eA zg1?0iYvTi+^?AY=rxT`dT(6X%X-hU{@#adVthZ;^kCN1K%Mg7VoOP4io;C&W4X6%7 zR2X9H9H+7p?rBHe(>C{S+h*-!`(`V&%`BYZnIlQkJ}&qn&T*LYz{ec!L!NwK1@89> z+=raaJ7k{wfJ+|Fu}QmV*Dxk^-O+SF=W-ZU90B%cK&;;GIf{+yH56-~1JY|SniV>~ z(`889-)oq!eNx7YwQFT+8sF#4{Ac~Ej^^yYq;Q z>2zQBxarEk;e}5nGfq&9OtRO2Cz+pkfaAVuftGhraWre+WF)h%&WyFLVD$~{b$-%C zLrf#oatBljdABS-^0%}!B$CggjUmxV^8j)6Lkk^E*>SAuaDQ4C=-8A!7!8m6jwE>& zW61ZkBk7}%VZ*l%mF=cw)N=sQz>G*}z<@_k*KU;sia&rcJD5Qqqf~PNhFW7z;A7~I z=B0ca`G<;rFMKaaY$Kka`$Db0^;n&!ljeo~k?){8p?~1x=^0DBzu~qbBqh>eOT6#p zL`Y@R4a*tf))0Eu66fFDrwDvBL>72+2n2#i4BzCJget}lN}}E2CH!B>6e0RO`>i6q ziLxRRe3uV~@DVDHc-Y+Y4PzLcR$Z^b-3zK~}$^a_?g8AbNFBg6|Jjs4b#XgSJ{4Q8oOw5qsNfC<%H9EoPyI=r@r= z_+0u^WSsDAJROdV)_)w2K9|2zW_O%!MaCz-1qkC|R8PRyGQ(~)%5w~J8Ll4(3+65g zdWptGU5|Y`P8RNB6Kp~q3pjx~rdhL@Oua!q-eWFg0F~;s&2@%hDniKODf09gM1piK3ia1=uzfKF{ zALmcd)%YnmY_hB+!m2N*G(MY7S#7%0pG%VafM;u4bb^65bYGJsr~9(g{iVZw*waB{ z2X}|}Am3)RBM8!wU_H04BJL3*oX3ww3>nM^)7&8${6%UWvP5t8@>nwHB5mRs-z^?E z>KVF{ILvPlx?{2<|3VQ-L-;>YZc+hXOq-LoncfIv8R=p30E`5QVZW!;tu$(AG~YsnLyLlAEQ-q2 zpo}-bLi>is@;-EF=rI00GNcUUU!`BAl!k5#l~d5e2Oy;#fd)d=97?-Vl6gNmpOPeW zo5`4xEVK=zu_+^|a#(WcGxB)YuQ1lfi5B`qQESRj!8DLAq$CR8hRA*XHyC}=XijRn zX=1Q4pJ#BWL3(HiJ)1fh(X>BxC;t{zq(wDsIBwW-5-w?*ZJWh%tj+yZ;S5L9=ZPD> zF>Gl8!{PqkvFNt@l%wM_!87MFOSOlPPz;Y81QRpSIGP{O*_!QEBq?M!pAIGT5jWSO z)Jy{@-qF;d1LtC|VV>0rk77RyI$RCN6OPP|`U{X5i%3iDd&s{YkyR9Q1h)dXb~|Dv z&}wg92fs@`gb;?G!yR>Uen+PP;QK(=d^sRf+A|N?4EDp0ro%eNc3YEu1IIfuzpFoO zYmx-RqkfpO`>NCJVKLKjRd94PT=sGDS8-ZA0^ee`s^%O`?M9cO`iRTm`oLv4hxK%W zRv&X2u5~&xJL}J(@qrtCYR~AJF5f{5BCh=qMVD^SYoJWL_N)&o09+6_hcl%c^cva^ zx95CwNK-e`vFL*a+a_l-mwCkC>}a0IXZEa%bu4=SC#-3|ka=}okYmwt+oqYn<1#x9 zPDHRV`!xfzy=kr0*wi=Nu=OaWZg=xrE9~vhX)yAFv6GW z31@3M%zFya!=Cwly~pnEh4R@@?mYmrz$$=$@XpM|*04H#f%{;O3ulOYL^r_P2NRv{ z>vQMXN^J9N^KA=y=5#YA+j(QqC-4GnJnHJk8+**?>(~@@5a;b)c87nLr3D;j=h(WT zte>VE&;-$^nJ5mTyP}N{?KuHvM%?j?_8xYMLadgFAxMJ4%v6R6u>Cp;XxQg^+MAvrd>TlX z(hG!V0+E@9X#=gEmYXy`Bh0W0s&P$#S75mJ&(nsC4B=nrX-~##A?N~S44*H&cAmBk zA3nP0oSegF{&c$S_ncC&Kz7z0Lqs9S<_C59Gus!jW5fJ6f4V(9Zq$)L1}QnH1P3}h z7(7GI_d673vh)N27Q+Y|oScE@Y5IL7ARP(2u)>u0_B zU5lxB8qZSnh%o;xxW;4Y=GOx#XT*BpmW~dLAYs0aibk$Y6VY!~FxVrbQF9s6ZW$h{ z!%o`vyvPP<4!VxZUB+>z`!hJ?TtCu`Di(6OX#S`u{{s2iXAG+HqYb0p7S{OExY2v2 z{0LN0cn38o>@__00&|V#5^D`oqOS5L6tk$>3#u#z>&R$#HV3_lyN|P3dkI8dpXa+% zlsD#o#$JGAPn0A{%6;^%rppZ1{wI#N7Ov+D4C<*oMWZs)gtxn>A~Rd)J1Ms&bkWCX zZ9GY#S;@lrk1026)PS8QAs%y*8nTi?cb|X(nttFP9%*aN`_bvXg@mw7L+@sZLi9Xph^uCl6SKIMy3{ppr%gZfHXkV9*7$2PDR za$LE&_M?)t19jtvl5_-A1ic7a`jI3VVY2p4N!o~Z>oG~{1LclO(p2Czpo>8pVM=z- zy8-$nsCY_}T0y6tmZYPgEgxgYK#gZ4DG)ZPK?IG}a1C5LDkT6!q=L1eEubx+ouE5G zry{fLVK~ywNznF7k|ZL{bmClI23m6ke9+cUB}oTgZ2y-erGs{UCP_u0Q*kd^2AYHG z*G|yV>*$Y{+Z{+AHNF)PMCB0x>AjNl9B2#ZZqOT`M?t6FlB6r39B!u~q9g~G-I<`` zcan4vv<37AD2Jz!UZl*pdqE z@dY{91)0UzDD1_&4$m0iIn3&6Vfbb|t#aAVVA#NHz7d&7!d-j54@#dvBKmNfz8BzCn)mi!ZAgj@$A4VvG@Ot zR|?+R6B0G#g$p}Q(ldE+!kts}ZeA*%LSN*?@Ff(KA2aSbctSZF3WcrN3h(Fx#w@}L z!^Qx!B2WHWMwD4Ofwi2aCHWD;?sN2L{zPH>1v;KT5o)6*JRr1o(~=33g&h}Z?}Wj^ z#!Ga0!r;&vILj(khpZnCbN(_#J5n3guwl@A5`H7XzqrYI<5nS8AGSr4s~4Mna`lOu zwRU~_qrNu%n5F@CeW|8G@Yj#AAJC`U-qR=M9@UGv|ECYj{ZMbr{YbCN3;2zGjO`bg z3-zT<10MC=tZnw$qS-1qIc@;A8-tJOp;?ZJ4L%~QS zo$MCO$2b2M+yVR~@IoffHrb)qF+HWgBM}3#9)~_%$k*$}0AB-qG4NKTshENc-`!|; zeNM9qQhhzBUip$9FIeJRgaDX%lWrFb_GPiMomJyfMf7h)^E^VR40SF~Z+ujk2<0|^ zy%GLs3*eYbo`g(dFRhw5T+gKJctQ{{YkKL;iMf6ysO~_pX^9Uws>3Cpm3A^snqul2 zr?l|8q7-^?QVg%7ZIjaYsnmh`db%_z%_ORyZQvSmxk#~-V`5uyma@Wvla)Pc>Qf2V zMP-xkkJYJ7oJ`eBiunL5H`MlV>X=-?8_70(AhioVlrv>JU)pwTN(_%F+?;CRk5lY4 z^L>7tSCP_P`PFd#cZdBs9>BHGv}qHlby}##z%|mYX_km~yt~|6G@Oa+8b_C>rDk|P zruG-nz!^H3LGLLV_Qel#wouOWP>qE%(u312yh!fpY50A9x|u$lJ~4bM^NfClMYe#* zYov@Bmhkp_xHfQkeEdtKvKf{P@25m>_tk1&@25sD-X!;8vw3C4f^acG!TpdUSosVO z8!???XQl~bo%HIA!Lpgx&WxlZGmU=ivn$+-J1TJFqosj`}Z+`Xo;$-Tlj zk-mf4&T*7nn9tYHgM}8MG@BkTTqWEXOTw&tzLg4Qr3oS$Oy=Zh=_H{ukfDbUGEIFbnK*2uyQrBWeWl8U#ebMem6 zuHxy$7enSBIWWm;+49P>aUw?jTOIZjT`5EZFxjwL(; z*-5rkw$gi}LbzvAQkAKaY8n4ew`uwXe7icks%H6K^Ds2ldiO~*}|C6zxvZ}VOx?*M7a;~;& z1+8BYLQ~4Ze3gG~v=x`7^IG|TAN0mNbKBO1Zh=pv@bdfljZ|EoW||6(ta#~qdK&0) zHR*ckC^}P~=I>3BIvoYOMwz?`*-N{q*p+7Trfo01NKd;ObW>Hwq7IjZMpu|ImP0ILQn$utK?Fv(HyP8$K)SN_z+89-+%Q~mB{BQjNuCS6rJt*J7S1JCxV^t*?WI7OM@MLJVe?I)HhEhCwhSjb0f jq%})Qh4er=yJVDKO^L$%D}^r|?H{>FX+`i9u{iqQXl>r2 delta 5734 zcmZ`-3s_XwwLa&-;LPxt8DN+h8NsR$b6k?31Nj*u;1yLK!RZstY&Y6_Yw%c#`*ZTKb zYwx}G^EiB-A3n#oSOd9WPA)kLa0i#|O!}RU^HtTIeGdKpv5K;PECuqZPOVz!LC&aD z^8g?Gw8e_9UHkxgDY}uK;w>htYGqZetn@PfQB?a3#pXd=&Vr*Xr`^Kb=>OKju%K8C z3#9j261;PN)`@>C`th_^p8M#=v4)nI!uW<`w9zZUZiShrw;cDB?8G=$dRCnNA-y4l z@we%+mxYg`of-=ny$|p~vefO}Ne46=cyEgGu~3Q6?SQ3AAANYukLn+8tXsNl)oQ98 z^};0NfYWi_oEQGFmIQ7EkfkXNzwVeZ-W=+a&;`cj#4=sOji+>Nq-l!Ex_ABp$@J!C zQLQ$zcD~96*Vp^AEH75|b)oe-4y|~+8f{D$xRt19<@-5MRIXp0ZKG#yRKATaYag`* zsTzafrHaC4)JiYvEVNhW=kHS4QD6o75bP=C|U34zhMNc zqs3sW!EPPF`cX639bj8Wum<`w*!RF57{Qw88?e{G9vs02Q@F2%!hHSwyGF1fR1CJr z*RNxv@6+DYsDy*?&#uxT5B`<>1AIR2LLwi(+EueMxdPXGB6i%$7=er}!GR z1=(|VprSbI_PR^(mEbG>{T?jcUmwbuVc@_e!&>|{Ty;ChHXPzS%Pi-ynC<~_H+ct- zD_bAWYW$@!46-+%PBOnao8xY^K<$IzYSx@#kTu+B#$cai@|MmsEV+E zS+>vkHEjs0vFqOa ze@S99@g^+@iS_w;62kSa%g`SBpRjoTAvzisEm&gd zT3AHDw=wV;x~24Ph=Rgn63&4_duUZ0eOs=`jWx=BwAL90&Y%kEuJAueOTq`D&PU6} zy{v=3fs6s1g^X@jVp&&eKB9*stfA{~vN#wBi^Br1kO^b>7HW%#Ah58kFC#LAO+vGfF z#L(o#c>X9olvuz&POm2JG{xg?x@maQ{1_0!Nioozq-g#vTAP$2oVHL~Qk1YPgkDPw zrHe^RLz^rdSKuCY4-FZTPOvPVG|O(`qo{mr1m8~U##RKr5Tb;<24or96hfEAM)9%4 zC#Ue!$dNpj|9}=H*M#sez!~)9QCMkSMI>z1W;699C-I4NH#t#QXr{E}B;jljRVQcA z)|4cRUTzQbWo16caO1$|=fTWJNDrcW$qB+E!LrkZKsY(*iPSVxL!ii9UGTDW6>2!%G>hAVcd(H(@^jk66x;Ue0A{1u(vxmHcXs?dO7vb9}D#Z7f;XPd%9%o5^lqwzv{R!xj4F_{mXM`y~lW z^?h_6i;d;|h6zb>8j?d6>4$#zLzp{4)YyMGZi3g^dmau4<%w#pKJ zV*s0?3brZCcl~Md#OR3?21Y3vuEuf2mc2Mzah7+0v6Lkr2H5)*AIRrI@+I0eu{yZL zpX1)Sg+u%h`{Qz75?{SY!le9=ai|a@KliNO3`k=8MOre+sz2=~FB0>#0BV}_lrY|p zyfR7H=S!`b8y)SaTpx(cWc)9rI)me;;h9F9_RfP}J3G&8GG zSaX5)WrgeAdO5ED9bY=0^+(~Lj-H%+aPG5Um4G`SA>feVnO`HItGPOMjcfCD?W*4) zupu&sdl#q-2IENYENb>2!VO&1tkK{NB#%!_?4vDH-k!P(mS2VAK2UDk?<2jyc+J1_ zZ!`WIG%B|C()y_m;rs=9X==8RplB;EkR>}?IC!4Qvy+6opVCjWCyx5~Jj~~wr^DHa zAzz$B0yf{{pUiMJ=iM)I-*h#nwD{2dY`ZY$JlUs>E-lBqN=$~!B3y4T;X+#MtadJT zF8OLJTn&*=V`Rz;#JRAjIr~Bs)_Zw@`<%0^zU7^NL&#I07ZfGlV_6Yj|G4A1 zX>0k8Cf^*dH*==(ROJk%4bC=do6$rGGpBB1Z)n_d+?o$1sTFejX-Vn?b^?2WgC9wf z7KeUGk0dog&p9JWgTNM`3p{sLlB$8mk0ogXunD*W*#3zm9RT*D=f{BdUP+$OFBLMe!LU?b3uHMSL41KbPj2evaFJMa{+1iRUa-CJ{2l9mIxFHsN7 z`I{u+z08$dlcWS-4Gz%~U_Wp_IyyNol|upbOXu ztO2gM0Y_jvE|_j$3vS39JiRzvz&`-40k#7Bf$uRL*Z45gfjRVkZam*bH*zhS?!PkK zKQD$CDLv1U-hT@1A(NiM9^pIib9GBnAtPM@M!^}NoeJ@{`1RA{dDG1~sC|glqOh-% zVf^;ehk2vTEtsLzj7DKK35b22?&XaZxU+OWFND(ay(5A#JsGS~S3sKZr9MDA)0eYD z-3Tu86PlkNEj)jY*5{}4$7p|kB<{rH`H@u7H|_}M&UBSy$9}b zm1A8f0+(<>lGuj`=M~Ne*ee6rbJ&I7D%2HyM$={$3TdCywpoQ}>yuft1y?^syXFX) zm+42YF@pUH?Qx9>(PFaK!-*BSQA~K_RXXQN)fa)vgqnPfwiOg^+6po3D@lr%Z8`Zv zb}zV0a0?mtNPvAAI>EC27Wk(Bz@Gx&1-^{gy8`TjD?rQazW{Hh+X_>CegLueIvpx(@c9g)Yk*Q`kMYrB8SP+VbgCWx6QFiu z71l!L@&b%M6ABUBsShw>`klTUYoh`-VT1I_>~Z>BsLw-PGe}?0o}v2;Vk_3Frem$I zub}gM%(aoOc&@2+3X92cct*%YOZCN(ypi0+4&F}hKz@|^iXEl|^^*vbB9|_*&54Z4 z#F5DgR^Syf_orI)$#xOHKFu|G-ES zFU+)+W$c0C#hE!RIp(9#zmfE;Dh1ao7gK`Z&)*{{( zr4GS+HodZ740Q_Lw6QeI_Fxl%aN;>Om^Vr-)LLqcN|nO|aStZPDO*~(1iFK;EmJ6| zET1o-wPhB;KAEZ-C?6R@^ z|6NS#QTg^rh0jxfyXdi>s1UvCXunbUL3Ovuw-O2}00 z(6Jj_p7xH~>PQW>)H*uO)<*Lkx@FG^__Eo(Vmeh2J~>xf=#MK+x*B{(uu?-kD<@Ic zN~6~ED3DDituh6+smGoNZzoXIs#Lw_Y{%BzwJKj|7wFSfsV2{M@!)c@)jI+`N1z7> zeW;GL%4U@jV6cXktUF@aGhDS`EHDoMNSS|I;529CB k`_r9y#AW$qK1r&%VP@t?zLeZr@3>u7}sHnJr;0CRbm`oIGM6D=_ zIh}2$Ct=d*o}{;sb~4(DiG_RYw3e6!qei0kq|kJNXs7MOzkI>tXsz|Uc7#7E>xvP@Rw zg$tT8sOW`jZpFl9UO4MRE0tb&Ao{;ss=WlPbFI{Q;o5RDS)&(@y}4U9c;RX^%d%E4 zTn$i8?tiZS@ zKeE*2g-3YlpYX!XUbx!}kKD@-{}2DCO(WtKW6#=MO@ibW+m7fC%lcBb0C-4B@>{%j zoGG7gsbk|A8hGP-N$R|59Q_SM8y9h$G0wqpD*sz#CU5>1KKy_B@Xz@09X@=!7vCax z=mjvo*@s`_!`Jxm3w`(sAAW`pKjj`jSDtaK2tx)40jZ|C!?Nte0}er zbV5_Y0X|#^(220U0BrlD7aKGMWMy9WXf{1?B4UQ{ zT|T`RVHG~kr>`Pb3aj#IfjLh9$TyP2tWVFUE#}0)w0w-Im40h}QFuI$W<>r>IG;<` zBNOxoZ!3EHa>*Q(82InG(EAG&MV%9Vog*vk{+pt(Ek{;ZnFED)s4;qn{+&fl1K!Y@jz|Hif_N zS0*u)T6JjbZ^d+bJnbZoN(f&!5$l@i2JB$MdBI}=(0@gQ5sk_hZcm_7qZ0M!Zz+b) zPM~i`Sp(mk0K+;;irpQ_p=$g|E24ufUjjI`#0eAV{n%vTP!`>ajTc_eBJ=3c#@$(H z_4G}}(oS@}>xBs0QW-oZi*}FxG9fop*6w4&oP;{2 zaTaw9e%>Mc0_JAYOL69yh#}So=EE#8(*ZJIiv6>V&cuxt-n7w;xLI-QY|I*4N_5fV zc?b?H_sm+wR@i8XudR>y7hdmGOU7Kv=jk~Y0;JRGu{8Drt_xzZ4 zj=2=ICxzoOUC3U2sCa%pfS_hM&GQG^l9J3HqF<+E@||=sWu@V$N0qUJxScA-o(p{7 za|DEwCZ?w8-$rxHB71fUtx8Q65|fEiMd4f$T}GHn|lE10bG%kgtV zk0&W+%}{46_<9l<)8chokeIPg*C-=BSy-Dy)oH0hY9j4STO5&z7RZ8|4nsZQ0*oR_ zykjLkJymcfP+EG5u+1v#Pe_1%HtkPOH5bTzV{ao_qgybJMn@CnMtkDrMlU7GjV8sT zQ3m}g!xnPVq71D-Q9qkN*E5oZpId08ZMhH}PmkLQ`C8g%i*0G|HSYQV&TOA+pJT7E zm)o7UDrSpqU!=5uZQRuff$02JT=tFgL$T*`!K437IaJzR#w|zW5HR_P9S`a39S$oJ ztqHKiK(XkP(ntBwu0pS4;*2$+C8V!ToAGQ|B!93oTf7EVt92eV;>%`~n zZH{)17xVw#{E@v)5{z4eFl6VoQm2Q7TF*5>>}k2|U&>#rHO6g$*ReHg;KVkUsn*zV zqSjb@vetMW^SK1taHiIH-7V(3o6mze=|r3L=X7nC?|_3!?IEb5$tBS1piF)JC;q4a zsD;9LH-wXF|y>}05J0#>^+ZZe^ z>$UGFe}>C<8%q)Qroyz*%;iF!w3^y(XBl_DkD)u9x2I%Y6+6PZNI=Sx$tl}WF=e0%0BGTA3eF3Bx%}?re7${(SSvPoL$EE zwV&SUPkS?Yo%sIt4jTR6M#s-{47pbf&zgx*Zoz=rQ-wM3?dfVr!- z6l&LhOKzLJ`20mln$mvtAbSq88%r)A2|4@Pt_=3v_Qz6>^1KbXydJo6c{YJ5>1b!V zGjI)Z`dd9QpVI71N8~d%kPsc#$;TbmJob3Na(0U6rHk}>WX9SSRt8+ zxxzF49EE02jriY451$iFo!Og(^=2BGL&B#K^lHwN z87CloG!)|OW2n^{Gj1BUHDM?1`+vbY=m>re&q0~JrOwackbaRgJ9nNi_!0dsH&*{1 zo}ADyI3$uj%-tv44x?Rp`yc)#^c91zpaz3O#%(V%*XXFSHXTbX=i>kLkmC0Zp znXb}~;Q4s2F6{_#g2?mpy!HV-lmF)Ai_jd1g~uwl@4J>RGd$p*alA(02L6IhJ&_;K z)`ARSUmxu&C=^~jD|6HOXw0NSA@3~JPD&Lnd`wSI${ALE7V4*a>GY(r5zBkA0Bzs# zo3ia4Q@$^C-b6wO3njy3i*Tx!Y?EWkKf&Xt=QmJWfS7TEQ3G#42kc%R9Q}=bZfQs1 zkJ8}pb4r{a*(*w%e`UwRoeG$o2zYks*zee?c;ei9Uz)tcZ?9?ipuhH~U-*4d4j*H& zEJ&J|o>@EIB9pNN7S58iT+dy8b~|O;R)e}h-Jn-N`;Wk$A6|XlajO()cq$(Isj@pB}o@RTS4!D4uYDHb!?|4 z$qL#Hng=@QmZWk}3p}NZ$v=>!FF@TNLXHf z8O@5Xe+LQ z4lMW}Xd`GfE{Z<`b%VMX{{>bg2ybrOsE9$7R1Iy>=eg+*inxiH->{C2wNQ%A%DuRx@|5@YJ@ zgzfgh`hgt)mITU5DSo%`^Bkb8DKlHPL$s9PC`eFTB}Q-+SO6P|Xs`%x=nXnNu`%;a z!1~}tt59c!>2C)%5gwGJ=-Y%diawLQ0!%#o!!j3SRYxR}rbG#?M=5%0f^gv&Juo$0 z7;%!;P8}^wK1sW#j(*@tI8zPl426wh3p}w8*hCpou;+pK|51`2S25Q2Z-6!ak*-aR z7Jm9Z1x}kTY&b=afJ{D3FM@Qs>DsiJLhBhS5R-+vURo+9N0h z4jXLtV}_LC_YIcfKN%v6PZ>vyn^YoeHINm zX2%8mj;1dfY{FE7E)RGga0lY68&9Dxm1G8nA+Gjcq>oC{14UGiTq6DSm4W+Fop_m^ zn4TPX71a%_nviZmdlTa6z-38Vf;uS@bQJ{i-F+U>_}+`Czi3Et7r|*?6z-wyyM&q3J_y~9M{?Ru+>c{x8@&;w?&tLp zMnUMQL`{-~zR+2#`MlZGnf?5OZCl%jTk)FcboTD%M$+sOA;d+ySuhZ z5BQrd*RJ=&V<%9%WKoH6LZ0}Iy0|u0RVq|zX%SuQ_bLWoD^mWy#s*c4h z>u~a6hUz>ON1)7|7R@Cp(n;#bPe97nfNP}C%5*H0z0xd{&8GR48DO5O%!pJY1;>C~ z*ky$crHIZ{np=vj3d-(OtTd`pH(p`0qAhi+ikonKXGQfJu1CfD)rHd*=z@y3j#u=x z1L`j--ulmg&jt0fP*%Lmk(G} z_tTR3=BW2nsYRJ6w_Q=+GPBn1IY0&@Oi-H ztyVWpJ7|8Y;GvvNbyMwb^mE$0z|6lxZ{Y7~_IJkTstI?zGX5HM8aGtjqT*9j{5usN z#7l2h`qV`X##tnPg^n7F8XHuj+H#hn$mNl}DkENm^uBM@s%Fs7;V8G7wp)9I*SMNWuzoN2U=Hm}GC(N0^9_EXP_795cFx(w>BGf``u zEu<9>gRE#2S*R`})TJJJ8m&nqp*~%&C9sqtDyYv5DN~wiCtjH!{iHrUM9Ur;-AO(5 z86ny+r%^ZYD>L-k#e!Q%1uJv(S{~Oeq$j{?Cz@#?y|psu?v=u_Sn0Q)_*J$b%@eDs zU{y}6_CE+r)ryWu9imK#4;V>ZtD^V?$wGW(iFI&CWVW}7R3Dn DWT4pv delta 7329 zcmZ`;4O~=J+P`yQa2SOdkYNT87;qS26b4E@{2&a)hmBKv_}%+I&;LB< zIp;j*IUjTBysqgyqG`8855#a%Dw2U4ShUIUN;o%E5jP!idasO;1r<4?ENcLvEL+50 zNJY~7CazbEs2Er;463>cSzlKZgdwtQl#!m$L`7Q^U5lb?siD_3`%=0l%c{Y+mh}y3 zEp6tfr~apguJW?hRi5-AwJ{G~I;(xzdT;$fSI4XmR<8fASDq}h(5jI1WDC@oLDp%G zTP?jA$I{33`zWQ(OnyF0bA?WZm^Ep%Noyu!=&PFHQm!x5Pu7P*=}m33CX`ab%v2e6 zC9S7a}DxK3u6=cG_k6b1r#y}~gN0(kWJW*Q9Ohu>s5 z?rH$9&Il_ml6Wu24S}ExN~-2oDllG|eTlCO;Fa)`__+bRR$}CrCxDm3LgpI-_#xha z3QYk8s+(AGO8}2KxS3i5cy%$d!u0|Cu$$T(*B-z}D!i9rM?irgph9N=uPkV(^wj`9 zDnP$0fR7H~w*~OZULuwH>$ve!hPhga6G`q3s1PeL@~ba^H+Q>=hH9TS4ojZSaqe~g zW?t-buX#teTT&Hs^`I|`X+x)Xk2a3ec#&>9S%Yl>1e4bV$&UreD}v%jxh6=S^|PEWjkw}xLXt~@Sds}xzsCs(ez)&kVc$<+ec$}MXtIGr>3OUb!C~dNooq2}V=Kqq zmOBo0gt4f~XB!r(mPpcV6iKk>U5kehEe4Js_+IJLz~#!R)U_F-J%I zR)WF~)DcYw$~f+FJA8Nz8F!oZB7<>Pn@t$>TP%;|5-tuHl3OuL+-?P-|GuQ3yQ_?r znG*PQW#ls@I@W>YR*atIUQ>7v%esAEHV<=eENp-vZ2v(N1r{KCv^8baXG-T!JLtM8 zb-3RF=VGA3RP0S`d~Z9*85?JR3H(KaQOod*8D&cAY*98C(t9r&sw3JRv^+Ldzf4iB zcF^;&6?~$D&cxdI?=#3?UdnIGphwNg`g^X6BD20UgI+R^46DdMpW5jo^9%gubh^*- zC;o>~G&C+%zyGSN*FTE#<3@(XKiSg4GjcFY@(e%l}a&5Dg6Fa%1=r% z{4*7`{(4Ea^m-~SN=nW612{B_riHz7NwLi+b<~2P9Y7JLWp2dORQhMqxzsr+lJ;TN z&H2b<7zdF@=c{(%(XLFPoyq0|`$g6U#=|Tz(2}Ql+MAxE>7*O!OCt{nN*UV_J7`75 zk+5lBV?k`DnT|~T1XRZ;au1qmqr=YM8B5&`H-F7UHyrKJ{W#bz86G!{GD}LCJ7ej^ z(JA~`6YUy3hJQSk1|fYB1KoJa98;H&4gFHzRo}&n2FD)e=BYSJnUCH!(ci};^4T%8 zXUv@FsW?ZO+2??))M+ATW{U15T!}DG-_Z0dJAW>QS~DGd*>HL@vo3ZE>|hssd^gm! z)ex{r6vj|WmVzHl@_IO{YO_*?!Xl$`% zE7lD3C%#u~D`0mR7Le(}&H*|G#2&@2E9^g} zhV_@o37%v0R)Ix7P1>xDrgOunuV6Lbt*5)k5uce81b5(OcUPb3v{$^!nWym zfRznSL=FZo8lL#8bn;f)n%ry7>Kb2xVMB5ew*x2-2II)_m$yYck4s~DoAw_7X?((w zemXR9>%^y_c_tADl6P(q;Euc@Yd?j$c!&&>GGd=O1P83Sp?N&l)mHLTx$ly@EweyN(F_KD&E&=0%{9NaI8EjTx_4~SwXWa~juG(s){+JH^KiNJPX zC9n&)2si-j1y+6{ipPK+jD`JJ?gI|P4Uy{?#q5A1r7o`fRz_Su?yG*>;)QeTnzyI zz!8Wt?g~5r9Kc1v53IzE;w;b)w7}`v*Wf9jAK1cV+)Vr$9UYx%Ph8(8ifk6R;vv!x zDI2n5@pSDK#Ue_aHPYMrA^grXl!SelYsTXTpN)A@6VrJTkM3jK^AwWlcH)TvXJ?!{ z(pVFzlfD6LgE$6!9OIE#{SWaJ+{z_z10ah*rU6+h$8#A^(?@i4*0fk7itb@N5{@-) zF8Z|WW4dE@e5?ndbFWk&7p+Ip{~Vy@v*Y=`gMe7-oE@5U8iA6_2I7v)=D*ZO>h2uM zSs@++r~8z4%}(VP_0w0gv-oF@QtX^0{+*+gHz#Rc=x3r>uUKcDU(13G+}HrF1Kg9~ z9#%Nk!8gHO1;;*Ma3P7BNNW{bg68qCz#Z{9y)~zd=T6Xdz&j^s%G@&Ea+02&JB`DC#7-=M z1;}$Hk;dQiWiam2M;cv`I@eH+wXqF4X9p?1`Zj$r#LEziF3`N{$>9^R02(idqPF|~ zp&K>f>Q|sv3a^GxDm0qs|&#d`r(?Ttq4ilSAbtAytG9@mi7-Ik296E)yn1$DNV7@KAkhZDOaLt&f<)m z;P9NH=)j{=(kgYU6dsFW@znT%RJl~zX_4(kDf0oQEV?mEQ%SByGv76t<~2IuwGE9< zOOadwJEN3lBE!03rH>oUUaL)J$6!D#H7TX-^0&g9u5MNMK_y0&xZ!#fzEg3W>Y!r^ z?-?W8Rk!r-6uwE`t!VL*3{4kpT4FA>cw|lWor?XG_0zAo9$T)I_9^aA|4|~H^eAE1 z5~g277nYdgih}wxLn%dIFSP_W)ufW*l%afq4zTnpEm&%f z+pd->vAJF@;;`bTGvHHk z9t@AuVvlE?s#I#uP-@1|{mY!;Hl?(^yJy+k+K>mAET`6{7<%ymOZVOfrfIq}n~B%h zsOO5O7yXGz5e$puzDU{t(~R6^E^2{HjShg?7{GRr%rTt7WAE P>Vf26C`<8hc=G=P3DGoD diff --git a/examples/more/07_algebra/example b/examples/more/07_algebra/example index b9e635f8c2e4d667bae1a27b9de7863448570c58..9ecd7b7dfabbba11eca20da8b2652e4c20d65bf7 100755 GIT binary patch delta 6981 zcmai33s@9amaZyj><0UVKm&p_*ecJa+gHF5Lt_Koii!^u5)@Eq!52i(m_!2(nz7Z6 zn6t?`yOWHWoot-VW>&|Uj4@6E8ly=}M56{@0nNikO+@lo#+cOpx2ifJ&g9$6SAEX? z&*PrD_nvdBiaqD}Jsq8 zoH7CzM4>^8BBt(fHxB>k>+SmGi!al;10nCH>^VZ~gOV*V@bp8p{6^+jU|1}!Q#J3e z%&3^E|w|uBnDb4*Az?7POkvaKQ+l{qdZ@ z)c|ADYQxnza&#~Uc@_p@SgwWjRh)xv4@oe(71X=)8BBgKS3-&EgsMsfji{^BvQ=5G z^w-4JX*i4#uxg57eSup8xzv=^P%GWe2$@megSXN1>PELBlvD;PWKFgM*jxr$U@}wy z*!%`smZCod08bej6P0U*YF&fSAX*4?JJ8ZWXbAa$9s*iB2vyVHfZhbUZV(zqp975x z9je_j2-Q)1sELYz?iz#|Xa>;rK=%wn!)ZgPDMrZ=P8Y%am(_#o6omqSf_ z^nO0<--DkrB&mg29M><73fiA)n8ZicGH3n0`@R>&wlDP~?m)6(=KfzB!}#%FGmsVf z1SiKSqEYwsg8Kj-6@XX7^fHwFfiJz-qb==<~$G`&##PGsDiJ_Na zN(`SWJd5Fq!YeT>rq_n0l@z41d(oauVI*e{;u0edPv^L=+R*I<=1OsPya0RM%7K&ygcT-b1+l zV!9mp93MmLqn_m-qgc~O&5k>=)&eRpSwbe^X8eDn2GeX?Fe!Vf+f|c*^m(aS{q{vt(x$K>QolID!Qm%fqxHd5;F zQ6VLx;I@lOhVL-#v0zL7vPEE_lxyEX4}+-Qp>Kze;g`|KxFmiS6~razG9mFV{#y2u zN{w+NlXa4E83y%llLbzTK?*V2qrY_;ksR;WmugSa>v6Y|x|5javMv_iMevCK1MrBt z>@Y5sm_#SzO|hSS$wt79Fh|VuSqU)2`<@z+!28HNVopM=vrPB&bw%d#9`%>f<}v3(biLS!WmKJ< zp;-=d+{1)#>EDva@bA*$WH-N&hNkQ^iqWiQJRZ3KwHF#0*XWNaN&F!?m6E~#Cy6OZ z!tyB6ro>WCYDH`%l-=F|Z-2i&^(|>`BPFZ&Zh9qk1b=|erj~}+n`Dp2K-s)4Fwy;K ziF`U$rDX_FCTdGd90;m&U^)Ml+M&pa+wcWJ^yIvWL;a^kkthk_{ky91fdIx{zTr{w`dO=Q>Uu zXg?M~!>yzF>6B-!;r~K=tW)@jbj=#yy!o{L$uk1SITkqPJ4zh$9Nw===DJ#MCU5>m z|705kF7LOlC3n1MT^-j1|Anif==L5()zEKx6GFrj^_beV%hBrG%<-=5zppvx zXcYzh6B>l zLF-R>^fx+P*_~@HqVtXyHjU@ityk}&2Nlm@sKTTh^adzXZ@dr;27m_&7ds&Yy@CGY z?YZ9^4QiU;TJlb_V_T7r%Ra6z>hMkDvwJrrx|Y2CBi4FY$iBWo>soT!v2EVdTz03v z2-$7OIjd)LZ(MINv<{5b?>K?bo!)_b`zJ16MkXfC<;7;vC*&$KXehU+r4-7yi~SCL z>YK=|KDam_G{X{G8hf#n&0=X6*63aTkSn5CxUK00*&GIJ+e~Gijo!)*pe-X|VvHu`MZtM@fD7)Gc-K2AS-|Y3^punU%xn@lF zo5@AqTMsUDlsgtW7C9<##a&>IO`*EX#akJ$&=qxS3a8J?5I z?io@#X@gWd5nk_H2<=Iy?d`qmq$6DWB@W|*BL}I4!sCsXpUQOPy@ZhR zH-GX5o)|fY-hBz>#@p5UabL$kFlIW=zYTKfevushndrEEo0;wm?=6=%*y6v@O|6;E z=%;U^^f@h)k2x(_@XfKpob0dfrtZv1iQ_(!Zu@QAHuf^BPW#v@WA;w~%9yODNw!gf zR!dbjw{UnU%2S34MY!!YePoN)uZ3&57GpT~Wm4Jgg6A@2*&h~smua7Uk&tnjjAO^% zS9eJ&@AG~<_YV6@WNauq1y3QNkYkIq$zg2jOWBDM84*U0j!l{vt!0p0h{`*pL^Swc zl8vR~!!VE4C@8QLM%Lg=-F}Hqk1dZl6v}b0eubrao&BIx`0rkzym19liy-jVUkudv z&EWjpMS5;rbm%L1*v73#eji5d<2DM@H8gcR39qQBYyA4m2H33)hj_v&a2|c;m-=5d zVIds{USI?GwD;qw+XB@MMsC==Sd=%Weop%39H8iv|eHKdyOSD`b6UY~ei z)=cQj4vWCSVZZ)YzhgVYS8i!QMO4?`hGUjg2SMeV!F|}T(koe+!e6`ST2_v*PVN%&0q70P55qBI5ihMc460qOryS?WeC2sH6>~y$W z0++#n=N6@W$7aQU>(u^}lWy~W%GL41&E^M3jknr8>1K(fOfqxkQPrW`)n~Sl){#Iq z$L{8tYgR61WrYBaB0)7WHQTw|^>H`F)QHPx-HG2^wbW@*i8E7le5NBzdC zl?^Lu{y&o$H7n~^KVq(0v7&xSRa0I4Dzm44wLF%ms%}MaO|>C zFqgTYyFurHc4EF8K)G|GxE(b2Ls8rV+TJCKCqT_ep}U|Bpm9Mcik)C4V{vjXi()Zo z3urYchZ?~aEf*!`UqBmBsC$?k=W;sgjrkMEK`TEM#p9q2pCM4tmTRII&E6^f&;#wm zGgURH;TG&ci%~sn*t{*E&Jetv^?)e{klQbcO`y9$w}WzceEdD=UeF%UK0K&KAe}n# zoV^J&7f6%r&ct zfyUmJn{YJ%&&3=ES{#_|xOTlKilZ1lM`s8M=XHSqbjit z)+#=j|Kr#iC$7>T3$4xT7>u2;2|L0Jn476H>=5#F(N6~D>CC?1JYDj3l~ZSXBE+G~ zY8~R#RR%2;LUmcrBRZSoEnRZn37t9bJzaF(`#MA3Nu4@B>@i)I<7b46b(O6{o(S2l z@&!K`v_mN3xFOtn44&LepA}APJ^?lwJ8%q(35_jv53upT7BHY*XI_E@W%vN__5TDn zVAsA0yoBkq<#g%POg|a;P`pz}e%PuN=+s%jbAitTz85L}KQ4R7di0Oqq|aQ|kiB5f zd_l49Wg%v4Y3FU)>K+|Z1a=E!ldNXguS53)lA;Pcm#;HCAxwjFN2t!=(5W3^++@JN zflhQkg-jc(V_HsJmjKoFQ{J>ZjRon@hBQ*)Q^zlOP2gKm8yRQJGL}wZ7K6S8(L*y5 zcs1>uk;xZR2l$P2Wk#majND`mn?q_nlsGdXu?+_$YZyUl2b5$8&d8Ncp{uj4_P}?|!74%64!hWt z-qV6OybmE}6Xni{3Nmp9dT5S`Hz873efi^)FM6w`K( z)B!1v?{CRe1!>@GUcmfe#kP}n&NcBI{b6oJ%x;S;)gZfByM~MT-%E+}GKCY<>A&WV zmL_%myf`{O&!A!7L3xgayKkP!{=>&#$(ZA;lAB@Ny%XV(tfDzH{T*(Lr%-B10pCXt zm6(K{$+Wd(tk;Lcg#1rTgJ>%P6m`>kEMalt~Lr&Z_~O&X;BK z?WB1iGbVSeY&%K0neP=H8_j+oa+rZLXUcM^9D_Ae)dQv&JF1a1Q#rD9i%hs2CdJ1i z{MIaijuGGB4V8*eA@vgekK3m8XYgIhSe5t+!CK(>dl9&qeWd3*q)|U$zcX$q+MHQZ zmcF_(?rQ}v##13{`7+^n)IN46=4=`0Qs%)3T>2M4e1@X2Td|z2SWafR{7-@hqZ3&r z{>eWI6s=0dx@SLMo}ki8|1PMgt!r$mU%I+#B_&kZLX`g-II0H1rT;7B<`x#Y^QKme zwT`t;*ni*RodTasZ&%;XZy`-hrm+|vSqspOTL1t6 delta 5605 zcmZ`-3s_Xwwch8zj5EVyW`JP^1ZIE%29TGE50uCt;DDf@pkPom39tB7Nz}xoRxz5^ zQMtja)Fih_t8LPne&!37YcJ-BF^PC@V$dXt(Hf%hIPKaF-A+OZ|bpv`e#E2&8zel`6H@LmL`aENgqTb=k_Mh6h`g(vnfn zPsA87Jqu(3_~R{!tP#kEDH~6JVsapZJq;;vuE5E44I4)}I=gv_%6hkL$6yAs8MH)a zUouB!BU)QS_$V(_^;OZWdWKf~wN^%PU1ZI$^YY^yC@SlUPy~~IZdAUFzSgaXQdfe^ z-E2@yd`4~bvffHB>4QT&Dmx0SNS}cH7;NnbRzr8d-Uiz;f*nN}1}lv*1c$61!Rl!t z*m|&=MzF!u0d_0c7e=r~dI#*=V0VpR&2$OuMX)_1*a(UZvQkV?a7f<>Hj*m9mInoQ zuL;^1NbNyuo;4-t46_*{~epxgYW-RqlhlQI&gp z_^A7?{~$?V7me^PQ)M1yp5GgCp)AieF6;9xR&t03?d4uz8;DU8$D_jrMl* zg&j~4{wKJxBljrX9}y$`npQ`|rT!WeTa{kp*^vJz7d_r{D}y~-@*jiZJ9Jx;d=H_? zk2F7{_abVAcgSW*5}v2~EK7xS`m@Dh7z>wSW1Ys3PM=#6wU^RRZ86=k{8pGuFGapA z{D$(ZiTdB&QoJ6gCaY7sAQeuZP^a~TxYR{ctOu$s$Ou?o+yVQ{ifm_kU}S;oZ5338(%GHqSsoU_y@O`%ALAlqdCxtncweg zq!*$SEO~qYbNWFSabsObJP5iH5kY68Cks6kJKCv#>xL4SsBCnSc2yF>`e@bYXRLir zEX1eUamEcB>q9O;LnE3CG&&|l*i6%75`^W{6k`va4U6y5>q?X|qL@TirtDmYMt#3g z3`I_poT9DCc=;$Y=^HlIhFqr8F_#mh1Rl9=famu;WaR%DWMp0UJ|2xdkuJwtqi~7J4=1gf{M5EW}pY=*rNajFLw`_viGcD@FJ_ zopF^4J84YnHuE}MBv*}VEeC<)Q}!8l+*h33~_rTb)}~X z!*nuzaby)dajvXA05?q_6l}$F7OEPPCREXyF{$Dk7Va&6A5N#zb4izxW?f+6K{1Oq zUMB_`>RgK8b;P=G`o$QRcrZe)6u>KG(XEVZ^ZQ{+MhkG8z#ZYHWF`ws>4D5fY|g&S z`-Bo2l@&`xWAh77o{^;Dr@wg*R~d5~OHW}qy#pK04(-1g=q+-__}+qDo`X`1^I9mS z9Zz%L3h!l)H_+(|I!gz}7TNY*!_*czryeYFPU4p)Pub;r<_y`#<;6evwIpF3A3_(f z5cycSk>Rl0nD#NKj8kTMa$J&FVWOSmN=4Cx;m^=ujdfk4xbZgQc7#@z8k&1zkc!9W zh}#Eg_4vod*9Ym!_(fvHAXVj#o%rHc^6IVrXH?`k`V-RWKD#{%_G_pdTjp%>F;HO2BU*A>gp_SHDLH)ZadYq=^r$#<>90Rc7 zj<7b@-BJ8Qx%aB4BV$lYYx5oA;p4O;e{}U9wHWQ)aJwIO*h^3ry6fEw-HX1}fiv1S zqG!rGgL{5?NB;dd_}ueKy~o@&rQYlAYPa`x4MLWKo?D)JhmVRc>x*vVeOH9;_Mn1* zzZ8TDl;(~T7!|w!Ky8KXbhFSwj_DEW_`5GIG`8atN$P|=cvzBpfJ4B3praq%09GE6 zq}9NJqmrZ(8S4VZ0DC`^q)EW+&v70C7k?p1Ex^uWlC%-nkNkH4D^Ez$2f(gVl5`Eo z{w7Hg0c;&x3}HOpWcz_0pa~1D9@q(N<2;t}Rv^Rf9pLt}lH|k|?)nCH;Ltfq>IJg% zNEB%DNs>u}`ambJ9S3ziu=hJj+6^26_5v#}Bc5hH0znu8VH!fuF!F6c2hec^6@iO! z^K=3WaCI`gnsx!l03H93q*`Dna1GaSW%qC$$Y@(pN^Jk9l9YwaSkWkcsxT*>@pyC} zOHu)SQIt5=fl-%D+>F9spjYCtfzQTh`%4Ujt$4BzQ(AFcWHu({0oBGoEqd{6?WaY> z(Ux}1)6x;9A;_nwqj(1IFfpc1LFcQS-CvCCp23;X9(3z4`L3eMc`at(3#={ zapN)4mShV5MY$z*;Tx(cu`h6bDM^j+;)N%D5#H_Kc$avQJA$d*4ekkrVm!MDaJG|@ z#6KfgK&%kzs0-CW^x(;cZR#mHTv8@FPE+)ZGPKn=W2QK1kp41bmgxGLL{GA4Izwrm zWZ@=NdBVkq&Qg;n(|{L3{sqHg&Qo-0*}6)I!MH+GIE}(b@*!|8aF}GqmWMhXM6;Y< z1HSEF@Xvwo0bj%YJ)sWK6RP9>yTLQu*m4{`WF?`xNuWLe?*ZS1*Q~RpIa+*Xv9~W! zbXlf$JjA|>G^^}k?JE!`U8Z--lC}L1*Kjc*(}DW8q4r|+ErHC6LruRF%Mjdc2sODw zb?zX>+u$oPc!=_5jx`iPl^5g?Jvp;b{|YRduvRtQj|BZ()cZfa+DKn9+iaV{V={&} z3AyN~wZbl#$Xk&mIA|Z_6?CE^%j{A=VK5DH>7%Gw_V`ISFnPghmdk2BT_`HBUaFfl zP3#**|2Zp8c#ihXY8Gr1Kl_dDf!Q_z@vl@`bDr~8R;tRs0r)WO`Sk+lJ>(K~SA-dzHinc1e$nX1ev|M&bzmjKN4AerY_0xV2N?m1R;-VM!) z@6AV`xyU;w3*62*7CJnqEJ|J&BLeV+D`H7!Q_fs#R2yFgBZ?ccz@nLnmcZ)&-t{{? z4uRM0qHS}nf{tFB+Yr_6RIGZw2~f`C;Xa)dU!5gBS4MxHn@qi8Ag!s6xhG&4DhZ6I zzNgwsFI1c2GvzSh?C!3+WltM((LWK^G=vE@Y_!2TC3PzNNKf?36-?7)>>MbptLy#F?or? z7Ub1>`CdV3QGlhYe7~BzKgS}K?i$LevC z@m{v8HLKK`HqLVoGS%DkF4e2IyR_b}30Tp(jP^7{&@)SH^wyFK-TNMRM#RT+Y2!4Z zmb{HwW`1(=;>Q(q2(15D^5a<2H)R?8hZ2so!lnsk|9R)fUh+0&nf<4tAN%M~(>h&& zI`MR+$x6-5X8mHb((Ynf-#n34H=A_+n_PA|-)s)sp`K@cT;(D|OQykpXk%9vwv>qN zB5iKTH2b%>AM5E*OIFz6bfpzP_Grn_nn|l$v#F)kL_K&mwPx#o`UmL#)`>r!_O97V y0z< diff --git a/examples/more/08_algebra_and_conversion/example b/examples/more/08_algebra_and_conversion/example index b7ec6dbf94056214911f89265e204841b7cd8784..72edaacf78229c5e6d499f32f1f0aa89a6fedbfd 100755 GIT binary patch delta 6988 zcmai33s_X;x?XDy;0(xIfMEcU8F0YiHZy3bm>7c~gQB8>p`w5Sf;SNHvUeI9S&m9! zU$xz5?|mLS=eV<;_IWIKJG0Yvuq-W8yi}-|WbPWoypVOstaaXhtu;pO-E)4PHQ)cg z-{rr3-}nD(vG)^x@27lwl))0gNhL=noNs6Hi<-s|xz)JyoFn)-yWDurPGP*=byMN_ zDW{j&JV+3$PLtc*f?ra-N^U!8GjB5J6)C+UrKgwplkvrqWSRSEH8YMY+r zoYDiQqF~j+i0u(C&X~Av*?((GdTJ_fUrFqnpZq;-P}!`}uyk*<{AOlYU|0;EQ#B`6 zWc6>4rB{V0{w{s4GV!BnW~qtv0eks)sn!|b0zwTiVyT23 z6g5Q$-Hlz{TwT-D#8p(RUfI}Gzp}ZuVsYIvu6A8heRBh@=1x{Bh`rVL4XT4&+>PYlzuUsGy#m&tvfexKfH&o2x1nG@`yflchFWQIM!BNC5BJgw>eYpc=SU(06|yAr0JfI?;$MtF z0Bn8zWt<{E1OQLz8WWXkhK9Nap({BX z#7FJtL;eu(j6Ojv%;30wF;TTYML(W5)-hxKy|4ZxitXR%;_iU6ar*w>8$$R8P)$cv z=*)Q>r?3+5YY)G#ZKPdcqazF>IL^I2@N_!I9by~lZp#d!OJUKGe+AO7Gvry-wQk)? z?*aG?=hKlk+!`?@fwA<>RyBT?TlLVnM3ckg)CVv!_jaR;mWM|P1M&1kc)D;bo?Z_( z$GYR8u7aY}%K<^|YFir6bh;UyR603@bsl;$nUU=Eup}CvnaXju+tGXz6?a?UYm8(K zG#fGEm8`zS+pH0LbmmPk$GxLa$a^ID%*SY1L@b|ATO;C<7Xaecq?Wo{vlCd=?fFOZ zQ1|xiBs6@UyQ1i;MwjmeX41)sGQN#$#zcMzO*bwRen_FWjAl*$52Dzwn;UqZzA##Y z-o|i!77C60cV0uUME;3iMpH~9G!=Jbp#oZKvIeDKGQKw2Z8|4BXrrm7gkZ<_GT&sQ zb*2$PcSb^B0d+=g*Q`RdU$-!H6;(%@ zzW#)t( zm4zOn>#;WyPD;Ktw~LMML)0<;GpJ+Ka}VPQypcfSa8u0RzF|GUJDDM7d5;9>hi@cj zoSEN9#c{LD!ICYufUw`;oBAWuLAOk2_}B5&5jQDlAM;D1VDsN%uUXhQ4MVNIQE&&h z=Z1f!^ns`LcbiA4grBaHeuRe~M*lWq2H#3oN0bZieGMp^wpd;2q_0KM^N#P*{u5Rm zuX9`z#Ujt;BF}ZV=Y5}nt|eZIPDU2X@FH9qQSnXc6GbT+d~@kaQWC$2LPlorPRbs+ zR9kaZ;ki9Wd^UQ0g4#66v4PXUPftE5xUy^UsqbB|(@UN!iIUv?8SpOV+1i|> zFH_?9y%d;Q7FJ=BExrNDcm*bENR8)XX=iG>5M&~6Y6^dt`cf++Peo$8+`32KfmmQO z8i>-;NUBOp!QrTYX69m%BB50~TiGPrq>^1xz>atJdgUI9<-m>Mi?y0kI zSJ%U?Ij&MyiOX}lbhf+onr+K>x~JN~aC?4mFTUgX*xm7!;CuP9C>DB-AkcJ=zY8YD zqjI-RRlC~qtZ;=(?zVsqxFQ@CG1WI*$uyAS-K`yJaC-W63#?YK*-u4BZ3~3mSsiOG zLS_P@&_3|n;57)zvd|tJ#8NEl%7+BU)`Q;s0=nQcU^l)|Aj1aTGsTMOac{kk-7 z))AL3?|pac`)cFKpRfg>iRm}S)FSxpz(nRI;+pATQA>53nI0L zAqtgCpnafBeD(PNQ~=aM;6f*upnYgR>dpD?h^jf$z4(I`*Y=_|F6*eSsH1HPpVhlD z-o5zP&sghWA?xbKQ1{}~uI(kyaaoVb&^LJKtE((uJHwu)t4*rN}9pZ17i z!S?1ovN{x)+e=9#t!vALM~CUm=;69#F~jR>eV_O3fks}|4{LmRo_-kr9gHh%-!`xc z;U9caR<$*%SzG9Nx3?B&2o^n$Yr%5AYb)~Hn7_bP?pokl=&I;_`4VFyi|h2EaRxR% zmdurn*Y_Hs>)sw3fh+Stc5VK&^HWAlcwL6&mRHAH)HMjuQaBk{pEo|7NWU1Nad*~ABoa5tF zpGosRhIzx8S$cW_17Q1g98h|ij+QzTg&&8~PG_O;+EC=D^gv|c_FJUQh|;ZvX*n6A zyXcFQnUNukxkz;x>x2at>GO<*!jIkL8Z~NcR=1SjOMX824*L>iY$!ViPa&cZWD7&1 zLfG1uu`|UO5JE4HN*JRKWssbS$~&Y;)cYQhmE{AYge55muoyVsupSpK)`>)Q#6e=;r9n!h;%G z{QwDnR+Bn&gQF69Ys0|KT!>n&&hd@z$!6@N>%bn?L0hN;SL}?_MV_zVkblt7{>-^T zdlzZP3=gitl^BYlFKH-q%o~C?h^~)0Fk>R*WrGt?gTa2?lmEe7qpjT9h?JAkEJq5D(n&l)r2_F0HGoF&Kj>0Ib7KtQ}w{Vuk>R|5j^SC&<%v9{!-7j6R7u;DC)6w&eNi31S!V z>O=_L1>FQ1t3p=nL1h9qr}&~M7K65fR)gx1Bi1ti>>pv33c?_SWb*c(@ zt$zoZjaTsO#U3pJWd%1l&Wk4i`xVG^+**t9YOq#a5F)+scXQkfZUD?>;IYCKZsI99 zC5nl%f>SspD=^+rV0GB+f5o$bx8V%g^J9eFXK6})f^hd^TA6R>)96q6X1<)>&Nol| z<2g~Rfgx7dh_69u0N4W(B4aEWSkH^%ZxoDm909ETJjG0o5&n9C#!Q|f?7B#gO`Za? zA5ESr?7KuU1=EGyJ+!nSN!a>1JyVbr*$C%YtJq-nkHTTPFVl$vd&_zT!#|#dpI88M z)3y4igt98r7a*=Yugc+r*%FNGa3wU*qE zv{AVywEEnWT6KQNBieDUUtuoNR<;g#B4|foTfkGQr-dSp8^Ucs=i_=Q$UUXyII1>W z_D8ZYp)d#N0hR~sVFom4EsL?u3?Bf#<6q!<`0`ocrA(e}vRkWW@;2bH@OjCOTk8}i zYt`d`=K!w;z7K(a(wz~s0qw496jW#r+K1|u>omS_X^;huUUG|GE=&q4LUk9bCfF^| zUyo)tLZu3IE?=vELYM;Mu3)X+rB%B^xCwy&2pL;HB~2NnWm0)~x&f{4r$tk8HC6=4 zZUk2#zGlSoYFzGF@seTM48zuma_ipL9$Gcc%&TeVGzVWy9jI@n&!;&I7UkOrd_yWd z6hGY@-;UFh6?7n#14@MW1Eq_qrau&~R+>1A8kiV!0#hVvVe)#YCm7tHy){Usj4wbRU*1+;Hwq)NwaqE}~{ zV!U`~xxc751GjY|U7l&r@PDx!ETV!p9AGPYUs18oY8bPLa%M%UOq`xp%`)*8^2~DJ z_k~$TIx%ZXbTM;{L4^gFfN-XaT4h{=aA)N!Jgi6TScyZpHkDqUog^*uhLTu1TB6smZ=XEJCh%&BDdXM; zUrCwc?2?&q?*655Nm@~yg}#T`O%o}lbTa0>s?;RtvuRuDT4DDD66Q?iE2(gfL%;(6 zc8)!IxAOJS|EY2#{3%RYj*dB|Mf)C*JN1X>ZiUN@k#Q-sP(7sJyEA3HR3_YKetDA& zNU0OmYYMI(OXDB5N8dk{1URHTh|LcdV7$lh+ewBplTbW~Qp(oyyXl28Q{nCe*=icB zu@a30!PJ~A0#WK@!X+zsjxsv`sPh!OhxoZzq=^(W*BOqV}4-ars)m&3_ zr805k4ymkDMrxs*b4?jun~d_xPVez|pe&=m<2U^{otx|6y`-7vh;AGu>yB3@^OGV| zNi*je!}VOTL*`2v8&wNc%`-)3AYn->l`V6(%7n{iTz&@otyv5i1HQ!TD;1_f8YKLm z9jWzK@Lft@?f8DdivQev5x9kYs^>eTUeB=KX?=>c(;^8=-`-j6TLs@_mhpU54YQTELJV;AidcpDw7eh6O# zH8l=HF-)@Jr<mwV!)oad(0JfL(S$zFlEiVEIr4Q7TIS7X z&-u?eXJ*cvnYowUCxzW7gdJ8RGckWDmVveIO#3el3st0@r?RxQ>9SCpP7#9BHK3Kn z05XFt3xE(j>S|e5ubPBGvTUF&g2iZ6w5*DjmG%gKPUbtYp2caG9PKM`w^|5Xp; zqO3J8k~V0yiJk0>XKyck`L()>-ru}f_~nfauj^@ZkUh}~wZLc@+u}Fk94|+kKl~x> z6Jv$jbUw%;OsAbH3mJlU3z7cXP_UPFtGa|>N(!;iqLACV#>S27JML>+-`Udm{nmC` zGv&E_#DHm7Fbl#T?@46MKpv)SJVVn`f*IN!7y{>tZCqBd8I+?=FwRj}&(3EN%wRU3 z)~FNKEKyifTU$7f@+w8%6w{_*=p|s)8O>#ptwlR8->!iyvJqvm4S}^$_&z$X-WVOJ zNF2r+Wr44#m3CRjC#Rt2mAa4R!?t({TQ@Vj|EeA=;o&l$!cv4V`I|v(0+%ZP{>2AcOhf?gi^+C>f^tH{CgzoMEUJW^8V`n z2aTZuy&sWkx{<(`yGJ#a$=Ex51>C)PDI`TiM|})tOm8f;saxFo_1*z2IP)ctGty>q zz-CNu=(MTv`)@V_Y$R%lj8_kSBT4Qa^BUS7X%&a#>DQ5&;+}Xq9+?npkB9k1{P=qr z;As!DmovZ?k-?Nwo07_z@Yho~6m`LqWPW1-W4CrdJcWw8S9OfT?D0-BM*JVVzRlaI zkw)|h-Eha=QxN)l{Q7ynq#jeO&`i5c@oCMV*rxPa_tv5kUUhr^+8O5VDJqBH`^g5s=tsR{ZoR{cLA>kx|NoO6-6UZvwO z&);OXTj`;x(?go4!|edQH1#RVfDJkI@7-9pF?~b$Cy=oAs!wP^Y^v}OZH!G88tK{C z1l>He_)2ceUJB{G*lG57zj8e?$=5D7l-dliuCiG%r(+n&;F!KH{2b}xMw3UAx##*} zKE5wd$M`=&9iy&)7mrFmjS}K5F(2IIJs>-|Bkp;>pD@JjqDAou!Y=BFUy|VP`{DtF z|AW2-UvnFD%WdMqlj(f?T_HnB81IYZNcivAFjV0)%;w9*QoB8)fk+utH~Q}+kaTQb%y<~H#XI+&f&wIYn{%bb9pr3a|lBzrxsyx@+osuG4M0thBj3zxNf;@zhfx z*L=v)+4Ng`rsj{){_y9u(`9?AaGE00DukWXkhasf0hhu}{Uhc#ftY3H3i>83SvW#T zj!YqnY8=VpkD_Q*S`76%8e_Z`#wtAHp0P2#;{$(iqx@EJH58H_FAUQ3^ty<1;JC+B zDD$`-ilV2|lZ3gnFFjLyJc>rr9l`|)&1i~pK@(@iBkw^?b<2!o>rovy)0PZ};G$PD z(!^hwxwiO4B!y+sychl3(X6)N>=l3wv{H!?Y%q=SU%>_v++xC}ta4j*HzT#7a(=)vF z;`M{$!JblEtgi>{{xzsToEJi<=-tM3t39J`Pq58*`U2g|Ew%2yg{3XE%{^3VE8rI( z&pf-Y@dDM%C`_7hUXqZ=hcN|YB9B!LMmXluJC1J`Y!u!W54UG zmANp!&5vSZVk4~%uha3M*6}T4F4fWHyyRJZ`tRc0a1as4Ch+~IY%K4GWi~7UKkZ@p z2mhh5`5cwZYA_9jGj`w>u7>~RKW@)C-<>n`#;o$F`_SOqa5j*`+fehdv!u(nYCj9( z-5Jb}>nJ;ai}<53>dzegSwu|A=gy#9ejbMl z!GDi_=jl1ltNxMS&-tt9)aM(fl(|{r${wVsM+-*?I`Ic>s^Ude3$7_{vwOZj&=V@l6Ii( z{ZNtyfJ49`AREFofK5jwsSCL1m?Wu1=mBGaLmx>}0kHUE9EiY<7<|0vgUpk|~Hi$~sV)iPzE*pc|NoOltu40XsO4Jl+m8VEYd9_KT8a z!yfkj1?@ognIw6EhD#VIFcAl-K?QrD4Y&g*bpvqdnk2mfWTVgrHUWoKE8qx~>mU-Z zV`hkaH!u;HeFKKT4%|IEfQxW>GQ4Mcff>MTT*Y<3KHz39k0Wwi1~S@Lni@CqXGzLJ zkF0bGKUSCx&rCeNKT1+D-7cM$%Mf*c6K_W0Z^NB<#*au+HjlniVu9Q77(S%RvUqbb z7UdqLiGL?}@%)S)E}LrJfn{o+&~hF1EA(pFRFQo|ua)6IFAI)0VXgAGcegHE{Hs={ zzAKa^LM#PWaGb>QWbv63lv3^#-ly8~1mPBKDoJGE7u!{TRLqQZ*GM;Dpj&-8wbbe+9e&_qX2<4`8`Y zT>$=l@O9w#;;k#FGAD!~rH)*t!b)ezOjL)j(E7@CA-_V^JxXUQQ$mJN-Oj7Y&P3SX zfjERzT!T6*(-|HYE8*Ow)frqmwJVhIK6qNjUZ<4{ae)e!8GU^DDGGkHl5= z-y3?js0n;l^^vB!#^|2IeKLmk3V%^kTXlk9AWwCckVpqm-$!PH^<{(U(7B8MJG|@gtde#B7#Ps3%om_&Lk-6v4g~iUCz?b?& zl_0*-JYthd5HmA1xt3TE4A&BKkOg0s_d>FhXGs>g7nYdm!zGo`*?i$A6rR>1626IY zmRh3wCbhcIDzF%4pfyV^Ie{5bP`S#KE2{XxtAwp zV3~AqrKNcuT8&~fGc+l*0t@{7Kc-9Lzu-HSUOJQ|3*10k!6)LMSCRN+Lw~~S{I~j$ zqHRc&yK7c@J*x0c_y+_pWiqfc0sUDrF|5q?D)?mXJx+tukI!RM}12i^tzDwoz8Bl?s>Fn}-FN!#kw22Ofx)RNY6u}`EQw>pi1trEZnI^3ES z@$G?FD)%-JLfSSbb+u(vYny=v@I2X;t@-Z%p$FUYzr7;tHL}q#Y1VBp2J*+SNM_Y^ kbV(#Nw1?B4b&cXsC~4bgX$%c=<6Np}&ljp_OMB|y0oMf7Q2+n{ diff --git a/examples/more/09_ergonomic_algebra/example b/examples/more/09_ergonomic_algebra/example index 5a50b581bea82e24495e2ac856948fa0afff619a..9bdcf6734fda768cd6932930d8f2cd527b3b28a1 100755 GIT binary patch delta 6784 zcmai23s_V~mcIA$up6NtJnZHr4Yu;8L4|-LhQm3kf4A<3r2+qCMKhTgC=Q_ z2%aRH%_=qNPA{sULM#sb^#!)d35>4*@b?@zjIGb;)zuTwk zKaZ+gbfYM=>f?_rxjvEB`6QUbVd>}5@*A09fngDNj@5j! zGH0kQiry5A{9U@_W8f#z+!6!ne0TD(QmxOohaWA~I{eo91;bJtq(f-H$2Uk1Bc@8& zK~Yh-|J|s@rs|s2tGSAb##Ifg>sB?nDwfth%()(0UDs4Y<3{~U4jZ(JQ**u;KKt>U zz|{a_)0&Q_Z`=f54*YC%#IQUwYx{9lx-}|B?@&;8=ku6+U#^5=RWVhS3L08h7sOWO zVWqt$qE5}B53g2JIBN^s8t|o}tcFTy_Jzt7)jfCzy`*Y%C`?IYxI&g>9>C_(TfCFu z2Y}75w`42wqX6)fsy0x$IxxsS0`;LqK(_)d9fA5&JJ5H4){a0`^e)h^fUX^Zj;8BC zqXGhho*sc}C_2DEPM|N0Ky@?==sKV~N1(y9KEM#JM2Ix>JtMeb^aga!LFe!Y)IjG0 z47{v$@^^C?5$s!Jd0>oaEj0nM;C%q1#27yg~WvP#G+%Z-e%U} z-)UBP>f`ACkm%T=IEL%0&Bphc7uee~SEq2?9szZiHsOe;i`IvvXl4TQtiq`6?i-%B zXm^OEq%es|2OUjhBzGrxV%WZ!9QSnxnuDm=+x;#xk~7>CW^eP`!RniPn$+TeHl_vU zx%~=-{M(Xz=3nV|p;7!ADh(Z**bazWlU!nN&7H@pcK7E^f%dlC1!#EQzAK8JYIOO5 zUk&{!w3Lsg;n4BIcS#fzww!OHEny~g9At*HWq!-4JIw4q3&Zsk(fP0){EM`1%)bkF z5-8FTr{4C1EcF=`8qEHC6Cm|2H5g6{AICF(K*jem|CM-}VHoGXB_0Cp)Mac_^QaDK z7YFe)IlP?TM4jO#b>y%ty_EKbkM}Q_0AV|Q9=;*0?mNcNVd63UzGh5qucw68M#P2v zaXj8Fqfc5JFw25A0-$4|p|n3Dhd0uX5$1r`zLm}1HdAt>+5e;&cKfL$a+{$PRqY>I zuv|mh@}PNWp%=e-bSE;NkDzf;ar{v#jEd3xWgJwNd?TBAl^UbQB|HNN{n_9PZ8Af0 z4vf+0(%v`@*5M&-X;3r07j+|co8%^C{cL~_p^g{$6m<-{Y#$!Kr|6StW5gG?SqHL{ z>6qb@5}=FD-99#k4{1_dT|20vwFvAZGc zGf+sR)*IG+#?6lS=j9jgf86fHa$;i!?1cjz33L$*KGf+LoNm|AGD|xiYK@axS}e!+r?) z1)_nNyH4pT$-<=&T9lF?><*)jFmdnU=%xFR9n^4L~NfHKw zC8eXGk`e_&$wFsR)Aez|@_3db|3lm-lp@n62zT@}J*}G0rJZTh_$<1b7Tvu0xb~S7 za7^n$>jGvVjI49f-tOBAr-Mr(e6B?+sRL5Hy|q^b&cKj%k=YD3`>W`6HAC2*)4S$8 zWTqnE(uSW1Sc3p74eG)^3J>o=!~~jc?d##PNe21->tAErufxX;XS~ z4qCOgL-y7~D*Fr8R@-Kdx95Dn=9INn6tqvOF=Y3bPPd1JPVbk3y|?+Yuap1MrH$Fd zavj{F9?7{!=hD_6c4=K7xwL2TJ{LjjkGZth`s_JqI ze)tR4x=+aYa($3}>2YgY@pD{GpVo;$*5z*2vboo z;Mv`97i~+=cx>(=7`MQ>j z-A;uV((TU{w?pjO8`~|`{MRs~g3VXn$Kj2$Y8~g0aoqi_f4|u~?2DO>^0a|3y)S~p zGaC&@`(`FP%YDP{_BDI1U8Giv&G_6cWIvmE>LHssn;jEb5>D{cU!;qcDY26-NU!}N zUK_s55>y8IXUla2Q0f5db8?}$ZG`4*y@H~$5 z zOWEcT_G|z>F)=QyE095QDk|@l0#WCAO;(n+3SBYFQV?JvjHto>x%C_!pI9DhgSEH6 z#!|h<{*Wp>ch6A%q{1;@;Bf1yKkH5Nn^E&{XKBYIV}J`Ryn5J^qp4@oM&V->O`l9c zmWui(ud@t;`DifMnct%3(pqk7pK8KFTKBxnI%p3%gkx*Qai{w#{Be?+S~JUpo_@NJ z866M{4itl|YVyn4Efo3Fds%ztoB}EvJb@Yv4r!nI59S%|<>m%tL{;rA7-m7W7gT;3 zyhlclvpr}Fj?T_@zqdi8_wzh{iVoiQ-&4;+axfYWE2XPnEL~=}-#_Cx=5vGB(W%FC zlHSU;2)p~~YId%$R&LGcr-eDWg6bqapOYk<`;7MGWQ{VPg!rFMkeHJ=X7UM4KXF!B0;2ZR7)+4^5k55_X)R$|;e>0X~@Sbr5?92ReLZa7x?__J7Jo=}m)Uf3Ple zw&#Y#z~2`*+^4K14)-@~ceq;ulfHoGI}?9ov*NjNto!JcTm1IC=Oay~hsIA%%W$Qb zB$7DA#F@rd2XL34f0~}li=jPvUCp!CtXxvF+Eni{EvZ}8Xj-|ZvB|Wg##Ci$sBf%m zs(ZA?gb%QqWi_kQ;4vt_$TwE4Y*eyeGFerPlMeq~9b;cue&0_r`Vh++?DA80?Qu1^$ig616) z#TL-?LRbOX0@}iG~;$$S5t}Eb!4ty?(eV{kL z5XE6o&LfH@cw`IcWY7kjwpM_4+<-o4A5um(`xYF+Da;>VN0q2l1Ly%=2WrB(@LA9n z(APoJzlI`c0}i@Th>;?ky0?P%fbIcJ$0_{^Xcwpo^P7GLGXmNL+Cg>GT+6-5hr zKh#M|P-*xD>n zSUA;jhw-eSTwCOrO03qyBRIpTzjKUM*&_HpT4^&-m(4f&3YIRD8MkZFh0g;ts_COS z6Piw7D(bb3s`3D;zjYSp{Rue9wqt4Ww9MLuQGs5*T|SRv4zjLT?53 zxP)N1pi#hvf&Gs4=o8IrOl2D8jdncQ;6>3J1v7b$zAu<59JoM*g%98ZqqA@hucAwZ z@xskZ6fk2#SU-+pk3xeLX$s*HHY%85X9b4-&}7^8YtpSBXcF>|XiWKk(-`wV(dhDzYE%WIf3L~5 z{swc2rm}U^lm1)%+I^q#*(NwSZWOl(op%k=h8YhupFp((XZUzFOcb`99$>EnTgZTV zjcF;~p5YvP^6UQtHv*pu-z{M>c8y7}Yg9}=9rz~Tk{z~kg&I{h69Ik%_%3{*&9GPLy3H~jp+J@)}M?}C>fd7eR z#}MssOw^#o+3;KeG%!SG9Qo=L_`3@6;fK3~ZeH!ZjOif#tU3D9X-s3pWeYtrD+bHh zIm^NqQ7`Hn>C!BV-h|*|1&c400g9a+6Wf7(jTQ7Dl|9T!P!z)TQ`PMIV_BfFg3Y9! zQMTZ$+*I1fsdx4=UPsn>A=D%IQr?^w_{#2Mb7FW5;Z~7>KTff8!zQUYuOV4o{`cVm zIB&PV#z%7k1UY$Qdn!xrX!J`K^a%1WT{lyTIURnJjnV4XQ4M+m|WhQb3^k zzJfO>xD-IZFL>oCb|Hq5MN<~0g?q1aWfQnBg(JybZd^D6qx%s5U8FBHU>y@nALAS7 zrBZ{VAx@TO8z3v;h;63DvB*KGl?j)q;JSN;XjAZA#Ft?xxfD^B7A|E;D2`VaVlRfG z!&0VGRhc0?JxjKU@RrJB%0O>YXPF_RBSA)aMfYWI2g;mz=jLrMPN&N(d=IG~w1nqP zly#>lFY}WklTLFV3=7e5CTZ)!zNo~QiK-qngl8b9NE4MSYdp^kw3j+V%o&C%9^>Bbhl+`pIRjTBtAOds5%q(m=$E}6D0OAGLB z3<&pq%L)-u>ROB5>jYj}O^#Yius2_NY2GN>Qk$m!IonWg?R~VTHk}gcbTnM6BYR!? z&l`$qjy%2ra@WN4<3h^7YeE!tzSN7)V=|XQ@leWo8q7xcol;2=Ncc|1Tl- BeB%HB delta 5407 zcmZ`-3s_XwwLa&-z&wDN0mhj@U_e9U{J789vTy(sHE2#tmdne z$PK#E#N5UP)27ultr%*nrd5nzBc>QJrV%tz)Z{ub8u69bT=m?4pK~Umw%vSZ{=NRa z_S$=|z4qGYu=6y(^JBi#VjKwJq>?KG*R&<^HyTc-NLz-S+Sp`Sh)t$oJ}oa@D~n#_ z46@7v{P3ttWLdr7A@q@D1Fh%HMvJ0lQM4?yi$4)%n6BtNgtg2#N-e!2lt%xj5$+1I z)?IJ(%_B*sC22X{}F!-2yf5Y&mYd)QNGdoLut3a@r$= z^LOZikC~69Eh;k^e0TC8Qfg%?FU;uidE5lu=l_=jbi;NRcodcZ9rh#C{{xY zz}AA@G>Q$N4zQcSZX3nw=`Uda40h)z)=1aDUIn{v6dOtrIx~gq0s{L+v16zNY_Tq& zXRU6dFSYB|ZZ$-!wWS<)Q;gO1BpIggnW%Nl<~Y4ApW|-nBfo|GR|M*4`7aO2drNwr zHtP6*szYix#kJw8-Lsqqf>VSt8$Ae46{2jE8e$9Sio`g2W4^v`2dw7H(`ZPkdwdRsfpb4L_}{t#>I$o!BV z4GrgiMs1;yi9Z9ytxB$PZOB={sxJ5EtpTp*b5=v}9J?oqp2ZmQJ=JnL6k5&aki`@$ zn3HLmX(|6(dedarjDyZieU0ilI%RVBEl)zXdb)4=1;3wO9kX2+n@HK_Xw7Ti%39x0 zgW2JCCIMQPN$wNL&-Za*4Njpi7?H?eBZcIve}uZcqSrhZ{y6jfSl`Cri< zt6h_PSJvJ@XRNV)OW+$%HL1eZnV$ZJH5lM{xZl?S*B1K&rUS89TgHI2H)yO0 z+yR1agoe_ku*rNDMT~W5-}zcL8xl*i#yb4&IAGU9tH!=yZbMc7lXh&^O?_?P3P>15 zwSvZm$MaL@2jS8Db!rH=1)YdNmlbzpGw&0H$0Yn76voR(Ec{$sxF9Imism@aGa?h*&`O zNE@F@xser-SE86H#2_NE`mkr#eZ?~n4H3twJ2Ky|9x9$w^ljuH`F`4C3*-0n^xMYy z@Q;uf{T%-{dM>7vKSF0>Y6ZWqw#MYpDo38W;hHGAk9cf72OWA||KwFsEOuWkc7Nq^ zAN7>eC$Z|m~$K6D@>T&Y`vM|irjbIH*e~b-eX>T%_Q}UxIBhVCq?j^ z=uT3#am^Un=useZQ5`Kzj^^*t`s7qTl6EI2W9ny<>rEHXxxuAhcLYkR%@A0Cj!hW3UK%1(PvfsFC>3w1m%y*nSS=7C>A{X z*&$pcT%Nw@6Zq3TxZ%>s;k&->d`GzF9kffEPy|P>gHY7*EYmG0v6EkRiM@Ol=d^2)`Sq8xs}^ zCBsynId0M`=cPEU{Qd;L>v>k@0@!&zi35lOvoO$u8xoPtj)v)@Kst~aJuyrFy`O6j z%favYo7`DC2Zl-qwg9U_2B>~t$_{Uxr{IaTp-r&1|29(dLH6TvpZBDkqn}JH9HT{p z=e2X*Al{3bC;c3qn`qJgI)DvlFhvG!owQ!i1<-~`B&^nvC2Os-6K$)5(VF?+s5R)F zxAZ@4Me@$uH=o(>2=v$Clzdq1zKnx%N=HYsYJ`!q6gfFUy9h5{=omPpqk_qQ5;`^X zVDi4wC&0=EA4d%aZ|Z;gIt;oxY8@@Oj?_)RhGD%empcHI*Mena^cHsnzK<)bxI^_R zKw6$>*AS_)_fFjk%`YO5-ldE0drL1fUiGj1UdCU;pdQN*eVy$TPM@XtsX4;VK}l*n zOD{vp8l;b>CJFb>kdQOczj6@jCr;C}oWwDUPs0Hl?(^$1^EwJ16uWP^I#QebXkCt7 z_~0~k<&3RN!+VJ5EvP+;+sXl9L0)a%g1m)asKM!N8?iF^#?G5p+>!GrGGyM|BKOC6 zRYmSQd6jwYdsQ%540=v+;(g{7kMr+6`bTc?J?*+&pRKts(c8I^JV(cKe@S=q+NpiI zon7Zrp|0tn&#*U8Tw$Ey15xZmz3hZ2?gQ2X2Y{UeSProFq$sulyFU~~gTQh2Q=;eq zrhg=gxxg-9C2-*HqSylDF#pZKT)1N=uy;rl`+@dPMe!c61sLwbJ;M#4G8ONWxd^l} zU^{RzkV6=^F@9JSUj(+`6c4lZOQM*9qip{i?ZEo~6~#Va%Vkj<0k(TY(V{|sB-Rw* z2r~9!VET1Y`~$Ea*az$d4y)$D(1F~C!u4QWnK1Vz{Ys|Bbr?h#&=S4K@5MDItrXZ_!&A_5GfR&p>qY1 zrp;$WaS4=JVUuME!$ZcxkTIcWMe%8g$ICP@92?tymZlVj;k~7*a29Tw9fh-m;`8)X z;Y_}ZCeJ9vIPMwoLfb`pdq$k89-FyZF~B@CfDP`aYcrhMVn}Li=f=zQx@+b$)u^^& zN8=S`=BUTPb%Mhla@>p0#suY)09zoHKC;fXMP=c$i4_)?th6bo z-dwMaK-i{J#vE8?`#q}Uq0Vz*oPidh z)%*46Rak=x>)TCR=9qak?V3|(ZFk768XN*vF5_W3ofK8+6jEl=n{(o*SMa5^mEr$l zFc_V9j!k_}rJ1%>8Z>E=nGj6iLM2wWfr<7({oj;h4jfJ%q_$^ zi{?57IO|7q)2wB9-DG8zGL;`=>w~4G9-eD1%FU2l<7MEwl-AC1G9g7fs)xM26ka+V z;Lj<1H$~0EG{)1Ed1+Sf|1lJsTr|$BJmmU$Gcdbj_-!X+HQS}c>NR{B?Wi^vl|{?? zDKN>36$gv;>Sf0QrAY=ZQQ-%ase7lGukfA3*I+7BD6A&UI&7AENoft$1DJ{dTWO(1 zHD>FGvKpLSsjN{ZIzU@$%o!~SGRrHTdqWwZ<)MN1e>d<@jT8AxGv8_Dq>RpSQ#g%jntTzLBaU5wHoLX=GLH3&7Fwy8uZC>mpcZ1XD zO@LnPqhk%vsB@K#ryC7sYHT!W>W%Wa^|Zcm616oN)ZXh?Qn}n{4DM1=mlszhkhUpJ z>&?$Nl+&Bo33WF)jowZ4Vl5qOat3?zniqThNZXu7ZO!S_)NG)Acs4bsYrg;2;o;^< z-{tj$QhA1hq*?l;(HlL6GMQD=$%+uFT^2~YmevUaI?^tis4>*ajZ>*;*(AQ0)-Q|y Ef9V{r(*OVf diff --git a/examples/more/10_twitter_thread_example/example b/examples/more/10_twitter_thread_example/example index 8fcc9729e3f4e01a4de8e04b64f5bd004f552f90..0a8409270ea62bb683d22de4a78090cb09f13e29 100755 GIT binary patch delta 6988 zcmai33s_X;x?XDygEOPd1sDfVV88*n2m=@@9x(<%2ORI9sHlK4f~FW3b(ac;mXl)G z*Tw3b{ZMW9R-g8>?V*diQ#q6xyUftEC~v5hgPIqzj+M2}`>(ae$bEXw&$H(H|M$E6 zx9|J@e=Ryc=R3Rk)-aPdgp*2+Ot>vO691-MHBfG?+VO>5_jIb~&UjWCVl`ouU@dy;W1Z?0m-`g&jeRTNvlGerFa&ibkC&zT1D(@;%8R2ZW3 zI8I^3-P4Y|r)}=vcFaD&_RUf3C~~#LrBZvaO`9o-qT7(5PNAOQVSG3Rgj5*bK;O+j z>l%(ZJ=c9d{z45Qv3wlu42hck*CdW}wglNFlHCnC(cCwg<8HM&Te8DljHwQ0B2WYj$7Wh&Eq*|!W@`cboobh$`A7%a%!)c9WSYYjN2rQtku&uh@cs81aLA~)* z89twXfI7mh+AIGfi%+J@;c?xxK{p0M-`gTp-1B(R~B z24#T37AS*~hYsgoqFF;@`8R3x&}jX$kn?4HFI#z%ULHCuVKpFhhfaO-Wk#OO2yK@w z%x$=S9IVbhLrKs8x;FHBj3rhQ?q=hgfI7ziDe4&Y-1qRPm(s71VG(b9$2!0~m>p(# zmjoCi4^diFwD3LhXVi?SnK8_k$;G5fI((CVVM^$hDMe;xI}ID&hm`s% zY#~lRrm_*qd^K$wk;p$w2a=P8kPy0>oJnCRNtQyXKWthU(+H3?PKHwXh$P{`U}_nW zAp9egbs!80hLW9hscA-CusobXoB`;3S2Ydl5B*YyX2c z_kpwd1C4X1qd9Lg$2+rrZ1~L4EDDB4wHUJJvdiOR;nQ(haCS6a2ypS2-G=B*a5A=F zHJr2AYjhiGI^72Mhi=0u%;y|v%`vy(N|!UMtKk$HA9|ou_l2hU!X30A;(iaJP&o&B z1(b=`eHnlX05=3qb%6&qoF5LU>NA~-KWubtb+vF=od#D&OCg`tyFSLb_+P(a z&F=|Wm)8e57awE>N216zC3I-9Zic81}JBN%#~=XQSjSI(A{XTfuN z;4Fsd9AyQKr8bQeM)~PtpTm%J5b;$4vHe0LG~v>4#S*rPCEeJgk9?o^h~lKJ^}A$s zC@{B|a>j`6&8IdDF+`(>Ym&uuucP?`-nR=Hd09U<`0_k`Fm8Zxh3$JBtOEE4@5)+Y z3#-=`cnSEbPdto6o}$1x+^*cqP@ewOpiUD?(JQRV-#ZV zGclyxyJEEvyYhERvpaGh#+dRqe{}%&H_l-wIE|d+>2AJwqvLh}mU^gfKKRmv5gooL zGzwZaGubJg>rPLA&G+BusNJ3y_Vi8UzdYNx5Atkd*iDgT;soFQ=g5#YHb!+;n)kmj zZ#Xl{P$mq3?bi`NDSy$^va~oMe-Q0RD-eDfi2RhI9%S>i-Xwi`m|-*LNqvNuu`MJZqXX6XXM)&Gv;rqA_$i%xy} zPtrGI?82MfWXZ}FoN{YYH$8?{_X#?jl_Z@0ocgjx4Y+jz;x#A8J~nZ10P2qBU-%7~ zj+XpiU7qid5Ns-1Io2wyJVC8vhZJ2#4?Y*f<|Af$&`<)eclW1kl>R&z^^;?ct0ntl z6#RX5f#)+vae?Q1c0AlEhRG9vXSou8VXNXhaI9S%+rdAX^VcC(>-@O;Qq$cdtP)8a zYvrtQOLW|YXSUF;oM`IIX=|L?u%e=})>`AXR#dO7v#w~UtG8BETFb4gYU--%t5;WA z@eWqGw6Zo89)t3md|mm9RS#7De=1WdSJc%0$y)xv12v1w>#J*4THQ6Za$oN9>IVWU zm!#@wv17CH233$lK8KZzxuK2h9oCK>%RUyx{iyFdDvCXzUeMd1T$d=8Va2#(qS%J^ z4NxO%9~VU%s1bAwXd0*sbUNs6P%r4)pj}wuZqOX8{#DRbCq+@C;<&cYpszwM?D`@4cY{H z3$zDx5P~EJw?`Xj8|XOD>9?Q<+KSuoE1;`zHy?_H?g4dzPRCuo9@GoEleO^%(9PPQ zR$fcbPl)GBsAGaf-S&|vPNy>yhBbB`!Qe4=e_`*m^?1C%bJ(sZg~@Eg)BTAkA|XhH zVQqL$01J{3Odj+#JYB&2@4*b~#B;hImdD!cRea~i^hn;s!ENAG0AmF=N9k?<&L?y> zFT#8SjJwKW+qLca2^PYk$R4S&~D3`!*ZUDQlAGQ|Q&@V;tPYT9Hw++}9 zVE@5-R7LW7>s&n+nsee|KKaTinmVyiXgx#EPb@@VUr(GY>^?^slcowgd+3o#@j}yi z+B+$pucBjl1R1=&iXQ>%(%7>W#Ud=r#ERAJ&g?`~kBK%= zfe8qU)7NNb!Lq=esJd>_wSrh(0+bG-i9`BYL44p1R8QQbh{6cnIB-G{BGx_{Uznjs zi(?*F#GjGc`JQ&b#YmoP#L<;)zc zvT#OvaHfT~l4qtJzc0=-)6toQ;Wzq!K!ODpK>{*`mC|Qf!poRT^eYb3d3-BNpmK2i zU*7xzYfxdjZM0*S1z!jD%vu!QWs|vD7L6#E@Gu$dMv+~(HJSF#ikFsfUC~hLEHY}@ zH%p#l!+o{L5`OnXt)$Fxsgjux&P(Tu*kpc$k*4vKR6G%l2a7F&F`FJQUM;kZBVqPL zzKjZH+XXDuL$g!E+mvs7{tt@l;TgdgN)vU=wlwa$Pwry4(o>tlt&y^l>P+$y@DG@OY$^lP9ipQ;~YzP6ZVZ2wPImBypLJ9 zL9fo4gem=q-!5{LSRg;QWDVa&$4V>(ZLzY}2-syM4f%p;rLk~Bsgenoqu@Ep`2F*m zui!nDJ{QY4o(kuthNm%iK=DuJ7=~iR{-@E7x$q8UX^<17vRxUdmpbNJ(!B{X$}7`& z+uwn*(Eg6Q{5Wan*)gT8dG_#C8M5wJWin=D8#b9T+BnaWIGtTpP^3HzI$Gg&DNF1> z+h)?ud6x9W3b!d+QsTDAgsV|-ucGBYCD$@7{&DtO`De(O@crFbrYI?7uY|)5bAOM& z`v>@^N?)z`0K$s@$h-jD%0AHJb3Xc0>yagcS$j%6tFi5~N($0fcUDVN@TO=P&zA`| zPQj;V$pE`;vEl+Q{R<$nN|ESNG-t>H+!}^U|0KvM4U2sYt>68lK#_Vu(KedfD@rrf z2I>C=i>j*Y>T8zPmam{^%8LS(e;k}Hza1?7V<9JJlB*zh!lI1SjMU8b;}y>cd;(Qh z-p_BLJ(YITbeLqtPd8F8(Bn#G_R~?6=(g+pc~qmJ3il|JKYjXXH|=rTP5#{Or#;l` zZq!Uy{EtjaE%ew@6Ll{&((a{cVNE8ve?QIXFF2se6zo+}ub&=DrlhJ=o&NwrTB)d- z2#?)UWjFaf!B00)FHnD8_S1coSZ&wdO=?tLJ(^0Y)2OrBNIUWPs?+YCTh?jv@Omh5 wS&i0OCbx`KzRW@aY9nUc$pmy0*{qX5Ug9GW&17sH4Gik6Nz}W4-FrJ>otg5x z{B{01b*k#rsZ-Ssjq*dM`8^gxZx|;Prwp8WZ|bi#T%aQDJ>$^UrpZEW8in#1u3@b# z`jFGhG7kvAr!JRe^@{t@PnPwxjW-)Cik3yuvd|&^gLrG9taCqhG27sgb zgc1o7cYBrG#CFs|FKEp4b4^gNTVbbx73dFOPl2tU!m8*l*gIfbrm)j!hSp5!+MwXh zDXfN8fNcc(^b|ITdcf`mdteHyqqo4m3HIO=)4gz(m{MLQ) z(enPs41v7Pwd`#*yyB{L)s*!lR?tVGHqAm&6q|J^s`7nd)A@X|g{{%OdruU%f2-Xx z;`WStHTUSB!xH!$Iu;hY>?g?_=k5vCNl-8fJ<$|e#&I|IxO)onQE~UEvKi#x?l8G` zslHl_`p$t4jX0)@>&DRB2?e3Ak@RzfGDD z_pX9hAb7vNBZ}U281r4#3-qipKjMdJl0n%GI(_gu$dfv~s)jBa&6+Yrnnk>+7^lQ- zO5{a)(A35goi$lC0?bY78dMLHU$`xx){YS}X-4=j_+Qbf@D~KXRBAIPXf}N#Yh9rI zW?R7V6llFb1LiZrN6D;RyWnfN{k3Fz-aI{EA6(=85lvWjX*H-$>Q)A8l4)ne1N?5f z7-7|X`@gb!8)+jG1Im-2okBU0Pnt@k27Q@LJ*hMJ+pr~r-W(c=OfbEe2tQ;EgDzr? z4Z$7|6mK$8SX4f5rSd47X4hY3v)|I=QHcSc*RD4e*c}g zY(F7noHD0-_rJaOU~k*v?6(9$d;>0o7?k_ zH;+C^J`?bj7x9@-ucyq=E=G6EHs=cq{W&FxpH88vCHxs`Ox+uL+04%ElcrpxbEwSt zz)WIlykHEc1be#h3^KMoUN~W*6{(TbV_y~Jgno(Vwr6ruXMb06rAg`-b26N!rNsz( z6D6h98S27iv%dy1KP{kV(h~R`bR=ztaL+_zX?EUDf$2@AL3D3+>z+ITE!7Vp;GC9I zcX}G{p;yyW1+%0q%nYNT^c>2YVK={rj4bV%g>~5h30-Q9v@P8(>6B~e_s^N(-i zD&btZlJoGWXLS1)6N9(?Jw>)??=G}U+fV{mS3oG~*~xUvJ>zbVzs-B@65YryvK+mM z-7T`sJ6UAQW0w|-vlQ>DOH?^?PW;S^EX|GoH&%eSWBxy4z^Yt2`zcT}iVSpkW}>iD zM^6`mNQ_?(qO%ouIU z$RyKIH`N;MHqDVG}_wT+pnoxUV&j?_*~u zXYSE?`=EIx2KRw<_kC~adB&^$mOsk)>loDQ9i^ms4&n4Us+(6Jbjs3(b954tdXxeR z?82S1lwB};nr#&7zdTKw3R1&oorVLp-{qgoarG>`SLV6l?wR2Zp#Lba3col_!v#?_ zA$W>-yP);}?l*r3D_o7P6|R+6Mn7e<+<}#`QxW@(tFEl4APsrawXDSRsjIfcbIVoZ z^4zI~$!O5kWvO?WSG?lK{R`#~^8MX`PQQK5SLnDimgnd*=S!q6?4~`1R(7FFh58DO zTiGKtgNg5pVjt?x4@7YkxCA%>>>d`ydI2~hiU%OKe<+G-CIh2^dw`k1K41}W7}yJR zek6*o1DAX(io?JG;2(h#pNJxRL0YlqXg_W%*93p%ffzd@ij6?$XQH?pxCi(uZ~}M= z*n~(N1NH)M05}+0L{{dwaj8sw-7c&N5JJ=o+O=D?@-N4)|eC|`C z=%k%R)3-MLK@_DX){MelydC)J!DnJue1+-k#@B>h!>N)A<9hKmg2Sno3gceKR}T&s zk5m{pgm2vxt_bpZ_7=CkPxghyt5eXnM$*Ou8kmQ%cYsr|Ik-ct!VztVdQqVC6QBlM zC!(fpihc{YkHIC%`kBIrtj}!i0OzHVg;D$+y1p<IBDp#tP#)!Tl?^$0SCc?QU@Tb9A;iQkZp~{#slrSU#u1 zMWry?vuLr9IYws}RS4FLWOpYC>PuARP70quSUsZHVD_B|t;R3t8Fz-Zj12?Pc$o@I zO1BQ7>W`pGR9pO_W!cPob{ZqvtomRAAXJw{as$m zbyECNlV2d0M@yG3;+yCQBpufdG)MO09ddv1;|!d8E?ruhfdLIw=7`=O+^@n0G;wNj zRhhALSCz@njNh0KK}sP{l>^+bs!a5LRcXZV)Ssj!lS6LzTLF9+RUrzQ1z;aKAYUCVTTOmGCrm=K=CyW;Z!Ldu1=x>!JoQn zqW{KVC_3>RoBEL&GaabWYceD=VVspN*09BV4I|FEWUnp8z4B14Ss2czf2w^%Xv!yH zSuq~FCCeNFob~v!jEL??X$IUDWhzf#>q9Y>CK_C3-rAlewM{%Vu6W&tz;hB;;)zzh9JGa%DBbxB4Wkt$k!1=gf z*gS{nNZleV>1+J$BUil{`VIAu^4&C2Z!YOhkUDYcu**s&PBrT_!Ojv&iwsiEU_5u< zx*kyU2PmrnZk$7<4H*%777i%B#f)GodhEZ2_BNO!tn$=39C)cbqfE4y1{=&-y(u!w zEAD3ZARD+>akS5&!`}_8S?=I_DSx>mB2&77IBt%z7!&db>+7U#%gu&9#g)DzUPyz> z%~{nxojLNjPs_lqQutn_m+#tXVZGKrj#h&Z!Reb6bp?JR@d&iS|Ih#IAMmd!qqHmA z@4IMz58jIZ?h4~a*?9a__P1O>GGpt}TV?C(l|h0Oz9~*77Am~Or$1XJMisxLfKOo7 zW7uPXS?p7KE>(I~GoEQsd!t3WR?(U;_8)G{QPKG7YFf7DYJbhz=LFtHSJp4!>nXL_ zVX#7x6(4SW#VIT^A{p@&rfe(8f&$U)1QA q$gG-1s>0|_TQHTht>R&~EmzatD7QUISK4y5m)FQrBu`h@#r_`?5Z7t| diff --git a/examples/more/11_billion_lognormals_paralell/example b/examples/more/11_billion_lognormals_paralell/example index f4bb6b50c2eccf236bab794b837f1724d1397804..d526a7ed7c81a6cff6471c16820f7689f4fd5144 100755 GIT binary patch delta 6788 zcmai34O~=J+Q0V>A2TR3!{_iJFu;I(&M+tnCdSa97ez${#Y6#>5lRCE(o98{EGNaV z=dEquwwBszYq#yyTsL>$+6L3I)@-ygTs6^Z8`Kmqi_E(FKX>jV`TqL7hu@w5IsfN5 z&-r|wbML`@f_HzycSVKfgmH2z@&cz{zANJeP4g&kv3b`?OVFWgZ{bijh4NW{7} z7}`FD_6Sk@4LYYX@Z)GsrGfN*FY<|U&h6*oN6EP^|8@SMu#^PtFzQqJ1&6?hu@-ia z)D#_XV@yly^7=JvxSE=ldz#lY-qY%+S=Mkj=UBU@v9+F(1Akq>I<4k3oFBT+{&-H{ z>cO#T&B5bNPW9s;&qqUyD>AXNKWC%Cz=V)eg>~+F9FyiM zVDsxs`HFrZ2%fSv2CCMK4i-nSDq0M72iU3+YyfqFeI0DW2v$vRfV~8E-3WFReFb(* z(CFZ8BUmlP1sSLe>=PqcJwo1Dy#n z@KJmDQBV3ks!vi2vpH@^N>T02&`;tc8kn)6{yjfRQrA^o{B=k+&f5E%kWu_hWV7KF zx&%ANDWa5H%5k@pBSx0RH@Wf?r`bwYda7wp==fMEi{th)Vo0~dKPj8zJSmbSiOwsY zRgZ?HRyr~`PV5Z6lFp#80U{~lS7jXcbr*^+AtQGBKg*zCxHUrD?!ScPx4K$2QlBni zGt6>tDG2@hWc|D~bbr_wK98OVi%*{kifhZP6gvt-Syps@(K=e(UKojj=e{2#$+H|y zzU`kvXT#EYKhlKH;tx?(cnbeJ+7x~_9PdK7QFGviBn{~n`iD|jgemYE`s^9FK~o~0 z;%#&qzrUyTk;xj%_g<}bdLhyjuoOe`EGBp4Nuec;?vG3glD_lGXQ$C0B9jAh)1Z+3 zXw-JiOJn8f34V$GE2^5$qQNMm=6{F1%A+VIIwjz%ROouBBzjY%Mi%JHOzI(Bh@Z)! zOY8Am`<6~dCq@)QOSHPd+nID>a5@OGhKEyfOabqr#W5z$jBmYmpQMLlQUW%n!0tNQ z7xPFIhpg^bn+4XD>fq}phI;?&CaR82F|Dc|&kQW6+$^gUS4jhL z_5e>Jy1R@f#s8JBpuzYUzF_a@gj^MWlx|OYn4d@QCC$cfOmemG_+=_eDx`hMHuX1O zNs{v|&;RWGFBr9duAdH#%?f%F2GHHS%ozH9Y$~5j zNol40Nm`kwyc13Yq zsdLylG^ERTo6Y3dNV!^^E{Y5palD@LGO9v;XYktm7RYAlA$mF^iGP54GO~rK1{%o7 z;4>&Tvo<0G3Jy`X=`Cpa{{^PteveUCW+v~X*E7@k8oH8^DU1uJF`0QJW@Q*+_#!fj!wWT8pfIr{fPz1@lNs{e`BXOD$HJ)2$6 ze?e;V6by5kIj(){aox_3us3ZBZ1ZiEwhEi`>&kgz$ECEb-{^LBK_EK67nfakek}HU zDR|a@CP}5vLkJYQ2M)?RTCWm2XQ*wRb`xUHS+Ucv2ip#t5*~ChPKhAsH7|Dbs3GYa z(k(WbAZ9-`J&txLiv>MxXP`3~K4%_YAJhgHs|prF*bctpg42vP**iC4|79FPtYfy} zqjDrgr9jC2U~7r&nOUxaLpGiL9kJsbwfKas!@iZ{#e(nJPS`pmLHD2rU3Ok5b9$Kb z^jr|cp7!&8W&8z)F5v;}F*adMoY>*gJ9JHl9XiK*4&5n?=Pa=4m_v8bEf%=jPNDFg z6Lnfnsyoi#KnW_215ibkv%rf$rrz=|KV(2Spm53!A@Cx~n_NZT98$IBiOb$=w{0)$ zQS;2BsRI9esd9dGsvjLNC=h`vd2h+-&R~9X{RofQZme^|g z*Y`0YTX}u(66^vjJo3uI>-!^6SKJ=_xtZhsj)(gP3lBJ?7O`=|*a%B{G!50iG1bfw zs_b2>|0svA;;O< z@!3Gnupg#+j3*OvdBE@v&*igh#9Nu}Oy?ER>1Xn6@1xJm_Nd1O5&rC^$?w=r`7qA0 zIGpCu_0jE?Nr@kRDv$eJj2oMog{O0vMz&r@KxMDg(SKV~g!*9Wv6Koi!3a;;{-aHv zu0fiT6Q#Qsrg8eqp6BU5L-jdUA>dPbB4@3T{V9c5mk95lq1D#hiJCKVEU&nE&K>Yv zJ1ujg*{OF79t9^`5?qdt0c;6&endh!vjSo}y=Sr$+9Cz@tM47r> zH(l%TGUu1rkf${C+4zM*?Ma%F7Z>y{-b_(3xL-r{d9Mk>0Te%B|LjfB_Zr-Q91ITW z9(tB-jm~OQGeV-eVGxFySN$F69Sp`{b(M7n=i=SCtkb^^Adk-z{RyQ^+&B3QH2dSQ zW94{t)6#jy`~P1a@9SLuS7_9;?F2>UTZGqoX!sIFdhuiWCO<S^xi4nOVQ8Y0Z7c zx|J)NmesX3Hr-=%G_CQr<)~|1=~utp97Kz3Td~G0l@?K-&8QSO?$P4#cJ@V@1ySw$ zlGKg-?xT`)80Z4_0XerMjmAPX1Gk}EdrXpsft!J8;0J({f!v3ZRK@gwD}mjZ;cY-S zX8$>${u4=Z0lRu7>2u(~DM<=fAtn~V2gYM*x`7oyJv^)dSPt9(bOXB>k3jP>un2K( zn90v03M1+a;F#_L=6rz;1B?DGNosthm47KoIY2ki4s_uSY6GzEGU@}3gV^l>E1-x> zHTLpuU@K5RBuP7f&A{h?Zs6;{%~w$o=(;9JS#YXuyhHyMsK*=mVc=%q*T4Z_6y|vI zb<7BG0N72d?-(1`hdH%isyKTf3y7Qv&v-oh|0zl3wC|4OseMNzNft3N68kc3#nTJE zh^>Z_n9dG7wIAS9N8#||#&zSl^ghMgVSj)Rdh&Wij;igUY z7(ss=5J|i3esLzOWFBi%)aD3Z1ZmZGjN*(aR)7=fm_1o|4z6i83m^4TYDql4drC?Y z3hgH)sa~wg5?eKNywtmh_h`SeUlEMHA;l+56ZNHcW?Y*ym8 zik_J|n-^(t>R3L9qNk1JqsTTbOnBft&7Wp&U&l;h)fa!DRhNvq zUz>0H1>sU{ZAajP0XzIV{dTGz5%2{V$n8MmeID95ZF>7@WZf4eX{<6dwtxfRE`eLX zxF)S}nN}??EZe2yu`6%ojo>$cuVnh7)+mTtHM5fs{-95vEy`4_Iv;#F_|f=w*p2VB z1)>#w!{)n0J4JJV3)vl)>411wKn}LJ7j+$t1;r@gjUZ? z;MKHiriCx39^|*sxtW#_qjJrFHJ4K#CC*An?7|feOK3q(`;|bY0M|=(vu;mRD@B|q zO-zj~I7)o>tE_@J4dZwcz)exe;`9?)2!|k@q#Qz}!TD19g#go*~+Oi_``w zkE^LPs+(u9`YyVB4X;(|`qsL6C+0?Fd8^5OJCw)E$UM!slqI@&Y(Ze zOOBiK`6i2muSRIbf&X4y^{=c02JY<%BUScKh$luS8*4ZVAJ0b8E$ z7T}8-_cAO6DigIInjr!ksI6*kv>R^>Ecs%d0Re#7anrFX!}QwQywV0Qa1#`1v!d?n z`W%JVXLuFwRrHrCd{H6gE;RGCRJYJjnp3Mt75KHH)TPV^VuPI4Dns&Jm&?ZyB+o1Q z1Jtw75Tn1PD{uR{Vx%E7>7v9tEw*l}*W@HjB}=0aYuG5el>UB(rdWzo_|5p_U`Y%&Dz2sR9@*jd&FONh@8eYlcVH&{Y_fz*d$AidgP*8CK6sJ~$%^)=*B zd81x)^WQOzjT3)5Z;Z3OUF)MgjZJaJT5m~TuAmpZzr_28QTbi9Le6M<^{xq;=4vm$ Sg$D1Ms2N=9EyZ9$6aE7`CTYk3 delta 5430 zcmZ`-4OCRuwZ8Ylz|8P7Gr%x2ATYoH0|)~MhzJQoKxPy~5Cjwz48NL0h#2XsQLORB zNx~|+vuc_qEw4?oH0^5Ok@S&16Vaqb`)qC+MH*o)fl$TUofGi%kU{mi)k%WCI6vC(5 zi`0_nMNTWpJirf+vO*t}5Bx`98Z_pWKE2C^>q$B)$vD#wUW*)XM=O``oQ=u~M zU-d96NLI4~seLwtkzu3nio}Ycy7=thrM2w-rLQVfh<%Rc*f%seL3h;Fbu{OS(vQg7Ez`$Mz>UE zT?c-GfckP})U1qYu9n%b&dwkf>GiU_J)%>^p%-tf9ut!Vt{r+-zFP-L=s8tjkV9tu!3y*zuxG&5&tVmG7wjFd9dlTJN>dwX zp*k?AcMhwf^293PeohqE^W|1&o|Q@ z{JurchR3V!{fA`r3pyEY@%vFStRAH4@CyQ2>1W|_YR$Kjeyf$<36J-yw!)y0%*H2G zrx67NDCji3YHZ}oNoO*v{%2OQPNjTPf?p6U+_Thb+7)i{D757k<%~w>YiZM1kGmDK z^o=Q2zlnu0a~ymL(>4S-K~Pm#7~L1KgrA~EBP^hG^5cfB9Jm76Zy;ZtH?P15S@&S3Ep8rn~=XtZXTvvk@40wpwJ(B zbuX0^B^E83ms^Z&nj7y!b!tXaA5=#7EVvO{7w<8iU;~Ut9W(dmj{clcRNV2`MDZBg=k6txotVfM z)4Ie=UQ7Lnn>D3>lXVW)AKc2nkzdk;|C?W6>#45Nr%4Od0dRof=KR`3k=8{1J}S04 z`ETec>w%D0kd|+0cIm$c!X)jGk!;Dad^S}jr}1lOcXFI?C7k-L5%fm##z+oUPS>n! zW=4~8l0~vC+|w-T#|B!Q62)gwZA!f^#vu7@2eK&n)0-)A{0np`B~3UPPTJHIemN~o zZPM>S>o$jG*ITesWJAFD)6-CDDu0A7rX~xY=$WywI*bZZbEsosis1=8bBQ%GvL@w_ z&?HJv!!R2TrN5+Fg|EXrjn;*tk&V`-WoWO4NaJ}T%wwKP&!#2eM4d=$<*$=9{T}`^ zYEO@%7cvWre|SX{OZWZt814klu5n&OKwT4iuS_4G^>vk47P!|z?^y*WA{`CE*}sq3 zR=93BT)r0fudh&iR*CU7>?GJ1yi;PyW48|*vDIz6Lc6o_V|^}*BKGWQ%mBNN1-}~u zoUvtU z6N`2T6_=<*-_ZYwHYz_4Y>ldi#bi4u8Z3`4}c9UB33Z^8Uhq zAcNW0I9=!MwNBSp_8PnEPAxoM1HHOD`7R5J`@M4`TMG{eBYgoyJ_n0_PQNdT<~cf7 z^s9r#eYC&WOhd(CyV+}GDm-i76~$*zU-h0Sjscs16TpFSQS=pHa8?xiAWs9Qf!g;) z(G0#1m<=5GKonOoyAMUN1(9ysAH{cLNA5e+7PXW!qqG?gg15N{bfEl+$@i0(} z+sueJy*^+Ga2nVJY{D)2G?RhjOva^bq~wyMs9wa&{w%j}7ChN_y3UAV5j|KE zpSk}}qUcdEH45?`*Mp}Id8rmE6N z{wO_&-zjpH#tQ}K>9?in!UGp*vNW21j_#Jm6kf#owt9R@W4VKtc^_ks%;B_H{}ymR zkU7?a1>86_EQ{oC)AnU6_z60W-{&Z(Yz03}4P}++^GI0|e~QkQC4~=R@gI>}GtU#) z5DTtQup?c~Ug@;h2OoY$CmhRnH=+7Awm_0>?TIY7DR6a++Zt@XAAw{1Q{b(*h3E4x zfbRld%j{Vs9l=Uwe-!+v*WMAFAuJ14=7IkZJa<(Thw!HLq%+e`i`~_8l})#)#(ZF!>K6sp-bP>oZY(KHadtoH`JxjaJ6++{#~`vzTJo~15<_y9!X zG{vnbR=tWU+op<!@#|3l%n< zRsI;j0(i%|pUu1smB@da<`yk%1edhL!gUr~K*JmC^ju^!mzn-bk^PuZ&Do z8hQA?xyq2qPQ(1-gHOCu|1YoRdMUO_?-Rh~QB_qL-$cWZG+Y?yV2YG4!Ny&LA?B4Pb)T_Bda$?OvOvQ3P*&M z&+)Jxr!5p$lP(l2rs15!B__9 z_!@(AFvBxIE=dAzP}WXoN`&XYpnA;PO6ENW2K=PVYbmx4!&pT5b?GMWKQ?5aTpZ4@ z)a9PKGK}tYoekI3H+44C6h4bs@s|fT3QL{9CTg$WVH%2&v@8#>V!-KReun65y*Xd&9Y1W zPt+B3#Yz+%SZgq)d$mg>cE1Fe1hn{?yt&rktcQ&!ip8>0h6nxyzen~th@7=BU^7S;_YSXb>ofR)`qnlv8 zS;~u9l-Xuedvg>r+~&4ioj3h?ag2uBY&vg}^x`SH*|r;dq`TdwYSKxaHPMmw#WdKi z#UZ@eZVMTd6PXv!B~eyKy4stqaUM5!EJI!z?y%{+N5qRQbhE=2;>~hiJmp7Oo#`~# znLz`cT9r3ZXz57jV%7KmO#GsA@prl2S}6@~f-*O6)oGg~NxMoyC3UyN(D>#i!5u(Z YTXI#_MoHnM?k$T|-J2vS0^y7KU&jZfvj6}9 diff --git a/examples/more/12_time_to_botec_parallel/example b/examples/more/12_time_to_botec_parallel/example index bdebe37b7b50820b2d0e08508f7620e01050abb7..251e3aec49f51d2c5e6dc01de839b29c87a11509 100755 GIT binary patch delta 7139 zcmai33s_Xu+TME)gENE71sMhqoB>9z$_y$Bq{VPR2SdRNii!#2l+>bPD6sU0i=fGC+-T zn+FMI)d_N&oBc;>RLN~8t>rByqatNgq>S`3e<-dqPnNlpZeqq!Hqp~Uar~e4z$ra& zD$=Rugs-;7b}pEcTl%u+#SJlKzBfL3`hlbLuqxRe1xvR^%dcgI1%^fAIb8MW((K-i zF|<>NgQO3JNvBh^+#4P&5=3 zd^4uLVL{dM<=ou4^~>s(*DP!B%$;AonDacayr!Xw68b%r%?7REv|JE|&;EE$;HrSJ zWp(1|Oh^pkz|TTQ49m5%wwiO%)qYk}p@Mq1Jc-2*;z}t_W38-E(D0g?P_`?JmG+A0 z8ZC!D0$L4GtSxXWz?X`$8ycl)43{gKJMd0=R#RW7FeQ;2b7e{90ctt0DTK+bstniZv(vqbY&kjguVwFqw62K zz7MLWSe=E6fNtx98fgO1hk#bZJdT2llpGn&W3`&^*h+C0X>TVtr#;R`b*A4yM8^=VT;a~NeDEb$m%Ma9p>CAxa zh+`NH>`BvhH(x6A7?RaJX_Ov5od1~Sg_jGz-y~mnq&5a}y#}K?hR%jtbp4gqrBo8k z1;P)hRA{#IhiI93F+ZP9m~Gl4zlvh7VTL-7R1x;z!I-R{qoEQ1!{0{-BmTx8rA3wm z?LEK9La)-37JKm4WC$%KpXIpld=f3T#On+{%lyV9ddiXzJTD0XW2h%`qxN{Bw7#Lo z>CvcizMRfR*|Z=3Bun2#y6D0EVjsH4cO^~|?qUNR9?x-@z){pO>>2OjQBS8qgCe7!yv91f zM3^0Bc%1|oWB*1agRH{Wadh9HNrO@)Tc#o=Ro3CZ7Y-qH%ame6se4d#pCd87lruawKfvo9WGjVr;X{UM{@&JvkG`&~{FLEyw`6vq;!n6Jitn;O@n=&|QX-#6X-OHp zk!B|?(ieQE@Z8>gehqz=bUgSSKU`N!yOW3N{snamH*-o9T})2oPf}P)A-{#nQ?`Un zk7Oad#{3c}M26lINn%PIe~{u*hw{HuacaEqkeOzuL{m%Z+=1;Djw|%u@b>l^Qa_MZ z(k!XPjdfzHD^H5 z<2J0>3o-R6*h2iiO-)16co*#$lEObuXVTJyi(wGXq^zN-mK>=+>{%q!xQ@IIjeX&? zc1WsF7)GxQNf!PdF73ZB4J@L+M8P-TXH+$`RYR z?ucRYG5Dryx@(%N)HT)Ry-SdC(e&+7@R`72)CyIsMeaJM1 zN8gt`+Ng53+^cc5`4mSIl+u>=1 zusgeB#c9ZlM$Dz(cu=4w$+R*^=2tj7n)3O8vkOf~`4H zXb$mZ?{gXQ_q&_-Yuwvh&H3v%-ktsPiqBomqF{JTiy?czEAskT^mKeDxH}rp1r_n% zc?{M^;bLsTYB_ha&*(AK9`G1EA9)NXF`qM_wTC^1i=FQ5&J`!o_{a;L`s14Bb2rg~ zi03_sLgftTMNlSQe;x0^BHC+wxj*hxHDtQyf7IyOSk%I0A21Ykw2bGo zFRYGp&;Rf?*8HB3{oU$N_xvNSjZ^>1Wp^5i5X;6fU+bBZnI5(qn{Ny=JaG_1&-dOa z$T;tA8Tz<^Z5o`#V9ixl&{%HQNI_JPA@;fqsqZ7Y+z{I%G(r(+vn!oDlxDkY< zj`80GzBFM(hyV94*^JjQ*$Lh&Zf}s?|I8UW>d24$>s6$`eEaDA`SvV!S!9Vg*>62V z4rfl>SEr?Ue~5X*nOT0~F#xt-2LTQJFFkE=4i;kj(@tlha3lozX{frt-QRkZ(la6r z_ro;q5AX_f_wy+#&BzcUPSg5~2ZS-Fi61scIDLvLhYcGQbxKO+Q*WPh@A=g-)}Nhv zhY?W-vN@qmI=1#@>;N$@(a}f4;z!o?XONtU$~#cQ3E`h5D@%ukaVkqv5MVKku)!HR z`V_?vFAoogwg0`2y?TfJAXoTzoS?14$40!4E3V&qGLYsoQS-N-pv%J}bsylOi>aHZ zg^+Q?TH$#O(FhXs8cNQ5*l_@Q_lJR<`2lJkgX5av@doUqYtIX;gO<>zaCyx*Qsn&> z4yn@8(aae_T^FT~jMc5hH5iJaCM}hYd_zbMCjF>A#V>P=92GMGn(uc#$-CN9uLEov`_G(UgJ=VZ=$ZS-kKUWkRqO8M%xrE?5d z|2vM$K6l}Jbn4&s83kuMgg3fqRQ4DlS#FK%qL^0Vj9!owEMIY*IpJHJ_+dDAV zHhl*BD&)fU&qXmtg^s=u#VpXe<1hr;i3r;SYD0$D0onw55VQxh8`Oz}a~-rDRD-P3 zgKT66wc)s~19g5Sif@5-o(CT;YWzkN%Rp`4ieeL}6St=AYMce_sJsQB4HvWPpuQ_G zz}^{qu_B;O&|{#jpqD^idir<;f@}T1@8gP1+BoH zehFwNXe(>uMW9p508}Ei^v}N}#DC`@J(9w+t>sX{6YYr``HSg3?>9BzZ$Zam3!U;e#&pz=IZpg+d_(+MESw50+(}!eLpK*=Yc_^2mSYwSu?lC`~Mg7TS-|qJntb&sz!{ zxQf1AVC9$4=>n^H2OO(P>P8;xRCu9=Ok)Q`j5r~Rs}v6F>0xl%PEgL+XyN^nG;Qp7 zVf$%%ZtQp%`hM)ag6|CFjGHL5chiP(iNdzC^v`jL5lwKr`xP5($DDAzOXukFxb()A zXjY^74|t#r9?MPC8=nyJ^pTrYd3sw*P@X<{lR97Td@R_d&uZ?Mudh%o6mjQmq-a)-B?-PAw-luwF-XXoFAmkx^mg`TL^Yj(X{T>V6q;3h?ta?Jgt8G8-JUVw@ zphWlh#u0GvEWBPMDMMxM;|4Yr*mQ=~>TUC}n+&f2{@?!rUkUs?@KPqvHq@=xF!@&C zLl8ug9k<>ojMZzhfNuxh0K6R=e8rs+d>(E8B}yzz4~|4UUB65-3l{~iM|Htf`lv85 zcsHusSv5Z02K{a{FI^SIO4MbC8xP|yo!;ouYg{4RXuvEWvwCUl_+hw(A$-^aXnij| zGCohc3DtIltr}lILU?W96H+IcCKQ{t-_11od?KRzCRlk5ZJFTUOQ-|&wRCoZ!(>xF zsK7a-(oJy_t#PeNaG?jO>_H^3q7bf&Dkt6(r%{?X{AwAOc>yauO8W?POk9XJJlEs_ zolHs4Se3?wf4kZRDNo z!0)q@&GhNyVW{y_EG8%O2b4gTNg~%2=uOcGMl+3{k{(sj_X8FLnJ)=Q39YnciY2P^ z4(=Lod3>u&rj99=jKG&afKu6wU#1(_Rt4sKsPNLDwNvLt_t<4z%Tf!99h7NtiS)?S zbm8W`q??*3E&i#gF_c_t)D}a6=h#F|rIx5$-;QN<>H8(e4d6P-RmzrOMyVq@SDE&6 zip=w{5QaY5?xyET$42MI$oN!c`!6eO=NJ;E-7ok?(}UB-@=eq+%^_erdZ(rHK8l-e zX>3c96-PmV6?UItb~{JNZH3KUQgGWy8J8jv)ev;Z&^?vrU8?yl0-sDXwC$t<^^ATgsteYk+s*SZ($Sq@uLS-WV60aUWJ&P)MoHmO`X*|n58h8Iii(C zFLHWW<^g_q)D^OE)Vr5pW%=CNyM2useY;!kmXUO3Z(T}9vZv%z^bC((4(!|GbtDMyu7!5?(?tECZ8m$8D`$ma@^xmBgV0EvgLyZ zXulA}-=@nxCO)2eRVLE={*DikYQw&R)Y0Nguc|tEUyAWFQI+5Apr)pEYdij}eQjrJ z(|v7gXvMVW@(>43!})SP_+z~ZTnmte%7JG%F2R?BJ_W;IT%nE0DlUsM)fU5Sg?0Bn zi-7ua^J#_JvZ6*|L)+T}S)`XK^7@E&4ToO5tvbV*EO4u!XXS@=kVS4>S#Z5~eH6Z* zF00ptD@uu*Y?4)MRn7FG#zZe@0s>tMI}NNr?}I%Kwtfn$qB~%}1KT!*okra6S&^54QU=K}ULn+$dL{a_$fkRW+ zFscAs?jJC)$$z^qb@^}FrH@r>D>-gLjQ1Z%(a+*@Q0rdEaXL#8$KBLT{|53gBKz6%Cp(R1Cy)+i~B7c*fG{tEu zzmbhj&_R>U?~e$K=P?>JofD2G(oR#X*7CKi|Mx_C-4y4y6(RFfkUo5;=IaD0zJXuU z%i)duCgLNknhSrIt?#9ji1=v*u<)oSX>r73#$-vOFSn^DbOv7==6J+oBu_-FaaTM7 zlsOE#h$$NaH-aFiF_f|*XA1gwS{oUsS@Sp9@t3qGGT!ff8yxSZW0Aiyjl>~8wszt8 znb0)`&Vz!5XdbPJO62ztMaA;((ZMK7&?~U>#NL*@?4zquaY;W1h5pd1XMwCJvgy&f z+-7do-8co+(1fl&P^66L8!@_A$#{efa1rX5z-iPm?1p#ns5a0&)6EgTy~#SjM3^7u z_!)`NN54%S(=CE3mU^dGPcMsMz6|Bes{V*)0TM#$mNkk_-(@NC%ZG($8BJWe1AB{We&Q!b4F3|WPK@$huJ>yl#(qmfv=$jiJ82W9!p#u zRQH9VbGeUs%yc{PoZkl?WNtW}NlMqwMstid=d_vplN0!FX-0A>zn?ZG_XeLevCX^L zn22*7Ch3PwWJ!rZ|IU&7xlq zqr}u`-b2Ny^@jOjvd`y$EJ$|xuhdw+kxr(j3)hXi(ozH=l+x0gjQi2L)ur2f6jrK6 z2-v*^)R&gZub|^;$-*>d%==SnS}xV6rB5Q z$zj|ioKshN5wUcSY`Z#sWYX7NWQ+2wfnHjGQUo~zLTUFC%(lXP!{zq1dH&}Lg=7_( zU%Q2cEwasdugI3q?kqOoB+uL{^kCMkn2^h&h6{;q@22x|x+=it>Ayv5v(36^;Ti`cVu0?FN9mdDOrd0yhO##Z%SOqWvs}1y ziT38q$Sb`hWohk?8~7bhj?4wH?R*mZ5Bp_#;9wvNX+7H+##aMLn;V;}*8Lde#v^j- zdmfb=OS?c{%N9UB0P6oL9S)6`Xk~6=Xg<8XaSJ*6C-&oVU-Df1h)(5}gq;sS+E#w- zP2d*PJfj~`MxI&g2NkAnydFqZd5;TM{poZb2@CzHEq{}}8On!)q0U*3TC2`}Q}>I` z??ushXesNUJMb)CvNBJVyFbG&dC8wbW;O_Y7ijIwXzdYP?r0eJdw+Un=IcV6h8E5` zRCy2VWruT6gTo2kFZRKqtGm(Gf%9D5_FFjCSqix~f%0T9kIcdH?!Y~2jw|n0{Q)4& z&(m;@>Sn(-XBR9#kH#G#U41`#dXDj`f8<|d{55py85*IIId>>gcb;kra;N!@zk%z8`&1U==o> zrSXEu+V52ecO%U1#g%sp!ZK&0bD4Ab=Z8LIquh>}$#=GMNqKjHKTb&J;!^jA&bm_f zZD+01{aqbgeiy@Wi^`Mlu&8)0of&AlXD>g{}e z$YIM{@d`PLJGBQ`g{%23;2_WgbWDn30D?aVbO9ZB1?b_`w6rK8Iv>$ytH2daV+Rpu z!;_82aaBXYBOc&NiQZY3Oj#RD_Pa${**2P z*D-rnkX3L6shNE!Qc{nX2FVYLUrCTUAAB14dhq>ts|zX1^lO8B{0k~8%kX;v)sZpU zT(;UT0Ey|kLD$O?{PIzKidADXtZ08f#9^fN3e>scApOsUGB|f?gY?cIwbP$tee8fu z)HtnPFhg4e@m+`=uWv!fr@XzGJW`QW>J~g_f9nTnDV62dO;577s-MZjc%l&J~8H(Vm6V zkv4BET*aFyrt-fBMk>ub{C`zt%6!_}SZ*r)`rzwy=%4ah?h%TqHu_-FR9!uvZ>If_ zbX*6}6w!zGlDmr!XW-gq)0OHB-a&>MQ~05u+-<@>V2zxboHZs)-C1MwG2xT*AxKH& zuCasLTVtdTYG&Yc<`=KW@vdXg45HHMW#&e*D*+`9KbJY>s>pA<_1yWrJ-wTn<9p7GOuB~3B?9vtw!T% zYi)*bri`?;2{b79(#6`S@Von{gf-8xi5u!nG+C?HtdabLa1L_Tu~0PB*(0pV)c46< za4*3o7=1L)rhRoK5!NV~XSV_?*A?~nOcEA9EOgDJpDixIq8(Xm7qBQ3i!=B>idkaX z(#2wkk|*`aap#d}%x_Po%qwbcOyNgo$h@@GQ1wTL%)U$ErL74*Md2|qsl+S(^A&zP zOQPxZCCNyS%S%jr7k#~i<(0F3e)w>*+-jQA>hEY}5LiU^)^7;!v&!0R8Mwtb7T6g2 zD6_#-rk^R(ZHjiiqP5;N@*agB#n&k--eYX9!jI3QT@5UEk2IJ{&CQa{4?iC&MuqY; zIGiw2IjT%gucVoDVL`)AG&aORidkxk7*vAm4WbH%5z~%Zsb(o#na7vfldF`rvy`o0 zrWiHj>zkFU=!%s_>RoCIf55AqC9^wZ;5ITXzmux(HI+UG8!3wO6r}?H`7iiE#b*yb zeOU3{VJB$+y(a#1$@91Dw=@K&9-Dx}Dj7=u^8$o1edx_ST z4NT4)FfB8xXwFJIZCUvR&291<*mhsHz}v{sI+w4f>Q=kKiVj%u;yUUD>pd>LID<~M z+O^)p5=X6eRj$E%4tsHss#noyPPW^raJ7RRtMwZ1DWs>; z)p?p9{~zmKo%h3?lT;~>ZG=v)e$b$AmL+|ajA}BpSg2!7Gw-64Yw|QZ8fAV58Gf3l N(cdRa5eS~;{{i=f@Ztaf diff --git a/examples/more/13_parallelize_min/example b/examples/more/13_parallelize_min/example index 93b23e3a2d953b41b9ec8815f4b37416bde38a7b..c4d37c2da27ccef18c754da10557562da5db3bd5 100755 GIT binary patch delta 7128 zcmai33tUv?w%>aXg9FISfWUx=3^*ttFf%IhP?VuT2gL^piim;_2GA5lFg>YYq&Y`P zZ1u1@w_|m>KTnT)@pw9UyJe7;S{=hzVrZaQ4L(v)yJU9u`G0%wG4h;#_v1ILZ~fQf zd#$y;J$stZ@XZ~3b7){`5GS=vnQ$|g?u`FWpK3put=@Uo?E8&bX1*~~AfIH*94NCM z%IRgE2k~azX)@0(_%+q5WZpuXcte0*(b6kgdipc}d6e-XS?57o%bcUt((}TM=-(QF zQ%2xaAEEr~9+zH!;To!v^DXyzJPD zwBBt)Xs-~;-=hmE13#KJ6&OhGwTF+AdhK4Vyr0x-RCavLoI4?|}{qdZ@ zl>uYhYQd*{*l;fn@>C4OuuK!<)trrP4u}lMQBc>;XR-NSTmeOCBI`>PG^n!DpPkBb zg|8c2>BC_Rk5z3L;{~n`a;Yh&p;6e(V7a4t0Ove-sUlbOH8M{hXbN(az>*|=C9(pG z54O{u=GiJW0Ji&{ma6Cv0KikCkAaGP2Kqbtp(ML$$S?*qLG zbZtM>kFEh7;yciPYd=&=5xxe>1-h#rs;6l{*8|%09)A7tdWlQk%&V9rP; z^zVviBqJ40#o$>}Iqr5d*mdYQn$$Inr1jMXJGQBlSbuYCt&iBPi)?^5?w~@UpCjof zXVDu$LwGeE2^ty~0f?&`S>R~QxHtt}hwGc#fsSn%--2=H+!ICjQVjXA`VQ%W$7YNe z$#G7HZsie-G)(EYx{nJ$b+PTzzCpr6;&65K>H_jj8jt$zczP^2bL#6@h;3WE2YnSR z>$ke|6eo>83mdZ=uL;@KOU`CETL+E%&TNf`c#mlX`G+jSD%OU?@Llv$$Z~!)`5KHq zuiRxjJ5N1}MjK4t$#GamJ1sE0#BZW|hW`-09zidLM*HY~l(jyfk3&t~uZ)0J2Hglf zE9@K2UI1Hjrr$-}3@B+OW z5zW6tA4f!LpNodc#ar^^o}yb3!(!I}!f+VW?RQ%e*iCwAilI*3^%D>s>D3kbm(zry z*P|YZl9W5x{2oFd^FN6`WT=HJD$wFCl7_ivKSvG5ww= zx@?+(t0Fz7SXgtFN=+GbI>x5?;)*D`4!U>j8#-La>$)zBVy^3AuIqb;>#)0x#*gR< z`*SGASzD1~H_&n4>JddL>D)dvCU!Ug~t!)mrz!G4j)F_<97yD8Cc2K7>_4_P)b4sKa&a)3In=u1u&;6 z&}PEJbRZ#`KSUQ268SBpOB~5Bqj8C)!FkX_T5LQBCG~B1Lf)LF7RZm%xx_f(k3pnQ zj2Bi1()h$=sz{1A6iLJ3#6p?LK-uK{AleJH;{kL&F;;kIkYw~|0F2C3WVYyi1LWxx zp@L$BEA)bSgz&YV4w{$pF%)Z=!2gZPEfMvbPw1XJh0wIkwau{=*z#?z+Xb^7jaOqg z|Db!a83KpvC&!YzuG5aT?*wI?MIqRY9NNcM*51sMIxTL<{`PL!B3jMe0SOi~h zMa~Q~*_$>XXyZRZE;HZAP^o^wXaMA1@U>7%%!Jmok8C>oVMpU(jboRs(Y~4E9ce$- zePL@91>F`OOxblg*X3r(({@>KwAEkq%H=ORb&-#wp0XXQ;v9{wdZ(`Hh*RhM#Hs7V zdb&WXjyrW%+8t@_b)8^7alvNwSxw``d*Gnr{1B=z=>ok1%G6hX>4gpeClor{Aq2ew zeq(Fq4BMP{~0c= zU6+eg)@Q8Hvb_&jZ_+pRjneJ-3{$te`cQ@)O^JVm%;7?`=pr+f9n=>qS68-G?6v9Q z4WDkt@bt990n}xrHYZzvAJ_&xGoYSd@tpt zwbj;mn0FVz!k+e1o!jo}g>wU(D`Iy#L^+5LJ~wTtDYRCb<2uyi#65*gw{!K_?nAM; zuIuv`*otinYzu8AJw;zJAv<}!|4WDh96b8U!RvdZOM9FDAzZ=lCSm#q*whPJUO=cKhIQg&)rweglf-82(8g4tgSt3aZ^KWHB&=%zOVK>s9kxB8Z5S~kxA{evnHGMs~Q5oo6fF%yg%@t~*>_Cin8MNM*H$ zK64Z0&u$uj*ltQ?&#tTv$GWedrxI&=)V_1lx{qSr2xeAGqA&q=UY`L`jn_1XmU5-q=lnGb!*@n&oWZxxsP_z=22GR+fLd)>Jh>J99c&%6yEBj zoufyk^n5AZa=7j#T^#s_?$a_hkllI5kx@vph5pTW6h=s}`y+V058WLdJ$9=fgXB_F z+=d=*1oy~J$)S8Xy8H zxOQJZ>#6f%rmqwCBoMS5*Yf&X=roGJ3^|O zCZz74aR8|7@ICb4uvhoQD=ajcicQrhiJFR=aLlsmT~K*3SckPWx5>W-XPw)mei=ks zpZmvCl%4kW`18>0i9oc=&s+CBU1YfWUvYf*;CilMPC8k=qw-szz7^bDczq{L0` zpfljMo}`d*@xr+?lr?VbfIpptdgMu}9~T$$*Av))#-I6($+o8Kf8@Gup&%p(bYPrO z7kC^!j_VG)9_|&u z<>P>7=f?facEw%QPBX@@dMfiD;YQ>9m@!FKXM#~8ap^|R7_-!uyZG!@`Z+U_jJDnN z)9Y3&E~_zCIgN`eSFSd$s9RlYTwG>cWUQ`QU0GYXrp$;hg=OVsHA%kMWRCkqfAyjj z)eo2betGAl@EKBElu*J|FvyK%&?Y|Ntszj zg~2mjX;x4@`*xkkgnt*sJ?PIoCW`H#rJ!ubc7HC4g*d3p(v-h!QD2iF1`%WxbB zyE<<};!=P=#-_9k2tPiO|ngp(eJVfUF0=p{o1= zv=sC`rU=>&sz*t^1lkPR$M9}Z3_|E}UyEWXsQ!{Dz6sj$4dkFVzC{$X@04y)tOnKN z$!Qm8Gw7S34cFigboUL|d*e>%?iIxrB!M1JqlZANLC=A{|-jfG6>%K}+w7q8B!`9n=Dv`I9IXgSLP+Fdko4S{V#2)Oi z^q$2&fE7y4gwGg!W_~J)_=aX5W?lQ4C`uwGMq~E1_*4VW#Hn~1v)qnPEUmJS5E|O) z1$z>oNk{D|^?TYyaj~L@$3@NpGcO#fnwdMaMq#h7Rx{a8dd-jvtPir~{q)&ug?t=( zjI3`Fj?4PY*Lq+T2!MYl+XdPBQzF%8hY7n+(+k>|wa2y-?aTZ#gv~1E~;jiat%cLp7uCM6Cq$zM4 zF?p)c(oM@IPZxGypm!$^7q(uci<5_kR3mcMC_b3~R7B0WuW6_wseUckYOqh^+1iL; z zt_{sPrqySCuGM7wJ*rK${f2O{wzP4;7VquqCa)(|JA_=08^B$~;Hj5sj$=ywcm!$e zRZ$$FOqHGaOkj3ka~W2pH7?O=q*$l`zWv|e4Zu$UFJSuYkR4hL^TQHi2ogc^Xw8&Sxbd+Zd~yM;y+wbSlI6oP zYBw@ZO}yWy0iJhIo_9|C&X)&K!n82~9TS;tzZXihYFZ?(p`Fvr_>R(s{wBIG%^YA< zUcVqrq}EMQ(<7tUZOb}dBLN7IFBRQT>h`(d^yjszsCKzX3EQ(Of7jK zDjnBAd-Du~TLb&+csvAf9TVwdUXs=G%Cx_d3W2eUZSDh2#r6_&Hc;lQ5S4+`)2dkp z-bk)lX8eD7Rxll#H3|#hXB+r-3Y%>XYi1GCuOU!50U6m!i)I_bJV)bEs6&Ux3%yv{ z390Ahp-1|LVw*{A@XyiN*(G7d;j+|+RTi{xQ0Cu4dHH5xd@g-Cd$_d0Z{`o7zI?sU zBq;D4oBD-(gZ2KqX4#rsEV&uPJ-8|CJtvQ%VWhYMv(P?~iV7z2)%0?KK`5O-?-r~P zZe-A?Ig|JnS~tfmU~6BWlN5F%Tz2buOS%`46o|>S)6F@C9B!;E9ifcPZagNPnIZ#H zexZ9y!EY$~Qa%C?L`+Hgls6aCNTp?SlfoXH_#8#4o%YV1jM@E&|3uA|FU0KX16e6~m7TQ!4JV?*&w#ag+NTZuiJBtiqWr|k&1X;ROCfq6}Ndy@Ja=U$a3lLofWO1WQx8B%3}pPYNY-Nq z5+z%dDI>=zc)L*svK2g8!FQ+2K!>sy*}$b=9U>Mf8b-xqo?=z{ircY$CsvR+X6pW@0GTJaiN71$siM zzaBc4ZkCySJ=Id9p?K%m08f$h&<}ZV6_W&`ifSs70z9ecp|!NP!W`f!s~)?t>|CAIM-K(1SWPesjF#iJ_!}{fm4Swj zen$I*IQ}}F4Kngcv|C{$UGR&1q`%f5+(WvCV0uN-$_G<|(n#gX>*33m-G5*6x~BVD zS1nuFxR#cWdm;yM;M80&7lc37o4_>yS*SAc^iN0*=Aci*Fc{~uF@s$L>gGB3*{s;bP9GRI(anIy0^H_M^W>Zi2l5 zws8zQj_evErE5aNHjZJ{v;=G&*zIH3P-+Le3+&!8td{-^_HD2)j$!q53G79%2ga~b z6dz)wxRB7WzAWeK$8jTKQb>22E|1Sft$i-XX)OgD zcU3$7N63ee%46j}-y!cW>wZ8V!qfW^HolTBL`;np>>TGy5=GJDz3lthEns_rt$9SN z3u~tQ$aub%7Dv|d+vtyxOX9sZMG=|;o9bP*pq}>ZMc9uASlt&-nNe2$X{v}ys+y9* zlwt2qWRRZ=r=nq93CCUQfcPXTo_56^22)2{4W6Bfxvc(3PpeuS(puW!jXNkK?3?`d z*(>P(qT;Xzd{N_5lR$CnCsld2<_oOq@qX1B>e-pEgy5^WA&S0x(B%h;o8&M|$)7!m z<5qdJ_w}KtS#rI{H-HVgN}JN}j}|lu(0IIOMzs1$n<`))HHn@#xJnMEah!W+T7W$W zk=1*A6|$49H-$}wTQ3QP&hx7};Ot3Q+;-;P`aU0Mx}EINYcPww(Mh~W??kWViPDT# z^=m(}$kr&<(E_7QS(S=;4AFlXpXHyUIMXviPzwFYl&H4+AX%NEuT3`PdkC+ujCAG` z!l%hhuetpHlK$0X`o=UtxhL7bF0PoJ8a1jT+NELYWcn;-F~5tPu~zlVf0NADQf+LK zvMdSKgY-!3Cc_WcnL<};Qz0C|HiW6y_Z6Aq5)IGWFfnI8Xe0p!9OeZS_MgHHyE};kYE_7Zc#Nk*>!*YOF_9`-?WjY(!fZRtpK8C~E0f@e}z(IvAhG zAE&S5E#Yq@qRGfrX>hMmHI@9tE@hIJAF~w{cVSX?V=7%|M@DsZDLh7_w1VaM#S}MkW zVr9PcrOc|j*Hfx9aQfMA3WD_v`K%$y#1}`CCye^?q6E{odpKi*JDHCY~|> z6|Vtj5BAt7D!w3C_&1%;OqD6gh}VCnIQe1vL&}=)qzkgn<2~f_QBvv&<+I;l6I`I+ zG`pq*%`wC5?~F7pEt%g+E7FSjsq{+P?ug6L?BLjB$T9j&?8l>N-lPP+m0Bj*g~y|* zb5epZ!9agVi=i(jEsJ%*yx2SH9U0N4eZT^_4aYQG$A4^~Md|T;Gp$dr)-S`E&Yb=Z z$dt3`bb2Cxo_M>RSCYd%iQhqs?e&IUG{&~rbPz_0RtVTPRn!mt1-fBR6)aJdX-^X< zg6izqv^^uuco;{%f5l9!$u3A}vLuoQV0J}MH|;4xPNculuk>i-pa&h9x-`8soWl`* z^R@JrW1bcsqGAXYe1;w#;~X|E~O*i_eN;;UnkY#e0r(Yl}}Ip5DQ&=Z1Sn zgS`c|INvnr{fkhHK;Ie?#p3oym~EN&vd0^2^X)uKvnCgq_9H`KKm9KSwp{i`Wl5Ie z)1IYYPtHp?cSaPEvVX-CkaR3i`(QKT)}|c+WiQpykCT&xufi!IyI6QC9Kp9MLT$dT zYxHckN&7fl@|tjB{PDl>NREsj-y#l{PGabOcl% z_8$-Fr)f`4T~s-|y?G5Ugm>6K9D%-9PLYsX6g?7xB({7JNaAeNd|jt#X|750-%w%d z24xtvk)o!m-xk;@$#ElfgWkJ*Dkoui++9+O9YR@Xybeit}>%{^@&Qc_ALJ9O-3p z+tU+_SNxRU&-hE|)VKFIZOC^B$4}Dl^7DlhNm_l9j5G3u1IK9Lj5OiK=k$viQ^p-V z2J?Bx=-nBq(dR!y0Jh%bH)Xrq3vZQruX@_;q(1IW3W_M$DL+|=f6gyEL{zw%2 zfZWHTI0Ve>7sYa%|NR4^xE*rOC!#nCbbTs{R>lLj16@Z&@o8W=MtcC*13Us8WtJ7DlS|@ zhk(^U*A-E026h6s195#5JAqxmQ@~+tXdUvYAFu8!Ym zY82+D6^{vgCR;7Ju$H^<^iXQyM8Pyb^9wWhLE2K7V{l;sSIB1UbA>f~nm#OyHFRJ} z*N)NDLvxXC7RCzPQMy$aO_@c(_2_4|r>{wx3Gq|_GJ>X|BC*Z^2Qcj5?`zqmr z;`wlEO*jjo2Tvz-rC-pD*>i-=MCqmJ&U4h1@S`ohMnao};Hc${;X3~4=2$2=LDQi#nE(|xp~c+Tb?RO65%6PYOr3-M8Kx!@Kt;^*Pkl^6u$ zFM@CT7kn`Cstv-gBs1y8t&*~hWG!}Y=MhXt@GT$KxcGWcrnUAU1gnB!D7Lq75y z?U<9HWT`rMiQbvBMj3^q^9)l)NwSjV=`L1H%&?;Uy%776w#!lH3d4236z0IWTNAEx zhpXHn9P6V4HgQ+zrIIX70mLH^o3GHfB{S7gNYcGXaz%GbNQj^beAx{}k)~{}e(!YV zl;g}2a4Kplv+z3dmN{^1d=vHi=|q`BpCW$(VO9L4kIZu|3As3_SwR>6vQgduG9W=~ z=H4yzjiaaLj^`hvH|MVAO_VV2)$YN0CLaE;lpCFo1scmf7zE+7x9?x_8g3&cR2YIV zYpST2&DYaDNLsELXpHH^UEL zWW@Js3#1hC&Ub)&ZoYv&nxDmI62HL6caeF4!`#ePeN17wCLr58Y54-9dFT%9dT4nr zhSSk*Xair?f#xsEZLQP`|0+7MV40aqmb7ZNKTu+U%)gE*Djh;_34OjGnR*2L(oh-q z6Ng1G<~cTvvz12btJEc|@VklR?hM0vzom&wq0}me&@r8AtBUw?dalYSSf|ljRU3q^ zJjz;F#COmG3mpQ2`O?A+bAPNfDAt;leMpT646ci=EHoDPWJ&Bq3Am%ORySE9{Cfn| ztASQ`NxXkgp&EgA0P~hf6^k&8Y+AGEr|Y*+HtM2%i)LeVKj1${?rNjZJd)`7~@8n*O9XZW0_8KYBJ3A@{UQ8r~f_1 zqQmN%Xm^d#+$>KMTi#z@mPhKM-WsEGI8|bKx$OzLgJC&nfsQZT?pR&x;5%t*t;5`w zDYea$CzFK}giWS{w$vKvZ?zHTssJ-hvfM5Kx16rj8XNA1Rxg-2UA;`pu-VW5G&$(s z@Gr`}^cW=vfmh2L;H~&^ERr8!{qg76|FXZ!*7XUJb%Wfi0_T)JX{-`aDD!%mug{T) zL3y?b;1ikm_C94P_k@-00&k;z4R`a^bfv+ex1t>@0lc4_s~q~kQ5C=}YFXvb1P&@3b1$u$q7R&b z0qmhGXc{;v1K3B-)th-2?OW|o*W*iwm3q3cI){c<>u|_88yyjy@@W>p>#4M^F+&qL zve`atEE1Xp8fnbX2R3y8?Leb=F{G{)k`#mJS^fd4 CNeM;( diff --git a/examples/more/14_check_confidence_interval/example b/examples/more/14_check_confidence_interval/example index b29d65ae895e7c7e477c0987b11b2f5202433965..8682c1fd5600b445514ac69f0a41e3f8359d319a 100755 GIT binary patch delta 6755 zcmai24OCNCw!ZiBV*=(62murb7&U;91VzD0n_$qSqJoN|qJT;Ot;HXxomK@0siunJ z>`tGZzL~|$w9n4G=`3CLb)3G|g8#O*MOrLAwW6(U&{`3-rLCR&zH@WaQs3%&CoA_m z=iB@2^Sk%C_q=kBf8}GoHAc54l9Q6%51emL%0A_qaDQpdp7WNlYw7;NwRDQ$GaP$m zSpYe$U(5qSS$3ws%q{sjYJ>b`D{bKoI<2gwm9@0=7yg5!-aNm~gSdhjM_NHI2(y!a zsRd4MfeWIrpruhW_g!qx>$Ya@Gu!iCzc=B~JI8j`)5ajPDHfJ~>@B~A85S59hyU5i z_gCi(>=;Q0gc$xlT?sPq9M#sqVaXQLs;*-fk*!a3;nutc3(X1#l!$K(fd#gwE-Y$%u6sG1rT zTa{IExjwE&$)Sxvt-4rN7PxxIr6jM0LM|3Y`7??Kcx`|$m*uj)!e6Gh6~%5@MUo7b z`4!myU^5*^fvE}s!Dc^@vSs~YAb3hw8mLq`T;&?V2GJ6*JHeI=VMD0}?3-Y#hp-BI z3+$I*pB%!5(@n4=!-lK24`J05A7-EeuzQEFTAB%VBiL7luo1K=%n&R4kJR-;L!^3o z6?HD6&Z!}+fi8s^_?Uxy_=~~6(IzW|*&H_@jt)AQs-4X1tC_KZz61Xf#nwBTgzq5P zH0$6Cx^R91vgz;{O`?!|$RupTHakYdjV~{ggr-#7=mTzvaQ;NNE!$$)h zXvxiy^s_SQzavKq_h!)f$oLc$IIcde*wvKVHG}ojd#!G`Ye()m6nr^9h@x)=+B^|* zjS{0u`1k0^sL}jB`a{$z{vis}8|OesHsbg@R|i-UgcNSYiwI`rNcD4(Lr*va%nyS?b7<5T z{@dT{5}}R1nM_;a6Zp5NEq+eIQ_0Mhu7GKkbogdqA*E(nrT8VJO>lsP{`Qxp}YF9;m*@%W7ET4M0IpFYkVAyFpuHWD9`K`t{AAr+!`?n zk?xLWvwj;8I_ZhAWJyWlM^aHrI{yhZq$CUPMnf}>-byJO(Hg^XZttLXU_g_4f=#3) zTB;Urh@nZT@q7#wrZC0kTQjO@~vH`JHqnHC>p6Ln+f&F7NlQ<==U`T^(NtzD1wQF$^JD^!&GC|B9WgVUdD7$hx z>MucO3LGwD@TstRI9Q3QP{%g#t#-J~aFerT6SiOKadnVI;n8&bu>AfIo_4?ZT&e%lPGAOQKHM<>jhpP^PP_Cf~%w9YH$I6-J?m| ziY>+_td?^%wQD_^+EX5l=N*sc0>*P0SbNr^xzXv$>8!ti!aH8nS$|&9boD+;Q1Kjr zDym!t-T*T7_5Tx$3?mmAa!zRqI$9p(bNV(V zxt5>)iEBC{^_68JH3PXw$EHG z=~a-qyx1(7M7unL+ESB3a-w{jIN;Ev9)ow8p>{}UKuzpuY{e2bizPi+qj!DVu889F z9d$4JtD^$j^-{nX*VBAq^9W5MTKGz`Xlr*go#cJRsNu}{zTW5b4#4IfJt|94Vdm@W*l3KmpDotOB_obWqpf!nUJl#R^`Diz``Rh zFTA!-kGifMs$&@(_XhslVHO>5m@Q}HhOr@*`e6yGFEG`#A*u?f_I(JUExF6q-uEOs zF?XoeGc|_5A(sY> zquclXWj5kwraKeIwKv%0Th&WJ7H7tbFpXnh@;u+^ zOVn(&37=o0L)Hy~>JzfrmI|+4qCK|ENqrZkP(JUcL+*&L+s_SWN8VX@6r60SswAAv zeF-~0^v-bl&Xzo}P{k;JBr5HYJW=aQyENo%n8$(?6qpagZE%1NzeIB~OQY_Faoj)e zVyzCd2V#Y9;{`gBIW78m2z<9L1j2j>y5eiRKndex!lEI<(Df6ClYRUa;b|ou9Z$mN z3M!ef(ees}PeeeR^&iN2G?qJ>ZFN{l$Dx;511+izcvZG_6?nhEhWu1XL0Jn0`*~WL z6(4pMFR!Smx~-(I0Mht;-=3rVN&hwF5;Xhbv16rp^^>Kmj1T$0JYM*@zME*& zSAC8qW?O`R^iWlHt}xgwm8SR5$0%*@rs$kh;o`@XmostLOWjaU?52jCl<3z!!UQz^ zz;DiSwB-M*znj2GQyfhA&at4N zC6^Mh-{-r%=N!du?>%-r+%Ja7t)S-?r2N2U#aG*PaQ5W2!f)&+Mi`BYM^DJGdBzzf zNSSQpjH6eCaaW(;PRH$uRm%&K3#ta6>P)?-{&^Z0t>>iYF{#$}bp3gepE^)+=h zPgEN5DOOokxh@0Ciu9BI`ij+S9;^KSs?4lhUAyjA#)`)tt6g4ES5y1A(Nnw5-kkv*fmuBF{+Hyr>5DDa*oy{XJ3Ki+t<*qSy{>1NH!WKM=)!#&?Qh zBe3zTD4MZg{lFc)25iHOZU=T^fnEY?KZZSEYmX>?2JFYCkHQMrvE?TO zAr`hFGY^Co9#su21a1U&0$Ul6!16bs9U*m)$*&^nBFgmRSZ)PcuZdzW(Ehn7D)8Y} z_=PB1ft^4nupKW<8-cxFp+3;aVg|NsA+R(QpF;bQsRN-M5XGIqHNcmEoxnGNjdxHH z*p8Rfad4tGyh;B%P>c8PQ@}>xU0^>j1{2))9cBdB4{W0srjF$m)G^f%()O+>7Sg4u zqcTsO5k(dW1Brc_*5Tg{-i|pAqzTCE#NYQGWjZHD7h)-v$uhj1aXt9|?E~8EjEio= z>Z}?fQozdnPWrnuPSAD%qN&#z9B;xJWik6MwNoNDVcp$>I+(=eyHJg7sC0pn`b#^q`S$9OIF*97dh2YEC2jo^!!zDsQsTxtc=w}U?x&}WM>O|8fV zUjlwOJ`?uiduyA^7Wy2@jbGAXS4QY5WOsf=1Fn^!+1Ql#`)QXuIn0boD^RrGMsZAN zE3#W}(;M!%uqlwdhGOS!`ox{7Mu~Ice;1T-fZ`s_Q%=F&bz!fE;1XaxuM6C<1nyLL zDq3kE>rAVzCzsV8a$`bkXC`8E@0n@g3#kM7Ep%n3MQ4Olv4r)PQZFUVN=$0S%??Xw zO-hI4SR@12Llv_gNm9r~oD#K6jV(S){c^dBI%ZYzT5`;Zq;?^g?6dds%kiWYB8N`Kgfo6ZshjXn|R5YFT7exnYxJEiqWQc3W$Hapvh|_UB zxpcKC1D|8MIfhslo6HAN5QonX^w2=|InhA|PD^X&7)bKY6mFb1l1|OjD%s5;&#~?vm}iLn@w!y1%yAi#nMkgeuFPYD z`4&bxb1AiW8o!3t78``}DfDdd6GHz(B+Q@2?6eE zyj=I?Km!jn{LcVS=NDS|c2X{~#J1b~btlV%`IoG-pNbagBeh%``;b7A0xUzSSY(K` zA-+fx#R3P?c0X{rOv=w@&&uV{(cy|(TP_P_sFir^k-VStO~1hJmD}otzpxZI!S;bS zvO8?PLu&Oy_MCY`)^5am7)zCY;O@zMXM&%|mw6r`j*X;^MO367c^-7&r5p12bXmhF zTP*S`a#I-Zze8UflT?7x&+gG>t#Y|``9Z!kF+?NXrk7RMtgoxBT34}}5-Y5s^0m67 zVlYCwcDLK77r67LmStvSW@H_lv}}*So9Xn5NBHfethDF~VUeW(ZXq|=E;(Wba3Xmt zEn$K9rclt4%89x_SPNheDLoclAm#?Jm)xEPMWMWzXsyRUUwCwsU8N;Ol{KajAD%1) z&^}bLs!A8pE{DVb>eJ}is*JF}!2owZQZ)@8rL4B-0-GR!E681Ki3r5Y02U6TXR9-m zKSmqssGdZJs;y+M(b8bGmRvQ~9}g7cY=8fH$y-yaG?x2ITI#4VP;iKr%qz=q!#-k;(EOjH?gBc!qMp*8LQ*0!dzrSXB* z)wE*Lb2BgpoQCt~{P1Hf30yOfO;aYG!Gt7#4)v+%0^^)ER#tISDN7w|n5D3u9Y4op z`g6s!LLIxgN@2s>+Jf0EFIUPBN49A=wBpn1w6Lw~4wrTB zW_7yQE;hC9r&Jy3Ok~u(^{~3dty^;fR12BHvLen+;W)2&R}{-Uquyd5q`b4KAn3WD11JNpCtM{K8IeN5pGKZ^`xR>~tj}Az-N;0@36&KcyMM_{Vh(!9(=1 zxt_14EQ?k1o13!qR9b3D3@}2%J51Xwn~b;qhgImyZ0d2H!Qa-Rvmf$)MdrwO<0>|P zS%aX9SY=)CLJ-su9!?KL&g8xHLZnSIOVX}W9j5mq69ZmOgxOZQ5&4YCj;!vnF2tg7 zU43voN@zqCPrryt=D(rCQStmPx*Qc7ve^ce@f&jIHc;5)1bYK0G>1mLQGb;xifnqR zi{=*H=trnJF|Ml(uAqj=qj8N1lJGF=UmEi0|DTXYuj}5!qgq01qRmljuQNLs2eZQr zH%o**Iyiw|ijLtwr-A6InCIh}EkhZTsy*Z_#X?HWGNtH8DKn-hKo1e`BH9r1dwwHj z#YXZg`paUo{rGojbNrM1Pf43l!Ox+k3H8FyzN4=A0=kjlQeVC*ik`#XUH$jjbi8i# zTjsMD%RJw?J;%L6RG;{TWk)2(WevEya|V#{`a$9#i(Os|RVO9!@$}QAEPjk$Pg)g{ z_!p&)?Hey8CZ7p-@oPBT*W_QKjo(YR(^7;hMkXvQ3#a5XAO}(VaBAAcjjy z4}?LXzkr7QtvI+{9T@uB)+rB)A z(}i>CO3qVIUkH5|P)FqmeU1WX} zjs*Gq<3+Yyc8;+g+r7F=v@1I=?$QNOgv*}92;g*V^0%Oa<1St5DNyO*q4c-xMB#Nk z#Z4^{?$=}T(^Ww>Z{Kx#ajIGObC^a@!z7@&TO)LIYL*ajfo@J+C!}AXj%f|T2O~5z zEqjJ#L~_*XAGh#(UX{!Ru?;1C5ZoKW=Cqb=4&&n?l$R4f-K+a?n(GhA-tR4y zm8FfKuVyPChk)AmrSLFigm&iChnrz-|8@B3yX@umeBpiVJPFh1MI6BC?2Y}x=fpY4 zdHc>&!*sKDF{&_hf4t^^T+vKA%&lT*HtwA&=w@zq3M=$0^YYnJ@Vz4KOj^@54IJLBC=Dvy;u(H9) z$id*a?uq|oM@4tNt=+x#TXpMy!>}&a$sGX7gTXkm2FkjFH{c3U)~)IWNaORSd`8>y z-pt<#$*-dk-lYTYM@!E!UiFXsn~cATM!mgfXzeVA@ab84WmbV;mrE~=izfhhJMZ~agd_W?73gTSUi3D7G0Y`xCz)BpW z&$2Rbkd<*-o5@v_9NmLCbU=|Sn#95jXTviMkNcD;I%!)`LUt2oU8-W$NbGXkiKiBP zCYx;~F|DWZw4bKWil+0!WSARPJ`GEwVnXf^tFTuaqAm`UuH)B1*|A)!fh@5P12yCx z2bU!pslQ3(Fscn{L6a}$IqpU~;K8AAOTx;r<9f10A_#TJ~xA~rLV zNUYobSWx?Ca0H2wIWxFwaE~Y)Yhenw0eWO!6#pgt`@B;A1YN-UX-Y3H{@>pI^o^l6orTxf1L}$t!2D|cwfEAF^39>ARjmt%3WC`vnrS(cs@WqA!s#`Ey zI5CNyUl7ATOZykB#6={o;*I{{3NsJ;-&dNln9tvv{P0zH;{WBf+GFI5@obk%%I*Tio>m|8o9* z=w{N6MJ8TNuP$n|NP8Q+hV3t;D|ncFTo0-p!oSR?UoT3c0l}X(R!{y1gP~C3Io9>P z)h6n#)@w2(Ghv*QE>yF@+=7vwJW8#Z$5&EEjY+W1q$g|E3VpdGES|^rP|0G4fXUjh zIKwiixWvOsS02UEhe|^|wAfTKkSX<#OO}D#t<>tXWkT8>$R6}*Wy!p>J&--G@R=01 z1l^cQc}p@ZzCSx;QI3npj+L9-vZNTjJBc?(hFTL=GNpDMcKb`Urjo%pS)N4)mMqv= zOv}mk1yZXFT#CY1DqZn)u}ICTrTPTcwfwjlK!QSP^73ro}S-M#UZb;$#Vq{{j!hi0Q&yk5?Wwckp$205E z8bmGDKBrh*sA!rQ&m>4+Z`RlqDQAC4eXPpwp|&-&w=tZaSz)HPSA5gI|NdtL-bN+O zv-w)`G&>CJTxQ9K579}mz6j*QY|^wiw7&R*=vCM<-QWvtJ{%xVi^JdxfId7yCtEhF zoyx+~_bnz`xzeC%GRW;V(Uz4nX#GmP+IK2TB3D)#LU${n%ZE3TN!yyC^~Gmw%EH!p z@Ow|I!{A#)AJ)^!R!68WuK92CR8{@s#@c)He(z&u-ptO6jrC;?2czUu}L!XF0Q4wCYup`{EY{|lo;DU~DG}XDFvu4?XWlOxtn0GNR8S8~* z;Fwywu9<S{Wh{Z(?hoj%JR}~;HKpv2J>AYQUQE6V1@KI7Qx$#;MGO& z2aDi82V8>7p6&;rP<y|Yv4g;W39hMZ7L$C2knS%A zSFKx zW^Rd@TkKuR)P~JXDwLtMg_F9L*xaVeKegwBYlLHnU%b;|^ftik0S7a`>v0a?sqGcp7K8|WK20YsF!8WDc!%UIK^w3 zUAhtAOm^-jAnw@=_1jUB8Tm^#o9*K~E?hDr=S?0LR+*6@lg9;2X5?okj|-Q~$g?Jo zi=xcPH%uNEFqx74CXWl3%*bOVj|;KPNWkQA0h1Ydka(!=oxHYnjMo?VZ+o%!IsR!I z-)rL!+W5UTK4s%0HeR#w+iiTam0$FahV=OzO8PCO`|Z&Un;Uz}KMxU6dZ+vp0;Tk> z8iM9!XDkMjt9`(3g^bc$z7fgt>-r4nIv3`l>n3I|x@UKRIy)sO=+EQ&OXnb&cT-7^ zDnswBR)(%S6~}4i{7rp2IJgA=Za@bW*^40_C$h)>?OJsM{~M9Ir&;M<^$KQ{^d)_= z(zEI`FvIDa+3au-f`7XFb>JP_!PYDv?MHTk5HrnSr|f^X4?LuQu?IjU{d^oqQ0W;r zw~G6fuP++x<}$~=g-Xvs6e~R*sA2+qE4@oMO~K;NoCIw)yaS4U8Aspn5y+8x_aF>s zRO0fqe5`x#F}80$`0%2S^w5j_<(U&3DBOg2*Parc* zFelH*U0}*CH}}Y0y&D|q<}T%^(mVZC1eG57tl~Ha`tkr+g0-g!G9LLv$h~mr@ku1$ zF699L<&!(hF6Z!*`}cOOu6470cPhQ|fRa89EssI%j5yXq#k#L&QwN1huY7X%oLoM2 z8|0f#!cTbz*ks&WhOqhw;LkQJb*c=to8NQ{G05%U8W+yU2Y8z{_s9ndwFZ1~>mBli zjQiffw0x*XKD1IkmKxU`IplymH##UnFbE;&@pQl9NPD{F10X)IQtsMw{EU1U70$>w zu-N6A9=UI<8CxzN-aE6fC@mlEmixe89~8Z3@QmEQ7##J;hgZt|Pk5kNazD21FgELQ z1%^R`JrK6};u-k}7CM5nB`O}txVK_kJWUW2BTT~>68PDI_*8im*-_}w;gGxPY)ElO z2ca+Cfz8%QoHvKR`Y{f`BL!Lj{s+dRWBR?i^gI6S^f#66Qx0YMpHqLw=h4I4{oDN8{X6{XsZhx4p3Mgq zpWiX|IKA-anEB+wV3blR0;LF)B2bDzDFUSklp;`yfIR{Z@fM^x8EDg1NOO}?G!<#l z5^5}@wuGZedIzwMqf#s+Au2^uNnL8uq<|EUCBu67aZQ4^Qd*mq@J?b)S|pa(CGl5S z0X-axO89C^3xa5FM~F$%!*iE-7lrPXIGMLXVsAb3H73msLSeA(gmh&eC)q1mqrRi7 z9d|fa)&Yb63h2C&&2|E<8qH?=fz|-UMd<~gj{qHdKbt)Vbl_SxI|{V&pV@2;?)D(z zJ6TMQ-5Z&s)8n{f@`Q>$kRgsQQRCnP{&&Dw-2@MkyWv^_*Y)?Z*%Ju3JoT>12i&*p ztmtB^XRVlj-`#T%M*D4WbwS;@A%c()*WtoC_XDMbW#O)61j@UF{~wWEo+r!JOd0R| zlM|}Mu&qCa>%`S;Rs+iFU7oL(HMlCDa>_2Lcbx31I$U1os(y03;;QMMu-4^^x@!Ec zYQL+h)+N=tDr;SyT2}>s*K`%kFMywN^ixWu2$UjFia;p>r3jQFP>Mh)0;LF)BJe+p z0DZSc->HdhiTUlruS&ts5R`~8V{!5Q7rxTKG-?oY|AqTFOt%|^ zbqRp*0Z|dE_XVLx->OmhcL|*I;N=HzAH1UrLf>)Q9af9}_6fQ{&_@J~3)&@UpP>DMo)C0UP`m$6;wyZH#@aP&R!CLNEvcxU zl9qdyc&isIN^x${6N{_8)l0mK=Nb4XdBks-9p?A_R&D%Jl)g{T$DNG6KhMXct+zlAD_Tzoaf`P-==|Y5jfdIM&rf;L%Sw18lU<2E#^4R$KkFn&@WCn zMIjZ$UF=*z+|4c)#69MDjr?+_GMYE?arj79vLZ&_$!;~j$G1wIaMz9&)SqE~mz%GD zn>qjFlEM)n4RtY^&6p2&mSt{O`aJ$elpz8*#7+h8c@c@ z-WL^sPlNajisv0YpDH;{rRC^+z@;2(=Dx%6vE!#6a1WcwJU&yEXQlx@t!(W5(u8=v zD(8M!1P>R%4;8_W0gm;tkMkcC(Z{b=qyqJM4e+UDGa1d}r1D3^u?50toDhrvj&a@~ z;;ae$LynVmj=lt04~+9_Uk=0E_kZZtJ%CG=@+kWZ;B$zv(C5&PW&WXc2Ww5}Nj(K$CbY8Lc?wmJ zsI7RSA_=D{f-$wNBi0h=P=k6bkyHbzPSzTW#5*({{x@Dzy=+loB|PL2Rs)GdV3(>z z^~5eX+7XCoYA_Xv>;e-Dr-G)Qr`itZI$~|05A{;j`i=f3S(Vq-sc@bnUpdIsx~=Q{ zO$}@ECHzDQKyW}wl@;MZsoTiZwTxq~h_A$m8?&*Wnedhlu-WTEpjc8&a_E^06tQ`-a4 zARdEhSP!Pba8yktHHcEKff#IYQpfJDC7BfE@v}I1a>uS>JqMJN-OrB+<#=q9ar`GA zQ&l*tLp_OycnY4($v-5N@4+}*l#elQa#utTv;fr;25qMtzTZj2nKv5KHE&xq<&7s| zaV??mvOq1VFr1hR2LZCIcO+89@F4Jp%0lCZqNwabe0+5(`9jG0#hYC^Nds}*0V%upC-gym-0wI2N&**$ez~EL?w_} zlQ}O5a2Zgm{T5L^(Yvk2kf-Ma!3{QhT8|TzNKsI`{X>AmYq%KIpVsX}tArgb!|nAC zfE@RpWKZjRqDL{fkg$!IC41T@h5^GSlRfPNh`tRnYZC5E=rPFQ-jVESzd&@3(4_j4 z9?>U2j(bt!X}g*{l>W~{`u6y}D(tEMnItp?9S|%L>ObONgABHx><1)6 zLbT3c&0l-@Z-B&VPy0clxNf&5d-<0@hmr~hxo#e%mFjVy`miH-+jt3C4x zw35OLT vaCZU>2Mx^l(fm6RFsi#@Y5Xd +#include +#include + +#define MAX_SAMPLES 1000000 + +int main(int argc, char *argv[]) { + if (argc < 2) { + fprintf(stderr, "Usage: %s number_of_bins\n", argv[0]); + exit(EXIT_FAILURE); + } + + int num_bins = atoi(argv[1]); + if (num_bins <= 0) { + fprintf(stderr, "Number of bins must be a positive integer.\n"); + exit(EXIT_FAILURE); + } + + int *bins = calloc(num_bins, sizeof(int)); + double *samples = malloc(MAX_SAMPLES * sizeof(double)); + if (bins == NULL || samples == NULL) { + fprintf(stderr, "Memory allocation failed.\n"); + exit(EXIT_FAILURE); + } + + double value, min_value = DBL_MAX, max_value = -DBL_MAX; + int sample_count = 0; + + // Read numbers from stdin and store them into the samples array + while (sample_count < MAX_SAMPLES && scanf("%lf", &value) != EOF) { + samples[sample_count++] = value; + if (value < min_value) { + min_value = value; + } + if (value > max_value) { + max_value = value; + } + } + + // Avoid division by zero for a single unique value + if (min_value == max_value) { + max_value++; + } + + // Calculate bin width + double range = max_value - min_value; + double bin_width = range / num_bins; + + // Fill the bins with sample counts + for (int i = 0; i < sample_count; i++) { + int bin_index = (int)((samples[i] - min_value) / bin_width); + if (bin_index == num_bins) { + bin_index--; // Last bin includes max_value + } + bins[bin_index]++; + } + + // Calculate the scaling factor based on the maximum bin count + int max_bin_count = 0; + for (int i = 0; i < num_bins; i++) { + if (bins[i] > max_bin_count) { + max_bin_count = bins[i]; + } + } + const int MAX_WIDTH = 50; // Adjust this to your terminal width + double scale = max_bin_count > MAX_WIDTH ? (double)MAX_WIDTH / max_bin_count : 1.0; + + // Print the histogram + for (int i = 0; i < num_bins; i++) { + double bin_start = min_value + i * bin_width; + double bin_end = bin_start + bin_width; + printf(" [%4.1f, %4.1f): ", bin_start, bin_end); + + int marks = (int)(bins[i] * scale); + for (int j = 0; j < marks; j++) { + printf("▇"); + } + printf(" %d\n", bins[i]); + } + + // Free the allocated memory + free(bins); + free(samples); + + return 0; +} diff --git a/scratchpad/plotting/gnuplot/term4.gp b/scratchpad/plotting/gnuplot/term4.gp index c8f70ca..42b59de 100644 --- a/scratchpad/plotting/gnuplot/term4.gp +++ b/scratchpad/plotting/gnuplot/term4.gp @@ -1,9 +1,11 @@ reset -stats 'data.dat' nooutput +# stats '-' nooutput # show variables all -max=STATS_max -min=STATS_min +# max=STATS_max +# min=STATS_min +min=-1 +max=25 n=1000 width=(max-min)/n @@ -23,4 +25,6 @@ set tics scale 0,0,0,0 set xlabel "x" set terminal dumb size 100, 25 -plot 'data.dat' u (hist($1,width)):(1.0) smooth freq w boxes notitle +plot '-' u (hist($1,width)):(1.0) smooth freq w boxes notitle + + diff --git a/scratchpad/plotting/gnuplot/term5.gp b/scratchpad/plotting/gnuplot/term5.gp new file mode 100644 index 0000000..3847209 --- /dev/null +++ b/scratchpad/plotting/gnuplot/term5.gp @@ -0,0 +1,5 @@ +reset +set terminal dumb size 100, 25 +set autoscale +plot ' + if (n_bins <= 0) { + fprintf(stderr, "Number of bins must be a positive integer.\n"); + return; + } else if (n_samples <= 0) { + fprintf(stderr, "Number of samples must be a positive integer.\n"); + return; + } + + int *bins = (int*) malloc((size_t)n_bins * sizeof(int)); + if (bins == NULL) { + fprintf(stderr, "Memory allocation for bins failed.\n"); + return; + } + + double min_value = xs[0], max_value = xs[0]; + + // Find the minimum and maximum values from the samples + for (int i = 0; i < n_samples; i++) { + if (xs[i] < min_value) { + min_value = xs[i]; + } + if (xs[i] > max_value) { + max_value = xs[i]; + } + } + + // Avoid division by zero for a single unique value + if (min_value == max_value) { + max_value++; + } + + // Calculate bin width + double range = max_value - min_value; + double bin_width = range / n_bins; + + // Fill the bins with sample counts + for (int i = 0; i < n_samples; i++) { + int bin_index = (int)((xs[i] - min_value) / bin_width); + if (bin_index == n_bins) { + bin_index--; // Last bin includes max_value + } + bins[bin_index]++; + } + + // Calculate the scaling factor based on the maximum bin count + int max_bin_count = 0; + for (int i = 0; i < n_bins; i++) { + if (bins[i] > max_bin_count) { + max_bin_count = bins[i]; + } + } + const int MAX_WIDTH = 50; // Adjust this to your terminal width + double scale = max_bin_count > MAX_WIDTH ? (double)MAX_WIDTH / max_bin_count : 1.0; + + // Print the histogram + for (int i = 0; i < n_bins; i++) { + double bin_start = min_value + i * bin_width; + double bin_end = bin_start + bin_width; + printf(" [%4.1f, %4.1f): ", bin_start, bin_end); + + int marks = (int)(bins[i] * scale); + for (int j = 0; j < marks; j++) { + printf("█"); + } + printf(" %d\n", bins[i]); + } + + // Free the allocated memory for bins + free(bins); +} + // Replicate some of the above functions over samplers // However, in the future I'll delete this // There should be a clear boundary between working with samplers and working with an array of samples diff --git a/squiggle_more.h b/squiggle_more.h index 9dc81db..644c4dc 100644 --- a/squiggle_more.h +++ b/squiggle_more.h @@ -13,6 +13,7 @@ typedef struct ci_t { ci array_get_ci(ci interval, double* xs, int n); ci array_get_90_ci(double xs[], int n); void array_print_stats(double xs[], int n); +void print_histogram(double* xs, int n_samples, int n_bins); // Deprecated: get confidence intervals directly from samplers ci sampler_get_ci(ci interval, double (*sampler)(uint64_t*), int n, uint64_t* seed);