From a431ca9b921c6382f4bf762d324e56f8927b1db3 Mon Sep 17 00:00:00 2001 From: arnaucube Date: Sun, 13 Mar 2022 11:35:31 +0100 Subject: [PATCH] minor updates --- abstract-algebra-charles-pinter-notes.pdf | Bin 209828 -> 209652 bytes abstract-algebra-charles-pinter-notes.tex | 9 +++------ number-theory.sage | 6 +++++- number-theory_test.sage | 6 ++---- 4 files changed, 10 insertions(+), 11 deletions(-) diff --git a/abstract-algebra-charles-pinter-notes.pdf b/abstract-algebra-charles-pinter-notes.pdf index 79c8aef864c01edb592136c2a5ec2e566db4fbba..a4f2f4c5bf2859e7b69c0736b1641c54a69feffc 100644 GIT binary patch delta 18271 zcmZs?QXQCbskeQebL;hP>+*2U5?6rjs8uyDG^m z#YXn!r~^-~!sb~*W(lNB5qTW>;!u41_ltkO2n+Ru3}Z0VRj>cLzgD2+&Cl4o z^tY7{UTcy>7V4O|6U0O%>Loo14XiR3>>164wb!{a#xCum_L%If(Mwz$%qFqT_QJg} zqX(g*nW9U;mdQp$-QP~V=8-4GNAE7`O?suD%%8Xd3}N{csR5Tn<#}C+@cc?2h}&Mf zT>95dss3rK^Vi_gdZ%fvG*}n9%}%Ve5Yx2LQp5zP*--R)RXJN(56>pK(E>KKzpx?$ zS}xSNU(!Xpd)BDtbZu!#W|@uJDO5v?bOrbvAK`rff;UPLsWj?H!Eo$Ug~sX@XYFTS z@D)wQnM`IFuiZ^_Aze+N;sgMx|NBmiY#*+p-X_M5+_3-Usy{gbY%k7iTfqcbf6sh7 zBceYOjxtQj0gn^zjg*K;$K=bgl4)*K`~6k}lrX_L7bHvS@7%kV33-J$0NR5#NpsW` zqh%3*YDA6ZMYwm)j3C`!(_5ZKxO1qT`eLP4EA={h%pHjlgb)`g48hu(1LaMYDi?L&{LCB_3wZ=kl?%vE9~#e5Pj7QSYqt zLb$hBJfVy|)N#`Vv#if~D8DLT367s$umv8l;B!__vF*HwH*aPDUPS}8r*=7mf#P+i z_LgF%%aFZOTdi3NTVuY>i)OZ0N;>_jX9RPB9Yz0@e-Z}Qup{6_T{*n&%iT=Bi13j| z;itZiol2;jaWlj5C8)q8PP8cS?OhU-&eS<47z(nVA&s;PM%iAi>=lo+qx0%gMzo z>tcQQ(Tbf{7O z=)4g6fQ;g}Nr`6f8EoQG0|+#M`qK(HpZrddU?6hxNA5@IcQk4^b&e`_$^8bRB+uy! zFRRnDE?u)P+pSCsChGr2F_TCD6wl;rWJ%MH8&;|*d=s|*VPLxWl_Y4F8TWNu@7f3J znP1466y!+7IL0h)QCR;-VmT0Gvbf|m`JZlWF0VMQ$jo!r_ zhs^YX9kzWZjkWn49{dbwyCV)DonE-P=TdO%xN_B*UoI|BHl|9wayH66Wk+S`o>K!Y z{%9XEw*FJDyT|Nduu2hT9Qi7#vBUM#8$SUF+?dxH#AGTkRppA*0(IWZ%cUtWnfx8#fVSWc5k9pv1eYi_j6PtAN>42kz zJOf=a^l!c@NgS3*7%oOE%y1O3OocR?2SbJSp7F!wA;*=!K7I|t-JO}dPZkusq>u((G?jL4M zl4E8}zT<`;y$MrLMN?G(U_=7dGBg(0xrQ^?s?2A5!7CqorwsbkKb#4#Yp|aIK3ss( ziwK_L35QZhDVW|qm_(&2RZJyxL(s~2+RXUMOy8}QVeinaBE!Il%B$dz_7jAzYz1Ii zN4~IW!K~jm>Jf);kv?KJ#UkTw&Ju77W-O+F1gJvT%0+253N;h}5H8|hJY*2`c7;^m zk2D~-t6U!Lygl9<7errWhJ$WAcZp!EPdUna?s+cUhH%CV!x>{$rd^gbf2oSoM$grUHjHAC@7mi2^v)R>H%zrB^xZ@qJZ`NBkHpQTp_5d8}5UbTzmgtYs{ z=E1ssL}&n;;I|0|I3YO87%CQ|LwJa&9G1vE$y1hJCzPJdW3^u*`$Tv^$TR|z@=}`z z1}2Q~S9e-o|0DK#-Ghi<@a-{vH-b~;Cn?`mem<4YBp`n=itAae{AqZ?0k54}8+PI(C5s_6Pzv6Jfnxkhe9*)@vn3+vOd$3PYV zM}|u>y{xqqbK?@mDeA0;UCxtUM!~Vu;a4^c!p&r8l6I|Y+7x42YvLIZpg?@_>IQF3 z%>5B{7;uKX%0}y>KM_JiAhPb7KC@1>TLN9P`mYj{rCTwwFUY=du7yPu&hWlX9GP$4xa zfTv`6sGfO3;9CbBg>tuv9w}--e3Hj`lugiN9Jhx7j}db$0b;AhBXBL+RFV>glJ<5; zm9}%D!^PpN!oA^tyt42D7sQauptinIXf!XFDGXx98NM9-#hih8XO>G4=Df%$$=QTZ zDvdP>8Hu3ua}B2Phlhi6vFg{*HBa1WhIBN~@d^|RN8C$T z`QN_*@8{nYy)VvP?LVwWOY_Z(wgV^cP~X}u?P#vcbevUwT4%N7@Cs?9hWyK9xyT&z z7POOT(WFNX9bAJK}F;e)iso3Ws`Skotmj zO+3EP_nv}%Mha_}*6)HKB+EA)`ei3v(4naoC%3toEGq7zb{0{^RHstQQ*6Ov{;)KE zCPXRC(F!;mQeDmd5oA>cy;ygQI041qruI-^ zIhMI^jWlS1=t8@FFoR9aE2Rh5$U<7BiJCf0>h#O}pJ>hRe`$12^O%Kd=XIY4nXR$D zIG0f-Pq}s|t7?!&xot1kK&$w0Blh|O{KCzRKy1nkD(woMU;9(r;@1;~FR_;PTw&&; zzA*kIPEf)$@dnfECj&hI^o<3k zHk|R)@0u2=8ZeJ96svy`MkNC`zjeSpl>2`DQUw^3WQB>bDG7W4@kCjty>RHqZ8!wQ zXQ(LMtYS=<^>?53ODY7Q3rsq_yzNXoouxzMI|Ehn=8q0}BD{?kFRnd&RfihT$$Yt~ zviP~WCTGv$P$ID8Of~!^b&&xA5IiI{wm;9Cx`+_9OyT(nAtUf1WN4Ta`S;>LbJ1HU z;jh#<)+Sdz%XwyeK8IzTezWOL+D00e0^wkkK&b%LFa}yw0MYPZi0zHt?Y^l#_IY<~ zH4+PK)QM*DGzFl~OS^w^lhgh7F_HuJq2bES>p~?GF^_koV%0lz0QYN=fP=B9b z0>S)UL`Z0T}3=!e!f(3j&*6eBj91$Oc94)`2iNrfzSKYGWl2r-KTWd6C9RF38eaOrR#LBDi^on)tx`&}7Thn6i zvDQOW*!TMjyXUd+M`}1wT1%XlKjLeh5Wk6uV?f7P;YubGX-SivWyKnraF)HzH`#fJV`Gq=luE>qd&|ZJE zj9g6V#+_bh0zwUF(b{srR6Tz#E?qnYi9pUh|Yp)X$c|&o!EPsc36HTvBw&MAWN9y$I0t(4mY_^ zq4JtUqfwtsT~{?e6q?2&X)vlBh888Bl?i^T%!P`aBa0+6s>jx#kw#9&;_C$_ghLiB zEI?y{@Utl!M-vBhQK8x6P|@@zx~N4(qLG=DO$wQK=HLGM+p&*L1}a5{7(k6`;9R+F z?5i=4omnR0HPRv>Q*hPb9fw8CAq3hlAzx6>0*yg+(6Y}76DCxl+O0S*1S>JZqc#O{ zDKrJA4eqjxNz+gJ48f{Qr4h)8%*84m3C650qscFUZUqKd5~{M%n9QTG8x}zM1rZ)) zLuw$R0)?b&Tnp9Jk4ubEszY7UkDu+2I)8OXk?qJQb^=H1HLmtLdJMtNJ1`NIYb3cY zm?2Eun^DZ)tuitk6F`lmN9|*$i8`7xD)eiRBPasIfE8(AI_C9PVU}TF>@9hAUkpW4 z2XlP~9O?`Jf2*z$95DvV6@s5nEXn-gU`FUm_1(P5t4|++b`0_CVCXvC^77#D;bZ_HoFP}ghIu3K4TMc`d^cj_mnS?5 z{bs_NgLpZYpO*bFw9aOn50^dSAz_whG)L@A=?YPU`W_!`+@)9D`bbKe0{vst@y-=e ziF&ctG{PO~VD%cIfq8m^VY?Zi19w>$0hkDQKc70dy0qak?B(z3n1NQnRIK|gXyBj- z@9zd!esb&$Fi`rr|2rnWCWx)Es(d(}2yedV`6}i$0pVhe?>`NQh{7Hf##K z5cD9Vzze07jm;)kFIlw$#7*guw2{UvFPaCD8_ojnj+c}Vkq40(9(iZ&8TOZ|=Mq_Y z>+Y@X&&6IXfUjDRZk3b~uqk+B_^7Dh<;MgN-*r3(v))IuL}b}zUc@Q?9jydhacKi_ zg*-F%zSB6q5t&)VF~6uo?tLQfq|9 z+)3qvF4hZ?Z9gW%xe_CWD+=@h(YmCooLEP%wU$I|>{*ZIY*-uTjlinpsuA5~9_lwh zJZYtrDWBR0k*&Tbl?rQwRE3-(LPT(?Xd4t3L$kV#mWLur%IU#cs(oc-W8+-d3ab!XIdG{6I$B^ty*Y+nYZY#% z9X@-#(A+jyWJs^pI9~ZeA_QMoRJ|9lBJOrm5s+PMX5N=wOnAD(r<%5dxARzAc33}d z%{k`t%@NV#aky~!C)cYvrV|wrn-&$7*N+cyeleXOf7$oU;ncGac(+C!yJ6kh zyXw<>7ce_}#Hjk2pViffM5siSo(87Vkkvq0lAg%eUTExE8-=I@cC!F24(tt*?OklcKr=)3voB!)VHC+%Z;l78E^jg z+P{5%DhFftWAeJN>FUL+0)Th&Lg%3*ZqxWFhYaeEqlya`Tu`Ey=6{r-{LkTRBcmn zMMUFg!H)=`$t}#;EUaTxwsdwp+{zUwSp8rW^mPN&4WBWfY2~H;N zWMW3@rdW0vV8HHE-O$(sM&JsypUs2~NZ!#O&jFvE2` zgt$JZ=$8l*pFR=a&iC9%Q$taz=HV7 zi@Q?pn8s^SvGMJ$5{f9vm&ULH<^5uo_p=-0gH1JB&y|%jLyL#t@hmBi0c^PG zcwsNYj6O4&U|U;Ap~c~so+{t;dQKfHvXXci;yedCQ#9zflZCS+S7@U`Buwwk{G5+h4R^s_?-b|QLzC|#f zy(S24%5f@7Z!{=>x91q1NHV(q8P*)-+7rR+25=xL?uwVTd4wXToxjuw3#yA4{o$zw zF{oi>g7;~WX?^1oYgPmj_`qp!hK6{@AAnic^$qk|R#W}`y?D(qXWa_5^mbLW>d?J(^M7G9$V$2S%(lSu=DW(S0a&&DrELd;gK^1w@9Bd^Xnd@-;y!qq zMrGX_c&yNVx(&_NA{E_i`(8ag#>p)W1+ZfbucSxD$ro&RXSK{pPUPk+31gP*NyTu8St^Eb#m!ou`?nd~0qJHUAIoc1xZ(|vDf>jZJ3OTwT;LaTvF9W8znP}prPv$$FTRea`syyyuulOgnJ_Cg4b%uCfO|s zkD>!VA+W}J_zM%0L(Mm9Ut@u^^6YbBqJX0%w3xM(I`X-IgF#&~K8+QsC)CLjqR7ug~`NUiP{u?YxG&T2*#?1!+X$iJki#4dm!#rx)pbH_PPHhDD# zE(TUr4d(F_DX_qHpa_z2{v$+`o1VJ`>Fc7z;eLoSDkd7hNP(L) z!^RPC^u8_Z#Y5W%sZ{zoc1u%L2c;H{yA}nnr} zUq;>A0D#OYw2CZux;HxetG&>6`idOnF|RH(DMvvE-EdIlJaF`2A(sEqF)t$a_Ga}M z(wJYs=dELivMten2{23!=Kn*0ad7_U72cyGo4hrO+RI7uadw5M_O3GgEVvGyYssHrf>(m_2xJ|11x`37>{aCkkuV0zuZrFUWO z^&s1rCM2pkToZ7FGMAL>N);lRo49)Ry=mUHT^M(vhN9yjH-5eB2=@9G7w>+yO~5x zp4bOdUgkc%YiS3ZD&8S?9X!=AQ#I?G3EQnMPjdV23VZq9tIErI?G7eRYb-`&eHGEt z$0noG>CzOTtTv|hLhxHP9<8D?0TM|h6cJzf1T0;f%oGXBE={2462D4!sE2&C-66AB zPT0a=4e%-(yIy@Q+a6Rk4KD;+2Oylf99q@T(=YT_PO4>@i!7XkSvC8K!li%wUz*#B z2)_=~#}>Wqnpl6K^lSt%2@e`T{T8*ptNC&IVSb&f>MsVzl8hN=US;Bw1(e{_mh@%m zh7->~^hsV)>381~uG>nY*##>+e%u)|nd8Q6=(cgcDYohU@$9lP^xx?XCTg%U42rq# z3&>0)LSFUZ{wxOarW+#YK1t3A`@jkdO~nNXKSe6%z>7TmCCbJUg?3_)27HN16SWp` zp~bE%5fzPI8wzjza_%624`_?o><;NO0(}9;dRi7xL=hZ-g4-pMQbjpJW)BnQ<|2_| zK^a=OEdMI({TaO=1veYG(=q@hjVn=U3qnStkdm3#`Chk$Q2*}xb*CKX80E}^1vM5Qg3vb_| zP0nV@VL~Mj^!LrF2d(4A+Vg)7wnc~nT zGlDuvMFB)rIEW?coSD~y06y6H#Ko?VIs2@T(68rb_h0|A_$TE@0YN*kc;&Z<*t}VX z$2Fal7uEMITDbWHN_1xB1TuyVaU`3H->+cJ4zX4{(;0(D4Bv`%Jx=H%?DYhwZdCpz zxt7HmCNcJGfC-AhqyH#&JvtIDe^W5OmWXo^_EljL&~yDXj9u{eYkFD0kD9i}@2Ci@ zkXoWxWT_acdN8(mg;=J~hoz3WIhu67`4OZZEcq0~Djuc=7(^o$8^?y>Z_Z%KQUYAH zDERB=glQu&QT$$V^G*j5=VrINkT3K7-s{e0&-^YWfKc|m7QRSd3aze&AI+D{>TkwW zc9NMayZY!kSdU(es|uJ*BSlZP@zxK4CjF`q8Mk(`z%-G_ zlR*~naU#+WyP7OKVPvUGV$a4=R6BgV2%*WdAt7jX4vqQTN4?C$h9$*BjEps?^EU3@ z+2$W9fDtzDQ2I`Nb=MhD>SyYdiB+LUBkev-Yeiv+Q|`99K6Hv8@pO5|-3Jh{z))03e%QLM#xtbt^3pAw&}jpx4lx;R zr4VfX7ow(*SMuYnw+5qR?S4gpagXSiAgPb8Kgory&&3Bz2GT3JJp9=aN8U%f;j6EK zlhsGl5JfP%UEt1k+N&41wPK;iCb~WSQv-4ue+z1EPPV6%N@2b& zfbuXZNf4ltF5R)J1$4hAf<&x8$-Kr(y~!_!WY-(p8X zl%&8JJ7>Dy(ZIKBY=Jin%x88H-bz4x{QMo*Z9)4@DYFKmr>fs$3Zty9NWqVOOAkn< zQYd$SMCkUKtzfLMYTUv`q1ck{y0h209@;O+`Dg$3>104C`Z@V~Qp+`6D>yg*`!I*aWyLI>~7-)MWJ&F zFDv3OkW`WzEbGRXh#!?ttw7G9r2D^WaV9lAK82W&w20RRh5if@xf82CN?=MLsawb) zUMiz%9x&QGr7GW8nsOQrIS5Pu0i=_Z`NoC>0%n~3C#<*4wbt_PDIsG5G*lGl6EdiA zPDYQPqv*L%p$?=1-d*b!U4IwbN+YDdZ>v_*Ri)reD34~vr*jk2f$%P2D^P{zvP8pC zhIYx6S&Bqdew9rr8k$^LvH)T@eC`h_HW;UWW$0%cZt1xAz?Evj33nG10-Qt}GNaC= zo5i)+SD1bEBqoTidM}>s@ueuevM%RYoD0T9KPr56Hs2|`r-1(mu}WC+RK~>@4lYMx0 zaJF0*M;e^`^1ARI)ubRh0BbnJ-lC+-l4{$~`n*u!rcH|1o{f?L`JoJ&h{7AMapRl5 zkfM@2Tq^Q-nf4h#q=DA{5<_ehMm*7~6s~;OvL*@=omFa~*ovmbo$0}Rs_#Eb>NUfT zXwv7GAZYVIOONir!9yP)Kh2KdIS6wz=UV9z*Q$FU`*J~aVre3106g2#^WBxa9O~B3 z6S2p`2`-zp>#J-V?JGq|LpVlrHq8jePh9b5=^u&2o_j~MjT0GHS@7S;YbJYX3LK$} zV|F0o^g^g9HhZh-t<9peRiZC=1JCDyAO^4q;wCJCzWA|SS8p$4u3h9Fj3sA00KCg8 zKc0E-zzBuEcavh!fPLC*Z5s*YBV@8!7pmOpi@qKZZq@JR?#26!;&vO~Fu2ttTk-tz zC^@x4*)g9AiV7m=oc==~+2iThwrGOM9@A8yXUbj^@-@4GRcm{@7z){CZgXr~IWhU^ zg<}O`ERQ;dYbr^U&XB}?7lW&*p#gcLgU)FrI;uJy3C6%*0I0F6^L89Bg-H`C6ql@7 zR17HlV9eQ-TuF^_M+ZMdBe-mWM*fw6|2U=*T1Kb zs@N8JLc?V8puPQH4gsrUlturfDjMehWfih>u_QNuQ8k6i5`%(HQynz@RtN?GM0EKB z`6$-wrFM~g@M4KF3DC`oyib=d!^JlhNv*w9UAZKO_W%+57hIS^)J9XdCyS7N%Y(U|y^+C@aQt!rwzHdA(5H_f_0AXxBrA3iQwMm#{ z5;AY1Wc(&-yCvKKCr!yeU!i|8c%@5j?zZb}q-P+w<-{_smpd9{Ani?;L0ls%-MJ&m zoroSD%jh+T50y%uC{?r8IeD;KO$MfIZ4RBsKS5E^Kt*mrSo0}KgubEL`Hr#T>Ia#T z`TYPHo2T@uTEAkF`8yp^Y3Ff~AM(aSQE_!;nIFtw#)moIG3`g0+eB z3WISfZ0TudqDe=nNw9Wx#w5Si>H4X;ThC6N9Cn?zF4t)?4rbA1BMP~gv%-jod}SjYU_oR zQ0IKM;###xHnVoUb=hz{HHyQ24vsYS?)J%grpq|OQKtUpEK+A|6PJRH*ri@DlL#Um zHbrW8X&s_d@MnJ|&82oUCVyTbPqHV4a}&V>uz2n$CA-GXl>2y7rZ7smHsg*LxzTAu z7SJPNYc<5k0QZ+HozPg=HuW^pPB$K_C(qryHm<$~SIyUNWeh=@ZgEfB zt1C1fS?YGjWfL#y?j`YrI^|-mVBq}7yL|RL!U^w+n3kTF(}cTbGe3LnXnCo1t(G@} zi&pT6fJiE$DG9{hbB@DlluKK@?6W@0K6oByK&}fmK&SFik8*z7JVk6}?DfYh4qIY> z>638u^Aqs%w&s|%bke_FsiW>sb|7$U-E_-V=`rtHzPRVF+yN~N4sFd%b6*(nsaME>TH5meZGk8A z$ijedbEgv*fuJ=Fs^19$Gyf+ZPn}~2X8liGJw-+c!o>cctI^v8cR+5KL0JB$0x?9; zP$*#Lek0xFVs9v11e;4Y2b*tw(*F7 zMec}<26&KLNhgl)FBJhhq}I(zF=l$^@fMc8otC}5v$ZAmHfqK84mpm^s`8Vu9B~q7 zdmE!XIbTY$i;UNP<=Brq=jrSm%LH zG(|_L!hGX+t*At(AJAHIa*{ko%j=_usKtpC60z)yQo|r5`ew0ljxmGuBK=f4#bx|h zHCE)z%45c4s+8HJxoV~{rHO!&3ec;wJuOk$$TJ})5;c8_@Co)&+D&y5KXfY;q17|7 z3nBQ>{8(jV%f$q6Fl}}QayPdleB>mfLHsD9vH=`7JnKNmHwqijL!otFH!al+9Nq|zZuR~^A8r6Jh7RupDEkl{0vhXhC{tQD%$lTTr&EAy>Vie95hWc2EGRC!XSzrkt|43sGNWd z)2bZpNLfx}S&#^RHPobAI8=essnvP^jJNFY8Q3AjOqUdn)LB0Qshp~|Cz$C&7FAFQ z=kg#`x2b7hkI$hM-3!172IDd4mXfmw!41kb&TPPs7MMN5X!7Fh<0ih-cLvve&n zDboH(-=7!&7HYl@%y*uwn^0S#=tBer3om?)!3Jz2mJjAxz66MVnfvg5C_7iU*>UW| z{4#v7=qSSk7(Tn1K2```Tra-AKfJ-w3_liMYYTR@XZ7ANo0*+C{}}V}^uAVkhmeCe z&ScE!qOfKy>QNz>q4UkI-eQGQ((EM>+Y5Cl&?Aubf3^TN%p+6U|G{kx+jtY!% zbn$a1C$>VhegKedcQ*O0@r{w2c9ONSSFbuuvej@u^R%>Zb)$lP7qaYh9iR0YB3s3a zHsjYTSFda_Z}nlOx;~x%Fkce14k@nT)ww7{8tol=2|IG-&G~W@fc)uy2;SU#ShdE? zOV=gq>-ps$MK6BE9~t5xx|y8zm_uFoS6mLdi`_x_kYz^^3Z#?KkN& zDMzP!fMTkW_d*few)q%m+s-EV#kT67R33i+u8Of4Jk%L^d47Tfv%^+Bp$qrf8%a5F zDcn}@e*0mDa}Imhjjdny9yJ>lm%5SeHebECB~lv>(Kou*qE<(RrLy*v?o!p$H7r%B zg$9lSjv#>5`!oSnE7sKY6rwDtRvh;-cAsdD61f+a+;F}X*Tl(}?W74W6>9Whj)j>T zLbco0*5*8u0sCh5IkBn<^X_ZN8XXtH`~?VETlr>O9vH0%WF1`e{?QgS8cOVPE^*5K z`TK?tkEpLvvCX2RzyvBuQEDUI1u+aLE0uz7g-yWxFr5+t+3jx*=I!z%?FGnJ&@Ck4 z(5<)&I8nL_4}5M)IWfq|dAQ1X>sHE-QsheX1JW#A9aj2iyr48ID+)F=v{8C<;6ph} z0lSP=$t5U+elTJ+4x=r!Z+zM;3SAjoGq_oBx+Gmi>8QY>;v#Y%Nnv~`DZ}f(J1CYK zsQ!S(bC9aS9Ek|ddm|ARP@1ZJoYi}Mn(fC~4(*x!L}i`nNF14zRwXjgZPwghB)mCy z?UX3p;msw)f)E@jiaR_&?1 z5N& z1^*^hW|M=6?#)8SnFUPAGKVQ*B4`0x*0;a*K*60&X;`09cVFH(4Vj&5zo|p#Ga?#` zAb29t#ER3Jkhr-kSd9OWpQ$tkQaeGoj}HTnZBa z8fsF+Q^Qgw5|QZdcH*oyru_?pKDPP77J;`Z^==YpN6AoMOj*6Ge1DI8KGz5c;$Ezp z2d~|dauJKH>?d^&S5IS~vrc%FJjyXmRF<|(be~9pN=PB#YUACk2z&NcY#Ac6#pZ7= zf~9@#6gQn8nH;oP8+6wQ&((GPtV`))K}2r4SW#n7>4gFEtJB$)m#^kvOCc$1Cg3)Px{*%T9v9El0(zp!GP8 zu-T0U>1O=Lu;X78*Qgww;v3-rgz%TGU7?FK{Hj2tA$BteiG`1>)fwr^;N6pe~hsAHxah|S>0AZ~&Ucagf5{rr6ZO0sesOn0E=V}V& zrB81uO8HPod{RDkfmNr!8HXsD1N=Q)KpIgIxbz-tkubuvnCC(?8&V{RrHwB?)+WqZ zeV|74?`|D4qo66*N=-Y}7T8@laoQF-Pew;TBGJRm)6p2THzTn{$%jdVEx9T6ISRlo zjIn{SbxhEg-J3{mS2`KD%A7a~$`_xMI$_ea(0CLHS!2vnO!U%}K1JuN1|+l2#_ELJ zxTO4y+YT&AY3g7X8cAAMrL&8>>3K!;t0$nrrBzg)F6B1zEji`N_n)G$zzSw+dp%&s zup9(){=NmrEFHWbd_abm)uZ?Ee{%unm=%Gp$}`^6**V4LJ8|DoO}p9)Ko z_j5Y_zR07~eBTy97HH^j0SMK+CyLfN=U{XnB`w!jU37UtYrMO>=;|D(wvkLpXAacF z2=$~93Tb`w2VvlcHkj znE9kCBp7hD=?NdU=p#U$RS3KP?YF>*98_3F?P{K*NC=L*s-CI)05Ho6+dV!L`f6Lr z=Irk7Sex5b97}(QuIQfjW_g$Myv`Hw@%a1{^duzgTa0p$lgPJ-MU65I0Dj3uobiOP zRP(!wRw#Fj@8oTI@q))>QQpPZ7dRWspFLvA4MbXG-taveaixNXGQ_; z4-Nqwe?J_)PsKe~zIMKr6dAwiw|WH2#1E^KR^QIE)JS zfBVbt*>CNGJweY9hNh|fp)3SH@9)oxC1bRAfwgtC@OsreX)!Q8MLf!ZLiy*`+RPC* zRxg(@%f}F{b>kI1yp!0?4JS+MuBHsy>TdRh8k?*tW3_vF8%!G`!r1w$?GC<1PUniR zK{tja8-o;=00C?_2iJenoP&4-Ly3WQaVr znZr1oA`mKr`HN59ti8A?{r>oS3i*=vDdX$YI@O)41Gtj@Zct?9*Opj^ZKN zn5XQ9)|H6{ptgoIR5q60M&*W;%+i|~PyTN2%y=Q(l|Lphlz!=K|0w-Hby)jq!UjAE z-@TM;0{Zy;10v8nNX?a{r>JSm-FST-d7r!hnR&C;FTAWV0#s-}k6Y14`GmI!p2L{7 zBWg`U1N1jNqJ5?jyQ{ovmuWuf)%R}nk23q>_hC;?)##wwZ80-UC5TZ?j0OU}pYP00 z>%bwA(OkCEHC8;=&sxuM_PqmTy=;&2D})%{fc&rb_ww@f`?!AF^q{ryt&RKZdS8*K zz3Fx|xmA&Inm|25zI7ZKBCWaJ_X45si>KmbOhF{EIm4T%<8g&d0CdqC^dA^9kt>Uh ziHcmN*jd39U>|qtEkgNnOaOy_aGi{2csuvU*Mn8SY7eeFck{~>k)a6E%@%&)oxpJ8< zJi4P&fx5^ZHh`#i{c8_BJ{hf-)%oTY&?RhQ@NV!j$72LJa;!<&x9xqO06b+lbos0R zeSy<`t>S{S@2(%ZnfAMth&@L6q<|^l^!PeAo$=@4_3iE`H=Z1d;!|Q)%koaa3_KYY zG~*tIqJ=c7F090~%Qn)*Dx(j*uR_er+k!)#Csud;Y z$7AsKq9cq#6utYs+v+H=BlHwfe68fuY2ef2{pRu%lw~LwflzV@-xY1^QEoG`HB^eI z5F>hyYf=7$b6=KJi;ynBbplrk=mL!q*cEzzM>eDKU%J>UPY!YM=nnur7~1rp3K%+B-Iiau_5fXn9NAH7?^0;56x$=3hQF*Y zyt+l-rnQviWO@-+XHCgNn16>K+^*Nb`qhRjk#2kJ3jdYH6p>FqbK6x4piMEF+9Ntx z8=rnYcpa+tRt<2)`h%&KRN)kmGdg!?z~f0jW%uT>=G4b!<|=^{!)_!Ga#Z9@j0FjC#*8~Y0d~ZUb2|VQ=gWrWjVJFC6p%cD z<+Boc6k<5Gz(B(?T3rg0A~x#BOT7=lS~RixknJ; z*u@Bsx(hC57tqQIi6cOf7b8lgW{tRGMx{-2UU!FOt`w9$=>;XIr0-!{zdcS z-UhG)npNz>%PU`!%SyX@ctrFi4MAM$12f0&_TRd14;%Y`3c2=ZrWZKAnPrWP?g~*R zZ82pwn@6Em^Gafd(qxJ$qOS(tdu6DqDyqu zU5|Uu{qLUd`JV6je!rh{zW;sB_nhzJB^VK;cz3&g_#!cP}=aoVpTE%VRQS)eJj@Y<5yH_Ep7wQ=V>ujAHOnwic)GKh~rx$01 zW(PEAclBJh->BYZe&D*K>&#$F5V5|ek!CG^J##3$*6e^kzHvgBl!!-yzWK1TxhV1C2rGAAuVn z(?up&5Uo`RdUMP;hN{wjPCAq6yB8{65k}uB-AILN_<}~?hJXc~bf_{@W{g}hJF7<2 zAb}Un6D6vt5b(BU1RQmV3Z^9agFGweK|9;3K4$+~6mI^PWIofs@`H5VARSYdbI z_4Bgj5;uR4gyaSdWpM}D`m9}npeYPcpx7|VXmI6RaalT!schk4!oFZP-QYv07Fc^S1_kF;-5A|HyTJ*qC@W2>o zzzcMeKlI*|{luz%BAS+!fRK*lU7buzt&U6|d!zzHP8%&_)y|pX`U%I&oxN+5N`?;IaQ*-UQ-XYdGL1t8)&^n* zkQ{fwakR)(CW=5(6UtT;9gng_;nhJu7E4Vnq;CiPesG-Uz6h4u`*u?H&7+{`PPVQD zJY^%r)y~#|hKK3kC%3vwDF12PIJi-6|K7c;dTJW@>d`YqGQvAmsbz;*AS_Q4A>>^h=HHTP(( zBx^Z9w?Gm-o%h|Z@mZ_A=HU!j$sg8DhE=A2cDkE=X~8~f;+gU*I~wE)$APf-+<4^2 zOJy#qs>v!uu(H@aw5-uISRl(;0?Oi!3C&{X2ZOg>u`vV#gB{Ba6Ra+%s>VW1Hm75G znzX8U5gn^|kjYSRAG=O^u`o)Ej{QX#sqoQRd53-XRg{Cya(p|*y;@e^x}Ozku-&^C zjlU(35UY2GLb?MUo;T4eQa(ZX70dR}1M^-{+mlvw4&^~E%0xlQ@JytprN@@O4a!hBU!V z%OXT4I0v^yDdz4Oi;Sjk1A>Sr0Pw~1!^ztC(*v^F3`-Hzhu?m7v2#p&c^xNpIwb0k z{=!1P1-PEmf^J{cI4k)MqoKTY%4m`>!tA}ltH9&JLgcdil>Y=ub9))6VY<9oZGI$M ouN`f}jdb=&<{+cu64k$BqaR-^DvsDf^x*dPL^vAl>f;9g8~Hq~6aWAK delta 18371 zcmYg&V{k4^vu$kKwr$(Cxsx5+$rGD9wr$(CZSC0hec$ta=hpc#Rozq7Yo@wty1IMT z%;Pa!(Fq(fxssR!Ju?G44EfyB@EQyUQvxz7C=(Y;A~GWtAVfpn{*VKy`$Q9}y$Wtg z?@rak{&$CTD^;ZJg=oMwfmvpKh}NI{xRSRQ-=n!$Jl^%F-wCYtJ6+g*X5$p&e?BTN zW9~|amq&T?QFB=Pn`JN%p;Nh4)1}~6<#ZD0R>oH!U)&tNY#3M*THs?=IoTL2oQ)S! z{0IxDL1Q>40e+_w%SgR$xUH8H7lfw|Zn|!~dEbq%=)&-U=VlCCja_+ptXbCkC^|sip5@=|b_~d6H1ab{-#me|tVW|7DQj~DLJQtp%k#nj8`(qObd9(BH z9wc!Y0EM$7)cuXz+LEg;x{ivI6>s!rgZAq2##=3&t;vmvF%@BuViRCPqtkM!-ASK4 z)3U|&anxN2*=tiopAp3DlW*>z!uIcyZo-N*iKsR^F%4g4wmqYEk*_XqhHj@lwx&G0 zzmH-Rk-Rn3u3Js);x0=zzxrScKBUf$JN>*D;Iw|^%T5J5Z@eo~LmjTCnqw1RXOCNH zT0z>)Zh58IdSxa|g9M)sX6eOgC_N9nWRBmoz3`{BBc6BxzaX_pMy^}abXC}G4UrAG zVt~QrjW#mMc5LVjGiMq;#HN5VOs12|vvTu{_k=;mc%bbZ_4k4P(DGE#O%UmRh=d(aJ89$5=diII zou~U|!x3J!q_e!#???gvf;wO8xd-X5Lcd_=u793Sk+*$5F?Q${%J;8J7kiA+g} zC(e~Se_-1xIe*TIW}EBr@F(VbMJT9Rd42v z^WRh?s(!(`hlApg6}-~JPrQa^y|fU6Ni@9zq<)VK-N{1iPkH&_Ct*U!e`eOQ#Ge`cw3WMf?Gk>;zRdfD@8{c>eJ_i zGh5hUzb}c#_T`c2T&8!@6pZ~?4Frh6P-W`KGd^$}6Wt-8=2shZ3tAqe!wsT&hyC$B z33$j)MawmSkN#W_dZZZesI7rED(YzU@Z0f8@Fy*82gcma%-O}s+}QSC$=<{YhLbz7 z9t;(fjfMT+0F!tF1_wZ?vwHbp4nR~evBv`&BL)Qv&jz&+n|8?0#~>Mv`g*DHi@z+% zK%6#7%o0;pb5(!RH000lcxdX+M7+5@eNcS4>G_bhhhzCOG5zHz$|XE;8-oU;Ou_LI zHqE#RbM@`~)B3Hr`z7Y_i5U%+a2w_QtQno|%Y$BtJlN!2WCi#H{Zp*MG`~$MzL@16 zXhT?8Q0+%6IXU|0C7LMW?U&*n!4+E10+)Uiam8C+ecy6^)n>(4!=`gp>v6fydIJ5{ z##O{uwi#W4RKrfub9+}(C;#Gx4rH#C?$UQBy2c7`MQe4ch!ow3R|#h)oZ@Z5h1bnO zG}Nsg*}-6Q1sH(O%*z>fsUQn2DD8TcnkAB|D7}5>uUMprNO%If*F@TlvlY@%1Xek+ zEK|7B@{a-GeF;_@^Py@VhjD9~%8?v%^tO#m0fZ4|j}gQk`B*rRL3RRpyisET+dvQp zcM{f6y|fSuwi1MK#VBwyk}`^L5*f1kkA^{p6I70vz7YVM*~o3eq{oc8cluySDe7d$ z{Knmz#u9ThiTR(Qj5+%3OdN||B{A~e5F;kRd<9>iVu$rd?6Ga|n;V^<0=d{XIG)cf zJy0J9tb5pl2!7xgh0%5V_|9*=pltBA!G6Vj7y z7|I0Y_<;h4vwV+F0PDv`7xqM87OA0}vj+AaVP?rHeXI5uYs(NZHd-NlB-X`-Qh8PM_pEBu$rQD)CRT?nD{CDj|Jd~4 ztd)0rAuo;}ChIDz^DA<*39qUh&&Jqp@;=INbd%Eg+1#2X6wCa{YgQp(iv)Ov_dqr?KH& zDxTnsXd#8mvJ1w9Lh17-F_10&imYf7w;pL!Wji?wCF|MNe#Tj|V_*4P!|}Yvc@pX2 zDH($7B|q26N4!-KQq0A&Jt>#L9Q9U@;By-C<4QKxK0jD|s|?NaBr0f?c(4PH8bEJ) zFjg$xcdtiyWSuPxp}ohMr%=H%47v((8e{PpoPeV3RX7nQ=!5Y+*r>48NLgtuB`H%= z$ic!^A$wt-Aqia!+8c6gnTF>-CxmQu(ekxyUZZ3h-4s5?@Y!0?*yf*2VUiR^*>q5d zc1{GnUN;%H8XruEDn;=WNgkA=3=sI0R46shoNX|Tza|w(06ll{hqm6A#yI_GA_n*| z!p14)T`sCe5a7wD9=Bq5_yPd2L5bAp!muf6-McZ*v>%4kco?R^$JmM? z36V+7`NvW)5dY}F0o>kR7Cf|aoiiK}_#v{VMMNk`X)rmT+I?%zDSwLj*jqxWZ=4Fj zjD$B0l;@D{U*sSG?9!P8lfU4FB^HbIsP>u5GBBKsAE&leR8=e-i$gPL_GA=hSiiHY zsmX3)JSWu5(VSOJ$^5|e088yNA(3sf6NR%VR$I6OEupdf#-(Fy2znxM3!86i$Psf$ zSvB03f298y1*C@lee*q4X#l=lGKiYWT2Rl-oEB9V)*_5jG}q^`je7POFTF5sRK|20 zQsDDi`U(Dp#lsC16J3gQ>DVfl^zl~ zx#KULjsz5!%zXS9FwxD`OGsm)I*LQl3}=IGat-_7gN0|3oYUbu_<0G9a>kh*x#4=Ai9uIciA^sX?jTgeeYM5WH#vr7&+O4-dKZ78tIkE>*5_$0 zf9FHLPmO}BiD*S10!Z-V$I22RhO)2NHVUVU$u0ddk-kSC$Zv(P)F0WQFYbLHH2cUv z_W@JDw8r!1M!r+***?QWk`e}AgdCKplo{S8iZ4rL3O>$673o51@dDnUJdwZuzHsP` z*l-R?ib0LJ%POcqGu6`EN{!nONJ3xl7)-;3`5E7yLFP3q0;makRKq3Dd40L{XPwH1 zeJTkFU;=NhuT|!y_r>zzOZigtEfk=IOmSQ>tP%MoD8ckH#QIC=1_DNb7XxFMzNV%6 zq&NbscDFYUcwClK&SDF9dr%&ha(+4Yq+ns7zfTPFra-C$tTwmZaly(kr7vRu00X+g-zo)a- z*U%?2{uD`<=u&|S9`UH*lu-)N`(ERWYCz?zFwQ?BZ??_*QV1 zh@yY5ULr$KDz62X)b6A*=IR(mcIeif$*(`R&5}!f0BGQPiz8Z0GfWS}KJ0*P2sI0x zKbMv>4S}fIV0ndB@~bM{Xe!7gbQ;qmN&+hd>Iole#h4iE?J65Y>8%v`$EHHDg5k$S z;j%y;YXgq|a34L%BCH--wBUgFrsd4Yk80&sKDXl*vin^s2|zG4?XQ*Z#yEQbVb$`i z8t48z0rZ}Nd^YQV1A>i*@3MF)^5EQT)7GbQpkyptm(De5QuMwBGIef|p2amHj>v8+ zld*1iO~F(e^?W+Xw_lI0QtVsqzPl)k!b@znVqw=D*GxOltUj_R{3Gy3Sp*R;+kXV8f8-;CMNiLMxKxNQoO?=Q~t#F<| zB65GqYM%Gg`!gTfvf*z0H5>vEB2NTBUE>7i7uJ;P>q3&JdR3I*G94n*WHMnfI*^l| z2a=P4k3t5m?eZy+5K@QQ1^ELc4R#f6@4%QxhwXBQ42|3Oj%>CbWtYy4epnB0!(MMk z$sV}xZ;nzTjX=R`gFHFNnFST?uQ(rs%>l=0_DW8xy2m<&xd;2H;?KCw4qgLrz>^DL z#OnewL;{AmK`k>`%*nn+vIT-uFj=D^`pcgg>=<`Eo^W?yDvAI>ngtuX7d6eRrSa>? zNVOc<^6k>W5}~n?XQKQgDz?uK8Vk6^pLc&P=wYkOI!KnMz@o?^Mhgn9o}+-6$sepB zV0r%59jXXFE2WQW1+jn@9$z025fB3$YD^=h4-pjEYgL5NhBb zpDl>!$pk|OqL7s=;o+x0cmFngBJ^79Ve75xe3&jU)bTRO5wP|1Y(59HYFdR$>Tjg)u2_U!xHr9bSLnSt$IDEpkJeDg)GZ1V&%n5A!|nk9bm@L#mrov1mxbBnQVIXybeXv2kg|sg0r0QFfaRt3Wrh4FFqm&CL~MuS19x zQ2r3XzrC?J!0Q6AYod*$dttR1%~K@!fZ)e9A_*-mh5PHZwh|iI7Jw~ZElp9X1FA$_ z`-!#pJ&TV(=Y%XNipWDnKx*`U)z43t#@s*r&f9BTx38AHyc!-pGbjTP<}s6K<^xsqL!`}?Iat>P zqq|?1LJ+8Vl!t`U+e0Y$Ftv`XfHC%u;c2?HwO|AMK6&$&J znW5;v?AK;{R^Ph+Ro*F?=fi5Y*Zg|>K(GkA_&%=xE$Cv%>0Z0U>ncR!e&L_wSA_7o z`WcT381W zg-PEc;i@I6Q8d$;6^|oZHYj4F*UtGo{#Ru*m3kfJVkX99uD~KU+&=QMvu?xGm*pYp zm8oZtEb%bd<|#FzfmO8RmOoukrS<5w#^EXAgX$P?4%)5J;a>N!kqvREFcZAJy9-tD?i!la55$p6&!iJ0sN!2eUvgK#n>5(`l`nz73Q17cynxz<7I zctRBEwdMPqyFTrDWKjoMwWtL;e6H(e&%{o#f;bAk#2ko&Ip z%|D;cnRZ;4oy+sS5Ey6jfIYW~-nFo45bN!F7;vOVWp(}@wlL)t-*BjO@6;u+yHkS} zBsLfyH3`BmemcEOtK*suom4X#68S9~10-$KaR#oSfH!8S8`y_bIcW#mD|5Qn6h|kP=+z?YZCe0N>#;0fG#=)8g{ylg1MEc#}6H z2yFHNanI<@f$J(E&~8)m@~+{=_A&P~hA~gB{?Z0KRwK&P)n8b6Mz!~avtKx62c4d>E63C1FK?OvdnG}R1FE%|)W^#1 zdzM~dV^ZA+Ah7M7WxgJo4VRI&8i=5T)*sUk+yPZ%4!%)b5O0dPfl_fmH_Ia zCRAg8APO`YR?A-Zao))^1<5CP~E@K0)m;i>H(ycnkguXC5#t1|!( zMKYfL?m_px^8vb^-itskFH6YV3~#kQt@!#Yo$tp(O)h2w=V%d2PXCk5RGiyk*x64^Hkb50ZaCj( zku?LfUf9}D6pVt{DHQBRO4mO)2A$-R17<%0n07^6j2RmLK9H-iWNH5>7eY0nWex0t zrge=aO(T<0te>ggVbSY0MJxS_3c>}Ly3cOZn6LvPGHBkg);XC>r=;+xzsEdzXIc$n z>%vMXuL(7UgLuIojla*gr^1u4iM=3d(taa$%r`h57txeAAe^lDTCK;{*1D-J<7i(1 zbn^^1X9RAZk<@6HQ-F1^S8rZ%U|hhZvbaU?F=aUlT_U85eKU9yO~RVLq#NnAJye!1 z&qas#-U)i()^VE-7#a*rca-_MQ7+&t~7P4 z^#(=<8|=vbWof(kWl-^|gy`2vaPc=1K(I~g(BMY3TuVafQ;EV_Kux-vCnFuGAcVeF z;3jpvh{|VH&-;pRbN%ItUK0?FEf>l)D9+9YkvhL~*9E{*s7gbwuE|PHPh-uHu7#?6 z;mSkuV8b49l|N06Hi23+wODvhk7KNbiUJ|o)Pvyw|5ajzVq32O934SdCs)=Cpvan( z7KbDbO?8WUtBS0LSbK(eodV7!w%NT!FsbZYwvzs1%QMzSlDA`AGGD_;RRji{!7+(1 z+NS~e`B$XCAEY7WvV{!+>qtO-Kovrx)toO|BNH*RWj*I4LMNSMAJvk`r_=MOGd$igroHeq`oR}06HT!BP$uD69uRxy1{8OCF&YH zsG^4k=MN)AgozRby}>lgv72EtQq;G$ijf%kXiztzD9M$vy>^#BY4m~7<}gyp?`#n*v&NEwqleVFz4#z) zoAaKJWXXfEC33HEC@5y-O;KXRdq=K%5F@kd<@+>v3BQ`^9HiMYS$-3OT{ZG5@2O~J zem9@Foz!WgT20%^YbC@!0qB%f93;~bU^=$@h3_8xhAhIv0C{r6I8^yAATtV27`!o^ zca}~;_Q|IH9`HX8`(Yg4*@D}wi2^mwkTb!~iv#EQ|(ZOt>8xgY>wjc_oWSwex-e-$Y_QXdMq4_Dx#@q_%eX&6}cu_}{O7c&h# zuHZv+sroEX|Lc6nLnuwbG;mxY$hzNuV?f0Cgg8hy^9k!9Z8nbZ8@`Oenm7@e9Tk`( zu?`Fkl#`w9p9-8Bpd+2QIfCBvp?UkOj;_Vq@KU9sL8`pSM@l^@>JX0zK>{>v5^7H? zl`I zWoX}4oiS!~#n^PdF&Or`r|Rt$?yea2+!UHHYfW3B`JG;&fGAH^E3S~syyukH3(j4| zegX@URnRAS5!B26rlhhdD#wAt%A#e3VvGej!l`@-GRSR>qKKX=}lr z!k`g`vKWOuoM(DK|A2i)(T&-F5Jwn!HL$~&rgIzuvSZy({vZ!UD&MU0jcC*!hDcne z1&H4U2x17nZhlcsFhD!UU+-hp8aGqaxGDEMH~65FS}FHLa`ATgg(%Gh>vYItJ0(TZj{{D*H6b+_@QAIsyxE+%vlBNS7kwXvQN@FQ z*gIMS*yjA2nuZn2tAw{0a!M&gbWbM5dSxmApX@)GUUXaC@x4kdL0|jyGc*h&kZxjb z6^>Inpn0r=)_xAZ?4Pg3fmjOTjSdGDY>h%FN#_q^tae&F=NH39{wpQY$JJ6tBf#?L zA&^e4lkdEIhoUAe#Qnz$QP@99SE4A9+<~72;8zW0Ug!@Hum}-VV`)!GSnnI29=jnx zCRnT6=SF|Fa=8$FJTG}-i1ow(L*PhUUPeblizMHB7Je$*Bt_^8R&|Ym^^1Y+jAk0q zcZwMB<`B>{TB6lNrM3M$+8*@lPEZSIbsExT2g;g$dR+-y3dj7ZRJ@wM5Wefr;QvJh zNMJe)#AN*yp5x+79>jEbX-~rB?iguqrjd~b4a650tpN~nIStQV89mTxc_N-kD8}uw z5)gEg-{o|_)88Jw9Xv)NV2y+R{v`}IDztz7+dEP*_T>y7#jZ)#36|hoh}HGIA_mBK z!~sI|!UI$cVNf2k_QO;&evmKDsh~LrfL#*ca1>pa=x)P@Qzp!H;^L#_SZOo&!rTGC z6#Z~t7ew7Xn}@aJz~v04HjrD*riH~L5aEw55Xhh}qH|^-&!3=sjVG6gmAJ)uFqJ{; zq+sxiYLjEA&V+IVV`l?CHZx6msBoeNaROovBkL&h62q)RBg%|v2jN!}wK;$Wc#_P11WXbA+Ee^-wGI#fJlxBH|H~Wyi>1?2 zUN5#0g6K6?dc+Ui11MV#*m+g+ z%t?@B@`*1kFbp-Y5s#!vO+Y!`;CWm-6Er1<%H-;lr|dGREw;K4pZF3=N_a|5Oc1h{M=a?xB9RQd4;+P`5y)yGjZ%ky+w4@`1ktpY(Es73K%QcS7mc zIP4QwEb!6ROS~EteFX(MAY}G#koKvA_S}`PbXBzi300U9B4k7m)x+DbVQ3XT;-->J zWQ^gBjv3A^^TlHT^G=&AOU9?EeyA)2JUlb%k7cdU6?KS$U?F1hJjX)QsNIOFQX^so z<_0vLoM_{cqSR}jr4?0I08CE=ez1TWlE?z=>MatVm;XTYA<)J|bb{Wef!<`t8&R zqmrNaK;D)#7=+4HrKU$5=SYO3V=G~DWIx&9?0M5Stn{|)et)iwZVs_IY zFG4Z@Q_=?GU@FN>AEoC_WMEZxAWRQ}M1`4&zFEMa|th-^+O zt3k7*Pmsv%Zk4={XfAM`-H=RAHU{iO@YG_)n}#`lW0`N6uUqM}qg2D(qq=SZCC;i# z*Oqdiw2?W+8I?5Vy+~1JHCd5x%a->B`}QjT&fk3+z-Aj7jyOQz?EU+!PXAN_SgMk` zF^#ciEvaQl?#?(s90?Qsgf0bl3vEk#)>CZ5Hhyulo*JV(-gLh-VzN1Ax@W(eq5~%L%8(FciB7}B?7z5zBsTQ?p!7)(D;xP z_fPp14rwVHZa9PInseg6IK1W1c66Uk3r`gL10$RBumsw-i{L{6y9uX#i;XVrBb+}@ zPA#8x5_PgaXjkJjMXD zcAJgUWYRQ~Cs5(PO)~J7o%_Y9^L!i|XitWvL7-$r$By>BzX>tA{jlF=f3Y2DXwU;Y0j#4m};kmsUbxUOZ1%?i$aq z^F#c8Fom2!>#DdpOmUC{o@iO%hvRYkfc2#(w5^v2;ifg^xQiC4h^_~l9DxVr&LS9S z%x*VjoNem*p=O-eL6W?3i9eIA8!+qx$Vf{M>hAhbLubp{C&Ir&45!oif4{5hw?cyg zZ|UJcvc;t85iO)8WJDbLUxmEpgx3;sQ%+UTeI+++taR#If(`n{kQt%`Hq9vHm%)vF zVsv9W=dld#dt!Y?Be{9P$(;}cY;a8N0f;D#y*4?*=7OIrpz0#3?8l?P-+QHiT<|?qiJO+?leYQtJum$xAx>3A=*|{ljN&PzV^2P|R|Fw<__KY=Eg_Un6l0<*Ewqa5p#|{pAT1{Yl!_-MS z^pu0_vmAy+u$6S0(me*es~5)EsR#YF2#ZV8Fv7Yq^`mOas$}mIeeRf~8YK(+uQ!Sj zn@mppyjs>vcoAr+L5!R6;j4ZP*ITEoL# z3{*4bawXY|ZPAkS(r;%P4ZkRKZ0f^q=m*Bkx_1%Tif|Ns6EW?&t0zwU9^(L{eGNDb z9x4&I)W~8E?a|;xK(!$qlar>d*+YU>J zFV;Pq!+#Fnw2RxSfM+Xmg)izzu9x+P%fGDQ~2h|Td<&zT*^hUaO zA8*Pv05dA~c>85+mD?(396~GwXq|2JgVGnD>pV|GnbEWQglWj+fj=PFBIKQDX? zn82e1U!gHP%mY(;#vLW$o-1~3VQk#07jy3{i0MS3_0rkdE?i#olx6w_fQ#aUOfT{4 z^Asa$8vqfO=ew}w-7tx;wDvl&owvlx3bfk?yuPAq@^MKsHkQZa4>|Fcy1-DlOPvWZ z>lS-Ok0A!X+L){`quav3%*tVBl!M0|Ec+kr@g;#A3?Y;|TgxAWh`ZfxaX@>YBIl*{g^O9S5p z0wuKwWSjE0x;95<|3b%Y|9$^uj(>I-wnCjiFD$GW%&DmBj#Tu$IJ~}%{Sd~f{qV!d z5Mps$dA0r#$EGtlXh;Gx)-WGr-x0&rIP{J)O7VWPZXcwuWmu{Q2u-2kUxj9K$0k>P zV*VD)F%3n2W%~(Z7W~--d_QIWZQ^EXt>lx{=x+^FI)?QxQ~OKCONp@v^gjusUu zd0kQq5a};l)9*w@2)7A_I5)~|pcCuaLV}gKhk8@^wwT8^v0zFGkzYx6Th9^cXZZ%! z@1U*uUp8YZ_7N~F2oqcCoiPYnqk{UKATY;&WVPg3cHn;w>%a3{lVpS-%uN4LoX)ej zK$uznM`2Q7gB~P<4Va_#pLK)C{?|Gp6odp9g!RAH{rMmdJRq$9-ND2b$SpGn z>wnGX5I}>W{%I_1GEg9KadG|sdww={PUe53FQ8i2+8I@{@%!4ao^ZCjwSo6VR{gws z00{*W3QWph$p?w3P9a#HjJwqk@P0-hU6{O56#!G}w9u39oL z^n=Z6Y85?^&dkEoiE1;3CHt9}uP~st3Ba;uIw(W+tRLZuNf5$^N-{C+D!7t#>7$*W z2yh1)O5~m=3uDhCMynb>O&ihKAi4@UBD(wyStJHxXtC=7KILTT14O_^Ol6dyirOVX z$r)gmjkTcF6!|Q>Hf%G`Ttujnr<{Uj_FHv`!dkXq4x!;8k60g=QuKW`y^cA944@p! zVe4P$#GQ+U6%i>WavR^1hhxg7Cgsgu2fRQyVhIre^=KIyU=tcGk4qRpIL(B-rh`=i z;-FO8TqIkz@J9u=Y+ho6NLP#`2-Kfrk-|7w0eQ*>XN?+dpN<-N!X>su2zdszBcfV% zG|^vyWH#JJ%0;?@G;`J;QbWOM0C3tBvS~Cl|IXYuXH2;Tiv$jFflUwlUi38Hx|`$j zlCeq#-@dz8;{A5c3AH34gyxHD84^|b_BlNc`0?hiZ?s)7jeti^bc`XPpl_0iA&;#g z*BhPp+LhQP?E!e!TlIXkoLy5|hEZ-)P7;%+^niaaNbYGN@}5e*qw$U50g4pg$>`B> zI08gaji^si53k1$?zbDyDm=Gc6tB1KJ5CmRHK%_m&i=gd72_txEhb(wT-kfo>kObV zeHD50=o=W&@5ra(#dw^~KYrObdA+$m;Lw49H>XYGny_lm>8(MG(Rfh((YVD5rKH(a z5!wuLO4Z1NBW}4pa~xu50hsw8TDsa4;dD zZFlglJi#rjI?z)071EEfSe6HSNT4Ob1MX(f7S{dDdn=PA4bdE-ST||6Fr5E4Cmu{{Sh)UzEf3lrBC=}8 zI*zFX%Ei)qJ&1~)EdbFxD5&XZ@@`F}v?YmUnQRW z;c*Su5`M3!lo@M!1>;CjjiNIM;HRA8n*$LM`?hm-6enxTKb}cjZpcSA-H8#%N&ONM4|6-$opdjs zS`4yn$ml06Y)TV_bhQlJ6iJ}!JYFo_nsI!C%OUL%U+S+9>L9=_EA8Oduzzfkmppwk5NB*e_YjS+X2C=KDq{XggG}g-4+O zuorN_$mEicilXUnL?}Xs!C09y zgOv1PFA<|c;)Q17ao?y|inJN0BnYG`1=Jyaf`nP*a+NU^2n9#`uMTY21ywic zssZqy zcfBgtD}2GzEt;y!O7Ap4x7}9Wob2@*a{#5tw1t#4AXe3bV7>`v?dZ}Y2H@mVn5E<_ z4~|^zv#!|ayRC)}cs&%ykv~t}eG!s#*3W+UNUed--soUmTJsXiwN0aiygcli?2$B| z49!Yw(MjgTm&hS%?&3gavXfck9dxS=IVR6*fOKV@TAA|W_1fa(1T+>*@rX%UAe^WL zxOrhBaqWcmiK$z`fJ}>D!_2Yd1MV!3sriJUs0<@IvJ(mV4!G+Z<|p~*FU9u)sp7?C zRK7tt>rS7;aM=2XeY_gRtbh1Zl~|lbQx6D1B>~Eg#6k!&dX(=AiWtevp9~a(GLCYP zBRIRg(wZCb2ftSLRK2`WJV&{(X9@aqRfKr(RD*MRLuv0HEG1}3*GEL^i<3WQObHQo zedAq6vb_W2AKQo1IU9H0j?&8f;pj^K27+6RxLQK%aU2HV8x7D+`;KDA9hX`sakfcn zhXUe4U3Ec}-W()86U`nc*Ev(136-zG{OP8?Euu0WPP z`Amo!S|c2bs43Lb*v>Tibdl~mYzdtuq9Y&;=;7w*xDD8vkyxYT!X&^J-4uHr`eEls zTTLwN5Ot>XBvLx&PbJK=B#wd#MkOUo8MjPTora7Q4Fz$LKD`ry4kN`>9ZC zR$GoWg=IpfLrzF>TH3ZBub+=$Cb?kAZM;K$t-W(CZqrr+CSAzhS=>d*U+6GpIPUrr zJ~q7@^v|4O#b1a1P5?KbO9BwOM;vu-V`WuZi_33lk~SAoI}H~ncwA|_vXZd3CZLwA z-++UU2@%2kbnv)>u^76fVFs^9l2*h7G%gxICagb^B$7YO)pPXUBM1$xxmq2l_}ZsG zsqzW>ovpfqhWvU75|XoFj+Ng!;tZ#Y@H1F6N8TQl>x}i2+n+Mz8UZVrc=%;MCGUUX z4R^LO8FuM^R-cae+&ivw<#Qb~?)BW|zm4og zN7h!KxxD`^>TL80tKAo&nCMKL6_m3eoIPU+Nkp)5xWWBwsN&U?|J&&9&LA*T3QzxI z!~XS1OE2bbkRq+7wE)05Nd)ite#^bKbFclV>D=|*{hG^mRqV*^EZuIr_T)U$o5S!c^`=w2^)h8quoQFK z>Dj&YT;n9_tV#FFbzR@}$K^)>Gxdk|U?+E;BF5>7Gs-aV<`QtyI9fXcCcp}m3+{7& zQNJ0Wcx=7533&rChaaWQ1<`op=Xv+KFFHbpD3r2-k@`iit%nzUsQ?VcQtLJ>GaCMM zKK?*iiYQejX(5_pCZ8bN{s`WF>FVSQ3W+jaP!87UrCF!i5Z27jS7x)neO#)Tc+I~) z1lbS}7jmJ2r4eYE6FD;w`$K7J<>YWD%7a(ddr%NR-g=jQOy_RZq5&%1H+H6s_!0OsFR%w$Qaq^xg8_H1N)UbLwxpsvTYxQ zdF9Jr2A{=6_@81S+>VN`RrtUCn#mO356_+0eSh2-US4H7R)@C*JA3!swtGMBGzrlG z0H3$XLx6?5Rstw>l#Gso_AB>l_31p~`Q0}Kzkd8<5Viy%dL-cU>g{Y+ur3(%ZdiwT z`O?8*vXJ}{6vazdw#<$Gi9!1~F?)_S0COC3Ww2fY&TN(Cc`%-vW<~&T_c&iE*=Gy{ zfx7CrlBPTFg7>WT94p$>U(&<;$iJL9^umC9h z1uRCnFJ3QR27=rTKOUN~cXq`W{Jnp8Jh)o+5zq%kNH2*x^JbY-Y~-c~xC(O{)n`q) z_Y2az3V3?He<31bf95ZYqCRsm5`m1G*@1o-*P4;J9dpwx3ABA2>_n;lIeBwfzTgxd z*;Xk>U0@ICch|cP-$jp0L=#ABgZ!*X1*CEItbTQZrt#BI^zwZi&nO~d)qRq8+1(`N z)%0I5ke3n|tcsV3Mw|nwd|{c#!5q5JT<>_^9SFwdWDDT<&UZnkkwZWqE{;1*^k!^(k2R2T^p=bWdi4nE0_ZgN zWO=#H2oxqlIGWa?)<2ft{usvaX88UPi|6`ondU;Qj~=eS%zXG>x6k4)AEb05;9h$y z-&kIMnR>=`ulPQf?LY+g2Aq3KZVR}3^S{V=&VR$ZxqT^We7=Yf2r3hp)(s1((UtH z!q=lSZGo9KJjQlhEC#gL=0tpD=amOD%fB3xe?9@wl8?jXgzNs$ zJjKGar2F#@76>HlOubPeE~p@mAmP@*RCl3&sSx$No4RBPk%6tly-rd-I!c-T=Q68) zMEkHY-^jlY38%@72|IcxkM)Q|H#*3M2rIQ82#0Wt40Q}YD*{DfT?|5aWTMY>)R+SZ zARLmlUu+YYJPvN*n`dsZ zZu(JlfckL$sO#nzhHd0O>@y~@GnyK07y>A$#vhO#vjTc5f{T0nGz5jdN>7y*3p)32 zCu!E{{(f>{J8;`kHkZG*wL~d+O8V~#q$}U6ys!9K$Vtxm@SmIJfoF>z3pG`XZj5TiWAQae6Kqczay=?M z@F?+5;#~0{x4$%`!wHCWde}C$KE4wfYf10i*Wjfo?#wd4S}=oLe`FBW%F-VyLtWKlYpseoH{b^!Vm41a{b5 z6ER_)wZGIZlHw?fWp<=RQW4#Kk)&@FU7gn=XdP}L?^f{qCYQ)wIBBkvsk^=2D_v`Z zNeJR`+$-IX@#QWrip{d&-5L`%-u`q+*eapW5tTri9ICu*k}yd#4mmX$J08^L?s4P! zBcUmfIM89pEW0^kZLK=ZC4;|vvBAdYHsK=gMYMP*hsTr*OCI2f^xKbe1IpT_)&Dq; z^HWV%kuAlPLndf)=WuhEaA~6GOZ5<6&r~oIlxA-%pI}Pa zrhZ%p0LVCJX9Kw`4=_pj`}K0jRO^6eESUtJ%UIyLPN=DLjcMKduvD8}%SkH5q_*Pw zpvOOKa`hfCZ9?cEt4Vx)+5nYoloPLCA&FMb&b}qO^2}16RtoG$dB1BCYC?lO6Mca;f*P2QV%IfDnbHR+`s>)ltk6#5^0k)+22-A~ z@NpEo2V5;6G#G?A(l#6HA{D*0wx=l3k|{lN>IBcV4f+bUsom&2E&D!TFng4xMC+_p z59LWFj-KJ2ySj`4)TDYQeDhW%_I@2k3y`9H#CpmdbQH2|FaeS9Fq9Cc_Y4~UN$1PL)agd`g6&{Zfi2m(R^z@5W` zXot!CYa&2=Y^*T$1f&HHVTQ0mqKRe%2Q-RkX^F=WQTAwiv<2E0^8Z^vhl9QzyrGb2 z$iG#no%@`m;-FMr3c<>0M!H$MO4=fM zLD2G~kdHzTxpMj;F~qR(F5WAk?Qndn>Us2j_Z?InQ>wLcEA*T^YvKncR?!5eladZg=WFK0xarQ&VMD=H zcV=uf(}*8GOK&ng|S%b>e4RZInhLa3kCFauj4cgGGch*+qq5lVYXqmwU< z0KfV6JjX^-WC?Z1w;;#`2)Q4d+Yy}JxSXKwi#a2e$=u|-;o{luZO926g$X1!sZ&MG zKYbjXMNPfQzIYT0EK?`I<>^RA9H8zP4Tc)eS`qU}Z=Qz