From 63b7f527f7bf712d43a6a260a9e49cd991c16425 Mon Sep 17 00:00:00 2001
From: Bill Traynor <wmat@riscv.org>
Date: Tue, 30 Jan 2024 10:35:37 -0500
Subject: [PATCH] Adding images to tracking.

Adding the images to git tracking.
---
 images/ethane.svg        |  90 +++++++++++++++++++++++++++++++++++++++
 images/litmus_sample.png | Bin 0 -> 16322 bytes
 images/test-diagram.svg  |  77 +++++++++++++++++++++++++++++++++
 images/z-type.svg        |   1 +
 4 files changed, 168 insertions(+)
 create mode 100644 images/ethane.svg
 create mode 100644 images/litmus_sample.png
 create mode 100644 images/test-diagram.svg
 create mode 100644 images/z-type.svg

diff --git a/images/ethane.svg b/images/ethane.svg
new file mode 100644
index 0000000..347471b
--- /dev/null
+++ b/images/ethane.svg
@@ -0,0 +1,90 @@
+<?xml version='1.0' encoding='UTF-8' standalone='no'?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg height='188pt' preserveAspectRatio='xMidYMid meet' viewBox='0.00 0.00 384.38 188.00' width='384pt' xmlns:xlink='http://www.w3.org/1999/xlink' xmlns='http://www.w3.org/2000/svg'>
+<g class='graph' id='graph0' transform='scale(1 1) rotate(0) translate(4 184)'>
+<title>ethane</title>
+<polygon fill='white' points='-4,4 -4,-184 380.38,-184 380.38,4 -4,4' stroke='none'/>
+
+<g class='node' id='node1'>
+<title>C_0</title>
+<ellipse cx='148.69' cy='-162' fill='none' rx='29.64' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='148.69' y='-157.32'>C_0</text>
+</g>
+
+<g class='node' id='node2'>
+<title>H_0</title>
+<ellipse cx='30.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='30.69' y='-85.33'>H_0</text>
+</g>
+
+<g class='edge' id='edge1'>
+<title>C_0&#45;&#45;H_0</title>
+<path d='M127.87,-148.65C106.43,-135.93 73.21,-116.22 51.7,-103.47' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node3'>
+<title>H_1</title>
+<ellipse cx='109.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='109.69' y='-85.33'>H_1</text>
+</g>
+
+<g class='edge' id='edge2'>
+<title>C_0&#45;&#45;H_1</title>
+<path d='M139.45,-144.41C133.23,-133.25 125.07,-118.6 118.87,-107.47' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node4'>
+<title>H_2</title>
+<ellipse cx='188.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='188.69' y='-85.33'>H_2</text>
+</g>
+
+<g class='edge' id='edge3'>
+<title>C_0&#45;&#45;H_2</title>
+<path d='M157.97,-144.76C164.43,-133.46 173.01,-118.44 179.46,-107.15' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node5'>
+<title>C_1</title>
+<ellipse cx='266.69' cy='-90' fill='none' rx='29.64' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='266.69' y='-85.33'>C_1</text>
+</g>
+
+<g class='edge' id='edge4'>
+<title>C_0&#45;&#45;C_1</title>
+<path d='M169.51,-148.65C191.08,-135.85 224.58,-115.98 246.07,-103.23' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node6'>
+<title>H_3</title>
+<ellipse cx='187.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='187.69' y='-13.32'>H_3</text>
+</g>
+
+<g class='edge' id='edge5'>
+<title>C_1&#45;&#45;H_3</title>
+<path d='M250.32,-74.5C236.76,-62.48 217.59,-45.49 204.04,-33.49' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node7'>
+<title>H_4</title>
+<ellipse cx='266.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='266.69' y='-13.32'>H_4</text>
+</g>
+
+<g class='edge' id='edge6'>
+<title>C_1&#45;&#45;H_4</title>
+<path d='M266.69,-71.7C266.69,-60.85 266.69,-46.92 266.69,-36.1' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node8'>
+<title>H_5</title>
+<ellipse cx='345.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='345.69' y='-13.32'>H_5</text>
+</g>
+
+<g class='edge' id='edge7'>
+<title>C_1&#45;&#45;H_5</title>
+<path d='M283.06,-74.5C296.62,-62.48 315.79,-45.49 329.34,-33.49' fill='none' stroke='black'/>
+</g>
+</g>
+</svg>
diff --git a/images/litmus_sample.png b/images/litmus_sample.png
new file mode 100644
index 0000000000000000000000000000000000000000..992be172d25e79996cf9467f882e642a46f9cc52
GIT binary patch
literal 16322
zcmZvDbyQUC7cPi&h|&!rJ#<J3GNg1#Nl2G8NSAbjbe9MSNJ;n53?<ziA`Q}YU%ub{
z=dN{^YaEz!n78)cXYc2Ec9^oFG&Tk)1_A;C_B$B~RRjb?LhzzPLjj-A<PXV%Hxwf|
zX$gdf$A393h4Bao)Clh+#MIp~_A}ixh9)0+v#Ytei32Kwf(Ik%=(Ve(=u~J`nO<Gh
z#Hx?2k+G`AB}n|Te6I>6;gOM$=^O5wiE;@xBsP1~CK@et;d8*{w0&?f>@Grinj)}$
z+OU1vx;_jSI6M_OtjorQ<|s4bN7F7ZFA_51V=RlKM?iD!`DL~6F@ic(V0p@n<k2q(
zgP^PS2^HXa2p)&e?d9<SA8hi|Oocyt>*W_->#3E)L!}mvvwFu(jPXLH?b>-;q?L<h
z-|cz3HacG3L_$`bnX_gX47xRvt)!zvicQL6-}OPc{<)^FkMm#}FDA{?8tduLeQt{1
zDh7wOl2||VoNU4)=B%emSG$P}Hvat1m-LoPf>hoJY!7FyhcRTW?3TBgb%zstjww9C
z(mlKSeSEc@&22NsbAPo>6%w^0?`77*WjcU=e|xIL#l;mG7S=H`GP2g<@^^xUhbKWH
zo$q)n-R{ZJZ)qxrzY|PWlRqTkNvvVf(Pq8T6#sU{Lt;elQ^3M-iHLglW~<*RD$+AE
zhlAS^Ei~=zIlOPqO>fTk5&r%8-N|XEwW@r+H`}?;;56IjE6T~q`4kyhyLmb>o5~Li
z6c-;aZe~XBvO84(UO4U}ir+X!7YX^p6*C2oZw}k4EywAne(J#|iq!<1wy-dX*i0^u
zR_USRC7SHPI1~f3)#hR0;cH!Cc*5s1#t?(n48zXgN>ezYPVFc3_MRv*0k2Dr&X8y3
z5BGN&BHn5DcQ@6phx$I(I}Fw53!mq0z$Ei$o)y8kWfT?7CW=%ZmuE9yOE82roGp5I
zJ~9GE5U^iCc=qNWE+!$w{`wH6a@nQIC@Px0-W!8tfA)7WkLd^Q6FCOLm$bB&(?2QX
zlG!$oRy(_TdcLNl^!<2W(l;_<zB5*^;4-bpV?7mV;Byr;kjQchXKzE`@V)mUeQmp!
z_PWqs5PV;uWCURXyFu2UKNe%-<5&B2%M15cOpJ^x4cl3?z*dged#gP!Y#(g^ESci^
zKGR=mQ0s9cmRdY_CQFDA1Ox;Sz%l}!(@JT1=^ZY$ypxrE$-oc-u8-$QVlt~2wFhI9
z@q1tMOqOV(=6GG5cs<-*bai!AcwIR@LGoUk{$4+vD;{Do_U)a@4X}U$kF&qF54R>}
zW@8nG;x|hf=|^F0v5732Rc^;dI(4=Rva;cmiq%brt?93q+yah{?6cg~&=C$AciCDm
z*D#HYjKUA_pd7|MSisP`LZ8!WHGO6U#^XHTsZ#&A(79S0_<D>ePJ4OVy{x*rdRV#B
z`F5dfA~SL0TQybHKcl%ww9?U#O(AC_7;61?mZyZ5SM%la!#%@6>y52SgQMy3q^3a_
zaIFX>kt+#&LP8xc8+rLiVlERI70=_fZrI3((x>@a1vHwjjsVo|c7LSq9I=2duzty=
z&-)S)gsfe5ZFgoh-tqJbFZSnZ@E%{_=c+4j=8Vp-baE0VCf|q!9KR6@yH!}s{VMJo
z9zIVQiNS?7-<{9ry^E*M(=69t1J+u%<J}l5EJ~w3_Y}kg<^R38{Vz1+2TJBD^OMs-
zFoIyKjD{+V_&B|VL7M{vt{-xg6BN8uwSMXcNmB)NNiZ^2*hI=DuXrGoQ_`%gh&Ao2
zF?vyChc@$?JowZ<_{`ME)h@fE_C&GV@v9Ze8d}Z1n5jnH8VNaU3sEav`Dcmt?DYdo
z?L)2(9vZ~_)Kl5*weJJ=bPO`$Xf5l%{aq2yg)dFw|H%7cK~VJ{uL3i4`pVni(oB`H
zEb{N{K-EhbyBM<3XfQAWi`1lr{$vOw8F;zX;4UvSb$#D~>I#^T%&WLDahqF-ve8P_
z&%aEL-^P>6z4ZcTl4BrR@228eW+)yS30ZWDXMh)s*4p^BiDHo#wX8NBLfS5ShLv;a
z_dcLuqO=>tQ=iK0U@0>;la~`E;W6Z>F)*R@2>-+Vw1idAZ*Tt>e=vi|cd7BrW4rU2
zwcYidYXdn~1Qn03#JyI^GgQs?@(0wC9#|^H6j`3K8>c=i#Cqzjm++^BqJ4Hv9FZHW
ztwH~aim|Ax^ZD3JR^O!>%#)MY0eq_Rw&ENFpUaLDYL|KOMB)G(L<T<S38NMld2}g?
zVZNqz?$MKG4XxJ8CkORNTwK5ITy|mEzOXaAqk^?RDwnrT-a-u0*EWa(cbwnqH*tM%
zMJH|xBJYm2pK4v=?%g9gPG;4^E{+5ZnHXd56M88F7IgP(x+G>=DLyHn3mSgeNqM;U
zybJM1qM?54X?S4^4_F)}{6SES(&R;2>qCFX@h}`*LXvd&p0OFL{6$hJ<j;8TME2St
zdoo7^k@)67ZIt&4g4a!%rEgrtL@BynlNCE*9r+V@HKDj;^~dQ8)sKA5n3}^nrsdGp
zez&NK41UB+q0X^_x%&!^%PVtYA;R!?g9b0lTbW&xBbi<ha<q{%Lw*TclqKQ1RJ)+y
zZ*&y!pcR`e-eClxt`oqj9P+W$f&a`Klq5N?EIGw^uOH6QtuGH&8i)9=EO?glaU9HW
zYPB?8cGy)KO+8WO#c5Rd(vG`(pvfpq97B{O;FKdr#P1|Ezud_CY1Z)#*OX#URJHJN
z-*9k3!fsRr$2hL6xLvt`)xyiR@O<5;&b~xnpk-B>xkt{zI$9#PxRmZ){|1NeF5qEb
zXiv25=AOQL*S(ytjq~QZ=zJ|t(*8jA7%73rx*-W2HHpwS2D&Qg_N@X9k-ZfyU&_+_
zg^v%18P;GrYA(+8$X%kQY^yXa1RWihsL*bEE2-iv@?Z4?v!PYZ88?Z1q4FgHB?Cl2
z;Akb_XvuT#-f{C=PV;H>0<z=N5=}Vu+}BYw%y#8`l0Nh7cf62j!Wcx9rA^1@xF&9~
zD(%5c_Ezb~ECd+ko%w;AC#LngY#cuYwHvrfwGi)agwEZk1~uOH^jLUt#0Wp>=(zqY
zi*b9Vc^se~7DP7JmkpPEJ7PJy&x*!DT*yIn??u5zSvSlP1QS0dHtZivi2GHdVR>Uc
zmB1YlO+j(f9Es(g(c)_7u3X7qRb`SP_gqEA{$g=1UF5oGBc$hn>ZxXI^qlNjj)&8q
zBd)Ymc}2of4-!W<9dfD1jfH9rXC(@WlJQyGknw(PU`>1Nddpp+?tihIEau|0Wl=u)
zgU(yvV)<F!67!t^J)CBJEFF^ws-uJc%m&T7HFnu$Aq9aok{qUOd9+PN9Uc~^0#3UQ
zQ%)xh%WJ+>4;*%luHHo1t{0iAnnL#7u#n@sTGI&m+>gRyxpGAHv(%TYqHP;x=6<7A
z-@RWy`;xLW*Qz%EaXwjNwp`hb)Rq85gbjK*m5e?YL6<LyEOOb>-5NY_a`|K_L_|Wx
zch9JP+W1}<?-<frTb@Shl9E(evymIv&AVX)kvXJSWQbtD@kkja^f>#nVN#^^+ohIx
zUis@tL1+k7uq+DAWua2%7vx%!RVuVhgOE{XluRgn_<*40d<sTTx_v}NhA@*k-Oah>
z&COYS0~DU@TK1-gJ1O0^>Lh4&mBS>o_VDh)=Jhu(Q<)TMNh#?Af>g8I(LphKa9R!x
zkAJ<0*W){Qv4|>qU$ofmLclkog^=YTOQu!rQX<@L!ZJxJ4ri$GCb=;^APj=Z*%w!s
zn6&TLb^1O$4jItkL^F!b3xdzet-E)VmwN+?2`?w-_bk2jKdob9MN|{}Is5a+tR}bS
z_dY?ePW#jf6LWZ5TZ?DS-Q9J6=v)r9rgmQU0$0&QTnl@1jt%<<vsjN|skt}o$x?zC
zr-q9Xsrq8MNA|ieA=5wm-}0>UCwd+@lo$E!aP?U|gwyQLi#L6~uEjmS(s?Vjy>y;e
zd$^`DbDHnH&Wz92z5`QLMhHOdr1G`6Y5JUqKC{5YtbC$TJxM&Gvo)M}vvY1QE)@E1
z;(Y%ahb^1aw+*^V!>^|m{4AMd3CnVx(C3Z-DokA%rx*P}{Q7*dm7f81$$Q$YDcs`f
zRl@6;FT*4LL)`mRnz{Bb6$z5U@C?sC*%*v}=W6*@fKl+XXRFN2`1a29C#tx}L-Pj5
z!&fv6UhFH;S{%hsRd%{TurPiFEfC)S{j+!GffyV#hU!?`&qN|`6mS2r@V=SjP2uW3
zKMuz7zdl=q*Tfp*bJkzc!lM@^mRD}{k4CU&?rY?y%9QJI3(??>E?lNzhT&iPWG?sX
zRBbl}Q~x>F+lwvZVAqVd=1{wP{Ek%;P3#b=tuR6szJbVRJiYKm@Il#>X3O+@fP8Be
zYLKK)vby8x5`8)Hk_n%!Yc-A*6-UN3z)-M17B{tnlW*#`QuQ+@IJGC&9g?aFgJMEh
zt=O>6lIOGUijzyOC*S08k?prLRo&yinjG(3y16r-u1N}XH`ycV{PLS=qA`v0iPT#b
z>lC7?$Pin;u)oi_b-$U$RegR^J}|4$6{WnZ!GBU%YOG$IC9GFwFZiLh59+ZA7f<Iq
znP_g<h4vLWf3P-o$H2*~)NO^Vt70Jy-`;*J$yH;J7U}2YHz}D-S^21~G87vlI)xd<
zdDzM#xgEw}viira)!+A?)7S16*9Nv<Li8~^(L6r7)c>vx_IG+^jg$YZ9CG%<UT}A+
zAMcil>7>M5DRor7mwV(-ITb&(t9%HyQ+5lE7=I`XN^{U=fL7daU0%2Rc><4oq@>)+
zhJw3C49TF0ULsR)t|J5sjFZR={bj=<A?E+-;WP#}oo}anC?&VWcRm^Fm6`L9md+?K
zOt=50#30_F$9wtg#oAxw*;Ws+(9V*5_hbyr!3@i5*9zz2`|IIMXkZ9D+xJRRUrBb%
zKuIyl`*f>e$`<wOb_EH%E9`rXJIb@9pe|v8!a=RKKks^Crq72`jdh6MNgL&fEY!U(
zS=;W2x)GN__7=L}+N)H??@zIcGF_qQJG3I%cmaiOSZVeSz3%+>?qvJwl;$PW=c)68
zLx{Yp1^M??1%3%FjZ(j9gX#0`-cE*Wek14Y)ru8<C*hOOTe?4tkYA-$iLxqp9Q;^m
z!bSV@bqJ1Z+7~)Oa3;;+Uv?WZS9gOXMP~FDn(7IIu+_2|R)}=WK<PCy@^!1#q{%gs
zbmAX-Leytg^Ed>AdSaI1U*k<tSUfE!o(+)g&2F2D53rxdl-OfT|4cnsNPFddGFg(&
zF6VL%nJ8NIn$HN*gMH0@7Jy<|_X!Ef^g6)fY>#)SAw#IJMhG&<i9E`);9h7+bCs+=
z_M?LJX;Q#<sp_NzN#$5$5Q9GS_s4Cky4>D3{o9t7=yRq?O`Y3i(Udi8I24(l|I4^H
zXX|t4qGgvL;BaD+YS%sPFrZN_u;goS!20)Z$fso-Zu5aBr{jfi<7IeKf7!2T{rHPN
zwRtYnW8<3(4OZ{(>ah>M7UMgz!_RBvwT~d%FH9&~?n}#a6@~b#)#j&<6wx9aVd?Kv
z*0<74jn2gaOp3;pMEi$CMMX){I32&;H@1m-J+v&m@>)T3{a`Bu;_>~hT6ic;i${mk
z$gK5OYx}hIsgz5%t1!-uNzF6NKgs%4d!?)gI?6?sPYxDE`xHXS@Z>3~x32Noa*d_0
zE?(dvMUlY=@PdaINVxw^lkvoIrzwfLWVb}Oe<y)AIB|UR`z&S9#0L_!`1@(sCyFi$
zq}-<ASU&K<gnhZ>kFcky+%WPQtJDML)coVSF^3QKZ~R@Sm_mzCU82G{-XB-=b#ckS
zlTP4MyGy|e+)2-AO(2@TsqY=F%=y(WoOSt(5qEMucUf(gV?+nIan6-nxg=c2&-c&P
z-pB@xC|en7H_tfxf`ljM!|T%vPiD5vO20uW!&`%~>Jivv$$8ZL1|m-){>Wb7VCQ*M
zvGUBj;y^lDalu3^%SqWrtY++xEUVgJKZFJX+>iFLN9~AiSEe^TQAMb{>owjttmKO7
zjJguVfu<9TB%}GX{KT!dV{hJ7?62-=ySFMyYo$aOq3G1|usZS?2U~iyjJ=qbo)@Xt
z?WtwNw}pYpHR8A4D9&FDuy8rV*BRQ@u5lHfZuHOXs2Ju#yv&Hz)pY)T_ESbe)zs%B
zuT?9>#}KNJ)pB%{uZv56{rXMUE-OF8I)gPZsNXVc^(!N*!W2UlK^p=|x>4VKcWq3e
z@=Vx!*vUcDoM=xD_2pld3kFy%L9&o-)XpekmaqQ&Md!0~WOklr%v-E`ff1@$1CTZ_
zs%R-@a9{^|UR&005}K!Oc<DAyehNd!+xRsStCA1N_G1gHV64wAt7Ug-urX%B|E!u<
zA^ae$+mL4`E$P0^7E5EBUFjz*_b{%c+(C^DtFaz!Yn!UpB_;hgTKlYAl{cHfHdo6~
zyIRWU96Oa?g)-~JEW_hR15a01N)o4xLgJbcT&!Dg-;`OFVw#I)2+Ai29%uMXDxdZ;
zTFx|5$0pMSoTP+k(4HmxSK8+L`noHdOhLSt!wEQS$(v6VcY02qC2ad+QPhQKKr`pb
zjefv{&4=6PYOc@Q9<0i#go_luOf@&$igqU-<H0zRTeD2zzuX1xZcV}_YHfxV_urHn
zuzME@uC3d+TJuL{kju!#7LGe#UiIJI`6Hcq+cnd~z%+`DxFnu$pSM@VU4MRy`_BNO
zg8<SdWk{5o%7w$+J5WlH&gbr1wfCa0t{&fG9oweK&ft)U;0X62oRfy8!ale5JQVk6
z#`r{y@o6L_>ofXcNG^s^4ZZR)igy$Bv*@xquQr(N%a<GdKGqhaZ>36Z1kHj>kBw~d
z+(bpkC*qgFr7<x3AZqX4&HeJ!EFUl_5)W=irRr<l8LwG#c9I~YOBQVG$^FhOPr}jO
zc!PrTFAEFd{NqaqG=;LO<wAcvQ^l^Ewl<CRcV3XNl8KB*qkLBxEv@)gAtTOuGYdl<
zR53|hUOk0@Q>CfHJPefzaz$y-E}```-tg2cfb7=Wy!HvDu<`HXqt5R&mQksKHJ5t%
zp%(7^D$<4`<Tr56bEd%;q!`}U_`XV~TU@`@w80;n4UX0xHjN04AZf!k3)5^?fm_<@
z!Kc;KOfCD@>VGqe7U|#!WPVK&5B70000l~MaaCR+4SVy7tWySjXFS%l;-&o!2$?_i
z6SExU67gIT)ITk0X(`@eHqc#~;eY;}AA&{A8<L$J31MWh2sG`%@*Xz#`@HW357<Ah
zPJ}0KQu;bN_Fvqe#zgv7N)$An$bso*%vrTXVMIJdk@fv1An5EzX6IZiU|S%g#b%JS
zLx=5tZK;{Qt}DFMR`r>6Z{Gawj&4ZD)}qiRdq&G69lroJ=GZr<M{AHPqXnFqEKaBT
zyXo1PhOkeM<8~&O{OR2V>qs%Sb}iQVUZvOKrSe)>n;3pto8~I6pfiU{3^Iy`YZUc|
zQM3q}&ftD5ht|LkrxjXq7DZUWLe4T<B^;W*Y9Y9w4ofQ6wEJFm>cxsTrbcdF0(%M!
zfpv4<j{QFSH_<U_Dyd<92V{0csmJ7sl(G$<>lFk`-|IOJRj}na#51++fijxvweQdf
zl@*CVzv8XUy?#(9hyHm&!6G%qJ+%@CnUIb5@827og=uo)S}B8DzAJvE$P^^SEm_It
zq_iJH`yFMjv@;aEgn2Aq`r=?GrhA!U`^M7QVjXXdMJMsQ$Tm&tR_3|bV#VY_kwJMK
zO_^Aj#iBW7aPv<ME}&~wmsrf=lA#m?Hy>Osu_tb9%Ux<Q)e_h4d^j>3m-%4eH1{PW
z<Rm%x$ex&6s;A-4)2%T&?cG^&8iJfOm3s3z`t5n`p5K}1%+^g}g15<#IFYv$6hZ@z
z#jU}bSDK|_3>=LlgRht0+Wx%qbb;sQD5qjEFO26s@s2^kHfh%#$vUX*dh?W&z6fzy
z@0rJ~Ms=Bb5jFDGaqs3}w{GS<%A1_)A;&GFdWb52;)qB*3Fp8||J^A|Awd_%7@FZ8
zmfE!aj+tU>8H@Kei!?!Uj0g3}<?D7@vlT{?%kN@7Mvkxs;bT0La?&UgN423~H4sB1
zu`>$=z&Om^BCx<%+BJ1mchH76xkg4N2$pCO*iGa(m)2=cQHK!}lJ}f2+sQ&-`braj
zs=|I1`T`H{os7)K>7RNBe7z-1KUnZz<SD#3luPI)fdj;R2tcP1b2KzGzib!Nk_~)P
zl{*6$`5Xa`CUX6U7Kch?kRjX4=)&z_Ypg&{__zyiFzZcvXeioWotd$#<6f$(OAq}u
zX)5mo00la24U$lL|5N$;_3P2;>3a2ui1EQf1CQ-Oigxf>o@_q=i%IxCrF^#oSo%}X
zj-8d4hGEf3Ds_UjpW@sD2a-ehY)mS-#GR*uVn0k|=`wVWX*g*R-d?kOE7(CwV<yFa
zF`*~=8Oyd_Y>TH%z2D{Yym*_>omQPK1;DyZSK9qEM18X=jeEbQruIj!4HIhj2cqK@
z={50vsQu*NS97opQ13@9x0UXx<08PSAv(W8_x3&s>ctFcRT?1!p!pGJUvPx8Iv*}&
z(#a)(pc*r4s-~eq2vW!GbKoC;F|i=EJvqI~ujtNpcZIUuQ3PFs6Y#Gls|#!0QdiHA
zP;;y`Q_VWmIP37|TF8uyH?La$IRl7`>1X3aM&m9>$ht16d?EAmbxlh?egHG&wqJRR
zf=$|`vtA^{&0{qYO3G`c+~(u`;>C+U)8$n8Qc*^WjV>8NuF-*kPr-+mfO~M?&UBTL
zky+_{Ci-hGt3RGWZTU!ieG`jPI0azy@v*V(c}6Gb)5U5b(v<FjfIm<v&yv>yDJ}CO
zz<hEx=nEK-?_vQcCMG8McUfv`YVJoJsK88CM%K6<NPZWo<mYjMv5qb-*smlh-^ShU
znEABbzI>QTVoP)nd5hw*^tnZLyS!~+_uady4aB!?KB``gpU;|+BB3dwlM5|P!W}KP
znLZJBOP+?)Z1w9n#KKzliuc!Y^nU?{XC!D5i%+3B6+HXP67TN%Y`x`TDId@sk(6)J
z*xPQuN=1=!T8vUJ`P|r$>QuG@Ao!t3vz(HEMZ;vK!Z4DU^9$H8TvE~jU{DRG!$J*i
z$1lAh-_m2EqBcR2>hf>?6iq6cydTgu!<WbFmNOMJo)-tEut4;|OrhzGm<DjtkK{!{
z0=|*4aRcCyo{8RaoNkY7ZzdaT0WyY~hQ{A)DD8K#8iUX6v2<QuUXekYNSRJep2K?2
zEjWN?+uYl3q-VnI@k%1-?ZcTuJIigNh=_<-#2kJAxu4%@!$hTdigpacgaVX2M+_<<
zfre)`$awFeo`8F?Xg+snJ2tj)Gw%KV$Ez-Xq?2vS@n09Vi_BfuXV<$_UO6oy)=7KI
zE%Pqtm^590{OAV0^kG6#P7aTVT^}EcR%t!W7MGlCe(oY3jP?BY@85Y&+rxR<)n+d_
zIaSEtc>MZvJ#FC2I#*}M4%i8LM@Pp%T<FHuRyZ)Y^t-t#(+IQMZ{J=y?3UFDUhg*s
z0TT(MS4hLJadLF*IxxD=y*b-uSn|Hmt904b-~`l`!$#lp=lJ-q*z_7-NySjIvKh4M
zIv<Yaig)`VB6R^b3%?%DdSiWjk&%|h9EfXlx;6AtL`47gay@1Z%pET-F3za`E1ja-
z1r9^GMUQH0^R3TT<P~vD9Bo7!B>`RaiYMt-l31gK@%jZwBW_#oJtS4ve_=G9?~Gr2
zk^NkO1!3}Vx_x9tV)q<>VO9O;pr}+{u|w&vPXTF%OGv2Uyx)OJW%75T*u>nNNZ@I8
zbv22oPxEZ0mwS(qyuE$JmaDBi;BT(}mX!Cw;p<DDhXwjA9$nqtmB25ms;hb1wv+We
z!fI{i$67ou@>;=vI=63j%^;PPm8DvhU#zA@i%@aMKLQ41!Sqk^kupyclo~HF^|V(Z
z?P+JohgP3+NLRN2Tz;OD0n%vl$$Z4B+-8Paa(gR%$Y8q0dcwXrv-@|IDWDd$VKbG+
z=xAskfk`d^Xa4nRwyJA-s@x#^r(V-ojkTs?mT*7dRUQc|;DhE1^$rl-`dIU9@1$b2
zLN1Sg7Ep0<R-Y9XEw#Vpk@nMiuAHA{IDnZF3w?$lgoTC4r*Z{_P<j;oX)P^<d{;>C
zIaqAknJOcTBIV7~Yx)dA^32*{1K<P^yiSK+JMYgW0{2tV(&_`IY&rftYJ538Aa?xb
zVkzD!MKZ#~b4T^A*=$pm=I_Mwyo%A=GXfTq<!1MvnReQpDV%c!qt@m9_m^%ofaiHB
zYEX-b8T4mHC3LoW$bg*@H%}auhLrc~MdMcxYkwEW5jm_!y$%QN6=u8G7`CvW8<(EW
za(!{gjziA>@g%Ko$wN-PTwhN@S~>!-x&~-85*{9np`oF;;H-)Kiayl+<oEbj<hJ6E
zD)IKMpWDCR(q*-lV2AR+#9s;v>pCAS%$8y=Nt9@mNmy7E{aI+J?(6Hr^*rBuj)a1R
zi;Rp+XfXa$Pl(gw-=Dnm>$6>C>SzifdSJAGlzmB0FZJrxt5C3QzjMTpo|BL;nf<xN
zpsV=2uLHs&?eAKf4=RO<6p!Z!Y}#;{%mv$B5_a-i`g$pjHV6%yVC}d!h?o-^`r~~K
z)X2?yhJyyy83Y)-=?`|;ch{CdAj>j+_^Ah-C}on^of>PKXl=noM~D7dAPAn$_SFxU
z2NB}oez)}kP%!B3K8-v|YTqqNC~aq-SWn3;%Z+4l4R_)$y6BNd6b_H3@x}|i5#+O-
zpwjCb_?jrIl$G$I-}~Ca*xh+LhAP<s;(g<xL>>WMl{$$C+)UJ58G5~F6Jz`wx+T_V
zq^!;JhT@01L$(5jBnfpJX0nzd0s@uwqZZ)LgSlKoN=s@yLrva`=eZJ+x%S8+tdPG)
zxzJV0|M72XuOOC|2Rxku2@PsPR{{sMZ*vi_0=qALT@Bi|@hr$3EeIeUXl&$MzTVRp
zRawf4NmsiVK}byD%`I*!2Pr8fl&fV4sRg6`tQGeZjDsN?Dx=;n)Va~5+q^LDGre0@
zQQwn7jb_n?H0x1^DisXUYEpzI_u{#es+$bYSX9*!05vlSk4?6*AJGpWLPNt5&$Xu~
zHRL>h=f-VmX@B;kRj;AynJuq5Ww2<El{brz&*<l0r5;7J-sR^m@1taYGUMY&(L$PB
zo8VZz>!<LXQniXTNww^EC2{t~Uuq9C;wp%z9W@xqBc-(Xu9VB{vk8-|Q!A{nbcaUI
zmrodZ{ub`D^aWr_S;KxrWmsqD4dy>j8cL@TUDo@~Pq=QHIdZ9aQnh-Kyt3wC<Ev|6
zaUQ#KNAmE_;kQaIeM0%3E*XI-rEllp?d)uYQ{hdd!z&R1W2U~i=vl1%*P3l)zkKFy
ztt0PPtVq7uBi{E&4&2|*zX|3i&Bh~CK?48=x72_^3Ei&;s!MH|s!w|cD$yT;FgczR
z>gh<?_2`zF9qMDC&s<WH>lN<*oFZ;)M!)Y)2vi0)ksTe5ip^IV1r5p^4rTBgHcpb0
z?1*^onZXO~S6<r~Nbop&qCSCZ`z%gk)f>eca8nb%Y|$|!(EsAQJ2iJ14bquystb}0
zw8&&JPR@hMPMW=I%JbWz{Ssw74|)IC7mlM@ylG|XVN5=s^OgD09{dor5l3T9;S0u*
z`9~xV104iMheUI&j?YJJxDx7K&M67l64=71e!a&LBV;)>^D-&{Nu|~U8}&bLvE0!+
zy(0DAMoxM1I%XfqRnl9rtzVPxk)CQx{kwFKV?Xw42DOm~*{uL#pno+B_0vX$uc&Bc
zV)%W;gyIvClB+Lo#jdrm;teqo0V)Z9b#rWGDBz2$(T0NDa4jP0`-dOr$7_~u{t)Vi
zv{nioWLO?#xm=k)Hg6^5{;q~-YuKfRDLS_T7l&%<+<i!ukp<hw_qiiGne(++({`?Y
z?^u-Snt_Aij+A6-p^O#^R&4i(%ctd^tm&()#CE)z#V_m9-(>AMYaKt)ZOPfU6Tl)}
z(!M@U@ReMZ3J;`X#=w$=KUos6J{~Yt9;VZ}dZNq6?Bjh(ZE@mfWBj9?KZxvim%pfq
zbFj^UZo{u5`esF~6Q`9Jhgf&@`Q;qcUv3k%oK9>VbOEn=d=R;Uftx-jHQbpef_0wl
z8}~M|fA21-O~X7j9NOi=%%E|x4LD~<^r?;Vv}I4T`P+xmE&b<zUSMeWU2!3mThB83
z&TS}C5+BwW#??_n!)xn5Tn^U`F8g*kUOUMpvuY$C-6dk<eC>1PczGzg-Xu&^4vfBf
zrO(R7zy#?Jmsr+LCF*AV`+5>Q!?2i;&-?#uXjbBtbS=N`r_5XNv6&q{|MY-y&N_Pj
zz6g7<@U4CQ)wEWW-#>ht<g`jg-N@Njl(bS7^9J4pW&V4`<f1s!SVpiP8fWcgTL1`;
zwyW{ZeV^Ow8Qs5^<gQMJil_RVd8*b|Hz*H3g&^tvF4x1wTZkJ^<Yw?a{cLnEdjL-P
z7X>P-n=hRJeLW(Lb`PGlF(b=t#|Vl7_pf{;=98blSn`ZrUnLNJqobv06Lc28Ij1VU
za&{^jhof6gB4nEgjtT{`!5wIx_1pGMwlMm#*E&Z0r(WZ_wDF4$s&cD%of}jrj0|^j
zqH;vl-vQ%UdtQZl@e?KC-2HUn+3M;`&y7gBQ?y$VloRY>lFKWxkmTIYWPKv2>E^J3
zWE1xZU(vcdZTHy|_iI$KN&fj>HO5a}c@+o%1`7=QGarKEeqL<8P7*N>v<=!!%=D7o
zSzrGAJlU?XgF_D#4ni)asT<SxN92^^jyVNi{uTI`{4SUAO*e*Ina+Q-TFo@|>*?FO
zgRXT&UITc-wl9{`@RP1*K~fig=ToI~Y*C9QF|4}8H?M0&)mQ`YDWPHL%Ds{P<!w_D
z{i~fEp0ztkznTO-%Y%}<j8y%{2E8$afFNQYX^1LG)Ib=AY&rQurzcT+oakn4#X+Rf
zy62`q9&HKDMfj&_RvMQtjtk7ffkx&KgtOhw^%(1$B{!t1s=?($HsPMOJfR0;U3Ew!
z*)MmgWt_5?$s+zV_Tpq$PJ4?dH&;j%r=HrRyj!+M&tfeJWT8PPEW&{=f{-^(3crX!
zFRRTBd$7z?O~@!|AbGe`t>_GO7B|*Q82h~z5#h)|0|ha@)auP*_quc%%bL0L3xe|D
zioFhWBN|nTR!$8-Ptp~I<7tf{X$er!yu6L`Y8tig?F~-D9Q}L?ZIh6Vv8_KkHm;LW
zqh|_eXv~ZD!A%02w5HCs4k;PW!mD*DRC4XPG<;9=y;MH<GIHbTdry+k&j!z%Lq3QG
zAV~?(zqAcJh^MLW+UaH47n7*LQgy@Cz?3VH<*?1DwLAZm3LC?--;FfA5WX^%(MrHi
z{2CrEfZ>v-y(*Sq_4D@M_-Ge3gOeCyBzbX^sw=APqLoNJbXWt6i3qW-ZM(7b61l;C
zNk%)df^k6xz|0)VStML0cOI8J4AN=p9?_JOS;pbvj=wcdkFjfs2%6k<rRKKu<K~C@
z^H&xqZI;7-PtC?1XD>vJspKXZE6TFq^Qr!Yw!ZO%8oh*Q=N)<;2!N_BG}Qi^<<vUi
z!@$lyAf@N>j2cfxr|=0%)KNVYx%XdBYrbISP+T>f`DMdllg2mkFu`;o=%~jAA;RhS
ztEmtX?&5)LRpWfpIh6Bc9iK8-0XCL{*nIS*)@}+i^Q-^%Zn&o)dcHKiVoX(~a#+#J
zp0kJ~0@hg}FuFRaNyDeH%mzt#-stY0WUvka@O=Mpy}tThbM3<v!zUKzEyi@L5nAM@
z;@=84B9s%}e<DnJWB`{(s0C(!>K)zRM01ol*PHZw^+eW)@`o4xx>KM^FgREP%Wsm6
z{C5Um^RAzxgSLzE5gAcbhjU}4$jEFmIhol=CHhIo^Ssag(wMUxNFetx3F9^yw}MoZ
zzHBNk9!Wf;k&R~Jcm5m?&SZ&@TS-GvQA(W7+z0hRl_C(aQH|;<)JssZ$>`q9HxdBV
zldH+D{ZC)X_TY;_e1eF&wxSeTknTj@&57_DtGFTH2oy}!u?v4xZ@Mk3)5SYDoG5ij
zH}B}!oNFC8%Y~<(6A?H)CBo@9O^Y67{uy!po-w?`u-CwRIFJ;D0OIImO7h%%+lDi%
zl7G;lX`O85rn<Hq%38npT(X-yu%E9w0M7{=?iz<-v1<1(qcwk|qrK{Ak1y^SRrqrc
zET0~9=81GRJya@XP=(vYQuzN1cqIHhhSJ$0-)Fa4uQ6J0hU1ieuN{?b8Sj1^ceXLG
zCw5N9TIJm*U+8#TaLC$`{M+$D@oKZVR)*}rJ1LQ#1>GB37fg(mzUMaClQ73)VtnHF
zABE1!2NBFuc0}6I!PLZt>AZb(V=GzWI1j3&b2-{qVX8mL2Qx8qbFW+B$%doUcjy~H
zkzwI*X@8UDvJv{Zq(KVX24l!*_5}TvD8s{Bv83V4bplMuZrj=sWpjJ*NK>0kB<s6v
z04kf6goPl5wDyVOxz@4|tDDKDN4g~%6=qQjymOVE=i4)T2K|EQmcDXSk|)(C->Mu`
zIB!>KiA;vImHs<#;zBw}3O+0ptkH9YbQGI83tH2Crg^JsUpmt`5ux{6&$X_aeYW!Q
zC*wy~aOR_&_~`Emz*El+M{%h3_P7_9qRb8xQM26YFjZ*!oKY{`4B|c;d!1feUZFg1
zd(Xksy3Cia`z2QH^?xaf82@`M=J#I&oZ8z`3Nr+dfOhW6!(rwX1XZ&SDJZFETwjCb
zp9xot)i__EdIBdO0Qpwb4F$Y)%r0JM;S!(j*VRTDTo=UpB?NUZJ32<l3+(i#KmyWM
z&bj3<f)Ew)l5FO4T&!p6D>ppjzpmU~eLduUCA#cf($J+gWSOo2&mvWeMJh4i#@@Vm
z^_ZHh0=^#x%ZW?OzQ`a?d0oD7gC*c7k*@y3OaVZb7l|Ane$!x>#4dCj7jO@}|IY^2
zc?`qC{5RnRPPIt{@Q1MjoW!{{$DOC&?$l1&@BMLIpDmnHsQ>sNn6E3Q&!;Q=!|vuv
zERi36!GdqwzQfCpishGpPy9wF=~-o$=tFy}cTzc-n$^QVYmmj0fym?2fa}H8EIZTV
z&q}P>aji;ZB)U6N?i+7&kEnH37wVwMskl}bw)J<P;TMTLVIO{w$mxGR7Ku-*gRT`;
zT{aeGqH;-rhnv2iTuE?m&%owy*X4KFp`1=zeITAG{}6^0x4m=V{H}wi-CNk}iM#XH
zXoSyEG1EfBO@xhrFqS1+EMVirVuEr1gpn0nqpZr7yyUbZ6gpEUGf$+VL~q@AN?WwF
zU^V~d3Bf@5(Gy)Zh#<2@;4_g}c>clS+1(Vs!|AE%&kqznKHZ;qvoFc2er7+xDWl(g
zShz!;*#B6)Z%fO9{nPaCyjZSsan{YA3L|8N&+zwiGE5dt*jl%JCw7I!a}zVdhqTTR
zg}Ss(RyvpYI$S7o->2)lt+(=dH%^mt;SF80KDG}G>WuP7DNlG>JjDwYkLIk8cFRE?
zu<2Q%8G?+t;mFAQK0QyYbCcV#IQA&mZZ9L{QgZ@icBz->G~u%WF3+^J3;Ie_leD;W
z(-Yg~CF*lCAEz@Ie;9XaLC0*y*yoQKj68m;j!hHPyA}t_;}Gxht%{C~#;D2B4Sc*c
zTns&;?lIo$2fiS*69e(H87*d(KsCXyfCRo{Q)RT?ozM0B65Gb~Jz@|n3K&0tsI?oN
znF?mz1_lO<cBje^)PL%xZVj25>`j$@upIk_zB!P%etUJgx6pv+2T+Su1Kse(7mN^y
z2@p^R1_lD*wE47_BCQZo)yU2~Vh0zCX!|l1^vukD8-j-B7~_o*^jz_dMW@OH9TBkr
zQ%cDF<Q34izVg2Qw>rOD_~P{B1i+~u!6*pdzJKQeSc<;eD)NbqLJB6(V~1#z>2P{o
z+IyVu^|RJ3z#5#kWqoo>1nNG_|9rtRE`*@lgpin@Si~rdQP^Ag6b0pLcJ>H>6pA#;
zNNY-EhO3;m6$M@X0vJQk-`~Gfza_1!OM=pU<GI;z273GHi0BAQc{40}_e|Wjafcot
zYlA!Eg~b52#x9fby8+kLYOLM^G#2Qd3jt8~sHg@Y_uR#IilHQ>k0UYHpW{)f8zUmE
zIbT&FX0)}^Ejrc@Cb^o_2>Z=$k))bS<=Tr}u^m?mpAK?=TBwf$u;(MRm*sWx4&nS@
zQBGbS%U>!?Cym!ysz5gJ5l+`@bT+&?*^DH69S!i<sy|r(xj8vKb-&&z6mUDDUiP_R
zEiNvW&lF4qcqpe)7aD-B?546X2$<~wqUgBneL--BjDqrlh)7x@5Y=`yO-@pqjxe}1
z*xj4@{&|_j;4ba1Qk^@YjwtqrsBkM5e8nC**jSUR-FKzzVIVSZ06Jh2VK)vyOElkK
z@5*QJ|K8inb3I&oMMw9DAmLC5b^)&95#E<kPyolq@+brc5Y{7H+30#Wya`W6$H6iC
zohSLrZaFK0h@H#l)~)&+Xvj}?3bU;qu}b)AXUG+RCo_*(Dl%bS{14f+BWYz@I%T=%
zXGYdGSuV|b7?Paz5?WyA5iEcX9g3!^rWO_xV}5^o1rQ`K+eeH!h0_>7Qf#ZMs{nUO
z-PkYz2x-?!M*t!k7{B8S@*}N6BOW~3>g|c}2-;!DA?J@SMMh#tMG|+oE_+KCbq7e>
zuEE6mUKepv=tyRbv4zRHWSGZ8Ri3atPXag;kikDf)PTUrS1pjGYyJLz(Q9BN@hK^2
zGL_n`UILGJz9PjPm7=UH2Cxy+;S2#R3c&=RHIK{8w3&?D1o-JAa1JmshfeI*v0uMJ
zbu&;mV|levcxw(oqeAt6o(MLZJrK9~e9rpc-^mCnpG$w>fOy_5!fQ({o?%f@yiHE{
z<mB=(ly5Fi;Oy=I$U|U)u($ks0a`O&B0$l;#>c0Mcnbnye~wXi_@ku)x&Ju8%BD)S
z)k?hqc>T?w&F7Iu0)F;2Ep33vz^fxez=`}Oq5_qGxbO&?!3;TUKE<IB`fLIS9r-Nb
zRKSNEJ!<<MF&p@)Fxz8k#4P}c6X#S1(Ax#4kv9uYG0y6QgoIq~Cng9$<^N7jj`rot
zFTlS8!Qjaj2CAwrplDHT1pp%d++rS*54|GL50(C|psdTV{bF!ePQ?ZB;Vp5+(<kC4
z*H72?w`}nY6FW2-vPFeInf_D?f;rTiHEA2tZlC8cX{$E);}eY9y(TmMsg!HaIncS?
zUli$p!7hm&!H{po!_tgT2gwR&42;CLF{q(GsFciQq?6SWPK=NS6;UgNDmt^9TcT9Z
znjrX)VBJ(%9j|?a^*bYeLAQBeK?UyDuQ~5oW-2-sr}z<!d&^`q%8p)oK><@v!-jLv
zN>=;Hf0xr~DGDP}&5cup1|lXlr!x!~80V7dugR?55W(BqoFAx}2C9s*?F@khA70n*
z^Lc+jW6!Snb{O9T6?~aznrQ~qkw@r;h;BP{Ha8(uCRgvvB_1D*(IaT^MOSgPfXFAv
z$Q&*|ZuTlMA9ET35n9Nj;5V}N5YE23@$O>ASP04%gr&kw7?ixq4ST}z5n;hOzBMx*
zY5aS`2xWSoAo?`d*?x|4k@~dvIU_#biW=+%E<(Pv^^Mukmq;w|1$bMxEX-sXF!)h}
z(%!=z6|n|!gQH}4#B>gM9R^kVb|BrWr&+wRvJa~v_E%M&drZ7Nusm>yy=yxVd8N28
zN0z`_h!#oYVZr-cOF;}rm)~S`wNRCgvH3+deo_Soz+dMt?r&n#cPTwf>Al-ZX}{$g
z*|`4zLUb<B81R-Y<PjkG#Z#}3G3TUmPY@KdQVmlrz!1K#uRY9kZI32B8Sdrxkpvv7
ze)tFmCJ55v_7$z(N7N9l6%kKai6Jd~kuOS^a{F^fN1b!6@8UOTBxBYGwEGmN>yV&1
zj@}ou`N}i?N|>1KpsxaH+j(yWvF&b4#1mpvHAK#`i^hbnA3B057l2~F>^;}|df7RK
zwL5PZmB|Y&n~2aa*&rzd-{to1b*UccE*Q)M4^t6|RNSPkp<GRNo8@os4l27LL07R3
zZ|4imAQ<f5<$;JA$o%H}`zu^ZJU?-+di{uOoP17*ocn&!JO*mWU@E0GR~w|5`OBL!
zzE#zRo5d@Vixxud%^D2RLh!suYnv{3%;REIz6TbVE7hNAcsErjXVEwcS@q-{aSkL@
z_*q^L2so|$Q8~S649tj#b&*{@e-_A${rL5(2m=`v3!dyed?~man}CI>AE6vRK*WOj
z)7pJi0i-mM+E!rqvOyLN*T(4x&@)}k<bx%(%B12E`gH{4>c8<85+eJq<QmWUSWX5c
zyfZ|{__Ccfe(wDbWIbtZ%a)-~8KvLn#h^MwWsHYC;nI|=vARC*jyURPVB>pv8d^GD
z3WV<JMIb{Af_-4Dh5^CIh;aV?%?eVz$K=1IyPI5ByCP*oQ0b5CPN%m~QsTHSp?jWd
z83xXoX<RazY5+O059!O7|MsiRP0u966*Ip?Q<$DV0B-kvIVBJrHv3%vYNo`0RZhWA
z-3>T+euuoLNa`OmVA4$EFxBE0SY+P;;G=CTwwuC>$)+0%|29`c!=*a>iCJSp|KXpS
zdyAQZd-;1DLs0dB@pQD_3Oc}(r|V*<La2O3>*{P1kw<@!W}stXj7<kFRY~f<{x>Zl
z1zl{UBX=Bx2S=d9x%>Di^A7)fBnB`{^|gLzCQssFr}DfDzS-p%+%$^*`ZIlVLEk2N
zFw{c35STjRKy!s3*6A~hu{t%?m1%>`5g<L63;9O&EgwMeQ*461OSfm3L@P6#`wg$~
z9+SXMMnlBE6aI)uzr5{QnHcbu-XJHkbjB+UY>qTIjj@lHXX~C28;E-A5Xy1a?SAX%
zawrLuToqz8Y#4^K!|i=3=4(5CyjRW-mN#}kWA5tebCOzJy@sClJgWKpKkrU;V87P#
zNb_@IPB2()x<p@%>*iR1w)s?8#I-Kgl;9JEIPE-zke1q^2EqJZ9jOVHAEBR2GR*pE
z8cYfrJzOI3eX@rI3|?s_6ft_Comuj&Bz*v4JezE_G0h)%Ll{)j=n>C*c39%Sew=1Q
z746!Ps0N}5yWGI;(4Ts%wetXtBp0@30x4_=mf&qp8i=EpgtA(LA2V7VmxN^$Tt-)R
zZcHg?C<v^@W#~|`e=577fXkyzuNS<kTlJJz+P}>M3spf;h8dv%$&5B!(_m)=bv6i~
zTmuNQS`g6XU_Y*K{aF!5K7Gs2KXF~-zkB`t5XQgFSDRUmJWWhvF{hdT=;w!9L~hgT
zhY@6+7g#_XjFZUp+!@H;o^8I~xL6)C$-)cz{yJ??!wAeK2-d3%Q^lg8;jl`mJ?wn8
zdScpuotf}-f39P{4lc|FdR$O2QDFx0AD5r>T^@R1(;z)oars3LY;qsF(A+Nc?q2-4
zb$8EmhZEW?ZvWzON2?4y`dbAvoMPgyhn|y!>}&oAfv!drk;tJ327y9oW8O|7qCb73
z4!guwFy;8f;?4wg;(WTBuoWV}P=cb%q3brjYD-R_V`CjEqHPX#dDbTzz+72SE0=p@
zGND>TOvoNgBVNj4V)hcUWd_+QT12sxXDqYC2$Ie>gLIGPqyDn7UTmS4%U$6>!(qRd
zM5G!0UeDu%5#;)~8v}{)Vc8!47_ao>NibzlZ5?<#W!{UZU%rynlFiW-xZEWAv($2V
zGf2q5Vk@A2i~`Vdy;>&xtne3vEQ|*F*B=@`*LaPja>r)dO=xEz)$LoLp;dY5<sKO&
zRA{}sI^m)o{#uVuIN(@H3K`NO{pXif$3Gzw1d9jTi~$wj94t^{IGrw=bHw?Hz?$t`
zZ-WuUkQ-Q#5E#@kRxp|yu)~Wd8X>T~Ult?YfHn^L1ww#5Ag!)ed`jgDqSJZ~SLMYa
zUD{Ni$H!25iyjfBUWCA+VUa9J4^w4(@&w+WefK11(c=A<xC*^;wxbXlW<1U!kiN{{
zCOIYCE)`Kp@HwY~F@;oMMhpZju#?Tv#+o4NhKj$+tr$F1YmVT1U4cy_f@ZU1NnY!;
z24a1RIbjy@TY_+|FFzLd-U6{%v>rCe&E$@$q&BU=e@(VLKNy=qudVR^x7U_9HY@8<
zDv|oev$jb=g|V45@pLK_k3lguBV*7w=8eXlH~8h%>(@lSzP|dN`@9HAY<jYwSJQH~
zitg&_s`+f{1A_3sQSk*6t@4@#G#V{XY5~m!9UEITD0ZGadGd)8<V$>3Jw|UQf4rB&
z$ETQ`ooznuA=}v4z(0$k63t5GHYcnZ$q?uS&6s<&yU{`iD}~uUFS)tnA6farERTT$
zP67<`JTpjpcLY)DYdcC%9cYX|mOOS@A4M91pZC!EOw~b=1y5#2rRLy>1r+mR+4k7n
zd3CxS77;-UX7kuBT2#a+MN9;#Y6toS5|F+i0CkT!pyK(O<$_=?3GRmdaCp9W2+pHc
z2$1I|pair2$qvLqpu2KyeO*C+9wh%j<n(8@nt?^5^pVBKq7uo-6mlIa)#m<uu+R@=
zA^lXow;c&gYHomF2V)z9szI_k8b~x8&iAydYojQHl2%qeqF@oXw>{j$K_$@Z`*7C_
z6iO5i5ugoPCe;9gj)5UQF|iwTCts}uJgYx!z2TY0#2mtRZBqn725qp#2ql{3pk@+r
z-kpj9wFgi!pku~w2V?>Gw)Otn+UIf=6%?=CAQ3OiDkEMyJRAXHA&?a-^}hzd%eTQ1
zEl{UQbp~S}UnG-~<ukQo0Xn3-d;0U<OdKdPK$(f-=;TzaRrwN#3I@|($IQ%VHG&$;
z8FcF`kF0e^X#cW!o-ZB4R+Gu9^D75*+kPu3cuqkv1THH9aZz!v3Zt%AYIfyBiDnEE
zDh~dTJgD7F&a9D;kRID>?OM(VSwGZ1rRL;}!zSa4O-PVPX44BlSZsFZR!HN?1(R>S
z+Dg|DrG4`z^L>d1K}|qFz+?X|*b|MIT;+Oll^$?dctdHtc#BQ0L?dr5GC*u-0-~?l
z6mIiqTxe(zCQ&%3CbYcnK+7~TH5gufVj6VrI)HoeYuZ3d?eBUA<Kq$0hfrip!qA)?
zYEG*OMh9TqFZP9;wjv)JREdFVjhNdkGBhFr&lThX6o*>5_JZzzovVRI@%-=Y|L<6j
sP3-?qr|Q!ur;9d$(A*;?jC-nRcdGnFOC=J}l#lREQc>b3^y8QR1FG0v1poj5

literal 0
HcmV?d00001

diff --git a/images/test-diagram.svg b/images/test-diagram.svg
new file mode 100644
index 0000000..910b60e
--- /dev/null
+++ b/images/test-diagram.svg
@@ -0,0 +1,77 @@
+<?xml version='1.0' encoding='UTF-8' standalone='no'?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"><svg height='287pt' preserveAspectRatio='xMidYMid meet' viewBox='0.00 0.00 149.25 286.75' width='149pt' xmlns:xlink='http://www.w3.org/1999/xlink' xmlns='http://www.w3.org/2000/svg'>
+<g class='graph' id='graph0' transform='scale(1 1) rotate(0) translate(0 286.75)'>
+<title>G</title>
+<polygon fill='white' points='0,0 0,-286.75 149.25,-286.75 149.25,0 0,0' stroke='none'/>
+
+<g class='node' id='node1'>
+<title>eiid0</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='107.25' y='-275.15'>a: Ry=1</text>
+</g>
+
+<g class='node' id='node2'>
+<title>eiid1</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='75.25' y='-207.9'>c: Wx=t</text>
+</g>
+
+<g class='edge' id='edge1'>
+<title>eiid0&#45;&gt;eiid1</title>
+<path d='M92.71,-270C86.11,-265.53 79.01,-259.37 75.1,-251.43 71.88,-244.62 71.2,-236.83 71.47,-229.76' fill='none' stroke='darkgreen' stroke-width='3'/>
+<path d='M93.83,-268.34C87.42,-264.02 80.33,-257.86 76.9,-250.57 73.88,-244.44 73.19,-236.65 73.47,-229.84' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='darkgreen' points='75.2,-230.19 73.58,-223.31 70.56,-229.7 75.2,-230.19' stroke='darkgreen' stroke-width='3'/>
+<text fill='darkgreen' font-family='Times,serif' font-size='11.00' text-anchor='start' x='76.25' y='-241.55'>fence</text>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='106.25' y='-241.55'>ppo</text>
+</g>
+
+<g class='node' id='node3'>
+<title>eiid2</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='75.25' y='-140.65'>d: Rx=t</text>
+</g>
+
+<g class='edge' id='edge2'>
+<title>eiid1&#45;&gt;eiid2</title>
+<path d='M75.25,-201.88C75.25,-192.27 75.25,-175.56 75.25,-162.62' fill='none' stroke='red' stroke-width='3'/>
+<polygon fill='red' points='77.58,-162.77 75.25,-156.11 72.92,-162.77 77.58,-162.77' stroke='red' stroke-width='3'/>
+<text fill='red' font-family='Times,serif' font-size='11.00' text-anchor='start' x='75.25' y='-173.3'>rf</text>
+</g>
+
+<g class='node' id='node4'>
+<title>eiid3</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='28.25' y='-73.4'>e: Rt=$v$</text>
+</g>
+
+<g class='edge' id='edge3'>
+<title>eiid2&#45;&gt;eiid3</title>
+<path d='M54.4,-134.58C46.24,-130.46 37.63,-124.55 32.5,-116.5 28.52,-110.26 27.14,-102.3 26.87,-95.18' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='indigo' points='29.32,-95.47 27.18,-88.73 24.65,-95.33 29.32,-95.47' stroke='indigo' stroke-width='3'/>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='33.25' y='-107.05'>addr</text>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='58.75' y='-107.05'>ppo</text>
+</g>
+
+<g class='node' id='node5'>
+<title>eiid4</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='92.25' y='-6.15'>f: Wy=1</text>
+</g>
+
+<g class='edge' id='edge4'>
+<title>eiid2&#45;&gt;eiid4</title>
+<path d='M76.21,-134.87C78.83,-114.47 86.13,-57.55 89.91,-28.08' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='indigo' points='92.72,-28.54 91.26,-21.63 88.09,-27.94 92.72,-28.54' stroke='indigo' stroke-width='3'/>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='85.25' y='-72.42'>ppo</text>
+</g>
+
+<g class='edge' id='edge5'>
+<title>eiid3&#45;&gt;eiid4</title>
+<path d='M35.1,-67.43C42.32,-59.39 54.11,-46.47 64.75,-35.75 68.38,-32.09 72.38,-28.24 76.17,-24.66' fill='none' stroke='black' stroke-width='3'/>
+<polygon fill='black' points='77.64,-26.68 80.93,-20.43 74.46,-23.27 77.64,-26.68' stroke='black' stroke-width='3'/>
+<text font-family='Times,serif' font-size='11.00' text-anchor='start' x='65.25' y='-38.8'>po</text>
+</g>
+
+<g class='edge' id='edge6'>
+<title>eiid4&#45;&gt;eiid0</title>
+<path d='M102.9,-17.38C117.04,-28.33 140.25,-50.09 140.25,-75.12 140.25,-211.62 140.25,-211.62 140.25,-211.62 140.25,-229.83 129.89,-248.12 120.78,-260.68' fill='none' stroke='red' stroke-width='3'/>
+<polygon fill='red' points='118.5,-259.38 116.25,-266.08 122.18,-262.25 118.5,-259.38' stroke='red' stroke-width='3'/>
+<text fill='red' font-family='Times,serif' font-size='11.00' text-anchor='start' x='140.25' y='-139.68'>rf</text>
+</g>
+</g>
+</svg>
diff --git a/images/z-type.svg b/images/z-type.svg
new file mode 100644
index 0000000..6069bb9
--- /dev/null
+++ b/images/z-type.svg
@@ -0,0 +1 @@
+<svg class='WaveDrom' height='56' preserveAspectRatio='xMidYMid meet' viewBox='0 0 800 56' width='800' xmlns='http://www.w3.org/2000/svg'><g font-family='sans-serif' font-size='14' font-weight='normal' text-anchor='middle' transform='translate(0.5,0.5)'><g transform='translate(4,21)'><g stroke='black' stroke-linecap='round' stroke-width='1'><line x2='715'/><line x2='715' y1='31' y2='31'/><line y2='31'/><line x1='715' x2='715' y2='31'/><line x1='693' x2='693' y2='3'/><line x1='693' x2='693' y1='31' y2='28'/><line x1='670' x2='670' y2='3'/><line x1='670' x2='670' y1='31' y2='28'/><line x1='648' x2='648' y2='3'/><line x1='648' x2='648' y1='31' y2='28'/><line x1='626' x2='626' y2='3'/><line x1='626' x2='626' y1='31' y2='28'/><line x1='603' x2='603' y2='3'/><line x1='603' x2='603' y1='31' y2='28'/><line x1='581' x2='581' y2='3'/><line x1='581' x2='581' y1='31' y2='28'/><line x1='559' x2='559' y2='31'/><line x1='536' x2='536' y2='3'/><line x1='536' x2='536' y1='31' y2='28'/><line x1='514' x2='514' y2='3'/><line x1='514' x2='514' y1='31' y2='28'/><line x1='492' x2='492' y2='3'/><line x1='492' x2='492' y1='31' y2='28'/><line x1='469' x2='469' y2='3'/><line x1='469' x2='469' y1='31' y2='28'/><line x1='447' x2='447' y2='31'/><line x1='425' x2='425' y2='3'/><line x1='425' x2='425' y1='31' y2='28'/><line x1='402' x2='402' y2='3'/><line x1='402' x2='402' y1='31' y2='28'/><line x1='380' x2='380' y2='31'/><line x1='358' x2='358' y2='3'/><line x1='358' x2='358' y1='31' y2='28'/><line x1='335' x2='335' y2='3'/><line x1='335' x2='335' y1='31' y2='28'/><line x1='313' x2='313' y2='3'/><line x1='313' x2='313' y1='31' y2='28'/><line x1='290' x2='290' y2='3'/><line x1='290' x2='290' y1='31' y2='28'/><line x1='268' x2='268' y2='31'/><line x1='246' x2='246' y2='3'/><line x1='246' x2='246' y1='31' y2='28'/><line x1='223' x2='223' y2='3'/><line x1='223' x2='223' y1='31' y2='28'/><line x1='201' x2='201' y2='3'/><line x1='201' x2='201' y1='31' y2='28'/><line x1='179' x2='179' y2='3'/><line x1='179' x2='179' y1='31' y2='28'/><line x1='156' x2='156' y2='31'/><line x1='134' x2='134' y2='3'/><line x1='134' x2='134' y1='31' y2='28'/><line x1='112' x2='112' y2='3'/><line x1='112' x2='112' y1='31' y2='28'/><line x1='89' x2='89' y2='3'/><line x1='89' x2='89' y1='31' y2='28'/><line x1='67' x2='67' y2='3'/><line x1='67' x2='67' y1='31' y2='28'/><line x1='45' x2='45' y2='3'/><line x1='45' x2='45' y1='31' y2='28'/><line x1='22' x2='22' y2='3'/><line x1='22' x2='22' y1='31' y2='28'/><line y2='31'/></g><g><g/><g transform='translate(11,-11)'><g transform='translate(693)'><text y='6'>0</text></g><g transform='translate(559)'><text y='6'>6</text></g><g transform='translate(536)'><text y='6'>7</text></g><g transform='translate(447)'><text y='6'>11</text></g><g transform='translate(425)'><text y='6'>12</text></g><g transform='translate(380)'><text y='6'>14</text></g><g transform='translate(358)'><text y='6'>15</text></g><g transform='translate(268)'><text y='6'>19</text></g><g transform='translate(246)'><text y='6'>20</text></g><g transform='translate(156)'><text y='6'>24</text></g><g transform='translate(134)'><text y='6'>25</text></g><g transform='translate(0)'><text y='6'>31</text></g></g><g transform='translate(11,15)'><g transform='translate(626)'><text y='6'><tspan>opcode</tspan></text></g><g transform='translate(492)'><text y='6'><tspan>rd</tspan></text></g><g transform='translate(402)'><text y='6'><tspan>func3</tspan></text></g><g transform='translate(313)'><text y='6'><tspan>rs1</tspan></text></g><g transform='translate(201)'><text y='6'><tspan>rs2</tspan></text></g><g transform='translate(67)'><text y='6'><tspan>funct7</tspan></text></g></g><g transform='translate(11,39)'/></g><g text-anchor='start'><g transform='translate(719,16)'><text y='6'><tspan>z-Type</tspan></text></g></g></g></g></svg>
\ No newline at end of file