From c1a999c02ec75df36f5d6db6ae0000ff24505667 Mon Sep 17 00:00:00 2001 From: Pravdyvy Date: Mon, 22 Dec 2025 04:55:15 +0200 Subject: [PATCH] fix: new artifacts --- .../authenticated_transfer.bin | Bin 378136 -> 378136 bytes artifacts/program_methods/pinata.bin | Bin 380508 -> 380492 bytes artifacts/program_methods/pinata_token.bin | Bin 387084 -> 387112 bytes .../privacy_preserving_circuit.bin | Bin 470128 -> 470128 bytes artifacts/program_methods/token.bin | Bin 401992 -> 401992 bytes artifacts/test_program_methods/burner.bin | Bin 374936 -> 374924 bytes .../test_program_methods/chain_caller.bin | Bin 388648 -> 388632 bytes artifacts/test_program_methods/claimer.bin | Bin 373832 -> 373816 bytes .../test_program_methods/data_changer.bin | Bin 376532 -> 376548 bytes .../test_program_methods/extra_output.bin | Bin 373904 -> 373904 bytes artifacts/test_program_methods/minter.bin | Bin 373860 -> 373860 bytes .../test_program_methods/missing_output.bin | Bin 374012 -> 373996 bytes .../modified_transfer.bin | Bin 377384 -> 377368 bytes .../test_program_methods/nonce_changer.bin | Bin 373936 -> 373936 bytes artifacts/test_program_methods/noop.bin | Bin 373644 -> 373644 bytes .../program_owner_changer.bin | Bin 373856 -> 373872 bytes .../simple_balance_transfer.bin | Bin 375732 -> 375748 bytes 17 files changed, 0 insertions(+), 0 deletions(-) diff --git a/artifacts/program_methods/authenticated_transfer.bin b/artifacts/program_methods/authenticated_transfer.bin index 286dc22fbbc64b727d723a6ca2927dcebbed037a..347342caf97010cd0cb03c3a6857963f40a8305e 100644 GIT binary patch delta 495 zcmbQyB|f7|yrG4$g{g&k3(Lu6B4(DxmPRH; zJwq%irpqm7IW3GuV*8)vELn`W4V}JVB?~7ujngOIWf7iku!2Ql`umkE61Yu}H8jNS zE{Mxz42^IrL0Gi?@+uY!X6!a?yuhq3g~yPDbu9YWb%KIU#?S!2UXAIz>sdIkh6B)K djp+gSWTh?f7_KmvMW+4KdY0{{*0cJF0sxg2fyMv; delta 495 zcmbQyB|f7|yrG4$g{g&k3(Lu6BIX7bmgW|gCdOt)mKLU#rWTf_4ATqGGOI}&>*eH> zBbEE3!QEN97L#BJ#G1uI!Nv1yz>@h*$-bb}Qv3e(@OWRbvaf~=t- zZg)XkE@NnfTM5FV?Uz@vSTJL^Y2yWEbtycCB&=i6$F36;bTWnp`1NW`=Uvajfi)a} eCTmO&z$YthiN|n-xhyj6r`EGTvbv`gH5`QIXc!rkG4~{JHKw_yeaaHP!Z*-TEed z;vL6C%2?h_sapXrg`;u)0#48II2H2>hM7{U^fW#xk~Q3v&T5~Ta3LH}@{=dSv-ap8 z4BExIq8wAU8LmA;F}r4zDc#k)uE#}ojxi-sag!f7KjfuK@0;P7d-dV^iEr%fd-d~1 z=;c!)=f;|ns^r#bk$HLE`IWG^dxobTgT;4*G1il@TGw|SLQ4(I#$JGktAQwr7m3{oL;R8Znz zCooMLX|ih?C#SoC`v}gvJsRnex{Qy-Vg{lMR>AXpyfaRdekhDr3VSADF!I|KKL{7V z(b9f9TzyC%u3cxR9M&)Bp+~Xj$V^jOtIU|$M3c3To07(I=OF9gV%XW<;TsY(nG2hW z%i+{wDoOE|aMdH8JmE49g!$3+GhmP-LSY^=c&-u0g?mrQiv;b%>f)3O2)W%y$)N z@)JDZF>n5NEzw6r)~of`Ud{=Rj-IG4jazB55FUzL3orXdzdLCb(J#8go3b$+e~j`z zofN+Fm_A+`VQ)C5U$2K+o)bw}Os=S|Q3CILmgEh%XY)0wQ8nL`0wqt1r#O(C%91&7 zj*kz*wa<8=y}U7@grjFQ1g`MrhopjmLT^A)oMiDSxEWsVQ_vs3D)03CIuEBUG-a|f z@ZA)W$0yg@kc?x3(!~i4#W5JJffFMf(&di~wD2w125)PaKy2G;l8Aws%Hsua`q-c( zDTN=wZ?ir@anp7ffZW|cmt1%n`o<{v5_lx@^BoRg(eCif<9c1F_6+yOGWJo9ETT=# z^R>HA;VK`ew8wGgM~D|j;nCO;y?4&SSw6e2xq`rWtjpK-o*(pPT4*(W_6&kX z%HRX=d6-;{MDR)sUCKR6hD7*2I5E%bCe44w(B)q8UO``83%6swQ|^uF%f)b-;tnyi zH*bAVCNi**foKHh1~m!78EV6=_QI3;bWOY3K6^^P5Tot2&;G18i|e)ND$4L>BBH7) zy%Ya|qgC@byltGP*9Z?ZjFs9}dyips&_gG#)MQebDT7tpd>D0|VN=;TzYAS(ycf_9 z;Zr_!@m)1piacueE%2E&o}WwLEc8X=(5xGo{;DbY?tv%EbO!t<_?Eq}k+CVE_xj!# zGRbSVKf}x6=tk>!a%95M_WVP-J*&C#k`{Wu2M+(uyUAjDlKXHA0VQIsr3`!O5gf5jvVfYoSu~|2N~GUKs4~3!qpv(?{h!> zJF=?qOK-|q$ZW4I8GI+}DHrB;sv%D@}oyn`M;3>O~q_%(Rm zVN=Q?`nkaS{f?45;$36^fb-ydrEt{s&YLbMDaykzoP+_<65I>>4KB>Qm}3WB%rE)b zc|Z=Z2X-@>8H1+WOqc$TDaX~uPv1gsJW9%{NQ@t*iHUrU;w5k?oUM3EcwrA?T~g>K zo{R-vfO74jJ&n7J(0eyh0gOABh;uuhg$wed8KFxC>&$81x*u=lQu)?^Zg*&T#)?i1*d5@2TQ*Jcsl5#n(XPQ|;dPOR6njL?Wu_-pR@TkbDww4S~ z%WLUina!<+4i;ct;866OV`MYuoOn5M)d{a5yot!&yoix23GbvNOR|){r$-a6WJ?MZ zf0&1P4@T$fy(Mm(CW9G>R%A8oeDd&M}Tu5Hq@tScU3$u<@5&Gy2XMo(Qc?G3YyPXdFA@1eynwi@!_Gx*#R zt050^?cj`|+9w|g_w=oQ0q)^(NcJ$$!MC6-ZuIgdNHJ#j_Hp1LE_|4%MGU+V?&#wM zumwjQ+774r)?Ze{SItpN^&5M}i$-#+)tOlB3tK^d*~ErLtoor>Rs3l;_CkUQUyGqdfk z<;Dm4pl>OIRUL!Eu|)dMlT&E3FL)j`pGtp%+bB(?@K!kb0vTv`S!Z0YX&dY*6~?AU z`iVJqSKD~g(9fjUd;ey&2E-DtV**BHgpx`@@-E1TW|mjNGFRzXn$>r5?rA z*ZwPhODprnm%?5*x@Dc zv5(!a0f%p^XTwT5x$f$l1MmOTk_sa0$hW|8ZBuj zR_ynVAdm0L^_$(VnUJ$#H3OAvJOi5jLQeeIQ&0l0B|@W=!jk_Y|Cc56R7n2~o1a(> z2CY3W5?F1@IW_;q3w+4dyAes^bGIhIuQoezNRv>+<5yz1j0mCgSaA&64Uhhp`&)#= z6B=>(KWK_chj93^ST2eAro5x(w~OQbO-|%1z74LZx1_Z?vc>SWLzb*k^6Qd$Z0xdl z{DoYFMGQZKTg%}S@G%^6 zu62j6Zb5mk#~{TIzzZB^|Hy>57%22j_z_NZTCtLkX-Ve@Tah1`9fcd*_Xn#WBEC8`h&NTC(3@^WDI6`GW9_BQC)fg4W?Mn1J1 z1LngC%ZQjVupTb+@eL*s^!1Tf;fxo&`Hd{@gcqz(gMxb*kgdFg)ETdY6aT_*gKC3h zn(jujI+}!yI`S}h$wVsjeR2Yh{9>WF13ZtaARv*dm2+sWL;mQtPj-2eKiTSxDd1}Lq z?rca7MU!wP?9ZVKaA-lL`?z%!j=ma;zH{Hs4nGH%ec{#h7T8}UzrgaX8M*G9`D1%r z>_A2z4BW-npi0WxzM33Z!4a@5iKj{Te)NBTFaM|?Nl33ZRfy91^V;S}3YABT;CA%- za>dsUAR=(8;=^za>!W2hVF(fE?j30uZt*j}Oey^@-%S7CK{ zC{Lo7E04Cr&%{~{9yS`oOSrk$xw7GmI3A8l!EU%9p6>{?e(at66xNvQTX79s1s5qE zKbCKD3`lo5BsB~yNFZyKM=kgQs&DEUkO3#Ox5QKmO5x*#Gy!&QyPt0tQBH^d|KF14;4~8>*am5k7aoYPj!57a^a|>o~@3Brm~bM=?Nc_zi6S zgaNUx0W%(^EPYS5CNsEOVuMnmb#f=v7gILPf(@6=6En$TT64MbaJJoLr}6K7&HMH1 zHz2KlzrJbx()#!6pVqg3-~Qp%>jRzI^yyJhFk@PeOUZ9v7ubHOg?4&HV2XArN%*a| z0uNnM;OrH?>#u>hUzN7)oBr#jptn!>hrb3|U23`A?(IO&m`h1q7kmG@Ud-z8s|(xq zO8d=~ox;O5{Dwo}lHZcH?fdJIx4+*I7_~IqeRxcqoqcOek*3YEHxG~b|Hu9Z;p36n delta 8682 zcmai(4R94zvVePLZb+h05`F^&n7Kp=h!`Ls>}FR`K>joVq6Q2SG%7#g5nM!2^x`wD z;6p_>a>3180_It;B1A<87KEr#150Ue(G4u}qv20bK%%0H^1iuqCNoq~E>%?Voj#{e zcc1P)XD&O-+wLoGyChB9@Lb0(+WE%^Ef}P|IY_rZiInaa$r~P)WD(JHUG6?0GAqFQ z4~mQ$;mhwmB$6HA)o|4pMV?SRK-2N5Si246x4{WYx49_k^bm!?#jo=#|+%e zz~yQ|$}y25e}asK_rVjCd@1}M8^kN#1Mh&ZP@HCO|A)R_8$IKMNY)5b8Z>v~m0#mX zj=%1Y--whAGo?bw+nf>^i~KUB=LdK~fa{~%Khy6H=RTNMe2Xdjl%95HMTX^=lA-ol2$#SiCD$9H z5AV^p4*HUHvvN(THC%i0F}ps`lpbo{fYTy%<4j3b-2M#bhrC?reLFgLub!i8C+!`3 z^SL{s{6z)pZ?zzqb-#2_a@TmLLlaGxp5lz|WaB60wQg-U+ng2=Ik zuw=zJBsbd259kNtA~`>boSWh2!wS)4;Qgk|QhJWUOQsMg#l195DgyinTm>g7`G@e9 z0Jp@}S~y$DC&1^XnzGjAhG4?1fVW^hTpHj537YgnVWLv_`xFdD ze!JrNa53za_Pf#TNAw(Rl-=&AenF2c#-3wyO-WUmvG8(DRzGe^Cd-|J{05!_JKH-v zCP|a|u&H=6oIZz2QhXAwdB~S{xPk*=zPEk>9MB(;6AT15$hq?34K~83QRr=O91d=f z+Wg`T{u`D@OsQ7}ZGZ>PCo`3U-@+T`nUWimM>NTx$nqccYo!pbN5Mg*;CVPTLQN|L zb#ManT?LvnBf$M1^XLEE8hu1$qgp?r4JVxMov1GD+G?^09*$g#zHmanCuI@QpLK^n zvG24b4G8j zMXKnt=MXeg27e3x0+Xw;2xehu8TTw1664u$a)IAX!arf?GCz5*r7y3B)0pp+dpr8_ z95_>P&p6tfzdkH88Q8*r7r|%4nuOtOwc#iBqOP3%KSz}`k%d2$Sdz4k19?T1?$f6*d4dgAck{F|)Rb>u$WN_jK{&brr6 z-6!Gx+x*7;1)T7 z?(-GA1%HkwgVhG-;Hj+l_%}qN4vzIXO6Sq&kFAXv+8TRG8{=7R^jQLv`++G-)CrC! zFtzXaPoAgY`geW*2lUnCBwXa4fUJQR2h3S!4^K5tT^3n6m^gfF%3>9_?!)kVk0~b= zPlfBI_-?F)M@{uB;u|8ylO_xI(L$8}d2k8)dgrqg&VxI+dZiw&W4{Qwo(!>=TW3{-bNq@sf* z{nhdlbg+Rft)>pvl69dY-Z{rf9p{|f2D$2l!wGLPayKvHB#ZDCrC2gd>3cDsaJ8_c zSn+2Cm^ag#ulJU=6EqpjfLD?AaPX1P{x0&mBrF|K;3VFi_S_sJl91Bz9x6NClBAI9 zP`#a)Z#)~PJ!vnWU>xX>QqHmM&5v1J?7i_oxOd&F;P#s{(eoaX1rF}S8oq^!k7`S^|9AH zWn4&z%$>~nY_~*Iz>ZJDzXMj&C&lby$`6kAQFZNV&x@g49r0e%tg z5t#ou9D=<@-TA-pIv~FrzAmu-|KOfJN8}g-odXNH<3=xkf;@@Yy#w6x4_x>#QHvRP z8{8$pQP_e#hxWjkf%R##_^LT>seWV6e$i+VZ(UEU>O$eBYi~cCsfVRe#cs2`W~K45 z5!vCy@ba*nR%aIf0N*AFye<^qK3kK-XZ+2V!@HjjOIR8EFL(lSFS?x`(&R4Kb7m4; z5Rg~GlYIG&a+HChz=ZBRtdd}_NT$PS@U?2gDtJ^to@)m%VV(zV z!%fNZ2t4Lb;n?S-Q(SMutKcw}JA47IDdU?+@t{X2)+J%dSNlEzm&0|6--nBz3(FCA zz9I4R?Cxugt@@zzltD$8uy8D~{_TqAiTn%;XYO1?4p$x!u@1Xul|q%h52rqFNwtzE9u(;@%)LLH`47PhyM|-;sKbAS ztIMcIHQzeKuW2jHSV)jZWbqdw^FF0OX;jXFPvF!Kt=QYsVeLzi(>vW?i5$KUF8jzW zV2A$GcC};jNaAmh}tff1=8BXgFmUPeKqx^hE1Uw!GSAOR{ zrdvcMqUYeGwWd@l z`9>yI9rTZ28sC*0-*LZYBF={O3{=158_?djnF%4Iq7SAQIz?2PY{xu1_zsZS0#YJ#cgC(iz$X3F&M=YsO@=+~#Z0xpp z{6$=aPcSg~s3pskM{mP&+=~5_=@@VhPM+)jaOH5MB@HLpEp&%B!R340Tgzds70*E& za;|lUv*C)37^L`7c%j4WADd9kKuKUiTx&k~oK~#lli}j175kCdQCJJ-zUf!R(`_*5 zEmO9HTzy}_1<1V|C}?}J0~K)nVQSnWP;9fkKZkoJxHc6RuG;mUvcb-fD?R>@^Oaph|>cHKGir^3NA z9@z&2ck?xt5wI+Ur^#>o(f@So-K$0}@m3ThDZFs&5N#iBa zlO#j>cc#o&8_KO0AJHl}|KDcJLnk8ha(F2P^fk|=%ul=jW#Y(pMi>ZXxc9y@&~Y>y zwhK#*vM~L2p1ao)0mYBQ1G!v^RnqkOVSiarZKQK zg+?vgft0uZo7Owh{{{=#iiuk zCK91x-1nTBW6(CZM<1944yPBw=*y1H=lqKqn9M+tQm_Hu3Fj+552ttXug{^A@F$}~}dXCU5%L=%rv-|Xp-T%87Xk=iaT2Ofpmqi$lRESfHusGeb z7-QjC8CLB1?Rc~tZfqZxoyy~Xz%_8D(wBTM4z+aO2hRLlcwq|9bs`?S|L5|J7VPEi zCtuvlH^B+ZEU8f&6imS~Gb|OVRoBBi%PpD5uM^G&MLbT2y+XvUaQSO^-e!_e8FUlh zc*k6J@Bb(Rd0YGmgB~DB4zZ!ii8b)~FRiBg{{C6W7w|gftIug9ufmnbF+gqj6Kwu~ z0r9Q@3m&8_15dX0v$P|R2hq7rNZn|uqpGy|gn%621pR&8v8UNhhs#jK4 z?>?FR`}gkG|9a=|fL{HwqGw(Ub?wlnXL0fD={+wwA#Z(X$0e8Ay{bY}v`dPjhx)~} zj8?xED!jDV*)*+h=CADP%!ro19!j{hf|&l(M?+Th#Ot9p?Js4xOdNk}R%UcyL&%IS z*=;nphrbc}DRgOdvE3fs7>fTD@z!4xXDr?HYm3wR_WBRLruFUpA7}i^DcJ`%h4RXx X9dhCl?d)6QW@*|Y`?Z|7KR@>WvoEI; diff --git a/artifacts/program_methods/pinata_token.bin b/artifacts/program_methods/pinata_token.bin index 7d181062c0e38fc9c5f1df11d752591b4aa7745b..5c02b2f1c1fb737c2be502afa8a2692e03c5bb65 100644 GIT binary patch delta 9138 zcmai(e^gb~w#Vn*`=Ccd1wutZ+53coi3W&*=}R%Y&k_^zcS?X#{)iNdyqMIM`%Jxw zN?mVkbIm!| zoO7*xD6H>Yya$|%4I|iqlV^!C#@Rgm98oDaisk#k4dYdENu~p%8;N$Nd8j`d zumZdVZ0@Jav>yYbVUcA(r}IR69GoH;9(7>_uYeDN?_jP0H#+3qE)ZqGfi#v+15dz) z_cLz<9|va&jz`FkVqi8lY|j%s7m4PBJ25{FUIOmOyv1lfDQ}ZfTbhXqr>NAxp7w1a z3Qo86+;JI(O;V|p;q)+m=5p%NQD8S4!gFOsQ6ixirJuN-4eYGg&8bA*FmE4 z77xYy*hQm^)Su*|e){HXMD8pPxq03$MWT4!PLh(2aAc86xsZ!}Pl2oQ5I*MEJ0z-e z@Dgw%*q`P91YdRVo&FNJ7OOPelc%gMSCtLthThPw662!1Fjc*>s>24nE=uE7B8WD#gGu3|JBP5uEJc+CYh};V3#l zp@?)sPecG4PG(*Vj>r5E=1+}+U*&_cKKnPKrWGoMa7q*e;{?{K6vKv{0xt!NeMMx) zc9m!)SY_S;j$V#BVm<+`deN2#cavy~WBm(Yhkl(JFyP!^O!pf%*bcr5h1Lc?f}I-# z!gA*ZOTg~Gs#MDcy$2q%1}Vu7o&)cBNu?B@T$f1eft+1s7s)hmJrvZlf>mI3H7c4F zdEcc#&NT^=Fpms`;@{-#nk_l$^k5(SqcXP8UCwHuJMF7v2*1fkf# zDjTv4Jk`PH!42!}$o9Sykpx>uJr2Cnp0CqR4CL7Zq={T{D0l>1>QHc?H;!_i?ba)B zGtsNk95(nt6;(LbmcI%v2lo?^K@Qh~OWWkSOg%M}aod1QGr&a-ejOYF14pvQVIGNE zVL%`&Ob0Iki?SCRya8@>7T|FL+%VNc$Os>IgW}{tkkfaZcShsTBPnvJUc2>H$ zV$v$Q4^?Da}Q%a;MMqqa(T-KN4p3MG0rP16jJ79SX zShehqfnQi|-Qv^1yBz9X1J9Umt3L`RthfA(jFl(_Y{g+SxO|678RmfpkrH>~2|i%# z?V;@Uk4+vbQPVSan_UCW$h9}Re;E7(TW$G8V|!otrH>yhQFWz#Vf_PK4-RIB_Jdoo z&dOZ>A;`e5?6y4{9B@FTJdWoZVE3~gx|`3T0h|Z6&Z%z#O4DYY=3=1HVd%SJLX~|W zSHTVT0vd*X`X=U&<_(?)$3brKZg4T!*X581G6LaraM%4<$p2jAeYl_Uh&0gH)K6I} zrRLp>MpdIy5uff+aP>j^F%*O#)>qrX`3&3w&f;<$I9#HMi)?3m83p~7iyig8V-chy zDiva1k#yT0MuR)0QX}(4aPeY$UF>)?*yq}^ot^>LKyFpfN8qy4D%J4%%ixuc^$95w zWr6R49K{esi!rbT1JXj0di>XgM2!AhoeAy?-ezX-_bQbM}{r?V}2s^C93w=nU zFmR};m(sv1u^wlSef;P{BPmhY=F;m%Aa0F_6YJ?W5@&cprPFNhB5>73mBw(=d;tz_ zwyU6X5|Re{SZ{_D@Mwp8131GWKLXCRnEE#jD~?NHV*?AURJ5hryqCwehkE1v9Gvk4?qDpgB6|z?}33m zc*FjGlIT0IRi5*~PJ>j_bFYJq~CG!O;=TF;*G-}k*MNl zq%23`(gZYC$n%*aCqfZ8nR&8zZ<4Yt@J?iCcD@~;6Gp)(C0)@U8Yj^Xj9Zzx8XTWv zWrR%C;M0zEFHOS9{bs*ms=?*p7~XEoWMrTtqYi+}u)Z_oqOEtHg8oSwEj8!IQRGw@ z=D6|Zfp=j+G%t7$>{vie#>;=gy^y&;#6i|*j;V;oA`YdJMiCsRx4?DSsDkB#rXdBN zw*!z1&U5fb;H%izYCBhq%rQ!dlDXnh*yEU2DcGe!x7iB(rla)zG+M@`vIbn^xHzl9 zWmw;p{Ry0b`HlchGcuD!|9=-PrnaMIeK^oj1gaby#rq^+-_iay=X+D9DMy1&Bulie zmqsW+UuTkL8KWLmK5MT>G~v6xpGJwiJ_q{8Xj)qfE5^bqhaHoUAR!Tub1VEh74|@G zCWaq=;**TMg~~m$ zw8Lm#qa1W4`Ddfam)e;y8|-?+&V&=-x)RNI;fQ9Q_!M}xZRm4`v`$Hv19xHk0>&%Z zz%*mwtIC4*(oW;pYsz)Eer-M+_*Nt0h|PZ*5j?N8eQ*2*F8^MmMn0NL&!VY1GGovp ziKeXckRR*M1(%)03G@8WKjVbXX{0h&fEyb%UuD2j&d2mZ;y;kmf-9P?*_tH4&PE(2e1$WMWPcC5b}UR<$Rr>8J*%CTS@_!oNu`R7UW ztAmRd<1PUsYCZ$M2cL6r*mDw{0b33|2EOW8zX_cGv&J3Ac>g^msJ*rev8xU8v|W6& z5Ua!h54CXYMjFR%>eg# z-Hz^Na9^&BL*DNNiTc^{QIw5=Xvc(Y;2LaTRmmlA19$*$I2dqG!^Xmo zl?8tKmrKz89OEA>MW62DX-gI=kf`TokMCPkRM#l*Jg^4=5xfjsScWeq=6zuQQV&h# zecgY-eFv^)eh3`D$wMd2`7#w6nY)$Ua#FzpL@?GvNE2TJ3e7>EddoKWZSX{JPgWGO zP@+{}>k0Cek@>kYLXyTAo4!zXx099|nfsM(id1L>eywbir0vGugUUre=}YhS!+7t0 zYoz{L!LJWfjuUNFG~dr$K}hzr2K%;CzxM)f*)!kI^AMsS|EDF+s#C- z3ue~}B4ov}tN1+;6H;KIn9%JPqTo;L2n_j+Xla6ZkqU*MgNuLEd=Ce~zkqWtYgCMb z6FjID2B5BT+2i@(kQL_7Awqu7@6g}d%#a`*19LI36Bb4Bf{oy^Q)d4Y3mU*JFhJZ8 zg2VAs+?IWsuhR(502ev90lY^%)_H!d3txBJ?TGaDLrQ*ZI;aZ;B^W4wU!{q>prkz} z9K}`49-Rb79nlDZ@)=;bk>lG`f@3~@rvqvL5sUx_;!AgIXNlDRAjG^rqzjBZYX0gV z_S*~&DNspONcSliAAkY;uCjv_Mg+p*IwTo$8hGa=c#K{q6s!kVw`f$#@&`ik2605- zC2+LpVk|!o&V5t!{dOzXj|;M4#35g=nCegrf zt`>g?PR6qZ0r6GE6>vS+l>5viLA04H0Z`8`Wv|DYx7|!3}^&Lw3@$I z3--k0NYB_+Ga2mc6Klb49Z&wLyx~O*IM29xC@lOD-%^~EIm0D-_Z=JoA`pmceGhme zs>BLu`hOt_e^7l_moT6LJm!K%Ijq0WeK4@j{Pq*_gJ8WH1EOxlz>*O-!|(Bv2J_{y zh`_z}nfAwFhPmy!9+Coe0A?BSa_zkc-(nA%TBk#<>XZbKhfVo{7B62T|lymO$ zH1vOG$Ri%RF=>{ATY^wltl$%HZV!#nKYS5u0`CY%r{st|mX5E8uC|Bk!7&;d7t8Cx zqr2hF#p~zk8Bo|=^SzCQ2N%J^LvS1Ng6vGZD#6xeatS;V2E<$PnMlH(NLu!23%D`N zHlP|D+#k0o&ySgfPKt>7gT-a1AHhJGYJScL1KxieA)2gFIVaudC(yZ)z*r&V?+Av% z;jFM3oCD5c9y%NEFtC->1>opt`*J$~uCjAVrvY>DuEB(2RQAzeLG z#39Z@71j0fv|Tpcmm-PLnz!<0)a8FrCBr>!jfe*3KAx9L1D{@yWvn``j5{72J9udP z(8Sn;p$Um`u|pGL`kq9MTW%=9+;iI=&6A>n_&$2r)!XW>&2nBS?k^LrECAq zm%hB;b?oL6VUc(10hjwW;tRJI$5h>FHMSk(eWA*gaZ}|+bCoON7QP-hp-k#|>o9qv zPbwL=lf$j3+r|nL?zyQ|;*6p~6K=D&FJ!INw{lvn_l`K^YIjTZkzW0ftNm@ndu}TZ zi;cUzby1;zIAO@`HAIHRC;s7#p?@@EaLgaf@UH&mR#80mjVsKk_{J5p&O3g+?B}hY W6&sHA{Y_CzXP@~%G=uaII=VPXSDNh=wZ zPd~QR6;~?Tyx^`pqphYEYhEbPhgLI8R!PxNLGeGD$+kN5D$+`2Yv_dv+=OYU_{iOE64&L1-Ie6A6#pbi&uz}5x_Jqj|Y#1!Qq_W z0-pmXF^)jW4`N_047TJGT3;nv2yV+c0lW;{n)7O{{=B$NNc^FmC~tyH)jZNR4MhGk zEIoDL+VL_Ka(UJbqHd6zdXjDu^|EoCr@ls9q`X{5ls3t#fIZ-Ra0FNLtd@OI+$$!P zUn5Gzax<}h*NLWr%{-0+H`;g|xOB2im0ZsozhdL2S{ru_d=PAIT&ib7t++S#c|=h* zO{RmAv7cWdiqM%d1#>kU5k=5knS40s+#*_&B-2`CixqHh&xXt5C?UmDe_5O%{EwD+ zMGSGM1MU$;rC3!|0^SF%;;Ujvpu$v{_HnICz?n0xU`xOOv#elmfrD&3NDwF$^UY)| z13NAG7}|pY_d=PXu%UcOl+~A@J zogLI$OS~?g@ltc|5;>Dy9d$Y9mmkjosi{ zus4@)2H&>vZLnjhOwop1r8sXGd`+g!e8K177)(gud;^>Z-o$x&TgYcOH3TXI2if>6 zxC;8x`25KB0{JY*&WT0<*T6mJn3*0c(wnG+91NHl_y(L{<2}9t-Njb4f%T<9|bV1FovJS~ma1|6(aRq5$`5l~Su3#(J2lEXD z0#$=!@~ruD1ECKY*~!=M0I!{AZly?XbQdTQ{4C^x=i9sDEZ^&o2oycnniA=Wy@%6% z*7M#yobIQ!`g`IqQ9ad&p7DW9sk~>j!eR0+M9px{0iXO6iq>Il)m@ZC0a)ga%=Z&$ zqK%J(t3R?bD|J97!RA(ngLhijfB8nM; z7JTBX-~(Wksvh7jaP>qNp(1p?13n2kbA&mX4oAyAv1->3{kRw$2su0Lcfna;vm3nH z4s9&8X}ycSz(5WLOizEsDY*m#tZ^~}(c1nN(jr0dXkkw2o|iCI3u`B}cZNmvh2zD@ z2s~wmwt$^r^U(YT&VSL;o9S8HNm?&NYrdVO9-^9pdouNJGR5~(U44%)GVCTy&dYtdWA#euR+^04JaWpMfX(R?}ZI0%%31!xXoCa503rI#k z{TTD(xq+GBaL7$A0vCYwE{8(60JaCXdpH*IKL>e6_L0U29kdO7q<4kHX@k+IDrCy% zyITq_KWaUOZh@=Ht>kP(QX9a@{5W=q7HHfnRdcQf=-95@&2 zvG=g!MFm=Hl(fyE?jMG{)gn(^PrDfG;T4%`xW7}tWmjby!HZ@S*uUO71=qnDuw%X% zB4Y)Lx5=}>ZkzloaJnT|scjtYUfYCG;37=e%pGtH$FW^zCG;6^6xfFc_6P9jYY2cl zxEq{&-Qp|Yj0TJ4c=X*HG8O6iakp>7KZJFx0VaFJON^hZLc_vPbMPr3L zle70YC;}&N9^%;_D{b?={XF_!rj?+>T6UZ?LsCO9z60ZCWxfQCNHZ%!q!MtAZQY{r z*tt8_8>R$Y3=ZYy`o4e)v{h6wxCrapLC)Ixb?{VDD9e~1PTmvYnC-?J1>TJX!F<8{ zVA}%vUVHCp+zUzLSRO=$<{6486nQ8V6vBn4AJJ9dN*F5T@_PNq7IU(-VtzPK=>#Me9K`Je!cM%m#YvvTNzxg=!wKj{-4()t)5AVLQ;VA{ zec4iNRfq5TJ_<$g_2Z#`grYRHu;o}-X7gh(T3A3&$ayRLdm{XS+$an$`ZMyK+C!lc zT%ThGPMoYzD(9G4`0&X#=ZoQ#jR9{Am`5@$`TiF~4!AhWMctu*RmMNH?K36S>AP~i zKxyF$c{_}V;0K|eeztZzP5P;uZ;RP@T8vfbAkX+Q_rg9kKN( zX!31+`MB^if>A`h zw14lAj!J4o26EWNMRk177K1l+!sCPUzD$9Rt+R|v%kc>Yc5!E)0{8l}mEBzMV_-9w zBjBDkdArvI>SM{{C=mm}wh3#%6)<3)k`v%+a9?h)EAAqH%s1s0Yj;V)+@|b)!rF)?}xvceX$az%C?&@qBPz5x$r>e-8F8bkRg^_cAycT+TUU z1@46nE;?__7iqDUv{%|I#?D!U42HP~WuiAAN<*Le#Bw+fJPzEIE9$sdpjBY=3Gz2B z=__fNAcSihzLxg35K^?H!_qcMSgiSeCv6ji54HVArK?`TR?qhD@!s97CH_mouMgwT z5p9+f{bw#e6#JBF{EoUnrec_3`~x`fgiNK_8OD|PT{d~GqTk<)JDewSqCi6V{9RzV zP@#RCe+TD`#}_B(B{f7SSg%r-i&*fzqCYj6!V%z{a|+35TZ~tOZ=W)LC}Mma z+)!zJ7%(omgrE1mQ}l{uT#jEgonwtJJ;ot*L^TaYrTL;qZ1I1fq8pjvpw8VrnxQcm1N5Da+6+&Wk z2i7`K^@`s>cH&fwnvt-Ws)UQbp;VV z7{Ko;JGjDDzVNsbMaDS}yz?3&MlWLuRB(BNLWNxZcsIO3Y#CSt4rX19%a4Q8KUVbL zZrS?qKs@)qW;LZ63U6V+zf{J9#NdSP$N(l3a|H*$_C0L<2(HF=kz(%9_8!<4WW>qm zH}u475L@8Qd2KJ8`t~mUJB2xL7wo?gH3R#4MAII_*DM?0yc=vkRy}&78x&b`6fQStUP7A(X- zQH`Sez!YfUlQ;!se8F9CDvk{@s~d<4#tq>z?prqh%YOG~NDjF_Lo2}LI0d0x-%jws zzN%Fuso|({G@hw^LJ2q(MPwekfd2OvQ3g2wJL6%<95@E<*=YP?&A4R*w)CQPYKDOA zeIgy~RPp4W$PHFtz`n;NgW%y=d`t1793L&v=bvEmP&H;*^*vjeinF_@k^} zUCe>cz$30Gl*aY99tsC5jc-3D-vL(3F~H6(8*mT99-hKa8k|o(hYSq1_S6TP8R)dm zb+<$~V5@pYfOCG= z_@@Jt514>PG{Cqs8LtF8d%LKV*U0LrXf{KT0nWdGM-0Z6@|yc}8v4II<*laQUox2eXl)7ZfVyMb~EzI#(R2EPF3 z_rOz^r~KTDyq9waa_~80Z{?3J!f#%m;IoPAKLB?2b5S8{)$IO{LwQ#GRiVswMvA`! zkKTopwKaIcVqDROP=wsT7I2-71$-Y(J#5K8&p?e_g+cCM2YeVft|?8o>oGk1>A&%^ z#0Qhg8cFA6@E9+aOl~k49OUJqpq7RMSHW)da&ymfGI6tgSjHJ%6slz|cXVVUeK&`u88$KPo(GK>x@n zk8hbHsB2`u)YMmA?AMH33;D*;UwqKY-kx=b94(ub?mXl;+^k@i;ML!A=&)mJvr@Rz zyIW+~1N|}ljd-X$q*=|n-IZkyce7IYYe#3z?^{RP=3_nbvoyZTgN+8Cm)s8#haG=t zjy<~kAu;Llfe$v%lIHO~=5RI}8e8odeaz9KSt(oF^&z%(`GAMo4(b~IU^%QezaM%~ z4_DmV^V9JM1f|zW#GnV;)h9%T{(lo5;<F7M2#)Eo@u(g-y-Pjf{*;EsP9|Ee#AU%nghzre73bQ=k5h zpN#{n>;XQYtbqVqA68kQUVU5=>e7bBdO0~|xq3Kltr5gw>u*sujqUpd*&JDMnl5F5 z-*9O|1N;i6?-gfb$7%fZe|Tl>C2+VL6q?e8CitzEHZ&!qfS~Uzaht#>&!*nqDap3I JQF7M2#)Eo@u(g)J-%jZF*;XQYtbqVqA68kQUVU5=>e7bBdO0~|xq3Kltr5gw>u*sujqUpd*&JDMnl5F5 z-*9O|1N;i6?-gfb$7%fZe|Tl>C2+VL6q?e8CitzEHZ&!qfS~Uzaht#>&!*nqDap3I JQB|iG~)&7N!>FEi8Bc37c42n3?kMc7yh*$9mQ7JB&-mr*8V>>$w>mg>WR@`A{jln9x zIEz(vdI1OP7Ob-8Rahma`*X6!VU<0=$y$t60u(dTbGcYKam#MNB?}5=X)`>r3JNVL zJo16utok_Zl{Uen6C4kJxpBk;*i-gAcswOzY>CHou*VGXD=@(7aB#x&;l<%DuxvjL Q+4fbutlL-dvdt3#0H8t6GXMYp delta 852 zcmX?cMB>B|iG~)&7N!>FEi8Bc2^(6Nn;My#85&xenV15BnT7H6i;S%5(#Co@Ic2$e zhS(Gs{bxCiP3Kkt)+|PB5>pLXji(=AWOc+QIsG9ItHyL2CRPsIvh_G*!3LjYVwJ$E z73dL-=?cs^47O%wZBfADJ%;!wKNEv^6`v55;*#kNi&!+av$L=sV#aF49d_0jtP+f~ zSXHMNaIkK{DtlgqRbsk7Cu;_!2piq`J!xO8Z(2~L< zAIQzBkJDah6FfS>@$i=$M?8Q%WzU1hQ!>VucuWU-%n-i<1FQ}QCp;fs9PR?k_T!Lk OU&YJ1eHAa;JP`mQD$45s diff --git a/artifacts/test_program_methods/burner.bin b/artifacts/test_program_methods/burner.bin index 02e1c5e9142ce0ac41e5df2dc7d330f5757ddadc..0c0ed65354b82baf8778406802a8b2a967e2c9e5 100644 GIT binary patch delta 8586 zcmaKxeOwmTmB-JWd5}jX%A1OUI`e2Esl1=fSF^0bYARJ!@GT?~1to?UEdAY?JIuJBSpNIobMCq4 zoO|xM_ZhY{_bh4dxiO4g-_&;iiztl$bv*khUb^#{_Uj8o14nzvpNNOeh3SJHF0)9g9Nu5^8MiMkarPw-u{}Xw}W%N&BvuB>Yi&viSY_4P~-7_2hIXV3o}J};R)%m zlp%ddl#c0xp~v%@08R#5d0q`}a_|{&=~#tog`JPSA<9coC|s;F@HSBy*d^red3T(W z4##VVYS(y$PRgb`Er`NBS)mA__64G#=?eJ^K6r~Ldy+z>!t5OHj?bm(?Du-}=Tf_@ zO}#@Dk)qH*A+7`;0M`kg)kL&;hC)Y#x%J?j@phDzV801=l--)K`wmV9r$gT#_IOr) z3vRP{2A#t|YN|ppzGggK?;`AR9#X`FgjS-GUnsOiIJE0~qHQpcF64cFAc{Nhp=g6$ zv{XNOM!Mpog|rZbzi3y(Y3SvoDU>Vh^lT$KG7otYoDQyX@cZC8u%D3M2RAx+>_ehf zaIBD*fWy-jDmPi9Z!r)(U!f$SFy`+>1>oI+cY~u7?Q``tILyHj?L_BbFh}U;gWHf< zH<)KKi7|35#Lh`(;yR-?Lnc|7PL-$>19=#*CR_%`Ik+1t>n;p-76uplF**VVUJ$$o z91eZ!;5Yku@BUSq#v1ha^HRH{eGG>}mM9b=N<;6&sAh#ik;37=zKnK*`TG3e6oU7H z6~SMFQy1eP2@Z8LYRR_clfhMv`3Jxb`x^D>{OAI!z|IA}1S^gOLb^P*> zg9rF9@&j9YmkO>bwD-CQTxaWRbQ=R@_5jV|#exZzfwkb14g<>(*UG7OT(QB7(pM>z zC7TZ41J@NzW3cR^Pu1QpZfvS!Hi8}RURP5kHa2y6l?u%F;0aGk@!4dAC?Z;p^xgS$hX&e;Wzg1tNHq$}Eid$>NT!0nu)7q~N)* z95%gUzK6;%kcR=w(@*;{x{L*QN99|{^nKT)C5*kIt2d-}9~Ppkx1{dwsD~4SwE zK2M^nILu81C#Trv*MY+^--@#uoCmh@F!d=^`Zk5q%?%HvKVrbSgLm|O_oc&rQTLx= zbo~Xp-^L6DdH@1JJWy2rlB#{C3cXs<%SBA{Gw6YN-( zdk~y;!0y`tgVB}tE0iblnFMZw{!c^#-U4UOw*9CAue5mq1>x;c=Wz6S@ZJyY4cQ5< zu_w?C@K)$2hy?~A@TVZRcoDb+Y_vHPLb+G%Brjn#`le3u2A1MM9tu8IXrtJ`b>P;6 z_KW8eu=|i5e^w+451c7ZTn#vJjvdc`>r378oi19{804Wsp%Rg|IpYx4X@wdEZv}5m zv*%p|`_1hrXzH85s1kDPfXwH7Mxk?J{&sMIV}3n24Lrb1Lm&+pkHWx!mG~FE%|Y^= z6#wT?@8>;6ficO4UH~7eMh6k`7l9+;hjosQgM-1Lrd{$yTp=~q!SUjr_+ z=HMkO-B$&MW`pJ6&{xX(P z=6pLr8}z09<@vJK63?g{<5p#kgkJbet0E-I2iG~~MNh^%bxC!f8ouy1qc~agkXGBehKMuWR z;On>W+f3Nq13uEIP_Z~FG06znaX033#{3>4o{z!djs(ei%F{Ah{PS^e{I30@VIA^P z(`^6dtA~Ht_iTR38$Uw660iaL_lZj-KAT^yALvmd<-@+(xNG>$;;&MSaI+5-a@=Z1 z2OEodX%08qvCnZ`A(u@%c__0i$j!R&p@m5A=1wXl3VWw!V%vOG$`+ z2@U)oKJTY0ofP?QpQGYw_XnPRbN7O z>RM6fV%v{{t;#?*MgrB3wptR(6{6x z_4;?@B|h5V92{)Nc<^#$sjG(+5%2nEUEU+J5qkXl@*c)c>dha>cYIi#w|*bqtfTb8 z{c=0gPF%ppog&q^a05~755fM}@JKAf`QI)Qy>Z^$r~n+I3UDHh^${U=qd}*QHtz?n zzXH4^)MMO}oc|Ntv<}Bj=#RZjARz5So`f!fAf{!wI z6NU)`_rMj$RO8~}^6)w=@R4d%Ea&N9|C1{1MIJf715W-K?4hDLp9P1kN8cjOc!G4T z$5)=O&BrTO=yDAaVuIUHV6+IF=g7c`>-gSw&TMR4Kj;SZKT(axFz2!0b8jisD&|iD z$81+9RXFs&;E3M|`x+*+Hew5~Kr$xq6hDK{kg+=y+A9pC;%DE1z8>RF;0qLjkH7&d zrP1FKHSpKB(BA=W+F}RrCAg%_wwHAuKNGP9snFNB!OP!aLVu4)38T|+z2t;S#lqtr z-y?+;YDYvj!O@7IO)OaR09%9rcuE8CYqckACLTwI#QbaEwFrQ}HTZhL415ALBa>zf z;HM$^{Zb(X$Db=qkr>70D|A3i__>Tji9Jsj{5JSVjY=V6PpiN+7gQ<}@_%^(@>8nu zc;oi=gYzz`v_&}72=+(o%fSDrR69nO*6aSbCP zel2r;1zhzc; z_%$brvQHH5ixO-BG7vx#y$p7?>dr%vkS9%+9t(_kUR9jWSkPm{O6|NoZm42<-z4YfP=%#OPzBPip~EC z4^;>UXKE?9^*zXd7}yIAR?t`^Gve$SkEZ-I*m{6`^Ym|?H*g%yOG2sF@5h>-3iQk56@B^pP*Zf7r z7nuEXob%DR-(6;ex4~)QU`*ihnZE$TUaYXU4ZH=MDfk+=4LsXm?Em02?0JxVoh}Er zsCH4E2d{+O>SRyOMFhdB@h=9$A#f_T&^nf9z%7tl$C&1!uk=u9t#IHhxT+Td;u+@m z|HS$57(c}Wiml+a{G(;_Cum;B9bT88Y^S z$zdLU->o^brHqsx@FWvOeBm{GOprYto$!rZ^a-@)a#F-^=9zQ)Q>haUL%b`(2AFsge>(9UEYLyvoY z2K9-4yj{Mq*KeoG{n**w>Hka`8Xfb`jfX~$daQ!pywkPe9dF%A$yYCq@yTN>M}IiV IXWOcO09Is>MgRZ+ delta 8617 zcmai(dt6pk*2mXA=K&rSNyXZSf*fjjS{?)qJlC?iGoT-69uLvnKK7oX_SUa zo9w~7f%*Dz(g`i=I9(JC^OBQTl#HU_B`--M7^xNN``hR2!#TbmYxwWG*WPQdwf0(T z@8?j|*s-{=;A zP^Ga}ogHM6ij8LdX=&AUDD0h@X5n`VQ{zFs(b_w}Eyrl=F z-EptNtBs=-Iv|_o$gtWyPNBYH+Bq;yQYcXHzRN^ek0`W8sLk}29+D=pt$O1j>9(w; zULoq6q)<;GJ^|hVt`j`Bf#{9N3Y80WtH3#jT zZnk+coy9x3|I?(0LMDG8#3!E6t)ry7yC0RhXGRs?*d0) zzE$|t)_e6^X(GF>#~qVyOWGkA6q>D2s7Q^^eHm3huTZ2gxUV0h&0xMiFP!DzZD2+4 z&*0>zQAmRCbu((pvgMD0D;?`U13UC<)Th;*8@vK`Zg35(I5z0r`pylef}I7fIx<(oh^D+h_ecxXzxh(M=4L*aI||Ckqx>3cTP04h049Yw-lzukj&_(*LYb zrfeE4b-)G*wtNzJBe)Oz;?=PN{6>phljv&XtKUhteOPZ@y(|T|qx?N6LoXsC zswy8G3AU={OK?G=tvAs->qoo~0(I6T^^mmTDl%i0LZd|A+zUUlXm+@`SfFS zZmQjH$AXim*&8+YXVeV2)t?{MOJ#XI)707|WRt<}Z3=}5hn9dFpvTJGec;R; zcHdU+LsxoFpELF}zgGlcEjTO1wxbrj*yh>f>5Ecu7@7gz_P%`}+ricL0%`)U z!u(NUgF*K*x(9NLbHPPmqs<`^KK81Lof{(jl{r!75D|-#`f}+q#h3= z-;a5W1Y?p9Jr3S^6dgqP|2jAlc35>(1r7msHT6wogn`S!MaOO43obcfa}#(+jY1m@ z{kXrE426X!?MoW~CFZ!)!YAM)u%NG4Fc<7tK!4Zs!%^|GBE}*PmvHNwipT}O z4_w4EM#L!%>;hK^c|G*Rq}u_weow%JigO@_Knz>?GLZn3oSecNxFU zgx+1?@_K~|M5&BTgu{-zv5+&?cM$#@0!KIk6s#xpkR$Dq)64s?U z%xH&>725`K+0?TXX_g7OnHN6vEW-VUuS)SkU-c9mo1aQqfZ3$5$|@7>F+%$_mkMu`st_SBd)l8C{gz^wIvahS&aG?sx67I4(wX08dnOBSR=S9 z$2Rla*s{*?w%Eesq!intPT$2M4rE#Rmw}(B4llQodGO zo~=8;)q7N`7bmmjk8sS981>*u3q9l`^xyv!0(4Yu`9&~L-?Kzc^U(q_8C}9W_-nj< zCW9}6q1ND);L8rK2G=|0cYP8cV!&1}o&i4Zke7h3IM$y9|Ho#H?t!7Tjs=#V~L@_^g9p0iOn24jlnEIMxSeqvB7hqNV8FUzUUY)aMYLx*N!I zaqLy#*lQ{^iRf@U~{0w%~+$j1K16o4*Er1MCsT9tC&H zx1$^KETisV%b985Fo*mtuxiUk&`AvRbWBj@<5;nQbu-NY*MRRA8*T#oW4KN$Iw_B> z$-zfyo&+< zClpdp{(Qn?5~J8f3hfXJo|I9PIP-MD8^Gn&Dus$Otp!&fSE)qEUv3NeLDhJ?aeaHh zxhGUA76$za4n*r)fc=dP2ere7&zRqx_<~QtVJ@?ZIbR1K{?fd3I1dlNH4KmVwaj@D zxbhz`NbtwtoesVQE^+Y4Kt|EL&0>E;!6po>DN>DZ#9X0o5Pqq=V^_f!;Fv86-XP|D zB^d8y$gLcC3+!~@6xh8GIUyqSQV80Pm2}X5pflPdaz^tP2IO?X20y9BPbF@^SDaBM z#X=s{6{YFm1Lxo+#s30PMLWQC4tW#!BB~}Ga;|@V z4}6vBu6ZayBt;npdZH0oS=vs)0-RZe2;m6u;UlVH16S}@Fo6#Xgi}G0&N7JyN1joPyNoZ`40fJzVLz1RLHwE% zN!cfg(c48h0z@E)BzghtY}KIy5Rtu#akp}Pe;R=PpNKQb5gwhwgoMw`pPzifvIh_m zFmEiJqoa}4P+*nWyRmpxsP>tj1CP3b4@=?*u8hWp$O$V)JY(=Z$HB>C(En2$1N+8e z0`7u5vEjpy+?mC7;AIVp;UPEZqj9Jb$NCB5QRm;8|MKAS)<~|9F!NI9JRKa^)6E8{erK?V*PyZ8d3?>Wkl@n;2K}F za^X;?WIT78Z3nd}7)Wv3oof|1>n4&=C}RQ?b&|Ea@0 z+yc&o0nwIx8j_G9X@x_xz#%Txim*n77>Eg0Nf8S!f#VTU-kA7p_$Gef9QHGRQSl9) zcno#^5bk%E>ETUqY6KVyxP10>F!aR;eeZya!5M z>O6QcOYKlA;-`BiYS4?gCJkn6J% zVMpsunPazd$F<5TGPJ^AhbzK1?xo$H45 z8%i4Y%e}pMr7qvQ8(Ol#718y#qeEWqXjoL_Z%^?WDhB_z2}6E=LjSv)7x%U+Oux0k fHGieIe5d5{rVsUT>5GT>EMQF28;AO={`3Cb4*l%}AdBeB5eM%PD3q`BT=>8BHuJ#w@j8n{2{l%nB6>6&uw1p6~3#Io?O(d3YY)z4lsr z?X}lld+$T#!7ddCyObwuvmfu#Q`@pEdquYPYIb06V>r21q^2+=2_m8e0&)gE>f_?C zL@J9y(pkx0gAc-86*t4Nw;F<)1Ol4eepqDVJ)XS?TUoRlFH~1MaB!)KTlJ?*q?jqno}JDK9jnPIElF_qa&$ zOiwZIgh<15L)IvHExZJIdu3>6gUAXWKNs2G6qsdx@eO8X7-G=Po^UUQSp{b(Gn=fb zCj&bIQ`3%#>_NScGB+3A2D^dY3{RTn@maX$UPBHlJBNP|S$CfyscM`tP1u8jO1>wu ztU0hF`z2AwNy5mj=uQTQu(pPoU8%6pqG9*E99b7TjkY|+HMOUzLLL5 zn2cag$%t}Lx>`1m`x3Lfgn!;;xnlY@^MQl%80g^$u9SMgCe19_$5(XpB&&G+`( zlWlB+!NnEqBgNa{B-oYL!wqXa{qczx*bmD#8vFwooh}^UckpoE0Dp!31AGJf z2N>H~lf0)5IiMU`0hg~KCDjDqgk%3`NM2MP*5nKgl{C~Uh4ds%QlIhoF1T9bz{-*mwq4sTKRUW8{aa+fk73kY>D_(tSfC;2;2Lt}sL#OjOl#6& zZ(1|DX|nXsh7>A?&FXTm%~@vks*gS!o{ufa6rDNVPk7UKr)gwDe&Y3E{)Z}$K3{?a4w;DU?v$VkJQ`VhH`necwq&2mh z9v_?DhwT*mCLzI9d!#jR-W%SoIR+Oz;2EA3SsT(-aU8MBR<(z&=y~pSk&P+Jl~X3m%2OJJIuS1?&c52?ulY+lJ&jE8a;yr@_C3 zJ*>uF`i{8tlnhOFJ>=Ed>2St!Z=mjjI7pDYb$PONXaMsH_fFHK>*wByH3v?GlhlNs zgZE*_P2D=U^h>X94@+kuzA$8wisxeZApNgV3$YE(UE%q04xZ%kosvC(z2I~7A$Z?E zy#?6^Z}AkQ^FU4Rr~e2w!0m7wSPXd0H%;70z* zNcykz6Qi#m!B*mGV`rEah>_*+ffj0r3cw~f;rE_jKfq0x>F(H-Oy<>$KC_AHKWfbx zp>GI=HxD6j=LwXuqy2)au9{8f0HCl8DKl4Hl$AqTFfLzQyiG#vY=7vLe+Gf_A}P3!@e-rXg551R681ZM z@c;3=oD1dcf92y~K$CUW+MD!vJ^N!;KC6Q%4Qk-ixzvdErWB}1?7o%MgG&^jhwI^7 z#r-0Ux9A%ZzhkLJlz9Q#Zf&|%pQ49Dw3pHDX6iIJcBxnFE8%LN-ko_|L^_)4ro-QG zGwjwlV>Euocp3FPT!Q{(Do#h>b)8IE>bN&R&X3V#kMCH^8Otpig}zE*1?*Fh8f)hm zw*1r^ZXphrn^Nc)lAg@_XlGMWRGc1!Q{Y`n-eH_3$&Yyf$c6KK{208Caoy7LzV-Mx zeYHMy%I)~$>$e6Db}{9kvik*G3oln&W%_sm=sO)N;S%&OSM&MCmiq#fZaqH1uJI3z zB;$LS?(0A-;?kUKw!Zn|8K>;$9*>JGo2Gx6xcvr7a(`1u$7rH|X3d$d?`RvI^9?WB zUzn1m+#H4Z@_}Y+1)GiDP@fyuQo-^EAy=jF1=4I3awjihY`O;756D9u1IU8tQ0pcVy-iHjsD9%R;ymc@GtrE!Lr#dN?+5aREod2vg#M&V(|p zIScibF{6Cc$i)8W`8mc)U!zY6B(9?UZQ5&;f0@?W=k!@^wQ?)*FZ#;Zsh`}# z`g~)GsDO>Uk0-@BuV8!#H`kj|uNG$aZ1TpJ7aitk(tlk@VwC+{xW0w;RsF|V+AI2$ zm~g+Dn*5!9OgDPFngiFsbc^z4_+1~LhWGgT51GaOf!$JE0>AB(?|}FE^aJ?$zQ`Jp144hXRzbyoJb!}g{7132duCW74Nq!O;W zn|byq9uL=T2+0IBZUsDaV@UQX{s$blDI`an{sBq065rK#1hOa2Ac8p|VU?l<<_9?W zHP5l|y<838Zpu(>ktTP+?iFLQmH56sOw+!wMzcO`_^h=5V||0J6G{=Q^%|U zpXjhe%KkBF2lF=U+L zO>l96bLZ+LVe;y0zM|k^iZXZ|+;q7a{d{K|%%a2>pAwQ!|Bv&PC2T7c^KoKme_Ti^r+%vYQl$8AODG*C%77jBLT$r>f^aRv752r+)t;GHy#>lu>air<2_ zS!VQ`u{~g~Ez{>FpCjbTp>=%Dv2!l$ zX7$%s5|TsS04og!FhbF%lWm~UW_C%1axl;2iR0r9u)l6}qC%Fv=JlTor!XN`{{uMh zuo;ei5wi#Az}JWT_xRSQ26zyTgWWZsn?eX*H;|Gm^uHgDet}T@D7=kbLqMXt=6yJi zo0a{OK;iljuJ*}0_u_&mVdn#p?Z6W>>>{gkRSvulk2vWSo@=i{;WKVHDuh$v`X9}x z54QeaU<2O6fYFG-tJqbxpEmdDO~?m2Hw2qEab}c-eIe?6&4nSF4|io(q$z{{3pZTv z<;aw4$#NW=q~w+GDsreuaff~v=Fq+Hfm-LTYCEtC4i{bK+=cCiA8Ba%x3_Kj_2=>B zDZ3jQgq!i6Dkf&JU+ zj)~kidhuRR`cJ^y`k0cexCU-Xr&6j3g$MnH2SsmhhI8RX1HD?l1ujeF;i(Md{1$^( z^Da;Z-hr22!)d2@#3cJ>Xto|UyWvte!sfBXE`rm?Scn2`$ce7IzU=kZ(cu2FoN(485bf>VZsWRIG0+H|(5ZjKDcFo zb7!>&dECFn$4r>57n~wsjnM3NEFTyKCNmAs5lBLQ<|G9J`p;1Eo1j zx;P3i(ojHcu2M5xZS6m<&#vt}C@Ui^D`SxTn=v>uBP(st;7IzX!QS06`xO-}xUb*E z-4|1|=I;yMqg_lAHQ7CL;H7P5pVm7^Ivxock-`sxT`p}S{U>bLen-xJ5RAR3 zdg};Q?uWsZ`bGOhXP$9sFOm1Vq+<8<0Y9nPJMzV+m+&p>xpCkpq}?+wZQKeU2$ui1 Tl`u1=MAM$N9-9^O^n?Eg)_I;_ delta 8614 zcmai(eOy*mw#V0b&hsEDDi8)K+BuInS~>~%plGOIjOh$2_)=Pwpyn_2}OA0CICMN9r7tt!PkIj_p={H;l zUFidUB&vjZH#V0KE(2SEJ`7HsW^(}Ct9V(VYPR#!HKHw36za<3q+f?Uu$$#y73Vj& z4knaAt!k=56|(706ukD$RH!?53%*L!eXc@*%-6srGZb3KX4e$w-*gR^{=4|(P1gpg zvp)TntA|@Vb(5$jSD^^*m2!(HbD_P;)!@O46e?${ZEjx-dQ6{w*LB6C{oH_oW_rn=`}O+;Tx2K7QjbIt1q$UrF2+3$&RLG|F^Bm{wAjJp z!K=UlEZ+v+=-^x6QgECp*C?@>MAfe=RLTnPgD;{(67$bsALLt^)BGh0nPu;{&EUoy zn=gP13Kh!c{=HjBwEs=4oXecRb#Mdp&6ODGqSsnVG-kFPfltATgAWEsbP5q_4uc}n z9ou3?Fz^g>8rUEGtpc!F-{~ixaA_ahAc}okp)gK~%r+Q!lR}Z~*l}8(hE1)}I)3kA01fp}{#okKlU;C;`Vi2KW^09H0U09ANxI z5+$!y=nOlw3S6`iDajK&1@`}wLdk|)1B6Jl6%9445D)IU&gL25%njJlY+wg?Op^hL zz5^GmxBE{Hg*`aDpY81fXV0~k(nU)U>dxRHkW0mPTF4WEZagAU;2gV4@8an#<>AtW z;zKRvanfL24Uh-8v>`teg}kd!7T1h-NTSqT$Qfn@n@ib-q;;E1MXe;NdEZ`&m%$qy zd>Y&xY%QIqH6mGRFO?5Wu&0<4(P#r2${hy$MXo@>GSCNn(P3a0rjc&!^qAxh$R#)s z#0Cd}hl2x{mx0S24pxGj!`@hyx9%v>6>yqhH#|xyu5BZq)6U)@D%gv0cp`729F^iw zP+0E-xX!_=U?&g#txfb3*jW~PJ}S|5_|c8^bHEoIe(eP>UeFXM7rme-1j%hA?PMcP zF$nxv@gX?&HW&+ML~t}X45t?|!r)?XDdfTt5#hkQNT~yM?uMWqH|$p^9CESS#j#ZZ zwyMFr<|t#fzL(0-FebOjGrHYLqL0uajtA(kUk#S0NiM&i_3I>Q+Ptf{PsH7K0-f+2)Ue2SeYQXloqAC15KM%fSst6-qN#JedB42ImrX*ROV# z4+cc_^htE&RlCm40{a%*13lgg2MOd>UCz>LqcJb7SENK?U)d*C9=IzwgeSBUTm?H; z>RtmEoU`lpuqZ6V*9y($crF81qyOW)5XZntOKd+{MPqN;Jf4!#Q0{Q_EpXNU*b8zF zyx&$JZ%>Klp?@L|kOB6C+~Rk^Szx2gA=NGwr^g@@+Uh4`IXrWSHdg&>z8P8c{uoVE~-Q22X%X;NT-XU~mF-z}6NV4R$*G!~fw| z2Hq=w)|j2PGas? ze08Y2J?IveDzVTGP^G?em^@C_qR?K5b}LhJ!2Wr5vDd-n4!!BgxQMh;`KBY04sHNj zHLgbr{PfrvwF{gJ{ni|(8{jR$D&?8(MN{jM5>+~mwG{9wD0F9qRbYn#eW@QBfi0i@ zjEF;9l`>636pc7sd`P7Tj?)|92=Eb>w;Lr<_#1Wro(Cs8cpbP3<65QVYklP?d4rrj zbu|2O^xF=0hpJS~cI&`3;KjUEW<7%dI!;F&oD2Q7Jf8+3cLXS2UpYq9__t7Eln$!( zI-sK?5ZG|F>CM*>;}mwZc|vjiMEP7$<*oGDh0UB2_@>&=g2EO z(luRLD4%N|s02ss zQjH@;l(I)NF|j|{ex~bD8|87Xpg*JiDB3I7zeIi0W_emOX@eg0S9yhh`nQv@K9^J? z4%p}^cvAdg7mV}ZhB}q%cwx?FBX1me(Qdj#J+^qs!}gyC*EM2&x&H)R+AWXsX#J*2 z^eOsby2kA)4_pC8H-is@k2%8%aho+7g@%I; zg*D)lb_e>~3_KDY+&c%g9E`Xa4$cD~cJK$_Lttw{cfeH+{rFjM*x$<)MSt;t9NbL( zGonKg-ll`ig+bF)FJ0$oozqvA%O_;*GTKABd8wXPrQ1vx?}7^i^ZYpyz4yL7_=n&e zu$P^^3%&!kqB{^*pI^Y%WR`#%9r6mWw5>@#kXp{eGNZvVFbrG@1#26u1ebw-%LASU z*E!@ly82)8G>?`!TcUNaW9g+Vzya6WOA1eT1Nf(1UZW0+OLr}J;BHI=a>1Q)an;>} zXAkp4@P+MO8pGrM1su1-OI6I5zyUkG^qtw?McwqEWAZ^)Lgq_|;6N{7m5c)8dKqU;qo*>0%#bYu?rGC2N6 z^Ye~Sr~+TOtQrTEV9&QiakwLj+r8jVz=5@>%t&;>m%)+ORN5h#?E8+WaDhUjm=Az+ zGR!+yFll%+evhvx@Gyc6CV;QERgKSg!r;>=@mWw1C0g*i;4zMfto{L?`|g^RPRP%L zGrw1j+p*xFI@mj)Py_3SfyexV9n#QY9U77j*#pGjGh`M9NQQz4`Agu`N`-c?f#o;w zeR!~Wbc+EV{x?z0b@Qqscqq8U&r2mdra#;*AqoQ#{5 z_yuAYod=gYAd+T&AQBF2Lcm*Wkn(cHxQp4HVAehQlGu2G`wE4IhO5 z0k8tD#DGS`y5L5OT_yY!+!vhG)4U-FF2|Wss5wI9ef-`KEe3~SS46VGzk}=h+c`4z zx5#ohn96b;yb3v##oX?Rdvj<$_)Lv?R}~KY6Rc&mHt)isp?MFi>1})4^aDE!$!u_P zE7dsMME@_q&NbG3*abHf+QLcsY;V+-174hzVo6-|7qGLG4~j+oPx?_YPFrE{Z?TvW z3QsoAAfOMvLtIvj=cthH1BapZN3eW+Ut~4(!qF+N;J4g@YHt;ST);DOl$~)%Zh9 z$YV!fyr<1mUhpyv4Uw^4I>Jd(^ej%ip@;zUk6<4vT^1+Zdt>emdCRf)Iy40w*BS2x z*53p!>!wmT^OxYpC{#+GkoLRh@Sx~o&oCc6x2IjpKLHnZ#lw>gq&yFUkKtXw2EG6< zejKMA^T2VzDX;>FGKPnv$Pyvn{fYXZ|NECO|4^_&=*9I{_6}aRW zBG$^}vBm%27H9e591fKqO)dH*>Q#s9`jMI7PK`FK5`G{;h?sjv?X z8K}*rJi~4J$;)zfO-NLfFE*xkbWESvm|ngIh10pWOfl<)pS=osQ-`TpjM zTYc$n_5ks)2a8vH>Gr?Bc6dzW{XOIGME$=#qVL~B&pzWWTCLxm;#nw3@9PVvdDbra EU#SR_xc~qF diff --git a/artifacts/test_program_methods/claimer.bin b/artifacts/test_program_methods/claimer.bin index cea547018cb632ef64aa14d3dd89b07d07d7ad44..ae5324005f6498c6eff54d084d5628415677e1da 100644 GIT binary patch delta 8572 zcmaKxeOwk*7RS%bJP)8^ysD(6Gmn&5TA-+qlwhc6q+sS^qCm1`iHHhi8|$E}$>s}W zZjTlw6}#H5ubVo$A2-olV_QuWd?9rOBO`MaUskP5_ct?VnBlY8U+}%>+;h)8_uO;u zou|6F^N!}uW#K~EoA>n;PRvVOm?&&Z6o*u)W9x}B274%why+ojhrc8$a`3v7MC0OZ zdEZk+Ne<2fM-K5&2>0Iv&H#rox9HqYrUtMm3gpH=39uhv%E!_$G>kz*2eW||f^%&J z`UkiPJc;E#jYNYnfG_h1@KA6^<`OM!kGMui`@D&$;BlFn1ash9=ZFFm?0${k5Y@%Y zRKfC@%|u-wZ_jqdeoLe{xW6~?Q*nlpca|tUK_(e$`h2#7=YV6_%uwy{r{Zogd(YQI zQ_=k)HYZ{Dbg&iYVc?q%UIt#DDAOsnQ*eQ(ib5LLWy{CXTWH96 zTBcYmuO8md!Rrz|B*OtcJ*68&<y9*Qy8MNwMNL9x`W z9=}2qn`39g(jSP5C(2a7c8-E;CLvDDJ$@u=aPW)Z7O+3dw}EdtShz*xH(925mOlxO z&6H`q$trC{LlP8HSm8Ff47`r{g`W`l;r71y2pr+y@4!tkn9urgw-LEv9`Xb0f$2a3 zg+7Os6V1R?gXIxcq@NaPq99N)8mtbh!O0Fjh-m+SrD(?n`*aYf8V-zS&I3n5-`d!l zy_ai|Icv4VI`NLE{s#V}OqVH)Gvj5qK>md?MX|r9z^4jiV|aaG6MO_}0?RD_2wXA^ z`-u5Va3t80xAPUq1$(;tdjHvAhkcdm(cm25F~7D0{0ThHF~D)Ka{!-qZ3oB)=j6$B zf(QHnTsa$=$rEeP^>&3~!7_G5h93rag|4Wp=5V^udqt|t!n0ZKEml@kLNR7x>Wy)pwJrcYtw%6iS z@Ky((1t);5wF^O!a)GV28VU}DeVGjVDs4bRox?z9Jy{$EMu2arwt*PT%l}DxUO$3Y z6v;G|9sFyEK>4F=`5kZ!xHksW$zY za4{SRVuRJ-JJ8q5fwB8K!vTkbqrp3|RufoW23`aGES+8OsMh=bY4MCY8)d1y1mo~T zBCir9JIdXQ;1UOS?t+O!-->Jj*jXO8fh*yMb?RK#^&Nf9_<;XzF~E8cMn$2Fx{4DgHIC1V@D zjflWgeV}Ls+x8Fku9*uC9c|ksZ*~i=2UVJIS?nRImwKSed1XrCvN;RpmVjmUdwx%W zQqkQC=ss|Q!<9f&3$Hd+!Lf}yLr$4y(89Q+c z!R3Fo%XSSoce6}$IGi0G#4yl*kcW8+d<$&3Q401S-^$O?5j5mG6ha?@-&^eU$Occf zJ5VLKH}sQufOFvO4vxgU!=Z0fIc%J1UPY2-2wv??Nh%f68vCLY?UbpE*Do1i>9ftg z@4N<%-)_&p*CSX@a1L)cFZhJRo!7OQZs}5cwe)esVXsU}IBsD>kwyn)y1<+cmY;2% zH@yQc2V48$6gb1d-Jd`}zmTbp`%eZ3I{H_DFHG=IPcsa`bQTR!P_P0Y;k_IvT}nF? zFVLK$9wWa5(M_EmL%%~PAUyw};3|jR1>j0>H`6Zd2d_hac!PcHrf@AfSlZ-LhxJF? zjv!8KXE`{bPNrt|_Y64ls7%S67kzNw%|B-6`721r;UY z(9W;}G+LV(E@evU#|hXGlk7lV2k%I=GD4&{^vj3b3hY%Z`K|`*o+D7)NbLAVd*!!) zH#;&aW)w0B{qKQ0`qB6bc*oZ=6`St$qp~Ma0UT#qEjS4s`f!KNDQ!B?1Z|#-9iM$d zk3%yKebW$a9gb3T4!0PNQvl)+3*N`_a@aZGn8;}`O|~c2{V9|}$gRqfsik?OHBxp9 z+LIi5(W3UVOkBZASf9*}|FP#Y*jrD2~6~Z4Q(O=S{W2D`_s(2O;f&hhLxqCe- zSf!8BTEPT#xZrT(6RdMVJIJ{b4nlZuLT+v_H+c}=YL`OEY_DW2t`csAa+&vy$9~DS z^u>PU{uLC^U?t9eu=9%GmyY#;{5}}a6JwKRO%KA zwLPPxGu?vTK)+M53RQEwKhd^4FFhg(_i2q&r9-a7!b~Le>q=`L)PS=VDXn=hIt$}2 zRE!fwzahL2&dIa={7Sn#UCI=L?#~wJWwckbfBUuUd})TSplF9*kxKotUw97d^LK@a z19tq^cu*WxT5r8M&qH3N&;?$Yi7#UP9C=X=K2zW!H`_lArW&R7J@B=*r&!8#tGi+6 z)j|(px<;JD7f|xS&^CA&_%#QYfQuaZ{{oK#Tcx(+RLsjEPX()v{%?Wj+N{zsG|X^x z2!o^ZYz68&O`!P>-kFQD5{$SQ4*m$9?cm3z3p5jKO-Kb7JNoYh?>MROok{DyNDB5< z?tcjf?hT|lulfRT!8L`hadfk_v}MvENzI2dk+&6U;Z@lHZu$YM&3tQyKojQLgAd8a zQvmE?XXk-8fUW5618)RdlkuI2bHyPa1>R!IpP;2^*y>QI0cU`%Z4fdG(E<160mp;O z9rEk5w6n{lJhys24|QL)JJ!yIr|mr?^Nf`Ofj;=1$9Qn+`)3OH3fKd=&VK}lF2tjU z`5W+xVh^SBz`YAm0KhfO)4;ptdFY&}FVY6>@Jea7n0OwE-qguM=xlIXy_9^<6cxd0qdf*r^D--6@cl8uN!u2RZrqK0aPWRxPk!*cMr zD)Xz4&NslRd(GRt&O85&k9d0&cv#k%{e$paJ$f4v`4kc2{vX^S+Jy<|w+(%~ zTAlY9pAuA~VKN%SpO;BS1<)1R3rL(fGHvA!_lnq-a3G6$Ecn_ng~E7EOTqs23RSTD zQGdukQ;h4IZf_=dJ>)Cdp}&BWQ2h!>H3vM0hJsx4!;{`&dPh82L~|eOycSFc&2vZR zOW>$*k8v>T{NO$K`m!Dlu>;e<7ye@NMsS^juY#vuN77<^W5(kHa20<;F}@M&2DgK^ zuCsT+Yk{~Sek9W_m#JR^u7cdkkx@ZyC$J10Ux=LG2n`6q0c|B6?9U0qTWFh1sy{m* z--`jRD#l|;cVNEG*d{Ak-U#;lz0C<-5kg0u_z+y-kW1Zg1Hgo={!_p?+i{iQB`yaS zRLH7vchUz8z{dxksaMyCibr z00z`~K6o8+CW7tl0%!S{cLH5L)YCRXmEc&_5h9l=;wzW|ji zpJ%Wv8XoR3AE3HIY(GR~uiRRgn!xceU~RL>LvUa2VXx^5@SOkP%Mu*W`>(-2yBs-i z1l;6c*Dw_?Qb$AKaC{MOHXly9fr}&BW^q|E3|^Ft8S3(vM&g)u^#2K5_m%mRhc5ry zC_G@hn#a1%9iGIl>ENM#>|n5(3Xfz&fE#9jlTnIuIq4osYa8;VVCS~F1Wvt)&&J%p z=UC*xZJd_O6TpFPlyZ*nXW*6}>+&M-#O_vfXf~Lqk|se;Ag?G7ti|7f)9Xmm_GnV1u2}=SpV~A zC_#gDoW@MVjIbnG+~IBTX2`8d)&x!tR;YpHT{6%g`qs8w296A|Z&16z>EII9Up@)j zx-%xEM_51qeI~=>F1E+x!6&+z*K2)7i@>oRJ#>I)ya((Dw(7)fa3BgzDi82@CT1+* z^B#x%g=|E)#GZiPb9N~=&i}P&$X$#|#{-O-f-FVhso+|@9~@PtP!YZ_=njp|L7jLH z5$kC3NpQnPyAVa=m6o!}=7r!L4*q5uUQe|~Wi`+LF-YHpV@m6J-!Ts%EyV2??>4=V zJPmF>2?uz<3UJQ1aKP7e;Gr2vIvmH=npc6xeUB>{C-JIT0`3Z))=C&V8+8H^TQ9MJ zC@p)Jw6;DZc2K{l{;{$B;|BDLi5}Q*VAMeJCR9tk!XD1eeR=xB|1b7tyzTlt`2X9r zIIrtP;b#P1hq@-t&=;qSP< z5$`&#_p#M3-@8la{(`iZx9S(9n9-oSIc(0TTTJXPD|C&CyPJYm@t&*n4_Z`=yGRfo L(KZZlzdQGTM3;2- delta 8563 zcmai(dt6o3w#Ua>Yi}XN1jHAjuC+y_)C48PFs!~UX|lx(K+@JAE&rCA9zF)wRl8E^>O4_`gXe)GhI^+b=lfjcw*DtMquHDFnms4e~z2m9?z`I9sb1LHB!#vGvK z;B0#WRe&wNt&fnXU>epZixcss}#xp{scasr}~x`bu+$|MD<{m<)z@I zFQJZ@e*i~-EqP}@iCnNJ+!y+9fF1UAYQTVVfh7OC7uW+%bu4fJ>|CJ3eRnUQgR^o} zI>QT=fH%)WX7UCvgTr!FO7_WhiF&n`Xdeb@SRox8JKN^v;QYC$Xf|*ZoZVtTA_W0n zH^-iTvmNZg;Zn9Y8a1qru})N`jzJQgO7zee$R+P*XXIytmIO-_gP}k%grq3MwL8OnrhTm$-`y+@4pb`E=I0!(-?e>D0&f+*JZ}`5>g}L6_v7C-c6C{YJq(g zOToJx+yssTTW9A%lX8Krvq}Mnz`ja8`#SBzK&8V#FOe(`0~5fvblbp4>?`1Ldta^F zOSCFqr5Wtt0dVeETYi6tMA6^}u%L)TGB~_NuFLcu1~OU(WU2&*IJjd6iSpo3oar&G z0vEu6AU60FxEb?BJMdLsM>ybcFdh6U&T2Bti@-&gpCQ-WEyX&# zks()z5*_VsA$X~Sdv(IbG2e>pn_y>qJPh6pKdf8FjdEP&@M{z}I;ka4GF>vHYPp@H zhc=--LC}gFP6LkxOUxUSgf3!2ORoZ`l2#$g$aC~m>*{Bpr`WNUf{kGfpSkMD#Lf{bgX9T$5 zX*+QX!R!8Nx9w_h_D+=+ayUaD#4?!wATN^!z6G}2*Z>Zg(8ANH76ZAC2|fG5?-Khw za=|lf1=eUoww)BayQc;#mDUArr?oU-(!RI#- zVd=NWe($^kj@@hTfA9dDCpe1>?i27ChdUn_bKJ`1*7}A=5r=~+E#tWL8G$r9s?tT~ z7r^S2mVMJ-!0W(PJ^Tbtb8!EW2{6C;~91Vo`p8_s(*nJ3S{_j39V}5P7O(<*7F-6l60zG56dLBEk^B070#1*UrgspxTZ0LPtH2Tp)OKUV0Kbe96nFczt( z_{{G`92#)xn}+DnD72yrc*Ss>x+4xT;KMB63Oh#}8@ULksrJVDKY>;Vxz$;6j1-Sj zq+~W@Ji#$9Zk$A&f5ev=+kFju6Y`w3a+b z&%nBiHQx;*UI;tESvj_!KO0T6lxcEMbf!cLFka67oiZ|WmDzq$q;cY9Wx0Rmg6TM) z&om+q*oEitL2*KBdG*eF9`Z7cF7m<5d=cm8$cwGu>O2p*+5SZ^RcI~W16Pd$1R|gZPw{K z49s>Y^ns&`>=-bDSuLqE4mJ6BJOC^$fvRoTz?a%&D~TvZwFhO={N`XibFmbTw=>d;*$+85XXdSa2nVu1J7JU2i%_* zd=9+MA$QL+>fTdw-1?0i^nKk{teXc-v_6tpSj?l!5+v3?*@k~ z#zznHHSnqe4^85QW9Fj)fGe0^1@Bwrp$q1Gnf4hc)+qbs_!~&{`VJm~zOTc)|11i0 ziS1aAEEFU-lnreGw|~oiW85}Qe54GQq}Pm~^@`pKKM}0lr0h^+SBNp<&&qa5T5U9K zQ7*fs?cUn$N|EgMvhl_a<&vbYsv;^|r1`GgV4TR8-~^m`Bo-1p=Pc2Er_8eoLLI#a z&PQdJvHUbRJJ!4*#QcPFL`S-Kd^e@wm%-snQE@!~U*OpHRbNCP*D3XDqMCAzRJ0#W}ioV{M9RCeeiaK;ac;uCp1KPBkCfms*~dtN0K9Y9RzBBAjtRB1OWM93&hIFP}d3BGz-qt1M$8^8fo8WppA zOaSCxXujv0uvY-y2KgFx=x^WzbiX{(%>{qKKwh@_!;?_RZ;MYB*{oy1d%<+nymtiO z0Y`>;d>6Ceq4(q0mu+x}9e5RdajVUrfh!%1&wrY64M~gjeLH>*0~PORzTb$2!GC~v zZ?UW3oj|-0|Dxho9CLm(xD0YDM&fk|jYR+b(Ghv7^Qa|op#n0QR{`5@+x1xF(% zj$lE-E5TckGvRFSOK?Uj^GzV+DW1C{vbqTqz1S%9|3Y-K zT;9R@D0q0l`~VdbMh`?p4yrAU=?XX&2COohH5~8d9`>1T0x$d*ep!M8LVr8{v(J$O zwcvUOw|`8>7pY^Qa1?$KZ!kZcgn`?m@6O_)L>RoJ`gSPfuZ+Pp?a&Vxi#q?-{F8@} z{|`7Z)V$UOhdz#~Y2%^8?4YJ6!y^?D;DOh{iD<>yoOF+*+#T|DU}ss~0ViL_&&I4j z@JZyr9o&}8Gr)mvv~rH{X>j9BdxLuLQ~0E4Wp}Dc;NstqglwP=TyYD3>|z5i;2K+V z8$bRq*MlRlU>@_#r*VIPqb)i3VzWwVydf2zFp0881*Tl5L=5Bx;{IoaE#NZkN z6a&_EI`SFp2uG5^3jYb-3AxqDu7DGRHL78G?=d^D1zugRi}W8}_8Hvzqt+RHSd*X|3hH56eMF=i~K@?>5m$ zrh^;K!2w=y2RQ2oIN)bG@W^Z=9j;^R%#VXpZ{SJBNxWsQgtvmHr4x>xhdzObZBy95 za3gb{^5?4dL!t){9W->%kf^Ab=;(owF++zw?9E-{>JvKXq3rAhvmUyae9CIq|K3Z{ z80>YuDBVlqEm`B5cTYj`23Lf4>W41BdrE~T-VGnR{O>7+(LvsyK6G`um(&PZ>-t{4 zm&DxPz~A4W@Ttr1i{Vs6Xyot9g?i|a|3@D4f652k%Wq@l2G{Zrj2_YM*CgptWBtSK Hk6!;bLaBFD diff --git a/artifacts/test_program_methods/data_changer.bin b/artifacts/test_program_methods/data_changer.bin index 448609e4da67977e2fce3fdb5be279e0b243c76d..52025c865f48db9aafb43cf6e7a48c0dd24d2c2c 100644 GIT binary patch delta 8611 zcmai(eSA(=w#U~w=ZU;XDidrIKL0RhyL5OPM~=s;Y9O zy)usswjM@aE+b?huHS)BMhhKE1~?vxX=t!A&7VB*`)*A0YgNK6ylHAma^;d%9!QspY!Lwpi@_}VpqU|S$LSVmzDNm;c40OUkb58pV{vuksEv;bFyClrMy*2TXBY{Xpl;^lDY7Xb42R~+j^UR zf#ZoPZD4ud^F*5<4`MrE7l=M^@KtYprJU`KK1H-5NhKB2L_G7s#o!n=<2tP`-z)Es zvtB(*R0sX;Y;QNX7HlQjAO0*EVsk3kH&~?_Hq`$z(Pu+d>dFhf2d)LXSl-FIWxu>L zkr2k2WR)ru)1Ma+M#>14qIlXEgpri4QV8>ai$oAtx_b5NBl~31MFk223J3&QaPJzeuc<2%#LydcmvpqauvA5!H2+g$+o;z9Z|k5 zPp79au;z~{#bSR&epi5FhPp|G1EM~6-y}LXQKdEPP?tucUNDf!^0l{!#vXQ4jKMDY zRj>S3Uhn5AyoNfQZkNNz+bF9Hm2%mR7wnpZJTdb2mw%iYM%Y^DMZ;!5@Ibr>K;}^BchV!`&1B z7Kz!fNR&JkJ13ioTaH30PO&mQN~Vr}5(SU26*9n8m|z)L)l8zLFc`=NFWxWFXvoJf zN4JpZGq82CXM49FM&-=V1CPjeWKTRcOP#G!I9En&phUg}Dn+xu?|@6dVmYy~a*#x2 zV3qk<@Pr&3B<6MC#%x>u6}Z}=->>;y_C2%~1I`8RfSn6W50R!iOWxOx%acRn+MuYg$01?}MX}IZ ze;j*M>K*2jGo(;`i%)(`_B>yYp0FIHqL^E8796k?wd*o@BPyfu&nnGg`9V}h#cTFf zJmN3WG6!!4hk>oF`wm>a#NKLGfJA5P`5wx~K#@H_)nFeKECYe4m4glg*IG-oCe;q> zbA&m4u}ag~!Q8fRc%&`=C%7Ekjnkl@C`+2;9+?JX;C$17Os|7CIJgp=3W=fk(eTr{bjrXg*s6zmaJkJgZPY7I z$}J?%{yMZ(2%7Q2Ev^!M4@RjP0j7ZyaC^C!{}X%$a;tgFf}@T3cI_T*Ao77DFkd9F z5^cH!9L;?Q^|Ke{ z76H9qj>IYaD>A}|>Iyg(Y#o|}F4);ow%vbuyIq&pORwma*X2&K=cCRNty`y35_ioQ zsAqyz_A}`Z64gN6O6XGXK8Lvq@T}3c`Jk@Y0O(tBri1gqRvx|v``%G0)7aLj**_n}2koPDt6M;dsI&68*~1{xiXeh)7D z*xr!Ny(Fr$6=*7W8|EkR0!83KkXw8XTm&|{915X__iUh&EsfL11u3hfv`xL?&kmLH zc>{xx7y870?+gTod}_yk790tl!Y6KAUx}tnu;WSAC;J9*iD# zNTu`4?T5gv3|nskI5M-Tpy?fOE#%e#@qw$pQK^dc)uG6nLw^!D7u?xQLrdC>fietO zi9hAt-d4Gk_ErMoJK{D9Op^WR2XJ{6Ita(_N<`;^AJ+a10Y`y5n09FyI2!t}f^+3Z z$MpJeWvk2MKL8^?AWv*(G&t->mCmrg8^Mj>WK0tW`XV^#h+XJ$vDgQ!6VB@_1m`;B zd%!skc|e>*n{By=MqyyAV?qJA3KNRif#DBJl#pd7bR{?$Yz2A{oL7SY*g^RbG?b$@ z$AF8D**q2e*>RON8}@O1U&TPC&%T6~#KQnMlMS{Sh)W3$w&MuLfX{-h6Icj#I^65g zyLr$5;b$Im$X!V3b-i0BrG=8%6**Q5oMYOq6rI_Sgx zfD@nfSCNPFxb;m#G|{Fu>%q$$>;ngYtx*7R(Ba3N<$zCsA9}-Wd@qW| z+GV~(FM-{V3!VmEw;W$R%v-<_OWib<*Zl>Y3qHu)V*wif>ux$_&X*}$FI=zeloN|l z=Vk5PgusmsGh`YX=?dH7Z@^Q)?b*=y=@P94TW^dKz3^S-F-eNnf83;an&BscasRDs zRU};x{7~5{NyGH*Ta`t!RXt1l7YQ}}z62*Q39A0l$h2Z5! ziQYPFZd51^(f@!`muplGH-!8Wcte7DKL~#282ACVaZd`)2j5tMlV}UZWVukz>aQIgm zl^~CT7lUIS#fyUHw>W`-!NIbS;|VeX1L{gNGM?}nxaNZSm=y-zM2nAtf@sl#&w=wD z85w$-DC`Hb(Fyr#aOzIYcpMA<0$lT!N;g=4FF4^{l|~B(J(%$18F*M|FRMoQthMb=2d~~_ z+VhABXEETzo{Z)NGHyb_?QY7*$Ob4>YP5t?`WNunFSVwKrZwVcxI&fikCCBqw-68l z5E%`{*Q*!pKeYlGV*M!!>H-1a?cp&L3dBIA`O|`MNOeJBrb?<}8r%m?{+b|F>`Yv;LE4_EXJc{N5!Nn23So_wY*}FK`H4hpM-Va<_^-{fi1I8VKg^ z0~JLg6;Jx{bT3M*faFXDl3?zza5j7omn`F;9Hx?i$(wE=Q-dGTgSiM4r*7 z%(t*uU<3wgzO~QwVz7Bk%!ob#$DUM;yG_h*A9eR0H$)@F`|x$gMY*=GM4zt079fsL zlIa()vz0H8!TF2Xts0lDFnB2j5uuaia0IFSa0l)&KSzc9CYaFsBU%2p{-|o`hcl~> z<1&u4w{#3RXHdoUr#!2^cl_wfrV2F9CqmM1Q(q#{{uwG7d?sBK_~N)7rfttf$$JF?P3qBM&SnRf($VC z#w`)i8I6UD?gH3(tVTX{w?iL+BX8kXWY#|k-mGYZ(`*!FhcP(jfoSC%kmn5y?7Cw| zxEq|=-0ob>|A++%?*TSY0NyO&vw#h>ABzmixb2v|;6||3Njr{1M&Uq=B?p(gP_$-1 z9{Lso5&l|JiW|U5tu<0vVf@o@2q_H)i`y^&A2d}#<`?+V`5q@nD3xrKapV)+q-DmQDflL2kH=-+GwbbUJGw|hM zvU&e+!Pi4-wcT1nQT}1L&r3OF2VTHAUx>G`pV>%S&&JP4J~+S&P6EeXgaiJj0~f$K zXyw+PzcNRnuD4O7oZ<0vaYZ+CqZ76@6>ef61--eLBm7k#_J#6!O{?C0V+X|ci|Z2? z9TOK5-7mIxpJ?yK_g!7R2^(DgzbPHJ!S&T|3H1IOT{ETMk{AX%^zPkr)~vbD^}Oeb z5u02A_f+>zgf#3obYs1T_A0Hs<<&0LTfE8D_Wzlq2X1yPRqnM+uX_o)wvYLJ?>qF4 z{{0Ewl|{c7-htnfM)bS4@mOzGfh$5!-r~wF@Mh%6etP+%e)A>i-+Ekv-`bb|7uN=# A8vpGsCa*=R#L{>q&GoYQZL6`gldem zmp-&wiguEYsdO5Sprjo|N{cqP%@91Tl&BP~m?i}C+vn_)bKG0=51;Q|d#%0J+H0@9 z&y$L~%}eh#&kbi$ueE8@mo6XCW|tF1#d#=*h?peNkaI*y4*v8!QAE5g zmoE^7I(RVHKfyyyh5jmVe{h)K5^!3KLO!r0G5Y8tQ4s7mG3BG_R}8enKqH~hqXGu( z36u#g1V1a}d%&%+fS=$Rum}8z;J$k8QE3+&wWN|LZ=gaI%v^ZaPehvs+j{G-!tr>8 zwhDPf714Ic8wxw_pNanF;7i`x5-HuIULwj#P)NZv9?xv>PH>DcbL*16<_qbdl$v>k zs2cj6g}puC3b2*v8t{rCHpjz1-(ZExg`vl85FHq*P^4Js4R8h6CFDWg{4b?L@xMT= zGEt#pvgywZgpo8tp(rtJD8fh>tx%BQ$ZJFeNeXQiW{-RGzmi6>CVK5x(tTMw^b1kO zScM{lc)+hjHDI6M5^&i#g^Go_IWooLHl)kL|rd^8Qg zz{Uv*#bSSXewTn_hI&YW1H3->+$K8poI)FgL(S`m9*2PxAH1UjwVhncCMZM%3 zX^UH1^DorlEV~@y?xC!vDwHYgtOmQDN1g=v$4J!J%_wk$t&j{Z#RSX1vIdN@VK6`#ywI4@Sjfi9@m*X3I6TBC!2%gfA z(Uc4vB*AOJb?LVJ0JzMd|7fEJ>}!;R0p|iYz|I9G1u}|sEU*UbT%ZW-T%i3UjAG|2 zR3;o62VS@kl_>)JAMlM#g^~@q#;61Xxi8vhg&~1KnBWrzdVrG`;6w`pbHQ<#ZyI3q z7jVW)_WXC6!X6ynEA+2|cRp?Hs6_ih8Kr`ULC(A@FG$mZJ2gj9VUL6O5Q-wrTYCX} z^qzN^PnyakJ>MriDQQz{(G%97RAh52&Vc>1QM)daUq@xsEm0^<$UjA899wB`MU)?- z)ehbO4h36VcLZFv!rtmz;7WVGMk)S`^6UXB0sEj}8MqBTi(G+JSF8w>D$$}>D)&$=w7Gj>kDQYqbcvo-paYf=;cZs`#? zg>NDw;!st9W5L#;>DB=|JI1#AvA5%I(iS#fFZoSsCu!T-Gupgap#;%2J3u`JtO!4Q zKE|jV>Q+J*fKNEg6@k;n+UDA0Bm*VclFtR@)oB3kzf2D+xOURa1c0D1at`;_>5h- zkzHU{x7+q|aNKT%7K(fx1czaMC$SII6=xr8`7sc@(dOrAB?jsojvfW?-D7V^=;Ms4 zZ3UVD-i`SQVu4NIfsk8#7Muq*x*Q6jt@lcRoX&>plN!qF*r@g0;LkyYa>WMT0n9Bft?U^#x7qz!i{N2jn!k^lODmg?{i*AxHHeg^c2CT$?=Pha> zUmx|~aft7%$0#r+x#<|VxD*{k#D5E%2tTa-=^f7~3f$VXOIhG(=)(%mm77lLwPEru zmsZmYBi|uU!p`8{=;{Ads8aa*I=Bv;h-v&lUjQeZwF|vdEcOBGgo$<1z?lxY4$g4M zYr#8gxkd?n7)^9c$Oe~U!cO5pzrKv(QtgB;1t)^7KtBa9D@Opr!JFXq=WOoK4;yyg z<_X{f7ZloI*vIvK2?HrU`x1JwKMa6VghAI6xRl^vOA+Bv@D;Fi0@r|@4l4s5Wc~l} z(@#3&E~KrN_ml7p`O$u+RDpfqXtCV% z5$L#%inzjsX=5TDtRXk%vo<0Kyf)5M%$YeZVr`ZX}1+RASX|O-o>MS98%Z~CEId%Ie z_~V#Y0j|1+FEe3R9gXMEb%j=lqw)bb+Hp5lfeWGEOvKY=3@X==pcnO)U1YTQqi8Yy zx9m@bJ4lqT+Wz7jgLO0iW%EXFKwtSnFys5@rxFgjaT43;wSDD7e%kII@oCmnrC8x+ z4$LoXq}F$^!a@8*TKnv#xu}oC#*m9n_!G)*8RTZia?}4J-J1hcN)-0`jmO)gp-O3j z7feQnm}$+IdeB}Bgk!)uky+26rX6pD{ovvm9%>`1wSNcdbm>jn97iJj8()8&({_{eGK@vo}&g|HkP zlcUxb0-KJ)Sfd(O3h!NG!Bz8ZN8iwkGUcgKa2dw$Vf>hIFiY>aKu-5#rTV6&@;d+2 zRx_|cpQ=P6V{2yPi{e|g{@L1M4&;YbsuDZX_yzP{M`4Tv&wSZKZec$cTw1Eue-Lcc zUs)wjb!+orhb{6D!Zl9NZZLuIufa87*}?t($jIfGzZ6`Kb*x@o488}p?8#}2{2cm2 zzzuBH=oJk7=1@2e4zMSX@4px|bZ}Y*PA29fFNT93g6}x^2DsK?ulrn7zC-^-aE?zE zEk(byRu1t~%aEPQJE(K9>%FmPVy#NmBD;+k$t^ zXY~DYJNjS2JHZ~|Y)mGjo-6F^E&%reTfyuD$2jD7!F_D`Kzze7>hGAa99)3~taES# zTn+9b77Ta^PX)}k_gO4*vr@9o$M7N}9#!EwJ^*cvs)FO@5LwRsZL9S!;lw2qt|X?~+-b9`K>O zi?P0X(JuMAn~nD7@5Y<;ulle(@_nX#fCjrhTQx4+5ET3O;ILY=Dmbq?NA%hmbEATB zi1NV6IM&5*gUhSHTjR|8f%D|^;IC7bM^cq&gZ~o1#n2%Ya4=F*ukmbJkD6(aNvCm^yht7 za6nVM)YqxTFUH*9Z1C#8*{7mwDB8$}3LOxqW;u90+XZ-(3YWz>YoP-S!U zS8SPPRdwfZ^v@!Dfp5SGHLCIH#2x6_28>g(Q8>6BT<+kTU}xVL-xhuE&-VO1;6Maq z={IkO2kd@TGk)*l3yj1-;(Pd|Pb}~mxEfV&73CfUd-{d~DH;goe*!jsfDn8VT#ceb zLX1-rq9S8wJ$yRmyQu}Z#vz{ozVV%A7tyyE*oi$%5>*<479aJc-FW7LZ(z?3ixj>G zF8x|HeBc3G1N(zdU_m2e?a@0>GZDgGIyk10`9R?ETOE)g&5@!Bk3N{9A~0<>-~3$R zI=HO4r@ltE4!`eA~D2jMb~u(xz5IO$jX z&?L5CG+x^Ys0sLI)X2(24ZkEg26RlwaB$>s{67A(Ld(Pg?>_b577aqNWOP=#V4Fh389y%;M{Co^v0UeM5!Je^DXphDsitaqv zd932bJ?PLjaKv5wiY)ZM1@Dkm!f7^&GH^VOc>r3u2uOPw1BdV15$*w}G_pHa9XONl z9uNkyC%_=XXMr%#Xd*Hwsgx^tHMkCJb<)O@kWn}gW68nAE)=a9kVc0w5bmeer??87 z&`c#oC?rjWLr7^LnBRuA;L?WX7Zy+97gO-X6^HvCo60%mS-g`vgQ39rbI!2WU)X!( zIehnkryGp@ABO=~bG5#z-v&JN4+H}3!a7;yIT$uk(m<)YJx1@3~wT6k!y zxQ?^%6m@M-X)%6n;0w5Cp-*f_#vU>G&)~w3?M74qRtjy7osBOKlg<18O?*8hm)WgV zLivZDRqOBj;<-5Ii|`h9n~kKwJp7F0g9Bp0G2qy1aKO)W;5;}3t=!u4`STe?-b0a! z3@5#Whid~5I$;Y_;VK4_(3^LP2rufx{vm%-9@4uruTW*HHZCZqffq9{rF- yJ9^LMx%?g?jP$n4clrNrNU0lK;rfJpSLOz9$}-8NpBms^$k-41usHWyOaBd6K$~#@ diff --git a/artifacts/test_program_methods/extra_output.bin b/artifacts/test_program_methods/extra_output.bin index 915a50eb4373cb795e8b1798d2ddf2b282580890..46a13eb13aa9932e26ef0aeb7f9b8f0e922266a7 100644 GIT binary patch delta 452 zcmbR6Qf$IYv4$4L7N!>FEi8W1ge)zMj7%*p%#01p%q)y8jm-?ECro3}$0ojT8p~-c z;@j({vt%&}V;W>W-S7pA@N~YJED2b&O>daVVt`E?XuXECsexWjPFb!VK2sH@Tg+k+ z$700x#91uwnXpKJyrv;(gv)4FEi8W1gv?DXEG&#IER75;&5cYgEDepOCro3}$0ojT8p~-c z;@j({vt%&}V;W>W-S7pA@N~YJED2b&O>daVVt`E?XuXECsexWjPFb!VK2sH@Tg+k+ z$700x#91uwnXpKJyrv;(gv)4FEi7WwM9d6LObty9j1A4r&5bS149$&A8K!SM%B(J>my=VL zt7nKs!Sw8DET@IBNNo3<&XUE5-OPpinboGhox#G1P2+S&Sytg`vse_S+stH;c+s^f^D-{B$=_h?&A?=b!pt%8K#4rFKvQb#dM(i46vIG(kg3W mj$1Fp^y#tlSU7Q;Fns|~8mr&?dst-JZ_H!aeq$bMk0=0;hJ9fG delta 483 zcmaFzLhQ*4v4$4L7N!>FEi7WwL<|j$%uS4p49qPI4J{4L%uEao7^ZJL%B(J>my=VL zt7nKs!Sw8DET@IBNNo3<&XUE5-OPpinboGhox#G1P2+S&Sytg`vse_S+stH;c+s^f^D-{B$=_h?&A?=b!pt%8K#4rFKvQb#dM(i46vIG(kg3W mj$1Fp^y#tlSU7Q;Fns|~8mr&?dst-JZ_H!aeq$bMk0=0=g?v*0 diff --git a/artifacts/test_program_methods/missing_output.bin b/artifacts/test_program_methods/missing_output.bin index 00c1689296f132f8d4a715041684b22ac429c6ca..ba5d6a447ba91a4050490522f3a5e5226e0e6db4 100644 GIT binary patch delta 8586 zcmai(e_T~nw!qgp=OSdNfaQ=s>YSVTD^pNZC`&0cR4O#boTLPQOja0D*t1WLSA1sW zSmI<|axCd(la){LSI6l&Pg0twvBaWMqZFf(qQo*YqkP|U?>?O4=acjPg702?uf6u# zYp=D>zO7ANnwz?mb=R_1^te=8R+{-xrnW6p-&+;BRY6G*5lz=6>!3*daF2I> zEV6w>P&zBQR!@I8S@Csn-XK#B!@90X1zhJFe*|vyu|>yP=Iaz4KS8F^aEONUqYd&r z-0F3ZMz{n8w<&qA29bYZK&;|f@Oy9v#V^|puj^~H@!vFx1V)(Bs6`FC0q# zQIQ!}n^K|VE8!QBw^w@RHi>NV@ucv+-FlI=;)ux6k*1h*bJlwRj>|M9O{tk_7gXyz z^@7IFMNTpNa;2`<7tT1(ue0DsGCke|55LxwdZj1aERvjMN*^^(yKh8B!T}{;7%qKN z-T_GHo<*jl9ycTw&sRiEZ<3TNW#$wxHQ(IH25uznFS>99`mQh3j3?_BMHxB9r_uN;GXQ|74tdGN|n zL5YJM#|#in)=p#R^r+*$hAXdkJ${?QWT!26y9{cCX%b$a&k|SErxRL(gDO{cKZ`Rb)IJqsi*Irlcr)&%lMSGo7=s)7xoM z0-K8Wz{!Q2BgMbK+wb<|{bMy*=^OtP?9(5TRvP>hH zPrxVcF=f9p=nXingveA2G}>#jevT=*5qU_H3>tEZy|Ypb?Ql9Q?c#&_2tBm-2gFMV6_qo_o)oDrC3XYRt#P(z`vayFDtW4*$ztTD zMCGgDEFZ^^lWG@wo*fFWgx#&439t3~hoqK<8D4{AII-eWa2LGHr{ETrwR)VltcyEq z((_NI%u)t^0Ei;Mcsg;cTUSvO2!Bhj6!O6b#m+?DRPJh?6Vc4G@_rqxz;#QrDIF3DihTRHRd#sCY zuQ;T4(n14{lb#T?QxngD55lY~vck=97Uhc&iSP-y8M$MKjTZWt{IX+%SII8x zOB#YNPz#y_Crt8Uw;b-j#Y^1Z!>yI3%v1gx(2sfO-%oAC9C#V*+OZj4?eR4Efd=s! zWZ2~xzS-N5#qcSg{7v}pEF?=!a2^XEjojsN@On6s=LogO!*M}d;mXW zy=F?8+Q7Tv9oxJc&$IBJSH1O*9ms~lGt`lL4W4z2x1N`5t(|eKeQ5JF_+ghR%aq@) zx|TS4$CPHp55kqVdgJ~9_n*=h(Q*cEM(&=F%MdO3ya9w$7BJ%3eKg5@JG&{x4_%#*C< zsfSa1^4>!u~0Wpr4t40vUzCfRwOL%)S{VRxaa!#HXCS%5Nd zI-GmJ<0s)62R(ihp7*gSYa{w8;FHpc^m?z3eGccs`AT6)1~(=QyhyFkhL6LO6rYCu z2A5rVHut{jZ2n(A2Xyj~eLUIdWMn?d&ewlxN{gEKl~IJ+Cxoo>#DeQJxd8cm#arMq zI7ji3aAtR7W8#`j>h^7(gNkjfhcVR%eK?X6LAx877tt?!yc-d^gH?GSVE+P%? zO-GYFcr~1&rmKTT`XcI#!zwuY3sV+G`wx;W`oKh!W$wUX~dPo8ffasz(yaVDGqyP0K? z-4Ha^7zLeg#2#P2iSW9w_%>5|SHO$EHf6CoDqU~li1~_R9=wC`7pnC<184gj^ts*8 z%OJ%M8$mU0@je>v#t*CEK5Cxb*q8F1$8q6(gN;Lp#q8fg!xH{PD&AxE>uJW$*wAH1 z_$26LNxB-|N(M`dwc0XRPX^5QnbE*L2ihZ7nebNJ`v~%AT*SyI+&ekOl5C~#l?hxX z+F4Sl_{&M0muYT)eUS9Ig$^{hC$b6lUlJ~#%>EPvr3VU}z$mm+uQoz)i34t9pOP(! z4@4K#WWPSjSRSL5+vCR>hq@*HH{%L3EU8icZm=`&Fb3+{NW1t>V{ag{d@2FG#A=I! z@8On*t+qHQ&S&0-tVl(1t_aoeiF-Ud+u5b}7*qAc>;g^N6$Pb6+1F$rpJNooYFT!{ zJY#uW!P05$&p#{?<*?H;`J~uqwS7`N{72+fmNcu4S#T%&=ZlM-aM9eL#3=o87x7qY zwS5u9+2c!%sWG7==sEBHps?JCpDw$Dlnef$a>@9Y09+{ip`Do&Zjx_t8c z;7-2rufiQY4#`h6oI!zWz*QKY=yj0XyERGjaeX1RlK%K5V&KKIH8GI8oDXZTtM9+y z1mF12;p}=#WfXhE!$wl9m5q1S{z#asU4Ib{{9wrm<=w@0!{f$YBlHBuZ2#4g7PTw2 zaLLc?w&F|XXwtO6n|vC)6%Hz6*TPqaJnw!9Ujw_w_baBZ_~f(UOizBTRML>;>+n6? z%mnT+7fv->#J^=Tpzbn7UE`Gu&iV1ZnBJKOyPu_>2?So>f1!t9LGH7uy^2O;K zpC#}jIEdWg8hGtPeD)}AKbPZJ8kEUu-W+&7T&wtTIA>8%zKHhMrPeNZ+SsXQc9@O_ zy95P&kp%N1ocFM2@ZcGoN4Tp}v;%$~cCQ$TcEM_6gr=>qpL@m#wd0MzT5D`Hv}AkV zi^fJxd)Y31$v76H?Ftuf(JwM^eyyRgGO8|nX;DW}x<%i-2%Oqr+*+6cF-RQf{?$?_9oB|Nn%yhP?&61?R5u^o`{yVl@U#q<_d! zSap&C7YCI~DEGYg<-TFbVrB7<@CCcAwiVT|v{NW(RTIAU6W^6Az;S6JU#q8hmWr>& zLu&jRXZTQO0nSy!neU{-Z$zFFLXn128rT2P6qDocbhttz>pWn}RyAO_&Y>g*@)gg8 z7k^|)vf9(l@ahAWR4Dmv@yKhe$lcA+w-O$H(2{ax(7SNm#}*Hfq3DF?bzs8T(RU|j zKpA{kkDg+O--gTHi54A)lRDxxR#d1aya8Uh9)lD=4$t@TK6r+YyL93*c9NiF{>X|S zpdtUyR^*A;ncx7N^^$iAo=w2?mrdCbi1z;;&PDFV$n3l>g)y` z`v02DhtM`tLh;Ig>n>sf&V8NY7aV>RmnjZ()ui0V(_w#}_$QpQ)a&1?8|B}}OW+f) za*t74yb}&QXNDpdCuhZjczdXeOsUU&%; zylX{laQfd4R}&L^l)@L_bc0i%^c{j*+C?t}PXC#~vpw`CTodxSsPCoRU^%xbO5s#^ zWl~T^D(>8iFAy?ip5i<>om%Y%;ZE2eLzna>2+54;s{cGV;Yjr6>lm~F4wdiq&h-%* z{KuqQANK698L4H?fCpj!9_L-bv8>@^P6cJ_KuvZpWee~?BKMA*6z;aZ)crNwQe{SJ ztD`SBmHdAJdoo8^xG5D2cSXNGoeon5;Sso}lE)4vs!`w`v(gb19MjuV8;<*ycO?vP z#_!^v9A6Cl0GIf<_oxt`qrQgn(L9J#3l^#g6SL2b;w^B_F*CA4XM)GZP^5k1&9R*G z#^^5|j{FmNKh@AF>JASW$Ei6#DAkIGgmSUS!UL+|FYta+aiI#j8^@pR@=Dl$tdb^> zs7~>0tj3Rq^UqKn70-t&Vo2p`L0`cOfA$s_>UA^U6R}?ADuh#72|}gdB%J>XzjY}E z4^qbZ{L0IZ;#2T;xJ2=S-*eBxfHYSQ&liGLEhudg3)C&w!y(C|K@zF|YQPS77A|!X zlT!`vap9GJ-~($o^*s=EX)SE_h8f_`YLJ)I~e@l+U5mo~vwWtPn6altWY?hNw8 z8a&n^%D=*MHhPI@BA;mWK3)fBS9cd>HXY&`Dk+z z$^G!WdJIq#?uJh^VL)uufE$Ylx*pMYYsbLP;KrXUDRW#5@3@z@1j@Oa38&mgo`?;~ zdP6C=**?C**l{2!W9YCULo-q`hGt}>rl$-|A37|Yxhl}R>)-)}h4;@Mkop^PJskMg zZ;Z1KhXZ$MzafYy>^3Cj+#0p=z~J!vPY06EF}hFJ)N>EU+?3xM=P0%9Re_)M-;zca zIq2VN?H%s_Y#{C&gZqSw&MoZSEp6DpSKTcw{r~HbaqbT9E(>(Gi`E26o(vy;RS$$~ Whr|Tz=Cqg+O`BjB42}8gg8u__%$lnJ delta 8601 zcmaKxdwdl|vVd!5&LO-60*FzA&KyzEMNC4#pdds8286?tt$9+B6gg0d1cV$>-6&6%FeaDV6@{K(hUU0q#W zRoy-3@Sz?phkBGJYu7L6d5%_5mib7g_Ex68sU|vghsfc}BGN@fG+meBJ4HGU@_GF( zk<~*Y(oM<34fKbT6lcSEX{PLjbzPH};rhV%L-2tBUqHvr%-7i+KSrj}u!n{YZiBoA zxA-082wZ}K2}+)}Pvj#ENKkw)ycIr0@oIbDI(>;Yy5)dKXox8XG}o}cUy4)?^~ZHP zC^BWRDV0k861)s~d!=XgA(1x%d~0mWdwP*oxnJbqP*Y60IqN+Lx6L#qU8yOt3u^VX zdck*}i!?L*4@zDCFPw3{U+;(KWcpkK54ysX2Bqia!y-vpru0_xoceE(p>Rma=f}$a zS6`c1%&M}6nNnxC=6ud7UKwFZAJy#xR#7?1lrD;weZ}@7uTW}7#>(pSYqh8BEp_^F zBYOEaA{%l|>7~T)!q<=XcQ^ZpNctF4YLvQ%;I>)*D&K{d!d^5ThpPje*@#!J^yPns z7y9xs@;(hs*O`*R_B!rufitd%h>1Z?c=rE6q|bO$7AXUtX%^{+f_x?K@RLaXClN`H zb4VuHFMh1g4@cX5CsH@XkA}7M>yl?miPDqsGvjW-Pl`vw#Q}aEE`>WP`Iqp#0QYMV zSp*MK@;}0L6HTddIVxY!P)~;()gk2<5t9zDC|(S281CoQF1R|tJ%1$)@=YmL{ineT zhef0<>^NqyXtHz?JEyyj`w3oomFMZ}ba_(Kq)WCxU=zHZ4xWPJczZ4i+bM;&bkJlR z^0A65;TqUW{Qa@AdLn0sy`^41u1Bk|r{OMBl2l~864s>RUQ<$(y`9=~R;TiJax8tv8;-#{bgO$ zO_N@KG-awX@Bl0Ud1`k}YDY%o0&(4N4_pnqZi(vh77dN94Z8dQFAea(Q#A=;;7}Ae z!D_=@aw3ulJAVBMp3j6%HHar)4-7!=`Mne#fxerRd_8GJNox; zDQAx}ky^>kl&S5U3Z@$PJe(9Lf7z$8a{7C&eHjjx$1mY@4Dn8#-lSu%fMIvQwLa^T zXfN2Kch;hVk5Zlxv{4gB;hiw+imz}ToW=1)h{V~z@WaR*LmUq@VCd?3e(+w?EK&g{ zBX>MF@JEqCI7RWO;~aO_w2qI+0vZ<4;JI)`vL?SW!5}rkw|3?}y-3sY>^Ju7$HRKN zv+Oqy>YduAeq)k{&*BnHb!M7uk+;wIX|obuI?7j^7CYL={oq@B!BPEeJ!&z0+#*x5 zRNY((C&Q*PwE7%P_A=b_=rMS6KwU;JO^UDe)jtRyj`<5+4-Z10=ZMSCC6=EvCEwlg zuJTtJf?K%P&TP`xc1-<}BRq72UvDqChlad%R+=(X`ExLwO#chjMnvIxuxH0QxWea268Zxp z{RSBhm%Qn3$kT9hK)wxrn}uYl36fa&aO57}3|GPNI!CCz5PQQginI@HD`d>qMt8#x zS?`!qt~T&Nc+Fe>jpsFZ!zzFMH(ktz!c$breF#sz(O=JMTWez+X&+s8Ieu7g$~@(_ zkyj8$ADePm@mzT2&HlIzaG&w55iOmrBoL5$8IlW^Z#1P|jW35Q1LL>Cv*2@FH*}Tm zSsb`Dc#a<%D@!zvjMfHg(so-Uo=KV>maE`dn<*h`{UvZNc6j@<3QmX5boELzoWXcD ziOdblD0^L3V?`)>e?R=T6+bCGweaS8Qw}P76Vo{rJ~1U*#lP;D4&ebPq(hZ5;2k(S&v)oAa4zgEbm%2y+IAM844eVy z?(lgjJY}cP+u)hIOj#P&&jEgG29e(2pJPpME}X9v{&^rbCJa1Xt?&c*C_GkiyGu_r zc*+0c0hgU9|2W7YO4sf7(Ilg@k-3PSZ`f^0qnh}gVT9Uegsk$!lUHfd9r-N9>)~=Z zNAb~EX0ov&@%2p3?FqhvN^PyDG0}*AK9r20-HXiL^vfRYMT9QXV7bK~ckT!-BKy3X zjwaLK3OGeg_b+&8Afj#?NhG1a6LRNlSPo}@VM?jnKTXzOO$7*?a^W0J>KV{S4akNA z1LO%i(IVpu+7HJM2RZj$Me+qa?@KN+%1@d2p^k}am3$+5@&XI#d<}jIa4y^h_A1K) zdtby@ViZJ1VNamnWcZb@c$+D`mGJDZO_{Ay<$`NTvB2Rt4PL|eQ`LH^;Ou~dn(Te& z8I<_pLpY5a{YS%t_@x5wt>)Q^eJS7id|GTvKVwf~Df?GySi*nt6R*Nvmu{?0h^Fu7 zNzmDn3^lw1>eCaf)(X~-0kZ;TG_ud3_Q+Kwyn`^CgWQdauw0LO$AvA)R{GuVZkRDYtSz%gUv2C;GjR>$3I|$Jr~KV$XWnjHtZUcW)9)}gg))~-B%mL)TH`>^ z=X&>;)fxw-aNQ$T{6ulC2>*ne?)L3G)h@f+n5ZY-SfELpqKMQf`PT><&S zaOc4I_u)=HN2M)>9!G&^z(_dJ?;sPWY0@>oUl(##(jULX4ZP?sO$_877r`3r>3ak2 z5*XhEXE#`?qS&uLW^_%kZp1rFe;~}&uCIba-&@k8y!*7h?KP_PWn6p zKMY5ZJNzlU^bwvtici0nbS#U=I5qEhcow`_@e6Ry!x8zy?XSxoyI`@gR?keHj0bx} z1by)WvkK08%s2RoDdZ!3hEntq{1WV4F-*Il!Wg1ymG+A-7|}L-Be0elD-7*?d&@Fo zg{Hl2mn}DrgtaZP=_|OhUT7z-G>&M|S9gfyK5WI$+pYxrKDfTgjS7e7>=ar2iMvsW zB++uXIyTsRb6Q3d~FyMOnM;(Qm zjxpe@h;oT0Yx&-n`@SW!mBnpXO857y))jpUH>03MP59xDyenBiFF29cYQk|mQj3Sw z_m(&Hkgs?)Jo{5i zlGL8AgDZAeQmN#H9g){r@w=O&?UkgFb`ncUgRhjJgvhox+57x!;|f0ZZV$ zx|_ug?|{ocb`Kqgtxh}>SW%&xFb`f>g+Yp6fM*4GFFYl{=XT~Yc8s89{`iXL(2)Ox z75_x+OmGm+TJC4TYh5t?Ra4f4-2QqZnSk7jky&tX0X6W3dx;6e>I7R z&|9WNJ1PUloX!N~eZAsphabmfio2bm$)W(yfP;176F6nA-@pHv9RC4+25wr#Jw|Qu zMmY4M8I50@oE2yC?O|o58OT|`>e@t9LV*&#)f_vW$%cp#B`$9Oncx_^QjYs~oB>gb!8O8xK7 zo)jw!Yf`arz5DufI^3CtN8nyc-h=1y1{8Q{Rz8Hwvgz;X2XNbO_^yNj&iF0-krRl4 z5SQ(e01p@zvw;+zGgYC<#n#3)`5=NvKPD|9BP7{MVO7=Q6d^8A4Ni-#jW z3~%Q&bPjcg2VYIrbcjf;;;d*c7Fl>eHM|IKrxX{epqnuIM3=9HgK1@rp-?sR*;tLg z0nR_p>8SV#xH3#BR}1a4v%GZ#vEjpM?8hK)NR%OArb{s}^)6yj{0E4@YGh4U)+DuLgVsPsOE9VRBBx znY?Gp+qe%ZXMzzo@xU6y`5tmzx(7DThZ*3=vu=jbH%RH52j{_46xYKw@VGd$|Hg|jCRa^R4CjUTmZx04 zxPX}+_ZM*KB*rU_pZ_~(XyNdwRTIpbOq5c1Dh=1A&2UY*CA0Xr;21P}3Uy)$9y`V5 zQ*PyR>k)cJ1&Mln!&dOj&rXP-gysoA|WDGhEg!e zKDx$Ov!nZffdl&w?4No`T1v_#Y3UiMsr^$Vmid8k{uzA>3-7zDZ|X@pJR1vr)a@kg z_Ghuso!ZG&rq&qe#Yz{4+MR4*tlz4l&f?X}lh zd!Lup3%gV=>{6Me&3ydgp4!IwIS=M&8*=m+AB0vkh?EWuN}Pyjx-J!sA`5-|Lz77A z@St>3@vQ-~q_nD?Pi9iVXJg>s7Np(q~wwzaT!tO);6~?049gA~kS^QnS<6KGwJB zCD(o}GLPkbmAZ%FnXnt@58=2G9>?O|zH3csPc1#+j0=#O+Urw7|`ZpN4ncWXe{ht`4re-rHsS??w9Md%MbqvwXZ1p2vJQ3cKJW zPd-KxPNHyvDVZFv6W$TEZBfRmmJei5lFHlhWPX364?njI(5ukLSS| zaF&vP0GCcNr8dGL87P{}WJ120a38!GUaj~`xNxLbS1Fn%Sw5Z)$4xb5rkcMIPP!o| z(XbPk35F)w(>OUjvZ2l-O6Djx(uKOb%0M*(?t*XNVjp*Jqe%h^+bM{`WlBL<9@3K!Z;~sgo-{1y92PpMnK!Yx#}dwnlV@ zA24N_a!|SuQlI<=c-xquT$%^tb1Kt#{Ny zkDL^#N62x=geSe+eU`qQ2q!V$sn&juv;mNm9@eNdVhsAj;8;D?uJ@*4)6hU!GPgPrz`K10*W?U#<~XQQ-U_Dd)9 zj?roDliA_(L8Z)C7fi`jZF4L9 z6l^NLclD+VvfK@5LLcV))D^-rZ}QYX1DCQsRjqG=*TZfc{z&mBzGO;qzC5`1){ zcOq-xpM3HY@Fq5rs|;ie&}2Arm+ypY;c%N{qnoN;iZy0vU)b>-jAh#B0mNbRR#Pg~ z2|fd7Z1!F}+u_`|y#3#iuE}_~RF&Kp@U)5Ee(LSx9gSn{LybAaVY?|yRNSUsLmcW& zIjVRiympee?l9bMa%)D*Wy9Gva<@Xt;OI|GsaNZ3;T691-@z4d&qx>&B=uS{g8?`2 zv#VxxH;#?II2%1p!ElCYdX!9tPwu6KsQp*M1^D5f&mK4f?jF%AiR>$r^&Ap;6D8B_ zbxFpWK8-?AC7QyS8&#f5l1WVz%{T^?H z8=5^n0k<45r6#;V?(g~kMeQH-uCcf*6u`ww;fwG-9PFlcco04gyA{}L$hi)``G0uK zRp-jT_H%&V^?-dKXmm7k)^qZOUzpOO4DTi8DTheeu&0{5dL1PQS14|RqnYo%En}G;-2fLl+HG6kI<3*$7 zs?qr4n-_x3<9wSby_?}P@IqB8*NkDqzRPiu!>qqh?WYdT^93l*-koY}iAkF@luPhO z@1x-v;*tobC_CTb-|C+{9$59x5MzJ*@?kX4c9u}s;Y8nPue-|F(l)g03%*%8Tau}k z_d$Jatkv4VMzOBK=SB=2t0E4$>VyxHW{Z(W@*+xR67F3WSdypo?Hx;}kFlgoal#+z zh|}Hqdb-@mKr#bvMJC=%3-mn_#=&*B1?6HCI9FDcZCz`GqT?q}Vf8&Mi3vnDlxVLT zWh{%*-nDba8vDD)?_=Get1YQh@s6?6W*Gx??RL9ljC{9{&Y9`u+@OJ8cW z=D~6}dx;gkQJgozG5F-2o}X#DL zFopBkW{IeP^}3Dx+Gn-CdtZkW-?!wbI+$0>G}-9OizD!i`+^ds^!NQUb^C9t^@Cub zo%5(MF)9>0U6XeA2Zim1<5U1g!>A4Olkf#T-V4Y0=6AcDcwxtF#W%xkeDW9Ij=uE= z;0_*#BpFA~qQG@vDje@kkbD2ax1x{R&ZHoiPh7$dj(`p1E zb#pZN`XSHwWAJ)7sGQvi4_V|zH({`zR|ad~e$02}xpv9(#*C;?=4|Jy$Q!rrVqSbuOts+|aQc#9_=D3apLOs8IEdWg z@8O!q`07!7MLFg8a8Sl8yLZ7A@Gixh;QU8|@?~VcA*ajjF)tf$>p7WI*+EiJ*jTv3 z?177xd7j<+Cmz}GMM~3G@XN6K#>lcquQaaKw9WS8tBg<^{nXud!rzR)8QL)Wopr_< zO9BQ+t?-STK)QEn&;;JqICElaKB{~oSHwbnP1DEHNz1>9+GDnIK0ym zlTPF;Xoid4kNoW8@HGcmx!nriR1V(*kKZ17-aDLi5Cd;Ua@OI=aQ;V@tR;{RzY51a zWy(*eaoC2p1tT|Kg75}8%)pXt4C;{yy+7x>5|5MBf?MIZmdNYYQ8134zmWOSO1=TE z_C+Y+D}HYMG}8K<`4i!V?^xm2vcpT^xizK~Iu3>yNI1+dfX{gfujF^gS`-#wzzO;7 zaQRA8)+&Qf@FCd34)PRlfzMztMe%Gt43jtGu;Tr2KR$?DhkFrq9lLXJl(8A!x| zLbV|27Z&siwniX^FUz_QEm^2SdLz7qBXL8Te1;!dS8g&b z5l(EjWQCG1?uh(jEBtzM^lgFHBd=Bt{0!&Q{N_q1VlX2PgL5K3JUI*AgvYmw)Um^- z;OP3uwd3%RcwY29gW-GG;c__U?>M9!*aV+^-QzQGgO76(_=f$Jq{V)C$2AP>d)x~D zNbD#KbfWaucvY|+E?;ZPW>qCU61mrryE#z}`!~=4=T?vdDnbwN^Nl~p{@GoVuH;B4 zMmg}8Bn?2X;A36;vzvfQz|5Dm`8b`}@Rkc(qSHx`!s&Y{*@|4la9(my9~% zBXGqkGZcP0IRD928H7&yZvUBwQu0!Ie!xXFBtv zf35)9@-=B`h4_!e-w)3^2jp!k8F(tz>r_?nYMuLEDX?xrp}~iMQm_(U z5#Tmc+;hD16m(i?#NexN4V>Z1Cy<0~NLsa_iEu%?RtG||h=KAhmY8b6SMW4K>NF}si`=KM2n z<;)pyug?W=Do0YR794^%B6mAk`b2in&5~v%p8{7h-!01qIQ1eTsN}K5I0Y|O+ziKD z%!Zr@JNJKK2_Ex92sk zLcXE&+*Uqrir31+_x~vd<~~8EQwFN1lBG1B6{=S!^483(vZSIzB*ZJ=^{)`I*a%-b zjaSqLuMvgd!vFF3U+`8RUonIC0IitL8oB?UXCSZ9YQ67op2d#t=kXgAX(TVfEeCNx z8T<||Yr%oG5eM#`P1124yJy~E4rM7psZ>e))g79cwB}3|p@;6IPY|(MLn*l5KK@VR zR6|1M;KAuvreB#caL}NEgHi{k4IWfAdS#$bm01&L`+LGa)C4~GopHO%D}mdz-w}kh zU35k2(&U7VJ7-o=iq7p0}2SMDgczg`s>WSmcXxAQMX zc}mywst!k~;lBgX=h2)}bxG~-htSd6E%X0VoYHOZdBxe!29oSgYXet4ZO09bs?fCi M?8k;hJ$L{A0^aL(L;wH) delta 8614 zcmai(dw3O9lEACGZy-Q`1fqZm(tQ(30g zx=|jBTtpGjAneEpj9}x)2z--W!$VOfDk6`7Froy38GN8%_Sd&hr|+3J$3aWeFMBTI`u<+veo<_#OG#HOr|;e9S&E)SxU_TTl+}g ztQU{`Mr0<-uTkn2!Bb!_&U@j+K|ZJA-kyP`>{EL5QzGjJnbK9+nF{ZNLrQ);YJH+_ z&fUqfx?4=CFcG{l0TW>HT zi%*M88fi+p5_kBg$SJr^aTWaW9j0ti>OP0(-sk;((K$^L`eoDKce|a_ICgBJZKFNXhRxFH*EWELkxQ z$@_Nh=la38$b=tA+xz@%NcmM{b+IYandjIU51$)PoD}~FPAKvDM>rKuQ1Sr{WK)3W zz*%sPl79i0OfY4&%Ms}>noMCrftpYWZ-Q4T{vIy8&9AFInkG2`ehf~WXv!2d{{uL6 za9HADCoq!?P5MpZHA#Qel%X+sM3ZR@R5MVg7Q6}PJ>v6zxZ*KN zS}8~&qSG4{Xfh10D)Z;(w?!WgZ&dnTgx3!9j#QVDWKAZ(gOF>{8@|%VC)Hl2$&+ z&-h328N4aLH#H?SVDIRrzzMK-R7>Gh^qcNRBGR1P*cVVR&B>L3f+{!^P%w{ey>h$1 ztx=c5|7Mc(uEVX{5z>Hs3|u`tEWdFgLvg$cuZNxL*7S%jbqt(p9MC09)>Z|$1TM#c zey+!I7)~q{SoOhz+%=%foA4m?jaKp#a1Z7eIUK^HjHq=?KN!(| z;P#k<9kr2n;G#gg`w?Ci;AvN|aprrG{R9rS$2KXNWZ{Q*>)Z~f2mD$9SNp6>jy>xe zy|os3>5ND%f+ou0FX6o~+lp|vVY{6@E?Be{wIAo8BS%s zQ>`za6FD;9?*@NlEN4XH`mmf}U=age1ow8*-fwL>FjU`5y4Z(&@30IBu_1+ad^fS+cj`ply^iF!DAdOD)swsJ@ zZSH~>z^3y1U>CX|%e{bFS1~`JZah5Y4qyEWxP;Wz5lr-Iz%; z+G5IFb%HD4tWExlXAhkBSAYK%#BCH@qDt-zJZY@IpRerGt&Nk-BlWq&VVfzHDsB(| zjyTksQm=Reymp+w?nk)W_{NNuzBjXNvTR-$12*)x^)8phJ_{?Xt5VilM@KF5l&gT%E1*f=rC5?S$vz|jD zZ{p-JdtIurCKP$?I_7;roRprEaQ>I398>=0^x;z2XG*@xi)Z1o{eGs`!gI0HUfH=k zTa#4*c`;lTkiQP^@#PWuj)9`Ugp9tkCXGbXT+>xXj40e%8bguTwP z$^N99vD7FYJPdyV^Im|>(|nsLy*uD@aD^(B!r^QRQ{?jPNHgK;qF%>gvfW|mOcu|)sCUU#FhxoPCp zqkOYmZb`OUejVypx3n5N*xjrv54e#+$0|=mt~%iY(rh+zH!tEOLbyL}VM)HycXR}u zKEaYw#n$iXi1&H(^`0`0fpiAEicGtc78rOWOn__d4NFH9I9Jviwl&a*#3xOn!fLOy zBq8K(D9v6s#F!JO?Y47A7zb05zGmH#n=GkO@lLTbry4zU?Qy$!nz1XCyL%ih{&}l0 z54w-1rN3Y`=E0kAze+21qd0GbU*R*4_i^SZb7iY4)MVjmb^5 z8TPQJj5+be)e|_MYD+`~EbCtKYme3V?%fI}e_%Tre=S$$6fP5vK>&yGgw+!S3 zCUk!o2Qc83!4&u$++7)b8}7z@Pky^yyu_Fs7a91F^Ht=JXFSThq_CK3!!zKXmEqV2 zr&B&#;HTg)a)U?R(seR#!Z^G!=AU&h&0hdkK1kD zGTt(@;r7;b#u`oAXit6HI2osPj~2hnqjiL>{l#d|B8Ta)HM6bQjoXHF@35aA6FKq> z>^Qs`erdmZR7sRk9b7?SZ&C8}10sw1yBCBre?DAmhGQ3{!~X?$n?u2=`FGdxYuREm z77^qTd5wW%yDTy3M9zX^@R$$WpM4x2e2A6Xtk_NE@Kf-pZSM2l;k?5bc+bsQhwq0A zKD1;lfpmBsoVdW0pHSoQX1F@+-h6F@H^?alD*ItjcPCu?72lP3oURs3gcDD>uUkjK z1bTi2^W&Ag8eSBLko7e`w|?QaK4<=eaK%S$r6#Z^B{4-@)DZAo3i}A`~?% zTzwJ8qYVrs<3OQWaLvyw=p1g0Knh=$H9IV+P$3-$S8^m?NPC^*hgR0}Cl=z)=lOAi z4LA`@;`?j&j;tO|uCrvBl1E!3|Hz8H-W+`&!RwJPQVzr?Qie3Y=@M}b4q%{sn)}0( zvtTBpNo>}8p!5+A5ttp#Sm2^+$UPtcb#7a20f#YyqIXR#rG@qYu zf;skSiYD#Jkw}7a;K@`B{A|U(l^h2SI!qNTQt}%+a(~SAc?lfs6LKXFr+~Z&?#G6_ z^;_W5zw(k%M|>78Uui~SPbbGc>>6~ZBK z{HIpT2S>gL&LJmus`&@uwd72?($^u4khgT71kU`WoiB`#)`bW~0wEgDKo)hHp%lIZ zCv*r)KgEN&Wh!xSjN*mxT9U|l96AQh!oeIGeKkq=7x!`M$o~w_<|86U%|8Z55QE zNf|iDS6x9M2YT?_o*v-heENS`U|{zkl8Dcpnabd;w_cdVC*bPu&Dahd2R|Tr#st>? zelT_Zt@}R@N8au>KA0`{R(E(3T+k*g)yl!ik=wcUuOb3!U?)73)?2EQZg$~?A^#Q* zmQ}$B8dU?o8>{s*;XQGdP`$C7cn5BuK`vpo4|lCTL$t2Xo?JhWM(0})xsKv_FW zOts(#coHFX8k2MTz0Ma-JPuYW`SdY-V)f^K54i@L-$f~Qhgsl+c(TLj^RnEAYvB^L zz5&i|Z>gl_{0H96nKR&BpYz}hj-*H}_!qnpx!1{Z$FhSCmeeWvba*cFy|O$GXIw!9 zl{~eGz5>ryd=gIR$cCHFTL$y)f-VH{8f&%>psaG_aOmUDAr{M#`o4>S{>M>hpi7aBQSz oW&b}jQnLD9az?b@;!vu+eRb%%7wv}JxFOV diff --git a/artifacts/test_program_methods/nonce_changer.bin b/artifacts/test_program_methods/nonce_changer.bin index 0e9b5a1f77e1d7b0c87325fa9b41b195fb34a9ff..2cde3f62dd95ef26c902353940cd5feaec8eb4fd 100644 GIT binary patch delta 478 zcmdn+Qf$LZv4$4L7N!>FEiC!dge?p#jSMX;4GqnVj7*J9j13G;raR7KQI|5-%gHIr z)x#!#cpA$oY#O&On9h>Ph)o7;q_n94ZZi)~XEB~WaVCp6ZtaGKxV3|vENy6nTLH-Y z?M1U#elX#*Knjm`p!ph-xJ`#xkH>pJ1^T!w){wHmYqG}lxAR!ovFdi1&mz;VJfCH| J@_g1_Q2=cqdT9Uv delta 478 zcmdn+Qf$LZv4$4L7N!>FEiC!dgw0INEe*^q49rc<%uLJ-jLl38r#sGLQI|5-%gHIr z)x#!#cpA$oY#O&On9h>Ph)o7;q_n94ZZi)~XEB~WaVCp6ZtaGKxV3|vENy6nTLH-Y z?M1U#elX#*Knjm`p!ph-xJ`#xkH>pJ1^T!w){wHmYqG}lxAR!ovFdi1&mz;VJfCH| J@_g1_Q2>+Rd!zsW diff --git a/artifacts/test_program_methods/noop.bin b/artifacts/test_program_methods/noop.bin index 0c64397d8b504ee84eeb96ccdaae99ac53ff950f..ebcc2be1085098d5762745fadf22a554fd1ad87d 100644 GIT binary patch delta 469 zcmeBqF4ps0tf7Umg{g&k3yaNEVKZZMV^afj3lj@VQy^(+W@0w|;T#rqX=A;doU&X! zLu?8rPGvcbP3QLfX)IZc*kqo(?Z@V_ LY(F-a^_VCCfD(Qq delta 469 zcmeBqF4ps0tf7Umg{g&k3yaNEVH0y>0}BgtQ&Tewa|<(bOJg&m=?~|ys7o8`<>Zv* z>KS5FFmWo&X>2;T=TBqFV#FpheZn*rTy!X^Xps1bf^HKg#%tIHS~;8$UQ%WjS7K66<(aLe}NlI8DVk!e3R Mmu360xva-T0fJ0^BLDyZ diff --git a/artifacts/test_program_methods/program_owner_changer.bin b/artifacts/test_program_methods/program_owner_changer.bin index a9d39474958fe7b63f6ae5468ccfbe0a584861a0..fce92317bd620dd7c297914f162ee2a1ed659205 100644 GIT binary patch delta 8653 zcmaKx4_Fpe*1*rqyoe?yASEK%%&VVLnSr92QA%2&qA8L22L+W}D^fJu+;SWIRW+(D7-06zhz_6&yD4?Bu4{5Fzhq*+bxd9$6*Tmvp=GQ= zw!lSx2MHY(sfEWX`Hk>p3=psQ5x6_tO7S~R?q+?ZHazJ+BBj@wa!iX2-2W3g^z-#H zj*D!~F=dsKzXZo4KTp|N`l(1#fbWZBy{1pKHXael>t~8dH+Mci!IR-^W#(aL^K1Gh zeSGteMMk22nKCyB&V#);SHi~wyc=GYYsx`o=U*p8X7)EFLydFk7b2_Rkdm*79DYOJ zlslJMtr=j-HY4WF56q(ZKvTM^ZU>l!3^gTDarI{`Z=Na3l-c6Q;Wzc0v?racZTcC* zzWGa$uER{}q{O@67vMU@V^4}K8g5FBGPeMp+~1$&E;uy6pJhtDNJ@Z5z$5AJMPUit z;B$d|Kttipru1fc-S8%z5?PWP783{D^c?h^Nabi#mMDjwIW6)R43sFj`GZJJZCJ9S z9Flt-?Hzr7oZaDTk&IG58*1rSKE{+8%1-)^=#3>#iYLME1$aGN2PY_bBYYyjd5t2c z;T$D@6wW9%r7Fg@{76IgI8*XfhwFb5sesoiUI%x*!QVIaa7uu?|I9YPV7cmF0XGoY z=CB)>0?{NiftAx^forX4l6a#R>6>*~O+z^ip29J>cYsq2O+Le53uW-`mYTeT10xh~ zgiZQ;8~eM+;rGd$FP*Gf{fusJ#-E(KOi5Ll@qcleG|n(3Q~BGmnI_v|cX)SU=fSnG zskk1Vc_;fwu@$dLD(uOJ!3_cZSKxqsTg>KX4=@J~4)6s$ATU6O7H1DI1P%`1z=cyx z*{2-(6kc>UnW-k&}X{mj(`?58PMcv zxN@4`zdL)j3Wr}(_G~zDptqvB3{BGH^}MhQM6N~tu}`0v{A#i$88jujO(cc1iG=s- zL$#|S)AsAd+GEbn{d!;B{`wn{lDXuHDjHM173nma8P_<5-2i z7B%pi0AE5;%7neO8x1$u{#ri_hp=x-)V?hZG;9qR80#hr3Z8*K!zTg;?q^<&gZz12 z*G7{$vrL(+9Q+VB23-;^z{3C!g-da;U(93K z4wnxOOOi6!`a(@k(%&ry(cK4^Aol{l82&qJHA>0%!t?20;&KR&(jp5#)IYLc`HFJ( z5aXzcOr=cq4wSp~@XP>@ZOg>z@9m<0!NKy_2rt49@6@@5?Kmgk*8^~;{3btj>Fk_3 zq_@`Wf>V?y1kIGgi{L)6rg#s$hEtXdiB32b$McbU)#Mb8rdImNJK?lQ;~z~)r@y=1 zhkh@z9nMrd@eIeEuisIgrr|UVUIe$MYcdXY3#uF8_=}v?b@~)do8}}P(a*$b9h{`& zdh6y{hQ&U7jF8}}JJL+JaIwE_UWY?NeZx0KhS%#W_4u&!RlVLpw|kk?xriwPRN;IX zo&}rA(|>o=q#ycTNLzLy*#q{5!0!ckKAexfH`BfFGT4j6&HqC#FEynkw&cn3Pa1-2 z_>J?#*ZQV}tVYi8(n7!BUVAwO4fZ1RbvGP^N2mz(+_=zKso7_!FX`+2lWgE6lp#1p z&F4P2{1!iTtKrJ${leY$Qp(bLQ)a4o7QnOUf2kT~5qtvn+}Hy*`aD6}UB+JU8)OVz zyTMh2DqGgKONwya030Kb&gDUK9Xb@Q?*0RY{QtZ4bLD9YhE^G zfm*-$aQa67#m(>M%Q!rqSP*q=NI@NIBC`n5{`DOdvfpTGx4g{5OG49RlI01jL_c!9q& zayZdAIsC$FG?~0R9L+CHkCP(!;0{WNn*YP_`heZH;YD!!m|bbbyq2KP=xnSwndn%_ z#&aRNvIlY7MVyqK{cvWjDaVz+owGRHNM=IeQrabLs~Bk(xFN@umfH@#t(4vl}r@&67d#z*RUoDAA4Dple?D@zcE1X*{f{XXvHsm#!AD! zawz_c^8+vwZvGjMGi7%pd<>qW_R6(4vBv_ZV+EX!{sn42o8h&A0JRuKX2G#q5hs~$ z3aOuvoN|gg8&4!;jp@r_UGKjs<`cEXlm3(N6TDw=%IB_;tRBWkNsC$CI^7cfiynv@ z94p({6mJha!i(X2OL{Yqdr+E~U)0QMDsXuy91J)aM?ouXfm{{J2gt(X0jF;#_%DSl z$y4@r6mZvwv!qOM%Uj9l@!ll$?vhW#92&f|YBiDy>E8k5CO8B6MHq0?W`VOX$FQ3x z7mQ^U+gg$kiaFkDoD;s@;Eq`BY#3yG)IND9irafzvP~^V+$d-DB%_BT=Rz*Bs-5J z&~`eR4|_XdG+YEQ#lxHUoUM2j-D45Q%!g>{OBLT(Ko5P zgPwtpz+vPrpMXPic^4_}b`LwUA}k}-xaIIc_&vqX!&S4x@^P%cE)CA+CB`N_H)|ph zydW&ti`J62;pzu{$8IfUN5W~!P#tW{^DiMioy~tW`fA!nM_X>#&G?Ei`$^+DL(6fp z{$@Or8vjIH}p2_KU2aZADMyWR~MwIGY8}WEhv1e<1RG zZET^E*hH_wW$f!3CD#w|Z80Zyez^V1;p%qb=t1i8lW@vIY&X?Eje_6xFJ?3z$ZeVX zA)ke|Sz=O(T!pvc0X4DDLM~?>66v=kcG-9NEBN?kD|)cG+~p$%cp;XtE)RvX->_so zaddeRJgg7)$Y_^$!8th8De91|$$51=lQ;nrl|teXJ}aW&o+PfqRQPlt0^5&@WbTSp zHdo&67!i5Jir$u8&Vx_$Zab~?Z-R@Kn^LIkzYh;vr0m-${QS8{!tPj#xgqXxLZoD+ zDeIMi(L4O1v6^$%GA^mOF z;IVH}=nz&RAq~GnVXGx`l*jFv%8V^m(~M5QBbh;?8t~BfygZ3eCpd}sZ2B1@@){9R z`k%s8Ou)U1xZ|bquWD=bTZ0{Kc#4LENv4==f49SMjjA)#loymjiO#0PffB__;bVI& zNmXmQ2X5SF$toqEoq+sJD|)+g?Y#sq+i%Gd<0FuObrZg>`llmpMh2Lt>KyfwgmT60_bmZW9;=!}=s zQ1gft{fO)u{0UyO*53tN$j*|#n^GN$^>3TRbqBeZBMaf+1a`w+?;$5tgl4tjc=nPG z`Eh&RxE^+Y65(gzl7RekIN^P(DTnUpz#}!C%Ac>2;%OT4C`4YC#$Aj;6*n3c!mHr= zcdV!nu7m#zcY?PwU^HUz5^|=KvS*ltyjko*;L0BkpB0wyAzQuJVuoKvL0kL2E1+dRA2V?#r~QefG2;!hbJ6x z^*`p9sz463@403SAA(lXXp;FVIYTeK!3m> z_W9A+-$Y!wHkkKqTI^7Fxd6^?8J4Ze!BO@wJTi%ZYIqUuO(`x@NjH7?*&(lmgWIZC z0fp)`-<6gA9dOOhoR*4L!4gL)R}(t_W?nKs_!G1T(J-r-U%3{*3w|UCm4P<(r#u z8m0`agdh5eZ$paHZ*ebzvA_DbGh7W}(q)y4l!87UaZOh$oY8(Fs)od(v z1%62N-w!ujz=YfgyXXIqad_O;_jozHt-Te!Te~xQ7tUxEmhEcB&5J3;39-*ruKapf zC^W;=0CVALgRg%o=X~A{uMKcFvbF5}Xl0F^|Bum-xyNcc?+d38 z(tEi3@@R7l$>Z?812~`t`~)ui6bIsC4osg)(s3MnYaUsN-RM@Hn;rJ?w9 z8}J8d`FN;p+PS=!;?YC1Gb792!jsIsMr-Ge$3xHS=QbCOME75Jr%U_nU+J)6dFYB? zww<1R<*(?vqeqHXgqr`dfyjzq6z5ik(w*HaLU%8Y^nFo}bMmv}W@_4Ro!5KD{q=$W E0y#308UO$Q delta 8624 zcmai(3s_cF*2mX5=Y5qFfd$6YN!J=?!@2aldC0d-gBvIOvC_h@RFFZ+FO*}=E0B9=tVTdqoJ+Y zKzqUIb_co%t^`kE`QTcjUYMXY^CECxa69IGM&f>Xvy>`dB+4G5(gn$!IObpIkYJDN zTt{>$PNgj@e;3>u@;0nz#rH%(4xZ(WJ}A%CcAO^~nV^!2Zel$@f@gqZSj|hu{)6&9 zIqN2-pMc@LSl!@DVw~;AMc_II9|mtsRH>Tvl++XD4^=6W=Lx$)v<2*9`CH!F!}7kw z7qF`BNh(z+ra3=g6@H^s>doDbVih!2r9kGLm$AJgRocjEQ@piDBM}Q}we<1XUXnPIZ zX!AJw2O83zQYjYOE8HtzBU+c}A(aOVzClztNu_mc(1s?W)liVh@}OHp<&_?a@v)0$ z7}6K=8*V+|XQIe#I~qPizud_x&1XIB{*7@{;3wv1z+XCeE4T*i&+;qadIt||CTar5 zvHbVo$PATAOxCF$4KdHEl*}C-`-P|gT+F-~+oaC4w;DNg*7y@=qPz+9+qf!+c zbPBxYc|;~JFtm+C{<$ip_~g1oW6@B8h8iBQ6x@5R&3nN)^N`W3;5suC% zZ{A5cLt17WKPkt{`i1`?%3Ok2;i8doohV{4g4bp4O(*P6=byhu?uiTI9M+e?>z|OM^_mfL#ub?}eZ3h6Wq9&fA1%hv*nnF z7m|rG73(N>TfzAb9@_~EM}I4eO2E$Ycm=!$c37uQAEe`}4!h=pBa&O}l&O<(?W`Oi z=|iufJVDTk4PF8s1eTbOfVbn6MTGbk`~VD3hTN(q=V54Qp&h(WH4!zxu2MMqi*%2_ zNput(#hi8r$DKXCJ9*L2ga*rld%`7p7Ay*?@NiSOv8_g)BS}+@p!4z_w-jIm)yV;V z(Tytda4lQ{Q^ia(HRSDEcG`Rlc8#?a$9hv6^f%+o9Z*MluHj)0qOo=RThJI5-pRkN&A?6rDMioMR`L??F=_;|BFgR zynhAY@ICg8=R91h<2Ef&BA<_me1&3^_TI%#t? zxayQj+kN_RfX~9wzVNht3f%&if-_m+YXfm(!i1f9g-5}uU@HLw2HkD&AO9D}4Zd6c zwUb>aU9*kUP$fWlViR^g?yO1;JaPFjgxVQ|EPG=02#Mx{7cy6X8^FoTH%553g(VQux_y56b0~F^HuvvSOx2guG!qx8{JPi7qk?+TO(_P|9l7HHbaY1 z_O;droyUuzy+*N^NF0?)>7aGVnDUS$m@uL><1v{LOB;vSm!W$5}d!+rO`;% zS3VAR4Yx))%+2GGPFdC><-YXzGw6T@E39sVop*?Y3D`ZzyF!5oo5jYeI7Rmh9y$fP z*hwRQmudLzDTZg5veGT>G~OSroC^y+fPqJ2HLBq4xIV$yHeKl>OHUieXDG*9i90h8 z@JqFpIPuHG^>3Nh5+_T+kxMk+5hPr55}Y>2wlvJBovmcZ!Bes%nvV7gw(xeAF)mk` z(^{Hn?0->t!!K*|RBTb1M#Me~n2txsajoTIyAj;HPosL?o7FS1g^s|f1RtC4AvaIZ z@xKtT$F!C=Ls#Sd0wu$(-+-Q(3p|7c`&>2Xw>T8QQ0wDG;8_kX2j@8YD>Gmh*ece; zz|$S_<>0xF@&5qNv010~Ff_w4AO)OfccABHNi@&F*K%;0g5ejRf&FGnG|j;az*%5x zK?XS2G5!{~__W3)$7sJy32v=Tfp=Ut5b3<{W#H^ajT+gz>y5;f$}vSRhB2YHHEQ5p zxd^Vjh3#gJ$(3l-%l70ifm;;9bPrZ2>Z}z(W&w-Yjr6_)F$@z$J@4bjj>5(?w(dI%S`n=$Qr& zcJvVR`D#fSxNNCy*vM>TB)AJJIu2Hr*_V(W#{LaTyd>=~q_-8l6}}=Yen;7@NRJrN ze^Pc!(mtcMSh?z!zV#m8g-dOek+)m9D(Rn|Br093`A+0uY)2zF1{)rQX$1e_6w%E} zbEATgM1KY6Ag{|=eg~W$XPzIT|LoI5Wt}~~gH-SqaL96`8~1+@1;6)d)#ne$by{== zpM@$kQc;S;fP>(qa`Us0;K;K?2?xx}zTnH?y8W8(U=!T!947e4j99_L!7+z5Duo{f z7lKm;K_4Po@aNz-7!=_%NXPfE8a$J50tWH`={!CwVt_bF#DGk2lfwg_en%Abm08(@ zyv+r8q6OT^-r@yUI8tXp*_2 z3dZ1JSQX~+oeE-teDDPrV7atcBgTvCIrm=&4)NLxI14V_Wb4bow~A(LK^pq&Lg9() z81RsXU4l;_H!$FkMz6BP{#eTV16s?9&VVOi1N(p zJQdvd9t>gw-T_xT_!9V#gL?(wwssvsi}`&kUWtbC z6`JoOvQYRVczdy(1s@_hGv8II%w_iX!<&1dt)PSc z(onc!k4m~f8!(|WCiq$Ny`_W!p9n^ptYdlSE)q34I3Mh+6Q{vNui5v zaN5VX%J3Ffg0r`%y6^5JCLDpU6M|cT#4ZHB+ZkXT; z&1Zu!@Of|q_$Vgyc?`S`F%!Z18o?>8%nN~#zvQ{wL)G9&-Ql7k-EqZ5-bS&)`QXMN z4<#^1_P`qj2BtITf!863a+oW@&KQd6i6H#YyqyXI{u`WIYhHc@9|Y@7|FrY^1{$1c z5*3L(t5JPtnHW$6cJ6WBBS^~%Joh*#gQ6trz5-hS4+P=fkp*^^YKn$O%2nUlD)c=U zjruabNCc@99zSj4Sx?1OvqQ zZ}CfsBL>>wzFq0yxM4aTtd54A!%<#w78LM=Jx1Og#TDR^A64H9#RS_%;gEKW?>`!O z{+;HA@@D)s zj1?4tm;ZuqL(J`-78gPDuRdahtHFif7)y>POZ6R<(s@Cnz_GGsd03}BG-L*9r1F5{ z;0n0ZA1w0vnj=V-8w(;RRpwj`4W{1dzda;uVsr(*@d8r87;NpL>;TWNV19NNLYLEQk4 z1TW|QpHD$rcf^8(hsF6n3HP7TTd>~ccYkqM|ET+01ofluHLvmb zA6);E@2}LG@wTh={l#H1_np$`rJiB;x5;#4c+7zRTSbrXnArcPhqq*t%kN&R^ClL$ f!i@`?T+hGdP54-L8R;?Zd`bGPaiYI_!^{5xJ}s97 diff --git a/artifacts/test_program_methods/simple_balance_transfer.bin b/artifacts/test_program_methods/simple_balance_transfer.bin index 5d776e452422af10bc30140c2705311d8bfc8d6d..c9788ab5dd49dcbf98563d9969fe220e9c852b02 100644 GIT binary patch delta 8610 zcmaKxeOwmRw#V1ZJP0BxAQB|$%p(~dO_4AmHNi|#@%V-*Y6?n<9ZW1W^lD=#^r%M@ zZ{~w#Mn^p-i`1LiXnK$4rNqLIRGh+BFkgZ~*11YvCo=!V99Ls5K9Dl(Jq;UXm>BPL_ZCT;FqoC@RTI!9*m^EGf*s!AJJ?OVR}N9Ezt8Kd^7d`Hn= zzd{t9rcyMETh7$!1@Fm(pP1hRm%8|8a3wg1<-Kkbop?Nze6`0BIh~Ef6Y?EdZ-hO;FRB#5k#W75MCJ2Uie-Bz`Abv;7SoHoIRt(mtTJ~A zkSH}5dBi*sTsO;+{}o*78vh&ErC+BB&F`Mz0N6c2OrS&&t_jk??g^HG-4px*j(JI? zN;W9Eg+$qTh)iDK6maz%l}4CyU7|uXES~G+N;#O&p_&!QaA4BQ$Y@rO1dc_2OMyi5 zz!~$L{xd_M4+ihy@t=a1{n6f0nU;r2)E7J$a>=**j65~uMjO~X%<0nG*SQLNG{-l; zN}eozZ5*$X`^kE@YeexY5Gq_Vwt}xOLF{_0t;s}W)Gbmehvfx`j6IO6Y{)Heo{O{m zB=Ugmt$Pz(n(u6N3AobfuTyu#MxoO{g(6lkz*cYse9)!f6D(`a2xnP~!Xz5^s!G{x zV0>FlFx-*93f=(jEIfnU_#g1fCb=$?UpOpmYLICVc%h4zgA-t260g|*0f}m0KnN=w z0-g>Q)xbO}u_JTJ+9&FhqQ>Jm_yxdySSE0-nL(q&3 zJ_i06j8HWf7y?5#VEY7&d9w^Eao%IC78PB&+E(hu%NpQqrl~%Ij-g*k_`dXzr<`dv$ zlbwN415gArnj)GeflDB_Go(oHH!4-|_-b&TYrOYqiPFFwEkA@(78(lCV0-@WzS?l* z%E*yVBH&MW%?OiZKk|WhRG@^g14_U#u)|KIX8lkS!0jx(lmZSuX=k<{Z8SPZDBC^y zVO(JAzk{P#PgqZ^=eSBWY;PvG4xGY)u?-x5(uwpN;B3qj!SnQf9D(AJF9nZq$xFd& z9l1_zdZFgJI*b9AphGbm5SW0}%5)q$3>*Wt7g_+$J%t6Zfrr5PryXtp7oKsrQ=&x0 zRVr;Z_2c~BjfN4`&M7qD2`B((u)=S_J78cWuQ0r~L`T4O3Z{eI24DFc0Tx=O7%Q(;2??4pGC~FCr)DzQhrcrA#>ri5@H#l#G zFH_-Ia177m#XMP89iHw>OjN2u%9AD9<*yM&n`djC(fJAGfWMx94o{Xg8YS@X3FwgB zLTjpEuVGx8%Zwycu!L5SE0&(U1922UZpDQkZHBv7HrFVH^#!J3+X6MpVIDXRN5eF` zzZ^$@K|>=N?2JrFM_jrt2`j)wkUs|YF8Md$A6?_y!p@5h>og7x z-@6991+H~E(DocW61&J!a@QZ2SBJfEU9{?W*+Y6FrA@N+}2Y?q=Yg|!`@Ks8v zzxEG!r}7rUoOit$CQZ1ZQ3HGToH2NGL3^F-rF!0#?lW=WxP#qher2{qpS|Wx z{uy{B*vrN$FG|!l-|_B1a5&gr%yMv;OI`+!bmaZ1^-B^(xjKvjmtX=r4c-J-fFI=v zE5RQ0x8-@p@j_*mpPrM8ymqyZnF}wq@{-C6-UJR@?ls?wB7H7^$Ai6)3w~rCyto3d z9_AU~#wA`F$Mb#&PFw1wa^_3m=)ZXBqSarf?#7Xg$^kh!Ckq~Y&`Wc8;%3jGj;?eJ z{!j1#@Pn+V-86~*18iS0a*ZSJDg7j=-e|r_(VO8D!Sb!jc13#GNc>3IF3HVnjGwkC zm;EHocYGHvtqY9#yOleVe)9yr?JU*I12+`W-s2=u0CqeU^9Zg4&pu)8R0y)@1~_Sj zMh98m7X>;k$vPiI{|~_h?Y-tXDfkSy26aKySHTO<;GaU(bO>0dgJ{@%R3jCINOWjc zMHKP5_0dQ0pTPUS(9DBMa1l5Rcf=@GIHejB?6E>t$d`iyzS3w194Yu1IOR#`Lr4p5 zc^2PHR-tg2<8cLf8VzNatlO*TF!UT&hyej+2Z=ra=ej)Le*vG{zPBoy=${5oI-r@i zVZpC~%hsrLoyV^L$No(vRC3dRRu_q)*Ry^d0}}DoF&`6*zyRUm7r^nGRocM{-o(4F zSoNA`f|%eCcn=J)T{`zSqUycY^Fzpg0N1?jEFk78^lx(XZ3UNO3(}xp7Xv!L)Ecjs zT_RCyJS6jvXq3+uKLbuVtTnCZk(>Bzh7~ljfswbcC0KxPX$YRHW1%yt6dvO7(Go5* zSb(@|i223{K4N}K(9MQwGRK)WAEg>({%*&h5_bWK}j7EiQ(4(y+3aHlbAyT&{%tk}PZ0oy|7;ps~=5M93 z;Lfd4UcRO}x0FK#*iwtjZ zdwgq1*rMv@%}GqS1`X#C^&%<-FKLfGU8jPOui%wn^NR!XMsNj!4h}K1<}5fHH!1NK zj4Zkcu5`&eb-;m+tjT~}=-&d~py^&p<)Ao=hNz=Xp-ECP0DD%#E}R1{`9?Es5DNYq zd>t`S#tJ=}L^+6=Xx8^6IJ$*(BM|*dI^OM}PUzUEyIiyk4fV*|SXTH?aA~-gl9*q7 z1WyncIFWfDI0r$L!`wdR?ihLnyaSanf#u(W2VAtSzQUlEIJES#Z=JkOMuR&|7Jy?e zsODiN2Alx9_jq47q-7aia~zZtdPwy4YHR^K5JED22zHn5A#w1?=c;+Q3Vqw-Q2$e~ zC%J54@MEy>3+wqQI(!PQ2S>AfT0AsEK?HMk65=A-+0*c3iTeD4FH5`y8gAFohzZzd z#z-1C)x}E(>Ue&-8m^}?-aKpdBK^;+8IOskab+^k~kG|WW+2F9-_-xGM zw}96w8X?=vC_f3VXpU0O3mS}5XxANQf%+0OjA-FhuCKsZg!7*jj2Q!k65au<-~@Q0 zjMI*J>@(sfC`zd{;c0LN42ZYoV-bWN1T8P<4RDaZW_wtteQ1bptC7kB+TlTy1ec1! zBu>Lpa7mzMzNmx?*N;b@C*gd@rV8#p0Y`8bFa`)-D;WCvu)b5^0&o^{^hA_y@HmsP z|2b$#4R?;yPr!Aqpo(}FU)vzJE8#S7&;y$J6N70GI2BuHr)BUYjECG#<79ADghtEQ zfUwC(>j$wQ;bC$9FGE9Glw)xvc!R2$muoRW^9<~Hh?mNE#ZQ6D!1e@-!4-kl{Xz6U z2rdY~*F1K4?UcJq`HHDdDL2pm&RG)07NFAc1ZCiW2fS3owK@fN&xW-cEyULaF+l}5 zcN09;(&A^Q;p4_mrx5J~2k&y&e>(1cE}k(HTU?3xWSqZ3;n!&JoYb1m`_;3M_X}|O z^|K1ezre-SFn}lYB3)uG!vKHFfRDf#n)TsY=<7clkHp^*q#VTU=HO#OGjCHR{1n^= zrMXyP1s@wT4k;~8hV_VlEHNP=HZdWwXIy;Z<8g7ldM5a^BF`hfZSQ#e?=3EU$MfYq zCB~MGo*B|TMM7uydrQ_t`?c{E{mY~J))jdkxOboA&7PQcJ-X%O%$wQmo+g_e;_lO- zX%^$<_dM6-dru=4-tK-{%ntGQnZ~pu_C6g<-_G3P3Hbjl@NK`ZI4VBzKKkE#!xLr1 d{M|F>O<%vovY%1Z+b>U&{>zB$>-Y96{|nF|pG5!w delta 8601 zcmai(e|!#C_Q%i6Jduc05`xf_nMX>LRuZw2qD}k^(h5?=`jMbERGX+sQ4HPCQeAwT z?GvS>%eHLO$`(7ZbkT2U(ngE*RX>xcAT%`F20_Yx?lWgH(yaWz?w%oN-0YcmL^C$6XZ(=bmJ6JSiGBph)9xU$~{fg$H9STiK_d% zsU^!tfWrp3DU|sg@c3wzD#5ZWQ7zb&VC#!6Ckk=!taIoH{ekBAQS=!a0@2XSY@naP z-Ruq&^F7gK@C24;gYUo~U*;mP41*qGzWu#%`=Go*8qxP6EbFIIm1J6$QH>r0?SUzm ziT1>+l+W@iurK8PtmwcMqF@Jq=($`XXK3fn!~Ov(spuva+@*>r6&%BAb{g|a<-KxR z%q5~R7~YlDWrGvJmZOWn)ee?mUhY7Z&aj?KSBWwQs}#ZWjJ`&c2X?XiuxD+Vyf@+R z7`8r9r4q$7rxUEEXH@FO-F$x_svn_J5OXznYLZIpS?yb%wTI;4(znLtL-IXE*MB4m zPf;nH#dpC4;7aD@wL~kQQ)wTo+XGHdv{!i->>6UPGX6ix=%3?i<;G#76iTQuPB@R9VJ^>D3dBiV7RSwPq*Mj@7{9j;o zib@40>(u!!;(D@5N!(!;crJJg^C=-8W+ztIJ$TN+6TxLrn92PMz;*DfA6R&Dkt9*W z3)nf?bX;%5W>Avl=}|I$gN95rSObC-iDDfbkI1?Lg-u!E#sGaMFK5Ol$O!Hev)E7Jia>=u^T%Hnqr6p{B#_rP1)1?A?^nzzzg*-|6 z!Z=wWKP~GWZW6_;K&Wudcn@5^6tU|vw`L?Fqh_H>Gg-a_kx>M>%7)Z{=Q{W~ABkLG zYwMPQOLFY3-U&Wo_t!~9Y~IbtSTxA9_Pku7U;G(|$J>~P7qYGn)yq-s&Vc7S zcscZpL4PZWE`goZF`}(R0VC{kJRRKNuN%J4@f>E~K*`BdC15E<)L8o*Wa0yr70vfbCi5&9V3mCfk& zD2j?h-8^t&imiS(SjBj2ok}Mx3vBs82Or*`QmVP(EvNzw&K=Z@t+(X80Z|c8NOWeb zU2SK8lg8N-b%>Ox4sxqHrx|OTC>tfc>tncseP*9ybHKD+r4U}whu~`Hu_Ct`oNCx* zyMI>{rJX9xWq&RL*P;Jo?0|jXslT`Fkh>u@ZJta6(Qv|H=o{cI|FAdY82GR~fZ9AR z(Hit0z!QuGw};%~b>JMZx5^<9$~|qHDjAZ$vAn6WN*bBc9ku9RDy`-X+zqbXW#4zM zfoZqB{`cUw5b#vaIR7XVb{N^Nk z;6npY1XCL$nuddmA-6JQjo_my9pmvwz;hkrTMm>c1>Di}LkoHi4S8s=Jn!*bZms+{ zqTf>p_)~6ggh{dwy$LQnh7!UK*a?n+9abXU1P6d0HuX~6)3_I$wldp?RvBGFm2ED) z2p8De<8Tz~@#%^6oK&fr?HviO0Vi@`Yy`)gwj=!tI34qZ@;u#shd^=2Uj-*S0=eG2t_5(>bntgskd2m{;l3VnM^R0_6Ia46VmaOMBwSNq&AZ{F9z zE)>Zv#@O~spptMBJ0EmjrCOf&&LD}Z&LL*m6W?GD62Dhz0kbj$ioi+C(VnfEvMu<> zeiDtJY&&SbG2N|9QuIz}-;8!EGN*&p(N;vrQ~*BV7&mPw?jaZKdrATLFxaYb;lpsT zazxZe;9QJv4s%55z5-rwMWw~2dC{aigHz0Lstp1cU_dt>upI0dKxM|fPDuH*VT0j^ z8XWtkBI*o3?E3-t81~ca;08=o%<{lz5u#IU2PA{j9lQoyjd`uoa?}_Sp=?yrrVNKY zj((fLXRhIC#(K|zi+)rohf`%nG8XJO918?vd@EkhRj}%CP)}n>Hw88R4V0MrI{VGA zI|+^jNANr?G0)T+HjnYd#VHlR`x7ME;j0lwd(YOhMwcg*y}tUK^LVnf)F_sRC!s@n zGp(_LWno;3!;C0Yu-N91E2f^mA$@`w+vcy)Oy*u=a5PM_ z`peNY7Yz+)ure}kEaK8}Nq7yM5BVcdAOd5Lv9_P0`votWDADRLjRIVzA#p~RVah5W zsoL0;tW-Q4{EHaZSECa4ca*VprqW%ORvRZ@R=#y5RErFKOKXgS{%I10uhbgjU_ZEF zx#m4m#API8vP5OGZ97LBmuD-JhFUKdfzLbm4!FwE|EcK`?Ezb*crm!#A^%_SCCB(Cu=AqLIt@X? zca8yXfiK$~D1RoNiVp7fvP8$g@Qc^Lm%*nUTnIi1wifggxY{wkX9g0!QsatZw0>J@ z;j87rJ16cS%z4*uf@5!KRL9;uW(>(yzE$+|Fs4R!Q!Vd``VuPXJ?u7f#w>~U|IwcO zGw@2Vn~kjlx5}}-+v^pHT7#{{%m;@!?R_tb^f?Y52X;d)I5ZnxT!B{) z^EhzBQa6p^dDnwembvLLb2&Kt4L4mh`^%&nr5lvJa>9hE@L)SPW%0x}!7(dsga7z~ zL<7L>SW&<mrg;zC7Krxlr-}TqVl}Rg0sr;PoC;^2w0~gG;BVkk%~ejI@|?^ z9xy-p2%b`bPlg9I??ELv4;+F!Vi+qNSBVLV%#aoGC1Ag=H7bN71%C-nd@? z;hV|ZC|o2MSCGDFD7$LjUPXsK=dnTz5G7ggI&h}L1NBw--1ePW*@S%H1@zymd2hpl zv%qC*RI2CkuYn`~qEZSQbPpW9mi6lx@EE>2=3s(k3=l4!1diFPQXwl?hIe0q>h_)q zVuJ19A{bz~blP>I%3bF3L&*OPu3l#^pzRIl-(>514}2I~kOKX>7!U+gtKDvP3CzSp zGN)9d9JY8cIPpuZaYdoG@!1S3XkY{V?_f)?0O8VLJXaH;Grj~K;_pTsS+m!NEe^!DhS_2fUGREMcT*Av#Zfeb9kL5el!^h^vtoAP3*h3Tn%4%Q;8SotVxo){ zUI))a%!ISP?iyU)%)AkZ{yRI~@1Zv6*q}RHG!G56$lFL(xD8y=+D-AyQ##`b0t3f0 z7l3CXh-NYeM%*7m8Q?-x##ok@fCpSOufD>dyI{TS-*#R{;}mnI$&28K3##`p69c{m zJNLNY38ZBiUUM9jNl~bltFQ&|KrqR)9_%dLy`$lg1FH9M75eg{QU4RMCz))a)B_eC zG@qZM!^hxSa5&4KkAY?=u+r>EJgybt_MZACpnU&?FH5`yEpWRIM@+yzZ;T8CCpq}l zK{}qFj)v;N=x|k~#XMo!ko%)p8H&pFv+7-;Fz_rm#xXu~81lT@{KZ4aA4hNnbTChK z!Hd9tL2fE$1DEO}aAZCT4{*cx;DC-OEF5$jM&9po8g;)xlffas;IlE0e;1sqXoPI@ zMtK?dSW}d8UeJ>`g?8Mt7pP~WA-S1dx%Pmk63%~CFz7ibl<*E<1z&^5%Q)?r6Gw}i zpeUv0gx`QuVL*%}e;z^TLeTPpa=-z;n&n}g3eXVKN+XpA1mHmv50{FL!;9`Hg zm{`7I9P&IK=Q}o4xK#Z;ZdhHx7$A75VCd_^{SSdxgQqgL8jsQq9^+-~{{%E7wYHDb zkH9sKplUh+XFB9oC43$n&_?tA#2_YI0ZzgeT4^aw#CXW9G>!&`g=+LB8{jhuY26MB z5*`-k|2#CLgxMCCg4e5>_i`;JxD9Ryc2gOzI3^XP7;H^23w+Gqyg!Kke+RGj!`D1^ z`KihGm-5%9*rnWi{#wfx9>foH;Ro-y!i-)Yy0ZT4 XiC-+cjKbbNb0z67Mwh-m>lXbNee9j-