From c3126d4bdfbc42a87e918590cd692949a60dc551 Mon Sep 17 00:00:00 2001 From: Terence Tao Date: Thu, 26 Sep 2024 11:05:19 -0700 Subject: [PATCH] Fix numbering errors --- blueprint/src/chapter/counterexamples.tex | 6 +++--- blueprint/src/chapter/implications.tex | 2 +- blueprint/src/print.pdf | Bin 38012 -> 38003 bytes 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/blueprint/src/chapter/counterexamples.tex b/blueprint/src/chapter/counterexamples.tex index b530037b..f44659df 100644 --- a/blueprint/src/chapter/counterexamples.tex +++ b/blueprint/src/chapter/counterexamples.tex @@ -1,18 +1,18 @@ \chapter{Counterexamples} -\begin{theorem}[46 does not imply 3]\label{46_not_imply_3}\lean{Equation46_not_implies_Equation3}\leanok\uses{eq46,eq3} Definition \ref{eq46} does not imply Definition \ref{eq3}. +\begin{theorem}[46 does not imply 4]\label{46_not_imply_4}\lean{Equation46_not_implies_Equation4}\leanok\uses{eq46,eq4} Definition \ref{eq46} does not imply Definition \ref{eq4}. \end{theorem} \begin{proof}\leanok Use the natural numbers $\N$ with operation $x \circ y := 0$. \end{proof} -\begin{theorem}[3 does not imply 4582]\label{3_not_imply_4582}\lean{Equation3_not_implies_Equation4582}\leanok\uses{eq3,eq4582} Definition \ref{eq3} does not imply Definition \ref{eq4582}. +\begin{theorem}[4 does not imply 4582]\label{4_not_imply_4582}\lean{Equation4_not_implies_Equation4582}\leanok\uses{eq4,eq4582} Definition \ref{eq4} does not imply Definition \ref{eq4582}. \end{theorem} \begin{proof}\leanok Use the natural numbers $\N$ with operation $x \circ y := x$. \end{proof} -\begin{theorem}[3 does not imply 43]\label{3_not_imply_43}\lean{Equation3_not_implies_Equation43}\leanok\uses{eq3,eq43} Definition \ref{eq3} does not imply Definition \ref{eq43}. +\begin{theorem}[4 does not imply 43]\label{4_not_imply_43}\lean{Equation4_not_implies_Equation43}\leanok\uses{eq4,eq43} Definition \ref{eq4} does not imply Definition \ref{eq43}. \end{theorem} \begin{proof}\leanok Use the natural numbers $\N$ with operation $x \circ y := x$. diff --git a/blueprint/src/chapter/implications.tex b/blueprint/src/chapter/implications.tex index 959d6087..2bd5f68f 100644 --- a/blueprint/src/chapter/implications.tex +++ b/blueprint/src/chapter/implications.tex @@ -2,7 +2,7 @@ \chapter{Implications} To reduce clutter, trivial or very easy implications will not be displayed here. -\begin{theorem}[387 implies 43]\label{387_implies_43}\uses{eq387,eq43}\lean{Equation4_implies_Equation43}\leanok Definition \ref{eq387} implies Definition \ref{eq43}. +\begin{theorem}[387 implies 43]\label{387_implies_43}\uses{eq387,eq43}\lean{Equation387_implies_Equation43}\leanok Definition \ref{eq387} implies Definition \ref{eq43}. \end{theorem} \begin{proof}\leanok (From \href{https://mathoverflow.net/a/450905/766}{MathOverflow}). diff --git a/blueprint/src/print.pdf b/blueprint/src/print.pdf index 2528f0acbba7e259d88d9d48f6e9c0bb7545782b..a96eb15dae5081e281266ffe17cc33421437988d 100644 GIT binary patch delta 9267 zcmajDRa6|nwrCsN-KBAY1b24}1b26LcN%Nl-Jx-J3ogMSxCGZgQXTSGx_Wij( zHLAv_`lz|8#$0Q?RYKoZLN^v*0NF)Eklj7pEKMDeebz7ZW}FUrQ2QPk-k?=!V_slF z`EhLsP8>HjW5`mbl~}ii9~M?wZNIi#=r{Eq*z&}hG>xNL#^BNhkuxYimZ|5L0;}EU z_({Sswr;Jl1B(6vXFfje=H8!TA!5k(gB}=}O8ihzU4mt;F4g{ge_dH=fkN_CtZLQP z3~2JUFo6g!UzEMqiTorY7Yi}^M<-PHW~&J}Tq6%d7e<6+lDBo`g$i4HSdU|X02#q2 zTt~3-!JPinGuUg}Qydnh{SJ_Zw_=GcM-6}wXV$boF{YrG3L;?uDrf$ZhWP6)OxTo$*iOPAwyw$Vk73zf; zMGWkl?^)XnAltfXgBmqxyhF*Lpis~^4Ug@mtZ4Mnz~#(y*s&p#?0C03|K@ibIwrWy zSD}6=*_Kb1Pt+w+1b-(!v1;jM%!^bi_wezQE`|2f!%67Kr8Z%40=d+|2*IR`!X#4Z z)@LdXHtWh*Lg04$GLS1INa&lm;7XHw)!DdII#v1>4XT^c=_ZxPqjCZk8=n$S9Ec(z6?xVW~Xc#sj7+l0so*e-u8k{vw~YGsp^w= z4G1wN3Grn`zFX!%bSXzF6G}i=pr0u&kKrh;jxH&R?wKgr1KJ z#9Mt$7Ux0ylB68xP|u&7kj}$Np2_GScp$rRI2Kf@S9PBMeNoIOB8TV>Ze zZ}g9kyR$-)Y00dx(DF`DLzk#_)pDOg(U<2~ zC64xxj3T`h)P13L?Y7-W-$M&Ioa?rKQ{3ks484rx@dNz{9%t3h-<}$c^d-LCCZqV| zMgTy#V+6JwfZY_vI^4ky=de~<;)i88HT*VBQoPoBt>|JN!-RtP;)NE^$vY(-xL5ky zKmMiDW4S6;c-#7_R+bi`mMbEChLfmE#rhpBvc!BXE8F5Zm6h;h+k*h9ocmH*+u~-N zg}9VVIUuK~t8`8HP>8N=dfFV^rIIeEfGe849~S0u8jgP1H-7j2PtkXGu|53op4q&r z*fNQPMJ`QND%6yHVtH>>M$)Z6X|hF_rL`6I@_)&tP{7G?67SJcq01P=@=YL$?`sn! zPcnUz8^!HEsZaf|lb2Dnp3(A-%xeEW(jat+B@Ybx_aKmURolA+r;9(+5)_~nPqt{v z%al|?mPzQd$&}M-33edCDhpS|7Hq>HidpAI=@Hk;(r_BxqHw-uCt~fYHH8qn^ z?62lo5%(sHT5r&kO7RXC8(jIOW_#I*D7-1VCdA&W#rsd^oeOvHkke&!gyjV&g#J_) z24Kh2s7-Zmq>C_Z$#57_N6y{5(@ope=i8t(#4CEm_0?1%hf`i*-6f4bbE$S!DN>HX zGV_`zCmNN=_L_r*kCTKmJV9oshke#;r+HV+`Cipw&0lM%H{W-vg#%hHGQb%W zCpX1fSDnRqHdkW6l4pdZQ=Pj8x* zeZj=As%zoc97cIe| z`%s2{Jt$%%rdA;jrB+r+X!-mqlgDmT1>QMeY8KQL_oatJiC_6YhemclC+^sOQHgw% z=@oOd;Cwl@GTA@Ky@0PRmPdcr_JYB=@PtK}d!NO=Vlw4FnJ#e8B?mrX92RE1B3n9H z{QnyKH*+?#L*`{`*}x})19JRtK^o2*+lR4Xe!BJ+l_nFEnP1b=#{@4TC3rHg2L*HS z=c}Y*-h+37KGOy2i0x%|8+_yyru#BM%$InZEC&GA9bZ z=u>FOvd^YRBIkuBPU)8b+vl6V5ZUq_CQdV!oyrSZgTyf0XhJf}>q$orTxm__;=)Xu z;aHJ=C#RHV$)1Mb{@wQoo4Q2%YdKoJ=%9oV8da`Ea@x8DmWX3!RPnF4z!ofes67DX0;K#wL>k8%PyQ~o8=zp)1=#5 zHmz$lJn9pj|C4%>3Rc8Pl>pEKdH#!G%Fh2V9NT&Sa~HPDqTxwiJGfsH4>!oBMlB-C_>ASE*YMO7?~@|i(xSKUG3 zE)Lg0J&7llg__E+Q*zy{Sa=?u;U-BUF=|tCax>-CAsn4@9%p2nmFCfg(hcJz&E|V{ zkYL^eF#leEs|FE4QqXTmB{WsjLn166V zSAj7Gm(94q8s?}uJ2=zs?xhDP2M#X~v1BVj;OlbUTr3)WKsG;J>O`lnrbcsa)@uoZ z(c+JFC1k~e>$$wObfIIbD#3diy5Ib|R_6grqX^<9c6<<-?eVX@zLreP$LahuBmF*@;$Du=&Lx>1qJ@jX ztPd@q(0njG>;+bfMktjeIB}YrUTk_{#ZJYBv(Cw!zPXEe{FKR2jDNhqC>VKeaE_S8 z6)999O0bq%G8!RNAynr)1RB!=>5`!26jpQWM9Rk81*s0bji%GlY<43nV&f-EoiY4x zZq_&O{adhA^|TFB!`fFrv;yL#VvZg1FJBw2|AX9>f*#2Be-j`2AL6gL-#0CjKeRz= zD)!)_GqZarI{{A=9wgh|>x+&VBqN6+5Ucx73l1W0?cZf5GQU4;CcY5sZbZv0QWWOk zbkFzVB#<|jAC%DE9tYNudVAL{dvD>mD@U5Uvh<;kwVd1U`N!4;aK)Yh%dT-&R8SyC zWl?Y$Q$2oY)c0jJv!EHc=<8uFeu$Rm)LOwww0Gis!ojS6P?=#=V2`kI!>};} z*iXNy+%GJ^Phy4(NFExjzxq<>dxq*O#TaK!+gb@p-Lzma`VgMgrBFOQ7Kb{X?B2Y5q$~&DZmjxpfL9sl^rQ)V~eg zc8Ei7ZN%Hv2~s*j&QqBeTT^G&JDNNRm!d$3i-^|c$7@Ygn~hE4NyC&FmFafv4ihxx5JR1C{3VrBhGKuohVR7|_o1FYChv|fM0@gch>q~{3yU!aJNLH2Dy1-4DIE`jaK@8jf+cM#hzpD96}u4VxJT$p%?6;Hv=miZB(3_s#8#!jyi zyWsOZ`cg?ETWQYCiH}^AD**4-^+&#OaHpqX|D_kJa{#8>Vq4K6Fao3E7Xj%Qr*?~@ z;apU!%RtV{3XG{YOUtPjU{`HYQZ_>&5>q=f`mD(5(019&--pMWT)qa`mqvM`wV8K$ z?a{h3m^A8`COW;urg1S{_cJCN^VXcp5i~AdQLegm)5HEGP~@!wET)= zucv8G{2H0@qu#?l{Q#lX>BwT@%~BgJA(yOXujMrA`_Y~XZpCWiKSMJf`Jb6pU)C8I z|NK6ytB95|I~$^7@*OxndCaG(U0H7Jdd~K{!0N(vLAiZ>`90kzqnFh%)oD5YpP_BN zCdb$|tEjozXTM@oAD0OJTIE7dr!lM|;cwz?2p@Uw!H(2;XC-q`^>RE^F8k+^{6*o! z*9nP1!G9V-lg6T#Ma6|LLX!*TJDE|jG1tdDrJ7Yq3aOpM2Zjq2ggUVDaKc=mIR>bp zhsq;j_%N-ws@WhgqJtws9=%8 zb_{K!2;i)ck2y{&TkqKT{;+)duu>LjEs!1jR!P)sNv0|5 zYMmlNO99=3E|B+st7b;u-hE>f?|s`i#2Jf@+GQs(VT`jGk5>L@Ej_;!Z5SgCb}CQ4 zR9?;Y?aKcr3nDZ&IHrvcC-DNVvHQ{Y;j(vt1HV|M>$+N{K1l=@8Q9CB!Q{aO!Uv_> zSnTC7wK4{%fL5e&ZN5>0Zb0pzH2g;(MN!X}R@PE1LI8?T1}GWiL1>LjNZ8tyH28hU zBnZ{U5nMXpu1!DUN`{@SvfIGHg8vzRGD1g3?vxfTG${#@N%IF#OY&Qy|0I#CGbMNl z1fqwR(2I!@=Mj@~My8{n@^HuGM^@!CB!uG652?gl(T$2xim41^A(d)|KA;4qsM}Dc zL|&WNLc@oZMmM6zS;M78fNEilE3NRtk;$m`MI=1d;cDxk=A-`L-U8TxwyF4P0o3=`ew6(8w%|<8W-9Hecae%=SOgAbv$3NC=J;+Mqzj@Rvg} z=WD(0e6;x$O^GaXhzUmt9YJ4-yz2|6FyL$yX8J=#@mUOEn}Od5Fgu<_Uqu1Jw)C>(N(tb>;KuqQ|;cfUg5RHr~! z5U2~y7{CDYxB}CsEHVkTeG5V}gmDm`6vv>XKQ<&m=^8VHn(BxOn!%SNg^I_bnH;ys zV-ju@M?~=hoPOe$tunDDY1&E&pjt_mEZw4pAtk4+fXg95-vj1w5I3fW$TY=q^dNqk zjU^aPeRdduw+AHO1o%jNb^UX5biHL3^rufRKH@4tIfA@eRBL!KcS7@CfVaWTT_EWB zhLu@hi2}zgZCablu`i|7D6ooQ?1TS8{$u!f!_J2*cSd{o(YwFS$D1er-Tuk0ud^1P zI)-U<_$s1ecoj&U?VP}N@qWGW9Ql0xWO84X!&;rIb_%6as7+9ld;_LQtIH@mX2F!G z!kTWZo-(;}=gdGezwl((J?1u-dd1dx{`(Bg2Qs*Q|MQmi7hR-It7EDkJ(4$dx#Ib1 zdH>-4P4uW%4~bO}oFZ)UBZ(nY0`K>MzFq7o(7ot6&1*3QxvAq-)LKM|%p);tqquK|@NVJ_H6buOMYx_6{&?V}(yHg-x`42Qi5Ybt zmylWpk;a97PM+4VxifCIfH+DiX`jcTQF>ehCB2e^B9dkK);SUbPo_)H?jHq^=Mru8 z%=>qrIyU*k6wO;bbAW|yp`+lsnQiWV*~HmR?(A`ffY!Dw!5rXOq8yygf!qCo`ZO)E23FoME)~?oYUE57D_>C6hr) z^y+xIo=w|r_PeLmC=eNjV*G;>6?XRBp_~lM?b|hZZC)Y4P)`jk||w)JPyh(Q5p?8f28@B3$l)Y z5GH)uN@;Pc#aNY)JQ!UvWR8w8mwEbW;%}!iruNAm6YoS_^SshX{qw7p9BZ%lK$R~P z4uQsP=v3YC(Jhb}k2X>O=`1VyPQ&Ne<=x%=#X~PmW|jJcNYQUj)k+P@;x*i(_9C6K zj$3s+OVbhS<*OU$+``xOw*#m>I}#s8nt}Zbj)Yqz$L3T)S0FJ=jKWj#B>kuDA(z9< zb^O8?U%B#e?;?91?;`7tIeVgBAmwuhl@E6Zp5BdEY~XxB7YK3-rjtrY!pF12wzmgD1!yma1f|$|jW^;q{CkP_~h8_c%Q$ zhZ&`YSxEyX$i+@w!))M+D__=afR#Iu&DQ&F$AJXz}?v6hsqT+Y#M92OS2`7%2d`J z90G0)D*j`BAe$aW*Z;FzYxQHPT$&LLt%pT|mM4P5QUl}fpIPG=jm_&}S6fZ? z?(ROazm{or+mPS>DIZS5=gs{j6Lde$FYw2uUwuh30^fU*Z;Esvz^e$G`a<4Yvz_Z8 z6Z}L2?rdN=l43^L_+8A zS<^hJkrr;`dMf^Gz-%^e{pFwqheh`9JB~d4cu+3-U4>lwu`9>{b29{LB#nIENnABX z#vS~+%d7$2@jem!r_YuC-2nW5-O{b0603`gcKl@Pt@vGk17__h53bM4tW}#i_4PFb zR1xMlnWlyq zow~l(g+$10I*2FP3VE`fA(M9!GvgD{y=R=Wto3 z;nY)E>q_U39oANjSE(i6mQWq@NGln{^fdagB&BsRo>b_u2|DKOgfJ~eSDbgKKA0o} zG!K2H+r^S)|Jaz?xrJIblYKrjZ6V`PZ_19D(QqgSnsMUgR;_&-iC{kEo3BVXt2RFn z_I%R=WYW6mLjSMf-o-VR!bn6Fll2k_TTkJ}R&GL}%jJeW>AO(7lB4}&rNF_AM0})k z^%UfA`7QBIWJ-pn0*ok=Vfrro`@T4*_IGSp%S7ZU`3SJQMtOwJMUSaE5vC95-PO}w ziH`s@_z>ysee=1M{c{$AJ&8#D)(|FMAe=v&Kv#3R`_xeNg)tI)YR!lKOdpvG? zTdSo61-iG#30hLAAd^KW)wS{9oE_R(ml{%*o?t(F!1m^^l6Mlk;AwpxjOf z^@v83NkJonPrV%fd`-w=drU@%|LOKED(dVT^oW%mr?LIp8a<}vI@2g{R8mxdTX@>6 z?6dh9SDR&Ii_Yb^!5mb)y1A@S;o+^6+z;)JJgBNCSe{09BW= zc8^>+M6o2Gq@|9xg)39&JIcCa+OqlN_EnD0SPuA5dvWi$C1k`B#F8Hcang&D2PWi_ zmGXDDoat7@ZPAjGNV01{_*74>x@;vhIy$0)M^p&;>}BcL9E^ww0iDho1t8I@XC`si zlS>K%L(V=Q^H5R(lZ12sxn>}&*8-(jJT5?BGml|zE00)5S&DJox0N#)X&e&~Ldqkm zzbdfmjziIy3-Krr6t-WJtHMTN(0D0I?FB=xC+X8RKbquu{Dc9fniTQr#X|q<+%Y+( z$h~lHJoGpHTrUlo>`uloshfx?eD%d7w6*U_2$eq7fhUnsk%+@%OOZPmS|!Md(&#~q z=0DA10<{mRu5!;cEuC-$W6s?OF^AC^82Xqs(ZJ27j^8a2)y^gD(gqlPqO%8Z>uOa!zHQBK99;E__`8erXHS=k3N_SU*3+S&1ONJduXa+hCO@`K?8;%$ zj-5r2&Ai>I9=v82HTh<(jZl%frdwV!3**w&+gtC{Igbd0Ra%fu2x`jOrh2GY{DGQ0 zCR$>HJ6yP^dURQ^oX;+#XOyIcnejcSOC)U`eMhpo5Sa+m#<{E-!R=^2nP zm&?Sq09rfo^*j)mquj($Fj{Xra1ps@qcexe$vIoo5kWJMXxjCgW%%VFaywwHfq-of zYruiml!UoG7QY`xuN`{_kMX`D3tj8*QpeZ-;rHQNX|nV=+Lt{tt)3^UTDiqoyt;KA zq#r=}!z**Cp_m}A+W$HJr6~-L)q7x4YhTd(XphBW`BI1f`J>{|TC~mL*A7csB6I7W zS)UETX*|=)4<0=(_l!Gt)(^4MY;W+t+cfTb5`6JOsJ)xtA!5;Qr|cCp5D9p?erN3u z2;|XKv<^UN%<9dq6}iCSdc-j#?}O!%0p3LrTI&^wCr50;NmHMa5AM9`rO^ux$k48x z7_Gfw2(}L{D*C*$AYC08ctxlLAX2snhHnF3FCY+Kl=)xP{sT&#g%1&|^8R&a7<~B} z@NGKid^zb0VN?*68;9CdRRsO8@z}p#p6;@n;R@$wf`?g%Tri#uUDXR~Pj;;U2+)5~ z+UEsk|G$Q83b6z)8#@mN7Y7$RH$Rt^1(z8g8$TxpCkMN!89yf*2M@1^(En>ks!fUv zknO+v8ng?#yvwSD!GGTO5vy>BI6k+yPz{UAX~ZN{Swtbr{$|H5i-KpEtexGBy+*2C zuKO}ohvM`kde-|~XKmc`+Pk(v=OHK@@G%vr z^dw~E0XWShc-A63BXI$~BD75xluHS;B?E{AQn&+)_2t PC=l6^X=$aEWsv_5X}Y#0 delta 9271 zcmai(MOdB9vbJ#+F2P-cYjAfB?ht|#+$HE6+;!m&L4&&l3-0dj7Tj6b`S$+*!QN+b zCVlmwYfyLBQ%_&jH>EHyr7$%)7yze;2(qi2i-n0j^7oZ9{qfjc9@NeUh8Gw$+DHg2 z0zZxw{*nD^E3PmNIQwf`*jZ7v(M+Pg(proHcAOSi3yn=r)?Tqlo&SB z5eu$5M9qW<{xPY?C!(tM6N&d{wfr-J;)C6r)v(*`Tz=}jB6f9^7$=G|uVq;=95HNln-tpcV?OjP}c+#G@8+-(kdcC zLU)I$Q)uYAaLx6zB*>%~yh4Z06=ug5LrM49D}|rVE7&zvqjXYDRKyu>qg14Ra!`a^ zOvAJ#jH5#Xc~)PmRl5j|aVYG?B{coBrrX9`S_Jxl-~8kmT1tyg=8#u0>Yu>8+IVRrqiB$*OxqEHj zGB!D}RaX!=Qq{K)G?3G>YDnADt7T9q?#2!%#w!&RBkLs)FecO3>|P%&Q~VM#7}z%s z;cP)lMQf*G-7Jx+DsZaCZsn{)j^+MS+u?GNSrLmA!J=$vLBms1BvCcbOHo@ab{5&Q z8+-wJSpkjtsO43si2wMcM8EIsrYm8M$E}rwrKLmyue7HGkf9kd#o?*x*ir{_m8&k& z%_+U!!nv!-#oYD7IbQMS)Td|DuAcwuvnX@iZRqMb{@8R&J<9qReK39^kk+Zb0du&e z7VOXa>+(F>jR+F25?xWnpAehOqa!k*wR9gzZVx7ZPOvGe^E}84xJ2bP+PizepWZlg z7GsLu{TUq##CL@U8i?CzItm79?6X*@Sncg?gc~X87l`C#Pw*}{|b9qok^aevb_Fp08J9(meM@1)RoXms>lW^e)g9lV8GDvGZf%67?|`(K{n)(}clK277z^A#4&Pd{w&^2Zj433-F^FYMgV?Z~*?08&KgG4dX2S`_6HI>b31Z^)M7!H@|Lz$IZ}sX@{wm!=lbf zB&}5aRebpNdx5#|vod0EqW=flAVO9+FaIDG##l*OTAE>0+P(yf*%rC}ugIvY8)(qU zazwpc6@nVIJNT*|Hsi1VT&a=Ji=93HiJOdNQgV!U_&Rf3L&hA*Uy(J!#k?P>C3vz!+j+v*(eXd;TLU9p^-3{U5{k{SSl48@(PHSJp7@WQ zH+*TxoAsq-657$#E5Xb*>Jr=k7UTh(BukHzMOW29v*km^`>i+k`x6;AK)N6}|I(N+ ze{tYCE_!uET>TWY&kL$acy<{Vo!$t9Y^XPQz7;tL9}Avb#6fQGU4kJ%7XM#W(KEFO z2rKB@DzC7Raxo)F%}#_n!+L4*a&bPXZtAU8^~Fmv)Xy+7untc zD?>K7ljGfegS@L~y3)xckm^%}k1L}f^t|U>S~6x6eyi1&yUjuJH`ohk6d%M|3 zP!#N^iwan5f4_^b0J@4}*w6E{g5w>~*>?*Mz*!`jixP(Di(eZd#nq{e(Iy1CO@TYZ zTu)4nuV~o6hWGlC`4*mReJu>vxX5O>x3%>3voMis2>P5@0mY;rf8^k`+UDQe*@*LTn z@J{1EhJ3_|S5b=*cD^aj!spad7MqZsjN=s}Tam8cd4I<`ID8vCygzP=Y(hO~tN-cf zl_5^u?-G4aO@aYq(cpl^Na+CX|Du?v_AiQqo3A)trv%a;4A#YhmFYnCyf)8u%>*iR za|8tV?|ZBci6yNLvIqXFUvb&%+UAo(@^dR-v?XS3!cepuZN4Ds z%**e#49jQKpZ;habiH@w>m*Z2?F45;oxx`uvz`I>9^>D;8A} z=+^4ZC+bu)@VRn6%1Kyf@e&vem*GRgd1Jz@lQKt`m>p`-FEB0`I#iyy%1DcuUb?Y& z>xw2Ru_DC3KH45$o37S6E5;b0P3D?-*OxlIK~Ep%)c+gp7}-aFoBhAp8vVl-r~m)4 z?eCh$ld^ITtXP+^Z~jJHovr#I;y!=VKjQ7I)3!ufJKV$kJ~gquFoCdXtlU6^Xa?BO>aZvY`}JNbV0!=d?b**4SSOFID-Zt5;(4tNuuYb% zq3J21sjI~0ql5-ScRqKli*lg8=6;%k(q|t@nradt=(*u0;cW7WWHIUDTp83q9z4wa8+($A5gSB zw)8Si;qX(mNQH->55bD#Z~IgJidA(FSAP76fWLX9su;W~bI{)C&~kjb2Jte^x#_u3 zP{JrJQHUFOiLA^!+`6mF)q*_3#s}0S{u{aj1s%Zg-^^8_{;B8w3;#%x-^|i6@A{be zmF`$g>qSjI%>o`FM3N0*{?GI6Q@sc{{^<`N!NW_xg~p`?IiC&gw8W`x_0^b&AYs44 z4UZR)NB1in%BSPsbPO3-d_3v*YfrTLOTHu>+8#bl2M&Aa*+*BhO(5naR08@3eN4< z;P7k_R?co<3o5svsD$~WcW=F0W^uYs_v((F5FLaeeAr_eA08o;}(kLKC z@ zGN=0xf#yVoVvZ(@(n!*fs;C%qBF9mjPcQ%#=b98$LQ8pMeY>(3Uu+17buuUcvbV9UFdqj8(o-$+#?zAd{Vbj0e>fh1^ z`PEV|P2?H(6V6rgeMs!g`+%2Sa}*r%DXMuw;qcfa%;VXy2z8g@;+2zNRB98Ut@XQT zoDRV=d&_9Fd#s~Ts53!o#pN>!jSx)tKQ}G_@bLYoviuTPZF<>JLoaS{I@btjYhA5S zDC4Q&Rw@lv5uHBJqH!rZ%|>;;+LfaiuvyA&)fXCdC7d>lDNHN%Z4BqH^h#wY&tX^f zDrt);PkHndM9&#=3lF`N=ftICJ3Kv3_)y#*v_y?gHlyVV)RNl7n~nk{H#;aRt0ANP zSE^G#=BA9tw?$w~Fj(tfUj@XCA}uLQtguYW>&^v+1-&BvZo^eW&LtV=l^gc<)6U1o z-*{s2kHkOs)fNm5sd4Espe!cnP_$b8K_+#l!p1w1!V8BmkQvXHl}&ufIBgv9AZdz3 z?U%DH#9 zrgGC4*KJlaxVPJF{9uzb_b-EXl_1Aceca#haZzzuuNYIDR~ma=2&%9$wJ#x3YTmA* zt^H&uu>S~cE5NVE2`n%E+_il6eyQ*=Jy&U3J=p&{_{M(Qc-`U7KfkD4r83xaSdou6 zJUA%FT=NAunBV15Gy3IWEWg8kKxTQiT1al!Xdn8igW1QZjdHyV#UQ(G0))nvykXk$+}0g(XO6?bE812KHl}cMtr$7xvTN(%&VR9gV1>i3j9SL zX2T~O={y(?Re~R;@leiFnfX%#JQQ=%Ir$WbddX-2$Xy6_`Kz5J`U+vBpDJ{q0tmy| zivC_Kfzkwt4o-FZNE(i!6!iVDG&6?3#v1g-M}ow+W6)IbQ1MX{4)ITA%|qZs z@ZF#@@y+ZquRfVGVdvrL@b85i`ZOeN$)+*Mk|X}UU3ONjgJ)QNhpxE)e1d{WX+ZU9 zba#3H&wuJ++`!g#wFUQe!zjS9vG@b>g)AMIkj|m)Tws}N*r7@5PTclWY;n_`!nMcE zg%7%zd?AZ>MGW`sXY6=5r(8t*heTCubt~#XycHDOf~iO1=qdR$^N@rd1}=r~)xpzL zQY_I}@&&aL@}$Ae5)5HJm{Y(Xln=pm*gwJDX0#R9BW79i#>Ue``2`O>rv8yu*;5KT zt@!$`Uw%mOAivBn(3yazSU+x4SgYcIBqXS6=8)d`VL4#W8NT&&1O<B!pWUz0Th(v?*Zs3DakJPX=sL$lx!6_|y zYnbX~^zDH-3ba;Gt_)~uXvK`*r-+?2E;E`rkQKH`_f#(v9rY=Q# zYLV$Lr@^SXVsh~GkA(mwe)krbns7`Z9X6f?bpaXu=&; z32~Pxx$e>)cR8mvb!eM_hQOZ%4HPH=)RgkF(h!|L(Fp_Ux}<7e-Y};0Hi1afPN+5b zl?NfAV&=-r!fBE@VzS0!Kc3{dO$q7q*gt}b^MKD#RKBS+c!_~OB0h_gu+reK;5h`< zMTBY*B)7EVEKma}Sa`(IO8Pb2SYi8#EuU*WOx#B@k!maX03)>(F4YY$>jQw$lO%)kuD#vQc&4ygXgr`8Jsb zHO9(4`9EeP?(FnOZU63nd6DcOLfg!4C-biW4A4}n=~C~?XWE&^k01M^L>rD&gCxS$ z>b^`j>?=%rj~C^WgdH}pJ;fP0o@`&)@fe|ruD#XmtS`IWUu=&)?G${CrmrKx=pxQR zH;U10;lVZUfM0At&E_Vx^mfmP|syt#9gR7T^xWIE znRnvs>r5;prsA_VS69|%bwW|og5#^j`_-PHIot=pLMYls%mN&jKCV&IljPKX(sEgI zu@AYc6n4M`2kV*u->Ew900+AAV_)q*oAV3r`m~Sa=?Y27e~700piN;ob4Q5WK?mL_ zBDCd6;yP*6-?hjRj(?09Wc<~Y?}bA?lDM7M*8cNp^TrC}kI!FcJGkWJJ;L%Kdm`;` zfq_{-xxxyWQ!6oso#P`BilNu$wvVWWD=VM-NtM$Ms8ta`f;-@CGLk|qcd3PlK- zSri)e1vR3H-9_snLIfIP%_%gHL_STGMB)VOv-8O=$fE5whGF!zSXf(Qm2?wuNKgex z254LF*Y|6AU(bno1mZNCM6pQh>z7I-L-T(w%Jmm)uV$Z_AIY23WwJ{wQ?)0X=(i0~ zqtdC!SR~3UWqdGSokmwAHYb}xEnn0MsQ!@VmB+;nV!Vo975|LeB+5*s5ztdRLwmo+OKxW5Uu$4nCJ$)hu+@ zo&1=x5vrhVE^4^13H?(kxTUV|L(p%(U&~S<94*j{JVUzCTl$r0vY_jVUEzDf^L*I5 z3R0}Cy;RkX-~dHJ*Fd6;F23|so4Ohx%Dt&;fY&qda3^I%?UnVzSG>DUWw$#H?_p?dn7rPE{JQ_v~{{k zdFb%zqihniF6ic7^g}Puz5OyK3&taMI3DQosRCK~ypRKWtR{%Qp|oc+nGHM;oPANg zAa1@%;mp&KQPu{t{2g>wDR{| zO2)eS>OI0@z9qsRPqHO(kl@f}*{=)jHewmifsmw#O)pB!{nrvp%z5-qUUrhF{igmB zFS2@u5z?cTGt#40(p!C*&G;9<-@BG1L?|_vYe~wGXp=6{{@}MD)v|cB0p%J+F)0qu z6iI{5VCYnnpar-g)nR6xj=+p;ClB$Az$Z6^jApUO3SrnYcS#%><13IGMqD^o zbcFblG3|we@KQDHc!nN!TARdhxvTCFx%+s$4XtJtrMg0CLvlIpEn5R{Z5<~2XRx6B zB~_k-^>?z-m~-jA;L4V@>1N}`V7GQ%-j=<+8C4D|CZwO2MzOs9I{|B_Uo|KACBoky z_hc%VO$(nrZJ13e&NXP`5xfaikCJSszuIs`nXua6(Sq};;8`1L^73_FW!6qUgOoMI zr14ml%c<;q2jRn$Qb{f#k23ovg7IC!(*$<*FRP8Q*DIz~Pf9O(Z?}AL6oKxD8#JsW z;f>sGNesC=QqGG&rorsv>=Is?5Lc+>bjHAJ8DT5OT4|p5u{0#A;-WRW(*+c`TeMKD)`b~PDbM#WX>Mz{F5Pw(tp4y#FIU3{7c{%8Gp=pWn6R7?^J&_TP#tC2(;fc(A#i@6aKWgS@ zx>|B{g-tE=&%6m~J$+~nc)W(*kh9eibtF}DyuCS4L}s26iQ^AHP_G_r8{P8f?KbyJ z7qSG0Ed{Q03{> zR>J&UGVDVcQ=6olT|KLv(mc9If#$Y#Y<3M7`s)C<3HEN)KlsVf>OZ`{;O4F+`u+uY zV=hushv+LX3lnlxU5(wW^wS1OGEa|#4owu~ zn!PgX7C}C@L z1`WkFL$4mdJ+EzSzK5KhCi0$TIQ*V%+z{Rr_3#(GTR}DA(Leren%YN8EOVrk!O4h} zO0SnG1x_5^K{1VP(~(IOS=G@tGOkW(i$p&zW0fl491_W-`DHCXHr4Osu}Xk-U5&0{ z{z@9gi01M?7K~gE5cV83JkoV6MQtMud00|iVTcY!z*uUnlFe$1EH9xWmW`0FhS6s_ zw!^Od2R&9w{unBKt^T`*G@U5#x(v41iI3!ebNhjka<&~5J{G*YL+DLG!!;mhG3w_g ztAF;!7vIh|rI){QiuOgx+eSg+>B8BQ${))iM|+d4OxAGNdw<^2QGulExS*b+uuN|c z--$m;BA4E6MBhR-#@J4_<3=H2tMl`22(OQqcGrr2jeYIS&5NT6W0XgG{V0u{KOT#A zh7h6T9fkdfW34J;OzL01Drp1Y@+S*DAL_p|OT}0!`?|-28_`+nW*4<>`+P?;!7uE; zgaq;<9I{@9_ym=)l!zo(eWS1i<4Ey$H~1)q9x8cU6vy2r9GSZSqR?^BTBW?7B5ztzS^_6%-%#KmCiF-i#7#Js*OX{^H~fn zc}dzYZ7qkorgf5Jggw}(ZCw&H9;=Xxan;k)u*F=3Fv5SwB_1Q>~y%ZoS z2tzE483rM9P>08mUcG4T{rOr4KTR)7N$$XkbL5~LQ$dG~yC<}gJ_KhD3id_M%&jEO z&TJ*bTpIr@GMSxgzeHd335nMIEl;C8pL#`CpC#(SILmhe7HkaUap_0Fz+k#nd`XcD z;aQRN6MJq~1y=b4N7ip}UMO zAY(IKAxh)X&e$hg;9-F|2x2%g;~XS!mK{Zr`m{ z-&a_mGwod+BUJPfcEHWU%gs9=+oBC309BHiSq{k{j*$YkX#Dn$4x^6IOaT$4F-)&( zB!$vXF`0`B{*M9DQZpWR|v$l>zJ>0~GIn}vr+*AJ%9 z%5VL~_#Z$VlM#x`Wug;6mJ&zXK`Qaw3D@cOXm3_k! z0?UT`)Q*7_2WbPv2sDe()WoJb#hehWzW3Rpgd(8vP&KWNJtA9B6!+F?h4e7Bvv(mj zTC$tF0c<87?7y7sV5-)7=I?aDGY&CAYId;P^mUPPbhj~RVE{rC@0vh+#QVSSpM62> zf=Wv=QGW|)PlHkn`yN6RZWxM#a2rLnH`-s1tI0PV%@YuN721Q6DY}rDM($1fk9f4H zYJtSZXM*%v(;O0}-%3jZ3Ma<2rNT9J;KvQ!)-DwOj(@`aA6He_L>tZd*H|@USsJ!Y zyR7j~V*VMZ^5~I96?3Tn03#RN3-Q!B)M5ln1&VJP^W#rtsP&A8y275e$2{S zs759KFwGodBCA z$^aby^=Uynv;1j6jiCGLhThz-DBgUth_`U4GbCjZk81h4*lu6xzQYQOmXdq7`cjAB z4Z3-~jk9VjZTlhn@Zi&?tMi1be^4jwal>KiTni)}>a zUbaW1zcmPeG3?u)lyJib02wvnIf8ZF7>>1D+6fWkGFWj7eq#%^bEmN!@$nDAV-On5 z7AIT}ZVR$FCMu;9n#8t1@E0bl3Z`-jy}27bdnMm@emRE=ny4Q#bfGxZfsMQ1X=6&jVe z!ww4>sfm)6S`3v8QxN*tkCmG{OVbdV3A9QjXEIxsaK(nV$Z}a*wSx-lI!nVdk~l48 T7_edz1&9}!mR4Ft2Kj#gF;nyS