From 5cfe0a42a3f0a94560d7bc57b66f916869d47bbd Mon Sep 17 00:00:00 2001 From: Andrew Date: Sun, 2 Feb 2025 11:24:25 +0000 Subject: [PATCH] [CT421]: Notes --- year4/semester2/CT421/notes/CT421.pdf | Bin 124499 -> 124394 bytes year4/semester2/CT421/notes/CT421.tex | 14 +++++++------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/year4/semester2/CT421/notes/CT421.pdf b/year4/semester2/CT421/notes/CT421.pdf index b2dab48062a35773d429edf2395d053f77771888..3f41628a016fddbf5702098e855b03d7b9b4a7d8 100644 GIT binary patch delta 17583 zcmV(}K+wO_%m?br2e7gU0XUPf3l)E*R83FZKn%U-SNIPwwP*Y>BdsE_Y_}4(s<|Of zAh>i7J@NPPd}Nyfd!Q&9d15>Ed(T!7o&n*x79t7rKX9T3u?Si?Xc~AhGNOndL*yIGhibLm zkv+!8`6?pTO!o+l%v>Ym)XeMdt8vyj)_l$vnW;&LDxYEYt_C?BO8+GehJyZV#S!xv zc~Q(kIj-U)>LR#4jUFB5tAu~Xt8O)HUBAZu`mEKyemEDu%FP^QHxjf-@}_B#faN?8 zUyLTP5F znX)=nRq%Z$l9g(cCk>lXO~*Trdn0mrb#uu4rC-J?+#2u8vvUiL4+AwgHGk&;pf~aaC*y+9QlGrE!YFfk{e1fI zUP{2r9Y`tZtF}@qPai|yk^aWtkAIh+Uw^oHe!cncJQG@BL!3wnu%}-?-~9M9J^zh9 zKb)k{!Jqz@C_kT!2jK&K{rBnP&EIciW>X$u*BRjePtJNFz02HMuM#_DfH=P*qqHDy4oC-eLoBt+!1xtk355BVsi9BQi_lcsMgApeHq;eF8AyX! z=r7ZFP|NoyxUy$?WkPmYO@CZo)uzpT`(kugVU-TTlU>!@Jb%2M#%w6LGERU|Ei~}F z3%Zm74IBiW5g!J z9>~Ev^0+mF=ZAf`AW+;uXg5_{vT^%N)h-(SV#!1Mw35PA;H>^qRL*aVK@qg&V}2s5 z7$}jWrJU!(-UdrK6e_6IQn0V#$}52s`q;2<2J8hZP?|n_#`TO(OAr=F&Lr>P8{^xM zvzA5}P_3K?W`PvE4uASKM*B|JwiCc-|DVif-yCSGj`E+1v-78Yxkpc^1KZ324Fm6m z)eNqYff~w9-FK zffmwe=GZaWz_xA=txziwf;ni0jQG8FxJq-EY&Gu-x=~>e)hRNAXRMyD1J#m2$YA-H z1HK=$(7IXb?fct1u=e~*`s)VHHfEAiky4YU1_GFw&K9=@Quf($J2D2-*<=YHh#NtX zl2zS|`NzP5oPS=evuQ)=mt8c(lsukiO7aNFK2~0VYM`msyE0GpSkD5nHj>$IMT~V_H(dsf z*odI`){a;UsXAEChkc~@a?Td>mMx}O&ZpZujpzJhWPiay3f z07dJ$;D$hdJQ=aotnHxg8?V-pA=aKUJ%xTLMQ_wfVu@DgJXo!(T$J3N%9vR7n`9*y zu=iE9ucq*3P6N_wOhSdHtomAA#_ib% zGJlW#1|X%wh|NMUfPoypibmYP0AHqpk~H7CuT{Zn^r#y^I*84PvCycnk1b0!YG2i3 z3l-uzD3k{761R|)log>~@di^f;6wc5&x6zoqYG9P4h(sPrIP-Gj!4!S?VQuh^>mJp z^C`zp?T`W7YGRU;r=0{PQ0L(Ew_VJYjDNjEq|K8mmTYtaeN6%aRBPy=KdToW0w3}L zMtv3vt%ytx=U+$d9Extv@-asee0rGptA_2nyV#(yK60m$^&N3{%1FwV+={zVs&9x~ zhE^fh=W5_j1|4NRdfn!jmF-Y6&in3DiM!BZ=$`$tK7PtRTs7`FK4VDw8;|R0q#R2F7MH&%RO_yQ?xYaNX8j0!y{i z*PgV9U``ckLGQywLBTpas9uaXU77jP)^!aXnA(qXC5ft2{863IlxQWS;(vW9O0}p4 z2piX7a_?Z)*(w~&aJG${9A0vNu-5e42P$15w`6on=Lt9aoWQzNYO<>-a#PaIBKNXO z6$^Xc>{0;|oCM0FqwjD-9m?=pIDA#c#}_U zwj_`3sKZlkqk6^rCYn-NyA%b(i#+xIH~NT$VzochJ$%r+Sevdl(kr~pJ&Sx3+%uGU zTeZjMQN^&!X#MG@9)CJTEHri3FMHXIxx2zNU6?jDw{=1iJ&23KR)4uxn}vwgnzLG% z>JC~x=R9IIg`6~Znr$i|CH}CqN81}O{X>vJAaJ~+YrfwjO;2Yj_4Rz%KlhuS9)z-~`w}qsa()|K^r5T_*37}^wwz2I z^hPZE0tc^z@dvGr6W0RoXJB(fPzgsFFdq(2*E#PZ-!0+gntzTNW6A~3HsxmYUIzPo z+21!M*1@#X_Y`YzwQ)|oeeMN5@{{fAUUYkth9zEZlxn+>QuM!#AjlXiq z&5dNI_oZZKCw?WLcwv<9-uFP)FgEl3v2uwMr*bJ`l6X;@ecif0Y}aLAoo27E@*miL zH5;RL8#kBMfi3AdOW?}Wh-1mfTt_`rTwRxSQ0|tk@xFrhfyxu%C075hqb7cSz4<>V znK-nQu|yNIz$8V?0ysC5aI6%w8}ZKpe~fzy>ZnZ6%vzKZ!8n4DkxD!dR7w%GHh_*q zg+v?#$CP8{b4^2d3fih%fD9u8M7j6kg~-o86`gMXTGVCHYI^tOrUd))qpDX8&TopV zQsl?wFWsy1?W;o+tItKZFD_(80zoRl+Dihj2AyHu-s%w&eJ8j5t5LV=^E8tRf6rr9 zBb>ki=i)fMh7c((uwTi}GJY8@6c4N0KJgH44#QwOa1m5U z9-S}yS5>E^aY_(}>3c~d^OwJl%6>;&d@OpyQgF&0)OR+huFlI5aOP*nCxY7l0`gzS z=WTH9QkUj&{aNHM<}~2R{{LF`fB$=s|C9Z1DSxw({2i?hk#I}=lcuImv;h|j_tB0e zV>VHaHkDiYhBc_}t7dbkHuelUb5bJkov6r0nlT#OJ}JhZTrpIpoz(tGF`g7-Rxx-O zj+0M{v1`THCd^oa>W}PvOs2Hc=`Lk^OojWSpItL2#@`9&XIdT{$1dW1e>%N)j3``HAKZ}=HApHkANWJJk; zl8TZJCAXAZHND-YxBq-^ahBT;%|y$lI-q3OB;{=NbJJE+bJqlVcWa^KXK7{ASG8LX z8eG$HADhxuQz|IwwMWj;e^WL9y=Kt$?5Y`Cxnk)vt6$0Bn{6Flw%1&I`IXK;_HU^bAGLbI>UV z?7-D!{yIO+kJwkzaqunJh)I=-nF$K?WHuUjS(_Qkdl5anZfHePSxBs8~ z;Kd7`B0pdu&=Y=SB9Z_)-p4{QGUc`%5_(c1K^TkJm--zr~lV zTRsQP6JE8M_~XBR63%5l(X9rbB^gEkw%407b^+Kka0n@r*3SaZY~H3Gb5@K-<)ANW z&e0C>>U>m;N>OtbVuZBnt;{6)b-ZTq!hVszD}TL9-pS0%e>AjS!n4TvuGD3dwxjn&0_2d?l1pe#h;5yQE-URm_cCFGsT65Z^H zDx>>g-lN&-J7uIFL0i0u&<}WGkDTs5*_c^)jk{@i1iomSMY@|5Y?izRZOF|gd@*fW z$Ui5&nKR#+f6h-L-B#PmSEmJE9UkPX+kA+d?Ncj(f1#=pLBmGCKEkM6+zi-Bn^~7O z1J+Jv7Qw;e%MNA77u>cGB%I5Sz!A4gn)uciY-^M09UpBo<%ybV_rKMt?3iF{d(|SQ>T5c^ft?nbU8R)UoGYNsG{;gfp zycnj;elUOiB7g1n{B{4wjrd-CnI^z|bN%sVaQ#7CG(=3Fyk6F)AFF`IO9W-W0M9k8 z_}Hoh-Bg+;x7d_gL!w&fkMl!jyK%6Z4sRc?e~3fJ(*UU-6=puMK*E47x4MW z3jEdg{VqS|RYu=Q4G5eF0%SG_tt{-(H@(zPj7b26m&1eiDP`Q?FzO<#s!>uLXE z#TN0lyzUN1gD>LQL8tmqJ{S2Lio%I8f6pcaJSTc@ZhGZs5|tc>(6res=${HL1=DGv z-{`jf`<2EZ*QoI_#oo#;8tZ6VYO?K$zqj2Sy+8Tx=y*<2YfL6Sz+~bIlfgE;+G4_- z#rR!W%!(B+GnTZ>SmLgYWt9l#?8LanPKt=*kCe!Qa)G?zs*%F|vp>a<0?~C}e zI9R*jTjOJBQ(}FbqrrMdgkvN*e^Q&sZP`RV&{z&bBzaql;|_h& zU;+X+rvue3kB{V^oTo7q+o2p3kI@^u#y4-yULL;x>gD09Vo-dp`knpSi!Jw#`v%eU zzAm5JaImp$t`+l}P$f0k`P64^S|?Sbir&GIs8`*M=zAxk1$Y=eevQ`NR+#&eRL zQM(C@%bEs0DYn^258KGrlCJSOdTE&IH9ixV2Zm!A=9rR<(XkiMn$ge$fyoz*Rx$lH z)D<@FsJWt0$n7jJTD9(FCci8)a`C|?zmny12JfaZkb8_6NU(i6+BHdzd~z@_ zeg4|U4`}GHrXQt{o0Op0a-*-Nx9c@oxv^|Kp59c4L!g(x12$=z*z&eTFX;12=4h*D zX6NFf#pzh#AVDv;eo<2 z9e|T{C9wr-uCS9dHnPFjVC+v&p~VK?xIqSc7sX(fJ%(c!Qly zh#Xb8dszO-(fc3XoVC>ux^&ws1}ltTgKM?%*IT}O_?F+;KA5(0!}n&^_PySf?XOw+ z67%}&K+YA6fY^ed04)&85$t-`(H7(a(1+PVz$mZ(D#0%4h(f`|fj|!r4_=Tfk{5<> ze~{+j26#YFjsQI{5{z&M+W~%4255s^!GBTX#bX5+I6{zrI`m=oC=U<<47fA6Ky1NK z@cbU5}D?#lPV6LuUC<=-9`+SNJ1laa&?q0yZF4q|f^MLyNjqD*% zJNw@>?4HAchERyxbFiA?Uom$kynk&DU=%=@PxOhPs4xKR1^|27Is$(;Fz|wdfB$gu z|2E%o@biJg-~jtO8el(&J^1bm&j$%|2Ln)u=U_jd|8)E}!sF)$*g z^*b}z{!e^&{|JaD;2GbY{P+QUzd!#xS==ei4hD7c`ZxTKD+X$*7^-Nias5U4AE&%L z%oE_lBPami5fJ7B@bd|Y0-oGGfB5}(oqs0qH~T-VPeG8sPWK-b)u8q;!0#5nS=^29 zZzk@4NrU~bz2N}-cMEOUouI)0_J8$n&L_-gd-sR`|9K1kNcsO0|L-dQSN;F*iIkta zxcuQ~|1;qK;|IAyT)h5@xD)hq)ZKDu!R}TB`oE#Z;6FE73v35@?)tx8e>D{7Zb{^z z4tGN5;TPiN6Z+E*K`KK$!FEp}C|k!r#q{@W-1TsQK*3L8NXYLO&s`QD-~agTcF)%N z?&X5KyR$!CAmrU5qW-wv-xz$iYX5x>C8#aT?)Od#2#Wwf2n5Ir?@khTNEqP5f497L zV9!4^4*>E)VW_(lz#V5le}Fv|5m%}1iw=g z>_77P?>Hd;g#rQqp!Xl}zb0k-9D%qS7h2+=dX&bjRuc7JXU%GqD$jKDD_c5sXv@2uXD?12`K;A2 z)_Mt@@-QlIIxyPAPu`y1n@I9GqkA+-+=!NEoGQ;C{sz&5_LM%Fq!U-h&Y?%2mDu-j zb=P!~2OC9+@)PyYe^%}G&dQQ3O)5Guqupc=_XTweyS#+XN@X}@}; zA=!R`m*`PJvfMY&KTq0C{~pcfBv@N#XMpfAZ;w+=7iLySeOeMvR6& z>7+BHQC9{;_2c6EZ}iUU;h`E{vlCsT%fFs$q^Ug{=?!7$)=HGRdAGLfSI62G>uw*0 z-u$>Sm2^#siz z3eOb_%|2IHk>7joR#)L4%TuIrF)(oeWA@waj;N4WYTo9^NAKrWyCY5*-l50ap_ORo zmR%kPQhn})wW0~)xt9dST<&;Z@1VZ|Xyd_ay|GH4e^N>qjdeJP^yT;9qf5_l-~Ne>_BAtACyOaT#>D1v67d>LhT4Bp0&o+X);tdBkY9ydPJU zK2h{LIl!5FozP>NLe%=Bwu;}$tUTDEgb2HX-=@7OOT852Yu)Y``^M%4#|ID7;Cp&Cx@v&|I4n!?Dyu9Kquo<_z@gSot=0CCa=X- z2a1<3&-Ut;q-6rhXV+>Ca;N)YdwL$P##hAg!WlBbP5XGjL)^&bO?tWy)Kp$qe?Jb|9iV)212 zSoheDs2gJ&1hF$6wOp3%sFT5ge-l6iCFrUH<$Ids=)qT441LEZ1Q?@_-fP%yZCK&q z9ZUcE^veJ?DpklyN8b2p@Y1U=V1^k^j?I!`I7|mB4yX=zEvzeGCMZt*x`DP|(o|*C zhyVQ6)=2GPC58yQ6+-LLc_b>-E+8Oyp;UV(Ou)hx0$Mp0I=YqGr~iz|e`s;{nyYZM zT9px_U$6Hz?R{Wqc=aC4gwU(3!Y`XQzFCIhW zt$?3KFyEe)Q6<%IOU(VbA>bR4PXED3zC&mE#E9M-mpy5Z#6^>B$#1Hrv6a1;p6+CA z%=dy&uOGy2v4?WiS3NF&J2>OK8X#q5!wq{46VR-lc#h2Hs**e#Rb+m;WpDBL1RS zW|%q_ffn^6y|vluxIFYe>6pC^j`89b^wpA_lIItE3ug(j&cMWSf3^zY6M|1;B^PyH zr*Q+Tc$PFxjm%1Ic7;r`pAGRnA9A9SR+@0G4ya}_>FLyrZ?8Yk>q{_9t31tI1!#r4 zTpFm-^+U&QyfVANhP}PFzmTDFnDbdtuuwt9VP6YIK!rud+6Jw6Q{aMjIa>-%vdULO ze%ZP(UZ5DdMBk{|f4%JyW$$E`;`RW;X`lu=hRc+_h^O0fEpulKr<|CLyIw19i*81<9FF@Q zW-~P?M=cEue?>Lk&}_|WCP`Smz_Zg$RaaxFZ%*wp?Ps5+rgGJD+ay0LP=7|9=x;ws zf+5D8S|(ES?SU2lWx=?=2LQii=PjK+Hf3vBRA7Y3rRkz?9)I=avY=%cT z=H7+ZA4z~?;|w86PDWThulXa7_=kcGs#1(Jug8SFj5U0{1ICV4(++%R>rwX$o#gGd zLXD)#y=MexI}Ik){aZJlRkzpOd=<35cF(fBl&dQiK+cC#f%j;;(b*Ua)Sld9@LRmeY);wnH^aZ^iN2EaPax3QVFzq>myj zGPD)m{j9Je8yy7e5hm&L)KvW3A(tLi|KhqwyO{oq9u7b=`bU<1ujhtxSJEqRrrvK<~EH^_Pfp zEaL6uF_t3vQhZHxU{w5f@kV*76Tsx+6kC7_ZT8qO|8o&O3#4@*UgB|z@2ln{_9`l& zoTWGHTL<#h*F2=otu0O2y{XPcE5}zY8Vu#G(F?MRR)unpH>Ntxn#ViIaJX6Yz__jx ze~QmA-p6*v!u{*qG}*S+K`0noU=CqmLGw{$kqXKlUK?j#PxM}L53R`W98_QtT7mGe@B z)_nS?UVdXGX*NM}V0-;(3=15?>3u+FfA5w@7b=tsQnCmsFH|p`$Zq&G0cbNU>KQyh zZkjf~b_(^&$20$kQdQW#zdvxnkO9O~Tv-RS4B+}ez}>3^85r**^D1cDw@0phKl1vd z*;awlg_pGnXZv;#;oxM&H`ZjNdkI9T+5x#y)fAnCn zP!Q`KYDsS$lIg<2$Li_Kbghsf9w4^$-D;Sp#n0Jab5!>Gk9Qvl2UVoHEz2CIw>g|E zGMgZ{qBi3R=dwu42j`wDx4a2qIK(^DI%i?8%%b<4Dpr*#4CY(E5OTAC_Je8k<|;3d z_Q|ych12G)0k+Qkuqv*N7dYWVe;Z4f0UwmM!)^AXxfROYj=I>wu1&~y)Cw|tC(&Ke!J2G!>rvCSDF!a58yJpBNOEnS@vHQhAFYD-cB|dW1YgoCXSr3^Mi-` z<#HKG*k>%X)*eog662CkoX*Ev2EHHts*_UXvM}<+ON#Ee#L`<>DJJlte>clb(4g&) zMZQ62{V4d$Hn{_I$2SNherQ{SHJ1A4q#Nhx)}|p9CC3T2O&QAIP(T6sayhMa%Ij5G zv1q1rn7OQG638IULJx(%OYGfI@tB75!FP&ryvH=!dDF}?2Cu}mWG1le-&=8Y9~(iSC161 z9+lm?cSJXyINgw<#mc1TT+R>5(T_K52=kU8#oI0VXeCqy%0t_#Wn4OHt8FRB)^5YFUIO_k*EqQ zX(W8O_0vvogVs;+fAN${==DbyTm66?T4AQr#O!9il&EjBvY||=_5N#$xZ}*C5(F>u z4r_0ZkeKv2mfMw54hjeP3AKR>G8daWQ{ML_Vy!HaS`q$t|GlavRYU?&zwo<`HboTP zK2dRqYf8WPL@Q2wAulDya&rG?-wriPCTD|4!pUX7BZByZe<>K35&TYKbC4)t%(#cQ z#LoXr<%UlwePtLIt#DD6f33bK))P`0WmM`$kTBF(QI`CkWD@?}p-}sthnL0DqFVJ}z zBmV9eN!>ssZQ19*j<68lR+Fa_xkhb0>|5T8quZ`N?rm{h+9=MPp`Wj8NzfECs)lG1 z@vS6K&J&9~nXk8n=vm*qsmD?-x!BKmNN~RJqnhR(e}bcU9?pAUd4*QOxq(qHVW%oeC<(oPvEEl); z>;e`Ge;paxVA|Ijo5_4N^t&=|#^C&^XFu^RW77|bC@4v-pZe?HGD>MI+{!3jY-rGC zX0p|A9Yq!(%vl6*S)NVB06iz+g6(KK-%Jhj-nj*1)p4R*=OO@a&*bpmCmD+N_VvKx zIpIhGx(h<3qEi>=H#V|RU9O`c3B80EXm(7s*Z_#=xGrX_*q7_J*>3GCsJ&WqdB^JFea!a?BU0FNSz7um+ctNz*m{z$N2PL^%MOSbI?)wl5=AU1X= zdS@yOc={4GN`vo-pK^4X3qJmaGIS7@-kI5 zt}58h*%rZm?z6U0`r&32!&szY15v!ZN|iL#Rv}ve+2!ftI^~V z`#a57sjJ2g(QohFAcm!YRm2@^{K^J?N)|s`1@o5P=(EzXX*GJq7MLm&Cga*%tTqeVZqBs^tY|C@A~O6Rr@L3sU&-it;W;gb ze#tIeNq+GGKi!w7(pHlMe>3E`)&P?y}pYk|ylQMA3T{F0;*F6wKFed|WPGXoe=ztkji;n*uI7UD zg*Qw%xW8z=tj6vg28q&(q^kk8E{dRO?A|wp=PxvycxCu%7kIv|&gxq$5TFG;aRVE? zDx`WNX;Xv`hoh<+7RM@42F5zpVRT~$LcBVjES`y;-${SQotrd1%zZcLAgZB4VYSCs z!xT6PJN7O%4n7zfe}stlVH>w{9b%?w)UahdnR`C*!q0A!3+Jv4B z>*&=iET$nKeN#G0gmAUH&z~b5S0@p#>}{Wkhwx|Mqrnwlf9H%6cJM^zx=6aD<>TDqNe@ze_{S#z$F9((F!5*bEKM_|!A@7IlpA7wNZ!^zhnW_3@scZ{0%LpK}PMs3k zmBE|K3i7_}`JJCCzBQ;dj%y0Nuj1>w>}_S6r+ry)Lt(RVr1+t=hLkM&#lAtdU`Jge z%`b(m0yIe}0>xT~4!@tWZ8Bvl6CI(q#mpPyf3+jWpJfJBv0KdFZ^Ycb30T^t9Zk%7 zigBAf^4PH>E)XB@D>IMP^Ye1W0|H#<{IsOhyld|P?OQ2Q9f$4D3NE4BWQ7VgdBhJ= zmQRYqZyg_aCAgwrrw%_k4srf6J9R5yfRD9(O5s{q^1LIZHNpuw>!Xt9`IX^|lRzv6 ze~fyaNPw~a+M(XybIteZq}`E|>>B70Wk_Xy=8Kj_zr20J12;+rsm8_oE+=L{8hatc zJ<%6|>i(|Wjx@&+!vdck8_k;z?WNX(OX;pgXAFQU%!d?`U;Nh=(?gH3Unp|fk>A>> z&$kEBf9h+uUKIycl7I5A*fHGCf_Bb!Zj0T;x6c(>f1N6ZU$uUre1l7p!lL;;AhJJel9KD~%A} ze)TA-yBEM&QbRaBq>=WpFz)CTt>k>L>|-(?yROXE2-`2bzAg5<Dp(lj*RP74kzWPuS?kvB{iIWIuS+U!#@%w!2XR`>`&WewipHe9dzrvy zc~YsE?nhNH9&H=ZO?@O~F=5UgG-Mo)(d+J@meWzD#KeOib?6Xgl`J;?=1d(Rha|Qh8 zOnKXGOob7>gk0>V-=m{qohIkX!L7mBlJXLJ1g%Uk2(}Luzd~aOux+471VhN& z1$Jro=dek&IC0Rvz6`!&B#M(jB;WD-g4m57>c!1o+cwz@zjv*f)_pI+fA5GJD0HvA zcV59hz;Q_38E}+p%<25XxDi365Wv%ede{C^22b+=XTbZvfz8Jxv27^$$jkL&b0HyM2bX)M0!_=4XYvN ziURk0`j8KKW>ocYr(u0KPN-cJuIxUqG+(%Q(wRli(RSJ7pe{d_Qm zHDyFZ^I{Zj3)q#-NtU^vtVq@jfquS?QBMc1Q4WR7u{v@2`A`##PCH1A3}X(S00|%c-`($8Q*Kf49J92=EG$mvT%x-PC#7|!eGQbKpLe`?#SYKW{1{4SMv z<;M_MHy@*CVhB(eF#p447uV_=x#@Cb>{ z7TNmv2!FYrsmAs$slrI%2uiv)=j@ba@DI+&<_Rb!T?7v>}>YA z#Sztny+`L!BI_?s$FJZG>AnG>AJff@ zohvdr$B|~hLe*@7>bc4l+r*_xN(C_ap!Yi;Jt%Bif2+oUGN;R%Mkj>OTiGG(6GZ+! zm@7d{!(SJ`f0SCmRsAi0`+01U*T<+cCax!a1<`r{@c}7wpH2&juV+^@4mqS3%0so? z&>QYdP0|J3VY{sBi1>B7RNhd~0h5T3t=NKg`DU_jURX&+luvPH+yT_EU+l_x6cB$E z*hx*~=f@k@w^HnT$rF!tCKcDs8|vp7t$WhJ_7V$xf7#}wm5L=*M;XzmZ1+-1y68Tu zu+Nt=Lxr6-y|}tb@o&c)lj2n=01opMDvd%G^}t=b#|cao*hJzoZDsiOqImWhr@rNC zI1K3%N8&=??DCV_c%}r)89q^bF`FGjm70Hc=Uz_FDDFd;gS}s8S1qRD_PyE`Ix4Mv!@d<4aWFLq@vZ;n zf6N&TSF(xhGH`4{JNZF#kD*~)hW}-FVGzN3OInr1n_Mnz_yBpUu@>cR_kE@%lVyE- zR!;Cw-&(cqB~Mh^$=ZIpVEEI76*E2dY|y~OwA|n z{r4ngX#nNZku!4tbF_J5eB5Zi+AudP2rp6ZMU`sc z7QpawFUeb^{azGVj|4;iQ%S^^%!HK6XN#GE5O>Qabg|skl?S=u$vOxlf9dMV$o``0 zd&>_#9WpvEd1}7sBjJ@keI4M`uiKPQoIpZ=$&MTJR)Jt>==^x94!#|noBrdBnOf%AEn0{e*^R=Nd1=^NFeb7p2W4oXQ6%tnr?BkrTh zyjP$u4i;|G`RH~zX)}79-uXQmv|Ww9(gBmfhVdWCvg)l(55D!4e|sNn?GVHZ_o+Xf z@tR9<{rV(EZ1;2c-p{_kAMg(p30(^A>?`!(;^kK}{?l)GJ$HQAy{B*2TjWP{H?GjB z8{$L4%PNjscR3c6)}n06ZHrcZ$@c+YH!RWTwaCqc)NTud%odhQS)R@*138;>oGk^f z<410zGhD>s2CQGFe>U7{#XgA1kwh!$I8AasM>ox3l!cnXE{GIPDFx|1JQaD?LWxx% z%hkr+pCcd^l#OMN%%m0Ha`O{_;=5Gn?AKjg-g*mMB!~y)H#~>^ z@Wfe1nF)U%e~fJH*c2D*iQk}<1HDkSxRzd7XM(+eDIhORZ)8MabY&nYL^?7sGBq$UGchqRG&3|bmn+=?tpPEUaI6%6typbu+DH)o z-d`~v6Ge2r@3s^n1!xFrplN7B?y7!pU`s3k=4^A<+^@e`+nBY3tJ13kVRyVU&pb1; zv+GbL!2_x^P#?c40O2v9nu1a&*BpE;@fW|8aU9?xF7S^IfXV>HKDA$Fp9Ax#ctbr2 zj0)7I6d1FnJs%hk1P&B`FiBC>)4-HKgI)kkYrEJ3=HnW)$32Dup98l>(HBm&_XZ7d z#(YpHXF&im0M4ZbDS->gLE<_Q_<-JV8E`=BTuJMl0Isdiz63!9y5TDvDEa2{63C~Q ztpRc!Z!#d$-BXrN`=f!C*k>M)UYMF zc@k~2IKfa-4D3CS84kT-h*qaBX=c`=&9@jVIBG{}mb}2()gpc}=RiIr3zI~fC7g{G zW|KwP%enPyyIq+z&e2e}i=T$;4sbr7gll|q+ne&4&U z3v`&kZ(wsRqyVjd8GHqDmCh{|=8*Km?Tv|+&lZ_j82g~3Je-ZPa23t3Hp`W<52r}% z!A74vmKuUnH1HfIQj;pgFGgtW$^R$81P zEs3l=;e*D(ftA7{b7(27vjZ_|AG*XkRP3o?Y}%+@;RJJkhbw`EK%Rii@e?CoAPXQ% zAkRS7K(?6M7zHVie`^uY-YF6IJRDq2#(4z%ALUi%o6!4h0q|P`fSjV7;igWDos`(o zWO&m@TKBDa#gZ)ZijCv{(5ea+TV5L}^Vcq10f{&0+cr$hW@Wx*! z=Pgd*-Mbxs-96k{-fh|BYEN5xzlXL~KS#TTpE`x#&Exx<#~b7~{iD4P1<=Xc5Ty#+ zkaQSYzQ0tjwtuy743i}Or_A9~63$JL+I(1wP0?}dyiaOWvyX$xpTnGYYhtmU18GlJ zJe)Khs=tGFdurFw#^!UIL~Bzc=AYDmJ`O(3`ooKV@w7K?O(>G;2t3Cb$AdUvZpjMO zDB0k^to2-RbBR{~htz$YNlVLdPIoJ$?y=rHD4R#QF3#`kC`mJm3m7hP8#qW6P`EW zg^P}ttOK|>e;vHud7Ies6*h0fR;Ob(yJ8dlRnc)5oqF7Xm#4!wno|?~RnfU&$2-*l zo1c!|>>mwq|5eT5rgrw5TkuDA`(3y+DPV_)ceafJc^@rOY)R#z926=+(aNb;Oerm% zQbx<)BBo#Kwmz7{&z-YxB*i^H2WFLKf0SWkDz8F#RorjrJA02fXx$~| zZ&39OoNJc1W2-5Dpjmn{!OJyhdc=&V%+RA|a?PU-czaE$Ynt{Q?cjlM_iE)&9+`a? zDI(M1b^B6P_Icg2BQ#_cM^TTXsQKdV9{Y;uWJ%V1p>^}33bv3(&F4`%=9sABE9mhk z6{_yef2#Z}JgY~kDj<94+5$cs#PiNH3lqGQlpFMHh3}8}y7+b;ZtbhpTY8SATo^su z;zqE7^43z!*|~iwas=FJC`TYrz_=rjR^Zx<&LJpGq-MUyE%#z2LL^xtr@N<|46+0rw^-3L)BO&eBsX`*IW;mqAUs1gH8?jkI5GNxX}tt?P}_cCE+vz74| zUM8(9S(%vgGNqF2^^~^s*HfKJ>a(YeUEIZP-OvN#@38^)7@GMs2VI z?sJDfP%D&wpbNU82YR6o`e6WeL5E6a!PnafbI=LEBFIZNQsLC3=GURXUg zgXGdV^wi%kwRq|*b4UwApiI)_dyj+>UI5|igm3JxiQFO(hz2bQOmm3Y;KzA-c=W)N zpL@WNN`~Jp^$eUTZjT?KQ8yvm*oR^kphW+2HpyXEJPCKS8$>Ru?Si?Xc~AhGNOndL*zTm$7;3R zkv+zz`6eRPO!o+l%v>Ym)XaVN)i~=MYd+_z%+w@AmCrDHSA(1mrGF9!LqUJG;)wZ- zyeQ_N99MA?brD>jMvsp3O+tU;Rks?pu3uxnzi4%+AI`w-$zYdnzkQf3u-P7qC94L>MdePY1iFU z316c&x_UUK4!`MBx2A0Jq~|uj{jDL+jmy|1?%iEaYTxlp*!x+vH0myn4eLYYkXYk( zrmRj?6@1@`WTo2VNyBDT)A7#ZUPjP>XCRFu-oR zbi0ZYpCUi9N}oTS_4zNSr?=DhuQr}RtElMlq8GTe%+jG!Pp~3Up=kw1G zS_570L2J!Ft<%~B{viJ*{!aftU4MUl`|0%ZcKYwM6FKE#+Q=wy=ifh{e*TrO|G}T1 z&RW?R&i~7lpU)UTg~&hueg1g*`$-ou^#O4`Di3t_E+`#*k=6y1#ThpkiGx+>up!p= z@d{Zn4A*;;e-U4zbcIzUzDa(%u{3?}MCTgf9Bs+Ol?zOksW!APuJVP}Wd`5BqFoIdu&A63g4N~Y z-LPgO&;UV2T8LL{yQR3+iV%MeDlUk#;*(+|46snSqptDFSP%>@Uy8aE&t65(ibx9? zWs%M<2HtPT0vBDDpxdyJR-nCPWA64vBdxHJtmg>w%A3%dYu^#h^N}}n%n_2f8-e5D z&#t(Ya{>pVkR!^oy=r!s$DZ;=X%DT4W1d34FI1hkD2$n=FRC$`GiHC3qW(5UP}o>Q zDv-41GCD(iuIvFP_qg~DA@@e0PDJKW9 zpdTw>qtbk@UeyT|KvaJ~u4UAT6d+))N3rU=yL;pP<DEu3E~__kTyP(>qEJ5)#`_gz6Q`^ZV_ zQljuniNY}&Kiz-bTe_5gI;X-!?%-Brf{yeNhe zAqp3QaKL!guH)wMj&NAomux{vCOdfGF`^|samS3E$}V%GbOrZNHArS~cIxqx4BRYn z>EN)KgUZi4*3z;(G5y2>*QUI8H6Y9|BU1AXh}1HU($atGGs;`-6D(tX?;S63IUZ!? z+2DenX}x6g!w{1{4AEEq8+jwH@^+rPxF~u5XFUL`(6XNL6rhPM3878fO4Hoz=P1?k_w*dfo_vn8bQ~$y!qBFW-U{4Jr=ygS)Oz;ac zz}JPK=E!&cy&+hw?lp@XgVe0(JB=}J&{nS65A`(sg2adN{7e*>ElX-fIAj;H!O$&! zNMGU7fk~8dxyiZR&YjjbkBEz^8{M5vmE3c2FxCc zgDQW|W`{>w!L$Iu8}oQG(^6c0Oo4(v3@B<^ z_mZv&DH6x$;Ui=JNDnt6x7>j(n}D{T!wG+;?;sH5uFPA1tSgno!)SkB=T-DrS_kJI z>L)Oh+{H6#gx8Gj8h%*ugBXjw(w+EF^~%2R-0jYhtFAHTpdAG9S3Tm8y3es8Wga^o zbk%^n+|#e4wwtTOQ>{Xso3!z2X~>dkph~*))?0?$H=^YX>a{yICX>YZG3*nsM%}v+}p$m=q&IIhJ}nZfVzPmyw@*Ub;vz@3a@^;4~lT+soUASet_r z?#^LzMdnb2jN1*F$#9RwJYGC7hT2f$_H`y5T`*Pk+R^*wLR8Mv!SE8q@0!BarUR_= zxD1jMI%7VfGCavAy;LiujhqKDDq?@Q9ygxc!|FUpnsXkY=)x?Qmok>CBfZRD+KJL_ zocO@Qe43WyMG(`WGT9j_H{)wjxo0g6K$^)*Ee#Nxla2D^`8QjOH-nqI2L5`nyt@sF z=r-JBzD#^I!`C`gs2Dn}f_1H3hXK_*j)EyZ$9d>OiGQ+__C^?cyDHX`(d=6-@F-V>Tz4i zvKxD^IulpTw4vOF!69W3pPYYfN?SEKkt&{3SYR~;uJ@c)xMpCxG8Z$El%AtTBIWI8 z8JP`L=OVPFIMct*NU&h4ow~s}KoK5*CCFWbBwpzzkeU~!{GtZRPGZ@QZ0e|=s{OIj z_h}X4?6^qZdezjB=DzWuQEJ*Xn|N7-zQq<@xs6u@cu;Ubyw)48%p8A6_JwUH7`9$V zSz4j1i$)b=JgAExUejenRL|n-*GFS#a9~+>5aL|^+M5CxWv$fr$c(}}hQ2{A`{(|Q zB7icER|FNQ%yRzdKWqkA3fCJ^q-TfZTes{x971|m=isT6#I?iM5!f`lGs-gpmdoM! zHsLPL-5OqR`SD(YT=0M5GB)G;I=Yu@=M6&E7u)UE0;~7RW0)UB=jVz~@_};o3THFg zkRWcXM|u@H=(-~d+i$#<-wPn4SL?5yu{mn-(0pv!#iO=}}wKf2MqC$d#VO98&cogx|X=sM>GzfYoA~k`|y%#S; ze*UTGbocX2nSWGx9#xOD zxM*o|3tW@&%W$E1Sl#xChj4Qk2HSy)phEKKeA&OMIwg%$f;ddyOB$KK{B>0JJL2MF z(HoY6Q|_R?vq5!rUXFk>KRZ4V)czNc|2jTzgKL+%G>_}gB7ZTb0Z;b-*MGAA--G<0 z?0-x7n~mh}XmyB$TjHNIHGQHDxLCN4b}SjQiE^~5+|oC!L3Lj>n?tp+XV96G5`phT zMK;om(ctz;G5+L=p)&2H_D_oOq!_b`!NYJseo~BGE5CU|_q&zSj?l0GFPN(PivlyoS$rR1vV?KZvr=X;B@+jG%Vr&d4s%Y=C5a6FU+Nj`MzOFw<&#W z$Q;b7Os7ry!^v2yQ;$8lSs_qH|4V~*&!S zi~L>r>s|6rW`ADZNo^(XVBG%H6H9)KtEyg-aoF%zRLB_HbEZpV#qQ<-b zSYKE~K?EbS5csAAO85w_z<(sPj0lw+lP1j?VwUWaJECZ; zF5bJ0uBIqyvJizw4Cmr{WzjpAkasFebh9U_jP8SZk7ldyl#zY}ZSf{TKj4Wya=QOy zV`kws?xy7t_@ZqV>26Z6S@IgRAvc@w#k6T5|D5z@&U|P7IX{VXTWu>}ofdp`c#yAd z^C51wPk*fhhN?;g4I2Ub2%~awGhioeW?kA0SUZ_n1P6~VJCq$?aN9zVa4z$br0a)U zijuC+Z62V^Lf2eWHo(3f&jKvpm>gH=%AfR;9=cT-COve6Fiv{t;$@oj&<)B48(p1L zlM3C4)Vs1YrQCvml-XK9>OK+VEcDpg6s%3D4S%5>c6Ob98=LTa+4L?k$G~@2mx*~Q z%!kTM>jjxd8}W>gL8`nSbr^t^iikMDl^?yKYS-^CBN=S6?`P1UdV5361WP`%=M zC~OUWI1&85mVvL;IcIsk~-D$qvGau*}eXRDtuB-b5b9V$xlZ`uX}aSzwVX5 zlb?^u&p!y|Q2cQ`h_3nbY$x4bNw?LxU4G1~jJ}f^5Kb-Br@8j7dUbmI zO>r}&Yg4M`WJvD`FmK-T%L5IYz6`d(QW8^6)Rq5ENPjs#9bT9DiO@tiE)jc z82bozg54Jz8r0^(S)T>o8tKn?)qm6yqJxM-wM7d6gT}d;3Q_yaHX|PAPsdnKW>83? zPN9hbr+@~?$@;teuZF#(waU9E^uEo8$Nihoy}(OnRA$EM@}V_625MfNp5X`9>^N0+ z#z%T4C1tC{`Z!02^?#0t$7ph< zHj(SHiTt3k9EwQtxE4nolofe98zYy=himvhlnucI1aD3Us#_i($wxU)V<^5uIVc{Z zH+GM2-kiNWeE-$U!&k+i_+0fn`?V)q?jiRLBI2?-btX}#OSLv3;74BYfh1_iNdADe%;e&mg z@PQxbkt!+Poi#m^relJpAR%~?u_Yagl69BV(s(-w9Fhu?J=?OfCXOHy=`%e>p&wtU zYz@T*mL4Yy3wB;Wi(zAmaeB$md<~b`1{kXio+lgo4ne;(5nST3XMbI1yOBKJvJFTg zTgSRRFx{|QUPf(SPSQMNNra1S(6DW)+Sbf?PO>vK+cI=qER>aJ*+W zxBG*Wv$NMfw)JoIQGa6JC_|=ih4zu2ADH!K@79_9G&pJ-y-Kr2KNlRiodrj$*1gQ+ zmqkY|KG@_}vV6|q-82qzj}Zq6wogYpC&`gd4+f^sU)%Tr4IS3>!xVCp5;R+G^wso+ zy(TL+mW{{L+v;!#^a6OmMokl2-nQr^eSXm#ZS~CTTwJs`A%80zCg=rs1P5$m>@os0 zkv3HC>8C{ACL{YGT8XdE4Q6tRA*$)sa7*?tJ?fYSCT9_8QoDv<((rcl9=Wy@J<)C- zd3Sb-3{neY=>Gv2jI-=9$bWg5o~3^lfU*f}wqVT_c9O1yq!67cPvHgh+@8QX?hJ z(B0h)A|MPfz)%Cs(A|x6cY{cGBPl5%NHj z1`NZX7Khrp*h9?B;g5a(egx1O(*am{dAS+?NC${ogY6;4ARB-p2yPCxe(Y!rvI3|> zjUiyT%YT)i6)=axZTVPOoSdAPLDn#4sJ)pG9V36h2?935F_09Iz!f6D!p{kssv=8t5Mu`$%z7G&cBu`vUfLae|5Whn(_xHFs)0J1Up9SE|5 zK_7qfL5?7Z70Bo@;E$t&08*l=0MH}Dzxct7?IE^s7&8oF^_wHh?=p{Lmb5Vuhgw^M zZQwAB-{+Hn*n^E9=kCJt*X3H;K%H#d{zj${8xzytG)x?9Su|}Rb`D@!iN9hVO&I^$ z%)oE}Cy z-*x_(z~Aiuu&RI{f1U0>D$3fJLIJ;9{ATeuzQ36`{v{3CzxIX>@ZT+zppSwE18D!% zzaEeiX#Dtx_5XPb{z&=%6aVij|5yG0?}?-wtgQa<)BYLo|M7#YAyzJbMLY`H0sgog ziqOXuvH9OnZSbEPtq3-OI9UI$R~CN`dR!7w8?#5DGqG|o13CV*Lts)6XRwJ11a55p zrKyk1rS4K^^5&p;Z{>I?PRr~LA zNZJ@fO@8kr8z&b4WN#00!FZI!BjN!7NZJ_YS6u={A4}gCu)E?va zMRRciSVVuD{zTjW7V&=&H!pxi`5(l?4q#FL2k|~eg8oH302ZTv(PN(RKZx@;dfe=P zqkr>eG5HVpSlR49AP0cO{6FAhzV*NGQKc+4{}z92Z2KrK=zo-BeWV2Y7qYPdSX}>r z|1~&c2YdU+$^N1E$Ep5}|9F41fx*sTV~m+8s4>64MU{WcWrZlQ6Vt|s0Lnqq!>J7Qy?JW)!JKCgEt!WYiw|y628q`wf^Y07OoePsFXq>FVJ>{5#v;jv)nh(Kabl@ z+8O2}=jgj}NEHajmE`Xyk>Ge*t~H8_+m-+S-G2`CUY4<La`Sxt*&H<%$LQ_tE854 zK>_kEvy)w8%eM~liL$z*z5cX}iZO!srR#ehwbZQZj_aMvXn2-4_wJWTy^ zda10^=g(;aCbijgd6LXqG=vJ~dHtKb-{G>eV>v>S$~2#|)c$|$dz!Cv?&ivIpL5dI zCPp)BR~}{)ffw$&Ts`lel9zpbz{>Kq#yGh$T-?>kdga``+<8S`q0btc@A28S#hUZi z@-%K_IFt`So>9Eh9_k-K$lMe{@p*2oJNS&O6fw#Kp-3s~)Agwj!Ei6M1%VyIvB)R< zde`-C7cm8(gkgVMn6;5&&`77*&j0R~ErG_h5Q4M;nRdi?7=6w;l5_yhU{Rv@tV`ZlaQS z^4GJLB0(QCX5QkTX}hQFX2h>g(gdHA>$Vw?KNvkg4PJj9ijipLEnWBe4nD0r)}|o; zMTEFsm!A4%8Fai2eJ=%5j;8aE%cDLpVLNVg3Ri0WJRu`=CgE{*h&GoV-J=u#yyaI- zC9B2zGC#AT=cw(hMs1C0awQ;l!#4AXLL)D_PA46|17lqppheta)jI@kmrFB@7fI$s z>h%FRG$?;w9(cC*OyfJIQy&1Jn<)c~9%3sFSFP=nEgQ9y<#tko2(UsFF92#P(5-9#yjXQ1lq8%5E1q@Nck?l}Ri~M$=`wG$F6Mnq>fY3O^P6zwT`Se|QIi4$)CE!(_>co;$j}XYN*NAI_HA42faYP=6CO{bc?fXTvVDOG< zW1WA%p@sZyX{x*)2q2e3vG;qXT2$T{`dDK*93$#eVIQkg(5-+4UNY ztRMZ*eKn_)i4{JKAhJ|&;{gWCF?vYT7Ab#8Cn15$&98>%9{yQD@XgtGIetwP+}_7_ zaQ|h~YmW}R&9OMTia;J@b+w6i@h-3M1kzwNY!>m#A6i!YnsBH)o_*9zZwgp;6Pk=* z$to=`7Pp2jZ2(88OFgn}=U$oobTcR55DLW$efq&kqTo;jta@tlyc=l;1ToPW`>=m3 z(q1c!X8R1n&QDV1Bi7R>N(#QYA?rImdxkVd@mbz@d(!{|<5cMO>#YWKOfZk0Gj0@0y@%TZmgFN##*vO6-ZpP2KI^+ zmm%-~6K`+7g%YLRKsJ422x#S;Nw#aMfPPfEdS0Xy+_&kBiag}_!R6YM-AxfWWXf__CT2fhsPFwJk zf6%8w6-$%cU)@j}ZDRsin!_v@GB$ z?zpKkn)c#1#I>T#B8MyB!bN{{ge6N%8BICo*|V?XMOU@of1vwRGA$|SXuU5n+T(ba zp*sY07_uM`lAN@x@~(RGuBSsGs;%xayDwTZvEn>+4WJlgb*&*o(r+_XL*6i(l zxP=9XBG0FVLIc>zN8I(v0pzl-`jXn!XWi;`xGt5Z2-Z7NH@ zpleDbh^UB1z&=4o-Ex0aT!s^CS5j7|OpDU4$MpV9I1yRKu3Q&}3>}HR>UmTxsVe7r zu9pU(k%9+{&CoZ5*-FPg_uGccn}0@N9)q9Z$F)XS{!@mkM1P7z%B;f4x1c z5X*1ig<+zaASX*z*Obtu(@*<@kic5aZtKNGuADAmjHl@o4iYb8!Y8ik)mH|r*SQm( zP5{j2-C`1TMigPzkHUUvm?u-BlRZl=R8->=p96#tVPD@ z32ve^@Oh)=BpZJb^R<=Dm}V2EI>WImWVUTL37>;xP{}CJ^j!1qzTmKoPmuXbT4LX(Xv@31dXJy1B_6uZ*1@0VS%{fz2WSbFxz4c9c4$n=dA4lo zR<+gMe`hzmbIiK8wXyfpe5Roa}}Fw`uC$~|9pfX3;}g6 zIBTs{_kv-wQOag0LS_?!>@L9=sR3R3`{a{J12B%{b9FdYzNRtf-mv(JNSH6QhZCpI zSwUjBT{J1Q&g-s6setsG8X7<$>{ps;uk$9G1Z{%vkWE(A>{QwuWIm!~bgVcWhSfFG z65+Rc&1`?ah*p6_b|R@;%!E{WSHE}me9N!M$F((Kx}3amM%vs{vp3)RcTS>r?xl~BIeJECS$AoLy(%hKQ zn_!v0a(dG&PgZ6fwji=-kSF?fbGqYw(?kaz8Y6#|8W`PrQbHH$b3{jkt>@rj*bv<^(K{Y%QP-KXpJ~V@ZA$zU>&c#ksADljZMI7-=ZP;Hh{UA}o_ohCeaozf>|S!` z2gpC&=fdd_UAma;Gc;Upv*2UFM0|ztzWSs0!@Xt!HT^XgvEGl9I640ud-!pg!+tO)Dw+Qga!O;5xml5B2 zdN6QBmdt`7v9bYZ9zb`4fVF9v7?m2m((^Osa8}#YG=zg zcjC!>-n`pC4Mv!nJuE#H#zcPpD*b{rC@t9i;gk7~9XiYM)J6z8kI_W*r3mc9t4n9; z2j=KNH0)hM<%__S_hI`MB<|?jXrg1g7c|Y{5y^Sqdp_P9O zn_g%^Lz_#;-kp*=K}H8*jN)Z>CtWmwckf>8%I2o_P9`DSx9ZK+eewPJuzI5gh8jA? ztTfr1ys{PE8=WjGPc!{4KJpT^vUsXd8|Bg3jpN4SS}+rj89(^;SGC}1l1E!hy`gR>Z`#q z_pn{t%iq4H@4V3D4`h-Yd%Y153vJdgT3u-8TraP0zinlUYZLmkC+}>>-j#p9{M7(n zNcuT-JL;SJnD#VvFfeyWa8oi`q`WDP`GD=ivVCbJqoH5WzQyg|)CCCT6Tj1-JWSE5}HF`IKn2 zAGT<&Cv9l-GmCp%gb3lJ z%+1~&WZ%QNvQK&mq4GO_EZ~{Xn&HS)aA!sIk zm=j&&vmku6wL9(llt02iKeol*^YNcqnb`6W7Wge@*U1)_crmxMS!83<)mLIZ>?<)r zUaGUFM}515RH^j!T+x4L*Zt=9*k^D2(8d> zBCP9m`4P^LicqZ*yJyiu4dtKWKI2T;{xr)|dgA1wzci(nHVAwQqI97&N6D7O*J3OWu&ObUnI2yA;h1CecA*4 z-CN$NOlE1d_Rwy-E{^S3yE(Q-b}7N>Glz~+jByYok}HQ^$6y-p!!0KlnNrhtI7q1r z3+qs%imncliJpI5F8r!`{RBx=Ig_?55cbuylA3n@#&$$vPKJVw1|^BfHWX9-z_TL6 zXzi5!ji7_%iRyM-A{yr$ zHR+yk;kYep!o?Bhhlr%(=lCyi4OKkVAIJse7aoKquQuh0Q&VZG8BRiS?e(bG(5ZB% z!&#iCY}wloc2{*YvrFy#P-^KB4YTY4#TTNOpJO$7di#2yQS`R3XCzlxlKJOWmW4(l zHmVFKL;Qbg(cv~3F(GU&qk-iF{xfwRWX)Uh+dt&BH2f$(@w{FM&xp5`oYw38uyM)&G}$4W;+V0+Zmm6jCt0)h!U+yLWXE3a|YOt zXk6>r*+?Ll|7sF=IR<5VO6p$zEXRL&ZxDtoFUfsg+rm!UCk($l;MLfmM ziY4Vj=4p(Gde*hO946hvsf->nF)F?XW8Ao-rm%zno%dkEfqq`f*Na zw?2Q|&R7(L`V%$^zXtf1NVIW2C z;4cZU@F@qX!0tCmr$*(gWXYJ%;0i%JW0ilv#DQS<(TSZlWiq-YyKfsfQt@!~1m#S` zTtVlm{H7k1uvx4h1qPcvf)BAccMOT;6p z7={Swx$6#OMhz}i1x^WB9bwAejeZ(Ws^=`fb0(U+gIy=cL{|ElSZdpHZ`ir0jSKXV ztvF)}o-(C51|#1}kK%h&=rr!T8Yh2Go|ca?(LoT8thJ_=XiF7R64tcM!it~V+m8sc zRART&uu5roNa`Q8uxBq7s#BBDC^oo6xIgiD zdId#MCXFxmwp+!2;URxnM_$#_+F&ksQ(w@TMUq2n5%FNOK~Es)4i6`0G#-xy;`IQn z>JKVvhG7C)O-=}({dMPwA3j=Ewn7*&gsvC+wL-6Ic18bz@5flm-;tRc_)I}hT?>D-{SJo)A$)zP z+AR#n$cggRE$z2c8puvRi(z&_8l`RKzFhXRJI4yKG<@1Rq1`RX(SS9xlDt|46QS^s zAVm46saPU6?BDhF)s^^ovU3UEnjvo&ETL%%FVd|~su@v_-ONJ6>%Eh5|ZuV=z7y_q}uC9A&zelDxN_p&27gt zwyC?1H=Z!5Wzh=d(~n%Ej~DIrvvCHSw`?6Wxyv$hI&>PUs^nfw`O+C46(_2y_SJ3E z-aftHh~*@Vul`Wzx9IPSueekW4JJk7l%_Wn9#)f5EW%pu^1grnK4i8QxntX5I=h5u zgLIG3#@Wk?ZBm-o82wAWdlyev0mG%i4!uUKqmHUe)_aiQ;GeP^YPh=8oA&r|4TE^xX`h-?Ab4%G$T?>4TUvQN3wy7xl zL($$y@D(A1;Ua$oP}3nk#Rn0tr7Akd-u3rU7$_uO3zK{?!K1(C3z`BRu<3I<)9y8K z*kYEc@U+mAFe5v1l4igLjRejjtMwIB1Azzhmv!>L;-?wvMTEf2Ota9EiH}?N;zVUc z*vJXlz1~&>I0wCBdY(jT3@@o1yPydY`N^|pflFxjEjqhRWBWZ@!|eU zOV;NMxp~Z;cSmIXt;MOA5tIadA_T^{3ZI@qh%Gw!l`8zUmc_-~X>&Thmao>!HcTjR ze69rcUH7)o%oBgiy~j7&Jdx;Zsm8?%^E%MTU~jK&czr9ror@qK_)Mb4tli^Cq*eHn z^kjR$Ljix~=0wft>9Fvi3~IC9=gshkLhq$L;<1=C6{Lr_(YNO9kv^Ch-zk|494^Zw z4xgc0<|M`@WZ$_CC_M<`Dx2*Li(3Wk;N^)MWn;gJUp^}cdN6TmgN zcKU%$0~2NE9N#*x$e}&HCD;Ns>n5G({GIHZ1zUdv5|nV`IU9N1omrj6aP`k0v3sLu z8PzsJFa0ZWQYvz@b#az%FL|q4kVpKN0Kw1e%S&HkTdYoH-actVrrSl;5$ufrUP-A= z->nO%$x(k#OXmIYd3KjrX#I2tZGMf~ zy3&8`rdcFI%F``?K_$yW3m2Qx>us4{siW+-_`k5ynVB-;hb?`D&6qjA1gw(&U?CKs zcUzryIM~F1FXP3}vg+875n+go@SiHwieg#2#G1l>Sefv};rygbN|P1_T$(ueiGLYF z6?*z|?X<7cT^l3%b5t zpo$!&hK+6P(|(;ituAmgAg=oE6?Y7S_aL)tL2|y`2r@jwP%@vw6k@9lycJ0~ zp+Z*-Mm z+@B%1VdVO?f2q7$N-3a8EZ~zsV3DWsB=VebZc;qz^;h#IeM#rgb%Om*>QPv`m`=O{ zJ8W*jP6Sty#*W@SBtbW_Kb+CS2AF@^Ml}=f_?5;m&BWLB-XvlJm9V_IqdHnG zv-TCHd5@Xwes&zZP(RLgwoj@}JR?~iy>2a6YRe z?eHY*$YWg&6QOYsDP|{m)|shrmLSE}7kNv1IjOl;ORJp+QD&q|ut}oS;D>Xx=IB(c zw|ph$pqAccXo)l%b$G~5n=tSEXhf8XJpK)N1Fi_i?=Mz>iTu=6$hLEh)xQR%Kp+s{NDMB|a)C z=$UPuMkX&2Pn(40;jDkLIa#6FP4}U##Uw90ii1syj<=# zwxPaam1c!y(dhsexawE5Q zHzVr#+k<(L+tU44%T~(weq1nwO%VA=bh(vY zeqcE$w%JP%^3i`5@nBDwZkBa@8=A(vr!M$ZGMscX6j^xr=Q2I7qYUwTteM@zeqcy- zO8XPXcPT@zu&`r)j7i)aVv2Avg5p>7EBU^z`eI;779ZtF6`l|iyicFqC{=cnw2AdNZJv@>O1H;aw=8A6Va@*_f{VOnA?HvBJJ5XOVXv< zXmA;XR;A^k#Fc$%|K@lVxi8&EDp6H@zDx@2)}!?IDhQIM!i0r&)nJc{=`__v5>cxo zf=ML#IRk%^+35h4z&c>;vU?`oseQI>IQlD)k1vCC9^71VUC%spD|HITMWd+0bu;yj zLk_}mm@(^t&b_MG;+4-R%L-jZF}<4AfyxMvW8}_lhjvo=(im*>O^k#On{bA#p5$S? zCSU*QQ7-sZsyGr8spxHtCrf_~S~O+x@}d=$Bo}{41A{|Feq`}TcpzFZ+0cs6JbK$R zlL}6XZFU5fYpLy*`=BC4t69Q>#?1r!Ch6GtkC!=7yT{KKb~OwR6Mv}WC8$({)G~}X zn~$*zUqZb&`*lCdGH|T15m)gjPK#jZq{fxTXSdFlpwZi7o2NguX3K1S_|X=TZ}^Z) z<0gOP-3;%uO7C7_5|0?@63yb*!2hRa{sbuoqJYOk)kTam{fvKpKYl(hbeGq;^WSlZUYYKMeVFd@ed`eS zna_*_ha)15W_NtBfo*Xlj^VZ?rgrwGew;J@OSwXY4itYxF10)S%;hkhTZmS_aksap zTFbemv+s2yUb6mea9(*?yeoUu#sU^ULmsk+4i5br0nSl3vCG}04-@!sq&Iy6Og?|| zS9|mVS>KS?uB5~9E7WJft3kX71+J@)c&0oUck?Yf1X>#mbX5PW@(N zqv6(FgiIkO@hP*>GyC0vrBiwzHsF6Y;r2Um8>P>kR@-A!ieW@wr0pezC#@+$NNw;N zm`Vch)o+%bw-MKA>)jjYakXH4uAZAAMa{mWk&w_Dn2B{kGvAo;D=A$%TCI6)S+n`f zN>f1|F!#y@cy<^3l=D5q#XX%jtn6UdR$i|!My0+=Y^OiS9|<-W8T`?X`saV#+K{P_ zBKNMvV*HlLJ;n+q!j9|;AjG{~f@BJ3=s`SCRBZvHtjg5!ib4&WL@;}`LlW&vzCi_h$ju0%+r;O8GKgFJz zOTxFHY%re+QhlxCq(+G2ldeEViWWi$c~wpCuXc-!94lQz>RBXnHK}D2Jb-O;B8k7v zEq8cWdjNjo((@JV&KdFzGu~-SknRq@Kk>n%jJ@t7JnBq z`xWeKGIpI_A)bSQY})LfBkt{A)Ks zZ)al(d7rsQF!%g8JxYImGLNv%U5io9bTMUzS(&38gecfOH@7GXqH+2*CdAh#y8lz5 zI|2{E4BDU?v5)))7$UZog(zRg&oi64FN%v$HJQZOrT9}1PgmRHpgf8w2r1#+AR5N| zWk)@$tIp%r?Tq~jo)lcJ5kDAy7y3x9Ju1nTX69s$irT)?XkmX>^D3j*d>SG4J@M#1 z@rDaRTX7sd+K4RKsbf}eLv(WLSH6;6S6KRDzcZGbIg@)pEC-N?m=}*DA-#HqUaM1F zbw_*rUX|<~&$mGn@#4$rjC?QR)NX(Ajl~^aiHK+tXDET#Gn0tJ$t+j8g)*fGZ{CrKb46Eg0`5glwrUL7v1r0A3i>xHPDdbb$wn}-C z>^6|89PGTnBEk+V;lzvZN2z*sw`KHg_&w$X(&hgFR+IvC0+SJM6SrwU0W+N?F*h+b zF*Y(aS}7neO>bmGVRU66C`39kFfuhTF)=qWHZe9bHJ8EM0j&WulM((Df2~+;Z`(Kw z{=Q$qk1dK!@3IXP0h(lOgEd{(Y)fy$KDddN8c5=t?cA;R>yNS>M|R_3zAMnc7A5lG zLrSDvrWH_N+5_g}PX{0=2j(%*THsTF@A>#tz!=x~f{TPg4KDzu0-W-h{pIt(Df8Yi zs(>?z+Kd6`9xkRna1o#?f7QShM*!*p*AflV0J!Jb#T2-YYtWvc90k4r!O$@JBG8dH z=%e5Q9YZ;;02SaJ9>$9&wGHI#eEYtp*^K&4d zp0@_bWxUCNOm~l2J{*omR$}KUkU^N5V!`Eb_T|If*}K72n1t(if3xV_o8@j5CWVEO zN#{wl&Ef<@$uO|@KxX(#i&wNdeNHp89&dicV8Ky4O0(n{PA(Slqd5igAz7Ft+AQH@ zyfB+A%AQZHU)$}0?5nRqyFIn*Xk+uaO`^4_5%W9MpO2$Yvwz{$* zF0dB|+}*NLH@0kWVAk4N++5-v-zfS` zc+rHHE;`<`4u9aXJ9xeFHnG(UY|)0TyJI)2ViWzvrV}nYqr!n#-QgR>sfqq#)45^C zYt;c;bjNPij|RB^V$b2BcFvo-;g6j5yKrezzzPxXY#9aeK3b$$lFFtW6e>Yc${8(& zj1{wtv+`NQ^n2a*hh4UcHfX+Z4odd9bM~X8xa#M?ynoV+GAvBxRS0j3`vZMv?-2*B zyTtqjx_*Fj&GLe5HPtUPOHXd`ehnTwVn$YG*ikdN=1~XeUQ>BBP5YU4@Ibm}welyA z%)W{gk?D!LeWfe=qVCxd8mfw;tjAH-d~r{Y{YrGQq-wsfx_MazTdJex^C%s2Ojhxg z?0A$4Re$$nRelzp)uU8xAlr2920j_Z^WHQI6TFm^2lQlxpOE;)_;wy{?bp>?c8XiM zFnY4ZgJ1>at)&?AQ~O=y2!z$pjzFS-3rC==z_l5jLQtAW&3unrp2bRpNUB6mcaPP= ze5pPnx9jN(Ik)RIKO)EVS|5=kAgRsVwEM-qNxrx?M){N|NrK%2Kp+Xh=e}xx? zXBgtmC0_0;(7udSHRG@m@`TzeU%5|~W)d$9`J9^l;#_zWKAKf}eok(8>+~DNmnj+b z`z(J+`hC8aeDC)WXKOYWxzpfPMfqQ>0{O?60n-5#m+;~NVn#MIH8?UeGdD9uGdV#s zG%ztjGBZRtGdM;uLqb6~Mnyg#JT@~mI5IOcH#0>uIYBctFfl?hGekHuI7Tr;LP0o2 zMLr;1ld+&50y#L7unQG`9n-l_6=4*{;dAbOK`tPOtZwY!3JR`(3hw)c;&NSTjs5|2 z8VhZ0ER5cmNl*)|ER3-rp|O+LVP#=uVq$IZ{NCotd(N5pzL_sGW>&MDGRqx;!*ImS z8jWObe?A4aq|)8|wNlD0byq2EW~Jqz7V4m3*)2V)X(r01C^N2qG8<(JGvOCILS!Ka3->+1R^jE3Mt?*f?Ixg;Ew_fN2(|fFdtwGXCs(})0qt`;Jg*q6b z*G#I1l`u?iHK_p_VLQDh(kf8eNl&FN)++nx=?-nAC)iI