From 8eebf53b606957bcee2fc7d3b883558684f84060 Mon Sep 17 00:00:00 2001
From: minjaesong <alswo9628@gmail.com>
Date: Thu, 29 Sep 2022 21:28:58 +0900
Subject: [PATCH] doc update

---
 doc/implementation.tex | 129 +++++++++++++++++++++++++++++++----------
 doc/tsvmcp.png         | Bin 28786 -> 28797 bytes
 doc/tsvmman.idx        |  29 ---------
 doc/tsvmman.ilg        |   6 --
 doc/tsvmman.ind        |  62 --------------------
 doc/tsvmman.tex        |   1 +
 doc/tvdos.tex          |  12 ++--
 7 files changed, 103 insertions(+), 136 deletions(-)
 delete mode 100644 doc/tsvmman.idx
 delete mode 100644 doc/tsvmman.ilg
 delete mode 100644 doc/tsvmman.ind

diff --git a/doc/implementation.tex b/doc/implementation.tex
index 8bbb0f2..b924977 100644
--- a/doc/implementation.tex
+++ b/doc/implementation.tex
@@ -244,7 +244,7 @@ if (0 == status){
 
 \section{Communication MMIO and How It Actually Works}
 
-\index{MMIO-com}The status flags and transfer/receive blocks are memory-mapped to these address:
+\index{MMIO-com}\label{comm-mmio}The status flags and transfer/receive blocks are memory-mapped to these address:
 \footnote{RW stands for read-write status. RW means both reading and writing is posseble, RO means it's read-only}
 
 
@@ -538,6 +538,41 @@ The MMIO Area is further divided as shown:
 \draw(3,0.5) node[anchor=mid] {\memlabel{MMIO for Peripheral \#7}};
 \end{tikzpicture}
 
+
+\section{MMIO for Main Hardwares}
+
+Some internal hardwares are memory-mapped and can be controled by poking and peeking.
+
+Multibyte values are stored in Little Endian.
+
+\index{main hardware memory mapping}
+\begin{tabulary}{\textwidth}{rcL}
+Address & RW & Description \\
+\hline
+-1..-32 & RO & Raw Keyboard Input Buffer (raw means the values are not shifted around) \\
+-33..-34 & RO & Mouse X Pos (latched by -40) \\
+-35..-36 & RO & Mouse Y Pos (latched by -40) \\
+-37 & RO & Mouse Button Down (1 if True) \\
+-38 & RW & The head key on the Keyboard Input Buffer \\
+-39 & RW & Text Input Stream control. Write nonzero value to open it. The Keyboard Input Buffer will be cleared whenever the Input Stream is opened. \\
+-40 & WO & Latch Keyboard and Mouse input \\
+-41..-48 & RO & List of pressed keys (latched by -40) \\
+-49 & RO & System Flags A (code{0b r000 000t}, where r: RESET button held, t: STOP button held) \\
+-50..-52 & RO & Unused System Flags \\
+-65..-68 & RO & Size of the Scratchpad Memory \\
+-69 & WO & Counter Latch (\code{0b01}--Uptime, \code{0b10}--RTC) \\
+-73..-80 & RO & System Uptime in nanoseconds (latched by -69) \\
+-81..-88 & RO & RTC in nanoseconds (latched by -69) \\
+-89 & RW & ROM Mapping \\
+-1025..-2048 & RW & Reserved for the integrated peripherals \\
+-4077..-20480 & $ \ast $ & See \ref{comm-mmio} \\
+-65537..-131072 & RO & Contents in the mapped ROM
+\end{tabulary}
+
+
+
+
+
 \chapter{Text and Graphics Display}
 
 TODO: Textbuf, pixelbuf, graphics mode, chart of the draw order
@@ -548,8 +583,38 @@ While the graphics adapters can be plugged into any peripheral slot, it is highl
 
 \index{text buffer}The reference text buffer stores 80 columns, 32 rows of characters and 256 foreground and background colours are assigned separately for each character cell.
 
-Text buffer is memory-mapped to the following address offset:
+\subsection{Escape Sequences}
 
+\newcommand{\csi}{{\condensedfont{CSI}}}
+
+Printing out certain sequences of string can invoke special functions on the graphics, and such sequneces are called Escape Sequences.
+
+For the following chart, please interpret \csi\ as \code{\rs{}x1B [}.
+
+\begin{tabulary}{\textwidth}{lL}
+Sequence & Description \\
+\hline
+\csi\ \emph{n} A & Moves the cursor up by \emph{n} (default \code{1}) \\
+\csi\ \emph{n} B & Moves the cursor down by \emph{n} (default \code{1}) \\
+\csi\ \emph{n} C & Moves the cursor right by \emph{n} (default \code{1}) \\
+\csi\ \emph{n} D & Moves the cursor left by \emph{n (default \code{1})} \\
+\csi\ \emph{n} E & Moves the cursor to the beginning of the line \emph{n} (default \code{1}) lines down \\
+\csi\ \emph{n} F & Moves the cursor to the beginning of the line \emph{n} (default \code{1}) lines up \\
+\csi\ \emph{n} G & Moves the cursor to the \emph{n}th (default \code{1}) column \\
+\csi\ \emph{n} ; \emph{m} H & Moves the cursor to \emph{n}th row, \emph{m}th column \\
+\csi\ 2 J & Clears the entire text buffer \\
+\csi\ \emph{n} S & Scoll the entire page up by \emph{n} (default \code{1}) lines \\
+\csi\ \emph{n} T & Scoll the entire page down by \emph{n} (default \code{1}) lines \\
+\csi\ m & Resets the text attributes to the default status \\
+\csi\ 7 m & Inverts the text by swapping the foreground and background colour \\
+\csi\ 30-37 m & Changes the foreground colour. 30--Black, 31--Red, 32--Green, 33--Yellow, 34--Blue, 35--Magenta, 36--Cyan, 37--White \\
+\csi\ 40-47 m & Changes the background colour. 40--Black, 41--Red, 42--Green, 43--Yellow, 44--Blue, 45--Magenta, 46--Cyan, 47--White \\
+\csi\ 38 ; 5 ; \emph{col} m & Changes the foreground colour using the Colour Palette \\
+\csi\ 48 ; 5 ; \emph{col} m & Changes the foreground colour using the Colour Palette \\
+\csi\ ? 25 h & Shows the text cursor \\
+\csi\ ? 25 l & Hides the text cursor \\
+{\condensedfont{\rs{}x84} \emph{charcode}} u & Prints out the symbol corresponds to the given charcode
+\end{tabulary}
 
 \subsection{Code Page}
 \label{codepage}
@@ -886,35 +951,35 @@ TODO
 Multibyte values are stored in Little Endian.
 
 \index{graphics adapter memory mapping}
-\begin{tabulary}{\textwidth}{rL}
-Address & Description \\
+\begin{tabulary}{\textwidth}{rcL}
+Address & RW & Description \\
 \hline
--131073..-131074 & Framebuffer Width \\
--131075..-131076 & Framebuffer Height \\
--131077 & Text Columns \\
--131078 & Text Rows \\
--131079 & Text Mode Attributes \\
--131080 & Graphics Mode Attributes \\
--131081 & Last Used Colour for the Framebuffer \\
--131082 & Text Foreground Colour \\
--131083 & Text Background Colour \\
--131084 & Number of Graphics Memory Banks (1--4) \\
--131085 & Current Graphics Mode \\
--131086 & Current Layer Arrangement Index \\
--131087..-131088 & Framebuffer Horizontal Scroll \\
--131089..-131090 & Framebuffer Vertical Scroll \\
--132097..-131120 & Scanline Offsets \\
--1048577..-1299456 & First Framebuffer \\
--1299457 & Screen Background RED \\
--1299458 & Screen Background GREEN \\
--1299459 & Screen Background BLUE \\
--1299460 & Command \\
--1299461..-1299472 & Command Arguments \\
--1300607..-1302526 & Font ROM Mapping Area \\
--1302527..-1302528 & Text Cursor Position in $row \times 80 + col$ \\
--1302529..-1305088 & Text Foreground Colours \\
--1305089..-1307648 & Text Background Colours \\
--1307649..-1310208 & Text Buffer \\
--1310209..-1310720 & Palettes in This Pattern: {\ttfamily 0b RRRR GGGG; 0b BBBB AAAA} \\
--1310721..-1561600 & Second Framebuffer \\
+-131073..-131074 & RO & Framebuffer Width \\
+-131075..-131076 & RO & Framebuffer Height \\
+-131077 & RO & Text Columns \\
+-131078 & RO & Text Rows \\
+-131079 & RW & Text Mode Attributes \\
+-131080 & RW & Graphics Mode Attributes \\
+-131081 & RO & Last Used Colour for the Framebuffer \\
+-131082 & RW & Text Foreground Colour \\
+-131083 & RW & Text Background Colour \\
+-131084 & RO & Number of Graphics Memory Banks (1--4) \\
+-131085 & RW & Current Graphics Mode \\
+-131086 & RW & Current Layer Arrangement Index \\
+-131087..-131088 & RW & Framebuffer Horizontal Scroll \\
+-131089..-131090 & RW & Framebuffer Vertical Scroll \\
+-132097..-131120 & RW & Scanline Offsets \\
+-1048577..-1299456 & RW & First Framebuffer \\
+-1299457 & RW & Screen Background RED \\
+-1299458 & RW & Screen Background GREEN \\
+-1299459 & RW & Screen Background BLUE \\
+-1299460 & RW & Command \\
+-1299461..-1299472 & RW & Command Arguments \\
+-1300607..-1302526 & RW & Font ROM Mapping Area \\
+-1302527..-1302528 & RW & Text Cursor Position in $row \times 80 + col$ \\
+-1302529..-1305088 & RW & Text Foreground Colours \\
+-1305089..-1307648 & RW & Text Background Colours \\
+-1307649..-1310208 & RW & Text Buffer \\
+-1310209..-1310720 & RW & Palettes in This Pattern: {\ttfamily 0b RRRR GGGG; 0b BBBB AAAA} \\
+-1310721..-1561600 & RW & Second Framebuffer \\
 \end{tabulary}
diff --git a/doc/tsvmcp.png b/doc/tsvmcp.png
index 42fac240bcf935f702f66b7d6c17b93afa5f4a98..445b1d71f83100e18fa964a5ce83fcb61a112464 100644
GIT binary patch
literal 28797
zcmd^o3se)=y8kFDwt9@c_EfD(e4JZrwSuJ<70K9Y#XeJOExs_Qt*KH4iy9%x4B7{_
zM~zl3T7;ZxEfs}m5qU`_K1x&|sYM9LBPfyx0RkC9GRZvtdq|Xf*Wyg<Io@;bUH@6?
z8Z%+f-uwH$-}l~p{ocFbe|qxSCm{&>(;JHxybnSCvFzW$gTN;*$czgis9)@c`Sah~
zux=d$J%3=^fzY@7UVZvYY{7pDj!*eu__;+-{dzg^`Q6JlO#6Mn6N@kX{LU}&PgH+Y
z{m%ZVsa4AcKXZJq>N5Jb%&61j2Y)kuZ4<AfV$m||k$JnWE?;le9-W<hG`L~t$203T
z1`G^~2%2;$Q8J~Vbz9Nz#ZctiH^-DuTld`9VVzcIf%b=%RFU0<imu!|uxQ1zvsQdL
z`Q<Cq1`CHIRSx;;?xs5dFOGO?F#id~k<aGci9V^FN*<pTd58C_>9voZIhK(g5~=N+
zQ~A<Q)8|fWEzf>EGa+Ex2+2#ivjTHOCg_=`b`9wGkMwKLE`QQ_()5??V)adtacq3&
zC$^C1*L*YSorM=C9e?Iz^!pp%?D|o*{LL2}Sp14po#)<^NT3yIo80o@s|w$%Ki6hm
zS2JBXuYANR(?<H@y_bn8u6N(T$L$i2(5W`AknyHp_?z|S?xW{Kr{4G}`0%dW;QM=C
zbG&$7^}#P0S#d6C$Qav#kh3T>{}*Gn%Wv}ApNvgjGJO;v!4t8Imd8O5Zw>pm-_LOR
z1_&Aty|Lic4|d#ct-G_?@_he+4J9|Mt>TU)*@qXNUOMre{3j-i?Qpz-pUC*V`?Edo
zn0CL{qJXEJIArU{ae@)S6~$*}4Dj4Sqo2<6-c9(wb2n_hW^$yV!tTQ7{^>ZmUrFAZ
z4Bty)|0O2C?7!D};D)Gs1rCkv=ULus&-Zb6$aN)X+SALX@I?B3D*Mr<O#NT1@-W-M
zo&nhrt_u;{L4MB%NuKv$sZ~3Nc!nJQS|4|Jg9gZ!Sb|Fq@NM%E@aG!OI~g!BFhhxW
zdqaQEkALyrKXEr}XunC3278A+J`F?oo>lj?14qX_7V?4(Uu2GdcEH0Ifj!^fyF%(e
zA9bJ8f0aZ=7%XyAJ_p%m`yksaKS_?}vR*@VW6aX&jvU*eWI}uK;=N|%8$v6#9Zn{a
z?CIn^anbdSdN{s7IgwA~D{sUg2>0HDJ-wcwUlxy0b^77&>PO%Tee*aGUO^qIC9bc~
z&!5Yjr4K2|_Otbe47c^+xZZWpS_b1~Zpl4IZmVXXhpdBt=;Q9r&{Y@imc9_*F<ZAI
zNEFG-C(i4B>sQM=5TXgOCh4{guslWY3*NF5``CZFXP9||2ljC%Zs>pIV#2~<(Q)fb
zR>vPWtRUj7#AKAX6lsLd>%ItPpfe(<7OtM@a|e@8=I91*EuJKcp~K=#^Dji`f8PFF
zbhpeRUu~-+>>F3x;+U(h*99iyHx6xm@Sf`Euy5=`G~<lMNmu~)KE@834xzsu-O>@J
z(oM!kKvnXv`P<WMevoq-H=E4zOFlWfoL9W%r=Lg&=aq(Q$N{4)1mcjPGWs@k6X)gm
z`yAmDRa(E!7X7+25qP}aZd(;9BJ$B)gqXh03t}#c_K!TG*bz`4PhS_S-03pnFWdtj
zYMGyBc(S!Q*zl{rhcNE5ej`11<G<+tKYzD?AXLw?${1XU1UHv$xz#eb_VA(i1JvK~
zJwMTUW!NguUE=U3{{?qR6WF({cyr21#=SA~wPF%*Bs7s5G5bQ%f5m42sWsS?lM5Jm
z&W97O^P=+IDz}n^pzR3^>aZW^OjeOili-Ei<X%uaI<H8%ygm4eN6#cKt?ol9^e$(u
zYjj>_aLh{aZ2?9T(c-(8^9Zw5Pdf_f_EhU>y<W)3N_qGaH7hRrZd#c$e6t$eOd*!?
z9JBepMFB4{Cz1EpaKgmybvbaA_$xmT<qLn|WZ0`~1}92#bU$Y043me+7n&POZSWGU
zxLY5BYEA3N2@YZ%l9j5G(bK}zl}Z!eq$FmW86IR($VPS2JG${r-L6~QT-GUW5TJwX
zxcFW7p3gj!iW<p{ApnazvdqD!Fe<^-l{TS$=x5hb`I$y59r_AZ>AZlb$!>(cW}wR5
zpT}cHR|T#o$Ar)(<86FIl|+8ER@P3FV~Pa#DWVxK_c=S)o*kZPHB9H0uo=|QT66H`
zx29kS)uIO^Iv-(}e43&PRq6NqA(ch0KEE1s;qeZ;!mhn-DX%Bn(_*Yt^j5Wrf7Zfo
zRa`e!!9Abw+x(YZ!6#LgmINw3E$dnDh7I-sRC8RvRbO8ruD_r=-zKNDep8$7Sjrk3
zOAO`NmG+7RxvJiXxyk$En466UX-8(7sGty5{*LD$N2JVW=*!H0BhVpEcNkNO)mkKW
zrIjjlm~G*R?Tu0`E);}uZ_JiayTSoqdyTDy=QvsJi{RLuxfLr=3Yqfj_<_+)<u{V0
zdcGliyV`a%6lqu4u2AK!&vecNW`=~e@56`?3B4CVF6;2Al%o(UK<~J!x5=yBc)3-<
z%|?0D=sd%=Fqu5ftTK85eAKVp`wuW|;i;TwzxeX-`$J#rAV;Svh!nv8kVAMTa0U~^
zMD2BptYjRsjX9{ahz(={!&Kc@!fra6TPSOkJEdvqr#<9^c1Ll4`+c;wnJ;5)C9(48
z$~WVkuJxTWh=jKqUCDf_IR?ljy%D*=I}?~GyhI*U0ko2xVU8-5M9JGewxn)!UWvbH
z=&I*d$81=|*cvHvFMO|FR3;>L+E3c296@a}Y1?6i9oA`@>ba?YXJ~Cj|2UxTftP3v
zmo!o{0Xq0=R_kH?$Pd?ZF0fDYrVo>6_m$zE9ozq7<;LN8FLFykUq=4F;<K?|v6K7+
zu+4xVpz)mjAI~($ew7$-@{kA<MbBK6M?+OD#7imWG2l%aAB5@42JP#!Eu;D`eBmVN
zqE?)K^=_LbDZeqA&I+S#5~d(d-E2TD)@=1<s)Bk4_%RUF%}vtX&fwV8POlkU`z5#M
zaaX6=lp0^M`q-9fXeF?+N8%QFCUG+qs}*VYG56g{_vCg}WgzgrAP6_8DwC_Ny!B(`
za&B9KRj;~Fyo%46#65+dlsi{OQ+BuRT2bzYbfzV#m8_D=%0y91ivV)Fv)z*_1AAt0
z<`t|gkkCY$MOJq>9_*&4!0Wk{>Z4kQK>03PKBdWEHLUp4?^ip;XX-75Auv9qLngJ-
zRW713WEr*$yCy{Tzk+3oDp#Wu`Nd74E=M7fhr8C=9dHr1fc8c6zCPPhO8dPzWxhxh
zeb}})UtrP+6C-od_?hl>x8=4zx88o`zD4UA1iXt6-EN5p+oOx=wy&YSCd_oa!F)nC
z>N+>3mb1>9I8o&B*&}CqL|QYP8>*hS*ChRhEVq=_R35!hq+)hNot!HR3ssvj@yrwv
z04eKlvb}+&DauSjjHu+yLH>~*UwuE;Ia6(0qmV_y)x_TCuvS?)&aIIE9RhN67rnge
zOGD^1A4lhW_<2w)`R0^C8;(~u8r|+PVN`{ArNw<hsgz)7yPB>F6In(E0c{$l;t^+x
z1Wol8L!pSD%`oXizQYYW#0lKIe79TNu==5k@7b}ar@4Uz0LI~p6@PlI!<qd4(BJoJ
zjU*ZTva-H2m2$5!yH67XD+8nGqiA6y|C-i02{rJ}TtFh_G`G#lP9)9T{DNl+zRdaK
zxA+p5e-EXr#is9oGm<vWh#T<@A%%0T62H%=X<>A+q^&cVxorrKCYz$^G1#`Fs7b+w
zZve7!Gg5A-pM=mH+gVa<$hL?xJ44jb3XC+U1;=)>1IZtGAe|=i#j|BP%{JnWtG@>S
z73bkGe>SoHoRM2I{{h7n^nPZ=_@GwTl#`?W0;y@)QHngLzU*e<sVapVn;tb5H*Eeq
z1;B2N-9ORX6PA+gemny|>ID8>-y1d`x_J7~?{*hh{m=lESZ}TgRi8iw?MkR!dClPT
zgA(m+Qf_p7N-`)bIKso$iN4&VuHe{}J=V1xp>Tul>X%#axNg!v@v2#AHq={261&`%
ztko0~Sa0kHX=ZUF+Yto3`8}^d(Z0R8yhApNBlXk}%`koTO_k$fnNHHB$E3&!tx7^4
zL92=DtZ{3qp%?|XEKj6|t`fiPHPa<NUYrN?dHj&sEAY&jA}K1E_ksgHBk4DnUj)lu
zMD<vXSxL0fPeQU}Zk7Xj)-v>I?>3{{pm+S%^`z1ZI!#+n&FBJsW7D3f57V$L(GC=`
z>-gf|3gNZ#7hqzinQu#0m`@M`p)~X;H<4M@rlv;UGHlycM9&pQ{K+$spf9*5{U+5t
z;k>AF4t`<VPn)b3IDm~3#{}>-a{g~Zhg)3aU~a<7b42d7z)(K%v0ibLxWUKE?SUvU
zISXE26UJ2F!SD>G6h5ma1-?+bVX>ujrFVxGbFT-45}_l1JM@y>UIb&6FI?TZqOs;i
zID#HGN5rUYC2438%!d}vh1aWM?uCTFL=@fc>$yfm%xR79W}TBr!xe)$o_5I}Z6d&S
zY=}I0D9ZqBmx-|@ZsRBIDmjr;92kZ|8kecuqOH_hBSkwMNhaPAwBwo&V2Ax2fI42z
z9Da%W+b8L~a@bjrm1WQif^$J?!(MiGQrjTg)-d%A`w**MRZj%F%#HLE5s@{A&b|&P
z1LD<*_H_4T;NQ%kxurAjfs3?DrH#l(?odS2&{YoMy^<rH%6I4^N>dUEoq_9M;CLxI
zb2(kzp6JSKfcSIydx3VVR5F{pMyE#6m(sYY+?SEo*Jq1ccvsH8$J#|N3IN%*%P{u~
zR>fX8(LEI^<PKf^0UH&JoLIdvbI>KH-?a2Ycj+M-EjP^c2E4fMKn$*j**XdUj6)5L
zk7rZ*+Ngi#Gr;K{k!V=?=9DEUnmIE;#ywLuPIObbC6yjs>G?^BS;sAa&Ekgcw8f#W
zp^@~oR7LRqY#aplCo8vIH&7KIih3`QkMk@-kV}FRC5Ge^1~k(MyRFea%-VCe`N!y^
zx4d((ayu;x$e!5b@=#@c@LyMA#-rCwN?9rPK{i8~a@|ucI?*pm#SZ$Ys8VS=Xx!%r
zX$*wV#9Xo~I+^L*0C!cnv&OZj)vTX~(znH*di}H0-24edXHmE8ry0e`Ok8ouBy+AM
zy49ImY@kNh8e;)QvCbK;m0Tz^*SHxWh{6nQR|a#lCF>pvJ|F8PCZ8JxfR1j*N9XFr
zcQ5F!ZKCEz)ym?xA-{ZAFRN2z<7---g>)J05E7Thf!vEJnefj-?}@2qR}i*rgS^GH
zg*oQKDe?sRPCbr5Uv*~~6Q-<mIqWoD7RWfsy%@QliPXltf*Z(Ski&#c{L`5+_xyJV
z`kMkJYq@#x%J8`xf#UaUQ_wfuit^abA!kp$|E9qbojK^K=gN5aNa(D(UsWSrUBKk1
ztyEo+61FK*uuk!F+)PqS53RKn1gHgi++g*x$R3|F4O#+hY)#6WQ%oRs4{}CAd_<|J
zKr0g1*3~<6Z836@Itz6O4M{Rbsp0P_6=$GSa;PS6-@txPkNhnyXHe$%<(d@Y?2O%M
z^Rt&fttWzO_l^7R`RkEUgV{ZqaKXsxs_=)piaWDXL02`8RA-&G*s~p_nHkC2=FTFt
z9@~_CMVc?WHx)hxk3NWzr6Ad?CwRExJb7;tNEN#$#gda4RR4F!-ZONv^g%5Em{j8M
znzo&VvZ!tiwfjmaFiCFk%);V(fiMnI*m3j~a?*=10g};o=)q%|Ym70QJ9iZp8!_b5
zb74I>^F(8||6ib1?cbeB&+GqPPdzCo=*WqTg4M<q!MmZ3pb!6v#CmU19;6^xYHP-3
z&iovLE}rGyu>a*xub#W@pOwK^#$>+nXLeN(wCvkIbCw3&b!due@Mj3>YTC7G;)c1}
z98S!^o<#xZ6D2}KhZQp^jb?WeK3UC-fr;5Pu^q|A-(X}qr3tf2@MWBNu!);_wV;xQ
zqC<Xe``U{%a}RUR=qKw=X|DOj>IBDM+RNPSlr>Fqac^0!!(1YshU<yLwIB)<<|e-;
zW2w(4*E1=~2G<k9V{o=g`H}gpZu<s1BjV=zs|UJwCNR%k2;1fn?Zl<aITx|k6_BTF
zUo6cH&kBpVBgLC*a7Vc##5jW)%M=!r7>E(Elpkae8id!B=(UkZ$>WicqzU7fFC9H#
z*;XW{a_CD9WHUJh4mga-<e1;0d#(W;h4=~gl5c%XJwGf~>e!mc!jd_D&PESUBu+Tf
zNAW_h>9jagvZOjzBCW4)+fd_nsr)~*+jeZ1S(WA`5+&v^JJd|05c*szd6}rV)tN%k
zwi+owHm#zQEvYd(4=BlF=mBPWqgXbM$wR?^@8yaRZgHJ8^wR0Vu-?oPx1fc^?i595
zZYxq}44nwpG?b=m-BfChf=Bpi61W$4jtT&|qN2G#|7gu#Y+rbe^L4C=Qn?~{u;x2+
zZbnN&JrTD_LKGnVvrruh<ssls6X$~t?yy)rzSZj;Lr-x}adDd>6}e+6C|C_k^|cuZ
z@pD7f4n2OVY#4TNgytSO7LLQml#$4G+NA7ER+4q-T{4=Kqd_Q8FE_Nr5(EgRk^lu#
z`RM2?+}!v;oix2l%tlP6knahql`Ml<@h@bq5(cN6jsl?vkSW5`$zw1mgkcp8^U_z`
zLfpEua7EM_X#?VlFP}wvwt3OoJ`z8V8fWYM9!M1hy&qjR-owip?4!prYVY{}f80Gt
zxRowmy2Oa(Jom*;Vw4EiclINFP!_;*s4J$_J;vrGzzf{WyyZu9p0sNHn4+X}jbf{;
z2~_ArsBH&CYmuVH5I5DtmhrLWcS^U=q13OHt*Nt&(W{xA0o-`etH8PMX8jIFEtPj!
zS4O`dxhQ6}M60dC3;BUcT_AB3wMlj4Bq@E34<%ypjG2BKL1k{{sUztQSA`od6D|CO
z8yC95VzHv6TK78ifw!^jOK!OU@l0^lZpfsZvZdR?U>DvGI{RI{TU+nGQtw{rNblk{
zK(2yUQhPz|E_)@S+}f8_TvlnV+WIxnUF~&xzr+O+!|6hcG2IYucnca&(Zy6rwiRv)
z1#XQcO;iS#s^msx5jU3IUF4p3g89k0EizIC>&q8=ZTO*UIOTBn#uFi_sjZv!HHBfD
zq$0+y$ygnr-)E)pALE^O!on~%dqEeP#q?~!y~+GWtE&gT4k#_2y3EgI2Lku|uuYRD
z?AQh@2hZkcp66zuv;NbU0L9w>2=?~1^o)YEWEkpbrmoyqTIm6}-VxeCjZIAVL5yxG
zo4T<%=j!>&hh+!ccnj><swL5FTJz})3sI=#L0=nGH<gO~#?U!Tx@8=8lgNibek$!U
z_b@fUNJ>jT;aMuEGVrnYXlvIHPp(F4`mmy;u^RX$X~Iq0otctd_e*n=8-WxYWuo<g
zL~9tjg*vE`y|0BS_g?o%htd{8tKn-#@^a@+St54H$Gp7W$;Us)q_YLTfY344O@6Dd
z$444~YMQ)_Yy%0LBbZHGX64yJuvpo(aDhg`&2X0k@=gzY=7Rrp*=HA#8=Y)qcWx>J
zU+SE|Pn2*InHw8=p8_W!=*|C16$t9sDq+yiw2bPbgTijIUw5kLgkJx6-u82M(wb$@
zp9MbRU61f2nz<S6QDb=j+rI}4sZpoA4qOz{4{D%C5R*iWCEpVEZ(&Uuw<388^KVa=
z4y_vDW%^}4{D`~VtY=dhkQ<#}VwoPJ^@C)HytPR1IT387M?s0xiX1Tj{Q50B$PL**
z;YBN!cwXuYaqli-5+%}m>TGfQigsH;i80^?1a-;KSY~hoxm(r``kfoGCnCIBp<|I8
z{gej^G1x2W&)hu6Rx`J*nQL&T{cZ!LjNL$~$+shU^mVQMCdn$*#u)k<P`Jr_Q<D2F
z5PYECnm)CU8u>q7J~K8Oo)_KLv}Gyfbe1dqWuWl7rjArg>t)Im6<Hj>WJzpe2-;Sn
z(-YY-WGYZEW}xCtxq#%rdY;3)dc&c(snSyE7DF8F+htqGywl9u#3;Z$Z>8)gA1GO|
zFlJ6@bzNGnM0&ehO<Q&@Et-q$kd+Evy*Msr!*-Yk&fGYx+8PL(QDFPvw=5~-F;P<^
z@U)2QeBxPABgpe)&7dVP+GS}n(@PM2+20S<0BR);|D!tS(=$Etkm91Dp!rript`!b
zor$Q$`v1>3GCfT7QcfizQv;=kxd}*P6mx5jHisq*==q+XgrEi7P_-Zj-tPLcC)n8<
z7I(U(sgo^e+woSmyE70(t0LG&3!`4|{2tw>s3kr|U@3B4Z!dSwLFWjL!4bz$?_L9U
z*HJ6uMuc;90iechJ#W=>0Wlj|`%QQ_zK&!3Zp}9Okg>p#-u=J_ZV)Z*Ba(F1zkTD*
zYBuZBFx8kYXmXEiAn%idp^gx45$4W>^gi|EME>$~#wn|D#fbi%!Glt{vFK6L@I7Yc
zyj_*wzY4`71E8w3$207szW(3!J&$z_o&71}Sr@)CdQkjYL9vm9y18A%-ObVl*O)FZ
ze>2?t%^KiR$Is)6lBNU6QNzteFvuFounww!v4bbkr=Xe`Zgb}DvNk_=$^-9diH|RP
zGiQ+Ig^U)hd1drljE_LdZV<I@Mz475i5pOE5dt}{gxa>nb5p{;ZJMeyDvbBZG9jn~
zHW`=bmCXPciMC@RtNCD0G=V_I!w{&8RaRg|?rDR#-zw=aZ*-;5hZnVG@R3szVPj#~
z!M0PiAt1WAZZq9I7VRe2wc6iOLwPhsxlw~~dm5@%LT68OF~;rkV=2ZK>Hs%a0|Q_j
z74o3Mdf&qeYi{-T!I+}v){puOeibRvZg(KsA9O|S_*88Rfq|v0B)6AZ+sz6j%%tc{
z#>h@;7%o(s9CI2&zbAjuqs_|4tT3Pf8$He=MHU*2MKDwv<Z}6+wGcNcrq(JcB3y{S
zPNh@Xn&P=h|BnU2ps29SoGe4cQUhLO<ps5n1}TyvN4`3|H%-(o48m3^p$<y#2ywuL
zJ_HFkPoUiFd9T<_<VMxwxA~#eWwy8j=}yaE>WxQEE?b|JD{ERumImT)(YBd@Ahiid
zUDG5c$E+Y%G54~k<9h0^Y{^-op8ExB3&UcQd8Gk){4G05A_T>H@-x{rk=islOX)5R
zlr{)Jm_TnA3M?-%wQQxP&Cj`qoBcpD-P_$zRj9JU(J=!BZFI>z+sBzKk91H%ki|cv
z;dZ4S^{F>Aa_!a%cP9bDlWGSw1G%1{K#Bg@+-vStM%;Ja^u6@7S63Z@qY#Kp=3f4z
z>HxO14d^LNCvb%t+@pcx^`G1pZ?D(Jeb<xNIr~?zBXSTe1R(us2UX?>HyXv<c=V`F
z6mVuBCz_FAv4hOf^ZX!e$0|eui|7XONz=$E<VKS9NSNAYr{vFZ1J2d9ot7A#H;Uo|
zD;MNkPbsc%i<de&6GYgms2I%Jf{CnY+M?~o;P~#e^6rcEp{U7}U1KjNmZ){gYdpZM
zS|9>@G0;G0fJ^yowCyyvXg=x=09)_4;Ju{=%M~Q`4rn)V-|+Zm&I|SQ56Sdv$Rutp
zarX$-ubnQo*BSqYpwvd`Rd4+Tso-WUmSqaV_E@V<?687hcr`&M6%}6Jk|IuqzW4Ve
zc0t2s-dX=l!w=QdzA={$4X4+9{Yz^9lp>IH^>+K7ZkjA&W7%xV;&XrynE76ai&0tI
zjbSKZ=S~Pb>IPk%;U0Lta`onj3Pmm~pPQKO>T)^TEKPN|vCf(h=D^=(dxzO73!|um
zTGBI_4@u<r6qub>qMciO?=F(Qdctv)P3}1Hxv3AUt+~bL=T{QStFO0rUo5IAzu<7P
z$(_%nAi1M5FX6$IEf6}0$I+!_prin8lRb#e;*=0kqc?iCOD|+wuL%-lvx~X;2uR54
zy0+d518%CevK0mZ36A`n@sr8mCVMC|8P<T>iwQ8a!)8_*QCrG&ZdhdFVv&ZDHheC6
z5wsMrSJczo^2c^xWajX#s*EhRHNg8rX;*!}CoMhO^M*%=zqNIJ1$?489_96!)b6Y|
z>SJnJyF}A_1k$@!ZzP=6R|KnL028d=V{A1i8|w)mO3jLd)&Hdy0KB}<-t>p6Ow`n+
z*MZh9mc<{2*}b;{&!^bvMlo*{QO0c{50*A$JyUfB6diO?$c<(YfpgQVZEj%SCH|RP
z#JLqq?^B>+_I$8(J|D|jzaP}qTKzGW5Icr)lkQQ27J$SDRzwd1^X*_K4bhVx+qfSs
zt=J~>=oc{X*~d5Gqd>DbfjEH5xx@~m5n)O|O&Fu&X3Ix?T0y@wbjUy;`733RfJc9+
z=LKQ+riutCQ7=>~q5VFjEd2J6U&LOGb#^NEUcL?d5l__Ls6eqz!rFY|WE>Jje~${w
z%;kC^@ln%3niLvB(b7PJuoT8ifS~)^W-#}LVB6#~u~l%Bqt*!9N@!~K9GLrEe}Es3
zvivaU)C;)5z8K++1As>FvZTv832h7`0PT~7W~@*Iia_x+Bbg$VZ==W&VQRI}Dc>)X
zCmU}Q+|b;Uc|jXpRLr~XF?RrCfJ-x-+aBNYW6|FnVOy+KlSURdr-~#v(cTFc1za;r
z@Cl(tBRzK^kYwW$0rR_3)FacN<e+;Z!}fCdGW3AUIj|<!8#vwZ0{12YdqkS6Z3~sw
zXSJ1Igqz4wp@@XAw=dtMw}|z|Iy@x|Ibl}y;0O?=GqgL#Zd3-9x8f2z;Ukok7Zw}t
z3FGYpsiWmy7WzY}BL$NXwKOnStaZ={0((b!3^indSbd@mp-XjIGScm8c7YNoPfGCt
z>`CuwYsrOi$Pp}5fx4Vov?~H-PU}V78!`5)h6)fn^iU5v!A)_Hq&Ryn!_`Swt}t{;
z+5?p57WQ;%oSnnK7cNvYSQD9uD*4$etVpHuVLG#gX9ZcwHK0m+2dE}yFJIZL2USd?
z9%wQ#hAfMx>zY$h6VGHUP@>t~K)u#eq4137b-pVURH^kHAOon?*9YfjtlrFK^6Y2U
zXO}Y;qJFROKEBRDCTJrNy)Ht)nmD-Ex{=W=We)3c*my679*yF0734yO>1x$lKlTxY
z?AAmIf<Q&V;c_fcB>kCQo<Lu>f|8|h1gOe~#tBP$wJn}Dr?6EFF-X?;%CJ~;J?Gdx
z>TOw709z;()ad9)Cy_y`7$|WmH_3ao7x&$R>gOKFfnHh1J(ov(>doI5Wo&H0b1T09
zGoQPQ+rD~qhYSqHs4~71Akmo?!n!ZnSWE6V>h=TzHk3TZEouERqhMc5=C&}pj*=(>
zv3z0;4FE;+3AX{u?e+COWiumQ9eSuIhy2|bre4;bhB{>77>fHti7_<NLA{Uota<E|
zHr$@?6^tq$3I2>PH%$cPYi+6N*00?H!D&ns&-5G;R4h`bl=0aHrndw=jXaofKOdUv
z!-575L~YxIj^=<Z!kS55;jBvHCUj5W;rZ{_b9=x`PoH{$$QMk62d#or`I;<cOpzhn
z7y}G@qbSkL?dB{X1M;#R-o|Xm`64%6K;SVqr@N8rzE<{1sIm|b7uXJ{WD#ZQ5}6pr
zh>z*na1aCRP|z$XBCcCQ0e~~7^e}NL3zu{;DuM}aH2Nr3dQ|f!X+qSGmA8M>vL<~v
zrcO7<g{aA+3AA2kB>nIh11S?^QPh7B6F@09Nimv@K>G*6GP-SJmsz3D%_sKKOm-Ks
ziBlHYuyHrNw^^vbfConC@U0J;0OoTG$?+A|=g!~x?;coanA%}TG2KZ=W$I!Sv`u0j
z-Nl2HXajkJFKSe#8t)rN+I}_v6=dnNj;eg|Ku61F{li`(Zp&j0Z&kquOAVcwIj8g>
z0i_AR`29XC66{mcWe7s-rO2y}<imA)jgf*PJg%!T1zv}X<j4x{qDi1nRF;H%a3q7m
z;nnkdxC_7@LYl|$9ed4rm%IU{5rEZOvdLoL6FR~2^%t$_CQ-K|sRC1S@AE&Y($ZNA
zqx{qDuE1mkSqb!5meMvFgr`~S%WoANi9wb50&t!S<rdL#pb}k!amSUeZkIMp=N|zj
zLpK5vyETVZvU`(_qlv2dOMAxa=ghQZTdegM(*#S%CO^`LU0ubVj`d6po1jV*(*e}2
z`$koF;(%33Z7j7a6eY@1VbjPC6*uL3Yd*Q}7Pkem{YSv=V$VmKch_2BG&yEK`@5-P
z$A|_Iw`swx9eba8^yEAho3#QNm443t-1gZYu=YP%YHy@KnC|5*vIv-NChRTXfE2yL
zk`CI%rXozgSZXVEh<^kH-39l|j?h|eTzus4Pfxi6auLg^+{WBDqXmTyV<?iXFh*LP
z^>wg|0NM`3C&IaLwO6BY-vNC$DW|ev9{@eARZfFqB4dTZ7zRQIQirpM6>M;Y`ry%?
zinj3MVZxrN0TYOuw09SwJ3($;ZT-QG)THIb)wOMrB@1JaB0aNJsZ&+#W0%_9zPR2E
zPFw=l*~jI0HwT{05V#zfGfxd_E^D056lx`cJ^#RhSrw;jzvM(}0)Fn9AxN}wiwt{~
zMuPF6v#u`S*COdChkz-U7ihaSYOPrknYEoykx(|sQ|*rju@a*h@Klz{=7;mPbC<_G
zYSHQLNz}j(E5aFd&T|#xi{fjWP=`|oDk}?JouEM~6txCm4&u&r{I5Bfau!?)r==*3
zJOEsNX|tGBqDWZIyo`Y&;Wj6c?XuT!>(g?FhHArJm4nl1IzjPxv}b>O7LT{(hWtQ%
z>`kCaNrT_%g#6S1quU}6aoP0<-4r-H6;yuiAiDO(1QP9X>UCtQ!upA=#_j%-Ee;5x
zY$IY)S|$TolnHiOm1nxB=X|8aht2<E+U~23ncK#RmPRU!ZZ`6uKF!CZ>LT3H-YHe`
z$J^c4?^^;BEt99x0)Mbs{Y-qBkBIa?=CMs$TA^^{Ru-^KBa}F3sWzs&vk=H_p*tM*
zIDW0yxM}361N=whkZ#bUgc&6%sp>5(2MP762&+?pARy+FL@w)e^KA14pg9oy2ZZF3
zLb-9O3iNt3`DOdJe`tl}vbLQmsUna!D?lcKqdGxl29FKyuzoqz;J9M-QSQS6rz2*+
zgWmg@R7N%@Fx`1|p~m{K&0^~ho;H%H+(7n+AR53kTa1fXaTvf=7DBcY-8y3-KvATJ
z=c{}qnjhV>(k$vxL^;4Lg_-iYBBs7GMNYOSXdUhJ%}0aie{f|bs!f2&^x^6T*ASDz
zfua2yK{I2s!=F`pzzW|*Xnn+|xGjW#|I;l$Vw#MWIRF_y_8?W%6Wk2DyM~QSu9V*P
zrk#X7A`rmdzm0o+Fkf{Qk9#|MdXp2GpL)FVvhi1bBsS1xMRYy_j&TCV;elFq0ka2m
z62rLlYa)|&*KxxJfOa`E=B5=r=%Ox!d0WL2)4648K~Bdz9~*&ExK-X=TDM8qP)|xn
z8*_k2uS7M4$oD8H?V7LSH5P6coG@ef74lm?l%<4ZpL4q^`?^Lt+rpqMkRAaCH;5k|
z+`#=)8FJ~t>Y)FwWvC8k;!*za7(<FA3%2={V&g!Y3^8Lna#ShR2jYQJ`g%+oF$sfj
znlZxc+5ooih8}cXSC%~P8VyK;-U1CnQ6L!{Bp^2;OPk2okm7J8OKCE$=e94rWf`?>
ze^O7f0x+|W{-j5SgmZ4_n7MhHM?4^(B^RR5BDM=@pR!22d1+B?{WL+;UArmOq5v(p
zLgdVM3fU##PU}f<AQNih`wC?|aDR5b@qj)sac+gcHW0M)vRy^&iA9gACW4#$|L;6~
zn5Xe%3=0b#2I<^HOS;880v{MFC$aAK&4zbY@4fuVi(B-o{36=w%BO8QtoqL{l7fnt
zANuyN)6V<kMh;QoN^)J27i;TA8%LqVN%RlsGNxYtuuXb!zXxX!e*pn^lD)>imgsHQ
z96sSeo#gJ}56UDL41Q2SJaNE-?$W3FKR9^yUohO-eAkdYGloUN<_})?Ot@ic)x&s1
zUo)O&4|L*tYLsFVEo*z*JJp7)R?fwJS14a2zUx&F#vA|24O@G2K*y?edsMVM?%mf1
zl^RWYZKkTlUuGfKgJx6EAHq4AyW7PL?WysNr4PygeJs=_ZkU62*W2@5xMDTaMwK{c
z&|O063b{e{H^dZ9UBN%Mt8DJMj1+0er>-~$K|6Ynu<na#wh*K9l!C^!H5cX^RF({b
zhe%L*?^zIiG1w@)9GnDKRev;BD!v_1M7Iqb)7WHBPFC<7=`rhMV^1@y-Q$V^?(6i$
zD%W!64BC=p_776;<>BeX66%)F{k_u8%j!LXqpz8r`(#&yR9x>R>apHaLi=Ld%cJu;
zqT+N*V06!xW}|-)d_oPSv6<=iV($G1XW?$H>9!?A8ep}@^M+!dd3Z3wKO;5E(&`~g
zLCZ_89|VWl4pXqdBfxu}-Mn27k8tQq7_T0|!kYbKYPR2Zoz|C*TX*pyvW&>98GxU_
z=pUK-LP5)rDC9hSO66KZ4`@_0wn-(%dia)*I<EqN5j&7`_Pe#IJEiVjv;C6CI1I`z
zqtp;C?^mj*gzZb=Qe_mm<)YlG8=cXTj+lhhe5Qfo7QBBCs`SN@{{qY_Cf^CJ{W%H{
z<U{swA8<K)k6!<`Lv8P-ocp9lXcEC$EhkY_cM8<Pui4J25|Y7jQ{AJ7=|1r+3u@;^
zt+l7nSH)GAx9J2YZaXoF{MN`uz0)sIm<3J<)uTTvT^m3n&FA(5K2YQlNw)hWJy1Ie
zwOh@{GM=2gS0z#87Gan}-AP-1cl9ggLk)x;SGrCa3BCVqzFI=RBCr+-KHEg;R->xk
zBU1aqm;<n%fq8Y9XVr6ik4WuPERR1it9(@BZ+5A8ypkfI3ZiqPPzfutgi`BD<sKn*
zLJB%l@%l#VeKHd<R0`#go}UJ%?Lb>-yjnjpjp;(|p;oIwtK<~_zUKLN6y>bqSzD=N
zOAg1Z;@b^y!^+4orcJKylx&h$XsIEiP*a3m$~cx7qb<BqqDolL0I@c{f^9@~A3Z#A
zrmxraC<Pk6oVzJ>D^-w{;5GGQpX7#?8L)hCTT)wUe4*s0wwo5?>a#OeuNFnBl}2++
zo1Dppna&ZKU)xTrvGe?DVkr}Z<Y4ZRjp1@Tuf9%gionxdrvM$5u6Q~Ewg;m};Y^g-
z%eh%sk3X>*ywGa``9f~+>l&bo)hrF;-rYNRp03`tbt{#PT;A4bZMFIf15l||L=j+<
z<{jjIYolIMccHDxUXX>#SS<sthH2a)_SfeCT!gOMGvA<}J#!)?6357ER>GMINY?0z
zU}W~t?aXnc&6UU8({V#?06M50(8Lq>h4%NJj@cI_XP9Dyu1hr+#ud;l!ExGAfhtRr
zn~*b=_0~`~jv@VLRUu+&f;=lgG`CPKMUCX_%@nnliME`k>aYfSk^DSHETynEVxD|2
z91DJN!%}7oV_VI=Rz;|vqkCZ7pmq>E*+88t?&^Ari7=M5ScV>v>XpT4q58Iw8q%(~
z74A+ERWLPayj$ReNXO(OB0Jv^Xyvw8z#-R#e{NkbZum?^cjb1$kcMK(uaQ=B+Liwv
zOBnEHL%!+Qv;Cl0h6Ux}y$2}uMXtW&yswF~%#`RDy>4s)qC54}&Tt)S3Ww72)XPE5
zdt&D{p;!^aDXM*$P`&!2cNWWDX4&klc+ZymuG!`v^hPOa#rripS&4O1B{#d5z`nTt
z5q*sZ8cX`@x>YWR`Pet}DsR&9TV<p9AX)eDK)=3bm`4t+&DMX?ftGr6m;dDu&AxW{
z+%4>H!Jqb{u@mCmDIz<MYE;`7!$EL{ezv{Z?G~z-daE%SZsawj;h}lV%SfU=n{xvH
zfD(H)OSqQ?`YDIWrz9$Y)OuRc8J;UB4rw6ngerw<ihde86H^I#Fk5(J2)C#a!Lby-
z0}u&Znk7D5tM3yh9a}uqF-{3!$U25G-;PG{;6!4v{EQNU^03B>W<Tn$Qy+^Q^)P<%
zs9f3&+@iVXsP2|*huU?YSrvj@A~%o%yCa2viJEG@6+uCepoH5<w*|+-@~?_7Y)Z-!
z8J4QN(D!cdajAV#dWI>T_XBmdC^*KUJ0F%n)eL#1xWsb0#DTkO%aSFGjLN}WKL`NY
zx2Wj%o`nJUIj=g;t9N!j(Q%BpNmg%WPNznqoN~1L^${0uhdzuo`cMJj0RR27(-$WG
zJmafQ>Q~&dTJETi5S1!S;r0k7^a4|%<h2X?IrxxfGB+XTf}`0s)vR8vvbeMk?{4V0
zkp)OtgQ#rw%*$UEk7@z66md)yINSkh*yl)YS3o=N;$xt8D<R-!HU;bleqB_Nhufe<
zzI?>o$yCFpnqiTs{b>HWJ;{cMWUJYcpOUl<g*N{pSfOl>gzW<Xd{2QYRh<=>wbkDH
zt3mogsJmOl4fX0Mokl*jj-Pnf^@+SdLfry^5Jx(+3_G?{+IxoV-!tGYj~?wX4P9qn
z0)s!lVE~rVC!zD)yWJN6_kn8<p#D|rJx@yLHEuorm|dr5-iZwaR*jc7BJLQ-UG&N;
X=f;kF<=#H_`)|Dd?t-k>qIUg1CfzpN

literal 28786
zcmdsg4_s4a+y6l_EKTa^k5bAspCYpaLqmmeDorY@l}4zD!$?U<2a-<Mb`EN(l{!re
z`~xSmLP3~{I0V_5X$%FKhA<J>$N^IZ3^<JKZ0FDK9s_;e_rvc%&*S^N&+oU7@;RTw
z*?q42zOL(g{k?C#{^0$vM;?CqVF-dAdHb!o3n0iV-t~XPgW%4KQo}q5@<>=UXU+$!
zVqzfZg+1%{@aJFn;EAn<Gw-}PWqj*|pLQSqX3oer-yD}eI_jH!OU`G_Uw82I8{cg`
z_{8Mg&EL*B|N0l5aUHzdFBZHwV)L`xXWB<nOMbqXc<_yHPy5v!+GfkJ#aqs%z&U{z
z+TVt@-s$-K#mPC%x}O_@-x#~aJ8*kx`I)C)*+0FoL^~;bLCD27747TC$Nc!?%~2iJ
z$F#3}8+?(tc;{u!-_C`NTmIbH*Q9TZGk)>ft;oYueDQ~-CR5L)nNEG1BJAGx&6?w<
zr%g%Nvhll_t8YJ99U?Dy`>h!fKTMWiefq1NFD-cMjm?`Me)aH$*AJa~JJ8%Zf4X%3
z3wyU+GraNSp>c2SD}82C{u@!@m!H1#qHK27C+)0hRb1u5WwsCgc3ZZ-UYjtX!25b!
zu2a%dXbqguF>L9<m(l&r({1l1=lt@fd{f8h_@v4|_IWm}9y1m>^Xb%}pP`rWUp;tZ
z)X~0U3%wk=;>9y;3CshHXYPF6o^oMQ^yZce&!Eus&mKN7&3XXv;Gy`p7AHcG_j1>N
zkE3wrDhQeYy*>B!k2c<Ht^aea`GsM_8_F(QT4OsF=6ydeJN()A&OS78T!-y#;z-sX
zJ?lnoXx{!oiyVIG$iA+Qd^;Ese4=^mv<KXmkk1nZeOD9z-?<t+N9`A-tFk(XkVk%^
zc4JhdAKbXj^^=?kyMA8s1{Y-gt8j3<hkJT&yfDDkKF5WCm!4QO*;}aHrLgXA%F+Ja
zBI9@M?H$lH!X*LHwU^g>W1IUuc>0Y^Bi%zj`o;iPw*nrJE;I+0?csIJLBPLK?>=Gx
zVSqw$?1qM6?yrCO!M|`dbCk!VD4n&#nv{VfJol^zT7muJ?+bgug1==-disI8F9K`6
z``!%c=Z3n@nZJvpB6Mb1^H~nI%^HMlGd;!m>ff|#x(8>&r`qzn_N9`VbLSdY@qed`
zf#l^f>H?8THJXz4R<)yDr!$`Ak&6XQLGU2Mj@z2@X>siF5S(d`9g%7Jn$(!OcPYr#
z{O82TscQOB8ytdO79iq{`hB{awlG3V_!$nO%?E9kQj4f&09m*vAHVq&eE$3X@UDi$
zL!Hs8Lf>`7s`SI2i@f&)se^QLVrOqQJ;v+`OxT34@S5tDj@L#EAK)ssVc3Op$@50X
zC9W)6mbB-4Ihkl7{ZR6JlmR|n@ns+jh2YR4xMs#6Q=RFV`b&Prh%ZVeNkt4lv3bs!
z2<_1g&&Tyh&Bem5deXXjSyvu%i+nS*+3<}y#^O`bY7P0uG$tijg@+;hR`qZ<l_L%h
zaP{Y?r4aK?ps_)+EM3s-2c2*dqiT{adqWL*gMRUc=6B(-n*9g5Jj>w#o(J)G^l_85
zJxL~IZaQu=UUgfz<@wO2`KKeaDI2Y(Y1P@}IY)9*Zn}axjzu&3QP+@`F^$8UC$(=A
zXP{j*ar8ca>{HGK-@ZUL!nR}+U)EfB7d!8d0uNRBUx3;03+}~+0x<5`?^-f`Q_*(|
zE?>}fdG>xKMaB(Q_XPC*TmkR{?|p6l<P~OAm=j)_hBot{*B;;ohk=0k-*Io;R>&Uo
z%f8#VqWZ<ZlO8WAnI&wa7j&Z1$riypAC$Z-4DE^;g!qf;n`)i=n?eJ}xp}ncdu|r}
zifyW$O`KW(Ya3z4@D0yT-Ek0Qm{t@wTlAzVnWeh58Y%#8ngT;9ma#OWC5&}8ZH~c0
ze$htGayX3I>i~n3x!HPaQJZ(q{y*ImsdKrNE@AAjhNzstV{tiigaYguIWv#aUhmvb
z6ITo;$+2i@F`I_PnWpdp*megavN{#y;;qYgUBk^sq-mYZ#vXc24{?lp(zmo~88fQI
zq&?K*)6_@R)FDu%ja`5`t=)I{bLxB=cL&2uaDyZGRlM4M22oKxDz;STc&Ht17T$6a
z`cBIg>@4wkX%x0N7%MWc^I%>#Lv@p@xb@o}7%!U_;-)En47X~hArH0_KFVMA330?~
z@_?i_v$cNNG+hJ>E_p-CbP{w`F=BNR?OHeku0}%Ju2|a1o?PJ(Vg{QMWfA3JaI8YX
z{f?P`Fh5?yCd*t#QcHYM<)#dp!_DxYu3y_$@qTr$V6Cy3VPBU^Bl6`5RT&xixr%DD
z#L6)BrZ9_L?u&KfA}jSrJ<aUPP?)xzHK$syQNUH%qi|wU70t+On1wE~nYzM|uD8oI
zv><d4xK9|nIV>ko)aPf-JLx&bP4t8>hYfHQ7{5tbwFIS+$-hq+9@kWPIaQ+N>B2Us
zy7mVn)e+=!`pe)7Tu-iIuE@|J2lG&{R?%$`$?}mu9W_?+l+Bc>kaMqL0qs+uThEuu
zGE54Cmz$WezmHz(zDjxY;Q_9;O@!th%YXXIufAU}>WvP{CtXe+Ojk%DvtKmxCq4f7
zNyb_Mn-x|8l8Z$VW}1yTf-<dE9rvh8*wYpwi0E6IN6&LV{R>l23EK;Eb9LI#Kqc_k
ztygZvbXk8WvHHV$t-(I0-LV?E>>VOZ4joPiR3$=HS0|;VsB+=TQ=E%_v8_TK6&euR
z@JeU$e4`_kXEBMWiDKCdxXCNSpO0-O{e(t;A-R#!_!QI~<W}ZGn~Ii1SGdgnga-Qd
z+H-gb1>BAsX2!()c9~nL2XYn$x(6W1&8zROFL`8`auA<rAV2BfaBusCM_oj|od59_
z2v|8t7|n?^1G;kqkO_vp3Su?0EiUK5hjctBvR=3{5p|jK8-p-rsNtK-mv>>9FmA?M
z=VWw%SbD{fuMslUieS@0gjO=4+K5HM91#d!Am~I8xADG+Z8GohcXO*@5KMne{NP%1
zd1TM69Wi8HyZr#3CbYy|k?YA7vhl&p5glyytB%n6gMbTy2u#QquEgQAHQm<boC~}C
zPHe;MBaifvz~hDn0O4zMtU62ZB%6K-sm$e_B4R9^Gtf=p)=;b`S6dwxf^S6jU{rKI
zxdyr9)jpd|Hoyn48gnL<c8Obk2ZEJ>?robGy`q2pAJ<?flNA;{Rqn5*+ls9xtpwlD
zK>kjAOEr3}B5H}Un_8@NTLQU@p>uidl=P&-i7n%v<4`@znJZb3U-lhVDDvMSOP2By
zO@8X!B{q4rW0fq*$y7V30EeSf>Ir2CKXy9BDB_cDXf<CT{F*T<k!uSh1HR)13gGHE
z+q4j#n{Bq5k_uP5Ig~Py8zVk!QF<SyPgU<%<^-;h2-!~cJ4yEB4N@(tUHvLfHBB)b
zCZ86j1;LSomRcsE_wv$u<MZ8k=L}WXa=A1Lt|50mkGD!I32sw#arp?}{EBmZk<4HQ
zqC&kQ4ybxSJoV1x2Uq=6V>CFOR|L^j&PcQKhy@c1VKK_w;0v|>u2@3?Jfy`=a-Rgo
z^|T|6X5lN^VgtJvyEBL|*J7I_QMwB{QxfBl^{v>4+$#pq^5c)=W{fy*6uvX<tsq~N
zAhcJd$r^EwWm~!~f*2Wsr;xEs+XmSLo>5Lk!6$AK<`zQBEzSR`>1wrSuo;4)nx-Ut
zc&Rn7+x|>1$ixYGIi0BrQbbj+VD`hV%nFz#H^$VpkE(0(Onh+aGeT`HmS1A9=kl2@
zq0<rnU@jP_XUGHf<_%sA_S7|PGmnI9V{C9a9-bxy1V{&oEB^|%0x40SFlX-jWH)4Y
z&?|aq4e_KNKpLdhb2D-vQ#jB)!0=?3Va$c0Iv4R!!<_pw@IWv7PrBC|s{FDqSEpO@
z$R{24vY=ptzH>ZHoJ58#g7+vofv=}kTDY}-Zk<m-#nL{Hto<^#5>#r{YtoZyXIJ)+
zR;@7j@i8S=v^4||`kMu97XsZb9dle!lx$`3jVO4xk=sfC!~x#?THl-P+ql7VR~6H+
z;IhIX{&gx8T&JA}VC2<c!!?*~CwKY+_c(@GVe)ecRhr1g!YjEgBnWcSr}g1n-B;W%
zzEz=K-~4jpXIGTf(l(lejvYrg>W9ap-AqS5RnJyupv_9_laPHXx6Zx`d+K~%a0w^)
zuqQa()49j?dhcHY0_iwq;1`&t%;)^^5Ht$!V5pXKxZ+1;=q>Uiq|4I=H~RBH+HE9M
z$G*ayZo8F6dr6&vM-}FlWI8D$_h~mB(IdEt-sfnW^BI18ee)XgyR~{98ggQRuSy>h
zn&Q;|h*djdi_Pq9OnZZhY)nm;Q>RRt+tMaEdB>58Q;%ct%33~KMFhgr*mAf-O3Jvc
z^vqG`j{qa*CJZ{lEjl252nD=8c}0s^f+9KL+dcD3l;6uKX0BGDmo}yH*<>^n+EIX(
zBdR@yI;wFC>Gk(@s570L)oalQ+t){V3o#REwhb+O12!{7{QZK$Wx#pdu6|jEUpual
zk@+S5d=yd>S28hPB#hh0htI*&Q8l$CjC&1Sfg11(T-7J=Ng2WY^b1x^I&)sPetj|0
zv;XWb`?e`WPw`fbEUmQKU)1@ZgYjgO_BJNBE>v|zt*2u5!p)f=RRU?TYC!<o7(=xU
zkgB|gZV5$!@u}YBJ_Qd5<%)ImZ%(4jr=VKUSeDj_y~m_s&D$s_1YH83r}oM_m7Mb2
zyGXNu%U;LZ2}4i@%+}uyoPD0!!snLSq2}Ozy3X6W{IJU}S|SDO)@ny=;d&k@8=0p-
zMck@3U`Redm=31k;z-TvoCnX_JzoOGj2_-#ygyc^Kf2o(l~XkV>PX<``cS>u`~4g!
zu(*U0f;wLQW#2IzuYQ^z%1x;&J#<@J@IE^#&i&04mfI9v><)~VXpfGUZJmn#P@(ZD
ztsyUKsJ+_4#yHsw03u|W#$Cwpg49LY)FT+X1V?)ex=*;#J|-WYNe3S5BVW%QJ#PoL
zAu?8fYC~vo>{Chv58QhNCezSkD_Q3ik$H-_LU_s|FJSizGvFpae7r8m=nsb&Hk)}y
zHi~;Ww!@xEt51y<+r&`$+8eHdGWdKvi2r-x(cP`&yD>ZbS<?>Dyb6&{ccW9ZQ(^Tv
zE-DBG=G{L-*ethvF4ih-EY{7iKF6^@Zmn{e-Ow%L+^=sKJU(=#__VRN&Qz4Hp+lnU
zq)F?MQ$OgXIhq<WU;`D!g79Y{60fm&=a4IyO=cdM#C#!36CUrDwm42A6@%0hCbfA#
zP4B<%LNNwphWf(RfG@d``knEz+pV91BwJ+c%^nqF-1I$24!J$-INF(vvdyWelqnG+
zrEIP-=pY%#_<-6akC0boh#I{L;9<@F;z6Y5!lNOp)06rtn*rZ&({pIk$P>pFyrVON
zB*kOTU-2f!Kpj%g6B<X&5_XBf#<c5gJW_kbU=Q5OJ<vaAg3^vvuYR=Qy<eUn1V{?$
z1#teMX8(GlKaZRyq9RG9%3r9%t(De^20oGhe}ihKOh3Nq)!dlZq2Gs}j?H;JyLo!Y
z%Fxe8{baiO`BT3qGNY6++n#%8-I(57)N9+@Y-+x?@<X>6L32+G0Gju}b#6Yq!SPkE
z_tDBv%x-B)NS0bKo2a(6W7$+5dD+_}C~5SE0r_2t%mr%F%P<M*#D6j)#<8WWA&+zH
ziyI^jQ+a9pg`?Z*`g;N5;aeRQ6=ABb3*_EuWSN!%VbvivfPJe>5DL;bKmasw7i&At
zX#tme*HsOR{M>t~YmN=JR*#1u=Sfad?oIgLd*!xH5Y&7$D_5ti9`!5~vg677ROjwx
za6nkxl?f2!&%I#xoQMC+tAyh{o3dLprpUMjea`<6pAL|5yqB5WZs*5add|Ixz$g9I
zfsA}o5BZ_0LIDEqG64fZbwbg}Hrq+&PwHz6TOvSqp(>CQlKuf>L?&r*)`xt|+0n4Q
z*3(9dmf`Fpt0lMkGQ5Hn+!WoBH0axs=AY5?zm^ax30q_uFNz^RVAADNMkON8iJARE
zZ7BLIyp(PD+Qv5f6(GMoZql}z{c6bXWU?hRtK(*3!q2iF_4wCo1W~=5hoZx|Cy}P|
zYR{Bh*SGD7(?;6$Qb!L(chgtI<*<g$ZSPvoJg}67)Bt=Q?=tbazA~J;FB$|S{;iM0
zAM|)CU6?at%cz;?Z1l1`tjS+!ut0x18|p!|Q@5FYpK_DFXsvgho<Ba<9Te@l8x&0$
zpfl!P0rn$v{YS6X)n_Qh5|`~UZwfCC$rx{Nn#k+*CJRj#TUh(!>W0qo?;$hRQ!8<t
z>hXmMZD&kxJI*WwwBwkBjd+>eN2r0@g|6<Lwp5H;T}RL9Xj!X`baN!-Lv9W(_g>nd
zTM`$gP`tRs<+X0XVH<+Rwi)Lz&<S7e$$gG{fe^@Ft|h3>q@leIxUb*kSC1NYqKVAO
zD$EcwOKYQ4xmb!B1BroLEEj`1mU8pq2I5^ugpBXg$=4p>Ch;R@Os3FX719SPvzGa4
zcUfpcx;pQIzvY2|S+GW1N6ibwv2>h_rJDRu8#a@D8a43Bd7wtrmB8$CDQ7GLI+@yq
zCERAK-?YRheSqx3&XPM<B5*KDXkF^x4ks`(7!{lbH)GN!BQ+T|2|xxG7@9hK$8t_3
z9wBMSeQMDS-vSKLPaloCm-)LzoDDNWjfFtR!H(-o0$qFupAP@U_hr<fzWx7~=iGf8
z5R~{))peUF=b`1%p(Q#hQ3~PQoZSxKc^C5x!E6n2GvLI-+`>HW4)3b(nVNZ)<*oLb
zU?B;*a=uqc8&g3g$bJPu-Tii;`_9Bv(x$wz!bLVmNuCA$aT_;Y3^hHwtJ`}~IFEK#
zANXj@9|v{yoe4IoT~n4x%tx9rDkG3B&49bSpazkiJqv$j;29Y7f#y4)sLx1=)IHoV
zG)?ARC$dbmF*gho`ijmU53+jh3Zi&P92_bPkJ8E+DFhw=#m1bpF(+(HH9eU>=qs0^
zlg7E1zJbS$IxfTI^i^6Uw}9=E*a&FCwR&qyyTf+Jdd>Pb=q(&iV7pqK0<vNSbH30N
zL3k5!23xF%d(@eKgkHUkPe%Is6|TE!f#z^)_fI!(zZdIQR7>=%6}S>@{1aKJnmnU~
z4O!)jY!qk}VreW6Ql0zJU7&qZV=r>USEI?{Zt|QUY#iCh?VAFNxvakJUO>YwK&_j~
zJ_3dnYW9D;>sVH<smU9XCbIz!QxQn`5cFs%?A0)tn;9o*U(j_>91^M}G@v=8_cL!$
z8lj%+OPrl#R!cI|Zt{HXmNl;16w_|sRl(j#)`-49+65j^O6DN2-6LtpFx~0Twmv)9
z+Vg_x-`r`mjI-g^u8kW&Y+_n?a6Dp8pD>$fYqFPuBrkiDm>(+93YW5tQ?Tou0v0hc
zztfr2PTb<%6@<r2C-53XgV5C%sl+dS!LV$XycJj>1s`wBvr)fWfoXbsJSu5805>bB
z#e{PUb;W-iuWOHYM-;cfo$zX3z3HpAO(U^!3Tz!HPePEu#0ui2rCtr`+)N%SN{pTZ
z?fBy#xB^}gQeV$vb)D>#n#R3+G(~38-6rzx&)c%-<zt_E_;^dx$-WN5hFRQ#_MaJS
z{B^2;BQ-CpFMx9u;R@KfOsUR(>Qkh+(ffoSw;{P`+2p+A>)F%a#{TgjaYR9HWRtIH
zThiWDSXSE!L70#yQD~!?@*?;_Xu^C8T?@busvaal0tWA<@d>wf4~Doi|9~6nea~82
z_ZR(8bgsQix$PAQ;v0B%@UWTivqC6kI=85AH+b4A`3nrZ+6(S>PH53r+%h+M&TFqo
z#%isq%+sJ!j>~|nhNbgz(XIs9bk=25?FV6CaH*zkAla}0Bp=xC$_8pt`0MvHt=?Cc
zNRpO@!=X&K$-{6EGi(ULEg3-uQ}Y!3qy{&qQ}a|fb&5!2TAx9IdC`)UbSAlmDUAT$
za|OD)i;n3wC$M)M);fw?0bC*5HFTlF)hUIU?i}p{+pXMaG&ld+!HV}cC{1nk8E1+W
zY;ttCzntgG%M&~*(nKDpm$Q0MG#B+a%e16{N~A)pj^|-h1Ub{y^W7DuD$&`?gsQk5
zY`vC8CzEH{eTGD0kW|fIv_T`E$?nyMUsW(vepNzyLMfs`C;OyL@jn#Exa2tH-JE<L
zrT|9If`mdHHf|646DL0&^d<Ib0Q49)r#@_xrz3xw3k#RQ5^Y^pa?-iQ(sx7kf3zZ0
z8OT<B4?I1MjR;gVW5!8hWWPb1A?!+|r>iQkUEU_`lO}_Et!JULS$+_Y8xcNNdbM|L
zs_{(yS`+!S<h9cN@s%9oWBmAZxJlVgALIAO!1joN%tWiJ>8;0=KC@r89TSku@R{&z
zco;-I!mYwXtxCA74G(3lZgDEBzl7X_zZ=UPRt@pD?nbrUKjyD|6gtH7fX>{XVeh4l
z{xh%o`tzXU$FjCERP}+^Gt%UpL2wFx5CM1i7BCO;-3YISx#ipC^XvJm!z_nKLLEwr
zAlV`ZUo`kj@sv*bLOs#U>xkqQkeMGl)y%Jb(No7qgFM_{lREKDmZOubzWE0}NFwEy
zO)Ya6PV^OD?1QKf*Z|`zmOP<dDgTtbY_b`HW}`$UsCSaK>qM->StdY&O*$vp*qcpI
z@k+g+MMfspY7ujj4f1}vj5&QPn#;YSz$sYSQeSCbtNm2+qHU+4l}bB^^EDWs9V?-~
z^M`U#lw}Ooz3C>*;s>?9K(opyo~c=xj1FSBfddf6zIVrkMQBFmk-ilf`y02ZtC}a8
z9b7X|^6Mju38R@Z3<3!)--8P3iU4@Zph89zImshJIT=GW`J+<&0<~8`7FXDJfsQmn
z=rG-9g8^;o3m!pZh*fOyh5~n}7?0Lu<O>$IIio}>m0=T+O=L@x{znpF&>}%xj@cSs
zWtCc-o;zl<)(pc+3|qe9h$+?ic)7pM50bJ3eTCLe<z~Apcrqo;zS{}FEl@{$H1Fdb
z>!YF+SaIyy{(R)yc{P8&EF{OmL>cuRE(HvMl^H@YS&FuilVBZ89tRm?_F32Fz=lBX
z7u*1u(k9P5ulBHU`mXQgoq;%rO+eS$*Je{FQRZ8q1!;mr8dPe_VH@aI1wCw`F`Q@&
zz$joZAL^-yweqFqJg`%*X^V7m9FP%M%I@`spefwW%TVhp{gshd@~aW43Zy43GIWRV
zl-?**sbAur^ItPnYJI=0YW7a!K`giXJyZ+P+x!gdR6GUH!j1qXm440b@eX9H2f7Dh
zI?yTcQ&!<J!;--5;QARUO3>GAw*B0KIn=NQ;1<MSAdHuR%F$)7a(~}c;Jl>5Gx5#j
z@HDLJ&)}7Eg;a)Om$(5ZLDJwjNDK`tKU~xG>q)Uhua}+E>-@*usI?S1EV?37f}-B`
zZbq@`G+$w>0BPLT4fGexJ_X?idZ_%n64+-^qlmd=uzC|<i^pEWi}z;*fUkGd`y;R?
z_k=LkZvUB8b-80RRgMz9{R_U^@D{iH&0LA56yXUnThLL15Wner(!B@}JE&$|HLmqG
z2KT(64~8{@4JvlIW$n7U=9=eHnmycw-A6hencDigdHrXvetT<H;DtTtqMts`RIl_W
zOI_Q0T~6p~@{-P#%XU>KCIE!6%p!L(thvZ3)(R2X{aK)da>OGiKeaa8YHSnmyc>>%
z7Kb9v<Rlv<wiPYY(jnmeuC2^Uqiu|o-RB|(e-g*Ko8>ODqWOa?-yh4a-sVpO#huxp
zu^{$tV*$7NWbM>{vEft^Uu5Yy-Nx@N?$o)8J7)6w1p!WtR5wzG;6&o!6-o%QwY|Hc
zF$y3SX2E(F&O|)!x*N(i`s35MmkDeWiU7jeSNGfT2`65HlEJXgvj7r2pOtltw1(on
zoVn!PK`#V5s-X;uG}$m}C3kV{BFKv^(^=O!L$o~0-F-mZ`nPT3k703b8fSKvnJLn^
zzm(!PNE*+be|xD<U<b{=34@DWG0`r!@v2+KSJ`Yt?W@6bYMDzR-BQ@M)-Hj(1d8~*
zcX1zMkdtguijn^&3t^82uj}sxa8dCOTg&g7vWQu99szbXxJUf2@9C8=@{*{;UgH^o
z1af=Gzxftq5AQj_kB4PAwl3KdQmgP(3hWhuqTl>)bp1D4{(^~_6kc^zBg*ml6clxw
z=X<&5dx4vEL;Wq-fAKR22LNroM5nN&L;WWAbK53PSRB57e4l**!@qR@2>vyzWwr{a
z14wmDplnJ53pV&R;M~sSP<@8E`S_>{Z-BCH-BY|2?H2S;!n53;yc`h<H4v31Kj_mz
zv}{k$=GGb)r@^Q7GWQx)+SJAFtiR1@5Y;{|UW?p0#7o1Q4GRgfn^+jSnEV-LE3Fkg
zqRjd@s4sQ_Mc*U^y>P#YqJ&rcbpn!avw_}Q6x~&!<$l*te+%T{S0E25uV-DR*30%8
z=4b?n3U6>s7D}1UTHHHX11b@g_Efmpbj}pSHZK!K!R%bQ!V-k={w_2$DK~_2i+yk9
z#ZZ8-2P>I*Gu;byVkCDqW85nL+cH62a8K!13CSj1y;LQk1PZS%vR+zRVN=3#mnPfx
zY4L7TYOhYKt$T}0QP-}j!5qDrA4|^nl=mf0GX`N8@JIA*3C@ZPWt?-mMKB94*=2}A
ziX|V{5{?=|Y@=4n4Y$cDE|78|KsL)n(l)>H=}sz2#&F}vv%tyjOXC?qN~zktFn_Id
zWW;?JRh6~XbQa?o0zTCp$qu`=-||@z2ImpeP@M`XL_pN~Uoh3+OHK>IuN~qwTPloL
zs45$0stjxkq2rd9Z4)=HSDIdS6RCcIo8u?Erha}r3pt19SFfkii!`yvuaPdpcf5j?
z=d9^rMYG@rgGtkB7Fo<@Zr9n>cvhTiZt6+Ofb}3yaD4*4;kN3%&MtUtUcV))QSd&_
zK*h->jNC#h+f9bgx#@RzD5MX$Lm@6RND3-|oq4wMoUGJZP{~92*)^@*Y_dvh402F6
z__)6FdqW-pn%04f)92m57z#KeZ6YXb5P1+SF;Giq;MZ7~@9dOti_RxSd{?u!Z-KC>
z+ft_U%|d?w2RcYV%Mv(t<sY0A7wZ+$43>P})x~fS%WjVKuEV&;?lo^uo$2kdEw}Tj
z$vEbrgQ4grxtHuO*ftjnUvohYlyZf;RyWlCg1&PX6j=uxRL+cvV0?Krw|_On-}WZa
z)NFRvVYy+6IhiRkHU$O2jmkhH=oIZ3e;=157?fR&k#SLSRLs^J%S3CDG*_oczyWSi
zA1Kxv=pLwyoa(coO|BX;-c*7IVMQhb-*C-hpgf?4gE&u$@8b>D^Ej9CE$Hdp`3tDq
zFi3%a_40$IpnXkZx+A%zl51Nm5qcEF{=2cxRLe>tOjSend?(m|ba|*PL5*JOhX?VX
zK>#6^jF1+F)m8Rv?^Dj6K}hILJbVM@-22kiS??gZ@>02nPGIsnVKzlttk-Oj<Rz_b
zOhXd)+aCk1Qmy>{dK>aBH(x;FaZL`r5$CVVyHa6lr}oIDjZ+Na#GUbm8m$P~k5+gC
zqkakeAR>@1XGLc*i?)D%*b`=IJk7>2Y`NWb-%=uDkLADG-RW}auPH2d$hw{W=&u=U
z9udT<soEJZCXYk$xkxFG^g&tp#1cfsmU&}n(bF_(B-X4&j<D=YG9;3-v*;6$HZDeE
z9F;~_*RP5QNuL4a1ANqvax2Nv>Y|6%6#Ul+?0va~w*H!AzXR$rokEE#OVk^Cd8$pk
znRu5*XOA@nIc#4^JIPzbd{ta?9H%-1B|cYJOFZQ!DEbL*&*O$?>eTS6_0qUCEd(e#
zp3qprQo<GTBMLMR6CyD%+)1xkAvTIr1r}-?ZEptqp&~Ghdy+1DVlG^^7VI=K(rz-K
zBizt;7t-90uh%Q8nfN+DhDKp?yo8?wF`)`fKhWYlMyAsAa;wE}a1sDl{#lcD2Y49z
z=?Bx9vZhIRKColvOlb*7PrJM?NGH(wr>xJ_=He2TNoDIgQ@uMB+}d=q-nXF4Yo&Lc
z;*{5q{P?CRJo1uwUTDt;pe6>!gAlW$)lp=#prm#@N<!=)Zd#8z>g5x^_ZFxc_Typj
z42Lb7Kfyz1nzj_yRS1zplbjq*P2uMJy`E3*tB;&zu2a*h%GPv(cx1O-VpWo|QP9sa
zypw*w9>L9rzh)<|X1l6ZkU<2g)ZG5rP=DJSrO_KvkfwWYoS{mNCL_hk8nl}*Iwr%7
znr{p!v=oj42V*p2B#6C9dbF6ElYb#Y2-+QZ7E#Xnde}i??d`N}m!Z`t)&;A?HaX&Q
zpTQvyd$@6RAlo+3J=Y-*Ir+Ip0D7Gg%+*XJwi>~%88M^hBNmrp18CaCJu`Pl+n&#~
z3tdlx@P3fi=$U^A8$fN{BDt+HobhX4Dwd2hG*uoHS_rs4lZeajoocaUpDh&b9k2C1
z1>Rwfk;k*-j4bZGtk;u?f-<(fGu=DppO~=A#AQkX0QFuk_EHE9+RwN(WslzWcSNiV
zOR)Hs6l>Wpu=Z)iH#>{W;|)d5Fc?-J2X(4Xm%%dD26n1o=4=Y=i;UvNz9GAPZ@CVx
zxQ2^z-k$N6$X84n_$mT)R^}oUIC!YSP^7WQkd0l`Cv6tL3U5MgYBt%nfRijz{3>8w
zgic_9ulNI-8;mf=5&8^gqx!{eemv?FeIV3Tt*4SQDu&uT?reMSGqk^e=F3{uS<BXD
zYHUohVJAZ8VJJCruE~BSbXlm(SUX=O5u$qxmyN*(s2&E{Lb((XJAjcU$Jam?F?oa2
zZ;A|mo4bDfm#y7l&^xY)2-g{Hp&;|H%hIB;WQZ(Ov4ql_yxyXbR~(L!4US9S;93v&
zej~#m8R>s2VpG2b^1?JwSs*lQWqmQL?>s1@+LJZ5cIKMa9ry(gl8O1(@{kDFqhztw
zugnzHxg@BPFjs+7Suh^RxlDvVrkE|%ZaFw8$hD`o!};efZk#$(>nSGHplzbcDc}hu
z4J%DLP&doPT*qO$_9=nnjw?9hL3X;s$qhrUKCu@1nZ{!DNS!YaE!5-uwYCbSSYBHr
zx!s#iR)51i!e4>t)j8|OgJxX0!AS`KGH3H}iK>{ewF4C8^<u&X?n3ilD0Kxa2zMEx
z9N?A$+z?xEF}0G17wJ2Ti-0{E5=8%#GwX_r1VTpa@h@ODlUCY-sSC&zh=cY3M$ZJc
z4Ma012gy%ydkFvgza4kS|3p^dE`W?aZX{o{nOk6Q^|&&V)fs2pkE<7QX9-;Xeoz0|
zF@yD0-0$T8Cl`Vpdib&4s64PVU=?xzO;n({SezUul^Z}WyB0RaFqgEH<P#*DMU;a=
zJ2)?|+iCb2!Pf}-JmiLB+&cB)%hH84Hc$kxp5`ZtYacHNVwaVO*MNFrHLoKV1MT#U
zn%%?&dv3b+Hff;(@J6o`vma#O&P!~cL=Q(K-YKr~2&}DK+^Yl-G-{9_ceO$P>8s^^
zZ5n-61`Y|0ZuYuZYi&+9%PEKuX{dRL$c}Vjvq=v+1j<0dC{n_dS_Ivsh&c;ZFc<3z
zWXo}D7k66yuQryu5+yv>hM_cgCcMKNKOhXBg@a&x4`$9Jl|I}qdEfpdrE7nZ+d+f|
z+YU8kNN5d(K+8qnj^C6K+;02P9^LyQ*DfSutYv>>xW6*!Tko`u#YrZ|Bv?)D<z+Wb
z5(a>9IuIP82|z?MNGhX0{8<|PM?ZfA$nhWK(({z3YgZA^b#mx^>WLU?9ppd#xqEdQ
zcf}9{5LRFB2FD!-c~R=Il*cNHi)z>JjW`mpWPV+sP8}|>O`jjx6!*}d6L%y$^~<Nv
zA++a#b!(7(<}ebEbtZ^Qf=aN?!{}{ZHEzqhyG{Cyls=JobYlN@;q8z1@9Ug9qQ6h_
z*$4VJ+&(sJsT(s>MtJleS^Oo`fAr(OVYo%P%&?dpb9CBS;g7i~u|K?llj8aGNG8PC
zW7>ZfcAe_u{!+n|yQjkpG`a0fYlS!V_f1-@ym#W_zhj2eJwkM2joGN-(84_)gpwo@
z%-IeP!)$yp3p#i+?;ZLv5HSVyJ_V9k{meYjPviOwHc<+kQ*^FaEX!r6BRW*VzJlz4
z>4j_n`ZVt-Mt;b4P|<WY6{=-3cpKNU0V)q@S<T(#*g!(F6r7BasV%s1rtPZLT-ef|
z8Jpb7DPSd3_r%k@Gvekp{r)py3RH5wWMdND)MUIs->DtT)3o3^BuwE|NaS^9Bh|1O
zbNoqq><}3*P^*}aU~8qSIhNjHzQIY^O9vXN^mk9;iM@AT$3W{C|KQY+8;6MNT3*aj
zhs~p0d(=P01X=`AinzbG5iDr!nc{Px7eQ|6vuKCzok#kwXw46qLF&TXWRQk&eRjK!
zpiHbjvlxO#Z*l#NfZn^W4Wx|InneP~`Pwt%3z?R{M9o-#P$3F!fAu_dTLIs}ZMkyC
zuryu{+LDc=!RPJ9jZS^N(&lYl2)AVez*u_kB-4SYzm*W%pjUxILYqoxs~>ICTR#*+
z#1X4NR^?6jjYY?a3`L1svmD1Tav^&a-gxh@@_`g@pf?P}p8sr+8X|Sur=gXjf?m7<
z81j8zwNG{LsIdQasJ%Cfmt23H0)l>AwIkt<0ZV*w7$i-*d)CK5bY5(VZOD*q-4fWB
zI!O74qlyM%=b{$jRi88Q>3Q0tuQHY>p7nQoAOkh*HD_DP2wqDja+6obM#~xpL6ISv
zsZWlf=cknjY3HoWtl!=?n(K{gEEY?#=p0*k8c6{s%WY%`DidiDGsLEzZI*O=r&gkn
zFO9_WbcSqh^lQ|rt?2GPy%*d&|7IYyJo(wMis>aYzo7L#rLkz}YwMA7H!DrrBj!rI
zv)a$Nki89drn2X3_TbrQwjtlTkf$cLndE+YtdN!V5MP;KT1Zzooz~9SyN3h~^qzrG
zdLYvd4CStAqoZKcM@`S@!f30v{o@END#1ilRHV?Fzz!?H$Z%TE(${S_9iAnrRxN=$
zjv16!6gU6zT%Lhm*J~75dB>XC(NW-x&}IF=_}kqh`36$_Ps#<nH=N6XIcrZ}CFyo3
z$9%pcRTq(JG1<sSiGgj^qSOQN3C=8we_PlFqzc|4Y_l-G+dmZ2Tf|BQSw$T~fb4*O
z8Eln+E*CZn%my@ubFof-wmAa4u&;A%5af0p)dq=Pb@A}f!b!t+=P5(SN3qAT_<DP=
z(|LZc#-Mjbpen~P-qm|Y1r5ZaPH-}la*ZSj6#sesr&!PYmRrSsdI*A;im}G4*2MRB
zj!^4rA`Ly&0`nxuP{35dLV8y{epFZ#+76!$<o0zm*rp=DlU@~vpuck)(H&&%UZms9
znr*qbqr7ffNtrpBL=Xd>Z*x{KlmdfBpE1;AEW@%jW3;&zy&(wQ6^Wuo_NHSsYV$9E
z7x3CdNH{B!gnl42g8F<kQiayx=Tf=nYOGKf%g!I#<h-Uum!MhG`1BuamF<*cwr8`R
z$m}%aDtg51X6Gd9HKsYj%APTKT4yk7`l03sT0@sfxOH}>r)}-<q8e}-b~a4EOnXD|
ztc(2}_m1BE5AuWoXl%@#l{pU_IETA9_9ZvF2Ga8ZT=<JFVQP?-jNO)tC9a;^u!q3N
z$5Q-qMb)6^Jz82{S!1l_RMmk%{hs}}N5xa`xrlD{i5XXjR3zOdY<h!J3KeX&DrD@s
z)AV)kL8N{l<rxTY`YcvMM#<PzhMtxA?C$laQQz^x60Z&gw<kIk9OK>^_%y}qZ_JM3
zUg4Ll{<lX(rm&XVKDU6l&0z~fvg_XE@|MK+Wjzd2X~u0%+fA+Av%o}+ZijdB8VGIz
z{s|+t)x7WszBCeTL)WtP*;>7`C5F0|Bkz1<BVw;G?G@qhaL9bn3ie<+JlUO`sy3Gy
zwUqVh-=p*dcWCwP^9>_npSU2?m;ekpOW3nLHx1ONXyhXv$o@d>mYEjvHTKp!+=C1t
zjstPISMaBm<gm=4g^vk7$BP}U#fne|tlKFB!3r**>E^I__VO%iIQVNCTJDIgfEraN
zzz&~WQ+wE~TVECDl1bp&FXZO*4)V^N&*0B3<+a6uYvjw=p3OTuyBsZDG!-f)n(AR8
z+NMB`%7Lfr$cFcoXaV?zP7BQuMN5Z;#3IwtGqvpMSe=1Wk3PBffTHK_In{$HLty-@
zPb-c+HevOS<x;ehDvU4`+p5M8N5~K9Dt1>JYBg<fE>zQAP{%{uJdnel;@UH*I&&e@
z*?$ss9`|Yh4YNl8%M*Wi+ExeXrKp2@^q_UBz)1h%oCIaqsRvV>5|x}&*e)8i>L^{f
zzkB_mzi}%@3Dx#Cys`Go9Gy_MvVE+v$y(LqBxUW*%j<b52an6EGbK8K%ma!?A5O8x
zNv)P(34NL~)v*zr53KZ03ye3sWApm4Aan`V9tB&6Luz_5RP7(z;5(=Tw<~^LN%5=;
zi|FeD0AAf90L$1g=w<HJ{wop>p#B5+dT(@)@+hYrAIO6mDl89xIoscSysiv*HE!Oh
eQ@J(D&NE*A$;WZy+FIB1Z@>Be+}t;!H~$}(>}nDK

diff --git a/doc/tsvmman.idx b/doc/tsvmman.idx
deleted file mode 100644
index 2153f10..0000000
--- a/doc/tsvmman.idx
+++ /dev/null
@@ -1,29 +0,0 @@
-\indexentry{js extensions|hyperpage}{7}
-\indexentry{stdio (library)|hyperpage}{9}
-\indexentry{console (library)|hyperpage}{9}
-\indexentry{con (library)|hyperpage}{9}
-\indexentry{gzip (library)|hyperpage}{12}
-\indexentry{gzip (library)|hyperpage}{12}
-\indexentry{base64 (library)|hyperpage}{13}
-\indexentry{base64 (library)|hyperpage}{13}
-\indexentry{sys (library)|hyperpage}{13}
-\indexentry{block communication|hyperpage}{16}
-\indexentry{com (library)|hyperpage}{16}
-\indexentry{com (library)|hyperpage}{16}
-\indexentry{MMIO-com|hyperpage}{18}
-\indexentry{keycodes|hyperpage}{20}
-\indexentry{code page|hyperpage}{22}
-\indexentry{colour palette|hyperpage}{24}
-\indexentry{graphics (library)|hyperpage}{26}
-\indexentry{graphics (library)|hyperpage}{26}
-\indexentry{MMIO-graphics|hyperpage}{26}
-\indexentry{boot process|hyperpage}{29}
-\indexentry{coreutils (DOS)|hyperpage}{30}
-\indexentry{built-in apps (DOS)|hyperpage}{31}
-\indexentry{user apps (DOS)|hyperpage}{33}
-\indexentry{pipe (DOS)|hyperpage}{35}
-\indexentry{filesystem (DOS)|hyperpage}{37}
-\indexentry{file descriptor (DOS)|hyperpage}{37}
-\indexentry{device file|hyperpage}{39}
-\indexentry{input (DOS)|hyperpage}{41}
-\indexentry{gl (DOS)|hyperpage}{43}
diff --git a/doc/tsvmman.ilg b/doc/tsvmman.ilg
deleted file mode 100644
index 88cfddc..0000000
--- a/doc/tsvmman.ilg
+++ /dev/null
@@ -1,6 +0,0 @@
-This is makeindex, version 2.16 [TeX Live 2022] (kpathsea + Thai support).
-Scanning input file tsvmman.idx....done (29 entries accepted, 0 rejected).
-Sorting entries....done (142 comparisons).
-Generating output file tsvmman.ind....done (62 lines written, 0 warnings).
-Output written in tsvmman.ind.
-Transcript written in tsvmman.ilg.
diff --git a/doc/tsvmman.ind b/doc/tsvmman.ind
deleted file mode 100644
index cfa5177..0000000
--- a/doc/tsvmman.ind
+++ /dev/null
@@ -1,62 +0,0 @@
-\begin{theindex}
-
-  \item base64 (library), \hyperpage{13}
-  \item block communication, \hyperpage{16}
-  \item boot process, \hyperpage{29}
-  \item built-in apps (DOS), \hyperpage{31}
-
-  \indexspace
-
-  \item code page, \hyperpage{22}
-  \item colour palette, \hyperpage{24}
-  \item com (library), \hyperpage{16}
-  \item con (library), \hyperpage{9}
-  \item console (library), \hyperpage{9}
-  \item coreutils (DOS), \hyperpage{30}
-
-  \indexspace
-
-  \item device file, \hyperpage{39}
-
-  \indexspace
-
-  \item file descriptor (DOS), \hyperpage{37}
-  \item filesystem (DOS), \hyperpage{37}
-
-  \indexspace
-
-  \item gl (DOS), \hyperpage{43}
-  \item graphics (library), \hyperpage{26}
-  \item gzip (library), \hyperpage{12}
-
-  \indexspace
-
-  \item input (DOS), \hyperpage{41}
-
-  \indexspace
-
-  \item js extensions, \hyperpage{7}
-
-  \indexspace
-
-  \item keycodes, \hyperpage{20}
-
-  \indexspace
-
-  \item MMIO-com, \hyperpage{18}
-  \item MMIO-graphics, \hyperpage{26}
-
-  \indexspace
-
-  \item pipe (DOS), \hyperpage{35}
-
-  \indexspace
-
-  \item stdio (library), \hyperpage{9}
-  \item sys (library), \hyperpage{13}
-
-  \indexspace
-
-  \item user apps (DOS), \hyperpage{33}
-
-\end{theindex}
diff --git a/doc/tsvmman.tex b/doc/tsvmman.tex
index 9d30329..f5590ea 100644
--- a/doc/tsvmman.tex
+++ b/doc/tsvmman.tex
@@ -102,6 +102,7 @@
 \newcommand\forceindent{\hskip1.5em}
 
 %% BASIC operators %%
+\newcommand\rs{\symbol{92}}
 \newcommand\tildechar{{\large\raisebox{-0.22ex}{\char`\~}}}
 \newcommand{\instbit}[1]{\mbox{\scriptsize #1}}
 \newcommand{\instbitrange}[2]{~\instbit{#1} \hfill \instbit{#2}~}
diff --git a/doc/tvdos.tex b/doc/tvdos.tex
index e830db6..0ce38d0 100644
--- a/doc/tvdos.tex
+++ b/doc/tvdos.tex
@@ -4,12 +4,10 @@
 
 All \thedos-related features requires the DOS to be fully loaded.
 
-On this documentation, what would be a reverse solidus (e.g. directory separators) are typesetted using a slash; while they \emph{are} interchangeable, using the reverse solidus are recommended for path input.
-
 
 \chapter{Bootstrapping}
 
-\index{boot process}\thedos\ goes through follwing progress to deliver the \code{A:/} prompt:
+\index{boot process}\thedos\ goes through follwing progress to deliver the \code{A:\rs} prompt:
 
 \section{Probing Bootable Devices}
 BIOS
@@ -17,10 +15,10 @@ BIOS
 \section{The Bootloader}
 LOADBOOT
 
-Then the Bootsector will try to read and execute \code{A:/tvdos/TVDOS.SYS}
+Then the Bootsector will try to read and execute \code{A:\rs{}tvdos\rs{}TVDOS.SYS}
 
 \section{TVDOS.SYS}
-\thedos.SYS will load system libraries and variables and then will try to run the boot script by executing \code{A:/AUTOEXEC.BAT}
+\thedos.SYS will load system libraries and variables and then will try to run the boot script by executing \code{A:\rs{}AUTOEXEC.BAT}
 
 \section{AUTOEXEC.BAT}
 
@@ -191,7 +189,7 @@ Functions:
 
 \section{The Device Files}
 
-\index{device file}Some devices are also virtualised through the file descriptor, and they are given a special drive letter of \code{\$}. (e.g. \code{\$:/RND})
+\index{device file}Some devices are also virtualised through the file descriptor, and they are given a special drive letter of \code{\$}. (e.g. \code{\$:\rs{}RND})
 
 \begin{outline}
 \1\inlinesynopsis{RND}{returns random bytes upon reading}
@@ -222,7 +220,7 @@ Functions:
 \dosnamespaceis{Input}{input}
 
 \begin{outline}
-\1\inlinesynopsis{changeKeyLayout}[layoutName]{Changes the key layout. The key layout file must be stored as \code{A:/tvdos/layoutName.key}}
+\1\inlinesynopsis{changeKeyLayout}[layoutName]{Changes the key layout. The key layout file must be stored as \code{A:\rs{}tvdos\rs{}layoutName.key}}
 \1\inlinesynopsis{withEvent}[callback]{Invokes the callback function when an input event is available.}
 \end{outline}