From 1b04c5326a40d9eef5ffc7c381a541954a6c8dfe Mon Sep 17 00:00:00 2001 From: Pravdyvy Date: Wed, 28 Jan 2026 05:50:49 +0200 Subject: [PATCH] fix: arts fix --- artifacts/program_methods/amm.bin | Bin 460412 -> 460380 bytes .../authenticated_transfer.bin | Bin 380156 -> 380144 bytes artifacts/program_methods/pinata.bin | Bin 382736 -> 382736 bytes artifacts/program_methods/pinata_token.bin | Bin 390440 -> 390412 bytes .../privacy_preserving_circuit.bin | Bin 501560 -> 501560 bytes artifacts/program_methods/token.bin | Bin 418708 -> 418708 bytes artifacts/test_program_methods/burner.bin | Bin 376948 -> 376948 bytes .../test_program_methods/chain_caller.bin | Bin 390636 -> 390652 bytes .../test_program_methods/changer_claimer.bin | Bin 380056 -> 380056 bytes artifacts/test_program_methods/claimer.bin | Bin 375844 -> 375860 bytes .../test_program_methods/data_changer.bin | Bin 378564 -> 378564 bytes .../test_program_methods/extra_output.bin | Bin 375940 -> 375940 bytes .../malicious_authorization_changer.bin | Bin 382160 -> 382176 bytes artifacts/test_program_methods/minter.bin | Bin 375876 -> 375876 bytes .../test_program_methods/missing_output.bin | Bin 376012 -> 376028 bytes .../modified_transfer.bin | Bin 379412 -> 379400 bytes .../test_program_methods/nonce_changer.bin | Bin 375960 -> 375960 bytes artifacts/test_program_methods/noop.bin | Bin 375656 -> 375672 bytes .../program_owner_changer.bin | Bin 375872 -> 375872 bytes .../simple_balance_transfer.bin | Bin 377772 -> 377756 bytes 20 files changed, 0 insertions(+), 0 deletions(-) diff --git a/artifacts/program_methods/amm.bin b/artifacts/program_methods/amm.bin index 138a9924ab678dcf15c00d649ff6a155562e4809..179e4c95b603a8badf971191064331a9fc2c3b9a 100644 GIT binary patch delta 9731 zcmaKxdzek-{=mO$@3om2nPJLcWY*pzBZD!2 zA8VQJc8m*tA~~WuKaV-K)ta*Z$q%dI!ACqJmYfi|l9@ka#6`20Xg5A&Ial zcNhE`oS^swdL-URlnII#+z^@NH6+FpS^xA+k;Ohk^0f$e`=3bE%|zLu=F8#TV#wwQ z2W2XX=OJ*a5;#uRWVh?UE%134SMq7H1CCPb{gv4NkmHyy;X>vU)qI1>nrwB=d!jTs zUco_+{Kh~*$AHvigX!7UcWJT@wmtGZ920HGDJAd-T!_c)NW@pcvo2l%r=UQRTE9J7 zllUlyTUXQM2{_rD58~oA3~a4t2!>iNzwd4o=-?cX4GRi2W`n8VD!9}&Ujol#-d5=T z>Y7A#a(FbHg2f}%{`K%mm`stNDexx-HZo9EEodA=2-E^|J{RtWg+tZ+2k=}J=&HCB zZj1uM6{p1_53a0u68s5VP4Or2cDRbL#5~|?Z1|hw-sxJ6lQlFM9p_}*rJCVkKX`9? zf(PQr0&KE<5O?lEv^#HUT})g(PNAc;za@$hli`VZlZT85OV z^_jIaNk+aNS>IO{GLT(IMU9|k*4E@T*bdrP@VvTcPOQwjNvWgBx&+ct@waeI4jiEr zs2ytZqjzJUn~1$?7*ejz9b6Z^>LW(+1^DGIma8mJ{S*0ZnmcxOy-$<*%-^NNZVWd$ z?H#WL8`dO87;mJ;pN4nAc8`jkmG7o3d+YcGi0|C8qJ|8O${kg^RqA}DTUHj z^FP-Q{cy&+Kzl1Z_N=#=9$ef&lj1a|l4{1sl!^6S%9nk;_A4n;qYWV9y17%463CRu|7| zqscftWGDLRPMWl1et=rvpfd>z+g*E9c<3+Qy`JE8gLRJ^60bbjrjB$Rc<* zY+ol=;6retn$K=WWHJpaWM;_Ufa76%z8EfZ?SG*CALIumj{)}qWw85zp&e+ht^*dp z?gO^L?gJWjBILisM3QntXM#mz&R+? zNh$O-oZd4av9MV+)gIO4BleqhZ*p%qiTTI@9$5sBMczO)e;Dq^`fQVRHpGYKU-zC2 zE^9>2jNu$*NFVyqp=JTgQ>NTSaGdKp9sHOkvsiC?b_?uojOFkX=wWx_4n67IF1=>J z=Nv2u|u-Q3HPgD&rzsZHG&G@*QUcIXJdbnOy z{ePb3hx<{5Q=O~q(JYE?ic>U8;9Z%H*!WQ9-TK?wk?^Iv_4=M*6x%mHZ%8-QF6YA2 z;6zR}6LIMPGPjrG&tq_zOI+PQ(G-}swH^v*u-`Uw4O{>xD0#*cxaCDdvLo@XAu}0p z2XK3Md940Fcn4Q1Nh0I>B~Z_Jrr(hh4$lgL!Y{ITzNwL%90k zIHkZNaC(0yap%DE78@09y96Hcroq=j!~yk(at`YsV80oL;cyXb>#-Uxc6fxGWgy8J zkmO-x^dcu9li`E`j)2YZ2@L6`4)`4&!+x9F;fQ^()#Xqi7^-IIL=lTA$zW zOW`s@@>Bqa;Fp9D_AC7t!YTQV{SS@69ymu8+JPzp!8IPE#!iR?e5_D_V1UHdn|1#lqZh8pr;22L?x zJHAcmL{t58pVQ;{rZ^n15=`^>q|pSPQXkSll>GzX37l)kCm+s&>qg|tF?b*QBX#YQ z)Ns92eWM;6_!NHIgrAh0wQ%YuhMZUW{tCy3dABORb{a+fZgvuVE?mSp_OoCQoadU4 zA5H$c<_E#W&U{eTFfhZl;2d1af(=T6f~R@t40arR5}p9thWf|gz)vwiDVPNpZE<)u zyyG*6H^WD_8d7M<4{GwrGnD=|qv8%a0vEv~nAHmYoJ)s9!P?4`>)==vuq*Ha>{fW@ z*gtaoxIgknH|zA8N5h$|^y=QuFHGSjRcuJ9I=FyZjQO0DRh}6C0&h-un&LvZ6wXk5 zFtog_zA-j$5|uH;anOkH&g=mLjc3T0 z_B)3UGPoR0RmbgwkGe9d$6v`v7fnBW&7~g^B)gu+kX?rGq_+YTzz@mr4mDqdoM|pYeuj%&oHm0LhwaYt zY`A?V{cZ1XeJ1+2);$bI?RLJdUV=;DS*ld3zC`JFs`!MJO!zqa?@{(FfKRy`bR^uq z8!bL9c_N+i0Iw{i?-2Y@zMuD@;!Wt6chKQ$FNd1;(SL{?K>$ycQ1Z&|>EU{P_0KB@ zpRIx3r94p8{!6s5#pj(Cb`SgFj@W_r$pHeLbAfr)3VY(;MCK!j;geSQck@|FUdbzX zg}28!UX6;6&LK~S+v`1PQu}pY*bLYuc?@>H5fbL|_{a`OJp`DUH#9tdkRFVRt)Iu$ zf6b6+Jrc-c;d&$Wg+6Ug`2ErP$-1#C*tffmUv?>n9|$j>r8o0v&BJ?U>wEPsbKa!K zkM>t2LJ8daX@5l`j95fsjPhGoig~Gj49AUg^t`et{KH&*m?yUFVomO6VwY0zSU7Wm zKEATnGQ4exzA$RUi%W>m3crZ**oAxy{>Wd^GNvwN{vE$uRFN59!0XGE8Ab5INdfUG z`9H&@ANni42(B#;f3QLy<_jJ~P@~BK^G6lSQ}_N23t;40JP>Z|;sQ9uwf-cm!*(|| zmSLD{J_l~*+W&XBsl!3}iGljA4Jl~a+*u%}e1wf_jbZkt~27RwLI16RsPx+-( zh2;zQ&~f6eIA*mbcTIN=?*||HYd{F3rR)-TDD$>=kHW)X+nBnAyainI!{Fi0d>46# zfgIO@5;z*R3!&i}yaP8;2abU=T=P}Jdy4e&zTnMw$RF4ExwRzfMSsO_TP^?2Pa!V{ ztWQp}fTqB!U_Y9h{3*O+7N0$eufyGD1mp>IZu@oIk?=mnK{$72K+Z#24UF- zr*4WAu*n(xR(_S6AO`hJjwu&@6pQ?7V{&bND=+S8$V${R`6@?dbTuSHt?%ojTvqYu zRr7^#OqwA@5e~}8N<21JaFvh(rhum^b9IdLOSTfQ98M<_Q^$^xFjxe zRhjz-RWa++upDo)ROJ=+u3r-AcqVs;a|`^|E4Bu|70YA>x}jmT5_k;mRA^Y=5$1-1 zXdL=hq%=%^klvrofoAVEc`2NFIFiz_^qahR1CuxI` zfuB25%`O+U>Vk$xiMbN66fVy7OM&8RaN+At&itb*F`jG4R+VHm(Y%OxmE|%Yc8733 zobo3;&hI0ZMlW>d9>pbgQhnJI(+P>4l+RF4?ke~O&U=QOQ3^H9@hyB(! zkZEzL$zz=P$9qw#aM0fH0Rvh2^a174b8yZ}kr$3BU=Y6%#K3mUd-cYJ&l(&r*}^#*X0 zPz845=?9nn>g0qzkgP_*A?m!!Ra^wSb0%gGZ`CD!>&<8?{4_ivxIOYHH3!~i z;A)XmCI?}6Ux*%zm0ubab)O5nb09ODtbdo!ER}?pMrd++4lc(7u{;ObkK|3b+VSXd zIM{m?Wu#oxIR}eqBomYctKbQ%Bj1Ilf*F6tBXmZ)&acAm-ac_6uUO3~yLIsBy+%bD ze>8Bvx44gXdSXgT|xBq$Px*Q7UogfL7fOBy1 z4~F$@HZ90~m0zJx8j`03{u_?xK>O|({~E6cINhFykN?Y%A_Xa7P@ zs15JKLP*R;WZq_j_|PcDf_ZAb@jU9ho?nVo(tQEXh=SQ*DtP~V719I48nE z`GkSQU!APJ2~UOX+pNa|EFvV?O2E7DO6Kjxbro(?W>`Pvn+G;t$bQz_Ww{ED|II1m zgK!V{HA^1xUz`@cV1{%BMBA z5xLjekg=9Vfy*{13%iBueXk$+y=L3AR;^mMZJnN;)*`J{i#F*kTC@liH?I^Is(Zw@ z`c|{y14n#%)!Mh%Cr=LQ)v9IaFXw#sgnU2x7T;=jX#YiDa_y$MxzCMldJ7Su%Rl-B*0V^hlYV=#`_0|i2Yrd5HfMabZYko!fBPENZQkPcGRy^`J!gDT zx7_ZWkZ{(QeXAwmytBR}&#h)cE5FzK-@z%RWxl6wxet|^-EJbePMbU0k{o*SCtu~; z?QU2%J@xk6%^=okb^CeKRdt%*asEz8U~RucG_6Qnx^M^WL(MMUCQj_VW2RX1ZEvqS zrr+A-mQT{|xG^~tymT9-t=%nezx&iTzJ&0#OTIDrp^R56MTK)`SDK`0OTzzpwbHWb F{|`BwZ;}82 delta 9774 zcmai(3z$u1zrg=%@3qIoU}l<_n8~cYedRJ3*BL@%Od^*MQlW7vVn{`e8f_wx!SJcA za?7Qo9yO9IxzrS$d=62`r*f-=ijy?u((s+%TKiqImh*_7$J6tBFaP&{f8Vv|Kv7D0 zQA%-&ws&r7$d@v0a?W!(+H*O+_j3F%eBNtOxkzD~ki?6K=JUzdqDkT5G+F8w@%c0{ zHBC}}NRzzkQSQ%J;h8kqqvnhJnymBe|IAGN!rvq|T;(s3ZEZu6tmHlmkEmow8f?kk z0Z)fh6dy*9w2NsnR&nt~k*R(|;(gKeqb`Ze4;ZpQi*l#`h{Rq>lWl7L61-Ck*%0Nh zJcZ)L2rN(n$LgBw^c=VuKH=fmfF|4EShc=x4Et|&9rFpig84KxU%!$jn?3WDVl_EX z!C{~L#lXVbLUKJDEYG&TPLn;bvDz2QM zNkbGEthhT|0#{O846lc)D*h7Q3Rf1ESO?TdG(S7we@08Zl&HywBsbgQlFUJe{Fi*; z-;&4zY;t_i{02?-du$vJ7j$rKHsNkJ7&tWQ({431X^|00Rnzob`cvL@#YL(0{;Pt``RI*3tR8F^E3Y**Qy`Wen@>e@NvCQW8Bf1MKhnc3(E z|07zs)Ai&Cl!*H?gCvt|8gTv&?I1 zkW=h;Li#woANi_iBDH_?PtNH<&^k9XM@ z&Bv!j4*lq#t-WWCKIU(thu{5&CZ)~XN@{j9@|(MrxdpD*!jMw6|1^9OC7q;cb_+4f zb&VbeFYxes_<+YL=imZ&{%&bgk1T9yNEVrGdErsmn^i{|X_D5C=BEtGZlXy|1mwY1 zp0Cf)qGqJ_)U1Vd8qg9t;TdJg$fla;?F|{H1h0kr zWYcvOm&3z6+^Lx+LebHH1$ z_kaVi_kd2fk#oHa*{>8VfamumCzXNg;ke$0^t9*0Q~(1-ce_2g0fzYm>F z378KLs1U#l0A39rQ3rPK2&3=@#jn77J3FED$-}vt%z(QvuSMSY(?2xv>)RzIwCFNT=rxCutPxlvmxMWG!9Uip5cE zK03sW#a*q*0S|A0%Llu$`w1?ComeNgp{kIV7PTZSQyAFh5pWXDfUSD94ooFkPI?5q zgk7a~x~4zSiP+t5$OxryjXO}-Gd~nQ(Z%h`E8+ccv@7!#InF?mXG8tYlwrjJsstW} zLfJ~8pWqfO@=LGw$y0`cdxGwY21AMX;9*w+v)qELzH|z5(*4dC5ne~_d zaCl>Va%LpwC_~25kM=eR*`BiGu7#64*XdJtYBH7ej%UAyy^XPUSKd76;dJ7GaA%KR zOW+eO`=qmZs@z{)3$GC=6eM$yM9HRwz2ay{DxBj_>BSkunrb9^)qOxyGc# zX!n6}ln%WUcG|(fmZY4!KPXEX*vx?A!Q*#n5`?YJX?dc7x#$uXuD0a8s(SS*+8btS z75zWHre$|ig$3?aHlhzj_oQ1i>)`F(U9p*w?$z`q+8^erYI+@C_!hQrm|#e*YL{=q zg>V|DT8X%!ADP?3_2+rG%p&%Z54YChQ9TazF2lV)w#oIe@Dl zPEray1h?qxChjV@XueU=w*3Q%^E^We2)yNh_HZ`q8?fIB!z6eO?C9|^TL8hL2>w!}r5`V7tqqz~V?%Lw`iuVNNvkIa;qI z{IKFxLyA=ZpN3N+*st_|8%|%~+JD~=?16`=g4+QXdDMB|92nAntsMUNQT(vNkRs)` zuH#9B5<^ZZo(b={*EM4o-0eQM9;!bd{MHhH%yzdiuxZEzF)O?VCGIM0HUaIt4T za|HS8nV$fcy7OV##=s=cf|!SK7zye~J`HzM zd?vD}wO*1?GLFg^;5ulsIk1iXfIocfaqd>ett-T;==!Y7@9AWOPx9fkf$qMW3wefo z?7VYW3zx$g>bRrueosaXpGZa`znYT&CcNrXLncMnH~xlS zX1i>CiGOftGWvMd4TEEMx?fkX!AIe#s#F?0OX+7Kj(d@_)GLF{?g^-sgcIL^g{`g3E+{Vl)SQgk(t_C|FBYc zULty*=7FmA$02|I3Acr{U|-TcC(r@;jX)3kg?ZHqN0Mi0%tsR=Abs)ghGUexlDFwO z-X6z!H7Y(kgFGGVtoJpOtQUA;GvJiudD#0#xOFCvkGzniBEZVLLUY!AdN?+reKA-6 zc|+p#Xdus^@t6 zq>|Rh-14G6Cw9myFA|}}K@sJ#$}eN^yTOW<5rNBJ3(83qnb`|@eR(otH#}!tNCHZJ z{30s%onXZmLGohr?Zx__K==%T>W>duKdRWCYWWHlz{s_^0B-2vO>nwr{Uun3oo<}{ zDu#LHr@&1-`~Mqm>~dJHL(@8*4PD`;?gGhMtVuHupIpNA0pl23!NyB933+%dY`~5| zYvByf{y*SVTY{>on3Y%RiIt50xJUmwSaG+R@UVSBDO2v9Z?;>l@Aik6qfGLVpqy4= zIRfuJK)e+k3_h0qC3fg7mwR*>+_GN((AOdL zB|LOCD0B$BwVH6@G}oYx5nfGjEhT6tycKp{8HTy#ef>5~d(FJKQQsYt@XZ?-;t$DK zeu=ayFx@=(kzV50?lot9qVKMxl|%;a;`KVwyvYB2;VBnH(k=zmWN`vju&&4kOG!~QI)tlh6W{130MZVAQLl`fG)8(k`7afIJ^fHS^|rgQ@RrX(48a8KqfJ__eeuCQ3f2T}Nqp#8>33?pDQ0}D3= z?LRMA0*}EhC{XK%F^i25Dc>Xd>xjh#kihTLHChs*l_a4O@B_U1 zbz-b?WK1hw=A8{mQ(P+(58Y?TI(5LWa1saRDXy1=hc@5=dZO(?xO^iY!kljp#OF}W z9vAh6`|l^_O27uVG(RW{6(@J(!S{ljGY8?knTBjuN!AR_*D$ZLTvo&05T1t9@4@5z zK4L5IawqOlT;e3vcU>`^kT^;C0`=srf>UtuC~`(A)V({m779B27M%B0(EbLpEUw-I z9_h}HfzQEVXTvTA`YfOiD3`|Yo4~MVqc0pwzyvrRc49udCoX*4;CTMj!u&Yc{*hbp zGD-BX`1`saxx*YANt195Cy$T2z74 zcpihxes^;sbT3w;-~e@CKD>aO$ydA^_U25J`*^Fq7_{GvmcrBFvEi-JN2xXN0R!jO zxMgw%_V$H__YF$a2fmXfZ}Cv7M(3$CEcK@m%F?a_U26R zIa>2KhUBaL{ov9g+$D;OU^&kBjPme>Fat*pxE8jW#_fN?y)Fyk;)5ii5)kt|0uLGX zv)Qs>COrMHA;n5y>~!mWW>nlAv*9ARg)={cB>c{h0m`6oE(2LdT?O*tyffs4+OQKA zLSi){>o%LfhsJ3vC{pux7E$M^L0O}c?g%_77G{H`;O(Ox7lzwnULfu0sn%RGVe65nsYFq%&>pTw+_4$E?~V=mLI{%f4F6Q2JQ?` zx8)K4Pl`#Jvsk2D+ zeiYvPBbS+S`7851t=PK%Z+$V^iye!;fd`BxDb)cJUm{7%xUE!cJ`blo7L-Ch`z?i@ zi&#%h?tlJpX>qj$ym*S;Ml=j=JJ;n6@G8aj{awnVDJ5TV?St(qUg9DKhFpOpQp!zQC+2 zt}*xQ3+Pp@I2AemU7+NKD+!iJFMr_X$e!;5m9D(==kEhMt~`^F7SlX(;fKK6R}q}j zvPI+k{3k{?zS7wdTSCT}=OTU!N=Axx&Xp3C5|k8+CQ0(6Ap=7t#YCgY4AUm^Bdx15R=#gk zXf{_T8nx_sv@o@JJ6M)jRyJX3IgOR6sF|86epF_r@9*5Z59c^f&R_c5Yp;*J_S$Rj zb2+={(uPHsRwQYI=5^|S z4!aB14~q;M;&BdKlWnq^=z_k4OLK$5NF+fWzb8Sy`J>^Q{-&H#^M8R)Gd~cWKUA(i zB2qWNloSS>4E^$h$SF9WMft&_C=4_uN%0OiVX!Ht;=djf*+;5b2kT8O34v_S=HeT&YbxF0vJN*M01SNLpS{nko6H@bNG7E!GHztB0C0 zNSWDklKsy&rAS4S6R!Wa{!I4Q2Sv^nn6gtXY6spn7MfD0rq$qW&j?f4?Z~3jFtcNr zDNU991$)g7y+_d#T;a)w%1Q=mMw^mJJvqCxANFszd0wQU#FT|9z*(Y64-6E;&UyJs(6PLH-b4?c=6RG|8M` z%49WvI9xF_C{1B!;XlV}GQO0ZQ-xB^)>aj`nZ8|@fz32&Im}b|A9y2!{%?0*D@&N;W2VLVXbTA*D<8$yn z?00Yi&hR-Xir1v)-{`JuZc- z9-;9l1Fyi9jRrK?10R9+D2J7o!USBS_z+w&+}%-KYDo2E@L=Rxc;zAeuK1J=nwb9M z6}AquN4vrg9M;EZrS`VN`i*+%6_kn*T}jS4k&<$1mmcY){u3&r_6bu;mHZ5q zk&N6_f!y7K(tXn7PvI=sIdhKwc{l@hxB8lvoE=X;B#RgbcmtwS8D@mr3Z z0Q#vFWp>hNr$LEV24}$iVW%574&H^UeF18hYw{agbBB`mhxcK>*x>*QkB8?S)pv)U zqAS%siyyU+{=bT}^j&U`!MQ&E7&{x8?`AgT3hjdKH~~IL9Nm@QDtL!4uA}g@I~o(E zOV~bsOmCxwuKY!0E`laX@gDeTm{N@_a0Q&orALKC_a<_SWM4*LXuXZ!h%z~4c z@03I`ZMh}vc7wijs|HU$C^H$z9oZO}^iI~~btX9d)XDI4d+Bj~lBVU^@h9~*Ewt{o zb&j@^K84eiyVSeL4#NwUc!#EUS9W%kXLoHlUo#eKQ|;rLafKdQ(M6NfFPf60x@Ics z>tIvGeO-6Vq3$Mh20X`SZXKLl7Ogfs2_R>2kU*W;i~0M-{7KJ*017EBTuCpy!G#dXTc@W4UpVEnk1EY>$%<@+uk_VJd`tlJZv_loUoic zY#vMx+hNKP#jS23tb07Y+u)tBdm!e)l|KF)PW#f7?MlDhAIY0fe;Aw!cScU0+e(;$ z$qcxO|1w-}8OQSHTIkEgw9+?-o7DE%Fe*+alhM?gDTzyaN!=_p(?NS@REA3&{MOh3;ZT3Klj61 zee$(%ickJ4EPEUELo(n79&Ww~bKx{5RH*=N_yZ>uxtriwu-xk{^nG|I^Al8nKf(?B zJnnKMch0vS-vK8cFlAZ9eu%6vu#N%u7Mt1+18}i2*d$w%xdd>TTH#=LDeRuWa@Zem z@TLoS?SF7yf1f-+i5<4{yBckb?2fs-qz;+Vpd8}a9gg0!|D zNaw_leagwhNpAh9A-Q)5c24k&QF+=3k3Vk8MkUWL;Lf?vOTc`%pN~I>Yw_!LmIOPy zm$BFw`|>d2@y$B`5Bkyjw(2~bp8u06bJS6(f|GoA<59R2{Y%t(dW@iQeF>UsXZLYh z{KvGIl3%?~hTlk37M!BuABNwpXFdLVI6cSM9dEEdW@}3*&q!yw!nSTU*2jj99T3Ur zU`eJ@e;V`K7v#lUt3;+WuE6*I=rBD_0Z-hrnf@1*4C#@O?3H6CpmUt2;2 z1}$kBh(O@b`J@k zXEheWV{pZMtFaJ_@f1dd6}e)ZUOpUNHp2^apXi|pGcwXv>H3cW%nch#F8UwXW|~9#rO&%AHL!*L5WfJ=fi1V zTa6zCf4A4nGseV(%CNJRc`P@QNE@z!F&p7C@Y_DVVG^CoH-8qq0Cs!vd+?h+dCX)@ z*8B7a!S8w;k|!Bh-ogZK~yVK#Lu)COb@DZQY&> zGd1ZskA)Dq!z1B>`F!;#u7tNg6_i5dcNd)cbWpY`HXq^G!3U!Abs1-GSYfQ!vlmn6 z306?pwMd8Qdmra-ffv{Za1z`>85&Zm$?dTF#(2rzP-XCwUuRo;%?LHoitO3d#wtTw zZl~86t2C{dUBA{i7Ncc_x2@;Ry3&52);O<)dht_dL%9{XaNDvS6W}s7JPkJv$L$sw zyf?a0@f@ObxT?aES|xu7&dZM856=93@Y!TOEtI_d9+84)Ic|zq)$`NRKg>uzm>-gp z48(1>#H0^72Kw&hx6)6dzxg=)4|vw*=wsgD;(a11o2|&jV30tB+EjR()(v)}bWK&EdYTze$*oQEdCWQXN5eajFQon=0fZSSqZgJbh0ow+ zQ=>maISTDB;RB{s^i(_iES$C@dI>rFHJo7+fYMKD&tdiP7&zeLW$;3cHjDpA0I`>n z%fDGtsrVjv{~O*ZNKNEguQp{}AUc0G+<@GziCmvhDcf~zT{v%vM4b-XmSzY+qhZ=F>bmUXuiumY*z~M7o5&n!8bt9u8UrOI)pyf!LzT1*1$=0#!Mw|-h+(r4Uwg|9~{d3$~(7Z z3`CDbbOkHn1$=}QDuq^Q7p~xF2FLJozUEX>KHW!?2g7Uuam0%*yI_B-ek7BO(ArIv zp}m=$ziL|HWaXfLUm~oFettR`_yI23%*Te3FS?GZ#z3Otb_01Wck}jiFueRUKP)K+ z1?=rvUky9~CsQMC&8*F(|EKr{x((scchZzu%E3#wU0C%u=h3KsF(WH<0=y!hOWLRZ zIvh9_{ey=ipEQ&@x-xpHJ6sEwwGYZh72rpq5#0KzWIzoh7otF`EmcLg2lf}uO?O-v z&@y~lUh);YC#{u(^@qK5R#(|Ea_;8sT79X z$@`s@wuGJA?^igD0LzuUu9yeb0Pc4-(OKcRv7|K}M#15a9LAnos@`Xyi2%gr-l0Ay+;2P$;$FhG3`j?YIB`<^L z!gCc5yqjZfu^=bI&i(&31GPaf;ue3RGj*{dZ);~oS@8J8pwy`qPk}RG*TEZbKN?M* za&Qtp+nTqyN_o<~|IwOZw>3xZ|Dp-JooO5!m4owe8I5O&>eVxNdKN!#$xMD-Z~}^@ z+IFrWW38fG0mr>X5vl+Vz%zY(-9)}Ld|b)LLe;KFXN}(ffimv@U21 z`Dk+*Nz*CR#CHUs91epQoFahOXaIZQI$l8To zuLl14dy4kgRe^i8-;+d4hC{Cfn*Oe|er2FtxXsFd8UFOOz@@)Cg_u%0q+dLyh`i^; z<&7@v*H;Dl7#H)=rNe)*5y?x&#eE>}aZ$q^Gy42j%`V|!uYA5|=FFKh zXJ*dXo5mM9HNDWOEJ@2-+Vu);`Qw>SW@`VF8K|iVpZZi}@eLtqFCtnXAbUR(sqpbl z2SoC349TTRUIs6Q6BWM?7xXoRKN1LNlG-3rI^45Y3eWfPsly`EvEME_KS%n1E)r(o zlIVcUf|q*=vKdamzyu|4f~Vp@OT~kah};jiQ9RFT*b^A6X;Uooy}m z$li?Eg3*RFsdYOxiVVrZjN-L$?#&@-t)?wFDY6H4_kHf)A}M1+(n`svL{5Gfs4?$m zxH89(5z5SGr#Sy?Lkg5PxsisC0!uQF9TjQHGo)T^>I+uek#EQ@rS>+f9k|61PTSe^ zV9eBwH6&KaE38d*fj+@-|L;V~ZZjlV=~cpsetJS>w;b69Rnw9V>*xl84 z@J1h}pCQ=n(v?39mwECW*~&oG1VhrvC;N0x!T#g!b6%ve$dF~q!6l+e9}E=2cD=+f zr~Sc@q&Xav0&CN!f&DRI?I-GF8Uav_Z$_{7E<;L{9ZlCHx!7dg?Ce0_jqHGK+6CS5A^0eMxR>h|xX$O-S$OuX&4CKY zTI=MAKszm*_Jhbm1TB=qGvPnLq^h&QD!4b79vR~BkMJtwZu9sMNAn|I?ha>W2AqVx zof7>tiW7Fb!HAZcG5hv!;&?54F$WO+7Vu8tv(sJPtzt^@uvdqF42Bt zndfLbsZUZ(S*yK^><74fl~**wuI6ONdvD>b1s_vScdC8EWs%s8n z`c~Lbevj;hIi|Y-T?EhfnR^#bF7V8^=}p^bzPrz{a6RnCVK1EVXG02gCoUZ%^_mM$ z@BwReP~R4p`cN9}aFW+;x4=E_@D`f>Yfbhbcf0dz*3x+P6`qsAJ+#@o$NmAAzzJ$Y z-@`kw<7V!_RGQY`ytZ8qFW+LwY);-jxEgp5`aPL%pF@0KO@`d*`H>5c@%RpTo`FiA zqjhis3%FhE%6@b~Z-NxV_o6>kE$|BbqmPfnh3Gq7E)bADk@y7tK5e}9c!It}%l>nJ zdeII;%G3eI5to8$_OJXO43}*8_Wu<;7cPn(fQ%oYNm7xwpBt@79rY8f!?`yQhuwxO z#w|Mz^&{zFb%q>QoOB~@-Q&%>9j=Gnf>;GF_whkEwkl)N|?auQ4n#K^~R(mpzf+JB2-Y`oa>YXp24GnYs0$|CqE z^U-3R7&%~>SLhpp;Z}o)+o!}y*%=2<-*3oKC*KM8@X1^M7DES{=Z9r11MPhZ5jX{f3gtl7@2FJdZh)7-GTGbcdvHDa3Ch9X zU^>hpkADpZKliv8PCR1B8pnQElkXYW%7A-|Ef|6UxKJ6qEK`$(IM7+`FdtqGyA}8% z>~}czx(j*dfAGZXeexhF_Jfsuwcbw8?3u+&>Ptf!)xudfkt#|@dDJrnskjmQ4i1J2XO3ZvChsnLQdi|K=H^;`BaTeA18|N?w@9oio)7z-oAij}OAttm}4` zE3C|Z`bvFL3s{2_}2Tj>N}2}|D7T8RjF)&lYDpMS-6Dxm#O{y?iMoF7oY`J z<^a3J*U@5%e)2vU;@Ecv+(Y?a#JYQ$JbpQnI#k~u-+}Wn+L}UoI-TiS%N(X}YZ*Rw zL?o??Dd}qZ3e4BWo6Q~Ut>J|0kbBNCGLQUNlYm^0+WCpJOGh5fix@dVxX-jRWrVVq zbsINFds9jjFT9F(L`E=cgM>vcsBB`O5Uc>dgdnmvDo;U zA~G;!N?b7N$s)@fr!R@o23niO>-#T{A596y4K-z_3iv#0^(?(lKx?q}KBU(KGY8&7 zz?YiMiBJxgJ!3W}LWg1!qs(-!7`vC>1+RI;bM(KhhR5`Yf%q>O|10A=-3?gTkL&lf z)IPViFVvUBPUvzWKMn|LbvB{>Z=v--LR2yQd&0@7Lt-K7O>6I~^u2j)U9a*L|!#sL3YS-O%-L zwQv3c_~;Q+y_&4H%k&N{%`b`0&_Jm9W*fnxYtEZ;T1EFtD|4k@qleQT;AUzSl16nZ zGvI_4JSY@b&(h?Dr@h5>o;F2rNI5$U{u*|pyAb{cb~p1beB38*`;aClJ^6K#&A@4& zLOHw~cI)6HxB|XLE!gE@ZYrPr4Qub8^!sAMug>J{xY(N)d4vz}%RCw=*$Vdj#Ze&4a;3;?x9w(~_+u-!m(Z{WA z@GV;Yh|K8cpv}o&z`h7oz{}SelBXOj1>gd;r zt-lz~dnxKr*dBO~fyS4;1#d%OZix57 z%b1T@=Lp`^DCUOf{CEk9){@%%7ZK1T>?r(;f#WsNpB8L~ZjI#~JlzmOj~a++MHhO) zkV<7Rp*2Ovf`y82f|C!LlBkYw5u9<@lvPUJKLPpsrt_Gy?U%sy$d{3Sjst5MD5V#c zstFD7npx4Gq3j7)Ud9JZn`l+r{1Ti}7rlgRJ_e^*IH2bD>PWHrcp4n^@$2w1jW)~r zjsqR}nMs~EWx3*+@Zs0JDj1Z=wO(n+)?ie>3~og3=0xkx7dku|E}6@jtB8Exh1=Pe zgo6!DhL98CIJMwW2K;qD%H$nXPKcCzJzV^p$CuCmSDiDRPb)hD_u5R=xca-`bl?15 zS8zRUH=UoiZ2cm5&3Ys3yqxTTj~E!U-b=c7lR3i`2FueQkiQ2zznm*R3|CMk1jMP5 z?pLy-Lm^uo{TS&DZ}iDa;4G@55V^hHN;tMhI3!uvwFmYwu#hCNU&J;)brlmhvmGjg zTi}$BO~(gY9_-F8$bnr-e-vCtj@W+M@+aZ4_~?Vc=2kr~jObLjIP44QZUzddOSkpv zy-2FAB#By}@*2tv2MZLRh3iP762*nrva&CSs^KI$W4e-e?n6ZQhR9HSGaOF;#H-sU z7>JfdbO&4Eay~-x)r6#!3wLlfjWT?nuQ`>JD+XxtK!hW}k9Y~l*Ra1;FHR>Sw01*9 z=wv$eS4k_Jt`^7{h=;qPpPzQfn&5)nd~7KBy5Er17)Vqc8qRCEr+23L@VYbnu%s5a zle2B|<-qfBGCAVr%+4(Oe-Gclz|lPVP8l*+E%4gS7iN9l7#h_NhO{6R^Jwvv0l7 zq1WNLI%TEie*sHt)A>J|y3~Y_}I#-+VEQkU}?PPHT zmRLRml!2rI{$m1{DSiRYZ{>B)ZWH)Gfzw<$oOB6Et2XojJiAS^17SJKz^cnlG1PTWu3YkNnd;NrxP>{2^^5>AKR1^x~X zq0x*{3k2?A$8C9wtC07a{2#3uc3ZP^|4*I5+nL6(LoLvjr)DXQXO+5s7r})unlgu9 z7i@<*l5O=b6R|c?UJ180q^1kxfu|t_+;EChgX5`0TROwEhEA(o<6U_e)6`&~M;?eklXeB(nWOy?d8yOG;+m zd+pCDM1EQy{Aa??Nvyhx;AHJ0R%1sj5~m;Q{4-YV8B8-fG$i!7rNfy;ksk)*U=(uk~hJs5kDB^)>R|Nru? tY3aYTL{i$oi>pM=uMQ?zf2<4+S{5mLGZ3`uvtnjz+9_-7=$IED`#FEi74EL`)1#jV(+JjZMvs%`A<~P0h?q8Kw(9U{;sZ%gHIr z)x#n`ecu+AQ^Hszw$I+mlF5kONXMtl>eKDFv#?{+IDO$Z7UAjVx3VZq@7c~Gj@^WZ zx0%(Z-`&o_fk#??2MY&&3%2L(V41>-(+G7boZe=b4swCC2>}Ju_wK{xL{Jz^+t0#| j-FA?yv=JWDK?FEi74EL@Z2=j4VwpEG&(UjLa;IEsYE<7^Vw8U{;sZ%gHIr z)x#n`ecu+AQ^Hszw$I+mlF5kONXMtl>eKDFv#?{+IDO$Z7UAjVx3VZq@7c~Gj@^WZ zx0%(Z-`&o_fk#??2MY&&3%2L(V41>-(+G7boZe=b4swCC2>}Ju_wK{xL{Jz^+t0#| j-FA?yv=JWDK?D2 diff --git a/artifacts/program_methods/pinata_token.bin b/artifacts/program_methods/pinata_token.bin index b53c77d2f97dbda6ec5cd1495b0b46bcd4667ebd..b07f307df19925d14d7e17a0b441365797b66316 100644 GIT binary patch delta 9721 zcmaKx33wGnwt!FHzJUN?35)E~eF2GLAPHg92n3=7in54;EJHxlC|gia#K0vA$`e#n z#*2c28fT*L1QA~|ZyXXvM3g97+@5HHqM!x{5|t&w`>Su=bTb3^ed_nusXBG)Y*l?z z_*3&GKQ&+4#+dYU+xEuV{LF=!#ygpTvTws@_K9SV4M`&rF#-WeE)yB*<5%EvA9pGj z+2!LLxas(iG|}tdfCs`YG*`g$Q!U|t5(pSFXun7$>$N;An;BS;Y)J<_!TMID7;d9E z0`G$@%^klJsrK=X10rL)SkhF>+kY>T3&-?D;Pr5lmdE`dvOUF;O)iHG8OFefah?aB zg|F;pNzjN|Jp7=@s6Tu1WpGNmXOJAiV~PXO`5EwR=67ZT<s$2PVo3Rdi(k0 zyDP{wA2&ISXM1{~o&&G+c(@#7U=st`IusL*h_vW!$x;kZ$#nLZNCy-))COh#BGL`6 zr}+_hs89aB^KwOCh!Hq--1+5j;7lM~R)vL=yja=45?eTSqTAtJK7I`ze2c~IQ3I~} zjnLf@a+6beG7qkTW9v7=gGX9YrRR_Som`t3l3>)p;j)r}?9pC!jy{P?;aKvO!b`^B zBJF{Gr$h?Jl5CoPh9_g-M1A7q$d+S)b;IhN5IHfyl4`y0^wSj4c+_Y<3$M7-i+EWz zj=jsXd*m5%7_Ot$z8Bf@OJJv6^auXD(~^N&P0zC&cakMzwKZ!aZygUjm6?H8m*-eQ zYjMNW5AE4gEGf~`EY##pwuH)c<;&S^=G~UWYk6EGzbf#Qak-QDYoKc|JT1pn|* zQ9&y0uEbD()VtR=BzKM_%e6s&X<*0$D9DCYR@7@`Nb$*#q`MrHiB96FKv`V4m?(d7 zcSz#(y#K3XNWudAq7PEUx)BdqG84Jlw|1f-1#>O;Ac}{<8-2V2-U=t^`3K=$KJM1o zkbQ7QR34VO3?zgtS*sWP0JoTD$zaVXO$?a?7ixYUZZz3z2w%Y`?(w*7Q$sePFIUgc zZHDLbiJZ=tbE{=C(Bf&YNFIdCpYV7Md;)orR`4Tys78Sy?eJ``rQZBk zLNFfLqzyO_C?0U`Ry)IitAE6jVa?FC|mgH!ICtqer^)yeu z2`+{&$6%GSr{MK9@^C;hI&tEf0UiwSY9ANFl^D=ZpSTY(OUMmLqE?s>FUFt*&0FDW zpMkY6H{@FM-KOP(;Lgai6$i0sNn}P{vn)J|_S2$}ee^*(*Coe%m)lf0+s8Z6(}?*o z&vv=u+_sntr(kDiz3&Ftf*WbBf{Q&4$cxVIdS*i-JT;!;Ku}9hTnB#!8=8;7i@aM@ zx?%VsQ>Y=u38!e@K-=myqh@_beq~@812Ic8x*Bqd z4OHV)8-$(w`sQ@Q$a0P~FdNo0QXQj}c{Y%m*NxP8$GgZX;qr}M(PX3(*?T>`MUm9D z<|<>Zv%9U?E)ZUqW=NJ}NtSMxX)KS2Ep2DN9`tXP#~hjum-y8E3!ZYHr#{$|`{jSU za}I`+&=>Q=c6ia>d0s^W-dK`oC;p4=9w*;2ixN_E`{Mcsy*9f6&V^(Cxhs>*fn#m? zb!SF0=L+9!A$7|b*;X^wuna%bpaNCre`B&&T z#9zY!;FulP!^=IMC{Hj@?K5;IoW0u%NSi)fNZtY&55L3wEWN?YaDU`6{thmL-7ZHW zToyUjl|&fsOh_@GGKQ_}N5+52`&0+e#4m-VoL}4D1K#whcm8kT5_poXxZ(Y|Zy)l` zlj&rpnMdn}uOEgV_FJ+<`)%(CdRT=e6`Gse!ano7b+^DB!Zisk5%>V|Sb=;A=N-1B zRIhJ&D}M8>9|O;X+ao968_SCfY+@kh__D~BYs{m=9v?!7KNWHd$q2;BF2zUbAo~1& zzyq-(7N5RDc|5_bqk1JDUe0>l!#;8HxnuM-*9F6J9p^cQpR}GE;dhT)>PySbgBRd} zD&C>muLt3ZU%f<6`xAM=J}vY( zD)r6-M)3rzCTF!PE*Xsgd7kDQ;5>M+<~fo4f#$lzo}_GEzUQGjPUawUycwQ$GjCSL zW2yNToHZ+!5&@}#Px#ioIfh;>wtnbPz3?J9MQ=A{EG^cTQb*y9tZ#r^weGZWhNQ>Y zGCw*$O>X!zq4eEqPr@ZExKc0J4f_^IQ)k$Xl>CHel^<%`k`q-V({JOMP|Frx2X2mj z1aD-cty(^EJWt(+JqIj@7y0;0I3A9*mR62E#9U=gSVPE5eDf;cWp(VDkE_ckkjr&# zS)glW13Y_T%_pW*!5dlMOrNLwL~6_Dpt+8Hv+D6X=`rgY+OdxVF*)}lI7!<-hJD*4 zdb~Q4m~ECN)*(JqLbmkN$L{DD6U?I8;mqTF8F#UXRn#5JP;Xsk*R-&AhjW+t%y^Le zs7ykxTj4LH-67=Byoi&pad%b+TLx-<1McAQ(b1MEn!|S+()7{T{6Lx%Gth>CSV`vJ zbM7PIJ-B#bNZO)6B}UMhakm+cPuw=0QtoL>LNIE0zGK{LJ{4!AI8Q%dmbFg2b~3GD zlr7t}zaMn+pEbJ%j4zzG{$lP7W~SUrt9;GNgT?T^zj}F4=RV?5V7pg}y3@wO70-Bf zzT|9q!5kk*ENA=-iD`vqiMSp5cmQ*VdQz%hOG9^$jtxBe!$md9av znt|Va3--cwya|#r&yc!4ewXH2#eBTx8h8di?c;v)4LRx4_b?pqTmL>hqB_=ZoM{`) z#B7LqFM%Sq15|1fu&;rlRV>!l&7)G=ER&u`81Li5>&4cY&S zcl!R1@R0?Fw6P1|?yq{@{Q&L(#|~3>0lms6zY*^3$p^?%1~PmT_QD6)AXX%oEW|r- zvfl7ExC8TJ@{V99!gsJ~aCn#tdh|M`lqi;|<5&ZLTwoH=W(3<~qaZ z?c{%E9*r{!A~W`xs{*J0%W3?zdBg~Ry-(!i$!IJRsiMAL^OGBOUCc&}$^ZA^10(n> z)O_k2eg?iOAPZfU$Z`xqFCszFUets8^x81j+;+${M|E2A|E#a_~ zF);QJ1xlk*6Q+O1Z7W&S0B^^|F^=a>%EJJ4r>OaN!6$qn{BL;QFVWVlg?B4yy@A__qWD)Fq_&NrSrqRy|U2EBbrxLEC*RDINw7JY~yr?V-hR`Dxqz zfltY|!Ig`nzw#)qYjQV)qE(@I3%vBWn=@f|gDM8{DxytaO~?pR4LfYNohqIS=lIx& z&?i*#B6txY9H9?XR3G^P9vkGJYe20A9OYZPCT5?* z2Ut+87kt=|I>*H-1d06YJ-I2HGCxaupjR`Va|fb7o~RAqgDV$WV(FxtehD10WTV!X z)f|KOlZ5Q=8ZeiErN47xoyGqP7oN0bwU*yu^V0Tt;0-vaTD6wf5ApPW!<>c+)amtPMKSksHoe1wA?&vV;&M=nczYe--t= zl1}(KIilsSz#DxWNTyVqhQjX0n{wGC1}ez%*n;=q1%)1my0F2gyp*&{$H0|E{B)={ z_yk@F$71}iuEhK;3#rie4fzmuf120)6+HG7-x_#?n8wMaDJY~&)IW{j_HZ^Fliv<+ zB5SjeD}$ed*Hg!QqPV;VE~QFhRWmP@Bqd~9wFfuAd53M+2DSb)ygpoEONmz4KaIR6&Z?cM4ve=HZ^PwhE%!E5^P60K?g6U$Qh%!t z^1Z0Da#?>v{_!Ruz|ceMCd!-e~! ze{xa0>RLj``WAYA%i;9@tiE1MhYaW8kl@wz=#ji!d^zw0T;&wFf?) zNRsx$1Ddb69gp-Sq&n$-fc<4SaMHO3h2LPHq&a1!6?_8^zSMUAQl~a-dIxphfmW$c z^e{Z7m3P9;aQtOns}A1DhOK#6YJE?_gWK?(q1QLL3!QDb|Dzn1r3@4>FjG&sB!?fz zFd$v?QaGm_S*uS}0&lfF1FGPPuC`cu{)oHz(8r^yF{!dP?xE~DM!(q9f%Z(sLt}U! zxH(7sb2xg!bqugVP54-GikIchrjph0B)!2ncr83i^J{Q0)q4RQg$sN+HEbHc79o!{ zwpH*}xLmDQ_x~OSg2XUZmxHFGAT9bfR|d_2OW{R&!y9uAnctlgX%}yS6MA|EC(hvQ zc(v_5&(-?=aA|T#O579U4Y&YSeZsx}|IWZ#8qH9>!AUr$1Mhk5^3cqGYt68~HBX$y zHz}9TR=q*o{Uj-kXSHtC`S99xw&d~ag)*rA1BN7R#$)v*djCJiz}QbnLTx|=yxqtB zX7ftg>B)cMgQG>2*IHE>@B7WJxn3LP)2v?L^~_hH>La(p3#u`oe$;?hVW}IEq}qRq z4s>~#x{STau<$*&vSmn?Y8S6uNZIg$iCs2VKS~yN3dvf1!fsCLPiE@ZP11XJ>)owa zdXMzpy?b;|@12(3BQCdth@KTg882YlOoAG zg0;^pt=t>z6q&vw7=K==GA6QlN3i*MrS95BB^S`#xg_{VIsqJ1!)34Qjjl0*7gMAb98b3~F~a*fO$XcW~T!?a9~^{QSHE zHcN^O*?WQ0D`~5qU8YRAe`=TibV6!Gnc6zN+eIgIxzN6yT6MqZ!cMJIQ!Y9oDNX(6U|Us>ZENd-_$<7$s~oAHZ>g;yd)Y4CK)Q_`&)aj&EC$((f+W{cRg!8>silj zt$kQ_Hlplo#HuJ(@Jg5NtfDY!aT42+f-Om2MI1w}QujBL!ao7sSbg|B=hZXj~0Z1J(<O)K8{pF`@TyqTS#q z!5hH=uq=4M38H2PA3jNx)?cO$Lf-EbQ4ZMB_gC;%aEy?9esexe*plvtu>vSHu=t^lOK_>yJ^5< z7ZJKARU4J61=)P zOD41yBTVVg?#q^`QcSxWYVv2vgvvGKJFr{c44FcNT=f?=x>mA#b?>jP0d8%nhf#Qr zUD2UIj8=oI#qz&^7v##cTP&{tCui9~4Gm^g3$}ui3~qAp3UH!>4}ib3c|5g;VMFK1 zG!zxY)9!w-GwS2pFv?jd(`sSRKiV>y4+TCj&x)9EM!PSmG|*r-X}b5a>zGG7f+&AC zL!}Tg@3&Tr!iwM*agYGkO?Y0WJjnUJ(OyQSf0B)ZaGnj`?%;CpUT~P0?{3fNfP+)P z0dS%z*Jv#U!ZevSiv`jxj3O7wlq`5GcpA7&@Q2{=S$0Ec0yoXH`OXfE%Aqeu%wOIS zo-ah?M7}(5E2BoNHzV<|i;iGmLbmOJZV@PI2X~BQ^c6g0d$p2Vaomlj}*DwfHF<%Z`z?Zl|~b(vy?VbPr#O$2k#b59n7ePCJed9Zt_Y($L9 zRn%YU5?ekFT;N#$3D}`uBc;o=8!QGpH#i4A0EIjy_y*m&Uc13VVCM$q;N2@^`cBM0 z3zlC)N{R!qixy=>eCdgxif*^RZwnYI70z7n;J%5)9 zhDXYU0b$)4ZGPGcrHg(5XM&AO$-mqqJ>h+@2cs-UQ(56>K~f64(?2dq%3$mDZ9&p- zmsTnv2iM7zEt#Ik3}aMRikuM~0B9u4TYQZ-Pr4d<5J814f7wPe#nba#ZpPh3mmfVNjUh8gR42 z!06i=* zrBrY&9rcjAiQQ+e+Qa6`Y8P8~xF4HK{E>oZ`1S|_X(+8t}W4Yzf_25c}x?|w%dA53G2=12; z?Q_lm$3UOuhg0C`yg+w;Jk;Bw6G zE#lDQZX5t?+3^&3waruMT?{lk46OtE4%z{^V;C+ZdjaKxcVPY~vB9U{k&s(VICvS@ z=yFJed;I4IAQ9&1nX%GJHtwSl$oTK^J{19!;g_;QIKQy}VQ~3j`}|kImEdWj;^vIR zefzw9o+)}#yi^~mJv9z~sF7)z@LR(K^sqXa>IBC=f_)a*>*j)^wU&gY?ckG;TLp3v zod2^-hs659kHT+`^$Wmx;O>wk-`ms27%0bp<@jd*p1Y;`aeq%ihrg^Eg~VJQ`k8Y* zI*2%br&LB`V22f-G;m*VXHze&2d~C@xCi@qs8MIbr7do)%e^?ydH6}_nF-!`L8e+^ zuMRG4#5+{@)qNj2=&yF7r+|yGPo&uA6>!u=TOI)CIOJWSDA|^4Gy?+@9TPTz^D$ww zFu->|qY(wRL*D|A0b2+C5ghXy4j>GSd;m9Ulg$r+Q!m+^51w{ercy({#;Em!DE%w; zEw&b%2=)nuw3;K!$=fI8y6sM0Hi;~aW%KZ?mP?o8PmQBJlAxNQU z;iuE!?bv9qkmqIKsr!QMfF0ms2VVq-fUVXtL|0Oz4N_(WLSE^Z*D4ctQ!AzA6o`C;+3r`G(sGEq|P#>UBTLv3-~hbuOL=t>)rI>nP|8CT3Uix=uh-dJX{Cpa)nAz}9qa6!It#5~ zqCyqI-*4!JuSo-3>{or;U!*E`(%89Zm2ca5PzDbC&CY|K^AL|x#kf-Vo%S5K?p52) zPxL)&r3{z%cZ~mm@d{zzdOhxcq&dOtlD@H2x*DPle+KahC`7_xTNc29=arT(ip1w2 zKc-Nf2uwmgdb%So^1x56QOP6p?*Ql5BfesO+Mm#48r0(R@&-j~LC zG(UD>YgK|X3@`p0Okn(LaF>OQBnSJzZpZw$zyVlcb?Q^#Kfsp0nCBSG8Xz*&Z$Q1xAM)f(tL9ntH1(*^=~UM!m~aqfPVbdJ()3timIl{|~(G z9eflC4lYKuzOB+kvGM)jJn#X*OTnZ5rqYk*d>4JGE1yfdTq8e2859gwDNndM?ODWU zlWlP=cpA8qP?S5L(VJlF3DWjuUHzvtjIkAZ<`>egAhu6e4oX`jwqHMZNZP{Kqk7@D zQoV=m@#hAl4X(%~dix{NIi?*A5M8=t#=?s#N;-m{+)&rMu~BUN-57{^|=htfRyLgCVyd62uJr4cfE5_RrtkD?^q}8H8 z(Wv-@=T6|a%46oQKb(((D{IWxKIf8?_?4~3EMU$-r(nQ0=-j9^&Ye%=hxbzoZG|T} zZ~F;9?)@OsUSt>N@pVLr8x`XT(wRN?q(RkFCosGz!Sl|M{*v5{+@GMG2Tj?XM@LFR%o^GP#L)Tiemi0$K@x$ z4NJ{mc{ulya5t!CRd7BEUUk998O_+h>qgVAGn+o2FbQ0+UoqM#=e6K02Y2=0!F|a5 zAmj3mt&tb_LbN(#v#HH3GRY$8mfZ^W%d}nS%Zz}* zHAq72Zy2x^1FL?+iA5Iw3tV>z;6qpKZ1>)<^?x_(=Ov%10F$4J#<$r6rxP{f8pQ}U?13$7l6x= zwLZwX!5@IPqK@&2VsJh95URwgnm6N+qzKtw;lV0!{?CeG179B*kM&xeLX|>c1_nlT zN0JGJYrxGt%|``a&}GoIF4e$Jm)3yGPzA9~FuMj?r^ z#XuegoJn*Dob`?Q_~i!lyAuYHV!W+6KLIW}XIG6M?Cc8%z|~h}<2K~;WAD250NxR( zzmn7VUKClmZ6u>l-bV;vs27hXb`P%48r!8M-~jFhS$N2U`jamx#t-#;gX!SrYV-S+ zbNFa@q{jS{3+J8Sa;%RO2Oc~g{eRSOJEqy=@o)&U>w5lUc)2)o;9c+`2M564Ie6?O zlqGJv0V~WpCprV(tJns3XP|EkP)HW@bHNqxC~r)>th>%c+4V5L*!Y3! zXTd|0@jfte4)I@%qlev#0j%H?&T@{mvpoK3WHor2*kB=eGkBul&%o|D`vnv>8wYaa z)NF8H$gRe<6TBB(&DZn$za9f_#L%kC>2shU-h7*LgZ$t_;9{}i%p67qgK#3@;-lcO zA-2K&bMbb(OEI43e0>J^P(PI_jT19k11<&gK4IMd-(p}h8cnL$;MTctc{JYh!sWyB z{-ZU6ovm4W2H&K(eD;bB)Mt^TXgnpNRj&tc-l9-Ge!buZ^`6ft=2LjA4Vm}<2N+2E z%KQrE6Iv}m3>};f9$00|gAumKM!U7n0S7KBE!S(mLe&0Ryq@t@$ot4Va8WZ1Xk!|% z8%&`p#RT7H4m|h*>e70X!GLOT!)+?95-$E|G0Fxn80)f`_!6?Xmr9$(2~+jBvr^oV z4snAL1}7xM#mB|R$HfjF9G{RdB;NnbK6lFXB^%Q{xA<3l;g}Q|ue_iv883W^PFr&pxzrNoc@n84pe|?Es>3;G0l7pArL-hJe zcR%U+a{0XUNT-|Gwe^6z=k=HKgZaY`x;1kBF1Nq>8IN0U&hz9kmZIlA>v?n0{{u+!nK}Rf diff --git a/artifacts/program_methods/privacy_preserving_circuit.bin b/artifacts/program_methods/privacy_preserving_circuit.bin index dbd2271c1972345b259dfe0fe558285c6920dc72..57284dfda580e80700bccab25d1b898b614f8245 100644 GIT binary patch delta 8407 zcmai(eOy*mw#V0gIL`r<6bQ|CIp;xP4D8`WML(J*bfrmen3aryqLI;r7czV)v4ajK znFxmZ_(njPF(yid9x@b4EQVCD9EV8_u6mV>)b2RuC(-WjoM#`-@eVNk6W_h|+H38# z)?Ry`$I25!D^Co~%4XTNY>x_IPqg3k*^Dl(bC3@aF`JDjK|LHT>}6s93qjoiiMDtU z*=&qneU{OLWQo>cj>c0G7_~nq(PSuU{Ht2{s8G$=QZ;d^@Q|Q*&tp`zM4~`0e+wM5 zRH7En{pK?YTqaQsbL&3_?!Uo74??av@)o!PY&dotTx;Pz&oT0{@C@)ylb@sl3|xFw zq9{+dfqHOjhJymQftO!oGl|&hkYk@fkj?0$xjc6<^WRzs#{{*Llz4`oY;7ki& z0_T7yxaA5t{|g3JOSFe8Yz5b1!Zgkoz&?4vGz$u#~iqqu^qq`Vr-E1C`G0Pd17nqy^u5(Eg%oo@NuIyL>8`#XvRlotxrKejt39MeC;%kLO%`$8{Hr+olz>* z=Uqppk1I0w0&+;A7~U=iLcOU<(i5O}sr6{b z+s%N!2qv(R=-uFA3%7wwp>OOnGLO+Mun~uHaD25yN$!OEkx%};8GKS*u}HY)9d^-$ zK3-zB*%4b%!ta`f&unG12Xdn=4^ayh>`S>^fW(|KFRZYQxS+uPJQ4H3#aPFv+@0XY zCbMn-rpZrBgl4M8bNnXQ!Tgat51HV>@0ora28WnDpV(%!O^c(^;QlaRbg_JJj;TQ3 zf*-^D7;d01Hh$W|v%nKDU+;1#gl(=Nt567Es=2F#JT}7zacFIpD4!>ADLCm2_Rsy_ z4NgC6?*Ex>I3eIB>*s=<7X1dWH`w70gCF_sg8~MOz|V9I$rrB8xcdRZ zJ0egoFlMt;Oew;16CH%_|7CECW!+D}wctVSb?Kkr8t5ZDI9GOhTus~{>=TrXci`_W z#EGx-IXM4UiCVe8y^9zvyDd>HkL$DGns&3$cYy;+&3bJGU$@93igB4)f@IBL8rY$ez~ChXx3sNg0nU`glCD37Ov^$aI|>R?AVs9x^3!$JTy~mIlt`Tn&!H{Arx8y3TDA z_W6FehmrqoGe9fU!tKIb59R!aj1n+z1adg$Eh{uzeF`|=q9<3NGCgJf&Or>o31Fke zwSem^74_VHM$@3*o5yJv*vng{EVp~%RDA#)z;dbCRO}rJAza~6utkA#)UqO+_<5cm zAr8G|N^vhl7r@i*lPQqL>0!hn2Zn07{A;Y!X4!~$B}(o?Ga%E!#gH4FWxcwhM3^hg zTlpzU+cNJ9aJsKdXZgCnfv5S&l+BMy&Oyj6cVj)c6#9MnetLa|7HbL6Om*Tep}{*W zdN*D@56H&10WC#blEJ~;P8jUm>TmKA*TheRX5SUaU+hSkCi89IRzoX<22aHc%e9Bf z9UaSwc>zJ@N&g9XJ?4a*cfJKEt6<38bzr9%2xmZuOtIYjfWrtMIF<9$Umz{}%(~eO z_5t$)DATMXXuXyI|zeZv2HS<0X9JSBPdo$RlOxAA{?I4FA zLxERyI7%7nPgjLu!i)nLk1dy}(eC!cew@((%&X)6P6a0&kST-vc@hWKNCweF+A&>o8CgK7A(>JISFGoj%@%a|=8#1-=M0%dao5)f} zvEav#I0)|P_TB`y+Z`R>56-_Kj-Cz*;QD_D$6$T!9AV$;cELWwuDk>*|ASQwulIs4 zf}y0Z`ZM^lg(FYlLbc3a3a$Ygefd-Hd5gRq{G&yG(q9=}FUIDjR^bdef`8jxhQm^#1`*}(y5j*E7N5?g} z46(|8&_OqN?4DMK_}Lpglw>#)GulDddCp3}6pq&k=j&$~eSXX|9&rw57>q3I&MpS` zJ#I#~65J1LZ00uD-y(nbdqx9H`4n1-fx(suwcuJ9Fs?bzX6z0e$_@S=EMUGNzoM4) zv!~gW@6VuEE#qIcFq-^`SuB13n^Dhi9C}yRZnIh7*0rqN z@iBahRY0MgD+H(GcZXllAG!RWVDBF#{cBn?nDsK=AL}FvK+$R(vIr3>l&FI1vsVz| zn=&PF9uM~EjShhm>8C(pDF%Xl98}CF$SW|x5|J0c*`YX$TwV{3JS5W&&Ldw(3pyd` z-zb^`*T6d)B&tFq);I>6yaBlpk;7mkg^D(zaWy6(#NK?tSKq)*e+5?=-_gh5nxptB zhs%fKV>1Q3i5(GB|UhyD4k( z)^(_{Dj7eADsF|}=OTytfSdP#m!YVfe8KbJfXB=f6yziCa4><(&w^`_BJJ|m3{2W^ zZ;Fb*jYwG=m($xgX@|kEuPe;MKya(v5#obj0hiY;F24${Lyc_VI|?d5k&3e3Uo?Yj z!0sKn*Gs{~jH?pu6ozeCt2bz_Z0vpAHBT|d#J5U2X9QqHX znt?;$ip%cr3yohWL{+y+9mnwgcW?}$uibl^Ja;!DHr1^9Bj84V^Aw%fhsHc2Q0XWN zR*nx}6opYF5#YfV-uV$eVEVY<#hQU3pWK_WYOsGlTr7M8TPyH~MLz`Z>cF0|{?oOl z{{uLAhT`tD+Q9e&*wGXR)$#=zDsi#m{T#!0^xkLahOsiGb2(KZLTDtZyeO-{))Wjq zbgzS1;L>3@Rb0OU9IT9xX)qtSf`JsgAhWr__``Vc$mWhWf-mC5YJ~VZ@GZ!lTtB%Q z3kKpL$n}2!UkB%NUQmOg9gYVY=Qgl%0|Sx9gwN3jf>70bNAH4*e`h*S53U<4Qvjbo z@(XlAgxDLbo$J4W!0}wZ9NYpnE|;U=EK89EeT6soIPF}!4J-y1gIhS4f?F`(IJU#;&5EISib`6&!!T$J<1F1n>~Mz^xCP4qpa4qw(#@J7xcRG_DvlBEI7%!GU0- zkK}bQj$E4I*}*o7bGgsk-3)O3~!XISk}j2Ex9bz%>h}*wuwo#DanMM}<41B1Vsk932%oCNgq#S>twg&L4!tzcfIh+criki7Kwl8 z(UpGiz=*EZeKW-%_2zQ%oY1NIr7UqrrvlBdfl*zrtI1t=R*GJoYM0D~)k&+wA)Q)P z)7}tWtW!lT%mcc%Iy*rCPfaCkQX)-w>+eQJYTW$U`wsvd}Ikox{h zS-2YaivwIfpNRgh(YfN|ow>L9EiuH^cvJLprPqk}xh^lT_g2s6inh+9quUyq*R`#< zJh7rPGp+~n#n=4)#lc9|-v6*a(@ngG71?KYBQ7ekC%L}gAc~#ZobLCY{ z6i58LexaCJW)fQD(L}|>kueoYD;jlR8dFL#XL5>nM1BAJ+#O!s%FZx z!H39ZV>ItYM#Ix&DzJHZWD=w1=`zJak;{M4ik^~=F_x_*KP?TC)DEeP%IC@yBINnt zxOpF*dli3Qw3e)uIujgN%TP@N?T)RMQg_80R#-~|@` zJ2)Ra+$&cp{ACziBGX=>upV5A31bD z=07%v(b{~RoH*%g;EJ`zNldiS{47Sn>&yt0gBvixh{y-8FxrF&br1#v7BHFx`F{(Z z2(AGe4z1HhOq8l^>etDPHmsJZhlu2ha~UOWlF20;I}Q#5b2~hekIZA_0tXBJBltq0 zte+T{9|LED4fzdlf<-?ur`7r@9mRmvfbwc<1Ixk176avAtAXoatAWY$85ORTsa80+ z6nt|7Qc`U2BzV?3nG$rl%IG!*8rGXdGUPQz`_`B|16<{iDNHP|1AMS$0Y+bg{Ve)P zi+GX9bWk|(E|}IEM`@!R*!&15IRE`6{i(K(IMLx4{LL1qLEl;w=l@!%iDL=C-P^&Frl*%@PjVUWY-8 zd^|V^+@D7VMY9Slwa8T)oyS0I%Yco#E@pJg658j%6>uO{?Dz|?dxMh##DYEkz^D%T zyzIGw7r_aT8~tu8cq7((LCEXDD(1U6OHgonW+zE?YWxhOObP6Wjoby#%696J=Ih4J zWVGADGxHeLW4;mDlVEFG^j*Rz4}KVZcnmn(;@5I;(8d-&Z8TInn=Ex^YHS)BIs^{k z@M7>|U>vl*!AfxMTqhwTbauc|caGUL7Q@l({bsI@L_bah_rZK#%>&Sn!@x#2NY7-H zj`c;?QK%FHRiT*QvFd_m^ zxuGw>`#v^{MlL{G+0?RQ+UW_;khZaD+Sv@LpG{r63;{VJQ=Dj*-JxDvF6#%Ncd0+3 z9d9-RIulG_WlfrG?Bq=1XDj*+?B z!8NsJ+ivFaFJ(eA)#Dkx4t6mAF>wyBg8S?+{WuIBX!10=i-AImqp|DpG=Kr4i>(0X zn+j9|9)tOD!ayK4{-uQ{frn$h-sO-89#7xJNQ4vGipA1OHlZWp&`>8+p*X;7u=^tR zFZ_Q8oO#LI|HMtG5OA8PxD((ei#s1^v-6~W52}aXMNe$Ni%G;St_1h&Pck(M&I8B3 zW5(f6;Bv4?X!3g>4*?7R2Apt9rVB!U8Q5jfKLhp$JH25Dq)w$!z1W(^W>BkAT z-$8gE4bc;f+3YlGH^TEXI*8c+%iwy;y8FPD;NISK>7U>V=p#I+D?7z&$*ZJNNu9G5 z{x%^_Vx6Pl!hg%uApCuB8>5`tGR2FyCW0%P%|zb;4&H6%>$l*W7P+e!mzhPL1rEN` zqOZ~s4BUjH#=GJkH~|y(3J1!zqcX985#V3I^<+%tJAIE0iI zc?~#*DYR2xUuBfC1Ggdu_>+;B{ta*!n?i1};KH5gG%(l`a^8_Dz^{Xi3iR34+To4= zk6mxKmY=e+1cRyC3Xjy;XVhw({1!=}o5FC}KBTaZLTSRWr5~WBffooa2Pa_uSi#pl zmp4hJ0lW7y3ff}^XuejoSxWIy>)vCOgmEK~3g+b$nXP^XxX_~4uMC;#tB7|FqZ!~N zu+ic!gR3kV<^G7#Sm<{WaoPd)^H(U>>)v20KY$Kkxzz4~)1WX=D2&!xDbNzFWE(0z zRoag@bW&)RcOj|=kL{>Xh=|h@h(kUMRSJ0()@ihCq{Bg^+tp%O}#_ zs_Pxlqmt23w?b7SzGJnLtI{AJ_MUe6JE>Y4iV9PNi2Qa@?JhZv9Fr%;XE>xb%CH##8yALRoE&RL=E`uCy=?$RZ z9KIzj>vqzTf08nM*=g|3e`X0nhy$dE)16X)qnnLw-x4MsbkRmv|Fd z^5`k>Gbfw`_jG%2fSc{kmhXq~uMkIHCj|@rFTrtGpVtxgt!2c+b~p^k76ycd!v$XW@vyFuDvjHk1i&wCH~bz7XgX{Ym@&0ehgYd=9a5ML1io z$=@SZg#(;)OT_Lut#6>c+DA==GjUN)x+%_VE0_l3bt3qOON@@6F^#(}qlUpaW!>2< zaM!bDbUy-j0~?!Z0tZ>-PyCfpPg6dc7Ga=|Wx{cAB@7tXoK%P1fy0Htr@<2D8}e&f zNjH0jUA=e_$!Zy|tY;KE%1oBPzcG5?bEn?b`E51{JO!*^zns^D7o5i@l;B!$^EoFa z3cJ0&VKk}QNi~9#z#%nGy6T;8qpey|ANw)es5R9X8Rw*I{Et^-cnzxi3)A64;5cwE zvC!zx7`+BI9xQcQQ9t`g#!|G)!S-Vgwm~ZjwU_#^r?hbc>~#|Bt%bYnD}C5^+L0ml z&JK0O6jbf+WGY121R~21CE<3=!pAA>a~_tA?mf||w>8c~ry{>sc|Y?x=YZ3Pc{j>= zPzt)q1E@Oq$9WpK+2*Zc&U?VI^@?5}V3n?8Aj}+~3^z^)26t(0k>kgo6rd!!PKMLjF&%|8?)zG&i_#4xB8IDHuu1xqlWSR3uZG(7y|I|E!Q( zaP%vPP$zTQ@P!7lI_tjOh|%g_aolp#W%3SKb6+myNd+XCcR zxq_cVRjQ{;esGo#J5PBbfi1U8xs9*U$?2MPnXFtGM2vRD{+VGDAggH!*ZlpFXM zTz1X-eZe`c2wB}Ax0GR*ttdn2^LvlWm+e8so;I_-0$dYhR?(-WXv~j>s4Yox7Xv+z z6h@M`_Mx*|c>8{Qz;yP$i@AYbAGSWSa&S;LTr6S(>&x&Li++E+t3w`8^q;P|{#9_= z1l8MV`9Smm>}a%;D#Ze44&q|P`#DbRsQ56>HC`cZC(`a0AXhdSi-tM=$4nhN}9z_bY|V)xTgM-!c&KIW7we*Vf|SDR7?~tv43W%cPD@ z^LE4Y@#YDBj$af5v>;WowfE{=RK?Z-f-%SnYI z#LMc?nb5mqM2Py=qcI_5d&LgrrL#xdwb`Q`YkEEOt0Ata=wU;mhq)r7qw!~Obd+bp z3P)J4VG-%+b7x1iCI2kR5$0K#?C@<%Tk|A4Y(Z^FJkSg688x__g*^!wjwnsea=g%? zJ?*ewL)uY>*8vM0q1w-{IW9|Ws$b1@Y-v-#z3LUy{<>W5x%0ZiuTAakDX=LB zR<(>b93IxDA`f!U_N`9Icbx9oM(`)G^ za3f;+gvk3Jbf~AKpq;Jjf%&mL>74P70iLK8j%V8R?H~Vg4D{5WcLaH^&cr6ZS>dp? z9VXq#!z`6O+BDL=&@sPFLFupUlkXGze%tI5?<3x}&F=R6b(O=>=Gr57 z*{9w|*&Pq%bF14?)_2=!P1}{FpOF7M3lnMb=Vg1|}w!CMM=a#)ih`#+D`qCJgaWeuf5S@zXcD zu}Dm>FlH6ozRQ|*3zHD0(&-;hvkFh2Y{$A6i{$nsdsZDrEE3ZTy;wCQ^>T8`a`h~+ z82ZqG^)xnZV9U-svnovg=*YSrzlx_$td7`J0IgP^9`DS`iAz%2)EKwRU@ox0rd!g5 zH2{nF_G%Z_kIYykrY8imx=cUh!771Gve2JZWSS>y5>`2oCuVzM_k>(1Ynm{&UF7M3lnMb=Wr=H|xchQ@|wW|ju#7G~yVh79pheuf5S@zXcD zu}Dm>FlH6ozRQ|*3zHD0(&-;hvkFh2Y{$A6i{$nsdsZDrEE3ZTy;wCQ^>T8`a`h~+ z82ZqG^)xnZV9U-svnovg=*YSrzlx_$td7`J0IgP^9`DS`iAz%2)EKwRU@ox0rd!g5 zH2{nF_G%Z_kIYykrY8imx=cUh!771Gve2JZWSS>y5>`2oCuVzM_k>(1Ynm{&U5a=-)TNB|a&pRY z^{~m;&u2M>P2={M1uU72*kr&)PXE7Z>tl7;`6(5a=-)TNB|a&pRY z^{~m;&u2M>P2={M1uU72*kr&)PXE7Z>tl7;`6(0IpG-~fndU`&YYyYL39B#LmqnX@M|+#g#0;@fNOwbovH z?X~xr)SXVea5`~$XKl=iF3H-Og*gx9XxnoF!@dpAt`$iw2}zuYXn}y-`msp9kKg)4 zr27m{KJrtMBpS;08@gvmW~{a48Tjt`mu!6OwC` zd@X!owzr^Kcnxwl0iiENj!rU&HX5)6=iMC=Mw|pSz`J2rf6!Ox-(|>IrT-5&5BtHW z{wV2iMx=hKA>A3UGw_dkGC0kUpcdtVe~WaUZb)avufQ24h8T*cd@VA704J&d{t}t` zLtsn6V$3d{ZO8@Xw+^+EnV3;r{*B1w(vY-J(~8fE9EaVw4}Z%>%?(L&CC`pby%4B2 zvly5@n}`tIV#!bzTdl&oW*(Dtg!9pu1%2hYMQ*BMfy0{jp@`)5j0EwEFfCMD|)$#>*oO$r#Od%`;; zOWty)XH+7 zfd}9`pMf9f#WnYP%i7B_%QhJ@MFl+n7n)@G zJObA?DsV{Py#$c0R(z{LKnp?=uMDn$|Cjmpv9}!@hO>~zDNZysc?f$&ii_as=#RHK z$b>bKsR{bA@YS@Rx*hmY3whsW?iNGMOXMK*@?CbvuyY)JH?xC7#O0G$z_W;7Uj?J?EO0gdtMG17`4H}o+z!M}KoNnK z?ec1UEd96`?u^_%%_Ew!5I9xw9@Og4ox0hTjANQj`ZlJuhW)VZ*|kJ4uoIr zsY%j)LvmHS9D=!{`wV9T?6~uL(@qz930(ol!fu%F!JB=Y&Eg|OR}cUn^iu&(ff{WK~6 z$h)xKfh*wzmH3Nr-eRwEv(u@#PrSCh8s1fFNEthCC*T9P5dEHNACj)qWIyc2aR*%E z@kDu?fh=!8j=||TaJyKq{_qmdz)bjC7LuzRyZ}GIe3!q0Pr^=@qY(N>PGwRE6Ro0w z`ZBFxGwnF|g(1t;2DT$F<)5*B75`AU@`Shkui^FZBz58@4&+wwg;QWrH8iwmzg5kKqA@1a9NBgOn2(yJ9u{!v$4>J z+(2F6$9)zog6n{c;f$81Y;f#{HMz*ZQ3leL!=*Q3Al8)e%3$YQ`zaTa z4#@3}G!E_oyC?8T*dK7lO_y`^|Kq!c`s6VIybQB?j?`Q0IekZJvZl2u^~&?;eD@l!*h@|L81_w&6l=t_l*pJHOvzBwH(>s3f3vZL9k`hm;|pU6`@A<3xoU+0(z_dZ z^iGeFFX5!?IP%Kg=&?LL;1b2lCh*K#*;q$ua*%;y2He6~G4b+8!Xa3Ycfo*N7zx(Y zyY+Ch_zxy?$qqLqHW)p+E3Ah3`mz`;+gh?vKh`P!w%_u2m}<&?mG33iyvOxE0qvx< zX`Nmj%*mcckAKmtgVk`A<<&ul>D0w`)45XYJFNun^@JDa^VZG{`nW)RJ>!EJ->>3Z zVfA=MpV?HavmSe1U)F3w+6>nBr75Bk_T((?4lUH!G5X9#UT;dB+L*4T`0~}oWcZn9 zcxo`tu;2Nn0Pp#5wM$%&|bK+3Gg zs`Xa`Ioql8^r0bP1DvaLCRE8$a)Z|~V`^MO5J@%f?C%;VV$RR!4 zM4Mw3{ZrqfYk#wvf242Gv=^Q#I9jD-x zY`A^T*u3mxk-zgzhp6}=79&;gf$gU3R`RoODPIbwD4zIwwz&>I=*vjy7b3gf@f@6otM+>O{Z9)I<>=emp8p_x;0x1vJhu%qu$6(r zR}49?9CWPbBP9;d;YJ4bu8DqhvHAD#`m|^b+dP<07r8nuQ#qIo=l^IrE!dXt zgvT5;oz`db_i&bv7hK>&BmoXr^Ph!FK68F9g`J3>KOFD%*U_e??_YTli?Hz+bIsp{8+vceZys? z3=D6@W8~ZDw+?$nhv1Y)4Ke6XHiui&7B?EQO&J{127@>puXrh(+my>d73JG-F(;!o}D55I|g53U`JQ_uHr5oH8EZ`WsTzd;ouSPR1E3FvjN_vPE7=kgWVd5?@WNc zExiq{e2SE-fG&37wk9KCx2lIGYcifaiB%5I!2UikiuYdqPSg4JYiD39y!a)L+y0V( zl0(i^;brJ~iPZcoyvL`Fq_+;T{7i z4GaAvu=6Ed@o6}nhZG5MPEGIbygOn0UmT~XADrQn-wl`OeC!yHf*ruq40OLGBs|a@ z{si90F>;U9BeeJu_H3_8;T|~uqUpq7&u`h2&d#YgpzMu;&vS}Mlw+?FuIe9sAlUkG z*OJk&FC}vr@Tc@JT+XRTRR&x1=IJ-YtC5#esd54=R`Ot998yCiiYLSV8rlbE9gjX$ z?Es843i)7s^eJo)+|EGZCGXfg4Er0$>+rTX)4AJh{p5a^*F-RbeLru=233?B25R!d zt`HZcy(IxT3;SF7e-EPnSJCSYm7?>5SP`vqmRdnkmL>=P9sO=^JJhcyBlP|hCEo&9 zGCxUikDGZs=X=L+9K64acdVz4WQ%+?@c2mj|7PDnH40Te&Mx4CL6RvI%E8W2mv7OX zqv;b@o6ZXD0I%bgS?Qa}Fas+Gg=DW9`0x&@xWJTI ziU;1w1Ug-bD!Oy9{}>h)Umnm)@cQnil&JY%!A2j``Ma7OK+0H-`E_(kwV?1H8OXlI zTj9I#(f(d9PxuWEkyC3<6|aSjYx!BA3?z@^lMK9E@p`zdx9MCiw!^ODxiR5%R}N>T zQnb+ph2;OKr8GBhu|Chhxou1>~j_m&o1}YdRR0`YS8rZ${)YyZIEt#|Ar~E;H#9?~<`rQGOauJw_3#04~65e4I~pH>-8z z(ffZZza9?oz;Ih@$9wq>)+E$;z1Ebm=lpbui-|UpU(BPI^V6kVIh+n}>%ar0X*7Uy za2*d0chCQDA8+R#Az7|6Jn4SEEzp`XBr!TcUqGWEWt-Isf3S+a(ch?T*DtewzX6$< zX&HUf(^Jzj()tbP7fC%F?0rSSti!>#uOzVY-VaXIt|W=PaCJ<(NX7d>Bl7(R!R&-9 zxRXf1cY4=O>6yJtO75A_`wAL%K;1j``)Rr7M5_rVUMUW%XH9T{{&Vhs(z=ST|IaIQ z>zMYF3eose|AV~me~|x-{n`71ovk}Q4BodYvhKM+Ol0>xF+uC-+?Y~L``#+JH)i#M F{{ssdlq~=N delta 8707 zcmaKxYhV>cmVi&+z99hu1O$0Y_f1wFA_NE!5F~*NF9U>!8k{%;K_wU@NWk#C5pj(> zQBaw=FruKKqQgiOoCd`qGX{AK3M#XUZj`7zB`#5kOC;ia-M2d3?Be8CzB*OsoH}*t zRCV3@b8V~7wO!pw%XqSLqE`A)`XlMuo9Tg3wc&y)k>vc4B#4L>2uS7^B3V9u?@N(x zb3FMiUx~EyaVeZo5Rz-u`1j!qxSitWCqz=l8G;!J1T=Z;v`B08w}{Fo$&WN7($G{5 z7<@(~&FdhG;hpfEO8z#Sh=Ewe^>7cknc|_=)E@%FG%e9u_rHOk1L1MiBJmG|CiEe^9=RKUYrYYwoN3@~)Zr~~=KPS*;soexxEyx-_xvCF-($!H)qg*niT+@; z|0HR0UZf_^kZv^C5!hct1ZNu()S^86Taixp8PZAdYjA45A%^0q--!&w!Ml_L&qVSr z1-4CGgxZpMhSV#&pV2LUE@~9d`CjDS!jLpk!^T|@IRU$V@2zE_7KEg+lJ|+^)dvon zH_}|Sz>v{O&5J*XtSmGnM|smBGWDmxs`OXSkrqXURH{k6hP9d{h8$Aep1@i>%<4On zZiJfPB17Voe14?+<-lPrV%1#^^bUp_|AaHeh9s%(CGa7*O7S(9MYcXYAI$HVPB`6O9QL;k~tq>@(lBJG3yt3Dt`lgM>Llk~r0Gfu>2?8sefRQqH)N-x^Yg z+_oFnSd(Lq8;+wkPlC_*cs+a(j#vH9z`-XxPHCb^0z4!t56f~I(pDL=RSh@|XVM{4 zai69*4sTKX2RLhyw|^_)R3Bd#uSqrf3RM4j%{1xs6f39lrB`!JQWm?Bo*a%r(2RA1|ZXRa0)1(rEw_(7J>>uC^`nv_C(i+rMKO6|(SjWD7))2%_7Kw7Jqi z9_%;p5xm)FK)?1%1ASq?f%Wj34Tc<34t@Y%*hEUI3C6c&5*rQ4a^zu6hSN~}ythdf z!#keycq@G91qzQ+@HM=Z3>m+S3Dj%G{lEa2_|uy5qwE8QO(h@eK&W zRSg~3Bya@|q^TJXGjM2mNLng|E8xE~-rn}MfxYk$&L?hl%MLI*ijRC&t}dRLye1LBlPqgc1O^2g8pt~dx!ALC!Yrw;D>v-ZijPy ze$~PfZtyc8&shiBPyxbmLY+d;NEsdrUklUSnP4gZ6?>cn1Ot9<6E$}gq?~*5I z7~(a^5jX_{ZWZf10DjCW(Kk>Jt$cwl{C&9EpjC=?W5mVCC{4c{L*mc(@Z8ZA>?ikf8E8qgg z6CU>P^7k3ID8>|qJ9%*iE^lNuBznJLr=gOD6lHMv2o%JdlB*Op%doF7ojHBpvn3)Jv{dow#;fTl5fB(ANFc}Eu4zn zjqJ9`)V!9ay6CW5;T$+wnVU0()bOQL4SWH+&5_%I>US&m=xa?Wj`r^>nYW?PcWSM& z8G}95fRA9`0BK{5xt%RPeT^N5cBagVDw2YU)UvjwB&j(49WKF8g_39A&JE5tk#+EX zAAbsuhTYQA(P}?c-=I(5nvFkCdI9(bp4Gu@__*pZmHSXfQ&y_IvK=n)9gel|1@yL2 z^BHglsp|{Sa;yEFc8xzmjag}!?#F=ynRgD{P5GaL-5S&5=Oc}0>&II*VSUp2vE|jY zuea)E>w99u)>)A$!%Rt4!+(eR3j@rC686qmN{r8q#pFlDAmpkPeoxw!BafcxG4eU# zZr7hJuk>Zy$>jsiS6n=uYu=iMJnAcdr6Gp~H*r?nb>$_Y0v6<*QD7%VjFmTE5689K zcQ1$RXj9^Y(XG3}s#~J3iqZO5k3FOx@7QwW3@#6OrtDYoUTiITR_`6qKCxcepdSvV z_nA$N|Ff3|rEr<$7v^(LR&wGAuuy$?Mrv+MmLHo_L?^ph*ECva;C$?#c|MrZ}M>+JP39tbW;%< z&o_QK92Xx_6~#LBj@~NP{DSDr>>6q~+0rmtkra{(D!QGm_IvfidbsC8%1^J5)TmX- zgHvwc0-<>4Vol7~J>!?)>aq}Vk2*Vai6#q>yU{I%7sBpj-h~T&@(xw%NQD# z`Z|=tNwB*O4#O$%jmluFWlYQ`f5Up^fIc@S{L&&#TEF3qTeTd+gF_7uPoKfF{~U7a zu)Te{aA>^+hw$9y>2RgRSC8UNaL)FSWGlNT;T`Z1#a)XjKRZHlD%w9FdDgna`kp}g zOXPXV$dIrA&QY3nKXr7M=hz{5Gu%Nbx^=E5{|&o$j90C7AL%^#^{_tqSPwVSW>`}{ z)wk)|HmmXH`Zi5_+1hoS#~7_u1XeW$@;j=wpt}ZBB}e{?2sHDVxW_8@VIemwTJzPhsE$g*g!A ze(;(fOew=-TfPXcS#HP_#h2miIowU1{;baU)4ZYJVUkk#?{Ic|)49yr3YJsh^O>Pt zp>6&QKH`hW-Cv9Be%~{27A~vs`gc7iT$H1CYkPbleCTV_xjeTD)3Aw#>~{>gs0=i% z;gJ#pS+E`QG`Re*A!SOQL&xIGkaHy13hUu`*gnZ^E~(=k@nZDmV)GujzHvy_stDA< zYnqa2^bgw|Qh1uESRZ|KvAGD|*f*NPHut`SLY^>F@4=W{9Sc>FZyL*YIzWS_tZz8T-aTS*QfouU*R3DSRjsA0*< zW9VPY-9XJSwh?zVa>kA5F?c8AvFq477|VDfoFrj8#6iiA=auMt4lAW#P%{#%Hu~0K z&!_@U`n@3r^~vUf=Co}wWQS7ts}?B4V6Nija7HYLflA7^;T)D=qmtj#9({I%u-hS-}Y=TSP@>u^j97+s1pIWy3ZkyRv zYn8qVINLWq@p|gwDKqT6huH&iXs9^COP?BW7%qU_HGj7&eg0-3rC`zjAnd%PE3Sl7 zxJVHYXV-M;#=R4^{}R|mNpPx9J`>K@dF;rggY7_shHm3R!UfIYkKrwBBX?VcDe?KN zS%nJWb~x*@>G)ueuZLH%D-J1rBYN;H$u1&Lj=p7Z*?{N;!S1i!NJPWFkj$XLAJV<> zQg%hMQg{iTGTh6Nt;u9L4(2F%Eqsw2%2%A-=gJ(~2@g3Dy{g&{wCt-%_(;p>RoHGA zMML(_-nLl+`wPboct?WioNadh*8Q%`iQ0kef{TW1R!RB0!J1s!9pa$0mn0x3VSg!K zc@y=&j9PD~5S_h=8Br<=)C|TB(d5Xt(RX{>;01UowLeM8Hx4DM8Q)HEhp}9qv%GDX z1@G_dZR=l8V2OM=@Wce_|5jf^IUUM;+-D*W2JK8KRt8?3bmbCdPNq(DF`XIO4qneG zv&J`m7o61EbbjfuLTg&NKs3yEGOv9R+LQ1Yx{Z* z)WYRyrWk6#t<#wiA+-yWeHsStV%yn@iv$NwgVs7jJ_eN z|Fw5>PfvGGN7ny0G!)a2tvb8}AA{Y~t_CjhCDo*R2*q%(vTcOd!d0$A@G<(k+j8u^ zj2{vGay^F)P5<0`u0suj`TSi z>~*#F2aX00UZvfd@Q+}gb`?S7!xl09BA5R&n07Vc#QzHRzFIrhyS4AvD?fkXoL*OP z&e0inEZElg|3aB|$M}@wX-Sz=lI9ma5PALXU{~wjW5F@{)$CxuTf1L0gBM-f5BQhj zNPcB7?rNIt8AP^K24jCo*uKxdQrxY5-(M8Z+ZXI)<$V@hyf(7&Pk~_M$ikSQRlOjl PP}9y?(;tj^X8At>h2D&? diff --git a/artifacts/test_program_methods/changer_claimer.bin b/artifacts/test_program_methods/changer_claimer.bin index 83253542df1ec1e22fe5eafc39405fa478b7a2fb..842ab16c0aa4563f9a33fe65fd41ecbf29713578 100644 GIT binary patch delta 466 zcmbO+Q+&ou@rD-07N!>FEi8vu37Z;QSX!7_m>FAInweUd8e5tfOb=YgqCWlaDi(IE zvf`^*PGOVS{$({wCL=Z(uz}L1MtV6pWx0CTY|MSeVm$rnS{89!+BKx`=mxr1AFD=? zvD=TWV`*c?Dh=`{0dv)*OmMsU;U*mRf(({6vBa$t9Kt=DSvYXIYx+4{vI*L(GVQEe MShllnVVx`i07T<^a{vGU delta 466 zcmbO+Q+&ou@rD-07N!>FEi8vu2^$$38km?^8Um4#g@uK&v5Cp_z;!I@)BmnwVaF;f zzMAC}Hi_+DRVv_+IC~az_my=VLtB1|T+-EGt)1R(o5yz!nLkf>>pnLVPY6Ka( z{n$E|HfF5SAb%1tS6#{kx2qp+!eKASU}+Oe+&aM_+_Ra51E;&DpTi}apv@}N&bozV KJL?wK$r1oDp?Ns~ diff --git a/artifacts/test_program_methods/claimer.bin b/artifacts/test_program_methods/claimer.bin index 9c0b11682d69662396eb6934809bda61a126718d..b3bd2fe70da8d8423d789a949e0b532954e9d80a 100644 GIT binary patch delta 8722 zcmai(dwdl|mVi%p-#~x}gqJ*`bYD;q5E6(IG+=_L0Rx1G5EUW8=tL(-0;rjl;evuj zjS?JpE-O({aLtS;Aj~wlxWEuKXyzvYeD9sOzm%(`s!_wzw8#-G%PG_MMTqedE^t3JpnfM zh?ETvOM4~19^M3ZR{SVDWuPhbu&!(J6}<8qUtgcSBI^TuHyxLwzfElXcv(fmY8qO_ z8srFE>vxdk29XgcxJ}7t!^?1>x#GXWFTxin{>k22tzV;Q4Yu~SepZjP`T~R3hNZ8P zkA^E?Z^Db=>-_!);hJ<)PN@D5e?@=%3B~%4 zml_)OTw_Xa8k`6{{Iy6Z!<3K~V>u`ipJ_^x;v%@`a8pdh7akIM4~M5K2X2n;+^(-4 zH@H!x=mt|xE4$0+mUA6y6!$$Watc3Ns$s3Z5h=ai_xqtEB6V;JB|jS7`L6!Hb%<`& zH=2^A)ZBhlq;QleQs(wSh73n?EPp4`){w7nlsBu5St8VaDbI5lhSy}$9 z9)NQL{3cvUe{Z$V!fC#IykwqW`6ii?Mm{;KQwj%{d;QONHr14+%E1n&MLtGh9_;Lw z$9@sXs0&M~%OPp7m+aIR$3-6g0mHu|0Lt-UXG9L5XO7bIFr1oix{f(^cfcb8-1RJJ z1}CWgcfxrAejP4?)0O-*Tshs8RWXjp9imAU9kNx2)$j?pN^xgRlj2eSM!p5k4R9r# zb-O9Ws{cVaZDd&DVQ1o-41#qBE2k3W59IU28@)(R&?O;Gll3%s1IEB}13a&pCjC+9 zCE(uHnw-XgNyWqF(ULlStag*Vwa(eseF@r{VpBS+0QYLad`eA8R{lN# zXTXkmC&0(yEZ9_hOG`}--($K9=g1$2%VAIc23!~z-?P;@`Xllf4M77(;GluY37TvO z7$}2-25dNJz`B41n`KI!a&Q71e?OV2Cb$HiKiiZXS02&i9UA0bf3KW{Yf5}hA)xih zdn*Mq;T=s1GGVlq%v zlA~+)vPLVS+CF`nF2C5*_vyp*$ZbDS9m>cRBeoWG@Y01OZz#qUq{fMeDMd=YnbgQd zZYoduG}okafd2#+Kjg1nHCzaLYyBNu>i3VxRO(Ke-yrY6D+3Bn!g&D&e`Q|t$M{p9 z-HElEYf7PVu+N2>92o7(?}w}4%bd`#IX1#eo8%E)PSLQdsX>>aq-|M%BXAuKWT+Yc z0-wNvM5QpJizc&SryMv29)b@99DEzT9DO${d3;w*+9S_%IK+S(qt<8o{)k0cl5*^* ziF^#t51ejYeiYdf;3v^@@^L@1-@w80IG`IVGuE%iC2&04R{60GuJT!zDfWWT^)^~$ z;|Y-s2%4#mr{MpE$yIlPL%$d4aBb5uDiL@Ga<7`)ilgO={p77ZB~lD0G2YqE8>rJ6 zuvZTLNt>C|G#(GBUvp{jJU!K2lg}{V6jUd|!|aqV^qHF0(SG4ey-h3an7#HmbtmQO zo}|Wq5fQbkR>L(*{atekE*t0TofmC5p+B#s+Y7$eyX%pAdT7#bnJFW5RhHmm&-kf+ z_EJr%8Qxd9kz%?c^&Of-88L zopMs&oRBggS(C=eez`4yb8~$|mkwmYuveZ7Z7a@rUW*Lur%AO^hwC*-nA()lG6}9l?(LAJaKTPfcB%1o@ch8|t~Y2h1?~}xLpzy5 z!*UwD$Uhe?>1Z4sH!_37s0+Iprs;9A7|!{S5~2dI2~NfjZ-LIh9pG*;y^@hhz;=5( zJ5K&=ukB>44n;O!$$UN{P)bk2U~2NmrZg&lZ-&e3xQVL3{x`g9x1Z_9;bQD`R(1xZ zX%hOxm(PQ91M)3!sxOa7t05fVfexeL0y?Zx4(L~D(tDa8(Cgr2*qdk>-1bu@pd5Sy z?zzY3!*JSOpD(_emEUK|N>@Jz_^UJ=qajrpOixF_e)g(T_#V6g2fL^lwjQd?o~yX! zjVPjjw&Eet6w_Fp_`?XA^ZWqS*vCy{ni092_EofdnOO|?o9JbPF6-d>z_=ON)anD? zO-GY;a50>$%=I0OJdjbZ!Ig|}joc~S$Kj-}O_?9-KTukZC9?yk+Guz^1Nx}}6>wmH zd}wQzu;uf|J8?L~u^&?;{fR@~LGCdsPLINs7^+tCPC1&S=lcPe3>OD@DSQmOUTN8F z@4VD_-pIdu9R39Qy#mku#(!Nk!nsFGS*W&3$#_yda5%1mD;eKW&F2K%I}o6BduJbm z8vi6EX6bkSqv0Q8@DJ{-{O^jL(Dy!1i*6lk>`$z@mNTcBC2VZ>Y&~GFO*1w(kKFqi zZ^L$$q^aQ(P#@pYYN}ulFm6h~jWjA)T>^4d3fHo=3z5gWZpTR_;qDi2NtV*5PvY_c z7bzZg3onEMufIM}A~b~V@Z+6vDzFDYS=5qkHB9B0E!cW6t0b4>gry2Ivge- z4tM9ywy=y>kK%kdv@k5W%I*qy3cN${7jVBtVfixFUzc9?xMz*cdS=0$M6gR(n5bJ| z&cNx9`3^t!J5Elxt5VdyP?LvX?}|}qk6Ui=&9Bj3@`4d*rdf7km9g5;X4qR_F;;8Z z9d^m9#?d%!M>KyOch*_9w%$0ZMGoy2>AA>q&)aq+d-xNPDi+*1XB^%R|Di6nP>F1! zgK$0DdW(|x|5POJs@U=1^sj`IFABTIq{HvSWskGnRR0-!`PlVm(~Sr6h^(byM6D$z zb;ud;BfMc-?4ysvQ}*$3^)1UiryO1auYW6cxp#QNehk>LjCJ@w;HvGGtRapLZ-GZ# zi#{^i;WO|W9O~&h#0})idcGnZj$K}z4(Xq9$7e=PMRs@@TpEZ#kI#99EjMMNGVn57 z9rgQv0k8ZhR`{Ip0}l|fH!b(F>~KC@RAI_VM}LHd?TtL+Fpxuo6XG-Qt`|*Nqa5gZ zT;%EQVfP4d6l~=gmbORL+X>3 zR4VS*o(ID!e-|8wcfp%NvHsV0p!~sJj%=0G>UF=|P> zcE{lrX2iWXISQVjVc`lt2^W~G;eVQ#7c!akhTRViil2e^kYohJ-8Fli{#>M-zqah6 z&*1uiJZzCu?2j=h`UbTbl`Y?YNuXxK!OkdAM=PZV|f>IQ=(Ya&APeONnSC5YmTes9>KaD}@{3!j56dP<%IM zOd}3XQM?XL;H)lE+^NsGIdmVKLuE`;^7r8bJR#B*$Mw}DQuKkpkB86@+ZM41%z|q^ zH{G+$nZXBeFela}vn=oNm{UnPVUQ*(o?r=xK%(ff0uGk$;i*Jqo9Ujdj=q;u*?*0c z%3|eF{1tdu9eaH`9bShk-r}vHv%29Nrak;MZG9~{af}a3Y6-ecI0MS5%rUYdAr$eZ7Eu0wah>re63 zSdD)cPSq{dQLMa@Z>s$o=%J~s2IFRbeZzc&1l2%RVad=gnuA{3-V%c9ZoBrpXR-*X zQ<$97a0^_3gXK!Tgm+2&HJtA(s^d_v+xWJ28O#8O%N<6am*un=>liLi72&!^!;SKs3uaC&#ky<0mo(x$WKZNpNlW_&eV1bcO&6rMw&$x#M2z{$<| zn5RPCQ1EZ1nHQB;n%(o?x|1g(hflRKPz_g6c$TYLox#=f=|5RAmyZjML$z?*7m3&f zF}|r#lM%1`h3FM{O@PnBN$Y%hK97a^f4P-4cK&atVdZYC>3n~rghy{FcV8ZDP9gax zoV_0hl)eX#f|DvM%X7vBn4k^n*@BZpg zyLDygF6~!EuGXY0lFy@7yCklCbjx!gGkW&f(1pLPC7SbGDE_y_Nht&WA0swKIvc;O zq1*Ws5S`v#&tt%eUQ){W=ILnYHu(H12K=UXy}J!L&(O0Kp(K0BiqHc~qnkJCadzAE QxKd5~i~Z=(xMlPH4{9r~b^rhX delta 8689 zcmaKxdvq1m)xh`6+(3XRBs_``Wafevkw*d)P{Sh_HM~O%8WbUksIiSEJcRg3y+Lsm zYb>#)1_dQTzO|y_2Pkx)MTHVspjm1VZO{M#5u-*44=qZR?>BSLWQHy%|AgP!=j^@D zKKtx*&fLvsyH%d;R+gwOex_F+t$Io76RFykRDHv)NYw$6?W4oeNklYVmnS|IsSmK! zi!2)#md;8(4&DxTSG*LSImDC(Sl2Z<0#}al_4PR@vN^zcbgV#s$LRP>Sx3VL8ahN9 zKcQ&< zOxZ?5{TNgF(cnaA(N`j&v8IHyD4&F5Q%y-!eAm|^eaD$%Dvtd|~JS_7uxqvGo?m#8-<$Y3{&Xl%C}&x zk^Zqt9=4yU(FcbjubyOeZZ)N^>ev62NWUyUowmTS(@oi-#x=t0Z}C^N|7nr*bbnR_ zaCU(I4_-}wZ?&7@k-j`rhMZyfZZl;h`Q)t5{cv!(|Mw?6n`O#M)jZ!GE+_PF}P&DDH*Ojf^r(W!r2fJu89v+WeD<5@GzdQa=S4;+q zidDYpAZxUuTsx%C)=#$Bd584TdSuFvREK5ciVq3`WQsra zIo(*h#iryd2YdcXlVg*8c|KePU*m*^&G8DnvQ-|@rHO|9tqr;iB5juixCpMpfw5}F z-@#{aAYLg*uj)glZKPurWpLLmRFZo>Ws6}2m zBeE4i8`ZH1ehVg7-3bo*UZl&7t;eVo!5<>`s>viAEnV&>@0;gDir_@XJKOnX>hxIH zD+h1UW@faG#}M^vF%6!lO}(iR7;p-z6XC&j@)vrcrnRwOI<9x@pdGO{ouuw059mv3 zJV!*-uBw3dtn_zH6TEDiueY%L$QgZ&Hqc)3z1~}o%8dQj&CmO(-h8zt z)eOH@xsm*9s%SvnJUA=USHBtF!FX?;EpR9FdvPf4$5wg4l$_{-CrBL)!4>RbC!f{d zj!QO^G-)*X+};`;&Yyi8pKuzI2wV|xA+TE1K0Zl zq~l;sUZ8)PGB6G9kKE(Gz-6#o=17E3%3o@06l%I1A8RbvGAAXI@o$<^rWWuGxNIx) zSNW}qRC9SPc#k*GMR=78obCa zFQ41hI5F+|u_Q)a*v&9akC75M<0DFl3czb{5`K6KbOP=I_l)Y5WaicVfVZ<_e)E(~rVM*y*n9^c|^5=u=-_ z2xkZ6o8V!-JR&VLj16=ceH{U#!+PbwX}I5PKcK^}XQHq-(TCwqpD_XD;Hz-odY=!% zBMDYr4nukjGHxyT7AsB>5vt05uBvV zB~C^j$fz~&YQ|rV+$r5h;l!^@DT($UBIl+s*TAVZdMbO80Rz;4C2(MXRNLBBZ28<9 z#}kKdIQFB8q&M@<`I>u-iqrqVt1(oq(tl>Z&D6Z+ogjPji$jKlHUZsg2qV+kAEJzGDvH;pvjZX3DxC~w0AOGc{U zX{e8FZ?#si0>;e@xN!{?tS%0@DuruFvwY;SuG=y4G~pf)Ye~A&cX~RP54b?_;5&FB z%<=l`L!^j?&^>;k$?P-gR<*~W@?qPj) zSRyK5i^CG5^rypfKC)V01Q~Yf6UOYA zNdMnz@)iA+Uik9>SHVYMZ$e+g&4KX)=d$4sTdJbiFFs`? zw6)5JPVrBqxmxuTaNWNxIisRmW7q!K_`ryKhBKvFSen(UbT8z>@e8Z1_`dm?>|Np; ze+6Cvhn2HUaIeSw=nh_>$(67-nR#$xK)waGeEB#zOGDp4hZ`Q^ zTX#i2`Z%0*h>xr9SnfIH@RRW7ccPbjhbJD!fE~?Phv&gndo9^W939>Yr`?D?GTPxE z;Eg!c*L8>+$e;$kA~i)XuTF=7N4euOBc~!eTnZNlBGBb?USSocWGMqH;p%d~|0i(e z$I-&)jPG-dh`njKmt}`D;es+#&N})dH2l4hXB-AHXmCP&0^YyYl#R-P4ktxc^bWg6 zfTQ4bo`I9#bR|CwXMf^{_^&(*OPt%dlIvJn_Pp<4I^0+3k2nhV(on<8{o| zxeaGRy(JY&Uf&V>WXWp9y*l$? zSnuzGqws!sdnnp}L>I~*?B&QNIOy>Aa78gWpd#{OH%_NOk{<7=$pUgD5~mCxW}j^?a&*C*O?Lb z;^ZiJl!m42{3M)bvW9;(F)w7YCJ)2z2M5JZ!Sy5=0daTD`%Zr@QqI3l?4pn0hJd`Y zMNY9xa*#XrZiZ9LNLVJRtbB}y?Ia0V>2?@Ii7#Qzs#OT{;5oIH>w}}v zg5%nd^-AA>K7_no^g`hD-+0x95ly(7h(-b-T|h$_`!q=@dH@`W`(Kzt_rV!d#*s?C13tzRB1Q2JaHL?LzmNN0>url@1n!3Sd~UjDnKOf3 za4;t-lh`Tm@t9LdnKo3Dbx*SdL?B*tSpf%2_t0TPWS8llt&YBx!`Od~A6xGCb*JG+ zIvlHxzCImZ_ZuSe4sQ+R@zmjDH440Kws#zdX&--0&%^c2d{|OT(4Ncn0CK|1kx_6~ zfD6;9|Ji|thVfkLch~oAs^L?3J*Brmk1oNpSr>-){5^A-IYD-nRS^F74*up!(-fSKwu;|Icv#6->y9uyg*; z&Bfy$zQ;S^l-`zmw{~W93SQkQEH!Gz1M(=XuvaJUhZj(2GL(Ur;iR^F%u^xXH|IY} z^F4lPcF+HWdwDW)_*5$cTi_}RPlc-0$y_~G{Kb;Rd|YrGdK2!nmWW*z<(u<0NqgNd zM62PA0d9s9-|*#`JQf;0!Je+p|G(2vdBAEt-;3w+=q={%%cIRHByYi!4_*kK-p zsR;-8!P0T)Sy;^IcWZ~QozK0mg(P)C42Kr-ErH|PtAy*|dLp*oPzqMrM|K!32Re@! zl00Jg@L?l{k4zq(H0-(&$w|Y@Pd*8eg1a_J7J9%?tf7&@z8(m;>@GCXx%s9*W4wV^hb99_O< zZ7BAlQfF+B5tnw&m5=Xh1-Li3K4AmUtEDV|Cm9nJhBx`s-M> K>#t*-Dggk7JbXh1-Li3K4AmUtEDV|Cm9nJhBx`s-M> K>#t*-Dggk?v47zJ diff --git a/artifacts/test_program_methods/extra_output.bin b/artifacts/test_program_methods/extra_output.bin index b534f5b0ba7c1eead0fb6c8ce468048ced980c9b..7ce3cd265a021d43b79c4b7dc409101ef3cf021d 100644 GIT binary patch delta 473 zcmZqqDc15+tf7Umg{g&k3ya=tVPkVc6LU*rLvs^TLlX-FGZPc@>5j8m^s!1b&t^G| zO=5fE9F{CbY%5j8m^s!1b&t^G| zO=5fE9F{CbY%VwY diff --git a/artifacts/test_program_methods/malicious_authorization_changer.bin b/artifacts/test_program_methods/malicious_authorization_changer.bin index 1594b9cddd618ed56a8c70d1001d5298134408c6..9a4244ad3e6dcb30787fc280b048d13edbce1709 100644 GIT binary patch delta 8734 zcmai(dwdU9`p2J{`KCz-l28$%X2$*g4T*-IA~t?3Awm!p#HDB(6_=u<9k$jlN|!G6 z<<~5-rDdC4p>(v3qOwg|_J`lnX16X;aVcp-MQH{5IWx~>#_QF!fAK!gInQ}+=Q(G- zIld#Rd`Hxp7%Ab6<}IZqOA~*aDD6#@tG+b;aE2&1MW=8gl4O|{pC#Jv;oIkk(njjk zkmbF~F(2H7`DJiv50&r_$+ARW<3HKMU42iSCtBj+TNOlE(BA;_vEK-K@*>e<4Aiv; z=q2z5cLIG34u^vAEWZz)4g-Rj6E6|H0ItWp%#_OHzLJz>CjLWyARFtyC8|!-sUyqF zz!hM};igxKmW^^b13YMu3U6$OZh+%P>x2<2K;5q)KwxM6i{L?nRjTIs5tWz^{XTpC z2pWljjG-#E!+?lT#P`?`?2~L>3CX= zTb-s-4e#6LI#JmOsA2v9oH9nII=pQC4Wgr9$L{(!i8`h06w2~Nfrzv6F>U@2M9E`S z8pLY8$F%EXRLWp$rUayO^6JE!SBTb)Q|UB2bsM{7OjPM8Px}hHEu5edvTZq?0yWtg zDuuATC~)GOd`v1g^ULL~K4ZksM1@mSYQ@t}fD@*=Rh4mlM+qXIMkqFfbZEcgin<8%t)d7s=TDp-KHup^<5NmLEJ^B@=drh=1Z ztCpdH-vXz3_#${JIE?4V21}If;g`WV;NG^}pb`ue%u%U;7xEAlaOyDsafynt;b?3iB6|Vc3G8RpuumV27bv858mpaK$UG{1xy)&-yE1kA8!OMLxX2Zm@TQW(`p? zo(+=0-VGLmy&GHv)2k|#v4K&IB+C3Blq5Si3S0*Ha7%7Tv=Rg9zjY7EVX*oemv4a+ zmZR~og6@c9yJe07iJk>71ef!Ml~G_AypOpjLVI$8lS-LFq9s}Z{x#%Mpz{rRO2opZ z$TpftxEMmRJ`UvHkW-}Tfg3mEiP8}>^#{4HZ1lNh?-%38+?5o ziq>b#Uqwk2f>k!;dvLag$J9qE*1D<71s?=EsW!pK-T4OTsEsx50IdYqcoYxmvu3PuP6{}R5!3OVbCQ&PoTt@G{GEt}Y9EK!t8Q2bsA=7dUH1aGc1(()Nz#(Za zksk*3V~=yeag%h4V1-A(?_<3<_9D*ppMU|7J8@41&xF3QEME&AiTRm=eOT~iAmT^) zoG}*dCp{1Qup_a3jxU7u`al;h674b|Kh%8GZy#haJx4S_2;Bv8#`Y zz_={aWpnmzxq)P)qQBmO;4$8KE%-hdrD{2N3OvKTMJWn~hfj99$XXa$vDvNN0Qzw$ zI0oy*X?_*A>jto&xdv@3(_ODqU-Yda3^);7-bx}JEE=bX@aLxXlRQh3?wW7>EH|ht zEjIImlm~LR&v2T`b|4~rsCu=>p#wXIW;wWYimNxYL*V~Iluc5JIXhHoAsaunm1x;} zDkX8h%z?f^V3iGhtt0yJR5zkWz||goVVxve2f1VSFmMyBcN|?0o&k0O5!o5`{8^<; zJL8cw2Ls*|?lHA6{MM{(#5&$)fJ2D}06Y_zL~ME$@{U%qKZL@S#mW4|9MKIGn5 z!LbtE0XJfY62NiKyQRAboc@{Hw@-oF6|1z60~+29`(SQLa)Y^LW9tTsJm@le66uaULAz;g&;C;OA93$?K*b1LuKT zLXJ2`(q#;kW55Y~`@p33N>%E~B-nLLw+c*>gQ)2MiMC%*sUQ145S)#Do&2l-r-7T< zdg%x_9qSPu>=Q(qncqR#=`#lZ7vgpiabi6IaLr|vuCToo;EF4Fh;m$Gd*jl$>K1wq zxDfj^;e9>g*LmaDhe~w%I!cx!k(q)c zc|)Zf<~PAb;AH0FfEK6hj9B_>I5@`*&`9%qoH9`{_92Cp7!P4T?t-(XITayOAFNa7 zy6f%?$2+9jeW&zEMGFJ_dAkq5nVyR3IRfTFe|^@U1D^MjN=xkd-RRAc=%Jolu1qi% zbm9fg(jHns6U-Y4IPsIth&bHEwQnn;4~OBI@H5^m9H&NzLp3%kW_dpJuh4E_7ydIFe{k7)7H1M$vMH0R@hh9VB7;C5{PHrSC7^%wL1T?jp4Qzu z%gj$!4g?!?ndqRdQ35YNiw>6ARIBY^k6~S&$Be_sv%fjy+zERlyxSqS>mrESBD~9* zXf%lRz5X;FAJH0RF@HWmqTUOf`Eoa^GZ9aC3^*t92-y2bsE3nuWxh_$p+H);eP<}IzZ4o1#EJ~wFAjUpZ+?|>UEbM3rhPFk)^lp{JkD^VMam$H3F z%oDlFtYE2)nYcz-9Wp8FIppWKM#KR-Jrn+2)M`Ijo_zuGziU*B8lPQkO#^1+y9@nCRA55ErX;pTk zI5Hc4dE}$OT|MhJfV;SC(AOAf;aSiehQ_)RsM}nLx_S7Mc?dWdaj^`f7bR-x;r?I^ z>^QUx?DwoM0ne+_xTBcA+pI(eYaQm`f~}+1UTiDC{t%t2Ia<@qL+>cZ6yrr0QxT!# zB-z!o8@#1H-Ve+YUNWKU+|84~C)etvv$4y;;~{sV`#E?5*l{N8C7eQ!JOw<-mG`IL zV_>Rh!YObV*f|DG79l#|&b;9`aI!~!*Gzp+nH6MI&Bu-F882Im2S9VZ_J^l7ITDT7 zs9PVL;`qz}{}HUia>0KB7ymE5dYCK0N$Yh==Y6}pjPnmZ&YTU-3g~pno-fmGGjW%4 zKu)Yeoo{Kc6S8VGm=({XkLI}!J)VWD8{Cu?Z2}(#J5P+8X5tqlJX!CVH%gQSvT^PVQO=v1b>BuJ9gWXIKN2qP z8NvI(A6~T+6@f!^7M!qAqk}Bh&k>amw66y-e+@Xdvu<6Jf)5Kh+Jb1Wf+wBFH_tn& z6%VjM+c1!KS|b&GNKCi}4nJxCxFdM@H$-805{kFH;K&O^droQAy(M@cxV!|78FeoB z1u*?nqe8?{@E&l+WR=pGdsYw?54WFOk%Sk>3Jiqgp^@R8G!vAU3+d0yJ!b%JjZ&B$EPe}U? zKT=|Y;b0N+72r?=68lFN!H2+MjqMs1ybzWZUUGBz9=NF7Zoxu+6MXQ1X0<-S zarnJ&yNCCIx5B_dY~V$3nfO}3{+7k3A0UT+aziG{EoZmu@!R0icM)P%5G~`7#_F{x z3&n?TPMJo_*u&xAeqU;}5!HP7Izmcnczwel@k|!$4H04=?G43C^eg0u75t_Sye>mk zD|Sfh)kS5$q>{?~A=tl4r9G_hcVRFHMVZN50xrCYh;UK*>cN3Zjkd6SXJhCS5yJjf z1gbI6st)=t^Oz`{_Dve)F`MA*BKK6}G{Nn&U!@`+=Ny~^xlGYR)I7AfFfdfCAiwd$!Lh3f_3XlOVq$$1mjdW z^Xs)lpY(7RSp7mXtlz`Lf^8V^@4+v9yg`#zc+a8got%fYMhLg5kfJ|eenYVJ0|awx zaLhIPPY&YL%m5dH?fF486RdjVe+HLbGTfY%V_=?$cejo_>;0}nW;R#^@2D~Ay-w`i2 zoC-fHOadQl?bgVx&Zu%2n8ETsU9cf)D2q8C?5!cGE1sGq_ES|D@HE)yearrxTnwzi zK=C*3u_*?78^=AcTCG}lo0vb||8Pz8iN`7U8XtFDlxLrm=)z{C01=45JEThj+A&Uv z6VbmVp#R69*Q*?&Zav`<8cjBPuom3=l>Id-HhiiVA_8v3@^8U+{*Iqfn5PWH!4lr!X3E1UdUH7XgsfQ}3Ik`Q z;uw0?%Oeog+xA~Ng!};5*Tuf%1&15>`k)p%6>|il((ww2Lj;)TfqmVOQ!YCH*oQ;@ zd$6}=s=;Al_*~%i?Vd&rL~7RG)x?Gqz(<>)Q?f(GQ4AE+*J?cs8Hexjrfx4E2F_@p z5mIecaT$13xMn@qg~IU}cy32%w1yS_6I=nF$DBDHpJ^~4&XI$+H$>6e4jI&V0z7Q& z8qf#asg*`5FW3amMM%TI;#?2G_f1i>W_@4@17apgl$nD2-e()Q8=Tw=j0Hj-H5m+j zy;13!WWm*nyvf4-g6K4<^piL&FFNzLCW*6tc^}v z`1U&ju6$dg9Q@cIHW-6yo3R@at7mgLIPX&wAxEUgOguskyZjn>p3V0CUpW`o?`3Sr z7N*U^qx@T~_Ii!PBRydy-op5Z6OAMtytN7j@P^yK>OB|`Y#ZQTfTBYycXIw$aCkkP z)^LP3EyCBx<2vq|D0{(Ei_s|1n+w>(cvCv1TtCw&HZCr%XU`t-Pj>gm#V7QP?H=pz z5jg+8uWhsVE?HUgXLk9;2?O5ueesJ+O?{8=S?L!=me!c~?vGG==mTH(K*JAwQIAj% z8}|qW!tj{bM_6uRi%*q*uRgHPn6dO- fUyRwi$d|Jr@Zg9XWEQ0bEtI4foR>+3Y`{CH9%YXRE4U=v?^#@JVha7+jM#aw#i9X z$XCeU^By}R9bw0eEp<|)M}O!VQR#Gr!o~DY!0}m5RXzSIQOGk2Rfy#)z_}Bhq<#Vp znB+L;xlW|GcoaAb^KIt~z~sos)2A4ynW0cT%8Dn6-MBsLIT#C=r%;hF@Tkma6E@5M z^J6p0htY})8pWFIp^e6tb5fI!KIsqjHF63PA$a@$i zE>KKEIj;eyy7(kG3+ylEYi$_ixOg5o4?N70>r{q;UC$}BODs^4fig@;7CZ;+fxJZU zad3RPbH2N@Wu&+`4V<=6p&T)Pryrw&=aD&4FSFV)3Y%<4`U#1C#Xueg>YgZa7_xvyIXbNuT*Mk?%@{LPR7_cVtvmpiq=B zY-9kVA~4s>Be@;C8LSBI7zjIb#mpF&j{w&%cjWWI6|VJPfL;6RG(6~b1zW*x1^%5- zGA;!VfZYnR!EOa7!Ss?sHNrsO&Wtivqa=lcqrf$gk2B>uqKbjEmz_hh2dwA ztI&AF2H}Wg-+X%mMw7sc!F57mZ7>)HmkI8N&>o*+r&6M;;NOEEft+~Zlqk6hD&>p>V(=TbOtC7eBHIdd*CwH2EE}{ zMTX;66S#hjLbHUy+d~VU$A;J)cUS0#X!lFyG2m_s63qA%{wNAhx0Y|~W z5yImo-5JGZY7{6oEC+vx_59fLINt(?LvF`?%nLo=G&2-4R&9KJHctN!@gWEf|Fc!MJfo4 z!xGgP3x1J0GJPca>lFy@5sLG{H^C@X)4_w_SW1dX1vcx5_bKM{rR%BMr z$ACM9e>PNqdB1=3&RBGZXPrKK5nKee75!-lqY+@cFV`D^UFA(o|4S57e89P}u7IzA zI}3**qM>h&Q@V4&X$PIYeGuHYQlZ5npezP@Fuxzx^F%xZE(P0mybP{zcp6nr=rMuJ!A|#o(ThBhEoo zgMm5>*n#in&5V$nQvR6;yS~SPG3WVEyN4N-e523^;eR|h2YT)NECr{6L#=(O9Gr&r z2oLo5P>`{upS;_n-+w>ib`Eh8`xJn$f2&Xf=J6AJ0$ksKhp33FHVl`>1*g#Gf=i(% zMCjQKPIt+#fs0)7VGkhgj$EhJ7+B$&a2Q;U3A=;=%OAu^THplu05}J1JL(w@`S)-@ z7&ru+*XZypaN$LV-vn>_L7{Et{yL+G5jgry&NWsB&I4zN4M!)Sl3-w0;o&RbKp0@3 zz|X*LgQt(Yov-~re(fQb+=CGJH;zTg9p!}dWJbQ16}lu8FMpiT=}RbC5s8$sIFii@ z^~QrdsU$o*8CV+^#ppT>y|sr84Cu8 z1^%hGEugVRb39Ib=D&Cxe#NzKZA9;m!873+-Yp_dK8QmL6jciO>)0pH<;dsYQWtlA z61P0q?krCl2kw(M$(iRd-r}0q=P5kAZa5!TS>V!}3gwHVauJ;7x*Q`Xz)q~cSNM|y zp5+QqnQ`Dj-s1g6Y@_L(>$3O z#+GDxe;d6SU)~j(O7UX(5p=MOZfa`>`vvNXU1sb-o};=$E;`{rgtr88t1f&f1mVpO zQ7K96w|o*FA6-?-7QAl?qhX8e`BDu1ih)E7*e9}lDqh^qB~LfO4KHZa9UJhgWVjLd zq^$b}vS;wk(qAQikL6Igv1PKn)`!h8qNmGeLIYRe1QsQ$R3+lQ$53@SQevHql$G)k zPr{s;IG7vM);c%{4tq;&t%Jl_$Y+si-YC44dBL6Y9Xr1;GFQn{rNGeHjCy0dO4wI! z94nCLw_(9XLZQ6YH*@l{$j?!gNCfP&x$y6t+WN^dX&&UCtJEkGld=G<*HssVKaPe~R0N4BjU=P@C z#c~e(a>+-5BVFr%4<6*OPSqIb;aboEhDJLRsOLgPF)rSni-3a>7t_FIa8DNxex8vE zwjFvN9OYVH2F`6#MMp9IXOkS%Mh$%q7p$Mwda*49NBL^hBBC|HIIvwlBI`3?Onsn+ zlVnxTR`BKycs~ffyogcTb&m2lyljrYp^+wxT?C#CxgFho;3;6+nH%7Amwdz$MwyO$ zB)x=zEZ2mCV1KZE4B9S5bif0J!enr=OWtUt?3CyG=yfmP#&wM!UWNxicdhk@r{FwB z<2PvL2PZ#16TyE1Yp|U2Tj0t!@zo=^7M!?Vqcown$BQ`s;G=>w!P#Do&Rg>(+G-@c zFYlKU>QLvKBQ!!5%?7h{4*F=Zw5B%{3D^YPB1F1E2pYxL}}WUXz?FxEyVPw^z;+&*GbB zyJE%ztkXse6rWZ}K_B81z5xduw|?B=ob)x3Kc0mAEzjBS8=^fYRP)~AJRDqi2#pza z&UpryzEr6capb%UoIXvVRKd~pM3v*LCsz>R1+o$YzQt%{Lczy;!gcE{%Qq-Php&N$ zyhC#i{+6iB6_HKgzVABRIkAzum}@S#GbLcabdqQ*$gyb`!UL+~TeVlcnSIe!8!J*Ap27tU9~vo5Ms zBqA{Q7fi&#=RddUe8M~oM6IxXbm9B~*uRTa!<=WsveNTT4vWF%byf@J@_KN^e${M! zoO|K-z7iMj0B?hVNy5OB;2Qq50R5)LpWQ+Z-*rOP37h17;CQ?aT=fn@EH?1NeNq># zwWjPEIIl*feBogNK7>b{R9hn&v-+xCES2?wpFbA-H}1rck*@_ld z6d>fnpombkM?^&T6$%z8jH;0nf5F{Ugu>MaUIeFaL=g#jEx5(S51=6qXrq~5TD%4} zamJ~#=idZZx_EL=M#`tEZvGy|7p%uX)E@lOCls^|$9oP{Z|D35xa!Xer05Tr@9D)2 z#D9XjfWyAG{^Y<<%|vi1*pmCu6tLowzYVTAuRA$AhJkfa8YN>-ZczK)=!R%a_ObdH zT!WldiV$7|m!DNl8~FSoeekfXQ>hvnIllvwWKuo456UpvQUFWB8UegG>iig~y3`D3DPuZhSwoPtyMxD!QrWGLGCCZqrn2*f+2 zM?AZ&b^kpc{XY!7UJ)Vc`Csq|jV4EUkPjYq!ulHJ3J2YXh=9X|{7dka&+#*g;MCE0 zJP&qK`U*IfImh~s$ZfW(2C9E|eL)ZEr!G*tAf9c@z((x$VLDnVDnd$iYpdK1kiU|0o;S~^z2nc=#?1@26MbW7f zZx8uPV0X=&1N-~qb3v@{Iteupq?&(M;|j-ut3%K!g+uz^FtDqG+Uns|a1y>>?2rzB z8VWnAgjAbVd>FhYKsBH1e8Vy6cy0&cHWM5EFSs6@D>!8`KGR@8tStwZbVAWu4(Zfp z3OwxM7!U~_5U!FU7OVvqAf&u8@pC;4-!tW1Rr3Rj8_+%zVIPb8-eVcK6`Xt@7z?=E zcN!S`4HNr~0~dg^Oh*2TFwlsBG%=wLoY>2`?fOlJN3Nn;1I~uLNX-8d?CGsio#6Ia zSdSFi$1)#W54nAe_kuh3QK^8>=l6fXGdR}~@JNLCIykw%V{!5f6ltVtzO}hWFM?YX zjjDym2DlPzD`){%ceUORe17aq=m^H!T-4BHd~w;W*}VU6V!+*-H$Ka#?tMJOWD2cK-d|8RI2IM-t9{;yq# z>-SqI6c#?5i%0o)YU}kXLL^!TDhI` zkH7)#H7XPlUb_@uBll{!Yl5u>gO(vo=*_!?hrJDULcUbnX=q$@O#I-unE0Ww@zF7H z@zF!0yl3}$`gDsMl%4&;+(CDekN(i}>75oDz4mx!vpY%5Ekol5-+j-OzCNA2r$6#2 z-jI(x!FS&yI`-~+aJ#+ledO`I<8rRSfQH@j9mS^8zrFdOyDkik{teemvtIq{UCc72 qM}JEi8W(eSpI5%)2{Rrm_v96=ua-PUb*j%|#(EhKKjrh*^8W*Kw6;8v4$4L7N!>FEi7+m37cCOSy)(_8k(D#0a->CmIemX8|Sg8OB?Iu4005%MfKmVe delta 484 zcmX@|L+r>8v4$4L7N!>FEi7+m2^$)j8=D%Nm>64_n46ke8W~xdO>dmXqAqQ$my=VL zt7nK!fzxc3)7W%wSD3?+#fVJ?Y^IE<0Ukpg=dc)07oNu=flI%Jv>_htKt~&3)d@0p z`}cV)Kbf#fgFS16-(dCWIg400aB0_=z8;UPx{QfA0n=qnEC{Nw#G~TCL>8I$^@~}y KuV2hMRRRFaOMid> diff --git a/artifacts/test_program_methods/missing_output.bin b/artifacts/test_program_methods/missing_output.bin index 611676c03ef0e803faa3d5425a7476872f0362eb..1eac8cc6238e7bc9c676fe82c4901c892459d89a 100644 GIT binary patch delta 8713 zcmaKxeOOgh*1*>}=klRxiXVuIg0GSKQn7=#z{--^kIoJXpSz)Cf+&@&;7SZ$t?k)B^;nCxB-sn>z~s9CR3VK|J85_{`j2!W2Byj;vuH= zrNNHC>d!=$!9LC5gwI7PGfhcUJRjaV)D%EJmX$s39p4EJYD;#4=jp|m&a1}YG&@C*l!))0oQ(~3; zcFX@a{Tg5Jz!{b&*OVmHFXt! za`){4iG}TnA2c+Hy^obsiL#W0Zor;8eKs5i*l;Z3kb0JC>RGJJx$!sc*GVmKX zztw;y@4=hldNtsj&M*$YrFa*dbZ2Bmb@^QvO%AhwwmSCMZs%PlIhtE?S7LqE4Gm|E`?*eky=kNwHV}6Ax#Y%pN%xIkNF2&Fo zO*VM=kFdb@p0guU2cP@3yVRFZWn!^!I`W{*reU|oz%e-0W1u6s(&RDl=dOf$lsogM zm}cT*rW7d$hj!DXbfha^45z_Y+L2*z?1%fd%7eOeCQA!j8+5q~PVjIDF2bQ9j>poq zI}yQwIAt&oHekCN*aNJ9OFa%Ah2LYT#w)qmgM`L@zRf-q?hU{*g@-)svL+$Zvx;;78{f%5v~70v1JalB)h?&iGwEzMpt(U;-cH{1pJ z8ZLGfWY9I5TuuKhH9#5sj)&iYP5Ot+9GUQaXke@{UAxkHA=X%|<;)sL%D-pI619Lw zVDoL}ul#RMoRZ&h=l?dG1sAF9#@tP~x!5ltn6Tf4GGrw%?Rf zia&?Vd)#UEzg3f!aAZe31W)krX1E#sgG#>%?^xlNN(69dx62}36-r6HLPk-)zh z(&CNNIR!(=i^G9%f@yk`{2s3Vh!Udae-N(n*p1KBWIf!|u`7A-2J{IJ8!Jj)wKBUI zn|#4TgP6}hiIcLEbUih>)|5u&?+iHcFc(o3*Z1MVBW|L%NkcHn&DT5NWghu*xDh`R zlpnQlwJQ%wpTU#~PlqXRGaWW62YTF~$y*E%3GhU?3XbI2T6pcpOh7q!0Nz^XvhPL? zoljgI1lJukWqsH_=l4z;Dvr6wSZ+E7;CyB9U+{1S?5<{T`AwP>z>yvJ0PJ=6!vFB{ zn=h7Mo#A00TkQjDMlYj-k$H}lA9BK!CN*%6+coKOoRn3O_;Lg(0GBHc+<_rDTX9Zk zhiPnzyOa!V&UXV;Z_V=?lZ@akS(>C5xPg2E-j*B52wnEVCCDRzU64(!ZirlTG}#Nw zNq6Ok-HF_jQM=&&=wFIEcIj?2Qj?9JnNs1nmm+~tWVYwjngVB`&|fKRfISNGg|+lD zc6`Bub{tM|>^p|!R^rg~IrkV9rx)Pkr zjDp8=@W<2dFL1m6xQ{CtLn_1b)mB*uFY_FZd*S}*cUALgHHk4)-S`Ay&mJZe6;aPvEp%e z^FWvq>940qh=ye}L=q?OSCmlqkeBD-G~~T7U?;}M)@zwYFg9)#JFKdwU)uSc3FTRt zBaFpSddx)Yz$oKr&$vWhyZh4pvRegww6$ZZagDBRvd&C1KJ;bA+)F||>2FPh$#Cvd z{?#2Tv5uD;i(?DU zPa)(x{30r14?I9c_=mss;`Zl(;72{&V=8YaPydNWOR!0TSO=JJMvtudOU*`o%2hxitg7|!L!DPMv!YEpIHLZq*f&ZuKj`4R{YE? zO~ya&4!$2wf&e$AB+mEI3?PO!pF#PfuImb-xLOU!3;-ISYRU2k_kH z>&vK*3wib^o&ztNACNpX?z`|Qc%S0$;cW{7@^7cVE*aMGRmOHbv;00H*gYUjG+bfg z@28MH={mL!u7i6hL;Z?0>HL&?$EdK5uQf6>T^_Ll>x{Y4+FnD8msqu?R zC9)Md9OYS5?R@pIxfDLN(;q&mY<>mK;*yxC3{E}90B<=dYs-HNr|t2}W&&w*Eqrho z_DE@)2IxQ3!Ut>g`4x^>J|6@();jue zd~=mb*bZIc5V{0J^8H)X3D;6xO= z6bJGZ_l)LtaKtYOYK`+?`NS`4mE2%$8~6Idw>jJX4e(mzmE>R8fl?aMD2Am8oc|ydoK#v(}YOL=fM4OFv5r7!vFfiZ!0?jH~s=bFG;~?-CgF1?Yq;EGc(NJ!TAO3}QT#ew%&s9I;azjqmLCZy zd6aw$mw4ni_{ph5Zq7`DYs_FkveC00c!h>+3K3Zu=DVoz9XE5MQ6XFiH}Cg{eX#o< zfcwHVs(<%B95LiblCn1z&TZ@52<-lcF1t9QgD)qdK~G3m&|tDpBc*pge6DLihNuA^ z=a4DG!3m1@!YfIlV#Nclx;TfPf$J^ja%wy9DO`Hex%=AOs~=aAmILlS&Y{8C7ET17 zg!3BA@L^^vd=7haVsA3ru!iTHO3JC%a?g8)B_INETs+=|y`}r^R3cJsh7VWU-u6`X zUm2CFM9sjw4i9%a?@znK9@wPTCn@>tL1Z-s5)?NLL z4iv%-9$r42`rqhjh#A4HjfNIckQK0k|tE77m_J+LoT^Bnv56)`gyRp)L z1FqKn;eVys1AYPf+EBXHgvO5}0zbGD4E~OWinea$`WRkzfh1H0r~DFw!aG12_#9rO zahfTuk&h<{4U$$(=tVd^+8>Eh* zYvE>Qut>>YnV?B!2IsraNz#mod|bNHNiKm0!fd%#!Va{5QMrJ0X@H}?jW182ieD0@i- zZ0qh!$d0gm{#Vj4pSM`V<3_lqw?BNjwg>1wnKh3KNR68DSh%I5^Et|vFM)j&n$c>2 zeQ;F_U-wkV&lmnrX`bSi=J5GH_&!bY7gOof0CjL$d_dN!TAjz;GijM$%K5xt57+>& zT}Q;)J3OsOlY_6jh3GHvkS#8Edw|=#hv)EGC^^J-J+K zTa{~kjrvcR)|h6`pEOJyY~OmO{&bH}(<)!z&`mG;Vt!(T@Z{#c__LD>RsFm?F?I0I pcyM8V?XU*k9JONZ{{y>Inm+&l delta 8703 zcmai(e_T~nw!qgp=OXwkK~d2#&$-a#Q!7+5DjEUt2WBc}W<#eoQf}$Q3zO<}S^JkBW97`=KGDhF`+_Nv|IMwIR=O;EMYi^rY<*Z=sOEsk*kM757ZFX@<&OtNN`0Jk zNF+DQlRpKg`}i1~G(0HXlz#9q_TVJN#c;u3Q;xy9uF3uUk%s*)u6&}rLc=f`I=T(g z3Kw`CjC+xLv>F4!O;-?Il8^t?Tfd&qU^q2nsEc0PTPq;i&#M@RaLKX;%HqKc_$b1l;};WiJh- zS*G-(!HGcm7b5H6faY@h6C#z_rX(xA7v7m;imBNAyU6W0I9)j~JzVsTzHMSwlSu0* zQ(D!yTj+Ld1ZEVcpA>m?WKcRNwZtz);zoIXul`D;1a7b7EvLfM-_`%eYNp?$v8Iex zc1ll)w2U#OK)G`~oZq0AXO}gKY#3(>%O9E5y$n}8(Ub<&?Pkm@%{PT^5&3S0TQuI3 zI3>Tsaz^!nmlE;W918100<#I^wp&?_sDPvWKUGQ>vt71#Tvm3mfIs28Y3=!Au_| zXW{*@sdz>QO_t0tBMav&z&bb?j>_MFTYUPLcf7!UNFJlXKfw2}e}KYHnvC`huom_Y zPy_o1=--(In{Uc~HQ!to1CnGlhO7@UTRd%e99M*yeH^Y~hL?m{Y$ zGO!3PY%`$AbMSWfm>O_aHyDR^DYoI%8>1_#%kL6NQx-4}xfb4iSf7#bU3Z4`Rh4VP z*+*ETs_@z)`ZTS*eddThOb^}p1I6JHQpIp*avbirg4_+b`~;b?e5om=N?uQ9G%fd* zVo0neTYbC%7TDQyPGok&Ex+}ax)qMYzUj(Cau;Q%-e+JBobEHAksGId23}xV@#DRj zFX_S3{i`V@%E2K$HCZsulP`rc;D2!83`x(_+hvNhq7Fc zrCl!~f&&T4U>+m2Cr7%oH}tv4S1p$&DwylWZ3}$*S$HXI zD#zn4(_|9r(TL{3xju8N;6@)ez!T7qmc2xF`zAOVhze)-KV?dxyW(BtG!6bG9BkLN z=&yAel#!;%qA6bezaMUb<5fVe989%=qvg5G-VtML)I!${)Wm$=JIGeRX>g*N(2MZ$ zTfNk6fh%70>h?{SQ(7(SLcMmMLd46=gg7|wpU2djf0SZw^!|?vU zcni`9mwF0v*_E1HPXAmrz}@i6KK?J*q<^H$kqKXg2gMn4wBGjSIHO$4FCIk7ziLW_ zTEKT<^Cjl5{67b$z3k2ZKZ#o|T&%WS?;)BT^10LAUe>`l)gjb1hd8`t%4!w2^&==^ zdrdj1_+!|d>P@rHNKH1t(H$`jF7WYYxEcL@O8+<<@6%5irOC-Vf|BBfp{vZKA&m~v z!2da{^)OE5Ps}1O4g@0!rs*+K2_O4_5~Ak+CS2pQ8=I}k7WiVhna@YWN!jUsH8pv^DNV}X>2UG^E}|-~+u-7ZUZS6cWtx|-nHiknKKV+x z2|tpQA8*5To;)Op*KmaTI!uO}=}@H{=ykujtIyhL%g8!!Zq zRh$#9HH~cv=W}T;^a8ZkUS=87jL=ZpGmE@HE{3ZoMKeN|YIrX4XkZtPrB*jaFFN#v z{F0K_S#F? z@kO^gaX87b?;4V;iNom=++$Rn{tX@o*C~1537RzcCQ=B?bZ=st;ibrgwDKn_hed9uL7QJ*Z#)1Qr9-wXJ#Ak1+rVFlTfRywnVsT28Z^e zR$C(Mg$F)jMUEKfOiL}McFpq~z0=m_8`JcJt+X$syu*vFR`<#9zP zW)kvROGHKNw!5haA6jh}-_K#Gv*e^&nIol~oxa5AJ6n^Zi-HoP>=(k#A6RWKf)ac0 z3S(MKC})-?ix&rl=|%#z0$v1THp2Dr13vEf8{SU7{^Q_DaJ1G|zzcoy58#kbzXyIk z=y6DHrD2XwVLiOe>mb|j(c~c?XU^qJhlxwX!3W{_KCXew;OK<(GIpL%e*|20)Ka%5 z`-;^@*H~*S(TV$!JXfn8%b+DKmNcvAHrhpx8SfdPZ)i`}gK}D}O4=MQ9OqbV#i99{ z-1?9=`0H>g98}H*7HIM;9F6WM_&GQ_nN@I=Pre)8;mLC({$36WUx%CE0yw%49*0Ze z%hiAf;0-?cV*5J>rx%^q5Iub?o|NQH^L zi$c1}bL=tr5ZqfCN-oi)+oRqcqs%_O$rz^TXBOJQr;P{OY5ncZTa9gow$RS6GPY^j zJ+}6oaVkbT5I*w)m(~aDwL6VdT1Y#{x3(2l~d4qk*|U?-mzpmfpmBeyl*)6 zNNI;JIwq2ZL#Yvc?jR#+Xyu5DR|+FO;rkgga%!@pumz6uMPT6niWF`(Ws>T@9iCL_ z_5TV^|H!R;j{bFxMC`9tpM8o?{JmeT)0u4@xW53{A!84|8R}Q3{ z5lJ=u< zJFYN;Nov4b&Y}1>PHmnEm^K+yarzMmgUX>{b{XyutuL>k%;Ba$ES4cA~DT(ZQJooav&V(5bd zg^D}1<92Y+k|edpd9WO|WRsFNcR~KH6}inh_6M-mn~+zMe-Q^}(vU$hT%Z&-!6kFu z4^fUnBb?jL-PR5lC2)%DaZe$K{{wE>h676f1bocLmv`kN?BjWG!C8`)@goj=NJHHk zOExIJsvA#+DsLB@g^QmxrCRNh@rl$wWgxjV=6Vsb!5=V9#hL_O zG9}bW4fy9|BH-Ki9r{qneou&$d=@+q2c!HBT>QNid0ROV7}@M}9D< zaGIugYua--IdO(BOKJ&%qmlb^ z;AXhd$16uu|C@XbEqUDPI184l0m^Q;FzdUKEZe^}BQtay{1R^P=`X#Jb^hG_mxm+2 zejM+FXjt08t6UB6y7MHVGC27b3<~c6W#D6Y zwZ>_tc*+##Cg@epBX9+r9+lrp5*j3}n$S8pvz--Ox)&32BJ7<1kI=B3w^-EU18_rMD{{GZ2Iw%IHBSgigPL(J+#2tGj&kJ7-~feY zf*PO}u8HOAo(lPi;(sd5GriIrIsg0LsYziul}-(?8_wtvlufEu=W+K;U1!M>J})=} zeh6=Rnuv9Fd1{F!`=0j-(M~w)1&`zI<~Hx+S#v1Oe`7pdo&WFCkbcl=JKrnHc=j&l z@*Cq8l8@j+M{z(6m@<#T^d%0&x(+-CS8zj$MsWCi9*O@TNmUXjFXU?ir8z@I=oPq> zh*cTNzzcR+t&w;z@tUDSh77sps=-%XJt%$XRT+Z@4;?Du+INi0lCCH%T{!!SpUT4r z*9YG1`qOrM*M`6>t=mrpL&NzW2D*j6+z>FscRv-#`uQ<;)EU3(oj&vzM?L>kAnpG# zzHnop=g&E|X=9*C|M^ihX4?Cg#v~GsSH04IsYAH$Gl8_9H|!`Tr(gX`n#y!|_cMXG yUp5eq-x7%X*-4*Y8%VZCZwWk58J_U69tdy0J||YQdq-+^9L@3RTdMQfS7bP|xQ*WIis-5g2A0iS&k-j`jbkWAM z8;Po>Sn>vNnT-cD5fw~xQ6Jtv8C(nY=lnJ}IZP(}BT*FS`URp=*!MQ%vnl){k%oqz zMgy$|pR^QcKR6Zx&gJr(;CC^A2j^d2B6<(pi*vTt_Nn-|AS}>A>&3gG`f>}=ffyH! z;PS)ZQm{GU9{(nq8f$SZxII#aw}!*b;G2-6MGw%BZ-~-oSo#aW?Gt5c=la68(4X!i zhoL{4CZWM|icCRhU=a|$BMJdK1cTRs!=I2TfO8W#ZmLW&=U1*0U4X;$xdX@C!bx#Y z{9c$XnjupMAJ_XDQFaW>aNZ8?Gt)&qcsI2b3k5dk{bL(ZE4VwCFK`QAh{u(AtT|q$ zsocz$-xC$a$&}2!iFLPqA?8P2_?jppK_+C6KB*>*Mu{@jakXlU7Vxx8SS(#00W*D{ zlF5_H|E$&gOC0S`NBuxlmn2gl*V_$Fc*aVXh#LsbuVt#{{hkNc&azf>H#jBEn$d8_MxFYS*8f&6I-1tVEb|h-60B2lc|V1n0J@x8Vsg@*?zf0 z0@XLUC|qX;J*Cy078{-Ft)GYvFGB#h<9h{xd=|=-$?e<%r!10n$Jn^h_{*^ItKb~4 z7uP=p-elvUl0Ze^@m!t(KD=0_GJ{q63JoWr5X%*YAm3ytlycq#&YNv*)K9?~HuiA} zl(|Hv46gqyI4<5ro?tfdyWIpTc^)gr6Q#;Sp!6rrNIxmkEUa}M8q5w`z=bxh=`PR| z7&H@5_7kWt!`9W|5_+b_q?2Qg^P^VlKX~IB((mESN$^rY^_!Dpw z9EjvIj>KWG5f1orgB!pSm{kKdz~8}{HV3;866hl=RT7uSfZv7v6vhs8c-38eMQl{x zKvnX59pmtc#N5ImVmsV6gBxso0(J=cW@JMK3tg(?N^mLs7{SM_1Q*%-x&e+z>K}gh;HqpDMFh&dQ zK-mdhKMcEY2O$h8*W&(Db|1*}|8h7elal4@I6QqYkwPGj=(K|A#z0o@y zy>Avs;aIXdP%3yN^rQIz?}887_!3x#zFy>z2SIMdPg*V{Xj}ZGd?EhraENPVD&Py~ zL|lpvVgB6z2ykh&HUEp?DsUR#a0z1tI%9KZlD49+bghRPI~j4PlW7x=+ZR(&!oHO0 z3g>>)Fz$2KG@k}<1DpHdkKkk*p9ZHl$aIqTA2=Oxv-O_~zOv9oLyR!^(RMV1K*0=r zv%Bpf>011zNyv+4m!4pP=%mlUiKk?WLRPmRH+Zn`(+nEI}J10{M_jen(uo2f#9@l?^&oo(y9{v~vi>!QI1NLgRTJ#{{^8x52>| zEFL`pN6tlyQ^5(BWGd0^tu9{yXXSrwoGvO^boAV5C zI`m^XXS*wgOM86BVXfL1TM_E1tr#KAlhlkS5c(xnBtHOGC7UTB(hYD1hv|UQwodADqdRM_4+pV|Nh^KHJ`a!0Re6Li318isG4RA2}_v7<1CeDUu5hv@6r@w(CARhz+EHS!i#W9lV>3etq z+Fc5HIgANy&_WZWe5Vkm)g(!c1AU*Ehn+V`p~F1h>$Hm1(r8gQr8U1G9d|^9J%^fB zpmgTJW^mmWr85tDE<#@9EBX<`O3Aa}v==QucW71COG|+ z()k{EN2|$~<~h}D*jbzFB1~70(;;RT46{0mzY%DijVFV%ZTflO1h83akAT7u~@F;8ixh1zrI*Cp1128xL$w zNCgL8R(M6x25*)8Je2c@PLAN}JlUc!Xww~q+Ie&bYw>SM$0c>-N@Sg0S*MaxU&;p5NJ2pbS4-4KVWk*wcs+F+yhsm3QInbrlX?>Bkf){c1>g($K?sN|PPQFWjZ?f$p zufv%EcENMT^TB<$;L*dm1YEeuMTvae%it^Edd@-FsQa5;blK1sX{mN%r*ue++KD`m zlU;;W(F;t}QtYSKEXR(4&wvMTLvx-NsL$)x9pioN#CsCH_>Itf%Otg%kfv?fEA5el zaxH4Vv_}wpwKh$<<`kmc%^%^;x=+jfSh_2ykDbL6W0RsExPDlUmEdwLcnF4J?0=4^ zd$X}nzSuBl7F!HxLf_8PVu*DnN@z9sANfLx`Y zoA71xbA@EoA=V+PnW*}R@yUnre}mKN6#blHd>UMZJ7NGg_||z0@G%NA@|?+Q!R7S| zl?w*w-c%xO`L}$Ujr`yBxE>5bS?Zp(5m;?!b05lwVTx?~+X6 z6u1c=ff~4h!F{o7y^LMW-j4yyQ_QL_LAJ`8M1RE~`N7}dye3DRRF~07A z_XD^dzM;@I&db5_2i7hK?~mONuHw7o_uyc#nG=$KSBIYfm#SEE9+6gjyRj!>#6vi} zkQ1sGAFvq>_I)2M;~G?m5OH}4xWvW|1rFU-^rsbzz;ldWv-JN4&V1eCKordSYDNFL z#q{Tbo8FUE{o=$L>d~<2JuB&IhhPo2$rv8@AIOh__3sUw&w|sjOAru!m&oiwdfvs< zq3@($fHQ3Jh2T8wiWJD%ctzmoVXBL8;nEvUqM`OPtI*{90v)hswLFBC;PeJX_kkI> z4c>tqsN)8shvFpYg)Hax)`RPOj0*wN7a#5#(KK+0Y76P#(NI)uT=7|l4sb>Ql7tVi zI~XqzIGD`&2Dq z|3=o&GUiaf(OqY7V+^+8XL!x=q})1IpfOvq1c-nyiF6rkFWoOaiin`J%REBgJc|9- zic*-tJ&K8dhewU)CmZkwa1m;~S&ECtA**4)+-3u(;Icg2TGM#&#UJrui4TyB%XO74 z2lBxeZCn$B`rl$}2%CY|8y-73+@bepcFp=3vrwphlJyxf2ZzOBMz;P3!I4*u-#eK6 zg?N;AoQ9d)p~K+velDuzd|aJ_Q-1^^z#D>}MhBGIbe?oAVEZXH zfyZ}O^q@SxPgAZ z7Rcd=!;153;6iXFXa8h;+JXb&rW~Bu14+v#^eMQ~tJ49MZlK}J0EJ}UVGiCi4G1YK zOziZN@P0{$gPXYg3U*2e7#-M*k28inGt2v@;+-?ls{Ql8+rWvs zJ*@vuG_<23h!4;PF0>`plk@S=46rI$F}M=kWI6}as63o z*w!*8#3Ibj|G%Q4L$N&Wvk;YOsG{Gk*^HvWCH-Ag$7j4AoCyx$2LA%iMxlx0{4+SB zH}2v*%TaiC@Z)y_c-xx_W#i)lbIAL7)QMe) zSTBQ%z_A}93AqDT!3S(S5!o4d(2|$nvCwi>udK%T@3o3u5R}gI{Rs9;UM}vwc(k!X z;%WGe;p2Z7!I_6J%<^et(k+rU4u8G8c-*(QySn`TJ`Woh{^^HBg5nq?NJP+F8x&nE zKoc)Tbk zs&?(#wRfK^EA3EP+My&#%U^ZPb=r<4na^Zuf6fflerWw%BT{uoNa96A3k2loagozL zzN=QGa+oKtfy;f|wN9jDWJubo`7_`uxTE6N;oLMs_)h`>O@2NlQilCD5&3wz?X-x^ zK+DL0SnwfFLH5F{pZ_Q@SkoS{Q>z1)0@feuMRtw~ zNiQWo441*t1$X*NWW;EXr^1aH2GK?WZh$W!XT(iV+SelaV?6yrxbb#F8kK(hKheK4 zBry^F@iLx)*kOkBV8F>h{5K*gaEun=<#7Muh9oII2WO2i#8CXlZ$(ZK@C+3|O;|e= z*qXf;vunl}a#8uc_MAx3D9k9{0=FF-lB?9T=Ns54IJ)j;--$H9EtLF`u=Z)-fcfxw zhO-SBq0F2?tu)J!ToujK@cB;z#hKrIDUzOJ2-V{*>Kxu=k|Fz*+5x;J-E9b)=gNm; zrrlkJ#47m?d+$F2ePgWKeh}F|*^p$VR|)4#@yccR|B{@khU`)E9*3*OdAnH&=Vf`T z`V}tlamJ4#JJ64=`YAZelaH4w1{!k>NvEFN`h@-4J@8kN-ZKqZqXGq64sNeG@flhkT-PFb^(*qn%`X`25MhIPHj?dCEE0TZm`pV}^8830@SZ$wJGJ6cukR zJOXyyI|&}riuhqeaXH-hsNrs$BR>w8!clo#Yx3cnzX0~xx1@#vzk`f6mpj-5@9{Y} z2Kybfh`-#ye7ItfAxBhzufy?AQkiOjr{HCe8PEL6hXWqB|Op1MtzDkc>pGh2Qxya9_gUPMXyD zn#xn*)Oz;lhwzg6z%=b?`$T`2Nh;&wvxej= zdBRnk4djLjqzE>A`~|#lxwmy!w`G!LH6muiQed6-{GTy9`;V(s>vzLBFT++bI>n3@?tUaJPj{olit@Jw~!?i-*_PlobxvQ+HcaVquhOAV1J3WFH zcG!@!ijzm;_kM4g_rq)9=y@oEbA9|ZoPWfSLu!7{JIR}Gem;D5R!FXkq#;qZFpz>m zH1Q4L^Ii3G*)I*DE>48p0@DIPIRQ^PW=Muwf9s)Kaz49R@J6^x#ICG{%a~7kI95Ta zw^L1hYmAj}3wf&{Ps+}{aQWwk)T?;^1eezG3{`o(0N2!cg+Am~1P^%i`V1U*!jo6S z^~BLp#gRBjlR=)`l6x4a_9?7`^HC^gf>XFTxADBdK{UZ(cn=({vtw|_lPo|58239( zdY|(6cW}mOj|!x>VM-0ZuiN9PUjk8&*-kV)-%&avDA7)8kFap(L6Q3q-IrQ-N$Ou02e9F zh4axLt$0OvTTgv!!U*=NakiJC&i1@s`ZV3LhLidSy-fZMuFQ>=L_mVfD?lF2?Cx<~ zp8t%#b2JHNQG#%aa`#_wg|DO}o5V4{HF76WL*V2FLl#H$(+@Y|>)@eG=&dH4 zgnbj_dV5J`W> zQ{rMG3tDZb=IF&iEz{mRS+DJqFmW0uZ-^=TRKAzn+aA^X2DGp26OZW!Vlp%Dr>B*e zO?9vq-oMIhs)NoCP#49fd&M}dWDY#@aWBrT_W2@xS|H&(;|mzyr{Y^}Pq*~B&9!gr zgU{;4vD5oK$o{-%il~IWmQM@%%xvlyDRYp&Z^~JfJYBCRwE@%|I7>+LJ zc{urusXB^%?TdP1bMrjeS*(ScZni9(*8OTqqsnd{JNsq*fNl+XgsO`TNrT#zMQ~P- z2ZiE&3pAO$+;iUYF`U6673>)JO*k4%3A_c4F6I-s+$X=9r_nY~e!EO&V24j(Eu0HS zk3lV*5BE_HLyLGS_~d`HPi)ZV2CcUr)nxPvZ{E7cd3v=AHT~}N4g6|x$o<}Qj!)kw zH2Dq=5xK+j;C8F{=ux~KE?pUtNy_gJ@L9N8@xUVb{&OKY6VVUIBKzPQ`tCsH+thiM z5fXOAZ7^BC=RB?U0;_>*;Lgg>tcNsd`-1nz*kvEwtn-WCEp|e=ZZ*^9+pFHvx9Zw% zJM(RQtEP3b&)fRBpf(|V;vL?sRrZp<>X$U@w&Q$atTf#VH<9fqge%za6x=x6<#Ul1 zCn6h_z#$q0*B6_zN68n%D>EY3gQNc~oSqzVuSti^T7Ga_&2dxuYv8h%4L2XiEzwW# z%jPGh81x}$!bo_}`;nh~9Nq%Y+;6(~l*6asO5TXh;(ijsh47|%geU<6HrX7P5&ho1v2D1pj zN%=CkW|JWmDxjAeMb@$c=Spz&hyKK`h42W)^WePWUdp@wEV68Oo%*Tuy;0O39 zuZzr2;A6H$GoGa%k^wrRtMCs7dK`%Svfu`?pw~WUkGeG?y~lKa-E#Ev z;kwO+SwFd5a{~$jGyT3OmJ`3k_N=S%%O8O=vKN)h=(GN<0 zxWFebgqLwD@{l|J-hhX8w?e{$%N;nyK-I@yqba_g3G7*wO5wY3{t?rS!7&imjfW&P zuwNOR0Jm#Jl`DJC!TaMQ4+2L&;fBjIIv?I>`BM5R18X)!p7_p$mOWWP5=EjMRQBcz zgaC6D2m9bq^ZLMS*k42Y;7N4Gbfs_J$W_EA#303Y!&c!@@7%6nAaX1s8L5J+zc$>v z%n2yD@8v59_U9OW%-5VM%GU>I((gsKfD9x^Kz@Mzt-Ev}8KJcsDnmaFgUIKn<1prCGD5G9w&Du73eTdJg9}~ z{u#{);QGm&^ER|1Q0G0&#eyQnfilHXVf{&0=r!hIVUn1Wx z`2@I9$xlt=18W%fdrYKA7v=G@c?!$~XT_g8jJ;@;cbm?4P8YBDKMb#hC%N|6|F;=v zWT1y~ATwBzuc&6gNl9KOtAKaFb{+ozs7q(t$?fGWlI0vnH+0_1vwdZ z?*ES&xM+G2hi1{4x|#0V+F8*Acw>i<>{ly(4laaKl)?AmA{tGW;;Zgw#jSaZtCaVf z{co)qj<#m^{-6IKDd+O3QVy=>saZkeS+B0&)$rOsno`7%3r;}SK183`M8;Z0_zigU ze^Z1ifM4L9KF+2(lXrRY?R+fMA9p)zP!wA6tEB)sad-o5jU`S}ax-1u7x;kKJ%-f#C? z61!nj%!Ar*ioyw-WBP^H{V68nx5d>JF+Gw7T-m9F4<6OKcS*UjM#RIW@|X_hZ^b6l zri|^MGA(&@PV)T1@RC~n2D`FEi8evg)Pi1EiBDU4Ghdp3@i;zER2j9rZ*mER+BQ;%gHIr z)icIaFn!5vmeWF*;@cbNuw*e}k(ll$ucJ9ICVmdp5DEfg%hX#>1Tnm*urz+ SL>8HLmL)9PS(dO)kpKYj2YBfK delta 469 zcmbR7Q*6dhv4$4L7N!>FEi8evg^etYEDX)fOiay<%?(TpOw7#~rZ*mER+BQ;%gHIr z)icIaFn!5vmeWF*;@cbNuw*e}k(ll$ucJ9ICVmdp5DEfg%hX#>1Tnm*urz+ SL>8HLmL)9PS(dO)kpKXR26%t~ diff --git a/artifacts/test_program_methods/noop.bin b/artifacts/test_program_methods/noop.bin index 8a20a78970b28a8275e8b8efe3703d949c87f25b..856dbe7b1fa944b34cbcd48f12d8a2745799dcb5 100644 GIT binary patch delta 8703 zcmai)dt6pk*2mX5=Xrn>FI>EWdCudF(hQUo@1Rtuq=I;v!hmEH3sVd)`I1M{(kT-7 z;P}uh2K4$mj6(xD)bah~yxyo$#}o_|5fc>~QYJCc$iaMn`<#6^$C|q?b&v>XHK9{mD_KC&^t5Yoe1I62(j?6+J2tMF~LRMiAWGds;eU!Xydu{ zL{;G~^5gOk!Hx(Q_2yg;jvpaY16ULV8heqb+1CFpaJ!A)fnw8m7j-lG$I@TW@FN;J z8x8c>Wg>rc;0iPyoCRLMAV0HetBlvt&BK)fQv8(3vtpO_yJS z*9Jrh~kn?`@*_&sobE2W|zM z%ef8gc;4b#aFk8nw-w`A982+N@SY=67!rytPafF5-k$%!a>vV*&mCOcPP73A62WZ4 zT)a=za@IwmIy)#-%d8T!o$C3!L=C@20J!71KNAHlkSU$pIS*cwAnT5^aR)pg+HB*c z;C!$**Z&{zP8&N(pmOkdE}sc*NR+A6V3qcvp&1I%TtO5B3WGuk=hwi2Q>~r+3D{xd zo8YV@nU-_?32?Fzk@W(ziFZQ+?_Y?OMfAgxOlmMRAg-mj8s}unDOm8Ic%z4>k8~Sv4t0K)n!}^W}k#fMH zHa-mwgoEKQz;b0)AAySCfDbpA2ksB{=6n{MV{@=iUxChJseZ-fFM$uhej;NBcI!uO zpUdJUH62wc@;!{hC-UTvD9g6fEft(<A&O87C9k6Q_@u=(YI zQ!Q>rN1#M1)6%Yp-2~P94pA}$9=ziW@T*{?s$N}kzz3~klum;)AZL!S>hni9TJ?dI zyZup?E5Lz}vjBERS>6aXtAQ*Dbi(TIqJ?M(n%UtQ&5#A!0tHr2*#Nnk(kLzygcL3J zn%J$gFhwhFLD>n}G7vL%TL+mq2%8RUZkie3&{>w$YCgmKx&Kk%M$MXkE4U4u%y(S!NU+VF+1h0<>1HQ2elp@vDN`1Y z+qGv=!%oW7%z4mrD8}(t92SH3gUt=`dvJ!0Z-7fq$yCGp4}BiTovr^;us3*s5e8o> zL&GdIn1R3LPV$#-#uS7Llz+~pCzv2Q=?ZvjH7W?7f42zSJ8X7iz?I+t!!G54kD@=q zgMHoZVDd0qI@bL*?4A_Scm;}xQn>%nP z*zWMyi4Sx2KXJ+=o7{=5CWdRL1Ej7}#7G3W^^#02eB?P(v1Z>OXLVOmC#Pf2L7u^R z0k{Ml%{j}h^q0zfrXpqi6RZdYXqWp-36i=#5?coCW+ab*Yh%rn5Xl4ma%}w$M&llG z#k!|>ynq@8Hf!8EaFs2kgc-Ofp?_Dn!%BA~IPq^XtvB2oK?`O=VTy}nu22L{Mu%aX zuYzqIXs~u`0JeP6f3rAzhhyI`M48iYO=!YBhR3NM+<<{9xqQhicICDLup2BVT6_as z1i4vShG~ZeNrh6iK#W$*-7tXodY{V&P$;K;q48%krz(73104@ zP!zW}XD%wSr$VWmb6>>Ku+Y>ON6=|BRG`7!l6fy-%UOp!odM5>ydMm(#OSH{giETI zPc61sdLM zUWgjMN$JRg9bm8DC>?nakc_-|SJ96ccBZ`!-niWIvs_C`lM+OqAJD!H?MJzPd0O=w z(lSrsdoAKWq-?LG&_$Tv|0+a0U^|!KMR8i`cu|DB3i%<0n)$*6Ek%HAd9eiiV3muU z-2QHGNww1PAlR#gY?Kn5Y8LE#xY|XSt{$gT;CwL5>g@ZPK-+CR2V7v&&j+W2%~Dzi z-e!~cOBJZl);|&ak;N+g7aFo{9j<|kEd{#wx_}%3=|zXo0F*lpRmb$trV!*l24`= z(NJSk*a6M}o7({ICT5c#(PFkq%bcpVLZH-4t6$M-4BQ!Il27=1@Zon{ z`h$~gpWrnD`M!&ZK+bptICK+UJ)A4R6>qy}J|Fik*n5MEsyK(eiSh&f*3cJetrk%r z9S|cl>{`w+?N|#lp@f`-&l8y&$Wm`3E%w2X_-Zm>LH|S z!tbOqNjRwO*)5d`!g?*KRJ!RDZn$Ii;?DYoc5AP6Q&1taX=!tX2Liu15O#lzXwm%3rm^>4_Gt4+17~ce^2e|ZOlCi6v=mg3FE3b?XUc|Sj zt+E~uuu6_^@XhDALNe+QQbqaG8$)kD=goMR1NB8jm5nM1EQaDQGblgzoR6N$K1 zrV2hlKM!nDGJn+y#a5k$?JtWoT%w zSM(2)OyN2>5Z~2mxq;z6c(6#uu4eK-fJ;sqhY;i2;L=av0M`%o#RI{{tHBvI-Vg51 z$}Gm$9q8|en|YQ(1)NoI{BCO(MEc{J@CTXpI}H5~!6}fNIpf#kVTb2|8&@F*ctofd zPG>BUndDJ{0_{VNsNQ_QTWGNF`?!9%2EC6Ead`!}!N&fN!=XEh{bS(DLC+BS=BF2%s>Mgjuu-yGld)%I$+Hz zc?c`PC8reK2PW?_0F@j$aDwZ{foD08_1xYTu$Px{Az=ExgCCA)I=Df#h4d^MYOqg( zxk2wCNGd-Ug>(Kh&X{3vFrKr=lNb<5l*)Mt*q%ejz*|2xuBOZZ*HFA-t{OLA#`D2y zd6l(~v(R8{3nKzwfW5EC`dP+03>xH@UU~)|9x%L( zIXL>Aqu$H5ubj6ZlV`6j%=T5uYsbBAid&E77mM``zj>!4vWBT2q`N}Y+w7~{Zito=npF9KqKBI(GzgKJB$deU4ZZAL11)X z@=J_iZ#=g*#|P+z zt7bC_PZ6)xdEnYyg);DQfep|<1x^(qVqFX_0dFq13enHtRvX7I5h!twC9l9^Vc;3P zvKr@qAkx3-oYHZ=*QH_2SL5!BM;j|7@(PsWi*SGsxD@Pt0}gl^4zz(IA2+^RGY3C- z19#ENtA(XH`T~V-*aQ6cd#alTAq!OVs_`nLEs|YY+eMdf#*Jx#ymH z&bfCk+`iSV;a0btKw)2Q?>>TeX3Xm`!mb!`bD4VQ8zRSW7x@yAAc|CThN!QNC)E;F zM!TpBm%k5o#JDJc^J(z(!7|l>MNy#eb3~1{@yo%jHeQ8}4UsPDWQ?Ck|3E_v8hnff zx)1ip0N#P3FA!yeXK?vy@Ff`J#km~(1NdRip4!d>Vw52KOKU0@?~7{p?}*|@xM%>E zPXkAS%?0OyYi)cE>>MUzHO7LLevkP_x(F@0gG#{^YmL7Jc0MIjGw=WIW%P%G97g|% zRE-AtX_LonF+0}PCkDUkC@@cd|*WX^rA60LxNv$+BD-1`rUJ0^~7 zASxLpQ!Af$JG!kO2{oLbXe8PWJ3H`U-T#G+9c9_Q?nk05@IzdF=bF3hhcjc^QgEkCas<*AzmhIzrL!Km@XherV8F|D%6BekO|#%c_pR` z87GrBmk-x6zY+&I)I&`~^@%d|<^4weM3g$wil<6&{3Mz7@o~}(qN$^;?HmPe2AkXY zCfMd{+7b@Si=ZushZM8Pv;O5=Ktf>+Lxb;H@b{`ZO2*mx#* zBiPCNe+=Gg<6Gboa3q&UlR$OJG8G%F(x1`Lhz{|*!wql*Iuvo9E(jDj#>(VPV26$C zz}YD>E$00P!pM4f)*H+g&H{MP9PAtql>cJ^{jBNvNg^e92$YNlbHKacU>lct3Umev z%?MOF2~-3Fp5qhD0sErAS!%YqQ%;K$gcNP(X_nZFU{CYQG6ir4FL+3x(&aLRa(k=5 zSztCjbMVj(SPxj{ya^n-P}Vn&$&Z68Q!V*DaItOte4lpuRXTuziAg4`ag?%T&YryTS3VATs#^PlC&r$dsVVRe^ju3KYA{%9W8|Clu6i z1+RenrlIn11)qWamzoL$x&odHHv4bu0)|I+^YK4{qsN*%D$;&`fo@_$#y~E(AFCDT z_=R;7D9u(?(%gl$*rUttrdn~95UVAg6Qe}6@Mjc$3EpZ` z@MBj2)yi7AhGka%QKtElVere{1R zfCFJ*G!(E{iRmFw0Sxft3bVjLU?=A(x8DWv zygCn6DfVs5!xz%41!dWGy3GKm+V}+YM54dx*|1)SahrS@xEyv2;PdVRm)h)V0Vj=b zbCgI0+LDW6Cqcd2Of(k)Pd+f}Cece^gsNU$GQs<-W0Ven(;;VuuP zaw#|va^}ERa2D9C27VF}&>HWeBs2t1XtRu>WP#SA1FNTOg4LQ*FD?>4ev|?`nTV~ zg__bL?sbMO3l(Vnb5^z81$IoaCVFWwatv~_Iu~nx4r#NXE)Nl?dWUt6?E}|?{rQ5L zzy;7_M(&WukQ${{*5Wkf1>Vt+58sZ15QLkL43=1)s9<_uxqM*Q*=?p}#xVQ(7cU)&wtUoshUW47KPB znR56BdcrT&pJV;p{$b#H&07C=;M?H2JmV%00o%-p)h>8T*E*=4H*5TKs8WcI`}Pc9oU!muK*`~g9UH{?}6u^ zu{iW8Y{*%QXM=NUW!kFi$MM~ShVXONDV7ll1>j_^u+wlbChWl{oCwYYn;G~%*lzHE zr`vPcfAF*@o7@Abb|XqV(M#$m#q@=fo6pO1ozFaa4EF3>#4LA3kFm%($kREG2N!|k zIj?dnLDCMtClRv#vn&rewF^PgEJB&-X%|tUKL}~%&*v9RQ$35htbx&yl zmx9e2w`d$f!xmCMf#Wg0BX`u$@u-=XWy&zj8%*OTpo8ty$_3BGfDk^Q8f+Ut-L>G+`>9e>dG~gb?{q#?89VRO0^5+xSmD_Sa9#~GcxE5Rhxmj9zYy102 zo28V$Cc++DziZ%qSFMk$kcqetHOiF5b7dE}#CABgfa5W~D_>8l-ri~r=_`M7l6&x!rn=uilmub1dxt?&tHua}y65ub*> z3PteYZm5sgRDZ%rX0mgXsVoO3`4ZWY+JHa@HYFhrm-I?+pd)O!w0Kq9xVa?+8*Xt%pKR zhq0h6tuRhn=OGNy!p2MId-=uTV>jzbg${Fnr)$bf(jZYdt0ksN#~m?4=Ag#EskFtx zTCn$9N?RN_=OQlNQ1l~)ooTbcS&J<@3$>Ib(k#*M652PQ{V=yLORHKYE%Fl1Ycc;L zt@BRl_X5`U4~2+3?ET;4Vsk=i`=W5Y1o?i28u`ZbSO^E%;^KMm{pBw5;QI5xMO8}M z2f?4Tuqaqrv&M{%?WPz-B4^3cSH4@0cpk zX508g@Ft5@T91ZxwgIQWg;oc;`m#Vw)Xcpbr0vg@j!WvmMJPY_6}rxMWdS(5 z6}!#(@5==GLxwf^U2rVe#f^5{)4Qv|$H3-d4uUIea_?6JskMRlpmt$czd8wATL0aUY7A+MhHPafGy8;vYxY}Nx&V$Qdcj+ITEPa%f z0(E`^3xVZ~=YYfC#8(gJZQ#Eaz#_-3pC^{>yA;Z#cY=F<`<%67D%e6Fi#VzY5+OVH^*P8^LM4T>3G|IH;DW0%d`fSH`=~;q7U?tosA3 zQY#wP992k09bz3ue2d4@{l=RQJ3NZ# zz?$AJz2q|m2l1KM3>Wt0a*ta?IgrP39t_T}wp`qR&%$zc8|U)Ln7Lx3WpEyNet|Kc z$|eZ>8Q+cXV}*RcyT4#SkgILN)ps!9kV0A914qCi9A*uN5JX6SX3!)D?$0mEBy+wG4*a7`rF?>p zo=8%}L^9`R!1*-_1@Jx20+*gqsDR4{`9gj~(eH9h{|n%xvkGlQ{OJ=GprNr=(H|yR zhqK^7ysOo41wnrJV3CZhX7YS+(J|u?Vq6a{{sac_{{1@R1Hs1g!Ra>s1nkSoEauk@ z@a=+|dA36NoEL+qe{5yJP=8z#{vy*JhtdCS@O;S4m~nJ%Z*UyAemP=*d!z}EH};?% z7Kl_tjHpgN;YBpq^L|usWXAu(MO?lOTxVmCM_|xRMgO#79(a-Q+gATW;1V163ql>- zje88=(wX4EEwZX#oS1?tG#oCpg7Bb>J$z5b^aw7i5r7yKwV$0mOPT#hVBhMdj!0XX9k)kX0(;P>2wfdWTFG24K(1xeIrJi;gS0 z4NSp3a4lk>g7+WQ2j7kkL_OE1g1xb?*6A(nHoS*+~`xyE=c>ONpYRU}gG61hVmyDY)<1t{hq|(acRcJ8M z!tlW7VCO|yKg-yFZXxYg&=QJmIfAb_9+d7ONZo8~0X*P`d&gz4y>!134v&<{`q|3# zT@6S6g^A*Gog@p%<&rjCj7PuPB3JK#ak0Yx0Co?g5_&?SmIkS zBMw_+i-8=l12JO8Oj#W2zqhSn$g_ALz~PX=Cnz4Re9zp5OIcxJdF{aWOOcnNe^4<4PU5>HemKr|hvA_GGw^O648{N^uVf5;kz8NE zOx(-Cb2%r2Yrs==#{L(fA+(EieEtNkRIH#%nuQN2$jwT)1$-S`#}%FghhhuOw2V*2 zcz^2#wF*pK6)yJJDj!zwH;M?*vp%VPi8s7$>T{cg=xGzwhT(M1(}#VWW2 zY}ScA;N4!vg@W~O1*du7agV#a-@N}Q&0w=M>*xQx7w~5B4k{g=z?)q?QFsb?t|z}*)gZLE;^Ek!Lq2Lt$oGr`WQFu=<&;0ieQ5#!yO8Tjflc;OdZ!FUi) zS&p{^9N!Uq3vPjBl;&cIEBH~X+AAfV@e3Oo5k4$5?D3(GhlYg@4j(qmU6t?njr(^W zIv#p}Z25c0WcRi}*r diff --git a/artifacts/test_program_methods/program_owner_changer.bin b/artifacts/test_program_methods/program_owner_changer.bin index 6d08ff3d0a36c1c244523c43bfb03883cff02400..d17d6cdff6cec5e2f6df46e137168050dcba0cf7 100644 GIT binary patch delta 487 zcmX@`L+rp0v4$4L7N!>FEi6A~iI|%jn3@?|7#JHFnVT3Io0^yyFiclG&a5V7te2Bh zmaB(F!E~S5ET@FANNm@f!;;B}+sx@_=CW{L(>VS0MHb`fQuA2EacWkVHpJ;5u#45F zubaohj??t*zvr?1V8Us<+H~DTEbMrs^YBTlPv3w~T202p9KYj%Dl7=7kT$Wzsbc!V Si7YbhYZkL?U$dBXiUa^rJbe5B delta 487 zcmX@`L+rp0v4$4L7N!>FEi6A~iI`a$7#Nxv8Cn=y7#mp{nwppzF-%uH&a5V7te2Bh zmaB(F!E~S5ET@FANNm@f!;;B}+sx@_=CW{L(>VS0MHb`fQuA2EacWkVHpJ;5u#45F zubaohj??t*zvr?1V8Us<+H~DTEbMrs^YBTlPv3w~T202p9KYj%Dl7=7kT$Wzsbc!V Si7YbhYZkL?U$dBXiUa_pd3{y@ diff --git a/artifacts/test_program_methods/simple_balance_transfer.bin b/artifacts/test_program_methods/simple_balance_transfer.bin index 555c9f669d7bb2874c8753df62fee376a3d0d478..f6105e5a2cbc68813deaad0315e2550a8fc28406 100644 GIT binary patch delta 8701 zcmaKxdvp~=(!gtGZXgTc5gu!Rpfgv*AczTHL|_pUi4rhEzz9KJ2?Tj;lvk82q8F51 zQ9%QOHz+=N=qg9TiVku>MA1d$NbsPrJd&_M42TLVDr&^GWc_T`l1sx{-}#w;&D7q^)W>}kX?aLwLI1F{6cJ6=$CSJyYAT1B z60hWs+L@o~*MuUizhgBd$H)oEzXj zeor>h-&^f`IMtUAlc#B@xWklQ($^D>S8CIe6EvB70C+06Y7o_B`W{ zgeBeOko2)L_v_Vhk?J4W2Y)62%JJxLBD=?%Qlj)!!^sm(*D=R#7ty3!fM>yd;RMxx z8=M{BrkW;sa9<_A9bRy!DeGb!k#}e)qeG7B5RZ|=@GFXEz>|mg8}$u1H^AS+sgq2Z zuKM>k;K5;uhn8k?`Fk7=!H#(+ zz=N7pZqKVl;lO2EY_ewsz=w6>6g;&p^@F)d4 z;bjd9G&v6+gKLz*&23;D-lVv3TP8TnTTxv;hut|~4VsgcZtwq`|914$+yrCGMAT>5EFr`?@lPD9( z$W7(RL-65+KA(cqVQ14hYuE7)gcA1FItT9SkB^8=Lw!JjNpegMC>RQN3Mep`*Xi5* zsqcn!=bJKFIrtD+mlu#%!bxx!9C9{Ct9F{iH^?Kp$G~AY54l&@F6*Glv*;VChm(;z zDUnEB4#8eI=*)3j=8q4{6dF#^;6*Uc(qtIiR~d-fXt}8@ykoOpw^zZ-HkneYs#Fy`o&HxTJLWZ-)WDt}jj^)=A*6Zl;EPX38nW zT?b%bfQ5Lf@+15l`~vJ{;!$`X{W&(>6>HsBle!w8Z-VQO z`aBzMS!>E_cY++?jjm_!(~z!ayd18B3zWi6{cs3_?bHk>!I`kP1z&aK0f#egxRCe% z7vG%`kcY^zc>8GBXkldb9>`tlxGATV;ZcLQY<@w`D#yC#aFv7SDxLtR&_74<(r8*| zV}0TfQg+`&KR}j!rn525i2Us)j`KVHKz;SZ2LiO*-kWMrO_n6N@{8e>EkB)_4bB-#~hO4z4Ck%4U`nD~^uh zhCJ2lulJAxG?dWbCC-Y`#LYkChKh0BpONphz39bl9uKHSq9&{PMdr85bCTCp^~Y zi2R*~A%Ov3!G(SYK3!-sKER7+aHzw?#dYu#__hGIoTH8abu9khoH1f6HlCvth>Gs}oV~-K(k2ATA!g5-z$~-v1;6|Z%Pl+bI zANGy6x`%Xv!^+t_crolnHwr%vdy_c`FAB&z-mA$HUw)$$(6B7fVHMmL_V&SXI0wF3 z8SFBfv){G%Uws{dJjV4_#$!(=)e{=LwgFg}}KLX2fI) z=@Y(VweS|Wy;4*>MU(Gf?~bwE9=g`xqhF@ImHbIKyI<^laQbUU_$p?F-E-36bU3Gs?WX#_3KuNlaD>->AXBmRQC*@`G^kCzezYM~BU$ROkWdBcmN2 z3zy(fCwDwokf&%!JrldVIvtkRie&VQz4shG3)clAF!vbW)7F^60pltZz5^~?>G$sk zPd*r{e9rjC;MMP0?rquO&2Z{+Q_eXKL}&<~6sgBRE)7nIN5JJTn^NI=sL8DVh~#$) zyJvu-pgj-Rmaub1I6MGOKIDh^S2SmBjXg&k`P83?5bvRQ)xQF+TN~3KaXO^&Z6ci+ z;+6Z2#{@}sc(?OgG9a86b1>xi>!dQy>V;8_1S z`4gNQklzPqu}cc*;MjW|mMbD*$x&H(l7@MeexZ5lat5%5J5&gF!6~0xt`Cla)}6Qj zkORAw!aLwfa)dvwfo1$>Ve{C9!0DfK<%JQQ0~bUBAw5h(9{V&^DQuNOQne3DhT`|H z;zYo~(TWqgV(>g6RXhz2=FlFv4VAH%lBaajjbec=oedawkQyyjF=u1hB>PqG9=Ad!1VJsd3E&s3*iRmgeDM&z zY@TLIhO9jkhy^(p#*O?mQgah6Tefbm%>}RLB7}{s;J6 zBg_3I%`w<*1pB-hrCUwtX*kKS8YUR|oQ93f{mPV_k3l-5Durv|b0N#UpF0Y>j^uN9 z9H*I5_zIkhL9cRlzk?9N>7E>J6Hn5r2_1u{H)(JnA_+WT%9AW1sO}mU!cmmA7b_&4XYtwS z7!D|dv*1N%aG-I_f%EVVZbaUiKUukOs9u+MyG z6dh`vo|@J(wbymm_P(}v+I2m8Uz?Vi7Oh+px-we!QmFAorLVmd+I2C3{m81&6zyV? zsC78hI=XdL$c*-06Uw+~7sqCY^q$>|i|@Uw`|mh)%|%E0%5Pp9y5wSA>=|oAU+Nc= zxKnN4<9}McvVHpR%TND3baAg@^SSQ#N4i0N_SI1Q@A?(3`910S@=&s!^jhe?@@VQd ZJrtdn6&JEs_Kz#kG~G_TDejpE{vV~+p6~zw delta 8716 zcmaKxdstRg_Q%&b=S4_C#VZQsId7zRNdaFcEHxOhq)-r1aq^^Vs5u(NY-PD|jBw41*;1UN^JR0Ix$!O<)~0v-+b@BANmYV$RTWzLB4nqy&BQxAHyNJL3#d(LgtKW%*X{ zQm{4QU%?RxHupYDRMt<0x2D72fvX@#ixHsaHAIQe+5J<%Ww9z<=l++#Rq)4U_D`Y6 zb42C+Rf<4^h`^;^h%SI#lF5_K6V=A66vliA9Qce%Dzo~!gN9l-(b=5b@eC5iTGt_8;qvS)P)ob2GoZXlb` z-&*a7;7D7ZLhqxY><=o%AfLqQRD+$%9acwFlc7=(J2>}0MEjvI9W3_C)w>vf%uODH zU6i25{V1RC^IrND`(P>pz>aUYM^rIRrCio?2^{vKYB(nB#*jqa9J~nJ2OP-#zXK0+ zaC=FjRB#`bXMz_`P-&ydUiudr3eh2vJG6z7qu^5J1>i|Z_D1~zoa|tiB2nZ-m9n{i zir~R+3IL0Vhx=iEAQr?iJ|FDR@1?6~a2gmM)X=~#@LY$1TCmeVho%h; zECXlFQmKj^+zzgogUsX!-Ui3#sg!KUy%P0kCQb#0kW0S4r{wX$!`e!;+fh`Ce49_n zNph25pL|*#BTdpXPRmcr-miW`4PK61QOvc7y@Nwx8Isp!@-3vsw#6!CvAh$?L>S~M zd-5ju=u(^SfIVQb>BQP~dkFu))>^*+?qiSl(${FHb13M6S{ z7oL-wNnY(Hj$H^EvBTrR-NDFJV}k3!fjIS$AqJlX$3iX~5druTjwY|Nlh=c~>;Z>C zE>c28U3P)3a?lIMZJ|BhO?hazfCejq<28v=z1!{@&6-GQ`sQCz zccRukhLwERKFQj4#IAeC-ZkUFw}#t#&-hOMCa;!C^o4ii4zl-$aAekMmEyTaM&iFv=GtQQBy`+#Uw+1zU#S=qXV)csR$WQrDU&t0nJSk0TR5u@AD-;7o8Uo>1%V z;4yaQjsTZ`X4mbHz^k^Yl*d)-A~+lUyRe-eJ#Z+4EkAO=wKk8VEoex!8|WrD5C*I= z);|&l(^y-c^kaf zAwMJ7A&+^UZo(_&c z|3v1szNn7Mrra5x5Z;{mt8 zjsf(PE_KD0&-hHlp%%x!sfhmaJjPwdJ%;0S1)P3KrE-?fAA&eJCbA1$?O;klf3Q_r z;`9UEl+{YcL9~ZYv;)v`s6??>?blT@IP98Ai+QUY2G`kdObSg!05HBa&u0|4$Pu6t z{XnFG8h;ZtX4EbF(a;6+_JAYU|3&a)?`@m^>D$v+IT0L*^$KaC5z@y<^hAAgKV_G{ z_t+_-Zf!NZUCj3FP+!qht1n@v;=v9#)?l5BgCXZq*bd>Xf;_-*+mBobXKkQH16kjc z5h#^G8f7tWcmX%$DOP_un$Dsj7Y$b8l#W8&>_eV@0f#{Tuwg)^uDbTD;tdGCn1QE8 z2aN(DeJ}f0s-JvCndUDm zQ}vWZ${PV02@|nEUui@fu}`O<=pWYVE5XUf1zwrHe?*OQB*uL3u6b_qV*|Uu z5mj3Kli;6v-0R9%Kkr)T89Cogn6GiWIt@+(L#@G`vLt%J!BfDa9R2?R_JFNgd>K64 zA&-7ZqOp$gFN4R}?4@mJNOBDL4V+PLiG4N0acbG2G5U@3& z3~;(*dLe~1%qB*ME9aW=pgv-)%fO z#ie@y_#oH~&jl|5Utf-A5A!~7?lL!}vE3%Gpa6g?nFoQ3UvtwLv%gFQ`jB$Pn-Dmo!c3TiLRw%ub``t>+@2N9nT!WJ*t%m>>O(dt_~@6culSqdZ6qzzgFjR@ zDbn})p3TZ8N&1(b^RaT-Pm1wne2Po!PrCG(a!>LOJ%W!r%QWM_ZGq)@4V;AqkAxY) zQAdf+9Wxgy7@H^sT(VrF-7NnLcwj&Cd=ULz$M985a~tQR;3vR|h1hP~|3h%*+o}-{ z$i39=1W~{NjZ_pOF<>ls?q2h&kKl5!`i*8BRDy4V^KeNFV};wRVPJ=uu|ocDaMpJk zl_8FTBTk}1KMQ@xXu%V}xo{}l7>_H+yJ(2KV%}awhmuo7vHi^Vo?zuPBIJm`>)=)E zRl)&dC~SuBfJ=+*{)51ieljbc82=WyTu z051BQN@a$JNWZH@Y2j|;3=j%B;{n?oEY1kQ!@*%k><|auCW_x_K1YOnHaHRQp#bi` z3tY3o)bAA?V)1RlgBhf9hfnTcKu0%+NTLmO7*L_nVxI9u@J1|&F$0YM{69p67>{Pd zp|ZO~`IwLhaWI~*mlQNmA0^fXn$-{IFQaf6&!X#qYz%>Qn2TwMr&9;G#K(q&A7}7eXoHJL0*LXGYpiY zAq%xImj~Pf7w4KEqQrpyE%1VAZ0>5oyTK9Pn}?9#fR?BtTi^hXPXM=aa6Y*1V_SXz zTzD5r3;Tuxo>n-u-qfg=c@_9*nY{}}w#Id4vr0Q$X8#YtHIQ35649oi!&%_WdB_2d zNb3+B&yFM={V=|_?o`Pe$Oaodf(SVF{bcao6$lZ__kq*lpv9d#z@a;u@wO5XcwKOz zE&l}^=@_4&qM(0{iwrO6B5-l3>NRdoLct9*3@o*i@SKJF6Nr?F7?fUNIvAA~}6Q#EEN97-IF zC2@>D0j@i5{^TL##Yy;*<2Da+ z3b%r9xisT`E)+gF64lQSrx`2M!O1XaRnESDK#0K}OAc-ofTZOKT?1z~u6Mvop?JU) zg=mDJ8f!cUybU20g-Pt|2s~gS;9x$>Z;!@>sz1(mm)XBy4ElEmV}Nk*x?t$*!~Oe= zMH@Jic`-PxoyJLx^{+rf85$zELz{HWD8f#vJa84{R^|H|oZVhCelrjTZ-dLw-`bYh z85kdG-=Nll7l4;_HHN$TJyrVgn);Wb#gMfNmF}mUyD&I(Q~1OAbo2 zRSDbYp-v!T8x>a2Lcj90l6j<6RJ121s%Laebg$l?NKfxxF+F=d;oDu}>f|eU&*guA z@%!(&zPYbNe|4Q}vUFdOFXx!6r?1y~SM2@8hRIFqT><}F9M&tcdsf!Wm%88AXXy9% zVmG+j+*g4