From b2105337a1f41813ea8d214b5712ca60a02a02f0 Mon Sep 17 00:00:00 2001 From: Jason Schrader Date: Tue, 13 Aug 2024 12:23:36 -0700 Subject: [PATCH] fix: add new simulation for execution and breakdown --- ...Coins Proposal and Stacking Simulation.pdf | Bin 0 -> 47957 bytes simulations/stxer-ccip019-execution.ts | 85 ++++++++++++++++++ 2 files changed, 85 insertions(+) create mode 100644 simulations/20240812 Stacks Inspector CityCoins Proposal and Stacking Simulation.pdf create mode 100644 simulations/stxer-ccip019-execution.ts diff --git a/simulations/20240812 Stacks Inspector CityCoins Proposal and Stacking Simulation.pdf b/simulations/20240812 Stacks Inspector CityCoins Proposal and Stacking Simulation.pdf new file mode 100644 index 0000000000000000000000000000000000000000..705f6cfd6cd64a0a75fee5bf5e1a6f14caed150e GIT binary patch literal 47957 zcmdS?2Rzm9`#6ppNvN!>5=Tb1a~x+0+1XnPk-axXMs_GdW=P7;h_bSy>?EUMB|^yF zO8=*G^y-L5>izhA{*TAE;d##GeqQ%=UH7%_`@ZhylT}4hng_xwK+M`X`DKV00s@2V z3@wR;g!nWpoUKhj?CQ=2MpjNBSz9N26C-CkM-E~>2}ctH;1h^l(e9dswY32sj28^j zWxoJ{oB=6V*t)oaT#;~nxPUGPNX*{e+CLg7F|c^M5w1#XbFg_Q~D zoQaW@9net1+|ka)gb%`x;015}1*sdD8aP^P-vo53;%H~=Vq^mJs%~Xrzz2{GvH@EE zB*((eR?@&3pjT3mAIvWRMnd@cp)dg$lnV?#4g3SzDcTwTxrvAfv5Bqm7W>d&VlXlQ zL5TUp6+wJTc8)d%*1sAF{Awg2w$%vJR6zm+CgxL+L;uv;f-5S31c>?6#X!!EE+%{9 zg8#w=U;&0>&mNJ#S^+)s^23lwbg$c={->T%zi?`}*_(j)#B6QtoB?uO44u*6ff2PL z=9AuHLEO&K7#IN^FmMm}5;30|pb;P)B$yWt=NCXBL2v|ummk6p;|D>&01yTSgZV*l zqyR4%iV#2oH;93@6bsXhkuxx6KtCWpO*L8KtsfwEb7yCJCqX_w6IXj{J4X{oUULga zJ6kJ5YBImG%`iP1WaHE1B3v-5mLYi0fmB5 zD2O2vZYlsn!cYPzBLldp0Y4ZDJ!@ocU|}n41N^Wxapn*K{`?$s$QD;Wb^m{p1d1O} za6l3;5DW$5g#wZQp^&_A6z~TDf`j>aAy5Pi@(*%wa&`rT;Ocgb&&k5Z#oAy?WKMht zh!GgYZ-PW2P!MAXf}h_M3KiftMj(yBa3lm~!sqO2VGIb%&i$C3}6O^P!l5* z)W8@8H-Mvzpr*#ghQ@}#jSx6LaK8WqX#zJwz)cYXhA21;fii`eK*2l3gY6prNAdh8 zi~qy}1q<+^069VapBE4R|A*Sc4}n z^2`r>5>DPzP+zw!PA#*Q#)HrJ>9S79s&+A@*~=7tN31m||Cp|StLt!W-DCah0Ttb_ z&Ur#2-vv>(Q^_&P)jz&3mRwKRbX))G|BCXmby04z%UVYJ>A2M&$zF-0q}4wh*Qd|j z^;)Y|U*c6FGrT9#o-7e}Z%zH9$k4GysSsA>Z;zvNePpY;KKfXo(mq-ckE_i$buQKi zSRGn@|*cDUo^%V7~((3`DYbtJ1VNjS&hEQt-Qe1 zSxTx>>O4u;UDI_zZq6cm0Y{DNWX9+Bi_UnA)E}HSro@SHplP1@ADKh$*4&s1;$-bM zXCBkIAF}B~`a(>Gs9y9qWJKk`aVKV)+eOaP-lW}YwDJ8XC{K_FmumSAhSKAB`jcsj4`K*$=A(Y7=F5Eyokcf^=@^1JKk?%{3ZxfQ@z9gTXA2Cd$KRsWD z=iYV4y{uI zPLlUD4j6iK1;eGEMv~+{nR0u`U-0a1CQJw+R^?4{&;8j_fQJ~3JdabTe0~#+BkC>x zQbz<|t?JRx;#q@~7cbuj7@Y_;DRL~PnWh*Ib-vg%?VPn7#wC35<<--U zwF#c4ap5%47v4p0p2?371}V(z=NX>+_C2=qMzZqY_qU4~XFXSv8Gj6Sj%1wuu~wIH zJ7Z>(;xut*`wwJo1=nS#I~i&j$!C){M}$A0RX+P;hNzNc+^LuA+qbiw$rYr@AN)Q& zSYaJ|EFAQjA^fUH*OdBom0o=Iyz}!M%Y*}&ob^SLM{5bkS)0G%(7%vmsy)*GpiIVv zV^yY$@#A{U#$8Dw#+Yn1xwQIC?>DWK_A25s52||)K@8>}%*Edfzr>4EKr7Vb+R@mm?fWlelHHjL?@>TjzlR-V~x1h$4IM;CeQ*Iav%e=%Fb_B<9S*^R;Db{9x z*>F!#d80y_-JO+vdamXC^=F3q!-8XA9@DJUxQB719~Nbe;$sP;L8;YiHwz8ZW>rEk4C3`5Nm5hdMq+ALi; zMX^*&Nlz%A-{P=h)w->02eBH4pC7n1Q7~VXOZ}A!S5R``+7$iRNXSaPhw#-)m0Se) zzH#b+Nd59rQbJmT~XYKuCo|N91^d5OW5xAQXHd7r6o zYrrDZpXoifmar>)%y3&d`oaofI5X3WN5jxBY95day~!tt-}Mre#S-BK6_jwNE87*G zw@E!9X}CN=&<{hXnO<%4j7Y=_2~IDL=QOl!Zq07Ry{mbVxg>gM`irsc+bO;H&L;Yg z(L6&wLJCxxdfoECLj4 zf|lbwaV58s8>pB%0&@z_3lGmG2$-Kd6xfP8ol8#K;-?|cbgch_wY6LY^Q6$l=;D`A zsZYMkQrCza{Z?vznbTh{?#Q}95{);`jh>+#&VHQ&q2Umt)I*xbkHco!SxOZ>xLHjo zxOB!t$F!d>Wj~`k%hmDr`9gNpAe)E*Iq^C9Lp9|i58Ia-=b_36dLM}?9~5TnECM%2 z+;KgR6L10di>tk+VD0CsJj=9bRo*B0LrSI|c27NK$f7ps?j}AOtmWMxTr}wRPL#+s z^b{*vIrD_jxYw@{cja)}A$J_tlsu9e&BcyxRAyy&T5h(1^~$DQR+E;&^wX)?7{ZQg zkL&R+ArZaVbI)$JF~oiCJ~E3k%O)((RWXdV3Oru&bj&iE+_Af|Kfrp7IyD(GDdr4| zxxjph=kkgpiD34j2|(z-JtZ@FnBOqsSI3 zM?BNAKL!;>_{5N~ekb^vbHVHO;(=~_U9I*+Zo zHZC{_&N5Y8x_^| zf+&IX3gsCTyQ;?309Ap`ehqrDYX?j@@5Zy4O4Hcgq#Bs72|K5aD*~0XB&3}teHn)v zxB(q&Mfy@vKJ^PQ^=}WUzUTugCxTuxTJEvzwSGR58$X`GR;!46=1KNO-Fef}v9=2) zD?JLv71uwSa<_3iTs<+mI<3S|sUu}=110b>(W~OuzA<-~F(#04`GNgOy_#0jS26sb zTxQ7f>qzV`-hNBuP=Rwptm{T$u76~RQ5>gOJ${T{c6C~qubwmeq z@^R@|>+y3~Rxd>6Z#a;>pk;Afs_gd1JHnD}?0cEI&v;mcxb;rsO{z-%he}s8&l5qB z8F-qq(qDU0Clxff`d>eSzRn}=$bL7+b2;jL;0vxhtlGV~vx}-#AKgIH4?jjdrp-2? z8$EA6?jm@JpN3|3V*H6;oJ#yn`8lDA@Fcq0^4DRlA6M25aq(tlLk+uE%+ogSd=Ol>(&II6k!6NBc!F6>tb)^yn4T!U z+xN)+nfhj6s>XILEZ3E4QvnAcijdy;ZI}7-Zg_b7srhF2->?}8`eQ`)$^G=u8 z$N@Pb7KS2vp0Ksv?EzW) z6BmA+UdA`3Bh);sT9rcA_=Nc$f2C3mZn}}>+N}gD8JXt($ec9L=&cZlUz*^+JD9Y= zeCrg?v+xk9A>zBZgVOd6eP+<Dr-K@Tew|V8$iIh?NDxs4b zC7x6sxUWv)p1G?`?u1;2{vfEDJo0>*M)*f=uYL_%!y4bmu6n`iHz$+VO1w5(v|fj< z!AE=XTT66iZa=%ap2+iHUKI8E{i)_cMJ`)mz8BrB$&iq6Xve&_csA^7C7nIWkQ%}8 zYbw?L9 zO=MD8wRoN;)H+di$ulG`PgpsRT2WkAW{4t~j+LwL_$gT$?)gXt`oU2mo#a)=oWd{{ z=J_L5k+aU)GI~eZ&g9F8`xjCA$%n?J7tSpOpDB&hk`AvEOyfP(=S99o)AuEG#fAL+ z8eh*cU9GlcW6417k+t0KrJCpI;hg$yAF>Q*+bf7F6!Ll-?ffT#lSQMV?3p{!N3x2pt?<;CyUa5STvL3{L{3%WO&2Of$^A)E23f?#t2Z#vB@dqChj#;isV*^UhG2PPn_y zTh;0t=y>?eqfwrb1d`e_)C^5I40G(lH`q;(N*w7INKcvMmTa=WXH)lgJqDMhN}=~x z3?faYeV_Qu;Sp!N(<8aYW9oAA6+JNl>f#Zo^i!LD90bGbTAHy6bls#mJyh zL;ua4#sU{jj-peO_hgVF%YI)MuZU+3vAbnlj?xP3^|-xqv~onW7$6uvMK7cuW|5TY34wv1Y3lqZSRO12Tj@4N3QlbHWdU zPB%t&LBEv@RSSpxV52J`J~ydJlbU08!gpjIS2gCx(lKW4qXumwmK%#}$An-JE+3pS zx<`(S9TNrxM^+CkMG6fv{8$_oxNaV1a#88hy!>r7eBZJ5F2k4wvz&zluk>Y4uTDzJ z-UP4X4sM<5HE#wMJ1>j)E-5N2jOyH@3x2W0suj1UcsA}tsQwIo7CF#R+pTZFDWEL+ zuD7{+JC$RPt$FGaOv?i*YsmWXO^Qo?YxRhd(^HP8KK1;Ry*CezDt}XBsrGWS)nC0N zb0Uj8rsUGndWG_2Z{BDz{wrA8GB4Xi^*?bXZ{|mLn~6u0>SNeNJt_KWcO^Fi@7*f!`r!NzMAa@7SGhZk&@kDUvU;1Z>BZ zQaJ~lyU!$A4olx1d0lAt?NG>(_c!0_x`dg`gk&sV$&Y{1=Xdz4qPD>uydLS1x3;-QwCHJXKb^(3z!xCBwC=y$R2*<`*^4+}nwg@R@7&;+tXWi? zN>W=g4DL&kWGu`=~auGQT?}?AkB?mH!n6CP@&8{rfNl58c zF|oz!SYE#RoM7%EnUl*Sv#O|mb;(+U%X6bCCD;0C|8sGb@JJ;jCC!h#GehJ@lkC~} zyoN`0C6V^e<7p%65Y0qp^JSC_C;^65PN|_okcj@-)P8%mnZ8+RYunXt77le|e9cGn zz1}AYs_I{@i!E;Nx9@15KEI6XLaGs3>Hf%9xj&!k@K=$?hF&YN0r#Jo@kk183~`1OaEM_D~B$-icl5x^hm4 z?ZO027?N^qWsvh+VpB_tV}Nly(oBB!^W?;>_T*?NuNRN=qqkg(D$8Qy)-(Ak(<1y3 zau%BP#4m>_?>u@^d}c)Mu;H645xG#W=t)!DKnanU$r~5*0wk1Z`zvy67~FK)=SNKIz3}}2d_M{L0`@HlrkNZzq7?VDV+`Rck zmW#1bmdj2|pu1senk1?=s-eM7SH)7W1>Ty?;4GLxA%MR&np0^nVOwhdL{f*JDVZ;x zTT`gQt^!v%<^iFVTV#(8rwqAONNE)4bLs%zqx$t{X-c09X=j4okcw!Nrlx4z96mSc z^K8?|b)~NSI?l{ylHaFpWp9E@A%YCNL3km|gNB2;G9FQ9J=JG<$X#Z0FB1+D(|g+y z9IYw&L|R+&Y2~9%9wG4m2Jqi~mM6CC8o{-ZH@INj@DWFxDu~0u!4DZ!9#;AStMDIc zIH*by+^VKxg4Lc4j{B)LqIfQmMl^>s$L`b=3Q7=6v&Qp*3whan(p@5WU3F@YRu!CL z2fF=Qi(s3sDUlpvCw?^&&uC~K{OLJq?LjsM$=djeo4%*zc%B`m@G$y>yZUnE!dki52ISrSsU(l(kDVBvpgde-0mkmN!)Np28g^!V)c$Uxd-bG&b=0^{(5?@&4Vzb z*mtF>u|@H%^Sq45jl0pge0FLdra=!PA6A^PI+KAD&Yvbf{OX~z@iEeq?Xr>`jr z4Iblwb=Z2iOBv3E+kVLl{gB}MEJTv<788k4Vd%pc-EP07%TT5+<7eCmj>IexVMl2u z|Az^;+UqE^l)+!+;yT|a`fcKU^!W1O?Oom0si7-cb8l=mhTbIQOxd6ByVUeS={|9Z ze6nZ}9_w?;?sF=BCZSi&He)F>yR`#TvkLj))uWV|*_>raPG$E}i2lP9lrNSZ-JW=P zi!yWgz{L6IAyXf$mID%6>t1MmeZjGkP^;J{!O>VFd~h0Kf7{31qx@)HjWBP12L6hx zeBbc$Ext~Uf~cWQhqwntlwTE!b%L*?3t3NBoxCs?TC3<@y|!sB%as~>&vJ}~Vp+hDc80h;_i+DM}+;@YgEM-JJF+T;74AnPlcT=O_W z);H_1Ng$kT$JS`h`MR3-lvQ>S$6{|DzXr3%nb)ta>qO2tRihv@G*6B^@h=ozlrIyO z{mx$x_h{ot1v}gNDuC04@o~TaWlk-5h8&A~LP?rRbb(`eM}~k!SYP(6n(wnJIqjo8P5khdz|G-wkX5 z>jn<-AC4VLKvB&VazErE{EqbetQ`~ardP{^E{V>lg)Nxn;q5oinqr%?gcuF#_3n7q zn+l&aM#2_6Z(6)?;s5L_b@7X)gJsXC&XQa@YrL#9akvKjE&pITgu$VrlG$`kXT=Q3 z(H}iJOJH+>=pyrV>yg_>%uIkE9!4Ke@bS(aT{BvqMCHO~pBEInez~9{e&bl?p|{JY zBJDq4(5ZD;Sresr`RUsYzE}GAkznev0_63|n@+`Awa%Zx+9{J-`CKOik3I~oGsjn; zz5KjnGXF5xV3n&*e~qGvVi^44?RDBV-J0nV=x{A#oZ{l+8y#;HZ*;6zeWo}Vmq#zn zWzcu(EVyP!{l}2VQb{mwSe<#viY2{tZ*I-X>7jw^wU1y&-J`2Fcw0+auR+>w!_JO( zs%ZvsFp7&G;?O94q5VPrW_+@7n;C&~_W0NY{edoz!Gq!uuFtR&4TW(?QZuri@8@4$ zyWiP6f5bkyjNzST{AzsBl@B;WcjKdtZbAB9bGZ`~h^a@DxOR$io5l;d)n2>o^0xIn z^aO&?{I*9AQd;4urhry&iEdgRw{*i9KQ23IK8s30gh#cuhfI|;Ni8|oUF`{vncMK( z%Oi4)kAp@jXcMjh72M;>Ev)-s=)`-SFX^%wmvTc@>s4D-0`*ROuQjZ* z5(=>o7R=R)^wE2or`2nK&s^~#T>rmVpr07;=H_DMV1z6S=4nXVG-lU%&twg zZxIYar>^09u0CVF7Ui#wdc|Mab}`-g^Sz+Rx^5P#G$v+Q6PB!7tTx;hMzZAwvhE;J zPnIl?C0WiNg)&cQ2e4lI?m5{EGo^O`Xquavpc~VZV%yC6$$%`dl0YJ!-U-8=W1o}6D z1n!dS2iNWKMQ!*NSmuDUClI{wNjKc<&Ezp{P za8l!G8g(Mw<8EORNsTlO_a!U^lwVus{I*R6Uj=0bF_qD(leK{YryONc1^sD59z{vE zlS{Znh#t0Q?RXh<-Z8}`M%Ye+?YtIcQQ#O`BhAOBRAin8FqeWZ{!{R=bkM%uNQrZHtyr3 z&(*pVUU<*uP-F|CX}0DTa*VrUGdFe%UNE!=n?u}HExo^BrHqd?f31?)u-@= zGx1AL?wKejD_03`erd4SoZaBdnDOH7V>%ahMwG9 z7P)8Eg%gmBWA_z;^&O);>c3<~=Q6qaN=xHSlcf0Ft4!LFHy;t1)-0d?p4F3?k_DY$eQ2UCkJbhTugoO`gAVYd%x|aeXoAKgzVZZJpTZHvpnfb=&x;K79;f?S^mLm>%G>67{E(@S?E^rpOnHnwynK-5#3yKimFtF)) zVUkMW#H}9eg}3RsNSQEFMpH5MV|au@GjXI^$p7TrioO!-YH)uT#hYU~$rirLZ#DmK|x@~NnIzc9pw0>4dMd6X>hfm^;WromO7ea`BY5q*R|xojy@M`wfsD<*jYgYuO2mFC3v>QJ&O6qOFm}%MNC!_hW;myY|2G_VOp7TW>y1tq%2&!D|>wOZ8 zg>M-0-&`8U<$6EFa6Q6rvi5je2*dk`Ta#j-reOxi8;UPOtQ^%0!I6dc{4^D*ieGDX zQc#r}hL8kXCTV=l0=xT8%VqOeiwj=s9xtDz5?$U{)qEI8FV}^eBdt%oe2Drq+qA@m z(B?~Tm~x~?r|VKj+Pbvm66za)|^aj?V#bvZt{*IGn%2?{^x6k zm$~#ydG9$5;o|3t6dk;mQ{lw7d~iY~Mzm6(G~m2isdsiOp((t=w$G!@`EfYRhx&_W zcB!q*3{!5O=S9(UuULq{|j2eOa7fiosO8{RX7 z9%nyp;0_L6EqbfNyS!5FKiVeM1Buy~i7Rz}htzkwL48?a(!$8)=%HF#7a8|UW_SEWrVa*;HLBxEW( zCkJoCdGR}`Z7*qax%Bk1>daL={l}q&iEpo#@!KS7obVpf!l$iTk%c)sJdY#M(lFMr ze;Ay3d48aK$yl4KEF;L#?gVN5VPS?K_D?>C&drIY&x^6E&58OCyMj8e0@sJGAobgy zd=v&7@X5n~t8fS*zb7N9br*^Od0ltdX901NRM(69lgtA(a#D>;WOJe&2IQ|O{3vVr zUJ#RWQr@C8fYln2`>Ruslb>NaOWsdesCUXchgg`QQTxHLPoq!XF&qt{@T~GqYi~MI zd|!n@!UGV>C#MtVSkyOU%y7lhX>PM-d4opn$;gZ+#6-iJHoPxC4DkkCAH?%rpgBo) zj39MlsX6UI$UT|d>HZk#eNxp|G)-iXGQpJ*p{Yb_TrpM}R73eO1akp#xlSlKIX%g@ zI_}w1r{bKPzuK?RkQ~x;dvby-htD$xOnTm`j%m5Tti+TKd_KyZW{KkH)BD#ZuW&Eb zgmh=+7Sf#!cQ<#@EX!=}%gb&I{s57ltUauA|E9>x@Emykrm}q9yP8L@AJ9E|lK-@D zAlUJ`?t+(ObJ&=Su2{e5)s>`q_@>o^his$QS8P15M2T|xReX3oa9hWY09>*RcXnM- zG}M;2ExY=ycw@@*vFTSHrjI2Wfp(G%e5DoNA!fNKht@1=K2WiiUdD^bwl!kpaDEA> zIK-z`+omQ6?^uCkqKSrvyhpxHSq`(|2T(I1V-6vkfE7dTaq~X=9>%td*T;muPn>Rj z3bMqz*=vq>vnAquO55jG)hqmVH|roOZyZXG6CBm5BM1JA>4}^dd^yB<@}oV~O6)lp z=k>5Lr0$FUB~@>#u*;>y4Pe~>X4<^x2kSJ$fsew65kD?GKvb#`)iv?T(B@se;49Pn zj^z^z9n)OaD|oPp%Tf6e`DTev#+R;9s82@fIg}hHAa2mKJQgM{C^{7P?A#Fhh{Un5 zFYd>}p4S$sg8CaG3?rWb9J=ErQSj$7Tg zH!`>$9&qWtJ=NORBSJ?IwA01zrw7Pxl+SYJxY4M+t@nuj7<*t9Z}MgP+e}`s8YKNB zfn z_-LrL$&{a>o;%4}j>oi@`q~gYb@(!(bEVc+j^|2WB5bHKmD=K^{iq4lbH)TQF=f)u zsKw{LnO-^dx#7(j`E#|l-2_7>H;>AnhMXiQr{YS*|3G&-sr!}Dmk-1~GG~z|Upxy) z)v6Y3xqz4qS}ycEE4b0z)&KtO$6h*lZ|LcSFR0IJVO=)2aKDLVCS;vUu}z<8uR4g_ zYUQVbxU-TnEls5azdo2awRZDLp%iY4>jTG>^up8P8B!$yn>U$4-anvylM(arUR;20 z=kuoXj^vaTBo0ur^(ii^y4iw;<3GSw9xDY_mRBW3TTUC8C0u7bIk*~~dFK7cQ?C%o z3z6@tPiii5Ue&4OfhXzD7FTk@bK=g_>!!+A9#EH;&>Bh5kEIpsOVTZp=dSUxx4+Wy z9&ajkZ6sn)>f!}!*^`&LSx4e~ige0VY#H4B3=j-GwmANU-?*t7%E&#K7Ud7$$o!%i z!#rq;dSi(~UP+(wzWbo`%!WpsiAYOdaFL|DJLB}x@&jW;^8Lw|8Sh+En7EPH#lsqX zygn&%AwRymGFz){!m%?)Z{Xp@lYvjJLh|eea%9MtiBvbP9lFC z27R{bBYe0VGWBw}H#9Exs%!gz6q)AlI+7445HZx^#sq4-y6 zOY0sh*1;XvRKt$CUY$GsF6He!XSt+4^Th0r*Po75ZIyp-7gKH*|L>~gRWUFF3NY17 zoa|g2jZB=jYS@9(2uA8AK=C{JAOfF;iK{b+Pu2!#D87A_*uKgF^}157&gX!06u|KW z;MQ|c&{i$18ZqBF0nk>}=hi1UXzK*P)+Z!rtIA&us7vRQwzGBKxr9MMqVBm?Fn2!bX7t6YBT`;Kz?EipN5VRQk=297<*TNndG zp!>V@>puQnW%igJrL0YC(5C^E>})X*plc8W%>#f7r1Rg&0YwQwPAX;~G-f~w60(vY zu!so24Df;77O0j5%A|omP=25S`M>J^UFRHr>sAIh-vIQ77CyQ^G@)v{up%K?SowG9 z%5PYAFvE`?g8i9+?8OWeyW3sG)c;>}3zQY_;ub1^-R-U;0Kavs^1BEz%Etdw*>;W( z5_^1rqY}TV({H$UN^)CS_fre#UM#_}S=utE9a{XyZnuqezitKg>K1|BE!KG-Of~#( z-C_>isDSu?G0Km&{9gxXl*Q!$J5V;X1Z~^MPm|cIa~O8#TR8v3^R8h;n?6us58Sth zL15#C{*!g{|D|<9VSDfd!|oT2=}$cERG(i~jwW~yrjS?ygZ`71L;upsq42$!!qyTr zrvHg4wB7A8X4DRY!#Yg1rwU41T>0Ic(ZdD8Ft`glatG=A>DZ3(fNlrG{p@NlHGu9I zseke!f7|U|0|iB4E69HSSO)%^D4}S(20_u5wM&$!9X$P$ivkW<0!F%jj6v+7d;-{^ z4Z2^z+&O~3Eb5PO8o5`u*lH>8PYwk7m))ZF>J~eqq7nVc)P6c-Ecv1(qy|D$thSe5 z#$;Z=$ZzK=z_FeGg!9XLL$>|JuU5PCL161B-p@=1O~Ic?{oQ>-F@Xakt6jKJ*orLh zPo7TTFFhS(uk1_!JF`Gz`WK$igzj?N5HPj|3;dH068K9W1lcP)6Tpr|0{`TM{<`12 z(lY_WY-TZH8#u@@N`M;xufU&(bdc^()EjpLShys%|V(8zE9Xp@`k6`!*o5fo7z$nu1 z$iZN2>K{K_Pv+OhGT~cG^Rf>wQb+ID#&>jQ4 z!xa8k`^G5JE{Q;}kt4P^{S)as#EtmHz<;xwy_RSZduk7MVui-^_x=8weV_^6Eiry< zJ4gIej6nR-p+7PO1)SEeN!?y-3+y%dfnyshy01U6y{#z-bY6pw1ZZaVV0Z`Ge{yVy zUycpK`z{p$V@F(c^S_}PYmm_7|Be>IzeDr(i!47y@hhfa)DMKAe>Zk)?}YfL1R5(S zBG6p?jvTzh-jVx}zQbsczZm$Vej)Y>iU{mk0UFbvMq)?52(-6F>kyjY-8zJR?9b1& z2IN2K5b~D}{gEjFU<$pD(QG~9tj;P>`v zv9A+>0Z!!4IAHtA6t=HSVf)Gywy#WK`^pryuS{Y4$`rP*Okw-V6uz%a;rq%I{V1M4 z>M49*nZoy#DSTgQ|2S=YIEC$%X7#$wmEB z;{VtE?y-^!*|Cy~#`LE_{JHyrC1SLU)IeyG_uhTkb|t^|RenWKtlgJwZ}zLzF5}&? z$d0DqPo)0727%TgfX+QrNQeM-_6s~W@*n11sK3m%`1e@QhU{2aMq~OXp7u`VcdU{F zPrUpWX8zU@?XhkO*|BO2JcjiDqTjv3=Z?iG;1PuX7ya%rX@%r1aVW&9|@RqIr z$wGGqgum^0uYdr@o?N1~F#W0DUEU78G6p=h6u1v?dgzF_^)O)cSB%DNRV1QaGjK&a zU*L*%WxE{jj$J4S_@4|L0!CAUp6UKEDkAsLH!uP_8^oaclN5GHA6Vw!;uhUAhUnc{ z1{^zufuL(L{~rI(f`R?2W#IcxlHmJJk`Q}H2eM=J3W6r*Pt9($5YzITuF4`eG7TSTw!0uz2J7t5m$L(&=>bZ*n$PUqz!Y0!6co+SZv98>$N~Pbj2x?ud|Lv)OBD>k z4tx;w4Sz#91Z%wZE*Xa)u=j<4ovnTJ;ipV6755mKK(>7YhL7KAhah(P&HvdqV3_$G zJ(zz-I7HV0|4B4EeFM6(`!Du?k$b2Ucqe23RwNF=DxQYyUAzoI?iiYXt6qluZTT`{ z-!(wQUVag|BL&>I!uhA#@MHPdmcNyHVDu3<2!rP1ciJJyoz8W?XtYz;u|$tizTeS+A%cy7S!$(9HvHf{{#ZD z*J8$wa%tcd8-M9vu}XP?7aRaL?N&F`j%c=T~DZ47O@L=WcQ zfqrXv{zfubz6mq;#H2gh=V(9}-w4{~3?n)ari>YcDVPMIE2q?e*O6=~1PG3qsiJp| z)j$ZemVhv;*C5PdBnYz(2SQJkx8}BJX@MY^lo+^ff5#kx0;IX;LLhi&-n6d@+Znmo z00;Dd*FqTBnt|9&Y`5N!1j5cm_Ec!_jsj`Oe>MI(n9K!)NxeYZv~GLK?Sn@YN=IkQ^Y)X6X(niUSw}jCa980n9!CvF!!} zjBV#a*hql50Z0iWWNah=C)*wi8wvxc+l_gPX3Vf*x80&{+l66)feFBWo(vld^am91 z{4Nf_b^r8p*hB+MBmi!VVPPZL5);N0v7uXpU?LAT4q(R`v|CD0fR1hT#X*=wf0B_sn_1I8=H%zrXwj6*Bl%Gx?yDh-QwiCjJ0`zYCXly7z@3zavf&xor zAWU5;c5lG4nZA8qeg|~RV$eCq4(OH@?7|Do3xB3aShNB2 zP!MLSi;V#|OuBs%bO#h@yPaKOVF1pUfp&STt;1SBbFW`*fxQ6$`nyX3b_jq`+6@J` zz?`_iqG7Ad9)zip-vQkk=imJu5Cnm7{@phMxf=l8)f)t$VY@^Zi(a4zaJym`yEmYG z8F=yGZ;laIc>?t3_pty1F95{^Uo5=9L~*;Q5gRZ6mJa`}Ccrctfd1}SfdCHZPj)esw#q!J=Wydu=DX*w8HuzsJC>s*LTL3T(W<{`Sv285;w@#dcnY4FzO| z*(TqC0T{RKy?*SrfSzsVg4j?%4%_KC7Ie!`Z6}P_P=Jf=oE;kqaIu|LVnYEgwzssf zp<7(+k~*+Q3fTQFu>(7p0C?Bf1N(~rc-P7kN`U1$0KAJ5v>V%%cx|nV0-7ApqcAT>?2O07kor9f|H1+U=Px<^d|0+*b{|(UySsmejPUwi*H7(R^X;Wucw% zj@~2;oDHn)%(n0VPkh;aG7Rt_76V5sSzA-PUu8BwA(-Ep7^7c+3!vu1JniBqz5mTy z&s&&WHE~pNG%+;+9zV1Fs2$A133mO8m`~Ee$==$)P14Q?^Qz*lx9e^p|8Gi+&BT_1 zY%_s*lOkkGJ@|q5=llSw-v1y1@TnHD@e%?#opDXvy5Mdbr$NI zJoVzCibGUSC*hif>;E|WaHVR+bii}$-Ue#S<5d|c8IJ$+Qy=fUzB{C2dGYzD3pmas zI4_ks6IEJSonGLSGT>yNZsUZm^kuy}=&eWK9ibkQLH() z(pi3-Ylm7Vm^cH@giVraF_etNUi;(R0uxLqDE>}Xz^PNgl+{2 z^brma(g=~B!x81XO(;BoXZi~7cqGxaLSjihyvo-EhsRxB6EBgS(#7!!ZHgd%dfXMq z3u;Fw+A(nN%n|i*BZnJh{c9(LtlwQ8Cp3*?_C5@jDxmYDdwq2MWYY*M*e~AV<^W7D zjm26Ze;s)g$4Fsy`RqD9gDBYnpD_a51-$%Y6~O8Y!8-oo1Mlom*IpX2wlCDo(JLSG zUzJR&oAfbi@51+S#0kP7N2>VI8Qv!}7T2dGQWodE<>$d3h+-gpaiCuGs*HctYewlO zGi)`^>~pR{Zv}t!6=nNer~D>D<;6(ETi9;H@<3w|{2?gJ5I^r_s4izo*rU@&3qva= zHxg4At4Q=;UFY;CdgyOCRBY&Nm}r>$$vsUv{-KB1+8s`bBE{~Udk^#;>OHi5?QfNC zRctQuwy&q}XbAAP`Ec{$50v!OLa@~fK|IC|L1z|gU%RC&h_?rBo(dz^r?fM7dW!lG zDyW3eE>T>uh~uy}e5b@#jrUT8hk~kZQoYLPfLQqFGcU>Te$1bA@_HLQ2qB##`*MaF zM1d11L9XC`irw#&jPDSbF8#RzyEl;v-a`ZaC{d0P334HPQ<(t0aJ(yx-W%^O@~4VQ z-*Erd;7%4YeodTcq)x;2c=LxDIb7)Bz*FqLSt>YpY7djvLBT}VeCXCCaF2P@1(pnI zHosz%;J9N(tq>?Q&PuQpb^ml}c#!+4Sn8pB=E-m<>J^J`;pr&}(*CzC4+u@#J&_wJ z?&VLIZCCv)9EKKyZh7V?x92SeDJ$Rla$N4VKV6xhn&P5Nf$6e({P}CCx?tF&s|SSD zLh0ie+ND+7kN=RlhPak`F%r?WQGTB!FI(1gT=lWuVKt&f_Ecp{@zfZGfMxl~j?jKC z)1?(T0^TI)4t2bRnzgk{2TK`(MAPydo?etWp>u%K>BvJxavMwYCkb$d50dBZ$1jF$ z|I2&LevQw@D^1b)7^hR{L&YODA`e4vz)2-j;`2^@c-MOUM``1&Oo`!ae9zOCbIYX% zInO}ZzKL+xH853uU$II#aYd9KUTZn6`Z|I@MUJ|Lw-Cp%36EBu+S`xYyUiGvo0a4v zq!1^h39nJ2S}fp4Y3kb~r%k;e79N$BGne5%aJnKbGg%2#T4JB;dXaX0VtIEi-N)~= zihQ7W?rY+rMZxMrrgLIBd@N_{lpJXb8zC|VM#q`dI;f_{h!)v0Kv9YQ9mwN7g(xY% z5Vz;KqH)|t_rqInSVkUJj$j3c^^umXGLK7)*166LXgnM=pxU@}C`Y`y?mPh@SCc>{ z+oK`bYm6rrgfrPpX>XMHgp5eAUM1khBNQ%6cN+9+l*lxZMQps*_j+r2g<3^!mBVY4Ae1Fr3E%%fv#k6c>)Bw4( zvHW)hiV+P>xAq)r3sueNtmeC&UV4nKRg7W{B;UXB$>{dgd^cC6-Y|{mHhe&nL;Z-g z!MKSooF$8bkuE~m-n+@LNj9=8SZ&2eHj+(s0s@vLmUCviFXz-9H1*6&^zs`oR*kUM zJiqBa(ibSUCc#rW{94mADc_GLnb<$*%6F`$due>ey#`19?bBxi zyaT-)6-kjUN-nRDXoauHfhSqG1tolKSuz$ywMjBGnRq^NH~MhvUcJib!E$L+O2peY z&p;`L{7Si7)|#f?(7oGcCFTxg?%WJI!3~>j1)RZ0bqH|qILC=8%$y8h4S^-HA=1H= ztR_Z|#Gi5uuH1t+l4<&9s~)mhb995Qr$xfOFUNb3dWppy)mHI2W_Txv2gSjbEc*I(k&Aao=4)8nx!f(?Rwxj9rU{X-N$R7R|9Z}!I%6eb2a&&v*ssB z+v5Vf&cPSxqHaGZG!^2WiCn-DL#*-3`Ca#;c;=m2h$7<4ayQj^m0&yanhKxuiukp_ zI@{MIRBJ{}?srC7NO>-}9PhpZ$G&qTa+qMT1F+zT8Jij>eSVXS83G z=KNvVo@`E?c#ul+8jYR-6h-x{3Z>M#(H|QTbMH8S4>I@2J+|+vzU&N9)Ax1Om5JWi zu#^SvA<4i3@T$%;oNp`{w7HGbeLf9#$$TuTRhknPrz|%Q9q=QXUJy|Sp6K0eb9vaB z?R3Uu0&|vB#&Xyc#c9Fv0}4|0J+!ST$s}P-nwW5EyHN6D+McDtFk!z;KE!v|0Nu^C zj27MgH+RQqhN-x;xQFdiJXAz{=^MQ$m(Hy;n|(H_J?rTz~<?cc zCJ%ILptfPlc;{f9(P7tI+VLV-dYxU>Is01`nG{E6hY2`j%11aHe@W_SI<6m#r$;GP zE`Ym!K=4pMCxfP@_LAYrPrM#|EI&@QzxbgSc!y@1RGRhJW*==#|7wGx`%N54AhTdw9)GrE3QCC`fRJ{|7~;p2pvlEl3y|TjGrXHCNG-#Pr?ZVe zbO&^_H7kt`Sku{^al*Ov@L>KmWHTO`@H^_=aD784iYSRsjhvIG5LGZ(?=MXh9GTvc zc1)mkxIkZZ?#TIEO)Ce`nL=|a-4{)F2>aGb*E2Uz&I0t`OI5uHkMNCn*?kRFzLHV= z^F_fL(&@T0c~_cSEIEgUq7mSkZP04m9j#4 zfl03a_#JhHM#IPUUzRnJ#BS$8=7^TrN4m3MY{!z0`{tJqDkkc!bu9hRwJuHR&%Go( zS>|#k<`rF>FW)C8yXG{~#*%#9=>9R0xN4OTg*{)!m0ZfYIweoJogS~nyIpq@IS3;m z`(7C#Pky-SA}t>Ach66MitNB&*8T9~d7$7k;@i04 zNIg8u3P86 zS?}=^)@&ImHqHmnggiYE?UT)1JG#z|`}trFH%)}7D)rqO>I+ntp^;+FFAuP{n(_O> z*aiTj?I1zLaX47aLGU{1LdXxV&vq?7bkp4yuCuOl&hJ)Bk(J#~QosjOK7s;$@OwR6PlpB3>+Q)=CE-`s*HQ={X zuH$6$1Re7;&9%!vwgw6~t682d4VkP6l@FMgwk1?lkq9wjT!yh0i?!S;Kr;RNHb{+l$SaHqJ& z3v5zltiJc3N7}@CF@=N@Geic#%QIcmjXcNr>R6)rdpYRsljld7+R%U=^T#kz z=MIexi|JmY8_AWiafyXa$8wLKwk1^L5|Tani~rtIl^U39dq>U7{}B$}#k z>PNTRjGgm7m=vpy_msyh+3yroxHAdej5{}A`F5EqYt&?)z$cEp&@1PiGD+%3**8@R ze&fTsZ8~M}WzNbv@e~QjG0K*8M3nN*+0eUz`$ErlMpU|Jeyp2ol!)I;mv~TH?jw_) zX0svH^_J(^-29}F-ZQBj;e1RDdmz_i`Zs-4LD(QVWkW_;2t|~m5~SSb!X*!CKZ+2A z-puAWCJ7n6({z>Nk)9UIOGP_q_5M#M+dtmukC=*--!uNzvZu8tQjTV8msbLt)m@TmrG!)IV zcly-TJJC$BX|;j5<{}xPJU#o9SgOz<{ObZMl?v(!OKWc46xXe|kDYbCwaS#_C8}P> zPj+aV>s+8{l@1WooTKo+))8N0!)T~#vYGBzKmKiwQmA-PV#sZ4b7z*K*_Ux5q2aSg z*q#9UY}Yod5vux-_v~~g3z3B>V@n8M->HgG0v=c6_q<42ui1OsAsHuwg4=7U&7P>U z+f!bn`$e8T_?`NN>1SCFnga8f*H!0*_G@<8lYdEW7K<3PDgU$_oK7CO)nk1js`8lF z+9oN}a_PhGu^3wt4+KSpp&rtHph0=qIe4t4dCD!V*FU42_(8z8=#J|yd;_Y1_T1K# z>5WqQ*bf7*YLr8C`f`hHKSt7o*t{`ZgS`ue4CVGV3C~&D>5B^$i^*TR`K6WtlV=6{ z_I-FvV$66IwUa%nL8qzJIcupA&z4kM*6L;)zd_5ZuMiNDl^8{r)^nF+XWa~zZzU>J zT&ehy=&nIB_qBRfLP5FGtqK2AS;l8;%n3}mShljyZ`(hUKa~dOe5;~U({eSg=Cy8f z>5J0u)jeayimN>iFARLkmPdy>2fw`|PH`&x^=$BMA?>=v<2xj~bFGG3OLX+kjcogC zy=$~veB|yyLLOa(^IWIymUrC>iV!}wMNh0HqwssS!zt_BM(gooHQ%YTxs~~Zr^CAG z!p{ltRG;_Ur3v|rcKlq-W4-!1ucy(-`QaNPN= zu3O>9^}@h-e{hya={h@rEc)4?9Q` z2C&s$ce$hNvg}yv;$f#^ z|CCtu!KZY`Yw~7ssGYT|AHUG0jO3ravhNl>xVB4D?ymFk-adF|hr+9Vv<>y%y?8zb ztBn34^x50vb73AWwwg!0%4z1o>X+7Ia&r@w7bcoYRJpsVjs?;yQZNp<&Ap9$?T>x1enlMNrr3Qte~>T)o7O-~ZupOo|5`ai~QVS9p}2=(VtGA`?|5&AUT3 zXPi;i-n-v+32NIakG(^gFqu9h3>WwyrvJhrNIR?b`zfocCt6y0++G!?JzSY=79<51 zEH2SMz920fB0X~Hm(--5dhgHn5k#Y?M{^3(qm{6s73KBmiQlE=MsJj6PI$h-KB%Li zDc*T1A2Lkvo%%sgr>KTBf$ND-@|#?;bZqzM{j$mX2=YE&V=IT$c-n+4rK$6Gk#Y9c z6V^Xb=JFTvc^MF~TR4%yv%!R=@b$hjEa3Q?HYsjFue`o2t|Cs9WMobvTxbHWotaAT zolPi!N>d~X!De0>qnGD2@7-0;E}Hys(m1wzz2G<19?^b9aicGdf~(#1W;$WxRoWnu znju*aT5IED@o)I$E-rfN)bm%K$fp-LZO93IK74imiSkwLxxB&Fn*+Kr^#gkC7jqv+ zSUh@rf|~LqRepP#BB@{V@xEs|cA4|EcBfgN#HC|*&XhKzd4F|AX|FgJ1wV?FnyaQN zXqTx>QAebnU~4v`eN%7NYp8Q0_iFoBHi38RU%6AG!{x=c2DwXQ&yx{;J@bOTvfgYA zRZQzNhjy^kcpg@vdRKNm}6%WC~^~zLg%Jb1LV$A!Hhoo#L~Rp?3DS zv)Z?ZmuX0qBEE=hV#DH)YWBssQ6qftGkIQ)Rtq&6=ag1SB&&qCM_;=%p8PhREqum! zZ#patVW{ns7;5m`(bp}67h)V7c0cnRSMFKPjD^!C_oqi?i8{TmH3^f`)On+Ch`h{f zI8E5j81wx3pzu&mX90PcjB=8ou*vKFBK_jmx%4{5Z;UF;O?tA#n|mx41h?iBw}{Fl zukxnE4DFC+dNct65C&$7UAcOWfqZE6Y#cq!&`)B6Fp)Ib%F_fdqgA7N($|Y9s3T{4 z&&$|(7~WG`5b&XW$L@>yDQffH1uZ!@4L4~Lw4&=-+%+yYGKi_RZJy-%Vd3IAnR@J4 z`@nv7<)-T1O2ph7QZ-G%h*gAhHQ8EH`ic1QS@ZiZY-h*23rs80`$A7sBO@J`u2Ocw z=CYoA+%tR1E^x(K4Qabz$X`$8L2rX;{;COmWG8YvE6X7+d%AC1viD|oP840|c`avCO1;fgnm%G8CY#Z=j&R;*m#rZfdj289^43dodkbon524{NDN`+V zI!+8Ee>|HaKROs*Pf!hez~8cMWJPLQ)0u5!^uDE*uZrOkVf_j62kCUR5ysI^lXqv! z3wwujR~)+Ql(ru#ZOJTivxIBv&PM%+h>sgWuDE~O?Ne4L+2abuaY{ zfdnu82Z9*m)UgJS!M6$VyQ$~LSjR=aMDej4*Q_2TxWg5K+@pXR&b<|x&q=h=u7k6+ z-`d`AtnxP1t0wJ2eTokoxzqOEKx^#_`vQs1UR`uzkA}ZlrC8#2(5aAI%9Av?@nv4w z>GVoIqYi`#f+b0BPpK`6nmIH-V7>6Vfze=?RiD|3p)an>#Qmh4PRmf%=OwOJWDH%l ziwe}H44zBKy;~piIdm2l;PAXbwBIkIW;AU#>+hKlcYjpei|8-DeJIG{V-!V`p>joLq0N2FaW6NxoJyo6Qdh7Xi#Brkf5s$HjzVC|o!?Gx2S z)QPvUnl0{#jZy{5PWJ`!q+TjBdhVfZs-cNivVE$xGy*O%MBxq!9YczU?A)JTmulW` z&{{^SP$zYjF2+mv^1$@kH#U#?v&GLS^tSHhvZY;cKGibwSil->Df203k2A~FIB;>U zLhH9h;BQsUl$u5g5p`WXG?}=cjvrN0h5z2O3qmx{-3RSsFK#&N?Y2sn5=7#KGF686;6CzGTt&nMO#|@NYbj2ZBv#e zfjmF!X)o{cii;8ky1(Z;e`?<@vQeIMk0!g>$R#U%@`5oVtIJ}d-Usb|q8kdiEz$I< zZni{F`}q^*ZYj{kGS<+`*MI2Vp^Q=au=FA`>_t>6B{?_!H2MAcNuPThEt0JB^j<_V zC&?6@UY&amVR*+bKGZ?rcw_lzJ(=2<{dbf6FOpo{7r3^1i5<1`ZoMzLRj>N&t!!?z zT2sw{QMQKdYumQ^JP8+H_o$UK-eO_q9r9B7{4GojAAf2eBWffaa3TMiR7EW4ye!QU z-zZtHD0D8>Khx>N3l5DD1ap#x-s?o?@sEykCAvSEvE!{)18;x5ynVfDoBK|FrC}8h zI>tApdep(-PEYA?uL}(1HPAkJ8JPjSl$v5K?NT4;6)CR%j1I4jDfLRaa21gY!(M8i zhxgol$}Wy5Mttw#FDVPK{9I+|W3s%Z33Kav7?iS?G8D7BfmPI*y z4h!I05u%d6ADy9bpE@a@@Rss}h?@gRbCIGa?IW5iM4QJLRyOh|D&G0*dy*zU#gtnz z!YYyD_ukcivhG^uS6-n@n^w5A#$fQI*nU5CJwhTze6xnoSE0?@y!B`1HKr6J%>5t7 zlDWka7fDItN6D8TbPC+GeM&d*+)i|P!24H~t4twDHFdCVO)TMR#?vn%vs6V0?n0jH zrt?o5>;(<|RxEGbS$%)z%(K$bX^pCs!K)L=U#stYCE2~pSD8-IUiyMx{K_C#G#SUx z@y=PIIa+$CC+%>1)3mfV~%Wb6Hmpkc_G56<& zi1+)ygcLIqAEPDsNzgQ3385r-AO39k_-!d;g5B^yiO8up(an-K#?IfsPOiI%6K)oA zo(nXsd|-VxKW3TO>AWdn(nZSWX4jj2M2j0PlD;|l6=R8J7iH+szsNeoHuCEO$yVQ< zkfF(v(?&7#M2Ddyd%~NkG9LozGXy_5n~qUDoR;I!C7VXvsn8-*FWkAZ0{N|)`NxEQ5!B7_}cx|r+E zL2UscY);E`309}0T>5!R-4(p6VqeUDPZ+sN7(726*JH6_5hG+k`ZByVVuoD^6DCuh zEZDxndUc6pW%|3dqR^(vdeP}|{Ks8{@v}4Io>`HzalzM?o+k=2jR~iU#ah6u?jd>;(pb03`v!1Brrw6bNtxfV|>{0{q!lFyO~OfJFS$ z1&)Urz;XX6^Y7tQrSF3{;X#P7fXt|rac{>3yfd^P{j5tR<42%vS2^L;;ZlP2Vj69&=4dNa{vW|3u7S|7y8!!m2dvMS{VF(rt19>5lNH7*88o;hm zFcbufgac#_5{`jD!N?H+lm&-C5x9~5yDSO=1Ovcqp!EZB{q?&r=mS`dphhfMmw$Q# z)e|i7~fJHD52lI~v za>1<+IFK$11;zCb6osLHqyYdH0l1I==q>zLwFoTWh9ZHK5J2)^$06ayU=zye9jw&9 zG4D9&&tK4!{|RdX7sjPM`x|Ov9Np#+1U=QT=zX8LSN5?~z%Tzu5gw|0yY2d{{@i!v z8QGOOi5(@)I(7R45TYr^_Mz>by zQIbWPeYQsx2|d$*nm`+t&IB57w*6486@RfQF%`GN#@ zp2Khu#byU)!Rkvx?S!>cj8Vap#WR$3&ztcQ1B5Og0$s8?F*LYJgvFl6C=|@9B z<~yNt#}>Yncos!_gemoRmRs*_@9!sVS1(G!*$7~7Nr`G-8xcJwRuj`ER42GGQ1(V# zMePK;e=_OPQUeRIl6Ox?6oI$5md_n}lqFFpfs=jztvkJU zr{Z1^|H}05n*14lv!cM|_BKI3$@BDz!uPUbzuSBXzLA@nd3sv=d`3Pv$;MAW?e56b z=k8c8ctXFHV5YCXBHwrF+YmoNKwe6JPZhrkD;r(8OD zp>MtYzX|&;b`Y2nLPjaWM=2Y=lCsE_kurS^MRAN{mj=rop~_~^?4M}aTfG<|((>8* zCrdXuEyHSVCOi^o#x|~9E6d^FY<3*~MK+FZWMw1lFylQD85m~Zb~k)`B_RA3U9m83~*S$-COq36N&UhU?D zimV|W>jfy#`-qUkuZtAoS3`{{c`R7q6FH-k2kaz!1Xsi!? z89x?Tpz@8G?(H{fC^Na-t_q*=D`;xjtM#9{C7Hv`v$L|-baWW|%3tbw(>44G!%XEUx8#%k*Jk6ORVXc-x`4%fU1`IdL8 zv?%#iQ0Sw~n|;+U*H0;hYx_GURN7d@%Seq7?{=e^t&j%N zhLN+MX!z(!QrolYa#>??+S%W^4qo<@@9kXQp1Gy&ceg%{i$sXr$*C5h@ZmL<`$`P) zwJXV-D(OEkV`N^)GiZ@E>2j<$Aq9~#uZ_-r_x3%?a|#B@Gq;jkG!+bNr3$%nUVawv zjg{@?DQs%FDe*-7Gh5*|?u&PdDg!rIlX>7U6f(f|h4_Zkbz{ zr@EcDSuziSe4li_cq{=s!JtIuRUCV{EyQ2%T-g+F!6av=--!a0Poh8`8*H6MGu6=J zIKOd%>+AczA+)bMlUQ=D>R+I}w(B&X=(L`0rx&7DTj6;(q-rS0EWm>?k8xkhR#85< zE81{^Vj^wZ+S&wTy)#`anY2Z=&ml_qHGYjqAS(%ah1?4{)AoRr%2WE(joPBiA~cxN zN||+R#w=Eval3Dm`+bI#Skbn%W8lg)z9ERPepKL(a~<`dkJc*XT%+9rS05WAv>eXd zP*i_x?$XR3%9q8dsGUY$8<9@uL4PN$zBsUn`Kk?}7xft4{JASd{<%Mf9}$f6 zg|X9kS{OFJ@av?{g>`edJbrbVFM-Dn5m3~aD9Fo_t<`#eq}Hc>YFaspCXm)xelhjq zrJ*^h3RC-t0k&4u%`!U@rf5Dh*kDu7H^ETSVD4ExU)AmzSCXV`I8ST19BI17Z@FLz z+V>{r?bg$`a<{+j?}ba+dPG(}Eh5p1o-Fa#$D6IQ~#?^~C@H^$M zp{38-dM_7>{ZoN~x#A}e6@HayR|`IsTG}PslFPO8^kS!uiCxYVX<|#AbDKL>{O#R< zQtu3}GoO_wxv}0gvrI8qLY)FEN#dgS1Lg~D(LbV?)3=VNb6w=fU$z+UpS$uM=6ho& zwD0_GL8^*3q&1p;UOyuyRy)(K{nWi$gkwYOm1N5#rE^z$o_TqZwNX2hWEiwht0reT zw@d6L)HO(+?UZV#VTxJFSdEN|pn0eNJpSIJja-KQN$niwf=Sg}Jx9%ecdw@T1=3t! zzrHGee>&0X%{WC};*Uv+7lxl%h5hzR6P?#>RuD~`ES#%zoWIAzEUc%MM?{y2y6>1( zx~y=%@+sV+GVoaOo|xyFv5?PYf*Oe1962FxcQv41fde2C(N#*?e%ipFM zy2R`m2p@4iThxvg-Wq23k=*ibENknTZASc$68+0hl)65LbnDc+>in);uHcamE=#^0 zDS(!^zjxv6hS+-J$A-)zj$0b$i+kg*C0~X6p&woPb(eHQJ$X#j!eacb+j-aa4AH69 zl+SO)N4w`^N+yq28YU-v5)*B+csFD}`s@3iN=#1I$yRHFu9`% zrC4sYKUI^<2ICQZUIU;@+LL<{I?*JEr@zl$(T62`p%+ zY+k}_DJ{0V{gLY3GDDgK4N(UH+Kn*12G@FiI~y{-M* z%JwQMG)z$;Vq)3WQ*=u_*3B)nd9YQ?sQylx@V%iZi%lw$Rrmd zlrUbc6I*-moA8W5CN`%t)jy|+4D0@_rN=I&cwSE7h0NfkY}y#pjOK)l$rw|s)*Lqu zYQr2`cZSr|jfb9hhkeHvBGO7T{CuXClYN!%xaUkLtGcxJOmSC5tfqwd)^8@64Q@=A zo@cTh;b0bre(x7QcAxYiD*vjz9EsS8xrE`XxuROv!|Nc>nO6)ugLQG4a}5wq?6GU_ zc_-^Ce8jH4FRHujfwH5R)!tQaiwwzbg$v@Kj783Z3_e>xbAIc2dTQO%zwMjbyCUj zCv3Ra-R9MDrdGSf13S%Y$@1AYQ@rNK_f968=&s;jwS*6zSi-w({oBIy$Kv$Iz$SCZ zz=nIz*d06q{C~2q{dJ%Jzu4D+?FNRkP#m(ap|B9_0rkH%upPwi{Np}{|325BTPE)3 zzlRSlf(H>#|GaJfXEFSJJN^H{zJ`T>+%*SAMPMERW=mkbL8AT`$8h$Xe_66Xppy{_ z*n*HSV9x^g+XL$u_#FZJV_AY8*gO#kEQsWSVPL=}3M_JexPYAwJgETeUBIpeL0~W- zSqB;lX5qlDhQdPsQ3nc!_^Uf8C>(<839wHA6A%`Tv)!S9g$9EJb{S(_w5|~n7_(3? zV9Ybd#hDuc10V!@Q2U?W!QsG02eO&`C)>?GpFaB^Z8wMSkMb7tBdg2g{aH?#o4Q(4^nk@U&R@&oUczH8g8dKe0yTMWeR^CYd>Te7FFDSi zsCaF^@vsycwa;^kegGfk?X=uKHi#;mM{77WVTINJg>Z7a2)6Ds9<_fLL9-(1yNllN?5V#BoM`$Qqbo3D#5|lvSh!si4261+JFpF+H{ zXz-F5UK^PIP!@^H18`U_XyC6pN;~j;9pS@(5A;z!pf>Pn;H!U>40M93<6Jw31hJM^LyYCJkl4;e^^%-{PDuT(2njw z;5)<9f5Ko%;>{&+A|Iu}peS74oCB)Zfwl1_Mq@JR0~0 z;M2gw9c>px(&P0-7=@=#VIZLsJ|7YnqJDTBFeom!&taM{7MD!nFbxhIl1FLafOm9V z0e?Hr*L%1uIK<-95O`}Bl*E@G_(i`Ca<1)k@ zDGO!^kA}hfR)8-Ve*fS=vEh|P;8GwQZUX^UFCGnlZ^4jITta{&Wr0^0kA}c+7aU9Q z`M^mXuPho*Kf@3xoM-w-yZC1sFm3qr27JVLV?)C5^dAgVhtG$?(@o%5hfCRUxG%s_ zj8DTqg8-j9z6?-E{QUv$Sa@;b{} runTx(t))), + }); + const body = serializeCV(req); + const rs: any = await fetch(SIMULATION_API_ENDPOINT, { + method: "POST", + body, + }).then((rs) => rs.json()); + console.log("Simulation will be available at: https://stxer.xyz/simulations/" + rs.id); +} + +main().catch(console.error);