From 81d5123f54769914cbc971f9f7c832d8f269df87 Mon Sep 17 00:00:00 2001 From: Murisi Tarusenga Date: Thu, 7 Dec 2023 10:02:32 +0200 Subject: [PATCH] Fixed the formatting of update account in the test vectors. --- sdk/src/signing.rs | 80 +++++++++--------- ...3F779253B53A9A0BD62FD3DF8F6FCF4AF1E145.bin | Bin 17018 -> 17018 bytes ...BF9BC175A70082068C8785BDDBF49DCCA4BE66.bin | Bin 7448 -> 7448 bytes ...C89879834677F926130D56EB5E4067728EB5CF.bin | Bin 10382 -> 10382 bytes ...BE50202AF004DFD895A721EDA284D96B253ACC.bin | Bin 7448 -> 7448 bytes ...3CEA99A9BC66B2BAB03D4ABA1AE57B12596061.bin | Bin 7448 -> 7448 bytes ...F136D4522BAFC99E0E81FD54A28A38E8419CFC.bin | Bin 20518 -> 20518 bytes ...B0464F2130123149D5691B85C35AABC49FA2BD.bin | Bin 7448 -> 7448 bytes ...6D2CF14C7F9E90A8588BA75DA0D2860F36E2CB.bin | Bin 9649 -> 9649 bytes ...396732D2EBF77728D2772EB251123DF2CEF6A1.bin | Bin 9941 -> 9941 bytes ...20D5BB3FDEB1199EF712C059C80C4DBF6F3ED8.bin | Bin 9941 -> 9941 bytes ...5CF776D5DE7C9153D67B7FDF22ED6F35558738.bin | Bin 24494 -> 24494 bytes ...DBA1FDB2515DF33D43611F2860B8D3C178B474.bin | Bin 7448 -> 7448 bytes ...6C8B75587507CA52981F48FD1FC9C5BE0BEE43.bin | Bin 15257 -> 15257 bytes 14 files changed, 41 insertions(+), 39 deletions(-) diff --git a/sdk/src/signing.rs b/sdk/src/signing.rs index f6f2bb28e0c..615a0383c98 100644 --- a/sdk/src/signing.rs +++ b/sdk/src/signing.rs @@ -1291,9 +1291,25 @@ pub async fn to_ledger_vector<'a>( Error::from(EncodingError::Conversion(err.to_string())) })?; - tv.name = "Update_VP_0".to_string(); + tv.name = "Update_Account_0".to_string(); + tv.output.extend(vec![ + format!("Type : Update Account"), + format!("Address : {}", update_account.addr), + ]); + tv.output.extend( + update_account + .public_keys + .iter() + .map(|k| format!("Public key : {}", k)), + ); + if update_account.threshold.is_some() { + tv.output.extend(vec![format!( + "Threshold : {}", + update_account.threshold.unwrap() + )]) + } - match &update_account.vp_code_hash { + let vp_code_data = match &update_account.vp_code_hash { Some(hash) => { let extra = tx .get_section(hash) @@ -1308,45 +1324,31 @@ pub async fn to_ledger_vector<'a>( } else { HEXLOWER.encode(&extra.code.hash().0) }; - tv.output.extend(vec![ - format!("Type : Update VP"), - format!("Address : {}", update_account.addr), - ]); - tv.output.extend( - update_account - .public_keys - .iter() - .map(|k| format!("Public key : {}", k)), - ); - if update_account.threshold.is_some() { - tv.output.extend(vec![format!( - "Threshold : {}", - update_account.threshold.unwrap() - )]) - } - tv.output.extend(vec![format!("VP type : {}", vp_code)]); - - tv.output_expert - .extend(vec![format!("Address : {}", update_account.addr)]); - tv.output_expert.extend( - update_account - .public_keys - .iter() - .map(|k| format!("Public key : {}", k)), - ); - if update_account.threshold.is_some() { - tv.output_expert.extend(vec![format!( - "Threshold : {}", - update_account.threshold.unwrap() - )]) - } - tv.output_expert.extend(vec![format!( - "VP type : {}", - HEXLOWER.encode(&extra.code.hash().0) - )]); + Some((vp_code, extra.code.hash())) } - None => (), + None => None, }; + if let Some((vp_code, _)) = &vp_code_data { + tv.output.extend(vec![format!("VP type : {}", vp_code)]); + } + tv.output_expert + .extend(vec![format!("Address : {}", update_account.addr)]); + tv.output_expert.extend( + update_account + .public_keys + .iter() + .map(|k| format!("Public key : {}", k)), + ); + if let Some(threshold) = update_account.threshold { + tv.output_expert + .extend(vec![format!("Threshold : {}", threshold,)]) + } + if let Some((_, extra_code_hash)) = vp_code_data { + tv.output_expert.extend(vec![format!( + "VP type : {}", + HEXLOWER.encode(&extra_code_hash.0) + )]); + } } else if code_sec.tag == Some(TX_TRANSFER_WASM.to_string()) { let transfer = Transfer::try_from_slice( &tx.data() diff --git a/test_fixtures/masp_proofs/51EF94B13138B91DB3081F95193F779253B53A9A0BD62FD3DF8F6FCF4AF1E145.bin b/test_fixtures/masp_proofs/51EF94B13138B91DB3081F95193F779253B53A9A0BD62FD3DF8F6FCF4AF1E145.bin index 8b21aac70d3fd50b05a84cd005d0e440b1cbefc4..9f29ac6dd3f842170a4028092beba668f8a6412b 100644 GIT binary patch delta 3073 zcmV+c4F2=_gaP`50k9h;AeBjgcbU2vH^gl&7EW3tUtN2m#5-T-VO3^L57gsX6#o$X2c1whCQzJ)P&A2?Q#s0CO24k(kGCP87L?j`@#HFn)cZfZQ4 z05O1fo8-hB>LYvDN?b?n4XduM>SmY!V{;(H6FAcRl` zD+>U<~f_mMpx6lIl8FOUsH z#PTgA!&b0f54)7luM&RG;_yS`uUVf=f$M&Vr=1&vT1lTHGii%JmQ-YwrJDX`BmFpQ zF+mDl>&bm2F@CkbjFWz;85U;KTnAhEFhoiuKrSY^wpJ`oITXSU3eu~WHu}MuF{1SydElSIEZ={{>Ys`}v z>^C^cBO&RIhTi*FYGEIyaUWNn! z)A>djzs@F)^UO<7N0x@Oh%l7`f6=(G=n$|`NX+1eL9CUJ5{b$RHKsHR4P5yb>0J5d z=NssR%#csrI1!$%p2p<>5V%`^ojlLTb8@}dY(N|?cQqGA{Q=w4j_A`HZ{iXR_6y?K z8qjxjmVLGV{B(Z_aerkETEy<~3~N4%CCE%CJ9FT z#2j~SN=xaO@K~1}d`$)tcwmK3le4fkl>$)~aU2KNOI9x-Q6+Yi*2r}<-TQb8X*U}^ zBr%YgE2AEWB@nOi0Rpo`Qn3`0U8Z#jO+mP>K;o>!@tD@_sv5qE!y--HNW_aGC?;g( zr+mEtkr5!1wmBewj72)Z-j9T;X!{pHwIS2P?6wwvqG0G1^FCKdE&%+cb>dfmlkARx zb)~TsmFjVvwwXV2*oNTiGMijjndLXGrMb%!J&`T)p>6L}y?6v=OVW&b;9Sd=-G4B_ zx0-Z>01B!OQeDAQG5XVE;68gd$rYS1)^1kg>y7k!nv27K7l|p41{kV*YzYwnhbQ>} zD~Ee`pH9LRaUyDiW&B=03!ZGL*Wz{7DIqtukw+6!W=`TK0GVzPn~2Yg;+jKZ^RJ4g zizGk=5yHz=l2Jz#fw8Z}8JLxe98{(zW8|^sS4((@*zHe^5R$D-zDo>IdzQBMg5hff z@~AdeK`^?1v47NdxJ=1k(z38r{i~*bWYvJ~wP~GLlP=0HdR59eElKGv_t?;Hk zKLurfb$w3_mkxoAub)?I!rU%u>7G@bh^$@>d(gUe8ZWpUNGg!*$fbx8z&|wR zu8U620-yk!)-K24$3Nn9O!#~D3oxSV0t2l7O@8Hfuha5HVeOu(oe)@VTjU4QC7eU&#_H+#j4x4ZuQ(>_sriLRW z)&*SjOo;BwOn)!A+Q3{PtK}BAf&Z}5UDN>Bv;3}W%g3X2TJ?UzT1;!fY*jtnyy~3r zDp{gTp)?MaxKsM#5hB*QJtz5qOZy3btH3o8zKVWm1^$Y?OcxS^2Up;;fbKqTU9O?+sq&(RW?^phsJ&=+KqG!Z^`)=Ib zp8=ok$naYyC2A>!#%M3=RCeZuf))0X^7z~n@|LYE)L;TMFRj_e|AL$1>kRKc!=6@c z??@=nRpTyBO=w%I7bj`rqOk-dQ3EvWDJY4(@+aE_xg9CKqsqY;ozMG3xB2TZRqxwW zo7SsbStg=y)N2#Kgd&Flw*RGnCY2f=&AY_^+k7ApYNF4P=*n>uT>+lMC02i{8gu83 zUKVSdm|QXD?iM!2F|54MXMG(K7JE9?33ohI1gV|tc|C0gq?JxW$SxkO3vC6&oDI%ffYMPlWY1&e2s zaCfs>DD+FC$Wt;QN_U=0g&QKZ*U0A(J2zb8QCDXW0pLcJxF;L%66il?$z!PzfQyvj zYC$+*O5D;CaGfd&f0NfOZL_SIUlhKC92<%(%&na&XV{#^Z`nChK@hCpAk7C6g-vz@+PogMouo=c+iT~FNT+6ADP~-k>`kF77DoEp5&ftzV zOswL&srd7kWLRa_>=#oVWks>83=QTV)ZF|~p|(`=@uB$1$H+9HmN8frxDpSBzj-grIHv&NPXQyRJpX&WTMiuDkBS*Sm0|z}B=nzU6II5o^-9Qp;KYxA6 zrG{HBwcW@i=M?kYLQ2u`UF<2nuD5?Y!X13oqF_@F*1Wzv6BNzaAX(8q6vRQwZ>b0b z(elCEuhp{&his&O2)*xL)>d|X00C#VE1)*oIx1e%$0L2yrZh8TRJ=g7>MVYVdp@XYe>6uIz=GnWNENw*}zsq-5;o(dS^se=U zVlH*L#&l;&AM#Dsjk!W7CKc_d0aTqWRd1YXsWYNNti2O|VkMv>f@SykBU^DQfjaYT zkEGE7xn7)yCOplcfmw+0erVQrJ6p$$2gYpi7tjjLEZ%~2N28^l9x1iFoW)U<_gjO6 z0z4k0KifjrI;XZ;1r0tD^6144U1Puj2Z?uxWx@v9C^fdb1>&G9&qVVWG-GGo*XD*U zfM`J&jNXHPgU<}qUz+4btJWDvpS_7?fPXjQHF!LvoH}A5I;(4Fdn@Uxf587MzgpG= zgDWu@Mfsuj?kms9_ib6@&r(6-cH?6doL0!11{}a?o}_5t+K|c&P6HARB7iI(-@uZf z#arkYiKrCER(=hB%={oD-TbUxi#}&a__DBR!cpE2U zk!znzd34kc_>0Gcf({&f7!lH$G)38<=6wZYby^xAYNL0-1X}T_c$g!B?`JqxK~Sf# PehllV+W){QA+|b+gurll52aS8!3tK>yhLbxc zKp?YGZysmI5h<$bE88eF^nM%s$^x(NiD;JU2Wb#)Vuq8OCP86s=jK{$!7%egrol9|pJW4G;B?cVaUJ zAC@h0pD%2cx_tBEejMj|jR!pafeJ?LZda4%7QoR^vppxI0)GbAynkk?zrIn5xx1U8f(XFTyY<1o$9Rm?wz?euCnvE=?{BmFpQ zF+mDl>&d`r6724f;Xm}3HK1pZS{Vgy_-CLeXR>Oh$h49Bz9s7NBNt} z@<8PokL1){$hLA?Q}tkMmsPJ#TS@##j@C5exPS)bT6fjo+#4l26x_we3{1g~>YN{`dLd!tdjzs@F)^UO<7N0x@Oh%l7`ep_{6IR3t=ZMoQXbA5%xoW4h>smM5DIfmp zWp;(;ex#gRC*{;^<7=0@9ipPAoj1E*cVgfot5R)c&MT|8{A{~0$Ulz2%iP3t4vG`o zSSi_fgoo*v@K~1}d`$)tcwmK3le4fkl>$+y{db{?&BcOik9HJIrMqt!_3dWe$1#ZP z(%xjplfcFGp8lkTtLOEUB}W2NC3O{|m(oqIOG6x-Dq6Cp;u$)?NHvr*}(oX}%czLi662w?sLn71bHzxkH; z4TLW43{RYKfFx9zizOEvf)tAj~Idk!BURv5A>g z+%gajiSxa(Q6!Wj17JDzC)?i>)5r!^pK92H2I>+p^$R!>#H@~+w`LNS)|QY6n@b4s zkSthK^nM=pti&m8SC_}kfEX4?Az%rN6mQMFV$aYr?NmSje=S0^CYRx&7}%Fl)i7ay zmVX1pj~bAqK`yb1xPJVSd>+CCX5^KB)Qr>vL~!%Bl4GXC2GiMoFGoVOKYIy%vPu!r znZ?J(vYJ`GMgrqKIk#Hvv1vqGHY0%?rre3#)dWvCW~T~Nz<=@ zRa_ZU@!Jc`xr*I?#!h&oH#+@Vg_iq8jN<6q!V{l~cDIB-|9D9=tl3XG_}`Z*;mqEv zN2w^TI9%aE>@V}2WJy6avwx7F%Jkx>R*z(5g|O-}HeB9IngeL0ZL5rLYtl-rUCSj- zxSQqK)8D-QNGWOqg!NR4TsE*o zdM6Z}1T(K%eG{ghl11QHQ38#4-UkXSms(}(BH8PK?mj{#cFE70`=@m6a;G`U5gN8* zUcB=AHK%>t@I@)FF?7LH(|<#9)G+pujm&X9?R-DrXr4(^(w_~&wM}?`&62c%J(7yW zFkiSsEM)zOxmC_lLJj9}sE(ejuK`F=x>u5J!JUfw6}y(#(ik396OX&2-v0umViCD1 z*XKX2R8H=C5R{F-B>Y)Zspv#sOGIz0xDqBZem4?N1}-;kE_JMsS6~gWugJ3reoSEIx=z{2z?xB zPseRdMRAsTQG-4P&qVsS9n68T&Zdk8NF_}@2nvW;Q%FvxH{_>(xEUF7lqtvNWi2>C zJ3E$TbGXN4^hYgF>NvKzqf^X4DXR;1$y2$wPlB%t4xJSOs2(9<*;0#zs!Wp6GEb2l zcFz|L_>!~$e>;l^?0#~pZX!HTNAtY_swb2zi4JRR+w-><3LG7jrlR-aeK~8wku{Fp z3v@yFgPe+jAv!OA8hf%cvKvNWn+n%Im$9Z_N7m2elai|T@mwKO`DpMr(E!&Yr7*~q z4#@zwF5$KF3PoFqH=K%n4FQKFORvSyjW`Hmx%7DJ{Q|Kf&0~A?E8z7PlbaKUSu6|Q zYJ?5p8*V=TL6z@&mIHcVGy`2^0LeTzpT>JH^xMRDhk}}a9!07pQ?}j=>Pi;kmAk

IvZy^mIO?x?F@kHN>Pv7Nl(|>V&efoOZuVs4QX) zZ(sV3YEZd<4bMt-X`2hOBxBm7b18{)8{C*G(U#Ch@cFjK=RH1y8yTn*WWP48iTdnS zyOv26obcd7Jm`2cTg*bR6I{nAF26gIX=k#5{~aInjlnd92Ci)30kbA+uKy^a3Dxy%B_nOqZebLXU?y zvv0ujer{c`^maIj_Z^;?$zE==YZLSWAX2VwrFzoC@I0Qt84#XOh0zWb659E{l^Zpz zi`b$$w6lK}B?Eu9&KncX4W{c8Jr^wgn(!XE{#I|%OEt^{i9gO&^|NgQWg`ExnVO{5 zNKmbld;;&M;Vbr*e1Gb!ZqKmuVy;S0TM ziFG6wL9)c^eW+J^Wkie&+(@PZ!@{9(S&7c_$ow8(ll*_L08ernWYH1|3MsD--{RKR zs_NsHRxe&ev5)quV`Cej^|FRSeJr?xIGpz&u#;!avF|_~$+6q=052*`Shxm?x%1mT z(Jw&QdvWvs=GyK#E^qqN@-~&Ko{OW0zLL>_czZ43SJ5FoI~gqC6;cY;rdq}^=3eHW zgbIxmTdRLb%~1aWAWt>GJRG-X6jX0c#O{LHk_o%n)r%c<+Z2_L*e!bt*cq+G4lmaz3rV8i=7GEGS{UqSC_33WgzmgNq1;XwBdg}CcI|c0G z#>8I}`--z7WKB1L;<3|%{ox)lBk zrt9)x66!l1!nmU?(QML0*l|iA>G2la*MJc9NrQr>Nj^2i7l_*jnQ7v)K&&L&OE>mJ z@(Jx;ZeY5t>%*~Z`zNp4T$eB1jc_~jH3I^}d`PR~P?Qu}f8>G=ZLSa0!z(%b{mFw3 z<+YreNDlA zpQZb=kV^LTbf|S6n8EI+?o0ypf{!N2@vnc}Tsx&K`S}H8X*o}{vSQiZu=a29lFV2D z|L_({$1DEF7$0^=250;Zj@s8P=CQE2YwQ!B)?Z1>phIwX*oYFK5Ce&q))Eq{; z?p0TvNPkU z2-)a$D6@YSB?Eth)89^1So>pF^2pBqgUjqnvLu^YUL{Pre-h-xn!Z7?g+pT#%vc-A zUz^6jpi*m?v)(c}`Lzihu%uU}{!$7KC7|gSWuF)aK^;{Sx!=blyVA(3#ahYjjX2$T zh}IkzGcsFlvzu#HCnxndZ!-;5^qNd1qDy`($3SO|eQbXPBH<_Jr|wFA2Q?kG)I9O< zj)NE5PyRT+-Uy5TDm}ys452lA3Q|L;p8-A@rE<;>%ozJ8&PejW!_kf}0Rem|{g-Lsp z|7T`9Gm?a4RZeQ!Xc|*LLYzMYFdIF5+8g141tSt;KAjv;KVC( z)8T5c}C2kinNM1U_7N7CA$B<5t=wA z)CSuY3*V$S18)veyakOEZGi)gL7z1h?1YstYTlS5emCcT0@%pLLM=He(%stXhmZ(4 z0pVL?a~fxmOuvsoM)^^U8hPI%r$v%WLTi7BUHXIbrbO~uhD$U(X4 zhsf{qRH*76m&Z<*%F~9NRMW<#wqlLv+|p3YtvlM&eWravj9pYc-r+J@13mqLTVO_O zLf9weDfrerW(h4~fa&sIc@#r01azGF)*-ACGbZoAQw`5 YCRN$cNHgWa`!LU8nQY__1e4?(G>7!;O8@`> diff --git a/test_fixtures/masp_proofs/6DD5A788D36258E9D5FEF454DBC89879834677F926130D56EB5E4067728EB5CF.bin b/test_fixtures/masp_proofs/6DD5A788D36258E9D5FEF454DBC89879834677F926130D56EB5E4067728EB5CF.bin index 94f997688ba6215afe7dba75785ff44eb9cd9d65..a6c29f7bcfb2833dcac7b6b01d331f3e046de60b 100644 GIT binary patch delta 1781 zcmVlwq795dOO7lkXcrVFTb*N74Md19?bZ_j>yb zoI1nlhYty*v9v7E4{Bt1FOWE>=Od767!Gsy(Md)W`X<;ZH+|`uCmog;uLqT7zXDdw ztA#9mN((tS%jlH5OxoZh42P%`6Yq##IvmT>9_+J`9Hat&cy9G}ZGDJ$--fqqQqy6F z(Fbl!K5JJK|FSe}BNl@*7O*!MIf?w%lMP^0ipUu~OtzAtL<*Cc(EeSpwW98$mXt&FbrJIQ6AqBFeLM*s3M zQ5fmj3P}U!P=z+8-$JRPpx>`~T|u{W_FI3cHI@o8l4`g1YbO1pW|J`+DUqEBlgc7M ze~rt2q0)Flke^m=4N=;xeC7*paqgqYxpnJ>#5^j0;aK>mH~U8KU5H za9Rr?d8*ggMlOy!H%EechLj8fkx z(x|HBPS9yYvb?(lgf2x4hwD-mRo>@&37q??*Qm&=US2uByP?nEo zf1)l4_yn`>2Pu@Qz;Ke|Fz0#AlWqf0>WP zTAxgQ?gj!z%0|^OOLWBJImomQuG3M|qlp?Qqj)C+CByYp4G3QZ;cm0*EI&vgL<0XQ znaK-6&G{ohGI;SL*b<~2$XkOolpDM8+WbQlrv8fKLr5u2`yU+}$c;Up6f3wob0)?0~ z3Q<9bxE6hO!P=x_n&-<0m_mIyN5m3faY0V%MygHA$s61-Yq_Wt_}~TY431C?wWRnN zHD2s^I?`vY+uG895Fm)J<%`BA2)uy_832V6mW~CL{SjoxXzc=Wt`RbkjYU@S20zx? zB-bl(oiKaA^g%wp^sz57eN^z)9V+k zOcm~U%i;y0&CT2k&e3&*D$#s1NBL~86v-J=#oe(6WU&H$TiZn7fBhLTQY71_)<)i> zSlf$d^_bx1){aZCuuE=bE|?k$ZGqm6!B9aLEFUk*@`w2Ibf3Vo(R|lH4YI)=1jcla z>V2sQ-ag}tl&GtG+U0m6ou-8=P^mZz$17rbUGb&g_mwg|rYN#dshnTgn5-8ghf4)1<*6T%G8YVwti|ko_&>f;oAm5|Z>uWWz~Zos5a{pq z*l%DB2~lQobsD{^8Bx6B2i42#^h>{_Kgz=UPe~21ZQ``Se=`1+N{z;R(tvOEnnsc| z{t>7it5W^es*Vo``5<lRP+-@-PLt2YXsrL}SbVN& zaPhO*$C##OVBOFYn*_ftbca5CJks(wiR1vVmN>hpVC{{ X5UK-{UMMJ&UMLg@1^@s600000QAc*_ delta 1781 zcmV01dlgq($?`4`1(Mk1fPhW+et8(iWAIj~hTB zmtG_VU0DnA5)4bW0^Z6A?c(Kc&ReSVZTePy`4R=nlkXcrVXc+}MF&oZh;neDWQ9_y z3kc(aR$u|fzW#X0u`eE;zXThNkRj1%zy0js$*l(n+Qn$i9#pe>57X81G51*lZ~{FA zBksn&pncVLX5A}g2xPa%%E#6|;Xz)aa-72{-x0Hs9Hat&J;0iDgJqrQ!CD&=QexKe zxWzc=dZ`J%asP<9bUH27@O!q7A+@8M&SyZ@AFMveT((r=$E4p+|m34vjYI5Yh`>Z}}T@Qn%lMP|Qus%-msacOueQ%w^=PA!&M;$kep5xeaCx(_g*EmoXk|8i>I) zQZ@DdM0v+Tl6!|jl98jYFcwuNgZMh4bXoipGWwh;1zHl43X?G#DUqEBlgc7M zf2wNW>Q)0lr&offB)k>ZN+Z<`AyrH;z-XHN&wz|j-54<+^(CKdaQP+HMm3mp=dn={ zv;xqy=erIfOmx}8dZu4k^*Z!AS0wuGA}*_j1L!D40Xg!~RhFSKPJve<>Jc8A(nfA-C+i& z!%b_eF1{s%=m3pzdv#8OC-k=u5N z1yI~!UTgplQPaMC77Rb-?zG-qe+$`38;Ho4rk;&bU5>2M;p#F}`dPDU6V2d1X70!s z*t6r;Wv+2)yjJ#)!tTG!)FDm_bI~D9-bR$zPjJcg`Z9wB3l}KmVm#@hI*C!VwNx&T zZ_6xl8q^^_gB!bP0kdGd z-;#M!!}G@8r;y63i#lI^C0Znv0BkD`54fXn%(oH@8P+@a8j6bJZm_s1N%|7;>rY?}t_-DKOzu-$$68U;r;7eP0oSg0(_w4S z-f}a4SKw{~*$Pok@^7nQD7@OrP|8k#f=7e@?_S@;K;HC7fUh+ zcfujwQ{Xo10-Zp3P(=@FZlpb6v$&TyX7*=?C_5WFN26`cDN7LU6e+>T?V*gMhY(M0n}5Lk;u- zAa9xoy?SF!3wN6B1qEDUUz!MDJ$07GU+|{qZZH%_h_hD^^a3CaKB5t3c|t~^B25ZB z%a^8y7@_@OyPeRxfT`&7`$pFO#KY2-`b2flNw$?S~WRFJ_gfyLL8h(UkP_^CD=z;Y`cnU zV4r(NNZ|L~la6b<~>b!MKc;_mx4YR~diosFI;WjYoS}i!dFw1e*+3TgD~c znhr#9*q*%!p;a8)G2`0F;6}_jF$K?3gF3lt0nw~H7U~hJHwHesYRVPp+2pmnNQ>sI z{z@(Tdr}-HBE>sLsJ+6U#yMrHIOY%P|4j(tm~s~KV2BURjD@g23;O}AwypRa)H9pV zKi_|7j1KF(9w`*tFU~SIt)gKiW;)WW67{%Q4LYw>fM7J46+7i$4$Mtac^pMMN6c-D zD5Xvh^?e1nhXtzmj<=Zen=*Nz+5hQEzAOU?XUcF;&w(pV)U0OiGPVaHjIM+2yoiNF zlv_coJZfO-H@BQkt7nn9nc*X2fHCuP_LF}T#_(E%{_xmf;;aJ}YP-;f3?tD$cK5&{(+C#bYZt5G6z7ykV}HqG+SP)@L{of! zbt;z`&QN>)vCFzPC^x7A`=y}+{M^=eIUKv0MwEZZJr9IwuhX;a@ljE6`*@?6kncvq zuXKr#@n%%#WKLXID&hRrk$a~h+OAoqOPCgg?9FA@_O=n22sVW8oq-UPg&E}sPj9n) YoRAW1^uXI&j?01?AOSIh4U^;?G~+erL;wH) delta 1002 zcmVwgD`TA3m5A&fV<}mCf zJbQMuPYuYh(n{0Cx;vYjUODc%8+%mgtiE~QG26J(AND5(tYNxC4sm`c;tZwdemyL) z`4O=TaDsLwajbtUanGc`>9fWQ&;5_VURD0*=BtmCJwbn1D9IuE?Q;#qX}P@waWK?W zt3K5Uh8LLh&GjfYx*~S>g z9-t!*=Ehn(^CjT8SqA4L%O9v`2qWS>qZ@s$@|Ehan5@vSy0&+LaCsdcYl{O?=yG4? z)pxU%lal}dE_KD^Gg5J;G=IniJ_xC?Fp;?35ck7|i( zgHu4#v|A7K9;Ac0FlunaZHflI7^35JovxI%2L*ykj=WvMpnN|tRsE+GYi}lw_2mz2 zG|$k1&^WJQhxGX?oFfIpa^y=MkX(Luv#SW@!WQbpILR`Upv=*tiBp`;m!zn{pB^r+ zU~7N+h#`z`nIAGlH|LnAr<7;ALUCHCVH{xQd8U1J^t!@Y!$XZ4c0b|x+M&5Y2sqUw z6AxohieK+*br5HgAvHx>Yyz*f*FYxP=W({c_SzHh;rfqj*=+@=FF0O}Aea$c20dd{ zNzp2!60IOmbMs^{?n>*2J}VKCeNActLl%F&^JYeLu!>Om*o{GFFtypUpid|P#!+Ne zqF*XH`NXO(TQ*lJ0~zQ^7R>GFEt$U0flUc<62`t)zVi#dTqlLd2c~O4~%kbDON)|IU2FrON?zUgXdIkm8Lda|{ YsSi{VHUvmtKNi8DPhU`<3zOs=G=6i~LjV8( diff --git a/test_fixtures/masp_proofs/8032CA7B951C625E43F48AEBD53CEA99A9BC66B2BAB03D4ABA1AE57B12596061.bin b/test_fixtures/masp_proofs/8032CA7B951C625E43F48AEBD53CEA99A9BC66B2BAB03D4ABA1AE57B12596061.bin index b983254f6b6b56c0574db0d1880140d8aa00309c..35ad1144f5ae9ceb2d39109c0fb49d526813f161 100644 GIT binary patch delta 1002 zcmVAj9{i(W}YX`wErt$l&62>rvo}Vhtx`6a^(@r9bj3= zth`i=moFUD3WO6d1V`&Eo{G5Ep>~P-=LD}rFDvx8h9D8}R_0x{Fmc#PV%={vsJbTN z+)>IYZMkO-HE~k~B7@6hH#ivtu=V7J4)7rJ=q_uCF9Bh*EPl&s%Qb}Urps1-@Qg|VOiXF#jm5k=m13-&+r z*PER`E0yN_Ae{dd_v=qDOJBJKLYD**t$1iPf$-Q+}_kM(^v*;IPe{B>$m~ zfB7J`*ar!~l|2OjIZNhCR*YO^GpL|uL_hONm9&JvM?r`W)~s(1PVVDrR7Wb@@WP~F zRM6;CCANEe@=q8$aV#0t--;U*^BT{;gdh}MQ>EN|g(#j^K!imLOxR{tDsEQrxw zpNijGNf^aqfePCIBPAUz&$X!17fdKlmL+6P8v6}t)IFfs|4vokF83zDYO-bML2gE= zHh1+9AK=%1M$+=g%ZltM#xFn-$<7cYm zG_w5sJf!zKTk zb9me9UB?M<>k0_Yfa}|gE4}eAGR8~uk$g5(VNYhqsRnziTY@kRvct)5p5i`^lutt- z6naRqbW9C~iMw&FBC;dA6Ya%O+&y3*NY~&c+B1J;!4<7O-baBFf-uxqbXp1{T+H0! z;iQiS<9HEP3h7V;qc;l2v2?H1lxyTtH;$!2yxNg32bHLL1Z)Qs_H_iS2|2u?#u%(b z$ydsKS-@jVdnId45*`#5W-?-06c1YZ2Hy(D>BP*#8*%OHQWM6G`35^)CHATDdK-4k zr^$bthB6-zZU_f3Pz5vI%tkTH(E4eDN0(vlPaOFHb+K!(tq2)g=gFF8SGWW})T3Z! zx3$I#U&jFTXqYJ$T81vT2-Nz7$4l?wTy!uE=VV@<9VE6e&w`dB0*d{Zk9OkLBy)Om zBjNhmC2?esI5w8`%PH!m;Qft6<8_Gk4rYJfe(t}{nze<;1Gc#EK-7R@kviD;O8<@JA(mut?&+b-QSw}hK()8rE(i@R`{RR) z%J!Gq=_S%PlBnPx# diff --git a/test_fixtures/masp_proofs/8A79BF5E0292339E70287DB626F136D4522BAFC99E0E81FD54A28A38E8419CFC.bin b/test_fixtures/masp_proofs/8A79BF5E0292339E70287DB626F136D4522BAFC99E0E81FD54A28A38E8419CFC.bin index 5aedea90bf4018785a6b0a53a436dfbe106fafe2..18a31aefb3c2922c8aa5aecf25a7dc87737c9fcc 100644 GIT binary patch delta 3658 zcmV-Q4z=;7paG_!0kHQlARF)(XGnb0`-*^p>2L}= zKpo@K{Lm$d{X+^hG+$ zspoJe&k4_Y>0NBqi*zDyuWF)`*D*jK+j13=ik2)7kyFuA8*ZD&u|j+k`5HPhU+4;w z9PBbilQ%L!VKcLzmUOur49~lc-N2ccKoqDuC^&YHvZcAWZGDnHMGS9OS2GF@c(`z% zHY{Fa`gpzP;cy#ju}QJ{3@E{0KL#8_tovIgT9}gLrE=LM2*N?7^#szg$2rR7i1Qv- z%ZIbsGNb~38~S4)?5gI)QkcWBKM_70>`C!I1W$dVT-wB0x+dX_s@LCgSBwZpu5sZe zDB&Px({W+^7-vrk2yg1POaK0zpcA>;lLdpLzTs(Q<_yxC{$D&aFSR3Jp~HNo%6GDE z3QE*T^75u{56#Vf3g5i8*>O&Abi^Y^{Mc=4Qd-O8;7{{xu;>2*1CbNTnb<)KN~wXwUFaaqt;GWK zSD7gyIPSd0vk*Cz0)ID`6hDkoXe){~qQPsxSCQMgwn49S3~w+|3LG)`k5X#dxPigk ze=604MA4hX=(K7ZW*@LfRmH~&od%4OwbRR8z;RVoM5Jl%LbF0R^?<4+YDO$}BUlLU z)|jmB(Q7>J$~w7~=s&e6h#g8W$i{G< zo6MJS6a9uHa&K)^Cwz8U`-47D9^jW@G5;IFDOP(Rkq^Q>J^U%t8LiKuaq+hK=N|5S z?jWOAcoEKsPw1#O6rH|>ZuffTkou`G!WGVP_+7sqt+b=nq@TpdLnM3cCRLNJN^FVD zk>3??^&OznW9-Ftj9RleKa~Q1@e6&b>q4^so(=%gO*RVuFCBVkj&ta01uBHPfDoK} zI;B?#Ub}sD&hDnCX4bywhd!wAfSXm&YxUVSg7*nTUg3NZ`$3~Af+~Uiezm@R6;Ih& zi8o=rt2lqhZ{f?#d`bI)X-K3p^yKmP*vUT;RR6m2|At0e*x#>KsP1;RXG#8f^|-*){_n7v zMM1Aa(3ziVz{b;tdj3n-@mL&Q!IQCH!1K>l_&<$6;YJZ~cyK2@w8FLL(f3^) zg62*^@$OdTrj4;Q3vUkeiV}BYaEddWs(-n_!PmPP@xVHmJES85MQva&Z$RzjZy)hF zbEOefQ9Z*LSta%L6!)Tz-~x|M513)T}%~jtv_2`YV{=rloamm+ds|gP^OzcSk*a3y**$Cz6Yi z>*%%^3WHw7Pr^`=UgXnCTWb8!Lw|@k6h-_bS!LCf$N?V+4DoV*!IarUq>bN?GkR5{ z+wlzP;J3vg+T~VKaM6b4rhW%5jOyGr!51va=8r%TIKqniIG~n~z1SgN=ZmFw}0DztQdYoE7^W7NQX5dwN3YPnnw>v{8X>Pwr0go%deuH`f%6Hs2Rwb z^J;E1U^^CHuL?GHP}tX{oBNVRR_p|YmSVFPy*Bi&Y_1i^DeenLwr>33_l8O=?O-yg z43OdO_65YkdO17*Ulaf(oPXrK;`~$-<8z=zHVTa&Zh+zewwTzxCd4O&zDHurV1j@K zgL@9fOwqY)5WAac&F}i%YVxB4;zHek&ZfU2u+Mc|{8|btiBb#O%tf6mDP|ga)c2Cu z0Lv^A#YBV+_I9%mAti5J9-(!5nvppJF8159tJ}9KoKLit+>zaaJb%+nUo&|HA~GDo zGlMyY4G5@lJ%Uw3&O}>b+FO;YH;LPvO&1Rd4rb-|L6aSLx1IY;(HLQ(+JS6lK!GXc z|M~QsLd<^%vDT!q8{ZgvUQhpUC}IRY>ostFU!8W66{*gTyIiZ$_FYu4Vi4x80I$j# zq&iY0)|d!_118a49DkN8r*KLb3a?2Q&PmKIHpz(qR{XouKE6ii97y1(>Uu|usJ`+4 zmQ=^F-Mg7yjVG!5l>=1hV4m2s5D#saB(tBS=CxfU=m&> z`^i65wSTRAo7Czrh7_NP+g~G9&zoy_G3&lx)2j&xh*Q@vLVupig1pp%Mb+T9l4%s@ zy1p6`x80~jl$NKPErQ?8wU8M0#9KA4T!y`foxr_@f(}8it#RY8)jR99{zM~Fc^l5+ z(;2#lb%ut|n?+dTft90!Hf_YMpn~R!&Oii$Y2EG&hk!XNQI1!@U&n3PwLgCu^Umz8TWh`hR z1*GZH*e~CSF=)6(2GX=q~dYKdrf5yTn|~HfftoJ7o~ZSYz(JdkMlL+#bg#! zxTc;~?tjh!B$HiVqyZHPR(-q6oEw1yy({#%o|jZctg{O8E$cpM*%P+u;Sh2SJqN|) zSGtc*kCjk%g<;y*!7-gL-0AdwQ&O||-DEemv69D|H)3qqto8|HX7O{4zq_!J{Pe z(pTschEAU@K}z6xq#G?hIX|>moyKx?Qq6i>tXP&#D8wu0of9VG;g6(y zKD~Sk`5}Y%kEVC5HL^pTfh40y-oT%I$z_`mdvl>O$#;Xj;g^Jn)0{399``U zIWKv7nr^KN2)8yFBY_=}Ev!;%NJ*0#1Ak27YYey8WxUqwbv`u#^ zA8U5@%bhIx#ti)6C(HOCbAdFR#fh|mD$m*=!1pMY*PZx}9!i;gK& z;pXkF>HVo0uQe{#8xWge)FgJ-;ZVip3I-Q0b2YlsP*apRoW^VlotlvgXgnvON_|9_ zioAWqe_|kiI9j)Bd|9)VK#%_Z9gZ*P(^A%=S`ZQD{C(8c)@;QC2sdoA2!Enj&+|^8 zDwj8(x@aw|Km5mezW#vp4R>!N8r(UNpZ0`# zabdm#8Mo#sarp8hlm11!qkqo$sGAu;Z-V6XHeuNh$Y^t`(1-4Jc`2T!CCUfd-kp_i zc*RNzMF5qlT@+Sj3TRxy6%ys-%8Jh68xQI}GM>DguQ&j=%K85z3617iECWisAuoED9tFW9c;6T2U%9fx5PbuJqY_Or(T_s ccGOXVtzHRLLRfZaXR@beC313R4wJG^bW$E4A^-pY delta 3658 zcmV-Q4z=;7paG_!0kHQlASg?_e_56p^Z?JYLIPREZW#tHkOX?=z70nD(-fScCzBU3 zKpQxI7eurtvVj=GMo0 z$594;0dr#fj6|G}veD{D7__L9*D*jKzUcPT1VJ0<316v*3)mW+CHFrvb8$&4l3UYU zBgvOfe z?w9F@oqlkVFh*Rg{>!EEf$JNUss^h}2PKeweMi{8rgW&QC2uRkhAM@j2w{`MrtNHl zhFY`PGNb~3cEAW_NPC*|QS*+>Z7$;Xo-ESF`+^19`CIG$IHi+S(3Y4nbZ;YE*T^75u{56#Vf1a+JOex>LXtXq4mK%x~ z7zc-0nR!bdMHZ?ijnZ0A;>3T-uHZ_g-)z`M+~seQgl#RPfERW__`mA(U!^TBkmh4c z_%Wj$&G{-J(y+0Lh^VC$#oy11kyhs{cas5eM(n!vptDW)-*dZ_*tfmU?&u)Rt;GWK zSD7gyIPSd0vk*Cz0)LJ^o{07Wq@Zm9Jg(fquBgdqNCrs6%bDGu#jPcAFcu19Jim5y z2liRsjn+8L9WGy_G?av*5ar-WB@bt-5(ZKH0`Y&b_=QciOHmit! z{)c!;JZ-d@)a(p~2;Gd#eH!La*t)6h3??^&OznW9-Ftj9RleKa~Q10M<%&H3v=?6KMqvZ#~~*r!<`CPL@PV@&&}4SbG*? z#Ms(yTMX)QNL(3O0sb{GPuE0jK7~E>ST-KK#Xjv(%#50V+2XFaeu27VXbQg>*WsX@bLN_R2i=41;ed?)u-?RR6mIAal81t0jr)I7 zeSdHrS1Z27l%sNR8iy-<0(Y#I2tc-2Qwsv@d_HVK+LOngdbPe}ti1zid3qKI6#mNF zz@h&y0HZy%6@({vC!MSZTw@4uN=RJVG>N;G&mLs}~(`1C?7QiId6>E}02|X0v`hQJ!u8mu{4{R9c0N^itVA^wZe;|_Vv+^nt=ISQ zYK~v9ksJ_RIJQ+kID$jJD(yZvHkc-hM$-tN);E-vg#Dgy|Dgr!usvn22olS~eI5z^ z&9ljZ?<&4W6gvON zJ+(gNL9fWHy``AZ*qf;G%4JlCbNuO-_+wA8cS{t9YR07g4}bDkh8gfIQM1r)Amxin zv{d}Ejpb96XGywB`bfRGrYW31>MJAi2QHcRLW`dj&s)f{yD7{M9b}l2s+dnT3O(2| zPqH!cD>6-k;Ft&;gC@%DQh$0O(eh?7OhADi(mfva1XzQ+b;laLytlkI{K~9+Spq>5 zDNs}^%{`GX>mW7VGr5iI8;9;0xYJthuB%Ju%b>5)!D;|BLLefOzhm&xKU`siXpK@M zHzrqQG_^}ieWB_}kGz_Bfb+~ohi=vw>9CHb!`o-)<{9@tL%vT+>3?lUE5@G%JW~~w z`#^lP%IN@KuXQ(s4EIK<9okg15o%}Z6Sh3{70$Dy^!yrjLwKZ`Qg?aQoKR7`4QjKxL0WGCC4}%AX-hTtb zlCR}O$QtCrU7JF7hJUUi(!}4V0fg^UaY=`;f-xyhKnkGEgKjUqqk}>p` zy}CwK68d~mTy5d?)rZ#SCxlktSkaM_3?jTsa6JFX*km;#CMKisMTYf|6L;n34ij`^fs5@trfVF^}FOR z{g=fU<*&nSA#$eRHstC;uM2{j29s&`Wvy&sh)LoN;vfPJMMwZjBQRwcR3CkXX5PZW ztS_-wf5eG2@awhXA}RP&zfa1X>-*R$MFAtCX&A_j303F}Hk+$qJfU!MFFn#;3HuIa z`Q^Ch&*t`hpMRU7&H&h+IJ!OJds^`*&R&4R6#qi0*g3Tbu+9(l;i%A5@JHfs-(|2Od$Rerf1QzBjw#N zGklv3OB}=7LXMb}K>s~8t4)JUSl`%r!ARNMG|7868Gn5qdkRLk7)YCujo2uY|0pay zb~g%D8d81ycrykRyp~=LkP*hgI zjo>WzE~XvV9!1#rUXii#M)tEZ3=t(@1(V6xa+$aGZnbR@|wnH8k7#>G0=V@+9Y%nN>W<3} z(jJG?v|g!0-DUU>;tE!Dc38L8od$r%VFVyd0cs8qnI^?F_#4kZ^q#i29>~Cx`09Gl zrGN2V4_Z7Cv>1F*fg>M`bdSFuFcqoG9b3D-e(7kO7tn;UU|B|D2U2KFMe#l68+I%HNLN2T$pG8;Bk z6#`xr^YdT>nS8WqN5si|EQO7=kr*w*2Y*;QEIe%+nR%~7Kd9q)bW5b~C#EHpyq=$7 z;i2V1r}KRbmY@sqN|3Gf5i)d{Z5mH~C>uWgLfQLMCE)!y=e(&Kl29k75YcU>{^sHn zuljgpMl~_?Z!;aSdzYmT(kwHU~j+i=@dTE z+}#a}DL~0e34^H%Wy;PPUH%U8U*eALE6MJh_N&$mxId2FOa9v5=yYRONsre7SmR(7 zTveZ=>_5u^rLLd(b6@6&kj-OUo+N#<^kZm$xcw9dh!cZ++CXPKP?F7Tbbp)!^1j(n z4^gqc(Z)jHmL||wqZ&WutBi6vkD@5 z&$FRfhsBt-$GcQsnXbq^RG+$5q#X@u1E3@tB9x%XH$IcB?~>=eiOD^a3FBBu9cnxPLWw1q9K7 zl*23;LIOgyQB`nSSzqU%$k%|gYZLSWAl2>@MlrrF)Dfg1&obD_k#x=tKIOZS7+4A= ze!~4S+OvNaB?Et_^$r;b{8pCWIf+4-6?Qafr#<`gLCC(g&*6Tr53+Elbt=*9^t<@} z*BS7(YKi8nI@8Ni4xq$f7&(09QaQE&P4EM$Uqt+@i;wG*dZzgqQpXHqn!`2xlR|)&i%vuTdK7DH3HYC-j;bn^1UU>3?l9x43 zU|9Y4Q*Y{T3U5Rsj!6}h<=K#%JM-i$n}3djEZRaXV{Kg1yJm$sIWmK{vjC1v-(ACn zGo#;6n-OFiWb55MCM6660qUEZVKHsfD}zi!MmC5riJlK6lJ9b@a64~BD4 ztF;_3XI`vaWQxJ`8#MF}f`Y|yNyrTVhNBKTS#y8d%4voH_IYbjl!I>O@f_j!kO?@L zQi|<|dh}i!#|bV>QS76T4F*lOA0T+mH-`lBK}@xa!@DIZAWBDWo# zmJi-N6)qT(TEMiab@w#9_s^P=nntX${L>=mr~ay^r({Wpx8&4XSrk5n2%+xLiA6k( z6l8Z)Yo3e-?sC*s6vsG*M0xNnYea!Iq2zz2ky;oQ#LxH=RbFrK2?0Vr7RM!>uVK=` zfKm?k+`kyVa+;H%4CP|4rJS$$9snI!4Wi%P!Z3y-gx`FGYyntHY)7R+3d(a{A4e68D&PF< Y>d-RA0e@i%7->CKeRh$|43p#>G&a`s2><{9 delta 1002 zcmVsUlP@`YZLSWAe_JblQQ6s*Vwb9yiy9C-qwC^*N`VeIg?_V zNDL^1U$cJ}B?Eu5=B~G|po?Lnvp}p5B@@Q+yCP5Xic<@M<$Ed0BTk}gRR|XlR-5F}}L}&{cHoZ7Pk3$M?tq{3fK__`sws~*% zoViZ6?HiAm7^d<@jy>7q!j%?y8Gpj0CgfK3poDJM=xEvni4<>E@5hMBq~tNr-|DV- z_#J)(M$ms+B|XqETpuig>80=uE23j*^xJV2nIt}8F}S=?3$1_%@(-LPiN5i-spNp# zLW01db}WUiEK36Ydk&Pnslr1Rj4)I|lN_i|#|SXkPDElA$CT8k0~wE)x5=m@qdzcO z{bp*ft3`Pcz+FA;?zdG^Ub!Edp(@hA16bi1) zzjlA0S9-3$tL9@Vm(T=s(QY|g^X8nSu>WgVwwxIc6L9)EvH?%3LyJsL$e&e2gh5J6 z-%-?ccQw_?ai%6E4Cn#uCkZQDIpRO$R%*Pk<7AkYb4D6^sm=DucdWmsA~z<`OG2;P z7Ds@;Ge$Xxjoj}}Dfgz^H{nJdGTObzl);>wNKV9hNxwBN=a4uD2bvdF+lYlC;|NAV zg2d)b6%plp!%j_ES8$6R` zbb{$kq{M~TDxJjH1iIikjgA=xD?_y=q99U#2xUB_fi@c0JGRZnA@CClr&1U|X#yI& zYHPvk4ub<-y~Nb@AwyO~9IVv1YztP6Txw$tPE7albyS1BF7Ix*R-XSejez_9o&PopO{L zBU5$`9Pp*H-yBv0f3(-?gu6_{^HC<3ti6O1G!D8xTT_ zdGyJ5R*BGYS*O7%Kk9U|KbP~QA8j@Rk!3&ik1s}#B;<2v(a^ma+LIZaE93-fm+gd- z`~gmD=MI~<)JPg%o`C5>$7Yx0_`*rI*uP9K*b?fuRnB}Be^p$SUTX;ZVZpHCIFwcq zf4-E1rIdPm4;WFr*u1y3%F3<*AeVUD{UzS%sS-tXC}si_UEy}v=E1kS!iD|s9nXfl zK`R!;lFvdqlqFD={qM~^BUjuuodIrnPn{~o48=f9@;!%u3g9NY2zwu~w;z*HEI5(_ zpQ+jp^&hg9f4#dV6QT^^kUmr*uV=hmrv@b=DE?jb zh^iOpNROV1gqDJwqL>`r%J`x+T=e6{7OBjjE*PSl_z%r^j;+^$SEM}HA0YSPuZ?Ab zv<1L}ZbV~?Gp8{popY|+B35Tc+b1r(8_eDv=p$ZNfBz$I%VqUbjDAKVtXZC^eCi%Q zf2n!DA4Hq~iLDUN$t;7s7a@$-La|lbvn%NQJ5(Qr`QG9joA2#fjS~r@wI=tw&;O1)AJ9 z%6W)7^0kbI*Ub2`QlTv!J!Bh1E{qx1EwLwpK{PM9IDWAb*rpZRP>|`!>$r&sQkd;% zI00mdqcNL(-LF$2@Vo>T2GYU4*iUNS4k;c)f7O4f%t-Rsn;YI4XvMwDJ6B0F`=zV! zfpeD_K}>p&aoHLV{x!L4E$}@alK$#^Mhn;Sd7;d7JC6M!Wbs-3}{ ze+Ve`^+V?|D0w9I%ulEISRvqn)%BEOWV*D^H~zaRan-VwiBGu%MF;2wnJPQ;P&&KN zVd;6U#FT#F_zdI)B%|-aFM%*s9b$LmzY>3dfnvn-FlYj#qEE-Ep62wLnpi3_lTFZj zecIAH8ON&eP$aM+%>%S`EPQaK>oxA>e_Adp%;FD;xWoqPWbMQEP6on#-=MU}V8;$H z`6;-EO*4ov-AF)$&;^0i@5lGtcyaqOLmG{;j+%>Tu1G;<=1l_nL|qhrZLt*R)|m;E zXC`ou8J1>khR1*o3$#}9n!ic@2*E~L1WD9Pte@G0YRK7URI7vxT&SWC8Gi+Se<6*6 zE;dtOqfHJjd=x|UlA+=dE)J@c0G0J?LSJniMoiXrIJUMh~uDR{`Sg=c`=Q$ z=nvL3H#1&q>>0Ty?S;?wK5ahcf8!C}F_Y_wP@-rBY0Me=YLag#=+$+(ndi4}O^?-N z@`z}YmpDIUl!F;A+F;{Xb-_x3UIAxsKq0!UUEn)0F_S*?;3-m4?=|e<6lVEU5YoeJ z09KG1e-^d97615)>ZgOQp7F+)nOi}7_11BtWNY0(TXs?2Gr?2(A3{95O7li9i-~EL zW`j8#c}a2LZ1aBRE>Lf?E-M?KmuaUV=6{4Fx=yZJU6>2E$2_(>ef0I@Lm~Dix{l;@ WRz_!d@=tgaKNk<_IVS^?btOFD060JZ delta 1676 zcmV;726OqbOR-C^niwFZ*1S_7!#ydu5L3T7cC*=oiO(920-T$W0ufKM1 z!<3unjh;VaESm(iD;jA-ug-p6r57$72=4WfC=ETd#7l8~hO}XW!yG?VM7Phy7XWl6 zgUHeI;^Y6V5IO~-1r6T4tx!Q$N=Z1D!xT%gO@!9*xZOerNz%dl&8YJ>_9o&PopO{L zBU5$`9Pp*H-yBv0e~pF zVHGshjsP7OBdK%F-`X1uagn=^HkCu3c-(%6TVkG4xe7zv#;md2{{$F8jZ~Vl12`t1 z5meIj<`OPT$y!mUsXWdYBq%-(!sa2?qA;YOu59BtoDW?`f1Nrz?@Fpu2TN2xt}!uC zV=b3k(bp?=$^<0aCZeZP!9359VJbdu_kUc8>qm5Z*1|PX1U{4=lC=Kui-&}WGp2yb z{Rb2dI6`)HK)09ev)(SBHhJuI*0ntZLUUVlj(O|i-pb~RpEu)|N}9DsYCgDnm8(mP zF+Xq@XlTcNe^{~dzQoRSfObJGR4Ij349kEB(^9x`9sar%Lxc^cKtmu4rX&^;oS7Rt z9g({dF)s7tO$9(qnPgvQChBv>X7<-bVX2wDx-owXIgZeNQ>!SiNtePr!eZ2>bU6!T zpDsdu=LZ#%8N$3TQ+<)O{fa>|+@9Y>_*gE2Nx>fje`V6f`McNDa9qm(HrRWQUrilx z9GcttRjo;y-b)Kgu?}Iir}}EDW~aIonnz%m4AZG{(iAZKxdj@Zp6>bzK$`0$ zB?WZ^w`-35W$w`L%a1i?9m!rsJm?F4dgC|j<|P5iH+m3wZM$^016am1#RY(hd|TlV zcFKjZf1@f(0;W&!FG0}#xe1I?Bd?@S!;}9Ki>)tFt)T)qTO*L{Ai-rV@Niz+2 z{l=LQuBf1L6P9a0PTf~cX61!Duoj}i-AiXe=)(WNSBb5NO>iI;nn6$HUNE38U3JG zc~{;NFbb6ChOn@^AvbgBvndE|V`CrCkaf}GVS-%x8&5R%-LsJ2@oKkyC4HCSaK-XQ z-q8(g18lX(tnY|6e>gUDfU=CRmp#Tf-qx4QL00SlSX7QJWc}94 zQ)&u+f4qg~8Jlj$0hlX_K?@0599J4(W^bL4vCth(hT4q3*wJ<}IbsV3L&|YY)nVDh zpSJ1b8gvu-a*jZ0LW0LSE*xCB6f{nT74V<%0)4-T(A*O1tp~^Y7QJH)0%&7df7!(n zc12LTnemG7tcLQnpe&n>#7mJ!>6x4#nuqL#Z4Dm|*p89K@0kgOc-O7X=Wg`H1x+&J ztx8iI&I=vIT~;IU@mCKB7lU{7QLMt1x2QX!lYDMV$5QE)2sirv#hna#o&&=G{=BTY zC$7q0QPzX}B%f6J;gLS}QKLo%sx&>u<*@O;$sKZbfC#k}kmV6aG@ z9u4gEbL>W&$SDH?Feeei|AY&|xuTgpNm0ibMV2LTDh4P>vXXm@Kq*{o%ARAE)WX%j zU(LSk3Ne@%5(;(kOp~xL4s(^_)O2(zfCWGDH-~COl%$H2tNEJ<2%JCrO6^?MmAhI6 zsZigFl&{n_66^HDfylP{-|J(6uxd_cWi`9LhzGJZI<(fB|isL Wr?5^RF%04@YmL{|`(_A}btOEm11Yiq diff --git a/test_fixtures/masp_proofs/AEA19C9B07742FF5F6D759B171396732D2EBF77728D2772EB251123DF2CEF6A1.bin b/test_fixtures/masp_proofs/AEA19C9B07742FF5F6D759B171396732D2EBF77728D2772EB251123DF2CEF6A1.bin index 4b7967cf8517fcab5932ceb352630a2cdb92311b..ff5c5f48a282a9dc89a17004a076032d3d477e26 100644 GIT binary patch delta 1742 zcmV;<1~K{7P1Q}XJ{chNIcDxHA57+1gH_a_vkx(o55RXY)eWL_W`AI;KrF43UKv0j z$K9Kgm~O!#pls`b-rlJOt9YFj@@poUOm%(OpSYQTL(6w?k406W73 zBIJ3!7|=*mys97TX0MU5qLUsPK|%9sRUr)4FY`;!T~bJrZ{iA2+)&%awHTq$zMkc$ z1$KN+lKufiu|T*_)v!@y${<-@B2z0v#vaUm;)cLA?!P(|^Pmc7b>Us1=b5(b@Lr zOmy9nC2vGD%^!*ohal24r;7By{ZF6}Ir#@3paNLHVjg&Z_oM^U0sgm76}o0os}g&R zSnOyO;_);kq#TH%7z*zVulEAqhzTXR8b|#{fk`X-U)nhD$_4F!$ypJ#Ms1*!$HvX? ziR9M<8Q%C>Lw_N7pBM!i)mYE@^+RyDV>wqG`}Q}hpFaTdbET2nBP#c=1=}6u)@`hk zh6ID@5caH8_iJ5vda*HvXo%Rz%=WgYAK`INbb;dIhTZYAJ}t_dq3jp>(&p~Gv}Cb= z+FcJVN__ZO8Eu4Jy3~41%{U5&+eZiqp`McP9$Dazxqmqecc}>EoN03rFnRREFGe+E)b2VxU0{ls;S`EtBDS((rsU z$B3UBUy|%8#iO>FMN4k%yrNEZy^^+DKQ<+&MuB9%_eAA$)l{;$MAO`Z00*QuLz}UK z>YsFuh_YX$^xwu6JJMU?p?B#*HB0-Lc^U}>i+?`|UjGeJT1C`z!Ia32-OaBI5{TymU+Vdqj$KJXzsHcr<+nB?l5&sE)0LI*V+z?oxm6&~i$D05gkREAk z-GBwaa@1n9YQqBDizA@xcO5Y}R4@`OUIF6_OpUQb#iiQ~e7XD8EEy#Pvp{3XnC~`(*6gJMhdv}kA{~|XMA|5*%YC{Be<}qeBEHvf z51>7RA-&sd88!pu);HidD5);TLCZe~0)O`LmQA}7!l|u}^an0F{`S6$;W@B{_Ms*6 zaK`Z+iEEK5EaOvR=?gL0QIm>d_yNSl?QU*{SjL08OdYjCvHt&7#R8RFHmli%d;}M= zDmq6P-vU22e#E_5{6uef3mW=`UsGD;oXb57i8=Je4FY-6eep&I36trxA7r!6wtp44 z84Qulj4?L+N>nazEi zy^+LXe`zdz7#Pf?;h{&eedO+k_Zo$h-_X>zdHVj&ET*({OXd_r0xa+i!BMpv zFwz|uHr(%*-N4eLv)gK7CAJ}&Nq;8trkd8&Xbta$0>|=4q@}b0mFF})sicVHwt@8B zT$6mL{g9wefiNy&xbPS*h7=n!Gm`g}`u{kzzexQ#xwP>uN-s#1WNuvf=$GsYd+vu^ z{>Ln_gs<-E^vCOqyyB4Dx#iHG@Gx(s7yaGAlRnK-=>TryUb*u%euuErH=C;qap1UNM)*?$ z4;V+EwLXI?o41zOnOvn=ihviBPmS*VeTxBU6?W*K{-uTlfD^1Ai;rR$YG~6i-njY*_MEe>250gV0~!Mci)?( zsUrfpLDdhiGdzt#Y8{<;!{g&F;5#F>H9RH)bsc5L|2ZAApc?c7AfQ0QuFg!yf6G+& z1zMc*xtxk&HUpk^E)Wd+$T(GaPP4QfqykVmc#@zW${}4}@crVrLj~YIaKLE6Bsh94 zn6q!j5$d!#trN+(-@4>!;s2Tj4b#^YpLd>%vcxOa2?3;7z1@IJMPfrz3mR6v>*!DD zM&6T>87YyS2$R_$K!36vI?uCnGCKbeap;N+_1-5&l?ixq8d1|1=pJ~9D_p`@fC(>^ z3;b&Hzfq0LrVP0XzbYjR4ubi4NxC>o=)NY=3tOdmsaq1buGbwJ2u^G0L|;g^fHfF@ z@=2@jn!F5lS(z?$x5aF$f=(lU7%r~gjvd^{%KoNLz)x|541at20xG%$iR?s$zo9?y z@n#&PT^l*w3+ikpE20x~;?8gqRi2gDE(-uUM9vyp4)5|2_>8`F#ZmA>p}*oIFnei< zJJZ~7`){^YbfS!Gt&s<4xtZc8@BlV$&0-V4M#YZC3f3RVPXIEa$yK`;-&L`$c|ALD z3s6fS)WkUjjephtNZJ*wWFzs66Nnm>W~2zL8LP&G=PM(YZ%A1L#4JE-4~wQiZMxT1 zz&2ule;(uxTKX3Q98f|FptYeF?Z@| z+Z3xj>`gj!z7$b{#mxA5 zaKLd*BtWT!xREjo?Hx}X=%icJ;r3>#g3fvZ#1BF|uf);jd~7e1W?B@p5p zc<3G5n}8P-H-?pbc_1g4Uj-g8*+E}sWy2G-IvD;qTFgqLlydF@+CIho>{5-pQ9;`E zu;*bJt0}^ctiyIHDUlcB~Go zVK-qo%IOZ(Z|vyTYT)oU>8*%6q3ez()ug>0$TvI!)K^VW#e55~wrMC2 zyA}7Yo1gV97sde~Q$(;>c^6blZ}#PHKV>QY{<7%Vr3L>VO7pIUJkn&bZ5zq{w(__k zRe$e#;JEGwiWcYQb`tPk&-YJ3)o7yz2Z$m16K z2-7?Jr&&9>L7!vF#sCS>cP+B6b$gWF%_2y}RwO27zF7YShE!hWT|KhkZz-i3XhyJr z7ONwnsd0Ip(98wQYk642s{ux87@KzocYnk{_o#p3ePei2q0;deouZwmK^W3hZnFAk z?!`1GZK?Q{@iUW6W&n!2LKyMtdmiA``UgX-xx7*EFy`Iv&}zdR8A5p?0+LE2>zmcX zS`xZ6J)g#T8-IQp`RFgHvr>+|eg|UGGM)$r$od%j<9*iQ8Gf5xhp4g(K~q9KVSm1X ziCm*-PW35>^~ProzTBJG8ZMCn)>+?>v!#Mf>`?EoomkR)2Vwd$WkL2xpD6n-;OwE736_Fa(#CfePu2iP!Wv zSJ8|g#~eAF_G1@uNYOTj2oQ7ppzNf#R;i7kL0a0j_;vu_VA}@)44clV^W`Edy$h*u z?W+!<)3`5pj_og;mY|btG*>5VepK!ef{}L8^vhIkRVdn{d~SpYX-5VE=zkQxwctFA zEfZ3$CRgEqTHEg|2yMJrn#8Wuj+c0!Zu!R1$emK04(4n}hf*XV1p)`8=|I(blz!!z z%M6;IOBvlh;*`+nk1(yrBavs>3%xSL*Wd<6d;ax#WPSg7hpfHtHaFf?1bMbEd%S>= k-}xw!coO^JeCbKqpK`8pY70qryiLd^26qcn0+X30JZRBMo&W#< diff --git a/test_fixtures/masp_proofs/B947FEFC6EC94A041657FF3A9420D5BB3FDEB1199EF712C059C80C4DBF6F3ED8.bin b/test_fixtures/masp_proofs/B947FEFC6EC94A041657FF3A9420D5BB3FDEB1199EF712C059C80C4DBF6F3ED8.bin index 9627a1ce5cf7859d22fd169bd2f71968cdb6ed2a..448a4a51c06c489d898387a0340f2bde96bfe576 100644 GIT binary patch delta 1742 zcmV;<1~K{7P1Q}XJ{cfH&Q?DCYzS?j5hVS}$brIdB{Rw^=g3`%u;~K@bl--PUKv0j zh2-!vojZ$uzD$1rF2du7)@Rg)eXK|z;I&s_w;Ic^SdArlGvWgy%;kwD&B)+R<)s_#{S z=*9xIvWqPeO#?^DjEZ-Iq4R)>v1qR0`j?vQ0z(7WpCsSFa3h z1)=Yjb7%$rg+PdXB-KikgkaYC)R4nkGZ2%7|0VEE`PmuVQ#Q;rbZs0+ZB}NZvNXe! z7V1Ef87YyS2$R_$K!1n#-X7r0PfP-hKMGGBBmk_XpoB_vk+=%W4k{XXO0>) zHXiPZQ+y~hCd9QoN~DKY0ThGd3-rJM;L{UT9NUIaW^(R|#Q7(R4JO!TBBDJu7d*?T zE1pf~AN~R19al2A1taBMOSjpb|LF0G{KO zWauENwo$1l9%IWiM0xaM*|eo64wGYb2lHm)`j(^Hnp<&NV(TsKGqP(86vF}Yz~PRA zK=~q%)q1zdJXE9Bd|U@aV#q`l>PXVecWTG?rg`9-jWs+BQa#s*e}?97gt z0*FrKFF>6$IDhJ8#8bgeF2OhWq)Aya@&h(hq_4Q0_)O&_u#HzlXF#}P3SIGlz^7p` z`|1-P+PINf6Zr;Gzw6)g%^y8IJup1{oCZjdbW;jV0OoxAqp~pWib_m5G+Bklr0_E6#q4Y<~ZWIt*+fmnB@NnPNLOBxz@)$P}FBuean6`5sj*@ zaj?Q^nehfyLV#t}wMP2D+lOnIBko}tU<{P}stxb+r}Q=l-Pp+)Sa3?#@RlBcAI$aB zG*&n6A%89F3A*&|`-g7E1r9$CbP~yTmbtJm&m0(D+~IvKMx>lk)xYB7M<4Ttg&Z=_ zIprq@B(2hkBMSA33=_XJSw-s=P<=nE78<2d4>d=|^bh9~5(y=i1oZ&np=Ic``5TKO z0Y6C`y#O2&Tf9PYWBz>GB0O_yceyj0loyLa}$P27j>Uq3KtpO`r904@y@lF8paUiE7(M`!)za+$Ur7 zpWG_UajyRwDIYy1rMZK0(f+6tLQB*eX%3)c%yum#wR@v@MEtxUUhQb79&5@;CBy0S zfqzB=q(@8%l2-9!#kWZUx$Gv5KmE;LNz)o4)QlDe_Vk@z!h`PbKmnJS|5?IQ@H9r_ z?6hFdvoMxHKV90mEVOOsyo8+3L-6E@ZD)jx`)}49u=JlCu7`jm8TH*d9KtG$OWQ%f;}G$&I4eo4!S?{bW&A&Go2mQS+_8_utVS?e zjky8cVmKegtn(=H#$3B5TxP<>;_)N1Tp<7?HixUAnB1N^>{gdv3b#Q~DBm1CX@B;k z!^O6-FmJ~Tsc7K@G~|e0NTp6!e8_=s9^@001%ZI^y3kJo@&X5Qd)Ex!eo^kj@ecpH z7j{bz4G@d%*5psr9{mF*STLQg-aa8-JW7rxmF`-v#^ES5|w&)~zJ z$pSy#g{{JpZI;N8wkOqODMSSjtba0Z=un?rN)gf%0dMSF&w;J*Pt`)IHL#c|y%bcrJ-Z%xd(P#rtcx2%;mKSK zQb<(Y44$-eQt=T0Y#|Wn50DePLC>`k=RikE^Nxnga-eje+lchgj|v2tQh%yJfP7UE z;}1(whZcbAatsHewaK>&VO#;3k3CJnqoYjL4aZUW(gD&Suoy3bF5_$cLky(JG z(20(*tB!I+#iDX907R+9XVxuovc$G(jUghZb}&1gz$fK9@lQbwIyDq3PAcDp4e!*?Q{jz6AWya;rm2i+wj6nVoBn_K)9PUY5jltW24qR@6ZNYrMrIZED1}-YspYJ|DPPjN6 zjs&FcCFD}_%#E;h?shPEJtXSvnA4UHQHLjHdPjj=Y3yAV3sL>DwNs|Rl;Vf@vlWoN zwFl=v(`*I}&(%`(2DuJ-z^N)lk17~j4=*c^`?~4+Invy5!GF6~%a=Gc?xI?55TT`X z^L#Fn@t`RqYPl_Qj2j8pFtwNJN4+Y=IlE21r)!ZwWlyFxz~nkw!~(u0d9qFFP?6Y< z5?xo;Z;*~4NuactTd-EoXIe=IEpql&xW>nJQj%s0)4uDw$Lkcll8(@5lXW4ayQo_> za`Nq)b-JODJAc-bM78d2OAcZb-|pyU--~LpAjCz{zn#}32LAX9Rf=sd5p&aKU6(Q( zac?K9e$sRtIHNO=S!|{xEFF1e*pwmQ8{GPy>~7Cw7Xc<5ZiN!%wn<_Hm;grPFDA{r z9gbs*Q<998D5sW}e-mm+pK7AJrd@PAmWRHorZK)T{aIrxmkuB4IA zX=)FQ2t^lce+AS&4Q#Hk-oymmzf+VCZ5E#Q7RJso1Fhds>QDU^ePqFGnCoo{0$6JM ziMOPtbcG~-?mJO3dvo2JJSrro6FZ~)v~yQ{pcsUFeN}*xeL#`P04SK{=tk+3uE>2v zlm$6EaewOSjmki)fs#(vaI_V1Oy~H*D4~vR5W_YkVqkwy<|P$x2hi>7SFK?(4#gug z%FFsnGG{yt2=9D*JMMuy9ZQBcIGTmD))?tXCr!n|J81XQSC1jtic#%_8OCm=B^d?a z7rzQhg1YFpl}$ZiE28xPk6L2QT3vMi?w)i*>3{oj@1Y5i^BFm9BciL(+n4MJX;dhs zo6Z4!=OL5exn9EFkBAR(#CJzxe){)ot-?B7w*`Dk0DlZ#HGQIXzHRBn@nr#dm!oe? zJpKjXVUu!mr_&m)VL*}gXM@5HH$m2LxC2>hA-;EVLfy^7|4mVvhyz#jbdb(;3ywd! zz<)K^cZ}Qvk1}UH3ivL@WA`bO5Vi)ye?CMeZQcp}Rcdcf;h>kzQA@trV>!$%ll0MPk%i1?r%>y{~u2f8nsMtJJ0+5vC_ zfM!w)3zp8cq$foXHn)2#BQPb?&42J5Ta%mQR=%5uubjt^w?J7?*Dz!ziIy&})v~gbj?S&5!1(@S`fiC5w0f$oLHhnl3@(#xOww zx+Ron&Vl(UgmB$7hK7F#1WZj;m80twDSQ{&JTr=W>uI201O6Xq2bikR`G4;K=YNl2 zUNf7`XT28z&(E^w7jSv{I3FoJuc|e>DuWO<>(#zXqCzx{dzCz6k@*gBHA{t;mDgWI z;1|n`{zX!E@3Og+kjyby)lxp!XLdWCdq`+tb2wFSmnhaNm5x|+c9sbp0zy4+?j)A5 kz69NbT`MS~f0^mM{wdKM;tP(C9Gtrvzf08w43n8AJk}Re_y7O^ diff --git a/test_fixtures/masp_proofs/C788F9057C615CCE7B260BB8BF5CF776D5DE7C9153D67B7FDF22ED6F35558738.bin b/test_fixtures/masp_proofs/C788F9057C615CCE7B260BB8BF5CF776D5DE7C9153D67B7FDF22ED6F35558738.bin index d3c3a5c24181bdbe0be7e43634ce4e5cd0ac396a..016db1e629afcd5261265cee85810dda15e412ef 100644 GIT binary patch delta 4169 zcmV-P5Vr5GzX7hl0kC&QAfgL5?zqBvO9nyZ+)u;-8=FLFU`Ec99QoHH+ERc$!jqRq zKp?|qY}>Vcu+51AT}>o_8CVDHfvClG{bE~^d*X?$OqrASMnE9TU_m8XVm?2~5S}&| zH>0g?ItpffrQMgRA)h>eMX-#MS4Th~i?P7|=1&x+D^>6>eOhhs4!{pPxhcVcJ$y0_Li)iHglksPlQ&5~ zAU)NlqJS}9?fV~I{c~)y&b|ki0S$r4@y{wQ;yf>E$%_ zdq%+ua)2@ z^a3FLgR|+?ox;Jva=1XI>COj$U2*LDK}0$k0&6O}0Fs%r%}r$kf2v{UYhe?xaP! zWZ0^gdRz<^v>D@V(5!OOrHA11Wkg3dPdU8gCCRt}rVc_uoxLY))&U$Pgd(KT{#a)S zH841!_kAo{FnxpFe`OYo`o)_DxjZC82KMBYF-fa(TvkL9NK*fz6k&&a*xzyW<4Q{= z2i_VWMhmRI(1FHF`Jb>%A!Mp_uh2@FUxk#{V+_?;0L#Jy^%8F-(LS~%Gg-@MPv39I z?saA}3)jV3024A^>(ym(SUUJr?17Y4dv!otc3(tfOm#r&e?4oMAChF7v&y2&7u}qp z1k`A3V$u`~9^B*J#1Y>O=%&#RX=;x}Fw?KnIKN_X5IBsDe`%gqmqh(2bl*Id7Byo> z!-)ReNzVEr>ms!Ud-?>VC)Mh1y682%^xa%Y2gpxe5JhEHW0$cbf<5BaFh=R%vUf`0z-6A}QOB zpRc@y0>AhInHZ-`c7CsaP^G8}vxqDlfHhmOSMXsae`39wa#%?q-b!4DuQ(cC#!b4y zUy6LmSc;??Wp({R!-b+p9}AJ7Y;~joiuzW64}S?M7{)ShHFKLQbE$~ov!&49%9wEs zt}P110UPo0*WwBB*EM2UaYS+$_^lV8AO|tP=&I?J%ksb{+D7dms$*5HHp|^kj8W z{Ywb-gnUnge9(e9nA>*kqKg`#U84O>e!Y@8NY3#JJzT-uTpEoDttoh~_PF2Zs`vZl zB5V%>!t-a|3*-({x^;C)uB_(Ur#oiclqi)UD4;vX-K!Nn!?$X_cqLLLBfV~ykH+?^I zf5BVKzQV(`c)deTsy|H7%lE*GCn=oDh3zF^1lqsFho1B*1A5!D>6oBq!zDPqV#@qA z8{Jt+`5dW!pPYKa*^VJ(wd+pam2^e7CzMHiaS|YCOBgdbD6rR7ZR@@^RT(OxPvJtO zqAn|+6WpbU{ANTdp~gxfiR+-cp?@t6e-!_H)M!Y+`*n62iP)E8lWXE@WTKHnW*|^qGvevc$ zP%JUlIZm@Z8;R^rQ$?=?9rzxazoDZ|xH19O7W&Ft>4F~;+T;b*Z@D+0Y}?j4f1D(1 z;nJT~b&{for2L=uG z&h}Phq(eo>vCJp;sCP4?75!(Xf8d7+IV2p3nfb92 z@kS1_hK&(6iz6+XGM?<-JDg;G!-xPbx$5W^oWdG_lpC78kOqi zVBS$BAb~}}+*vBvbM~x3C{GXKB6v}J}o6ZoFXf~-if8lbCaD_6& z51XWctI5Tz#-Am;lRbCJGYFnk3%LHlEF&8wEW%rHPFYF55(a3fwiF`cKIT*Z<-yez z_eIyPO@1Ch71(DMETi=a!`Bu&K)F=I!JVXXl4nANqkO9^?c^3Mf4`~wXPU+c&q8vH z8;&Ew7@A0xk#Nkcros-Pf4)o<9pf#6m0Xw3h5TG~-I-M1%$&)!SlLjx^Hjb{Rg#iKk@JaW$oUspH7r0y#eFeT#e?Z4f%!%Wd-N=tm zb-X+^yUxJ?EF)|}Ew#}>fqSUUCsJ_Yk|;2{xeq>ei7RkV5PXKEN2FLDp0G~N&H&MV z$iBVBEDsWIzC*+4?VyJVyX>S?6yHbuaLcaHjqM}g>P~5Ey$jm}$N9O+6*n5?+?zv5 z?_!;&6FpvNI2^S~|Q_J*fGyJoypDk?jm`BC3Fo?Qu-Bql=)e-*U=bQ=siTx4+#M{Pze z+Y@HO%H2aBYMBob;#ZvVCOq+n_T~MQ@en%A94kC!kq$?G;Bs>9GeX)sc|hQw>x0}& z;@}a(gp*so?LoZ^n-Q1j)Y__AtM56)(=cBw7~RJdoN~Pj=($3didZi=&INLSm2O-EJXd}po8Jv|LAuMQI-v>laj{kRPPHa8) z{YeL2xDZTcbn}ckK0M{yWq=85@E-s2=k{geT;P}7f_w5Q0@~6F5xN>Rsbw>Aabg(@2~kaPt5^l0V$g7 z>z;|h7mg^tTLA8TG>zow z@M02Le+41>XsMIP_iNXEftAhctULyGr;amRcdZ6w{pK5XD}!u~dc_KMtxl363*a&t zMnk+sef_es(5SNTj$=gZuMXtAE~XOXP&$fXeV>4a`xpsMtb4UXH|QEl4{i{nHk^yjLMXwPQH@0||8lkycKSeU768gdCRs`uWX&oRw} zE5dYL`#XT^O(i;ZsWq3)l zfmIv~@w%s?9!!9uF=X7pQ$`tzgP){Hr}0B(i8*cwO9_Erhupj_N_TSSCJ9}G3KHAg z4PtaL;Q6He7&XPzMWB6xJ{0+}or=D)=vV8%=N*rGa0E9Xc2lS%sL0K((?2E>e~3O% zyW&cQ)1`pYxuOcX59)e%mw%I}4!=f#1Dbvju+DVQiACf<>ZyyVXCmf1V}lDwo#8_P zJ~C@($9`m1yiz=+ox-hyp8ud`QQff}Lw#_ZhX54?vtPo-)(U@VWgln4{_cqP@e-n?JJ>k@76fBpDPWP^Do=V9$3}qTuv9kaVj995m zY=uZ+MM9SwlO5l%I!F>n^cEl_mnn#>?<8;Dq}#5%aR#>~WChCih6gki^Wt*u&{c`v z^U-U}l+dmtZ!n7o?s?Bfq&qr?>$XPOYB3&~|FMH>-2km>2gJJ{Wk%_(e;9lD*v7+1 z?~CS=9`z8nG?15m)O_!Nkr2Y|Y*e(YvJ9Eaj$u|28m1wUs;?W)(U1h(0h+@UJkRM% z#u;Rn@jS|WB3Zd+WAa-eqF=Id&{%<5J4>_)Eun<`m0K~~^Uj%#3FU&81cV_?a@qkZ zYTo~4*smG7sx~b<>69}me?&e7^tF}p(D0c;nN_`XMaPlNOHuP>x&PhWxkNuON~uY$DVTEaAvWZ zX%{Fr)?I3i5IGNH_FGpgncu3hn*Yz`x66#P4Eq~3FQf{hKg}^)e}mLA?y2eRM*2;Eas> z(*o}Tk$S8MOH%Ffe@&JbEoMQon8GwN@h3rJ{l#?pTXS>k%TOzd>H&zNlEKay9lw2D zuEoutrpQ|^jHl&0lxw5%)tgO0y-rF1L#%?-Qp|Dk^a5pR#&jPI+VF)Ek}tn^1e`L= zeh=|pCM+;!g(y6GPzHfdFY_Qfwod7r8B5>zGLT5hd=O(*8%N=81RXRNYv}iKWkSam TsprOMTNK9f%xpBKlQCa?Tg(U? delta 4169 zcmV-P5Vr5GzX7hl0kC&QAQfkeVt?CQ1s5mLVs4g5Ocey9%xrfx_&j^yqwuxIVbhcMMnE9Em3n?{p(wrsmcdu` zhBtx(Oq7Tzy$jhu*N22)*dkApS4Th~Fpifj8OF+X0L+y{`^wxuXdCleb4eAofZrE`QLvnb0^QtQql4_syc6i;ZD16W^b3&yGTZaFZ8EKp^D%{YR86 zbKfIv*~D(z#0$E^`kCB{EC+q7<r)zMW($3JuyHz&;`s$goVEDuN0&G(B|NvR{Q~lQ&5~ zAirtIXl1pNzGD4dV*=!fNSHeO;6z>8$ZIPvQ-R3*Mw6FGKp^t6nKs@Yz3 z3ejT|?c~}Yq2g6U`sN%^nlh93NkM;GYnHHk%Qo%WPeenTWu6eMs8}VY@j&$9!~a9J z_KyZD!=3#vW-@%B{5OW-h*YS|mfq?j0ALa>pc(xCQaGt0!^)lwi3JNKddr~unPJ#{ zOzLh$rF2g)W*6zBr!edSyT>2rs^aKo(z+&%=b01!@#d2YX=Al0k2A!DU=2JPNMjbBtg&y z9(awlQ)XBcVz1a}qj@V+Nw1Q7`p$8848hIK4>!5{Bo&QD*}7}{MeHwnQQHK9j;#N- zR%Lr92O`d92!CyKe-Xyfrz#XgW^cRXd$JFwcZMaFpV&6+i;hEdeG^bXP zh0+w5*f-2Gu(ZOv^jZZu0OnIkH3g`-%N3LRLGQ_fDf3wcf9gXBm9t<3FbmGweU775 zDsHv?^iV%t(~SKb-213(8>UANOc(UgCNXs(U%3>4`TtucD(8OtF6)YU1``aioa?g9 z;OBtDhF4HTVEZ7DOkJR^$==J)0{!FzHdHm`FDhy;pzLSi%keHw=S+cJZMn$LS@ypP z9A=+EyD|2&e-FyBgF)8UEJ8s4qS|jSjjdqOWZQ)xFZkU_ry)N9N#6Tt7tW3alX#W8 znGB%y;Y2=Vwo!zm1cM`39|8(JCylR=-+mo|lho9A3!@J0e>G{Lwco`S;nB(8XGh6Hbm!r&Zi7w_fC@5>Ci23+Js2VrAtj@|4KEHKShdX-GMOKJFqaX%TD-m^Hp5DlFI zf6}tB)2g|>&NHSP5$ch2SVipg!NNsrpl&NM}uP44?# zMihPZRjdb+OY#J~M#zrs`$%TMv0|CfC|XoL@ua?9Yz{`vsi5x@T$Cb9nNfp4oy zoSy+9;+@`SYQ?(N721350$9nD7dQJ6QBU z(%h;^7dj~B6t*#Q0lP@V_(L*$!aNS%FI=c|-V7(OF**+hopJeyt(kpOu=t{qf78=! z7u&bR)~{Va{t~?nn#! zURJuR#-&XpH5O=jfEhDCtv<{7e{QZHv^ZsvO^Y4W&jyoU3D*W;^F#S3P66_=uTm5x zL@9(n>%M)CTR2(V*t2d;t$VTDaBzgELw@023?i$CKe2vV7;m2pH2&~o(+K1g# z0tbB-^7yi}U`7&UFNV_}@253LJy32C zmpS`{vA{Dx6fp5G_nTiVe>qkOVcgvphglV72#f~+U5C3+KoGXz5INP(Nuy(a_eq{- zsCnkr{WR>^I9Ml;xK%-+E7uQyGSXo_RGf<&S3xe{kv_}|GPmfVt4Mq zWY91H%WvjRS5=wVe*}812J^h!`jWnqk}Yko0Cj|ty>GUu6QnDtH5ii6l!Z!?NjtlVir5gyftwy8MO!!7fvK3QN+?VLIdQvFAS{-O{-{b4T<0O@2 z7G)2V?|YHbNG$qC4n;w1-{iBx-he+eBm5o&SUE{g8nFI7e@(-kT_EqBQ7{$66b>f! zPxVWcksXO(RQtLW$_KIQVy!{wyHJXdn@F)!cn?X_!yxu2f>w?SaZ<;MDDwOq;|Eg_%Yip{%m#kl>_HRZ6v+;!NH}P)q9BC#p0G3L?QVR z;52}f8f2Owe{XoNH;j8_{Y*T7Pnlfs2++E8K|u*`BWbVl_7P&vr%4Vbk|-w|5~jg1 zIhB#N;uR!-DTe9&U^W|!3nEI&X)me63o{=n+%_kb4rtCY4$Isg8nAS)r#;9wB)c!~ zqadR3DrF%?b7m9!FlP9*YsjT0~GLY<&k9+2RgjtvtD^co?Mw#dR9*FlS*qsGCGT`f2#4g7*n}rjP^SpG(L+S7thoQ3*R^t z|8@qi&CM@lL&{Xu{Bl}GO|n@K67>OpI#>DYt_((Z&m0rl_1Q)GkayC&#+P@M3wZ~N zvvId-bZ*)QlM~|gIFrH7CDeJzDRF^??41$r5b<3jJ#K?UbDh)@tM=Y*^Q=X57k@E! zf2ohN_IbI-%*aDR=x>R@Kg!An1fp)U7=bQ2?8TMR24W29w2~V3ZM%8wHM>Ut4>){r z934i(q#gzuJby?GQ5+4qk(R!4KdVc^LzZSa`gU*JhrSvOhP=2)1=A(%O7?HYPXY*A z(=pO@HmL}3+Q=>OvkzZtPd8;=HLBz+e`0>6GgMJ6DWG~CQYWK=hTTXqkR-xyt^+b* zoMb@C;A9}D+@rKES~`%VXe#0kktwZ%!(?4WEI~7^U|8jZQ}0{LUM_kZJ19sy&fF_S z{(Ys2xiO69JizovA0Kf4!W+M*B($lQ?>D1+WWp2nA^+)*nWJ@XdmJ5Dsg&ize=Dz& znvNi}G7x9L>dq%Jf^kSl$f4*n$&GJOOrNprKEg+pCA3JnzlhaQ^(`}^^`FzZ@8!A; z0PS};eZwJl)2fscHEG$MdF~$ys`$djhJUH+Q($jHqcT!IMfUnO+Ds`SLJZ z@9n_P=Nik?2H|)t^}ZswcriIq$|Q0^W1B|mZScZ0Tjc`+yx0p|puS*ALm84K(pKK2Vbv-%wn0kr8@92L)lvl%^{SfBM!a%M-@8 zmUTr@-xC4s8PrH56A-WW^~DGggvIM7uZyw*WF{Nt|s302Be!hQMwXitb(F|Un#dWSlA)@(c@l$ENUiOBs zE}xpng)zw|m#f7vgV_X9ZGK=^(f zZKcEAN_CBXc+lJ*UJvn}wg9mBiE@ghIW}+*9;fcv%~?D2NQa=4e~Pt~_sts0Mid=% ziGg3@BYv6~h#g=4e1*i6M5@K8SetlVv9w9ws{4;B z?ng-Dx2U!mb3gksqzeARe#)H@$S3>^msNTN^?U-$8dx0e315iN zvw;#5jQRk~Kvoa>DD&5sVn&y-)|e>2A52$Pn6zZs%j3yDHZOQJ8)2!&oz6P(+DasP@EgTM Tq$nFTV-TH5piX((lQCa?AEp`K diff --git a/test_fixtures/masp_proofs/CBF4087F2AB578C83A736E4598DBA1FDB2515DF33D43611F2860B8D3C178B474.bin b/test_fixtures/masp_proofs/CBF4087F2AB578C83A736E4598DBA1FDB2515DF33D43611F2860B8D3C178B474.bin index 06393963b3a99b320f64849410effb8d8cad18ce..9fe1c6b56665c65beb54fa863ed39da3d8618876 100644 GIT binary patch delta 1002 zcmV~e`=pUWH~VE)syLk;u- zAVZ8_q^CP9-=uod1)Q zo7=0;p#$&jXsQ@}Svp$xA>OvLYZLSWAWL$iMtB?Et<)+nb2TI`v~;zr(U4G!^m2&|ca8TwT|F?87+m-;pN`H8Sj_;7@! zNqYU&cYGR>dr#JCZuXP+cf|Q;y@fIc;9877({v0Dd)HzY{Il~*>*N~7EYo)p4yssQ z+#>=Fu1pruJYKwjylU(Qd2i{@sMQY5C%32lDhZk)JJEm3-dL?i|FcC^=wp|XX67C7 zmUs3l0245<3h&eju4e?yZe>*eR>e6xVV8=zAD^*vEwF!-_&+|1*4+T-GKr5!rEEW= zztPhpzVe%%OnJLC1(4Qjwzx24Fgct9_P)>%Ql?d6g8SZ|nMWm(#M+5lkU|M|;`q#`A%c}7^ z@ywnz#vbqvV3Hj!WFiGap`fom1C*&RUHuwZ$Pze#)nI^J*{Pikx76i+rGTG+8itiz z-+A}{JY0&J>-iN?Ifd(IosBrsojrJKYF zpUr=ohnQ(~_rvSf&o&HUuHu(*r+D6kifFpu**6crDZ_*lSqxn)kIt8$`qRgk)vM_v zkY7uIJO#^j0ULDLGEP<8kRbJry35qs$6sy>=__k$ycq@Bmeby zd?ov{GuZ>K+F6o~7hDj`s~Dc8bRir0JyX5hzuPe9U(#M^<9)!V*yFk|@W-W2D@>n9 zgYTNxL;UbAmFY{cez=kHNcDKcXS68^KP39I|jK86;?&BA+}pGpd<>1S#UxL6doKp6utj0tnuw#2HO1 YKFSRgO>}!O>Qx0!W|Z<}3X|j?A~qNlDN1MTg5 zl5$xA#m*d#-xU`YZLSWAk-POdHkJoydYAfKl2Wa=;jkA9iB?Et{qQia^25QVK+8o@~RP@LcRcwy-mAt;3@i}~xbc=yORy9P)YV4w^ zbw8DkaRJ<+{)6RDk9%Q$B^lrUs+G^gEPo|1|o7Wq3%{2j=;hSJ}g5K=F5SEY_tr1|~Inz%5nWB$o zrxIe@9U{+MFWUTnnTNm}CEc6SHi~)PT)yi!;iEavS}N zAF{_HbZUPVU)^doMjrnVIgo^iBhlWrf=1uz(LoH(#47oEj%*GIehtwJieYPVR4)TQ zk4`u}zJXY)?L}Xvwzc9PnvB7sJnSY8p19(N+5x(Zx>| zF7A=~@NG*L;=FbRq>jU;MU?vSfP<*$jM@iP+KQdE9Fpp$fm%SBsb_+lctx8bg2%*( zi8Ozw>4KLJjDPrOqGt>3F}Br6b>thMq6*W*nWi^8u4I;_K<%5cCz}y>i!+Zd>38KR z2sHZP%OB^*#I-lPm7tQ)A6aJZQZ z(t#8jo~Ktv%2&S7fdnX~c$^ee9vm=F8#8}=*Yf@#w11SD{Zv2L&fxUuH@iSE@lVpo zgJWph*&ul8JoUaU5KH5W%TdqtTCFa_qOC?5^@gAoqVLz=tWRdSJXDWe5V4Tyuqo@Z zioth(Sz{&Mk2E4ClMNwTt%=7FrkkPP#mA=5K1Co_-V6nA40vy3<+&_tt*)H_=0`?; z(+!>KI`p0h7ga7n7vktC$S`JG{VSA(YP%N$O!ByKyr&E)hTklwMA}s@@g9}9{&F#9S@+JVGI`rIg!GH{OXR{RnW6IB%}g=@?b;NlBZg^E~4H##~6cz za8wgKk;F$DxkF8PynD}{b(X-dgP7-}STANe4{Kes^f+MUgK!j+csF96sIM`}BO>Fv zUEW8Hi4LuePyRDy*YBK88gX_FXHIYP65mvvKM^?^OaY|&uDz~Al%#}lF)UXvu7Ys1 zOIGb!T!QPfTPKwQf2H&Y`g4!8hn$$$3;iPJes@5DY*){>yH;0d^)oI{64k|M13TUY zej#-SYNjziXaIDh;t)_R;ce$2<;-e@oN0u2I1S}ldAAJ20_|P>f7H64RkHxWWM2F` zIjMO)r<>b#9$BHVUGj!4aIrbU3I#HFlQk`<_H$&Qx2ge2vu`Su0)IYl@G{HQ<^*hA z%O)pa_c_b0&ihN+WF&p$Ew`;#Xoh8^8^jGwyZg7|X}A^?EILf*| zFV(5N>DM+AbV;}s-Lr!&l>&e7IyJy}#p5HxGMD=~Yq;T(E8Jshzm1#P8s>3D6-C=IEa(CB=ceGp`3D|M2{ zXa-#W?evXW2iaQGX#`#*VKAPS!tUUC>k}ZSB)=^_FCZBe^Cs8V!CJGIFqHyPo9BBY z5MEptPUJ}d>CPsQX11S$nc(6TotKFTk7pRb03p=^YlP!T@V4cNj}+-hUVj#Md?;A6 zgr?UVGZk}W1sZwwdEWi^TVZCrARLJd0Fevt+tT&+3e|O; zh>XD%o-Qt4S@0zbBpi+n4Add-^C$-joKMu*FVdr6_Zv|@H@rLTP99SgX40Ft+Bl|^ zaip=5%(5A;ZW&yRHJSkU;ZO(WbV-2`71C@QhixX{`nP60dYTcRwk$)9pmlrh;4dOw ze@j*5!DZY&_p$Gpd8+Qm?QV z?rs^wKGT-%@;2a zFS+j!ns#e}2gOIrqJnqprkq7U3PtiFe^7;34V2GeUbez`jUVnEPnfhaUhusFT}t zSqBc|-|w19t|IV5-bK01Po##k1rM`WADZ8yNn^oFa_!1nGDGnHIa%0tyhH#$uZq#ElgARDn9a^sCVfeoayPrX!tV+BUiiNw@R8gGEI zDZZJGl^wh0Zm2RG7rZ!(t!7_rvaWb>Vks!=F~q-&cK|7qE^mc6N`3UTe=26p-mo3S zwR9-5N-G$>lMi-B_`=X)ot=#W&^L{da=aDL4}y5PP;|+6?j8p69Qmtg;mi{Lm$d-R zeB9xR_M+s|9Qpv?bC0TXA0*NdE&n`_l(PTC93zC0&*{yObz(Np$}mYp77r*;@jkAo zdu-G8N|sMW!R$(_qlxN&7}M?ZfX>C-Xu_??j<#=_BUamMe->I=t3yBvx(xSh zJN9pn%Y2|0K5z}TiE>t#Q#nxc^bI>UEi-0AxYPvmS;E`_X5D_?WVBG%alF5rqES$r zvcaoYCINVXM9LG_uN29q9iO%U1_sVUYgCVg>_mc+LafccG6OZ6qE+Z#QoN-d|aqdXR%2CyY^>BFtv|a6>1hk8qka1!G6B~9n z#mx>c)O2mnh+4#+oagT(G8w-2Yyh|@a+nIJBSV9~Eh8RrU24{5_Qd;LY zuvi{9wn>^`e-N|TDe7g&>#*qE6Z~n4^oOPBcuFKPVcEnyG=b9$GH{sf4vSVo*1zPC zGXfHRAGX1~VTVjcm0ma23jZB0LxIV8yK?!QJ4|jVfWOX@OQv$-NP}4N7ppb1iDqBIycm@FSW#yfm z^P5Bmzl(vYu!hU!(uHx9M%2p3CHQ2Nt&Kzkm5=M#%U#)?>7=)fcdm!Wpz#q~mHX#s z@T<>!v!|5E0PP;3pu~4Y`e%9wkRf)=|1q`m52@u?PoiLqo7>2E4IXI-lTkYqlTkZJ DI!{Z~ delta 2749 zcmV;u3PSancbRvv79$|UH-n&EH`SM}gXc^Cgpqx9KLMPqbyBe$`k>YK9OHzOHX}eF ziKCBgui0iKT^$RC*4!qil>b&i|A7lJT3+L{$CM*4la?bvVgDVf!e{wTEz3`~+1qQh zeH?Qj6&uxGTz!ze9dJ`LlBu3CesAo&N^w8=`GpLa#jjg1;BJi~Ld~a0YS8yONOEoYEsc2)^@>;VvB%}g=0)pkp)LmMsEJxckCzs_I zQr&kjg21(moQ@E<_$okce=_FsR&q={m_t=1-Z{f0C%+xn>do2zQn0CR)?AdDzsW~7 zjngy%FOF%}lPE(cZOG20ML_}tx|qou`DKc?Q($JrG7e`>iPLpXO(<&Hvp15>jKr6wTN*ztyo1!s}ESP`%g@-AL%m zyM=}PFZ@16nWQDA)DD)8eoN@0`YhHn5n7|VdXyqw&kc4T@3`rZRr9BgmZDM+AbV;}s-Lr!&l>&cjWYBW+alNK3il@U2Y@=&Dq8o=Toa+gfuTN+Uv!c0{ z_)ae7e|SUnZ@wmAL4ts0V_&ei*Zn_3>yD(q1PUdAs+DG;G9<+erCM#T=Y9bY`AF5V zQm-fF5xQ$&U_$%dkkx#%ESAYRCW!PqT@OE}B)=^_FCZBe^Cs8V!CJGIFqHyP;U>KP zjLq5#C!z_>&7dunmgp*+kM_AmBT#Z6Ndy-(t?v) zEyM-^>6Q)coSRo}7b*Uir^M~`UCHoO80cSsN3(H42zvC)=#Sv&!4Y9w$AUpyN>o14 zkC3ulMF#2jem`VIQV}Ck@RHraSd6JFz6$!NdRgiQrw?E8l7HWD)``IF;?;L59Z(Pv z!@z+UfA45tpwKRc&xFay1y+Q>t>cw86C3t9Efl?b{9LbRA*56r?66-zi0fPPikfM@mfzqWO#L2<}iw zQt{o)V}E!^7%VeI-p-VUO0B`IoMdFLw9wQ&f1aHnG;gm;!0@5#WR>0eSTvFrj!DA9 zhDh*Gsm^{300OE3ur<6c#no}Ftma)>0gE4nI%WdvQ|%X9@Vtw^>pEa2Vk3^jZtPJQ zQRiCvH-vqm;RyN>lFXlF4VN*}Xk{Zol~=KWuoE;qO2mQcR+05?=Ma2WCBX=w3Yd`c zf0NMJ1SMlJ9mqDVX9(2ocP?jXAKl|&oveUjs&YTbtgMY_$pqo0Mik6OpGTrGyt;oN z;0{gfM7xJ*s|*>PRFyFVZp>p`2jhLYJjqLNw&5SZuC zd`wS339m?9KB1&+Sm zsP=H>dCk1*_*aZ13tkfA%S-I<{AyN|(4~7VDiYXHND-lobmz8u!kw!7b6T|3!xvfl zxr$!(c80&5V-UmjaxsoIv!a%E4 zb@h+H@DqmFfj+F(=e4GMOepehe|{~>cPrP<6rWU^%M=Bx3L9hLyi%V05oe{QH`y#z~{ zw3}f&TMxOIyO?7{jvhZ}=tFRw~ z3K4>JJe&*vUXR9;4KgR{HR3#4+D{OSSW>YuHmZEuSC$K)6pcIfV9-$x0J$|p7Flk+ zqszO4v{`-8Sr1SbcbQq9N zlD7E)g8CQ2%s}=xf1-YL+%r_8$rS;LeJ>49d)HHz%%%a5-M8fT%KVT)+p5l=6cg#% z&!l0hFvDS;3VmlHIM&+Yao3ZA$F(VqcWbf+anK4*tlLz(YQEeZ^_pz~SCZwC31|4t zlPE%AaP2cZH>DssbrF{dZn2Qh9F()A5B@hz#IO3K>HCOPe~C2w?gE+rZ^Gv3Rg@KN zYo&|hLA$0R+KTlXwt(i0gk0ZsqZ@a_BSI&P)2q4a)xJria2Glj2^II_v|>yI-5e)D z=}fMm2uR~M}!Hf*=Eq$k#f zxB^1kymmr@Skge|CIKlTJ9As&`iuH^CYB~b`95y^_=>KRF409W>Y_A_m{uCUV3rH_ zW&ollqtEaLLt`FSbQ=shGM6Rj7Jmjb#ZGc;=t(Ywe=xMPp&vM}{PgIXs8gp_(bZJ> zrh4K#pis9_@Tf_Eg)g%aRC>&bm7Q0lG!+`wJ-#i67FsKI43XnRshptr)~8tKtf?hK z_K({`Qv+V5b$rS{`WSuRC`)1%Mba>gAyQbGm$b?qnu%nv{?`R=3yH$48s|DFh9G39 z1JkiNe=tR(>hqy3e4LT{pqFa+-A;s|=mnli`+C8p;fxvaVOj8;Pp!f>!hKAvi z-#lks8y;}E^7<1lY2_2r9$an*p95gj`emizmhJ-*i+CHo6&{9?-F^PjwO=sL#df%u zez<}pwr#S_?UKBr-Sgffc4Fo+Io0iRY=8K^4_pI{s=6&!ZAip<1%PJ