From c25e9f916f001ef84681eda43f356628d55f29aa Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Fri, 12 Jan 2024 20:41:06 +0100 Subject: [PATCH] add failed example of loop unrolling --- examples/more/00_example_template/example | Bin 27400 -> 27352 bytes examples/more/01_sample_from_cdf/example | Bin 27680 -> 27632 bytes examples/more/02_sample_from_cdf_beta/example | Bin 27664 -> 27616 bytes examples/more/03_ci_beta/example | Bin 27440 -> 27392 bytes examples/more/04_nuclear_war/example | Bin 27520 -> 27472 bytes examples/more/05_burn_10kg_fat/example | Bin 27480 -> 27432 bytes examples/more/06_nuclear_recovery/example | Bin 27768 -> 27720 bytes examples/more/07_algebra/example | Bin 27400 -> 27352 bytes .../more/08_algebra_and_conversion/example | Bin 27400 -> 27352 bytes examples/more/09_ergonomic_algebra/example | Bin 27400 -> 27352 bytes .../more/10_twitter_thread_example/example | Bin 27552 -> 27504 bytes .../11_billion_lognormals_paralell/example | Bin 27432 -> 27384 bytes .../more/12_time_to_botec_parallel/example | Bin 27600 -> 27552 bytes examples/more/13_parallelize_min/example | Bin 27496 -> 27448 bytes .../more/14_check_confidence_interval/example | Bin 27400 -> 27352 bytes makefile | 6 ++++ squiggle_more.c | 30 ++++++++++++++++++ 17 files changed, 36 insertions(+) diff --git a/examples/more/00_example_template/example b/examples/more/00_example_template/example index ab405cb403f7112364883a07b57c26b55aa76799..ccbfe41f5d227301d875d76b0f5086792e7bbf9a 100755 GIT binary patch delta 6271 zcmZ`-33yahmVUREq$*1-WT~n^$W{pz2uYO?Ar077q(WYe1tgL{y4j)$A#ugeU`ux( zV5Frclm-veHm$b!**&5%BTU8(7b>#F1q>n@8^oX@g`h;#HY(xGf8Tor8T|UzSMQwr zpL5T>_bm4<8$MwDM_HHMx?_|eH?Kkj`=-LDj6$N?+w@V1v9>_z)RL8z_zXs+7o&nj z=`)Zx{0*~J`QodnR_R-49kW^Os+L{VvUfkte$8_K)!-qGGI&Ts3ECy8-sPXfAD{7L zu;PQIO><8f{(4Z#Yoj);E6onI*g^zhojk}+FKfrK@5!pOv3xqIwXsjYm#{ZELMwD` zc8H!pKSh@9;pjtpH#;p4_*z!#o2R2jeG%2`?X*o_&-ThP9p%KmPUqt8GtZq}wRCc^ zTj11F?55k}9keBW(p;UO#ZQlA#Di)C1FrCpU=$PyU#v!028=t=jelQWflh#YJa)k` zuao!n!X&;c`YPVhZV;xave2eK!QncglFQH-_@_YCfC!sqdAx9gs-N1@lFVbYSnaRO zXhAHsm+iGWcwZwdSM3>M5tOY9LRSiyR6fB~f-3sRP|gx4(`a*GhRbbmslxKKNTJzA z8?)1Dqm9~(Ny(xri-$}@{{?hA(7F+*o<0V89BA_hG@grsc z@>w^GkS5V>keWEGwm*-Mn&~lEd=wV9jXHVUmAg?(lF4AKzm1^=`=CXMn#E9 zPfov9|BxlukT6#eE=c)_-Qz94Vx{21a|FShTC)A1^Galls7&_IOBzDgD6FSi|!;%zj#FYE> zVR}5Jj!mSYlzdHm5oM*`%pReCPj#{1Q+KM9EvEj|C)v}~miCw?aXgJqACD56mF{G3 z(JkpG*fIJy+XT&vE~-q=V}GGXY+VUf7rbO%l5BNRseK{aOq=X3b{Flk=d)TGuAPUI`kjUg=HDc50zijTQfZH)jJasoQKZop(1Z*pJ4IC)n{CbcaO=Hmaade1 zFG{`%y$fcG{wDf4V;mb#d82bt`m;u7nRYv|wTJ#GNieG4MR$$PV}GTGM;EXM>Gjd) za~_AsA?fE+-U7bK>^cG-3;E3(`0F30Lt{K__CuLjn#?@P$*dmx4+ICx3_2|r%ym7{ z>)|!bEO#xLuTfW~pH$*w?h|6}mZhF8hpjX(7xz2PI~;I=$0RbL;K4Pn>YRirD=Zd5IY>!naX<1;Xk0?Sw1G%dA&jG z{DURfnYSev3OZfBABM$-!(!-YXio^f3wz_&AM=Gym;-zK=I6fY=wV{dsW|gJ znJ#v=I$goeHfJ_qQR{cQ#c=JS{RVRua{qjwx)qrV#i)_;bPw+-(ueq-_kuD`58vpSv$QWiUvuG0I+yR( zM82f41qJQC1-|*d+CT`Q{mEAo2wn1p-l?6(lST|-QH^4!E*~X@O<>2KNT_$q50d%0 z17gqVI3T*{(3h%t5xMmWIu+~xxu(n)ULplT=Me-X#b??!&bHX^l?Znrp-cEXvn$j`4UHe1&_(@R!lGy%S%wk>twJyqZqAg+=Ucnp>Ewxh0(z zyD}(TXw!&4Qobpkhr9Su`qhL2_88qb!KH;`sB=P==7vExGRZP=(zPw0%LZ%sJ;$nZ^0Coc1xw<+!??Nh@*CF%JUZjN=l6xQR$4VNue1t} zNb*AM(CLw*ZHYdjj8*OiI7(y%*sgmE#(JV{ba>+8R0C|i{2hw_b$$^;pF}TyN;8XR zr9ETCd2q*Pv6EpvxTrvn6+4WxAiB;QLuZakd)lo{vFd%@6Y96gD2ulu)}$N-&iXC^QRFfREUGwD4qGB>^E zc{%ZqcyvYdEg|CH^SKzruo}(U0kcNhR!l`eM>`ntPOvjpk3jjv44bCQo47 zsb}((IOoSueVi^$9-lV(IJVg_%+{3p!WEZ-p>M_TL<7wz&A}ahY3Z1nLkVza8o&#{ixeEF9*Wh)N%I zzgx-@{>R(M+AV#Ov<-{T291DL9hRhi(0b5j-hWS$20UHcWr>8HTpc}Xh51OL_wlJqF3jz#VXyFEtnoLJjrgx1 zPq{6v4xYbB74f&hm+=2zT3kLlZ5v{6%LqvnypF=PGH!hmo zno|iTLwTZ*jqY?{RdljE4;iQTm$2hh>d#_HRO`>05&VZFErSkkeC3}*cN;Lic-}ZR z1nhlat7JqF_|lRPKrij|k7kW@&|jX+AHG|GiHO}X%B;vN@tLM}#8;ZuGVM;5V4CVP zxqT+rOjGtulYOSiGSg)6@mC%Z|GgO3Ps=LG=kuNgkuEw3cVbpymdWy<1|uHOVq{n+ znp_+8l_vKe<7Df8Sl9dnJ ziO46J$tQse)ky-TE~bssV3vws%pz}ryXYe9^&u@$TXK`%G?9wufGyz29j5FClYzg1 z&JkP?Oh)crB@n#8+kn^d0a%JgG#R*|I^cU_`aHI?OopkzR{&39>KqkCMeK{X5|L$RkeECn2-5=}xiSSOZQ( zG3dLi6BBht`JEZ_RFQFZ344mlW@lN&YXP9)*+gyzYMGtIEEIx9HoXk~F8XM8iPfdP zVsiiT)=Q2#S=OoQ_ZQTT-0q>koVl!*w#>=GE7Z$#mg6NmXYO;|{d4UM=Dw-20nVvT z(;8tQr`qPY$DocJLA3bbGnJ~VD^X)Rp=(Ap?S$@D_2bY8ReUh83L>4XUWy~wcY_TJ z_uY`DwF!2*6FnD&Zg|i!aMd`T?iv(=g*@|YcohoFD{;iWBE)R}PSxq6P0%sW)AN>Q z)aNPEV?2@3PUFw*c=IW@rdXp3&@=N2D5B9(Tg{kXSR92>OyDcqS!1I=*I1~(Ci}8m zWrMiPA!BV8^HO1LCEG!F*4kJfg=&9|AiP;Sg`YX|Q_?I5mZd&6LZPF`I)8N9D6D4C zrXcdc0d^YQIsZzSW1|*8-`0K?qRGd&)#$HOceYx^2MQE@xpcukpyDfv6g*ZPTU9(V zQNiUx0J~eo>s4GX1mGtWe7w+w=P%y!)rrrk1Nw>;+>1VM5?`*zjH0w^QiLj>g2t}7 z!1*>TytvTxsh7pk~$mFxWqo-Xv2Dw@mG0X1AeJ2ffo&Faudx+01NVHcKW5i$gOy*flCt5p4L zH8?v|{CDbBVjpki`zB=ftNIp~qR3QtZdULm!d5knV(G%~{e15$RG-A|Pu;-zg04>b z-KzdpwZLPi&|Z%7EoPojHQeKsCCIl2uwTVA9G6rLuj-}^ilUG}ISXxU3~l-?KSp|R zozAb0Y8+0+Voc4Uet=(r9W@x%ImfWWA-q29bSRI{dEU{)o z%v+4!MTN^steaJ*#ppHE0<>2}V{`{Sy{yC-JFM@algp-DKKo<$fL>#m0kv; IXBx)-AL9?F{r~^~ delta 6269 zcmZ`-4P2CEwtt@)24)cELl|a;5BU&qP=rBYh1Bbe4D!x4C@3hVB!&={7Wk7swiJwY zuWvYod+aWC+g-cu-fVZfNp^SrXlqDQ`dlb8Dl5#iF)dAPqYr!c|Ge{#mu-Ld`TgGa zoag_X=RD^*=RD{A7?}i(7@}dIR}_iwXtl188g+K|sv^~^Yh=Tm(^;@o7WHcq zDKq-N<0=Wyr=&e)yzWL>=W)#dQC=n_ne3_t#6&JX|Oi_W0+G9#O zV+0-cs8u|u2h|7$WzPm7RvqCR(DCZtPW6;nH z%E#Qeh9>7m3DCDtm3L?JezZ`}gib|h$jN~yVc9hWQNpvT0uW)RvVdM_R23wyT^lb5 zF~Y5CKWvcpnn4>K+(3=cq3VmIgqlIZo&>H{5cCZul?fA}jULmNJJcLhu+XaT5YI3p zUDex)5>;7F#>S2E6o|A^6^{YHXu82hD-Ch+;y6@G4M4X8tsjR*Qvm35KwHP5dipES z^FZ$!hsM(9KvQGm;84-#2d5N>5?V z3CtNBhuY|aSR1qNWfKlY{nDJJ*DMl*OLC5O?^N@3%-YJ8T{_$UgDm%6Hck2#BbyfP zeb_RA6@#6Qvu8^83W7S6^P_&+kNQ^Xn^;hnJ6RCKK>X8LoXj1R(X1c)1>s6Bx&}-U z13C>SWn&wyVvp{5jEP%=8x8WPDZPtt>ySzz|1KX4l)OnP390NMDovP__YfeVV_Kcq zJ$D0VMd|d$II(B$9q5GKy(-J0HCXb9ZasA-)U$XRNyyQBI*sInTi88xOQMtAK$Mux z=F+~z$C*Sct-scs%cJkCQ`u3Oxtc{Rt!B~zL0+*l-}qST_@++BGunCAogrB`+J%NzjWwfao|+6=j*G|E8PQ3WZ#K>rl*H| z(ou0>R4YpGrN{L2-#mdz+28bvpAGtZs`PoC!`?u<>f(o$X zT#gJ@%sY&uXxe%jXs2SDPdXEFpOfW^t@7r1p1>-(O1c8KFdi~LyA1#R9J1KLK?wP} z54**tAyFE_+UX+WMB{`1gTAs89VafEHdplaH1xIjOt-yJ^m5UgVxVIe4te$Wvh0;M z?Q1cu8;}~F^GoY@nJg8ZyF(&$&Te>g^DJ*qbD!8$@u=8S)$8d#&pfa*kUHRFhZhFc zoYb4r-N>V_VHaZfHuAcB%wKk@1RBO;SF6Ti!&p31)dT(7$qqVn(fThq}Zv+DdMUAC+7@iq>r2qJo`;k9W*g- z+Qf7_uaujum7th2J;qLp@-j7XHrkMv&yLV<^RhGtljtdDGJTL|(~NyfqfWc#!*9tv zHM_Ge9BRavN4Dt)Ppwaq#eq+?OW<@9g5HX4RrKOkwGA;r(8IeDrHa9#V8{_tLgX>| zKJrP2yH8#8mtFbSKm+VJ$D<#mMqi7_DPhKOZte^H?o;GRPeq?74Tw5LNZNWA9D{`G z3QfTh@PC&Y;O+tUxFCy?Cn(MiaN&+&9^b<}z6k1brX=V?oOx6c>;5rWK3cJlziMDV zyF>k0(o^66##8^sWAG}iotDd9quyywP1QC!I4xasUm`+~d)v2u z=?wQ~UnmHZAY0Yvl~j=XIsco`6BzJIpK{0dh3-GCNfoB$~?u+BHE3_XI zt{o3*%b(2drk(lMv)5@fe-&F#?&&jsvi}oBX)S+TSfaAIiqP-FSRC&S*R z@{LN(OS<)U^yKu(C0%%QV-gA)WCp;Yc!$n~=Z5QeEguR$it1m1vVqWR#0nY`OQCE3 z71W*Q`Aw8Q3e7o18wwU!-?QKxzi=v2l->pxs;1Wq9ELkEf_+u_!IJ z2m_cGpJ}F&qQ9_4`n+iWgg+Z2>Ykh zriGCY|2j(up%Y|pDPdd&Ez*nAHkMw;V z6nX(K@#kITdk7W2w^uH~i-CE9>lybN)|oLR%e!H}3p5DYHZ02{pk1J?y#J;wUj!Wm zjlxUD#kXWR1GMp&EEj|JzAekupuyv^ybe?tk>zcmUGK{BpFl@p=m}64HvK(lFK8++ z86V2BON(y-HyAH~AZR@w7?tIXpstT$5NI_rC=RveBGR%RwCxNQ0PVt|-vio1IK}1zA21pzV?@uf!|=DCjoO z>dUhHENBpPg!iw=vK=q?LC{8ec>a_$GkjJEiv@2CuSG&Ou3}u`>+lJEFn=;@BUWy6 zw7wzBZul_L_}9dCT)k9OZnNG6EjOt{sQSV_T*s)PJjFVQ7~DE;Bm_R20_7>1(zob= z@+1nDN2U1@h!U<`G`cjWV~zUq2|@~p90J%#{oWMzb9&ud9xnph2&@&cOQW=kv}s;r zX?Kj**r>S>Yb^B`T^^%zzA&KvY1tJ-RzaTh3zRV)T{xM&mA?1NqUDq*;)qTLX5G@)o3baz)$G z+klPY{h68quid6YLl`7MZ|fv%sh?1?~c#O4iC*x^>`ssiv|} zw+q~(w6*e9of(N3N15Ve1AiNv!}AoqDY{m0JE=-c*KG$kO6}ro-D}`n)GwAB5|N(u z$Y&is(aNI?kx$(=vQ!naXUS8QZn6Ia`p~X@u~K_gI=&}%K%$fez;B_GRfU!e^}CO| zkhf9FT$pZY!>2WGNPng6p_+w@*hPA5VLCfN0}F3vX7Vgfpr9s-+>82H4;jQ_U9RGzmQgxf_$OKdohz9oeYedKqMs`^eR-&4@+{D4c}XvN`tj#!$e3jfm_pG%eA~* z`+x3KRN&T3hPre(E3dAS4N*J(673?XZXUazUap&k&n31rflb6;o&<6)jiSV*iMl*Q zLP65XI0p;Nd`oD`sRvygk)XDvdTS)miU@AEMMgXCSLau&IS~0%vQx#~x#2m=IRyLr z2+q$ITI87gMa6rkhjHadfIY6_E)`c!1n{rI_*7w!H9R3lb*UC-if?FFK^S*Kkhdh- zvCPJDY4tLjqfC`?@iT>{Q|I~>nOph2XtOF~&QL^z*{aMo;AWojjbS`;e~8a=JfqGU z;wKF)MxFH{Usrb=qZvF9>@?NX+t?-QUt#aWIkmuK!L7{TXJ2WFVE9I=)5HB@70-;| znPDJb-5{?4Ts}B6jJK-tZWSL=Js$Dw3Kh5PDhW$As}pV|%W|88o5j_Q;>DG>h<}I4 zv)tC%tBzh&!?GtVBs>t=zk1A+CmF_mqsj->cr(>6e^l|d9~t+8iubCUk32A50d5wO z>7C^k$MJ|xb*)Gpd0(;rD|K`KkkhE6N<-omt)cHr4)2WppM+EgFYl zZd75F%%dGQ*zjis_cUHSxdykIf01YEoxsB}-obUT$N9bLpej8&DXgkl)%cQ%yHvbF z#fKyEt}rm72Kgj#{=+sQ?W!u#rOvETXU3syD@U8H;~8m4<$c&0+&jD?S(7yWAFtc3 z^za9F?`I9S>Gm#bTFp?*_OB_llwuZd5xRxG0eV1nafB9AS#zP~qKZanknV0SG(<}B z9_nwNb*Z8uviK{e(P zT1RC!7aAgE%1-S!A7xG|Yb`WHe%T7t-a3m~TU|8LYNp+|##&w1o=h2w!V8X4*;<+H dqq19O8OBzGF&Eu^%dA-EP2pZLqn|ZR`UkJXvgH5( diff --git a/examples/more/01_sample_from_cdf/example b/examples/more/01_sample_from_cdf/example index 52f8eb4c574524ca7e174959af99bbdcbf25110e..3b21bf4180a52472d575be357cb47c1a1dd808b5 100755 GIT binary patch delta 6797 zcmZ`;4Ompwy54JkU`AnnWN>B>oB;*}L1!=tc+_HakUa{D0{$c_T@*F5@LVh_5|lhS z4^5$;=UzRh^E}w;o?~@yVRX*5PTe3&sgs3fMx{rr%<*VRYDe;?ec!eB9;Lc>@yveL zde^tUwf6UY>sxzo+WXkRC#=n3wb%r?6e%G1wq^avSU+58)o=UMYdoE$G)|M1dHoi( zD~f_e>1BWz{02*v_F(l-(V5006R$KZ_^{FR#2KYNxMwV8=YP!?T>AZ(IVC(*0gu}mVX&d$7aN^2*J&cVLq zZ7R|^$h}%e4Z0k5j&|$3>RU(I@C z%_f=~^A@>dw^L{A+zKr$5i95gE&jMo3_y*b!&Si5sP^#XG4QK_+=xE>deg_~1V~K6 zZE&v0!`m^!R9bCFY0?YDD!)EywUO&8=eLW(P=5iaIz!m8?cXr5L8w;cZL3$u3s}?2 zpN!YazcGVEpNRNVT z1iN7fJDmP&nB9qczFD>o={3;_^hS-vMRpG9wNm_WJH-u;i{CSZO`xe@r-0ozgdIt1 z!QKnDX9(+{--CU6cwFcEg>Aa+mNdiF*@AFU%DC1!&T<#aLv1YxvnwD7m&~KDqWv4} zh@tK9&)QqcI(J#KS-ihW4Cf_i1VIc>Jx11qB-`J{3qqt(X7Y-ajvl%*A(^#ObwV23 zKurmWBYwq&I+fn@IjEP=9}|M?3=JgMOg`S(@}ne)p$m~0XoPK2)gLqX4DntWrtU$X zl=#dnLAcz8dEZ4v4C~+GP&n9-D7NZ1^7@vp2BXw(b~SU0?pG1=yJY#i?esfaGOMC} zw$WKtpoI0=RbtE3iM%R?PB+Afty6DDBl6sJNs27Tln3#q!ku8S?_ z-59E0gZ|}Wt1cr`UO~X)$n6qCXCi+{7KB!vXG<4utc1Q!9LJs~>qr;7Ot~X7ZNtY2 zf`5K6^rOFuYr718^wHXpWo#b(b>x(|sp!U}1)z_T*8UiB##Va4BbW&cCx-`Yb71bLSZP#F@_0D0@_!aUHyI z(Y!Q%8@)ZMT9ceXX~|>RHJX{6!A?+p@@t9XJeWJT_oCSv@E9(d7sY>F7xnQOFQHy%&in{m!!Z*7RMap;Aw#|H=)q_OKZGIJ7?m+l7l_w|wpo z{oNegA27f4T}w9;yHCfMU;3NKZump*wDb=)`9ochj1z13`@3&w#qNHsh_)kGdmtFr zb&DaLCp<$ES#Pkm7o9O;sM6yLhHZz%a3Hpbx7=Lb66y(L4WLpG$m(i|Fw~~hO)$G2 zLqrNfajw+T=rP2Kt;wE^E9=^@Km9ESnb@+wsL3xKMH8-`-gT?mbF12WtJ-&~+JCDW zxm6uNm1`O-F1*q7yH>s$Hc*JWd-OImriiT#p3KtLMvoh`s1100Vz{dMfWhp-zP%7^ zIcVVH{bp;)V6gDy`g3AyrN<$*yi+7HnI?*c;;FCH`vv68}>F zvi&UwSniRt)krXWkCHcYwB`P@l2jV{qBQia7&;i4dzO}Dev;Y(bBN)@hwOrYO&ZSI zgG!_&B1v!ZBP+5iLRDEAn$2gZG0UeZKSM8OjcM{P@Xz;G1w(M{RlZe!^oQQBs^CE* zhOnrgZ2f}Vu29deE0X!8gJSoY82CXK*>gr!FCw=vhz8AsEZ5`s~!X|b^))}I%-FPDqADJgFKNN#)x-m?GMn6Hs**WuDe<=Lsm){$}! z$eT_NXOCsW>6z@HrrSo}WaqM_ONQGZUV=7j`|O`??Xc8z$A+&K=-glkaXk$nS?h_z}Oy$-8ut1A5AYL6Kn zS}5l*BnPAj$4?w3=5|FEf5mG#bHwp z!n*t^q7+VZbAM$B6z%p+%y%jpEBUcw)p_{fh+g61czz18DKA@e10}0 z9yQaj+_bzNnc~q7p>EmbmdLE=5)lJfBD$0_ZQ*;+)*Z>AyK|Q$G~y?MEaDZz@6;&;}Gf zlB7(a4_E~31uo}!6yt$KA4}48VEHjg;xD0Hz#QPfC-4T)jr&**toclmnzcfc(Eqt4 zJqx1fq$C{$wgE2#2Y@zYlNv-*Ca@hi1?WbkmUA8(<^Eohb^zOeUHql$pOSPQSP!)DH@GWUAg~^|lMYWG%N+E>^iiya5(DXr#6ysR zP_*#3yaxP=z(-#%c^{W~0>7Q`hl>*^oNLGLS#WtkUikP|@av^*0lOyBOV0<=*m61) zn1y#`XK{XRKOFflToT2B-&Qzv3Y@723Zlua**nZ+C>bs*e-@mNHWeqNJOQ_6C=x!+ zVMT(EJ_@d#_7;y~uh1b}`{-I@g#K}%-15|6^GD#!ZF_yF!|(PZF?GQpREmla`Qni(cT0r(>DJLrU%uWv-n zK+d37-+`Kq%7Sb3ZtQ`_=#Ai5eJN@^sHGd-7_|YdI7*!9((_%jkP2r`HXcW95BAXt zIvhx#wwXD4zH@pzyJucuM)~Uo26oU7rC#;|WtF+CeT5)UoC*kow5ZIb5th)yWfNFA zJy*uxWZo_Fj&P{&{oKyH3^E!vd$e@}zNhfQ_aiU+sBrciW}wh)7yE#oo4pcs>zp?` z`{pcMGa#@Z*|$DYeq8iJL{wSB#-9jgA^Clbt`G zVgz;t6Zlg1R@!N2rG@$`-PWj?6~%(^G#RU0te3K?N>~xCtMVe9?XJ3$?WI#y`PPAa zMQ)WUo=pDvcD#MBn~$%4^YO)RzRfuU9vgv0HIGt+^7w8@%AduWg4ohWase0i?YmIEKvFI9fPr||MdK~;l{ zfwfK(+-f|^sSq6&r9<%Hxt*7b3dq})-(1Z^g(!kzUdGdR3+!wvbuX|x%hj>%cBM~F zz^K;BGMo7|_cyAH8_)Q>M6>*VsC;v}!cSHW@e<8lXlJkUvCdCbnT{MqCRUX>%V*c$ zK(CwjY7%nekS(klr(md24T=tx|FddGi@IOED*ufl-z2nWD-2T&d{tHC``OKy zkUC|9rYrIfsfwK7`GPDpDxpG#D&McBmo!!XIGK;i(rcPwDFIcq3!f5sk&hi<1?Rb! zQURtvXxN`O(t%^_}g@YZ%)~tj=pKM>j7~e3blPqenm#Z>LRQ z4F*LviXGHl=QZwA*?sgwUH*vZc@sq(L(^7nL{jWt=`}Xvg^`zL`e9{04Xm`_#PP54 zTBDAQ;`g*^mDd&bRdC*ha?aUk03HUmN>El zBp6Y9LTlo2cY@-Yadaj+erwn`Zg6#`BP^f`+EG+Sk%y>U1SJNPh~S;S?!C6j*%24}=*Vvzx_J)Wgsxu@}C-74W5<+b}mtx0=8D_B`6>fu~rwg2Ih9vfm z!WlHwvG;k+FdCD{puM^Ts*HRgde*%1isg6RxoOjym7C~VB(Yf(7*V-0QqT({1S5>5 zS89S_0@Vo-cnWxq)Oz?T7_c><+}36Ig)+xR2;gvGAO*|f?GeHptsTncZG$kI3XQ2v zk-`EEZydG8#C0!2n-_+9FR122;qmr=gAYx@-5P(wnl&*3=GgcXdA%afWi}^seLA5@ z(-(HSkt;{B*zn*1Hl#&ExFbYoj5Cs<`(}}rt5qID7MfB4(0V)ndBk3s6>p&L|LydF;X#U9Pn1*5KNSZLxPBlR98-_+x zEzn&+A0CF9DFE~}pdG`|IC>rEMW9{7&;8k#JZ8x-4$c*XK{@+!&v?rn%+|n_4W4iRQI^{-o5x&3Pwm{Eebziyj_Oy~ znP!Ju5VWq(f7brwXYKcgw_Vj@peSA^2x4H`EA&m=sDwXH5Cmzff)shwjxKV)mNqUk7O!AvyMK-#Txr9&&!Zv+49{>weIxP_mY4>$mmR4ZMgN7J7l~9~|Fc0Q5*Y@pK zthvg3>CIKZZ9}RbKyf zvE^bKL=AJ$zd~${$j((};Lb`a42u49(t;F0XpP9)8N|YJ=%8&p`z?KAb0G0p6LS+T zAPu_~di_7Ts=2l+@JBC|CzdlEJ(+lGbn19z&=SBe)7iua*uPSPJ)5nkN9=2vp03$* zb)V)^R#GPW9}<)Pz^rsJ=_&Tl^xNb-HjiFO&SI13k^LZcm|qHc z{fET9(|XYlOS;T2z2geZl701W`PgA!Yq@b;Q@=Z~QT7Jz=`#jq%HFFV_*fA9kz&9- zqKpe!W(Oj^#b}6Z#FZL=Vk@dM1Npc30#kC`rC)9vt>OMt-j;(#mwar{Wwy>7@|J$x zc){)eQf%2@ChG6WGKy1cvMh~3#B%P^T33y$)|If#wfy|i^RnD>kQKgreiSx~*+K8* zjy|6%M(*CLny!`-f{vTGracW!ghU*6&M-w^$cZKD4SHqaDp12rBl z{0_D{~MgLo3=`o~>9T)jQC${X$8Zz^Vl^$!nkS(Js zjyr%PV&3^V&?aSSUjG-;z&Tm=?3B0P?g}iI%dz2F_A~A>AG-|uJpf)TVXY*~-j)Mp zVtq*ThcLE7WSr={uz%27dZO{fW%G7VTWf8{DzEuhZx_B<_^ude>_mF1K-zHoxAm?v z-_z%>ea+`z*J-wTn!2PR3_P`V&-P+>>&gzX-m^z+EpKzRTx2fHGmz5fWe4U4R-7@K z9c754tC$yj_&&mV#*nY{Y~w|-)pK}-I9bgvjcHp$@ENqp7nP) zbFf0&Ay9}+Xrhz(89HAA=_cgsZnKedLb~pUc!-XobrbBmp=-1uKS_7;8g)*{YN}Q} z4Ht9A*8j*8n=JO7(=UL{&G2~xR^@5Kqx@mGWLVPl94-t>Z+@nD$Yu7P^7;?7oE`9$ zUiqb;0XAOX&X3TX&+k`?m$92yc1Tsw0+V%!{yx#5F!^`h2fHBNnxzkw&hlo>zb$=b z!+b3IT|sebfHODtbN3$L?uAcZGbchH+{~Q{SMME?(yn&Qs;r;1pM!x8Pb1}bWSOLKsG>WCi8$aWR5zOtu$+X=@ z@d5(j3U=}MceoE`(DxI^>Z0Q)y&y+d{xHocaOmE!!Uto2bQ{lDzc5KfN+_ z2^i0(D(TtH=Mz@MZ~o^Ezr?q4{40zpNz_>EWFOKWi*IB1DfQKqSaO@r_z^8E8PBfM zj*{ZYtdGF?H2t+?ye;AHSar({w!O#|@ciiWUls!sy6HwqI{SBWl%_1W7k7SXE0~sI zBiw_AdXg+V-+O#m+QDtrwa6Ek)`Ob^zvX7_v>7&N)(cI7a6*=!1yFZN zmXCpUgI)o(Ad(W0bechPL4%;Tf|em#D>#m=at~-XvOzCs=yO?)FkoQh{|e9noGs0u z0*=-$Pz$abA>RKL7KHbtPSAu%{&w&+W(c4T)D0R0tpQEDB+HvYL!jNDmO)wm40Pa% zELY)`sqR}002%^)5wz?(48Yr<7I>=csw^+2{uw!}gub6Knr$GPJ9Ek6qv*w;;lkhV zHseJ)?22K8oiMo%dw2DvFs|fKjK-bg-AHcBaF2rXC{5`Rj2X&s9$mx&j=RXn=FzkwK8KIxS zMn;d|ix#rL5{>9-Ad{GBn1Wgb6^f1~uBQgA5=7M^%uv-cBPMd@qk68ULeVo>$Mv|N zM{yU|gXqfvJ1^X|oxmOdwul4kW7FzmjS9{q_Q?N%hkz$Y@)LPrfk zT2Um%I(0K+jU}81A^j|+dW#LWqLxHUyak30sAW;WyVh_Twa4j(H^&f-$UTl)rYQ|V zC1|Bk^=yZMM|uNonLX9C2en?r{z~e1$5Uu_zJW*k=^i%cDnq&`F)808ARHoAUVy89 zVY$QFRSEzlStSU=JIfuqp&Gisd?IV0z2y$pO8w;pE(_mjDBPC3ShNaX8!y;6O0jFS z8=ppa3F8Cgnmdm z<*CQF87HMz+VS}+z0#(S61u6fau#)0ChE;XC+)4YCkwa?{JiJ|tI$PfDwjjfH6Ne7 z<|pbgP1-o$&Mf4g|7dbucomu`k82%bqKyg{*jb3Y3knLuA92Fkf35L^ts2H#P+@`% zmVAD}@??t^OsPDUQO@DVHDeuB1-c`%>4gPj6$@;wN}G;nZT#Fw~8fWu6h=$qm9)Cur*hi&P?9)9|2E1(bb-YBG`p<~v;|(?VCtcIe1aJA?}D z3)-Nj=qxrMU!Zf63Y0-HFK%jIWJdM=nb57W4&#QQx;MCH~N^O9B%CwGZVjD)OaM*PxHN0C}%oCcF8Ms9lB_!2p zfJVO4_?xwu>DKTgno+}F_q9+H`1L}GnTkA>lWEqrsvUyxvvp)^cv_~)zeO9sNq631 zPv!}mM^rfHWN6x4)Q;YzTJHvY=i@~=g+T9CdViz!b}DB8PIZMx5FS!`cca&;`{jmx zj?$Of**^YEeOuEI;>ikStxAMXfU6O5mFqH?a0tZlh$&C!HOzN|=Jl1DM4pBR(^bHu z;l*KoEj*5E(J%`*|G*!gTCZ_fG>w&-zg^#K*wdg2r^>*C%+E*7m)?lH~YNxf+s_F^TI$V&&t;4lhF zG@|r`o(&v#K2V&&9e0)06=LRdQE^Q~AUfy-5r{*OAfU}-Bmy%=0q_2G?`?>>TlxB) zQ~x=2s_LAoQ+01zdsyEI)@rwU;sv>sDnxK@$$81x8m-h?w|wR{9vi7tj**qQy-lhp zOa+S~Wgrpw4fvJ%K<$sIU8~fc^f`Suh z+^ic<8?Dya+1E0+6CCCUtQ(wD*8Gr|ei6G)YoNcEw&>l|s<)HnejWAdYq!E^f-Zq9 zD|J*A@g8MH{?k-D`5uAOf_x9X66vBdk?tC;poe>Of);;z3@lPGfYS&@JOwSdO)u0 zghiuT5TV6fnfF{rV(c*9eWOJvquQ7&LI} zD3%0;3gN)2)ov;_PG-@x!Dve|sTe2yiwLXGr1&>cY64MJn+BcO+YZW@G|=@!tNK(`G- ztu!*)MtRXOu`dro<7olVTA+Iep+hJLbTiPdL8zVH0lF_bru}ksf{yy5Yqwf54Bt-^ zgsW24jrLs2JXQ$qK>%ilPY|w|)4oUjU$I*T*MmQ)Z>((JZXLm5s>NVoJyw?(oH(8= z@hO_re9Divvqz{r-ckKXE|WxyL+0n$qv|pvr|Bb9)_$zulK7|!hPkdT#As}Jxh-$HUVjO41!1?+Zv1Q^AR6>DU zk`!8sE)VKs{p3t2jk=zPS(`1Xx{*bWrsGMu>8a3smv5K78a%wU z7akjsBpL7rzCiywC_Onlp&hopb1DKqc&oit6@lvzG|__OO7;c4l3Wt=?+}a4?-v0s zr)$YivNBpXG)vZ-g0)jrN;ca{qf=aLE!Cv_34Xkp@;u9=XH!Qoi4LZ^VCPcm z=j3N!=PI@KX#cok|`ZKnExWN2G6J~qWTpPQ> zAqP*tf*#8ljxPU{k-@&DgBcFf3Fw6;U6CXh)qg_QGBVj4WXl|;v8B=7nO~<5N5mlN z;e9rPuQO*K1&@);eGfnVA8DGa02#Z<{8ree)u-N;o- zY8hFwd~6w2XT8mQWF3~wa@zBTy`yDE>0-`w)=cAbk2cO012@Fx%c8I4m-f)8uOumO zAavhKo6+vC67|^+bQzVgfS1jpKj)*~DWGSyX zxxOXP<;&>@Q{>C(Xbv%OC3X2`$CFrqf>2fe9Y1K%NX7O42!^mNc-g~`s zyww!}g!X&BRe$gX4p-0Si$)A!P(MlvMFky!uI=AS=G}+H&aWa62VH3IS=GFVwY3tJ zvW@?2DE0;yN)>@C2m%(x*$9zcGCN9z&<)7pic%5r4)BmW8WDX^O+}!*gZt&wHFE>j z7Egm86@0++UA@bK1pUbkN%94jy7KDGtFU;vuLIm&*v0nHMwsj1re%P~PUt zjK{;^&3Ru8rW~wb?@tRZ{nEhK28M)49FrsIFFu>U_Oi%hxl|mjB)_#oxbvZS$Nv|G ze1UAg29H)Mb*D$2w8}Z4@Ms*ZbPr>*X{)<}8L8JjiY+9wCrRVGNu>pLn&cS~cLKVY zQsN<8QLuSOzH6mMPdaw&3!agzf&S{r&|EXqDR(l(7T7f64YGLbn*1AR?~+4btK<-z%dcmC#LUSDoE=I>x8CC3h5~QU=aR%FM{|1o!S%aICHXxI1yS3*ZWm!vxLl@H)fOrJZq4OcKIA^nNitV zIEJD}J2Zcbg^LT8xW7{~sKJM`D)4pKfqCDB5+G7i1)LE2@>Ez67OSuTu|&i>OC%mk zqz3u>y*q1Ue<+R*tCc!NXR_^dZuC?(kvwA-X-=J@En`NFO;RjY@iWJ&bMeL@y@JK? z+7TQsUHshI7Q+`x4L=qVOX#~XnT0jD!pbAHL#I;?wg^=RY;cW*c^lz|KFIZ0__?Z%Izjsb_ZQQ-s+u4r`= z?qb<8Z=>TA?$Yc%Mng(+acS_DjEgvT44Tuap(Ho)(@!zW=3A_x&>JlK!5_FL21i=x zosx9y_tPaQvyWo~g-W15A1nVbDr)M!unrBwJBnX^z4!Wq6Q9Esg5Qmf^R)X9ZhPA<^O+<$LB+pG(iqTnCnaeH=*w6Q zt3X3oVVkrB)tlt3kk3n)Q)U>6LcMD3ZFTs2Q(W8jSuu?&>D{8h^hy*ha{;3 zbl`#{S#X`-c1e zyYnx6L)l{5;LBuv^n%Zp)N>f#fOo^i31%~XGw6sfGi}vTN%{j9i6)O`PL#skYz$4rvxeqQ$z*?~4O85j zbDz^|Q_@%heKf_9ScNd&j|RN(&i7$0>>*YjpV$k@Z)6-k13d?cNIB(0*(xe4pDe!! z`4R9L2=qxlgefM=zi1|z?7!1aGC6~~Nv7=0daudzRD{=5)ErrEYGT?pT3tTGYnJkk`hO%fE zY>nY7>?@ilW;E7<6|mSMRkNGnY5P;!sff`RCOdqOMt-O~3B3^X?!r6=%>}Mk=YpuJ zbEz=3GHrwg{g?f$e|d7;lb^y~&qb+G8jcDt{G&k#;Ps1=bT0>fX>u+>(B+Q_Sm7nu z0YAmzz$)ST9^i+=`h2-fF&T=u3h)H%pgmk40okmfc@??(CjoDwK!sbs z7u+-SPQ^-nHui>&M&2`AUj89`eZuT1GR649(6M4sikfab{faX>@G{ORUv@)N~pk0*?ymoz1>5j8w z2lK+6&C39zsA*|&+i+O$f?nj(W1#WVrZGDOra3gdk@TO_>X?D7)8B3HnQmvW_{|Jk zQg2vWZN!NdpPTHIKGVi}@J!T33)^Vs%yQO5ZK#=rR#00~U)-Q3DytQ&LKmHxxrhyr zcNV^#%^IS$2?km-%f`ns>(}^d#%8;b7Yb(El3LX-i(xzC!Dz6PkUM6(3&J0W!qTTy zY1nmPd@C3xB*I;tvlk`x;Tr}o@~#5?Cw|;!2NhSj*?L-DRsJ)}=~&%Nz&IE1mUl`n zU-h!(GgWSD*y~~We^7e0gLRO%x;)8~p`caRhPdZc`Nv0; zs|pd)5k9WdM+I}@6D&;(VnprwyOwQt9*Qoen zo>5Wc;{x6~#VLV&G^VE5*QSsFi6nvRNgvV99Ni`65 z=nfU1q2_}7RsC0GT%eccS{wPv&&N=T&m+8qeJf#J79m-%FP7okk0Yx7PBnOPeuH$M z>WAf|6a`p)UP@veDX!Bc$1pZo>e<=0_Ow$>3Yvo z^}`u(gQ`D9#rx!pg9A`L`5`Q(&Uv<^*{XO?fub)TLSXNcr4OspjuJ(>Ng+a`EZqXB zRrB+$_dLyf_$YMXDXOhUSsqoX?GepNeD z#apu!piIU2{f+Cl@*@bPM_oB?=x1>2NmJF9eQL{@ilQ)&_s5>)YudO%)p53OshzB8 zzqIg0eS7QD#f)vDZ|-+nXF$wLn6^+so!c7D{b4$m)&S-AIbOoFgWBrcQ9UY(L*-)K z*xP4K_{_l(H0pr{AVvePCKrOZk!3OKKrnvX;H~f8O^Uqx#+R`*EIg{?Etx zc%Ji|GcTu3u+9P2853R}DJaFE5}|xs)-!>pg4N!sZ68?!pPsCCo~CeSbviVbj|yg$ z%Rv0`H|$pX!?i!9$$GV)Nt>A^Tqsj}LY+pt|H$UBl>blJtSOr*P`@-v*cLK!u;M?x zqyJ2JME~RweN#@rI(k5#866K}zIh13X2o=V=$_8d9= ztWXyJLm41YSf|NHH8+O} zSWuhRS0|{yF~PO5e8M`xtJs@_kkLZL$gQE+qEtHiGklm>;M~{{m8sOyQnkZ(%|vy9 z7W=p{+|e;y9vZ%qso?!wsbk;D-4o1lm4^Yo@=z;vg(`jX@*m6QCi%A)&j+pivYW zY>AB?V`={wu7wJMEwmCkePhsAx+mDe;<~p5Px9MtPBo4!5QGsq<8pVl`8F2a#Ep#% zZTmr%J1?8YUjwIZLHB|1Nz9GrMI3Kal1mUY*14bcKlxezgR%W8(VM&0APAzjAdZG3 z5_H!mQ&?mSYov*hNmUcFIVW^amLkwDqeR~c^(&o__n;wq4G(gXKe{$r>@eKS+gp0p z2Fj;QNt^f%9MUM{7c26)3+cC!2`rlSM~=^q1|+mhsuJ4@M&_d_dd{s45jzULMMqkH zU6!R~81jhW;{5GVj-cZ?*aee0@oWywi)vsi=((uZ*;BMO`Vlscf3 zCt^Y!hH84%a(~31CvukC^98t9(Ux>HKc+`BNRwj|B7ZyKN68n_ zmPX>KHa0h-8(Pc64!;c8#zI}`G4>wO^Myp?1);+)eM=93rr7g!fHoMwW0Hp z6z3V{(UR1O7_u!jm7SnJq$Y*E2sx?nYgvX-!(ZuGY8rcjuBJ}VT}`B{xKX<1 z#0(lvcQKK2GY+zJx|9*e0=q*dyrO5_^j6j_?B6IZ`&g^!xxPqjyO8PXxHm?+=?hu* z9Fop|4$|xLNIS27=Q)yp)U)}t=( z8oAWFve)P>mP@aG=w>~T_ZPjc00&nx&-40ygVEHGYg7`2*n#LP_U6oVd#7c(^1s{= zui>7PrEN!yPWkwV(-dAjTAKe=%XydQOR?>cL)5QKH;S`r)6FeCh^x#cb=O$<93eQr=6r0X`mTsOhp|#4>hrHmt)#*90(|J{PR`Y=8doFs) zx=KCQMNdno=sAtEHBCEPEq(THu~%<+ik>WO;M?afdR`MZpAm*-Si%^>oC%oY0EjFt;*C&J)cX%pUHC37J1_wr+2Abh7;Fz zh;f&>*=6kCuOW-Y{OYVMm$n^thzRtPrJma+NLV_&+UY1>+4f`8SD|@tNHweFUTusN&l$&E8y9m~7KhN36M zj?rD6CQemTPfN1s zT|Tfx@gAI4cS!Sno7-MuFzxlSlVuz6fqH^SYb3?lsH=E$)*T;&z8b=&?Vbs_AVvaQ+0FAG}#tM zb#{wx^cvOMVsxKgqfUEzYnAF~c$oXO;Rl}BWU==P{UU6+2`+EKqKZ0Em9@hoW726+ zpS?%==#=6hr>XR0spoLpXT$FNE5CFzz?Spe_jp1nzUNOm#mP9#%e$mXSiz2UiJo53 zpa^-kti!e-+%`#HD9o}=ntR)N9b;T9dYnDtEH4*sIm*3zn0ps4ec3b)_TXjiQ+RqG z68alO`}unh>)9=>fmLVz$(oIMPVcR<*zk|6k4wFNZ;Rf_a8~L~IPN>1MVpW=y5L*P zZxeO_^Y1Z=`2#Iy8%sEYo}RL zlXO90aKVIC*W8}Z`EGVeJ(vllTGjc}xQgU) zg_Qf+nAnn

X4H(D2kWww|J<&1YV!pSDyt`BUnhcGL9cPZX<_{I&@9OXoJEDisUi zy`#7m`uL607s6wzh9~ssm6Vm6mfMbZEtHVYAk&K$a<}wnRaZ^pm7JyCL^W^0Sg*8| zHs{twI$-O-6&u;@IsVY2Yo5&akM01kQPjj3H%{Q3F+unbno;B zaR^4H@6d$>QTvPsrkn!n-y^Uqxu2rdXtG{5J-in0HRt{mZrvMt5)W+O17a@Sly@8J zA#dLJpaXbfLoGBbh+fEhQI~0?Rr&ja{|;0&_cGaMT5|4z5q`Q~0##>?3EO+z-q8QW zliBSxya1vsL|RO1XZ~&0Vh9c;D%lt>L(yBCz8c5J*mOI`4Zp-6;P^#MSdwV@EE_J| zCuZHu)+y~3vEoSlMSa;AcWMgDkQN?Rec1cCoO&YXI2+&;Ab_?Rq%SFQ6_x3}OBE`R>2`H-i8 zZ=97*&-ZwuPJSNnB6rqxz6NPe_r`(;b+jwk_E*QCuC?!7S?y%-sPx0J;ox-3eK4=X5}phe0J!Kjehbk7PL+wCQ76o(9_W zPgyPp?L$PY1T`YG+x0@L(0)>up9R3v<{)Su?uqX~yFe4LV4l8hJlTM{K>I*zIF1`~ zEoh!3%RQhqL$Vx#-5UK8e9(0lFaT)#MOoep+Vzzz4{$!NF{8gAWL|=OfBcGQM`IcQ z3DgZLj$mb=yFniSt+_1A`$4v}Z>u{uN5ik;HJ7~?nWchi}KF|T)zb4Buh`>J3 zddhcAWW#iaE1s>U4X!k_pK@7ZrMJPu?)pkH8e8$VnvS~C#&10)%m2+;Vwg==9Ta9P z3>K2neH(w~;}lVp%2rZtQ5utIanbz5+IM6bzjy?pD9rqjPA7(8aGo4_RBoc)qR7NS zIM2X`6T^~q`(UsnSdn-ZSU+8YL=N1Tp-R|vM^%X!C=3E~P)cz;5?}%9b+ouRjUA^A z#a5l)NqVk$Jex-E6emTmg&UVcffqjb%ZP=3VkME$--EMW!3BYvJPS?}WtGI^@mo|f zH&g`XhQn9G;fZ7yBclq#GPfF>VYY|-U151`0j{um-Pg3HBs!!hSm4rKkap4OlDRW; zxIG>$cm(mE>*^L1h58phreFA|pVzR}zb!yNmj#6c@HGqR5Q##tNT1XFVruJbH2d-D z4B)E8VdkyayqJgd^Rew`!eX$Ug<(cM#4^b3N1WY?sjEZG4fQX6OwUIsSB99X<3l(x z1Yi6PJ_O=$BHFz0-~YRT`JIOi4%{1-+z@75s4#f&x_`=0@B!dEfLCz^?l?G>8yW^a z=#%FWQXFQ?18zicr<1pIhQY=(GbOB8m+XzWN10i zdy-zCmt^2EFVWDvS%%-El}B0g=Nfpt*LSa(|1d+s$P4s+$iRn-GAlbs_Ohh#t^!y= ziB*Y!U@uG3jn>kGWm8xa?JG-SJLzbdwa|>S#tYv=Ud&p9uZb5N9i><_+K-&iiw`#k zQsIIH%t6~0B!%h_&Fd-UR zy^EH{3ixHtOCk?blyC9JZ6;HGrIpR5=E{;^SmqZe6EM#@Mde17t=Qm}Pgh#QeLnHA zU!jz$B-TmJs*>39R28kn`Ql|CG$WKzpQ@U}-lNl1Gh!WaDsMz3LJEA!W%iQ2I+E5_ zN73qPKXO$^v4ymz+QRPSb!>|!)rotFmt1XKkJ3}sKL(V_6NEo;oz^3oPJgnBw`e;3 z8s4LQ)K#(oL{9tgsj9s1C|=fZbFPXj#}Um4tWufzG!<7)9h!C(&lYTnDnrSVXwK0T zlBcV<1BQ87NZW4Z3*B5}vA6h)YG3P=91Iy;e9B;(cs@i?l0E1)MRzZ+?T0j(PHpD1 zv<1Hd+{{l~J=grPe9X0SuWDN5HkG4fHZ%i}G{SX}LSNyJ8oU(`JQ*K(BUv`>tFgou zC~~oavHquW^EkJ)j&m_{!J%@|Rmw^<_~!LbQ2W{*3hRA%ri$lid(^Jsj#(<+q!OV^ z!^<@TKIe3+c!ZFwC7b1%!Xaf^Cp5KseBt25=b~}I%|e_IQ?I}`DoK-Ht;N7zjdRSm zdDDwbU+3~NE=o3BM>2xiT9zUwbl!*^-P@;BN5Gw6=nEV*+v zZnDPRpmFDGxGy;=cRhIJ9Ou4Eyi1d)x2r13J%#4_8xoIb5}mVEiFTC;PxvI*Zc15V zVb4ONk_exm90;4=>|cdJCWK${`sPy0~E@VeB7Yl8c~Ui1HQO>(A&@6AwwA`PFY zS+3{z7RrDY7sV7_Yl*#6(-Jgm6{?W1Mj3G*kMqFInvA1+eeGP`xUv78a5#Mbj_5vk z`_qQ*rOWPMY!~$|w}v-Cix(f=NvzQt?z>BTG>@D>9oh}!qy4nG(HdmdE+t$>FEvh& z@ZC{9YSxi%#YQ~!Hm|VK@Cq~atgwae!f$zAe6*felQrDuO&@)noK4n1-)-7O>zm$S z0y&$lfxdqy4Ac7N8MM0DMyHxF4_{)Ze>Kmzk;u)rsAJ)(x=UvDRi-ZLg)l-6te$ZI+{A=)`eDa~-u_D?x-f;ufNBdT~pV?C!nv_G6a&$h&Zf4p4Z1PoIbn;alCF+-_ z?fL4KfyA8|O0d+i% zvf}?t7vdkVET~wxVrr33;M8B_qq`HFv@2oCf;d5se+HP60ICy=c*0A9Nr;YcgLT3x zVBC>D{Q7bx#0ePB$4)p_>gIieFoo}ozDjU58ig6!nB4XloE|5X^D#6A{uxj$D8f#4 zJVCfslTTZ-CYi_S4z0gFV-4b|zpk&r$@@BCwWjZS6jkklFu=1VjV}-juQt$59~tMe zL>gzZJF&v`Hn<|n^3+JB3X`2VXtT*qn@mZ`k~WrrF&#Y*bT`l?BTxf<4D=+>`VnXX zB`4Y`DKRN|!wA$wvl8vjSmN?k9~v>5M0a7-%werPK4R2DPeJ38(D>{KG=<&;dIad+ z5oj6>0lfyacLbVFlSbL8a8%MCci&{#Va+xsE)aw(O75u6eCxlkVsPR4f?#n41mSDT z_#ec?`pRI*DYvo=6ZvAq})gl}3Q{}C7|Y&gnE$<+p%)M9vq^V_-_Ov-@8 z)x;gtqfy8|r^*-qfm%|>vQ_kK>iE1>fQ0o0)l&1UIh>W`vkgg7%dC0mM0O1+N@OLL zJY<+fms0agI}70oi`B4`veM?UYN}7mWnOwDZ7u7eAJRPR50qnbvuz~V{>b|2g6%0b zg&s~X&{^{7mGm5Tg-)cO(&_W)HG979v`59>q*0DmQ;CNwUY=Y+Pdk>e*NHhj>P-sW=sw{Lnxu4!NZc<-^9=G3e6tpXJxc*oD0v^akq{?n$2gVgxuCE zmL=VhTi`=1t#+;BUfwZ2z&23X_}AD=#9SF{SLayQ8+vwz{+7Lf-ADO3?>8=z^!0oLwO~#q3;OR9twuzx+OWz9iFF1tS?yGhrxJBu5$Z= z;k14!97rhTy-Y4|m3squgJ7ly^17NM4BX7RB8%$*o|8hEUuoXtHYP|dW8GU;*R>+y z#pc6IYVIj*6qOIqg$w6)4YR$&Y~L_@e3%^=W+TJwAXu*HYFWup;}b318a7yh-EE$N z&P=JL!R-mPY;tD;mh=I)PYPErJ7l!Da1bs9n-3fLe9@9pel=Kfdi|GDOO@LpH6JXM zSeiSaZ*Uu>k~`g2%eEqZfSV6UOYabuiFb(0#T7lxhnWB9`DHlGyf%;}cf4i61w{$T zpN8a%l6*Mgra&=q3pk)($x`kiR zBNHYxinoc2#pjRn^sCKak)59*aJ4~?~;3WeWzGnI4pIa ziw6=HdFTsGy@b@d1)Z{Of8SCfhLm+ZW@Z?W0&7J{=o>92OWCofC)QabI(D`bz+{=95mZ92W{$)KS; zyH5IXN1j7h^dsiG)z}~+QteM-HIL0TcwJw;NDMD?TM(fo*aQv-o*}p69|9%$yCO5r z@mPGeA9ueXT7oBed?o@@b0LW1d1f$j?sLQ=yp4-gz%>Xc(lvUjB5Thz#)8!=$-O*S z65~XTRcHo|-1-wdP6z9Pmb-^|un?QWJYbm!*j-nn0h@Uk-sLYIAp|Xx8|;Z(#esefUdLmaar>>Pc3Uk;l`k?R@mQ0zGR%l0;(B9jPAZ+V>5L`Jeeil21pr)1IPo+uJFq3(BXl zx?qDHkyc9fI!&`N0)@84F#XFR|HF?%Q0{iy;2{Xbct~0#|48er&y}3g$*OQ0`P8Zsf&NXEUS9+vyPa$H`D!z;=_rcv}2RCn4yiyNmN}2Tov% z%|mQUu^2A)`Fc!@9VY&AC*Bqc z&w3578sg%he2kaeZ^bH6zE%x|y8$l>}#&ebWxpi>2SN#-_h0N(U@&1?>gx z>QfXR%FKR6SqEx8swe}XK2R&(PufATt9Am~^<gzMRD-Y9b88Bpgzz|psk=gK?gy1gD%9ab^x>k^rYct zL8!sYiX$EhFX6faZMvc;uY(SPMnG%6R+Kb+D)fO)2d()A2J${=7y0K-WY5y=bH}h! zT0b|ZtoL2`30A}!|7K~xuM4;jevCCPvmHMV{EcF-HvSdaj^6?Lc5^U3n@snAuLI3NL$x zN-A6_dv5}O7Rz5Ft*LM^E6I?^q6mAjX>UUJTNrA*iUpo62Nwha`V zzkv19uK6yullIMDjW71B1ut|SU*KR+cX^>5a8{*FZ-RoXO1pD|QJXn}=T>w)-fBBalU#i> zg7H@MG}cFKajMOVpjm5TGoo}fr7Rv}8_jpew~40K56~HO@8aQbt3!C)26=nqeTXWb z)2?N~dTl?OHGH9V3e*FPS&wM=06xxn(}sn14fhpAaW%ie?$_`>{I!8M^*n%{isJc# zfHyPVaXI1>^ zT&>B}WU306o&ChBR1~i|LKF zR@41U9GR&4+_XV04zbdnuHn{Bwk$)}IeGbJLuW^A4a3WJ$|`RPpT=8^-ba-{cP2#9 z7@bUQKzlVbMmwl~mDdz2<{QXVH|_e}5W6FKsj{vSWvsu>YpTHq1aCEDT0L#YYAf?m zyvwtDZ5H9i`wx0+(r)k>x{(@fX@M}UHBrd_Y8 jo(0jxj#Jwjh3%!bf175ys^v&N^`n>ltEfZcuWNIIQP$ooM8A)NpbGRV+Py2!CW<3tyOLR)NOtyPpv#dcINgz zY*uSgD%jLI1Bu~mrCJy2{+`sqEewE%9ja>*wmt8l_@DI zrj4UYTSo~-EK;wS&;+Uz%*vw8Laf%pSEf@|$1PrrUrX{jIKwPV!;(2BZU0wzz$lb+ z6QD3?XaePJ9{dKf^9%y?&DG>RIlLYtEM`KhA~cZC0fVsUjsk=5ilzWW*r^O)66!St z3G3Fy3Bo90y;fHzq`xzvO)fq`ozSA`i^hbBE8`_WC8j#7#;8OH({59_OAA5;i>y$a zc!*i(w#iwd^;O{E5v@E1qGh^x+V@oC;gkj(0j@+-qLkyM1P7;Jjr7X*0 zXy#p<-;Lo!=}P1gx-mAZc1|{ziu*8&lbH`gPIl}F3c`&pR9^)nhKw(BQZ~HFA$A%! zaQ?~gCbK+bO>e^x!a&>i9PnPxmEG)Lki{XA`s8F?ucW3*DJ~`mJ+@vIZx#HzZsUt!0|G6PqAd+n$_;hFB)t69&dw@uUVJHtwfE_dnMhI!gsL;Q?hgya_HHVG|S-}EHvwTS%y~Q zTXZlboBfe4q~x(RWEpoQ^C8$DEhqVy4}xE9&Ho5IX0qfh{EW|1T51W)rK;3)JeyPJ zr@ahUVV=Pp+coRrzQ{eWA%<3}w$x{6DAmUnQ*PR8Y$u&gOJYe^^!NxwZbF(ej*(3y|gS*7OGcn$qx21R6`H(2RkcG1+9a=&_+2By1&m9nj;5po(Qrq_Vwlz4VS(Qw7+BW%EzyHt@b&?fwFH~F8QRd#rA_9 zQGb7qNu04P$JP=S+YjY0t@AGP)_D__dske12Tz)bSn2`W+R_R$kCT92qj_U(^W8$Z1h&LEK+uvKF-V4O}<38@``oBB`O-9 z*IFy}BhI~xywWGTyfjDs*>#xj3CLnG_gs?YK>Hz&*f=0c0~kA9 zWSr;%Fn>5ucBVS2_2PH>Jj)|d`9wdC#Em`(SoAul;48~x9Tot0hQ_RGwRd4|UI1=yjvp;f0%)^rcT=qBa` z7k-SeE*}n-ooTr&cKZ8QiBk-Ud0H~WP}9k!iu2&Rx`UeQ+k=K-;i3)xi}YXQPE;3k zownv@#6F6R5P4BL!$p6}&(p;x(MS0rJ3`|MCNm4oD{$epp>=|b9xs?Uc2*MKWw$ui zfTGW&@k#V%L8i{&q^}AJ*?F=~$kO#DQffgmRZei~hJT={f+XD+KTz9*oYq>^)$lR* zY~$a&H33N$`!47g!01*ueJz&d@4}<913rP%)m4d-zrQ3LdGUhcBCj>@Wk5RAe&%Yh z?8ZMj8eq#M?tO#ieLXyzI$!R>vX z5l$8*Z&;iW;=(P1+`osof8o^Et%=YFKXb3b*ZYQL`LKUKe@(%9_C&nU>Mi?n@s{b{ z&>~rEe6QfMK*(@Z4At0KAT;iHG(Y`q*e|-_UCgfyRzUQIO=8)}mb0s^SB}8kejI*V z98(enM8XYZ@q`b#4=&NC6Z6=i9fkS2$_|=Xn6CR(0z8nn;fJ7fo*T0}62^=mTG{QB zG?1IQ@P8sNpdlz-;CAnhB%jlyAX?k?_kk790}EU3TO)!i5^AM4H07?qSw(3LKP>Eq9Ihf#s$ye!Z4jqIKRO^#%_2|K<--`Z98qP8U@; zey}5p=bedeNloA)Lp0OvGH*Z&mhE_oR=6M6>FspJO>6@_RJ^%p7>@ksv1ly)9^7iH z`?~dCHsRI4yFZgF55?WYu2OOgX2hnql(I_hWj(aHB+Xm^9Npr)^nA&F)Y3*{38~+i1jN{*6x{-dWom$L3p{J()9OoYA*U$((rGb<&mq`K zzbl>KFr2~?+i$ZirQVSLZ$at07@D-0J}=E=TSzV)w;&C#vyo*GT8fZQKt(+>mS5cS zmk~P*Ue>&ef}xpb@Rs0R7?4iz;_HMXqhnZ}ni(mHK zV69yr%JN>!z6Z1)bZ9`9xjQ|BvfK<>d`y;yK&wD)c)bXN=70`-B+DL9&v99<0d4*m z@}NB@WO*Ct&?mCI2ekfESw0FH#u{#c+OYO<*e#kt@7CiJVhBtXfQ&C>c@=06=)<5x zU&``MP}^6S0BAA7s1V!D07CO&(5mwo0JI)?KLFYsk>z3Dj;%i52tVT(xf`?|v<5T` zdOv6e&dMi1+d!W)&Vpi`vL^vFUymLCHRgYE$>zAnqhL3==ldHsegPsg`G z4`>^el#gfqw4^+RRZ&ZMw*Tb&uoFg)7XHDp3BLj09@sHjxXd>EMA$p}@qz7L=)vzS zeO{j8n2wf}sPV#E2JqWSalRBs2Yj=h!zjE(fZnq-)0d(fK1M(HB~r7`kU9pADdhu- zmSWwxSc|EAw2*;n4X|R`?#pJ|=s$gK_Bx&OrL)Uq^rz1({7jacAj1ov;4R2@0Gp~H zD#nB06=08O7@q(Shzx4*r!XIF_Ls+rz<3bk!baC_Ad+|8Hax7eQ2`Qu_{Kdqnt z8$-yrEv9{xzMRF58D*+KUgSWe2J$_$Z%(%HF>oF9>74XduIG8wnh`#WpkCEe9v3s` zX+2j{rRbTW<9fW%!%p!&9y~AHhY?_}16#y_Us^I6EhhCt6d`9oDE<^r0vqRytkjwr6NxklcE_3{mFXbbGUQrNh6HdD%Wq8IG&_37#rOu&Fn^2|@vJ7J=Y^PRYsk>)?` zsv7x~jP5*Sb?`K@cY%|IDX_p@Vv628Y3d)+WTLkX8Z5MfVS)o+V=pdP;kufw;;B4B zQ7+)eHQOk&#?3ZSbxj5J*VxQs(ar=ut9><2%=1Xi|Cv?kh({BdYtva971UNR4{gN7 zlZ~X>S?t$zq;?t(JGL;Mjm5oDJb4xxC}ClOu>c-Xkkm5H@f9iCfgmV}51sR)64boV znMEt#43~ zSnkj9^Fbaqj;u@7itUS+XI&`)&$q8&4Ne6J(>lh zmR+jhcAJ*XOK}BBObU z9;*)lSAD#l>%x5xo|Ug@(p8!>o77Ii+Zx`JrUHHqAB@VEr~p6TcsUK6UjfIb-qs|p zYCWq}0fE1WD5=fv=MkAXj@PkLn-=TQJ$sUd7x!LVnygD4d7JFX-EZ7Yw`snh`Us)j}>Zdse$=IEBamp*NpcIPaJo(VW1 zR=47XX!mM2+1A)-Xmzo@4e$QEM5%`|*SN<~(mBQ(1= diff --git a/examples/more/04_nuclear_war/example b/examples/more/04_nuclear_war/example index 92db8138f886b793a5581d816127c46e7a355104..46690da7a926862e91cf51f3e6f3fd58c5ff121f 100755 GIT binary patch delta 6741 zcmZ`;4OA3Ymaf;((9K^re|EQk-C(02NO$`OteVi$NOc570mXzMQAEj~B*DbYs9=bb z^kOGC*V&_+4XriX}dsWrS=$Xgq zy7ztezFY6zd*7{BMcY@b_Xz8>##bZ>N-I){(78VQEu#>v_0}JC8P8;^oih~AT;7dQ zYA-|uv)X4M5%?L()xP1uJ7}2NH`5wsiMMK6R!z&g0Bujwc%tS;&O zjOH(-relpMPhTE1KY4ab*TBC&Lo36wlC4k+O+*mZD1)rDGi)@wLh<1imPseWEbJTb zF7^pWs5#utKBw2wPgG>PIr@9Oo1Ik#{GcfHR)$l9K9}nCR%&Yqr+4(VY>y%jr}T)A zXdvQw)2#A}1rzez0;irlH$5I{qfL?HXN3!4_|s!5k)S%kfGfNt7zI_rC#(||1LKZ# z$mZE%6g^4v(Ia-)S=X_e7JD~&O+q9%)kOh;RRz5}#o2&$*Q13dwB=@2xMVxue+ z6BQG?VhC!asZkbND0BH;UmPNhp~oPNGDlk76bqIsA!r= z5Q9^%V4Fxqsq}SX?&L{aKJ`~wzGyO6Ijy+HIK|+^9Kav*;C{%rRHG^DZ;};CV&EI8 zUNLq-s-co3Z*^m)0F$v7oSaO}f{vWLaE2gU?nE~LMhxno*oBLxc%Re2r9T0X(lzOiL!@RdmAEua zlYToy%DtmM#-(SX70XrJ-25u184l`!&_@@N9j#lTfllmeppByG@h<5VRXv$BiArmG z6~Df8U2%Tw?;!lAS*`*g)vH5eR}7IVvs}id(=_SBL!?Q{G#}z(rz%cM9YcQ__8Znu zX_klCT6)ov$rjLGERV2DG~AlS4pFhy$v&W^);Dx4i(+lBvPJY?wj6dZ9kDrC23@y( z&BoKQ;W;|fDEi7al3k>nlulz4Vt>(87u!U8Qfk=%rKe`GPwBqYOtzJpQ+Flncv5(J zLw=thdu}8u(?gads!S_nZ4^w)We?DBJx_t4`Ge~&sw zjMhbE(EB6OSw0;ZVK-SIl6052-{$KRGAP`h!G5CA_EBsZ&9q-gZ*}mY^ZW3N-3=ao z{sKH^GXHP*>CaM~!^6f>r^C*c(>BMP5xeYsM0}YOzOCt&W+2CLZ>4KadyO3FKJ2Z< z>HouCrSy#9Y|V}-8GjAaC8p5z%$cl`?i=+*Yo!>tF18PdzK&&9>Eb_RIj~oHo0D!| zK-zTmW?*08LDRbb#HKR6`#C!p438`9HU)o+en)X?S;q{6*zsF)S;xptWq~qhmiOvS zanV6Ba5%6#fUFG`MXo*W4Sa3#@AjGA{jt59iQQ)+Oz(awvYXz(-uC`$t=>QvG-Jd? zyS?2v!^H0XFcE#Lf6+dFFuYp~ggb-NWs&vz7xh9IAqJ|PZhtW8pcwQ;7V(~g>ze~T zzU)CT1-|UAc8P(T(wJwmKaZ^^2qhl5eWlY7DR!hfS1)PoM8104_cO75cTuZX{!&ff z;;!3l&uzB%Hrscb?Z3@Rx7k6k2uJa?lERy zG0f+5i^1yJeFl@A?;wBseghxxHN}@+^A~=z{ClwjrA=(#TO_h1r!TCb2$SoaESCjNl?8qf1N)_Ts?F+4 zZ-+O;VDfB>Ab7e^Fjs()iX~ZAs-`qwqU!8S-NLi9GTY7Ev^9Hlt9PDvuD9ABKwy9I zR`~mo8M2c43& zKdmnG2J2*h-~vK`l=wD6WZ#?YMS}D;Ba|!DK%hXBK;<3G<%!=l;dX)(Ll~PR!8<+o6dKGD#luAPHs+u1;-7n zD7h3ATX(FSL@(#2W4~_C9jp5&iTZQXbu$v_e9mx68*9;t*U6D<)#Y7>0jClg1Vmi) ztGAkm<_4S|R$b{0);diHP>oW;P#RDmtp5}z(bFZRoaUi8{V~o|g4g6f!NU^?Ovwa4 zHs`m4(*AD|j^J9ZQV!1`o=8@8Pf0UQw}xWXBL;eStVG6%5~{Mv*l^2_^Dymg^qU^P z$zz4k?C0@vAYPAMQ{y#dKb*@CbY+N{gNG|iI*8kP3s0=}c!NHtEH3&YyRR&`@-Q;j zr(b zKjvkH!84TNvg^jh!^fUQuAj9EYVZY4iGd$N9?bn&N`gqO6!3!d-zP(gFo{Pg&k^x< zjwB*SYWQ>Vc9QIt4q;4VC-u5UvQ2c^HA8p)BzfI+EJ&N(<0l>MS1c+I=lF1^@{rxD zVlljT5Kk98t?Od@O*~a<_+ugY02w_aCvAlPl$qigTHCF}+bl(gW{3n(&q(SyqUL{L ztXmrBr-h!{#2Ogec^TFGBYxorrAO(Yr!@H&oF%1iz6lkEE8wJN8avKr90dt1Ca&!MuwSyY}% zN|4?gbqLJq_x>-1ysE1=g7g+IdWt3qZ{$ zWVsf!87Z+YOlTFlz`O&%fn+_v6+!z!dqFRQRv-}#s34u#mQK(v6q#nw&8U}MphbB6 z#NZXO8PBU4&^DYt+CV$Mm*p*>z2{~58mRCC^x(XDP$y^?=#&V&hd3_Caut9!&__Yt zgBS?fd{LH9fL2_ANAMQb1-b&%{gW)e3A!1yhxe~yf(X%O&t4yvzJQixo{7t?B zW8bIqzLexGh|D8HBs^;2lva|WvmT}qCBvwqBs?t_VVTHpC&syTXQJW^#nFNT-7kSv z&=Vyik(Pfbaj_G$x5Un3=uC-yY8gVcSToF*uo7Y20&Kz%tP|Lmz@F7GKD9T26_Iy( z3TvPTrx(YT0gFK-MMU&CZJnOx^2QakN0!F5v9RqdDz3mA=k~^BO^b6(i?dFPGf#^% zc(Hv25kHe>*6R|_|J7!1!Ru`pw>)`iK zqNwsb_7)YE+vEERfuPw`A{eNt+|JAtD0eXj?F9c69W8goXK9}XxPy7?A=^xQd;vbL z@P;j=v=!u^Ig9nsrkQrOfp*SZf{!EVv)m3!{LhsOY=fgz>2aRQXlL=` zhI%Qz%7ul^t}4CDP6Bk9z$di5%0e5f%+y!qxaCd73@&TPSZ!y$lwDnl8uUc91xpW9 z--~m?C)N3Ekl5VBWHVx9t`Ch+X#&O1O-W9`9NJP;L@5|xC({#iZ$~#YY9910txq9{ zd`uTFU}(#=^{mqHX1tQ~rfgZzmo&Vee<(xiQHiic! z(}Y2{Do}O?SpGSbPspKVVWu{r2<&%`*N;>6i=fAwjk@PqST?PnXR%GubT(U5nO++^ zOVN3pUp;Fyowkvx4*xpHTL*CNR-s<$-nwk$qii2&qqgO$f=F%DUVdNwQAi!MU6;rt zT2o`e2U$KR18uLdv|6yk6$fXiBPVE<`Lj^Lohp#4t!KQ3x8|53wh zHM~>vW5~hJsQ56UUfb1+wE-`10iSH^E85VC;i@R)>Ms>n3>U2R+7OMrqv>zcV!2Jj z*K5uReQtMY_%2O6Ysu87<<3pu8GPMoHk5n5?m=zjY;9x~$CXT7#>Ipy|1Hcxs31b}X!WP5)j) zJ!3WW&|+7-15(~X^eK8B=mxFAhv+yu36vkDcni^Ol-}qvhHCl>n%|gz>k$!pRP@m6 zjjbqh=}TP3`gnDGJ;EvcsVV05n2 zp~Wsf?v`lbu+O@p){kA;r@Qi@`v6@x6`oYrU0OuM6{RR>Kolsjun6A$&%HOi>b^I> zU+$UtpEGA>&N*{t?oHnj*7gzWOtv;B3QBRSLn!LgM!zU= z(Sf7oG4qyvyP{-8VNdqQB|m#Qshu9yXWJYYUSh^((c? z6;W&q?a(Dsdh~B%%V$+oF1~xo0}m{3c!1uCUOzVAFD+X&c1rc;*3P42?4W#n>`0J$QpnPbwX|AY$+ zLK(LK3WJ6QP|kDX*OzfilmLA*HFCrT|3Pq6}aZ z>NEw3%a_Lq!Z2Z_)>bE^zd51R4n9Gh(4y&!1ci|+L#ec>)L6@>h!SB~Z1lXb)S-o; z!U``|h+?34x?!{zYLTnJSBG$U6hum~h7SY4D9>c48dGeXI0V&GEzpfX7Ysq8DG2mU zpiM(iBmEKRS)dONL1X9}peZr2aT|u9ag-WkrvT8dA*h8afIbX#+YodFt%^Up&YGFKp0o~UlTgjW_A@)Zf}pXoe$-C=QQJmcBet>)G&x}``#IGn*jX#JB;=2p zpDPIAlQ(2pl+L{6E;S2caO!0pu=Atnt%TeuNt{0wa~L#Rsxp)DjLj5-lZONT6Ay{q zkQExu*>8uFAtXx2!%TW=7hPyc_ zxw_gWb{IzU`ufmnlRRK{wn4YBPot18QRF92pf?gzbeCt)$BC&qmuEnxWqh^RKJ^f< ziqfgov0}&6BWQ$6uFGu}UNEI2xjKZqRJ?W*Ry7 z2to+3#*b?R^9Qr61rV-NyT&aT!c}HDi*rjg?u;SaL}i*D z&dyZXsn>Jpk)(fTA-a*Yf;CW+J&R4F$LuTF2XxJz&2~~oawhvFiODbMPK>2*lDD!l z`h{aWbJ8CinMll^I6h+uw0Goq-MK9KZ$}0@M8ijQn*8wnpm|Z8pI#hQ!`>&BlFeSG zaVc3WNR=sjZJ%dgMTLD4yDyA;7XW$ei8L{_gw@f#skv+l{VFw!rBWz$i#>Y`V*Zgf zMBJdcCT=rY+~AvO<>;}xGwHNtbUL%sA4WUPSJJUK-9>J?9Agn+c~NwMdPXwQ`!(tGVaOl04QUFKK&{L%rjXFxAXh+&WU)q|d3xg4l}FTi>O z9Tmo$)_!krmFy4R(_;)ym;G0c1Xu|2(PGd$%*{JlW(1=yV>HB=H#50W$t_|Bs?&qH zw*`Wevb`l|){N3{>A1iB9ivA+Jm@i7r(gA#eB1K1S2`oM?{ka#doqpUl$uOSOGs?r zpM6)Yr^Zw3NnGSveER9rvfTa-D?D_1B=)4)Ne8n>o6i9ZNS_C!Z$;@qxSy_PA5E|4 z^9b55*ae|5gmjaf42S9=sN|fm<1}5)$4qq^bc)i6rDDgVtZZeOExm<*houfkzODXxZoFtwdRtugxo{qd zET>BPp#r%THFZePiZTGw)b(xaI3C8C5Z7KT?%>{VAZW%FO)Im*MSS$+B;~ zymp!=xLB@`F2N{_J1oF1!g@c4EY>nUEX)4({cf?oPn7yFwo_!B==`vL$X{}-<=92@ zT3=^JZC9h;eBWOS-z_{O23xw31S^r#ywaN8jploLq}n$F(!JegtFLuicsB-~QoD6+ zk+-9vORV>86+0?AJ?&?i2lEW3^!VBSnZczejAo}BQFI0Kf(JiDRF_>1lzh>0R_yTg zE)^$6DduTO6N3#$?^1jR*VXRRJl`IOx+%gfWn z+sKudu6rthrsj^Md-LqNtJkPGH(B@DHR{gGY^_!u4G(j_)_?D*@=LPV^Ob%sOm2qD zo3JQfCmt0W;1Rf7U6UyJdJ98g>7?QykJ*3RFYRyt;(Vaw(!aVHV9VFs_feYf`2|*S zGPZIJbf!khK0mm<8e17JfouRly5BPTTixt+hEu0Rmo|5AW*A{z%^JTIA&pChd2czB>gH=}M z52hTBY))Srl0_GMi}|&|3W(j1Q7k#yaJMhYQ78TRkoq0qGL9@VJBA2MGyu zEkBFBLTLrrx{3{SM}bp!w-r9P<-ThH=}T_Tu5bu*f^bEbSJFUk=-hvVUjic_eZ?)` z6~1;tlY(e<=MMubfd>{p*@gsHIOlU&zPUR#yE52Alr_&haci%F;CRQ`SJQ(zB6ElDQv0e& zT)Eq*=l_EDpsXi+`w7}ySd*{;8-33uTy@^!4}QUUh1i60+c@Cif`Ld%@}U+EQSAhW zXx4(xMAA*%!k(cgCa%d(1LxmHz$TMNqt<9HxM=>5)wmLQcBgaQ!ML%w zix(b(8IkkasdUnvtc{+YG}>gFcb*Jor!^?gN7R*$|Ax!pV0bSU!SrNlBZLZOzh>u*JL(h^B9{Jaoq5)_`@9k z2J;PXqn08U`-py1^b=OB)R$3G@lRMURTqzE*J)jGQS`}=A-I^{DjsJ$c@%4Gzrof{ z_5^+32c(N)FmD6hC{AaK$XSvycP3sM!nZ^IE<}AaF8b=3vFP*$biA2ja0m9x4+N*~ z!!5xx&o3R}`~R}1$|GH`hQikX&kf|<;7bTUyX&!%2cpR`+_lr~)wQ}0%5n&^uLL~` z+S!L-#XZ7(NS52sc6}hr=Rx~GEx@}E%d!hJ?L%4a2JHlWjpIjTxewIxku0ACbz^?~ z9j_U4PXXQjH(4$QbsdxC8qm(;vb<4`SF-_BUIE}nn7q#gK?gw3gI)q{Ml2eUX|`h@ zWP%Q0t2cuR$gyvNb|beN4VVzlz+zArZVq*z?yqHe18Da*vb-C#5A=P`{}vMj?F7AU zn1z8*NyMvV+iC>6to$118-lEE8Z&BMT&X_YSnm(XAO3J{?G<8!iHI^}aty$7yp&=m6}JPfz?0-H1h z>jZWQ*h3n|r}iSSI`T{(#b2kUm&J*|V&Taqcr=xMH$8Q{H@>)im^Z#ocP=Kr*c0#a z#AlbrrHi zhd;x_?`wzAszht7fqy^PLZAAbhD_83h|QQ{Sc;m9JTuBnub{R7L2kfn^)8(?@_oXB ziv}-j({l-wTan0KBTt3Xx~)WoZ+>u~RTWNVq)inCNNhc*ucH$c1=cj}wVhj&mjOzj z>9jWE(+DqofAF%MX3w0(&eL-;-m*tZ*HIu}0%l?Zogc%8QApVjc6s`xmePBVSPCy!|zTv|40&^kQBr|a0M zahpe~aKtfR(<&@xpT=#|{JdT3yG=7(j+&9Wq@iE>-EO6Y@A$hWEPBSU>tOv7#+s?Hp}<;we@`s4kZYOC+GbV9j8HeNT2?S3 z;@b#4bqnoWmT!tAxNUTL*#TWBnszqjn<5|S1v=eSL<3DOs$6a{-TbG9mM<^5d7`D^ ka>&a7?N~1BaNzD-ajVH)qk{ExVMUSYg}c?(NG#s@PnUf_oB#j- diff --git a/examples/more/05_burn_10kg_fat/example b/examples/more/05_burn_10kg_fat/example index 220f4a783e854e0b5a612a4f6477a69f83d10e54..58c1406df5bae5de07753eb8827ebc58ef03a165 100755 GIT binary patch delta 6590 zcmZ`;4O~-KmVY-Pk{~2Oh)MiPkRTrlBq}0{)!HV4FF6A^@8DxDm(L!Zeo`8Yevpp$w#`y6~e zJHQcI8s}vn&E7n zM4W*39IS$4eh;r3gfVX^$6XY4WK{ zmLzc>&C}{D1}!lOm{CmMawo6rghiUZ+a6T33qlW%6#iIauGJb^=%{fDOQ4}9yAvba zE*IvjEDwtmnr5;y2dy#LX|*XaNz~fn(WayS1o|q_sy?WJP5?a)ba5Xvo{|#ml$em1 zw6YIsqKOH1XDn#>s89B3O{9m>YUZ$3Huq_@(DTsv95in2gC^7aKo0`l-Um&kUZ6LD zcJ@IBQf_}cjq0EH;_*Vm)7Ig}gc*WxNzUlsmSg=VRsb$KT@Wm;pdehf4Eq7~y$Jul z^|$V-zd5aKRdRnudj?FZJCrL3V&uHoxZ7ASS{~^Xn+*E^alTzT2>V^K%r)!+a>-(~ zskEl6-jen1B}tm+pwsoIKRGqxk>J^xYlt;?bayd zUs2=>{ykuR4gicJ%zq9Sd%Da+CV47txRk) zj@~{}F_3{%X*aecw^kb}uv8~_!!|`=?t8FW2e;hIG~E`$P@8QTY!ba~dysuZIRmrU z>r_6_!+u9A2foNo(h&ReYzpnPkJP!c>5M&Hr^}{9#|d3Z7JcK$(VfraAUjOO&Sp~x zc@&zHLiDk-njIwHpe*)hx^GYhi_*G5J8h>jun1q*B};P9V}w(a4gjEKwp6McT*PYW z`N5-DF}*i9LpL;oE)FJpiw9Bkt95X}B};YEGpO-}JVVb8$z%`E?jgfTj|}s% z_0%%V#VV0YDQ^b2daDSb;g682;TuJ(#`hs4Myk=+p(FY1q9e=HFB z%o5riv~0WB*ulh(FZ)@x{Y7NGfymy*o@)((NIN7G#k$>rj$Xak(W4hpcZBNpg`#mC zVkFKJohpm0D^%Bo#(rX?!s87^QxA#JV7#B#++5xo=?rFH05d+A-QFlMa1-kDEUw3S z_zERHxpB3}7%w&r@vL1`-;BKxXxz`Rll=_=`D0Y!>nZJb*v>m_*B!R|4%>5wmF}Zhdfrx`aJ9>v2l-h|GYqTU|ygmFn@RB zKIS`owi=t8r!$%~VwlDCjVy;Fr^1o%#K?Y$(L*D;(;E5yjM|Evg5YaMx~K&sjrm%Z zl_VmCzNUql8M;|#X+x%$x#_LU%!a_6!0bR}C<4d+5U2=6ZUrI-E6aJvh!IR_f!Gw6 zk;T<=>-*Xxom;NTmTmjRjx+s$#7R|WHSHoIYcMJ$>;Ja4C=jiYLrOA5NSy8`vTrOd zzaTw}b{N7h!rKwy7 zsCvso2wiUJ2sak?utUm#+Fa>3<~VeDH=w|yI0r5f>uv=qxpQv9?E1>`K(yLpfs3k? z9ERM04B_}co)UfSQva{GGro8S*A*dP2_5GSy85N&tq`{7=?l{TpdN~@=OWW!8+a7q zs_rVO_^XDPw>rg0C-;`fI8mGxF2C;go;yy`1R`1No(8D$~GS{X1O$zr=UH)|~ zi5i2EQ)1-1m<>l=mr~KBW((Ls`s3-CAe2@h3K1vboj6HBoK*4i|4yLnmfl65`ey3M zO=mcr^X}E1I89}FHEa#F=8YM5;FO}Vf*(7{aUR}TdQ-&`dF>F+7aWo`N$trzSgQER zV0)FE`RU`<4d4imcF5r1bOAcRxlWJ+A*J)ad7OdG;PxHOM(w(-@X)m$q^q6l=UbjUM z{$&6f3yy%Rx8z^8Jh2>UDX=}jl}D34$NkTDI2<{H^ixd3N8g7$vu5-#QxR}>{dEgbu1 z@hV839g2LZ-0~1Po~76q#>HznZul|&9LK-Kd?k@83%u+J`gOrQy6$5%yC9$0>2C%1 zU}^>9MzUAwr{fCaA3p|3`BVD+xNO^|PqE6zUbeO%5G}bCj$9U_xqdn^E=_mq)29mu zm-oX5n{*sP_ape{;D)bd@3Z59#Woecmj>p9qZ6BO=LpOWMUL>?`+cAy5V=_ig{uLV zhqHV6BBc3kj}$&&eBD1**Wmw9mRm9RnV_AZ>$+t58fecUSzZd-by${rK;0k7@_1ZS znnA;$Eg#GBVo>WRvb-A9e?*oygD(B6EWZKT+AYgnpkB=J3TX2QS@!6m7c>a!|4fz_ z=!FKM70gNi7eF_FF8y4VTR>ZTWO)~84?@w1EYgmxSp`~){o%O0;ZBCLFtE%3$WFH>aeBo_rs@5M;5!Kev|SSqIz; zJH`sfH{g+A@1Jl`G+T86vvC60m+-8kwBRIP4_Y7KttkA{_!^!G@Qi_L63uSiYYAp! zX@BL5F%_7XHU?9MZh+4+R0*%{kSf7@2Z6OvM{qEEgHGVxP1l3zY%C2e$!7~_T8WEo zqK8XdwvXYng^=fkuf@atNH3J6*s2k>s}x+F508XSI#4oLckVcSRWi9Cj7IMME_m}8 zpTbnL^|!joX2(elJial$)Vz-AUnA?(ftEmjNQ-#l;Pl!a zT03=eC9lpz^$lc@{QpOr$hDQ;))s^|-46-o@jF;_Wd)=4Phvr^6s6KN>_?0yo$M#AOxY zG!r~8+}SgMEeAG-13x#r>&!-uPZt)WVb_lvgmu8<5agA-1NXIPHgZLqfro)BiZC(V zRI_nB@K)fP=-bjl!#Qw9$`BrrIVb~UCHB-%6P$EQp!pSO`pL!Y0GpTh&!e)!mkZ! zGq$yL&u}oPyExMhIIYa4H$g#Knccb4sP*ha^!Vj#Je8G|;(O~g$XbM@pmt{qj=8&w zUPu-sI$1WK87VN!j)@0m+4Oe7LCa9fqR6b@I=$TFeG1=4I_!#C@|D|J3x&$_eX*ZY zVq%YJGBK0I@J299u)#O4l+Skx87i)96R>CSaLqlGR*|n8@)P<~`3P#)#nI}DAtVGs5l4HqS&#yfbt!^-vWmvu!-4ZcYdI>It62`+AH=x#&tG)$6GNs z!LQ=j^h)W~#_Dpb^|2}u5+I;BWVi~9($??P@a6&)kA*|FhPP-Ai5Whq;sb@Hg=&X| z+5i>2fnL+4H1L$hhpOef1tsQ!otTmRO}<6T8vGYnUiNUDFLCH+nnV|V zb>c-iIzYdTNjPt55A-see>=;NiMi3*@m?bOg1ZKdlA^G&f-zmk0Qg||d8G|m4V;-dX*EA3dEPgzU6* y#dyXq@tSV`=Yy6lDZHI}vu3DccGHd}GTTl&epYC@cE5_1(e!5I{01{j7B5D<`uJQYOZO`MS#ITHs31t0N+K@e-Sm`@thtAZgm zp5Ro>N_$Cfn$O&%iAmEN3~7r=+Cnt(k+gy_##XJE#5fugxuBIMnsfhs&KXPXz5Dyl z`S=b7G1R}1fvmF2kx zOlm2Jf<-MeKq$|at7T#NKchvjmSbry=qXIUBD(cr z-NN@4|Hrk1KbxH^|KfwLy0LTD(-wV(&4E7d3`E$j^yr`i`gEqF%4$2CqP(w?H6)Ln zq6>OEdzoAzW$X;k)83F+mZV7ZQ9s!0ip00H%8*AjhFJE2BGqoFVf{R3u%fGpv|krZ z$)PWeE1OqdvGT!H4?n!N?qPaAbVs_+JF9f%l-wz~MM7CHUm_@Cg}M1^rXV+;HjXK3 z9wQhqN4;V}BTy%plsTJ(Fs+79Os7na8$2IR)A+UUg-IyJFgPde`6(P=5K6fPkQg-7 z0ePJhPhZNU5CQt;YVyuhUJex&Goe`#>dW9nh_L96f)L?NO#wi7TIs+j)MyH#*RBm0 zgfYT8t*j16e`i3O9DIN}p-Iyh3<)Dw#*Q9s=|AM86|8%D84`W@J- zU^kCq!{{rp@nPe_caCDiDIv^GKCm65SPPYd-2!&sC^nL|hS?oa!9fGNN7dTsS7>t< zZH|m$?Q|~8&SJaR*tbKTvP?AU<_W@(oTl%}vfRUL4P4pK<^A8ua{I7(!Z)bdI=AZ? z>sVHZY!23*IngZ$T2yWSujIpi%rE9ef8#ycZbX?3{NZk62le+t)(NrlFyo675(@AGFuRQ{xmoEKpD-B zN{(PW+k=sd{vtV>nxcxQpNCN3%xzH8mESvOnFTb=Moa~6!r6b|!PTw93k^1K$x7Z> zx)zY=^QbA+KS<#<;qpWd_ijd=Yju;du5*2^vT1m)Vi=xVbqjV01^wsowF z!eTPmQ#3Uul{L}gm={GVNtmhN~uC)pbm z=V&)&VmpWC@JxEsv5dV&*6|svjqVwr#@18K__u8DreP8VeM4reJJkrMhQ9)WDs9nJ z8dt)cv^6f9#nG#AX}a5~)E`IomQ=*kV=ZvOka=174^iS1`62y#d^(#&FT_vO-Atjw z@e?9Gfhz(-*JYW9$_W~dPhr0yd%`4a!uKUyOa3ifgqqX5&sOANl8=zbNR}XomKa{A zxf2Rl9konIWJR=h!u$zC$-ITtmueX@FYXP@L5QGhrD#d`m@J8I)wuz7;#n zulISS!(#7%UX)-f!^KTrC~Jf^aQzNuNC9x+%LBx~g4O+~T5C-r<#Qi&9g&C|y`BwiTvj zDAQ~@Qt&re>agT_)?3Ss7b;5cirYUG2C=F$`$g%PSaK38b^BF*W{Iu4Qb+jd0kY}K zG#Obj^AOgrdB;Vt&C1BU(ieffmu1Flt1o2R{Pc}Kn1yx~s;M+;7f{-(Xy87i>S-O|?X zdh`c3vHaO>#qPGc4zbqrtk_oG?rOctTo|W6zSqkR&GoOo zU^FK>5k)uo{_2uHMpUbt>V$@Ae`ZoxTdcAoi{`}AnaoLS0qL^5I-FVMSp_VDnzJ0Z=)6AJL2qPDj+|%b z$HF$-BS0*roMJm&%SzU{V<>WRHv1dRoIFuCY(vxWv~{vwH}Va&WX0|&(?nDs`5&**n3I807f^%=?$2cryZ~Io$v{quFgu7JVy$80*`*7xX5Mpp7%+UTCiPoz`Gb<3#@?X?JnH(xsn zb9-=FZ?l!+TI7?iV-aT^=RWwBOgWQuA<VdIega?&@9n6~-IrpdCf|>=XJ;(S0mK$*-YF)9z#4R5xuh zyG47Z6^}W227>d>(D7-Rwv&IsBwKH@ZAC7>=R2P?Ec$aADZDsYH}?$X7soA_76x-> zqs3B0{u8**t0%{b%bU^i&PIbvrfZSUe{UD=3a*7-=@j1sZn&yk(yeM}d=c~lU*>H- ziNNlz=ZYURl4WfE8_q&qbH#C4?!@?OfJcCP`($|pD4dYxM&KZD0O6JyIVH;-!1hmM`AuNoX<6tO2gpT z_RI49oD(A~I#-18-;jL~&t6J)&nys7`yj7H!Z{+0;8_OFz%_{xNxJ=E5yrBy%J*Y5 zxC+|ij!Jk9K1)+2@^$^H1aIvI*F(MTINZq2;XOiscc-u_O7P^d$En9G1nQq16+J5= zW0%1dk^iGmcf|D8G46;O-8Hh#wuO7f3S3%%j}M)v$7ate!RLeELoxOOLV}Oq6Jhz0 z&J!LwYqx&>k3;;1U7@XG^rb9p+!#J-Ar&H9Am2cavJ}IM$W@T5EU}sE`4FY)2$@9~ zjH;(JJaqPMJy%nq=$WeHdR)-M=Xi_j!AXMaxstelEC{Q|!7bv<_al;OBa8y)Gr)iN zfACK5(U;_0xtcfN?hzx5yuo5rEJM61io}R~-RubCbnuPfU!)wd*zg*1v9wmqGYlY? zN4Ay~uB;3*~v%B<+irTac## zN}ii&ZPfliVFf6ulPc%VV}tbk+(h;k_0C${4*_XrcX(?7=~GchU=1O!-3PN+zH~J2~ga z=Kawml!gyaHqJN0}z~h$a*KI}&W(iVWi< zy|Q4XBPmVg6L^#&UBbgPJ1My;Pj}W!uP&IRSYS(4JRPaBm?9y_1U|g|Rdx*cXw^UL zt7yQhj!e~wtdlaU%W%AH#1AtkN!2silXSGY*w$C1$~9=>W8s!a{Qim}=fV(*UKnl2 z3^EBNJcr?QYA!C)hB-edL5&NIwqP6t``-|(ZGKW~KZs8Zo`S!Sp4RvQZIvjC6!pId z^7wneQ*aUeR^#*YR9=aHWKU^)U#`k4>jl{xDxW1(*wqSU7eiK$)yXI1%vX6Q1bK>~ zJ&WvY60KTfca&%{eOkyXdn9Chip)CxF4(5YbS5j!g&CS*c7nI?1yQ5&!S_#iE5{pJ ztHvyqAEUK;m-lNph1w+U2zHSw7u(qoZ_{kRGPYvOf>UjSqLQMK;WHUbQp<%Z2+2Wy zqDo|IGtAfcn!DW3_ZqIJQ8QuCv`bY!Qg9Zlit4lu){%9I-O;QyYvF4FDQMt+axJkp zw`;ZSn!h?#A>qfG0fK+4wQAuxO}-{m6=a%WeyQ=6y9W0MjnCK2A3REqfwu_b>60Z^ z$0<#wM_cmqHJxXa@!!yDTkxZXCuMsFhR~`9><%0DLnZE~DV4%b6@+A^b}DMEI)`AX z(P#~3(w+zG_%Opep+VCy5TjPE(_|h2uR3`T*Tr7o?^SPW(k)4>a(Lz_b5J1F1+n3rMMcC2#tdf${R+TCUZrZ=p&K^Rz#Tqq{ny$-B z$LnH7{|t9Jl@fk+cj;EVWaxUib``_+VyertPDd-Ag1DW$VBgYq_8=CL1a?qkgV;ky z>+(#&9lVoRees>6A$UX#khi|sSfM$PHrCteQoWU?ud$GEO@3?(J{5QhqI0z1nl;wQ zU~|!c?%R zZ3YsB$55iS4Kwee5o+5)E1At|*SPE&mwo3e>^?T&pAGKOse^lT6caHkA$b0|Er&Ck z>OOw%o^3_ut(&(jU(`&?BQg^0U<)rq5LPOK?6fOl5c`3wkv5i2ry^|ZOVo4OL5|R( zNH;r7o6(L}`u1>iz242vDg!PkOdV4qsal^+m3lk9tgmEymA*(yjoMA$My)bWDw#Zc zc#d1(G%v?Zk48IaQ}nP&kwOIi^jJnTs7^587a9_bg4)9us}tq`<4Sbn=|~$GDWHEa zcEK@^i?{W{Fup7LF4|FN5JqWz!F7Lx!Xt%Z-iN|ae+g7Gh_FHFj}{)#_!H*OkK;C) zskN6R&o>HKQCMEBgSU0UTut6B3o6nDp*0Z|?k$$EX|;}eI$;>cVyK_d=D-ZMO80EF z%H1NKN{lvUr>BfIT5gPu6Scl*^y%n-fNljk{SH)5p94J!blx3kG{wc(C^jZGZs{GU zk;cT>9AT&Bv#z-F3ah?b`G}O!$zPMnkWe76rUhmG57xw?R{|nJKOKv z)&6tI&SlnKjP~~KGoomSAczM939cgs_eqCu%CZ>z-`$?EWnP=$BXkEgffetS6S%?e-FG`NKk z5o6@UWA_Wf_f2SCLq!bfFLP4ZQ=5nlY~%ISt+htE%bZfr9b%70!GBQUAMqYNoYM*sT|ddPRE;V3>u1uD#7uUEt|g}RZXGNL ze0x$ce3I|#P0C41Hf{lY*=*5oq0*#2tce~;N;59hunO9gG*Q=YFr7V0ZWYY1E98~1lrlR zP-l11g}zzr3MKbTXUECYZ-dPV1)G0c4{y0_u813p7T?NPI^S;)`-o}TGHkQLLm{ufiHrSgF@I{B0jp&Tv!tCGUGjG4t(8k2JucOS{-xt{pZ*X5jS5KWc*b2^Av1*UE?M8&y))gV5ZTDC0 z_lF|e#9*W=G+q{2hrg-=ol#=2%;oln5{`-?U$lp}oSfehZ1-h$qf+3@Y;BMjYNKm% z%qgqjm4Z-|CpRp28KT9;zOEH>Ynl)t-i8AV5$37$${(Q#9gb_gU2VTz?YLd-yj|_O zU6pQEyHVwmdWs5f)ct!SUk&Rn#O|INhQ?^IvDTFlXk6}sRl3CppUW+V$}9F8%qcwP z{S5~Ue7x6eE$;Cbe!1kl*jVPWiw*lcB1>@jB5GX*v2dZwVqTqts1h6YiVw~7R(NN6 zXL)DuY1q&5j-9JO*5S#Mo*mTRa^xJ(4POO<7sTKJX~#KwXV5394N!*|N<3u~guGUy zLksQ&(rHPSl_V)$ljzSG=}bqTW#s8P&XOr}V4ZiGcdEDCAB1Ip^p^R9H@(3_wzE+{A|*puI?vJXpOxjJ)&E#g=nc)1{Yw6X zPn?bt*?Dt{N026f8Jh5jFn5q!Jf#lC2i5t5#jRW|pIlt}O(yT{@0weWR*fkt>FZRalg_;akSdVen?|6+?aZ``O-! zq3Ul8+%@=PdbFarX<-*sxqw$tlbS=Q~iI$%eMpMWBChdf6YvIZbr zt=U7^RJt#FfG#b8O0tsascf50{E6zb?7EzvFx;gW2Idf}ZhFhPVXi~v5#>|7p$eB7 z=9!KiATsb9aM^!mB{8p6`s*2Ph%@ivW+Zsc{*&A|F9B2hz>nBG-7U>U+aFrZSxTT6 zSQEaghLm*vOkLPg?P9Qr6V`g9N43`I z15ho$mIYujCtq-ev>4NR3s0`d^M-sbS*-dnvojD{ejI-5(=jnru@4sn@aJnG^YI-a z!_UNVr)3!@%t2@q+vmD%i-&H#=D~-!f|t|aoPn&IN^>$Ipcr~GCq)<28!FDL%Dtwg zPlGS`l^DDbR$%ruDFIz-o`4dhsb7T|A+ZeZ2L};vJ4ienWID33za{x(1VSw!Ee}}L(X)U$6XU0orLD=;@68UcaBL=^e zVks}LIPrJDrMj+gO85h6l7&Kf4&zN+6tUsNB-)<$TO64~hi~7XQZL#z{HCQ8pq4>5UP8 z8NCdQ=lUU0Dwj!kjcXBN!Z2?I$MwI&pXc~@ShCdfDgF1zT=oooJn~-M8nt1g@%i`S zj=nlSi*2PH`T0@9KLzV{x{yCO$#()9ZMeZ!jPQnvZU%x^#Ly7QKsg0Ywv8qg^qsQJ z0FAB%*F*69Eof+Y`<&Ft*QZ7lzyErt1wvy+xe$?4{lSlU(*40(<_%sihs12aQv#Vc z_%0;#&fNvQqhI$7*VTEB$Z`i3KN(a4t?!WKdAN$S9z!-lyX8Y!#;c3a0h$0Rd?d@+ zpiWQ^s0XwRbP*`OBzJ)x0_{Eyd7zaa%kp*5rcY$q9s#*n^KeiB3YZ)r)Cu*U$#N}# zt}kSH3#j``S>6lU1bT)u!hw1~J)p6X5CG}~6%Y`kLEQ-VHJ}!x&rZ-5Of4y}iCAHvgl7uE&r46t-i zUIKW&$77*&zDcZwPWj^d#lq5hKC@_Y>UPAK47gfzd9@rPYf*f^3fMkf<#6kcsvP`- zz!qSO$XnD0x8RxheVLXOrLjnQp(vLPrw@u!ST%iDl#;jwCY}R+Uby5{@CSiX$HymT zpOocg97f?1x1whw`N#KRf1^3$$JzLL6JY#iIKyXr1>;SYXLV!gKYjM7VpBbf*g;L> zlgwWJf-2&v2Cw@R-5fu*oHtw0Tm?VLy*<=q|9!+*lQR@4nljevi%ssQqr9eqhG-w8 z>3)nc75GeUuPFm8V@>w4Cd*ipp{SP&vaUncJX%(qrgy>1Ce!BPlsdk=09plK%ksT^ zQ|j{g98hK`ax9-iyfug4)Wjm9beN>*7n3Mk;L3R(@-pDVgHY#%8@&aX57;yg{MzKK zG8s5NQD{fU+Fy1EUBEvAUd{(_yNV_Q7t{m1F9JgmgoWwGn+yfOEeMQidPL0E2T<#z zSHxU>J!)s@bMaw)H)>^6;vb~%3;*AUTAIz`D=kbz32mPb;TTxp|#{0+V zd8{<=EWQ5;ol*I~fdTboEXidrQDI4nwV)6HO4x-BG`}Q;Sttk&C+$N0F*;F_Yt7KU z2XOWB(oT+v7>y4qydd6`vXuN2C$VhxHD)#Sq^)iO3R9WA*eTeo(X(GJIZXdvCKl9WzJjLR0RscH)JeNVQ$JS zFJ{fOxZK8CDOi3V`#T*h&u5c~O^r{qz($tJ@CcRmChOEbiM_Fzu4EM%!D9?%6fK^b zk{PzHiV4Crn2&RNaJA(nZ1pE0$5!{8*6YOQ7G9QUvNmgYhxVaViDUG?uHlur3cC=F zmAx9?;#P6R%~3tA;gdC72@Bvl#57hlSg7ZwK~b_Cs737%TJscG@IU}BX>@6tjSZu9 z(`2 zQ(Mn)4gXabcc}nB`FUBS;awxu_B@pc^%~x-dA{bjLYs;Y7P>Wyg)MVZ8_>$L5Xu~t z2;cJMIs_yhzN{9_UBc$E(&ibqI;+-e(TvohjXfMzF3)%<+LS_y#xG>4IMWoGt>H~~ zt<9t1m6}qPsl$W`z%4>D6A|34?V@lWvHNXCkR?~1i3}h6@^Aq~U)FD>HVM@#sK!J#s@&fw9Uh1%xYD1V;SScx|$UMi_{ zUOtKQEQav)O<{R+p4A$5iZJ~HotT$v45!8dvd%xCGepy;^K(dC;HH8F7FvU6`U1D{ r*1vCP-GcmESvzBrI%g-HSRmtsJMnP7ae9S{C6Z%dK6`{p7Y_PA$6QMY delta 6874 zcmZ`;4_s7LzQ1RN!5I~1Mi_=aB7=Z{pnyt1>NX>c+_6DH!9N=)rXXf(Sh8#Hso-Lp zH=M+NeRgr5y+>QGa(k_qwOLy&q%X05f?3&SiluomQ&U?>)4Shu?;Rgm?|eRYe&>A8 z@BGg1{C>alJLlf%KEei$u-0h1;1JZ})`+lYYx=X6(qUSwbnB;C7Du|)aFCs4d8&tM ztsoU_TAP7{@@k3J7OH+sZAPsfO&gfgZqvDJI+tzt4t56{{r?RX^udCWh8h<}e)7vR zH)_8!|M|jHm*LRPb+-R_X4e#2YfN**V2+!L2piNHW9U_5Dl<@7g_BKCf6tOVB#V7a zCyY+^EO|nT*=M{??IF?3rE>I8FVM>>$2D4P%A#shG<#R&YBg1}US2cVG1X|=Wr(E2 z&}W7h&nhWhbob)>?_XYXKfN9LP^#ZIt#HwV@e{`93dO;CfuOQY8lSCIa>i%Vsv)_J zLj)7nXjCm|1~mv4b6Q$4W5msA$GY%0AC)|;Fz@a_i%toDC8DEVUSP* z%KO}SdXmP32#_~Z=XWRbcBn9)35_aKPZ|e8gn2gwga|L`0zibv)d|c(wJsoX`SLJ9 z7$U6D+nPegn+mOt;R+gr23=k-B+OhGN}nEj<|?ZO1UuU4NpoS09)oI^yh!8V5f)C@ z&CZ-i4N!jv2KDj~2$p;u9|C~UIE#}iEyKgaL8y_cfNlmle-Ii<0idq~ts8`z=?$P~ zfvy>Z4yA8^jvP8XY||h#jN*qn$q%$`5Ne|mplg9XHwYa;>xMdGB7#bT?itkUpcgRa zD8_UTLY?&aP$!Gt&4&Fg|+0}8;a6;$vWyPde+U{ zz0E$1O+s}X_MSDNND%a{lv~>Ix3nG9HX=1QWtCBt%X;wiD zOg(Q91bOU8LHIlO^&Yf<=El(F5vgngjf|L*SAg;IK|U%lwI>txq#sLonoHOccZ-De zv?U_h@jduO>Acvy*IX-FS9XgnrgNFp9g&^4jZ4bXq|WE{=IcMw>oC-j&&S>(^%!ME zCXe!IQfsZ}J8w#sPY#FWtP4z&XjNqDnC~;VQV{8v&dd9M;Pi_8caMMVsl4slX2u-btIJj&}2b*{E3eb$5~*h|=} zQ}FLl`E&n7cREJ08me=QO0NMVG-OnW%~PlGswkaWJzQ*=Ivovp$2CQfmtxAdO;c&7 zBc1J|PaR1k+Q$k4U!Giyy~J1b2MUjhwQK}@(P}eoq@1WYR!=2SNfy73O`!*)W*V-i z(}AdD_6ePfTESM(FP&*@1~ogA**JR6`4oGQ{LxP!X`YGBV6RYAOfvf;O^!Lno~PK@ z48y}?$QhHw?x7X2t(F}re6EFIpHfI%C0k01?WYlY| zX&<5vMHak;$25=rGa<)t%0;~iqcHP@gxRC+ckv;1f3oeOb$*w8CtQrF)ut`Jf~s9b zI6eN`^*2^dixXp6!S1z*Zx~q%-JUXweMyg`eAp;T*XM}MXVZ#W?u(Wm`&vXcgxG@W^g!nA{=lTPqJlH);&fa( z?rVPA>`@M1^jPiF2YdzR8on-)&R{FKMdQ86W^r<5vaJDIYhT)3Rh~*ul_zqcXHoyu zGm6suHp@BGAB%XkCQw$|DBBi*e(4LpbWW7^%d5^%RoW+sOSmEd$A)M@$mv8j=|Dw( zs$Wsm93#KlPZjAY>_z(b^c+KzOn*rq(^w&OV_$gYd8ALad9Em)xt!Q@qDoQ7oiY=2;($sY}bm#mNrrIxgxBHfG>xGKaTjGWAj-#j#zLQ8+OB4 zeng7Ro0A9lVFj?^>l6i5F?}DlvGt)-KpR!fe9~8PsjMj8hm`eqcmj)*66rFm!nnu$ z>=Mkk5xiK-yI}G)?{kYwdPJ!Qb0>(56N3-t@AMTMZ8&<#y58H`Qq@-Lv#$Ig=RnRO zG0@PC1W}6IQzWh1Q)|7qOR9R^Fa4_BYWFriC(nn>$yM9e=M}Zow24c++r^fWR!{R; z=7FApkzGEvZ)RZW39~i9jWD{x6Q4)<2w`0~;4k>H;jGx=?OrNQ3{lO~;1UBhNA6Oc z2j5lg)m`804;c{pZSbEgp5{)}7IcYNhRZV9scy;KYcw_^68D0PV@l}UPN z4Qzr~Ym)OY1x(+h`?k5uJ;=YJFL&)e?ppZsb!!yl!NuI6aPzJKMcMD& z!*6g{&vSAYrt}mXpT9oe6PTxnOWsZYhc6KFo){>%Ghblj;o#QvHX&8C!LiV<306Sh zcACY4BMm2U92`K_^5R~w-f;={1iy3{8+hzNfa9L01>?uCjnp(g%}}z5o*$oJxP1gX zFlOadzw{NiW}DmzmB3rlRwU^lw{zzA^0VmhOQ*Tv+vGofp>u(?qV>l?6~TiF`Sz_r zfh8ZnfSWsmsE3V8_rw3I1#$} zVbczSAxHCM?x>_~*-5$8b~Se+m4T-V!;!Y-YuZ>XgO~Fz?GT#(4uo~dN9o(_s)%UF zdi64{5pVJzQ93UBX>m@m<2CGk`Cwl#8=XQ;uBJC~Vl3m)gJnCW)A5|&GNQXDJkD;= zl?m&z_Jj+DZ(_!+sA`6Zkkind{8_6~yqJ{TisIH5AV2^asNJ4L1OP zz!U&c7a|{^levGLvH*lSj{^izB-$G?HfviKQ&d|MW-2%&ku zU`Obq+p^g*`Zelx^m1MX`+-j6<%Mqi2RIcPl|MFW^L4g9*AwvG@JpA(z_@4& zEzEbpIF0!u=N!ZBUp@-1yAb$?(a;W!h5c#3Zl)OAWIQX#R)dyaFHJ+y5fLmp@o=ntSBpD0Q+az)<} zMVSQZf)PrMc*ko0Oi@@;~LNooTlxdwr{XtP&epF6W$)$QTYLYa1JZPt5h{; zCTJ&U5orB+MQH-<_*PL~0&TslD9QZg={rmSS`WGwv=6kMxBsaqeY_2tMq3M0nMkh| z#<5cRs4&U9=6yxsnJZZM8{29;^}yY*cd&4t&3L+dab?y)&fAXXFikCTPCbjB;CmhC zeh<&UEm$A05O^{Llovmq%XqSBYtby$Lnn$N;xo~2;xmikF2k;&;bz>6xxCfDTx9n~ z#IJ?#Q#6ijL$AhxYlrYOuvYSTn&hO;`9iI|EQuosN#aaCH@b3_K(}v5Mv=5I(!IUvycpyqu|e{ZN*8Z5X6#;x{4DTxtvV2%!sggP*9Uo z7#2Exi;;^dRpm@Ha5)~x;Y+Lpe?B5H6?I;?>*|4(1DnTz`@&sI!p$nqqj&qy;O)Rq zo>s;y6?_2qju>v{g7%;z6XC5262r3%)5FdAzTtn0VCZlV!$a)4ix|BHxTc6OZ_g-CJk;#(#XeWC~7JG?2B?)$O0i>V=gHfPWB?-(-Tfvb}U8rxM6D3)8m;S2GO~^|hCC*H+ z*W+slFW50^>7cTiv)BcCa%KX1jk;zoV>a^4j-XCM2)SpqvFhEuvl18te_QGVLt>f3 zXb~=eI%7JJA8##2VVF=)Wo5NoSh?XU>D4EqHGZpFrky&v!jeo z!A7fQJMju5&E67|9o&feU>>msxVxHi<~Uh9`Q~KBn1f&Vbe`YnJbknkJOb^QvnaNH zjMf>?gA(O59xkUfl}4A3XO&b|UQFHPHp>VwFo7$vtDFx$Q2u{bR7c|HI$0_b(3f6O z%sOcmzUQ@)RB;D8K?f@Gpg5ZwK~K+(B=_79ikutC(&@>$&X@u?VFZs==JcRfwSGZZsgJ0}y_A=rw;$sp8vmmAy79Gxm*CeeekAaDvh~lU>OMsOfgqlx zvJ1g|@|lh|Wox(^;;3HLahHy(TLO3t_ABI%723HoP}DpHnyPgOtvMhoR`VENsj}! zadTCx@XepId{m4DdzKrhGehebqK}H9viVNaIP|*kF*Slsp$%yJIJeraq+Ro!jVtug z?$O%lNxJkkK|EOl_=(NS!#dt^o7S$=i0}s;x9RKC15`Mo&pRkJ z8WD_0EvkZzPF};pdh|dEIwlQ6Z9=RNU9At%Nt({zr+c_V$4>>#s&77B6X7BL>m`0w@JdVN%xKFW*(Knv}?d}COmc^is%?Dkd08lndOk>GZ#E&NTe`|gFc zp}Y4lUCi*sF1Q7{M>pY(ikBdD4`zJ0&TbC|Q;>RTM_raBm}_zT z)a^HPhti*ykGBN>7!c^h@;o}SJe$OOY!r>B?w;(MhpB6pHe(;{xJO~xv|~k{rM^9@|cd_on^}sL5Es diff --git a/examples/more/07_algebra/example b/examples/more/07_algebra/example index 301d72d6e3fdbe7bff2ed19f92cf3cdd03b31f81..653b76ad6ecc5785af0af162242ae8539a2e950f 100755 GIT binary patch delta 6447 zcmZ`;3tSXulJ9SZffZ^XR^*z@2E^Bu?dXofo6l+9qZ_j?tB8<{!+u!$F)=knT>&U_UVwXjm zMX6xd<_shjKl40oZeIR9YSiX-+RR)Iw=U(@rQDs*v)kB&f24fHpebK5P`q(P^70w; zo=kpi%go1bOHKRzj&~N`_eIKj+F;Cbx*-;IL=ZNsN^W}DIEh^*M~sVQ(ty#$&Vcu` zV;rG1F#+}#?Z!MwT|3Cpr%VC%sjBdWD%86;hU!eYRAX|}9#aiFq^`wKdhF|TF7^rA zf_V#9-jo**IL*%s(1URv+8H-(L5yI;p9yZnff@uej);(85wsQVtU*`>j0Z7*UvI|5 z7y;`!xC)LH`}o`>OygHY=i@xhW?`njCU5^21UyD4<7*fU{BxjsLWCXadYo{FE}z`k zn8h}KYKK_`obD|-(14tX}rbd!5OZP zp_LlT%OZ*9SzOFb8!ax{U`a@n^tCvw8R$izF959?ftu(8pr?Q~j6mZkG2TT9@d=6R zN1ztECEn$U7A-&P))A`-^Z-_^9M;D#My%TCm$3K@EbbYBI_OQHZvfpt0!^l2pjUzR zj6lcGlu<6q9hLB_>O#{~_6g?r1%hx%$sE<0W51adfD6wT1e-S~2w&P#zs3A8%75hi zweQV;Kd~gRi$`4dT~dFWDaK!}>Okf$s&s zRp)!aKcVwo`*|87m#--b&=n)3Z`XNlWl2;T{A`skwLRDq>Ck*g2NLz+aPAL%u;|*{ z2b0coAJ`OnGpVTZkqqvAqB4P#TlT;c#rfe}LHMd2Q%gBVO$JVit~5EJ_Bz(2EnQ6( zrQhal;i)^QQ^>#17sCZ7XjyU!`#G&oPR;%~AYt9)N~!ghA8}TaKW<8p+HQFSlgP2F ziV~^ADUX;QpaaQO>@{*bGugk=t<1*PgS~G5ktH+1x z_;Cw*-X&Xg;%As$ve`|a(YTaJ>?c%`GJ!or^(kKK0<1)SbXieg({wvgN(RfL|4y06 zF3{m!rUFIJrWAXbW3uKFFZ$) zSZ}Dd7mKlyT;U6Z!pX;_a4@cz&(gTOUG52H4}qBx%2(=zHbA8d~D7z9W zID&urTf7|IzLkswR=R4 zeMTQo%ru-Bq=ZQU!>&QPb<)IUajCdOtPIIW?YCk@NWLb@Z&WVkMI*^@s!nQ)$;{$* zdHnOc;lkc_NB$G14bH6d#cY}?)xs&U^&I2*FpJrTq;SfS5IZzKT=$8Y*9Kfd zCf-#uSzdHDZ{0bG=dwe-C$x;j@&VH+6dGtZK1>-;5kFKCT=o(69tPJC55<55J+gNAp^#;&%*Z z4DHOzDCkoWUh9zQRx@soJg(_#w+S>8^-^HF>d!FN9jT^^dCQaA9fI)kS7_+3^MfRx ziJTgsd;D|8OvOTE!H3b_unJtHe}G>1yDh&)zHrgb*XfM^$809u6WGCiOJ?C>-A!YzuS4CXSnah(E*e^KduPbBf-($hv6E@=07}>oD6?Acjk?mCIjB;VJF3e0nBMDN~%`~SxM(>4`<3>BA_hi@5$ClPT;NPdrZ-pgWzC||9F!K;~qu(&*Xm|sQY zOkd}P=>z896(<{-YyL-3_Q3l!pk1K5dKIM)wD-88G=O%UP?Rg6fwvVU0S_?6?UF+^!dL})K6ryX2R%E9rAf|ND5J+zToAa$WMpO!HI|NJ zZ_t*~k^(%d3mbrSASoxg2Xn0UpBZLb-9I(Xwx)$+W?QqinM7;gpJPSqjMlg^YYQ{( zqmI%sHgOcBCH&ridT~Fc&Y4}wr*5Qh$AF^v{~v1-w^nxDS`gL@-^N>K1g!zlnuQbM z#IvpT*;aGuC?9Oq!Pa`(IVZ!kjTZ)W&+#^Mk6*$}LYdr(Q;+Z%@zp(+uAd`hZD+<< z15Q%#@02ZG4;esFm{|I;` zSKz6ZtY&Vg26!%NSTzL440EjJ8Nk;AZ=!Hnq3I=X5js}pkBxx)YLKp#-D|2s$=1;W z(j?Op;P!yau%tn)1G95zJW`IKrM# z$9f9QU%+~3=X@^;^yT@h@pT}5!QRfk1#Sj&7Z&~H0_>-{OwB}^P?5*} zNQ)}Ueqd-cik=DFp?wuD`bCAE`YO_{M^iJ18X`-j7nhq|S;l&4ZKaD1kz9EjVt=f% zkhKt7lH{}_NA{YihDJw|W63z@Xk3h4PhbJxWEeAP?UEbW)i6O=3VB!a!$>06S%@zH ze5})THtM*LrQzy^1^ZJSZ^!FDAJI**OUL{3G+eD`um^O!MaR|p2Yy<^bA*mDnu6Nl zz@F0;hWr{{j5!|)cQ@aLz3njIk!!YwMvoJK^UDa}0gVr}qkCjV(&rZ`8FiPOXJ+kbH01GK2h<#|h8^$6w~O)Gjl$!#`&!B^p( zP^{tD#p)Q=&$Td3o8P1nAszy1N+xJPt{wr8j@t_~yg`@G*73COg+8d^V}zmUn&c{7 zp@J{aK0{J-gRa`|(w3r0cm=N6g|ULWMpx0vW4e5?o}3OHe^kGe=*MP#S$I;H4`geC zOb_P{4PPO2>17lxmp!^ddzz*Yy*qUR=MH_p=nv@fyYzk#y?{d;=a)GCv@Wr5vSv}e zD}X&8mGE5CC2I6AZPf&YcuHU9!W-1~yLk8L#&H%udKRIx^86I*m3yBqUqcrm^G~YQ zHhv5}t4sEKHIZln{!7OLI$o+2u__v@^E=Y8%tw?yOxdgajvac(j?$^r2((8>qqKvb zU*)$%d-Qr5SXFqvvcMd@K`Tjr@>C{Mmt3s0+#FlVW9NJ!t2d6Yk_vk jK5A@K@M_R_Z=t1snTC1j`FjiFzqwnRjb-$k+SI=TagEzv delta 6427 zcmZ`-3s@9amaf}PV>b%jEwl{?HZOUJ(5MJRlhA?2>Pe%ZAQ(k32*JlVn8+sCRlyLm zRFNm(>0OW#xMc9!)2br!VFf}X!VyP zOXjct&3HgJ5q8(i1Lju@-+Y!wJN4se#5MhrpVhkPAr!gH>RN2`A<$Z;$Avx>} zjp^;|NpgiOWAAgG4u?du1Vv(qhJjvJB)+8$h8(IlM6)*(sV+l38|IwBilLIIR~JQz zp}(K8Y(-gl-Q64Ry?0aNz4U76-ZZc0j^ern*$cAsgk?d#P*B7cWjj?SH`__ur{%Rx z6AYN6Uh$w2R415}Ih%wqt%Xlar%aAJ+=-_(b`xS@67pdN$E5CmM*s{$G4}upgN8;> z-d2QXC^Zum!exNl|&`|OLeF@nIhR7~%m(rTk;(B~Zb z3{FAq^g)=NMfb7kFNPejBpG!p1mUVYSKpUuxrN!9xw5Mld%u_Eu50Ew-=JmJ^1egX z>1+|$`B-~qM~NV4O>=)xkN-j4Mm;kt+B#wdLF_aTy4m`1I|bo-7pfP*h(5ywP6{V> z*wF2loZsu;VUkD9j&@it9M>r1k16tb&(V^oIMzxvQFAg{0ST@1s>F_4S8`UAKG`ut z?7Vd~DuH9)$#P&LhJ4jfM!$-xVZWe>sJZNZnq%9-rqiRgbls&)dft}I-lP%R6D)>y z&iV!W7mBsdW7Sk@Phq#v7W;?nPWn;wJY8BkEwd-HF#36PmuV07>8s}T;d^LN%sLiA z-7)F9k5cKym=yL3jmErSi%o?wxkFdY){+$CRr8u~27rd6qUd;RA?u;Z*erG*WzL?< zs;GSSLHm&uB+5hWI<9tI_({~Rnk|Nt^zH04wwaRSlGq9=jdMigpe1nc4OxaxLnhr9 zm&_vQXK|_Q6#X&o%cS#gG+IXZi0^|(y1WA(cC2|Bk3mkNQ}IsbJ21z=e3UR}r6X49 zVfCh1u9|BG0(VYw)fS~{iJwfQ?m5NGPw&ooG5)&*uG=~zC9nXF6{RnOld~Ac68fHT zyrgIIXmj!k)<-WSztbj4ldHszE9oVjKZy?9{kbel#{;uD87Pqghraq&dbM!ay#E}6 zW`6c9HtY+DC>${Rj-lS^j`KDQh@HDE-p)qBD;+;14tx~q`f5@-*)hOG_N~}ses;(s zy(SKf>O~0-cA1|&`9f}BG~`T4N_3O5O2tmFrM|3NyuL;0C54xE&DL<~yr<(;qf0)0)n&GpPIwBx zXuVt_T@pKv7m50hEZ(oc>8k!wc zmpaE%2hb~B@Je5Z(rW?N74oH?O>E$X_-q+ib-8}5_Zl#P`!36}viJhhW!jrISNG5* zdOFRiE5Ae^rlq!3NrT9DSG7wzd&u>b>{{)ra#eDli&9ySN17C+)-F*R+bDJ}nwzdn zv~@7|f8ndwB=_T<2JXI4QF>Y2b3qtKKr@C#>7-bA8VhmH6@EyG9s5%z_;CTS_3~U9 zte9~E%hSB~6QFI1X&&j*K*A+icJGyU-|q6&$z{@YxP|eMdD%7i?_tPdGCzlqr{hGC z*f1nYLm1m3GEQ_J_}}j-JlA^ent8XotFyMJ$z$I3R_^P$Z;QUx!&vy`$hQ({SAUav z>wr}Il2`iiVYAiUb|jDvol9yT-<@C5+1MjCxE~ig%eq`0SC|WS`r-yW?8I{4#xbMW zQG`7D3U(oe?;>xDC%lCpwO$cB-Gdv&g&~T2S`$QH8-jE65q6GmA zL|^1lR3~(eax)T4m!p-Hn)d|Vm63+MC%XV@mEWyvp_=9tgNPBT;e>=K2F)f2xGXW%iu+NGCcz z8uu1n|N9^VY`x4QAEHH`-vgBpV<|WG1RjPK_^U^h21J7*B<+0wPC>G@2c~_-8_U|Y z;C2iYO$o3lx%}c19~W*N=CM7&V~c>kWS#|mh%t{S;@mqS%dffn`6UYTITGl`kgme> zHMB{!e`&ka%g-FCMb=x;y=~M2`o`4@V zLAb1^MAAU+=&Y{;Polvqea1cC6WIK*CI!)|uD?yINS;>Mh+m$PT7g68aC2=?*ZgGm zAU!|-PWH@!>^fc9$Fw1P!Qw+7DM~B(0b&hF;VJ@qRcr>Y4dbX7K0;C2vv>r<#*cHV}B45_4*!{8m9Yb{)5lKk}C- zoe#uapaVIjv+hPi;8z!dJJNrG3pg*(7dg?UGl&=_Zu^4F&WG3*I^aBrD}P$_}JoF7_w4x*=M`Ql7l<@=aq$0XaG=kmF~_e$49-+Vv$7ALZ|=-I__m5+qM zn@>Y%E%JURD(b1R{^G=6rfe~|Pr9nTzFQaK^59zSk z{}bQG(-3v?WNNk6E7&32Tx;}oId~3@}U5y+I0YdQiayfoqIHWCm%I zdp5g5d)>w1BCwsnh7go^+FlwNbw@<{euFE*`ABF2l8AcUm(=UFg}bKi#7XW{l-dvV%*a2>WOkz&x5pW@w=r(b)AsR`wgPsx73?<ZSoWw;&`g{^?IuHSfd4|;1_upS<7+|cUPIiTEMdw<>rSqZ7*{$ zBXvWffCj+tp|P?YYl8N9%6-VoC?zg;SX;E;Mf?+-m!nj%dV>2qXU`9dUa$%UG*(f^1Po}WqLs7scELj1SK9H@M_TzA| z>mtvpoEW3_zbdHxeobbGx*;RbQ>*G?52vWD@jNS0KEuQH_~%kmWj5PM6_v|qu+n0h z2>~W>BYG=&=hrL$>P4j|UX5g`axf=lR4s$ow&Nd`pQNhW*`xG&RX%nDwmOo{#6PG= zDq0;vQLCd283=%a#20c713R_Q1>ALpQk z*K7H&EI+jWE{Nm%oR{G8_-_qAnyunWW`jMW;pG~xtOVdUR6J7{nx%G7wkNQ9tR+4n ze~yY5L6DbO)Lm_7skEWm9#g2vl;dK>i?aEFdKH;1{GGd7lW`_0BEk~QG5dg9c%s*< zc<}viyjRR~TCed86`!W{dYO-FID^&%9tidcRn*woRq9vZ+67gm@FRv# zq$NSEFH(t+7{rrQAWNH|Q^Q9!!DdaqNW;f9j|V-wR>Q6S#j0eZ)?o`-*VtpYS$udU z#nBS_Nz*37JjM8kEW}FO!LcsXn5BTjQf*@A5Bo@ zgGaoY7?b+DZ;u_`YKQ4Xss}r)p64ZLlG<;VyfO4Z9n+->J=gpDH9I zDy<9AYSqOEmU<1=$nDg9mz}NR@Azg-L%o)NTQr&bfvYj@=DOGu{9X2q$Y7#>sg`ooPph1S=#&yt=ewlyEmWdXy5SK zSlz6tf1rzslp6jo_g$*pX6UPK*uYo|9ov{=EkG|`f^-jk4fF+VhYr$3RM?nf9oNtx z_0xlmIi}!Fe3W_{^KWkP!L5FjzHV$YmTOr+iA{F;S(B9lO&02Jaz?k~&dy7a7EKkj z-($4~V;-cfRCrI0DY#7)(Dr*?!-iPcoMQ_9P!?!=b3QdUJ87iZLPzjSG&^q|NC_*{ k0Y|BDlg#?5aC5$CVy%if>A}tUVd;0PwOB^~+%V_=0N4cSCjbBd diff --git a/examples/more/08_algebra_and_conversion/example b/examples/more/08_algebra_and_conversion/example index 4f5f399891f29a4eb268f6b0c5ec2d438dc07855..ee4b5fe378eaaf8b8ca37e61c40c84591918eac0 100755 GIT binary patch delta 6385 zcmZ`;4_H)H+P`OpffVMVXsfCyW8`yZEdz+ts3nw*qoY_Q>PM zLX?2LQD`C!1HB2f zZxotD`C}ZEHzw|Pn@SANS<{WNa|Pk5oH?dD*Lo)_1{bOp1dBT$2-hsB-=cp2;Xk_n zm+$reG^hJ9+Zaas$7Ut^Qv^ZmFkH)o8CO)2wwJg?EUL&qQ z@met~Q*%NlTS}V}oVx5}`h7w^`-YAscpPiS2|{=>CMb$_^Q40KA81VC#JZnm@J_s( z&dH25w`5tizcE`7zUoBxBQRpfaFmnM8>{Tt&oi8Vs%Mo+9<;dEbGz=-DCA#NHtUjJ7AH<}3pwte#jWw$GT!SyB4OsyMM@#w>Kg+iuEoxCu)hG|ZsOiS_Jt678An zX?n>1fG&9=ov>%IZ%LozWhW^+>31xL4kx|9I_Q4KM7ErscX-)<&|8jEY$5&1IZ;=V zO}}(x=*DH!Md!1o%_v`2EsNtf(+1ZfU1An}=E`E%D0W;XJ5IiFd+oUsu$!X(s}@^; z8}Y~SHUN}nPo#w8QnsDuB_xXE=^7FmC=u^)rcqEzek1w)BP#84on zjQ2cT-YWG4a)!W64dnE+hZ(r(%>@?s1|FS4MUmXT)@zIrJ5s#smN$38CjRzAOl;p* z*5;RwsU|A#8DaZI*!~fAV1ykUVZ$Tr5Lg(y{6>ZMJ63tK zt2)+tJ%B}h!0Qu3b&C!fEpDX5q(_Wg<)T2K2~t zu@q@;d8z>EBDU`r7vASz%E>Oy$i7i7=M)V+9~rf2zdt>@{XtO;%Y zd;AOhbwLTP{nlR_ly3Q@!*%m{(1;Q?)g*RAWoC1|-2O#9Qs1_(Wy_93V(+A2=u^f~x!wCqAGtnZuU~!iT;R_gtDau6nTjDNvx54|Mx}a3q z!|ihNnq?hgt68)>^j^_BMMuTZDqj0$9Q{s~15%SWui5ew1TVL>#Lb1=c7|6&ZD3lH zH)`D^u@Rf{w_jx3A4Y%9ele7CFv#{-hnmhBd2C=y@WgS&lU1c>3RYhfxi6c<$?AQs zPU6Og;E4UtPY9!ot;D61tT}0>4jf02p2g*KXHFJNrvJW(DQ>p4YiF@2ij(gkjk zb)u8T=1#O#I{3q3o&8Zz%*ijL>fCe|M=Nvlb(fN;D>qH|mK{^a(aBtgPW+ArbDX+@ z?=au1xCRap8*lmRxNC00==!?({?HqxUWRUiQ=lNX-K)% zC%BsqGzTpY4Rc??HHWyrJn+|pH&lO3KLq3QlS>tR=Hc$j4%@J-zx0!JMgCC0D~pXE zKKC!)HF1TwV(2QewsMPc4h5aiVy<3o8+^0Z1)*;lZc-$JE9oZp5 z06WBx`k1l}YKq!|u-_rJ)#Hc;{)l zROmE44|hSM{f}hv{hUpt=X_h(^ORNeM1cn*KOKv);#6?Wmcnb6r&pmW`FH!d@=(0n zg35EWN;-$)(@sZ=?q#i%KPlBzgF_mo#kWxHq}^;M#ZTT-eG5lQRoP8&PYc-s!;rAaR{i8;W~(NU*Q}|yyMT)9)sZd@u;858Eiz+ zI*uEDi2sJ;Ut-PhRx%X(a4wlrd>6}BcnAHy_%7Y<6LhvXm%T=|DJ9XzPC#-lRZq#a zfBrG;785bh8c$4+EZGl{3tZ5#G_ATJnbRjj}s*ZDs!}%iFQ_ zd7wR@>-%MS0Cez(EUy6VKPt;NK+8Um7YZ$Ww{>I^LJTZ1==ux z$_6_4ku1LnT6R*FKL_mujl!GF5U3Zl;gl>-)eCJx7nmvlo=;`Dfe#GI@>dg0y+fx8t6Qn zT=s(smoP871PX^_`3}5(c&^FvOQ4;g{h-2EvV0S?71YCDL2ycI0Br@`PA%nGh{w(4 z$*hcCFVA3|bfnzj+W4L<`(Uj|!?9f0gkKl2fE%Z-v_Qi6JXqGiWkj<_w=33ctQ@1f zj(q~iLp6|C3!7)E5IC}g!1U*TpOD8IsO z-;cOh26^6ixx9#Z9$H$FV6Q?HJ*MD-z%?eqGrLKuNM@hV%N6CtRlwE)>w!~F@Ey!D zTc6d8@Eb z>v-1*7rt~_mJ9zMZ6eoJd0Sfm+H~K>nx_WLKEF8|3u57!X6sC|v0{uDx|*PCBkh@$ zVc5h2gHF$KxA7gniC#Uz(?{#DNW~8pQEq|TD+*yHBHZv& zpfvtI%R{gU*gYJ1*z9RE8~J-~wcx|RYd;(iMBrZmuj3QAt3|VsD{25f9WksZ!p3y7 z%*Ls}*8tx@uUD2tzX|TfIr^fqzz_x-MdQT>4D|@vRTL7l3>(1h2A2`*!L*&|-MmO= z#Z<#Fup*g)(+r6S+pQD~mKzp<>*?McEYX{kS98qhBGa5g_6n8Gaoe^c{&~aMPH9GJ znd4?wk|5!sJ>VaqkLDEGvb8r^ZeZT}$W`sOP1Qd0@Z{ia4F#*`A}Y64yV(}nQ@tGT z@@aE-bPvpRGN`*U&jC2C#;!L(L0XN&wZ^DU9DUW}yV6vusi|ZQvXkyYSfh ze$xv!+~?_dk#OYxpM-g*A^h7YHBN8-&Z{rdB6m| z#a*=y+FEO+fm+XP`>F~NR%EJkqo(B4;lmBBtaIo*Q|K3UcflR+)Ro|&#}*{mt#F&Q zAu>g!W68E4**+G#DARme%o7i78m(L~;&2rcgnJH<#X2K-JiGB+MFje+{X{? zXi5@;KBM71_};)_u&Y$EV_D z=<_D??G{;(?>1e6;F+nSk!w0|ej5!q!tth5Sbynnhg6nL%#7D6^p-jb**h(AL z)>`jT`*)~Bh=qXSl5`cw(=6c9@UmhRU!lq8X!tzM#1Yd6R6I%WXsNzTn^4OKXqPUb zZG|?~%2NX^;)K1}npGGlI2#oB_T@26zE$(`PHp5-?N*fUf55b1;b~32Ax9NtnmMy(DzQ-|LM){%bg&fKd@nC3y|_;2S62;+E%#5W7P${-@(pwaGLI{>Ht}ol zB~8-mQAHvS_@jn5xK+GD)37&!Pf~#a&GYZllM5ZLv)brRZB~so>$mIlGK|}Y(#s3mb6&4Y2?BJ>f;SypJga(?e#>h!Y5vg2m zvqc;jq1UNpd7&xtklISWU496Mu9g*rG_b-)eJiZwY_U>!h0k>Re*~1)QgXYTX3tfZ j9H5pK8MVIU{u0yRLKSn-tM`}0ezR2VjbrqO#?=1<+dsI~ delta 6368 zcmZ`-4OCP|mVVVuV}n3<3r&N9&HtYQjS;cqBz8-;yq+`&3W`5O41zd1iRMUt=BQwZ z8K2k_oa^q8olMr*Y&PcX&IyLhu9{@i7*|O$GXaxPCNTk{Nm|8(sM!z`^Y*LvUb{?Y zx6XO*-umj+t*U!(-KzJ7|IGHBVckiVv;;vZE|m!4{`}{os;8>8>ivHyj%v$QD{W+9 z#qNVqYAs9!vsz~$k({km>q5g{Q?p*JC($luvzRq0vnFNkdx0%v8UJ5rLF+8&DO!JT z!tsQ}O(PKvXTE(!^gUr*XIXeCYAS8l=UJ06#_fp+yOa@=>8L)J>8Pg8#^xyRF|tGy zvomyFZ)4AsJEDSpz5;fpAt4AbD4wEyqn0E1A@Er7zH zp&697x$q2T=0ph4SEb3jvUojGsAodEA~cxCfe2y6Z3Pj+%bEfZ;eaxLQE1c@By8Lm zD+p7BOV!5;UpOR;Tp2G`l^7dL8lw^+NWV3fCu=dNV4<~Y6OXVs zx@EMLXkn|s6O&qb2!zXg4W9ylQDKyg)*XK>}C39 znlqsQ&DTukZCOUVH)omAJVJ}(vzePV$0zBAr_&Shh3o}-IX=ynH(d}y7w}RP9nq=U z_R^L3S#>#?Ty^Y=8Jyhp2v#6le|e7}+~`L2C>Swdc!?9|#5ODDb3f;I2e(DZqb7R? zGzo8L6!MZHU-}qrN=RW|+LJId-wQ}+n^h-v-j%^wQTk+CjM#No4k{t(J6R5`$B-ut zsq{`lJqu8tHJfdqD(fcQw*~ZyHJ80l7pz(AH8LhX%cAJt5`V)s(T{DjSOq;~%VGue zYuiU`0sSm#md=((58E=Nm3jzd6e& zE?ARgZVQT?C-PP|xYxKF+zI!(*IxSYiY#}YWF@CBO-CS_?DS;LOmi`e;Fmu3OP`C< zsgPxiUduU~-oz&ouqI<8l?1WhM82)c(OubAp_NzY_qo}+rI+bku0xl0nd0(t+UukN zM7(>2TRQuc`)k>~++F9cC@2oC0X|FmUk|62iD4!(hZn}ahLhob=dE5$YL>@F3Ym7^Mp%m8Wg2LjBOVgCpsVO zAM`oTwVk_e+Uf1?YUpY4neP8n$(tpo#X#FZZ2fA4n@8Glq{XzkUut;OFa7kO$>ME4 z6q>-m3mTr@S?1|#?h%{3Pm5iZ-R{mY=Egh&Dg8cnqAIZdywPNLA&$Pryx_w>BW%kj z{LTw)V`7(gV7+)pgkqkyG%?UTyjt-doY(M%=KD^6#Ds9k3%k~=6a2yo%H zA@1B0+_~`RtENQggOj;S;poE?vV6*WgkN&7onJ%oj*`FT6Xw9mp0va4qK70V^PMgGSLg+;*|W^u?Pnwiid|PAlP#;+Jk<4;Q?{ zJy1?ZXXofr66pNwTwUcJnp$YrosNg|a_+zBmpn3y{aeu1AKFee#SQVj7C|_A1NVae&KLdRolH63>xU?*us$&R9Gv^+EoZKYM^)O+Vj;n}GXB zI#(WuU4pbyavFw2*6SnPoK-AH4RdBj?TS-W#y&-l&pE8?ADRuutLmCXhRW!FqU z|0gID18cIjU>g`)e+s31w;uyl7lHYg1pR^7X|ZsAz>p21tShvUJahkj!Ab~TN>#G6 zhtDUh=w6N+{ubZP@v9g!6r$2n2RlnGrFXMO6n+DpDZN`~JV%N13fOn#o>vx`bqI4#SqpyQwuy!~BSj=@!A%X_k%2RaJ+BT(}hS*{0l zot5QnpdG`wl7b4D-^-wlAIkDY&|c68BoFgPvYZ9l0Xkog?~))GKLFQ=EI0CoQCZ#& z+KWgU03AehCLsH4`2_8tkVt&mU#k#jU566wrNmg2X&_HcsiD_*DOpEE~9t7?-9y935w@ zn5ul7@mr6JY9R46Y@V%3ICMj*1dbFT23Rlc^2}f-=r?$W=%^=?dFVq=G22G5UOW3| zD)ic|7h(Hm$n(O}<{0|9Xq`9Sx*3u5sDcXu*O&m$43p%YfyjK$TOKO{+YW3LPD!Qx zi{ld(#pUfYxZ@m8M0(=pcTVxdHR`^gA+I&oJ5}J)1CV}sgcdDc~|zUlwN?HiL5!tFX6oJqJ+B zLpEFi^{Sro*vQ3C>baU~Mb8~NuEz~Me2FKx9z=%rCqv*LkHf&W0b2oHcpxsVDbA?i zI*r;VbdW5S#rPC+SK2MDh+1B5e+kppN;@;sen`xxe(<~Kd}XmEP5YkY zHsocL(yQ#2E!zJb{>{uwFV$2nL2UlE%Fd2af7J$NCil{K3hE-rwWNnN_6;quGbsMD z+6IC28mm4^Kq%MPl6!A|=&P#uTQ5u%wopw?1@+b>>PZ-#Y%jf8SH?PsEstl@@E<9jT+1UUVR?cf zA3jl#R43;!a--(WQf)>{!xFS*xzQSSd3ebC!>#Rmwf+b3allLXU(5jw@7A`2vLn&{ zTo}i9J}+9c@E;mJTBPF2t^s>S!#gxw*&M*XQt<)-#!-rrvB2rEz4(I0i&fkOL0%GR z{|Xz+p>->4$xcnCLyK-DA40~j$ZX>8lAW4NW4h8^SfCkZ4{$S&{YDiJzyFT+N`6V} zm4=D&GDYikoR4cbgVr?e2=)op)Z5rKI=nim9Xr;7DGM&8hk&Y5_^HDeaxhJ;&sB+# z9>z0NV79hEhlZO=RlHS`cWHRq4=lS{!!6_URLN$o!zQwQTb>9U}Ki zTRT4jd8w!ZVt@IbRiInqB@?!-HBlgx&tShL5JH^5IkCE#PKh zI-OlR2w&GG7ke+eY~IRV$bq-2eq7}lJ89ytFc9G`kilNi)`)@VIrkiV6!%{KFhjOO{AuheYqJH0wtmpJ)1 zvdg8^@RPXja>M5)#S+w< z9;VNcb3<`dI8U|G)(xkagPg6!QQ^PB0&Q(Aqt;dj4Y!)<5T1!v$L&KZZHYSIC^?NNUZlc=_sC`hHV)iknDQ5n&lHULC&ijt?w`VWUyyu?Z zIrrRq&pG$J_htP@tnWkCZZ-8L3gPCKiD2EB^O8=8Q@D+vICU#V%ghQgF{ek=$y|gA zMww?I(fDbn$-H*n4OA`jMq0xxCaa=lRkW;~FSFa&$p1F@ib@`QMMbgd`AMH#TDB_l z%?j1JKP^0(^wOgxMT@e|(rR_K*$TDDLIhz=c#xHLszb`;fV@~B2*rLCG8wl^$`qKxRb>0I<$!;EP& z7u=lh5;!f$chUVZHrgCBZbp=##-9euhyhgzT0G$)K_|!(zF3v82pD&w3%}mXQBeZq zx!48A+z!rbgmHXV^lgl-Su0FbWPy!O!QoLt8JD3k^j`v10wQb*%VUIDihfdKV*-!S zJcVD8+=y7Jui0B}Z!h8eE4fdz7x zr$r)7(^;669@AN9wJttERAe!bspxf}uK}$Zf@gURbK;^}v2L(kLv#I(eg6b>8f9M;`Dc4Dyb zNqQpj7X7_>f)Hx@MUuq8h0uQbIMG@8a3+^0NFzC!ycIIZ{Q2#I@O?X2ou8u`6(_}4 zmYc;k&D)TP>$;Zfq<(|Fg}ZN$LZSZ&7X}ND(A=a{_D5Qol$P^HK*EZfD#g~x5Av=U z_;Pu?*f#lLFrkB2B`H*gDfescquohWY%*ERSt`p-bes7e_A0$%&St--qh<%YkFJ>i z%y!bV!=F>7rM%%a;< z94Hk_Q#M&vIuN4YwxIBQXQ)ni5F9+Ld5}_4N3&a~By}XaK=rA1{eR%l(1VvH2}U*V z5T$0aztTTbN3rMWMCyf%ZE!RseSFGQ=+_&vkD`x--1%?(G%wNl5d~}>rKj217;>l0 zO8X{*k3e)0Ln znMa#vi-DiT)^nn_?E!0O;kS|$*cVFSq}v+^ZT?{}u)p}QVZ;9*RSetSXNQAP`r>Xw za25Erl2m`&?OL&ImC@gpx!E7^JF-1L42rdf#lVMwJpr#n8+6C4JLU?0qs2gl!{rMm9TtP$7&qtAxxO*b_Y^Z{7-u%zpHx957d_jZG(t-@gyTlcv|mgMlNmpim#@e+s8ur42`LTueD&YkC}_RRCl_bk}cx}OysIa7@z z%1Z_9&Pp>re^!$GfzSPc^J3sYXw6yrHtXYzR({NaW|K`23c7F{-ROimzmcSHF$f*} zhQ1t?r8;tk;zzqwTh7p}qenG+?(odedbqO!8N zUGD#au0YS`A0)%J17i2r(Lka?ePKmDpekRWtc&~QvrC31R6uL!FPPRlvCa|IG*+y|qCBnV7>|e6le1S0rtbH#z0-qrUuk)6 zU`dF?hv7*2i%;jTI4AO0)`{cfeXbbJoe#z9{y#G(glhEy9_`ehoe`UY%LNW%;V}!v z<&07t8&2bLM7EJu=Zt0ZX<-JP%xmNl-=cZvNhx1zBWR9_f2aP!}ob0(7szYX) zlAFhVM-SwVRIM`8V>!w6dagw!{!AS?R#pDbFyIIW2O$w_fALiE;9P~<)s?e7!D@#A zA*#YIB5wfe|BIAZ&=qR?iU;G1-M9=09)s^V56~mP!pY#n0X;nsDgy5duH!1x;2T5~ z2`itg(3@X1N21ju26}k3M8-)tSpJDPbSsYWK<%sd8SWqC(L!(z@Q9@&V)tEP)+?0Dblu*C`oUOJ{I2Ok_Nl(Bfu9mdTW_%tg4U5nV^`D}*omSl(h_Gq%R66PWEqjv|x;C*<^n>fM z{2c~Ccz76Og>Rr&Z*X2RJiZ)N$+N@5tp^kSiK|t?5r5!o6rU9OQ^8&Q&Qg%3GXcl2 z1V)arJD8h38@n^^DO?a`W1HxOahALwOz{CKHTVBVlD1;?1E5`?>4zn$4|L`cNooLfAC)9r*M$zyB+#x8 zB*_Kp`VdDDwB{p8ssU~PSdvzQ_V!8A)1Wi4xVJz%K9i(#pu!1BipPgZ4QL){FQ{8B zGz-R)l2iep9khW9`Xy;CsDK>o1?@-Xr=y0n;9M^O?f6=fc7S%FX7+>jqCjgk_+B_C zNmZb3&?TT-K-Yo_xRX2!S_Arb&@RwJpi9qVTyzl(4oK1@d_A;ZlBC!8SH$=50O(TC zD115egJy#+#r3O!^PnAcaLVWr{k@Xp!~nq?6aE}>pnEfZ*7vYCN+`)>E-EOo*s|Y; z&)~~Q<9ZwLbJN`=qsN>j&nd3~wgeK&4(Mdy7_h?W%L1(o^2F$$7}8MNs06 zubdy?^}zVzdE=NCLHj$fN5cp<1)2&hoi2J)n3obtOA>H}7uEvHM(mE!ywVX)kA6aH zOqsrgskgIO{REHR<N z`AXjc*M)4l6*CW+L*#Qz;d8)+${ap@J5xuiFiGjJCJFC=dng{+*MY3WH$k}ZuU4L^ zhk)I|kq7kYwR$c8nw>68fFKE}dxJoj3A`G3B_DvLs6@S%8)^XlVnm<{VYHEml28yJ-R{7H>E?;kJ@|(`T?A+C1IPHqp-Mi}AglF=Jb2 z-wZ2*xr;L`fHTU?Y8?z@lv`{owaUmLM2-I)O`!7fGJK_Mhpqt&-VWU@c$?kW)PhN9 zpi|`wn3g=VELgZ_mRW5Pth5YVHU(xqVGIAqVaPz9>?#}soZs0Nwv>Fcowmq7BqC~$ zC^{Xq5jt9WdG>Yy7yKno%^eA|I!wyrS$^hK50z34B4@D=hSMg^~Iy z(yw_lYzL3&q^q=JyE&C*te2KmTG#*uDsO}D4^|ej7GiS}%|^t?SQ8l`(_v(qlVTo* zMHrO;hRX$n6KUC;>(Pyjx&!)_=7$hOK4vEV7r@&JWkZiCxR5R5;q!{_9~8WOjEqOl z#1;kb&zJFV`lGvB!CMqOoc_R1$at>Mfx9hlS<1xx9l{qh5H7f=o#1(s_;L#jINByv zqR`@z(a3Woa6ZaqmJy9&t&r}%!@?@~)3#XAF=og*{6Am3Eu)LjY2rEs&nPIAop;}D12pfcCYbeWG7)S;|($qauhuM2G@IKe7G<$Ue;Ws45;7&+OA4$=Ea9k)o+nSks$2C(u_i~ zV69PxDCAK^->n3vL%|=G-lo;TMWMx(ET=|Vf#hVs8QUsURD%hDPyjM zrP9W`c=hPUa}s~r%28dp)7(ntM&8^tbP+ng36I*qpS~9r&3?OVG7^BlD!5C*OO+XS zMewmQ(5FQH9a=NjV*5&wwkV^@l~I?&Ggi`?DytSno-eJd^UU02RcG@2`!t>FYik&* zqBC_)Q#yYephf6Il(Wcb+N4zM2pvm}KzkH4LObZ?MNVC$Mz5q(i;Aw5{7C8Vp`7|= zty_r!mDgM7K)p#5#kD`Pf#`JSTK OAMcjAWJa&lru`ot62jvE delta 6330 zcmZ`-3wTu3wLW_u$xI;gAeqc0*$Ad!pCkQs7PClDavAw+^97#`JNNvrn* z0tQ-+VKiZB8?0^V*Y7H}`VkDb1$-rf7|>#(h_s*vd@wvz1iZutp8M}}&Tv!v-Ti&% ztiAuW_S$=|wf5TkoKx?yZ6{f~%YG$6P>N3_g4mJwjJaxr+N$dKhsPYuQ5!+BGmqb7 zR$Eaj*wi)yiQ&~swJp^CE4As>wu?41r`@JW*)%Cz_p|H{Hs=59ENGntJ;mwoPCTD9 zbM;qGRzLZ~^NXH%{qSt_D??AaXuUqyk&H2JO+?tNjF?OZ^f^pNb84JyqVm2>c7unV zq_cV_dxrdma(0^6X_vvpG8Kt_8UT7-k@$|589h{Ibg?%Tsdi%>8{jpg9Yc+wy}Cro zig|iu`RvN7rS~j*;DMD5573dAtvR8J8D&c+7EUZI7RsabQb7@$TmU8iy}Tr!0;e+>56`XevwAVo<>%OH~$+Fbmx@ zIg7Nu3OqE7%R?YqN;Etc0HX3yE{2OAp!*YUv)oxA2$7ALj3|8>`78Y`!BaCXoAcxMjNxSZZt!Hs zYj+C5^>#EbpdyBi=Qt@HTIUekjKAmgtv&0^@}ML>GRQu9Qa;#mjz6)Tv_9!~y6nH(y2X0u1= zx2|?GL$bVTy*r-Kyjixy05oJ-%0&S5E(ojQiSO*2z7 zEPG(l$OB)?GL#zsOg~G_W{=WuQpd3tdL{MCtjAz!a8B_d7o)zyn)@#5n8>2n@ECtZ z$J2_~^d0FLES@sc=cXUa;vL{!_;_J&`g4 zm+`Wm{e@O#&t~0pF#FvWQMx%#Y`vTtXuIDPx#x3PmJUTmbJ81-B0FzvC z?^yR7X9Hn_rL@-?K7e*xFf~-)E4FR0h1wc~kaTFL*!yve|He(}SZgm6*>_^6bx(hV z^oH0ws28Px+vK83=^e$`#=?y{7O?x#Gsj5bJ?_j2I5Y z`gkYXPr`<;F&cs+;C8K0wuIP*>dbJ#ZK3ew+(7BY4Wl(&`lzDyh{-RXxazmsXAV`A ze$jj>AYBw&5BWs>8n;QDw#02~?h#uL=Ps`GFY(v<6Yusfy%2v{mRpaoqIWK&Al|GQ zv~*m$Z7INzbS@-)AxdvV{Ff;_?)|KKK9R6vFY;GW54O%ADv_UEl4WHtMWjo#HD|2u z;fwTKj#pQ8kv_~B*HR<(A+Y@m{L=e7{WoO)e1DCy(VrxCtShq%o`A;V`AwE?6}RB`H3L5Zg&sy+zhb! z(pVW)G4C+;p>^x0KwFflRY;#jGB3(%YU9*ETSKQDn=c1ONT_u;qX z9q(?bQ9TV8bH~>I;IFQbWU=?WejaRYh0hzYs$e@_mD}JF_*`9-C~W-lcdMySbq=vISaTvQAOz6^)9JwDm#Q1@X2i z5__IAD>rHWZSD09^RX!Td&FsBF5Eo8-Fuk37e0N-ngo4tGj}Rny?02K-w5vKmlmvN zcccSD`b$4rxUs|^ULcG0Z|428B5Zg|3|HG(ML6|DbbkgnAzyUDxtQN3SOLM?V-ibG zHGi_g`sGnrJBXujqa)iPAP}x&7w5mtU2vMDf^qB&brt05D!0+;f(+e`1bATFecy(p z&$u-^BR!ZBWGg!Zk_K`+7km?W28@t&o*TY1vg#8}3Zgab{~A~cJg|^*UmF%&k)7yp zYj;rlglzT@?VE5XdwxgZQeEXIw5)LAl${?dN~_&CE9?e0R}tB&Vk3EL0Ea>!KX3Z% zJfs%#eD2ssM+>uy+eax09Qh0~z37hI9eGpjtETa4&cZ1U-3yOFS#RVy%JS4EiqLi7 zI*#yH_)C;Nilm;S9iEv<7vYu2AI?Q{(to2C@t&hEJTCJu!NS5FKPRjAVRngjcpqo; zDW_;dVFX#@=cB+Y{tUGhR?ju-uh!wf_wUc*+QaeZEl7Fqz>dgzchWmWcd;upVPd-3 z4;P|ye%3_slMakHf(xgr>@W>Xau)m)D)`<$2&&E*(=F-=h2#G`5{?cVUj|W@ z5!p$JlmGf3iy(L*P07UpKKc@O6ZVd&@otVA{~ce?@y{{ci0cE2DfZy}pHh4~+fBw| zFT0nXF1}q?a)v%D&S&3~eah6B>N601n`TYPcT}IoB3o~=jm7?O@Q09eO$<*EDLf^M z9j850QmZX-u;z0RT8ywaprM`{cV8I#=ddJ$>zjW;C_H`AI6?5wuaHji1n{-L+An=y z1BGtD^Fnzy`643Le{^R|J!>M{2=5EN$63pjw`F-Zw@kk*_kj8aWcd_m(>t=<2wL~9 zEaQGI^n)gX4xW%@FKE?!NVlMyPReo}XxIC)ydLz*DOv6WZNda!0`31mmM?>5ekjW$ zkt#NU7Jyy>_380d;r&RKs{wR@Hgd+GEN=nLL>Tsi`mhC3k!uD&1s}8yDWns$DS`=u zZbG_^a6ZmKml2;bI5`VIn?M7g{h&)gy|`Aa18oQ04(j_tmivrTp#bOF_W}&$L@`$`TD-bX<1D7K5ke-KAz)RM70AZzD;V$~e>Dd(bR$pGuLJ4R zLkOt`2=T(F&NuOHV0`wxaLfd+odEWbf?!pksla^nRbVt*PVvFAcoEnZU?QBCMzz7T z@c~OoYiz($r~5L_QsTFG{g&JrmdqIz*9?nohQ$;dA@Dx^=#xs%2Fpru?-x?x=BBf< z{2*UO&|>?gE*Kv(<1zi*M-5@)_L$aKeHn`z8EYyZq1reE`5yAm%r>q=Z8xo)nbE@a zJcU*}!es%pt9r`fV`e_4=W41HJ(F}?j~{yY3g6;-aCT@vF9iO*I0)L~XZyHHzCua~bjW+D(TQ?Zz1458+wWvD%f+Byo08OEnj>!H2kG~*f6Z1j~_W_BYq zOAyOOeCX*7=I94=JJ~BeY#;e6GwdaZa$ays>S^`wSZX}GcpfPbyx`9gn^+F`6_Nj*dH?bQa$V(D+EO4@Mv}}Ph zxm1&>!aa-^qt-X1$gJk?qK%r2H%pb7rpasrZsUPor{dA~6TDaQ3tF!$c`6>O^?Hqu zYdi^VCU*q;l;$jSva7Urv8x4J(~c<%KD7&)N=Zb8FQh3`ZAUX_Rumtj;sx3Qy&68K z2{x*1B^_`*S2T-9ExTBgxA#m@B^$I3tI58|narofyD3>2oTz;V$iK+h(ynoBnw7h> zzK=%Nul-5V*uw9llgm{FnP!*2Xn6aNCikj_cV(*b(Ies*aGQ`q?=P|^pVVY}w4FRg z(|KB%|JNE<7_VwjQZ}jvT6UK+*@5iFSLfB%zD*SpvJ~zlaP7Ke!B(fi8o7fy?sBqu z{GHaQX{giUFM5pr0=Vkq4z7#+iN7mf)TD(>RaJwg@pTQa%20uzh7UyLC#t|H&BmqYj{MOQ+XRJ9qb-hoT5t_{)5=(Q(E}_+kLV2K4bTS z`eh7P+yl!!_7e2sB}zBbH$V?+89GWQQ)z?8enms0w1*yQ@R*~SxQq5SOud!jqp5z7 zzG-MNRcRihtQAiB%?dk3R@i9&3a@JuF8{nlY4mQR2s-bz+oL{@(q<~X*JF;RsS;Xy z?;AKDN*g`q=>J}U);3P1#zrrlYP8XAJVTA%TL)6+Y<0jvDqShF{ZzVYs(EO!ih1dw SRa4_~?@?PRjQ+De{eJ-?(#Tf; diff --git a/examples/more/10_twitter_thread_example/example b/examples/more/10_twitter_thread_example/example index 376681b8e0281efebc8889c2940d445d4dd3d845..346555029dca56a81800687e4637eb8743c0b307 100755 GIT binary patch delta 6456 zcmZ`;4SZ8omVY;C+N98Yv<*r4Xi}Qe4@#2)rE~!|kEZlxNehJ*P%3n6DKH?G5oTZp zX`K!$u|x|89dLA)@ndv;qd%(E9Z*MF5va2`TLcjYl_DZR5GsmRp}hUyycg)oZ*PBj z=bryP=iGDeIrqGe?)s4R9cOKJ%dQk5+I$KT+PCIBZxDv4+}4jghUc;r<~g!3j~Fp1 zT#O24g=Zk~`02|PUVrybs8-?4^dPfY?5dPqm9lsInf)sp{r@TVYZT>v4JB$9rPlqW z*81VW8xK78-NG+*riCh#))|RkG7wZ5F#qmN*;Bq|;g(JB7Z7 zy~`15jPtU8&>z94M921Xbeqo0&P5e2MTL6i#!2};)(fQfzyI~FRe;&(9VPjv*H9T{&a990aPRCam6kP204hokSZM3x*z`D|jE|u)^q&V+gCcB?jwc9n zRQc59%aeGV?pFD=!gtV zIWWV`*0)&c^3+J7a)XW8=>da{HW-E`N$OYv#x(R2&=-L&7=-HR6QCahT{Z|!prk|_ z4NV-Hv~Cb;plOLVM=WvqteXdo4yAiBYUHrmb_^Od(NnPaBrLu#2({3AKo0}mGYCzk z0if4`b`L^_(YPTt${RBDnJq=SZRXMX#94xHMa~@3k!$`JR)}7>LJ&+&zaV^LO8XJ~ z0UUwB{NH}UzgFI{-ZF%l#CiMla9OMttAgRo3Obsc$I7>*WUyj#r`)G8+@Qx&#CgXv z1VIWXEsm0DCvM2HY)uXd!nbWwcv>+!Qdl>hlj8n0R;g8YX(sxcI@cKFUX!z#Z^?d@ zLf#OSFVqAnFLeYvKvHU2&H*S0YsXegEz_RnT`6>S%}}Xz+MmEgez-2nk$TK|Q1=u) znp*5wIW}rgS*yvMR1f}&$*ilQ)2TK?P~|2Pv(CVwl&qOdrd8GzjOd@%Z1xM%4s)|= z${zL%`y(A5_LN4OLn~~#IJuA8-0W?7!}cjVN>A9wYIbMQ?`;`u8(pxsB^pqvu9y}j z8M0`TVKx9BJFYwbrez)U zdd4hlVxs$K(_ATZO=`I)`CIR^N5+38%b^323l~AU{GrIs?*~E$i;tMLJb{C5+Wil9 zBphcf?lOgc1HQFnWUzInUTXb~IoO)9GZ+fGv&HWRq`D(g=!4My5cV$YOW1T$41H<} z?Dv~?f8El>q^`5^rrrN7u>mo3pryCJNep#Da;Q|dU+fytN?pBL3A{Z}cQ6o+>ykoo z?(hs*Vm*Pn9t_4yp(?jG5KcWJh5ZRW&bhd}In?dX=|g9-Kc}-L!qA)AkZ*GSj;E|p zS|GPpx&}FgZ5R+Q=`$gOT4 zy4+HKY4JeQA6mILtgjfWdtd^XsZ#42cXqIKgWCmI()!(ADO_E1P;YYLm|PCD9MW@r z(PSy>4-}tTdqHZga@(br13rnRy8YTUZoO2z(rq?v%Eu9sTHcWs-YwRMcZ-X}#rskmX?Lvta0w6gm{Cyg;MIe3;(C&t%y8HEw|gol>~acd zd@0NOcqxzU{F1C$nVP51)6^`lrtv(j${N!o&KKv2)qxN~`=eMD2;C4vhpXrEq>(~! zs$Oc1%gp9>`TiGlhProtFPnBBlDf{t1Br{ga9%YpA-7h5Dc$tl#$qwNNDhQ9BM3-} zGw~9;U~>9|$OVjJD|`~-9pWK(HX-_;nn0+mlkdwX-fgNhu9uj3$y+y_3pThF3iELF4RiyQcrdX)DrBF8ymBcuSMk+W3CvNRY9;E{f0n@4h9x6oU5D%9N;kvh9 z3D?v^*jxS}5=6*c+~Mqq1=EVfA8#xW!+y6c)g8?_5e#qm0GaF8FezMf0JlWQ7paHl z_@F}*3|)?#`COJ8OqbuqZesa-Z;#+%1VXuo`37&Hhx5j;LV7tbTZ@gMlX*_fm&w@T zf;!I+Y5~>zL!U{ZOR){i`yrBwA*E7a6C&T8i3!4D74i=mBHhZ66lBN()bF=%rO5tB zGIy(u+QwzDo%HIsnQYv){KcC0&d|^D$4_!72CMiD#}en}x)Gg%4dvVs+*-Q%U8~u` z(_{g^D_B?3yZIS~zGRN@G>1%AG}`9K%$S1+KODpm1Ymo?-(jpPl1J&DyHonH?|Z++ z$$yJqq|m9zi?r2KHtY%D5$9*Is!)htr2RBq^4JZZnxa{19YZGXZ`m`n&AXi$DXZWC z&kl_IG8wZKK8{|4$@7irp*1K-;vSJ34=4Q|&s7EQ2Sevjcdi-fXu+MVk;aWrOWcV^ zLFgr&Hd6KYzp`vfny`1sF99m%*3gj&w!AQm@CxxdsNyvIE$9q}lkOUdQW<@GLe{t&aVGT3Hga5dJN_iczk>>_igm2 z!aFp3PSO{Jx$H%@`N8nClX%(?=LJH?dC|QpR*9kO)v$ON z@Z4a|0AEC8cSl;$EBaS_&$6bT|B>Zx_}&ZJ3u-=sM8&g+`F&a53|=@Y%l#Y&9SYn9 z>H_tFP6Vw5Z3FEAeHOI$m@IdK&i+7_kAXHHm*qat_79=26@+imF0HOT{!jEL3_?& z0XjH>a@q*mhuXaZ)QiWG2xu+nbxjJ%CDKJqGl{lIXSjW&*T;}?e*#V|kkkMZlI(+4hlZ;-? z*+iqhWQgDb`zEkX>hfo>k#yGYVL`H%I@ty)EOkzM6M%>9WI$(Za z>s5@qwuL7JZ7m(aj?qh{B}sT45WWSr2XQ}11Er(9qH%IdLYc9dXt`)NcME2 zYr4@s-DsX})Qdx)BjM*qUP!$(W5)Dq&bEPl^0X{__)=yV&5vrJ@`x6y;W){dy+v1M z^!|H%)Vv?&H9x|-|2FHTL)=jR7`B?JYet4H4#~BQ&d+c*aaZ%e%|=PS11=AmL*jEx z=W}2S)j0yjHl~f&V3N|?CW$VAZ`%gg^C5+^(C3Z6|F!|E0fr(D#v{+{2!y;&P{DM-c$DSQ_hTdAXCBDFg`@?M457`l#Gv$yQ%~ z`7ZO;O^ynuWipB&Z~V0JwvGZ7vsgFntZ=gJw6|g@J^-Z8+TC$tmYu=e*RySa(<`l7 z0}P~B+8pcjisIm_79XT0Q)OittEHDAYZ4kkZH`^ILH@L91&gqQPFF5wdJ^Z@;J7%) zsg>`;10c9WuqNcW;#*jy1AQCJGd+%L$#B& zQBF0!?a=CKo5nSX9}zfCc_J#8o_AUz~B^G zJ?~a{V_NeeZ)>_AQRF(!!xen3x}pbE+{?2JEqZQ2A5rnnaZy-^osC^8ZuTg6G_BFy zr{eAT3LZTM=zgl;(}i9%EvB#n^uc$JOxyo3A zD)Tm0?hq^)<^3cTuQ z+oY(HuvsC(R2AQ)YQ-K8O1T!BPhaC&N9hY~>{tBi*rLies+k_U<^O>yA@f>P>kz*N zPN|Y+mon87b;k25Uh7nVQWd`%!^bPY2{k)(bQ<%fqvS_dr)pKIT3)i$*w{**kBL52 zrZ2VQ-)bD1j$bc&PS@e8uVrijJ-EbUabcXd7`>mmfJPs&fX3)}VhtWkw_5sRw4KBT zk0Dmp*U|chqMLV#*xjO=x*D2Lc*Uh2LoMEec&nxLON*#+shN4HYpKT)i)oBrCAQ3C zh~2GrQ1P-uEJAF#hZ>iAsdl;95G&zkTED!=aPxl+w0C*Y&3cOV delta 6496 zcmZ`;3s_V~mcG>w=;qN6p=lbyZUy8a&^L)I^D^I;`Jy2+d6}d;x{Aqs2_%l1851#@q)|*5A0tULcTe40?J$|$ z`o6xW>aTN7Rh@I{RNdQ?$I0Lc(wA%wCUA0bD})>C&v{;76RWgp`af~%JF}EVCzy$o z->X+z5z3jAHbD|atJO-IYx+lOQY-Cb*iNiw6XP;5F4NEpY;G8-U1~tjVA@hvDsHTcsk$Jv{wOS`MYm>?Qv<-dQW-=<*Hr}Hl zb6~$J5oSj{7gx2kx@OJYYae{DqxC^J9JMpc@2jX>Q&dn?P|Q_D>SdhFHow57R0<1R zuqnE@E1J{dD%G+Lbx2j5US74Hi(x%R#6Do3{UAQZ7d39EWAeP zqA_NG8#-$tla=AAX}vTEBBhk!(FhR8*IQwgJ}zFEhN__n(Orl(PD7(0fan24+oz#A zcni@9L^n@EW8fm9sWEZ!k4{75AuYxVenbbRp(dzCbPJ+;r=c@oYmC*#HljTB*QWJa z;CCo<3T1|;p;q`b#!8ZhNbH-MCrop6s-+xvNy=0Y<(h6KmUgP_()j)#B&qMRan^U( zvvtYPljc~m6s!5T`;2xE$FZ)=AGOnd)V54-^UL3%?&BNydVe6Z0ETAdk$f1Nkxp!& zNq9i@?G5Nm;Fmv=&T&E@-YApulQC+R%|rId$4`UXwuGyP@+|z$6ASSCUFtbLbfH7oQ5Tq z4dh?o4NEqugR_Rb{HU#EUE+d78|t~^Octi*boG5cez<2+Wr zi$Cpp_#v&3{13Qh*;Q9(L+z~ES#`6ih}oZEx@2q&g%{tTx=nJ^lvWJESss!NTKk&> zEox68wxLt@x6}mSztWeI9yp)=ahD+8SSIvLWP5raNDdcWlqB(B_`(E|kVgzZdF^}g zaM`GF*C}+R@ud&QXh35q3mF5iW4qUz>Td}Ny<1KG-d4^p9(+;=osHtJ-4NgF2@!#O zFANx88u5uogwU8;5Yd#p@ud&>K$YZgdCyOV{k_$?oUTz%V3Xtv+#Avb7D>Kq$NeOT z{82){6YZu#raJI@1!hqCW#;#cuaeBx?;&G@GmB&p{xDg0lD{VL%jqViHW$R|0iSq75Ig$>@yt4* zcYbEJywJ|!!oQ)dj)>kpz7}e}C_#Kz*#0>;DM>=ks35*4lpVwUxqX734?@qbj47I_ z5$wE>DPdK}IfT2`xbq7{yX2|)#4p2>WYueWKS&1by-gTkYQ9|?iZLCgm= zxV=5%*4NsM_lCr#1Ag(oL8IB*wKqJ4121gav#rF_+d3e$c=rgs)qQ-=1mSU>fz*(X z99j}scSdKlyD^Tg;k?j?f5Nz~obs2Q?VJ#Ly~FE-TQstHIvqlw_2gZ$_t1Gw2bu4C z{F*6l+=LDchr`s1%7QM#+8jsB;$(SG7RM$-Z_Zpy3NPpQNC#ZcDIx}N=GyR1v1XnP z?#`WOHd<*0-exI5ihC*l8vG`A4tWMbx%uP|@J;R<)iMj*$Vq|xc~;fbci_rRR(%Q8257PK)4>Ypuq+NF(hbZCUNIxv4UN+Y@q6^ROWDL1AHlGIx$r=N_WYMUNgZCZRrbGIc3BdjFIp9r3HSK7Drp7cq$Cj181L^ zhEyX>=$1Y3Z9#hR#u;+{#&m`}Ar!~d9sZRft7P$d+NGRBjqjndP5h*tcAJHVU{adZ@?~GxMexq?%F{9nu&?+q*4m8D%f^3y2rmcxYqP2HK>QH{CcKZ(j+pc289`mNk_4ftXjaV8 zcv)w>*$6v}UL}oCe#`5z&mpL&dj`mSYu z2zP*I{vQ^uM8@$nITw5A_^UED;_lJ4uco;6pYbgezlakKhoQLGMNU9l@oi+YTwf2z zi*HluPC?RwTyh=w1tn1#r;zivux&wZQpR6!l|47ewqicu{lPC@76SR%G4S>R2l)-0 zUXZ%%YrHClw;_zj$h#ql&kS-!7ulT$7u?<%GdMa^#;^< z1@8~b{5d!1BEqMKmXy4#15>Q)W%o0rYwSZw8piogA{|5O8pXYeR|(fglJqFH9Un{5 z6vdIoA?`-%K-!FSKGJTaeMl#fK7*9|lOzR^ZbW(v>ELlmnnXHs0_8DRm_CuDY@~fS zf4>@EF(yBiq%8=zKa-?ANC%M~pp2&_X#{Bv(sM{hkWNwjj3gyu@^NFBHY07uJ@O(_ z4zs`%((bQt04)xHS-1x2AZGu~NI5)E_ab#6JwW@B9@DPCnPX)Fff~GhXz)#9AJSB$ z&0kAWBho=U_I4rdzAQ=CkxnAb#&?J2E0R=?bOh;U+QysJYqX7&gKsOc$RNzFoJne+ zyfU4bU~Q$nNXgJw#V3&3+e+US23RjK7R&mFJc&E9QT01(PGfacst^+{2zEX z;@7{F3Zw=qAQ&7f!Jwmx2C&0}aV;yNzFB0@l_I_m@m+AWsw8RxYg`zLgn}ps#&Xz8A{6*$Y2z@WYoOM*Q0u3$4*kAL{cfxc<1WzR zi)4#hA9*2f26MHOyaIf+-P~S+3b8~&lY>pwcA|rR2KgDPD59P9(O?DGAn5Y-!i977x}Ek)c=(6pf!<)gBO;q zNg2sdI@4%eV)+VxRL^84%&9NH3tnw~6%5y#^fQowaC8#;>#6Y3`oCLImc+*v&^Op| z@SKJ!oaUwmt7@_s9&5ObJOxJ^N=P@5G0vpa*0mt&G-iT!m5GhE&bh+kFk3J#4UmrQ0#HEvwGpnY_!U}3?<(c^~VlTHP9qXJs&uy%!& zIH9)DT3Eq&y7AISir?W#yO~3X}0~6@wn(dz!LF67&fi6c0JE} z-OS?q6ejLjw&uupW!BC8p7EP<6h^{q@h-!IEM#tm2E)f33jfcT{xgW1xD<%K(`>sK zk!9Qcd&YB#TCy+>Gat2~3qS7ABBytxGZ{YeBY!V|(4E%8D%RV~Ec2)=i94 z6z*20k$xbitLnBZfS2Jkxy!39Qh<{zGU)Y&exgoDD`gxbOtO|qR#9Az!yX#7F)J9K z$ud;5%BD)1{#o1YmRtDIdgzYT&uNFgX<17M=HFJQnX0EHLbpRdqHjbiXoSv(QA8&h z8lgcjw>kBZ{Jsx-Z6!Akj>rKr2K{Yac*8QUcS84i6V$ACnY;1Tgq8?(L;rfGImp5x zLZ5}v^-g^x%e8~P{Rr6$qwP+8>?dfeQe$d4?ze9Lhy-W*ugW9 zfDxr8_HN*3oMpsaoNc98<|NGy2|JSYRou9DY6Rh3sun!W{7SxC^eskgL79mX^ZT>W1IWbHdoFE4ah>aF) zl%RrL8#9n({F|p~WAj7zP@^`s(+1{pxOFMFF6Hj{ExVr${r@KS8nns121+$9&iKWO z8z-{P-}A@jKkTt>*_&jq)bO4)gJ#%1-nhnAWGRA+M2PE#E_pkhgsm;5KX zl>D4+#K)|8-E^AHr6ZpCZiG zv=;48q!52t)R%h&{PtBDqm9i}^ z4_3I-dX{Ki9uHT_TvO-gln5;4nH-PDgefF1|e%3;0zYd@}yUV+B#(73Z7>Y%>>JqmPhKQx2- zfZhh$)ejv^#c3`oN*nN-KaMqRu@5z;&JcvFNX4k9KGmtL9ls4f^f~2^F77~ z5&iwg@7yzfb6UqUjx~lVh z8YPt-yJ~ZUeCDgR1?gb`G%F*6Du-0CZdx~_h`mk!Ii!HSLdS+|b>|kq1JABUS-EOk zls*Kbt2Vo7NCB z1F#*|R)_ZN)nv~J8O%dzZq8e*i5%V`Y(Ynn_Z=g9n!X-7gVoc0`5(2+k>p!a>m@1F z_M|&*xU4Ah!T8(XfOLlB__iB;@}Y|3wikbeaIx+BfE|w}St~ki(Vt=5R+$xPd%!HU z{mdR|%ik7}BR;=)qfe?oF3Bh4{W7c<4W?{7CCZ=M!uvzEUH@q9WK!o>$+lg8mRO%C zA8hUJZ4u=dBnL?K`^C;aqtw}LlrVOO>koyaNu83MUCue?ZA!wL*P`I;UZR?33( z%CO-r;yiJ#SR0n%*zd)fu>6B4AFZ9kLq?LZrDalEQh}eV<<>8Y$z9uSD7IaPrOxxo zK$7BXzSgx%h^z@1RBimOxk8LCR>JZXxBww>Hd$g9ZQh^|e;a%lA}GPzGIzMQ1-=J0 zgyrfOx5{VNY|V(Q2FdosU&@Y@eJDkne0J2C4{s?-NM7bEYOpai)Y^%CRWFpGr;q-fTmFgq|ky6o>}9vRpY{BT0`W2EA2$?8iI_vA8Z zw06$bgSqJ;c-Q(DzKf%1i5C>5or3;6%b)S?fIKX3rAPe3Su1Vvhgk)k_K#wV$yVqw zgl;+4GF`QMSu>gCfMlE0MX%LxM(-Hc~|rIiU7A%5sw zLJ%5j5Pk>{>281wLV(Oi^?vVegzS%hi8&4J6f4SS+vr@;1BSkHR93tgcSw8j=&={h zsv2wfh2u!_@yYQM8a9BBj^k?S!gZY<9LVEjKED*4MRc<`f2do6-?Mj zd_83cJgGmxSJ3FZ?4V#^1Fn$w0$cIQJFj$INgY`KG!V@4#ppHI0@rLWG@%}edqu81 zn!dz_qVr)yK99PypA2OWqQE>TZODJH#T$J z^kaNG$G^dbjCxw)U~+axq%34YB5a)*FPk7P&R;&@_+qF=*9q^n;VIMz3yrpCM*k>*O6?~1g9Q&)H?8er+ zLAyZh#}$Qpb3N!P&{ZEQN;habsGWcMe55EoQ2WP<5(HfjS_8WK1mr=xKT(tyL32+k z%1+Q7pDM~xP~kI0xeYoKG|LEi(1}K&MacbJQDy?D16>B%4Y~$2w_8!Rg3d%7b%T~7 zBui0Bjv+tSf(ocMU7&W<&K}TQlutK4aO!XyHG;N-t_AG@-3mGr*V!AOyFm|t+VPTd z+H}7l#L#gkLtzi@JJ9Z{it4{#H?9bY{wMW+qEz zCZe&RGQZ0G0qg{2iN?QDn(%K2UJ5%V8kczy|C^5C?N|r-C*uzMXHc{<)42wmhx>7k zq5m9PM&l;yf+zQfxP?gBQZAI78LI)P* zGTC!fTveIQU(0zEG{TvuXkAryK(vl;O{uo7XU07&)jD3ZmWo#Y6l?Ajt9y#oKE-Ml z`8Sh<|I?V)O9!heYx&3z*GJAMN`N0_s@4842F&&%B#|RnBK(0h{UP+$=lI$pQT5p=Ctsw9>7pQd`-sE{T7kDjM@>8>vPhKj zE&OGRCqx}a!%Z>tUZck)Z}K_xdM?ox={}PWVIQR9Ql;fF^cs;MrjA)@zcX6Y4{yxh zO_pf^_BvHe^E$f50zkv7pxVr|a+;UfNrpr&?L+@*`gB^r;n%-Yxs7@2BF}WMW4!(w z4iZXjYbZQ@2J512)4gmf?VG*=U+Q@?c6FSb;bu_xkC`sOd9$2G3l!wda(UL6^_l&M z5kDG@r&+VASsm?xtPK&r2eLbG``z1&f&-e)%vypp7H7M#adEcO=n~xY6h?lMXaAH5 z#O4H$;AL}Mo>lsfR0%!Y^alLWv744c#!j0dlQ2_4rX3w7I0Z9x&ROE=&e!l$JfzXC z%G+v`daAI+;%jAWB2GSnGAPUY+^6)vUc!r~?)dWJOUAjZ56pw4+NmPMQAxjX?Fj4N&D zsfK3K=T1>&mhxvAuOq5qa#a!aXDi-o25#qhP^aOEXB(g8*{RRkQK;c5y5_xnUDHu; zbGg~sDcUgK#o~NU%PpV|tR)1sIY?)g0NMWZ|9W>jp>GYRmXGh+1#5t-lHEraS_FU+l3*N@}R?WRF~PIXZ#9HwQyYB z|3#g(WQg>d6w%M-`4T=91W<_@xuwcOao5pPW~J4p*)1L zujvxq`pjASOarR9n%nGQ9$uD#e2kOkcCbam4ITF{ZZvi5tgmBiK3SFr9JyfgmY`2l z80c2LR43>tl7V*VXoBvhBg+GpL~&k2tYO@pTA!%-T@-F;F$Z;b(^CyDI^W>1)Zz1i zw>n}g#!+vB-JE!FQbks*a12biH9-q}^z#)ZmP9S;qRthEQRU>u0QEMOQoPYl<5$|r vyt34isHv!SE63frl>9TaHBXYfQek^Zeq@}bccF$2qa%-u!@D?pbol=Q=tHxw delta 6399 zcmZ`-3wTsTmaghfhwec7kyob^@=izsc|t;n$k0Bv!BuTA#K4HMJYHekyI{PKRCBvg=y*eb4Zlc<$dD%=E#`NO8ucN%=o1 z>F@ms9lYnYwXf{{ZA?mh1@{%o1J{B`aDODm~#FB zoiaN4Zt}#`^FIoncEzOfY*iyn!$3z>jc;kWshrwOsr+qKD`aZp!-6w8FjX$?H6&3^ z?9&tK=QT7gyKVV~4Qtvr&>OK26$bpX>y}L|n_5=Q>Z5!uQ`M@aQ4%?XEB;MbY92C=ZP8Z1L#@{Y$4028Yd9zf%;&<-kO zZv4V|lVTX`&DHhY`Jx}o7IW66DusW^N-HxR>~*A0NMN7V_;tW7tNv}R2_W8>Hz zdS6?R@%n-`y2JtvtW&oaO$oCwhGtLFsJYdqGa6xGdcs`i(sNM7BFi+9$S^BiGdnBw zu_}CJj8vpRw9U}*aR4}#TAb8knGi3HL5V}{0{ zPWn@vlc(TM zIH`F~9%E84{=Hm5W_3WMBtH;fY&3-KGhn2k=}AFquWU?~dQD3O|Iolji*nMI)h#yv zx=x{gpQ>NIfqt4ekyle+VrFqQAl5mhS?ZaUAXrI0vvGpdJ1Yg9$bHuoC9)DzzF~@| z6N$wbPQ+O9W zos!RQqqkFz^Lyyuol^|+ifDIA9ty{|&XDDqLUrHq&(Nc(Exd#-q!#hkQ=EFWMFlMt%(6 zVQ#f+&uFHR46h-QL(?-~;!SiRGmY2on~?R2kuRjTa_8ZhmUp;IlCLe4dd?Mjd+$z- z7`{>z`Sr*j&Vvkk<;c#<-^y>)4%@aLLzryOy~~G#G1l5aTku8ndwmlFD+Za#r;_R9yQ!IMTwhBH03=ic)K>y^NYw*q`9(A!`x z?i%(6*DLUrHQ8Q12UrI{`H_RayR=Rnb| zt)3Q7t0!rxXW7|j&nZgJ8@%$+*)$}cEsI_)$h0W{1M(*U`72327&%4f3XbNi5bFpg zFG*vpazF}JZvzuagyO5>G)0Qf(V0mFhTJb{LSY3Tp;?86UCr_k^4qh>BY(Klb6N4+ z>}mEi36D#1L!V#1Cdr*4Nj|kw>a8j$Qn%STRQYFk>Y(g<+`mFNFIJLYleT`sMsP-p zhb8$fsrCpC-qv%X;7dK*^RI}~3$XLc0tKv8d;rJM_RtxiUFypG@@J8OFBHZ1kh0|_ zPjH#iAdkW+Tm&q@FTr~cLKi!j`K6-xdk(mz6=6vZW9}@83u5rY`vd;kW1Yt?*|zvX zy{&z#{I=6pC6bTTzSfD%W@-&E@NGY;QL7Hx+{U&)1Bv}Uf+5>tdjc_6*jYQm7ukPS#8BJNCE8JxZAr&{f^$)Qm|iL> zXy{pbN#Nd<$hw z&NbYVLZ!uN)H>N|xN?=+ic<~8uTp4oepj;=X2e%Sb;b9dCcmsmgP$80!r?XqyaQYE zh45(DhIk<0+KwdIH&i(g+4;E|9*@m`!Y?1_IXx1n9sS!N1MK`#L_S83yb)1TLyUvm z-WSP-75J-9k_RP|sw6+O2~I(>bw_rq!iH`=xIKgJF#(oj&ww;DD3m*gMQjg<*dm}W z+frZ;F%}U;ocCT)l!Lzg;)MkJ*%PURRZs1S#am{0f{PSs#oNUn`-3s>NWmrt_Xj5) zi5^W~H%dhxB8&BP!wbmV0kc$lwDZ$dwy)nrczn3#wj>`;X2^n39N@|C0W9sIvr{JV z2gzPiWN6q%GfT1zHzXkhlkU12kUtaN?28OwNziTR^U69X{9N+Ck=+mkQkCIA%Y-l(`%S)H?^E6O8ZF=pes?{cO zRXAeug^fsohD{K?VO$DBxM$T*o&hmI{z&ml6)faGF>REPksb= z2~=A%mRmUx2*xjnN2r6Qb`W(Nk=oS)itrB$DnvO{YUlW5EbAXPm@Rft{Dao0A3g^~{WccAM)C!%D8L2oqTAA|e2qBH{N23;v?$q7Z-1nNGiD35}!`veOB z4Iz*~VnWGUVK@_KHP?-2+2}R_3z5g0 z$Inr_x7;xCV|vV+$piF)H*41Rj}@g|w=7op9h4)$s>Wa<3zCq1_vx5ewaAEWa`@8u zQ&j4!iU%Y&% zG(n%y@;Q02_k)XkLO-9A*(D4;g>D%6vk2xjLv``7a~?JdJB_NLX$E1)14CllM}#5d z7v9s=CW06NHWAn&f!uA)USTyefr~3{<^O}H0{`7-N}19ulq74mL9&{~fC>mkqXR^6 z=2*=$gbMH*sk6Su^dPu?+FM_4+7Iq!I#Yj#Nu+cMZI$vY;uTFK^g8qkP2J$0r)Q9plih|Kp|g z4O!ewJD@Rx2ElKoQw`;gZ2fXzc%F zm=XanAogKe4jpVBI#FjuX9|Jg42P8l7cO(D83!aoBq!P^e!@aF)i#y$d|J~~4?BCC zU?=(sOVwknNF5>UoND@uTXiAZKsn7>xZOO>^{&Qr4OJ5x>~k2Ipw96`^G*DhbgH?= z(O;$Mbm#_B$#ZjhvK`^Hx9N~hrbFU%%|ZNxjgUCEXljiBT}JC~{!22bB0PR7#&rEs z9~0JdB>E-h2^}Apr0J^%73}Y$xHx=h(Q|Y_$L(bruAU{Zr**s^9|A;Ej|`{*XAWzf z%qmh;oE7NK7GD8XN0e*08wNznqvea7mD3<~7!p~?qoL8~9DP*3dT#NJOSiT}jN+Tb z)77i%gtE0!Gj*MRrVG${Qnml8uG3ho>5S8L-upZAo~HSWovw?j)Wytg+NkJL5jMLL zaMB&v6LV`gx@yY-BX%0j()xO|Sy>d%(eM)81G9A8{e!e<(D6py#ZlLHXm|?C*2_S< zW{-(GHUVEH6T7zSL))C1C>n(0*pQv2vD7wwh)#a3>#x(J+^^%m(%lyQRIJC2{Z`j^ zi^_(^b$5#5hpjJVBYGM|*Zht?z@Dw@v*=CqA#kyvA13~3U4K9?8>_WpEFy5RMVA2u zQ+T;;vL;e53a}2!xz*{))uo|oO}b4VUnZp7O*?LJ;{F`OvrRl*ox1)2&bVmNyZS-8 z0G)qPNA-)Re<(Vy9^H0r06V1P{h1oz)A8d`{YniG_oZlG(N?T84#i&Vg6Y=gYeMFt zy;$dcBF`+vx{iC_*;@+@DPzAjyWMIJ-;(#)maZ}FyLZKM&ezdLE6W`-FiNy2-Abq-0(T~z9S^{)LN27FrcD9#WqQ$+RhTChd-x|@|<0QFOb(tIWz>{Z{lm2U!gUqY# zbaYikYPUn1K1!o6QmSIjYDYpevQhee9^JCK%o4rY`e?`Mg9y};j&e)%>oKDp9W}JA wqk^t<*l7sA)HM~?FS+b_+KeY@$r^=+Y02$17JG|^&7z&R*YE}!zP<4O0D^C}i2wiq diff --git a/examples/more/12_time_to_botec_parallel/example b/examples/more/12_time_to_botec_parallel/example index 5633d7cefc83e3792c972c959134d0a31ac0d5a8..71e3c17ad10b84b55c2fe03765973b9cbaf80e70 100755 GIT binary patch delta 6541 zcmZ`-3wTpiwmv&)+N7@}v>{1pNlF8>r8Egp+76%%r1WG+X@Qo9Rw%X6NVKA3w)TX_{nw4i7al==>e+TyDU_1u4-b3(a#@6MO3 zz5liLI(x6z-Y0!;vCg+xhi%M2iXgWVg$M(6J9GbH5E9hk&a>`#UA8jNWz!gz?-Sxx zUX+@YF$0OkS6{A-^|$_#@>|C>ClQ6>*-C|DZ^m3;|bT= z;3}od10#jX4OV8O`wUjvY)DKJRbCu;8hQ@svp|<$hwA7Zpyz?EyAF+`q3)Qv^{lv&Ne{8rYY58+nif@R}6jB zoG7->X}}hZ{9x?AYA)Z${-6j`5Q4WlV39plSJlaAAiZy{gQXUWzAKT+jh zBA=y!ouR#!iEJOeYFW?b(J#hkvk6o;)}_(qQfTZS*&@obKEb-^W$P67d-~SuV!xts zws%<@{a~A-Sv8ryvu3fmw7}kBI5bH%SkfW-&|br4lP@h>Gj0;CPjj&m>PY*CW${F8 z#oKq;X!g7GmyIiuiUH78ODf$pu9)@FbK~;ZGxYYji7fn3`YzieFt73cR+OvD#+oFJ zOWBpiMbD;BVmHz2=@Zz4^liE$c`XDZ?|&^x(5btXvNE#Rd@9SB#9pKg8DD0;mdR(X z=;u#NnIH%a#_ZS8$2wNLgs-lUwv6|(`)L1o2RllA;}?&QmuHxRF4JY>@}9_o5w6-K z4^0`LQ;EaRhH0DQzZgvDOk=0IYMlSnvN}q0Rj}!Fo9p$KC1U7`*mg!}ns`J}*7kzCbUw-)joCXYCG# zg05`ecOzomDKT^=bT|alg-hbLo%4m>H3km*jr)e$dYIVrQLJ&_zeG0T3mt767;f=} zx*?e;)*bfsjA+H40j-F!El_tX5RT~)Lou%Kd`V<|fx130W5rOF%M%Evo)W|UxDq~c za(Ppz*Pk47yZfeNFk5VIc4Y_K zH@lpGMXlfE5yRCr$Mi-A&+9-YCu!KS2WO_Y8wI2fok-TFk|bA@NHH}}o`fuUY_gY`=;Y+dExu*GrM~Jw z2!8#+R}~2T=nK74y@W@M7{ZF`#rBwq{I0;gP~`0n_3r*oGVVJr_IwfxBqkzWRCS98 ztON{7w|%>%*cVp#}>z`&B=hBLAogT)`@Z@MIMN7jqem3?j+%PkMV zQR81c_6Z7|IU-3N)RdEHc*ZIhfP(e(XwGEK6$>5C5j6)al$7gbE9u5uyT*T&nx@$3 zSGiNncaG(!!xqbbfFgCLE~CHZPS9LRrPH~2Y%EC_JeG>7X*6ewRU=-Zl3bf6{|e^2 zWZ%FeV%?9vYVMn>u)4N-i7#B^GQva4<@$xnfcjwjUyc&J-H|IFabJA+B5n_Y&lot* z{qqShIS>L!&JPA7PhlJgZ{s56Fby1vU{!J|GUelzsIz*-P%n3u$T*RG6`X~H+jNfm z>1ad1xM74l3%)td9p;3??if}aHv2fN%daj$IL*oZl^r>N$NGxTZ}IxVewQTHy`Iw_ z3~xSz!1ZgG7_K>rg97q}YR~pe*Nyf+d}D+*vaRWrRmMWO`(GnY@`t`gF@J&oh@lISAPu?8EWZREdGWnySvZ4Uq>{=#_V`~L zuG=t1v&`65`q9s`3E%tx=m=>E$1U^6O`@1Tz>4=0u3F6KQQ z41I#a^9)U!b`xq$c-nY_7q>@DOWH}#PdljTPoxdg4<<|ksAzMMcZPLp7&>^7_y?%6 zW-Qm+9SkSM<3bb+>oP#(ZA4C-r%f~dKI))aVfW218$o;i-G+^O>2NFWx3o;kYFmaK(KdDhbXnk4mM@qM5X zP~ns$)#El&avCKGW6$f7gbTh<0-6e137QSs1UehE1GEx!KjC39_}!o-IH)>7TX8`d1l2oN;`$iM!4A4H%AgJdHSORnav=h`hBuQ_83b=#$@ea}i+5|cP`Z#FiHm)U`DHv9pX%Z+25 z__}~0!sW)X=kayYsd*_mdEnR;hWt)<9{nO^66Cp6z-nnDB>o$*Fj0~4Xig~-{KfeJV12a5KTh-E8}x!djp^yEKa17V zh~Le2(bQ50UVF<+9hMk``x;E(jW3u7SS@WWO&PlboO@(k5V*=6;0&Lm|13>o>2$Po zUO^Dx*8l~${~TY#{AAPbHFJ|~|E8Ur>OEO#JILy&ONA@uK}v*m7cw)!f~&C6Ra*%vy@MQWlT3FUS-1r}DYUfR9T zfp9#ua4r5!$gJ4c)n8#_P&ZU*1)RCaqBTH4<|3>8Zlvu`n->3V715$aWvrGCK-MTU zfm-dIV}2^h{}?gD67MZqg-q}*w(LqSGXXg^Dy+oZW3*u+9D$`0mvdj=AK1K=*=*JM$Gh znt4Mi-sDzrIcd-}VLM#ENyX(P1MXJvT%p9OOppsHx^vVCt-L0ql|V6Xm6W;MidY+3 zX0_j?%57mcukl%Sevey`$A)#CT4`uVNHB&5;Wo6L3-`dnwH zS|w(yIxV#GCac}8atH7y6>st}!KuuxP`QI@7HpSg1mR|xdk45?ja@L+s<2A#q0F1D zEX;p1{-|o`!;2wr>lGp#0IvA;UtAY^hyRv;qe?e96|ps{w4~zQ4h1Mx@dQ+J*-ehdLTfhUh=vCVIND&=9SgHoDkYcJ{r0KPnaanh&GPNX^TvLZsWv{! zqzNq7(`Qnf5h_^JHUo*~)iSj$RR2A-=+$-twKBWaqDfgaDNFB*>|U1o|8*9$&VruC z>Q~3V)I2#=jDK(iZF=_M`SQ=N`(Aw3PEY8wYz~ZZdm=)sGNOZC(`Par?XI-58Or-2 zS)=mU5jw56v**bZRZ2tkQFKlpPu)=o%%#W-&|p+48&PC#&{{(t)ff`kpLm-(4K-{~ zsdfK2ilx$ST|A{kKR3Q~aasAA2i89FNJH%-bRhbv%z%GE@tPUAGjeAMrIC7(poq=P z%~vZ0x%sqd%&g`yf&r`4D>gKO>I9RrYLhTlwOIusjBeUxEOuyN zsIbCoR0$qqv2@F5FVOlb@U>A~9t4pxN5jVeU^Lxirz+F<7;zM;r)r=bKv#}JqbUe< zKhXM7sFB_PdJ*VjqtLPR70{%y<72jsLSra-tepZtyGEfFDg*ii&=*Fb6KKm=yCW_# zY0$l+xHkGP^f`$>2S=fH`edw~CG@g!uSflxCDo`~EC^TR41MoZ%iYXY&y`&{zxxMS z?!0QAd>x!Ei+Xoj$FZ5HPRH&uJH3LSu`=#xC*RSwQP+eiY&E?#VLr>JTN9+2B{2S* z?geH+lrDvjj~9fuxQE5yEYCDdp4YFKR~u^32>%>&;8MM`FK%Atb7@>GCQl*ryTFre zuPzjXkxnr<|2QgQ&~S*8qHCLNV!Pp2y#7?*W|KT*cD6vT@Qy|y|Dqy4>seYDpTugZ zK7Mj`Eg+#Or&4U2zkpXo>9ft_#rF9nXoO$9Da+yY81jH&KD`oOR1}q?=u_=rw#3|= z$|r6yaC-izfm^8sN^bKnYWzP_imi_Qk+#_~*wgd}+eVf~i4(JsWr`=J>psh-hKbLz z0vd1sH6wb-p2HrdBldK*ly2BRW$WnUgdE+ynRL{ihU}5!=rrw|q8Kb@C-pn3SQ4cq zX6bHZ(89!Y_6ap6?z7Fvz)}hZu9&UfbmJBCsu%|VT5F4^Ws{0n4+SSpW9_tWQU-g7 zh9>PucntP6|4WOGtF4MTgBD-bnKbH1n!@g;-lSBvfsQ0OV@tsbpBa&5C^ak~eR3L` zLYc`^*niTZDDr_?P8X<{o#c0p^LICy%TQdB;=LCJHNXj9Vi+!cbtS<%&+{F4F;oPi$dn$YiPIo zk^<{OV*3_LpuJWINbl?vLuaEs-`$elZwoPz-4MIXuMGI5cg4_ulB4tzvY4~w;f;wht4M=T+L3pG-a~o1AqbPOhEctl->>R zzCg*DM_udqM1nRCvR*+SHee$v;j>@Lva%z?-&1_n6n2H?W)-kLdMGQixl%faP2pML zk&f>4d?$OBdn!E@+~A^A*5#LOiBeOiD4kv}w$IGSQdZe?u;5!5>RrkAjDH=sU9>2@ zEw-K!hOx7=2Sw?9vFI>%YwJaRh=^?+>DPEV2iSBWLq=81?#CWBKlK^VW@TP}>GN>s zd0F;7C2zgg6I>&gNh7ccaIG!`6quZc(34)7;NfBb|}Yg_exv#)|np+N!9xU(nH;5tFQTma2E!i zTm8(|LT`I*m$=UNjM!e*>1n&jJeX%NDdcDUi-PM<8_iBPg6KQU3l97UL0x<;P;|EG zqS)>`xL&*~N-Wi)HUI}1>Os93v(B$3%W|7Y?tYVUD=Sc zUZ*d!Gj$6mQruKg$0kzs)B+YuPfvB==J8gJgWjH+V|{BP&p%sjUw~pKO@E$#n3}4a zXQR}dX{?SG=cMW`#G_{-1#|4WYuBlBYJ%?5>(rN%-dw4A8ZPFJUH5~h!Y|2U=nMTa z*xU@C*JD+_PQ1#t!6opyx+qcd9W3YzH+-&m$Yb`O@=N_~XNLntBmd}UfK3;;^Ko@h zoUe!D6fa{d*LH8ZzH7sOjj_)!c2^S5aJZ40?a`B;=Zed638 z7j7El?(OI9g-`dJCqf_G%$*8X@4hC>@A~%gdk)s~LYP6Tr|8tmt#drV6|%VQPuU;) zgHeALgB4ch4<;RsY))Sbl0_Gsi}|&{3YdSNQ7k&vbgs^P={;E6htqSbtrw?VKpMdo zp85fI!A5dSpTcgEdwQ0xY#VKy?$o_H0WO&Glj{NLb8gM9a37`w*|ILLq=DSd)4mTs z4@N-xf*Zao{P9^$3Zj*re;-(JJg|^(-yRiQVbeKTzP&rhm7B&MCvWaTUGh2Fp1Yd8 zLBqLs%{Hl8EBH}ijY{V_!rz=xMjFpsgE$lp;((5+vGSN&$w{NvnJkUXEPTnWz+>glL zfrff+tUh0lp11Q1E`6RAf#Ce#;-cVL?w5}69Po{&!Xw?RgvK3!mj$wK@kNB2d;d_l z)JT?b`LDY7u;zgeWO)Gd9|8@7x&~!=J+2Zphj5!jyZl30#-(1U0gVT31kD2N1f2)k z16mF`0NMrWJ}k>GgO-0J%LhUGKu>}WACcv2psr)kgQQV&T$c0o_!Jq!LMi~bKb7St zK|4Wz2RaPe&jnA(@-fhE(2Jn1AxsF_r{=UQCxLb%Uh6@7uvzwimLnbDvq%{D0t0{! zAtA2>9mYY>0$PsSMGt5TXukoM>>*T60&ssN%OjxOpyTZHyD7oLHl_7TUj=ewK$U>QQ(oVIiXa4kCU!l%Uptc6;AaT8w# z=WzuW1g^3JoP?9~k}r|XqyP04$A|z&c-+AK$+Wv9E`C95R)@h8oBxYwZ|t15G2Yl3 z-6gv0v&Hzv30&HZAQ?GD50oq@!Y7H)fu@L9d5kZ>7i;;2&KDEC;A#ERUquBC9no!L z^u=uK_%VFdLOMkDL%xf?FG(|;L#>5UN}bJI&v?XEJz{JHCZp;pj)^XLTF=##D|+tI zaXlXB;cJ`+`7Xp_ChEL!N0$TJ18fBc9*%Xbi!~}ZkKddB1aATE{X))_D|rX*A2HU* z6?K8pfdE$&iLv>*l33#$;61<(Q;b+>xQLoaelgGBLQGfC7ICAY6SaQ&O3aMjkDBo- z`dUmixzH_)W`KNtr-2847d80j8Um<==|z9Bfd{>%_p;xvN7k5QihRd+leLVy*;D4U z9xQ|wlt}Cew5iO=jIeEG$dvO=5=^b3`WKev$+zx@1B{sbYfta$y?&vXUIz|z_FivQs zB}+=FXURmp89v<&$vzx@cNV>16%NwrC2N>~0qx{oI#F*IEVOB<9lwgCrH^7#Y?<9E z*wmhpO_)iZW%d;A03CdvuW=*B;6cgpa$37A51VfLGP|ROdvR2G0(CCaO(Dn_=`v&@ zhK`6GMuqXADWzhKBR@mMlX+aD%mGzL*;$dt_S1V6rO;!ov^ygI-BdY2cu?uV^>`}( z=8_2azp1s-iO+{!m8FiBBo*cPnU|~RIYC(oTYfJ)L7wG>)}dJ{uU;iW742F+$!0+) zSZXv#BR?bSa=YV~@IBYjrMMRjZnddkyS!rjV zEBf`=+kEsE{Gs4wj3yHY{GW}RNxN6t9kUg#Lon7Too>I1>GVo_^K#CGR>7?@&{Rq- zDts(Ko6k%Qe zi8vq?xJ5`55^5Cq_Up7J->rGLN8_B*%&MeYU>aMvq{%mCtAb230RUdD;NesP%rkqeSC&=BUFfhYPBe3b!uOcecvirV`;1 z&c!i%`93@Aq!iSD$KQ_EH2GnCJ@T?qB}i#YAah3PHNxM1p62-~I$f$rttL59!-t$I z;M4Hbi2Mu{IHq}f2A#&Zi!^S&OXV)ndR3FP%8t(z#I@-mO{THeU$s$}GWz$q+pV^GA)x!Tb0b1$606Iz z4r^$H_K~M9&lEWydg$@G!rKQ=w)U&}tEgSN!E%1PdjrpRw_fr=UmDZe3~x*IH}NKUrUYYm0Bk44vFb*v#` cKbCP)u#JVL#wrzSB@bGcA5dF~Sh@560D%qyP5=M^ diff --git a/examples/more/13_parallelize_min/example b/examples/more/13_parallelize_min/example index 14fbc48a02ee4e299398075c958bb61e8539beb4..4cce4a31e87b7af2533217a139c7a133875f4313 100755 GIT binary patch delta 6516 zcmZ`;4O~=J+P`ODU|IKb=BmdRliza>WMH3~&%u8)Q z?`oaY`QQ`VJI}v%%Y5&DTsU=KC#{UhOLIXjx)4ElR2$@?Z84)579Z4I_YQp%x5hrT zdfNP(i+lp7{vsbOjdxRL{Mf0nLJaK#-ouw_5*7mEF7)BAFFQ9@ zKz}~=z_D@53Rwr}ODyx%LS_dUbMqfPoO!Oz9uL7NQ9crc{Ko0|5d>tB3NeNCGlrSi1 z#dWBaCL}oB(VXS8uDh;x5Iuli8;6bd^mV;g z{Pqp<8`WKpBquW3F}S?!=^=t3$*12bpJW%5bh{w@l?P}me@NkC(-=Wea#U4?it@k} z&~U)heAezrYNiP(!`U3VJEfWJqrE9rDe{1-q9@?7XeKcFF3L@vR{OYzn@X~4WI`#7 zsA&)1AqeL?r0|4JFjCn36endDm!(PV<|&+C8(C&m`|TO6+@(DRg?^K!Uwkk9Ep-@< zo02+WbPgb4c|onzHo?SMN&a%#AgO&q90X&4Lw=tk>t{Em0?1wm}jkD@&gIUiA`8%Ej& zOsgx~PMRwHUo>{WSSK{D8WY=gu;|crG-k+s*u~RBa+pf*3|Yd6@|}6?VXAR@SS_t^ zzQ~@ZVXo&)F?sZsD<75RE0>3Dr$qOs>;w9zyTG(5myWx#*;6!rXh(uI7l~n?mt@VQ zkA~jO){{Ryk1e4&={c;LTGRiW_5zQAzYp6&l+M~`C&>Wlp&_Z%FszJa(sRQK*(G{+ zSPnZvXNGNX)@LJ;9&5$E&f4pe=0HM#&2#9P;iK3{>KQ(g{e!+5o?&})BwT&=9FPBO z^J|ncBAfl1N=D?eCurV?(^tvU(TgWuJ4e01EbG?DGiK{v?&bSt&K(Yj5SDfL8$brZ7V&N zc&UAuXZ0c^n|xYq+s&l5p7It^{SYF2SP{9#_FiNAuCWKNvHjOrSD0$ zv*lk)?K3F&8=oj6yVC(iF_+r|9*Pt>7m z@Uuy`jT&Lk_@}CdQoeHhb^C8jS&KuPt-X+cyYlAWZ`=dA`C|?ofy|pzwWh5C(S|GK@=I~b&9)?nX zMDFeUUbS!9Ep;D{0}`vuQVi=7GAkWI<=XF7mxm+DJWM(xL1yxv#&;G@!Ig7e~*8^6kg_WpyKVnq^bdVfv2$1em_!| zds^ns!Vz{UIWQX-zrYi_`X;FXixS(uVLTcZar6!;JZx8x?U)i?@RfyU29|_4e5A!O zRQ7q%@^2&_$pz9_eV@yRaMwfen)go}_zLAS>$s|RPzqV zuzDrAmj_E?oM^EMjmL>w{t1uM&c>j9=>QKFVzZkEEE55H;G!O|TX(~|{B2p*e8fp$Xvzrq5Ni(SCZ5 zcFj7tbC0ILxuQLPFZb{U`glw(`%hv;c`7a- zfrURPsp!%x1)QM#*RiM~EY3g%B1fcaIg)}LnT7hj{aTXrDBCfnv4i@HvRNm^dhakD zIY!gH^Vlld>>WF9&r!`HE>cVy>*0fyH*{E+i}E1ZRD&##5F`^oLg9w#Mp zgl9T*y0vgSluP1bc^Qh+U@CUA6rH+pJs?uJ- zD~|Ghf3z@s2~Me}34XVAB6_grv?7}Ce~i6I$NU?ZjedU9s-lf}x%;=l=qvsmxJJA8 zoc)Pqs7T^gk=qU@{T}b7{{12OI4VyJjT}1%C1%yw5eYvG(o80uNTNTCeUs(U+?%&0 zt_G-ETS-~P&M{%w;5FjUp!$-rT7M)IPP#V{$rCm&2hnz+9QuS77QZq65on$mj#{a| zuHaBK<4{-@ujaV?oXD9$`2erG7sMH&e7P0|R|2jHjUM2eQ08|nExkAX zwena~OY{4x%HKp=LHj^A_o-?*UPh+vSJf4e%Rj(EK_j3Jj(-RoGy=LFwC^KTeFe1q zfU5olwD}*ZdJuHuK~+5u+K)9l@S~~z6IHz#H1escE&z3WrmAaVgchM0%u4|JLAQct zB3t%?ZUpV;I8yO4r~}7ZLMb_e%JVd62P)kBj2j(>!2IYtEvY-ZX6d>bsA_Z=t|Ht zpc}dT9Tv!C&^!y>UXjcC=%I>qR!-rHY_^%UR5;zQyoc4nebI&}2%KWUb6*9vV~WWix1QWd>VAt12_nb|4T7q0bwyoOK9NCT*!qNedlT)kid3 z5V*xP=-En#D%06vx=>kB90K+Yum~dc317ivo8woeNjBFnVwql)b{7X8v}HEfEF7OAY(&Sa zKkX2<0zVJDmJi^emTVSos1Nw9NNCLv7G|1kvy=i?fUlu}s**SlQuv}mw@5{1p6#*p zfV9Ni3vL-5kw%%%gWC!&J0TOpGLgoYPtv&H2s6)ciDn1Ko7aGQnmU6O=Dpw|T}Ok* zO$pkk0gS+xfQ0HI_A-@KXCy0pYBaY_1Pe7)XD|oJ)m{|eZQy@KhpN5FdB!hk?qS|~ z$vq__xfI_bc*7CV+6oFznToXRoRYyd(6%Xy@GT*0>ZY!PQ(X+^zMbX-oHacy#tH*j z)1B@WD0Mfs7<|?$rRmeFSUqilt{suy0^N;+Z`9-;Mv?`Ej!vJ?EF|9P#KOfp(_);0 ziynfMNAjINXFg&zPMlSDjo005d`62};@M-u8QDnp)HqG>%)i$Zxuc&>qDp@>lrpIs zhAecbX1-g<)qAx=0yZ7#%?f-3Mk5O4|2J5HUwN-2yJzwi&&9trdHU#d6+LF;iiLSTUP`?e4aUhJ2`sjF_ zP9||?dfH(0bqv*!Vtx|Q9;D}IUP}NS!>=|G8|Svw@4gK@4gZ@%E;)d@{2gP@suhtTZTV4)la zcpFPk-sSXHpf}l+BAgL*H2R!rjM|K^GrVbK7qp3wV(a+R{fwd0F;Y{}zO-@f50o{_ z$zJ0+#qS$Bkpf*O-f+if|6<;Az)^5bDQ*)^b+XAVSnBnW(WjlZ%yPDjWD!A$mb%XrL(2p2V-fZB1gg)O!^y9U$3gIn7e>1-5@Wu>x_UiZ? zq5OvR9ySIzj2K0)u;ak_f^JOubB6v#qhxF_Cb-DA=N^m#s(H6ipI*B*z-H0(yPfWv zjNX3ZfUVP&go(Tt2eEsOlhx6;csBE=d##}#aq5ao41E+j=>Ly4D#D-D2Mx`7BdQAx z&0_|>Ia3EJ4g6FTAFBiWor||Cz(;D?H5ApI??f;xPS+KL(R37Z%RG0jWrj|9m%DC? zscZGTCUck4P|w&b3NG{}^ZSFhDE%49KsOi_JxXt)JwSU6G)gy+zF>w|Wv6l~Cy-hb8(7rK!BUD0y%+cu`uJOYbf! zvPN$#h1lZVD35yjj=e`oF SqfW=F$-1P3%_VWksQ(3u69@tT delta 6503 zcmZ`-3s_V~mcG>wXi(^Gp>0}3KtMqd8U+DelWysj+p$qlQH-KE3TmDtBZ+3CK!}O= z!yYlm*})li#yoc8PLd6VWJ5A0foPOuW)d*QXyQbCBx#gH#z!;{bN8=%Z@a9sTiV~Ar(ibOB<0llI~{75T}IaFEDH)VoBfWEn!yepO0!-PsEG$=y7=^QW!i*G702(M}iK!lyj04AYYQxLmuU6de% z3wLXEbwc`^6I$=!6VwUyn!Zp-n7A?&mrbRnDn3P&P=jEjXH2skS`aEt!4(Qo3=~Z_ zO!izYZWZ|YuvQ)ep;D;f;Q$y-j=m^FjP-fK(_&{9EOHb0O)?8YlopGdJE_v z&<(@TNcslo*vOGlTZf@hln`krKhU;esD(;_J_>a2Fmx1cinKdoLX!sV9M)>1m(b@V z`t%G#?ew=uJB#aJBmQJ~$}--hn>0Wc_XX>q4;-1g?Gxy5Tnc-T z;>WZ`4x}MG%*&$&(&)7@OW8eSjZbHDXnK4an@rX5Z`vN?uE_1hvf!ml<|R?<08shp zSSlV{#01(jHVaAfk7Lu=Thu#tr`-jgnICJ!x-OZQMNLNy4mM7we@@`3_t}K;>~%Vn zkQn`&@i6tJ%iRApQFk?oo=z+u_ev7)V)dt5E}1L4gLBl_QmU4OUy~)t!_uiD=}&AYS(C@G zjU8FZZ|ND)`P6xADos!OxIvU|ED)Oq(>*Qs#|6(^kY(vW@OPYad!*p5Yd=bdiu%mk zP9k8;FMr7T0*2_KZgb!b)LXn`{j0jgmQ5CaOO4={4(t-U&xX0L-H<+L?q(wUQEW56 z-0PDLi{1TtQGzMm=9fQm2TElBst^3E$KO(F%4q2G1RjumfqS}5f!VU}+A%-tf_xY@ zP`HbCvfL3cT*YVz4Nq!ZtrmG;X9u#T`vZCDo}%-c;x$}4V9^s!5!&EY(uqB{m;SUs~l}=B{$bE_bgO2%MMY=0hy^$iNtE0dpdq znmEpU3ZP#){Wz_u$+5OTY)b9=x9FAvDFvXz4o=gF9nrqc~j zR)&-HQdP#ph6Ra#y$)a*K;nX`4^FAxibFqI7z-*pipVuNtWL zi@Z*=1PoamZpV@mPzm`JhW& z)hkN97&}p9oalV8ewVN4Wc|s@=FQ&Lma4W|pZUHIbKlQBA_nUBAmx-Hg?OY*oweqB zx}~c9e(BylW~;YhZ*VULo>8@XbAhL&rcGSs-7U71wz``KnH%#AjP3TZgL4C`Pn*n% zE=18a%nKg;1W{dl-CuOJeo$=j_N*4C8Wi)?Cy9ZY<4YCa!F5#!G|xBt4cCPM3)~lM z`uD&(~sA-d4Oyx56dxxw~~mp8?ii;LbN_&ey|nikGpMYubVaXo1PvM5$XeDninh4X_L1tugqd(pcK4 z`M0^-HO$ANla4zQ82rD3XyG&xy@%nSM=8Nyc z+FqR3n{6?;-1wy{*u#@P;x0Hq5!n;iL2_oN>q@uM((FXtBctGg3HSZrm%ifGYzuZ_ zN{}sW^GF)V?VR;}@Od=&rLVc++k)rMXi^ZZz?m~Vuwr;%A?3b1EVzP>v$A}1caS9~ zg>9s~oH@G5XQ?S?Ir}U1=S-dEP_^O+#3+VTt|Mqvv5~yihf|@4A2{u>81ghv=(gSD zbEZt&U{&%r(ivpB(H*HfI7jWPX7Po*Nj--uKY+6CVAdIW#Y<_Y*ZXoW?WUf09^%1VRxkq3}B)zFLf9jpAj$WENE;0i+x659i zvq}o&y)oiHM~1Y$NagwV$@fAB-`sD4s#C^nbG!V3sHaB2(*fhZfhem8I!@BB^Iw~> z1d;;@N-p;B@t396VfUEUF6X%MAMr;y{tYG^Y@;pHoa|HjuW7g8!g~3 zO!gD)C@2U&`WXc0eMTP@WY~_Lz$%+>u+91IfcIy=bXg2cc2ZPfvTp8YDaI%bWzTz_I8X7;6Wqyxr1?>gx?UiL0t`c=eWO)PX)gNQFp#7j0jvoaM z+7G%7bm$XV-V0iNOqTb9wtgzh$3eS}%kmXa0dwb{pN*f(avo^^7qYw>)OkvlAJ^mK zrxna|Jc;yUBA_nNzkqgu_H!KJ_!Fq}9Fho|&?pMR9xw)cyp>(V%0XNIF3amd>#oT1InaJk z3qE4XuFCR1fp&pb^ZIwPyoc98gW+^X@dP$R4;06y1 z=5SARweBJ%&$dN*M+jWH5Po~LpPrgMs|cSc0{ktQ;7%S_f;Zaogw7ikHfy_n{;v!H zHoaD6e092w5nEO0};3i(RPC`mD%1m~jilEenC#{jpdBMcVv_)_!~M}^JauIFmX z6g^XQT#p-i_!9FVUx{ORB6wc-*DDXD^}rT$;Qr{ORnaB|uLi#V|G+l@Hw5Kuxq^4# z-VvisTv00;{D?tCkr?gN&5kw|0^bXKC(RTK!p?y+4bUTEwlNNY7fUaRcN@2Ydz=z{ z6OFHe>j9S%nS^frsEz!V9`cPd@}R7wUA`Gc54gQ_!dDC{VT*Po-|@8$JGjsq`id8{ zuX#o*@3ND#)WTjRcWI)vlg|X@=65+gP@2e0w4*eK6;e0&COTc3V@=Y&Zn;5u>8Iqm ziPk#pcN2nKDeY7~cOC-u>A8vQP3oSzhFQoxKZd$=26D}7W7Qpf^AZ^p|Gmr(f#hu0|o1x;9gfgC0P?YoqTA+1svvjKzkO;zG=ek{m%B6`4QqckU~iO#666M3|u&WIu2VkNs*D553># zy&PX@z3MVmJY4Jb9Us>iiA|e?|BErqK~0r*Hi6tr?5v3PRoWYP?%)d@N>+R3X^JaC zc!~;SY3o_7;nlY|cfE$!X$A`!a=V7RwB1{y>HmX*3skbi+R&lNG-_KrWK$z>i!err ztJXSct&M6h2Bv@{l^kuDsQ*%P-B>9=x zopwhg(i%5em$tiiYU<3i60I3pYa`F@C`w`nEmT^4T5EfO(kN_IiBO@mu0g9+=MXH_ z8my6DQum#9_9TBN?AA2&+ttRqHJKNHt4@B8>%zqi@6wB!bff0p8cq6p4ew1-0k4J| zk(2q_8mFoNzy9!I1I~X@$0X!x5=olIa#cX!*Nst1knQ0i8BwOmRd=vub9JMK|J8Q6 zlp6k7cg$UWm$BpZRVx|thodIPT8Lh}glH2j0s5wvwL>(Ib^#sI&=BpS6E!&zq3qmF z*4l!bX+M58nC+omYjYw(f2jrPTU$UqYn@cM&O#WKZcYn_aX Y&aS%(BGQ+s*lId)R{`5b*1ISEH(0(4UH||9 diff --git a/examples/more/14_check_confidence_interval/example b/examples/more/14_check_confidence_interval/example index a4d9d30968deef658da68636e044f3b1e3d8e3e3..c344ca1b045af409ec7bd049b4abf23e01616670 100755 GIT binary patch delta 6328 zcmZ`-4|r3>mcNrUZPL>Gp$$n&|2KscN|OksR74t@(wjA3;2pc-gy6u*QDS}+e6e8HS6+B}Ql2mTnM{dJ~NeXj;EX?iOVoqX@WOkSHtzcu`@__(by@8Yi%mojHp!jr^on*e!{p;^ET2wjZR}Ij-Rv!n z(5g5Odyk$3pCY&I;pn3}4?8V)_*xbktc|1PxLLckru|&!+*c=$*N*P(I zRC!#aP?f>P?6lrsqjtl%WKnHPK%0jC8|d>u8^)kIIu7(0(AF_%0wpKfXk6mB8F&80xK|K?bLd)bI$o2P!+?c){GOo z=KKIA8W@$N=yHs?Uw4k?rZ%v1^jK;>J3z0e-p-cL6swC}OSM*~CSxkyXZ<(UM(Got zVDHeY6Q;6f=!*$X_7El6K4ClQOWRbd5PG zvFUWPBVS{kOq(39SZ_o661{`xO%}gXf8KOcat#1lotjF`X{9VmPox#HJ@j^3K6{!* z(ze@N`Ebo2Ho~OmO^wO9;Le-Ox?I{haWeao_DsxWf2J=cW*Ix2SlIask_4T)-&0C@ z9&4hK^hvCmn$o|?Sqg)rWr&YB74;UA>jTs=kDK1aU$>a<%J6EE^XSQpOm>|5G8Se2 z3C_VZgHH2#Q$v6B1{e)P%d9zLJ$W+y8gnk)lldxZCvR37Th<%QdQHpjr^LK!R!%qP zeb7-WhJO(|&x-!8-`S&|os*>SzUWR)`u*YPjvq(E`%4d*w*Co0V|w8|b|?~OEbTW% z?g!sho*wMFK`(aQZw_|l?Ffd0PM7b;QL*`u7(N`{6Nd33WeJ;)`of=>0(<spFTSr70y6e_$@XS-9M zAa_;wMv(hD4>0VHvJRj0Ay^o(yzgpt;A(a7YIW#pb@*yEdbK)&D%W(eqI9%l zXBVFh8!5%=)=vj>o!GU;=?ZqWJF@|cTEEjHM(P{)>rGjFw+1>7=y`vi$x?YSQ2OcG zuf(o8r(NvaS0=Jlr(e6qsTWJ{aGFhd|Q7O41X<#4@4Q=kw28v$@f{r+V2nqZy)ym2rAL(UrCaj6{3N!XvL&_ z&7v=9>m(1$rq?D-?(i-4-RP?igyGnqeRYBGWncJUeJu|eF^nlK7rWx}U0f}pQ0t$)+!?pw8nGFZ@^zkN+#7md!CoCJicKT_LY@M@Ffr1&59c7{OVk~6WXz7?rx=}*q!!aRZ^4>a zKDX_YxPm}v%0X`6M*4W_Bz6n2LYEeXp{a#gn(;WKUEXH*Pip$q`@^4!;jd!`Ec_{& ziY6sZzzEU*_&g>Ejdch=1c-PwKvEDO4anYaUX74F(KpejrJIHe^VklGn|6cd_~%qJ zt%6)*mbsa&Ka{(`WAOnjo$g&*%3kJjQA)LKmL z?@SM_K|=Dq?Bm)a$tz9BI`0R=r;&KxpJMP1n4f zG#{X%%}+VgZPOyq!BfPmpvt5%UvFP9k~{?$$Y4Y_2Si>+^rPdnV){$7?}Ox-45Ui= z+JwMyuEMs^w{GCL?zi~k96yH%M@6ci;b9NbA7@;z89GKc&Tumu{V?Nt)=I_2Q`z&h zthglMfn$)Aj?$lt3#{9ZVws(zY(udxQgJyL{!WZc8=&LGIhxByADua|_TfYr^caMe zAod>sqbBY%vw+3+6u;>C76&79x^Ug_-53ZT;c54Rug({~R1byifNO&VqkIw3rM-8} zyw&hx*L*GeI!W-L51UzbP04JXu1~ipx1$BewL*swLS;FCVbFEF zVOWy3gDyne41;^e?b?12iJi1fu`bh!SlT&%>wNMUB`Lc z!TRW@d6Suka>^&NGMZDK#{^ndZgX6G7n6n6Vr2#@Tk$v3w(=6|I@tDBwTZtv4&nbH z9WS3~9e}lOAJd|T4kso1Cu(MWKt}%rD)Yx>1Yz=Gu3R*FG^Y}c`tl?p8*C%6RkX~X z#}3kFzgu(ZBl;hICM%@F{;WB7d@M;TRLwk9#=#c@!1&B~;g}uR_rUIx5%8dez(VA$ zn8+TWs*3Vte%;;5Z|xP8W1oe7o3jZC|nB^qb>j2@rSHP4tm&uE`#G|w~Y zef<4M#Q$^jyGW-h%Ii7jfm4GgB+1Q}GT&%^M1vj=Ytb_jCmLN_b(KcXALC{1erVVH z4CVgcD6dFzqI)|J5Lz}rFa9ai>?i4=`I#Mjst3Ueh@9&&^q4_JKFB;i2yCbh5-@f% zZM+7fRQzTXc?sM^>4>xuL?CYea^df$JSxZGxLM4R-x;%;jd}t20zpJW-ESL&5b(!= z*YggTibgc*xuSKzKaa_C=gv3kX94d9UP$$oCAx#C?V@d!ZXI6Eh39Es+KPft#!wK zmioyCdqpnmD6pWK4bYASS!_GKvS1}%%X6w<=pCxIGpPG^p$%|Oja6%af}9$gW1U{@ zIfiKQjc69t)Ksz%?S`xgA-@~4yKtoax@ZN95Tz3}OPQX0i)@&3s*H+sfHmI-`9yX$Q9Se==M>awp`Q&xk=0y5NRv0*BxuVf2pb-j(P zqHz6O*#52hk^-Svk!w}Oli&n1JZ285fJ(-b<;IED@o4MjYebQA2dmg1m{*>tPi)K7_o1y4bZN;=~ zu?=tUcsf?9GTqs-i2Qwu*H+WFklDaxygOByz5+!iLDlnLe`nk`sHVZ@cu#J12>OuH zEA~9fb#{EsTQNJKOu@0mUaa~)}(Z_s$D}ir77lwS1~oSkS5qeY8REHCm(YB~M5-DeijiuAJn|Utj$MZV=bkrc*a{u&M z6~Wkf9-?m{^Lx41R{jh;rAmfW562wv7ZvZxR5VnmBfc8Ly$Ud-dj4(Nw8ZB4LTwdP zZ8d7I3-XBdw5h?aN6zO{E9*V8Bu&$s)^w+?cT01Ku?9M`+-=E5GcPfEHx;aKTehqD zJ4UaeHlPD48lye*+zPiLma*5-i4`SR4uIG}FhB(@9r`lW$yC!~qXR7#L&%~G8=?~} zB{bAx*2k_+vPk7h%lMf8Vzk0Zx2-HP#LlNEJ-PA#+d^%vZW?O!&_Ju1>}_U>wt5U# vKJ`;hTgjE&>Z(@89HO>1iS44c+e!?>OBBpO&)rs%_|r0lOJnq(&6)oP6q33w delta 6334 zcmZ`-3s_XwwLW`>ff6F&IsX`J^>X6uiX7 zQ=A0uN?OvU`E1&IW83tKF}IhzT8KuC%>xo+NMa%;F&Q6;7WGOV_S}D;bH+>4d-wO9 zv-bY?T5IpU*4k_DbB5n#yHB#N1Y64_K`9=U2x52M)28YewN>5yev#?bY_;(!*;tWR zG^wpH6|8ETfkg6ZmD&~>{*hYsYCC~;GKbBoaalDk>%rf#d2Gu6CoE{ff}W!FtK+^{ zRW$9ev7u{t|JA3=0}VN?bIzTj2lTmiC&sur5n-n?qLZH2=P(`B)H&F6<$aNC5k>4I zozXkk)8vh)WFPW6?TtuaX$r?64FSEXaC}Sa3`Mlokih<`aCI5hvLRkG*f7)-I-rZA z^vHjoP`S9Odd(f{?!9+o)4g;ga#v2kKfip<^upJ6@6>`&=?bk;h+-f! z-7q?eHDLuF8`sNYAY5i?coYCe1ttg8n{0Nn$0#W*yQf5q^( z1({>xPzQY!?O+K9S=0&-O(J zAGgJ@5>yMY`7EhELD0IgzSmCvUfWJR6BowS6bOPST@pJE88?WQdya{nh6QweVp>jV zydeCAySPt>ml!O4DPIsmGR6)_mqKNr5DOL2t&?)=vNJeG?EWd7%*~Zi?DGSHaJ37~ zji`u0!yTNs$F|xrLJF_%>fdUTM=YuBP%j+PDEQq9f9Z63anfYnwT1Nlq~yG73&GPm ztxoKi`!=tN(%G#O#Ll@V(FnP3$Z}{s#ynzpgHq#Gus3L1To!V`lX08a9E!H*vP7C; z&(z(RN-OP8F+Y80{}uZK{UUxEdx(z2XR^EKLj1?ZtY)VS#G9Ac) z!7Zy}572W7^{j+!&RjN$W;?TV*RpAy^LhJi$f9EL;Hbss%QTK!R>l?spqjWiDo=E? zW3)XnpZ$h@pP0pV(O}}E4r3Oa^e^o&>8PbXR)^N8#cI&e{Yg3OIQ=GR3TvYyNvY;F znONB9HCcvE!|ik>DTCcgj>*{!2A_N>eI5*so?$*>4C)&!x$mHkd8~W|kD-hfB^T?y zoI*R3Q`pP2H+f0QkKr6lGmvQ=wX7HjErii9w9>RDH;^^Or@Nd^%Tiuo^<+y;WZr}M zsW0o7Y9C#^j^Oq9q$-mBKubCvFso8 zOGm|l5xpqEmR`&Lx4gkhIna1Kz>WnvtBiSVL%!e^*&p0IU<@vh{nt+hSU>n9#h@?B z!-cH31tYFuG=zsQGhu_W8N^Oh7Xjj^59vi_U>NjT^#X0qv*4BQp<8bb(25-H$!5g>QyXIW*qAYhDVa0EsOGLz3Qt5P7 zisdxGfb>Z~`bw0Jh6ZRt_HcS5pGVNXE>RGQ`>}nxPzhbRAj`_83YjjFAty_xyFmFl zE;dLFIXP{0(lG?Kcez)3?{V*S*}KeJ=dI-y7p1BmzjQ;CTDwH)%zCl2Br8{0X6v!y z|AwWGN)=D|8@cf!Md=lB=O@BtY|p$QQ93TVPhiXKyvUCNv13o>n1u_vPqbdhl2H}& z4r3!)cAW*i>;zdeNp-$eUO`j8-y;;&$=m)H=UWOEzgPD!~UsGdNyyG?X-iZ z+8y?&1Vy6YD1DVTg}qL;sRisOG;it@-Tm=Ym6u4{r#f_F-%xvAg6`vQsCQ~+Tb=4= z_?LUN@$cSRza)zTU+9;@;1)Q%8B40@!mDaG`~ionD-xxOW5xZU`@T@z0k&S?o{!KxuZPzZ7h@wg^@Jjz1@`I@r2)~PFiE?%!6*o}_RvF0XH~oA z+>QayI0uW8w_ltSA9Ihw&j-e2`DjHSzXxDF`$9Ho^}0{5 z*fGl+TrP`^f6e>AAB=ci4A$D1KREeBcxzU)BUSXkvzT8ytboYvH;V4z*3ULrF1-f# zRN(yEVSmRiAPTNx15bSmU_mFD^0V0ghs&><={8ZiiIJhADo^Jxu=iHh-p?*vW zyj49uNdvi^^S=%~jgEly1vh+8==^6I7g+1M{xPa1@u)(=ePvu^g`8()`R3LjYe5FP zk4g#_>I%-%&VtoAkwyw;%yg<+YxzlGi^$|ULIxF^z*|E&6OQrYX4^y_QY&~mx34FE zVa7}kj(!Lsmw{&hH6-rPLRD7H;kCR=J%v^rhq8fC{%7=5Vf~~rn;<-Y6({+h`Ad{e zhn^r?QKkJCz(c8@h7(dLYN1}byT}A0NLyvjzLd*u0wKhJVH%;P{uAaHxlNmAKe@^rw9VH2xOw(m>t~ zzKGBx2cMjIhl#8)u4g@mSzG^Gvb+!T9|Y|OwGPShFlaw$GidMIvTViGBJCYn&IEOx zkYx|(UeH?5!FOf31yp!XmiK^qhM^C%|9x409W?DDS^f^R1#~j9#USV{pq`Iqxmu6U ziFQ=h^E7f=mbdYa5m|l|wB-|79s%t_4CN!;xUd_xf%blm0YLk)?*~B#L$W-^`*C#S z8U$f2=q;fAptYcBI7c^wwu3$hIs*CxXcsOS!-g^_xFpLHBB6LxmLC93yMh5gyFgEX z3Rf`zZ-dU_p9i=>wbR%0b67Q{mnY#pw>*PcXnVH+?~(0!lAuz@HW1T3bXYmx{BDy`H$$AJRA`;?1}7% z(wDR72~oz%7(vJcOFj4n+PNSj@pV03Yq_lBG&!9Po$XE{bs-p7P$OVt+xt?l8 z(F`3|#8X@mA_sSGrSMO}%fKcBTh5Umn9~}~MuFo-MAQ2J15X3~%;$2UT*n1O zbDB;x8@a$NbX*M!aOW&A8)pHp27U`YR#|4)gIX^QRTdfgQG1CD;wFO&L6}d!7Bfuz z-c^rQ3tBmb-KafBZ-}Xp&!8rJNu%Oy!$nl9sn}m`DnTf2L+l#xL3c=R3x63~`9x3{ zvAZ1Pszk?KH@|ghOI0c}Qg>Amn?(bt@1!$TMYc5Ui;>%tmk~-|lxl0y ze&O)2=cSiw7ADP-=*$XtV=uX7FcgZB`*F}(LaSvO2aA)`uADqiZ);XlD`OADRG@UJFK|Bp1LYU*C2ZUE@s4 zR6CP-jG}yjhb!_>dTkN&QB7?n9jmpPCZeASd=dw0x$JAT|7%4>5U(aO)upmt%B!oy zk+lW?l{_TX&0{~M*XqjbgC#0ov&J3+<4?q2qDkag7C~{#;tY9VB-zbtm_;vN7mAVy zK$nC$sAZYa9`?4vg4aFa-nO4=@|U$h2>)r}dz$MV$yQ~Qor&tdg>k;yP{JGMzck!c zsN%}zLG`4D58~UO7iEutUQ_X@LN&hqdCAhus>kl*1AB^8+yh2l;;DPNgW*efxx?w! zcm}oLHfXW|g=Z6g7w^z`deanfVUEVL8@N@#YS*fG`284{az3j`wdARIlqU5GAJ=da zy=mML>@3x+aIjH2uqvSqJJ*IO3m#PjO{K)4!WVKmRc&id71G0ax{C9R%8N_G*M86Y z9u05NEEu-zDh;=Jw5{Bv>Jc`PZKcD>r^SbFcc^gKzC+|)>1gZHdb>1t^=h&Yhu5#| z8qEp9lN$e8o|90RW|u!`xb=IJ`-_IV(iCf0vI-w6 z^S`F`wog@IC8MJnLF;aJIPJ)Le09C0YVU4MHeKnRfnJ-=DOlHPutw%l_w5e0l)sak zH4P)U*z*!TW`6`+^>H`Xg+D5ISG}llw`he<&j9B? zd?zK}&^XdGjWwDizj7#>oo(h3X`0O2SSeEIszhD<_);DhHI?lBx(-nfn- zojkw3$Tka7yoBja`Wom9TD}g`5^^^c*)D5nnD*0sO+}_~Uhbs>O=UL|emL=u(AQ0E z#%e7JD1C#2e!js*p$%5*+u%xQx2eO2Y54A=FgotEO$_@yOs{3o>^loh;XKtxTkbr{ zL~=J5nZo~k1=`YFM$OGG8g9n-0iLmD*Uj@OZLvDy2)Q@PxL3RHDl?6(QZX0ZcUM_- O?j33?k&1 >/dev/null | grep real | awk '{print $$2}' ); echo "scale=2; 1000 * $$t / 100" | bc | sed "s|^|Time using 16 threads: |" | sed 's|$$|ms|' && echo diff --git a/squiggle_more.c b/squiggle_more.c index 0b87b7e..3c29f18 100644 --- a/squiggle_more.c +++ b/squiggle_more.c @@ -64,6 +64,8 @@ void sampler_parallel(double (*sampler)(uint64_t* seed), double* results, int n_ { #pragma omp for for (i = 0; i < n_threads; i++) { + // Simple version + /* int quotient = n_samples / n_threads; int lower_bound_inclusive = i * quotient; int upper_bound_not_inclusive = ((i + 1) * quotient); // note the < in the for loop below, @@ -71,6 +73,34 @@ void sampler_parallel(double (*sampler)(uint64_t* seed), double* results, int n_ results[j] = sampler(&(cache_box[i].seed)); // Could also result in inefficient cache stuff, but hopefully not too often } + */ + + // Version with loop unrolling + int quotient = n_samples / n_threads; + int lower_bound_inclusive = i * quotient; + int upper_bound_not_inclusive = ((i + 1) * quotient); // note the < in the for loop below, + int delta = quotient; + int eighth_of_deltas = delta/8; // why 8? a double in 8 bytes, 8 doubles is the size of a cache line + int k; + // to do: simplify these variables. Maybe divide by n_threads * 8 directly + for(int j=0; j