From 713d6e14e2da9e963b046a14b6efe64c79407f7e Mon Sep 17 00:00:00 2001
From: Zheyuan Wu <60459821+Trance-0@users.noreply.github.com>
Date: Wed, 1 Apr 2026 14:23:37 -0500
Subject: [PATCH] updates
---
content/Math4202/Math4202_L29.md | 57 ++++++++++++++++++
content/Math4202/_meta.js | 1 +
content/Math4302/_meta.js | 1 +
.../universal-covering-of-figure-8.png | Bin 0 -> 14244 bytes
4 files changed, 59 insertions(+)
create mode 100644 content/Math4202/Math4202_L29.md
create mode 100644 public/Math4202/universal-covering-of-figure-8.png
diff --git a/content/Math4202/Math4202_L29.md b/content/Math4202/Math4202_L29.md
new file mode 100644
index 0000000..debdb11
--- /dev/null
+++ b/content/Math4202/Math4202_L29.md
@@ -0,0 +1,57 @@
+# Math4202 Topology II (Lecture 29)
+
+## Algebraic Topology
+
+### Fundamental Groups of Some Surfaces
+
+Recall from previous lecture, we talked about figure 8 shape.
+
+#### Lemma The fundamental group of figure-8 is not abelian
+
+The fundamental group of figure-8 is not abelian.
+
+
+Proof
+
+Consider $U,V$ be two "fish shape" where $U\cup V$ is the figure-8 shape, and $U\cap V$ is $x$ shape.
+
+The $x$ shape is path connected,
+
+$\pi_1(U,x_0)$ is isomorphic to $\pi_1(S^1,x_0)$, and $\pi_1(V,x_0)$ is isomorphic to $\pi_1(S^1,x_0)$.
+
+To show that is not abelian, we need to show that $\alpha*\beta\neq \beta*\alpha$.
+
+We will use covering map to do this.
+
+[Universal covering of figure-8](https://notenexta.trance-0.com/Math4202/universal-covering-of-figure-8.png)
+
+However, for proving our result, it is sufficient to use xy axis with loops on each integer lattice.
+
+And $\tilde{\alpha*\beta}(1)=(1,0)$ and $\tilde{\beta*\alpha}(1)=(0,1)$. By path lifting correspondence, the two loops are not homotopic.
+
+
+
+#### Theorem for fundamental groups of double torus (Torus with genus 2)
+
+The fundamental group of Torus with genus 2 is not abelian.
+
+
+Proof
+
+If we cut the torus in the middle, we can have $U,V$ is two "punctured torus", which is homotopic to the figure-8 shape.
+
+But the is trick is not enough to show that the fundamental group is not abelian.
+
+---
+
+First we use quotient map $q_1$ to map double torus to two torus connected at one point.
+
+Then we use quotient map $q_2$ to map two torus connected at one point to figure-8 shape.
+
+So $q=q_2\circ q_1$ is a quotient map from double torus to figure-8 shape.
+
+Then consider the inclusion map $i$ and let the double torus be $X$, we claim that $i_*:\pi_1(\infty,x_0)\to \pi_1(X,x_0)$ is injective.
+
+If $\pi_1(X,x_0)$ is abelian, then the figure 8 shape is abelian, that is contradiction.
+
+
\ No newline at end of file
diff --git a/content/Math4202/_meta.js b/content/Math4202/_meta.js
index 945d47a..8cb73ab 100644
--- a/content/Math4202/_meta.js
+++ b/content/Math4202/_meta.js
@@ -34,4 +34,5 @@ export default {
Math4202_L26: "Topology II (Lecture 26)",
Math4202_L27: "Topology II (Lecture 27)",
Math4202_L28: "Topology II (Lecture 28)",
+ Math4202_L29: "Topology II (Lecture 29)",
}
diff --git a/content/Math4302/_meta.js b/content/Math4302/_meta.js
index 5e39aa6..efe02c5 100644
--- a/content/Math4302/_meta.js
+++ b/content/Math4302/_meta.js
@@ -1,5 +1,6 @@
export default {
index: "Course Description",
+ Exam_reviews: "Exam reviews",
"---":{
type: 'separator'
},
diff --git a/public/Math4202/universal-covering-of-figure-8.png b/public/Math4202/universal-covering-of-figure-8.png
new file mode 100644
index 0000000000000000000000000000000000000000..3baf1da5a54256916586eef50be6e5ed332bac1b
GIT binary patch
literal 14244
zcmb7rbyQVdw?17G(%ljV1nF)Cln!ZWkZvTTk&vzf$e}^HyIVR0LAoTQyZg5fzVG+F
z_ulW0JAQvK7;IMUz2=(pne%y8h?0Ud1{w((3=9m$o7b;YU|?V!fFDK_IN%AjiTV)m
z3)V?RS^}nYglr4=1HnvOUK|FdBI?PlAtLZMs{Ly%Cm0yaF6a+zuU)WI6MAp3HYrC$uY=8LucDu)=BNhT!mC$v{OB17#gz(H`W9M6wk8~|WTM&c
z5^ay8Yc1<4m2B`DC7B#M`yHEr)b6icf7C7(gQU&Q(o`Lt-De#Quq!DTNY9OtJTe-l
z?$UbqAW8e%N&89rX%|-=+f!=Z3uR4
zm-{K@&!8y!1Wh%fhfc_fYjq%HYunAYX*qdmSI{=;%PK{TIA|Xk`_cDCsV~ar
zyj&nnpztU|c~msT-0!X}KW_WK!MUms>32a?9IMyAWFB!@oA%|rza2KjfiKdy}a&voJy*}6o!AnA4wbE3*?eHwlRw*zihxA9|
z+3Xu_OuoJ)2L9!wsp{EL<@Qy)AYYIx;b`r|*<};MjftazSzuU~pr@@o_tI}-NJ%G9
zWn92HxL5W|Mi*oSnV<*DMg?pWgA8pPd=Or(FEKZlHq)h1NGFhA!EAn;2FjhdciJh=BslgHe04nOVsp8GOQjI8MX`3>#e6Yu$-~iV?{TGs
zL@X>mGLp@aww?U>i(O(~LwOK4pO{XC6#_afiR2YqO+3E1_|wWyIiT6pOm(+Y3sT6h
zy6Bcb?wo3&pgu|
zto5y4s;L>9otABxDfHlLsuJm{TUuESSNhNXLb+CKlep`MoW4C_7$>}OX}gL?_`Dd
zIscPb=_}@lx$t#@0ooe_QR1+Df1Dhp)yT&ci9f
zy%vG+HP&RYfm|F#N&S3pZfbE+p((To6pTe_Yi<2aUuXb6PyV3|i7Z3+
zgx1bWYNS#4(`lG|kNlrLJv}{(9tSOLSIKRDcZXL|f*<(V#W)FT@vULSEi5ehe{R{2
zs2JJj6*f=sIFst%j>RrvU9`Dc#%hF|AxwfRk+^AaM`O~`DCUE{`($!J;NB*{;>)hq
zX24vOI=5J-glVg_)fBkfU9{(1!k776DYcg8*2^5fe}1etMXEDd1p6gqHsw$&juJ(_6&x*Rtf#hXa*5YFml15CTCw#h_B-VoS1snZ4l|+n6gSC#UG`L&9yUx6$yK
z{x)}9_IRT&2*A)oE?_tg=2AkY7DSdnoV!MG`Rs^Z$swL~%Vm1yW8AyAp!VRO)m9+9
z-ocn!#@#&{5G&3Q(*f-76B%>H@7@EStQOAFL?AoPv$tA5bv0RLRWIp2%D>%F4UD(EdJiML8WPB+=TwX;i~Up01k?H*KgMojq+%iuwN0jeT$>XVcfi}k-?d{fWzAybhx|x*};3$
zOSuVQr`*YZD;GBR%R5%~$mBY@GB!k9Mj7GvieQ3!2J_vDJzGIX72wLgY6?-KfQ%
z=iKYLAi(u52wg60#~uBck|wnzp^ZDe!inPg(#k!tA4N9*utf-8RwPN5;kE1eYm94=
zE-#Zoz(kgI{AGWaO-1wsD2U*rj=d(qly9kKFb2#-}J
z(_GRn*$K}{53gA>S*u~H5eoh=D5q-QaWbHfF>LT+O^d@Jv+d$^t#ezog8i%_%XVLo
z_xc9wVqa9`NU6(E_fqL&z5UKWn>6c~v!Nb*CEUzsr^LQhT}P6SSubl5fJ6J#Kb%9r
z(JF|7@X04n({68X>(x&K&nRa*(<8~JtFk}taZH=OOtKibU1zNy7ueaZ+cUS_A^+S>
zSv=xlopHBh?ju{G-BPf6`BNt`{VzloOA}UMSd?tPi*$5t83aT}$6kRx
zrR^Y@=om3G`cqnQ##Q@FXXvI;v5THV5|d*?%%@s6T`%O|t7kjc0$&W8cVkV0VU{;#
zar62?SoIQpBM~N8fwkzx^001SE6)yaa88V0C`ys&znv)Y+F(t;DR){rDkJ0~o77#x
zPJXl4=qPmDYmxba%u-X;9~K4eEAi(iGgj56`D=NX#A6!0Pmp-g2NUR
z9L#Cjo#OV}MvU!=_;)+_N=_JY*k{P{h@zA9z8?qtSA2j)BMWJv6j+Uj&8-cQ+6PA4
zz~uRv#k#9cLZ^F2&eaoKo{NCv1h+aMSWj85Fd_k?0R+)eJO2PzCPv?7hN2L=C4VOZ
zFiZyo=h;w5u*L0O-BKsg9>>$zamjX0iCS@EjO5=X=WcMN@J&sXm_8z)amx09=WAoWKc}-wl8{m~VL5
z)Epk^@MIE9WjK;=&UKCTaEMio%og^n*g&L{H?1v2>EF-szD4PQSeW3+_ss(Hgkg4vn((Rte;U*u&}VY
zcqq7V3x_Y!ftg~sW7z7(MfJ~FXTo1iil3BMunF1{Dgdq1s8fpJxqe%QivsAETLNu;
zfbq4cn^^m^Q`Q~mn-_gq(0(0n?;NEN1VWg^(~pxzb5DG~OiVqe_G|&|r;q?~?o$98
ze@?3pf4Mo!ogD5V58g$%1+FbU9}_G_rzZ?{CIpDBf$dR7k`ntWCtwl*ay0IV)>1S(kJAbZ2&~c+gTy81vzrG6
z4#WS?hlcGb77~*UUjmlVsGHaj0As_Y@+<{uJ8rA2-PJ8lH|yDiDvT>geM|9Mq+|v)HMstz>c`-XwVb3+HIl8UkQyfz+23JjA`vAMAFgo0_)umDCe7SxA88
zNGjTHjEZg`HrV%v2%V;f8&ka7Db)bW2lo(~ODm&fQ2kj-
z9HFZ*`A&RjZ6@)%orc#4)#)lEu;(nl(N9_VJMbl33<0~Br>9I?_{{Z|>BHTstmNI=
zSyb*t(nM|J1`Dv
zxgBswUHef>pH}L2)7Jf3@87*Vpk44tPOhEQD7e;Dc1@|j3PAf%opW?A0L?sBi8Tv6
zaLs%c8Y>zt$NkLb=N7%FxO3jZ?V6pc$73+Lz#nf$D8e$muZ+DmJk@;2TfHbxEM>WG
zc!-zD$-S7(;-^f&`6Q@j>LtCqe=@NbCfxSXPT&OKs>CnUtnuz*{K+(d)
z-lq_58N+b?LP2C)QST3j!}mwXA2XFzEk1uc8#)SIu?z*b&Z=<0Vj}z%@g4{29lyzb
zsI6#Ry|w=MOj)Pd+y0Y^va7ju$T`vSrP#2b*^AQy(K8IRr!I%gf<`AnTiB8lcv@aH
zIVNyqD9y48FBP5pT=1jjgCcUuqIjC?e^+r{CH7fyhe8v>-V`ZD%I)v2wJmq)A$SP}
z$V(@@Y@xZJAJ>+$TL|?-;^MG|0ijB+il>=@q!J%&ycdl2mz`WA#LRsM*&nW1OQo
zdbZCgcBM3dVW<1<&eoZo;wrFlB;`|@(sTKkNevwt#&%Oo5Smpe85JW73kv|qBL$yb
z#9H*bnIv!3Jiko2H+bm(j$Es;PLxq%OL1$fCVEO%Y{4bU==RcqOHxnY29yJn$p4kG
z7=+`?nvoH`huLGL1?JFZa(KVg${FH8sDb>nIyjE76*B3Bu8+peFg4zwsj;y0i8oRB
zVVWf}w{NG2B?oVrBN#7`yE}5O&TeXQvXO<+_h_b|xxT^9{B%Cp<0AEorrY&%3Jayv
zy!+t(Z}F??dJvvgiJ!Sh)D28N++3el(Z0uqJh^MhV<1c;$*seaR$V*$Nni#irYcRT9Hg_pX+F*ro-@_uxqw4^vjmL#tb7SCo9WP}LyKH$^>n#`37}f!{v+$9hE9
zJZJntR8kE5zXB$&_h(;14e0(#hk#9Q@Y~@QC
zZ+3rhyH7<1Ofg6+`k=$;W-uVM3$dHvd~--CiG2E{-}{#??p=^ra$+s^I{r*lNZm{L
z9+YTuf`HEfM1eo#G?frERUM6(nI#5s4$M7AG$I{gF-YZAwsJInCI%{tBAW&CD}!*D
z8AI{UuRkj@2J*mIcKRE^T7^DO^3u&*N2Rw3Ln2hS(a*AO#N5a9&!!=AaGFvQ=Jq=eYw2qZA#d6zy{M6&r(?LXGy
zDIi7mvY)#tHoV9vGbdL%@(d$#sW%BToh6deT~gVqQJN5=sqeBXJ+?v2Q5hQ|TRI7E
zgL&P>SD3~7vf*4t2Z`fhg);o&U*60-3$33@!zNj`9E7?djK>bQj;GL|3
zlwOevG>H8Sqzgr}8eo#rVIp?M5eZV@Qp(fD*?cDFOS3#Gx41TnXFT8<=V|`LN5IA4
zd!%JefR$r{lB$Ym+QH(O$$PV@D?usj3jl;*XJO8Wi}C3s#qmmj3#D{iY?YOUmR>d?
zmG)~*iME|6(9_IxJ}Vka@EdBoM5cX3Uirz_zLtZ*E`U)jqW1ZM
ze}m_}BMYr$gs(s&U5X&N0N%D^)ViI2a
zL5L79bz*lDdAR1qTbu3hck<89p1~{g&!Bnm?C+B{Rw!8uj~%^LO&jq!)9Xrj?fD^4
z%vfCF!-fHz#w`=EeVYy8e0wdOm??1|7)?pbKH~&)Hfj8gnOHZmCfG=s{;hQuqyLJk
z&;;JzV~V}tv3SZ?ce&(6%A_6)mO;BGQOd20tr;Eh&{wPEZ}b7o(tBZ7VPdyUR`NDUd0ZhQD+
zzh672ycXGBsj~dP6J_Rjj2Ke7>lL9VjLcgayH$VoUmd0c@Y3*~hx%oEzSKl|Zt#9{
z%K`P^?BIV0?y+Bf)gVA6juR;>&CbpB*FHPd
zz&eyuy+x?Sfn^$mG0B;{D&s8n3WA6F!>@c1W3?V(n4Fm_qsj!3SgB(vOe`$H_;~v|
z90X&8K1@)gk@Iyk8L*0gcd7w8<~9&whf5t5d(&SmWYFz^o4uWgkMr_K<|!#Fw7GLO
zqQ28pX)h0TVBzqmspm+Jl}05i2Jwq)5tEYA&f(ab?y(?1`_Weil8*6Soa?p5eJo|s
z6Rpp5#w8?BC?!IC=E3OCTm^ChQ*}a&5c|+3V%+;l3THk(5rD=+$hsYpzR%fNhn;zl
z>D|w-kjYFz>Pb8@=Q#H@>~~4>bJ+-Bd&|&8Mly+qB-m5cjI-&1(3&`VUtm9Q!+4Qh
z%XIFrdyIsR!$Kn-cs`0&e;29!-o4oYI{n@ed;>Zc+o_1hZ&41&*D^r_-k)dmH>-=f
z#%QroLBr*YD-Z9zmGw1h0#eKn(eN}{sPFQCwKf^uXnF2yzsgv>VFp}#x&xLB=nD!w
z0=S&4+P$eZuLu3c#e0K8$6N6+23W_$aH0?PSv+|_wp=>&{dIdB6Nt38o`{W=Kee4<#zMZ$1<5fTo%urN5x1
zMK>D%@Lh(}!zbW9cfP(4nq>lSPi3R3ZoHBezC8bU>uug+-rLh-pC>7;hSTAs4g?{f
z@@ppKed~5}zPBvxMo4;&w?DrDT{_b2>CD2;+YhU4DNR>wIdlg;qC7%}dP_$|b+PwJ
zqn*S_?42z=sfQsd%ho^rH;VfvjyQ`!m@wjRcwe;7H``+oQ$xQUeH!aGpQ-WY3K=bp
z2W_2;_Q0|{LU`c}nr|qs#Bxfwa|ib(Y#t+la^#}8*79R^-aPqy@L@FW%c$lC1~3#Q
znW;HTO64N9e2?fV^r^9|Y*<)at=2nXp;DN5M6~_9wf_0}c|&-v2&AWd1XNg$=X8i&
zf}wk!l!Yv*h(WdYJAkMHWc6d4;%)7hXFhCr!#^5zS`Xu@R{rWjzZ-&8sGzUeLCOun
z<8g2!$qqNmjC5sK#fBZnyR+q#Yml&5wgYO{^lVBbm!y+;L8$0pr2C*=)p_x@U$719
z?$9qDjHhV)>N_nhEy2k%6zPk76Cr=@Zu0gj*AXwc$5jbMU<&|RQV8HH{P!8j^G;fUh8OoQ$LOBVg}J(}3jN{4cl5F%>x@_Gp?C4^GL
z$n*8;?953BwPJD*AXzN8hj+Ru8p7P<3px3A=);XwwlB4n`f8j1<4Er(vrTG$;Q%1+
z`-j#aBuVzSM9M#o@NDQOuZ|lR%<>jCbK8g66k`K4=as2;A!+;&lTc9D+4{JSJ^&E&f>pS`;-tgF(3m73gn{-v6#
z{-MbI6VY5}@ep$No$MG3-bw!o%@30GYLoA&H|x5E?e710|NS0Dz==;v_ZzcN^Jidj
zI2PO4--@tEHt~6{;Y;SIEy3Jv87e+Yd&P_;^F#5?u%5_|8+ZSngeP6sKXm4m+plv4
z;NCTC4yQx?3U&7a5h74KKW7}R&BVN=o5QHSdT~Pnp>@D{Itqr;nkSH}s+Ub~`K%#@
z^w(071c_YTmCSS*WkC(xIIhM8NIERRoS7`}R#i_=zbu^mR{V!)fSmC9*Bed8_9M@&
zOBX$CUCxe{f1R~z;G2$T9wE*uvjtj(>T1ZWZS9VdS~)At;HQq{4f>byn6(BN!A|6{
z)Um@I4KyhJ@ilquzkd;naOlS3{|#t)s%U`P5XZ50eBs+_jN$s@=?vBU+-cXG=8mzz
z9(5WqQ`TRBifw<6<&^QO;3TCAgy~rc6fN^!4SASl|BHZ00h-c}?k00aXxbZ>voWoV5F+nmpr9Nc(?15{-
z(;mlRQFTQGiuhMbpL6jFnCX;WYmEL^H}d@3iSg=1#qnrcPEyo|w@d(JF`=2Qd2ziU
zJgyp8%jW(|mT(cD`IYLseVOi6heo0V-;A{uyxKgQZov%^*uR{l=0H&$!0>u1E7zT;
zHhJ!Mjd=C8>5ax7_3=n*{j0Jpt+BYrD5g5UFZ0Gy=9kruhhHAX7z1>}p;+w`g|V$l
zRW>EpRI5@=0jDE(%tRHzt929R-I@9(yS}3oqz0gK=+Ag2epa4WNdm3V(1A(C!SDh%
zJ3PHI2Sy&Gu2Hzw$3>M*E~A!R0s}oW$WN2v5<`@G6lYZW++<=JRp_L1VTt#Y3jYaw
z<-$3<2NEQ>=++G8a58`@qD%!NE)yoE^P;$j6X)9mKS>aQsYG`;5PgL?BBUy9`X`Q9
zp#JOW(-HOGYY|Uv3Q+-GE)gF{=lim|#mM_Dt4*m+Ufg$}C;=Nss>6&uKFb(_o5
zeNyP`9SuR+ek%)?`l_K55{sCr)mM#^&GJSqn*~0}=Lk#cvw#UQ>@RCmg+-LHTnNBm
zdTVt6?XC!Lqk0|GZSswkSt69A|9dVnQG^<%3BkTad7lInBM_4a;4w;DT3Yh*kmd8^
zY9PMqV65?ktS`wV`_#rPnqX9XWMqK@s`Lh8ror}i0!Bj|
z7-H#ow!F4x{_(^Cz$8xDe$r{bfB(iH?`y0kTVVBTA9P+u}@ClNp
zcB;eU{UQgH7T)k?oK|P}j#5r0XTI~u`M13g8j%qZncLXl=MsRARBM4k!6yt9L`0Ed
z1Hm2mS~j;p0feD(I+h3@Qn#1NAe<5a@q)|bfwMdcd7AGq$#G`IF_;h0%9;M)|cG`C3|ZaqUm
zGq82>9mA~R`o{L?I1s66sHIL^qD>JQRa(KN=^W%Xj;+=!+Mx~+8N}j6I0%Sryxd}T
zLHr~}=1@n~<^MG1X|@vDcX29ag0ikFqDedtp*E?@1{1yQr=%&go1&kvx^WXeGZHZ@
zi&BVq*5~BV-H|Jey`eXX+1DinWHNPF^khT1ntG7fCDY?`5-nHfaTau-I3>o2f&7p1
zQ;f=BXsugGofK38Q~S!pgt5t6rgRW|edKu&3DDF{BTMX|Ld{as-8F8G1Q5s=rVWYF
zD0HL#S|TL(Yo$Lk%2YMxLjUD0i+t;sBW+bjX-3P?ZqtE4jVTmJ*q&0#=mby@TKX&F
z`l~9&l|i2Y8hzWx%2Y2FIF27MSehQ&YkIs!@@pe%yuvG!Itb?xx%KsGa%he1qt{5J
zFK(fA!u|mNmtc64Y0K|0?qZ`Vu9~7t{~yZAS+Sk=vzgqT!*KY)PeNIC$C5HD=iO+S
zYf)<+09@uKh~lQsjKh>Dn#m&afy4ts3=+3yc%zUuy5>EDJPOFihD
zYAx}r&-kv%%*WOKVJmr1%7#oJf1WbAj@8L`<
z5?<+|zvAYyMPSdX6s4>|1jWwhjK@$dlbgRYu#jx1tYzHdOe<2Fs(i*iSz=^>D)5r9N{#FfnE5J!1
zPqv^vMigR<+%~aR1UjjRlrfbQkNcaDU48RN$eONa91bGD`9&4PLcL(dvI%4OGicph
zk1AP-?^tu@X+z9@lerV2;LbVvqVuitKK7O6z_H2KBT31HS=asJ1}wn~@`sP&UF-^Dwr9=f>`P2&rT3GKwfXdc5w6kUEeYEbfA3$!>a0g
z_=k<3QxkF|C3}Xuy%=Ab7?GTz{?pFJa&b=B9&`_*|NiKSyH#iy!ZHUUN_}MYI!}-A
z4}c65ava2?6g5X%h5NDxU>nkCX**9eC3ajfP1VjISJaRhOn`EuXfO@MvXUWUWB3}K
z!up%(-?SMDP(3#o5j%**eMfCV7_{6wYXXM=ZTUCz^yKBCu?+{TKQ~?eX8#`9^+q!l
zP>BwwD+U2f-Cq>k$dgC%n4YRUHvraY1@+CQk;3+sjo4p&nAqcEq>qUy|KRk1<@o{>
z*q{`^3I3tLP@g{XgyYSR&!C*;|2KIE+y2@F8wgri`C^ClFf*k_zX-4(sQ8>BpSZiH
zP?BilUN6!mr}aV!s;@ek5NU=kJUFY+vVPjYW?9a^$jSecD8&|bAPyd_F_yuw3Z=|^
zZkQrA6$#=7h*hcA_(?-YtWBrixT*dNOY0foi6#tW^guzD=RZv(#Sxe_W)4u@fX}h^
z_>1KovPDKhax4jcLAH<`XNcyXS7IyzwstguepJ?Q}Pj_M@!>$v!1D6@=*hv42B$IhW9jJ5G>Q+)z$qx|^zIJ^fH
zD_^w3&~qiV9<%aXs((ksT+qj`^Yu?U-j%e^e*EeRemJ*#AaIdb87noiK!Z_aEXQbh
zw#od0g3KrqD(&HtM$6rUPz77;;$d
zH&4)vM!2YV-pNS-WNXV0HCW|AW9#l+7)V
z%NPZ!XBnsgXDB6lvOyaKFxxp8X_ez>{En!={z{zZorR$9zm0F0q_+Lg{f*`-)bgPF)s^|
zM8xVk#_}4+Tr@6DSL!X`r}B_sRY_=a(-B8mtNvl6gV9Cy^9*_*i2tIk`}ST*srLoq
z9#WocqPfdi3N*?pYpTAIDEzmq(!sH<%Bmx7=4eT}@q&lfrld^ejHh&;&*20W|9!WO
ze1&|T^9t-Ac}LWO@2>T70VX19r&_e$Qe0JZe=g(NeCw
z$P(S`OPUr9dlR_n1b(wbRfYJxMeM16O*9|v=&VoCT2`ZafboebSGL`=0{o0I}CfwV5&Lt{T_iy
z!QJV~ToVQ`#9#kfO!Ry%Sf6}m+{a5i5hi;KO7fBk>gn5i+VZDnA7ofsx*l5l!;=_RGprU1rZhrz8J}w(>#6=Gi3?hU7~CFet1}(
zUEN{*Js@ENoR;
zPk92eKPK75irbkF$lZ!;Jx^9nLw(H$k6veMH(hvsjNeMmctTcQfBH7c~L?bapA$URouV=6g3ntyFh`&SKHZXaL&TC0i?8PA$em
z83?{UNwu+i*pOKwkk(wI)CqsIp+He`!E!U{n(d4{T!PL#(4+3R+Oww6+e-ChaoB}m^-IfJfbfkbV|b1B?k^r&5HJ;wZ_|dOD=D{D=ykU6aQHC
zCTP9?^=epXW6i<*x)Y_#zTo|te~>A~mWXLh>$6j!UK+q_8B!GL_cKmPW;5-ki=
z!3}#9R&1{NX|4zi)krSSjr}c?NX1CXc`q$$Uh0);scN=n*?Ad3_<5jTeY(oQb!il1
zRes+Q(8_zVGqi<2-E=e(bHNNiBRKP-W1X4VI)Xb`9vv>up=3e+uV;1lB6Iv^^o
zU*hIzevK1VX1s(>S$l?ko60^YgJK{L(jS^(jl25S5Ejiz)*(>k^?Dfp91Dk!tu5vW
z*)~{a#aD0tPB*XFdrI4kjffJ=)RJRX{Ii1Z3mIhFYis#UN7*%UASDcu~D`
zb908IvG4N3b7A65#kv&?v{1PK7#YcbMV+K9@0*Z7Fl&_uvan|E^R49I;gRCOC4&mn
ztDd&UjjRtQ`W(llw~sh8Adaqo11xb`JsJTMqjZR28Jby*yp
z!oN8t-h_r=Yq3UIjjVL$8^j3JN+#OPWoKTnY-NPLEG~25%VK+p4QbKc3rqS*xDF75T8Y4YE8ZG;eLW<8B9AG;_61r+?mDv-jPML4`Kvw
zC1cTVyk!UfcOiQL67|#(pM%F~1hz^u!v)5qjD-bme-MrJ#fGz`$0VLCa1%wALe>ZV
z@7p;6vf~%o8Dc%LHWErt19r2l(0~um#^xJ#))&Vupsg4AJ4Uxv)SUORD_oCu&fftRXapQg6zdz$&38@pEcb1)`*DW-n+dZs@J0PN4!GHAll7EhJrP{&IgVr}I~OJ80_l
z;stPq$XTD?r84YU=_kYo;L$yY{JE>4KKUBy?<{t(jG)H^SUbnO=5_LydIZMAVBhwF=7kQHY