From 516a85a8b59a92638117fa5009b33f6b3a824619 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 28 Jul 2026 09:19:56 +0200 Subject: [PATCH] [FMFP] Notes on tasks, checklist --- ...methods-functional-programming-summary.pdf | Bin 744283 -> 745029 bytes .../parts/06_exercises/01_fp/01_haskell.tex | 3 +++ .../fmfp/parts/06_exercises/03_checklist.tex | 14 +++++++++++++- 3 files changed, 16 insertions(+), 1 deletion(-) diff --git a/semester4/fmfp/formal-methods-functional-programming-summary.pdf b/semester4/fmfp/formal-methods-functional-programming-summary.pdf index 135828833e1990a7eb27737df03bbb1c4df4f85d..fc774f0dddc5cfee07cf2f5f6c2523fb5865a559 100644 GIT binary patch delta 61790 zcmZs>V{j#07d4oBW81cE+wR!5?cA_q+a0rGTOHfBosK%5=bLx_OwIh+wQAL>+6Ptp z?7ix2wlea)!Zn zgma9bNfq&*Vm+kzT8L7;htPmjPG}q!yq?{qf>k{#k|-P|JH;_nbkUvFOqNK2eIW`x zcriws2Mt`u35X&MAqi&^qM2+c(ij%oP}uRDYAL zCJQM(HL*;~i!3|(89H5QW|;eWlNhrnLnsI}`HIe%|zO5_Wc8`0Wx(ds>Z_#b*Bt-}POx)diq$g#gII zn3+B|SvV;wQ|Wqn+N0cC&8Svgi6^K`Ts%&+jF@JH3ou}827eCZRM5&`vN5J>&aoHV zx_Uf4fz&5-<69M(k0w0 zXLzoz1hhb1ado$D)@;OHF0^W{ytH1`I9~XzAx(dw?x`V1mWaTA3g3=4C6E;)q2NJu zJRpXAC?krMj3}|;A-mU3y<62wKpzuAb8-7f!%S-JaPyOO%(KI15RS zIpbWdWUk5fhCq9KvUl9^RC-r)U*Ktq&4fFJo^0oD5y>BL9=#6+vRP?^tTQDT3To6k z`NixCG;up@N%)W6Wpng1sl#rinQTjTWr{y{So5lb)p6NZSSul$a(%~Z(9aOvLVPFn zkyt@|R=D*g`wGso;Nii+5WnE|!5j$Cf1CwF^r`^GYWjmpbjHIx(ZJ_8LZJ3+2tH}8 z1{chsk7|g(c)`0ND#q@s+(||{2xNRkQGO#}2eBlY1MkLVY~;b=TTA4i(5=sCwLSnc z8A<(PoJm8~9pp+PGxr>a$+Swpyyf?$EO9|oBf+`ycwoHHRR`_^gL2NDqU0C`9CPi) zA{;CNZQyKSKTxXnSV|cXNk&9?A-`ew1@Igo3wlVL%dqhs6#e5*>NyTf?&?4)$As|IGq< z)(fnefRWQ~S-VDuKzpQ{unAPSNxQjP^2Ao|i4GA~7GivA|e+mo|%!`lNfLjTORLm;R;$ed=^2Ey@>Pw(vom5Qf-3Gin% zJmUH_YX_Eq{|fUoAhL2_zjI)Aon zNc69^%@?RW@cuGVZ9-_{d<@IRC5-yeYJwr-NQmz@SlA_SmL zwU)6VD3{&mAjY^jJmpz(IbeCqPTSe;ILciOITuWm)+rvqa%Qx->q9_uWG@dozKtb$ zrMQ9gMogC-8d`8qNm*(`+kF^HV9ZyhE?!S_lrMO>0hUC4ZEJ7?P8Aj^4S#B#beC)u zqj)@eRT-p@HU=+cgDQ(3BS=7Q#dx1~{<>3~v4wSFO&RM4dTeThn9p^I>nZ8JS`b-> z`LxWNwyz*ewj5?c=s&d^i`R;CZKO}UO0#`0=F%~$$l?=Rwu*X>gx~V4Yn?xwmP=yR zU>6nXl!t13^j$}Sl{++kz9rhq#$t;u(4=Gh7De1o!+nEMBh=x6Csj52i73DRLv0m8 z>V9dHD*I==bZ(A~kz4Ilsn2@xWFv)MRI$`CnXkgZGH(%uK zI_XQ{>vnj;>4~R>fAL=)W5(z69;lm-RJ&wvBK`ne<^#XJywH+#9G+*kY3H+pw$Q@wQi8UKeuQ<~Cr z^t}9x*N2PpV{ca-{py$eF?ibrYwzo~*48w)u=65=KeY)cY}8a4*g~_=5!Dxs-EZ4h zsBl`>p?5-idlkAu+!F}Dlp~|JSpoOcK=>7B*vmhEE3nk|o5eN|pwF1tcGg$k1U3_| zg~T1 z7SmqMO*s2V;4gr1hZqwUksVBIN^!8igkzHU@Nf~;P^guREenSZas&v7_unv)%&#FVI9Z z>nm`1Uo-mufGfD!8aYR4-flM}y{mPUSfu5Mua^)Mx`z57HEpCghv|c-PO2534`j1_ zO}Gqx2mlR$E5le2NC&#kQFPnnLiu_7hAH4tk%czE9juqLBzxG9)4rmBY=cw-F_|k< zLjEIu(P$SE5U7ntxaqR6cA#JyjRJ#;oF3zq0fuw}Kr)QWSC*PJbj7tUp-dY%V%Woz zWeC-FD=|Y=upH>RJI<_PX#;6anzP2^9PT&J&OW$E96D>ZCxZ&Ef;%QI?RCq1PUxEM zuIUQul8@P@Pn@G-!{Lxq7#O$O`syY@qqo!%#i8S8hmrkp`$5gzVkoM7nM~5RJBP+l zyM$0UtiMB)HKr+-Qeotw3a|&x&&b{ujoYER*K;5Q4H^fqF z1@Fq#%d*=f#~?TpDewsnH0?Dk*rlN_(9456uKssRN^4eyBlQJ``;YIn??B`y2Njb# zA5T`{cZ=*b&(rWOY9u36oQP84IL<){8N?wLSF<9WExjw|UQL%)52W+w8rr|xk=ulB6p(+q z+uAp~Iupq%DXiv*e`XeCLnkHLJCcy#B{8l@RDgfj!<`Rbf|9)3zCdd@ zKULu=eU|@1<_#oC{76i)U9o8B4A8M@zXgF`g+3V-$oai=2=BbXDsTL+Z1 zF%^zHE{wgWzIFOBMgJh>*$%s$@6Jg^ogfTd&Qjg5?_k<8x!t(pZiC0;K~$mOkWHN) zig@#L{LT1T@J$6Xtk&;sz~<_fd`KnapO+>C z%=%qE;~~S_&F&jyC3U?(<$}Io-v@eVJMX<%w>EsQ7KOd>wpPCl!|@tQn>24wx)@K4 zkn8|PA^M+kjVT4R|32T5P9!Yz#dti>fdVa! zR!7|H&$^69Hp9*xux+jBp81Zq66#lQR#%+V;Wzuam;Pa#iif;XMYq&iyIH|wH=+u9 z&+?O621NeZM)zpFb7Htl(g69P=h%d>n@X~8W~ld^;$G{n;AtuRR;e%)V_qlIN6G;HXWvZ9LPr9dSKvXxL@5V6t3IoL zz)fCEM_fIub(KlaB+xaY2zms{*E7HZ2oS+>G&R-GrWrv0}y zN3%iC7{uXJxg865H8<$M+aF8o-Ai3oF(WeUeRT)UJ^!wL=2sQuv8pJP%D2eJ?Lp_L zcU8YkEpL!Om3)B*5`{mu^}qq7V2IcG1LwO*Tz2A<{oxgY3(4amZv<5(=Uc|Up?Mts zPGpdw1LQIaZveCzY3Kj}NX9%Ny2^|dbO0*|Jmt5Bek_HMZs=V|p(>SJr`sxwZ*(jqAxq97rK%lle&-sYMTkvhv@0Y*Su^sIlee1lPz z);oNIzLw>&Jp>x_kl%EvbO~^2EE%n}6N;X8=8t5k4i#Y0A6HU83lK&#DHlJFSWylm z8O&#qX?JZWb%=(@Gya8)3!DTGu->;D6L8@WIu^`#)a z`_N}O-ts#s(aKOzet}^zFZlBpo<|<6B^zHx)ybz{wc$CaMhMn=z!;>lH!w&q=sF~E zZ%H!6gq+T_H^RZqK&(4}ho!XWP1{$kwhs$%ONixCo>k=}D*ajOGXYIl>$7&OPK>7e~glu@{J7*PpXui^!{ zCaMk2Z{p^tmhgC3PzkzE=0A!{@9!?s$KxGjR$GjZ_#uc~K}<8QPzrGjUv|WXAxsnv zfIBKt52GdJ;E7kRM~fJBfEkOGJ-Q=`6olDEczyd*(PR82LSK(5Ay>Q@eZTwvxvw3z}c=~BcDTeFBJjd>W2 zI_-kf&5$d|beKULerr9bJcwj(sC^yGz-2v43n9(@%>5sWYiEB^aZ=1IYLhv%EIbxS z<0ft>+`DK%(UgS~)*2uR+?SrU!NAoO(LwcF4(gS=E8DZb(W4n*SC++vvk{9f`le4 z%FY>zL&ekGMhZ=|3V8i>=)F!ohhzvMBDbu;!DN2Cbj!(^D+5sd|#x_Np39ϣfR_oT{8q(>{CD@kG+M!;@f1Lrk{GC(|m& zk}^$uVvjm`uLkLhlYUW$l(VR5tKJ3heLp#Ylra^^pFPW}mlviZylxF|XUqP3)7x$x zZwVdGZ}1Ui_42y<_2x zPN8vxh5Nb!9uDy8AYzmYN*^XK3y2mjjT#>b_LPI1ADjaooC~tm1M~E^b_3h}+yeRt zcOBclTt5#ttDPJ{a`=8@g^i$}O-Mjf!eN2F&d?}zP;31?C}GCuN=ar*erJQmkKV7^ z&(2TprS_Cb~YWBE(mpNKR23sGSr58emOzv~`G|i21yP!tum^2|QLwdmXA0DcPnU=ah{62GC z&(m@a4dSe)qU|1wThqPSC~I%v496I&P~R5>1A3=}{1l3GT#(}Z3%%`eI|evlMvAmft0ovVEgld@dY$euGE4+WEleL#a^xpLT zqM&er5Oq3~u5sV9RhBo#Mv8r2euvbMa;{b?ni;9-0a*v4RYfIGR)V>pja=7#uq1v$ z5zfOETiV0BirYFm#OF{Z6^cr8)cDw1lh);s@?d8{G!Ob^z9Wq&h0tpUTCVd7v534_ zF-&g$gf!)S@^gGUKK!ZuDaST7!WY7v$cV8qCO*KGdm~GbC*!3y6bp;`%s>8oJ)}PvaMhtW`}_i(npfu5iK1e804={P|*TTN$luTRCiV z`2Ap|4(*6b%q0|H>mT@ewU&=~YFVrxxQP%fFD&@x)JvbJ(N<3gC`Kfny<+rH@+qRF zB{hZo1*U?mVY!8EnVPDW`VC#$WNiPRe*nN}`$-SzLdoYL!(%ZP_*qW0j>~8Ib1=cp{BMX3_;Uymh*i# zYzE|;w++{SUR931!K<|hklL>I0d@$);+XkrwFX%~Y-Kdr5Uli9r(WKtUXuSN9({u; z3Y@UEdEEdA(MXzKL{nnVE)CHpXiYOk!$-DLvto_1>{D+RKE7{%+^MxR0}T;Lr^4!L zv`4ne+hM`j2?P!8eAmN`pBkvqO~)QUfMBy`v5fzAkI^QL1f0PlZsLnaEvw^{5Cfe7 zX2%sGqqBYzXIqLPn0yH*+j_@ja8LqGA?S?IDl@Vvfvg|}M{4uGb=9YTWvxhv&`OPqVj&r|N2_+Pc8Lq9B~CIYBax zGP<0pRV|QHAXN%vw;v}d>+I4|4^hX@BpZbvNV{4o#C2b8k_;}xV1O2mNxI@9rWEN7N9N1Fa&N7r zn;xI_onx?e58*3&_*ctP9SCGDd3IAk7y|;+-Q%YLZy&o+46-HC9STi-%;`xIu1kz< z^cyG!gngo8$QZA=p&l;W^X9iXngyQ2fyeucyFUyGazI^~g(e(gMGAM1JMpIl{D%S{ zHE_e7TXBA)LH@xfl3R%X7gzoaggnB7OUou=GzxS&mU9=Y)5_TOZkZJFQw;wLB=!tyTehf%S&OrE#D3xvThuhC3@tOcWy*ET0fV{e$|_kZB6p zhG4jLO^7TqUH_aV~LRk|rkN^4R0k+D` zF1lz&vO)8{;A?fqG!M<;XJl$p2@cXGd!vP+hcLUnoTy@S6xGPj>R2ySUkaSHy+#4~ zP-#3~tqTtk^k>weqQnFu&ML_~rc+RWeIj-nk4IRE*7HOm^@mXsgG~h|rC@}h*4|a7 zX20RaNm_2hBPw9ARv0)bSkn?w-*xq&!SBJ)m+F8jAI7HQcl4D92-vnfSwSLnM2*An z`am~-U7aRs;Nnn2pT^w`H7%iXfFaxJYo1*@{UipHBfbwg1z^WJQz zz%K#VP!pG`rE;}m5+vCv97NTNx&Vm_J+Xh1OM{uA)U8*%|X-gbKb8dtzA$M zJ>D;wKlQQ#X`=djbLooj7&}*J7QGqodR2<%#Xwv&>)1!5Kem>%597aSd;91WR(mz~MHe5e7b8vUl+b z7Ac1U2;FxUjZscdxvKUDkua+|@*+EjECav*!~#TS;4lD5xa1@{?`RD6T_Q^Nj~9ld za+31%c29gsy_cIkxShH>wbu%Ky=Nd(&E8=8ZE{^4@4_kln=lRbxdP}~)}CmPF{PSt@z z)VRV;g8B2;sj+ag%WFjNU?Ra^s2_3mrT%N+L*2;ak`=+Sq3_J${uF?~kl$`k&CP!S zx|KMEErdTkvKx9eSxZ>KL6X0Iv5jZ`7=TG{KrJ=Rid|G!2n%Bz^c|~n%uZyYT_d76 zOO8g@k|0?30lXSPm3AeJBb`Xn(bUd&?&As&psrbAU*d);hRf9CQsDN4ArJBGTRhd% z!*zv5?{B2U;&Siz5A!vqH{U^CSFB zSVKC-;WQ^7A*YCo9wvCasj00|}3FBCS?y?htGI@KW!9C)7ZmVnXpnI^S4Y=`u!=is9kJIEaM6GC>EtGn?2? z6``ReY@kcXxrmvthd}(0#b3CIM(P!$+zX^+Pf~nyF>L4SVW*Z(VbF!fXSdp8JLByJ z1Fe!SHsocApJiG?PtDy2Y=<{aW+|A`{sZT6RoL>t8I~<;A6y8Y#VjKWMA8z;kUGR1 zm;4|eBQ;AAKA#f@ze0ujR$g;r?fcL26S)# zm{Y+C^FxGoiKVfYGK~xv@y|3CF#+0@qFB>tMP3pn`fg;IU}OonsymP0U!B>6^w}hw zw=i48k3)>McBI}@!zCS$AL_(n^%Q?B+M-sGq^NEkhqs6Bo*ua0_6sct;=hFc2EiR$7FdO`8&6sS-08&EdJVAv?pj55ToKvk@KS>weR!qT3fXH``(aYc3 z>6Xy!|4RJ?J%$kQQThy0$6*d46|Z8XvdssCZ~a-J@;zQOMD}kpz$}a|GG{&YR)EP8 zELOf;9Og9%X&+`J@N}gtCv8x87^jaDpzXLyNty(Ta*~9F1IpOz=bIB2Kp4591c=og z@d7w2l{&)sQrB?UTMOE9Us};(`Mu1xYwf=&3$DWNWcOLqJ`U1#Vc0!jQ$ayGP7|_?=;1s90}1(#PPON)_Vy^4`js@Aoe-vRA4WiH_j;c2Zk&1UTu=q zJ0TND7*Cois5z1e%siv+oW)7IsT=ER$z8=(q)Qs8KO9Vbr3Fgkfp%;L*2k(|Z=!ng zwbUiAnWC8qT@E7%pKy}xWq(kcdMLGO-+eLhRZiLnCt-H{A z*wdCzGuxsY?UqG<84JmFy{3KRxCW4xzB`Ag$?gxbrOG*l-Ky2U+zs}kqY-(*d z8>d>g^&Gl%W;+=@DepOaRW;vcs?i)j{kxVO=2^^oE3;c?CaYQk;t_!QMNM6X1&0~= zOjCsa^0T)(_4EpbF3sY219)gW%RPm$s!MrW#JlC;KbMk%JJQGcJwdCIhU;~$1_+3{ z_$pR`+JR?vCuZw5W(|2-JZ@$}ldS-E4lA3-g zE8fYjGUtC6_zC}(wf!SDer3={hbOGpLaL;gu+r0GXlt|%#8k-p&GV8_UAj*}+FlX3 zYl$W>tQwRxN7NS{YJkYQ1JQMftKHlO2nhnVm!Ceb^a2n*h(5!0JWMnhbEY?PQJjLm zFHHzh*Mp0JaGa;~(hi3=P}*wiyDAV`aoZt&itZU0cAK{A(=Q2LUQiP)+`-^=6P!3F zU%^5rfmnRrGS;~lSm79r!;jrm_4hZKMocx0^9W)G7@Kp+nINiS4=++v4;8ZqR%5cL zdmP9k5&Nm`LTtQC>385fWM2Fx-|f4fFdN#!cPwCWa%Q>DrFO4}+6_ z_N;~n$y)qEsnig0lGp(63e2o2spW$lV=^dBM12rN%N_Z^-1mMEMQFuiGH8hPU!Nq7 zloA(0z%sAX5XlnuNI1*jkLzwo^IBL6#NiW;ErgE+1axVhZ)Cm|mYOya4&Vz63Dxr^ zBgUe36uPs>We7~BN)wtRP60mG%sbmRa>~4yd>gkQa19E;nt>t##0S^SH*I5*09rzk zeLP%%Eyl9{;t0m!unYbIX*tD8h|b4FEWNk6R|n9?j6Zad6)=b2 zx3~6X0y4QMg!t1EkcMzcQ_$<;;Esi;yd%Lf@PtyGG^a;^u8?X(djpB?I%;bvT1|t* z{~^ds@3|snM40}>3!7CDf>s51x3%evhkFmbpUB$7MSvnP=foO~* z>x83~V5smf)FCqGSMx2iW2F`>N{_AXwLKrrNjI!6Z7D?t7%h|`Gqzk1mX3#z2Uawz zh5B!c6u}^Z9*>bmrTUm|k&t!uU%a*XSk5oujF{*g2Y zZVDrVe8P~0htCr5p^;f3S&$nJyy^H^s70@gae=Jo1TbgZH~j#bAd# zL#ao`3z0_9EhA&K0-RsJn33!&ilRCZ^1kw}7&R!5AE zcF1NmE!x)^d)YC=waIp!LFSp>6RTb_{ZaIpg09)Uys)xb@XBJXHoy6EbhYR1#b_f{(jtkbTcE8 z4wY};DPDaqpWq7FVs8>Ka`L6<2&;zDIVJyEXJ>z2>?-(*U~z31ve`rVPI-Dlce zkJ^Fl&U2EgeV{j*VoK~~d<$s2OmkF}APr6pjB!;0szTP{*S?UvUtvF@Zmm({Kw}P{ zOE`IB6MmVDhe|qO*zzW;az0Rc@IUuXm99GS3*+ zIChjdRr~H)q6*4sGTeHN=Rp2G7=r9a;({gf9|U4{pxuiVnRL%Qd^0!cXSmP<(A!3p zfv7Mf8*D3Mgm-C#5?|1H^b$P+iDzvTPT2xj3^M00Q}V~;eWC&5O5rc_}b1M ztXMuqOac~{sa{H7Yeau^)_|MzC&xE-`q4k{|4CcpfuE=(8+pc(cDB*P_Let;StnpSV|I?oQ0?Hr)hBBCI|I5CG7yCcfxEAP-3fRcl?gQe1%NG>= z-)shAKTr&G>9yI4`F+zDvKc}6nhQgk53%@^Yhky@cu8K_b0fZxH;?8}T{tFD@^{Us zF9sV{IdwYArZV$F=wmzlJ-|6v!S>+pHQ?hYYrbw9?X7qIOq-css z+zIylT;>$3Ch2mC8N4UECZ?)I-ctK#gLMP$a<^pAboy_b*U-0LWe=@}?$u>ndFNN- zWgQzBmrqr_AzBh6$5$?@b-E9ab(=TB<-!HRLa%TCwa&0mg9{MIVa8z=`3x)6vw=z} zlmdRaC6Om=KE-~uh2381EIfs#sLYyC0YwPcRY&p$iR5a-44plM2%*K!VS`{4>3cRzUUq%?InNGoI%M zD(b5K$P6+?X%+99U;OLPv1a>wu5G$>{(W$()nGpDvhilA>PC1XAYFi6a4N-E>cL#& z7KxL0>LGO@$nAyLM6SotZ9t{WTkJ{?-|I-qc0YHa>2i~lS3Wr zX@RY%b_e%uyZEMaOS_DhTq~1kR&DA6q+vzOG&z0Y!CK$UXyh>ItNLs|$JMrIsn+vp zxom*n=`81o<3?zpQ{(z~{>&YohG=H-u1%W>GoGwEw?{O;Tu?wA;J z=&*&f(g4woLz>=ditcJD=EfP@(FNAtG?d*htyo>m+ zMMs)%pGZbLau3#MEv}y1*pI!BW9g^KWXLZR>VMkl# zg|j*6eU@teorF;VRd~`aU@ahESr9Q`?OlBEaD#p^oZ7O#8zL8BbQiRNZ82N*#U#@X zgs>J&oZ8q%Ot9CH^I!&D|HxJX@rWt@q*>&mEp{y7u`|xaF$xjPZHguB|8NUIwenmc zuCc1bKjhKA)$Y73y6jQX<0D4ek9QMgZh^Nk1Ts@dAZ%CJ`&GtAVrw_)sC#*mT{J~+diVqZ~_+E9^(P3z)zLmdJ^m5R~25dP0G zVC7{R=zRXi{6E@-o8md7I9kgiJtVlQh6;$g(GzHbRCMlb{QX5zs}SUXOIUV9X_o^6L&92r0J zC5o(xp@^^Xok3L%e%{ZJ44UyM+Kn8$Jii!9NR2`xOyXdfhGO;JWPZW z3PQ@T@yx(6?|9m-s}_jzrlP7TINw71Y4B+#>$-_Ixc;i%z{0G4(SGhS6Z_Puor{;c z9NYD;9e1@A$!l{w$9??eZ9Fmlh0AlEs~et3L8P01UR?P9%>Avk2eEN7op$-PIMRS-tvgFXjv70i3yh9+yb5H?NJAdQ{m zSOm78j|DHY7&(ST_PnE^epVbp)Em+^D=|#C+I&8SvteU_${68J4>PK<1_#5Te>g<0 z$H?_|4ZFMEuZ&we!%XTRnPm-VDEMu>*du$K4DvlRxf(2O+nP{3UTWz%XQv^$55(YO z6mGWz+N(VUQ4>RgNT-lsWh9FNof|veDqLtJ2*plxh=vQ%$OnJS4fLYwhGE!n#on~F zi!?hu0Ot!q1(a4eTWA7_cl6N`9blJ(FVaP|3F-ZHa`4N(lNIK!sc4lve59|2@ypR>}C3p z7ny8&bslKkF&(fs-~#2K*tz8HxbM}_DF6wG_Hqg$MSn;%CUT%J&n+6w5ex6V>a zKBr3dtAtJ5KORUKiWB1-q3;($r4?iN?=S66Cd3YBXMF=#<5?~7m7-n9bia<};;=be z8*jEqDVMm!4-KZc27~T;&mIuch~X=1oslSCehxFMKXVjN4XA!o;((pw z=)N!HuwldZjS+(jRYKqT<<~wCzXvtr8YB!NR)9bFm3~~Q^h~H?LHa{Whb1^6LC+YK zx7}7j2F$*Ybr!P`myUtfl;Z)OL0sI(s6jE%=g(7P2?DsDX~g+|erozL#;>p~cv}Nv zMvL9_OOO3R9e;}KC#r72?5AN)O&t@O6dsDMx*7!v z4?%(mn9Mi#6WA0G~=~*|j$Zp2|%4 zgEq66 zr^twpL$gy=26m>=X^QP^C-o~wPUop=j{8=?NizOP6CBXBQ)P4$cVmlkp#2vzGk@Hf@U)BCd!p@6 zksDZxbYYvw6;%TMik5J{P9?ziy)J|vLcOfWQk(IGy(MdUDe$wE{&FSV%@|J27;^)& z>&KLeK+7$e{q9%md}&0u5@|nZQ#fxhFDX>RMKz6Sva5cORmXtHB89lqO?|nHA^leW z9D4JIR~wrRQIBf>Q;hAhVaDX*-r66Xb*srNRA~rsnXucqkXg?}>3pG&z4_Mr$N`H0Wm~kW`3G|?q6S2QeHoYXM_sxD<`W(%k zbY%XET!H+_hn#rK7~`4MU>6s$1iBq*1%dE<3Q);3Kz{M(X4ZYP1nHLh<_GdZ=hF4dav zzM|E_`_VMo;gFp)015@9PBuNIl>fUqk2Lr3mD9r@L+)ldE!kkOA$ToLsMUR&#>2-f zzfN8EAGQjdo1X*p+P`Yn&ke^zxY)7*1jQ+_<#65w2pU7er^rLpWqP`fmnGHr{gN=U z4s|JO-YHZy?5C?5J?S<>K|L@@t+?MkcwFbMRh@KH(o5C5spwcBo7@+T$(~bz;0BbH zGYkj)(aNjxxr-Wz$8uA**{x4?bv4Qf+>7Ztt(1>)Em9^vyRi@V%c2VLHz~BvbY=DZs{xrgX(jfAk;mnwFjNi{5(Dp`g$*E>#AMG+eawV4^b# zW`ubl0h*E0yCg|n@m~M9mOG`BS2`OK<8Xe4nUgg(2j<9>Clcwc(hCF8cl)~Oz2h@K z`d`6j0}`$$>Hq@D(payrcf?TwFW4_$qG?1MA>{&Bl&e@!NMn#;mUyMwTNtm_9jHJ^ z)IKP442^66%lx_hJ;8#zP*oxLwU|TBO7tE8_tZxZ8l@Bh+a|kO7#yWUxzXJ_oEI`4 z#UJJf!;pZ1;bRY&NrfZIXE)&3RMgX*T_M(DN2WX7uWEG}6;x)Ns4o{!Zi8jySPK4a!>*=hez&380W zPaY3w4Pj9;RKxtt)w%oksl{VS9~q6*Waa?bUxWZssbs^-4I3fTb%I4?roocsrBO0! ziU9<8NG@Xp)Ny6611VfT#vcx6lOrHGhW2DW?I$Xmdi41|VpM{c<}gfs_eMy6fO|(> zzp!*jB%7O6l6ui_BHUwuyemlylx&|(Mg8LUNGeg=Qt4f=QHt7P`ts#D4d6-%)Umov`df#C}3_|*Y31=l0K29}eIW~O;I%0aJlgdeYF zN+&eQ@))|NV$+aD?O3j1hCQ1o)(w(>5H1}k*bDtAi!y#9)Bi(*e#=Q3QNlJn8!JS>kSywll4 zDzSk^`wybf0SugbSoEKo--2Fd{EH&@$jE;NLC@dY^Z$+afH~kK44^GzdhI`lA@Xlj z+tnJd7Xk2`QGE;~0@toj&6qj{(gE00SRZKHNKSzIFhqE|Ek{56)XMq7wUdKI6vi3Z zdPQ0}1Xo}C-m=uX+H!7yq9}mjjO{NVA^4gm`Txm-(T4gB97h8PXKbQ^6M(08iMG9= zfFQ0V@olowWRR-XyyzuE!}XS=34yjT7p5aARp+4#fP&zaiN@wYRez5`C!mCci4S4g$4lQ ze{cLD3NDY@eoOIH+fP3~&A+@|*4#Q-^D2#U z+x_0bX2!*Ut4b@VxgBh#CP&xmnjq*+fl`_UX-1`jhd784MY-K!4U`Yc$>XC31c7;! z_D@V(-t@04gFw=ois3K)g&B?3F>aE*fZpRnpFlW6{~rJX-_8D4sAH$nv~y#)z_f`) z_aC25WeH*|S|&JrpAS9+KW7(_#4DxXLRe(umcjp*Z@qA43Ci`y1FGVi)`dMZ-0Uvqtf<(Odlg>q2D*^P>PsFUe9Cg=%9e zVf|6LahttWFJm%Cv3wsbe-tb7fsUFi&FO1tH8iq-toJvCp(v~@v573H5UP#ADu~_p zQM*S_QTm?C(-1f-rMbrKzHPs~&MYJ(?wN;t#G#n@@+yn?)Hq42V#>KHbqmFebYZyP zncs#e8(ZeGEqABJ zKhPHcaz4wRWs~%9;C-1d#oB~jncsWxFc8zNU8Xl+pz-J!h$w9o?pim(-9Zq=+1UVv z*_0ybj1cJ>El5V2=WZ3$nDQ{JW*fR4jb0DIvWyj_Ptt3Xv0BDbvYPCk_KFTQImX+> z+8VYDq*kz3Z272@e@rO296}8KtPum&x(rAOfL#}aS$2-@zkw(>rja z&TdBP^5r6nWA#*7Z5g*y9AuR77uD2DIReYpYwoAu@P{TK*g4%5C2?K=*Q;)G7UWLO z)_rN2GQFer4m^;4n&ysVsO^;oj)c;tEs65)iiA#s5<>W8e>?X1?s^Zaw%)_4t@p6{ zulIOcmO30tx79j(%lAlLy=Zu6*r1+5Vl_^`Vi#9Rdk{i!Sk= zrOwlyTVPO*Z?Y+qYbzWhRnLG@yuxMu_L8U}+M$Ry1Pivu3Q-coSy<+Q)snAeepveb zwB`(=sRk-MfAHI$T=NU8YO89gD@QKYyQW+x7W<*qj+zy-L3!B{p;|<2_T%NDUrqUZ(Ix zY%*;bOD_uWz))0KQ^%*&P0C}L{|hKDC6fUV69PFfm(dCV69Y3gGncW+0V#j&8`*B$ zM)F->LF~hZ0yH%5!`K9yVAqL_WOr=~>j%XTEwV>Lm_y1ubRi$VRbACQW=J_6E6EBG zAPw2Y?&`X_s=8UUjSIszzCZfz^yt|OKQt063Ej{*T^oL4g?4B}iEkxQV4P;gnfc<_ zjm-*w>a8e_SDxpaKgo7e9j|}f$jlmo{1q=Ab?(Zv&8w0+d**-Y>Y^6gZC+l$kT42j z^OY#`hMxY=wRgwwPhTDV^YrNBkpqO;hBFZ2SWcW6>GtUCy=`Rh?3H0#UJ@JEs^=DZ zhL#LpdqW{PQgjADD1z~cdnz0YdNl|JTvlY;Q3C9!rW;tE z9|BVaw?oT~1DL|LqR;`2xshf2k?-~cdq8R&xqfJYWaD^%76=6%BhPgPsO!g;4HLz~ z1S629L1ENTJzp^f_EdlMQz)W)GOz_$^jK^v#%L5a>3?YJt}tq29IcI`*CauB=-4j& z!oTrhMwD(06ivlRps7e17Fv#*_<$~PV%x)Z6ne=pz6VUDs-Y}Z#|gt=fFdXg9Jfb5 z045@3;6$Pf>j~q|Cr|<fASgBh%MO&mJH7Hy zX~TWGWra-_qsFodTq|;YV-5iQhjaV@sTtH6dOc_X&ZaZ&Dg zv9nbeC(sF8(d}iPilVqZUim>_%Dmmk8t+51*^p0b=~0UAEH*Rcq!7^Jx>r4^A3-nG zJ@u{D1cNKk0DOOe!vJR3ZE{cad=tN-uOmOA`5a{NdJy=EB);lJ{@UQb(wOvPZ?qb@ zqh;R*lm_0|_gT&{`Ma^V-WM%0=~+JWc)F3~#LtyLWYbc!%`Yh`ptM0x)X*Nkt>{`y zk0bx4WQ?qtSBZh>rB zTfGiJ37$**y@7{Y=B?KF1v4owFAFd(jC2IZd8$ILVXAfo0yPEPH4WZTxJ+{xplSWt z4(!~L7RfmYCMN9rfw_iA3a0J`<_%qLXRRG^T?%DyvINeW{7z;)O>@Y>gQ(d@6F}3s zXA<*-n3I1%yknNE(e*s(whIK$Q#zP|pv#)G1)P7X1W&K{l@~bX2DE-lw@U4SZGI?W zX-4KXwbX)+U_r|=FM-Aj?kv+ynSbmgHP?DIs|L^AP;*IGu*QFsVolPqK$##pb3M-> zp;1>9)W#OSXT}_M!tVrW>Kw6We?*$ypVSQb-^#OiY368*fG$z~(hLXu7Lq+SLs_ zIYD3VnORkS)$$m^bRoH|)-v9li-zw~xC2sFap0OSOP({!km7d0xh8|5#}^%~po~fB z7bkxpfi>KU7MwxZ?hz{Ja+$N7=3)T~3vr9IRer>G6#6+^Fn^g~xovE(E@CLah-2ijG0LM=)W`O_*?^1@#IXeDb+Ln~Om zp6?A*x~3Q=-Xl>@@$Ps;gDB?&*){AsyE1JIv)L$%Jw|to49LGw zhY6$ezNfgx9;(|d&ys?*=9!KMTk(N|iZ@V)nZaaL5IB=R+m2uMzM133B@uO%R~<$R z4r$#vW*|y7pzza;jxMPf{BI+4C}Eb1ikT$}FcNR&ENB0!S{xe2I-|b-@bCStYE9 zUD=^-a!PF$0cuc@`Jt1aD$0n>t90LkB0^J0O4%C6uF%R5t3hCF3xVnlzDMZV3M zMlvC!MK)=jU-CL}12VF4k1=CqOOa(tci;6wmZR`Hx7T2cR}nu13E&E%jDvhq;3_G= zg?v3fcK0F^cEsc}23{ZUqq0R)?nmQ-v)I4J8V!><+jpsXAseBl<7lyNFg0=Y%qTh@L=G@@AyGp za!}!Rp*)1@O3_6@mt=w6toigc0M$0PWh-vbdSJP}(+dN}=wLixXX0QXT&eUVbnc68 zk!PM^I)-l8wXFAxVJ_@b-+4T~d1f;ndjXFkUWp&&2>a%ish!V~CIVHFhXgvx3+`lH z&8zIEAxBi<41B?rC{ur_x9XF?)~73^+}$vtGO)Z64eYYd3z_|8Clc~jJa3*aY=M2q zQ!+W(78P`<7x$OA`R)_dy->Uq7l(Pou-iJVrQF*d&pr6nQPAZm_yUiysv`SzApEy7 zQ9Oo1)di9Es-d~9R0M&$e0#~~B+93XlHrs6EeA>fQ}W!>F$#YUU)cACxLq!?1yRF5 z6a`|L-_wR_bg{Uf!A0r#=F2rvK^b31q;4p)MPec9E>2L(tV`u0eLMVfYN@w<5V}w1 zmk*yHadH=!uf&yji~9!*>14IfsL$zf?2&N+;MBU~1o`RN_JI>jl`fKquf-OCK}Aos8*lFuh- za!N$AY(%qjj5m{SRo>fqH_c4JApvoXD=K-*oj1e z`R!!Ry%UU+Lq(8wH6CF8S=rCCoBwy#%Wiuv>)(ifwF)1(^3UFXf$wk*9sBh+hmQRA zaBHP3{=cH==ghemtH!FDN!%hUjK?P!!y74o|K%3%NQ*AhVHEn#Weht9hdTPH zOjm7LBlCZna_HGA3J>2+d+z5{QK&bE@Ej7+*zu4%&$ryrF+9jk-8d!|wZSR{*y;^1 zD}DlbGb2aGg)F$wE)TVb2nzzd(YzDLqCGr+{@?~-i_cz2htt3M=3(hSf6TNWcr$x~4{8E; zizblR4w-=WCo_RjNYmSq18ia^&D+b9Z<^oPZ9lN#9ITL=FHy+ImL7u*4N6{EVtoAK z_a{yxVDJFzu6W8VpYoe8pj|xj-10Ho&Dr_;$1eH%6N~Td4<;3i@-)&@xZ+l}? z-n6o$??v25y_Vn7gSMjUwy&hX7FHk?@`gH7sUL!yw(e4VOWAO{!=fs@6AdG-r7A#j zQs@O&L1F_7_NKFojNS<2eO2<9;WdBi(3L9+)R<9iWHbL!OJ8;ssRGfcfB6ld z*rp-{xDv2xn*6-rN3zf*VlY&_F9skTjst)sf}ma^SRW93=F3c~FL>YDd> zcrac!jP<&vnwK$R%`%T|mHx0tUamDGxhjvrQM;9&FzNIokQt#+0j--5S9m3X!p(oQ zUKSxrKsM5c^#`ib&E|QpkNH!VWKFC}0_~~&E3BKUD>CZQmqPjK zbs2T&XKBQi?+CxDD90Y68IK6`h_I(U*e_|?HOaBvVQrb0jMz|OEvqtD74Zc@rk3g_ z{CQiV5}qYmV12yCO_Kw`j32v8~WyXhilcxx^eKw@WiJlfiCyKf=MnAnq4NLZT>`c zrK6R?b=u!m4E}{KLs1!?l=oqFJbv**9;TO;k00+XAK+0fA7A@#xM8)TPO(V}!@>Bb zP`m!QiYGKV&($(ns>K@|OwWHx&)2@|7`>gDfcB*~II!7*R?nd?{*Xefw4Ei-b9O~L zGxaRR%k(TF8;dX`5zgv$Z}L5iiv?H<<%I6EoY3QP!n^$P9aepPvYJrUXK}fiE*$%U z+Oz&k%;n)g+H$ETe(*AcXMkYo^F5drnB=b$y=g}B{LtOiPN*5p`*ci}_;i+dAnoZR zKTCYv?|L8iY2sNrJpr5B@%rG=;_zWMyrW3-sw-~Ex4JR=XxDbt*`?u!z7;qDAfz{? z33Yr%-F$zS=Klc_b0)%LlFSBK5_uOJ@1_6cxla8W|2pjQ?fJ?W>;JQ8uj})bPW(;7kU!y%;lamh z-IjI5gN^_Fp}v1Q~USu_G{>k-WJVhS~B4;kQ616|Dtx2VZGbp(9M52$YKtA&OhtAg5|4rN@X!w%#EAd z=4&FMxa{>!NB*YfjY5-=K%=KP0g7=+Xygrd)=1=C*%XVDaGMOfE4OGBwDq^;4XS;y zz2~0Sgj}Xxv&L@(W6i(iZqLY?rUbT*JNHM%4D`GTmEq>G+7KsUy^gH5+)0aAbI8l8 zZBTzNtVX?Jc)Xq|mF?IknPRoYnGF?Yh!QSK@ywxDqc0hhS3dQ6>%&Yk)<8&4feYjCo0d zB=ZJiSOCD0UR5{3K6i|SwKcN#!0qCfV|jm@Z=sV!Wc?ptFW>kOy(cJ8I28w6j6k^41S%*t!0jNI; z@2*QmX8gQ2^VZL|;w~=_g`k_kP*yy;y>|W+DRQc@$O%;F2)xAmaDbQUc4z(9`8j`@ z+bJVH6Mn$y+;*Kf68%I0jYkY5<}4nQ>W`-%X{kgwBk8%*-IUc@#+CxQuD2Uu^gtt6 zS`ThzN|Gfz2HMd!%GdAfa zMJ2Cp7?ksguaB(^Aw1k3dSU#mcZICJu6Hs9H?`;HUD;kcB*l<$7y`8C97G`ao;G-N zgOQjS?|@WWJc!JS1B4;4yp524jDWCDe5y6#hY0`d;f$~@&j^`Ygu7?hYRGm|9fX9uZ#7~^uYIo zK=512VatcXH+puS&)hr|6pnvV(1K&D&3I`R2zBlE+j|Feq5N?xt>R7IW2vh(YI88P zY1v7zp2en*^UXAupqT<!Lj2C;rnyg5{2bfWxK(9D#DV!nskfcgPlce!M+rppf1` zxS2OM*ow)Zl$Q*pz#o1|93*2JTk}YWaw~>#yo)g48jCb{fjgp+VWfYYH1kcqYsffp zf5Tw%IOPtHII8W(sM>ta)YrN;mtlYm^NGnJ^fG*fnVaC!!09y&~U)9|5O zmtZh%VWZHVDC^*KT(}5fLO~Y?B%Q|Pox9m?=?vaAkLO}H4QXElvKg)Oc-BRr2l&f! z{P)wsq~xJVKfmWn{wIGk+O+C7F}QH(n03PBa=@`Zaypb(*X`Ix&ytM;ep+yZe3Tcb z{rr$izeDqtH_Nj>SzOcwaogguo!xUGQSZgIGf%rBubP1&I~9Yn7rRbzPqH#q4fv82N4s`*Y=V9xaWF6)|`1?m!$rXQF?dci2iilOHW4TZ?;K zW=!JtI9VsrgCuQay;q$~Fo24)p#gT6HBZ63+`8xkY8wL;S6kO9d-gH2mHj%2v8^>DrcUyOlKyaMJ@fCYtg<-gG2U42#n84~3X?t)Q}@ zx;-u43eE*5R)Si#369N^TPvqh>~$A{&(X436oh{|W7Cl-xs(}L+f%Op>-`<`q70J{ zEkpAkl40@|8IGU8l(j)@z)i&}P!GL;sW1*K#1!rYj9#NA$wCwdVG6jSv_Dv%&g#vI zt-&dst5gSZWV{t5;Ys{HLSNM7IoW>tUb0oO4HWEM#Q}Jzk44m2a3)NHG_)W%pbb3h z?-PHWg@{o{mee52vIj+n9&1i=3hXJk=T#a+I{W`|{Xoa{B$v|{gL*yU#+$Xn{2x$twHI4BCq&?&eChJX6gz~?JxSm|9k(;Rz z0*(zahCnahg%P93A?m|;j4&#OJ^A+OBf)>>+zFDKOFWZro0>rb4-?b7@7zt{7V~u% z-EK;Jtt&7S+}_Xm8kNL>f-H8G1!<)JuoM2iI;tbm(%(kMZ}$ugbAKX$h?h^^#Xq) zdwFf)E9U-DSE8kHJ|-I8U&!Biz8>bGirK5esh6#hL#p z59dLu4Tm@KP_`d0u9}803B-%~gUEl@#Ay(x>AT7HhmR!N-*nUYmS}$AB?nwb64(SU zz0uAN9%Jn6gU-cyrs-nD@QWun)^9MCuP)JRt_vrnHw1qL8T17UPfx88OL?5OIN zV4@uv_yt(pT>PYs@htr0KmE5G3bU@gvrF&nIdc#?QE`BiR9$$=N}U2lV|FrV%u<0t z){to;H&bb75RmE^*wC@n0mgr9bx>ieQgIyhPy{8B(mnnjGGeL#M?4i+Pmx346Wz0w zAtTl@h&IU>9H{>t!xvaR;VeKpivcod)>)Y#{h>XwJxL8zqt4Ie4=pa2z zf#4Ap7k3U%unf{V4iXi+_Z7pJby-5slaJ?LL9!H60=~4v@fd6G%Qb(5<`i;=k_&|L zW(;HGf*e3{4I1ePaoltFFdmsLT`OGSkTVy9JD;JsalZpg;`Z6|;(5>T74v%4vHZCw z|5x5^qHJd}u7oa?hGAgXQU_5PG z?-+30Kk6zImL<4Dntxpi!qNEpb(M9N*C!`_uIeJ(S!S>`{fcvz7)_uT7BBskeaRJD+BTbCPd z?#iakxlFTR2&w0A@OFSl`rLyBbaTDVkWQ@V#d2OZ;F4n?&@_KD)?8O}XWS{_%kgO$ zT+yq;gt;q+v@aafv;2R0Jc!T-!rfE4KCF0!ub99f~qnal(ej#bbRb;umBZI&udmNX}nOP1z;ff*?MR1OQ@1kB2 zP?uje+@zHvSKfacP0M>x0FT%t9l96YdV5<;W{rd?sJkl%TBa!uZAU;iucF7yJN~$- z>h5GO;4CXv(ect_{sHVBVe|rrXi2>Lc1a~qDhfMx!!fr(7EX@)^id~O?gbB8RZR^o z*D?Sp-bi&w(}=QQZ)e<6HQqrkPp_HvDLI9Hth>SAepi2pmTrQeK?V>|UKOn{7=Uz# z1HiJn->KY_Z+4CFkhr-Gb{kWAt(YapM~X)U73V4@wCB9lb_T$}xF%beDlT6+^2-9TW97wn3yI&g7vs9Ml|J-`Xk7 z{{~E^&Oi!fZe(+Ga%Ev{3T19&Z(?c+I5IdOFd&y3fCDlCHj`llD1XgbOK%%D5WeeI z@Yr4`4mmR%0!Dy5>a;)$7lz$!fG*)8q*XwLw{CtU~XVoF`~X4=H$vwfMJCaiW|)> zV-=jO`YMdH3_VwHZZ0Y$kd&|~jxFvMhMz#7;NprDCl~~{nx!C04hF^zYcPs5Xv<&} zP0$9c7?ki|!GE+8Ru!CIvnv2P(hS`gPNJ?+!vS>RXN^I)qv5CQc5e#8aAbIlO4gCV zR4O>G!3?Uzp~3dhw}HT>HDwUsTvyfATtPs(hJOI4)#ZUbU;!N+9gW8C{`ou! zkK>=lug_?4GaCOoxtNDDDI8&= zTw-B2j7EhJrN-PUKrh45Q5c_w@!Q$ESs1?w-+ey+YZ95i4=-Mf@XsZ96V41lp2DwT z{M+w;z<(E_dXOiMZjB5S}hD32EmJ;CzP-SVc_F|Jo_ro3` zU=IjveOT}lWUal;5nT5PD2yy)#xJo2+(*9K4=Ga0&9V-$4Q6lgrt~=>*P-Q@=S5<9Cy< z^RQOr(*IB3mLsTXI-gAESIGE_UERyCW?wEZCRd9huo(Jf^5Nt8tJ&AEhzq2bn5$=d zihtJN@+aq)U=cj6F5rvEy29pmeg2J|pF8pj^+(@Woa0G{sh3fo&MZ{A& zjrZbZZ9DO1dwqvgDNNfg^k_rsmLZp^a}PsGIY>iFe`*_Gud@mYZ)>#+E66~Khkwl; zEFlAl=|MTuX5JbW)Ip-zDCRd4oIhxa?I_=m^;O+&YjxkYRt~bQ)d#e-`hd1}7goGl z_VLw*hLu_umT_gSUD)h=Qzw>EEbSf{R-HA0v8KMm5n2q*(#bfLXxW~nZx~knLBo8r zRk$lo2LV0kHZ~gTCy3g*-8|QQn}6qekj-;_K=WL8G{lVabL+wiuAhzflYfAO8jpJg8j5@IZBw8*T9I5ph=>4Iecb%l2!YZM%-y!|IsnRzw_R z9kU12G3%>i|D%TuyBvQ3FFPN*h7WFo$F3XR@if`9rEOoaJ$=RMLHbI2fPb&F{+?$S z_O@3KJFqGgNn0Pbl-R0uVTEdJxlaZ*jZ*sfa^{`y{C7cTeVVz1L%mgu#s2P*>pYF$|79K9~~V2QxjzR{v& zg@qqy)0kJj_%HN(0hyPT zDSwqa+j8W#mGAnB&OU6Ys%e@R@Rmxp)=uJNCL51k(pIW=><6kFt!9Q7O_S^yIuEz|q<;vGBSZcZKPh*f`@_@>J$Fun?=QpSrS7_> ze}o}-MMncQ=2&zxi|%!@{CnyeuRRl-u3i%?~$`Y%W@Dvf9OQSY=t_?lQ~6EUtK$MW|>MX4vk-K7Wp* z2sV^Pu=_MNyUz==duV{&yMt(=g__ZBAHx)BX{QKd?<8;k{yk#`QW4(aG#Z+0DH7#j znw3bAPdh;LmmOidA);hJ6$E2Tm}Ch5>gnOsvIcT zN<9ygGOKc+bCJiu9!U{Ks!)j?Xnz5R-A$rkJ!x8&3$#UO5hg{N#0xZ0Wf;LkXHpZi{%D+q9bcIpp-OXut^8-^58sjK|zwo>J z=pkiN!iv`9WYC(V0?WfVsT82A;xbCHUgT-DjJJR_RSi_A8pnB_El>m%S$~{Z^b24` zQUR_gDloesi`_2SAu2;wgk=zIkuez1@?FDUA@qi>05LqD!h*_O7Dic)3?JLW!$Vuj zhfWS`E%^q^K1;$PQM-KsIzYt=Q5mhU2&;4|k~BYq1>p< z4|@>s;QqE$!ShpdsN44Wwtq~6Hz3DV5=>_eg)*YyTsjQ>R5$&|wQ=aA$M6K&u?+O3 z7UcQxfpDTaA>eSbjRiD5kqXzB zsnMdwO$XFSu#0e|uFTibN``6+Wq(+XZ_nqqw+HycPJa5`s-Nh#y?>+JUbRhmm4p$n zEz#qi$XgX=w}ylhR-ac*4j}+|sCzCv@CdHdhqG?3`p7li!0BDMJdb3(s1tvV%|#z3 zI|Y#QHV(`z3^re8f~pLf?g=`zz$JLZZ;-K4G_5%J#Wb?Ora#VPPJO!xZ})kc6B#_* z($>>N8^~f_3w%GHn}5TZi)4YbB5P#$2tmemP#)IUbC z>NSf;RjtGWJACgI992cIJw`FkW?8kJ5@{{xi1VK7X}g*vcxcQT^;KV>si2>`2a%JJAw(7|fPW~D69^>Nu5~+W=^_V- z#ZPk$hYnJUGy)uW>M>E~SsMLGK@sR#}jkrgGDi2j6*d{Z5Xk zS|3piy6wj(i+*nY?GPLg`wl#ytpnqoc;n_Av3#ztQmXlLx@ZEV-qS!KA4A{SeWOnc zKckK$;RDqsOn=&lEU`B9GA#P6euga)=1YT{*mDsD00BQtGU1PLs{Th$ug>v%FO4?b zNj(jpjoxGUFYj7$+@jo|Qj?x}XeO}~&;KFVYcUR=LErJp>t1%_DxViNCHy7d7lH_- z7T-7V`o8a<$m3ni9y!8y*3g+FP63(YNGIS*GlFlLM}HYJX~dQ1&S+{t2L8@4(F*$; z?*HB0D=fGVz%!R-mwQ)aHmi!o=g1 zl08A8ZGS!*?W+_E1B=^7utlmU#3U7WtWlqFXP(|?1d6eG5 ziBKBE1VfQ%C6m0}pskPBW<-gR)eija>rNoLJ_yEfe%O{z^u3UVYkiXf@Y4)F!cl~*8)ljh1?>V#sDFQ4)K?K!Y08t`AzL+_75%qs3FNOL zmbNpE=laQ&bhP#0yb({E2z+r&pni|O9q3mP{LY$Lz`W8KW)HF$(X3{p^(4OMsHOj% zcGjAN*=mR4v;6~3l>DJ8XeRzX>S^SX5B`fDCvl1@;YTPO&Y*I2{|GJQM&-;3 z(0^jAX>+urjFb^Z{)$UhiHt&lWmJJe0U1U4A~8h=OC`ZyVHsu~S+kiBeY(BPkgzvE zGYl(U%6apsF+K`MFr|li+8QeK6jGG&3$rM|4)thGOZ*@*3v(;%wK_E*n;bZ@rR{-k z+lEIiLx;YTaxy>Y0D<8qGju>wKt#8&Lw{04K`SiwG)n8l=Zxb%H*L$kkZVxJFUI_gTHw@{}`pI->&D@zuGcaV}JaE zY&`pq0O{i&Qg^?>>5*IdnLw>x^ zLTtH+gis>t=`tI&Y?UW?w}`8SE`Ko@a}&esQ9^Q1qgTx$;WZO)F?PTJ>Bt*G<&;H6 zyNn}iB z`O5e_Qtr_367s=yh*&M7XK~aL8bBY3BDrFyEFJ67A0|N0MH9qPy350=z=ZN?mu6KM zt8|x!c`OPb@&sf_SO9hRPOlH%sj}e9E2^$4g5o#cF$si|-XJje=~Z>3P@kY>@b6a{ zgj=--lrY|&Jr(yP@$^Ax;eYUfJS!$JUXOFUq0I415evjD9Aw;eb=&@mFyjuy{oq6z zzYyKLk@|bk0lyG~D9K5hm4KwlN|JS00rI(y(*U=?F~;Bl#IH%__zh60xz__Jd8j+i z7}Ok>3%zjgivG8Eq5JygbOM7+yr%ZzZU6`g;TbmG|}lmY&_DQ7`ZNZwB+=9 zt~Xx4K^%>gZU@K*iZ~mSr%N0|QB0l$qJYG+fG=4{hCrMI%y!k>^EeBfy`prPXPdAB z5UK~0T7ZA5gyfGhU~MY_H<2n&>A*)b`(~Eq#4!hsenDoghHbJtPkjAL$;rJS6b7qr zZ15tX>f#}$67z2(p~KKUwR+Mo!dJ=&!0@wi(rOmgej8)C={|d?vJ&?bvq7rQRJ1! z=Hla()QhG__%IntN;G^nDNCCcku(veEM}88RWCA|sk2MUR&-{Io)e%%mP!*)9W9ko z6PbTQSbmT;J_sfLK0=sv6tfPew*h+5FmLZyPs(yFY{T#JDhW!kD{=i7nZwCs(d5Ie zgHGnwcrj5grsc)-329;P)n<}86U(d#&q}U$5zOoa6lOM}wdW}Plov_*EDXI7I8y17 zh$8x}6D7PLo5%RoPF*Ta-FxAh9Iw^zg$I9fXKWr{{A?=t?aw8~$3@)~OSTNcT<6xn zBs3&5zuZ@dkl)=V$dr4-~_L4+P9ns)ZG+Q((oHU=PbqTEZMui>?!HLx4WJCJVr{h;~`S^bV z2VH_+^;YK_3uEp~P~apD$Jp`a*RM0sAE75a1-puo$tFNyV-}GVu|o>zQ9p938H-O( z#QT6~Wt^bNYB*4>q~W4cH1fEa@qk|FXppzyT_2yNKWjw5{^HpILB~Zkf>h_hABW!F z8_6Vgd&B6}-6pw!$glb$DtS5iRPKNLmZLy>u;1{r=b)|5;H=b!ojiAPTMkoBj)T<9 zd>M6n)vwtBQtffRMXh28N&D-7Be?@JF5mpdvj1apPYX=v5{11 zfF_3%rj_EGcZR#SmkgOledKPGqOC-KW5HdE0>%4v|I9tbocj?j%TS^$5xS&|m(^)m zY$NMzCYk8|#R~kUakYSc^2ZP0vzrSP-wm3quvpSRSgDUkUR~j2(U<2P?Db=M1x~bU zdXmkM4eZz4(_zLHp1s3v2yTBx;YfAGdx`Po3`LjsFut@Lr+dgL*z@NLfBwLq|9dUz zgNWT-3I~9isXJD#F9=b~>dpwqwJ&NICR%mk_%Al`T2b%-oT)iV z8b6j8)`y*|Ya-_B=RKG`808)mhk^kdEn0s-j*o<5n;7Hx3+iJ>8T*zfA7@N?ZwfPh zMG*EyLhKVS7b>XG+m?Ua#Lpww*I_?TG?@}oAXY010DMh>Sn{MX=9n>|Hu4>58dm}4 zKbzCDi~E)yI6COFEqbGY^ypKP+kou~s&^*)_{t@aQYv_V5_bxp%%SlW=b$tN*6q3BBBmBoK~np-sX?YId^2%pH1 zSK`)J@z%*7o#02_Qy2}fT+MHyghB5y2YJW&g%$#@SqJQpJ(CBns6c=eZi0u&8bm?5>RPLW)sb+d#o-* zfn?=uVcT+p2ReV{nPHs!E-<0pKN@5L18(GkV>VN|!&*xjfaF1;yAp^cE|Q%uUZ~Vt zei%o&@Y2bEAPr&Aq4xwE1{Q@D<7XFjW@LGDA4y$7b*&)GXMYl z&&8{cbra_`!MoY`<4Gyy72)FhR3T1z{vUJi`T3W@nFAD;gs1}(12{G_lMw-s#T6LwWfpQ-Y?3N-{f(O_nV~@|A znK@&Ot`SBbS8vy=Hy@G=m0_7h8Cq{pQid7MP+lfsnWt#opbPJV9~Iu9{*8Ub{2-1K z?-P~n;0ICeHNt#(rG8?wc;dC}e+F(A$KL00xE`y%@Ax%r$?~-D&MMvsV?CMVAOFYt zZ1sM<`n4he3?niFAt5PBRQIck9~d=YJ3}~(%L3i%l|8J?LY&3$%+S}>mld|b;hi8$ zL`YbsX|#+o&BBzFCdxcaH43*4T?B++>>anX{>eHacdXjuOdCc40bg-(fA1?K4|+SN zl^+vtAtuXRfWHB41H2h{L=iBl|w-kOGu9~80rNQ_yw)*@S= zUAX5;nx|VIQfF6iN*ik*%r66!U>|*eXxv??qwkEhr3Q#Jrj02LcY<|Fe^>n;V+5y* zFi8}WJV!x!Xv5Z2QEL-Z z-y8gQ2EU@tdMS3i3^w-Tq5ld@3{128SWGH)DWvY8aNf~NOcLHHz;iNn7z1l8$M*p} z<@o10y{`DcyV`a9W>VFlQ9L_{b02DVeQpzU*I$85faI{}5BHQee^WijD(aTH7E)D0 z#a16p>#kzV*1M1+?3qRPQco8(l8y>31J{@E_N#H3iu#h%!(%0TRNc~ zm*N3r9k0#nNZkete<-$qp3K!DRKZy4DXW&}Jf`u1Q!J8)WgO2+A3dn_-;CB~xlz?D z0}YL_H|im%Ud`v+CIKFvESY*d*r8 zZ=4uNkYMp5NqNsz#VxCb^16GX5|9Jae^p(%R=L%e9R6CmV|lmeVl^P$hAe!i|x+f-a3gG=Rv+hGjtIBm)wVLM+pvbksWe5`tOY|QbipZ{>~=H zN>tdeA{=E34ob2F?o25-)Jv0OK}(`u_b~qjw&{n}m%*6>6Nhc81BY#@1h;Lf1^rL{FZCZ}kvc;JJ@@5wHAWt`YTY#C9B|x58i5Z{_@_aMe0_Z?a0CS*?nS&JoWChR! z>H@Shq|`M4GU_T?sv3Xv%x?>8xH~(8T>p=YgodV;3?o2NOj%P30Mup#$Y^P3{`u4d zI=%6?W&|i}zWM*uc?Ie2v$eY$m>J}1&Ft*(7e7rKTQ`6w$kl%y@b+{CIspF?#sEb? zy1(7Y@=Z>#4e(zJ{5ceWqOAqc$qo1?NgDJor{kNHZ%J=<@PCNC2?74Iro+F&0d7Fx zf0eN@bNee-QB_qD;Am#+1O_^pIa#~~g3ZA0ZUEE2Y;SL%CGEcm0s#{4uC9M-DE-^z z`kylYrY;V8+nJ$*ufLgp=l`CVnUlMl&p)*J?`>OvoZM{Pz;6Fq5eTrdbpZZh@Al`+ zY@PnHDTyh|NlR&HGAX__o)eQ2=uI6bX0R9dujoJPiAgH*19(}v0c?Dn0M@rAm2$F_ z0699ov35iHBcG)0n@(Vmt2fL4)7SP+AWtXX|JQD1>tt#5M|n$scV`wYCtDYHpq%9Y zMZcMl{X`%lMzBP2E+fTgVk_^r|3E(_9MtIIiAfdG8}GQTnTx9k5}fbOr0O8<6C zEkRBW-T+IW6%vboG6?+E5On|l+_V3wCGGCupls#{r2Ah<|2NLe(bmEHzasx9LI?PV zE1fdP)zQr1e|)xX(zaeeOI2I2h0VW&{g+)1Z1&dsVouf$z_&yB%cS+^Iyt=c?c40J z{WH1%Ol&+{|KodWNeg=?pqm?jlk+bZ@J)vQA^fKOAG!d47EMhpSvk%3|4+~S6(;3m z0kX7pvIekoaRba;UCq3aSl=3for??L%l6jOmO!t+It9SO>;wY8r2w4W!Tta%kSo%k z)8t_Xu*m)~{R?pdSmggk+yEBE{~%rt0E@}Yi^bc0_}kCM z$_iky{0C%z1F!)91K)_V{H6Ur0^Vp@{R6(OX!8%q1z@rL2jm5?IQ#>?k#YPRvb~jd z`UiX~4f-2$zU{-s9rSkp%^e(oR{x;D$@{m*^}pG%z0q;~2YjRB_V;eyoNl&W|8T!; z@9$);H#%U?e=vBvaxCtDL-sd*-v5AaLiqfx>>DS4AE4{Mvj4kXRR4_2za|0e-~ID{ zzaxKP4X`W79;jn$`Su(7j}Rp@u&b??0qff}W_z>0z5e~p=)Ve3|2={Jku5F`^73Wk zd=r(4Q5_&v zI#UCGOU=i8T8AsFE1wLrk~7mogfCh2odPIQ7Tg(>OH&3?l;t-HNDp?Z(4`K;ad_G6 zN~@o~wp0_{H49J*AVQTA8!yym)(Xj0S`MoDL_vQfUs$47$vK<*G5I4YKx_P1g0H9V zKAwH*72`64!m#G!dNHhL`8-<(wyOiC*D^YPVK340OfMw(^&UGh&TLR@g<;OLBm#F_ z9?p5759^@L*anlA1A!DuF_RyiDN!1E#l8MSA5p^*Bv=3g^ChiP14sM(8^Te5Ck*-z z(D^W+TDJ_*OoEbIpOuegi@D( z?XHTid&nWuzw-{OWPy(_t%}Q6X+bpOWx!QQ=R$%n%6yFbVl-q6Q6sN&^w+`o!7LV~ zz|HS3)DOMn;d&%I6txGJBJ0)=pM$yGskx(=0xp4#q&>UeW>zr<*XB3PaC2rMVWfXr zyuaUaOv&U3vo!yPgg05-=iEaibsoEaMnSEF3{%{p!{V&skM#?agugWuiXfs)~$LLXtx%NqDB3}kq zs}LwZs}tna^0G-s?$}d7Rb-tTMjKpHpXE|z&jXl{;xTc{cJSSGPE<#za_%R8LhXr2 za^>kJj-1aL+T3~f%^TB*w>6gIo0`1V+zO$XSyCzsnLmgiF;a zYdH&{42f)8jTkQ2T6?={;{YLlY)y&eYr@l4scqySL2$#$*i$$jv&$Gd_Ms%|fm zb^^|ABIe}GZfmIh=5jwNmGVt;2%5lTrcl4h9H@XCUxA+|6a05H;bUwmn9)Rzj|1Cw$g+BAO(GpEmS7QWNbDo-w#{e5i=&`t>DTC30cI@m zF4??-zr#JBA9e4A{ z3?N8^&G;yJ9PrfiUX1}ysw@nXp3PKB!?+8;{@Uu%*`{Jbl{0_M8F@>>gZVHu40%bs z4s^Y?X)F>Z2qR?>+SKwhNE=Fpi3By=U`ko_;GW`T<)N$p-U-uxgQDb2FiC{6*FvlT zF9{*x{5l&SR;aoSRLVkkHF%b~P=X%XKgd%weWK^tuz2a}w9U|HPQmEumUHaI)yV2EzV?dpnV!2Juo3J}h|G`RD zjL7JO66NRb?fg$kWLKeQ?p0;$Ee1{&xjV;l9r)`mrhy-SKXQbn50j-JKkb3D(s>mHmG^6hdB6+e&}cNF1jx!qmB>Ehy`uWS>uaeL zJT$d^S5dov>Uc7Y{O}OB(5}`&ucZOjz@BnBv8TweVIj`U(AKrRa-T^(yZz)@Ur+HG z+8aSO3BSY2WXC@Mdoe*~3y%DJtE_$*G)p+u08&;!bKioPTC@U|?#=W5?k&anc4&?K z`g0t^&uEJ<(moH-o3m=uF_>CS0k3KS7tTW6$gypISs1V6JU?BLq-Ldekg)6rWs4m{ z+ci-miM5N4y%M)id3*~|gE9Nwh3d(-rgObbPc4m=4gEshfON@GG5A#?d8Zw(7ncw4 zGf_Vi&QmcHC4Q@K!&9trHBXJ6QCMW&C+rvx3Qk*(#a=YiN~Y~v^dTg@8j^jYcDF3m zk>aE5Jn;Lav)$ zDRFEJU%wp5v`(013=%wSw>1z1kSX{r`XOYj&+-H>791;BL2pL|%XXJ+jlTh+HF zgYo^m3)J?EOR~dT)Yl@Q)cJsU8a+k}C33tp{)J%~q2 zmt}GhRb6A=tlx`DC$$Z>Jy^W3C4H`yqoLTHILU*)PTu+OhQW4ZJ~}$ zX|DeG!P338#d3;F{LsX4w8ss_NOX;Vh-`@e3LOgfVwRiXo(RTlLWXmLw#ogNpZ?r+ z+K&PP0u1Mt8^qG%Qc2Q~S62lM0;iLF{m}aPPKbrLCw88E0CVA?^Mdeai2;12DCmnA zYTH}i-*FB#tajHe65Z(E+|tb94&!N+mVcg6BGYbfSza&M8OjzILz5@ahbd@(7clpl zyR21|w-daCqTMi`@?M8lIdXKqjC1Yhe&>ZsGv#1%uWuv}HqK>z#`vY={N3hazUd3@ zyOS@!50Ny#p-ULVn{D-e(qq6iM%n+`Xc_g*ZLk+MvvDT*i%?ZTU&m0GV4n7CArEoL zi*STh3AiH^4CiFx)V6XvAQeJ?q}f2^&sY_lE@DrU09WB#`@s3LBin` zU^)+5q*uNjykD*L;RV@!cW7A+QSk?gjN>O(vq{|cs%Ui>*3`8L=qDt9C?-|q>-37Y zg(4CH1MuO6g`n>6peM?Z*`>2c40?fG=sUbRd&gyvLk*iyZO0TptU{Of5YA`EWDdJ+ zRxw#N0ool)T;Sv|i=sYxo~}&)G7D;i1?GyyHs%(}a&{(rC=7&51cV+V%VjyikGf(s z3orH(Iz(T+)2=fm-1EnOiPv|xvROn;zY|V0thSd(H8n-H6)LXN-Cg5xAks0ym<3#h zj?9~#xit|7;vop61Vq)m#nR8vz`yOj{m4L`z>BLUwan@HlKG>Sy_jF<%ft4rvaBK7 zBfa|SYz6+j#dGtN;2q7P9LFbN-<0UX!0z*&qzVS1J?a)wO8nPVB$Q&U5YXW7L)&WEx4Np@o@Oz3@Ow!B3&C?2dkUmkUNJVXzVjT5W6m&eJ5p|8 zxIQSFX$4XJ?&olSd_1}+G>92h6_#$pk6SmFv@_W+($UWgRcXVme;9jU;#@zUBvRyzJy^OX0SDJMJ5zV+dRX2H1rBQcSinpwCv?3&s zE|tS|V1WhFU1Z(3r;|4bJI((g@@&Fkq`KRf`!NGtyKEQAn)l*KCT|k6$}VP=MY$<- zLk6@@ih|~Uh=RpQQ`h)}pdUS<3XrrH%y`Yqh9S2c=IDC0=xGIt2vY3e?>#R4~P9Ea@|e(nR-=In?VM}KM+7TTNaTTFtp7iHwF>IS zV5xBCoLy(-I@)Sb4@bDuY;H~~TN*^+s}b@!!WfYQy<805*VEU=a7Y0|O-z`(EGli& zxoiP{E{I|65MKeg^6NXUz`UqdRnFd#LN=3<>k-p)oqKAs>Q)n}&lWJiY!iGrub3xV z`mciYv*!Z38bH(<8h%oI7FASt6F8}*bJPh~F{ddOIO69Xc5FX?>tw7TOurRV)PQ7Y z{tdj3A}FiBqm2fCua5%_JXgFDEsXp~C=(<+3kSoYw3kU% zEP7#ip?l^UENsjbIQm@9s7hZ1-Wz{Ll39apU&mH=Cb|v0LV5k}O>@`7J<}HpY6vH| z2)_Ole|nYF7(!DsXq20G%93(3B#cgD%Vo%d_-W4Pgg>eV$!}zKuCLjjvp?xmJ;Q8& zHuurgSH5CVinv>=U^=&#nrj)EmnS{^pL~Q9%%2Rj>R)vRA7DuOxX4z1fk)#Uak9*t zYV8Ou$L4U)u(qH_Gj+zw)F1X7CmW-_^(5d)(3N$eq&|?V0=MD_1~iU6KJP!=1umF+ z7!DTl2ea}N^YHnGm4{prm?1!T61{qVSj3kM%jTe+?+MlI<8$3#E{9}BY5#0Q*UGTF zIjgVX`h_;&kkt!i!o^0loW)p9wC(D8a??+rjm2Bge(U_vWbGB2Zqnfyuq5eH6QJD* zi|Apq1On4Op`vb}GQtPyU6l8Q1kJpU3=VjXSFDv6KM_R*+x=6$7q89j;~ z(7??SdG^*MEbCeS$-Con-99cqkq@b+RjD$^uQ3vGbLCUMJ=}E83DvJC(pS2zA6$!u zr|D`8V<@kU<||vQ!;x)19P(l~cJK%UNAYf9>z7EZp~-mJ1#&f1lhRMn)75tma^dIf z5{o>(%evpy!vsrmwYsw>kJJx;;VtmAn;&ibZH@rH8RH$K$GH26PfG~CpNqY_E}`I{ zE{Oqr-K91H7!5oIL;)YB4X&2IfW}vO_jwCrj7mb)+8Q((aeXEfi1mI z<0$RJ42(mP#Y9j|8wbYy+EO3`lz1$eURY2QqXikm<=2J&n$v7_H9=jQ^c>MaZ z%eiqULeLf_3Oy&%zHat^HACST2a6jwvGnD0c?xuOd*`?b%{L7^wwSsltPXN6cF^`7(ih|9#?+MaxY9j+F*LFO-i&TWp;1EcU&-nP2h zHRN!su-XT(Z44F2G5V%@y?!DZEcv??gc@IvE{o}XorK4wFQpfN_$c#rd*l+S`ru`d zNI8G3C)98_v*(z9R6yv$VhUp81A2N%{LcO-3$qAP<;DTpsBOSe(a@vUPt+%Ys6!9? z1Pa%dm(#C1vJ1~eEc~Enoy;H?CpH#5{sC=%U&6qtcWR=RtH~kM^8i#OrnR#9gRmIt z%Y*2Fgf@8#^)w!IFcOGDJ12KVyjYOzl9A%KqHL4jvplzdZj3nRlk~*r92(h_g5|p9Y{uM~adSeg# z#9vwb77^9M88vv)S+^^CWe=9@-SGsCcwhq5NJfKBmZ7(axl|RE2O*qb%yNTu;!sOJ zS5iT3b+s6OCa6*Vq+jKfIHjA*1|UB{JVS9`o

Z-ZK$^W1a$xSdH15Ek$%S zuh_P&`-m3smm+XCsx$*%5H8HIZ&ydR1r=tPLv6v-2ZoD~hVb9&ka*};1h`N^`w~lZ zTK1B`U+;YJy9a)@vO}yPcPC$%M()?0Nnk37|9TXE!s=(D`QTw4j;t`<^qCqpxFcqF zRwqx#*D)AWpWZ|pm?LlE&Ya_SL=k$E3g>RxW5^R$H6s-pN{09+%)NJ*}YPVN%JNB>{0Ye=63J@L?9kNrD^Q( zI6Zpyjld}Rr}&cS9W?rmF{puppyddX)3q-e7a}!jxO$XgUpHQerII!|#`9o5Hqv30 zzZNrjd9sljU21kvC%n*TBFc=tkKmz!S)Y$x(N8KRwk zTfWU9^KoTWIS&Z+`~VE10+XBXi{HD=2b=6n(?F2ZTdpyGn-0D@q7AnR`#fB$0RJ&P zLH!plO#4b$V5oMTgnK_8@1TH)hgnF%hKF+fHwnT7kO(A$dCyF}Mg2ldn$>$crYB0oK{dVGx5igxo5<}wfD)hzfn^ig)Lr%DF z<~>v4K|G>vczaH#JAl3*9EVdhkx!DpTDsB#1>dv6y70Z9?x$?T@uyk0b8S3)!3Rrs z|C<0NCC}?F9doQu{exYG_oBqypBF;ECc>oP=xRB|8^9B81v?T98A7GkeX{+ zdgoLY`kGCTilw962_^o1?GE70D?yKTN z!0q+yfCHme@Ze1PJn*jA^4ffiVx!n;YjMpZr4*UGZ;(%6l*@1-%eiwXkR{;6KGHYY zOa0Cx!%oLF`zISr)ZTM@Qm))n@pfuXKQ7UU@v7j{8v21); z#6JEA0L&F}LENF_XsrCB^BhI*g^D}p9_WlgNv&1a& z*4dviepZ|GoDam^h!cYnT$WsWB8pE^w2|4I=h(#2HcT&HanmJqJhmrlUb!@)VLfsD|%)FVL@v( zeKmtMDdmJ|Fpr9VRkLuX_DAe6y)W#u`cWR3P#CF8K8A0lNn(X!BN7cRoIc?tt- zQGrKakJP{s&qr8X-H3rboWVj-*(GI}*C;gu%P>3#Nv^Pe33Bkj+)4}%RSPG@xz$@G z4^ir+j@}5bh3^BNzl(@NzEeJ-abnLE695&hF@Ub~GL&@))?v#xAqVhy2k1#QlMjHP1Wu5D5V(fK&5WKX11wy~?5uY}pEj7w-4SaN4c7(ud z9u#6~7i_P8XZewBfxY4t#Q9i~wRQp2*=P*uw7isZl!uAF++G(NUC=j!;4mR z5ERdfopn3kBNzeSft8ShvC34sO_*PIr9z4eNSG5O{p}HTWn#OyXYX1j+E2S@OggDe z==E~c`1MT^`MRrSVoof9#gCY}g~#{QyAJA3?s8*)(M7S{$5wjK22BIxRk1X6c9T?Fn=4Bv=u%do4dBmGTOhd`n zC)z?FQ*vz;gTs5?_KUua4P@TqgS($EQpoNxFiKWXNhJo%K-tjh;4r-Zu6+gju{?5S z1HCSP$HSL9qkmT12xT<>_KhoR0)8-n<8{=-{&OPlA0cAs9Ml=F4z@ zzi)~MzIjktjY-7DbSmV*0pjFqNHQRRQZ;w)o%R(hIs*I^9Ok z+8<#!dX~f$#+Iq-J(okB$)gRR_WW_a*<99XUGWomJ}3zyJ85f?t6cJ$2%{|C&R;+A zG^9Ud{fL-B^t)n$_pVDql=?f7x%e-d z*wMd38 za|+N2k!HhD=Yc ziDJe%X2JvXsOyT02r%k}pJ(r~z89Tp(Mst)@$J{&QT0jYQ6n6N4}@_r>YousC82LI zEKxZo;`(;F^Ip)Rl@scFyZ2$VIEB#S004imj-ZUA+r$ zVKT4|5wU$p%eyuh2Jn6R1RK?A0-zrH-aStmGVs0m7}f_ydb=XvV@-*zK4j%je4t&O zkXxtPf;>yPuK7lwP&j-)>8>DJIq6k}Y(QcFVgplvYTTx@+`nqRIR%#H;m~z4ErG$A*WAlgA zt5d57WY@sq1}sI$;M_w@UN(q;5+BZ)5`Mu3Af4`0>!4}U00_)!)~C^YqqcieFn2(`*+~QE{7cW;{_v%q&w04mI%oG0w%tY z728YDX#eO{B^i@}V*Sy&5S5mFmv6~9O{q6K<0Syg2rq0YwRw|`J3B7IupMeyaCSWs zm9Six2Xi>|#-4e9O17RN_#~)+JVaX0PI^%XDR*hkQhsEVm^h;IIpOLF-!7qS^pn~` z%G2hY5B#rz4rhf(p?3JF*LvU7?JBFPep)2Pk=K)8eG5UnATP|pB^X||$nJX= zr{r`T=)N~v!oTvZrk&EMFqAl9*|26Z{ND8#e^h3?ZS2l}1b5;TYw;>8YXlh%C#TU* z-)-p7;=UJY^e~p(^_PMG!vSj1(b;fZ@f5akW5J3abY@rn!6})zBgK`6wD8cJW(E`W z{p=bm?E}^ollFifx8X%*+h`k_hKqir5L$q3A3ZN1_wYruMx0g4gU~`%?`1A`AdFSx zksfg={@qZ2FBH_sW1(g_I0{4aG{x|{kwq=UUDxNFt|hQzUf+9#rM1RY=}C3aU{}L# zaT`fRTUaro?QJiD2Kl11X}87UYZ&}H{~?{py5W1L!bdS;iFVzHyWN=dd~@8n#R~ns zLp02eT*0Dbuc3fru_Rka`_B;?zf551f@l#;hQ^_P7mUn7M8upD?%l-bqVGuBmRJriTnH|k!Qk&X_I#S=n zTd$kD7+LMeibZapRNR;nwkPTL$4_DR~ep3f9Z)lJP2E?iGy*NZB;2qc`=u}%MfyhfTyc1}A2Eq3c!*xAzJT$ zcax3OeQ8w+R!oUd@)+~qTkY)*O?E{Vq7+7~R8tY_210qnnr4xKCNUpgPcbOzFH09Q z@yZz)glcJCCN#?NA$RSmoIm$^?OJEKHHxP&a&nwcw_3NHx3XPS)CZl4#5(e8L<5dK z>y}0JD2kSR>VB8J4u@U8KS<8`PAt)X)&x&&nH0|dtWbRsnHhZz7Y#OFqNn+LvsSm& z!4F@g|TRnC|S0`JZjTkem!o7SD{^Z8^jiA51xPh;(8!aSJCLmOg*zpA1 zyzS-DyyP$K*sE5}!7V&q{!qd1 z+NSz^?sA_)pBmwg^P$*`*BgqS-+xc}K_>IF<7sls*~iNH*!GYxtRFveFd^uN&Y&hL zyMM>Kj&13=4~WJTSho^W$aX}x{0&nLC3~LdA7FF_V)g8Ndhi)rt7V9PK66-sa=#Kl zz%0F5m3f@!8|qv)D?Z?=2*>nr#}L!Ys!!_|=(LryWTcyN6uFa0=WspS@3hN&iPap) z7bD2ULL8BzZAd|Fu#BE`NNk3>PH)Dg(4%>Wc9PVX#ASJ@+*_pFsc_VLpB|6`TaG=! zcM>YmGS7ki4${HWg#=Q6S`{XZ(FqDufAPx*^IoG*eIQCQ$;ZuRsJ%`4!cmXS*s!}3pPGFuFHG!L?WZ1^(XjcZj0yS0Xh z#3*=KTz(W@U~R*v7&~@GJ`#?zTXU4&n5Rx=H+jdFwK=L?(CghQ0`u8i5!o*C;iP?s zCZ%LPga2#u@YJe@{FZC0@vu4sCy@dNWKmoM?s`a$o}|$^9ex|jK-^)R5^i6X03(55yRP`#%ZXnM@cDL28HM!_@SSjd?jQ3 zl;N~S9;k7ecrn7nq=xzJ3M7iypmFa)FzRavtJ4+Z#7ZHH%R2Bxqq{0XKYcNm6s8YP z9EHsw)!2q^HXx&(4ooA2lB098OX2dHsz`%wv3=%DO~)yJ&Tq}!l#%Rs)-%gZ49cXP zS@DiaWX)`TNcXKfed^IgyB^>?E;%DWL;toH3lOsMn?NqdkY%jZf7hxG; zWq8(e6?q#_V{}yU>St!> zSkrIUjdNFjh(sNu=245#;gh}(?PLn^Sj9oc<~Dac0w$0Ef~-9h!~!*)07J0nJ#&&> zH*90k=hKpk$6d`t(K(uHy1uQ@0B!kNO5SL{;@gy-@4)9P2|cBrx?u>h?Uc+JwF6D& zd>YfqFw!J>9pdl$X!+iUp+x%2xtT)*-&^U$0dcK=Nkhu+ojt{mbj7+H)24<3_}vlR z8go=mp^JwQs+TybXmn&7?w2N*;EIRn#i5*r*1F=rWTBYByC6E!8Ke_&TagJq=PS-> zL?yU$MGIc4go~oPz-kk|)X)l_*PkocZGu=C-|IJ4uKH7RMc=IDpjC7_AUjoZ-{4eb*(fPMa)et^QzVj8)M-qP4ya8XTL#>7uR}7 zMT3ZyOPJs{zNKCVJQzHQ3b&1OYAGLXip=bPTOi1{bKlMTNm{-BR?WL+R2o^2eor zu@UizF6pT1%Zgr!+$(Qg!Sl&pGH;r@RZn&f$R=U&)DH>llrPtD&0Pj+#JxGGs-r7W zpX;$lBu}WQfAd|Uw?g4Bo9I~(d-Zgn>CX;5#FqvsA#n%EjRw6(<(c?ge2Cs9lD@*$ z*wGAvR{@6)7C2*9sp!$vGe(hn&eOqvEv#$5{gbb+W~rmg`{o;Vgfq(C@NyXcepv zy%&v81k^JGq(2^``{FfLTc49r*azmwluNE!0ym1Vk&3! zt)P$RwRNWgNEGOyUcv7k$D3z=AI>GDW1E;&ewHxRXWX%Tq2YvXYr%}MN=*FPoTND| zm(N!#=Rj;g&`_soYLqZlUnf{p(JMQV6(UcAypB&)VQ_DRm_;gx7UZia+%O`j`V~!) z!jvf6F4`}-TdT`(S_FuPQ^~L$=s?bP;}rz`!L&CDOnx+Y>&CM>NnKNaAL8BpM zjVJ2efyZdyj5sX(SwjdTqO47A*+5*4@mgbHo$@080X5b8(**+8^Ppcic3K?a8GmR=@m}77Ros&ODx|?&amc`*k+QQvqRapW>{^ zTDVl_M%zN@yW+XrK(iCwsN4sgH{wP5Qz9Uf76chYNf$ZAwPaBvk_ClVw93>|D9w`Hl(ttjyD0 zZ5Q{h7xqWSW*q7O@&Wlrx5(gDq?uZ4mY?~hhLfwU%H926@z^4oIWc}am#Om~?tsJ@ zn*5_623Bi|5ufiGgDs%p76Xv#QEI)Ygo%Qc3U}^L#4E0U#Dg&5JvBe_YE~d|dravw z98#2v-UOefq^@<8U8lM-o2{AO%#Gi`zC8D0w+U$?Ad;B!J;{0gpkDYi{XiCFt#mObfwO4JEfKS=!_i@j(WJ7~8`5l(eBz2v()CT_=-6#H^=wndxjUWZLRP9Xd#$6a zeps2IH`N(T>HNPKS-z!E&uWBh`#|%+O^ql=D&V4jiP3(`G+~?$L~?Z|6pSQu!b+4t z4RbD8!V1W-t!WmBGel-WHOF6;vp$&7`5@g*MO&=E5k_a}M#^6nZ8S&_i>Q+s)Eax# zkL83)hSpTt^wUfUg>nBC*35kdj)#leud9!jv8z(8P;nled@wS_;6~^}EtGKdcJsmh z;e;4}d@|#M%WM0z+4puDs_X%ipLUocQ!P2x0=5!;jLl)q>VcaCvsIYTvcjB$KfbOv z`^9{ZkC+;6aE5;OJjfT6@1bDIy>G-&hqUNPBf??VvziJb%o_>be35@Jw5nkFCGsAc zt3}a0f{O}3!(hKWGGZ@Z>!hsT=bUp7xO-9f>Sd1|V#YbR=qcQ4%8>?T zNIHy&X4ENC=T@SsdgS4rT4@)qP0f_H`f5{bc!fk6%M<*N9*0UJ{xOPN5j{ATJ5|1a za%Zx)M;}(~)tEr>6pcSAuOMNl>N+~^?iXW+|G_+-2*NMGi{mE+i4G_ed{pw0L7JSJ z&}f_(5BF`U!m%eMPuoG?0EohX;cZ#0A=8qyJ;VcHX+k6lmTDvPhbpDlBP1%+Yj9n6 zfjx{;-Y=AT!f&c~aGcLZBLAN8O@W7hq4x;NJ(uTi^Rk5~lNoeu zWl3xDg5=A$k%g=_g$q&~u>4}EmHHxW+mZ(%vpolaG~L4EvBQmHqUr;hOI3S+M7U+{ zk4;?|1KY<(-yM05UB`sc#+t@0(E|?iZ}&w>Qc+6HJ6)$zy19}nUo+jDF>AV<*Ph=A zl=zJNX#FK^gkY1J^VM%$GG0WN+w}I*!_*if-{|Ljq+tz8c=h-S%F-vukB)H0^UVD` zmycgiCUB4Tqr-Pz@;TH&ND{n%@CfDk7CdhDCHP83X1BEh08>oD5HWX`0R6?C&%tFQ zAuS`mD5NOhTXN&?ig)HIeoqt2x6o9VPolDr{)v-a%>ze>r)9PGUd36Anr*U^UNv^0 zY2-<2cTN`!y0jSbgw+TLvHW;~FO7pGBhSz3Vcg7ZGAPo0g|yxE(msrT^1a=Gv}bpO z!{}<`!LOg44p*wNR1$GdH;~VnR6nFUy$2^bJ{f9tB$gc3*rjpMGE!1@z zk%EA+>t%8B7GyiQ8Oa9j(l1Ccqngi;O=mVOgD!jca*wM(w{uF<Wjh2O=n)<8UE6S3|J;HUq-=Q0lqYCzs{ zg`EE!DcLsS!*1o=fpw9upudXGF%Mdt?s^}7ymKM#Kv!*uNf{y;vJ7!I60O9YBO`%h z#8$U;9Z=e*m_+nb0l~c>y~>(#tX^tZGM=3ld@2Zq5BcO{caA}SXEs;sm+4U}n3O}G z*pj!{O;wR35;M2ceJ1Ml4LzWjeYPbyA+U@XmUdIZnr75-x{v?wM? zYCrLQKk)$tE@j~;ZWbTPD~Ndc2H#QN`pYVu%DBFh$tuhH2(iA$bKxtpDx8w5ehJS@ zY1ur?aL7h1!NYWodMI75KlPtrZt5quecFRd;!fq>~}+9i)q;{M2q z?Vlc+x>`*#17GLwo_C;RSLoj2_T?bW}Os3n))_11eAa z^|w6qtOiGJ7f`&&gwby3QV-TZnvQ@i3p3-D-ER+MKrm`btw%VU^BnKhl;}EV;OtD` zts__W6x?Qi2>a#7(K;1pA-$PQ*k_LXK1C&^bP5wj3`+5RfkWjQ(^v8Ll4R1ep9?0H_Edh=-q0t%>C(ZjTwV?KZNy<=)`)Db!OBF)>^y`{5_Z37ur&;?ZOjfI z2&xT#yiExTtPIvK_D|!hgeT2U_5@@^PRTr09kdW~u2zf%J4l$1XL`mga2A%3`hA96 zUNV1iAx54XM;-Cks9+9@&)jq!iI*(jUg?(qY!8*l>vptSNs+qZ2m3noj_3sic_d5%c;WrPwHuYjdGRoUtL*pLewy*)CUsdpMXlg zHJIg<&@3OzwRa+&UyYTR~)bKVm-` zT{e40Yp^7e0K>S}sQ<-9bf>nfqXy08=6+smheHG;`C3Ma@jP_xSWf*zaex@@^a)i6 zWe^frV`y@gYv^vszsCIIQKZfS`_n@GD&`loO{-(PZwyo<$v&Z0U5$xR$lSeuY$$~I ziuIDcqaAC)wLhXes0T@D@lOhAN>uj`2u2L?E$ksOZ3l!LZq*vp<71^y%8@$6FHB`^pA27h8Wbxl3Su*ASQOzcAza*1YWJV7Y*6?0P4e^6)-rVcM`-7GR0c*~ zW7&I9no~fp_iD#3cams3#yxhn+A>Lxx@O#1deI@Q1o_&P)IO^+nJoH$WFE@b;*gv7 zEBr`PoW@7W8kcMyMx{ubf;u9)_ez-+Gh@FSzdt3xCsDDv80gL#1j0$evd6!#c&1_M zcYkr1(uef_DSq`u0VZ!OR0I%Uks18)5e@Y#B@fX@PLeNBNJ0Jg?w+F}Y&BLJ`zQ4` zam*Zh5pEwzPPlOkDOf>+~Gv`y~Wt>du)izDhG%f|;NfpA)?dyE-_43TH#1Dd^<#^d z7T@8_=AkJRj4=EV3RQ5)i`6k%3R6TxXU1h)``P)S>T~Iy>Bi!gOx-o{^XOIy{Hp(t_w1 z$|vn}uo@|#WbaJ&2Ouu5D6zVoT12CD~mrmT2N<8$lXk3`+1(f(O8^ViUIrKEAxAQH^-(c z>KBYM+;UION~z$~%SbPX6Y4l>%~jBmfQ+_v)cgY5Yo=^}&mL@oLWc#fAR(LFLLX&& z#G|V^QE|lxEyj{a_a4kAc=KJ{nE=o_fxH!-oj2dJ6}PMg-Iay&;3LX3NP;cdP?Y-CnNsEqj4~0s$P@b5dA7ygahEX?2{fQMQ}jjWFC&XRZ!59ary5J z9WP281q@+R9ac2fsk@>w7u{y>WKl5c-0!oP@<@Gj5b<~TEV&WkK&PYklF{Yk0ro!K zj^`(7?|XB#Rb$tzXlvCzxEtAtpuL!ssaiK9J>{UY-Ti;6_4js{F$@M3hsR0=x5r8c z?e_sWm$AtKDSz!;Yf~FZvi;7l=#RUxVRhHLDq>>d+F-E9kHN-ohd&5tgYF24k;IH= zfBl}!EJ@u$5)$B@8#f#_rRwUeS61f9lih-(d{Gri#X^}_B&`eW>C+TO>B2aLACGHW z*a~vm71mmO`ohMDd#-Rs<2n>B_?@I<;Wf#n!h4JRsecF+##8uoXg8)v-r+hFs!FIB zRVWSVWE@uDsG#YJ7=}n=Pa;OAUFpfd1 z);tbwX&X?ns3hv;3T=$tF@Y)}KsXiJY8sg;Sb4%~b*Qj)>kA!e&lp0dNR>#+!BQPG zq-m}Qb$=O}%TdLKon+B!XfB7*J75i^5e=*=Vf1Js-3mpFv}U@fpq><=N>2+ztEzY#&~jr$a;)w}K`ctzbzi1V^&)B-pIyR&?|1$`2nu0edg!(BUsrck?fQ1x>0@tosuCk%0erb1g)VNrdE1V3 z!TSN15uGP&%Qq?SN6E>2HWwS0%fN?THOE3tTNoVhb~C}#EvuJmd$ zf#>OOQvjSntZ{<=9KR zy|7I^l-_bi)L-OTKk&PlMDY)FCRj&GNNj{QD8*;udqTF+LRt4EXty=kaExksmKQAW zI}NqhxT$9-IaqAkx$LxkSs3(p zAP`kNb`?&%CxvZmNw2!Yf$1cE$;_`MtzvQTwTVDANtx1Rm*QVYWaJqyls#@0%F3wH zu8il#`)WMQmXs_~YFA1ao-;Y%IFf0>UG&vBw&cwDs_WXwN7R)xmgXeS`DC-)_mxM=_!X@ z;oDO4OgMOR2c}^A*+28v;IhBx-vn2YRJaFHy0yK;MX%6QT4%x1`u6OPos@rydRF(s zWB3hk&xFMgM)>8u>l* zr@S2>a9iqo>%C(Qs5|MUnUn5yLiFJ*wVUXe`>t@Zmp$ix9@w$vmE|yPVfe!QH;?6f~&{KR1LYxYvmI+-sh`Cf=a_%Q z;51OCS3-Dk5&DIP)3vQ4$XSq=m}<&r!W!$36)%ss&)?qNnsv9d4JM0{SUWL}q8)nL zNefoQ_*+A{OWl=#Tr({=gMo%UwzN^>_nrGSu_-c#*kcALtDX}U<=^zON>G#5{0sQQ z0z#F{FVyjUxG2t2J`%yyMM>?+E<&kMOn7F5iXR%LA4QH zpSrK{mP+ZAHBU!Z!2|~K4lCQ>;a8It?heq9)idrt*X}=<;Cr{{t$RaN_?}Sxm}3n6 zh(ejiV`r`qcsg!)p)L{cXFY4NKZ*;VBCWdOJaX8!cDHX$ipeynJu&AbUTi|0;yz5? z>UW>J3o)73@5iN+qOKaK2bW)637yErqCm`qlUpem^SW?Yaq$f5v=519muy0h4&BY}8beWMMff473{EGX!pw@hV%Em&MedL#_b#X zc`{~Fmi7W5IkJ}Es9M`Ni5hhlyRy~mk#Sp^6$xp|6 zLE)1nSd5}|oE6!&4aW7XM)t@YaODa1e)Sy_%GNAm1Lr8N*Ad0QU~2M!9aU&1?|vsA zTSdY@51hSpiaD?)NJUdl$2%0w^(s43J0rv^T6}6g*>u2&5(c_lD?lj=^USSsDAahZ zndRf9+94Yu)#Tr&f479{hY(QzLNk8A2B{ZygL?imlE{G!I`AkWSL@mFovPq1Iixbt^}NrGKrW zsUk$-?BxLE8kU(|7bbc!hm}p&9i;0C{kn!GSJkqh+DCoD4hRb|Z;A`=CH55vb}Jtg z-EuS98eNt7IvrB~?F+_b&t8>kq+EBNgqJ-MjO(}5Yl^(A(f7MC;pI3jn{Y-%7_7OkcDB2XyoK%}qMWTfqyreyoWIM~Zcq3J3yra$?nL*z` znvP1KtfV>^O4JvT1&3CSoECH&43SnOJdvF)>X2BZXyKBwj-hi@?e z6K;)}<^ABf%<9`w*I%R{*_>ESbhf7O2NTSS5&1Xw3C!U9LNW{VJR=ngYg~E)x?8Am z{D#KV<+&fe9xiL}DUx+u3FptX|Ds0<(0FTru{UcTvx04a{#kC57C68-QEZ#a7(l!f z11nc)p`RopST`j_c=uoUC=33#c^Ty?=ngfLIXd{R^HH^PGaXk(8Wn*e3-0NP+Ty%q zGaJ32@#$mP<;j$vF16U>Ek~R*J9=$|2_srI&pECHB;vv{6e_)`V=i}$)a;G@dJJPg ze#VfNDx`H{SD_rzwM-LBGE~1bh^w4OUh0;#eCwHsRAV3IJYt%0HRySP_ z_b*l`cN~@MIkBtYk|#`1^wwBIw^I?*Bzrl!-AvRxeeIDWFZ+F&p~7Gb5`@}Kj$q_Q zikOSJaYK)$NW15c*e)}v@lLHIK8Q}>)Q#uJ( zXJw>b4v7>^11o?+e^gFmV(OsiWI#%VJeRR63Ar4n#`AAKOP~H5nRMn1B>k~Z7h6RHa+ZJlDd#t1?rgIZg0*`YbEkqwbK7Y!)}tweyDigDgjO@}g3d3!{Y ztwfNrfOJvc^ldwp$${lsD|!AlIG$cR{F~rJ=BlB>HhKRV@jk&~JLNb~GtJ*7=BD(F z^kDn@oCI%+5GCmhc6!vglbW-Z}L}bmJkoORd+pExI%~-_{VM&G-ZNNV0 zwoysoe)MXuvtzgO<+JtbW}GBmsI_>m{|u+1sauBrVoB9{xnR!0mi|KT$3#Wb}|-ye%FmyK!E2$Lp6EQDT#Vw02oemCE1E-b$K z-hEtLURD8xfY&}=v&1GfKQx8B4D$`|J3$BQ&7-)e$J!1*LB@2NsW2)$cIq|`yc&ys z1Dd|Ai*9vnH5mt9yLecI!Jk19_`l)?hs&C%z5#}psdOJrCc zIywD0bo?;)z^ej6ew$TE2{BZ^W_cOmO*_;CA1kW^Z%^Qj)fJXJ9+B#)@8w0eR|XgPc$XZqv;;Cy3sWyortR;P`|Uqme$9UjNPe4; z@E{#(a%Z+4blylj!-vmb80UeA;=+LqXNuu%mq4b3@qHh04|n#iw&S$21MAIUF5OjK z@1>HK#_zz*+y#n^_0NXi_no-IWt$Dg3Bw1_+1nQ0@DW6LY3WBonnrWeZRwNF8v+A( z`vIPQUuv)2^mSt*V~z*L2fer`Lk_OAu#Wi`A2)68v%k-~5GRkmGIbBzj6Pc+(@(cB90RS8(#R$)kbE}K@iW=63=hre8 z(%uZ1LPE&I3Ky`3yH?m#l(_eyg)L*f)?TH5_ksSO|GKnE`qSaHlRJJr}1xPVavBQ!`AuXM*ixsho*ci#YnW~gBCVgJ+i0V0|Bq5XX2 z(}dQy;8Fj+yR*2prO|%&dpGD7?()u45X%hbWNBNsb>u>eKAkX~PCk|O(qF$WvZml> zVEx@QAEh+94P2Iy-3>4EP$Wt$y53VuQU^#nn4a|$Z^1z9EDjKs*3!SBJxy{6^g?DL zc8BG06*Ej~pCQFB?A<6dkWi=sOwq?y7-Xy`%!6HVsLC{ z{EEsH17{$8l86q^gDvrz@-U zRa-qJdr$S3x+zOg-Eh`-SI>6D_Z)AE;8}5z$hC_{RyUYA*4jP0?leY06`8z_)S0du zekUQa(hMMgYriEOQzPqW)jWeNu@al$=K9i$ZA@@Ud!Z~N?zQCf;hASQodi~xR~y4C zYmtrU4Q5a^E3p`>o@?#?J2-32N7-({?i2_0j1eGzI1uEfK2iN8>fk=9Ax z*Xff#S=Mj<*_}k!am0>EFcR|rbN~iOo?UEBo3Xvq)d=*-4P5G@TBSiBShu{Jr9qGW zZrVNQSlr$^touFcA$GB||4L(}awulsEuWhQ!*zD4R1y#;FXvp$?48BB`MFqBmaVJ$ zf;w;KJ@Vh^9ae;`7TnkN)q&AMcwI^_yacC9PhdjC0hY+kQ(Mn%tRX#w?9oO|wJKETvK!t#TfOZw%`H zF3YP<9*?!#kF|~8uXLS@6bY9)giaGo*bWIwjGV!HQ${c38%`qccTuW7q%{9mtr;6i zgwsGx1}ubP)Pj|SS?cdYqvP{~JT4CYSv@DoM(%-B4dTU=j6(bPO^~c#WKJ6ezl)Eo zKZ544-iI*&JsT9JDJ9COT~7}OlIXLGrPPD(8j4)fyQC%3>C>ym-WdoUz$hH@H*qKF zXL^!`=x3c71P}+))~AI*QzibuH%Y4x#Ri9i1;W_@R^tC6K_x!1Zm_pmN1DTmI*ud) zEq9#5x8dOtBV>O;QPIUw5R*9-&*SYt;+QegUIrK8S^bWO5yr62^Z)cl#Gz*4towQ6R6+U zsOYq!T2KKGE{G7uA)crrn?oL?7BmOx9JcsdwooaY7t#%dBB#*QliVpBc@Tv$jDl*` z3?313M>H@19{}gE&r0zZe8U1k#tZks6iEIJ1AGb&dQE65kybyDqfZT9W>mt&KLYf( z5N4HEo`hf}8l}o2ks19hZHk?0fG~sk1-AyLwm*9$ z>b5P}3S~|>MPeIg1v3v${L0#d6R4ezhKCzfU_D8dr>BbE4o>ZF65}~=&M^XF@^Sa! z@`+@o@!>a9-{0?krn9jk5&?%sZxxhPRij_`x(zK&GgAZ!Xh7X3x4hwwJ26#)c^knz z=QCFa)vByIf2p#JhxndJJ7gYDz=euv?o#vS5q+fUPMG3Kr%`VKcUCzG`(<6ue8XG- z&it}o(z&;xI1q!X&A9^@SgiJ?q)oS=bPBJ{(|Rq~kOG*Kjc0lD;>`$psq4=; zRf^dB^M=vM0@t0`;v1`pN~T9?31sGnZFrS#Z8D}#D6=fQF_EBIr72=O%@vN|-dd;8{22aP z=dZB;*}LbB6Zd%-dkE+7<9IJoqvzsnpVT(<;G=APU^=}=_tdn?9HSb80uMG~IsB8R zdakxFMFWGh~+}<@tG{E?1xkvB*OTnz-oJ5MD9c z9Blv6m)|!ArYqp^&I==o4S^?f9cM<|Q3x@2-6Fl+GI$-g&dFRI3&kBn+VfW)l~C}@ z51X(jaF)h5(7YHp%YMc2SwE-Bn+yGr%e|O~&z(yxozIv$R^czhpS1oEC_#LQ`6#Ws zi~C^6D`RT8rv}<>13SAv{EQmjjVO_RZ+WmG9~TLmRhF((bc(sx2U}Sz?>xh0d_Wlh zFYEmq{|aPH%)FDaYT!iEdxR-agq43{V|l_rQD(B=*|d*9<{Y!3E4OrfGq zF*88!U*YLQejq&?N_as++P-jbY1&Dnf zaDYLd!2pqR{MtKs-}Tr{wr*LWp+rYZ28ysymXQGr@G~}vf%rNjb!l#9m?yOf0XZZ& z3*du6I^?-b`w?{g?i>MjrCZW-K0JvFro|}V+~K0S>aVpShS(+V!osxBXy1Tr-e8^z zd1Y79;GDzZ`?$iJce_emJR7w5#`#~WGi~oq9>8W#m|V?#HRM&~U-mds@^F$8C22gG z^aljirUk51WXDtbKc(8f*LHSy34XXi_Mg{bSZa%FLQkT&J?ucI!8UUiBD`0QInW}z z(IQ(@WoEXhjWbA4Ns{eJ1xW z*>^s9cN1ojVUpvC&Tb`r49Fq%Z;S7}`iPc!rq?aB+P3h@L34t*cz=M#RrhJOog`ap z4qc^H^b_joeDC?(^-QhNAUKVs6EvF5*a8+W*R!&y;w>&@s`=cSfcwr3P-YdY;#!Ir zvMgiN)42KN#Lvl;=bF6!J%N8AI9BGknPx5L7zns|Lpu3V|Mh;$!u(NqBu9!1dSe^4 z+&_-fkuWZL^Sr_P{I&EFI|~r>4ca1~qIe;~&ZHzcLf?%QXZH3AO$tx^MB=#thykI> z8W{^upkDO9VdYZA!UbL@@6efna;MdGJl>#EwX6pZDvIFTPe6?7g{m&k82#L(inP}! z@PP1u!m=5oH1FF6=H4i_JAq%|-85Rb{?p~Mz?nI+PAMtPl8&a?9?`R48arl@nqd{y z=Cpw29=qG@8alSPAFyC^{3(Hg2S8HYg$M|fjI9dETf9K9ofp=k)q4zb0zVLYniX3) z#?_O_Jv>r|W=u$<5}hRdwH01kMd@)bpAxptg8D$!B_lQO*^ocP#SI~zK>8P=Uo?8Jkr;(H4Efl1 z+L&vU!eMRWDV2C(q8!6_S{sr&UI+m;rzv&+9{P=p>z z(2`+HVxClaxYWO9)!WJM`5UAgz^(_?Gx7yufx|TrKR~sc1n`URxO1Rt9CX$alq!PM zM9#4kZkI)EPw=PkuU_Q9Bzo_w!VkjcV_q{%&L2v7N`%cP@IW$ohxnIn(jxwXMKr)X zoO5_hn67<%yTA0}AG|DX>Dj)OKpklV(!?zy)z_Q~WLX${(aNY1Zmt?%vdl^H=J-hd zNH4-9ZU(fIde~W<3Y*W%!yPcD3w{2m(wTQuUzwR}Yr#;PHW>r2PMocl!7Nu!b;x?hY!d6+;{9aOHlJsfbuOH@KzK(8@+8vZI;?jtiH0n+> zrZ)Y*#p5i#GTXi28&v>)yRL~^<650=oGm8yx%>OcvXnCf7Sg_Pfhp?#pI!%gUacci zu-ho{SC|};G(;6?!7Fh=dr`)r0>2v#o|;Src_Kc+5y z^VUTcakqaSmA_PLIJfVgHotY(_}Ldi^4JYD8$|#|2xQ=Fgxc24TQ#r9-F7PPYs6NY zcN~&7Iz-$&Y;I6$))e~12FAzy4nS(32g%Z2()3x--mT-8C$_O4EU-ae5hJp#SS-J4 zt+>92)L+2oYR!tnJL>R6Du1nYMB^ggQ6P~Y+?adZe$h_H0yp_WP8xUCHRoa`#4X4% z`W)DIzwz#8e6Y_l`oq~rKN9lQ`tf9q{)zK4h2inUWsX$e{@bPif@H@&=ds6_QV#1= zE6(LSw*9(&k%7i=?-Z>_u6gB#VtcAm>N8^YaUW9=q)d!Q9L6k)_jQ)t^-1tfT6XG4 z^BGiB%VOE<7SsXFDk{r*r=03=~i}ms0xYqampMfqG+oFg1p^jGWs^%c6aK zqJx9a%$IVA@EH@4g8DeOC;7Qu80G4nlVIL}`=m#ne@dhyk6Xv!fNtg_)Lv znZXq8$J9ZtRDXSzhP4Bom+jiJl(2FsZzCLOv0ryR9I0gL)o6Ov>A?ae=`dR1cpI=2 zc7UBYZAQu+#)mBdhz-=4M`Am$`#z2GVwJy7NYr1Mx4L)*!`jJTSYfGMu(?&4S)Q&c z|6J)YGTJ)6o;~7&dFiOebjEFseRp8jl4F?bbU$5t3Q6No)#YM)l4V1TQajY${Ni+y zt$HfJfK;L1uV@NB(a>w=ERnbH9oM6qL$b&B z(XSLP8PTI_C`q+x(N}nYXR+lPF#&iSSBO1SkXJ9FRsL=kEV?kxz(GNy_sMx$JJ^X$mk%%VKD|`{^u8T zO@8W?o9xX%b=yNZaYi|z50uMzm0MY+X;s=ks^J{d%U)>DYISj6|B66>y|F#7u&Idr zA17~1e$&8py2>{gqE4O1vE*{ej>Y}9XJPVeVN$;$+jq2sR4%vLn?cu=CC}v~r9=q2 zIoT|`nm^`N3&)uGjQd0(q-$!g>*vsVV>a`^&lCMB>Ykr@`nGZjSWiXY)pEkZ4hn(v!&uxc*uUq4 zqiL4jk4~e;aZL_OL#<0G>2%WrLlqn3#G=~3e9gofBa)7ZMVAZL1&afSswoDmWs?-@ zeV~s&Ye#jeDpd!fnZ@C^8HiS1k90RtEwT23aj-EdLoIs0IrG}Ji4G+0?sn8W(dr2U zm@zI}@|i`pE8Unw`t?R)wK>&YTG(!Awr<16RNa=- z>~7c!S=H5{0NwPT@fL3QZ#8L`K{}c3NWj!JcQ!*}^+`o@(73!ra|aTo(}D#cC&wLM zuUsESUS9fa!V^-8$D>%_5Aje%!6`dp@wlj}QwI_hbln$lyMiXjZ_d1e(sT4+JB=SF zr#fLrOI;9E_$_xR9ex{XY8ajp=1nu>W869Q-<@+rrBaQ2?Yo#EX?x6>nt(1z!Sq!h zwfM*py=YoNHzlVnnK7aR;JlQZY|1v@p*61r*pAu3dTNtrNZ!;HJCHu+zJXx>S5+%5 z9%JbiIQnd3e*g{rwmn*ZR~`V=OXgt(ipuFfy+4F!%CSJ)x4EK-1DXAc*8%;b@$R~O zIsAq&*%xSY4!|~tIYAAegT`4sLXT-bRnGq8rFY{6_xd06pcRifk<0mM!e&cn1I7Gn zk&KBSYQax4uNT7#nao2^(E)+3JQoDPr4c@t+8^H+)<+FAMJ*gZ^LC16UhH@D!*sCb zdo~L z+h+S+b#0OnWEMo5V)KvXN@HzUK{=_{k^SQGikMBeIhu?X6>A>F`A|?n>QJfM7$C02 zwwNJYjso8%sR>C8hb)_Ltqwe`Qn|oYn~c+^67r@GK2HS^<-IMIprFKzp#JLL;~iB) z&>w{RYvsUi6X~FjK@v!kQ zu(H#zveM8YuqZj2OPab_kkLx=v$L{uv+}V2-z=>N3W&W>Y8>pmQsPolyu4x(;u4a4 ztQ@S8QmpKfY&_EJlHxq9oWf*+|KBWz2w&7#2P-!K*_UzF|C$mYRfaWy_y{}vXktUk z^G}+2%@(CXL-QA(Nq5WNVl=J#Oew8;D4B7zp@dWko*1ss3E0#WR9YyK)smQ;Od6(W z?F={(pBD!dhN;O5%VtwkQc2Kl&O@t3S}Vv$3QT82}}dZ5R%(LDFL9HO#3Zog0&5!OROhYOn+# z4&WcUSpZuDUz4tSEU_N5BvDRCB)uL{I)1kg35b|MK|lQ+G1D=7m+~?{01yHghGy0O z0CWR<41h`x&P~EiDE*i_lxwD(?~Cd?oNLZa9{n6UjBD_mO7ncG(gGnZ`A$eVGM$m7 zbR@8tfE0i)JWF5<01?n&g`sGncV2iw-33)T3&E+Y51u~z*Aa0S+X-9ggPy52=nQZV zPzvSPfmw6lELmX8kXR2{67|BI0F6?V>_g~C0#jt}Llt&#^a!)Ql-8;X+=~`5YJ=AS zH)U8K z!CI6^q9_;adO@tH2!L?_g1Zay8iHPYqOpQRlP2e8G>wvH!KTn{)COsxVetnpSgZ()Otp!w|o8q0`F9Kcz{DS)F^+V(^S#L+{wrnTBGE5g1J6gvc0zU60@p!o`Z9 z5vhMDw8BJ~kj=$x+k|o%m}1$kWK9^j3@mn2jgq zuzhXh?8z}jRJHzBh_E;%87n>cCvVo<=J$faVkYr(c#~mHe;MsLM5S2wh=$N+&fLT? zEycY-hild9I8bB`S)8CsCeakC9^<^WlCem3d(Rp-Duo`JM=ou5q zWiWdwPDlWCk*+8r`X&@73VN=16Vx$kk%g!>S`CCx5Di zz}sd14sa(fEsBULwp#w_w}^q9JqXdV19l)#q?TkV35OZgY0b1|K(EZ9!u+Ewpz79X z?fXM5N_lU;W*JI!k!#$c$U9+f?5napRxLl5if^D^slR9(2DQM1>&2mn@j|oLr7S_j zwep|+f*+gvvIN66!%495_p$S{0k^&Hp$?*a0`#j%=twJC}ua3W~2{<*qUgyw9CBAI3t4V!s5UH~)9N zM?k8e>bDK<&s<}APBgG)MPEGNffzWJSR8bIfI5v#0eUD7mV^8{xJNL*Dyj$gQq?ZL z^rVRhprOE2HN6?EyK!-^38PX%OJT!O>uBQxgERtIKU6dG*4^0ur zUs>vjMg)EOWA!g>l`k>$smgF4JR-G7*9lz#wWi?-UxASu(Tr}|v_32F(J;6A@D?KB z7wItq!Q>5nMw7`2Rjw!ej8s}3xX8zoUs9V4*2&;u$_8XY4TTT!E} z7L!hiR%2Mg9h4O)&)?i}L}iq`DLZc8KrM`3=eGPikQ*xh1b^Q`O{ZYMiJ5byFS)ZX zQ6m>D1()TehtI<^Q)c7>E%MA>;`AX8w|ySfte3$+6q!`zmX@ zLEe|)CGJ=R$I10Vvlz_MeX*!*(U#cF>c|#AyEegbqt=|sT;%X6jiE1yM|f=L@JrOi zqWyc{e*ZNO2EFJvXsMS`4N=aBLr7pUkkN{&N(A-ul7=3Bvz zbi2vWh(;gP(lKcQH>uJJX#$3e$7u&7>OZN*(_RMyr5VzEAFSiFm>%zCI6Lg0-yGtW z7<+FZ}JC&ofU-41%}VahH0(?gzHptcF;+YG%{0Nd+rsTNbOQ z8Wb>maFBU?v~Gc!!QzcsEZsFpjwSuC1khSOH$l>T4BZb!(%y*cEnM_EPfvsd*i3I` zDbidx0bF(8NBdvvY_as7y2awYAp)P;qy-q?M$4^sr{(bjPy(*sksO!?7{tPj{b>fy zYVfz-%){?~BK3A=@1mlzza5x{1KrHMj>N+~TiM@^Mv;J@o%y>V=j(XSpJS?aQ)s!9 zs;!xY*M8wkEl9rG(=#7h;kD`PM0z7L*_%}SZ#v!Wglg!V;OnDn0ohWo^o+3#=UN*7&qn|V zb#9{3MA`zE_SI5Kt$)#uX2Zwr>tR;5%j*lj&(ZjopJwvcfj1ebY=_a`h9iyV#q!&CA8Y U5`l-4jgOlbfr?5>MH=D%05hkMQvd(} delta 60990 zcmZ6RQ*T5a$F{AG?fGW@xtY0p)?T#=>%G`- z?W*A}ri~V+dMi{Qqoc*TDt{l?7?eB;bwdtogQ1yU=G}#^F1w3@@2-i0-lgqxcR3c7 zS6B+q+=XTuQwcS8&2e@OJvozgRdfS-joQyYWIVUzdp?^TJB7?oa`a(wJD|@NC3VMr zr4uHWEz++0*_wC54R0$npkT9CWKpfx6j6kA@!d;@wPzl1ryKumXYBHvzr#REgd!qb zZ6G0>)uf&3g1@7^^k=BwN?1re-z%5z@@ZwTZScL2u5_ZOkUp;>579s{8*c7H)%jGHX z5t&Om<%fclL{BKpsZ@MP26PI6v0 zDQY9id~Py<$PUK77tfF@!Knk++X4%PzsGCuw_JXDdD@Rx#2df-mib+V#oAAVTQB~y zKi`X_A(kRvxgR^on_PUEX=C4xB9&L)CU{@X0y-&Bfe+&}9o$t~#4Lf&!d9R;&6@FQ z?|AbCR(a!?HY0OIbT$y4ciLMzv({R^XcVfZkG_;E zblO$b8bEjw7;QLcIYxNw=`mdJYkO)fEeYAb`+mdTRKiHA|7!m#cs^K@NuH5~MGDz` zg%`7zXpArY5A|72>?21fyY?zNEn{X+fwAtfV$t?1gzlV4U&4z`gNhfa6*9 z&8y&i)i9#dU@YMDu7dPLQ7+6dDa5Ff41-Xlh?H4i{_N`O^L-&ql_~v@_`c&*2;!yD_XD2ybx&8fDZF&MP@>Y0BTLxF3&Np5lwq$i@9xy(8`aLO2*;&W0E@d(h8 z5QA<4q!P4Hh49E4c+8X@+AYM%`SbYvtWQRBnWKlhRO zlYe7ougPCn2e#}C7wAIKx;T#F0oFNU{+N;wxSY&I?>hP_nWQuE= zlf9O>;i^tEJC11ylTApMdmUM{zcpD)7cAV@i*}9>lY)Vc4Ok(@Y7@WAVhwj%DweX* zUC#YWbrSym313+N(~vns5jzG-bG=#m>rHaS71l{Kf!6lz*fof-o@SEPQZszDA+rwh z=~y;wUx8TcIVgFM!?ha=mkzV7WRKdp`M~S31ngqs@HB_T?3Po3FKM>b4h^TJl8IHg z1tt2Kfhr#Z*O6eAcFl;lBwM*SZLxXU49rV0q`h>!H&_iKU0wt-wFn~!g*A1J6-epZ z`A+KWh&D&FnwWdb);vKQKhRAM>7igB=O6R=f0F_di!D+TH0~w4n*UyBx`(7wt{eW_ zm3+=cD|z51!%qm0cAoGuwyC*5w`NBzmaFc5mN(h+_4EXATp-6C<#chGYR#uV{)G#M zc3r3bSg37`LtRyQLoU0g?w&tf4OcsB1p5 z=fc;m@Whj2PYeIzJ6;o}r?YP8EB|!66mMdI06eFCzn#3$k_=ql1fF@9?_z_*)V~k; z0`VJadVakQriVf}8tQxPnRTTS3vgog%FOCK?4kF*D|> zBEfhc(s;s={E>V*Eby8@tbRQmGBMV73+++KBeP}WQOO^@E2gPlrtQ@4L$N7cc`9K} zVcP4%Rpp_lvz1}xOW}wj@tm#a_1kN6iblkF!QQ{z6d1N)rULjwJMRYIpiZR7^@g9JRVk6 zIbw^Hot3Nc=^8Lq15aT(k$%;w@ZLpLz9*=aaYsU;P) zqW|cbra=d4-R=!Z2I~)IzAmW-nhO`q<3_~QP%U<(=VN*h#qQ!e^e!Vyd>rf4%kwhj zlE=ug39Fu*JEXqo-Bs%O{g!Q?Pwym(R?$bW7zyarSPY<*6{|eEd*9zp+;dq`%j`p^ zz(;%GF1&bzmKYLA15K>^l-~pN0WSL8gj&T_CPh7LvWaNRTqovlwxf9}fH&9C6+AKH zYslwR12ghvjQD5+6~q9v8XD5HucxO28g{(k-u(F$X0)#-M_~dKgiH*?0+ObO=CGdK1EpNNQeZ4Vfp>7E0xK;iq(aY((lhqQrbVWrZ$?x*hC?$K0Y6<@)# z+q6*)Vih03qyG>51TSx!M;C}y{vU`Nw)XR^-8ZLbZa_!Vdu9vl;73JH!0!Ntp! z%63l&%u#UL;6@$2e!~>>sK`p`&*}TEbS^09iLugA%I8d}a~y^uQ$#3G(1QT@Wi97! zKPrb2%h5t9z8mx6(*AOtBHAw~+Fw0)KX$sNKn=iR5R+u(L&%JQLKiF2sX-@JwCsPs zIm-N7&(0D{J~fI~$|$(}=);vDi$0yva>R2Fly*4LgXQ}Xhd7=4f@nP!9%byu19MAfnz1+NsI>(j5mkpnO!eCDBb`F9K{}|hKTWAW( zCzlQxI1%I}%8N@P*o>ee*PK)}KhprqGlEi@Q8SMV(aU{25cp&Dzki73C_LD&GSr%B~+&77oRW=A1ubZ3Q zU`5=kwoOq+tC44gEU-47NY0hCu3h>Uqm9C=_3y?t;3DMj9>3tV1r5Qadvex?Zmif3 zd zbygD?(T6klNZCLX6x@wBnQ;_xuy8v@qCb-gjY_uqT&iN5YnsmH9|kz%M$u$|ry!uY zyih({w5)6t+%Islh5^PXRs(=RbCfya3#<9wy*+W>^4kEkJ%m@B#HhCFZ3&wYEUhc! zYc`b&qlzj0qyQ%fU#Df8o|5PTo%K#QZqZcmrFoor!2qNolpyNykEzx#MCq-M9pkAPmficEHVnLwXxQDqF701MMPF)~U*H{Inyuc(IGv9yF z6QbiVBV;#lxq09UM!;yiYHwCp?okQq(;cUgKNVw~JH}MrusQKa&$ja{{9R3~>2~l( zd|V83E1FfR6N1LUs${`dbGk+wUt4J+OX{*2>D~yO4}-)tEyniKwocUXfES&51T7 zX=9FE1fA(Yb7-I4-^>8`Jrh)Y$4O&t zn^r%zI*CB}>?h5!9=`yj=@6})^?^6jt_sLp4z%uZsg|g_-wmxs5Qt_5{fdvDJn$zu zTsKFx?8J;Yr5^FnyATKc*{k}yJB_lp?xI(xkg#x8WGfksd$;H0xtmXW$uUq|vuKlA zyqe|6p24^nK2_;(x36JK(@!TADgcBM>ZRhZlpd}qz|udtc^s$t zFbMn$v*qr~PIGu3l7$U^G}pNLuala!mO*S-KJP zF93SYG^WL+g=*3Lb*==+&qEH5l(o}3s}<1v>Hg-WSGNv#&myEB+}d%fn2a0ch;C7l zNPBU9U`KONGwG+1e-_>yDc@^McTl-$;SyE6uCS@ zp_EnYqiAu^E`jRfxqg6)@`GfcV6#X_r&?&6u=hS>8vDDN!>yB>EL3I(=0BrSyn6c; zLGE9tF#QSJJ<@jjA$@N`Fa({b!p@DE=~R5`G2G#qv5|&UP3F6ez;-Dyd2L+55&un| zkPx??lPM3xus5a1KI=(4Cz`QdG5;+$xCk45Ozob}WQV&n!^$M|=XAnx4z6nnPG(&g z^plv@u?PlamIRJ+65pcc*MBn~RJ%?qKKQl?g%)5zT(7~1N4f*$+L_SbOQN_=h2$tT z=qo1SH5aGPjP~b(Y8{Ki;=aRXrMFI-hpg!iS`mZaw;)~V61+ReCyWYmWJT+LW+DwsawZTs*G1~G zosi;>pcq_85g&CWq$V}@=kGTRFVo%F|5%PL1~@kejTV9q)P?~r2$il(l3oRR#Q*`w%^WRfM?3`^ajZ!g0*_ z+m+mcC;n}FROa@r8bpNEy0+ow;PM&=z`TrXsB2zpjC$~^^@9~Z+wNVDby){z!p+Bd zwnhb4D2yepcBl~-g>Bd+JJ%i3=EMGm%~X^ojmN&Ypuq@b2{tFB#V}1HUS{ao=+a%_ zl3z@}&0Vr@KaflQoW3vawu5VXZc!h6CiDA>lGOHm4xCHx92XNOU%I~>KRIF^C|gu+ znv2l&RDs+4loF9T$!r5jTtn)>1)s*5_3z$cA|6mH$bgtADo|8UxO&mFIO8IIgGl21wC))VZdIZ7;R*@CMZm2vMIMwd+FqwtuKKz zqDbOMGnyg4F)U$~SPN#zYYOvPX0#$1bil+6l)`kk6|=9$ShIT~n8cGVV{cFsq-u40 zFy>M zEqazMV1YpDKB-BN(LHKG`}ksG3(mM`2=0lx+^4*nyS7Mi`CUk*}?!@u&_n=4wArdFmOh9^x2S`s7+3S zVJyo^5$Y5?WpDJ^7`jlC3Ry`-giN!i3D1l|sARYfK@O2+HMi52@TA|9?C$=86;aFj zwKz%rFSH2;@+>TMP>ZB_k$|g$4DCwP0Jp_OtO*1gTSu)Y7Z1D?0o)hLe5mRP0R1Yr zwzceaoQ=`5oZu)7W2n2cqZjTEt&6dwbFS2h7Pl@eeJD&=Mw_($u;X?^Y#q;%s#jhG zS)`DdO^#M0MDYoaX`e8A1x@YTNRv_*}HeN7tUog#&&?;EhJNus+w3 zBe1S^jeM;|+GJqz@JI5T6qGJMoOSTQf>ttF5S}-oc??{ku={^!YZND=kSvr>4s;{Q zc*mfy#M3jGh8Bc^1SdJ3fB3j7VO9%1w}F7M7VzA);h*t^#fnM8e%l zhUN^J*rLw@LLdhcGZtv+TbT49f6MWXjyeZNu-Y<1DjzHha`f(jl&t!T&`)8A&s3e# z$7?KuD)}6>e)i7?(X@%6wQG&c0$!6Z}#71u$Relk52?C|3r-uyo3^s-XVp;~~L`A(1grTS_?(CgN>#|+^9h6XI zpsz-t;&p0+Mi;^}!(~FOw>6w{p z$DOXW5r)Fi@|pS9qem5#vqu(PU*sDa(Kes99-lT9CHh`v<|`+W&F=P|odl;=ePH|7 z?d1|rt4L|Q(4ngCAW#!x`x7W9YpGKS9TIx_dg1{jXLT-?N*Ml*zQ8CLOjoNkSr()ck4-tmVC;noU9WeX+Wfb!C-;19Qs{kW<(J|+~d)eH+O*nkPP||{c zRcHkK<17l%@A1d){kf5t4rXhfLzeN@9+X9wdTS1KHYyM0NZk;G2#;DdNCq0BZqqgC zu7NSR&30$h^!_P37gysJlS9=|1=ae{dPqhJw8w9B&0FVq;wr5AlN>K|f29wlD`8u! zku%a$)&gl3f>j(6MOp*lfZTJ~c*_`th{RunB|WuD=qh3B=#Y>@m0Tz$!}%h})tt04 zg_;|y2+%VXnhbz3r|HLPE70{!KtY`S#B=o7s261{51diz_1{EQsKVVONhD~g+Md1# zR>qDZH59c#@RNH>8e8}Dhs8k}Ml==~fYBEzY)NLYuX*GvP1z$1;fqYZg`0dfH+8Y- z;3t02Q-hynzd?QBib=J?H^!XeIb;-KL1E475d6vWudgTZWf)-;^N@Q5w8k;G31zVS zm@Ngx`}Etquu>wzW)*IX$v~NY-Z{De87oVI5=^LoG$ruXP?Tefl>Zec$RCxMav+;5 zG2X&rFV$NMQ=M}+dFm2z-=$+fHxQeVei@cF^oI!-nGk20V-jd0^nRiI_+(`!;d0H{k$ZfxY06~b z?Q9MR(YKnU)jCfEUW`Pda>?YQ>{CQXM`i}~3rrP7({dBXGA&Ib?Hi`l&BU%XjRAZb zjWk@B&bK zw0Ga&)i{Jmttk88c8K8OAipbcd`QKQW7gKJD{vxo()wqy)VR|NBlK}PvrMt@k*&0> zIO8n)w5$1#?`yOh^*_r1BP24#$hsPxk15r8uJLmq-eocMM323Sb7wXpCM8>Y@U$ z0hJwT-0$kDPgb;zdy>W|DRc)?#~xkDIZ|eS7O~5*W2w~Qr1H$g(y0_9eO0c!+VW$F zOYh)ZZdvjl(Ccv?kL}z@WcC|!IZY^8K*yf$JRY}9uUs^CgwsXGESzc@rN{fcJFI-M zeZIaeE%B^q_ZqW_#wo87qe<&zD;-}{19?Oi#sJ&h*{bA??srCs27`aYW+nTcmkvj( zzYWwB2p^*+sTI-5Ft*Ftu_+I-3e{~1H%rEH@XXVsR~F)Ap7nPxJ|ao6jv z;VC8?Z8`>Mhw`BBiN7(gW7fNQST;Hd!CJ2(^Bl-_YB*ze`z>vx8H19-`=RoCdKpf< zj_q#yC&7sUP@cD&g6tHIYD#KA;O+H*;6(NCoP18zO}RGE>75tBBvqOM<^ei$wvg0& z9RpFGEaHzE^b1mn=^8);1FW=wdrL{9+4JALKkyyLw2R9ZcJy>gfdMHoYyxiKEMEe3xtgE3T6UA>|rnnl0dxSW! zVM}VfDd_9SdY5rq3%P52AO{g+g|mE|YxB9|Lpd|D;)!SiKG}(#r%4+1oS01l9Ur>9rJS(?YW0}^QpVwPPfs~1wk?Pt9^dm@m7_a zLf4A_0xa9OA8z+toiU7a07oh#A9PWCBg=0u=xg)<(WYlAY%O0fpn|jrlxeuhzW_ts zKf_EF;~X430%`IcJ5725L&o{loW4*03QUoACstsiWO^g4Mmc>I%<+T1pp9-`2AfEA za)+Qz22xPKj{7R)0R2(2x0UMIZ+H~!O;_Pi)CvIG6#@)B`6S%HXYGA(Leo;p3l-Q8qxKvMovv*9|Nx z60AS01m$EUX~f2L{75eTo>nQkWI%$nWQxu-*Y63a{R0OaxF0jberh!Wj>TY=aRLa* z;|kza5LuV!RSU^GPziYaglQ`Rk5LEw_r!!Z1cmId)~vEO#Vl6n($J3vKPHFSl?gtO ziULxn*_TDNyd+*8>)?*DL75&rHKmKNDM1>Gb zViLNo`zcEgJ>A5U?wWO(EkCYmOBY)MarR06k)eZ8V3ePAB!c{S(agXGZPb|}<7c0c z`0sRg!T!I{KS=vGIpHdUU??f%7~k+!uQ+vqtL|h?XX3s;euiipWrRqDgdyof8@hpL zEn$%z?5VAx{q*;(?s(eAl&E6ei5ar=r*#-VzW(TMV%xFm2-w>QJ51RS9r7UusfHn2 zOOF&80|!DTS5@KD3bT-vt3qw?NGqW1*=28>hQV68B7X}~ODP}6$WC z!}*cm-jJ1u0?Z12yb6~fl4hb#3qs*rO6+(G8kUANaze_zC1J*X(lWG`)ZYKL7%&}) zqi?$XVRc=XY?Z!L=VPQRm4-N=Wr4-k5VKn6rfXtY>$o1!t=OJNx1&k0DP88-QH4O+ z5>ekEmF%g#(fNyUAk-rH+C4zLk2<=qpQVF*_)LE6krOK-VNz4lV~VLXWAJ4^$>)Vp z=Iwmoqy90qBePW}ZL$Ky&j=vpu8ecvQ)?eMKvo!>D2RaMLMEydK1uPGSb3dYLJI@VH(`Ym5>O8 zLb0-x!D+T$m@fW318E`NA`yRBZ(2@!rJwKw;BX%p<>WHP#}qFUe?EPkn20pHyha8O zB;nsd(-W=957)y)_>f4)s6wPdKN~~8$|8P1>f@X(%+o_#TeyZTd*UwJjJ)X$CyyWk zF@uB0hs@=nD7;5x(qgP)D5G;_q4dKZlZ>}G$qeO9{ZxM`&_x@fx%@nVIt1dST?tbQ zWa5;Hxx_Cc&Ft<)^$B#?4$`t2qe2E zcgYqOk^g_G(kHzmdCuWMm$QejRYD@QZZk5sWq-d#y_+|Z zv0D2{i3TQDe;zVoCt?T%bZxQEs^W(E#e=!T(OOHx4GEhIE4uz-jrfBO%c-s%bwQNm zyPjo=i6`Rv!+GrX->FSVuTA3F9~O(?v9La1OM6%>4Se#_*nw^wc6af|f-PDV>4Mtk zQg~bF4$htXb)WFO5W#ckZ`gS*=t-Q0d3>-4R_Zev~J!EStiVG@1INoMKF1i5@aHKA2`Iy@Pq))Uy@4v$s6^Z?<<5X>YA9dGP8VV3h zh^;6r0)&B;NwE!yIUFwx7rqt(k&knY#(f}n+&UI>8Fc9i|rbS{PPh{2>BESa&{BTOztvdU8 zLlwVE7C?kLkgjT-_kVgbTdG8q^dUweM~5XQ&2{}VI?QmXMnklcaJ?;6^q&JV0@<(x zNdope6ge#BOhDznfN&+qe;e$;dM6Y@Ns|e3(`Z(-{M~n0r-zYZK6=*Q3{;-dKPHNp zt9)E6zvX)=kgl6|?SC%$KMxtrFjN(J;z)sf+Fe_{<^71twzkNdFRN)|;?J1odRLx` zl1%A^=ce-hII89Cv?pj9Y+Q%_jE?zHTd&M|=@ItOm;VQ6~0 zC>1Yc7qn|~%LOd`dQ*(Rm)008YX%{(0|-zFB}CGF(b%CA7r&YN*YrpI$E@+xXyd|&nLwTM z@rZwh1H`HIbmM7hfRD3PvYA~LF!V~eIzIfL%U~v!a0`+Ds#}Ja(%#Jy5Akhv!wd2s zF&1r11d=90gkRKyW?EXb^;PzvIBKA$A~#XR<+DtL#Z|u3+7M#h+D=6q6jO=OYH9CJ z>SkfBlhY6Z-nWkGi}$tGH{2JYH-x71ff_yToIiYI+ko$tL4NWk2pK3$pzXAF!urS- zQhixtZy{_gekas(_9-*na?4U<&Na#P6=Is5QwW$*x*hA}Cq%&HC!_lfDo4sGb~t3? z&|w#K{q0qzF>_601ETmoWHx5 zVvM3ivF)uAD;h*Kbgf8=-b=E{>9@0JirB(o3UH9^rB{kqTA3R$V2RIZa0zE5+<6@1 zvWx0xEgL1$;xXp{;>SE=>Jx zAvoS&9%7J+6}oUdaWhB+CjnXCFsVsi@~yf;fK_M`?j3u7h7qli1&<5tn-fZ=nEk$BvO#j63e62_m zY_|1{aaXTt30nbq(g#iMl&luDT4Tc0Hvxcw9=#v6Ebj(NGH_)bMwH>(2&l43M}#lFDbwO zh>#iCH3AE^pwJ&VJ7FR?*XpOZk^|I$3rj7U(NU((koR|BcyP940CJc(X{>e81S(xo z$z8amPZC$zgW`&rvacu;QmwM4g2;CBgC5gwrU2NN6z%})GtFyjCHaJx!ue_V!wYD1 zc23}=KJ5utgCxA`(k7&DL;;L@=ERns%XZKses;Hg^}0*;VGVcUgy-6RQEi{DXmZ4V ztw(scVm`lY3InPIm6^!%X8$ka--29|K4u9I-h#z=L>xWTM@IpFEp0hx=6#YHM!y<8 z=plM2qjy{zj?(@_OGT=b5fJ%SX0H+x7c>BW`X5HDRbwOLKZ}&uG+&8V-x0UD^GCaD zht6|&`S`^1*AH^7lkbzrHNxwnlGye5#w$&rhTC_2!QVU6$EuD?Hk+iUQI({y=Xx4e zp2Fl*cy^}cXiiv)HR?As1!3vB!Z*U8)wz4pzo$j0B}1|NaOp5|o0Z4Xme#MfXeI() zcjBHl_BtD-Pv4gLcPh}>qd_N7p0Lp8zp1Y{FdDT4>IcwHoH6aeJ0WV9IJo>}pL-Wt z33_z+-p{l7yZ)=4No?Y59g7O}Od?!goPKS)`=W1;C9!D4uC|nEZ|rjUO<}K7ZNF;g zNlneZRXX4=%BKEWgNByJsOfn;#M1>3^w|{b{OY2xaut7TueFtdc;dj=|6%y}S;$}7 z(N9vIb@gG@FKANu;#gppW)pAJn=tFRA#A3YI@-j9xzm&DRa%PHz18zzuvmJZABbZR zm6#pz+#Prw;Ol!%>%%o8QoMnGEmiyH%&x)in%?f$=g;^Qzpl{m$nE(N{q<8Ir9+Z( z_w&R3$cLgxUgLs}dGF+rOxAd3vsK^#w8Qt^l=AaYjwVx`Qs-pDiA(h_{?18Yy9aUS zEM?2Kp>QsgS!&)_sdvCO10S{LrSxw8$CVihCiba$CBfdP44oh&&e(qe-N% z#o}Y@xjq@&Hk<8|ffU2nEOci4`0(ByJeo7^wW1CWPX&(u~yT9F}f!lX+mx&C}U(RoYp8 z>{CJ$qSs=4_8QKCVtU;Jn84&fq6rsDO4W*YsaoUK-G7L%xEk2DuBZSgU`faE3TWfl z_1UO((M!mo!rcj4DPLlSQVutdzX5I1Ow+CSI)Dfm@OMz5F#sQO`2kX^wbvMMgA9HI zs&@nsKu9VWw@y0(Hc`RTLDfJ2Aw-*bLhCpXu!&4^WM>antPm?M35UmAFKwVbVlX;m z$U_#v`HhoN{NmL*oB%*YCmqi-k+QRmA)#=Lxo+E^a5Oh-*;CkvyBD7NhGA2(QfYns z1<*$V9{{P<{r)M3&01!7k~=q;V?kVeEZPdOHZJ?U$@>52q4gbe~y+fPetV z$udJewVG0?hwt_Nb?j3{krHnl5^e0&Vt}1eJ^623q2k@4f0kg55I>cz)`fA7hf)4C zoki1i%u|PO9tIy!pS$G<*>t6 z^%AHI6bAa=J-&`rV<3i=!d=1j!&Wou)~Muv=29zoKk>?;P5rnVc`%Sr304=|>rk9l z&d)Ci9kxgwb_wR4{Y5kP`nyUjRzn`YQ?sS! z<96_(mgN{{`Sm|kN4WxeHOf+O#>PHD+906bA#T5dl4}UsV9GvZMIWZL;jud?7iVdJ3L_OIA5a3+Z@!T0906rl92&_K0T9Y?y2nTt z%PB7-*Z?MPVC>?X{7O(=`Kfh+eW1M-fV}Zp%{uPk>Y9}+$Q4KIf~ohBpyu8G6*4tH zqw$Pk#Io$!nY$Y&@~PvdtQI514nkxOTl+R7bIbE5q4;^SA{8KiYp+owb{x*BULNPJ zq=YZKWi6TcXw%!*uDiL(a%;2yRhJ^hLeqXP>JIcuC&5rf9PqSm_0{WQ!qzXwI&SG{ z_AS`hD4W_aGyL(}Xz5c%_iu_-OJo3h=A5vuW~YP_^1WcGdtdu|B5SEwYrBc8ZGIA_ z1>}aNAdDDE@9=#8F5yG3M~CrHw1o|~zM&rdz3myUTKYBP=a-tFp*`V3SMr2I;t8GQ zQWekx1vG5=$bYT7j#<|t^@o<98#iYIzo~L3u*tTL$&i;yAg(>3!G75vybOtQx{2wI zx#0H`JEzidW^o+R==fBNZB4x~{~FNHe&4|2u*JY5q^U|6%Y0aP1b%eY5QY4Qt@|4f z%H8*wSXc;J^y-C}e}N533elNZh_2JM7yvkz_e5&G{_Kl-!LNL4zwTF0&^;R1+Aq#U zgvUVNDDf|_$&isVUdgSUsh^vUzw@Lf`8mvd!-7~TJDt&1OWaKy1DrOO{xgg{1Tqsk z2GX-lFdk7fX|ip5vUVku7V7$h3GBIg?YihEeZ2`|$(>JjM(zze zYhxh$iSAuUYG$o1wIJv5V^T-nDt4W>s`_$-x17#Y!zgXF29R8>@Ao;;Vk2WxE#??y ze^^K6Z_XI!+!pIhitXp{No;?wU=CD&Am44$hveld&YsW&ZF-oXKl`iFq>ON zV8SMMU8_ZBHjl&YJomFDovq+55@~`;CBy|58B$n^nrPurR4GR&i(@5}JUg%$YRFDZ zMWF(UP%dup)y$R@wJ?hdrFJEJyT}V8BRO=r=s;*mfXxWXbQ7gjcW;x{?|ng2m7b!hHl)X9Efm}UjkV{7Z#?6 zHUmVWku+Ch&IXDcyDTcjEw@0a2P{&k?LL>YS<5>gd1rq#(GfSrHH&g8-n=6V8|_&* z3v&`&Pcc8;AKGAAQ;!IPkjQ|Z1|;+1pU=x(Kts^P@pDT~3$riH!X9?d+*Tf$J4JVX z!r)axDDUoW0??`{Ut}42@Nu|mYqi=d6&Wb*3fXGCL+}hY#?w{=vIepStXwy@2gT14 zn=TFU7(hV%ak`Yqqk{f7pOeckV~`ZA@m=iE&k`ps)b^6T*X}(1QKNIB*{P=k_xZMjoojgpFud8vmcr$61iz}%Re>xaHGyrC0H`OQlH}Ug z3fmIGt3|42O+vd=3`Esqy4Tx@;8y8#a$LIpzn&;zBCX>m*p zU%q4)pV`n~H1~e#S>gRrOi&l+87=DXYE6`asEi*f`auf4!Sm~jWNF?y_hD8N0MHFx zdGuD@5%|q+q9G>ZAiAw1XeYq?@*8Op(tWO*+&i%(OFG;wDL4*EbSKC?ynfbq&cl`X z{l+IKG-znh=Pz(b@F#0xL%N1C+pbcrgb79!=Jt6r##r|v^xqrT>#;p)3Ze@vlY%I8 z2}U!W&CN{6ZLW^`2IfZVI+A}%b|F)J>K&YHS(6S4)U%aSWaM-T1tY7>M!cQdLNMla zpP6IKZGmE_6;Kt45XHI(C{LpoKXiju`X-KvtB8{OI5z4wD;qe885d%LvvMMoscU~!(U@~?wRQ^?aBGMNJ*6H){YD)^&{4PI(8Idm5+ z@ZpiM+y2EMjGpc&Q;C8SZYEC@w_EY+tF9zd!ITCGNaRzgn+jWLOIS}i`;j^#3I4%4 znq+~0yqW;@P+|TsDkwEx2hk&_m5qnM`TK7IV*mDOnu|mCVdFO`Qsnduq>xKn=$M=l zbiBpb!A~&sfGA2yR?#+8z8L_27>mKE7L8Od-f`*PTXgE~!KU^p=ImMbF6Zn?Ya7Pl zCDixG)(kByz)T0h*2#3skEX#sE<0)R-c(9NFm-@RBpl~p9F~rl`DA@TaS%kTn%i%L zzRibyRO&heU{KBzc}%K2IApTxIbb(@ZqqQ&XuYGNhhnC<|H!)=RM8)NS@QaNDAAuj%U$SLU^{C#dWHPd7|=xjG(e;WL5Ts0B7L^Dc&-uHu>K}Gxcge9SA zkh2F~M5rMw$(8(C0jaHD4)7)v*+s!Z(38vMu@u*>#a)H%iV>#H5uKYSM6YEY)Z53h zi^v@7)7m3WM+CwJ(dxYQv9L+Dg_L?g@9xnL-7mU;o_LtF=M*>*;w=8WyndYS)dvbee3Gv8<( z>NqW7)L;DWINCm~^(9N7G7dUZM_O^|@e3*U&SB9*Q5C@SMHq6tZyS6&hv8*dlDNLn zbPf+1cV9%TJ~A!S>QKB~aoQ-dHQ<9OtB2AuHE3WNei+txW*)e@bh6X%)yc#JbbSIB z=r(ovbdGQ=_L{m7Xb4l6j?}nc3q@o!9b^1or$K@B3?8ivImc`SPzJrU+EX44f<%O! zybK-od`Kj&uS+yb*GFGJuOYaMVb(fCs;n^lLmX!wdQRTv9 z<~-?%@?hu@t6;9A{!dT+pz!Yb!wcZdNFb(gKlc#t2oP~W)^M8^k{uW6eUpsAt%v&J+UM_PIp3M}VX ze!cst$16qeQf03fFFxg&BFcd1syUVN_Z0(Ewvpht1Dl{P+i=TmRuVG=EIlw;zBAQ| z!Q2X##xPLHSUWt!FQC){5#x=xT0scy?Vlshy4YWHn45f3C_J|Yu{V8^#Uk% zsF%R#R1Gjqq>=B_Wlw)p2(|d9oT9gtIuv?k?y)uI>I;VMQ zTbH3!mRnVKH-IXe0g z?Ha*T{|?0fT#3tU(y_KSBj%IYmN8<99XIV5D>d@e_62+B+r^Z8{N zU9QzdLiHL<>9ezi#`{5jIkH8YMu8nd97qaJNExZt?Y5|Wg%2pt@wem2N_wKJWBpkB zEAzZDpP#?#lN4`+Y-pHlXJyHsPf(#zr0*0xZG@~ty%Yf;!z)~O*Vt3lT8vsK!l3aA z&dl@Zd+5ZXr7iZfpxk1|$XgSZ8U}Wyz|lCPLmPpq@oo=g+R|0V@P_BMd;4DJJgJ3B zL^N*h0M$nhR{{J%fS?>PLayh8hi|0HnBuCMTWg5}@%9#TPS;_i#MuNTd-#%iGFm`I zf<4O^O7Yl4S3dpZdUnGij#Ls+hPnX3gPe@tr(oY3Ifkh&nNS+BS-8kLr17y=8sX1h zxfTnx#TODdy1D=e_S6WoGDR(0DK>!L7aoWlF3R4Jw%rX!JU!Tg*ouxJ+alefW#gw7o{Qp^SoJzmeWS7 z0+10MY66jokR2VYTj&K#V4|UJHU#(Arh5`6)D%stJN`VI?n`+ z85u)uR=Uxba@ zp39Nd%>SZ>?uP5rR@7O*HY_*~=z8_P96{zT3Ixsufze8~2B`k;5&@bz0uV#s)TjO* z6$E|^zyX1)0_a-Bjsb?SB*)FRW2H}J${z3yln}w0Df&PCgY9j6YybN$^roZH@jp|| zTmhI-!B;_FUjQNqkQR9>@i$-#9b5?Xfd)Ycq1h?=Kf{>OA@+~~wVxm~G6({I0xC$1 z6Mz8{BZE-KsT7D2YL?ny(g}5Zd`hu^Vwy`p)pe%@Rgpo^0-L#1p6!3yHHBOHb|BeL z-70RmF*;ydTODX)946QVnlcb7l|`5)>?A#eD3|@kgNe3&rR&8ja>IVNku{%N!|kl+Ddh;l3Wu%<;dAm;+ks+ z2USlk8Ceo$cUx-LpU)NUfmY|Ge|-8iQ@=R~N=V&@s17E7pi$du_V1Nk;5a5xJEvsY zz_h{MtZbEJtiU2mNFbh4D(>W?&$}+=`xSRw@RG>S<|O?;&WY<+ zQ0LjAg`VAQ^ZT;$XOg=6%&6Sha)j}DTQ#JMZxVDrw*lQY+L=$Ll+(vjrxI@KlxD80 zdWj}#!DLB)SR{Oa|ZVVTMHL>X4sP{;J^DoRoJdens^50w9jlO6<;J6HykVG$pZ={zXKw%J1ViP2hiQnT@Y8+_ z4aDtlV1Y2X;5R55u5pw#ikDGu@&B(2l^x8F0wldOOOr5A8&e7EkIIeP?5%nk(K(Lf z`*5LuSdkBO)MROPUrVc@G4bhoe^U}129+f?ktG#EwJ}%)vHL!1_XsLX-*b5y0%xT( z*SOuc?YG;Rg_K4;^N^1?6cb-wWg(xM#A#JbIaj4_;V7Y9818ju_$DPiJKh}BQ^JN6 z+KsYKIXVMf=Pa-agl=#k3%YVPxuC3PJSc{L97>qcmbuB6yHoTJw8X!h&$4IPBt0B> zU*=1(Hegrg_Z~b9#B_6)=?xf&9vuTQV~xUH^G3Kk2%^|K8=x?oF)W=CDqW)m%~mgW{B}M6z^x9;smL(}&O?FRvMTeRk<85MX4qFCNE7+@K`KXhB zOxV91LJa<_5rd?48ITeHt1ePE?7B$ZaC(o_U&&g(gGcIyd*Dbtxf!X;my0Zl)Kg`( zW!%n)pRt6$sHR@Z5t3}Z=6(tZerN)Mozq=m9OVUYz3Mh+LGI*i-Itar(>rSKzys;0 zVeCkT+FohkXdrFck}ChMNa!>uA%tIlwqu{~uJpjfcdJnVzdXKkdsl%akTdlLV ze2*l#Q%RWFxmqL7v>d>yZt~UT%GchL?ca%A9~udqA&}s=@RICV>OAea1qS8##+x#^ zwjvQ$^$a*AD^k{PFR2=$9g4U^uwZ+v5XOF#1!W#sE%{pJho#@oYR({VA@B@_lse z#=jz}`n>#Y3|efAC(WT z*Ovh?0~5FUCj;jQAR(1W9otcvniqJM&wL=LiXYzAZyr3;^L8=+7khesbGHF81IQ8q zNSDe(0~!M+q2ZSSF#{8~`a=VT3?9mnNHH~S{D4c21QD>I0cFwxzO-PR4{`nvl}C?o zmjN*Y6SuKY1J(oqvX_We0~`aYofnq@F#{8~x>W-;4Ic?FQ}`k_nYN6j7X^4=D5|Wf z<5TJ;<+05F1t;z$3YU>_0~414<^mK1Gc`3blQHute;nCz+&1!EU%|@5hN{xgybskT zwN7Q7#JSdvYW<-20W-vCSmKal9+u?F$8R^f!DEKB|tWf6TNd$UpGm(crdNHCb8EV9)$dRbEwMyUmI#m=Z=oY(5u7R@2*W+veTr>x<_n z|GqeRbK(GDw&C=IIF=J9#%gC!tM7mTS3+3_Z`dTsV$xo8OB1fBMvOOqu7J%zYwV*NT%6iF{+g{BI0} zQl7E=5!I*V3N0DdyYoA=fy4;VVuAqa7A~!Y$fvi z?sVY?fhn_QBP(o&X1yVw*3hdJy0h3!m6Jk1gLbb*(l~GoRYsA zdh0{h;wC-I=RIC*BsuY=Vu-98>NeSqq5^UoW)>f2@`qpVAg7QPLf)Sj#PtEi0>&Aqc^9X@4)_<(BtW zY5amWDR#RYlnWyr0Ww}Hmupz6SpY*#0j;{m7KO`I1`{-`zuJMFS<)gtC&5UCeLpbQ z5J^GR-N3x1$K9m1Bd(oL`X&q5S)IL;X-Cr(a_}H(^}zzrb>6dxc}AO)e?Yur7A(>A zH0ibr1W!}itAU`$nzIF5e=Gz~Tl~Tc9CHIwzoVuSdtjT_1(;@J-cU~&bOZ)1i>v?| zuXwOrZHnwoE2+EI)~q_bc1_(mW`T|WAjO)vV}US%bLM(_gM>yskx_5j?5)T_Djnt1 zD>$GvdIgsC7xd^?RstJJe``uiK%SpOV3}==5<^D@s(!fWp0~0lcjNoMS?*Z>Mbohk zq`2A$Wlya09VaJ6I7lIZyf85Z+BY@^62R^aIB05Ba@AHfyg5T(@0n>?eBSUJ!gM9M zuWT6`OHp%c1uYG@%QrhObW>HdKzG+qB4WK%^ zDhS9vj5#OiHTghz+taSPBWjV0xIZmI#V;Jy%~rhDG&F+w>-kBq~k!{Vcvn^7fe{IG4VI>q}&+@C|`K&fdV^7f?;|AnsG+?yRY2TCI;0QJBj#pWM zwq~i02U~H?LB;E-!^~i06$DP@ueReCop0v2u_L11W@U@ffC)cnuez3fji1G75QCE zqqdaz$c-$}e3ci1{VAUf1JX({^M-oss@zgb^q9`3eIy|H=VIFF!bHU$c!CU4wPeUk zh9;W5%(HFAG?L~bEwWx!*^VQ)8xYrqBZeC*8Z!Se-QCbDSqyySR6chNqUhL%6DZA_jBbT)X=sj4;VVLyue}BbdC{#XzRP85x1y4V6LyUVZa>iF?;Mx z92mk|e-%SQhu5E6HuB6%jG34-xt8^MHnR=8{A3!BZ(iDr$DYBXh*#`KKEmOqVQQyC z*@&U&x|yK^=lxDr<+R9t>;pN*J@f@{MX{3lJVi%e4(eS@A>sDNwLzH7YEi>cXqn6O zGfmI6)(drB%Ifo(bBb^NRHky2yXN$$W)A^)e?scA2~^t=#nVR?Z?KN&Q{szC%7Zh^ z)QjI81znDU&+x9H%+n7C!k?9j;#~oXE{L>O4b5$-A_%my?T!z#%BPBg;iE$c2TA}_ zhSShl7pKo0PC`7>R>F>JzEWQ1I-+Iw*f0wfQ zgZ8hi@PP~e^7SY94(HgpUwnD&%%{g|D`oNj6?rQkme4+C&4XAq6xBrH7Fl6Dyus){ z8~BG`AoxU@x2X=JFm@_q*t^})(NAT%>c|?IHYv?!bGJZ^aTW_%L2r{b<=jZpX z54QMdJ35~J#h3R>|MDTzew5#Q(1P?T`w1e=`*rgfx8`IYKA)vb=*dfBClllil_` zE6&jZx&0J@40P!s=uj`@8585%7r(o38UTZPu)F**w|vZRK7n@ez;nxotT&g-*AJcZ z?@uhkztq7!=9YhDZpkq&`kSf1V{ZAoa?4(-f1)(00`yN$5kKYD`?j9F@pOa8a>3Jn z?3L%#FP2;{fq`7m{%Ru&fBe`RoAS1i1=aMsk@_mXr58;}&uv#ofjulh%H=H$PDLXK zTsKv_!jF_S_gk!~!j`BRaV1s#ksBvnm6SqHm4nnNB;E}VR~IRL5XN>{@SOfDYCn_< z3e+4ber>53b@GP?UDZ{jegzSA-@XA9+f<_fPXd;8oh@^IC39UNe+E<4=VAcT-8cY< zBM9m^g5?3RXMUGT^(zZ#;w5?F^tECz8t=ucnz7zgRPr)JthdZ_8zny+krivbkxW&` z;H=?SWL|$BI5^Rp@5(x;Ll%bA)72yNqPp z;p~@l91FP%XWD~Qf9BvLI*xo_xyBHacpoN{NdlE+My>E?2l*XU$k4WnvXOhd*!x1S znbD0wJ}d=Q6gheX76AW_vTrvWSep-|%Umo66)~z_3gM(?IKDSLtnKq-F75 zmgCX&=d@H$J+Tc}*JYSgh>sNFr>&w9iVIpr5S!w{#FjgG0wzD&`-K+y4mb48Ws9~7 z;;u9B$MD9de>Z`y_Q85dt`C|tlh8JQq_Wb1rSR`5zA72~8$J4(GQ278!t8MV?2j#& zUNRq4&pq>jJu36@wf}|&ixp*xT@n~h#t((s^$&T+-|#fU8)qcv$DXeCLd{^^$GgPGyTl`DUp?@<#E1Q@_hH{AUap9GI^@E9YN%

RcPT z_5Hzlf7lBmBZ{mbQO98fdl0zn*ns$DM@A)$H5`8ranBxzWBjE*N1}_LzyA4r|9@_Q zuJ|ds;6Hrb^QBwYsiHlc&z|KKSZ5yq}}|Acj6~^E)EOjX3(awySPs4L|g) zzzF~$eFIKt;1e3=`};Ki4;GHP_zGoiWOHzkdV^c^J;=8=~pPqOmsJFn$Sq+%sbjRHj+b8mKcc6MfV9=qevyYfQso3qa^&OZCv z#$Fa=v5viqOV4IO9L8Rf*&s_I?_%e@^1nXUso&sV$9-O%Z;Y}2Ka1|VIp65S-?a?+ z3w{g_KGoZdlcu)>y$>!K}SKT+%-h&jlQl%{_Y@Wj2555JY) z9nY12+IFWSas~U#dUql=JwZMynAjDybanC-R7KvFMJvFrnc$E8wmUY&S#F4oHgXj(gq^a+!La)7+h4Z1`L54~&1TZA)P5wDWLc%s|iU zP#JEX>K$l_PJvutZk6BM{XCtoXVTLf=&{V z^?!hodr{ouQ?j(qM8Y178BqXS)`5v)Z==H?)0*jctyMUiW~ai5z;yPOgNVqt*X$Nh z0Y*e~v)>sgo_)u=vi=S0aOo@n^+)0Db;-z#pZCWOhUb5kxR=XgA?Ow`lr@j;uARR@ zikxb!asm}P3Nrf`4)9X_?yUbNKSy&rXT)d14>+Aw--#p9PZZF2!a!oq>M^PReEN}= zT7)x^o;%%bS#M=*DWL17+6kja8o|ljD*oN&;I+5hW|hv^q?;6#ynf4|oKJjn>SPGv;r7@IFJo|1 z2X5Y$-L*qfj0uM!Kzq(X1cL8qgC{o_iCORtNVR{(gUGBnLKp(e+X(5$2nhScr&=R^ z2w`vN1X(%4+$v>!KWOel5tc(_b>wDKqx&Qvf0)tOYOmRhcGACZPPMchBJ_kpYTnKk z9_@w!W2?Qug^3W1^Ydsm*snWL03`=ec^Pc`Ag8AvTVVIMZ((<-@q>QBB*?%n(1H^` zASZvhkrk?2Tp-8&-#IgRU2NaZ5Bxv~1iz&mwvkn4&(8Cio5zB}Q3_gcY`vQ<%>tpW z!=bu!K*4rARnjWnTHFOY$Hg)7XYb zLYP}KgaclL0oz!nxr^KpjSM60q?zyXeM{Df`&$N+%PIGG){(c^MPlGg&A7Um<8lAovB2{rJ1s`qf;~>^Vnm`+m=t|wgiiD0~>|*Oj}3Ca?F9a_P5dzVdc`_9v^0x*)D9F1y7& z7ZUYeTs!l$FY>w_8M6CQP!>b)jLd&!>J;$Vx+FhYmE`9udjf4;pY+AzZfzL(ZVQKV zBHnHBDUM5-xsTmvb z{<7vvur4<)`T*PAK_2j4*ESgIME<_P8x>M5nXxUhPYcRcM5-2l4$te z9?MR;a_OqduB&7XhT#R#C=I7rD+NDK29Wx9=*}?SulXtgK=WJ%u%SrW6D32q9;v|+ zTe0_b7=|lnaCu5PnxaB8%3n>E2B3|e31am?`l>-*k+&I*l8qMKmOT&BH6#VFAxRUV z)po^!hGRI&5ws0epr=k@6kmTz&Lr6#tg?uOaF;+l zPr4wq05h1Tq5pMxP~+GYZoICm_j<7 zUsUD3tn;C#-~ZgX=Ua)Ecfu>a)ub=U0UB2&1v}W>311O2UjA8qFPNp7DBo^|hH0SY z-~$JoboW5ZA2vG<9`K&jB$iEVBR>YUjpH#R=u#Iqv1of??6Y+*_vwnk*3QJ<%h7$I zW*~lvxhqCNa@R$h{zreDU3QPk2QJ>U?t`cJUeAYgIjP&z>ZRaPY+@y(Wt-sGJiD}V zD#cEBCG?yun?*sWGm6>LNHT%3wY|^ve?Q(YugWm_&@wdtB^f5aA;am5k+L?34Y;W| z4WdLp^kk&MIIwZnKN-Y8wWPoJ>qFze{(86=v)%z}=PjURPi)SlunT8&WTM~0 zh5Svq8@(!xGX=VlI`t2BlXt{ED;w^6#@%$0wRi%eh{{Ir5iI!=kHDk6oDT6V2)=MU zO{yMJJqUk3Vr?IcPht(ODFI|Q(C&U@MfJY=$CB>FimGA$2VI;8*>(`Z;RQuaKVD!p zk6{uB81;vdF2=BNn!cZOfB0C^{av@6zY)@}yyk%ONFbPt=|0dTqv9>Q_^5Mno@u%r zG5qQYuJt?2=j%)Ko7=+4Z&q%m!RyA>pzwb20O@}>9$`Ks`9&Z=1Y-{bmzF}T(dX~TNzX|SPKPIbb%MMXQy@3wNmzz+ zbi;d=Hm9zYP!Rb$eZu#as%BI$xA0i3^u@8@f}}`M%}k{4?>JJlV{V;VCK3iRF_Ch2 z=&*O?OP|XPZI=1ZY93bP?H%{JG6{c9_YhShB-}LRj+^_k?Q$;FY#Bo8IUZb%@JOF~ zwSaD}*%{M`RlQi!>jqqM6a<=Prkd;O?uhi*+J?^PA{?1p1*gDiiX9ryXmPO9899<=I)8d@%908+e@0+F^AWx?LwxTR{k zgIwNUGwV}=3jJ7mgWq9Sh?eexpg{%@P+k?CFc^Szivz&2zTqOc9sd?<10(t@m8c=m zwy9r-Dk`_Kh32xSZzKpJ&bV?_Tx0PCZ7BQNpWKn3JTfnqfL&nb-f(|;p7VhPSN^%D zQdi`Mpt%X*7e=a5l!Cu0_qop%B~A;#=y6w%?h7)x41*cN>uuKiAMQCx31YrV(QaG> zfJ0COTtW-Wo%&J3lUTrKjt5>tU7v) zqLgFu{N%0!bs~mVhdLQ1>TPU;NI{&*Lv1*!JGQ>HbDIAH?QEjAmjN*Y6PMS312+LO zlVJoXf6ZA-ZyPrdzUx=;*j^|;W`;9>5g?B`Ezkl+oI_h92iFmbpn(+F3XuN$ezUez zuO-{GISaXax#4Sh>~aLBLM23wUXK;qn8?$p(5RlFge*mow z@<@OMWO8sYnZEt^(=1G%&*zKfWP1GhujMfQ^~3z1$@InI{Qd0wBq21@yXnuAVh7kSOe&JI5-H?<1l@_c)JMGSK)_Gr+?2P(U0NT zvkCrOf>+^05#%Yn3De*I_!GVmf5n45QFNQkKY#rA?pCY~*d`JQF4Bc%iH1aRCpM>y zBS5FsV(Y~wjqZm%LcksnSo^TxTVeh#A>h|B-HJ~zea$WC?Rmdi*ogoLU?;*GtdD%x$!1U;R zadtd|v*OgR4#V{A?8`E&6?y6ZM{vst)HGkt=F1CY{9#x3@{7gi^RwB-Py~jl-)8SW zoW59m2}4{Uy~NTy+vlhTf0sWxJqL^6X?1`Pk#&L1_3HdLcK+UxS95>ljj;Db-WDt} zUNq#oJFzQA7Aa9+hCXmj(F?+zU|1@n$g}2%9B_}ss?ktAsO8A^t-`4{fW{$nM<|SA zW)ybUqvU4Xd28aOV>8Mh8&8)KjpB*&j`2ikALD72uX^HXguN%8f3{&cMW%bP92vcH zDzYZkP({`VN=TVo2dm z#;Hav`d#{lan&C+%-36myW(^d(4%hSMq~X1QQJ0~=eBF}f86%6d2SDAp4*m&m~eiw zE-d59B7N9`N5;~JC7jw_s0Uja3QOf1#lZOSZ{)zE$~6uTR5!lX2HzeLcg4~8QIoK2 zx8_+l>zF>Qj;U-!#9r1heLx-4zB=|5J#5_N_zQU6`q(voa2q{#UGt8o$)1)reMNWl z6>WRzEA{|if3g0aXB+mmR}WjT!Z~KKK5VVgns#A1w`iqL22zP!`}k6!t?&G|L6Z(H z(}S&6Vy&InCTP(*v63P&_hDV$)OWT5cc?;L*lZGW>EoLluCIxX9-es?L7<<<2`-+hwTLL|RNY4~VF ztw#Uu?{&|Vwz}d4R(@E_V_7-le*|;^=a-Rj0~5ERhXdjP9#1!*l~b-m5K>D&X38HJ zpppUb4q#H=YJLYt_ua6Uk#PePm$iul7XdSqVFW0Dl^fe~+_v>yU$N~&OU-y0UO;l0 zNjgp1Cb8SZ$w-~d)XoF7i`6pbMP8C?t6$%90|-)3oX$uhZ~znb+T3rV&9_%y z-(G$8jmkG=SmsH-xjk-F8Rk*GDM}TVMYg#;Y~BRlTqnDr$3N$`YOc3ws)FzJc28R3zKPh*fy8T%99d}NHAJ6^$xoX?GyN4lpk?n$4RaXz(`rS1C_xhLHS6BbI zy?TEY!@{CXJTD{;<6XJgw^wg|i8cpld$ozewA^hzP|p^6=3$hlP;NFiS3g}vvbkun z$#N6NVVPx#yUQ#Ov$*747NMe5m|>eY+c=JYBG^zG!S2)8>^?8d?x6v8?+&7gW@<*8 zZ46VSJ3B=fdnbAM{f~?pNJV)2<6vmArbv{BX|_X(yx#z#Z#RVPiinZ{RS=9VVUi*I zvxocRU-wlULazbAfGaGbs3?JUR86ulRXI?wk$N5`yR6KC&P5&rdn82|sX`@opatxI zH&=;*^`z-;H$xkQ7GYAPNjyUnwF@JdXg5#bfXo^Qqk)?F8W(6+Wv8G;+ht%4u$Zw} zrH%0@tn%+%H(g=WX>)blT>ZopgvK~Z;4l1c-g!uw>|jMpax!R1Qi0`RoRkXCmGLf0 zv0mh9Ighu1B~=Yns2az4p3P7M6Fn@5ZX`2CfZ#D?R!L(2l!6pDR(GFc+y1Qe3>CLAO;m)_c*NV>P@R zUa$f_SEQmfOiyhORP6~TsuKeCN84CH;{&O1eI9EqYTR@{jRd<07wXD<9j#=jHdFSe z`S`Ycep`EhKW*fv+bsHtZreJ4%I#U(l$S{u0oxKiZi&2QVRmasIAZm2(c};UfcvWB z!X1y`O0_@f`l1h9(>0vlnak5a){8pv=TM*Zeza2nIj`fu%)(&vWhN+hLESz;rv|tL zkN5>LR*I$-2S1rc7Fc(OiOi{QH{ta*Pje!Jhg+Iz9BBht%xi(~hf}?OKXH*PaFzru z8+Xmnec!e;8I-H;Afv8@NEylltk<$Sfe!j@6su0Nc$DQrJg~!$Ucpgi1lwa2!(^6K z*(s6Ma*jCfsT$X-NrJoDtWjU|`Efik0TIswON0zMp8J+d7lzl>U86yIJcR42aXO>5 zSCI<3sl5|985lxj!2*bX@-Tuxa_v$zla?-WkXU>_RdDDawMZktfybVZX6U$s9O*^K zhc;(HCFrvAQ8wuO1JW`J64SI>HRZt%URLR6zKgY8sKjImm(*_ZL|$k zjpl|Ta~u@zYSWijR%8nU4h`q2(NY|BcQD0X#@pkA%CV}?#AHy`pirtoDkx3(eZ=$a zC!S~O4j>>SD{yE$kxYExiWMlV9JD!Nk1+9grDRV~XzF)=M*Awo!ocG84s4Ms3Nguw zl;d7Mj9ejG17Fn9TpH@OZkQAC6jTxXIt|iWI1x&{m|!Rptz?pyE40<&QV%FGvf7@% zUDXOiS9`%YOm|xn(pGl{OE+)QLxi@fJ4d*2oJbDMgT5EiaH(%n0KT8VM>vR(wf#i% zp`e{X33c~>v-&E+GEI518)U1xwW9xWDS`Y|#L{-A;Z!}il8&|>oHycW6M@f;3Dj@V zw*&nug5O#*3z!!=!|Xv8BbwE0v>L_t9JKVm(au_vFk9?Ue72wAM9Cj2gL>rey&eZH zIlc(Cci_M1VHBsR6n=!l{sbylclXdjZdA^!04>IUn$`z9%19YuFp>7)Pg?w8zZI6fqHWwLn;UB)+?X^ zJ%4R5CupQVl*Q;K$;pl^8jWo(l5Bax*yv~tT;tJgtGsMPxWNeeop7@lF~q#@YV;k< z9*r*f2-)nyI3a{M8At9>!SUU9h;|Tvmqf;7mamM@BjpwiFCp(;hltfOdKL#Qp#k)f zD3U9N%F?kK{9yw0oHaolrJFn~3rr{-2i#ohl1H zKBMZ&A}Idg9g{#f=?wydU!GMr3iSzE2LFDQLAX|XKndgR*;8>(5>Fq577ibO$g^Mq zS^g;iIzkwZ$3>JwIdc@)Fd8D#YEBb+C^OtHgM$K0dN!DTTK-#meq+R0RxfwjS9m zLd3g_*31Z}TGD@6Nhh8yLK)z%o8o4N@#ggn8$yD3Q|)+X)-{hpymXcIN+r+kRV+J` z^^S~R9L@G+Fk7)1C8!L{^s;ac0wdQ2kLH|S$MxFlH;AK=((M5GKoMtS@^p@4D2mCG zKopR87Vsqt$qfY~mZdmbi%vsaYP^Q;qA07CU(QVV}jm5}^i1}tqQ;3iV#DING= zW?#)RpE%~g(J#o%)v!%==ZUZXPI7Wj2!+Aw3md#hs5*Oysl@#2NNC@;4~-u6lkk-? z0x4M}>w+COPcCyg>CpZb|tR=D04WOESkK(cF@V(8ZRcQ*|a>FJ|Qjaz1mDNXJVN( z;aSP`E`o`jfWpj1wDugOpYkF}AB3S-0!J!c5>Z6IWuk-^Wb+um+o?;%se3J4ljF4- zzVLrQ?u^aji{DHIzx=Jl_%N%RV$PO9nCsjcn1qI8=I8qg5fZ$MoyMl_O#a4bktZoO z$=FM`VY(ai`$?NzBh_id@VoN$=}f59o3H=sW8JslcI`chdN0Xr+Fp`qsUsSEie`&O zg_GtJwJw46)~L{fAvlqG7;Q*D_;matE+2oM;Gj$Ji(cz|V`0pl2@0H~;TSvK{Q7kU z`Xls&r(jnxGT8(utjr>kB6dgtJ*s<7HDmGNfp{MfEsPU1Sq%rOl{8$m6OBBqX56C} zIvC^)c-MzV>CYMwus?ZrK+s`UjUd%|@VCCR_eL^_-CjR^W$wGdL@?Vkgg?+?vCblj9&YGo1(BT=a8xfK+>&uTiTQLelQi<4Eqn zjLSE_F}e8&wV6>n#9Z-_+Kx@EfsLoWIS4Y*;qz@Kp`@#4XswQPwU03N!Z|msDez!k zK?r4PV!4yT&UP_q*2~!0-Ev*N$0vU$PHZG)8lcJHglVbx=AGg0?IlB|K_9pqrD#jh z-&kkuON7oT<9T&j7F)|Y>rp1UeX;_-XyBhIWCQyZ_jH(XfoJQm8-jluQ8-dv z@LpnkIYZI;J&Z3c$LSt&3by?D$e%Cy^PlIEK8V=erEmbKnW|;w`h*abtnO6vx#!EX zdh*o8BqF?7Y1BK62$xy&=L`PGhEQAMci@lqJ4C_i%G_S07*|AIfh=EJ*3&DT!G+QY#dY8JNte>o(_i@uaHbWNHG&c``sC`z$FwvqD z$A7Vj=VIq7$TmoqGwR)p-%aKANsl{r;!Mp!()h8&us-ZuT@o>0KJUTo!65gbI1~)v zVA1*ma(pBd+r${hUr--f%GftV`8Z?BdsCS4GlH-!5@MftzEDAh-ZX#YCVm*Wz6|?$ zqS2I)0PNp2BE=`D%WBwM`(A zOXD`7aN6GDyKdckFT8wOW0GMi{l-D7no3M30>3)|)!JkWnBj|}77cYz7*?%p61 z7;qyO9J86y9oACH03;6z-IYKrahB|S@kFIw^TRmGh3}jUIKCZ{@sb7cq<^9DSKmcT z3?bN;&xBr1u6%fuG+y5IAj-Ly0H>K8V{vX=Y^Rt(caRU>#o0s^s1Fre_myvM;6PHS< z0~7-^FgcSE0x5r$Qp;}JFc7@!EA~`SK*j9xDPCLDDU1YYQQe#z1Y5R*=#lD?KEA$` z88?>U9(tfiafid1#Dz;S1Ufou=Taf1e|Q`}h%*$y^r6^oR0^QUj} zI!>fi?7kSwE>47HyCLknn`Pv$gOP9irBeL;G!_i2;uHjqsHNsbOxG?E} zh&!#txl3)hCKp^NB+@I9a>A>j6<- zIy?`?Cei-h`>7tQ=eh_lx9#d~>R+F++lL&K)uF8Y7>iTo0X6PJe!@oaa*ENI4^M-y zFPn8O2nso-=6`bV&u|ONofN_Lda8c~QNq3tngkjOGs^*Gl#hq@gh!}S0eBN&{`W%j z9~s%iESHgS0~3e(tOJMotOU3EtOfmH0yR08p*RE<1T{D}IhT=H2q=HKWmH_-wl#`t zAh=86?ry=|-JQZItZ;V=Zb5P(^*j%Gk9M-Z5ajhU4nprEL33UXy*XHo-Nx!Ie#0N9yXSvirYsKi}>reGUK zkc251$PeHFTLYBM!Eb-5ZxO7ld`MIPX&?yb^5(Pvn0WydfnZY&FDD=yfY$UcpyKEX zW->E%eRBgrRyH6Y-CK&dqm!45jg>X{PYn(xrazVbWQ#Ea0 z&j4TpxC32WZT__VFK*Ot%m9B=drP%+adh~r0f5#T40hsYVe#&;pl&22YCB*0onuq62=W=@g^tO8u+gQe+~tpU}FvhxdQ(rNjd(@>F_4y zThf~y{J+HBgaH4kY5%WqfGZIAA8o8nUH{5eP*G6;IGEaiz(9~G$owr3YzlUB1(^J0 zd;11j(EN)a5Fqa6;_|15;=f%k|J&x@)Wsa%p3K1B$IpM%Ctz{|=FVB_Niu)YncB*;SC(ZS)3wJXve`6O)KbOJlNc(MGSxwZp2dVqZXuierH zWMTP7c?*9xCl*bRjk6n2R^or6-%Ln<+pK_K04o6K3;=qXTeJLW_t&)iF|++Kzsca| z_^pN{`TNNhX+3mbFr+n~QK3({ZJWkHsX z0KR{j-#8{^bI`$?#u<-?aZj z7r=iaDkZ6;B+KxBX6COjNszgtg$>9Gz|O@DFm-V;^+IBO8w7SPE`Sf)+e}*kJ^z{% z01Gq75&V_{aB>6t0W2L|kp7$|4?BQG=8x%Lh!emf_c!7Ouqga5;^hFasQ)kG;{mXk z{*CwmEav}<-X4j?{B0lp_Or3F0$42m0oi{5EWm%jHxicrfN%NM|A1To7Mp)SUI2^z zKj2$yhrc1)TO-gv;9Dcdzai%vYiBpdw{17Gw+C8+|KZ{N+w-rP{ks51K)Aog8y%N_ zz&ARs{|mYPAfP+&@19(5;jT8G|44X~@$Yh6Zv?>}|KRktax89tL-seuUjKk^(s=)^ z>>EpeZ=lP+vj1~jRQ_C-f87MEf6veVyhr}R>R=Z~JD|3W#oIgdA0djSU>6%teb%=% zW_z>0ef|44!~bYN_4f_*k8Ck9M^7In&NrEvINlD1jgyt(I`M3h-gN|Gx%tGdP8zG)V-X=Lv z_)AbzU>5ZkM+F&vL;utuP_YhGD7O8}YI92EuWJicku6hyMSnt6Nzsv9EoRN&EXDc2 zvJP^(1G(G+-4f2ptd_(U5`gB&p*UY#=R+*}*em*F8o5DP%W^)fN6|D}BbJLjhUYwg z8bLeZ{CGPg`1JuR{-bG+=mPzeNkKTyh#Z_#cPHjvg^@J|F9!k%ltMZ`8dJO!@`79C zkshMDgQH*$49t&|5_N2?vk8O)e-9Y69mlhNz*n6wsHWTEhnVGPEu>GGAN7#7>q?M6 zFLDhlSEPAvC1?P`+uLmzqnzSiAB`!0blC1n`C9wzBmA1~Fbih*_)r_OAz`FW%^4on9Fo#GLM_ZDkZ^zIcRIBZN}k1kthtQp zKiEK?q6Snfvu4goG(m61;v(`~OL#JM66B)24wIybedI{BKtN74G_`9k-0d%gtUNc# zsip`u9#9(heLwz*<`6AXAN$iQ3`_{G~hW zZAwU7QSnpi((v!K=I{$mL=pbBb)~M{!rXh zG<2@048LumvMXl^{LD26?yZ$iGt-Tw;{Kq3EXY}IE8PF1~ z_Sf(3P4&vgl$q1loDsLgJQ$B-{g9VL%RrZF>*~A@_@N~9LaUm-`YC>@*R}z;i-K*ykrB{qm)^0g9i{T=btMFBGBscK5Os zOrGd?R?J_Tn{3k5Ym?C1T4f#Du{4lKKdc7dvBXqgE1RbmtGOi5s~dE4hw4odVaF@K z&M5z8&b&uEIv(r$CZAkDRlKHIhwO_SjxDa8!mS&5hU1)nR~=ooBwv%Zs%u8ie3$s$ z9OG^TziFEzv5dvT#7!}7tdR4R+C|F+#eTc)ab-?t+A=wlVy?t%9~0=~*?2ns0_=w4 z5ZywSU9WaA=IB69^&)8fsP||oBT8s^M1gX8zy7%+f%Gcm#I5wpa-BZNJZs}n zwh?dH*(9KUrG+CjwVyNz`H4?NVw*WD<6A04;bw&0SzuQhw8Qj}z8&Zqv%#1yBikF5 zzs~^7CBj5|xv$8)E5b*uQQa>oKHbKSApWJ3b)VjIe7!2xaP)_m&9hRjqxP$aV^Nn@ zs5`tMHnn;Uioc9pWP!{x?klP{yq>0V&SOpern2gPRpXOE#J9(fGYzVZbeig5b*wSx zBRldmYZjvPG%X#QE4T6FliLoD%1ZLrkoIuWpYR*3Ot$>puot7GHsFZfTP3y2z)6C! zDn}*x_ik$tW3!gP!tH6^`}RWYiG3^N*V7SnU&A$m2)k@VFV50chaf6ddEC+&95{0| zLx=i*`46}SXP;9Qh|3n*dkDVlP}JGd*IyG>6I(fJ+bME;7sb{QRvEExU#J{S)ST(A zdT6RItmx(H_@_z?iNY@u%7HdKU!1?ek4K)yoh4($i{GoQ!;>#@)s79FkejDJ#BCV$ z2>!Afj=89%kx1Dx??gy=H6ZPva^+iZq zp5zId%{i2}gkF#IALprU;U&g=pL?2BP`ew`xs6Mmt-z~ zKnzD>sTsrX{kw!gRFePrG`)PAt#qPBe`GiN0<|ISl63zT^)(MDdDd-~LWf>QfgCHv z`0ZUf=dTm?cs{Br7yL9j5NFHIH|aS(s`ul(F6|N94xUYDQR+Aq=h>)JIyns=n4?n! zQ~Jiy8GGy`Y2%zc)0+U4yXS+fQFWProsdKAg-|7ZBj)z{Vdg59=uvk^fx+d|+;ToR zti#CTEa3wQX2s`QI<0Ag*yWgXjy#e&EI(&a)zqg=yF4kiWAflL7t50UEUEggIuIp~ z&_{ydU0sH+c|4yYyN#!#OlKe-xg3!_iQr8!k;89xmB>P=mz?Bw9%qdV2zAQm1LN{|G>;(E^3KqkisnkL%d8xRl0skfB{SEUm?{!G214q-#2-j}bCNETq z2?vu~Wi|c>qb$~E^m9e0P3w#4njbjtj(*(lBWX;aiR;IjuC;gQ(&HGR><(00L{7N& zw8N%Xk0<^RD$VI^>Ytg|z*}a#-{N}kr%;D*8G7X!jTeKdu`&IMX3$oi*-@GcK!VZeGLkFwr zPn?F*C^Z|TdN4%>BBQ5iM?nhgsa;Lm;*1wFEC9qF!l7SwQaj0N*` zj5U<`jCA%87zpWb2wg^&%Od=piv0KHp6ms*h(5Z<%_oXDXTL{(U*Fxzd?Kv5k2_Mg zT%RM+&=6jiFTPH7bBV=>1@LsQfsF}wQS{Jkhoz^ApnMmP3A=K?lm%0uny6?%rM~7A_pC0PPevr#o z+v(*kZ>9dGuO{@dK3c7nvV;(OJiAe+`#V;RP?D9rf0ds%&3B8=#YL5d6!WRQ`#Awj z1dlDOF-MJ};^FS)jprC_Gy3k^!6I{mxv?PI0LXVm8kntyoj{)jV^ z9+B(La5u((r---gJ_*N)aX*}@!ymu95!FwdBcz_>6J9oIYvK*WO7VM)I2pAc{Mu^7 z{W}d@K5rYsn*HKIDrX$M$S!L6iDFggh7@R*5DCqH5ebW(qNd(~pcgf&0+6s1Onc4F zfFZN!=V*R4Z)*_AqEL}cIr|)u^=)U(Ida)=P0=^lm9mt$xi+2OZ$VwH6Px`gV%b&d znQBo(i(VSVF91L=`6WErzi*v`SdB8}0>BxGGU+5Ce0uT+xWgG z*2;>1rn{;hf3=eI*9c=}!$6|bNZBI3mk&LEg13mE2aaE>!yp9=G%#T9K2d6!Ol1gva6$BI1^Wod7G2+Q1!PBlSK(|Q%w;n! zxE?e)(|({L{rcTlvez62m|=`3>lyt-LpLBuH+d$YqYgwZqvj{UV^KkMGlr9#J3}3X z6$Op4z!5#Sv19rAStViyV)!nYp!z35^RM8x2%{|C$Cf4pKlTcJx6s}d{N@5!em@j{ zv^)aT_gL_ZH#hVpric^w$n6P((wZk;FmH$Dg>IXwGPgF9=je1kp)7n6U@+=Ml3s#t zSjJLwBD@W_LV4ZvqP}b69`B5CtO~=w2)gcwJ-$k)4yG>aG0e(7W=Xo~`+!Dm!)3sN z*fHgO#2;CP{?p-RR%5r(*vi*(@}JoM24`;%Esxh;Xk@D$Do<{I=+y7urFwa0CTpVg5QZE?8b zv|pN0k{`)bfNLM|yVVcfdv_o20%lCy4SI6S-xW(T zeXAoNR~I@y+rj+u@ouI8IfiA4YktHd|O@?T@JU=8zM`wuMK)KZtb= zUA{zO4N1h!$dN6h{3-PW{p;)9qion2yZ9`R&%Dm2TBu+_mS$_l&jYo8eRy+Rt=iw# ze%1$od&XFMsbTIeqT>Sm%`?$=*9GJpR0Yw1fi0Tk&6UyvSjF|qNXGH?lX#CGaE zW;hi6Olq6zS3T#J(FZg5t+BWS;n5`d$0&JUUOywevLH)MvKDf{L0#F|-VApE<;#se zTrsrmipI~ufX`GBmeLM0IESwKEbiw&wm4Vrgz@V`MWCmI8leN z^L&ZPKKRA)Y~&`YE$_PJ%gh2$3uFxW>YS(-7D1&#!u#a!j;sddnz=xvhx)*Ic)(@s zW@SeI9z2*xxkNc$sdVQ&c~)LL_Yok5%`#VOq)r}#1LR0aU~3E~-w z`|=2~9QJ_;9~}MUZ^&xIR&&{_4 zm75#C!>Gg7j;J4@*b41C(udM;twR67n~JpWH4_uhIM|wKhXEF78>&P}$|ZJ!74z@C z^z3V*&*S34<#71rvFveSlALI>3bQK+M_WOEF;glqQN@^y@3|)o#XiDSi5(ASqTJNz zuGzj)h)VG#oVF==CUU!Vb>NG|j%gUV|Nb>}GJ$WHcq%q0atDpJVdPjvj$d~G$?4J= zg#(eC(EoLad{-w{h^2%kG1_BqHzvYblZ%6ZlaHWa;lq{LgwT8RO-|%)V2fYK?Nq(KIAjFP6rup z{Gx^+qqA6Ip7<4XbwCql9opMpE)U<58mD%S1Jke&8W5sYA@0_Ni#(d^Waer`eJ6B4 zdid;#Ae)g|o~LcEjCFdH9;ccLcB^;x?rxPknfIPXnfzKSyZ^FYi3h#CT)C8gPj&zr zFfd!&dimM#ov0#253BZ3P#0e(yQhBHg;FVpKftH>hGVKK?F=h!*uwUs;9y8-7gR-R z`{*g}%`q;Dz;7=mrbU14c9urq)Sz^tY||aFmyCo*&Ih-``iSGBP{>=vgQ@th^@Q0f z3{LTdPmNX`PrzozX8zjeaA_KUWPjTRsgn1qq5)lgx+XvIQPEBkRAcG=@?^?AF-U^? zD4b|m)TW|4b;M(hs!QXmW~`-x$UUAAsw+M*UYWv2XV=-Ut>2hREk%cuNUc-;Oy!x& zY&J6gS=^T9&ihTG={`>w_MDJ+tEN97eN9+@teel=LYP$s zc#9K9Zs@U62?f!__OC)eY$q&JN$E4ge9|A7a`$2pb;24lo7@0&IbqnGBJq3@{9mO? z%u(<>imh@Pe04f95J#RSUC*>|@dO_&-286*nG`*)o3+g_L-h8x=ov(axO-Yp1a@WTU?tBldt51)@GO7 zlM0c^I(zu!hqw%8J~=h@1+e%Z*+uvydaB*Ir`dk6@3e|}8D_eFkGYVc{di+jw(FG` zbQ|_s;c44Z9+*NiHAHE}EE<@?I-G$Ai`dEko6Pw|?}N^_-=4VIu0GMRjASNqLh@k_ z5r`+s-&bsWJ}=Z-#I2JbW9+0B$r+y`cQtl2O3;_Y@*@#E;=Gmg z+H8j!j{1H&x#F8+{Bjq;tCemWo6XSIWD zFu@0;X1Qp-g&Oe%@|B49aAD-yWfH`pOZEbNmeMy+imE?7=duHt4_k+mM;@$6`@~g8 zi)**|R;iH*J1N+CXV9^r-9)o9>}to*F=yp@^mIw|9dNxrh^ZOUvxm`}D=0Z9&GQ;2 zr(qg|Wg^Lc=GH*=?3r1L!l7znCpmrhQqD${e5s%_#I57|hU@1nZ2uYbnZPK%?TQJ2 z`o7wqw&^m2wGY;Q%_lC!f<1EeW{L|xC!Q8Wx)c(_{5!nlNGO{iKAl<${`O^=Yal-6 zx-t-6%C8uq%jbYki@=5o}D|#@BNAbq8teZ`RK|3=nX3GH#_@curQ^{@7Qp=97&^I!4^&(B zY9Kd%+2JTAKc=rsqznoq1IJC|u21r2bC%z4hoeO~vCx{V27-sXdQn9h^W zXwx@LlvhqB0*pgh(`aMUGi+*I!L}4djIW@7Rixco6>C+o<=3h`RR&ateiA(RDfCf# z+VcfBvf4fV;DsN|xg$*5CD*R)BCdaZolthh(jxUG&v(X*-s;Cqrs?k{-Uo_QLB0=? z_hW}JTgv>f0y6gAovKK%8u$@G!F z+sWn7K38p<7H3fJN`Z{b2weDM=>tloAEG3|!srQV6#M%OP{ts7HNin(OgEV(;iRL| zuY6AI7W_Id-aQvI@RzU-!A_Q7bZt|Avw67toBZwxcS_4)@tEi)`D{4AM_Hh=swfJ9 zuQ{oEsjBrdp-pS4|MHp*-UM7~PU}LG>(EKVZy1iYIWhU+dCE$U`4A_vD1E4HKkNzX z%L>gaeteHdML}ecmL{3nEP7)W=Ud;p3>D^if}J6f@i?TT#k?JYYVl zXF*}C@|!`JbUEtjrd6)DFH1la`hiHD{br4AX=GD=9f%yf$QJSQV$3aF`{hJ4aS6zn zc_xlzQ+yR>Yn!Fc9Z@>I!X;$IWNbt{gpaxA6rdF%$$+EE26u3AMFeOxkQr?u$Q_F1 zQ_CwuxJjA?H!M$@{TLSd5=$9>#KCwm>vhu>$&7u-gbQd>(-9LEVAKse%h+ON5E-k} zOlm#y>C)R!@lNDXCFq9_fU!618W%w&rmHh3P(CE&nmAs2G02@7YcdW^bS-y!@*A=r^<6>5J#r_eGE_3s(=#`Ua|j8 zR^`K&V^t=X$GZ{4mE$J8P>FYOkC|%Z*t&s>nPDUp^<8>9}qEXd<&h3OGe@A=^dAquC0sPD!7vwnbyE@VWv%5MY0jixgsuhkC6$p=MiB zT6$_8|BR@q#Qj69>P4-aMo8U8Kb%iT1U6MTgGQIYMZk3v`!49%HY~qUd5% zIJ#!u_t-{%m@w-~8Y?!Lp&g`vjbsX>O*!n(gASogX@~};FVwL|AB_y7ADqN$a{bfA z(z%fI>NnJ+Am`nuHQc%?)U+MeUw6d z&hOomU5Rke6LxY^;nD8$JN=kT%e&Ycm7woRvsXiZJsoWi_5CGjY9hA2e*WYNzTl4H zOmD({dM;p}fIS-gcx1AZ4^6-YYaYg!UJ!F2EU+P2fH=V_wsi(q*q{N?Es z&eG?9wD@y91@Z313U$|4LqvwDK~~uHybDd(amt(IHCq6!ZZuDvp~IBSM2=gJ;_W>n zhe%)GfvO7Tc6E!44x4Jg11I`kcy?hk09OQmXV zx;PE@Dk&x8$eq5`oAJDq=jmq>FnbdANHXq!(e<8s3FdjEt_*DCu%o>WQV^ET_Qgj+ zc*!X4=!Qa_3T6sAOsaf8YXN^NbA-GA3e=^H1TywveGqD@W`w0acbgRNE#!n11}XCv zPo%>;;y{9p5r|*7mK1IgJ&OhER)hn%*CfU{tg6))wL^4-lwok0;0R$fbor5OkmBus zrGRAN^N|R-1#Iw;3(#l;$J*LvchLfC#B5`6!6(s@1jBKuyd=JRjoI-sKpB-&QN%l; zpJ{melrQ(e=7|Ewbl%bALR*!9884e{l&nizf6tlbHjOc)bUc%t2UK64}ejGZO+lpvD?ZC&S#Rn|^`VAF=BNo!a5f zEram+ANV!lK#@jF`xzXc#CFxBlQ-p2a3CRimN=SFGo@p|?d{FH#PR z*E{^1i}8MH1g8b+^?Di5q!8(B-yo;+*d%nZ33p|)$R?gFJU=(u<|62tJ-CWx6uNDX z=}xY%=NE{)Dn}^8$C>gj)ok8>LA;>UV~pkA@N9IRpOf&d(jQp{GWF^uwMXeVr~jt+ zImcs%xs)xFsG6k2wGe7A`iA`u0hdYqwPCJ&1^51o1r0cnA27zlmWDOWYl`7BE4(LK z!jT&%c(;W-8zpWhYO=`5fYrg!tZT}Y%I4r>pd5a&R%#xlQ!4^a6q9jn_k1udnxclc`Fl zwwT($#H0QYHk64HwqWWrUgH#_r{B5_LJj>kSP9`yaez>(Q8B_+W@ZXEtNB~#^?8WM z-5d=Kvto+&d{6#=0nc||5gMXE_-6Qb1WD4U{BsvSQw-@ac|@=WzPxPVpYw+*lUA@Lz5f=;Gqajz5};KSrtL zk0wP@`9ljjM@rDXOih0~%h;2fl|k@j+g)N^k9^m#G*-cXQLy-MKnJ=yV#xMG(ydv znN18Aa=S9`+<3AAs2|yo&f{`B1WJBzQcM~tQCH{ado@Jq^$f^E!P*BPnU zvHT03?YdcPBH1-AF$^wE`b>zdRiQ1&JsF~?@2p!c+mlv zQx-2)@x$Z1S?3^~n3|F9v?)RkJxojkRRqo8ZHxPVqtDx1$RS*bHl*%YpuJ8bJ+=;X zN2Yh}+mTIbQ^gnH82pw51{y+3bQ6noZO)Sq?rkIIv-NkSeD0Lf?whk*j7k_-E^`DV%{WC_9L$;s{c1mT>P7dW_pQZNi_te4SWTlE>~qv1s*I z@b2*YT+(jHeXCv$8bY}WqKvgHRZG>n?%(WxD9ov;BwfkF2K-xwh5Q<6p(Xk-o4okW z7S`B)(3^E4+6CENY<_jw@xBXcWeKZe9Y3Cauqmgtu1lQggr(3c9bkaM)!2M(ODMn? zk9V!12?-I><+A15>x(+mc1Y&9Q7PHjWi8(S)mqd1-qQ>YAzb@;7pdKKb@&72FrrL< z?jBce(@dvi3BT5F2PGt=7JTwLPW#%COc=W%eMoxdiYJy?fqiq20g;TZMl>CV4?>!{ z@yoA05wbMf*)4n&&4jyfUG1LXsI%DeoPK3PRIi^;OG!jmUD{mJtqjZfr)#XXFL~wZ=e=Ls`4V;JK%{RS5R2SM`JBtdg9%>ZfS#dMZm?fN zT=n#}Wh8&jE66VPO3ENDaWU9obQ#CIa#3Uw8&xut!Ik@k55C%>FfF9`AoKKp& z(Dhtzni0i?E!Q8WbDWA@ zkLfth#tk!c*~NUViGhAY0O4SNx;)G-yUp$NEY@TBSz-33$g_&~+!WkBBdbF#{hmLS z(D^aNBi{k4>cFh@+brR%giChxZd4U60szs9w4}E8a|v0i=6B0P+;=!sY5o;po6M$Gj=1Sz5%JdzB3N)l0b1miWqY;B1c8kHibYBIy z$-++nl#Nfp^@Z?Z4c_U0`ui|_T0&2PR)aXU$wo}ieIWO5BmFsOp!I;)nS_pI=i$uh z3XGa;mc}%%ohm7(u9^lC*-efN#Vsge0(5#}cK@`iNPOOC79DasPEoyeW<4Qv*uxD? z6}bE3$~nK5YK}YW$M1qeS)xBxDcR*iygjDp(-PosRvgzBFmdF6CTXwz(t?v;?slyZ zWg>sL_yBBTi%Ex5Q5u2KLWv}dkn3zyQ2TJC6N2!nkq(;|AqH^K?-)nAQlN>Pzu0zC zLgFunBL;uQDQ@1tp=e9V=%HGyw_2knS;sFVbKD@3qDUbzf_E1R**S;Mzu1tXb$%>+ z$RkBu(^@D+i>!u^%(agjYB zz9w5$WazsxFcIaF8dyf}*vGuKm;+u`7Jdr${m_iYoPIy`2|v7A@uz7T!yp%NbyCvl|c0j#YfQC&(f# zLB;|JJld|xUOEd~KACY6+Uc=WKB6kAdkXEzH6K}l1IF zsvb{uD8boHS~F$JrL?W{jY*&;X&nfsy?SMTZJE;HB_GG{-CFd8)VCeeu0q9DrC7*P zt&TP{Xx!-GGwFEKQm^!}QFGcMJ~=it3IG@R*Bt{%?0IVB@g#^P(l^;@Bx(wqj@J}b|i^;Y8&CH91t2H`pqlo{85 zK~2+m5kJv|OQ1O0KN~V1Fb>asQtw$?{ zbG5~k9`*(J7C#hd8OZvi^Rr=+R!~9MMf({fNVdbW4witzZgOg(P)G8a4m7TK&{hd5 z8#cS(R)7-u{IneAkFCyC-}3~`KD2&+-7T3FRC;PXymYpPR~D$yN+IR5Jwo}#v$i#m zv$T%j2@%FSkiolcyAr!~yUP8wgKzG9eWzf!Yw`CF1eLBk2BsaqqpdV_Gu9W5X7R7e z8$JN-fJy~Arn?`BxgY5GCyA=SMI=y#&HC0vXVgdPtpji)_m=x~x_vK1xH$!X<_5UF zjggj~ZIw&hbTDe#lN#m%?a8u`qd(Ev{p@h`I;6NYF0P3CgTXFVhl$3L3gMNve$pCc z`&`)i&U26U-m;3{%oq(?vH(#h-o)Q~@#9_LY1pUg7ub(3ld$%m?r0f4>@n5}{C=5C z_sZfAWJaNf`=LC&!aPB()A)*iW3S>PTXy>>=R6=4a@pQRJVT;k@+*%c_Tt9H+U)TG z8y1^G;*wVosirjLJk|q@MxnByVR8h>F%+tXU-`t^^s{>-r1e)TBl^#ibHFK#1r{3$ z7h4Xal>&UtpnqYcejjWrlF?^_v8lX8(Z#Xf2JS&jh7ywTEs-B~nS)<{XW-h|I%BV` zx5|_%bfSGwTJ=Spc}mFM>$0eKJ)f(wGm|~JsZGIck`Ci!xpJ%alcVrkYFwQ-%G0)f zC!&&Q%oD<-^0>k#cGt2|Rw!-juoQ;UQa@2MS5-y5j0;hyNqj|&jwcw$$}WZQ!mS)g zjf74y78*el9s#G-`U3` zgq-FWk~Ke(q6X>%0&3a=ZBsfxziC|sx3aGi=F3;*YSpzW4Ly$E4Nc8ikCsh|o&@d& za6dmzM-3(}cKrHI)5|S7(EjbKLAvbl}zmh*cn0?ofC0HTh&BWM2E-nC0`l*eJ zi@VMEt09Sz$;{hysgEqd*8K8sHTOB?s- zm$8rJH#v{EJNDxs8;|Bes2Osu>X@!qg?;3UO~uWD@V0*;BaUP{<3@amV6kNR;notl zuOMB`v+rDgZr~vz(DPylhn321En?;CC>eY3va5(c_u!z?d{HoGFY8UP9O}1pA|dh; z8H27P#8^-3AIlw}8XL^iWsYdra`^P?nU|mRKH7$5oJX5kem-eYQf^jE?*HQ-_pC7B zhE>N0bHn-mXO(y|d^RkBJYv81jV-j4tJ^0D)#(6#B(%B=G7O;KH{x%*+W zsWcEYRj)>eg~_S1_~%Si>)b$cTE1|V>CgxV4S4$C{@~IdWVGYjpDj&KW9}GRAzQts zM;dX}L4fh|w?NysPpyKkhRc*b=CIlaf9U&xOpT0rtqjzgeG*C4`>^{F=Zp(OuFW6$vbpKG4tM=-4*$NZ~9Rv#)J_I?>CsXRw#quY97ibR736_Z$6F#9P;WU($OdTmtpKZwSt<)l5T zr79mQV89Q+-~zQKz8eaac5 zOT>6K3pJM8)nZ_fEclly?OR z@fIb;EMKw)+KA=7@%Mvr2KP9n4QJ~ZXh2@ef+511w-kBnpMOr$n6b%BVJ8&iMfk&2 zXTu0$g^lG%hnuy;M7g0E#-O6T;4x^y9y9x}#*v95D>XEd^J4g)ONGwFPM<6-n7I0@ zUc(|KrT%6Dlx&0F$FwE#u+lw$Y36%SERH3}|7Jhg+@|RCEYE?l$XGHWP^j&+4I*h% zv}AQ@@Xr}-Qo7FZn*Ygw+$wW8as(QUl$r1@K* z4vVpCVVvD2+zVdk7?%`u6uXQ2c#X84ya>wz-Itdx{l#}%xWi%&-`g-&%X=4pX}WJB zN;)~9bnE)dRsJS#p=>{;D|HH^&KGm-bHT| zKsn_fq~6g3C7w^>A+Io&n^Lm~EY|%nrW@1hpt^R+(LROK^=8N3Ng+0Ax@3yU!u*)e z+awY|aW2_pdA)0Sy5X2qkY$QjA*He@?1H*d*YEi`mj~(A;L1IJafc+aGE>ASb~)SW zMfg&2H=6!Sk}#jsI*?GZp`)shV$V}am4fF-x(E@mwA z9)ZyQS;*k)!5wcXB!~csNFQ`qT%KPa%bx?hEy~s|GvkR4ioSQP*qQECRYk(E)x0FW zOo4#(+|m5Fzd>|=rIP4@Dail33$E(K0V$~~PTmV2y|QaCC!z74k8@iFZ*yUJ+x>H` zaQV?5!#QGqn5S%F(13YQ>7=9(uym+ii%t^yO&^H3`?BMG23T^x5V$dH^Uv>IB;k4o z?w{whyHQ!;OE-CgR^C;js2w%od*@A+JT}itZCGJ%ZylTI+MW+85fAaW@6S~WV$@=V zJKPgA#=bH}I=_FqE3p3dPFAF@PNsRm)Aj!W#AUHvN4qj^ldAvO=Z2tC*assHq&`uIj8X*DwjO2 z`O2G&<5>AmdP6Wlg1> zf=o_T+8ec#ZK!ncnBAgRBrzbWrXoAYt01rqwlbO|4iOcMW23H&;c;-uIERWuB~dS5 z8Ef^9jZ}$PTg;VlnntDyB+p(|CMt;QLS+)I8Sbo+{4m zWS3E)xqO67G&@vfV}RZ?Dk)PhT%uLltVz41VyIUc>V2XzeYUWs6!?=#?EAjWs(Nb73dQkf2bFiKty9 zTUHn}XPAc^LtgYiy%bbUPLT~@={jA>or1@Z{e%+jm zt4~__j)KN~=p<|-6xV-A5Iguzv>vSb>f}M%Tw9bnOi;JFcVu zRek^c4*uU?66{@ve9?9+oWi@%34z?RgNs-ghv{75* zeaD*3#?{$$2pBhN8%Tz*SzBy~w|+yF!6N5cR`u?nKNucebx)egN{7Slc-#yxfqZ=U z^y~QGXxtq)mF5#W_5R>;%%-#N7%QdSK1|HPf8_xFPtmCyU}{^2+lSlXNKKCtj`XA< zfX+=D0zEuHYSMqu5JVf`3wLvbP58zX5j*Mfau6v9V*c;phqZqj;m2QOjCZvbr*B$IzNfX= zP^@KQHR&O(##z-##4JJreh>@s9gn!|lj?w)+!lLG$3L9y7~mbq26&t9D9B`0>;z5U zx&u!7x61NRcI>u@gKmpBxU4OQmd(Zu9^nnfzENA)Xi%HU;5@*_ZPXN^E)B*@nv!9t z5I1TI$4Y<7{sR$fZIGIaW|~4)np}d{v$Lif&g#QGoz?q?bj}B}zqp0{#m!^nvbL*Yp-(st6 zgS^dRs`~2e%YUDA!IF5`lWs-T@4x4((uCVw4bP6NPg4Qwz2^7cN%Q*P$!D75Q$#wP zKJR~g@(M z&{wVbH=9WFj!;0#@b$co^DUpVm z>DC!2{#AT=^<@EVrzPu4W{=Z8sg}kuZz*@6b3z}nD^T4pm+O}rQAU1%^W3ISq8Z-E_X{|KT*kzAO z(G5Zy_#E9<(+S*vY0|f2i0JxDZFS~_;3Utp=(tn$VyB1lNOt|X(92$&%}AJppq&JN zi;$+zLr7_hh+}yfCvy$?+YStC-qxJu!W8pi4v*ua5w3Xj6yVDw;8r=qOE#7jmV)^! zB2;N*=^6?O&)_Qz?sd!U)fFjBOi0c=-W5)yx~1x}RL+Tjh|O9XC=JnhVNn|EY?jQ) z6P2z1Jne)+b{%fh@7At$_u8ilX$hN3jb=wlR;m;zPn?+PL_)zsS27L6WLvRmGi4P6 zjR3`EgYb!b9$K_KYyxw9nR00Y{AMCjH~@MYMKp+h#V!sjOP*|)CfBb_)6hon#y2;N zd;(X!e1z~od5@tqIWA;G3g&`@U?GJH;GKVX$%K;N$$B)AC1DlJkxeP{q`WOO{yHey zqUE%!G@&$h_qtZ@nD}eV6%K-Jf1Q2E6Or|MDkFITCtn`DV@JBgTK8sG+w7k6#w^#f zj|fzr&MmQ$kzKtV`c0U+k{)4@Q)1RxW*ES$Q6rvDQ7SvUo$4%ABI~&fAVtYs-R<1V zL#GJ{CijTDz~?6#%{NC{G?Ls)%0f|xeEgkAR#j9gPNbR`XV<4k(T*@~Z;@$^eVZYL zVckT{PZGlLpd>M!L9XAkDc+v=ouBW~zpPRnPMK-$m;7}OSb{+(+QlwVEQYa5z6}cHtFc2?^q*|j$-KO$Ebt4iY#?`E{*J(R9?E{ zLxK^3Geg<^b^M6T%dU#1wxb<&#$}MQdD)4-(5M}q8sBW?lKdRq$&R2kWxLv>aq zGbTr+vqSew<~XeW7VQm2b0ejmpl;va1jh{Un<9vzKEKBEDr(?K0r;&Eb0$D~MRXBG zai5S;`D6ZZxDbS_Q88qXWpFrU`>uK4m(&7-kZcqLph2X_d&VaJ#$Tp;rKgZaiD{Dg ziIs3TJu?>m04qlno^L1cEV7EGXf(BpRSa z>Spew;bfFnWl0tOY0QoFX~h-PjFH6#y8=X_JxfK)Nvf1q2}q4=Kq@nv$|zCe@3gv7 ziX6E~PW1?>Bg^(wgk^Vd$L}Co5N=KFARpz--Ph99R8!!@Q1~-0A~@p}U{jiBH~8b! zZvdqY=WK|!FJ02cfWI(>xb7@wJ__lXQ1oViGY3v&<#H`W#a>Q6$|$IXb9<$H=a(OOxQzs!3O~F z&*g3GaxG>nw^C{ypmfNG1q(tyKG;xU|Air+2_sW6QBCH%ycN=#8&!Y$XuQ{WihRKr~9)ak6$w_ zE&E0$XQv=n{0F{+?BD|ah=xRjm<->kwZ9_3vRx;=G04{(oPi!t*7tAte8ej$t~5`q zAL+Q%n>O*Qimic}IE~U$#?BLjWej8;OX!RFg)=py0}=e>x@M==dRz)XqtEuS$0=PG zCmj)@tw(I_lQydztUnoTegjG-Yg*DWbghZMGMuD6c^ID|DR!mZ@IM&h-m8i1xhJ28 z+LYmYHVw9Da{ZJ7P2UUi%cs&21sN(ij}T#|WJ|TMJB{G6rl#;$8V=q>oOsFpdmKg) z)TIHq$)IL>F6N!k$j67(Z0$(FTCw^Z<==8!S33id?9Zt8<4eVDglRQ)o*uu_OS%gk zuG*Ux0Q6GUWVW z2_poysehNiL<*0iaZAj`sdA3c39<5Dp9OySR`blFPO5!X{?&R&FZ!7IP-pj8_xN_& z@!SygWtzOQ`J!Eh`II6_@rg%krM04YGe`017pJw>O1e9Fx;INjvxA0RYp7y}!ZOL} znU=q7i3{rqNR)d;3?{x{UB-0;`%$!|ZI7I(rEP;x@g-iBY)bq-OfqFbS!9hjyGEGAp1@mHkQ$dlX$?5s{pjopoZMIYG9MPjgAY;gY4%JK0`N8~auFP}* z@Sv~`63TARfuFokMeSIDSZkq#HPv$48^qfq+Vx>b6!dnoJ4={K<>>&^SOrfd2l5rq zT{18oyFMO2UT8(>rf4{)EVw_CdH{Yut)KKI0cqF}0UU3TGQF->y;@EAOx1!x7`K@l z=kehc;}m~!hw1;Jp!n?Ncy=9`4k+ft7Q}Jd2f2K*`BD9<#$|+T<}bAL>Uv@C;!?bJ z`{!Z=3EoEuL`E}1xdEYHGi)6>)nU$5`}8@D(R}Wy-2}%_VmGSw>0FdT8Q%>piQn>o z11JT;3j45iRvXdZ$Yk=c_3nTNkR zM%}To)fNj>^Q$Ve0AyjGD5CD*UMJ@gVK(+}V_~~bIo`ToWnfr0(1#`u-3kp=F-tfp71FbR&+(NxS{%{-W_rce`7wd} zGe$7+zOei2qoW1N9)S`hhczTfQ4u6BISPj2Z^5D|KYE`nw1|>0U1VL ze-5x|5uLFn`E6v_B-+CBRAN~vme#zzA1ZrZW^GVRz-b7=O@aRud z$nP6UtEN8czlBVk53o#`UL0rypf0;qZaZfu#3u>2G-;dF42MxC!JeQ6TsoyR%fUMe z^eHKaG2Bs?z++VwR_svta0E%5Qg}@CAEA9z;q|}f`TvG5i*GT0%&Wwfi*YrNIY-|r zdr(D`h9CPIjn@~y7NQ|9ZHpdM9u3Lc9>F&MMX%$53-n!JmX*Xr)5l9v2f-3l!_mMw zn43kXk#z$+HTx8G?25Cng%B4s@=%JUk>AWPM%grgX}`lS;v(5Bkz1Y2zHNmb^!8WL zQ01`beF%qAoAJux*1~UCNIS6k;A66yu`QrpnD?1~gZve35X9Od_(}^fC$hC@#+1O< z8}ARr9r=OIp`_Oz0}~Dh58~x^lygUfmH$fQOuWV|-3V92XE`Fqb-_Py9v&VcRiYP~ zk~Wl#iOoM_hkgM-<0QcMk6|R}g{? zI4(<=g#itBVwi0*x=i%*;vHO-MDUIoxB*r16T-o_cj#iVe-7IG&evnZ`F;41TP&^# zDxAH0__e&PJDT2g{|Wjy9QK4|v%jzL>i-gOm6gCna1w+QZ%VL@Tu3IzPK>gi_VRKQ zpGm}pMg|%h9d}SwSC4u6+huHRo;@o}!T|0%9OsX8`4f9AT(B0xcLH(Qtx@OD+u_ME z9Ts?`Y?r$~1c;QC-^7_fl>Aj(4#?xn*b}d9Z*1}sxA!~U1crHRxeLpCC}yAM;|nN; zHwHidb7=2$MN1=$KiuUQ-}Xy+5dZ`o&^ji^gEO1B(C|Q;*GCqOMEj$T&mEn4@r1+? zet2dPL#g_&Lb2u-Uy`5WhAutvXCK%?jLZFS;}6G$6JP*qk+E)hR=bRW3bIiC98v87 zyBysCPgMpe>-c9ug|dca++OaWZ&x4l1&L?$g#(R(p9S&(|87uj;SEK$=+*)hWo_X- zDZ~=DTOC1{(fm!8DZQDPGTm8fO~S-N1O%V;NZ#Ivr<-h_`E0m{T}h<~qe`y4_9@@= z##!&hHpqk8uO>CI4CzwM(uw-``8#=^#mv*aOSMg&A~h;!XESI)ylV7rv1q?g2p1Py zqfDKXV?A>UcK_r*9X?bRhGWBCeHx;QPZq`gX)OVAD@5otYV6Iv(?@2;OsbKX7A}#y zDY=;PxR_@D^W9X5va1}6yEw7=u%aL{;ee4mY*ZMUB{)`as5D3&SX$p>Q-7I8f1`Hf zSg3lCR>qw_p$$$_X}L*`1>Lt&GMx zI6@8ROBw(gKxvX*i^K@*D5MU&!z@%e-911t<{4DW2&m23tOXxclUQF-#2a_w1-*N7 zO!nQ3R^}}J!D}VV_!;Hu7KSXVpgW%bz4-H71>|^52#GkDPTJ%N=i_K76XV)`v{6bRxG@!lQ*UtY?LFK-9&ci&gWD6q`YaBUW+Vt= zRorr25B`|~Q;Ud_6%z66sKCIRe75)SwA^P$E>0HxVP+W^ltp92w>@lqvo4tc5p^3q^sG}`Kb&;8y`#E1HL;ay z;+5Iln@&p`aw2YnWn$*1u7py3W2c zQ{9jHF5^<UJ!k7aJ>O#rOZtOnvHbd7=!GSyn9lK9$wK{UQEP z#UBIh8a6^hC7-F34~w9IK|~o;tbpoeem8LI&ISmO9EN(PiAtQpuQE(eLl(t-a*{!j z68Xe;shNcGrge|w+pT#-Xd-I=nu&JR6nIJHdcN`8@Qi`z)GjF1Q%~37tp_7E__eaAJ)uVt4Xn0p1g(Iwn zr^W5kW#9iY#i(bBjsZWQ(q*z!JAN4p$1N-fwLY-%M?AI4=Bq!t$|aKO!6AhpS$IM3 z<6>@**f1ImwY0RWlt@p}nm_sW?_JIMKf`M~9QvG&^Y$#~;Lh@U!%)?7p^SWfO_m8{ zgo!-NSL99vAj8yQ(dK}R*>Q^d_?W-=5ri>cCSd6l_69%RQ7+&ghYxwpOCxIUt5_}x zt~0*-iVWjyR4Q&ylqm8`qr9zwf5MQn-qtIgN+p$M+TIrhTHse~0{7v5M~akl9j=M7 z0#q(uua5Fl*$y@@f?LlH7I?DpJZT#u#}~s*tWj7c3xCjqry(G3F@}oPM$PIY=2mm# z3>p*nyJ#;e|M;+0-azuN9c5AZ>k{oNGN&u*y~=uS6H@#iCN;m(sRod+N7z`F7( z$Q?vuL@G@-1QB$SER-A#rNRmQxG;nBlOP%ojY&GDhlFaOKS{XxnEE6q#)i&+x#CT% znSk)9tF5J92i2YBi@v6z0ossX4_=j;US~nYSv1Lue4yr!hz~pivR+xA9euFQY{$c+(M;9#CK98wI5qW4t+?k|s^zc&v9eUG>I#e0`Av<*_a z{j=Ma1-p7#X2@&bZJ<}EM|)2@OrS~R*LHQ`uc;fV5-w^oA&tdIMEy6X4@YNvjly!G z{$Uq|60R2sw_mfCezdq*=(mL1sl;n$Ch8~?ikZF}nKwFyKh0(i3|x2NwpQOpN{nOv zsu^V~Ak?Y=#XEs@YLIwV$!_1ylx zAXOpcJ<%fP1u60ufmnDz?xPlUhxwe~m_S6fQr0yX%iJm}+;LK)E!a`Hv_bcoL%jA- zx8L-(Lpj2^y!Nwr;%RGSw*g|(UgFi%kTRUV=!R&ZrWG=er?{$kPHv~T;*cMJA8~D> zR9yl^cLJYDlh9X!weXUi><#Y4fw@xl2}RqpzR2^giLxhi`O)<%gv}c?YWeGhCS>`#MM!`q37?-T)9U1HA_d=D<<$$j z^Nq+s6gsX^?s&%^=Njx_H2IdS9QxL2xB@#wx&!zt|6oRtmqo>9(05p{wHfY|R8I#C zZ+6439oq^zc23lp*6DQ-Y_I`mHZGxqgLV;_SbuiOZSb}fJKfnj4R?ye>X8`kvFJ>= z;9IxtC2K;f7r{QU+@7BIhgVnMd68IEyM+@#c(%|djvn2{+!~CVfPLTIF3>ObriuF;-n`7pWVEa6%2R&faOe0m$TS_JI!S-tS%TvGoiqKR>5a zs`@U)6>`xCG<~d?1N|z&DM*g7me@FL4ERR^ejAr4S{7g0TaML7J0oDKIhWf^*yy-h zRyHa2^M{t-u>rN8_E#}WRC_Zg-9d&tq&mwHmH{bHs~cP!p&KgWKe;qQt|C5So4St= z9#>j<8w7uQgH{6Df1--UKkbYKw&&dp>*UJcC%`73@nf{-yW=sSzt%=PdCIJM=Q0w` zU)FPtsWD_T^L_qgg=h8JPcP^id(aClHU>*KOPO@i8-8u4YTKo!b3YZ7CW4+yI@yYD;MGpQDgX~u^YH(Ti1nh&&#<>Gi4XemTY*&+jRD>2S6ws$-BkE z_k+&;c!QtFK-yPb#^b{?Tt+`VOB0imPRI4rUo2fzjkVQmsgA7lT%t^_m>v&5n`Dj} zdhHxT)Qy}wtK`H~rYY8bBqoq4`}+ZBH{fcw%3pwIbeL260C;xR*Pt9l=c$n&VluT| zI7qp`Eu}1AIM)>Rx=i?h7}Zc^<9*u!n5a{=ty=zI+uCYRe?*t2*3t*B8uJ;($}%7IA@qg@T7 zN+(S7#UZ`vNm+dUnOU^rcW>&LFLSM#V7d;QN~PxVMx#y)x0GSzMn;ty(>r!#D$O}v zND1s8H^2ZA<&gW^Ck5IgJMe_tyRxYyFj1eIj!$B$Y@Xzpa*otr#F-!zD6(X! zmd@PIG_;gf%v1G)UfGm-12?Gbd5}#p1}RY%qW#8Cm;s7STw&J34hWYSp;`7b{ZHue zi_BYJU4NESZIn})utaCSwu~(Y%Ii(?T>sh&8o~M+q0>vIzs8`{%vY)1Z%}~ayFhk> zLNup^WbgWOAFXDZFf`{O_`ZJE`kq!_bF!A0D%NmXIs2*tgeGii_BC42q}*~takP^i z0%G)M@s?k0riwf!?cbuhwYYn{(3?;r{+clkanw^ju|bt0v##+VxRE zQSb5Gq+w+T&#KaTC%f0Rpx3p|(Vj`;nVcqr!-nF*T5P$|KTA6`iQ1AS`s%57;grG5 z_m}f;hN`}aiQmQQ^6sQ;+|}yeLe)2y()|U48QN|_-TVSS77_MEW*hczZ+yxn3elPG zB{}$+4&rEh|C`yjj*FvpBZHJr{=kb2>K0JSo0{xCez!Yp8@q-}bZ8eAYfFy1dgg$J z?IZD>s*|nS8Kt$2EtG*mvBv8P`V~}y=mX(s)OF573Z7;c0|hlYvD@7FK&e^*VjDkh%oFX#;NE z<$}|slurYlXb#U37I*;~_)8taf$&0A50fImrX@6?P#B-erJnm_}aZc@hf zAGGV7XN;-{+L`)P#)zSzvsP4$zVDzofF1HsGx?PP;@=dj;bVl!q>vd>RDx)LstV)- z<}sij1M^rXghCdcR=oau@@$0?R*Cohju)}`C7r|fbWkk5mj12Jq%Hq*L<4FXyLRiO z5j+WIFZE%9n`SI?h5zO^iA=zSS9 zCu%GnWKXWs$EVyD?$Nm{;_`FddNqp`dsX${aNs{b@B(W>>><}HQmUV_A~vOe&xQk~1agRFVI&}r=+MP3viutA)sD<%D^82%>NRQG8#dLl=5A~07_EjN{ zTIH5jVQs+boWFJ-it1-0bcd6rF)Oa9ao-o2Cc{XvA~Ci3eu|*j`0MV!xa6T}Zk|Xg zn_yn1ZB2N0%^_M;G$u|J$drf9kF-+z)#M;tY>7O7Jz_9!4}{nXgE32PN9Kr*h~<0(1RYchQp-l87)HX1>M(yf`$-SWwJgH1n7BkC{Z|h&87j2s z#5%@MyQT$@j4J~xJ6XGH4=a19km9x#djZM&>br!UGvQ2vVzhDGQCYmRVO=FphCv$2 ze?zyMHF`R5-Qv17nH6tXW{Bk;{|#ciOgR;_aAv-DuR%@@ZWaz80|y5K6Dqrki>0)= z=X+*K3j#TSyc~SM|3_)PRYB{4*W{Ow1WIyANOSP;OY;7w1tkFFWf|I%FMf!$nIt36=K|+?HCY*ESQ+xIHhNvZ zjHIyXe;Lo%js2*UVYv(pWaO42Mb1l$W)3 zFH7QJVxzK0?C40!Pn@VM()m{?i8?)=BLi8e#cfi637O(OFC0Vbxv zZ#SE4gYrX;-(8w)x8G}wY{XiNNS1QL7bCnwK*dhwS>SV*5dn^cSKMaWQjccIb zE?So(rE`Q=>E4$^XvXPxDk28eB06O?AT$?$fJP#(iVGRAt!VV0njsmWoFbbeEq&9G zCH=UD;0=zjjY1LXqi7avmI^mEV>b|4k?41Bz^Wy73U(Fa4_*jeP+NlYhZ;ctAx8u? z=i7FLxA#dj8{4)kivFSoagVd(w1g1@5L@9{@? zMTL8r3!%(|?GoaRZ34q(3&^R7?~~zvTvhc&nJ6ALEgiISMW{uoO?SmKl35KYOUpr8 zga|@%Q0l`-ZLj1Heepo7MWbN)ewl{wg>PkA-3S@bb|?w5Zm$!!UnNiv!NC^J)+_w@ z4`$ADG%{bWakG>y^_ED(H{Ng^`U#e?@vFswHv$n%bdREN>t4B7s67gtx_C#l&c_;n zOtYaas+T*86LGEhNWB&H3Tlq?V5+s3tqjV@!*-3S*I}2nh(50 zjzDk(`lBrSqhr7}H@q!J9BoX8(4#a~6mu?kF=v%PVg9Y(Lc6B4OaTe1< zkc6Ujs`tQcTYN|P1e^CbTqnd+l6OwNEUl^J5$*fkQAr+gP3Yc9O}3ekirV)udgw^z z1?qpKeZwI%(UMPGF(SFL;OGH;$#(#fpyiXa7krP5wawX&4Hx8ymF>mdOU3;bu5`nKPSB=J}Z0-<^G0dn=^YI4m3k?de0f9JvOji0RxIvCs4Ao z(c0v?C+%R2qjW>$I>(^Y$u+z2@Dr`c;`bTJp7C7jv{~P5W~H<1$D3dPB?!I<#$Fs} zE)y3zXu=pH_)_Fs_afMUAHZmb-nl_Zl<%qFvY)U>$ks7QEZ%Bt@t zIoPvdK3tbGcx5&{x0!SggfC?&hbUazn9ehC=b+Tl^Yt}9Ue_N43o6y9%n4aI6(`_0 z;N5=H%dHUly&^3_T}OYkM=)WE=~YcvAU>^ZB0$_?|2o9(=}G>_zE~Dh7thG6;L)(= z>?+^|q-$ejB&zj+{>=bhH&0Dn~PI$s%9d|(v&sP?SL zu-*NcG@@E{@-ve9cr#jsM!#j0pL61)Sdi}G-(R$LWJ5y4iD3y|iSMwQT#kZ&flE~m zX#(Ud#aEO^o_;cdEQiW(zX`32Tsj?rd%u1Has%)6sFyn^pbg^-<;xlH&-5qjCLDQx zjNUH&GlDCZF9hsQhD~U8O>3hiCW|=bSl;bAJT3?dvvl1Fp~WKe`{TN)(eAwQ+$uWn z_c4q%m(1(zy_I~SqqSsG)z`YLw=+{uguydL@AuZOde^}kSK`?h-H(*dM&CnVDy%?9 zW?FDDMFeTA4+goa3F2tTY>b!+)o`~(INTvl!MFClF&d;x7zS*%b+cBd;^&Sn{HrMQ z)YWun%|!wAQ^&CO-=4%<5dvKfgMr2AP#ATj6_-AUoM2U%4>lRX(U;|&ii!Yogd?@# zK2EeU(T+ouB6@A(L*gP6Pgsb)&J@VN^;99hX78FT@dxPvD#_#+YF4A!Wt8AKY*B2D z5#mikx`6nwUN+LrxAf!Svj%rO2%ZiBAm414pbbkW1ij0tZ!aV03r0TAXInaJKlzp^w4ymp1uV2hQQ$e{EcIb%WJ|%QiFPAqA5v}{y#*RP#uOujDl&P+a zKkKL7MLw1n>Oxru3{#RfEV{})oDMJ3cm{Xt-65Z+43;`52Eb%ewv>gbcX6`lg^F2r zLK2PcYulD%@x>oE-cm)O|AzbfYd^89vUE%f6H`)Sn>?pL{!YbfM$P=3odPF9 zb5buvYdng`7V3&(TNylBNdQ95%Cp!155Z;SZ8ZF`F@?Of+4YUTE!g&*}jr{}Dw#|+a<;vg>EF~@uo~!oH!`ucfIi*4I3pIP?n+vw37U^+u?DoCJ*YyXHX@M{T4A}B*v`#t_>c;+#W#2`s?o6A zVy9fJnCjo(7e+H(D%_U2m^t_8yi&(p%-;5?-}4Q8H**#nx!em7*m!kM=vmnJEvFq0 zDEH{>$=M#L-+2H%WRn$kW^MO?rr&aPr!@F;z|BeEvn?`}aRCFhoh4|&m&IX$_Kgwf zi+BRuqj7QfusfL`II1Sttw`0pzxYzFrLQEvX8R9373Y^z%j8tfLn05Si5AYqA-rJa zIE8*aL!*`197IBx>I1!1))ifIbFwBw98*NyUa~gSy*?0+D|tg0j)RyZfE9KnMsJmK z1q6*8cWOXg+KgU?M7JFG8vw0|iJN$%TTaIolz0l`$2&bxwc#9nwDbwI9^18+EovLf z4Xp55#zH&Ccn#76q0H6c%*K}K>)Fg0mgyTm#_9~x5hT-H6w_6vnLF~db>Qc{W34@O j!H?5^Z}3RnaRjLVY`n}*CTJL_Kp-b79i5DtEb9LOg!D!$ diff --git a/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex b/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex index 0dcd3b9..6e78ee9 100644 --- a/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex +++ b/semester4/fmfp/parts/06_exercises/01_fp/01_haskell.tex @@ -17,6 +17,9 @@ For the cases notation, there are equal signs. We can use underscores as a ``don Always consider making use of functions defined in previous subtasks. This can save a lot of time. +Note that in a type definition using \texttt{data}, everything beyond the equality sign is part of an argument of the type. +So e.g. in a type like \texttt{data LTS = LTS Transition Int}, \texttt{LTS} also needs to be supplied. + \subparagraph{Lists} In list comprehensions, to draw from a list, \texttt{<-} is used, to delimit the description of the list contents from the generator part, we use a pipe character and to separate each statement in the generator part, we use a comma. diff --git a/semester4/fmfp/parts/06_exercises/03_checklist.tex b/semester4/fmfp/parts/06_exercises/03_checklist.tex index 6c9f699..fc7914b 100644 --- a/semester4/fmfp/parts/06_exercises/03_checklist.tex +++ b/semester4/fmfp/parts/06_exercises/03_checklist.tex @@ -1,7 +1,19 @@ \subsection{Checklist} \subsubsection{Learning} +These are (some of) the things that we need to learn by heart for the exam +\begin{todolist} + \item Haskell prelude functions (see summary of prelude on ComSol) + \item Definition of fold functions + \item Definition of canonical function + \item LTL symbols + \item Induction scheme (especially structural induction and shape of derivation tree) + \item Ideally for shortness the CYP syntax (roughly, they said they'd not deduct points for incorrect CYP syntax) + \item Promela syntax +\end{todolist} -\subsubsection{For the exam} +\subsubsection{What to bring to the exam} \begin{itemize}[label=$\square$] \item Multiple colours of highlighters (for eval tasks) + \item Enough pencils + \item Probably won't be needed / allowed, but some spare paper (for notes) \end{itemize}