From a5b498ea3a2493a692ed5ebd2ad9f906ec38198a Mon Sep 17 00:00:00 2001 From: brentstone Date: Thu, 28 Dec 2023 16:50:10 -0800 Subject: [PATCH] fixup! Merge branch 'grarco/masp-cross-epoch-proof-fix' (#2222) --- ...DE72EFEA51E775954A8230E3ADD9CDB4E75B23.bin | Bin 0 -> 6669 bytes ...7ECD8CFD237A237C63AA565FC44893414EE7FC.bin | Bin 9649 -> 9649 bytes ...27E2CFFC5F8055CE2E2FAFB4DE8E7C2216D5F8.bin | Bin 7448 -> 7448 bytes ...B62D08DAA52F4DE496209BDAEFD36E75EAE98D.bin | Bin 7448 -> 7448 bytes ...A71E2A0FD100F99D737415E6D9125F5A7046D4.bin | Bin 0 -> 7448 bytes ...E8DD6A8E6226394EA6E3DFE1CFC10F69C0ACE0.bin | Bin 24494 -> 24494 bytes ...6D2AEEF55A6F202D8EB4564017DB5BEF872107.bin | Bin 15597 -> 15597 bytes ...4A5C2232840271F032F756953233DB3E53E757.bin | Bin 9941 -> 9941 bytes ...5CC6F78791F8954A0219C07B15344AEE0D2E0F.bin | Bin 10382 -> 10382 bytes ...99481AB5F7C8F57502C5EAB2BF7594EA6CED8F.bin | Bin 15257 -> 15257 bytes ...699E65D4B40A4E1BC9E7A32D63CF28466A2F20.bin | Bin 17018 -> 17018 bytes ...81D5DEF92B9A9BB3A159947560514682CC3877.bin | Bin 7448 -> 7448 bytes 12 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 test_fixtures/masp_proofs/15532D31AA5AD33E5557378544DE72EFEA51E775954A8230E3ADD9CDB4E75B23.bin create mode 100644 test_fixtures/masp_proofs/60C29BD5C1B461533ECD82F3A0A71E2A0FD100F99D737415E6D9125F5A7046D4.bin diff --git a/test_fixtures/masp_proofs/15532D31AA5AD33E5557378544DE72EFEA51E775954A8230E3ADD9CDB4E75B23.bin b/test_fixtures/masp_proofs/15532D31AA5AD33E5557378544DE72EFEA51E775954A8230E3ADD9CDB4E75B23.bin new file mode 100644 index 0000000000000000000000000000000000000000..5ab9d08f2f6cd15444a62cefd5d8446225cfaf7b GIT binary patch literal 6669 zcmeI1cTCh>m&d76hK}?>emc^T-g|E{1A;g-=?s0S0z(HudJ~4;dyx)9m!kBh6ai6s z5u~Fa2(qtl*3BlH?6aHwYx6!Qxj8pCH~HqA+%0#*Lf=NAZ!L9FY41RN@V28hceD19eli`-zXkp`BENm;yvXIxK!>_v5o_+_0e-23pGl^0Vj0RUwz)o>gBm^4KVkJ=d)pOUJG8rn zmua>o3{XuN5wcYmYfT<&T|PV-S2D&DCRF>dLQ18-d4^0(-V$2AM=|8&-i%eB`-4<8 z$GZxL(rGl!y8K)F@mk?eHtHL5rJV#tHsW5;GRxrc4lQJ#bIi*iPs$ zS=4tgLm}~8PAOCZ$qT{*fF-4iQTIJ#>|x0phLF-xZ=1%I0kZL#qtCs^p9^(w$bf2^ zix&JqWr1%Xy6G`52IzB%`p*mVAV37bu~N0N<^`gzt);pTzBj$tSjz=x%<*uhs3pDO z>tmI0G!%Fdf)N7Z&tN21RXq;!8$3TjY-R1lE?s0w>&sV%g7NgK$X0OuAm z?U2RBU$=RpY}p-kk1RD%4Ny?~K7;dM&fu@H)wi3H<2t;{8?6{p1o?LAkU%V|lCl^^R6G!U9{GTvdmW#Y8LI4_l^M|K9 zJtc+M0h_)}YrVX?JV%xsR6%S8)Nresv!jG=vh?$O-+`L1*k_$-Ot$hLy>1r= zR2Tq~4*d=a8efLHLKxPoT*`bvA6_Jb&529O9d2(r*dfjVnkUX-vKP zylf|c7EC|g&<9ZQ!n9}vU~R)kYAe)vI( z8FqaDXdxylnnRTiU-MeN|0s!D9Q$*^?(i`}mFIc#slBD&F&_-_jTP2qoG3R~CVzw9|5H%si6Y|0K68mVG%y0v1jNI$j0J~oE$qW!yg z{$u|vrvIu|T?v}nhg8zpP`9fYo75W>VP=UvWlztsfGShh(ljSA;mo^9oV@I(BT43e zNy(jJk>A>ti(jlqX0uYOLnifvG@OZ5o+n+k!1vT^J5)i01#~M+)Q8s~t5ektKAX!6;q360oW53Q@b)@_+?cbZEfo2(z0_7tu$H4Bp}2gX z#1?wx@{$95dm3Q|Q{;B1#eEtGXRI~(B>qKL7ySerU-;kTy}j{+7^N(;tw;D7z(q*c8T6h6%Rha}X&*B`RN8VBzp@v!-h1Xy)Kz z|BUb$F>WV0uq4MRX0PUL(V0fCwII35geBb4Pn^bD;m6@Wr>rq9PJM4i^JnHM=M2c@~Y@!r?oL#y}cmr{gz9=t$THf5%Vd(LFtH6tNX% zJ=vC2L|nMSRGewE-Wp0rL)Hyj(-$|HU}t<3Uo+O|`(KAYJqgca3m~|}(PXffN{vzy zeWhqiahF(rqPotnC4=p1!D#O0`*cucz|=CmMheNRDZ;Y6#{7nnh*6yeE0ayl0(j^+ zceYa@H!JpT*Xa=9C1dMuG97}3edQ;v(Ppf`O*yoi9=u(~g<*RAGv;Fo8sty@seO{q z3+MbZgwEidtr4;l^Cg;*KM&syfRbw|a^?Ai)aO*$9Wv-^2CNaf)nxZ9HF zpFO0Z-O1;tz&I8-k3!T=&lz@Q8-VeMD!Dm4>!*Tn?4mohBpPz>BomYxrTMBB8#Mg|=;;$6+L4v;}PI2o47PLwDY-bDvd z^EY9L^WEYN36}Xftk?$@Rc56G65YeW8fka1xioHH)AcxbbUR*Zyf2C*8d~iw*j*K4 znXwkl-Iiuoua9a)1nFvUutr}s<>o$;;=0cxDl``-vo|jvazdU~!>DKw14gRZ$)>Ak z5dA7r74%-)({87bpzh=eEwC3Fj}-Pb)V7I=9=1`kQLzZx)leGh#-9VuYMUHt zD^6yerw+`B;ar`*#DW#<3@{qw2 zaW@foc3dz&pO%U$6>s_)IJezs)L(|l^^@d5BrVS^bRntdlZ zYVd}VLsK`leJsO@iFQ?=$MBpruta0~1Vz0^xk)+vwVH^v+5_9fLnD3sAE)45nY{=y zo602!xx{^EY}m$?P!-$y-OE%DH*p_J!zwHWTfPoQpY;Y@6>WQR)}k+DnhD=a(G4=s z6)nB)QI4OW5aDUmx(roBD)9@>@rhp$V)#8~kgbazoPa`JkW>BIp%;#?AlMCo$ zihE0S+gbFslyZb`*|1eI3>`wcYeW5FUvW>84wg8VhR7C@ympQLCUbOh!Ao}8&z76! zEI!H$FE}W3sbAL4?vG0{50+ehrh3>sB#DUW{ubOQKo|Oiwl%n^A;QnQ5vfK3p2cOy zC%$Pw5&U{eVnf_KwKqelXyS%%C2l)m^sccLJ?0T&vYnxPvUu>tcUotwNPx~U;;d!J zDa@bQ@xpw5DX74iskQ!Xg8ZlW^M&dSaQia$?WV}iG>T&arLiZdEjd#85gy^07v?PN zX-grp`6l%`t^}yzUnLWXg7_xVy@k-2rbkg2)w&VKeHTTtA_LIVbki0ks+0G7-H_mR z|7z7IEk~38<9qT?Y4KNYwoL)}1>oC7wyUj*!5XhF*a(_q3zGZHCqomGE)T|cYQY=q z8u`b!yl=w?Ko_UY^eMyBJf(L&u^x=o`q=m6P%6ZUiV}vItkYX)Yd&xxLhg5``!9PZ zLgL7^w4;IBd*w5ptkR<8P7rPwVOM@#1GoHzjgNdkVm=ml3 z$|a?dBTR_momp8s$FE}+e(GGcGadMtsL4qEI20Vj(xhhV8o}UcPqNr^&YHKwR*G$G z75$-R;Km$-VtsbEiww>m-m8M^QRaQ}%URKk+p`X#nJK@5siy@k-y)Hh56_msD)OL& zbygkUcV~_Zr=Xn7$2WM_^?rmbLFX*+wTqX-?xS@hjm){+&KzG)Nf+kANxb(d){ka9 zIqyGImhv5Dc{?riC8u@xjTS=LWL*m^CQuM7wO?@MDn?Q{`SfUQ&J!K0_RFXGQHtdU z)pyKnw62^I`Ox;~q12_*#oJ|DcH>pWQK{8@ccNY9Wz9MFmS?2Blv;~Y1bl)?03_XZ zMZ%Rrc?Hhh%qq&C(e~P+j!^QtgYQ(`)O)q8om|a5n@@=9cL+;y_cRziC52xtI1-t9 zVRdb^1k^m@Op+-e46Jdz9Hx{Wrp@iaXEQgnt>ulZRYENw`)w^^8b28bRVuGpZL4GQX_woW=4OlswyEXI0bha~JRl*Im5nEyHJM zAfa5BL1t9!vrsrdEp|sg$6u>7ih~e#q8-ev?BiE*BdBQmb*5S!+a;;Ij>$49^u^AVxvmhiBf7xRdfIfI4NR=R|oWELuHbrY~6>2(_2Yed8&4Hz8Mv)iMR$=j!f5fimvpYPmOnjH zD%S7&a}{puFl|$4EJN;VYvMF8=Q)-z`ch2K_;fv=pDXvIhFixyQXA_(f1Ui7_VM2# I@Mrzs0MyDgNdN!< literal 0 HcmV?d00001 diff --git a/test_fixtures/masp_proofs/473EDF0B2908F047110AC52C7F7ECD8CFD237A237C63AA565FC44893414EE7FC.bin b/test_fixtures/masp_proofs/473EDF0B2908F047110AC52C7F7ECD8CFD237A237C63AA565FC44893414EE7FC.bin index 2b6a1976a213269ab230b641d7365eabe7a92c5a..70e6cf9451594d9f1bc4a72cb15da0ca990ee6cc 100644 GIT binary patch delta 1676 zcmV;726OqbOR-C^niwDo_n}OtH?oAC+Y@bdnchnsqg?1sMZ{lYw}(I~aW=k_x)?wp ztWY%j$7B~kUS_fIip*s-f}GIdm=lX+0|&u17M+>MlNuR8VKiLms$~;b5WB_@IK&cscsTB{Xdkn@8KeS#jm&S7ok8}EcHSOzSxHF7 zhkD)M*Y^8NaL)~3RuZK8js?C?tMX9KLvtvQ7@RqZf@;y2$FuGVeqLq8pZN5HI2nb*3^rUZ zo4C1^-)g?qaS~UZUI?C1uE5fSUFrQNE?Vnk?K#m1&{o=x7RzrRJs3X8A>#$;8^EQ6 zE&y@LKntBU->XUG65oxwE-IdYZ`T;3Eh9@kLCHSE04ad|DMh)exKK{>9OkvO{Jdjm zD%*wT^k2pbf4Ay5ch}{Ic{-JcQxnD0aMeHf%Aw>;!bxH0Rh1)kAhqimXoN=RB^Stut9b>gq7G{|FN9UKYYs=!jDCJJM8nm_^xiWaD=6eF`8P-F6Jb-UScs9 zIZX6Q|H1td8VEEDRtTSMA#@tfQb@PcpDV)6RD6Y|f2<>%8gH80qXSh?1`b84rYiMm zd2rS){h#E^^#qxIig8jHJ$s)(0GhovC}I$@nPED+elak$GwFP|g)IxGb`2Q^diI(; z0-PK_*6#tthQ~Lzo+`F>=sUIZv(UiO#6D@Tm2tZPP0 zg;aDsfBFDB36EaLeYi14KEhH+8^PhXQ4QQ~M?uGK%Oks5-oy-yB0Ub|#f2GPv8;)# zA)M?1bEBZzX(+)Yp+=YgCR^zBnZI2VD^@W@P)54#OL$@NLo=7V!2Zy^H$eK5I=_g4 zas{pb(sNnwbo=pHuc++pt2^Nm;g$06nqCF{e@udBEE|b%q5_v#lJ4>oS*n>zhJ^@!9YL5jnY-w5 zRMx$KF71{6eN22+%zN*Pgh2P$?lRe_QCw~&|FCs!UhHfj-YVq%r{{wGy^*F=Uk68p ze*(JvO(kH|w(e|dKbK5iIugx5Pv@_nYNdgRe{(=ZqN? zF&q+ntybMzHvO6yhycaLZ-0aC*d42ge*!K4D%Dm4r3!#oL&gO183#dOcjFt?Vvxkr zSEq3aK*$W}e6)?03WGTlgC_A&Wtu%vuns2wr&?!Zk^fJX%o~Ub#ddcasMcc9{o@0E z1XU8aa-V|ZM(XqkiH4$z8tF$7Wc`HM7o0pOO+62P7(IN5p+tl$US)xJ0Wm?{f21?U zM&FnVr6A|Vp3m6C_{zgc9c0lE1hu;y6W3rYtQDI(%vhK>cwy%HD4gmS@(x^;G zW+I-$gK5KNmCbMXR*Xa9sC+R3e;BT7p9HKi)mz>#yW63qrDrs2i4PE-pH}dZ_`4bD z%6A!f+Q5`vt_1=cW_oR-j@QGm7l`2mf0Dxn$0-q69Mi*HXPKO7A?Kh5?-$ z(n3bFXSp@sx^xkfp=;G@to`nU^>zI*CyPCGnJ#aWGREw)C3W+ceix)?wp zvCl+{pJpk5B2z`$xF_tRISDoFjyBu_V41SLIavn)lNuR8VSl^a1Ll66L|s2a*435& zwxqAh<2A{s@O-HVWTaiODqZB{K#TTbOQ;`YAY=Y+s0%f#N5$7*`OIkA}0n8KeS#MqTfYk)ep%jM=Pc+jMRc zrLT4# zHgNl*)pO@3r-EJ#eq$csDai3t@?;B8N2-K1Pm+0V zOmumC4sP;ae_5;Atow3Xm0>h$k$Pe-;Vk;=z>-zPyUXHxGifwU*}=OMc1~gOJRHdN zV|2?9)55x+|M-OS7q@`OW}AQBu|fECk>BX|$Et8~d0!*(} zhPAi&9b`Y7qd+b9tR^k^B`_kYHg(XldY zDHrL7^w?m40g>$F>9J&1kNhiw@|$IjaQGhD@+luDg{fV%AXqPG_jf_|cLHYw=v^w3 z#o(bTJeFs#5z`e27)TqQJh7bI`^ye&T$ePdpVL?r0Lbg=3Z*#FsbXnHC2L|}L%N;) zmfvU_e|&!13a#R&x?BXSO%!2ZKprr{edT}=^>Bt1}-s&G??uvSPP4hap&+@#|)6#=Rn43`fu zmWOgPZ>%zgOzW$rPERC{R6Q+nlX5d+&g(?G)E4hdE&wJYe{gJ(5p1K}5tBn@2bD=m zf80G_{tQ-v$Oczse?k=1=HXN^tky0bHb&%4LBFrP3homM~x@odYhw!kBf(k~E4zqhZafSev z9?fVAWs(bZM{ky~p31XL>K`7n^PX450)`!2yv=sqWOY80-7tTy29b8;aURwCf5t0S z&23MQ=6Y*)8bx7b2G_&MoA(Ti&$#%dTq4j`gL>X~Bqo~?H`~XcuD6SY{;EN%44>ZS z_geC<9h2Dgz|mQe(;>}cNVoJ{s18o7$*oAUDe2Q0{`CPWtnBvoGp{w|cr{tH%Z~dh za;G7{V(NXHrvY4t7_Y2Tm1EHve_c6;Q~=2gp;cN5ALIF?w|<;s_UmhDOFfrzW)Km0 z45kBrp9VP4NGb@%IJLqU6siA!$(d4i{JN{Em;I|wn;uJM!2}byUAp*rsu@C3-|FiP@&_ WPGel08E$oukoSoqw)O;*btOD@7dbEh diff --git a/test_fixtures/masp_proofs/4B412E2EA5AC98758E696AB36327E2CFFC5F8055CE2E2FAFB4DE8E7C2216D5F8.bin b/test_fixtures/masp_proofs/4B412E2EA5AC98758E696AB36327E2CFFC5F8055CE2E2FAFB4DE8E7C2216D5F8.bin index 27e6acb10f692cc211a133a9140d2135634e6cdd..9bb8e9254db24850c98c3b0646132b7e886def65 100644 GIT binary patch delta 1002 zcmV4nu;D(Iobc`iz`YZLSWAO=KrFQa-xtQ0Ox7=^gqdwmRRBt2aviW3zu2B?Eu6{IrnE5wQ-?9n~yzrPRIRg#X#TAQnPaZtQCqcefH!WpA(8?O&-0 zRi8kc*qs!#^8XjNi@{c7YN>x7hOj_fc{s*kow0Tz@x{NZ6Yv$M(DT$gPb{{;z00Jh zOTR7!>|zKsPoOvt12Re+ngG8kj}^bi!C>#3_LSoDr15|3Zi70#{RCe@za3?9%Cq;E ztnKbBAt*#g8}!}tm_zottFCszs<^AlQun-he(2W|Pj%>nL zgkqqp9l3qYqTeYH3gnkHo1MnvgyM>$e=%zmDu_z*yt|cfz}7))84Dbfj@76rL8nEL z-lXJe{-1v*NZ<)%Ya^D+^0$qAz}CC|O$3eRpsDNB;aAXTkgYos-vb>Gpq`+&KNh}z z^T}zRXJ3RU&B^T6N7RY|nn~95FK}oB(tR~1exf8$OigB&t!I9QUTGG}N zePZ-f1?95AxM%qO&Na;wpz$FS_}iGo8La}zw}F2w!?T4UjDS;LDpx08bZ`eMO_<26 z<){@-n#J=pL|pvT08Gp+h5#oAMHkj))(yscxw{xZSA z`GS9ULbDla?zwX3Byr5RFPR988!z~S`G*X_gemAHYEr^Iu;N#;Y*0BQkBb<*wZM~N zh=%r80OuwBbC9)wM~K-TX4S)@jVfKJ#uV3U;Bc3gT!>FSS&jXhtWtE$4|Zh^D<$*= z?eO+JXeQq0wkWrGNx2b;_%)s$vf9)jHHd%v7Ve>5+>&xFt!LIUydo;B3ZA5MI^5T1 ziOFxC(81p~4=r6w7!v*hx3ufeiH)tlXV+!lRM69oG{lzY*Wn-GsyHz#xar%$l3oTBg$WCukkW*z75uwsXIyL=qVbNnXJ$4j#ax@%D3E^(&t YN<8^JV(|ePFeW56ViiZo36ta;G$B6lD*ylh delta 1002 zcmVh3&-hH+8&*soRBT^zt|WJvgbO0 zWG?6rjI)0hB?Et~SS$<<#?}}EzZAs;fAh8yPV{ZQlKc@g)1J*eBGr#_$X5~|udn() zZy|L}!pFRj&}|cbU0PF#xhotLAHKaG+f2-_DS9WMQD^Jl1@Tx>vfj`T%Np{4-E@t1 zJO8^1Wy~~&8t)M;-unN3CGC@t#E}ZdG+7AmJG(?CY+iqknxAST9R^;a({ ziD@GudhVcPPZ_CywWxhD*BY%I3P*;+dVN5f~UvZ}O>?A_@9TCG1K|`pKb= zdWs618e>Dh5bjL9nZHy!MYE_F%(TBTB1dhbM@qUi{;mh-X^V3qnc(fdO8*+=byT&zpZhhpdeWam88^@|YxXeay^irQHoN zJW($J#i_@% diff --git a/test_fixtures/masp_proofs/4CCB9ADD3188CD893508CBB4FCB62D08DAA52F4DE496209BDAEFD36E75EAE98D.bin b/test_fixtures/masp_proofs/4CCB9ADD3188CD893508CBB4FCB62D08DAA52F4DE496209BDAEFD36E75EAE98D.bin index d1072e6e0ec390828dce87f75c38d4004a079349..6b9f56cebdbba55f1c56233912141fccf59acc26 100644 GIT binary patch delta 1002 zcmV`*U^fWoALXCBeCQsBx3gCe^a3E5jCqV`!}&EpAlMv` zhGi48EZ7bG$cIWU>lH01fzd>>YZLSWAbmb-4Ga9;G`oiUjS)A(VeiOQ{sb!GsOwV2 zq1x4awX=T~B?EuCtt9C;ImXfF3Z#LPQqd8b@f8BZDoT=H!2nqaun5!qa8VFMRp)z6 zpSRZwF^g%Yb+vs75j9}VTLD6MRZ5PCTB~)a`ROB9VJM$-GDO`&-5#rY^!xUbR1DPq z!RcTG5&Jr|W8>$&9ieAK=+~~Lg2JS#RN29mv204DimHD`!dCCj#YGrSy5z*(>u^Si zrTw-eURang0eIhu>1-_3X@Qq2PF~_&IAmBN-K(1pYf`DwZPE05;Q9m_W>N6@hrh6* znn9an89ho`-7VmVYKftzyS-bT^6l|24s`v0^jV7Syz664@eq_l{;D7kN-pWB z6OunKbp`b9GLHUazEXOUFUB;L$YysDt8KPwfzYlY&1R&HP=x{GeoF+UO|FZu3Ex5? zf$oHb&IrIIQ_Edlu42&_UHD6VTnR>m0Y~)NN<@DQk<_m&dwn;_Kjvz`Md+$7o64a+ zG)^thdr@4=pCxp=SosUv0h6m$R}?<9-KJhW*KCwVn;&!m0^FD8yMHfn^$&2LQ8HJ~ z8`1+YzO_(9st)QM4wZN_YUZ?k9ZmCTILQ|iDBE2*%dRW>RUf-NKnGc*{luJ$o6d46eFlO)YWM7=^S-K%ktEml7vOV-5` z%+}Pq=ZlCFQ_S;=x#URA^=i|pPlH%7FHFmYms_Y1&&q>T8&wS#DpE#kRm(PIGO9^- z-KjEhB%?kJ17>ZC^QKRc-FmJIS~ZWkB`$ya1A1CxOB3fA+{=ALKvj@e?Cz!AK6pw+ zhBF%u2Ip_6X{j%@3ELz7?u3aS>;QuANGYB2^c$WQ(+|Q>5>qU5l-e75ZYxH{!}i-D zOS|293J(s2cQPoPgA+W44B-N`qKu1>&Z&s* YbxR?y{kA7^i%oE)4`g(=0+Zw%G%FqH82|tP delta 1002 zcmV|o%0Rt&l#a_y=(AT4^a3E4Uoz+_S=QZGR+9$! zJ0ux~w-HQbA59knw(1ej2)#24O_Hx}`vq*{74QHU8>uD@VbpmH%wxD#ca+yv?Pb(*knKr$) z`1^^nxqB3L=QMpSVB3GEReN4Cqgi>PrBbsu_<(fQJ24^7%eqqE!7KQKqds47=jL7Y zy;!P>gwucV^>-}_WreH~y2UIfQIP3H%2fcmta{uccb3=12M5Tg5)8OL;;dtH`UAM! z{qM&JE4Nj-g+f?wDje+dkx^V4N>ipl$K<*r!-(zntg3y#?u!EKVPjhap@x=sl2DYe z24_5H`{Ao!`iHzu(CpmH-L8pk%}$-!17ixHjuC%)mQaS~I#DFUv7i+H`exa-Es51w z1KkXPYMm{1`HVy!zC?zBjKY0Ir+s5;Y|?w$Dm1;2Ys;JHle@W)2RQ=P(qEuE{vG(4NIkE3ewBCYSaPD1hab`}GD{WD}EZx0b7#*zW z-gibTg{EYAk&pnI>ZPQ4f$UVO4jRnWE`Noe@?$l&Xnu><=B#Ka189+p(|X|JaC}0W z)%OVshFIt3Gdj)7tAYcz^Z^yN6$x2DNA!Q#JJE@s{%Ym7h~q4!MxSAxxMVS#x~94i zJXi)b+^%;>U8u4z5rEY)|GS;$+~X%Z>dk>h0F*t~bmcxD8aJ3Vw4udL-*6!O%vw=d z_!adi07M!`hVezhig3I;nVEHZ0)N#!ay2jacM)Gvpy9%c`!C_4bY%VFDiWH}nk_~? zuG{*HK=` za!!(!B=PCIJNMptWxa7~e$K3_b!wg3=R3RBI^W*s+k0bTU|>*wckJ&T7}zbv1l4w8 zv3vmng$6lFSJlJ8q~s&~^e7favaZ({y>BGGKZap2T1m+YS`|#f?xTZ9OO%IShbpH9 z&CP)7pt@Nssal=95)o%nhB^dNWUH*>t=D#nH4T5@e%Q~jYQc$I)4WN$)@iq{mlj2E z;k#u##FQQ1c>s%$yLgCt^1sNRV?VF}w=Hyi0unQvA-dsmGkGRpHuacnG9LH|HB=jW z4Uui zIrty-bIsd^d!S63v+lV$TX?JoW+xQ^-{7^D6x^Ysl>!Fmkk?25PT`;6Z&`sqLE2v( z-hY|2WX~67wNe=5nA+`tWV`7dH{GzvRsGLJx}IG1(7osF`-ilDORD}S=|4f*U;VHA zWzrUU6Q>quk2GnCRtGMr5S@5=Cro(el3ZcXs6n4|7c>7u+W&mNzh(3%Nc*dT<}Z`B zu4;tvdG#{AHg4R-uIts&-px8eru;sGmI9>gw zqJLW@{Hl2UnauxH4e>MVuTJGZ!~W`s`Wg0n4Y0rNHmZ1Vab#5P$Ax}G zB>8gm3Tf)FUcIF9#>dvr#pNnnUb|S*L=M%An0j3U)CqhgufxmlPWu_{2c$z5*V`P$ zhKUAE%1OO`s z)m(P>0DfdP9U-;$yR0bskS&>K{`TuQe!(2Pxegi6KN`oiM$*hpd0N7iOrFGTHd?x* zQR{AyAfRy<6M$C(>>u<7+B;UOzAepI!1`}_$E>cA_iU}cWBrzD#M#+as zS4eLB)zs_W4QyuDd*tIjLnYOlZa5qcWkqbXQfEUXXCwk5^FqQ^gGEs*%pyAQ)Yge+ z!RD_RpV$0LYXx`5Rxn!Q+@7!?uVLs3K@a2uOoM`VxqwfM7bN|wCi>qI=6yvqmKO|c zt?U6ED1h;BM27<8(0`GB382XFEzJ&pLBr=mmFk_`TL#A38Zpwt*i?L2cCwb*!Qqz$ z^EKfF`vDOt=qdW=jxAs+f~VG{ucWnB>|qW}0QZYqui z*LGmDK7s1IDwFEbB3HyL7&)@?fMQl|m*we1c58N?y0}gS@o?E|q$^;{OF|@8Po45{ z8!1vEId87|XcAQDH|EG@Y}azo1gm7{csZ_-DJH=tdsE?T7{rqWB{W5iDB5~@$=rLe zb?o|>iny%(&A6oVo3#{4dWv#x=zF_JfQ{T-#Om4rUQzKxqrumd?(tRg(sj`j*?o}5 zmqo`hW2|jCGfp*uIy^QZem+cwd(T-C6aYCLlW=fQ?=uymGeAiiy_H&_Gso!oC8g&# zd{5sCJGP`3(KSjQ%kBs!*2(~=5^`P4cRf`&rc^N1N!U!7X9}K+MHSa+FGKwqEbcI3 z!8qwq0SnLd!k%T-&c z1BrDT?o*K5BDZ)O;#WoS8oRkIDG_S`&5}JzaN1SfV+ARVkvGeFFuRqvjv`Plt;pR` zu&03>yRU~a1`XO1a+gHJ_YtWhkizotwzvI5Yz`CUWL*AeyHp`)r^0X~rujl^wS6w6 zKI=V3)os7g*vQH>&C64y4tvRGIx%V{Mrt9?O=_%8ln+UqUtM7r&*87Dxw{!m ziN8B%u0ihcZ3S zkDKq7w5MPDhS$Zo`oB2LQna+M||<- zaLVRm8^J!Hhk$~&LGT5V*<6%JA#9sVBPYTZTDu4OSf~v+?QXOR!4jtc$Md>9xiS5v z|3Cp^<@SxY>(nDc2*-W++|>koP{VWo#d>}J8RKk91Y_SEdjh-3TP}TWwWZ8BcjUVm4>nig)ofRqOruhGyXUmaK0_NiP+ zNm%{#Ji_QlyAHRa;C>Zb;(7YNAX6*E4XhInRQD_3Gmx$I zGGuNDZ#vK~Jxr}`B}2{Id`WlMP{XR>ir+>Nn}JcIqt1z7W}WPYhh~K}4ti_uayLiO zMfp*qL3($wBnf@9w=G;I>1|FC29-HLw3oXT((rcxJ{D9%9pGfLa><7hF8!4R6-9ogkn zbB>@r49fH~N=eNdG5F-`Tiap&7v5($MI5KsrSJ2@2&g&a+RyGJfP?d;nIT=tDVJVB z^>;d4zSv;$z~=Q>PO6G_F_j4z78J-zd>bD{y!_ z5}+HfAgn~7h&P-+7erQ)_8_-8Q(O_+a3tsG3zs~i+26bf1WUDIP36;S1xA4uLs5 zQtvo&Qm!oSC)GAO+84&Xhs%H+S3G;1@9gKvc1-aW>2~SSB(vivkyR^SOsHjn({|@z zJc_>HaoM1tYhLT(SgF)7c=CK`y`7B zM@1wDPdDxI16dVKbt^O(+0#H|=cl);mvSyGX3kx+*Ol4J6HHk;sSr+uT-P!ZJpG}=s60x&cc+TF1)HUlYb@}r>mwajqI+~UBNzUjX6t+~ zRuCJ8rU)YZOVk|aNP(gM2fAxaLD*+9lT_v_P8-p)My5T%2>jHCxl0){n_8>!(Ln&d%fUeg;HSQ zy-P5Ca<&`c%V`L`zPUb%rsSYzDa|?)~+(F;uF{DI;ox zde+?n>%$p5^+q<$moub56%aouWmGA%vEoC1qS!Ext!u0_pZn#c$5*pvOdc^%iXoul zgAXyIKz*^VW0tM)D@=X>Q8PX;-i3jg2JEZB|6IUywTv^qrb!sZ@m!Ral=$h`RBZGKgp=_Dvx zp0vCy7Dn5-<@=N?(2P_-ZSlz+S%t(3rL!>qh4rp?x9Z&8JnjeJ_kb$myNVjR%q}KK zX?>27%%}ju_`vda(ab9OK-A=Fx(7q0Pe%~ zv;2s}_Sa3?FLhfVko1vS7gTLdPn{Blt0OqJ>bbGWFcEtbyQZe{Q>1y_-P+y|EH<1k zpsM5ykZx1{Et=_>F-@;1NK5CAjQZD`?d7v{NN$+$ZCnaqs%mcr zHT5Hf&1{MBV~luX2Zk<9V)rT?y5^2uEL+>)8xR&)a@Cvnkoz8JsWgWE-4fBdyIc-hIq=WjxGJ-0=TFI*Nz?bmy7M=@q(ibH6zP7c)aIo=%ao=2j#>Bk)&A8`5kA0 z=$cXqIYEzfQ`ZB9CpQ;+T$JtKy-BG-^K(e?ONN4>?o|A|;$pVEit0h*q2|alt~_sn==Uv+A7`9Dj{5%Fu>N)PW4Ggn{oejRf2ak4 literal 0 HcmV?d00001 diff --git a/test_fixtures/masp_proofs/978C35E058808D61F0E265D72DE8DD6A8E6226394EA6E3DFE1CFC10F69C0ACE0.bin b/test_fixtures/masp_proofs/978C35E058808D61F0E265D72DE8DD6A8E6226394EA6E3DFE1CFC10F69C0ACE0.bin index aa8cdbab4d60086141eddf273fb89a0e3e3cb3cb..a9a4603814b3de66617ae0b10b49634ffcc3a21c 100644 GIT binary patch delta 4170 zcmV-Q5Vh~FzX7hl0kC&QASI^Hsm?kpXq>|4a*`{0Eb`IcyFd>au-9rMKLw73h?AE_ zKp-r5H_+CWRY4mvNj9Lp4W;&X^t`diuV0N(ok_tbAP1B8MnE8{U%2@_#n;YA-jr;c zYF_FU6_%OEKFYE4%~c|=#Rz7TS4Th~cUJNU0A0;DNth+e(TO3;K9J?80#AbE>UT}W zY*VMdleb4eAhXNMc*GPZGb#prON*{%LJY~Eq=)Dp`8Fyg9zmjZC6gCOKp-Br!?545p;lDjNQB;nas>eIoq@S( zXD1)dnV~t#qt%L&*GNDhL);13lnu{AN|&TM>6&!yzLO!Ia~CkU5jwq#`sLQclQ&5~ zAPwoJq4L+4IE)`s@rHMwQMO$n}=8vN?oA9UIp|prVrXrHg ztLtq5Gg65tE+Y3Lc!uqmlo?xA4)xLt-gD7+CC=yEa=|TZtlL{K`Y17kpn#zA!-5<# zdnlkl@VoIB!3CPt zE;hxle>zyU0cYd^#?Fk>J$-BorTcz&5b+2=H&LAt9$YESxUP9-B20^6vyie%8296^ z6MYDYZj~n?uUNWe@XyQ2UH|3M=Tx9a`Q7fCv!XBOBn3PQ$zb9%5cq{~@S-@Lb`qQL zQjX-TT1bMg08_BKf6aYn4@dodylS1ROZ4FYlp&SiM&|!TplxE#i)ol#oK7ComwTDu z4Zl9t7+9Nv*)wJ|!%5N#T2jfD`d<{?f~uw{M<~DsT?B=RZA;%IQZjBAH5U@}vxNDT@Sd0Dh$tf!Fv^ z2%nd_Aq9Vv<3$!l0CK*Lzm2i;C1o7+NgGs7_Gy7Aj@m%eZcs&q)F#q8fiQQVl?B_98S%u=nC@w6g}nU?-|jIc3-=n1a=`^qw0 zjfSJ5AjqB?tcHhPe%zb%;7ZssLko7B6esWi*&S>*%pEg)(wp?1=M(nn=<(=`-H4-Q zPEtU!bdo)XSN|;2PN_x40~#;R+_$EwN~Wio?q?er4vv|`e>Lfbblydh9hk6|Xl#sv zMjZ5xe@qtl?1?_L26J?OH+b}IEH)ZTaG#|(DlS6(H=v&0%O*9~Fr^Ee%Rxa!3InGm zmR!sZA*FTS$3G+Qa=E0x2V^UG`8WQL1{heNSFND%YDoZd?ZbhGX_;8jom4lW50r&- zu;VKoY$Y@wYuUzOifN@Rs$(HaFy@^+xjE0xf3j1RF~(lA`-ENY3Qk6v79XGut z(EEL^(|%j+arnyssA!B!(I8`9jDYH9=i3<>oJB98P)at+_bQ+JLLS`D?UUu*hIMsu^JkOM|y-`9sX$K6tsS}FOZ3Hpp zf0D%^t^1)}YxGbMy}4GM)8$&aF9 z7-wG#n=-j&KADGIeEAm4sJT>pa>}MSlrmAtp`)Z2?&wxs+}_oXlm5xZ>?=CWfAkn` ztbEV#wcWI~-rcv|>VA55fu~!ld~RjF*|qsbTjnqAI9~{imgHeMy{NogH^zFesL!Rc z#<;B8@e7*M{2JVR%XdO8}z zurQ~dme%tl)7qHpEg~0ZOBs22Q0pgEDarp9x|W|jqcWN}eyR)=Kg}AJ9j%c+28$&3 ziMS3g_=b;DzYs~cF=E$4)q~tBqwz?|E^bE}86yEfv1g5N_U&P!q=YU;e?JS51IcDO z!Y8+y!paYHYS82&Z#(?{SwCp2uA)nD@VN7x9-t7Th!Sh!4<7jPtX`{=q^q;$Mi4m~ z%|1n13PRwnT>LHoSK`Xb!gKUGOo%tjvZ)3OE+eOMnHv^st|j|oPqlbbK;!oxgmI1L zk1Z<)S#ZqpgSuzOKHj!;fB2`wE~0KAL&oxV)v=q{tm#Ul?mtgZ+oDRj4Lv_u6m>TB zV}{`hkoCrU7&5HGpV5Yj>6yxFyE_OK*94 zAQ#FhsE}+kTDQ38e})v@mv>2`$jc{6(LKZGvpuuPZMttehIFyb_0vwP=gY6p8}gTq z5R-XwaN1=9V8RNT_xO~|s)SsB^xEcC6Y7ug;e?U6BB^s)es(|H9OGGhc z2F1gRkV`5nGZZ4C&0*s|Kp4UY;=(Yqk?VaChYn4Dvu*1AdTQb!L{1 zQ10K<1PNo1f81Xs6T$E`;>TDO&JR+K4bnQ;HZ0D>wqF){81-NZfdNIKUZX(8hU?*4 zRqsoSV*@c}Ng$D;OMv%dJbjAYUI$N$hcS0r3NN#Fz#KWx1x>vi9Wks=Ay^nQHG@=S z9t5H{TFs?BvfW)bw%@_5;dd@oILjJ(q7_kv3I~mcf6I4zZ0<`RS*Vh<(+&_o#{qgF z_fCPB4a$_bctf$C_136?g`GLA>L64g-GsT6CdFzeDudt^fx_ZhdBfiw&_r7&J+!Z@ zGG?Y+#Hb3=%L8%JGENO|&xEO{QV6l@x@YSy=TquFXgY^HAV&9#PSPM8j3WPM1R}U= zg*SE7fA@QSO>3CQ05AaEMbVUMd*lSK7Ch@rf+uM^hQtK`|2i59u2d;iiv4C9wAy9e zf@p8MN#^KgPON*z$jub{=#BbfV9(CrhocFL$_`92>Cpjn)o}cvhVZA`T+M#^$v7sX zbbH@p5W#EKvwi~yf4N>yfa)6ME9%IStE{jfe{*P%4v1-h|Bcyz20?3un`Wd5qps(t zT&nfH=8=~=W$>J5DwWto|1J1x?-Dh!p>Saz$jT`0bsv)3e&K%_{58Nn)HKp*{5-v6-E+_8|D6cY?V7dW~WoeAP*KWtji(iqm^-Zx-C>sY|TYBuJB)VJgTc>%Grz&B!8~yW* z;de8;L%^Dp+64-IZV-ohA?}EkO?JNCe+fE$ozhv9XvTcXgK7MVH^R6?g$P%~se&%q zeHmfhSWTH1$*8aVV{V)pA1l)(jt|L8QdYjJu?579c$D2rTw60?YduX1TY66S($Q{1 z0rt8_0d=$|{rvzmt`*4`4;>#dd$PAU-s;G9*zuQG8QPmF>A8S=je28MeKDI;f9+2lOmNCpgk(E+RSbL$rte%@?hM#ftI* zZz7NyE?G{lauA(QsP+PDNtSo5Y4_)h3Qu_mT%y7qeTf+U{JsX;hjk{E2VjqFsf&`Zd&q69jl4LW_W_0zMh zCYBkbBPL%8=vKkM82gU$w5ffkg0eUD?9Pq?+2<0PnG3z)0eVAH@|1BNe}l5?HX|2! zATWn8zHu!|w>N?VfpCXU<%1kogg6MJ40&bZ;O12fa+9L(E>L;2>_yPGVfe?qG44aEaszr%p1g6A`Cwt!X%^z(t8VYP&sDWX^~gCOb< zYrFcy;>foItG!b{SoKQ2#u@4w=ZFz1px!eX`6t?OZy1-gH3=FZWl4|fJJr7)(|khl zbf>jWVCWeuC6;f`f+-jSft<4QOf2TT({;QXjG8p#^{%%48@bvCa71Cd@e3j+n2dd8xv zncElDffCJ?CSEOX+075*0oO|dCj z=i#-8mDJGy+xu5sRPWlULoVUeTH4V6A~Bg@(KV6q9wIG}Rcavoi#G}?$OnL!4W3}V z(enImSfdkeb5|MshzJ_f;4<$88}K7MJ7PphPm>gD(J$0F98xip>|ABccGGOsW4?-C Uyty)7^21D*zY)r^0h2Ocd=7Vrv!SJXwh1ds374MnE9RZhtZWSY=%|t8d$D z4d~-IT9UT$=GAv$-Kg`(B2p)lS4Th~8)(@?VkFZ97)3#Y1J^uNCM3}Bp)jbAAQ(wb zDX?87leb4eATFJ9&iO=T&bY%lp3Yz3+j>)?U+|J0!+QSZIc&BKp>~U(Iarr zyZ!ZJtY7?pr)lD2@bB-&;@2GnX6DHA@Vb+CNI)Ql2w#_)*Cv!jha#w0wv+dJxRllQ&5~ zAYK}UM#9ZILWS_48(5@261!2bR@Jp(7$vR}QjfJsL1|>K5b@8QxAkx$|Tec#FG7^dh zBvsajy&(Me$f`G!wq8R5g5RpCOf*+th;)H0Te@Hfr|z)X+#Vs=j=;n^arXk8$g{ah z^a3DV4GgUQ4&rHFnF^EQVY2DWAx$5U_}57x)l%`#VA$r#&gN_+f&M3;7$}^Tjmf+XMd;l zbkP^RJ@;@5SV4R=f2tSZR5L?^2|-F&#supO+Ki#6U!Sf~Tyv_Wb8*?fv3^-aSR`>& z-~$=9_4lAwLP2{tG1kMk|Hn-JUNytwS`mYB6j$!c^+z7hPtYh383}TrPHpV5ii1}b@tyMjvsE(U6{kHs(6o3ncP>~z^$n&o-WzQ~mE@9Q-=IW7g zl)=E*UH@1Ee~6CehTqG2Z!oZ%VvcjX8>03@U}pY+alDzh20J!%PuQY+oFV%a@AJ($ z%SBargGvu~lI=KA2t(0GV^9$Ql8bU$#7kLeEROAEH(LZYlnb2`VIaLEPw&AaBCU|+ zBtbgQ7;YP?fu_HskJ5>dxedWg2bXf{88IDAENMH_f14Us#5gX?sJauoeV%`7(OLwj zVu0v)^_3bLvq4+Q{EYjP#wQq`zj!XxxdBvE4n8rCDac-ynyu{QFfFg>PATC$N0X?h zj4BRC*X4(_43_q+KYy)E!!q~M2r9%iiapi1iHW!vHK#N2{b$tDY&ialG^L)dUL_Rp ze7*v1e~FnP;wlNwAM#b!u@emr8)BRE#VkcuNgzcQ+@A5%!l{0)b-4rmBDTUm-F3*p zfX1#3@$B(pZK{0M6WiUSPM&7Pae6aw&zk;F<7P1#qQ7}r_{)`}%mSUe{TR6}?W+t(%ojP_wLpNqhAeOj}zPDG)2~woCM0 z0BK!oA$0vv@xiX2-HL!wFW+v;I$6uTMc4iZ?SDXGO(?Kr3%5D z=;j|vS|CmH-~8BuGR-_)aBcvEl7yC~uF5nJ5Tb@XQuGH`b5y221FQExuJkU%``j$Yz6vjdV-f71vq-?;~;U1(vye>%Rgcj~;^ ztM5t{`>!R{g3hK%maY7MmgnrmfDTCvzG{?g8p-m5QrKiR5G9z-d*dW zGnjfpZxp^}YVU>ti`+g0f50@_-tyIGpPBWsL4oBf`)fC$1X-;C2^-59ID!3RyS#F* z=rxm4xY9{P=Xc=LS3eSk&sdd!aK*YO6_r4x14b}9^|0loizgmSUxY+?%C_51uVeBs z(37S<8I#KuQPSjBYo}@qxdP@Efd-CC3N!5FAuS8&=N`iyP(1#Yf57Cmm90uM?kL$J z4vi$E8uOdx@UGgpn4 zc11~6%N6tlZamQ?h!0p_kwR}t z;$D_zWn`VI;LhNa|KV|rR*&Dkvlo>-OpSw;=T!vWz+7+E2|RVj)0#@{lr7)%yI1L- zw}u9+Mklv9WR-5X7qv=HGrf>S4{#u)^&~mTl81xHe}nxWct7)HWs!=_e~cq;(Ew7k z)1nJ5x|4a%J*3g@SX*=iY&Ma6)0u4A7WhI6*71tZjzk;rAekg1`2gPUoVEWAN)-$3 zScYb$zm~Rl#|dc)IPemKOQo}c!7@2X+Ui$IwN)U?JHuZU=pTv12V*5puqi3SdhUhg zfq6!0f9o#lIXcK{QD+%g)|-EZgIo=c)qB`?i`nx2>zquRWY!~yNhWpsKbN%4IH{}Z zuwi7UJY0<*4E)Qgt*D^8!b3iG$!Ppeed1jQp{fr>7@rDX$Cy|{ch4>5{<>;EuOn9` zs_daJ!V?mVG(QEwLvOH~5+yp>4w(U9y|bW1e<-~-^pNZg(Pdn3?wIQA#EE4Nj>U)B zWxmFn4{z(Xew;>M2!O4LL0E5lbj?u2M=P`B$V{AN6)fOm$0ma!%f*a2P&I>W1kW-dfTKER zdh%;VgiuZs2BHNlY7v;u50Z~cOxZ|Qf40M+(lZ9UG*3zj6W|KWHenoLF9&zStz8aV z8hHnNlUgydX_%>Hw&yy1d=GJrQ7?q4r$6R+C%+om1X-5gx;$+j^W_@5K}N$(g8nFo z_?Z-a#9*#bu|1CBoUv-4yK-^C+7Vw-t|ajj(_zidr~E)$24dO<+D3^-VYVNIf0kJQ zv6I!b$LpqU>N&}AL_AgqqtND1?^@2ZVIK68?EF`cL``GoaiI9clieJ29lFgE?pW*# zYQnL4pV%zEqVoC#Im0ZX8`6&-N<}E-r{@(vo*`-ocq!3O4G)D|uns3$9o*-rpV!8I z(2yor7R?7JAEl)LJB8u=pU@5u&P5Ma+~MgWq&wAJ&BHxtZJ(W$9$w6q!fhn49IzEvd%ZM4Rf-s0@=VE&-o@%@<)*9G@ zt=QgtC-EHhLuZ-?v_K(tfNFwa84SpSnJ3EZPPFQ~WqI7=7OS07Bcn15nT|2>BTmn* z%)hSi$KLOQ{U^bTk6v5~e@`1)PdHHB4f>`{U|j4om!tvy{;h+H#19h2^ISRzgxLgA z7dTR9(S>MY39C2Qx6KAn6*zphfh!7cg+jW?s0{#7g5QYy6Gg}t5|pc@k7D zX8dLq0=le^57Jh^!&?Ty$`@ zsRKxzNTdc6@mfGX@o|`@PyIn~RlqK|r1cTAD~hv>`V~nP`G3khXMpc8g9B=K_6L>6 z-yv5e1FRcV_l^drSE2TL3$HiN`-S)y&Y%pfZ~P?r5_8F8AJ<;ezQm+3I-)6{qRLX! zC}otM&@B-Fr0DX9e>t8MINF>I6YG8$8?T^G!_GVBvgPw)5!x=5@K{?i7wLnQ+C+VOLA2t_eOhRS(LVble0_bBEe^O!5@AqotG!=h*=YeQLSk^h+5TJlZU0L3i`Ad|`@K|v``o9PJ+QRajM83uQD5v`?Zn1%ZfmxJ156D>kP zL|+9d8+ZI*9qFpgA7kUwB{j$OGfNDVzS#!Mg*JG!m-|<mCRt4dU30 z@W0`u-E&FcS6S|5vu`Ms0)K(o26vn`x`XfE27F8LH0pQ|a4ma1;X^DA!e--kvA`I~ zdXsI;V^Gx*6COOHMBNtqYR=$?S96dbuQA)Yw&Wq!nXj)3bvsl>&d-YeEqW zpS%l5Jj~;RoPp`&+4}muVG?cTVsdA*<&>x@~@hdp3!>P*(O4! zEpa3L&o(~-XRV}5(7oq@Sgc{T=i=%0=a&uwKq9$je14H1__V4Gr%G#SX>@z@n4e!e$Ih5Ir;Y|wRY42wd<$o;M1P?!TM35)a$h|Z_BhJT zap)8$0stpO_;llbKnHo5E;B(7VGJy{2uAZB?azn@D>r#>ki zTNV%4(0OvUjy5OXV&obB_?^;039O8BYFyYiV6j}vL<#SJRD z*-K}u%|F7{f_q-&)D5^#$Xo_v+h*{V)KCKE5K4K3_AdjhO!R1cC2C!GV`oYiXWMb+ z^{XluDu0G6Rg9&V#2$lY70h(@z5Xt@eO9u96h4z6uki=UlIo$z2YMihvL=@r^%uqw z0J+1vPQQp)7u9>LZG=z#_9uFZ+^T#{Rtca9P7*$^C3`Y$OP@!!XY8X9AlW7DN0$s5 zbmP#lZ^v9j#qS6j9Da?AJ80Vq0u7V`V3dppKYwFRniI;SoodNdPQK8sS%CD*qT%?9 zOFK<`^Xz}-tOyeY2P0J@^HSzgEa8;a{m>zQbWzXAfy&#s%;JNlB;#Q?7hvL$;}K|& zhmCIxBXE!Kp%MKw(anbWrD(=FoNiLs-Rx?n6g?g9j8*p`6-_OS z8ika>Q&pVA#_C$_`4}&DudSf_kN`+9_Te@eZOdumk`o&T@3sG`SOJ$7WuYrbBM?wioo6;*e_dgAxOD(zd~xl+k?UpRsYeNaIS zcTzdD62M~vZfvJ3i+S7?VFIW|kJOypsIssK%oqy#7t^0_|N96!c|X-9)+{kb%h^8( zEG<4WH!*)$`;SP&(=q4>`-!I{obG$6p}97?Af%W|F8zWHw-d)*n{~29E5KOtvws8M zD_jGNi8Acj$%H@ynD5#p<%(-`LG*|8B#zff)Gir9)UUqJ$9~K232+&ke#x}Pi2_Dk zn{NZyQJ8@08^Kuc*!&BXFBOpfS=Sl6h?JNp3QC>DZ;c#*6hwcZg9h`D3{cvUfh3!I9sRDk(jK&wt2_&UVQFtt+6ZDJwBjhpAXYB+V)!wQ-+HXdgim zn25AVE(FEF;2_?BXwTY!^rNcAhC6q)ir?}HpoUpvEE~Ccg|I=G-$|wY5*TnsXRW?p z)C>bT-W@TDEtvl-#}GXX+D@>9808=u9w~+jOAF^N1G!NQkX2J|WSiOfB7gpT>~DGm z`{n^?hMoQF->i!ILqT$tW~t;n8So7|jzt}qv!Z7yx`X|u)1fxM0UDejoZIQji^Yn=0t~A+c(5_TyO()-YQE0A zFO&bE^l`AYIg&t77UD&f@PD1A#QvOuw>78-5Or&$rS_H~&sGy0u1rQ{c!3iu7-Lnn z!~gAH&^ZNGCzkHYM0_P*{1gbsEBr*$YpBe6v@cf6%72=xkgjiMg51g55Sz^TA2vmaB;H6>~6K8s%d-` z8xF-t2A=S>8`{o*FTP0n*2_R$%f`_#M(@WC;cM!Oyl1DO*$W&0R3jl5vaj+fH<=5M z9iN4jpF8%N-CO+6Wq*!hHay4dtuG#ZywX+ILzDoEr65_`JQ$!khVt>*`>jw`V^}rv zoOa8q%PXV80cgK9Ywb+KO8#W@!oRW(<^jnV48X}*N-ZK%m2+4greuLwybP~YzWlL0 z-z21SC_YAPr^@rLLp-vLAp)mi!DJ_Z{G51(ftVOUrsneWoqrE@nkhYcipdqGzLi3V z!phD33XQpspqZa`8ZmuJW=(-;vF9WOf7b$*Y6+Wl*1E4M%Cf1Na2^I#Tyt6u-gR7t zjn^MSVF-t)-(utP$T{w4=~=P~S@XuIpvrb)6?e4*@rqZvXsD! z&@clIxJ1Tdh=__Q)HWf@Kwh1+fYIs*vnbf&t| zcEXad1b-OOd>32;cOs}s_{uqy3!4+bU>v3xv{oS@q)dGQZI({}NGN`5LyqJUvL#es z2%bNf=HNuEyRD0DsH=|;cJqp9B*&G}4ZOQm7`Hji7w5m>ZDey(yY?!B0e}+RkL9Gk zcF*tiL#Tg}nca8b#d02fbKxgv{m@3BRUg2UJBDBl~vDy`U4(n{wfZVY!tR|LVa0rJXWI*BU>I>zWT<$=~;J|7;lAtiUoS;yp5Fd-RQy3M4=v z&}(3YGHxcZ|L&QLQx|yjKHkr7CwPkLgiari^6vR#lWHVDAbBkJp>Q~Zd$apz!-_e+ zR(mW#UWk!?b6Us`U)`6Z(38p}K|#;bTiE=Fsdb3bd`#nybLKR%pNb(*De;rf`$i<@ zOq&G{ymHVU%F;mgA4T<&u;NSHW)`v)nD3JT1Nm6kXN8orOeLfOf7%}grg!gyp;*vL zSr&m(q3od-aY9U9ix}4tB8QocG_zz4FRE8o+);jNtm7FCszI^qBdfBr(QDRq1T;SX zVhFldR?85ic2v?etrh&(^KB}9n_(V!>+ng(`*d85)nis31L)u20Fg~eL~keLz2ex6 z@W0`u-E&FcS6S|5vu`Ms0)Kug>9Dl%Ghao^i1sc?fbqcA|BWYqvIAW(AOgC zI~(21uK(WXXXppWHEo8t3mdhQbgI;LKm$6f0#qy(qD+bl;>nXj)3bvsl>&dsy_*;? z(&+m_IXEaI#0NTDPnCA~dhi7$GHSqXjl%O6uOK(ZIl)hK{hXi>M45IB4&S0UscN2D zxb{kdz%^<8p6(V1b!ES90x|&^Mu!%C5p6`MU9QCf_H{=B4)g&=$2vOuQc4U<+a8BF zaGjN91Ov67h`xX&lq3+flclqlE|mg*tXbzAAN3}Osu2(GxsfjEQ6m1;$&Ui|=U`&`rBhe|!0mufN|Q=-IbD({V5G&4IW4y?knt1*=V zP?8u`Y^^!XU*vpGtDUuO9XWvPK>SBk2ZYFCvX5W7cH^$24cfG%!)|BoVvB{bS%FPf zN(tkk4$0&UaE$tQoL~R|Md8;u`*Czb23O+z$diyXL4U48Q*BKi0q%z|7PAXX1Lf%R zfQjP(;x4%yvWBqEsB^b}DvT1byv1{NLye8}o`|SsB;J-!{}4TX)`}$)hg5P5sQqsQ{hmR?N$}DDRjnjDt`)B?AZqnXY)oWUJux@6iDnGtB5?{N8y1`!xJ zsl#Q@mU?QOxlqF`Sx{Jm=VXV{m|rvCy?S;;Hh<&PExK&4LYHWfm~EJgYs16vuDwDH zGXd5r)t`+nQRB%x3&QQ$NoD6wXM{fVo*x8k(L(c*nc$1gteLE6*V_o0jc~H{siDo1 z2orY~So~kBlzg{nMluRMQGbuEZwL!%3mv;QaBny#`;;}#gC64_?9>Z^OOJ1(E2v&Z zuz%d=fU$~&r{Sa_+y;E8% z_LC}eVF>KX7WK}OvQzi6K8ORhg)LvWnud}+B!yYL5z5X3$JX1!=d8q)5Os8)JLh^|V7LZ+! zvl5-3flLTESc8Mh>T!s&xk`lMz1}WRt>FLC7ZM9|^ zQ%Nr6c5AZU1iEw9eH}K87EzsPwJ@eSR7nYY(Anj0DEKO`7G0Ek5 zg5(EH7(!b_8TPWQXPz96ug}YJmUv%t(DalaCyuq`J4utfb_s0SsInERGUn&(>Ohw@yRX(ur>P~&V7bI-mgNYZK565 zZc__JIS(z&;EdT<+S6i}KjXpXZGYrNWf27ngn2X}{&R7h9)2LD_k#7rST*{{AxcYT zF99w($Cn-u$N>MQm^(XZuxiBB@}_=$rGzFI?iqCoy?+!vfT*30RV%i-14uN<;?z*> z8AWS>^U{xfEK$N(ww?DD+ta>G0r@u{G2|@0%hEH0oeDAJIl4^2KgbN;L4V>&kVqm5 z9hQl3VC!&jXQ(-i2m7w*8m^%|5&xL5x5^|$_IWn58s}wG`Ss$RAV1P%4!af9?G+3B zowp7%sR|4Pk9PqJZl`CTUg96w7y&fO>}qpJUMc1One<>*(Hd`AHfV1Vo#J@a2P1zK zvkJq?(G`tpV7Q_<__aLdhJPI`c_N>|v^eH#%puw%Uc@va@WgxI;RuG8AkTtqN!iq; z8@r_D4^stolXyK`R-?VE1=&dTla zczv{(SII*D@}yI-2tZX)P+%?$UfyM;?HF~?B6w;~BkEL@HdO?RvVRwj-0;RlRO?8X z2#Cerd!*Hzc##I|SK4U{Ul#5`Yep1XXG+uH;F)Yj+EX5hROS5ziQD}ZCM{65K3MXs z{8KAX5IC{?$?Ujqi#E<2zpV;~i~hUWIKzY+msgY^{-z=ZGQPGP^sS>`~ zVC&-ASD>=33ETGX(eWu*-zuF?l_wuKTx+CxvGBPQvfd;%W`7O%X*DUrUR^WGaT#sz zE%D+Hs8=zmFeRVW_iWXmD`ZO?GIVv559sT!Nf=q@2uxwZ_!~*`r8+-*ZYg4zPm^|u zmVPvcC?1Ry+uH)5zk)3u5yuFN;EHq?n}M7_UiI| z9IS;dwnSG@frZuAPC{E*V>qq?AqtxIUW?@dV;_^8Sc<(p_llFxpbJqMAMLP1J&Q&g zR`(>5Dc7{f9Gskh3dIoDZwUZu`Oi%}j_*6J_OS-MlYi_5@BqQxOrl13J4wPN(T6hv z#2IqtPdrxsvxaAo#`!16v>;h7*W*UQdgWmj*VMAEB~!k9r3Tt(!2kkjH7DpI)rBRe zxcQOq49gd5?aPRZ*MD-=Qk?hg=blW<~8fZG#z9eo^!sd@!gN{ z0g>{S5`QPNJXy5-{EkYOUQ22G@f&HE)gJ}AS|&nFwvbiDo8HDy(xFKCICI!NqoF!m z04|dw-qYfCC$G?t3+Lp+DQuB$TBlv0-q#3tF>U4+RB$DxL9WgBI(jNVGXK3GfrhuV zr8)6QMK*dz=>7O}oJe9Tf752p*l}o~8Gy|T=1;WmP84A*KN8U(W0qwzoW4aJFn@BK z)a8MT0d8Cpj>p2>!)!aHa>Rbtnt)5Jk=$$Acg@|p9?vM9GYkkhiD2egEbIwoQyE@lo!qLc!+hp8v3TT}zEpLuYG3TUEl7(HlfD^1Aol*zv66%*$PLACdn)K* zW<>C-Tw*KMRJuO-VPO-=r#_SX9JtdD$s ztza3F87YyS2$R_$K!3I5EuGg@i2|K3TKLLGz+x*)knejO&Wx>#1dj#)fY@rSym0Wa znM7HOY~$?G^3!*dm3ub#v2`S*hckHq;&SS%}%6HEdaH#_#>oda?~#8oTfiNb={c5-e7q+f-g zSR!M^I*t%PTUAkw_pj^Da0Vq%s|s$XHho5EA^NCdC%68vHl@GAuTUP+ie$vBrY;M= z?N;mEi;Wr(b${Ab8dH5JDbdI^XTw^g&_U?$dl6s2dI*)pbMKR-;va~u5hiT-G!%tt zsf<;Fyv<5Jfvy-Gka$^SU(s~ ztR*2IL(R>o&x<;}YteZImK7Gt6!un12~K3K5v7>Tx_=(SL9W`#DZ3vqd&c!zZ--hV zAaXM(g}V5)prI*U5#D7K$+(DBZlEZf9>FiW&m*MJ#kM~uo&aG11qrNwFzwt&m&mSe zn|$8K1*dR_BvmjnMFmlfJCl4q+JF{QXl74wv;$**1Tw%@fo7P@8raDmNMeAnN4!5| zD7VCa#D62R(A<*#I5RbuY31aEAb=oBv67eQ=PBEe2Iv|vWX_JT0A^Zk8&~<_S{^lr zEhYy>B*)f~jGOankI3MF)3EbaTtv;_x-kPExV1gO#-^gEXCO}_IK5*DzT<8La=8UU z1=*aqxx@@Xk(*)yf`PF&k&#{#O{ z_-78ekRF!}$KOf9YD$dX{OuBnon85RWOF08vGz(r^A-;n{V3jwzu?e{Y!H8oo^^U@ zTYo-7QtpZXt`+qTGqJaPR3N{9dWV0Rx}hbSGWI7+v~fzAjI2aUzGwa9zsT=eIOmX3 zQ|r7!juF@$&YRiTEjWW`FG;z7i9h|JRugR?e4LWZ59#rjj%w>6Idv zvPQe2^#3$tUwQsL)}Z`f09nUAcvxrZ(Hr5vSo%*WPTECYDpX@#DLI>VHLee@`^{|& z(__qBMAR(epC+-s{C{zH zP7-gbiv=`fgp9(54icHn0w?{ruD^8Z&8xS4-yK5PZ8pO4Hfjk)VxL||&JcI+6rglj zXB=^_4ub`6HRO*zUwjFuTn2vRs)VIxfCP|F#aQV7fTyyhQUH*e?h|&6CwePe98E7v z7e85Jd1#nVbh1Kw$RVx3;i#V1V}Iy{0Ios@1Mb(aOl>%6#|9GdNpwJ;CbHD04CI&hHp_W!VyCHS~52hbvncO`%2$<6~__xL{uow(XdY%0g)nA}4!4v*$$IQ3N;|t)K!lQAPWXUedK&h7@UV>36q&7JR8eLRR910 delta 1742 zcmV;<1~K{7P1Q}XJ{cf-l;YM~*?^(qKaK;=_^-7yp=hI_OvcC51dJ3DZhk(KUKv0j z9IP;IJfE9yHt!caJy|A2zg1aq9@3I*Fc&ATZ4O0plfD^1Abm?tE_H@`{SuJFqdskK%U(ijOh3CU0uC3mpc?c7Add7&O;MIP3MzSb zZS3`Sx!089{R6QM5sjRq=dri$n6tDUqykWI3@;lK(J_kMIm@G@IUE+volia+*j+*s zS7xa-iP1^zNsg{T0w+fI6>xj*3TVWO80Kn1Icvoid`YrgDWV$ZSF+nTJ1Q~MGDU*d zF)l`u87YyS2$R_$K!2%smj29XCelW-E|}ktOvKQ(s@xjUCFjDyj{=WjgNud>Z)X`H)AJTHj8(yvEv&#l^NrQA=>xFY zl_+UIdbJg$ASPM3JTjZFSYPOV006fpWf{}cN{hJBXxu^mEl5wT|a`<_bj3=Vlp)c&9q65Evo!bLLIfi%~X z?4KI9iAMXxdOH`rp~U&sZp+=`ceYBaX|?Jg!Yzbnb_m@;C)*KRD}4m;OdENq3#zuq zD91oN{7dY@mVaL^kp={&C?DHvF)PYUKe= z9mK;a{}=fnZ@E{CqKHXfOR&hNwA&xzpaY#B5;4M0LBy%nW=GNLgp;zYWOri07!aRn zXzI*fl^p8ylVOb+7JH{=<>>`D0inn1If!YA2~80}n}330EvDM_xF@4fFxuAOFz9}6 z@pmltKp&+bx}6XmojaBSTF>r~hj17@mZJlV8V-S)=aO)IpJO%PAT}@><+XDq$l3RY zQ)`y9y~fJ%{rE3 zsIY2dX@7#ImOz!j_mFh<}D-5b>`zfW>gi{~ZNInRe z_rb5%W!le~(=EW1dy*Lpdwiu=G)-3!XC{YBDzKd1mU;%y(4)SHmHilzQYmti9)01H zQqGEO$LyJO^a?hlM_2r@Ks0CY^uP;$ZzQ?7V1Fy1Z2$#SyMS!E*lib6lXd{Rj?b}E zTUw!+j1VDhmc5sTY0^DY#r4VB{@9^<@24r^#RZSEmfW3kc2MyK@A>CoYm@~M?Ch2- zj?jB^*@oM3EQ(bYeX+u{DZym)BOG0(qwv9Yx$QIt%g}KImLUTJAxFv0ylG2jN~Sn= zB7X?;>=&exuR z5)x|I7SYSjQpc02fOs<5Jy=Lw{D-WztAF`%#4yxj|Kamhe-0FM7h^`zWB81ULamu$ z^CnftD%PS*b;KpSu(?IDk3#vp9)ha!ZZ?ZDL~-d7T~>;y3p_%f>Ayf!QKmM8*}uBb zi}rosq0w%Uw+`G>Hom7vknqqB0TV+P=)8rwa^U-aAd{L}WqPdoS%pZ}p?QuC^?yf1 zEq2LqTQeP=Qn&p^uVxydbfFmb??eOi2@s1>z776y6ID&$;`0RM=ZWx2WYWjWkSCK8 z)H#Y~)k75j)dZ8^XYOm0)Fa>+oEJN)Mi1#I0W5R6R}zS_;_9a#-LxSq>R~A$`^R{} zz(byl^O}b+tIr*1y;eonpHn(UIDg|9zk}dO;vL9=BSf3)xIt1zC&{&dT8tnj=l~?D zIq1zqIXu)q9P~P1M{)&sT(^$P0jH;%j7UzRF(Y4Ce4v9&#}3n(&Z-ZvEkLA{^qt`6 zt@+rX!pwm5K!WJzIK1BB4Z@a(d^~9sbT#~ofS%GrD`1$D1N84@XA-V_T7L(WO9xuB zmSuy#Ke(D7sj1b^@)63Zx(2&~oIXQ(B*r;3RF& z&I*>(PwICl;BC(bS~n1>3K5XM^YvK kBW;itzJM4fCGwwMQ0?gFPYVa4xMBO9xIVA73zL~9Jj{Y)o&W#< diff --git a/test_fixtures/masp_proofs/C506FA6C2EFB37B06CD5A473AF5CC6F78791F8954A0219C07B15344AEE0D2E0F.bin b/test_fixtures/masp_proofs/C506FA6C2EFB37B06CD5A473AF5CC6F78791F8954A0219C07B15344AEE0D2E0F.bin index 2c2038c8102a3ab06707686e9a2d3976eb1a57fc..8ccfa49aaf07e5705aa7bd7994da03563a436b61 100644 GIT binary patch delta 1780 zcmV?D>SBPRod!%E)9&mmx~QK7MVJj~hTB zgFBwd*_>c)pn@W(AcZJNu@YPiyX=xX!t9}?R)2VxlkXcrVPzdvK^OBC6J|#otL*xV za8R?}p^+XPj$MKZ%5rQdF$v0=8(Gg_R^4YSg2+!jnJSc<&vP8Ebj&p=bBNzMw*pdC zJtqxVyQgGiH=P4lG+Dm$QoenjNRs;>Nryz!q_DG*9Hat&^xRD{)m2P!PvfJS)0B?> zvGQ@Y{atU5M&bn$yegGZFyrW1eC6ZB?jB!w6OQlQ<@`aaDK858^){%R zeu_3yW6A!&{N;)M!$16lp`oNrLgl_i(|Jq7Ojk?sE9oWK!wh2B#gmo|I;k1h^jP;# zp7`Zr%lMP;vdIv{@QMT3nPcOzT<*aFoePMbd}HZxI9;FB>MDUqEBlgc7N zfAy?0gS6uJjH)`% z&y;pCIZUELgI0Qd}&gyZ9!T#ae`fFhCv%=001%&HU^b$ zli?!S#9mWkL(e(jkIWf8FN|V5U@Os55h_NI8PIZOfQkTrTp=d6ustER3!$6Oe-Y(K zhXDIVZtK1wkkGI3jsv#HAqNy(qAUCAhy>%XJm~-;DJR0gX=;(YTMuCSX)j9DHO30d zk@9!=9Hj~gyPv0jmK($wrtK5n9ICz1AJ~s^3%?gxAGYbot}2@q0$QEDl}6P)0U!xs zhM3L=#*>1!O(BQ>m>cScV?D^Ie=Hf1xQMQy5%BlPt@uGAxn$Gq<@$WN^Q1`#tX;Ge z&|-k7c(b7nKgHzd4%^Yl0gisCo+NO!a5`BPyx|OUpWEiV# z)c(wkzI>>%TWj5C3~o0&Oae_WO>!}LaCl0})c}I{f>Lr;@)|BuBu>{Uf5G(xj>8T^ z)^H9{G!8Af;8i`+u%vp$Jm|#mgE83|gEara$y1|oQgaw^lRVGd%rQ`xrqj%_Miw^= z&Hq{vvfBSsV1Ao$$qJJ_;Ahg1EPOO}0I@Fhow0P_QqfA$la9}#5f6e4}v zPL#NDwb+sux7l%bdegGG$n5_+STBh#vi%MIja6D;xSE`+^BXi;I!BS<;1bULOS0M= zzA6{wL*6V|??$?ekPLx=|j};Pms4=W2xcs~`7cvg@O?9M^_GNPXM^Wj zV-X@)ycM@yq-q}Za7$|yiu!~PSOZxMAi#{tPuF+wA3+4$E?2Gb3}r%c2DFEG_9IXD zW&VJdrE?q-Dh2-$_zG;C@`HUJH%d=q-KZ|p!l;L>w*0iVKrrHW7}>z_kw&yN*o`IR zm}=17vNXn0e`cS-?|C%WQ;)=|?Xgwc$zXc>NQ7O`Gz_G%5~qxh0Q|)dG_=000000002eS8m+^ delta 1780 zcmV#TOx|@UNHdqtM4GWntW?p$FY27U)xI)sU!5B z@{d!=;SNpECddLeVhqQ-eznz~saoRdV#)eeRS*L4WseKAqC*Ug^Ctc)I;k1h^jP;# zp7`Zr%lMP|mDB#Bj~F4*}J`gYzX(0Gx(QWlvL$<%%YQ02~M;dY7L6a8S#RlnLub}cvfh@_kOc-Lzy!39g{H|DUqEBlgc7N ze|u1Uk$Kz$PBAX8FU;eFe35sq0e%T1@lAZnu9dv967Dr<&9L7=(FwC!V8&k=luWGQTt;jOh?raLeD3WV%tp1-CL(;)>sg zO4Q$9g<%oknSNT~auvx*rD?x%qj(!-f2>)MMWMw_g>SxufJ1^!7?Fb@AB4O@VJ+#t z7HA}*HSPvXWSj&<*=oQL7CtT3%2NBr0!=2q#XHU)jnOAC(3mp=9DDk&;S1T@U}>u1 zUxiEzcHb?p)t*{Ol6Esg{Y)IVVHxHr*p;7)FNB>Gs+P*Og+APzbn1dk061VXe?VAs zk212h=MRhmSky-|x#N)`s$!nYII%(9mKC z7dMYI_X5dY}@Dvwu$36%kFDv%Epj+1$+AMR#y{8oEV$DEB{lLyJH5yfOSol{8q+plw`HY~17C@xV0!SGkcjJ$h zq~PFXam&($U8~j9lYw_)e-T-2v@DQ@ZROu7OfoGox@-W$C!4^*M9yxN{uo4dY!3)&x@i%x$1jjtl6yNe;NEmv0Mg+v@ge# z%NLi{4I)W43&hhwlHAoFIg)TqP({OY5cLw4`heb$r4h%C?cD_1jV1I9jLgw-`9Kx6 z^a3M{!eI_4*%{0S48F@gR=L+Wf2OZkWtj`zgyvv>uS;$e?lr>e?i|EgOivX_I`(OHUSbQj6?Uo!_~{1h!{rf@A=bg-lQqU*=Bb*lgVvjjUlXIm0!^9Ls@XZ1NLSIs8)saEU}uPT4`8Jw?i~ zuRS2`BL2G_K*8G+YZof&-AWI|34qYzCXgqu^+Kq(%Ruvcf2YR->KZs&g`HgfSzNGm zzdfUtJa-0zkyszMYWR4CVrp68u<^lb7XE41Gb@S5st4L5Hzav@Fn>&_ISJyhup(#K z6doRRxj{i|9mPHZ#*MS{P7je|mxBl`WRkTz>sgpG+2=T%Jo8-sOVB}Rkr0`?fOE_A zi;^FFWWSqhe_f1bK=Q=xk0z6@tUo$r$T_y?6uC%-7ALkWj9MYp*DfJ9di1Xdf)bE$ z1V&{iOVSajrsOpB3m|5Gi(kzi>#zFYH@#ctOh^W!8zB-}k&|BMuZ471;kklw$^>yI z+0SHqB{Sa>wy)d0rePtKPpmu<;dB!kOu^iVI_Y$JNr(@X@d>)%`C;0baqzQZg`(g5 zTXdh|n-3OSPegr2h!r31!(3rLd#{qm9;<C2#>m WK?0LrC@7O&C=>_=000000002L5n#Fi diff --git a/test_fixtures/masp_proofs/D007D1734AD42D34174F04566899481AB5F7C8F57502C5EAB2BF7594EA6CED8F.bin b/test_fixtures/masp_proofs/D007D1734AD42D34174F04566899481AB5F7C8F57502C5EAB2BF7594EA6CED8F.bin index bd697324827f4a1b921abc24206dea4d781a2f10..be4207ad60e5cdb88f2cb0292f9bb77735a84751 100644 GIT binary patch delta 2749 zcmV;u3PSancbRvv79$|{`0`8$@hsNlU7Y@@fJOY!E%syyxi7s{a_dB>h1lMcHX}eF zj?Xj-o(i(|Jla?bvVO`Mq*E%A&IA%0fgX!Yf z9F$Lnd}zfV646BXqFTD5-qsQJ2B~wEP0mDz6-PB(v>;c<1b5B66RJ*GGXDChEQrl~PfxQrB%}g=Y7OQi>+^>EdFj6cfFORK zOfq;&ERYw@%7h6!M2auyTT$75!Q#-`KyR@u`zp` z?I(XYx#Iq3E_l{^W)t+xZj?6FZHyip@Gd1GWUe3uWR7PHVG*K6k^Bd9+IP7yycG~M z<9CA_?R722-<`1PTeE{Ll>&cw2Rq=ZpYhgV)MNSpsQCWyxNe*xL5lG$MQz$a(Gqb;HRFYPw_7KE;Y<5Lfotr_X5y~iGi5*!lQUI!Nro( z0!GU??julx4S=7ZA@Cu@tN!O07%|?GR^@wViuVW*x`Z=}(|&A7AUiE|s=(cVGTr7_a-%C)yWl9^Si#j!xYH~rplPG?&;G5*Y#*Yuuyn4{D7ui zc@46_KPg-gWEC&L)=Z6f$?UiSzc!E)99?vjAASHN&Vrw1w?0I7g1n#g}OQ)twVI@>T- zHc9Sd-rn0&Mv&|;xNZy8I5nvW7p>(N;MumpcH8l#`R zQxGVkU16|N@5Eps@h2dhfooflYU^Go3{|ohWoO(4@I$o;Vj+R2m>l0Tf49&f4SeRI zsmGs?`IM6r^jJnY( zQbGitiEpOHU8X=}wQ|gCe@bhnP(?NrnrcM@X768UKzjL}R<-d9B(q$@b$ep5f%iIa zctohOWWmZ|V_)>@9;Nv=O}HFuAKgf!C$h|XkF#v$F!@osn~OxhqMp36?Vp`9ujop2 zf&r7!TfPw@S;SW%gNO>__w5UEucCSKNrL1S`jgx33bAx+-$@o zb0iJmav-x<@@jw|C2R+mn2I%EJTlaWRVvp*x33Wk+S( zf1&s{7PT0Q0wfTve|IyR`QNVyPW6b6Cj0y~BKQzc`$nE14K z;AxYBc&sP3L<__D*N^-SlcYGBHF){Kes%}eU;_j@(F5n4f9}q6ENjNs`+G!?Hx;np zfyN9N;L|rF6)0r`p?1K5sp(n?+HI6lb;uzmWTff#sjju-fpV>EsA2`;>TZ^XFJ>Cn zaG~oCC1s%jn5SF+4d~S-tWb69eB^$7Sb5agS$3P=%>U9*n-Zg=d(q`{!DL(+45l`J zsn1b!wVmoQf2Y`k|I1baim9@?;@Ew;Dk6RKo_CSGQ4TEjhbb#6+hwaAPbI{9E>e`J zN&)X{GQCvL0hjiC4Iq7Yiy4Mz7OKL21Y9aF&j0c3z;@%Zvp!MTL_8OMws~_G5RKgZ z)fxyYHao(p3rOJK`G16*vTDQNN1RY+Q4ebLb4IG_Sdj8G*vLr8*NHWe_1TEgZLQD^U{7kvgRZ`ZA{j}uhUL&55aAM%Z;LIwSW>(yO!NOH=|Y-| zBxqCt;f-H$-a-AUxU6Bkpt0WSO})J+)7MfQvxrySlo|L>EYW4MyQR{5h0Hn%p4cv} z%2n~0hpmx39)xLgwcpG~j*}#eVY_a}zq*t+57=_nllQQzI{U8!LI7(8lTkYqlTkZJ DI^A&o delta 2748 zcmV;t3PbgocbRvv79$|iK53-a(lx?G(2>18oa_t@q&92=s=`2DzqQQZVk)VVHX}eF zk_;GX-90rU$*rcob-m6Mrlm+zOI@D<&`X@EZk5W9la?bvVVSgRA7KWNmM#;g7T{)? z(w}!%6v@o6Y#`^%x0BC34CJ;X1XZzov<;>D0z|8UzRIsEi6nNLL>Lj!wjgSCf(0Hg zK{yI98Ye-0^fPyDOD`gwbq#;3|M(eGlDDwP!c?<3B%}g=7%_!3XODLAbs3;smhEQ6 zsLb<`hI6kBcO50-g%@&TE1kC2G5824a(9;9x{Bk}a)hwPAm<|E!FG{)-)rm%esfJX zr9WtZ|7S5pKdxG3U+yj~=tiAWvd>SO^F#!hAtlDNDEjnH`%>_SvGoKHXx^)DLlW^x zvWWq#F_~$zTPKwQe`2L6!YgiHxRP@@QghNT2SFl@t}ag8=qV2$Y!nGFmXioAaQm4b zyO-6!Od)wv2pu5{k&M`W=#=UVq!y>5^Ca7;W+YMJaELmvMIEuK2zL?aO}%LTAS$Yx zjw?dho(#sqBE^RNEtWyF2J|1~)UA?YD46N+!5kq-#s8w6vu`Su0)IygxR@`k-mo1< z_tw#31C0{;-S>zr7<=>5~S z^*35BzH(JJ@~mu4HGbP$5D8;77*o^dL#Gy*#H$m8?b_jk4UK3s0&b2TLzCfaRctQAxH1UT z=5PWj=ge{Twf6Zwx9I7JQN>NXgInVMETas<1#*Zp2z$VLSQgF;;0P(HWDFoOraq;Z zMARq8ZigfkvdOSsj3daZZCfARcq3U_>}*Av8sUq1lr&}m)tns>;*Eza0O-dP z^r>oBv@<1uNe`}Hc&P2pfCyiZs@6`o? zHcYg`xI&z1m&R&Bf8f&K4K`p;jDY+)zX*7+;j`^n!viP>VOzb3H=Kx3ZPcqtLa@RI z&#E}~e>9%Y_#QPb6JnFsHqr@$i%N*V=>GMJqF4l(_-M-G?ElLD0C<=;u(vB0!N2i# z;*iWic7u15>VE8B2*O-k-RQ9UAvluhOvcL{(jvbz*L%af==j7l0GVi&lOsSbmC%h+ zB)jn#DcLDqBUphewdXA8VkuL-gDe-x9Mcyu_%g8`)aFn$-+FhJb;-_=yK zi3Y1&j*OC{)euDz8hlHFpyUyMw-(TB51|M2ONG8cbZuLSt;F^Fhhry~x+u325pF+N z!=y(tNEXGn$Ts>m^=Hc+Lu%va5SSkYVn8y%JK3-yRp1L(%Zp}7lVO2$zux&sSrHSj ze+4n0qtWx24t2lr*?=WR?FldW1Y(>HC{Yid{UTR2+qH9FV(m-aW*$zcrIhiH6nL1= zBA~nP%-5X)Wq05|2p(q&ZiIKdotpop$bu-UdVJ+;{kN!aJ=^U(wIRRi%`haHiJXmp zKCUO4qqhUw3)(;R2Cm>ENI#GmPaU9Ke->Gc4T>Jp#$Ki_SwDc_9pRZ#T_kAlLLM?M z+q2qPf`NJejZc7KD-rvn#fPVNC<3TZE3h#Zm~(;ArfN{KoiVV1+_(DtrygbC;eu0& zaU6*T{pJuFnEC!8B&A|vZ@eHFrUw|)*YjixucXM2MzK_ohKEKg%|oi4l2f%se{`!y z;uBE0x%&Ctc45kbDs`)Dss*9Rk*F>m)(5ztBZUw_SzDZNXC??8GGSyRsKrHN^0=4x zMwF75{xhe=vO6AuzLJtOg~~zr^S0i$?nBI*!Exh)if{){inlQifba^)rkdsfU10kR z75ZOYa4bgv4-bp=fe2RvIEz35f68c`S$`(k^3*)jX~3TQ`V+`j-Xwb>2x@x$L`+<0 zLGYbkHxpeH6cM{?Lj{AHE5F=OjDWm^wBhL@1{wl~O4_IY!C7_vDyE9vF?zGqpKFoE zm)YB}hyVUI4iC--LMhp^hpVR6O6HGNOWAlB%2RH`IG%ODa~5;Yyz%Z?f9W$@ZI4%e zp^B=RBT}U`Ux@<6BY(9%@*wA6pI4_z@PXgQW{-g;URI8sF{dknSZl$EvL3q$rQd^t z{>OG7{eOaWp(yW)Yi2|Ib}D*pXE&48m_qCrPY{PuQ4nvr+|%7mz0eL*4c)z-$ACG) z@W^55Ml@*oSTI29DwQG?e`(I0QFDc+6(<4k=&R^w!Gz0#O^(h>QmHQ{fnIixrY;as zuAg%tSqh3wRP9NSdfpnHy*Ft(!%@S$2+Tai*jkUoWL!;=+KO@8AmgnJK6O^+gY9c{ zzE$cu7;vGmefr48?}!zB)V-fiQuRg!ehEb*Y0Bu$YqIe7RzNoyf9Qsos4c!`&b6*G zDF^GPclNW-7=)-#D(qv+Uc=UApn>TPnM}|M?(zqe29r0I>Fqd~?!X;NR1=rdHVL$x z*m|O*uO$g@n{}_5)St}IMHT7=MDxw9m5w6Fi4|wj+9c#m%+S@TQ%Bbc|bKU{cJ8waK z_XfTv$?# z2xnsTvL_I#jjRJoUL{vrRyuO-VuAUjfbCjZ-j4~QZ}eeZW%B)MgXhrTP;G<#*39=4 zHth;Es7StCf658Pu>~66Ti=}+=nxLSR%lW2pN|Uof|U;yW7q0)q^l}1M;!f+)2Cc? z*%DG94oV6yg6@aYcdqu95N9tH?e9U*zs_p4|5zr-fb1dOXDX);43CdF#M?d|u%Io? zew-;+Nj8EPg^JY&Q~+&j^9;?Pxg1zfhV*_&CG8c^&UY0o;hlK80qXOOEu9|PY#WdoBqxQ@{0KTVQ__BBxH(Vm!b6B0~Mpl1^H zhBTJLZb$?V{&FMvhyYgk@s#ihIjSyC5AF=ej2qkcKHTP{Nr?>^b&i_?(snyRb>Yt*lu9i4i#;Wzx0I7w7U7BA1s!DYe6!f z;a4~}OuYM+GNAk@$cT?rOue7aY?PLHPDsv{y;x#v8g}R@J^ov|N-Zs4<{2&X*JXvt zth;&(N6wmqV*=l9<*N~c?Z~KyMOd_OD@}E;s3IMyBn_kiC9g{mI zKp-k?T%MK)HuQL#QZ$pBCP85p*ha@lZ6jDjpJ*J@ z5m&l9W*WL0di(7*ixoQv#{}pyx(<%HXmSylE)p_{i0)w^c%{*W;kmmq)jv0y_$ zY9=&dSq8PgG8#q->UkZ4nXCqfH(`IrDndc+&{TqLZmt;E*r1O+4 zx~Od&b~#}G%xMxH0WU5Kv3{a$v3pl3;Y#?Cs$=L8o<3CgS+Pr5xOs1$Tl=$N&|o(| zu;^-e>CXk*gJl1qto3STkWM)S?aCIo-)6i3NQcelo73*|PN1`NEtLX)(CnFdkpO#^ z_Fa)iqrqhyLU?$R+_sA=V$C_p8z+|GI*Nx;4ONQHX4cy)hCI(CWZ? z5ks71)gpAnKzzOL zy?O~_#)FkphdK&n1KB?w^(GeIJ2-el>$*k%Ax6As$Cs~yHhZ}FLeeH9&03PkT({i z)3WsJ8dR-C;;8FmGg-`4<|9c1dUUg4WwSgCim6Q|^cu-b`adaKo-)JT8lE{T9iMKL z#k6+-kr5!1wmBewl}vRRCJU)f{$2YF?v_k_c{pLfEgDgEl^nulmtl4J+$nsOzu@xn zNhDvH1QCTni0yaSnp*0nFb_FtvD0|H@o?d1Yc;5Klz49-h4hD>{cWPI!9u{`p2Zg{ zKxNZW0%KlhNVpQwLEpU3>Bxd(cG490wRxBtluNb<}Yu*Yl6 z*QCe(*RiB$L-epTR|nHJ^i-!!4)z%UM0t^q-<{bI55KqRNjIDx=N5TgYN6H4HLj`K zgu*etW)&VKL4NC<^%#wab0wrSsavh?&jbu0udn3SiyyJBM8f2?RT$j2IG`%pL{!QCF+5t@|o#+yi9EsgOqP zN&Iqpk`WdO@=qjcK)dLk43daQCK@&sn62@4knU%H<1}RBlQ>82{uGt0oY`k&0_W>^ z$F|)MhJ>+HF3%?qv>P)nP{4;P*9cz920+d0DU5BoCQqtbHEPVAL!hyHFoFqmjS{1) z9Zrd;EwdxsC)*QjWIrBr(m#Y^V-LxCf_2<0Jd#i;z!an-iFEk z)-!1>kHFb}w`rkZ=J-{bzd923byv`_>B^<+BocMZ*xBb)v~V8Ak&7dc%by-U_(Cd!qt0`Xze1c&PP`t|Kav zcSEPdp`j4(MKtGW=)>`Q9_*RkoYO>&ie!yc=l{e487x-G^@e@S)wc0tZg1>4CBN!SLOGnl$>l za?`C)j9tJtWv0gC>f)NuQA~NfCaWxV5R|*tmWj^jb zB8Ar|)G@ANK!t@Ajo~4tr}UM7fS5gZuADOf!VIMQ1Tfx_tAc;kDXnj%wi~2_J#_(H z)M*v_Av-gG8Utn=pnH1%74`vvX~$TO1SJf5L%NMIL@sdOyC#`@?d#1M9RaHg0HVmp3GkYK^CL1 zEN%g6KB?Vn%pcPBtNSdRVb)^Ze^oYxuKVNmAYi(>+QDYy(e*wMD7*olRN)e=9VM4w zfR*2Tt?nDb={jxokGI! z5!KL+#1J{KbSNWMf8bW0ogg5W=gG68?(zD;_r!!j0Ge1Cp~}*|QPdBKLw`2~5jb`~ z4NJYSU71$n(TCZj_g`fe^ChZd7rgPv;#_b*ss{V0?_1`|}reWi|_S4~avUr-xIP$x zBJbAtH!~(;xKCYs!~n0=2ut>0Hk5{8NXHHT!%eXDr6QCs_Ts?1YqkAE&!u*_&WEk+ zNt#`}ZOO%w#cn$i-rkI6Isg#(f(s9NA8uiV&Exkrjl&9m6znp{ER9&R{#K6?W(mL8 zvjk#r&9_@$2_=Z3`9`XJ^kosP_N{GLEPs$qMT|R`#mQ2! zqR%AWu?1>Ef}X6Pip05g2O(+;@VFWVn4SS{4M=&BnsPLDfJzhaAWC|VD?{(Hui@|x zmYCv&Qvse#6&KNQ17gy1Ce`P#^QXi|F&C7_*J>%OhJGsU z*LUO&(6ww8A6IkGX%;hEF}0OBw;W1r00Q6zjrB1P;l97CxTfAEkN)JUbAE^HY%jdE zZoDZYzLLMXW{#`5T=Y^w#^2I7YK#cb8!1mlRMNXp*oSO1D9ud+Bgh?r_Fzon&pSb= z>*A$a8fPmWmaobC24Q)Jw^Jt1S$#}OUtRlZSobVkw=jhK2)Mu97eqNlOuhLU^T?B%CP85_c52gx!|zgv&U?V( zsCcHc^JEWa?b~Heo>W(LOIA-;in?!UAp4JXG!3~JFswkbI4=^(pT3IXDYv-{bM!|B z4uD%^Q?*a{ule8<$r6oMwwAWxSTDUjE@7AL7m6z{vppxI0)Md7aFukGhbvK-W$T^G$ zY9=&c+`CbhD20XvE#!s>;HbuGKrs-PE_eE4w%fC;|R~@oj+(pdW zWQm63HR+^lHD_v9xs2?~DIRw7imwA4PeO++ME3ms`{;9-ssCvYe*F~uJm{w&(RP-c zJad^nGH58s9#I97BA5TYcm)5u1bv#g-)6i3NQcelo73*|PN1`NEtLX)QqT!q2wDA7 zF?b3+si$otW~d}I&*UkG39{^zbE0ckFJbtlHbW<;YY~e3X9P)TN-H&qrxoG$5WhBl zg1Bs)=j@G(h7tO6z<`lF;xPPfUS1n$Z*7pi>s0ovUXzPI2OHadV?hex(MHicu8NJJ zmpoeI7x&YYsR}su-UAP_h%l7`e~r$svAtxH$d9-|O;1cdM2hX)0)h{85LGCWKNLIC zLWrp?W8WHU8k2K~`kqP(UGm_WU(4%-)-!cTO9O%%vxi%%t5o0T6aJKwRsR77ZeRxi z{`ek6bON&o<;Hrz;yFAcCL%b*W*`H-UT-E%hdK&n1KB?w^(GeIJ2-el>$*Hvn0zy-MF*>GILv4AhmSQs8jDpi-&3! zfY<1Dcg@kI*aM`LlDYlnPm`La>GQAXlfw;~?Q_gmYlq)4Ocn~VHq{N?ljq-e%m=N3 z=3{CAkr5!1wmBewuLk5Ns^oTImo$aVAPZC)a4L*jqL|jpua2De$vzC@Ol2HRzN2PV zE;mo6yOR!3teG@_3FD3wIYflqk*ovmCZO*m#wzh``q@YDh|><;^kHL0V!U!d{kI%S z^1!uW039n6(N~u`*rjqMgC(nu3KJqB_iHbE|9sZwV)KoERW)h!oIe~l6Fh;o=LA^o zdXz<{7Y}F_odVn)jWD9okH+HbJ=?G|<>_Ze&n?mf0VZb5Y;t;)w=ZEv1Oooz){%5s z6Q%?XLs9!M;0hmL-XHMC58+eClMwGtzO(Hd>aNnbn3Mp;`S~}&R%>qOBdyOkvFrQ%A6%qeS;C%vd3k`G4$6=9Em-^hfvPuC)OA#&{8ug6)1}44Qz}+&2WSW`WMJF?~@koF2 zx3xHbse%v$ks!m-3OYG1cs%=0M?K1YJ7HZ8JkR014Ykdf)*#(D($$B_=k|0{Ygt_g z6al-fiX9xJ904jy1|+n88Mz^mHyy#!Y74p91vDDdm~$-yyBGdjy|&e{>h{LoIT3SM z1v|U7i$fiU?Ah{XF$b{R-V-4;%^l9>yplkFI8icTOxqgW#I_@LnHdCfG-pr4=!rr6 zBlkcd{^AbqiBI&SSme@YK)$sunlwewHly$%^!YaIdV#7^>0_tAc*=*N&#(mnc6qPv zO%cr@6bTFIX`%QfHz$?2lA0A*&E*w6szPA|DviCQPZGP0GOM`$qnBDu>a!MK*iLPK z1ynavX}iZlpVdGDT0EqRL)u1jzI{*pnf86)`q2>bwGip;Q)6@xwX%#kr%V|U(cG*M`! zo2y@M$1W<-)X#ES-g>EhIRsQ1)*``wvHoOY_K0n`9&dAw5@gI6zG@HDfHjND1A$8? zWSz-NcK7y#q-iP;bq3b%IFXrq($(9WXuWHMh{Q@<*7EpE&W06bg@r5FQs^SJM(-5# z8l*8959v(UHZTHL6~uRNBu!v>H?JMC-}JJ4@`N?gd1 zLs$9SxxL!hhslKNO{4Tc5J6-|wXQjFvT^K(_cK5KcxPy*4 z3vsPXib)HKiTVw7uBZ?IE1!OUOAu&)>HD+|9O_VDEH}akzT@Wx6>uu`@ueOiYA_wS zHZWAQlM>{s#2EJD4TxQ2aT-gzr{RU+nYGdHuNhx!ILAa@&*u>gJhuE*CxCNaLzSGE z{-|{9k*t@d?sIc`6cD^4=6h=BunBozHG$f1Gtf-Qu!0r>#gtNvJMaj99D}Qj)sivb zPeX$&#@h5fsNTK(p{$O<-pTeeHgk+v`6vphLp_jRr`Pbg+6X!}R3UV-x;d^^O1*eE;- zHS4@`XcEZ_Mysg5k00}bsHD0SNW?F~y%&W}vFL^t*Pj-n^34u^HyM{IQ_q5#_Kg)= z3Vv{0rll?Ep4%OlvsvwLj|9HOKx69EV0PoicyH&935v^%p&B=qbj)=SmgjrjfznN> zPkLIuhH`W%KPdsx8OY(?lTk3EO6N!Fx!kYtpr~BOQ)4a&fvbpvgmRYvi7kh~fDk>v@hPHzQ0M{jQ}_RH(@Zh=#qPMH z=o!CyT(2M&dyI107VDDo8?`W@KcUE#6^zJ)joQt}4xezOj^R}X@@X29*%;KBH_2LP z5&%7~b~?`iXd1R9FRftAAo%yAlQRuXCK9cx8m07em_n6BP!_{Ko2=s?U*sc359w6%ZUf)7Zsg;AV4dZuu<_lDzdA406`c8W=UMB&3aSl*e)>PncT{ zlcBE?PV@JTP?o>rLIFRJLf=M!&Ev9<9!W3S`*IMii_R@L?~M83o1VHD2=Y`(KPh>E z3O=WJyiv8@Spmd?L;eU^@scVO?H90D8|K5lLl6seVEEDCFn!|4%<{H)^C;L zG6|N5hxrgQG;7AWIh+bw2rGm_%_YSlhrHv(ni!3xp!))+7??n`hxQZlNLf`eN^Rp diff --git a/test_fixtures/masp_proofs/F0471ECBD3AF04B4A373D2966781D5DEF92B9A9BB3A159947560514682CC3877.bin b/test_fixtures/masp_proofs/F0471ECBD3AF04B4A373D2966781D5DEF92B9A9BB3A159947560514682CC3877.bin index 8166bb76568bf469cc3b36ee78b94ac1d3725620..157ac90010c0956f9e40066e318aed61c12567bf 100644 GIT binary patch delta 1001 zcmV4PrLk;u- zAk<-5`dOM0WKbK?T=Tp%aovAa-40M^18#0$2$Fd@vxE&bsQ z#-$|;C$oPRB?Eu6Hhk($)P;q4`wvt7X%w#@VAqrFqRSQ8z!P<(kLr;w%Ii zxgj~0@9rg#{EK+9FPrvJ5-R5L8`TUCYx>J4Sjm`e2l-cJ#jO>7HsR(DP@sr< zP?6IBCdr(B?@toV{!--vGTI^)(gr=$5~*8FH3L$viD-WtRtUtse*Rs&X-d;P$jhYZ znPIX)=ZAp{+(1hZ6ZaTi~zKV^N*@sje2 zr5>f=7CI4CKN~e~6>%4(R#@xW#YwaerOU=n7DvGog6${aaJB2Oe~EhLYVezA2n4zF z>OrIvrC*=PaU;(Ne5}#pO0NZik~|hnlh*ABJ(qv=i2AvZ#_UTyfA-rmIzwV#w9WA8 z2mTF#@N&h$9&r8|fL+LCcEqA$M9`X#d?LW={~A~Kg(2}Z-k5kW`i|#;v&QFU2+spZg}#wFUMeKzN7VGny+$BvEv4pO zVcEBQe_%YUuO;=PGrZd_uS%7Zo~wC>RL(CK8(+^3tsWK=`eZs7)h!Koy~!u5Zw4cS z(zy-RL_ebAN=Uj)2zt$jQPa=IVikF{cPM}D?_~uOE-ufPSt?IMs&x?%j1A@{N;mpd zWkQ1i`W(@??%ex@7amaa3SY#@eaLQkuUB7)DK`wj55dGSM%0lm^Z*3m>G;F3nnE%@ zq+Qn{ z&m0f_AG3cJB?EuA-C_mlLjbgD4Y-phEf0gvc$t2q*KR%gf%L*ra;!O6p|5Tt-n$xu zK%$U#2eJW{)#)LuZIOEWvE^X?l}^+hop|#NYWkC@e*uCj*?bbkF$X+#O8-%ICUsVd zIpjzM$Wr)jhFzCySpHG=kRL6;lp{7KDE78IL-A=FL(+f4_2Dc0ScO4#_I9`Q5mk(( zhSKa)PPaF{`)hs^-E>>pIoz=S9`vTDkjc#v3;s_e4fnWyf*L%Q7pU&Z6NNUOvFA=5 z+jJ_JvV5wr&*EkXQmaz{dE&;@>~$)44gL%JvAzEW^XlJ>r6GTFud$Bfmj67dAW!z8 z*E)H2h`N8pX$MK%QbY{<%jT_PjMh(!~Yy68UK(%xpM;bgZlbo7z{DU%D0Z76r5cDn z3=zDQJW+C(<3B{cnKIy^55NAUE(oEt<)=!c9vYP|^;I%rY)xmEas(8Cnhr|{k4zZf z0OXXCc4~(Ej<#;jLLWi-=AM=D@ugEcT?854-tv94-ngF4TU z<@>^U)XvDAF{={Ptg7<=iveS>+AhgEC?(@bwf#ra6TLW|{tM;Xc2TgN^tzIFeYO(> zuOp_T6uvJmo+9^j9|W+4_9r#v2e$Uww~2o+w-HSk_`q7D<~B-xFlZpoDFyrekVN@F zUK%I?k8|H_5FNm>5OMJSIFU1{x2+#7wAKmK?~L&K}eFnE%^`W@H&NazF)YqWTEYP=_QX(Dt~rBJ{nK|s<~l!SV-CA2jH# X88|;&6Wai(a;f*p5es{Klj9sUF