From 94275b96b0c88ac183f5d0c40ac3ec777283af0f Mon Sep 17 00:00:00 2001 From: arnaucube Date: Thu, 25 Dec 2025 11:26:10 +0100 Subject: [PATCH] add typos detection --- .github/workflows/typos.toml | 5 +++++ .github/workflows/typos.yml | 21 +++++++++++++++++++++ commutative-algebra-notes.pdf | Bin 286393 -> 286382 bytes commutative-algebra-notes.tex | 8 ++++---- galois-theory-notes.pdf | Bin 346331 -> 346340 bytes galois-theory-notes.tex | 10 +++++----- notes_fri_stir.pdf | Bin 240319 -> 240300 bytes notes_fri_stir.tex | 9 +++++---- 8 files changed, 40 insertions(+), 13 deletions(-) create mode 100644 .github/workflows/typos.toml create mode 100644 .github/workflows/typos.yml diff --git a/.github/workflows/typos.toml b/.github/workflows/typos.toml new file mode 100644 index 0000000..0c9ac88 --- /dev/null +++ b/.github/workflows/typos.toml @@ -0,0 +1,5 @@ +[default.extend-words] +thm = "thm" +ba = "ba" +Strang = "Strang" # name +Bootle = "Bootle" # name diff --git a/.github/workflows/typos.yml b/.github/workflows/typos.yml new file mode 100644 index 0000000..de7bc65 --- /dev/null +++ b/.github/workflows/typos.yml @@ -0,0 +1,21 @@ +name: typos +on: + pull_request: + branches: [ main ] + types: [ready_for_review, opened, synchronize, reopened] + push: + branches: + - main + +jobs: + typos: + if: github.event.pull_request.draft == false + name: Spell Check with Typos + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: Use typos with config file + uses: crate-ci/typos@master + with: + config: .github/workflows/typos.toml + diff --git a/commutative-algebra-notes.pdf b/commutative-algebra-notes.pdf index 2f56e1ac64dc4f548148d55a2c26e137b8a6bae4..8134c3f2d1d716a515e8302d7d7c8d1e0836a26f 100644 GIT binary patch delta 13660 zcmaiaV~;Kj&+XW@ZQHhO?y+rNW81cEn|nNaY}+=@{k(tRByG|U{nBQ&Sy@?~y~uUF z$PJwkAY3fTgB(=NhY$=qy@MBk}}Jj+ekN zX;yRo@kT!N&GM$pqEz0iL)`0rd+Ypf&L5pc>7Srm`W<2$pd0ekjNY)@drTHIEQmSa zcbvJJp5$e5wYo&j4LRSJgRV63WQVXUhAgGzHq%6G;p=sbihkWk-q5wibx~L20qwjV zWt@z)uAimM1ltQ*!hMKWa3YTNLu9S)a@tHJ@x7BRcHKs1TQ66(Dq}wt>Bkf9Mwej=nr6rZX zCMEqs=F%_<4tCde>*onHOTd!z?HM?HJAN5m@1HF$@0JeH8elPp3!Ddyfg z=|2Ho6irU7b|jddE#LUrpv6M|P+sOAM4Pk<=(aXo-pmE)*=qhA)Y)G=cUe|Bx4%7q zENTiWl&__zh;R=q;9TW5!^YjmDZP2FfGNh@UmICzNEEL6?>!Y4OMg?oL zm#b_iQvsc{ua=ERBBz2H{q$Gun|B9}u(w}iSm*LVL1!tn88O)-r}H7NSy*ILcDP%B zKN6@-NHHNAjmT*l;?n^PzBbDa^1`iRZMBGsim<{DO@WML;Dz8bm!M~N&rE+%W4etl zK0}0v;?>WU^6vGRZzbw;tXQhaL!cqExeV_ZVao;5(l4Dst4e4T&z1g=ao>(eS11)% z9He}}9jraIo`!GZ-&|$H|JeU(kx8Bcq$=!P9fhl0e_FqlCpwkFO3p@BD+v;T#&3Ci zw?jp8Vvn((fF2UKQKiV(ZE%SkfJm4ZtW5)^LS6@aQ1G2q`82bQ;b|6l)~xcel$ zrUFj`>L+HEi8ZSAMGzKAOtO%+|8e_k5NKG)xE@<$)LmC#W!(Q z8rvUmW<02QV{=VQ7ngp`o=E)dM#C{~0ETWzNkT*lGrmtlmV8jAP(*D2K&G5lxDXMw zW7n^afqRd42e`tw4AP%A< zXJJ}&z-7Q*$Y(m|`5^(})$^vh4pTFWJEDa?3#Yn{u)ehO^g(t_p+dW#*|>C$>JUP( zkJv;T>Ec8#V#nf#45mMT`9mv5-M3ZwP6oO{xeZ7tgzKV1?imiU$PD+OOhXh5Fl+0s zhN|JOnjs-2kRfV{S!*kj4wLpgwHRaD=f3+^mpk zl-tpPMg-BhbCr2F_dU<3lG6J>D?T%W(y*`U1)FlPU)9`@ut;T0CxC;U}EpU zRGQg^uOK1Awq>tl;J=Hq7ChnRuLl^Cuo;P%{Rpv*H$TS90l6#~tf3d;RAxBe73G*I zG}0leu5!6LpP?xSKFv`BbY*rQ!ALjltCt^SF|%q$T<1BaZfleJo(nC5+DT*nG)?$a z3M`Z`xYifM^lBTx>#e_r;XtjoOO z2aqR4_om+01MRHF-Ggcv@t*6;DEsz6z8H+k7tg2f{hTr;3dK;Y*iu9%1DH@-sY$ZF zC2gLUE+!LiKzK7ac3lr7F)qfAySp6tr!TI?yzusH{d*6<5LQTVyI8Z{4=W9%2s9x- zsdGWeFAi4siV_3!y4I1)7?7*EA)9GXO|t@?l{4KBabp#c_Bvq z)xtC1hmilz(x<^rRp z5ZG5U+~vDS0Uz#58MH^`vUWuyKCf1gyPL|HaaT)gM4yIt_@(NkxqGwGU8be(QSU=A zImBJF!)qhVk)aLLDC6o!kh7_Uk(BQ!4rr(NW0%kAKNRJ=EZ|#aGVa5 zud(3b6>@0Uy2DKMIBU}OMi7P%bt}N451-<#7f7$W=`{p;wUXsDBiZHkx$aU#(Sus~ zr3)KS4zbi+#EY>ByMNY)zWjAg)e!^^O0J7mj4lO6@km!m7VDU!1y^`JvF0jQSQDX; zF$w{wMI7HV_sbat=iI{p zHcvppmm_)dAXemdQqP5Rb@KIE{iL%nB&PuQ?APmYyr!FQu;rV=MP9U3ZngZ*y+B(y9MMZbEAxoBp?8tG=gW~<_XawHoR31~oj6TZV z5mt4DvhO=U;H5Z?R%b$zJtq4cs+EETB7mx@6mLv59VUUb8+EdYXbS{v?74LW0DJ(l zDbO)1Z;U~;tr+RL6r#S~rit(_I7$5$V%W!n*0TrG zCb@!BH!oW?B0XmtJwo^S1hTDC&0Rl#Dq=wIMyyjWxLXym8!}7FO}oD~E=CaVspHD7 z!Ow>C%_{hS@P-VELyZEZ$-`@)d%qXfUgj$%8GWm~5#p`MiSnffZ&v~v96q2-QWM>e zA1pP(hMN{zIL8fxp{?50eZG<7D`zJ#<`j)!(rz8iry6E^2uTm`3S{@5yTj_dkD_tX zgnw0we&e)*-d{AjZUk{PUfea~NX?EsD@Fl6#)eaQufHVvt@mO!WpVtv%7Ml#-bWR z1{e!P;*G_kVBCG_K-Ux|JzLy^M8Qxn`KR}ON%+Ujn5LyQ=bFQWip zFx#jnzN>dq*hV3 z57tnY-38Z?No2FZ3JO}d6P{XPxx}z=h*;N#*X;yx4~J035_dx6SJQ+IX zzaeaqQf^(?py;T~S0+YtIaDKk&!?|TSBj8~9y&p}R1lA#-Tni>an;u&LjJ^rU8_#2 z(Rwpx20mv{vaCpbQbJLIJdEuFujuux(*CUh*yjexSJSv1e;NW=@kH%NW{{( zv^#GjytG=797))#R7Zagy8lD2~F%W}e}6kfbE7b(uW(yM_CjNl@tfmUQ2r~@}WU> zpKo*ntasupqH!b(yn0I*O^}1OZ_0N61J>ZAWN)w6eH6f=OE%a(X*Vc@yj-)VO-+V| zweh$hstdOHiGIskHOo~lCYm$=DbKoX6+K7(?zjZjFKMVKkx4+d%-Uc5AG^-ppN{i8H9f~?7O zSinHlKuAh-T`bcRdK4T#Ni~#9Aa6DTD9fWAFjnDe$v|^$s+xR85NrZc`$^xCecM0$ zHaBb!jOf=+>%J@eP?>#gHylo%>4Ncj0>P~6S8Lk5j6a9V6Ake>w1z<|9h|0GFU$a< zc}D_6@JV31A%#og5I(+4Ynbf-w-VT2wT9Jkv_s5uC=jYp#&Z#?W=3ni%OQjYSQqQi z)e7vSw|5hzv=gpU6b)zOAk~kpC10b(Hf$bMB@@fV8BthoO<~J4(^a&GnR76YNO`c_ zm|s&w9yEalFIGwx)dn4@V$va(k5%mPz|Z%qUwYL*pr6R%7GRgC0dd?sxY=16T5tUA z6-UTeDJD}4e1UOM_=lIU|!W2tz=ikly$K^2s9M(P!BWn zlDX{GQ6r~7eGTIYK#b!xC+T(-GY}U9&o;Wk9zBC6`#Oc?`NH~6EjI7|87NAZum!|S zqeTTxyQYX0t;1<1ik0aCgaoyz9K#Qa`N@~C;)fvHfvDd)(8Ak+&U3g76HTQmUH+pP z9tF0Ue})0}oE{0-zD?`PpWe+78Rax`6}Aly&HJF9j$$o!Z<1-w!g5?RS?q>Qs5I9F zQx@}&qrSDQ_mq2Ns!tgBwVrNiio{f<;MP*C+UbCL7xpb&CI&5l#p6Wl+-{i00X~W} z;>BI*D)7~i0|&QIP~WIDdzKtbR~?7C0At`&*!P9{d!O|4$P!Ktah!YtnJa+?Zv?Vz z3ISmSkb6TTL(OJ1D!s{J`y@5!JtUMIaKzqH$DMh%HaLtL#F4+|O_l(*Eym|DkAfyB zYR)a^=AEgB=4>E;D^Hk zD94cy`kokA7?XoSf207a_yze^Cx`MJHMbgpw|$t1-LeEAYCzuW4aIGxUE-4_qTAK= z_##wLJ2b5Bm0oI&L1Y-C!Y3`(KE#;;m$fH&Oa$v&JxWCn(eUqK&wL^VHm$3;*b_Pq z^t=SDkN&NgsbpJL=vC|)Dl8zc!^Hsser5ZZ(m*CA2@dZrE3Lv7M9;zbB!D0fpEW#0 z9R}nI<-`*3%43ZH@n_^?CE!bWS}v_GbT+{Q_?~vOU|)bK2HEwm3Mx%Z{>WhllZv8SKOO z{Z6V-yz~RCIey(lR8IyiWlQ&nQy5&oxMVUd9vOE)WBHBwpL!ymgXLhtr?7%`b;4Wb zZocb;$f&{VWEoe<2}@)7xtQ-gG9th;_uhJ<|E^T)S6 zkzo-FI1G@{cyW`Ux&u}6Wd)U|6-!kv1h=g&P~P>)vNtg081raT&Fahuh(FCC*P(MEy{Ia-AW6=h!=S+n}o0T*@8V94P=idj9<5 zlJKo-=V~~-6o7iAigy9)OH9XSd3DrZ(moW#Tf^<%v^C<+EZB^6kMI?OQ!pkQcjM72 z$!KqI3`vL&@I+zPXAJTtR#cv2QMuh(4opo@4sH(_1D3&8upNM&{L~R=dhrEV-+@S* zvlRN}OY{pzG%KSRa$Q_McJ7=`2Qvb=@99xWRY%(-M#KTo_2EYxBkx7al+@H?sUbOy zJcltS&ub^K>3i{ZofW5_LiZmIBVrMF`va_HLO7U>x~Ko$%ntxHFb5EVpbIOtsINA* zbpyp6(P{@ijW|^kOwb@+Z2^Gf;ajyy+Oz|}eMGGp`1aHb%BMnZxd?_)cVO|VB1>69i_=rEfcEw# z-gjo8_VAwX0|OnhFyY_l@cf=pVLy6k*-(GRf!KpFOjJi6==+9O`X0cLBgPLO(ltdS zD-%s83))$YarIO+KWD=5n?D)KhL~i7^pUk zC&uMd@{(!q1&xvHE*C^J2T9Z(k;-)!`E%Rfr5!iHE70NU7>rp=+P~-|o%|6Jp_ww# z%PD6%`WKW1fRO$ljsZ+~RQaGPhNr|%^I!Fxmy@b?i*nG9e7M3&vixI-0|G6$+3s(s z_voTCq$WOxV%1BuY;B4qrB5@2%hEfo~939HXFKBG@<>^Bw zaf~b1RTINE2bBM0X!C~}LYQz=*U4r5`}#f@PYc)iVa)7JU7E2Bv!Q`m|D*0S$vc)^ zfNJAwhZ~Rmo2ISn=u7VbfgXd1*Adv0WhWJLB37p=jr}dfaeb1YUk|{g;7z^z=V)73 z%6qvp09S3v4jr3Qj0U<&L$y!11}I)FhERg8ZFHaddDPs`^KQny`C_Xl1T))VXxDJa z2lK199o6jJ*e_Q81U-+HJi?@MELGqb@FB{i5HB-{{2%4qvG^5IJLusrQK>vu)vi|S zY*3-@JXdF-PyO=2y!wtgE=e0R6+VOUbD4@X!YD9}Xl;`qG?IMFhAn>R-(e8AiMD$S ze}Bg@^;iOPWRVSlMI|T;M08H?Cx-Lq$ycEJgICDcwY}Mrq~Fk%36{vCgE9;OAP3j=e z5^0mLBncIO>kukq3gC6Y3Wz+0di!E3*aG)j$@c5es`;*lmLO{G1k3ydANuKp;7Cux zvQ{orwL>hCRsEx^_;Y0e90WN% z`O(Dd1F0AObC6gv4faa_C@8`m`jo;je24@BvP=aIHP6=PyR)V(z%H$~=3Smhiyikc z1EGhWRPyRPqNFZ62C2spC6GvI9Q&L?@C^M2%1n!r#H|SZ^GR;_>=ML-8M*0(oJA_Gu5zG{l-5tm$sy z6m(r#d7}wd`PEe!<*c~qzI{`&S&x`$0?=QHkl#PmiCA_#B(BbMvFam7Pio6D8A3>3 zZbz7^%}VVoQ9anAXE~xpK~avg0ZlMYSX`Jq{as@yNn}}oiQM3JsEZl} z;BNRZust5qBV92`0SvucWjWVkK~P*(7qstaJK&mf&xbv0Wnrd&U(sT?fnwQ2_vM>2 z4;2}gV|E@S@q9i`{x7?%zrr;9?`GCe2t*m9!DVAhn1mJ2iWf!T9k9V$_RzYEv}AN?-QtOl8s1_QCUa^* zYjSGc)}$pZTIo@tHZhw&P+*Ov4{fH_doBHas(0F zHPF;^_jQ!2wQu~GG2k&8n(f)>U$%lfY2B%epCJ#xNBfy zbQl*>TcEa73e;5fA_-xY9t2^v>MF{#HUhpuQ-AXpGOKDV?K7q@uP0#qg@uHP7E#D(jo!m`oO*6RO0Y*4F z66TQ$oA7*xn6JbE!NVwyiD+9bhdJM0G6ob23bIMG6!XR9x&`{d)Eir8{@Rx2z+;sIy&BQ2DYYoX? zpyrx@IZ2Mh5(3HASos8SoqnAaggdwy6q2~k5lUw7E{=L9J2o>ri;><6w3mT>WAr<1S{qQkH*eKej9hMmJ~*vze_KrI_rX6oJb}v zmi!}H*+kpUaV|NNzy^Etq)cwzwPr#2#)v(#ID|*XdFc3J*IfcaRj2|2zooG53ly;n!qZ{!xnYW7kk*l2s(IzaoO$7bVu89{6_rRQjTV;vCqw^ z=TWH49$I@`GF81@gFaW@OSOXx+U74|Vec|YO*)vJ6Jc54p^l<8n$yGlP5=3Me3Y~q z*a)%_g~hNk*yVrW1d%HD#079VkzPE~J3IwyQHd8*TJnREsdsL@^)`J-jZ!XeD3e{f zsP#)8Hmpp}i;HLh(ceWxpFlr^+lD8$oNT$IaDa$hOEIN(;&wFY$#V0nOU{g6^9O%7SSX~XaUbav5 zU$Ej@M#tF{84KD(2gyS78k2Km$|IJmAPjCcjU!-eUYNdu+%l*d^_w4U7fCVM32bGb zEOTz7Vawn89fQ~r{<$um+lIeT!kavTLwS{q;ORC^Rx}|mkkMv#xCQrz*5G5WJDWp^ zkA3;hb?54Pb&?eBumgw*z2`a*!2XolLgJK{iSDz_+bG2;P2TK&25tnoWZE;Q9?sx=T2T2U=YGvJpiJ#!Nw$OV`GyIr(f_r09u{)_pe8}Bi7;gii_h`!vu zy(h7&Oi2^DXMQvt7G?f>Z(v~_r%F4`z-CEX7%b+-k zG}d3>FEwjg{THor5y@Ja!pjeZe_xm=``~!XLhr;5U_SIU*H{JKv?*;3(UH!V)y!MvaVWI(1>4;hsY$+ZyhwM;-m`&ApDsUlE>4n4CG3k!w|49pdx^H)uvgdb z+m>B7HWz*1-<_pX+r`b!b(kbkR%{W!^Vw!){B<&=b$o-JQ4%U14!n&g;GF0b+PU=m_eexxjFj%qmOZbQ z;Vgpd%hHp_fQ})3{4ms$4wxU?aK_>l^S0|$4?$nE?gqRplb#tP2{y{(_R1DmWp30d z36n>m_vBos%qH~`J} zjAq}$C;qq`N__~(uYsRVK)85~O{kj^#%l%MkkQ}3l_`+%#KPk6!MBs^_B$PIz4i`x zdoV-6vjM+-xudyOcEio6 zcGI{k<&b^%rBa{<&|xD`lcD%*lzeOM>>k|*1KeRDB{6af>XIQssVJJ8(tv z$H7y~FJ1MPpS2cbxcL*C+kno)53IIvZTNMB;f4n^;PB~2$n@0P0kI^;7uC28l4Mv} z0xT{#;anfSsc|>~89U(*URcai3FnCr2i-N*=H}MZwZ!fOKygEU%l2ahyMCxwS?9LwyQc4>E;vuyag$goSf zF6)jO7r_}vfVNjM<_Wa-bH2sju%b#u8-A3`-rlBqFK_3wzP=#dYa1~dfmRAek2l`(4)UUdVJwsqknxL6jP*^I6C=Jc*xx3O;?$Pw$&mWJ%#|-Nfe8 zxlUgc@NFCHdYmQP<(eSOb6Y>gP;Pu2c=?mjI!C%WMk;E@rvnenz#v_Q>=-LW(h`%I z)ARPWzq8%VGVFMpG5URH`*wV8^3&(ptdnc_Wrl?@-p?BFd{{jt9K1IAXA1uceWaz` zfw8df-Qh5I{e0rhnY;VZ+uhrH99uPv@f9o+fLK2Wk)nr<3!GWhjH2$DMHnm@n)c(6 zcBiBukMN4!-9Z?k%t=yA$1p|^aka-f8JL3oT{8hmVzF9o{TtIT{OIL?xRJP7b{Y1V zym~s7oWA`Ck2*Yj-~N98_H_BlD0Sg=bQ$yei~r!`^u$NHAE=X{#p8r4#iDxg2=;FU zfMeng6cjYrsL@$w>}|Vz3cea-1Jv_C;6+1oHvJlQMJ^Wx-7q?}v|=lys2lG}<0=5r zl$2m|V+WfPEQy@<*%fAMzTjh1GcG#y7)Wy$+0_!I>bI`6^n<||(Cx-M(@?4mV%e4= zP;U3WprHZmzf${GQ6tAD@T;tqVv$rOT{{?<9Kh~1nz*9VRgSMzWk2lG9d~J?0tH>& z*Ve1C7}EBkXl{dCg^S%jxO|$NM$)sgv@4KJr|_|`KrqODB90&ICMB5WY4V$ZF{aKj zEZ}}8Tv9&uLwUW`t>_+hGsIFoQRz2F#E8*I06O7ffteR^-=mQ;^0}!JvIcw|BKU7- z8el|UqqBLijC4$KRNI~<#Bp)#=OF>1b|m9OQmFRY$^lj7c0l4$?lV`q!xV+!O5%ZE z)FT(21n=EzcU)ys&w;xBQq49F1+$>b2x9;j2gR3CP$i^8>%ynV)QHQM zZf;QbFaXUrA3_(D-XV5HO((nASu9g21n|z@%|vilaI)N;pRAPy75r0oEHeQufa3aR zUwbzeZEs<>`F+Q2C+m`5yvGd%$Ewjb5j|CTP#1({n@A-Co?hg5K{kZ!BLhl%?9Hmj zrd~xAmRL%*?&QlJ2u+Ri;SDvV6WbX64@l-is-!qS7eL6Q7A!C3Mz?+gNB{4*e zBzy@QtJr*S(J5VQ&NvOGB^kf!X$K%_YdJ3fGNu+vL<1-Xfmr80nBN4{@QmZN~ z$(9*YWR2*Kk!~W(6=p82Rd?MG0wkqoQb;QW)~ao=Q96vc=yj61LtNW2!1awl=nkYT@8=LwciMdrSzpwu47id|dv}*- zdL2=~n8RV;0OL29n9!wg<1ml*ZO$T#B6EUuEyGc6N`-5V8vpl~%ua>Jam)2@X1;`S z;HdIwCkstURTy~;i8IqolxoNxu^SpjN2T?@%C95A9?ua(a)jEySR}*n*E$~tVkNa1 zC{xIhl+4hIOusz@&wlnIyCb+zjRnb4q18CLEbcN^o3byf&Wp=9_W+w zYT}jT9B5G>wz_1bI@LB(V8g|f4GPOs4V5b;?*S>juOwW z$z~}h^_5Z4M5=Mjv}}&BK?R?5h){Gy;AsKi81e(VmUDy6%{s!(jxES z7q8I1ByUnfGp9UNqPqx7>{8*GOp{&#=NqM~*sX6ikEja$|Gqe}Od^ujZ8&`zpDMJK zq0RlF7R~DVH+pb)R zNk2%{frML>Ni|LTxE2l3lCAy-?ny$!pFF9rtxhb_JOgC8k0Y2@MqI@?6s$3!N+2_V zhnWHzeNaYESNxy!rhoK0gG*M4AI-_8%4ZIs?O0wnm-a7mWE;%CQVV%bw}0ZxpqOdL zzU!8;B7BO(vKu+#fzlFclVay*T%|R&lVFDw7g3b8?8buhRM7VtaI2rZB9rd5oaauA zoFB7ot$}+S2MoAvZ5bbYSd{3}TGiH%VweSfR-BTnwk-te7%n+3x&3GH++QCbj zVSRK{%#p_4>7~|*tliYK0U?=Y6OT2gl`P&DnEXM^&bD=@_5PyuGNmgbo@kW6z~qhj zlRY~Q#4_A}FN@l4S?nrCGskH3RER>4uE>ni8|mc-_b>5JSlzsrO*YFJvk;*GZ!qus zo=!bE`SlpGex+aESM+(lzn7ef{_o=eK2PUgO`E$tS9j-s;G-Rk`9@ojmEEMjm!t84 zEQnpqer-6rpM_tx$_f_)zD&OGi!zqags-@K2> z#rvyPNXDR+J(=|HV;|A`J9mEoo?O1{d<1>?eYkmWyNH4aisAX;>vzsv1P1VjM8jdL z!CKxLgx#%PNImCEOKkKVt%#4{?RiXYq%x?7Vi+K=(jy$uZ5%xBUaBrA zp=0>{kT2-_nk!X(gRG&gYZ%*Z>i5pSQtnPMwWY1mMA%xBpZE3kl&`g->En?KtEG9| z&lmPL;HC{0woE_WN+T5zv))`a&oH^^uFRO;eCXs`zRFqs{$4$LYf*l9xy)cn{b>!_ z#kVWo$>)IdcJ}in<^a~`^Xk03)sx$AeWP(Y{AJ6|z$o#4cDDR=@a6h4j_}{Ib>UCH zcA_79Y(KO{%Me8t3>7W*=jG=07drLhX=>sROgJ{- zStJO)d;=zC1@RdfOg|kse%?p*dQZQ=4jB|IFdg=w>KuO2Rv$hIM>`&}|EC_vsbxAxE}IQ2%R>dVi|^U=Gbh_pJX;ai5G2zyfmybFTW|} zrUaX10xoSR%c&22jhAH13dh<;pwXGSy=a>|4;b~bD_JJ16+#qIl!{lFYYA6;-d;&M z5rsX&wVG;4?`;772;63T>QwJvNdZ*~5?%un9Uy_#Ia0uKvEi$xRm*b92(V+C=%JP3 z{nMVQ|CQDOmcCE3Oe^>5V#AYd@1MYHXB)pykvlH0Da0Uj)_oOv zbD2Lah!hqt-s4c7_d?fe%PH|zy-=!L)~do}w^ucEWod=C#$DpDv~8#s?hN7pkA-(< zcU`1tKgZCQwF?ddZ-uWysTJ}I`i4TU1K?XKplzE!Ar*rzwUR{Ut1C4Zm^Xr-$<{c1 zK1SBS-O1v`Tu!%U*LaD4=1jY?nz0=GvyxY8d-5t}c5$dJ_rkbsNBM4=@Yc!Utp z*};5ZcK_j&1Ez=8L1`g7Q@R4}LWT@j7$GhY6&60I*i4n7x7@fscPTZo&!3~l2Y491 z^)EobE;z_gZrAs-W0>ac{zpiSQJ~8zANmNd| z#2Zr0JZybRmpacyy{4M`v^6VR#aWaqQmcEqx0kT3Hm4J&((wE67ponwcPq*)=lSuJ zs~x^S$Xb=6$D^ndqO{ILew>R9o68m5zly1T5WJtzMrzE`_9?ouk#~8cZ0D@HQ2zUr zECR48e{eFpaxnW6Gdr_08 nlLquLBak*P|0HpOoQB&f;(>tl1OqT4Xm&0ba&mD+37G!}226jw delta 13682 zcmai)V{@Pju&rYo6Wg|J+qP}zotP8b$;8gYwr$(i#FOOgbM6ngRozux)%|@vwR+Wd zqqcXW*0)1}a-|pgfzmV{LNUSsj=G*Z70F^hs8rjr0;2YtZFK9?c}erFv|*Qi{R+r4 zS@74Hb)i>Uey+IkwLV7r_$$e_Fnrc~@0F$a2g~379!Ur6(GsmO{Z8PEGhA%!Y3>zQ zsj4e^IZUlqrSxwf7n33tQ8h#r5{Eu}A*I78DSGfqBcd|UcoI`@));ceG4!*6-zS@$ zxxwSJf{kQ-NlUN;@di%#>J0Lv85;x#tYzJe3ViIdT6AdozXObg1L z+|Nm!Oo##pP?ssE{(#~OGIw>JO*_x3m1PyQ@I|tZacq=DBVagx?wySYs}hlIp~?(l zU?l$88gT0uUmT+Z-|@O1J+j-%rDYUQ_Xue=L_3Vd5j-$l3pMUmaE_d@h?{;@_=g`cwu2&vaXS4IS^X}Q zJ{HXacyL5nR+JbJ#WHcKGo_Fk_;mCDAV zFwA_Q*n|l=t-utTP^UrA5c=3DD2Z_Pc=rX`W_csFei&6cGz3M*MtSm5YEB`l~rc9gb<-;YrEJ)?fEpt=Dol_(hE7+E74<` zP1c2)FZNO3sHo@mGmy<5rllQ@4gUGXgj_u38*55*^)mkQeY62Jd0rgDuAESx6f#hYPJE)1P82Q4Dc&zOpvj*>)_q(~RH z#OxIG5>NNjsiNzO*5FKyB{PDUOUL3Ag(UsM=Wp`$yr%)}U%u~=uMh?KZu3s0J>mQc za?O-w0*`37Zcf>4--_&-WJwr+q90I|6(mL|yP%+pJ316KqBKUP&i_3V^mD-i=-R<1 zI%Bv6JIA#aCg}TW%z)4XjKZEw~JGlGHG$Ky(%6Iln#lyk}XKip+U$hC8 zF~dygE4$)mGRC~oN$=S#m~~w-yP_-kRxU2K%^>&}$obkB-^vRNO7Y!yWs*%UevR}o zzYLQcEeXGvue?T;6?1=Mcby!S4Etc(n56e-kZZ=ZO-=`_<6-4prNIdS1b+R~;TBm} z+(eAmw%yMCwog6o`2CSr?*gQfQBE-vPJ-%LXyQ7Y zOB=fZwY8tUojL(QdQY}MT5G(?_79tXf#3^!uE_O0o$c>0n2(~3VN*fR#3>8fAbAE` zj&*@=sf;UaZ;m3U&X)J<$lC`>$@nyZjjwMPM89d+IZ10Mw<_CdFo-wj8^&p3(Pw+? z;jWPG?(9XvQ(uV9&GxT7sUEEJolGGKmaji`XFi(2-ZKfieJ=(9YDjf>Vj)VmlH(H| z#;f{#9)0(+iNnZ`C&P0jj}Fag2`2SgH4XSb)VGmyi@CJUi%>{>? zD>o`7FV@&a!!r&Gkp5UWtscVlMH?D25IQb)k%Wt%L~6@|CRxapLo(tBV$g-#UIcaq z0{wqpK#&fQg!4~+5B_6)tZC!E=8lggUeOq+QO&;Re zPFcnKiMOIC_!da%2F=k~(M^w=58xKAr+V6xsm1JmT3ahb$kXdR+FGqjR)iCz6qPS4 zx?_^)km{#*+Cztq+R{h#kH%L&9(%LZh5Pn9HT-dy#Ox3Np^v6P8RsB3B>T?5@K$h3 zv369X%DuVcKum6kR(y{F+|w+ zH@!|{s|y`~FGdA((Qgqx_9u@G`_jwQ#p${|uVJpaAu9O7!RAbt4c`lQK7kS!>8G~t zWsF@!)QaKiz}vT`Y4V49GfAkVz&NX1MmDO zoALCOMke6}`^iD=wb?>bQ{$G-qTr@WguR~fu?HU@&CX=8DHIVrH8en=tEi(NjBG~T^{gX{Bxow)LI!B9N z)PlmA2jBit&7a#W#wBBa?e%^+szw;n09s8@0h7d>po>; z5o4(v(ZMEO&f`MTEkt`bXo9E#gH!EGR^K0!NYj(#GNCMD@mc;x)K6|SY2NRZ7fu$s z%lKa-YnNgfxsBcDn>${OrkxWUGjgF%2%f=!mfElpB&pICvRpt<-MbTWHd@)MH~00b z6RzWxWDe3|w%Jlr?cn!=x**8&1@p)g)Ka_1g{i&uwv(t19(;d@7x$@CJmARvvIw_8F4HO)k2_TC!weD}aS(0GMKj@YbV5`SfOqI22m+HIhnUF=vu6Hx~mmSZO%fi+2ZvWxR{1P=7_yNdG5dP z-k7R|(eZvX)hQv<+$-zDtP~A?u#0CgW(jH)kO%CyMQjMgBxkGe~v&3MWEa+f)r*D?8Sc6A0pd);8~vhZA{`Jm2Ra! zJqU)GGPpnaokTt(Mun9k)$w6S4usQd6Jitm$h%;#<|dP;ezCAGRa&1tuJlxk$L8-772%!fC_dp@KmE zOglEpzsX!TOA8rR6)#b(L<7BXE}gCGz0uL_VzRz}#QY`H+uQU0PUQ$Mm2=Y3)TcgjeNs)ExALDoXR`k={~xDcOe*4 zUazPed>)^r{>jzt>79W=^X@J^7;WGFew=9=BN`th5(o8-5 z$*Uv@h9M@5ByA!Y&TY&j8cvK;7sX%PL^4Xn9w>16mfo6FS&P9f%D|q-b{?DnQ%Whz zg*&BLp*&NNl!~QTpfDtc|ux!16SUp2a8rGkXMZKnH5UMGd^QE-HZiY~W=oRuXh z?3>F=C)^-i+o|);SMliQp}HS#Da?cKs*5Z}M zYe9n%=hhmXMG6wkbhDBuTtBg0?WLs3&BWY;-94=d5s4tm3Gxi6 z-Fl67Ad3H+?%)qaUcNnk@c!WOUw5dgmtt}*e3zr>?EcDN+T#&#7T$P0Edi zEl5HZ*=vH9ITRcqwn10#afH1L)=N0y`lov>0$+PQ{)mVH!x3#3XU!3A`Xld=4G?iq zk11Im{djmr34M4z+z@xiPDVdi#^zgBoQH`psO7~OIKs9p8tKj{WS-8IBMnO&o z+#<-43@wt;g1cjm=@Aouf*904<|M#yZ19UtgmJn*e+v8nxvWpqDVQfgg@^MuOd1OdaKsud-mO#wZ$Td5dJ7i|b zJLid7OcO|KN$7JcJ^l4vy%CW?wmy98#ANX#XDJslCl8CQJh&l*}K|~dxMCL1=u&f9c`RCiP7C7 zMHNGPye?dVAnkK?;uDMP9u(s$P(m7LWz*)b2>T8OK9&0K7WMs2V0`d<%5Pzg}B!1iV7jqpn==41$3LVOJWQ6lM3RUW7bgqu(G z_856pi)54~87<+Kawn=8gD8U6#K_7e?HG{EKct2Q(&GLY*jILvtkFfrdB5yYb(2^l zEsy$5F)HyLUA?ao1tQjld5iR=%@LWDa%2aw3qP8o!6yW}aQH=~w87fMd5f4J6rbU)B zXZ>X@y1vdDNtu%QW>w?eUcB@r+Tdkkm_+dp-fQ-(?w!(*$-~Xb-T7zCAE+l+Gl2rg zIl00ogGEuUUoGe0T)~q0LVxTd1|$|vy9)L5fZ=$V(R=jKb19-1L1^Q&<4C_H|0oi)AR_F8&KTSP6oaIeiockXt4^TJFDeH)UT{5uB%2{l8-`A; zz&H!8aa>Nb$t%fbP1Syz&R$J}>_@p88Ow_^d0KQ#o!ryT{QX&3mY(SH7CD$RBy|>3 ztXd;(2o?V=32N=e4C=v;uM0Cbuh=C>EYU`f1J?xC{3C_!2_p#db=udc9mPykjS1p| z(tq7MDXsGvy6BEjk9#{1=cPqFghhg1e+7Z?0?igd@|k4jXwV1RG3W zu*RAD=O?oN_D$UW;6^XpvtG^xygwN|zxCBoZ}I9tFkdx~XUop8CyP)c$~~IDD5CNq zh15&uMk5zj-9t!xoDhFZmZO$PcS2dY6;6fM%}t-|Sb4vl=pjgnA{FNz#Bo3kK#J`r z$l)DA&XzgXqx9Q|c<8qZ+AjCS^<#zL$yA6Fz;jQ5R$?~XA~_@hz}`k2aSnn0UQSNI zIFuEg(av>|d_P=d*fR<4toBZ)LY1Q0NST)) zt_t`kmj|aCbF<*Yf?cZbA3TZ9YXjVCLu&4hKB4UYFlV&yt-31*Hh$_yrTOc(9}kaj3u(-F;f zM?eWm5-cgh(kw&qmnWazmZ+>Aw18R5pUjSEGn9*iwF9wB6*i~$F}Ylcn?lt|$S>^R z1W?u-OC~v+LOKzkt!3V1K}?v~2cg)me!_(xace|zot=X}r{Mi9n5ZI2WFMlkjMAp^ zxu+CK9}oC5vA&_rzgYBvo`}dk=K_Bu>44mbA(6-4Z3jA~W(78isYiPV5r!vhDX@<@ zNBfO^r6DZ@j`-N?)bz84p@^K4_*Y}uaj3Amydq-u5;|*Iw{fgX&*dW%ulr={l2j!VZBguB6<0|VLWV}4SR|0^>2MZ}s786PpzQylJ8klY zbq6q9sr}LUVbIo1@AYxeLD+y?hjk!upX3velY#@IkW=Zw{qpFNKDPJ0z55>jQMDb| zP{U~PRk5`TMc|<)HG-HZ8(h1b;)KH1M}~PAfg0oB;w>A{phHCH-?&}P%f+-me3E_l zl76=X3EUz|==5kCnI-##oyx-=Xji(FC;{zXD6xyblU#>ry%Jv5g-}wtoscWkZFw|S zXf*_@)ny%hQ|09-zIPz~gv@v2XYJYWAhpQ2(Qr@_%)$G4UU! zcwZ)gJy0729H6;VX!`@95jJ}vTgOf?A^9_9=hz!n{K!dP1gAZkF$^#}Sgh1^jlJ{gu#Q4MR+cp?=%$`x?1PH1JYJ;Xr z$ip`<))nm6YJN;wG;BiaYq*8t0b1E83_p%>U($>wa6!^4^I#mKn!2tT%zr4)+>u=O z2e#ag8}SmeT_^5oAu+2tgE~FvF0XE8n$`#Y%g+``fRp65)AzVJygk5j3f<7u+d?rm z!lbwga)9`bHvyr}MNqyU|CX#Npx{HeGfZOz^o%2q5~58*hqu6f9&$#51BnAC_{p-U z=kijOM>>X;BR=)@7$vU*3qw4sKE)aDV`O4?){$nJ#PT9PEOM21sy_u$+mW*$s3lhm zDMHWjj$CB>FIdTTxN7@H`6{X5K%KMAk~t!5v=KwB&IZtOxcei(l7mvq!oiZms!PJb z(Y4fE%saW00+c$0$)Yr-f%m?j;QqsZ7M;Nh6U9Q&DkYA(XllZ zM!8GDohHXn{dh?$E-A?%m~zC4VU}DZJI0ZH!-Pa}R-&YHt0m0rUyKK}IJU6S$nW7w ztH@cyiy|(4oiZ*P5SE0?PPWp$JSL8Q`prDv4#dDz6&NDGu~n1M0=2lGe#+%u)x0QTl@VxJD1hif2qk(o3HTH!8L+%E`qIl zow){Ao!eYtkI?XSo=3UOE4O7|nd2~_;*f*g+Xd%jgPIw}oy99$$DRplakuP%%JAAf ztwEGjhQ?OF>ibH*us=jq+qoG#3#^!fu<}#wCzr^bpF&|($FaG@!jAPH!ON9$h*+J8 zcwLzZ%^Gr!6U4p#kY@i$+48j|q|j!3>#^hUq@W4#u)6t6>0Y4(?6HzelR z6z>K|5zzfZcEc4a6hzU8y=~Y8 zatQJbUjc=k5j8)tEyBNHWG%s=>K6_&YgEioCTtWdWXZaFbCo;zg~r7ul%vBoL+wWn zxO24|jdN*XZ7UvbxS%Z4l3E4VFedqTSz|kpR5?FAB0Dx=4D$V>l^Y`+FNbeDyD8EDUKuE}CZ|!~Vb6NfKg! zW6N0!)V}*rp?WlQ)O_=N;ia%hKN9#i--Of8k_UDGiPFPZ?B_f*g-3Z*pV+u~w5fxY za3{aSi^gBKYtY?3qYlV#0#%bgV<90ck&PlW8Iw%QAn_hqE0Mm!_dab>Bm0%~NE znOW4A>5{f4-qxde>8P$`LpzNcCqb2ail4Ru={0YntG6dfWT^95d@Z*o5f?SzZ^lZ4 z)@=u0UdT0)3)B+2(XW2}q^3;ht-^i+N8kPXCPx0^5Zl6JF=XAjGy&1E9B=`^)z&)7 z)!4X3BGtQ{kN$q z4ycQG#`wB3M!)ZWl_NrdE&wRz_$;vVtiJMq)GU#qVt5b*FI4GYcM@j$mzXZmRG*_Y z``YauvFNDP$%T7DpG=?~wrW?|+X%wjTrFs2yHiW8EV83hrsR6ibiQR7<8co%*M6G$ z99)8;{wygtVWA-k8T)y{2?XCZ?wx`@J&>V9MVY)No*U+l;fDn)uL3^yuDE{A*YDR4 zb?;M98%2j%jOTr8H7BlrYTLIbIz{y5;zH|GwrA*&7ipN^R@&|A zes&&wn<1m|R)uDjw35eg0#dS2yIL+1o&!Eu-YB2^Rr~^X3gAt;7l?I# z>EHRtt`o7xbo4+}6^M#gG=YZTplzgB^N=!gI4&1edh^1 z_7L%;;H+@NVx{p;)*s4@aSr4B*go+53^_h`eY)}wL$GA=u+l>pb&*xY53w3}`#^0Z_Uh4zopn2k*7nczQ ziWsFPi znsd3}h+kzjtkSQmCqD$@->uS_R$afh53Y=)K0l8ymg|!$u4BHkzg)iecyQR5#;#a2 zVTJe}wF9G-DG=tM`9g-NtTD2otY5@QW;?zvk7p;5DDQ?3uI#mQ>(Wlyz9}R;>HPax zrV&1KIM~{l+EO$7ksfAd>YtpB%wBIN-+UYRv%@yc1}WKM!UX}kY1R z2F8I^dXhUx^WR&$%|*Y%c@kv*!!88Y;9r_Le!6AMB?sqKExB^7x%?3>YT zP<@MU=7BYM8d?=#8BD{LHU`_1A4Wk+bNV!=UgxJ`()qc!As7XHRD8Ot71 z?v9q@=W&}j_U}41V0tmR;^Q6ermYUO!dspVmIu&8nF%Cyg*rAZBZ2OS#p8VbHCFqF z7k)9pfxgjI0ykeTu9c+x9_D&RC}Wi~53Hh=%S32KgPpX6$i(Sc zvg*$CVKE`G_w|U9lnkg~R1}v)#FWho$Cniut3gjBkbUM>!9}W_?|iokE$_Z_>svuO z)(1Yq-`AneCpbdfZIVQIZ|g=F%S?}hF84D$#>h5D$iy7@brC@s8D&aQoqtJ_HpSxP zcD=rS?QD0liUGG7!vWvb-^b@>Up?N9hWSSSN^a9fd)aN@N&CI5o+(MA-h!bSR*%lo5#c&%OWdrRl|znq@;HEQgFLL2nHrXDiVmBmp*b z&87&2m6^F$Xjj#z5cHmW`kVJ~LF&4s@}l8*AG=BXV3SS2?C)7yIPm5cSIBbVa^r)l z$&a$2H^EN#R6>t+wuM{R&bv8Q4hxUpgfU;G4RnVqdhBUzfe5U=?NS1(wRvh#c0Jkr z#TI`Xx+)N%Y|SGox|wF-z(d{SOi+?^l@L%$0MTbSaYeVIOhCEPani3d?$S;b2DYll zvs-g9wB=pN(h9W_52tl_`Sf=hY1hiyt^gi`;`_n^VL!)-1VM<0v{0J286XRPNV{o5 z#OIB6e((A!!}s!)++FxlKV|D`zsoijBVj)x{IIniMrF!hhe>t+)q+97Sx9g%wXw+q zREKHU>2={2ZH0C{YLbmfc6Z&*jQxz(r->s^xhPzL5@}Y{Kl*aNZC}EZoDYgSsufE~ zcTxExQrB9e?{T$kNxo^g)Y>X0#(o|DmG2a`7Yn&KS5jbI06uPW6%r=eI!L}aanEM+ zqvc}8Zf{Y(?SN{WFVyiMX=vMTL!H(g7{%$qVS#>QxH#m1%PH-A@rU*cpeR$4EWCl?GilaI@?-v}57ASsG? znd4@%toZ)@3_*E&4G9XXA@U%U$Nq(hdl+*%LnSwX(57>M5YU0e5)~7SJo-naVr*6X zAfmgF<)Y996r0Q5t6oOv^#~VCH zp&mmc0>987Xg8PCK8v5p9;fKKX=>W~xW7t~vxU{wcJT_c-)g-Ns;nI_fKF769s~3# z@P_2!M#*2CBJocO%2d>i zUDRD_W8o?)O<;dV;>$N4V3T-D6NEuJR_eOb3cVvU5#EbMiP5o!k2#BVCiY;V+R&8_ zxr!gi$Pb`T2{}myPfpaG14GU<2?>?OIR~|W+8AXrlM_?^gro9VI%fqDwkuX-k7vJgqp0_9Ste|X&KL0z3sdD-f`f0*>YZDJ8?PF zE|R~rG_#_2(N#AR1!O0(wmuc}9nRZ$cK@itbhp<}$&J;}ylNVjP{NJHG>)SO_lK$pK=+CW zJUnB-B5OTpXwrzRt-T9Lp6-ao>@7R#Bd?Q1(mU5#Qa3l}IOvwZTNw+ZmatD&oR9lV z%E=Lx4y6oV11c5mYoHvDMK|alRA)aSFP0wYvPh+^dc`z@!N+r zV~JrMBNw6_H_B+~uI=db=VtVm7^o7J^_-4hsiZ5Z4!DVO{sn5 zlP%ROsjZ(!KQ=8`Yhi>~Z&&0URSwJiHWGblnps^Z6K^IxY-xMv7pFl3yZo#lOtPXS zxt5dD1FB4ieRsmpNXJ=g$Q!EbxD*9tWJc7&X{k^&JR4%CC0FD9EWQ0l0IP}vGp}oG zxDh$$3k7m37|SWvs;<-n&|fF1IYB#P6LsPXt1GG03kYTfyi1nOQWes&wF$&ORF|pH zRi#GA3rV%3?5e1FZ8n`)HZ9_ko0NwA^=$JOftD_tDmO?T(s@mij=$CCrHmcrzIy|I za+vUHR3cAl%w@70shP(kWizP>2+C5LH8PF2qz&$inmAg znu$2d62D-Ayxhpn&(6+A0_V_++2d5sxK;OLX67(dDG=hx@cf7OsgN~k>juaWcx)Fs zK=|}}_`MWnqfD;zI=g}-vdP_kkK&9v0u6sNvEr{|)NvO^+3t;01xARU9Mi-)$?X!} zC+5;EcqmomZ~v$>xLR^qLMAXb();8+@oPxNe-=qGOU6w<{abcA*Qi+1g^52n5-K2n zR?A%dU=XK)_Ayv`HYi1G=04O8lY=Wx$jK$YVr?m*;r8zy^e>I8^R@r@EAa>l3K)?H z;WNf*#XLT_mei&6=JyUK-vXZ}<4oVL@z6>)-?oT^IWtO(9R=7g$852DEFNA*K=&() z@`;ESaC?wJWL69}1^xKw6h1tj&4FAT@2fayMmMN>uvdUrBnxHS@1&0p(OqPbw4jqFi2dYUdq zr7x?Dz8)iPd(dr`!3SvZF01a-s+oF6-2JDZovus*SfDjAHza&E8880hQ+|Zozwega+(7fc&ntKD?wyEgb0Y_l z^wSUO^ixDIqHUv`vtNBLw}!RZ*{v~J)7$S|MmaSR%frM(1l_v&Ir%f+YauleUYB1v zyM8Wt=?X+uYtJIm@7b_kTzJ*f{-;&PRg;HLmX$GbYk_PpJ$auFqi1icqeA{4dwOSY zN|0Z)JnSVfNqGBSO8}!OfH(ivQ0$h&cQO z`d@>!9{vJf?SWwCV&P2hk%u7qzo~U!9%2kpRgz7ThmD zIDCkHRprDOYEn`dR~5VN0}7igb`|s@ha&F^n+*}Z8k-!Oo?;~Yiy@s4XlvEv(vTVZ zqTeHD;sj^!-N{t9hE})TE9;j69~tY*$UKc}@MiT)D$K3>bdt8?ndwesJVym%YnrN1 zK5PBJ+7DGwSz}}~fno|}xZklJ$!P0*qcLZR`{Btm}UgA z4kyl#>TE4B4T?xwqKMVO%gXQ`^-vck4Amh}uMjJPP}ZTITvbbCZx~q_W(3t?xZ21a zHf%N&>LDlA6z6v5rFezE#8j`sQAb(^DO-~OzpNT?UY@$lrp#i@Gm$gc^ZE14=evrY z%^wT2)(`k^^^SM5Tv5V}sjh-ej1wUlTyaOXE|@OiQZ4Z*jfLb{ zo#@U%rn1%#B8E8Hkhm%gO&CjVdAcBbZLi=nT0k+iKK$LVwEx zI`A7K$VXruw)ZZr4!xIwR{Quw&e$nJ)PVU`&-CYnPk?Y^ zh$VCY(mOsoOSv`179|{SUF@W;bR|~_QmXE+5?_^L&KE-}watPS5r>cws7~AzI%~DL zHDfI?E(hmqr}^e3PHS!D%>vqah$SjuEnazlt3ze2iK4``u}0)3J8U{^?nIKlr`;F2bD4)^V~CHgE=_PV<$GIRyfB8kDI!{lcK zh0t=@!C%7&Qv>*ONd*)la=}Q$s0DZ~7}N^*(7YHJjx885%h?}q3F4dXOYlD(0w}^b|V*#&>Yi+ zcf=4oB!C$Sy?*yGnf_s|Isl?vyKf%O!qME#-POXx;eRJ5Q(HK<^bA7?L|9G^I0_00 IB}usd0qonz&j0`b diff --git a/commutative-algebra-notes.tex b/commutative-algebra-notes.tex index cf3d1ae..dea6725 100644 --- a/commutative-algebra-notes.tex +++ b/commutative-algebra-notes.tex @@ -174,7 +174,7 @@ \begin{defn}{local ring} A \emph{local ring} has a unique maximal ideal. - Notation: locall ring $A$, its maximal ideal $\mM$, residue field $K=A/\mM$: + Notation: local ring $A$, its maximal ideal $\mM$, residue field $K=A/\mM$: $$A \supset \mM ~\text{or}~ (A, \mM) ~\text{or}~ (A, \mM, K)$$ \end{defn} @@ -230,7 +230,7 @@ A subset $S \subset \Sigma$ is \emph{totally ordered} if for every pair $s_1,s_2 Conversely:\\ Suppose $x \not\in \mM$ for some maximal ideal $\mM$. - Then $\mM$ and $x$ generte the unit ideal $(1)$, so that we have $u + xy = 1$ for some $u \in \mM$ and some $y \in A$. + Then $\mM$ and $x$ generate the unit ideal $(1)$, so that we have $u + xy = 1$ for some $u \in \mM$ and some $y \in A$. Hence $1 -xy \in \mM$, and is therefore not a unit. \end{proof} @@ -632,7 +632,7 @@ $A[\psi] \subset End M$ is the subring geneerated by $A$ and the action of $\psi \begin{prop}{AM.2.8} \label{2.8} - Let $x_i \forall i \in [n]$ be elements of $M$ whose images $\frac{M}{m M}$ from a basis of this vecctor space. Then the $x_i$ generate $M$. + Let $x_i \forall i \in [n]$ be elements of $M$ whose images $\frac{M}{m M}$ from a basis of this vector space. Then the $x_i$ generate $M$. \end{prop} \begin{proof} Let $N$ submodule $M$, generated by the $x_i$. @@ -722,7 +722,7 @@ As in with rings, it is equivalent to say that \section{Exercises} -For the exercises, I follow the assignements listed at \cite{mit-course}. +For the exercises, I follow the assignments listed at \cite{mit-course}. The exercises that start with \textbf{R} are the ones from the book \cite{reid}, and the ones starting with \textbf{AM} are the ones from the book \cite{am}. diff --git a/galois-theory-notes.pdf b/galois-theory-notes.pdf index 69bf452e3937a1935a9756a6144145a6a18b79ba..dbb2932d34abf8a60292bacb68ff6612beeda4e4 100644 GIT binary patch delta 9835 zcmajERZtub@Fa{b65QQgcY$ER-QC^YHR$5*7M$P`Ah-s1cXtRZ4#A!K{qOs(?(rU` zs;j17r+a#4BN_K^GHx9X84MpV6`GMDRfr55OrEm3Jw99+5XPgAkQqkvT~-W0sXzT& z867Za5(F)xE0^wGC!0KwpC9P|?umZAZxxI$Y`nXDwzG`SzRgq*9F<|hKRbgrMPaPO zS7VUK(y4BZeH?Q>R7)zU`0SLL_;t@-6Nc|xdHI%$DG?p!e7e(RXqS;T6xePSM~meO ze%#1tqS8be=66{0erxTm2n?aVnh&pINGqyg=?#7EIVo+2inr9Q7u zTr!-gQfNZ*_+w%^wxkP!sV&KEp_&m6U^>c!P*JY#72>8avmGppfEz;Y8kyF(ec{?pQu1%POFu8Ji0 z!a&md6ob|4DzZiaZDjqEN%*g(5lIF!nd@Dk`V5kJHUp(TC>`Z-%U| zjS&J-m}QcPt~IA9+&7Q$6YnadWR~P$@*2c*#%vqjZD$98?GB9!rv)aeT=!AqdtMX5 z0eV-xTWg635wj>oRSDH7#4T*x-3Cc8`*wynX)<&U2t+GJeR@V4??#X?wPtDvAj+ASsS{SVOwKIFw7boY4O=n^N zF4^!`cZUg0PRC_d5*sX>RE^P}K&5%JSco`?G&X3e=X}4SCBPDL zgLuYL)j9qfbq8u;GP2D6*yyOp!_90U0k{rq^=EeR?W=t9#|DPn!Mfefcgs8$DX|N; zqrXR>cyq&<(IcXI#ibz7P~7mxDkYo9vzox3nf{@!^CW}TX%m>3FM9(^ZulLGfX7~ z%yP4;oG@f&e^P<%i=tnl=2g0cqKVi42fu6AxNU{ z_nopWq2k%MN0iJw&med8bsm|SDO*Y$8{&a8W8+VL!n~;)By?4(OBhSPW-nLy?e z{-I3b3b`=qT&fqCqYg<^QkwJnYA!@fK(({Ua?$H*L+6jnY{gL6naxDS+xPtw9ieYS zHD>8VNDHSfo`kG}iwO6gH0RJ6?|)1MPJ>&RZ!-M{WaeeX&5e(WD2|KIakh)$Q;9Vqdc1xnqjUJ{ADIkl^ z1U-wGA{K$c4*cjS%6`4C3kjl1{;m?jFvw&j6>^`lpzAeysb@!Fpb;eWo-^}ra zQF^014STvBYfFPI+8tV+u$>n!OeF7II+VW)K=JTi0KUoxwFXIx435fwwyd?d<6~v9 z*bN3atnB}Kb1{$f?a1e{>U3oBIFHM}i<5)D)8yg;p9~7r$M>>Wx zzoE#^GlUh}(u)*mS}#58cVuIiV*%D}-{ZRDbJ1aRkqP-sbcT{)m_5*sBZCp}>8NkA z0%%ONK4ycaD*EN}2oDKGB&UY~Q|ole{)3^2w{R=01ypT%ePzBc-6$9eN;BfLbey*; zf!i#`+#Pvd`g>a%Gr2f{Fk}27TR>w$W6m9PUdI7xqXl>!amr@`SuP}Qe zVBAYS(JN`5=hJG6yC_br1Ivr7yq9&si~Jb^)B?b*SKhb?T`34Qi_~vw+Yj2oZ6{g$ zP;uc057MU99cX9gVjYDo)+pt^x)(ZT$Q*$3RVL(h%=d#-1tG@8CyXey1bZacIopm@o?(X6#QBbkbAVnffXnvNOZ+ z>=Wo}7sZR_4-NGoZ%@En2CBN(&|3QXh6- zz31A~;UIArO3AUFEZIbX%Pu`iB2c!E{+rgP**OJ$tQxr{c9mgg$^;ZTfc!F@tFTmC3;cq%e7OfU2 z-EiBYmv8PVJ|!E-);J;g;PjyWFF!=*$3}x*0c10ZPzL7j+rZ)Pyh{4ttFsBFVaRWi zw~tqqCC?DQeQFknz^0( zu|S(?Hp`CVU@UGH%%2P25XcGfrgf zhY{x=LJi8Tb-)zqu)XbQ@j zQhQssk=DJ_!Ht$s#*;u{yzVCgu#Z&b{ec-I&8h`kRJk~&4RF|H{0m+1@*5K3euu_Az z_(qbm==JZqG{-;Z)G9t_Tg|c3*FWW3gu^ZU>rfzx+wO9y`He<`Vno3D1wj*o-u07# z03(Uw_*XjF)^*p?+$!^11}b+)@|APj#o3}fnk!2L@^Q4e$0j2i6L&t7lNH;Tc`yUn zV|kV7HeATqQ_~pYR`O#EgGWFe!#v(9#am8#>eC_L`7b2v=Xkmjx2^KRQVp4&9k?KTZi<8U5TqxM*i_3*}9dpS&qBm8K zqbJG%9#fJV@DA4N8rJ@fy$c!)&z@y1Dsb6=YN49$B9G!Nla|O$*YSO`@B|Js-2{e$ zuuwO07>)CYNe+2TqmXbhF0DTpxi#ekUYl4o~LF{JpvdBpE5) zx^*Lw(?V}=Q?|8BUT%$dfoU=_GFYtRp()wX70eSNX1z`M^aWf z`Pj)0qJdXj%2Zjx*O!y7m>ZCywpl{UREIu|A6-(KYuyxl7@!W%x`Ok$n z+K*kK?Y$0`s2+ts!#C1mYt!|8ebr9RYN0sZ@m)f6&8Qe#Jel=@zpmJO0FQ-}Lk0Dj z6Wa;!3Z{y*tCr~Y*#o1N7gaiZj@VMEijRl~E+tj5GoAfDb8n|*OHvo+DO*c->KMxg zAFHnnhy~l@&T3BjVB91srbZrsU`l1tTNB4zyY-}Lfvb_BHgjanFSo7uGSY_iU3ic7 zW7^&DdBnE%p5B<>z>~q$xKuWRL!R!B$Hxd^>1iV`1Ocj#LNa&GD6SKQ$LYJ5AS7+d+I*_W`Zs*_ zi2~*y^%U^fjp+Fcw9vf&Z;4U2;41btny~K~6Fdik(Id zcfkruS}qx0JVl15!XvbTOm;4+#G;-k-WQTuJ4g(^<)(_}2&=yw_8)|ih69!0lH)WL zbr`p!-Hq~*MpGqk@u`Bx9;iaJ!eGcGka-wWT$;s&Nt~|EPOoQKwBzbaI^2z!_+Qk_ zBy`x{$T3wI>RO@tqRP$4aA91>@rp&A>10rLJ7HGsfRTo^xsq2BXXbZWj>~wOCthCK zOMYPYk<`g99pM`9q4g~uqc2@p=e#@+2vL5o*?2 zk6^{c9QEECn_2TYC&5#e_3Bz16cQB1X&Bb2{@@Z|;*E{TjEFeWbjpR;jt!mh#J`m= ziqnARksYv-A_BBL{BCSpmPlGblU)qKWw-`6o-?;I)pF=48^h}hA^01~nsJK+9(n<-#|9r7nE<;hd7 zf#9ExZELFIhy>V-yd$8qCfkU!AQsRRq6EQ;aNH+Z0SE_-J)nQ11}wnkA-BUI(qHhr zZUa*J@vwU3m$<0lRIhlcM!zqr9|T>m?@H4ql3{2x45paFA||FB$e@ntp>Dh2=g}>_ zLt#xk9zZ)Ed@1dMKGBvp;lw)TL+Wz0P{1@tdIU?zwxAL52H&kaRb^_cFyyTAqza9a zfL#P&1#D5GElQ&)Rj(iY$l*L=xYA8AEP7ieO#lxlC9|!7ciy$5Lw#aLvLk-E%cJ@z&E+)NsHvUaX_kCPq!dQKV4KN;Q2t2FR&F3l z;j}1!vCQHjXABpwbnl-K6F$jWEp<9FFmEkmzEn;TmDV6!K(#!q3_)`t8cfPF2^o)W z?TKjupfAOIk=NiRa@4=~%c{?Ig<}BuB)!WYkfk4Ed*|nM(+-4n(c3GG)FCc@6D5cW z61{k+SdAGv6jIvPGKkRqXM~Cj`bp`!VJaw2w>v+9ry+%4zKqpz!Gg;V~~d)onC!yyNm*72yQqA`s-dHX1cyD&d# zNamY~xm`0c2?k2pB^$B&v(=Shm<^Wt5>hFy{4H3CpWpR(bI^DC5IABZJN(TQ+)#l+ zRFdNkC)w2-@&am|yOU1OWb&$4gHxr1>4A;?Q6EuT<2_nZ{4Kgw55>xfG|0YDmyLM@gNX!ezy0hMfMZ zw<%#g0h52=n?}f7r3_StBBmCXK=Df}Dj@yc-J9b#aFr1$3R^;6JA}A}fiVp_(l;;X zgIp=~p3>X-G3%s1M{E+;vQ?!H5_oZa+fxN@(Rr1dI$iA!fIF77M~*A`kY9YKm1DCQ z4;|LW%!&bWO=3-#wPDz5=2H_SR>v z#Z@DOGaZkN^+qpsBhA$B)+_u+-$%UX^7&OfnAqb55Lr+NuMKIqf|v=%-Tb+~{o?^k z`ObK}iF*X{ubL+|6{f ziQUxo@@Fek&hoEi!a>w8L2s9vg}Wq5KV^ufRbn=G6S9n^W6EgOv^@WnM~2s!?`_pG zC^E>NuzW(@{K%hp7U-fInWhbR&aEAkuS;q#A!n&L!!+My#G|)7^jJCPkAZ;m%^%cp zP(~9_dH4FvVe_Mwk>~b=`K3g$6;2b=Ps_X09TWb3E%Kd5yF3<2OA_B#7`y*-i=Ewu zOE2SwH$S-_XARO}?p$viA9pX^9)f~6TLn}zj(f(btD*(6D$PtUx=h+wAMRBH=t*wk zQJoZddOtozwYDLbKI)6@sGHz;zm}ujht;vXZ?2bSYzCrk7ej3f$UHvYsm~()P>YPH z-h55%jR6j=B&W4x(#ozQBtb36ZU+ui{S0yl%g>+s^mjGr?ry7jvI%kSjh;}@mdN`$ z!Uj2Z1)bl(M(Q5%Qn%9uj4em$#gVGp*2+w4vhTJf5$cO;U{Vb6ALp9f+goHlMaBo_ z^&9P-f1se2F9Z9D!=~hqIQF53U4s}drucYfBWY!|jKEln%5=~UgNNVe-xEcZrRb7J z-(aa4Ne6LkFO=V8iBMinj+VgC#CD-u|9g2#ou0yl<^2C{6RBv^h~P8rYdkxtkbg8m z+_u&!bO9v%3sU7Be6u(fu2NK_F;(O}-LVLaY7rKEsiBHUi9=>RR~v@N^sPurfqA>d zkk_HVr`Vd&QvAib4LY%-W>Cb-Le!BbapZ|Eu`*Ok^h%Jse`Kdh0$OLLIBSmtc|fyqpX5ZzZq?eqm6frJRS zDrg_Xn50OVJBCp@N!|?lm2XTYB;6yBWRl9$T9);kMeJfKY_ODkr`v&)rW(wVk3H`$ zR(3J@dwq#|8>iV?A(efii1iE^zK1adPahEvbv1Ch6}-3m+FX2naF7p183`_eHx(rx9^Dxf7A3E{MKdQmb1q0rxY ztxSys5iH>uL9k$s%(|S<+^9o=Yo^mpp*?TRTQ@By5=7_zdM{j#E^J1&KJ36c5#Gcy z0FbdK5=K({hwaG&MMa1*n$&aZ<%o2O1?A1#CQC2y9k7M2`5wQVSk3}Z-06OH$jYas()E5(Ty4#Qy5jPCm!v|a&^8I7g9&An5oBv3 zKee;&zI3!gg7-Rvef92I%jBWNWnV4>n1Bh=FMlbo&A#QjFx>c0-l2QKdfgn&;c?~` zfvI7sKjGSjA_*}+VR!YW_dKjGZ|GX1*RT}Jy%jIyyKMF36QqBLY%Thk%V!YZhxco2 zOI@nH6&o*2$#1Bx2Gi2OjaJqe>#x?~ytbg|x#^*yB``QVx1Les%PMPqtnu-|-W25s z)0EW0ZloD1FM9G5GmMKOdE$!r-2^v?gF*C&cTm|UU(^Vt4IZ|C-n!U_{3W<%17Dp z%zF_U3)xbStjii*|M|LM!nm4NE=ZbX+dMXP3OjAOGDy2&_}y8N1o)MW{(b+=6)Wed3L4uzH_+Ojj|4>>h`QZZ) z)i^oD#QA{Y65K!@DPB$>P>L7G$@!I&_p6xXS5Z!0F(C?p|0l%|nO(us$=bt)0>laA z`rjd&HbdSaLlP$f@`lf##-PIBFT$w87A|J{#j%jJNoBld6FFS0FfGGWDVUxxo*~LWzJo0}Geg2(%wm!;v-u9m6p$xk= zX4J|3auocchPY%>csL=_^bIoaKm|(+RB!_0sS;{%_`|mAWorWCH>KP-ZIuwd{(VUC zOE^MFqGrxWQdiHjA7iB*iK-&w$}ynkQ`AH_O41iiDA$C*w5U|mlv~$cu6Ru{EN!FSOB6+3o8Q+~k?%~C@^RnD`Bn323O^4clUh{Qtg9kD5y%?t&W zXP!>!6lo-^rs9#k6qs5vLDl)9*UMi=))azjLTv+^Bl7JSD$j&-6{bUk=NMYQk9+pZ zORo~pgmTeV`rYK)7k)T27_LO=KIo4v(J&q=cB+IRBnn&aU}}@u8|75AU_lQ;*e8mF z6m>48lE-q>*FNa%*FM*5>Rk$6IJ8hO=PnnoU17H&`h3YqP(*w%_AZV31?BvLQgGvU zwT$e#*(V8Xg%Ed-tKszlYgi{u>uq|5JJB%R5Ujl=6#P z5Ox4dOKo1f038j?dmnP|VKGgF`DtwZ3rgqVBG zJLg(-ATbi1fK5uzuXJ}|!qY3X?QCkMhJ6kNYl2~-MGj~ijASwJmwiuKKBVjte%pT< zYA%MwtKHNRK0jC;Nu1T4Qw;*UlR$WR!tx59-ct&rUspB%dBQwwn z2bsfskObp5tN|FHO2c)9^b}Jj;Ix-TrT%(d{rwy1Vi2JS?tcodBxNUCC?|u&uCZdJ z-v+9!XNtTRk#vDp$zl#do)P=vJpJF}k{`E$PUJbJYRDdH=#P%$-Uaygq7SPL^qC0r zF0sm8F!z_Mp4vcy5*q~4pV$rn{mc&>Rs3Uspb7ITz!%!H;^!t#S`O95{`5$;57fCC z-nP`Dez6Ab0G?3$FSfLtkQX%-DP&~1LN&=|)`U=TyvuEE$N-cyPFlMejtfN$cF?|R z9Bj=q7ccrS%VuXKQUw?c?^&D)gAbi8Jr>Z{pU8ZIAFBBSTvdUhB248bF`Vi6Z{+KH z>=EV^HFFehkUW*1R8!n2DL#xwd9XyGnr&}JSL}v zCiLHgW8yiUB4-2Vy%X4)swIbGd`aR-qYsfesm2^IqaEk#brrZsQLD;FT(vV@ui&C$ zKu(iKl0W;bI79U}ws|%s_Bp-oMAVIB+&c{@=i*Yda}Rj^Z-GVs7J# zD$h>NBTq{%gBhL8q`4=Dsh3p+-Dc-Zt0H8Y$t2!|Xz^U$L8LwGe)=$F!~zT*hfRtuY}EsShN53a%V1% z3Qq{NK&>;?PbY&O;Qw-czbw)h4}mj%3ycb=1GftY+)BhoO2}%qw{;m{j-;gdQ$|XD ziyhv#ar^$(XpEeOdk^Nb^9y=b`m!^LP$?v43#&o3lk?(3o{>#!{oAOP&@xsUy#D_1 zzQ4N61s#7C#@sd#gR|(;wwY&QvNsIh^JX22#pQopW7-i8#%5%~hYa^le=OoqTIey> zTv#bah|Ajh@-aa-ZO+sc!Az-z@|+0Ku5Rx@xpYC5Y_(rpwW?uLV+x=2ufVerd!hv=C>(uh(Wol*5MK#Og}?emAtoLmG-sp&s(sb@e=5bJ#4 zc?!(|NiEjwKisVpfvqEQQBu_#73nnTdM!B)dkdOX8R^=XLPW<^ewCNo;Lh>C%-(i! zr7o#7bU5f?Kka9awsQ?OtXcQGpGCLY?<~heawX}9A6|P__D3<|bISd=H76#rAbr^n z{~{;v#LmD5MDc(y!T?QhSehs@0((y}EC{I1D<9%RRQ~tT?>oWkew@;GaoERwSbxSy z>8hpCtWXZkVlN5ij6(CPbPR8F2aWtv>Qw0$KWt2-FBLl0-$k{DYZ)#tZ={$x3tzD3 zE`)XuT&@ywO|>@B*pjT%E^?Mb;Vp=0)R$J3G5gW;++UP=DAQ=coL41yp&~LkXwlKl ziK9Z9$crY1G7%o=&sF*G%$83yNshtEe=y}ye>280AY&B;6hj-g91TO<%c(idx#-HI z?WBXcOEu63e+vjyp8{b{rLs{fCHejl#pR{J1W`+MK0^0|v-38SH%g%z6Ivx@bBNM~ zHk9;16SDXr&gPSYkx^qBj8h}>A-&8!^$IO^48>i|d)A5L`ZUqi?yeNuJ9tnQorw}C zvMX|n)dbM;{7odN`ws9w#(r`Br8o~r$|)9(Q_AaTU4q}o_RowCa72>q6Cq6g2Vd_S zHhJeAR>hcN!jY7^BaB*;e)7k!j_xDZCEl{Ai)9B2Cvrv;Y*BN_y{wguP~mGxl{i9Y zp`IA?gW2C0QY=Sbq6vvWB3yPorZZd4?c4tMZu$KjgJMdnN3@=c+U5j)*|WppMnMp2 zpA>}%lVqmaX>oyWGXN|UhisVo9iy$8&|uK>ZKgaLknF&k_;y;`3FFX>6$9Gq*>8KS?Tj9yhL=$ zlY_!%oo;Ai?8Q1Xx@?`;R?-GsC|yK;$>5mB1PHc-dWM;N{S{d~XXqct%bY1b>4{=a z7ga7FzqI-qvjfMu_QOOu&k*zQXt|KR|AQwIE2WhaJd;Ws!&-vm;btRY4JRI8d{0Yd zKYTtF|Gg3dF(<-E|0BL1esI}#vd_Ke#i^2;X1~kB#o{U8$r4QD$zke|P?D{+RvYWJ z4fB(<_gmp^Ouxg;qEau2X)TtFlm9qY~j?%Qs zX1&}4m^lNPqQAZc2u{qMpeTFBy^d`A`AroM)9$IMZu!g4a%%5ftu2rTnSI-NoNqkL zdpy2KcYq%hscY$~w>0xWEaR@WvRAsgMPyxg^sBQeDHVwp+>bq!-#JHkDlCPCyeLZj zyj!;Rs|#VCCV2b(MSAR%<-H&LW8NTnk4-Tf@V=m!m5bsl*>Sr7O9ZsD<Q<%yQ+A+9(6~Sjh2vf#2nQ)3#9GXiFxkKGJWiN)i#^Q~ zoHm199?{|9T3?(-<7aJV-_XK^_u79*%*FXA_uy-06D`%^b}S1QJ%3-Wx7Ng2G2Zan zQ17D3i*Z^x)=APzk&%`9X9$-AF#@mY2L5fM*|P2@?=GX4-$dR?a~T!#ZsQ;>s7sqz zrGV4EmWl-FC~>Ub?$Nzp{=ryruI|DCtiHa7s)M1nWyv>^e7p6Kr2-qSuX1y7{6X4MqxnV;CUDI zMp$1IUs&k`;YZgTXCWWT)UjgO^-*t@p1+T+-sQhe6)ameh9pO)jufWLwZ+Y3q)I-{ zZCE4Zszix&-;p*=$bDCI+XkjnXc8s)v%R7347_yndVW?3xG`B2<}KA7LH;~br2I@t zg^AJuGS*8zh6EF~`B-pL6|Bl(gKhRP&{h(dsuzA}aI{Dt}#$L-qf=6W0F9$%V0)-r66reMHZ)+8uPlRznV@O!5c7 z_Kp<2tV()^h>El|Ohm(`D#!0ORQf^rVE1 z=)o(x?YE49?sxXxIepD$jyw(zh?hy}N%Z*OA4MbfE>G&aox~27#WB$MOx^t*jWi@P z6)3k}zae<97ru1BEvE(u=lIu<5ypXUBF=_e|Ma6_%_cdY{es<`V)zkU796=gHGr;& zdNcSRh>IEkCvtD<^X zRf!kubb1CxFq_8L#o5Dw=Od=SDX9lye`j?b|1GybGja&7SWtMg=aZi)**-Q;Tflnc z`qNSB+%m`I;9QS7?R|ov(7+4!W?QUD@R`4<_3t@R)Wq~|@2KTUn3Y@Lu=)fj4|LZ> zt%ueH$*TRpeh+5HANo+p)-F~ap6=Eb&i^CVuMUmV4EfG50_^PHi{Kd2vog?7Q>^&| zxg^k43=!<+(|>2MfL{_Wx_i2W1N@7WZDMtltuy(EK&srqC8cx;<7e)v-8t{tUB4)n z_FJl#4h8tW!lywAe1e{pY)_8iNY*$K)I)piK0ZXg-#It0o3Nm~d9d2(9ZpR2ygcSS z7kA~eIU2)Wkcb-L8`-`b!$lX_YU32?INs7RV-2dr+H90DgDnQJ0Uah+Rc4s&&PYd7 z1Dz3YQM1R)PB{4dsY^{LqRIxo!TCyxMta4AA+*_&N2{~(x#H5;7PXyVlanlyt$8u}{f|XWa zBp7y?tDiJoT#a&KGNt4=wko%JqfboVv5`*hOinkz&4WWV2nP?|`BZSBV5)nK68#i& z2;MX{FHNd3a1fuJ>V;TR8TAX@Oy+0pQ-D#m<8+!z8x0R^RtfL!7i4akv@rgky?T({ zRX^5S#N5Cf;06!M`MWEynSZI4vjYr0myG_8Kid&N|3P&?HK_!DYh zTtDXyE~P*1@i^GTt-_0v0__vSY_(!OS6{?@j=;Mxnx z&r;?%hzwmTI5`wq%uAy-o0KTdO-%azhYtFY5tK*7XsCqu>LNGTgD!YoBXP^$nFZ=Zxy&^6>;$=KnAx%R3FzK#R>Cc z@~^_%4bbM)eX#?)TwR@EwpW)P3wjC17%fg+yQml0X&~wl&XOh*jl8l$?k7SXCd%Ti z3YBI3Z6T`QY=KQBV3S&IS-f~U+la)PpqPaAG!`$ljGfB2-5We)u|xIZB_T&Bn`4~=X&=?ul8ediS#z*E{O1_#j~SNqpVp)0v8z6XOo4R-F! z6Xka~0_fYC{RQfoB$)#KuY@BSL4o&|W;!_z?YXW4ata}>1c)wnsR4RmcQz89L6C2S zBv*})%%Dx1CdD2Hr5q8)jOhF)8cl-DL3>W7v%mbe7?|hodEr>AkG^=WQ5mO#_+3fc zZz>INS|$&~3hm`0A?sdPmZ|}C%pSOqU)1ykmo1~dXbM_S)CLlKJg<;bbT9xb&s@mJnSiF$dMUL^X(i+0-QK` zAm%v&Ew7wf3PPY}gTnoMdqrkU!^hPRcBl0xtX)T;%j(Op&l=bq1rpX5YU94o^IEX3 zdQP*UA69fcb$!Vtn5=U#bY2jpUNun>gSMEQOzut&yE?9UquU3!=l~dtIRm(6sDCj1 zRr`XI7cc^RAUa(1YIa}gU|QZVUZbo+GZoK_H-$E3NDRq&MX7%JNK+La;Xn4)2;S=i zgYBPg_g4?O4n-#^aI$&T$lw|fK^Z1>Q=37BtI*)sdF-7fE3@pMRTDqescTpoTW!G? zKR}il;=Af|KrS#P77QzE3Ed1zl7(*y(j7WNLjZZH-&~iRYm{Bz@hru(+wA19XtpD& zZ6UK>li7N*I(aVui>(t-h;u@=LRMiCNY;v((HB=^240^ z^W;#{jQv27Yl_ltbAdqg0k?d~e#);f)R{AP|4t8SirY9bVL=Iju*Gddii5g$h|&UV zZ5GKA3*8vl?-)|+?hO94Z2__aIx$th{#Y=7!Z}^$Lp6Tp9nb7I7)?5673EN?c`EBY0U=1WZCzB z>A#0az>lI-v78aVFGd0fpygmWO7X~Xo60)O+R^X+2$057rEUmle11QdfvrJ;6OO@k z(WKdNhz=Is*j!#bE^0U68c92u3aU6dQi{d0=)Mw@6EEu9godTgkMq+;9AY#|gzwIw z;0U=SHm~XjdbhjdcjMF~&l)uw7-|26teWVMgC|MVI3K^hHi_UG`E2>J+$q+>RQYEv zb69`r<2wz--f~#`{8&=h*tcFh5bBMhqtffslk_Th$EyF?6iPTq_3Wpiqir71FD-}5&DtDPL)C-oThWn8!VMpofxwZ+_8X|GVg`* zf@ASFLbj-=7&LE?1B44CsH$H9_CpBVbGwQJD>B^zaLmc@BKYTcunJ=Fre46?dw{(lqCOLp+0Z0xao}tvU8X?b=GI^mAK*jR7F~!m#5jcH#n_kp zBGACg-oG6XE(GS-%w1OF7^Rk%_nW%@CorlN8he1*K&MDqW!>t% zm#`zKvo70|%PbDQDJ;VSX^__~$uZol$7VD-94p*DEJLyuYCz$2GPu6KG$|7HN|PrM zQDPy049iORq{28hQZ$O0H*sVO;m?7FGh#-${@f`|#{BaL(xrg$z z8*t30WX^?sB!JZIY^984iS*bjqtJp*%pZEU=2DrZr_PYG;*&1^2ME3jg!i2z#2z!m zkt*K4#1KV1!L?@^r1%r!{G%WBj7Yxd679vUVS3yd9ky;G=ex(TB-~F-BI69c*45vF zs}$=Uwm8BQUfR)v z_MoH?Ke&GPIOCc!WnnPLSW7sOS4O5f2I)mV6F!CAL5dWX=9X62rNMZ95Qr8=J6i76 z_Afd0IfS78wo3!@BATVP?Q8k>LDSvm^ZM9#!l?Z63{hx>kffamN@fbDVmwEm8a^IQ zDcm_0<4zvHL8DFcS&bh3hCyfY#Uil2@^(*?Y=i;})?rI&{Ry6J301ryH{E=UKw$7? zJP}jDo4-AS7+3k1yCWnB%Slo@jJflhutlG`BmTHG**>A$#FQ5urS8NxKL`n+>$g+< zjdoso{TMEIg)BtGj~16z@}PM+Dd5#nnLg$9Ps#)r;;=Na3yGVeO@~78_90gueSI|x zY^Kt--^N*-S{C~XNjU=oo^@-qa2aJAUSK7a8V99-FWz@DG3sXdI($(AeJw%RA+|pY5>w?oR*Z^wuoVyzW{hc;dQVG%B2 z{kaZiIlzM#q6N5x*&Qo_(j{U-IJdQ3J?1|xsaEsdA0M(-S%ud{*1V5daL?M8IlJBh z7V(Y57EV^s;ErS*kttlIkZ!Y2K8R@vIQJ#?YGNja`xuzcZdK4Md1;*qOlToB_5r$O zmj-;ULJrfI!|5MU73ZN0+3QxUqi2q8cZp!^*MX*@a|{`x5A&8BuruYjZ7}22oZO+- zg;-Dg!xE*ArMEq-q`AG~i~5LE=76!xlpPGU294~{HtULun!tAKUB}7*%8bQnTGH56 z9z2nEw{n#Pc^`5(U2X>}($d&FV-*)YMXLenX7hKF#_5Eio>W*@~t2kWvt1glxwA-#{iX}H8pvmenPZA(!$F$t(SXL z#^@3+HH+_uL-ty`1Z9K$;Evq%4M%Du2r0({p+{%6$+UTj!bKnIs9=f|eQHk{!K|~q(jiFryA6fAL$ca%njyOJ7&fJG?gB@i>cL(HG7Pi^^^)-6FXV4J|m!< z_zx5M#0@JL2yE~~C!Mq(X1(LW!89Dg=U(mn1`rgtNP0d^qnmMC+G>Kkw8idOoISYf zuoma*4OlTfBkf97H;>Gy_vd9OcEWSG4LtYque`jGE~ABNIcPSmJ* za?7SZP(lg+j5&9Wi`+=}j*RYtKt6r|sOpXP2tLG|%n9oun1nq<^MR-*KoHbH>%&WW zVK66>IgDTZuNL$p5uzW`RJX}76W-WbrOjf`^!DsWnUgu6P%!S10LJv8Nd{T$6}J*+RLm&VN|jL}>)J{cagNIPA^8Qn$v$uM z34Dt89Bg}rtT3)K^gV%cWbssZwwt~mAGR*;$OhMbf167KtGh;Dm|_^TFLHUGD-B4gpA9 zzaqk-9O{g`qa4Lxy}2+_?H}g%1pK_|3sc!#&pw#DTn|BcEz%yHv%RMS$-+(ff>q_G zk$$vfnmXtu`)V!ZbExz%$G22}!F?-}H-wg|x9fXQ>OqUT9QQs?b{%J0S$_`qorv}U z5Qq)|cVMDE%_XS*w88G?&Dg@MLY}v*Z(yBMDJ%YcQ&3f%E3!F)$t9bxB;!g>r3m5~ zq5QhYnW2nromOCE{=Eeg+yF2X@xG^&=^?!5U&B5jxNysl}ZS-|OWvTi~SOa2)kKs(PY; zQ#eB==$_rL52a<`nQ@uJQxys{0p}`)#Xuc^solUw0rHh<g)jZ5Up|9^YRUCaT+O_b$V3!Q=PAn-j&Rm zYmhOUf$*8Wk43aP=E)Um*&Y3tkVht8JIh3donW`4!`6w)yrH{r2lPqHCJCfrz0wu8 z>_*UCZZN2v|v)z|G_b7M^KNAVG75*t{fYj$mbW^Br-oXHy8szV1o& zbVEYafFr5%`Y<{&Tkyg0f@tj}&+Vy=p0SbS6@x)*G3Zed86~X3hx(F~8_yVITXr54 z(Ma9%%#?7=R+aN$r?Id$^c_kp5zH%PdYB^e(C!}z4iQ+$R3Z!V)O-z?=y=e-`0;}E zV_Vf;NH2;oqkp?l+%1h@$ngxELZv+9#wSSOxVU>lQT}?R!$h_e%=KXDQ<@h~i)Ws6 z<)zaH!GuD(uW1Kc-GwlfW%bQy3tpPetNvN7oI36mdL9viYf{Wb%;ICHV(ZUve#riU zNxCO8=${_SEf_Qj#`kGV9hpzLwUF%y^)Xv<=)RE5YyEwN1->fwAQpQYD}H)q_vi|?#)EGAd$rrA5zdz|V*N$(qph9* za8eUqKTzEksC#sr3ouSJdzwdoRa*!JnRA-{2Ve8>^yv& zygYn7QnI2H!v9~32{N0qwTrE%9R&y1|81VZv>8S*88U>UhtKF8WfzsF_PWcr{)Q$# z%X=MFogMkpr}kbV)m75!rgE@}1l|S`d|n!`*q$1~1g82kk+ATgh1jGqVUkQ=tHu9& zD_1?gcRvLS-v-`J32}XX3SUNG4uHR#+cRasXMdqw2#?%vg_%uC8&8ymXELX6ACuMr ztADxD`A0Wf9q#r|H$6w*L)ea@HD?`%n?3~FAXiFN#VcRhg;gNG{8T3KpW&E&IURfC zx}cg zf^rn6KZ4#cXVFJk3P&@iUV-)Rvzb9@2@OUmQuuNLW0W-`0fH*@6NG-azSO1aN?nO* zB2R!)=p+Tg!{`PRdt#mykGq9n%wY=13`(zwiL?-$m9!H8OWMhSPze2$AoyG`yc{#P z&xs829m9;}Xg?Att;iee*!fqVfiR;|qP|^FDPSt})^q7kiTK}yREQLfgvOfRz;%=* z@u*5IOz3A|ZX`jkHo@7sQ_`N>Vd)e1jCqlg+$2Yb#{w|m6*r_JNU*O(6vte5lw#AV z=n_Ljh-6#e74Woh2)%xM3zZMPgM*@fp$hp7M6$DVmg`r@Zkuw;+xuc>WAVu4k45LH ze560Ud=(*F8*3>ts<~-xQLdu4Ej=2WghNU%sOp(}#6Rm+>i00iIiWo+|7jkG!)H^^i4E97z;=^2_;AgfM0Vm)tRAz)P;zHXbm;n;ek*9U#$}_P1}}#6>E^%EPNIE zN3~svPQhlCUAj))@pdU$)n<2&sK4 z?v;;Hf5}`OSuOs8Djs(efig0j$~)Y=Ac~DCqumd~nHS%wmz4y=?o73x)|KKTs6V*! z1crV{b=uk<_M-8k*vnVs@*6i9qL$h5RFYO=`x2WXpO A(f|Me diff --git a/galois-theory-notes.tex b/galois-theory-notes.tex index 40155ae..e989811 100644 --- a/galois-theory-notes.tex +++ b/galois-theory-notes.tex @@ -277,7 +277,7 @@ \end{thm} \begin{thm}{9.10} - An irreducible polynomial $f \in K[t]$ ($K \subseteq \mathbb{C}$) is \emph{separable over} $K$ if it has simple zeros in $\mathbb{C}$, or equivelently, simple zeros in its splitting field. + An irreducible polynomial $f \in K[t]$ ($K \subseteq \mathbb{C}$) is \emph{separable over} $K$ if it has simple zeros in $\mathbb{C}$, or equivalently, simple zeros in its splitting field. \end{thm} \begin{lemma}{9.13} @@ -809,7 +809,7 @@ Let $f_i$ be the minimal polynimal of $\alpha_i$ over $K$. - Then, $M \supseteq L$ is spliting field of $\Prod_{i=1}^r f_i$, since $M$ is normal enclosure of $L:K$. + Then, $M \supseteq L$ is splitting field of $\Prod_{i=1}^r f_i$, since $M$ is normal enclosure of $L:K$. For every zero $\beta_{ij}$ of $f_i$ in $M$,\\ $\exists$ an isomorphism $\sigma: K(\alpha_i) \longrightarrow K(\beta_{ij})$ by Corollary \ref{5.13}. @@ -1065,7 +1065,7 @@ For $n \geq 3, ~~\mathbb{D}_n \subseteq \mathbb{S}_n$ (subgroup of the Symmetry then, $\exists$ at least one $c$ in $(a,b)$ such that $Df(c)=0$. \end{thm} \begin{proof} (proof source: cue math website) - Notice that when $Df(x_i)=0$ occours, is a maximum or minimum (extrema) value of $f$. + Notice that when $Df(x_i)=0$ occurs, is a maximum or minimum (extrema) value of $f$. $\Longrightarrow$ if a function is continuous, it is guaranteed to have both a maximum and a minimum point in the interval.\\ Two possibilities: @@ -1076,9 +1076,9 @@ For $n \geq 3, ~~\mathbb{D}_n \subseteq \mathbb{S}_n$ (subgroup of the Symmetry since $f$ not constant, must change directions in ordder to start and end at the same $y$-value ($f(a)=f(b)$).\\ Thus at some point between $a$ and $b$ it will either have a minimum, maximum or both. \begin{enumerate}[a.] - \item does the maximum occour at a point where $Df > 0$?\\ + \item does the maximum occur at a point where $Df > 0$?\\ No, because if $Df > 0$, then $f$ is increasing, but it can not increase since we're at its maximum point. - \item does the maximum occour at a point where $Df < 0$?\\ + \item does the maximum occur at a point where $Df < 0$?\\ No, because if $Df < 0$, then $f$ is deccreasing, which means that at our left it was larger, but we're at a maximum point, so a contradiction. \end{enumerate} Same with minimus.\\ diff --git a/notes_fri_stir.pdf b/notes_fri_stir.pdf index 4f16693522464b477b4074cc3c5b05c29c2dd910..4eb5c83308f4fbee6ee84a52993c97e8e41e88d3 100644 GIT binary patch delta 11299 zcmai&Lv)}Glx<_%HY>Jm+qPXXzNBK?wyjE1v2Ckj+oNG)rgWFv=Txg!w?S`srP zYPi!CQ2Kak|NvXq=Z3%nj9E@z5J zs@jzPwU>omNO`^a)?S?sIsf!P+-1(|a>AYDI`TQluaf&Ny9Eq)=&iD=bbRJx#EW2u zBhX;gxaZR&*Aa`NTEMGXv2|Wy1r^HFj}-n5f3NGmw?Ew5YNVO)5{)llq?zcNd=I3Q z{~VBh{4tIG1F)fR<|@#oq9TKknb;r|qOwq~@l}AR%dSpg#dDc@rX@$2XGIfFAcWAP zLRbi~YFHnOXm|naIFByIQ`mBQxgQ2F;zC^P3KVPIJ96sLWmQ7Cx4Ue>%3`q7Q3et; z{}4XdsfMxh8{*hA4ih;J9TFSrzP{(Z z>G+FOaSSzv2?;kpHpWSS@0DMBNwx1-8>JJvxz38imfKU`LPz;ph;?kJ)H2VP=Z#e?I z^fP^|WEI>(8F;4MYBtr^O=kMP+}uupPoUMCnS3a*QEa5lqRF6O6FS!Yh0pvpVa3Eb zS*6_#lt_;I5v{Sd2p|4p>2~$~dH7w^OP?*F0W67pP~Cnj5>d&MiY;rQ-vxev-2}mt zBN%er)(HivRC#yUD&P=YHrbfzwElskyYEK{2sVD*h`I!$x91gCJ1Qz9HMtQ`d}krf zl@R(lri4}zSP?GM>o5&vPWv4?9)@aNr2ex!bBp#)214}W`ru;DFg7~ZjNbYcA!+yss z6|209_)+6EjvLh2iyiak3ZEUQE-?l#S`}CD*@|Pxsig>Ok4qI+@CBi-qe<|3-}u8V zmGTbTKIESXRVxWT(Af2!xp&YMAuBQcn_X29Fxn(YZ9pO#UJ!bfFGHZ^p+M9}0^GuM zIyNu_n-O)iz~l(#Wb(;ydzF5xK{tqhRTpoAFT7?bLxe&YA`E7)rJoB+S_i$X?>Fe* zga)HUJpY6}bF$4Oz#X}1p5g0@qR7x88$VM~wQo$$?RO|>A;eRoiaj$>_2EkC;T(cX zve$a?t4nKky*9dPU|=S(&w1PB0O}5CH}GiY)C^MdYl8@Gbq~bB?J3&?nu96`nuRN# zB2sK-gOgfr-u1CTuY(9jr-^BPwQ-tgZ_}3SpC4O~H4o)|;ot=(dzbK42 zu!kiywD2!lji|DMz13umD^5>6NI8ELV_c-U=`FYBJFkcE5{ORJ)IgV(0#{D2h%KyQ zi-&Epj%f}Ht}{0_YIh{rKZfK_M41HaJQ2kpTeFP^NnYEwN{VC7H^q#S8~GKt=#nCT zB&)~i?kzFN%(VznO52qds*DeK1Dij8 zs_1J>CRC{vqo(<63ACFe{;){q{K%JksLl1~S*uYily^xGM`{u}i%x!uO+TStPpou? zlab!#RS+R&wmUQ^sDBa5C#f6l6DIy*sR!Rt0g2t#HZ={2Xsi+PR4OaIopI~ z#EK^tIQ{e3*W#?P#kWeoo_~aPE}lWZ0(~p#sr5tqtGq@H>Z%#q9OsVjm`Sb@e=xT$ zoo5`^FkG@jy#L1C7ydYyi?OxzkWlcurgXa6o)ErM8LBe%`?db4>L*s&OnFHh9BF#I zBONv5euzV9ZcgMQDgZ8-BxzE{r_+$^u2UgvSxE4MK|Ws)84;@^5aVHlHLm4V&uPN+ z`nv(&dO4r#TD<>DT&>&Ri`{2)8wwr#eY$%sAn&qHA`%B=pdkmUqBM;73Siq^m5;;tSAmIz9fXKq zH~jv|bQ3~viM5=l>2m#jUR8Vc+0bUJT)l+I9LWohlDo-T#;5;*#P0jT+_bmBQXcX# zLp3afV7lOj$ERm=!-1H0R}?ZrS8~YVJROo%U70{`)ODl$?$?{&i;dk!WbZB5;u@O} z0c1wT+@3ujut+5EsOn z7tIIVD10PtH*{nTkCe;)uy>UUVSQ!50-?!Gbb*PvQlc4Pbss{7H#7EX z6LOWV9AUXV{CG$(t{T^+H$Hpy#m&4D^*bj~)M9p$Ch}NbpxkLF_u$FJw@mc(=c#v~9Zt3Z;UMh8o zL8?K{#~T)Ae*H=eJ@#(%!)Z81cjoFKrN(oSA~me0flSiazQqG6x>gu2@|_F#)LY=D z03gs@4I{=BA;ZFLux4h4(lW ziSxrkNvdPXtZ(PUC$#FR#t8YwnD~;r*v zPk(2=x6ZDaN7WZcUK=87*d*>! z>Ch6w&6hc#y9}jm&ZtPhtieTET;Of{DI4&3FpOoa%aH~@-4Cb(#x_k)h-VW<{99YJ+#?4HxnmOLX_=6!8qYcnKBoP88l^ke zju~{Yw~z0C0T``n6D-ZEU99!@brscVUIN}5i|FzhGO!b>Wc@{PA3_c%w2&8Scu7A{ zh7vEqf-X^UOc(y~zdY!^9J7(xv{8HECQ6`Z5pn;Cj_Avc2Jd$d2`1xB_Wkt|1P(cp z*`IMsFeQ#M{fqKjb2w%oLNi$>ek#+Ebume~D!j)l80e=EzrVl2_e&TbrG@VL=r1)` z(z~ULS*ne#NGT0*6=c1Trk+58IDLh|7Evu$#Fc!^U}iGhk<2Lc7+`+2gW*`$N{~mQ zJfKqOiIpNzJL87yP-45iHqj)SueMYLuDjM-lYa`RPEUKTyor)XCDsIQCh$9$Cn<2=fD!mqibD!Mub+*f3 zD$mi{d+5`@o(9St*qccT4o$j|Rjf+Y{jZ1ya~LfI_=uR^1&U4@CFOp=NO08Hd`CG4 z&upHK;_P9mieFDID-d+Xni~~dsUm|S15dYqx*|K1<-U0Sy5QH2^J^%rDO84o%qHWL zJW4kZD@uhZ zWo(oZu26yz4I!-k>*Y%jLmHnA=jTl!aHNw>0^AtH1)f=~TTV^p+n4z@)H)p3z+ccj zL(}RMCf;wVNFp?x(P;_PU3pJ{@k$t7Lt4fe0=;Tpf8I zC{EW!RUz$X^hMUMwU@bi0E;RQI)2BW*?kw{2rgj=9M71t*{vVQs&!{OI5}@8}6VeC9+LtsD$i z^xCm3WcDP244(mKlrw5u9NNK$y1PQH`VHoe4JF~|YXWxz`)DK~&+-f!zQJtqwNLRs zqa2hu7G~e;!=|V{T>`_x@9}NFw~sX>?jdO>yv;n_7pF~7*{noIJ}20Rs`!sJEfMC) z2s<^zx8L2?As)njTC#fQ8hr{5M{dM^K_SiQQ&|PHb#DQVZs~rRw+t>+VsZ$`)n&KH z7Sa+g`yU^|wwp697~?O~({>*!==+Y=`C?XefD_Y0!JDE%fCN&vfQd-U;*+DR68KMR8+mn851o ztceQkx_r*xKcYL0^A2NRAB*L4rTh><>oB|tMOc%|lsX8O+7CAQvUHQ=L1cd=ibXDt zMBD%A2h!Ex32%e|F`R1pS6;@$v&ossl|2!O<~^u*Cw?LkH&?BAQF0+HAK!R;tPsVJ zk&!96lAjsaddVJW>&TW*)-u)yamz`B`36B*W{|W7?IXZ>g#$C{36!q>JYb4gc-k;M z3N%RPLw!4@Df$!Ibhj(Eu564{1A{^%u;e)iqkml`KTa>si&Ss_``>*%F{1-GZ{I>p z*%`>bvk!#Jqf$Y3PISypPqHinYiy`dFpM;dv$1cg^Y7J)&~Jg* zz3|<|z{`*SPMOv8f|0AhKLXD3uV9)SXH zm#<6Y1EyZebQT|Q^yEGP4p8p@ad^!{f`6fbR*_0mo=HVj=(%}anY56T#aex{?{B2! zh-iHX4ngnc%m&FS{Yz8W#J5SMODTfs$_Sd^CVrE6NW;fpvn(|8sO3gS_MFMzbk#z~ zi^HOdR!yA@X-5X#_Hg1A%7OH=Jk?@}Q#XBYHREKvb1>3TfSO6d(D!y{gP#{If0P>Avjs9qF%i%#_+!A~Z1yWX^L4XLc~qXQhwyo;nYxNq3iutu;q=RyS zp$F?qh3iUz{ui)zT`BMb+5ZNrU=p|i7`i~axUd!?`E zhR@aXpN!3rvTCov-3n5xtZky7d>-+XYdlaVvbHg8CX0lV;Yl|F-Y=lSGf1VdFohgb zBm4g@oPKrApF&B{5muL}QmIeS`ixBYNX@DbpVC=W&f5H-clS{c&{U(;smhSO5O-S9 z++fE!_;DrHTwYTze}LE;GVv-6v@pzb{7|LTsI#e<Dl>OuUv`-zAQ1hiNs=s)@dWrkz@DCdwwZh6I@P{C4j##Q| zaDTk3|E$u8WNSIt-719GP2w0kZJ{I^4C4Ne1%xa~dr+LzTOyk<&OYjSK+3lW;qj+< z=(~GSX@9cH#0@A%vB0?8VvIwClJGSNcOnPHPe>013VT9bG?SA+yy#12s$4TCO57jQtfhu2!i~av%8qXXww~rLVaQ7%fYM5SZ+$J5?wu z4{I2(b*ggJgy>TngzA@rLZ~@96{PW}tIV=v21liTe_GWCaOCF#Jr3#1vl{=-Z!48`qo5;WJw2bB73Su%|pY1C#b??nMHEkHn=9=rbnuI zl9rMm5*z7=RNm1BC@Cp25FXwPV-dC3t^JaWhuf-HFuZug?WuOl2}eAWdYN*>_-np{ zU;SuSEP9Pgr5}ovAB7>5U}>a63k6KJAXnB*$})krU;?He^8~D*3McXB5b6@{8&)u{i~EmEBTC>Z8&FKT@!y*wR`2wI|!#l;4+ zBHNcE>Ohy6kNd<}Ca4(x=rUri8~)Gh5YzsBb7 z{|80kE<8RsI==@cQlQ&sjYH)jo7G)mBfRrBrH~!xC2z{@Cd#IZSDmvpw>^U{u&+}CssV~x9?!dT}( ztw$Un!CyDVAIr(5Jd590H#aFLY3}PhObh~N8Pyvu3u_NI)57ohH%agQB5|PR-E{oe=WGk3dN}rLk>};KY?3U*ajPKFj zh>idIwI58?h;3fW$Jjl0XTFO1C42^jPtr6W5^}mq&Eub`5*>TZQwR<^n~g^=T|+6C zdAW$-dsbiilhS-0(jkTJQEu^u4y9BPA0DpsO*)CZT7% zxH;qJk5T_bib4;64QpnwoNS!j^HZWFqP?Q4Ld-v8sSll3rIXTuuTs5_qJ-R`QQaNc zUZbA9{ynyJ|MsJ_CE}-a%(84<#cK){K1+@rxvn%f^l*Ter7ibL!qT5T=rD0kZGycY ztHrAX-4l>lvBuzOp{Zy$0KLBR__)pS7WPx2`b=#LZRfaq?3`1rf(?WFCH`(}1mpdb zV@pg!&biJgc zJVnuiYVOFLAz1>MvYsS^IcCc3suJO^(L*Mj6Ad%wra1)e+(J16xEs_-1=E8mLbr1$ z7aX~0Yu{m$=%+4>&bh?8%d*Qx=2*zP97GjEE6Mz--OI>|m8m~ESqV|qMLU>%=xkhY zB7AMYTIKW*i28sat#lh-B_~LAN(nMmQa-R2)}<%U9#Siyw23s}rjclllZGu#A)S8{ z=_at@4ozZZQhja$Hsox-OX$6mRacsFSY&A#$b1qK3_{`{$Y0+2a2?6_P)9NgxUDt$ z@%OrqLGIQ4V&hRo-EmenA{V zYQb}+FQDB5p?a*jo(MVXk@yZnolqwy{l(`t!sad-XvhYLm8@6jql3 zqqe`UP)1)(vV`>B&4z6-7L%SH7P+qC8R{%lv#B0&3MG^f(|a7V3^w;TTYpIB68Z+n z5J%g)M*)LYOyIVvQqTKL_~1# zdj2vn`;uFKZ5ML*ItdCl0<2dP(<^RHQo7c3zwaHM%kces%rq?Ct!_kkzoz>sXrMS# zUXIKtl-rJ(2z1#q1yG1CJqRil;bdC-0RknJln;tnyx!}Dt~tqsGYrtes9WKZk`0%daCNF9-i<2{Bx&mKDOEWhn_%|*vnhFHGEp|cQ$ka#`cS-9d(RqJe5Dzit!lzszRc0jhZ@5iC9M1lp^M)0-Vf$X17n|;=exaRE`;RGs3cfi z3bREnFj|gclH9~wXXxf0X+EC8!NKrRDKgcyID1uYbci#T{@m=+s)c5ySS1xi*0Chfad-@a|{8DqD2-Bw>3399DyDNU+sD2>z zMq&p$>HXcZlfrg+xJoSG`|$b?(3wfxc8JOFXd1&>tUdZk?#in+u?{>Q`N=+aMLErA z@2rpP5l%Tmug;Hm5tA0+-x*fd+GW*4_D$Df;EuM}*^}?k{K0K=guD!DjpKUiN`48r zzr7k~VGZOWKVPl}k4$=WG9BH6y3-Og)qfp8-U{hgy#6?R>d!8R?lY$NQHmny>vYhI z2=xqg<3F_X?rn8OoddvJUFK5SbuM0Ivq1f(PRRf939s$x>lsdWwQNUpmFg$ zduA$=N}C&%e|!~kn?jCu7qP@xmTo=|#=~8TYJT*9+e%+2#0cnu0j`_^rHQNQC5vyS zt~-POz3~#V5dX*RA;$q9Ruj)J>@zyW29&4vK(6haW`z04gsF0D2cxCjt&jQsivv$- zp7_xRv{i5JkJx=RVyCrTWE()J9OklQZCQ`&#(F0pdNb~BnrAD^rQP~F+=@63^@V^q zexwtE8WJ*26~N8+3o26;V87catZdy8Sjfc~+YZqd>Y-PDx2^d-oI1Q+$B#q|aPz;t zJhVg4N;$2KeciHQI@DAqF<#ET2mLGMFfG;sFU5W+!xnrx!f_cFKYc$)GMbkTB$mfw z_;xfu=xLzl{QiQWxF|mJYaHst{B>ZJd>tCmot?)Z1Tei~EAl^kdAQ0He&D*KEL{^I z*6)WA43kRrS@B8LtshF?%*_8yvg=E53PT{RGh!?8>rdD*AG@5HyY;ahOWaY`rRR=v znNEnzMp)m*#oNI|#BIVysLY%BX(ADjOy15X6>OJDDwb`z{a7QN>QT$dbKm90{#ygr zwZ&wG5r`8#5Pr)Z>ys zi;TO$d_EU*?aOB_%{6V%rjxmj^mfO^E2-6BmaX7%{kQTX^Ee^5{`G7G`N|GIv~Gsc!H$p zgEN7QdvBzob5`<1CFSX|5NzxY zeE@ktz%)}+))kdvI>ubq)NSyDIjs>XhwlAs`;q@nK;=&(n7pb*+p1?Sc@6J3?ANoV zdA-x$adFr4I@1_PSqyB;wq;QVY^h8*a~{btaD=#BsWDSq1A*srYFvd@a;&A^o_`vP zSe!$URryAE<-&0*gw~H@-FA-gaY8cZMz}cO_7=5Hk9)R04 zc*RbVW``=YFL~cp{G$HnVW@Cyb(M}QU1nO!v?wRr{GF#@rJk)){;34@GP7Y+p04I+ z)l+W*BWu;*5;3Lws4-!R7^hQ_$IW;K&Sw|M+6Z?TD zjXH6N3a=Zl{e`XlXgMcoU&e0k)@sdTAKYAr9L;4SjEz7eU>&la6+oVG{s57tp6`BJ z#3f&7UVy_hLZf^^((hnrNK6nCYpK$;xq$S%kmhk~E$KD1F*r|{@0wwIr#tqUA3COX zQa-Mfo$okxWZ!QrvH6WYB5KGT$H*@l_zMlMd^wH(V$Yn1C*OY~d9Fy;!nOK$f%8|5 zL~Yl@x!On0e#*P~d|hxvy4KYZxMczBHt56mfMjUx|2W(9U*+J2Dx$0`Y|P@ETq4Y3 z66_*8oZ=#)Y?2(@;$rOV+#+nO+=3+h|0iMq$0TpzX!X;YgoBGYouvYt4(L!)SHT#) zbGugS$6OC{fC?k*C;YkPEC#KD;wg-QslZG@RS=1Xj&8a{U}hRryP{ngsymMZFNe>E z4i6uE^$G6NJ9?bFyXAS(!*%m1DSqgL0$a53p(#y>$|tP~(-71OUILNUPqp%#oHhuz zHl@o{2@_=kZTBHfXM&ky3^*{^aMT2mt~@8K4DjMuIdD}%tccO3i14TjQb)y{}id%O)iKPxdRg~Et8#5TZkus>mctDHjB=~6cgYqO2u07znrrH|3Xt?-}j z@4nBVujYQ{f^x)7O5Z4lg-VpUPvCKVD%?=u&TxvNy|SBZyPgD4d+a$uZq7uK#uy`B zs^23Gva{d5`XO@q1w4E7`g4azC|a?Kc)9FZ*6j1A`SU`>?vfWVb+`s>c$Vx_r>XOF z#R`(yF`PP?vfqKkfKlE3X>2)MYWxkqMwQ?90d1+O_M>{~#?E=AE{D)nrKJ0Fa=GrZ zQ?I~sC02l!tey0~`;_?vIsRok9Q?bbg1x6dN delta 11345 zcmai&MNpm%w4`zOK!D)Rhr7E=a0@QM-5p-s9m0pZ2X}|y65O5O?ymFSTeF$fEKXG~ zo?Tb<>FUY_w4MdDT0D42Ua+VMG%awhBk!^{g4unlmFEjJesI=FqIgc0S^34TtzJiW zzi8(SlAH_?C*dk7rD?KeD+j(8-%&=c+0;(8Z5f00==k{g<@DnC&!9$NbWhgy)u+cH z%~mH?2`M2fla-UdHpWmwQhS0J*_ecr5c4M3m5nMS>SiHxZZrj?;{U@f6Ad7i; zojMfuy^T8QBc&*BRCQ!6hOv@+djxFP?8V%?I>H?Am^WHter0-hT`Nr#18UF0%nqpy z3UiEImQv(1Atn-$A)u_I@xNzqDv~dd6RXjcZ!jd(Y87ME?|YwTOz&%6eoYmpEJX39 zR!HM4UA2JmmvPt`={$ zi?J2a&BRxoHr#(OX!amunB(wsV`Cfy`JV)S%&YbuNIrStzd30HmQI~`vfKu1v_TZ%Of({enVII} z9zW?|eF<;$IGiR=rOFCpT@6BU@W^yi%80dXh?3Y zt5AkdmUN_;@zX4a-hxq)Ukh|+$D#c`Eo~2g{}s@jo4Qc|l&|Lb;XVP(=wC__@=u~8 zdH!|x`fT?h1Zz=k-qWzivDavIAqEHQyZbTNq-q&U3gPuRV4xW4B#H-wDui2B=y7mR zo^=h6y8rdDnDKzVX@H?4Ju$A=7c$1Dz?YaeB0qtbNk`fCT+Y{8nZ`#wB6H)KsU!pm zYJ9___+x$ru%6$BoQ+MQ)x;1)#2z4uL2IQBAmh$PWR+GUO?Gjq+HT|P$Y-C#olvH^Y zks#uu<&|uce;FJWK2M7b74f(#&?zNk;!2MmtkIMO9Ik7VO5Vvh_NgKvns-MO_YyTK z$_Pjmk}*--Tc-G9Y(-1i%Hh(#CbUh`D8CqktaJYyC#%d8ags;vgXBmn_X?HgvwI_L zBgwNnTZCZ0sb*U@Jx|@`PQd4S%~x&RH5;hUgqMOp4o|DIYwY6WmLcM;k4b!~)xuK< zli-+uxh!MN8m?bcw&IJw{$Rno&ekNxY|*TjQ~V(RT$s6FpM6SGh6#l+DEg;BDCb5> z(b)TH>GY!py-yTTqQw>Q*ug%X5P#^hVUoW$$}~-zeDpZDXxW6BKX^^VD)XC~dF-*i zsyBB^H`f4ClC9RGuWf3B_l4nk9U}{=ZPxP^z*)TuS|y;JR$H4VsR|^#^4^tzwxw$3 zZwM?SY!E5Ck4W*F3QltMIdRd4ZH0FyB>51*Y-~WZaw|=U`ke_cp2K)ys^kCObu2$~ zdT`P%j6=C!(NV^Fn}6^; zl4naDj`Y#sQZZwbvvOpj3Abcgkf8|svl46K{Tov}DPn$z?%M$7zu=TZ(%@*iN(St19SN7oKw}Tz=mu!$W8$oy+Y4IZ|H)% z2T)QA=&({iUtMd0t>|RlGNhO|H)pL@=2yLJ=KECf^WtPT;n`xFatV(Nx%6nRZFKT| zEclRSCAr)YNp|Gnhy&iQw=&Tquv-YlFQ|wb@y=zfEb-uN#HujLN5@Ct8<#Q~PzfaJ zf{AR1dyDZ+f~Zbk79D8(jSDN9jopulCz>I-`Me5rMf?YuB8Mf3lv^ht_bL&);@o=c zOyVR2u9rbHl0QT(= zTU_IluEUA-#b+&nZl7PaE#qR70ta3OQT=OJxycd7iGT zt4;bZG9=$LmQ#H_3UqPNB#AE=GLV=-?c&2R5&@etSxEzfNeN~j^GRaMKvI19hMOk; zuYu}3>tCu<)}{u9@wE_Uf>XfaQNHnulzJn^$n z&~dW=;!AhWc2>B6TyBQg)6afJ46mZ~MSf&icDgECsTiKUDSPZmVxVD7mu4of#z4-0 zW1L`6{oBCv$d~S#7i^(6(XRpNqMZ^c!jiwz+GG>;AXYYq%CTq&bg1s>y1q&qqNE%8 zrc|nmuGeVneBtK|a*n%E=piFI0I{(Lc|!mIyjB z&>~duIAj{DY13HMNdRcR^o*7S2aVDgT9Aqy#O>M6kja$s>4|4pt5kPLp65z2Wk^zg zCw<05xhi7u%clP(h%l?hi-xGQxcOHjZDyN$#d1VlXQUkoGWA!AXPuFc2c|XjwyV?- zE6XN?7-njlfiy!*;Qq?LX|m#P@PCporpc5mL3m*)Xs!Sml3pxM!{F#^t`lpx zM*;;IT>EBwBJvsm%LT-5#?73!JqJpf23CaiAZHB8Jb!)&LX&%_bKc~&zVWO2YTGC_ z!oC0^G8gB_Xg~K2O4>TRwMFV>tq%*s_=z89Q9ij8TWDQQ-lO9N~7b}6ypL&^*+7|-z9R2`z!XgX4~mW})m?q0NR zVPA?4F1FM6uy2GG>(D`;4>=}=MZ<8}SpO{QH?+pd{!YFpeY)H$%w6crIgXTrtt2~CEoF~Vz8wL%F$6(LYq>qaONqXf;_ zuJIDg2_2zVg<*=)dm-RlxMhBCfr{?4Nfm^UXCv{D_RD!UeZJ&|zx-3}M=(}HARTK~ zJfG=FO8h|T#|?|APY{U|SU4DYkTR)_;qRwwg6x!#mX>nOXBC3WP%N=I{{9eQF>LkOdtefo$0}h??eXhv?g2AuwkhSD9)&Ppx|5XZq(JFbv)W*i+2+b|41Km9m)c;m_wFUn zzO&R|%_&{~FvFNdB9zm-L(W80W~JLG=>4y69?qM^P%_L%X_r4hxyxO`X-# z_B(Wy2e&1=wabIsroq8MYKPH^qeU$Mw-y<6lFddd^pjF;EZV`L+00;HUqy@YdiAEU zlo5|D8B4uHB1nIO|Fbr`6uVN%N~R*9i(&;1YK4Mjps2&`VyWq(%0gn+R{DyKJerzg z!^IO9Gmu{zJ}46bUecA?1LhJM9w~-BIPo8ES|n)(?CV=q6n-dX6?Fq~I{OA-T0)ht zj?VZ7CoUJUx4*{iNtPV1mP5TLthXxJCAw51yRjM}r!7Z&NYN1IT41Xbkcjb*T*i7H z)E`0oM|(6r@-=jd5X6MA)c`u zWBQ4?^QLZ~G>flL8GlFX^KS$)Ig+*GX=z8jZop|t39wPI?nL|AQWJknQY2eNG)v!{ zQY&`rq1PNNLD?JJzs3b7$p|>nMe&tCC?Jebs6B;Ol`L!EoY>gN!>=we-*GCUxK!dG z?45gS&f-zz%3<9M$?io=;Yy>FLm~6Q<&`4Sj zCAV+TGSQSq&R)6;ndHpx{p4`rG1ew!QT_S&u)pw%u=&63<)*6|;_wVE!A`2x3nQR^ zLa>&y<1aw!F+Xb!H7Wu0{}Q8$Lqti~Bf#>O_vG!MJ~OWAb0JI95PbHN-*DbG1ymj@ z6@oKsmbX-8SECgq%YmVPv0`XTb_CIzm!|y8-A>7iD&*H+D)e5~kaL@7{ssjky}k=c zWdBmVuhK&VJIiXUZ^d4XGeMhiL6n?IKl%Ua*u@*F0>7)`kHCC z^6-FgZ_mvQsf|&pPr|F#=v3333L4vzdGUb5QB({aN*?UeLb3hR%7P!^zkgthVK|#B z5{V2z_g&USFqa8^bqu>yxt7P;AypX(MVDU1v(M2Jev>9eXXlvgU z{x4^#H`BhH-Lz*VaDFGit~qHawpINIJy2Kw%kHMW6&YFo{PSSO8Nw;kJeLms2eQX$ z^|Qxcrl^H6u8-90TLm(l?9UqQ=5qZw4>JBpFy|!Rn zK|rDJ@~(h6iYvoQIL$+%mDt_*GPY&!6$@R{4IgkP=dJQXIMKSF39V>(AN$*_hGXr zQ$7PO^*DPE@V>Dxp;h?MfXF?mez@s$YN$Ugs0ijUXOZ9AOOWhfma&^zNv%Bb*3hXh z;|4DNyz$jCTAOOR-bO6&5`I;!hDRL|6-b~7tz2N@ZAi$x^i+?;H49|KRq(G}I9uwp zJ4N!TjiGT!l|RGe?58^9Ka4!Bed9;adcI$B`?==kc`?a5a&_4EsM^N(9^4}7?{w(v zi7JTxgS&Ci?od~oC&c2ob}ksrnb+pDeiLZzqLoKtM!Ktiy)HB?`zMQE-4cu5^-_-- z4eo$F8p|%Uk5ZWVcWUn*SLA)H3=zY7bd8 z<#x#av?Q~i+I%u3<{760ppI|*g%52J?0Te$>2~U1_T?}7O#0}aoB#C|h-v=fI2YK4 zm@sob&|3RFLG3XLM%==(U~3$3bXvjwC_pJcvVX83qHMA|Hhw$@z2q+3NU7mZ%we;e5!lVVe=E#-4?jF zA%O*w&(|oyJEHHUZ44XFVp4uin!qZ-2$FgbazHGbgCF&?511v(Vsz`Y;@sJR;Y}be zdJ{2|?-hPv^K1p7KWUM_-+sC! z?Ba@0vyUe5=4&T1l-nt4NSbb-KG)Nth6ckruKg#SzZ2{R>r`zhT$?C-v6`u{jEUhG zIvKS4!OYWk;*(KY&q|hxA~foz^lrapK?n~KNiS2@MjrvRs8cB(k6MzGJBKqzA{y;W zVBu!`SR%ec>5LVH)q6ae-o{8ih5=(WQ*xF73$Pl0+SlBs`#o99NDsnAFA?Dr0%L(l z$`Z1d5bp^I%Aq?z=J(tFWyI|Ln8|*C8aOk;*8^K+Q*7mFs@s;91zr;dA%*y)V;Dj2 z0y;fOJHpl1*Q%eJ8F>9S#+3(cJ7JlDMv4ZO#*prT*x1uEy@Rl4L$i-T_<*o=`CA}4 zq|us-Lx`-roLWrrnOXK}SornBgCp$HUplxxd}}7J#A0F=aI73J<5G4~^GB~(YJTkh zraDm4iW2mLXejw7Ckk=VRSSh@GeT?@@pLB-@E|;}*)0kt^M?MCTqDT&zul<;RcIR? zK&7Kbz4aEFV0*4=bHyaChvRJd>>;Mc#BD>c_PsG@Hx2~hcKi@C{kZw^iYe_vM?RLv zptSrm5VvdF1x3zv;8=?{b7Jpv>?Ho#wJu>Uz0y9~%u9QueqSU1j|W>%Sl82cTg>I($KqdkepzqBxqe077i9p z7B*H+b{2XTHX0Td8W0k*f`h4qv8x#=tppz%3mfPEgMizTpfxc#Nom#1evp2*ayKLW z4`BzBBtw%xvompmMU$b$AvylC@E;AM1VpU!T2$#!KbNE{Jkti?T(24l*q4? zPRbA@@1m&o(`wcxqb`GQRCQQghsL|UdA0;H_ID%tL{5D-TP!yR7TqodaNRtxR3?+H z-d2(iT2h~+?_YbNHUjj$rij#@vA?+4;(RY+%&G}`^j2#75sGd3%b}vIFj!f`b$Mfr z4lX{fMs=43=XcSuY-oubS|9w*0!Ky>`khr{Kc(L{f`uF;O2aQGg3=~)MIpphq#QC8 zGW3@Ck+4SUeJ({fs}Q*o0LghI`}7Z zC|C>B^eV^^#kMh{kr|ja=zKeM*aSVxzr>9$kh+PMOhH%!i5zft0C_&+nP_zZ&USdE zPF)Yo4T7?dd^Bg}x!{Aw56sxDIV5*EL>pt|9cjTNK0Kl_Tw_pZT?p}tq}s7V~RbY6}mkkOpNbdoq^gnI#PnS z>L_%?AGf((FAKizz)Q2frm)ui@BYFHA^T4~&7QNF`Khb6Pe1pMxB5r+>^?sY*;Ci$ z_}^R^ehtN_*otH5*_Is+T83oh?+I(pzqp-*?W}(8KD?)D&K$4B|E?*+mIdqHxcYWJ zHV#kN#dHocu71z;^6V&Can?Y> zoRoRf#~~*W04mWDHoj+cCmGj}_RuIfU|||lYJg_jY->k!vx4%96bfp`eMF@RyUI|} zobxYJn?lLpTQXTit(O@!fC%?Qh3J2Js-Wsr@9 z4I+$?6^M5cyV5ozupArgiS3ETQ3ec>~1* z4+`bla2mB@YI>D;DyrkP^XpI<$f_I}EMlSGqt@K<9k$GKBo(d;V?4MutN)b!P-LKV{?*DNT*ViS-;ZtHw0f&uPaL7WEov}`3*o2B zH_S0yb<1;|xV~UH069j`19zLG~QwP0kSN!*B@0O zWR`A2f1LF{tGe5s1&|S!$DB6 zL)y#Gw;`?Tp4?kL2BL>YPkKokBR_El6o+m`^QDcK`KuaL7a{Gp@x^7b%ykDP!A+wjfwnPt}WM%LuWV^sZ!&^FU(= zH4P|AqxqIuUcLia+Q~i?F-unwF@cQK7$WoA4sdxE4)~+cJuAmT% zk`_zew~v?V5%8g%5>J2U{W9c6f{hZUi#!}3YyGSmCq#p@2N6PPe6&o)NT_=uT4DIF z8oL71Uz>)_SLV!#X@44#gRvC1eS9Xl2_I98bE~{}wRU6NJr+qLvbI#}s8**l5a2xt zOAO1l3n}^<7=CU^=}>G$>#A;1GLj!@YL@`FGJ>`ya!AN9>d!IBgbYuW3ENDi2B$bc zNP?63O^7&7-0lhKCO@sM&CE>;uIs&Cmu27l^~ky>kQr@s?8Ss0H0GU8SZk}Un4@3i#fC~BQ5#K^;2i0F_Wl)8WU(fm2drDx z(0Vo|LM3FGwBK5SzAq(=+Yt&H6H|0&4H`%lf&Q>rk-zX%%rbB>RnqWc0~X~*xlRpa zHTt%ZmUi02IyZc+}sNwKdW_(1#;jNQr37tElt0jPp;%!27J%wowW-${RVa=CyX zzoK{^Y;}RBHy-TGuA2(_4Im-e#}{c|Lhn5rE!4UW5*7Zv%!?VfUa+5OuaFMfJ{0Xx z{avN;HVzf?rK#B}q#Ozx0{XiyE##eVqn~=nH`I;4Db6=+a*-MV(ZnW|P6gf!_3$*BEnUDI-kXY}p zk7bx-t}n^FFD|Cc%no&5Z$vDU*PNAw_BoeZ5VhE5I&0P@3ANCAQr0B<#{P<9U@v{v zS2F*Q&E%D{N$fBpvA_nKM;T_yG>6zwUlWL?h9z5>>WHKZrhgBl3uDI(UDw*zf*Em1 zg!HP8N`uhS-O*Xv2mCq8$T3{6n&IFYzlX=-d_wf;Tlt}6&o7rs6wZ%m4`Dm#Io)sT zMj6@gl$u-2+Pr&lc)D$m(>$mOCS2TUiq%)U&LXAsvwyxvu-GTC%Ul1l&O?xZ zIX*%iiH#?#aT=0Gr^k*%Lzk%NpkgwCH4{Z5b!BN&uGaNQsNY39dOmjd-8r#;Ama)sr5Su?J3k9 z6nBA}zMFFN1np}z&w4l`x(LTB+fJu9%|(1^b11HS@QRH&_$6@hJQx&1*-d^k7Gz*) zyT=VCZm!R%pc>FBuf3SJehWzx4mA7o8#YrHAMxoABaqI-2UmTTI7|K@f5iSh)LXyM zdG}Yw92Hbf1N2{HVeND;7g!mq_bBc%6ayO0ZXZWIQn7)iX}{}zMB7TIHzcElIp4m; z+s>fjteY&me+o(lYbv8z{}LR?!By*qQ<1H+hhNLF^~YVsI6KUCw*S`TRCNxHE;S8b zZg~;^Oa$V88{AX$G^n6{W`!(>f$VmIdI<+@T0LNR*>b{C-g5H zs+nmCJnxT|R@xH4UcN)Hg{uX9Xkl)_HB-m-JtPGBe4iFP?WNDt6@7TF`8{>MKRNQN zOds6|xnuj`Xm4ZOVhXQ?14>uVOV@d81X$~%wM9oLiii0^zoJEdUa+_e7Vh%7%9;1( z@Q!Mv>Pk8U-h(?OYj7GA%C*!i_cP5U=ymDL)XV3GpZ6Ng2#CK6`{@uo{(Kxrers** zZcSq-Z5VGj-Z}A|<*w4|Fmk-QdhYjNMhrew8fIbPTWhYnrf=rtUU?9LirB`u18C9E zPlA1!43g7n4z+RzmrL1a(-nubeY&%*o)au@2(qJY-RnlAcdgx^{AnK3fSiTs+tD4D zcZ+wecMlTk2ITLTn?gdqH(|!kx+-jB!KSt^Ql!P^*hTEB#Q%&IwX8~wJUySTo@CUK z)=+CSExtwGajSqTRDK!VT3|zK0q$Rs9adYS9agHLe_voP8FYRAdkUw4`IE`I)iN>m zm8Edz-9^_M5PC+IvBrAyq-vvN^xA^$5;{5x1j=K}PX27u4)73o>jNn&)+8;vKY=I6) z1iasOwgoeNDWO?3*#fY4Tk2W~nx0g;M|Ap}H+!nM?@{;%@1>_U1^hn^7hU#T2`H+w z87c-{Z3H(Wawb!}x%>oy+@#Oyn@sjak7g$?_=dGXH`kjBY1$*Hf~AwAi~}1)M;ChW zq3c5W;RtjjlCUaiNDCvoU4_>R?5BJ;iBqHhrq>H1t{6WcZBd?KAJfr-*hXkG zF5=_jNrYH!T)O>oGP=esEJPjL`EJFLPo3;2q~HeHpR>2as-N0OLgLS%>8hl;eLh2P zcg8DT2=2XcVgpxpG{_D`!!cPdwZFTx|4_A%YuPFF;wKZ>kCG4~?}|RA@@f=8lZ_1O z^c5;h9K0Wvl-~xFCQC{sy!>RjvYDw51$}oFMc=Rb8_<;u*t>s%GATS&x_97^RRCnq zxe3m3j4qT>U+t?>PI*zJ45iOr@SwHJd&hGAv9(cQ`s8csJdmdoRD@`-nnK0cB9sntE4V(6iX?mMzSR}9Z-=be~s8|l8 zBKGCB#5PmN#+5 zq=8@J*tnfHftHh7icG*2BV8e|IpkO?S?N3|>F)|B+gsO5`0+}?%Sx>meYqTc+vgQ> zi7)*#yGil$Ggzn}yfp42w}h)bLf3(B3Jl~L-UgqUcZAMSQ8iK{zvZ!Mk89D!roJ7n z-3U1JsJGX^FfUj&slO7WR&>52za7`l=svZ^#a~=&S79S&Fw!qr7f0>V|6+!jc2AB) zA|mMc6QD2u|Z@Z%Wr~uTUoeM4N-W^}5ubG+fs^jDT27W|f z`ly!SIH;TN6+IFQ038n9{lZ-4z@A04#r397c*ESQ133BlrbEvEu=+x<_?wNPpO&PS z5ciM0XiNocgRBmJuC6qu=yOf%9+bg(7RW zsZDY(?N^ST$x;rJSBl3{T&+V6!sZGIEOc6Kj@{#_a}ex6^r(q9XL@dvp}A3dRCf1w z=JLNEK3v%<4pPZC09&ia;s;+>)(-crAF8x6UvTWB=U}a=%t9A^R6L#|(Cr!KW1D8G zUcHcks^FOwlV!%qb`Nr*Lw1kCNAvSqENnI-UZv+NK>lNdV0b208c$hA%vHy( zypdQjHTia>R8W?wLW8ko3?=GnN^`!wqfV%43Zz!9^!1!C*3)ajK*$J^Zcd-|6TK`g z4EcW-Td+$hw1F}g2M4b>j}$LA8w&?FhbTLTI1d{;Cxn5je=vV6Y_5R~xP7xU98AC6MzKrmKOx?C4qz!L7N2eutdL^h3Wx!5&P^X99_! zG8A8o*_ViO8W7BK@2Ze0lzd)zQ&&-OEecm1mk3?({`BxFF))kt194b;O+g3t_dgh$ z4jCIG#+bV1WOcODJSaLcSPf-VtFl0pc`>5BJmPP8m>GHaI(ay&dGeBD?~;w;@Jidl zJKyLK~_6m@xbQNQN3_=3ug+ICOr z{OYoIVP#@kLBpmWvEGB5?)AlshoCNTWcM(!P1;{TgO$$6bp)yRF7}w9sg`^ix)6To z@5JY_c!t2lK%v3Zn6T!8M;DTry{U_