From 21db990ba414133ae2ffa36f362586f9f835d323 Mon Sep 17 00:00:00 2001 From: Araozu Date: Mon, 9 Dec 2024 08:24:11 -0500 Subject: [PATCH] feat: add docs --- public/img/desc_thp_2.jpg | Bin 0 -> 49180 bytes src/pages/en/v0.0.1/learn/index.mdx | 2 +- src/pages/en/v0.0.1/spec/index.mdx | 24 ++++++++++++++++++++++++ 3 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 public/img/desc_thp_2.jpg diff --git a/public/img/desc_thp_2.jpg b/public/img/desc_thp_2.jpg new file mode 100644 index 0000000000000000000000000000000000000000..cc8c0f64240339b2f3af3fff611d55f752058c55 GIT binary patch literal 49180 zcmb5VWprCT&@kv=Lv3P*v0-LrW@ct)<|a*=hM65s8*IbO&@eMIGc?Sw?(@Cxp0j87 z&q}_M?j6BM8qG*E*8Af7CIC%VQbrO01qA>=K|J7n1t121f&Skd76%7rDhJ*q_2ce-u(rEuGf%;bx1{MKQ5Dgg- z8S?f2r+e=P01=?Np|xS4fBFdh3K|9$4*mlI1d0m*!2Cae zfd8QH%K#J@C;&7X3>u`Le|C=wrs&#qo9aqxG1@fIiT_na43HKV4@8%3VRytDkaV4u zH^uDEvw;0$E)9@IN`=6Q0SkFa<_VGJIN?-ie5E`*y05B;mUWX<0|b7IxA zVIozdG{=(%0svT3*1<@ow#36MQG0I0fuYs9Neby$g+52DL9$3cWgI~A%W~lzAV?=9 z5zSjvHDz?lw7l!1G`rIEOw%obZO7V}bO+NJO6>>J0|DfLP~^lQAOL}eQT~r`xJ}BK zf~SS1Gjh!kIRb)w0tq!*IvNNH3QZa^O+O71yStogluh%dTBRwM0;39w^3v4RILbh3 zAl*`B31tKlR#kQS#6*N(ER6w)-g8Zyeim<#swO&|YJ50pNu+F~G?pr9T?)CVc|kWP z!YBn9ED#~>$5PRf3%3dGHxlANC}!Pouulc9VT86c_I`EdlG$B zJOBWQ3=)C<2y9gl&qGn8FVa1X3boh!AiI}VUq2XK1v@BATm{JlU?BZY!Z~cpm@(&o zTPjhSuBXj_4W)y?;H!%84-5qm9+0eCP4lcUa0=J7K(k3+W^c!2fbW*tGgTc52mI;sw_*#tRhpD5>Yn)P}sdCQ>Nut z2SZS0IV??%Mk)$4K_dng6a*rWi{`00lP>+1w8=>abu)D*TACN4$p8vO6Q#+4)M)XU zCKzZs^rek@v?`h?6}XbrEGf(M@GSP}G5}1>-oc?ZQ;MV+)f=xT*=6V4WM|2W@*Db3AT$&) z1ZyZjJTqncN?i2@< zr3tY!FQG}LWy9*t7!p^=dkIWbOVnjZKrUPY01^Rk6x4O9Y4EI#KMhig1wuS~!-q*# z(UlQJGY_g3@KYxYa&D~3)!R!C8aI-DZ6r}X!mc0-u;bhu`#doyT;Ck5oJ@dikK9&d z;v{?I%}Xd#@>2WlBs~k-kWkpo8T_E7$%CO_M}tJrOvTl8i4%`hyyMjvWU9h{jARTi z52nL{QEGmts2efPbdF9e&{22F9l5UL_T(2I9xR`Y!3H9IH1u89GbzGBYqBKMFyO>0 zoD|`xN49mFN!hwJ59%_(WFSUU7f~ht@vF!fot!e!l)OqrCSJ4#D=6J0b1_+`1 z{ZX$1AX9YLAhP^4A4|sw&SSDlx0727m{~Sqw&S zCUK6apqXNijHuaPo8FDM=nm>0X=64>DN$*y?OT=xWq%_Ml4hQ7s*olIK#})oYtdh8 zeEgM(pf%xF=?O*2l4u59r>rmWjkCjmJdgx{rYdVofhLVkTV+{=?k0a_SHw>nGQ~zA z9PVz=Vd*7BIXaoopGSF=X@O~5#96A%GPgty0DwN~WN82+8{C7*Al14fGLKdvNE1^K zLzp6(D!L4HqKLdiCJRZTdR9=gX}WTdr7))5*t+Lq{cbWC*-Rk?IX&~A4-_YdCw-c*8nI2-&Ai$?iD?kYcKAO!k!*a8p;Kn#MAUidF^AY7DG!G^$IK9_*bjh)*} z=t5k!X8oo756Uh~{PPL6!lT|i-C^CUMfT|D1y&W?6FR>V+l=J~pBZJy>L5q^XrU*k zT~3wrXtqt8)d`bnwpi4x zh9dq~H94j*)Y0=+>-G(sPy0v7X3fl!38PFcC8iLQdX*w^Xeic<8^Rnbsj0yTyuDhD z?$F){NGT}dKtw3K`i5{cp9AoDv~~n5)-RBF5QqYn6f3+e_z$!xA~c3!rcAlmPWVRzfZ(Q;nLLpav(9d$^K|#Pem~`>0aPbs%sGCK z@89@`G9-FK3;6TGi~(*Dn}ZW@gl|@zNYN zBl|bL+>PcwzmF};F5M3Ed*W0C?KYxj{w9~e#`{!)&s1wDYhJz)LyG_ah_KKidg9-q zAD;zR--2eq`=={*ao9T56H_yGIWxuI5A=Om-KJp&0V!%TL$e+}Q?`x~$pA$7avs0+ zxF(5a3?JZ)smnwTYF;$kpvFN9H*b_G0G7xfvM|ijA%sS+>!d+LD=jSpkxj_5b8PlK z8Rs`6hlFkuQF;+OK2J54Tu&AUsl{1tXX=Y+04Q_T_D(Ldr5;N%V|5uol4e$ilT>lU zg+Mc3bc=rl(?pJ?KZajD`^w+G*%jV!Kq9KZRr?}~EOJ3|QB9qUc=xa!X5Vjl#9wHl zvnd$K5_00g^;qj}N2@m`E1s@rd5^Ze^&hD89y$dV_LSx0)g{zZhQB+_^sL@pjEbYl z!2LGs(Lhh1ICR=xHIjlG{UX5HI8A_f9u{K6IPeuY0)R-v|2%yEn_gazsasaWR_|j| zt6;2t>w=ns&-m9el)8qtF-I-gJP9`vfJ7}OU)fpP-t+*Mf@iVV$>a0c#o|(P+7_Jy z7tu?O?~&KAop~)}b0C9Nu~0gG(&9rLkD|K~J7Jh>&nbK5v4ANMQ*%)2&##+Ls$I3d z+>SCW3`k5G`SH|v67^Y{_*{~T58rtSn8c%jsk8&`XW;B--SO+HzCm0?a znl+>8E4wd!8|g~u6g+PH?q=rOIW;N;faK^SbWu6?B#vf26}%{aHQbk+z~VX?J^_|= zf27d>OCCP2aYjhwB(m#1J;#dpr+nP4ij}-rw9@}rhK$U?x>l?85A33BC9m|%3XJrt zU*km`m2qA%XFWPodo%l)t~Z`P4f(<*7fcRCGx>e}<%mvYwV>OUel7I*loOnlHtuf- zHvSSfwb9Q|#LRTC>13rNGFgd6cW0Al#kCx7Kjn#+$0~g(0y$lt90mgRahC-Ezt7@~H`!{_10LbEmR{l@Im(^(Lzhe!I_5CTkr7* zAngB5F)kKpbl(sw79_mvw9tseYLxTL@v?A_hZSun%=ydL$QhT5i_vQoA3*LD2|I0hT>qC5Uw(tUttm|E$qJ%A?~lQxL1oi+`^KjWWqMJ z$2lHM|50*t^Y)jD@g|XC%%mgi`&=~F4dd5w!kpUaYrn>P)SoTfT%123!;Ceo+2+%k zeQH>dYKJXbXuIV37M5g7C70R~{lw|jlYg||kfSAFJ@K{D(XV+VZtw4$%e|_Wv20$r zjQt=ThhTuFm0;sovwg|9n4j00xBhhA5*xIsc|0X7*{{D>UcS4O`s4W5FGTGXicMSR zs|Qp2hK=9Hp9nsSx?eas2?Gj#0Y3Uv>7oi=wRf375Bb$jP4E;8*ebI6O*AHXVVpm< z=s37lCUu-%KaTRUuM%Y~630uIjP~Lzt<+t&GUqLuDcRaZrRJ18=$!TcrXZJwBG&-@ zD#ZUf!B&2>kLLF1H2(NjK|a7y!G`DDV&?E!?B?Q@YaBp6hc7Bkj#q1~+6WQEyJ^2_ zG!Y_7R3lNjXEO0+Uu(H4xyBcrxGGIHcDJ<@oxaaS0nn5+G=7KE_9$*loTiDC)m@KX zs?Drt4djpbs!>xat4mY4K+5u5XUK z{S5>3-$GXyagLGVK4rZcl}aK^_DoP1ang9 z#DbK^-+OQHcgVc^>Hgu9(kN%FI%VTZBI%4c4>Lj$6(4#&Y6Z8tkUd?$wo zHv*5MXeMOr^=t=%TD6$dz5ON@JeCbp;Hin*zWlxj@;jLQq+_;`SOp>{$1hDzRzz9W z2@RPxbHRIHWOygeb}v*NfC$a}No?`t{@fB6bAW;abGSwY8fzH2|Ddb#twJRo?cF`emBjE8)z}lKD_N^(nZYS zct)$544&k!3gEstplX6EGxPUh{-I(?0Q;fLHB=z|Pvg1rtJLm`~O;GR$=YPV}GYjN1+dG;# zT6>thZ?qro_oSs5{=(P7R+Wt#!>F0wl((+xhy?v|B6W ze9aEAKZ1-ofzJ$X*eG~l^?nOl&ZARk|EYei?xrnkq_0jr+g{Jk{wM;{@FW0cgmdEb zJgbARbk=?`r^9dBU((MkWwdKX~RSP>B^Aw`RF~&fm(^N*6ih$o^SL?`55%d##Dy<3bYALf+`DjVjG55HOTrmRJE17! zIkYX}6*tYqKR8_88c^d$6`CI!zjKe_Tuk}ixsmgFef)Fp&8iIaqo+){!MtyZCDh>H ztaYNJSb)=Y*2^bz%~d>*RCfl;G{jxSv1uYbvd*t{VQdO)nU~tz?rfR)tZ+sLUKq*M zEjJdi&QNfm4oX+mPb?g68d+Ftx!8+&bidTLjk8S+T+a#h>tz31GJAcLohu3;rd~j) z$nnqGE8M(=);CFKXDBSY+gBf~Pfg>0)$-+;vsl5qK?6vuupAiRoG}nA%~?6j^J;5_ z+u40DI`9;rTykvw;-RyFC}$W3KY@3;Y;!ZAQOKL)-*&I-wYcKmNm1n8SYg1v=RVOk zpnz4stPvsirPvUMV*7IYVvgvR(H0-k^TX)F#w5=@F#ruwS2A|)(8if#-^cp8Ii`A< zoER1a07#Pzd2S_eOlhvYEQGM_yB^mLO(m?wgjZBhm88vFAGNM98jcNnfJP#l?`9ox zHLP;nZ01gMZ;J>xRL@9y4+I!}?XNpJ^BLUxC`~=;O-3rx=2DYPa378q4x9s_h~YRi zhyg*peOIbz5K=~j)yp{?NUCQmb?`rFW+C;`FdUK7)5@r~(~KtkZ3~TRK5WGB=y|m9JZ$o<)OFfkh_YRdAUUb2RT!w?{Fxh;$T@r-jrG zaq+_BaIE{It{)$(pb=?dg8%?z_)s(lid4fI31LX{0OmdO3CUzKc~jXfQ76JOh3Uj! z{}qIyCyNVHwUo=`q@3(PAP2xgj$#0;QFJ2BXr2nh$-YMDf7k12VqE|H7bS*^+-T09qKbJ3#}0NJUNm zdnf-lD*w;~01y}piZD|5i3cMZA{3m<{sTjTc;Wv|{ht^S$t1$Mk>$H}D@x09M3n19 z!A8XY=J@}}s|*M!RQ_N1|0^zlsAIVy2N75(7-(2nI2f4!l(sMcC}@bX7K9GO_<%-C zf=SBELe9#@E=L zQ-W?jen+dvs9a7)8ViTxO$U^f@cML-b{46cU-rLC{U%&WmZg4#Imr6z764LcZq;FH za$t3Q1yeLNx=M@;%T6uR$lRl3#^bME-5oXXQFdOdU#$>zh&)Ez5;0KFZYSDaMs6o= zvo3l}&oI?;B=GgSWIicf6V-Z9F3_0oGmkL@#oYv99kPn-r?KigW-%W9QEZdYm(;fu zjo!K0mz^T zrfiaJif$@rNKGA~bLe~Md$?_z7La_)&2ImT71I&7?q2t*FT@c-)6H1sH}P2J^CjTp zC}pxN)sC`r=ASV~$-vj2oZhZ55R!4UQy>n`iRXWe4hVpzSGuk)hi+`3`$v2on} z9bogElOLeK$3`Nth46Cs?ff0kmrQ&TD5!+MYl6fW`CKM(7qJo9wz-W@CTCBo+|A#m zpQj(MpC_*}^bUwHxr23i%L7v(%k9DD7J5FSzh=LwNEyH6E(O2Be6o(ZlygWSd=*M) zmKA_$T;>=+B=ehDf~!Fs_@FPQ4=vBlwcx|9MUG9qKs^Kc)W}-TFlNw_zzuuF-+=Vx zrzWtr(I%-k8@I!V4|P(_ADp6;AKI$k6OgV?U{ z29pL}!jKfV8jfOPms3#I($B^xw%377MZy7YwJiFyEss%*JLuNHicPv^=yT|tNgXc{ zgGDV*%ylR)V@SfAVl76Xn(>0J75bp$Bqwjb;3P3jDu+kp&we>k&{g&Ius^}jNuPkr zO|X~tHNO{2dZgm4Ts_j6XsZe1Bu&XT&n=5?%s&v{OVLZ-jkgW)J9s-mOPDpt=2(N} z)q2EDn^~kDD9$w$rmjN~o2dnG~Dp8e{VR>AAabCtJp%M}bCceI_! z0E3}VRlmI>)mc%B_()Z<$lnqb@}anNsMFN4BTjK7khUwzC7{XCbKjmY#=s_ifC8lQx7EoHB5=# z_C&H%iHnK?`%nV1<5q~n;t0**JnGly*v>O`8W#FA*p*YhSiFY0PzulYVUKALdqrEY z=jnV+=Y;iaI}65YNylYQLI2ZQ6S^pUix0o?(Hgr^BY6Q7S3(wJKsQqtL*1-|t}Kgn zW76NG>0+d+~OqL-+WHGS(J#zW+0ymR8#@QOV!TZK={0_FclsdKTa|_aW zaO;mUc2n0Swunzzz>F;Pxmup?wDh;{^Se|_g|_0}(>}itoXr51;ZeN1N)Mv7=T71s z>z3cgVs_u+oXXCp9Gxqii>h#ieq0^mG^&F1h-cO{n5yg}S?owXCg3LERwa_<+Gk($ z#RckR&xYmTwqtBxjFh|0KB0y092nEPXiy#wrLUOSD56L295B_e7YrJB(R|4qabvj9 z+srV~(wJ-8Xg+yJdG+}CN@@M^`5R=#WXUxlF-)DGw^XaP8<}4ok6}46y@ssBRXS4ivfuVl48X_PQY^y>yWso&BY!)FY6JX3oqON) z>)Pv1Ier(1a^ z@Zu$)Dl2BCBRy;xglc-kPtxi+4?c2dhuEV=n;r(H|5(Ld&@RMpz_lPAU}+-whO*%2 z6z|eGB$Ho7GBs-%Nq=9>?jwv|(T;1td0`a(^A1q5NU~Wi;oxIGE3MuzYyj+I)UDkz z2qan#o3di+y$MD=|9}aiW}K?uV`}{2V6m3(;82&tnYuz}5z=qbZ_(@C&AP>Eg6X2* z%(w=2!d!{*+*Z)1Z*{H!Q~-(rT8np4qSz$GhtRbBRSJ)FQ<+s#C@bDy>Bzu6n1W;N#^v! zh~&VSW7qD7hDjBX)VCcH3nh4tH%+KVqvL_+xa3Y+bBp6HDy)4R_Xh=?saq%J^( zRb`tTxk9i(n}Ll!rk(`7?rQ~FU71e3aT^wz4UtMC0(?ht-&`m+DE*_+#zN@Jx?8}2 zyOrkW)P+3d;28kR)74!kgf%&leHnZQ6n-9g@y9|YD^jdeJe`R$um0h@N0W6wYP?Wc zDC1Cqh0fL!ITkQ;^Gr|Y@ge<9k32~fS6h%-sZoV z-hk^s_QNK}dSJLv;HKd>{{@X{lZeJ{=M>GnxawkKOYcsC4>%xHkdpt2`G`#c4$KFm z{OH~b+5;Vc_VD&0gx$4>(R1L@nQxsn73C23D`^R4ucr9xJ3y=QmPj(`#rJIPQa~0* zjOmv{c=~D~0_g3x`x2oJrj#1XN5pDU(LeTgNbZ0tlRc*4Y^i%J(wQg?e8xq)`k*u8 zj5b`)3xhUn2t9~E5>@}mAP7Pet8|S>o1jgkO{BB#|9N#r%z+&E@k8sZ>X=r0DWSM2 zMN7#E=~9P5VO+5f4u^Bd5~bh32wDhWw3%?ZU|BM2#SUGU%rB2Zqq83v0}Mr;G%iw| zczNvWQ3$bP=*yWtRgZ~m11Oc{*bH)7rabpruT!?A9c zNjd?MHr|7`IxW5ycbN(i2(r}5k4CqhQNtXN8N{p&LW({%psSV1#kTx}^z#Q4o)&|_ zX41}D>r2)i5^42X=Ok{icF%}PvXX84&%PF}|7qBDj@P)o!o3j9+aiI|Ok=gtFht%` zG1WBgf0}O2=-N@J;3%Tqr-PBIDLex2U0J*Xa_7iIX$t2$3epQ!#q^!k2z9#tJt@VZ3At+1q^2O<61U0NS~GN%AXWf{=ELdc7|L1 z=7zWcAzDUh4_7`$7e?cM44JM8>HObrW*4~y`utDpw~Bqlvpz4mmc(<)d{>J!m#ip6 zKkpg&nPPiRD3i8IA%ffN5|aU>^UHfUk717?3)ghlY{-+&5`B_fnl*yj;?=H7ZhRFI zRGN0@>}?l-9rC;KT3bFRxhGPr-x^=t`LSK)SKVzn$JW~yI5DY**7*LtW7XMZYxP^7 zl0Aw@|`P^rI^81q4TV&2I@G!#r0P+|T$D%L|V*v*0H~PBHa<`AS9;WXMLK zx%UxQv&Y~L$Kut0{_zd~7esC+4cdRdzfu0Zj*B-K7~}&UY#$jR(JzE0L2{-ask&{| zx_+h}W-O$Z2;QsO>{_Dz9aF3}ej-{S!rgx;)qp<+ZrAYheL0Or59%Eov2?K+AdB;} z5j?wLUh`?^!T)53jPec;y0ExQ`@o~LXmW=pM2i#c(*xu(-7c4?j_EUCChqs6RQWMp zs+Bz=IbBD|74;`_&3mzusKbF;xWTz;wLtI#icUU`L_6+p)il`W&d1!TpY-NLgBl}rh4Tl7pzm183zU&OB7K_&LxB`E3#iwM>*|O9l4{5h1 z@joNAre`qh3b&4B<{P9g-@2&yZUt{)+P5vdg)(&FA9g(3a(JJeC5ikI0a1L`4A_)A zEhL;esuOWL?f+!ez|1ap=v|i_V{2wOyjRQ8=4beN}dr z*967-`{VocoD2rctfySN~REIj#EaNcIu?3Qz$JW_~3}ZkTZj;PWywR9JBO zx#A|t5~UwTIFZkcQbWN!%wE%#%=@G;m!B&zjTj_dLB`}*S&x$c-3v;*8aoQezvh_X z#p{!3_FE8Qf!dgS2Yf@C8-m8Ao@vf6X|uO;kWs8FxK710a0!r4S^`K}@7----8juS zHNK#)v&Rlpdj7S;do&f%twy#i2B)QY9i`|r0AqcS`iylu;G{_D#*7&)hvVwFTt}J> zhR<=mP+G&OYK9_p7+od$H8YZzSx(1E<~nRI1$AAWEqT|!c=n8xGx7gD9Ov6%ybN8Ene`koHC|c`ztVaK?7+PiPhVL-mAzbBFf}H; z1LVK&I?fXsQwE)_1lS6;k;oI*>iTw}?6ozONs6)C;aToOi($a#^DJ;4#p_6e$eut1 z6{Xeyjy^~luamJA5q%}jh-3Uk@+`n$9p$djxkG;(i^+Eyl`ga*DMT)nH zcJ10gGk4y+oPA1U&wxCthpbp!XVkty3nr0<=2j1#F*cvkdEy$kO z{Zl>>--lw*&7o zJK)?eaUtAp~17jSzp*?I)ZgVi?RVylp-qCrHjO~yv|@A z1hx+>1+|}P22AUYF!}Q_c>YxDWme_^Pt3;86i?M{Wb;2@a|--j@z+Z7=*@7DcTN6L z%X(sWTI2nw%V>rp_n?I8K3i9$hwsesq7jNUc$*t#pr<{P`jq1%wB&x*hlD=VnE6`r z75w59y@NZfyaz_K5RAjED!o}O?<<4(xJ`2tO3b#0ReedRtHiV=(HU;)X9O9u!e<7Z zw=)KY636}84i-^{ko+7TI-Odceyqhr1|C=8nhMPbNRoc3pxAJKP`=4l7Iz$%ech!MBRI8&AKTK4}gv1sJ3kcpSAg5dxmRDdAk>$ z79v~MC8Q}+bla+TM(~w)Rk{ggHmHcpUfeT@K+AP&dncBw@%wf|V^`osb?i4=t%0Cs zrMRq-@JeQL3T}}?O6z#2%*YS~*}m~VcxLk7H9~dq>|7X7c(zR3d)yAq4+(FN;mu8-Zm85=}H>TDSgTI-?%pn;u~eSyFMKD zvyVv%)-WB-fAU#;!|vhfy7?ORGqHb@pN$_ebQ0``#Xo=*%2? zaeIeG*rQTqB{4yitlM5XCdSdQT_P@J`5kbpd5EvQkNBIlh0hRMMtQa+jINCNY@1QH z&P~T|!9(d)r@fVkRCn0t9WXH&@FoAX*Z=$x&{m~-k7nfj3Sah01>;mo(=RrtBaq&q zD~VwRY$l#K^s-cK*JZjy8Xk)b#lmUU*Lh=s@DAQ|euk|5=6UQ)nKqF`YcpPLej3?g zMo|ef4fak3rDW_i5ft)UxBM;Nk?1LD!pVdEQcdgW#tRKJ3Wb?4#7Z8_O*hNVCoG_T} z)XB)fr3?;`6)NbnKUE1v^%bm;EKL1=2bla=@r=GCuMC=W_iy9sWs~cffE9AvCI~oJ zitOAnL4{b7Av~hCvSFJE6YZy`$GQI`1!+ihhcFJqZPxlT9j6` zE{HI&Giw04nr0%lU1cGHW+5Zm4B=^i+M7FH3+f_=kjq%leQ$DlCLJ|m^6YzR-%5fY z(@OV@J`sDf$b8loxPZ_kyk4h%PH|-?M%Q=x- zDm(TsnTYJ(Narj>nDrq8N`ca2R+E}r1;xT;RuZlo9s*tQNvNM zMq77G<#C^^9SgVagA}GG!WG^Du709@yKKCA-L{(5O$^Ad6Y}P7G|_BAPdkV4%5?hu zgZbBl#KMEEi&|mEf1`T4@^6pS{tD|vKYdr8Cv@JsPU>H)74BZ(IRy1%6MF9R$;|X> zX7h5Mo7Kf;3iUAiMlST$#W=$#?bv{ltXL?|&WwgeSn^%y7gu4w;=i@d2<w;pmZEeVr<%Jx1crKldh$-CzY;g6_(suV#Ok> z+nxzUb=mr>6m6x?F6XMlAe(U%SS6)eaixO8GqwuFwCzybFMYup+aE(_d5fWFNowuL zZVK;i+H{tQQP2aRrE0@R7g$bq%a%EI)QsadG4hMoN9KUqPUgNj>{zJs z@OoFEq(mbcj(o?LA2TlOl)f$9gDYN@g2RcTq;Ftvws+Kxp?a_pOQ;PZCJaY zcM1NbxX(Ez3psg%=7!9fO;d*V{5)DLdbAj9Ase;9@^}S=n&t6^KKp-aXF3KP;TuG| zEFYO}j&gX&)^cZCBkPjc0=`{UQSTe@LuxV4qtMF3-)r_u)+jk_hnF^HdlDk?$iJmYtFb0jqX=igso&=B78w2*rd&`=P=8YF^-`Og9e1r3Bj0};cblQ6RgV|NWv?=Lfc(tfZ&YNmbt%lKnHo$tzk-`a|zefI$!r74W(wX1AVm*wb+(EPN$y? zf?;YHEswy!?6S-{%(U1YnGBz_tf^2d5VD+lWh30wLW@hP%>B{i5gi@=th{iJFkP^mfY^vcMn!Kr$p$Q~wTgtKU#5Ks;~)DS zq{g_g^RP=@W=G?4#lI$eg;#o$Bo81Ka4Uh5Fz2)QlT8XQ^h?WMJ6`99_c_h@1?V5<&l{A z6-*+RtCASA63H3Yg(c~LN?n7)YQ!Fb?ielaI1oEzLJ=K}u#F)Z+HRo5m_sIMy|AB}^d0Ct}G%tKO!-W9kZZ@1w&?kh1nZl$O9OwB6>$*%41I`|)=FRK!ProuNTfHFROLk` zF(K9T&NzHAG7mk!Ly57~{Tq>M3@8O;dUK2X=T=Iw?Suv~W^v~M9UYjWT~)n}&p09o z&Wk~5_x0*?Rb?58`HYf8aj=jyDs``J{6t~y>`3+wh-G!hFz>5Q7X)E9lQ3{DRb|Qa z2Ge^-d()@VQtU`~4+KSshPwZqPl$1mAL6Cp!!Cyy$cMI$V{?x#`ck6}T+K!cJmQ9K zLD;)FbR?0X!Q6S?Gn{C;77=V8DqwjOzO;lt&JhZ&(YIh}#^JoE~B z+jfIYbCxqENX<>FrUwG{?OyoJx7JFE*(iSIO2G)7A5;!&n&oEWC&75sdC~d@<(TD| z6Qz(DWP(hu*^W@~gK+=o`s0(jf7&DI*O#<=;L+e#9&Nyug8Qwv}LY5`Z3u zH6zpE(oYW4s-S908I~hm#~okIWF7Mk-#x;V*+Wfk`J zHGM47YvOFEB=p@QmOP;0gf;mgQdWX67HRoa$Ej-hRVR#y8Wiw^KIW0%LPEY15Agns zas+}A{i;G{%>ETCd9RMCsYNQKOsbB>5inDsXiD6L6B5nXU>Ze=``;;2&e+r~J8(vT zBB~ZW2miQW{L7-knJEE+1PVpd5XM)b6L6%b(0Ox~YM5&DM5n1DCV`>#N&=BW6#q#f zSQr2_Nf1_o@> zS7b81z+t}wgeykohv`=}a>#nUBg>iO=A$4zd6n=e@Qy>+WY^9&{X;J~W4+C9UL8v+ z+GiDf5r?zw9S7Xzm+Y}RNgxH*;N02{#7-chc#O3Y*eip$@aro06pEv6eA*ZQT#keesrBid3`btX7&Hy;?Rm)WHZie^l%AplqbTvwId z+9QdnD3bePG)V0jR^fS&WlDfSVZa^s94aoK?1f8m+J`Est=x`Gvs+!=p=oM%zkDDS zzs{2*Ht5737O&Ph#Y!n9PHE*nxL;r~W}3EZ=E=@6JZMhBcWQPVclegWM#=I-5<3Az zkwM18`z&hCyZH3;iJbucx}k_0PpEy`hsxrQ@HOh4l!F2Fc9Kd+y}fK|(KKzi~` zQTS!X=J}X73iKf}mfbs(VU@aQ&!h}i3$i4+qh3Kqb)T4p{FqF4ms*pmWqVLXvY_`5 zNsdBr!KNte54q1=B%?m?rz&`yQz)_I0rB*^*Gc0`Exm)|y_Lmi5Bmw0RAw&>{bxEj zI$QkYSc&mPl+tQw{h@W@>9|R0SE%cmF?arRh)D_9WftNTGvU5@l3J!LLOpr)akUs6 zVw81JI6oMuhkxlR9NnzsY0`VjVS+qLrb7s=ds|#kgZpp36Tbt15jfk7jAVgeSje?k z9n6CHWbX;ws$~m`zIbvn0*RAiz^$cI#ts*fX+RjPDA|s$7QA^XSXTxKx?eL@2fW2d z|E(?>VW1SP9+It}OmZ2$vO6JW@+yiFEMcQ-L@=1wVu4QYU1ato;%P=!!kUYCuqTi@QzoO+iEHsP?a7NG z2kNNL+plxt(s?R)q-LHLC*!PR%ax%_?Pa~UZ=>%3_Ang5r$ciU;EAq@rIVS)T<+$r zsZc)ZG}-BQ^mbsfIX2EKHZon|&r8t={lmB-AxjO>qp>cOw`d{hxblA!1O!W8g_ha- zjH<0o`Ne17O1hh8N4VuhZ|}U~2u7uV`@*{}bS=$!NO|+bM^W=0caF@`Ev{D`*`nfZ zjGq`ajj+f*bfL4d5+o3+kdcJkZy!2FOw@8wn%(HMHWKMlr1_L3)er?g^hB|unQK40 zSU*~vjST@obPc6pJ@`AH=!YfZ{U_ZWB{q<`$jB=jxwwI!H`Qn&SOkIe^77(C;r)F* z9v&oEI!#$4=VRlrQX6pgDw4Af`lnGqN@;Nlsf;+5eG)o~C8pgvxyR^hnS{|%`^1iz zq8aOUkflT(I1lJaFYnB69StJ8h?}a$ch7h6!-=Gg4)C3ANF0>)+acvaK1szGcrm9( z@Ky!oJ@!UJ7^E|29A?zRP~w0p*-L;_2refA7HyL5p7)>52(|mtwyCu~C?q^?FWIt}64KpSb^O&CJ=@ z$QZKa?x^?40DVDx&yDkZBd>CXJl8v&&S+NnBhP0 zR}MMzi?*sQ9I4@(M{)91 z=St9#GDh+1{^2WDO5RO6-+V}MyIstPEYx$MjZT4LYB2m(2}ULz*#kS4Y9#X%%%EoMco&$u~;Q$aA9eY>k&bVRY*wTNikh9UC|@iSG_kU$w@xy zc8Xl2BQiRaAzf!ww^ZiAtS6vXq#ak=)rT6<0WROdrLIk!W$7hO9#Jx{@usE zkauw8Il&ie?{fdEEq^=H?ml6_w;=xo(g6eJ2Q7I)%o)@WhsI|2{H_0e_X9(~1w6iD z3ksx1IW1Nd=_k`f?Ib7D=7xzk+YDAvT~b8%1ZsoFrZ5Q;yuT$YDTuADfEqDB{E(-= z$`uQYOcS(tF{Yms`7V3;&Y$0wkLb0|&$Q0ht~ac$H)OR)K`KOCZzmZ+mfA8*6ofk> z+cb<9gqva8(%sSh`BzGC9tx)-LMyJ!ZWJgfae&!~_jbgR?On{b)RQDLyKDY+CWT9K zBj11#QyrBc*eLHuU0bsWTar!=InVO1mV8W!*=3G>Y);Tge|^b~*?J3V#*N#*@K6W@ z`ThHXgj#>Y)%j%%&FPbgU_U{~=MrE*oew!`trfv*QWt#kfn&_?D;FWjzM#^4g0wn_ z0jiQ1KLex2rAsSNMPUc7@3|SN)z7#^xS@Lm*`Ds_cBjObWcfSyIFdTVP?)LFCgu~yhbLiBxkd;|0% zvN1zoo%V;^J_m-XhVEr#T|0q12xWOuJf{_7;Eg#7Yx47gxnqPHSo<(>X|r%G+-_2nYe#*|LIT>&rsjcupo^sjfIMA&F~}ZI2zi_zmYogboQD^ z|1yudMYuYio&vex|Mm_J42AVqx)ZMRUs7vV8}Atu&kY-0XV3RKo1M;$o|#@#f37yt zEA2=9^bnK6Tp1qp&PeWe?z7W#`m6Um`IMiwoMD{C@ z)dX#$i@ODP3-0djF2S9^;uf4>0fIZh3GQx-ySw}11a}E8`S< zm#}I4WRt#ajr(Ab?Ap)!#$?_#@&6V}774pMaPTU!+z+_NFR%h8 z{)rwUSDOX&y0tgBXK(TsehQb5uC|@%3uDAm9ypIK_yOs|z6;xznqnJRT_6=7WM}JH z)~H{-EW{!R2K{)6;Lhrd9gnZ=Pj0{M+aw2i$drPfY8r#Nw~N$8mxYUU!TUb$R7(B9 z9Vr;F$h3R_B)zFyW4ZJGsUVA*~@l`p>d{qdC{tj|>bR`dE+eFE!$C7Eez5t{8! z6syym%9Mr8o05`&1sVqvr1|VoY}}lv>PVE8?@MHDoq35A#?`s(!d$yugely=k8~U3t+{nOO#o(AXd;ekH z$~Yik&74yg<&hx9=(5$HX|rvbx__MwAKT`pbf<@7jz)YrxdAInX#h=71c@}4>QWbe$is8 zr@LO6Rm2!+&ni@zetA&T^2lb`_I(?9xCa?5GGX)InO$Iiv*|{=fKV#tXcyrbBF6W> zftkm0ga3_Y=fN)G!*-|}rppHQ93~VlJYJh+tUA`nuCqMyPk+B{brIiCsU$y^>`LB^ zVZOXI_|PqAOCE1uSLs2PrY#7c@S@fFA>I2Q0C{^O+je6UGjp_EfgQ>;Yh0`v@U&(E z_*%O*7L=RWMVIV_@00Wl3a{9boSc)86@RWP`7`G!G~K=2LsF!4>S*`nBMXXJ@E|!OEK92kx04Q=scw zpzEsl1xeT?X!$pKL$T={`g-AU$s`j4wWX)hTs&y}HCd^j5kYa_(iHt5X_;2M`Q=G)69P_a4_X zpDSRA2dk*;`hpxnWuwpyN)1fU0u&z7P8YWn^f7y1MqF>>eP`^dbG~jBMyN(vX{~DUno(-^!gU>>g26-YGd7vq99RpB*0W)~z?bd3~LF>BNPm z;nlG!JGb{SGb^<_F_THnN~?M4j04(gtw=b8UX<*BSTJ*4=lp2oxU1sMOsmNG4?(*o z3h9FJ42P|C!%#x~LpNS5Wv{6lfynFeZSDiRCW%kFMSf{TZ~r4X2PX(^7F=nHANTVL zTg}^BUCxnqB4_3h{rA7c0j@5zeRX1?M8KcILC1o@{F{v74La*X?g>YkukS6wKy zDKW`|`4nP^f`OS#T+#B?-j%a!R2BhkLnck&Y&9T+-M+OegHV5HZ z!wU*03FXpnPx@!?<%3mp-LqCB+aJjo3gd)ZhG?7{I~jR5ZKBIk4ld@E7L7nul)u$- z0?$Vn_B|}V{r*kbr&YL`^_LVWT4Vx(D@vJs$NMRSblB|W)D4_{I~4u9=SUBSPua;B zR$d6W4K@d>E*)Eb6l(yJd-#T;;(}){*E}lZcVR@*dnz!dZDk^8P^-=Ad>k$7O+8(8bEg(;m}F@&ymD>#roT)O^CzpnNH>h%TKK-DGh8J5Fp&Dx zXn7ViqGbeM;z%Oy&wCbspN2{tgkLh9&?!|iy&MKGnaH&}>95Of?Nn?01B9Jbw&Xm% zsvb)I18mA%ZZz&&(2B`GqKiry4xH7Ei!perA*vrT)rWsyCp~lcZ_bB2+jv#~SL5Jy zYQH0phw9GT=UlbJYSc4?A8Au1fjXc@aW0S$?i>udG-F8t9p?L zZaV_EiC_N!GM1IV>MA~?V>7p2(Sv^g9nRVhRkh>r6XguMhHx{kIf2|vH&<0P5O||c z7m*5*6CjtTvhTc@L?e3I_q-OWFp^sZq{oS_o`ZirMw)SH`}iaCyfW#+Q|Xn~+i3i; zVqj-W%T2X_IVn&^_lYM3aMqykjvsAM=*}5~VnQ$3iI-JYqpv5o;-a zbpX1&5AyoH9{7Fz*WQ0v!}%!{f+p8LXqqqYd%7H0Lg)T}r4C;f(^o%QMLXreYeATU zNB48+O*opWPUfrayxs*Z6L@%^wn_QKWK(-lfI4LnHB0)TM3gT)wUc4ZGl!#O3nZLw zOkhl`3xOz*kAk3*pX3<7ytgoc)dk^S`UiArkTbyG0goK>_h?4lkCl&v+~kJeYn8&5 z2!babjJ9QzKJ{RS=Jd0ON|S#4pFWJ7$}YyJwT%YxiTW0oT!B#fT<2qNBg`pkH#Bd- zjpVPX0SY-7-AkUEpY;!=4cxQh-VLKbhIfv5l`w8|O3F68;XurkBX!vo-uDDAbX#qo zg3b{w`u9=+u9g$lh6B2QTH4W_?N_q8L+Hx|m1 z8>x5zuf)@z_`gvQ3~?0dRibOh6;w^l-ZSD@G=QCkmU-w>(Iktm7}nOf%-dDn!tyeh zh?!&U2Wt7}yZ2u+e~+gyfo%-d$CYII*QXc#Mze#vXZPxpc6Yv5MD9LjE8_|eyy9uS zZog=N3@a$qnvn>%vQ|ufs?q2*fr#Oc5%Q;J(kgoiHK&A=u0(xT#V+zASnx-q@jUYeo^{vuXL85FxWj7`<~PcO9WUsZBnzuw%MTjtisW7} zs(M!NaXns5JgLnJB^L-hP3`++%(uC&{p0@t-;V?A^C8$R@IPeNMSjC3_gpJO{g_tx zL33Q%C2|E^uR7YiZ)Htj_n>>0`=!c6Ka_l%oiu&~u9y>^GN(G;tM(Lv*RKQ9`WAGM z=!6N3jPtqBv%fMiP9$F}`%+uR29?-KF-7h*ROig3HMlp7S!7gMuqe|EpY$SEWdoZJ zI$*ImYP(2MQ+Wnd)+6<~EhmeCP3ikd*TGiZ>FCIa+q-zm_F32x@GIo#OV&;MXGXkb zS(X+`y9vTNuh(T#IX=jRP33IdWJ~{9FpihTC=de&*QobrBNrduZf71@e)ovqgAi7|EO~kWV#4m(RI_By2(Ou(HpGGN}j^U0#9ba zl!X?<;r<#qqm%mxwoOB2{E{l(xS{E9N+^7Lci3WO=x)WH2Y8_ zz_>e0E{vnIl^zbE;=Q%TCMt!KIR604u;vj0;AisnDYifv!YkoSIqWhtpan|0;4=em zFMqNjcV1K!CI?bg@TAEt)=e}f^C^$SIUN`6l$RTa9#KWxqAv5Y?Pp=9S+?aOtT?pg z&fnfQ!bNGb%1rTOQaTs(IgX!s(+n<2EB>B4)L&8CFeyrQ2^Dj+ibxMtN2O2 zrr<1?Rq0sp{`4kW;uD}TqvTtMk;aDX{sa@L=R@OS*~%z+mEf(P>I!lB=y80Tv1jv+ z&sV>xDo1Ztq{h{KtR8Tz_fSb{SPyby9f$~UdYIaEKK%k(&N5OFK=CRJv<;4j6V+)B z8iDgZ)oi$~zAy^oiwb98K6-62KeTdQBANe^3n6u%eBAU%3dfyGHU6sRWoJ`-v#HF( zOLp}7S}nkQnFhZkGHcuokGoiuzB#|*rLE;z_Jh^xl73jaUSPeip!?)5CIzg$;Uj%c zm1MR%@rP?7z46>Xi%mhd z#o$#18c~~b{UcLI`x16dbE%7NQ6;TsiezD~iIP-U#lmFU_LnS%mokkjvik-33>$}9 zS}r5?#P+CxV}yj3sCGVBZs^+|#_>2Oaco`(Q$tq94#|z7+VC|J{&^3DNIyH@jYsuM zw(C^yi77u@lg8q@ea>mob{FH8wLZ+?fut62BJ3vHH!`1UT#_v^x!1#<^t2Y#ZNEo9 zIPm-BEnB(w82{le2KLUW;%{O0>f+z;~ym2Gb9PzPH?8c8uftr8zo!(cinGy zM=4`5#Hzhag*F%De7>5kBcBfU5Ooh6VZT$j5!wgEaB_jSY9b8*FPU?R)2suTy(E$;No&x*|FW`6l{~xouYE^5Eo5Ect{~ z|4B%UG%YgeT@KO-_M*lWE}7{Uxc@2fsZ@pBreffuAatu*iT4v|VV+H)5;WEzI*9Pv*iz6+2 z1UMWvPv~lco$K(d4sU-KcWAL~54gF1HX&sA^lxMU?$6sdCM4jK4o2FpDhB!h zQ9_~j)|O=;h$M}`}pD&_F$j zO{*-3Ns@mizu;fIJr8Zb8#M^$4-WAUHk^!p2*S%g-PbuGR1wF4SNBUJ4L$6v{KG6( zmuwXdEI1bSVTQPyvx|Htf0A02Cfva%l14kJ-iKsg(RZp)(1n!M3f{$kI%vQfz;fIE zR=CEkmY^$tW5Qw{dP}Z%iPY?C^iE$BBzvLaompb=b$Nqy8Pi=Ax^+qFchXJIq1|C{ zGqjmKJge45JrDyk&dDwg^h}E5jm}8S?T(*8BqEs?3#xIIHIFV|zH3(3WUDPf9 z&vH%WO=EWCWKC7Q2Yo=$xAT>TGI;j5&6XcdV|1BZfA{Z-{y{9<$lq)K<&_12`f}cS!7(y&B7s9;#lp?#fsk-!&8Up{hy4=YlHD(vK50N9U zV!Eq$>TF31li>XWBvmJ%7-yK1%|Rg!3GdaWVW-!*jG{eNQz%1TeB(fHx^^MHH+Ih_^E_C0abu?msFgMx9-z{@5IR6ns4udaT zT|V^NbY=$3mMmxdwQRP&FHNiwI50ABKFBeHk7;B{oiWbKhA2RXf@>Uo^KMMuamcti1p(7?>uLZ48=`hT}pq?TpwfF1&C&6 z@Y-r?Zj^IhO?Ledz6^1a9tFP1_~P7*=wIyo;Ry*q!&| zQ3bvIZ|kGtZD|eMyWz@N`6jydv2{J9=L^{^{SyKa>ChHHoLyHH+eEQC2cy~ z-Y44cIw}_%x{`Fmx|b}Y`Aqeisv+xGzj3-T+ispZZhako=qi4=R*did1AL8t zj@J;2mN-SZ0 zE$J}W>|7?I^FI{3Qx6#HNgC}+2qbRfyp(Smz;sdu;Yl7sBRL+S`lhOZ7F1GaXTL|2 zzC%Y%gE{_!=|%NXGrC6WxVKC=Y-n%#5(}+;0Tv=oh@*XZn{OJ0qrOeCJG6T$n*-l_ zB;kwxxIvZOD3`>3V{Bo!Ep^Utcc7`Y5^O58EiE50@CC*Ng&VX3T0OooY)!a8304hw zV13p+?HpOcpmmSM;=8A2X6aszsw`kuoiVUv!7nCK)rpAZBM~t1V%I=qJLv$#j-)DJ zn%hI{C-1`F*BuPp{ts%W+03H2hIb8sm7d{kU8stZF6%D+>e}%y6L$PZ*$iwrOU2c4 zXr=uqhFM7Hz|Z-xcKpr|>yl*wT#VLE&K-LAn^B8O7bZ{Omw!rh&4Q0?+W3c9hm_H7q-JW1*uBb_ z4i?&Ftjv`0!BJZVaEjj0OJA%qCF;bls6d#T(rofX-&=UtWeVLN%PBsc`5UNr(7YC6 z4N04Z{6;E8_nErTg^N+H=EKcx5)Ezr60!fSmAkplq>x-GFCW{AGHzXH981auOQM$# z`%0H8>FU!riB#T(j*T~)#?Zq#w&g|akj-M+Ih4UYfoA7|8Q$U*+o*4$dmOauT^5U_ z7NJB$tbYtDx_YVJH@+Nl35)7#{mA#tIU??x>eMcAF4ubNNTW&8v-HhEMf0)A=S7D}PwMSEF58;z`2jS;@ zw<^NS|4&QU94P1Fd{WA>U|^>KiTtE5_F#NKAo666UbFt-b2a2tCPO?_zlRd+`B6kh$9p|IvDJwrFMXCnrONX{tXo)|Zt2@qNj_5h3J z0w!wpYoC3>RdBwF-ze%tz1OeA9mYynQ8hsk4&a>tI?Lg*!pRodxGXS>Ef}&U7q+U% z?VJz0B*+wg_5B0jB>lbd9`+TG%UWGPJ9$29n;`|6c2u;qFc(57{!RY?MB_m(8BUPp z=u6R_NEKT9bjO2;Lnas&w#NZFKrYZ(!vl zxM~`tuepR0lEG49-8A6MCOqHumgGI;Bz>0mO`Nl>4IXzdq}a@Df8Ikf43BGcDmola zh$>>|E=00>Q{iSU9c|M|u(JP9Q)3Vu8 zjfBepwQq~VP0yy7H5VvELykZStOUP)a0KdV&t@PzNDS|w)yDn<)a&`t|Dq=L1`8{~h_I8mOlqe!vfY!$G+nu!AV9l_5uc5VLWYIq`$#7t!9PqH>yTiyW%8 z%yXD=w~$B4NH%IGPX)2t*sDTMRkL1pkGE+>Y8Zz81c$9tR~niO?$tg>+~1C$*0^_s z+9*R6N`kK8-Y&~ zC|{4JLR{)i6bpO!_hR8#Z(oHu>fq!4UN@-DLy?Zpv?I2Sg5t)WcRH~~-hgOw(qRmP z^0k)p8v_i44B_7@IHAf{Ud;96c7;hgzK#{v)kU2=oCX{ml>1hu%pgysvIxjAa2iT`ZBQqs1%}G(q8pC$K9L;f+IYvw zhD8k7e6!tP3^SO}SDdqIoJ84;<3s5evz?~OrJ*&xwr85MiKB0E zyv{PGgj+ltGXaK!G4KMtDlzLHjqA%4(ivu3#qGxq6~@IirE$_~wXA1OWu6}E7memL2K85j? zDkNl#cC5rsF8kt#^L&;j{kZJ&jQ=r~@qc6wNcbkfh| zN~L`B#h7I!-)wpUXpfTmy?Ceg=L&wapmz2}pPF-h_HQ9?|F^h4BB)5kp9ALOOS$A17;o?W>&u#DY!%!*ww zeKxrNEf60P7(ZH@OX%v(g*}}dfhqvK`G-O<86LkF$w;eD11qsL9O3Z zu()O-8?l&a-Z~2APD^U!wCEcA2hai}rtF#+h~$;Z;pU&)w`i+>Rc-Jp)EgGYw3k6h zcd=Spklsc#^E>pW>kt7}`!7lLqrQFc3)dI@jP8meX%xB;<#GURSTvSe)ayln6jvSb zTu<2AX7JPEycf6xYndl?Qu!0hqL{2S#yEMJQJ5yaZLc=QfzslZcnur$&p%kKJXt+I zKftAOt~)L)PZh&EX%dNyu3k8Ek*xAJ>dPV-xW%rW$}}6K3a`ijZ8>8L+;~!H+tPqk zQN(<)COMZBXZjs7#??kD~Vwxo%c+*T(OWbs`iMbVT_P=!LRSdn?%~t8?WZ=D5=h+!}?Fw0mFD>t*5Q zB>Jl16+@MUpyjHVU|-!6astnQyV!}IBsX#g8y49cAvI|3e{U~uaZxe3KaZJ?Le`%fdFghd!ZrR>;#lcPdQY8vp|K0)E^ZN0$2HN z5_&`VRGn7{leAn}F?{|3<0XBWdSx~}Aalg#B3SorZU%4qq~dXu zKgHS7?PS$*N_uZovXTY7?Yfjn`{le%pYwG$PDlz!%u>>1cH`6F06#l>vS~xm(+KAn zLJPJ?ojl~#$XZ-sZWA!`j-%g{>VbU&Jz0eLl9rC)@n$PdB!?FCPsr4-9Aqwa`Z5l& zDuISRyEVMUMq4U$c}u*WBq{~Xvk1FKg~*56O35{W%wxb~-Y4T%;S?=(~?r}P@U+1J*G(@j)krIM<2 zNOF!T9Ea0}Ul*T}38}^`>J?CN+pR1n>UlPHheW4H!^XHd;p{Th~%x|{m8R#SmBB$IZL>MP{PZq&XCcCyKgJfI36YXEyN{U97!l1FwS zB|a4;`gK3)UL|UKL+V!CU$?(pE&f=k^oF-;zefcko&(SPn)nM4yh%bi=xd~ zITn~R75R>I8C1<%{z|U$9PpolH9OT17M)7RNSU#eUjE|+XWyWZgsxd{Ncx+FI35x{ z%8-FB&KY|4lV4NtMkf%Sc1)99j!EePALO(oVK&}|u3Wh1RE5nkplguDV359g05Z>V zD&Ya*N&Wf^;@u`TAX#yEC>JJ5qmg%8Fy%r($)nvj43JM_(9iew`^3?Uch4mDle|!n z1%AyU&yAq^S$hpnpV+xe9(<$YSyuIss`02IhpJ_QN|ME7FvbDenkzoA_PO@IYS!l_ z6jnux-2@5^laO*xvnAh`S0}8hw9hzLIq7A7)0ebo3vuNncGoW%TtP#{ZK3#`{Mf#F z*027KS4kJ*y1zz&so=95eDNti*%Aq@VR{2%qxQxQL?Vwlqz*bxJAGT=sTsaYu&lS* zFgh}>smM0UOf7D}Lo-*AHOkyOJgo92Qrvymx_vK}dAp4Nn0hN<&?h6bU*gLx{a+PdZ+ z;J75Q4ig@Yc-)O?Zlnm?jAi)HrBp%0X{(*7wXz-3yf7pJpM- z!R*3`acd0?kej8TLa4Vgc@ehX!DLA+BGr3G4a+2>Z{c@~Bev%pBO&qV`QBz7;MAeI zyw|8>@MS%5Vw8Q1scDob#1ZxV^!Z4QJ3gUprC#z53MMrqNvi2L56^!4Lolv@+H4=o zpsQ_jSyNSqv8BDPc>CtxtuWino|lY&fDpJpwbkm1(?ko|zim6Jpj+*i<^BQqD(d?N z$|~2E)txJFQ_@d|wBuks0(*aO#~YgJ6>xV%#$Tsob|@vJpGu5q`i7!8n}ZGCanfpH zF55}29(wLJuV}ox)!2LT43qYWl%v z)ca@d>kdllCa0)19lW(8BudNx+C>(`lh{V4jbS4~9!1Z3Wn=jIX@hJ|L*5%=rl9lw zHG+4~F1|KfDDGW{+qIz#n3KL09ZPZa&#>Hu4=}Ske{^L0EiHf->9AMaCdH*Z&<;I_ zl--mD9=WvSE_d1d2u4#+-hWPGH8q^_U~al2d$Muq^@>u&&j3lItHB|QMMB&~P~4wU z2bcrMmY+m1kwTobj2dw+}sdL5$ID&1GGq+%) z{CAKV?=bNPhQyAzRGm-C0*ruAM*Sao9~4(IVAwB#{3WWx@X{uFZPmlX1>Fmx~8b3lBxHh7bRxc%dSDh%yf^;O*Ld@a=A z4kjQE@NAA6gQc+XearlP<%(l(`z%A}D)Zw8D*BBJs`QZ@rXQ6z1m_Yvtfqnwmn zB@8JHRcZh~hheFT8SC|`{6H*CVa)8n1FCt97CixRSen-*Fm4*T&?#Cegq1#S!jM2U+S*ZU=6RX8uqDh0Gx1JSVpd< zka7c>M%G|jZ)Ytl)w7L+%N{}+vy|Z6xqDmS(~_1KR;!dsf4c$w^fyMjdPLQO(k)lU zLP8|R6qeCwAkGc9vYIaDrFv;2{5Q6T(wI9g-EHLj-V^D<`>o2=Plol8BZq?F6{qP0 zRctoP^zmlODHY0Xkj!ZN=V=mtLyj)0GD@$CLeLi#!S}Tj#NU*K`8<`22X;C~>(yngGDO8C27e%v&> ztL=st5o4P>|Di_a0MZ?lDBlw{Of+Es*S=gFX7hc4TPG_^CZ z-|pl-7L`nMPzU`n2HC3SIF}y6TSjMV#w?LN!!w)TWZmD@JFdoMK`%Gn#@QVu!}hmrBSq&5236 zvX`DBIoC{Oh%!c3hRXMrCHA#R`W4Tz@1|^rfuQJ&=YN1nM2pM11wXf}z1$t;mE1wr z!3lwD|?bY`^p#3gKJq;?6(q0E+js zVhFl^f9P1IMnQAI-c-r&Ir2~l`pLJc4P|0q(>rlk8n;c@}zr-egG9sYqkjHCd?Fx>YSKM_3(?fg492b0< zphxjRsT9CvI;vd^M+e4bn%dy{QERD0rDjRx7}|d;&9^h;FmG)q1qs#`nY4UTng-JI zdv%Kj3xYiT9k=2~l!m4bZU>vlEf=HL!~(sgXtp*&{2?6%cCB#X!fLCqEjCk zNC;D3HB#$T1)C=aa#J;Gr^HsN;3BfyTi}^gpw}#wAI%1iC{cAub3ZLww8+V>mjEB) z>4y5BJ%c*E-w)T8wW_SWnY@0KFk9^Ba*R#C#CLKNJ91Wi*76a%MNj4&XDM zn)~|bM;vIr;O(L~4B^`2bi^AN>wQumX24+eG5TJ=5uuG_Xl4FgQu;(^ilHac>==$x z?&|KC{cm^5;@=JAv_S)Q*Z}V#EGQGUj00Qxu(ir$$SiHkv0AQ5{wc&_&+f+!0t{ZL zBU2@*8oM}39b8j!WshRDZM8nIYW;w3*84MVf4=*5?7+QB`>ESU7R zFOuUAVXIw+-`l%bUFkxepC6{9By zb$&l~?ZV;Si_%Eaw1v#ZecC0EC?(Wd9$e37O3JZfwhK`;3&-3REAPv!O|lC)Q09A} zc+J5%f2%Jf=k&tx^EBLMDD5`?0ilK*^&u44HA5jTqSpYqYZ+Nr z+BGCG&{3_rwH#IsQ+Z0KiNbxDga&>xta*JsU7X6o_%x*^$qvgh+HxH%@q_`p0FTBo z|6|)P1#T~!zgrF6DZ46no;_;(>_fYaSrl}7uKoa;X z?ra^3!79}+8BpNEj_OEFtC*WgB!|5RaO}L(6xsOaZ`sj+}rWGsXgAZ z*aO7()$-z3y{!q(qnyQg5Z=P*;5}Qq(5ESGa}T;qi5Z}ghm7h|9=3H2)uaM+phnPy^6PM{uZIOB=U8QSWPFn7N}ftKWX;Va{h={&|b?!L#H zP;Ls`LkzWC{)6E1M_Gb%oqwYy@}km~<iEkz(dp$`aWs^Oc}KcFat**4FrhtHjc9jx3L(+R~qQ7tFr?|FV7)Fvc@4eMMl6C z_Xy$zO`uinVB<{%Njf9{3fKZ}`FpTp$rFV zt~e|e9{t+fn)1>S{2!6d%b{7Hq?BDUk!=(ZW^0vH}cwBr;I=Zsl}m#`-&*N9Z?fOdWZ6%Y?s>^fD2=@A^aDQY9t< z*v&V%*iS?%W;zdHfITCfd?lTZ)C*HWH8JSGoJjT=OBj3qr0sL6ZGgUZPLa~_Zm?J8 zS3CGwszgr?4oV*@xx~qu;Oso5RJthzNWS29nhQ8=gVyNN8<;HJ6ReY1B3{40bo0^a zLB%tqtQ><2hg}#;-SGi&dLDD|L)9olkMRW<4P^TIpNJDn5Ua$!z`oL|`zAeGmf~1V zq6FQ0Ln>|{2daW|H89}_*WSp{;$R}X()aoT0enY-6uqqkSXhY6S_7=i!Jxkc;h2Y|3|0s?y$Ob<$5>#+o>;?P~kWgAb?cFTEa7Bp)e z3!!l-UAHvOnJI1O5W@lAW_gvyf>+oalx1NVq_`h{Ml8DFgyK$?NJpZLVXqt|bHCjT zT8Fbcgn!AE(qjoCyGfJobG=f7&Nu(#)SO8fs;n z*wI6E*6j(aM? zr@!8PJqfWa<(A(!5+4AmqSsZ*PtJ-8{CX%+9y@xI(FO&EW3z-2*vE?ZK1M)STdENB z+ev}CNSfAlOux)V3QSPDe=ddZlxAlw2Nkqo*5;RL5dJD(D*Spohx=L1F-*QGX{kl6 z3duwd_6tj8rz&S6&eDN{o9e6=8_=c&jgQ6+)ixp<=`W2_R;3q^UVWau=u$T!BcmZe zFekHC@hgFtOpe)v0Hf|T^;CYrMG-%=pei42gqh;JS~U75^5dea z$pPL@BXt*{H-7Weju~+eEHqH&rKm~5h***1penc@wOTb^tm6+8zw7~#Et=kYueZaa zK)WU)+?lhhmtcq6=?kflw9Mq6$L}?aA?VnMhznz1j49_|E>2n#syryZ`(eMGRE%IX zOnPy!o_sQU%y?iFpvb6pB2t8wps-r6QLOs^b{9`CF4UjFsm1!ZwU;*oQ-sO=&GIf+u+d`FZHxvIy3nKwnMs za+OLL)*=;KQuV3Do1J#uo`qAuIc(|#3U#kBHzQcqb<3smxvEu@D?zAW3N#xys=DUSg-ExO(;Sgu@X z_`g8(v_MoZghX6d-v~?Qnw9xTV}fDhmOS<>n>yDU#@^Np->+V$4Jl}Re^6)<1(P~0 z9Yl5LDgDH6F!{4bWNlIbCr;cb^G3sletwIOkrA|YGIJZ; zw$-+bTQ9xViXvTF@6VQ3kjw?EvYDcH83XNz7m~S!`n@M2P7infptt1;5_bvfVD<%# zx{wH6!=QE#4RQ5m_Fhaw*FA(zlFQl0gCV@blD(IsW;E~``$T*ZZHN8`G6~7vNB*s@ z;!hYstgwj~jpkn=@H`u_w~QTsH9rwmT}#nMwfwcx`>CP02;5G!owYYU&~}K%^Nf$k zFS*B5-cO-moyq}Hm%HPAo?g{Oae_6(ZbOZd#olEQ2Edk$$nRyhMZ>C?qsruSst8&* z65N4Ew0Ceyki{JwnTn62*|VDYD2q>}0vKhTB(sON>LLo&S%@{ec1tDMvuE)b9#)@! zr=a%#6d5LxyC3^YGiZH)=k`)&)TU!n#@To9v*!TiO_J4f&OCo&YcixFga7zC9q+_f z9B=8!>jGK4N@Pf>GOsJHp)p?<=Fkkog|{m&*;;S;Dbl)OVhaxY#qLi!DS2=& z{pJq`4iO3)IlWCHi2r*KIXFA&yHA=lcCHk`WJ#{eLZ15<0|!ZT7{`T-yWGKnh|ikN z1m7qLm?&>v_FpvfDD%p|vw5M+LPoQOO>UsoWDF7{P?<%(IBVgOu}Kg6?rg7`O%6;k zD<)LFis*?`1e+1R?}#8JkXw@IAzIV!2+bHM?n5Sr>*AUP`{~j<5;w$+i7=B0N_Nh$ zN9l^WX;ZD$RFi-n*I7aQIAreBp12J&t*FdWfEw-YPiL2R8UJNn?*Ze1eU+|(cica~ z77^FQFtgzZ0aq7sWLJ&<+6kankS5$N3@W=E}D97Q; zUf4Ix^yRipdZXrONZ!<8#JJ6lB--I%FQ*q$m^gy`r6^&iS5T^mxK+)dDk64-R34J5 z1NRM+iN9*@{Vk75mEp~BDo-JqIFP%SAU!c{-HcJB)9Aa%H2(h zFJpb=>I>OT}_ zMahrcFEp-6jGV&xgAV_sW-A=TkF-t^oo>%O0AfwWU1&cb#pYOGPZKGi)W_OlO{n+* zUu(loz?+Xzb_x@Pv8N&VB{|mi3UbiMSN!g7i9lo^LX^9W#qB3{!@F?)LDREIrA?L0 z9SlARXczfJ7I?xk5xHLIF7lWP!~7iqU!&4l9W;FtI9`9jaZs?(L2UZv9!aItt*xNBmSlA$Sf`$jxQiu;w7B@BwY8e)a^e0-hxw6 z!u2l~UL442t#mMoYG(q%ndvkL1h{|ZYcY`54|RoXl1&#fE=hPqQx88j3O{UDOnt!n zD^e;&^V2AXLW_8ja>a~`l4&&$ja%=V+LeP`tGcc5Y3^D}y{C^SjY8`lMbY~)w0K+q z8i3C@>5;0BxZt9dOm5!=c;Hn{P-8V7tI&Ibo~K`uPKz?fsuNrBO(uZ^mgI?_Z>&e2 z`9%VM+c;CpYw(F}F)TS#hN@Mv9F&|*#kwfuN~)k9xzh~Togw3>$viRDf?0Dy*$OM z9~q(4!nsqWuZOFcjc2MO3Ijp)x2RfuaPC!)R;OEG6aqqh2L3fYD+UU# z2;LtWxgx=3wdP#gd6_(UzW|lCt8E<$Q!W#cku2b!>qhj)VYa@-6Q! zw}5jUTocb-+9i<1F5t%=X{StiOWfQGvm$5LJ+p&n-C1>pV4v;%-cAaHnrcanRlEx} zsrp;BX)?cxJ@Cy#{CVpS#-XkX-KP9D6zMCx<&p`2Jx~IIK_$GIPdj5yP#jl*JKNX@ zJ8+pwrG4RNvLWKka$Y|?TKUXYOTeNrZ2%C2yaiHDtS?^rvYa>2aMsVQQcaqX5i3Ey z;u({2Fx^o&Sep6a{>)XMy0K^K$ub)d+`RuVcp<~5|5{Lg#Hp{ze|5#;TU)5Z+_Qv- z?D?fW7#^wKol$n_&f0kdFD^qAa!>0bplvcnsvZB zOVp^6I|!LH{;D@Hulafc{mPbuy&xr!cQ8{gpB@pgl=#A5yPU%v^9|?1j%qy?2a4vTll47o(SC_ulG0iccSc$wJEiu@5^h3rWa;y@*=e*t~+WX$Q z!gB6RB3AF5%z3g_BC-8Ou(mtaZrnN?RP+K9X?ya$YQN=oJ@d0Y88m=c`(Aq6f?hV` z{-cNOsY6bwblvOXkKvH)raZn*+ldY$A z*Iu~wt3MwEE)TcyRxlu;oz{J^7sqNPEFt!Baxk?rKPFh1S54PDM$rsugNywr?l`qB znx#3}t!oj3Cz_p46u6!^FcH=IQg7AJyzjM-&5kwc0uj!UuLF33TI=Xq5Be=MVJTQ| zo}#|soUX?0P@*Kv->vvP4~?UpqPE!%s=)11p?G!tCnjrd+Lc29yr3i`Kj%KD|q^A;*!7 z3uM#Nxx#$jYx36DW+O&=yN`2Zl;pVQJo_21vwCtOA5mGWS38JpAd=hW)~j-Zq7a80 zcS9HuDNIv9+bp?Nyg1F&6z4-dO*NzC?9I%?p=vpR)r)bqINhK<2$H~9I6#bLl;D5F zulg`u3;>8rCUV^y@AWDYo|{U{#ZO20Z&&4SUMdwFVYLP95`5ni*kqa>t0SsE(9{~S ztli#ae*1u(5f-f!fI-b`lC$omaZ@5`e-Ml6HWw&?-WVAet5M%6D+6b2HEe3tuD4v! zlcflHR}ewvb&?DhU*hXjQ;Q?NnO1JX+WA;Y4kD7JF}o__Wy|RX5Z#BzcR=PAU1zmd zURJwCZhCq_k$?deo>)TX9HGj1*RRKu`CIf)#6PtmM1p-2AWawIudXdP3=jN5u_4us zz3dm$m;+o%i1*1JUH<&%v}P7H%`7-RM?5Nh?GZZBHH&!$EtnufmGwublCjIJep%`( zAM?C9jTg=oTxsI!Xh;s5TVVD2D=`NND(njnaglYh+h*PnCgLG27PeWtL*g*(XG@I_ z?kLP8cy_*0IHvVPh$N6lzVFf?Y-MYcMgh2<^t zwjzVQT~n$mYt}kRUR#ho1mFneSVly7Qu6p%kXB;~E2dyU6Ox)rXJ)Wj2! zBU)MS6X1N0+n(IpH#8Z0+IPfAYkT$EXkb0pBe94hI<4_>U-|vA{379L9Y*k}TIspa z!{SeX)A20on*{rAg8BZXGPC{AE8g6aJetuDEU%|Saz1N%;azlgZD71Viob#?xwCv8 z7zHlX&%Xe&92=4N^+15y%nG<`JQ_c9_P!QKvL8xI|Dd6EzUImKDH$_j{oHi<2S}*+ z3u(E>lO}|bkV!(@+B6Hrqd1Kp$gjQxZs0+eo}r+cf|lK4Lt?CB;g!Uxic)c*s@Y~d zHxE4$yj?cPC|>8}8(yvVwv3>#<{_+9d+o;$iv@@h{fKO7Jq84$sPew5mZp_vnXL0} z7W!1S7Jl=J@}iVDxWKOI1AL8K37NDiHY;qxFus2It$n~lc`TQ=^lG7n1*Q#ot2DdH zb^$1yiCa3eQOs!dCLB`PHa}K6HwbwrwcwZXe01>jO=OC-h}$&4!2N!v!jYWTJ5Nu; zOi(>w`}ITQrEza?t>03^xhqLGksH$}dYqu#6j#&uBKAt2R=rs)nSLvYI9vJ$m0e`Z zGyTa12rj`wmRBt1@rk1B4sFl-+>RK|W0n}#$f!+!S!bKxRE*C3=dW}Q%)n7XsL(9TZ{OZYC zA}4vOh~V7EcUJUgexHYoDavJV@?xV&`+tuN)UwEOOab{0ADF)5oT`#T^z&+r)x`+R9DHUqgEo?E@-~=zG{?eRxs2{4Mj>!I5)9v=V{$A_GrB`<*huc zxyp7;%xv<{c~aT|n&`|vpsS(=DY^<4YCoBdG!+y5L>^(bk*}T%vy7$3u_$xXf{{_M zdZ4}rMjP_(WU8sPhCH~NQnZ@FHc33L)N@u#Y$Hi?VM~7N%&0nYi2ksklJoLb@!Fot zy6^G8l|vO_kJ0*TkrI^c_p>M<;aFUhB>9BrTCQ`j)x1PhY4o|-+g#&Ek;Aw{>lIy- zvnpbYu1i&K#M^OF`x_gHn?{?$Qz@kRafTO^lSx=Yiw$$JWEkptpik|&2x)h%up2Qu zT~Uvw74!5|)ZaTk@}eQBSn3s8VjR`vDQDx2SeS^l@uetf!A<_9GI61`GOwls(y*=1 z&+<7a)IClpBdPLH>e$3FevOy2=M+qXc*b$yh9;iR zYydqt5bj0u1$G0f7%$#mLsxB~ik16(`uVOu=<`Kx?~HgC0^3&0+MojzZR#!lHMWnQ zTC_C@k~|Zrtm%U7756hR_lj;~%Si>i8>W8%c4h0+!0!+Pa{Y?psr$hDKlQj9W+E^FI{IA66G7@&mLCE@+H`r5#!J{e-)gr zjpj4lqKX8`E-inlMVvPBm`!hzX2B^jo;0~9cC~K0+Q{QLC$+HF`?QZ#d~z?YPTutm zQALXJ7>{h0Bu&@JPz^gu$m%yW57u}JX4l2FRCH;5-d!J3#XmuQadMG!UaU0emFpm8 zp3+V~|FY|fGeZ-Pu_NvugI#UW2+{MQ!}4EE{8%?X{Iph}*Syk!6u$kr0FJ@!TD
Rw$ zzU#Q>mkC-oFE1eK@l?8O`@C|ftbNJZ2+sTsx-wI%mZYmGAyZlhdm zmy=de#0Jrtti<33=9#sxe5II|i-u#rG2Y}Q8KdXZnF-T}#zFg(xI(#`Dm?@iq~Z-v zTdRRqmt2irSi*}X4dywwIgb;0{IT634rLRJPpunvO}f_ZRaTr1H3P#S%=7Qs;I$z{=gCuF3%~_X*BA96acuK{m-&yZ5p1?SY zdo-w3^OYhgIlmAm&{l;EyJ(SEYVnIXbXeA8-6kAg#81XmzJ-nH{Q?jD0dTUGc>Mu< z`!27>jnf=e)k%QkjAzNwUIDQPFDE_geo^uC^Y5i~nkUFE#u}HB=RiGoA6e}@>eqh& z+us$o2lW)*ojo_=4>1`q+7@xEeC4E>si{KKrFKBFzc6IsK5Cjakw`>j|31{#@#MzN zcSA&nk7UFOz0PCcmypgMz`f+F1hnT=Vzdu!Ou%0(2jCZ}jqtZ)P#iVSfO3 z;plOGv~qacU*f-+@BaaOsog-xZ-o7SEApj%5%Ff@%fD>svR$QXw=e%yi)Q@w2k`N0 z`-aPp4Fp>8AHeTBbfq9%8=B|@G{=7qu74xw(}oR1#ohms+A|RCAHSdr*I|xmUqs8g zplkC_W&bzBTX+Ck^DkKVHv%HA1oN3#n!9d3_iSwvU!U(pPB`NmD=h6}hEj;4YazDRB$xc<2UZ|>m58=hAN z?%7j_zoc|{_+Q(hYx!5$1^f{m65y6ugZ`m`-~Lx4nu{ zxc=z*gB*kE;~&7)fqi2h>>tgV<@sov|GT42#}Ak!L)+r>+XV{8KhWE1eu*3eleVt2`YZ*4;>FhBk}#kN?zp9S}j` z(!Orfx()}&M@+z;pk?2pi}MzZnu`v9m8OD4!~Xz2TWEr_VUeH++;q4kn*0ZVHs*i! z_BA%#0rbace*loobWL`fW(eyia0^=a4)Nx1>hBHr#scDObaOmcf^()xHi4|b=}*ul z1278wE#HK8r6!_%LkrwY^dhozIvtK~RIPJ}N;FB2J2t^3`!1})SY6a8ylE5;P9=Fe zhX7#c{vdFU)ZhVqL>Fy=2h8wKrPI}MKN0V$M~cy@G%7J;_Y?ii-367w^N&&C;0>Je z^9W#qdp41Z;)XTbM)=jJMK;5KEQ*knGfigz6hk1T-&TcF5$&t`xbqI;f3KzK@2R3M zTQjk__!Ma_0zmurJ49?WT$1rG$-dtq`k1E~^ACDuHi9aZKXw5Dj)yn*$N!Zquoll3 z5LF`hdy^!>g|S>D)3v}GO4#{mN$o#?4d-lf9>6@JeSx2A@oD=HPw zX3&`5|iZlBLmW`pAG@nm7~D~d`zOu5v}PMjjE{x z3+~uG2q0Ww224ShO47a|=MDja_|B~9xHiXSxB-hYtK^T%+lH+Jqh=(X`-VF%x)tnD z^r@vmKv;P?955EkLyAB3c*FUc1ref;UFsqifDSC6L}i zg@#W?^P`O^`JZqNB&m;BoYZYMH+8%x`lOeqjHP zlK+1M-Q54df%pdl0t4NB{fkCK4rBwNfrub_`qnmHk@M&O14INI9gQXnccVkHg%i%q zU=My=A7#V08e#($5!;8k2hmAMt9|<&Z@%5Kr4D;AL{4kYYKHt7uCm=~dajDzIL=Wh zBnJl@zK$mWLBJpo$%YRV6&0mKJs81<;=|BqK;#1{B(iPeZ|v`Bp`Xg+0?B+0C-%|D z4m_s0H{Sh68TxFpoT|l}cR#AW=3iM!e||babgxH2ds7S+!j0aNpbq^UL{0R{)_{Z} zg@90E)ft>7gn^ygKj+L&NX}jYR_RB|v)qm59NCTE$zS!Gq#Umwl3~A_4vE23hC+eP z9#V8$;|;#YZ2FuQk4sN0c!FJms%W~6Voc2?<)1~05q3=EGbF2QSr3mmI5^mfV(zi| zuNWI#tvsG2R*c*JP|}hb-PC3Fu%-NTcb1>ghRcjBT!DA5x?RvEu!6mRIkQ60U^Qom zU_iLza>Y`%AfL>A>FQYZ?ZbrE_S|YFaH1 zV9RG;vq0r7SQ6f_ZM2CNz6$TLMyIAJb}!2>hG#@~iav?8kGH$7T!6rs9VyDa$Vx&dlEaUt#>KSRNTTxk=`tWG}rwe%z1Ipg) z*bCa7TAQ!p6+$$}%aeqY?@Rrb8gf{8Qda*95@ul;gr7B%@*c~N_6$O;oBE-t< zugg?aRB+4mmS)Nz?pkBd^`hQOip^bh_O(j7qG*HV=dl?*-7i%yxZNqbV;#CiO2i0< z^`rpHCDm!Z)%xnCG?Z)nYcY=>-9kL?X!A!YfOEp9ZavPmWJ5AiN640uU%$MV&yq%0{3l0#V(Ud60V zlwip4HLV28r(~56eAS7(%Ziz|p@f=)Vqb0GYb~YIt$s%Zxw{-lay>Bhi{Y@l8ug2l zG#+QqRA5mXHQ+TetW`J~Q0ir5_{J%6w}!7JtBVzCBSStn1eIsm=PnDOmaZKBK4w#v z$WvSyTkoBAz|HTCy2uwlEt6;2eo5;bGh&7vuVt4pyv`<)*0>RPs?lgErb|yG{aM_1 z5qEP(v@NEdeh=>&SRl?`!UxHDGe|4dTVBb}!HNb?;5cug5Gn3G(N3rxi#hT>QOI>d z5e*Dzm)Mti&aK2r-sKdOK~y^xBe^pK69`21XkWma{N&kenyQ|CZ?QLdwi6T?7_|E$ zg%$BY7CWZ1;mUpDe!6Ne($pmbi0zsR#}yo*0fyf>d6SKHg?7>=@| zEl;+5s1-utZfq=q`N;*c9?ZdE_Xkk&GQOveMI~;)?o-9?1xd9EZ8SV1(p`OV5?r0C zN{qaze2_b$%XFPWNo5oczm@5;0l(ZX=StP%Mm`iyrK2D*R907i07G^qlQbz37d|Pa zgK7BAq-jP|`soTsdvk~sq2Y`yQ&7ex(`2iz^Hd_FHrk%Vne0>hOlwu<@o({oOP9>8 z6SQ=rX$zgjyP=~EN8+GiAS#|$bsCMKSzCNy(>Nz$ia#jqn#if_6MO8&V5*XBbso4z zWlNNC>tw^@{n4g4j4p&I9;Px%9xhX6Ma)Le`t5^5I58W+AAl~&;KQaGBlY3M^As1> z)%<7SNNe;|w$}GQ0IYEI-*X(#-x`a81gdDjE)lf*V06#=fc!sQDi#{70}avfcf)d1bpk#)^(i4V4V%DO6Qm%LVnP5*HDJi?vUy08QyxNYv>?ub{c;CB!C75!1eJLU0CLvfXla!0fR3vL1Z`I6wz3S2G)&L@^+ zPb?pj8K}FIQ7joG&V3^bd_pu+(kTwzD#EMJET9mI+GNW4P{B-SnJ6}7FVVCmm3B9q zMZ-XB=Rd#wJ;ps`x0NlF6Z*8dr!6a$IE+fwM1k|O(HM*F8^4OmeUlwOt{9X?leNjW ztii7pD#uNq4LBgJt_-6)SHmTAMxOSV`6%@fXuItoYZQ;a+H}lZc69>K7HXspf?yhn z+Xib0$tuJ{j_rK4l+v^ryYY$bRQjmm%uy~r++KRNft0?`!vTT<25~F8RqGNFj7}v8 zWJlG*-IT&^3kb3(r89Af!i%L-DCj646fAN=Rjo2Kxg;-NAWKLX#JLZnzhW*BzbAuW z`3_m1(9NYfV(@7kn%g=~#~O)Fg(<$HH)CKQL$0Y@csO3z?kU?~aLYUMIMn)&hzLjN z?orM49116+dT69e9QGJ$Ikxc5coWG3tae1B(BIW3i|H`16T9x33q)clx3`7DJ3`6fN5W(Reczw9aInVR8|cwvcZ}(r=xOrRx65! zW#iDzh~ft*q&lW4lQntUO~DjGWglR7(_QXKIBd(~DlqHwUQ&xFayl0hWAnoT5=iua z2=WIx$2LfCmuOs;q(os3_1jwtdu2U!4w~TNunXk(P=hDXv0T_qA=iX6;VXyo&196b zS>hy*so1S#fi5F%z%+I^0i*^>PGb5US%}w=#A2oV=zu$;ZaTF1y-=-5XC297?6_5_ z;$sIvGZB|1ByF{APTv0Yz&W--X0L|+*hr7O3jMLA_lK9#@(HZ!RVsqc-*+yZjSQS z2z>y8SgV6Cfl*$yC1r$pxqQ&6G3W(ydvl9%RD|P`m9E-D?Ia-_ToO?V6Wdvo8Be?! zgN=t7nCY``rgN>aNasfkFO}7sVC<%p!r=iSIvwsfx?B0r5;HBpd2s6aheQINa;mIk z{G_?LIdf5BZYXqApLPJk?K3i@?`|;M$#xf$%~`r8BqM1?dGBbNpf@-F1|Jv`Z|V%% z{Z+3%f~rVOl^;J*aae z4k_!NG0)5dm9r6COj^w$*%W0oFIHo2ot1A;&|l(g1X4RfB_b8L<1P)_3#^|=B)(oT zTzr| zoRXx33|qTzKYr?vBNrUb0M$brs50Vm4uCiWv>2l`i+!W>P^tyAgSz}#xggL(>}Ezn ze-a~cwxihqTi)T*oQUo-rSI{6I#au>^aI>cQS@5rI{Wzo@Bz{1OOLRSP{)LX(ExG( z;s#-{{Htd6bEN&R4;aKSLqUnIaI>{>my4bJcZ?hkx8Ckuf$37bg-`v-3v+vGXO^Fv z1?Rf)7M!jSRoPXCh4s<{pDjP+l1s z=Wai;WWau}k{y{SBA75yh!75Ua6hA($4-5m$4{)thO6ft=fiTcPjh4&eIOOtbR?Z- zeGPg-z-H#u?vF`BI$n!U^p+AvRp#K1M&@V_z-x()vqv(imY_2CKuPcGQSmb$gx4+) z@n9TALIAwv##{TeyfF|SI}`UNo)qsUGh3ZL-yDS+imSI5_0U(5<}jFwi!^P3z{0&I(X8mGIQBT1h)&cF={NUm58&}an75J#4{U=acIw29{kcsb zm)MCGMD2T)F7&cfkmPE`P%`%;Tx85l8k~TKWouAH9f2J=VlIk^!YDa(1ifb(ii%|U z3~!7TA#lMZIXl9t#Qq*#8uTJe+T&)ChoGLEBHqZr75vQfJkX<`?kCkQSSH0)&AWNH z9}xMHBfGMT+JIA;#0A+SZQALt=c?|wjgpzhESMLi%qtwAeRbi;4iaW|wVQvixjDRj z!OHXo|5ATUh1`fK2|{k2UK**_V>?dB^kirGGSu7Opfw_X$L-D8?fINjQ=j6c`7 zJwDe(mPS>PH!2e(o7JewzN#7uT-5=>EUSDoQG-AUeOaf;>p+<+cY>juUvm4{$~6EO z`~`~ZOwE+9X*Q$vylK}3!jTzrMyHI1MSlJ!J?c27e5g3$H_%3PC{_XWij>Zag_Rfm zzy1c0r=kcb25r&H7zj?P>OF7)=-F|aZx-4OhMWLjkPELY z6=!Pkt?RgPaAu8QWERT6G%yf_4#LMihr%hOL343bXTo&G%r;`C)X3677PH5%s)mk8 zhH_sl=a78R9OtIc;<^8PAe;}>$HNLZv$1BvK>_}mBG~u$Lu9@;mCGV@2RzvLU@|x}vC!n|R zIaA#jD_w#guL3P|#h^5Yrwle_jDbH3)$bh>AI^I@eVtwIr;Ejvq;r@qxj;*#Tp4!I z1F=+)4o+pgi!$KIayKBRX)HPdS)>DR@Fn({v4 z@hBHRJRUX%L2>qm@xppXM2P$cJ56%}W%Aik{h=IfQDM>6G-nD7{9;ua8wOInQ`HlH z+g$o-B5EHdimF6H6u*}ET80A~-H0K84`u-UtbPozY39oGk{(V^1E~;eQv<~$hSf{m z%*M(=9!ni-qLGn_NE_~k2>US^S4q+UHrAG<9-MZfs%1d!&hRRS3NsV)*z#4&vh z_-Zle)p#-(%AI%p5r8P-UTO60D%=%bMA_$`@5O|B?nN(o%(n)igekolIgnKXahEIm z$!^r_U{0K52LB3uF?E>*A-M~O1UDL`+;!$epYWvAU!`_cx^I0Lh2zIC_Oa6IlE~IplVc=X%!O1MBY04R zLYYJ(Dwqw@2Uo?$A#!M^|IFr6AOrkKH{Q6@QoOcWJdJF=(4IEGmoyzOK~>0K=Tgf+ z!1MSRfC4@z!LtnX@?GmJ=?P(DD#~9+c%2K(__Gk%(&XG?7n6L|Ed`3vu)L@qCk}xn z4dH>Qp#zv)VLZZ>59jnd@0e}Pb2mcst`JRGgMMT6Loa{Ih&yl^5+<@|lFWUHQ2(+Mtd&?fpmH^8N z+hmzsTkC>iGR{@);ur^$2Z2x#a<8Rb_txTBPO*d4m#?`S!eDKBYVUA>(7YcjXY{^w z;e1!iIjDA~;IjkyHQ@ z{KKJKcUcsM$;A21C9xx?dNhg*v{plR*O8l{e(-vqn+#7H4@4zBQJYqQwGgRV7_~h< z*8Cf`HCv6C7f=48cWMDhP3@{GjN-I0(H~DpaT!1VEc_W;SBIndcspON^;oZ#e{4Yh z7s~F(lLNMQokdlZNQ&sB=-lzNMOj}j&k=IZZC1*LE+fih>gSzYPi5|Nq?f0jYmJv` z5MEjsCX3U((1>ubgC!>~`7*TLZg5z<>g&%TitEf}PZ z@jOkiR9Hy=(Sonj#|V~XG4_WOc&u0WuK3=`FyBH`l95?MAw9q0uNm*+{PqWIrcvwP zsKndxcT9#N&Q8)wC99!CtHh{ce@G2z^5x{wfQm#qe&2|s?1?PgkgN(vVBeOKp>CS+ z6~#I!pHF4rr|8Bn5O5<_fff$u0C;MXiQ3mmGwLUhkBqd5!akq$UH;tEk$kFiSB%Y6 zoC%y;WU7Ufxg^C#F+_tgz+$paME<4n+b;|{I0U&o80VvnCvDt^TrP+B_vNc|&vedc zU*(N&u#(~$#LgC@&KW|Ap}5@C>JlN%?tFyk4q<{}@PU&c7J86xNb#HK5e81$vtI>F zdYZMWM#U^%v4Z0XTI*IC9d`OfN-~Q(Bw)O9?c%S5LUxjv)@H2O+tFbrr#3fsIc6kq zwfTK++{*HA{1`%%6i!%awp|zwFT}CsYd@7Q`VDh+qb=FtDm;o_giaDsA1MY^EPRR~W5eY2Asp+L!$DkdJ!y6*J|F(1%!5 zPMi*fuc&?@hm{If?d^my^9nY~%e#u2Yc2IvYWQ0FsHp~n)nra28j#VmRZ>e_UaV#S zvjm>#cWZI*JUne=F}-sZlr@#K6=|YHHzoQ)a`VS0cPbmRz~bjg))@ggm!63gqbj)W zy$pfF_!`+bcS}z@wMQF|y!jfB;kh|Z`kcdPK;5W4crC`Z;n8cCgvE06#oYkapumKs9mtz?A4;CGm9|u^ zs4d&X-7_VvbT-rHN2)N9qs1;UHcM5L(qs7=Q) zB!qn^e^DU2oHQ8CB#d*vmrq2GFl#Aq;mQ)n^yZqB{5uiwPT~=yY zxxq-ZX{@Ksa^~)HpKXg*GwrT^6>V@wAAMx<6kQwF@Y{egMVZbre*AcT?_d8)d zcU{3wA3eJ>wj-k7vx$RB=z&icO-?G|sKmA=lj;0XqoxG7Y=L}dDqZ>@ex899W5BX;W&d6o!*fSxt*8c7bZ&Hh((a{ zG+BfN-OuNDiaMC&BKaA>$Kua|8S_oDDtWG(5>yF1R;5={o|hBqbNgUE9wE0S_E2Da z*c?@DZGRh&c#lsB9Im%#yfPdGP3EXFWR)=t+WBcH-HkGR_c&NvuO2Iq7>{F>VRDX5 zv`y~cA3O{@%;UQ~U^!2*^~Uc4yB;YWnWadG_t&~}|G>|WPx}MVJCTxwG3PEM8n~&J zmeONzDwWAT9_QbLy~dzQFZ2D3lmwzFH3s25FSC6C8+J68v6%EYkp>Bnh2!!hhPIv+FG9iKfwp>GyKvwu+)=W97^{2MEXmRFcVk)`{|)w zo)xTKx|a7wT*Ui>!6B1$mMmgsvWZw0;XQTyyrol2CtAstgN3B>) zz|7+77_%6n^=u%o+gz!@cA-emZ=JMBG$Ssy7#HY8RqCB0t_i0qPliS-Pr7p%+kP>U zZJXM|a#V}%pckVr-~<?+qvmxkzQFmc6Ts;#^T z8&1Zpi<%$?wcP=lT#X!Ge8U2(SrA5u{GOqEjD{}X<3gHKfik&?!2_zAk0wqojH@jf zM3k|Pi9l&`BGyTxG^%=2?54egs&OyLvmE1BWQvvdt2xG0FnTPWWDGbzC)N8NX!Agp z-0saI0fp(j7(!zCP+pX*((!m%J3D<@UbpHRn_{CS?di+=Lj&p|O)lzB^w*Uki#F3$ zQTMUZIrYrdO7UDXM12X@kh7TJsGEda9s!XlkPS9~9}ZDMkExQTLx_eW%8Sn?oGGA2 zoZiZ@^i#>>qQ|MGU=R>J+*&x+3UpaceKb{E?BsIt{dwbP0NzWY{gsG1S>FTI4lvQ_;%*4=crd>bmf z>zBL_o7`$x9=l5j^HN7~1p^osFeaAvtb9h}c}ZwM4Y(RKs=0bLNNL(K@^OxSVj-UQ z$Qd?zYG#EyRM#Is8qO^$u09K+D8qnM7+i|sF5D0xY8$r%m{yJr3jZFB3+Zqp4Z1MI z1ssuuwA<)gMcGhzn*+IK5_%P@i)6)%skVY)HkXjd>(z3W&Pw|Iv%RgGYBlrjX~=6c z+oL9IzL_pu?j6~HA35RqV)lBP93DuIG^PEaux{HtoJ7UdCoz#hZ4BHKS~%EjRO)H@ z8PGa>2HauBqiIL-o{DOoxLlTPQ$ZeeQK#QUzbc}K?B#=K^QT7w!=E2&GY!@2*YH0; zkaMlu7zR%5EQ-pl;&vavmP3ppPMyXHs4kogc=I>-OD=BOUW0%3w`y-q-S&H+DDYCke=XJ$O zbxKe@p?s3S2mR2}^~%=!8<-vLIED0m4=)m~s!Hq#`dqG?FDd`%_g}C?a^0XOWf6~N zW-UzR=1BU&j6uy(ofWNHd6zH5y}7qXg{4kY$%wln1sqHT7Ov(+`_5lETdHG>%x+HK z%+E@rx|kXh$Kk@fPmyUh2k!h zR5M@cu0UfCFi||a7}c{Rc@j9|j)nZCYfqL9YuSnIEAWT<OF zYwP*Rrf#qqVr7_ZCSGFXh|I#X-!Lm|;&v}?J=B=mqr$=jk@J@UrE{lTT=l*Z*a$xm z-i`R>Pl%l`9kcuCu)@HWic*j&!z*J_D+|Rd!Ug9x1V60j@4v0%1{$)_c9yZYiu(*C zh{7ATBW53fa~QFziXM^LoTUQCBFPT9w}JSZiDDeq5BQfei!nv;J1N7Q)Hgq4VZba1 thFNTPTluSWJjQ!9*tmYk|CUKN7LG?m4F9wC{{Xl`*5UvF literal 0 HcmV?d00001 diff --git a/src/pages/en/v0.0.1/learn/index.mdx b/src/pages/en/v0.0.1/learn/index.mdx index 8614a33..5d2e99a 100644 --- a/src/pages/en/v0.0.1/learn/index.mdx +++ b/src/pages/en/v0.0.1/learn/index.mdx @@ -13,7 +13,7 @@ Welcome to the documentation of the THP programming languague. THP ~~is~~ will be a new programming language that compiles to PHP. -![Accurate visual description of THP](/img/desc_thp.jpg) +![Accurate visual description of THP](/img/desc_thp_2.jpg) ## Compiler rewrite diff --git a/src/pages/en/v0.0.1/spec/index.mdx b/src/pages/en/v0.0.1/spec/index.mdx index 7692f83..db81dec 100644 --- a/src/pages/en/v0.0.1/spec/index.mdx +++ b/src/pages/en/v0.0.1/spec/index.mdx @@ -322,6 +322,23 @@ RightBrace = "}" On this section of the grammar plain strings are used instead of keywords productions. +### Source file & modules + +Each THP source file is a module. + +```ebnf +Module = Statement* +``` + +### Statement + +For now there is only 1 type of statement. + +```ebnf +Statement = VariableBinding +``` + + ### Variable binding Variable bindings have 2 forms: immutable & mutable. @@ -337,6 +354,8 @@ can be dropped. Mutable bindings cannot drop the var keyword. ```ebnf +VariableBinding = ImmutableBinding | MutableBinding + ImmutableBinding = "val", Datatype?, Identifier, "=", Expression | Datatype, Identifier, "=", Expression @@ -345,6 +364,11 @@ MutableBinding = "var", Datatype?, Identifier, "=", Expression ### Expression +For now, the only expression recognized is a number. + +```ebnf +Expression = Number +```