From 2ea32e2a47f3b25d1214f47b7169a2fec28c57c3 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Fri, 11 Aug 2023 15:27:01 +0200 Subject: [PATCH] savepoint --- examples/01_one_sample/example | Bin 22416 -> 22648 bytes examples/02_many_samples/example | Bin 22464 -> 22688 bytes examples/03_gcc_nested_function/example | Bin 22480 -> 22712 bytes examples/04_sample_from_cdf_simple/example | Bin 22568 -> 22792 bytes examples/10_nuclear_recovery/example | Bin 22944 -> 22920 bytes examples/10_nuclear_recovery/example.c | 4 ---- 6 files changed, 4 deletions(-) diff --git a/examples/01_one_sample/example b/examples/01_one_sample/example index a22d80e5e7668542c56c350d77c79e5a771a5d0b..a9391dcd5b6500e16993dde0dd703c57df6b234c 100755 GIT binary patch delta 2646 zcmbW2dr(x@9mnszaAg<5-UZQR4eKtlA|T3wyc#vbCOqz1M5w6f5S54oM+`(!F|RcV z6D8v&I=?@Hov9&-={TKEqgkgz(oTwxHYANxO`Hx*j1ok@kcA4~f5Uef*mh{a@Wk7H&QD0Rn&|FRN-iQM(kXo-redf6R z0gO8mRaOqSDLF@|J}oW0e`=#7_R@9FYvMk7Df2n;e#)D+NL);hPHUFhzNLZ8`7|kO z-NYyF5`;IeV(V}7AGPmXB%k(VEtr%E9_jdovA^)NB2UALB-2<{wsl_;-=2Na^W^qE zEnP^WSG^?GQQ7n-W(#m_NrkiIcA_A(DFs)Q9o@GX^A9HQ$wSE{z=a>w_FYm#C3ETg z^cB+3mvnEo%evgEO`05_*6cyCom?~CtUGHlXFCH6vqhC1uV6Mc)a>oTVOiQ2VOGUm zA-u)+sAYi!3WsV#$uShCHY8twXo*Gkk~im%^X4M(3m0QdaaZyUnG;oTF8`RX(@r4wQi42q+V z@@7eY{hX{b=LVz7@^?|DlWof7A=n?o{#Tna`xr|0_o&kF?p7Jr(PKy~9mX*f9mU0O znm2OmbFJ8E-v3sdhaAOFcdvHot|(J)V7{Zr6!&%x^#1>?7yKy;hJMb1{$;hH`C*SB z_?HIy{^?&5=)2}`^!MFdqK0Pe_aqC#;@Vt($t{sZ7s8!08{*#Z<%>c7+GJzPv9pYI z!H%3`tREVK9)ymJGL|k0!r-TjHKBjtJY&PqLFgIiFmwzWfyN`wa)Gf5XgRbI+74}p z_Cp`%{?8cO&HYI6_mU744!{@!h+M>k&>U1Q1|9x_v5YwMarJAVJ_FO|ev?<1zT}J$M#){=~WCEiJpyviMhmJrG zLL<=QQ1#!~7_vc)E9DRSWAZ7Z4~s`PS^V_gM~aTLdCHam=6c=$2m z9n%_T19(n@p)6YC>@c2_VE8m?jk94qXT~uv@8cPy%sDd}hTzFWk2fBjjzaM0T#e`~ zA1rnU!Q7L?w;I>Qm!B8>4j(XJiRw(iYp$~D@RvQZ9eH-qRkRW z5N?pO34uc|!43wwzsZ zrHx)Hoo=~_xSfcj?MvQX3NT&i0`4xDl z@im-pn{iY1IPE=zd4jJkeiC*rNQ#@%((%yR2RF8?>e|@Zx_M3as*cWw9`4+@p`~LJ zWi8yAYIrwo-muEV{R{6&Ge>P|U)R=cc<9u^&6CaeH7y-$|2G#^*40t)mk9|SEnOWg zYu1MM)CENvlH{#XD7ytQ@{nyYkXFmM~4~5vTvT@4cI=vz_~U&i{Gd=X^Zp z!01uF>j>YKqV!emPQ4OzHimiI*%-3$SwZ~)`mjGhE$1cN9Le=@B)zZv6xq;GUwV0L z^X*H=_gH6c+8Yx8W8DSyRYPnTf0;h8tTLa7X3XsgnHQ}J%fVpPXs=QD5Uq$m$R|j| z@8qA-&V(wi(m=v0<=p*u6N+e4;`)dylNmcXf{DJBKkkmJ+FSH6u{`QE=-T;vLVPC| zpxb*#)iYfqwdqTq}P=NlgTih_!qQi`qo)%;A*kJnO6_%`LK*fVLO^9 zgmCo)$mE`o_ktM9`njUxrrVRZm*yw0RO0T?zT{Z*NwYU;$RYYZxrg`C))^-&pM|Dp zD};q?!(lrPAe-B>Dyhl+#@)ciN@NYQJJ~6@M(-}LfvnRNo{+jg#wt9f1%P*B+8DK^ zoG6@wz+16Gh%kGxT#!G}JgJ-hudkN+J#swhfp%@ z;usA$mheIPE!D2Dn>3M{A5eD-A3aBN(q<~tZ_xU*xoNKD6`rC;@r=2am392$sx9ky z?5c5fjMut7Glw8At#JG!ccr~Eq#j9MY*1UxPJTQyoo|!(00C_D3N{a0yDCHzI109d z{ewb00DG!5T1dNQg%1|3ip2 zg>7S9FghV4rwY7=AaV5f;1vXgDC*mQ<`AH|apz*rJ` zE_xSzl0C!LgroAx(uEd@-i+Qz*Rrh+hJ(VD@-`W@AAKD8Lc9uNQtL(^rTCnPC?le6 zK98K`GWsBu<;>t3y_geGB>fJbUw)a6BaZuz=7d%Vt-%+Ex5{dub<&xfn5@Gn%!VgC zZN4JS2AMlFQ@I)x8dw(0h@Wo5;`8qTCEVPFr)WYvt^js7Ly3A=dfw zNv#-KJ2ZJdvPrEDS~s*;yb6vO+z2i1ju3O@yoOjF8n+@8FNnF(+uYg5< zgo62jZ7{VFyr+lG2;BL#0pu)lD?MrI&Z1>TkgmH*xKnk^|A8wP^J#d&zJv*^KwRpGo@A@O~00AWI3=K8QGeu$9%1W$#ampGf@{*pT2~iac5-J z`@C!9bwu;un)N=t+OF&Vnl#ffx78+Jj?9T4Z|m2=-jwUHeGKmuxOy{nS=LLo1K!oD z@je+h3vkE3Hsgvo&FSfpi(k`|V+f0`caKNdUj za;q)P=XECQ-hSVa&ZVq!tEmLu1aH0ue?I<_y1P8sKwm9tAy?&Wdb_fjrdCxL)@^B` z(-k&#cU1#dN2>=7%9l18sF@Yi<0}WsX{p`L@lUZf!{W@=r}MMZs1DRlaOHuS2A1cW XGs|`NcCytK1f8hVM^iaXT|DhyMX4~- diff --git a/examples/02_many_samples/example b/examples/02_many_samples/example index 627577c8221e00ca7c68a305f82eaf4888a1bf62..f56016734a6f9203f4118c76b2765d81263d5a46 100755 GIT binary patch delta 2608 zcmbW1e@s+Y7RTRx@MHj)Hv%rA#Tjuxkl(+Aw%RgVkbw+{b*y9Ss-uODE7l+QgC-i> zs$FRz(H_%iVp>dWVw)y~jwG|&9}BYG#dgzWyIo^-^u(ao?v>@QN9pxBCz+L&q(0Ax{+YT&4vtXP+$ZF7BUGQdh~A&O zA>pG~N&4N_Nd7(Xa<^Ryx0B0RGkq&~_`)#fe-H}`kE0jfL!Hj_m|HO-Kil++u{7xX z4J)EY(~hv0=~~*J+QSt)4 znEp7+r;+s8(cKm;X52AKoEMTq7W!yjC^i>RkCsh`Gm>(aAckr$mwqoY(sD++1-+h* zI5%qH=}?Lw+A_kouhBm;dLDcbo?oPJ&Q*Jb`2H&A7VNSmP%gOgW4>DO5hNV;(fgUJ zSv5K5`yxC4%{dKbE{i&*U?)DgP4nkJDvw>I+^pHmMzvX`QzpWg(oD~1<*+mgWi4zS zS67}zO$Hm)(O&fbh5o0FYHmO3^WnI<^z1GLy)*qtW(GR_s4yytccL@A>8e)QMCbSA z6)tBm)xKXlVmH*;-yq(Ze$~EL0Db&l-)sFjAN=<7|Ko$M6`qbockGhndaSzboNIY? z+fA3()pmEeyCY}V9w$l5JelG|Tf(ng3EHzy$ZzFmvsUqwq$A~ti=1ykf8rA7N1>J> z&b!1IIzyJEz!lDY82disd;l7NUVyeh$Dl`{k?;#a1JE#ZH*^M;atP{%o)mUyNZ7Hb zpU6_H#P}Bcp_bd6m*LcepsSQJtmGTc_X1?x;k*}m5PBYZ6gmu@fJRQi zMEu_~pe@j~Q|N)hbY>xcVG`R*&lJvMJ~~mDlw6N(91};tXt*7uc032^Z-ogD?Z3=9 z3ZXS&IgMv87;YY|2{wSIeG>Cvd;!n-i(Ccx65lH2N#&&F6SRk2zOQT3^)+Qv!#Z-52pdeJP_PI1MvSQlj$&t=(E zTb##M(VpU@*8AY?L;2cKuBBpTrPcPFTxE6avf5l$ix#;B_P@a1U_{n71uWw~oEJ}G zonT(DXACAXJ`L6jChiR>B86EUD-jjR;~A7CS^AuA7FQ|vq4ERdDk)Wb=y_;QNuJV< zo{zdqHY#^D>zoC4#eoyxrAqWF&>Nx+3rhWo2(=%hwKq9mfxfia>R4~2ejNN1I4()8 z3EwWTlRx1rPS@}x-wOC%01MM=3m&mJag=O0gLJ(-A=n#zSfR2-ZuwMB@YzMHBcXJ~ zwU`BhnZNuqlaH6u_#-c~EIM3ampgOlt%~>95N)koBm6$D+$r1AsAlm_u)f8+3LOqD zHObt{v)HnDY`h~?=h+yGcHZFm^Xb=Bi!*z(b*wEJ-8tAKF)cqw=VrAEsIMxCRnn(b zc?FLdK8Lb&pSN|9wi>+Nse_=wTj_pxp8o~IYMZWO^OU}1&ibEBUN`t!hwg8lhaPa7 zG*hzG8{rMP|@h%!tut#5M~!A-qzeQ5Lb*L!zE&=1&8zDcWlW?=)6nUL&W$QG1H2nU*qW&NX6c|0w2O5?tiVMuP=4DG@XMO;0tf z+vZ=hW!vT_cdXyOrfKt2PjB9~$=}pWwY9tA4Qum`O>0biruKnEb5?U;L*sVCLU(F+ z{KE8K?{8}OAr?JdS4VMmQBh6)ElvLQ4Z*kTo@K%E`k@HzKBjRC4r4GPW0{M%F(=L% z^q7qOvthC&n6L>J4cih2i)Jj@!?|Vg4;T=ppqlDWlYs?UA|j8TV8giI`uezN>yp^=Jp3O)*1n$`720ogy+qK zf7tR=2IXaZNPFZt{ zj$|$7&Gcnfagg&4j{Ht{vvT+c6q8+=WqrxvDqEh!n6<&)`KPts-ucK{XYG7aZ*%2j zgI@12{wFi>j9+(e&N-pDhjkWy+LX=r$+p9R&Hg2X4f5=`5Y0gCRUr;a9XJVWye5PR z=)5jOkJN#Kz&7A0up2lA90FPtmPRfdge6wBIDlhP z9;fQ1HO6L`l2nsCWI=TggEKzE)q(4!5d=C9%U0EbPm}G1CGi^FT^bi%h*mT`W9oyc zi((63h#y2VN}w@Ym`NEA4%6C0SR&LL;4ahJ!em}YdkXV5cAys(GD1a|{(w>yme>@g zw}xrGZ*ihmgRs9Y?N~C^9pLo$gpf6pOLFbtO2NJDWiS}PZeX~v8DvwETjwOJdNzTh33pnL1U2mXXr>#oGwuYLPJZ*Rg|Dffiy}3Ma8;u(A%Kd z$X>ik+Xtx`BS2G@NKAcx5S5hKl*VlLdu5vffppDU$t`Z<${)D$q==?heaiK8v^+t1 zEt^i4pX2Sct75bCyHwGt^rujDWh=Om%C`!J6J!Fu!I1bP5|6-Bhm)knST=OIF01@S zBfVKwxnMHONBirwkgRqC&!nlUy!_>OoeW`8eZKX%vIdo(O!g6OmET5dZF%@l*l#oB zzoYti8wk6<&IiEjSsc@^Q4gtbj3#Ub{;~J=0a}0@2BjQ(L5FpYm z68l`R`|2UR!FR|%ZjZqy(tr}lqiL7juq7SckPlp=*3Msqe3fS^?;SRTDpUE%G+$g< zOSx97e2{}Xc3mTCiUk$3S9_sQz`0Ge3cN=-E-0lT;FB<_f&i!~dlyw>6Vtad+l z$FIE}pj5<>QlA^#nC**=UN5UZz@uoSJ}<&j;3NGw9OzaWo^q}w?konfwa8L0Ty-N=YCE zMWt+;1rC2eBw7q6XiNkLl5y9t71pF=jTYkvDhtTsGPteuLr78Z`nzx5Gxg&iy~%sO zbAIRCbI(2Jyf^qJ3ms*QLnzl|~be$J|JkBzJFoS90*p#8=}y_3rN5 z?q`QAW2#Si$0A8%>K)S@VdpK*-QCxqR5(myszo`dnS9ZXuoWgS9*4>O?7u9JVBfoA zYQsRYn(^+Q=}AGa%`3~_U8C3M9%5#yP1(tazDTK+gTs_H?=SMF!&H~DfZm(8Ch>zf zNqYM`B!5D@+}#(#J>+s!PhSr{d~S&Ie~OER#~_8bP@f|$_C~D8&ocdd91S|Qu|is& zx|h8~S5mj+*1`020*u8qkeb!JarK1_KXUF0O%=g=q=Jt;-B;Yb#ebzeX%Dk} z8cv%NbJV28jNea5=^;5}q7TwTak(HP(XwfGhBc=aF;v?^>F**VEoY=#(C_JuccT}c zUZoJAT_b$+3Vo7s{N8)vd384DT(wn*^H)0BP-RnKq2QI@@(qF?M#5nqy_ea*s>m_l z7v1+i&S^07fvNiyRN~{CG=KhbdE{%#&6>k3v^1-9%0w7jI%sEB4ojs_R(aQ$`p{|g zWUyJi)(`nh$e%Z>xu?*de~+olPH$8oojiqPWD67IMB7i)4SjYnP@_<_y{5CFucArkH3`_~lDMTlPWut^91(B|efgq&#t+^ESv67dYPsG+pHUh|qyE zWJwBK;@k(__g~HjfC1n+U?*?{xDOZ&zYs703IsQxgKNRLXFZ?>XNJBI5_n`++-vXMy{GL%<1O^b~Bw_dNsH z30yUW?s29u6ZxH1wv{$H)0vMBI<3idDC3A20e#``AobwcL1&za_ig`*b2LI*!g37H zR&e<9XiIPdczPyr9_Z)roIOt|g*D7g>kAWGAA>_CNU_8wFFGIsP38jN4uE@9^Fk+p zo54+hO9e`9vt2$NYc^HJX)#3Cr=e?WC;7htEk4xg|EmjtTJ6Vn`K`F4CHkQhyRcZHKn%I_E1OOY6+`)q3g&z#j&WpQN^g?-6i^ ze#ci#*U%*23izG_7pB)r7MUCvB@1SdMi(Xq`(t)1RJOn^AI=Frv!EdwNS9noSRj~r zf4VFmD5d2UFR?}%t+2^`Ih3&Y1iMIQ7B>n%=aL55l1h7)JPj_Ua--93*HV*=QrR-1N`%jbF4i8;8onf=)jTDvmDdc&L(;f-!Jk*mteHql&nUdm40XIECl z=N}P}Ue)e8{p#qCbbggR;%^MVf52O$nUbYWKSzhF^p)Gn zz7>fTm{8$6aIb;jwz;@8spDyz}}tDTO@ ziL6t27wps{+Vuh%5nnM*!oOE6qi}D~8JrQ)t##=U>sh@U1H`JW$(IeQzE}H%;5aT$ zl%o`KR_Em3Ep_-?+gh3$3vvscB~C+Y^*^~u5M>6@+_X{X#lgQ-kIOUtEsr-n+U{>` zYhU-+Q>!;Lwyb;n$#w0m{+15fwsdWRZtZxgwb7uzS$a>Bv8yAnrg?*Ip?NhecN+ey z{Yd2JSkzmy$gF4A;%{s5uWkx{ShI~$zpMo7>Mlmf&&?vIH#hdMUNj8w6W-@pIgNVr q5(3UhO$;nkg3kIM8UCmRD@tSgt0PvcLhUO`Vm_;ls55DFne8X7)C?#9 delta 1909 zcmZWpdrZ?;6u!S76j~4{ua$Pn`&FI=TIdwC-FOs+hzPDa#A(FfKxI)B6Bn6tPM9^! z;~(rFquG|Qg(+HGI=3iGT*e<;lx;4Wu;JVK9Ec{csdwLPOJd?pZohNB@7&XK&$+GZ zgmmG!)SE7;Kh=*1bm+<5!o zD0QreX#C-#>!Nd~-*HD^_IHmeFhB2EXWKoRsc;uJC&Y`$^S+1X;pu{hvO>{i5 zN1CGfNlWC&hxAF(+j8MU8cZyql;jPOIdd5M?lHdXjQFs1kGt>F(d4S=(O|~h#Sb_? zD++Pf!E*m~FeNo;IfO@H>ga`Y$dK}ZM07Icko24?Qs2)R3}S3s1Vqy@SnI=br@}to z`kZsCD?sFSgxpjymiJqA_idZQbdMgTu9SLdaayb@96XMN%+S^}mmH&_oOD<40p)DA z{WO`b$*w_;us91lEei6KjB4|Ss~sWzXkE2KK>*J!+$-E<(w|x|ACY(Fan8fyO2zj# zCb!!@ysvCoBzVQk{3^jeK*4SorDQZoU(ucnyFa_lITr@NWi(nl1NRh(&ktJ+brAb~OK^2+W%tqqmkPptLU?xzhlM|KwI zW!3s;q7wJ`b?55rqq1{YWsy!AvZP&N>8m@AlD}D~8fe2tM8QX~6Pe=39 zv|VVGhZYi66!uo^PP&?}(GTJ*UYBQys3X_|;6gkMV}cvP?x%!;$XAA-XnjgGa7@_a zR8>%;Z-%P^XF)i7?P&aumiXl3|U|iNYdPDd=_ZY*bnF zhH?N_JDvbdS|ai4^8(0RVv}34oV!b!{DE}MS}s|f`q$HB`Dr25l^&K#X|gm@o0areo?_-)SG5rtnIQbXI(w_A+9^QPqgSE8?Hev&KBdJP@CGT*S!Qm+}OoqvAel zjrYv#)6&r>@*C;BN{zPM7gOu&(d=bwDX&VSZS<)Vsoo5ie4T2eHB}mEpU5Eh`P0`` z*#;BavSwp@Tl4C?oPvCldDh#wX44K3g~nN8ee-tV=Q#u4oRTTJ=3Sy1GhL}^rOk^2 zXv2~Pe$Acj6uVgKJila}E diff --git a/examples/04_sample_from_cdf_simple/example b/examples/04_sample_from_cdf_simple/example index 5dbcfc6765cfb49cc0a0062b80e78e2607a31fd6..788fb45af33b53e206709a6b6120e3beecf284fc 100755 GIT binary patch delta 2536 zcmbVNZBSI#89ry(TVNG-MPL<*yWq-~%g2U~t&KFSu5z(kg$5#I{9sWCNic2{V(c_! z9j$e(1kBq^+G(fNNjpQQ`LViAt7#`i>4&k-NK)FdY1B0_$!bYOLQ)g4r_b4Yw@q#T zv}fkt=RME+oO9lDo^y9c!u-H-K3r^2n-7;>Hg(xpymi?qgO{gwA#?6-WAh)FAW^}}?NP+P= zQq;Y_vTVe-)6?cnXS>bCrzxDB88PO!82DCdU;HEfH4=*t8eW`B-*l|y^XU!82E*#f z=Nxs^zvR)(%O=K7&0q(w$d?+r5}Uk1(@Pq&_aG7T{Y8jh%I(EE5yjrWLCu9rOod2c z?W}iA6fE3h_(>`y6%o&-7mA)KZ%bwDsSIRm9zxV@uK2+GjlRDN;W?Qs=O0Xa9*5_8 z-4}XK9jy5-ttfuja3n_GFU~VvO^(l+b~J^4UHmg%Nzas=no|o>o35HXrB>%UOk%dx zvzKL2@w!p6Yt%QG*7h03e1pnLKzu8)cG_3^)8+R=cs)-DVYYeY`WqYpoO4P~z2ueu zU{JyxV+p6!D)C|Eb$tJ_d_^H*Icyb(ezZ%owU!fM5(J z!%Vz09kEMq$IZ=j{L^76IfJ3Leet{YfqBssBse%=1uV=#QS(#?XhJ7EfrlRUIs=UX;ezgT4}ZsZ(M%qjaI{*73?~d_aCIMX0#` zvJg)rZn`4G5nu=Kq{OHYK?7sMSB2<6Klqjq@pYrrV*Hqe5KEzpI5)e^4>F$#nI2qz(xO_?Eh7W^FaGeAtr%A z;9QtL1+)Vzr?4Vpw?q0}z}5(Q!wJi$FWR zuDHJh!9tdQ}1MqYtaTXt;QZR#bnX zIR-ECk&{i%JdBl$@S!BmXxtCM+3(?`pUc5@>beEM^WeTsuT|$}y#(hT|5RocnH1tR zx!g&4csJ3qn#KG)ZLFy<%-*19YqAGE3;77lbi$)%IdoOJWxt^z-M%Z`;=v|lac7b5 zMZQbs(IodKxU=A@bHQBDzhdYads9FujLdZkrN7G=nIY0&b)7E%bu4+wJa@9!#Le zJ`!R*fNf8=Z_&$_S4IVoAJ2G`T83NV{V&=D;17LD>xI+_?!ZU%vU`QnhcF!BpBpk# zWu0nhtB8E1uG+zPainC$Z#jR7Zms+Q-$aMKHbYYd9rwP%hv~^xyQJ*KswYyP z#lA9dh@<3RJ%rRPyvJ!zgLUEf;&_3~iG!4Fj;@T-v4)0{K)J@o_lK}0k=6MwEzP#l zyhba3n(|dE579EUqTr~mtS{3fKi8GN(0Nu!2h~D;j*h8T*B=t(J>zOcjNdccsl+Pz+StTFjp=;YuJNlhU>9_r>0jeT-Ht2Z z3+R|(e%_sgLZ31I66gLhIe8sWn=%PN8$_YfWWMS~rK&xu!+`0JU5E4*&oF delta 1935 zcmZWqYfO_@7(VBt6=R6$xrs0xlOlF8;AiZLt_=awz%j7&_J zxOZ7*<{~(^7-J$@<3ye77MJj#BF+%*U7c31@blC^ z^BX=)uV?I1LLz81qn2-^IhiY!Zy(aCjB>h?xpvyTaK`$d;ECtthpY2upk|boWx1!{ zGBOr8GAhImGM&Ir*aeo1(y^>eV+W*1QKq109msi2VGrnKPKwb90p}vPfikV% z@ou_d?GOJvbn?2-s5jSatHmWzsTJ(BOiIlgDHr-`x*|?ZVXUT0|204@CD2bJxhLn& zLEwWFAw*ParF{O%j5gQyhhZ(RNM8SczDe@GBjG^KJsO(T#QVu%Yt*&f6@vV;mWLYj zXvW|(nqynWeN>*8%Kg-oR~p**07r^O=*v7Cze^YL=FW1yTGLg&J(V%%3U}v_v%%f@ z)LHNBoM>=$<+X!eUSs`7rV_B>Hi_bL7?SNA0^Irp=cNA^;(-UR7YA`BTY_ZFS9y?*m~%1NgXD+vvT6#WcQ>=ZUEeMaPO%M zV=~7Pa4sq=G3yydx}KJlRO@TxaA|KzseUJRgLI|Du0M;NpA4m~dK*USp|47l3>KXC zz`G7FRo{+X3;kGH8c_-U1iZjgr#FJq*6eTS@7`c^>RaZy%}z;XfczY>2%3$))zvx&@m;JFP70un&8XE zv0yfnjd(lA_gS>_>U)Om#vtF5qw!aRZQTw&UA=d|yf^V^FwQ5xkTCVz1w5zoURzWb zLY1{2(Y4w#%C2jr!*x#Y^SV#CcgNB@Ak4}`E7HhG kGU>&t73CUcW9|%-dt?^@psa09(eqXCuc(^He5|$&(p(+Psq#hlC-2Z?pSRszwyn# zHwN!q^jGU8<=+W(Ezzr;mnA81swA1(6Z2@Nse$Fvu*uBaG-~oO7yZq2ggr_1NonkB zbU5h&ZA*%f$IsBkq#MjeKTFQgd>Tualk=^YVDa({Xuo?3GVc=?~5Sm3EsUy+w((%#F*i>K%UKvY&m4dTd#m ze$ zHirYb?QuNl*c_f>Y!sq>mz0M4VvZp^G^9owY0+7uu9QsA2tdCgTP6996o$%YI3JbbXoapcHqj zremJ`t_r%~el+PrRL85!sPc=V3j}8r`z;jGEb+P;8%s+yP z9Lg_ue=kjvs#@xU?^W%o53W=_R296pCvYn71nB0*?E8Ud=Cz79bUQzh(S*+Vtnb~p ziDrNJ1W5~(r1;)CDXxYrFx~&+yc_S`Gn|hA2Y};Z`~l}>D7Mw>oVQ`D+~9l)sGa3} z7FY(n2iylVK-Ud)0Y`z|z-izhP>XLI0hR$@5q99DMmi}?e+Wk)0v~a{3LH>4Pud_! zlXIN=fQON?hs5|c=lwwI9nQ}IyMeC*72q_`v%vX0a1@cHpt>D@|$8}O~ zu_?75mT9pL5Ib{f-i%Gq*2RTAjnEhrufP&OKFd^vPcs8WeVk;)gekgKY-96uzc_;# zD80nX{It8o!P@93`W_lCF=d}ddbRVM7yr+GM!^+>dn&>SU%#h6mDt!c&6PCZW-QtI zMd4*@5j#yUY&{Yah2)Jc)ArJoXeY!TDlg4ojr2%qB^#u(r50Iac>uRC4sp2Qij>B| z_0vyFO-Rr+^s}^5TE}uj6=ip$#L=L#iU6~QdMge_F)LlG^0HAfR$DX+g`q9gZ!rAG zE$-+7_h?NWK5s1Cuhn$1COW#)ftwmlC z--#9uCD4m72u%;QL(@dVwHBQdKPsZRX{@#q++uB)Je00->mjtD;>Eln>aDZLBRQ(| zyb99Ri1j>;)z!(qe3jlCv7V1uN5~lPG9Oi;m*{A~g4-<^@X9@r_1DWsMhwMT6ZAGT zQ#2PiC^r?T&LaOqq>hNjN$vIDN7@(b>*S%xy6gF9$6*qFoV0tFMecN}9>SH3*RF_l zf_is(v6Hb~Ud;#Q(Dhwuaher7XjAb>c}pFV(%a%S{@-67x&(HiP<6hJ{t(;C Z8T%2j{iP_d^8J;%-!!R`6uQ*x_zy1Q@qqvU delta 2447 zcmZXW3v5%@8OP6Yli)n<*iLSo#4qB!N$k`KF#;3^lGqN`7G7DP8H8?h&H5mbRuB_g zk`^fGiZFbjEo-Z$8Cmc=YE9F`R~4cnkWXa93;Cd7{9 z`@84+{@=OZ{m$e1P=t?0c({T`k5*2nx7wK6S}B*i(mS+?UPmOzUEFcHF429EA)c^@ zXhiczQ>;o^oT03*?;9zm)n}*1~ho*A)dD?1t+HA^UY+jeU_CKK&Gtc}v zG<@@{Z;g({vUPOD;L>IlG8Q=8kViWVHPmWc$3t|~n9p13l+n#wXwtZgAE%(n$`8=v zrY~rBtMY6?XH7GFCH)|;M5AQVdwI3q>luvcY=bhh&ve#1^SZ9o35db$1h<_#f1m#` zUB!iYU3c~vW#^aJkE=?3>OOFG03$tCtF!G_-%@95VT?NR-{YlJpp`H|Z6W4$TT;JnrtQUMW6GZ0^E!QtQ!8!lX2xPaCvCykxP|%(*6|@aQ}7C(p{?eU zjGO;X1iqulKpHh?rHv}kXVOp2Pw}V7Ubt8D!+d(gyfovje?`TvvlFTGYX_sIJ(VuG~tD ze4VxxSErpfVbEGSQe4Ix=@-R8e)yQhsf3Lv>$8IzS;_9~DroSAsa3SnQqDKfS1e2U zFX^Dgmh)ZcV!!z;G2k(ZSW2_L0TT*=2gfGqD)g^YmUW76q#M?v^tWpcdbO*!T+`Df+uF1WXks2J zv{&c)KNVv3pejO)HugMq+P_(RRVSaDo8^o>yeLFq_~yOR=uw~46TRX5A}^sk&TdWH9NC?#=|pL->3yt_w->Mr&dN(*csjOtgA8TC{C+rMp??VR zj@%-#M{yVX=MCyFD^0h;g>>^iqF2kF<#d_&vRh(a-6V=;zkQS=DQuNn^pwa4$OGZ+Vt7_K|5Y|4D0|WG;Dy4<0dKv ze-~mA?71$4{vpOjV;BgG&SGJJgP6T1W&aZ)UIyJag*XF-!M}hkE<_ykfhj2EI9LEO ztlfIhy?_@4Aj5S%PX_@Q=a`a!$(K6{B z!_Nsjjw`iE+XQ}YI_EJ~u6n?;08aomhpJ`F3u-YdCYtqlnq_PYdKLF6q^%3K7T7A2 zQPTD#Y&{Ry25CpV(Q+J~kKri=k*QsCF(XIo&s4KLO-G^lEj$6tuQ#D^Yo?(HX0ieV zMCn|85nrUK`Vwv@-r(XLRM%kReY76eF!eVWE9JV-&S9GF%SWz}df4_RZE~y$db6Pj z^}X1zj@MJ(@|ALwL4lLi5X2PVNS|Dpx5dxh^b_@ZyJZiO>TgwW9d2!MynzK|kfp*mLbiL;T7*&=aD;m4 z60~-jZFSX!ixQge$ugojPy!jNPX?*wh2533k5aJB<>w3RpK3$>)Fu6@-E5ojl&l#s7zrsJD5x*akbOrb0blWc{tTNy-+iMc)UnRg8 zDkr0&)E{u+NPI1zn4?L}my(*Aq$W<60^4~P)ddyqqhRm|^pin9@^Q2)W}hP=-6?bb|9o`r5~u1)v45)oc #include -double laplace(double successes, double trials){ - return (successes + 1)/(trials + 2); -} - double yearly_probability_nuclear_collapse(double year, uint64_t* seed) { double successes = 0;