diff --git a/examples/2_atomic_swap/bob.exe b/examples/2_atomic_swap/bob.exe deleted file mode 100644 index e118b9d6458523e12bcaf09fd7c18f0d30d5a668..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 59718 zcmeIb3t(Htl{Y@JEk{n`NO?FINQwvvI5ctWJRKmcWLt?uWLx-=7)rU8W%)s5N$8O{ zKwE>87FBiEWoZ{$w#~BLZnlrzY`5DQw%c`hG=b9AO}k&y$F`wmS*4*gP)f5jTmOG& zX70VZx{d?>_xrwo|I4+nX6DS9bIzPObLMehO}CD*V#Zhr&Z#NJ#u3ut;=eQh3?qBN z6^}1qUn=|NmE#uwH?M5(A4odmiCAAEIOq%oqtRH(*&TK!(oyF?)Y;h5<{XUmgsaQT z=dP5b10KeD-fw3=NdCp`EWy|cD`RKbHEdo{(L2}*Al2iX%h;(U2pv?&ML!~5B;=-~ zl_5b#jfDeG^jdhm7;|#4C`(aJL<{mD0&fff_-RKMWA{ta8f=Eh@Xd@>O_M+L0N^vw zsZNE5QYbg>#1DzM0w*;}-qFPZUDZ9oR1mO9g1c}M&8untf zdO%i$bUlWX!a5@^=uK2Nw6+tppMDPEB>wd{^9~ntO;o2MoUeo6M{p8eBPH~M@YYG0 z0|cJHNqF0F<{i*q{kqz%98z`#f=QfCoL-!Hhl@Gt*KMff5FgAAhAZfCVRb}~w{a5( zTt)mCkV$`caFF)H@iuMYY0k<4Ji?D^C_I9C)UVr8!{d+8uT$d1IY|24DZNGRo<-iAi8DkiDM)vL-PGdYKcsK!k?d5N2KnpYq~Yni9%N*D^u}T zF~+j&;6!TEV^o#gub1Pe_Z>vG;$MNEU6gU;Hp5y_;!_Qbjnr9Ex7JR0N1m#JZ0s?T zAon#CI`fSE3K#Q+yf=6)$M3Bp$B};6{uOU!@4f#u&yw0oK~eexBjZ$&1@`yfH8nMr zz5g5%wI>cfWB=$Ar~3i%j+Xym9w z-m!aEoA=(A9wOEgkCh|vj<%y%=KH_)e$JcSc9Ividr*smUxgCG-fYP#YJP8a`F!Nn z{?eO`+x*#8>+Xe`7J9dS-F{#r@E*$*gTd7IyqVltul*l3cn?mbf9B0@%E2mXf0->E zIcKpSSOLUrDe8ORPQ;E`&kS<&1dL}_0(kJ3_5-yDQIBo)6fjUq&G*z!JPs(UeP(Jh zcK~8Tx8GcZVWi?y!-Q4QMaY?=-0_7x?<4;`HI?%(gYtJn`5;F9*qgCFzZalJz-ylo zq|?jJD5^akIFVX2^1LN=4L1bu$b`lIWykOv&iB6P&K!4-oV5(UvBGU{JbvbdUfxm% zPNWx}xlFfbpuTUOEQY+Z;5Pt%joCS9 zzj9Gf(GO6zJV9)s`i#S$wRZ4C#V$hrM>ImV{CY$))~)!3nH+c$#IhAvQR+l`Ual9+ zvesotdhdOT?Cf2)EAMvS=6?5+_OCRq>^g0Qp$q-NJe~p9f1z$COyJ;8&~A^B8_Zop zWVl@%%mE0|{sp++Z24yp;unuY)8FmFTG4$$bPd zs)F;~Pf98-q5}VN0EjC7yMX1*c+Po8-gAznuY#2veGmHFBpeUXj1bLVU82(5M%Y=; zIrliV%HyN}7+~&oAP|`1KSMm@c}-vuf`&DToUG?H^f~WCgn5`sWjr~+yrD^Nw&@%S z<$RfEe3{9|dHVtBb9tn{A_$;#wj<}YOn#kn&7qDit&V|Q8N3uEe{?G(FNRvd;%u&m zngG0z@iod=!pU}=C5~{sj{!y^l>?2}`%8rMzTcBka)i$#tySdv&;rN$Yr?uk$NCGx zQYHTf73*V!wLxNW7e}lBg*}sADLi8Sr-?9`Kkm~XK7Yo!b z6}64Bp9ShM&w0}PY5L82&U0CBq|8-nS;{6UZcxi!OW7YLHbh#j!*Vry9%aYWY#Iot z^innZl{#bxxR6aRct<-<5*68!DyttrB{btK($W^8%Wi!yhO3NCilbnuw?Z zJ*X1-3?csn-43>pPvp-Dej|vCc+Oi!-gCal{^2)Bx1;4Bqnu?#9z`Kn-Qu>Qk*AN*#ZY`gJ=~|Z%U^HO!W?eRKrou`|439q-eO>oA z7@7HusC@DDL}B5`8&jFd)K-ig&dd`dIg596*>}9F(eqN@IY*vnYO#0ZjLp0C*XiFt z)c2A(!zsP%_S1j$JDN*ifIm}|nQR<&S#BD+;VAQGo=BfP^A9?|to7r)aHA8cQZX|- zW_>@>q|MWJg4mdMYSmxvho4Z7+6iNQA zGZpRv-hBM_KK|UhohN$XUcKWRq~K@1q3fpu4Z=Na+?)9pH2g@ICLBviitO?a^df*U zV`k#b{9vkL4uNTE^H-=cGEVt2M}3)-q=h=t0?OZp^4?7Q${J+D$WVFALXgHJxZ~th z#W(jMJ8P{5VS;b^0!Ozl#mwD1URJ^;gq>S|Gr;j~Uq#eB@KV;0h@P9O_z2M$E&tgj zlJwI^OjRtv@8eV)<~vm}j8yKgFmr;TS3*A%#AMV1yR>#7dirkYRBdmv#*sIQQ?xznJhjjy?H%tvR?;A5)&S~sA^BXvco(qnu{G4e)HYVpV$mXu3Fe%I~1{g?YN zQhP@?)l;zbC#j!$v&A&uD?-1)#08-AFZ0XfZpr5eBCvA3y$bCU@^?Zz2T5Nby5?28 zpNs$ zom%O#ufAtxpwYe>6P%H)rS=be2VAn~uoW+%CA^`M`!FI+o$`(@AIF-|o4wQaYNOrZ zc0!{4mH4^SAr>rmfHHC*Lya%<3d{%c+ynajOuK69E9oDg`{mrQ3$(E>^OXHSt044c z5b}<0{Id7xi^X2cS%0R>c?<<%{*72axU>G1^ZC-pJa*I=#%fkzZN7*>>wWl!NsZpG!PH@}K8wC*a^GFhKY#*jCJx<}XgX zeCD{fc+)Fz2JUee5rM!?lw4T{%kXBJQF@nSs^U0yBH(onM$sly71tq!?mrK$lzAfe z2&^RQVVS8+akg>W`Ap;W=TFChR{Q$t;~4fbQ<#u%`+YCqzdzjxI23R%_iE)2Y#w0>ZiP;w8+g^Pa?;UVPN%H@5s41@BJ8l=Vh1LKYSe62T#}!d>WyD>x=f0 z{iv9Kbg#`f^3)uEcI`Q;!{~bsH?4lncl4#==Fy%PZD;0+^@wle>$YrjiF>?+SZ3bH zmijZV`z@!7Eg8?@+>Mx&G;Mt`{e!G^H<;JH4k>R+aP5D137F9O!sqB{ZN`%3gn7G^vvImWfuY+ z6FPs{8^HA0eUnnv1_}NbCNHO{)y78Nu%$OO+P`dMgdEQS6CZ9;pP-^Q0s+R_SBq*M z^BhJcS?&QC6=0VGmU}`*d{}T%C+p_He zo_K`l{u!d_7-&+H&mHo!H4^eQnHm+ir6Y}wyy^x^{1ar&Y;LB>U&~4FPyoL%mK^H)7Z!9rXH7G zM7s?dup+zky=j%uliNbSal1{j~Ss>zP-v*TvNV{XyJYz~7h2!EX;@Al*&sBbH}gAo<9N!o@Gl z7GYS-9KH8>WIONuuZD&l=)cs%g{k%nQ@ux;>JenvKfvu%nChnplT0;zg=(hPq1}X; z-Ym`Zpq(OF>)|dgto;D(|6(M?Smk_|cj^?$lW(t`++I`Lg{^*FwbkdTUAX=K6kJL3 zpOf}F4&iA%;(V88U$57fz;)3^XI`c-=$E-c+YjD>Ox36lYPA1R(6%3-jZhyYy@5R!JZ?yb*SmIR0yY@hb+2vnC!i(W^ zgEzbOBnNE^A{figoBB6z=Ic}6M+aB{<4TozvkfrBS7?>_E(eOFe+*h5rQ&=csJt6X zxMma;^%A=^~N z7w;fJt@8*lTE3FQm;X1JQlWgoALI6&wf;Ns!1^0$JNJ*=K!(AU zNc{kLQx$E3{O6G%le#SH*!tb{yfZD?g2S5#F zvo|}unSdjAH+hB8@_RVujlewfJ?;-MI%7_a@AMmFJKgCF7&tbuOQgZDf5_h90482tY4O~sS4KsB>RMDzpV99z#+xbW7Y=|BhGp3 zv7Rn}7+~m+3jJs-_X)VP(1oqe<=Ugh6JF6~^`bZh$E z*uu?uPytl>W^d>wi2ohI{x)Lo#(E8KFfsL{*^!}eq2iqp74z}vdYvuM}7fKEO`K$n5^m@BVG8n9>u;(!d8s!pRM0X zZB2}w?SL-jXc4%X->RS_`%6!KRXFxcx>l!C~3|9YkFVzgq=tVQ;xTr8d_) zNWzc7=nhWMypwtDo+m^td4G}RU|h0)3VFjQkLs!#PubM^lH^`aE%nkxG+&#qd6oV& z`gi2nB4?9zt^Doe(cBf1XCta&xIXF6E`RzOZV%Tt-RjOflkW7xoW6(&E$qSX3pGHW zC$nQ?s4et#J+2X=Z}@F6P8S*HwVH7@9!1}{8TN3ZDKnWUYbe2Mi zq;~w4AEprjX3k^IUu)d!_ zT(pDt-v<=WxB+~b#{mH0#p!`v5F&@}pJ?t}0Sv~^r1w$I)PL~KxCOvhEw+*)Mj z#_^-}kkg-gK~Dfk(-Jy{Yh0kM9|B5y%WoflNDa&_Aa>*;dZ%{CFJed_qbNTU@k0Eu zYL@}yh)hq&aIzr(R6$z3n4uE+ro399rr!?Vng%?rtG=S)!Zu#uEF2i5}cG7U7Iq;^F8(w9kpOvv(j8b|%89bRrt= zafTC#XbiMbE)>t(pXNmQcYP)gF5DK<9|OM}d+p1G_qoN}_{{%D9L!oePAEE;AzaBt#ZIGGIg zg(-aWB-4?U6Ss<{VliiOFc^s-#%~l2$B~KZz<#Pa znj2LqI-+}`v3;_3TyAABnCgeLRjaRau1b>qu1Z#|>RaPn)wkN|tb!Hp4Mw&h0SEWv zXQ!r?8}#Zm}qHI(H2uQt4pi=5#o*pBIMg=q1#vy7#BTNoO$S3~E$lv+3mm ziC7A>)ROxKQvJ>lZjyD@46Pbsz*FlUPlnSyF(@w*3k8Wc-DsPNg<=sW+Av9gRXx?J zKcA^w_dp8mcvm)q#SiyMV*k!~oOn2RE%tw#mbk!g4pBdBf zg7jEH+Vy@T{!qr4ju)g^LBDboq$>;3HHB%Hk$z19f9EP={^T-a`jqV7OdgJc@~&Yc z{<#AD*9y{S3(`9p8m@Cz4b^Q{Hg8-Tk0l3&)+X>Uu9!7Kr>~FQRuDZ6mMiuMr@PCR1ur{^eq=q6#dw5O*M4jk6zdx*z8ToN>fm2;DeShzAgU4CfHy6yAlKn+_mO z;dimeIfnQtgcX-E_6Xumgzv}sX~f46{yokkh#x`t6`Wr}d;;NAw9#I3Gfs!n-iy9wHospTv2X;0V8n^Ye&LAS}5S^+w!* z@Go$FiEt1uc_;D_cOtwU=W)cl5PloyB;u0@=d5AuB;pQ)e~I%H;ztnfT8j;K#K)@9 z7C6rm9N{?5bBIqM{07eRh)*K?5l(uh;}pU(I7<+B)WEKAt_037!h<+%fWLkG-_Zc= zS6fOftfXFs-3aYAX16S6wwgIzrEzPZWTI%YOyUfq9jVNh(D$FiN%l)&Vg3t%otOC( zYCMP^owj1DZGB0xB_QL8y!Zn$uF6$f%u4HvYAju{tV&~UDVy6`T4U`hi5CZoCMuXA^zPGPCOsT<5@ZPU}dqR zdw$KluDS8Di8+(jQ^jX30j<7-zdjG&TEwjDEj1RKmD%b`YKpsx;z9=nX%$Zm)jCr+ zr-aQ}&ubai_^5TgSU4R$NgKi2$Nw-51jh6VS3Qie=K=WWkLa+k0#=86A)J7#$63I< z52`6+cu2y>WjHCr7i9Q`3>_a8<(x8HFGIf!Z3`fGLa07O( zu{2t#*Ta_QLEHOj(+@z_O;CR@ znexy^8rC|LZcAYoEFJendt+{PhC}uzQ{lmO>=(I{+p+CQF*c_dxa|X>Jq_4*OkrMK z?2AI`U<7+Dg@TS3`@_M#CNSGx!Z(rv*p-VV25Fa#6ALHUBPFe=2)3iPr=xu9sXf>o z3A4W-XhSfLO;=z-C3uSX(**O!VtdkY6&cD(>}TwAlp{B+I->iq$;w!RwJn_Li1r7g zJ&|yaXDAeo)9w;#1^u#{t!H_YkMS#D(?zL(qVR=^@2p$ zr>&AH%F=EZ)@dq)SC=0BRg?xL84rhOcTo}2K>w|P_k~lmw;4?IC0QHN1JG(Xx|g+6 zJl3uBLL+#j4XFsWe)sZx#)3#E!zm>gk1MJD@i5kU0+LRmCSv!Hu_RN1p~0R=l--Tk zV6so4?Oeu2nGzDQXPAP0#wZ?R{coo9((~(#?X++vP|zR?6)D(0rb2T{g59x1id|L$ zL&Yu~W7m`j8t*LW4PgfrCF@FhW7slh*Om0fu^*o5Wv-H5GCt;}5Ewg3dXwSs9_B0Q zO@$*7)>P8F55|w2drD}ll;|EP84M4G;%L#)5=n-Aq$HkBB^i6Pg!X8I5v-9*uuUBS zGxj*eqM^Y!`(epml`%S=+$oPG6xwiyCQ<`?!)KF{I_eZi-+s^ulWbtp}@x`5PzYF zIsa|QAD0HOC9JkTZObvW{U4BaK(MViX;`%ke;>QsC2R@eHp`CY4rfE{7IEFkxppv> zj)u2|Vu|p2B!Y=h|F$SDPDX>ywSDS;3$oO+HyT?z(1TgJb8T-oE=%>`LhRbeKzCm# z1PC&dsbFZ&T3nu@2_vTB^Q)`Z<^LxWp>;rB%dcCl6D4J^zB)xLdowKccN z%VCHbE{Ua-y_@-kvD>%+w`tVW0=O)^mJ`{q{x-n?vqb32QX1+HCRj1Ow4lf~ClbRA z5d0?{rMVX_0Apr{9IKu~fRZ$RVcZ4h7!sBNt!rE29i+4=dZpD zc>)*(lofqpB?&xNC5*{^h!tIG;WYE1ds)$P%i{N-wAD7ke~FWZftykKfO4f}=^>u^ z8UFiV9tu_p0|{KIFS{@4LlwMFg>SJ`5Em65OU5I? z6s^`+(G8YMuPG);59J9EOXB)GD{_lGwHOv(9K78G9t_?Ab1&Ly&KQVNMnGhgV!6^C z*@FxDta#HU#1O57+Y)e_O=`aq!t!q*%u3#~r4d};(r zQkz&eYe_(u^*Wxk+7`ju1<5Qg%h2tlepBvY0OoNTxO}HGDSsJ z(NB1{!i^dIxZ4BWXwJ1uNf9OesbDwOkjZ{FXI%w7oMN^8D}LvF6hGg>IiG$2{2qdG zfgQe+&Dm`K4*;yTGx(iH)tf?uQH$W0O;X8Hs*Bt)__yVlE z;DuswB^c?$0+HLr^3tDL@qAD;rl`3{!N1U|5f@();kbg^V0s6Jlv;&uAz?-Nu#Ey% zoDZuLuo8PD23E3^m8V##JsnNNB3Roil*{JW_i~3SQZ{=8n;l%bGFDs*xomHsrGJHp zgB8DkU@n{mmgQ2`B(rr|E~9J-->YZ*oyb_I){1hlU(mOo%`f|RN2HXoMdUcjeqw(Q zbjuczO3Hq^oRm?rC>p~)Nnezeohl>E+gR}`6wqk_ImtGb{m}LWqLUUk1SxbI3oHBa zevi~d> zvPHr{R+i(5l10h>fnE$2aQS7YImjkK7~kOC%6`Ft^A`=`wkEOrPyDsJv6E2t8xHg@f{9AV>*cojxB$-~NsOl8|6d$*+oImMLIhda z?|7+x0thnaIYxv4vdr%}WN69Y;E*iDEWFeK4id#Imh$Cbc0UKng2e(hwq$5GGLbpXGbQu60`^=% z0hv2r}FcDYEeL>lJJ%9e?A72$V->~fJ_gLJ4L>34{94bsUwv13+t zg#c`XXlMd>sj?LUQfH|EM{MGjT_pfFSSrAh04oK+B>*t{RRYims)IqoxLN?b0sxF_ z1i){pfS80)B>({d0LE$oXonyWj8Lu>kWL8!&N~IjTpd|!U(=z}MEeFf8Kev?L zy%ghPCkVE8G<%e`2Ct{FgWfx+!vgNscAwj?w0d?Zjh=u9caAnU+=8)GFV*HzE`U{J z#A*xpeeFc4jTP%TYT506_YTgct=;YSvl1PnsbyCuv*x8eO)agrC{4b$CU<*-R}lqD zb%gC5kg1_5ptzeGmHJk9Gmti{$M~!XJsrm8jm$PPMq3LB*~ZEW(A@rxJXUP3p6zaE z=xFNjyW2fVOGo>T7ToQvxLZMDo{ke}ZSlA4=XF=2LyWOpjwbirT zgGMIJ)O(se+kFi%M|O#h>Td{03#inAtsV%})Y9nNeha%)2a~dV%?*v726mYa^)M+aM`gWS7Xe2t`cWqV7j;%;ngWy|&4Hr(K?_|We7 zY1*)!T7tdf0@-!!3Oz@V1-jA_fawzL25t{d9Y;1xTYD>Xf>yXv&q9xI`*8=lhw8oy z9h&1nhb@X~MQv<_j!)`nb9=Y5tBkM)e|sZaX@u3cvsF4o2)fFND?B-U6#t(bgH!0`7*LXdBsrRCf)t#)#Q|OTgpzv_UYU*T!m%*(6Ji zQh$pQ=xk|a>-9`Bjeycdp;G`9jUUZ3aYR%in0g z1Us#z|HP0(%v5V}={eHN?)J5N$-6MOp5^xMcHh#bY{#gEF%b1rVB)M^M-V-ZI=|o3 z%o_BJHm`4cdo63!A-8(SHFUOPSXTtE=0@hx^Wiy~TA*IpCCR0+?RxfhH#)dbJ=>v! z^PI1;yVck3!K2aI$jcp5Q?0Vg=T>05K0T+og}g<;?Q3;oIAS;HIqDRFCLv<5-Cczt5h(WGa|3X%F)vkn$U?QfC8a2spU^T?b!8@xN}S-=QHjcVA=jS<_v5mIouN zvWptJBM?AW*sW*z(R{3v*`CI{G>e%apKb1zGf6&U>KV?};lSMI`q&?`u z+2o3%()E|fnWMWE6D}IKjOhTWPfi^r3J2BIV;_bLgabRt-o^Zor|a8xy907M$N^kz z+|x;7*Mp^;PKyaJ7fly?P0>=4YVHuIYl}84gjm`2MN5gmB}xzO?ND&%f|9~b0t%jd z3M&GCus4jGL|EA^MdgozhSfHN-=&FgpAy2(jy8?H)>`_vm!hK0EyBu}9rG5dW+Mef z_67=y?e!Ft*xP&*TJ4QIEVW}y0iX?Y(*}P_eZ2>5F90_C%_33;%FT*Q%(b`s+mszG z?e%V$BQH76?!%ZEp!sCZ>f*w7~|^^(pPJp7R$o0_Dc zm8vXSu}kv=(twvqsWial5`c~&xGh8V+jSPp^YXPq@31$y+jc5kOfKRT0>I-=JG$vc zox+t|W}daej)^I;Q5s-$Z5UpzV#SAH1$@=^HMBany#OozJH+SqbPp*o4{Xb02VyXY zCF(ZYBEq7a%^M5yZj^b+y@`#Ax#*vW?4|my8o$*>Y;l(I;a7&nDtm*>5yiR*X_r=xGWFWhV|Ml^{u|f9Ud&AbX>2yZMO$=vw3;2`j%$g zHsZ%hNylsR`7u@DvX|$9cQ*TB`#Rdr<|dfGo^IQD3)LB2zywp=yE-@3u4fDLvKrjY z=#jj{qCBv#!9y^ZiVsS~;z%c^X0>@*As<#od0CjS`LQU{Av-)YEG*4~?A(m?j*fsa z3nLV(%meML!zw2aqp5MbyQ#JYiyR$T-w58dSl1MQ)?-~$0NQ}XOaW*k7BG3Bc24Vx zLeP5V%mdv@6USOCQ1pVdOT8j*gkfctvSpQcqDc4NtgI*>#JzSRfjxG9*;47ICy#@; z<*ux(tb%X)^9_!HXedS(6irxj1(uC`bR3TosXev}@ww=&+?R{qT3)uCFmMr4UTfsn z@Jc#v_VKPa?`}R~6n~s>99FtpE`^C5;&arvc6AY#`idb?JQ5yqiVJ;34h^7Q19WN- z!$m?ziL#xp4RYE#jt;ba782Zm3&y-IQ>=Im;<)-1kHtfDet}qI_OFlpQ-zOaQzCKzi#1s00*>@=I<)BhC?f< zNcq;Xxn;%b!>W~^B+zvPI$Yzzm4pAehh-silrFR^vJ@}4e8H*(i|IOwWuax2ZSlNf z+vPR~hLNI`Y~H*Zk;GNNtC?>xuB|L(#kT9_T|aN@JW5*aK%hwJ#yt3+TzUhHc}@kp z27%3D@h!$9MXc;fP*_JhffCnBGz9Lv3d=Q@3bgrF&Zzuqh_j%?Qf#|%9dhPLXi|*( zFfMrWhQQpsQH1N@Vk2o>U&|+96kWxT^`o0eX23@7y8K#Rn6A7-yE6Yn`|f#Ni{FTu$TY#@&9KH(7jyrjvjQ#A?N%#{Kgfk z?;2TYwGXTJ1G*PD?kjRHs2nbiE^th^7ucSVh;Ijflp1&w-YVbyt}-g3wJke~*`W^;s}9g@?kpgVJ!^EK?TdWW^Y>raSORKfTfr zLmF^6!aevsgaL(8#TL55STBlkj30l6-y;{nc?LKW7s2@zaK<6gAxqi0dMy27yy^5$+EY4o+Q%pFt`<17+OC7>5{K^FkheOC%sPE!7|) z!f|R4N_`EK>CkI&9FUqBcoFu`fisL#m+&`8Ow3@$TtvbkaJpu|sg_?kCAnZU@CmDdy_1sKp?=|%094Cj3j`}Ts^wQk3Cyk6va$e! zG4+e3lmRB7L)~O9CAA~}ZCAvl*wT*Q3N2ra>_@$*ztdUh$5fmV;5cW%Q9bQ#z>%JI ze;=)K*23dg{B|17j>CaY?- z23bO@)8NSOz>+S7R!JwuL)9wjQfO86L^__T4Wc8o(H-k97<6z;8g5$?RyUJ29)mVM zrfGxvGV!?!RWRy@tXEhawbeF4(vClve&ly|i7=R;Et-uD0hnr;Lx>9?hD7LJ`udyvuJ%0!}LeF?;mU~)V(Q3Vp@VXNn zAQv2Jy_|rHemYJ6lHSh+oD23-Ij?&VI6|I%c*Z6~ukH*1#E-Wk54DbvXBr*81$jOV zIzk@Ww#G)gE)JJz8ORI$IH%W-^mV!p$u5kFRCVY=&YPEcntDlJ_a)E~wlNKk?5Bi7 zxy2TmLy-0B2YthOWv8#93Lt9D=|&LMe!hr&p&vYGOcS|0{m|p=1e#F$j1P5s7u1im)n|bt>fV=BlIeIHPeSEY zpIr+AlQYyE#qkt9><8g=eMi;AEx?($2+lo32a^Tev;8R`T`0x1fsnC7fVfa`9rBNW z(9>ANsaW%4LS|}dxsj-r8lLgGAmT{A#0H(>!mT zJOo4qj{jD&F8SX2$W|T61w6H(B2W=}7%tuIXnG zk0uuOWV8XyMd%0pbQ=ATtXGgpsdXm+TMNj9)(0^a9c)S&jIn?%=hP$ec`dqM`#R<%k`q; zspHpH;0SH-i;cLeE`sN-lA1~y!Q|8o+8~PUz&WepXxb2^NE=IZwlX$5ZA?>BIs00s zX=552llD`mX@mM6`2zh=wb7|*L%eAmPsZc1F-;k)2Q_s#g>6jdk%(fFng!j3#yDXI z89-L5ZOYKy=n>^)l?I_w9|g{&T^$(-^7nu^4LDx|BmgA{3#XbwTzROo6M8DOYX%&( zcMA!rb+W)-sgmL0TWK9lLOw?_kYUy8J^%z3GEeWNmZ6qHt0d0=hyYMDt%_<<5Q;;8J;64ylH(x1jV1)R#poJGDGDqPB8M zYh~&I1v5Qqy|gbQtk*c65G~bjWHilV`jhI<-(cV@{|WNaZA9EB0C&3M-$;27fdXN- zKS%Twy15Q{1<_$iM^tcD^j0iWlhEQd z(4d6csISEj2n|k#c!_1Q6D!R>Z;$R zwgnL@I8=G)N|o>cgwR2n*N(R$PZvs2drm8}y0fIoV={To4v%Q^#4(Kt<*SFwH2?{P zew@?tBBT+r7Oq2e_4hGACJd0j2E>7TL3JB@oJtuW-v`8rH_hufzXGJo04ajyP8uMK z0C6nKFSQPkBO1i4)&GUgQqXgIf~g>C(uMP4S`BDg1#-cmTJK?KRd|wVEL_em=&B*v zQn6(SzqqwB?@+DfDXn#S@t|@Zf{fmbn$m%#H|Ws&rJ%5au%aNEG);dFZ-Rv4wiK*@E9MaWDk}&Lj9W zA0Lr8v=%Am-o{8r)${i>J?l4dsnpcEAJXcs=IG%cvhLKT)RLl2e+0uYdmL(0nj?!g z-DGSmDHiFFG$(ZEM9hpv?M|&N+MTS{c&PgMJE$#x&M%jM+?UQyKju2AUUbI(CHJwl zw$OHE;}D!%op${~qr<8PsC%#6GLD{0{R4Z90#Qn&uxF0cbuQG8b1sd!AV-xrBS#kfoiM!Lp{T!^%$o+(g`^2oc zA2xBXG;u#`;{L3O`|(+E|Fnra%?}MV-Iz0RpD=NsoE7&&Chj&9_fsbBUp8?+IVdcxlfw7KWgHhn-%v5P2A6#xYHcKAkXHHo4B8y z756a{_ne9Qgo*nDChq5E#r;Dj?x#%L$4%TnXyQ)OBA}7SmNT?BeFE?=f+oFmb0kn{O|6L*)1`%BmnlcnT*zJFHS z{U+{RChm16?mskfkI#y`*TlWk#J$GE{aF+Dp;>WvnYepR+?^)wNB%(EZ!mFpnYdS) zxF0fcAD&g+>rCA1OxztN?)X@mYISn&{i|4Qi8XbQHs94xa%lULpTydHj7#X8_FApF z?iM(-zkv@YGBD0NOtYqfJ243LO|84-4*6M-7yDWeuHaC2WnHKjCi#$u?@k!7)cpjy z|6AV$-3W~ukG})?BeL$(?Qp6eIw21L#li#7aU!o27~psXkO`Fzhg6`13c(xM)%)U9 zOR!*Tv0$%B)#0$rDW2}$9=YSH$ur$O6;g-i-h>YQnhq~~E$Jtk4)JujBEQF?Sr4vj zp{A2F*bk|LMvp^iEYe@${dJ^4RX>6b;n1$s^foqz94b>t2O!PHXsqPzWh6l;+Ri@_ z5jI9vWIR+G>jBQiZ0u#=2pi-2;oqRiQxDq@Sx#LEbfF*f-f};G)in0i(N1El>`nFK?ZNmGkM8Sa-#M%G9b;QjO6@yGw7O4& zBm2&bwjsv%^|a^7<>C9-qSvbwNA~;*Vs_KXPDAg)NXsXv+()>!5vT6yNs!We{Mzl>>vQS+`@aW64(&zZPSn7Dt>#N9h9?##sfl!^PeiTi|!dtg@F z&%+5DY;4m>6L%WT4LF-WYvSHHEAHn^+$T-k51Y7;nYee&iu-FO?#E5s51F{rQw2t= z>z@_(vnK8nChiZJxZh^t9-kHWmrUI0IbK66ZyYmm_nWv6&5AqSk7VGr>4=H@{U+|~ zP27iP#r*{n_roUc!zS)d6ZiXP#hvbkGS>Z&iTjX=yTinNY*yTVY~ucqiF@3{{S9?K zrmYYknicnxChlVgwP`*SAlLniJ46L;DxkeZjfSjR9YxzK7tT}A42)Kz32FF8k=P-{WUj)LP4yyD=u zF7aB-u!_`WR#%aEGRwOEc!s*GD~|tz_1b7t*C5mFKFO6-jXHaK3;4Kd7{>~xr8Ftbd z);awe_Wz*Ok^a7<$wO;uxbA{IG{SiTI5zY_%AM|>ZNm8uaP9#Pst+9V{wm>|0?tED zb^VTRUchUb78JIziu0nHaZKv#OCvQ>qxC0SNpQsf?J+5Q4W|WSD7d; z(S4MpJZYjlX`1wPOq9D!ll?nJAw$QSLWUc9|%5nkeT? zlz(iZ95+$+nkYw1l+T(dlT{gQW5`4~V4{4$MERVF@(U))!zRj|Cdv<*D5I-$OV_Rj zZpoP_-*2MaWuko8MA>Gd{E~_Cn2B<~iSoEkS@fp$Rp^~Yt-gsKw=rHwdDBCM+_#+7 zB*b&IA$qRX0bUS*p)ihLBA=cbgZq_``M6Q^u%s+-Rsf>fkAQ3=9OKC{Rbwv$5;th$Jg4K#E435@3ynfLo%MhiYuX5iIwO+W=)qGzD5YzIp4+}3 z5UM3`@SqF5X^HZ6Js$*)%b@2^0KyC!I}AuAfI8*J0XbqQ^=&|g4D~t%h*9RVfZT7u z`ENj|=jvL;`)t`+1J0Fl5+r1nUlwEHZcJ6HYk<=Q1av4~TgJ8%L~E~j8sALBA?{yQ zOYH`Z+TVpGB&n1^o`(TZM>K)+kAS$qNayt&AP*r^?*;z>$b`mSyd4$2iQmhoaxcM6 z@egTwR_M{zrgld2UeR78ZzXV4KQFki0i;qZML2bUI1LaVAav*w?gm7?3M1$w0MTup zus;fj%RuMzM8{yyPXThsP}A=NQlr(B=$rxMl%WM*2P9`GwHOZ#*bKZ@07CNUGS>pq z33|HKH2`wlK<9Qqsth<0K!)WNF;UZd0U0w$_z6J94RrnvkO{5bgWY(A2dLH_jSNALRtVhVvukUki!Oz-3Le) zicu{^O+N)lrGfir0dW}W{um%==REGm0dX4YbrKM-f!8mn6i!`chL?4%l$?tgeFHWY zLQM@Cs|3!lCBJvC07M-bh0I$3aTs_70C9n`ZVBCh95U1^3Wz$F5OnSX#Ad+xQ$TbJ z$1~t~rF<{586^Aya881NXq~o5I2;G(DuX=7fD%nGu!Foxtfd=eVHxEn}YmM7^ddAmc>Yncq6c0EruF`k#O}4VLg4Ajb{0 zm`j(@ap=8iIUtjo%#?RMAXNrBUMgjPbVxcRoscjJh!ZJY8+QW|&|0|{pZ@GYJ~Q-! zj}sjb(B=68AYBGtPXjVxknleMiE}zC_g4WC_p_;brk4`-8*Jk;K*lxA_r~JkD4078 z@~i?*oq_vCKmd>u_NK!4 zX@LA0Ad^}P@|h=kQvkR^&k9Ye$g4Z@XI6iMQs)dBdxm&vZ9%+F0dmN|>t#R=JM(Sq zJRo(N4tZb3yw}(V%klZBLr@S%NlUm25OH6n+7{~pAq3q^+z7~+EFtVC07zFpuMo|# z>Ci1IOq30D?jg#kyly`q1;jWq{tX}`oxoA}-9Ye2h7tdtsFb0-CIFd0DUwb|`0s!? z4BUSO$RSN;ATkS{x9&2~Sp>+Wp_CI4>MHuPuGN4zH5}f`A;w%l)9c;<95iy?{5b$f zr-6GvAXOS2AhWvxdB_0C0`i*X{RoG?f;C~l`FlWWkfYcAp8*LNaGnFC%aY&jF90&E zS%Uh8t5XJEzXOg-(@*cd!~nk5&cri5saV zt2;^d3*hMU1hMvmB^Yqd6J_A)ZE+=@uBMb;uWf+Pp+hC)Ou!5e|1G59D>S(Ik% z4&a>AT1Szu7j%J+&g(wlP@C#K_hCRB2FPasIjQj?Ilc(US>ON&S{Mf-dQ2cOO1& zv=?80?+JkFU>Kh>^9G|m5q!5DFEUc-8`}dZ`5u;))%X-TJ|$GGmK#V#QpuhKzKGo$ zON2n2zwqJ$X#1mY0xOx0T?|W_WFa$rmT5597goB1_`IJ|m@6a>#^VbAywhMX3fvx~ z3lZf=P*4+mf4X@GKJ!bTmc>Wz8a?$L_;@q_-e{}P6DUuoDb?Y@-toF<(NIPu;hTi& zJ4MkVDSEFfmfmfIo;FLT;C-kAd-3`ok+1Mi(iaL_hy-LfRD9$_3DM_COjTBT&^ELi zLp4xn?bIE_D}zmBg%V?tp72m8uDu?{j5jcd`;R#>yj9(t&9@&-!~qRXgG&nqGwuLz zcMn9H3X~<^%Dsts0q#!s_TnRf@t%mv;;y^y0)?KK(ie$!2O~-keKf`Z;h&LF(baBe{9G3` z)&M&0UEv-!xL=9jlQnyV4J!0@s5C~={jx=4u{{IS_35eiyv)#yaC};xzG*fXj;0`5 zB24cQRr->>!GQ=q6Uuh9DGm6VW_T#o8VOpJK!3gistk zGD!8>hwer-s@}S(cFRU{Q?_>CYm80!nsJ+_qme!*>ThWf-&~^)^qL%)qFlHDkf|N2 z)6vMlo^WKpymdY=&0jI1r&Z72=JC=jAePYjfSSWSL0EmPg6cvaOGRC3YB#X(U>ep; zZ%Cn-c#J`rzE4Sdc%c!gNZAwKFN|H)WnO+L$<%Bmg70d=GL(Jzk|u9#A`tB9(Fh<@ zgNKBoP52448eFAHR4t<5tE!rh%YRARTH=Z;#>y@l4&gF=G@#UDJkg{zE`mSFACC^Y8f&nMs(WGLEFWDT6 zl8FYpBVk{(A&qY*MpGO?qZ^K<2Qf7A-iw!+B=9*!j1Plvb@os&<)Hb4oPDUi&+ya| z6P3c}w$KUq^g==J5%UY(*k;ZaB+!FrA~AFJ1$k35>rcs;dnX^lf}z2lNK_z-1)^yr z;&>v@==Bvb((-;O2Wz!kYDv*6wWRoT*yc@}Hf#dV8T&g;cH(3XZDJna!wirHC4yoc zh{8RgQ;V)0r>#DbB{q_Egl^a_9u%S(1u$S8=x+Gk6HY|KkqzsWAT%!wn0mXIbig%1 zxco0f3fgkwq!X7h$+|Ta*)@PEO)%0C#pmsMSX(&N5fu)mM;kY`4@59V$RctRSCXgJ z5{d?UnyhfWaYrd8rONcv9!1eR3>4-MCQ}$7;Gju+`|+l;9Umbt4M!IjM_@9m+BDOLj&y~CSH`G zKJ_P6AfMtgm7rIQCg9ts$YAgev~@Dwo#eGq_F|BwX$@~DdXf+qCRJStT{eaznCCaZ zZwx@kn(N}$LvKf)p}(m$Hcmxk%if$0<6Et09?o?@n^fcgM-OF%*C+A(94P4 zD~SLj#wxXd1SG^B0VbCMNo>IBRzX_fOB+}kO$C)mykW4%&lf|o$+UTcprD&=exJ~} z&NTQIQUEP{&5`Cvsu-pzvnT=!lrFoypEg2$Jz715_$DLNO9T?J5QYyFDP-S=FYvTS zl0e01l@7CZOn=agQ(;*I1@MHG);OX#+EYo!!=ZuRfspQ>XL3SfmV$2W$1E}(-;U4B z(v-*(O>rAgExbP*B$uQcxbRzgH`H`&SO<}z@MW?P?*eS3-JxPBcs$v2wMCw4Q1ODg z`oqD!(^$Vyd7N|(6-}cKRZ_ie)TOA_ob3alJ!1G)kuPWhI>Lo*OXygyM}EgBuvoD! zWSFJ}doT-)?TbZvl|+)R?+G)6kBB7=&OseQrgMU5#&E*qA!b?y3mxza+j`Y-ohQf* z)UYy_{#s7$(Y6i2cnbZcL98cGASve83MOKGQCfj;Zzk8is1ong=rYL|hG!ZKFv;&> z#%jy4>w<&Kbj|2 z&VaPLP+T=V;~?G>##}2#{P-B0Zvt|s)aZ+Kk(2wQG|S;WSAka`rQyRDm~wI>nP#{L zHn|4DLv2M}PsYt2I2hgBwZV69C=|iK0uvOCBL{rd@Cm4lbj5{^74sqx*H+e~&1pQUrp&?QUK;(-)%3}e z;Vav!TJ>cxc^rM$MbuYbfYhtShb6U>8>b?eOUP#C18^Xmz-}CNxI*YqSV?H}DY@k; z7|44-RQIF~l+m{S*glMv(wD|V+#PB%Uucm>H$WG3R-+Zmiby$qsIl0(Fu53`w)3ra zrb5I_P9i9(Zn=V;m>o^y`Je`E4nf`CI7N~-T?t)X(1qyDgP1nvlLRx(ZdGlHj+HlD zQ9<>ZfN_eAZeyH1t2BgwdDBG9-U=v+y9gv=-kRqE!yp%eW`Tx%6K%%I$MgK@rRhTNl0K^q^sRyfbX2=FB~GVAoekp-bfH15mNHqD`uDEMEmz7Q+t#_ z+P^4pw9;z}>sI|rzb}do2A9N_UHOYvy`8m5uyLt{)&dhQKHLFRal!2bn)F|ADJ1gD zH5GcHRgczhgy_^V#t~0Qq1%}@)DR7MKaaEleqV#$nsRenU8wTgU$oqrW>qsS)ux*` zU3gBS&Lv4!ahrn>RoB0|KF}+u&OJ0y#jV3Sf?