From 964d6330ebd5120e4d38a18c034dc4b22400333b Mon Sep 17 00:00:00 2001 From: "J. Ayo Akinyele" Date: Fri, 7 Dec 2018 09:30:27 -0500 Subject: [PATCH] Add release target to Makefile --- Makefile | 4 ++++ docs/bolt_design.pdf | Bin 266428 -> 266563 bytes docs/bolt_design.tex | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b45e35f..f08d845 100644 --- a/Makefile +++ b/Makefile @@ -10,6 +10,10 @@ debug: cargo +nightly build cargo +nightly run +release: + cargo +nightly build --release + cargo +nightly run --release + bench: cargo +nightly bench diff --git a/docs/bolt_design.pdf b/docs/bolt_design.pdf index cd353537d2f3bf534bd64c64cb3fd813425eabbd..27f8a8b34aade58b957c919f890a177e228a82fc 100644 GIT binary patch delta 19764 zcmV(tKZNc9yY6nUdP!@OhC=@^6)=gVJRM(6v2UaS^rG|hu<8PYHwv@IQ)A5{+`1V39qNqyei+{du zhk7+OT{}!v4ndO`E(HXN6Vp8!T;AOzctv-SfSrC}6k;HzWdbt$= zctl551ST9vVRW)WDDcWM9@M*@v;Da3`bqEP+yR^mq^j~*|7|^v+xVOdet{e>`xs{p zslTU9%1>7V{3MTDv4^K| zAQ&@ybX8FSrD$zdu^r+pR)WEBEcU$nT}ofP^wTzZ+NK260gTlQfkbB9Y9*eJJ}Av4 zI7>brz-X0CMjmRUu}j(+%ovHn|8wcSR*OHCM%Fun{Q-yl0RgxD0Rm%&5j8mqFHB`_ zXLM*XATcsHGBcNPhyoP^G%zwSmr-;9D1WvEP@L-$EsDECkYE!C?ht~zySvNa4DRj@ zf#B}$?k)-L7TiK`ce!jiJNumXs_w0+n)z4j>i)XFf5<+_E71uU+ZX~xZ9tB6O!SPL z03jJgCN=;gBMUtvBQpXSnXKC&4{$prk&j}DVa5gsv$j}2MZ9qT=1TrBTTQ_@iQ!~f6 zH2--7P#RGIm^e7tX#aEv2v`H{&5aB|02u>EGobZbMk50&fRc@oIndGVzd}%Qn>jk# zaxyTuxVX?8SUb?$*qicF(E?n|9e>RLia-aTy))1l@JGP_Sp#d}UzO1#kO7p<%pLxc zE7_Phx)|640dE2;b0Z+g;myMdWDK+iyd?)HNk{|aY=NM^jHUlFpauNh8vqkM(?8+< z_WmP~Ip|Mk10y3FYg+@5n>ol7U}A0s1jva>(>uC4(gF-X#(x+ZSUK3d`F|TY8<<-e z7`_?&$=m=SDxd%`cq{Pl@*Irp&21eW=pD?h{wR^*k1%gt76BOx*;rcxL5>axfAAAF zw+9-%wcU;3uamU|*|>l_{st!IAY+q1iZFJvWl#Z`+c^Oxg#R{q6CwPTnF1XFtc;9| zY#girpdA3{YGlUnM|fp7TYuo6N~S-=ZxwiX*xJ|vOx}tBdYPL5-+mB091NU+07rW# zpqIzL75|M8n3w>@=0=VHL!hZS2;q11H!;xUFZ_1+_U5htEylOmV*)V#@%iUT=WV=< zZ9rCTzs>(VUj`{@84Wo}n!hUkM<*y~;|lPgV_^Z%F|#rPI6kog*nd880KEP?ioAjO z-z*q^yGnpeYycd8k$vmZe+WDOeg2ex?*2&dwHa9%jo!YP{+}oP zPnZ9{0skY)|82(qmyoEFmDQhW%0Ko0AGLwCxs}`B25&R#t}$0y}f}O0^{2tF|)D) zJeb~A(HQ9Z=L`cF=s`A)Z!Unh^1J{hHueaAoakp(0E56EqJO{8X8?oXZ^Q;*5c-YS z0Sv z2EVzySsFP0R=!a){Egm%8vTR*Xexv8zu+5j;BWYbOicczeJjNDU+^uD*+1}YaTv_p zY|Y;8!`~KfGJo@b!8g(t|AKFU$ad9|spveG>^qzuP+$|Ns?z<}?QaAUzW1W7Y>QA{^Dh%WdmOgZ z!-lkeRcL$keA0_moZ4+eSe(QjoX9^Es2d=JC!ka2-}8L7^HlY-glqxtk|fKvb7Du4 z&&9lR>3nMt)z(aF`Ir@IieYISf*`XWnBc3KMA>=j2=oGn!;C`Yc&VomA zVFX$;{RngJvt)+OQ5eFa zl$@%XnWbO6Xq{Y@7V~>L&rEYg2Ey$7*c${j&^1sF*5zmT62z8sv(cb`$fvM%qOPX( z?0+Tk>PP6oU9`91VMKAESo?F|Mb3*V%WOSPs1_8Ad zDWri=!X?obc{q+cQ<#1JOoK%gXWuz>Xn(5mS%QfEDd@>&ay3+?R!2s(uaWj?{a~n7 ztur#YUYOto9({bHUeG zk8rVXx5MH0s65U~biCh@Ij}H>o_{dB`I})QjL=ea#&jg#uj7tHchvL1e?rJUUvx1) zTOblgF1k)-#+K~~F}M~nHaQK62+wuE&6pEjgTq9dp!0CkO;BjXir=;-KqdBd`67lQ z;7^^P_{BTvwS-IM~}Yf6A+>^7jnrz z2{*B%o%4G-iU&czpC*`e)WNdsQQ^Q=2<3&WgRHo3WX*!u^OdMHWZs1Uy$3)uFTj+_1of8x2xH&;VjepH6_}-RK>{6tr zq1?MR7_jYo;`rghb9UV98x1Tq?bP!k2dcW68*7=55er!Xx>@Qm{u-MFt(@yjNYnL7 zva(ZX^Kz$DpMpYy7saKzgh~NejIB3LF|u#md_qsj^Wb!=P1}v_$^^d5fuD2yBdBy` zaPCMgB*eJg4!a(jZhtnid>Lm8)yXYzD6QOQoBO+XIrmA>Uo<+`#~~bVjKW;b7&IGQ_&&K(Wb@%N6ChfYYQM%R3mh zg}zz3oWhrG$d?8=lQco98c3BXArldH`Z{C@HAauMts$}5!he&X_nX8*6PZiVc)Ro@sek>(0z-d!mDP zn-T024C=$mc<KutpU2XX2RwN7xg_|z;t3|u41kI zJf=>fxorW7PJgKaOa-R%>PM(Gf5SG_YsisVbH&ZmhQSx_yphoz$ViS?QVM(+?V_fV zOq69r+wp_)SV>mavT7JpcSyD`ex_pL6`>PClz!1mGmp#lLG*Mv;@lf}aASC=VeDs9Yf}7jf{IeuK_55>ewD(NsY^FTFdR+k=;5dV zZ+7|`=6|59@nj~Ex8Xx%9i(Ht+RI&u^a%?CvtshP^g1Sj=OwS@Cex`!eVj+p=5kiQ z2=?b%My2Zg-1`FkkC+U+?u~|QOPS9U7C$BMU}(cWn(x}|e|ntS?(L*so*8A%r{Y(u z$fJ-|DccSr;~EaXT#gH(VdN2^Dy629Pg>H-Gk@i=s;8b;S_QkjA986=*NDT8vr%bbL$OK+2O^Ohv9=0GxtnvZ^Kgq3k&)zg^r zx66<3Aig)U!CC7HvM_8_oNAlU&rT{M8TZn`{X&c$7Z~oE->pQk#O#)JigmU?9?=h4 zX5Mvdw}AG&P$*KGKR&KMCmTPNtPz^+TYtTf@RIJ12~*PQtavb!N?qUoTKtJpx}WeQ z{-7cv2{VhnsGJ0cjWNqA$wGA^v~{``DDg<^I@}}6=F|5>HQDtS>S}ZRm!NsSZ}zLQ zs5KTgmQVtrjjatS#M1!2?-Shjii}=bt88gAIRrjco7ye)F2JJxgi9BeDdp@Y-mabT1Tn`s+GGYv-7>eA;KbK?^UQGPoKmjYpGU?iuDom zPVudCB*T5ImU>cn@UIjJXN9jR7=LuRx(z?+yQ$j0@@SjNr{|Z)H=Vmt9W|igz&BDO zh4N{2ns$**e*F@=Au{Sm7|+Ea6Z{#>jlT!+*g+)#$$0m|&x_g;nld*MH9~8S`X8 zS8;wCMs57eucSmBQ{5{FjIc_X^!GU?+;m{KY6R?tc*WU?5}s{kfdOFnYp*eOUOC2Q zO7L)Pd&6|4<)4ah{gaGO1pSwi1NtC4)Ya5E; z!Dx$MJok}5l_Z*zdO$9Q@qd>jaJl$vlYeiIY=#29nP^Hr+RsBj2}L>rVK+)VDR7K2ditp$c0-+#vsX*QS*Rozf_ z9<(p3nO1p-ZZ+7#lg^>7>>ob1b?2HePe<&&Th=smZ zJif^n-WfUBnU`{+LVpE|EC+*zAiig}S8Jeaggrv|3*9bAg-NV2OB(S!eBxV)=*qJ! z-@(v#3L`#3J;+9_IcMa1BNt_^F?WkG_0UFhQ))46;*)@PP5YpTR+v!p*7mbx%Lsk6i~0WC|jr;(3eG5MG59Z zA-J*@jc${n8I|ZnI?v|t3)z(^q7hhn&>exlYc23&9yo(fh_s^fQ#iA z;m=yscO~l>@qa}j@kUUU6^$@gkZ=O^y!~@Y2#W7=15&-eadgB43n{h9bl0?A|Ktc< zM%jmkmK4WI!umGF{a#E?<&%YRMSGnw`*&f2U2XYI^PZ+MmMzXC`NpJgvN>!?w-C&x zWu*fZinXjYR(6T+TZ#LxBTobQ=4KaWHz7Q1rZ?TUM+?$l({0gC?C0Dv>|f z>hWdv7&)u^(!!5|hxUBp0{DA&w z@w%pRLc!?v;=3aZ-Irq(1!JL~qeF;|qVB5Ph%nlAYxUFv1^%kZYkq@0OexDlIR@^M z?g19bG=FntP^eKD;3RKe?#+6TApPZ|XU{#$<5r>@&-&H3j+mUeCuhyCB65&0tzq9y zH^C)vf1#R0{<>73V&1A`u;Xa7tly|T0^(B|yVOwgDHsKp2{-#1P+V^HASoe-;xJyx zrWa4a2=O(vY{+^e`B91xMl=|Ua&r&L#BT0idw;egvMDEnQp1rMF6%)$t$F|CgXH#gQwPKV}4S7NclOG|%K}VxpXn0P3z;ZbGu*v|A zwACG;AbmLsZM-1d0?6bm*OrG~iF5q{fu#Z$0Nuc1Qy(n@hLi-BaYzX`_f!=iX@G)1 zlz#xfq$RzY3zt^hU??mKL9mFWUu`%Ie3(bH?MsVsUEgvoQ;M>7K^?a^F5V{hp`AlB zYiO{E@8@-Es@KuHGl!H$r`4mRZ^c#SBQm{l1Lh|8|PWt||ClH<0 z#6NN)>3mHKcoOceoBpUb=h_mjaA=A(C&rzPa0XS-csE82H;`N;j9KtQ5uA<7cUW-g@GURMk|L6;SewW%bxOoPVkQ zm4!pu$++1LKAE(fg5wuBJVgz}o8%v$hI%N1jQkBJ0#g|IPuhy{GNgHA-dm)<1|r}f z4&}~{{qqD%`ZV9SMyKiyU3F_A>aUv<2`@{{H%F`+yX|dJT{0dc`aj+VCl*%Tno(K5fTc z0_>H6C$UY}z}~$vUmqor==pPY+2>e-S&-0a|9UsJUT^#$4M82xtzyG7tTj%1)&^Sb zWgJuZ0Q&C3g6ugW^FXMf~dIl6%h za^lK@$M9QPC4q{*X`@SdgMulx=jU3~sCqv& za`XAd;O(yth>!aO%izVSl+YScG46!YWDN+v8w^{&!plkZez#GTa>4CqKK6arRan2? zPQk^b*fz04wDd>weJLrWWPcPt1*F$xFVBe}(FgsfbE@OKPLo$ZIR+c+Lg%ncREx0s zS`g$KMI(eBOW;hHpHN!WIEveD1RwFB5-G}56TGjI24`fRxA|edxW$BO z)BsTqW$nd7u9avAF-@gAWDGHt0tHTPBSdl8>F-t}$(fA!f=SbG zK7_9b^1#$wy$o(G>EJvsgm4Z+i?M?q>V@s%w+>;RWb!aeXBCbl4bjF^D|MCAW*U(C zEKDvYfomEcuZub;n14>BNdY=wxlL(S@dBl_bT>0$W0@J#!#@fAU2`6B#5>>9LRa+S zhEwG?QXXV!DX95L6n6<&*E7@^JTlJ;$Jy$?0{N&WW-aky38DH_QmELgN-e>~+XAzZ!(0|E8vy)0VBZG@L0%H#w zJyNzK1lnPgtkvrFl6-YoNg|%@MVyy*LrEVf36{;ybJF{jyRDSbB-I;RIZ`?ZCBwXv z9zF?%p4)vZp-FbL%rn9JwoL7R?44O<_d(&^siPgczkFM_(>da`y00By?A zv_E~x$&;Vd#uhW}g+h+P4^lHE-nx@YX+9QC8^4m6@!>!4HKSJD&n z8p@h=}+tOo6btGDA32Q!6Wv4Clt?Voi&kL5)PEzLwC1K8eJBF&g338#EL|W=a%GRj&PXP*y?lz3Avu1ARFcHB!@aPM zSF27==O>+7jD67za+k*vD20Ox&e|Q+X{-lu^zt^FE7|cmpg2UjfGB=Jq2?s>J*uL5a&O3keuim6Y9U|BJPCxRPf{Ft5eRs$gI<~ z#1zru{PH_uso)oc)8OOrxH81xHtdnW-h6Xb>?ZpA8} z;8p?bnrU_eOq_rItxWg;RgG=vw`UAQ&DTN@v48(5Y6dLW@2@TwCqEDsUJOUvNYt;9 zCEfy~k9ig9PKH>y(F}&?P0*EszuM?m%9KjM;D!almM`B1loW2sE)e$0^z*7kC|EnA zwHM8(J&*?Y=Zb;G(lACW6s=EZ3Czg9@5zX2gN-IA%u)_0p{CWHLXzby6(T7=gL*AWR%>0ZDZ|z=pJ3!lh6zQPGeip|UO~TS+y)i(cuhZ2P?{#{q zN$sqs{BYcyi}-1S9p)CJWMKfCFlkX(6lxh^{FTafJ=eV&kU3k!f!c3wM zOR9AC+|OPKCGt~$v=ZDz^Yyn?9^D#wmNC03KT-UV+-32kFTQwJMc0IsI((Ecxv%8-6W)7awBjzl*9{=f|f&kOd%1tI9s%nvwz9x z$m@QR^KB+@Aga;}cQYko*7e0Uf`O7ty7?-6-=<=^o=c-A2DfI~4#RS9+ zIaYdvhnwjHMPB?yYhd|b*An;&3kf~tLHp+H$)UZ6Y8MK(PcF##@f_28@Wz%JIBPqM z8*W!-VTN*Ewh|fR*MU2iTvJn5AAh=D5{(kK(uE=^DKoFa`R#c*nvUEqX8dVwL<)<& zh7}h`5MQ;n21lC@D27aX#3Z^!r|l~FlZzSS_0?L#Ioyr4aVAa7Bs|sY-M`jiea8C* zr3MjP#UHP?Xff=We6X`CI}qK}l+S9y^qw$H;RHYIl7T<-4B;tS`25=5$a^Tx!&3jzrY?uu<#9ykW?2~C_diSq^ROPF0&feQ!2!>gSYku_ zvtQ%`zmb=1Myi>t?)t$Q^aIn|Ba4g}_+k&(v~z}g3ntDlu|M((t*rBbAWKjtiR|s; zaqDSjByX!X7Oovoy_4Ua7JsDJ+tNryNOm^8xQ#$*U`NE+b6uvuBk8;4)l26XA5Bx; z9i9_rE_KLj;tPNN^f@eU2kVuXLOp&kM*-O$PxTgnLSJpc)6Y!IbQx^y15V1sjLQMfmEVts{apFO=HFDw|WaY zji6IAw^3vE_NX$$YhC`-I_W!JtGoFN-M z|2oFeFp;0t-FjApn_XXGQ>HK(VEi0QAwHfQF*Pnz>aAVAgNRO1lx||fn21moASq_3 zR4DN@8bcW_0C!;qpsps=EF_gAh1t;}i7l;r)y+^%W`7~y!h&TR>~UN}6{|O3C%aU# za6k|I+3VZb_X2qVHL;>JUFc?cQV)HnB{aC3f1d@;0;V&xEQPXuZhdv0_#m?K-f6Na za8s&~d5{qf*SdewR=oXE+zn~QgdFcH8FNtO6gNLET=~vMU_^2aQ9jQ%`tZS_@Jp-V z5W$~mLVueG6&njiUKO72LqfC+sJ0xCKOKO1q(i3xHWt7BWCH=b#>Ek9v901XK0o9e zfNvA`gQKBCD34pB{G@6Uk0T-TG00@IB;So#I9I|{Q;(~?-rv&!p@IC_+%q#87(Ox2 z$v|Vvl2`8$6y)^g9gVYcpSO-c%gH z$)?qb03lg{)5xwSaG+pLX37_VX+5+0pRO?1AIJzYj?&UTy&hvR>78&qWQ8C@?eU_YqTh&9Y$5 z`K$(ao+_9|^_*R=U9VY%UB7BYWvgZQ_wHjyNrC(X1ns-tgkDO2w zNl4U=6Lkjfo3_zLlRs?so~iC&GnqWB9Dh1{NIT}7#hJO>Ord&yVl2+B67Jm1#QHj$ z7pgf@-_yb4gGGotTjYy#DCvgLdQcy!D-{6?4%uy5(PgV@>7nY9!5pt^MrlZ->j1@G zAMYzH`{pBdUTq*KMt3iR@op>Y)JT%xq}&1KDg;(%!iNXC59P)CI^&LEn)-Y3YJaY$ zxB0?wnS#uU$zWnXB#?@x_FZ}^j)V94%<|4>MGlJPe)+&GY{oM*XhC!gO<(sa?Oy}* z^%tCVMYIb1x%aO%V^W>U(OP%3g_(lEFn-$B3mMZZ%A!2+fg0ah7{Nb3N$=NyPHwU% zyOHc0icwP*{K6JPUwXLK5~$-vXMYp~T%VVBMJ4$7!Cw5HV|@F}1=$y8_*M8`C1k_6 zq^{Z2lux*r?dU+%k!&BOW;uGjZVqas4=i7ho@og4sGj3ZWZk?5@APKiynHs|QLQHO7lbTtCisQ)TH4+Oqba#WY9Ms@_t)`3~F&_k7Eq{l82Eje( zz++j{I~3AN0a-25eVg73hqhx|2Ls)?O*#9y!V6KQ!otItR0QN~p8s z%#482a*Q}yM34qXH#szriht%3#l@eLx@*{Mo190H5AZI^dN;uBJgAMWtUb+sb%21h za`q9g@X{U+3ds=hr$Fq0R3cF<>V8)~Cl-+!@@VTW4bwkn?_d~!&^afJ~)JUU(5FM`7U5O1-gnsJ(CSmrOAsRmyGEG6Pj3kH zD`)iwOnXC!e1El}+!(<~g4GC|?TY~PCyQq3sEolyge->LcLtmnJljhodU`iw0a#)< z-dBuw)cf#5r2IIRo@IUQ~gHcH|h>;ikwmSCiwH|2@YH8#3X9#-Jp$NHer zb_{xYMdbz9ov7!oS8H1Ee7hscRlZ*f?G(0^n5KsG>wm?2$G`F$9nlp<@XEI;5Q}1s z17%E#tsu3YI_G7ZaHNo|jE<0>>v#H>SH&DA5Ie?7n8!f2D|i-0aF=^92wg(iBKQ95 zMB1XJ0`{b*Q9wt_XF(Y7i8_a$kKZA>s|Q4T4}IM+&iy902iHM}cBVpjw^|ISRf0du zzg^_Xi+}6xW2)#&(ro^@C{?t(?K@=}jK0n)ayLgwr&CqL{K%z8h)Eq5HIcTptbhbJgd%)>@ zj^q*_vrtZMUXYm`XkfW@k;AMiBieJ;N4R+`Q=-`azH92xNDCF2Vi7#~GxRoU=9QZF z(SO5NN&KXF8)tqpxhwf+A!#Mu=+Fc_!bG3LCY4D|!+dJ=1pc>9p77a1?Qnk$i$X}@ z=}M1~Gpg!5C~XsqJD;ll5iZl4r|Q@TiMb*i>zr>0N$kLcHv3dD&M(MmC8}aYHGdLE z%tiSXMhofsL#4fzEvDN;;uV?J#H5j!>R|jewgjlY-RdJ9TNxt*=YKTZ z9OylI2Z_MVRM=!i(~Xk$iH%_>LF{hjrExzdM4If2ufp|HV2uMr6*co=P(CoxWVZl@ z7xaDGrsG65ym9~ztY9`c?t@QXoM2kkUC(uNMLtLNV|vk#DW@<#(C|0iFxC=z6Uj7T zUovT0<=b``1M;e4f2x#o+%jNEHh+n-c>4x$P+THQ5{ek()7_W+&>R4nwJp3tGGT_7 z>Erj$KV*Nb<(IO=$FmqI(CzSF__RMTu&#y~udm^HO^%oWzen?`Mrhk_$KH*t} z*LKvL43Uc9ox@fLqZ%Hqa20g=a2=m@u{HwMEdpT(B8r32vjB_Sn%Ex30`Li`hSBg< zJA%==N%(1fsV0Q1AhmYX%j~q0GCr_De*B(iii&`lc6ETu$R;Qs>Y%|8?aB~H;gGbv zml1lYl10t(rEG=8fY$S_Mt|FK4LoOZ$?ME_i^7@2VjL1&Y=CNGG!gfwjPhu1LbzI7 zuqZo6VT7-2jBzo?h6;{v0ljb&S8f`NJ5=@f$Azn38|yxlvY>v!tNevgC*&ghi>2iu zO=W#_n|Mx+p-9oZAMv6ccb2SO3uX5i%?~P>bYM{=-9syAmRuG&vwyM2%!mP3P@r`t znQB$tE_anDVM=I?v2lGu0E#^13xpx~D1xv@#Z#Oky8&?1zA0L<0}(X8Gp=0~ZWP%$10U%5 zIpBKOqDXHy$gX&|{L7}$z6Wmjo_}p|f+6+_7^#*P zl8+RLvUb>>FMsCsxZQaRaB0Q!*<$l34c;6EGT4z2yHC`qMjd8cN@yTbuVJ`EBI~Et zBeWU{jPog=b{#bLx0UY@Heh{^7e5T=EW`q?mv~MQmf=W9Qr7!WF*)CVItiQax!~n#eYdL`k9a;4|eB^0n2&W%>bcM56(awH{WL z#UI^}yJ5cInRTQD+(sm}1->aZ>d01zRuq5UVg! zFAv%*W`E<6D)~0&tRq(LaNt2X=~o4J@UlHcT!cxQfO}t|_@L(ZMmmZ0NjY$wg_s)9 zlG%Ke7SagYU;Q%QJ3F+OqHWM8N5#G`z>;p=Y4~Oj*=M@QG6{54$E`n(gYsczF$P1s z2O@tuqlq5R13$}{9l?QY`$9Wq^x~h76;l~^On-8IX`E2kL>6N(-g8d~$>E9a3GM2| zi_0F(N3(H%zU2*h#w9b0oHTH&tTWsu{kxrPbBfU)rk>BM2df1@F0n&|0cLwz_9$;PjjC{g(u6~0JTkI9xAw_T ziGPrOhXxu_NIesvU2hyaS^De1 za|LF*TWfet9<$YYPeV9en_sAJC|%zZEY&&BMz1BtYc)TpM3laaS^B*s6feq3Ze8;e z`KAGmdaJ13He`eBsgQB_G+Ad6Qf&76?SJ|6DZ7!4$Wl|VP+x!6N((RZI^S@fTBea> zo@Yx*WD2j7=aH^MCCs>y>zYOreg$3jGD@R5;qmSsA^vgdaUSmAY1M{JR0~HRH?>N+ zWe&C0@+sXmxY(Izk^ls)2mEs8qfx{ChPp(?z&MogFoKM&FULp@j0Nh*8q3T(e}Bs1 zBhoYp{Bq~)2W{P3pSP1df-P}h zoSk(CzH2Pyul+4i?S0ZRMtg!${C`-afIkGJ1hpbW#joJ{YGhsB7wm!M@|7|dE(bK$ z>!8|uJkd%4sYBu!6M?yK`?U0s#0h>YQIuDj6gyzU54?`#1IG3kiAT2e7}?sP_qV_E)mA}n@wsXrWy^gdw(a^s_^re z!$hUw%Y6sj^A2(Jd1z_MY16HVsQn#$zM~QmIEGLPRLAoz0=3oM8{Y5A2xXa`qLIup z#Z#xTV|%Rg>jo_K5LF#;`3U`pRfFijlrNo@Ej}N#h)!^hvTKM!v%G${V(=B?In8ob z=^lL_4H_~9`xcbvdQ)&0pnt6*5wTx$$%?#kv0Nq>Zn@H?LL z+6w$v4o=xDW>|;3Q!g&D{Rvefib^|aHi)F$z;|E`1g7C;g%LAjj(;Q;?N@?!#Tmwz zUs#JcKWp_|6}A_A{=}*5Ad7bqy~w!OBob@=u?IL}zvT6fZ+MaWEAmf^>a_XmJ!e%q zTWoMurTQ-}SHVI$7tmR>l#I(q-)p!U=SGnx9@mL+GWIp8D{s)Ql-#LM!6`Vd+U=b_ zy8IgaiDCY;foV<{w-j?!ft*$0+p4JF~~Y{OEI45Bc_tZ%i(4SiAS2g^4mP6`3?|lKxOpk;?{DOm|A?yPfg~CT8|nu&qcdU1MoXuEPwe-q>|fJQS}@0Mfl*^0gN5p)ER}>N zttQdx_~vEOza%8%4_*fv_twDR#~o&tHEiWWq7DoV!J1#R(F*uRJrP)NrFxOspK^CG zH+-)H+W8%0kE3(0?mwqH5%2<(+5)gcV)FgMH@484hn5Rs%10 zuW`8Jf(t6OKK|OcY_ffM+$|IdYMov*97Yfz+OyR#M6@HO2fyh>%{(U(_bno?m~h4Y#ed>Hlpqx2<0cqGCfaRHD>rcFA<$qXF+<&e-B)yT| z1w;wiWf95ED3Epi63loh*pyM&uvn*|!RY%kw`Rz3))jGdX~Pd4Gc`xe_v21NPkAQj z)c6wLW30s{Y&JC;X)*V8Wg3BFrcwO(QD${KH34i68ruc^07@R4JXC|M5(~{Xq&y#M z+D|NO^=ZSKlx*d8IE#bX27lR%5PKLl9=qi+cj>Njmyn3})&Ln-d8>p%p>ZH8@R(m5 zl2M&!q>Zn}CuFK~s_R^<4=QVFGv5b9H-bwUA-i~JqD6M=$BveJy}2p!91?LDw|sX{ zy8qpSmWrF3=|xZfq!$OX6RHXJ>B3S3d%EE}R5vuCSiPfz+qe>a*H_?iJW~#c9jHpB z%1i7xiIa()&6&yrEz`E{NR~#Tvdq`tZW5#bijX6ZpG-DE^y$+ps6=Q%G9t7l!U*_l ziQycsGvWl?8%`K^3@#*L(pk9Bgc;}H!V)gHBEn{bYXOfeC)^q{5LObwB)nx|Tgh+@ zJk|>CTz^JnmcgClL~?xOB#}}XxX?u6&dv~(WsCqG#keI5-cwwu0TUTf!ZJW2iBhl& zlbk3mBmsEJ=nTLUWkD;Gg6NC^dVrys&}atH9F{QHAK)5d6w!)_0hmLy77o^e#AvXT zNusRa^S#nr3YLRc+C(F>jcOFmz7R{X~ZhU2rSde z5m*J70fvJMcno|K>p-alsbdT!oH%a8KxTqC3H-@S5~r%g3LH=^*2K9CQ5nLr48Tid zJb&YGFEijK6JVHRz-R`3f-7)LrZv2Qyl0k~fdpkNa|YKTt&HP3K+d?qbsDJ#izEXb zOj%q9I+y|8B?BGIT8tCW!84&SV&IAa!IEQSLc9(nM+TI{r=WxD>M7{pR>IC4bchTn zKt143gEG(|1R~|=V+HXlA+{h)Am$|KW`7Xouuh=Et#ShiUSz@n$4C|fwg462f#{O> z1_m5QVuiub1G}Wa=oG>Xo<1GW_djO^p-0oZ@~~J8=c8FUoe!$}H~9pfd^|sYad`g6 z!Rh{ImcfH@ezPF5Ua`MF{XzcP1^#!r0+0;DN@ZUMbZ;>%?n#v>pAX3hjcidOmccf3tHS=<%?T-O>gKez5O}6E$--u{!PbpLhtC5PVWjj zqqBTo+*KP@SM@ftVm_K)(K%hvMez;ZTa13tl9spgqM+sXDP7WU^gI2zQH9C=?SFVtlg<;Q3nU%lfnkk+*keS^#Ca{eDF{uOf7Hsrqe{PN}Vw?OXmWJE)@?sA6}St5&d5kDC2x` zd6m;~u~^V?Z8!waWC`&zYl37pqW?go%x|YvwA{dci!tUlL`}ZLcqxWJ7X-}@`jh?} zv+TBE`Rw4+;oe@wvhF1r+Dy%H)q)>|W2=9X91nq}yT}~FwlQb#%gg=!!^#}HAq}d+ z4z2W&V#X%z!HB_V=|;y@7$4oph=XDphC&?#d0jBpeQ(4zWE~%$o_u)+WSylF3`QiM zV43?bWVKa8yL-~BsmIs|Usg5wv{RKo21&QMF^=ZL<>Y!?`~cE{=#ctqiSL)iKg)l7 zTorg<<9(SQ_f-1-wYC0k1f~903jS=oT!0JzSx(F1>T+DIYHsR<)m?pAH{i*r2E1y; zZT8naV>G@BJ4Y1=^xtAWjiX_!7V_%#>BZZZRWz7HxfOLZI2itnbiW)7DiI7ygu#&Y z1;cR_1{efy!TBGt&X%j5e4TQR_sf4hZMX#bz9V&O#BJ56&Yr*7Kf~U8rV}Nn$sz_5 z|6^p470E10+P#`K*3I3jV|+aPbpGxH%}rET(TvWS$sWaAINPPn^|_0An)Y~=fXiZ0 zjv%Kt@L;!UH6K3i?d?4W9?s8G&sW?A3jtmc9AHpFw8lLpBI2X*AT28pmhG*vG#8?O8^$uS2P9 zV=qh$GeYJPQr2t{KTBD&rmQ0&4Py(9JtB=QG_qui2qQ}|mWZzIt9$O7`{r|=?|Gi{ zef7Ngp7Tw38u)WiKs#9Bq;LuN<_$ckyuMDV$RL}Dr|n;k>e(9gXeyKL1TSVR`+IA_ zav8mIFS7M78Cgpvn_c2Z+_2$}KY62CTc|j`e7@jof3Wj+LG2m4puP2;*5R{^KtbWw zGa20*VB&#j8tb`)MKJMN2qsA0?y<*l?N?7O?yxHz@19Dt$liI~ra-(7@W$Be?HEN{ zjq8$);<}?rGVx+5%gNlD_My%zCvpBD+O0tJoKk|dd-(1whmF&23sFo;(R$c!?fHmr z)te(~8F4On>^eW8F*^7cXtDJM_QKRvlKaKvM-$-vfbd=XFo)Ad8*#STT1V0+C1m>c z)_uiQuk8KFA-d_$ds8|9d8<0OoqmU-w*BtRcdy2MPmb6VFp2C@mKu=neI=A{)sDlo z=>Rl3_CafH99Ok4{e4qRsAX!xz%rkAV-5U-r2ahQbxpiTT0=Z_5417s-%N~DTrO67 z_7LpbI58(EqtibdHuzajXRe{_JELrxNk{ee>mr_vZ~7yBjF>q9-*svhV~IpR9f&$$ zoSYN2Z&{lt9(wTNJ-z7{4h-8(bc<0 zUmW3Y+vP_ExJ$y{{n?((84+w<>#4-9C-?NvEk`=v?-t*&|7a5Uz$gwAjBV?9rr{3= zZYXze=v*p}v}y2lZ})w3E;6h1@vX7^$oJ7&5o}&_cPa^iz;{LQwPZTg2_zL-Wa9OFjy4(%na;_@5s+-=7R z3;K*M`pnh!A7QKJmPjifo}%4HH{H32I1cYu=r`H^+TSq(x63{1?Cn$P;=RY~KGd-# z@>5Dnn7m;G05!#Q^ChG~EK!ugW3EW86t{UOWf>{lS$kZbw&E)r(jjUY-@0=1vT}&& z@saee4X92kOpAJDel+7vV)Y=GoT}C z!h$X+?u8K9h2vhk$g9nK?G*+VAIk@gxd(ZKmzi6#K9BrdMY$Vxlo;k}wl_HdGP8+U zbp)U1>R4OSNVbC9`Big%v%k#;jrk^G;Kur>f0y6K%)~t*ews zL+;sF$S@4)rt^2B zVuY5~3qzWw8Hc&$qzfrNJ+9(;LLwge-zqgRmP;4oE7uFNHLWlXD_$^@x`cv%^7JpZ zT@79uDNi&!)k?VbYZBLDX#^D}HVThXj((WrHGs{b(owfM_>)SxkbAnAD8==^Q0Ph0 zFilGx)K9(&tmc#Wa&6_izKSl?nObRVJCu?iG$~MA4IKHYsyHP~!z3*`3DJ3{f)DFP zeqdSGo63xL%fJ(YuAj*| zehJw=^Zae~my~L6Bc-t-c?+z9_2#}>LN4M?O3NG9P z9EvwRzX`qDlSoy;R&tCbVq%CG1qegFv{-8Y*S?cLM=_Ct#o!B^;%)DDI3C~Tu}(OH zX-VZ37j>S`NW==S1HV1|(Srg#vu^`qu5Zr&31Jcg&Ml9g*58fv=Bg%2^1ro(c2!8Z zs@D#0=R@daShxHS@7`Wwz)S_*j{43xcCoZuQI+XD2OQmpcwSmzhRAZ^bPzE2%Uiik zrFePU!=o0KhNWJN&5N7)ZDvcR+oHHx{O-FwS6y{mK1Ai>fnb!bEKQN4k<8w2C|2u{ zkj_w!LBedfXhr!5}8ob~#OI{R0e#BuBD4$^0hXytRS{arsc z`m5~ydItOb%kt0$Pa~^RIdGJh#KEQGFZIZf5UNEP4SwY?wtz;~qH=hv`P*K{H+4Ub z|1urIP5mBE^H8N)xlqXEZij`VhS~<2;o$`*A^6;8THBii6osec52>evZ_Q}u-fG8#uvrU{L>r@3yGd};aCl-w-a4)u1(t~ z#Ue()!H`QEbc|7D6d?yk0C@3b>~e$thNDSwJw;+IFle1(_;q7Hg^nU#;4Xn5W71|F zip4cf`R?}1YLio~@FMNKlb1|As=V4MZy}xq^qhn-X zzaxAAm-7)v@7gLEr=<&qC1AANt`7>S$@8;ed0iP=uk0Y#6}68#g+DItz0*)1PmU&-sdF%DmypH59wj(X(8CE1y_-EfZfBZTC8igt)>dY%OF>cb$ z@S>vxA?i?fra{izF8JJYDSfjiCr(@lix<;r!z#R1CCjlse z?tVH6XDW+ zZGp1z5wv*ajix9WcUYDt{9j0hU;p=_zUUVjfJ0 z;j3j4i!q6Uq>s#yD1XsK>_4~C4BS8Koy4+VP|j<2 zd-qTM{PRloxC%kA8pJKDuOzB|*vom%j*yO$AbupKmKYd6eB^VFh49S+l+~vm#n%f_6R?Qlg t<))9@-N1mGIPbrcu delta 19653 zcmV(!K;^%~q7b~H5RfGTG9Z%?LMV|>4u7!6U-1o=76bxuiMW&=qO7|~3rUq^h4}X! z$6464QhVsd_SnyF-n<#X_Drzrjrh-fTW-#-WWi8?wP;xRjiK^jjbg@oaN4tS$G&9S z=eFDBTnWq`o`h8VvZ>lG|61NMt{hlYjH3oGY{K8Q`zA-5O>udROL)H_7MYc~D}S<~ z>c*;`+P)iSDkngb7>*J=?K9JpFk<^~7vUwHWd#1SEXJh|=ahkMNy5a@hgG?rEbPZ=$GIJb(g~VEJ2)`D4+5gP3$liu|nhKhx2-O}8l_h{gCS1MrMOz=jkg6@lHc1nIm)AHY zdoV!W)fT|U0bt|iXXD{#Wd*Ravhw{W(B6q3AZg+TG6yIz1LW<&KxZT>33~@mCy=F; z%j+`#`3j&lqXV$<@$oSJnGO)M13H1sOuzso6BjF>-Rp{GCbj@|dovKw#q+;P&ri4;My&3E2FPKoeVkXZzQD6E_o( zt%>Ptz@N-b0McTr0F&1S|8CFO%n9V+;>_#}vi+k)mOsk8?y?lvT*BVY4hVK}M*4%F zB*+P9_PXt!EPtJ>4cOit?EN>e0D;Xd{%FG7)qzD5403b@%1Qnm@@hi*ZLrUm|r{a^>(m#09d>>0rUk~0AD|lyq!(lfB+XK zSD>%=za9ULkl5G&<{&c{fGN-t1V;K@{nZS#_zS-tz7xm;pvU^EJvIRAAFqGD8NABN z+#YP}`8)j2^JS4ylh)CaW%#S(e|+NN_8tIlCJqh&6FV0xfRB@Z3&6w42k`yxDk>(R zzge*UPL%^&*aP_fBKx{a{~_%5_xaQQJsWg@|E~4U{#CR<0PSy$>$7sPn!UcU{XZ-H z&y@c^f&WqE|EBT(B_!=?Yx}30_D}!+$8BNMybUW!L;;$ZSDipo+aS=#N_k zz{JMN`aizc$uhHfy*Zp;75S$N_&PZMy`&V_%-;Nu31jEt2ADWGnRp_xz6yz*iwoe* z_Bx8@K#xB)3}9gf+q=A`0AAbk1z6ZSA^mZp+*|+_u|G_Ie<5xFi}-KE17MN(jd%ep zlK&tcwpY3RMjQYZx!;Hrz#{(}z1CFxjb3Xi{YHEM7Uh2s?`xjMZ}gg{^$+5E%`^GU z$wTm1uHM}@`8)4}TX2K*iI zY6JZXzS6XR{ug}ZY4b1mx@ormg0DpF{zc`L=)WreLCya6+OM&%PmSOBHQ3?xss`Hv zEq=Go$@aJPuQ~h2{L0GVb-L{TwGV8stvUS*zV_k#FZi0_@-O(>hwH!KD;f9Sko|R4 z&)6MzxpZCYBbpM0@d>8X6o--^2*r znRdp6rm1$cQ|Xwz7oFN%AKt(x(N$&!tvlU{B@K3?ul$gry%Aj^{pEesR0|*8{7JRt z(dWr1UTt!x1!-Xdr++;ENUWxh7?FrcLv+{Ym!pqXpbc~rWQROewxcWW8J%13SID$$G01QQPdv5u(sjdy8vG}gmW+HR*71K=w0nl zT^Wxqp=LW(BKyQa3}!PZ^!K+NK0jw&Pvj>H({Vti0jMLa?Q2a@AKp5pU?b7;YrW4Z ziSuQ2^-y2P?`l7{%$4ekbn4-)6W7JieRH_3GA)uMvy_{S4!f+9#?y|rn$fkJB5WLg zZG>>y+JcW6EAYlHNbqOOoV140*5kNVL6MRy)F#FD{G{i5nYKi;ix@JEZ#tVPcfOW3 zj(neGF>#MkapG^h%YU(mc}M&d{u!ngdUB7Q+)e#Md-m{#GjRWw-eb#Zs&$<+ypCAT zJ=pq!|%=7?J>a@ zj2bnwq^92yjMtclG%VlX@R`n^XnL~-ji9XCNDKlVtIwlS3Ph~WEM<9oIaPbQmoXHn;=Ct+0BvVk zRoR-^f4bx$rT#H3@w(GDm(ns$)S~Gfc;QXPmdRHQ6_O1UlH zs)20H3Kr~KsMepmmU|>^D#z6J&g0RIeu0-!LSDrNq~*}7v$j|9`u)hi3O>bqN68G_ z4Mp9f3ArsY2@j(3VPk%O!t@h=ZG?|DLr*gpHIOG*#~c38Rx5gl8&8zQ!&Ii{QyQ8ghpNhP6UU0Vsp#7jrn4wa1{?UAPkxLPU#cMhJ-30sa3s!Q z$yy5}#<;i=iMR+6TXP6J!g6YkhVnQ`uW~A`VXputQXtddhhc1Q z1g@}6?gz~pAEE2~9DAdGkKb2ay}ZuI;1}BP-)v>^fAMb%8aa+LCL+dQ|0_|SB$Jh@8!%{ZtEFs#x~2-kS58I?Vz!y9f^QZ-y7 z8kgD?dQ?@Dd}*$9x=X<~oeQtlSb|$OBuwobXCxrlM)tEyv#MIa@wrkYg^xCX1<<(h9>SK)?tZP-9?Rtiesta zJ5X4)tioZuIqcX{Fj^14=}@}9UG&kEj9N=8osFg+J)!SgJnx!P@vv*p`sPG(_;xdz zcbr9MNCW>ZPn%kZIEyPbiu+F;_P{$o?IEq`DnN6v;hmKv= zPBQyLOs-vjp#V#j?c&=b%vz9Xi`EVF@C-<8^Q^A_*)MN+WE(n$?}dVf5Kh0ap*ZW! z60*bCVOhL97gy;wI7=^Rp143u8QJoPaS7VM4~x@}OSPfQOgXZG8~6yL_-K*5Et2wU zi|aLI?YF`+o>+VDvxDiyfkWdcrpn0hhH5rR`QCh4M~ANCO`p ze!|5RrrV4#-=010NPeYdEy7#n6x9(5nB*|KY%HYQg2#7)V~$7rGFyr$bM*Cw4YAvOD}8RJ6u zy|vF3TKBUA1;&(EEW%#(raX&Tzi6!Y}#2xVXulAoz5L#|DlcW!-Eh-9CrxwIfiI%~Fn zeVku+uS49%#v=H$&7*z?P3J`-{Y#_LX}FH!5Asgo;?&g~XclSE$Ur^3k~^1??qrZ- zeqtNxy_r4kT1Tk0X|vj7%eZlNN-6o6uK`{hDMms_lt+H2I?W=x=a)0=^Lgs%Uhoq8 zj!UaGY`~>zq59m(N$myI*qMBl#7xhB>ZP2oV&}(5b-niT2P=j2_5DvpoV1F)#HWde z<gCzu2Z&YmG-VPgMiu9vMA`y58~l_bh9rdK{pwHYUb}&IJxQt-eF6 zvbMK@5sRpAu1h1G0*DNb3*M`-`s%InWK8D}`B!f0H`TfW3wx8U+&LySvNttmXyHEG%%vu_vO zxy7*D$Lr~&M1>us$+@Y1O2cG-$~COpWA3DD{UoGssgjvrme_FNNq1a_j*D1Nj}jrG z*KXNCHSuXVnmqCnu;hmlWjnT9?xl#8I>!I#TxiyICIz>XBGl)Jj;BfBe=h4ve-MT6wXFy2g!?8qN)w-NeSrYLiB{iWZolx2P8Z|j zxh-pks|a8Qovh%d+&?3GGVgRjq0d+lXywfkz%_2L6(T_g2IVeNZIXP^j(3Q_^k#KH zGM}XsO(*}rPv58fk@Y}-9=KHWsUfJl>)mHnLYs}!!!VsM2m!Xux4NDppErtz7u%Ie zp0M%Vn0_o7R>}bjrkDufp#vLIL_}(}P-1OMW%S5Dk4gwocKYWO!Iikc9@EyTP8DDx zB}{SEhplOpUUgcG-#1>Tn~g|@^U1Zqh$Bqr-s!PO#NSzCDvMBml4aOq)m3)FIC?Wa zuV&fiA$wNgNKUv#H1m>CwshuNuunzryj^;4>M20R3gIdDU3&#htuYp@e})S^`Yzb$ zc6P3Pi#+ks#L4o0iW8)HV3YiCQ6kWn)vFy5=kR?_?7j z0ubF$Q{9AV$ICT;v8i$}8Hf_QcDnWYI)-_pCF7WOz?y6_^ovjg1M`Bvn~cTbTCIk|5a2}f96CZzy0sxHiyCN)WJS?n^EGu zYP7e->zIjuh2e>2FcszXaM#cXVzt7(vnfbwZ*zmw{Ra5jK88uCwNAY47|(XNx6e!w=6B` zD_5)LsN0cF31CDV^|Ouyt!0xId>8y0F^9#7OFV3Fq3M%$Ei7IhjDDgn73{tqB(w}mY5lUM zc}m0T`5dq<3EPun8w+P`oMS+Y^G3%*qaJCb<<9o03kLG#y)ft&XNdNl5bY?Wd!{!; z4BPa7waHiAufeV=pfW$M!z9HxN}sNKj>oNJPoeeefwqr1vrlgCKS?P=!!<_^T5dwh z;T@n^#2j4dOtNoPusHJ7+thAU9|H+#&E2c$MO4kgN+lZuOlYpQx=_?nBXC)--(?m} z!bynKHEq1}LkXmnB95*zmlhQ4SBl@z6sa;yf{TGpJ74!J^#R-Ylx&p+5@oA1 zSXJ?A1lD|BvI&qSQl_s0yOQ9s427+U5DZ(#VPE?}2?8Yr;`0$L;KD~sjJys8@kkDT z@`{n-dNxW?ZG+`&VK|a?Jo9SZS;)g2vO`bCN00R_k5ctmJ9o4(>yx4%)c%aK=vH-g z_KCg1o(;7I?|*`z6)_k$(Cdp)&_->7#gw`cs}=(LV4hTMFhWuM`4m$IpLWGQd}$CJ zzLj^oVFWx$cGgT$8qIn%eNgve>EEV*bni=%iYLLpdhR#Q{prbLCC4e>`)UKGCD-o{V^XCgdly92qa0xdk)$~zEiodl#`@s_xOrk+j)Ss~akjnJK1-7k1M+}1A}=+##V zY*F*T@-owk;A!74iQpFLu#a-izjlRBT+6Bekc!Zj;9>1K6$zZxcW&!{pYv^9JR!yT z@!mmx6t%HU0T&MFV<`AWT;?oXF@$*BRo;P-n!WUWvwnQcRo2_Cy_6oBn{Cpj>*lN% z6bbl(5W~Hneo#F-AP`%#Y>&V(_ zF#iPbAgf^7Zt1kV9?FO#WI8fXBBOHbjpt6Z2x-4M#hb|n!~k_&{+K*J&{4ju^|)4S zA4v{v_2omZt#mjkL${U<|I;WFPkLiwSGIue=kHJ~;*qHVkOl~x6_fMS)Zqd_K1T#avpJI+X)z9%e(QS z=<@4n55MTCY6r>{b%@#3vecM7vd>5+I2gYGMd;5u-LjYIj8$ANxOg?s*Tk=I!m4!H z_fRhn4~H&~R7qinM6ca;40BN4ejO9CDnn6cT)ZOA>E7b}T(FG)&bMB>PTyNwi zNfzdo-jXVWJtLikos1=vB8Ro$42N{*gSb!=t`$dImZw;haVBbYF(F>kciBCQG&vDg z0le=s9Q)Y#|NL2*L$24%)9Eg^$ha}~Hv?px^EZFb;Rwhe*C@r}Vg}jk$T=kB0 z3xfIMi$rHC)XMGqFht=bLj}a^jb8OEg)~e-cp!Y)(p_-z*R6N+#NA50!rIZQc5djc zh11#(6v08cGT_k+%wcOayR#W0E9${rC24(#ktEd_+CFu(jG8lODq-aF&hN?2XD?BI zjXdC)bh82GNV`txpBL8CdofYXo$H>5=szB%+URk9$r4JZU>kAWn!I7IF*KCzc73i& zZ?B~#J88^C=G@?gyTdG=@53QZS&)>5Swb3np>tTz_4)?LnyKPL>$N-0|Fk3({;hSM z@Kz=Ybxe~UAWahzauguURnzf-Mc0IXm1z*FqA-;1^P|2i-URLU)TMv@ccfp4?Fh6Zxig5zTFMao4t4 zH$1PcB2ATj9ppZb-Gppk2~19ZUXyh^Cz~a2WlF@*(q>&pi8=}MH5_|hP6sjCOMNZ! z9a5VoM}E=U>K|!5r1@^yB_r1^&-np(t~Xsq2F#ph+Nk2_&uCFi44>-DJ`n;ZWC zMjI-uQZ&(M!FtFi^>BOVUEha>hI}pyHUi=d)lb}!vrw=M~hVVat5q zpNUfm8K5rRjM27O-3df6=>=xC#uS>dh{PZA=;sV|7mQzA;ZO=otgMTGp^M*4kT^Ld z;?*)t%in$5n7?sG^GkhydsdL<^TghixZvTByg36h+^!SSF4y~emwnC zl4yV;<_vZBgJO>ZEgQ9OV=RrLxUZJdk#~q~#;HYg-wK+>7?0c}g@G3)f89>NS|Nm& zvyg~9pmb~_x|py*cM}5Xg-+dsWcEZ7gCKDv2FlPgRS)~14{7Oq8kLO-UN zC~@;b)k$&`+LgwCcIKizhpQKCLeEt<;K*nF5{P z)roy-JGwowT%za+d7f`;a$Yf0(N)l}vS}!HbB_NIHfr~Oh@`q#fz%>wy}VGqik-|+ z#ob=QsS};DyIeA(=Rzc)u58#OEos6NzY9jJy1XQ-DX+x*HjyVZ>9P}VwbH(<`J$im zW6l~`y<_>d+t$nRbv{@E`(5l`Q^p%HxoD#LXjajA0>;a zgt|l;mtP)#2U!Z1152yXSH=eLF%#S`F(amk8e3nR&+8Mf56!9St9Vk^YAg;Ep;ycT zv~9DPvPxe9-J*7`ry6$FDVd>RCqI7b+_Sh;MW0fmtQ=SV!0qv*|JkRZP4}>@!upGp ze6fD>T27{eu<{J9JewNfQg2EaINAtrLG+`C1%rBj{VET<#QDC@W%GW_T=I9+R{mW@ zs9nkd-*|PygWQ-Ennig(^}eiLL${NVDH@(byCQ5qnq$)ktOsF-%h@+O2X z&oNuf0{5x_LoC0h=K~t^n-;2F*Xdu#xWAC$eV$GDs3k>Qmg`eBij?zWqNGy68 zVr+b`@pF!HnfkjX|3l4iA&Y%Jv3$o7wS)1cTC9f3U<%DnUyNk+oVq8{Z6%gv&$i<` zFHPJi@jf)eN$0w)J+xTEtc;_^8V$5PO74b#HUPv$uc_vGAtqhP+5+!P5t@eRx&_Mj z-qy8eH(I!Fh`tv)xSw!`U-lDpaY&=VKR2gDVHSn;7KJ3@4zl3yTCC=6H>S93f2!uS zv>6y0WT5?UB1VyzyobEfSgaHy%S0|^vl6kKZpEmX3Wr^lg#7qjkcQQ+_vH@DAataE zgubu5yS&hgCiZc zqVu$Lac}HDoAHJ_75pe?Pv1d{-FfU4opox%w@XOn*lvr{Gt~%$?#N|+O7n*l>ViOtuKEvS!JRLAI&*O_8swm2|B zG(3l?W9L@@$>e9Xt0IOrx!~QV*_uwlMvc&*&7suC=m_cXuChd<(Hw}&OZn)3*)d_E z#K^m(oILWB;bOv;7rL_i*+f3n(7l;3Z08?ImI_)bG z9YP4Pb@;;{CL%oKs#reyo%hMbvO+WOJ$_r=%733*@Wjqp$o0H8<~Z&o_qCV=?+6{k zN~5-Rbsy|a0OSU-`ob&f`k}yo@N7-vL=rqLrF`orHX8&=?#*)I5C+%#1UxLqhB?Gh zmdvs(H*KT`l1Ve^On=LepFzI$a@z8s!S|9UQw{O3U z+mF_o{3#U%ZBu8swsF}k*%-a!kuEnnx@!14TUuGQYPkS|qx{6M8OjsGEm>NlhHM9G;OJ@XT3jW@NeavHoN=p0hX?nTz`bZ1u*}NW5$B zNO{+Y43LwCT&PiH!dF)S)HybdwEJnR5uHqilUK0$V7pzCV*IU~e25x{Je##5f|9iO zmZlO<5X-l$xifF*+A`L(ZfnomJZ1yFN@Q=o*+M!`a|s5;pFrXCj$&r_A{Hh zj~`aJJki!57R~K)uBzt^S@Ju&aMHDn9#)_G+05(<#>kU~xFQscxilL;(VZU~RY6J0 zE|cbs7NpT}h0&$mxoN47yc|^8Y#Vb630fK9f7i25@(QPa7Pw~@{(uA>i)HzFq1KC+(u!_ah+1YWUwW8nwxVDor<4y)J$&bVS6zJX(d^g>34ZxaOl_Q8lT&f#CLe+Iy4dlW75SZ4Xs?Gd9Ny~T_J@1EM z21&01DbAt*gEJu%S=BFyVU?~!9olQ+3dMbnY`n2iSf@52^6Menf@!GD+D;rgFCOA=nhkAtE|iFWJUx*aHTW59SE#rFYAx6W@Ww%` z^2*lFXb!VRb=_fCl%5DgQyklKJRrjQTT-H9d|bn!bsAs7akP_A`d~AcY;n5mjMO6! z1B5;1M*^2w4Q?TGEOn>xa1!kRbXFk=qKC(l64+gSqqC`rn(qh3U}QmzaQOy8La^+Y ziJ%^T@-m#z=#u1Ndk4=nprz$y(|C?lWe;WNEjE;8ed3LF7*3aem089;QT%+77}kbE zpO#Q`SVr}rEDBX$1EJz~PK|@REIkoinvn6+1T5MG8v)OOq~s?nz$D3Ce>uBr&anH5 z%=M>ygr+EDT?4BZ?Iy>R$7RyD4Hy`;TfC5!0h)0T-k79>FLJ**f;$9MZWYsAg7korbFcr#)N1{h_3 z>?kC9+1#Xj`tu`p1L4YZ4RNw~jZ&E(<0=ElBfy=#yYo>iRTQ=uoi+g8HHg4xi{vny zL7Zrp!3QKn3d}-QqC(v8hgf$kEmX|{}s8oRwc(R;qP<?Pp8mEcm(zao@iiH+;g^e&99(Y zbzLpkeZ#fmAgZGp?Dmv`C2!P>IAGhgf7g>lH%%*csfCy-K4nevy6YQ8Nx2Ju>^t`< zNQ(;c_Xi;_$zT7@U4)b2;RAo zZ8|eNTv*vC5B~@wF!?B>z?LeKPU)yekx;WbIw!zSH5e<6DN7kI+|T}alI(FCT)VgI z_nD~nr^>c`+~H!%`s2<)MKOqfAS?Ghcl?S+_OJCa`4EQ5?zIhhuX|YYqQOE-QmcJ_ zZ%EE(G3a2UWH{>~M9UNf2b`&45n;cZ)REF|#3h5K-J0>b|t;Y|M=NbDF)9wOZj4ddcKRY=;V_`Gc{`#eaB~Kqa z?V(13)b9__Fj&x48m~FnVUFi-j}PFY@5t0`qW^v{9&KVJXR%^aC3u;4g9~LjTSnhX zCKBlC?+RP~F|)19Ve=V(Kg9#4gsb=(vH94KFhb_>Ed>Rf$C2~aU{`zQa90}tfGEI>kk*zTD+2h?xx1w&rzWR=><(;4V6|5y!Z|hP z?Im!OCQ*1Yj&m=s$*DCH3~`<`g51mZEr3$ak8*lIL+AmZZr%2hPuCa@(+>9bUGIVY z>`Rb3{PjC(&xTucP9P~*+D;B!6G3f3!H*ErAiR5p%IfO=*coASHe11NZXd1w0dd!W z;T!^LbXE@RM`yi%@=kIxr9lcpI_lc8etlP#T=h+74c-drN3=Z@qMQkh5X!o>B?^|AqT3!!^(5dYZ`*#m3x8Y{qAT&+!@cXB@cnHt8DFB%-=QaqF)C^7wiT-t0xDv}!9;P?ceKyhBh zG7U0#uibLOJ9AUHtHl>UBVx)Hb*P1T$?^U`ub3K4=P%Hgm4kb-+kBxuHhrhX;u(MU zT&EB+vGMvtrA`YB+-Ko%ySv)gQtvLY$Ck4SLzpa>OH?o`vv>o;y8r2DUQh?8`mv-! zny2o>xf&gRnR{M^d?M#mP2;6oYl68c`rKyEs`ybW!r+5jnj1huPI-z{w~nghYlz_J zGm-Fn%2E*jIOh3cewf-H7NTi0x>`)F7c- z!Y^`~)z$OkaD*gbUJ}px6t)Z8$3F9z`7<%);9=hjYDE*oj3f^5Gcro6cVyb zT(0Yl=uH}(P0!xuX++iw{22PYiYCYx3d36gDwR&oV8V3ZcINOEN+91CZx*?FVW|xvSuFq5Nm)G5)mwIO zZfy)UezZi%)kp7Bmk*+_z-zPJQWITIQn1o@hi@7GdILq^*Bi(prRhA4q1rWD3u*E+jWoe6GTfK}_xM|cc2is@oto;~HHFqLW{NRQnx~xP9K&Nk*oJX_ zJmFc-8u@nSi31B^2v*wMG@@Gc3M4CkWLSv{FN8y!*(9BOh|zdk4~xT4K!HU5`6dKg z(d5r?@QzL(dPC6<489a}zbqr?FZoFr*$M`@M*P)G)GBWCuG9Fb@&RtfIXI;PsPbeP z(tHgAD)bb4X)T|}98#7(5e&@?bsu<@8BvH)@i9sAhPlXIsFIv`vf7adx!A#fkot)( z)^?9!j>SAC&A#jWHpIBWbz8%z!G$UJt4SxdMs(AMGn*Z8PS^|~GP+#DKoi2PI&Sd= z&MrsYvUX2Aep?OGtQ*yk9ScLewS+4!AJIT2WbzPhHe;>1|AK8+{#ZIbsNZ%-1D%IFc49Ui|{c+dG9QFFHqKC$gg9pIkJAy+j2p zXQXPiPznNdULA0}n8G$C0v%xNh0sG=#KL2&;KHQ%wl^!4A&p7yRJ=KL_>$Mr0`R+t zHwSlwB?Io!Qc7Cvp#{iV1{>-F0Ytb=h-HbHUEF79Z{rYIEXU6B3wyeMN!aOk&0)lJ zg70r~9&NPY^#TIi@08TNpT~rI{ET zG7Y+;Z~{`po1!08VC%)!d>#9sgTY1Zxy42Zx!LWFUBldp+P3O8 zs_2ufcIw)2?0iJ*hozi9Ro0yH;~pHc*hY4EsA3;>E(SwR#+w#@$Vt;+M104(6B`hf zdA$Q%4XnuJ+yYqZVq2tQ8SSeHXy1~O+4Uro2`&ng#8Q5c{ITa@9+U`K@6Ud$gQjpu z+$0qzjL4{^A9vLG70#8RPyCJ9jwi>5M%kpps zkmKZvN|{@-Mlke$_1BK!3i@g6#`B>AbS2ttS1QWSOpHD**$YwrT2{eJMU6c*Z5AE~ zv`2#8_&1Z8sG0fI-G&3xSz@WgcGzJ+WTnJ}f$ZibIYzO*&pM^|-_x#vDQevriA9e$+N+Mx+Oh z12nLafQ;^`nN4>8RK-B^wvCVB5xVyK1gN&fMK;V%5K-poysa6nJ+jJSbs<_urkBxC z*L5{5Lz{_z9NszuGWcMqux0;JKbicrg$~73F_vi;ld&>S8bdKlBnZ~oBEU_yw=SjO zipi`EUt}mk4nf{uKo)IAV4tIzaW!1tBfsOw{js}=_QA2f5xOI)@TS_<*|uhx$qfm5 z#AGodp-CV@okqjE<;n;q-axQCMOMVb{(fg!xv|TCl`WK5O5PaQ4MZn16Uf>nRCuo? zXYkom9?#KqkZq~&9R3Zv`phZ6tQ^gIo>k;gTUs%E_l!d$D}%rS0;D)Q04s)AXj0TK zxCL^*8zHjDQsq`fZKgBDh3@2M%XYFn6bY49n5>MbL2`KcA$FRrR#iii?UKNGbI9{7 zzRt#f`b8&YsvJ|`+jaqxPU`fP43Md^{51zojT4ph2jZC9%-gnRXud^mW$p>E6{dL~ z9*(?0UXa(-$e2ZUoNlQ{+xau+Y-nMTGFm9m@C)im` zd(F=U!3izUy1q!dMVoZ3KCdMc|My|L za-Ot@`RryTXSBOaOh*bNljqnXW)X4L&SzSkz5K6V)Nrv(URORH1ZS)Tba^eR1v%a@V z4mG-7Twh5~#;7S`Z4+&u;mE4YMi}>3itu_sG;6jF`e;f+;J0Y=*s;-ft{koxV~ohd z)!3I_MW7xDOK#P$n%*2?k{IYCvVE>Mhj30gh|6ys$1$~r3>UC{wDvH<7VW}+qZYkW z=7YmUc^UC=3TdcfQjcg~DvxzeIMGoQUhMSr-WxU(o3+&dt1!KFGmaS zlzF9!XMYmbaNdePwixWoV3qEF9KlPAL*xJm_wO0UVl=UIEwUoTSVPPpDg1npb2k!I z&i$A~DS~Yq0SR7%X}!a+bh-45ubKJISLvXyw2MG6O$9o-?~jB3B0o8zA6<|vtDPTx z?y04PqSE5OJE$Nd?wZDAt@Dx7tmf^#V#1bq5+d0MnWOOtrJi#JiGFi`#*wZtJxIK2 zlv7v#Ybq(ucS(%ArczpSgr)0g-pfdnAT|Oj0jH>WKocJAL-_Qkskm-)+QADc*$GqU z!mNj8nM%a2bm@a;(%4IWKxB5V%oi6fPmkUkBPZ)>WVut_L=ei^^PasN-BDU&0Socw zLXP#vWDjb+Tw^C`PMpbqR^my+M5_g}RR)2HCis}pCU%&EO|wGHcU@r;vDN&f`+jS( z737Y$t!FamMU}O~avcKdGF2g4v&RF|JMp@<6=GxU;wu5_oER0@y`@7BgSJNKaH3Cf zS6uR3ft-U@&j1qUd)^Z9k(zWq=5NB>4yDkUj9Hgkq48DP^)0I?7^zU7_}=H_%pS2_ zoS|;lUrfOTfFk&S_?1^ozL790=XU=GeVY|HhjqUKw{^b*L_9DsI59LaGc+H7n~0W^~lLMVT&TUm44 zwibTZufSv7P6A>FW-^)a5<7O{q_Goc>EwZyXI=;6f56orMccm~jp+Ea8GHB5X#u7Qn!A z!mUvQVI>hvz#0ow$$*cAomzhZ*=0m#8IT<(lH(&MiIfWXI8CH+hQJ@`KmzEa7zc4m z6UCJnFp&`@i~~(1Q3|*)$%)c}6HreXg~}6UE$S+W&R7N)jA$k#nn5&&B@Fm$VHGio zXvNq7%pqC}18ad|G?>gJ(bfV*Fk&*e1FH>_zz$_`0j2|ABj7@SokoA+1@JY>n+AF) zBL^Dy0SBGIFK_@mj6n^7hXq?Cth0a&SYwnICItc!=1|9?6#5#q*GvXLS3MY;mHjtShPJ$enN#c}W ztiS<&u_n%Cs1@LlW#E52nE`qkhZQmdCu9Q9l!$Sr;BN_xSq4DD6+oC-rUvMHmN|{< zzy)9wu2XQu4X)D&HCQAW$Y9FgI*`E(I7>2+!7N0Vgk7)`;t?VSt{6rN$H;`Z9Y_u` z03LjbZr1)O$lwH$SD`0NS8hsR|;9u0TzZpH-x_UC0Wxj^Ix^i$X*CGxn< z=jTO9exti|kM7e0`hvcs$MiKlrEln4`X@c7@977c(@T0e&xd~(<+!*m>+3mkqC+~I zP9{0Mq6IDPuJXk#y{0$xmfrrH-4=IrME|B^I-z%TN~eE!1)b4ZJ}>S(BY#z~nHBTV z^oq{uf-Z`0ux~N?K}%ZR&WnPU-=}m*ztQjX=S~IE;Rs9Dn zUjbKb1MYvzPbViY-U7HUdLtUL^$B+xYcv!WD2yv~Wfp^*MbPRj>w#992wA~mWM}i~ z)pA&t#g8&I$!ufN;n9m%A3uXhr^kIJLBXh!G{f4yFV973RA zepX@fk$$3|eW2vy*=-drRYF2K&K9Hb^p1su9MOOO`9K-xlgq1|j*G>Djw{080t?9fCXDQ0Z1Js2?T>K?)i>2be^-B9Rt7&8)lv`0ngM&fONcYRZpn8G<&KOZJWL?2<hpw2HRF`>g>gvy)*2*XS%20)H%eQc$6HnqBn*jxM z)h{j%KAyijMss`WtEdO(%w&&ZuF<{bhRnq*?f1A(zh$u~N03n)aIjl7nhzJdySpy{ zhx7Bk;;BRD^oMJ;AzkqHSAej+vuss2t0}f!Ez>EsnnYHaGHY^SeFU{zb(1$QKYlrW z=Mm`%4H#)dXu!$AX!f5Gv1S7zr(l0~uzD2Cu8m%$|Buw*tqSJrFYgaOouI*=duMJ( zp7@a)j*&2OtChu&84nvaa8~b0hkQPte)sY3ud4XJ%;&x_7EOx`t>$tGy{PnEa$F3j zv!8S5h~r`c8qk}0kwZ(W@(U-`a5cRd4fAn+cSR?oJIJf5oTAdO_zG`l&{Tg%!{r#H zF7F`YQhc|ntS7I|KYZ{h_PM9D!YJn?zFYvDjn$8UuHqX`HKR$9nzL2qJo)@~_uZj4 zr>}HEr*H~i*Wl|i;~pbg`ip12z@cOD_arZGyCY=XVz*U|JUYBM+Wi0)zwbZ6)g=Lr z7mqZJYrA2@+;7U{X;daZM0=>*-UF41BctH&Yrz| z_vv{5kJIzL)83a?fGWPl<3bAJc!a9dEmYkK)!vhSTyeCB0fpCRG#h{x0AM3xG_@%) zir70ws>F;Hv-U_!s;IrU5~~QUAk=6nk*Zl+s9mKLwMuJLrL;vTYILZ2-aGG|^UnM8 z&OPTl_nvd_J@@a`B)D3e#xO}XI=ejh%Z**l>$zjKia#m{#*+0nnD}GViWN-qwvVDq z()fmT%W)O8-y?KWl$J6BF?|nwGT-^{^LXb(wX?I_jrZN(xpc*Uzg=#n*|_^Yag3hl zWBjX`+<<1)H7B?3tj2=#p`JTlreFOx-we%Itqn(!dJgBilG?+faXawl5`TrB@Sg#u z?@&T#R7&Q*-X3mVf*1x_8Rt3?Sr6DkET3nsA1^3^_Ld4)t%!R)S$a*2MTwU5Bcih zaM&pod2{0(cQ1FCNE4h%{TJ2Pl8qzkxAPR1_&S7_`uvKeH51ey=eI>2Z#yJ6Y+n@~ z-j27CMT->42fOoQ`cL_dc>kzvFZ6}`&=)JP-{Pm z6%^U40khu}AE|p}7A1aJHu=EB)y3m7dCo8CjG_N5V~@Yj=_4fh$0#e|liYfbBU-Zx zRNrjHAt0M8n~5zG#(64FuOGZF(~3dqSkAH>LAxBT^dw`;gt zVuB^PWnw8O(fb#*KQ|C?8~T@cDc@6`{23%-|9HG`9o|N15*DS3OPs#GxiW;yZB?4s z1t~LcgH)?loKR$s?;Uw_U|Vsz$~I*8Q15_4<Jn z^#ag?w_pO8#dIJ#=ct7YT_n)@uar$30bxp>v*du4ve#W!M;e_w?-$Bm`}K7>CHX8P z_&#*+dVt@k=MRB5injCYycZH-zEhqHsrs2WXOJoLKwIZU{V{twFLmxGWrTUUwEK+LNk>-g6Z47Kdf#NBnOnHw+C8F#CT zUlC0eEy-5PHM7&&q)fZpwgVctBr9^6Pm zJ=x^g=f>kC=Bp!xQZ!XICaIb19YOgc>>WHtxkzIgWV?|ziKCt}jYFSB9!clz_8?F0P|VbX`FXAw7ro{v zJ}Eh)<{RAcSJUKunlW$dI)MEw(VkJZ5*g0w$k*a%mG}gTjG%6g&Zqdsl)v?~!?}S; z5*fTi(F`Zz%Tlg%=1k2@3yckPn_bSc2Bpx`;yhPhpdXbRBg9rpm~1rvU#$W0&J7HW!}|0DEk!lf<0LU1qN^Z7p3m)DhxP_aotSw$c=}XO0J?_ z`;;M#=`j)b=!h?yAP2?cKYUFxIB%-;p?13@ikzc4#v8r zXPI&$!mbl|2pEo)!c$oH#BC4gnE*~Le9Uz^Xe;l7H?|p{?<);s2~HWcj+V3_a$X;@ zW*2gl*blPhw)|1K7J@nBU)W6VJ_Ao`n>{nvX#!5qgq!bA58Q?;L46@_Fx(D9cdV9o zEG0%l=+6SvHuekLv;@9nqHHBQj$*=E9$m65(pH+M#hl3YNoAv(e+oX;CIJJ8rY!;H zDtIjZ!r8Xy&r*^?`#9N# zjF4vi`#D3yW%we>{OfI%%;))fAHNrBMqCqIOVC8TR7B_3p^7BXT-9T<1fKIx{G`X) zCd}t9M(f^uz0^GXfc&tHr((ES?qb`s6C;HF1Vv(?cdWYMRG_*DH5ft>s%xmKq++0a z6``UEGf-335`zD~mV$W@;3}pw@R||p@a>g@rr!Hk??DU4ctGdjcdHS~v&P3azImZh zL~O=h$B0eJ4xDGanVTo2l%e-G!MIw=+5nl8l$s@uWyjKpO8kxUjxR3xvGQ%{w6_GR zd_q!`8TbE;fPg>T3)Rj^rnwG@%&G!#t*Upn=;xO)jpHeh8X%)ACR+nxOY1XmG2|(B zOGmTA=o_aMtry_O=n=bW;umv$jZQp>l)xR*HClr1;PQh+CR}G3+(FZKBG$8%{pd7C z!*eu-8!v8)L}o5qrS2qb&KiV#0R2c{4jEj}Qe3`poOoI`J5e0=h`wKUWr@*QN9H~4 zVe18cV6lm>SMX^*Cf?y>3fLAZfPG_cIfjU6pQtymIxi2D5m7A!gDa`Np;sfmmu0CKGvUFdvUAB{X2=TXmRv!vYbhQw-0%N%pm^vuszea zU2%=XryC7YvzG7a=knYszco%lh zZnd`GA+Z5N<4RX-gj;&ma3uGIX`HK2M$rNNtp9pqCrv1woluY?h)R~rQTm#Ue23eJR-iYP7vaUB@0J`HcD=C!VSgAeg}`#M>6fRcb-tTNVE*a-Vy-*LnU^ zCek0Z~+1#whA5LN`}m)|=M{X!lO(apF>X@OS#dk0D7`%1T@-qklvtp{t-qXOXO2#`1{nt8U+tX?V5@6>z{# zas3!`P!Ll#qeLT5?QBL!BFdmaW=X*$SIpFenEoMH3abm<2T<%NN?7OX9Flcj$IIF07GuHW$YcBRz zl$}*_!DP5-=k(aFmc!fi&yUY0lhT^id1^cXBMjMA;w;o}v}&WPQRRAuck2ur)U%j) zxs;xN4laA3Kz&Wzk~&K>bUT{6Du@EB*{z+fZGo5==G7TyNb*`WzitEfsA~}1^+!3< nbJ@fiqJMpZ9ArG--O;{nzFk!SW&>Pif+{OBiHR9l8Z!L@CAAK^ diff --git a/docs/bolt_design.tex b/docs/bolt_design.tex index 1eedfed..ff26c7c 100644 --- a/docs/bolt_design.tex +++ b/docs/bolt_design.tex @@ -31,7 +31,7 @@ {\selectfont{\huge{Version \myversion}}}} \vspace{1in} \\ -{{\bf Authors}\\ Matthew D. Green (mgreen@cs.jhu.edu) \\ Ian Miers (imiers@cs.jhu.edu)\\J. Ayo Akinyele (ayo@yeletech.org)} +{{\bf Authors}\\ Matthew D. Green (mgreen@cs.jhu.edu) \\ Ian Miers (imiers@cs.jhu.edu)\\J. Ayo Akinyele (ayo@boltlabs.io)} \\ \vspace{2in} \textcolor{black}{