From 73372ad2ab2d4862f1a7c3be6958cdbd00658060 Mon Sep 17 00:00:00 2001 From: NunoSempere Date: Wed, 24 May 2023 16:58:38 -0700 Subject: [PATCH] mv jit_bayes => compute_constrained_bayes --- src/{jit_bayes => compute_constrained_bayes} | Bin 282704 -> 283248 bytes ...ayes.nim => compute_constrained_bayes.nim} | 5 +++++ src/makefile | 16 ++++++++-------- 3 files changed, 13 insertions(+), 8 deletions(-) rename src/{jit_bayes => compute_constrained_bayes} (76%) rename src/{jit_bayes.nim => compute_constrained_bayes.nim} (97%) diff --git a/src/jit_bayes b/src/compute_constrained_bayes similarity index 76% rename from src/jit_bayes rename to src/compute_constrained_bayes index f591f80e4cc0db85d86c2c9d4ee98fcb7bbe9fe7..f27f83a20beef1cdc4176d97400bcc8367f23f16 100755 GIT binary patch delta 23522 zcmb8130zdw`~UB~Goxaf;D(?GxPqp#gA0ZV3M%foqJW4vD66=J4Q8ciq~`KuxnP@8 zYLF?KnrOLDnoH)spjnBz?+e5HKWEM}mi&yq|9QRieb47v&T`K^_uM<9hjSfned@5l zLrd*h(5k*_7xRH){lqMaPy^Ndi)N}1Yby~tDL&((x!U=<6Z-qcB=i|Rwy-#+as9vU zzc=RA{aIyS;s@*JY$iTwc@2G7wt=fRX&2!XXO)Z{%Z?0N+Z?4wXRsFWG=@;5a zO?|6y<~nVSK|AJA*y?MIRJB{-?v2`cRcq9oKHj92X^opv?q+SUx`Q5W);?FAXl0@H zfjXN4w`fl_pC;tDRr69~3*)zHs;WJ3qjBGAM{6#drzqjsVf({#46EkR?GUXI#ck8- zsL3>Co7P&_b)G`!XQ@r9xu9F{sZWQtX^qs!bZwi~Og%;p+qLQH%EEWIYk~TjneRNy z_0HQe*R>+8RnzWLKN-F+Y=IaZ@bER6uQi*IG+~!!(fT)_q}|$R zHHQxG)_PP6d&^qIN$GFdqgAJ{@3m0P*OBIZuf?ew>E`!ZU$rs4`h(`I>1NTZgR~}# z8i&@Z_JvGaOpAX&+TxjXWVhCie%PZqYBOhA-3aNvt9c{qStqV#$xi&SS94SgseG^I zTdj3%O}P>nR8GNHFv6WrXjRn_G<=`ttXq(!P|j_&fjWs6?9<$IdX)SAp}t1d_G<;Y zUM6MfU9~M;-LFMy1`~xBYe&@JLgyc~ELA;3AN{0_Z1ibOK@S6sHzG@RQqdVE;(R69`9 zBU+?-jna;2Q`7@gdPMVd?Kw$~U--VaAC+4y7?XdVjaSI~DDsw4#!;<>>P#OU)yVzL z3>k8#mi^mT5Ob%NLs*tLg}IpOm=dFD;4i3sH+}RAs>>)W{Y7)v)T8v$acyNyEzKG% zrk9c?NAu`$4Eax~WZA1Vqgp4l04*hzM(op^)K4k)gyyVfQ|1ZHO>I!P;spAt>zN`) z?yr+LzwM~+DeZ#lLhVj#TWWrq^ep@C2{OC=8Jw#e@;HOJ9!0~>XfC?lWQP0~&8O}J)6UW*6u9)_SSi{mk>A+ph zxy2ho-uJc}Dzwg|d4>r>nHOS@W(YNWp3Cq*sm496eO*^+X#k6dwAB2Qh6&5jKddos zuy{#J(I52rJ*}NuK*#TCK3dctRQI z^k0STO8#!y*^Okpul3T_{!W|kYu(gu=m`?G+bk1$^|K{3_=`;3X-{j`eOD~j9ESS8 zQ||}pbU9`OIvxIZr>_Y`c3Pru#A_MAXrkRW!P_2^ARkKr6mNGsnSy8 zHyZv(3vf7g$(k)3r#lNx-gAjoKhnG$7D>4uAX`T%W zr~}x`KzkgD9D5B8II0cf%O%w8i593PQPdNyqZ&jXJkk72sTZt~27s%?(!h~A9EmDl z5kA=l^LcBPm%g)BSyhPp4A;)VhuexnS>;t6IUw-vuhziJDDE{J$KNW%^6y3W4UT(6 z%;={d$_BaxK*)5yoD_nC74S%%uC0La98L$yh+!R;qz+0Y0Do{md@{YkN+wg>5 zFVp@=2^=J@Zny=KpcsdpOr0-L=mM8C#?+_a;A{X znif$fE+r{-Qbv4qTuSo9jPzJza{QRW<=u5vv=>?Evv6GxliP_hO9Pzsm{Vnz5HJ-S z3g(_EvxwP{eYVV!3VshR0B?i&;Fxn|mcw8scnf^@LYc+hK~WZ6F0*)n9>14a`hmOt zL_Fws1@T~SFduvZ9(GVn$|t2r0Kw}j64X`{x4)18{1NO2j=P2g;2YPG0K5jS1Bc%z zv+M^Cf>*%b!D@9B<>JjUiwAh>UYR8vbbnB083&eubHJ2`WtO$zY;b=alcF?zgai=2 z0jt$jlzxwq0GtbkgImCHpvw~^0ADsE0eA@955|=v9@H#|ucs)JKo2kn3c?FyU_6B{cnk^H+{ouRcQ7NB|CTLjqim z_nVk4Uf`gnW=lV?aWk`JDmWDU0DK4B0{#V_1a-~LmPa6g4V)AutcBSU1ctUWTZV$I zJP;4MdLkb5YK3_4PAjv?auNrzt&uL3~3+`3ejILwyksJ_M(NxqgTT>jxkntli0k1UOjJ2?@Z+U?gaSgq@K9 z920^B;8Soa*t#1MfbrlK@F;i^d@s~&xd(n2X13JDMm?pw+2RLQ?_stK0=s}2pb=aQ z&Ii8%8=HEXEyr;1dv7EFCr2VdV?~J`galyvYe)cI9E=2D`4A)kj}AiuuxL2q!I%+< z2j3ovc&tIaMI0-!9T&p;K|vDcgOX= zVGa^Nh{#3)aNJxZXrd?^-$Md0Yd#WypMx3T9&j=E*+L`$JHL;3@b(hKgC8wLd{agF zl@Je_K0rJeyA1K*4RA4d{zJq!H7Ux>kB|UDujNPpW`T8^DN6ndBmhsWLITkD6C?l= zKScuY@@Gf@s%sGs?g#IIX?cimj&F&6dO9gF{$|!0Lz1 zmTIkVE?{+76%b0kN}(xUIBNWM1oha0G&btFaZn)KRAN~;BjycxZo_}!R6->4}N_C z@!(!i-$qfqFPbgQK-b^QmQb+yWwT`rxaN1W9xS|#cyQ|-#J9tB{}A!uS}+tG_z3af zLGUfmbpA0C;2_e11fZsrTP}lxK)n}cw_0v-12e!7@Ha399Ho_8vcOz07o4ptw-kX6 z`f^JNIJio=Me)Yn5Of2-sET;-doTv9c0@Hnv0DS6;1b&KAs{;~%4#7wO7JxBeLT4lZOiCd#Dnfb5pTjl*$5;6Q=*UnoDG(M{v(kf04o*f296(v1mK8hBmfO~ zZp{Ke0dv7Vv4{tM153aMqY)p7ipC%w9GirAa9lFt!Ninuizy2SUrj~=u*no806Tys z;QdS_2*MC&Apv;*O(X!neh&%2=JU}2Fc{1QecnerSOS)S*^3b09=F@YhzF}IK|Gib z#(;g6mYXbDI4J)R3BaQtAp!XQN+bZ6tww?l=<&x$AowW~fJ?v_@Ov-|^!N<%V23q` z2iJoo;2u!vh`Zw#hzAJ_0e6Bi;Nve$NPvTuUm^kcE?5Lwz!K1L9TIdxg!46*|9=r?|fjJuy4?2H?_+Tt(n-CAWY(_jdbwA?4T_zl4;ozH}kpO(_ zC=!56k0AjV`8yJH#!ade3BcuG2&h~|0?-xA0y~4b;CQeI>~bCP;95|56_fl1;z3_9 z1RQ)5@t|q^EhNCfJ76yO8CV3K1xrBvZ6pZ6y#aIs=Yt{O&v%gkoOloM;At=y-2D*o z;Ols~RRV4Tl`fc+pc@$e81Z1z6U2AH^}p&V5^SOi`&BLQeAM}n@3(hPJ1 z)4&k$5*P!%W4rR-#o`8T07JlzI*TQyn+bb5y~UCR zp|ina$pxo^Md0UP3HVYKBnZW2`Vta=aqdU}W;a0suxbm$gPp-#a4c8^y0k<*SO6+v zit?Q&;=wmsAs+PUj(8IemgAL07T6&I3Bd6^kpQ&og#_SZQ0b1_Yi}d~-;6{8Fscs{ zfRDf|@DyHfbb1xvt#pb~-2Z9L*Z-B`qf zcgI>xmKYqYNI(LxBVMZHg6qH{(8Y)ZU?))NiOB}Kfggb(;DAIl06dn2c+ixLc(85? z;=z`96;lFs2bEs9JV7^bL>l73>1ie;z`+s-S>Pcs7i^G@1Yp!eBmfsrL4w{`IHn^3 zm@oqgz`0-y=$eIi@Mka=9RDWb!H^upgOfoe5|3;P5DzK~5f5%K;UESFUoA!g&}k_W zfcL>7P`4Hdz{a4`M^S=6H}Eqs1l$D1fOdI^2P45;a8AC(@&lOrjm2^WwBKa0c=bgC zz;IA}>f#R_7^-XJ^ubSM7Toi3MyuKjG{Ya2PQ!u2)LtNhh6yaEX#$IBnLrcT3h2H( zQAW`dbWT-Y(Qr0SmXS#mdZTa!g$v_Rn1Dk1DOgfaco&6RC|pR>IaOJQ!XKw;`Ust~ zAqej=lIiwTT^++^$aAS+1Zp`)M+APQ+X4mT5CvqDw?F~)7nne40y}A;Kp_GC4wtq+KRXr2kBexkG!r7uM(6(!B@Hhnl8VGD$5_iZ`0lrK!Z z@6flxbXb^vy(3Qu-4dm)cjXx&`xumJ-zy{61W_AGs)77ta0Zt?D5KVML^Z-?*+Y4v zXn}BXq$O}sThJyzyZ?la$LJcX-RORdt|`7ebBcvpR-HP;>RPBPDHcU_3(XYROREK5 zqFn+yx+pM()X{)}+yVE?HO-bk#E^&ChWy;KAzy5VohZc$ZxhWFNTt;RwP}|?EL{{h zN@^U?k=zCLQWt@~6e}={W(v%p)qwkrdS=VFqOxb_chj@V>b`{QkS+?hr}go~^qkw@ z(_j$XQpkObXu6}>vhg{$4bQSIhT9a1g`29-Oo73)TEK^P39O-u0&Pf*2g1o+Ku=u+ zUZ+@rc{EetGg=K8?zAvlw#zHSz9#lubWRxGAhUokxr_xiP_V!r8Yys)W(fR3D+IdI z4nQkyOXtVx8mq&}EYzmtk^t1FV1alVDKMI5NO1+AUG7NVB_Lu9ofE2&%mVi0G7fm3 zf&~`RNP%NCLm-J(2y~(y0;}nqKtnPE+U*ExY(%#06l{dLpGFE)p&5X7wJ)s{#u>Cj zs8MuIAdSodb;u~FPb6Hh*k(3r5ys1bWWf*nFXeh%Xpv}1q-yIkpiAH z1JFv7Y2|oSIGT2d;{9|wFN!8I3#Vn|G685x!GQMrBpNjV#sM@#s7+{vz-P2Wpf8;h z7(-@(401^VUZ-GzLK-RXGtCh2pcMkmX@|f8Iw$ZNnFU&sOEQp3!2&pq0{v-*z%#PUi&PBD26Da!CVrQ?S5!8YvJ&GXy%)3W4`&2cTVFMd#CW zjkVu$sXR^RtZL+x4r@bd4`}^9q3@D)&Q;bqDax0h2+#VoAYE4tlV+K4t3g}Sbqx*L z=XgV5o%>aqIpYn=XJQUx`Ni>ga+nCmEb{no~|4)1WzwM#0pC^Y5RDFTG1v*fF0WV4u z=s^nwrcr^wTsk7~72O8hAK-lx_RW7cGHjM^3Q~((&KUgVNZym+?Lqwox>Fk9UV@iW zHE@4?wrJ{fnrMy)x{SXLP=WB?O-Cl_8miyYbx|@<&B?$o)J9+{MG7>eBtUz(h2EQt zvzCe3sLfOq|J+Y~M6nAcp@^k0M_?wc7pPAM1;Xk2RJ8dN*-b;~74ihM*N<4|iD9`L zw!35$(xW3ZcN%i-q&(s1NyS3#^DB)SkEzkg9h)n%n-0rp@&vRI$2kQoo5?6FQz%F7}QX*nl5HNjY(rs}UldwfO)XF?l95wFAj=>xnQ(ibi~5EKMHn*Hsrs$ljHp1M! zYcbPbnK~EkPXkq-p=+!wu2xPvv4t{Z!WuylGZ24)jDYS$4K|&HX$a*BQvwwO+THqe z715YJc5guKOr8QwC_-Qv83hJWw!j+76IeyX0&S=i&~0v6F86m)E%1ehN4ebJWukBw z1?&E9ISMm8VL{`nY)9d#C(SjX&UYx!gcMI(m0NcmRT{O#Tiw=l6*lehD^xuTy=oj# zPKTyoW0(n}5-1B*mZNYfkP_jcR;BDLv}ZWw2@IfOK)W7FSA~(tZYI?Ac>;T=SYQX00=l4-a(Zus;7G*+wWw4eiR|76^yDcppCV+*277`!Tt@K&=dpRU3kcW1k7B=13< z0%Iux(Ei#;iP&D@NTOrg z@%Hlv6jCsM4QEl{WM2WUv10`3$6=u8)RIJf&D8U^cIJd46g$`gM6R4kB3r2hV6JU`aWd~?Grs~WzgKI7@Bt5Kv&kAEc61$s8}G9N(EfVZUL}^JO%tILSPOV1#rO$yi9q3j_O(Da5ciKPJMl} zMT}i16po=_UBaSJ80E;V%tYZVMJz<00!ejlB_+?c+2A5+`kRaREDQ3pKLqhOud zolxi{EMi@VLSZ0zE<)5*SL(S4t?5lh6tP*$26VlfS*#au)iQX#+T4~9Z%8|%V0{Ab zgu-?dR^bV}Y7`1}T1YoTCJMDFVlmRyB%?q}$`-(s6v&`rfp@7?088%@)adGs?qRYU zGCSeLG(|vz$tci*vITIR3k;=Vfn+KLv`1a3`cgE13wbVu+MOZ8g%52o8`y+A%4AzcrrlX#hhr}bwa@q%OwUYH&( z^!`8>tt-s`NS9y5>DjMQpZVdP4&J<6DV+AP?yIIwd)@FAi&9%D3D#LXJlO9y>atho z=%iq8ABwGPJG_Qb_rdE1 zdnq9@$y)ZRLEggL3Of|hgj;O3B?+fkVIIq7uP!p$W`2tn3iHQoPOV@rqFpdYoM&?p zoBMIyWvsh(m07WZT0hQBWn*GkcVj(>-1nol!EDZDvu!jpsJ}43&t|u7GOMkv`7{&e zh@aV<#pWPRevS1a)?-+&j$M%$8MjcG&W&{sx+rSv&gLvO+xjqu9E$PQ>`n44)}6q% zNc~ag==>v`HT>RYU4drJlE%62HzS`Pb=~oPV%m?oXzX53{iti_)U&ztzPwd>Phsy2 za{o#6lg-n=mF9+Q-a`Fhj@ZrSLu`&<^GVhlY?EQ3sx(|;Jz=lZF&x%U4Jr_|d1GrP znjUgon(@t(^)rMn3bWYL3G;^2(yYqCQa&Yz12AuaSydV;S>H*$geyHwU4+@f=9nUB z7FU`0G^4Zwx^{LE*wCrCoT4c2fUc!FgpP=yB&edwI~meBTLLd*)Pp)l(*ibMef}L%W@v4tBvU;swrI}{g<)cgY}7ZW#ZR3{~)Oo9n?8EC9~5I zql{W9b12hk7ux9kHk(ZsrTG%)UdFoHDd}Ir`aZgiF!eaO|BN2Kp0-l{yvvtaC7}VW+uEr4v<` zUPo9@Xd-oQ?)d}Oos*=l;-!@M)NLg@)SE;8Mq#;V`wedBCH2lI9 zOrtJ`FtjT;&gp{G&vL#4tj`XS!gALCpfrS;RP3F_*>1c@>iamWGwWx~Qh&%{9;{zz zBwG>1x;N{W9i?7dLg~u-8xv*XZ}_Usmbys^&65UizJNAxK=U>-!<(FFH|tR({cZht z$a-gAsbec{{mjD-UUY1JkW4V2^?cS3b`d(hD0AQncCcYZg!KG^1CFzv%!%Atzr%Wu zo>C}ay((HDDh}N&g;AW}nf0LCvY|=B+#7$Iu)%%3^bE6;f!$co36lY~3+^22A6<}s z9k_zWu(c-9ZlXV14FgDg4NKC)PhyWi>ex%0Sk0ilpOinNFE3^;XKp>eBNE4p_v61~4wiYYaJpHn53eQbozDIX zDE1drv!2a!9!vkadTBqyx;yqv;&Vnq(eS_{s^4=Lw-b zp7b=bA&~=GrAhrhClbF|5s8lRa5ZKBIjny>T?$*+e;Mn$9Aw3Jd70b7`i(Whk-j^o ztL}7`wM)J-M*%MtH|gRrj8Qq8Gh?KA9-CjnQ=Mp1;&oXkw?Jvi`d*&!#J$?ueguzVsiwC;nY|^XXyyc zrl)Lnh~%tXT`fP^oxrc9`vVSZ!TPvD>928ZKCBP4E_C=-nEk_8-^mNp4)z};^{&dK zzEbgLLmCGRdrf92VEt{@YYcwge+BJ2j&*Z7=^=({f1J=_lGAx_J zTv@-bm%>`#uh9z)WpO0j&S| zlXSezt&XGBsK!bBoJ_Rtp}nkT3a490M}+xPHV-Y5I%c``vyIfVFdt>};2_!Adfc}^ z$Qx#F3!B|nOZ^OAGtE27N?o~cxHVco8z~lHvHRHUVv%7ZYD@D&))Qt+y#c3l>m<`9 zZjpLeRq5Z0_3~U<#y?51e#X!)RAZXS=CD<=@kP>#-}lLMlb1@Nl%E1zSdY9T{X23s zt)Yv5)|1O`C2VQ@*grH?Du1w{m(*J+^-WSKrWt z^Lv?Rt%UNP)VnHuzn7kTmr%s-^F##)?n`|V2W)5k)G{e-;0kV2+IjS&#;Y=H+%Hn^ z#qDaw`oiy+J)8C4u^x&~nS`<-MCK{rC(X@5NBzn+ zHgw=8dMriO&tBHIuaKFSvHlb~UV!5JG#)b6U+y9+u<%1)NA8#_>(_955g*%@yE}A~ zsyHbNHawpwiUV?M$PD8pl(DQQb(0O^y|VHy>k&s~1^Dj4`dP#J`~|YiPYTL*){nkx z?LXe^O1pA`4eD(v*lu)JS@+;A9R7{A_4APR!~7Ini}N(-Do0}02-T`|;{JuO9-AQ@ z7jped6dTsGl>xSMmdyGT9tlsb;62t;*Gpk5>v^mX+bIPL>)Tn+Iw^$~tp93a!~H$7 z;vc!Cw^-jDqFG&S6;$sgdv^aP>A&M8nW<4t4lrAnT_29b^Ts zN+?lm81a{^09mb{MAipINS!;bzC;d0E?gEMrKW!_etlP;aAd_Ny1o8=$ zJ^RQ>R$$wY_Fz4IrA(B!&h_^|c|=@k?n|-ei3|zo3xs6XWos$S_%P zZ!a0Zb4Kxj?w~cqKj+X}Q&i(b)1cSJLTk^@c6>Wgve`eEUnbi8KcOR+b&mdpwsdR` z;dJL&S9a;FicQybM>UHIv^p;Jab#`CN!bvaNANR`!R!%o?0Jt&n}^?rHV>}F*0_Au zV=B~s3_5l3)73TI5*~Pk8j~;EXNwGu6qC&vzqgkM1&=(RO_<>z8K zQC9GI9M1kFJj}Msyix0d=K^DfNBx48!;8~x0QM;#qGrN=U^}g~q#bDqIOWSXaEBujUV%e+7LOrh0A7LGj}&$JX!q*aC=C-Lh2YfM2}1mtr&99h#W* zB^8D|o%JlvZ5yMvtzogm=G+QZ@3f_>pkHI%&70?d4ZURbZvM}AEszS(I;UPX^Xcc! z8PYtP%`p|siPmw(k1#}%_+9Lk%U-sw6tf;)VYtOl#l@t)$nVATdHk-ie^G_noO{Dx ztRRNA&yFIW9mU#?A~SF#hB}7(YHP<_)^jVYDg`1E?NInT7u$~Vk}YHWLyjC*A!9wP z8KNfTj2t#wO&y_&3!>s$63+f56y6jn&?MS~EN7fa~{}XFeZLCi6vfIz&wBM>b zE7dBjSijnGxcp`Hz}H0;&U%ABTwi=^99h@m3Ld?LE+#S8$!NPLyk{%wE~V_liNR zuNAsxkAFkRcdW12aLQIeg>zTGzwAwJg^D|}UQ$6fvhH@|`7Nnx0~PE4G$HE# zjtwy!U>mN}(8UN-se)10Ge)nVl)C&IN zSkJ1^k0q=ZRnUv9`4t*+6U+UtvMpEHS2_CpSlFZcVpiu?m^pr|msIH52-agN+`)5f z{+!1)bnBp7PjX{E`&fjmpRLlMxDJr}l&ZWB-p7gDDs0BCupU!EuZQU*IuKH!W22zg z=DIM`JKx3&_7I_AVXgSBK{$Ee#%s8dR+v&bV-{z$b!7qTb1LZTtvZ&&>bz0ojn{tm z&#icyvFR0Bti5J!u~--kj^fz5IrYSm=wC^NT07W0diSw<{NLTqaE{F75wqvfSjD>X z%kxvA2)bP0PqRlpM{DiB)NBaasD7-g(?kiuq1ZQPRoFKV5;_JfweaF?-6l8F3;tJ?=+Uv$;wQFEHYT-= zQwBvwM^Erh>peVva94l7$i)5wx`hWOc?}wy5bax;(Z4cd&@-dy1$n)_o|#`@ZC{zu z+ow|N|8249AN}$6t2DUM9{E&SF}{TPmvJ;%2eQ%*`+EOdur;>QihciYkN?qOUq8k4 zFYU6XuC&L#0hKoE?^FDObLjW1OQsi1EWb+oo#=? zU2xP7ugfb@d;fp@2T#GalMkK4fIYhMnoq1br}{qB;d6vN>XfUH2ym% z>wgRNTv&U5>k<|ngi|)wI3WWqc%dKVG|)FQ{Y&e;+WH0tReA|{2Sob_r%I=*caU`Y z*DFznX-gfQ^l4P=q>m$aPklYt$~qO`<4vud^#e@_@fqRMQd2U<#ZNR&d~pYD1L4zN znHZnZJ3cufW8A>_w81_~YI^(_V_ZhJl;jL!@}$@dV@mRWr114p@V{(-Y#mOvtD_i=US_#WmEopxlP~#x0ZMr=T^JNBFk)qKj^N z7dqWgAJ!Iq?w6i2I(D>if-z%S<&i#q)VPuUyP)aD|ClDeSW?Es8Gm>6#52oww^bIJriGF>+#EjVVjEO^xICGOmPmE8S6rUUy zUwO~HeS!)bHP!FaXnkW{1FF?RU(W+$-6v(te+2pmwx@^|`Zwr&3w?>ln3M?Qnx=`U1RtX``pUOJR*xdW%Z!UeT{_J~1Wz zKPC|_IWg?hX-jK;O&Z-s-`iuTf7hY@q5siTe;>cX^=w)XE3U*N?We)3^H{E_AN|YU!nq2*CWoWnw+=avq2oQF$faxN1_o z^k270G-h-a+qvE;DgSX51O#~#-a}3O?}qsY`Ve{R-={7<`gdFYPeb3{r|_1KzK=Qr zed!w(F|hL12l^;+n0xVYVp$rLA}^!LLxQ|~3xoaiZM7DC21TUDk4+h!i16s>f4O%= zQ(}PrCs&)7-=v^!{rkoyX0(rsOYb`+ATVKS;J8U$s9li0zDs3`aUcy1)SsdOLHZs| z|559|+~}eUmjsE0!lR@9qb6vlt@?>W2M$Ynt!F~w;IX6qGR6)cJs_Y*MnW`|bkqk@ zw@&(*bfuHNpBKg?1q(<@^0cIsNm%hKy)J|Nd?_$k@7Ekl#(&%$ynO;FF#Z++Y9&%X4GpjMIk0J|$g@4ot-+OQ#Xr!UMA5%M9jC3*MM GyZ%2?Xz#=T delta 22935 zcmai+30zdw`^N9RGo#`TE(nN#JDSQS;DUmRf=TY>4u~iyn}GW=n3ba8p0A}QmVXsj za3f0%GZ#!v&DH}8vB#k_6wS7 zy~6UE)mH6-mnoJ{@ZxYaKrL82Lw(^;6sEIie{=C1?P|@sQG+|Kb6PQF;99#IYt}8B zGPu@`@-wIE@~7%lyP4X#KKZjgQd?-+?B4miW~)J(8b0gU95w&h9Id6B+BUzz25qRO zPR*aONn2;o{5R#z>id*5gc)$hrEk2YDIm;dn|EkIu-;iFex zAAKmj?iFaw8u&~7eAwa81!8ub3x~)f2`vZ2Xw@p*myzp~uwOH4ryMEqJ8if+ zjZS{2b*s?&14|RHE~NpH_cy zy)M-%Y>>9QY03An-93X&eW$ge?+O>vRY30?oY0zQKS(lNaP}XC$jv7k~4r}hZXGVp3-d6ilg(F&? zuANa?`c!R6caLa8wCB?)tWZ0pw#aurs%5C^x3v5RZD`%^E5mzpt5S1V=7);eYz~_% zkyUGSRjPSRTc<9hJ;yXxHH|JF(>keM`L4&c1)7>nTYl8Ksn_y<|53xay-a_c)I8N@ z)ZmmBfzsGh+5~kE6`#^P-P(?m^A~pb!_aoeDa^)F$CBtneSbph+i3YuXl_J)@lTqEruLyqXSL6(JV~)6 zi{pP0tFCRb zoVnl5FR!;>+uRmcooFG7|oS%!0T;*xd*3k&eBT&EpQ(%jHx zVOg!?>C9zqoNnW2(MvbFx?QbCldoul)sgvUuV`a&nNrv_?Xfz5+7@YXE`O@Z9leX? z6h~n)af&U-s&)Nk{@xm8(NZSICfiA z(Dt3MOoJ!2f1<@}fAptyPqZE`c6SiT{IHH#I$1%Nx+}_^(-lQihKE%3sn)h?O;osZ z;CqA*hi0#(cb{qv)D1KlXthyZ9=UxiGq65vt|3vh^I<`{GmfLhapvJW#)Bf)@Xl>I z_Ed9j>@VcQAG)JK%SxJSXlUtNaCLM;s9|$m9d1+QXIh(@=We0y+~7KhG?kHqw`ib< z%#jgyM7(5V;w@VHOlzfXqO;F5AFbvss`y-M(0;S*qkC^_A8TE~*+KVeTe^2v^sx3> zw3>Mc<3EMio!sx_V7E~GbM0+y;!WE1T~)J< zFd`FWFEvk>ZE~tQMOde* zwYf+*8v@boKeT%44hsE4n>8Q-Y6VgEupyog4;e<|s7_dx!B==^8b*lBEJI$tI8}xu zQ95k+>6)rkmx(8FC_D}sPT|M_!4uc0;h$Q78bL$;)Y_?aXxX2dpV13Z1V6m`s>%2H z@Q`69jzp99Kr}KfudkXMjU#(hefqN{aRiEo4DaIKD#X$Q zV)zEfgQ9cv_FtNZ+MN>rLYHb$&R^)#x6=8{tHhpm17Ooo|pPs*|tFD|Tj_6>RuA4FVT#303&T7Vm5_2%P02}}oTq-e(vz>Ff z#GC@&02hGvS4zye;0NGIa0U1X+;pwPT-{z#w%;r%Sr&>~{zGU;>y6 zIu|3~UNI^MaPSC1ue&gCP?X@`U;y3)dx5j>!2taHJ`BLh4@%6Nz{%hd@IH74G(0RZ zSE!*V>Z1~KQ}B;xCFU?NTbf`1J_L_|GfR;V);A-+mZE$DHU&3>Vc@%p$s7mn1!se!RFio< zSVuFNj~H=q$zU?y18bEtnJd>uhrqYM^?P z9A6Rnj*2p}67s=Gm5~oNtBQOuq8jqS-@r|vv%Se|Jca|i8ZZDSxWfRKTdf8rvlo~S z_5wRJG?^!Y6TxNRTJS5dQX`Z3JlFty3Fd=!oD?OtvB?|=j%Z>s4*cX%C48RY9VF0>>zyN%^ zGYr5F!LPt4;CXOM7nAuJ_;sksToVuC^SheNeqgh1CUZY98cYW>!6o2Ua0l4I*xh74 zg9AeZ48Wye&3cMr><0sIQGXbK>U%H%>kWVb_+%gqz@kCO2QvmEAN;?e$j2U&Fbw%% z)kx%nEuxVRE*OD)FgzCdpfPYH3~;b_6b!)k;$h&9#WETOU|<3az!8Zs0KZFu0eC0{ z2H>Re$Ok7*Kt8w`tm&aB$&--}?wf*qu>bqW2g}byKKODL@;z|u_zhUIfucMo*y>0H5xJ0l07%3_$0vkPm(hJ_Eabjr=B9WZxhkthERE;1n<&Y_b>m;2F@k0|!6t zhXF_jU;q|?HJd6*^Mfz|I~;-mI2lX_pMgt2$0O(fI1fAn+7%)nbUTWCPemE@1NISc zG1v>dbIfE;0b`Dv%nQItCvg4e;z0kS$$S#5eG(fH*bJ=D4CfMT3O@SDWDWz(U>rF3 z47O76TW~#i13Uu$1>OPc{EYnO*s8&%U{5d%JPO8vMQ4!@I-bMzza9ti=U@PS2HpX$ zorl3&*nlp;0GtJefnQyM0r)#O8_d0od~nZIRTvE@9QRWL$Kowler5R zdedYc0Uo|(GJgObFy1zq*We)GSCjdB5x8SA-vpzIVbD@hj@*R-sQm^5aQg!ofb$;0 z0Ne_$0XsZGK6vgi^1%yFklzZ|{R`xSN5C#%+Dqhv_rVW9W9c6-z(JxJ24H=q)O-_6 z2lZZ9-D;`X9b5tigF3C$90g7XGr$5c8(gO=H5Y*1`ciWdIKEt|S@Fi*5OfERmPbB# z1B?QPRY1NsuK$j9Fo4jt5)44KG7P{xQ1MZex2nJZjIIg;@G=+$e(3-M@LDb8gDV`7 z4>rM9w<7RQSLFL*)z?Qp_&XR3R&I!Vuq~M3i|fCgHw++L1Pj1LJ}>}X{9xdxD6QJU z0Q3%m0eA|G0%vuA0k|pz`C!LR$On_bBG9D=@>}Cnf$rd1Fc{nrfqXDz0P>AEs5=A( z;C!$ETn83`{fEN9A3GK34$d7018_98hV4+wBtMgN;8yK6nz00+W`O8qFCvsJ9#j;1jR_-1a#Pz}>51 z&=w>90tSL>U;yp}qre+r1{n5#$Oi|lLq2#MECO$VN;}*gHy|I(2ZOy3QyazEsQ-LX2b;~tC>(eVfdLo>W`nmZoFaX~g27@rnKqL&nLtrpC0&hQ}z)xb35AFc7 z!6qY+4|W8L!26&Qj)&V=BtCElp`XwVD?1on@Mc_zKc^jAKSmc9Kz+mvRu|^o+U?+qO z@FAED2ByLQoSFs$aK{7~^uWe383y32X)pjcfKgz_4CI3kz-(~t`^X2QvXBoh1(gVV zWm|xJ(0w8D!4pOtMB(7aB`^TnEQJABi(mjYSPuiR1E{>CC<8!u@E{lr{tQNeo;k<| z6Txh7eXiO3Jy@{AY`z0}?KGRcdZGhh7$`n9@ekb_psVZj)ej|R-1Bjfm9H+)5dYu~ zrnr;GKwT53z(RaA7dn4LVmkiuqUeD-N7b7q4b-{eCHtoW18KLwCb}T7hW-#(LQaE# zDbz;b5e*cGr%3{P=u?3mv|FGPT>x}HoGT$?g3hV@TN=*B`4UI%mTGyvIl)`$@VQhMSN#(5b;_#YB$?F?lt5p4EP!8Ch62IlEij0B3&hb_fz7l~U^?Xi9&UKM zu|!N;NY&~eX`QQ-)8vh< zp+G+6353z9VY&v|uMcT5vZ#8bPOo8BKNAHn6m-=dmC)RoIw$HSO8rpUXhbPRl&+!l zgD5Q!Y5gA4*MpFjD?-0KmUBxdMJVA3T@;~5BJ});JRwv)3Z>ys`Gos4w7xF|=uBZ|~J5fdLN^ox-QUw)ZqY;hd?6=0X+0oP3GHT%0sPFe&yAa zFR{auD9sSHSJ7&L1+-tlhpr3EATb4Jle+In5B*NUH@7(tg0;(8OfkBd?6=Rq)J3CK3Fc zTt@D$xQQONj!OhU~h*Eqn7f&{kFP=P#}Ch&|_3S`k5nM@EggTW>0t?A?G~i1?0>f#jzy+EnFosqNw5PoS zPw0w3BAEmd$aM@r6eQ4vh6;42X#(N26430DY2O$$_&!|`#ad}pDvGPfH35}&Q;QQNG6lO2jrRvETJHQsa6+1qu8@ zLj_7{n!o^BDKMD!3T&e*fL0}&O2_KzX}Z-^FIDHP)~7b9h_<7FfR^$lT}{$Cm)qo| zC_j8DYSyOQR9yuun%$z>TXZ2+=VGY87H=plYrkAWXS_jKE7mZ!UmVXR?=)1*rrrYc zX{^8xv=C@eZ3DhdzkYp2S}sq^ZhjNFH8z;&(mL88co)P=$vYiQo2j?JAQ~&sixvuuqCA05>6E|*dMxlG*^kq?dDPx)GUK`V?=2~G zrfveP#Vuz9{uMyIQ4PyxtiVWGD3X+1y!yrc@ztiO(`lkRBIzdnb&pPo+P~1_aXJ_E zB2^iWQX^_1@RTA1E>NOCJIVqy$KAALJkEAD9T(~)x-Za=s!RY@Pz!-w6d}-!5&=!y zPxB^-6T6?bfVeDiscI_Nfe_g3q@>&n*~*Jn(iJDD;=5$#m zPlc9F@l#OUrHJMrgiA07MfD673Us7mfhS})6?OVPlvYC;;GOeBxxAyMVtKEjc*Jpy zWC|>%98ue$l#WhCV;f3oU$V}*d|j;F8dz7Ars-U@^5v-6G+jMiafMR4hDRvFR7B$` zej4)4lnLlwROZlSgeFj-2+g8mK&#8H$)D|umXkKl=(iK##4?!Gb$7~O2q zQy`mi1Qt=Dz%42kxI%UxU~&c|mr~?NjDJXTypck|h=O4%3KJ+E6>tyC6j(($0yn8p zAb^SmT9Ms{Ko)rlG^B8WtrRaynSgHFI5{Z8<+l{2JrxS=;CP;bx-Ib2$^@Q*_9$o* z<*70ZLE$-te*`}-iWeA2nF4Q7j=*Iq6gWY}0brFik5hx z!v(`06n0ULsCR%0Wmd630olzK>vbzNn~n8RX)ARXteQ)s1$B8e2h^43vg>7h4>F-( znY2SuH8K4u^evtEM4 z?Nlsk9w)mwz$Nk&aHnvAMidX|0=~v1iGl6G+s~UQ%*XmQTt?v*6^aVZdobros8AQL zH(gN>(@?HG3U&8Tv$<$FoWkeA@H2`RxKEh^wGPEYN`LvVdpgDbS9>1wtqu(5<@8 z)49hF*(g}n;$;-}QK6{UpNa(v$!;F7i#!G1rEr0}6c6b9bY{y&VAz8fquVG)Xb1GH zl|T!jVrZIuIjT4xGjW|f=OcR%g#%j63N%`%3n){ly(vck8@<3YDi%m2y9GcHc?w*i zaDo05FR-361#rO$w4_2nmtV^)r>ibrbvCSxzKFSNkHRw)ELZ#x6s9|JFQ=kVLh%cc zTEzva;^ggtR@sF%EJWubsSq(dWfcqDBD+PXnN*h>8G_fLmr$@YG8Ki5uH4896k6Bg zM)shvopO+>>D}n)A}sCxZnClRb=%@+coZy4yFChHL`3WhLr_Sg@Wsfg=uV>-qc;hZ zi6S1>asXXIL$hVCEnk9~k&Uc|ctbi21*m&t0y|E$3wYOVd|X zaiGK7mm~R;zR+!L;Izvfzj`PRN>Px`Ql%+Z{Fy=y=^UM&akyy*8OGZK%clm76=7dI zeyED0vTRe?a35MN!l{<9gObbHbvSzwojRmzrJg4BFls&FT1v1qSHHt1A)wOcUXe4Xj+%0QQ;MyC=;|GlMD2FG1EyFGxenhukgM;($nrpfZ@LV2RK0UQoKE5rEp$?};_*F|^{hqqjm zVO36+l0){#5Z;Ths<qZYE}`<$TQ8C*l#DNfsaczU9Gzzc|pXyA<+RuZ|~p(V;H8 zq%e#dXux{lW7*L}uHT$>kIk}TsGSV-U_C2T*0)>(cy*xM=D_l6vSM3qK%*I_#LB@8 zi1yRFOWnFGx3PYPK7$$BlR)32v= z_QsZ6=?~sUt@~aV)>n0rgF4R1qgbDDQwm2}pThcQs%$JvLRrLmR)MVeowQSSN_~*> z?E$H*=fDY0*t1d!pK=3FSl?bzI)Bd%IN+;_7^TmAS${P945HPib&k=g9PZCs&m*?m z%ldTQv6EQ8#`?t|>2rte#Lq;cnfI4U;Ud>}B=skp%Z9kYiSUvF8E($!raS9%mdfr@ zMVS}F`q(G3{Dem%{<1{)c;JCbd@e~S>sUYdNLF0V-MTAv2PN1?2IAOAp@ry|cO86- z5`H&$jZI-cmp)Q=FO^0$SZ_g(#c)zNt?eQi_GZ_8tj9c)_2XGT&w8`5Qh&~N4_H4_ zO;&8c^?zsm>&a61itCrhcRF;JW}VU5J2jRC<-s}`b>lI2r@S+`w+!X*JNN@=@yXT8 zY6)~5VdEqYkG?NuZb@0l`XRn5#&DO`upZM*)?X!|>}EaaysY?~d+{^tlij5r%05q} z-c0dsCY1*qsD`hQ;#BN#lny6(iL|2CKVvxEIULbahW&Ur@pKAd<1`KjY?J-^ox8V$ z^|*Z5jK-~rKkN~$_2u1jGS}bE`nSB>?dAI4u|BS+6k4->P3oPLf&HaJ9tWOsLYExb zUvC~xd3?PU4Of1*tdScnJd0a?3l4AjOWK{{e)+LJWRJ894hk1{-9=k7>-2>XRm9>T^!9In(;Huspj@g?hR3#98etZ!j` ztXbM+%CNGN_2+sijO1RNU_JY7ssGBl`0FZ5wB(iDzdQ>mRO_K8M-v z1nb$;q%dBlDK}Uz&rf=rx&9NWJ1E72rIJ)dvLbn3z^+&;Kn^qawv?N2zr0x=LQ=3k zQuU{3q&bb^uxpA8FX86!%QwQ|-*fo)jk0^qxtEVv{}T`M;*)LpH(rV3JC>O2m)zQQ zu3wiPi`G0jY{-_aE#oU>J zUL4lKWix#^oJjVU5T4HAk-KEr>bj6ZM0h=is|3sNa?bvi#v<(f6NisHmU<3{@3HR2 zW5Yeu@|jGhkQP0!og9j*S-K8(kl}r-kN!&Pq2;As%zA0IEaN|5v3#`l(r2lwJQexX zrS3-2mvJ$C&f)P(rCeN2@*CD8p2)Oz+)N>K@gD(Y^ZN~18-Ikz^}D1Pm7Uk=CpB*SlW+8EZipOgA=2}S%Rp|JaLycGD>tq^o^8_Bh~jcnlh zFZnCQ0iLIQQa37Lon(Lci>h*s6W0663BiiAeEwqn)4Njtj`dm{WrtFyNZq>OyRm+K zm8|G0!-_ZSHy;Syh}Yyife{>tS|bx0u|9_NTiBe$hu4F$fb~4y(RazPvXb?-{6!zz zg5|Rwy7+Oe%)34#q;ELE%wHJWaZiu2eh+)J_*fsjpF&p^CuPAFo=X{4?1JS?WLK63 zW7ww#>xrG^i1_(eX#?FT&gHDnWS}+s_2z`|(~9Ne#zqOO&tD*Q{vM&sVEy#RQr{z? ztYBT`UB-Ho+RA#<2dWr9{-YkA>OCAd$=|H2S)z(^h4tc3WW`TeS3~58qtm6Zkabtq z*R_;Ax1O?AtWV$>@)YM^e0p*qWwR{rmQY5sKJZ&9m|363dd7JvG-iD%>(39W7Ud|< zXddg|10F`3&r!1@mZq|V!$ za*_4*^2TITHgW^Ma$pR<^x)To%Jj~11Unw^@kF#bPrdW?$mvG(S zGx{=hzqZ!!J8!MQZq|-JU_HvF6^Bs#Rac0gu4Z&g9NCMvoVl_e*34;di*@3RFLqMr zZY!NceKAGn%l0Ln^&*}+>v-nTj2n1f`hvsRHXZ!lYG>2I$IudOD|t%Yyq_$vZo zXLP`wQ1n8%AbTPIjo<36x=k-apbNVbg_>m`D|tl?=lbsKW9@Y&>lr-b)>&CAbzI@! zl|60e5y0EVSJP;nu4`-*%=N8CFD$yFQoy&irkr5kO%5!|#y@~{_j6*X4HU)N(?||v zb3#<2bV?=l7AEQ=tDhzB@3gI~2ivUlL#!)aWl!%zYkeF2PG>Q(_KF{089WTdEetyT z&UCwGZ}1hzmW!b$j>Kt;vYGBFtY@%$1-6-I%`|3njcl9tkFZ{3qd&LSw`r+PxLgPd z|0H02Kn{d1dgkuUONr4->JEx~>#`FvlcMk7nV2}Q$flhF8UD#?dr@Xr;DM!C&W`%n zQp;EY&oQF$rZ%;zvmR!1lA5sYWmCT|bg{~>^DFaQZY`4Q2Xp;k*0V%?Yy{nY)!E}m z$B@@%G;`SfXBiIW zL3!bJF3v$wbXk26>+Zv)Zru^$po^PWwn^@RvFtOE>u3B})@O~SzCw<7@uK=Gt0~Wv zwG-D_FR)3j_KxVBv*OM(XszGSqGJcJ8O#LMm6Ng))&;c)x>%wCzo8T24>_viUX{X~ z-~lM>IoX|)t&N?wHfE#Gz%sGSL__I-m&=yV@0P}@D?9n7(~tF1>0?x~ZHyZ9eNIbC+lg{)`Wobmgt z7unpIYW9|WjIz0fcV)eZeXMgA3mu!DQK`pg4cmz2lPUv>TOWC|FE5w9lEFsqHcv3C zS&y>OPq5F{E7D*zKRZ0&`oWd~zjks0DEa|*38y}mjw!Y;`8_OQ`~irlWei6xaY{0H z+N{HhXMMJf{*gt;7FSVjaro9|`K;#p**5oz-B#V^v|N(9gA!%4_dT-o%V6k>-iw>I zt0Rsq`;1Lbnp$i0Xm6?U&xfBd&dlZ+tuDK&WU;RNRCcLsfo|Ezy^r8X+{xVdd2K6a z-r>w#cI3h1KMBfvsB;|A6<4h2YOsxQ8tWN0`e&>c*yyKOS8VP(YJYT4{X$oxzT%2Q z@!XtY^W5w$baWvu|N3LyPIn{zk0+7CqbJ3twM>dnY#F2Ui-?T$>z39grdQ{%ce)Jh z-EZLJl-5aaw;4V#dP1b{e}`NDcR280!p7I!y}kaW!fWw1{~h-Bc|-i)dS9k}zc(1X zVSGMs=z!0^_#4Yi?;9q-*ZaRa==+8a`2KSSjAhU7zx1$72j4IQzW#6M;6IjtvFrl# zd&3C*-Y`P^PV}D(*w3~DMw=Dx_l8B*`VFV3^&1Az+Gd7~wwGAzfd3vrYugdn450NJ z2H;X_Kn$n;5lVn;?s4hoDJH^F;sa`b?n6Gul+j>n!fd_c@7TIZ-A6oh@OO>4_W7U_$f zpls&w9`C-FKHSTvS6o1s&RzOUZk^isy*9%~DT&c3k&)v6`4m-0U(@nGf0|uK-_ZC! zyX4irffhL!3aD69SRlI&OMwM&j#I_byOMHf4XJ-SD7vh1*RsQ!W8 z^tqFM1O+(j`*co=P45w#G%7u=Z|vB2eU#Mb__Wy2i7~M$>G8=)p%ayq)YuX6G3lL? zlhWgp#zhO&GJLC>kFOV1a?$swJ)m``0j;}4mI=1;p?6*MA++B`->7y{>;$w?Hty?B zw_NmYy6ABeDcVo(L}7LHp|q#2ey_ub*!U#eXCl)krKQIvM*6k!BX2kT%>1}|`d(V= ze`~EZHp@}5>Ag~uher>OPl!*SRHiW>KgxI4Z>=*jK50aF(umlJWum@*q&n+sJG{0g zS_k+juR8X=hyHO4hVV}Eh}bfT{=RK6YZKnV=+aZ;lSYXyV4UM(lVW1i-iyb?rbnk@ z9IqLBxA9UEV^c@Ph9r~?_<4Dgu|EFV_*i}Yru?l9^oO(>ljF;tK3_jS+Efq!F=$p} zeXT}m!dx~pZg?6uTedNuKswr3KfN~k)iX4_Z<%0#4|QvzzfQfI>XUp>A#74ga(Y~B zT6|iWYCdh0e>r=;ZD?;(y$szvOq~6G0m5ukT8`TIzlB4>!|KQU7V_9>%tn|=~KY_6|D%UkGs zg`#5y|OzoQdobogR*b=jG+4 z#2`I3MlAV$$@1iunUz2>kKHmAQ z{Pgdr`4?L2TWHiGP=A!{0`-;Z{Ew|GlET~QFSy4fC#FQF#`cnzC%Rbnj0KQKTYXsm zg0}h|TBmpVg(nXmjgdq~cIy%_yw`;Oafua#i`B{g=W zbqxPwXO2`x#wWx^rbMU5m1#M^oANvA*XL&j>#J#0uCsnp{+7=A_cXWv8gm=3Hl**W ze^?`Stj$n;{ONI5{e}O`_VsE_h28Yw`JKb`iCX^V?)n(LRuo1KJ@qXsT7TC