From 218df1179fcab0a2635855f53565dd33e3b0e430 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Wed, 24 May 2023 15:58:31 -0700 Subject: [PATCH] savepoint. --- src/jit_bayes | Bin 282592 -> 282480 bytes src/jit_bayes.nim | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jit_bayes b/src/jit_bayes index f402e3cd8be4d6828e8d522da173749e2ddc6331..b71bb93a270a938abe13e7aa4fbc84226974f250 100755 GIT binary patch delta 25353 zcmcJXd3a3c|M$;1lOaKx#1=tFYD?@XT17~ZHc?wFwG*{8vBzG*B#o32QwiduwT1Ru zqLdV+2%(yYS`zzOu{J46&{~?w{NA5)-!mcK=lT8dT-P(##p~Rk<$bT`K1(LaU+?jF zokxJb}i&Ri2Q0)=Z0Esk59U`R&^~{ z=7_qpOi11PQS(v1qw+ho39i#i-7}?o%}%YR+L89`)B?0huzjsnA?r@9u68Mz>g>`! zP?KoPE+|Znn}C2l-z&PK32b^ zPk++taN1AW6xSY09qn3e5$&qGNAs*c)}q_>!6h*%eJ#qe-qmR29<76G+Lw;BH8L%0 zkLIRLw$PL??QMFwM+i!bYTfi*{gL@Q)tItEmZAJFZXKWU5l1DB+n;O z^v@W_&58Or?%DOT_J!)|pXdl^ktmuvYQI)RD_Kml_iK#}XBI2;d%XI#v$t3b-_hy) zT5Z)#5B6*I)zRc}K%3**e6d4hxLJtoI-pfo8`EzGw2s>SMN~0Edt1w1L@hG3Ky?vK z%+Tr~IXOc+;YSPgWPMOBy5QJi?C_eYgQz!pA)Pp&)uYV^we8jVe^Htu{foa~?RvEI zkak*KNh30~(XN$57@s8#6GXEfWNMA;T}W`GC-KS0=g0$5&3@@3-$^*9-W#R4IX@Jh zIGS)63nP*&hqXo8jd=1rqJ^ldXxI^Ls_IR-N3;)}&&La4k!|}`t5AOPbPt@y9@PC8 zt&ti>(|^HmbrE6Qu7Bf1yF8D=jT7ytR#RL4Id$r%y}i6nS2yP^qVhqs;wUN)qTNR| zv-%Tt`c-S8enFFe)#_`5;wbNk)`E`ys(ET2ae6MHZgq(7NFS>S8`$nBXv8S|ms&<~GE9(obzZlmRlywTtevAG%rR`D& z(VElRAk{?woYv;6u{0xBi&talWv=G09iKt<^R(_LM(1fA)a~>`p4O;p-RY&0Yp|VT zY==@|p5|Zoio=ueqQquHb+0e80~ByZ>#Tl8)6ZxP)h)F8j7D!)mMKr%+!G3r^Tf>~ zB$n4^s!)D1jryI{e9^v{XL0WJq19)#9;y=+p4Hw}1Igzc#`G&1dQMx+9Xh8iQ|Hp0 z^V%F$p})^-yIhw|(HqMPAZdyi*)tcgW`;~5Tb5Rz+%9VGYPQMxGEiI7$cxx2y(s1) z259r1wHGnUhAWfABDjA^8|8Xvl0$Fx1fe(UGW5nyAT?iWMj4m2@@h-^^|BV_x^1E( zcK>)0JKzdd1lI5sZMJLcQgdX+J-t4#M%rrOwi>ng(ili zhPDsc;bytR+bPECw%Asejejk`9I}~RdWgk1i%wnDj%h!Pqtno)W7o7e!$;$|Uv=sC zovItnxvmYVRBoIuz=KtlZeG{gYF9tqQ|ouECfCuC4p)=0qA!2k&}wLZkKul|Ru9p; z`C4!Tcic6Enlox(CPU4;-F2im>#!(5cXPrE>+%3oRa4xj9GMVlL!`y{?ijr^n@iaV zQvhB(W3xkIVYehiu-%+p@cnPX4<+`?(DI`DTShxH4*Iay5}5r`RSJ@7mLNG{3b!Ir zz*5a*d7+|ycPTMLk2mfpm2iZH*1)0O6HB#A&04Nuef=K)dyb>DxrN(95|(%kMR<_zWIE#S|*5!(PGX zoUt@S2w4KZK8`B7FSOblh8>9`ua4qs5_oV6O>T;k^wh16>6KJ7iI}~mG3YK&6*77= zL?2^CSn_LO!Xd9-ElVBy5UM~#&yFupqmBDSM-O8r{d8sLP+Iput6+K&;uu6(LDNzl zNQmgHL#$Y^>$Kh|MPCak&Ww0{r76=ZAy!{=i7oFN4|24_PoQaB8l|) zo>s~9_P6@_7+Bib&so4?{Q48exFJQXpP(9{37ON~UoR&r_lpt|xIEXVSA)-`owg_AGMwsqzuUG44S>g&Ip(!i>ZRCIV zCnX|~Ma{kKXTky@ocdbq8x!5>H3tTT7TwXjO)Yf|=TLKQe7?FMbGos>(A6=sQt`bv z5=Dlb*+VDwnROR4TZ56Eun3y^xcqNJFQ%Ig-P4Sw*C)v1^$B`o=JiSvQ}jyAd7d6rmv+s`sdEMr-tD4HHYlA=Z_NknKECVZr_e5ty<>Ok~^B0sqKHw zL}X{jOvuXDypb$2xa_#7r!muFnM5hxyZi5pf!! zj|i?xAv+E_$sun0xnq};t2=wReMn3g{E$_S{kO5aXrME=H|Eh_>j>o;O|^H=5_n=T zW-Mu|J_c-tceCA_n4qr!H0bT0^Z@o?!3gLop<=<9Vz+QW$SOH!vVnfD)ynNtWmmdw z(ktSN-XhVyl416)@HohI?T(FSb{j_-C#=I&W>0E>O{#QLdOz0`Tqd+CmuYf=R?~jc zVCm^=eOL?3z-zjRDWdj1?xFEVw9rJST&#{AVr00%X3^kwuQk|`&=QV=yr=Pc{yGP} zvlxAfct~^?Mx`wx;8#NZ;xl+u#SYF#p|9`Y!o@py676`X)ibqzsH^NPZ2%s^^clse z26?{3VM_D{CMM`%qF-IF=!u!7iE>g#zm_OYZah4);zzGJ;xjnW=4MKGYJ^k7;gOW% z>X*i4B{W1B`y-j`7oo`_^yLs(L?g2j8gYo*PkKs1rdvv8{A1Par_4pVBlbV+Mp-Yx zvmkRu`_OpPe_ifgyYw7G21cqkqkRIG+}23B`)bnbQf>*m4UV?qbpdx{cxl^0Eg`uF z{n(7@JDd$UOW>vfI5AeYZL05Ox%O({zx}a(a$Z8rIgXhvLh>EgU;WZdpFPs*n%0Tf z0>mET*j6I;v0fntR*gmNk>-ywVOu`q2$ zw^I*daP%?kgu3JaeFM{YEa_8t5hIs_K0@|OWq^?PWci9hD;G?w?Rg7c+d@c!jD2UTg;Jiuzp`K5oT z`EF?Z1MKzlUf`w33!d8YgGy{kIlu7ivb&&9u+3I5w=e$dg@^26TE&J< z_zB*EwSlx1sHx!3RVB8908Z%135StT(1V6N!7HI9H1i2wy!p|UCtAH${r*su#E@dM zvB^EW4@e9t2sIm%3h=5STHjcV(*sqdv<-bj;~s3LmQS@>9oqj4$&;UOy@3}GavkFM zJodVR-Qw7qh2u2+*my}FQQSycjPbPaDW0@cDB!(LYCSQKANS!Q=T|-Yo(Ln_V~j-m zFmC$(W(lm>4Rhd8flmZuPxi!Tut%Bhh9MSvV0OWe{9*#St%Pn#xX>-=b%>`R3+It=f?&=+V9tyRNLd}oD z|Iwgz%5OMCGB0)!yU0M5CXcu0LitpGO7y zs_J_S)4cJpX!mxJI?JAF2|4C?io324O-L+4c$(Yuq8_o9WkO=n=S48PaxDf3awDHp z^mDDcY4~bAgdZM{Ii9$JSBd&|=vu}XJ>MLs8XrQt^HecTKZ=-hGA1;!%^jA3*(XwAEISv>Q7TZy%#WTRAo0>m**B zjBbK@b8p8 zoowTL42jH~D-W}bF*xGP5Kb{0XY#OFjNgdNST1E7@7`1u{o<5uyoE#7$THr>QDr#u zLH-~sI*Yq*tO;ZpN8x`J{s>Spi2zkJZ!pJMj5qZ8HTDywF$}Zu-mjcI00mBFpWbAP zam;1Cfjvd^7LgmuB{UF8d_BrC9^@lv69~0S42v<%B#NEUR)kZ&V<1+@LkuB~cpyqZ zWG-b`jOQ}N5ON74hy2CIV&!dxB#tSHLF8lP!uo(M^;XEm#H;LSAE@c}> z17b)5ab)5#`GN<_Y#boM{TOCrp6J=V-yK78TOMW^@8GC95-nm#en%0dL1IV>xRh;l zz2Qi#AP=*Q6>-F4xl0U*@rFsybk*M~8QtJTW4%ol?DhnfEl?iXw>?jP!5X?6$pzTN$;xKna2s9T?w7HbjO zwnlr3it%-Y<+<)Vb{Ud7Qm&K1U3;h1@^r1vPn`@WTuiAKi)}S9Qu&vQZTy1zF*p$P zxmIlB5p=m;Y?}gh0h7RJa0hq?%ms_V$6%%WVw<~%qExwCY-&UsAsjc1kZuJ z!FBbmw%On%a1~gtfz`Gb91mUsvg0os9AM|O1d~oHv$Oo5oFhKwZjRGM6o&;;uhF~WMfOmo*0L~4D z0Qh|u2!MCNyVT0N4t|1KP~IsyUk`7aOveU3uFPf-$og#frN3j*L3a5~s88v@|0V`u>Q7kCbg%0WJ8 zI*xpQ+$;ZveFS_8_69>wT5VInU%({r@+qAEJ8&@iwAGdi&dkL|1TF@h8)Gi>tTsQe z_c?5(;0Q1h+z&1S>z>C}3U&dHfkVIoa5m`N1Y0%e2W|&L!NwPm4+dRCJ~-ANU6t3f8y=0q|pR5$Jv$`C#oE$OqraM?Uxg=+sP6(r;RA z^}+SGt+uY51NL*f&dOq+8_Xa zu9VpBfagG`mRQ|tiOmOm1_ptnv=Unc_&XR2`WQ-VsbG1h5?dyi4CaFu%9YrZ09*}0 zAFwf=V1vLeU<7y&j19o~zaG!b@0yDw#!yo|e29RQo%}FApn}de2_q;11iM3Umx%U7zEBrhX7dVN92S1 zz*KPbPUM5GyO0ll4Jv`y&~_sqT>BI9!57Dn4+fiZAb^9`ry&43orM5c{X7J~lXoG| z5f`aHApq6}gTPoY0$dNqf(OA=@IIIc9)5^?(C;tgcfukEeZZYy5P0Dc@?Fj_Hp3fivJ_TdJ!G9wk?2Na{nc%-*KG^0Z@`JG` zK_BoK7z93ih5TTg|88DbXJsaK_9RP3<5u~K>$1t#)1#Q zRB)AIvt@$KRGTdyyb3B^prhGrK45c$%@zdi2P3+ea8KuCv&F)2&}g%zf-k^Kuwgj} zfQg{e6{l$>2!OYJAppA6g8;a&A@ae4U@CYI%mmjqLOvLPZ$2m?iqf$$^1%`?2>kH_ zlVgaCLAi~wi%LOwVs9Qk1RKF9|< z^hZ8;9#lTWZTZK@2NMP$AM_rI7p)OENWwuZxEV|ZKOP1F&<5s%ONK)r6eBPK0$@YD zVhsY1f)U`~qmU0)9gTc&A(#oS2lK%mV~`()n_JKaj30}9aN4IflPv-V-gwIz3+@L~ z!KP6V0M~-~-~mwShQ$W@fVIX!06YUmfc+*RAGCp~;EKt}2RGq`Yd)9-Dj(tW#EW|$ z@G2MtzKS+M00-5kLICUqrh==$Oz_$?2!K`bQda4XjbknZz(3|e0IV<{`QZ9k8YhZv zxaOm}^6rfK_=hW)5=%D+8X9@6%E6;K+vSH7r{iA|`3^F8s>$^JAVXdCdm6;}nLY!w zN+;>-L54b-(@EL~s?X>$d#}<F6G zN^O`%BiiK_-Uz6#`#Y(2{{r{}ZWmLFS*ZM56dq9cQ1q?S9Uh08#yc>*M|nfh9w$_> zlhWZe)W2IyO_m~~D{QG$1e>~#Jca?sC;;$vy;p22LaR&LRG``GJc^{>DVn2Al+1Wa z>5QqA$M}_s7#ZX-9Qc3&7#0c#d_D16B^|O3U2QYVDn2mXF=8*Ed%X*;v%jF zMuXQ2u?}bohY-y`2!2~8g)xJ6Gk&4-5$IH4MS2y1brwTjBMprVbt+k@{U9u$UFd&X z6o#N+Jcq&u6gLuSiL`+cPlp-L=_VtA)K7rXL}m?@@1T+V8&${$*@u!V-jrue4Rb5w&h$|uw19wmyXI> zSHzts-Q?&;q>cvALdJ6nX2jA+#s!LF{74%B-$uSx+jnmWZYUM3gqHzylcSH3ItExk zzKnk<7%)_9Bu1~nIRrLnWVKCvLnu-gssY;T?%B}qG61cG>XPU-F)anD^ODy3Rpo$;wu*6sj`?))5pq1=jmCj4_+$F$U0D#=n#SXijVB zcMk1ERNI7l!CCYD56zj1aW%w^*s-LhMdQVVg|Ru&L81nK7Qy8IhF77*0iu z5#%u)*hc}39Td*Urf9}XN(Smx*lM+fym3+M;JB#O$M)4?o0Y!jD!ZaElZrT%$YTbu znF1JD6wZjCXhwHRW^|_X893A1?W9vPFa`ZlY$hVEu%8Fh6OKB8@a*6b*q;?R-w zkgeCqbvE!RHDes69*iGpBA}_c^yO@XuB2^jJw_*IV}b`!A(yt2%V&uBH&35n;~F2_ z8dDfdSXWW(>2#JBe}?QdO5@_G^VD%XuJs*!@!&><9C(Xd=D>6Hf> zYdnUwe2!{7BI!7Y%V;5cmy=68u#Nl~`zZ|2l<_n!9x+eI%+?S}V{70pzJn-8YiH> z1r&y&q4G@8Gvl?Uin4~xY-=z}jzjHc_(=>3`Z#nz;gi{Nx`v|ApIp9xZW8%3ex@+S z5{d$}4k@(w3yeT>qAeh9cyri$nF<-_$Ymkwsj(IH@WaBI=6C}n3*`==P<<FnX*tBtpy zF_gner>T&UO)h5O9{DrIQyAk%iUJIC_Fw=a4PNDnkyd3dZ84)^&Gyo9X8XPLCy1Lj zm&Hg)Ab-F>`!G!7(6Iw}UD|bj3H9PL-6zUxo z6Ikv53e}I$xFzUB%OkXy+3^T%0dYH>vjp|@qe8}NaVi-428plUd4kMTf8T-g(DKMS<8ILK9kxo&7)~O;bUW$tPQ5suMQVwG+6|ytX zohl^hjq^`J(YYFRLs3(z(Kt4LNoJT0p4Dw)+-l<;=>inQ!bhQ>r%h~VLs9r01$_gE zL18HQCnI%YEu``!9)N8EMZtz&$uu+eP#PnIayal*ZCS@qyhd&BE$fIup<*3b#~Kt; zP~bYs9YCQj}=bWDy)Pvi~Lu@x{1OVkrV~^*6(Js4fJ^JHqFq>gKyOM zF|Qb}Yll)AM-QMJMmQBR){zSVUy?uL2!#O+?hV1O0pa=Gal;oHZ!pZ#UpMH_;QaEo z8(GLu55F0oPKFP?BJnm259W>!zmXY@H?$FZJXRUj^H)5AXvby z*FAY_3?q!#wF5SyhzG!pcxe;4=d+E55%o>>;NDVqC+<*G#Zy^T<}Y}h)$NrPpH6s@ zfsdbze=6+}(!N>RtKe=0Um#O_f<(OC-b&i@g}t4E?N0ynwI>9N1bc&~Nqelc50vrC z>2S8e)3npBC*5|rvv#@8Le58~J(c#LGWII5=OM8U0M@ailY0s2)A89`;?fGSNo=Uq zrG2rqrwF%lN!o+(_ha~jpKI7I}7(@ zqtF{bH`zU1y8Uni$)B%e_A2r?jp6=Lx|hEvvagCL<)pONSuPCOGVPwUU$YAPa~c0k z+HcerIzy%1D(!dVG*lLD<*mkIxHp}~aQ7Dlr9m^{{agk`Q6AdpWtHxwZH0ZQ)P9@P zT)11{zMltRZJ4lck?v3mVE1V0{;->{r%U%|G?Lv*r2C~jxAfP62w6eN?A|TimJl%j z_T|`%4zqhao)5V03DWH=#WgBocP%^+u=_%N(ei!L-Hv?o;O-;cNjHS}HR+y0;q0C- z-LA4nqvV1hii6vpTSyRCf)BW74C6ThK>~n>P5)&>| zTNaDPSCRH@GXCWXVSg;`Po%xwGGPyp)pQIHI-{P6K>npM{tOg$YIF|MGf4)WlOs}3 z2F;}KbLhfC=|1cswE6dl`STsc!EHJ&-M3nav~;-uuS71?>RWxMDw++kOw`|t6>K0>NJFy1)Bb=C!!v zM5Sw_`@FQ*kX@IzGs+**?mb1suaNQ0sEBLpitk!+SN{24bft;xBJQHEz`a1aU&z|< zt0($r4TZBiO}dS#LVT56cugpd-5u~8z~USCh%6^LPCY1{-OHu>GM--fBj--pO*h$n zTDp5Bib}V-h_DFqxC-|Iyf$F*J@_39{@Bmf)f5c3>5z2)@tephl1IY_uKr9vg<0tHN@hUcpPBQ4@wxZ|Ngoe_W)N7c_ z3DR9x_7GPG{qsuNOYn}AS8^6*xg6EyG{{l_hfby`Cf-RQMyAW3%gCa zH&Qs^$fo@w?H#WQ`%bxu+>`dVJ`nc9Qm#bWZ(?omNB_zM*aAz4XXBd| zLO4zLqVd8`e_S_sgbk5FC;k@R8FD$!lJ=F)g`uikDk;+L-9^O9yGms*1^ zqJQR+dIRnh>7F`Q41ie7F7t{hwv_ zpVB_)kTBS!-74*|mxQ6Av{$DMTw6e}=*p2G(MY@8N0i6zv)$QUNl|=cn#4F#Z^1oV zW-o0gvOCG1uB8CD!@ig9esZUjO;%1xyGxmyThGp-F{`~)y`DC5GMiE|*VaY4e;X)T zA`@ZzWnG-=`=g(%xNOe1`~e#j^{(r>)geGB1eJ&RO(o-IK8*@OqBg$mol6IeqZ&q62L(!O286PoGbkm!{@1eE;>5eFqHkjhr z9WC8T%QscOrgU~kcHtrPP`b(`DMwH_u8ZTR@LWg0D=89NW;_~(il)U%aeGhSr<*MP zk#wh)se2kl|6%YP!{3S3r?rggFR=5pD)Rm053*6WWxP*-=!zoouif6}%`P^_iyEF%0}bD2~3Ctc3#gv^dDGvqHR z`cFe$kIXXWrj*B`?Xl-`oyxmn_;QB;Bziu9D(1S#hE82k1(xo}%sunQa%pg}LOeq}CS+cwwY}1|Xj8 z_$w@Wxu3L;pmfN2Es%2gW#oROn_Sx^du@4dw)Gk8+(`SjEk*HlZ_&EcGCN8$3VsN= zVCjx5BR2+iZsc*<$gWavoQ$7RCjN8U06DMi(w!;YK{D-%UK_rx$(79#W_W4aT67H}pxOro_A@7!PWzs)qrM+$+vHzDBqpaMNaz16QQ#i@F zwie++Zu@l+Z+`&oMMZGq?}UdxLev}?RrWm`PI9>MZ4pM;7DVx>5qsv%IXW)wi^|yl z(Cw8Kp9=EQDz97`rE{e<@#v^;JTfgv_7pdYTxmFYJO;+<@R}`y^UKs>7VfpWyXJo_ zlQfEkh}T~-TRAIQZm-IXHn7{juNb7d@)EmUwj_-5;5H_+Tff$CBDDwuaSjH3Aj-)7 zEA5$O?5%Jv=zB_;?e7yB2|2I%(!EHYi1zbzH6_EXZr_tuWH{za$yJ3p6 zZ!VJ7-Kn{Y{UY6!-tX@8p&CnZ-JM#v*dJ(O>F4fF@3}+{6e}Wf&r1Ypt_oHPf9l}h fFVv%#Qxlh@A`!BS;(8&Y>jz@y8qwh}r@H?G0`ys+ delta 25570 zcmb812UJv7*sjkx!>AYupjc2*uw%#GP*913(L@ttiJ}lImMHev22_kAj$-{ZYQ)4C zTNI)ZyI=vaM6fp$V*_Ksl0*}Rx$k%O9zgzo-F5G*CC}Mkd3QZ+Gno6md)7wx*m`Q# zGT*zU)l5y{kD9rntlGG=_Zq#Vc(2*hU2UwoCz%Yop@1ta+Fg%+^%iZs(<|)wt$jZ& ze35+Huin@*5BJP6RCV@LI*ItWor0x=oRYLBp^UMTYlZ8YVzRnyyvFdaxaU-@-|A{# z#m}476l4#ChIM=Wch(2;<_m{ zDE$W&(N?30XyZ?sAEo}H)pKc4sL)I*L~c>bd8kG54x?qrdrqBpXW$2sz7JdDiPi; zUaM$mzDijU)uIbgyjIJlQen{1m6WknYhYNmQdtq2Ri3KdRm&%OCukc~mwGD-q-w1Y zQjdPsywyika*sCFW$*F=_rB%Ay?&2YS)D_Pdo(|-2W;PI<;b>2tFBdAPSy5mAF1gy zd@mGs(}KNPbHmJK3N3rCR;CXwV_@&@)jm|a(eu4poVtaU{-&9=IFM6F_lEmqyGPYQ`iSz%R{_bN|eiCPDjoFxTmw`E#NqUNgY zw$g-Ptp>eI)cjrg6$W*YK|}TCTeRn;_l zdPu9KZYKA`+6QEhkmRSODJr2otU)~-oQk7*aw zt287@8|KnOgmLFbM2luUP15SutWcO9%O@Y7BTq#&|3wRB^7$I)RO_LdYpG|#lT2fi zu`srhHCbDzRi954k845dbqYDIO;kfD{kYbxRQdTuv+bv}(j~V}cE@Sln|hqk>Z-{! z`2>b*-aI{w+tq%qXjjFPaN|Tfsa4i4&81F#v>Gd_b#*PZT~xl7R-Q!Vk@VY1&7%HI zola>@)D#+jN~@)S`#{XN~@^#j?!}pb-SrO$t?x4HfociMY|l0EU5Kxq^R{# zidIqmmhw}yfm(w|8knki8bTu#vc6O+sX-K*iaIYRCZuYmR6`ZBvih~!n4X;02Dx0B zQ=oN!me3lXhTxwlHchj*xD>kGq`UJORCSBKJfpSbs54r7HJr|&q&1&OhO=4=Zsu9- zE0>M43Z$3L5Yi{kYPB_|8T90=)=qPqL3Pe)erhK5Kc@{^eIdqmJf-}OW`9DDf7kY^Yia!jZGd`= z{=T5iQIlv&x;9TeOz+Y)U#;|1s+FPjKrtdi>!7}%T^U+kk0Fx_CD-F}ju~A~IT@O7 z^~zHmp6Ivvb~~yoy3F#(@1oXOJwTH$YIW2nwC@5-+>-31Va~Ud5VOH-YRaS}k(DrnS;KP0*KtI+?<*;Ziw(W?jPoWhZX9 zhEX?lQU1yfO?sY7NKIm$$U4hQVXS+Vt--R+qbOiV2D{wGWDS zwLaj>DaPu)xU60rQzXC=w3S_Yh}D=#zu(eMYtKj11!&Xh+gg+%W;FM!I^Ef$y3&kH zZD5&?M(YARSbgYTrq)KQGAgmk9jqpo&7%rjV@8O+Jie<{(prw-ez#EV)GA90tlbn( z4JONxw>G=oWce*u$Es`{)-0fhCHlH;g`e5OoIH{vqfK^1T8&eO>!to&N{#LX@ZuSf z8Xc-1nyk?Q?6Rb0Z#^qQ3f7k%T~ds|<6#9dN4Mu*vC zEx+ikiYBaJ$pfQMc89-w;K~-g4M(=Js#^x~9jW1A5%3UtklWGll4&BBJw-@L(!tlMKOi zgB#tpFyyE%Wc6Qi1{DQ-YjcRr7Ll$p(u}He7P=}*>}%I*|4KEph_odFMcAn#VZtHrWWx#_2N9}Z@bv6?*=mIGpy(*Y{h>LTOR=b>l*y7lFH4=D zG})N_G^k)qWi_FNY7i0`DaTkhd+Ps4bgStLfl5*;ce&Al)S^MvNi|EZZ8;HGDb!NrA~>wf*-aEMbYI-szL(?!_1 z_ri34d%ap$>naxr>6!x_mD|JqXNOklNtRxY^JBgczFZ{qy;+}B#DPJeSr0TXvl}<; zy$SxOOTh$7#WC+CiVQiyd(P_;(H1jJ_^vsrN~hKkD(W{js;zGLJ;L%v}`Rp z|9T}cq7pIx)u!t6&-IyNRtZGwtHE-WPw7Vw_0~-g%_=gN--XKI#93yt21OqA=CMP@ zk#lVDA36w&m;6|rZ+7|>49{RZy`hd&uG6uU+&K66K%C2#poNb7ej-0s=F4;M`Vd*Q zp0CPjsKiZtZyE-5E|>;cbNYLkB129?C2qDQTES{HSyq)|q()Ewf1d_CMi+KQKTnEI z1Nq$7yv_3_>x0dzh}D5kza6Z1dW}AcPI43*&MmmA$&=^5!G*oHMo&ir3$D9W z$)iXZxvO~p%l%d}nqva6vh<~FYJ$-(A{Dbrq<`jSns;0?#Wf?tIDO!sSCYHU#@*J#b4;QSPg!|n$+?kY}I*^dKy(_>cY z;~RtLO9-p!5yk`J36*F#C=iJi`_JCeKwY*Y$K+iDZ~pd4yCwWtIHXoHd%aXxzQ z@*rG%dB72QqOFpeg)l+JffdzuF?7hMhwz=5w)!_3TJNm(MoK_ z>3!}5nq&3MRVZi3jz6ANF(} z_LyiL5UC_YveB<^SmYNWlB>7GaaCLWjm^$)Eji&h!}T6~BW5Jk0f>F6Dj{a__KlQm~LQM~+)uRUy}z<^HZC=SbWz zl!j?UzK(^0hGW9@#Z_y1K^Nt{@HP4%yXbgqlxXot7q*bq{KRj(FS<4Ij7C^x$T zzj<4Oa`oFOjM-P##v%TyQrMW!O;JzxQ! zqY8rc?GcVgvpzSY-55o&W8!b@j_JvB=2d5G%O0F&XumSq6$7rvKzPGpA>3RD`%2;L zcE@-^QqYgVNX>r6r#9-}D#A1w=2!`T1f!}lQ_Q>+g5q|FpgX-~k7A59xq7@?RYof- z>WxgzK99LFr5c@3I(dX|4YhCDlSf!^w;JpAHf$RS9+sZR($l za|_IFdT+bnk@QHfg0AurkKx`!T%mqPlxkL?Rtak2;m~WQQ0u^ICrWW6x>SM~d&Riv zaS$6R#Kh*4-n4*6Djq>%0=%KdX0)xbP;+IqsY1;gYI>4B3wj*XDhstyT#e}H>xbx8 zOh7$|u@z$X*kbkn!vry3AyyA!dX6qO3R^~cN6#PBJ366IZHrKA3N^MuZKY8Ajn!_K z)H~V~YI=^YrpKXakwR>Gq1XT+)&^p1g;+Nsw$RLKONCk+sOd?%njQ$X=DJ!?+)nPL z)p+bvu|yo}$aNnC(k6;!^oxjDCu49b6kb@9dBCjxKXZlayt(;7xcQll$FQ5pbM5~r zG%P{5`xUvUMM&XYLb!`VIHvqUPKz;qqi5@{I|DAG0)72&zJ~?*ItfKA?cE}^lq1y| zbh_X@vhg9a9u$cfo~d&@?eXhbCnyrh3w3*pu@3~fjixQSYoRIT3;aWfcpKUMoo>b! zE3_SNf6Gaij>9E^$IbG|`{Ne=5vp1dA_P~R&O8x~V9!|JUfZ1(JXdvUSl3*suBH`Ul2hb)p}Y=NV)ko5!kgS6wPxa-C-K#FlM zeyZ>%fYSe&Xx$DDvl=Jp^KJY|l=d+!#@0ZJaVvguF8j=So2|xu*Yy@|B+O+neKDAB9> zqMhUPMPjTaN-Y@{v$2kzTo)xyW~V+GR^v~i#%dzGjYzJ+qY5Uo)p&<{Z!tDO8JXLU>8q+Omr{*`WjGE8 z%EJ`nARO^v8bt&9a;VifnD>M%#!xO{ZUJx184iEIp%}{_al~W!^a^4u#tkT%QRFV5 z$U~4~j6{J4Vm2s8v7@MG8i!ep^?T~k5u!AgVKKf2QjC-FlXKZ82eC#wy{a)BW;Onc z$1g+=7p19y8O38@ig6Tvaxy#hRe<01ijf%t3zCyX@&GQS8dFXv3SSITj2m&pGr$5+ zJAfieix?K;iA;Ss_RBFq;%^1Ru@6UmDTb;zf zJbZs*uOYT0#eQILbM|Z6memwx*`{(vAfP1$x)`dftyUyx)f1CC8qPVJL$Br8D`EKJ zZsgemz<97fm~|`9&cm8^JI_7=G-T%4V?jSK9^4G3gNMOf@Z8-zyPLbBTzZgaZwiij zm}l<=s@cc~CxfxzVlWB-+A^?V26M5>u0ERbUDG$63y@LRF1~h?h!BJqyzYqXFu|WWI&4&Q^BbW_#wj;m1qWlKd1J8pd zaH?Xnj{-Bnh2XcU&At_EquK1I%{chaXtO^BTb8id%Tz#vz=q&yum?D)q|H7SELF;8 zUkvU8cY>kLHv2iyxis>@)nJ*5in8DX-W&fR7=pTmJ~ zIS7E{4FQ}DEo<8BO~I95FK}=zn|(UC23!NCfcwD)wQct6U>EQ$cnz%NsVLEPZ1y(b z{JJ)Ke{gg?-gRNU2AIt*RfPGsbAN;HXo(Qhv;Bf~C zfY`vcSE>rZjt~Gh2S5O99|!?(Ocw}%KY{zfvR#o6{tmtYZwA@y9@wkj{gKVy0_@(+ zX72+=fs?^);7afUxECC3?ryVR#zF0#5CHdq9@P|OV;=~BzkUG$&$7zOL{}y25A;<@Nh9Mt}ABKD|d^qw!bN>+#z(M9n2!PYV zA>fV0G8zJ4|FIAN=Z}K`_{Y}}03S_&0JwH4^1(HD&3yx&2R(cgWhpjJT7Y+EA|ITB z-#APL>&`noD3RcApkyH1_5x+ za^!=4tC0`h0zGOfO8GU&2akb$z)fqB4>tY|`Czqm$ggQulw=%Sh9PD>1i&QFqn4uN zZh!z-F%AOYq#q#wZr=<6u+|m`fPq_)50=`7d@up@sEzBw4&;MnenCDMwHx_hqj=x=$ zUl)t)5c0v6hmjAi11E#sjvya=1Df~Z;B_(tz{C>}0JA`kdW!P#DF}drQy>6-2Tle( zQXv4gK8*%|yTHq!ZyNH!PG^wst0*(h;yMEE0egX^&fDx0zR}oNp@u0 z><_@m90)YVYsC`?fHnSv0C?#+1i)P{AOKzfH-m$7kq`d!68Ye}SIBRI^Zp;?gV|tL zaK&5XgD&ro51Om}3jrKh?GOMvEBW>Z;7ZV`DOR_dZ}$fGf&pMnE#Dpreh)^1SzsKP zYRI=IfxVsb?OEVz?AI!OxEq4r;1j&{27m^glz{-4 z0V>TDrH2ayz^D%)0Oo1_MY*-8V z;Fn-zbDaMJ@mt_H82$y5z+am|0Bqj^0xcBf({>O5d*k;V0pLq86#Tg(1i)i~$OngX zMn1R{%mUl@Kz>V173dA7fC1o{p2!Eouw@r%#zBWc5CC_BNnk3N1x^WpKr39S215Yc z0S18UhCl!e3WWf8AB+Q+gdrcS`4#fPRzs2B8WjygKDcEZ^1-cNBOly8KHqMR#K8;v zmOc*rY8nK<8DJLJayA6oV2C3j0JfY50r1rl2!O+vq5P|)xb z8UT(0j|BOiPQW`V}7$ZwCk<96hO*T4YK4u*nlcbFl7gONKR0G5l0UgZ1Zg7zEo!H|8(2lt;wKB$`0 zAb^86ze4~#c@YBO)yoh7tq&p45jUwE2!OZ205ISQ1i&F+Bsd3*19yN)VAM0@gV~_c z35)zW^1(@90J!=E@CTnOMG1&jk9f=OW2mkFJK(lU$NVhz-M3H~6Cu1i-W!5CFT?K|VMKj03lTNnl7_ z0JixQ`JiWSso4F!K2ihS@g7zcJ6hJ0`cm<75FM}9CKZb5Ib z%LwFy%|~KKCKLymBOw6J#Aax_usXgm6A2ClXsDrg#0Zt1yN<2LRttTR=N^j=mgVsHUAfM>9ZmFRf+oIy%5`qZDbEnnwCvBlq>N7)-$)L-2g*nqmw~VyeMKI z+EJdC0bO2Vuj8!~Iu`Vy+XAhNO9{gZr!pl=DOF(_hUm0=c%xT~`a7u(|9tpg{*gy7 zrlRuADC{KnLFk+PK957?k`G||=YAgjxdeVER5FPo;8!0|??Gr|S6D(Rfh{vAgRzia z0zT)lkMa_&E^Je_=BV=|lD;Ru5JY#P-i$pI!DvRy7}1o#m`xds67-VMliUYG_ZqfY z5+GZkt8Haj#T%vvMqCT1_h3U!tz<6!+uu-`Vh0`fjW8^N`qgugMkG6W0c>fd>E_FJwd6d^bM5$k}OqNMhtmZ9kF2>OE2lBO`` z(W+2%%2t{VhGLy{pc|ovx`sO+*yz9hSU`Kx|F&sT_!r$EMM6vo&@QH-**i7}Is871f* zV=1XafwknrI6{Gp#uNtloUUNAui(l82vT6r2NT16%#*2wU?$raNpcMK-p6L|)-Qee!1A$DoR#l*!iGWMeERud%>a7=1M|pOMqXb-=2;AN{2GJ( zE`|n!Y9E>nGtScuj9=*p18rr*k&Q8pyv8H*ucg#+JTeAT2p8`xqd8psm^PrOuAn1q zy|I$+u(dkb*t&zfCID^7pHY!Q7>8&!pq*St-%miOD;;60MwyIiWMfPxuLxi!`2*U; zjWjp{p^a!ZTWivW2tyUMGaca4K)S&(u|IN$Dwo*lsVIN`NOK|#6{zV%Ln-avW@e>%~qRjlo6M*cF9Vl)$O|D1$MIUNRPt`xL;N{1|1ZH$$U{DLB*r z{gswX!59S5FKjJG=K<~AK6=j9f#fn3*4ESr(2@?&CsVOP{yRutgZNt_D|-*qFYLW~ zn0{yLNP5QB8sst!s7Z|&%c&>h0~!Zt&rZ;iX$bY9U)Z{y&NJ%LGe#7-Oa~@XBS1^O zK%Y!UXkQw~)`eu9jtTapZCn~lX&iGXL!V&ddT%@$lk+$5v>{(WvtOj{-yl1j!nwHQ z3gwT+lSKy~ytvUe4*Y@A*t71cSR?D<`THuBo`Ix9@|}T*?VHfZvza2TjkUEX}I~%f-9i4C>YnHP=lN!5!a1;8Q)Pb zV>yL08j%Iiu9;|iBwGBeJDma5MU=zl%)V4Q3g#<)sXnM~r{E|gwV`mpko=|WPX}K# zW}xiPAQbXZ&>w4Op|Eg}?9X}>N|5thD6A%5Mt2GZv?s%8^juVvF_IR6xQ%XO@8^`p z7)LpbndCeVu}Pz;{yfC|O2H`N(j3lK+gMrzt6}>1e7ZXvgD|K8_ODQ|qhOqc0#Odf zCy?`e;28NboG6&lkHQ(Bl7;aLZDVw$G(fvBnV!r?eO<{p8hySvMfA*gyP={CqF}Z? zoGQnmY9st6W||y_4k*-^E~je{3gsyc(YR&jFuoz@1waq-1+=`C)O`U);Q4AA4dQ{< z!rryCjj@u_0K@eisAn`fx4toUfMlV>VHB?Jp!(k;{r(Q>4k9o7Tc~F3qD5S6PTNq# zg*A=Qm~t33$$23}t0hR$+jwvCLO~zCJQP~6hlj5!c0oIk1<|;@Zex5)X^btD!)QRx z7GNUz0)}>p7=Td*&k}h^yOcOx&@<*e-QC zluxc$$HvYq#9z=tOQZb!X-$ z(`XQn)0V}k$Ah*p22vU$jB)_Ov3qhv592lTDhfQJC2pf|=N@&pB6|vjTQOHTf6yWn zwW|+kJDaCc8q8{G$^i_040ipRP~tGQQ!g5*{t_(q`%c1W%!4tE!j~Z4k1Pz8wlQW< z8lwf}FyhI1DG))vfMzdE-It;w4+>|il`M=9+Qv?sE1hBI6w2Y^X%8wLi^e5+P<;@8 zUK<>XR$VJ^7vokHd!$_}pf&tn+W`fSigs}U7=*(2DCifoStwMc98PUi1*trVhhb|- zzROUznSvS9D4by=3t(7MRn{>G+o=Dcpw}@Ag|l9=j`b*fQBBlQ;xG!As!{#rXl5-6 zUJi*V)kR$;t70d0G79<1}6JFX&4npDcIwH(C3x&@phvj;b^GaYO`7*FF8G9)l(9SiW zMJqAL*BaAy&@jXg{llU+&gy_2ZOY-8Yt51P>8HTy@gBri)dSV6{HX0~?ogv%V@xO#5(Wdo=ChD8SjP-^gM)eK({eWT;h5djHo2`l8 z{9qVT%N*Ykn-cg`(tl!m4NoWdBAAk1%zjDQ9pb%Y{A=A_QCU;$za%M#Cl%HSmH%Z) zJsICz+T(m?|lJ@>G{t_)qHB>ae zcF1*pU#?tD*7-6GEjO zC$;{$B<*q19xCmxrCsSNbiAd#93H!Pz`dp2q0?O2Lv=fn9Rv8ebi@@)z*0SJxQ3^k zO=*UTo<|U+;Y&a}6EwY|2w7b=WuzIpX(ek@vb9po$Sz!iBxQazo#R!|#}-&}=wVlp>Fc$ShSj zHqkw_*YmV=hb9TPn@oE_?&l0mN>{)GrivZds%xnGIYS-4S}1cj{;nisc#D-k?WFw` z@3-P(5m3IMP3H_1gF~eI*;`?sB^$vHvn)3@OY}y+W+7y)wCD8^_L1d9-d$49W03Qt zdye?ft@q{d+l>O{9H5MG+Vy+)6uXH{TP6KcxK=VJA9o zaQ6(6L9w+(av3T5H6^2sp39}XdPCtZA)suhm+U?v-QS-S+EhX?lYD;1fbrK8xF>b` zh_pkp1r_m-&GzN;+x8{p^tX`qku^lTpKQzkih`WyH0i$6S-8g=Wv!IJ?!D4o4-cFC zSu3-z(>=J&ucUiLYmt3RL@6%yMPsV15QbElR!7=z+l2ie8Q((M?^YE$gQVSG+8@Yi zC@b8`C&EtCE?~G<$)MVegmeVYdn>pGmtlNdz7j)hJVhogQak z>Xyi$!yANmtrY#0+%ICSUzF}e3K8XSZ_$dZJkj`a(*8`wzgsEn zxzgUuPsF!dF6@4?nmN)w^oQedKc)T}YMgWOt#> ze;v)AN7Nf`b7{P$@qqo&T%;w)1?VO1pWy4t{E2tcp){2CS)sxnBjejj`{-vPZiZ|{ zZ)s1dCk$hxeVDN0e*!`mzL7!x_-Z?U{t``9R+0M^bYYKl`_&ij=ThSW1;TB9A>F~= z!j2B>pVD|MEaY0qF8E5jdruKB&uhhB+FSoB^8c1PeWZOE1(r>`s;LGJS=;rF7q=Fm^wa?p^UF{3F^&metYJ|9PTH?Q{@85r6{oaU0*`(*Wu>xJ8^A2_1~xBD+JP=M1kzSDcx)2 zwHq%(`X`Sf;12f0(;R2JFA(B!(%n?rBOeMwQ{h%Vk@k!D`z8J)$#D&%46bdebVqLy zX{iFr5>ju#{iAf3l#d#}NcXSg$L=%I9saMd^>>oZ)I)r4|@;f+UYF9 z;^-c`PfB+p{z!vAj+)5*9|Hn<(r%8K9 zX&F=r3|KJ z?4H>{R9f@3aO=AX2(eHyyO&FM*9ju+k<8vkFWG%ox`W0GyIs2fAfHUk##8C8K2g}+ zWz!6pdY+Arw}gFbo- zCxg!YCA?GQa!i!=ptr){A(zS(Y4_?P;^iBg@|N81VD`%4D#C3abxF8CmT3*7ea|&v zcRb4lNc)AU!Y*%eNE9w7P#ccygz+*q{2F>rWKzlXNE28y;$kQe;}GP}OC4>%?ac4_yQ z_Q>nPP)FMPQUv5YBc%IyfM}#cE`~O-yIfDMt&F00%QT7Yl)>)(GJ9z|k=;r5G?Uan z(AGbtyN|q5$|frxb{2hbF7|NSPukacs(L*w^_q+Iq;F??550^n=}9tD+=b6{lS(*|+auFN+nOE+5I|V}!Cx#>dGG z6i57NJzk-@_YLlTw;iG~C_suDx{At_WP@&T*y~ZkeQbcX*WuYmMg?3JO>#ud5biY& zw-j--U>Dtki04J=PP#6#9c~-BKfr8w2B8Vq9}0~ZO>nrYeazEa84vElE?cZL;&_Zt zmXvcerVm9x&iD=7W$|}=3!|}O1n#YoQw}0C%PFzK95jagmi}%OZ$#`vpYe$m8S2j-lQmY zZ|%Y(;I6!pOHz)YQkvW!WA#+i;n&V2nig4XJVrR|QrywgZ}c?J80n5HR`(tXgm@T# zUsgX&im4i~!NRkm$o=32F`l#XS zSi0{D`60wJQ!1E>ov?2xjNJ-udt7no&G##4OvzjUHencHIy|Sy;J9MJYlVBKLrXT+ zF=WTdCkG-qLMxwoqvTf=Cy?9!asv6n&JD^cb~g8<1QrR?;WPzN6xhPxq0Xm!uzPNE zq!nvgI=MfAJ4bg{R!S8+UH_(tCx+_ok;R6$EoE?4j~;Rsi@C?rCU(!1Zl#qNyYvQP zHW!O*{syr=r&rz|+6+?v#JTdH!~Ksudb-$+rA^W-l*>#Lxc+$&1p z+A4i2+@TroH@5}s+(^gOT8b(GGCr=@g=8GLKZ9J9bdM?~_Y>^g$h)$UU8UZ389$*| z{BeqaoYxEKPLl2bnO3=%986;q#}U3+k%1J?(J*j-)Tvgu4M`hfW^iMfyul||1_?Hy70>uY*ePtHANp;45caPe}%e38@BHr=#xs;OO z#{YWm^8!%^WmNG^IGpWptJib{Kao{MUVMM1O5+8Po3OB$y{>LAt9X}|_f>h@>P%5w z>6bDsPNoIOp5iHyD_utS7+Z9B?w7$?#p*~C?o8cX`F|{y916@uRgFIvEmSUvmOHBY zlp@$24mXc^b$Nf?En8xtO>i4C*sb5_A5#Vl!5&!Q+~LS#a_yx(shE9|v@6A~gFlep zOH_YUx);jR(Q(4wqAZ{8mvW1=nM0vm$THYxVUsPowKsRNTclt+b)->@( z1*h_=+KQr(S<0{NkY&Yr|!m7E$j*FL{a%RhE%?CiK% zzoE2`ox0&y-R?b{nm9XNY?3Irhf{0kt^LK~*qUhR;nYoYX^KV0pKADbiZVZOYT%so XQiQxA_fL_r_aiZhb*Xo-Q}zD?>qyPv diff --git a/src/jit_bayes.nim b/src/jit_bayes.nim index 991a693..d14ff38 100644 --- a/src/jit_bayes.nim +++ b/src/jit_bayes.nim @@ -138,12 +138,12 @@ proc jitBayesLoop( let correct_continuation_index = findIndex(considered_continuations, correct_continuation) if correct_continuation_index == -1: - echo "Correct continuation not found in set of hypotheses of size ", num_hypotheses, "/", seqs.len, ". Increasing size of the set of hypotheses." var found_concordant_hypothesis = false var concordant_hypotheses: seq[seq[string]] while (not found_concordant_hypothesis) and ( num_hypotheses < seqs.len ): + echo "Correct continuation not found in set of hypotheses of size ", num_hypotheses, "/", seqs.len, ". Increasing size of the set of hypotheses." num_hypotheses = num_hypotheses + num_hypotheses_step if num_hypotheses > seqs.len: num_hypotheses = seqs.len @@ -168,7 +168,7 @@ proc jitBayesLoop( echo "" ## var observations = @["1", "2", "3", "4", "5", "6"] -var observations = @["1", "2", "3", "109", "5", "6"] +var observations = @["1", "2", "3", "23"] echo "## Full prediction with access to all hypotheses (~Solomonoff)" echo "## Initial sequence: ", observations let continuation_probabilities = predictContinuation(seqs, observations)