From 2aaedaa0b9b6c4683a3a88cfd404b20c6a346be3 Mon Sep 17 00:00:00 2001 From: Javier Chatruc Date: Mon, 26 Aug 2024 11:26:39 -0300 Subject: [PATCH] Update toml hashes and multivm_bootloaders --- etc/env/base/chain.toml | 6 +++--- etc/env/base/contracts.toml | 4 ++-- .../fee_estimate.yul/fee_estimate.yul.zbin | Bin 76064 -> 76000 bytes .../gas_test.yul/gas_test.yul.zbin | Bin 72160 -> 72096 bytes .../playground_batch.yul.zbin | Bin 76256 -> 76192 bytes .../proved_batch.yul/proved_batch.yul.zbin | Bin 72672 -> 72608 bytes 6 files changed, 5 insertions(+), 5 deletions(-) diff --git a/etc/env/base/chain.toml b/etc/env/base/chain.toml index aca6f4f7f68..6eb1557a56c 100644 --- a/etc/env/base/chain.toml +++ b/etc/env/base/chain.toml @@ -90,9 +90,9 @@ fee_model_version = "V2" validation_computational_gas_limit = 300000 save_call_traces = true -bootloader_hash = "0x010008dfcd3aa2beca1745f437e42b55a1657712bc063e2d52aeb2dee138c399" -default_aa_hash = "0x0100058d8dede04786d92d2dd62bbbf8b696f62c5db1d4b2601ac6276f5dcad9" -evm_simulator_hash = "0x01000f19ffd06646d0e66ed6f38d889c329dbabd347b52e3ff93563878a9874d" +bootloader_hash = "0x010008ddf6824c3f8778b86a85d568ddfb45c29bf23b604fad20b91e6d8d458b" +default_aa_hash = "0x0100058d7a6e6d8f0ba29e37f30a89475ae789f5058004af7df75868f46b7705" +evm_simulator_hash = "0x01000f196acd122635a752fcb275be0cc95fd3bba348c1d0908a517fe316418e" protective_reads_persistence_enabled = false diff --git a/etc/env/base/contracts.toml b/etc/env/base/contracts.toml index 7e7b5cf3ca5..b34ca5046b8 100644 --- a/etc/env/base/contracts.toml +++ b/etc/env/base/contracts.toml @@ -26,8 +26,8 @@ RECURSION_NODE_LEVEL_VK_HASH = "0x1186ec268d49f1905f8d9c1e9d39fc33e98c74f91d91a2 RECURSION_LEAF_LEVEL_VK_HASH = "0x101e08b00193e529145ee09823378ef51a3bc8966504064f1f6ba3f1ba863210" RECURSION_CIRCUITS_SET_VKS_HASH = "0x18c1639094f58177409186e8c48d9f577c9410901d2f1d486b3e7d6cf553ae4c" GENESIS_TX_HASH = "0xb99ebfea46cbe05a21cd80fe5597d97b204befc52a16303f579c607dc1ac2e2e" -GENESIS_ROOT = "0x45f206478fac785d68ae8217999e8caf66c4e67fea1db90139422e5c4eb5cc51" -GENESIS_BATCH_COMMITMENT = "0x9e598e2b5784e62dec66ce37d92bfa4407d7441fb77c003d09856221e286eb95" +GENESIS_ROOT = "0xcb36c2f9065392206dd4aa019208c0b36484a35ce5a77af13054c51526c7714f" +GENESIS_BATCH_COMMITMENT = "0xb4a4e83cc5264fec1f41762433c59f3b8f57da49bc222d4214cbdf7cee8f852d" PRIORITY_TX_MAX_GAS_LIMIT = 72000000 DEPLOY_L2_BRIDGE_COUNTERPART_GAS_LIMIT = 10000000 GENESIS_ROLLUP_LEAF_INDEX = "56" diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/fee_estimate.yul/fee_estimate.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/fee_estimate.yul/fee_estimate.yul.zbin index 6f86e6f1ae0b37cb9e2749be246f52ad066e3b16..fd5cc89b1239f7267729d9ba53a9b434650924a6 100644 GIT binary patch delta 15688 zcmcILeS8$vwR1NM%t|mbOCVWxVK;=Zch@cUOM34%Yyap;3kwwrd36eIb zU@EK+>!~yn#YlcPj+w z9p;2{!vwJN0u1L-fHECOIWK{%XCNpiUz=8LV!9l02gf~#y5yFa)=0WEnV4|pkY{m| ziBM&6lAEB;;!c}unohN!cv{9dJwnD9GJ;{ug~NzZ9_+R3HIezjK;jD~%VPc&ri9yq zGm{pYEdNGa?B|c6RXjrO1i#fu@*!YVvWF6^&`Hp1^)Vqs65KK}xBf1apcFah7{_Q$ z&cuyHg|AdS7Y3gDRnNtN=c~}G7#%`Tj#PY37@fNr7kk61RvQdv=ZUbzCO|u`{WfG< zhXB1crxIkM9z;!(6L8N=*kH4VsK!P~(xRC7)v#<-Jy`>1Mm2~(V^Ta3mICTVqsNa% zo^dseM!xUUfpn`tgkW|`E_eMPu$Hwa_}|S=+jV zTuJ*w6POo0kg$Y$8UFw*vme1da~y6$*299a_2SPN*%pN;Ras6Lo{r>jWv3@i4Hcx9CJwlS?x30nC>rWD->d~CY<#P9+)EKyKQ?(F%+3;VcMWcEOLhSn zm9OzsDXeqzvPU&*-tf3hA+%tQm^S$dB-b_BDdnFh+5Sq`QyU2FyBDgaRFF-9~EHz zv=?O$P$rn-JXIRC@{$)QLDV@&ushUVkn~K*3&`j2{p_)jp8w+5z39-TnC>|)msRGc zO)gr`IWy-nm%xT8*%;D}s}_o_Os~;*L%seAPFz)u#XrxtoRmVduZ%ngXM7$}SL9(r zflqAL5mZZvPFb+Xw$8+gCC3esD)IxSo8`=yQ%KFzTgWnFa#5trs7_*o$c(J=#K??l zcNQR6d?V?A{^A4VkMPnp)#9IYa%u8@K5drxbKbJ;`LbCex1 zFuXYz=Hks5=C4qU?P*0Yt)zu1C5gbt(+kLbi29tT2yB|~%rj`dD|U^Ar8Ba` z#~44`l-YX*`uPmZ-niOv+0zA#xqf__O^ePFF?bsdy8*f8CaBhY(;K3fY=Sytw9P z42^M8sVS@h*w;OFMxiwf=TpP+dl)C-_u5o9I!q@4>A=1pje#9E)`)K~Jfrfra#n$q z`rc%q$`I|CtIQb!jGXO?U>!{X3}qJOo?(9xEDp*kwFdOhUQSA2*_=ow*AN{qr>g;? z+$c;unOq9z7^tLb6v37vr?10O5evHk7O{HqEheoZYCvt;D`DMD<7t_@DQ1~dZ;WX? zLa9SdDw-@S|8@*zV?OMH#EJ%ts~r_38GmNr1Jd&v^KT&dzA&75Xiz1=bvG}LV6Lz& zkW+mtkT_4tsW3blDKm2s0iG<+f^G9gW=Kx0h;X&Da?Gh=+YHP&EaGt^$$u3n(5y}h z!Q1DzkpCCT(7E7UG^AW?Ge%H>tYO1PZVg_kc> zuIK{1zi^UG6Uvx(IkOD|;5~3G@{s?A@qL~|NM9wVLx#|%7I zp9bv%&()_v2R>Jx1{EBt{RZ}I7S(eE=`^T70QDRJ9ZL^VzD21gEZaH|^|qXidIYR7 z+d~5kdirbqaRZ+Ia;g`SFQ9IT5AD=Zy->UmRmZn1Nu{$7c&NIN!B$v~NfQ>n6cU#@ z$#syk)G7WWD!x2B8P8v&Am|?7Xt;FYa~#z0-$K_?C$!&*8RDPNzqFcs2UR~=Z3_)j zvT&es1T`L-=VXK5?}7GJN#m&%SdVH9di?fO17d9}Jy5yI2*U3#Gr*_JeCId9&w2eS zIQ3J}h{kIk@1v5I#5pJx*7m{3_L>K7-(a*e%yNn=u z5n|dhBM9UTg3FB{Q0?BEY>RzRCs`32aD2meW)OnFV4FPmA$p;7HU~PB1y&tOC7)j62pj!M;v_ zIk<|}Vad{i)Tu!9(mWgNUS}u`GjqKWhp1Y3<~}0`S`n5|?l~@w76&sdoLg^1m*)Ei zMDLcfA|7)Ed#H75?J~V?cQ8v^&Q<2+)Xpc%u>B{u-Q^uM*(l zhmD~8*mOF;QETiWm^L;cr3X_7((j45twcFaH{^wKO!xUX29(G9{J)?t{QP<%X)3=j zZq($Bv6QoAg)pnhm~I^B3v^a*l`%D5S9>65lgCya4GXFs3RljPlIbv)OBV{Rmatsg z@tb@uKE>mNl;UN#e-*kmo%I$dP=L@) zOX&oaUWCX%zOlaY$JMk4!4c}ndn|4&x;GusEBF2&ZYo_T((|z!7~uXLH3ht9!M@8x zu&f`CPM6it933appP6PqZxqHLv4;4dJqcj|DC7ssDy>rI3%-7mVV3b zl!78FTWjU0D6m;I2eQgtvl2u%O_CaGC5UF46p2ckJaBq{OKMuIe)C>P4)le*ol9Xu zY){I1B>TtF z73FRBWO`Lt;RD$oHfa8rWLg1@LD{mX-DBaYy;H?uS`pyPUN;20 zlLr_sYFR`2psl402ijk?)KDJbfv08>3pjpt7QbV*J$;ri$)0I-4ZOT!;H8s5`m+TC zFRqkdG(XoTVKwbbwa5w3A_P13El)t$D~FH7%Nraw8BG(~d*iQbaG2izYs&qy7Zw`S z89Lj{`i;^2kWLsk8$$TQ)6bNNm_!FR{lvLsRvh4TlLOQM92XCk-(!1Ojm2l0rqc@n z78CUUrZ0_pE2W7y#3C~OYA`W4jD*zAzY30*F3t)im!VQ}NtqQH*)mk>Ji^3vokrDf zFB(|K|FUNut;CeUXqv6n?h!MAA=NZK2G#k&;sYL1FMC@GW=g7^P|>y|syD^wl1@jc zpIb)Yb38$W6o7c_H@a(-R!q&jH9~iQCD?mZ;yy|VM(S!kTZTi`@6V>mR*PN=VA&s5 zXILri)PEQ!D%jTPgm*d zGimW*`P*sg*U`3+zMaC7LwKRB6Z0@#`0@0kKh7e_kn^Xrn5U8to+Z*0B=xH>8Av>Y zpGps5`o@)wtMU+?g81=icITC_`%sqj^*{B?Fpee-(}bFt`lU4QQ^0Au2_5R~w`|07?Zw`5~NU%EDH5=8B`VR)A*IcvEMxto3B*>r6zYG7VFu zN}ngA(tQ80(V;Nsb)#`Y!0@di`=x#!IS)ke;@+4v z$H$E^0O~s7@usLrqL?v1Ilt`jI^)I)ob-6d#f_D7(kSs@p@z4Q87ZyzuE z{fZDNKIMe(P9?+YQ;AS{3cLSFI*?{9NTv>?Ukw7APtgm$8bo>>s_lJR(#v~%wjJ`} zh+UF#>{GB*eg^AS57w<7>=t_PqIi!WX2;sn#GeOqk3?L)N24Oz+@mMTrWpp>z;@t+ zT(TDeAJBV^-5;zL+2q2I?*6}}W=vtsDn!z>3<>x?6Sg5o@AM3}a%MB@hB%jLI=da> zg9)cgN<9gzH=^SNjvl{B0=ER`OO{--^qeH*E+JI_f)Ljf1DXei!m8!J|P9E=W%72eMWFMTW* z4V6W;?$>l?xby?wZG4AKq1CaHg5< zeb_YjVfWi7$k&p&vAyVSl=35tr|1MM)Ik>eM@eazCZs!bU;Xd1KR_6C zpR2(zSkPOBVbI)LFa7g`ao2^l0y*cg-9MiU)#npo&iT+yM-@mw1%j6X&(~(W5kos{ z0;|vt1V5YPmCuJLeZ=z|&(fjNW{}v2M-()WY$T}cbCFD_>$^BGvEzU6i5+@1mW=+- zD~RZ0Qr@OeSJegl27Lj)7~@)xYySlSr$QYU8c0EK=9ll#sZjFQPLmYi&OKpFjr*~D zfGgf>1AGYeLW$0ZLIs=;&RmoO-1%gf3#j`B2VUPG-?*A^z5R_*S4dlm z;I~FaJ@BnNG!1s*n1n{oAgVH*BVGMntU1yiLkPu5Dvq6Tjs*XVNmo8i#X(nbnu-St zn@9QkQao4@)9&H^8nKxAt81;o-sP9@qv0j=Ra`4^HC-wo*T9KOXYst&@%?f#9VT3+ z|6C<-nf?oaw##bh?=B0{+`x5znC4CgaqhGeVdorNMYvYt7$<*c9dY6g$va;ldC^P8 z&VJ(Y&ZJy&oNM-A{iU&rAlkL@q5-NE}jddn+F*7vkGsVhE z2bvQ|5ot`if>?G9A!i)Nul?e!w)TT>Z{5B6!=;N-re(YWZw70g@-M!9>lZH%CGRCP zzH26C3NJRU8AgNyjw{HSajt?1v+~~Bdve~KJ3cADFK^kS3trrv>7ILaeaY{?EVDid GW&Z~i`bww( delta 15256 zcmb_Ddt6lKmG>Lw>P&?&;Dg5unW3m7GI|+bfM5W@P!&Z}H$-8Jc1?X@HHj4!8ceGt zl}TefK4Kt>4P6uE*SI@w+$}WLLNu*3@s-#r8k1P*28^!SRU^ip@4Jt=GZ!w5%^!m^ z_nvdU^ZL%~`@D40Sa-^}xsfEag~ScEkTNnBY{Tr}4S9-;gHU4$KOQl%VYAT+)kX_gc?;|} zS_Y>Y@F}Ac$>{i?I($&^0Z_O;XB>;GjwBYc1OH8f4E_PhfQ){N$Ru!;%!C{L7R=71 zE8^R%fHktE=aU1T=ZMdd8-l#Vm~!#k6wYdz!v2jkJr4E#Q}{dzwZ&wGd;Kj?Z9-8@ zS~0#O0~H|v1u8dLNGflzEWy3V5i$@;kUKE*=~9#+8#(6~$Kmt~7l(RY?)TiH zJpZBJ^9ben3iK&PhY*w_8lMwJXC+-4>SC-geVhf7VlB`ZqgAmF>RwDApm+;XO$0}* zRi7Fku7-;U@I2EquyAlCc@{1YuHt{h_}n}MJ$eYbK@@uQ5G|jp6{rp$6iM~kqB03u zt2o+D_%#fMN?fBO%UT6WB{AB>6-hd>~~n;JbsQl=(cHdJRqCA zZSjhxDBD(KxhJ+oO;M?0S?X$L9Wq0rXA!ubsfu0$xg3AZT>Krn)n39joL&> zghZ{!>{M1!@q&EXlI)O##!z`1KCK-o@HGlXhmI%KDo}nDycJ1#1op>RRQndAM*J@S z*v^>{JuPy#Y!_213>~$X;=%b*S|RG#V$=~;%GTI@4-}6sAXVOm(U~Ns+$aUJenxTY z8Re~KOg@a>+mdXjTko>FOxk*sdifZ|lp2GJTaQAW*MSl@9;4;+V^nPE*u#=r^cF`& zw+M(mNr7%*^LLBzH)OXU*Wv4FagZ?nK-?bm^=$Ncj!R~_yx!oT*_ktP4r3;)ADx8T z+%}<*|97U{fE6{`-3wFTJcieo*P2E&V#RCN5(-yU>+! zh#ZE4lS=sCDa@+^`>;S0a9H#V;%HD2)8r9`g{GHW{{*@U#!C&J72$A4a}JEan{a3U zo^FjT@#!!&vyMq0PT=#bRMPCVWmgg27xPpbSYw@EfH8;0ybMPiEXWzjzbrD7gP}VI zeHuT?^D79U2VSaRA!*{CqKQa!r8LfC~9&%GV)6Qbq@tH~` zginpr1eKOm8BF8QzSN+yc}$=K+9-!qtI#!V5y^su)74f~(RT-6ni&1aI$1Z|V2l)r zToh+hvSMihN`UDhJ;9<$Nl{YlIVz?kpLH=MRr0Mp*sgSjKvUI>zN9J@@2EE=RiQR} zsxbbdRkUx zsM!jXH9+0mAlXpF0=x1@!sginr7U|O$I3_3w{QZtDsEAYD~Nd(;rutUcg_=UlYf>7 z9GvqBG-6pNn<#atTen&!$@q+P6ap3=o4#f+jPsG2(t zp&I68^4FQIwNNw${vQ+<<&hguUnHOmXNp*kD=t798;S#aE99r!-YQmk?%!KkmFNDw zl?|V(dn?LW%_fC^jT4By6@^lD;W|)7)qSAF$1umU@aS4bi)ODp1NGml!p_Q7QV8Yq zQ_%uVC58MgjV8Z4KU#zPcc_@3!Y~TVr^E?`X)=T^u#+5cEwJ--WiVArhO1zihD$bBgO{)!lR9+8A|iDRg9c{<{P(o(@aSEL^?9gRUd ze>4dz74@;^1&!6POn~S9En1%&urBKb!hI#^m8q0X!DGEAxT_xmYXYqML4=N!uA>v+ zoGwHuuG|>(%AxN~fUg!tq{(*sm1u3t!9LryxLg45B0c@Lo*516mc{5uSGvTWO=lH! z3O5X=aGB_#`9aHqz7qF0KP(z6#CgtC`Wy}{#{Ie&GxHLx=@x4f#xw%d2%N1|XWR6cM7J61} zKhtOIYw{ATMiy&Aav$8L;fGGB(RB(8O3=7G{M&sX=GrJY|J6?-no*4*-^EIm<3iYU z@;UlGvYu7__?K1v^>Srv3Mj=)614I@uz$}$XOLVNzMzJDnMKl6~Ll3*AIVVKNWr-Wu@Kfi}XEYRmmm# zfz?(hstO+y=u{fjXchuYFyuuru69a|`79(geKi)|_*u4^_8k?g?J&Ixdx+JRUXNEc zd)rp`Cpx*Pt4x5;U(nM{@fra_*6TquAw<%eN8s+7Nd8TxiR86bNLq{2fBZ~etIa$< zsA?Znufn|LZCk4=3^ilOkMvkY?Yb9>#thPdrdR0E#efQLtkQ#MtH{$a0|s^X#-RDi z__0%mCYsj$M$j}V)-N9hYxb62us#WTyVK-7@CSNYr3p1jcWWaJcUd532B~}($DF1l z{8udc9c=vRg0@O0bUd%OGR;lir+a~LKOeYquZ;uM|L%vt!XXT%?VO+JaM9dgY}VzS()p=wprUj-&V<9af2vn}58BY1 z^wn4lC%h2tmXbjb%>jC&`+Gs#4oer9UKu@CPCkF`MaO5w_h=mP06$$^(Xj;&zmxGP z_5fmYDtUJcv~Fy7PZXgd-D1k>LngxdZ18*j()bb`q+GQFW{H zkw48oaDp0gp9vbPyEf}m&{SH_B#fssc)3wK=}!SKGO(i(lQxr=E*U+>O#Hz)`kPK- zWn*`P_Vdvr&9v0Y_7yog;54I+@`vt&M!Wu77- z!4oT&8I<1O$p@u3c=ACtO5>^X)zQ6{2diL^=h`sI&$%czsOBVpr_F#U4J&dPpQP%4`8u!16uI@B!w02u zj$TcZ=FJDeKu5jX@XiyoZj(p7$=hRL`sAOP!UcTQUY5bvQq+qr_Tv2vD>05g@Nl#H&^rua*$P zL+wsF6zge?PR$Un)m+mPf1HksH zc05OH_+>l6M_cO!=|!mW!cHJzZ>sdzB0a8s^BRTs>~or>FlLVQHtky!5-^z`h<7JA zZWO9mUVFo@%W!hu^=r!V!nX_c5{GXd88sXOS|6vbzNui4Ske?T2rN2F{MG@zNlht2 zEY*d;IcKE2q-mrfiype0jnMTU*Ww3KOLANkUasm^_!e)dw?B~$U}^!|!P`^i_|Q*` z4^dOQM>dTMV*HGKR1WtbFBDf1t1>#jqch*P36ygWH;#^Q>y#4$bAnf z6{-8{*&GJN|I;2XS*_=24hw&?f~QA=IC*Q9BhiUwJABw2syTD*k7pnl$<2caJ5i5% z9nol*8v*%^coydMG-9Os06LrUFb-z4$kEc#%#JrRkZO7}jc@dL^RwShB}2gVZaYSu zL5JIkG?Q=~!60}9qbh#Vk5J&yW&z6CH_wq2XANaF`eu)VBqP30jJ_$3&Qx##gCz0b zUG+Y21joiOBAu`_65uCqTE|d2GtyLW0dzPKu4jIzFQ%#aU>oTB zC$h!eU>(*Y2W&T3he?w7-~u=hcY_WckwZo&EKLQM3Uf|MyJ5>Iy!?C;Z)_-FORZ}|AJzMOh=eXO@k@!7{{q7wI_oZ0X| z`yIhOB4~*ymh)k-;P@#$NvWaRgQr_6WM7daQ=*LcJBX&IbcsM-_uBpvPWVKM471K* z>3$_gr4nmY*}K*M>OnDZ~B zgl&}?6!HGifeV;~F5?Zo3wWA)f$~P%6W00%uC1YZ4U88=s`3q&0~av$UBJ}mM~#gD zy3s=Z#Z0mXJQwK=z_yDkc!9~HrBVBdlTVi3S@{tBhS!yl@8cK3BRQjy6(*d+ki{-# z;6>g`nc40TR;JMQoTDu)3E}4Bw8%WhC_X14$qNqS@3GQvypt-z8AZ5pP=9F!84rU# zO(89i|LGzpi}<#;dW^TMYOuXU<84@)3J$LZUKS>?IBwggUCbI zXm{wq+u)9YQEDeZBOUy#K+FKPH)R}CU>#$iin6^aW&jmjz}jL4P`wYN!!n6T2PN~Z zhg^Iv*F#!2@?0*^s|C8v=i~mm0ozqS$hpp|bfMq{m-2W;C>@_RT6aZP*@V`1- z(_W`V8{suvF0NB*8eU}VI1rDv&51JJL)?JCAzVD8rY?FYbxxVVnB==?x4zi>4LE&U zM;SW(oX$LS`r6J)>3(0l_AG84C=3f)YNT|4WTbW&%zVX?W7{Kl}e+8cKK+jOIfO!Vg7{E$vj2L0V`5O=2iwH|jSixu|Q=*~Ng{3{i4%# z)918wmGR;jbN+oy*Y_>kYRDj{yia>e&;2}-31{xNlWb`En*P^_p$`_}HAl|_dP%+E zfn5dL`M@sr+S`(ebsJiDTM>Sy;}j!xTQRZ2GNfG1e$^745^!4=5!{c9vN@*p)pvFj z6GY1j7L65_lA{K@*c5RwU&kmduAFK4&tJ^BJ1Pw1cA`A*GV~Tx4%LQ`bYjLT_83WQKXdfVXY0t0OGa|pwritv=d)W2zBoJLlmDDoaAbXF@|p=btG9m9yxnp4 z&?TOn4cYObnM7>o$w2nyP^+2TdergR@aMOZx@gz@m1lpm%s%k+yYJ7ve)nei@FG4W JGT+lS`5*OCz2*P_ diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/gas_test.yul/gas_test.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/gas_test.yul/gas_test.yul.zbin index 57a8573e08eb9df117f50b22c2999d8f6c974e83..42f7be1e0a89eb73f3c6dd77e9f496b39957090a 100644 GIT binary patch delta 15422 zcmcgSeS8yDwsX^zgl!;`P-xSnOw!hzgYtt@70sTu_i!1=kf^`WAh#vMb&9-nsWqlbJ~~ZT9Ey z{V`2v=A3iS_dVy_xfIav4CuE6$g5lTWs}#owzx}{-4@NM4?U) zgkK24+&n=b1Bf8x;JqM-`a1=|@DAM6<&#Dj9#cjRfj_2_9D$oLE67o((w9yB0HF&I z>X?rGB9@h59haV;P(44%pCcSWIGf=V{&%-vH#D~BRL1FdpPlLT@N>T6`Jtx$I#Zp zo%%`4SgJA8F9l&OYD~D)^AWDG*q-`f$n7UE+~6kX0u_ecI&v|f|HLIK%+IA8lcx~Lasx5@9pGUs5MsyUzCW?hhA(zSP274#L~dHKF0~U2&TTXdw!+M zVr2ge%lp3WzS)Ji0=~C#wW-8i-Y>uUZ#t3E5(J$N#pq4{5t31y?-kF{9Mbb!isxeR z`QOo@7#%{8P9i=hjLtt8catI+wTF<103O)uu){Tn2rUk?)ewdQj$|hs#MctYz;F_V-GuZ2ziWlX$jBDUL}|}-!j5zl1FwVWW~;Gh7)a}#Dv+Oq zf#i;mgNU$sM1sy3hsvxWCTLD8wNPCbSSQLB&g}1mLH$K2$Ez5xRsFvu-v+7%1ob25 za&?|J#39#>{B?V}a{1zcR5$wuW?QIRDA#QtC|?%^7Q>`bk~8a!7N~dUlLOG^-kut- zq$oII(4B>T7)e>eQkujdGb6M@d1idz)*bPL^aE3dlPF&n_s8WEl=M{iR5L9ZqJ;)c zfmJTELM1d)DqmL&QmDk%4-_vWiuc!(J=B38@TrSyIBFRu7i*W`@6HT5xq0ZeY-mkpv%0exJ_LhBX*8##B`T zpst+*XE3dt^*)1mRas7!T#WtM`U=;R83^Un83#anRw;UFiSJ5!0Rs=N6SgU-)0YS^ zbe2u8bMb5#OS3A*o^Fa1gZg2|(65_^NimoXwmYZ&KgMAZxeLyXSVG3Z`0Uwtj#mmN zn3?nT7Q_zcRVh`SBE>r~%j@HXxQ=vhyj!hZ6@@r_?*UhTdq<%6wbLhv@4^ja6RK(g z#egmSN5k2XJDIA?1lErlNeTmvqc##tcznv7kjCb&TpF9rX~{tHGAvfc(0Ey<$<1@Z z=sa|5yvp&~lP;ov)Zx>EH1Xw$Bo12hsQoj?ltv$E%JeAOd!sx&(p=O9dVkmvX~YH3 zjZcPU`7X;OwbnqL4sYb&VJQxSQYJ5!8b}HF$A)JX5pIut%*|tOY)Ba@>+ql&D^*w_ zI8}vZbTUpt@70xBKYZ`8GCEjtgy0%rz+D?HlNq)=c_}lj2yx>^@?gD(fy$x}DvIP= zqX>af?hUrWH1yTn!Y&iDa$!_JC&?M9D7N~kT__tf z<20x*+KACLd}4n3bhR0k&a{S>H94>)-7am_G`7s}<;43su~*0#o!Y8?lAKjBj&8a% zrtCz7F%vQ%tGJJ}ugC-4KSdtsNSM2=97LT9Mo;Y-FqIr5$pg@o1(=ltA&Yi4Mz_vI zw&R^%aOv~GzAE)v!kQ!) zFs1Cr65}|!N&9r>Ch0TNtoK{9=Lj3eHWV&j4srKe6Ez*(B zp?Jm}HdVTyTGZQ6iL<~z!%ObNQhEicfZ_MV79V3I6+?mempQxmC?+#-CFVbdO)CxOCxjoJkm~A@c!@eM=2mXsU|oM2yoy$oLHlUBn=VIZp&AYy9QhG<*h_5Cqw^EFov8EQBm zHCp{cUI5MTFjacth9*Q6Lcn}2zi38?9hF)T7+JmxQFBk@>BhrablZ^b!l>z%Eb{tV zqsFRVuRLtsK5;x5)5|7m{M?W(T(tL+u-&6 zDQc|7m6#A8(lP+%-@+CJUAj~1W2R$eEC?}dF4)dAP#Ov>r3Uy|&{`_BA|W_cZDHt& z4s91bKLQ;#Q2Y_-um+gZ8JuH{C|8*E{uyZcH#2env%$0IRA)4BM+OF;s#!w*t26# znGF?7-EQ8>-xZO*gYsj&i_)*ov4-GOE+cTb$b9xdIyo{q)cC4&ZtSBhKm@x^fFU*U z@Y8?4tR>@GFN|KQ6-K6|PKaA17LK5L6$EKtr^P4@B^pvJl#H45y>)U#z0i@O$2wUG zr4XD-t}f|ty)ioITM_A~UDr4m95n;shvlF8-r$m$XL66hy`D)XKB~M&$@nSMerVh1 zoqK~rb<{OMtSL$?(`ez!B+DEnO2Gd%vudkAaZqTGy1OFAQ>hx%_I6R8U zj5`vFS?AJUV#9onQzHL|Vw=UOg}d&lJOlyrmUtmt4*Cz*@4 z+=e&sm)G|$cF4G2+9?QY#dj{WPaUbGsOHo-FY1z$mPk8(rX>l=T3}GF8Sha_EU zjP9lO$FpEVl0BHRad4qaRv-ccpzAZ77}8}8rsCpAz64#Cm7zxnQDO` zr0l_SSIp9C#UR7#)(O29hH09RW~IezaMrj+i)~8h_F63ntk_}C1~aT%X3Ou$^A9Qw z)#Z-DCmU=>$%`UmcOrM&#vw!ba=}E~Ep{WSn&yArV!g|_kxc=^XNln;%2}dlQSbWif&NL_D6~K6)F^K2 z_Iq>6I9vFk4=YOyZ}EF60VV|5Q{h3@C)eu{)Q0%-MHEuZdt4o%ZVfN|@cU8bq zV<47wQ6sKrCHa9ZAE71vTeU3NwAD)v!_BQ<;H>`K)A;=uIBK&8uM~u%^xTTg>=Sg6 zS`X%78nRA!>~L-B}|A3tplwH)q+rQ+wf=; ze+O-Ik&RHY4e17Ix6LL{ysbBo?bC4F-(HstJ?qi{w!0A2JkYp_QH#hmHN9Yi5ZB#6 z>4PX93B_!cP67qN6`Ms%aYF-acxDON9Ju+6nSS=8|82I8aa~+D(()@T)v$Q$S0?H7 zNvN%>WNepOo(hw@;#s#s?!dE;kpF-I&lTbsN7ZvHsDLo(#ffAK6Bz#Tc|ssydgXcgws%|~ z!GfVY7@eVm4O9IJJZjlcPlaf!FVjd9t6$UFFl&P%j(XY8Ys`K@5@B6J`+g_H1TJXU02`U9&nTIt0idX5W7O*?-*-|^Bh}OzZK{Tg zfu?<4QY{J7uZimc_jGpDYOGZ*8hpMj>^ax$ua(b@zb0d8-`JrX<2HVe&dP@iQbC>( zMMaL=nooOML+UCUJPqypucUU_se%5jCFwh;#u8r%r8(75lqaUFqfS_I)CA>6MVkR3 zXd!f+u&+xJrXm4M%!aq2?JYc54P?HJ-4k^(>kdvNb6dsVpVB?O?P9jANZyS(9+0urb{TiA7TmR3uv}J^O=g&z@*4)E*|F(3GU-@x3J%>90<3C?Q4#K|Avq=%OeO}3rA|3aKG_7Kb)gX@h zX^!rdBZF%Iv`F91DwZ6W(vp;BY*gw|h(*F496;e=2LY_>@Iz&Vf5b!OrCh#cI4UBt zqoZ1KRPZfB2G{A9A$zZ8lx;nn4vH08uK{LUmbMIqMb+*%`pdBzTSn)lz_~B;-S051 zEQ=@~+uR+?sC8sPUEpPp^Q^!BROb!HLu!y~i z1Bt8gkbl(#gRXXbN2&m+Qh?wddG#?j`^-7{%@84#kFfnW`AzO4GB{-F8?C09CgxRt z(MpZ<;NUP-nII(Z?e@;vd`&BFXSQj*l~tiptmxOIDXT)Gp&6<|qr^HAwZ=MkSpR>m zaKB4wrPM^UJ#*NU8g6?T90t-~3(0#>_tz`reb{ill6(Md*DJG+Dd`D%mKOA(w4m}W z7O0&5^c*?;PT&^f0U>?@$>w>i`b~K%BHt|CraZ+Hi40C1XdEuG{H*##{vM7^h85op z*GLNNVD2P0P0GA(J98VlK~vON7+SugQDf1yPH?PH3nNj9aPn$A4&!g!@<<#CIzCN~ ze2yEKe{(tk^KA>bz87ImyRqT>UBq#A%y%d24<0^M^P44?=gvwPmVN|I1XjFIb>F<2 z?*d0|CB(qqzv&s)nZL&eT(@_oxYq5t8vC=np<}B5G5ucQ51Za;crf?ui64e~4lKTO KVAaP9hW{TKatiPO delta 15040 zcmcgTeOy#k+V>1|nIT6R@Pm&Tm_daJMTbd~NDNRD6>LyREb%KfD%hWzzS*m6U{Y*B zsrz8IMdlj2?r){Eu4xG=m|w5*`jNC+u%)i0CcD+hrbg(B4)0R_qlxWQMEPoXT-hJWiq9pn#i2>+gg&QM3f z`H(CsG1D(NZY@fTyAZZalo%hTABEJOhtUQH`BW$}Y}b(vL4U_iUD%%tyO^9VLz8Jc zDxfJcjVhq;d_um5u6~=zU!gXNC%h(&JX)qm&(vy zft3SyI{w}RyBxlc5yhrrcjchWB{y|uii_iPI%K0C{lUc{JOA(*M|F6{|LHSsmdAfY zgJO6HK|IkoP8gnBlsY(VweZpSD;e_REO6aw9;jBD3|4QRN#h1F=?SjDzI#5jN3fB|P!@#nKoLR6i_Jtm z2{jfQ;X@bvso+GRaW6V`L~KtZYn@&e#`4 zx1RKa*1>Mx%mA~7SYYfBGnC+G&JZ&KmJa!e{8cC&DvN^BwIfl+rM3c(C>Zrfxrcg0 zl#xV5u{$Y^kC2z@hRFmYORd9fe5_2SmQXA*RLO8z zD9I{Q<_4jUCZkPQ$#>K?!Z(O<$`}V3lM>%u5pdH=9WArW-A0nqp8ZZv=4eOi{5v62PD(ucrQT?GlgSu+#;5Z=ThVcU!HTmN#kUP!{Yw%Mtjz*liL?`TE zznaF`NMGm}N7b8hpF3z@Qv}B0YT5KdoQzPhiQt~xohbMWc3n#$P@m0K=QRp9tyT<4EMYwzhOS4?bWI4+r&Gi$U3aKjsu^$F+gj3i+ zjEWdKB{YtGW@VitqjSPQet|TjNAoGkU&MJ8ZbS2uPbmJFUqdbvy zx)@ohwiB=dWRbO;pAkTprW_}YxH-LvxC+`)ZgRv$X$DH*GrNsTc}Srsg$gtj)i_lq&Y}`GN1c?;qTTd)1w7b-cb^lgqq97=)!TSwBs-)>+EDRKIu8TJ`?P&;ppww z2MYP&vV0Vkm!Eu6pzVSAWCVq=guLiaM|sQ@atb-Xnx_p&B8gz#mcBp0jmOB zH0~vP3yuKkPA*6=-7TI`h#g52{+$g2W)>pdr8C{VNPwOdJvCWIL7JauQ31xFG#`eV z0w-S?>y4acz{D+71m}pr2EPElACrLTE3#2Q^?VD&$wo zlt}UxilWtXjccHzC=F+n>fK>&VmEI%4yAK#`D7h5&08AtJ~2~IH0;6eqbPG}Ct)uXopHJ@iTER?p)zRq zj4GjJltFve#h_=UJm!QI^P@GWsX>VLM|*-8TigSLYkbhOHNEY0Wd}XW`i|3eBj{O0 zZ;ye87e;8vp$Q@OX+o5}GX_>a67i5nN5)4)&4yp^UWdkE+V8uujLs!CVuPWJ9U62Z zOg61J>F!h_?oMT*HLeI+9-UPq;kDuzjdk*#8yRnC^Fd5QhqxPZhK@t(5(^ApVunWi z2wX5~Q^gEY0U1xnL>5ap*7LSDYO0-yPc+?4J7ik%`sn`jySPP;Q zA#Q0pM{BXuwK8bx(Q#d$2R(~AGc3@ew-X_L(1gf)+zF#JAsQZc4*b%WHiOq9`aBWP zB8%9D_=5uVQfvSov!wvXJJf-_Q(6h z(5$NunTeG&$Az#BzyG1QBHgS@aeKNHw^VtnyA*>5T7IwYQs~Z7GGY_=d~Y8Q+b;Y+ zz{7f95zmP9$bj_t$^9qc(9gn&qev7^Kz1=L;$AIdHyHHBxiE3*O>!7Amf11`rc}B% z3nVOvay&j`l^&idhI1noQFi1crnpH|;Bao4RU=@UmOEkHis&#YJuHNx>Eom!~V>R0WCH>_turh$j@+NmsmA&sP-~#(}c=*YST0E}B z=<#zcr!y_LL7&I56#mbC>9jPZ&On`lIfHQ|lg6}wTtwmf0B z?Is`|wOJaSU|pXCKd$`DwTDuQ)-X%7229rM+5D96Gjb*#5bcG|D(Aw#iBM8mC(p|F zon;#9`)r;lKI7k>%D~#Ew2A}MTBnQ35Gj{v=mkzX>(1MmRqhCOmI#k*iauw@XDnpQ z87g@^(K~tQ40{2SxJwr-89)=|*+;Yt8S}ujAAIr3>MWAT(|Ob-cHM?O_$}7@c6R=^ z*V8=^){Sp{%mS9x(dklvSQ2!7NDG!xngt8;l^qs<>SraYdo(iS9j>p_l8$u^Qc@ma z_7#9}DwM9dGX1bffZ;Hn%hjQWa3Q3Ewyz6FDxQ{ch9kHYn$2>TOCD zp4Cu+HmaShFrDSDiNGk-L-SpVHc}Wg0j-E0Gzp-!cD1&nRZfc4*cHH192zU5hM8aP zwR6`zo1>B8Q!p@E)(QX`QWefp z%_8`WC7*_TP0u@BRYA`xecl=Oyw5CJ0`aUL*hR;CY@K(@P+F~X&-7y?PyWD%5-o1A zgo$hNfu>|;J=6w%#6t$jc*lwuz+K~=u_h3-S3e}R_kT`$-)OtWr}bHqa;b$DBb z6%d9G#b;04ijt{ieH8Sxx9Nq_;>io8;K^^F)C+aOvjcj)I=V;Be}bVk-zItzCKtud zVYu*W=FHx*nYBrb8)@eg_bhwDjZKhsy#r3Xbb&9Ebr;P1p9|LY2Etd~*5v0{CB1LM z8B}Y{MlH1-+UO+BaAV__xVhf;OT3W<*4nhbt2wTP9x92)G!?b%n5M4Q2Cvsjd+c9A z1_PG&*lTeoz83eW@gqXv9y|XFM*esB?mCWJHsOiGCW^tj$w^*-yiGZH1F3cs-ax8` z8?Vp}_^!G*2&)?mu-UFwvav>#MXiO$nuUvjt%w$v(tzuaaLFFH@JP=|8^_uCR9g7r zDMsb1OUX;ZjaS3zEgAi5X*#4Wqb?_6J(fyXJPj)J2%;Kl>xvn9ZhnKzQ^_0A3ZClU zD91B}p3IqA%R=HA`jt2YWp7;- zx_)b*!}{MjO2$(MDwhCB3tuP{X~k zbd@%d2Yue_Y^K;m4q}#K6FG=kMQ>|m&L+*bW$)Z~hv9u)7CjR%zKCUVJZ#%}CZUdM z619vs0J}Q}FisU}cNvH*`>9a>E)A4*@7a>2QtoB3l=GtStI50e*dRnWuPyuOuX#ub zAbTUPUZ=;Z2{oFqQ5&nFLpZeCNy7Bw?5n=x##c!e z?Z_nI7&nX0XryA>?x}l+1yT578ggl;A;hlIK`nIcxsuRhUj+IOmhx{T>14I`#uA9Q|zN0dU!hZxifpk^ONIOu4R&MTXnSt#vj zwn2NdbmIMN;}o(5S{tum4BFjvg?R3hH1EedfBW(3A%5ETQ{aYXEDsORUnvLD99TGW z+0okrZs*XOe96(<#qAsgoT?rW?`A08t9Ly^y?FYjE8vixt4VNg^Fq)4jOJzw+@kb0 zBfX5d&gM-1O^-lr;BGO&nw9}noXA00iw)(&gykb2HICAQT9vLMY(>|1@5SA;a*D7O z#4JVF3Sw5nL9MW5`dI62tL9s*jw1$B>7vEU6&a))o{zUtY7U!coh8_ec}Ld{FdT~y%x}pSh9`1Cfbn#PHjhQvo-eXfOrhJPIBzm z6wkDD1)K^GC&C4$huUMhk`8ulM0YY<^oZEc0#d*{BK9*6Ctf%e1)@i2;1MZgc>1O* z-~_mFQo60Q^%NE-r|`lnei~0vpKU#*m4Gu&qi?rqbzXI+ovz-(I#hqE#e81d zeS>?kOkJDSGF@%=MM~R~a&p^Cw>e#`;S5S)bk@$`<$!7~IjzMh#rw0{!JAzw&hiEs z@i~aBjiHJR7MlJLPWX4}WccnJb_C}zSF~eCaGrWc$9Wsv!jatb@~B^7FL>tKVCQ+0 zG}jMG?B3}L3S54-MG7GAGn$(_KTqpB*{9vfZ^s;T5wC?IZ6)oLHrmO&-`(1NSpNg+ zKNqn|eNlcpX1;dJd_LINfkrn{=xom`&J7rDS>a%vOT%s7bOjt+hDB#p< zC$O~x<6((J#Dko9;gE`pQUdTdqm)Z-jV_@3bl!F;({X@Nvmzi@EJ0gWP_9O#TfJ~9 zu2^DCx2}}&VEg;0D$*>NE}x?9Z^u_Qo#$Gi{VE=oT*YP{KVz@@ci2omV83dE@~b8Z z3U$zMwaURR>&ESsS5cRfEP2N56|F)6htyotN{}>uu?;Sci`&)f^hYl$4Ed&~xHz6l zI4Hb|5;6#C6eVO3vl_n9NFic!8JyU~%z^NZ2AnRs-`Yp8nxI5ndk87=k1w#LM|C;wz-N}Uq7fm{~{?do$j%{ma MZ_NK_Qo*197leMN(EtDd diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/playground_batch.yul/playground_batch.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/playground_batch.yul/playground_batch.yul.zbin index e8ca1c721a3006074301b1c538fcb73a54e14b66..4e88417fabb5d36ecb5758d386f3d83519de76fd 100644 GIT binary patch delta 15932 zcmcIL4R{pQwR1O1n3cuMEP-U%O?E>FF(hQO5C|dB5EDco8j)7OEo*jqJTvueSo0$>8c3$c$R#M#eP%?`p&&GyE}I#nPmNJ zzHeA|=A3iS-#veG_tXh%>j~?Y4wCg)r-zJvEL2IdgE^#tr1^;?vz;3OP3lO8!vDLdl5UdG^ zF&XNt9$06U;CZ~7tqBg%2omBzBv~MWbpj&i5Q#M5XAu++`i@)&#qmo>3FOq=41bSb zIJ=ZCg-@@yuuo*t!I&&l@0aWDPgCwA96>mzcmw`#n&1+rvrmV3BeV@JkY`XR$99bX z-Ge=Fey{{CQGy{N3NX_EQXwiJ>lg^iDXvMYv@l%`{iz^4h`JOOSXL>zv{;yMm5^`C zBw0{x^N?Gh&X$=r+cK4E-+oHPI5kwo7&Me&%!WgVQ5o#E?X-{|2OI4#SZvket4s<1 z7A#MgYq2dLUiNh%w8@9bG6*<4WHK~5wCte-0fPkHjshlRSb{mj^6HnP1f>H0F^J-5CFsEGc_*@M zK!9$iM+-8>2*T48BwRBK);nEcs{NxR=us@<&tdWKdh!c6JG?<&&7^oTDh1SyK#w1R zJmb|o0{N~rfP^>@DVUvd?Md*(VHQR7c?98wX41l;^|?}!ah=h;tw z3B}$@c_X9OtYNan>w#vk1V`}d!0WvC0@)M{rA2h9l_*r^i}I%EQTsTM&hyrhPW3o? zbb6)sYeL1kSE-YQsc(W)UF@} z7mX1K*$RP7wyU{^xcn15JtIC8T_efc3`}w=X)-+SyoOVWa|A{LG>-Trxj-FBx>+^S zc4(={fEii0V#I05QW?*pCPChI7|3#~HX9!Eo`;)htXFO^K!te!gqdSyTwRA7+>||; z44f#&aEWB47TT% z5NDlL4SexdW$RhPThE%eA6@iNo`-I|v;JCj>uE^`#%pblDpaH*pSQ=HF*QHQ8_ffj_1L6XbOdqKjkuosXE@a@bLNT2v($}{NDr5Nr7A&+I| zXDwcu&jqXCwU)s8+-%&^?n!gy-Au22uZDX4Eu5TGgULU?UnLzmU;S# zjJ!Kb5G=lt?1!G>z2sHcb8U_Mnn5mI+@DBGr$m9~Y9+@WU>F*Y(D}Nu3$}P&;pjQs zg&4TK1uw?pjkwJZQjEvbieN%XD^p4WfiqJllS4swX#54DP}wIGQT}B%`3m5R~qP3%$yspk>4~x={FmOTk;lk-(ZZ^5>!oJlc~hB z#;7uM#!058a5TdE2UE%l9Z|R`Je>Gz#!2+KKGcnf(izIpfekk{$VV8qSrS|}W3mze zyBMf;qjuh`jT{mTo9XSvM!GZ@jxX9Zqh2G~+>~Ex6X=<_gj^4cXZ2=y9nn#0(25Wh zhGY225|RXWB%ksqk~2vSVuzJf7Ig+pW%cr3n6#R`1H6H+hP5}1qRH;2ev=))Fb4Bp z5*}(&Q))TH|L#ZG7!{9#y|Mv!*Vf9CjAINuBE6_{g7pNS7e?a`ZnReUK9QsVXKHp{>e?LY=H)S+}~9Oo0v6CAyvvdF-_(92vRK z_k^y`0jsR8 z@EC*kfNgg)U=Ns6Gnae?bqfm6PMtM#<$v_4<2ehG=>!BGswrf!mA1E)Ig3~h_JtlY z4RRKGcruYHKhFGv@z1hl?xAPB}L9`=pFaOkxH+#<{82K}~Fs$R> zDCUs%44BXAbw2<3n57FW#f})tmt>mgjlv{A<5Dviv~SjD-0F1yDzl+k^uD7hTGBwv zotPc(#QF{|bV-L;VF2mjK%}$*IN?&C|0a%wfta@ov2KkSE9WjBxR#ljyb&R)?lObu zMu-WE%^;9B2re;$K(+hl#LT^&ZlG8qvuV9~_8-wXewZpXJ#YK>VPpEHaH;Igj|J-@(zP zInf$72dh*;h+}indzdV3(LKb=qSQ`~HnlB?!s)6Au|GO8u9Nix&|#hJ4?yRtC_m#0 z9ev7Wu*1FhdLR>)-Ti-=A*Q*FeQFK^i{Nx@q?*GOqHsFR8CLj^t#JP5$4D`B{=yT9 z+#kmrxp7lK+`VR-jb_hTb!HGf_f4N4&K-tSPBp+{p=2$=&v^WfwRyr7CAWx=(&vtC zeQGEf8drOusv!YpHpl}A#F&Z5qhMW~sdo08qm-c-DHW}jU>ROjcx_ruJNp*AJFCI? zlIO8tX!T%XlA3yIG4-ywI-N<^Pmxl+#s>!jX@-w8EgkKc9I75M(>v1euhDa6 zQ44Zqb}Ej;Po;MEvYBcwgz7V4(;73nG%cNZupbD2y?*6>TLHQwAKqX_x2G0I=gTE{ z_+c|BT6DU>y~f-_Fl;=6lpaiugx~jKwi4wy-IN!~F9Lzr5R6|(~Y6oK)?0Zm{SuCX$Y{;asH$)EU11cnneGqSP^xi z95T38!SXiad-^=Qi=BlM?bRLdI&?j9&R?uRIs8guGo)-IM_AIO{h8;;m<}PQ0V_+I zuo}E3xv2AG?s)NCp4b3bK&ANKi5UyGM=71tYu)CP??a`KReT!fdz+_%2QJtPnqJIl zf7Iu<@X!LCDAKuKpS1`C9`$8WsM2VHGJ&RDt&fKufKE|6GiU{>)y_$U3LfuJHd&tX zU3IA>)PT0q)((#vH*%99hgw8yK@9UHrOwuZ=;lkkQE694P#SOGo@9r8YbXR@H{33bSuG*?@lZbKK{ zfz|0YtWNQwugGx7yKOqdC>Zy-AiPH3XnjdJ)MDz|NTwfHwZj#m^g&3D;(ydkq34IBbLUyg=O!trWe2 zgjA3r&0d^7=QOV*Vz8w-fgY4;Zz-^_r7u1;S-uLL1l?vtyCS$P9*TF;gJM0~Q{c6o zeIA77=Jxj92`u-+81AkianQRgyT-U5_ghr z?H$=>Q!10B2ysIt()hCpJo~s3KVV;{UqkoYSjQmMG5?#*QnQBhyG`a7jofz_?kl<;#^1LMBU5P;5>|}Op?pU-=1RD+F-Gjz(m1Zh+ryTC zm0>Cz_|uzds)hT`DA4}$N}0ZdEKU9{8tWjZ1CJeaVD*RBtPaUJ7^5GSI5sC?rv;LJ zg9ucSV_|CtzJ?2)?7(Pu6wmym!j5fO7=Y{csUbW0TMgN+eK>pEmjK`Fli~b6`s#Ha z8435ia*m$)+kcK^Zeg5UiK6JDE{&gA$yaF9y|yqp3a76e6gbV&Iy&(X+Lr>Kyf#)j zOO@OcT@l;|aO!aY<;JV%08TyF3t0}NjswA&{(&{h@c~ZSt*_z88KtC>?mC#4K~I!$ zYSu9|hzbYZ4wtI-#G$Bi{3BKx6pt#Z?nATMwbEZVYcgr5eD2Tvh03cAn?YzoW%Ad( z2aVopXMEptSHE=C=okZCjE;UaI>v&v)F-RWVYEJmlZR{Yphf;0?_ncuf0Md)#hbN+ zq{5-M>WL>PH3QEc{);u~$ejvPe?VqWbk(ty~H z;n9I(=wEnc<5hKxjsydE_Xr|2AG<~IOINN2rw5;2rtrsc;~WqBB?nS{TnmDS1&^=E zJi_?Pj}p>(9X;ij<;tg9YG|P=3O5DrdD|@IHZISF@qcxigne3krXux1^kKElx1~{T z1i|GQu-DMx-u#%c=&0w!3A25G5LvhLbWM7)&Xc~Z^Z`SM%WkdYDLgjH&nLiM6C9jB zIiQ!(jo;*sw~hW@E9`p5OiP$#VVJ2NX&TPrSH`{1tc-S7@?b7dItSnFXC;3&PiKHS ziZi7f2uvCqgS(+yl%7-B@4aoN5xGCp1(y2AQ^CdmlRz?%)XGwp_Zt2?~3ep+#}n*t|fC0zF9aawsuMl{Nob5M3ZJP^IUpzWRW+Q^g@Qo4bQi zIiTV+9+n7Ul)(#ICfToNThD_vk{vl_xPSN%(aH^zq zVjQcI=s-enQg?|H7GNl_O|mNYNnGB-{rJ5={f-BL6*#K`HyOH5tt5p|{Ye3N9kzb5 zM0u&?eo3Qz`)SM|r!j-zm5o<(h-DDG`+O+DVw(ajr|EG^-U|{T;Y_iTTHJro5UW0e z@4C+5n<>23oe8HF4y2OPb(U(ZD4fn% zO1*7D$HI)o=nO5?z)gX~&(&kRoG#lx=X42|Kfh+0+7U)Fly2BA9%GKDv71g7CA_@) znJZ$)?D7Oh%1Yeq+}r>TeQ_x=-xL1@^F5kp%D=26nM{JzMSW_Yah$q{YJXgz22Q7a zfwoSCsf#0YrhxTg1Gz5Pc=0IvY1ThH7A1msc12+D7dn^lr*)SSVgDsNJbx)1K{$|Z z4g@3DKh@&YvpY&ir)Jj2d3GzssRj<2`r52GrRB!uug%Jh_7!8s+e)aF1;Nv*Hyif( zI9utZhpD)1_Hwt~^r@z6ieW{2kJ*Zvc~T5CH62q7Sg2J0)R;AfrBE+@miiq4dUxs?cB0%%Qr z&}Yd*p+BckOJC=N6mFRyc+=H_g|&0u2m0ijB@^!hN}SWc>35m}*SGw%AVa=jX$B~hQ z<1+9!$61XNILBEHR2t&uN2pQ3s`Rd|lv5acD=RDj>6a5mE;>~EN98Z-|{=ciMs%_bY%8e)Yy z6N+Neicu&5l_CHIsxnzgCU{J>2{R2$lf$0kxR+6r+ycY1f+h_HCeutvGdsyFC^Os1 zY^XLn6XqClsO~LYB1YFR5rZGbFy=rTV$AgRn7129iPvNKz+isDbco4b?#&M=F_@nu z4)${qG>0A|E1)9GPBOp~W|x@L7~&a8f?Ht^NkAw;et7m%D^Y@6eN3ThW7n;;l$E z2^=vteQJD&5-wEbd8Spccz6x@C3Fw3<<~GiH;q7#9)WHUi5@*d%jb(S)HNRz$@IoX zW)rklS(KgdRSbqo+@K>%wG5?@7;TagQ%PQe=9nGPYlBh+jRprX&!`DnKt0D)1B-3P zaIutFCn4)#Zd?ujYevkGXoKaWk?}+;WF~5ve?@}ghvK&+XhQhD;MPlUP&!4XhOBkR zJIMyH*h`{o#Q+i&gmgGA1h*}9f77c_Z9hmhLYAYL_b@8E9X8nIu);a~oN&->)9JWN zUh{S)$eN;T+mPk{*cLQJp{jgPNT?-|YHH-jbpCaDsj89kQkqS$Nft{%N8=N3V5G|? zDNr_QYr+X&v8b&Gh&&zBe+m5m3t1w#ZBk5`$Y53eK3-cdZ=)+{pfq8VP&h# zaD!837)45X$j-kdv#F<)Z8Fq}hh)_ysT`aefn1|~OmCCx)OD;gL_0M=W6>y>mNXmV zMq`pFLXy^F8s$|Kyda;k$#zIaV<@~0pEizm@$bkO*K|B_yA0(=!CReNKwww2Rk3d| zY9zetAKN(-qGyC{m+WH7gpp%*P&_y{Mk~boY%%JH3T12T-V9}9i^)cB%h+rZz1AoO zvtXmJ^^DTiGo~Iy?`=!9)2-L-t`xT(rCv2oHl@bk!q%fu=X9WijmK#D{1_EmG5(+Q|(_nZJlghwRQQ_IhRC87d zISjY6_L3v8XL31zRAycg*hi^NK#QITjs_JWO|~&CG`;Bhr_fa}UTW}c2!}hGb6^DC zh&%g3x-~W@WWxCDCMJCdflE1)$VcAT+*-o>VxD3HYpnAI81rb%%W}lQ!o1P^W`UVJ z4BdI?)A%`&M?<$I(FH^E>9^Q?J9!nd@^Qz2C%-u0prtT~#ydk%BpS4i69=^{_09yE zTpEajdFPoa4*nBKU8>}gKQ)~{A-_{(1LPTlD`|(GsjA?NZ;A?Php@mE=7BF#?8E~x zZE<-SVIE(E@sB_z7QhtmGyLCkBdD2>8qyi&M+eqFQp^9Daj4B`Wz!0fo5mS-7Rye| zkSig4YMky;XjzfLG!E@c4GNn_s~s?wa!9obx2G>5d9b)pX+;Hnw+hq5=!Z2)y5WXn zq)6f-xmYx0{t(ue+DaM}TLQ3*k7gJIVf3hFjRXpmVsp`?eq$&mPs5d!P zp*H)gFix>mX$({7T(e6~gQd6@cgdFGZ2nWxf-#151R7CX6crb<9I!*)%y|k!*-#Dr zEvqopEE&qCQa2YN8H!lpoubjOX;!$HWq0S<_$c}oPT^L?Evj(^A!Co&5p% zM~T3mxfh@n%Q`Xdxrb3!eASYv@2o9XQ<$~C|5*w4Mnyj_A^#1{`2QTZ{qy2MOvVhN?DF8D@GdY%hbIU^3!K;6(c|Q@2za| zbN}8d7N0A7E6Q2JMwx$&69~N(g;I3kI#8u`gP_GnGsm;?=vqdrX0NP*<|k^gvq~v1 zfvN?Q&;t9)OZZ-mCg&`O(%}98)eF)YMzQ%*VM1Y=0+xk#G8Ix5+WA`=D#(E*O5LVV z=mB?Bk=cRIan@n_5!x5pHEZ96+Y6sCm^mnWa%HqMkQj@DiDRgAX*}YBiVByzOjsba z5UoL5f3yj!74@+m4;ZUuxeH!c6s6A%*p?3f;l2{^%2djO0b_Y?y4?SI4_Fi7SHB3= zk+SI4MEF7%g06fZ;FVKuPK29_Lo+11{Z6p9bg=Fh#!=QGz<$ljny9^DiR zJu4>I^fmjMx(o}FrJATb2)Ai@#t99&PC=E?x+3I(K@dyX;BqeTlZYl&W6&HdRyi(+ z4JcRB_hHSf@NX6i|7NMUHL0pGlL#%pR~P=FNG%De2@S-()3N@O=-lU{GbSUfUw$;Y zti&O_6P7>szs@h2em3?iG3GrkI&34A7+3JYsWhiq;R0LX+ViK#WZ3tDU5>wB1ss3T zv)vVxOO6X58`Hd6SEaY7C`8_>sL4`h(9{9Kny3I4t+`>D6I_{r* z-p1Y>f+o*6Bg)Lx|)x_rr}fVf-$piPRTuko+PZ0N|(aMQ!Hs zLDl)71{9{n+xeodFw~4eztm$Dwd-Ck7&AZzDy-I{ivbnhU!@1pSzVxG1`O)%e+ihc zte5o43^c9#w*k|nSiiX!tXXdkfORq8?M{<-_%HOdYQYSVth=?5hWl4)&J1D!FHAa3 zWAU$0_B+@F)CHY2PPn#KZ)KXByiW}P;eJ`Y@_?-a)&G0nwNdttzq!@>m$Yog{$sps4P8va6fkERh$@P8t#=xD&x?^Jw> z9e~iBioSge+BaNwPZprU+(N<{L>|KGZ1~6i()iLGWMckl#f(&1>(Gg6`#Q#sGyTP% z$RL(RmAKCajMZ0Hb?IKHWU$H(H7WIG9sX4C`T{#3F=>;x`plJ$A^@kpWPEk9PX{D*`IX@Gq;AIJ+2Xza-MOTVM4Jhhnb_GOl_{8dE z2BkNA@8UDSZ}K_x_Zz8xjHIv2@?)tu<^v>OnlVO1{UQ!xr0koEJ0&7n+?#p`a#&a>GXU_I-4M!X|f@e9-W|YWE~wl zE+DCRZG$uY1W%1}InEar224D3|EN9xjNlOgluBuvU2zlquzdYjt}MHrhxnir9x|YP zvb;s$GSHdtn|S#N+TWCBzNz&wFuFbzO6#!{t*7-foB7sfF{t!m-*DVvTEYvn-_&{= z&y)Z&>#^=;@a>&;o@cB(nru94f*_{}FH|&9YHeFx(6H@(Aa6a4m#(tjDksDQjoavW z`1ZDPb^mNOGeWow)V+=2Q(#I5>Y4~Ow84Rkr8KN0_jwx|Lg*Egmd11gKI?v`Ak>03 zM=u!BA_!wPLDqJ9rRw&!I5@n098U-Kxq$3LcvBP$0YIb2=Vd0-+fErTXs6lVz4tuc{_KW zB_zzdr)4`)&F;hTb_K_cLETF%?D_XfoUNyPKw01NL5WUg!RkvISVp=q{0(j_s~8&w zh$W6W1Hhug#)o(7jX6CC@wP4m4no7EB~4=tIrLcGJOony_-z6m%I9)iWI{i}AM<8; zhY-mQrejdFr+1nZJc5Pb5jneWWb;s=#_$o>)D)io=+&`KC0fybc5;LymZx3@Q)_C!7T+BAYPUj+N~bC0@0=>R4p>PHzn z6FLs3i|3rFM{xLX1nX1$6dutIAB3Y)3RUNW!nn2Xh;&}xwcp0G^*0~D`=X5hEl0EY zI8kkOk^~D-d8jl^UZRNtm4^QjBMoh*1!ei^MngQ}L%ps<5$mFE^u1&IC`A>qEm|a?7{@6* zF-C|&{A8Y@j$Cxg4kr+=iv9AODi^)ZdfEm3DE*;~*qZds1zMpV8x) z`pMOR=^|FHc(&~e00NbO60VChc^7{kLU{z6`+y@atmIj< z2WlGK7o7Y=MuYO4+$Hc_*hQO|imvS3^dMGK(4L&5Z7T`l7T^{&PcjP6Nl@y-gZMi` z{Ee4U1vsMs_b~KytwdU7U!{{{u;r^I;%SNFBF5{B7_ae@d68Ikj9I=YK>qj6suuKMeh zcmuQN>vGh1(f?FBS&bK8+;6s^1E{3ceOgvOQQrV{GJ#>+GxcV1?7BKrZ=S0rcdx`J1vuUKK|RaEg6RwG`u^L5N= z=(|FEF21{mI|(=?OJKB=#R8?x$ukkG&4deLS=V;_6C8465AB~DdkWAYyL)PcYo_sq z5EC93ltlm1i>C2~ve{H>6fT-7-mA@FVCGHlF4MdNe+UyF$|n;I;B zk*qScN?2@)Uqn?qCPM+IQY}Yo`Hc9*G9A2Q`&})`@p`^H$^I?R-|Yr*&o}jAgzd!& z?gxypz5VU^rd~VT?X^fysOFR(#466dLtaJAE$b-kJA^7u0f*e&(5vET>dvE@;5d7e z+8EfN;!vQE`oHCw2jRUNdIbqh!UqGUtLQ5N;D%y}eMJCRDK`srqNPXoZP6_~T&mNb z1}uBu9f;*lr8A$>a@6!|d*-Q*8o~AoIP6>R6yU#;i2d<0DFEZ$CFBvPxVt2Mnm;|x z$a--jl5r3~d#inm#e9MOoD3y>#LLBv&vESEX>t^9IflSQu>xRSj$>`Ve6t+jSWEeS zG(!QW-eCe<|MIhbUCGy*-9*nmWmRLxnc0mbWOmM=oxZ&S(WX+}1%#&9VSz4IC@ePE zdel69Yny@eCW&(z&M;8;+}j;Q<`6R$O0TVL{%9T9`jwHy1e>E~Jl{mN=J2FD_MHvR zZO?BhzIyhd3x9m9`0%=()HM_HR&Tj_wBB)JZ%!~d8?@DR9|_%h-AKZPZ@Y&O>)x#U tNWR@M;c@4acc-kMGyPAWe!b`OZQFPK+b6RRjo8~fv)MA|gtzzV{{c*E*FyjR diff --git a/etc/multivm_bootloaders/vm_1_5_0_increased_memory/proved_batch.yul/proved_batch.yul.zbin b/etc/multivm_bootloaders/vm_1_5_0_increased_memory/proved_batch.yul/proved_batch.yul.zbin index 89adea2da47c73b32983732aee74081de5845ec3..931d11b2d46180893fbe47bde1c1b5275ba1f476 100644 GIT binary patch delta 14779 zcmb_DYgkm*wPz2=9OB5FgD5l3z<`K2hzt{rNW=g!xkjCP@s;?(3%;t2lNc3)3SUej zsWy^mTo|L$m{c2^N|UtXZEleIj8CYVsxc7~(a_kdHa?nue)me6yY@Nr*ykKP!}#^b zo?*^eYwh*kYwf*h`#AcYkE7T7$R}^?&Ls_RT+bj4kU(Q4Mf2STJ0$0az z+zT8xa|FkceuU%l@HfW^(GPK)@i=^MC?LmRNYrF<0&1e>k!JWls)GCpywQ`#{~4i+ z5bBIU`bMmH3G1x?`8n0|&*kR`M-a|pJdb}p&e@D#NZ+FIOGxPE%D6zG;+H2M=D27x zQg2jJ;Vk&x8NVDF4knGvW8n5G;fyU|=-5MadMN0?_uW>LHmHhm;AdS-2KfX&#m`G{ zJtiada#SJJSdTc4dkHnhwZ%RsYph#r^kC%nG7K?hkTze5ai@WN>x+KiLqqJ}j2}sQ z`VJaRJJA4*@wwChJxU3=3mtKrNC(uKR|a2rgl(Z0)d=gy0FO}Y8`<+1A>V?jS841` zLykoD7L@n;FoO#tE`4v6)us}+ym!G$Vh|`Tjx!ig3>1zta7i4;8x+sc9RBA~iswS` zc{DndM28ThW5wr0qSH;{uJT?+jp3{a;DnFtHn?UNpv7*E=QTKBPjbK>eC-G6uLV*1 z0B2TH4UZD1MltX)P-|I9jF4bmEj}O#vMeMB)LR{}%ZfbXXtE;T-8CSlJ}ijfo8Bh} zjp(bfIf&Rpf@U-Wjdq2U@jPXzD4qpTDnft-N%M&r>c?e+A$hq~h>{$G<6@$yPx4|^ z8TDCSgxchzIB$s~gOGTrPFX1?NTjP6acTxRV0eEdiDPXr>Q6z|C?vyiad+jw;%!jhcOS8XH?3GqmgucuxNJ^y zKvS9kcX3?9Ve5C3bofl^L4~p+<@aYNM+?acWkKo`AV{-6Rp_LQT+yMKyDo#B8_A_; z#8r|r8~9Z43@9K+pk~0PRGMUq;)Bv~c1iNyoWSL9i)g}w#!P00tOVaCXEY)Gp)S)w zR4>zT`V1vKH9l%*!9YPApkY#@7N-W}`ao85f~_}Z05lSxNp4b)GOza=YaqD^C&#A2 z@~jESVRM$B{VZx6MaaKS5J!RF9S)0yXYp^y60dmGtov zI1|XKdDKY|<7Ds@t6)fxb80u5n=y;}Rl3GYr+D1zb6T~Mqn(G+GI6XS; z*gSze1tobGB@ssvGTB!>d^HiZ(WY`H8g1SYG}`J%j1v1w6D?(ON0r9`HV;mKV>tcp zFKB!t2C?#B9457~8wFy69gk2OdeeqNW`XtoVo9le0nHkSr4(w;xGRBJ0()VBI8CD; zb;{dQI6$1Pfl?+XDfClIlu*Hh6W4jdLERrJTIP?nMU3J+k2+xNqXJaoSnw!1hf5;N zg48QOFh4)KOq?M>>1Eq9BZtZH^q&$a6CjZF7`qta+>fPnqJCArjpwzgOz9*-cd7it zU>QgRNG?o*RgXVG&Or0y#o@^tcqdf-8_mVac?DadKR=er`H|W*6{|#?gyzRg$QdxlnjTC z;(6p8%o#U|Jc8AkOVo5kaDCk5e+lc*A_|q>-OO^^+CE z3ms4HB(q@0Q#2vBKNawpm)X2B!vWK$39uGNB@UW$SNSo{PA(9uC57u_*kRq2eDX7B zp5j6QJEl|G|6OeU+Lz9bjz;*Bo0elBx{|c&joBOHFq3mlUFd*LVPqfi^gDo?|&bI@8#VD={;X_&$(pFn}_nR z$y4yJD;3DmMITA=>r~H8^f{ER>0{v6L%-5e@&;6wF0}3^0@;Kd9l-CS$X{ST;~<#I zTyVF{q7UJ|CbJ>pz6haRKAM@9UdDUVZAQAQeyT?|Yo-g*!a}ro8MTBiDy$Ui3=$9$)ACG*4d-*;kM?;IB#ny<%0GeV4< zrw5TW*9F^kA!_Ej+}}j3z3WJK`ph^RO&U`2F}6|~@zrc1T!RJH8cc#X7OXMH8^6+k z)GI)Q)bO5ZZ%1o?9WlSAG6!*h=_g5Da>tsv*|24fRmUZp%d(+irXED=^DdaJYdso5 zHm{!bkn5sEl$EBPbX_2zGp1Jzmq4zzl58-&6Zg8^v|BsRr zt>36}Vl2Wtp>T~Y;75J=rIZBgYDyITdB{h>vG?S7^~jv zBFmuF>kw%hUKIZ#6ELP{9MJt4Y~yeYdTfNOO3QtY_JY1W^@se5|kLSu+uz z)^J$AP#Q?{79@Wu3!;^01k^44vFL!TX>+BlVO&I{ zx>Z=G{B4?~{Eg{EJ`p(xtR2lVT0MFRX_m#;RKG2pCLQs?w}4pjm@ovxXG8Ghl7GB`@G(OCqi-aNQ~DspLLr@tpxa!de(B05`2yiz2ciUGre2UJTL7B5H*m z1YMc7|11oI`-g~mqw#$vYz9bMWf>9B{bHr=wFyqSFmdt7lM_-F*)ZXmVay`23k46> z5pF4QMx^JuB@S5NHN%4|^=gy=)U21oKoJYF=cj<_cgbLQ@%VWE@?kuUCxW<@$Z=8RMJs-lksLgy=Q?!t&MX$mWd7>mv~yj^hTM2y+E zHf;p%%LfWles07RXm>fXI~W!(-KYK1j*-tkTO16ylpzdJxo)EwCf} zJg+3ev}#djjguo{&MSHx(-QJ_&vJGQEq){iaX;esCo5HUZ9NjpCt#%=q^-BjcZ+b^JIqcN{ZY!ek%X= zXU)Wb0RA3>6`(}DcPF6?>xWl>`JEM(wu8Bk5i7weV zO2Wt;bb{j!(7sICk!CSfmJv}xCyd){V<~04N##x)5}Hqig-rryO&mgRHi2WC3A%3+ z!1pGWwQ%-LVwP^DY|S-DQ=j?8F!2{yKVU`CdyQZ4&0v3fo-}(By!-Zp;@fJGp#AL(ICL-} zD8TS-&yiQ4e%mPAod14X1?3r5yfd1-1NI$P@MyRG-77?zZu|C>;LCS|FC7HZ-WwKt zvD5#eZs!ddYwP===J9=B)w+SF>D8+#R4qU{Tl$?y?^MOaej)={(B<{_U=<4%XepVAP2|DL7JF-59B(z+6@ucRJY#U zcXZ5y?2rGol6{;>(Pi^y^&HCgo$MeZ)zoeJRE^*IJb!SJmHw8d_djF-u?mnHP=1GU z(%|!7X`aiveoy(Fe~%Q>1~#A={#WvE^kaDk!rvBTMo`V;>gLv8-H^IU|G$*Fi(mft z@zk*01=M`9P~1heW@!l}H!wBe)>i{=&fyr?AXtrB9vV%PARgRPP2WSY>{L;o>el?2_+C96E;U}&gm{OM&GGbH|m z5FwS<(Mr{66KF{F$g_pu_QIskbk|s^d5k`<*YaUERFsVL*>1>3`Qf-ecf0O4c%*YR zVk{H3zrH`~hC-Rk=|3$FaHG=?;s%NHzm#0)K;vuz6v&$yF11~}c~0CTGe?zUjlxS!6agFUOEF| zQJ@tmwzMRKs2+@zD!nCk_5$sj>@EIP+`cX(2V`Ax!PXYcE;z8u5~a-rJsu4FD#&V; z3FZ#k!8T$nVO3(1mP06Ov9Xh-OPxJCnF>p-R$O|&${|Bw_gC~5X!O?$(+^AfU<6W8 z(9V12Ym0b9jRhTFz^7hC2bx7Z+l)o8Oj8ra*byJozBd{yL-l>utDlwBgEe30DFfl`YcBaS4~4 z7QElr3{{ut?M9^+B*2YJ`SOxte~lrQe;M~hFXM#;9MdlcmJ|g@odN_elU??gI;`as zE^+9aLY>;b^JTZBy+Hhvq~RS5d-d(O9=7A9V;oI5?zRiG?TCR>RgH3?$GlhHI+r{{rqd&jf!hmp2l~Ubt25>MvPpjp zaRSX(@kZZON~9JXsu=xB##&8X{oS(EPWpQ7?|T+*d3FQFz{_5Dq+^r8*%Rb2?S z>Wg4%sp|VqZ)&FMi-0bwDp2)Bh~;mJBEah0X%lW#h|>SjCGTepUU$O*TW_Gl;@E@Z z+KpjYQTDre1#gp@Zp|Z~Lpgq)ht^v(PCITXp~v19x!Bo0pB5668K z?|P@sUU$n^_`iu!8}39?BpCO93BGqaQXDDyr;-wWJ#voxd+vL0-n^MNyqR(T z7+~%_=iGD8_qq47_v66cj|1Pblf!SfW|FqI2a`z~M3PK$5^N-&oU%9K--)LQ&onX& z^D4tEo5e6>JYkqD{LV0Z;G+zqKLdAl+2k}#3n(C+P#3V0{1@B}s32#dEU;kyMTE{l zs7pHGH)2HySeK>oD{kXg#c_lq2p6sY0{?n~G3vh*euwM7f=Jd<-A$n)HpYL-Fo9u6 z{S#LzOf=4?DCU3fHqYXGmSVocbza}2O@9hw@^=Ba%hr-Us0uRU&&Hr+ave_K&p*Im zP;z2_z-%hwQK1a;8j6_d4Sq=!F&i8>6}Q(9)AY%t&t9b8uOr{u10Oo53m(#cBnb8v zv>W!L#@Zt?sm4YX6Y@O_hwdVOhx)K;dBVmwIVWlmR>A-qpKqTt`ZGel1;d!);5)i> zf$VosKIY(jowgiMNemOCkfT>QL;2Y36#+V)uE8)m9c~Xd&FGjohT#HT#!;`*IO{Ub z%i}?4nF1X`kWLJa6M>GNat-HAMm7fjN`ZNCMi?;hW8AdN$#9Sw$HNl*XhN}JzENXC zm2lzit8!2uT}^@^GNzU_2%H{?F+y7m4|%aXbjPUq93?{;5ki6@9d=u6Hmc2DXEYOm zH(}4vX&QMiyg&&hquep+fTFkx5)Li%CW9`1V@yPVU;_*j6hO_78y!$W&667q_3@{0 z!6I`qA(2p%P|c1N2+o^egx!;n`3XF%nxNi5lmm(l!M{@AJi>c|qi&l6l$tR^riScA zj!PynFmqf%j8O_kF#$-2VM6bV9>c{!%eW2_4`oUDY=S_gH^~UyNj!v%=iz=5k5mlf z|3Ut4H#{s$i!PLhERV#tC@l(gzzKzfdL~e5ElSR06Xm52B+E;w>};I8Ed?EwT_l0+ zk!*4b>K@sZIDukByyA#&j7iw;ScYfPnYA?DLHk6rb8GgRlqfJHGotzJ5gp+ODL%_)csUhbg6De&WuIxMg4GTVO(M78Y+e#vnVd_Y+r&G) z*D6Ghh)RbRxT&sLg5i)62$1o(kP1Fshj8U(y1M2=rbP+Bd{ug4>lm%R2Pv@^{CQg6+Wht zlI*ci>GVVul)_(~5=Zt7nFVAKlxBWRo&wYKV)kjrM%=#`Af;;Mp*JVrat^sKCU)f(O)Q3 zn-dCG9eli&EfzRZ2gnn1a#glcBEZtrGh?otppZ`4T#G`!iU6si;EX&9%^Th2D^zA^ z?UM)(@w4M#^ArC}Eek8&qELXoCVVs<@=CgWLiSy6Zll-!|uXIAq8T|%)LNmBFGHeIk**_L{>q~Qx)Vz z7=CI$DTU^zX&mi;+F=+k6=J+tign&L9<~<>aTFuw776ZBK{orkAZ5>RwNUd+F4+oQ z&scCr!_QDT7cI`mowh7?ZwzQb@2N3}mB(Eh1EW0d+8CH{T-g{<&Q=x5J5ZUJ*cMQz zPM@Gsm-s?!yAw)faU66lsl}FHQBeWxTRI&zP!^a!>WbKKbK6w%tXvwcqOl!XiZT(i zXKBF`R~$MO8Y6}=ia7`65D|!tmR@eMrTHM7&%#-0p8L6KMbz{%Hw)t46j$NiLhKv~ z8@-O9^*2)E-gXV9pC#x*l9%iK}*@OXHLf@AO~OaVXh}k#;LqX85Vxs;bQN z-^fsHPAIFJm-^rvrvAzBx6&95y&6i)#0<6-$r>Si!Vjdmc`rm%@Zu*%8_Gv1a2CF~$O_y>U4Rs~)K~76xgON-M z^rB68um!GyE`k;l8^rxY_)`LW5Oa7f8IpdiC2w1q#d_QCUA2^1plw+w{HZL0eMsOj zVKpA~tj6T|A`dfGs|=iTLRI<%)$J413|viGG0}^&a3S`(7sCi!CbQeN#&_h^V0h_X z+yzlk(h&~BWA#FF7H1Y{&R&cC&|2(=*5PMuf`)(9ug#P?*;|M+fH+3P30X%gFw;6S zr+u4t9k5wa`*-W`7`T`Bpiy zUydPd1G2wCt#v0<9zsY^UbmGEjT`=vb4(O=SfwarOcO$ae}1AIsc>6 zv^UC?yDGsM>(~gy#0!~qSlO%%o1*s;e?63W=$}?0bUL-=!?qgNn_*R17@S$JRcSb& zKCkiuh1t3ERV|OE8QcVOE0blrTrY}5jx?W(B8>0Bd(Lzm#mY}?VMI&k3c>K(c+hP+ zJzq*7`U`k7hX;lX6F@f6*0_YE;mo0Ihxj@sv5+Lw>PTOU2~OJOj|u@9+<@OI`W zwi;e`tDvRWt?K+xrp40xu@orThBr@zVH25{ASR#~O~Omo<3gb2jUjRY8h>t#A+Eq-*Zm4>Po>TX{Q>@Z; zqaYz%1y;R_O{~b322`g6HSlf%E@pUd4f%z=>b)@G8OQES9gdy&MQ(T#CU#8qW4B6s z*$t*WD+LbX;Qc*Q*u4_>@ZFwhNNvJaP~bhSshZS6OA|d{zuQ!S#LD&-kY9qS`37F1 zw!D9X;86WOi!`xMo-h+g`qgx4_ycLUasLp7ulpcbZsQKv+dsHU$iLa^4>S?C>zvU{ zIQrZql)Qt5`rlOG8NcB}%6a*R1sXXI%V5X3XH*DUh;L`QigQmtv8d8>7{(8*!DSf` zdr&KH+n&vUS2Q6E%QGSzOX`p6X48&_dk^cpp~M!Ep|Rh4-aJ=mHyzRwSr3JfX218O zBYp;n9u_ru1mrzp>FFe{DmBYm?`dmi{=aKWj0<;P!)pyX|)tQZ4m% zWB(#<5YxHP4RXJ7T~r?5uNoI+{cG28?$=~C?Is<9;r5H)(Tv5@0I5cw=tpUdnaQf1 znUK1h{F{YR|Cj%9I?-#X4|V^!hW!nd8YCRXkaZZ(eDE{lFt2)NpvT)4TKjxYgm(r} z|B6WHSNfAsei(1`?5&3}w3Xs(lX!TgAq9hHQM)6^9%+w-!|mZP(2kdq?KCP5wyz`~ z!lF-Z;OnoMzrR7|3vVi-zm)HC+;6n$9a@TF-s8hS#e4@$J0`uxi2h2Z+5xRcGNl_< z{-_Z`j^eu?{G=XL9~)T(sZgj@PAFu(@u=gS!jX0(EAR!q?f5oK*jV|oZ1$iePcun@ z*(g<%rYgbG2cxt@Kno0{F%B=xsT5s=rlx-PxK?qkhb-EnThu$F34u`$wtcEa18eZ`DO3k2UAdZr)|18fZX@#4Rq_!Go}w0;_E`lXhoJd% zHL=^rpQ$FK)!y8R58qnt?Oh#&{hgr4y=U<);#oYUJ%?|7&Z_N1u-qNz@T~;`r6Q2= z9JTPYb7nYzBTIyDW#@_|v%7_m0|-@l9#1RJtI3IGN1^f%LV`kiRp)Ex3(sSWyll?y zPD0<0r6}e-I*DQ)-ai!}xphS;x99+}YkGMklwr^|4gJ8jT7rgLn{po|y&8ZTxoRL8M?ne&BctWPw z=YD|~H%BQl-0F7J`RDu05Y}T*73jxgxFGxsUo4FPcU*!q!%(*Yy89wMQWF|*VO1Au zswW$zaOo@BwwSsdnRin+Uhj4DZ~#BMyQTJq6Jg8PNJQeE=Ew%^LQU0O?NS#5c*TaC88a=a6e6&#BjF zTVuPHopU-sC_CtBg7`8&fGNS_67Ec(I8Fl6mv!LxPU$-nD8U7aa9z-KZ4Le>$;{qN zQV8X}E5*yN9eo(MdoghLVc_ng0xIjaz>+>*C62RDg-Tq{Mk-Z>@I8I`QfQxd9fS6D zEOGF&>iS5bokAUOLQx9W9TkOIU9Eq}*QlgDXS$;PY*su+Ins}>Eb+8*06*RRLgCd< zUx69^SWC{^>;HI;_KBr8%(|7rTj#j`5mSp`c#3(CsYNmGb|k?GX)UfFUSQ)Ur6}OM z(!qKQPdINbV};}gy*IJax{0ZC0AJzXq&qSUXr(Y3#iV~3itF<^pWuNu92oExj}}lv zW*9%{Drzl1v7}nd4=kb98q}(jXoq=56GEu9{;WlV%2#S@{NT;A-9`>ou$P43@X-+Z z$Pn7?ok%!0WS~AWluItd_**x~RWRIMNxpz`{P`vH+@^19hi{t|uru$NrJLOIKJLz+o9L1(t9~SuoQOc2NqpR_}4XM zr7LkPUj(_