From 56437dd5d183c417e4df6a2635b6c3c15ecd0db2 Mon Sep 17 00:00:00 2001
From: sitaowang1998 <sitaowang1998@outlook.com>
Date: Sun, 13 Jul 2025 22:17:10 -0400
Subject: [PATCH 1/3] Add architecture doc

---
 docs/src/dev-docs/arch.png        | Bin 0 -> 25822 bytes
 docs/src/dev-docs/architecture.md |  79 ++++++++++++++++++++++++++++++
 docs/src/dev-docs/index.md        |   8 +++
 3 files changed, 87 insertions(+)
 create mode 100644 docs/src/dev-docs/arch.png
 create mode 100644 docs/src/dev-docs/architecture.md

diff --git a/docs/src/dev-docs/arch.png b/docs/src/dev-docs/arch.png
new file mode 100644
index 0000000000000000000000000000000000000000..ec64a0cac3692797db3e7ab133d10d343f4ec11d
GIT binary patch
literal 25822
zcmeIb2Ut{FvNjBe2m(Tr5lKx0N)AfSHlfK;K#&|I=O`JZ$vG%Nk_43?N|Kxv1qCID
zWRM_|BqzVs3g>vv+;3+7e`fBzGtc*^(7pBwdso$}_10UpACaocviRpOo<~DN!$-)$
z)zQ$<<H0`yY%I_cth8qaexbXl%Sxe@_Fh^<LxWYhO6$1Vd0JT8nxirDUjO-tk%!C5
z!Nrx47tYATBW-JL>gw!Z4?co+V@q@UlM6}?-qyCZ#*92N*EqPqrOQgjrq=eZ4lY)V
zyi(vh!rs-~7W@Xy;HQcP_@M*-adR1RUo+&t0zOJQI@+3Ro0}+DyP{^{<>%n#1I?Ee
z<TRBO8F{XQ&$iY!=HQpCxv7l<YKWP$u?L5>1L)2JR^>q5(se6m2RqP7hMPwKH1Y9q
z^Kx(tpeFkL)@68kICwa&fi?|e3u9;NUzS5n;co8iVhtYg#{-{EjJn`rYHVx%vzhy+
z08AX5&CH#DHi4(+VdRx&<dOtkQGa=_n^_xMIvd-8FZRaZrhZJQ3WUafGThqiXPbwX
zyuFR7sy91a+mqegS;b1>hV!3iJDt<cQ`Xto(Mrj|?1wzfJWp<j>)MYS07CKl*}^Zt
z|MMm-oln;}Sr*lxVeNhTC@14A-K@>bT~22EInvd^!PeE<@sEwB4)*rI2>#H~*xA{^
z<B#1e9BfaX?qpR*@Zf(Kglf?E3z4E)wXMxuf!&}CPT=&hQ0;Q&)|OVMD|2(5+_;_b
zY3Gv$7b{~k2aliQe>DB7m7j7vm8P?U1DNj@rTu#Ow3D6Zb#q&k@t(@@WF25P|KG>{
zCJpD`_Rc>t9k9zEHfwC_b|PIy9zI*}Oi~sOU~dAWb@e(iT0SQ?)WiO`!0z%x|0q-C
z7H|YM1or6Zb@0g&)lbRX)!59~73}Gs6N1P6Ip@#Ir_E;8?x!P8oBrXYHC!E>QRed3
zR|YrqhsA&F(cd1I2bh5)N+zaWw$}DwoAQEZ^02aYHP>)7Hbq_V02>LkS-INTf^Xd5
zqltqX=xL^C@>_$ksg0#Gs#V3!6-<K~hU)lJd~oh-;PZ(F%$;4$PdDSwCP(Anb^Jr^
zf8Ef2H#b>x;KN*<y?}O3XXHCEl9SENclG4E$1hvuq{-^nU4ohvB^Tq9-D&yT)Tq|K
z$AUqhlMV3KZy$AD{Ar)?{#^Ta6Xf|JN^_KB0RB<R!P(Wy!P3Fr*jCZO0jT1KXm6Xl
zx_X_sCu28P2hi^q4VimdyXv5Z1OLq{h5Dv@G7j|_juIDY<{w{BvO4{uYVK?eWctHd
z|7f!Z^8IBZ)K}C@zg_!%D%2(TZ*$q3Nurz`=xXnPG6yMhdovku^qq|T`NZaCfAV!M
z4sOmrYz|z%`m>L#v9qN)*k>p&C-}4JpJ6c0=C;PJ*6t`n1(Tk5oBt8*pFF4gU%Dn2
zM`M5>{sGqn|KXOn{?bkSocYv2{SP?=V_R!W6nroR9v)?I|1BQks=&!kM_DS+{J)2X
z03hs7O8TGi5dU-D-~^=o>J0?`6TJa|;Qvq4C<*+k>HkQ-e`3-9h2Q_jaiOV|xtW_S
zaH{_|WcXKY>~EmIpB4(jzkeZ+<2{X9PTlmW+x`W}ai4;=Uy<A?;QJpr%1=Dfze1(j
z4$e0J#`@&>6EGJz)$cF*JXP`k8g-tyo&TrK--4mjIE(jGS0~%^-$I?-C&=#)`uvk4
z1X0SL;uaTh5V`)T?Uz97k2nk<*^_YTN5pd)Ed30^egsIrMP7dhmwqhrOL+8m1xvr4
zkSB-9KO-{wWk;TpO26*N)3(1mfcop<@Xu)e=TB5<tm**hP;mUC<OB{Ho>PB*VrcxQ
ze&f`?|BM(<Mxm7Xw`29cwWQ#mB81Z?K3(#s-2Z<p$qUF?Koa~$Tl{s&ob>*|75uH9
ze?cj5pG36(dQRb#IryCjKoJZmb^XQ>{1^NIiX8f}S$-e(hYj)L+Fz0pf8Lyb*FO1`
zR5&@If89DK@%KMt>-^n&;_orje@y>iEBwi|{n1nX(>SGnd;OnC>OV~X|81P&znA_`
zAl<L~|36dzCtmGe;s1a5?h{7&cYgVINB&>?|5Jyri#i$pCLsD(`TzfdM*7e6|0j&$
zAF%E}DdBb9)*7hiKZaVk#(#qMegVG!`=|x(e|usO1VjG<KnGHbKY-4EzDGZCUH=M?
z{<{}PdFNCA{<l2(?@s)OPd|0=zYqIwLG=HX0sK3=^dGSQ|59&p8bJPD+45^(_~Ytn
zEzQphCj(HGN<T|5`d||YXlQh32)LxCr@_}-IKxU>JBA5TVcjH@QfH*(ra3DkrWK@J
zH2W11)?DzVM@jPcv@TkyLUJ{+@p<|#Cgl(&bCYcN`@L|OSn-(vf3^jEvMc)pZNy{G
zt-k1*xM_K`{n3VC?*fg8XPf{x#sx@sDra_EMh5$1>~aM5quHQE4>6{AqW}V%M|2QA
z9^+(#ZNEz2O4D{hXJ|95^<qv48WkmDjZ|v-9F<V~*>Pj0_-1Ls(hKGBIH~oTK0O;+
z(ox@dk>wXI(>Ke=;FP{Kx7Z6)HVgDfL%<v%A&<`3nzb@=ei(o1s|A@kRD?c0BadAk
zuNK7Wny%ZJL##VVZ9#;ik2$r3MwRaPQsH?uo1s>_fOsPImjEIRTeGCe^S3Ng92VeY
zo_EvX803;QLd`Nv`WxzB*?Y7}xqJIytwIm}(OWd;<`F;IBz|)9dBg?bWv-GNPc9~N
z8fNWobT8MDk?mQ~;>@q%qBB97;$q~4tEkf7<;f0g4H>Ekd#t<;++8fpR%VcidLZPs
z1oJbfFp*wg-TE>V*%V32DpR14`tZXeZL0Xe!6$mwL#4M|H{Zz)<lLpXosVCZ{E@@3
zY-VO-A7VuGF4j8V=GjPhfJoMzZQa1{Z}=w^pW6&Qyk;}__AafT94;9fp?J2qzu1Q|
zL&L)twj)nlHR55;tvJlsMCqbFRS?Qo$4_)Bf^NSrGX60&n_-#h%!UP_5fOK=jhW5!
z58a9x0`Wrb%W_(eZWI)26h<&Up1o@ImacAR+-GrjCbrO_agT`|nMQUoG2A+&_LvR~
z#lhGjthQ!FHb?Gmk2)+i?2P9rX9~?pdG=+AzOS;=`&i?|@aEn%g?2f0(RdnBZ`F6X
z(u?n8X_b=hrt+9|$Ax(GmuRt8=-;TccmvN;;B3&08#+s_FF_!(hIVJYgWUBsch_65
z`Ape6`<sx8v`1x)_n4IK!SC}sFtI%eTw4<!O?a~L9G`imuL+wAS<ZKv-Y73#@^OyY
z%Y-1bDq!*g0a^0UV($1*TyphqpWjIP7AU6kXx2KL-xKyIwK|tY;CDB~S&oMm8y_Be
z)pysi;u)6I-fW@@oTlA;?R(&vb1cTIvKCZxU%F~)@pr%)HC-GjjCNOf!aaa&B-(`t
zzd7F9fI{lWhw~A{`%90?7DCAl9@vl7A&msW(P;3)jn=0-aEQ<a_5JqdpiCMyj>h-I
z?g+KmEWXV-qm;%aIXg4QR+up5Yb+IjfGPGreNe`i&>cm|TV&poB8XQ-Tm)wKq^B#G
zrHFW3>Goyts@=z{6~6ADoVsvSFku+63*8K{BqPVi2M({Y#hY{n69RphAk6AhBF5Lj
zgtkPuHBDf`kI!w2<&#<7mm6Q--~UoZ&5%TnjG`7!sdHU~rc_+Kb~`DrSJ35i_%K$=
z<9mE|EOPmt>(e+-<I*9YCZ3w(ejTm|7KL=FPeuJ<Rv@2tbz&1zu8+V3J#QxU3e4c`
z15;W2)+bJ`pyd^hol-C<7yw@yd~(04@nE&dkdRys(^5GFY#s*MM7icyuihL4p(TcM
za>*7#s1TS7eD<Go+Bs!nE?se#DtJiif2g+nK&n;wNzhr`&j_f-L&co!ucMKf2E*&g
z8GN?GbSb6fNue%GiqLoO9B7b27>dxPw2r!vCoqgv3<ZTX8As*WX9LO#-8jNk<y7aL
zqVyaZlEd(+nEX;xnS*RJW|7<C$Gg`tdl=E_m4hZs)6ah`PUwDW-cxkr$;}%}@xZu<
z*jADx0uUjjk~rx1qZNT+FTP~XCYg~GnE`e}R)M=5vp;p0wteJ6J8uNZm4sw?T#my;
z<K|i$L8J?H5tVRN*ad2qs=e_$J7XbpY_LLD&^M-|gPp?OOkv{Q{Abn!GB`fsJfm!e
z;+=hVMGVcb+!)=*3d6Q$+p80tRWq%-h2xoL2{2{!y-5g7s$NuXuZ$@i?Qius?GnzZ
z_ECF$l018!L=_5YSDb_xYY$12--0{TuZOwSnN|8eITI<|o&{W`5QZ@q&%yRr;;eJ-
zc3MTM^pF>-v|q&;{f@S@Z`QdM4?p$kM=&FUqYa2sT2*Cva=eOFEJwJywdXx+IaaaD
znWw4SbUpyj`f=J~Pe!kiNu~>Cg7E=+=%ox(YpZnJRYNhz!Bji8fOG(&{fc_VYW9{2
zA5Z)sW{N|8hmDz|B2>mG+P=WnESFU;3kKJ#dWf3f{7Cp<4~$5y<=8=oZNjQ&sC^*~
zuK3{Ml+Z{wT&Jd9pVDsX;zjDjaImd!vM0)EG9L8R=rq1dDMP;FMy5$zYjt}Xk1Tgg
zhv%~EU(Yio;>NVqd}L09EHN7)Mpl`<iH<?EU#g0KoQ{Acm?+^z%u(6x-J<{#;%GAH
zGgGBw<EExo{>4}?LDr86*Z75)ATGl)Pc7oG3#}NMhqB;$jdikJuv{v&Qce==#|91e
z$T$r$W(W*e+cj!-gRAA%_-SHWNmsgGSiQ@I9}_Xk!!};=cwR^)W+3FpOoLA|t*1qk
zJ4EFtoIN(I_gvS9sWy1KbuIXQKia8X>cEXiP)+#Wd9a#65m*F{RwAvJosRmRI}Fsu
z`Mk>o^2z-%s&BvA&=P8QV+#O_Y)6;N=n%uqXD$cc4%4Z7?s6>&<4XoP6}k_^2?{1J
zdyL(d-a}}jBACsx;We^OKr^t?1cH|}O6;;{MSTq};NHae)W`vD%$5G-mZuEeN{^%y
zZIk8M>GK$ppfBNY?YsBs0x1RMmy+v9Ld~=2QuBgRG=)^~6ijq3B=#6NkHn<51*O~&
z8MP!r7Jj-z<))dM=X-|h`t|xtWX~{b?jX^?DILUz=_x2fl~l@Na(JtyGgJgT+BBrO
zhHO6FQ2^GLWh5|5^4Wj~8KUbgwwW0nM?iP(Ev5<v2AXKD5)TrtS#BTJ(L-;q8mUZ~
z;_qs<I4_q5KZK9wR(Uerj^|=qIq#E8hTD};%8k^4Vrz^UF&Ld6@f_+&jPvXf_u5p1
zLi*1d#DvFjT^Ar3Y$80bbUig4el>ssPAWo-hv8<gL5jW|q6NV<^kahbn5TSYXvcAA
zZ0>WWciwTPkMj+DSf7+o)=yBF%Z1c|@f%zym!tSZIsq{{+M#x4$LB#>1*$a=8N{e}
zMJcos1lneKZs>9QdgyTNx4=v&b`)t_;$>;lXGlfZ5bLr=Iu!bM%m|xdY<ujKA~IEW
zqkMk4JZLz)NGr_DF{fxFXRW9JD8}K@6^w^hgcHLR=)449F*@o;LDnGX1{Zh<_!8yF
zqB2DsScc3WX+5$qF!_YR(2VUVW3;vO0cn|BK@uj;CswxX^*~Is8J2*_^P)}6>Jono
zwoU|^|MwM4Vm+d%xyv5s+X^TG1?Zc5j7JKny@(JuFuaOzN?EhWmBwkp{l7VDx`$3(
zib7+MNE&jcutjX}_Nn=g3#!9fS1$XHgLXm^45#PfIgAj4nDa{-Q|^@LGR;>ooOCW!
zX2CrLUlrFmi^&8)uyHZeZeI8n4IeBsRIwR+oCDBGf1mhw#ru4Axo__C6YERZJ{her
zJ@@tF^GNsAaV4Lfm4Z75+wZ`kvM|{aEX8?2aF($3qe)B9*<!GvLWn0iBFPIA7!}kP
z`wNNzz|m~<^%DA=W?JMt_e%5mZLRpb#6TKc7?KQ=?Z*fz?1Q^6E1%uj+n6J+Dw7Dr
z&;(wOMZboNl=a5ziwA|7a7W_#darL*Q>~%XH-kXy+Y+ru?GKEHjVD<(i|FwD(s|5_
zG>g@t-S|?M)$_yAu;J*<8}ogfW&~W4m;H~n$iI$M$`azEbzM8x^!-@aZschwIOEAb
zmK&cz7#{)u@7fNLeT&1KApt;IJ~)9RjkJTY@E6M4z}73QxdVh0PKV+2%s&f(`QXm}
zV&PTOPP}`fK73E~YZET=*~$TwNd6-G_J<PbYq#GMjt5WR<Zl4n_ZFN_m^p#NWNbPT
zg_-UbuUYqp+`DEY1K=sqYzGozgh_#}g*ki-sf9w=5Ye>aSt!hueP^5Ux%EKU%_`d~
zQO<cX(VBCUHhyf0clPE|ui6Z<N&3<?1B>h*vCLMY7Ix2P(JI;fNNXPjrfUsF8*R$i
za8`us$Xw*Lz-!nV)HA6q(I`}IT>v1<fK4>?+R@&8_Eqy&B=-cIpwU$PG0K8-By|h9
zkqb|IIA+Yt%Fibsyur4Tq2t&l=s6-c^sPuZ>XC;I%O4zm>l^5fX9z8HS}aIapYP4Q
z7TKM(H10J|?fv!nP)K!uo-9G#O5GQDc@|2&V3XC1G<i(iNj12$rNwxV8V?7^S@!zf
z3kCC8J~7@~OVa$~o~Dmeyc-WzgfEKu3Wy#oSGtbcRjW-j-s!+XQ$|_v9UvaTYJY3Q
zEZCko=x4CrD)EoO!Kq3t{Al_fVMfzx;{hDcsymL}b?bw67wLH#eg;BZFzATYf_a<s
z9Foq+wGE#?oc(!Q7=9kHiU>EE{ES(g&UoEiie7t)u_yCz#A}o$a)W{BUO#=^bId4b
zc6_+^zCeK-pdqTQ)d_K-dpTY(QJ-xRD%|px2PPd6_iW~uD9~l-uu*q+T{QEE7#0-l
zHJppPu`u57qVl6j25!&I;WyU+0(5#1kCH|RIeL}<?WYRQ{e$4Zz+}O`DimI=*LYGz
zG2huwru;hg;x(4e%WH2b1J@Xuw^eS1z1-%UxbM*D<=7q$nO>u2zJ^Ii>jiAD7(mP0
zX9fAeq&k6UDFq|PwZx&%{P%=h7aZ4GaXCrm#RZD#(dG^SdhBSt{X>dkn2tvGzGe&8
zA`Vi^z)m^mR83;vGM68QHmF{K7p_1n$c+&tu}j#DKWY2@(@Uj~O}^jt6At>^zGS?I
zG+%oYl`Uki9|Xa^i0)hMX%f_AxRVfodgf};VPds&L_>Y4tlBZjs?<Upz=Z{(MbV9l
zd*sG#tHgDGDQoKGhL8)y(1_mD*X-n_B%gGG$TVYMN<hI%I8q<QC80|9`R2xSIUGff
zHU~PWSQMcg%`?!bfV0>E@L}+9A<ux!dWF8Qi81Gf&jb^QT^?881DiG-PEs+m92LO+
zqhGNC!^klXQA^&sugRETTn!m*DvxruSSD~4ov`UkLcK4sbwbhPLcV6-lT-g{XyQRO
zK|O;f7k5s%xanwnbh^QPJaZ0@zqbQ>I6UCcZ{%1oQCa99)ijcG!X%xt8-!YFtK$u4
zttXSb=UydCTQET^Uv<?|pi@EQjzRC*N`LD<<l3G6??JVuT^H74u$3)Aq@K3FxtMsy
znh8RsbY=$$aSW5FTTKPGaMa^D%(cSl^F+5YEX#Z8iuW{<dEui?S;447QzqEZNeaB_
z@Qgc;Ga@17kU+%=&QbCCZO$*qt(pdI5%*=C*5mnfUdsrZ_4Qt`kv{M)i6@3fKMXto
zxb8aL=uXcz=L^)XRVVS;Ue4h*?F{cqTe}S0Kqhu->T`#Qtn(z7ClyV|K7XuspjFBe
zNoP__lbGp@&eKp9l-BQdf617tnj;nZbX(v)k;Rh$UM^rAM%V&J;6V$>)uulZe`s^Y
zmY908j!0xeRub8Ld<M}Axeq*B^u=rE73nkhL@awRO<5a7t}ti&LVLS2TzUmvS8C^(
zFg`1PaV`l_{xahWcK0MLhJB-9mH+owUDuGXNKXKJH$e>E4}z-p#jnY%+Uj7_7W*CT
zYgXIe0*WO2P^1<dLB_t6ZE;vukSXjDam;4em;u0@B8aLV)Vj<^98V_QjwEAm*P{bx
zkjEH5zx+ZSH%B)(Y;Ho<_K%((9ZZ~!D#?;FP{%CNS-Dx`NYAeOG~~u(9m!!Dy~jG-
zB{!d!q%CR}sRq7E<y0|$m6W4iAg_ibVho|@RL{pI<<L(%PsVmRr5l_t*;Y%<foDPr
z3LAWO`d7wYpjd&Bsw(?2`KIH2R=e@~bP)JRh<`uiHGUXi6H!sQ)K09D4-NqJOd+=-
zg9dMt+E=*N`7vXUh;AQ2Yk0shqben_vqL3&FfYKA3roM6zWy1@U8JSC?d{BGMG8Mc
zv~V;m+IF-cG_?ROiA!_>*cU@EOwd~btRw{Jm<S2Ou|q<r+$2@$N`MKec0`aixC`5O
zjmf7ym+VEIw;u`Dz8pk9JpyO_GsM`_h(mR$p0GD##+cARH2<dY_98~6=_j~ToNweQ
z{3tiDrz26VW__?}d~vmV$*O0<_0KX85(3!ceI^UhPUWWvy|^~RLJ>#@Xpi+UvBYrx
z!!-ES$u2E$w4=Zy{v9TW!!9?{syX(N5oQn^Kw+wVMd<jNDbc$CTJ08WOaMH?`8U(y
z^-}<@ql=dUA43G_8HWX4q-R?!0)EC1wImEgi{o!C!5W5a2u%65D<82J>akwB=cmEz
z5#gvisbGv3prpiSAu3^+w$Pm6GZ=f-4JLe7bH(^m=OamJDJ|(wvsBgVOE+YgAo$^(
zN;sg;&+beUHPPDDJOCg{T(y^{s9wLV8n3Da;os}DtFKFr2ltTcq|plc1V@CFMAW?G
zx1ag&Bnmt_Vf1|>(C4BiOjD~}snLn5%--A#Jebv|BreeB0W_xsYQGUZ>gmSHkQj~y
zpLrMp`e2dbXpuT4I)K~KqXYn#?jk>9)TrmRBDtcH@cX|1{9BhwoEZb)?Fop2P@sp!
zuu%j!v*;LsX>9W=UniQfkN3ZD3LUPsUGYCYd^MLzwhO|4YvAi#hmG&P0|eL7v$PL;
zim!$`1G|7k%t6?Tl4}lfePyKbZWtb=6ySg)IFO$J`}4lZ-ya~ia#QOcXZg|A&_IpT
z%)%#^J~w^kYcqw}e)7Oq<or1QHy5UAcERzWoNDMN7){9=#?iQI(lvM3Z6(#{w>fG@
z1%#!S!IK<`hr|?Qh`LX7k76}h+W-LoQSScMmjP03eMuC~M4{CI6>%j%H9Z8B);n;j
zUcY<EIXusy*?~yXXUM?kNnRuUfK6EgQzx>C^TjgHUo3JdvHNv8Z?V_6&(I%qUE5s(
z6+JTE>#r}xi|sEk2+c(CUfRLO`aYlSPu4@isF32S&rud-Zy6%APsGpoUesWrmAmWG
zb?Hd50@PWyCIGOOau=<CJzWA2^*aD8C*=&&;FnsG_!8~+>Q<5Bj7rfvfP#9MYT$ik
zi0(lj@SC~7gJ=MDO&{O+%ixn|HbWdj`wMwz3}xQTAz!C)2czI1R#@!*&V+y82Sh!i
zTCqAKfCJh3@z}4l9_z$&)XoxJ6!m__N~nR0AX3YOEG<M{VSJAf6)5i->jBQ8_kh5=
zJzP$I2dJgi`w*}{13s$_vfqzZ{TII<uYPY|^#I`h3>MylD;f{q0ue6`o5mK{l-A0y
z8Pj7y5tzJ3w0^siv%!z=U$vG3w;`@oW*{mn%-M9v6Ac)u6pmZ+0Gkv5-Uqi2Dwq`%
zOV(qTW<{UVhoV0@Zq<cv$AJKPq7Z<}_?5;3d!et-28isUXvGaEk|cw%)Ed0Ec)Xz_
z``iFFVbB!$gLq=|y@tv=z{kkWXL@AuA-<%PRmD)2biem3@W2-h^n=oWuJ&9v*$0$n
z$M>88ol-5Ow=N5xB1l<_z)@7v@%(dNBK&PXPzBqdZz8dnD_5~%NmlrUwl}a`ErKML
zfunbJ!{vc2nniKDMTC0YJ=diVF|oW~CNQ=Jx119KU|Wr5d|h<sQz9KiupFE~=XoSq
zG#=s|0pa1qGJADmC+x4hSPhvUsCBXAetAXpK|tD83&rb9VeKT@JB9%FV(=rNv7*})
zTPtJ2+H9Wzqgo(#XCGF-?b@TOyiec57&{-$KmH(+qfQPH=4C#}ZfHl%s~KOsE>Dy$
z;>80b$057QO)2r%9suqT{~qLv0s1fiA*<|Iu`we=ooBl*nSL3q<`e}R81^kcLC&D^
z3R+k?-En6ZHcx9Ee-wHO&zj_eMnJ3f17qPhrdtcI=MhYYKpm>~T{q8uO;eXDJU{0l
zMm&QG7CP|sm^>MG%O?emik|@pfSf>FKg#}oDC>DSJh6GrG#zdH8;Cs?Kny`{fYT4Q
z?iD%9o)q@hVW}0s+U8;5Uwr$%SYz=uZy!n1Ipbyl(`r&N$Azg79O5E?{Bs=^80urR
z4ZK3ZAu89C%30VMO@(`XG8vw+eLVrY^Q;QqIC&#==F1RYw`~=VTMs+$lOv7r)^sZJ
zLy<kpBbCH$K|^@cE!hmQA_+I2S<$;{hT$0{GArGKF$tB&f@p|@m?YoU+|88vD=p1y
zvCG-Q$vwKeM&<AjN-CkqSS%cF%*Sn{SJdIYagM8r2-v9YQlg4j4uBXq+Lvg3!MWVt
z6`6h+t!4Rw_}!ggUD|rG*+AUzSy!2G_N<YmGm{4U(6bnfQF{GHA{?9N6~qA5{!r(J
zyz<+-cWJyYOP+sz`vZ}^@9n4`;mY2(`GIf<1Du*J{>4fiYgY{CBBVQjFD0-%7<Z4e
zW-<s~xn^5#5KXOF*0^61-eH7;u})<xnu3!>Fdb}wXtx%JA&oH3O>@WVWN$sV7Y#3m
zu~wIv3JZyh&mu6E$rCo8&V^vrVF*XO#I<EO7I&PKkTu_mVzXqYOs(|ZUcQ1STpxoZ
zX6_f9&tQ=EJKmdr|IAvWqAJon^c<}(mn2l#Qe!ct(rn~WX<bB?*JsL#RT_9eEO`&%
zaB;9e)Bt79z<&KEV>;ZGN{hI4P^+*w{r)oTY>cj$88)X*DXr;ts5v@i;c&HsVdsO~
zC}guuGsorh*}<FEn~Z|ZmwS*z8?97<%rT6Q3B(Uof$B*zj1kId;dFk}K;xTd5{0bI
zG)?_kp7OIBCO7WJ554!SjK}T_8|Jblw7ryKK4mAdn!>Iplg37G?1r^&%J$8KRZzVS
z(C|RR_n47J9)nI@)XY_MQeN=@1~a<b8jD`^`ILxgU$kY(oC@nY6NGVaqf}q_+1Z5F
zgtHRK=&(XwslqL<Mcl-28n+N9{c8J69Vr&ITzIMcTvvDjl_%BkaU|m<%=f$niZ3eF
z5&1e5CMGiHp2~S#hU~kqHteVus~7YqV5fB61VfYIgd(B*j1AlG)4~(|L_j*C(H5W2
zTyx7R^7y7=^big*!+WXNq(j>K!*E*QoGx3=E6lPpi5auea*J~9*1BWZfGSrJSr5_S
z@9ZZ|iFe#5M^|C9yz}i1zezD22mpE?@|+!XlHWsRD!}Q2yk<|BtVjo0E^-oLfY;h?
z8EXfRHo{iJxe7w+LZ3Vm8=L7cJFB3Yj?wNsPc6n)v)Mlh{j61GJJMcmls47U?Bn<4
zNp(LBpCTh<4|09JoK=Cz^ZHw-#|YCs`7D(YkOKmsn<Jh;xU@Xv{t_~uBlacE4JIO|
zeuBq%yH1VpYG1d-%wq2!k0z&rxzEJRUG5{m8(Omlj)Uysv-hKc`6NEAb9yZgb>73K
z?NF1YX0)&!Ru2bKMhavq74Uvy)h<P0;D~kl@E9ZFDi!Et$Ow%brnrX?gR8nBSnOts
zC`5GWGCp_xTLQ6NiT3t{#Egy!plB05g4nZ_rDpvtA?Tf=*UGcJO+=I7ut55%b9Yj3
z0=;ZUI-as)3_BOo?Kw^Yatdxl&5J-lca;f!@9qS--OdN>PWW>hPmy#WeDO5+=7PR6
zyJUR$Gv4yzw9CebOYp!NIwD&-TPRas8pWJ6l*QbQAq^-wvPiw)e5U{Lo+ik`T=GfO
z_+enwNTXB?ch<?7Hd)qSA8?Wv>+qdHW_V5`V=P0ImwMn(<sKg7f|@KQsd3cQy2)MA
zppjii2|PMdHcJzXz;w!bjKk=}uW}&9Ar=ax_6yIH%Ug97WcBjl4xdG3EG)Gi+@*uD
z@jg(p-Ibt?FV7F##hzxT<AouhX@Vv=6gV#kbGpL6bbsym?SV4zVNhmS=WksZf-dbG
zk_*%~O!8ClNAK>+8NhPYZ}11{A~5lxaWS4}iP9hnSaQX%X;(f*aJ2KW3DdnS;0j<S
z2r^zo6Ys)P?gZwCojEvPz^Mq`e-C-ui7r&LUX0VSnRERv6Grr|XwcYO+J!L1VYTol
z^EKEI^zJXEFO-*erSz4U7Lm;Z5>aPyXz9dMtrrTiOsz@vqRfLznX<c@yJ8p(ZLtug
z1mZ6M1w%B)g&xd|(Ff0ZA@AXllIXYVG@nwOUMptzPA{=|-Qs3%(78y&dG~F}yN=DI
zPDZxccS~Vi54hE5J7zCaBfHV+<#ihtj$GR5zmgd)_qKKgglJUokGUr9dTikIXc9RI
z-A~XPMVkaXWwBnh{d8X2>kC+Cve4XH=mI!ZI@$z`JTUYnn0ck%FXoHcK5F9==D#Bu
zK>jj`Xo;+<bYC%seEgglfqLLhpq_7H^?RmRbXo=`>bK0ESmA~>N<3IWMxr0v)Nj{4
zDGkSOC2l3#0jvR{M#-KU4UP5{susYuM=`bh1ui$~a!m_Q*}&{GTIDY;iGBILW1C&B
zlo~V1upnNQ4K@N-(nLq=AuhpGVp6X`oSD$CZLbJKoD?s`aY0&czqwMF0ma7F>v5tZ
zbBDk%ImZ#YW1gR(5HAlh3pX7W33;Y-Y?N{y)Xc#eeMo_Hr5xor68HOb=$aH}%L2{r
zCh2wVUs<XwUnOSh_+SMnTZ9bvtv(auykkuC?n#2a;alu9o)XDeR*eI2;x4YR#l6zC
z%w%*onwoftLvuCdn-d=a4)K+Yyf$4%HuG0+7|YX#AEW!=tx~K@0$1EaPmWx$YF@NG
z|H6ilu+^S3eT|om)yVFq!BO-GtsHu#`kqDb$zjp~1REEM6q@EUAg1`JZ~1A~X4G@a
z*t8W-1(Q#O$#Wsi*3>0lam}jS^u|Z|<fnD6Z?TaJOZqxX6-qctGi254_c{lv_Gf-Z
zZH*wd{9hBbEkwZAl)1LqW?Z?IcT6}def6b1&b6r;{s;&0gD)&Cn|_*oBxF$KFZf&u
z314eG7c)AO<bAu<+(aOZlb~U;K<E-7X6@{jL6!0xK?#QzBVI{%-A7aaIYpM@J<ViT
zIAea0Y7m?(2OmEhOr_~WjianGonrXuL4@f(fG)Wn<6g3#O71OY#+3WYu^hRUgs`}M
z%m4xFb6ql~eKP(%A!<M*#lkSkFjB*(a;5YkP|*vTFYX+;JMEE&!yDgrz)YsURplxB
zx@P1?qlxciXf)b>=lSx&RK*Mg5Yv(@`V?V1Wa`8;Wvy=QHFG;4OF-gqWs>`fKHXrE
z8pG6+fRKEJ@JIDdHjErD?Mg|27$GYogXUaXYWpzhX^K&eJwwl?FMx&7W^U@4ie6nj
zP0w&xyE`2zt;aJ}rMP)kMPd4@ZGG@qy_d^+)tS<j&W0nNhQp1XkggC%MqY#J>joln
zNh`JQT~&oLU&2S1;V!N<Ys9O)liLd*dXsjE<EBkcL@{hwM2N<h<eij51eOtQpprnk
z-WMAqU_OX7%88hfMz_W0)~?_<V~f^DL*MmKo&DSIazj1Ga21R<rl|E-*(W^Fob(-A
z&IWO<Nf0jC4LpplDZ-n3*E!u0*&zq&d(KE#5#+WunalfSa_l`++Qe_iiap;RCT3Z;
zBuuH!EKl)m^=eXE7aRkpI*;kQa8mG;vL(FvCE(>$&LAJ0*C!w#kOVlJU9XB{XKJRR
zNGkL^qhG4MAg*@P%tyEStw5i3Nea&orKVjmt(DEZ#X25Iu%K6t>^w9CLFBw{OPWI8
zUh{@BuLGEk-FKEBYX+Sq4u6_AnMI38dw9Zq)NcA6^iu}`RL&1yB_aGVfdLNonfy=>
zI>#-M{otK?r!D8ISvXGRhnA*lTyznhQ1O@J=jw?Rv)1lvxDq;|Xfg#(m#!Y&%Q4j2
zo>wk7pqcJ53%2k!9}Ic6ow-7doJ7jjs|o<Vp#9s!?gNmBz)^uWx?V=)+l^KQ37GA#
zchPp>My|=MVdE0jU#Qo=OFlFE<?d5zPm&sCT_(2JmdFHH&>VMtOLRqZPrUWuW8L?U
zb$QnnSy$HkQZiVKtGsu2-09GcFpUEwE?%{YThM%%J^IdOB~%YH!>`Hq`_(u(XVNva
zHLmkfBGY)Dm(E)E=ObLVM=a-|5NwG~3J`*(dXi(B`+Yz15LznABT`wFCyHOa!CW0#
zdBwBJ6%@CaELwvw4{6BU)E2Xgy}?unG8Ni!p)kl^2uJsMC*t(U=zt``Gp$5=RkNBv
zRBcVwX9DX*Vq9q=s2e^T)JQkK0qR^ed`9g9<$4Grc47rlM){;}M$XzJd<B)=x9Xyh
z`p{@gsftM4zOaWx*K3{Uh@9{d(3cgsv$BrF6(q1YOcM&vPS@?_5hw)#5dfAE!-6S?
zWc9YVPNel3Y+t1P-*U!D*U<^d$uu^mr3TfhNmZZkn|lqNgl$j3Vn+;|zY0MdH-NT!
zqH0WuYWF_hw+6`q6HAgTQ$-~-%0T-)UsHgVt)GD$nD&%ccZh_DJA5kMJA?Nn9O~&q
zT|pwEAFG4>blV$bbo$e{O^JGRpJq<@9k9!;8H&xbB4$DOO&aLsd2KkEG0`_2;@}RL
zQTj)XLTas#lO4mFA*$;<0%AlpHP75mt($HkI#V%Rc5>abT_S;4`7r~Na~HKocoQSC
zTj1PA&}9h<ho+;d;UkzvnL$H)+a`93p~sjTB?8VNZcO<Ip!nQf5EDupQPYG*At#Sa
zFgp`RTUH{#1!Sgn0zBVj67%?$$5`?LK@^U~eUPOiGD~I`RBN?$TU!m5mbf;ab5DHu
zozoXD`pMY?^Mk@bczI-r(@dwyBes-$Lf0^Q*-z;CK@=D%Y2~=*cdVx}uu4VHNAPGw
zbe6lNK4DtQ#FZ<$E?0CB1r5_tC*7*Fh#sCwen~7zT~@zw9)#mDlgX3E9B~BLxQn2e
zgiP47T%T!_Qo!+nXBYL0XS43cK*OWk5-`spYD=TZ#Rn4t0>}z81?40zJ?g^)BZ%XS
zZjmQPOH7R3jyy<#T#XCQ*fPC4P^6aU`~ka7%ymJvwfAy*d8T$J31NtA2F5ueNvyR?
zX06v)u)P_w0x^RL5?YB!FF;;}XygqaU2~dlZ|_4L?xjYOkFnfLyv}2xqx*Ya<e4NO
zI8Spv<=MFZ_d69&D6D%k1fj}M94ztc;*k2TL33s#q8&$m`|~={%$oY30et!cZ{Y;z
z4bkD_xk3Cc?)cf<HL=OFXqujcH68o|QPj+@r*JOa*?fm&DQ72_bZ(b%yhvdwp;_85
zk;%2cc4>Bt^@aOaB66`@&S4z)$!7Ga50jlr%k{1439__zlECS~;O_Qvj>}cPQv&3f
zIXeT58sz=KR<9R(;}~`0F8@?#B+faZ^@V~ZRQ96Kpau#V)xtHvtEXhEpdXG6v1`|f
z3AV%tYLS$^h0wxrd)~9<d0j$V|GKv5xJ+BY7?kk&DnH01k8WO&S!})LMMNzhO1!cb
z#H5nN7PM5;Dz$^0DY}v~8p~}v=ju%;Byz8OiahyP=Ia4|>#=kU{J|$)i`Rq|1aVz}
z-)NtU9EPOSvnmeB5?*6`9~${)D=pkSt!TgkFR#D)vR{+mXp>w*c=mZ3X~s=r@upFp
z#cK<j_J^H}rC--~z9?<PM<G3f;SE<=bA&7;lewsyxNiBY)=1ahI`(Toq@oz>TyPDG
z@J>l9fl5n$;S8~2#qF>rLx*V#z;e?9y7=(0q_r<CG}~@3)KGKOm}s3z_moWUi)9H~
zyKuPXeb~&gWXFZ{OyoMH-Yx4Q9!!%+KDW8pSM&i8_e!~^bbIz9OVB2E&{}}v4CV8E
zz_=rlPAPm|-BA1r9IAaIqM7ocH(*fEZ-a_iY&S51Hp3LBsFJ-=gA#rlq!wzojy<|>
zit(*{@Ff@olFmPg{cI$QZN}c{EM<DLNR-=juY`W*#ex@Sj#7f@;z2TnTEEJcGMQa(
zaCQ6o1WjqE*kXR76`+uEXcaWEj9l<qKQ~HCAD7HrzEyX%;z&dKYxZIP@!XfUIc+Vt
zob_>QHv~Z{R3?^2$)RD33{{u+gl?WMNP@!RfX^Et69P$)UzeZ;`N!6TUlXXsH<fQ=
zPj<B5x35E7rY|&tU@Ls0XFI~Xaqswf3<8y}^i()VC5S~%dg<w>`T@GJ?h$)f0gdmP
z<o<GHpVh0RE8LeF?p(hxfG3VelX!=SZ-}AFe`%O$6eKV`?W;fyAd3860_k7xXl_<+
z=UKTrkeapvh7T$pKBPsDH%^6d4-$5YjWT<Qikci0hMAV2Qm8DG79NZJp>=Lwn7TtW
zyfGzcPy~1Ngx`H|@HKOtjgm;S+%n$C!XT?${|vH{!2+2_3USyaIxpPW#~j=6O?pPl
zjoTJLX36!23!XEo^3{81g}v0zAC)Tx1sB{D&&RIg`S{W=A64rKzxV0d=H#{T8fm%&
zgFf;EG?i6z06Ns_Q<<SS%Z<lrb#SP<NmmT@RkLnFh%c3hC)d{E05g;U_d8cES0X_r
zGpQfGyf_BP*-cNk9~Uq}G%M`Kgf0rXUIr|w%lk*#oOSD+RHzC@wGa38XKq$n;EQg(
z*VqL2M>tppT)%q>$Uob5Ivhykk!XbX>(~xa6&{%$%zrvIhe2?*0gs@P#!jEs5Ac9f
zR=&%8ud+F$&KCe7#%2F3L6?WaW^X~AK?%s7Ep$TWF337<)0{11i4X#h^)uzk4bIc+
zrkzocyI(%Pxi1TFG4#@V>xo8D(#xuJ&-N=FCdBTEcs&*160rXy(ApK{LYu1Zj6=$z
zdHLB)#O<!Ui?ZQMHMzNW0q|Am=SIS`1JT~^uFs$l#`I%2sEKJOGxlTwg#A+khtIFm
z8AR}H-yMN)y`3^0WI6BlitgxNNYmqJxZF3Kw_vPWs$5zJ?v2^DR1Q`f@pZI%0F?y+
zzUIM5rRBh@WY%KiwlK{mzdI#*)f^v6v?4*>uO#4l+!(nyL)}+CUD>bn-E+QK@5#-s
zQy%cSH<NXL0FZb9u%3NxKXxyIoO7jslH&_8hEq6oyK$6QaU|!P@*{=~MQCvX#$Tj3
z!>A1e((XQ~0FV1%W3ETzq;f_x7mj1x9Z7OU3h=}aK?!FB<I}^vZ_FitQbaReL}i1X
z`Rv$(!Ugi2Cr|XM`^%b+<xvS2d@8=TAP8WqVwpjMxRV*(cLqho#UKr%2~q<U`W^XG
zJv#-@;|1RI=Plb=Yn{hsjm$e5P==<@*7+TIx5hA2cv9?xoC!`F0R|eRc`}$nf{^Y!
zAy)WxgMp}TlqgP>+HZF%$W{XLB*Cd!sxJsKoGi<*M>-X`p|?A4sY}z@uLpqyofd6t
z+640G40;O|pgOak`F}sYR7F61Tk$b>OD7!MDcQk16|#m@B>Xc-YeARqVblg(l@Rhg
z_rU$@$JVxH+C2wC{6Z^w!mf0$43RP`Yn$zN0d(c^m9C5G>(z(AG{0w-JJ8`S2LUyf
zrO}OMJZ6qJTYIQ<Uk32EEDam4STT(Bg)s;ib?IJ)K#^z1aS9!wg!2@V8C^8Wc5lXP
z9@oJ}nGu&>x}Sf<z9z=4w({{g>n*1aQjnT?^j3n9g($uV)CaEy$*rA(VZ22b`}D#U
zFV=bad58=%G4<St0Fr{Hmt~58*$2`+d&}&ps7~YEqt<*17{)=UI7mx9^N6GLCX*+6
zIh!dbY4pO$*_nsRsH}ryY_6tRe8cF{a=*f6XQXIL1%@E{g}kA7<%>DY@wVd#CJXIM
zLC41(6S3)*li#P`(4;rjG3yPOGt9n1kkrS>C5D%HBp}!uUh@R0Z7n>1RT1!s$6WFC
zQY~^-EW$w6R<8XCxUQ7>S}wtqWBGZ__ern8OiJPH-cMh&N<88(F87kWP(4b?TXAcT
zfhU~H5MpiiHoLtH*OFFxZJ>ETSa4W>oLzmDlJ=V2&bNcB#)j`@sPtF5+u<2fY1Wph
zrMDo<&jpg<E50HFy)o22w`;i*CNi$9LK8Ko7u?!E5+nFM#VrZ^dLy3RhaNbu-D`45
zZ>MCXYGe@q8s_o@o5ONhB;Hl^{<gBfU_y1!x8<8-Xz(!`+*dD*%C6rcPlu~>RT`%l
zx7jM(O8%5Q>E_q@#^O$O3r)=c;dgm%q*=4jh_GbJ1C=D1YlB2vl+RzP2-?zQ*o{l`
zm7TeZVYj=jv=kRpmkz)5!0MZA`)6H!KC7Afs%(6!!lr7{Hm;?DHxsoQcd()0SjSkZ
z@?tiQc^+a%_T&Lmqa}X-ecVWo7K6Kj&&`OOkaiT7>{YKX2ws?0U*sYAhO45tDSOV_
z_|VTSY7|bb2&GZOkMuA}93q;1J(5@RguQg2688mac+>4yuw2OM<*{Vb+k@6$E;h<s
z!+y-dKYTC2#fUE7T40YlSCRkD==+KCtx!aJKzr*-X4=M0*WMKTaCRasi;a!krCa4g
zkou22NQxB6r20ffRl)Q(WGtHDAdP?knH^$Ib!VR7fT&nJTCoh^VToU8i;sNa%G37x
z@Cr6f{8?>FIm4TsK{kd&SCVO?)3kAK`2L3Z28RTV+}I0`!dXilEr<NALE-Q6U0+8x
z2y`vkxsd{G2%Ay?Pv(~ajAb8$*Kh77zx=fHFyj9G-S8WXJ2^btLcVAtlEjM83lcoZ
zj2Ef{gpk1kg3+{hDX(oRGLxx&I!pdu)Z?M81j&*)Q3X6gZBw~E%TP7*jviFLYm7@&
ztZY}9CY*qB<jWemS*j9vB>=Nmv*NNBGm}NDkmb@tv$UHIad+IOarQ%lZwoKG6+y`q
z{lFVEjvnuCr!^2a4b3X`Em7k{h1)L5K1@p*aKcQFZHS?Jr|obb0jK7jPzZS=Tw%U#
z(|?9bw;Jax?-c3MGP4i0(7VlQ4kn2I`u3-LU&j#?gHu`!XFnWfh1x#A(3@*DxQlLl
zpwE~X-WTxYcJGbV_H9ZBro$;+HvO7709F-2){qocR|pF1FS{#D`AUPp5tYq+4_;fi
zJyc2!UP4hh6j6LhMiAc+!)2|s-N=J9>+0UWROQL+*Cknx-C69R_E3@XW4#wIJHSvx
zg-yXp5FcuTtApcD6`|X&WNIxXy_u_CJ8MYtLSAsG6+SH&C0QHLGb?Kgejufugn+?<
z)W1H=9!Ii&`KsK2drAMXYEBSKzV5ekV}64djyZ#AH%!Xfim$e2$0A^dJg;3a{lL<_
zw%o&9UKmx|A42B44P@J+5n)r@$ac9Erh4K5n`Ptlu}3BG_%r>C!rMZc1+-7V8$|CC
z3iIAAY$&_-TG(Y)2xDk!Jf!1t{388yC<n0sDGEctFr+qlFssLrscvpm7E=aX-(EaM
z)N9Ul8{D1fuWk}$f*hF7DiCNj5Hs@*(^(8Q2AE4S2vxlKtoC%sIIx+01tT%MqZOyb
zW~4sR)n<{&vPW`?u+x3)6@8}S$QSH9tlbGqCdhYg0;R~s`ouHmF1!VAw!lGcE9u?U
zwR7jz;}Q&6lD=OUEnazxEt`|4+>ioJr0~+l{o6vban~0>IYN%_-o`srDZ;H6?ggOa
zmE~Et?o0@%YBBHcyxa4V3ga9B&E}23mVP$F)ya?GM;@*rz9KZ`C7w)}IMI$&1-1C-
z!90zZzdVoM@#N$F^NHc-Z;H*%#kNy*SIt=Ze6P=OXuLXONn`qfEDf#+;mybvCvrd=
zjmiFc^ewD$uRki=D@sexh)7NPwWHs$Ts^w2uwT_qAJzV61zx|;+&An35pYuOw!J-u
zb*%EQyCdV`4h#1=-|VJ$={!Hn1kq~8o1X`ZHUCF0roAV(mPR-pxbUf#w*gf733`Wp
z`RMe-1MojM+I7r^FOO$p#nl1ol0F6{Tal=$IB(4j^Lp@-OqxBwszX}~EJZ=trF>dT
zYKycz{QOT@c8j}1ztzctQYKM%8Tk@l7%Gd6BK-+F0PECoK)~Y$;CyEcHS6&K03jNQ
zOiDyeJ|LsFI33CP5LLGe^5de>rsMTqsCRt4*ILeXP%%g{lO6^wJd*#e)2IlQTqwGI
zUlCdoPT5;#V&-V>3p{`o@WGp3t0($F9xQc@<AV6%8eHWZ{zW*b*N{8>{`tPcLkNS+
z+qXH_i&e74vSiv}xmdJ4+W2MfKe6n3*&r2!f4=V_Hm7kUhYB_fa(qC+?BYfbCwW5#
zC}qy{+h1(uZMJb+BWVN`LG9S6YG&3OkLd^{0LjwcXXv+QzHSKwhkEZ#<I#;LR%??j
zARlJEegH0omezj0Sm7F`y^`fQjkBIWFLF;)#cZ_7?tP`DO6vsRfgh5w--PXN0iYb=
z-jj5NK_mzDhL3#G<#<b~Sh4*g(@m{)7yXKdQ6)#Fd!I24NX3;*W^QkwUZ3FEQazG0
z@IP{s1TUs-J^<B2%25`R&4EE^7QGo)qK;myHnPg0g&lyPDGvmgbK%LGOCKV`2xvL{
zCIFGV4}{ZRS*^p=)+EUS<aP$s<S4bPuQ}v{>Z7dEx}}m!FpOydP~>B^@~PH!XUt;&
zRH<-o#9X`<QChztzrG6I2Yfr;;1jyzdbr+2Jibv1DkD1ivi$a~yVTV?`kXrM@sw=G
z&h@}@5nEAOZ7>tOn;xW(E~bNO7&TBV8tP=&;Qic+WV{0)>jeOp^FdKkbe+elGI;$5
z>z3;~X;eM-Z4jc+TWk#KIUs$z4J$2_rds66&|sK67?LeL@vxwMwe1+;6~eiM)JnqH
zRLr0`UbZ}X<Ju>nzCI{P43vMseX*LFP_F=1joRnQ(s;p4saWJnrVG`pW9m^t1-Zz#
z!ijEN$Tawn^jL`umQwTefcS|Tr##P_)xeDbyJYqTDQ>xy_SUD^DUU$CCXM%G;5pQL
za)h%%a}T>{e4=Rl51oQ!p#xc>K1GgGt*vXT!xap71HXfP)V>-ALk4I*RLSNLA&evF
zmSk!-B)nU@`0ze<k1o&G@rL`TnzJeN77cl(l36}YBiG<;`6GjGbzo=h7``8yoY%6@
z7jpowxv&io^3&o>6L9s;bj20|&-%_h^;QZU4uVIo$~FhY9}#mb%Y&%On<Bsqy7mgr
zzXkOSaSUQmdXVHR)ftr1CB%tJ-!w9#0c;!>Q<vqM3uX7+>R_RSfp#QuhyTvkQQ0)N
zLYwQ-aQiil;t3lA{vQJJ{2-h-mkw9V{gP|XFY_5ytmM)ss?ElYsuC)Xi78<BB7=KV
zg~x+B{HPeg&lESC{2CU<iVL$?>d#T~B33p)try)iS$H1ZAo`iuN@f6v6wMTvAcrd*
z<c1{UJs^hQ6v4{}M22dHDLRsFJD$TBZ!N$7c@9P%)uHCn&b=X}A3nfftJlnn36i)_
zS2P+O-(uXF7b6t0G*kvgFBc`OLtG_0CCg{dOD@mS)n8pBW>S1`fm#UWjn^;X3v&}>
zB}N)mMbS0F9xHIvh5)jJedz_r&bA8@vDu7y&O{5UqK{k>a14;paTa8Kj!#N4Hd(0N
zG*oZD-?d>*v|i%D)WiGJOzfi+pUMXMn~p96mVxMrDH7L=j<_Df_Jg#P1QqiehnguY
zP~uQX<VC0=`2Fx3agTO7p6`+%gw1EF{(R74BD2av5L}^(@)$lUh<>WE9pR}^q8N>z
zVg$hY2E`)xQ{QjM8d_!_@Q!MQELkqIJt7~(Z7BLd?VLz#Wv>uxS9iJ160k2a@zH12
ziNoxn&s^q}E80VvB$>j~AL~}icoOVV_D0k3O((%snU!BLxCfc@X2?nsHlk?X5j;yJ
z@UHCTl(Dy#anZ}1iE<X^W_!oM(W9$vPy0mF$Bc<86f^9_iP$tiJbg0?3%qwH%E;`=
zG%O#<dohxnvv>Ukc=xv-yzELhP0Q2bBKd$u!AQ<IReM97!Y>PzEFA_6C+vcV$rarE
zKwie(bVWMKO$Bf1^pC2Lc)df-k824-c0ZN6*=q(^ydO$^67Td*GX{FFvr6tn;&}$_
zt;fT)$-dTkL;GqpJ%lzxrKDz{tdF}yyNrg>urD_+`oWsZ$DId2LvAeey@e3~W3ZTn
zeLH7vhDXp-y=2$bw|%_FbU78D+m9oVS0@V5PFG`J@;SC0|MvHkpD+Xe&bI<e@oyB5
zsz4EEMB3EhVZ7&=VfRDZ)olLFH>nnfuT39+1ds_e?>E_Le529z$_D@OxBQ0p)_G$q
zZsYzul=^6q`~g4K^SVCaYu(u=(pkdJg)D+v2#EW`#?h*NV48o&#bRSa68SN0{Tzbk
oz9>~)wyX4Qh~@CTb|@|nufTpAx@rpk!xA)vv@*O@$|&gn066YQ>;M1&

literal 0
HcmV?d00001

diff --git a/docs/src/dev-docs/architecture.md b/docs/src/dev-docs/architecture.md
new file mode 100644
index 000000000..362f42a17
--- /dev/null
+++ b/docs/src/dev-docs/architecture.md
@@ -0,0 +1,79 @@
+# Architecture
+
+## Spider Architecture
+`Spider` consists of several components that work together to provide a scalable, low-latency and
+fault-tolerant distributed task execution system.
+
+```{image} ./arch.png
+  :width: 80%
+  :align: center
+  :alt: Spider Architecture
+```
+
+### Storage
+`Spdier` relies on a fault-tolerant and ACID storage, e.g. MariaDB, to store all the states of the
+system.
+The storage stores the following information:
+- Tasks metadata, including:
+  - Task ID
+  - Task inputs/outputs type and values
+  - Task status
+- Job metadata, including
+  - Job ID
+  - Task graph
+  - Job status
+- Data objects, including:
+  - Data object ID
+  - Data object type
+  - Data object value
+  - References from tasks and clients
+- Client/Scheduler/Worker metadata, including:
+  - Client ID
+  - Scheduler ID
+  - Worker ID
+  - Heartbeat timestamps
+
+### Scheduler
+Scheduler is responsible for:
+- Allocating tasks to idle workers on their request
+- Failure detection and recovery
+- Garbage collection
+- Straggler detection and task replication
+For now `Spider` only supports a single scheduler, and we plan to support multiple schedulers if it
+becomes the bottleneck of the system.
+
+### Worker
+A worker executes tasks allocated by the scheduler. It runs the following steps in loop:
+1. Request a task from the scheduler
+2. Fetch task inputs from the storage
+3. Spawn a process to execute the task
+4. Store task outputs in the storage and update task and job states
+Each worker only executes one task at a time.
+
+### Client
+Client communicates only with the storage to submit jobs and query job status and fetch job
+results.
+
+## Data Abstraction
+`Spider` provides a simple data abstraction for task inputs and outputs, which encapsulates the
+- locality of the data, i.e. the addresses of the data
+- checkpointed or not, i.e. whether the data is persisted
+This abstraction allows `Spider` to support:
+- locality-aware task scheduling
+- fine-grained failure recovery
+- garbage collection in background
+
+## Fault Tolerance
+`Spider` is designed to be fault-tolerant. The system can recover from failures of a scheduler or a
+worker.
+
+Schedulers, workers and clients send periodic heartbeats to the storage to indicate their liveness.
+If a scheduler fails, the host can restart a new scheduler instance and fetch the latest state from
+the storage.
+If a worker fails while executing a task, the scheduler will detect the failure and perform
+recovery of the job.
+- Identify all the failed tasks inside a job
+- Compute the minimum subgraph that contains the fail tasks where all inputs to the subgraph are
+  available
+- Invalidate all the tasks in the subgraph, set the tasks on the input boundary as ready and the
+  rest as waiting
diff --git a/docs/src/dev-docs/index.md b/docs/src/dev-docs/index.md
index 637fdad1d..8731af5cb 100644
--- a/docs/src/dev-docs/index.md
+++ b/docs/src/dev-docs/index.md
@@ -6,6 +6,13 @@ sidebar (if it's hidden, click the <i class="fa fa-bars"></i> icon) to navigate
 ::::{grid} 1 1 2 2
 :gutter: 2
 
+:::{grid-item-card}
+:link: architecture
+Architecture
+^^^
+Architecture overview of Spider.
+:::
+
 :::{grid-item-card}
 :link: testing
 Testing
@@ -17,5 +24,6 @@ How to test Spider.
 :::{toctree}
 :hidden:
 
+architecture
 testing
 :::

From b2236b4fe7a8c1a3aacfce9bc5a596663bfc0484 Mon Sep 17 00:00:00 2001
From: sitaowang1998 <sitaowang1998@outlook.com>
Date: Sun, 13 Jul 2025 22:39:53 -0400
Subject: [PATCH 2/3] Improve readability

---
 docs/src/dev-docs/architecture.md | 4 ++--
 docs/src/dev-docs/index.md        | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/src/dev-docs/architecture.md b/docs/src/dev-docs/architecture.md
index 362f42a17..05e00c74c 100644
--- a/docs/src/dev-docs/architecture.md
+++ b/docs/src/dev-docs/architecture.md
@@ -11,7 +11,7 @@ fault-tolerant distributed task execution system.
 ```
 
 ### Storage
-`Spdier` relies on a fault-tolerant and ACID storage, e.g. MariaDB, to store all the states of the
+`Spdier` relies on a fault-tolerant and ACID storage, e.g. MariaDB, to persist all the states of the
 system.
 The storage stores the following information:
 - Tasks metadata, including:
@@ -72,7 +72,7 @@ If a scheduler fails, the host can restart a new scheduler instance and fetch th
 the storage.
 If a worker fails while executing a task, the scheduler will detect the failure and perform
 recovery of the job.
-- Identify all the failed tasks inside a job
+- Identify all the failed tasks within the job
 - Compute the minimum subgraph that contains the fail tasks where all inputs to the subgraph are
   available
 - Invalidate all the tasks in the subgraph, set the tasks on the input boundary as ready and the
diff --git a/docs/src/dev-docs/index.md b/docs/src/dev-docs/index.md
index 8731af5cb..eb5806f17 100644
--- a/docs/src/dev-docs/index.md
+++ b/docs/src/dev-docs/index.md
@@ -10,7 +10,7 @@ sidebar (if it's hidden, click the <i class="fa fa-bars"></i> icon) to navigate
 :link: architecture
 Architecture
 ^^^
-Architecture overview of Spider.
+Overview of Spider's architecture.
 :::
 
 :::{grid-item-card}

From 872dc0099d48867abb182c1ce94ee4188b0c266e Mon Sep 17 00:00:00 2001
From: sitaowang1998 <sitaowang1998@outlook.com>
Date: Mon, 14 Jul 2025 09:54:19 -0400
Subject: [PATCH 3/3] Reformat markdown

---
 docs/src/dev-docs/architecture.md | 68 +++++++++++++++++--------------
 1 file changed, 38 insertions(+), 30 deletions(-)

diff --git a/docs/src/dev-docs/architecture.md b/docs/src/dev-docs/architecture.md
index 05e00c74c..1fcdfa2e9 100644
--- a/docs/src/dev-docs/architecture.md
+++ b/docs/src/dev-docs/architecture.md
@@ -1,6 +1,7 @@
 # Architecture
 
 ## Spider Architecture
+
 `Spider` consists of several components that work together to provide a scalable, low-latency and
 fault-tolerant distributed task execution system.
 
@@ -11,39 +12,43 @@ fault-tolerant distributed task execution system.
 ```
 
 ### Storage
+
 `Spdier` relies on a fault-tolerant and ACID storage, e.g. MariaDB, to persist all the states of the
 system.
 The storage stores the following information:
-- Tasks metadata, including:
-  - Task ID
-  - Task inputs/outputs type and values
-  - Task status
-- Job metadata, including
-  - Job ID
-  - Task graph
-  - Job status
-- Data objects, including:
-  - Data object ID
-  - Data object type
-  - Data object value
-  - References from tasks and clients
-- Client/Scheduler/Worker metadata, including:
-  - Client ID
-  - Scheduler ID
-  - Worker ID
-  - Heartbeat timestamps
+* Tasks metadata, including:
+  * Task ID
+  * Task inputs/outputs type and values
+  * Task status
+* Job metadata, including
+  * Job ID
+  * Task graph
+  * Job status
+* Data objects, including:
+  * Data object ID
+  * Data object type
+  * Data object value
+  * References from tasks and clients
+* Client/Scheduler/Worker metadata, including:
+  * Client ID
+  * Scheduler ID
+  * Worker ID
+  * Heartbeat timestamps
 
 ### Scheduler
+
 Scheduler is responsible for:
-- Allocating tasks to idle workers on their request
-- Failure detection and recovery
-- Garbage collection
-- Straggler detection and task replication
+* Allocating tasks to idle workers on their request
+* Failure detection and recovery
+* Garbage collection
+* Straggler detection and task replication
 For now `Spider` only supports a single scheduler, and we plan to support multiple schedulers if it
 becomes the bottleneck of the system.
 
 ### Worker
+
 A worker executes tasks allocated by the scheduler. It runs the following steps in loop:
+
 1. Request a task from the scheduler
 2. Fetch task inputs from the storage
 3. Spawn a process to execute the task
@@ -51,19 +56,22 @@ A worker executes tasks allocated by the scheduler. It runs the following steps
 Each worker only executes one task at a time.
 
 ### Client
+
 Client communicates only with the storage to submit jobs and query job status and fetch job
 results.
 
 ## Data Abstraction
+
 `Spider` provides a simple data abstraction for task inputs and outputs, which encapsulates the
-- locality of the data, i.e. the addresses of the data
-- checkpointed or not, i.e. whether the data is persisted
+* locality of the data, i.e. the addresses of the data
+* checkpointed or not, i.e. whether the data is persisted
 This abstraction allows `Spider` to support:
-- locality-aware task scheduling
-- fine-grained failure recovery
-- garbage collection in background
+* locality-aware task scheduling
+* fine-grained failure recovery
+* garbage collection in background
 
 ## Fault Tolerance
+
 `Spider` is designed to be fault-tolerant. The system can recover from failures of a scheduler or a
 worker.
 
@@ -72,8 +80,8 @@ If a scheduler fails, the host can restart a new scheduler instance and fetch th
 the storage.
 If a worker fails while executing a task, the scheduler will detect the failure and perform
 recovery of the job.
-- Identify all the failed tasks within the job
-- Compute the minimum subgraph that contains the fail tasks where all inputs to the subgraph are
+* Identify all the failed tasks within the job
+* Compute the minimum subgraph that contains the fail tasks where all inputs to the subgraph are
   available
-- Invalidate all the tasks in the subgraph, set the tasks on the input boundary as ready and the
+* Invalidate all the tasks in the subgraph, set the tasks on the input boundary as ready and the
   rest as waiting