From 1252871c1d76363ff031182e1294bed7bbd9d254 Mon Sep 17 00:00:00 2001 From: Zheyuan Wu <60459821+Trance-0@users.noreply.github.com> Date: Wed, 25 Jun 2025 14:40:57 -0500 Subject: [PATCH] test commits --- pages/Math401/Math401_P1.md | 34 ++++++++++++++++++++++ pages/Math401/Math401_T5.md | 40 ++++++++++++++++++++------ pages/Math401/Math401_T6.md | 1 + pages/Math401/Math401_T7.md | 1 + pages/Math401/_meta.js | 9 ++++++ public/Math401/Spring-mass_system.png | Bin 0 -> 38495 bytes 6 files changed, 77 insertions(+), 8 deletions(-) create mode 100644 pages/Math401/Math401_P1.md create mode 100644 pages/Math401/Math401_T6.md create mode 100644 pages/Math401/Math401_T7.md create mode 100644 public/Math401/Spring-mass_system.png diff --git a/pages/Math401/Math401_P1.md b/pages/Math401/Math401_P1.md new file mode 100644 index 0000000..242fa34 --- /dev/null +++ b/pages/Math401/Math401_P1.md @@ -0,0 +1,34 @@ +# Math 401, Paper 1: Concentration of measure effects in quantum information (Patrick Hayden) + +[PDF](https://www.ams.org/books/psapm/068/2762144) + +## Quantum codes + +### Preliminaries + +#### Daniel Gottesman's mathematics of quantum error correction + +##### Quantum channels + +Encoding channel and decoding channel + +#### Quantum capacity for a quantum channel + +#### Lloyd-Shor-Devetak theorem + +### Surprise in high-dimensional quantum systems + +#### Levy's lemma + +### Random states and random subspaces + +#### ebits and qbits + +### Superdense coding of quantum states + +### Consequences for mixed state entanglement measures + +#### Quantum mutual information + +### Multipartite entanglement + diff --git a/pages/Math401/Math401_T5.md b/pages/Math401/Math401_T5.md index cff8b92..d6f84a3 100644 --- a/pages/Math401/Math401_T5.md +++ b/pages/Math401/Math401_T5.md @@ -12,19 +12,15 @@ The theory of dynamics is the study of properties of orbits. #### Definition of measure-preserving map -Let $P$ be a probability measure on a $\sigma$-algebra $\mathscr{F}$ of subsets of $\Omega$. A measurable transformation $T:\Omega\to\Omega$ is said to be measure-preserving if for all random variables $\psi:\Omega\to\mathbb{R}$, we have $\mathbb{E}(\psi\circ T)=\mathbb{E}(\psi)$, that is: +Let $P$ be a probability measure on a $\sigma$-algebra $\mathscr{F}$ of subsets of $\Omega$. (that is, $P:\mathscr{F}\to$ anything) A measurable transformation $T:\Omega\to\Omega$ is said to be measure-preserving if for all random variables $\psi:\Omega\to\mathbb{R}$, we have $\mathbb{E}(\psi\circ T)=\mathbb{E}(\psi)$, that is: $$ \int_\Omega (\psi\circ T)(\omega)dP(\omega)=\int_\Omega \psi(\omega)dP(\omega) $$ -#### Definition of ergodic map +Example: -A measurable transformation $T:\Omega\to\Omega$ is said to be ergodic if for all random variables $\psi:\Omega\to\mathbb{R}$, we have $\mathbb{E}(\psi\circ T)=\mathbb{E}(\psi)$, that is: - -$$ -\int_\Omega (\psi\circ T)(\omega)dP(\omega)=\int_\Omega \psi(\omega)dP(\omega) -$$ +The doubling map $T:\Omega\to\Omega$ is defined as $T(x)=2x\mod 1$, is a Lebesgue measure preserving map on $\Omega=[0,1]$. #### Definition of isometry @@ -34,4 +30,32 @@ The composition operator $\psi\mapsto U\psi=\psi\circ T$, where $T$ is a measure The composition operator $\psi\mapsto U\psi=\psi\circ T$, where $T$ is a measure preserving map defined on $\mathscr{H}=L^2(\Omega,\mathscr{F},P)$ is unitary of $\mathscr{H}$ if $U$ is an isometry and $T$ is invertible with measurable inverse. -## Section 2: Continuous time (classical) dynamical systems \ No newline at end of file +## Section 2: Continuous time (classical) dynamical systems + +### Spring-mass system + +![Spring-mass system](https://notenextra.com/Math401/Spring-mass_system.png) + +The pure state of the system is given by the position and velocity of the mass. $(x,v)$ is a point in $\mathbb{R}^2$. $\mathbb{R}^2$ is the state space of the system. (or phase space) + +The motion of the system in its state space is a closed curve. + +$$ +\Phi_t(x,v)=\left(\cos(\omega t)x-\frac{1}{\omega}\sin(\omega t)v, \cos(\omega t)v-\omega\sin(\omega t)x\right) +$$ + +Such system with closed curve is called **integrable system**. Where the doubling map produces orbits having distinct dynamical properties (**chaotic system**). + +> Note, some section is intentionally ignored here. They are about in the setting of operators on Hilbert spaces, the evolution of (classical, non-dissipative e.g. linear spring-mass system) system, is implemented by a one-parameter group of unitary operators. +> +> The detailed construction is omitted here. + +#### Definition of Hermitian operator + +A linear operator $A$ on a Hilbert space $\mathscr{H}$ is said to be Hermitian if $\forall \psi,\phi\in$ **domain of $A$**, we have $\langle A\psi,\phi\rangle=\langle\psi,A\phi\rangle$. + +It is skew-Hermitian if $\langle A\psi,\phi\rangle=-\langle\psi,A\phi\rangle$. + + + + diff --git a/pages/Math401/Math401_T6.md b/pages/Math401/Math401_T6.md new file mode 100644 index 0000000..7f412a2 --- /dev/null +++ b/pages/Math401/Math401_T6.md @@ -0,0 +1 @@ +# Math 401, Topic 6: Postulates of quantum theory and measurement operations \ No newline at end of file diff --git a/pages/Math401/Math401_T7.md b/pages/Math401/Math401_T7.md new file mode 100644 index 0000000..055e35e --- /dev/null +++ b/pages/Math401/Math401_T7.md @@ -0,0 +1 @@ +# Math 401, Topic 7: Basic of quantum circuits \ No newline at end of file diff --git a/pages/Math401/_meta.js b/pages/Math401/_meta.js index 24b47be..0c83d91 100644 --- a/pages/Math401/_meta.js +++ b/pages/Math401/_meta.js @@ -6,9 +6,18 @@ export default { Math401_N1: "Math 401, Notes 1", Math401_N2: "Math 401, Notes 2", Math401_N3: "Math 401, Notes 3", + "---":{ + type: 'separator' + }, Math401_T1: "Math 401, Topic 1: Probability under language of measure theory", Math401_T2: "Math 401, Topic 2: Finite-dimensional Hilbert spaces", Math401_T3: "Math 401, Topic 3: Separable Hilbert spaces", Math401_T4: "Math 401, Topic 4: The quantum version of probabilistic concepts", Math401_T5: "Math 401, Topic 5: Introducing dynamics: classical and non-commutative", + Math401_T6: "Math 401, Topic 6: Postulates of quantum theory and measurement operations", + Math401_T7: "Math 401, Topic 7: Basic of quantum circuits", + "---":{ + type: 'separator' + }, + Math401_P1: "Math 401, Paper 1: Concentration of measure effects in quantum information (Patrick Hayden)", } \ No newline at end of file diff --git a/public/Math401/Spring-mass_system.png b/public/Math401/Spring-mass_system.png new file mode 100644 index 0000000000000000000000000000000000000000..beab1e4a793e4548f19cfeb2a236a81efe775fff GIT binary patch literal 38495 zcmeFZ_dnO~`#$~E=MxS5ecp{zTucH}ID zLc5AWq2Xts$5&=-oj>CL=vtQ-nz~(bbP&+GWN%5)v9u7_dq6<_vV*{03H(JuQg*+z ztc0Y1riOsZ5v>z4_is`t0+i!Nl(amP#=d!IZ5a8oW@_@i+^SUp0m%Y41u@#ys1!u5vhG)F1GtyM7z8SpZ<46%Ku_h&{DRKuW#S??+a;(N=>TY70R~?#Hd9lCT6#rKYaKwCM6{* zE^dPe9fRPY@!WVx&(+Z#tPfl^?lC%IWYit%KrhJuJj%tIRWK;}Ur2H?-)(XIIsBsQ zEzcc$ww$;vw(#FG9g7WK``>0~24}De{I}VUxE?6~Pq0K^xXwuPU(_hu2$ByX|Nj5o zZ&Vvlk?!r;5w9K-8yook{aNl!o0QI-i}lD^TJqVjVS}QvG5?h-S1JZJY}~kY=gu`3 zE?khSl zmnsS7@bGZ?Eb6o8&rMBCQg2biBO=oB@>)e%Y9*Rpzg9VOhK+gMy0nK6YeiWo8#p-y zrKLB@%E|_~zHV)$r^FBL;0iOfwq~%mw>NV3|JSC0XrQO3uNY9<#y&VWsJM;2x~WM` z)1j=aOnCQht|T68iBO%Dm#V<7U2FAA9F8_d@};Gv(Qt5Ze9YC~h*z-woU`e+m|lQt z)Rs@&PckwX1O)}T<$Yv+{r-&yq%bitjsE=k@Kmxax3mLqYqDJEty{M?n}4hH<#8Qp z4UULdN8ZH2frY%kjm-mm#vjC5^!@ur=1D<8bbtQ*N%dWvb1A!IV^h=G%F^B4?YZ>F zIl>u7!Wn;I=9ArkMI{Rv9K8D1uU{r+W&vwCb_g6g#LIr;(N`Jf+TOpve@;zJ`9FVt zz|GCAl=|%1v-WJAJ#=(*0{iwoZIF8DHA~MU?QjIgB`q^^?YVR367Jr`#&L*WcvjUC zFUq!YqmFqJ_K^4Rl?@IK4(;#W#k_v|<_&Y~&eIL`VH?k270eyJK9f;~1dHKj2$G)zcLH2?bSQmN0v-bZIIJ$FVj$TKJl`2OLEYg93O$deV@cA)tC!t4n7#k_p~ZPmVg`*urPSy|=im$2j;z08t4fW5*<OH;K_w~803HRd$s*sS7gk{SHZ1kPi5#qP$ z*KY~msv0Sl z-o4@PPxDGL0H zbK|uGjZyC&9AygjJ7!?Odv$4A^~jMUiX!pKhK79OT_vH|>W`m3#Uv+3bd@-|jypLy zRbi7Qt=k34WLB?Uty|$KIXB+bc=$6S=Iy-$f%orknVFfH8f@msqcyRyxrw)|?&>P9 z;R~&*Qp_UYNJzEsDwf#0SJ~NF5^?G@*?m}onReZ}b$)3*=5xf_V@RMF6=+|ga;y7TJFf>nk0JPU=yC8CLY^JZl+u7Pjm9@oRe z=_rVH^U?OSjv`AYF)^{herlQPnx|H64G}!j6bkm<>GI{^yLUGo5n|iBcdygW&*Df; zG?cH!_Dsgc#%>c-z1^pd9itz9n;2@|80p+t{q7xGadEMML)4bT%4g5AQ>t287>$gK z682d|Qa|~InD&m0gs$U}5|ET+qmUyfbMRnwdpj!%o9FECIvwGkqoXE&ruwFS|HjAO zHAq}p7~y|&ci$S132NV#pFe&uB3dPw1H;3asTE!v_4V}>ijIzs-M1HD zojOHN(bdJzxsP>R!$v<$O{Ez7EgztM`!@Z}qepu*fs>1iY$F3BW6j-tRsvjM zl9zvIAsv%4R^r&x&{1eUJ=VEzzs*O6hsPpnnqs#04GwDcS#`g-%%r5Ggr8G(aoKBN zVBj>`F8Iv)-KtHSHYLdW%AQJ+q4D+gW!|)xZen6$6cH3`)`$OI@-zH-N+wyX;=EwFseC1zB?ZC1!_SneKNUM?51jwj^B<)1C}yM%=mt*wOv0s>e! zZ@zi!7Wu}zK?70`7-wLahV0NIEUQ10C z;FWV{#+HU+2Uz%IgD$?kCwSlhC&}#meoHjS)yzCn%;Y)WJygYW{{Hzz#(j*NJSXZT z>O>!KQEh=~tw6kbq4U5oG2=?!?c2AHcE6OvN=mwoY65w+)HlC=U5iCz-LN4DRWI$? zvkk7pZ>rlA{xPEvBay6DSel~kuJ8)P32-fo_ghA6zWTSqgLNd!f~aUObG4$Qr+;wf z;W0#6L){Gy=anTdZXTY2^2y3tEdINf-t&wqN=B7FH*kdd@RjS4ks(Nwt5&U&aOzcz zyM4R=Ny^oldk1XstnZ#$oh~geH*bm- zAL~;5R&GoWG;YO7L+;`}d}Tjg>|KSIYnja1%ndsEMn^R@S+S?raF*PDeqOhRh1VZd zz5AtiDEToVp;bF}>>z;PSS0U_Jj3$y!a=Bbk!0x)y3n1zf9P6#Jm=iRx3Egz#Rrcb z(TVEh)$Mt;w2CtN;mLY@RNwG0J<4gBOlN1OjMvOI@{mj$cPnaWtb2W1y!L(i3E+`y z$Teo~A01aaeq0G(Eu-Gse@STL6Rh){J;ulIfT&ZXTFCqUHR-AJMe0<>!9;cnwf&M; zjZ(h#Shzm|OV(q;K(M5=RAzSx4q8n^1O4Lsr0V>{w=)I?;pr#t)F6@C*w~DI$>+!G ztd*87VXVEmci+D0#mQG&g@qZ|*x1_J+pDs)vkRR1lru6j`{sN68b4;9i@ATFW#`VF z;ad)G#z!gQz#wmIV@FjJz>fhk0p!)EDg_o;wcTg*d!-e@NHcTrp|XGUJ>QvN#S0fU zlV_bBX?uvW(DBk+I)r)CgZ8!?H*Qqp7_x2JbOV7~U0qEx(wZEoB~oAEHCy05e!=?E zrBB>D_v~4J|NedSn*KNyf9EHoa6pha&*a5sUPsWF&5d;uxS@h%MWI2zT*RPpSmC4tOo<4P+pD;v@G{-*R@Ruk%PjtTwD>QEu z+P#|vf2^sclH{Wf95~?V?QQ=3eL7=APwSgEb>W-#IgNElqVPNbt|EYl91DEx*thbH zzkyvOS-j(Yff|HGM3ez^qVL@!XB0`Xzv>$8=-21j%4Oe5ooR78>R;d4(>FSLoqpYB z0WmS=d-v|?zPxfd-D8hP?CskjndhGL4>reUoO{A@<@b-^u#J0!_U+>cT(iF6{$Xzu z2L~f_-Z_!QBFopB2ns|LDMDw?oFQd>6)o+%%yT<~UCOWg79m^qCEvKVvvU&{7gwoM z-zq@eLV!TeD_2DJODh%Y0-C8HxY)LAiNtC$^UL#=yN_pSs-1s~$OVFGL?EFhYcFv$ z#*WfUN=jlc$bx?@am?3rKr2@FXLB0wAPOvWJe!s+(?{n1Pr ziqnseyUK(tfF5)UOs*;ON$Vk>)?q=X0j4OHItH|~w46Umo7uza3F<<1Da&7;ZBt&;9!TVa@dPG{xWX)iM_i4GrUEss-nU4ONH| zIgbfC3OP1dJMtU&rhs>I5z%6ZZrcRz zh0(kOQR zap)A}0>I#Guo6|qzvl(oo0w>tPF#DiS;|g$z6|*{Ki)DYH+M+30pBKp!!FArmwDIn z;>Cu=iukq&$0US))4D~;y?f8TV4$?L#*WPbfV8J7(HhyGwR9+I?84FcE<_R5KR(*i zqVcZWVW_jCqiOj*D$eW$&KwkIm)cM)y{Wx@t{ZQR8r|vBr{@oYK`zIP1KPeeJPu?rZp^ra+m00G`-*dBguLPx`6X)A(aUYP-64fHfPE4!TAo z6v(OEx>Y4p#@X4KTf&5bW}(n!NF5EibEEMlz&&nRH{mVvKG#uB(^NuPsM9*PQ&RW| z$nEItH2s{Tr>3EC^wrhnQqj*h@uvoznj6<==9chJWXQ|#o}Vy9$!-7qxd90aU3#Et zZHRNMH)lM^78+XmUi>JDBeZU1_(hze=S`57o!s3U)+;Reqc)gM^;T0YE*&L_tTuFg zC>opdc?N3%1erJQS4;a;Wid23m}>m$Dk@<$0Pl4DMq?9nB2&}TXGB;iV!8zs^btWo zI}PER0y8p%0mFh4x8>xZGao=MVGXM%>t$wc?p06Nn5>!OT&vK#9#d0e0OAV4XU@L( z!4h{lZpW!42Cx7@p`qsZ{kp|=n@CxotXw?Rm%fCSMbdN1WZTZ2wQX(dZ9nH!1O1d{ zd)*XEZo2ToZI`l&%DX40`5ly>0$RIIP;Vd$?cyCl#Yi~ly5r5;w@8UB{QUfH5~bG@ zh)`Z$UPC&5NdTEg>FK6On!1H%s}Y5(DcpN47)r7tg(@m4rbbfyNOyGY+BF&PIWb;d z-U6@Li@?~LeKL1;8wNaivNI`y~&@j+0erQ{y+kkByHHRtlsSR8ZhojpV&nQX&nkS~{C~QWAhmiwdYrke~Zx zcLabJfzl`L?5@XJZHVMxXAi)qKD_kdF#{7*EznW##6+w3yR3|lAGJu#A&O<3`{_`P z@!%{1Ae3n7nKiSx@lc1h9P;$X51OJoC3T1N3VZhKF(`FX>XX6ZkODC_KJGj>rpGJe zL{SN0RyuNo4lUn9r=%Hr7G4HFKfgy$o|sqp(@<@6|Lf9yT!O36l#}vBDk>mNh4es- z+BVW`;B-dvE3m9tvxZUycqw7mAwlvlfc$yk&xjgU4vs*)lMCOy{K~(K`0}xwlXlO~RZs zB@}e_dq^+$>z7+_W1JBXy!YJLwWm+_A*-c5eoPPAD@nm`3yLwACrxYqV2}WB5+rHS z3Nx%*H?+faadGh>+B?!+p>A>7d{|nTjfsm3Li2Bi6i1;*OG_^;&9-^|TRDt(c%qqv zBsl<7kAI{EVxvXMwY9ZPI_%Ab--%Q6SlQLDsHkY_)xYKSApA)Di;0U1vfpr;>QyQ& zEj2+QEOq;SOWA(r*RLZ$lu{1V>*yS5g%hI+eHL6ua}U<`jBqQOrbw*x13+V{;Zc+q zBvtw!KYpNjd!fuX`Rv(#(n*6gq|#l)f|7EHrm6-RB)+nCn=L9TpaKnPM3BFxB2_@^ z#?2q+T!m8D61NMqVgoR|h?sT;GkSmYzZ8z0r;eb}AFM3Fz9F*K0N)ROw#-+zvlAmJ znUn~ip*xG+0K23zAn6ba<5R;faq)VjSj`I;ZX$yqHK#1z2hAsC*HM+*doC8)bO23A zf}}Zp<=-Eo6F-Gw7yvN{xjNjM{5sdrC>~{wP>eV%fPl}b^MDB9z}S5NDGY1ZW=fqx zUD8STv$*(r+`p^9RAuSchtrH66*{>Wf{_T!Tayl2cNL4zUj|%Vn(J}|H&`8|uyP$~ z#%6#VZ@_6)Fa-s6oqNkBK}9j~$+-{S7RfyYqW1BrWJW9?kddlGd?paQY5h%3BX%QSKJ`sbwq35U{mKC9U`1I`k&=|0EV@MXnjNkN=?3_aUpVlV zs}N{*YJUEX{^rl<2gr_=4!ks}UWHt2zA!W75^L4jK{iv${z8OGP)$vZ(_j-@>5CUN zwY4e}-uV7&p!ATEo5#B}({UN>`=9BHP}Y4^=zwJjOOvu11k<}p!u_=5CuTEHP{!DO-WVs;GJ97 zT~o6vQOZ7RY8iOD?~d`+K3OL1UB(GoQeG}-XxhJg8NnAiUtAW&LxegHG^8Qra#ku_ zdcO@Qb@h`|$u-TfJF~;L>L-BY%&VEVx3eSZ87WLh&f=Q*NhB!u@vo~54Zkr)#f*FE zl$1}P#S9o7wLY05|MER&7}kC@_#bqnkG>w{L@d@k)<|qGbvDnr@I0$#KJkEU$k6LM zTMr)GgwV{{8);`+gi_9UqAn{lv%05;A8U>yc=5UU?3Wz9Ks;S_Z7r?w)dkDo$u^X* zQ>RXKlzZ%10d5f)po02FehGZ}^6>55h8Ox4(e#j1=dtFY2q=yZk2M0-wq><@tyy`M zq4{WFe0)3tU4(gc!0PzCA5T4}%?Otw=RQ`2e3TvT`um4A0%%PxUi_JW3m8KbIYKF? z^~PyeO6*eDrg`E7)5^+<2{%3RO|E<6X*H$pq#^nN5HgDgeEVuv z6B>FP-O?||qoFK(5&*=9t}d0<1h29j9Ubij-Jt?00>{K)Ag_az1|j*oLnh^wiY84@|uU5>A`|6B!qgmOX;TC=X9;e45L`-dl|-@UkOOK2DH?k+l?^$vT_ zp@*g;Kmg6S`T&5Y+h{utXufJ}n5f~vRR|Ud2W+`2|E(v?}7}v``KQs13 zMMZ^TC*Hhy19mu8WU~Lr(WB%z0cu|l3(Izk3M4fP8=$JI%T2nMOT0IZtU|kWL{)VF zT?(gr;c6Rs{v6BKxBCda0+vm5ypFKr$cX{SMPUC1C;FRSxQ?*Mx{Xrga=8^ zpnR{6iHRw78Dgwl7*13l0MiH-vk%pv)bHQb^h9c|VL2D%j)cSBQpI+iK;>AVz^JJ8 zsQ72TYfl2aq5q)QNR+C7s2Y{U8!!*9VSqF?XgH>Os{Wm#nY zL#gMq5Y8vg$rp7dJ}iQ_w|B+W<;@aEnUNtn*bLY0Zpcm zu4XPMrdFK3w9sBtqkPEc4=dWGrj{1v^XIt$59slWz=aSZc7C!)71aCY{nq~Y$(G!H zEo64Tm4!9fs)P_p$k=E4Xz;5u`Npq~d3wsQb8tXAV*v-Z|I&Lp#8MrOJ;`f~t1I_H z{g@hkw{^c`H?QyCUoqax3VtiRI(Y_4cxs}Qph`54bAU-CeMF+PqY!wOb({Aqw%tE$ zdx(XfQJh~LP4-j_K|S(ISBY3!T8c)4fRl5+{A32W7{bmYjMU{u5a|TFp>;B}WTV6x zPG5A*&I#1VvY{PPK7D#Uo-9wQWHl4lr8@TC|LX-vMG{4#&Ued*$oc(Jbpc8^XAQeet$8pmI$YIv*z^on-St00#f`{ zu34+J0qrkKj50EZu!KZMQcaKp;6|g|I*ed^`?Jj-`LmP2U zjk4LAzgBqd1MfvhUj(mGq5J_*Uj%AO*?$c}YTha!Kp|nKth|bJCjIqHL_u1 z!@fGy%%f&Yf^pooZCe$(7LpvH>%AjP+N-NCTT&MO{b~00LYq$_Zj;@7AXbC0M|haj z+}w2@9v+~CwEx~a{}Hv*d3IQXJl?D2IUWxk8ALKsH*Rq3?EUfMCVDy+@HK?P_1GDk z%;XAo$Y=TY7t%u$?hff&aPQt*9*GQs{GWH8VSuzl8V|4z)xc(S^=5L#Ok83a(}e&s z1UKgyy}V%BT;JZVSyx|g3RHYxA}2d9FS5*am&-NK3+=As3cSu3ocdtGxUcG+!Cc9Q!mhG{CbxC@6^T zqK3sohy>LMLibo&{7qm#rpuRqtB0+(Y}H3!*k0-DorKtFOHlyEgklm6APyF=C3nGi z6Ox0crze=QlA5|{q@k@6608K$>=-!T2*ye%CgVLd?w}(y>fnbDx1tY<#0ItaIwEO8 zl&M8h9n1?le+(xPO`|eIE}ZwB^DmJ#`+#PxKV@-BZz_=;)1GgUodO67P}_FaIC@skynY;kQm>M+Y~`_)%B^g3AsPDh|8%uGn55JN&Xis&M2{5fyz2 zGhk)#4x=b;$yHFv>d-uHxF=)83BK`Uk_?+;cSSY!*0XV8!vVCMXb2ftScZqquyF)^ zRX;cyHdVV`A@z9d4ktIaI*^c>y1LhqeNafafczS6a*9gWd=%dAK;^do`m7qsmN3WY zk+9qa?^DV^wGbGOVDHPjk_ZJGsuYn#AVsjUvTF8uK{+4-2!MI}L)GnP#>_GsT~poq|E`W5;`hEFA{x< z=tKxJ>yH_1WS3LNF0a7-;_2m8jlBX3Zrxe59oj$u6tArc3a{SxtXFP&(ibaC$Fk+n zb?mM=O8kNDhTKzTWdo=il-?Ub6~X#$a9*{eLb3 z4(#n&>(!4?A4xz1ImGI}kVG(o*|$b23~p}IHtjO1bbWE@!w!I?T@_<}kB-L@uL78e zX2V=a?i))^U>O;oHv>C}p1YTIT3m40 zUc5g#tjw9`rk5_=AQ;0}90~xMS?!6U6&O!Gdrm))MU}6{l9fFO;>-H^^Jf^zOgIcK zQC~iM2!x0N+(7a+f~~Y>*w0QMoW-R}`pWWW_k(HJ5k58wx8g5@x^=;WCzg6Vs zOBb<39`E@;@ss zsOT=3@icZ_#TxC5${P3fS4Rt~5HkkxTzDk49YvxPS(f#FmjU1pNhEtt5~(m}>M-?y@!T|v_0j$3rD~dXtVScm6Y5m{}T%sm6IcezU2I0PlEe^?$8a#UwyR$ z+8xf=R{x@T?YUD^I8Y+K{IP1=3<@P6k*kM!%{gY@ySI5Vy<#oOoT@Pc*fbi#`$7># zx9>@uTEw|zg17>MVw5@3ild4>qn2L5v81$I27>tH3{zLx!PSr(2*zrN;x`_r`p;Y_ zwrgIecQZWv2#7HxNy5WJt3KN&BNTI;r>M>--NN;pdr1!@=`#+MN1U7_U`~NGCr(}G zTviKG_Kn?!FNl(b=K-#+sSaH84&9i~;&=&T;~5>Dkr1(k#YNg)zi#9Ne0KGaJDPq6 zhDc<@8fRcpo@emvkv5lkXo<>Z!zH`Vm?7F(>!-> zz(vlfmr`=!{KBWWtPkZLjt)%_W!Pb92_xJQ*qG7x>0veGeI;FoPofoft-S&q3+|J7 z?$Fb+)pT^JupE%=m9_5xxMJ|`eeG!~O-)Tz_#!$)FM=^XwR#J;!Pr4+-r2La&L+Om z4q0B#xpejYNM2F=3*E8$EgLu9+01{gvt0lYL)c8Bo1ub<`0n<;{Bp^q9?drxghrIF zUZ^an(}J?H7bYUV6O{rMDCd-?Cl2Ss0(9>2$!Z*QLf4m-uLDh#<7{o9jbc%g8~q#b z4TK`ex6py|eoYfn8a7L~uOOsoeK-Hl<8l7{`3j~D%1xoa-)&qqCZn6?N{c2U8rXvb z#COq+a8Csl7D|HY1n?wc5Gk>Y>#I%C4-sJlscW^+)~&0D8jLL0v#=aP%L&^ODShcW zvE2JEGQ;1-3gIIlU=`s=ks*$tMUT5_ZfO~eTqcCGj0g~E7T>mw4kW};Q&U0E^clZc z-lG=_y?vXD$lze4pj%KCT#t&{7}o{R28V$2%;0eXir{8Y zALo99bzuMa@gwLfP6r0o-#UBOsY%>fY%5aSZmn#Dn4(D|!fQE$Z)QCJo0JNCliw!_% zL&<9>Wf9_?x^Mz!6cv;8SN3^_7RLVlJ4aM)r5A7PQK!1=1X^cD`Xs%$` zV5-aba1w~*0jH3iy?uP-KCm$W9&20QB4H=XUM3tI8!Ia%Q%gix8Xg;~wk=?r75+mR zwP7udG*#o5L1dpF|DmmYsXdj3G}s1}KAWKIQ>rGp3){@+Yf8Q6cfWA^USpedU~#r{ z_HkO;8Po6*A;Q@}3m|I4RDun7Y~V`m@_Bl;38L>n-2#Ii0T@|RU42de_mdY)dmum% ze(_zdzI5JG@pyG&KFBeCwFSs2R{yL%tRDKscGY0WheCb~j*M(YBM&Ml-@VM-vLIN| z^0nyGjsEE zf%mw*XrPC7Fc9uXL}VyRL$@;y8S#gL_2S0q3dqg1e_m3Rz0abFmD1~e-BLm4Gf@L! zIyqqbITihdM-m)esbI^=dLT|stgP_*Ym5q8Qlu;G;j0To-GEBBDfj)BLRlo_*?!0Y)f|K13?sLDID2h2q(d@*2xSZ^GuU}Wt5 z=c*40jXR{zxBH&7BavOmImMwmh7I3vKVP#OQA`j!)F`92I}x=0<*bTYVW!-F{{98a zON-@Dg(c>5zHt;VtVo4*FoJ}r0mSKmu9cKwzGl)=9iLY0jBY?fL>v?h>(@8J<1OJe zW8qLQgi2rSL63)!YR>*~I8a>IKa1%a)Er_dfaF}!E{lIB}w^{4BqULs8phH@BREAE6IgdgA|fxY+ho9){NKRbPk_pExKyIDh0*+1l}{ z60l>W`vIe7`|bX!f5H2#T6+No+CO|4xUG~2S#DxXQn2(go>ug&oapD|ebtqTS$;mK@u5+ky^*Ws*e-u?5 zbO z089ZBnoaJ*A9QO|D4Xy zx!o%J3axgKoxE~uqFv)F#8|~ZoL}XG?4#Ppw9A@VA~fAHd$M59idfWr_vwMi!z^Xu zbhXC8#*4zh+#<)KIp=-r?%ihlzelt}4GmI3F~mrTNSYCTPA(I-6%54x*!V|Uff z&VLp>6Eb%3l5*29*kGRcIx!KEv&VVUEQ~{OtT%258$YyGoDSXO8fddJtxrPu7`4Ae z3m@H5YxHiWmdY%Q>0q5rI-@$LEIs<(>pueg3;nLTyJ_8KR z8guL9rKE0q@KUIBa+HAcK4-KYiuicbf_p)5mqrC|Se@0P;cn>B`Q;#g5uc~v>ewt7 z+LeEk_u6F|8XDlgxDX?Ue7RI_0;j1 z@&EzUC0_jaTnw6Y*IsGy5dO1bYSqL1x>4&hB=*wCaUfMRqm!nGhg^SlzbseppVIrX zMcDhCdGnS%Y4)VsKpOL`-{seREMjxLXe)5Lh&>N~QCn1GvM)yGFnfBl)kKAsbv(6N|KoEm69_(JA=l)-?I&*c5}PFuFd4BJ{qX~yC>{X)deHRF z6V!t_MlUzR8IJM^7EK8+4H8N~`i&}_JlGkcauq;vK^12NlL2Z9PfX0GKr1_~Wir*a z1;B()rBbt!_){V6)6xdo%sX5H!vvd9AmF1Ac%H|PAH!4;+bh?CX{c`1Wqn(FdvVXP zyGbkHx`Ua%4(9F%*OFYH?y5mBg`jbQLN z|K5dccVOa(JctrZ)o4xF!uWO!`YTP`+cjq_+SWQcI!+7_&lThI(|W{g1%)l!H#|8x znaUTP_3P)C)9n)5m75y-9`bIki>x0m|M)NmJcEk9exlBkmp;6`|8#Wvy4Xxg+^u%* zW*QgU#LbarH0L*$MrcUf3lH{~ww*qHo}%7)ej7iVIg zrr_B#t>X@34$VI1+o5N)wA}0xRkBWmCaC%36kq&(>9lOWwTJ(SLEnKbc`dPpJepe& z9$_d@2?QixU2odM9h|rDwxOt?KoO2IG#?G+998o9uul=3LZtsUZ%zUhPTf5B>ZcKaH zK}*O&TyUyqe{|i>euH{bimde=#7>4z{uYXh@2z%Bw`Tx`+R#MkK981=|t3zvUR>eyjwe^kQvf|txEx4&`8JK z&)AcwkAgBOmHzlKan|Dv46O8;ygq#V7*tkvkcf2v9!B+Y+)YB8&C zY@EGdD0=v?;Z)nsAl8{ne>0e9(md!oa=U^j>V&z%V(#2&w3jd^UQ)*GT{~P|T_M&r z`$n8jf|%>#{HG!f^Fb;?F;0!Bx8WX*0^;K9uz(jYUNoqHUn-r6rjyzs;}gl27;5L> z(_f%q42J?lM3)hbPGvEeANzm{w<=LBy~yVt(GdjpV|sJ6%PkHs2hg}M{AJ_F#G z72!<6KOZ;{42b5fA>w^UvshzHp2?@H&a5l_X5=5BATRq~DfBB7NgObu`pUN`D{6O0 z>!vxn+3^;eV@N6l3CBo91qK!}`3Een#OK*b)#40YPMKsB|Ni|uX4XPpy!fk{m^hYK z+0t<9@V_i;4t<6U5$Q_47Q9TE%-EMWzB!?;9mTAgM;(x{0$j}Z2saHswi6WS+A-%4 z+Rjq(;)N_yt@c?4xACv>UuL0+qKME|E2OZ3KluJINi0VMtpP>Ab5FpGGr9~^?fhg{ z%MscFJ`Q=&?55)5oX#CmckkW9#MSHtwxd$gbGmEaYG^zA7Y!i$zP0t}#L3tlDe~3A z%mYxZmngg@ z@pZ(%`X^P{UzIm4dAqj9iy*fb+IJK0-TV6LcA|)EoU+lHf5Tqqv>lXXU&kf(+q1Jj zIrQHQvX5HIWkE%iK%4VjA@tKPZB}+ANpIe)<&_h)t7OLdzk%oV-=AJxW43cm5y$d> z!P3S92bJu+k02jor_@^e^*pL`eraWe|3u3xY!;+4e{dK6n;mys<{8n5FM}t;sPSGz zde&@PgXWO!Sv9MLo+gd>VE^bZ+wjOjAFY;I>Kp`qtt@-TH+aGRhxtxuJ58dX7rCG% zlzEOFvm^_O)xP}WW8d@lXW`C=k&!XPwA9l_%GEq2_TIg$TT~3O(Zmfk>}26NAr;v! zg-?%|Z16&R86W1~WL*8fUVw);rF`>7G)8TUD!}ahpJn@#!*mV!hn6yF=&uJaCR($h zel#q?FCXUEC31%-0nTlVvVT(K+)>PM;~XaNGP1K@lMh>*#kg9`?b~x_2G6f7F})R+ zljA`J;x}|)zd=U`02gn((>C^I)fk?|@^}n3qC5i5tZfmOl#B^$EYSeSKY!(lENs_w zjsNZ817*bN{Fr)!K^zPHyR>;qsvO1Ki)gFKl}pFa;@_E6F;)4OoNr9QL$ln0m~L9Vc} z{*O>u|Ni|8zAj6g4jYW4(|4ldls^AKv^-?c7XTYBgsdW#bPz`+`y_f~01sS@2RKAU zL>PgxICw+tW3yxp$NpRrw7;@Am#Z!tXP4Mv-fHzH&W?AkgW(eX^|f7MQ1`gm0A66) zAr|oixH_Ld`1q#G@#Dt>zSjLWCEpY}r`N+Kfh-4EQ=O3pl>~1A z4Rc6zQc_Nld0lbLdUv&`_Wn5g4=|dp{x*Jg$o5ux7Qqt?#yAfY3PF5e-BwR-Z+~>0 zgHi>n!jSw3&j|EvHFfoVK2^--VrKJtM8r|}HZkeBS=vD?1G@>G-WIfeFP|zzaHMkb z9hmC9lO2t$Q$o0C3pR7mm=^&(G*($^OG5U&lq$RHTIBGI2O5<3C0H-`<;rM-*x~NMypUeKVSo;7t*)L4cfTNjKGo`UvX)#io4pic9zv$3nhhxY#UVFo9KG7ONR*4;BKuB{=}=1W>D^lPpAk@ z)=$lriEUKaQyAKEQDxg_^@{kEP!-_apgU|V z#+ChuujoY9O!AjAU|jE~j^Gczgk(!?RNncas3To%f&EIiUeQKM5X;Cx%x6+kF&z-l zkB=8rMi5XaWSo#vdOXJmDFGwH6be%Q>gOZyAW|D4hz|0Nps}Mi?mU&$%NP2ViBiHO zY7B00NS>?6?k6k|Wl?A-TIC|`cAm8s^c-pBn-~D#>~>!HGq8SQptskg+nM0YD9Br$ zjWqs1ixcL8eE)HH=I-fRy8~EU!20BUzA0Tr>TS%z?N=g ze@omB$Bhp23r5bcj+I7X`Y!^LL^BuO!-m01w59n4aMThQCNi=YN$G-w?pYr*?)DEN zRmHqCCM)B^E@N`AoBSgNXT8Wj8biIsDaXwRIgz@nYKB%05X8;S%1)FkO9gM-0ZJ^E@Tm>BC%?KDd&H& zD<}ggdY`7R<5grM0Z!{%$W12Qul(9X&%=(p3Ff4U17+aZ zjhx|C67yIAOVB3T3jJ*pegoK_z)P^{;0l^r;DYI!Lt|raAPMdT9Iv>auTB}|UtS#h z_x#d_VU>SbY%}lJCBv(di#Po88~f&Ept108&D0nBa`9W+wHO2|JCDWPN>{QLUVN_= zyIruenM)*%wR4kDhy~wki{loW&F7DAlZ?;Uz&2j8xUl?g;J&d=`S~jf{83xXTg&EM z<>#qg;}vZqvtF;z<T7WS$2p+4~KcrXr>^fNW3F>>Cx&D zSHTXAdvyH#DU8o&mlj-!gOBhr(EbVWCZ7_8BXE9{B}Y>@sJK{)m{svz$oRb=D~Ohg z`DDE`dEz0)93;7Z0m+JtC!S1}YDx?}7)tE}M+wSY39}AJ8ygaz7;{}y z^e1Bwpm?s|xN!}ZQ@9U_g$QG28Opw7h6|qL0En!LU?2bsLUVJ)!K)gkxkFd#wxP3oMxIiojr%fX?S9KYy&GPC zqW-}z)DdT(tR{GX)A{4vb&7fTrp=r8QpSk&`wE#y*+g*%H`%~#zGcf6W(pMbY)v@? zxjCf+e)3J`;V-ZJzB#?%^BEq!+sVm>6YgMr^uTX`GI`s9gpr^rYyk<_l%i{5ViNq< z!p`mur2u(evVps+)Ojmy6&VspbH_k+6{P@1eSF;;<4&=+ZkZt-F5yvBwQFrj~%;Rp4{I(3D=S&#SSmS zdBq-<95YG>>{fVZI5GEaiE4xfc2`qa%tH>AXmhwja-eUEf&7JI;3=3EN$A#GI2se~ zH@#mSeYgq>h~ER4%S>@~axw{*bXRSVk)z=6S79S~! zYmX6gnx<~v2vRT)h)xx_%Zb^7;*Vg)tu}>@J@W97#b+m@u;=I&t^!wwleC(G2sD8W z20%7AG*q?BxDk>!ZY&}b{xCgXYaB3zACBUWG=44KHM$Waki=02RkpNz4g)0QrXf&$ zkuG~IR{s7L1w}>-KbX;?PzanraTG!ufdLcod0YK5m+iP%o*A%XU z#iiw2D=umPneC7AXNI{_3I#Sea;FPMqtONl>&T_Z`vySQ1ahOp!%ns5wg*1Feb{=@XO-l>7&sRbWSoUOzFftCoi(ZtQHXIxl*@C3UI5$! zDtdZ%_2nKuc@he!PSP5x`EHLC+y%7?$%D8P!CB%rx-OXirk*26@P`30qijcx(t$J5sj~XmQb@y(KKv{3Wb}|r3(~VA*MnZ=vJM) zf9UQB(F^Qpn%B|H4B(N;jJqzU4kUG9QPJAw=C!cb?|OO~LU0|_1(^C)^YHLEl*3|& zU;?0>FU6Uoj69Et_v`$0CS6J&j1JN3F(nTve;%D5Z+nP*Jm# z!dr(h(0~Lxu>09jn1C1%AU+E-tHIM*KBm5DZmuSSfIxQUXyD8~R2di=3W|z`VcaZU zln0jME~kYVOEQQ`5bGSS+^VXoqTm$OqBgeJ?SvbR43nX`CtGFjh}#j!e8}zF^eCl; zVmkHBki(E7kzlU@rrgk=?ZVcR;a<$qV$x{u;xkz5sc;RDD+E@lQ_xZzfmqxN3p_OY zJDsi2w+hVa8FAvAX||&?I@|R_TY$15oRJKLA(^DNPA*UN(Gt9gfSVF^&_osQOcQ5{gZYoQ@wxVA#= zZ~!u|GIT*SpJJDd+_A5?k0SsX#qR5~<2eZ%C~!Zmg?XhGj|ii52Kye7P38r~#SJKO z5}s4NLLOJ+p{?dT}|7}kQ^3SNCPF+1WO9_>d{AK(jZ&oh)G6$?XiB8ADY zcz_dS06Wlu>kxD$cTvc=DsH5R#4T3jvJSXk>x;K;U?k_O3iS;QUV?&OWye)*ZEcw0 z`+=~yrR;PwH^#$Fg1eMhw6wH(VUx7@M;wD$+M>kK`jIUJ%f-EEQy-QYV{48vA7e2M zMdsVdRWca5W1tH#>uPRm3&o92OUuiWxLF5d3i@__r~w7YnPd~;W=nr;co^p$SvDNL zk$yOEj?Q^|c_|$|y4u~{Jv~waBUI*?wop5LI`qktC%TGjDTu~eC?rl8Y6C!slX-9l z!~B@w902|#w>V&8Ql$752KLFt4*-W^{L+r#=(g3Z!EO#WDvC0z{Dr zOA8C9MSMyXhJLF5_{igW3M)_n;)Th$TLvT1w)FnsWeU-YIWHp8zne@71VgU9$w8a*^d>3XTU$?aM z&%N~fcVAquDCqc!6Z?)Htv~xzw!W@Tf|HZ8VPHA|(`aE45u86K(OZ>%ndt97YbJ-p z@usdWh{gn?%5QpljP3k@FiR?l{X-15O6g_Agu^H0pLwikBE{>7df;Va?=V>qBYgBi<~1jB_R`_{oD_+d{r3hhs21J8OKYQVB8kgT{Xf_i%xMV8n$uWb_)d6IwP1A_@#oL3i$K3{n;Z@CL=S z1_h)SUQd(oH0&?2Rf6F%ve75_c(^Sk3LPryo(k@S#1F#-@n>d;3B|Z?XebyVbNlNl zH@E#*|4_hIWfXU~=B+yl1mW6QFt9>{`!reE*skF?O)dERSB0;zf!ITt?YEId3rP#6P6!|p~ZhR^a}&aA8~)Y@a{NieZbJh1?zxDt>DTvmGV?4N03gYZJXkdW|4 z!3Fn#-h~1mr;ME3owED5Jd$I0c-Y|gR}{Plcvh7E-eXDVKuC##EjaG$ZTQ@YNdR@4 zpfWP73TB#oAT9_6sZrI~_~eb)A($F!Nv$P|h$BK~q)6k7huF4b#{=k}9cTo`#>TL$ zSSO;R5!cj}G{A2Vxg(FQkt|rq9s-`J+uOp9583<}Zg~Vrj%&d@u$BUtT0(Ug{g}xC zN=DnFZcHE5Bm@*)|G+?6YN|hq4H-^a&o6%j0J zJ2z%yvl{N7M>E0x!hM_(iH0%POX!h&X2~^*ro{6hSUvFy!@Gs>=;Xpd05Z%F=27j@ zdeq=PCBTe8MFC1wV<4ay*w4CQt~*0GO>p~G!H-lL90Rg~1S5!$*U6i2Nrs?BHHS=M z@Cow?dSpfcAV^b3XOBk;@F*^>3nJ!6+|q%vLAMlYBn!;lB61_qDI<+T6wyK3|~#yD*!Q)q-9s3$eS~5Su;f z82{nac#gkrB&93L`t~Bx-4i|?bZrfyFiK|wO*Il~@slIl-Ge{NvjE@~EdoRl`!VPG zGIqTz&2c+>r&P@Ap{mq~+khe5{~;B)LILh0?h%~dVkU6u{(cY>F&U&_elj%fRG15VfQfvFPl|juuyniohe+)FXOj&n0HFcf%U_N*- z)vx79cYq_&%tQG4bA>-AzdQm_mDVod0-GR2A%R$Q>pO5bRKO+_R9ZVj+_qv{%Fpv5 z?unz5+P?a$BvU*}i$0Er&4aqDi&q_agg_mqRyA}|U?UsF=j|oi!CWo^3NsO?74f|G z^s+CtdMri_9i6r7)-{Ffv*=d44hVr^7Uf^M^eR`)`sWqU$iV*?U8DV4x{+=qQhurOYkkiZ!xcg0p_Yllg1ag(x%s8~c5A^XGBN^l&UQ#^uBsHVEq!VerARa)27UT` z$W7a!U8FmLrW0Ysq~56RQ?(mCjqS_k95Z9rfB}xA$Tcn9B zoewz=p)4T6j*UG{>;CSdCdoz@uU%VXt#7>ec#1`8^Dt|oZC1ejXcpE8eRYxS>JC|A z7V^Dj0H!_3`3Vg?{D_E%JjzP|WY0A{si&k$#TzAc(~fuNMM}Z579&f*jkimO3QR@O z0j8mWf!MT1{imH;8irir3Bl*N$+ClKY2tX-XZDrUk6(U#NwN-&IqIZOUG>S?zp>J^ zGb_)rAjQlP3ib$E_J}$|BO~on7KE%LGKh;Ig@!1{6yDULBzDSBAkv=dT5W|{Cc74H zl9;5SPTIu6bEy)kma2G}fbGI(+eOm16`8a2woWkDcoQY`Dl%7AUL^!sOX$~_SY zi1ZwskD`L^sQK1M2Z1+8%!i=x5>+s&QSVnJ2YUAIozJ<0JHoBMmtKsBS;TY21bw6T zhUvsaDR$&KpwG#PoW{++m_Fvo?ZCUkQ?Bh^2wrmt@!Mh@$np| zNd%r|KYxB-03iy}Vk7>6sDe}WSC-D=jHKWg$tewCCz3mo6Ut}vMQjE|?@Q?hKz*Vh zd_DaoEopfEH8{uwkS(YCa_Q~_1r?%R?K!{93^}si>c%be*~xp-)4e|R*rxv8 zi&sR=RdZ(LS0$Jj^7=`i2d?@#lmwvb=f5Ct_#s*&e!fsErcd3Bla=RWN65MXd@W)< zZb@7K*in)~NCTj6Uro}UbAZtqe|%pe-p*7C^4@~O2G72t`?0262jxaMYm96@5UI%T zukU0OT^|!vj=csk@Z6JkVlH+ieu$f216hhxBm9OkFIEvs4m;!Ng)Ktu6L|$#x3nh6 zH;UQ0F~kkXAiQNmE`q>aM8zxyN#bdYi!kr%Nm;pAn`6Bzj|Nq2&qYs1ivXT1pkK(a zrUrI5+T&(^V85^L#ymclxZX4_ue$oXF`fXDIC zei{vcJIMdmkPFBcaMZcH_ZVw4U!`gHDW?ybjblqbhdbkgI7dJh@a8}i;Tif5$uR4l z?U*LG0G{7ZfHRt^sfDMc%!*vCNYsD!5+{&A__Bhw(Jlv9J{Q_Z`5#OuEHYEc4aGgp z{uTksB-5sDa{)>PWI?n<_0UulgopAvlc=G1_I3ngv2O&H$-8*5DmPrAKy20=NMa2q z$H2jZZNQ{~Q0>S|z~0YWUgH&zWUWq1Guhr_+9tNK+qcX%HYRJ8#C^V0oEro&YSt`_ zidGI!3(EyKB#Ac(z|aV?6l5=XWa&Lu)-8Oy^pweso{DI86zCvyehv7??f=$t zKQah;bmgjsNc6^1D>}55BUZkXy5N6Ze7VH5^v?9Eih!EDXUzEJ2?umfwo>s^ZiSLu zcxu#+DoVpMKcx(|T>cTccq>OIr{PppZUafKfTgG7UdyQ_4g+*D(##yHPaqjn!W9tv zHFb_d0;>q*Pn;!6W-t5D6-Y7yZgUqClQfTS!<%;RpsJ*@p_h2V(w$1LIjla>oE6xL zY)u4W(h|XcAi`$4e{l8wB{U+$^^>h2Ekrf5eaXq*^ut8^C3OrK>$>}ycv>%7>D&AN>v#=>Rd##w$dN~4LW@9`=nCn#S!v~jWr+B8I;9#VgbmmXVz{|Lvgh3cXL0^ zzfWk_h|iOxn&FM;tjTq9X#`B)jGcQ}Lz|Tvg#)bn;Bcjj0UJ4qbNPLPlU9!+!xMOOvP`_8(>Oe9v;t^?2=KYOoxq(j_ z4_o!qGrhQuduimT?-(zfeUTW>n>YPYeq_ZGTA%?M2jb$Un1B8!G%BhYhc^OPL)Yoq z;4Wfr2ek2X#LP?$wMY!Y`hmBw?Xxw29(1J+0Cgw^)Jr^c$n#*mGgbxIMqtG!UZmm{ zr4a5TU-8Qq&-d8+h?23IP1VIFnKc0|r~8TQ4L`D_M^o-qXHj}zOnrVcG8&GUge`fv zY)0uEnpNs*kx~H$JAI@07dQ|!1gG_}v9nau%mAbzLq0_AAZ~ysytaAVB4|@#q!)JD zUc;gmk3%G#**A2GbdgC>dMcyIOHE5FThybubTWWsKjkpejAfD!+3_ALcRt z&X#I)e#Y9zwpzh>yvnM#2%1Yw$zc7i{PuB-U;D9M$5(s_U@wUMO+^-v>0^RcA%gbC zZQK6o@!HFY)O{48T+R;cx;K=c0lp`l<(BtruNXDDeuP})7BG_^FgGIb+(hhOEH`0`<7RNTq!Dit+yD19 z(RCPq(glQ}GJ-^_S>CC0=gnXpzyh%cR~d3$66y#e1z9hiJ{9S05g9_Ec5gS4;EGYq zlP9YwF1P0%0TjXMrN!C}F%Q zLi-gHKv&-pnlg$>^4fqqRA%Nm8EYD%E+(PDsJ0{f%&qptbE+sTW?vsG)Exn_i}cw3 z$Cao}*z9|B3HG||(fKXm$S}cfVh9%_*#{t7L9NaD=rLO3_1tey_V7sJ1d-0~mt`(a zPUljc_DVCGI`j6T*6V|*SQYAVv!8HFH1noYFmU!9NIx7)3g#-ocIw%XjbOhE%kAd( z1DNwYFejqKO0%i+pQOC!3JO#RP2wsI4lBh5&i`zfbuFX7l*OYp0)Rsdr=Y7S6bN&h zQ=|((K>K7a%0glHQc}d#42z*KY6gssHMF!MF`V@l6Vy$cEZ*-T%iM!%UjRKG6dZ#nu7OHV?5o8V z2x+9)^%6IH2%JWp8h9we^1^GFbw~i*K)(yPr3sl73d{4THWZpFK4gzRT9cqeHb*Oz z(HYMbpUpvaZ>OWu5gSfAgM~2r#KwDrZm*;Q>({&$_ozf2Su0*hVv4ahE`0|xyLME6mNEZ&RU}efU{y}*Pn(ugHz_oohiC&JhDArKAr2oAG_2_X zgNd2?r2!3ZwIrcEKm#ZcU$NRG@t zhv$-p$!LL}^j9!F0-3@hc;qW_&#dTCdEBE*usXwCCVl z*b`#t$r4uPv9toKK1G;VIjkYqG>@Fb=V4x$Y!s*|1vf|aE|O6)JePf=y+1*1{`jV{ zGxZ|;56#?z{W%r{xuD$zasB>bs`>@tFgzm5;JS4<9`iylsJ~s^Rk_aS$ zBa87?E4){Q%ab4o26Y^BWPOY6RzPXEVmY2(UlW#`d0_2fj#J2*;)qI>sH_m<19>Nu zMm~3~=$=WTD>Wjm=N>m*0|G3>obl_2IoUZmQO}NN9X%Qj1D9HQAr2J^)ty7cbA&=k ztNg@GS?Dx90qjJaRv6C1drUK6ubhBDxH&a!jUtGL@YC0D>6-04cKrFLaItb0>uG45 ztC`Pw<=TK_^5d)d2QvT%IEfSdXkgL63+>6&vfBO-KyQe};Q)MTgE}X3s>6EuVe`s&q_fTY1P6X;gV6(EwB3^mI5 z4LE@ou`XrgJE&}mP>@40u|Rg^JMGF;r=;*X)B}&RqHe~!&UzTTb*mB{zS3GJTP_6i zNIT^3lo#~;N;~fUljhH;;2HBkoU+y6mKndkatha4U#2`&P}|Jl*g+#MSIoI%h6mKG20*!Xd1rjj}qFd71e{ z=7nZGAY-$}=_aIog=Z>3y*#JBS#UizHFe6E1OrHREOnjSBZh3SY^OwUZSA{OKmY<> z0cK)>^x?> z*rbrx9{G20(pFL-g}PN`(wT<2vGL8mIyvb(7Si%FFgM>wrRf9Rkrq>r_qqs{m?Uwg zWQkf6)k@MObzzJ=Y*_nXJ$!?l9v+Dgm9lVVdv@|=kE>t`_T$bPb9^fbe{NB~-%{K1 z`IMyN;YqoHmDQYe6_Ng9bgqy;$b1X<2Zi+pS1(_FQkxpv@3;EPJY zM0?;Fl~8_jm`*9ofH~r#&3+Kid2v*xhxgZj1-tJ&p_{t~WX5?+j7#M@Uu!h1o6EbZ z&7~RRQT17`V@Ii15PWLg{X+bCeJ`^)NpNhd#S!IcYy4dlXJ1{AX99oK&xK<`xffy;|5jp6RlpQDuBn?g^>mzus_n+kEb|f>d zaYV@g64wkAsFImU;m1TRV05v`6Xqs{O?5xM_Mxyh3DW3hZhrOZ-C>;K1FXJJp%kg; z9F^w0dz@zB)oLAwIS_12vaVAr;D_>fz?^Hl9vywJ*(yS95?*~kQLM>qf3|E9-`_|< z_r&~@F1x?N>)OrUo-42C^oD*UF3G@v-oOUr+|qaDtP@Cqm^OUWsQvaPk=O9FmPQ}7 zRkl9_L{4@^Q-*CXeiG=vqks52%NG=jk6>C=Y>OZ(RZ&$Hd`4z~kz2c` zln!V&qmEk^Z(5M(>6}u6iUIbUI5+yd!b+#qL9?k01i%-=6VgIL+lhmcoYFa}7MG_P zs&m3=n{IQ_UbSjfZFc1d@B((LD5bL#sV}sEcY{pS)$d2?Z0w|@+B`Ds(&jw+bcRMo zDOVEXd#&NwxSkA%nya~Q;hNr@96gJCXQ^z7`L;$W%$FKvBZYuL_wLO|e2d67{-uY^ z)-puNMJ93h_dPrEb-aw8Z9H{Ds`tvXfp5otU;b)@Pe(xi>PNd}6lWWjM;iAIJ1%K1@IXgUj#tk-m(qEQvAXfD1JCLE{c5gRd?&sv?h^UTW%rHM zH^rB_PoGJCe{VT?a(TRmnc2w|QwOT6r>{sG_qS`9wf^>dC(VX-I#N<~;F-aPYhil3wVxQDG(y9eM$>`oeiYeXd}x4{1&I1Tlj4BUt2< zci9Q~@norDhSbIWwc?|)X8*E};CEzj_%6tsxi+Ra^|Z8?u@}gTWEQEPQJExVP#>r_3&@_CCgxSU zK0UwrdxhAH$+#FQZt;%xN%&CnF%<75-e1~iwTf5oIp$qn<&XThA{B4;vP}^2p&ms- zGds2PU3ha93Z#Xcvu&;yU*ET|WlWl5-3LQWHB(Ek*DFR=*&m$g)hVfiM&u|Dz=VyY zpjZhk{xsaS%VwKBj(#0x94acy*BoY*^i$LAY|1IM%{N_bU0ut9nVC z=~=w$1sL^OcDER~k<(=ixe{3qO^_0>F1R6s>gSPm=Jsu8jvkKQv}xqZl|#jRYSxBS zU-ZDDfu@`!PrvBW#QYiod?AUC4ErIh7g3oCKZsDV{jcKAbqzxj$u8`o{atu+7MdNJ zDpZ62wN-t2roKh2w&uzeCtf4>QK%iQ*9=~34jORb+n=l+@nf8)FX%|KW>G%-e{ZG| zZm+s7$vTf-tzYiT@m(DquUkLmU)uSO|8WJz#=+$9`5;|z&I-4-hyG8GUZW$T2f{GB^8^>KSROb9_P}Is{3FWP%#h`!ga3g ziN2BZ%hYWOnKFf`C_`5gFs=96I6vfq#*akJelSh8xt!C%xY_a7ae_VV$uqjt}1EB*UruA91T z;>q4GPSJ6qds_%PdnsryCmUHz_QV(Vzn?klwb^;;qd^AA-~RP^1{E4)q<&T!yBYV`Kfv8Bt&i7e{|iX$%*{=z=bdW((J zQ9`n14dRrUd+!joH6(#PnK+uKPsyaiBWxs^VLXL=7SiTwS z&gA7EaY=`9>DY3YsSHOc)%@PwYOn9{IP-Nu?;+fX>-Nl84fuH))0{3{W zH`Xckb^f_glxWlk*$?+6*;Xq{rj0x`;}3oWvbGxRDfrwHW*<{NPjY!=a+9;NX=J|r ztnw;Oznt4^!Ny^l_$)|twq-#8RJ&DuYT3`B?^c()ev|QC?*3(NzZr*acAr9SiuL@w z3C#>Dqe>A1cihf6oWlt`0~9VKwf#y@n=D4;xi2v>4|uddq;7b1+-0%dg|E1ic{em0 zW?5KR6b}2s4_hdd^F-!_f9n3yZd1a5X0h@ty;~dJv3dUBBaMYVlq@w{o>tHKic`Re+-#S z!!{0)0~xV59ce#ui7SPLkyX{z$7sK7uRFyVe++WSFV-g{hb+2c&tJa0fMv*4()05i z#L+`v0DAtq8l0};n{c7=GQ(EuyDl5M3?D(HLC7)2F$mo2Y)Cx4_03$)2GX@n@x%W3 z8$4xm)ytRvP+M;Q_V@Qs)y2fLyJQ)EaUAs-Frdf#fqNV;0KRe=S0{s8-KEWaM;<;l zRL71VpUJm~rsh9|517S(DU4`DP)1&@}-&|DL(x{%*xCAKBUeDCbY(pb&v1hNj zQrO_*{}IvYDW{%)kNFHX>oE-o@t(|(r+Npu)%PTAP_ zun`YS2x9#2!*@#smxnqr<#7het#dCvtdD;a4{vMc4Wk(?_=J>z>$KI$S~LF8Hg`6! z>b0R)#uWqByOd=di0-cqt5~QIk>vA0aIE1_ay;cMp4bjT9DVYU5I%XMy=GpBS#3(N-U`4)DWG&!sE@|m9 z?Fc7+qr-z@(EpIZa|D_Obp-yQS#l0QmT?uaz6bl$QG7_l&Tgc&slBnL54lmwzBY8h zXGi)D)$B&e#fA)nJpqy4`9M}vgG#cJ!O7Xy59bh*Lm`6C0Dp!oVE*A9uSvj6X*+<@ zmRPrLX5i8tu7=RNN=j^jrBlkk*S+gPm{G=@D!^n0dqjqSF$MVGO|6Sz;c;5%Km`1Q z_F{T}s>3lfGGvc|FaXfP@3~nM6+Qji*RRrP0Q-@F22_GMnf+pAq$-LZ;lr`&kNmzO zA|`roVSe&Rno_HKtsxiOR{aj!(lBDa);5EuO^i5$2-2{33<*6q+vN-UfgJeGojVKN ze>a)3IJsw$u5h)mAk%W6^nNd_;$N2n;&0MSB0IpdL)0%p6X)Yy+6?L1GNd0_z+)*M-qn1s7p{mos{ z_;|v7yKL3Y8q5rghoHHHgTomoe~XAoqEk6SZB9UU&w%t1jb0y|)S?hqr4QO*;K_UzyP z<@{zF=5MMiAb*|ls2x*<=QX@Ad-FPOB;@$y>{d&E)b)ZE(1KXqGPt>l5;YNm-P5BD zQai_6>pxVRO^y!^=Pp!ppk|qFOT992zL~mBNJnr#c*8=&UC41U_-n2u219s+ie?UO zT3Su5^F8slORJ*lI8;-sDKs?*X*zN!9Mpp!whRgYf4Iurr?VlJyfMgbpYPRf(!F6< z1&o6FrSx9y_*ljoL{icbJ%oQKM6s;gf-&R93F)6IYQu(Pwfu;Z-ha2Z1>5itr7tWQ z>FHq6?^%BT5#(_h;!HVQz_#Kcx$J|lF&RAqiNt?&iA{fzr5i#jr?yDZ4~-cd`X3|8 z9`+M_Jn_TTHk%xZTiU(aHZmR+GGJ}eamvfg`za=~7A)9|;S}w_<}yC2rdFZA9;-PJ zfNr~Xh?!1i<&J3D2(m3cS=Kx(AyN}+d`eQCmU2hwpNtqgT)T)gd zH4@X56DNW+|%9#UIz_Ht-unA~d5f1ez< zWXT#JGN_-u*c)VerFSwa&#u}`C8sA*337rk${Rj*kN))W<3gsV$grETvh4?VIJTuG z1!Up@`}Cb()`ANmSRKlE($?nENQep%G3_(qWRo7tNNr(Na-h>OO8fNJnKNf(vNX+* zNb%gIJ<19^P&T7Xi^iA?e3KoBY7_Fc%lE+>NoIlN#bE<61LK_&%|atehX1#?0$HE= z^hw1AUYwNaS26Y>_5Bn0J&o8oB1dEo2~&{Fqb%1qOV~BkwbN(Li~u>=%ibACn>n`g zD1CLA%*$f7(}cE}Y%VivhI;S}ss1+-bL+)@0;`VJwo(rZ~uPA}S0 z@||7G6^4L7b8(E;X(gM{E_=g$WR1ns+J<=_#tEoooIN*_)-BE1UlS3*Fj9t1(^uDL zyoii<ah2IC6RSztT+8npCyj5c1h)V^OX~AZsN}vn^(=Zz&z5X#xW2lzv1a)7 z7b5^o$X)m6{#*Kx^}>GEL&(N|G#H`&tcQuc7sh(#eM_4VU9OS|%TV|BP7dlVv|+yU z=^SAQsj5cas~wqPJYSuQ;HRI|e}xM!sbs{jmCTPPw*IxqB4QFIKH8T0>+F(`xG-TJ zIk=2!@(*4eGk9!T))3JEt4}PIp&F|i>UGHaBsoe>ez|pR%z_*1cn?Hy6Y@H`A59z` zTg$+K%!)2Huez$K{CWzL?lO{2e6uuFRLSy=PYsRnDVeMfvgP~AQ7-VneoASXBfvWh zh_luQNFQtdIl5#{(AW0aMJCPhnL~y=z|_=~sgmndl@$6EuV6tqzh!P;K63PZ;VQ{h zs1XR)fOV3fZTX+V?mP|0`Fr55fc*Y?Li>exM-)#wJ~obMBk5PaJEk_TEIfpS8xhm_ z0nz&{zK%VM@?Lz9Bqq_@UOnM@6aG_3Q;rHZ^RA1{s}}7w{(EBG2svQaP4+SC62e zO#1a7F~Ef!SHC14haWsbjjgPvk)F4`W8gjI^{>yH(LXK|E}))O$VyKG>#cD7Gf|$^ zkQ0WVRDP{IoDUngi}Nb&?Ad9QSFXjbZf>Uf`qofS&TqE*2Kr@f?`O*)H%0k#JW3I3|d!kMeEzPrD^@S?9%)&11?GEj>NUw0EeG zUR71y0H{e{qZkv7Riu;C7SzK%uZ?e1e(dJ}O7e#dnBO^oQ|-7obK=UCrvSyfj!8>R z{g>%dDq z8B%|e^YV8%MaXsCXwH945$!HuJa#=ppSI`unpjx4;t>H^b=!^|-Npd*wO`5$8{oH@ zwn68~P3mq1j{NmS2=1!suc! zTlrfq!u2-8nQkGh=?k?eGb?M;$qAH!JdsT!&euK3=)#BlS>R(zbAPo>=x=0dsi#kS zF^9X|(zUDDv>w?D_du4mockKujLVcM2SY()Cua_rdkX4>n?R7Yjb28#Nv`u3WiR~V_wv9EWl zV_v6UtMMukegf>YP9G0tX1dUKQ)}5W7KwXl`-YI0muL3g=zF!Yr4rnbmCh|%g}JR} zrChD=sPvmOn78(Q?iM_9@sEt$+$j(Y-@kizgXvdAo((U`qeHDUWN+L_S=CS+a(pOtjI0e*hY7(1cJcv@3qIoHq2i_N?> z5mNcpOTX9qcR^D}CO+ zhF!5Wnbfep_pm{O-07dRKk7Pn?#tA0>shl>c$Q7#TO0T2;pXTV!@61$A5Q$`M}rK_6?ZF=~O&O?_b^5{&54qbV{12Zp< zzMFKsM|$2WE}rwRgDsRqq^(;aeGYkiicUvZP^gvOug6mYudE-VZ}mVaI7R8dB?MGt z@1c=Pd$l_k%i@HpE`C}m05sF*r+em1vdAkR?k6c`=tx)8xO5L+(IDbj^VUnNU>%5>O!pEhH7n$9( z1IGHHsh{R$Oom>N%+@yT*Dt6bgUc{6HvSjvF%wV{rN@+-K8A)iFpgbl|GZq)(R+VW zB|dqN=jr7xV6PJwFFxk!*|oO(0JO7h2?+^ce?>nudgpa|=L>qU&{zx(FV4Kl?&*3w zz}`L@iGW?x(DU9B3kEW6sP-kD9>yKFdw;NShA{Zdr=FV3tMDLWRr$T?olf%H26kLu zm_%A=+Pn8e3ce1(r{T%-OWk|*3jA@k(US0AYx;cPqD439B*1@2=I#PZ?HwFq3w<({ zXBxlVZ}96Rcv@R~nBmj$3^K+k literal 0 HcmV?d00001