From fbfb7d0e2159c9ecfa5d91e030fecb00f2097b5e Mon Sep 17 00:00:00 2001 From: Caleb Eggensperger Date: Mon, 31 Dec 2012 00:18:25 -0600 Subject: [PATCH] Moved help to proofpad.org, moved icons --- .../icon.iconset}/icon_128x128.png | Bin .../icon.iconset}/icon_128x128@2x.png | Bin .../icon.iconset}/icon_16x16.png | Bin .../icon.iconset}/icon_16x16@2x.png | Bin .../icon.iconset}/icon_256x256.png | Bin .../icon.iconset}/icon_256x256@2x.png | Bin .../icon.iconset}/icon_32x32.png | Bin .../icon.iconset}/icon_32x32@2x.png | Bin .../icon.iconset}/icon_512x512.png | Bin .../icon.iconset}/icon_512x512@2x.png | Bin help/compile.py | 47 ----- help/media/intro-mac.png | Bin 50418 -> 0 bytes help/media/intro-mac.xcf | Bin 337337 -> 0 bytes help/templates/contents.html | 8 - help/templates/doublecheck.md | 44 ----- help/templates/index.html | 0 help/templates/intro-to-proofpad.html | 95 ---------- help/templates/style.css | 18 -- help/templates/tutorial-rev-rev.md | 166 ------------------ help/templates/tutorial.html | 9 - 20 files changed, 387 deletions(-) rename {icon.iconset => Icons/icon.iconset}/icon_128x128.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_128x128@2x.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_16x16.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_16x16@2x.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_256x256.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_256x256@2x.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_32x32.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_32x32@2x.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_512x512.png (100%) rename {icon.iconset => Icons/icon.iconset}/icon_512x512@2x.png (100%) delete mode 100644 help/compile.py delete mode 100644 help/media/intro-mac.png delete mode 100644 help/media/intro-mac.xcf delete mode 100644 help/templates/contents.html delete mode 100644 help/templates/doublecheck.md delete mode 100644 help/templates/index.html delete mode 100644 help/templates/intro-to-proofpad.html delete mode 100644 help/templates/style.css delete mode 100644 help/templates/tutorial-rev-rev.md delete mode 100644 help/templates/tutorial.html diff --git a/icon.iconset/icon_128x128.png b/Icons/icon.iconset/icon_128x128.png similarity index 100% rename from icon.iconset/icon_128x128.png rename to Icons/icon.iconset/icon_128x128.png diff --git a/icon.iconset/icon_128x128@2x.png b/Icons/icon.iconset/icon_128x128@2x.png similarity index 100% rename from icon.iconset/icon_128x128@2x.png rename to Icons/icon.iconset/icon_128x128@2x.png diff --git a/icon.iconset/icon_16x16.png b/Icons/icon.iconset/icon_16x16.png similarity index 100% rename from icon.iconset/icon_16x16.png rename to Icons/icon.iconset/icon_16x16.png diff --git a/icon.iconset/icon_16x16@2x.png b/Icons/icon.iconset/icon_16x16@2x.png similarity index 100% rename from icon.iconset/icon_16x16@2x.png rename to Icons/icon.iconset/icon_16x16@2x.png diff --git a/icon.iconset/icon_256x256.png b/Icons/icon.iconset/icon_256x256.png similarity index 100% rename from icon.iconset/icon_256x256.png rename to Icons/icon.iconset/icon_256x256.png diff --git a/icon.iconset/icon_256x256@2x.png b/Icons/icon.iconset/icon_256x256@2x.png similarity index 100% rename from icon.iconset/icon_256x256@2x.png rename to Icons/icon.iconset/icon_256x256@2x.png diff --git a/icon.iconset/icon_32x32.png b/Icons/icon.iconset/icon_32x32.png similarity index 100% rename from icon.iconset/icon_32x32.png rename to Icons/icon.iconset/icon_32x32.png diff --git a/icon.iconset/icon_32x32@2x.png b/Icons/icon.iconset/icon_32x32@2x.png similarity index 100% rename from icon.iconset/icon_32x32@2x.png rename to Icons/icon.iconset/icon_32x32@2x.png diff --git a/icon.iconset/icon_512x512.png b/Icons/icon.iconset/icon_512x512.png similarity index 100% rename from icon.iconset/icon_512x512.png rename to Icons/icon.iconset/icon_512x512.png diff --git a/icon.iconset/icon_512x512@2x.png b/Icons/icon.iconset/icon_512x512@2x.png similarity index 100% rename from icon.iconset/icon_512x512@2x.png rename to Icons/icon.iconset/icon_512x512@2x.png diff --git a/help/compile.py b/help/compile.py deleted file mode 100644 index 31a760f..0000000 --- a/help/compile.py +++ /dev/null @@ -1,47 +0,0 @@ -import os -import shutil - -from markdown import markdown -from django.template.loader import render_to_string -from django.template import Context, Template -import django.conf - -ROOT = os.path.abspath(os.path.dirname(__file__)) -OSES = ['mac', 'win', 'linux'] - -def main(): - django.conf.settings.configure( - TEMPLATE_DIRS=[os.path.join(ROOT, 'templates')]) - for os_name in OSES: - dirname = os_name - path = os.path.join(ROOT, dirname) - try: - shutil.rmtree(os.path.join(ROOT, dirname)) - except OSError: - pass - os.makedirs(path) - for fn in os.listdir(os.path.join(ROOT, 'templates')): - if fn in OSES or fn.startswith('.'): - continue - elif fn.endswith('.md'): - newfn = fn[:-3] + '.html' - with open(os.path.join(ROOT, 'templates', fn), 'r') as f: - source = markdown(f.read()) - with open(os.path.join(path, newfn), 'w') as f: - t = Template(source) - f.write('') - f.write(t.render(Context({'os': os_name, - 'is_mac': os_name == 'mac', - 'is_win': os_name == 'win', - 'is_linux': os_name == 'linux'}))) - elif fn.endswith('.html'): - with open(os.path.join(path, fn), 'w') as f: - f.write(render_to_string(fn, {'os': os_name, - 'is_mac': os_name == 'mac', - 'is_win': os_name == 'win', - 'is_linux': os_name == 'linux'})) - else: - shutil.copy(os.path.join(ROOT, 'templates', fn), path) - -if __name__ == '__main__': - main() diff --git a/help/media/intro-mac.png b/help/media/intro-mac.png deleted file mode 100644 index 18ffe4ac86032b8f76eb1761f02a8670a84b597c..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 50418 zcmb5Vby!qU*EfubfPg67CEZA;w9?W!GzbjcsnSv+-4fCrLo;-@l0$bRHN-H(cewB8 zdEfWn@4|7ohM9BL?7j9{zt}rMO+_9XlN1vT4GsH)g3Kp0w8ujaj~CB@S6GugC4r~s zW{UDMX!j34zuF4pfmbk`6!cut(6HV-JRYH?We@`|qPu-imPKF0cumO4^i1wi2O1hR z+6S5UnqCWsZQdD%mWlWGO$|xLe=>i!#Jf%H(OW#~`WcM&?RApLi*JuPxHg!0#tuqB z76ExYF*rrx!XS4|8H#6`#Lo=XpT_YGkUkE68$mfw{jB%;QTzl&$_ z{^vR&{IYbtT>tr1_T96sI1%*kjt{p``17eq!7tRy*yFV|0b?Smd(#fQpQz7Q{YTI>3f zGK^PYNA^_l;Y&;fcJ340c*Zu`c*Nu&MP#qpcZl0m{`2MJgNQkjsKptcp2y*T>3s!J zi5nZwQDAuZTdxcBX^FrgP6bc-;Vn4~q3A5y2)cka+T%cl7h9;%4=*>7Uqdyy=>HR|w2`E* z>|H>0urs%LMyzd)=np}&!j7v9T8by#+z(OnXofgXoLuOX`3Q+~zDw8$$K0lCb1|an zf~b8JRf|2B3>N79&(Oy3s~f&N0nFn2=C)rRfqHaMqyyPY^alBgSZ7$z_NU7^V{3hdEp)XXJYV+Nunf$x8&Aef2cqE_nXdFz)GUm+QH8nY%S_i%rL8b^`>4iL=u zZNJAPOrn#q>nRU;DxYqHlUB9!?A6#!kF$8ED6!d15y4Q<+n-3$0Tr}I{|1HM|NfcFtCQ**D6XWy7ZtQq(e*hjrX*L4Gdh+ebe7HM8uUA7_~@rR z>Cj=csMfuLbSq<*!M8;G0s`4OdU`^g=Qzd!{mv%F>Ci_V=dDrWcMwGbntqS7ld{Of z9oM$Cj^+0J&N6qliWs`9DeDa3W{) z&r1iR<;UtB&-(SB5O1}+2mM%y?~nWV`xRzLO^il%v)qopY33AmU7X))ovdRn|ZX0SG5?sm=@qj#j>A%P}uB1tB@<#3&a)NOGRO6i5XVzkM<^`VRUAc_ww~?z1$TN0*37K?kXXb_C zM8OM@p92@NAD-^JjE)rHoNiDw9uP_;V3Kneqj2?qX%>TF? zn68wb(9k^-a8dT&^MATGvDvZjSLv-zJ09-gQgk&jFc=c-+CF}5@*Pt%9! zl3d$x@gXK3Xx4=|*Sc3D#u8h17=MB*mqaW5d+W+g7aV%p%3-H{8sjEQQ?nDzredG6 z!ukgLO@}_aI-Nb+$#YorI&cfK4|aJ9ar9)>hC*JE&9+8Su#-JP%VVSr8)VFg*iiN5 zl;evU-ei07oQ6>AdU=j_hwL`s~oE(R;`p(_+X>NI! zTiIBCaI{Py$2iE7yjeQ&k6=Kxg9|?A6?6w{9+Z`@L~LjleAqhBAT0hM zZL1bKnx0!YZgZdW`MxcExu@?*Vv73|edDu*6-76bt+NJhzaeH~oi_!@c@!`?P#ZWA z=?H<@>@KIOSBg>gY|N|bfJ$)Mlm-H$L>`N9IH&ti*~4Fo`z*xZDc+zkLtiW9WeBI= z+8ds)?Bc_f?{C0%b{&wl$50d61(sJ)Gds`c!hj9Lm(W9i`E zd|(@%mMcf+2XmIsfslv%;!Hz2Hf<&Oq8-Yk5`T!DrXIP!lD8A@B(osc>fTo8=n2X= za1WHN*?1Fb3ggHxl(qOFjCQyTA>dp-w>u2naQ6%7^owd=eXQBKW8d+_hY%VLDa`81 z#JUe9I`-f?#F{M>8-`3K?|9EmL!K#ST?@UoOIqihHIBNi<$PZU7e&KaM`ZVoB~$gC zocNF{lH*R(Idl!&_LZs7#VO>=Pm5gDt$i&F44M|vS$#8W{PilU3hi>b@G+VPx$bwy zWj}mq3j%Ld57#|UE-zqnw``9vll+%_yUQk+OzWUbXa4=*)mP7-RCg7zhpTRR@sOIg z6uZP6sU&Pybd}l1Ty@Cb4c&xcTLRy%L?pbyZUeF4?_&^7|GNcO)AI@&)u%^+?-nFN z1+x908rW`|bbj8z4M+-Ki*{$_=JVctPXLPy!4?0mesc55DwaKLLy)PII8*`5-t`Z& zA+YhKIjyN?LQ|at?4gGc!B8}7G)cy0s@}=JiRK7kO+&S1(r@dM=eIw2-0qp;1dB-0 zh^n1N(S}=O>XFoVCDqC$oyi#?|JKey548-v@7_hFaZyHKA57dpp)xz1fe}5S?nQPE zU5Wjw-KgJ{W|tb{R?)i`qZjZg#vfk3%p6cJQaOsi#}m~Q{$wX|D}A8OgT+wwKdL=j zM5@wv<+G>28_S%fx3f0{y|zxq*G6Zyyv7kKofq58bEJ-)iY=({WDg`BY{P)dd>tdj zcaYhu)?FxxEpUc3KH=kU9Yrd|p3ih!-|J6Baa)qw zzsHvhaSM~kyG*kP^3_Xv-*kfZjzVT9VtEHrbd z8@+#~FGGiiCdsxOHkPHLIiqQEae?>n9*)bwiRnDICA?i`LW52hu}cetQq0Ju2gHl7 z4R;A+>tn?Lfh&W^KSTKJslkmXPLr^^L2G7tYwU_A7%qUAStf)@Q-c_l5V#X4V*%7{ zCRz2~-vg(mUJW#~140z8gPt&+#Pt+H{j0;>r3grF7(-`0zXG}jL0>`3U@`PY3Y@O- z_M1;jOLTz{pE{5YtNRGt)eF1!knxO@)zH8jLaV^jFkP;uCo2f(eS|}QZ`(>MA#^`8 z_`dzT6pegfepB-djqrZ0@cQ&g<1MnCb7u%I|XsNsP zIHNT!9E>OW8(AZxQ!UlcG+2jU9qoT>up{~eF8{Z%uv%YF;n(IXkh`>$qE8}wk`%2M zt+`UQL}4&Frx{)2LLJ4?IEW)y9dy4aBht0}C?WAlwDR=s@!Y;a;N;?8U*U#aXETZn zOzQ26T#CN=aU%d${5h1?9jsCluJa9b^n4*w9Uhjkz)TqLNI5ZkYn1Ksqy@2K-rsM)j zwI)%$H4;uHR}OVfM5|&X}3790qI-(M8N{8t%Nx&QPJT5Z z!NF2Af=)L7(;gtm-!qsuHay6M@zcGh;Xt`|HQMS7S0CFU9Vbf8D197yK$n7C4mxE* zC{F?x9I_$iOSE(vV*NUVDM*kgsVB55>|{u^oYSXu&|Gx*fjU)*mK?`A`gUYgLmThC zn~YFbx83T@%b+*qU)~7q=D^o+T6xe-XQka_IEUbuR^-VM(4SBPW6JkncfJx<7Ih=z zuV-o`LsIDR0cORor0|Gdco$I+O3Qo4o?OI~GvsqDR&3ZWYVLH8mHG{rPT;Y%s=~u zW^(5E{^o^i!5gviEO_!|hzVPre?Q!YobC?exmobL65>@mFPIaPqbCgZ*g0`6*UL?%w?pgr_-#!tm-n6FK*DvgCpLC;P-d9;>hhQWot5S7{#;r0W&97}i3nh3LS5!i>Q2G4oCsz{Qv1p{o+`SaNfWy1oOJ6xZqBq|SdP2nAV^-}MGb@ykv5Dp{ z))p?r@u>}cVwULJM&m!x4tJdS?r7@G=3RqJGQ<1%m4a9^87*Q5mWaj!li3Onx68gY zK^z=63d!Ca^Z!MlDe#71;{lv0&WkQ-E81+F!Kx4wFCi(Gi~v7z8>xAcRsJSIG7Ods zqwIe#p?;`3sJ19L+ zgG{w=$Y?y5jo|%njfe#Wb{0DHKu&U8nz-;B#`&P-CI1xeW4438aaj(N8t;8D`=Yom z9dF)B4@{?y@Vnr%4Id7uSA*_SSKcLX@H-Cw^dR3^?Vw4N5+s)sN5F(N=V^9IR*H`} zYip20_=45uuP0)3W9`afJmBjza`LA=JVB@*yIuC?fe9mDy4NH8u8Q^)7K24!{y<3|M1BuasHnMev&LNK?u z@GZnM0NWEvF0VH&f_M?qooZQ{@v6&|2;*dxH`m7kUnKj6Z06)Zjt#?$@)c&-TFULf z2Ws*Nlf47h$@y8&e`1WmPP-F)91=KGZGOV=_J8Jg7vr2}c6O}#%K=Zu+4Y}Q`aB*J zuOLsSYQh?Ct;RE02_U$4M_x_f;m|!^$Ub`D&XEp*vuER{&L+*`IBEuOqYO#8ljG}m ztA}zPy;zsBqo)fKAQmSYCPd3(jTna;BX`8Fnqsfn6ZgC+he}G+)mOe`iY!!F_T%&n z53eO80<5%u2121*@4qt8bwVgRf1NBCSY`23K1 zjNS}4KTjeoGj1bUiiofgzrlQ2X*Wh<{S1v@ORK27q&tQJJO{CS^V1)_O)WDMy{gHQ zb*8n6lAzcp!~N`WRI!~DZCn*cL$Q2AbNnCdce58U$9MMbT<#H>e)CYD1x3%2+p7!i z!7=TAx2+oJkuG?p_AT$+q2uuPndR5>&U?jduy;9N7S($QDEiX^GzHEnZ)Ajx<`Ni*r{Iv9aHotWuUQHv@KTN92r&%oXX~QE_4Qztd#yqs4Q)&qiO9 z`C~f1VHI{Nznu^~5PkO>vaX7I_Y5oB>#?d>%L`U`Y)@;gYEQ9sR&Y|U>PBiWr^)2- zFxSENtGx3g_mu17n-tO9sQ+1Qx%2m75_fAzH25Z7&HFCrHu4j1*%!Ze8*Dsqg4A$+ zHtuY`8VOj}ol)}eljEX6`=hU~AFw0vDV|%XItDp+a|Jb@HE_&p1B;;j@=&7NFI1K8 zE-uXVyH@DgaJDP^(fZzKR+b503Uno22Wbs&D-V?4K?P0ol-M!mRygzbsR(1mo$1rR z##o6<|6t=}M6~8aY$SH1TkFlt-_RDaU=b0UTKDvl7#zjw85ruJxmyU?fIwg6( ztn4LMzE4Zs%O*(>r|B*!;ZEbJm(Hx&BeE;!1AzYS!jrhZ<@YcD$1MX$k zip2F@^kZWx?HogeGVaIW<}lwJ(JV{k@P@FHZU1m5$c%FxD1 zf`09^2YA@mx=#jqLEvH`O)w*nUOTJU2=~{E@dm#=$JHkjB z%2;bY3j^s1ftDz{GuF0^hTuZbr*Gv!+}!36LFTqLm$x= zBv|&!@-8LD9}tDaunP;9>I#G4RHBF$hZkRx308>bP%)8C1F|fsGDH0+2d1a_pHlah zhEOpZlx3kg1;t{xFT$jq$N_9QiL$>3R7D9Uc($PPdOuq07Tp)5j5AM|hj&P)`f}}j9Z{aVQ!mjhngnp^n>};hEqnVvECtdZ>0h_!S?%#vC3eR3 z+uJ!cyVg*IiGt>HZlhz|yX%!xQ;+P2zb+hBwvqBMck^E+0Qi%aht5Y#mgp~Pq1z;8 zg|YJ+oJt0fj`?~4>&+ZWfhKhX95^nT;IbfrG49F+4=ijYJQ{~TNW4LofqapU!DTV$ z6OrE=s~GpT6xaW(ku0O}73dK#`cnEZE#D9;|Nsj3}M*l~dNoag`1(9Froe3qxzP-_4p0nl1O9pji49|--y7#ln&&JYub*a2aMrjjm|)$TD-gfHb|^guToLKFn>NavZ}*bj zZ5=+Hj}x|Lmp-~pT$~huf|yC$7+Q@BG*wvlv?4Y=wr}6Y50Rz1)057bJ&&{29a>MMm|an*ahE>76v+nN z@bK;)<-F4-+y$Qj>PSXY7^X+7G8px5vuG4D)`~ON@N9X9v>w)8cp$fbXxUa?F(xvcz8?k(u=wNYc#Vrt(dK@QEeEj0#-e*C&y)v->4pM$xZJeu7 z>FcP-P!(-|StN{)Nt3FiuX8my_@p`Kz?BF3JD$q#F{-xUr&2LF?1fIHV`b#fFpf?# z+7#^nwOK%Z2&~M+iwH%P=NIG$SEAW!-wkOqmbT@XCWqyNk>M! zH3@bp2Nq~Bg$e$){Nax4@^S}OZ1eOiZh=aigobiAddGmKKoXs|@-Ux#2XO&JJa*?h zN|^IO{ko;H0xVol^~v6dnI6l)jGFsm`g@NI9-Pscrd{)#|KkGyit{eqlik=%Kyn}i zhD#x+tAA1Dl@LT8^=9?{*ZLgB>WnJc5ajRgavakN{ZOBTy$0bpW4k4Ycnd0q{mU{Z z~W`Mq~lcz4=1zkzh@PNcsE3H-;VeLg!u^)Xd?f&rp zS~<>#xW2MjnX82$SnlJWgxI@V|A=vIe@A}Bw6sQB859uyNA`Zx<!Pzcjl=AKSa91-2F5=aNaO_bVAuGzZCTuU96XyEJiOvb(vcDmGQD#%~;+_(L8^7 zu6z^Za%t-{^)t>Ng$vC{`<@!FMwJwkssG&zz=otPtlNB{**;TG?VcM1a&}$n9QaJb zyY<_A$n7pwDgQ^brVrJH^TJQcO~*ld)Bn0Q|FupcZ37LavC_Zvpe|I%vg?l+HuqV7>c=8Z(e-^gUO|(OxILpDD=|T2Xl~T>!;TDg63vn ze;nXbgDjgBg$Wm$X(M-ubQZ1wU@&-hf4^o~(C52C|Bo$$-M6#WVcn<&oPd6imR3kL z;6mJ8pAz$0MNLPVx9C_Hrn8TY)dkJWXuG+)Uk;;$k%;b6i~%&93ABq6|s`o^d9#+bNO7@*ug8?)eQ^`s{L+UGQ77_XIuw7IRg4K zPk8;Y(SEhHQIH8Z^psY%e^2GLHXBLd)*Hm)r=gKwY0gXJPZMyY1ny8P%nLh^!tn8b zK8%8_)byfxxVc#vZrtA9mRS&`6DRXY)-#&#jAiOV>`BH1H=-`Y{!$@`Zc~p8x5VDr z&9J?D_fA*m=qGLuK&|4~IpejJ5Wu^5xg3{8|Ni|;&W-SNb2I4<#rC?K*5USr+y9-O zw#0DX2ss}{%^t11`1*Bj1>!GC*}wqw={(sexZwQHWK8fqq`4|&4utjUs6HOHI}%{v zzo5yISiO)2TGwu8LI2bPRJwbU`9K8x$Oag-EHU4S$;qz(=153R&MPQ*PA4DJlfrGz z<*?WYu-wX#9hzFq&>NAE!)G!XPmk|rP-KjcPNN6Q*Mw<_;Z2P>^yDG)>=3wXf$15R`C4?} ztK*Oj!J^{gP9R0GP?WgsObRWmS%gu^`!7n|Os^Mkt#9NR*Yk_eU3-eKg)#~#Nbf1C4YNqWhu z$$wTmO|N7#god1(gc#$KX074>Gj500{zTXh>!y*p0kbT4(t2LztZ~yS7w~6aScQ4^ zT^*S8Gq8HS)kmz)Hn5GPQH zgR6^#gdOia*Ay{dkG}dJL4->}LoV-KsLIRBN%*HUlzlKkXB|&)^T%f$FC5S9Z|6VX zoNcA>*=egE-2<<$o(*$eVLz!d0-@R1+IF3fOE_L`?$W=6y-U9ngW4T>ir)Gqv*~@y zzT0FZ2}+Tn{aQONPBse)^fy**ZbvbeVUy6zY5#I?w`S?0%ydV?o|=mNCW`mK`#+dBpf!^?9N)CoF4i|MTFgs z5Zn`vN6c;Zv_LgGCME`l&8QjQvF(x&hg|T>=RXAm7J-{8%jah{0=OteeP8ht3XiU5 zFBVWfX_;S)tr>rXKR@FPNufy^#ioCtXYTE|3yJb4BK3BC=iH3|O*JZ*&(+UrqNpvhxq$1z-~5BJo2`%qq@pq5 z1GWs8A!hGq2Fl9VV>vOOk#V4M((-j{PoDuS;fb@PH#$n$D5F1_t`(f9fU}@ z@#S+^-r>_l2AdC!e%vESjM0IQ&6D4TIkktkKNz%lum{|2P!%@ZGz209lrn{<)2=Pv z2!`}XE$s6RQTqxVnMdZ-MGOP$rM+D|{}Zz)e9qiE+VixRh>kQGAf}ctdJSh4eI4D~ zfi>~9Q*Zsn4jyM7AH)7Q8=$ur+?|-sXwj4Kq z6OsDEc&+t(B8wg>L!0UKCLc-Ejq+K|9kzHRDM&t+!Z)##ra;dl8ro}ff0lO9kAmbY zdY>$a`h8LuJSd7400{UCV(4xCt&i;q`NO<)qX6_V*XT^QJ(ih{1H$?~A269KyO)1Q z4W}|G3dxp)cqbsxJQN|~o*qOA+9U~&W)Z$*)5Vxhr;Mo%0!NNUBXk&Tx# z2L8R7l$OIO9AdeDG&p=%Sdy<4vpiW6r9>&^SrWTsiHtT4CMA8zlwLLjTp!rkvc_=q zw&G*d)c(i}D|fv>PdDqw6#OyRfI8ktwyS>G^2Tt+?7@N!ZY5@Ar)B_?GF6?7DI)wSjiik)LG*HPq{~ z5JmDZsxZrk#cC`gVrw}037T=hjb&p+WZ+G5;CpZHrfIS*BJB+waM!lCzz(|@uTS&z zi4P9Ge>UuSr||YCOcLgIKojq+g0{Cq#HoR-@oE_1=?VCA0u1((dT4751O;l)5DTwn zcQ4cV`Dgl>TY5D+K8;w>f6G;+Q41kshLcp10;*4-{j2-IjOj*SG!rYUw5u!cGGh5^ zeTcPk#Orw$(EaA>?TBV7j3PrrLnYxlX{^uge>%MHvd{dIwVvBYO~sLOc%i{Y7q%*k z#!Wt#cPPMDVMjMq%xtj7%3IRBn;TiiSQhdVzQ4^v^;?9&;4`5?DiM29kP6Mg^IZW< zxB;Jn%GRD2JNt8s$03JkmNyhaT5s))x6h|iukO#1p}%Ttc^zwvK_DvQK%{#s>h?hJ ze1w>2G~1iTXE&vx4;Y3u=SvNaRFr=II?Lv4knLm(QUZZ{HWF*M%RJKgF`Z2KmthH5?J&B0ZI11=DR1dAC+?d82d~s@r zP#o8-;KI2{1v>}%ZQZJfp2|c~h!CoZUE-seEVp_;V51VP(lRN%u$Ax{K0n@Jexv8T4ag*B@DBeg+X4YM=#paPIk@Ym-}s(O+9_?W+0AI&|F z;LovWnb{`Z>>_&*hSU)0P7U+5*4EfFQ~}qfBWZkCL?AzIe(*xD<#5tkw7_!5LcN{y zMznyHy$FE%%JgcV11)y%b!F3`gc>-B&ZlEIha~9xW^VXSw-zNwa(^R~a=YXHVpmy$ z*z%DJRLPXvN6OrsPFPrY>JQ?^>uiwm5!#68{?L zJ)vU0aNV{?{Emp9ZxvtRgmHhK%I|=WZ%xinrUN-=8E!!VH-9tY?(W|BuM4ZTfDZZk zD8FNxWOeF^DXSl+`NbyR%(|wy!ukAt1Y=gmMyy0uyAD8XA^{X4lc)XwhJXr@A`vJ~ zN=8;rL*>J@L&R^oj2j|Ff=dc}GU+vIf8|-x`W0Y1hR(eN*QhIKcECvpk#Ps~9sxCf zph#`Lo-;QGn{StJwrVQrc%}U=lMrx91C} zdh2pE#Bj08()|HqjIf`j(wzQvHAj#=+_bdFB>j^B|8D@Ynau~nAm9{HZ=O(WvZSq7 zUe{}3+_ryNsOA#<1 zp|W2Bp-=#BfW%im$K}=w2oFTbmoi_V19Di%jy0$1w^v0ZG;I;N^-}}2Af1af1aj(p z1~5fe{S1I;0z4)c0Iy>E09P7T$k%W6;s&}sm*4fjR(L}q(I1a@J1v3t0c^&tf*X(2 z)z!Z~FhYR%yanM&bYj^wDe4gI^@w;P*lxJy$R=(=68u> z#Iql`Zks<;w4QwwMO|-@tnv8!`+FT$_d88%>8uq>AV1HnDklA&!a^UgvooNUoK**K zL!{}w^m0xV@*o61e|HK#%bitF$s~uM3V%Rz`oZ(-_gl6OK4{Fcxlx^ov(htp(;ti; z$|D=%WVub`NO?x8si1&?f}c5CzVCg$YergHT9wb`z9bx%DIAfvhoh+5Yx2U<`bV&{ zTBl)nvJkSpX>TN4K{aImE&FAVs;arBmR3$)UbiRML&8nn(LhK5N{>0Oc3Grljd5@r zeS0OH^D1|eNgQ4syOrVML5@CYgAY(3?aCA|yBFPSw~QM64G1Qk51*uwZ9id9c{lyY z0T2*C@YW{fsX}(VQ+O;tHpj(MNl<3(=hD$&|poggUj{besqk6qpBY(C$nIm^g$$Pr%v#;hWl&>53 zuM_r62(K;5JTu%YkwDAp#qvLI|;m^rsdw3EhBh;3|N&*s0Wss?U z-Z5qT&v1{x&SJj1#4YE9`ahwVgCy_EK<+Z;*9W+U6YwJ#0@BP2UGaUiEm$YQLN-9*GsOE1Zxp(@fBf)>b`m3qt0>%pc&Q1W)GMlS1 z)ke(z{kwX1KCbFZ<#t%DBKQ~gS<}aa56|OP>Zh4zmg&Xj{`u}M{M0^f+R3_j8Tr}n z1el#E_f)a*ZUEH;Yp9A5JSaPQJuBqUfFD~dR~EI?g2|2^X7-CW0FIIxhOtvC$GX*{xeIrflwEd1r1w+G+oNa5H*D2M z$#Ip|+M68%N#XRcZvjPvaPYyds}>@>*Q}_lOet)i7}z8}h5H)zGC06V@evL9ZK2*) z8@-t0%>p2FIVvtBJQO7#yvIun76|hH<(bW-KkzeZkO!$a^Y`-$P`7UivAGr7(htga zO(2j`03cOUS6@4L+H%s4cmVB&zDM;byw)n(R90j4g@r&F`AaHLag@!tNLwTb>7_=; z>j-;GPv;l>)P)8{K$})B_h(s>y)l3Gqc!Sa?SPBcCsdst-@VkC}WjQ?OjF<4gY4pT7h&qd6GP+)}e-Ut5QDEm{-rWj?_`Tbxu z3RgQ}^Uphgd_Xmv#4b($dXQLQBuh-BJM>IE5gsc;+x~=t!o%E(|3b4O%c>r~Ta_wE z>E$&13ad@G+Uyxe>pv;ciwS9xlks!`TvnZmx`jD%b2h?ZQj57;YF7~KjQ(3)paHRF z;NeMwmzpT0D&zU)(0cN+SUNSS!UMTS-Ub?EeTCod^%CY6s)5j(BuMtn?XL7+K8RqF zhae4&piB|Z+@_}a1_|B+hLLQE6;Ew6G>@Z&MB_V_Y$Vc6=j*!HFUs}z1S7}PSgWXD zi>G=S^fvQ?Da4lEZwAgZg!h!5cO8V1#rFSM9+Y~h+j8ipaJrCS!u{KNe5)GXDQrVu zuhD=JX+!=B;BWyTv}O407dPH)r#~zyYcF&Ll?-+{zS==&YNN#Ud7aY~t)ezl)#%|(2m%=Fz`#QZ+rLbJWH7q_ zl*i4(CHUkG}<@m>y=Mk zv1|>#Y@Z#Y-43Lofyl25kQhHiK4bP9S<%$8oqVax+Avd zda$=QNa~+{f++t*KQ4^|w-?HH)~p@44kVJW%eIwo*P>iy1}0g%aoC(8Z;-2rD0MnIAexT>+N)tU#*L zdQKQ+*V)!E?`!>^gY+Cto3BSQMFi}gOBu_HJuw?IT1K~m`uHMOCkNhV;B;5dgN{MC zXqLW>fV9NR(+AAXaqIb58N@VZb`G>0-@LR7F95U_W((*;nH~<1Uy%3Rx-^lL==nVm zhxl)113+iNwYZde@KM6cAf6q@wtSu(t)dW z?Q9giYr1?BP)81C%B2CArH0sH9Z)MuV(s(jeLWM#C+Gc(4xMovE+qf1d7~;Z@5}&G z6Ke|Pl^`EW2_DU;w}hvUNvnJqrWX_X_D*B{tZ!Q5?$b!>Nv7{{6Nwf{z-1|DjTLnB zQEtP7oYBr!&llH1zCy9H=_D6$$_AzQj3kciG) z$_{fuzc3?4g700lizVRWv-dEoD!0aOK!Z{GnRW+(W( zwZSav>PPK54}(<(&p39y6Y2{s9vaOWJvFw_sDj z8^G`Wpr!9N@SIxgQ}+GcPOX`X875gy<_v{S(5(1nK z*mjy+cW5bNH}(p%`|K*)9t1gN^OBa_+{X`?us(51vU7%HzM#|ot+RdfxSNYln&NjR z64rFq;4W=S=ERRVrKMPk$sEdz+#?x6ZvdPJ$Yi3y&F%Szty>pMz*S=)5J(-@O06}n z)p%AkAfba02S2FyMt`u%52i@EiXjQ#o*Gc<d7Dh3Wognpphqrj9l9_P;$e$g|za+gs3Y@CP48XY7D(?hQ)lq z9Z+H`z@ZzOMvcOsR73CDK`ql76_A6{?%&@hQCnBH=7B=Q(@3Z?{$9I`PI4S~6L6Tw zXxx}_{699woCImK*-!$rZmkve{=osa`@W`~o|c4a%|Wv+pyz2<8b=pv6k2Jm3|Zfc z)*=C3xg1AW6x0@cxrRR$K)X=S&R`;E3BZ@#!$TQM%ir~5Iqf9&d`6ej+Wf-I17Jm& zgFUW(=LZMH=3QF7R2+vZ;6Z%1FL+gtl(72G!5l5cW$HVlvxA3Tf)6@a;T zVL@LhTbu%5)_RoR0Q;awJ*;+gs;zx9Jv~i=i)OGVo{p^d%m)aefArSL^*j`?8fT4t*&pl~fGJvO?*GuJJfkr& zc-nEtiJso~oPvU)sHkY*J59oo4s2z6k{i63gk7oJzofd;tbKU615^EU25Ly)ZdKJ3RG!dj;kQ zjRwRMJirrCsl0hLf#NvhR5r37)d^1$ElH{x+p*#dwK<;c{oC9B`?NorEX=6I!xV5n z^s;ol<6%jBNdje2PvWuV7!39Vxk+I3j$ITY9u`WzyPG^lrn%MCc)sw%53_22u>uDs z>)UY(Zogct@5NQBgimetY~shw2LOXkEaFk-ZaaJjmg_Ds|FMj863kdW0ZgW9-zx{; z=$@sw+9gV(7~jX&m$v{0m zdMtABX%hl>RAi|yk9s)z3DArUK|z4SSNmMriUK%%uE~|rYBVj;LqAnqkAc|3-Q9G) z#?lKwJ=|6!#7e0=Z@Zo2#!+Dg<2N=cj$BV&7S<+l9l`DQ=j_j4Z)UT~F+*mzK?7%5 zrR{(I6|4I18;T)6JA4Cjw#=~Ub)3Re;2)6TdHB&4O*Sapu&CDCnHSJ{;C;+p^LDYdw zXt|R%Gc`G94N^I3&3WvstivUY$Q3O`uC?`Cg0r_N^jGCsOo3D|Qh1$=PaXZLCSJwUnZGCxxR+Jj!u)1&u8 zv#5Fnz+>5}UPv05h7F*%uKaDr2S53Ie}+1VMS}YiO80|Wb--CFB$PV>zJ=XMZhM^m zZ2y%`L}G&Q=;S)wjmkh!$_MfUKUu*AN)72w$JZwhEj)=66tj~ZNcqsR^FPFMd7oLx zlk=vH^Z8$4N>A~IDnN76IFAlDUp3Oue7iiT zx)xy*pS>S}^Coc^-4cimCFR<#wEI8U2f)GS47l8aw)LMp2_XVn`C|yNPG+NpuMw~% z0pktBucjsvfQk=))SaMJ}?XF${M+T%)!Zwl{8pRB<(2a}vySo12>YSlI>_85Y)DvJg1i&*$ zMn^}B%F9QGBmwrb=L+!$NmLom%F4^5^E)ht18(@Q!or>K`IWj;;QN>WUXb3O?HY=K zub(R5oNvSsc7fh^XQCEGQ8z1I)LTJ@D$)mV5uk#);$qfA2?-$i93+n|tTZpUZCVDr z)N6f;W7g`X;q~m0|By@ww7C7x%uMJ~i>EmtgzfI`O0p43zay0eJTkc$@(7?|MUe?` zwB>?x;Mst{8~8}~8MU_p8lykzZO;zIF#NXuC>wvF7;T*_Y&lHU#`k^iMI8PRWR@nf zP&abrTgVxJdD?Re4}UYg%VXQvo1&yQ7?q(Yq&NTWR`xrF>`#QpnJ%!I5#Tj)eXV*a z?-_&#`3^=;G&MD;fg?Ho1yqXxSR6K{4sWDxMTFx<-HjghLDG{9o&PX?+_W1^-Ub`G zAwH?PNE!}3WR!8|4oF8L_f;qz5HK!di$jbsTU5P2c-u0aA}s?x7OFYji2p(uu3dvV++TNuKpYo>NH@ZRgV64@XP8F z)e=vca*xlePGQ}koB@OP=F^I5A(Dd(27c6@9p#jt@CrF?x|Ou#JBqq7YqPRwH`hu- zYRg9Dq_M_-TLsa+BK-X#a^76G=T{4HRseJCS&?(Fx%b`pDEzPvpkyesoK3_i#CD`- zVL9X`dyub%6Ev{%RMj~bR8$;g7dKe616dLd*&}DvgeGS_Yi<(f9q z4^4uF+^jBhc?*}*E~Oc{g11@BNk3QtE?D4K*B!*V^RK^i{}=Ew|H96s0M`36H3CB< zis2(qC}TANVmH#$EQuure|mwp(u19e3M0i)^0KGxQ6b9hW8+Ga0~v1S;zsMT#U_Qe z)taI24CuV27{aMU#v0FK{9-yXm?I60zUmb&z8r+RI$H!Q_pvC%>r+4M4tMx=SQMREsY0QoWEyHZ#=lRca3^Pp*_F4^HRUW)<=U!hkjMt{Ha^rZA zAs!dcWbG17Hm1^9tY|y_2t)!UoYrvad*2P8RY*pQTfHZ~NWheq`nr}8=rB?+*;^15 z7Jv~+WhWoecpe&z2LEsT;JZIB5Z^SxKNszVtM{seem6(_?hqWCJ6l*~$qdy#;SY6e z-zH9Za7K@e>oWIbjbv0jBGDowIZcN2uB9E0eLOV%1QjrC_9^0o)Z|Mm-NC6gW-x8>u(8D4v00&4HsCWpyjy}sl6g+?2!XdHgWIyI~(nr}Xb zna}bORiEc`(CljpGoA^oB-vOH`~3$i8}{VPNy#bm=p^HXJ1VSLiD<~+t)w%jnlqQm zE@kwaxjxTJW?!ZvJK&d}@1x(IByXtPe+Ya3V)9r~lNc&Q64lyEg2EQO>`Q0ESu=yv z4XkkXqe;7Cy9GXeLaAOFLVz|!)F#|u@gwJ)9Aow)mu6JND`E3P({gmE z!b%i(#=Iobn^w5`8zgG*C<=kZo3=!CCjR&@5223~ZC|3E=oT{E6aYe%c+5fmIO@9I z56WZ3FY0fKSgxNMQo`+SlKvzv4V66c!9|?-G=kerdr5D@$~TK}Va0iRUt(;t1j)1_}K z<9UU~<`JFu5gLK|w(lOcZlQN?4xFMKAABK#7!dBwkRqOb_G?&CQ&`YsO#?cg+A@Gm`#xGj|SUW zu4l8E_rE_lQCGG7BW+~IwSEV)?gAHeV50~ zlczaqjK!9ZV6)R)TWvWnYB`P1rb~6?PY>g4^nN8mq!mE#uz6!hV5U?@hw!}mH>KN2 zjh57v`=F5(zn0ZZ>hGMKlBXBdQ6pZoVCrwg=$H?5{Rv8ks*VGLY>q6P^xDjx7Mirs zoF9gHw)yd1>THx-<+-6X)NDAttuQ1R$Ne=1dJ)h5HdJ_hF~J@ytx939VF%>&%s=y4}=ErNnU$u1=d1i|vOWcaOcp7P|bB zTgQjZiW~-&f~`oyzS2sx3B_vpoRGzBn|Xgo)>1Zlcxk_#vICxlgRS|qH64Tl7uG)b z)z7~0nR(|jtd?xhP(lw&3Q$dEm%Bip{{=o=o!{+v9Sd3p$Xy@J?K|a;5S1^D{SNiu$9VZG$$_hl#Ih{>-k6=eM_)5e;tBdm3=WG!zp* zjm>YRzjE!-Y4A8Z+U)p|QbT}7rW&_F zDD(ChPfy2a!4+q_B)%Un&%Ver6BRGD%Okuf<*3^*QrFp{Mw=17(5I_K?)zvn5ct9Zpq9`BJiM2@0gu+U&~Qy(N`SU z&JGz_doguSpo>RA-LdNFp_AvO#%IS76MQ8ubj4xCIG1?^x5fKpO)1G2_pNNf8S$2S zhW9j{v-^N97TW>CVQti6VuFdM1_&OUur>r(%H@$Xy!ac_#@VR4ljP|k{D_w`yW_OW z^GsifY1TJZGtR?e-ye&{vvwtHZB$vy)nVlDE1{BaPC*^##gV(yjPlUFIQ0xc)%HY5 z7#pZJ7EUF64Q+Z6U`HQ-za;k*Yo#Nfq-LPNA$YfXcw?ZzD4B8a^kN~D_xVM&fqPFX z>4sQ|RJV(j{lcn~&*eyYi_50!NWERXQSYn4>K`@B^&2E#Y8>@s`?f!$^)-1nxMIVs z7aZ8;Cr?%=M;^AA7$tqQd(KTuQVvyKLub9ty8@z@-`N-(wvmI40C^fiHyYom2isMY z3)N%!Gnt2pNQZATj9G?;M$)w^wyk(`N2QXtdXRorea~qNKPhs^tAum$DRR^+hLLAcOpz$cOYk+-Jj*(85|D;ml z%d?FqS#pm7s_tF#3Rmaq<{HV6UWhPUU>wgkd8Tk&r*fmIW~ax`BOvT*CQPpzRem7l z(Eex^tKs}MkK2}CfB$q7Q4(~300%gEe9kU%*-CgZ4qQ(XJ97?iNflm615iR=cH&o6c| z2vVduE=lHSpFTr>p#MzKGc$-rDk;w6qB~7FccS)SQhaSRGE<81!0sEFd{~&jT?!jEgACHCkZHB}6Oi|nmyS#+3Tm2q{s9M%wEtg<|G#e3evn=W2=zS`j7 z)BC5F!U02KjTQE*PS2@nCN>9u+O?x@b#1HbxOU_9!>y`|@bGFGn})E#%$UnJYv!)pGKYhXNDjtj~a4w7lBdJZ@AWV_(h>Kz~_v;aZ_* zw9)G&xb(SXWp*A*6CL)eROkNXNwFt%D6LZ$V9=d9T6>jn;6)zmu_*VQ(@se??8-f> z0jpxt4dD4zz48*v(+VoEfNXxZWyTXbz4h67r4RvJX#@(DJ})_z*=+>36vx&( zh89i}^E(W#-omStaZ#izstULHtb%x ztsL(V>YdwrG`#KkpiA%`km3Fh3i29x>5sE=E%4OqVOp14u|Xc^^c$+yqhVXk8obp# zPKol;ybrEUHm~&c$N>|q@>eO~5kE%#qHa3aA3YqMO{x^qo+%88E~6w@JfLVKmNoj) z5Qfa}v$>PTdK}B0FF$N(I;|MdyHMM}*$DdLVgHISk-sh?R*um*3Z42@VWh<;FVZ4{-hs7!NkQtlWAp61hd)=N4sU|hs-+Tjf#J~S>s#x# zTi>r5&-pkmJ2XAfgOb&K+WMZgLwX0?0eKbyLyzdEn>us;@#=#(r>@#hYn4C{VBa

1@lKz&jNj z=6|J1Oh#R=Phkn-o*#_T;kyt{@{|@PbV37M^9pW^(Wsh+69}k~hm%#)YwMl03Uv>Hs zL$EBVDQ(wJG|>7+!zBQ#(OyM_T8rB3aECcW`3;E;z@Z|H*m5ji)Srw8GIoO>Q79fU zWU$C<-Q%x{^6I_T!I9LIZ4Bxu?!3DBy^Z2tK-BlDzis(%MM}`b|DBgV#z#$b3Vatx z7Gv{k2z^m+hLb{5z~=u;o>16Vg}Yt)pZ<~#TZ|4@H+WBm=;WFV;U5;9N&gXn6--J> zRH+VdBg)~EQP?V9J;8#wt&BoGW9*wy9PJYf7GRa zZ_YZ7-#NRH^B);-@7gqhd}C-FmgJS_;QRkpb%!Qi0;mjhvQGwYUr*lqIjOjDo1V)* zwjl1%0gGm)gPNicuz!*9|MC#`rdvU1YnRmt{?hQ4K-eC(H|g~(!slh)Y{*;x9rIqC z=p+8HzYLimNZIu5p#UJq^^RqOWzd7VG}FV^!~5{707cB$1e$BOE^6mJm87u0D;CuT z&=82zwS%v_614%)VfbG6#F4cslTD z%;P8%iEDaNYCBhcar`8)e9hXA6J!jBuQ?f;ANTJ*{M|^vK2PH944m1oo861kXZmZ^ zfh_?(Q);_>aEw5ZVcYb2?UdL-ZL6}RZ$Kjb|B&XUCv;3`rnFsuH&vq|oWhf~J!^p0&?^vQoXL1;iRLe%Gf zadEtatwH^l|4hr8U7abzX-)R#fP4t(SfIW?(*5nmPJhG@x&Vyn|2!@R%eeQn}%s(^gTL9z1^+EQ*1*4;9MC$()PyN~? zOB8}%?|lAiOWzpwPj6@tK0Dv<0AyeE&6&Wy7bmBh;`NVBX-LCLxF^Fo#s1B}*P318 z%YShLr82s$}p zAcOvnc`Wn9_g>tR@U|+tLO`rjKu8ENQz|JCz~To^b~>1g6R7!K_QIXu6E;qpZDu-U-UwRak zHGIEyKe2am(ranQcw1_W19H^7q}}H4i?r=pfUpD95?}&t00aQ*WS`mx-Ccdu0NM{? zv|!R#gdolC4vg5dc^4!AH3OjePvDnl)N3c+U6=s5oiJ?>#G|&U2W5@J7TD42@J*@6 z_(e^un^9@CL2L-ZHmkB<&S81J2Dzb7vdc4-;yXFY1;QZrMK~D$0|=JMgE$cE{cU8- zSqNYaAQU*j&-?3_zw`dG4k+hIaE4M%0y{W3fWf+Zdax!=ZZ(!$OcWaaAk0;(zyzpM z02=^t@5=RWIZX8pb{$f=nk9r#b`40fu(En#MaeI!Nf+gZogvrkgMF*Cy!;jnfP)9O z%SuaAb92!FV70a9MME$EJ&=Ofqp^vJnA4xLqwNk521o7Nw{9meBEJ`)eX@6zQpbfA zmiA@>$>T^0Pn7?b7)p3J20x5V<~7a(q+7)~bg99iy}`5S>#G|%3$>x}1-7)_Y&c#1 z0_;|xptX*O(pbfNY;uI+a4G&j;o<2uIU8qG3bJeVPMl)2KKW-(8txg@HQ%axITWL_ zq>}8`QFzXNGeZD}qN1W73070p4(u)mbkFe6V6y;wA6}7VHB%43-L{DtZ1nUPGahI3 z`~m_v4<91eOoajzea{3XhutzdNF?=ou2D_S!$ZoMgb6?mb5eqWlI@Dty)sCBiDV~=EDk>^_M<6^Utf=_la>tLC z{Mj>fnDw9}+g#nzbPLD=0B8wf<1*E-6>$ksK^YlrsU%L{+}vlu_>BCQd4)dWc<`5>|@ zJ)yK%INm?sgoA^lv%8yLM~5Pmj2APq%Ljy$SrQ7$%ki*!U1Th0i16|KNng3VhW9s` zmd%5p_UcGpBJuf~EA;vK`S6&SkNZ_CIAc@;@Dmr2BVlv(XSxfz5On|g6J^#1v#o-&yQ+Pqv2xH3Wt<*dQnD5 z7~a3+gqI_P$wP8-c6K|vfN$5nJ|}t_M8cw?qS!GON%{gnzcw~D+*lx|hb@E?9UYCq1LD4B zKY3Jeh2G{Vfmjzy-1b0*IK*{MPbh84xJ}Cd5xyykf4GNJHNU+b*4Zignb)&kHe?5+ ziS&P!r#<*RHn?z-AM^e_Z1vE^`L|(eeONnyrO7BO(;^S3=HY2n+w*yN)PKg5#f?Zv z2n5NGwtnQ46+#`#Lu1r!MX72@ z%-Yw$APhmejfCEqAs)N46sx6sb$Ri&P#Zyl=Duas5*~`z`}K8GSR;t`>Qqb=z1!6# z=6;6_4!R&ACiCaK4I}n?E!B@!3}~M_Ff11Z_h)+~pNWVxQ1% zy(0R=z{D%cVN7rvUdxIUBf>jrpCHSd2Jyt6~ zjlV>I(RNX^AkX!1eHa4M@*K~4kHUzN$zg?Bmm9wgk07( zf7~>IX{O1tUjkpN&?~whQfcjUxk0m7WXu`< zmSC9o&7XXjWtt3hCaWelnB>A*M-I&^tSF?ofclf<3uyke`~{;WA;m9r2GOA3wy}jG z7U<3tC{^GRP)}uGy+scuZdTASWS^z^;6rf&VG^{WG6(fG+Wiykk?UWb{hG98Bvo(P z36kEw^C9U38o>WE=$foK^C2{|V6di~<8OY@_xRV%`W3Y+CMZyD-8O)Rr=(7j>R|1z zcU%%!lmx0TUFVDUZMtjL6G{MW0Iu)Z&Iqc`@89)xIJ#22k+I6nJd~7`slc59BzikY zp5avR7#bOw2k7!OZ0F65vwIN**g~=|KNKgoNiJ69+Nu0HA2hUI9}?pc1J_ZBq{qhO znBCjmA9uNd2D4`bl2!R6B+xBuHd$kPRG#7CK70rVcM3qc`-g=!n4Xl`F1^t=FhGDk z*Q`bH^z>Y{=R7_+(b<};l6>9(ut$$tX~}cd;zrBA*47de5D-9#pxg-!Whc(N^FnR_ zF}6BU@dCPu*4NiVAN*ES(EX9{5}!f){pje_WNrP(vCFCdBx1MeSD&GrjMo9RI#Z_( z_&jdxNEn1eIu(rIssgC1_T7b!B5+~mRMUe=hjCwkyb`@X0wp*&1arH405&T0_HCT< z?WO5DSGd#m^kz&7xP$ri^&iQ}$tgJ1val7z^Q4)1E9Lk~W$C5Aa=>~w#baZr$g*q(^ z_Ny`#JxN{M-aG!*caV@==wI}7cNdxtKY@_Vdqx04-WuK{fK7Za7}yGLpW&%jS|bR< zabVa41gP+S|4;Mx+^$-VI{W%WtgRWK5r6%93u^>Y2QUT>F)_#xbWANR#g)&J5Ryp2 zcLS-tu=nBN*pr@D7a`BHj{xxM;J{u%NvT<%NoTUs#y=pyWEaszN(!^MxHxriEj%d+ z1LhwX=%ra;B};fpeQ37Frk3y#XfC*ty@cU>{QS27G~6Ftm=(?# zFh4A^c95wp3lg(IiG{gdt}Q`x_1p;y`)DJ;Zy!@q$Ub6`J?}GPO)PRhbA&E@%diK^ z&PhhSc2&KP=8g6zovea`y#yIoLC(h(+bQ-L#1%Q&Y2@-3~HnTR|;`-SL1w&Aw8BPImj~;iw>46QgIj}qa z#)ni2R43`z_Vz5GZ*8V{2KQ5YpnIUVwY7zm8$sm{z&+cZ5!?damv9%TaMk10N=Z(R zTay7G`H2butfT}qG&F(+e@4Y*@?qbJh4#S`B(`5(UdDkkA09_FGjkt_EMf0y_Bo-m z4T>?8ejVKTUDBsJlr0Oi4P#qRn`omVciml(V#>Da+u*dV2`=oCF17!Uyuh9TK zkb;|A{nBr<`#r*K2B$4`pg)3qS!4jvQcHBy|2W(= zL!e!eGcd?tN=z-igaLEpHe5J_U!m`G{4g#K-$%r!W=hz}d4#qc>-_xOdcGAEc9=vf z4YXe(tJ;3JUYiP_Y*x)d)mdF(Ap_`ZR(*uy5iKnh71eE^aXsG;$fi<${f)X@*N7+0 zaD60?h}3xz2dcBv6Z4{lEcy8MGbOY;e2wjrL`x^Z!c^eOx3MYe*-p@9AtWlbh&C-y zEs^r{yh4%`0oR~8t6F4_!}<^^m}B$LF9Hz05#aT?;_pmJ z09k~-K(w5=+uAanUtA!-0PCCCCIKCiCK9#3zyF)W4HbaCO$t?*p-pk~(yViVEHeM# zVDmjPa}$%tfckX_Mgkwvn=UWT7_DbtLyFeL>7jQ+120h661kPsm&$S+su#9?p`)R- z04)&`3sF(HZs)rl3@hA9u3{pIiE zMWnoKQ?kG1+tvV@dP*d76F@fyV4@v>DW3;GeH$VPQx-y>j~^*%X_0~bpxINhQP4mN zSwMGjd^;8e6X2_Q$r#dStL(U3nzF{89~ zIaHUCAx|L(8Lm(z6(GgIj9NQ7^ngIvJ72CnRU6o`m{*?7w>~jr%H#hFzj$EOnuT)bkO9+60wb%AW{9tVm8DKCwySn(m_R2L#`t}izfV8Uv8E7t`%EP)|+c2k^i}^=iUkYAcNXxQKfK+EoovB4>M8kVsFsiqg-u0{8oron+xC}hl2GpZ~@82bWS)|>) z_;_`q;01K2r)OsBf*F8IgA%e7zzK0ap8z5qN(le-=@Wy=z@s<`nn{<9ytg2a85k&; z63JdvCL%JLn$!9o&fX|d}n^e_;c5N~|`;%7_>miv8+wyvX$|IhG&k}7ykSK~B-INk4%4}A6ycP; zc7p3Rivl%q{;thX2s|**SP?%A7qTDL`@Foi#vr4F>&xI;r7~pI;M_J4VNDF7mIQq* z=E3BsrB}eSP|u5ukzK98IPtN#o^dTaKR@)Q2SL;J8*7joWR&OqmtpqmmI04-t6z3T z69?#7R_*>B1TS(1nLqJ@kTVF(B@gzz+d_-&nKf91f;y|E2`lLVIy^fw{7O zsBab!;pA#dQ3I-yX>_s=TD5{1*_BSyP1oqSk~ZInml6C zP-xBEG$^+qCjt25V2YRcCYA#z?cLN^mjF!z4fx{BqTB<9O_wyGg$v$nO14EIa|$pO z7j7&(`h2+_0TD>pL&L@;2;X0z%Ke|sqj_tXc<1I9sVsTP5~aVp!&o!bJ2&T+_ZoWA zzv#h@rDs|~9uL<%#tyySwM7z|$N-Bd_a_m=A~$ro!>0|b(zzXLXg1TpTX1b7YBlv< zTe#CYEQDhR%~|)lZtP0UFEQi#!*{N?b1`F9HphU-K=T9}EH;8F@dr}QaQEvmWniss z4MW{&2Iin6-M($0)ns$ClLFXxc;fqFt%q)G;GY|Z-w0e{Z}#?|F-?5v1;GczhDWBGkVB90|85MX2on=rM~Qh9zJF-I$=e1;?56#%Tq4?rzAREZy{% z>kP|OIk-PdQ-8WKxgndLS>_M5`Hc-v;zjU-7VN> zIN%q#Sjy! zObWKAqdCsQT?O~kTtp~no+DxLT#{Q7*r4?VgL%UwXd+Dqz6G+P=E~+PyM4hoIU6iI z-(SM#)#r}!C_YG#9&BcN*v)6#9ffPoQ%=w!9#&D!T2-EjXC#%>wEQx0w=-R2=X{~h z4jGV!|AM{S6u1%t6~5&OtE>r*p@KPoSjgxoVzi)Iu4Bh?sUuYidQfn6;_#W>#ez-x zSDi%#_eEChl}~4K1ii;Sc$6}2x0Lo#)zmwyF4tAkF%sC$l=6(uSXR$F$48Wu!zKUa zNzK{*LO9HIH;ng;oz!)m5q7vh?s57jYt+8FxX-X>5JwhAQ_V`o8e4ek)m=~Lg%^89 zy!q!5Mj}9DysFd0g7&1O1_PWS3gr@#9~tZ7?=E*&iq`xjf3DfbvAfSJ_JuW{ z^E+36jd;N{z`QeCiELA}rwiZi?&;p$lYgPt;zUH~mh8-QKc1Gk=+8tMKAQuv=IN+7 z%3aL8)4k2P*?jN40}QsAS=;(ufp)gjT)+p^Le%WV+bBx(YQDUESIk@PtJ5@|gBr=; z`p~dY&5KDo$#xKwZOtTO)0zJn@av$32G;nSqlBw9+`N04Z1-Y*s`o5x<>~_h8)oC4 zWKV=6MIImhW=CZ{>L(5XSkeW%i4=e;uU#;O00J<9Ho&zH)Ij%e#G*CA6_GT&Ums za-qY@qt$5J4Jp-w1^cUB%2VLMK0eJVAbL5@TX{x4k_iB12Z3w8FY2#u0d)uVzNrOS zuOBOj;bf$XVI^U=C6J6^p`V~~E{3SK+)d4T*1GF`LQ$zyzXtbKky z*q2?UK;=2|s(&CVI4GSEZ6P7>+JI9^H|8hgP$C* zl9li68=fBEgdKV|SYof1JD&WJlU4dqdSUXb%pq3f2hHb`;dHIJ3|g&QvnnfM%Fxh5 zvcEPRk-CR$q1JI?dONYamxwjxzi+`NFLNe#yK4&6%Pj70;ss`}(j5@}#0qkN zWNsUu_;G6SU_Uqbne%DPL=tbAqmQug8*Ss;i<^A>&6iR*Nj_13~AB7jo+FS8G7jFe<60#!X|J>0hrW%KW zf(f0 zG%Qz+wKB_;qG>%0X<_zsMM8ojpv|cImwh#3Joxjaa(ndXC8rMeexgyK<#094=!O{b zt801)ZU!ZtjGw*{Ea*VHdWYcYx?%-_F5X@IX(kOSvy+#XxO#HL5)e%s9U$iE?9Xh=!%|JI;GflnC!r1_Z{NgI;WRLnMgq)7^ zIiUy^DIyFv4h?%IV|SGR(HT*BIV|kY`rfA4NoxahRv*i$$HEcO(%K2yie9IM0HK>z z@5}w*H-dsZ50rOtMiw2YIznrokPM9TOYjGC*I9M&WbK2u*r_FNMgHu_>8Z#%-#^*2 zuhK^Q3W7#5(FXs*6;>E!^L9dybrjc$jNR{9b;JDQaZYHAOEdf-h&f`UcUov{V!mbV(o$!H*L}0qs+3`AF)qH2C37^e^ z7)E|(&Pp18j)J-UDi}nviO20wu%zAITG}$q)uV=(4ye_*spaJ4wZzLC?exW71@ukl zkvWYUGjWnQxqv?Q4$$m08?l~xycTl4D73|rcENX_KeP4&H)P6}m@jiMOe~SS9Z#zZ zvO9_IF=i|p`)`XdJ~dE+JIiIJ&$h8?nny0x{TPlLgw2x8hBaJn6s&q`EI21$ZVdja z_ITR;raK%+!oG_wj+2_zU&gg(GfqX$KMc1RfX;FsXk@7pLs7Hg+O_*LPJk&m%|SIX zf;EE9o-P4}ZMsK~sL2gX@3u=24jT4UtbO=0N>wWYJb~*Unkq2c1;TiJK+~-Kj}BNZ z>l!(`TRGeFjrq4b`+7u<{I@F2&NYrNm>WbyjZvKN0O^uuWeZlaAJ*=pFPr`7U zlPJ|2Jv4nCgfbLx=yI0+z<@d>n+U>Yd8WekKfeJ_J9s+#FjpzZG@geeB>y?`sE|e~jo&2xSjadmu~TZwy5MS11(zTRuSl#_SjcHcYG1jrJu-Di0zr zig&tAP3?g&5gZz^d64pbMd0mU-3-Z_@1=>sKN|=8&W-9wX$vVyD2bYo3d@+Uo0>bH zLkekPx~WiDMo{^~l%*dz%8gFuA7#%;GC_AXeiJwb z`q5vVF^(MN_xBa?q5nj+9=zI(`=^G72)6)|E2Tp1hFmz4LM30^gpeYrpm0~|jS3Co zX_7Cyzv0u57ctPUtxfhod#n0dvM=jr$!oP2b)P@5;ovx6djJGRJl2pQumf&_TR0rW zW9Huo4*6fc>`r{JX(A}=Bb5crbUQTm%k0~ryJ!lD^msDT@X}0L1jVmMo6RM z-=A`7BqybVX0@vbTq+>R8MZ$0P`oIdg|wI)#kNL|4?A_(6oll-11SN)f$#ITV@)l3 zqUJGvk`yu@HtaR#$4y5ru!(?9fC=4*nhZ<25Q@Oyngy{=bS4_WmEEqj?nKCkz1XOx zTQRY8D9#mS>lfw7ZITt`C=A#Oi0)GUysja%tS9oFIP-# zg1Zrf0{G%r|W*PWoYfz`&S0ppUf z#ic_Rckcu723fHD$gW2P$_ZKt$_1lr?8X@^qSBZH8;99BIc74K1LB;Ijadj!nnj;@ z@?jH3HL!#+{dndX!`qXx)VF7J;&ia*hX>3mjBd5~BgYyIsRpGS3()LH?lgTy22GKr zF5D7F6gl&UVWbne$x0-q=29@gA=j4L zi8rVzE0503%3dbh|9pcS#q>TFlRrsnbhi05XJy7wcWDn-)6&d{X<3Mrv0QbALqHk| z=mFmUYqeWp+;Z*C`nn)Zpsx3AB^NQ|s?xkPx@OZd5J&1-3zu3RI09$0SN`i~uq&YS z@lp`US}y`v&x~x37OoKRr$ZU>AhfV&RebJzUUIH-Nm6z`yl2ld91NcX6)upJ)dn7v z+oy^l=h^!LVuC=)VqZp*h%+KBN$CI|&E_w{5Mj$=SpX>5P9H$!a~2m+jkO=98#WhL zb{aU%*!(2L6G}_EX4aBn?HiXL!y$O92wjiK5+PVBL92Pg4rtUOu}DRlh_;MEq6n z&XtyyCL<^3wYO&*!y5+eS3^r|!xL5NclV4q;~kGiiC*N*7c7*P9QA4ra8Ds)k-E7S zXx62UZY+@qJJ$#hva5}AL@66|=P(-#qAeW_NYP9!M>x7HSv+0Zu2Rh+N7;*p+h!?h zu8DDFmSUQ8yd(_4uvC6rP@b`r{?ye(qdP}tDLUVlM9$-}wA6s@z=O)tyn*4`J=Rb5 z12z(o_Gf*&cgJ=EHG3K2Q2${8RHd99o+pJ9OScXfb*rh%S-c+#{s`D?+kdISVM7VM zdW-WB^`U^eIx#xZtDck&hzV!D^jv{@d%qeyuP|XkuvQvP$A^PI+?#X=1N%OkIOv%w zmdZMgu&OxwrcZu}Qa0*#R2e{+fp#%unxvo{I+cZV(x5bKM$;yh!333o+7pwcZZ)z2 zz9n;7rR4DRlPKiy;)`f|#U~e1-fC#E6BJ@SqO>F?T7geqWOH}-7 z&+sHRdb~)iAuCrl9MgO$I=576NwM}obF5zc3DsA6JZQoZJ)WTE_38jM%I>ZWI69p@ zJp#bP_-{RPJt^RZ$WAIQCW$Ovcsy}RH?hWEF8c|S&OijgBuk-O$M!eI6O!)(dE`06 z>j(W|p(M0X%IO2=1ANcxVl7idCsuzs%X0G374Srx#9Y4Vd4pVN?<(p%A>K{4L`NQq z9JVKzRa;y>v1w~`*WmI^1GPoso_@w}+&T7p0Scr8t_EC>I}%U~)Hooffya1iYm-Z4 zo?T`{gm z`{DIpiArM5J%XJ68Gl5()fBtEHS+%e9rCr5M;GH|f~h-#4?*5ptdobjIc?-z-wi!x+aD+W`FB z!74T|9B1n%Kh65dk#p^?dX=7d#hY{~)NWSwP+C+2WQ4W!)Y>{YalMFhu^c90e(e;T zyE3XGB5Doq4g$nAd5;YUqc>BcCZ1p9+ZW51H_7Gq>^{oo4iN2mY~?OSLXckiwBS_b z^1p7lW{t6t{AnL4fksFzT{Wlv*Fk& z(phqc8K(M%`e~Kv_@D?wM6(qNA-~O4S zY*k><(sd9CLKEzuScvy)=govNhQuFnTt=29`2&XB3lyJ#30bOf6N7ZO$7jhpr70o z^;FMex(rP|Q{scv1}7;aa65OA0abXwZaJw4m31+xFR~yrJ(ZJ_h7jQrL31h;)Tqg^Px`)iz7V6!`OEx%6or4*Ev;c9Q$Ks9(0 z|Bw*7v!oi9%5glWnE>pF$Ruw7N&>E`&fZ=mnBZY>b6e2ELtoZ~0M(Co8__QxQc&*c04Nyr#*hTEQ5XyudT6O&)1Cig+X_YXV%D4+XYVevLdNqVe2$H*^ln{ot^-6Y;^!G2##psWvR_AUT4 z4om#U7zlp_FpaO!>kR0?uD{SqB^C_pBt6IC7fiqP0pY{yOargfXLbY_Ko-2_*S&S? z_ASK}HkU0@IHnr8^^-p28jA<0A-ait!bU_Posd0lldw zL+g24fVr-@+ti_Xk*yW@Dx_Cwr?q zh=>$iPl=!|!TVdFQfmMPg9g)PA$V1dZ5>^o`9ClZ1!p7hwjXDbSMCm-_cj&(LS}X{jtroY4?7|ZtEoNJ2`Sn zxq$RbG22vhm>(u-^Jc}&mc8anhh_O6?A^)i0H*!q$rJ8xW#;+vw9*tHRtpYNtB>Gk zPKUc7Eb4k>{VSJMAxfFWHOV1{^Vx|lDpUk#@v@8b1)Im@J0D-)xyUfyCQxAP!@1Wv zO)O*L4K4AOMvG3*SzI>p@ZLf^!e>!iZjj zq!v)Yy$BqflM;ZMJ=mHeN~*DMAG0&ES-@apHLC;369VQbZ!5S;m?3}@0I&#$5r$~g zIL!@8^R_X2x(H+1I=E=SKeTSFuY;Xia(njlsgRhBSc{vZ{KSTN5=9fmdnE9V8bi41 z%s5K-FqRe2@Ug$sSe&!E=K>0Rq+SgG|T3mFOGtM@1V2hX7b@EjL-07$;j)RmMs zXv{*%^PCjC&MS6>IdNY`PSq>9ZatA*U;nePkO87nW?kKEky9FU>|%E7RkyWc~f!9t(TG&P?@~@?w!%-u7oB*h%Nwnfe`SsEm%B)?*!TR zew^U*deolR@Ln9;_c&dnbsn4Hy>vZx*z=|fd|No{jkJ*jO5aAl{9fa@-F|vV1o`yD zhhwcTFh<$%b#JK8sFwR2RGLqddM9 z7AN&QyYW|ph30EawHLh;;5tP?M-l9<#PxB+X!D;CnN74(YSw1Zo;Q`CfE^<`pbb8Yb@;@#dIkbTeuWTj z8%N$O-*p9SHgs;VjoUeZj}yt`9C_Gh(*$NiK%-3$fk5tgyNcpd;?oc-An7!A)y zFkcGxGhIq@&^A8xb!5hqc(8M>w@<^iB2U_)6zVC z@@r{0dJm}3x0Z5qbCHtjYWWJ$0IK!1sI`BG^s?FRgLJyIwBlQQ8eX5vnLq6{&hVx- zy$b+nU|L?IkVd<+k51|^#Zgr zkVmp$Fy+4T1Y@f_*dQBZAzCvh3dh{@HqRJn=7B zSW5YjZ8HvPpFYqVKc~9Jx1aB{{NG_73j6x?%Xe@Ijj`_yJm70;qN}$4GF2|0HT=@_ z_JpCbC?STIw^!o#+aeww^kffOhdB`{iA$<8He07M3ckuRl&a=&OQ_n_+eITeO$;b- zRL=jPaQ(gvy(dk30aUMWJ`;^~p3YNq!p4cP+CAFu_!U*u$?jgQvanmS<{M`7TXY#U zPdI322ZdB09RP8e@E6)~tdV2}8+p?lX zx5&B=azC0 zi~zXyv`fY+jUcaR*(Y+8Z_Z39roweH;%bCYf92_;8;XPJiommYt1QOn|<=<{g7Gbipqu2Bmi$>^|eCNBT4vFi+LqKVe{p`fB5A|kyC2nf=9uuw!w z1gX-62uKqo^r9lYcd1c&M?g9O5s@Y}v`ClUA)$p(?gYQ@x%cPw2WEF?XJ=<;&Ybhk zd(QcsV5Umwwcm7S1cO(VMQ89W<~l&C9|734`yS_6@s2Z+0ci4HmI15V;45w6jE|tB z&)$4@aBws9KT^P}N+&l7#FMNLrpm|Q=D`Fo`2nyCVle6zp1BKL_?K#sm+WChu>1hq zp!a(I5P;Omz7nc?9t>T;3TANs%YGqqmP&hd=#$U+ROi3GvZz3h0v#6g2cdP7&0uic zdwTQyJ5Pcw8cmaTyF{~l`a6l=J5Nz?LW5VoSO@s${OdsRgn*{^<~~*X^vmUp3sT(H z0~ij_`7@r3CcwYTm;FosBL}_U5kqd3@iPBMK_U2&v0VHY8dq@yL>1-?)UsaYT4qmL z$2Yj+%tuLB(JSmH-_mQi)}1#7`SUMTnfzA&e2<2U#U?$N3+S-WRC})7f8F5P2OFNJ zF1t_>ks|sGk3GeQO&l^(i^@NK{H(T;ElF*^i?zaiv7ewE;-ypWAl_aY=b{{{aE)!+ ztg&~%tzw}quga$TC9%Kxn1`<0R=qUYZvE<6hrnYRr&Z?Hf|ZyNf$mM77kxcvpa;FW zQ-XACPR*|>9|GuJTzqJd8~ z`{~|=XjzXJdzo*xexOcyP5QkXw~#IqB!EnrmyX;%Xt3NK9nU2iq>wpTeqTKXmmV%U zA@RTPlIYvVdM=YUxW|kJO6cDF<8WHJOGKuit%uAyf{%g>4YdlgHxpk41Y&QSZ>FlYOLG) zTsqpGEjNLzk#dg~mSfvx(#YkSh<4PT{M?FmeKFk91T2s@b%w)eRaWJaC}tW6=QmfIp(xw&t-9`RgwlYYef z0lw-pwBKfJt~5OtY(hkIy8qkYqaa=*7kk%Wht}A8Tc7B@Cgy&TVfBQKyR+#2o3S?{vC)L{;I9PoR6qI8`H@I)zxG= zNt@WUwTiu0du1De+M_iK(iW*t+Hk41J8O*L9~zZ!Nt=Zj8jRiSl3p;;FgpkF+E=q3 zYdA+uJ^%O#Q&37^^I($raWO(>fR?S5v@{N`P>aMLt-G$jnS_;YIW3mglgBJ6O zEtTJ9xC)gaZN0rIXxVY@RlNqMZtW@NP4{WmhCNMh;e^4`gqkaHy8I^NrnC<88cM%= zh1IiXn>~Ndynw+9eJVih6`M%<#U6`x1fygP1>sQw)`45S6p+o=i`f9rYB)N2Hu@!J z#)@*6CXuUb5APso|3|A~=k&z?)3j-+Kxv!f5SJ1sC@-dTFEL_ov9q%Uo`x3$1G&OcU$9+&vlu^P0N4oz4o$Dd$~@+s z+@&C8CiTY~>4@qsly@x2S8E9W(Z0a}_}pOs=roTJ=OIxN2$Qb%EDs{5@kJbhgi0c-VF6BWxmH>5XyN3SDpC)O&ELD~Zx@204%OxdXn|BE9)LCa?eK z(Gh*K5}Mh#v+sU4Qfk2GB(ez-d2VDPXnxA>;cqnA-ICVhF*4tWTBVbE+p{;?-F#MmT@5|fkXHG>!o;CjdUFhqsL+(Us=t`WBRnkg$t)1>j%!T#e zn@z1Y0Kv5|wRiJ{E8-hRFO6oomc zdtbC>9rMvOVbyNbBZxRkCxp(DD8YxImKIeqeAv4zfVoQ8f9|Y@3F%u zJW#cjIjQgha(akVMVy>A;;*8_f2K=YS{elO7RyXI(VOw`w%B)%`KFS>Ge8f6!w^Z}qGvCXsG26Op zY|z+W=E+H%Pw(=rx3{T(J0=!RUhit(GHE3Jx@(J4J(1#S{Xo{Tmy1|X9w3vJM1=lx z6W*4?K)+j(LTY-#E06)Cn_u8$$nAWavEmLtCuv0r#t+pdz87=~slgs?FLK9~gQBi+ z0+W@s^j>D-Hg{e(#&O${%&bz6h^Ps%A9fUJuskybVTG3JBg^%d58^YB*%j(9I&&^p zFsHDSc3hW}^Zn)HtR6TD-K;%*;C@&?SZZ3E>Of?gU)Zug<#W3Uk@K;-(tWUh51T|G zw-C=7>w`ULP;7|_S5IPrBBW7e=?v8`mNR(qE17TT7Ez>4 z2Fb@R@P;D26%WR=dPB+58#L4yX3A({jT_!8>PYE=JPoiH1A)(@*b8Wkz2@PymQ`F0 z?yI6_DuzNP5ch7j8_$-|(sf2C6MYSSD4z6ul|JMp&p#Eb4t3~d8OKYy_N|s_va`9?1Z&N@d=qX1k{+;pvO8rhGb+7y2pfQ=GMz3uv4y@2B9LG zOb777GsF$(~R$>Y2+e(OBt=FK8%-xaI<;veZss#!WS69h8R(S|cUT$xA^iX!=JE^uZI-RS$0{c;SZ;xnN4#R%EJ^P1>g-V% zsiQIRe#Ddv8`-;i_5D@RTRvlqn4RUFS-XVD&d=Y-*U&?2yS!r(TqYwm-PXTnjyL=$ zTB%4W*5D`jPP6Y)|G;t^2TPlNRP!cuZl=Ni*w``k1DWt3-F{Q4>*tT#?I^s<`fI7) z4McSZ%KHY^)7%{zNjAT@@z4CuY}?$j8T-a`kHXyjyNoz3YHr@sV8hjz7}7r{fj;a_ zh|_8s4TEQy>GyGa^>fQqZINKULGIx-a28t|^u7)*!jXOUx&bB9iRdrb=Mma5E(L_oXkM7jD}J+nOJk|W*qD<@eB{f^gpuNo$Qzd|XCOJU9-qx}YeTb0Q zuZ|3itRWURu@8xYi%~Tt30?@KSW_5keZm0wLKCTq_%M3V$XH;@z|6^(bPryKY9px@ zi(Cph@KMI>1a3A41AS_Juh$l=5Q6ptB1HFHhV^BfPA%L`WWV}SFr`B@8m*G=?KUc! zvsAmdD+xN@Oiudp9~a=#)nQgf0ZIK`Mhgd8$oJ(X-k28Bm0sRsQscHZT`I}`N!Q{M z&i{u;5FiJbFaQva;GR2()OUIjlkr~K;xo7BYQ2qRtrPD0(bVZ6sS`;irQFfi>Ia^6 zIZO=wc{f{Us%0j~p#%LfQ?84F4!YB|?oB|~7;|i2mJ@cE%WQqo{N5KCaq6{W97|&m z(L^x8VwEVA^sSX=P31UmhBo3TLH?iGiJx9r_oMAHQu@Ky$^^06$~$5@c$e5fTYZwh z5DdlF&?hadjhZ74N=+xk^xdoBGMELQ-@{$?DI>AFH7Q)!9p&*@C+Q*`o5G0FgblJ1 zrU%7wLS~mw4kN2mb}!mM6LszPb7Yma`@U|si;FWU3b^;}x^1Fv2L(ApUi_*Rrmew8 z9L@movPlI*k}=R|hz77F&Q3!#Os#eB)h&>{w~=I8g6Q1aV~mNVK*|fIls|9kW3B5` z5|{4X<$+K!8rK|2-q>V3l~Nba2%&=k9?%u#dET4}IWj-{TUS2$>;#EiW=cHI%ge zcxJEjT{?DFE~G7cQE@U)OSVbhW}Wj(CFz*#1j{L6lw!($G?-8-_&BB?EU8Alp3SVR zZi|_xe@vK9NbgYPu<(Bt0D9yj!-pnWsvp^W7x~(Ee`2okvt@diEf?&5gshqYVT(1FY$-@2EHZT>R(c zY|*Q+G>_!xl7=T~0eQ?wy#{*|s8m1XCQpcBH`AKKZr7>mXBKtKy$2DO2zz{a`7^c8 zRU2JN0Luif}YP~{Z9j$t$u*h-M?6zXbAo#`ELo42Zn_1RsG%xR=NK>>EX-sl$E~+ zv{#cZ$uj}>#R6ItePH(k4wv?$q%-`9T67|N1l*L(^#vd_n=|ZP!M`a09q~CEEe8P+ zbN4qc)m5X14T&Iu8wml`DbCG#a9!(J<}X1P0w~l#1xT6pNMK?UV495KXDA~AVG=ls zGz$?xpG2TpkLT;Eg$w=VLsq7rMViolc1EF;FXke6HVNvTF%L!Cv;p?jJTpUpz8a`> z^Zj2X8~^L}^_MNEkpi}duATok`bKmNa3ljrUp?k;01U#@ztk7xYgD0a$1BcSca6Ic z7Il6o%%hnL3z|dePJqaOyBLVh0UWb4lmEF5TK!4|_>74HMrh=hGr*4AubHS=hq2gI zJNiknPS=^APCFTaOu1(Bw;k@JZ5n%mULVe2tW`i)CiILv|35GSJ|{vK{_6L@S@(h< z8~4#|m$mNNSrgvrw-j)~@*CId1~g}Yk^+Y^4`lkg^3v(Q0Z1l6!wBw4EoV>6+a&;f z?KICtsd)%ZuZ;N1umpSFz#EkSEGlm0Wqb_z|57Xqa+WXrrAt;a0p4hsVy4E>5FuKL zhJnVjCV?TD*YbCvQGksM`U608pg$DvB83UP_&erbm%D%a$Jj8N5Woa3#d!X~bo#$8 zXYqs1p?~9<5VxOBP1cHa*bRCfj0_kKCmM|@r$+twF#XmqR;&3EM{D48=vMf_^|@pB zW;`)mQ%l`3D4dw1>JEeS!9jql>&q+%NNu-g1-G^qNo16zs4P>=G;me)4Qw_uLn-veu%&=ODfm7dN7?_z+nGH68tJz}V1W^kFv&Ad2U$vyGj&z+nHg!03zT|pRf(U&Ig zdkBX*mzHN-ilZLf4-*1M_mwhKhsn}?z)vC;r5g%#S4e^|{D55{Q9&r2kOgfTh-D%t zTy6-?2uj4c9TLvJm6_eH5r?h&bAz-!lQKBM^`e*#i-(cm<}`K5LP8-T4MLZ^9s1Vg zRj>0{ah~utOTP*aV_XthiwFh2rAS2Ju}}K~A3nDcP3ivkksKizlkH9pb^3Ur_g4s| zcnGi8G)NT*4v2^*e>kdo)EL=3eGx~fqwWo_ynA3!Mou-mWnwN7q7#YWrza}biD%4L zQ@nFnWj~r}ti#98mbt^xzkK*5g64_!EY78Cl?9#KouJb7V!cCfp>+A5iq{Pl`XY!bZ0rc%nsn{wY?_6R@@28GH}AOMW;Fb4 z9Tw22(0OTG>ZJTcsOV~cWae7NlgQh5U7b`nt`1vZQGgp^Vd8hMR+-}a)0mEh`nJTX z3PH~LvfEv0(XEvzl*{CQ*D?=mZIKE(W`3vu<@_*Pl54FEo z_WfR}oW3Hu<3^i~-|HyP3|Yw;j>2Y^U+P}_{}^}`2$PA&#m+ufpL6qhcOFacC)lw~ zpNZQ;k&UK%l)E5qp>oysmBnlIZhFq3j=AQ^7ieC2m|f7tVx6vDB!IsjVu>$z{Voe5cwGK^O9{#>02*P&fDEgk3oeBry(X;)YBn$ zdlu=2LCr@W*S@zVjf;f6XL0r^m#pm@Fo)!q#@4AK22tMGu&@jX&qG&F&H<0Ko|ipp zlC_RCyYaTdJ&@cs(a?-FvyS7A@c#x8_z5z)ucDG=@qTz6ic9#B{51y0M`+hxWLZlA$vu>{!4iipMy zL7^%B{#;56@Z1#%8JWS?5`%!-+m;=SUEuFlI zklV(koekoXsJVlWbt|7ra!}UG2RDKUaxc~TrN&^&EmR!H_S74xYIN5?x1&AqibT1v z77Tf?H%1y_#|LEBWZ#JDQ@c(zqqKxJ7SnIhMr^5(6ed4f0wZ^}`q_;<@peXyP6~=2 ztbmx>c*NCzxUzC^pjSTN<{&Qgde{0}v~iHrdPjluq z-iL$wuf%k9L3qJ_+?z$`<3mqr4P9@Kq*C!mdWpziuGj@Nz%tYoFg`MCAv+2D)3ST#)k*WH0WV5@QTUOKf z39wxj=)2i40>nh$_&v(I&wnXAWn^YvO{sSkWs2Md8OT)4uB|K`Jgz|V8N3wh9a=4U zvp;F1mP_S*&>u(_5l{!h_T;w32XBz9taMjT4m3BvD>3#~lRI99!f}}RfjXc9dTb*1 zcRnvHY~?#cjxbdH`bCn*^b=lGC9%QY&t#ZaILntmbkSP3x)KLIUuu3PYy@o zhqVzx!MmK1PDXUGWQzhz3#8(^3n^1w3n0yws>umXWg~}(=nJZR9F52t0nY`A1yPfe z%1=a73^<#5KtMji*Ol_!XfUpIQs_02+1#nIC7oEXTjja(@B*hh&hFkVju?GST|iPx z=1*;6F%Ki(qu4oe*Q8JiRPw;g1y6dcsu|T{Lc#<=El1y7b&cH>+G5R(#-~QQ5(Pw) zRCS)~dIvw-P+Rhc`q9xM_kL>|)wpSxOyEMKxrvC@N;ul8ur!B7MFA}{e_ZS^2xnuu zv1IRrp<3h{uGL?jywb8_ycak}^*}B*{d&Eej5?2_gR+gOrlxDB^kaHTN*&Y8cv8~b z2=?QR6C@tpa2$%4^1^BQ`89X06bQJ-d9rp6KQ9&G)X^b~A0&Ri#t%pm=e^SwE)?nx zYq$afBjfU3@z~+CUrL=buAB+tmFKyCotd_mRL1>e4VV9cc-eKzcM)Ibg~L3LfQzj{ z>Gxh*KoC?r0@V(yAk0;{qmu$N0|TM&Ydyf)|GeDQ9@>kLOAIe&lJ&~-J;5T7g??{5 zJw3KJY2v$7b5U81dp*`tNh`~-xk*tG`#+^>oIe4-gQY2fm~{q5CfJ=tFgCM5SW_(?yonSg1e5(6UDer|sKNucq7`FLjEw~vs7B54YQF?j?AJqSzHd$RJw zi}vuk3+pcTPR5me7_!;)J`)V6Q>0iC)2f!E*Ua8K{rT>siTuknO$YuN+?o=P&#$iA zj64~s_1G;aF-HD&)aZ6{k4r2n1VMsUXA!Qb5h9)RBp z!hb}9V+)J&y11+vtGpEEaV>_{kU#SQ<9qpq%g(=3e$jw+uvAD99TZK_{B*eIOGbC& z`>nJDUiwjql70V#!9Q!HBJp2!=8v@ABbRqqDuJ3m@r(ydxPp?#lS5617BDnYZ@<5% zB@!BQu6EF_6tgGk!RFl0r`gA5@wQG%4d}eV8XNxHN*Y>+0SojFUXjwAM8H3I+p1`` zqpSxZEx?;{ae)62AxZgdw!^WI(lx)(2bIzny8V%al!z!QOO}hQ#Z5%rxaW7j$v`Ie z!1kP8Y==CJfMHgNR9+z@{MSfIBJMB_O97O|kZm_U-ongGc3JmB`EByZ@|zzB>lVLZ zO7xe{Wm@6{X@$gOBb0Uu&#WshF1#aK=i{|(&ra1f)TSFhqm|p2v70w+Z%0O;W zJd|j1qW|F9FX+vRrwqarL6Nh1jz0D|I|MoLms{?4 z;F21$J~EYhrp7GbuiiM{(O9GgX>&|P7QZS^H7`RqhDSf+zdPtJ_%5v9D<#=ss;7&= zVzsRdUX_n4Bf;A77UnwBTN`BUUQ_6Bq+{=X+21g(ESox5nU=_#nmF}q^)@;HuVeol zfwTK+clwp-e>Gs=kueiI*Q~npmXHaR5_$H&nc*a=cl4q<Pz`Cc&D zaB)FOL7V>nD%-ioU6x*yXZGR_VY%fa+Di%}GdI+DzwlsNQQRRr^;5_8 zOu9P=bnMgXo3V2WVHuCjZoR~k`aMX{~*_wirt_Dsq3#qTBVXbsT{ z=*)O^IZxWF#)-53#KAjOB$>6`?)Ipo!2Sq(lh+wSAJfl38Qb2;q)CJ(xDPKMcA4XbD)OAd$`myMZ1{j=t4coYo?!fhbzfGdU>D1AJc(09z z$9haewWDeaOtrNMXPwFMwdI&W3M+aleoC`&(%nlhfxx1ch0N>^Q?qzu_*Li@tE`>y zj&h5U^=nY|B-NHfpnef873_X4@Vn6u>2;Lpu*6-b)?<+_&Lv2QKc=ImTUzh9+ zb&QIg{q`tM?HvQDVLf=zmlq*1`g#-^5pM<k40={y}J^-i4}cZhTnYVud=&uFCNnEUjqB!%tKsRUb25 z7y}&($)%av>`I7)53sA&5zOULZH)+npfa9@E~O~%0hdzMx77-9s~>7N^1mxZ6fY{9 zEpR;?o$la@hso1|;w~C-DNmfV*WRFg5~CM#u)QC+@gMX)#{5I$e}AyUF$HnXOI}iz z)$I-tlteCSaVd|T#;%2N4j5AVlodpUsVlgny*jkt8;&f&;`N8`<^0LI$kQk+H4(ao zMcwc3^14XCKx{SRRxN6SCE8RTJEfthxo+)G?HW-lGAVknF>!2HG{| zi4?br70@0}Op+uL9SVoEsIQxKS{GIFO;y*I1q^KwE zx9SVn5}PFiJpkt6+wLHzcn*~zf#ue8RG})DuJ%vPd6Oq!N8*{(3&^XtF8vX^eRYjo zEv?srk|xMOUqUfex~JhHO}D_|BwHtV_7_%-o?aW?PKa!qV}}&a$5OgGC981$WQg$c zj23IvPjjF68{)J^P@V{rk`)cHTK5gmvF%lgasC91>{~)exmK!B3HKn|-Zk^7ua0nJ z5B&Wq`)Hc5-W&GhkoQBE%C(qZQLZ?TJ2ooSszzm_KHu0-@m8EicEVnSomEk%P|E|6 z6zJ51Q#d8vTQpC?4ov)*@d|7i=E<(%)!0)e)vZ!D0{Z`cod&#du5Qr5vAN0J+NHH7 zPf5RELyc3BFq_0~cS8K!wP3YTfeZq%57i5xq=wo*VIEQRrNVj-9^pP{#T}>6Xo=s* zP>%`^c^36?+>-jD{nK()jYvoBHK7c`1Ri7Qgg??RRE%5wF3<_7rsb(uO;|lymk-dr z(+Nj*HBQkWw=7k%YE?gWY1Xy!Py}w5XAA^yW@tEAOIQpNG1vnn^cyy1?0Fo9)U`<71AuaT<$m52AdNa&(N z9`T1@I1;nH-@t~4AAiwe_F(-BW7--=bme#pJvms=DtW@b7#mq@?NAO)s#cFHRGh~$ znr2zaK4b62EoanN%r8*G+fq``lRjUAk!z(1pvA>#39I#6c!*Ophl0;YK> zGk)S|LS4EZ$DDZ4p)ps|X}G(Mm1dWTh7qdm;1ta*e1`J^nHp+Q!Jk_W zy?G^HW>3PYu{Ux+_iKZeY(wRsj4S3zKsi%U{`LyV%`)l%Tb^{O@q1*;&S6ejt=B@1 zeEi0J-lwXn{5Tu?=zQlR<_?f4z0{gWw$tCp5&TEd4xeUG&2`iTNzYWQeujTjq;Cz_qju@RU zH*9x5r=uQ|jY-@~CV#4_TLO?jT8+JBg_5rK8XUb4)?4;|b!dK!Y!}X~aKhNa^|(&Y zB6ci5i#c;#D}vG*^tKh-ceTXbV7%S+3O?<94w~>$%QxQ*hu#?OYfhEx^V4100qeLh z_4_p}Qj6*ROvo4BYK6>=`A7U&C}jJCj&g0sb_lX{x{bSPO{s4$Cyi+u$JG>aOf-DT7_z|G}Rw?u#^6%g7!ja`8)>M(RryH&M`b;oJ?1e zS3S!0E8}t8>}6$6Sq8!c550j0Yc@$(PPt*6U?w-DmTy>6=Qz)!kyfCJU)GRHvc&Uq zDW9xi65rw@0StyNzP(%v!BzV>byc2Lk}#O<;uh+@kRT?FI^^tYUtNpM*v&eOimDTW z^LP6tThPL|ib1~cRY*PRL9pI1Ql4f|Rs2%%*46r`6{TtRGbvf6|FLim zU7ZNz16tfbkxH4r>pi7s=bMSe%3!B>zC`6E9t%k$IVw@dBh?&|v8>*w^oI0Gk0ab@`jS{D2D zQZsj-;D_h*3Udhawo2`jx3F1UN104k9pAA*{FRZb2J4WM zxq{J0|0h2h9;c=}78>{~&f6g6d=xnC;BlR92f8V~AwXFTfEhlC$sW2Y@rOxoY|s%# z9P=^eawmnP5l5>+5`U+Y^kQpm$Nf9txrF5a6V=K2NJ%%_$>tE<>9F&yzzMCbvtUXb zt}FTi0d0gCu>H_RXtQ<09;PPFaQcPn{Wx2T_{mk;zt~Rm$0rzw)K=tnUB+p+hnE~x?@ZN$fkN# zLgBh>)jawoRDY_R47ujC+iJrk{#$KchFZla_9!KM~9D_KnXWze;Gk-bgnp2nH$Rqrkuh;GUnqeFd+I*k&``6@S!O2z`LYp1H_3CiMV7R!jT`54WymT;-H zfD`>4V{5UnlI$L5k?Q!Q&$*9qm`2>7W- zj*EWLMVdRRq}W8tg&d&G9eVk)fZ0!bI9jn)C zVM0pItiS9cnr*F(2%4tzonGzLuhfGj=iM`78tiLV>-JsHOtUbP;YVSFWuN8;+NH)v zx2%<(dQPolQpo9dPW7mB&8c1SGjR9YlJn)^BGu8a$7W7+6>Hv+7{Z_%bq_hC%)rGZ zKly4}Tu;e#eWeN}$Gx2yI2M;5zW=6#r>xCZ2}qOZ(b5%@gV z?q(xg_JX)HP$g)sb$6V5US(7LPYh?1e~&W+)vHM8`LDoSkRFWh7a- zRUSwUO!T(+hK^?fueI(xMgG|sQo|{7-y!JHL_%RAnwEqgLHvZj|KERZ+owguKk^Xm Rn6o`tWd(Kll82`6{|6gdlMMg> diff --git a/help/media/intro-mac.xcf b/help/media/intro-mac.xcf deleted file mode 100644 index b441a6df6b3d5f9d9f1bb954a6457a29be6ec28d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 337337 zcmeEv2Y?hs_IGvnY=R{tNDvVuXAHm+77zhfk)%j45d}q1Km`dyFtdva3Wy$NPEXNO zyz>-91YvW|v$K3P1ca<+tx~DGhc%uy7l8>Oud3&2n?oU!p>3xdbVj>bIHjhu~F_F?ajVsP+-0{he zG3KW6ii^$TuJQ#+ch}_|_o}yrr_ZV8ON#BoMe1>iP5z40h*O%yZ_)E~fzn-ZPUDVG zehXr_XuRTL^SG;gfzsV|dB?r#y$Ze59ksT72qSXHsz(<;w0y`z>sBozLD202>%V@( zrq#=Pu3x)))v^IC`mcCs>Dtw6*Y)hr4@1^Hv}AG5;X{Y>ze_|$xUvR-b;%`I-T6I# zIzp@)*FUy+>8dpk^&H`@3yGU9mFP+v^2C}|8+xuq4X&qbUjz+; zj6lPe;zSqVisQiOI#4?OwLoyk>4)l$(+}7kZ{-zlgE*D@D8d>9KLj_O`?f(c(Dh!6 zqjJ4BEZ?|c$m+$Lmajt+zut5EKe~9`BTqcmv)4E!GGQFLbWP9otDasy{@z|AZ@zit zjraDN;MKZu!-!zQxM42(Ug+EvYu9Y(*=z3NHS67HL#TkBBSyQ&gF?eol@5Pw)yCzk z=~^vbvtiZZ)vFe-@41OzyVZ-=JoE&HWzSyA*HCFo7O!7EWZ9~9t{dFy4eOBDd{BC> z^u-YxPY*w_e#5F2n|iKZzG4Fvxpw1_N7pV}j=S;3LJ5+|YB3S4$|Fk2g;nR<1%LFkE>HsB2w+J`GC5GgNSie6PWQGpeBap^ zAyaVMh9(Gn2jQOxrw|elObDgm;VfE|;0Z#1R?}kBIlEJ4vLLr%8o9<%@f6lGslcUQjb z42CXpl*zJ&C;G9vd9tkYhr$x&&Ita@5iZM1F#@ZH9z0WQ{nuIvYR6xxRRTd3>+q_% z{49PNr~=eWWjTzAtX{LdPS(f`XRg7C7kNXcbjU0yB~Oy&uaJFVyDTT((x&erS^f?c ziI7E+2gD zoKEWM%BC#7IIZ_^po>Dm;Vh9`@TR((>*GZeA~k>?`|RT%?47T5dbL7X#IwRSiCPy0Aib{KVg93*aNlht=HuQA%aXM{^;XC|A2iCK1)Qdi(I9>3zB zl4Y=479#aw?jjwvG76?)4=K>tM@Wjb?#4Ew)yZ-<7j4~m+yGiohX&#jDIMCBx)yhY zgI&=UE;?Pb@SxUXqum#ch;dyqUTBoLVPGxpQ*=Y}42h4GA)yd!co%3`RsREt`3-0) z-HT|XeVkgE`mr+76w3PRA3b*Qa2B_-nse3~TjUEv*eK>Jk7hMz#em0v71@- zb^dK9o|EOb5XWdf7l>m`dU-|0vAGh{wiw;?w?)6R789EW|LsisYl6=@ru7QYVXq-5 zQ+~!m5Wkx1HOBhjNV6XN39IncgCYps=iEB$j-LJJEML5A$gNKyO#fYJWmsft916X69!gBgYESxW_O4#H&o zHXL~oZ}r7kYKb2-&T`M~zn0%tT3~w8;CKougK`kBq1%xtx8V1R+H2NU$@QZ-C8=S7 z)d<&au9NFV@OumqX_(_FS^m^Rg7aONgL&uolI2wI{OjqQ?olp&K1-qdp`z&>0kT}_ zo!?uQv;Q0aCRu*dJAWt5a@^&MthW2(RdQiZP$&})r1aQWD?4s*(V)?%`lACV7xCIP zt`6{%8%#sdWh57MVEDo7cr7Hgz-s&NsFQ2%;<}dPra(Cot6L8F`*;L$XP{%w$nrOr zNUs}S@1Dtdm*m6hFmE#ja50-@v@4M1ofl86CXs`&aSbe{mvurG@KPAsZ>F!}Om^l{9na~oh!7`9Je5~>&m%4Nhk^#(dzbyCR zsqRrRfYm3;NxaQS;sc>SbM%wt{q8h=@qN7J*HAWn*MFN;nRj;oHCR469;LY}jSdvR zM*`+Ejniw1;WAY&#ro6nPg%a%O~{7?<}KcHYn&!-xS>-(Uv0Hq)e93dN0Kblupq7I z9wg9@P3PArc$qB!jmYz5T7ys@V7x$QH&AT;o9~2n zbCwWwo-DWJLNtyk>7x0xz#4>)Wq%p9B)Wz6j5JZ1OpC1Q38=>huchHC5Gkeuo*v<2 z4-*bPrAD`6IM6K5dA&mVuq-cgb)IWDx+m74t&n9}a5(Q(Xz}}fozwcT3T1>cWpa%w z^|E{eMp=Vj8faUv`dCcbsE09_l`$(conAxe!?K*Ru-)jhpK}h!LRs$3$B-|pR7NvX z=GmB`bS}X1sX^C8q12e=jV?;p@J4BklWmDrcYaG(oxP_cO{j^c^lEZ!Iwz+&dT&mt`L)he1Ervrcv)VBCReYLmgx7*C>+P(7lmrwJb*y6&9qAU{WQ6s_KL+p9^X;HsVVUSzWstSsse6uNo@L)xc{K zH{hi17OZ>%sFz!0aZ>T8(FpyP?ZNh?uok&xd%J65c~p z7@RoNO=;FAMAv|pViH;8M|2pO)X67h`D{?@AWtW^Va|Q@TilDxdJIJz8m@_<%VoTV zcS}nwy_~~|WEhcP2-0=)-}PgK6YMNzyo_7sXHs+NW!-T!fscaduKI_IjiBdc-WFKI6BBK2s|IyU&rq6Tz3DJRU5 zakunRw!8$opbdjc&|Zq6ml|)AiW=dSd-ST~#J4x2CXnL(wT$kLZmOobwIR`$R|P75 zZ&aunb*ys*SD(0*Hr^2x8gG5;9N?nzM-R}wS{Z=UOlMnHR;}l@*PH~`9t{G}y!)6JD9Ed;zKIOg(3jt#FY8lry)Xk%E{JPzH1sgj1&QvCLTHk`fL~EB zsHU2AJ7}#qv(q0XIG&~vK!CAV@sM*nS)bA`rOI+Vb2hJ!h?3yLLs-$&0yh=Jzrn-3L48a+T zar`MbuMhmP>-9hR}t5QCDy3qw!U>)xbOb|%!o+)+4v~<^funX}d zKGo^O9MXPyvpcQ%ED3suP;?C5x|T;}$F**{X453)mnX_KOqgYs<=wDHU22LXuxjOw z$d1bGaJ%O#O)v0)CPqrI?k36n89%w7ZibM5^j9ZJ#;^;>y8QcA=KAw ziUbPW8V2H*U#EFlZWzD?cg>NI$JL}St6%PX&69(B08jQ~4Yvn*r}BcXgS5mCDz5e# z&t3Yhr;EUs)hf3tK$;4RFTXE|^0lsW%>M{5W?J$4#w$rzRMfLtmw^wEFE{An)+9SB zQ$L>srBwT(V$Ji%q{jIkX)7$3t^+8*`?1|j8|j>0E(0E=;=0e4ljF)_J+T}kuo8ql{4n=KJ7E~C$ z%iN18x-S@3(sK5;#Cmj;Lg#9f}VJMi>Au zB~GMdRp57c9RC+SBPfRdUCM&to}7T7@3#t>M{LN@*8o45-3WlxKX@PE^QJTdFrgU` zgb;#&iO+zC5uQeP3E>dJKM=k}h(gdI6yWy(ADZE-5ne&S#A$d2LOqN_JrSlLtYqv) zSb=UFih$YG=#z{EpGJUxPB4C7!R3riL?2FUkI)MN8ga^(2%wpg#Mo_f7@GyGX4VRX zClQ`QfOegA1mWKZ=NP+tDgtQkUcuOc9L64mTo2YUwzvgCSA>BGK?orT3mIFkLjcY4 zI>sJ;nz6^XA?!gojPMx(WPCgh!GKWA*pq7zK=b4t#-4@@+Ycg~Krk`31O2+AKLWJ; zj>iyS8GH6Q1jzX85yoD+7Xj%nJ%a$gmp(-}g^+@Px&2G%tKDrGd-)}VLolo@K*0R@ zwM_^wBD{g{F~T3IQ~KgJ09%jEo(|wLjbs0mJt&e1;CgL~{6Rge(M% z$@h`}eg}l!2sa?yf-o0hDZ+Y$T?qRS-bXlwa0Ve6!HQ6Uu_7UKKSV^@#w+XKJqjkE1CEaW(|ip-%7q8YG6G?O z;yXB08`vx|T8n8MnG@8=B|BlLR_hCG6tErL$&bb+=j@cM^*{BOrU^Q#VV7f|>kwpw zY?oo+vR%&ohSgS(D~!S&K*Rn@-xtksz2}pNUoNxBKTwX#V*Yx$%%iV7IsUA(@;~o- z!dvnyYZ>tuZ0(h}6#9!T{Qg8Mxyx?NIs9mVx@uHc%)bIQz^b|}JBna*9e?xl%W(z! zyUKJKu9AP(mHTD78vnh5d5^KJhlSLEIv16O8T#U%dZ9_K11p<)tOFsPwo5-KL~>l|fNOyc)i zi+bu&F$oou_)9$v@#jJ;R7^s}Bz}Hf{%64tehWEOOyZC10Tq)_F^MbfDfr6`#JGYX zgA(5n1qT+T%J1`crb|Oc6Sw%P%#M=lla4W;7Z0MwBkhCFXJ!!Y{r$*zCUus z{Ac!EaPMX3Bhxrh*ZzO-+Ml-L(~5YXo$6Td$94g23h2HN>T0~nQwziSrjgV+>Lv-7 z+)?jO{jfpv4HU=I=841kCW~~*wXLzMfpX-(56^k4iCQh~75EpX`N`F5^VRI1@?0zW zT$Vcx{_pls;4S=9UYlQv=1>d&T-NZ*O^Y6&@nc{wp~c z(f%tr$Y{SSV4r0z-XX3YF6%B}?wzP2fchEvoUIM!Zpv;|mu*_>qr=%19U{>FD>)d^ z{wq1iXum78gn4r~Q@?+o9%%Be7R>*y@cACicdz969<}{Sp6{XU>ICmk+Xc-ge{KKx z^DBB%N0Ztsc~VDhzmg|)X#4LoiBW6$sUElzr*~T66is9Q^3yn1JOA?2HKm>EwCslooW8u_u+cEv=h()?`y{PkyrTA}O;nEUZo{^e(Q)XJZlU#RK7 zya(I>XKUO?%bLC%Hr3*h;C>z`V+X4%@Oh{P8G?=EL}H~1g+zIym4x&Jqc`p+eywAjShnV={S4<2GW#YT-nfQSo;XFb; z6F&?@=#DU$i62!l@nc^mewx6jWm+&N49%`FU?M z@%$=Gj`}l6Lg@4vle%t1c!5bhr!c9{r%W1@!laQRlg7+NSjwdFLzp!4Jd@@kJhYBU zkBmdO1L0nT)d*VNMHtsl;$XG@s$BEsJ)nDo&#O!~Ydlm6Y3N#CK|GgVBA zDq>P`O+S!@r>Svjz$3K~-&jU=;_bfs#)AS2K7=$nbVJ*{) z-On_^2y?q53`Q7-a0kM@2&)mcAcP{kh43lUtayZJ9!A)9KhwPUIn%tlhiTqG{N3?P z^KmPt`R942`KFj@&b`PqDI(M4Co@eEf}<)O{;>`%BnU8cQ z^YPiwd^&u{d^%o(Fdkt!!m|jJb{4^ovEzf#2jNzP`w*U>v7{BZ$P&9zZo!7hZP*~W z1M4q$VtwQ;thd~a^^|+C9&%51jeH&JCiiAtyr(Jt5;TyeoxXSdqy zHlER7v)Tn@wggdw)nb*b6sxgWtQL#eDhEL78Z%DJW(z-YAZ{`X<`&41%=IR-nI}`k zB$%AanP93jn@nb-?2iW57)(YJPL&g*!Duv@TshfBV|KQ|;3CU58Vsgv#AN?_4oRx`n@tq zxRJFGhOsunAl6P0#Qv<6;4k)JErnKMZ{)NTHBwI;{lyki4;=kOe@UachWR7rC;4l- zA?7RkN`4xRPglf!L?6jlBl&22yD&d~=A#jPe0>GK&N%l)X&Q~-g9N`$JYPB2`1+t= zX8`NS6D3ZBa*(JAxC*+*2aFOJCDbG!O>E(8$vW^1$&=yq50CJxIiMS zZ_~DIJE2`&`wksCc4TcpOEr6FtBJN{ASZ2TLzMMIDRdOBYDO!d8-#!=g}5~*t!&?+ zW0yW7MvWRhnqfZRU9zCaTi8h64#XY14Y}`KGo1cgb83-ylYq-hMV|+4tJYL9C%vju zzx!iliIa*DSwN3cKjbSCE0k2`Rh>Ftebalg20r#Ag6N`D3MB!E)KzBZtFP`d*1~Be zPAh8aX*dafc~mU*1E*C=?b4;&c-cn|0rSx*CPUCg#-}b>Mq^7br0sm?t(?M zE9YX$E?v8Izoy3|7pVw&MU9DM@M}tYRVOO6d-opK_M8IZmJou7sT-Umu-%_79OUIP z5H%HiZO`kjo65;a48hYEHclPLTh{?y25Kt$y6bvfKix&Hlx}Du3i^#xcj*e5dxE%6 z-`hRp)FYy=*&{cuTzhoJ)kF+AdSBnSU%wfgT6Bq??JgW6jsz$2&XD992-3Sx-+uiE z&IEl6+*d@%E^0WvyIT}lh`f6bBJbC4z`((CT=ZZ-TlKE;dB;E;$ljSc5u$^>|A0Y* zhu*~*+yW^K{K~uKX+l3_=&*Us8R$YO74Xh+$={2YKV;ajk@Gza)csj*k=!kINrb-a z+i$?2A;X4`ym1jY0$h!DbGWLYHt>se4R3;r;pY2X97?lM2N#NlFLf%a;C)JM9>{CB zY4ih}gW63}=}0Pn{{R|5u6|Xz2|^7VJapK|8*d&p=D|y_1h`oEh31u@;R6N@9X8^I zn?{cryW~xP>~jTt*`nTN%Rd$fk%4FXIpNU*l}d1E+r!|-s` z0=dSF9Xnx#i$~z2MDW$~G05A3)_0=TE42)UTsMyn8aqCCr5B5!$>i;)#*k#FrSsL@ zy1Q!`K9U3*A3SLl=Yd}1edgk6(UK(NmxW8#n|f^6h#PMnJ$BrLiIX3>B#&D(x-dO@ z;?noWl}9y@Y~ti8k2dG=^P?f@=`<1z*K)w%VZ+gyvEza#-E!+1@My(AS?l{1bC#D0 zWkPvf8CEJ3mCA)Oo`x?Uiuof~qKH^lQeIY3R$fk|1$hPe_!sh>^yQmZpPQGDWsI0# zQjnjIXkKo90S@{3xyW|lOvx4U%(+O<%?EjIL2e$A&=>zFax9FBJ;}ty^TfOc#Dshy z&zVcLC_|H5g(VgKb93|a{PKj{hWwm7G0%a7yj&3RSS}UG%gIHmJ(sVqC{f6D z=H-YvVs32?<>a9_5s5-hJ(gC;5OQnnxp~Ckn^T$c_gxRK+<7D!XF`si$^cQyCoipE z|I()^Sg_G~jvbMN1FJ)Be`J3G$QnQ<peSJmNQ!geFvuH23 zCBOWVrMjV^#`4lD$w)9^xo3-8eam5MO^x}`q}A~@RD%+2C?)6PO|d1KlDybWALGPk zv)gP(ck3#vtE#Fib-Ry(y9mPD4^Gye4gdc8@Uz;<2f-}bD|s2V*FLnJFA|F!=WQRn zW)p2rt4**~9Qr!1>_S!5g|fV_58=ERW#-r(oBz_^KK}gkkKcN6!DBXmn_w>ujVdTC zJb%8huplzjhQ+C5D|sccq_V2Ix~j4y@fEur!ictl`_}C~@b(8EyuE+-x_hyLwc7B> zu?kkl{tU2-=Y_)jjQwW2)oQU>tq0O8s%vU%YpN^K4}hk~j76+<`HlncfAZxQpS-t! z$1)32^KGC7vE_rP^F_raCB;SOqu#erP6=|3L{!$+IUIGhm61nmR?#Y0bk=R!xBvNF zc=&gp9oA~WXtSD8Fg{;@SyWtBQBhW0^ySwU!6KNmtY+JPjukuV8ye~z#mBxusaQl? zZSOyIeCj=$Sv03ZE)-x%`|SJDiVKw$rQd&+ZpPvpA4}%vKa|$i*VmT* z@L7h5mnvA#r0jn2o4AaO*#Eq+JK16}fzv#|wOt#D~_Gz{IzR>01lms;!%tn)Fs<7r4mzEV5Sc%jq7}HHg zv(aorVrfZ%&0+>5z;jF{TVY9QX>p<5WHcHeDgXu1RB50%T{_~eLo%QO!Q?OkJiyqg zvQVQS7y%8HbTC?NHnYhf7;1qkn6fEdFbW0-@lgo|BV;v-#zGVFv+-{qC4W+091sPEjQot-2sD3~laX>jxvM~!)a(XUI7SW&t z6a^*-16nGJe+h;Q$V3YA^#;ADFUuz3& z@&DtIFv<{iI_Zn;QZ?!SNt4FDH2>zC?s+Mui6%|_+Y@)+{lwu!Z%vx?-qr^n-1=_P zMVj=hd-?^Qp2aI4Ub1lJ)bVaz`t)1J zBjZz2;vn#?2 z>bbXGaqH68KTR>(a&v8ll%xB+b?Ls@>vq2N`9BXo^TeEe9$otBzDT{Tu+XlL+IQ5g zOFuu9WXdlt&Nn5#@tLqTWS+sdTQH-ga7>E;1kY0UfYo=8eM@y>fO z&2(wn-?y(^x&7~H-numF_VJrzhYGyv-_SKZ6dqQ=|6e$z%F+lYt*Ixd0@!Id3TK;eE+|_bZON5>sNhZw|}zo`uS0AT^fBy*Cj`b zia%S@bw;#Xm&V*TY}>iY$}^jW-WThwOJC|8^6c}^JoEgsA-!L6>(XbsPTak3&z^mu z6T3d+)}>)X?tAaZJMSEM@7^I{-n#VeLANek_4wnf7T!8&o=2D7*>~E~b(=S@UpB4p zogQ7fc*62cFNB3Xw`uu=#V%bsGU(P>3l_|pI(EcOiY^sKmQ9<#?9oS;&7U@Mq+6HX zI%oOg8@FxS_}H?!w>HtGW5!LLxp2wSMRTT&ALG`gqk`{VzUIj%*DSv$c$7z%hTOmQ z=^ZaTzvJn(_lGpmrT0&rw_@Y-FKm8z{`3btx^%(xCF`|eVcPYJr!8>n(ns!pa@XF& zhxhJ!^8QD>b?M$2k8VBi$sG%0$v58~J^0AFIJYj1f9TE)yWf0s_l7$kiu35wgeO<*`S7c+J`7v_ zWPDRyy5;fxpMQQ}-6k(xdg9R;OE+&`I^)sfUb^(u=H<`6`Q|grpFY)0m!^EEUA|oV zVT!jdO*!;PNXWx)rF!eq)c3b6Te{`_G*y?Xx>Q}4{=#)B)3TF-mOU#DhgBp*8VMWM zRL#vkPK}R`&lKO0ev)q+zd`=Ke!l)A0-S#SqJLn(kQTlHJ}m-T_78Lhw1DZgWvjsc zt%R1oftpq$T8n{VEC1HR+rWq@wU*jw+755$Y~4m^BewNx=ik0x2cfN|o!DN}VR%OY z#znD%Z%3c226YlTNFBwiq)wX7L#`&{pwLO|?0dCum;POaPC{qtYO#yh)u-E_?)77W zg2swt#c|?zae{Af|A|_^iL|K|aOzV`EOT&#S^^v`xZ>_Kk>F|HvPvQ-ui#|<1Xh;; zqAth>Af3xWX#%1NP9_|g@MJN+zK|o%6&z$Hz?yJk5zaUS59gQTgm7vCu@TYaRZ=!S zglzj0m6YemC+u0wtIq+2$SF8{jWa@+YlxiCWg*uAY?{igA*>nyNCKRl!=(W}os+{8 z6*L>!QeG`8&4mMylv_#UdAX>9&}Sj{0s+=JNTFm@iUWLu0QTl`*g7wV+=fW~^CEsRmN+AfW{AtYjmc8%{_yI3UM{r~~Xay9P%bNC3N&kmfRg$0RiPP#+Oi6Du%f z;;#jYjVNLjlxigi+m1BO>_;UC_WB&?XYLpU3K4!!wIBoljCcis;PlTmxByr>4^dj> zTZx1+cs>#|Ho;nkx{!`<$|SJcfipXfW&B9sbPi_~Y?VC4LM31ZQbRm|Ir(G+GNCG~ zV0Ksu1r{uoW~Xm(lv$QD|xCZw2%1>{r~=tK(% zOO(81K)*(c5DX0L7N9W|ELw_7D3W9nOcex2(?32YfW%HJHWh`NkwW+` zl1+sFf*J5MeTbIVLf|q$EXf{w?;z0p~J=c?n zBH~$!q>8|VGrO>7l9?*V1}a`h(h&AsO9h|^g1ze$r$SNhB;dTBN*1#veH92$6`{~# zR)db%tMCm*B%+97l7u77D2T9Rf}v~hO|Ws6l;tE4yE0P`R2kqm3d5O>Kxgy-rxo;t zoSk54iV!%h%gV?UGgC8k#DHQl39`nKpW%d;4uqMi;J~&{(7D|mcZxghyLRq;1~@hU z-?4M&4&c%t<+Oqh2s*0B02qGe!?2y2opqqtwF3aPgX7q$8dcS(szy~cs;W^{jk@%{ zsz#whRW*twBrPu0)u>%vjnWcSU5)ZZDlI70)u_4}Rac|G&1w|T^eI5o+eHKkK@;o~ z>>KPC>>nHu+#)zIxK(iL;5NbSf;$9v4DJ+sb#T|k00K z=QZGI)Syt2+j0Xc66|F_UI}O>$eH+o#R5qsIF_T*b_wSM_fnoxp5k(>xGjr0qFo?P z4)-d4%Rq-gOsH!Pxa$dTCR7*zF472^rb_A*Un>G`AtZp?dQ{0lSpdBCgs;MjnGy)< zB?yDifg%WB^zBKY(bsAQPC1Vr}F-tFZ#Y zC5)Ju@e!>?x05oVw&br2T#|#Uh|&q+!-Az4B~mE>OTkD&qT)Ivf~e6;nPak44q?4S zk1vp;7$T%p0lv>7%B!&gJEkO&KxBZgARwree;bJrC)~@}tWn_GTFL~WV3N!w1lA(g zWNGwJZUDWAyaM9loIqH4kro4v0&rWDKn}`?0%|2+VJ=P$$*H&~lhb9v|g8pu_-ZMPm)o;U5y<5okci zh%|sj^-(6=SoKl<4Ske%0`#TN&Y$p6_TAaQq2AhEJHw6u6Be?n2}9-{(SnZQ@p#3C zs;bOi@~n@lGF6qSs!Ua7!fdHN*268eu!;WJ9_vw6=I{A`pm zexE^1*j2T2SJ(%q`8F3mx{7r2D%NG5=9^f!ab8u6s?W-Bt0-)wsuoqXD6FySvoh+l zGJo}FWmGMyK5?qJ5~)v|lFyL(#3|f#xX+II#Hsqksrtm}FMHzjf2T!%H5#n?EBz{e zrDAUv-;`rExbX_`@QonX-EX6mU5S6j!PoxO5pvAU&HeYVEco}9y8U}|Y!hB4pWRD& z_*y(3zQ+$^2ZxZi?AEuxwAsJA(dg~sYnykF=tS<~8-7U_-{!uG_^o7B0RAH`#2bW@On8Zu}r9=oQ;HK|xbCSs(eE{qdl2V@{tK ztG8P}3JO}1WwRms(V&CiCU@T$yESxy)plY+wr%gYiT{3XY*N;$xj#hNW*xNsFn!}` z{fY6}*008Wo-*r69NtI^9sdTlCKj!)dO7@tEwx%tOw?OnzSWZd_xv z=P!CI-}>D|z2(7a@d=Ml(XCuuoLfBi4RQc(;_kbL_$TYldsf)YCnlb;g)M_0@Lh+j zmb(vGkdb9wI&qRPX*)YPN5AwA_!-~(1~~x34Ytwg_vIB9^O31K>z?Ii>vy;OXnFZw zc-hW-(`=gej@5EvN|tHa0&Lw~X1;GZyjbTQq6q@{xhF1n`F-imAK#odBg^vYLl*OQ z(@t65ocg`qxZo{|Y2lhQ>xt=l^T}z?rzL)AIxy{>v&*KxtvLHC-`wRlDkNm~;Tby1 ztE=H7|YFV)`s33WA zx~#C=Y$`4>nR3f>4ffKUd{aq**;1H~fmc{&HCpnEatq3BmJ+M2xU8_z=eOA9^NW2K zuw?>vCHA=d+TfW?-oR+E%jFl|%H;BkohwwAU)qUL-Ika(eZX!Em)o|)P5qbjyLRqy zI{@QIPQKVyLYJB8y)Uuq^~*Oz;u{g+`IP_T4*x&t!qh~Ih9Ae1FkFj9LMvL2rT-!= zYFO~2qD6NHLE$wjQQgS@{JawV@K}yrche7cO3w)mH23*Ix=6d(^f+XzbWG^|yU*zAb3# z1l{X1t#-@qprB{*+{?2;K~Dvp^e9ow{8y~D*Js(ROUBLn;lat)#7Ub@rx_-kG#{IA z@U)pSLMKF?o$!wJm2tuUU8F?sCH}cq^Sy6a%=;&2S{LoLS@n}nTJ@8^vmnEg zeTz$puFk@=z^1?DyNi_QeFrUO?R{qJy?f2p1Gi>c?hCb8bW={6byLn*EeGzl=%((1 z5-m-?b)VUsj`U_q)I9Ie$gR^>S}YH~W-%YUEyJ?*_C#am^plqK+g{OI56-t*_D_2! zGy0fy<@B$P-!>imP)&G}g}%8G{bxwX+839YEsI|>o1sk2r$R!$&bs4_#j-o(_O!zb zEvEAaNQtho=zgjAM9bmPWX3-HT!~tUk{+9(r*~8xs&4IHM{4tO z-r8T)p}+H6a(q-*%!RhM2VihDeY&JsA1eUIraio9V`9G7kTE7c^^K|y<@oDR^Q}+fc{?N|@$~H(7USxWMWzj}TTJ$+Nr@h?{dh-6$o|_?yp(7Zlqhs&QE8FU zQl4uvm6TcxMY%baoHDp#mFDD`N(#+JTS-nq(RoW=k+tYNl}fr1BdER~=dZaC{nb#g>e8gTG^s94>h{0t_P^MSm-hLE zGmpCc?_YlVU+f8-sZZxyInY+Wc=H{930-DJW@ZNMAMCaLZqIj4Q(0-)u+CQMs*7&i>vAuOs|TekNP4StfbW! z(fsU-X#QtP^jAZ{s#ox@@(NZr{#7^rg)tLG&vZN)+suIp3HZmCy78~N@h=o3UhyatutiAn^@t5b;z%zpGG;H9Z}RjO!r@E5a+cEMH)LOcjcZ)XKN%CzGR zsYnv=&eJ?Z>HVk53sUJw`AE>%@Pbm*1v-3#h%?}2seD(aGJd3&qvGYNJg1VUSf~WN zc(sOj@JdreomR+%s;q+9LA%|n`xdGWO58h1bx^7?@|Ve|4odVYQ~n-ueB-efye+s#d{2ZJJc{MnLO_Y*=5a)297KX37IDjoakY11@;_#fpvo z@K#kpeQP15t13=aagtROCR0gOoT}mk zxZAj|Z#C`CPyc{rY42XIH_WJt(}2f7vW@&vP`yDkl;V+5@?BCNlex@x$N!Bye#Z*} zpx*5Qf*2%e#9(QhMwEgz!9Kyh2OmgpR1&fqpsF;7CVjX>f6QV>YKXzbQ8NeyG$H0(KlF} zAdc7iO_a6bM7b3kA$Md0) zJuN86FUZf&MaU~SZ`{uMBe^<17fCRp=4tYTd}jnt#3MOE)0eV3ttdp2>)giH8pYU} z%Tr;a%_+|%U=uH}fsap44jafsS;(p8J~seDb2Yh6C9%%^s?#bs`T!#Zg+go-@J_Wx zKOm3~0-g@X9C+S{_9~Bu4^OVW$a4n*61}%OPAwKpHj70`w>Zu4(1HIBt*mT#587Z* z*YRbQMYM=!rv)npr-cn>l`>v!LhCG8%0!F92nM7UQEJmYc#v8zW2J#Ng26yW&Yuky zD-vsEw;iq8ZAU|DoqVy0Y$$WMtX`FkRxdV$)tTt#gx6eEWgCo&PbE?Xx=rCRK0M2g zZ`ya960-$EIi2gVv8tYKV3epA4Gr9i)L_)(yqMk<1+HuZUMGn|7IBJtr$I03>*2AO zEoKY)p{za&h7=*IMsZZoWrHy~hSsmbB zHehvtt9Nkq4*n;)gR@q`2-Z;;$hru9SWB^;a2;zewi0?UKdFt_Qs~B7OPCA^U6`LH zQ1VBt6Lb1#0yX}UA5J;5Q$lGzq7O2q)?zCSas}i%{ryB&Hu3rhEtrJao!CkW z6hI(>UBq0F*d@#neT4ufwiDZmpb=V$oJOQV1YU^fBJyVRYyG5g;gZ zRG0`^G@?cTT}QEl&|YdMfL7$RwL}|0CAzDXAeJ9(;@cNRJeofI}_`*s4VaS~q@CbC}DfJxwzYrrIQk*-#_L{!GP8rl+5 zHD_{*=Hiji3STCUlg0``7siYpJ!;hOzFj(Ypt?%I)!NO2OX@55dNKK6I$LOZ@4jK( zIud!iMq(kL{vv7(Yb{&i?(f&>DsO5uJOJYd0|?_sz~r5z(co^I|K3ekcXrV#1#?pL zses<6wu&xFqh)NDtFP|tDwYe}q*RS0@KPnr#Ph~?>(WIj7XmAdb6qM|(?|j^fYu(| zy<0abxf29N>!>Fb89e=<6fA<+HmS!o-Me+AvM)s~@|H;gk(#FTytYU8?o>3|*Sut3 zr5i*DLB#f{*In21S}M9ZH4U#i>NRQ~^@RX(-Sq2wU3VQ7@1aK{X{2B{DxJ)G4y6;h z{`S6oz|a%2Lv%%&HeStyFiPnPxp_vvetoa+%>^R*jvd?6MR#`#MhC=zEDCkj%z^#; z_3hIe@}PL$F(BvC&jHFWTx z0sV=iXAkO6&fylws|EoQDID{L4IR>iMQH;Gg<;TCCWT}E$YH}2mR_!Qc#B1qG`50s zq%XR0Z17<+LSZ$Be$| zh7rStq8WW$4d-3OF9%(|W(>>5jU6-UrW?@kf&G;#aK#moc;7Z>(5;v-cI+4~l)DOa z6dK*0Uq9Eyz^%aPmPxlVc>LI)(Kkb?!Ac#}PZ+c9`5589Vqafy2>9iQ=%wUUlfVI~ zMhLZgUP8c_K^vyR?9sT-J*D6x+OTm9cjqT*P zQ>Zf1($muvsKR zNr_1bNlBbaN~%vxa&spqCMLK~k`fXVlai8^N|Ndl7N{ zMASt^Mn)@S4N);sLR3SHi)r>O`pn{V&P|b;NNQxmrYN~39XCcO$0x&;<5Oo{=kDW= zuJa$1;|BNnY1g^?=+1W?*PU|ZyVFl9=Z_y(j_X|MkDpM^AN$sI{KiH1wd?3gf83S6 z)^)zdb?!c{{g*=js4IW1i~o_YT~wXPZr5CUUGKjA1`ZiE;-*nSV<$|!Wy-Y2 zWFI*IJYXUoUtd3eg{Pgu)BT#By{_-qf6&n3BX1r(c3kkJDO0Df`$?Ym9j@wpb=U4a zuItsO-+;lxhTkx1%-Hc0Z@G0^$a?VjF-+E7_4uKlmXNJ&yY?Ng>fEJkcSW?p!$#gX zI%wR4NmHgxzx@dh52jg~3~CRU0$Xt=S9`AS+keoI;UjNCJ;9T2oqpRLPhQLvKuoSq z=-Q1pXaE{?!_8x;52oIB`;4c&n9>@1u2mcA1@9J(xN%evb;7ieJMP@rlnGsj?hZtE zqe)=uhHmKHhkASDO{38ZknZ*wGdKMgCiGo5-Vgo3bOXAZOLxbev!3Qmd=4)`JWox$ z^Kf0kME$^<#QQE}#+|b_U&Mqf3-M?$Ty=F9T-fWb$3+@CoHt34ZqAlVGEtB75k#Yb zUs)PJbYXA1{mxl)w_butxlF{=Rbk?z&fTP$v+r^<(ST6eq+DBN+|d|vbsk+M>hKw} z=G?W-RTCzw7!m2paHXoK%c&}G^`+h$39jJDQ>GKw-P-@c#m64!qVB_RrBQVIowMi8 z+y39VlphoCbPNgViaRdm5`A^9A*&2?VnV0$s)%XoZFkI^bJsmPn^XnN!7mG)(W*5y z3j(^h1`iu?BYuKE$(4z!h>ONwbFT4956->&qPmEy1$wXz4U1-VdAR29Y9^sK7yl)? z#sz-8V}B_Zt`>0(#BZK{zLTcl_c3ek-9J;8n~Q!{7#Ygdx@+Eo|1RNAaXs^2+of_f zjt&0n;@7Kr&#QgtJr330PaYTz-fGvBKS7dmFn2|>x>P@>3!jO)nc`?3SUAM zkN6`}T3uCDofq-y8N9|or_0b~3Ym@{UX94B)+nTPN5U&A$}3t|ILj;i=}V|6xe)$A zI<~>m;Y*kCLHLD=78UiOIc4QSxlksSJ1J6AR!*PtGO4V-ysWHTLRPVTH@s>HRLw|F z+igc`nOJrKRFfu7+)-MBkAG=-Nm(()N=xuf2@N~a(}c9@jLbARW)I!j?iL$(aeeY zTI}VaxRd4PEZTH%NsA@LFH#CN`^d59X;V>Q3ZUq^%(U%%{|~1f+kSvCcRO67;U8wj z22R#RuRjV#=Z|=3MzR+oRhtIJ)Rfe;l+B0{ zOG!p`DX1}ZD|S-A^C|o@Z|-a@`EilksbH)(EPWb`rc>mGs>cgU;O3VTe9&0J^5^b zvUb6ug<3ds37IwYI*yFAC#Z$bVG9}u4OO^zW$CviB_;xIC-yDbnRsn8a?-Oh7A(AH zYbJ&VVgDFw&K2OS`<4bN`rny?BvY1_fcfNvWOUNDOir4n!#I9@!Q8DhG=y|9wLT?{ zgsn$U3 zNMdr5kmRJVqU4NiK>HKplH(H-;xtN-5Eqlqe;N z3A*I?gt#PbZb(Q>j(R2@+=;Lk#3wx$o}8SBPEVy8g`~oFze0bIjUj>O$H&DcB*hEy z$74A|VmvoFBprJfym7EM;PjoZP$3nV0C5r%PKJFIj&4byK7|n@1r`eQQ4(hq6U$L@ zQuvplClX@gV`EWpZelDrB9p+19JDnh<;;7}Y};^Ont9 zwjj>`pMC#yd^`$>i$fuC@u%N^cC)xy+)}-H>y|Ci328b!1S1#(eZ3)z9G$Cl`fQ8` zd}YIPFsqctOd5GD3V`5_C zVq)USdJ-2a#zsXUiu{ zAjC$;MMXhI)CU=&W1~=a6uuFU5o3xuWi*wB5_s`qOjQI`1rg$-g=itRHiD`o!;TPL z5Q&0Ocx-eeszafXQ6z;B9TAR0B)S2`M1UeHDgt>Cs3#&aGCY#gMMs85g-1ldk`#eM zWF%sdQDRgLaZ6SYO6-y&eC3Xh723=fYChj0;5FiKe=J4B5@ z`nm8(gox*TSQRk_=VGz)HN*@1Pd<~P;34%I7 zP$vlL1VNo3s1pQrg3xS&aNz=D7Y1FR3Bu(Xb)LE~3<9bX1QkJ05d;-MP!R+bK~NEd z-wi>it!1osP%TXmF4w5@RP8Vb_}fhov~8IT^8z;<}4%aVy9ek)cZm?}y9MOr3m(xq|F?~G78((x~pY04e%DdvWHGA;`CH@~cie`nBz{KDrJ44C& zqGBzq3YkEQ$)`LcT}-!R?tp2*^3#G!+*&(nl6c*qV)`aaD zX<}MAtPH@7Gl4;;WbQaGoQF-K05*xbg2Q29p}VEsmc1wObUO?V`DAmL9YSV?0(!DN zzd)OoOeT_)w6v6T6ap~1K5a(<_7oQjg#5ZgVSDz3g^HolZp}O5yEX6RfEN#@EFm+e~v}AxFLxer&y_ffhdxS6{RM;(8>*ysB^iqiW*&#MOU|xk+ zOW=ukE!K-tiXk-_W(Sm$lDZxHe=5cayY1Y|FYh@S5&qf!(9nrK6N@KJn=?BE)&-lg zPqTG9yyGjAi3{%ZsTnw{Pv=&OV*VJr)v9}CkHu=TT9U(N`_3+!J8yOf9x|tGmd$2^ zMGK@{N+~D69A5XRT+6q4F2YtIFiv1+khd%_NMxIm7tELDOA9jQgy3OwJRJ@bgu$py zOa)(Z3dh@%fXAn7BNGI@Lsl?W;fPnN<56@xqh5B;Klmp1-z-`%Cxp){&ch0km1WQZ zzfMR>j8BC#e-co6A*p@~Udt|J)ss;|0`iOlHpriuxo8oFa^^zt<8|SDt9*>JZNU5q z;;#eR&m%P{Nm@PG)r3q*=b)F0!)O7+SJu>wMT^KVAuPz669PjPh8Zqbnob)J;2p*S zAoZ{?kP%@UMsFsrzmOrO(I~(VLP#r4KRR_|dNNEBnuL*hmcy9gj(pLrlx(oXU3FZAvkr)jCl*@&kljWWW7NLq;CZy%m>`A zg5H3cU@IPo0JtwD#3UU_1KUK{iG-Ng_$bJagcuYP8^bLW5RM3h zq$*`n_E+WVo#u zIASWYWh<-_FiYU0*XYgIssQ$fR2T@R%JY39>LG zfG7r%f{bh%FlEHTWKe=A%nmRskkugqrUN0m9Q8#(Jl7*55)3Ka>=7LU44*6#+`vGF z3YZvB9#s{MZ=ms@fP{ekVL5JRGt$> zWq=C*u!+!7%d`EhhizY5EIR<6=biNwj3(i*l|-WVV6ljTX#(X&M+%YU z5oC!%0?Bh031UPwiHLrRj`WGtYFM6Dvt8A%s(w}VtEyjB{i^C$Rlojk_3H&yzpCq3 zb^WTYU)A-ix_(vHumAJ)Yc1(l!iZf?=*>OR>&X*csCIBzSg5Y4BJemp9Ui=uz|05> z#z6ss8@QCSK`MX1g{95dSnpbdox42shO(a105R&<)K#LZqz||SRF~=5npKJ6>|C+Wt#UA82fQy~y zb^`_u6~d%Fj+fs9KFrgFTr>H&qs_o1;aW@(^6uR!9tZV*11Xm5iB?<6ZZ!J!&(1}D zzvtzbe*}<>ol)VRZnta6fgF6aSqlEay$`PE+)v%{mGa_YzPD-JzTLaSlHsxL*z<~x zT-hyF>{klk_3dDWV>CWErX{6>?haKP)~k%BW7yTyh@GJYQ>+>3iHhg?TL5-}BLhVS zmTa}O$Gi+NGGAD z)hVfoD522;?f8uFW1lP`v^0!-)$vb`?C??sNL&t(Z!0#20qO}K@gy-xNUjeH4Fd*T zsJO9z4*N$I*-dmhq_o5}Ys z3HWR+@_?%&)_`(c{_S;%M}Ww>J>28JeQ)ophmM_#fuM2RogBO9L_D7mM~>*g^wAbD zN(m)y|MpBkychYmlWQ};P{qGJG5Od#F041v<=;+j?T{ROLd7=sZ%-%Snmg8$!+TQ1 zu{|dUMn*mH2{FLI6Oy(P@OzPad!-u~1}-dY7PdHmCR42L+4p`(jDerL6e}jw#Q}5H z0V)1z=k^ASBaOZk-t5`>jI?-oY{voyhsSz7d9sVKW&#um69%NLy0%||uI+hRN#>xj zs&G|>t14Vo;i?K(Rk&moRi7pMZJs5&0ENp@WL4p+3RhLQs=`$juBvcVh5Oq*yj=^0 z>w%TwDtTrvHZCC#WTDC(gz5_%PzIQM1|YJKSqi`m`$EIZI7<)ue1e?QGvQ*~s-mtm zJ32;J(Xt}999x_a229(IWOAqF^o;i-xZ`ncy5d+Yl*JI9jQ{fT<1=r+J!I;3#S@tz zX8O19hEp*A#{poSE@QWyc08$1&)A{(9s80WvRGP`x^~{IY1@G(2lr*svrG z+fxvl4QN?M-pHUR$;jAI0@zq67K@zTUdSir&zh!%&oTKObFjIzcqec@@Drj;f(RKE z+%LJPI6Y%Kuw$t(v!Jli54rFKl(54_KFNHGlk9tyQ zc{y%pZH^p#NtwSSjaKil#;A91H2=2 z8Ggsv`j_s;RwRF?_gujN86Kki%V0EV0hPix8XbV%sDjsWYU(xkS$%820$J)FG2cYO=SbCd20zqDaXlgm-VtB1217a`F}+%D!oa-Nbv(+rXJK z2@s}TQgG2T>3kc(y(!d+9NDl!L zl1+AZ{=aYD%qH2;JV0~DKxW^2GxN=S^Ub`OdEb2H{q&pu4BQ~#yq)bhgm_S$#E?Py z$H1Q6LFP+X!G01WE-H9@7Xd?C>s}yBEG)m&5>JNMcK)AV z2dBHhEU0|@soaftMxAESUa*k~S_noL=AmI|S^jpir9ydqg2znl*q2xE&nI)=gN$-P z{`P;r^n)~{!T(lEj z)QG42cOjh&iz+yr*bR4Tdp`b@jHP^BTm*q$vc;0OMF2y3I6r?!u@+9&!pVZqtXE*Y z0_zo6ufTc*R{BAD1r|2Tw0h8`R}T`5XT1XJ6upXT^C zs^aLu5B~36$XOEixyIHuxTE3X&0Evs(;?IxdD8#Et7M7d0AxG`KMp@6?paI5x!jU* zPEQ9Ln$FK3W()4yZF`4NP_AyoxTd()9>235XQm-U#IW4?=K;97b}Xv--RGDF%-$__8}PJs4LXG58PzH z2i|*{exH0F@Z0vK6QlV{VeW#Yu*swZ@jSsY2H!GFu9^7E1p4tUXhv`k;48jJC)P9A z%;?oT1g{P~xU?Ib%6#Og%- zB*_d(;5uT>kXGJ92<*Ive(&0j0*XIN|76c+5OyY>^J9>k{SXksw1Y6rU0bZV5@O9H zx=gUIt)|~sUZWB|PXCw$l_}{HSi~ScD$H?!TMDK(7_N0Bo2y|7<|BYs+_G^+diwJB zZb1Qo-RZl{-NBEAWb^LFi8uW@iT{F6O+v%l!z7zY(3pn7?aR{Bm)(i7NU$ zpO@hBUcpTM(M$h^WexH(y0ykG_u0gjOKNO#f4qxKU671&MJdq>V;Gbqb7J*yeapagDgal!2t#rSV$qW;)8&; z{!dZISiK4!&LhyZY1Q^+O6U8^gM%yyNLSTO{o#UJt`&&Ocg7K3?u4CW+u3Z8Y1 zO=L7NTo{=$i~qzZwtZMiLZC23fl?v%2{xbk;Suolz=gGpBG(f}rc9`9AIcy&K#`5x z4|f#995OLsPh%B1B#wN77`>udz?r0KcY`gsYv+#Q9mU|=B91u0C>9qIKvlMpk#R3^ z4MW1nWby)dfIUdA`M@Rj17wG}!;eh#L{@TbJKjf`g4syuq3BxT$lGE5m?Vpl4_sSe zlo)x?4saO(1$JWk-#fT*a>N4VoBFAk{m9K?1OL0 zqMZe(2m;n%8G~<%asW*-v-GpGo~7ja(#TXXO7M}qEs9`8d&v$3tRlmp157)BAzaT? za=1J)Sg^u$0}4P1B;{Lz3%NO@Qb_Q)p0(r}dE{zgf5Qa(83>a^F03z*F$w`h(zCGM zP|sL0>@_Q)An9n2& z3hGRZjS7uX8SeE&8ud0D<$u$TC~u(1rzF$93?7)-7wk&LY1 z3=@AE7Kuqj82`cH-iCrU0hroV*IshCL^5hYZH16XCQy_C8^&bBq5$TJsrvdRlf#9Q zN#}+vAG2-8w8`Yl-DI*}uCYq$NV z%e7vvrK+!9uJQG*m+M+Ozk0dW%e7vv8_04Ul6NiyW0`p3U`T^AO)O>NW0M0jJb%2a z_~X-xJ@2cr>P*Iyi5reGsFaV2&Em?Bh%=3HS+SqE-RF{n78Y{JATHY-Bo2BhiA)oZ zoOsN{<~Bci@9cumB(4mmHh>77k9K_w&NEo%I3)(3n-vEHE=n5u@M)!?ZM$s6$4MI1 zl4GVDEaqqdmCcGvPbU~%Uh5dz+{Heu0tX%}Z}uS`irKEu!P^G^8T@1LxX&dey&D{B zaInd4!p>siIio0W#dqy2wiwwchrWUt3KakG5GE!KHaJPhq6i^XOL@QEK@4%Q%Y}e) zn4t8rdVhb;&KLwR&Q zK;@z&OHvy20DIWtsn?N|7VK}t5K|tg>;g|4Mdjg%3`G#1{T#B=WKCiR86{>r8Q9~f zp4j3L`Yi;jo=hyCRaUwJjC4^Ev5$#q4E8jE5DS~E2@~6yB(;fCd`4kuKVSe_N)p|L z`NWzg#&jW!cm#K#+-l;8Ls*(jSe!{%8u74Pf$E4A4VdGo54>@3!oi^iJSz&GQ(l@x zxB+Sw?k8DpGD-oKF#%g#ZDNzN!qbaRTV|k<-&SyteCUyfJQBu60R#qFZE&-LXO^Na z1CnG1nk;TmPBM;R1At&n?}piqJSyr!q^SW*yz($<>JRHmQxoG`$ZFFK8T%maI(XD@ z!ozdeS^h_0jl+sY0sQ2F9Iy|9R^X2q-lq|# zt|Tka$O?gJ29waD6tm#e7BJS~;tvokpKbN)^J{&6eU9_%0|O2OKR+vU<|jy+SK*5sh7yq^?vr%#(YmBKVOEiiTZRC8)@`c&K0>SQGiUPtixt3JWk_rt(QbAZJ z*UPnDuJv-QmupCGKpFz_2atu(%e7vvw`|1O0o!r{YK5C&oo>q}@|nHGwxxiM5b|)y zpbe>h%Z6079)RWYORMc!F2A%MfYt-h%XMA9U;67>FV_v^>-r+-0j&Savp-q>lV{IM z4*(W&AkGgdeX?pU?V+##({KM)ToNdO0s`qEoK+2A|LN2K*8TQh$GM$<^^KGOPShv? zy#9wm9?8G?>3VhX`d=0CD1I8r|4+^(`TvKvxXE{X|JLDS?|SWg1^m^aB5%omJrf!Bb@??I%wjyLaf{>xlc4a>99t`!Cy9a>Rb* z)UVT?FR3Hz4}t#klJ$QgzvSo<+mXsiX?u^HpQ!)Qx}yGnTvtj3l#EI{a^ydf^sg%P zKC{0BMO2(DLlNgA=zpZHjr6=#Zb;o}?cbav-=KE5p!l z=Yj+F^>oU9@qf$<&;!sLiu$UAdP8wKB|^QSfEpt767zTH4F#;!=?#V6P>4NEKF$PK zo^KoSxym{+JTsCdO-KNdv=1PL3a@pn})$#?({9wxmNZg7*8?lXu z`EEB9WkbrW4aK)}xg>iDQK;TfXby$uP>{(1&7nAxDFV%*sBelub0{_u69ge|%eKv% z!9@W_1YD9Wd7HOv-nJRPxZi4SErGNE)^lx*;2hQnd_#QJhT_|~T*?i_@&todzxFol z7O~ysHU0pMzDD`qe*35OWYh>J73OX~4lEGq$J1odp3Kx=WdsY$&GM5KhaLmdo2=7YMV6g3Po6A0^*- zPL}Lj7BUWx7~7E(M@tHxC{niGMO5|C(%e5ntcq;G!+N`wtz`cyFWI2MhvxPoM43k` zN=n~&W*dEZvhDDZS%64(w6vsj%TqZuHq#MVR&uO#^D{5QPC3Mi?FCmECC9&h{pT-j zB>U>HWCNQjTaoLO=c!fMn_*epvQ{3*+lI)J-#R~lEKe;9QY?lb5O|~T!-+^6kS z-LAw3!IsUNKCrUV*8%jEH;R4zCaQ-`t%TMM>D^3?oQekGi(%9I_;UCF9}JuD8SpUj z#Ph%hk673DmRQ&K<@H^8eeWSF{@w8F16KSy4_eo^<@Mk9ThANh^`G*(UOg|i(*OBA z>-v_u%J{!8svG~01=jPMGX5V6<+F_ctAziXO#kbBR{A=b{`V~TEaP)Bt>@R}^P4g~ zcOK&PD`&Y^04Z!o^ed-dIWa}(S8f+x2))YbRW9&9vC1Xzor|u$dhDo?!-ft@OG)nA zyJwFpx^(K$u1)Kf&6_1AG>MOE6dMy26&Vp>x7kc)GM2!1EgpZ()uSE5hYcQ>+V849 zNjfbN<%3eLYckR-#ecRTpS~P2V z28ahIj=%Qm(IbZs9Xud4`AQ3|_HEm=YSFxDVgj&g6cbHo)zne&(Df6>j~nAaC26Vs z`u0ic(M>gkAR5Oh2xDEPbWee(jftl<{>U#_3u^Ce*Pnv2f`wm zy{0j>V1^C0##(Kd_{P?Nj+CR58ng1I8)jHU!&s{a(u6=n=hOoE!K^cbG{aC+{dqnY!xbAbF%gJ_E3Rn`MWzb~}R z>ghr*v8SDr^=zrv7uxtVtl6^g8xG43oEcGysA&eXGwh2HB_H!kIbJT^Q-zZRl2%L zI%X-l%KWN4m4CiW&yaX$%KpfZ{iMoQ?VG3Sb#WUsmh=b+gi}b506hm>PIG_(9;ykR zn4Lv_6crs48`n6#Nn*3+EnBy3-?4Mo?mc_=O-@Z4GHm3SapNaWo;LHw*+1kFJW4}p zYUr_{-xNJ>==o5u4tlNBI|scZ(mNu(BhovfZ@43Bd?}RfFP*S_gDW|iYYJYN)do$$ z3w;HXg(nHpBDt91()s4ZOMHpEem10%qxhwBMuv7?d=F<0u24b2i|=>^?YvwHwS3Hk z&k92?bix4zFKo{L?=AplkuGlnTyXbk3SQ^{GR0aCmA-YP%7&{)sHV*(0wxbFFezerGtmg!9OJZVBg7<;wg*C6C&n%9ru( zu&Ya!;|aqjTgA)#PMIE}$9zdAS-!#}Ta_>Ar0{g9XO&-;=TvyBcv)|bOn1qvYKN*P z)K4z1?yp{)uDu*Uc(Ys*TYf|OFb+bni7eAEA?Bc-^zyeR(?~}uFFxe zOSk#*QS3TrUtfl5U$s@;gaXh!rE*oH8YEQ0l!{eIbx5f?DHSE9Vx&}%Wc&i9;uLmO zs!K}MYhJi&ld4~-Fv;?iN>fOsO68L(PoZ*Td2^*Imr_m3l6WYUDWw9Xu5(p;!tqt{ zVeM1(Df*~(spkw?jw(M(mJ_0*Y+oq9EMKX@%~L9NsvLDy^iWqx2St|*S#GF4S#F5l z3Qk^;PpW|F5g?Tl^$1Y!mKu|aBI=zA8;feJW`w;XdJd2yO1-13K&y5%IiiZq?HSYCjH6KX#+3&a)*v8`C|B$hVGw#31D1hRUd@B2kv6}N4PX?cH zH0FInu}h4vId697V%zl5h(#%TI4^FQ0&v!>y2T#;b1U|R=k9CM?F+>Enwfv&{3XN& zA2OKXZ+6?)fmD zHXeA8@%T_)8g>{qo0s)Z89NlTBxDp| zV>o}`SV3Uxj9*%Je%yt?thdC*{U^)?1an6s4>sZau;Cz>#l~N)J3sD1FoN)Q?%!`r zMV#-`ghcMQ6lg-TLWPwM&AP1*2PV?i*l>3i8f+0O$drX8^ovm+uT9 zmVpTF|L5b?d>HpHH7dg{gLvikm4lNzA^|&#zndNB&hLR~8~4pdm2yr119`yq5zRo> zL$E(lRNl{|`$t5k;2`9wKHT1djwt8B2{v)Ryzym^0J=dd=3kig0IisRq1FSmV*Z7i z5YUSG7y89}IvsSaR(_#W)fBvN3KHi9indA-UMYZQE5+?_#cruU9#S}$`IJJvQt-|W zQ#|*|XQeo=6u*^XxO!IgyH!0>FRT|lTvtA<*RsQP(UfjtMV1T zs+@IU?Q%(ac%@;1T!o*)SM{^%H{JijP=y*-Av%W}Zjf{f^{1kzqHkFLs{RS(4@+15 ztovUY>X7u*@4uvn9Df(}{nv{5+Q@)5GN6qNG%(+5T5VRV&1$vThNd>F-%9;f>bFwA zm6y&7x>n5BO6TWPM!yWb?4FS(S~1@UC`I<&|wPmie8G2m)xBE2KhJ0iU!`c`&CS}|WM=JV6ZxqoYMS~34Z#lg?un>8A`&Y$L& z@vgjj?+Y*dl_&D5w}(!={(9b=2i|H&VJ$K^DCsY)-;I_vP`#tzzM?M_U_)T6F{Z?sdl2cwtbN{XAMQqWD&QGW)3(CLU zcm?X;zTjh#pA?yCW}1JExCGY-7;0qogeOE))f#TW1h%)}3B0QJpHA8ikUk(?Vq|-& zCOkopcG(!p+K30;_h>1pe++ z-j)YgK22w-Z_qT~@fRFZ_22f>9Eo`TsRI+%=QqEzcSDb#ZP;*6Hi8OAQ2dD590 z?=J1vZwAk{@1r$gb^9epG4%hT13F|w;N=*bWyVIEX>+WM0 z8TQ3DRAhSjCvg78zI8VzF5UBRPrI^ExhfUfM zyi#QY#J>`%>p|3c$zyn>%7g5l4xE1yU$=tVQ#Ep{EXaK#;@v&N+P+u^o$^|oE%JqdFNsUAmgg8Lv3FBwzc2NiRWS?GVuVm>T+HWxC6XA z;Ufv>`+m=_`Kg0w>PfW<@QfaVfz4jYd?EG;cI|Q@2#n}DsO$HTd=h(eEDyo^61p^f z1!S(WmISn7yYVv8eUb-*#(}v4>R@ev4ZOhT0emU=t3RWU46&ETq6jX`@`%xTH0aTQ zv7twUwf)m`gRjte=Jnu76(2RnCmJmW{_Bhd|Ri9Rm$YY zEiV6!#r{D%_)XPV9!2I7iwPuG9l0t=mj86;rs$vYE5VqOSuMtowa|!J9UmBS!CCs_ zCvJD_9k22R!0o}xXe}#h)d`68rDDyCw@)Z;>|R)tcQNI)77~?LF!fDdxp`0uAAj9% zYUjlV8Lb;wiNrE^)LK1G*ze@Ou)ocD>4IW#d<4b;!9Nnqgvs|?%ZOYo+P=Vd<8zR2 zFrKk;gZYES0h7W`zZD^<`EC3(d`oko;g(-B-16znG5?zkH_CjT!_CTie#4FOp6_t8 z@}A#tQ+dyCxYf!{yOMJZw|wF?)*fz>nu4U4_^08UO|yu?G<5LEEWHle~>*+^97Dm)Z^>Z)u3dQ|(A?Y?jubuwMqSoBC6 zfU10jhpJ!EN8uT=^(f1C%krG6J{2$P&5`NK)?Ii#%9dLQZ-u|QO8UJK_N>~i=%H*u zs{T;@rrM$Mh3e7$FKim>{uaBap-n{m@-+_V|DOJ~MS&oFw1 zxol?`ZNpI8Fg&BZK5e^@*Q1TLVQ2*ANn3*%%BG%+H{$(_K&IQeW=P9!^W<~L#@-s4 zF7szdTYL)?T-a5?XDJ(r5^kP)R`ut~a+PgA`JAO}BC33At$ZQdiLyLpk4@QD%#wIy z%JRbNo2%l(@m29*?NjwB`lxoP=L}hnswYd96QZMRPbj}EKU2{|(p8lky2^4?J2E95 z6kReDom73Yyb!&^;DMJ7sz~T*Jp$xN(j!2&^0mfHdc^oQbYY|_{xPK-nXdz_RVW+`1*2a)3>P5_04P3Dqt5nw}R&N zHV9gQ=`=(+9ih$`rzv>h6qG7pO64k~(j--WLaGf)HB6~$$#jprDpf6|qLdw`;-pl- zl!}&8sZuIP>RHwAR`p0#CRMIdU2@8JrMeVSNm2ORYpG_0@RRs>C7e^`3saR+bO@7(9L{r=Y-H|o7q*9P_eYZWl9 z0;W~Kv48^-Ix2tAH5+ zr7|^Fs#q!2qL8YWQYliZVoF6x#w%4Tr4}(SM=I1Pl`WZXu2e4xm8Q^dJN`*=(Fom9#3YLUZ-HDFA1kqvqJT$ z_9(R)rEa6}RO#v}>6oQd!xa52_{vO=*Xzl3!7O|~qjJ8>m7C-BSPvO%J??Ce+j_{% z^*FsbUYWAS>vgG=438%pe=^1Ca=JY-+dQw^yIPj!%W&nmbKD-GET+ebR8N#DQF^RY z>an8co3N{%S7>6&IOn{gRYJ5%h*k;FDj`}WM5}~ol@P5Ga@nhdXeHTkdPk&pM0!W` zt?Y=j0$M%!@?`E>o4dy2c6)QPT~4pZ>vntG-t26rlOl3GZkOBR^5AEU+v#yT!G?2- zzg&+e$K&!koq)`CdjaV}nl~5!vt1tM*_!PX8ND82wRt>X#pNIo4~X`|8*}Q0&8^5k>_Zl=ICkF{`WTy5o z&$b+wsE=qvv92|!8ks!VF0|R1yAJ5*x&coOqN^J~pLyNcYjd4BE)Ug!sN5V>ic}N@ zDDWzo`v__vjwTw5f}JiF1$o^lQcxF7 zLWivdjX_xII=2fo0Z(8?J&;RHLsOXhqzirO$?>Ad>|8X!aO*crzhU|f({I>?s+^or zo9A>1dJWTS*hO5!gmQD^_52I0iY_V_dl;(ZJ#IwP zlI?NjAR{IKIbvPFZ*n^>VY-?z(268z#*2F3gL{Ttpbg-B4uE}15ifOZfB290# zSfXv7;y1EUqZf^#eGDpFL#@K81vXUf)oW?Dg8dv&VV+Oi)>$g8{@93l*8%%%)J!E} z%?BDexhyw;4FU5oH*=lH&cSBF|Q? zow-Co+FH_HBqtjQKm&U;5Qz?LiSz)&cEm!h6lef|_9NK1f&|PHq|IHBHjulJ5qlA$ zKlYR$fpsPWvUsz-*v|nu(2n+m%u|TUiMA*N5Xb>iQ=cOS7jz&JQII$v&PLaoo)3T- z$^_An$%#FX*!-gJ(bGgvC;9>8Ln*+Ic8l1fSx3st^?=d?N)ISKLp9tPitKt|meTwH z%@3gE@1pPn^nk+dLNk~y9)n2_C_SL?9dHo`lw9`o*B(C3^w*yL+SBX<%|6ilsQ-C> z)PL32p8MCg{hGLs#6!dy1xDR@oc_Ki*re9!?{8*3@`L9u-2K$rztf@4e=MBx zg6DsKe$tG+5raMux}eb{f6l`>>|ElTJjlE!CLZJGf1>3y%wd{x*3;^ zZUz`6L%&sxwbN;_HMlraGe|UphTq^S> z(hsKcC#n1%D*ufh zs1sf%^{5kO7WAkSqd~nbdanDgnd`KtQSE6|dm7cAMzyC=?P*kd8r7agwWm?-X;ga} z)t*MRr_nQecT`>;^;Og8yB-7D)2I=S%6?QhCr+9ysfH%#z zq#1Tq@L9@ZX1E7URe!GZ=BPYy%IA>hPL)r31fAzvZ(A??U@Bjy${(ikftn>TQNBWz zPf&H8t9*NgW31xCTBzz#6jCiy&l$2DReqK%CqzlvqELQCaYYg3%T<-5u8Jb+Dk-5T zlc6Z3>XYS#D6Zh-6?oaWMLFf&Rnb;qq$naiYpRxpyv6DFykbT5sc%X6vWp^Ip5mxCHgPv|&$pf+P1D-NR za{sGcgLK(_bK6(VR|C7~0f@x#Q~R3uI={|$u@f?H1aNDe2i}wamW8KKY_J4Pu(JMU zCSPz5e>)~9v)Z};tFCLQg|mkhAgh1%7d7RMf8PJsR)NFDXEL*m`%m=!Git0lJSWmZ z*n7-EIGP8JMNz!9N40 zIxwQ^AOO|v#H!7Qc}pG$e2yHUo<5_VT{3s9Ummlb>oKFpj2<(3p1IWXjIg%B4)ef2 z_RuV~Y8Ouwzm0j|+CNiF>Khb;Un?e&?{0rD-@Bp5&o*p0$%9Xi=$yQsKl7wBHQucv z{fj$w$;L!k_1iI>;{J?QBz4rLNqr5D$td_jKU=lX%p=n1Dr`|D^2z*44@l@d3WS<)5*_e0dNMAIEY2d3nM|oZs;X zuRL-h;@v&N+P-K39uZOex&@qX*9IK*DMBwuPJsha!%h?LK@GRGZf$PDb2ZNp&>dg#fxtbl|)rVeO_8M(>_rCDL zUopQ}*PguU>nj#L`wS%%KRk6LC5UTJ9{Al%%r=2FBQYoC;g{e14(HGJOdR?Tb+MKV zZmkpY65KHB<_#Mv#j4>Wh#L3-uVdrBsd9axy2wStS}M48@lWjBZQ{g3V*d64!h%0V z_2Vh&kF>kTugS~g%E4*9Fs)?+Y4VZ}k~E}+ZA8iMQ=_Cr)%hnwWazqT07*$T2GY&0R=J$EvSG0`|o&(|;@;`! zsl0m2-}?O;0RF|9>#;NrQ*+(rR4Y+A(oiiw-CYC95zhn4OhL#DfK*slD!R(tfG`I@ zYkcl8Ff#+fDgc(hBa3D(qh}9+F&@mB$!5Z)F}_WO-2=vbfvlM`)2pza2ZZLo$%6+d z&+`{WE9I z_KA{($p9W)M|tuHADM?RUP>5?2G=ymt;{z_#eQX`z$@wDtfTP1KA`BL(p}Pwgdhay zs?0igC7e^1qs$^Gct!t^nFLZ12YkqoK)5*vnXb%Ggvys@7!;hUM_ohtCA^APW-YuD ze}#{VS7s(cW+4=QvOZPLI@wOuE=3QoG&hl}@Kf}V<>+x|^>>Jlk}hgo>2VkKKIm~5 zn#=TjS2Itl_eWhD)O@FnCurjd+IWICo}i5%lLsZ%Anxq zhL@}A3sddQRQ0Ixl?t$oR|@<}OAz;;KHv;Ia`@Fm@AdBReR?uwRlyY zY=^2(U6nGoGG(Byq54#NWO*TD6{=j7uC9`fS&}}gd{v$@1u~JAnDdgH9eXgP3ln=MiRSKO7 z|7n!2gmdLp2^A}$R3%)e`(O7z39Bn*0X0sv_d9D`{7=9CTBubEwQ8YOE!3)oTD4HC z7HZW(ty-v63$<#YRxQ-3g<8)oP^g72HI2UOF`$K78@xxb%FJA+$L-01{fd4@WmdM! z<#v0lhk0I?C);B^_%qh#dYC7eEs_Eu30o=gspK~Q$DD*!&hxn3E|1%yN2bShFrsoKP{1Xa;E7{ESdHtqf}yi~2a4pyE#hHGI_AYbIPjW%|r8C^K?5MBf|5HLeTP z=c<1F2Mw(OdbCbeyCNbZ>p@-7BPj$mZo>7Gr_H!=!P%kOw(rUCmpPsscgv?wg!Ckf5#}56Vx!Vb-0CS3dFcr=Kw*#kY!S%eU8pOl+ngtz9f2 zM_PRbip);G?T)+dzE?n+CaVLPAR$F>qt2AH!NW#cw465c##uMtdi$Mo?x_bE3wm0R zZQ84Gl9D!P=!j8c$4!_xdFqTCXU)EqDh)vvNNi){;sj)i)&wcW%2oXapeqDdQ9-nGC6nX_}U(F!kqfM_o9#p1~C*BO0o)g&bI zK%pPL3XnUQSHJq&Cqc`3Su%&yv+RQ~qbpJZ6>pKlv^P&+6e1#p2M#$YVuSQBmdXRc zUGS48oV5+$!4f2j`&8Hy{$jOy0^BigZ8%h4`EQC)C5P2p2cr}OP%*X=|$r_+r=jns@KK%z5)NkT5T6-n{wq=FZK` z#3LA|8AzCmYbLJtc}KG{3$_&&RmsP)*`o+{Mrd~1iig}h5Gk!fk{EJ^c z``h3B;koDk^x{h|zw+v9e_6eH?OG>uCb(_!*esU7TmXR@%;}xB$FtOEl*l;_+ATW@%<0Vq(>in>~Z#Z((=Ri0BHV#g^LzH zAd{9o`sicqv82ao-9AQJ3)-x@u*r1gc-CQq!d!OGNo-@VN5*y*J5g*sioDrtb7<>9 zyC&KhSx4L06ypJVBu_SNUc5QkZf6eenCBD@wP{a;%@FgvhTV5IHrTW`&&i?9jn|1i z6zzvlkC!&jURN&mb2-jzY~!#s%5jTbJT~q)CI>W%!e+?h$#J4WY}T;f5=ZD_7v^t0QX*#BWumFvz{=kCj+9Q*@M4(-Qi zBWUf#oV1(I!Oov5q79%YcU_JbE%mOU%^olSj&7$D&HGfGWaqe0t{2;V@j*d5IkW}e z39cOP8hmMdPAvcm9?v=_J{&+R6obzJv>S0~8}pp>(kBXikkA(l^Ayk~lxR&j&_33} z4mTcr#JF-%7rG%Em7r4UMANgwiNdIhKr;fyM-d{3=uWDSvQk-V@zLVNCiP1cjgA)` zN5||LbLZi2UKaL|v}t4+hv-WCNbDW4d88j4!e^S9TjphEA#Ogll38MVX&ucMWcgng;Q`xC>@4&15Q+U{L0$o}tK_hV)^i zMFA~QKs_oO(x|Mrp6kzb{kg7B*R|k>7W~kHA6h2qzg;G&-tw+L*XeVejpV^H(ntA{ zesLJxWdakbWCHjsy-^=;wiI?+yzOAqLe9rg(_4FSoWv%j6CRQGK{)zSb zE1rF?vhtnZR8~I!^W43!y^82cUlrx3tVpZ~JnyMs6~~`_x1!>mUsqH-zq+Dg(^H5? zDacY$*0e0}+~3Ps+3{b!Q&#rxUze5PsciF8h_9*$%dnxW?5}6b@XB9~Z~F1sGVFTt z2d}(UJA;p^s4OpQRTemTw5)wuWqG9)F{rFU+#WA4FH0+9Qs6Ea(1es zV((|17w%1nx%mdEZKS6Q zJzZ!GFs%W0p2~@Oy3o^wo-WQcUDW$D(ac$5&KjGoPm_K{F}%8rK1+u3z?Wb1;XJUj z9KW?$wf=a2pya5(i$8`3^8D3}s{^mRS>2^NhWqpIS<=Y&#oIsn>HqEYiI0=_pZnRL zKlAxY-B14bH$LC7*M9oTkA0Co%8KukMwMTjc)@$Dyi$Cn6n z{(UQUl*QC!%Y6<-eofhSuiSTV%}?+d^s7(GzB*a<{BvKI9XnR5#LCZ~d3q;(B(bu? zul(@I_ka3Y*@5R){Pd~gWd~pU{;Ho9i>&@UeAL931rD6VW7Uz9R0L2yadpOnl-bmm~5Rectp#qpJh-ZPPC=miy_ureDQ!W@t4wZSx2p zbvR1Ifz?fc7X zufFo~ODj`Wnk(3H_PFn{N0%*q($?}xtCZ5=%K1yBk(BmnOn|NZ& zs>I`i@Fwn5-sdx=cl9iJRq@Iz{ah>FCDT3f>XPZ}_Xmt!z32-vURNL5;#KEm_QEj*vCD^Ugpa>oiO|$cA zaU5jl0T-bb$pbhO!jqRu#uE;P@Z_W-V3~CrJ-8?d4|((;Dv9!24}!{()d8FtA<07p zM)>@6K%{a;RQl;Oh*Al=2s#(B9*H24WdWSQsKn5dRjf)ABn_nrJR{2dbU*_@r>HaZ zC@Qhz$R>az8zc+VZ8)^?)1i%uuvb)za~nL1!tHt0;^+p?qTlS+=?!Qm;4z$3cYBGX zwT737F9|o=MNKOSH^fC0J>dzntraAqn4aTx>}64tj@Pq+b(K+4&#V=!RNYq_9W~mr zJBim$;g9oH0U)hU5I<#xky5*TB*t#Go1k$ZbCxEnSaVC(JHxXj0mbxHK z6ETl9iiwGiij1_|Z8rFU;!SwL%A00RpK|?#YsQWm4#dJi;t3==st(BRM{7Wa4(i|U zsy?+4Ynm9}IF3LfStPT=znvKr)hxJi#ub?={&O? zm^yhPQEkM~K`20un)cSHp#ow>e})QpVDX}b3+77%s0BAnpMrr33WDqd`duZ)Q0ERP zfW}Zld|cfE4938I)IrnWvK<2~3NOLs8>09i%mAkkF+9!qPeLpoV1$Q8yuT41;&`f| zLSvp{P>6?1comxPWFvuJ6$**GuhEoWDMB;e$7s%b8!dP*5nA#jqZRLIwBg;2w!E9s zj$dJP;9ZQ4ytC1ncQmfx?TqfcjgiD#8hv;(Bbhfb2JqN3ww-A5pR}D|!rM;I;ccg9 z)pok-_J2qH58s+K9x|h1EN_+YQQEpqyY}#GYPkR%IAplxTywJJA`^}-;pfuESje}g z1!;LVZB3AtL(l#Lm2*wF$RtOX@UD4A$mXp830I)fEj^sDjv^1DaFI!VId8e`j@pnB zkx{4$G3s>@WN?t_C z7bqOYPKQg+o6~O#hqPR)Ccq(UOOS}1zk)=4`w368ZNW%cAD#FG~@`y%W(W9qu zl{#oB(FdeOuMlJiklBkYy2i%E%SKwmKzP&zVMUc=$Bn-Z&Qj4Ubpb^q;bB#dAM_<~ zCAz|cFRH{ixcb`h)XZr!P6J48b)|1s>JY+}-0@PCBQb)m9Y67UkQRWZ7_b6Wsu5#= za0PW};B^wihscvggmsJtWhW412+*{%$ejd7&R_+qgen?o0oI43Q7$kQzH)0SOzEFCm;lj8jDmV_))*Hr7Wpc+Dg;plrc@)SGv?}X zfTJnE1fDyr5e_`bO)d>_q73??dr$J~+b?xM8fXLJj2bgmfYD$RVCpqiT}W`939c7< zA8-Q)4*^kusSzWmDg}o3q83>Q%`O-;A-F-PaQKLk5{!`CDUq~@f__(6q8pN^y5!XU zX{c}5u;F!~2*;Yr#EVZfp~eC1D)jt-fr9`CC`Ay|CEj_Op{%B%GK-WJ7>L=Asv9&| zKoLDm`-fI{i+K(Grcgx7sIs2Ds0)%)Qc;}|E2u%u5-pAdY}UcM*;&7 zzS~4imX~N*5%n0gieS(z5D`@gpnejB>JdJo#qh5opale4bnQkp0qV-WR|yz=-~on3 z(8&KpOkqIIYEsMAz^;AAPF-q20mcs0s2&y(jErJYp9&!OzD^KyAfR>vKOl&@P?^z4 zG{*$tK9c0N8dL)UilZW+NBH&VDImZJ0E7v=KBIS;8e;(v+1gMg1kt4{szH8y(+h$H zBj^i1YHxiIbgP76U4mVWI3Q(J;U}b6)Il+0P%UUa2;G9J0b;CuRfkTf2@q6?)pRjY zM6;NE7G4C=3?Qvq12dr3zC(vjMq@!Ln7QkXGiW3XorvZ8PzCZkG)XM#r$2Bgiirpa7^1X6q)R=vtYn>{B&)Sz-Xiv*uMT zTDEM}$_UGDMpamdqhuBz0PZZ&-?SM4uoej@+FpZ)8Fh;CT1B&Xf0G2tT}8Q@qudD4 z&t|h(IGa%d=KwOZxFD6yngkOP%|zBTF_e=f;3X{@nL6lNqE;PwdgScDA)$xN(~De^Rv$(Z^@JuKQ5!(v$@8&aDChX{c!f!YX^ z63s>|u7yYfa|B?N#G>snCTcdC8&LwrE)wifCK6hTIJ=GF?2!?O3&t1}8EIOPH2T_z zOcAySyNO2@)z*kcK`7jgsK|DBiZoG?-5${a_fck)E!y7Eh{atr3hs=%XfxJ!1+I-y zD&7asDamMz*gi%g=Kf@(3B$(@Tb^JTDjdEWz8bUU-?xxFJPK!xOP4Ksls%gCSm~U5 zAm%4MJW>*Sm_1@HOlp-S&?)%>Jn*eK3ibkm$dNMETr6a$DMZ(lt?nO%=t+R zj=~ds`YpE!7z-$Ko^4)I)=})UW@8r%SMPVt5yj2Tuw^7=9>X>Y+r{)-sTw5ReGj|G zc5l+$l4;n}5eRCz9Z7fHHHXbH?@qesFgBPo31)VB`Yj@j;MiSBa}H0MGIjd&nKw|{ z%_5N?d*4w?+Zb$UMG7Ucbasn*Ytn6pX`h0<5djg@tl6_~zB#>jdI`266R)2%Wy;iP zfCAW!H?f<{SxK{xUVY8A6R;}+&{RsJMB5EXH5AzjLtKUjlxa= zK;tJ|HxX$_G^dzTlcpWRR$%m)u~!q+gb4)4uD4A}ntYTt7uY3G5~We1?Yg9iM`=~Y zHeeJ%jlCLh*IaA6Hfj7Zth?A)3?D&INEkH15~{T3SUC(nbQ%92Gmd^O!O$ zo@rLn&|&5t=R0dtB9%b*S!0D~8#{>}p(-}xkY;$+!B5ewb5xf;U8`uFXxH9Etl81lDWY@FE@o@ihP5@@MYNCXkkpa2WUXwi z%{FG+h<1J2(_G71nyn&RN4807%bMAmn=NcD?XCK@W|%L{W|7S!TJ&kj66}d)Q+u<1 z&4ckxSQ9fLDlxig&t{lhZSl4y_Jn?kW}MkLI=){M)+jR0-Z&*b7!!+$qfz6yq{fjk z5wS6ilH!6<(Png9OyAhZsL1G)7+YkMs6Nqgk*QHZd~`$%ij1}o#5_L29%oC%R$zoJ z-t1>{m@zEPbkvz&9FIAcIhHyeaV&8>($1bj)?!P!*QD<-7(v7 zqhqFHnq#tKqGP;coMVh*q+^(4h$GFB>PU97-9!WtGTf!dliN}RYQkIwxu?N`$J|r$&c;7?4 z9*TX?yq_(uT7=`N`46N#Ko4w@kDju!7N;yW7qNxxKHq}*^RwnyW)&1^QCRejTqH{38gWwtrXyouddb;Hb=Gp65|a-;nQHj~Y$o<42r z)S10z#?D~V&1qFrr%ahVXPWOF3~e$hejsM#m_|cm$Hoka zz9wo6=Hy51k6}Lk5zWV#pM%^Oahjju2IC{b!f?anDhxAhoWfAU9tuN@2tFA43M$aq zz(6Bf1Ue5O-oE1H6aSw0w%7&>K7C&!5q$Y(;LA4$KfWb+@om6|ZwDTHN8Z8c0{(k< z-rVTTHOk)xmEXA^uRmUJ>v-Ebo}MhE1x5}ZGLR1PlX^hHpgn{V=zQHe9j3E?dAz&= zGm>?_onakt)A=$EsD<3x8(sji3k9`Sz=-n$RfnXp#BKa z1k}GkfYb5(ZRx0f1`hZqlJEna@Dl|f%0OZn@`Rq?V+6dEOJH!14)V>hu*c~-o$u4} zx)22E*Vm$;CDuU{v}7Srzk)~GEpUN7!~-DT0Q5%=A1b6mdiNx;2qocw9%y8VUjTgu zRuyCKXWV-)u)jmJ9@GQ%ue+Ay1B8TxB_Lq6zeO`aKeV4DK57b}soH`E^&wvY@qlZH ze(1kc8UlgDZFk>3z8?GBaZmfks|9+wcL;^X265`__qEOQXq5yOr29H%g5dah%0}22Ej3DZQ zu0n8C4#65B2}{fZ7~FpAt?2!msQptWUymLbH)hmGq5uiN)N4WG5D8QP8vu^#L4N^1 z0X;C9h5!%{W2k#qs|6(6LoJYEH=$9$Hlg*Xp5P~4e;vWo5E_bCh!CLH5JDOlg!CR- z;)kLaiE}PEmYV>5!_4W^rxG~OA3GWyfFTUYA{xU~zmzR%iY_1u5D6mz9|Zf(G}(Iq z$Ka>dEBN7rKYD<~WKh3&iL7~`mY9e|0l=ejw4IR0@ImWAz9ECtfPSccA?70SuR{P) z|1_-DSfQ!%tH*$NRJ%Z*=r5|5f=;6Scnhpitm@xLbx)iy;aXHaW)x@#;-w8p71+}h z(uv3?1^~T;LdwN@3yFR<_C9Jx)z^UTKpm7Hg1#qcBHk4i@znrUbBKJ21vpxbnt}MJ zk-&WDU_#x3#^A&IhbdH6E@>xT!4UEWY6jk;f%tHA+u(s|{Zo^v@+7P4EZk`VqZx$W zV1+zb!fc}fSTtG!qi!O*1r6Lq?Lxwdh8~(Ox}L@!aa9SNb~uDLY92&Y_e;L&N>R6h z2JRTRwJH~Fw@A0ea9~RWdK2(~{;4U+fbQL^C(#Wp4@X_jJ~VKNrMt;cplK4eZ=c>t zJ$n$a)n_%Bi$Nm^XQ9rF0#R)m0rx}207lI{x&d*5Cb=k#IE6XYP3%9bYG!O1Bmh%W z(BQsT0+cF7e|7F?!BVRg$py`2vk7r#RP|3KNS0h!2e?Zo(P(;C1vE%5dyG~c>T(M_ zNT9`6^_3M<&1f^Bjnzg%qr+r>v#2TyoN%|J_IwMHaPHZIum;*xGe%k%u)>@evQ)Kc z`1uQP?lu&WId_{6zlS(1xIzB9xxao zrYK?-n??oN2td@wx>R@WgqE`Q2ivuwN?TAjfz;N!iCS?S7%70Qifu*}0TSdcg6x2X zwgtNMRyD`MW`TmvG%wH)v4%I*Ycp(Je1Pc)AlBYbjbyElh$;byp<$6&)`>F!(M3Sp zsDWbbK5Yv;TenhRwc%8Sis5ZHf*pvz)Q(}#j#B`tOJZr&M&p6S_z6xn61;g}YBx;4 zur}aFwPG!UEx_mx07aHqS_5abuMSv*!P?ja2y0vq2u=NIvdjX7NWHw=T_V+GtAMve@0KU)U6zfuNV z%*|FXn#{Oo{ylRZ$Xs||=Sg?opGDd1^n-tq2z0+3AzI!uTw~-tE=K!W_wn+c^5D$N zup!`Ia|9}eqOE@sEt6|uz>J8NGmMDtPar&t@B)I%$|$jnX#FQ6qV-D%uOX~Oa3ka* zyovA+gtrmiLHGb+3qrmT(dJf!qX@?l$`O1B0VAR<>T4T;5QESd0SBLLak|(Jp*@8* z2ptf*AaqCQg#a50?Nboa5b$~4euNRx0ih#>(Fo%ZCLl~gn1*lz!fb?F5$;5|$B5{J z(3wIe!UBZvAv}oi2*P6s-$(cn!V?Hj84+C&x>EQB!m|j!LwFA11%y`+RwK9&ya=xw z5mz8jxBC&6AS^>zj_?D7pCJ4kVHLtJ5q^X42L#Zx8)(`MH0=hOb^}ejfu`L+({7+? zH_)^jXxa@l?FO2515LYaN7#k%F~VmEUm@&AIE-)%;Uq!@LNx+MKiUwY5E>ygL1>21 z3ZWfBCxj~ydLr~eNJi+7FbH87f&*bJ!nFt!5vCx_K)4AZ9pQF_IS6wRvJe&`+>fvX zVHv`5gdZUMgvOFOfIY9PiCHFUDR^Dz>IM;(M~$i@5n5Y1^t-q}Un({f`h8b;d>4Jw zkm}Uq - - Proof Pad help - - - {{ os }} - - diff --git a/help/templates/doublecheck.md b/help/templates/doublecheck.md deleted file mode 100644 index b482eb4..0000000 --- a/help/templates/doublecheck.md +++ /dev/null @@ -1,44 +0,0 @@ -Random generators -================= - -`(random-between low high)` -- Generates a random number uniformly chosen between `low` and `high`, inclusive. - -`(random-natural)` -- Generates a random natural number (above zero). - -`(random-positive)` -- Generates a random positive number (above one). - -`(random-integer)` -- Generates a random integer. - -`(random-rational)` -- Generates a random rational number (by dividing two random integers) - -`(random-complex)` -- Generates a random complex number (using two random rationals) - -`(random-number)` -- Randomly generates either an integer, a rational, or a complex number. - -`(random-data-size)` -- Generates a random natural number, but favors smaller numbers. Appropriate if this value is going to determine the amount of data in a structure. - -`(random-natural-list)` -- Generates a list of `(random-natural)` values, using a length determined by `(random-data-size)`. - -`(random-natural-list-of-length ln)` -- Generates a list of `(random-natural)` values of a specified length. `ln` must be either a fixed natural number (such as 10) or a variable. So, for instance, `(random-natural-list-of-length (random-natural))` will give an error. Instead, generate the length separately: `(n :value (random-natural) xs :value (random-natural-list-of-length n))` - -`(random-integer-list)` and `(random-integer-list-of-length ln)` -- similar to above - -`(random-digit-list)` and `(random-digit-list-of-length ln)` -- random lists of numbers between 0 and 9 - -`(random-between-list low high)` and `(random-between-list-of-length low high ln)` -- similar to above; generates values between `low` and `high` inclusive (using `(random-between low high)`). - -`(random-increasing-list)` -- A list of values that strictly go up (a sorted list). - -**Note:** The below `random-list-of` versions of the above functions are included in Proof Pad for compatibility with DrACuLa; They don't add any functionality over the above forms. Additionally, unlike in DrACuLa, the parameters to `random-list-of` must match one of the below templates, or they won't work. I recommend that you use the above generators instead. - -`(random-list-of (random-natural))` -- Alternate syntax for `(random-natural-list)` - -`(random-list-of (random-natural) :size ln)` -- Alternate syntax for `(random-natural-list-of-length ln)` - -`(random-list-of (random-integer))` -- Alternate syntax for `(random-integer-list)` - -`(random-list-of (random-integer) :size ln)` -- Alternate syntax for `(random-integer-list-of-length ln)` - -`(random-list-of (random-between low high))` -- Alternate syntax for `(random-between-list low high)` - -`(random-list-of (random-between low high) :size ln)` -- Alternate syntax for `(random-between-list-of-length low high ln)` diff --git a/help/templates/index.html b/help/templates/index.html deleted file mode 100644 index e69de29..0000000 diff --git a/help/templates/intro-to-proofpad.html b/help/templates/intro-to-proofpad.html deleted file mode 100644 index 40cd778..0000000 --- a/help/templates/intro-to-proofpad.html +++ /dev/null @@ -1,95 +0,0 @@ - - - - Proof Pad help for {{ os }} - - - -

Introduction to Proof Pad

- -

The REPL

-

The REPL, or "Read-Eval-Print loop", is located in the bottom half - of the main Proof Pad window. Essentially, the REPL will execute any - code you type in the text field on bottom (the "prompt") and show the - result in the log above. -

Try typing some math into the REPL now: -

(+ 1 2)
- If ACL2 is functioning correctly, you should get -
3
- back. (If you don't, see
the - troubleshooting page.) -

There are a couple of things to note at this point. First, the '3' - has a checkmark with a green background next to it. This means that the - function call executed without errors. A red 'x' means that there was an - error, and a '<' sign means that the message is informational (not - in direct response to something you did).

-

The REPL is a good place to test the functions you write in the - definitions area, or just to get a sense of how to use a certain - function or feature.

-

The definitions area

-

The definitions area is where you write your functions, theorems, and - other state-altering expressions. Here's a definition for 'sum' that you - can either retype or copy and paste: -

(defun sum (xs)
-   (if (endp xs)
-       0
-       (+ (first xs)
-          (sum (rest xs)))))
-

When you type or paste this into the definitions area, you might - notice that the background color of the proof bar goes from white to - grey to light green, and a checkmark appears. This simply means that the - code was executed by ACL2 without any problems. We'll talk more about - the proof bar in the next section -

Definitions occur in an ordered way in the file; if you want to use - the function "foo" within the function "bar", you must put the - definition of "foo" above the definition of "bar". This has to do with - how ACL2 processes events; the ACL2 "world" must be logically consistent - after each and every event, so if you used "foo" before defining it, - ACL2 might be accepting something that won't actually work. -

Proof bar

-

The proof bar is the (normally white) bar to the left of the - definitions panel that allows you to view and manipulate the status of - ACL2 with respect to your code. -

By default, Proof Pad is passing all of your functions, theorems, - tests, etc to ACL2 automatically. This automatic admission occurs in - :program mode1, an ACL2 mode where ACL2 doesn't - worry as much about logic. The intent of this is to let you test your - functions in the REPL, even if they aren't carefully written enough in - the way ACL2 expects to be used in :logic mode. -

If the automatic admission succeeds, the proof bar turns light green - next to the admitted code. If it fails, it instead turns red, an 'x' is - shown, and the details pane opens up to show you the error message you - received. -

You will probably want to admit these functions to ACL2's - :logic mode (a requirement if you want to prove theorems). To - do this, click on the proof bar next to the function you want to admit. - As you hover over the proof bar, it will show you a preview of what's - going to be done; in particular, if you want to admit an expression, you - have to first admit all the expressions above it. The proof bar handles - this for you. -

Once you've admitted some code to the ACL2 logic (which can take - some time for complex functions or theorems), the proof bar turns green - next to the form or forms that were admitted. If ACL2 encounters an - error, a red 'x' is shown and the error pane opens to show you the - response that Proof Pad got from ACL2. If the proof or admission was - successful, the error pane won't open up by default. If you're curious - about what the ACL2 output was, you can click the '>' sign to the - right of the form you admitted (though you rarely care about that if the - proof succeeds). -

Try admitting your sum function from before.

-

Admitted code becomes read-only in Proof Pad, since editing it - requires re-admitting it to ACL2. To un-admit some code (and thus make - it editable), just click on the proof bar again next to the expression - you want to edit. Proof Pad will roll back ACL2 to the function you want - to edit. You can make your edits and then re-admit. -

-
    -
  1. You can read more about ACL2's two modes here, - though this is strictly optional reading; you don't need to have - an intimate understanding of this for Proof Pad, since it - abstracts these parts away for you. -
-
- - diff --git a/help/templates/style.css b/help/templates/style.css deleted file mode 100644 index 76e72bf..0000000 --- a/help/templates/style.css +++ /dev/null @@ -1,18 +0,0 @@ -body { - width: 50%; - min-width: 700px; - max-width: 1000px; - margin: 15px auto; - font-family: sans-serif; -} -pre code { - display: block; - padding: 5px; - border-left: solid #ccc 1px; - background: #eee; - margin: 10px 20px; -} -.footnotes { - border-top: solid black 1px; - font-size: smaller; -} diff --git a/help/templates/tutorial-rev-rev.md b/help/templates/tutorial-rev-rev.md deleted file mode 100644 index f4d3870..0000000 --- a/help/templates/tutorial-rev-rev.md +++ /dev/null @@ -1,166 +0,0 @@ -Tutorial: reverse of reverse -============================ - -Step 1: Define reverse ----------------------- - -`(reverse xs)` is a built-in function that takes a list and returns a list with -all of the elements in the opposite order. We'll be defining another version of -it called `rev`. - -In order to define a recursive function in ACL2, we need to think about what it -would return in a couple of different cases. The first case is when the -argument, `xs`, is empty (or `nil`). The reverse of an empty list is just an -empty list: - - (rev nil) = nil - -Now, what if `xs` is not empty? If it's not empty, we can break it up into its -first element and the rest of the list, using `(first xs)` and `(rest xs)`, -respectively. We want to take these parts and assemble a new, reversed list. We -can just use `(rev (rest xs))` to reverse the rest of the list, but what do we -do with `(first xs)`? - -Consider an example: `(rev (list 1 2 3 4 5))`. After we split it up into two -parts, `1` and `(list 2 3 4 5)`, we can reverse the list part to get `(list 5 4 -3 2)`. And what we want for the whole list is `(list 5 4 3 2 1)`. So we need to -put `1` at the end of the reversed list. - - (rev xs) = (put-at-end (first xs) (rev (rest xs))) - -For `(put-at-end x xs)`, we can use `(append)`: - - (defun put-at-end (x xs) - (append xs (list x))) - -Putting it all together, we get: - - (defun rev (xs) - (if (endp xs) ; Test if xs is empty - nil - (put-at-end (first xs) - (rev (rest xs))))) - -Step 2: Test reverse --------------------- - -Now that we have a good working definition for reverse, we need to test it to -see that it works. - -The quickest way to test a function you've defined is with the REPL. The REPL is -the part of Proof Pad below the definitions area. After you've typed the -definitions for `put-at-end` and `rev` into the main definitions area, type -`(rev (list 1 2 3 4 5))` into the text field at the very bottom of Proof Pad, -and click "Run" (or press "Enter"). You instantly see the result, which is `(5 4 -3 2 1)`. - -We can automate this process to make sure that `rev` continues to match our -expectations, even if we change or rewrite it. The simplest automatic test -provided by Proof Pad is `check-expect`. To use it, first include the "testing" -book: - - (include-book "testing" :dir :teachpacks) - -Now write a test like this: - - (check-expect (rev (list 1 2 3 4 5)) (list 5 4 3 2 1)) - -`check-expect` will automatically run the test and show a green bar to the left -when it passes. A test passes when the two arguments to `check-expect` evaluate -to the same thing (in this case, the list `(5 4 3 2 1)`). - -We could write some more check-expect style tests, but they can only get us so -far. It would be even better if we could write a test that will check several -types of lists to see that our function does what we want. To do this, we need -to write a property-style test. First, include the "doublecheck" book -(DoubleCheck is the name of the testing library): - - (include-book "doublecheck" :dir :teachpacks) - -A doublecheck test has three parts: a name, a set of data generators, and a -body. The body is evaluated several times with different, randomly generated -data, and if it evaluates to `t` (which is Lisp's version of `true`), then the -test passes. If a single case fails, the test fails. - -One property we can test with DoubleCheck is that reversing a list twice gives -you the same list you started with. I'll start by showing the test, then talk -about the parts: - - (defproperty rev-rev-test - (xs :value (random-integer-list)) - (equal (rev (rev xs)) xs)) - -The name of the test is `rev-rev-test`. The name isn't important, except that -each one has to be unique. This test has one generator. It generates values -called `xs`, using the `(random-integer-list)` generator. You can see what kinds -of values this generator returns by typing it in the REPL. - -Finally, we have the body: we want to show that `(rev (rev xs))` is equal to -just `xs`. - -To run the test, just paste it into the definitions area. It will run, and if it -passes, a green bar will appear to the left of the test. - -Try changing the `nil` in the definition of `rev` above to something else, like -`1`. You can see that this makes the test fail. When a test fails, it shows you -which cases it failed on. In this case, it fails all cases, but it might help -you to diagnose the problem if only some of the cases fail too. When a test -fails, it's often a good idea to go back to the REPL and try some of the failed -values to see what you get. - -Step 3. Proving `rev-rev` -------------------------- - -DoubleCheck properties are nice, but they aren't perfect. They only test the -types of values that you generate, and you might have a bug that impacts only a -small subset of cases, which means the generated test cases are unlikely to -expose the bug. - -To strengthen our properties, we can run them through ACL2's theorem prover to -try to prove that it holds for all input values, not just the randomly selected -ones that DoubleCheck uses. - -In this case, our test as written will fail. The reason for the failure is that -it doesn't quite hold for any value of `xs`. In particular, to ACL2's logic, -`(rev 1)` = `nil`. If you try to run `(rev 1)` in the REPL, you'll get a guard -error. Guards are restrictions on what values a function will take; in this -case, `(endp xs)` expects a list, and we gave it a number. However, ACL2's -internal logic will run the theorem just fine, with `(endp xs)` returning `t` -when `xs` is 1, making `(rev 1)` return `nil`. - -In order to correct this, we need to add a hypothesis to our property: - - (defproperty rev-rev - (xs :value (random-integer-list) - :where (true-listp xs)) - (equal (rev (rev xs)) xs)) - -This way, ACL2 will know to only concern itself with values that satisfy -`true-listp` -- values that are lists. - -With this correction in place, you can run the property through ACL2's logic by -clicking on the green bar to the left of it. If everything has been entered -correctly, ACL2 will succeed, and the bar will turn dark green (with a -checkmark), indicating that the property has been proven correct. - -The whole file so far is: - - (include-book "testing" :dir :teachpacks) - (include-book "doublecheck" :dir :teachpacks) - - (defun put-at-end (x xs) - (append xs (list x))) - - (defun rev (xs) - (if (endp xs) ; Test if xs is empty - nil - (put-at-end (first xs) - (rev (rest xs))))) - - (check-expect (rev (list 1 2 3 4 5)) - (list 5 4 3 2 1)) - - (defproperty rev-rev - (xs :value (random-integer-list) - :where (true-listp xs)) - (equal (rev (rev xs)) xs)) diff --git a/help/templates/tutorial.html b/help/templates/tutorial.html deleted file mode 100644 index d4b32a3..0000000 --- a/help/templates/tutorial.html +++ /dev/null @@ -1,9 +0,0 @@ - - - - Tutorial - - - asdf {{ os }} - -