From 117eda2120e1685237f442671cda101623c3bcd4 Mon Sep 17 00:00:00 2001 From: Jonas Peeters Date: Sat, 16 Aug 2025 10:21:36 +0000 Subject: [PATCH] Add/update binary-search benchmark --- ..._1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv | Bin 117160 -> 117256 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv | Bin 117128 -> 117224 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv | Bin 117256 -> 117360 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv | Bin 117120 -> 117216 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv | Bin 117088 -> 117192 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv | Bin 117216 -> 117320 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv | Bin 117168 -> 117264 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv | Bin 117136 -> 117240 bytes ..._1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv | Bin 117264 -> 117368 bytes 9 files changed, 0 insertions(+), 0 deletions(-) diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv index fc8fcd187009889d3698fe5f3ddf19f027b9f130..7d87325eb018178179a238b009e0e7a1e62a510f 100755 GIT binary patch delta 9797 zcmai43tUvy*5CWg3=ics65yaIFbIgoOGFgK84?X|pQR}!`2g{qDHs|c$_x)5d}iWS zx0xBJsTZw)F~`gdRPd1*mYtv!=d9CZ=JtJ^-|w6?>;GSC?X~wl zXP>nX>}9U2H@dFx*<)KTO2lE3uY|ZYRz@y#-_~7Gw^ddL6#t>1sp?X~6(dy=A4L}d zUEmDbspvt+l_pf#Q-MjV2mWyKOGLlK&t*RiN&K7*qhTR`9gmgJanxcvPv=O*XNObr zbF6Y6>GE4(gC-y4wF7`+`DtO<W-B>cYaZ~kuigkJUE?<{!e}POh?-u=*D(Qs$2c89w#lxaYy7(D2}$VkR1JjR1DUzIZ}CK6 zo<=4faY?8e=DCZ zV|-l!_*vk*JVZw!qql-OeOhB^s&4i`->A*28!L4>-L*HG9@4R_n>CPiH@OTc|8e~5 zo_EG8_Ol`)ulsrcQ|xhbq=1;aE=Z=jH}wnN`%)Nb(5)L+ex|(B$1*?{X-Li1)p$)P z?U-CZ*wUN41}#0|HEA95_a|R%sNc-)x-|H0U*Ax!tJGe5 zbIET(ZcJ-(39kC>5xw@6Q=OzW+@^a^<9qRrCVSJS`c1a-B^u8+u1(NAga*QxpC9?E zvSt&zqigVd!>!?#o#}|l*Tv*Abxg{v&sJK;&?h>5f~6U zT3y;A%V72;dk4(B-PO!2UV)Fy+Wytv63f)w2{(uQK*`v9nxPdY_KsI6HL*DF{&1b* z9S+wr?=<%xjq%{LYSoYIqIbByL-M1Q*MEc?2Eu6$x^^%xpP{LPSb4v}aR0R|A~B0R zW|{SZ6-~n}^=M>ScG(>Q_hW>|T!8}?kzIa=gurA4g?lVOY!F-P^H}hsF1N#OjJ-at zZ9=QPof7>RwrY=i@MxGuU23@T&|MR|POH)Y`=bh!Ca6#_PWdMkegvQ#jMhILs9otouNQx}nz(T-@U5Bs5qop#uE_D1C2L3QOtv9oR(}is8D~Fo-7DzA+f6u3d8&$OnN#1Cll29wfD~o~A=z*BeQf3LjiK~_?URFELVRO?ntF%sRNC@!Bc$7NJ6Y2EL%c(Fb-~hi*{tuk zQd-Mqd=N`d**1Q#gwhSH+lN!7ggtEDhvTIwd)Sc=pP?r0(Xl39+R9@zX33+D^*P-~3aMksr<0|W zI=13;h%}{+?Ko|sMYe0FVJeE)FK0fYr&#^RX34GIcIRVH3X*9*St0ePXJwznOOf^L z@F%rWVm(`ME>+5?x7p5RQIO2PrG;*19W5c=yXuuBcS47W-)&pZ^I=i6g^m0@n&z`b zzekIEpz8N1dVqZjP%ZoY_ory`QG!8mJ4mn5kKA-43nag2A!_a!-Op?S-T0r(zWBe;ZA|^`tGl|3n&2 z^Z9rXB9X$0G>jhL)f4G-TFdDqAX|C=N%Se`GB2D2WD&0h6k_o+lV~!8;@#5eXu6G$ zPp4xH>iQt&SR57dRZFh&x^x zN<7JGu78#W7-Eh)(vzUDrjiHA=jLZ=G)>^S!YaWj2-NFvXh{mM7W7OfItS@#{5;Tf zfhy>8V4Uw{40{SWR+VD4R~1>p_<)n~S~R}ND+PVYiGCC5GrSRKdO?YGPZoxIPR1Xg z@dO?`8Diz(dMvUL$0?*2^6@~^vwYrU`YMR~lWDZ!kHuTDCDX}1snR$?Nz@+?7bb)uhu zWkb*hc_q-r2c77BNNar0jCcz-Po>d;QDKhsdU<7rp$g{}Q(^T=@6Qi|G*m@9 z+EvS+nY3gFr_*4Xckx&dfnhO@R(0}sA}tvg!waWDlod|=Y)^Hb8>hi4Q8nJt{Y#+5 za2({p(_ukyFFVqU4N4nFcs0;zy9*rY-cXf@6ru_p@m$2GIpNKS@8WbO zOvVi!E5sI_CB#KuITQMk&;JgZ;lL}7A%Br;6|peh0;|}YPV}}%l}tvhb9B3fcnKdm z3)-mQ^FSE(zv^hE>8p6x@H(KSxJrI?7R>%7uAdD~Gq`y+bbk8=N2gOkij%|~@kfId zJjV%NjQBlX4dDz6HafcX4pH1L^YcJUL7Vswv*Gcr-Q;K%VN}cx^4K{rS`9pH4vmgG z<75>he}U4HAgs`Zk2uN^kKD{_=0J3d6F;n{ah$B4)Ob-(!0F>JV0Z%@QisdW;uKfsD|1tj%iN1>wA5!ifA9jNbdL950A3IHWDrvCH+jVZSemE2$q$312l@AcJnqG0kPrZ)Zy@UVUdF9fd^K7OHi^3Zy(NC%Ge zBv_^;EotFaVU^G8gjIgE5_7v^M2@0WKEDE1asE3Tn_P>uimPr1|G;_5B1q)`&s`+X z^O{9s?)ExHv5!zvspaPvK`q+KV{^b5I-LXK=~CxtybnV|jk+NRLKpEyVO_+(64q{5 z=41L~E?Pqg8btME#qJ8YTlWB$5kBJnopx3y4QJ;VWeP zKWp7e#GUOs2SXhUw-UC?$1H~RI3GUHbUoal;`M=o*urxc!*cONnwTnyC_K0XhUSKs(1bQ^%QgN75lMr(M-rK z!1ct9JpH+Xi|-`jcqrpNNQBcEc_#{ccan)SsLn`;jC+#SYjPYuXDQXE1vxoSl#P5y zPbd5Z8Sh5sIt48STugHfZ(IspK7j8clbj)ZBSE@~-xBl=tcGz~$YG?<^5BcBmNWOSd~SR1xWl8i5e`|nsEjn zBA&yqK)!#}X@N-h7^)0LKG)|1t=4JkdKio})FOgb>$Dr#=wnD9;kiHus&(3Gq?3@2 zD&#xz;kB>UWuuYLM1B|lJ|7m193EQ$jlf3*nUBJ~UNu@-coxu5OBEEr+d?h4gD}=P zwA#-bMG$rS5fZHM*N}!;1-ke$mg{j|3Vk1GwJ`U`sG4EQ@H{yIb3)t;adoG*7xA8m zKQJox9*Flv9Jg+fM6FXIkx=(;ap(|_cnhy9gzn&9*-1~N9|u|wi+&5gB51d7mFAvP z1et{1ySRQC&}vZ&w}O1kNBSl=3wjh5ugOR+L%M|L0$q$-V{!rM3Z&JYv0Nbow*hf= zXRJOkZy~Pkj8*&);_A*=9rI?yac3M!RN^8MH*xSlm5n}*Nf!qYmqKTI<8W|)f-_W;+GItABk;< zzr%xF8Z6 z)4n9e>5Xv&qpF)9e4CMv5pUp?5Ux1>4P_vHz;NHn;T|E07*3szYv^_k@0o#U{{!Mt zINlYA-$%T+@)?kr5GPO`ig`G!;5;1uK9qJFjntstXcUA6y^8xG-ir3}mj(#j3-N>8 zYJm|{cMZ>BoBfgA#p{5E4T$}Wg&s9+I!Jx^mPQ(+S8HMQ|Bg!d=|&peP5q1;w3AE6 zXhJu&q>b3gQ$X*bmdfhC51sPh6~|~)H+6wa+{urDox55IWO90(4sloC;d8lJs5$sb zhvz`3`KadeMxm;om@S;1097sXEZi(qwLXI~PN-_tVBw8I4Z=AD-zHGiLIr$VZFtvux_7Vy_#fuhQ(&3H8--ZU>1l9CwDOeGG`X9(RB>n+ JA%?ckzW`$<$FBeY delta 9711 zcmai43tUyj)}PsMc!|IPc^n`-fDa^|zEB_nlb5$2H%U#&2ZS0LA^6HyyaE+JHDQp! zd)0u_Os&9Up=Jamh+Z=^^QxcM3%)fA?W&od*H{Th?JF3yhWD9jXT496`x+a4yR7HZveLy@Jw5 z{uaE@3j}*1Z-WnMmo(pcN_+ScwcWO0_u$_&NB!0`6?YL;ylB z5X+*X-55X#tJOpm1k9pj-wgHk?)6(>=V$)Loqh%S8~MxddmR3b0l5-%|LB%=n8|`C zl?&oQ1|`nm+)U{|mdExAP}tOiy^yINY{KEuyQHGK&gJrm3{rXkBH)ZIc|j{LzH)6NIp$xE=0ogt%zp1Kdx8 zv`Q$kU0)R6lN&bAT_f--QMxwwQt@ln`5w|7*^|3rf)XD@s7nGAwaL5Vw0>O?mnnHG z(efhup-+E$kvZ5u1HUiSv|tEn9za~|igXNamp-?j75dD!ZD4p!xux#2 zJ_~7P@mNiD?3)wPR%(j(l=f|9RRhUsHpRiOp!mw8l+wtRJx)d^~gdoTfQGb002CTYg~qn;FH0aoVDIzb>oGfh8~& zO5-&cg+}YB@-K_IUujRFo;F&;5U;W(<%c7-iO!C%KD(p1a9UpK?TDL{SdDvNF?vlT zb8>u(MzTuBA@FQ+91PE^j>)!H{D)gdu~nIBX1y*8t zaho+N1hF;RIE^2uMzBupGc=evI6tk6TADZRy4793+klYND?!`ss?HxUje|;xr|V1EG(sRzjoVEol5a(wSh24zy#>yEM{ngJr+JQ`*hW zyFP0R%55)-9$*99{Anmla+^g*v5(vmwO#C*J2AFpo%c2Wn(d>QmHX46G1NVnhOu<_ zrSLrGzF*trbglZvrOWq!6#enmC##~_dmdLnZ;h@1o_3zYXqX|!Q%5yj76*Ww>NVPZ zl*M3s5@nr8{q?uVft8tW?;38=Xy3(ldof*f=EAGQzy4~psM_Mwl~Km>!K;ym$=*zX z*lzg@gC^+vkANl^Ch1@F1+g=3ktGc^=o1FpK)aGs<^i@ZCBp%P=d?G3Mn(Q24Nx{E z3*fn;wDy4`k0w@Gc_=K-+I5~8Kz(53SLI8+C-yS=PGyl47NG+MfrY>8ZjswfSuJ&a z`SwW_m6Cj;mZfyUvXpu(OBse`DPyq=((v-T+pJmot}fevD%EK!OWu9h1*$e~Q2L9i z?7T=>_=oSadg{Q=d|0jQIB%H$Q5vN=hOa(Wgy^jIqspEdcDKP#IaR|v_QX;*!<0S1 zxf!M!W>aNvt>MsKO6guU)zIH?<XQw_n54njoldx1K()~QuF*$`rPzmENNe}rT6 zyS=cx?;5)IcTt+cT0aY?vkiAYTSVdQo%{JT<fk#KI@g?taYckQcRK5r_Ph znh)62Lw>X$D>xLTbnava4~-q0wHuYE!O9-_Ar`&>H>r{d0dV(6D&u%YAw=ii z{&!E92xHjTHh)^hvf$~%*0#L}9oy9wMK?3=_K^;I(eiuP{GD=GdV4M%%1*S0`yc;U zb!lfD9YW}g8B0iTC6u1?7Ldi6U2NdtcnJ5k!wJfJ^#;RXN1@YvedtQL1#1PV{yv%2E)W-eJMyb^Q(NNzJXo- zYPizTz&wxFE2kUSvE%W|g9d}k*BKNfTin?Ri$~%KKgTh9)F9u578BPB!;%w<C60u~BP9HzkhCM&6Ry~wQt>4?Um zPV|urO=%1rK)tAvzvDN)5%@Q$$)y6k7_T+PrzJVZwJ%ZkWc>xT@6{(E-vLdDhR8FbYD9=LC@92| zICx7kTpKP+63OXgpr@MA zxkyjq;Xu=wQe+6_Tr*|J|Bb$?RjnE+T7>d$Gv&3Ye4XDB^hq=N9i&^i?-Z!`nCk1c zQRr@)DSw8_gcpIb&JUMn5skPykoM*c!q;4WWD0#7#FR7|s*~%uo2pA@h&KT`WDT!P zqwY$L4?mCw6Ma6v0ors0*S!oz_xl@Nq6s1Xma35z&j6YZ=jAU$9K-ddT3w(e267Z{ z5%efCItf+~K~La!fG(I|M(;wp4sm0ZP;DdNB4CM&lDO<)jT7#+qkbR;Gf;e&=!J`t zxRxQ_>1$LhP*He(jl_F?rp*}uE2?nRY=$pIywwapjyNpQPkf6X{;-P(Kj%zvZZ(bi z>28}~gq%j*Y92R@hK9fAZ|bVdR&^B(iD~ca0^&Km7R)@4nb8}JYczD#AbxWiEMs>A zxaV{lqKgSNbyI8nBxFfqdB$`Y<}th+gy$hMtp?u4 z5;5aV=`+SpLSh;e&48u#=6Jqm224N?-VH^X#kJ`ms(4&FOl5^nfs(HHWz~fbwmHD~ zHOZ0`^IFhKu0dM%$VsFxo8g1uEG!0M>QvK+Rv@0uX$I7GVVWr&>a3di@MJ*;PB*15 zBR!6n0}XFbO9s4GhqC#(44UBiQMReJeLvM1@R6@Tv(xyTS7>O#+}BOjyj)ealV*4> z;+M_vHpGwSnELTFzV?=+b)G3c5Ai^C0p#wPRI59$7DUa)OXn_xB}w9OnJ^d*d`c#? z|Iq?dS3bsXeU`+H*MgQVWsxb}fi!$w5OmHPru2NBT1OhEGhrylE;XgSAwdx#95ci7 z5PxKbwd>`6lp61Naf)eB9fn&Mo?@)=6AD8zz0{20mssjQ$dy2SrMF?QCd#bcLx= zhh8-BvlToXXr-x=k9!qf-;|A}Y5~UYLE`-^ z2Q@mKfAA^|9hzmP6*fS1)?|j4BHpo)+hu`wAI#;2wzwh(il-%P>f^JZE1ND#xn0^BhPsCh;kAK&O(Ifl!WfeqavtnFGH8MO{j@Y1r2TRL5(1_*^hr z&oe+M9o4*IE*RPH7J)kRJ3^Fj-`8kp^1)4}F7lpMUDW->6mLiTlo{?OKC(eu`teQR zjy}(ifbbl(+0=S)u&Q-(Gk4CW3Ch7OJS`hS%I0O+U{%fcgHR4^mXzaBsYJg^PsAm2_R=sldbfU6cb>IlLi9 zym>WhTsu&EQWPxHiY3Y6-9pQaYv+NMTdk_K6}6gB%Zr9o8_0N_AR*TC6A)wa^-HF- z4rt*+PT!qqt4Dl3CUx?_HW={|9=-q;JZF3x=A+r4ke11)@hdWLFCadbFI@odYzS`w zYu!vtS)AL}{ z{y1aOOvoL;wZw+V4?^OTiMSpcac9zD)<=$`gg&IJID&FS{ET>CQmE?l!;7glx!KHk zf>Ftd>@&k(Gvao{#?0wkfQw;H;=XS{lT&doiZw<^$Y!Kt_;^9b;vB_cAqSA2%Zq?6 zkg1q4-2)Ftkd~>~RrLA|;xZL`fcRO&Wh$11_$9{8e*WWudS zU&m2v9QR!YPUP{!&sXIyAq}Gnbis=0Y8^uzRQhM6Wn%7zUM(Wk?zxG_6}j>_ATCd8 zJ5b*P@oIn7zdhpp5yzujAdz`WAQJNIHWUqpBc8*x%b_{=7jfc&^m9OKVbRa!af04) zUafAjD#%2%9>enlEt6W93dU147gmx*?yt9XN;ZE*LMoAW889eB40W(_XK_@a<&NOxcd#bS`R5kJn= zU?l!C;uSnDA8MO~w44WhV3`*^Q_1rLP4K`W7ykiBNAp@i%kxMMRvLk{13w|?wHT8e z{S>5AI4uBL9!ut<^)#g6SR&{qJhf~@5H zb|IZ+JH|ouDi1%nn~}dEKAqnIcLgUgm%oYb{$X_2kDNhwayTxbS@u@7+k;U5CgR6% z=UIdJ&xjvD{aC~aq=#Z0Caak}Uj=_GO0K{(UpjR}r6x1n74dw;jb9qTu@~YKcy}Rm zusk(P#yW=}J%($G;8^%@Yhz#$ZHk3M(v21xs+F0r{12f3KBSd~+R2Z&&2{{hRyxv7 zCbS)Oybj9FGEtWQ=o8SF-)yBJc5-<;Q^);J$~TC_gakd4?#;Bu~$4MNwvFdfqLHGH1|p-!>@9)BK7`yIb M)u8zq(X~GR2EXXDdjJ3c diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv index 055c4863cb1d035b3ba87e7429293a19062fd6d8..5267f4ac7e8c0602e7104a1bd80e6124f4be5de5 100755 GIT binary patch delta 9913 zcmai430PD|wywI}%_d7X1Q0L^v;v|*5ER@S0=P^jPaI>^aREVthA6m2aDfIvbTpBa zQkswiFbf)^Vxx@ANKgTnOftb3W5|nfA%Kh%FmH5xeiQRf^*!aI`_21uzpwAP=l{<+ zwce^z7fP99H*?%Q&`=RTiMUMGJ0aa=!&f<13{bU-vMS&FCkk3hkDXjKl9K3EUBq*M zU)TXv4?CxpAmu<6Cf8i?!OqWwex@(2ei~x>l8vV!!M`4l71HNvsilp+q~u?nNXf$} z_1D_(SzufH>Ep*!@)-5!;MskW>hmLDtzi3WKUs#I%(oVv8m$J~5=+UYag+#M{_Gsc z+J2SV2^HzjmxI617xcsH5^Qby+dqtYSta{dV1r!+A|_BGu)fi%?H15QkYtd_P?>I! z*ANpG5O(FL3%h~Os`h=XN;e^Y&r(W;rmDZve$N7%)=y7JhyF%=COn_S=R+WWTKwxj zS%#g=e^R(0GL}%X1%7r$|F3>5!`5~X`VQ<@@qNo}ZER!b+mfOJ6=}AZ7J>=P6Y&Zx zbOlHg{Hmch%HbyhiwX$41*i+`C#-00oh;7SCU2& zn%qm84Bs7&Hw52^?VzM+>eg=7Ibg_;?&?$}Bc2u()H^}}+Z@UMPwRi6B-Wb}R;;_j zhPwVG--}YSF~+dP7-`;OoLIKW7#FnJ7!$SG7#Y9WI5B0TF)nSRF(zjt@Ed{8HO5ut z8e?j6!LI;**JE{5)F`l5Ul2u;bjwD1MU@qatWOVEeE5^) z3f9H<_I>|z#MZZTT5|ify^rP;hm`c{n+7F)LX)72#Sj^bV0bh!bW2f;d9!95-CQ)z zyh$^jZYmmY-l&;CHx^AW=V>O=yrPNbT+Jk!TQteMLHM$4ci&O*W#I zB`DdP`g2IB>tCZ9agAQ?UfF|f%XwoY3MY1jWgP#55 zSx>txhrGU~w2KvbPjLq0;`ySz?2@;Uj$uD~FQt>&Y@exyPS)j1tTo>?sLS}?2b0-h zpAlej&F2|9mO1$5!o9%vl%Y%CweQaDjt4)9))$>{e3s1^_ygEQ`sKs@m|rv92njqp9E7$z}yGzl8L)oy1tznIMYRoODq2 zW1R_>#{o=%y1g+t8k*2Lcnmbb@~an^{E3aN5G= zmb^d{*^v@o-^9OvdnzHq;=Efns3{hlLB1wO5G7~EG{pG!)OB3i+}j|LI)fhFtzU0MIPewq{8 zx(W-ZA-KCf6c)~*@QU1E+s>cza%?{3a5tnQdV7~CeODLpnm5kmrENZCP8^h4tPRo@ z^4oWZ{!)J)e452XcZ~6J)J6+yuX!%xOzD3B7p*p$t=>Ld7Y*;hXiMex85+g$s^#uZ zHx0Dq(d$n?ofuu*MVM2n+Zxy?H1#Ek4Lp6|eNvrjtotC*60>`^=kQwrY8v=puqu59 zsZ#DN8hp6M?p6C*G7nTbraf#|O{8@CR@J2(h`N+vs7o1#x|GvUm-1OwMTfAkkD8qK zl&g^&*}ad>dtJM!YNfYS8F!nqw!=r+G3vkyKHjJ3zq9xsnNMlEW!+Ilhz-YrsWP~V zRn!J6rYhD{Yodh~dK|byw(`Ufi_tQbDuLCOtU79yt4=JXw9)d_Np~SS>St1qhy!X_ zdM83$mKQ#UAWU@QIdASA`HI0B$2w0H*#hvTND*=ZuQ$A*O8(rUfjtd4e+WBbL#eIQ+_C46zV4@DDyl zkuXJF#D`E32NYVK3UP%T7G{XI#yrH7F}pnd}>+9#lgzR zT9$lqvhrLlE4dg9eRJ?)JT0;O?ILt}343(u6MC67d>XHK9=H7bsT&2!TtC~Q3_8ws zeioy|9A{@gJEkNYXKO!Cq8XNk&zDe|!Jhu2jn=TUe99JuN0J?{GKehz6g+w^F zSE^tQ%qw5E>=(UrVU>!!V@1jV39RmqwEm)ZX+-2-IxzBK55TCQMm35QZhJ#$q)QJX zAx^?*?|Q0t*4L^=>#ar~08)a;PAhU15KpY;EP-$b3Qz_@%>t?)OKG=8X|LpM1L)iJ zr*(9vLJRA^7(nARyl?>hEzH__pb9ifW3{lE%TskUwEnUO)jmZV>c2M90IKxV^rO}c zqkr{-u@KPy`tPRDLsTiTY9?MWg?iLqi>Eb;i>#R@nCE!V;QGUf^nL0gE2lB?vUnON z3X7_5PNrFIw4F!IrlGWun`hG@eCBMbbr1<{U^SmVn-1ocv#AqpUC)X<|!+L!W zcS_tyDQ^?BJk26YJRz(?w8V$g7pZU5ZfjyqNF?&GB!jmDi94qbnsj>((sio1k^(;c zMLNoFtlgrx$ZD-6V|f`w^-Hj$;Y0wJmSpfVK+{G1o)B49;g@A+oQuXAc+gz1s#J|@ zRO1>u;}SHk<7P1S>$9U7((Sxf(3k9Jb&6@p6}60qQW)le@f_R$WEY&lSX+2J(DW*w zH;=v!;?6wikSDtZTF(*h8?^WVkD5a?2Q6IPWx==V^MN;|8s!Agwadpt$Z@7d8)U?~!G6E_2$-(*KuBkdlfmTfH(iai3j zsIbI^CN2%Ej3S&T+J|G62Z>K7{cxd)D+lq3!B)e36@_~%5_+R;qXS?a7J)|E;n|2s z*x@aRN7~{3upx;!$u>AIUqFNX7uaBge1^8#q5Sd!8WE+3ETsQc;H<`~f&8`q^%dgq zjxVI6{NqAw>1{5mn`bD`TSz06)ZzRPNWVj)Z0+`0KU-LdN|`f@CoF~;xRvLCO0V!L z5Pr&hTc-~^RHv2vj-Y@1y-E)jC|pCVpTM-_M;?_*eW$xFu=T!(^h`T^FdX1TRW8`! zYY@N2%Tl4V8R{w`Y^_&_rx04QgMTCFay$B4q)+moG-y#bPf3F}E%FtH)tAR#A`aX!f*9KmVGoTQ}l6`S7Js#vVQogx|^6ZLJ>UN@hYH|iDmrqQW*UXPM3jG7LQs6Yh=wEwoab}szti0+lNrB*Hb}4Xi1(Oz8rC7 zk8PYr#Mj&5UcqXdZWZU}mr;WfzL&QzgV(%auWgVaM%B292fYNHc!`gDiH;h5#m*|! z`sGVY!tsD0e8ja0@tAV{=1UNLhaDd^Ojv2j9)1(T(mHO)ghCqm@Jz@s9`l?`=(IS_ zt21dbJ_Np-R`dUl!C*`!1i61IGIQ04oItBW-Ue2qWtxsGDMDJ}?;!E<6P%A;1yyO}X{)RQox4hm z9cJw^%8^NGRT}u2RgkCl@StokhDK*Yf69Db8dqazNTmz2A#@3^71kyEqOg|vv$S4} z){xVB=74nukIwI= zE~XAL%l{N0${n5O<=- zuCiubz_|l1x~i4OuZ7CXecyy`!AS4mIY5tofLqOBq{mpJdXRy3QD>kVyub}>X~cAy zowcLi%gB3*GY(wOTT^sG)*vo(p)Bm_O^C1LQR|@5)f-iOvNdTTWEavh2};CbDiD`R z&<4a0BYuIGK{&r_mS)9MJ1Xrw&)`XIQgo_%kTr2I55KeyQT( zvy8azTX9bkY1c^(al+o2Wa1FYA@Q@~ZlwFRH4cAqJvB@ZvvdB9)kseQ?eHa5+=XP@ z10YGkc#5Fq`85n_2iWPw+YcWi z1TE9BH<1oNdJnG!dV1J9Y8M|vdK1zU%T!!Wgg+qOfw+7F7~+5AhRq@zrjl}1IE}PS z(br-z=MZ0u+ppZ6KSex`=ZJ6*a5=^|hg?TG2Hi{;t_$(;*pm|PL;Nvs6XDKswNY|n zD6q_nu9CA?4uC7-S$IH^yFmcrH9Tqybgew6ti)PGAf3n41pN>zBj-mF(ha;!(DHP$ z8og&D-ObMkIvh_LyOGX98orrXX(BTn~o3Vh#5cF=044KJDms4QJIzw7-dX91g$^#QP8rc~^~Z zLj0eIH>)`Jg+E+Pe~d;lr~_n`V)Vi>p_jNT;yq|@{Q?1jJrQr>IR((c^3*UF%M3*N z2(JQ~E~`IPK#!W}PQLsM9rfh@pyYo$?c@gmc9EHG*a3d)3?1ttGu+4nJoqdf>nSs5 z`AKhptT4R+2lFUaIK&(c_Dxua+EpmU&Zzzu!_PZMeZss+4CsHLcu z@|!}HSzjp+Y6exNYo$C*s4|Br z4*1Osbtb&(NXj+`@Z<~B9}d827r=4@uM%P(zX?JKGxOk!bh1lSk?K%CN%ZXC{{gaA B%{Kr5 delta 9808 zcmai44_s7L_P_TrGcbrSBMQu52!kS-@~>4?48fmZu&#-#l;j@-H7Qd-B{d5M0kzFm zyy!Jo4RLeHh`_NX%M?ry%}UH%W&ISWDV6&}+cbZz)t>v_xyH<=-!`Amd*_|+_ndRj zyZ65P&VA6$Jl8YNO+n_WU`oUu=t*WmeM1JYerHMlctM! z1~}SkG`;Pp)`FBl8cas_#S1sTPW0Y||on81r{w?3gbW&tHlbG2h|uWNx_ng0v-c@Fe9^4H;d8eXS@dyT}@ z$>MvB3xYskD;#b{|F1r|SAxRloq3w?fnNCU^8Q=AVpmcmFdBo%B&s2p!0NL#+tC=@ z0PEgp^llJpLz^X%!G{U^;8Xq>%lC!kALxGV5TA? z(CKij2dq>)V-tLDcucd?^~wg1%{r#9GHmhO>cx!@`*wz-3*qgAFne=tU<)Ds`j*JR zb07_^WyY86DLwfOO9S-+Uog(n5?C&-zP#8&k`j9IO*52~;e`69_K+rXUR|=;)){|= zlC_h{F0udZGl*VdzCQQS%WSyMsp8~X+b2;-k;JEIPCFy z3Q=DT?JtNoMsfdVJeywLRn=6kuhd~Gd>Y=f*L9r}?T{^xFaY}vAZi=%vqN8g>7r|Ex!28Xf%1IUHSeOuTqeN*3^ zUQIWhTAB+YnVuwx1ZGbvpJY#^5BHd=Z8ZH~_miej!o2Mk|2}pL>vLngYHw^A5?gK7 z1t+{Pk>(nv>(@r=$dA+KROn0hm+M>E)*+;W75jwEsW1CWxsF_ZX~4hJ%Tp_QOijTl zN0tpCO%EDICTk7rL(i1=n3AkCrF=p2$f(N0`60`Hnm;G+a9+rhKdjDr_T6Wnn^#(r zY__M^It^EbmBH;P&TB9n&UFdwy05i=%eD)(r6scqrrn7Dnv(Q89%H-{nALABO<=qH z?uT=m-%vQ;@JlmZ4Ik~9z}9(QWfM$8&0Wd>TG{%Ct`BRZ7g0pk-ZHDh#u}B`o~V?XfJ?JSu44XKX{>1%KmfpR=;EORsvO!Ejb( zPS)GNG@f;sAEF~zP`?K(39AayyA9vjZbV$4a%I?t&yG9KLK0=VC^oBK%SgDj>Cz|qj+o0(USI0SW1~LUqZ-+bxDGwVo5>j?#hyF1P#DU}$IvVX5 zmO9i6?qk}NrGOosGS3&p;MvaziyhCe&;!-4Y#E#@%ASVvcV#JX9$UV#PZRXlm*ROX zZ(?W4=h9XdS233!W}7SSr$^YKiW$*~Fzjo7d^Fed7P*u?VSdegJ%gapnK$%La5JK2TXzIZW+$vGQRRl~;nl*FJo{_m+3@v4Ex=Z< z{%>sds$XU6)(;WBB?Z6Ae!V`NCNkd*fpCUa;5=nRV6j`S;)XolTGv%tBC>W4r6hhZ zJZGJ3-K2y5o)Zrmu18#XaKp8v+>O_W|I9H-{PX zw0K7Od+J6AYhjuDC-BheMz~tDD;t9KBjCvz?$EuE?x9S&=$N{(uLmSIXVZQ6B|cbw zjWDn5zRO^l_i$DuzRPoiZjqYo@B@1j9osf->Ni5H{~f_B!ylswe#)wwn%O>tAm&#%$F>XR(aB z$4~=a(wotBE-gD9v(=bovT0@tvvE?_`bEn8}L} z@1JVeo`dmzZF_oQclS8HI@n2RCOi3FEM4Nb``!u)PhH{rvz3c`S^N7LRAJ$V)951h z^x@U?dDeY+A!I-A@QuI#E~1uZrj!KzyRNCQ}ROM>#(dN!nWr0=16ExKYvH9fyvsYhZ`lT9y3`tl~t7($>KC zo=8->8`#woFg(n7GMU;Ozds3GZev*=9-&K^^;EJ_-{_cqsxJk}7Ju}-@=hbW{?YH0 z(~Zpbaf9-CBRl(X3MCHfCpi=zmFG^k(~0bncAH=Nel5X0&^=_pc1KBjM3k|pS_5lg zVg<6+pH0S)-5Rn>MQ#Ifs5i1Df||UuaOCgm!6;x$CN&u|Yc;nR;kKoM#&}mC65*v9 zodct~2F<8Q7;ysy$kwPqP)P$cN;zM#qE@&+rcs{`p`Tb_ zGz9dr^PwcVk1DoCp(XLV^aNU~c+1Q@Y`oo%+MGTq^i}FDlk*7YH2xR!;Rl5{B*dVtGpHBjWt>6h(oCK=1BePis5_-nQ zjhS>P3^k9-q=}U9f=oJzR`G*Eba4784YbHL3YQ}Cg_!!JFNx%_f|h$vN%w=W3egc? zJ`d>Fn9sEVh(R9KW$-qT^G7vYx=n`Snkqgdl)v^UjkZL&ErfGaYaNN=H$|gk-Ds%a z;in_Bc-Uh!5birei216p%y%?rmBbdY+ z1)bzZkB1dV(6e|K(8aUd=o+N=A+9zF&DH}h5|+5o#Loj3L=mnY?T2A91I34qUbxW2 zuK@A$VX9%VhQhfOi8`C>?F7T}D+0B-;rWQ4bi-Q^Kjns7;XNecTynwr?OD`jz2kxr z@)6orhx54EG%B_(+%=~XqZVr-)V;lbpCJwp_G}t$J?loV^VZzzBX|ddRqjS|?>RKe zk{azAW}EtvNk<;$8FOHq)43gl^^}`ct&bM%yJ&t=L>V088f7+oMbZY^JeN+gq-MC% zpQs<1#5^dNOQV%-C>(c0D7u5?5{%`JkDnFn;7w#dlF z$Ul&t#_d4EGu1c`p0rbo`N?@S)%x~g*I*v~wP3&x%YlB#;WKk+baCO+u4erPXl5O5 z_!EdXuJ}U4 z``0aZ4K+ahoTwuqyb`P|nJZlBBS?GkWs33#3} zx44=OQa?F~2i6W|bRmEF2^t-j?`Ac0uokS<4PS%!=`H*R5j_HT2x`V~iXEc)#qi`s zaOYEb!6IlRi*Hy2rNnmL4xn;&D_8PpDxJgA@<83e`RY7a#?EoR4;5X$Loy!1(MGVw-%T6vccFLLu!G&=3r%dR07J)niyx7`(gAMuNB zcwg}$4|;SU-vHt0bbb(oHED;dcZj-&(~*uHTv<$0m18@3`eI0FIbXFHGOXUk_kpS$ z-NicutZ?Jg5NsA7BSbdO6QY8@EW~zx0)*1~3jg708fE?V71x$(Vnx+7fOKEx6P7@z zbY8Foyo&hlCF0Sm)~stq((wC30xaB$jui2BVHLvZQn0#Ld22@GEwl>Zu}fhd$TA#R zvKDEH??U2@dpO^`6jI6J%@7^L1&Csib-IjF|B#kSCJ)Ppg0zC$^T8NyIv@H|*6Y%^ z217%kd?_D7+qk&^tZn@M0izo}j7(|;-3&RV z-MH*Zo1hdHG2~?3hrWS`ug0oQEe3!KLHtD?whY!cE6)8wben+m4XjN|v9(Ev7xKJi z&|y)$5xnme%j3}d09sY^E}+xC!x}=C^B*EDD^2wU4X*8o`(jlWh2hR2UdEG`L%3|* z9R%Trj_;7J#nSi;y6NKyF%w_XfL*1QSHSrKF1jj*?}l*qUhqliW& zNRL#b`jL0sqNbx8Jiyi!G%8J&VIAoA6!P^ET31d{YjHxBAufv^Ss|=J+?!XffSXQy zR&z^Ks}n*tA}y<(iP+2z#AUU!67f33=kuEo&axbfokZ!=u#EZy}OX9PO_}x!go)Snj!r81nE?sEa-=ElH#zCMx+aQ z0no*=^is<^h|q+zEWNH`)RTzI((4Z5rxBN>*CNC_5XaJs>__|x;#h?ZBa4yv8i}a| z+EBFO2;M?GfXA+c+mUsd6=~xbtusRSJVDF4OxtS`5`;9=9)gy2*>!AmFw!}^8EC7l z%hn?uhxFN1{M(hVs_J;yDp*z1`IuF(NCa^^XqNmLS}IYvx!ZzVGc{K!)+YMWo#&;kMg9vnS*&MBnIA4vvfwZi<12F0jh<}UQ6S>mp$7;PK zw`R3y?}vDGxE9|B@c_het2T_tDkKaExmSxrhX)WZ;`CX#9sHX*2|{`-&}LZVSMpdv zH(b=3drT8#GJ2=;d4iTTD~!DQn}_sPUMXl-LcmQt~;Wp!Pj86{v9O={8V@Vk9 z8sg`;mYu|JAikZ)J`dsMAT1|`0?WMUsvU^S0q{ZG3wI*&Z4iw3L|zHuEVW24!7QSX z4&cp#uEHec{76AMliw7y+?N!h_jIITUs4QoD{fmhA-x#se4e4wxZ#i;w-IRZLh|Bv zpwmtxor&ImQ)z#4-t86Qz^HQfgReJo6!C?;3&It5U@iYOhC8c<>rXl{oE)DHbX&el z8;9X&--Y;Dd=o?fk{J71Zu~YH}+bPr(O-@y&XzKVN6o&Z3_@uu;iV^N PqIWx1=+1{k&xZU5l7YM< diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_0_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv index d234b2bd85073398673344c8459296a5df5997dd..e3b9794ea56e6a5e6d5335310d45b4c21c0bf68c 100755 GIT binary patch delta 12053 zcmai43s@A_**<6Xf*|59$Ys$gu!u?&K~c~UvmoH*Nhum))p!9xqsA!2OB64=i=b$u z1x7h&)GV4N#Fz?hl$cnH1Ql&Ul^C0t#)20_Y6ShGziEx>cV@n0*?s!|o#$EJdEfUt z-#K&U%*;2t6z}lp+Tl?WWZcu2624iKzl7wL4q4{8r>DyHlvV~>pAw7|EgVb@5=aax z=lS&Tu^dpjz*bB zL5&Z9#~nn@q{r;T$Yb<8omCJbEVq z^$`2tKB5mdv_9>e8>{D0QU)Klp#PIMFIy$j{8Sp6q?LI%B$v$1ZSJ-K>v_(^Q#X{uFoHDIvrTV_ikSAB$lMk z8M%g8Qp!+5Q#(nWamc%g#;}&S8iv{3$fk)pSCSMH9^A zhmQT3QcfZ*usx0WQ|(Pkc${2R)FFp^e{S`o)NYP7ZZJpNH<%Mj*O}u(*PCNw)|;af z*P9cjtTo4Htu@Eytp$HA_-oAZm21qgHEW=q4L(=nbiC8wg>)L~M$i=9f}ws<<;AB; zbvoVky{Dhh$$mZU!E#TFKCbBRQ~G*8n4-qd9~{{(d)tHkti8IPS0!CYIH#TV z8M&&#=cVm(Kmhrs>`1x%P+#Z2ucWR>SE{}K_R60^ddOOfKGgA3AES0#V<)i*+G&^@5+374=sp+-%`c&N$=wOiS?@zudJ-AbTpsVY(w@2N*T3JUdetL_3_Jl1H zlIAyWq7&hW&Gt!to_6{_!$@6>!|3^`XDq$0UG!jMxF=bkv3QfN;7E~wlUzQKw3Y8j z%HC2g>GZmS-+Vx%?61m6>9)?Uxz;B~c6N6C{L{$VOT_s`o6pFv+k8&KV04L{U2i{* zDtt?)CD#jg{$pBE#3tylU)~>S3QRjcZRU+|$~3Wb!^T+qdd(QRe&ZPXI?Y(RZsS<{ zTFtX`?Z#*A`I-cpzcInSM)Mq9v++6mYTmZMmT0u6gth2zL>79(qLONF!E&ng7%%Vf z3GS2P_@=7BHal->S6l}rlOJiuY)z8S`xHn3X}t$?Slv59+MFaidQbG){Jl9A8gAbF zy?noSgs;bK$)A?C{~eYbwHZ!p)Wcd(&B9E3m~~ zrlfWtEPOpbvXq`QWf{4U>Z%U(mGyqdB#+z9lYW;epj_@h&Wp#NewojNeAPcp@{E(E zfE>xgA}Q+K9QjEt&VKIksuM!cVj%Ieq(;Nj&=9{xO>BCAXbd`o~g9bK7YMnHtKE zDkpJ;R`Q5*UP+1Q!H-T#TgvU%(=vUyeQDMzCG3R_D|Fnh-}pL*(S=Jmyi=IWp`-9k zZ(SqIC)}0b&ebRv6wQ%5n&fL7&d5od21}dI$V)c87;{LQ3=3r4PruIgctEaYCgtqU z(Pb6bHojMw^8L5hGW*pDMVXCS$lbMx>6KP>@~L9K1ot><3~P^o3!oNmrBOxtJ7y)8 zto=_t$ba2Du&?4f^8bH7bIpJBXBC^(_O`tL=c?wW&H$pp4MUI%j7Bcdf?Qxaa)Fu1Ir9EVE(!u|$OV=l7wAAPuo}6*I^+T` zAQ#wz98l?>bfF-Sz)fG-5Djh^f?QxUa)B1)0@INT%tW4f87gAF<)R?ahFo9?a)A!y z0;`b=tV1sF0&;;Z$Xl$q)8&TbFE|5;1~&{rE-)IoKnrq#>Bt3UBDad2ToeS_kP9q9 zF3^EoU^Q}qb;t!?KrXOFyQh)fLve;=Y0JuJAhpnAdq~6Gk|Dt!w}>Gqmc`=AQza9 zTwo?}<@)10e9Lu18*+gq$OSr(3#>*iunxJv3&;hwe1q3N>?i~1azkQOhk?V#w3G z8-^ek7>!(@1-Za<!HJP zHPy={A67_%zjH?ZekP@NokfQw4#m}BR2oq!AF2tHGAiW@H5OX#G#&x3T;6bWfODjC z0+nL-JJ)?g6|^3mPieFB<}n`*Kh&mEpQHn7Uxprpc&(DB9*_62ywgou;jB2`N@W<%*LFXp{5jlQ4uPr&O0q z=@WVRsfYB5b8&qdjl2K8n%d(N_^z<(Ad;i7Fn6HS`_B>~QeXHpbPC8c7>cQ4x$`r# z6mn4R(-1~?$Z-wNO6ecSD;koAv>(D0v*BxlPd-HQM@Zf*oG1{79+q1hf@!_{xWOz1 zd?<&W4x{_z;0`u8aDZIw{>RFi9@EUn(;~6QkMjm~xzhtSAr=1%oW!A{$=fYraj-N}U zyPf|$2NS+q_WIKwX`6ihPl-~*5ofQ@dr?5S-xnLC=p*u;FJh&MN95)&s-UiGuVv%FGO z_9@D{pv3O)u3Y}v;MI)EV;uwq?9@|(XH%6L6wRCM98IIWo}d!ZLkZdhLE$xO&?+V9 z7%00@c~eo^K#9O{PUQ*Y~{S_->F&-lT%f_%$7F8twM_GDnHllF_UZ zvYL|IZ20~YHZ93v7r~};7@ZEVL;=$hx8OAxyqd-ED2Ezcr3P2I1#iOOk60-Lo4VX= z8SN|V6t~a2+3FJ0l1pkIj|7CyfZ%EUmBwNQ$SKTK#-?z4otv$`FKEdUW(Qldsy~H= z>!;C@4puXR{+4#I#F=#Xh^H@rn0EueGGS_jF1q^?^^gH<|4bT1@3V{0oIYmsWq?&I z=4F_hO>7b{(?=odNVVAbpt7SSFewma`WWqgX#2w5ig)=jJH_owXs4mQ675Uu9@y5f zP}k&_(H1(kBG14*lrO9ZjE}_GOXffFbkjxrF4WV*Fc6KqsE3;s{bdnP#={+(C$gx< zQ@sN9Bscwg)RW!xBzSP~JTuMg+ANsaTxOh21ErvF7CDvU&eKU2GY1;gu}PfOvo!#wp`HB*U<#P&ny;z1I+g;Km`R6cNwZYD zKOWTt<%cva5jx6b59%QpFZ6q;=eX&q@EZW1$G@_RnJ~gT>^AgfnxozdL}QZXt48f( zF_7(nY=(e??-N0xL*e~R} z+9gmD@e{R<#efZ~a8eE(E_tnG`8hC$$JqNoO+UQp+GwtFx6qPub`NZLVujA9fs?$p zyGAYeg__#OP5%`2d2YHvS%g}6IN9ez)+$!R;XG@F=-u37e&)v&9q^c5I^9Av5=IlN# za@B95p5dmC;y)0=qT0diuR`|ESq+DeS?jAXl&O2!KVGG&Qo=r#v;>B5hvhASzJuOo z`+-Vh-)7BR&S&&BXmp9iaQK>Kad^T?0VH1stA7n*$2r)2K)CaTE``jQH`v&vKH~}t z`aU$idaARn%iw__>SEC@2mNMt5z_LrlM9_dt(QyZnnZmpf@KVbqt1mJqNtUHeI9Kn zQ?KMgU!rmr{(AIxv(P+fE{auQZ$=vm$i;ckT$HWC{}uYHSxp|DU=shbA?)nuU=L<< z4>P_FH_+*yxh{>ZimfLT-SoYR4!;+=>D8#a$NNBS=?hCqbf1d-`-5&EP;F57dk}LxkGbzNx*TjRuKIYir=wlQVz~VX>%;rl$1=1# zSk`iwA5ry!s%#Bt!-Jc*7PToa_xX0`seO;ztFX>e9;aaci1sEHx&rLS_{%`P(iUbU zju0c%@n5qkU|U1bZbo~UV*8N6H`K8zMGbhPLFbcs1s|QFw*=J1^Vx!VCZoO&AI0Lo zZC*s(Yps(18FC04%m%|qdXs3kj$g+HaFP42q)}O-Lb`(OWb`BWD+X+7N`XtrTd0dF zW(m&yJE#}DtO_=z6(Jv@evDPFglQAiN;29FXv3=pxBrSoi`4Ue!I=DI#WoU)TeIbg zZXoe)`c_5vBE{?;?@c^2lu8p)9s--6X?Qfh0rtt^>R54F$vL#^*c7m>9k?DA;$T|Q z7Dba%rh(UvdJYy-Z5V$abx}n^0-hhi&luk>qu`dQSGUIAE z1gw^EsCb4Xs4ommsN6G6ippyPer?dT?AWtA)j@u zhFj!1ES|(o$ckb0EM^Vd0!r}qBQCe2Xt%S{HPFdEe6EXgbRO+0c4`eg3l6e-JnB4N zYa?(d4>4*F3(W`n>rNH6jzc>rT+J#j z@NuY%_nivWCX-MUToE^0S)o4DfGXfF5Wf8xw(n@Ogt$s)bmezp_%};0cvAC={X8pO2Pe6)MD>fYT{zm})p9WEQK*X=R;Me*p&5f7wr}yYt3Xa;{6sZA zl88iqRvP$`bhjtkx7eVGowC9@xr+UZRrvtzse9E9#I5?VlCBS#j_Je+m!P2J7sVYG zYJ+p|0-ndMcsN05k9}KBXF+`c>R+QCf%+iSeI082P}HMPALpjWqW(n9!)oDQQcRaH zsTgAt1}$c-Fh*0oTaHs`=hqtT^e-0rCcAwKUV23-EdHt5!G_e+;a;Mmwj5yd>gi}N zQAtlc!1e?86&1Sp-{>lD)=^KRyu{6V`T-X986E9u!>5>yWqn5DJd2SQvr10IGp>ZS za$13I1q*EeDhhB1%i>hjpAJ^Zsi+F!+h6p4pStGyR4KDP7-}ooS@O@SRdCgwPTedJdqPWpRL+;ZVw2&(T5u E0;o|?`v3p{ delta 11790 zcmai43s_ZE+FomO&fy{=2T%@Z%Eb#ZcDUr_h@@bM;L~qmW=KjXgvb~Ise@(##(m0! zg)XErrN%*X9OYD)I*N=a^81@u8JfQ%h)QOHmBut>|F`!3mcu#IKeM0b@SgX5zxA!P z*V>nF??Yd;V_CK1CX=yxI3;3>QvVX-R5^a7bM+vNRafrt&VN8KQnrZUT98EIu5ppi z0H2OJjdwI_JxDZZG6@=tU+miTVY|L_YC8wgcaBBSu>t=%AKO6ZQj4{nE>rSLA}Og4 z(>`kkd>7ip0sQ7vO7~nLllubp!A#79Pb_@o07RTCa-r4X0E9kp`o(uY>q5s*9fm4KLM9J5(-SyE&2@yL?`9KRPv=MHl>AWl-Ok>&ug}~#cXh!p zN&iUx!IRPg_!LgjQ_+QAuX|JoouyBoFvz^6>{z8IcsfTJ zrsNlYo$#jf-2|qKGWc)**~_SVy|tH+V5@$TgXj6X4x2YOY_=AUaTxse)p`2+&|wf8 zI+R?f+`XCI)i(`(+o|bJqc+UvgP5K~i2*F0T|T=omd5qEUkRjhz8g=P{0MU?^zj^2 z=)(r}%~0c=TgHTKH|mB@tB9egWWM98K|1pD{Nxh-hKAyyXV{i8npl$(^y z>35jw63NU%HYflMLxKcc8ZuUKjAT0ZI2XqofuW9%vQozzY=Qe&kJ2t>D6Q=IdP9Lo z>F`l$7u)D=i8X|<;+9ZPz5et{61vj$`DmlCMgOd{)D&ElT67myEG5V_L+GFdrWW5N z0mZPI<6KvuW@fI&2?0eW!}nuv&FPujJ?~26bxMr0S?O%Oe=IDvz9k^=gL{!I$vD|` z^E@lxbKn)k!y42^ccPm=o@=$ zZg+6`=O-IKgMk$3LRhxP@yVr;u!oM3*H-^<&AOprL&22ulr)ZkqtPJtOs}W2R+6)^ zw(7M(EYtHNrL@Z$;B}q?vLA;|cMrv9lZg>-Q zuU;Qq#bN9f?>qth-UmD!yWDToe08<^-nU|UUj5KNk}IYV8Yhe$~HU=5J8@FJN~{J;jKi$3@zR*8EzFf88yI4@It8&RpR-yog~r$%||V%VW_pJ9$6o{l=RaDgznH-GUFgmHQgn3DZ;bv*|f>ScyYK^FYFwtp&Lth*W012ld>Ij zXui{@nkvzRTw)M%i5BD%pkW1`A zF0miEhWSu|!(~Qn5>3b@1|gSdK`t>4xx_@|5;KrX%tNjs^iRrAkXVCUVm)$+2aro_ zMJ}-exx^mi68n)06#WyY&v6D2O?DWBT%rZJ#5m*<6Ol{IKrS&4IiT7?F0mE4#17;Vdyq@)N8bNA)Qsv3z};jZnvhEjLN3vQTw)w@iHXQ1W+0cChdeJI zzm(Zw4RVR~$R!>?F0mE4#17;Vdyq@)N1iXgIDLULfM~MAAmkD)$R)-hmzaoLVg_=F zc^c0r_=S{VfW#W)66=vmJb+wcD{_e)$R+k5m)NgzIR3ORa29mn3?Q29FbKIs3v!8Z z$R#EsmzaTEVxHjQ_*cIGmSKRz8srk|kxM*)Tw*J7i58V9B65it$R*}o!1Euzr~@do!y4og>yb-5fLvlLa)}+tCH5ef*na`f z|9&)_F5(Ozn(QzLxkL+ciE+p!CL))Zfm~un=Wp-GDTw*C&*Li?W12{gLgXZrtxAb*kFCNol%d zt=gMJX@&KhKPv+I_61Po%y#D05TNvJXO@O28g51$``<_D1{QugT4~;IU442m1!P74^NMnMKhvF=sC4gV5oh)(-|lC(&dj1- z*6>f3QtHJvpKYg!Y*~ANdvb#|!gpbR$A z^Aj|LW^T@>Pte-UpU@B(<`xRZWFA6+HSgysf_gQ+L8+roso2ixOd7?rqNoRVi=wj| z!whtjqJ;0T*B3d{uNCO#SM+TPFBn4Om8`k}=8-XUQsX>#`jaQkYC-n({VJMw+lEcV3hOYFdupF z$>RP`)8}X=FMJxzTE6RP`h-aSs?Jpr;gH4H^$k)MIBSJhNKp{HfHbO>fj(AF-WH5>1m5|P- zr`gtC1@E?~;z~mKv1ef6%>0gsGTSAAS7xy3NCfv!1bdO4osISao&YvYlTavvv+aVl zOSF#EXi?iGbc*0TcEPV<<{oZb2=+NU`yI5Kc{JGcw3e$+1)n~<;6oU!@Es!8bbNl2 z6WEG&5N{W@$Br#eD-vC@(`!(_Y^Q&N`V~8UCfsa9o_jVrU$B@4___w#_IVd$ zKM3Sii>W!R$!u^-PahkWtwzoIo&AC{wGM=ym2J_=$TYIjDW=HU?!j4V0wH-V)JDqoe4JVXw zDfL#atl+^*X{>MC3ft)4cxln#S1g5vS;IeGN<;EXUa$>|7^;Qcw$tB0on+a@ccXsY zPM@k?7IftDO56C2sK;v8PrfXb8h!dTB6?Ogi?;wBN#m8NaNP;!yHa8QO{;8EJ*xgH zs3YP04n+B6uC}#rpgn^7r-5DZJ6pTbN9$t^PXIeUWv#6}4Qd-PgdRJ66Y8dQw(-|c zPv-m6;FiC09q&qmS)Rv@&%@em;?d8;j)e1tz?NjaZrj%Qkk;2uJ3Srs-FEsR)bHEr z?&@KxBa!?o(P<3#Nr!1mf5W!7fKgg+X?zLT%B@YjDjh~z&5r@4Blw+k>TOJ{vTbyO z(`D2mr=7%=4RWl+3N2`;tcMD zFuIQaeHq+%itM7E7_B9{Xs5r2diQ3YlmXcz@VP)li*4Z;@mEJ;_>K(N^EBR`0i9&= zuQKRtW$zXqzMPtso-KUoavDo>`L5+KTl+Y_DCC=*yJW(w1@ozya23p~u^qVMcrA5( z4c`D^%I+H8Ah5fJcZp`Bx$(EqrI|+qDBHL4+}~1je8*PXESr9#WjRu7t6xLC&rY8t zevyM63gusk>>1o=1&nR}TehuZAJ(F7zr~lXps`BF+kE#57*iR)0O869+qlaMFx2zg zcmyCF#+SbU$+G!Y0ju~a0k!<^0LtEXcyJcPUVMiq0s0!Y+ji9!ChD-Er2i_f10OE) z?OD*eg431ajKt`AF&@}fPlL<3q9YYNY$Zg6^CcoGe212En-)a=7o);?B}9dvMH^l6 zKH5^3%|3si^KVzeP@s0rR#$s!Hk>1w^|k{)|EM+;C~dQ$!mZ_f_Pnln(}I7*9`4}7txZ^xtFg7Jx{n^Dh2Jri{-aXqx(oWWd)MhQRl zB21x~8&|<`lZKUWBsRY!yW`Qqb_&%-6N>hCXnXJ+VFzHTXGZ%z+BJL!*zwtywbmvF z%^xvEo4>wxb{*7#F2&MYv!~NG%Z(muSm7$%4 zcF$TqZ!KI!O}r4o;0CjGEnEVEcqcHQqNlZ?nDGIx2^&Rl<2neA;p5j0D69Q2^*0!m z&T}B@!9z!Yzve3u+8n~dfgN9yto0G@rr9R6W%)e}vj(7Un1^FR{bAHyIeiJzeGsVG zu4qq3TRxr1IwKx+`E(YJ@lT;%!IwZfAN+qfVnTZ<*haX7m+?wrH(k7(#Q{iY*w{o;)Ju3eBM{HH7%X)OWCX-s!Bf0;2I7;zxn0$uzF0|#-u=?5$y#1)l zr(tIyK1rZV`#_l9I)d%-qz-PAKLGseQT4Z*Q0Jly}DA<I z^$gywro)@%b!>JGZCQ}7Lj7yhM`OIa8Gna*Fb{hLmP$T};E6*Fa1|E2-i6vB^Y&hF)1=&E*deF#L$Hl- zdob}%u;aVYUVyDXQEgAsV|Ro360^!@AoW!dw7H4;Iv!mBD|7oTZKiKxx}Vf^UZfAx z$rV$e(i1CIwoQwlfbq_#_u$G@pl(9_JjO?%J__|!+G|Jt1^lZ>{9cU^nbeFy7wz>*2M`LDw6gZaF_QnQP^ME2G33W#%-g@TEn`YWB{ zEN|<6-1#`rAiT>5@pwT)k%sbeLFIdE3qK{Otokh6xdo^!*DO3h?fh9VXK9X9|rm>{Unt#tddo1_1T{&x=yU+fD2ln>esky#iXe!??L_7}<`RT&N{1>{J2Sg1Iu-)b*fk2{cOFIM&<}ST3*1zwTn~&vy08J@}k1 z=_$r1bg@R$#a)S}(Do6XoRv;2yCH7&8Z@Z0HdB|A$V-YET(N?6u58<<4L3L&;m?^U zH{KLsp63hwI4`!unbufhiq}}iR25i8hOD;4#jdu*B(AoMNnK?bnYGFim$wS}RmiWj zjI3E{iK}0U<%;n9dW4Z(r60{#m5wgX*N@@(rDKX$ z>YwE+OP?)XA zgy%xSVnmMb(;-1Fe-FPi`S#S#wDyLZoS7zybrG&16L6S}En$|!4-&*7-{E~f`IA_` z{;Hq*xoe_q*NxpuFr?a)XdH~ncrn5BERPXorYG?(4w?datT=0Gc_u-uyX7|K#;gCh zVJj&rDH?H^vxdRgA1*F<2RB@J(qeXDf+O1EB~JEk;GMR7zdv%`DboDMx}$jRbMkh@ zc7F>WDo*&%<)cMdz(iArxE09k4d2lJmSz8*cu^4WBr56xp60{E<$#s=n-X};)aiR` z>o*;p5B?@^zVt&^s|f0QgAc7X7oxbxJd6*s9X6Y}u|xk6a+iWe1&-E7c(T#16S*b$ z4*O{BoZsw=(>GLhh|qq*Ja*2qo6K_jW`e9)f5b)ekKRnMeb!ItuxZ%?hw%>EmVwXU z9oWtf`eg{3;KWxAe5h?pQiL1c)`_1lMl5=2mN%MBFT5rdZfjmOBDJP;DgOSg^cDQg zEK9=QJ!Knuox<+BA*WLLDUneAB0neI!QUqFs63LN6i=+3&aGn2+Q7iXzkYQ+vw!2b zoZ1{?mNsol8*tj}U%Sn0#kb9}e?2$H^?Pq4-6(YipMD7LPP!0X0; zUsqR1xNpT^gcI!7Gb$`HSkZqEh5-tZWy}9tRsY#M{fFy1ONzKD^mao8zT(30`DhpG z&K&b|Z9e95C%kjm`dijH8*VYb^iftnL-VoX@%=N)4IzdS=(rR1W5XFN(=2DXYpkEE zAx5hG(mh65=lmLr7z{CD-1va)VY{x6T^ms>~{AR!a>#*`$Ot@uw zEyY*5zF}?RM=+=F_pCP4a(s`~X4q8SJMwxzE%$03sM&!2npJCno-XP{Q*EGaN)2r zBH_b9w(ky25>nK^p<#jS!`|@?tS-wR{pQJ?EBVuIv`tq^!2Euk$-4JQGhs&qKZ1LSd6{cgCAo&juH~?CPi;d z;J)r{2Q|@hDSBf$BGc+Mq|%P;L8P6KG&^z`k)hP^W{EVoaDH2_tJ?uJz4+S=8;rbC z$5R@1^x`A+kk*U;oZppBv0hhMDgWYYJIq&53gu=&%*n0-O;)p)XxU<&&|5F zgA&@-@WEKVS9Z7btgvt__i3n0kUE`5$olf9^Kjk{HPiW6 z95=W=oloFzLF5cRkza?r89Z>3dKY0x`|&mYa^}TmwrPE+{WA6!J8ooZSE;EP>x}{( zGq3=-h~b82Qn47~@%@Y8T$tM_6-XndV;0SIo-Cyef}Z2i=HX7Sz}a@WfenYO=Xjub zoD+?iIvxg=164@#+0Z1-Lc1|9bP}&5@d~&vRXa3sohGhx60arkVMv{c72k8B1<|cg zEa^|2Xl+s%*q2%z-O5};@vta*-BZ`FCW%}C@vSRMKZHc2gC0527F<^(-Nyn;UceiVvN%S+O#CG{ z_5vSbZgZm7yKBXl1D}O+sSeDuP~{Tt7-W-&rfP>Qq;=7eP(6!B^A*q}3+2NVM0o+Y z&&H8?G{muNy{A?-JO{GV3%l!xlX|SHH%L) z-(KigrDq>4*dwUN(tI;qlV%r~vhn@pxyVtR>#vCiI^ivZ8x}k2g90@DL&(E$lXG$% z>1Lt>@*Htgpg%(wkQ}(r1WX164@Jy5u|3d6==t(HQQ8pC-HjuFSz6Z3g!oG`TPeP0)c##~@bw zvyUy`03|s%q?J&ggH37P;3%6oK&$I4Tthmj|3*jpKG7K)q4!*jk`0M-vCcBcn~U?K z1lFUc^QeN4BzXwFLDw8#?HFTeuvW!#h@Hm+3tOG&0U;Wlti7wHV?UM$;sUH|3FIx{fjZB(;q?XB z%m;8$qI-ZZL~{vZrTIH#q0z;?3)Ks;i0$+^L?}B+Twn62)N|i*aO2|T5j*Jvn!265&i)NMgD)BNB zV<+UI7&E?H6t}_4=mn|#SBYnn7!$%nx!4J~uu641{2${%8}I+*pr0Mq~+e8*dP~2cr)Z-IP>ieEu1~^Li(3PUxJ!td`PUy zty(GSGNRil=bCCydl@Sr`~vV-G3uD-wWvi@Y$MUR5R3GrR-(rfy_;y2?yMmEL&CRE z8l>*Ik?=iGh2aX-Vp&VYT8U1f)o~2rw+N4p)LJ*$p35?JA8`|NV^4fRT}z$u$c|$& zMRQm6kq^#B6LV)HwPB0GqS_H^C%o8E>eMF)A7jT&tQ%67hlG5+JjlOc#p%C zA})tkEjjkQ7DH|z9FqVHXI?=$EDZ(QOLRV5L%MJmO_-OcF(-*uxf|Y}{WwRs%H3`f z{srMGck3qn3gHhar&IAe2&ZHYUV9BEwaVZYQsM7NR01`xVUHv))q4Ie(e9(PJ68!@ zkVdoKgsTJ&qu38K;T6DFV2`K-ZV}NDMAt#Aq*VgUIST3>s<07e+4ciDq&Oa zzD$x8K+_6*mn1ul))t~`A!H?1qS6R8X#0rHhSZg~X5>IIswS1u(>auy@<&pseMe}B zMsyIqB30{&0Mg$f{0Ll=;Z*XjXnnlak6~$AG4(?7CS2{m>L^@a!Y@H$KHh`ce{H4i zk0N?GXo@jkJ7@)L*yz68?0YQkxY3$P03 z@k0`+XYDA79zhef(cH)4I6Rk$J`49HokqiuLf@GGLUb8~6d+x)Nh@7JEyKTw*`I&h znMqouw`xWWAbJTDOFEnGS8cfyh<*U|lJ=<5f~%q4O!OhRCh4`5H{PMTcRns{T8%@k z()MLUpC@`8t;4EKUlN{7Q^rdAtAyjKBg5&an4<3y?dDYM2g1)&(vAIPKXmv?mv2T) zuVpw)ukEm+{fSn47qtL{5x$%@Ejbh}nsD58ufe`hdlxkhGwcAhBLcR&%aK^ejxhq za81(H?`l!QiFU(uQ;yqtFcl%)O|*TFf)anCk3u5SlQ$Br>b4NAwiz=iY9!$WwEa-w zY6*{fx1qL(pRnStIje~edHi2M>VJJQpax-g^>MWut~Bux9*f7&3 zEHC|b$`;TMYDQmWZ0Ki5Uu6^MZfh-W2I!K&S)fsjyZv5W_~l%tbNbg#=X-wbAG>b*4_XAf33C8 z-us-h&Vf$hQY2iq3^G*?=1gw!wj*Oj6(g3pRrb?cl@+!AGwwG?sXQ2vi?UvNTgG$7 zy}C|sSGVaIlpUnQ>=|L={sS9G)zG1<8ahNA4-fwD&c*y!+TH!4mit++@o8FN;zOL} zMC<#QKEEZ_JLyMmPb_DPh(CzG^Xd0Yv|~{F-*%P5!4}$*pBkelx;}xk2^d_q)$ZWH zI{S3$E^7Po+C;s5q7NRFXs_w3&xu~FlYKkzMa+-MCB8k5Gl|Vooy4{bascfC>`XfD zNz^IX0jbmabh4B>FiX@LCl#{!oNbw_@3(V){4KG!`n2DehvQA!!}vRde*2-FgWCVL zs~irt@P2YhoX+CxI_?gl|F<33r-RaG1NoNr!3_)lQ@lcZQg*=Ap#!-XOkxF@y4IC~ zpUdWKAMT#GYq+ZpNZkn>A$1aSr~?uo?XU$|XSjUqD-_Dq~ zv3g79Z1->or|Vj%3_BrH8ec_U}qC zg>+8*g0mM>OFt7|_Z!A93r~+Byi-JaoGMJnTlZbvH+y>i_|=D3JGwG{nE8KmzVqh1 z2>0TNMvhT;2laTdkv!SBAhKUn)rQszqtV#)`}TkG0zA~OKBMEVVRcVWN+tq zXK}}ujeX)1PwTU1JukfE4SsBfm;m0-xwO3eN@Yu#vBJ>xYWv@Vn73Q8xu=k^2<&CJ z@bzUED)w#@-x^!`|K7F5Wa#n^`$6x({0D@Q#mmsMQ@vf|or_b7Q+vERgNuLh%?Q>K z#)NyZ*}GrwBQ~{r`|#+R3d6hoR`TqUFk^N63+Xf08A}e7^=}hZ!`Zp2%EavQZf0~g zmSlg@%|yJXU;6a2xOF{VEraL3zhXFR8S6YgK~HQ9x?I-d6(7Kp%jUO^kE%G5J9Ong zbLK2OvT*34d-*e;KlJ9=wk9`JZZ;)o5) zF8h{+l;Jc*cq}2zB93`I80_PGJN(9!Yg50N-r3a6nJE=B^WYSmKx6yR(6{cy2p`jg zL3=yI#)ap+-Cp~%C@uYLw+jhIhHMw zST=rgyy+}bozkB}FAg6VGwhG#po#vooGlJLAdA*y$8| zbhnEL^KRmot$*?Ul;fIx%l8pC6ep+25fFd(4dsy{2=8Fy#X7%K(kx)(-j-b@R-Hc)VgB z%OAA*1(><<=!vDquTS?J;J z7@6AX9cR6Lusg;&I#6iXx1&SH@=MmcL&xJOSfhd-3r16tu*$$At#^|nT=BeurY=Kl z%hW7SG`D6wCl!kdRvD4%d~pRH(@TGi$F|aBJi3-`?)M&!-mwvvlmDOC%r!sB=5H8|J*(N^&nJn48$xBAqMz;q zW=WBKc=o5_{QFrsy}kZ&Nf9@NTx*KpY+@K*X`NzyYO}XXlE~WVJvynmI4Ll*%n)oS zfvy{2KQtXj)lqqcxQz66F<8cKyc+L4BQ`$!H&>ar!C(=)HjXe_@cJ2H?btZQNlX3A zI&^b?C+v3QmLWsp#+F@W!Zox13cO7_HLaU;2(kx#%jz;i5ATVyF4(el;7GkBZ=({!g9g&{<{AQ(M_<)K>N`wUu@KSoc?U5Vg@-$L`$i!hen> z+A#6t>n(1qN|#zh@V?{TkAAMV?vky)!Uf;|rfA^KqG5kEFS1U4<0;Nlth?XTq^WNR z;e3<$Q)8&MuSWDX#%o{KSjQaT9Ibfu?V;Aktf`!rTYvW!%FC^D%qa*xY(4evD$ZR+;(N2TeS1Xh zdudw79&!7*2lBcpHD;sMi|NR;>n|NTK!&8c{J&P z_k>F~5Df*1caex5x37;&%H4 z&+<2P_rKwT+$%-I9LweI;&p*NV+2 zj`I@n_{m|sTC6(xh<30+ymK-{>u3-cPsVGv8mxhT?9b7Pk$*bE9~RgDl)wwDk*9DL z3dE!j3i$@{?g!(wnnrQ!g9h!5MzQO|WbJgL^{WrFI9f6F^l9!RhMfr+5O6^6-%cDH z=DWx`?M!%-TS|=%*5jh`7gaxaxqVH@D>md9BIUKZMn~@a;N@ohIn0gqm<2 zUUSk?YJhw2-#7iu$jdccvQ5~U=mZD)@&DoF?|ATHC(TkPB~QW@Badj(ytu)Khc~%| z@xffnsP9AV9L_&7Yik=M^m0@Gc)nK-xNOD4sYm#LCf7t>uknJW#w324yQ|(fg+glr zkCEY{n{KD@CH;8{WTo>6>3(fIJPn%>v8@oz7`s>CG%W- z9Hj-oGx#GoW007^Q+Oq8%;2f~BAm(K{*%=m2q(_AeTGNQ`m?*2^r6y^jD2OpjZD26 z>S|osDA1UJc|!CP+sX#jMI99@3^I*M~ApZ#-WsY*V@y)Tx z4J-;;F|0YxfyQbZHv^jmH<8Bk4t^3%j?I{J9K>r#oC|4ERjrF_ba9P?cpZuNK_iOI z*Bod;bO(Gc={5&izYYxSl%AtknS>eKf9&}oHfI_c##$-XJqP>*;kSoyT$J8U29^l5 zGx%?LB1F&Rqxd|?nu)p9GegCDOJ009Caa-Bs-{4zH0f{?O~8l4>~n`2bn)e35cd?0 zzekYH+hC-AL%atRKZUuxhz^uqxP3#k7c@#blIW>A%QEmjCA$&{pG!L5A$Swf`Cyub zbOF&8>f&&D2S)D#NRV`WuzlA*B6=<4NxC}3o?e5uTj{+WYLO1u;XsGt14YsYLZD+7 zp7;p|{v7eSV4lrKnb(HeN8jkCyZb=aY+OqzututOVTsyz+v2XP3ZNBf?bHKsYc`MK zeh@qdod!Yd9GsZ|ScoQI$0&Q>Mi1Th=qNZa2RnG%fnU&Hzu+R_`#E?S`$587j2Q_t z=3=I{G}ttkM`^uja0o5lWd4e9z|tA^Io=$g=eRf%#$=*wCS+yeP|keHUiO0RE0JwQ zAq}fD@qQVB@1=75#z8A$JP9sjVuE*O+k1{0sH^VGhL9{wpg~#|szYF577kasesxQU zZQJgxpVAI!%;Kr$bxZ7ndH6_`f$ad(JRG+%kRVMW-i*tQ-@nHwNo$$J) z_WA%nUB4a9V7Mt-u04H}=(ikjv%l^ZlxMGBN_h8j7?aJTqR+0d=ZD(9s2SMTEA8F8bh9Z$O0wmd9Vg6g0I@kZ zqVr&(G@kG>nt)%H+vkY4UHjPca=4O%Q)&UzeC*1+&Gxd?A$qO_kbrc+AqV;<(RVk) z^7$BrLG66Z83Jce&4b{t*wX5^K)?bdr@`a}xLnRx*r!+#q^IzKiUr)iaP?MudPuNN zcRS$A316z;!==c!9Vh&X10EP6X#-2Iw2z-hc$JPr#M68PK7iAn#?gq}X0Lt0_Kn8C zCP4Aic$)Fhh^l}p2US^^o~dRVTzMKV`8y7L+;E*|Fya{;k07eeB`CKZqAig34BinI zK{KkfT~%=X8GPJFLG(gQy#%t*XnO#*F2ox|H$WR&?Dx%uIPf{(wg^QFAQp{QQw@t2 zp{TPOwo7}x8vclu&w}rfHdnrEf0B9lA|nSX9}*Vh+3nkIPy5MFT1em64$Bu~lrX4W zjJdqv463!gJK*|aTU8Rh1kohOk|q}_q}d9sXta)3;MNlKjD+A{BRU$=q{)C{X%<1F zG*$39nt--f?UTPAE$a_ocCZU9OEE+M%vg%2plVauGr3Kjgm)m#z*3-gDGo;pG^1*a zs#kRlV=s_O;ja*Jods1V-i-cdMdM}F7d`5UW;rWDrgSZI?ZM0suL+VOyGOr%0_q~He zo)e|WlNCYUN*s|f^k`K%hafEnQWXL5LNv5NpwND-pQ%9vX`;7gfE4xRT%Z+Or0(wx0i_agbJi5uclHbiRj%# zA0~V?;cpW@Zk8TSopTG}NpKUx6{?429l2d3`fGZKK1BFc!cRS*hnr%nWf{APxQV$k z^<_tX_K@2@ZTLV|<1j`8a5b8k8#{l=7RQ3F`W9j%`m-m=;Q_)Qvf(CH4UNy@>2Gm} zx7bFzvrawU{ctZLE~i#Ka%^=ihTKdz76H%UVEfVPq^V$gi5>(ANEas3f_a8I(?+za z-E74oawiE_wOcpoKPFt&Zg&a4K=}4$`e>^7U4&CH2cJHNi&|B1OUU^f5(NQYjU&>% zT#xZJ(QdK&nX3XWK&RP2!c_r>QEZ!;@Nme&aQ6$ir9?*%odOk-Rt4O3qQ?>)2(3tK zyVk(P)%YM$1)I9}Ws)oag4f`^iw&p!VMxk z7iuxw{r4}r*)j{!K5#~6OQ9F9IpjSFX?Y!~zfcb%{O2~jKT{tvy=bLAO8O#*ejc+0 z&^j(5w|SJ!0$E5GE}&vo{(VkvD~MJ_?!!9Fo+tb+>0JpgC0xDHo+W$};cMw#RJ~N|&L@$6eN%zt;OrtN$UlAPw#gY!%qEGGy z>X{L10eSu7o0+6ld8<~`5Td={b4jz8bZ_bcdzk1-Fuj0uJq1@&T}kvbNRV{c?{x1Q zlzZoW?>wX@tFnD1(Wi*+q@|(ybe8aL(8I-({x5{%Q%8oYAvZ<$61~U4?R&x(QPGX# zW!p5orOT1Q^11-SEg?5W`x33*UDN|0jBp=%Imw}LQH0~i8w_Vw?=ET{l8DZMR+%lF zI*jkjTCD-%PN3(zlOZ21 helu!5f$+7*;GS%{LhMOwHWWerNmMnLz@d{o{9io~sZ0O> diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_100_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_100_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv index fb1b29196ba47cfbecdfa8accc92a5d709709f4a..9fa74f64c534a18449d296636af4fce3dd419821 100755 GIT binary patch delta 11930 zcmai43s@9KwytVsh5-Q?kf&aQj3N?OL5(7^3alV{6IQ&Kpiu-tCB`5=VgMh!9n2aR zEVR%VgO~>~h6sZJjWIqz(L7cYH;X25eIjAm1#=Ta_%@q+s{53ena#cF?;HO9|Nqpf z>gt;A(>>hS>Da~`%Y9AzhEgK7DD^KPZ53lyJM9~!v3(T>eDWU>jFc^wb1g_Bao4!W zXMm6KpvH}7wH_q;YBK3_!5zDH0oX3!bG4lV3HY2v(4fFy&&P^r0?o8urYn^EBaxJR z7N&iw2kZ+iWdI)%K}kFEAlUE3{WidAi2b#X?86T8)y^X(Y6D1~Ldk1WDG^+L>>7}S z0fSl&0~zRNLwms|572kS*v1Tu|19iT%^Wy@d3FOZPNPI<7bj@3$-qUD0Kfnk%o)H2 z)WiTpTsCqM_bm?KB0Hd;mY=nZl7B7HK1&De3oUQ}AC?aDjXVVQ%W=O1@MDPmwU6w> z4)Y&&E{y3*DM^NpUC{r@U(B$LeUPT{ZwKgWpRtXx&7E&+iUDlEBr@R{&KbA!g^2|>H zXD&LE0F&TT4qCJLj?HxI9lXAfmMPmDcIueE(y+^Mw~;$lIqw;?*X3o`c(?MA*p%?g zgs{Ts!#=HqcjWY762UKA4O>wBQb(phHRcO5mUN=7s- zDtH+4QPW*YL>w#C-(w?PKF;@~w9q`sw8b1+xWybj6FP0pn?`e)(9>al6Y-SLpTn+po0# zi_Y;JROrtJMH#fXWx*kxo-Uxc^v)0p%XiWTs5{QBqsG*(8%0h{G#rgiD7{z;2}ATD zezED!hg{~B_K+K6U^+rVN=6!cNI*zotmgwSVtumJZQ_O&xA{Amw>P=Evtc)TU^wNq zzx-6GzCw5V)#rZ-fas{vFe9UxmlwHOacCF&UVqB<72_$B?zU&f&-qMGqC5>zhQ+f= zXL%Z<3^B_-+uGw^5J+cxx)##^{tY=5R&8>f<}{MtR-XHzc%&=YoV0wazNn#8e~#@Q zMQ-h`j7k6FZlX8nizYT*A=Vc<+$OenxSiZ(E!9W&^#1jyaV0P7b>#MrUHwm%20`vq z!(uRdv3v)!{qJn5sVQk4SQ$#wJy;V>mKiM7&40-2`>xg&6)aveuXjop zC3E^5raI4HJKTyC0FS}J0wM{=YV*n5M6JS=w=FIv(0H&{22 z)8ReKUG|T`;cY?TMU3%EJH&|(o4Q4JtQ^QB~$321*MmM zPXgi81&nrCg<2R}cj8IgW^fv#M_$Wj^s>Iy>$@ z+4se(Y}@RwJ)O4QVkH?Jugic?W;8_^EI|-EjU|{O6-yY~ZVK_Y%*b6cr_=CVU~f=& z!kv(9e?H%I1qM>0o4_uaS|-EPSl)Dsy!-qQcdbPQMFms7prmOOtX_jSvezAH>}ql; z&Q>jTV;4Q%Q!LQJ^9u^d7J5y07V)E!#Z0gouRvwnM0Umuy_}274zCFpIY5N@( zGIXc^)~NLL9mL$&5hVuU@SZ{AM>?XcUku%;DBC01%Hd%SjjQfj_Ya>$mEybBE04?@ zAr3M)dc97uOtkKg4Kj*@J@-VGuqP*^x(T~#(FQfleam{iu(uYk70_S2NjbZ6qWdr|2x-6Nh0rbc<{TG-HSe%_7~JRNmm!VzlvAHdb= z!q}W`!3F?}CDfX;ZH|MoqTSlE-NhktYfQAsaOaSP_Aq0rD~(+Tw};J7hFH?|t%|wv zjhKn0_lR(W?$ER~<~UFH{hrjM3eW0NUg_aU$gQDTA$n=JhTg2c#>b)gCS?bxSAMuw zZW4*{$R#EtmzarMVh(bNWymE~A(vQ-95J6Xqad*jxx{wl5<8Jg>_aZm2-gjp|06ePAGm)MS6VkdHmeaIym z|BN$$=xc|;$OVf2NjM4;~DMlLZExx^gg63dWFtU@la7CE5WKWRomVjFUa?Z_o| zBA3{QT%r+f4`P$(i(Fzb^58F^fE8Of3KHXyOH4*CF%!AO9OM$qkV~vWF0mGQZ9eWa z+hH4WiS5WGb|RP9hg_oZFE|5;zIGUlJYVjFqaZOJxx{4T5;KuY%t0=(47tQAUNUcK=zE*8`onLsBh-z%pQA>W`c66RwcdZ{ zX-XTdPrR!Ln0q9U(muAX-mLf^U{&=|%Ay0-YxR^0{JLQorTy05H7Zo;Kfu0j7;as5 zbQYym)_2}>6L6wwE*)$%?Nk|4laggG43jO}6iYc=`sr`#~N(!BS5yr8&|%GQX~`Xr!z;Y3Lr9Lo!7qG^?K|tQB)r9%&j!*C_T^c#vhdK(mI%fBZ5G)w zb7tLPj9v^6^9Ao9`4I9{NoO30-_~i);C6)&Whnd^n+WOu;tz#e8Ea`V)2~=(i&@Ed zhq<=SQ11Xvd=G`q=(tgkD_U}^~y(ZhPv79kMrpRmj20OidzHQ`^gbySOa_f z(^zGCgOz=nMgiG_KV70l?EIy`!DS8F2oJ&m6R&n_-=&~&w2?jX^LSVdZ0^tFXg|yU zc|5IR@50|o_Sc_(Pg{14r{ihYt|fFl3}II}9Y?!&eF$WF!_i)9&?$}8JT00=@lR(^ z51uuH&T6XA({cqe+UqBb^lu6*v|rHoEBuBVovl>W3^0d}qK`E-45t6|q?JwYn(0ug zwAB8u-vs_Y{b(0Yji%9R_f63KeKAu_Frpt6+TFBZCcPvkq3O{$`n4-<H9HPUYW z)_ghxI^bRNX&l|h!=9wG{A7_Y&bruMRR8M8Ene{?^_iV{T}!0>CFE~lQ=%vG<+K_N ze>@;SAv)qcOh#&scyyq|m1Oh#kj~%ttgZbxynUmJ3rW4s1D}G^HJK+qMSc7x+hu{b zda&t83@;RRhMk>_b_%Zto34^@Qv~PO1#1^>9jVr$Y9&M`LvW*A@OI4H%hw3|nw|YB z+86l&u;~>oSDy+K`|N_>$KX(WoYE$UkkhCq4;K$so(?*4goiDlf22qF=>@Q!FY)^e zpl|sUCY!x2z8Ekk9el(>h-&7E0?zP40RPAUHK~jx{yHuA@c@2tAsy$JhrTL+>oedXH(b{OIx1#QBr~AX5LBt1``O-x&6O--yPtd>4 z-&#b+`*qpb1x{M?B7Pr6Bfg}IA<84jc2E}ex+)GS5o{%53@=&?tGk5PFNQ{2`2|pE z8UGQ$-#OH_ZLRtKnVpr{(wwG^9p|c?85&e+5D!6F6Tdr=reZF74Y6cTt}Rr<1uM8 z&i}hrw%HtpXxYH8NrP?C+>PhSPnWc1GSj>9c0eGoD_UXu?=WX?s zs8{k4>2N0EUa+-?_-WlW@+1@?EbQPNwst4l z%Q;;JeP!`50p&bx87!F{JQtYaUBM46gC0)ut3dtYcG{*`8KCu0#78WLCDCDL4;i7^ zNzAs{GpK)Mr=LW9Zl!I!XP}nnjGdl|x^9;m&zqLhG2$K#WAWRoX`-RJtv3tMk=M9s z1srA_k6r=yNF7$vS_~nZMru)RyZPD`a6!nh^TS4IeilClS^Rd`*&S$CaheI&i*`Oc z6DHAv^Sn&83OEgvUgP(LI;4sRJ_DDJq$)lS5XN2j3{3oIe9towbcJ64P~7(Lei4+g zhli{LOy0v60@90o+e+wP*=svdnd-MfM>_fCm2hLd|%;t&(b(W+0V}iw}Iam?sYz56^w+u%IB?u5k$SpivZywSPwGY&upQGdaL#u83uL%8Ka>Thupf&$v`I1g{rtYj-p`#@!x*Y+Y=;_& zQB^zcCgf+;a3!*)mBt__Lfv5rgu)N3 z12=cjMF*X@q7R|zgL*SBTni=g#XVZHaI{0wPDXt#>M^Lxy0960n}zxjese7pII(gLfJA$FT|MBzoR&lOIRtDmk+L+1!e)V}XJ8Q^ z|H0)^)GzTgNaxpgTT7=_X3%sF+Shr-dOAK#7GKve>$7NgV^Nl%7RrRIL;Wj$Uu2EP zVy6I`m7=|gk9Z!Ap#$xiXzxQ?7C||vA4a_fiz9i=O{h2ULP(b{Z@wPm@ctNy z`gPPJ#%RYpN3DJd=>*+Gj1PZp5idBz_Pwfm5O-X=a*hnJ8coEB#A~N5ADU{LpK7?0 zHk{O8)F-MsbYYk1KUE!$%1&RZ>ds`Y*1^O4d7z7PEpJ2G8-_uIl%N5H!3LQAlJVLB z;>jTg(B8@~gPnf_mry1S?-<&$!c&V%@J^vFE4&Vjzlgf5@cK}{gu1NoWd3WYV}-|8 zya3A_%Q~_O8+T#Q4qovBERm#j+9CV{Z8B9mbXnB-Yc_F0T^4naMcv#{ujKb3-NT|T z3+>@(H}VlVV9TPe3+)iJU*w5kD;{}#We(h0WDzH?hEHKw8L!WQt4p%o>3Rw6I&R8^ zPGoJNoi##g(9Yt~xo{WB=4&8ob~%1uC*V*%#VGlx5;#ILuAyF%sLg~o#@|N$48JVW z$r@kU{b+~I)0)Xkls-b6U-`&Zi|GcVew~Nq!7<23wkn+d5oj0jG_Yqk!ms~gOTpF? zz!u*u{P#KHi+Y5ryAt^-(;Zjp42gk*#hjXir)u2{|bJ;#s3e9Z6(^W z@SU#7WG(8;u^=|0z7ci#RD1>XLe#tPX<0t0Z$lj)lNZ9nl(y|dLp~=<{aw`MbFw@M zAD|v!wmo;Bpniql+z5xCg6C+igVxP0w9C0^6HNAwa;Xu zg)GE)iD!o%28j1dL2G7J&Ag*jMpY%A(2!5 z5*XrJ9RDSraSg~T*uV{EO(uF%jrSzJcDFSv##i#_e3;GGuz%UjCusY=qUGiba-Lj7md+c_eZ&51+*?|*KX?0=bokk5B~{T z{;TtHUU-_0ca|@OjR*Ph({!@4tk~TT@_yhR@<~Ac$MOvq9&?6{bC#FhfP*~m479_d zg~ZqKUO7Q%kMmdBB}yfuG5bouyNpda=~W8`=sQ{LnqtN@q}LBcO**JqNIt=L*=) zj|upJ|0rMspL$+}TmZ$S=f}^}>B^&Xct0Sm;Zxf{PEO)^Z9sGQF+q)mydS7yD&`Rv HXwd%v|G#Dr delta 11704 zcmai43tW^{+CS%IX1Itr19CSU1}}s(0vRH@Hnf4_x_sc8rYUjL)Cd8MwA&2CMO!WK zC6D@@(M|ZEc_PzRxk{{q=o2zu)kG|NsAU zo^#&w-k$Rg$7J80b-s-ersil$_{XOFC8VI~-lhJ{gH+bsv^Cs*mtdr5;m6bpa5cKfj1zEes&AF}V1oK8ns{&POLhUQS>K1rXD?9(Pu zQktxO(+6yG?e@fG0sYKrc+cmgd1egx7|LH6G(4bxE{B(-i(YL9TOorr~i?5~u z=^ZdAlK#^Gd0fDFm3Ki7(Jua>pSFee6F#Y$0|#&|?WfMU-U6L)twanGJ3Rn+00uJ; zzSD6~d;mNyV89^P-~dYGt@?>}zXgQF8=@W*}Y9Z0HbCADI>9Z zBPKsvOvzsOhQT)gzG478t_x;J?8HJG0N0Z=AG3Ro@8>?Dl8KPi0asNbY>$vL28GzC zgOiI6S7*X^6=-w$HTFn|uJ>d9Q-gZqunA!&36ZNawuN^R z5~9x>6@CWLkX7UVN_A#mdD2tidanO57>-863@4Q1Z`-n54j}(kas2xH2NKZm_ zW{AONkZ*;O`)7X<Vln3=cs6_jB zj!br%biaRjCM`CM)4vq2BmbJ2U$3v(Q>Q;7uOCUeWqV+3)~?$BuG5i=uY~?{T3uFs zpV1SY`O&hG#B;wPGehlFZ$4AkXS7Ap%(?}K9!6v7>%Jo} zK4KmnSc=*h`IIryq6;1l8IDO{uxP7~{2EId6 zeAa~w9mWTqNonR%(v>y-3?=O&VTue~9qA`0g}g8Mo^$txoS}fSCv>*v z7RmoUIWeq6@=cZ3g=GaB&dOK9i8AQ5!>+_Rx24Kg!xAL@eR5cMqNKOV4~MVda4>vd zaKl;Sl?~rqymaeZzV|P^*N`r+inzoRmPNkE;d*3>NlS^ou*UJy?`kLh{m&N)hIxddOinxGj%r}h zN-NLupKB$5(lFcyeEE6<9Oa4YR*zJeb=5#thAc{UuJTv2IVyfOTgR$c^nbQDNUz$Y z>SvqVRu8?;_gsyGnk>ETqbV6b0xq;3IOq0<_&&VfaBbA3`&VDF6|cQQLgq}ch3FoZ zt5-*cHH-=Itxez#SBrlOuC6vgcCCtd}xX-Sh<|7?F>rPl3=rhSMDZ^yAw4;Ic z$$kZcY34GxE59%+p`lpcDaE@MZD<{7hZtps!x&nKU3+zWOkbI8W5RDo%BNv#2T%Zj(qMhWTAg}@*#(1qBe!G7cd2|QGk528_n zX5<2skPEaSx7l$cSAzw}1(qWh=s+&85xGDoa)B=70zJs>VxtQMfj!6t_9GWa{)97t zXw;w?xxggk0&Oa{6Wk!V7$C3!xxjMd0v*T&HX;}3L@v;UT%bqcaQ>+qa1~&Hz#ilR z`;iMIU*ZfP8Z~G}E-(qXKpW@${8u&rb1^_*0dj%m$OSr(3v5I#(1~223%NiKaOL{r z8~oFy!5-uS`;iMIU*QZO8Z~G}E-(qXK-*V%{lkVbfLsk0AQxDUT%ZHFz((W(oyY~c zkPGyDh1b6ajV=xLAQ#w=Tp;Pj89+2@(2QJQ5^{kyI|??$Tn!c=7g&y5paZ$UM&tsW z$OXEP3p9C95co@ZD;+K`ddK7Mw_e@16gj!=Xh`mP+|vsxx-L-JwDVorMGdlN=LWjU zJ!jWrl;*hKdspJH&t;)>o&4wBanfGrx;-}Omec*v9!de_ci)R~7rUoW+U$O3FGM%H zcfGfe(iC@Sdk}{a`*P`!mKL=mqaPswXIkW!_KzRpd~<+y`c3!o{XLXg#BfQ`<1dd|0bR?L_hsWKR)}6~r~Nu``-lr>f1E+<-IG3n<4`aE>Qg&ylt2FT0jYJjEPdvZ-rp_n{VY@Za<}`RpA}L- zIlrrm4wJ{8v<$KAQ3v=YOb-dIbQhc)W%bW-s$wggRpIisAC3OEP}!m=XFzG*s>UeF zYX)izNWnw@gC2syUQ4A$e=8n>B;M?`g)}K3AC*ylO3?cdRO?bRRVhK2LHQn)HC$m~ zaDMpL?^c6mC{h-ezC@{mOYK#Z_WDRUPG$wR%~GyK8s&Uu*XYS#asw>u+>c(e2;+w^f;DkFLSsJ&cNuPvV~4msPGh&AUBhm0yGCRC zz%7oqu4l3HXt=#zV^{EB48V59dXMP{>a`YcJsNJGJl?6%%TaI9=$)v)rRpKPwepFA zM+r}Kz`{<vgVL`Ak~?1liRtOOFmL{q-P)+v9Shgb{vizX&=fgFs9;X}m zbV_7Qo_8mIRDO2hhcWMQ7|V$~Rs**Q>2@C514yT`^B~hIW-6fJ(uKJ!p#b_QdQ43c zgF8K3`OQX0idY4NWjoMDmmEjCL!-yQ8)rV*ljeDkX&LI%*~tRfl+uAGa2GW2c*uiu*p@@#PPkYL{kKjx4wST?LJ6EXk6Pk|PTJEhcLEZYaxBe08JyqWN&`7nroM*iC#i*yRP;~aEVrt4B zq2504jx_`-9eym^H2Naczt-p=LhkpyA178e6_cwGV6bUepO&yZ}1!V;cb?6JGUB{=ITi>qtC154PlLWWi7q z!XrFmAsw6C)8rk!#H{u;Y@N6M5$X=Mbs^j!u50YYv1+p_c9Ppy)#nG-luw9-gYq1E z0_I^$GmClx=E3@!cPGP@-(&c-TL@uvGF$ls9h)*$6E%8-nrw?ke;)PL*H|~ten;ac zk5t?FvDig0UGXe$5pZ-6~*^G5F^i^ix) zYBqW6AELfjqYvi4bHSY6+{BhV3277A#wX$C60zC4dCYxk*q+Vo!jm*h+Wb08D24Fp zY)&bRbp=}uAZ^;h4uC3kZ(&!tJB~#@1#TM4=8(@;a;Rk60i-Q&u z^BO3WcrG$a8RW3AyfSE&!>Y^Rl(<_K^Wnhf*AwA3F6l@P+YM1EqDEFtLYAW~^et$- zcUNb@OQDlyma!DF-z}&yY$t{_vx=oKh7`6Hq5$>-ixh>m=xf(6)S*}zEr*&ipB0uv zFzj?W1d9S&1h-&js5QZk64kb_A3+;x(0~d!RYd76{KwI+XL%LST-3e79*s8CteYy7 zn)Q4IloR5A5=2-YjF?CUvhT3>At*w?{Rx&3qFVnLZBa-nk8@~x67|bC zRx74EgZexcyBvB;!{R>ze^$7Owu9wydlgQEQdvQUpz-QNq_b+Uv&GZjhRH2x-@&Rt zDSyBlgZh$Z)m?AH_y<5Yks+j!oriRA0srsv0VP>CMm>qG>siLr&}r2iHAyK>K!SE0qf&Yf*>WKctHkh0h9X)`s>Zc9PrEvHq#V-a62p$!Hav&9~O5 zx;R>A(LNoo>eG~>n2=u3O~j9g-)Z=35&rp3(Su2=W}*#gJl>!5{6)b`I@H;iyF)a2Ou+4Y| zDytg^*^TxzmIt<7RAow`2et=oQI%cBtS3+xRoQLSyHFQZ*&@`tQOBx`>_Pn!>R6z` zfAgSm6^-}`bqbHDK)yr$Iv&#N7*8gsvmi>iD2(?OEc9oiZ()%u>6Gk#&B0xZ z_S8qz{jn-5OhPuGE=mh=GiyQJk8NKG7o#ZP&DdKf+6nB&N;nzBipCPF`rT;5x$-R7 z^RWC+2~zETv|nL)U}vAe1&_En>C@FiAXav**y#||SH!9NAnq$+sMoUHyf?AbOTlJi z(9U7!xsCs&Mk3Ho2ipWU{aj{x4(wH5tH~c#flSBN7M8(nQRs@pUx;=YtKhaMXeVRx zO0)^v%5AY&K8awt4^(NG{(0FQ6eR?>pF_5A}G~^gQg2Sm?&1ZGh9B-$CGo1Gh!twh8TMwEfr( zu(LP6u1>KF?dQ>UHLAKe?7v0*Q7r7m6(OUZ$nsu*-bD2&?kpdoUB#-ww)f(`ixd1~ zw68O@Hye)PbJUmM(gd#)au)Sg%p>BjpuS6!ryuo7^)|}FUxb1q6@$d-A;ANKPuOyn z@gnSkSh|SENHp5RSOwVG4qT#$JBbx-v2+m=GZFPt9I7~NGEs+DbG$dPq!9(mOtj(E zoE_{f&FaK7;>47qJ(VScZ5L}5F`sL}=8v|XZajJ_kk_$UE3RE;VY=Tb@gc;ec{;f< zUaX|>$w>~QK3UDfj@qfoz6X~ES25{nCFxMI50i?6*Nu&*Z&62;i1Fu9Z^LKZ%c%FG zz6s-PsQ&}?GoXrOH;P*EH~TTaD^18q4KhaB2+>baXa z_6U8DLK_YZY%7NpcAmos7JC%nRaVF$h;3EjJb<)a$1KO_g z+{!{D6SSI)Ji@4;)d>`IG*3snC|db=0pt_~da{H5hX1$r{+5TCzw@`BXL#p*-*0_u z?X~vh+k3bsJ6d-*mg>DK2U5Z}qw<%K=}l!}tDGwzQ)y*cm0!*yf}x^GHdBKH5)YO0 zggW@>_o-ZeQtjdqsxs+x#V>a4BCuV=7fL$^67hvRo`wYfc0M_u&ZH*G1^S|t(;P!d zN2K~W-0wTr*7W0{<0QX=5pA7)J@`;$zo< zEbTX_Y#2y?zW~~EKBJ#rJ=r#o*yN$O`^zwcZd(~n1_zCN1bzH&QeO!;A0o`ANihTwy`eQR@ZOfTUOe}*yhf$HTeLxCfjOvpcAeU)VE@% ziGbnoDTUc6fDcd12f*WIAm`dO901oN?6x4we8(>wd|W&U8Po5q8Uf!&$gz)k=gb9X z7CKRYbKz48+BtrXO?B&W&&;F6Qi;QMjjY|F+v!;D#GET!c0IP+^^F13-AadGQ^GC~ zBIm_^;MYQkw>Iu6zl(sn_!8&W^5VMFXJz_nxvq`%Z}BVS-wLmHlWUW@=cgZbX7EUv`{?t*OBrS`j z`MHl`KCN%3gvZH++D>_h>$x0nO7jd+o|_C2d7BI|Wg869gEtzYA~zZ$VmBIMX0JCy zC$Bd|WvmB(J@{FM=&CG3RBaZt%Z1O?v0C2g+dpR zJ*AC>+A__}x7Pj=1kt&n-NYCw`}mN{We0Z3ceRZJ-gIj8)ZFx5_Ap1*5~H`ys9Q9x zWSX~=Q8#({=Ucix8VxkTdq5uj=ToFHak5zGHGqNx7ueY4iX5K9N$sDko*HcK0mltJ~S#^YE9^^^e|D7tBLRNh91adhM6ad{gY z#?uX($LFngm_XNWo{*RA5JR&!$K+)>JVUcKKa*$TZS!+uJ@ev%uj$&t3gBpw>Tkhu zQeR{&JDJad3%hfJs5lbJPLF+?FWlqpZ(cU%=Pt^a(=+xvIB9wv#<>{fYPWm|AjCbC z!z}j@$GcTnOvO)eVdJUAZKU)vI5IQ+9w{>)>H{_GXGq~xl%^O>7+!Twus zJ7Pej9O!A(6%B*f73_P-M)?n9-^GDYz%3Yi3(m$ycZAzl4DlXhzFz zp3P&5jB?Q}mzego|7y47=jP{*y+}#@P?#F9kGEA@+~uoYN2Q_;OS$(& z3MjAgndrjfm(S-jAs_V#mP(@JD?ZDlqGx2IZ@kx*cKMbcQTFQ9z*~lzcVgrU-!Q2# zN^bTYAr(F?-|;nZNb_s(a_sQ9Rq>CTZ9m`P)3f=A<79b^zKtgg^xwpx(tngx{Iun~ zzn<#0wL2V#fFA>*_1m6t80JbQI8LL6pe}NJOUmo-M>*7QYnLYu+#awcHYKxz7(VJS z@9jG0Mp+^$);P6->bDO1bs-J92Na4SgTu%TcohZ6LOq-mayZK$slpnsn zkrdb{6lHSiA-8o48>qBu%>1=ha(2-Zs!!Jcs(-L}sOs;{{{Q`?tpDH#$TN$bpI63^ zoAGNgwj;m(HuVhd41p839xm?Tg}N?-+V?_+;I0=jOBGaHOasKbQAWKMZaG zL*QJ$CKsJP=Iz*gOxG3CHoD}NG3C`;#C!fYqqnA69$Dh=>p0rmQ8S7=Tuu2ixEjqU zd2vao4xp$g(z2~&hJ!ThlBIQ;7ubMYLFk`YQ4rXQTwo`1fxXBDI(>yR zfT*{_P~-xmk#pqzlj$f3Ohhg)6}dnYa)HIj1y&#zXhtru0Xd-3Ke3`9uobz$PUHf6 zkqdN!y9wU}>X8c!MJ_NJdGtl7l=(It1%Zjk1*RewXhJTq7`ea-g_NTxxi@TIpWK76a*$B7nq7%pb5FaV&noVkP9>;7ucZk z9D-kn6$1peA{W?+TwpJ9fljSB1BiM%3`H(5TH$c~sbAn2zyN`X$OWb%7idB*uo$_( z3giOK$OSfV&X0fP3!oJP1hyg<*oj!GFTwpYC<^1Dc_%_`R6Oju{ zMJ~{UTwpPBffdLFnvn}^xQypNd{G8qwZm5A0y~il>_sln=?cyOqTUWekqeBzg6DrU z8q@7C5xKxr~ZfT*{_P~-w# zqEU$cTK?`phjV_p+P+4<{QhZgC=!%)G2Kux^d^;?YTlI(Q8!k4iaN>ZACyYuTZ?pX z0i{;UqQ6KSk`4t^$+b!@s126Ft7LPnk)~VzQ43zWrK@fQmE5W=a}QIF@(*=`ENhQU zqqN5I@liJp=jvxs_rQH>haOIZxXjuo4?i~6Jz#%7ZRUPU#<6RZn&mkkM$$%0!G~)p z-74SzXpt2Dt~~$a+0xv1<(iMD)8q2pkF)7{IsLCIsM&JquP_R;<;o}Nl(x$M)$}uM zwM;%SlMX!ho|@e8IJ_*(KY-*2?ENbF{gVTwrSHkslfm@9{QXG-T_w9WPmsdimw(?p zb?S*43|<6p4R(Bh(<@A;b^k=!IWsI8}w)_EJW_VcTo|bgFO-?=)X$U=}rgTx(h!DDDiHSV51K5;6 zE;)>+qsd(CFnS2^{zE6&`o|ZJVvfG(KQb4U7erBRHzE)m!CRmzVD{ntz zq?wj4&cI4!$~Vq_LL24kPh%xgXKDX*00oqPI=4x3sgpDR79|DO$p`*+NQ$VF7k(Be z&8f5O`z)CP%DVICX}Nsqe6V|EojSyQu)oBo%i?q)B%E61kq<}Gba~0ck^B%SeHcz_ z8_WC&|`n?2w{EEIuVm)p&L8|F*h7YAr*Pn2w54@?l{u2WoNTpWuzZ=(s z|G;1BJJe5t{%^x%)u+eOUI|88|I$?YcRmaC6XNN&1E`hx&!xj?I*SG1LwRW~4WTux zY%X0w&FnTeTbciJ^jX@+Rz3$Tla&ELDt7!iIuSCl`_IvMTFGMP(P{pon&%75x2?)w z4Y|Rp=25={(^YlC)xU&%4>l!QB3^eZ(eTF$0wkg#zJVfAb@(#^B?CwfgL9jtv&iRRdB(709yP`;3A`qRO+zNLGHx%kv(wRD%$mTaX##HZV3S?2dV$uE zy=s(M!0bc_K5Q4f4Kw$!JZ@jHv)@AdEUN{ZeyQf_RUo0)F8D(Xj=;wzb$$qGLOsn+ zx1v6e#m=XG1LN&%cwSWIWY!@5+~w_{A&kRVCOurvxmclkGCd+)v<-)5U27VVfyJ}(7R9%3%1>t zA5rhK)2F~ymgfmDDDhK79#VluplUqQe?WbZojw_EEj&?_fgN8+!~JL2`FGL3!{{QI z@;(;12xg-k-dXkEesNZ_SXnYe1%!my+J8~5%`h9o*nvfG37h#Oy8`H6G14}!QTd5W zLw2*li=nehHX9&dP=syNdF3}M4T+CnyB9;2b#{K?0I_n{7sI8ZVzzDbe}T>S_#lg2 z0$0_kbJ&_CaFncJRY2(pc7a0=qe;|HTKEDBNP;fDc|pxF2zPp#^7EL6e8Z9=UpGQ)89b-6l+R?lOTGrZL^tPYBLjaP6oTc&US#e8$9cNHXCd> zEAobQiZKIyi zt5NAJ8KM%*Yi;dYXfODatsdjAHnZC4WvCx!O+4M6EZb%ipj6>w3dy$BOHrR^r?;bC z$p$Zj)oEk1Ih3+I4xh2wWw2xE>cH8LfL27iloqh}T z`>bpQTo+Ph+h%2h)n+}ciQCI|*xD0Tj;F9k%0>YT^!dn>XrYgI|J1 z!MoU;m*5(>bQjA9g!_Ii$n+|^4v^rx+crn(a5cvRJG~wC@HcGZpXR?V!p^K>^Zy80 z-(e*H0oyBWqvD@Zqei^RKK~<)mwflIfHWA(DVC51t?sZa0O|3!*a1+bxo@#6+&##g zUk101jpNYDR&wZKy8tBpUUv3n8XhopuWe6fBY7d^L!#T5*DA;X<=ZM~Wn~$w;CQfN zw3!bFwzU)B$}MS#l~wVmbasJ9rB|sr_ozYSTZ~F)6pG_fZq>G3zK^!hMYFFS>1^q0 z7zz}htCfX*53=~1&9+%CKBEo=YSYzFqPDWx=@1M%oesf$hirq-V(LCt3pSLl*LiRz zy9X?QVDXQmCq)jg&=_RC&e0~hFY_%)~hHVlG1piVZivNf<$M)-lD{}zoo z9|aup`rUsrDL7@eWoETtC&Wjn$s^GIC)%QTRPNZ|-9tSI3%YQO??e3}^UQ?a4qa8#=^a!*aI898 z_gO5r2~LDkJVC@5v=6fkZi^ed5tGkA+r+BCj%>qQNDbPH!1g5W#K|t}8fx0y;UO~@Ol_sm!IG!@8x)E8nkldH5M2MBdBBb z!`NClLPW`9!p2`>&{5X37WVuURz7R6&n~n-W4FQ1Nyl59SVUd4I;}IGRO4qT@u-X9tPAzuqkfo`LAn4@oE4+J0PT=$ zcESYrdQptUqo0F*C3DV#OGhf3odsh)@tiu?aCk!DTO&r9SRU9=K<&zci@qqkgOnIT ze!!^x>^e^(o>)!Dn*aB_;rwow@L2Mn^Z3ou51{O3NRM|&yQo^W-yGP)jY@~zrM zq6#DvTUWA3Zj0&_4mf2iLA#SBb6ZrY6Vcv{b~Y>Hws`RU67BcU?qf}0=iqZLJX5P% zGuq-YSLl~e7mvAOTH8^N!f6uvUDP|Vb_1$xzo5QGT?Y322AID6SVH${4?M8bF+WG7{*a^OS)M-70_I|X(%2Zt}xCQmkQ5T2)hp4~9 zVmCr>qL38Vhjz4kSO&M3;=NYfivNjrDysrJp$)IYctQ{zT#)&m24gcL4$>XrwAwbQAP;h^hM^);qybOe$7Mf>MsJ z(kVQYMqs=%>LIucTT$1e{IYd>F3h`lP)Ni+r=wlTE`SZs9QEJj(u>BO?@$kRzKI5Tiuzal=W{lrC+J8Q z@kUp_kBvV;$GC_xHfSHq2JR)wWAP8n=Uv%}6ExgKTdsd(RPV&j^Dit^9IvN#oWn~5FcRMZhBc8^m%t|GK; z0V+xtXv?WMaG))xV#%Q`r_ujzdx}n?(1yc9c8tRTc8^0P8+V#ck{qwG?9+52-NKFm w1-Qr6!CE%n3a{5E%wXAo@Njp`3T`U9$Dx>wI|D&Uc`W-3m@C<_Gj!Ph0x*DeNB{r; delta 11803 zcmai43s@A_**<4jmWzlBC^rcLDiWj!#)21O7AouINhum@)F>{XMy=7sThugi2^aM@ zDR_v7*u(&_mYA3s}VrFRL2Qj-{I1Q9Ze z!Bs*te4Nb&cOEvnAdEC*mfst9yxMhOyN=U(J0I3@T8!q23I9ExsNi|r;yT42*Gdbr zI4esxK6&@-D=p|Aes~mT)yU7l{ubO{1(*l1|LsG4cwwpD`L*H30L+=3O@ZW!)5og; zyEEqd0rwsK{l1Eeh4uVng)pjI0^bm*muCk zj+z>Pii<_AI%>oLtQJkaV@hM@arXKg<72sJUum6lzxPfQ!F;2C4)(|5{&2vx5c}Ug z)Q1S?M048kNdh)s}8X>y13c`;`l@JWVGEPQAHD(><<2eB3hp!77aEzUK=??az{S_oqq_gqyeus=v-_X;b0 z7@T}`lsXkY>p@$huCbip9-k@Ye7&~8XR}H8)|;RA+u|<+CIoj4#3oFhVoa20|2EWHe9LohvaX>wSz}6a6h2R#n6f@y`HxRs6=fA=nP)j`8w{(;td6WoMRG)n<~vMGk65kXbi}^UnhTbz4S%_G`S#~(dY;)+Ge*1^d08c_ zh+3yWiyp4|4|8QiM{;w}1)l>DFtz{4$e>K0Awg`6-*`SS?m9bAUHq%pM)JrZ-s;ghf9uLL8o5SC}-vR9B=e(O(^`HE)Tsoq6_PWrxmQrH5@?x55|r=E`L%Xhr2>1s5yFDM+f? z6y$plX7^Kdz4{&$?y3UK?}&)226$JLRVQgR?~0w(kN9jiWo@nrkF3o4+aE95W867& zo9Ft%s@7+s4Kk(H$o>!mYkS4N9xe9!l3lb@%rn2O%o1HS0}P)%^@D!&`oV_Zxb{E$ z_BB7~Z(To7jZwJQhilN?x%Kfzy0RZ04s#8W@Aqm&ohH#cS z2(HsEQ8RvjnBO>2z9B4a-2U=$G4?7`ys1K7x<2T;wqp?0uCA<_lrX=_p$}}hY7Lt) z%3AzCS6P^;a;RwEkYom^@f+&;e8VIkt>(|JvCjtiXyymS!?pbf?Awv`K-E_JY*;0~m3h!!u5Lr$26oY0D#Fdw;&&_A=IK?523M2i>3Aty{jPH06=n2#J#@1NOGAao!nEJIFMi=40#IiV9dp&L12 zC-TmZpzPCU0EI5Z9xr6@pwTx(ix7pJrL@z90$~qwLiPuo0Yr-z#vvz6Lr!Q#PMB}-QieOsjsb)Y_JY*&fyFoTD&k0Ibj-dLMw8@e8tuJ*LMKz7(nPi zPFRMVuogLCBXU9~azZz9!cO4&^`~~!*5!pg$O+lUI0J|lFN{M@n1-CtikvY2W4!)h zM<0OQ3mwP_%a9Y+A}4G_PUu8V=tfT1`7vJqooIA=pKHlHOd5$>nb~>Nwy8iY`&IgI2cV}xIJH(-PCu=u$h`#Sl;8Vry_tx@7 z;@o@ld5-I$gD}J#SB~4k`7+@;bek`8?L3^vN6vrMNbYw4z5t8aiDVBfPJeXze4sI= z^@l$xlR@UuP=?)U5ozrSyk0!gK9Kv1C)>wp?K{O=?c?sB^*W}Q?Z;T^E+hvbxs9Au z5F6hR@kgS0hR8ZHkZ%-r_!}xJk37OPaqh?%UMu<@%?NIJ!)X3DcvH6&iRnijJW(7! znywvwQ`|W^Kzsi+ao@3A=)d@wjW@V<9)n|S5W6~#Y1^D))$v&EEvMLWe5`iHDb5~G z&~7-zH^;3!*fr(^On9)E^uGuBOcD5gwzjp^_0#uzb3ifc_v^Int>RC=AECX|Dnd^> zwG*wP{ba6oz17w0gF+4{mUMRVH1W`>ggzO&jS;>Av%~sTyBwzyQv-?`4Y36lR)pC5 zoh2Z!$xycG$`w#r?p2--=axVlp7}ez5ETBrjave8T8w6Cs@e0acv|2xR1*F5pra7f z;533(=|Q(a32rr%O-hl89Hgx%P0^)kO1h3xyOP?fIltzk6*bEEApTNYZ!_Pd!K!To zmgyr;_u@Z=b*osJ54XvPqc4r*_4G*Nj`3#iZ*?gqRnBLZR zJYU?K7s>LedIXKH?`Oo>!c!NBpSg`yW08X$> zn8wG#Nt8v?xQ*A#SEupu{Jgw1jYmY$dxU;xhCdh7a%a7nMaDl0HhmjRb|_4<#!M_& zP6j(Y@)JB;=)?OFw1)3z4jVc(TLE8paV?1X%NHKy!=h5XURDb9XcJ47-Kx{kUN(HA z2Ahe^k|EQ11fM3e70lHkYOYuC8Vq*G5*5{81UDMNjb6dk82q|C1;J6*yljE?X~}1R zeb~!3E(8;M-{_-Tn4E`%#Aj@a+VSJrzoe90sYapfjP+gobW%aUKMa`EXj{!JjHbC@e13ZV8V={uj z86Y=4##5t`;tXGx!P<#_l05Yo^p%2kjA{j2DBP-4Un!E$0(%15c}j(CCE62Yy0W); zB|nSy7Fh`P#I0y2;}FNG-zXqC>58fC1=QQ)J&)xE>J9P`q?`0sf~Va8cW9Mvub2Ke z)c1MmIq*zU@h1~x!fcqD%U=GM=x>q>XT!p780gtuOMuZlO}5U4#aJYdLsYaIzRbFJ zdo$38+L|as3wWw_ElK78^5L?i09uWZ8w%j$Wyt*i(ffvZHtq~E8g~to+8k(Pk?C`w z(F8eh4qWBKWu3uZox_J|pG=nLRZNf!utUaKauh)H#u=U&Pxdh~-kvEd>=3<5w%Xyu zt$NHe>_z z1B-ST_XQQ9Z~McHo6o+*QY+%N=;pj1+0I8yZE`Z}zma;tgAqA&ryhp`nkD%H9ud9UD{A{7qmy@@m%|r8vQSwFVK578 z7QlgKVG*y76aEAz8qqd+XaU>=s%5}Jm>u^PIeH-!0Fz`nP`+NaD)q3G7Z*ZCIO;{9 z=E&?tkho0FP^?030MOoPkOvmQjp-7nyP zJGOe-KUP0%!F>74Ln?_?-cpbv;}`P??dXeg^kQz)oG;0W#n6*owk`&Dlk5i2-qB3+dz{aEKExfXo5 zt-cE3QB=UHv8nBeF>tTZOsq)WS_1P?Bm13H0P&%x(JQCUpE0)t@|RB(gjB@o;o zqe@`hR320C(-<5q3&D=2f|TqUw4rp|SpsuNr78J8Lmx`Y&r7&1ivHJt{Ne{;4<@f( zPF@Cg-j2hbr(mOQo7p}u{Uu%ZW!^=n6Ls(SV5llXVI@)bHtfG2=oSXmCj6`do4mS= zhfK6!sfsb|0X?W6J9o)*a3eA47F@PFvB5*A&zITDVO6ijML!bl>1dl}iL!gJRHSFf zQnU+X({eukZUGFczO|!0SMn7wVN|BlPr=vG?!sq(8aDeo>QvC_Ph{}EM*SNs^inbY zThtw>uSGpHld%ve`X?B3B;^VoQd*A{>S+x6kscJx8gRn&$_Km*(A8PU!{;asA`5kT z#>v>hju&KRN|~g{S4~)vy60ftoap;>J(TV9nvzsq4`4liHuBJU z$=3DW%z^Pq*!^R=9>Sc4J`=h!w&l8EVJ%)AY}EBY_LWx$&7i9jPfs7ciiK3KqYlsc zC*kmi@Z7SFF0uj7xs8hLi1>-+QoyxVZQ2z>bD%U8# zHp&<^mTPjzYFK7iqp`)}&H)Tu;+A?Vvk)N^Dj zq`O<9EkWCcc9HB>HkD|fp*;odkuqcrJR;p|Wbzt#T2M(wcfC>!%aA2&;1V2OxdZDxQ3hMM)dj{iQMZE#vKk41O6?J^ioe5vg7+X6U^rB1p zA5fP@gPg1`kVP zaMU;w^=iCO;XLSDJnB%zuY)OCkIl#)fi}JS0M)mjpq_>=J#$h2DeCY=5u}UK@a2Y1 zU@_WdGNcq{Fb4-u%XlT)^iH%4v;GowdMC<3eFN&d@m;AF^?KB2;cL${)SD>Y&}TB5 z@;zXvi@WE%F>Cl8F*||{-tkKGfgT^m++NSNKVp22F`w#PBAyi(| ze;CKeg&+q~mF{eo&4+nLAXVr4n&m~{p;YzLKMIfREt7x8Qv>OK+|ewHeh2NSZt2-2 zn-!-rA5Bg6{WJ?BAXPY;?yF$6{YeKzRf-Ylqwr|d?|_* z5Pa9&q$m|u&{k1eD$w>QP&(DnR?$v8^U(Gve+a&H>sBCT{4szWS*T!yYy!|;z926i z<745O8s7nGtSki3_M2pL2Orz(!->XOc+!v6J>6fLkMn4FLytcWkxUjUh?7kK+E-=r N;&DjBW&8;~>>aF diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_0.riscv index 143508bbd842069b31f87927bb8c1f3bbe3814df..65aaa681f5a717ce899fd1389f0ee6f787d46e4c 100755 GIT binary patch delta 9830 zcmai43s_Xg*`7JO3oLTkg&;28fK_f<1VO<|%whn=zx7wE))+4!YDhv9A|{9tSZ;zP zsW{4LVho}t1g#2dq|%0f0){kcgR#_*#(IkqVuL2XJl3bN|2KQSvFtwSlk+@#zBBLp ze&5WQnKSd911Fj5&fTs%NBHa?Nr^Zt_A?=dwyKB?`u)Sy;{K|G{soT;D3vaiTop-6 z3~E^fbb(*kA+;QKPOU=P5h_eBdEkYUp9TFapV|F1#PS)NPD6r!Ivy*c^J%%Qn?9oy z^vtB>ezf}Q9C9tNk|E{k(1FfY7bLvcSH>1_(UL=?Jtv<@%Y%&)rDK)FDsRM7W;F z5{CH}ECyx)GO=J6!*3^Gm&G%d=yk_C$4bkU3e7Gp)9rTI<67;;^?Tj-4SU_=4bQn= zJIA3b;oXEVYr=8=4nll&Ns<0NU|o`T=wGuY4P<3)_SXq~{A^Q)f2p`Sa&3T+gn^M+ zpDtIDCK8%FKw6Do9!oF=Ux~XxN%5SLK6Z21*s*=Jsmj^}T2$EN3KeX3CHwx^^c5v> zew46M-PdfK$HxV}lv>TP#(Z;>HQzk5>J@W*&^B{y^fq%;!Z!2FgX=`QtNi%JJb>VyFjI5DDRoZA4YnP5%w9rPo%r5#=|FSUCud5sMpPCnn& zSj`4qTKx{}Y%SGQX|KPv`G-I^=4o*WulZrLQJcQQQyCxyS3+&NDH`9Ndzw9a8u!>r zH)}lKyq<9E;Q+COFh4)?c~$)$c2C#p`KDXz*G)`EEWR!lmz8sT-2yeU*Ig*H&KWR} zV4CQwx6G^Elm7{J1q&__7UN{*w}_&K2?C(t*N2 zDknkJ`M4uu%ye&kURPAOGJDaTxPD6J-PcTWPhh9KifICi_YQ~i8t+gz@9<91-!{j) zCcp%`&Hm;cYP_ZR(W<_0U|QXxM00xkE%umUT2d@4?U({lyEl@kjUMX~jDiim;&Ov+ z-#$8`B)#Mwfnf{t$PhSSVdOmScRJ z#;``?1h|dMMt>U128|s$aU&kA)yHonG+F0PlQxo1ljC|QX&MjR;^G46R|a;+r-|OO z)%pIF(p#+1?+HD?rOUo*3!6L(wup6ior?uf5I7ilVh^KnxQooc&gGEv=4 zO|$EhyGBm)pQQ=)ATwO&P;=mI(p;AQo1?LsrplXa!ANGBot|@(m`~lDEo#=Bc2UbG zZ_c*;Ya~;kX*R zKCE(k5KUyqxBJ7nwLBEg-wwHsELZUWmRdecL@CVv(I_S5W;^@ibwFIfl9ztWcUOhq z#9Kv$)EL~?6bdWnICxO5uV~#P_Lb7GG^UOQ;C&i}iKY z#t1@y>Awb2tBqk<72&!VnD>)y2P)=i6xSYGf2F4eZt4DSMvqR6DZNFQTdLu<|ARO6a-L3OmUaY|r47TfwDDM$b}p8seUcrdV_DeIR{id3HF68Pd-S~TrK@VG{F-XxuT$22 z>;yYWU0C67_bP@jZ2`xZQ`&3Wd_oZ>_hc|t#vEk(8-f+fLDt$}p+z>@2wV}{@ZMOP z**1qNfwi{GQ`BxZzPFCj7TaG=dkJ%+X#w?)JfzlTa3jQh%^~*WnKhlgOPhiw&S zu29;{p8I_?y@+)w4bH74bpzw^0V`4+~s%G*sjfxmhY~|!h0|Xg~)jSSs_Fj38#q*0j2>kvN`PU z=gf*nJ=3-a(?S;7K0}##l&x(~48M2`L#%|o`t9Fh;R6WXBAG}4N1R~Y?E&;SyWMV9 zl;1LAM=;&NVmp3G^H_Pu48`pP>*$!`6?j4o@DIow486>)Gm9QzTRNka=_lE-&aq13 zG4@Gk612ege6nI_uswYqI@Zv@R(;s13~yi|U1OAq4J^59mh$rkR@M~^ee-Tt0xh$B z(*<2##vXk10lmPQ|CpfoG}?anqbCK+JU+=+Mm4g^PhyqWMt1g-lgjKymh-11Wo@JF z_kT*GVA+^YKc#hS;L~95;G-g7adfQ19qeu zkigoZNaw!|?k$M?O9!IiY!F1vb*d;zxa|p{QSSYSgt!UOo|mXWZ)i|OFWE(J15$=a zr5))3#0Q(XNFdyW0<;#Pb^$d_rL<3@^w#k1Vf4+W_jR;Vp+!xf4x{lJUNnsU0_JTK zP=y+$rB-N`@l+iRZMxu1wU5!}roWo$NUHSL4WTxTr++rVXb5Ou)0a=sda9J!OBTNW z3F_T+DS_50?y_Z?V4m$wgPV>e(j(MeHcn&aRS7g+R2JRTo=h`6X)ljnOhaiAw=Sk* z`GUn%>mst(z*@e1F&)Ee7E?Fc!rxs?SJP&$Ujov89=(MA?|=Ge>k*cEpG#wuHtuv$+R0&rjvLJigS6;GEmj1;yP7a=Oive@hNTvvFVNz&5-Wp z4TAp2iB{*BmRwZpxG#z8Wp*;n`2o-_RaTm(xjf zkVh}4{sD3ak>01o69`@4F_y1cP9y1MUM19hybX+LO`tuv6ce*nRlmsfPXk?pv>gTJ z*GSj!g-=6E40Ft-Z273uj%FNO6=G^Ld{0A1h}q}DBiHz6%?^dcUxOp2M~ zgZc<;@_6ydWC$+xd5F&pcD%PgBW^I;@u#JpjDtm41e&N4kMJ#sM>^quLOjX|H^c5E z;v}1S?Ft$hu)>M&L0&tK_XBS-K*BNfsL-qabv$|{Ou$~AvXV{;h!1g8?Q~aFKB0Wq zN*bx8hV!#vX+6IyypD1GDj476d>WX5s3=G02KyHzEm;=Di&lYCId516POZFa6+GGX z+_>6a3SUhpDN7ge<*Pwc!YiOiFY+^BOv-Y{h$p<&=4{|J6;$8y=v3;T^6k@(s%`c! zRxk@!IN}!&U*Lp?!i%=($`5%Jgrk@EyAa$oPkr14Wj`kQ2%{xC_+3$VH4jPy@o7FS z4Q{>9N&LF6I*p=U;6-UPIUwK#$EJ8ZrUnE4S{mGTCpWHvpglZc4NTTq8ywYHeyVzb z6W)RN)Qyh%fZ?h>GRqO)h{#6<`=>-LY36By&V1RC9&J*C_wp)1cZ$tm$Z;O&le|sP@p+DPHY7o!X&L-3 z&@ct{YoR5Be3~$|{8=!jE0vBu7W>+vB}KeJs9N~dwGesmRY%pF(Q4!e+_(C1qw6?_USQdV`zRLpw5eIfmF2sMb)&)7C=`9_j)v zF#9n&NEj{2<5hxIb~}2XNBSk+26RB56P+EbdPnTx->ru>H1nWmAWG{V$0*y(s_Y}a z@EK_TMQ#OEKm=yrf)hvSIC0jJ*lOPR3U|7=b3e(PmUI5e27Yg%` zTfrz1HN5c!SfH2II5z8Ov`9ky$lM$J0q`(`!#6;m%Dh#yO&s%Qz)GTMNiWad0R7X; zD}+ksvZ{uVZKx{Z-9lBwzXsK0ncqrPC8{KT0EyF&a6WG%>=iN#mVQadxA3ZsaAPo3 z8=;bB{`p3_+9b1KDb7JL^gXLb~IVsWGMevSTA2gEZ6tGh+dKfgO6702e{! z1g}Rj5b?{r?L~Of@9b0E;*p+)bUwc;==-BoT2{IM=^h@miOzYH^a5%>jv$@Mt(#!4 zm8q#n_r>uE(#vq~mnrr|#AVKB-+Dpci};KDDugrjja3_yXAefm_dpvVuW#kX92g!C zq%R=t6(?vfV!)oU=QzOm11@@|6SrAe+i1k)UT(oS6A<5l+qV2uS1jU#>Sn{=$)U!8 z5l)r;5=F2UT*#r3X)UvyHVF4&YPUZjioT~S+VxZ1jT_B@u5 zyFeR>8(H?5ii?jU;&^DseMpp3Cwar{GZH;)&kJ9IaDCTRw=mU<%(T-+66WN#*p3@W zpcDSQ9d{>LyaB>J+IZ~QDTI6#Xfght*AJ5JTh zbzm&w@}+67N|Ol0>)`u79Q>U;YAong3uF}rodF{8sNf&S$q2-swBw#ce$zDI^qh-& z!)LL(kv5-a|2D2`1ilG*Dl6((B|uf(iY4qgf3 z@;&w<>USWH@3BO_eeXgXUt^cUOS5_$K|;RAO8j?-%lBA0WSxj7>5a^UsJJn7r$5!Yd4G;^0d?gJ-+#7M34a>t zoGA~dqXp@|Aw9?sirQjv|CjU~q^CQ%{S)zr_@F|M+7D%>+INtz=R<7--6ZXYbS94m zI;9TZZPuc9B+~MwMlL~di09$UjvT2(#P9PeQCl3*IKbV@6F%f^_ImTxl4&@CMC<4)mf5ntcbT}VH$ z&`Ms_Mkg6%PAva%sgidC>@HL5utVJaES>5uQ|hQgd>)j2WU4Oz|ESf2?>b8(-Q_ZC zImAB#ojwD%r3|h=N8|KaSj^%nq9`}5TwWoHg~%52E>V=3csbX%Ls6!gj?ag`!B?EPsO&&}aPIg^n*VSpaGqA2sF_lM#{bzrooTu|BTL*tyD=D1D z+0Iz~%o%Vku@M8>7pHJmOYI)KK0?=9Q0AcSe>znRCs|?-{>=nEfxtM<^3l0$tJBGV zc@0P^a_aZVOT8Ghm-0UPPtjBC%~M$#~tS3-K?P3$+tmspo@c50D+h7Guu*tPucxvPt@zlpzt*R$z51?6_s{ZFTg z;Ur7G3oeO=xts-}b0?+$w>@h>g3{()w3qVu0DMBhzw=k(NXi5zkrS1~UUVk0V>!C+ zByw&c1l3vF-}K_ZNBTrh9R1nu}K4-s&RN7A(969mHZf) z*~CaR6VEM(mC9!<*{jbmr;KmWwiM;PuF;!YFavOkahQ#)72)E>H2G}4|!@YW8*Qz_^}lctd}K@FH7}vNpunS zhp>rHeBx#M*+s8UU-pBcY`&NTe$Tl!?b%z?RB5Ug z;qGG)#zdFUegE(`8+Ww#vYaTJDb?V2>7HTNuH(CGm7@%UU%TFX^dSa}6hnrvPpj*8 ziF>A|!LPYB^*8FNE{PH*mMD{0Fx}5B#88%2Hoey;B&_U5YsRpq24sI5^N3l!0Ym)P}_b`)-sXXtK9(H_J zZ{O<=t9SJFJ^s*I@e7lYT`&LqL3-uXO}#!%!%1fm?!@HZi#Ri`#sa8?BB-+np`rRrPv&wTxl3B7cwAj2kU~ENR z#XTIyoG8y_5=Sg7uks!XtHfC~+H(bAo@LyDf{E4 zcU&J6Zw7vjdNr03{Pho-$YX3Xf-KzBWjKlC(qU6Dz`kKac$av0n6OOCEAC<8Z}&`- zp$zZ3=Fej1A6?WDCv9&H<&HrfsEV@~=i#G2D{ zy--9fcus1(x^b-uDc_1U_`9j%S^WKLMJoPIt=uuF3H$4F`6yR5iO$MJyiH8lw1}S) zJ2#EtABbOXnj4*f!~ViQp2%~($FAih=O4&7;k)6DRJ{2 zBib|x^H%?OCnatUyA_F(xe=EfYo*KG@O@I1J^!!Vi*Z{;ENtY|AKV zTUzul**japd4llT8i2nT1%K1G29!AEDsRZ}&gSm&Qkiw*XwKpy@Hy)eo2Q@fb4@wn zayRnE#H}|I^LE^1e)Fd!`WaJBl%)jcR2oB#<#7FO#J7!S(56K`Ev{BSSL1l8Ej9Cg zjuuAact>qVG^J$DgZzpB;hui7@enaz2z?UT1ODK6KCaqYc*;z2{0c4eOkIiARaZMnxat_ANG zAH6fe_L6Nn*G}%YefT!F%a7h!!g-eM(MB&RQr?@*z1t7y!F=2p^LTJT96S-{-F9#Q z_RT@t?Gs&`XNq(0$MO}n2k)=te3DrGn+4jH!=mFi8912Xr)Kh{;@MLh_zU9Jsii#A z_LC1V!%W+prb5mu#BWdE=M}b-&FMUD-BI1Q>q)G?t##CR2S*@?81IiX#Q`7L2QNNjG2*DlqGmX?$;E02+j1+KV5_!TuiK<8PCu_Acfw}xx49uq~aVLU?AwEmR)i(9Sn+JQI4sJ2JFPQIx-_%oIYKE+~LTOlqnpSHzn z7vB<|XGUtDy&=Y*NyQA-oJrH_>TU0z!H%t~7pL0WwEB9n>FfxttzH~Ho1pd7i=MM# z*f;Lyl6Z*iN9VB1LqzuPKHw`v(1%Idu?E|M4+nFUV#V(_YVS6PyTAW|cD_M`ov+uf zHi(PoQ?-W;wqYOTa+G4@g$q1c{G=nyd&Y4+#e>*EY)GxGv?J2$Uc65SkKoh_5N+T3 zxCigok-c{0J|ZUvBD*5Fk4F}b{R0y!4c#@5`?zNw(amC{*{)4I#-oCeNH@FEB~+@b z*Oh)ImB57~6w;tW+wIUK2^}M7jvZPmp@#&uNT_i)=eG=6@ji(4dIEBfoDOCC!Y^ZCO*1xf)6+P^UOwEdWLbW;)pcQ(y5O}@sBJx9unHq z_*f#Z<620AY$d{j$GLaoz1n9f%W z=EYE*$w%{GI3dMJDMs#|%iS=p`&_<=XF|bTBr2eKF8|5*-2wKr9?FZ$J(k$FKb z(y=k0=_3$BJTA^??ZPfM>$ozTi^VtBJTaxCPw;4q)oCqUXxBC}EA-2tQ=Mq6@9{9Q zryw+o2k?22Aw|AjSn{2e*OPJ~lu4~xU3s6byw6E_6Dc2qZdA71a-s#%onW4ibh8t! zKNLpxp&p}8i6W`&LhHWjg45(H3icyy2phq1KKdDqtPncp^Z(|Bkekh;c@ylNIyC)ltrzW28TpQXVBg zi44G%{szJ?g*x8bM}*hmI)}%TN}omGS}Yy4>BM*VdcxbC@biS9bHc;%r6m1yg@Lw! zTZ8U9@t26-8xFIOx739@Cb-pIw@-%Z1vmkV;phS$9n^`1@W7+WL)SVM316ZY?VBhF zTZjXj0vQX@Dh&!2;`q*hJt%_CMLQZdcmnYl z^<}`xMW{0ZZex?L1WOK1iC5=4dVI@U_vi+>Nb@aFox=lWZh6vC>qYw)DV&8)cqid^ zobb`Ok(OP#82Zs2Uk&cL82iQoN3YSox>f{aAkAZ-EEkn$!yaq}mFsJR)UY3~`03N= z+zPms%hQ71Ug7A>(_g9?8S=@C@wRiIXfZl1g#C+gvR;1HQM+)6u6@S|ZzcS~N=N;m zp}KziDo1=3;W34dcnjgzbbPF|wjY)NDU2+=$kAXW;r@`DhiPk2orjNL@LET$HTF-1 zMwSVuCGGN@BR$-rJ1>TQN$1Fy!GPlo(X${lAL&kg#r#g82x}jing$t2;}k5&$4shV zj}+73EDFnp?T#)J?Q4gT1%r7BYGpyv67*cP!%=JcaNTna6iND)6WvdAB$}A4 z#~Gr1AoOWmgUf3iofm~kEhB5GfjLiO4w+DfYL@I>j%qL3zYQ5#J~TXy`LBd->8!;` zt1?1&c77N5E<&fO4HfN%7t zAh!UUuK?^Uz@_9OKr>2?cZo2j8M+)j?}RDKu~h>FD75pn@XB)3@q)7w4TQf-u?@yN z!=q<5?{U1NqDS=TM_zHn+X%nngb$S;(y*g~U_ZL!bD%?t1mG)pfOh#+2wK6@wC2}f z@e0gfHB_&_g!b-*W^8Ird*Mq7GYEYajj|y_iiJ=nMFliSQ48HDw3gSwcO@>+eXl#F z^+v2LLWZzg*C88uoWWaHVxOvVRpus-^mtrJG$Sj9j+NLy#c*3{sS;M#VeCcH3WnHK zs1*z|SMlfxs;pI7+eu5|dx?1WI~?j(;k!Z=zsfF^_$=s0w{oZoF-Rs%DddYRst8uf z#iWeAP>3s|Du@;R2GLlFep86CRCTQQg~W$IQW2V~dQ{QNh{kepTM_oEs!SChLp+v| zokcv&qW;>U_>{-+3cIrgVproz+tutiD9_kw7k0r3-)P58%(>94Cfr%S_ff`tac-&b zX%zoH;yw&3O#Ebn2b@{W%`>B@JS83Gk7cM2&Wyh6j>%aNmrm6LuOovH!q-9Q8hp~X z(Q`4G=qW@8LWZRKs5~qs=d+2%N^}jM{$0_FsQoxZbUt*W^-NWos*lmXC;Cfz_p1{7 zBH^m$v%h-L;T6I?A*mRXDW{Tf14a7^X*1UK_&!9sq*R|Xn^qy0&pOO-;1ryeCYp$x9 zu8{L$;*Uk@J)CYYiWz%>a8=Z(lAw}sH!4d?$qpwm+?e|EBfp8r%nYlAJXpru<5FMpkv1xYN%-WsIGVQnzYjVP$vEv@h2h7i5^6JH7uTIhB z4y5Jy;~QPlDKr_W<5?ZiX;6f8Ng>UWWt2=a(W>mS7kbE@C0vzVJ*59J;i~NVn($8v zS7n#-f1PkDyTElFH(RLIVk^k_D^f~_*mZad{%iF9{|nLXQ}jF3AXn0=)IuZsVIevb zswJ&Tt(8QNCb}3-OInp$cZi-y^epH{TI*a79_w*w*7T=S5w12#M+grjd~diOMy&%Q30Iq@TAgNN2~XCyN#OcCHv*wBv)B`j+WK({l#t*I(76WKpoW6l?~~=5q40nD8vUFa?lF z)KHZw|1cnY5`Kxot9eyJ_(mv_?&kbL zH@iz_2bDW|Q>%rgjc`@*7nA;ngnK~;y0iGxbW9}rD$!NIH)6E&PIMp97eUWLnf;yc zT6$2iN9~6;P47Fb*U_Ej6*5!w5Tae6T1HEz%}YL6TZvYi8npz)5$;dB88uQVgztoY z87-5NSMzlq(YV z54-Fz>7Up2$1>%p-frN>E<3%beoY3M(2e=d%y)`&iRjC(>T%Qx{J(a0{;Z4K*}rXJ z&eutQH6)dyyG|OaZFD<-C%S2`k!iiQpnJh9JL->q+dKSvv0m4~hY#IL`5%)#?r+Ktl)x_!_ldKTi%%eS2Y2AJR zmN)ZB9;&3iZ~*GC?W;<4_5Vd7gW=0&ZuL;hY}Wx8`&&NA-A%ogpy0PW&fSNaK5$ev z)k`Z7Zp&r}u^}*~1)Hi8kAec(RApuq9F>r)-C0z+T@H87^2mPzDoWO{ diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_1.riscv index 68dfc715725fa9f2fecb564fbfd1919d1c696252..c66f251df0c52138852b4488a5f00827c6f4f51e 100755 GIT binary patch delta 11963 zcmai43tUvyx?gM03@;HGkvG?PC?a`L6cHaO5FmOx9`vZ89Tmg}K2k9>e8TXM(Z~ZX zVPVG%tPIUk7<16dP(jhMt7aXu@+gvwX2-|HB7Z&ZxAy*)mzmqW?cZq{`e!? zaKQY>jSFMhTuRLFaR~Z9`O$gyvEi5-+O6Ze7umr-GA) zP7L5w_>_ZY6W3Uh$Gu*;CTdnT>$d5cVY^eMbCnBst#;ed;}!S6_e}Mu>4&L=Um%2; z5)Syb5aMM>9_;%Cpi|0Au3JsXcUO3>_B9B-CDFgdw?vJ&ahKF2+?}yv#dAvXAVO2_ zk|rbFlVA+JHlm%9qVdJIoZ5HXwK_xDQfIQ`^ayVX1q}6fp~aH%VeXx_-5JWf1X@_| zIOb#Px0HxDR${o#`ni9S??tI8EXKGoY=~)N*qDm-VR0cF!eXK~gbhj95H@D=y0Ey+ zbzw0%>%dRvoko;=H#yM#;bi9Ssnc@iM?~K7%I^tw&wJxE$q*cA6MM|9rGIqY3;jt` z;i_Ry@5Lw1KU)F~3^GLeCuh0s^O#a{mt1=ihG$S@aX-(yBzTZ1+3N>yVwv9JF>H0S z$F!}?$A^5mt)Ytj;MC;3tGubiP@%u^+NxiIJ()h6|SRQ`_UVwMGuSKa3ve2F56@%Y$!3DVpaXg?W*mG zS%0e{1}8(|Fzcm!VtMhV$FR#cJ&r-+hJ?HK{`pH(@!t)4a${@dqv<8#P`)WB`6HSP zgDp;0zaltMx){2#D8{rwH4yIFzdc&?Y+W#m)aC>T4DPRCK?pg9WJ%8 zAkVlIr{Sz*ek{z$i_6K7pf=%5YEDtSmk;oJrf za9@gA412|MP-t;qr_S&@6K#{)r(Cn%q{KL$m3Fv=q`+x6v_ym*`XQ0oJY)T~e9bmb zxaQ@$`CC>z@79~n7%+^*8snWx2SV&vw%#~KDUD%AjgbMRiEDBu+MGH=?}gu))E>F{ z^V8N#(2-*OaQ3UQITnVd^ey)>->&-cTT5XFy+s>`gbCyqug*u~$os ztgH87rPO9Q==B8!WM=QNZX&+_b7CaedGAnVb1duho~M+KV>5kHdT;7r9lk_8s+WU0 z!uIbO%Nl$lm6BL?)n|}WGJ?7L<_Xy3+t}OL=Gjqw>qh$z55({kz2}_7()`**!C3!| z0uK8RRm>wSxBdO7Q(1@ZComUXc7z-Ny0w3nJ7A;JM5(K#+!*2eb6>VDI3SC`$p?NSlVIvq;CvWifk4ocuI&k$mt2W zdZjeh@=0>Ii#XWMKP?mXyh#}z!anua)oR$-jkyM4A1YcYAfkAwfU4po0bduFxtE-V z;e}h1m!ae|%PpC$l%8Xk1hlZ2O%aOoDK>l4U!v>uNibj5|MF~>^Fz{>kvMPnJVRz- zLD5_Kv{DPd{^~=m5I;hVMntc>~vS?1F_sl-|zjw5{_eyPr1>y*- z1KBtn~B|FX!eXPItoFhi&eN&w9Coc+D6Y@1<`(VoD0iDA9-L3;B&Z{eH8a zhMZ<`4LT3^a@NO)Xc3w95@hK0F?P|cWOJaCJ_fGWVU|6cC+d`ipIaW3x$Bfo$=k{U zpZH);(y)>a!dxTK63 ztEJxg+1m1zNX$bn(TrSTHFAk{$R#!+m)MG2;$`HB`NW2T#4h9#UEnq$Hi>@7B}O2Z z7>8V9DsqYG$TiF-BpU^ZdB`Q2kxQ&bF0l@|#75*2Tain=j9f)%pV&~4*o9o8%jY-( zh<*+jfm~u7a*3(PC8i@6DB364C`imhF42r!Vl{G!b;u<)BA3{TT;gTqfNJ~1hJwT{ z%zt$U(1rmLyO2wC`4UF}(a!-RkV}k1E-@9k#B|{5^(S`3 zmhFIf$R(PQORPpNu@1S!M&uG(kxRV%C0_rqqjtdNfL+KXx?I5#K=gCK2;>sukV{NO zE;0QIUjON6WIJFUa*1Z-604C*tV1rb5xK-x>wItuAuF}JsGy6&pd>bJ6=-ahRGiv;z&RJUoEdV{j-``=;*sRxfgMO|3= zJLO97HFG+P;fAmDiO8pjrve!Vl8W}kEdl8*9P#)Ebf*CREgYe$vs2` zvYwW{mdf|WQ`&0z=CFr=JJvMn5%;>*pr;EVZcEw3BXJ(FZ*-FuTgs1Ir?i=^d_S6g zZF%GURg~^w0Uyp%Cceeid^nk|U>|=tfqucfkFBM5SoyI9wAu3GG3Y|G<okmcKs{T~dP)hdXHjSRDzWu!(wVW!^m?}S zOehRm{h0(>Zuze>a3;!`^6^LXYj)z}1SP1!V)&#d1!R5BZB)V=*!FWV%Gd^W_S`|` znFhB0(`35La^lmulrCfa&tISo?8oz=o{bG!4_}7^Cf+U<%fJi$qi8$(^KXM`8O#4| zu$Tb{e~Y56?4KYtSN5WRrk#~@=wRq(WjT$a<&_@+32Lak2V|M`2}+&yN_!2jNTBij z*KxEr-!+bow;ngpa(H*Db=2>;(C-vz~aBEvH`m+~pw*E7W z22!Q7?thZ4;Q#DT19*7?O;DS+Li6`wtgN7PDbP{tmL&S0FbdY0DfDVj+RjH#r2}Xg z&jb)1*)o-e(^g(TmCm8f+&B%)PCjxP{WBaf-!cu%a$XNAl;T&W(Xn(H_n%J3)15pM z!2j`DUYuaqwy1ygq>Ue+PJJg-U)2U&`%B1oU{his@;hxc8vgW#0EOs@Pmqk%oW4LQ z=}BsM$g|YfKlP-&{S16*M-_Kc&L=-h2h&(?5>c@ZMc}(Y*z_ck*9&`|gS`Un+59@# zbg2YmIt1rA1Z%fvJ#f)6WG*atMAO zgEM&a4C<>h_Z4qTUOGLw#xrNoztL;_{tP;J=;L=PZT!e|G1KALrH(Rr8+D&2_>`G2 zm2KQK6Grd>uNMGgFcW&Tp8o{Qe_ycLwy2_Rh3bx;?BfZ~!C}3Nwt9_2z-_eOZFD7ZGWXv0Sg@bbLe~Y<5$4< z4}jP8?puMYmfyfbX2Cgt3w9PA9FQ1pA62T}WMMc4@WNSe{uc9k2&0Gib&+(K|0Gx= zA2=IwM-8#hty6zM(v!JE_{!OkyN%b*hNQFn$ZWW<4{^8?2<9(tdl^&s#5oYNm9GIx zukyVB{_ZpFEAHu~^*N8<7g1e2Bm*w~uIKEda@8NK;3EI4y?zGunGSki_?}&i&|8b1>7ajrdi-+xcq6ZcGLskhXlXUtoktLL zdmr^FIreFuzQWd%V-EU!)QkCj(aDuOBnz&$vQ_rki`Cx^^`x0k7WV2F?d?APTJd&n z688B#d;1vLM|r)l6W7|?*|1;`U0cbogAEhzr!1H>WF3#32cx&2&zJ{i?6!6v6p`vS zLcLSyNg1yN8y-Fv=D}U%5xwpAO=^#!V}y2e&Vm5jIH9k z7ecY^`~rl*LEnNT|6>l(H~VYRtvouLj#pebUz<&%ltj+=Wz!V;3BR8WgX31sLl=RZ zRL!RVQaH>-(1T`Pzli!O$_{>3xcVLZk-)J#c;sS;+Q?@thA1=NEZ`A80x)6dEA|JK z{iN0bzrWk-AEG|dLGLMkfP=%^!lRc!)e}5Zz`ML+3G^iORlaWtO;LvK;t!TU588Oh zQs}pK{~#0G&JmKyj(zE1!qhm>RwtFd(DGzF)he z#j?Yjq_^|i;KRK3Uk2ma?huwd8tx{Fp0xAKWia~fe2s`ItF2IN5cG6#PE`pbA`4lEtz z|3k?1(NDo1jOI>$JO>sAX(#PFH&?ZtNW6o-O4a}OlG2R2WBkqGu-t^XC7Vyd_P+<+ zlfYUMeg=V!Kf96|AFp3AhV+01rzcE|jCT9Zd4evA$_c&?6MRv(@%oi;u|L|OrNyB= z1Z^|FE^N8xQ-55Bknw0=f7D3g#_AKL~y@5!)nnMNG&GsLM6ZQq3moQP0CwO@W#PKenU3pHE%|XF)D*lF;6X zwp`rgp}rsWi@4~K<6=d^}HCbeiE=JZ9FP}gvRWMgNJpe+|&>M{?!Ce-Dk>n6sZMO`ksx==rl zdK|8{Wc@3s<0_2v7pc)-F1?mw@@)({#*afE{fl4F4&h&DlabmHuH^THEtg)9q;8&Q zH}jA@u;tQg8QOi(Zs(JQEtg)m(T+s>C^vzvB(CMJDbsa*jOXZ=0dD9 z1NGLIwN4CJ2c6L48ddz)kk}SukX*Zt)nu{~^(u^)CvP3<@+I~X#+y*bmslcSy*Hzd z@38RCbeOOc4fzr)^#iEOmsokqK14kYUtXnt4s|^~$bhQb=csSRQ=Fy~at}h<&}iZb z>*0=btXvyLvzA7FMq9q3MxgElO9gT3kgH=kUHhQ^F0U2kcHwx*cl_aK58b6Ta}dj| zM?IxN)8$Ni3H5(*x&g|az-8ziOnXI^!{w~J)qIG$d;`eE_>-t_-_d{8tW#P>G7}g z$P+ZSw_N_q|7t$y&R3qGQEu}7o%TB42XU@>_`J*Gw@%Ozt_4U7_`s7u<z85I{fZr18fNMPRG^l&{qSK)6;d=p;1OvYf ns`A`K9@z@+MZTyNTr=M*ppM@HP~uEH@(cte6!FDpX!w5vt20a8 delta 11842 zcmai44P2B}xu>p^0OCKKCmJn(4OkL~&|sO@y5{{ovr$43AAe5``brZ!g>U8a<+OQGb& z1npfo5aSdQ0#QwXt?85`g)XtUrwE~Cv+mTx=C8BWvYh#p!dV^7I<$! zO$jsp<7&EsWp&G-6)Zj@psByq@9H6D&*S=z9`vRU9{ zp(E6}@ZJR4CUK2T^B>gBDW{v1&AK{0Gi*2R@Y?CkeID`eiNPj>cM-zM(_RbiASBR` zeqZoKKx0Og&#%kV2Z~L_!3Lpsq=a?^SE&*IGe8=q4ipzZs-%x6G%#a;w3^djNi#?H zBweHAg&F#*?8{+4(RqK}$Nc>wl&Y(2yx+O9w33Z~Z~WW7fwO-(f8)Z{obMO>W6|FO zDRsiTJjpLTz#qIE=?aG&Itp=ZjG;uCD7Z1^7KHX z-N?QfMecv>6Mxs*kNq$GI*dPJ9SxBId-I!EX^_T2$ z-`m;D$E0I=yD_TapCirsZKnrFPn^q;t_!?)Teo9J^A1S`n!8IDEkCwA za>chB7Cd|O+2``u75^ZcS4!>s6+F6Xz-gf^Ua-d1UZnO^(yL;s$LzYazrwk&WX@pH zO-g3o(M{emmBo&zPyqIih!b#O#8{Niw=layi(ZgfFPyP z%9aM4FaoO{XJod(kr86#WArqA73s`Kx=2aO7?>lYPz}SFBk&!?tIriO@*)LfgQHS? zh4boM@kv>7P_*J>W4S>~6tBswJt!l<*voDN6Lr+vB5uU&-)xwQs%>AOD57s~=)VLavE~dqSTV5E(W}@lJ5f2@9b{zh2!@ z2q+Fu4)L3;8|O!+dd;9QmM_TBjRn7X{Q+HzUoUG7uM0CiRIuhci8*pTMGQjs&c+m# zAHJUADvGF66u-%JqZ4#Tih5lSjDCPBx<1zm%bY0j8IPr{(JNjy*8>@2y~StEoxM`n z=Vm+ng>7B9Rt?+t{2GI>BPv%5sHrRxaJO>0faz6R{S0jt&ZIw!^UTo3E>|s5yiT!{ zjR42l?u~Iu^>KD`<1Z3k(Wk=cQ2Niu3cPNUKF72rjY|x970wraSDE_PKlM2xTBV}S zO$+3nSf(e}lgM^5nSt8h|tbbre@N|IvXV(VemGu{pKn*Ofwi?P@4-+aSfuxR^4~I3r`-6HYr!@@U5fGH zG_&#AfoeLyydA@7`crUYe=aA!y1>w(#2nd|dVkdoA{?RXT8s}LYh_%0q=x~&Mh>X;??gdj4RVPM$R#!*m)MG2VkdHmJ;)^vA|Lz&%0cx7&xxUELN3vQT%rxR zL_2bcS;!?ikV`B^UR;I;P7ka>F0lc*#3tktTaiobL@u!hxx_)_W%7Xh5oZ9=_jfH2f4&SmBaa`9l+{; ziZg&{@<0o6i8kaC?Z_o&A(!YtF0oi}asI0ZfKCjMSc6<*19FK?$R)NSm)MD1Vh?hO zgTU46PaLSPOYUewF42Nqq7Au3J93Fx$R#?EODw*G*FPMn{X0Fd2D!ur_INkJcxqC|6qIRXjcDvt54!iZ7v)v?~PM|&R&h#`ZVn6qb%*sw^$Q3 zvcWg&l_Qs3TMjOuwAA(Iw-f>WP0>_oZD4-Q(Mn$fvo+gktgED1p-Svt_SxH!F6Np+ zmG-@^%ZI6opS}GAr4Cnmi@$)mN3y7YXQS4c$(s;gJ!^h9+5h}+he(R+&bz&o=Cbbp zPM~XCe!qX3(o|OQ-a@5sAM1TDn|ibRk7d%8?73qbXeGOIY$?rkEj|w8%XQ_q7E`*F z{h{p}y47{IeKt*UzNV%2Itt&4B_2TXHk_H!=#2PCAw&s>|Hfy7Ov9iC3t~S%5u+S@ zjjcHmO`{nKlc%k79!UU`F+ zcSO_i?3IpR&=66z!v~a$huEa^P0F=H?ArNsYIMba zluu#pw{>>WnQU=av?;4u8{ltYddR4TW>;<37^_cdgQo6>^D3BK{NCgfyH`{82xW(n znta;bltgOsb>PB(XMmuf9ZMl7cfZ!mrZ(G2ZN6Jk8SAYEU5B9NCM{^K2;xB$q_{(x zv{jWdgmf6CIjXc)NJbp|2_d!YqqJYAls51*Kl)P31S8$5z**Y@EJ??|8b*Hx=dEB) z9d&TKADz!T4Rl<~G!xa2q`56KVre*4w(b|r=V{i}G4!KQSPmiWYWbO+9-vCxA;Ik2 z&rV0QJTi^$SA6BjbkV$b1dVQqNT;t-UpY8k45!m*vdEaw^1uvQG@O?5y>sa}8q3cJ zXcsV=n;xa!FtE@^>0+A8*FOr*R=)R9`tu*=hj-1T;f8fEHE}#NhmM2A=F@U$DmC)* z96Ez;=Vt_TbMs>~I8<&a)SEQ?_nA2P$#7!hX~LFY7)v_<(ketx{CNr33CUNq6|kWX zTPJ93Bt7k#E}PAQZ^WqL2P1m-F*-5S>alNGq(u&?O$h>oK^P*NUimEx17oZtw`+h{130TcYEB51XNVfk({;yWPXqPAok+r}Z%? zp@k3zKb^OeH`Wt}x3+Tj2azht{(K+HmgHJ4VndEiU4@UB%3#gSk z`RCA_ZsDPi!?fxxY9BI~gz2>`BY7U!bQ-UH90oScBkGS3C6+XUw+TDL!+scUO2W?P zx4g4mm>nTror!OuR}^zY?Veszr@z zoJ6BJ+WkX^!yQ>9I`5$uqu%MEcc6a3Ll1)olgQKWrgP&$8Xb1mO(Wz(jNKQ*r!Az` zgytCcF*$v-Tr=VOs-dq>P=`x>A)Of3?O|8@YRwLhJUX)NyrO4o9;14j1BeD_BCMreJS_B!E=pU|GiYr%#~ zsx6NOD;J7*cOK0M`+bpnGTlfm8TeE3VIB(k@_ah6Y~7RYVF9DGupSS68R}no=)Xt( z)0OUd%<7FnPdZn*>q}8jE>?B^eLnT!mICS>dQ(&GeLPdJHj*5kRsgr32tL06Cc$@& zd%jWX4}*FV%lAT5XztVQ_HnfRd6%$DpK-UBhiZKka=HZ8bB=Z^zBhzGsHw!db$jTA zsQYekPxl_`Sv+qEoO1OWc-<11>gl`xxBWaq>#N>FPyLCe z@Al9c>VqD7Kk8P#3%a3+{0uq!nbFNKj_so~R>!bmsr5}?$d?_COa z&Y5-YjgDKip&azkM@DISg!c3iM13ts{S^=W80sP0-SY=Vi)MPVMbmlGGHO=NZRazW z!PTF;!##Mk`YV&Tyla=itQPUtmce6btw+?jSS{r_54{xii#xb)A!Hwq`wMm4@L$3h ztz9C|E`$lm;pK(UiG%Mdq%)L;oxBekDcw7Hz;c=a&-MAsVGEr`60 zQL#L26`TvQl1G=kfVR~4pz-ECoj0z6p*VOKWC!>hvV_V~UuHS@kTw)3?TVqK-O6i= zAs9Y&F-)i|`DJh;riNPkt71qU$D>LhI*v~+foNG^%jm@z4drh|2}B$DArWolXG+v6 z*t{ApO8JKrvQajShbTtU-|jxa`KW*Dp+Bwa2I5&KZ$jNO{`!N21i+bt{qow5??sWo^Pj4|`hRd?G2#k9yF&(;IjHW+p1Xf0l?9>9x4y^be51vR?`PyW@| zY#Q2wSly~WM}s#5^>uvxQ!rsx-UhAjmD?%U`Y=W{@LR(E7OM`qA@~4oJ&#%g_DHPy ztl0V@+FN)w*qMd6oe04nGQLLpAlA|su$du=5Hs;7M{s7;@(VnF(8bIY@hXE=2HFp*Sx1mokE}DX8C2vzmrP|~%D zbe$f}{!_J0@;@QHUjVB+@KRJZ< zI$jQTnJmK8LJu;uqAiQC>zMT{>aqyCgL)_GvIr|gy&H8b!bmgf*HFh&ES?mhaTAT4 z5^ar6;!@p4J%XpLgO4MNvoN%MCTo)s%S(hUi!*H(N=OLWP;LlY7H3~zr?F@k@-DE$ zWO23$?MY~Nujk5oxLf-2g!OQ@%;K5r;o`UOT414TAJv9p#a&)KHX6^{L~tU%w0=ls zZNbzX7&VVaZGa?l;}IRD`Q2#4B7$AEWs%m$B!A5wL|aziL74Sh)bHR%Mcz^jQ?yx< zd$j!+KLYiAF^m8~haYQf_`0J`Vng90@^t3fN}2c{_QU zu#a5Ux|^o~nT4&hcnR2d|S z%h8sbWVI>=Z!_w0lPs^8-Kfh=vee%~U2c-)BD{w>Zj$4PG(JRQH_j$d_4NtrV|i^U z%#JLi@1i|`b`Eb7w%o(Up>2dmy0{&{cM-yt1=ovchohayqn?AgJ^PY2=S^srqJ5=C z)8(1*E7UjEYP!5680rgnxtb22oANgC9@?@VUxVGek9rWs%g68ss7LT#NLMCzCU_~4 zD`;QD8M9-$8>nCA+UTS{h34LOzDz%~@(O{RRozw4+|cZ$Y}U9<1YU zV!DsjbR$VWrjskyjm1N|yg32<( z#?2i-WiABd!IRVi z`#19`2$;*W0hHsP@w!v+-FqtU5^5?pp9b}kp3gZ=Q-}R6Q#*5>fj{_rE}Xw}nugI8 iybD6$iEBOsVCUHYN~e?8ouR3|mnyUdEf0yAjr diff --git a/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv b/binaries/binary-search_BMS_MODIFIER_23_RANDOM_PERCENTAGE_50_ELEMENTS_1024_ELEMENTS_TO_FIND_100_VARIANT_2.riscv index 0fe9a46d1622fbc54580e58519cb522aa780f9c0..b464890786cecf9a55d0ed41b73c88a216c3e894 100755 GIT binary patch delta 12085 zcmai42~<=^)~5 z(5Pt)Nm}A0LaV5mNpJztahzz3L1R2FsA$ZfjynC%G3LMZ-Ytjj$^3cebbs&rzFW8I z)!XiS-DR7dY@40Rd`;VXP$HH%^_!6F^8Slmw!fgU?d8?obDk57lr3tx79^2)Xk6qo z!YAnijVB$`dXVU=$>g9Lt~j(y!**$3tL=0o?Q1ri_6`2^d@P@irxxp3`lgceXe1>* zgSAgvr*)z2>cmrrQxfp97PkP_2jIFJU|Zy`e`FsHn4@;SZitq6dkiJ*!zdA4ejFN* zicW*7g@JVT_d$EXS9Q|Qjkb^J9PcwYM>9JQV2i^5UL8S+(A?!9fr}(_0O!D9jPQAa zniznH+lO4lMUTq48?iKnH*KA5M)ErRv)=(PZP zKqU0owuurkmycl+5lJ| zz~W!<%9#YtYv@D)PJ&MvXivrd9P56+YgQgDQA%|cdS=*ctaRGq%w4Knx4y8=?Y%BZ z?&jXul<>2Ju)O%a-J1yUG9*NFzW``V-01R7UP8x`*WT`K5V~QkUsLx&u~yjDL9UMO zn6hN=G$mmGp@|)&(Pa8G-V}T_rj3&I;|lH?+qQNzI6>NCC$jZKj5iet>N=pu!f_$` zM|XFnDRbg!e(v*_zck#WM8vT|!w;;t+vyxHO7lXZOzT1-^45inEMF568?-hgDspW| zMEu&2krP&j#LikB5|z0c{MF#E42i8?84^{u658d$=ld9g==8(D4v(}UG{G=$K#%Y( zB}d8)2E&aVP0whG*9&<)*b8ySn8F_>^l*DTfw_6;v^H}?!|r+IbOF1|{Z}-}5E#}j z)|hKkpGeEHKBO^!`4Hp&xY2V@6+#CC4Pkx>>H1oaiG>{`a3D<2z_5be9vviYU|xdP z6K`Uj+~huF#c}u7-(fyJ>E9)z*h0AqacHB6+=NWVm%DlbF#q!!p_Sn$aWruU)g9c_GabCta z$b+hN5E9&sL8bXtqOP(SI9Ckm_T<$W$r8m8iH~;ba8W*y5(xM_metn_$ z8MdVlxw~ca==9Ppios~e|HCJwo09&`7E->cfBtDm!+93z?v)c>@SZ_W zZWL7hYjR;<=%g_q^GlilQ!aK{@Aa^|bWwEO`l!6Mx?yzf`eAu%bi?VI^~3X4>qgMk z>qq3R(v766){o3vse75OT>o-jwrHE58*j=>2)=4;3oC%*NolwZM^Z!anDS%!Jh-qU zH<047@**ie5%Zzgw>QlfE%~|AGbi4Uxl2ikO*hPS4ExGGUjdlZHB`X5u6-4!G3=wR zNv=+R4~d1XAN9SL(muXz z;?;&*l$ge`;(l&HiEu<1n)-+Q>B(sJ)FayW)c35k^qQB;$y=DoTSl>EH(#I$i^*4s_G*(SbMrc&6yLEP_qsp<*>>+yt|ET! zG%*vb%{y2rjbY9{bClvZw#X;Zv#6cj?oQOL+7xg*q~@bI*6b6e6vnWJJ_D4(SQgkl zTfnyN2R)tcc-*eKbEECaLoq$;_d6x9IlgToVT#{60jK;1D(3kidK7a8dfZpG4^zHny{cJu3W*#-?Z8A|d;3jTM8?9WZKq@2#;` z-+&55*%-(6^o-Q)TX@HMwPzGn*59%E1WpVR8@V7pORp5iSg$7Zbru`zJbsa|v&W~o z3;WWv6>8YTby)^sx2#_(U}V8U0ks8V1>7&#=vLSQ(|c1Kh=nbzq;Q5(e1^3PXl6-8 zp^DQ9wzTNCJ38W)kID74(Q|gqG0e)(UH`E@kzFn7CXziV;yMUpWyL-U zfTg&X){3nD#a5R~`e?p+)&K9Ot^6;(KU-7cqUFfV{KXh^Nf7#3zv#mlrm0&-R{WCx z<9FB70vhGEiruc;UwkJ&mzsjx8~VY8zBin&S6T6iLtakD4;kl%s@5A$^2$7ENU@T}v@Dm+cs zduWwVw_Y0hum`)k>ulF3tES#L*|>h*LSf<^hGW)6uHD$eso{uXBd(boY(kxPt4E-?wY#8l)GGmz)Vm24Cw zmLQi{g=yw5V^z_gQ+sIn(eC#R%TSQ*19-qw))kB zXSN1d=TT+UE^EO)Dv-Ts?P>jR|2Rr7TYo&@F5qdyYt;SK53~+FoC$HwWm6Bux~J51 zlGa(xhptiD%JM&tr1!1+K3`7hVHWo1>B@|cS?QlA&;s_|pOfib*5`{=3i+5-e=(P~ zTAjXxF|=A;8<$YUc{f{gp?5nKaYhd zVYMvacre|`UO7HOnfeJ^bA0UBhkG!1I=mP-{zoKVLYm9c2?sIyGtKGRst}^|fUf}) zAp5ueP_>KOX#0i zd2?h)>Rv6WtGbs6p)+S@lYyIojR_EvZuTB_vpE3<{L+a;CA`kM>;z1EcpY2O(yT<) zu~8>`Dk*hr#>r810o!ph1g7oC$#`00)t!QUQNuj{@+G~`&iy4`iKw@FpYB2dS?|BD zQ-;^Gn!iRV6YJTfzwTAi>e};QKYGX5h9z@OT-Jb`EW1#WpaC(__fYe&qi~a`oN#zn64#TW8({Nf-`8PTU`rSf- zd8NSg^p`DYoKL{Vy<@7pE}bY6zJs_^qmS1>`IfB%bm>` zedy4Jhh6DYFWTDB5kh;2L*?I%8^C|+N5i=}p2n-)H$e9fV6qxOu_-XnhHYc%-(VUV z79`RuU8s#GPon*(nP&osfoz*Z`_jw&$Rs+Gw(_9YL4_VtUZ>+>llivS!L8v(gd9=N z@4ik)(R|*2G95>^^GpCgS}Yx6Q2MXsX0A?QqqO&<&nRm-ThLJ+1pw0(vB)_#LQ>?jt-*Hyj(;@J0yX3fw1Vw zXnsW4a~$j?XwTpez@`f&1f@c7wnMOXh1NrlYOqB@o(SIO5WEpH-{*D0zT{xPkM=2k z4QzT|%Vkr+&*l*PIR>Zk_$iQUyO^0yOAFdXJX6>!9BgF==^`*b42L{c{20?o7fdW$QJ)&D25Qd-!uUHH;UV@LJqE73B2kKiUWNLr z4*HL%k9W{V!@Wl2nPaE(C(~%K|0+9;kjEGs+?x-cPQxR^;mN=AVsX)OHN!iq&dX1z z+j#kOI>>)=UwivA^+FDF)sJ6-v~(SJnL!8nwG6TkYgB&+)00zt0@(C4&l6GOBkZHT zQh&(OlNJ1=us?FJ3%khOY?=vIm6i$it^WzOn2jqub0+kW#j6GE;%5asq6OBZsiz-dfnSMfT0#MSYQj-iG?5#rE;Te6&2TY8OgD)a4!2_h~wJ zN~b2jd71W&W4nu3JvqlC(_uoYcyc;SNKux3)XVDco#Lum4pDxs%kAykXm8+0gl&7< z-Y)mk`e@@1z)n81(%v2cRgDUN;kDva6dBZD-(%0VwjJ#e#q{4LZs zJLn^VwLHd3HC{cmg+j{ENUG$+--P=^s}`Vo;%i)p_!cL1-kY%P?R@K-a5H-75cM1N zCp0}t!e;@|Ml3a`Pu#-)C9+!_{3(4zl%CY{_zalRb38KxI=ReCGw3)afb(-1Fm;nT zSLV}1dX*>7hZ*fz#aGP-Ikk${0>aUH5oG_?D*Ksm>aV5t*~)_#K)CN#K2hMrtvnx) zR`9w7(B*c14M1_<#yx*e!;=%Y*=H$xNy{?eJ$wBo>N6blq2fnL*r1)f^!Jec0zU-c ze{{Qj>%@Ut)U+L3Sx6I=#GO24A<>U%3zl6Z}4}1*(jFpI;Jk0e5)|l3n4$1YGCy z0TgF5-}V*+1(^9Mfk|fmFF?O6vwdHuB1LiLO)_}=B4~Y@X9}?K>P6xt#bApV4=l?^ zz(q~b6B|D(qRgBwhA4BjmU5>SM83x;Gml&h2g9gc_C0=rw$x>_Z=UPCVliwM6ts{X z;38!4Yqi*Cx$v?!6sUKX(3$?u__T#XAPkd19lQ-nfB*10`{t+6hx+(B_)s64GNH2? z-aiv|NCZA)$ZW+J4dwIFOo-0s)gn5dAIem#Xu1^6S^0Mn*=Qw)4t299981_Q=S$(zZH6CtIxqbo$OCF`3qK;pxCDN7?!3fe4tf06 zqWKEyPkU+c@^LT`b$2`uVlh4y_3c}=_@$^XKphKVPwgjnFc+ioh|gaJQy9(bmcfy< zFhFZQ5}RMfC=0(P>=jsWM4&kGnpP_9;eHH4SF@%_4POe_jdh^w3 zMgZtyLc?&Q&td#PHQt>>;N+>58hFtd-=^KO`NvtX12V8oh{MJy7-ZpRVT^;jt=9V7 zgZ6YacUKbYkb5aMgLB<~Ib3*TU3UrFG4vzgMQ!Qta&>+Ru2<3UPtJ8?4-| zMmTK5M6cr$z<&OFk$5#DmKVV`LBMMca}uuVE~Etao7@las@{b-V|=KVhP+c4jt?QU5xh}H@yv;a~bbaaoEr2Xt(fqVV}a<8utjfi1s6% zDQsEEd1C8!v={MeuybVLW<%SCwk+H-P*;X&W5U9X)T8c(x~$2p-Y1VH0F&C$ExmXhZQLY+2gf!>(UNyNw?K+h3M;C1_7Y zd-5v&FdHteMLcLFTwG7{VJqRvP{s3r`8|AH8%j7n95!Mj3$GKw_59?@PBnTUrv4G5 z&U4c$NFpCtf`c?)8LrJC>^QKKWeGpnU9)}BmZiH7W(`I?Ya)&b^?|6b;?*KuaBt0a zLwgk3^2tsXB+01DC%eHI|69~;oUVq!JVwJ8Z#+QNH%CEwVdG~)UTp0kCZUfdun;Yh-?sr#s=Jcpz1OP^=4ka4klYZ;w(aYGTK%A zh_HQd*z$;Z3+-0^0PJM>V6zlkuR$9hY{+QTOHoh4CzUePH>3WLPsoAZnb+3EuIc=3_}@u#0M`66X*dQY zIp|TSJEN|?&w#|kQNO~^=E4lh=Z#eCGYRd}oaVuWyP&}@kA53hd4YOtIZ6Yc|4Uo` z7rT~69;Jg^<*VkT5BP$kG}=|x!moY6Yk_;p8e9IQ+U&+39;M-~@}imc0S`Myqg`a_ zP{QXQqcJY>MqkEv3tENu{VIM(P%~09?|&Sqd<|~l^97aFpoQ-iR2Fa+en(KOEuil1 z-vl%X_aL+tR8}_7R#17kKwClO?uNF_Kr{Z`wwb;HucLMYD1$!Zcbnl&{w3c31gNL^ zd;lfpDz7~O>H&U7s0Voe7EmV`_<|Ntf6sRVg(t*20;+iblK=<#d;u^80=DuyCuzU` E12z9sh5!Hn delta 11808 zcmai43s_Xwwch*8gNKMSpuDs?fDfcz9>ypVVg@Q0`HUBAG)f|Zpox~~plFmB0Ry65 zV+W7A)kXs*H6}3z9F=I=1Su-ZP+yHFcq74+%z6i%g*h5i*O; zWj-@}+`Dw{Zq|Ds4AW(1>y0~J?YgmD_gSr-fpwo%lljo7pU$VQ;*+`E)yAJ!%GRfF zwl7ittmv^Xwd5YWYb<96kSocYwc!3+fGZ&Or#{q&7nW(AhdiPWVAL4S%Aq64>EqRa z#r7Cf8VsbTKMC4P9@ImhpXM3UGk#xUnQrzRK%CbAIv|2z(WLyw(sqMi5NWJIu%YB<`hR+`j{S+%>qkCLwBVd29 zn%XP4Y!WzG=t%Wx_^bi#b$LG10=o=TD)<^@tzn~4HEl9)_Sxbq{GJSSM`IHv+89$S zQr`_d##pc^JvQ_lpgCi;--e3xPDfU8s7dOkapA{8tK?qQrB3Ef>2%ajQ_@E;9-Pt1 znygdzrdp%iV>&o{b%L=&z1{0)26neY4Gb8dRCTB$0#22s7O(!>uD|Z?Jo(M(>u1}i z{WIquxql1hyc|9iV@wHHfHWut> zH;)-r^-Xqv|9jc0pT(dW?dHhZ@B3PfueEkETdd2JZU{bi&#-y({>`qcA%@;N+MD0` z0XkHzfx$EM!Oe+LP0TL4ojGCcgkWErp(3Nx;*RE-e;v-6Y)tj92oLU65w7;?dO~aA zcWg*vt=0J0y79b#J?-;qjFEl+bna@?s{K{{PODpnunX!(0gvYHtNcxsk+oO$`$uL~ z#_CQ>Q~%;m77t-fkC-1#)q6JC&Q^6=>=8V@YR=I|<7z&33@rJfFn8X^^9IiUduh(g zM_zs0f<4dK5IQuD-73S%wDrv@891&5dtXmCKxlLq6^5 zR!dUG>UgzkNFpqTQwv$b!hkucR%y!tsMS8*%n|FV(ev z7lZvKy4A|T9l!O#fH-x()o%6~46$R?ZflC-6R(aAijDAje0g!^4fEZouA#Rkcf_v! z;zZ-;Fp$d1c(pXBWwboP=Y3MHF8SM4*Q)YWP>r8bikU%lNBPesQ4tS=Rz`q%vaRwp-elf*9KgV zuHBui#)ZZzrbIO-bcA9WsjdlKCP4}NFsS;9<@(mI+dJ-mE2rnxgVp2IQ(+x4;r{TI z5=KUhRD4Ie=0=2ZbHEkD5eTU4pA;65Y#0{69`l*Nqiwg?k<|sies7eaG2n{&dH;X1yX(n8qqt&dcdfKdiIfL< zHnqg4_$0cX%oyq`57sexfwbL|^8%%vHgl;Kc4TFVN!kgOizK{NStKE-YP^K$RqF#x z%`m-J@VUpXc3U}I&RdUtJ%8KBxH&K0#T)1bV4!L{JE0E1$-t1F!S2i5PkKT>s_slIu=7sI2# z&}g2@LY$S8-s>l=&u(Adk5+mI6y~wb{KHSsTRK(T4wp9?h@LN6DA-h zv?C|XLQa^6oX~-supBvJ8FQjQSc{yn9ywtXa>6sn3EjvEyO0wyxTR>DhGkH8qd;gw zPMCn4(2kri3prsPazY1k!gAyqLjTN(0%0w3!g}O{O~?t)ASZMqC+tE_$iBcC0F?bR z3krlb6d;gbbb> z+I9{KMY&l}AhaPTOh8U(M^2c9oG=eLp#wQ#Ir8!{+;MtgEpozo|_ASbjVC(J@ln1`Iuft;{h=Vc6cm=gmCYmpPyBPVP^PIv}6 zp&L127ji=OCpiOh{b@U}2E5RQoG<}7p&dD47IMNo=zUjK4OZWb@JAty{gPH0C?n1!4$4>_R&Ibr#Ey#8TF8-UXb zYmpPyBPVP^PIv}6p&L127ji;&0k3~{0cXGqZO91|kQ3UG6J{YN%tKD-Ku%a*hC(@_ z(+g{n6V@XqY(h?W205V{Ibj!aLO*si=*95Mdt8?8tz%}eVIEV8R*VM*9356eK@xYEZ2`XZJY*-<)N>i{v1z$IL zqSEz&I^x72ebz!4pgqxtH(bb#}(Cd zG8$%Q_{mhB;`-G|nDP|0^uIshYt-aZsY+{u>y=ZzIiR}!e^x4I8`OZ)qm-KsYTD^~ zrMp4Bdpey*xRO7c&3S~n<4haRRTs8JSqk^-<9ickhxI$K-&NN(B+k!StE+p|Iv%QC z`=`Y(sZLjRN@a5hxA>j&P%^m1zXVVH0}}*=Y+edMjy-y_1g+U_p5R}L%1~b|=spA; zuh)Z?${;b6gOt*sOY1dhnv_~mnxaXor4)gKZ;?{tA&E_OA?8#vgkK&&vKT92otOs@{^1PIe5d>9`38#yu=C$~R<{S@cqeGT zCm9*(D6`j5Z^n4i@1Sme&a;~g_$pk^<4Td5598e+X5_@5{H3t(209r z^NgDNGd*>^m;Mpz#tokF7Htt4S(>;bvu29Oxd25XdoB!YzL*D0`PM16&*gE-_8M^# zFg$9bXO4|Fz0X`>eIAas*~?Ce)a?Y3D(w&TXMohS?Hbx6L^0SAJ2!bIcSgx5BXe&O zyPk*HafmjVW$9+mu-CO8d5o-F@E70!)``RyAeq}M>aD?gvYVU5>=z)JUDQAr9Q8ZU zD11Ja@!GK9zrdk-bcwk00-vB9*dmhW!8F|7BIeKI8GM;&mPa zP7(AXjO?qOA`Ora5XCP-qotxwLaAs2P-@>0$^r;F@P-&E(fx*)4G6ctnguX{OuVxI zf(ylYfN-i~RNG4LZEMkR>~8I>fqLDWd9cPZ*U zj3Rv}8ecrr#orgg8l|e3+7+T-B2pbNQaC#f=maW02cH!|)iDLD7z~x5Qq1Ebs8lBZ zB>GUJW`ZA1bu;;|pr0aYis7b8l`7fQXhRu!K{ltFmHhuiKSD$<;uFH@&lkupcpUa% zIyZ@mMQ|7GZuVRo>onWUZg}ZCG~L9!3($Jhz2gH%GZqAEiMr3g{`-M$VNiL(uPm^M z(8b&uZolL?h)1-be#}>-E{3a>*6+KR;|aZIL;RpRT|$3nE% zi?+ouKUDjIs%}ICcO&@l~tD8j_57+dnB|I*lilPhHPDQ_UsGe`KR@5@~8`Ppq#X0SkNR|BT?&E z^|5AZWhksYSS42G%PgWz+BdwWAWpOWm`(7P-~`p89fQfA)od$sdo^3E=@#}UFMXY+ z`?DC459uC0BDCTXQtky?o>zDpOFIt>Nt{;pDcZBeQLxL_fNYQ;Y9hBvHIw+a1zffgG-gFr6Oz`ghBH~#WFYqERNW1v}4d7 zC>o?qbrSTbZAoZ5#ARtmVV$%9?F_V?!nz!6s*`S_Jq7K#A{A`q_HvQ49BzmMakLl@UUwATq<3Z2;TF;3^`B-)uGu@r9olSICZD#A-`Bo5_1MvW6S zU{B1;)>mB!+P#wXsiXpVWT0+@p-zP{#YdqYAnwR?LD71;J(z9`+DA~Q3w|8x^v<(Y zZ^kB~o-49nhK1zBmz`WpmjkxECh#xNSQzTFHN7{ZuOuzFFrUZx*01#Z)3KWp?4}Uc z@hZ$yfqIEvRf_8`!$P7GQ~ni>+%{s6QCL^N7}K!Qq_gxU+Vpz)x!#JsgF3!mGI}X) zK%L$$>6&Umo!%}<{}Oe4yUby9Dz2jO0AD*vzlVA~PBKt!`yTb=Df+Br;ZMK*@K~1D zdXeC-z$u;Y)a^CcY%tpNG8uz<9O_iD(y~lJJxAn2y0T21E_yefiT0%(dN=i$?k&{6 z#qMcExlrF;<2kI4P+#yHUB88Snkm2j?2Tn~levlp)#)YJ;2YFqMdV5tZvxJm9qoUh zO)n($)rUDnpS7D_@qJM568g9(PZ;V4@G7RW5{ddUJzg}fge7Lc`b81YgWx0cZhO&SKR z#UMAn=r~c|g!(#sXPJh29mS(g>*pZo@|w3@)F%+X;bq4#{-z!u%P7%jT7zKL<@JcW zhz%Sfu^iTQxmQ2;(7uc17u~xbXzBX0ZcIlfT!DI0UM3qv4Wui(jpuP49!?nAU+wff z?}Jb;eM8rWV*D`F51>8*^*GesUiv81Yjr)AY2Q#lqhvIeVgnj)8tMTey8@mIg|&MB z)X!102Q*ex@GtGWQp{-P@eltBnf}%|Q)~m-pNebuE^)S*kM^gc`o=C1^anmVh>CUk zlVRW9BIgf0&Yy1F-Mhp_i1V}IBhDt;{=moh#UPCl))t`j089|sk|v>>Bx)q3THG$$ zB&AZ+F099ZQppHkM@vfe4!j9VN@WqWm6VDrXnPzetsH18DV=#}D=C9NiIf|(J