From d6afc123c72bce055a10fb35270939bee9c99507 Mon Sep 17 00:00:00 2001 From: Zhengyi Chen Date: Sat, 7 Dec 2024 16:12:12 +0800 Subject: [PATCH] Added viva slides --- tex/misc/viva_slides.pdf | Bin 0 -> 92934 bytes tex/misc/viva_slides.tex | 141 +++++++++++++++++++++++++++++++++++++++ 2 files changed, 141 insertions(+) create mode 100644 tex/misc/viva_slides.pdf create mode 100644 tex/misc/viva_slides.tex diff --git a/tex/misc/viva_slides.pdf b/tex/misc/viva_slides.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cc0837263b2102f41559c2743902b53235329143 GIT binary patch literal 92934 zcma&MQ;=@mvab7;ZQHhO+ZYN+qN~zwyQ?jw)a2R*?Yx_nDb(`e$%qG=vO`R zd9%NnWQwBVbWHSY&}4H&gO)i9L$9O--2ckx3G3L zaU^6Aw>EG#5j8QgGd6+d=ZAK3b~G`tfp*_mR+q8EW%pxPaGxu-a-*p@L?Zx50A!?BX9`Q8OmOIO``#QXb&gp%98>FsJQ{N*J9K@W+ zrRLw92xXzKGSKYga`o}A{OD3Bc`j}UK_7_fjrm|{2qqbSP* zbJXYrkyEr|ABaqJqzfbvpmW{NWWoFLy6rg`p~zK*Dp_~}M#U3IbE=b2wx}r39ec+o z$k^Lofi+5CQrYtYpE@QUK6OR>qEy|lPQ(mmp!vG-3Wb3s@A99AYum(F$MjSTI@ke~5KBR&SBTGu^DyJKTMJS2vNrRHi zH2lfOkZ(na&!176V3h>vQLNcDE^*lNw1V5<|8vU3{9A*tDl7j-Z-N|8qbzAGjg`ec z9c%hiii=`FeP)_70&07c)|efZ*H?Cj*Bh6wuKCz5MlI zSN}&j+PSc}=0_B99peLgD5OAS%IToODG>FyMLP#5WQ7#RL3DC@KKn+wby|7Yfi@bJ z6i3{j_)AvF45R=zzFINUexpeYOml3Kb(2_PBCaV>hh%A}rm4kZ4&fdKZL63_RmN*k z&LFPfltDPU>CaqhJyTE?7)hj!V@7^!na8JYpFoP*Klbe-lishBI(?5dTvKPQgjtLH zH$Vmx7TC(^`jL#a^+b8rtU)G}!%00V{Sn<#Qkv(RgdRiVxM4hq@9q=QtxXd>qC7|# z!<^kMf509*+kBDJzS(VUW7a!6UQ)!zZ2}n1uD=boxOi3zV5M=O4yZ6Eo5kn5O`Q{P zcl%eb_1Uy8+a7G{>WZ&w%a$^)&H1*U=DydHYIzFUg`?3HIKciQg2 z9?9UX?47IQG?Ox$b!*X0)wF;~yH@($TyS-$M z6W7xOd4<-EtC9Y2c2<*Y+qo?}e)O)cPB@QZD*D%5Gp$&5)u?xQ6muy*U+QpaceZ1N z=f|3OKq7^`F;}U#eQ-HaFXI(DB%alW@Hg(0hY>Xlu5kNNP;oqn9VQO*c+TsN zm-wQdscb47%rNYweHlQT*c$)el>2A*uXJT+`}e$MV)^Ivf7XAKw{lLK?1()V8v33U ztSAcrpg>~=ywQqHV{$wR#|@Ef5Rn1o(PHzYWR;0(a>LrKE(ik&ZK-BhdZ(A3D zN()KaH+QZlVPH(Z8wiR_N8Dh-2$@W2j95xrjGp4=8tco9# zd2BJ*3Aw-vo1_WmK2~<8z=S&dYdkpOCKhymkzY)54)XNrx@ zA%hHcAv>BbWV~eB-*h4R<3|m_SrKxOy{d_&sxhJ{0N>=qJ;0` zRmp*&AXDRAyTl(ER&yg`f3G6QnJ^s}R;8&)0za+b!9P+TYa+BO6gYA7P*WUr*{iOvP z(8;pZd8@=3fw0)o4pBmAbz|n=2I$?5_Jm794P!NVhbt9zgHBn?^u1=*bB7{aOw^1U zGU^sU*Uy^2gSqzRLiphO{W>ae|K{X1WE86hGk?4B!6TTK-A|ISBvU$T5;1asF=X)j zaQ|+FUjM|~{}1vK9_jbs9sjc(Vf{Fw8mstG%NnMn<=EPfB@^7kr{04k_BX}x0(R;{ zn5*ssxDH@m3Kr#M`1{`5(V3d{O=m1TTTeJ(R5hM5lm~d?)?4a3{kwN(8W?}vV%09q zGgJ1%Wxc0<;X(_5td@+C9HG@;Ivg$Ml&!jaJ-VKEVuv63BXt@le*l>Uy^%~5NC|}^ zsZN-vhz+QdgZ26yC-1@CYJ^MB0eDx}>^kVQ1|m6G)Whjdm(OysSixW|HM4QTngJ%- zKb!Oh@45=>o`8AsF>{_-sha||P|3o##)SUUyw*wwS(&r`6FxEx%V}N54U0AiLzt<# z2Fi+4q-h&Sv!pg=14C-}Sk2ru*?6&eKh&xr<8{3eY_ejgUDY`c>}A__;i;C@)7V?9 z3MUkBUjS*FVq*Axe&yhvHY;I5Vb3~hFL2K=rC<%Sm>2-KSF1{fYS26B$w2dHX#Egt zQWx|zXz=Rx(Bt-eh#`ZXuT}Gnk7#t7$mP`iCimkDUvGAkuGObs^nzT8ya(VYzgQ}S{ zn<(e5)O2aF?%h{0QKckKWQ@}d?_%EF{on(#DsM8mD}~f7#Oc?=3FYf#0|954si`$A zx9Fv=l|I~hrtxdY9KJ^%2Koasv1=*D((614tkjn?{D;MTdQet;L1z%T7Z>;y7x`|8 zk9m#BJCUoA+F!>hYmVUCP_)CvS9Th47ap+{2 z%ge9XT)tX?a*-*FJ*C!MU?Aa2ezoK|Q~TU|r=U%_tFluL6(7C{c473^1bWU`#H#fILl zu0Oyc17*}Db0xPy(0lEqEee8+BRDY+Q8gTwKTjxMT8~LVh4v&UM3%>+E{ZTkdkHuer8nL>BJ?A#M%!_wod{=$kWh%Dv|ymrRUfBnI*nFVjI_Bu=y62`S2e6mSY}_L5}^- zAS|RGqZZ2;l$laAQREZ^&ShPq1jS4n%UXzZl2oLw5Y0~O4=YtRMuK99(nz5?cqxzw>+tYfncpPo`o! zk*$~7<-Kq0j9!4KumleTabP4(E3u9g0U_V);0YWMJ5c?~T17cr8ey(5a#l5Lm(K8$ zDY0-X@DjGdsVmTm&2C3bikM?|i}d?)*ACt6WFdi}c;DCw4lY+o${pMcw0X}|#`o8^ zz4?1V1GKd5WV6nIaK&HFi? z$%3uVtyt4j!A2bavxpf)@vatw3fnk?n$u_cXYW3CqSfV&OtKi3@x;(fYbzCjawvgFKn@ zg%7(DupaxalF!grUtGp%JH=I^(j7WKug@tOo2|BiZ%c=bC(oFgj_yMC*q3l8ftm0d}OzpfM^8$qT3Cy z1|f}2^PwzCjD5^;{1P$6hF(4H2<>rU*RGEafh|52U-%J7&fy_%M+sRChdqv;-=lcP z4SDvyeiW7J-$@JHlm~tYOUUXNYC0)V?^Ctxqe9o4`q2Qp90eJ7Q?U6CDt&$f`rrsc zqL8-!0ud+u-Co6ZfE|`@vax?8nRr`lpiUA16XLKa4g&;FUDGW4fxK^!o~Tv$Cru(5 z@kL20gA#YgQ}&J&Xe4#If3BS5deT^|n3Sa`T%tDlkbC@Wizmpv?`#>HoT_Nbo+Aj$ zA!U#?)$~0!g8>DM*C~0bW}9(GPv&n+wZK48HKjq{$Rz8h*n}SMMJQJt4%B9%{d>PH(``O~CvGsaivY_3GP(?iD4T^g;{5kSwOkYVTycJnyS$f>=eNL;` z^3p&q9?0t32(>smiypFuWy>+^#Jn7~v>7T~KWb+3Q>1ZTkt_B~d-31i%*eu*mHkaf zKG1r~by!x#LFM3^Y2t4K!<3G{z}&@yWcf{(d1cI&=RDwK-6c&|re#XJ>y_F-v9x?_*1h((a^zQq=F3BOnTEB_2eKMwHlH|%f`W%#O!w`Td^$c70n_? zCz&TWUM0&PaUYvd9?PVhtzV5j|jh(v+-7mcMi?feRC9bItA3O ze0fT{+E&5+z9N)$JX;%+0~9~Nva^pnmESdX660^gQLbAOmRZjJOHvzipv@+IFv}8! z=$k3Q6}$xda?cn16@6)1f{Xurc20ltvz5w$H?-kHQO{G%0Cl@xYm+V6n{mUV^Gg=L*AYzh3obhP$@f3#0xQdZ(gl|PYwGVo97DC0k6=gt=UHEWLS#Tp+Q-yAAg0~%FGadvxOZxjVpM#aIJT-KB*A^OLsYXb~Q zvpDD%BMAjfNXpO+=A=Xf`)KaQBTUR&5V_r>q>DW&(t=JWIPU4QNlvK!P zoU;6B`29$~{$N?SLu^NBxKRPK>Qa-NxoaGbTsbK6Dz(^60+L4$clCWb~6@q)CK#!efHo)K%=m# zp%?daK|?_3mk@qSw?VA zE5GG!^ee2WGsxKw!VzNZ{T}F1O9iYUjZt|XqLU(bq(?mpYrv~!)H*zNI1lW?AN=2Z zbS?KC${&=p-%LMwplhodql&FGWgyRXfk@=i=3glCqFR4b5)~~%)5(=_js^E` zi;1+cflUVglBXEM0;4KR;=h3XEeQW>Q5>8mF^Bj(Ac;hUy5lK2SN@MI$PdixlUzof zisg%P1VwrkpqisR!S3k-?bM08O_Nd$iz@L1K{axONILyfcaC`@Q6XlO6uaVu-koXt zSCbz=;X8xDmAQ3?59JMihBO(ZXRQL`l=@r(wH^jDNtJ9XTcw$@=eA=-iz(kyNJE4L z-4l^!V(kPVLYy=33XO*vUR*s2{22eu$tM1fIKk=K!nVb5VVyiLuI4)SU_rTBr z%xOUr>nM9*p`D=#+7FD3`Fk315WleHYNK}|5XbZGoIUn5x?$Al_d zTov0BG9il#jGLin z_E43F9ZA7*Uvbwx@fvlxBv0ZjVYPP&>uIypy}UCn&jS>UXfs$EQ0oY8bxdqZJ#2=qA64WzBy$BC?l zG3)KHdFZ0Ov7>6WqZVXRtyIjGRoquHHO^hRzIDt)Kmph_pPVGpbRie za`?3HU&6N@QcN9>BJy^2N>oGuhOERFW~ZXvE><1X?v3pXHfuJ!uVeqVy>v&ci6jI1 zHe>JGBhmPnEA=rQ*|p|DFjTQnco}PSh(=qD-+@Wts%z<5VZ{Gt7=uq@?x)N8X3H|k zlgEvtN;O%bGdb|@B=NfB`J|0pg_m*4q})iHvwS2tI|^{9*nr^UXN!K?H-vz*E_1qv z?%5UezoZry|FMEaQG;}XqhK9^EVGo{EqIfZ3Cua^U>bkmI6)Nmr)yd}7+~~af@?49 zWIAq?>+lc=Kd|l#(fBCX3`R$k9ubR=+g2{gkL>s5A2e;iEf0{STo3|Jw_y9`+`L3<`#pD$X|04Dy6bjEw&xy`z&eAtwvd z|Mqs6*x3K;|AVVvGIlr|h`l#;=|*1bNA|Cv(EwNFk}!74ecTOf{_<8tOsNt<^^M2f z7aX{fPWeFSNL{D_;KsMLJq`rNiZ{YUJT60p{fLl1VEckZj1I-=bJEFp+8L3k`@(Dz z`_faGhc4#jIbr_EqWFYJKi&E|)rU;{8jlxOTZsQkwQSkT&eW>Iu+(-(D3;{#IQWT z{D8t!M$jM;|;eD)QLpOmu0B3gHz zp|$!Oe5n$`RO!LzO4RNp*v<uHLx^g49PSbWkVwUJzhQY)C@= z5=%-=HqUD11+Xdn3)u$6q!x{GQT5mAmU5AT6$&M< zmQFxvQ5vhPt$NzyAyls0P*vZ~wE3&WyXOj=0>;C#b#Lb|x7vWMJ6D%(x8Cn*TNkD} zFW+q4UD;W5f>U8VIjLTT&hMrhgAo&m?jvVk8Mz0UW#C&f#fEmceP@0>!O@W31xt7c znnJYkNNcf%!djS{YJHk196QP##qI)kk-N}+xM7?~%zr%-CNFjF)i#%*4=;T+D^~=z z$9A22)(zdcbgQ{tlY1X~!?%xxan0X4md&;5&U?czfi8dFE3;(mdq{I$_(?ASUd4wrz7tU+0uk zhSh@r&0o#KRzQYtIzUV!SV@Wrx_>;cEUhNO8%drIxmx~_s)HH9iY#H zH-cb)z2XU)#@p->_%j7bLb%4k9!f~~`=1xC6IN_s@7AtYp$>io*!YE>TrG-k!cKNnD4gS35{)+??DR zHNUxZca(f6SbpBp^zPKc(Q0HvEyyC}9%y9`G-e^-KAvtG%Vha%@ zDG;}l2_m&sdll%UecUY*rbetQeA#~*-*V`%*Z0$77>!9_*FUF@J=v2DDTfs!3s6O< zLX}}lFr}H2m1D!SUlX*ah8h%M{AibiV?(sZ8Wf`#m7@~0qn8Ye(Meh`D~2_M=qfie zv@a>&Df?8nO0c|?VOmvW+&aLV+}$0O=uYZVA2cT4sxp30H(AP`b+FNNr1Yj-&81kC z)#~uL9&L2ctiu29aJ`>ko?c%FntSHAbA^38OHYjXMaVJTB`X0sj8XOSfFC+>e*xMKH z3K+P825;lR+@d$I?+O{X!Uk{i`X?~7?}`|>q6Tm4`X?}|XXUkUU$`yalNz!DI!0Gy zmx&9Cwr=X_1KPAGM*a_i^pCdu+cW_aGduf#?MP|J*d6?1cz5Fc10kQniv7WwxnM_1((|m zIXp^l&@4f3Q>PFA*ik9)-q*7cnS$QsU}-(z=(e6cmR{Z{ilfrb5FxuWCJ56yK$C5%RU?0OGw=0HcHHbsnD`J@# zYp3~#nMj|DMli&c6V)CNnH1W)UoZ_Pfw#A2gNqzsIp~tp5R+wKsqs3LkVX}kx!D1` z`(Z6%gG;HHcJu{d-K7k|rkZAsj-^Ea=Xyjw8~I@o#FCA1vv&^^)t2wok4!qhMWOb! zuj(DYY9oHx=ced0DMQ$FppUG!Os%rqj&*{Hl43j7^6L8X&8D$vJX?#b-e^e+ zaMGn8@ssW2HGApm=I2@jj)IyHDj7nU_{0OZS(+zK%(jOMXt?_q|p6c8pUl9Z*i`w1Xwpl-A#! zm8NG)7Ibzi^#Go+s>=cFX0*%60o?8N2LGhfUWB?q(zsfoQ760MKcF4srfOhWo8i&i zqTt;?M-*luJBwgwq^Ou!s6N^T{90pW^1Ef7Hl{-MyO2c{)b7cfYSX&Qpb6UtwKa&_ zXd!h>83d8h_%7FA`CR9)pOG)=Xme&jHMq4TB}Yx=PldR@3PqPt{ZEd3@8^37jMV&} zcFDXwslW(jo`jt}nXdl6I0Bn>@D#2O+Gt(LF z|Hc~ZDMovuM+C*&51w&6cTOYe+O(L@qtq3i#0 z(dyxT2{VWu@HY$fFhcBN{`6Q0WSgXJ3F@qsp6WH&4_nZr?V7m7+CX~)_Brz$g=KPw zjhaL}Q+*9Lc02TJn#r=nsoxOV%xRhIs=VOR5bCZlbx9vij_5IYM(t{QLa4APXh3D< zH9P#sJU`)D`{h=<%WzVVs21PIy!G zV>2!s(z(LGO>KL69{Z8IppBX`4OW@M8e@eAe8Gr znm5ev>_ECqS%vaZWNtrL&O!Mhn0_#c@;fBY&EgV-p|MEHF4#_ zG>KC#3&1q|KNQ7CON1*pECb`y!m5T{fyh@RCRJz|gVNwN(MjwfdWqtg{fDA#CR}#{ zT(jf8BJxrkC&k6&-x5|7kHL;XjQJnY_C(4`jKmAFG|DYe5RL95ax>+iiImRr_)w9& zh&hg0bHFod1(ejN+E7BAm1SJSUNSrJ!#K%HSa$+q$CqBhKp)jJv?c%e`qPnxbH!jb zl6wv|#Bq{NnqZ38P)QYhIfv=3sO%`PvQ7i~yOXajsVs$K%0#H%zXAEOFl5l8{<$Cu zCD>C-f)n~Ce^v6slf57?hZII;6aH#%DWjVCmZ?bDl;gVLKmw`!ZF3iD%pqbjc2x|O zAz#3VeA2+OpxhFsg8CTT(DXN1k{~R^k^J$aq;P9?qoA~7Vkw`Frt%A%6*`+bIm^w5 z`g5Xf&ts8)%_ynjIk+U4<;!Gcxjcl(2Ajq*KNJzVTfWjFN&{q(L4E%~SrM2{L zP&?E&Zzs8|GXKZHVF`*ft5r3|d6K=}2Hp{vwS)^wE>mUU38HF95hhDD{e(}bBL?Gb zO5UnnWaQVSiKjdD4usGZ8nTGdaCm*d?6YTwbMmIUwb&TN*H@t*qRD9fWqM;W@s7f= zXp(?>8L=?%H{aVag6c4bvSCjYuM7{;82T}CwkJ}@`a0ZIKf703XTbY=l{YZ-C&fy8 z@%gx9QL&pQ0cegoEbi9u=i1i6B}eO4jGU{ZD-3kjLfjqxAC}(Q%K0kTPT8A}>}4H6 zGYfR^HQRI?Qm+%F`E7lDCR$){xw_;yRb!M3hK@L-P=|x8B{WW9y=-7P6h5D8pLP(U zaQ3S!CTU$C_TF?E&~`a=APbY4EIv-6txBoIy6kf8EB=`L-ZM-6gu=ft)=Rs=4#N1Y zOYj{%-*}x}z;i21X4+SoN|XAyt!W1@^U4WJL)u(=RYNhF@-UVx-%DLp<3L^M zd%;!&w6uMxWHo^#A1gzb_(*k2fHtZY4#8^Z4(+W?Sd#Ps_mv(t%Do3tX$myWyMI#q z26%{Sj=weQr9&ELB%G@vI%dEU7-zCh2acJA&gLX8xE}M`yqiI~9qjx%+W2;QnBJ`^mj2g+aGhfR0?s>zohijy*6i6NXn9I&%FwHs!$!+3Xp@k# zB@N3)h%pD�qzOc?Nr;s!y+l4E4fYQ^AE<ZFkuMJ?r+cPJOH!!)76?Q$Xpi(UvflW&xVUUJw)s1S zCkq%P>uJF3a4qkV(xFshy58<8MuOsVhD~%A&HDw1NNiPpu?x%2D0J_V7jnrK&pI@> z^G^CkCOtOR00vjlB5N;O%j?0u{AF*ajkV0B%SzU&bN+WDw(GOBN(a&{U48wd%I0$S zrZ9t22e_4^ds5`&@v)WOQB$O_e$S7@i7-M7%Zl1M=RHDO-}{O^uK41+Y4;UE4202% z>3q)}R}hI+zXwzF(s5B5uDE?56qCzU(D0Lg>E3FO6P2_>t!C z;xmrZVK3mjfQvY{s6HSpi|M<6r#v&`zmM-R5i+xKu>C)yhMACwnTwP2|AqgE!vEV6 zGO@C7ar~EKelag#s>x9=;Ls!sM3NjLZf+b4+qxjIY|d_OkPF+A(rL|vc!7b=Zc@@a zci9g-p5MD|D?L#y`nlU5>t1~~f?}nGGo+?K>>$!Xcsdzt=~{0<$dTvg*3|%Yb$C;C zbyreqYPk3+yjwptt)^X9)QCkfP)}F zL*t*5l5*o0s&D4&UtGa62An?z8xO(*(2XxA?T`IELr7z#A({K*13H(v2(W=y2 z2ob&xk|T6n3J(xd(Xh(rBQ5Hvz!Su?h6nES{GtG@$#1EuA`yUz3JZg1s_21XSzDJ* zk45?m_hCz}%h2=9kChIh6P zXm97z1pL#?xdgaqf%!L*%zp1xT3F%6q8AF_375wOr zX9y)UFibJxx9jk=d_w}}Xpi)XfLhxixZ67kzbX}w4`EruZm);$XYFn9`tjlUe?(FV zAz&u;Y&6@s8qK-=v$y;k6MxnOMJ4-8)CDyF7&J6A3^WjcQ&50s=C7tt>HNJT$WNK^ zXBpVDf!R@{OUU}*W}rt9Enp(QcyArq?Erv=8ApEJY+mFKF)2H{KiJq7nm%|lFc;xh zEIbkj-Oot;8&41~(0g_KlMzV$_xsyR5|Qx`Z9ly0@4o3DY^JE(#_rTo2+#9YluN|KiqynE9>I@F74W_%Z7< z2lS020|l$4L+Jnfl8aOC*pMmW+wkSL^W3NN{X_RwNBL9d_3cNK=-SluA*1loHt-X- zvxIMa@)QSV?69pvB#{ppnjJXw!?q0m?b8t{2os<6^|L(DnJFAAG&L}Btw$_Gzd)#v z9|AqLy!C$L^Y*Lu?PB3l5MB_i9_Dnl39SFm$i%y!bNmByTL`a!4x!9j8Z=}_?oVm5 zBO}DGPi_`hdRzaBrltxEWE$hNwT^ZGzjeGHfjXp;Jp{02lF+WmphPk6_;s|VIB_9JlxL`~WK0n$(SiXp^8 z^(B!6AKryb6guMwG*4(gYf3=ISjI`eLmR z;O4#%YC8ypbO`Ih{5AvQFAQJuj`V|^-+AZ`*9Z2`?1w zY(5}B?yX!PKoX69xKYJR?g*arseGMqnOq;kW`ten-5`%q{~-K4Z37@5K{H9{yuq?y zf;X1JTz6I?kUSY};)ZH!-NeYweIpMYOTJTYjA{URZ>A$sTYn0%?O5eZdWpT?s~CvB z#;=0QgzQ}Bq$_1}X_A-9+A+*;HHR@s`it3=Mx^jJro7vZ%)p1h$=zMWa2)yIb< z&ajl<;@vFhKV_?>zTP8a_xC540}2+n0?yYPEP6eg1`?Se{C zPP#Ixq)yp0&mu>0vHjDy1+N(u&w7=|#T|Xoo>04{wGWAZ6|1<8f>jIH&;$I_2x#R_ zh>S-*gGV+tfmHb0=kWFN-aTdgoBVQvOJ#c6w_t}jxLu!3<9)!?wGlcYgO(jFIH+(# zeY2vvkI`oMGG{S34-G0di(3LySa+Y8EbW{L@NuSUu8$M0bU}eRBlcAz96oZ1ktY`B z{x(--#)l9&L&;p}ikhz;eBtfRw?~Y8ias6Slnf@ZKWUH#DZQ?0SkiY9SM2 z8gGn4L5$Xmrg$CBGeZ%gL}NI_7JHCt2JO`YF<>?5^|dOnluD<6)4EhH(&_ z*?$~R8Z_5wY;kc48EfFH;#{R>?v=U6#+$-wbP>|Egn8S}-s?gB8FVZ9YCz!10vhuMC6wkj^AH z+sDQ2EQ%G8uw!O&_OPb)-gUC-|28gAIBr8PKF@dmX5o6HoR6tf0aP|aRgxU~$P~xu zcpT(j-FdwuM-lqUyZq`RPs`Bh1IYhb$mJ0g4*MI`exfh@k|1Vr?o&gi``a)Jwpqvy zA)#uf5JbIivDd#uhFW85i3~I5a4w&sQZ|59!c~pQ=1q|z*UGk9Jd0Q6^M*Ka{r1si zYX{1w|5)Z@DoN1*G~h7v_R(h05DaI1$Vz1Lymz&TT>Plwv(ls~7;9WtcwvL2sXpFLye5R71(Z;1!F1L+uQi?R!C5$(b+rwy&B zt4i<_%C~0VUOh%;6lZ7N_(o%y06m^l44=28!@-IBJ;huZp@x^S-)~)uw&T8lJ|DOk zSX`)(*nunJi_!s~n_s$u)GcXmZ5C?T4gw8wZ{vH)H8)IDgn9;60kQT+Fgnh(eeEmh zM-*ZQ1Kl*uDt6cQcxT^lOb4zV`~LcUzrVkzqak&fY1dK~!`53)D(xq;XvClHNh?d! z@c0zG^B8smo^HL;j+TEV$`oee$|yk!Yu0*rq@?WLMJ2P(6JVQ*_fE`NLPZ)l#9=-e z%BlWSD_bixNQoiKwo>{`wsD+RQ>(=eRdxkPtCN5F=*dc76*$7cxsD}JT9-JYO{m+x z_TyssjQl+2a6g;w@nlCpWxv1~QjM5sYE2o-Q{C9St*hZ9dR0q{-*iG+#LN0$wXk&H zkG7V`?^=^Oiy=p6x(b4V%yS!3J=RascR0Vc9(#*Qnd}BB--F&C2ns6MI!@xp8M1xHqQmo z@|8trJ=QYpK?E@&PTI%IgfpULFE&eN<@u|CP5*ogRTaEfa-!|LI`db9Ju+@$-PG5} zoA!CNOfwAqpubbsiL-a8vu8pIfT=mE?wK%n)~o2(%k|f+fH8+Jj(6*ALdJ>c)!`Rr zUW?j>H2-;}uPpp(8Xm-1z5E% ziNbMtgq!UU1=-YO$c2jE&}1Ia-T_9tuj?=lw$vX!7h}1`GVnX))i8O<&0j zGRFJPbL0C4RcxC23XQ#(q0}SVl~A0AK|UV?s*Ys3&ibWnZt4K}_Ic!oxQ6>f%pZ{E z-Yj>fL&!@~`HPz^SUwh;UGmN?G)OHedKzC|-L2}whiOhl)fSXq27mIotm9G|!V%p5 z+>~gfYSZs;CxoFZAviwKGv8DooqNR6?9@l?@haCt2s8BDR(>}9x&bWb2bXcZV7W{pOyCCi`(ThJw_0&A(uE2nb3?!MidwB&7}BqD5K1Uh;uY zr1t+50ZZ?^qVW3EiPB@ZpefZ14fqRd`FMG@B(?O!N2|erBx2x<`VezF)R%QRBt*~$ zdnR_?DB<*lFJHwe`&JTA@n^)nMQ$`L48kB5-t2apK-U$^u&Zz2ymyz%8j+-|*+i5k z`vB6EEEU@mE=QTvRqj1ntM!UFDn>|*2mTnILGRY=KvYh2sPkM!A>jmJ@?D{F!)#}= zHx5zcSTuQn?M2zB)d4-`!M21tdMY1%8FeRV>*{YG*av>Qvr}?z{?4)VJ3QdQjtD)p zyq2+>4Xv7kft9GUI5UZ&$nCD@tTMPzvLih&Vc>yI5r`C~n$g=u=*~AgOqKXKG*6+t z7qf^K;D;z8BhbZdC;kG9*r0jakfTVb5*f}0$Fb`JohGt0EEy`>7^9!AJVJ|(=0Wzb zN{`JUn{lmK1HKMM#W+1RbSL;Z2#X~lJrIUiYi($%ehn@1temJ*6ciXXu-#{%!tFe3 zx&AW``~q^N#ev$>4t2MY!!3s-U>rzuZ`{X-?u}N;$J}KwS`vUiX3ko>@x()Jj{G+v zNt_xLvZvEw@BMe+N4xRywebv3pIl;5u{JSEpP4Sw(pxJLX1Waya_Vrq9-G-8+p_B? zu=H78-uR6!y=M@Qzq}t0m$9`Quj$526t9^-R-2_WRWEBmHmOLRAM)%d%FDjMlH@IU ze?02FeFkXEw}Vp>m-G?>Q0sYxNfd1&*Nl99*IbsRlg77BLVR1-Qd}o=)TP;S0sno})i^0wR^~Qi*+VYRLvx}f$=#T*ez~B7PYwcqENNW&nsblpXCd*`CaNdJHY9g*##ui z(T`a{Nprhk-%aFX3i6&^RMS5w`(`^mglMY3i2GV*4u3LP7OnpD7dfAGcFPANqdc;t z(=LGhdO=1osW;rxpwItQQ!$Qe`7?^4DTkdlR-4F0giRa=qijqb7`k#*WzV;H%NS#s zVLtr3X_P^j&!A46YM&>J)+x?qRai9U0l&He?%j@3qo$d~GTJG>HT#|mjJzeb&unjc zMb4>Bz-(z!q{Rmt-TYuM#$AjlH#EdJX`pRfwZmuTrI9=3Yjiqo79Y2=Zr4w&rk!p& zB8^u=z)Fw|lV52143CF%@J%MBeSXixuk@+;++iUNF+763H7TLJH=+kj4o z;qz>$=$$r*PcN;NjK5&S`rx)BPI317=hIvIt(4|(uZ4lgdp(gEr<|@It2_{)ul_E+ zU0N81TRr_Pac+7?MLY$3@Y7TKgDJ_X71%%>$zi>GtXXdf3!EnD4G#avz?lNu zLsZ1rb0D0`p=qcx>hyw-t{a+~^BBRev*QoPjy!u=y-;~wkTFMD_9eIrvgRGQ67STF z2ruN1@=BTBrlA8i{BW5>ek|xb1c)U+mH`>EoM&Ody0PAs?Lri30J7P@ozD;y{3=(G zZyLS7MOzUml0)kX z!_Y-u(g{t_Qae55R7{4BDo`oVCn&De-58E9%Z}cGdCaY?k-uVN&=AL2*v$53;d=*) zxY|E>To{L7{L`D-Z&29Ec9RBqNo}3=iAMZfSSFBa{yahY6}PfJS~zU6?lEG#lDKMg z+%{!e;?}V<*c&a`>}$Gs}t!`VP=+_h7U|VhcAMpWke>e$ks;5+MDajH$+Apfx22+N2JiHpogH9f!L>br;r`ReJJQ;sQ*Qrw+|M#FD>}n$8=fW}^6mX_#Ueqw5E*fYmptwtnV3j)lkFuD9f@De*>lkoAh3m#pPu6AGm^vmj#z1Ci zYf8U`+v8!J*NE5`+Hr3O{N7M=rF9jq)`(lf0v+w6w$SCSzd|uEyQgB6(4<6PINjraTPZo-?_18BaFPX(=!{VL&N?OU=d|A=9<_sK)rxrib|R zLNr=f!*iYc+je|1D{yw8VD=3i91E{?zJg~sCy?=Uj>y!|OyL4iOGR9a_(}n6!Sd_h zu`o%vIEpua+udHG7Wt$t0HsP%QgsdygO9xx+;t!$CA{8VVAu6Gwe$&1X!W4~vGt z=K5|NiT=phH2KV53>IKvY+5KBGO98qS*uesn-pk9WU6y=pY_%}X<-|r@(_to*7Do!iz>b^z8U5#;&?i1qc$|pX+qP}nwr$(CZQDlwrs+e|CViaeNhX=I_gV*L>3-s9iv-xyl%y(= zr>O0~LWb1AI;k?%~LFaotcThs&$f0+n( zw-D8c1ruh}Caje#Q&h_GwmX!g3&!|*xXauB)`HTD4E3zsX#iU&DX@3qQm);1;$jsl zJ6SAECxTvY)<=Hcko(QD@3WL?M8E>(>s;24u65bX;j=dtg9`6$i>6{GLW*z1o=e4L zmHIH)E!`GbK$&*=4C1ti^YQILPhz`OZ;lW~I{C5iSG>~84^0O%x7hgEBT6L_iqA;M zQZVbN5|2cEWUo+rwsM(-E2`16PL7VwmY&*u!?P5;X?M$=ZFjzm@`le(MVK9f-oPqD zUfO6H0vf=HM6eDOwCdf0fS(JCh$tz>YDj`^=wE)uT9s%Dah7h>4Q>-uO93^L3#?dJ zO3kA~$4K%^UTblo_1?b~*?=S7wQCBiH{sc;x+#2zw-@(&vlTb3=2T+7_VW%Wh;pta zT{y96XazR~MbqaBO=GSdbTc=FZldzMIlc{`wzZW1V96VB_I zZ*e#Jkre!jQX=1E@UEv5q(}T#gHk+)$H0`FGPgc;>z}}l1x^8_k$`2BSr82WvKhR7 zy9KCCMjpxE%~D)(z7ENv#ADnh^}mW$^@pXS!LZ^w`#reI*#mfca4DD^TFekqb?=GS zy?7H922a8o@z8v6_7P~mEKZTJt^64%87`^6`6mcP=qT-z>h_VMUR|u9oMtCzX-29c z$^M)o$YSCQ)iD%>T{d-PE7ypThrt`eEwuRq>b(l55QPaHDY6W+HNyH{p&F+PUJ1r4 zS}7#xpWkZ5BNryBVRp#|DhSc+yPb1_E$f|{OVX}zKa#fnC5~S1qqSpq}-hZ<{;&xnOFvaIt3`nfG^%*;=5@l5Ps& z%o-U95?uc+`nwD0DE$`VV51UVw9f$MA$FZ)Qi6hh@TpCLs>ZoK{VAi``h`!^OP3bC zIKMshl^=4W!l5R(7xE!ZJffc6jgKC#A_a|0H9Is9fOWn3H)0zbEe`s^HOd(Zac!@8 z)ZQ)6^TL};nD)uQhoF$t99>PBJZd;95*bMp-@wL8PvqDZ`259!!Bd^`!Qepj&QgB! zVRQZP%4p)P&s70KE>X8Dhw1S846C8)v`_T`;i8#410?tU(*+#scvWD>cb~dolfOQuz z8!cinP}}ACh$ok~5^CQmBs70Je+6d;hv*>TY$A)2RpBy$wc}Io(uM`N9T>;4LE?Fe{TrfVbyV5cv!d z*QcoCHiQ3Y94;-vECw98-8qcre1;TzIhZQg5PeE>0Fr~})ewf$#6{wk!`5+b&n%>< z!_*1~y)~$-Gl4T3gatd=-6i9XvJc_O4KSJ$ibv)W5ZltUHR(2$>FV4=F-`eRVpWNl zUR^tmXRd^0jhl?*IIVR1S39jvpUv2O4%*u1PnH@N9Tb0rA`BizL1)SEV5yZ1Me>cZ z4&WS*hfTlx6Z1gLxsy~Bda82<4#{kk3meXAB^&i%&MITEOP+2C*tii{rt!4C^8H$EIpS*H z4%DalYfQoS7{(G}fz>T76OQ}55aG!*u zYSobn6Is&oSqcxi+_>?qhC08q%)G`5`)&noLp8p8a5y!Sel5Z|>BtzhCTI%UZ=5>4 zOhhwTConO~d9oHxQu z?&)V7?JMWT2tY^KSsfPKyT#6C&1iK_7|Cq$X1ZR5<(lXE%kM%%L6dAkLsuKd`6G9K zYAyPGZL$^5ORlnKX+8q`q#Wia!*fFW?6+-b#4hgE(Ty~I`9)y2xM!p7uGsUs{hdQ( zD~uDUv%8=>d{*QH%6}#1Qj*`Jv#KncieZE9CV?zCZml>lyr49gI*5E_lx`_$K-Y9< zlc@iw3gI2hr%Gj`A=O;d+>vNOP0u!^m6Ga!v6)A1&`7?xRafMUK$`?#1SUizZ1U>D zb(8LF*3pQ33*R|-)NEfnTAYPc*B%JZgmI?6R=zy0yAI3PwCL;eQhw&JMlwXi;GugG zvSSrj3V5D^bk$NM!$@ZUsl0$jUT5_d3P!e|br!%ZksyRzOQF7He}HM$1bS@(YJf zLr>KzNM0AZ)xF!*RJlV7)+_S})kj1b4BH-@Z|(g9VK_34_Lu`7aMZOUyBc<2jZkm1 z_$Max5HT2~AcsBwV_r8%ii5Q`khw-InTM=POVLI9QmaTr@F(iDlkxW*sx`F6j436n z_kblNKBMABF>370gGarpLpn8Q`|+9@1^$Co5lkvcvX+LJRow?!OU-iy3o}k6`LIOs zG6Y_IkFXkTV?$&`9!-C6i^__;zhE-|Q(lude1b%580i%B{ZCb8*ZC~65}jbQ(I`pcA!L>k&|FU3tdXZ0>2Bpo(LuUwx|>FsGOZt z%;z|y&w~gbUhsU+JdRX*b>B0!(c`|)gN+kq!iv@#ON0k!o%6Qie(mj7TZF(jazqL` zw4G|IP#;`xJvX#)GUB7`!@I}c4*7=8{2HkR3p}{faK#Cct1OVbx+dqQzPebIaU)#V;jPb!tT5sQKxUQ9@E z#@YI2C$@LLKfcf#5C!ooYoP))&e2!~f!);OE}T!Wi<0txy>>!NILY%zM$iKRM@~K- zg`~un+J^+i#au6%n6OHG!%sra?=+m{##|M#(v7PKE23tB{B(vgk{w9w$}qfj59VHb;*I+C1_zS6jKM`E1~&C>M!e$RU=3(bYyde~m;+>#KdExR}&g_L;xhu<8{wNHVe` zjir4W){&d3t*mQOB~m_4EmZJ>#{}MaZD$2Fr;B!c9pv@H5oI3!WGtp$EWI6^lThmJ zfm6m&QDbN#`mTeNGpTN4Du#q(S!Wlv9&;L0;QKYY+hSN{|6V&P8PglpQ#>Z|hIYHh zm}9a|OmwTP#&v}%e@3;WI%6;aJayIN{_Eiw=-ngeD(;~HF6e!jV;22q$4OqQs$Jeb z=S3xZ!*Iy%B8+#k;+F0UVRa47t%w5t?tA6Zj-=&Im9EKQ19vEnbb$YWeBFGAa%rUN zmYaEhIa)1Dhf*#%o*J{HgZ7V-ol!_eBUxRe>=Yf9`m7Ox2fTC@Uc;(e3L)oLRf&Uf zQtz011;d^JqG{kn!&O9b8~aF!@zffnnDSL)c%6^?+98{8+1hfeidhQ4lbLTZOI3P> zTUf%s2)yItpEKj(Q&a<#B5lSkwp?Fe*F3nxb!7VTNX6{uazgz`4#Y8UE^Y)vBZ_r} zwB~vmci@oGzTiD7U_o{%Q(cDZ0OcZpfqzh(nS+Frlh-47-7zl^=D&!zYsPu|T-BYz zwUw~~2NZiL@yRf7!cVRQNO`UhI)90k*~uvljIP0`Kp#&(LP2IDLfARH(-WSk@oArw zmQmXIXVL*}(}eEha|(m9H=CoP6GNcs#p}x@yjk|4_lSmlALB)l_-sF>y<1HX>M))?Eqd&EB+Sqwy>25~`iCYeSr+{VkS zhgkeNEYLQQapin6@3K$K5$>{wE(QjUY>HZXi&@m8B0o`0N10U7tJrm9cN2EYSVrLw zPqVrTDC^Dyp3ce!XG6j=qCJ|KUD_KZ6vk-PhsWt?U&78qZno;C999+AJ;Omo)J%$Ef668q~D!fedVwf^2&QopJl}(GQfo~3y zO@54-lETR+K74f3(689ug{|b8XNU{QCkjjbiwI&dYEy!{ItqxDf-Ij@aB3Ac!vde6 z1$C&Zu5Wl}6qIwE%8JC7`HoX5DrppL!6j3w*|-;n+snxIUmF_K+;c4~fk~#ey>m-= zhDALsCTC(pgx+shL9+hve@ajzBKX!L4)7h!Q$S@KqWoof{6zTec~awju?S+`#52Y& z;ipE@bT_Mx7eJ#lWnFo3GQEKQW7o~kJN7bBr^P039ca1ecFM5}1i74D*^ua?1XH<4 z#J$1stnG$!JdM}iq~x8LGX8)@G5nM(7GKqhRx_e>zLcKLseFJ=Shg=rDgE49f%n)cKWVqMK#C-y!%J?J zhjz{q?FTk&u&gT`_mMVHN#Gg-k?;R%m@*=N0ls{t&S^5Wu%I?Y;`nt-)h+k~)5#eA z4LT$MOO&xmx)KdPHNidDj_8JIUd^X5;A%1l$>ZZ$?ngeveSQVO&zts$e?Yac6T2(W zSE^DEk34)aevemA{__ReTBJGLK77rRWF6zAQuv8-DVl@SeLG8w#y}v#nj2pKn9|HZ1y}#wU1KKtHiDI`bxu$a5PBAww^tuo4 zr~Awv&@bdOj4H7>cw!}Qm&np4Gv4o<6-cNVKBmS=NY^5fenczVh;u+@FNf79tc97h z9efcJ;kbHS$fMa?zNI*RYI8cWgo2hDj{Q&0(y|8ACTq6Z+*&J}gX>s3(6@?ssl%sI?Teq;5AN!uOP`Cyd4-C9N%go#6r+xXebmIctTX8mie&n_4sQyl` ze;EkWJ0;slw1qWW7HSrWuo6vTTD$DcGL|%Wiw6~0=HA;!G6pCn%IyaNz+-B|vXN+L zXnV0#yVj{sVI<Yw216&lR4AcHoq6)> zI^@L=x(SV?V*GOVG6Fp~gJ-4=6|Pa-FdhkqE)EBlsqV%e)w0VMi<70Q^ci)RPf&W- z%`7OZgQC`?3&X3oLH}9!LW=K5cAjYOclGEeFvx9nrP8e&?xWg0qan5}Wz8t(`+7=C zR=wniynFBmym$V6>f;ylZ@M2L#8J0L1T$XOp+u=gQ!Qc-b<~}UEE%x^oQKaPlGCta zb44fB^Z}Om;v+pbhibJm;O4Dj0OqPV z`*wb+M*_Jf<5_FgcT9*Tt3r2Zw1X|f#RrUW0J~Vss=_ixMpA^)c*n`yUGPJ!Ni%G; zw57{a;Fs$)1yIxLQ_ZoWpcVvBhFS{}a=8Rn@EyhN0h3!}2AoG+99qN)>?zNF+HX7Q zW|Tr@&WS8B)x_6g141A#*arNN;hm@TBV8)2Sgh9EyYxQi2EH|?*m3`_nYHubyTXUV=>CYMgQ6_|ptpE;d#_)hNY6**I-^ zQ+*;nT>Blb;%_2+TsKCVf^)Ofjk{mIr~IRa7kx2jdMuqa2Vd4YdAC|mK$198BvIt> zMxn)*_l|rbI~e5+RbPG^WRYC=(LFYTL^xf(>o{wN=N3&rWjDcj9&_D{QiI*Ddu*{h zTI`1W!%(0fX5HX~UW(#X8(y#{IqW$4Wy zD(g+Q4j-^N`nNTB6VD~Ovs>h>Fps^2O}V0dhn|Jk*Gx0WFU5N+CZiwbv2H%Rk3MB7 z@n;>9A(Ou)`CGYh>meQP#D?PH@sB?Cqj&`8$4)TjqHq-q2m?-E zk4;7~-FtjqPB5*?E-9}>Pw_;7Q2rBSuo!1rag*~9k#9Mtax{iyy4ukx(BU4mMwRt7 z{)DM(7_DMmR`s#Ri#G5CHyAWzEKRB>6s2~?XKzcq{D&ceo3h@B(IBa$2a}?!G_@Xk zZxHe0;AjJXWqU^dB%2>#?Diz0G7&a@Ga-<(dM-Rt<*jCpM2$??&X4}eg(4k-DK3ek za6^P0L>Hk{UmcQ5wMa3cFbX5>of6)U6MhzogEkK~(gnVdem200iwLH|d{dCv!ZE*ea za@%epXahIvZEMm>E`>dq1LmEq@<^o;sVRU`lNL?!q_%~uKjb>T6oG9yjdoRB+>vWpMLN$!j{ZwUE5~-77q^?=^XQCk=j(t*L ztT(ZuIwd87DP-K2Rox?vt2j?N7(sEwSc81Fh2SvcNr}jjBz`N5nGTDt|B6uJ$`mN# z#8cj>r;1@KyvMWe&thbPzjywCTo5z1I>v^YvE(ITs0|mI?H2N#*wGD zQM<4*P~=m<*KT@yZd~Vf_idMhrPQt3#U)kH%f@aZDmS24o#R{?BR59L`0b4(y_f*; zJ)cj@E?Il$Ws9vSOd{M}NUDS@i*@E)@s&Q4tOg>BZ(A4rvmvwPise*ZkMYx{yjhq* zHFDBNN_iBaLu}`8Oe75}8RX%7zo3vNf+{Cx-!?8p%#Fcz?M-rET4W$n{^By{=)4Wv ztti{&Uyh?Jfa(y1XR5l{%kX(UItA`OQU>)H?ZQTOmlAYdzV7 zOj4z^ZL(!iPDW#)LBL)%RP9DQNf+;O~)W-Ox?F>u3pAR%sISV=b#-& z{TFC>%jK9U$S(`vZW-$icbIC2aE0Ywp0OKU+=vGyrZ@^gejh)Inb%#LPe6SFIi-?8 zxwR8*$#X|to%w{^eahkFTR?dN{MH>plR~RQ+jK0ZP0q*L#`5^#qpN2Sg!6=@z`&!G zSnmiU+^$FTygdFFU>gzig;*X~KM8$pj40EFm>7~6FWPt!=Wf8)z zUaLksBHH71nQ9*$2PNA9Iw-M`HJEQfoVflAMQ5b4kCwuq;OPft2{nW@3aGwG znh*L3I#sKwcA~-CD#nV@hfL)M$2NP>TY7zXJX7z_UdCA~7QZ6KdK9-9e?dBXX1VR) z&RD@6h97m2ixJCBjb=x9=GJB!ohVB{#hf9Y&W(5#$xHow)$94foIH=1c~IzXEosNw z3CdNhJSUt`p<`%pLe=(2T!H}qAyxdQTB(8<2@!Wp2ioaZnEvpt z&CS4{80sm7j}F5*HAC*-t2kgaAOQ7(m$-EJJcWuq;mk#EC&FbiD--*5Oz=d=q_ZDQ zjph`;_wRV%U2a`hBN3{HS4=Kc5#10nf7>u7mjxtU9|nW7=ILES$d?BAs;i1mYH$R( zb&8F#Gfp*7bf=NJ;f9#mr%PrvS%t^A`%pypY=2!o6GQDO()J0Ya~dHOiF%Y`n6klN zg5D;)t$ztmRV7?4fPYGPq*m4~p5Z>V-uW>xONw@EBayNq(_Lix{s8Q)o~(kEWCvo+ zyz0V@lmgCichK~FQhKyz>NtPkdP2tr$>ccKZ^qGEiL2Zd3Ex>s30iUordyH4jAhvK z$rxm=47{+4_2_h62A@%INgZCV{LZ4(%ha896V^h1_-a-vunA{Z3dZfJk-Z)m2W7O0 zxm;`Ib(-M^xTDJ%O)ckgvI(jb6u}m0Gh_5#b6Fe>DLkaR5#OSHSJSFqN-3ea5?ll! zeo3ww6DRm+jXzx7iJ1LZKTGkB7ISz+Sou58PbtuYpS%U!?(JBFmmLaS!7=Fip-0Dg zOt28aJEfnMjA<_hk^|?oDzN+EN<(^6Fy!AIk>r`s_;z*Q;$t#(fnLd7rCO~?d6FIa zaPJ-#%BuXpUZ9;oR_2Ra)*m;e^8<4+r%Jn>)MopCTACh(`ADB<`zyZ<2-Iuq$$~zn ziNs-iDY%9%<$nUBQnIm#9wPY@dt*o_u76UL&`OgGSW4UqAg1T|2QNmhP~rE;cv)4P zBWgr}AB)=a!uu(q97|VSmm??A9#*kQoHqfIiEe9o`#DI!aV3t z^|)zEv5PE{-Q`LO)5FVL*PZ_-j?%hi$Id(e-K&glD4nwZX4CSh9F%%c+6Zx>dU{~z zZLMZYwkR%0j2ngKXMrB!yIt-=xPC#k{G`bGY^d+VGKd${qdTFCJK_jdu1q6fdTw;f zMiqD(DINYN{C(DkPxJva2+lf*+PHU zYeCHSb=)4uej0teKc7)>QLQDMhtgu;vFvpt2@pbtu2jx}cLJ94iS+Lezpl}V;r~S~ zvi)CrkN>DehW}}r`d_O<{-YKdSU5QT_woOr78%(X{};sm{}&L(w1O(5T%xhUEE3wt zGdT~<@9gYw^v}aE3Q0+}`HQoOmlZaPyQM8s<}8l0Vd++-X&VK3#j}_3WAT z0n?UrqE!W_G=ZwGVgebR=mSFm6)QJ4v$F&86QE-wj7LaFRoQ?$f&7idN>o9+25oW( zf&7KXI|2vk+h?&rfWa#}gaV-K-~!@k1HkDD!0`$YAoN3mKz)^q_}2jRX@Zpp zX7~R!kA_M>&$qS&{oc$wwuX8HZubMU4=l_g!2}E{Z4;{MvjKcN`=;w8Kfd5x$X8|B^5BqxtZ*gvN3J}=Hca81yH2zZo<2A($Pf2b{ zLdF0JGWblA4W8S{`pKJe@n`oE^!^K~z9CRu?c1z(bTe2BSnuczLM{G_2*_ga z+p_Lw0Dwn;I0knF?ym)?Pb;DQssnEB(dqZ&;PA~j;CcV(WbXo~KCtosxvn0#=S%OE zj|ay9aB>3w`uM$gw+o&a0IY9p3I?RcxxT|;e>swy{^C};dzdhC;xkT9e7r>CYT_fJU*119JngWo?o0Du2+ z!*q$?;bZadQ$i(JodpQ!+ZY^s#vjG|6Zb#J`_TvacB54>YquW&2;Jjk1A7FZJ?LZq z&0G0ZoBYcg_fz@kyZrXUoap4@{5>&y=i2`}0_WJ^@ccstM6cz7=>?&hy;t%7wkyYb zznf73)Y|Ca`l(X`1Pi1O0vR5C*b~?kFuCdOSG{y)klN~dd2G`;TPx+*6zIR4mG9EC zgZ57WhWN(E_wJ#=-M<4zp_}Z})_;HfeoJ6NkTR>%vl^Wkf(Gd52uXlAF`gSSn<_2($(EE=d#P`>^WIGJ2x@1EFsGs_d zdf)eu>_epY*ZE)zR8#mse{cd=|L03A3($3HHw>!3_8HR-c)i(&*d4jsCk_zH|3^f} z&K#cvtsUN%o8)J-uNt)nF}wDt2a?9!RnkQ4J^j~U@ATKm&hbc`LSbbkkR zkN4O6y$5)2TJ1NaH-78(O@DrU`zpr%ExfgNHbicIbz=w}`i%(Kw($daP>lQMe;=Fe zD+I^B#pif%2i5h2kKo%qbvG3RkM%n!@Q1W{hrwRJ_wLXy7xsG!?9oyX+u#DZV!Z_x35qdKWIqWxb=!Bf-S#TJqQL9{cs4e9j&<2 zg6b@KhcB`N4 z^8%@yX(;dk`Hw5JSM72&9EJz(mgT+DEW)9p!(=3(Zx`kCo9J}o ztH%?*^TlS*=Z;?QyE|G%QqO~90_uD`LHZM-$CXN7b6DAY`h`MI*A2`|ZMn^b~Q#cvj!-Gj&lB5x-HGznYl~{<#P4Y8TDD-R0X{YK78)%WrJ-L?vPP z0}tEg6L}h>HCF02Q%C3JX3S>I2xTM6*@|VA0yH#&kTq^}v*=-sn)cRR?~_~nY~%Kp z`n;XQ2~sI4I~O?~L;f2>HM?p_#tZ$zZZ|o4cD6<>rMN?}`6BZJ^(Whx^*g<3vqYfVDEhWo~xt zVIa{LRVW%a8sf8lZdA&2rn;`e#w|ms3kLqQ5O0Y@XFq$x@cHGs#r;CppRfUFAt+jp zx|FWWKV3asZX%W?Tt@vF-46VAJbpGQo;vP=m{{>bcC|h)j%&EO^7Uqs>u1ej2S)Bjr#i z*rxrhf4EB?$ux-J9En?@_W-GsMyJJ-5sy6vUKuVZrXdZvTS&@IP6HP~ch+&Ou=w}Z zK!Zz0$jsfi!%W&@Z6BCyz)Rrt50+51c(md*mgJm=lDMO&@V7?Sa#n}%Z7u$Djp{g{ zg%?yLlx`*u7Zq*h8!f?iHNRZ!eE5tMZ2{3kwDd9tYuFd%Z#L2xi|Ml(kAly$pR@h# zr0Ai4*H*|4Gb3lshR2wfRp54k`U#j)diwC0cj#ShpmYSP%0<=Xbhx+tBl7skl{l=b zyKP*ymZ-d+b3-)(5R93{>352n(s1z9SphxvY*9%s9m-@4oWiH^c1KEaNjtz9Gdd*_ z|EvbnxsBUSqsnw)5JZ&2vz10~Fg0C<0i0MIj1tTRdJ<%=XpyDNygRMSJ-i!Vv^ zxp_MA>VS6eXOQ=n4wQUe#+LZ`T|Q%Ma&;?i&1^xt1kmX7^A3+t?S+|-+)6>kGK~apHnc_a6zpYO2tiH0k+nLe7FFJ<#}aEpNcJxyXN?% z99j9#9E}@?@%JJbCtd7M8A(`PuBY309Cxdap?SmlQ9yFOKFBq~|DnLzB$hZRff2Q_ zN{cGl?aStB1GCd~Krov63iR5d6nTBaN9L&mz7x?0BxWXFQl|R5z{e8aqK)!6HT~~& z=ZW9+?Oyc6ooFuSG$abuR4FSj@X3juW8ze+KFkBVOLJO}UE1o_SMvrPAF-J8t5B9K zJNe`H_$0RL#i91PD8id8IpN@GaQYIHPSq!Eg*lO_slFaS4dJy-4SRkRvU+-2CB|I&1rcK8YqM-%w?l+@}j zDAUKlmfN|~ub~g6h9CrL6Mh}H;<0Jz>;uh6T)v&|Lj^ZdsoyfHo`5B3@t>>V>lQ)s zY7)WQuRZ<0G{?h_dqt-J>-Wrh?xE`zr-&22^lBaN+o zEXZU!4%(!S#RRozl9_=RHxIlOBYZD+-XgB{S7)op^Jft4~?SrM~(t`8wnM+6I2Ls zZtbXM0uv_^q?R&Q|08>gfo3Ke?NDKk1NCu#A1hw8uhDMq%5l2%BTNgB3t34m*_W}n^p{q7uTwHhOW4y#+jYiodWT?PuM^{TiWh9+?v&?^SP9ist*G{FZs-!oS_|UB9n{m6HP1DznNa`hrAiMu_lDwB}GwA07s5wW?e+ zW~YsIArk1{y^kM;DQuxj$=fQ_W^&%MTSiJCYacn6LYjNY73Hfe{=(Z$y+)roxNkAr z>sp85Hrywtu>s6GI&v>eYTc~fUrA(LiX3sUcnrdlUbg| zncRZuYDrF5rgml>l0vOt=#`;nX7jfH<@a$bzQyCjI7?$9 zWPwN4c5So`9Mjv5AypNsRI5{!T&0SlDzI88y)>DNls0z@C8~KDV!rCe3!kE*jGM1S zj*-VRhrw&&I;wda?``L5z%5?hJ2+f3gsb3i3#ZKugWR3YLm`3Lb;_TOwhwG~+13s{ zqEgxqBD@LQGWjFUa0Z{BAeGzo-;2J+rna2bA}J&v5ak|G*g4g-{-^_sFoZ1J9k(yl z`z8jCafs3*ZlL^LtG2c;3%Rl@BE?b;FabrCi!{d8F}sn*ylDyhYp~Uyk6^*CEvJb0 zs`<1ojs#4vEq#~-hszBTw3`rn--NHDS=)u>2$NF7w`8DApUV%u194pZoEg+*hgPek&VMher57& zlV?R>YLnD!?70I>Ts96RZ z`Vn9x_#Ow^W4LyAXA)G7K}cn27{g=Y6b?lkt)QdaHm$7uvf)ldm#F$yZ`^!f)(C6 z!opiA)EsO29Ujle(KmZ|@x^sh^*EQQ3V0FWAPU#TJC!^=fCLE>BD7xbyHu0jtWd_o z3?w95@fE8&imGS;zlECp$78gW25Ya^YxPhO@k~uA-#$U_x&YV(8?dztldAT*nJ3R% ziqHf>@ueGaPBm(jL*^2Dn3hh_AQ0?()CK>%caa2U5y&7cq#x^U}E~0S3S7~ z$s^8>T$;d{0v6I>4UjTM*@;d>f9mYhLQs@xl>3TA^}h3sb0>J)Y^TYEUvb4gNc^h1 z@@p`fPReii3z^E3^E|rCn6f2`JR~nveaME}kK`EKxFzI?S^6fSX z{&AOiY2Hb8<`&t%$ZtH9JF%QCl1*ZRJ@kkfj@ zb*{*un5p|oE~1(iGw3=Inttwh?vA}+Vv5RiI?r%&B?d~mHl*7h$Jw;8ZW`tQd=EG0 zj5m`VmrZ~Ngoc>SOhGsa)cz<1LKb`+fWD%%OBj@uC{PNFilCHN4V9_i?$&kQ%^?mq ze^gMy&YF9*N9S8U4G1sGKPCv+rxhVP5VGP3Mjs+8gvXxGnwU56ic`k_M+E`muFg#{ZdsY#hLq&2S(%^J z;>w47RGCnF+IN><^@&E=L3yI8rB9ge7_R`PDpL0E3;%>;tfHC6qDthR`apKy$*^W* zR1NjtJ~Svh&LoUVO%J8MLRNiaXpth*a5DL{eYy07$EY2*h`-{_dM6W#)Q_vty$F3C zNf*ZGj;7DGp+QK|s;;;CRMV~C@BPylOY)l9(##hfe}E&N(X)=}^;z!So#Sw14Rqb& zebj(c{Pyvz>=Fax>WzI<8YNeafq-@>a%;T4Bz;`EP0y-#|riAsamM1Y6a1gX&V zE6JySW2i54wbz@u;O%JnlVloW_TOcQUOunNUgK>SkD8BmNK_+6Ej!OWc2vIqUN58+ z3l3Yg3C^79uxOB;Vw%5mU?W%6?=S6kkd_GrUKNN%Bpd|ZBc3TK{k3Z*w$_>0gNL5+ zoK6XTP!75rgfDdz*6;sW!}EZ%B;J{7g~lbBf~?W>w!+3|ilquvVuM!)>O>xLCvmXa zGq)sJKvv|6VIXJ>)(J;YPGYlh z&~8}cWK(X&;$OX(OZoyL?X2E5$l{MYr*?pHIuTp3NqE<6h`J07v$E?1G$xK3J!f(o z$mFV%6G&o%->~A-8yoiFf@*_t2h!F<{m#BeaF+eAd%+tdxnL&&t0%ws->>`Q+C_+h zvWF=0ix)?HQy}7@bqcIFX5a)_NiGp1-bOlfJO8|+ZDj@Ig~0V z{$)TLTurbCw61F`x}^uZ4LBk)a*hs-?J2Nie@~mH$T$2(OWe0HVN!DHccVEaH`dT=nZA2%4U~wiw1B0O-Sd3Szy;f*z?DD7&42D zdg6`%Vu}swYAwkvQri2sR1Rgkmz*XOelpTD4ec&){%7`|owEr&Q?HlPN7_LqisT6X z)8%3n6b~$^k=Wit``jDH8U`mP|Gv|0w#EempDp34sz#JGHix7bY&z-MFI71hPiVar z(^;n#gC+tk+GipwGD7t}v9fnNL)I`DwjpJ{? z5@H$M+GYkHOPPdS+tQ{h)EmDiHnsilyfjk(c){`8z_vdc@qMt{jcT zD4;H#<4C8B9Sg%S*PNh(!el9tw+B}KuqLM?Bf7Zl>5REr8|I(DKC z`7h%injE=L31H|D4V*EkOKA^!`bak204-1W#E)@HoxN|;WHtSKsi=m2Sbf%-h4!W@ zJQ@LiGV;Wfde}o+Cy&_kRuxzdF30^k8GCX0O^cOfcEOip_yJRhH-`VVR$gH3N0akJ zPHvl3H2i16#~+L|8G$e_h?~oh(jCDe+)D$5)3vc)XYrn5vFE(aMrz3$0rfrR+?M=q zWJ9jyS_LfNH!l|^`8N^L+w?^+o!PhZ*U)$tCfYUWVOHA0VrO_3IAVVz$yA6@2jz(E z^~I1u4}9m84N{3pX)zfl2#4pZT~>5rTzJYG-6q*h*kwrVA->ZXHA`zSdn5q zRR)i_#ZPOj#GG4SCwLUyfJ=5e9Nb2~9Sf8IjMEMyz9&nk=6I)2p^lsJ=dQQVMBcF( zs)Ii4>-joTnJDu)rdtpU>uSpg_nh%#zXpbVeaYRJ#$`Sy+?sw!jd}Z`5-w@AIo>Zv z)}~g-q+EgG;T>$krbeEu)owEDjY)%8zo1m`{$rzjGb67gBjmsvtT;AB?Y+44pJjSg zarkU~;_Mnhbv1q#&Y6S}tdA)mvU)rPt7ZfIh{ld3WKJ5qd08JZZtRGKeOg2l}5(?#O1z{Azm{vs+MF7P&?wf z5)Y9jb;gf_!&xoj*hFg(lQvjy$&v{j0wGJq#ZYO%-qvBN=u``tWHee%d#7rx7qd8r zM}$cZIvlEI@$kwvt83DWNN=>pc12bx4trFi@R6x!-_%}uLQ1(4$bDfZls`Jz=OP{M z|DvxhIw`Ck03)CjSxqJ^y^-AZM_0i+ijD1ZWHOA;C|QXZ1WO*X0st{0EamB#GAc{H32>m;?DE*1zZ|Un2%^rFY`?!pde{&4}Due@H zXJ0!e4h04Uy}~dcxoT5H@#@&kz`Br}O$1Hs)Jt>WK;awtQHt1;(^A7@vYthtgc}hl z$kc!cMG+UysMHzpyKjoywIbRL{kD)x=qA%|kd0V;JK&&eC1>bnra0B@%USfJHFo#+ z+w*HzKFn)!2!eFo(=N{LI8o)o;5Q#Tpt|R6;9szG!q_>Ch?Kn3xCfQEjk(&8%cwKN z*JB;rtlqoTs+`*Q?FYq|l~lsL9eg(P03D=M@PI207aM>wiy+NwIqXFw`S)cHw+k18 zjG8oIyT?=xOw~e)cVAFOKI}g2I?TZr?B}OX1A$jDeK==Z)|{keDG5taXE$xy0l11e zNQNkZRK2_ff{?Me&s#PWAhmMNk4?rb=Hv@B_cFewscTTIW%x52u+kKANp$Vx3Mz?wlydHV;HxPu~K4 zeq(r!c)zoWm=$~+HbUpx4lQib3Tu*2G@1Evv5zM_cJgDv{K2LVCeFlgC+W!bOgQ5B zizvipcbsC&f1<;5zs#~RM}jMEiYZJYD5-gGK4o_yLwFT;W)Aq|o9i)EUwZm$oAbUX z`C@aL>;{;JXt8)j!eausV2GuNlO68f{6=wv%r?|*lKnm6XSWJIu(0a}r_@m#9e=G) z><+7Y2+(Fn%Mz(J9Kyko8(o3gakFa=~)yxa2Ax#xgKGro8Fs`Yapnv*8L3ri_5 zPgtM@PkE8YWtM?DleV$B)rytV-IKX(dBM`jO)s9AAkSrCTgbfL)Fhpz%2F0FOA#+@ z@%sSQjeb1^-o@n7E~L|8bs^0Ag)HQQn7Tv{Et!`=B3Qs_fAdX0$U#D1?X=I%b$Lq< zKr=T+)8uG!5FFZtv1jtM5!ra&k#Hr83JaqoK~z@ta~bV?6WZLH;qUR!h`1^Ff24c| zDOYBGY{*zWT+$&Rl@gGVZkHHsAx+(JMMN%~%sP1rFz~GES+}%h(v~?^)95N+9}`gB z%(m3y9l#?~3Y2eSa$fkXy~_3v*o$m02DqQWbh+0!FYN+qP|2mu=g&ZQHhO^Y>=e%(aQ78Y{TTW!g@U zjhqKjp4#E~v{Xn6T?CSGpUgYS5Yw@e66E15*)#$Rv4v8nvuv+$>fv+r(hl%1LYD#^ z#8EliAsT35t8AQZg2Z(rpPjrWwKfl9MtzcE=w-6_r+{>uF(z2|% z2CgoX4IBX#U4ib|n-hJmitSOZ{E(SV!^1*&C(=rI>^WZ70|v!T?tYM$_O$%A`MQxo z^tx!Qqd7)S(ePSGJ2EDe9|_vOjHe*lIAc+VOn$dXX>Nt4yCLEbEo^=DeyXT`Gq;686~(MIk2 zrxrebSF2MWvxSz&1i|ej+)HXguR4x6-OYxl#_P*unIo#yim%`^lXmc3ClbvMe_C_L zej|N$Z_He31WlEWjD^X@kXm_pf_ux25U=r~3Mq<)HqYBP`Z51U6vKBuyqg*(?8+Hq zePgow>ePz*z{2j>6{EBQ*CJyy{JcZgiJ2-WOAJ`D!B*{N{;R*z7l_Z2Uh-(=sb7nk zMj4@6&RLJ1e<45qQE+!*RSG?8Z8C7~f{b(O#^}-{{~0ZI zJ1b;Bj1P@4JqtfOoY6NSag^CQyIzz~yIi4g7S^JH3a&A_ldq@a|fTrLo0SV)%`uY{^ndKI|Dp4&Q4$l3q7Qh70Wh$mNalvydKto5Q@O0PQ+S_M-6 zROlpLlHFQGNy)`t>NWgc3+n#6yX0fe@dS^(PTEb1~F@d%HS5#%d@lhLGLDL!gl6BBL!bIX?(c& z+g0f`cq4GP$lY*VQEi2viS|F#MGOYhK7=BEaevjdThdm7Va- z703a~dPHq;c?Jqel{ZkiI2R|n{%;HawSNsw_M8Y$_{&>?XGp7BhtUsB_G(i`we+1| zJU4~aTGSm$O8MxG&Q5F%u8aXm&OQa9moLd-Jjrh#0*+|70^iAi1q?hB?CH7D1$H@OIax?Si2PMeO5DhwtrjKH9Sgih5Ftd-~8?j_M=Ke1NTjcZg4Jw9MA) zzSc=s37$a2#NapW4y)okaUfsDJvQ;ZE? zG&oKpNET2oESxME-I1Jg8rdFzSj03G>`oN&sn1%%oK#;?u*xdm_ePsCMaY<6tP}V~ zt3AHCw1Zhct!;oX<#3!^R$9yvD%ZlZ8*JDfG(^FQ-$XUQCfwxQtM=kHSZP(%&0A(h zfkQHPrhb=z%3EBC<=`bscEh-7Ap1MHbMw}xile~;43U2MRcIKt$mdMyC#W%XlsZac zN`Xu}o;w6XPpR6qYCJ;64O?!tf5JCo7VH{JA^!Xnm3k$f}jIXl}%c96aj^!wnYgl<- z`|0&X8;HZ?8PDtWi_?m~l&>#FM6_Vc`+3rOzX_$H_Qo+!|48A-OMBXAa4huYSE8T! z<^_r_^*OWi3`(cm$&D zd`sh7I_7d?F_Gp9S!Q&C7W~aS9vpoR0Wvun=PDH2o4G7}h^ts$k%iq{7q8z4ql2St zyx(<~T1~Ko;{|e3i|Dns z+sltTcrOvSpcm+Q#rEZ8<%uVhOlYe{^O8d}1>CD-4*o2IlFWu+n75?L_*X}K`kagvHsWYvYK74#_jP3*MGQYlh;h*$^y5ZG6Emm-P zY2?YcBQ%=FJ%>K`8RVl2 zKG9q4&AxBmoP=Qq)Mm`|xnjWIz(I$=SPtr9QCX?bqt1GTdxn$;9ndA9~Q*&*VrMqtIvx z3NVCiplW={Z~pDU=)oJs=+Rar>}-?DkatFNW!jK)Hz3QMHx%d4Bo&SqC#F4sr2rDA zoJXeF(GIafwllC*gqip;?N8FS*}bn?4aeTK8C?e24+w}%ij2BmQmXkl$NZ!B(%y!9js0I#raDyJ^0os~2z5TL}Mac!jR&+yR7=dSM zFw@j4h8geKsrT4m^dUIkU5@9PQil%%F#kU>tskJBXMA)WZ)X-quP_Dzf8!tVV>`|| z7h8_W`+P5}Ino7t)a&oegK>E;&LQbCo?G|Ne5w#4h3gO7t$B(VRES$kNTjdvsy#55 zq3}TU(?sNe^C#yD=BXuLEsZUWxTGkX?=E z6(M5Y1ZXV=T&gKN4kF>QzPO)F7;|na_xr>u!z4Nal4%2szb^$!A zCG6?w&Z|Ln+?57P`jM~r(KAn7>6^m24d?|yi0_Rhpw^15<2A77z@~gChR0Ibu}Z4t z5!RCmr33#=dq_i21eak@FNVP9LBQ4weT4L~$$UQGV4s3&T{f``nbYNW>p!J70oHG6 zoSRw?Z=?u4l19c-O8ZsCvH0eR3I)fM;G@STtGm?0vQc3I>wP!1*lmnQOuW12Sg1e3`4OjI1_yGE3 z7uH1;wv2}fXKyn!p3AN^t9aaL>j~0qIoGXsecFb;IH7T5y&?X_ko^@>@N1;>VWApf z)zk{?5Px_pN*o*0`>KW1eH$?t3&arD7?-ECs9-PRwym;1R*4RE0NA6FN52pumh(2} zBt9xcDP{H^A{E>uCl|mju_?9fdbR=($dF{*QZ!sbxYhQv&`{376$c|9?Cr13m*2>wi#hSm_!5@901630 znbPqA!S$~|M1JbA`f=oU@IgTMv9$AF;L#Cr_920V-~l?=^^3}3&f10a{rWci0KWQm zI{}6N&CkBEd#V+dU%S*m>-#sPT@9>4|!FQWpPQ(8n7e$RUYg#Yse4dEyBvP>B=*M~q6zDbh^^1$0M_)HsOVF2dBS=bL7D^_pbW8_gL--aujSv7t926XU z3lRwb4+n5ybW8k1)m>l9b=3OUioqk0*UPnqW6uu<2pPo5KgS31BOZqa!cV|W@b~9; z^L`fTZx{qX$VMRmR~Qkp=w0rWIn&VoEJn9C$P#!RvZ#|B2>j3U`|F|*b9bM8TIH?Z zUhgZFaYh zDL`29-*Z$Sncs`GOFF=|--tl)H#1rt_KaqD|4%;RR>Tze7BRo@FF&Pkx3S;o{oaPJ zUh$t@m~xMfjvrU2-PHFf4&z2-UD4f1aH`?P^J( zf=~kpr{h=cGh)i2?i&no#@Ub9afsfbk`w&2SSt$u%AqeKBg|Hxh;@5VN{_i@d<2Ci(6mLEvg`QOT-|@B19!5!3{dVIJl_3c(je8`iJ>P zxtu2DWy@`vk=M!G!UF%)Mz3RSb>NeSj-(QIx1jiG(Qq6~_M)`dGox@hXlPG4fn9-C zDvHvN2`f;EBhuac&HrD^U&3V_L$4~jpFH->I<9~J62{1dN<%tgH+s^y=&AUQ9)EO| z->J6CUNpz$CGt-0YZC)}hKfmoDm4o0%*RVaQV6h}YKs%PmTJgB73oMMOD^iXVbV5R zRWv@6y~&m0n{R?K>Q-CqNF22%-S_beWAuNK%q27~r3W?Ut8-{VvKlozH( z{vyGQgRajw(;aq`do=F5Bt1cXwT3;ni?&SK2CI8rSv(F<*d3A*;(@u>PO~+V-C?W> z7qG_-V$wo?u9y|l$AL8`I@e#^6!p$$Pm^VD3b3;s%bb*+URH*#*S}mgEhw0YC)_ZQ zpx>6wKebIXBBVGYWX>r-sJ})B)Z{2qGYIWfo^rJ2Wt21OVLf^cF9(E7_ekPW^@XWL z?1`<>Y#Ko`Wy`%Se`$$xt)0&z?})z#5tHKbTYo#Bgv|NN5c`- z3ZgpCW)~}Tis^1qWTb6l8}UFCraoz0J+UQ=OnrDL+;~H*+(n8|-j=2Lf;d-jPnnZB zFVStHiyd>b8{bkMo3yI;x14KdIc%pJf{y83cMbk#mT_$#j4>k>dkkBb2`?VZH>k+EA_Z?w?*2wuAU4%qQ7wZe02t8>jY=3A6 z7Fny4(I})pa(G8{p$Rkx&(f*;)>-!CSQPt1aQK}MYy4QiA6i=yTEoYcvSIsg$+tj( z{hza6!Gki4B`%z~S$U}l(gkNRAl6j-2)|X%TGghe(&W<-YpViBeZc$L9 z3`yRKI%Tl&5+6IxT6YRNoK40FX8rjV1_**GGjBxYqCDaF@qX+Ra&l`d)%8DKqW}H` zbjtj6qLV>Z%NwMh>+Q->im9aMu1)XwAK64H7<(n)epp11nPXp}#BxM>2{z>R$}e{)J#^_V|O%1s);~vzpJZ ze4L^RS;2MU9ed8fut+t(#VAId)kWh|LLGf13n*8Dk>y#e22zEg6mWsUPuxufp9;dy z<CxzRE8P{!^M6> z6FSZLwXe1QGL5D?xo{G0>RQjybQy>{-dz<7_ah}zbj;EFLo-8F5cvZ})lO=al9{;uZfK(nd2e)SY&gXDV ziTvcYR-#w`V6_i(8W)pJ`Iv$Uun|9Z+!?Hp6`yD5L%Y2>_N6Z3IWBw(c;$~Mj@(eH zwM1w}$ntMiO+B}riY03}tiDP#_jMmo`$N7i36UztsYxKn-mdaTjH3`Jt%!0>ye}zBOsrw96fw@cJq* zKEw6OFL??*(2tnTcEVH*i{j&N(tdO`Q^d8`1Ap|Ck3Nmbf&ctO(gH2DC4yWg*od2o zpv}QmOMslHrbBF-z9AD3*GqV^KTX)DdyN|@t3A`<8^T!0@~|X^5T&@rUs^fktLM^m zH9?^8DMam`tJ!<(vu~ww$rn4lhFTKD*sgfoE*jlH?iJ5WFf$s3yho2y-|rCjGON3e z)64D|Qcg)pIGB!97#FNnCAXM=w^YnX)>ms_&c!T9Z2IN~uuqzxG9w04q7W-KUfm2$ zi(+Yp?9>;Vj0#Q#yPjU>gkS69{G7Z4MypJGAGjyqW#x#7;&f)mn(#*C76cdST(VIn zoqlHJjb@D?+65pZtx zGg>Pwv06Fr$QE-(;un3kj+Np(!+9fSw^~uWK~_53)H*ImQmwE@kyY2Lg?9YU~#&B0U5sE$8D_(ly1vs_E5v;%UVdxdoYi5 zS=CXgZtwf|N~o-OpT1ShlZL`4tFS?{&WakAeC`~EtCC$4rsqSj1vpgY@($8rzYsV8 zbsM@gDw)mJ>cA4uPHb)(zmT9;=X;|LX@gjW6H+{bs_Hx@9p$nSIdGSP(|yqM;Vhd28yA<7-2=B&So9;_(nm|uupqF;%l8m* zGly)rH;t)?xEXCgO$fhu1CVLj(3sVF4e>QiZZ$c^IG+ZNmHyk>Mr-&+*4C963dGW# z{B=|Ck&OA`2u5C4796221OL4Ji^To}R6t zl4+P_gjD3Q{^KnH`smaD@l(V(|4N#9eOq){gyC^&q5HP-wef03X^49&&zm+4AEXBlSXhp;uE+tB=wgm1d$ z=P~XN5uN);G|0`*v(sq{X=Hh#FO86E_~Xt2efPLg%hZ4{OhDey8gu7hIDK756UA|P zi_`tvTbot#)*!+G`wD7`CS8RkeUw(L9tP7cw*C7}Tj6)&SeQh0=+E7V0ubGd^NQw6wd6yv?!BrJ@#!GL zFBNDaxd65$mv>%2qe7m*B%Wy&^bH*ug?2;nEDY-CE9**%|b6 zZ)GS3gLen3O+w$6TiQU<`;fO=n{gB4`BBSa9@Bn}OA31C2vp`~`Ps(SOA$Pe~CL|}o<8yfNJ4ORtgm8Qe%yoDc<5d*VodYQkrWt8B2MdiD5lPlx{T{H& z3Z*9MbNRjgdXORa*^as_vF@FsY)gdG8ivWcW+YLG(qAQ>4$yjA*Uz`w9F$$}l-tSI zD8h^aS)uzGJXI`C>z$^In z8{KdtRh*3z0w?XF!d`DpqiHv6kMb87Efqx99j9G6qDX5vft+t1*nl4s^REGD-^F_Wb>Ah->UF;nI2%h zZ{HqQzkoypa3U|^@zbVPhDp(+_P4`s&4-nhnxT+C>?6tFTxcWC!ot#JnOl6dbXLJR zE%!_{jg{)|B?iZoz5wxN!5sGhC^Ou;~(1^O%H^5_8Gzg{B6_;Kz5K%j%C5wNZ zg;rkT-aA+{dR|r62iY1EbaoO{$)DhdBRehW5GZTiWp<^k*aH{ROzE8y2l>3WU$|>D zQb&}1>zzpDHiTcp5)928Mhj;y**ou25~K;lMrKjgu^N2}12@2`J!C<+8lMiK zwI(T$4Vg^;(tu9O8Rki|e~HD4r$UG)3Y{Cc6$jL(!s051DY6!@x2+u~56gPt1KUwS zq59mn)sH`#QW>z3)OB#}l0`FkEUrYCn}0u@|9k~X;%^tNmGj>FJA&r65K_q?NZA2P z;^+^mUTk%09^u@U5h=L!%$$@G1deusHi)`tb@Oh7uQ@VEZ+5k;aJdXiB5Vd-wQ7-C zw}#W*nzp>`C_KV)sYeGeAV<<`hqm+^TZA)OJ5EJL#oje>A#2Q5$!i^1gsx)#Br*n( z>1aU$bf(L*D}06u5I_vUiYeddK%hy?s_P0IJ-=QZj=I)R4|U)ToiI779rsnnlW}dx z>adVf&%i3P;Cv$z^vvvsyl*wZHrT_7g$`oq@gor!nJlVovYCd#A(*@DRoH8VvMV;e z(!2v?llshm3$$MwBPjcDoa^}NHcNbj;T^4wzqso1i3cX%iJNJ*-9eANJU!TKfRKM^ z3L)HXutcq}tum(SsU*vmgeFvb?GbW$v#{&$XM)61Ws(`)I@Y+s93;_o73ZD4>3ipd>&cy>o@6#a9xEMvjfKNIgf;G|J}c0Y=aT6& zHd;WIADBks8&*C-cHmmCCS}4LJz3NOqN;oVl%^YEKgnM9QX}&(bz`7My8>@01__I> zZQA9IpXfCYbKf-nW=gOH>}7mCAN|*RB|yp|#5GfbEMw!wcH!0PM3cZ%a;Nx3lIw}( z>AfaXMtka=nU3Pu3BsY)?o{yweAr^eEy4&rCs`Qg3~b6)jnDr+$g*J1YaHu1fN zs{7;3MPw@$H&?7~YJ}DxVBgfcPf&FyMk2mXGP$o^*YLYE*)ZNMRT)?6{I|4$!k{`9 z6xCO8B&Mp;%!Z761=iwZLJ#1SM-HXKG7GD0->%`OuUy298y;Nml5ErQX$3g=bDpar zMsjXxiONzv0~Ar$5w#3NpNpfusxI>V0LOy6R)cK3QwOL(9R(w1h^dfWQt_9t#9-RT zD3O}gS7MBm{7-0+u)MT}4rk)TkvzYV=D|$Va2E80bcnZ=20r_W|0r#Vm`hL`#|M zxWlW1m+_&@;s_lksbb`^?a()WXxrLjU2I#yG6`;Lt#aWe(1k;jc_P}Q*Evl;XEgQ! z`72XmA%tUI1AFXn#*=jWu15dHjm4)}JA!4IXslQI62|ALl1Vt&zShX90)5-WMcASsyJDCjRC% z`s_K0j&3(bm<)hCLY)(ijl`slaZ$w|A0;y>79ZvPS`l1LrGUqC2QZaO%N``>J;w&t zKwzRJj9pt|3*UCOREQx^%aUwg)(e)Ns{ubw60h?(FY7~zy^2+ zE*8nR2eP}#NS`%YuFU+Z$VBc=*Gi=&`Fv7X&Z|Q2mi|nG$=~VnTHwA<)N$U&g=vq= zwBK=LKaGzm4QOrLzajTTz>cwj)cfs)fr(s8jvj?VK3!(F*8?+p7R}gkH~SCUZv~f^ z2BgJap=EfXyqBGfqKBy3%TeuLV(;^)l{UX%JMiswhdqz|FN`pvdzHs1@Vf8~=_qI_RS> zPFL~v%LLG*Jv9d)NKk;B#TAsYTrdNFgdw1)Xt4|iY6El6qAo{ z4Q-eKk2OFFZvFyB)ae-i7j2G#;lFe{F)*_-{GT!>MtoM*|2O(iZH|qVk?nu2%_+O6 zCth!Y5j!ssEC5TCN81(&ba0KJ(_>>rnG!A#Zf_gRc_FMo&`~eE!5Aep11MrWY z2Dpjw|Hc8V!|0#0wMSMwz(WUR{&V1atrXOzC&Z#4z9$3+0#6MA5-IL4Lc))q2LM6* zgNF}A1E?J2K5*@y;oTQXPCNzESK{w@FEEIMy`=G%>%uEfSEsJ2@E%cW^ZlD#$fve-F^TcN4?U zlZN%@8nO}iM-!_I)FI@%85_?Z#(WRL?USe|w!!T+AkU!B3LFSFm|(jmkvq(Sj`pZ8Ah_-E=z1tR7v`_ErNg&A7-A~@`GfTmC)eSRAg z7+yC!H(Y!Wi&tm}fwugbM}i!9b|6D9m^U77kTU90=pgOex6=??dFHL*?dVyUn73w< z-&)31@amu@C4LUB!MGb+f4xVFfqD9~=kd?GUzg$7IC47T6T3~^n5M?x=7{W2=w1TE zn+rfCr7t9xYoM=dC;xWfU;+F%ba4;}C(wbe{Ftxa4D`3QK40+u-mO)yHv?^XTK>;V z6@6cOueE19fJ3nRAi(YUe^t9ve89gg0Q&TEu&^%R8w1#T;(fczwcGTcd{I@Y*fKy^!UQpoT=#jKmcezTiQ*^@KBOlG>82FoHF)K`cOyT_C;k|^dzX3yZ%-@@ zehl{eoDTR9AdvSPp>z4?StRK5>jOSdm+=m4gx+vRLC1(70t&6 z5}0An%3!0v%g+g8Y&KN5U9S|NHuVvBqj1h&ul1vntaqDkH}!oQxExD==7NU3xskDSS&vH2#Xq?^E2H^HN3P+N_qVTViGKM5 z0_UEQ!j7GOeMD9p$G}gr4|}muI&R6}7=vt*NwSOI&G4LFIId+Yq1owd$&AQjN@1Hf zeQ#LyT~Xu7K)g^@N$Pk~I-2Y0KvXaFY3tIa6Gk-{?#A(mnqw4%MocrP)V#Q{Oo}BN z=%AZY9IeB%(`=j*U6Tk1*AuM9*9^vmOex{2L=Bm+j6P$UtY^$)zdc(vrd}oAz0PJ; zgYo#0SBY^~ON(8owq#lV*A$zsM5o>6L7NCK`HOQ}Aug``S{i(jZ=(Y~h8%ILeJReR zQ-P|S8y{|m+5cm~ouf>McjiRuW4r(G&toF%y1nIzv3T8F)nJHMZNtmqMMOEhE@e-7 zNZT%rG!}}35>l~)twFLKtf{mg@#q^z%@>ssN2#S=LGu@0R$$WIcPY>G6DhmfKxG#c(;^I;Q%Ej0 zHuo5l972!^D{x}sJTSoPuCgqBdU_KnA?9k{wBy2BHW^vZcgQ$W%fEdcgv%@pu@)( zj3N^4xPD=f)o|5$Mg+FTCKAl0D98LrXcA~$ zN4~(z2;pQ~qZ<3EiM-V|0Fx!_Ko22KsZ#3g!6DmsIEWL#esX-RGB}oxiJo|SQAsZn z<_|fG-SQl2gk~NT_5?NfHto1xxh;`&l6dixEOWC_y9UGsB4wqR za90lyMc=?DzJTKmkAw5fL#i^@bSlaux!>~#SOkztl4T7q4HJ$kbFIhHFrTGJ?j0OQ zGTEDB&}7V!POyWM{Ro%o4!|Ep(=#ibUQ2&_AC7QIOAu?<#zTv(E6S(G= zzWjkmkEh%0J>)`qSNtRb6Dz7Jh_M; zs~=g;-8Oea-7{a02BTgM-E?V4WU6a{&>LcgQl>(5mGNTw-b2cHN2^U#%6bq z?zld~1MgP`6H#s_LV+((XaULd{n74V%^;+{d}D&7ewpl+mftFYvrFi+oNc!~!snAR zfWl^y201QPV1to%!zoS)wB`pM>IS!&&uVXtk)}zz_g%K#L{rJBfT}xwY)mW*nXp=kunthr_uPjRq-O z*i>y$+{XrDjyQqACNLhrxtx1H_Z z{`7?6^KXp)0yF6aKXU;}{O)SvvI;=+;%m!~`#&?;Zbre1M;1BdYc8iVkIEU^!#js*`WZgrgO2p8acU8Z ze{Nw0ym)V9(zjlK_XU)My<$vH%AY(QtzS9PHYG0;6c>GIjkj}7q)ByShD&11!a6M& zxOX(JRkqfQUG_l8V75L9LYZ0*qbg@Xs^|atqK%+%VZFB^nPb7cbKrGhyfq zcjjl)7)NAg?1rykRj#8FBKFdWoc)}a#GQyl{?Oz|pBs~WOqvAznP5-gD2ePeCH7mhqF%pw9{bE#ab7x6JakjBp7%wjpLCZPZ@!^%1>E+svj=ExV^ zFMV%0DP5)4JH>2gb($Vj=Q}Os5Bz<@c&z<19f^CQbByamG@Ti7XUFEp>qkltpPNA_ zFSd;LGiGAO;vxbf89igx4pt?}>}sNd!&c^lz-ed;K09}~xqbYnhbO32eRWXmR>xT7 zTf?V@2AAhMA|zxnaz>-Mnga!hlwo9x@n*TA$rShN_YLKS&q2$3u@N@Z6&tlt85x@a zm?ic3XC%9HnozMkBOa=q?+X99<#}4I1st=R-;I0d-lr(4uO$*1vCAQg&`p-0~Jh>cgR+b>%vgjN>(w`^(q-qUpyyJL@Jnc#Ii!P|>bu$XsAG zrnF`wbjm{C!jb~9y0L?_l za&zi|vx|7tc;O5WMysNkS0%{NHz+74w#b+>;3BM~6_Ty0A=lF@p=tLtsk}xttFQpv zh0(~)P_l$#44Hd6O%g)gk=Wwd`*;DEdl= z`|GMxPF4k&V1da%5qos1e5gVbc#F9fRt5|ZWNNLrYeviJJcOjj>iH5Pv#Dn7-tj>@ zH!55{#stGgH1Mv-8l>m=*7aWp4zGRd6DHYx`$rXHJmZFm#Eq|{EfG1qs5tQ%F))=w z)dX4d>cO=q1F&o=1Cd<>!M9Ah9>d|ZIaW)UQLjkubw#g~s` zKRMw8QD?>;B~$g=*LIPqmxwZnqmb(=i-xWh^g1aDwJgZud(FUY9|xd2gjP zu@0k-#}$~It2|$jFm{cdAx(B!0|Eo znTGjhrn882YD%d?cHMO}UGyAo%azeq=24uYY}r zpDH0%noA;OVcEX(Jy?;O34~}4QRt@$KJ>cyWFRps(FO$t<) ziNs`&2ev!&Q1o>^VTeLTGyQ{DqpcZ&hk5L3>w%kPnQJ`8jHxnC3Oh*H<)X!qk_M66 z7cRbiE}OKz4au;2&=doz3UHXAKI!d#{t_54I`av}H&Ob@IZ1OvV`qMdX@D7v6Kvp{U zX@>)BrNX=Mn#>o#D&Q8~NTJFq9k1RtuevueSD_Dq{-Lhu%fE^Cu zYVDVi4*ip$Ps}di%?-5?EW4b+nt{2~7s-IJ z8;QYo{nAlowUH1X1?+yBb~DacJ23qZSGyembFrW0^RXZ@%39(cu}Qs40_m}$8AexJ zs~k)VNEkB|u*aGs?zM*8vKTlyn(>wYHY=;#YC}2x{wfL9i3?Z2ZBGP7j4BBOW`}c$V(%ZC&jw0Kh{_?`@+q4KK zx9-U0(Qm}j2&2mTu)iZ7d&Gg5fy&Nm*krKZ!JWtBk+EXytATkbws&b)BEEQd|RY}H{50Lzoynjxk@re$s7lJ`A(5RT2O>SSkV(h0f<{IRXNR`E zs<6kxsq|eZ2F|RXYCs~)viysl2>fbF;)nT6rrJAyVUX;^uH5tbvyf;YWoP#z9(!|t z7FEuJ3YBN`V?qyOl${d>xn%IAE%&8+h>(}2K=^i2suHihLs?MoYSBAPT9RQ_G`&mA z_vvB&gEk=w%QrR)W?yLw_G>ATZc~FS@Vme)lhPxt-zvq{`=}F1x2<}1DnHHt1(1W_ zwbG=w=3iQxF5Hd721SjFu@Pt6Zdpp`48YAki1`A_hys{yyX5w%i>9~*pGi*$_rYZX z90pdy_`t;sV9qyNOOFqW@KedOWV6tmknBuY?{#`WE@fS}w-!s)k2vOmMw_562Tr$< z$_BT`BlWWMC8t7U6;;3Vv9V^o@u z+VVCCA>#E?+G{}^4@HQLP7o{2on^5$?3PcRw~$S!@7AuaBBdIErSDqsVV*S$m>Lyt_0!ego}G9s0gxsWSlF>(?G6#I{B>i zR=)R11w4-Nix^tP-h|kbmhns?RWe1hu!e*C*yXX8z%cJ$Wc_c^x=F*9c zX6MixQ>mdct$MUe>__->oyq@Dc1}H_K--os+qP}nwr$(CUA4=$ZQJH9+qSLV>EtBc z$$7Z)jH%YA{Jc-!M(cEtn%xYqXqO|orJn0@$f>ErIAiGgdQPSy zVo0lALjm~juqAUyBAcB# zj`u+q^ewO02&oRPnkWbjbz}Js_P)*#cSvedzlhNF@Fw8F7e7u-X(?pXR>X=qge_cs6WGsf@k4P zJM#buSrzt3pJKJ}xov6XnYJc;SJ7D!DxY?@8#}TG#>NECH%ebJ%&X;ywBo} z=galW$-;F2bwnywble-n@#FJ!Fl%EvzNtw)C?_9 zP%r<4y<2ZN=g%ek-p&+NBhy5S+*#8Vjc~iJXElAV#EGb-nrWjGl{+g}k+;K`QDi#2hU=FcDqHax`-s zcV!oik5#-I5YQ!4svhkPmifVvN=PriCq zjE5_==vFkl+XcrH9kqR%TWq!2x@w`VTAt-viaGb)zWV{P!-PW(SG^~s6nzk zq5dTkdS{{Bae7B(y^Jg%JkT0g$qD3lXZZTR>$+|3n;Tub+YtNmq?@kKOJlsQDzj$1 z$-7xTGF@&1(kL(ct!&D{SWM?S|6JY8#P{BwZxZ)Rj-#_sB5fA{3=^`O^+EuA~rc*bg1dM60$NlLa-;RNcCZ* z%F>{06?zfdpC;{yxU-h-j0!%3q#AT-3SWnk<%%3#m3B3o#}Jm#%@OJs*5pHAl==IB zHL|L``ZwWZO{MZ|85&PgLL$5x6*ZO2aO%Qd^1&-PpS`F^ z2g5|Yc^`lU83!x3EzJvhU|abSINT|e(_M&LYh3g(DF%fhm3zK)AaB`hwW@4%VVGo!!g|{Upyq?*a=& zSPh&O?9fY^IY+q%O45im^m`pyQGXt79Y8t{6gR#L5=Dbvg;TTlU>V1Z?EJwyE)*fj z@t;d7yHxKj=AWu_KjCxCtsevb=>E3svW=k|%35*VSZmtzWWXv!}p)UqH0#z_@&QU0LH3j5@A zt2{#P#65Bp{j<=o33EYis}G&Wofxn^cXXQYF;jMRamkySdM{=Ic_C=yW3Hkzgi`!2 zm&aCN1J!4X85E=S0o2z>)}2~47R8)i4ab>6YUkbI{0Mb&z%eUk(xh3XO*F+==?)(5 zS>(zR;|)Mf8&XU+;HiA=qEMMXUrKF7*0Fh<{`XpQ{WNuh<#)}wVB?=3nSVG6f9D9Y zyb9Xa+mhOe3w{`B_ZXXC|H)LEL=Sn>Ce?_2MsS}~*gMBleRDTI6U<5tsi1#GWTGWZHJfh0g*+*MtEV8!) zR?y?fe%nF@*Z;^dj??~Y9VpQ;J!>fKN^WPt<8dL#!l%E-&k%1bb{X&pj1WJrcw2X> z(r}D@*F>nLxX!D)S}3)dKOwrQ`w0sD+po~D;>Xm~c1WgW;ZW(zVkZ7v_m$W=#MaS+ ztMhz159*V;&O+%eO?aoQ5YgwWQ9f(=d{7$x(PIQod|MhR_p?D8wO%V$;m#t|9+}7c zF6KhWc$lf!?88!4Sui)#L)JNaqodBO>b$DA`lQrrBg!zC4E1W}TX_X70kZn1?g7=g z!eWc4Jn9@9j-w)_bFX7?dNK7pJ`rwZGxU?@Jy(WN{#Wj)inp)fz(zl9 zVr_Ip{h{>MpGmXwIT~Gz_5A@TQ1U_i-i=azySFd|0?EL( zbi#pJu|=Rz0ZNqc{DHz&jR&P#b^Er9+3a-oj_dXxCTg|sAyQrzXjMRr=X4j0s~$iynUT7Hy(pfPb`2A7$~^y`$G+q z6_V4{)r3J`mzIVOzc%p)eBX+CWES);sACh*CErd#UA~-k&wUX9wjTM3zvq6h0pRJ% zz|P;w1(EGW&p@35fYKpEFyDc_I1YRZ>jFxk6#T4`2iSs3c;6q3|8p?_`fl|cK!7K| zZ|M8@n;QYj7zeOT{2u{e12%;t@Z3D?HDo9U_vZkxw{PwH zT?lv(AdMk{8vyEZTA0{Zd6!}gt4DG%rGC^CSO!ocOb8$V|GpnTCh^2+EI{|C_pz@y z%E!!dtcy!a$Dgv(z7{7Z2>Ss1wsMAmEO`V70Km{tz`>xxfPi1PV$iT})$u+b)jc+d zfU~@3BKQk_R_`BC;MTs>5Zt@n1{MT~7a>5K-}r493WyMbU4h@ZqOaYF zpFUDbPY$jh!~U1Fk>4?ZD-h?W_bCubeR%gHs&e9ZXuw~6W#O|t=xVr@Fi(!}I<*np z7#&E>cG|?1ErMSDPzH9=boM1J=o7ex&m>m=$!CB2Y+@L=Wuf)~KYb<%bb>p7mvPo$ z4gz{4b`sWK1;GUEr(H?ZeT0zbTh~Km6rccI-2pz2aYf<;f`0grEotlWS9}w&yN7{J0`2+kO(8Kjd@C!h1yALtZsC&;p zo+1GKf&F6}weGo(0HPoI8(k!<o!oR!> z3lI^WnLg@@k0Pb?9jKU$Y!{|)@(@^RFmEp$^j4RXn?HA%Aiz2X8@4hvsSA)^29SUuy#etiS zrS+zrE*g>lO6BajNgX-7baIHQKAUxOt9q&lZ;=OyRef9O;f}>}SsUeBbQG)m4CT*= zSB$1grWjdLrpP6!UZOhaz0|G1E|DaQh+_^9vr-{mHHOybr1taLpztShMTm!Fqx9LP?NGicD8@ijstWCQTWxyu~k?5xny3{@txS7pH;(! zE%sq_761c27a1F4k4C(yIKn}Mp4{pjG$~Wa{6XD{(LY3?s-BvvRU7SWf{|n2Z3qGj zh}Ggi0?WsAi7%B`F|pJybf;CEzE_h99;2`LQXZqYa6m!!f(zNi1@A91MN@GCQ$^;M zHnR~Mxu*WyCgXWagVg@Xo0S>rI?BW5L!T!do5m^?C0#?}L63d8R-mqD>o3xY$s7^) zzw9#3^ywW612#&;Pl<771+3_pQXnzW&Ln?V&>M^^YTA4{?Kf?StV=>1j8Rg}41`_v)OxGpf@XTCNN{u&%V+^DqA~k}nNjl^1)Og06%CAopW^LsHgJPe@8oj-3 zc0DpP8Jfu|a=v+aFOFO}*59L+77|P)^y+VeWX^f+TVX>VJgzRAvSWyj8}Og%o<^%M z=co&XoIi=&p9H1Rj}&GLI6$J2<3yUq-;;B!;q>O(ioEZ&F^I;gKz`}3lcd{tV0iSV zXBHsIAgFwqAL)5LGu!5W^7}KeC*M)-j6ki^Ddk0nRY~}7#R+W=KZjbUB=`3plZR0k z($}wSMuy_meTRbv7CL)eM^-Z&L2fLs1H#2aqWK%I|L`{-H~X*44i70`mx;s`Hn*mb zuDAcxy5d(oIQa?(2=$wrGJQxRo)A4rYackwH)>I48$E>QG!_JLT@ElOMGoYlk~Fy5 zc`mn6L9@7-xJm_@py^GFBu7C3z_;&q6XxUh zqqzsiRx^=&15O4QF&t^bG;4PHx|y{d!KM2%gtf`TXgc`S%S*3l)T2gh`oewtZd&nG z?mk0i*-@7mY$&L0PG!qiNZ&&Or^KGiwz#id7`H~qG^8lGs4wbpwlZh4Rq-3aZR@Sr z#;NZkz5Nr>g82Ph=CtO@sB4j%RTYoD)9L~@jOZK>VsmCRimvR*gkhTQ;^0uHCH;Ig!eJr^O(PX(rIe!~?B z=Shiwej_2nU&^A^JHUEjV5TW({q{_F3EEg}j(dsLn=F5b5FCt-5x7iW-Y0(-Pk2HO{ki^w;ctJF>Uw^~AyLm=)xLRb zYmWMk&t$wv|0nbD-*@`I4^2gtP;ji<>2{5I-vDoyO)Q(OnT}GkGah{%8k(9PLtdtY z{-lI+ZQ30TEts7ex`Aml4v^~ea>WbBMGsO zgM+D~Wh{NvD@H%&T8ft!AjOA{hacf(3?pItao2NIY1R%|$`jKlC`6lFSM;+Bjw~kR zU0~jfO84-WkC)Z|X6u@2+s_c!mj*(vM0>G30wk z;L(*`Zn|yvO&0Ry3*;ofkRe=dm(ivOFBy3Gl4T;ymB3}ht-F6wWO_d;0#^jV(XLx~ z>5g%qIKE1#mwthxGLAwx$C&<}*Y_G#4`Daz!IVZx zgOduqq&Yv`ki(SpX`JOdKG16?ULh#G4vf)bTvQ1VPV#@Hj^#S`kSHr0Z+}g^F)CAX z$J0{upLZ^*G-1O}yVE zM9aWx7563%ptW6f=XSEHXu|`OS`)zH*5q4UeJYj$Wb}5;!N^$>^~mxmgUzGvE{>~N zJr8l`JGy{B!yabX3?k@(M>6#kmKZyyp~i@4a`?OacM-13?K(+* zUaVr-6w$N4eNDzVn`3Q1r@(s@Kz@NW8h`2RoH{LY?TqDD76qfX&~_Kwsqd8hSUg#p zNOSgH@?R;v(>$lPM=rwRL1}VGKMnw*vT* zGhndt5Iz5V3yjBmpYAy8zkN9u4D{NPVvn$2-$|B(pVUB&CVxtj zL8n>e!_yT$F8B1A&Nt^grjyh3Ow&LjZLuIw6-<`JBa+*2-6|Yc+{Hnazd;uYv*>;W z%_L|bgHM40R;#Ih)$0b{L-ea|L}S9*Q66zp&;2tZpvL{{&-+fWH)+>03#m61`>Pz_ zq!`F4v7ROv)J@O)_Fiag0!A)BZoD@vR2;5A=C#J23CeJ4EM|*Hv~t=Rv}I@1m;?tLiLIE$K z&@3ZM*-Bfc6S69sSs#_Xpf_8LY}~ZCW~sHo4$hEB*Ib^M@y2i7vh=j$l_uIHnqT|% zgN>8hVxhPnuevx*;Co^;W#F0B&G!JOg_kAEJuU*=5q6D^9^`ystwXf>;M!8zJEf8y+MMf{jpi3 zUj}-C_v7KOAIJn(8Xg|@YlV#YSaLQ_6y!};3+?QMv6QIBUmk7aE*oc1Fz9}72R zR;u7Ott)qQwHPU2SiKu3m#HDO>sB@6_P~{Ru#Dq8zUd&h3Z#Xi7O2^fN6 zM1JFofGYORUS6pXKb(YvNd7FL(ty?9ZxZL47I78y! zFVAyS>Cn^j4NUhqUo2y>sX8s?>m2G_)f#lQp_oFBSQG$SND1R0U`_ZBydA)?q>QK; zXo(FJ_8WHp%79#_vn@kGLC7us0g;;9!l&Uel)IXXCL7YB1-HAVOLDLTrdq#Gar$1! z>|c#pB#Q<1-*GXLT*_dMV@{3G!mz?@{1y#TiEk(Dbu0ECI<>4y>h*sNs(z5RWBN~( zQ%hFqBJa?Mv2lXT2A&0Hds9blND_7f?KzauaXCs8|2ktH;H3Xcy!xY3WzhQmxiO+b zV^_7ZZsJ`|u?7sPoj!CE`$*VvOumVJlL$F$h-;`XTr(_+E8!*st5NE4=WWH; z@Kfu?NSVL4z60sINB23oVGnechZvR^(5vGO*7YSAATMeTBIJI=jG3cf@}gicB*nJf z@2Q*cXaxaa|DRuOvGB!ll_^9yVgk0CW$1_XA)Kno=zSa_-X7Mb#cyvKrG=>@igkO~ z(V!mi9B`P+TeiRKMw+fMkZ6yM?o>4=*W~k}UbnrO@#SnkXFx}W@F zbear*?oN>NqI@G^s{$+g7%%1S^*NcMZCT|WZE7xb|8AVE(Gq2MXpPe_#>;cWyX?Oq z()X4(5V^~lTGmJ$-ZYr8{A(m}hz<-^)|_~_q_!fCtguXeVDvMkY$@NQy@Zbz#L;!DI4W#Emi523^u;94I@b@#keY%HNzB$Ox$V_ z>Fc+-xS|-f0jl^F&5p7>Hqcp@0qI|x)qk7Z>EY6J7snox_sY;?*pT~26bA29pldXk z4++}BD)M#;|Dx^yb8r0s<8fb};_SeJ9GWucn0x>Uyn%a%-(w9b!tN1oa`vrrvuE^; zIfhQi|Ml`X4yfwql0m`|7UO}#i9(#$)<{F9|0 zJE+;0@zHIWr}E4MX#v%V%Le9gB7VX-F&C4b@h*)abJcCcoA0iDSlVd44pgyx2nX&q z2`?Y=Xx|?u)?qYSVG)7DU=Y{T7A!aO+)OIB_k)7 z978~JFuq1DAAkv1tK9yrB|lk6_aU?DvFd?axl`B-w;7~eZg1$t_%W{y#D9ims){r& zjXopKdB%x*g&Grxwi@j{Da3U-ydTor=0YU^Z&Dpo zgR~!)wu=Z%*yTLwqpB|j*Jnq^eUg$5k^jwHJatb&qBB^RSt^ho>}dmGj-&7L|EHwm z)>I-ox6kSZHKOm!wsf6kfb3qUulJ1E9Z5EEqNYk%YNJ(j`_+D)3kaRfFe)$_>{pD` zt>|hrc?FXc@(n99FiK9p3`x(&hV;c(Q1O?hkV6M)@-rCDwCuKXM_Y)*%XP0-E>@+Gp=7`{(SupOg^t2LxV zKzL`c_c#`ZwUxVGKl6Tzs-2`3yzbYUty$kDN(Tl;h$6r1=fS?Nz*c8BCGahiQp=t; zv}Dvkk^E!HP`4sCCskbhZ&XyllDxvn&s%;bM_>g@xS#x4Uv~>{aSs`gKh|?XtfxB> zjCea3Ib}o1^UYRcOiIJ53{7)u$0Ft$GNhC*dlJ(H+Dh&0?AK!V*oX15D3PNu(BZ(C zpXi)-o>qmq>W9K#I`&fMy|7c?YBR#rL}wRXe;fm57~c`~AlBJSltxy0d~~)VWz#b^ z@}nIz;#tgTMZ;xo%*5KNL9vCqWn>@d%n^1aR$W0!CsLJERNsgFBtgz36FdXy?7P^7 zI?NxyFPQSKe<$FkSmJjNP62&znyhFQ*Vp7mvClh2g4A{@=+gwRWgg|3U_5Lj9}#RC zQNl@@_cFJ)=Ya<`k7>s8fa5c;EK}5n8Oi=HOnvdiK%^s8nYLHrOFAmPo*?dv2yB~j zMOf=4^&Y7r+zh;zV5~AD#9OYZ^4(S1If_h`#A<*hyGGtLRNx&y6~IIPSXZZe&=`c z(Htdl%lE%=Xbo;sGQ`CWoV+o;mWBn^)Y+Uk#4xukJUpKHWg`xv8V7#5s4-9}2ztJ~ zZPFL{7+ty|gz|R_YNyATF?E^!17gXx?`3ou&yw{Bo7(NBH!0|-4vdpxmgJ}SWkWp5 zxR6eI;tU`Dv5GiRlk#w%Ec9Rw54b>+w@GK!fczbk_GSH$^5N3wjtT3fnSPiGzN7pgiA)u&dXp zaJDi&v=e~VDgCEMzPER{>EHvk+{F&PvgWI~))a5yhLPW)_QP+0Ymez9u8W*R^}388 zy)AuH7E#wem8>Uj|59xv^Uk3RO>+ITc28vw+|N_6qiqGoCi>YY23+QLJ&j;^-<}Y4P;~?DZR$+JaGESfn;d!s zVezjFC^LeU^Xi7I>|HLi{mGjX)5ijJ9ojjt%?VP(qeuz23ds~Oy$)tYuWMavn0)iH z>OZ$o1@o?1oJ|$tB-3te`#Otwy}pL;Wjh^}Fd>2SdR z!0_Y7ulwbeQ)E6oz}?AjWe1BiRBs(uHo(F{u|2M z-ZEEG5IHGz_2o(Q{)|KAyGPK}`555vmck?I=_IvFrlGI77HIO+9}+x90X8TUE~M%N zz@E4tA2|aMPu!_J*pAwUiRX$+q1}v)I--io{bEhR_lD?@H3jspW?)z5dg)DAFL(LC z@DGm~totDW){C$D9sF2Uv>%w>Ymk1HF~aVO>WnmJHm%ipQR@#MzT_{5WKp6O8X|*8 z8M~@FjIDRCsbXM9{YY0>mpTUJHtf*$(aH#Yvbsli&$H*5^DM;qw5_-;_kJqf%X939 zP10jg>DxZVyx;S1qsj6EtIB~MHj15G1@2?3b(i^O!H_2E`v<^85#ELtId!f4jkHJn zq^|w!35Tsnb5c2+FVI>VkdED6gh9&KUT(?%&T}e|4l@L39CJys*dgifxjs6{H*@`< zvu<){G;;aL?>q~fj2|+EVG8=gjhvkqUCooi?Ig@i=o4xDz>AN@mS)VktxMF7z+r^a zPOd%`%#eUB68)Hks*B!}1qfaV?jjPHgV9_L z}wjPH2G0U3S?mDNv9`Z{PzE z%`$ohj_MdSOJPYJlK_?SehjV66FpFRL}2T!6*tqR^+4en%pNvBRf>x~chIhYe~_!y zn^nKw$ht3OC(+{Pv1Cnhm~=?H<6ze*^?U?^#4<@Gd4d^Rp@bqeCF6>4ugtfQf#e)> zw%@t>u(iFxm;;%*^rN#YgUuC3tXA1GI^SWv0@Tvwl}Nz%_zaW&Gt%-Fvd;M_*Gcd^ z;C8`DwbnmiJ;{wzOJ#*7YTE>YVW1uJsF8^3ho?kRvg+v1Pa`mR|s-TACO>@bM-3#Z@V$F^K`TT@`WYg#9?3u^jSrtj}pTH==P z35V#jQdgWeQ&|W@HBzc#pQ?pghZ2Xoc8iS-{-Fv*6oE+(`&L#Zzj;Jr83UX$mgSp@ z5g|})N_>z0YIbX9SspNH&%0QthJx$l_T03UpQQ=J1R9m)$cw6JPowf4Gaf!|tCiM^ z&d5si%fXVrLWt=>H}jo=D{{_l%aLim?;5kf57qtpkDbE?JTN^hrNIv#2RnLG+~m5lD{?+V{KZcvcfrolB1 z__cu{nsd#l2CS?TDmMN?pB^TgD?VMg0l(Ka_uJc_{HU%zJ@OsQF1~#mw^8!3E_61n zI<08dFkf0H7?CMHEB?cOg?r7ctGtSH9u5)ms{c|I?3yU{2fO70Fhf**IqW2uiuxDW z<`neDC!imG{6*c&m@r;1{mZimFvz5p%jsa&lJF?uPGdchteMM}J-4a-G82c@xzp7!5<+c>s>4!y zYHA8HbYR3&cv5?t8ZwIstuk*A=!#nTJLE1IPk4rPka(V2U+%3-p)vs=*QA-wT|N9E zEusA+njXq)?4{go+xCUWz%@r}7=e4!{Zc7Vc=&WImPb2cHNCEn;@K7Th^iUcq*=}i zSl;OH5kQA!B81^P50q^^C3_xs5(#1rZo-m>W$~V~u<~rApdJ5=*@SqI77@`MQ=i=4 zqE^_FVY~ZrE<`XE#B^H)_MH=LeV3{%y{kttQsdO%KZEPfC~A^MG4vqZ4&3%zGn>I+~u}^GxJuoF$_m>ach>9MxtU zv^KwJ%PTSpTNB8T!Did`76t|M{)9lqqlTTd=cP$|DIn3JzE zIUcxLaB2w?MNdJxa#?uP$$5$bIFSsVB7g_why52m81|e5H7{;ptE$*_VKi5kyr7-( z#Q_i<&(WBXS8X(p`fKj$f@X5MUKNSeQ-#D7~~BAj0~(y%>Oz6KQ|sD8{_}Nji-Qeg~cW#*%l%}yS+^aAyKw40|ZUe z04?qA?oLIiyFj?TO+ZTe2Wf%8=dJgabIke2|K!ume68mu_R`NRzeq{hJc%JZGsq+# zft-!bP0lbNxiJh3ojf2ZDLf}B2|FiN4*1Fh`Xdb|M-Cdq8AOuP~ zF{ywF1xUf674%=ZO8Z-A2S^AfC*W3gw$LwA$Y2PdeE^+-a{v>!03Z|~XW^ox;Ptkl zfi!hl8PD$rqydXDkOL$nWc|-ETzoz7K);y)gaGE5323ADqy<`9L97x#LF$@cH@WwhY;f+BAX+Mw+G*I~@MFV#SX9G|G!sBk3fVTKq68~RNh*r={ zKFlvwE(8MNdo%!_i@UrZoEZZHZ*p-r@%rmqJWjuGPpl@EVI3$dbMPPz&cff?TUZP* zChyEH?lJzUmOuer!rWgWG=qqakz2OuoNG=NLIZH~_^&K~n_Q8z-vrH|Yyh9^?Cc<( zEr57nfFm=rk$djIurA&+deT+4JMXF{NABDSp~tZAwZ=S749Ed!V&;PY(be9v}ceLcf4le{n_Npx=rEczMqV zP!xhE_Xc_85A^}MUxtADyhj6|FLxT$Gh}-~fYIN-TLDRNi&y9HtG~?azfSMJhi|tO zzv`L4_M%L)t*!p&n7?dqzh{AN2HLOwG`Sv^S5Gd$lYh&k1HS4i*v@W;RKYTWbFP2X zsc%7iIzb^LO0N6BA>EPzy8@?|`{m5k{2dSN8%}Pyn?QvHtQ5rWZqq>fM@J^!`8&%F znVLMkcyaP5-qWC-T)2O86tRrJSbu#@wtT(-2w=cm#7}*Ukl69@`;#uuv1SDA{1Y(x z2jBv^csl@cJ0HO`1Pssm)Tu}S_5gm+zC+vFJppk_1=jjNg>>XGz*w39d3oc}H#yiQ*9$i~NDyTPK-l{M= zZLe9#*ycnvvL0#Kq?nXd)%vlnl!!dbvE5CjGw%TpcAzhf%h?>2Prs4daWtW)F~6-N$0bAE)12*y z&-38(KCg5b+nw;JO|iD)a!XoBKIz31>+QwK&3jATlu#hhd!V6<)%0k+^-m1LwXto8 zpR+CqKI>}eOXB6FFQTedEyi*#F7vu0k)Xa6db=oKn5B&1PAskUNLcm$0xw^V5ZA z$O+`;1!7$&;5P83P;o%MZ=JacHFc6wSEgkeyEm3B>|WOyBkg=UeQ!adX=Mkm&w3My zD@HJL(E|_q!Nyu@l_XlOgCH_~f9^zM8+oz(gnos36!tMj9Q6^F9rQRjxiebGC?ncO6dfz^;AinxEmf+$^`P5nBw1tlrjcF#5u+ubd`c{5 z^FF4IUXt}uWWpO69k$HEXIbR+FVv{N6}}BtRcIx|5Bp}l*f$@Sw;n!KJXW`Bmw{Y> zMq~}E_Sk!G7pH%DmI0(Ut=)wEixoGkiIq@PtsiA+vNHLK@WZ}={tsB(MK+9>h6^DGBsVYR?&L{p@T zW>dNd)$1CS|6qI>P(Et3J4xS-sfS)YZfbmYwZtu+Zl(nOet3f7V;niu2gO6Sn2?~M z(5I|240nJIsR;|6lzkcqZvOpAaJY+X{{wg+)-|toHuNdT8T0tmr#DdT^O!^OeJ&Kc z1Mvc&@G}ty@UzW!zB}9O&gs0#xto0ULtLY_)0USK6TfxW*?+}7GaC;}PIEG@atf)9 zOFqtmX=cO2K#xQ`|5=#*_SXVQ5Ly9x6lN9%{bj5KZk&_WFpBbiA)D)lo-?MAK&+S2 z`=_+G{~XJGg{P&9;#Aes3~hI9ZmyT67#5Vj8np8aZlDfdIg%|8{(v!|Uq1AYg+sqA zS4hv2PDb+juM6txbjlG4FCxQsd*&;aHPu{PdUP>)pV;VGjtA7{=h3VAb|{>PAcdHw zin}7jv`%WRde>G?M>kF==ejHpZrv0cY$Yg9Y9JoCvX058%>JLN%X4!6Z{m_|AQwz6 zFzGtDw?UI>AAP~<%?|d>llapah?fJM4u+!JI`LPJFPWxeSm7q3&aEt~5M!}EL(S>a z)M^|NGCTZiv>jA!4ZL~RwbPx*AbCnvN(@XMX`@psv3lJpye0P~!3>xndpvpZQVDkJ z4)RfM_ioBs6RIzg)2IUGdD{EkJZwTxx00W~)YD?496CNG60ubf17YgV*@=?Sw}5sg zR`4IYy7CcsHD;*g>yp!OjYk%=Fy7U0r{pG?h>Bso4Eu}={bF-!&VptBnz}v9t_pbe z9?v(rW)(}~lq5w|z4}5dr%1c(8pGfu@RsiCVCisr=HsYZ$Q z14v@5PQr<&5iSFM5*&hw)oizj(eCGtzGG9x70fyE+UTyU_R=!3BX^}SG8B6k7)jJ- z81dH&_7jXKm<}lH=JgoEjrWbktIH}Hp((FC#7mwg9lM5oC+y>T=;quR%tQ;3W_Q{< zU3V#jM(*`em!57V(wV+)=GXu))`b&?dV-KhQYb@iZ4;d-h)(RKVPe%j zm?CsICZ9Eg@O8E{`!pw&in#CPe13VPvLI{2H;X|m^^ntJTUd{On+YuO{I zpAj*7E06G^Ct0mNFr~z$RdCgmPH9&F%flDE1HG^;sHo#9dUaRp%qZZej8UV3@{f~} z5Z9-=sqUXmCpZxhR}_D5`KEhpDc`VZuQ`Tr34lH?6TDn%@mY5iaQH>riAR%-DDLjxL);1st?PX6*;>RH0n>YFXriFLW z2T@p0Y*?DW*(ZN&@Qr!Y`mk3JO5m`#%Mv|nK@29UdOYn}Om8F^TdWqrLg|M{{}%G- z5n$-n;~{U>g>z$}0qX})QPrPlmYDpa)}2a4N8WJ$jONbVLCG8ZRqO<7-qV9Rn4w-N ze}%xVez6Hfbho_Vg_2A&o12?dv*Q?hgrbeC$r6yn*%;#hf@1S|Y1n2{Hd+quX`~6E zK%X4pc9mPt0Vmz2F_A5~UDs_9y$M<@sLrt%#wSg&u|c`yRScm~pryUl+_!!0nLOi9 z`jGAGSHlBgI-Oh43rliu|69!xfeUGYmvQ|W`^=J`Jiy38gb*T>sp3GkIMz|f208rJ z8bwQLWu1suKL%~#i_|$^fmH5KoxT0qpN1!!HNP#Y3u*OP4|Ab=%LuZd{M})lLh+lM zRksp^d#yh05Rn6KL#Ppngvsbloon$<#hl`NXp#;3g2CZZVWAgoS0=F&%)~>KN2ptj z{rBf}mh`?yB~wxPj?2Le28z{RBaz{9ftnA#>aT7Y*`U&0q8<6*jUbvREJ+-fl#hI6 zk-WRw9(AuhgrWL$?TK50V)R&i$VZi}D9L!gGl#n9;VTW+%-kiq30CHp|4m9rudW7dY*@LiK@IzLPoz$g>Osd zdG5E^@T1S3BQ#Hu6_N|V`{~!npET{##C7Du;8*A%J?g1OWc=P*JnV?(al=C45BB(( z_Mw%^EehAs1W2d$^5M``NcOu-H&f9{d|9pYsIzcgt0)1da%(m;y@UkigauBIPVE38JagK$S;2YqJ^3Ht5~NN6fq5x!nf< z5RQX*;#_80!v2uB4Q3{n7lR87l)XGa3+aW_;)sWSeg3Zy#gVg~cZooOqnmaD1-cjn zy+(D{yab4)7a!-o=WpZ;{^{d0?FD$*n5BKoXAw!6-e5NoXxoO#K1+((FEaq_e1smtdKkFH_E>j2O;m@|WfKtvRf>Gy!}(Xi%69Zm*R)&o||hPnB5 zM+q$E7Q>fFDK{Nb3j)#>fjG>Y|~8YxFR-fqv|Q{lzp#cpA+$^|DG4~-3FOF znQdQh#RY>}ioP`(!9@1nT@16(gM&Hq|6%W)f;0=iFU`!Xw4Ie^rES~z(zb2ewr$(C zZQHh;)%EY0j+u!0O-x_RRY#wzbK<>zV(qi{diM&A?zS6jAegqsF76t}kW@f+SQ<<$dY^0hIgCn=&Y-A}?d99TaGKeY-R4;hHpDB^d|*OT5>UhP zmx;fXG&fb_QvgN9w?Dd)7(m0Z{#cYMC4_NVEv=tej6c0MM(jv zHz@~BACb@(@`MN^$R^kb?vpX@3-sdomzC>ygy{qwm`$1EsLVHWiEgP}?;jb5X8hI} z66vhQh5e2SH2pU694{49r87Tb&VIMA#n+Zd*%lOHNRlv190(k?0fJ&?Q6^dAdYZ+& zmm;7?RqW2bCZ*Ky2SK_0L+Ut1m&RX`)gY_X91GhTj+M$KJ+HH74w1R)lHUYwm%5_- zhOsx*RIvqR_;!mJBOAPqf8t%f0M<#!BGcg19>vwbz1eDrq0K&K$S2G-SSficx%ymK zp5^=FR(<9E459*TC70%>y`;5kJ)MQP z?LsS1pz5%xz{S^^FdGsVSzZ9XHm(x)oljXp2Ubd(x%imWSZ-H1vjdBt`Jq0r{<<*= zBzjPKW6FAPbt3{9XYdF$Ktij1OB(rcEyr?rbyU;DA7+{3-gp?#V#-!bQehcm$2yZq z@n)mKi|hy4@?*<`yeSB%zj=DStrqeg4D)mYCMR|T*M+ARk>h2>Yd0rnl~Xgz_9Q=- zajdYM;JDc)0)fZ1j+RHpR1iOgV=Ap&|9viw%Ab#3gcoXZ(~4%lG&NH?0Xd^JkmvCN z$!~e@Z&G(Y3OtXZ9}jbwk1=&)63fL+b>(xpgW{$b>x1If7pIiqR&$MKCH9vIN&H6# zMR*GTR)M@9ku!ziG z_&fk95Zio>{(P8n_Wk%cGEf+>CeFZV7o5=^insQH%yV}ZCnWB|WUQs!0w6JJKL7|r zNqOzwjm665r-;sjo5YaknAO>XjzyuDJXs<(Kyi)yqi*)-QJgm%@`B{g?UtC;(5tXU8VE-3h~$1tAZOh+->8*=2?R%GcKIyCq! zIj0pv$bRk_`P(~pL}o_Zw*#4OaxZvW6yewQTTU=>=|5e8-;Im9K1vJe%E!CihkeHU z^hhOHX*||KWtU}pe#G)|cBc{5Yv(W(2;O!n-3$o2Cv-sTBol z7t9fdlm{Yann=b(7%kT$!dspgJ+3e201j{aFHiMiB+U|88n^@!7d z$T^VC$-W_(kZKOS>fUVmT zRh1~iIEhb)K#?EDb;(D6{)1JOjELc}%zzCoo#xJPCSm7U$-RIzZzpkE-So@eNB8XW zfcVy-CFSRg6UH;gzV2Lrp?c9+9cLBTGw^lpt4}(0eaSodw3ShQUOKg~GP#7MKtA^U zQEpx{ilJ>Wsek-SnLS_r_rog2^Usoc2`~Wee9*k<<}z{dXmJ@?0 zQ~?t?jBEK$U4^fY=*^Rk(Aywfqf}E7x10MXGU{n`FhK2&N;E5eDU0V{4uZEWKlpWj z^&0m=lD_s$O;@#4ap%VSLAU!-6fc;8ABs-oXwoHHJOvedW2_*B@+W87MS$2_&h26S z>CR;e)!hanCu=VK+<+QmHlt7Q4J17nL-qQ+7^Qh^PxkPJ0>W;mkoZ=Ge23v=oL!52MT2Q#ZgM)Spw^{es#+s zBbID{D_hOqnArWGh@n~vwhFQgqAW0s05 z$Lh_<@Qc6W+0^SB>#{qLy_02N!S-2u14*WBhSPM|*o4-8OBSB1QCG<|E+ZoabEYEc zrcC^uwR2kX_=4?Q{1Ri9{bLCq$(B!K$PcfI2dkQG*c`+_@HGuQ zwo@Px{-%yoS|UTsGqGSYC=Y2cm^u|U3YiS;qGyg4@z z%mPe%CaTZ?&*1w!_yN|;)9G6;GQ@=2imcFQ>q zg;8q;W=Izr6M@M_kfX}|eCRY$wx00NRc0Ad(T#}SQ>+texZJnr>jU`x7&u#8hA7xu z-(erdPAGAqH2cjFzCuIc_|hi$SY6V=PV*us4^K{~r{Cc^ux;{!x;jE-Z*+P=ht`JP zrBIsMd~@auUcMm8UCqgOia`@@7f1Py z_69+F8zL?(d;X=C-nO;r#dj}ze)B2#SH8<`?WW{k1iv3e9)fE~-+f$f`DDfJ5rS;b z))xM9q%RK1-7S>?x+`{@Qku|w{(VVU%^a%}rHFOkkTxZ?^R2QWN~ZWoqM$4S&YB*P z#HnddyfRgliLu`iSYb5#E5&9Glk1;9JQrV-^t7~g`l*rVTm&2H8uUanzF6wB z1<-u*pkf6hJ3|w~?BToEg1M|6DWaM+`iQf*bZF1Rtt>{QrNzY;CWtS~wRdMrCXQyoj=Q$&a~jBFUjDXOBsaoHuvR72tvZc=J;p9)UXobiMDWPO ztpLxgJVM6)ru+`r$_zKgp8m$vdm&UA zM>}MixT?*4O^gGF@A&>Q0N9XU{>#7&4x+8>O1mBj4%%Rn{no_)+Y?InXHl3dAbKk8xS zCE$D#E*kQAdWiwEM1A&DWwY_+(pTor1k~ zuVWj)<^eEp^1A>(#1*l7O;DnQ8tOeZnX=;eRvwXB!WH8dlWb~U$R4re7rH&>0{vCz zOnMJ*Yc&)g3ii&hH_|!~KwwZS7YM^hUy7=MSWE3Dn)e_8**|DUn#y6!Q~c)_1``tMh)sDjG?H4 ztR6G^sTVz8fr_3o-s(=$<{T_r%GL&<>ZP#Jj~#3LUzU+wh*LhtdtiE-ec@-Dsg^*C zu{oP~Y}EazH>)k!7t^@n=sO|n!XP|FGos9gq1tH~uMlxy(CxI~DjEs2BJ$g}8F@_1 z*bGK-2H|!uBMzTjg$+E_T^ta1O*9L$67Fw1AB@UDgLUtA zxEixv*R`Fpp`j~0oB@RY*12p`jq)t^q+mHnd>yO1j8nbPrK!K){Qe^h6uMBhpD&<6 z(DQMAh;e|Sl}RVIH=&{q@YGQ~gn?-d2es2jM81kL69lcm8}k{D$~W&VgOw)?a4@hQ zLq?@e0fepYE4l{M#zXV>^9*P2J0!w3U=6yLgi^d?9=WwwA3l{|1BXkW@jE~Z!Kd%_ zCvm$)FiF`m(fCWSK6R_YsNk`sd4=F-jDO@^l(OtbaD0gSvzOF zd_K&3loYkf>5ATpWnt#d6;9|ob`!RGaqVy^2TM&N{9%^kjpY8&G3L=6wKQSYxzidA zl!s~&<#RmPHzl$y$!L6;T&TS4go!-Z>wv30yPE7Ub-7y0Ps3A2$f{=yeCJsTsO zlry(5AR%>e<7{lA5zJA{s9ex07t2{UB*)0XtlmE8uo-N*Ad%6F1=|buU4W)08^6l- z9A}@nrM7PpNC)46XIHs0pZ?*#Z1g0gKXR}<(pu_o7)d)ZxIA>-8Cr@kbca9XeW%m{JW zlz&E3rX;k*Xn}Y`-B*2=N0f1o&36T+s^`i>krKFaXw4Tg()-o{0N4fb<06GQ+uY`9OXK!T6m(6qdYQ! zo&k>@PO%#dR+@CgbAQ8j(yUPg&cDI?sxf)F*-(KXGWGZL*hl2s)tO7rR}7;PVy zt7tG)Nh8Ty{s=X3Ape6V<+@ma8}e1B-1 zCVac!Bioq*_?;&iZuJ)oZF>)q_iq*ydageP{9uC#a%4NMlf>+}6>$ zaH045>kCLZfDFZ0boYkPGsa6{oj!4aguB}*W1ES$r?IF;DtHVN~&pJxiLwXNm zDvR1`-#DpZ(=?>u{wkIma>QbH-0jHx6igddJE4q71<4rVWpp?;wCcm{JBuCa>2$wHz#?a*^eT0l}TM z{ZRh2OWqwU*GptWnN%Eh9_8S%$h4A*j zes_YB@=U)4#6B^Z^|?zX;fl|Oe;L|)bU~??N)oXLOh$9FEi-SGQL$qXHXGcsRpfOG&IJ;w5S#Z~fvEuOmRvzbT3zBc58b+w5h z$>We>AE7Oz|AJ}+*L@eRR2Gw>m$_DAM3@dhhP{Hko(zs6AIhLD8Ylgwi@B>Ak*(;B z61Z=LmnL^}|A)ZvnA=b!Ub3n>#_$ZjyE(_U?yZE@%2zI+0)_0A1B^W&x5Ae;HMV`8 zEFuBZJ??fnnB&a)GZ2OU4XYnYHIqdr?c6xny!~{17;yNaG4OAX5hm-%w|NY7E%**G zr?wgw>Eif1Cb{jMb&CP$ASjq}xS+lC+nOwc=r0}M)ArdnhKNp=oknd(^aSxtN9w?f z##NGB`;uW-`kVB@P-?0Lx_J1n63C~|^Gtq?2J}+wl8i7~3^-}E5yEvOu#)Bm(uVfj zo=xQ5(32{xtjxJQpOXOW5Z@6Xk?c#_z4r$#3PN|$gJ2kUrA0>XEp%yN3a$hAr?Or` z3T4n}yH0pDw#AEeHlT#7-KAP< zn-D~R5<#35;Fv0KO&oIvHZZGGnwS(-w_9Ha#@~)Ord7PZa2%rUar-znG~qHEvXVgn zFo+d{G!kDG{!3sDb}LEcJbtx1Y!tg|CmRO--vugoh8!$+VykHDaIvx#}n_3CD;ixs)kmITkD|F&Z~I*7-=}X4_O*( zlk0%l1^nod!_9KfoIQ8m(}*p6E>aa?w2D!4Eh8$QQp_TByKD_MOmwhRi3iJ_+-2eA zt+%AT-15mKmRBUKs~x|1S~t!4ihhD}8Nz2q-Nj2z~a)3d(q@Adb(TPKjfRZ&=% zMFyB=)Ghd$JSv&DQwIn0mMurqju-gRr&uFFg2Cd)W^ITxg(UsapIkXf3_6nQD^7pm z>_0wsP0Tlh6w+o39oby**(478PE>EI@Y0PwI&++|bKS|dw}0oz>BK~+C8>R+Ge_%=h*|2!>Z9rv5BiHzmkS4kxl#cOrgOtREN zrYbHccA_?F2omhNh4wWtp%?t-OQU!?j$Di{5(e{L$r$_UnoO{nZB-s$i#2w8)OH`Y zrodO)9M0q`X-`}l`KTOs*unW$T6KLWTm$Rj>4bDs2jeY7l;~6LCtqGjc;4t;=KuxN zrq7%tV+IS+d&+clfa2ggS>Svj?Ycqm!kp+Ro2EZc%$vcxI4~VZ0<9b_>mC>_m?1Wx zUUpGe8NbbEGLNOt)7HZV7cdQ-oclm#sx}0Z%|hz?<)w)J8O3q)=3|4+8(+Q8l2FKm zg=jQUNG@rBm+hNA*{imdzg?(1#uB5S=Z^}2N87Kl4aIKml8Qj>S;)oUW~X%PVCqEs z!tc(?4){;LZnppA>tt5j^c?@=>;G=+W@BbxB>3;o|HP72ComkU@I z?Yt&>@z;NuoKB~H;^Dtw>0zh(rsfC;x5XvICBThvXO}h#KXMKE1YKQ$%QgKv zvgIKBG=xM36X`4d`zzls$ZwvFQH1^j1M%OA)lPPxAYmZEg9Sn41%3kl-;hZk*kSyV zzfk*Y;ikf{w#k%?tp)oAqYqap6FbCt9&^E27IvttE&)W0D5f@s5UTl{+#?koD&%!X0FWm zK(MVpV4z%ih-@!kTmTA+R%pOj2X z+F61H6%vESh$8(=$Rb4qsck=P3*F7y>DvWiZ(ZId!lBw&KUTt8Vvq?4u`jKI6_mU| zI1&?mwN9Z2fQJE#1Qn4410k9M4Q)>V?o@$(A&`yP9^2l_!13w;Aj$luWiS!(%ixYq zgwBFNIt78uieQFDFZs~^aw9=Q0axX#nECw~LWd^%YJJ6K7&@taoc@ZJbM>RR3-J*I z+N(X)^*v#OZ4~Xp<^F;D%VQwmZY;wCCbGl#=dTn6U9261n*_+4$gu4hB@q!QV#hv9 z-)XLmQ~w;F`B!K;))qK$+#A(qChK>0{UtuM-S;|zO&_1PIk8O`46xmI=BWukL*DYV z)Y;#umtE4odl~_fDLAj<;#+^zisK;k?1A;R&$tuJz>Iz%GgX+sE7CApR{vm7qpN$jVRu7iE7MQ#1!yn=fo3gwb`j zC>{Gp&uJn}ZCderZv5<`JuwJx@RSNTqxo z^U~~0g4;Y_CaN_bgW4dXK7nGHJE}7~vETY@(P`HgSL!pg2}KC?-_(&)!f`>zO#e>0oeFILHUz^E}e?1&oZ~%*$z4sg$ zVUWnIFs0W5Iq-K%G5$l@K)QVb;*pRki{A@iNVrg zRK)z|KADH*7)>g{&FZK;Rh0FDJbt!j#g#jXT0Gn%`SN>w;5mcnan*CZI5r3Ocx|7UlVS+@p$X=tzAqNgVNYGLw7GUU1o*6 zY_*o`H#f@U+@gSeU z=;uqABm|lKxTS_hfC!=v95}7ukz9p&vH$c(e8NG17Vq>a$Vg9;4J~5u3Jc#h=CS_8 z$)|J2xytqr`{6C4BqvU88^c*h4)US&15>UF0f3~9#6^9)O8V485an@(N|U|DI+koI z!Q)%K0t#>CT$o8aZOu1+iXYu`rMU_@6`~NvQI{Ns#bUCDaig@@?vG=HVvgZZik>KS zay{y(9Ew)|A|!?=#0OtJ772o_kg%Qgg4JK%{Hpr7S1+UexpLD9F?hciqkx-7U0dpj({!e zXv@Vm=4xa3>`&}`%dV`RSdEgHvfAMScLUU5d(e0xP^_G;&_whp*8p8FY}bNT;xg}y z&nX+1yHkuD2hxRDs*SRD{iz$_W{VQJ_0de)PvHF7^LCG~V@57l`FMP8QyF6y!?%Bf z8P;3yI6s+~MhqvXq2-cz=@%H`nPgBfMxp1lRaQD|L1mRS9X;q&H(|cn`AW5wyKLJz z-IKpt(kBDXGk^Wdy|q7@LgL&}7SV(W^uWw2_|{&^VoKA8A>Q{(jP&IYSUP$Vi!z@% z=&RXf&B$^&2$?Jy27G7RDt<@kCmbA`8+bDptcEdM$|(oI-oG5<-TD5>;8cd|UPRq^ z0Ekd?2pfM1D6FA$lE5uOJ5voyf-vFaH{BXiPk`*&OA8g%$%MF}LM2s6T-|L`J_stn z6>>Qtfh|k(;*pl~`_-K12rw%!2GnT=RS=76Pb#1fMc>~2#&P6j7JJe_`pai)$^wuNYUJH*eS_l5L;Xr|--;ZzGoVO{Cl_s2jdVQE z6L?JGY~2*qHhIx}LlH22`|U9nUlsPsi$w~gPni-wcb@{D7i+~Me1zxq*4c3Ol^GTk zmBd>Rg0ZD;6D2S5$>UR#O@qV^97CCgyEREYZgp!bPF@B9PC`R5m5n!#?AH}jMcLKN zqd3NciV72rB5!X>>?a64(cAJP$a~1b#n|Q$jelf1zfhGo?ZuPll!Rx zxalAGnK5HDo(&wun0P}+wkf|YSsoq@7JuG=@mm2yoiG&wNFo!CukXv%ku0>-tAdF~;Kw(0lP}U6KJYrkzeeeD zCL&PQYvwn5Uf*{khRvx5{&bx}-cNdcI3yWB6SaG%4SG0_So50eGx<<|LLCKGM{d^WcJ+hcYk*X6Tr@fN@Au_gTi_9>6Oc6KJ9vZN?$ z-F=+~al1F9(-e5pHb)~<0!JINGS^LaBl2^7Exvd6A*;o2zmgOD#{_YrUrhD+fpU5O z0>)l}_EAu;x_VLb7e{%Aq(sC^)kz>^?H`&f7?@bJzCi*t#yQ3mR}!@NO_tj`!@i$B ztlV|kPPg|o6!yl^l}|M+(#I%$OJYft!=TrENHilN1b%s=U=-mn$eT>=`?$-z7;kbz zsyVfnYe{fi`M$xwtQxy@)h^;qhKkFyNk3g!Dg6Ngax7&iPLs*^EtI=c4`Y~)Y$`P< zLb1B2<@VOb{?UX?a60MJAZ+>llR)?A(AjMCz8F61_i{D$^hx1r*)+|l84dZIJ1 zMpM&~d>WC-D0p!7i0!E8-rgGnsmT_RKj{&~JkI z0Nr{0A$6g4lZ2X=Zc&GdVhsz!wPozsRcVFF-R{Vxys(z$|H6}I$jaJi)xOh7F3+#@ zD?NMmzm?$SzmXGcJ@w_b4f2AVphoa^uuWoca+xu%v$?OQRF;>EFwJ!k>kVEqdT^Xu z@_7Sa;iXvcxpj8kOnkDYVyZq+P=(xVH5 zf}V?QmW=%${O=4@w+Pwkowja(-693kBwep?uI2-C&_-J|&7p18mr+BpW=NYk1>tT$vi1_6v9c~IhQ&yZRd`qljq)W9kNnwNQeclr;cr%MwP6mC!`j-04t2-N zKgXG?>}d$a)@s~Q{&Nb7)a?MA5&zoelS7snf~g1#B00(}#Vms8&j+dMKXwGWTcw}d zMtc15x8SN?Mwx3WVKvebO%0-WC}~RB^Vwz8sJ~LU8;`REgQa%(=A;f&HQA9lz2$ap z@#9)qg_Uay*m2qcDt$v8NQA#r>d18N1RUbHB?wAQp8KP$OSWG&x|k>=rY^+9y_l4r znBOyx(e*Por3Y`HFGy(<>jct`_@2x1QnA?)Dp%F7a&+O>#KN+|M3K_rBD*%#A(M%- z@#QdS{CMqPsrMVA`M~ofxoCygU3QiL-Q8TM-*Gge8=msrCD5SYoEJ+;QD@e?Qa@{t z{(HvS70Or{-7Nc?N8L1xI4I3eH1+#vi0-kM+dhyeHR?HA9~}12$T66n1G8XaYfvFI z#tpgKmKKjpy~dZN%ljo)n+Cd#bwsY9>@2#+2uf}q#Ao)rxjI@vfl7T|>Nuhu*td@Y z5U{)4$aR7DgXVxN*FkkqY4!*vJLoXE6ptG~Zom;Qc0pa+_>+GAYk6TQTfaxB(VrOG zxwgu_9b;J^L(863QxNM?-aJ zAm|KUW|rNppvmcnLl#f|LN@7PjpEOJ5Z#FqQ>d}E$ScmFgPawT5S=SCah9AR@$1?g z&v5O`reUFz>XqB$vgO9b!S1zI%d*Ijp)CCxid9;Qs9IW#$bKX*2s`ql8sBds`F`afpZ@#_}y5? z4o+T6C#uS@-c7sF6+>qJ2#I`T!r{ZNm{>44KU#C|iJbv`XQ! z8{iP)kyO0AB!0X2IHX}46PH6c5(pY@3D?^UHuA!zPi`}%+De^SQe$(W38>tLXDiIxoHMXXcj^B zC4Kd&1bEfGa8z1dJ}2dnd5ag|H&Lk~8dS|Ve@uoYkKk&#qzj~K!#_!$b!4X}Sgsui=ht=lDQ>J1 zB7_Xp1kQk7#_IE|8SahZ9WKsZ8Ek07O+mkEL2xnHt$hF4R@h+vD6SWZJY~dJYwG(` zZ^D}z7ab0uNVr~0Dd91Knw_$pCE#-{VA)CI-5CsShjdMIZdw=rNL(`P+F8(NvKhg? zE{A9%^O=INFF2TxOdo=`<~02+cLgA?+t7x!E^3f7;NxltMsY>$&#Eq}I#al5((ibi zqVbB(&&M}uzGCgo!f@_9e(LW_zC02Tsg02&WoVm2cSmM>f?PBTwM&GNLPERQqE22v zKlp|nqB`Y5DMQXe29+PNPQsmuN&0bI98=*mIED*)DPh)C%5`oj-H{67 zEt%iV=N>ftdf5}&q*QS8=YzGk&m2%wY*_^)Ze?Q6gqO0&aa=na>yV&rDK zc`{Ft3S846U}>jx7Beh_TjTnVCBdp+yFi`|Q>hy|SZj`E26H`^r=D}?NUqrc>6OqL zM7L1kEmD(MIHHxh$rJge`EKwDf$aC^jXYWYa?ToO%2xICZ?rHgqqP<<{i(cz>#G%A z$5v}bs#}^b27Bt&QKlG{FIH8sU;`lKeU!mJ9*qQ{J36>69Xk&M(Oa4+tEtb`O^QSB z`CgnM+T%%BF&q6x5=Bh(^&x4(DPZ9Nj;U9jtsXB?kav(!hHXMOO4Ni>PH~OV(Fkn_vPKyE?~Bt3A@9- zBZrWv!#jDAS2qO!miM(Oj2zXa8ytRg2yCQiM9twP%XQPjb)@;r@p+l_Nxe}lT0C$D zmT@PnwEV#Mx$uLEZH%-R5PMQVYlOEJ0 z`c?JFwX@|tIN5&8se@diW9$Kr1MteZfQ2{RgU}zl*_M&tXP3uRt;b}IZP`SikC{hx zXu+1NG*xbPqTwtPD9YRy_@&J(GLw1PM(IoP+-?Zx5X@au2pxx6f~ z!{E41=+dkV$~kj%V8>@(*gQfW?*Lv%hs3bE#7e1xtJ=pJuhvz^)M#pi{zf zjb`%kmtjU`rnK&?sZV`7i(?Jjyl2O{Wg{2Bqa`}Pos0HN(Bp>DCaW}vvL3lvGvNt3 zM!U3RWwS8CiqngZ46?$qzw}vQ`#nVjXQH}^I*1^=ga`^mL}%NFRp1H;<#WoAubDWK zFxcnyw7nFBK0`b{rPRJ=jd8CNCl1lFPL#8?m>9o2zH_MyR!REDb_A;p? zSqK#Zy+hugtS`Px&R2ya)={S0y4vdb*d&t7J_6 zW-p-URhm!fK3m*S_2*F%N9qOdkNh9m8)c^`{Ih!`SbRLTlv>KRwuA1n92d%|H>&+* z5~-rB<_`gdu9~cMt)bNGAYJw2Bjv>#*m-VKQFMF1;KGX*i5a!`YcZ|$Xrdz_bBPAD z<&oW?iEdqj6(8ToB)7MP(_%tn^Od3b8+dlln|{_WPKPc~b*iZ|{WDVpmYpFKT{W9oe)$k;p3`enXDam3sxSFzB*qTdGOqnpp#mjKu6UGMe#`9cow$ zYgBWcLngw`?8QiUOwtNn@g;1J}-FUc}PORq#}EH z8@bFiPJZgkbs#GiUp;1@50<7DTRF+1lXhun>b${?akA{StVOq2(#5N!UFpSx8$}#T zk{$!Elcy9t`Ol?-V z#5D$`I2O$>ERhB<6;)3aEAXp0wkTX~&r9AE9iRkdM|UJeCBI1r=+<#vP9Ue_eA0G4 zS_l%8*9*VNbcsWvX$XZM^L}T)-p}8MIV=8)4G_ToBkPr}CHBQ)ud@mH#_^NpPzkv2 z!y8rQUCz&pdVFS@HNWgF5c@$0Tj!qrPqS8z|HrJAfQ^~{|Cpf?{C^Kot(9eL59m?5 zPF39yk~e-0yNH9J2{t?u+OM@xE?d;brP+{(%OS&mzh2%GyRE+fVe!T0nqKv9eYTY^N1fPDQxrJR@xRp*c8wvAgR1?Xp7o%b#FTLAI_Zhp&xZ_ zv<*B?klDR5;&aLc9178UpHnU_PeXL}CYzM9o-Us25d_}rH5(+aZ^o?reS9%nd(w|Qkth!o0v1e zEbOCc0h12NfOgb`goz}kRKuY*)VD9t>Oas+*JG5J4}*D;iS#x#kx+b;XE_@D)eTN!V9v5PTRPn<6ZBSZQ^R`#ETObR*4?3N~Ma?b92ta zcLxtH)5r8q()}+tCh4|XTt!2*wC_er$tEj4shUHN!DN9NSV{R$rj*&R4W9yv)Ul&i zFr@~V6s88XA!^%ji{H4MqP`7`zP`OMSY)6vH8miK>Yw7ENRv`v+56)`^DG^7L@u*X zik}n~Jj}Lqnw{>0OtNE1jT`DoIFs)Y>ceppXZ;du`UMdK)ybQhy{&PUB-oK-L=i82CkgS=PN`uD zvKd9FTgHTM`-=&&9#^JyR}O^6rTQ+CP=~Cpa2j z(}^j%k3~ZNwB^x#A^xA(c;`4BJQkhu%6jZS7A4OnuJFooKD#gc)1jGvNB@#19db*R z-nfewPARgrZ>PQ=w&`$fQFi7pD^+tkXL!SI>YWjAbJ{u>R$t$ia_T0$w}g0qto5E0 zKz)G?u**mP6Euwf2^!}A>GI6^|D`;8uG_3os_Ygt=!ho}kceyf>%-#%N_YK#)n{Iw zI! z;AcAcR!oh3@JVF0cHE<04ch2V*GjmbeO}}DlWi(?|W5UV#am0o%qA~Gu@xF}>aloxkqkiJbO4bvej}>CDM3=q0PG>hZ zM1l>ysM?BZ5udI2oOL=ADkZCSt$|#{-@F3B5vqFaM%2Qf+$*M5PNY(gLMYNW3Z!)n zogUMIa>|;JnmVRT&%Q1ycsShQzX%E#ClMj0ofFCr)zEUO?+^tW_fk^&*>N(x=GM}~ z6f>l7hovru2jeEG@;41~+zWHr>toPgJ?(1LgvnO;7l0={#K8Nz)TgVD{qYd>@C*NE zjH1SJ59(APh#dwP;e`Z6PeSVqW#-o^lisO7Nz5Vl7_0`EcHjVEWY7h)8^98G)cr91 za1QtAjwp)_slS&%H~28IbjjY~KwR%(|0OxV2K&D?_7qTYBu(S)2^MUD;I_C!aEBnl z9TrIfi^Bpz0s%sB4oi>#i(4Q_a1AaA5+Fcu4+MAlclRz|?!LSKefQo>y{_u&s_LGu zp6Q;Ji#+I)!Js=Gdo(&)=$gusaxSuBjQEnDMNvc&BSeTrv^4{=>Dhb9eY?}oKE>JU zVM@~ngh^p(6%}C4b5gJUawJ+uN;tAA=dDskvv|PT zA@pEdqG(A>>$SzY%BvB`=z)8t$HpPl9_AqjkkQJKL{0z9quF&89@zI8jPP|`r2rNM z^Q-!iL~j2~o!!IVaA3}JA(8ifAfw)*evQ+k;t6wl z-Z|yCxA&T<($ zUAtRfeuY;RT?1jk0ez~Jchct8TE<-9sNFiEWApZB$0qp%FTg1_Ory09!qogM9WT+D zQ`u-*KVRBOZOrM7_Z?1Ai%O7oDax2$)*6X%sVJ*$)X~?m@Q0$ z^=kZ`^}f63l4Mck`8(eQDagb&_;_CpuB)upL3BPkWeT(oC6dA3HLH^no1fNIMqpi+ zl|!ga7E8vN#3sx`%+DkoR}Y~zFgJp|Xkgyvp2cDYd(q6Uvyn<^6&*oT?I*?ETm4Vf zdS*iFjxKhS*2~{(<@mYG$%V6&I}aXfNY${Ey3w7c#s&f?B+1*QNz6;L|H*3v{_ZtG z!hg)D{x_omdhO1+K%(YD(rUktIh_H<8NKOz(lYEV|z7oPCB z?(p_JIYsVk9I>iiFB7l*>^rmuzHyk zg=qx`Oik8FPjhPS(hl53nYEz{>V)D2=Mh5NdU5ceZ4cWXmYCqrdlqNy7g-$J&%-uZ z@gcnwh{?FGg*-qMej!0%h-!{zilixvNg#qxv27}DQ~vz5thGk84?0ObHpMw4l?j!) z`(ZCO|KmXLlVC9gJXd6~`lw(YTM8x2RsmX z78!mSOqm2|{q26Mo_atL`gtD7fm+^5N`Eg;9_$JUqjpK<-E%+CCSA#8?^7D;Q{w7X z;_6ePNsRTCk=hFNA7?u+g*}sW0Ce!0|a-=7X?qtMO{~76Oh0knOfze;hP-={uqt2#coq41p}nlr;P%HXwofoTCS(SmhZ1V=A_@M3da^~W{3o^ ztx4z8YtHP~G~L2B!}pb-BLEW%sA_YjtP)x1bdTSj4sjZW`Z? zNpa6oi#|y+4CffO(5SmDC@xY~uTB*MpHPFgShI@^V~X`;57;*2(65~vDMQ-%2!+y^ zBDDyG_mzuZk!;vK4C?~pP{Yuf2P!5+@3HE})2mpw9}E&#s@4Jl;ZLTJwg^z&OlxJ7 zA1KE`throDobRaVw#FDl&NN-lzu9yXVAISOX&1exM=XI8D}+{KJEg?W+=yOVv=d5W zgNxVSU&gTz#(Vy0&-PWVyk%5TMDq3$HQGqWqzI(lKFT=ZgUS+feGP#U7lcr3CFQld zPN`KCvdTd2Tf-i&gNo^xhAJy@5w*2VY(q?2~r`x9j`BCTO-e) zGDs%fy%p483b*3dDY#dp6OS6&S4bMkyZuG{KBKId3#s~l_>TOeIW%ZeNsZZF@AQU?rPj^&UK&7wSZTq6U@ z4e@7BKVGwIhaG?t?$Vj+FR|X`yb-grP-+m>Zd5@T@_tcLI6|WaME8aHw1fxUp@wAT}WSkM|XW| z$n##`C#j~xz=)%1*mzOn3(k)!{WGyAFThp$K3O##-bNf(Tlu8-K~U4G8&=zZ42AoJ zoDA9h3?v?8@s?E)Xm1qme}EB&8Ax7pGPK(hW7EGC@aE?G2 z@9*zVUV%S1CwdSU5P(O^`mwHu6Aq6itX+XEU{Z8+bN2v<0{Q;)RmvwKD*F3p>Hi*W z-!X9nQz?;L4_kbub3)5(;c3GH7-=s>uZkr5m!dzTP-A@gV#~4 za{aGnD7IQ!bQ2ZkkLU!cRr69Ubv6$K)kPcX)RkgOZ1ky2CEd-J?imsxPxj_isz0tK zMJ9dC4%$#DbFnGHSyG3JA9-&?STi^0viI2D)mu#?5o5TMnvhw{pv#`~4J$uN{-td9 zV`ZT>J5*mv?6?QaG`{D0OKD`8zUcW$>Wutlj?^5fLbOc!d^`8|j6YT@5jqNv(Whos zhf!v~MRu`Ke^3)cNs2t{Ylp`cu46;f0=m{Cc0kK z#YcX>&vj6N2=KZ6)dO41wIl}7cnJOiAJ!UvH2NEeQf&wDn|Sf)pwgl*AH~$v!z55} zL;r%|ClXtXk>|)xB<$!^h3r)eFDF$)Hd*wolMdOYH(YUy(MQ753*5FWx`Y)TY!UU#KWR>keXx=a7MHWG|?#blMs) zkwR*jZW*L&GyAC_e5Po$YUQ}(YMO0nyZuViZPs3JjwA8K%Fvj7?%0-qBAC z3k&X1%}r$2vvu$|(6M1!EgVcR?mNp&H;j)WdiLY|kaqrZImgQ121rpW*&<3!BbfUv zxSoyROzTQ8u##s?BevCvzyx-RK%qdBjGlZI--q0DCidm~_jb$!oay6Qw+LJIqSr^x zxdY9zgq7lsmR-PS`BIK8w=Ll#qo49v)XZ*aRX|1;gKZQBj{N908hMT+nr%!uPXk0)}@vD#@3g5-%9z8?pjU80l7M5GUY+bE`(?L=}-N_(w{8=WU473x?Wmqg%^=1l?(291-f`#T5;)r?DHx&YcbcF z+gaQ=^&O}5eYK-@Kz)+DAA5Th+Dyc)VUknMx^T}lGlOO}hijQ9%)ayUuEMja1)q$D zrlOfzN_@lkz0SImp1E3QDrQ}oSTG@`lUuwKwT0`6#!ziLPfU$ytSohmd!{U>XmjPJ zgt{TCGI2XEUuMB9fs< zJoDrx@Hz3V;dA0k*nRrP-AbVNrM*{-!U&Ub+tQXM>I#g;$ZaZ3QExYMD-U!#J!9O; zJ7eq@@1Z-o3ZzGZEtB8-%hk5W^v8w8)P|*C&UzplPafIyaODL9&s|7%FRp_5-B=bR z*KMSgeKf#sB^uxcb_dV|m7>OZB2^JQ_=4OkhGc{ZIK3CtMRj$Lgl@Bf{)jt~OIR~+ zGQ9lG>p_z4vyXlIA2(L`XR>5hO@=0KtPW3lhEPdrz=C#H$mN>)3Eza|ifeM4NI6s3 zUyY&Fe$p#OU)5D{Nu|mgD)rP9M4|c^mEd3%T68x$o6{r^e2ngAY-1Ai)-rP1(a*f;G( zsnQp|nJ%qs08~3SE6FZx`b&|*LAufKOxm%>sD+l%u^HINZ#FQthc{OvIYHl8V@G!@ zHzOaXMA)zz+KMeQP^zBMuKYEjnaGIb)|NOno|y|p@)dGmJhb3|Q!;~|#RQhg}@hx!R&KqBxB~B=hNVXy@=yj&OOtJ%g z`??}mPvi9f8(i-{ycDp8`i+IgeO~i2{jtWy<7%aETaIPCnTBr3 z&^&)tLNR+Ov4f|A%bnV{IW#c`#1WcLq5>~g*H3?#2cBBndmG^BrBATf*txwLI*wR2EXYq_Sc=!?R`d_fM<11 z!}I)fzE?JzA!*pe1;-JZnp$TV^D8`OWVgZKW#x;6)+KQft(%VdJ&SXbbl~Zk_)TWu zLYB{v^r2ip#MnI2<~d|2)~7S^;WxaPt$jA>wVt!1{qwJT%lrWnP1O5$0{XRXKZrPC zG>zPTY~AAz7{>JPmw-rrZ9&_4zZpE3F%Q{(DkG)!@_iWRlHP z(LfIir|zLQ6zWd&%wDl-%&7v=gzr8d0!!*w3NNHhEXE*q4B&)I(*5lA}`Zt+^EES4#2 zvI|?L8l&Rv3%dgp8ewBh;W~@!3+ruh&M}r=6mZ7IU<_#~ zW)W6BJqy3l_7l^*eW&Vl8ukNYDkla@yGbvH5J!JyG*n8QSNp=z0}5PNF31p^{LJ%FZ34Q|AKx2=X9KH0rYbuG-iK zQodM=BTK1NkXLJQnx$qKlewQvoMvL^Y{g_GU%fJ8?oD*QYpXjDbYrKTJ73Uq^sR%b zOkwO4Z)5&N(dEc>F7M39O-H|Y_iD;Bwt+WDb_eWkvfeHqk=$01&OdKIdUg#hW9wWu zpwBmRU{l;lEL&WBKUYgzqeWZ;O+IYJa%eOx%;aMv$3527hfTq|WwZ#WuvvUzoMwPu zx>a$pe(i3Uo_buq24_csHP+xS9M{{9Wm$N%Rsu!nA7TTdI18-Uft z)=m#($i>So0OaNqV#DE)@$_&2yRn+`3k$(+VN)OwXbcAqZ~%e>XE?Bj0|*>A!htDJ z0Cod`a&Yh`RyH0zM~|nVzlf88^B{y+!9!2s03pd89zuvignr5d!^w7V@ROnoM}Cn# z;HWnoAOyO>LkLT`;319wL?A>X6eCg~n19g_DQw})Kh+>IgW$4(lYeFFFANAfe#QOL zj?jciiOAj0M87otq{zUf>%alRRxfx+1P&1PBVvEDB8mZ_5uxWN8DS}cf`~&D9|HW6 zfQbE-4}=wnVnE~@5rIHG;ffK=h@2yy&QCS+@Hj-_BMkjXMo@k|!Cz9H;QR3Ys1M1^}mYfmn?)B1o%}65wQs7-)&{%(e<=`46^ZHW#f@^16g_eS4CEb zYe29fOh5=S{Ig|`n$QuIv%acG9B%;s|T)$h*#-j#;c!S++ z-C1EChOo>L>@08P0Rphfi}3;Z1b_m3f_%J!y!=8OKwcIgkOju40k-{LEP8HME-oNj z0FR>8Q+E&!&qF;0LvBUSr%$b|oSotBt>@tA4uD<1yE!L7ALQl^Qw`wf<`v)-6y*~V z2mrT=M;Yt{vUUS`vjLvCSa~?OgRB5ve@GDG7T^Z5;Ydlr z+Zy;EDL(!`&xH8zQ3BX$mA{V>{MzmWzz3Uf^lygC}(Y_nL?@nS~sh~%M7a0_ZL;TPmaDeeS!U6E$p}B0ew74Xu%jCjMvhS!4ESyc~-0t)N^%{tT{sA`xh<2Ji#&yY2>lORaJ5{7_1z93g zX^%p25j(0~mm(ZHHIywij576wXvByw25wst6OUCF*D0IV!_d<`oa6<;reG4zPMqJY zNWWOpu(!D~Q$IZ*5VFFprI!K{_|cKgy^ginmz2sn?edGHx@zmvjgM4TfHLS17e(mF zvonzX14^tsQFaXG9A7g(r@mvrtfLK02-kdz|2fP-uA2TUkyC__JXOwrp;$GI$4`42 z^m15vBj1ulBPm2M$P?#aX@|1P-ldNu`Y)8mp||XZQmGo%Qf*iBO9FX-G1?zI?DeEA z-GM1{QZYT%OD8*O>Y%zT8s4&o>**-Rp`Adke9zNwxvA{CW9aT#GipX>nK}}%6YcVU z>(=Q<-8V;*6(~k=8Xqmdth~GzJkGZ}(RWnW8R&%rjSLC+yBoNBSh;!lxWVeZC?7As NFb)%wf|erA{{hepRjmL3 literal 0 HcmV?d00001 diff --git a/tex/misc/viva_slides.tex b/tex/misc/viva_slides.tex new file mode 100644 index 0000000..4d8ff38 --- /dev/null +++ b/tex/misc/viva_slides.tex @@ -0,0 +1,141 @@ +\documentclass{beamer} + +\title{Analysis of Software-Maintained Cache Coherency in ARMv8-A for Cross-Architectural DSM Systems: The Quintessential} +\author{Zhengyi Chen} +\date{\today} + +\begin{document} +\frame{\titlepage} + +\begin{frame} + \frametitle{Why study this, specifically?} + \begin{itemize} + \item { + Amir Noohi (Prof. Barbalace's PhD student) currently works on in-kernel distributed shared memory system implemented over RDMA. + } + \item { + We agree that cache coherency implementation and overhead is an important consideration for such a system to be cross-architectural (e.g., x86 vs. ARM64). + } + \item { + Unlike x86, ARM64 (as well as e.g. RISC-V) does not guarantee hardware cache coherence: + \begin{itemize} + \item { + ARM's ``SystemReady'' program requires such CPU/SoCs to be cache coherent at hardware level. + } + \item { + However, to my knowledge this is not the case across all ARM SoCs, especially as ARM64 PCs are becoming more prevalent. + } + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Contributions} + In this paper, I: + \begin{itemize} + \item { + Identified and exposed the in-Linux-kernel cache coherence maintenance implementation for ARM64 architecture (as used by e.g. RDMA drivers); + } + \item { + Wrote a kernel module to perform performance tests on exposed mechanism, over both virtualized and server setups. + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Cache Coherence in ARM64 \& Linux Kernel} + \begin{itemize} + \item { + ARMv8-A/R defines \textit{Point-of-Coherence} (\textit{PoC}) as the point at which all observers of memory will observe the same copy of a memory location. + } + \item { + In Linux kernel (v6.7.0), this was in turn implemented as assembly macro \texttt{dcache\_[clean|inval]\_poc}, inside \textit{arch/arm64/mm/cache.S}. + \begin{itemize} + \item { + This was then called by Linux kernel's DMA API, e.g. \texttt{dma\_sync\_single\_for\_cpu}. + } + \end{itemize} + } + \item { + For testing purposes, expose the assembly macro inside a C function symbol wrapper for dynamic ftrace support. + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Experiment Setup: Kernel Module} + \begin{itemize} + \item { + A simple kernel module for shared memory is written to test the latency of the exposed assembly macro via ftrace/bpf. + } + \item { + A character device is exposed to userspace with \texttt{mmap} support. + \begin{itemize} + \item { + Allocation size on driver end can be adjusted dynamically for testing cache coherence latency over variable-sized contiguous allocation. + } + \item { + Userspace programs can then adjust size of \texttt{mmap} for testing cache coherence latency over non-contiguous allocations. + } + \end{itemize} + } + \item { + On \texttt{.close} (e.g. on \texttt{munmap} by userspace), allocations are flushed for \textit{PoC} coherency\dots + \begin{itemize} + \item As is the case for DMA memory, described prior. + \end{itemize} + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Experiment Setup: Testbench} + \begin{itemize} + \item { + Tests conducted mostly on QEMU virt-8.0 platform on x86 host. + } + \item { + Some tests conducted on \textit{Ampere Altra} server system\dots + \begin{itemize} + \item { + However, \textit{Ampere Altra} is \textit{SystemReady}-certified -- i.e., supports hardware level cache coherence. + } + \item { + Latencies collected on this system hence may be non-representative of real performance. + } + \end{itemize} + } + \item { + Ideally wider range of test setups should be explored beyond the contributions of this paper. + } + \end{itemize} +\end{frame} + +\begin{frame} + \frametitle{Results: Summary} + \begin{itemize} + \item { + Constant allocation size, variable \texttt{mmap} size: no significant difference in per-contiguous-memory-area cache coherence latency. + } + \item { + Variable allocation size: + \begin{itemize} + \item { + Latency \textbf{does not} grow linearly with increase in contiguous allocation size. + } + \item { + In general, latency remains within the same order-of-magnitude up to $2^6$ contiguous pages. + } + \item { + For larger contiguous pages, latency due to cache coherence may be amortized by less allocations and page fault handlings required (implementation-specific?). + } + \end{itemize} + } + \item { + In general, a hypothetical DSM system should prefer using larger contiguous allocations (which seems logical). + } + \end{itemize} +\end{frame} + +\end{document} \ No newline at end of file