From cf69cfadbbd5c6e1b3ab0204ebbce77a8a6dc419 Mon Sep 17 00:00:00 2001 From: Tom Early Date: Fri, 15 Aug 2025 07:58:42 -0700 Subject: [PATCH] punctuation and typos --- M17_spec.pdf | Bin 574621 -> 574624 bytes M17_spec.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/M17_spec.pdf b/M17_spec.pdf index 8d1a08ee5101a1cc48aded3748d93765a4a721c0..8be8a1a8b9dbba230c7d286f662b0705b32d88f0 100644 GIT binary patch delta 10875 zcmaiZWlWw;*Ddbu?(VKP?(XgsclUDPTA)C&;_mJa#fn>j;_mJaU!OPU|CwY>R`#sP z$|SRAcCxdhDf6N!>%PK*3nvG{MnQd?_9!Ly>0^bGz_pUVfge49bElzyfu;w}4cFaw zThM_=ll)_a@(eigp8hVQ6@{P5!WUCHih_=$HnG<33<~kG`)=>2ow3j&Qi(}t3JWEu zEwV24eJp{Uxs`6a>HKu{@NWqGoqAIrIPcpk zwHs?)fxISg)RdzKh|CUmCzC*?bMNzjVcF5b+V#;vCTS0Ch_lHgCdoVY(WmR};dJjD z@q@f;sta_r|CBn#tQOG=r-9})E{B!2V8IL9A;pTrC;S_7!Wi;L%#qWSQIp>1H<9I* zqR8itwSb5;8u=v!ihvcT?+1qg8Q793)x4druzoL(x+h4vpGlhsm0iG_EY+pZBl9fC zDW>m}g}DKOi_8*Z9kd561js_}t}+=!8e2(agrhhtB4S}m8oG=&$;(!8$vi|O2!+R* zABNw2HWc{u8dM9n~0t4K(TY_3nN;cxhCbd~|wQTYGGmkxFm0f7-baAAxq!@b-~kG=6`$@S98X3*2e}KMa!g9v|QW3f~jBS7x8LX~Dxq0HJ_`aumCpWk3w4kDK zwYH>2+)WU9Fg#G{&^#DuOWbA$8I&I~>2;jB2oCeXkk0kpY@WZNO`#i4KbgGml0iYH zOf>umK8%#t4og)Z?P~`EMDnBnA(T8tx)%4%AGVt?MSVWDVCo~WoRXn;rF4b?XwgADd3j9MD+G6F(NYER4* z)wV+gnaQA`S>V-6#i>7xH$#P`HHv$Ft8iq$rVJ2p%am|?ELZtq@W$W<*;JK*kr^eR zej2Lo9W7EmbD)?{{x^;sF8#ZJs^_3K?9hdp$&RT)w9+ViJ7Y!s+RgX1uP3oTRvAiy zcEi?!D=1s}=)4nNFtUH{MCh?wu48M-I0edH2;X13*?$*Y?2Y)!xU0(neJlDWQ9zi^ zGtCDuv2ho*=`;S-reuXUStRK9E7I#*1MLVr^F6S`2Cj-`uWN>vzS{;uqlPLF<*eBz zxxTL3L9^2}cy7z-L^b4Wl)C z@zKM=)Tc=$a|%J2bg?!%$i7QMMn)VlRul^iMx1A#ayX{K@{;B@47ek5vzJAAZNg5V zY!A-vhc;^UYI|(9=)3l7S7yU_mkdv~P!QyzzWl*;YAZ}a#N#W^N*fXoOZtpLoLWQ( zm@tn_VRLFgV-d8BUkp*7kaG=uD>a)Gtbw)_MZ~dCn{kwo_eo>9HDbqsq}VjOUKIj1 zFh$f%b02)JLJ6bKGt`1PCY~~U6#a^c=Ec3)uPjrYZtsOMLv3$=f5NTI5+UJ;OTa1? zQ2&x`yCS_cNF#Ezf$T3;qQTJV00i1xhnj@E zF`3Nfs4zofp~_~uw`(kXIyuDBO;n-akksjU#p?LFn*iPk;piZ5p2$! zXqa?_5+!$eeMc)BT+2BmgS~eN32hoJx555g)!on1E2ga@h#G#(di|3YzrYTR+E=;Z z$(BwJoaB)Nt|qt3Q)vX4Pa2@d_5MB9FnO>LW@wY;n&^whl}fK$d-iJV5wR8^T^vcA zfBwV;N#r%x2_Il0=ET_SFgql?{QA0AwwIEixyV*CZE%Hjx-Io}&)H5uN1yZX3`!F+ zk(7-Wej#FCO2Sj|hM;1FgLVo)6pFle!P0!@pKpJ5zWO%DQBA8YfSsu0#{u8^PdVVI z=w_H@uq}$SyB?eNws2Ck;EUWT_O*-d%-BXCK`-elSqxDK^uZk<5g=ee?J_9(jaD%# z6p^H$BI>Am{P*b`i|=Ke#QHK~@LBp^b0k)ltNTWXwJvh*utZBg4GVzl;5uPQLEDED z1?Lce;eb4?0JECD$Dv(UL8Eq3eREpMWRMfnCT2tw%Livb{OP$f@`=(WKeD|2Re=J5 z3rd?EdNE?xRkwI)_N8fQ_8_CSaAXh%E%x|tFj>-adhP+P1mu9c&HbCDFu7dLGrXJ% zGMnGIimYnDu?RK0YdS!(G1>mDfnxRJn+)<%)Y!&hfGO(z$eqkd^~r4B#!5kafa}d? zpY?QG98_+GqOLa?#cgWx!TMF#R=bVn4Z~HU^y_(}J4CJ-cR*6#2qdV#W^?AX2zsqC6)88_KIKD$p6`8a_LM~O& zv=*d{TBivW_2k((Bk)%yK*7Fcoi+@QZSHAopr0i~m{Zxq-4*{u+8Mzzv-ZS?UQ)FNl&FO|JtdHOZJKUsWrr60@5kf!^pLfysj#5 z9#N%Ff7~la%GCEq5`zGd`BMy(ERsk>D$svr_#Z=wZPcYIb#u^KwH_t@wmM35s(;S} zBEccKYtgtT7Y&ou+b#}zx@PdPgiMvm!3I$Ig}ugbkM@-ygkgS-Rh}LT=Sh=kF6f&F zKaOv8gda7}{J3nsdO#BUJwOxxm}xuKZ9lSQ> z;HXv5r1In0@MF-YNaOH~*}ha@0iwa^sm~Ow3dRpodYWhYYbz!jkxnf7?*aZdL^A|F zHgSv|u;4OE{j)v5Hxa0EglSZmi-q&ps|YsKJp9Uz(}nj~mk~HcIlS_*zKYkh?F%q9 z)eE}^&;IeN(q=NnCSq7I>R0Bo^Y9~GHfvSHXmfo}{L-JZqqUijKWC%+MPIb`7g`4*J-JA|DnvYvIoYf(3qaAQRH z$}y?EPstc5AK$d#9X5hEoohtS(>==rbv7cph(whLeH8w0=vByquQ`oN_V0@=#6x!% z_*1E8==D&QUdVlDPrwyz46Sz*o-U#JzO9{FSBWdx^y;^Nn?O$nEZYxQ0um;WDR=7i zLCUyTWuj0gR79vYCMeWw@v^o#;;rsI=!519s)sv` zZ)lQX3o^oml>NcA%D6`?{_i4{2W??hTLBw?1nHS$_*M7G3BV&WZ6Fzjvj*p4q}_e{ z?Q~6&G&1=Oyv1%8A>teT6owjf$$QVvGPzzSzpgF}B_t177_c6F=xP?6fDXqw7Y~L@ zgwU3Sqh+jF!7S(g?9V_acTAxl4ylk^Tj87?9Yloc#K>@93jHV2=;A$pm(q>eHT#75 zU^;311@l6v9SB>XN~;?l5ATI70g&};Mv7k$99*EluP47p5(V&B@Irpb$X-yzW)Hj3Gty!RfJ!DLUOzT79lup}=NwcpyWhrEIs zR#!2)i-Uqn%0@)IG*$OdVdPcTIIQ{B${^82MY80S0FWJ=D>~e1^(eDf7wzz!%P|r* zZr*OR*upX;sUYRybIW=7Fjs)+;uSIOpK}mUM3;gpo4CC)Zx3HbQLdRQ0QilDKWuj# zP`}le;BZ*tdwf+ak6$R!9mT=#h7O0r3IvXGdJ*-=EK?lOV&I}VEM~)KKW{ic7E38p z($QS7fgJxZ2=Ml2WIn~CO^#|*p?sZ+SyPUA%Z(c5dxIR$(k)nIzLPsQZlhGyqf+_wzN^*(=BMh z7*2%YC#i3g`~aV`E-s=_hcN^>w6sSev)D@zjt4Z`uUwrBr<$?d7O)H>#Q`t7sLtZr zfV3kW5n+fOBj#n&!4d*f0|71*6=Gk($fR5ASin&pr9&7TNn_JrN6vzBnnyAs9J3|; z`A*Vf1Iac3@8E-kN@4-Rqf39^lE=oLdneePgy}$d6=Y?Z&2(FyeD0QMW+BGxq2a8Y zIlK`uL?UY@Fp^&6D6;v8X71*#v zG1s&9$sK<7VDN=S^p`Q~@RYsSGMjm1IxW^1;k0hL z9JbXEP;ucsyB+WBS-*A!j^GEfu8<`yEJPq<0^C#P(6vw3FU#(zD(}j=*k)QHh?~>Q zN&xa)MB-c8JSqe|1UGwH{w+8Ipy0mShTik4bA(f2{sjzz>UZ^6e}+#(^3SgpOZ-%w z{#&wjL;5l5vUb*4Cb>>rU?EuCE%qAiQB*TFU~z!~>u4rIHBTqCIzUga-!03uPDo=? znz`p^-CP#-Oo4(=iJNDy(fg0C_m_v)*G|$!-tweqi_=V|h0*iJO~B_9@XD^(^D>Is z`*`=>#ORM)^`uV%Al_LY0smW;%sL(UI(54Ab+=T6=$bZz>678dP1z|AZM22=nv10w zbsExBaAPQyfB`G!n7z7B-Bv3F=G+rA8LojT)%m(g!KGL9<6IaCEUnJC0+17*ONuYzLnK=g19%i;}w7GkBYb?^Qt7u{Zp))^72a!N7D~)B`odlqox9k?jkCf7f#=TsZ>t{*S zE5e>bJ9fbwTjZJLE>b9=*bgO(RLyhre@Sd#n)>qPp@f)dV6+HAo4J33XasdZ6}7Zl zkBfNHjf74u3-L`I=)Y@=MvZ*9rs!p|4xfPNotpWnq)@q`9~u(TL5y-I{Q}Qgq?Zf( za&kKTlmxwdl6|F-&8c@1{cFvDM11N1{8*3pth}*uMMmavhWJ5YgqmZLOE<;flT?F3 z-L6=#yj>?+J(clkGV8f`E>Q`a$+8QKIT{W)$YNDy+`8ka7ybXpWwyk)(aHois;w|7VPMZeG7o*e$YLv$(}~66DdRl>w^aLM`g3`XoI9Dua^OHc zAG#!?E+1O(%yt`5suc6tg$&PYefzG>ec*ID)ISc1G(<{SI-Z!NM)%RRWuRW*hODr`(B`k>E<$N#JcWZpI3WL=#$Do?(Xjpoi7J--+B| zWEuVZSWW{)+TR@M;E;&AiM3lPRoG1?9YRVO} zk3AL89Lpw49vimO&F%TvR0Ts~K>l`q^ab7BAN3{v#s_&7^zY7_i3T*|&9o?i0L67u z<$)++V91S{@6U-(}UbJeSA+%74PrjTO)KSZt8^xVneU1(r?Ah4oh z0f{QV3+UUl?S3SV9yIdNd)_$g#nO!L+1`nAq|l9vl<(~FrfroH{zTO3nW7nVb}B$} z2-^UcJRQF@JR?icBmZDubOe(O3RfzZZZ=&ibA^Q+RgAgxsKf+a021R zhUgSn?5NhoILi$Bn@Hf_5ExK>UZTpo2u~qm>-ymbX=ZcDVf$w;lJsZ78Y@si8bk+$ zTYLQ(#QYflE;?;?SVS?Nb?ss0h%ysL9;)(X=$s>I)b~o7qIV0!hoxW+CIZNAqV)jJ zES?F0Z$ruKc4R3f4f^8Agl$k&`d2=(4IW+27Gpk)5Bnr&&D0)_5z~(8 z`!mD<--tR|xMS4pmlt=T#z{c*dI19$&DceGISI)lOXD)Gx^BDRrJuvhib!OYX{9|d|NTZ-TH_v43QmDh>3sI{(N zb;~D_51P+~y&woQZqbsZT+FY~oL&(DtB^9%Bi4q}%rXJ@T|b^g9wGabdbF6JB)L~* zpPZgVYsj7u+@B8*dGsKbD2+tSz^~sG9{;tP8Vd;rv~xq6Fzk?~D+j+q?BlxxTd7&N z1Ob5oD$NU35m#PYss$8pO~*|IPlzvxzK88lpgMg_kh%`t`G}u{aLyK5pz`cNjPwLL zIEqi`-vt?=Kv#{I^dWpOAs1p!%Xf~X^TvVxRy5>^X= z#@drbqtUD-L5*PLU9@|;t**AJTqw-jY+eQ$6q;$vh? zfPVi9DN3d7JOBcs$DWs^Tu@&D-q#O!u_4Tfcd7^UBj)uCMQ{VkADlg2_`%|Q~{8tO92%*Yo;78 z7_5V54+pzEN^xkPKgUXQy&|8pi1o7Y!JBqFe1`s#0+|S~IJ$66gmgy;=;L?4tTwvy zwGWs43Q$fUE_c;~kz5-4K}3Qm^AJ3Dfs|aH-OgsW)eEdob|()yyuJ&s`*^?D8jrco z@83dZ8JQP<8yN~#=0=)}X?eSkV4jG1uzeWL$SG#adho;jnoM@SxL9I&46dDhAAl`~ zV*3312Y8@s?xY%!2Ext$C8+B+MKpJM>XGug?nY&hxiPo#*PFrOpru6IdJSKgFT)r< zSqe93iq&>ZC*wBI1$2d;6gBzdRt}{VhV0!{1MwQpmxJ}rSBfv-+S;B5b}a(Itn8N@ z?dwivobl(`)~D$yaOFIm)WswfCiJM10?OX;z!OFxV5FZGF}WLZ+*tq{1||`fX%rq# zb*h#>z&eK@P1AagnV7Aw4iY@9UkQt$F8wit8~WYr51s?bJdp+IXRoQ5_ZugeZl2~m zg%trXf^&HJUx&^>osWe6D_qp3@VVK6@YTaAb;S*zCFA9JdNR{;&7mn1R2A=gWPN zF$oZUO-w`_%|g~vZ&jT1n_Ibz5rz2-ySwhSE^HJ$R(8Ht0w&}b+l4EOC?<=(d605)yKnx68dUd^ zh+`fcy&0>Dw0HCRa05y>eEc_AKZY!OX{Y`kXqoSr*Rs||jYZ5wc8N8_+tT4D+|t34 zzIsaVzTHtArJ~tJxFOk}Y0&~^PQHA311_OHW8CUHr@_M{M*c`M!|K@ka%O644d(|PxN)$q=o zClP~srXBhI5kdo6t0xkc#+yMF_9TW%IpC=CcTOhR2bINaF$c^DCz#4^QK{{JbYkQy z?DN?BHs$;t+$CqvoBkVG84arg2NDnL5}GwZr0wEip*~yZ4M$Aj+u(U^)9dqo?YIPA zs~>WQ;k`EzA+-Zb6a5K+6}d?S@eh#y0QC>h{{Zt3u&tX!aMfuH+-$s@Y~0+;Y`nB= zY_#+UtV+%nl4c&3WOR}O9BdriY<%qhPtw}b1ZM=PCdDqrC(b9%&c-9oF2TXaFV4#; zE+r|=`){y|@ry|alY#!f5+ejwMN21Z4;wO0Hm&yIXXF- z*!ueCFS=1cDQIkfqP6&h+y83fulX^ae zI=#3o8FuqYfkCuuK8CsNxVlydg1)9aH~j7U&2%Y$ub}frw*OT7;{<%joQ`u!2%8A( zRA{t1nkEE*7y>OuPbXzBFUIdE!>KC18nzgLAHuQ1)1*CtP*!j*Zr@)8d2a(dn`%A< z?mml>&)n|-b~__Ii}Pg)7JUW1Nh%#tlyZenpVJCcH_8jfk-P*3CqG+ip4smRqsiSS zF8!w};)*YqkTL6g1W!1QnH{;n3`?P{UA8IyidGZgn?BwjBd#EC<5!(xime~TgWHH$ zC0&_kE4LWbY;!w%!oC!IZ-f3b)gAJ0)Z#bop*1L;LT2$~#+D$bCTbhYiRwJqYDgug zH5k9y)ch2-)==T51sjB5;yhAENd2I8%rkL9x~3JR1E)GzN4#@_1F*lb5rDl8J8Zu& zSAZr^X@(N~Zu3;e6UUE)lBbks)c>s?ZbhnTJRMdHUA?%9#1X+Ai%2>%lqcF3ib%>{ zv@^^XiAcs?vNMVwMmdi=->44+KRk<5KyR%aJa6+<=tXji#1|VOVt2?Eerr?Ze$G@v z;sUN@Uz~e9&6-avDi~KDt&%@v^PenoafI)|c(zmaMX z$+wtR=Ind*1D(q~e6y$^9-)#4jpmHfSEbPY`j3FiutzJaG+67*=vu2-yi)89_&~3i zDK`9?mY5&kqEwN7hC63lAy;geTh$tF^9@JU){1;i+y z>|xpDyf#A?Bcu&|lh#}Fn+wlJsFuINu6S{o&n2G);_H*H2rDM7*NO^;ON0FX5p$6R z!w2)Evq0{jA>R$Js5(tzr5lzWO#elMRv@@;e*fD=`E%n7?msi$LS`vSSfSC2&RPAL z7xsTnp)EvlZ}(K4mr}_hz{`K$ku4ZXB~BMIyJThe<|heW`PEYMg0o9_GkeVS|?oXSd zAP~hkb)j%VsZHr^z^n6+n?g}$;8TP5O`&z+wS!se2&%yC`vvMq9KZ0r2hQZDd{A@nZzhT!vgFf}3erV%fq z&?(?4YM!F5b(lM$LgbERPUwQ_Pv|T8#j~8UAXC zWK8z$e0XbPHzb!GDghcFw_yoRhQfb6WqVjGLHy4|&tT*rbBf*TWiY&^Et5*mz@xoC zYNHvr7w4_ZfHRLLwrTPhCzWc)K{4G{9Qx-~PxJ{cHbvG$bi5-d zT@A}pu+PbO8*a6CDn_{u;|z?CRUfv4>1l}hogdmnG90%)3w<2Fx^+t@*X~CW%iKj- z+6Kf^p-m+;YupJALn|Duj1Rdv3%YXr3$xF?&^pk7c?Q!Z9#%+!P-}yx>Leu*Co^~{yWC0>h*L;BiO}kW%8jPaB z)rL2hD&xoghXFJRnDd6YXLMSaIR(9Zl1k2A&)`IZrcRiYx;2hrnw%lEkBBXoy^j>Z zbrNvp4BsfPKlw9vAqd4YJF8mMx^V0^MRe!^p)nqOy(>md$c|Chy5-?PLo=vyXP7?P z&Tf(anEljok$E);!OAeT?9aMo%b{c3PJ(2y6B5j%bSXF6pb0~%T)xHN*@OWBAKcSL zxoycA>}dM(Jt4sm{is}{zm=sr9*qw~UqAiA$M6Vq2U$d@*}hN~Ijj3U)x8QF-|hGf$}zpht-qS|;$(ae#ya1BPTAl61X zHnVN(k|HBh*4b1+%kAvaqU}~BQcHllB;QDHL!DVl$=f#4dLb0iQ8!S->uGkRR^`RGHf@bI=OU211$5u49k@&jw1F@fYA>J^d&5 z2K>KtaGd*7dJUGx5C;q1Y*TeNZ-^3NhM4?mHwDWSaA#yh3?0d&xS6K+^cdag;fX=i zc(rgj20~E|qE~Hujcb6pbIj8cM4p1^U|}~(^MUyNiW@vNEH{Pfd*2Z5Oyf6(tqQ5r z&n*hq);C7_nP5O9>`jgMi2?kk!ZXYevCbxr_trxEd=QGmz=@A?2@A5XyLy-564m9~ z>660wxGmr^A3#Tse{@m8`S6c}fkTw}(I$lxc;m*NHie7$4Nxw8F|@0{63IoOQY$wO4X9fd68z&8Yge!v3x>z5Mbzcc)A zQM!hggAw2&)ZO1+vS<(j_Rf&_(Gw%Jd!E0;L`7xcja>(Bm}2`YLrO|cktFUOca1W* zM{nrW< zctEHY%0^&W4{&X{;h2K?bn!=_j z_PqCqUyFA(4L3`kc$aYLKPIo8Ye>RrqHk|PwcBs;-*Hq9eFR44`E#bOJ>pAmHB2WM z9)&A2UA^Nw-Pf{rkKdZKde|$~x^hjn5`GU8c^{^+HJ?3!Mh^Lfr>}kEr`@v=sjTC7 z-HCFi^PsgqC%eO^0a8GqkE`;nTTO?$GS&Hnp~-GZ#Z#;0WG~lKtNtX-z*DRFBw=%2 zD_hH?Gr!WWGVn#hXtKUzD$Rp?>Ez*SQ6)^Jf2Xm|ZPmw%E_oE5h1>_SOX< zbPt!|)&?v>zUsh@UG#Yx~~~GuAJvZ zT^;wsSXy2ySAC$^NHk8tv;J7SsEKy&UUXd{C#xb?X(-$2zi%{;G_j&_9nl7|`0nf6 zzk=@!%Fd%Pt;iotXy(UHa$=}gFd4-T(wS`q+vDOeP5JEX3dS0qwwH~&9(B*of3dr( zx!oWbT|WRq)xXp((7mq6<3jzud*Mji+MwFOub7@ZWiC%4y5vUzNK3=O$f3i7-m&S2 zsQkiE4@?xf;q@CIqp*EY-~$u#ncmb7y_LmAEmc?>ugSUfpV^2uRZ~-tx78o*Jv(Zw uAksHdz_unE!P3dX-NVh&%<(_wY;K3(?qTMZ7BdKk2*-;+O)aG&jqrax{@TC* delta 10847 zcmai1RZJbgw#D7GIK|!Fo#Im5rD$=d$idz19Nb-tYjJluxVt;W;q~6+CGYQjtjx^X zYwu)MW+t=qA}O;YDeL^;A%&9t;Ui$)!~ZBI_vqmSlOnW`B0wJhh2mic-h79o2N>wO z?(tyxKh~;VjL&IeO01h~(v0pekFj%l6nijc!msWwSEW+RrX)>#yj;ixm(r=H2sez~ zm_)-6p}Osz$v{&Hp0@&R;Gjh9<-#mA17}u5|i}0NEQ>F~PM!1F5q~KtT7-tVe7&MSIsii(ajNZ?0WK zarm=s#|HwdQc4Y;)KjZ22I^#xcDC zjv#BwClGgVZNud`E@!=X0F|Zd?fP{WoLTw2q)irD@%VFLuJ-v94f#ik`m>8)ro-Js z)MZdT%h9?_;N69b;SYPj)Y_}+bt}tl`z?)+fnyyJsxDWgOR(?O?9+Gq)~8!AuAv=A z5*=%%w)22I3x#Dp%xY8ZsoVX5r?$3R)3+9S!-LATgSaq^%lfxVe+6LWhGg@oDCeP)~!L2*E68x&!SfqXu+(NpN*k6M&kl=yd}a+jb2fnv^X;cDf-PJ zl^H@$y|RLn%@)v&Bd39Zy0X>3$Kf-grEjLn2~D?oG~P2M36%>i!@p@iX6auTU9qzf zmElk?8D6+|Jm>;gv66l`R)`*|sy~2|{YJPOHTWEbw3rFY6Dv)M@rUgTZ;I(We|@Wx zw*IeUB`8wnhDHQw9}T?JQKu@tI1{k-O0)$gs7hORi=2TTlmI5L@J9*Cv?U+<2?fVv z*|*#*A!hR&^!8=hXy%(u#z|U@hqP8&^$D*rvx^gMuZJn%+TrS?Udw5+CQneE&ESb= zji$Pcw>K&95L_HnxSB6Edh}y$A-iBtm=E7=CsE%13{l`&c@D z*=Acw#IKD?Mb~#O!^gX+I{$N(I3N?XjDSh5tkMI{_c>P`CqWy^f=6e4p zS9i=F_j`}C)TJ0WNuM~SL((r!S;@J->Py3AQUx`yD3vGh#jA~bgyam}bZd++Ev6SB zgwa$Khc3TCvx&b-j6qljWOGPfG2lFj%el@cDLmij%g_IKB&LBtGDD3y z;aG=puYVOG)gqQ)K3kYoKMT?IadCr5^-EzRZ;mjXnW5~fN0lH;>WB-fUF<-uPC*}5 zSdgz}$k^Cg3WWtl?OPj~NX}&or1JqR*AZZf`c>225|``dU7M874tgIthR?6pC6w+N z3RWIT8zlLh-JZAYz~NDsnOclf%eGDP+fxg5D``^wcjCa82~eT{*uOUM@S?4W%Q;_g>H1@GBg2cd$Jm+Oh@f*VPiTxcek-uqlRlG)XJ&Tw zN?0EU$Z<)1LBRiT^gqigM71Y>N*RsVLXzsg@%d+Scj)*FVkWx*m7=SA!M+I@(hMI{ z+ddu~nuRl|m(eX!F=RvdJqAGUcuBJI?$sJMi4(Q?9Uj$z`w0rS1G5#jV8_A*`10Nx z%UE(zo@s)ZOhbTaKqVG>iRww+A06gMUa)qFw~|O&Z&zkaq=cCh)h4QMLK}!eb749F zSFnRx&GOJDIP!Ir5gsv6e&WIgtzH`)o481+q(JlS_wOYfvCIYZRMl+uh_Zch51m z&Dwa%(z|XvA-}w)I*~(4lzAGJFNbx0_;7bvZDgsW7L+W? zfLC7#U+ebQilm6mc9c#Q`()2eK8=86MBkym$1iYopUM~RfwZG60Y`b0GUcBK6 zY8M#0z=)n9* zw~(SjxG!CYv{V4PKliywAU;KON0zpjdWyBTAS=}4#<9&KUlVjNK`iBi*55L1ME}TIwI}+%PN2*K2p^_m2|!Vja`Ib8+mMo zX`&|MmS=?v6F&z?u*pl5%AT=S4zI1}v+E?WmxGYi@JaP3%t!uhr&>q9u?}dYI)fkf zP$bqz*WCzwaSQi7O?@K9G>nInmJQwg$o&A#^Aan}YCgrhugzwCy#21-1=sw3xk=D!6__#BXlt8ePjnbA!e`9%cW>t46tj zD#u#trmCiCSd||1xUUiBUM(C(4w;jhJyQ3NoY_&ASFzApS~VXrb;gVS!7wb-#*{QqEYayvbhoq1iLt=#;h{x|`1Q68;-Bx*x+~jMD$g(MTotn`G#32Tu*j8e{06S3VsnqYyxY z*yJJun)l3UfEBhB>HVBwxW{;OKTYfiA*E-v$aM9 z^Z4j&)K$!UJDuu_t=I5+Tx_2D`6BC8aX4ktw>a6)6i1aKj(AvO*g=m!!vs zG3F|p?O_Kv86M>1$$mwh<(brmO-*@Lf4Obi&KNlE)gZ%D)ZzN>=T+j4hjuKU9txct zrvqM7l75!uv$)H*Ts36R(p3W-G$D>9)d+=_6;{=H!a?XAwLIg_XZy}&!o#-+F|zNf ziH~oVFk;>4J4nVQFaN>^k2$+^Of-Q17H)=7bGo;aZssaVFVdHd5i4(rT2}G`86s;w z8{Bg#A>g)=Q;p%Jgbp&^X>l7=c>_3Ll`bFM%4KRq{4VWEs%YRCCvjP@q=L z!~MOz;Hk({(d3&V*qM9NS^f%2cx~IiU4>AZAnQ67q#*=>ju6EJ>MbC9Fv;;?>W$s6 zkNqV-g*(^Uqhxfy^97=S;A+38d^+*;h4_Rt1r=Ma7-OQ4n*VD%zBXHNTo1oZusmOG z2(rIw%+?J3Q;}ew3@qTG7QY9h2|OC`G>}HR$Qx3cD1(La#SmUqw#5a#*;!=|>VlX9 z2f2S&237j9WsVysJH*YDZ81#Oel?gR&Xlx{Boa-*6U+A^Gmem#M8sBbwNYvKNMwzZ zgf&vx30RuSFshHOBR-$8ZNx=G{OOkIzy_awf3n&9sFCrPFb5DM?)GcoI_tzTZ8et> z|AgvgU@zZ?UZ?$ZLZ;BBS_qp3aX}C9Dt- zgqXCkv@J32XaS=Z@4bKH4Ek)76m<3u`nI4O{=hM7@2UI0fdzvCo_>u;;)z&C5ONKF zyQGTNyx=tdAf@6h-fyRFVPV}l^OLZRSbv+4t!so#2k?N6&d?yM4O%_ zEd-I6^G#Pb^F0T?#a+-O(f0?$WS*R@IE@V<4Pq2!vXtMS;vnc5?rjG9(2bYnXa9Cd zU+>c`KVBwolr9wK-wU`wq0xo4Tk5*)zhtG(R3ZFsR@n2)61CAUB}l(jH6X%-ND$RR1H6593 zS1I;Z(a*nH>}e*?_E**%<}_~-99u*mIm9e^f4{&GmC$F^5l;l>| zro6CJ!MbkMbj+2;Q{;t8c%(2JlKEsbMz)Qd?!N$YLwZWhX;Odk3^X4I(uYDrh=z$^ z!lokM+v2n=y^l}APIQgGMazA_6Ua=>~H%%V2Q5Ym*}B~!#S+E`kJc92v% zH=x!?3Cp{uL*ujfCSUs`tMAHI7uHkIL$h2iWv=(bX*cA@O8;30+k3g2kF$Zi)o{(t zhH3#KpC6jvhRRTxEnf0gM+Q6co||BznTBDJN1^JDO}mzvImrZ$5s1D9g)=dGh}c-q zlv+vmnPPfWvv<8F{<*P{#$ zz=0!%sVvlEXwrFpd98FAnqKkfOETBRQO6a4Rhrna`+Ts%I;_2SPHKkHXtw8Bfmkys z?G>dalWAWHZ5nabbfOKROy>TnXwWHj4qf+0JH5mp&APM(_fB$SpCjZL6*5AXeeK&k zgXXd1H^>-%d7E2i@QJIymV=b*R+VQYGT$ajEwI;bx z!zv+DvIJuz<2Q7%AJQzqSz;(`;5IrG9uy}(F#isc0ifWz-;DX^OnZVkYb**GgB-G* z0p6l8mbb}&KnpGM0-77zM(5CJh-x_L_G~^D?ps2ij`~XKc)~zopu_#%*-#z$J*xV{ z|7IyO`jIT!Y*1IPKB?B>QY)&MP)`GKTCvKZxsogi-Pp*_$Mt>Vg(H~)^W=qNTEpex zq9s?<51?bk(Wdt^XWjSZ@F(H*v#sIn{ubLuX(pia6Er=dFgpM5wr{B8VZj@+wd8_} zuex!VG}}tlcstsSB^A=w7oj_y(w@R5GtTzwx~ugYiqpb>Ezg2Xt;%ec!P#eBgEuO{ z`Iwp=sH2UNnl0~Ux7FqC?Omnu#+8RZ#30n80VdiHE>lw)`dQGOkj6lRqBf>Tp#4Vr zq$-&nae1;}hf_G&*!0q9?Xqn~e+g+$*-w2`+y}73;o`dI(EY;2msz=P!K@5s?q;}A zjOw^{Xp!>#g8VdATgVEq$q4n_)6)f-#nWhaDVbXi@w(*t!8oeE%iP(2@z)DBDqN!sCzX zj_;QOjgup*+X+HNBvH7=8xp(hgVF1{LtPggg|s)D>{P_Mq4B<-N59#9=F#G|?bN2+ z^nUEsh-ym;XEoE<3P_J>?8p}IQQik20z}wvo@X|5i-AYwCfHq5GdW5M9h(K>HyrSx zL}&{Z57@@v8c5*@XO`j@&SNX#kw=j(U{U8-e~j_v+DtW~DIXREX*n>RRQ%oK-f|E3 zJ8$%&F@2>h1x#5dq%fwYMLo|m93c6-Sox+q6Vet?FhQa|WkHU@WIj8uS3ME}{Fi9GjlESl3>_DR%{&}%~0fZ0Cx(u>Q zScVFv1~HK3oWoQ1d8NYD*Txz)_&Cw@s^;2zXw0NXNDzi*FtYBpbDX}m!g>|vGtQ~B zhrsXL5CssyE{5i1ptW!~5+Fle{I2xtjKo<``Em&hwN7aOxv*dvneJ3Ub2>wMm(2-p z`r#bxp+xr_Y<;I!7c$HxfbWV}7Zp|>`B16*_!<)-~MxZE9y zSvLPhk8Xq+O`STId^d#aHORWba}nUlvGiFW9&W(EfDjYhg%o3g7SkHD!q8;yGP%)% zC~IIBOFDBTWULAgP004dlp`CcUzB{Mmp5sw9R5o{+DMRGxLYWd02{+NQ3%5oqt+LN zeC-R#?o{&iW+ZSZ2@tC_?7m(wrlA}h1cLlBFpP3x4zldV<@_O#AIqtiaOX7v(I-9u zQ3x`FbL0NNn5L2?zTU57G7M!eL}?Z9c-ZW^RMK`ltMEH&{GKKzIdR}elNSJmpZ-<| z6&2!Eg%Mc!?iVQa2TkE@3yCV=#_NP4^5fzgRBcoxzGP%pI3P)}3@CxP{d{Ymzn^vZ z6XA1QCn@R0a8|3T9_$jtBm@B%$~4_bx-+48XYVO8y~ z|Ee93M+hvMS_Ba#1`Pz_JIXJ}h8-OZA&YhG4hHYl9)*X5jp+P@fN?jEV4c%9v0-rR zl*uA~1MudGi6tIU#9MvWO|*=f*6cSg9+TWsYej36(Sng8NpXkK4vmsy`Cgaxb{3vVQ%&smG;1S>0c@}IqHu|#{ z0!ye66s!WJJR=TfoL^s|SdRNuDhNj`VVW3g1o-e?(JiqR`072Bu9&*@-Ya8}x4iUN zU43L%;gJUxBXy|d2{$FxS$jBhU>n-8?%A_JM6f6^@jt?Y8$qm9sc|QQ@XAe9`<<5e zVyfcE|ipL&5wr{kCTv|{5n3#Q?2UOd83A9gsP@@&kf@s{B*nU3{e)4pU=GUms3oQfyBN;4{{6Di!O5A5 zc*eUIKnq8H$N2?>t1Y#Yds9!Hnw7-1bVMP+irLqJk7W%$HFL}vj=YmU7+3UdfXQ|r z$?B={2d-Zl_+GiqNc|9;L=(Ng_tynQcL zaN9;StGQ5P@T3fj{rKDGZ%4BS0z{B+C#fqcnEF@=dx>@0cD~?5DtvCj8d2Q=9X%+` zn>psZSVsG;Z8gom8Y>HKx1;=x%nNf!`<>0;^2-?-fuwZPD8PJcJMtd-yy~=h!Ok7Z zSYp+}rD+3-Gw!^J_ADYbqLiltq>c`rPJ!O#J7oF7ohc5`)B}c1HdIPI0cwsRzxK@Z zOxE;KBt4YP?C{#aQYKaYjSS1yQy1zu{Jk0jmX~>sVujgRmNT#O9&_f({7fhBBk_T` zN1{B~?bCRn9HXV~Rm)erbE1zdok10L*Kl|Oi5*|lK>66p_K_51v9n9$c$yj&A8-k1 z2vKofGWMCr9z!pBjKz?d0oIv47GAqn7XMHnXXBdE{XCpeIh_i{hn4@P%Xw-bE6u8F z5;Ai-jUfo-{u?`tzy>3R`|IUt*G@s92}Kn@yR_P91W36n9hd}v6k3e%7nv+@K7qn* zM%=#9Wm-D&Z}c<3$|WMqD<0vb+G*{Xv?pxIY%q!=W=rhK++N6_2jGJOH?@BrV21-M zW%$+C+uK|mL~^r{0YvmR;yvn!r&FqnaBP1ey(TnLFojn6kS^s)oOn;G74?0dj3G^$ z)*RZB2q_6-b8X1KISyQc`qXu@g5>10fRpf*;S{(#vvtgW9ekJ^WW|q=T8?@J$Xg(I znCwh`?1twq+amkb0dh6OUT#ceFCha`%DX;ow6=`jILRUFf79*ba=9hS6BH)mI&JGd z6B6pYjBv$c+;lpn2O0R2v9iv4r2~OBog>I4tKPa4sB6lvQ(D=&8`8XgK-)Y7>D!)d zplwgCDU+S<^R(1-4qQ;6!na>Vl51Mxm1{#!qN~n-VX4iQ0P&Ov;c;!TdKk)|xk%7< z$Al%_OU`i?I80}y&msPXh*R(7!_^_o;`@+W+X)h?gG6eS{;kW1&?;j2cWV2QM%MdN zEsm!SuB((011#`wwvc0N*l8jL-{&=VIq(xuvk}1%TAfpxo0FeMikFvDTt-?_Mv_NHl8Zx%pGTUXjhmlKnoopW=>L@%BC#r3 zI9Rz^lXJ3h@h3x$(*dYK-gYEl-0-7L@2i#H$)jepH(0}RS$@vMw7--2UcJV52YxrK zDH~zYse>t+B%lIUq3l5%>TRbIp$QD)jHwh&#T6Q}1zJ$E6p-NR1$JgzX~yHQ1c+31 zNNGudE!I!pjJuAz!;QA1ET8Etayq{g8G3{}&TS?>ZKNQ16M#6IC>?CEwGusD>4i0% zymjWxDx0LL%v#uDlrE%ZqoFl3$UTqL9>Jdeka#A5C#D&u0dqo{NL)XLA6?2?b|!=U zC>Yjy&sqtD+)L3Y*C-7lw3ZQ!Ez!T9p|-Y~!85UyV79iJz4z);BwFRt3n>rP3F8Sa zDR&Pzu-2YA1ekdQ;fAKA%-riS_A)eLR6{l(SIJc7*~l#hG+E!xoU$(kK3HRBq`5*b zM=XYD4X(rR6ml1i;_8d>u3|NE9BR!3H=`&yti%19O)E@gYY8T?uAIez5)>y}g=>Up zAUl^JqHA2`p4c!!U;Wxx34%6ZCH$y1>|KZdTewrG2SB}p;EM>0w*|7J2liVZ&9Imb znP6N%t)d)a&`DIJfD4t(;{wzg`K`Z$WP8*aWg4SF!#&Q8u-5o&!##+Nq1H$2DnZVT z($-_?-%X%U0Si-R%0ctiPlXhYcT8#@o?eKnvztcR70#q`58`CH8!8`~ z(mJgigu8zec;Z1S0pZacLkaV2;lzvR1oS;z>q5|v(A?+}V6SXW%q`|B-6|W+$}xVP z&F<4u@~A)Nszsx?V$ufw8Ln&A>qvTIn!3eqf zR}1U4*$6q6`qu+%!I{7RB>u3g^jy0u$>;vKujPmJ_{l#W|2ZA9A4I$IuE&+s)eQfS zIh#E!Oq9*}@klg#PujsI=h01IPfy5yEa$NmyBM?>{;x1;qcYd+Qu6s9e5H?NK;S=y z#F}yT$LXO67g~@WYsrT-{;D3Auzd1*a5Gvp{CCz?{8;G15*ushzlHWPXG05pq*7<% z^Nb_(w_0}M?;Jb?thDhus`kKgzU|{Odic~j5=Ei7Z^#CFEIgXPB6r<{|+A;oN_?232_z_ zwh2}ioK=sm6IvELevdR8Y)LOlD-268VJlQk(9Z>UhBB10m^p-6DJCmO3g-EAu`@Y=)VTM~^s+i0Pt!k9Fmy&7#OO>}cfn5kSE$L$yT6WwoZ{nyb~JH zCdJ2p+OS>B>#hJ0T}Jf^MUa)oF`5+-Yr`dh=+t*Zz`#`dz4pN}0}YoRsO5sP4L&C3 zbLg#fJV{GlF93Hzlxb2RB_4OeIyN4s(K{qsr9c9iz3$cs%Wywku417c1GOFM+6NRQ z*b{N6M`hz(jLj@{D;WDI$~lo8lI0Ajy+n0Q7M}{ZcBuh7TUeH$x z*|7}M+EBP_j1y_7$A_9Rr)v7W0u4>Pxdl)LxV*}88s8hH8(5``FHtKW)T$#R_(2@aHIT@B?{s}SZ8-GJ&oaJ5S&Zl(K zal#OdzR>_CL_A%=G?O`GU@(emj7oafHHfP-)c{T#!J@f%KV!wwQBwdOZ*!%v(q*Sm zbh}Ix4*{w(RWm?dbdDN%@}r7`#oTy&WIqOF@-V&YCJ#c(AQ)J3QmwFh=yT^v62 z*ohZ?UPPQeWU=eI!_Lp{8H2I}bNTkx{yx@CifZgS_MwGAXZ$?ExFrbNZ7-6%+gM(R z(+w}|ys_982-`I;#=L^q7Rb|OFTuQDv49m%bKAvMGS%{-)uM8hJxDQ4!Yk;7g5Ps0 zt^`owOp2THS?KytO-pX>I4Js{4@1kHEm@Jm%H(ZOD6600p|cZ|VsPKa2R7>Qnph-z3>8>8-13*d8< z>We|Ts8u#eoTn!8=X0G5BC@O$pF|J0-qWHxDh6I0pHpJ!m7+W)4>9JB7kbM~-=hGx zm=0gT0Jr|rtm~kGfWM~6n^x?pYx!W`r@y>qW$KzEy$rk+l8{#mm(ZR-wUCQ+iAYHV zmTU^2&>ojh!2l+89G$aNB&9sD8esRo{Qu=lcMyoLY$ivpz#Zp??#me~1Mq-2I z#O(OY`Z0;(mYoK|{%zs+4i1qNC=)Uyv;!pqRn`vh-)P(BNY$JFO}Vl6H7~~ssf$Ng zR>X)TBfzB_E+Qi9%h-+orZujQI<%D36lvn#iEq9pp~ugFh>;c8Tg%EurbHR3{RK(y zOwIP3~aEQwt8LF5-Y-TkluF<*6C3ul;GrT3w# zov+#9Ur<@ES^7~_8Krq;Gp7lz5cQYTcGvQIb~Xg-KkN;=aSxvg6)gR4?W^lP5KLgjU7_OfWp*)3*wrc{RJh#4YBQGJZzp4hZiW+YRq9YecXDtFm z-MVum;(s?|mPOXBoRXObGnCpIctA8U+SnJ}bEsFmq!6-PK-n5pL@TvW6bmQTz@Hl3 z?rXf;Fb@|*D!Q$>IFZRJf>ExDJcM0i^GAW@LWA}*a548ns=GO)WxpAimPgw7J)Te zi+M&R#PSq4LwT-ZoP+X=)l;+iVg;MRVi@%bmcN=}D3f?KPb+F#zKam==emT;4O#RJ zjn!6_d1y1|8O0skYY^5|Q&X^aRUhS-yJ{+;xNl_L`2tq(ke1Y{{wsZ