From 32e8a32e4c4ec54bdc05549391128771dd4a0b71 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Wed, 24 May 2023 17:35:46 -0700 Subject: [PATCH] mini-infrabayes && use full oeis after switching to use danger compilation danger compilation really increases speed --- src/compute_constrained_bayes | Bin 172848 -> 172864 bytes src/compute_constrained_bayes.nim | 30 ++++++++++++++++++++++++------ 2 files changed, 24 insertions(+), 6 deletions(-) diff --git a/src/compute_constrained_bayes b/src/compute_constrained_bayes index 9028165578f3606dd2b9839059f1a0da3e0ad648..db857f1b4131cb48a214b672bd09dfb6137b57c8 100755 GIT binary patch delta 6528 zcmZXYdsvip7RP_*g-LWx7?p4|VkRxMxQ&80BnNNIlp?6zEn$_EE($`asT-s|Nl1Yg zPLUdPF~v(D*kl(So=mZ=l=V^9UA3XM6>BZX+f!S)=l7m7JrA?*AH2Tb&pF?7ewX($ z)*tHOJJh3M2)G)C-Vd;(u>{UT-=23_Z~HKM-I%dU9=vkojxP@wV|H$ATpp6(=+%%I zqDoU|B!nn;Y2@6-eS_LA!9)03KS(leO!c<*gU|XHwjsDV782noei;kpFdApY!Em^U z6>%`dh!}$B;@~zojiK={Ev$C1q1H0GBfJNO z!7MPAI=G_*Z$=Wl5M^}h;XQQ^-c_wIb{W_!xb!K)UV3N1)nW zW!JB}SAGJX(dVA_x=YWy%OfB0+Fyk@Fv35;Y1J?kCgRd+xE0!PQ#Fi--|?$zu)!+t z&()9*(1?$3f^|@Xziom%cn0TfhHSVOTQ)9wQ@Xi0wXlpb`KTXuLC z)q)@3MemF^;TM3Hy%}!+;*^a z`-0^5hzxY@0td#_K{wcfgX>^4%*C8Km;n*Ew+?O%yQqtorJlpD>Y!if+uH&KZ`uL9 zqL$F5`|!j;VcNgF?kx3ImO5t}rtE+WBc;x4!*AcH>n=@w$uvvFa!zS^tTZyER=ZSo z=uwq4`^>>vM&LVpU{uCMlck=l;iBJBh0o;Qr>Upk{nxLP@j2QjWmLmmn*5fTkZdVa z>X2mtY5fja4wKfKw#Pw?YlLx$C{K(AGYKZ)JshrpTw1Gx8fdek%gH7NJZ+jioO@}PibRy&R_-YeO3ooK8GK@1%(YNEZ zCKzPUO%uJBo;E*uC+vma2BLq95gzG^k58DJQwQm05$0&T+Rmjq(oI!e6ubp1348Vk zu1RIQkx%Nd=*q*cJ4OGO=$VDAzaldbhn>3GC`{+sMwj>Q-5V zEu5Al__*l4VVvd>yNhTYLrwl=AgB4)vfeCsGp1?$X#n5F`Xs@AEYSF};En-YR7R?- zSgY~tgV@|Rj2y!2ZLu;l5}$yTy4u~67O{cTdI(;I%^I&3T(N|8o0wE# zr^bf~D;25g@9b*+4|I$r{DWj?in)I3>LUiTG#)xwT9%;iXrtxcHo|(_tA4z&MT2l$16kL(TxJB?cn5OZsf)ih1JW+5Q z7HI6IR`nyKf}Z61xJB@vu~y?xMrqtrDZA)$D#2EbH%oS=)RyOs+JSHv;ZFreRI&MR zKBc~QsV)4C}lMUsO&7>A7OuV-mLK=!7dk1 zY5=drPK|2__ckI_#7a&ZBvZc)9peZemFybHc8U3A&hB<6XR9XG1LgyctULE-aOW<;uVWiwc;AeIlW28OaA>Rq2aTgYrfED%uu9_r1iWTpfyPTT zRy0Y8U1!0AwS=ErE7>(Oy3XMd()H{pAGbDII{a4ReG(t2);*5n?Q(n2bHO}PNY^7( zGrRida(r*)o4|n&NWyY-rcv83OJ1?8txIqd=4jj^wd$e-%!!BM6b#0x?+pbF`oJ<7VMHm2yBNfn5FSP z!FF+ViK`z=2z!1atS8%^!Fq|{o(bGcc2L@I(sg`CZ*D$c;_t&YU2TnEpS;~Sa?7e3 ztrG~>ifc_!ulq1fE=R@=Y5v_6oaV}??2Ah zJtaO5TXnT!!I`D3I|Z*pm`HeQ0Pp3I<_X@7PK{4VQNOH8VA_Ac9KxO+?RqOciOsrNt)xZNb3A={n#af3sd1~|ibj@cQO)DLiIYR< z?XAsgf)+C&pi9xf7{-%s?p2tHC6ma1xfW4N``ZG>}w z5uA9C^|xhb_Z`lz{wb{YlC%WT6CYw>wQQnv(#<)l?>a}%>Ue!?IbV_pf6zd^;@EMV z9j8g9Ggv#B9(oRhbQ(rd68qcl?RulFH#Y>_&ru5`DqErgllBZcwMnVq_Mm-HgE@qq z9}(6wncat1@J8vRMbe6cYF{;rLJxGf$$Tj7e4XvPfwSo&#ylo6en4==WR}kg&S$)m zu(=In{sNu9idov+C)pkH;uyfQtmt~z|;!%!6=Vmwbe?{F?k7Ditz%P?K3$c{dr&L(r!UeDw}G z>B@GPa?Hh<#3o;e*SDCXgD;!GwlMmr(bMIV>2gWbXl$k^=N!Q;L9@0_^x_5{ao`zO zgPpqeKEl0eS~K6{apa2Y5p>)`IGo<0x~Tt_t~)ygvj}^p5!Rinzi@UR$=(=93)+-Ylf(Dz7FqNt;6|C%C=Ylo`Vdwke8Zns%b-y(8S4ndPrFCMZb`2ZLMT-Ro zZmL1ptnq_{^~?mmti)91VkcqCI>J1|ThWn0@%zMXO_1GL%+mO49Zw73pTbQ>iQiQ$ z(YP1=9@aBZ6Vz)8HW0QvMwqKD!!|9H{~^4C)@fw$g=s(^T!H@!;4-Qm(=@&+{@FqM zr9T#EoJPMM&FvKQJywXd8W$7R&1cFN$wq1ZC2ZCBUBSx5y1eXF3qmI0D`K84|9v4* zYCAeLwvS_T-&k(>s%(n88P68%FJ)XLwduh?*|5!wf)BA-d;KWE*{^c&VF|Wjr^Zey zZO*cE5?JyqbYu~JR`9kUjF_eImxT2!)XPt)Dlz{NOEm75#^%1DVGhLxjmHqy+1d0_ zqYu0JSErWr)Oagly=eBJUsGRTv&QX$vxBf5I|+wQBU5aSG5XT~ znL1`t{8AG1Iut*}-K~>q^ewM(qu}}ztj`eq8J1{#M)0w-tZ$I9U%&>!mftkiW9!~; zl6398Fw-~~H>WUf!MrDzPR&`c z)V(x+VbT2D!rVe^C^T*fNlqH!-M`rQpgVS)g8umNTElK64f8H8F=GFO{95U;nw*w0j04->J!#DuZ*!qSsvU_B;VKzP(t(%RQ{{cLV BXSDzT delta 6363 zcmZXYe^^vy7RTRnWeiM(K@3JiW)j0vkWtAWi4H2t7$S&eY2~mRDwP6C*;W>m?TSc2 zn#T|ebW=evCbe0r$7ZreskV}yvL9Ot^=x6a1>0t}mF_wBJ=60rd;j1%-_JSUbKYNf z?&v=;sO`j{nz4}Ty=EzZ=Wqpl1u+-*-;KR@R>Bp& zS0}=)VBF%+9Yy+bCc|H1jjtknAKm~(^I?WBV;jtai1+{~=lOG^;<2p=Vk2(UA1_{M zehmM>Z_+dP{C2RxG2glEFdv`=ojYJLe2klRKqACo(+*e#**+`6A%NZJ-wE?=M_&Qe z`!-wXc*DE8$%2eiCC+_w+x#`#0Oj(w16#Jt-~N!96NQ6#X%Sv zTh5)GoSPWV{yoi~QEyf0cQxbn2O-B;-)y#Fd);ET;ig!=j)l=5YU8&i3><{G%SMyl zlag)r5uVSnRmuOsh!*PPC7i>za@UN|7O5!$u|t*x{w z@8P&sNP)e$td$&!a68?M2?y}qR+tJuV)!9aU&h&dtH1~OHXmQ4n=xcR_8o#Lwo{iW z)!su>_L4bmRcXifndNWwWjqg?jFgjm>0|Yfu8};Lv~$IvR%S)6?W6Pdqe(0e+LbAt zjtjhGYW=c9%>y(a_mBU9ivVUzakE$Zz zHwS0A0{6cFQ*+)nS^A3&y6D$bp;`X@G4*t@>(V7MK12KDE~=4LnYPJHNV8Nab;6QE zTHFcCe$t|8d;ArX55ug~1o}woW(t8wt0jYi==KSzbo+taDYS$jFEw@Cj`fEj3G(pu z!!Qx<#h=In9>OU{zya^$El0o^8F&`d6(=nB(~XSR4RJ_h!E_e?*8T$w;HC+8|oHWTF>FU4&#@%+wmfE`{>PM_4 z>>lLMSh=-%3#ZbRBzo?8t?!f}mWY08zSi4yxOxElxY{Fv)k2NeOWITDm`3=RVE=TT z)~ln`Y0P8XEx0#P>veQW__}}Ca1-Yq`eXq`@7tQ)P%bZymoKyWQ)Fm4axnOe^j{63a4?h)KOQWy0KwqPUUZHe04 zKTBhN2JqF6os3TlKDAim0(!{uH4x!?!p<=|yZm;IH=2(|rRX_J*!{NPn(-QY%v_~@ z6umcG>uaUxh^y&1syKCEyv&%ykH%WAHj^-K^Qi4QZIIw%3^4wa;F|liZWEI&*vI%~ z!n`lrLiXi5=$JwHbIHyXbAG_`H4O6@$0zC9y)u-snyPEDf^iyQid8iq>(+#-Ec7xi zCJf4^cBb?n*kjnu_z5x3Ez#MpNcvH!;PR6y8oh!BFNur)bm`S)@aMTWMK1ttHH#!+# zdyTH0I$G;tg0rxI@e08W(y~qPeOSvl@>->=#z^JK)B7X*_s#>1R|>w0Zd(8n2ShXX@!gCSO;T$A zSy0$WnBFEj>E^B%lZO2M4f#puNwUkXr{iv3|CabJi4P9{N_1vW(MicVts!5BPt&ey z9u^R`+{JjC*BAy5V=W13ha^7g?>hc%S&M+^HD0~)!9({>(7^e*M3m?1h~?TqT_T-l zxJMcc6FnRqv#G(96y0FzIjsjD!Ba4gu=_^AQL?&&B)f!kc2!IIPZLVKr$7g0O8-sh zWxL~&<_bysTGD!>b@L@sX2=9x#uKunv(P$+n$IH~rAGX|q>`m>#tgYIb@L=d`YcT9#}z1z|4j zFE_$`y4{9O`eZAlU~~Q!_n*JVv4F7qIq~YJKTJOdGi{gC zcQj}ECBh{|C!v>0*lrN4+O$Cs--q3dpAhU496VNDw9cdXd5f?)*V)>2sF;5#dg?MQ zJSNBOqS$#tsyVTg>};8nq}Py9uEj>i+X!OZgzSi$kzevdzZUJ~3dOT0(o zgG2mC^oEe3UnHH6uS%7tgtT=zTHREBGJS=bdoQFsoo>Rg3LE+M0G4v_lN4;OQMxv9 ziC3!`6?T#^b~=n<6V++cHd@*JdNMjB@)uJdp~6GD2}f8!1x8JgJrc5oZqWF4!OGiz zKR<*8lCMF4Lh@p3kr6$F zjvMGZ<#E9c8})z}3x1z;p5Lxf{g+ow3+{s$tRMs1G7`+A9J0wCMK58u*Tf@~T_(;Y z{wE|&<@Wct(QgR0^CW0JxJ@RbHJhp}5bTn)ATGiT#>efvX-2B3n{>7mQ}<&j<9f+1 z7xQ2^8DU+m7`s`h_+8kA)lkNh`*M5*2AWE?X~oBL#9z&(gS(Z+MOP-02 zJi==Q9|*x!n8)}v!aNIY^226_($^PQ!T1-#Z0-*kW;}Wsr)21C54~gXWjFsSm5<$w z3kh@fsfGPd^Sv5xG4cPuqV2$p#dIG3A=zD$?Gp1}N#~YJy<5Np!S|!bu#@o~!EN$A7<^D3N6069`5YPPV4a;H=E>+JY?;T{d|AI03pl=1 z;_Y*F-~$r>DAqErBg`{n5BY5qzyRY<1$#np4E7NYn?t4;NHAhx1v-{c{2CH?O3K&h z?w*utPhuY9{es&*(0ab$V_3oXl;BgJX??ql{WJ6uw)8RPu|*8d)Ln=B&Mh%sPl#Q= zx_CqGy23k({#aI2ymtN4qO#Qsi`Nz6vm1=@zSc71UBma*2BST~7pO4CU5>pU!U%k( z!mt~uQ}LUvMu~4rwJ~h~F0VGm8>vp;Yc