From ac9046b7d20c560c9a8b9ab5e47f06f7e360497e Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Tue, 29 Jun 2021 15:38:35 -0600
Subject: [PATCH] [Doc] Remove ``define_simulation.v`` since it is no longer
 needed.

---
 .../figures/verilog_testbench_hierarchy.png   | Bin 32203 -> 0 bytes
 .../figures/verilog_testbench_hierarchy.svg   |  79 ++++++++++++++++++
 docs/source/manual/fpga_verilog/testbench.rst |  19 +----
 .../fpga_verilog_commands.rst                 |   8 +-
 4 files changed, 87 insertions(+), 19 deletions(-)
 delete mode 100644 docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.png
 create mode 100644 docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.svg

diff --git a/docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.png b/docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.png
deleted file mode 100644
index 042fb8eaf9212cf82e1f391990108b6b23cb045f..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 32203
zcmb@uby$?&(?3orB_-WRcXuqPgdmLqN;gQeAWI7<9Rf?IG}0j5T?<G^cO%V`5`OR1
z_xtmFp69xL|NXdbcJDoV?sI15%$YOunt@PtRRtU@3M?cfBpk&TvYJRpsN%r=F2+OP
zbszq$5O_ldYbrcLDjT8N1wMSX&{eclQ9)t{?lF)aB0oezMRY+z0bU;ebB_$%Qy@L~
z(~g9sjZFEUdqZT_|LGrWgM{`^A4}jJ@$&-s1)l!r9W@L2e@4tg`L{Q!coyov_ecnu
zkR<7IM1eO<rx$O)NJ!X(h+kx+lr%CVBou6$SGumcD$3$!j`rLp=8mQo+z@*w#8XI;
z5OLtv-on*{4q|WT02YTx(f{co4%{P}dFbi>baAznqSsYXr+e<`VnHXwEy&GF55l6O
zqmy(ow-ncumH+2);FA=+wX3U>I1i7zyF0hL0Jo!y6%U`7m>3T)KMy}Y7tn(X?BU>Q
z0^xE1GyEOo-*IFuz-BHsPOdhN4s?idO-vo#T&3vg5flCA=P#YEHkSW0lLPo4wg3is
z5a00dar5&0XKdh6Nkpr-nv0DEFf(F&5TE3qp8u=uf9CnyU)|c#)e(?_i;bD0gR6y$
zlM5h`KTq@j^Ys6BkN-QCrUls1&JFSKYX=)w(7yxxpXUGj)N@CBU{Wv`L9x(3bN+YR
zKm8?n5aRkT@%>$!Kdr#xfUqQa{<F{^tkI~jFeD@yBt_Y$uOP_#=?{|h<)(r-GGyqG
zQ7}JZFyhncI=N$(4WV?HIFq;s_XyqAbDB82&p!xgdXR|mafQT=@LASxIEh$`yZEBi
z;spPqz;g2TNKGS?<KkhNmfO!)sdNO$1o-~an2#zAbUN_;wV%<&vlh@+Tiq~J-Z}Ky
zY1!Wl*Rs{#y_;v8_pOZddQ5<i=ug4;J^vv*moxMO#;eTs!-NfsA8OicVKR$^SLN|5
zP2Crf)P4^01+_lH_R=F4nKMCEjEH%V2?`(kU%XaQ7zp`*F)8ftYhG^D=KIBQxwR%;
zYf}|%P=+qvbY)9zRTO-4ce&g(S)|nkWz$-_fR9QCXZrqPyFJAY6vZ)rC}Eb`)bV3i
zP2B}ld+>aIsqUb~X1=NR_qcE<1~7DpOfu$+F*X5pITn<2W#h|5cRU4Zw^vf6Pd!Ne
z!yaFqPaAcS8hI0dZjZZ;PltGdn~qu~B!Az+`G)04-Y`;uVSKCAqoDBlf=piuX5}RO
z-bl*6)^s*4R8G42?-9!U^k-4_jx4ox`&S(EjP!IUz@@@SH&MeJFkwdjy%QtNbW`jn
zR7*7`d!mzFyQfIfU*fQy!LH_qw!cOeFsOJ*{aV-rQ&@oD`~8_hx|ZMfH>)j|OX2ep
zN6m!Hs%fGIS2m=)fzMY57JU29Ka_<7Jbl2pjs76-df)d<;qQ#}>Vp2mBFmEdRYTmX
zVH{-`4Du2EUw2%8PO@><uLL*`DX#!>!()|nY`c5Eu;jT{3UR<v$HQ)#`^I%WgC^m;
zxjk&tm(;#W_mm#N0X=Wz2O{bgtba$R_ose8^Mqaes5QJ*BMm0Do#t;pEHrI*OqcJ-
zDrM)`dTqIo`V5*PX!98EKNHLB1PP<Gr^Lb^#G9wAjr><xtliLZcfK{U>-fvbpvlUh
z4XPL~d2B~&MA1Z+Y0&I0Hn|(?xi7j+5Zs^i(c1I+gCF$A(+LFIn&pGxdNQ@c6L=p#
z=!imTp&1&rEg<{faR*EY0>5ViD{M3Nqqq~$K|nUI0%f9Ubd!^{PmIpO1{LRP?Yr9j
zQP*pC^HcK)`H!6JlP=f8@EBwqn@{AgHsaKdG3sF7hP&2X4pHX~YjM=DM(2W1a${%%
z5gWo<3_){R<10mgVBks#MZ&@enDFnT@#3`Np8J-(gsy&?LTfb-<^nSqlvP@F!RJlG
zxk%>f9BJojY)K7F%~bn(CF!7F@IY5c)3bq`adut#79`Oa(KGL(?cL`ua_s-?q(WO1
zP1m1|zn~s}_tjgv51JjljS|UV`*%<L$UTw_=dr#teVTQd>#dl?n2)MF@cOH7>WKh_
zlNL2>6Mt8$M)re7yq21jkR+he9@X*sg_Eev<=4)&Qq%k*snvut^-*57QL{I_*#&KP
z7kUe1_NJ+l9#t&qw$TmqOSSf<^R=~7HmR}*ZhuC7AWCm6=C{yAe3H!~!K8XWW8z;r
z^&l^#L00<rE%<6Rn6~qB*^jpM*U#d5{I3$?ke@{b_0#i%0b9Z|wUsr7+?#5Mhxvg;
z8eq%@|KSdhYX=&cPl|Id`TA6~)o2Nm#iUiF&=kg~)TO=^c15jyq6JQ2ID#SdF0}hJ
zsW)BZuci<r{JFlq%mQzZn8c}6=!XXkz5BD#C#jLy#NBi(1}pw-dq52`+BvIXYoV^^
zs0Rpr%gVrbF;-MCr)l_C`~EW;pyhG}bjnza2+c2zZofHdqiu1kX^l;6>xM|&9CzUj
z(N>xg{V`hoiZWrUs)CJA0Kybex`Oed_o8_De(hI}mYHk5S#RAdYkHQ*ZLnq<-gHo_
zH^p0ey+&@8MnIx#>|b&JYcDavWIR{V<i~3r6`uD40r4s^#bu4`#;QFM)g$72f=ppy
zl3jCR<t-O)Bj%Zpf*ZC{IJTTmdPvm@>ej+Ig08nSrS*NUH+OBXan-|)gP8wXQfqO5
zbrq`u7J#u7nGf<uTy+bNFP8m&^WN-N_mMfd>)Fq`PN;M}!{(Z_+tvBnELg7)N%7j{
zte!^R_t$Pg?E14WlJ{5Z6DJi@FSX344ct|DdS|JQl*=S(ea^;C(zosb%SbD{1X(A8
z*4XK%6&&4p)=HISI-~JAEY#c8xvBhB4;es(vC#620XgOokV$#Eie9Y*K0jJ&>Ei3F
zSn<T57I$Uk8h@O5I9IbdT<N=4TG#pc$@5MujuQN`mW#P(B*8Exf*$jY{+LMa56S1N
zoTScH`nXSRzA};XnaYZ8r-3QV+2*~@VFIHcSu(x(shrx8aXKwCjMr+ra3wyvFZ+nV
z6Gr|nZx|!6sxOSOxPg@tMfUu5)UcgVaoD&gU!881=_9P~ebTdfP`B)WKk$;Lg($($
zbN73T*X8ka+r5x-nkb)7=F)-G#S8<&e44agZ@o;tUjWQzC7)U#O;2d=lTkDJ^Bz*8
z+|0fb>t&zI$Q%(kOhD~btu7mg?W_tgvln0V>KvTASN6)=RF_6P^sQ+enooKwP6s*A
z$7uzv)kROb2`8LsT>78vy68Li5S!%1Yhwuv3u^6;1$P}b9nn~(+Se8~*Lx7*ZLd8O
z<HgZ?KWowDdvid#mEm>hwDTqSA<^)&Pd)V0`ru)wNezWO$}M2I)x<M(3_UC&Xa%ZZ
zK@!Y5lkS-yAC#@PA`4E>r_B2z$O)%yzT6AX+f^R}+y{Mm9-KdMJceK92<YpWxqVSy
z0v3#N5US6~-(`_O`qr;uP5R*5MCXXa5fzz1<5r5T>5`GhW<1QiQ~LfSx?)V8@>3U{
zw4^>@w@>aT)TF70kA7Vq(N5_(wp>NUj=Z%kC3XOWK^EjLp1QjNG^cOLHcQ`MnMIH;
z0YnVD?(PNrvta?#{ml}kKzCKEAk8JLW>zVYr|p)%_eY)MGBk27HwcF^!4udE1>rLk
zt1~5e818rH(*>}7mJGdhF6t>|$eNH=l;+fNRNvH#h)b30(Cu!M$N@6EzNvOKX-Ayj
zWLv-qsr+VLipB_#<jFmIamo0KhplTbJP=o$_0HQ2J#uqZ`uDY3!~`r=v+efu<sdW(
z;tL-Z=_?$TWJ^ca`lcz2$7I2Pa+1O(S`?=S60=ZxDY<MMh%-Jr(AR^SjFQOT!*9Xt
z$(A}DTjjx3ggEFe!ZOeY8bmhf^BZ=u!+Uv;1G!R%pN2NyEy%N*l4-#-YmqG89j|n-
zX$fl`%+<V{_2euX1>JC--@-==GV8{|$d;hFuHO2hfJ-uAqWn}PIaF_u;@8PsWgksy
z6+u2Ua;F=tg<(o{%kfc8+^P4e*?A(*y~q-T!2-(whIdpCNX{29($Gl#UR!LQW+!F)
zpOZx~sLc>H0<u}E3|&&coB3tU{H$D7c-#GX`4y+h@9R;&d_&0UCo<6WsQiJZ{d{fY
zsxoq9oid;DNvrqSn8H976E$2cS-bBo=cLSw{}|GraWZd+sVQ4RaB`EaGQ@=MU21Ce
z$Hah*VfH!Ip>cpxyXdI(hWq?yad|H|b%^jtPt9Gj&hQL!7#4Q!)CUL57XMNm%_+nI
z?r+*PBkyUNL(bIsmBoVapc>TnLtC%sCe^XkquHpxt@qRkIA(f9?c=Y>7MtNCl%w{q
zSTb@VKC=i@5{FE~&NwqBAo5X?r~QyaobBHF?%>D2VN~oj6RHw<6CMBygznX}G>{d4
zzGe<_R_+WnC=<mLtD1h!)2JB?MM;ru+>-@)>+Eb>24#RHBHIiF=V$8grEn<jSnGTp
z807dKVIfcJkFh1lMKGR}SN^i)^aao0!@=DI3b|&(uUzX_kHo`pk7^UKwOt=kxi2`M
zctBa&ta6_3iVEP}8YqlCi+L9FQAJEHEb7Nc;Hb?i!~9mhx4;1hOsA0I3b6liA^n}o
zIB}&oA`86Yv=zO+OSh($o1Gs$_tK*ZltZ>>0jG=Eb$^D>`}U-dhV#%W$t0-WO31xi
zWx@`PZsis!PEgYA0PqK$vmwzmQl_H66R*9;T}QeEYeyrx;2&nGR7sUPFsHz@y;0PZ
zIaR&8t{R?HAUr1cf;{$`z@c3hA9vD<f#+^sB~6Jlb?v-ElP+G;hj{vpQF)>@Dh_4T
zmJ&S4W0{C4xZm%)OZ3x-(9}p}qV(LvICQV`pTwDU8rcs|AW6Ntf)LiB(CQKI;6Y+P
zenp7!TMR-Nk`Zu>Wp6(-Nr24T*L_k0T{A8K=DR~4w`<AkC|y~;4{`Q?|A}cGrCRLw
z01a>!)jkAKfz^^oUAEKR9}3KdfkAe%^dprf+|Pt<mhb(1c)C|<z9yBM<Y07oHlfDV
z*vrz-uTL0w0o~Vxw)X2!V~aMFFV&NIc$XhC1vU@?p1lGYud&Pkn_%w)RaQ4x9AbyA
zQL#Xurx8NGZfp!S!+nohE=_r%PkvSwb>31X+J!y2q%d0@6>&2vx^fnXG{fBh;)iJX
z=dgjCNZALJ_TkYh8R_CyzKMUlC)pK0z%{##{uBjlkwN7TLEL5UX+1V#c0PO<qfY((
zm}P?{?o_^{i9g?+IxplHgW=)jl9%Hz0)Yud+HDDAqMlC#%%p0gqZ|!>zz$w#bfw6%
z{7S5lprpb>n^;`lD$ZFuV_LZy4h}q7?+YeW6@4N_ula87I>UVlLi&<BDmlE4qqbo|
zMWA7cY1cTw)-s#eaT6dvp~{idS00OCRPBik0SS+tB}t;TDvjUm$&PX7`pe$X>}dY3
z1oO~9479$7qO6}0QPc+vLB`{@!-=42H)e#JWWm&)B9y4_qS&rQ%q*f<Iq>sjl9-I-
zxLX!;^8*2y@{}F!^Q@=JUDQYKhPdkVso2(@9=Tn{&`bA)lZJ~tmX7pE6(EXdmZ#zd
z&et>eJr#r6z}1=}!*Bk~lX^)!$oey~#m<HPmdwh&Pfji$2Qr<tc%vo2nbAYBFS*Gn
z#~=b6a?Mm3wV8x0*No9iI~TkW^s6RO8X~ZbWB!YkK)i>kaH0i9Sf*99h}cI09{E5R
z`BTYlTIcMFVe!3^6VS<F{d$xQA<q&fBQ5q)Om8>*aK9zZcS-m5P}r;UBj)Pagj%%W
zs3dN5s^k^lNj7W+)A9U=PIOLOb58wRg$}jGd`sv<JUdpsj|#^iYgM+j%Hh?ph$8gn
zgMT80zh*I?MP1tp?UQPVCH*;xo*e;8j$W6j=YHqQ6rqK2jg^{5RwxOZuL@MtHN6fS
zteX2iLL@z%sU5YHLoS^lTU8#|d}$5eREL3xi;v2%-AS;0;}*8<{L0u;n~&-wMQ`7g
z#)aCvH--!EV@Egz%?~^K6ln5UkK!#VI<E4n^YGSjw;&t3VLhywGht%Lf<cf?z*#A{
zQcQ$TqM?3c(3Wp{xW%;u`}Bi5&$zO<0522!rYZ?WppFRhBtw3`yrZpt0SM;GZ4r3`
z6`Go`XunBiQ(^;$Q)M!h2%T#AT@M+Jn<RaYR>xalcyu0;^YHXzouK>D_g5sJCTTtT
zNu`g-NBAKkD&&f*1mCv^du~&n#qn>pA{YDK{mO%>Kn7uC>tG1khELa6(9rVl`%CDs
zT)5luk>78LPXg#mHo{utQo0N44I|QoI1bQN*%6HW(zw6+2)s^8`CDqZTJJDS&8Jr>
zF0<`nMsFwoR`)(`x5&3ouEP@Vd!7_YmfH%1)B&A|68K@SH9d0tjd0oGUy7Z6=E5bS
zq>N<kj}+q0bxw>3Zr11bINczlrLsTud6mZBrJW+zdexvn6HY*h9Cnzy3O#5EMz_<4
zxL3EdL7b|`xbU>6T7c;2x1kQQY}OCLtBLyhA7=PS1lH$h>aJ0yxR~LxN(d!D3dZD|
zvUO>&KaqKb_zVOhfK`+Fk#Ncm_@+WAwKA6ar68jKQbUM|u6c~y>4TyHFIcjor{EAQ
zw{-0BHlc-Kc>z2@-|zet-eB>c&By|H{KJYyHUJth$%)K7xX#C&d1d~~+vMFz#&C?H
zTGVJlTSp+eRg=EX^jnv^AFt(DtN&Qk2*4r<GI%p_0aG`j9e=bST(cDkWZHl+mnR;(
z`bf^j?v;by$uuCs9sezsEH~GbHe4v`KT#V3@j-mSPxv`o%Q7oW^`C(3udd5xT_Ym#
zdvSH#e;WQoYry@WG7vT;`?HJxpK-QW04M!=Pe$yYf&UJVOu#At@MrPx>(2ifCnXbz
zN4LsRH~$^@--%%WTTt@CY{Gv>_&cDrFA$OZ|HD9*Px88!D<DHR<(0CgLo8aqTW9J-
znKz^WwWR*Q*;S{n!A67N&zb}=>4T=n#QrG^$6R8-5t_KB4Q|j10;o-ilezV^9(lxS
z|EDXKzp#qOi%~$Czlow4l*p#ePSy0pD?fOL<&Rw;_03U>W=eo7teuf#c(L|wCR-`5
z^FP{;ct#0@jYH^fs1A(%GvPxT!KD2Uwspi(|JT(3M7{%Z^3(q(@CEt<`dcb)q5r>^
zk&YCQenbCG<NrA3h*@P89|Nmi_qrhBF9!7=N;ZH1nuV0y01(B0uVbMe0@0}b33dKo
z&G`QMz+!FC=j{DAi3q{I1e9b^JDnd0+5U@o`p@A2nfm6g1_&zOvLOF9xXN)OG0G$P
zGo3XX+AVr%9#moT@7%1BGEFwozYX6CdcOUKt&~KB)@+tfBKXgm!nisLkavAoY6+$N
zLzsUy#y2+hZz$n1?@=!2H_xk=$6x<Tu|J9O2jTW0u6l3wx6}xw?~B)Y{zmPGx*?SK
zKYe~aR`;rEY>rO>WJHXawew=Oh~9~b35A%EH?U`T`#KRT|4Sh-_uGfaclUJ>o_3Xa
zPI~(!dNRbye<;jiMOm`>LNk|L!S)xtkSQeqrm_{vzWpP2I3V|l=G*wc>mid2tR@@b
z3ps}WEhcpdK&+Fh2COUy>8WF*31(|y*JMflT_z}E2M%Bm`y<x$+Y6MGoC*5k*Pk8(
zGW4H%4t%#)WE=kqK@QfF6$bH7A77LG!(ZVWlqIu1tQlYZ>g3nGKnLJDeJrCm=I&uA
z+sO8Zi0?`mxwq(iLi|Ei@z6ItoFe`|=1XXDCM8}uRE4Rbg)y{SIh%j|hMZi~c1JRG
zIK%gC@B0%;ehVdMa&>Ef0&O|tb74PWhL?9sHm|?Gn)ynwa%X2$GYM4>f8sQMUH7S|
zO(nfdQY76?>(|>G+=H$Jbh~8GG{B6E55BcP>1r&yhRN6HarQ)j_a6NEgIoB)<?p&(
znugty>hbA0J(ht4bgIvYCj|eR&NkHvn)8jq<Fj-%wZxkt+$K&R`@CW8*zCCcFQ^2C
z3@8&s>40sDVpn-X?Ee#=?0h5c;>K^=HPiqAz;<mp>}!*W(gks-1x1j>7_1K|3cJpN
z4+X!C>61RrAA3RcAN!PLiScOBra&I9`65Z4K?8|^l@MXtP-auI-#FZDKD!ia+~(xJ
z#9#oRoI+_7euLsRajhu1thZ<hdVW4PcbN=UE(;71vS{x<0ZRO~C{%n<q3PnF^KIAE
zV6xdEfjofMs<)vDDirwcsfv;MD-l>vx3=8f;|-BZAx8Co`vhP^`(5_PY0Rh~*K&(E
zM}8FtN@>)GXaI^0C~gM?_JE+@Dkb5_@M#RkXAEdEFb_YfJ=YkHuB!~0sQHR(&nCqs
z0@^-Tq$}O&Cx7aro#n!XLd?u-JSKN=>DTXC<b+5E6fyz({aumpPfng$d50>4;%Za2
zCWJ2jxjZn;DH{gfbEy$EGNHUi5XGLPXGw2sKkvk?n$~1C{SSB!^yW%ze>?9mZ~Sk&
zx-CMp-$qVq_%@#JkR&WyU%N($ZKeEmvJrcF^YPA9PVn8mBb1x2Pd_f?-wmW`b*-54
zl_`3!glw?vUuz~qfEJtoZeX20TV0)?P!#zZsYG-wAzj8rg}O9-qH6DLo^1nKM$_+m
z{3=me$YJZvz0QuXedj5q-EkY38o-#py+auga{KmPwb+;VUE?vpbff1xY4G2+gXu&U
zR+L$c1(y-A)$<sJf+n|Doq`r8KXeka1*o4G0Nd>)T|<7<)QC;X(bLjI{V>(iX?5xi
zHD+5kb;ZGKjEyHBW)+3ySgu2qwPFQbIZ^15kbQV|qzc_o?DH*nfj#EqXxIw#J0H+l
zEek)w(qdK{AXUDU&FaBFK9{4|KOmf}wV(f<Z=d?T%%G{>alXvndijfw=iW@7+0JC1
z){dmvHt#x2ASl@~nGH4$PWbK<b@;`sAc`v}8f*L(P1~{BlPtLht+X;t<=19ng~w=y
zN!3BM;x@U}BX{p>iyc!h#RI~tYXJAP-_E4<%@D1;5GbY!lfkB6IY15D=yP_=Z`)s&
zPwj~MZ71<9a%pew?Tx=i<ps6)M_g)&po?0!pW{pp-oHm?O7#{R-yhL5&N(NR8R+5H
z3=&(otuJg4r0b2eFfI7rAH)x(o09lz%NX}M2n4;^P7^x&xy%6*8%=XgwQbk`a)jd3
zwE!Qcj?dHn@Knyu5`~qw*uLg9Wanpb_0~r(O_!?dqJeM*$5t_Ya3`ivvWSHepe(K^
ztj`v$G8e^_w=1G1GE7M3M}@c3OfDL>ajP$P2|dsENImC-CpfF28M^6x-_7N$PI=<Y
z#_FnQ+cy(`XNIqeZ-3bjm(fNklI0QWOP&Wj0Rmqj1m?9Egz^F|Wc{6S%U8lug>xWp
zgbe_w8dtye$_v785@~%g?J}D$2V5`b+^k87Gmyh^F;Gcq$+q-NTX}y!h6k4|{)iKx
z<}_eUMq*}dAfiq#fJW4PCAjKe_*z^>A-w21@io7+TQ*CG@VNGw%P5~c+H$^XI)(QQ
z0OgI_2Lb+boB#VR1R4(l;G*N*g3MlFIp$Gr;c)?*@!aFcMXMne0hlB>3B2UdrC(cl
zBxNkKBjseAG;{$zJD}v!IF(v{d?@s0?4+|Cz@ANjY}ut20z7xYmste@SB1{JL_-Py
zerzE7xd0x;u`O?TPbT7^|0-w(5uvUwx-a9H^+n>WFHw=!DU|s!QgbkX0uyM69&!n>
za#oz7nA|gM*DYOe@7{>x`{(29x^Bj=<E?I+^$A1LXcZ0>e+DC2^7SJyVPteFb!l=P
zRbcXQv>nMiAf)RAk{ZPF5o9qABKtMdhO3iWYB)wd=dTx91*=V?G$Ih$IT3Lk09;%@
zo`{wX;wx{XsdMd~z@1A@UPyz(%%&LNa+?Kp2V$0Hf*2Ex33MvjuD9Xem}Jz+WwR*I
z0C2Oc0>F{G53bgu@mSJbHARn_;hhM`l>~spcB^ELM&=#csO2Lmhz-3CYK{RMD`;Aw
zg$6_kf3qOJbhh0rzJ+$KS7@Z`H2a_{U}(nj=05PIE-WKuH*5D<9OiL)>tU2c5W$55
z^C#P1t!j_QDiJp6RR$8=msJ0|?}WXX%<7zNdE`OxYFBWu&*h>B%uGp%RzPcr1;CgM
z$ZXSfS|e$s#494n1(=m(`1s|*xU_g9%_dpcLGaN`?GIbE>oijdMFq<rnK{Ih)m{IB
z-$dyE2o3U`U3folZvues8HcOnmPt=ITh7Lv;i+fGS+~u%r$ej2+J?;+ipb|F_|nv$
z`jZj$p+{WFZlXWvubuT8Jsh*<L3x9@q3K%na7ym4<Mfqa29Qn{wfh1AfUK7tcN40~
z$`w?0Tcx{AwbxE+zEmM4f{PH*mAvqNj%iA?t5q#S?wG)2mpnc&$DGvm<?PIv$$HMY
zjz)?<P~@h8DBZFg#Ue}SvGEH?wA2MgF!g&~2!L)?vy0ExfA6YB0I2qf2Jb_kCJ}ar
zjE3{HlGOo0(-U^}oD4GJ8GX;QLjvNAPYHUghZ-NnN59WH+VY?{qj2nP))(7EB~P;d
zlP>W^DV}%d55rBM$-@HsJjA1+s)N;6usY|VGhuA@#Xo^<^tPVJFYssXy&J*HJ{3?o
z*%h!>H#RfJ;Bgs#0{HfUjpIbf3>E$K;j*~i9#Hyp3HK=6r?IL}fkZ)S;Ta-*jNB7E
zmgxw(W0rL5({g5zQeN76W1jJ0ZCx+(`eyRSXIHj`GrRXFqBKr&3aS`Y0)JgjYg`m?
zs*cb{G0}J;PNiloApvSCX2y70oq(C&#!*B|HNxn6sC*OFTX$y$#{S<&l}~1VrN;II
zHSH^f5v41Qzh0pK9E=2hkMF54$R%ZW1py%PXiDex^G`fapftinbjnM;%^+rnOG8gb
zSf_IJ2vK}S2gf5^?D7gHs_U^rwFcXQ+I2mPaIVg4uOn)Kfy%#UY?d$vOmIS(kD=}U
zmu<C0VJaJQQm2JLaE{b-y}$z?Kd<JPW3T!>F+Z)c<?Q=&oYSbwI{$DUhp703Zyvov
zA3wq3z+&;VY~nahd$MR>6^v_VEyF|a0F0Yh4H_C4Xm^!_6O4gz(NNxes`Sbe2;tF!
zt?Ef>crE&ca}93Zo2-2H-*U4ZtGId>9xSKxX0r9e#*%oa&6nTaD%4>GHQ=Asv5PhK
zK3j$jKvd8#m({|>9@cz5r8oBEX|2;W)dTaU?P+hdG^(2h+U+^Bu*?P%OEpR>3;0ZE
z12w<z?Ul9mQ51o1a;?m{&inL(S+B#;)j3^nR?yHRY6|ToZ#Zv1QI@7`m@3=ZSqTPI
zCM&Svy=+Rc)x(>Gc<r}r4u+3fL)0M|J{Pm~Ef>FRSML%_bb4#`Mq7kZnz$-pC?>P#
z2{;^%wJu3ks~)!+2YUF($t6GBEj&^4T3>!y0OBe0$4QGMm~x=&jX0+<IZ}%y2ZC)j
zJ@C$RIRDW5mWDB!iWyUr0z$P%9QIX;af8$5atc!NDr=>|vUDo#lnlzhngDJmrUmdM
z(~L&nA5PC$(M(LNO;?{ceusC;s}T&6f`b#j(LkT$iZNCs%~A^Q;`2BHu&X)b@Oryb
zVzh;@t~k0$ys^^IG4Z_9Q=;68gZH;s?%{Pw_k9yj8}{hprT*3Wr8GN%Pk0D?X^4lX
zf$IJabl-BR6ji)Hz_{$_RcWS1FZJO>s@9#Xu8>;XEi6aF00uL&go}2Ety0@_>)8^N
zw@qmp#%rOy#YRrZt_RT0bqcYD!L%cI=0S!LT<XMSf7>_Bew4mY|FTEjCpuVnIW|0J
zJU<Ie%A%wjU%^)e&ndm^3X<4|jV$wRK~{D302McI$3dSJ|9Fre`EHZlZ|fXk`UrM`
zm^Mok1(e;@-C9~Z_q9H_m@1`rGeTg5%yNhS`PE4s?L?8^*@ePtY#<LNgDM$85VaVm
z9r#L^*uZ>0;Eo$ZZQ+-!xDU0m+KN7WizPXuT{-{Q82gaMf2&fl0@ePh%7}qS%6-wV
z=JD}Ct<0J%{csrz47>W(p!m>wdDA=K@a;qtmXK;%ow(}TESn83qUsnBr<2}pwxfm*
z77?XqI|1PyG+O5JaItIFDw8@LbtCMD*Q?mexanKbhHX)gLn&^3_!7yoS2VVlr@@ZB
zNh%OA1sali>YolXrJPOVI&Es`1i5GUu~31#_@+_~$wgwNeQye4YdRiMeq3ttVyWDz
zC&oX%Ov(P`b$G;o#M2UZh9!SlPz#bhO}`uP#G2J*l4KK@>z;dHhqB+vQAS2m85vrU
zk_u(aHA9&ALK<W$?uub6?xN{8R_PT0kQNN&_@t-+U%+zA*{CojJBKFc=j%qzcMWK`
zpsSTeR;oxPipU6%58#rl0;dixA+vHw*S2z4cQW$!=n~vc)VY|jYxgqKaLk3;_4`v3
zAn9LdO%c}Iika0ceLktRng$-hyqt|@uuKIo6?gC8lZPJ_nMXt+jz&OQYE3?rFTDL`
z)U>$l9j>T0cKD2BEqT6&_*X~z!4||>I?00UZhf5NrcKO20c2;AI>Ti+7-jl`F01Nk
ze=9#ict~9jDIM^oYFp0t^~R*!EXmTtWoj^Zt*nH!UTMFvi2qR37l;QUTLKO?C%~r>
z>F?am^rNA6k_6IN8hoBVNS4pt=p4l1%HZ}fZg$Xf82B>>$e?i$Zj2ftjyPcau^zX3
zJPybSFwL{C#A9tnkY&!$jt^(1{Jl%Oxk$P+Od>lioAncoY+x2VDrMFvI@u2u8`kL9
z+UkVHWCBXVr~K`~5e<;Gvu3UYvg6$`S(p32B7r&rTqDPpikQ;dmS}^v)190yj%dlp
z%&7tdp%{}C$nxyu_K6`fwg^nErVW|B4Fej3BwW)!O32YBtWI8CTKHBJSrU`JUd>Ut
zan2e?>85CF3aUY);~gcs7E-a`GSt(z%tyLkFC}GuP?NJ(-Im-C$$MGgm{hdzDs_EI
z)8guQb*zb+p&7<gQoG<bZQ!3_FurVGxA-;P+aULHCnq{+(>`Ms@QsM2tR2Q>6Px4N
z_mhQ{l<q3;)@gqizT#Jjx)h=uvv{IBx_&uzGPZCERF4F0^`nE`R{fjL#$SH%`+Xl1
z?uREVlK5;QF<Xn3?Gu3LSwlaR&)wckE>q$ZBhjmKp-6e2g(#ZjYnQCp<M(WTn@|mB
zc34i0yh6p3#K)C7`#wYWYcY+k*@QuEI?d_X%rb0)>_n_H&0@h)=_yy^Hh1mqM}?=k
z$iunDMtuysWZ7)a!kft|!#(>zg#;0;ebiZM?Dn&a4g+2=?Mq@RFi_nAavotELOt7?
z=3x)Y>(v|C#*^5u;4Su$k$qQ*8=S-<f2zyTc}mDyyxtpG?3oZ%tFfo&(7=@61TYmG
zDY7I=Bk;R212{nbfqfAOjiCR?#MJiz{md^rA^XVC>vP!0$P61#v9{`m?5eo;fT{*}
zY*l$yd9ZqS5Pb>96{Xup6eG;E`>#IM3X`{jc-bn={qPQwXN4bHn-2r^Vyi$>IDDW<
z@AlmmQ!)vI1D8q}e_aD4W&u#<^=HE>T(sctPT%~qKKlY0(AE4@hj;H>iM`6E_P)3A
zus_Ud54mogGYO_f;Z7*#0xHNtwwecA-`JMZ$N_XurJQo2ltN{=E|6-+zZMpongs=X
zcQO__*?12m<%2ig4=^R7)xNYh5w9KMZsOE;2(K^%${PG1?gBaWQ5l96qu;-D>VX=V
zuIG4CMC&~qKyldgWkpQ{i6B$3t2Ctm^Ma|Rp<i{zniPz2t4QLg#O8fce;N>LnE2`$
zS?5FwV=cn&E`Ss^zN*+J^x?JqKu#j5$hF_yo>5nKDB;AVjng_tfM|lj``P2IRL5Q~
z&InjDORZUy7_;yi#P_wpo!R0eQf0R(1NX)61!|cU*$ua?t3i~v+Mdy*FNjc2>wo}2
zUhVU4ss}FF$+4t9Q0BnrS3SeJfSjMiyxB|X_=uyt892c+JUX+U26l#8rtEZDhxT=N
zRmOU3Jx7*j`}m)_jrN@nsrSd6E%18><E<gDPYX6j-BOnegqcjkJ$6ixC8;SwwpYjW
z7<h@m?h$SVsWdR-b%%E<8M4)3b9=RLMoZsAsA|l*KV8-rZOV518Zx?noS<tO+HTFh
z*S&h$!WIy$mKOS1Ven6kCk5UE0i_>g7Ojo!-&)Blse!B}-4YO-3EOI4FRg%E+EK7S
z4hzq7HUl+Ud<!DW-h>K1QqhuX`chsO5t&Rx#A(?uz`mJ;bJd0niI}U<ImftLl-5jP
z)h+vaHHURp1IyNDwse>NevU0AmaFw@%>+^Nazr8m5PIe6li@n9cmnRfX<3hwAh`u~
zm;yQ1C<X_hGDRf<4=<h@Vni)$r+d4vv1JFQ#YA{21@KOwTJ?8%(_!OP@)A($BH8%$
zK#L*#cHZd{M=PNTdWWGq|NKuaVi8m*XzjAIA}5IWI#P2+<ojo#pzf>T2>E)sEMpYQ
zcQHUcgO<1Z)#AIuVSSx~!(YE_Zz6Kps}6u5w=!Z1!jm*M#M72GXOU>2DU8niqgbbW
z5|btEGykSp<M!~LX+#rHbjqf6rYTIzn4$NaIjH8L{U9_ETDp=^RTHV1&zK9Vm9|i_
zY<9%y5%f#ViJ_<YX$F+EgkP#?ym*7kXOUyZ=L643tfIMq3cXwRvE>zpWYl{s>5uf?
zMBWMHaopVk6*}?sc=sUPKrYaI=I>h;LxG8OXz7y#ekSIOWpDWKNoz7eUM8O$hXt0?
zpgbE;$>O956gasI5;a2{Y<=^p&BN52EyIj|7Uo2S^{GkUx&8v7oApM7TKGTNozqX9
zEY!%M_&D(1G_oJcw!)`6Xcl<@6$;VH^gdM_gz;!i^{dXlJ7cpY>f>EdP>y*aZ5Fvj
zw7KdbFsv+;mnK}!FqO%M%IB*UVCD^&Eepx*%;^T9?uqGB>ZE{}ksP*nC)7;Q`E~^q
z#l_El&WrPy-sUIC-wUHNr7r=eG-<WGUZP;BKdqSNLl6rhG1BaqPPJ<lgiD=LCFXOo
zkoKi}G{7w*w=J-+pcgGF-!6ZhF?wnhpH|=jt6^Qt29ztGJX+<1KiJ$a7cwGmur34|
z>NWurtzQF~mO0(3lUBB2wmtKZQFX)A;w1h}X15i8^j=$UW{<w%Zk`PINGd#hcTL!e
zjBOB4L`!ttr!^eYaq!r66>hL1AR`IqZnV}|PL|ZlTvty31J!~udkn@#A4|)>vpWx<
z9XHGKaB$dJDQ!t?Ztn|3C!=-<8RZh`xh*Hv?}Z;!Ik8Dqof(gJIY#EW>gP%io;qih
zqPi7%fcHd)OSlD$en?sge!`r=kos04A<N?g`a+tlfw};Zwi+Q%vg)+{?y;RtI;0%U
zbxHQ4-8)PSlyqyNDTgQ0(gH&^p7a-!$x(=o8hFzs<bA!F=qwmYb5b+BiaI(To=)VK
z5%WkMe+G*n(@b^-FnqjGom5`?m6g8zs5uWKw4Xq2gUBsIJS<%|5e383anAZq9S@w%
z!|KVzD&-xhO0)0DF{^`|yo0=wL{B;45eeUFQt;(5$!lCpCLiE^@H%R7r(!a8jq!LK
zL9sz74>dmM<bw~fQeuMyMq$u9(d_4j(LfDT#p3(<o)}iYhjIM!iv27Li+Mbk*jy}|
zdG|A9k$iH3@<w6T#0*ckCna)J@{<&TI2l8UG<6z&&Qsg+Vm<KN+F1$ZW1FgoE{J&5
z88fCVuSd2i)+Nc$yc~)skcyIw5ozUcYHYWrJs*_VI+EqThnXqMl9xK0K%)ux2d_gs
zykyBR^G3+TEMI-rAO-b#zbAicCL5&zYRw`0Vj@TpOy5j;jke826QuFFl`yumsVAg_
zZDbV)E~DW?hi$*_MPrj61+(!`A!^)2O%>-RDUaykeP5Y|%XZYANPe$di0+kCoA$ga
zKF$p!C2jp&#5?hx^3krg04<jk7X@;X0ApK7>RZd7p?I7Dl)50n&BsCR*N^3{oVhGC
zlwdq$wT>kn>SfJdk^`=(H}Fjl_UR>+&x6F7Yc^77*4-6C!885xc30lV9q1jN$2kMz
zq5|8E6BLSmrT%h(rB>pN^!IJQZ`um+$7j~PNUCX->rNG247m2(R8n8AR`?&OK?9?x
zB~%MSvSjE$v?xpjt76@hvw~T?@dLLs!`>hpaZ(1>6<V7tw24Ajx%fWyHS7A$RY$)Y
zJu->+b`g=DFrv}mZ4r1{GegBw^`w=6HIzh{JWu57);jw$)|56A{_VptGc>vT9Fx$i
zX0p-D$f@p!UyWEE<!dasSJM+QlKPcZy5N2jvtb=%^-N;>Qusu$cIZix;Hl~_uQ$pD
z7R8QpzTVsfAao2YPt6^Sb_0=sXQ85a+mt-2Hwxmu(&SUK*Ag+_`QO*gJvTmGCSGDx
z>mPaqKREF)^oS-9w*iX4(+hKZu$k`HtHVQ?RSj?NMk2=L-{oYRF@&GAWHF#JwWf^M
zri3z0#F8d5MxN3p4u!vLa7j2@(s-BFy%`Xouga#g;5{%A*cGiP#3Zn|brJh&xQc^|
zpzt+{@>(8xoS_Rv*;3$benU<f@t4bZk0&tythxk48;Vkx9GRGl`G_4e3u{gUWIgH1
z$+#T@Ig)pQnv`C!8=qF{%ag>S4Wh?tY$n!p{8)X>0b*N83?p@{OrVT&0yc`<3JXRo
zZr4KR$T4L3IO{^q_u_E%05Xp!cq+u1+v}10xt&iLq}f2fVw<O+X5v>)eIqZ37<f0K
zFv*0sI;_-X?Y}?*ZHDgp?mY`#{GNI$C%<IHwyXUi>6TLk+e2`eM+5vN=(B#N#uhVI
z<4!i;qh+t=OBi8s{;StxPg9|!i9cUCHZ<2m8R{6SAV;iBhP0YoOi}uy2@DRt%_&`4
zN@cEh;jB8zZb1Gts}U_JH`-gOG_k(1Xj=_u8wq`$m5^CDsq1^c8Crm?;z>}3Nb^od
zt%q1;rK%{*mUr<v#yXaA^XKi%OOQZE@|exvf}}pp6`(FU8b>gV7iz{x&h*e^BP{Ag
zA`mKp*k46t^NI)AJjR~ppKYRAUKG`oY4+dq`iZ6HsK}<^*{#Mxn`11R=`?*f;Ho61
z%0AVt_0GVACiGb}BeiKa_C@r2jzQua<`6hI4+RWUQao*8pbeR3IU>Nq&BXp~XDpno
z5}T8Lm?5QCzagYHKcTV&?g_KKC+~ws@39KlWw3Pe@<;Hd7&!EZ$S?G_ePtCtT|2en
z+JHYAe|5xswxTl_j@_`O5XIw7Lf1uzE&Rp1l1|u${~pP-O|hJI59#>ndRk;6DDyH(
zpGMhq<09I`(X;M~zqc4K-!Zw<iH(-`R2~%fESjt(OpyIOKOWQ4#EYb7&A%ACJjg30
zMpz~lz!0T@#IkLX%tS`Kt_&Xf@~*eX&{$Y1kk@0vZ||io+U$|r<+5CSq^zQ@d2E+J
zbP17rPHlp$rtG`0K&r*t`jS^lfCYV5zR3^Ii$`qPAS9EJ<jZ=H7-NL5F-RVS@3)i*
z2m65@4g#nz1IFlg<1_i>zE1^gXcl-Alo!4u`f)JP`t5vo8ilP4Lwm<F0j1{@u$vXH
z<fzJMyC?$tkD4TA9~;6&`WN?y<K=zp2*9!Umx==H+xU(%ZTV0_o{#qu0}Dh}ih(mN
zV6oI^dz{IA<_xLcp0}T-Uf2HWHKXsuAo9q`nfde{XE2^eJ=L2OW1T9lB!uA&sqg5}
zftMP?G{{D~|3!#cMF`E#f<Ckv;xqpAgGha@qy<Co@hQQqMZz2AJ6z^23yBL=Bjt-E
zTc}`Vu5T!5oHUdb$^*K5WM0uqmRd&`N|~3AOEegF_9%&KQOQt%=V8ws@tWK4{)5e)
zyr`D?B<4(hkz`kf+~W+B=X)n)M_d;!V2MvUw1?|04=Y1$PSR{Io~q3T3lv{Q^-3nK
zsC0W0X<h_=<_Cw7v1G{OOCl3Ur#1vA&th%ug7<L3O^zRS`$(eCGJc2HS?ZtAc#LlT
zKp%ZVQ+HR<do1k8VuAf5Z-0nAWBW!SIThGlt*(^tSm>J!P076ey|>IN>EZ2XXeEKn
zzN18YPpxz1UiVKCmD^5i^WP9R^CgEbT%|jPy}0GB>3w-t(MxElnpPFn^sSCbped}4
zdO;wM$y0q@f@JjN6gjcfH)n_Z*KDctPb;8qpYxP$!Xl1ALDO7}aF6En<N@VJR$F3h
z;4!MM%^Rz9!`&mu-gleh8<UnrHrwtV*Afj9sn5wxOS&|^(Iwl`7F+!`qZS*KY8DV)
zaJesZ4@h39zCkw-r}pi__tj#>8zoqRe)fLD^)o|AR!g|?v+4vz#@ISVOcH}XH1b8a
zCxhQ@#w@E|#4-Rtut@eKKZB}@c$9y4NiqFgCGTD$4aQFAS0EbOOBG7fn(|1lk_U@N
zL%0P<hj-7asMTo?g(4*9ZlfM{Kv+(Hynb>XsUW>a6nV{`$NXtpaJ;jaqV0DG+q)Rb
zBTAZ$Lg{*X2u1f0-DpMf(4p&mC|HYEQ}~GeE;*~E+g;{~=^nVJF=yB`OxC-5%UMn>
zNO)V!BE928bRcGwYWEa$!{=rirtw6vm)D!bKI1JX3(XaNb6N89k5IAk7qbgHP`0C!
zyGw}5Nob}SXvor+JoCiw8}Unz<<wv4Vx_8fRx)8)VEKFsEmu1i&BpO-erHl2!<~&K
zO4Iu7=U2wcL;BuPi9z56PWq{rM5FfOrjqXNarz1nOw7?>n#$D)hy#U(<Tg|7lR2XJ
z0CSKdXxR(`Cm}czx!?gp)8|$x4tBY5=&k((juG(9z~gb}<^7uVhI6}aaM>F?x#r%N
zFtNis{Oxvhtks?^5D&vzScu1T2vFJvA(t{}-3JOcQKbdF>t93<dtR-rFIBk7^$|bn
z{C*|xBrqU$NMg`DVviF538hu-Tq(mp5w9@xFPuqwBYP_Y<{3!khj+bei9YezBVc%O
z`;;EEHxP1pJ+?7~KX3^$XBV$slEF&Mn!+Z^<l3Meq_(N<c;s<0Yc(;g{;g!2^Db(I
zp74Z+5gto8dR@tg>uc;GO%Z3edm2$aa(+EXQtlUIJ^5K@uSO-=My@ssr|kNMSNSl{
zi~)5zA7eTAmTW5E7<D6a_-((MnMWbh`^e3j?>8!UV>C9HL{+af$G&`t)-89nE7|;s
zl>J1d0JAMvg`gFFrOL6@RL8cv;n^z>9Ur7LvEE5|eg*1j`Nl!98B+aOlod}BUekjW
zTJV|omYHQ4yVdbUo2F)2V^xoKPLuu5prdrV0DAPkcfP@MJNkBg=3D4G8+OTS_L#nK
z8^;+|bIZ>GBOW@#vOLsNTSq;kXqh&;U+65u-Z<sW@PE1-p>i@e<i2VyT2B7<h264o
z%TS-UxYH+Bs3J!}=qC1?D?D5XHjZ54G~wagA;)?V`{<mxr$zs&n}b$qWUJ@X7ZH+u
zC8aI+MF68CsVnTGbkObM)DQRvD|`|XvnsE==K7f(IaMC+N0DZ!15UzmCfGHJmaOS=
z!$~i~y`GWYAYGY^dF>m+J$Rou1j!IUOrP5tiFbH6s3nrP1#uP4kMeg9JBdDT#9;PM
z(l^#LF;X7eH2rdfnh)l@4QhCrZ*c5NZnN<$zkuj;-9vSWAw@q!lR`0jWj;Bx+z!vQ
z%)h>XNFS~}uccJ${TfbjXv~+sacA0vR)=rm!k3?++}f+cazx85J`1@_)p809^9baT
z)G2D7!Lv)D+~VlLfD`KT))f)I&nTE`wQ5D_bm!U9^;WPVguUXWzQCNA?c8Vz+I^In
zsoCZQ&x<*tSswLPYr49u$`o-^OS>iMDoA<ev65^%4iSTQURs>CWJztbxo;}>t+VSG
zm~4$4Nx7}l%t+!an=#`lIIdrxD;?TQbP8%&>r`8WN!ajn(R2Sywi!<#2Th9|eNCNx
z+$;WV-6~*IutZm1NQ+m)Y=~${V$XQASw9|r5wHA-N36NtcsY2O0nC3~8NFDJ)Ayh*
z90q%S8jd6CF#5uK=7xl0sj&P34>zR4^ns=Ju-p8g>CpPB&3A?wrMVZHfr;U^^&`D~
zVubBUeVu8<+N|7LsA1tMM1g&@ev+Pk9mJ5LwQFV?9VG+jX9Qgr^YO|*BNWpVrGH(I
zZwDS6VXvz5x>sF`DYBjUv|maXku^8XqzGK*7nw@Qo@mV6;7PlEyvpr`#9nRN)o)x(
zh0d#hV7J~D;r&v1x}&etbo&!IZSlV`cMyy3vGGcmsIU5%tmU1*?-_l>(W$lFyu2{<
zdiqnZ(L2%K``0(R@4Oo_f+>}VGm5X2N!W!?$t7N`1RpO=V>LY+%5oZ3_)uebY?$!U
zI(N<Z3(cqV7fC#^FYSmxBP@e%ZQA8^lP*HNO`1nvBeV0D34Q&pM%37U=;s(f)vihv
zl5N>EHRSr9d|6zr?AgD`rnUDz7jO=h7r<t1fS67Deca`9;o(*`1@mwVdSX6z6p&(w
z#H8TCc5fghr5$+EVxCi82~lb|%6OV&9YRXV+!D{8Y^d)YOB(mwzGt<6NVzkcG%;V*
z$y}2hi|`z(!sq6@6!^JRd5LfphsG0a*Wcu059RR^Qg<Nc2>Om(#p+IB8Xx9oQLIuP
z`42nx#@SR@Ssdct?HauB7QBJmb-thhzlaxr4^JAR_WfnhkmSXw%i>VlF59QQ`_{xE
zK>uCiJm6>i(nhTMt}=A2tA+)FGvqOH8u@YALQ0ymoVmB6uw!}gbTrUUSW}n8Xw!0<
zDI8}FgHTC7?-Q*KQTnq74z8?>5~gH)D_}kBeJrlvP9a)k3M&V>7%tL*heowGHQtfu
zYq9B&WRE<CdYZhvgyPD^!pSD3ZC-mj(vs|0>~a3DoyN~WHf1r1-X83mhOddJN9m+y
zku1BwiuvSvARca3bis)0C%MSNo%$s6&52|+epfAZ<5K!pVt`@l$X<;gC2a;v0e^Yt
z+@nn~b>A$#y?x)jEj_)IxegjVmfMR|iZ13Gr8|u5SvNj1ngM*orIz}NV=_a1bz$91
zjGo6@La9cNgDFCb*`ATxji`7}GJD8d(%@|cvf|wPXFctDfywZKdn2*A-eqM;!YL>8
z)CKWpSt_uF$wzq1j}l}3l<(B%c6^NQFh?ALeAvSbV|D1tMoIICdaj1+F;Z6we#x_8
ziS~peA19GGXa_Nue3x}a_F2q!FXOe@U<ig(gdi^;d7yt{JVd>bKREsb`i$knFi)5w
z@lQ4;y~ca;C)xU$JRoc+&Km&mm@qUyhIU$gx@?c%AuIg!yGx5MlNvNVdwT~?SEUqJ
zHAa<CrYf>s(j(Q5RCsD`-lZd?;9)u0N&Iq23smjhs(YOxhq7o+uOm+5*DBTWDJktV
zy}eL$>#Hlx@tc+EfHiw?d$tYB^;2GzO|LLo`O_Xg27%@_VH?r+;#qXgi)o?VR#%{W
zE#xB&)+30;M<e0YYDLldFO$d5)f7;$k=8u0K4l&e5K%YZpDe=8870J@h6Epd?6Zd^
zACdmV&=M2xUD3msH@{~^b^CDa)9X%i-tjCLntJp|(FZ?EfLkwE-)95l$GzzF_Fnzm
zy)G}|mO4uf2}!&X@xK6yD^mdV8SFO%b=-1Jy!LKA=Gx6rapF8I=d(h)$kD0bU43Jy
ze-TMIdXV>(oQL}r9WIq!E}cbW@(uwy4^4hW{&B5YWV7hgINObR3JNwo4@m>u8{Qsw
zy41@kZyIGtKZWF2G5SeW42V#VfbxrCfeFLwvFFjj)j^)F+8+u?B>S)2(%2bUNViUZ
zK5w`sPqXH|#&u-z9p2LIkrccrZ;;G0e_2;Ksv{<qH`yeBk`}B!-OQtWx^Z{fxScNR
zq}n0GOr-Z*ie|o0=ay3!U0GZ*BdJ6qgI_E8OvrYnPZXjiWtiF(+j)b(EiA&mG@7U?
zE)#`%DyKjB02klx!ATN&K<X*+(JB{u<w(9OsL^dNp))+54R(?u^h+y0DOXxy3X>pn
zHPZ{)8HWq#iQviB#+pUd*d~N66I~(gLsBf+dV6K)aNo;WajG}7t3EN`j$zi++$S>&
z^93w>B%M?6{){8y)`^e_@v${7%FPJFj*>tI@^5y1D(Sis<1Xs`+KN_a7J*qIh~n5R
z85EVfkqxiKT2{HQVv$}39K1(-WYV=Ekx2dFFBvr!q=}-GJe>#5gr7?>^>{{_nRUqP
z#3oWw#r5T0;<n8up%XTHn#0-GMn!5x;Jri+BGs6Y>dghZc<#0HOh$p|cKn}C%{jCX
za?RK4-!2AD^PdJ|&Uw^4p%{il2bBB{tm2U#;%7W&8O}Wm^2+1R_1ST|yJIa24F&zZ
z;{)CWvD=4@=~3vE$SSjimV@#KruYkiu_8LISC1gqcDc+!PY2fDayv$&RgD#p^%7I-
z+@G?E(>QYDML{ST4FLYHSB#jOHaxhGK1EilC}fB_-MeBP8@w(|?2sjrqyFWk8GV=+
z&R&RuC=-_<#}GW1h+Bq!O(}a5@TTWrichMYiX+iDMJtT@tC#Ztv0q-fnN<eV#miZ-
z*I;BF=B=rwXyWj~>^wk>LNA|J49b;g4*wa$VOP7Sh-a33$#DnTNLlu8cq`li!>By^
zxWm@tIaB?>_Ux@?<0tP{UgSaMAIIP0xE8nSdnNf`)C3~5L*7;gL&8f|8H8H~Nv}^D
zRJrp>P>HTarC%CaIRv~>5>NVYlH7fU0~gyeXb{tBwev7s(9_)Va2ade@aA2ENscDq
zG8-qAnuw3R!i!SG`{d1If{Wt^Q*H=Olq4PXW7ccSTv)fj-)1<p_}s&$mzvnYh)4a0
z{g+SF3By#mx=Nr{5pP++w&(9Pv2K)F@RYUxUu|a{7FF>7dr_pMTUbI+y1P51OKC~z
zE?HU{fdwfEX^;>p=@dagx}>{7l<vH<sK4*`-uuV>>-y}&^Xz)|oHKJ~KJ%HG_xrW(
z(E^h~AD%JHs%uwPT3CJ8bMR$)x5L@<{Sq4y88bN@le6uevw^%oFQYLB137sY?ZH|S
za){}hwRmT!qpK`QJCv0vw|AdI8|6vx?Y{FlHQ4x#5hwyzl8G(u{yp~dcP@Tyf+q#Z
zLA-jQtAg>+aC*BQML(S*VT@f9sm#>Ahk)%zi#A(`g4{ZAM@Ph+JxnO$cTw~2koM*$
zAfwonh+%j}a<HKNy+Bo?k;r^4TId2Lu@T*Tc&HA(t6j+i1ivJO1M(gnmX9Yt&e#{v
zDa-ro6`o|VtI#LN*WeQ}@9FU6Y%E-p4Y+^GT4@c_6Hy7J6M%-eex;@iKuwN_{!xo8
zEqcNRd{+YGhSkCmkCxBS9juu=BThI7FQtXZROScj)~y=OQbW6D@Wz^?K4;RB6RUm1
zjt(^Si?WG)%f0q>s0nGw19qy)!|vkpC>_`(%hYy)yIeiSdNw>v*-bnix_+FxeH1-3
zgVkn4Dj(n;5&u@yg^=Vk^CVmjhb{u5wO<QM>1xPpDUMi)%aO4Q)$jSqYw0@r8XlC?
zsUa%!Eh2uwpQYy{3OaiAR+hqttKP%+S9#|Wzl)1DKEI&=yHUCy9eV9f=W{-*3VUJ?
zW8ueR-z0j)rCo9QJoQ-Mn1FB``_DLI*R3$oZrp&oOZFd}1pD;KXKI#zPRi<Pmqv0d
zs!uDiJJfIH)e>T|bkiq#h(;cSXy1eJ^9TiQ*~~PvmVd)_DmQXb#2&xsdfE9j)<f^X
zm7Orv%#RBFJDqIO+UTFzt0Sjk+^cg1J=T8xei`uq&tk3d8*$zBA1np{B)~R)yhxyL
z0}|^5s@De(;vuQH3y%Ze{E9@Zb-6ptebO<6ieU4VjiN)AimyY8Nkf~6UV}q+H#Y7-
z*tW#=(zoOa&H<nuU7iV0!&zI;G%7<<;)!cqS#tg+Cn-wLb<KHS7JaQ=AnD?$HVSi(
z)(kL0BD<gOlWZBKfsI_NCjs0Q#CA^k2%n4(x*1EqwP(H<`rd(Qh9ccJqtdw%*Du`L
z=jw@Lq9RDDXQ;t2f*M*XyEb6WdMhDUorkNy-LL3R!2J_YwooOplzczs_mUwbjwz_*
zdO~KHnb`Pz*oIu+`*FT1W=RVas^xr{>SLa?(zN2F{#DL^b%jsk>z)NeSI@|x!5`;^
zCphP`=qmMFA4Dw5LJXEhxwrFTFcDI!*3&;;2dT^|VEh=Fn!l4^2*SHPiqTxvUI*!V
zAFJ_yB<qi!4h`wu>fGHV?y$Z@rto%5ThW~S1C0PiswbdpdYm!3{qt0yAT+MjjW>or
z&U|`nN<l+(W?p*nbQtgxvU1r#0pTxIT0|twhqwYsJ@#YH`$wriA8&Q%!8_i{<FdEK
zT3Vlg4+Ji8x%Fp;iDBSrdyhVEo2_p79d8veHs+|AP$fWHwh0&zxHCsb<8B7HW?#lo
zE6d%+&8y8Q!U^aFK&}V<cS}xpU)Ul%1JoSAPXUU|k1>(M*#6n5mCWa;!hi1Pzy5M7
z1Iq|Z>+NUSzw-Wnw=4wQ4egvGcz@sj`^x|S<1<&>TmeJlljE%0_$ZV;K^Sy$Yiwds
zUvKVMRAh*w*ai?pJs(!5qEfZL3wQU|<vjELbC)_OTslLWlcg4s_J<oo{z|vo&dQlu
zHwM1iV@-ZLjX>3D2GfdpBj$p=F<ENp^0<iW_Nk4+y(hVaF@-VG1Of^2!B_@ol$QdV
z<JsvNM&R=Alrj~@S&W+>9X!u{tKs*aWX|vGY8U8O7;*iYWb1DjE<zVoM09rAEeXyX
zMyl<ID_3H(OxOF1vl|&+_B<~0d@uSwhPqgZ4!Ag|TP`MnFrMdlH}eD1sBSXcy9CTh
znLeS%#=HB0dXA_HtW(*HrTU(a!^Pok`!hD5aZzz=^t`X&Y+B%$KBte}+NAjd+8Jks
zbA4p0!BoVQPa9koc?s3<7WMZf=7!qK(Fs|612_#VL*syP<6}4CbD~7C1)OW|UpJO;
zyJOJ#{B1FCeb~LblI~N5L;8e&T`%2Ipj{-3F_8S{7|Sk1B<8AT8((%?`N14^EnQA3
zQxjO23KLRPMgDd%c;3{3iazVqnacme5)N1yQUpDd3lI8)@jnghNXF>*@9GD3(^c<T
zruFr_CdxKT06pTbqvzHP`L7&gI7wAnrDeT?StF~^<fE|%Gr$zW40ly2RAn{(SAk)8
z-_5h%{nmvMNlx0_2iL3&kk`b4KixmCOnpSn3FtB#umj}gEJK4~Jn|W!GXA=8P*)}Y
z9SH1quf;;6$l6k-?ceurrtt8F+5k@sH{26bEc4fDcI#LxaJnm}QMKX(v(THgF+-fH
z`Mm$J_P_hf6WpgIg*jC&@<D~2j544?+Xop;{;NXk5V>MUoVTh!#4Cm?D-_Bl{MSu<
zd@8oJ_6(;w)*2V|M5Wfe(0>KtK~+56ZF5X1Hn<r%nIAVtN?^pX6i1w@w2G_Z@)h1@
zM!%@7vLl_E>R^xf^tsArUSxaPeFHm9ppv%}Gp*kBjUL<q!ue{85O_AO*XN=vQryPa
zdLS-AI-bYqoC7?1k*qc}uIwNZD*WsA%wa7DK$A7+v0X>_jEX=SQHqktpC^yYZEJ|S
zmuFlbZn}ulEA_pSD80UtRGA*&-)S_~)Ckip0zT4W?o#JJu?_gu3PrEOR^j5L))-mx
zNvfU#i8o@**iS#G>r{L_>ivy%p?`gSvE%e!z|GnSZii@H>55xE2EvaZ3g6R5aH5O%
z_1XI3a<nL>L(`EaJT3%s!S#N80SBX6hQV;ui1)>;yKy#I1<d2>2+8;=NG;3Ypcl^*
zix}Gz3qo8|mq#`*RO4W2kt5Ii95j?4DbMTvRIct5e@h0_CmEx?dT`Q@W|vqnq5nIH
zJHhL~Qh-XN?<jtHJnfJZ%jvxG-E~hj2`&?dD|bRr@o0kJ>;ndXoB$*pHh=)zO{15j
zNFM(7jy|c2{U_&%_kr~Nf`Q9}(79K=XAqxrDZGYWi=UgoHuN7U*`Mkjv_?7PJg5K~
z92VQU)py3pX75npLLxx&AZi652-1g@HD|(2o=4%+z(k*%@PJyHP6&udP~i#$(oTvg
z?`9Rz3nuUVIWMOk?^?<Aezi04O*sZJ$bhxgSRm-Jp}Oki|LGdQ(8%l`OsGru%Tif}
z1&D%nmm*m62+|~8yK*8UNrs@m(KA1li=&ZlNB%%t=L5FC7lCB|J3sCZv%KV`0xbE#
znY`1?%Tw}B)G8{_OFq!VWBsR<gXr>I{Epduk7XFIa}eFNGtt3zHBj7tV?Nl-@Vn+`
z5Tz3?K|EtOcLnGvYq(gS=i*n^K&H6b*&8pxZ5#8-UYyo8eeMtSh0iNq$}9Y*pMqzm
zi{hU?(wM&(mPs;PWiy^iE#7+}ekQ)R*Eiq?+&V4CV<RfO-^~GV0LB^Q`+$Y`9GC>w
zbfAlDrSv*<lC?7>L7+MipSS<9KmKd(W{=t0&^f<N_yXBIN5@oUf#a)Ip+^~v@samC
zQRqZ>zTEhFdJU{0_`Jl#?f7zGKa*a+9Cb*Y_DTO9p&k>HrOR7FpqVS1_*m587BGw;
z&j;ewT_Is$6TiJel?-KK&$Mn&{ywmNszMOl?_B|WS%^OmM?h_2dxuFkVSnkF$U}<p
z%X$in?U4r=%6f<iE<F32r2V)PgofUGWo57hIKO3x{qA<<3*W09zvU^zPd9ECyNmb?
zy%y%4i~z5qJwCItd{taXC7oZma+vyeX!t>i;E?*mXe|B-7<X_{dM)s7k~ISFAvESy
zX_vc&d0!83)20)T&AW}4ttVTAJnTh~C<kZIHbMK7y#cI=q8PORw?2P&3S2<%zB4z3
zH#N?4)Ba&_z^mHPx9{ZJW+#x}T&3*jASRd|H<!~{m$a+pD<<PkXg?+}gTZ3bfV7C+
zzV{-_7V2dxOiB3cYPQ;owTY|I-o7eSbWduC#!lV!QfcT<ZU>(79gy)>zLtN6BSneq
z4@c6JRk?~Ax7Hz;d(uu7VA@>i`~565o<A61{kWm-8s7Q=?uPvDSHj~KNXGr%C)}iS
z^MF4@IOnzbAv^9<Bx_A}MHcek$oikL;*tOTJ~D0&{>7F|<FFYEbyw$#A+rCiNn`t)
zKVFzy^X^w=*NMs2KxYmnxE&Mzc$br+TKxK?cj3ks+9VZs4WeO0?R%khw39F4M2g~?
zx$v5#w;8SiZ<)Od$3Mo%6nZcndC&`d!2JQ|#=u{Lt*GcVRm>aD+lRgaP5FzX;W?nw
z9V%wo+yMla=PF+eaHWO{s^N~YMOMEv1#J)vTY<C@0yjVHt|l643X<}Vc=eB&KT>HF
z{Iohe^EsP2j2{?ULP0DQN=tyxewaY|WDFo>Xc0`GpK81GaZ6I@35H;p<?6?Ji>g*L
z#K_d`>y|))BR?W{>5u0I<SH_EPD*P)_Avo)F>OFnORg}Ee-NWyZVTo-##zCH*42j!
zeSRhDhQM0IX8of;zb2yo8XOk_qIq+HMK{hV+;Ubk`$|vS6vo{OCriN*SsN0y5T`_H
zOnel4HbfPJK4v(Tt~X%Esl5?!l!D-j1PFj^Wx?r^lA)N!KrJ}b#8Hye^C)=-Ipeo;
zzFL&`J3&m37mU1W?f<e_H)SJ`2`+*#iK=Dj<F+xBBRgSTRBW<b#2*p7{^1=>68&$$
z4>1N|Hlpb)GSYQ>rf$Oo4w``btL)zi)L$J>oBFD~h6^0C4-8<))|;~)YsnU^aH=Em
zq&Qq&E_U_El?L7&_mbRmOgp3C;^)1_c)!WHXlbGsT(?=LLQeeU^L-uI#<SRxr9Xyu
zY=41AVh$&8IVoJqYN;!UwF^jO5K@yas>YWr28sU{%Iv)d36PD+wkY5h)i!wagLXus
zscjrwO9l`)U_^ZtHc(ps^CO0$i?*WUe^_R4cAIJGD**(-Oxo0#2>aQ3X}k=Hb$0v|
zWRes*hyqi&ly27r*hV%X1h}H+39%1Mp%lJQrY%6-!|j6^0KiWHvHCV3mvF*$X`8li
zj2Z9<1eO6xWeBJr)?QGC#X(6d47!wHv?Fm}ZKD|2GN&DZM-Wa<f|db)FQ}|rEE=3>
z)~K9jS2-lJDF9CBVv>eM%tmRHr(M9Nz7JrLoeNs}PSSjSQzW!MhLi<=<CAVCMX2So
ziIID5WF-;pd(1d>27|M4hQQ&B5*lZ*V3BpB?^8uT3A7Y0v`;c9znQBz(uHRPT%==;
z;;+Co0@^okg&z;NQ_Rje*Qz9My;m<fMXzz{;<Vyh0bwiWE8Ps}RHUjw3-uS<4YDBs
zOKKIF=qFSGoNxCDF;^>O$-#F9j(t<T_q%jPzH2!I`}&%M<XuUg<)u$T=e3FBIWkx5
zD*AZ3G6@9VWoxikhW`OAf&??;4(wFJ?vV&d8(fk3>$xu&#qYY1eum*X?zG&)itI))
zx1(cb;rd~TGTbvjhb@nV!HbVfGXBk@n?65CJP=7*I=KCg+;s36FVPEEHLk>*A(#$+
zj=bC>rLnP0@rw!5=wP^)!$WZ0>5+%glUFiY8%llvag#$&h#{mH@fHrAVlarmXBJRL
z0ffQY=wFVfY>?M*?aIC)sd-4s<rs&qEVVZI-$M>L=oe%i%>00G4sPsQ2PYb>{GB!F
zvml|jtU)*kYpQCRG}SpPgGs)?Pud1Icg|lQ*Gvpb$w_x*Lu`}MV+{8J$Pf8jhi5a_
z)f{-76iTCf7E%2)?`?4%?0{8l5d^0<-Q;K#ZuLNmcwfc`C`(CX)1RIIop+Qxb~kS0
z`|iX>4GKDE+eWQMKhewGK#Qsc;T=L6Xumm}+B2{}X$d%>&%{(q)F8<jh<d}~{Nic@
zTFunaLL3Yk-(c$D90L|z_eZ$#+kk%jN!m5*h(1_<_-X+=d2l~w0KqMIh0(A2B(VPb
zJDFxr#+8HR)!i$gwkN%8K#UV26j-fjLD9&{(2FiA^a5%3ll=96Y4?5XOayn($z`Qi
zK*^#pjAd+{QJW69G?QuqXMhBA5#T1HF>2x1S)S@-m5P;Eg^mlY7jDmIE+7=~w8MJl
z$!1G#6ir4fcQNcq76Xy7qO7nf`AxogtR2|@Y-{SsEf*SGFsBl3I_EN<wGHd|6wxW3
zlNus|h8hqnb<Hj<sj8|9A%5P~`2?xjkF%f8l*^D>$m#N8{st3HQ?sq~O0xCxJh76Z
zN@^PNQocv>Bu0iKTn`|LOxjY}xME|{g}pk2Z-`;y^k%q1@U@W+AJdxx(|s5liF7^J
z5}arSg~bqf?l>X79zKSz>uhmBaenr<jX27Nul8_8>Qbr*?Mc=5t8$0}nL4y-!jBFc
zPCE4d6(zVG<^@5@RHdZLYfPkz<=Yf{lgkt&?wk-^mK0F`7HOc~5q;q0>}eC+!O9T6
z`?7xuowN7twJmrYB`4IJ7^TR=J<lBsc#|{4Z_vFAd<NE&+=<22On)RbmH?*aru$f%
zrgbU5Kmt_}^l$2#iHS0ZBKz>GA}oXy0~$|ElemsYQq7`Rke?NL39wIlw`jGgn+7Y5
zMyngk%ts<b_wOS-1S&ySrARpv3{%h4%_k~6=%@gwmPaL()bW@TbKqVMW0H!odGH&I
zgZQ_$aTCIr^PK*v#R`cmn=4kf4Y5CniSUa6X_9NK4X&7$6)QkiOh}<h8h#`q+J3+f
zl7Bwjn8=Z~%mPY#+yr!ujq-d2D9L_g0NXfXP4|q#yU-BF`DUNxcMrd;kDt_??#}>M
z2{D0$4C^Z(pLBf&gN1y!XAa3M$h6JgW#@1kmZJ^MPxoX<1&CGl6;ONRCy~v2{Nn6+
zk=GA*H}(?-+VDT;L+F}Oc8KJ=!6=!2jh>Km+5Y4GxZIirpPmj|SMI&nI7}jXa2#MO
z9LmOQDP3YEl~1KjQ1~w?L`GOkGUAXdWop`vygOI{ruYwJIk__QVsuiDf8UI2$wMYi
zsOjz>2AFb4FOPZEab^q%Sp@I|2)@uV;7CaAwP0{kPLYK;NpWFhuh(mf%PGj4>MsPT
zhZY$sHWKTI^EZN+LrQnQi|+xyOu2;qo;-t1osfsegua`BVm%!V9e-GUTC)Ak_0{r~
z$+g-3s*VhassLNpRM#3(g5->TjC%}}{oz3{<7_IrG}3{bOcZq72`eo=FP`<Rkpl0F
zAC2lq?0EKg#$3qi$;pSeo)K>dPovM2`9#FnidK9&f0gQjBvv;!A?ja=*$_xRL}nVj
zl8P3|5kw|)RZUfi>#aVC^=b>7dl667N*x(x)V~%mJtGmsFTrBJ-BFjne!@`Kxyo{&
z2nX#Yz1P5$W~3lmqhRk0?VwmQUG4;4bKp|i0LBEh_TI5m3vzsk<X9k=bjh<_f?2t*
zrZFp;jtjk*yN3_?Ik5Hij8QI2?FHsn|9b~HNq9>x*7C6N^`F>SJDdma^&6GXKAj3N
ziC~p{@~Q>B=)Cn3`)pnG=AqIA->VW>g6Q<c*8@5Fyt&wcC((rt@eg?hNKal^c>@Y;
z&ZgCVvOI;tP$8Fb`@f{!O$Jcw%=Hv4Ey(57z2^cM+4!(C^WPijX`zFCw=S%>EuZVx
zCjl2Iq0uC#{4gWMXl#-Tu1ofO$w`Sz55N9_t25$)7{BBJs6II|d4+emg3wDfq@WHa
zyqTC@zNFVtnW}7)bIVI4ooBU!wcm8^nM?8^?~;3_Gt0~zqQ~(n1`=aT!A)}bOz3YS
zf$M$yVe)tUUL-X|%P^|R)|Vp7>-NX%XasrD_G91avhpLSBKBX`N+j5#dwI9-Kfzop
zrR=?zHMG;3O7?SNYjXMc0`|Mfzh8()XtS<Xht_SNU>>-aDP&jm%dO<k!loa3`qp&_
zep~NJ^WCj8O^1Y&$@634kicU<H788sXW!YG;I`8#|C-ybg@R`jDX_JqddZ4F2a4#`
zT|dg{S^ZgS4-+H9X<@$;jxJHk#`2n7A*a0c^8T@+=gCDc!NS8e2BUyr^&prCjg!dE
zJq;ci4z@G#q<Kk6oC<o|Gb`0$$5!;PvO`STjQmF`rPZPXmQS4#>19$@4LPFpJ&bU9
zFq}!=@!_`o=7?+C``8W%1k25A3{Rw@)g9X~c!O}LWxoAjdm&MN&~>f<EeA5=?Bq1w
zz#f2mZG0XgXiG8?X}!?x4glm41_Qf}KzKSnplH(B<es<i&<<c#!b(a|x4O;DYkOUW
zP4LmOB9o%o_gflSd#fEEMNSfR{$LK^*i=S!^j+NAbu6X#X3ts?4&pq}bbS0eyC3BV
z`4?5HLa(5cSP#`;G)S^!yj5&R0nS=_u6X*QijEU=dZ~AQ+ACex8S(SorOB0xfN3jy
z4Sb)(oG1Z?s3<nkFu6+<vO7WTBajD`YmA~tF=xI;DJjWFJKneBZX1MGq|+ACu={YT
zOA*b3Xr?Q0zUZ*IuM$z6T7#M~?cLHJ3RMB+ErLi!H~Mp~8(wW6NhMKok1mNfG?XE6
z@M-Q>c~%zTBd(v`%Ca07y;_#~BVvc?D=SwWQ9AVL>uONdl#k4j-E4{9dOE`HkEaMs
zEuFC@M0CbEM4vq~myA_IhH`Yb>N60@2&#r)L+~l%`A0~#8i&65CEcNttN2DEGrD1#
zY_=|ZBzFK4Nu|9*tzIiIKts3En{P5pmk}M$tj}MX)yuvg*H!s;-y)<dp;Y~6pKJw(
zXam%Ir2=N6`DrlO|IK<MkF|G#TO>Y1(fj@B=D`-Ue-jj{K~L1o6-q90A7`h=w|mj)
zi|T98L8IKo3H{dZuNnDQzV^k)_o)=>qsfVCbS*x_uLLyvm-U@$bNYO*qHTPOAs4+J
zQ2wP}0$KCPo~)I(nk-L3z3BG&9v9?2R@#W&BvildW$Rjx>-_LTFE3zuk0!zPizW>4
z?yOZcN&aVwOhDc8@vv9#J8jaGna%FHS03SZIVS1>n=@*jc@i=q_2H*wmdRj`XOS&g
zk#$D>@3<Hbwwf)zYVx8U*c_EP6s~?mKJJT=1uQ%97gpi_mZ9Tech=aTkv+6Z?8#k3
zhE?0_tZlUZ777*g)M!a-Sp}!9nV%Nh-W?u?sBc6eef}_wU-8X$@7aZ}0<%^X|CoX&
zz>a;$i&yzK^Y;IQxI4C1G-iRJ+DQat6#NmdbrQYsdk9$ZwtH4T@@tXwIW++#4!`!8
zWXgWMCRSCh(Er@bpS5CqX|N2dR*U~HJ^z>8k;50V|FbNX65IlH=@A^Ad7$v;h@a7b
zrgUD!xqAD>ZV98vVkO6)n1YC7Bu0AqF6(8Tz#sbCuIl)x*N$Nv)6nngbMEv0r*ppB
zb!EYQU6g(e%*{~#9DD3>jB2s@sOng+x`&Eo_YwR)b3X}BxG1e>u(jOERNa=$V}@wk
zLjEka6u$u%9eXy-aLWpOjDlX)J|1;G{zbw<!}{%9^_>;7HS=R#()L=n)*v?5^|UsM
z>QmF=u7%Y^EJo#nvUaM-gjl(1VoHuKLSv>x#cFBv=((41yJwa6Nh0332Livn!c_R$
zQ)i5LlO<Jccr9Bh!B@`nrZjcnITqyue-@Bv&W^I$R_*wJxq<8Fgkc-CdPR+XhUA*G
zC{dAAUgwv52aBOSvAywzei-?aC{w5I^LEbOWHyx|Df*Pcbnw*-0yx4uz>%N|KKTBi
z_BW(eLK{!_cHWpO*5g|VXEebfp5^n&Piq~!x{!4#U##Y%&cXX00qmv6dR8CG2GAIT
z{K(z)p+EZtO>38{C#Zx#>Sa7npcQ$-B6zv$*iY^ybx@RM2a7r}^yL?V9*r6&!5-U*
ztfwx%(#sqSK1BIa1Dmsbx#jcg%g>LC?KE@{rM?r=>ZB!c9#7|XHQC??SbQxN1RYIR
zulS6rMq6JU3{V{FzM5nkBm5}UKW~wtEkiuxx0<j=Zf<_f^a<0zrg(SdcTMLmosd0l
zr*Q4BvW0+{_NGKb^0wU_WIek56}uW(@3FRZ;qDt)^<R!C8hl%yO&RS8yh@le#25&a
zKK9S~oV@-V=$hekTq|l`(bw8Gu8()jX%_UmB!UGk-?rujSC+2%#^7LyWaw^GU)n>D
zgFb{O8w#X2=L@4+ZTqD5#Iy%4J9(S~=oOPQDgNLG3q%0j+;MlxCNzJio{{OxSER)Y
z)@BqUu#tJX+DT#R3BkKo)gYOegYI`ZE@|ooXZW2ynqxgQ)HrC`=w=L^Tu&E#w<*bp
z%rQjxOe#zAthPhO%(uJ|Vn*ZoMJXAVXVRvW80Z=7sKps4jtps((QB|M$W>FONHbuO
zMLn9D&1ryNn||GfpM0TM$KMs7Ia(aKo-%x}#yKEWO(zvS3pJgX(QKaI`c=`!xBQoU
zPZtSVdMh7&JiLWeLhoiok&|8XynG5>sox@rPw2WS71@8<Se*p>#AHj&^_AwEs2w#g
z1z?OciU0yu=M@o!4?fH1T?@TaJmA(ga51yu*YIRR*7KZoTRxiadq4T6W|nXaY)e6}
zJAV`|zE=^2b?!{+KYIBCPbJ8JCp_qKJU-I_ESi%O?U(-W9vH5$2z+VJtsxRm6rcI(
z_f)Wd$4>>uouX(Fl6oZ#6c3}D2dwCAQ9>LXOOO&efqQsSct}Z~YZf?qg0Kv|n1x(U
zX7|pnfeC%h&{>Wg6)S1kKUyi-bI~7p>8w6)m&u-5j?u2(N@!g4Hn#b9pjJ8vg-QI0
zQI$w{`KW7W@Dug=`Dq)^4o5brOik7}+7vm10T2vKnFT}UZ2?>XDOoN-;pS_g<N%mY
ztc`omPimUV3Mfr;q6OW3n~J<bEzmhdhm^w?c_+<S8Asoj*NjesSZ%T=K4b;a2mf<j
zu@K9LmFZ>TtMjcr?A7HK@Usoe^Ioi#yqI+E2h8O`$PuglIA-syJ$lyDJ$nn(_Udj@
z+U_k~F1~j#NsSCU6TaI!RiuSJK8DZq_a|D6LG-}ykjsL{%*^N5V*ZoIVbs~vR;+9=
zN5u9ZB%!6b{yfEW$iP)bbn~f)xECo|H@=L2I&bjOQ6~kK;8bHq1eO3D=hJh@fTP@p
z*Q73on{k?$-3dEgUoLS+q>=@%t}jM5U3O;^4SD!j55EaFsD;Gs)Ka_to)f;>NaNvH
ziB<Y~;B~7L0kj4{P@okgdI4XW_19F$gwc~vr%>NX6sa!33@Frj=4i`;Wp0jg;1b(P
zC&Rxo3|6oPCN9&OY+bFs|14UE#o}Z&*v%=bt4_>#h}Z4Ix=3;qOOtfSsa2A;vJicb
zx@e8TR;&U|#u0G|i^zFpSo@o|ofbPyyq_wrj`uFp)-!HKq}bAvsmxrGV&&gr7%DZy
zd7Z#_skHKv3D+<`2*L+o)oDbL%Bs#31^^_IR~~>To?;Iku~|($4UX1U{p3Mt!1qD`
zf_7N;=4^gqN}!k5DH%ATB@Ojd@y;gKN+>5~$b}3jnp#pHB%5GjS?*rAl{hIvqV@fR
z^A`aC2bERm)JSNJ!sXQ(2^;0_y}sr2Nudfe`NFenw-haY71OZfcQ4$#>4zY{bBk**
z->2kPg~~*t_z52USTOFoXV#+Mr*nEBmpEZ+SFR~k_S<}~Zzf0fbVzY*SNjAgrGrX4
zqNC+8_6A<Ao^LknwC0$1ck1UQ=6R&IePd3nOy>Fd3M8|Le}2WM67lZ!tfrz4XeN>h
z#_%yF^F9u-Da=mjy;5}uf2%&8P>G#g4t>`dGnt?pTK+_k$BcAFV;_&d2bJ)}Nput<
z6!T<wJN}MF1??w<FCT-YRn@(tunv65%R_j(5n3S`e#xX;?uO7u=?6QW8YJ5IE_S4o
zMiSRGfc<eSax$|K^qQZ2M|;A<E=xmSn|kFeU4a#Ybf?ZjNadRG$@~gIv?EG{*PP3w
z*^teYW+(*LzUs2kay7db*}z%urJJV-IgauJ8f~nX-SLEo?jtr}FCmS=79buvFAa?Q
z(W2^)bq_WNX&@Hzy?bC;-qrSXCpV$>?Bay!a)m50WBf-yfFr9N(DzwJ-IgV7GBFr#
ztDay~M&mF8JJR83*^C*<CvLagR5#g{W=7tM{tT1$&LItu6G!-HF8*2hunueaX{U)r
z{eaDi;Ym*hjEs~bqesStfjKF7QK}{Q$b2Tt-;mMOu-}{0q%Gj%mF+BPM#VEr5tPox
zJj^^H8l_1#)R!;_g#WRuuL)EGh1Pplyd}snJ2}U#>d50W^S-VkIld-*qfJ-9e^iM-
zHhW~)MrRdH@Zd)Ln6*(!lEhGOJCPQ9fhRUJBp~4SBDnh&kn$&j!T*Z!fF1MCYD3)r
zvbR6`BmVU?U>GbZQc3<lD6`+;8{|9;^|x5^|4B@#RL2p!OEw}sOe2d6e5{SsnWhEO
z#!<bPnq((@2ak=LO19c<LQ8MH1aIsQHSG10j_m1QMBB7Y4>XZgC)q?m?P}WHdrk`K
z<}R7NPjyF#h~;HO7TZu4^LK9aA6`~3)&z4;72_N@9!&Dm20mXs-E2t5+;Y{S&GQ?x
zw|M?U>B*npQ3Cz+_H`ta`76BtwKQ^2&b8aKjhQN!mqT97bBmu7Sssix``Lk1thidF
zWpKB1$FGEWkoc1w=5z<4!o^4xT|_sAfv=;s(=x%bsgv8b5RSgbVS@1r^M{7s^vn6K
z#SNvXYBzk5=t8@?n|E0kzh;-qOKsC=NzJ}g4d*ciUq3i<s6Om5pp*tV)!-6p*;-F%
zX_MwV=g%U2Du5KYTyJ;kxCOPgAQQD~?E_mz?@lA$1i8H$+Z=uZFU*<XeE1u!+dc<4
z&XS-QQ5Ho#kuNUUnr@bsSzATcf8z<bZN@i`O^7F!U@UhD4IE!eQj??Aq`D|n>q)<O
zzrPjlIE9%XytfnOu&dvI`I{tF>mnB$X|z9X_*RRjk60pfZn*_zxDrfubBzMIX6<WQ
zD^Q&4u{|y?#cB_Mbe^iH{NNPktE95OYPOZfgCgr`9P_7c!=;N;aivuWl`80=`c6-w
z8!4f!O^LIl8ak$1+!BDcHi0&IgLbLST>aC;_+;djgF0r3=<jnlJE_BhqIqqR?dKb{
z#hsgz6E@2(@kM_>5p04?z?;Q@L(wK~vajrhs#q5L^5@aVQ(a-q-+3M#z9@6p5YBX;
zSnd^W&DtU-ne#j^CMH4~fcUJVSO_`F2pH}(9U5@;TpYHkv<+{ukYP6eS{SVI8i)GL
zOfR?Y`h<i!h+NS0a`h-K4l-h49I$XWKrhES+ltp`N!pmoJ8&0!_6(=c#s)$VA}~-o
z=e@m?s>VO<k*_(oosf}>c&=0HiIrGPxMnD|=}wm<D8CPs6IB6upP#(9@1S~Ms}nC-
zBDtM4w(2blcu*0MoP@o#*?j<Y8e)*t<y>N`TrSP2GHr~!1@){EfBT9|fQzs6SZ-}8
zeN@?S^UoT_3XN(xPMT|MA$DJL|J>CtkZ&5DbGvqCEf(z=2D_(w(asqHl-3^k`trOD
zUjVKH{;9(mMj}?l$yr4xmb6J}#R;0r0IxfAB}BGWry-p{bK1Jfv6Yz?F+Q^>s+pm~
zb31)K<c*;U`gnA+NbitE)b6soXvmGjj((<d@5r6&_;U$mC1U5~pwCo!FLhq&J157P
z94BdxR8L6RXpf*znz{4{>-7B!jwIYtw0XsrVjS+09h)WfxMLN<&A&x1@u6U1-DB>$
zv~-|XnK`3WXW$01bJBdXb#dd?f8kkD3M<BlJo`=TGn)CG5(S1iTDrONE2e_YevNPA
zM-JXg+n$Aq#~<_S0HjQ~)@zH!mcQYC_s%=XA9`vKUM|-eRk{X^jtgb|^f1GEUyNU5
zzaNQmQs8Pm9(JT_&_lurq*_>8eZRX`9_^7f(N*ra^^@6N3t4yML&JlHleDLT2zsW~
zA8F1A?n;QEXs5P_YLx^%kE21bF569RxbMsBNSQj&w|XHzS&1s)bsV%eTQ9C?N%t&1
z(d8;_$>h}W+!f`OTkz&RBr#})h}gT-?>N+y2L}UnSg1lSmseZAc4mfh3ZUook-n=0
z+L!%;r>RXjH6y3o8u_hKSXif34T8Vs%KWD}svXw7vM;9i{6s|BX!lP~Lec%F$4fSs
zyN<R8IL%ue20ig+>Nr0|L<ar*$k3Fg%+TGfy2piZ7eZz{w!3&rPFFI*LIjF{g79c}
z2{q}(V4e3ON03)&Tk|&`mEZm4Ri<eI1Q+W0pZ$qma$8xKwj;;1NWLTWLiU<ywB#IE
z;r<p;OgpCZ>5+#i2kk?;^E?!^eKbmYU5KIqPx5_gT-TY#nZwbprKO<($uD_v<(wU#
z6Q1l|iIogYrL`Z#wC7za^B<D`AWg}<seNBVs?S=F*?B^-?rWXV{I!|Qcn)!6u2gUw
zkCCCSuuj#v3DFaM1A%$E8ZjeA1Tro~2wBeVD7vWEJX~qFol)rzevOTN_Z=mh(V^ut
zp{5RnlZQO$1S)>5>qUYL>DAdwRvZlJ0jhhIu;5JC#+=M*gxi*pmbcKS$r>yg7VSIp
z=_0UjTD@mN!sYwOS(!K_WPMkoi@##13!o`)!t==spi><Z5!QNyxOWY+94ip-KQYwj
z#0*Z?2*vz5=(Ma&DG--%|4mO~&eA4r0n}NlU4w=pU9(_OY>(IQ(~F*ysVp0<334K2
zFCLp6{LwdKuA6gY1S-snQo1Az=_b$OF3}JkQ6dJt4n_eFBI_lh9B-^qcR0O@!%%l_
z_u*9TnP1amgvIV)Mj;{JS3=g)<_M?)qgX|1j9M7vSKJ6Rt2^|+N@VO!Fz8EP{a|{^
zmACK`LH~P0OIvg<#6P*s{PRUB>?@Mu{g}KyZvWoFA1zm#1_dwkUmlc(n}y3o`R8uQ
zF}-$@{QcEcNGCiOGzm&X60jD~<e9b9mF^IVNUl<uIw8oHxnzYi?vb^cyR}uid{B$Z
zkk0ksqOkPKTJ@P}rvx%DFG^(C9Y!0QXF?vE)7k9gS6r-jp7RqjvrwyMqJFC-W6)`E
zcNxAbAK<vr!}=A+)PpWP?|n2@P5zIPd=qc)z(BP<E-V6-sm4TB%YnVngak*UPRue{
zg&0QN%#dZ0XOYY@uEn>H{h8FLdJz1XOSA+a+8TVDsz%a7NhZy1c-0if4I3|@^D{wx
z#29H<km1BBWgiw)ckMFyJd#PUN8();kCRfG$j$HUH+^v{h|H<FVrCvs+}(d~qCL*#
zs?-;9i3z1660z~_(nyWQhd-5;=(Ia^&=-XSR7(~EA!~G}Z!<Mu+s03L?Zs}?au)b>
zUBU-rIjbBDtFzylH8!t~Mv)zr+^1E^4k!#O-AQ~0S|9ODlLwwHI#R8#npgkFex>)k
z>l%_8N(dkHN0f8(+uFj>st>h|U-90QvGrb`5%N{r7l-VZZbCK03zRMDKq)~#^(T^O
z`9(-p^}tg+sCS6V_@i=D<Inf@y0D8ZL*0l69mr~rPD-O@D-#XZ`W1_Dql5F&hFBZ#
zDpLqxkVZM&8Q>MFV`ins@@Zuh&p@{M!kD9?<c4ulN;ir~->~*-aI%84;gg!=cC$X+
zm;AG|dDf<ZH}|0}Sdb|<t4?7$`_Ne2g6uJk@qI?nPO(qRaa7CsT<2c~pJC57s<RK>
zxpJ`{LGop{Be`Uvd|mS#==617*&7To?H^6r;Jv3kZy;1wh6qY7laKyr8BP;4*6<Z6
zC8+W9^T}&lKYqBa6~Hbi4`nBC{>dHViu<>~$}P45QJ=Hvwvc{D2HjcCHgVk$J@7!@
z=i>>Uf|;uQfIgSKi$d^xfQSZ}AV<TyFzMbQeR0(Zo5OZO1ut@-GH>hG+`!aT*i6UR
zjjwS097}NRmD9ptH^K`D#DAtWa)gg)jYvY`nM7IwT@FbC=j2obo00sT&Xt0y@7(rs
zySU%w`vaaE7x8^XIMO;PIX+xyewQo$;v&>ay!tuTN29aTRk7B|pSz=uOh?2R<DKt6
zt1j2YL2er+?Dgvsw$>oTXS&sP5#jmv-sx`wLK%Ydm7RwDe|(eDjx6U|X6L_?z~D-j
zlSJf0{^`QLU4#3Cb}=lROxIGt%TuCMJn*z0DGnJT<IeNE|D_E}>(BEG-)Z;FY+m{k
zfsX}+V`C$vt5Wa?4!SFu|2oSC{tD5qUq53Hmw(WbI^A+gxtW9-%C#gLamvGmjk%mu
z`DBi_YFW1Cbr&wiTOW%ZcgBQE6fU$#ko>ld5rP>k=U!~NJH6lZ|C|$3=4{l7(4V<B
z)Af*sIsIEXANO-^V%L=K63X8UskGT1eWf#TL}WT&rK;ZbE<3)LK0G=4a1I!aW+Aqe
zi_xeHzl%^64qM3}e8iaBLf<#j;;!EzQqx8TZ90v3K#m@ykOld!YQC+YMK)<OF+ME~
zaf!r0)sFW}L3=`*DNLp^5{s|ujRm->)ZUcdW_+DEX+8YN@lJiS(_}9M&JV6fq4K(7
z^c6>Y->-MK+k|TVR=WS|@FDtU*EjbLOS5{Cc<bM)bxk%TR-}<B%C}nVtCv+(1U5#Z
zPwWlJvOO%7&3aEvV4<b;OsHzXMF2nhIn5&m`7e2RW=Cpw74OhsQ<nOdG<gL|7Qdg&
z3x2RSf}{s!?jDx;@R?_twC;zR$Lohv1qEBazP^JWeY{F8WL>$u6W+F<;*IsEw7Xdg
znZ3%%E*XWE#0SFT6i60=#EPSdgp~bK?PEwO8Kw4CO|GM&$~(4o9P*H6@xPDu7+Dl>
z66ko43wwT>&r`#wY}O#9RkoS^THK~V!R4cUhHcnVT`v<8#Dp90JzFAqn9iq49+J71
zYdA%!6DQ!|dN;hn%JNas#As`g&>SCTLDs=jKhQP|Fz+^NHorBn;kRNE?3Y(w!yh@>
znU!o;Lu@1^?J4IwVCxU&_@L%=aNOY#|6#%XTPi<>>$ydSzhGWMbJ%?EBXLvAyzIP_
zHbeHImXf0_cJm?BY>_j>^C$?aI15W^(gJC3s?6PI_SOuCJ_kxkfjUF+Ual-1mrSkb
zHmga_DM9q2iXOrbI2&SKSK-G!csu$%>p3IT{m7aUA>{mF3U{ETqNwnl*$vC>V1Iwd
zi=WS<XwUh5D_y_lXGrjD_dze8&5*W}B_zbZX6`swm8tVL?cjPR8axvUuh@kTR0|P1
z7!eNySP7gaKi!TAk%%NYnUd3^_$s3X(9cB`UZ3|Z!)b|{(wR7mr>fd^ihLr_a?QO<
zc$ZMk#Ho#?={x8q@922{tyFFpC$lTojffw4f<BAeC&|34=AD%7xQ>ygsupzHzvE7(
z6CSpBzSE7*%Jyx4$DkV2zMqC<Cn4|v-XFndP)x+9gI2Yoqb}Ood4FQ~-~YLNlN9$F
zMPMzL(dFOq{|+(2xl6U7jo84%06)vWPvNKJM-9s~Rj%i#`QJVTZwMbz21H4h^<@7^
z=x#6n|GdagL4jyTH#g82W2A5MCy9k*RH2TCD>~P`#AbK@6yj8ra`#j;=98gi*?Hj5
Q9q><1T3M<@!YJT>0Wham)Bpeg

diff --git a/docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.svg b/docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.svg
new file mode 100644
index 000000000..0c0a98b3d
--- /dev/null
+++ b/docs/source/manual/fpga_verilog/figures/verilog_testbench_hierarchy.svg
@@ -0,0 +1,79 @@
+<?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 xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xl="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" version="1.1" viewBox="431.5 490.76 825.4 232.21968" width="825.4" height="232.21968">
+  <defs>
+    <font-face font-family="Times New Roman" font-size="16" panose-1="2 2 8 3 7 5 5 2 3 4" units-per-em="1000" underline-position="-108.88672" underline-thickness="95.21484" slope="0" x-height="456.54297" cap-height="662.1094" ascent="891.1133" descent="-216.3086" font-weight="700">
+      <font-face-src>
+        <font-face-name name="TimesNewRomanPS-BoldMT"/>
+      </font-face-src>
+    </font-face>
+    <marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" stroke-linejoin="miter" stroke-miterlimit="10" viewBox="-1 -3 7 6" markerWidth="7" markerHeight="6" color="black">
+      <g>
+        <path d="M 4.8 0 L 0 -1.8 L 0 1.8 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/>
+      </g>
+    </marker>
+  </defs>
+  <metadata> Produced by OmniGraffle 7.18.5\n2021-06-29 21:32:37 +0000</metadata>
+  <g id="Canvas_1" fill="none" fill-opacity="1" stroke="none" stroke-opacity="1" stroke-dasharray="none">
+    <title>Canvas 1</title>
+    <g id="Canvas_1_Layer_1">
+      <title>Layer 1</title>
+      <g id="Graphic_1010">
+        <rect x="803.52" y="560.16" width="452.88" height="162.31968" fill="#c0ffff"/>
+        <rect x="803.52" y="560.16" width="452.88" height="162.31968" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
+      </g>
+      <g id="Graphic_1009">
+        <rect x="432" y="560.16" width="371.52" height="162.31968" fill="#c0ffc0"/>
+        <rect x="432" y="560.16" width="371.52" height="162.31968" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
+      </g>
+      <g id="Graphic_1003">
+        <path d="M 952.6 504.96896 C 952.6 500.7402 949.271 500.21704 924.9542 496.03204 L 924.6973 495.98874 C 900.252 491.76 899.9977 491.76 874.9102 491.76 C 841.5057 491.76 690.48 491.76 690.48 491.76 L 690.48 536.4 L 952.6 536.4 L 952.6 504.96896 Z" fill="white"/>
+        <path d="M 952.6 504.96896 C 952.6 500.7402 949.271 500.21704 924.9542 496.03204 L 924.6973 495.98874 C 900.252 491.76 899.9977 491.76 874.9102 491.76 C 841.5057 491.76 690.48 491.76 690.48 491.76 L 690.48 536.4 L 952.6 536.4 L 952.6 504.96896 Z M 952.6 504.7511 C 952.6 500.7402 952.3431 500.7402 899.9977 500.7402 L 899.9977 500.7402 C 899.9977 491.80374 899.9977 491.76 876.4463 491.76" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(695.48 505.24014)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="14.048279" y="14">&lt;bench_name&gt;_include_netlist.v</tspan>
+        </text>
+      </g>
+      <g id="Graphic_1005">
+        <path d="M 708.52 593.9512 C 708.52 588.6653 705.1911 588.0113 680.8742 582.78005 L 680.6173 582.7259 C 656.172 577.44 655.91774 577.44 630.83024 577.44 C 597.4257 577.44 446.4 577.44 446.4 577.44 L 446.4 633.24 L 708.52 633.24 L 708.52 593.9512 Z" fill="white"/>
+        <path d="M 708.52 593.9512 C 708.52 588.6653 705.1911 588.0113 680.8742 582.78005 L 680.6173 582.7259 C 656.172 577.44 655.91774 577.44 630.83024 577.44 C 597.4257 577.44 446.4 577.44 446.4 577.44 L 446.4 633.24 L 708.52 633.24 L 708.52 593.9512 Z M 708.52 593.6789 C 708.52 588.6653 708.2631 588.6653 655.91774 588.6653 L 655.91774 588.6653 C 655.91774 577.4947 655.91774 577.44 632.36626 577.44" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(451.4 596.50014)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="2.9389038" y="14">&lt;bench_name&gt;_autocheck_top_tb.v</tspan>
+        </text>
+      </g>
+      <g id="Graphic_1006">
+        <path d="M 1243.82 590.64896 C 1243.82 586.4202 1239.8924 585.897 1211.2023 581.71203 L 1210.8992 581.6687 C 1182.0577 577.44 1181.7577 577.44 1152.1584 577.44 C 1112.7463 577.44 934.56 577.44 934.56 577.44 L 934.56 622.08 L 1243.82 622.08 L 1243.82 590.64896 Z" fill="white"/>
+        <path d="M 1243.82 590.64896 C 1243.82 586.4202 1239.8924 585.897 1211.2023 581.71203 L 1210.8992 581.6687 C 1182.0577 577.44 1181.7577 577.44 1152.1584 577.44 C 1112.7463 577.44 934.56 577.44 934.56 577.44 L 934.56 622.08 L 1243.82 622.08 L 1243.82 590.64896 Z M 1243.82 590.4311 C 1243.82 586.4202 1243.5169 586.4202 1181.7577 586.4202 L 1181.7577 586.4202 C 1181.7577 577.4837 1181.7577 577.44 1153.9707 577.44" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(939.56 590.92014)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="6.958115" y="14">&lt;bench_name&gt;_formal_random_top_tb.v</tspan>
+        </text>
+      </g>
+      <g id="Graphic_1007">
+        <path d="M 1243.82 663.369 C 1243.82 659.1402 1239.8924 658.617 1211.2023 654.432 L 1210.8992 654.3887 C 1182.0577 650.16 1181.7577 650.16 1152.1584 650.16 C 1112.7463 650.16 934.56 650.16 934.56 650.16 L 934.56 694.8 L 1243.82 694.8 L 1243.82 663.369 Z" fill="white"/>
+        <path d="M 1243.82 663.369 C 1243.82 659.1402 1239.8924 658.617 1211.2023 654.432 L 1210.8992 654.3887 C 1182.0577 650.16 1181.7577 650.16 1152.1584 650.16 C 1112.7463 650.16 934.56 650.16 934.56 650.16 L 934.56 694.8 L 1243.82 694.8 L 1243.82 663.369 Z M 1243.82 663.1511 C 1243.82 659.1402 1243.5169 659.1402 1181.7577 659.1402 L 1181.7577 659.1402 C 1181.7577 650.2037 1181.7577 650.16 1153.9707 650.16" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+        <text transform="translate(939.56 663.64014)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="6.087021" y="14">&lt;bench_name&gt;_top_formal_verification.v</tspan>
+        </text>
+      </g>
+      <g id="Line_1014">
+        <line x1="1089.19" y1="623.08" x2="1089.19" y2="636.26" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_1015">
+        <path d="M 821.54 537.4 L 821.54 547.4 L 821.9559 551.732 L 577.46 551.732 L 577.46 563.54" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Line_1016">
+        <path d="M 821.54 537.4 L 821.54 547.4 L 821.9559 551.732 L 1089.19 551.732 L 1089.19 563.54" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="2"/>
+      </g>
+      <g id="Graphic_1017">
+        <text transform="translate(437 699.8)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="15.537342" y="14">Full testbench</tspan>
+        </text>
+      </g>
+      <g id="Graphic_1018">
+        <text transform="translate(808.52 682.1203)" fill="black">
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="7.334217" y="14">Formal-oriented </tspan>
+          <tspan font-family="Times New Roman" font-size="16" font-weight="700" fill="black" x="31.318592" y="31.679688">testbench</tspan>
+        </text>
+      </g>
+    </g>
+  </g>
+</svg>
diff --git a/docs/source/manual/fpga_verilog/testbench.rst b/docs/source/manual/fpga_verilog/testbench.rst
index addf4496f..6b434e0fb 100644
--- a/docs/source/manual/fpga_verilog/testbench.rst
+++ b/docs/source/manual/fpga_verilog/testbench.rst
@@ -58,8 +58,8 @@ Inside the directory, the Verilog testbenches are organized as illustrated in :n
 
 .. _fig_verilog_testbench_hierarchy:
 
-.. figure:: ./figures/verilog_testbench_hierarchy.png
-   :scale: 90%
+.. figure:: ./figures/verilog_testbench_hierarchy.svg
+   :scale: 100%
 
    Hierarchy of Verilog testbenches for a FPGA fabric implemented with an application
 
@@ -73,21 +73,6 @@ Inside the directory, the Verilog testbenches are organized as illustrated in :n
 
    .. note:: Fabric Verilog netlists are included in this file.
 
-.. option:: define_simulation.v
-
-   This file includes pre-processing flags required by the testbenches, to smooth HDL simulation.
-   It will include the folliwng pre-procesing flags:
-  
-   - ```define AUTOCHECK_SIMULATION`` When enabled, testbench will include self-testing features. The FPGA and user's RTL design (simulate using an HDL simulator) are driven by the same input stimuli, and any mismatch on their outputs will raise an error flag.
-
-   .. note:: OpenFPGA always enable the self-testing feature. Users can disable it by commenting out the associated line in the ``define_simulation.v``.
-
-   - ```define ENABLE_FORMAL_VERFICATION`` When enabled, the ``<bench_name>_include_netlist.v`` will include the pre-configured FPGA netlist for formal verification usage. This flag is added when ``--print_formal_verification_top_netlist`` option is enabled when calling the ``write_verilog_testbench`` command. 
-
-   - ```define ENABLE_FORMAL_SIMULATION`` When enabled, the ``<bench_name>_include_netlist.v`` will include the testbench netlist for formal-oriented simulation. This flag is added when ``--print_preconfig_top_testbench`` option is enabled when calling the ``write_verilog_testbench`` command. 
-
-   .. note:: To run full testbenches, both flags ``ENABLE_FORMAL_VERIFICATION`` and ``ENABLE_FORMAL_SIMULATION`` must be disabled!
-   
 .. option:: <bench_name>_autocheck_top_tb.v
 
   This is the netlist for full testbench.
diff --git a/docs/source/manual/openfpga_shell/openfpga_commands/fpga_verilog_commands.rst b/docs/source/manual/openfpga_shell/openfpga_commands/fpga_verilog_commands.rst
index d8e254a3e..e927d7b2c 100644
--- a/docs/source/manual/openfpga_shell/openfpga_commands/fpga_verilog_commands.rst
+++ b/docs/source/manual/openfpga_shell/openfpga_commands/fpga_verilog_commands.rst
@@ -51,7 +51,9 @@ write_full_testbench
 
   .. option:: --reference_benchmark_file_path <string>
 
-    Must specify the reference benchmark Verilog file if you want to output any testbenches. For example, ``--reference_benchmark_file_path /temp/benchmark/counter_post_synthesis.v``
+    Specify the reference benchmark Verilog file if you want to output any self-checking testbench. For example, ``--reference_benchmark_file_path /temp/benchmark/counter_post_synthesis.v``
+   
+    .. note:: If not specified, the testbench will not include any self-checking feature!
 
   .. option:: --pin_constraints_file <string> or -pcf <string>
 
@@ -150,7 +152,9 @@ write_preconfigured_testbench
 
   .. option:: --reference_benchmark_file_path <string>
 
-    Must specify the reference benchmark Verilog file if you want to output any testbenches. For example, ``--reference_benchmark_file_path /temp/benchmark/counter_post_synthesis.v``
+    Specify the reference benchmark Verilog file if you want to output any self-checking testbench. For example, ``--reference_benchmark_file_path /temp/benchmark/counter_post_synthesis.v``
+
+    .. note:: If not specified, the testbench will not include any self-checking feature!
 
   .. option:: --pin_constraints_file <string> or -pcf <string>