From 9f03ad8570314eafd70d3d5fab4a2704851bc588 Mon Sep 17 00:00:00 2001 From: Ramakrishnan Muthukrishnan Date: Fri, 19 Dec 2014 21:57:37 +0530 Subject: [PATCH] hw #4: exercise 1 solution --- hw4/04-higher-order.pdf | Bin 0 -> 83036 bytes hw4/hw4.hs | 37 +++++++++++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 hw4/04-higher-order.pdf create mode 100644 hw4/hw4.hs diff --git a/hw4/04-higher-order.pdf b/hw4/04-higher-order.pdf new file mode 100644 index 0000000000000000000000000000000000000000..f0fb2b8bb7d7a94fbb14f7a4a0719b40214e3f93 GIT binary patch literal 83036 zcma&M1CTDwnl;+Jd$(=dwr$(y+qP|Ew{6?DZQIsvTlYKX&di-Z{)xC#QBjeZmGM+o zWaL`8){~?PB4V_RbgWRMb4$Z(P@Dt|1a?N21Ux)Y^fCZjGiP%GMs^lvf`4C7^kNp) z&HzUOdNFH5XMhO6*vJfbyqpJyEgtJ3ah zIg7M;Qh?E{XF|h;j2Bf;IQ+d9yPGd@fkq~a_iPfu#glro71K=(@6}6ld-Zbc>F`b! z$%{mQCbFb$*PZ6cD5r?wbve~}>*x7k_-65iR<^*18iPRm+ud1&1QupK7?qTQq@0vX zyG8@yz4llR2jFvkfE7j&F6?DEl$gf?!<~Sd55tHvARMhE#(F*rUavFHap#w;I&zaj z^DO_^Pwk+I@9x7Mj_r zLbg*+yx|dTkW>ehBYiV?;1**!)rC@w7?V^KOqs8T5<($|MEloxMthEt)R%htCOj zI2bcX0mvN$7V;gwWZ7g zMg%fvZ$bl#KcQ)kcfl0!gXz%xCk-gv{nFKUJt^v}yVrfnaNX)OVkp5fFh9a5o!tkD zm>;0vYaQh6tl>vsan&@^?M3x|D!(4*^EaA8sxtUqM+h51@WXoAbxlIH?poF;mIWf{ z3QH!sPNthFVi;w;)S-&5KNkzYE@JP43Y^POMiJ5C20lC`k$xC?AVNRdW+Q#3`;%hK zWq@>DJ031~R^TwJxk=oFY#`Dz%<}6b);?J@uA;grqNHT%X)9#O#rEyG*H*eLTa-@o zgsQ??%`AfZiiL=)mIjm=n0Gd&Y%T}INLdxI1a=>?=Z91RJpamz+X~?t`D}rZzKtYj zK^jTkpy&bUzdux2>dQX;)+X6;G zb&S#se!RZq@W|CwpPsK;&Z!Ctf-eLY%&|&-EVUenslJ?{bKvcb0M0VeHSb|?pM4rg zV0{Rp7I|+z+$k(v_)8r&GAjy^Ycz*3Y)FUnmktk3Tr{AUIpdweVHG9 z`o;3pYVO>9V@n?{Hca{OL(Y1KbzXcmW&DiA8&8b$J?)2UC$%l_oR8EHhINtIhq-W8 zFV{F3R8qBgk3%9v;b2fxPv+}K)+CKZF#Yk3mWqPVqOXq zSw7m@FtI7_U1C6dC?!!-t+FV!Ch1SSpBhao>&*z$>ZL_%a+27#rwMqiGGzgcRA6b=>ZgAUK|N6; z2X+)wMT?)KY*j2e6-7C^vGc>9(0Df%R@dJjP=2_J z68t0Fe=2SBaMzBs_Nbj^t>b^Z)p5`UQ%8S2qMD>RTEUfGA*0uZRalX|p*JX?2DXl$ zivjnCCxnoQ=u6FhTw2dYyAkzGL_qa)x?i1Z=0Jxv{H0zoi_KtwJn*Ms4ZD z-lB<}hY11F#h6+KL6;7*-c@a(KA^c>7iVl-=5-Zykz>|n555M!t4XdNfruF|`kC)= zv^Ry)C`j^dDe_ zQ(Yh^fUU`YFxx++e^?QUiS2)&Mtr`hqV20Vq9d0I78h-8KRG~i^ z#hn^9{Rjd{nmeT+!9QX{mG3=)0?dPR=IZCwYlQ341f2UvKKP#BWE ztt$?dltAS5OLfBFvQueJu_qsXRqMrDry4#uVKl;BJW5x1H2Z_1d66F20m-0}aX2OL z?_oU*=v|{K7dv;|stqLy8KR@y+{?Qh-ZRP9LcAC4v?a=;Fa!{+QaZ}qM<5{kU@{Vd zf^>8u2nrTN-yOAfh+hSBel(d40H5`9^^!2wO3lR75RXbMvIF3VA6@!K8v*Zf-5%== z|95Zpx89l#z1df>SU)h0S0#A0`8n0;LdF*c%awWS8}rLsC`1Hhubc^+Cw#<---3)f1=QX1Irr6JV(?v;9ECv5P<0;+3`# zF@i)#!7}oHmY4O}YNpK1iyIy!ZFQ^B{Alvh#PA-C_Gt^2h)F;(1NC~ey}PyrZxZNz zeOR$ws&PZvWL3#X;xz)(spI*)dtMzqTznp$p8p0(R?APIVgO4dmXr714t$2jzF^$# z5+Pl`DZ-otBy)=Qj$(03)`OVH+sz zffKf6ALS>M16TsrFd01R-2tZwnt6XipMJZx()2|LU|U31lsI z&;pKVEDX{^SP~G`8KN1-lm@lb=>eJQy5+5=XZBV!aMYOX=$%E7b!d#(>zqT7kA5fD zc=Azy!yrGW$GD>@1t8L+87TKBvM}ag7k#Z+c*ioq$P5pD}cxm#SFg;x?+Bb7jg2@3JFS$CT!P} zhk>O<M)Yq@MYD?_ajNI<_Ng#r8pVpA|jr(};rGHrQVpy3t%V_CI$oj#uR2 zE29BBIB>I9m}IYa(Z#ZaGdhZe6(>Z>pU|{1Y&m^^D?&Gzavt3eRG9xj7LqTO2~W_7 zd#>WGKLX1#qqD{G11Z6opZgzhlKH>kq>6_|*5n?-nsTN1J~X z#Xrw~_h5vgS5Ohvp!-K+0OSm900b0t^d=UDW{!q7PV@{cwB{CO<^V@pJ4X|MBb~V$ z?SHCYb}o*_0H=RTA_Ye~V`YFd zfi?mCKe~y4UIpOpOz=-HQFmu?W#@ke^6y?s>;%k=|BlGV_sz|8co z)_(-kKlgvhD+XqU|6gI1wXM;fK+Fy^{Xvbf0V#9)3)AzuJIkY*Ut#&rBmmS3{QC>E z^Q})UHp{$$PIVdr;T5O}5AGuKVQA)M_0_MNmfr{Q<^JY?GAya6?I&fq&*!a8;#sau z>Ccrdw39_rZx6)>g)-2OTT`r+I8Kw%d2y+62P3K;&OX7Oil8LQhZ&;Z_YOobn0)UM zvdWK`tyL)?glI^A*9O5&co_>Aq7aJ-aqipb^yRZQbKg;IVU}udHwQL9?ruDtZs?>m z0Z=y1-Diz!G)rD3XhF#L{nUi?t;b>deqEop2!7;i6g5C2mK16~W?Ve{Pw2t4{i@2?wj!7)Q8g`Z zCM_KG!_5TN*FNvoy`GkXJj&1y)>rrYmZCIDM-QF`7K(%hebjtGeK}D|-BTinw)M3{ zdaZaTk7!l}S|f-!v&|5&7)%KBty@NI?*E+HGZ7v;+gW5rP@`JuH(%>+ukBn%Xcfox zdI&6*ld9vP$e0n>o#~aF^kqK=*ae_pN9(S#%vj6_b8Ru3D;tO*ngq54IQM5w9REaF zBm&p%cgb9jt=7kjrj0l%{!9KnH-#PSy57<$7>(AP`Kl!Wa0{Z)l3<+)gZC%_V99(2 z7(C$E*t-R-6)->##YFgx8RKe~PG7?sPhL_TKWty04O(gC9Z!#&WH8ni(g74t@lV>P znKEDJnMrM2=YF5_oer_DmoT!VtqSzas zXPH_4!IOV&O#fxq{7>G@|A)5!!dOP(|3V#3X6FBH++?XL+E^% zR<`^5ngQCaacL1^d7Bh-Hio8gkyw*j9UWeqHQn0k3zSr3WOfM1^OQ&(v>jsyK$0+~ z#Bj-R2n7f+_|@%25NVwjK!xKTwRV~Am5ibMeJ%_zjeWtW*mnA=*B}imy1C#K5XF(E^48~!x9!7W0L`Zlj z?IYhkyl|;jgFg~hUS8a-^k4d+mk^}H`xLEuE@HyoG<3lQ2V^sa4IX?#b4-P*0w-EReTi`^& zGTJSkTwI+k9<4V5=CE2(SaV!Wc)ZbA@gSV>(5hwV0$h(29Rp2FjHZE_b4})-8EGfP zY0VV0?npTkh;Au_is9=$rHo(rG`tlMo|dNP+@ykjVPA+wp6<+Mg_vkl3UjHIBpgJ7 zVii-9aj9NMmek|w0YiF&x!D{a5%ce-=dq1Z=vKGW0npQ>F>3eASLL(4mHp^S5BcqL zls{hCYZ9}KOkW#dn73GHcVS^W_#XsMHU8lC_F4FHq$34k&t)X^-G)KLaZKKk@_1QN z71^aj5&8D8c-{`?A~=#z;JL$MQ4RV@V|GZ51Xifz{Vf#M*5mUrYXSI&A6~6q16GWz zhL(Jb_SJ`zy1OH(jL!R=y>f!R^TRy{ev}CjP~F?{qssx8T73}Qc`sxbdEX1@=WF8~ z=|ha)*WdRjH1U&2PSRwRfa_|iG~<47&pKf!v2wVprp`Yz^^O+FF*>2sVCJv=l3ryu zkl;3DA1~&$(hPKrtpM7q;J}zA>0wU{a@%tEHj=n1m8}Uah%)+iM|}9dl8-qPheZeO zl5v_*jzUS^iS}xNnC16bGJ0_p)tJNb)@+{jxJZ;Mo;hmm8E3-UUCa-&>o0U-ej}|h zb=PhTg3RWA7giG+sq2R3MIFDkgE#BMue{#lXS!8lEt=ya6{NTKdK38*e@1MlWw@VG z*Bajap0&o9R#U?zR}w&7SheC%^V9Wc)%uoC66$_~27#L16)nUA{?b_(wi2ynsOT&| zWuz&un4}+0GE`l3YCL$9H6=QM zMRCZIHO^%}$u@E>K1FU}n>y{6d4LM}fn3locl{5`pX2{s{{M$t%fia`zn7!ZiG^$k zJ+rlYY;8s?5(mZQ)^L*7)@-RoOg+M`>DDx!U zDa$kCk%~iNi69vUeyS&5LIP?{&8d3Ga6v_^g&3N7H05}zMlUrBm1PYkb;{HuRi)MwmMx6T*eJv!)N zA$6g%E?ZA3x(+>^|2{s%tgGj!3J1?cM+ISmh*tBirWYvsB&5o|sU~2HRQb1zivPv_ytZvmqUU4Nx+>Dz1{JF-)rgxvQc(boNK+%pJee z5RwcI2d}*PI(b*HBan;kOxQrOh{PiJ?kmeaykMtBzcny$Crt&FBq9G4yzMIlkV1J_ z=C9A3MH#n&HN9zBa%2R8pNKFfk&VBQURfXl$28N64I2CX&}t$f{BkSqGm2}VDO&B& zKYUyU`if2kt1;osTcleigWkb_$(3F4-txt9x|Sh}LfSdBpZhr>XRXf#jG!l{rw!pTWhfH8(@CKkhFEa~EXa3$ud(H|Rof<^=t zfoZ~?9{)XoI~fr098?B9eh7sO4nY|(v?Uxla|P0;mCUG{Td-(-*vqCAo;X#;+d)I0lL2948BY$Z~D#_sqh&21}-#xvz4LCppVQ z21vWdufaQ9J2RsY&EHQR_U^o^n*Qzayap3b06|IyY3@>0b+*w825;zW#6RiK#kjQ| znJ>Z!m695n1$7Ld!54-;TeTimP!o51D~R`Yp`znM3?)htrW(hRkqh-hUkt`vS;Nle zYY^{jc(8;%0}x;ajs4=}0j$5b&$)Io*V=4?HGOi3J1`CHdY14>D1uI2wX&B35qCN4 z%m@yDuZT3%|E2eEVaV5ixaeSsoUx$Sp;!Zw%)=v}-X_r_A*8_5yiD!7_An4g5~CPV z#;33bNe47g==^HnyCupOw23O>Pb1WJbl}Gi~N5howMz{dFJjX(0;T7G!`c_s>e0J<6 z0>ndM8aT#y|`>)!W;En5a#$dN*G>8q>V2AF538ZcIocQ zP248Z^teN2HYCwaTl3C@H;P~FJfvbBQTyz?w2tVKQxJ9oWWMT+5xzL3nA4?&abgyM zf|2&1!n%%J%zC8x=xsT^o?}++*V*v~UXDff`~Sv&)_=*# z|1(?1NWjRlHS{f$(s>0v;|! z@ff7-Gg?n}3>hZVG|X%Q2zo?8B1BTl0SKXRI?K4TZe(6X;U$XQqOQ}dm(L%q-B#1; z^wXV>4X@qRoe$3yEIc@3WJ6T+BxIOCA)}CfA|prtjBnaH3<5GTLLxFUxPyJh5M#tT zep7^4PMDa0!Z^o&99iMPJdG|{+{od>M@0#NQEXs;QlPpf91Sr!85jg~zORKBuzb^t11@pI2K!btwIaYAnKnMHg_!!Xl z$PN2|E`UF#WquEVq;(83_Fj`ws8`XWz=GU@{ocY19oi%Ail<{>@u!DNGrt55&0#pQ ztJ|^jN4PCz2h#ZcS?laq;71ln><22GovnzMqfo?;a}L%vfXL8?P(U8|GzbN(P&6q| zfD$0Mf0)mw!13!M82qz?6UDy_14MzRpZ}3z#=MOjjW{rX*jEYVD;;bX09zD=H8BVh zI%Fike^Ux4KA3f9^Md}xyUs0=&%n~@5 z!Te6$Uf+-N=fm$`LBQy3%xLz3?fvn2erBVYhBdvjult4jzWy;7zAt_LYqPVxIajxr z$ALmbpFglaton-KBeb--vi-Z!KgY_dqHn+f0|`d{b!|x)K;P{qOs`>kekE_}Am3y^ zla{|je%iPEOqRqt3V_ykac-wSGQ(zboA-W*F@g7TQDGEbbwhzafAoB`87UdfKG9!) zX#DjFe|o!r(vSVLzkYfUhOh%(k57J%fBd!-;5i0<;DLH4b~L(Z9u?gk2!60Ffj?*g zK55Wfn}@yK8yXaPcvKSXL%kaiqXK)r4CurhE9+k`a9_Nj-k!g4Aen^>_xSbM{26== zevSvBXWrnxLjwC}FH)gHR~PxEEeWy}>G(s)=}2J(=FQ9aA^1H%C7~dGAEI9TdiZGG z@GpZv3Ky5L1M$C*t(TWfA_ zS2@RkA6BQ5t`|i$(M0Ei_-u%9U+qVU*1RhATiEVz#>6I@8WWnK^6_z=axK9_9ka-aM2_I;05$__Hb$n1%%#MJY6F6#Vt zc^8%qaD(OszB@}{jJ=j2JkRJT|M-i+wUJekr73-O!$j2DQa&9c*nLsy^8OG#R`}*< ziBiy17Pxa+q0XeuaP=%}N)g-)E6ZT&%jX?F4`i#G@|t8O;5#`W!YFEgt@2f61NbMp zOSt)c5%}7EnojB(?+=BP>xQX|*+|jY^>1BZ-7?e4CEHb2N{2YCUqZy7)7Y+6^C5G| z+2z9XhpOxlS`l39t)&29K3*6)D)lyV4D2GTk+;Py(ERYJY#eT$ zKh9peBP9mMW%&j9{Ty@Rf$wN}@^Jd!rk zDaG>#GZ>p*->tDGP9kj6QB#)qlE)ZMG&Q48ZnbK`E@h$OEfaq`t7dM{(JD3;eFW3- zZP4GuDqZsp{=(!3IcLL|42(R9IlyV>32 zKLjUJtRcYfXG6$rt4HU|uauF^M;!Yk6Z0wSrS` zqj_fbFs{MRBaj)AHcWU*-+SWFiTdvPSQqZ`${(myX(;;x2N>{e#5KL|TeVrlkgzmy z5CUprFuq~eV@Frq1YCn=DH5D98XQ~v-k%<@UrXR6-I)>HA7-f>fcCvp)qmc9uR&}!1 zcZX^HMovPxU!Yu8?Kju8yG4({pPgQU2;ZMQpKPuZ1$+hde|$$<6PvkZue)2Db+-uF zSXri!!jk%MSS#VeHCZ+6T6fcO=6}>(;Y`x7O=`6j);bma3`kwMsCUWdJ<=Q=B5n?% z?frTWQ9pH(gDlAe7l~bz1+Q`zEpf)|b%kPqWHk3(f(;g{)U32LT?$&$_#%I+9Xh+; zwnJn`!DjK(qN%nSnvQwBJAQRZwnrMwk|jReK&a|uey+<-Pm*l4N>a}ny{=c56j%z7 zLsyQBW51~Rwz^Xr@yEOwN}4JoJinZ^s_iW@w<@8y;!pM2P2{g!$|(Fu+tKvDQ@-gp z+q7v#Un9~h4h#wFuHN+{kd#^VzD!KHY-84iv0koFa`GaBc@g(aexMopT2r@kcQ|W@ zL7~?XuHM%Dof*YKh*88QJ^ zK%;QwP+f5S5jpS9D88tNBs7ex1kxwOm3AehJ-bciYg^@D1gR6ExF^PVic=!v?&$&@ zunMx1VqyV-djRw@?Og3i>m1#1RWI^6uyfGiL+Y>;fz|MUAfLZ+zIlIZSJ? z?D8j&x{T;<&km9#M@h0IDXgfiPnK6`E#Il$yWX`Vbhr^~b|`dBn)Pms{K|Ishf|~B z*mzS;=2c*>J9lH4r72`$W?sApm}3R%Vud1d%#f${&k$aU4l79P-tA(E@Hn7|ex*yo z8;pPx$KoXEViu96HJird@qGcym~K16+37hi`qt6?Zqyy6Z5dTe9lC^W;r0mKNrlfE zafuH>#gv|_&B&aL1uVOW!|Ube(XpX0PNfAwFK@RgatxsL>^Sl-To21`W;#t|#kCvj zj^$gVEXJBa!k!qyBYr}(9+W&nmIf5GS^TL`-Lk*GCEuJa6<3fnW*E$@=@iJn>Pq#{ zTdu6(AwV?tGb6@6yk|i5ASK9;cvMoHk*e8(h|&`SO57H%u))dTA*07e|7)DLgHTyZ zNjzCy4bFcktAy#)`HUG6_e>tWKo}K

{=amOxvL>2iw2r=n>1dFI4VX<`Z#Ki#S1 zVBXB4HN(CmY`{3*iZZjAMvGPgoy9oMiyo5LKMLM8p2d`wxh%lGp$($abRViOfe`p9 z>T1pORdHHcZ-9D3r1K7tPu4@k9>+;!bRgdy4V(dLA#hs+8kstqDcDhElie9fALw^= zt5?ud7+GXnU5$;{u+&2~;ioND+~RG{5D}lgA26)o(ri4~dw5P&@MTM$442CImaRKn zg0+j+wd7FOQ{Z&*iMc2M@>AGB6WJD{shj-xZ~(9<3EeMTQEg+gj%eIY7$ zYJkZ$Saz!Cf?@NjSfk-FD0B@qu5o)7x)*~fD!};@cL{`$WpPYzm)EO~w+wrSL#F)6 zzqU#!er`jfJxs~V8*VbO(LEPNTye3;&C|A&KzmubEfGSJC~Hp z#GFkO<=o#}sHiYiR9LA982sE|I>D z1SOYHo{D%+mmHC?yxhw^0=HImbO29}n}_GKd!v9cnkBN&?9<$sJd+AFQzG5jC23Tm z?5AC-Q)atGS}I6BR?T zU^>ms_H!5d^DH`~#sJkO^3=|m+`?$1V&G`a&S7#xa`9da-|H0}x{o@|$eXKo%XX)A zEOyzdyV!EpQyMkWz4zp0h0tkPK~ac>Q=~K$-AOikHITFkq?Nqfc3*Nqyf4zTU$jOZGn-7$#(c&)&oXTJzTEm z;?@V36Lm#KYTm%T!C#e;0BxmEfNYdcmB=+Mztt@~%ehdtsx4FShft4iCjMG>SFEST za%rlCrRqs{5yeYV2vy?lj_RPh-fY0=Mh-dY&65YEBu1 zT(jku()N_RpdMslwH}Cvp;T1853m6%a=%y#4zc~DE}Ou2YL7mFmVXiSBZ)onjj|+NI#%-az)( za4QP!`sWRdJ+-HQ8jHrNha5Gx>V`McE4(-xM~owezepqPrr%I!3v#F z9;x=K^Tha-8oEYHJ0%w+|4dC)S*1mNa5XL*Cgx%5*6L)=YCVi)nVsnB%5UPv;fYS& zi>12Kh@8Mst9+d3QcN>t8wowc>kBE)IbM2FgF=>EfM7V_KB3ilcP_igeq2N};@ogL zw|bmE&_qc^IK%kTOQ3)jeEj~&eMe#*IH9hS_@~fEqOxx@@eh(_9x5YLbb0OUM@AN8p?F<53MWyx6xxNv{u?V?v1dy^20$9x#c%BOOh;@?XhlVFL-V#n?95d`RYWHwW9=|UXl(&J={y> zr>HN04;`C5Ip{cP6?97QOAd^Rn}_3HLJi`T{GF=nVB7F_t7`PkCfIdC`(6Bx@iWMB zM#sm!QV23oJ>wK{;J5xfJ1vW>)(g&1~%c^u31T0H4K0Yayn6&maGeO zUdmQfk8QT(4a}g;3H|G^-h(Cl>|Jl!bgs9a+ebyx4t17mp_8b69Je;Hn~?uIPmHGB z1M#j_B}f1J;_8YcuQqjcce{J%}^pqgFer@AojErb)3jdD* zKcSC}GRt7^PZ+T?choxoTr^r%QhrKxG$52NCOXSh|Ag$og<`XLQWJRc7MIujH;Bva zb*!BlSF+#H5DjQ+$g3iqon{wtPf|m0^Z<`HS!kCp>8%u`(0B)d0sHf~_=U!BMKU(_ zRnCCtR~IfPe|U>CE-LWoy?2i3=+V{m`AarNmQu`Y=?46B3%Q@Jd=WM$>-Q_?Zr?bo zl6^ysAsG?Kup}D$_e69RU7p|Sb)`1D^W8r2jiZFAU!)Lp%yIpXGwNTL-H^je7j&+z z=ULKZn&ImVe903l-kTXY+-(or-KEoFaN*=)-hU3tc6+@M&@KM6P68ymUp|w7Qs4BoO;pSP`Uj5BUY47SmXMd& zUlL#&Qre1rCS=lNtINI*GE8VzygcdFA1s|jDU>1URvlEfD3B~4n zRePjxo6&2j?y2rL);s0SeFkY}nxw7)*v}INw_OW1(vHdpE=Y8cR6o-I?mg)vk!-n;R;KrjUdpmc zr4$UkPX*-zbSUw@A|xS}ZI+D*%i!_7R3?3yv*IB1;q|nv47Lk9^H>+(JEJ>gCRDBY zJYefa8jKv|y(UKMEVODBw_15CJ~KwaBvpC~%~%C`=Xm^-OwTKif&Sf)4!sQ8Bn#}X zD&agE8+lSeHS#gHUgN;+s2*FiMjE054|CrwBHRA7XWJOAhgVYL51cpqA*W2nvFT{issU_AN>~=Gj%pXO8L&Znf2`_R}4~x;BU&EWWER4BlU7<%O zI<`*7s;M&bqMiEpmgKY2m4kT{!IjC#f*m3mOn1;(qJkqnis&g0qtgCQazJDh_j>kn zl{@zBkg_s4I%U+hYlVMR8zYC*KF3-h+ubi^OM($ITj`RGCCRxgT9ob1*CRDt&$3s^ zF@)v+Py|Wv8DiT8eef4mROQVYoke1QM9rpkID2P=IIjmmjJr+{d*!Ch@^~hJdAcT8 z;waiOvlbexm{5*7-t7z(B{c5w&FWCDhYDUNRYW9ReGT50v<5r0!OWz@uQavVR+i{r zl%QW{L(yzVNRqux);NK{drRu!*Fen;^GIlgHF3R+0rjszTsnezJXVEQl*EP1L+Apj4!ruTS-ta+@)oA~RG}?chqWW*gDE>*K zaj^YYwv35@iGlflOrtSzvj4BsXxSqP$>vSVJ;gS2~WGXPV z4Tpq4m<7Njto|Yk^9rkq${;EcA~ALm)-`Yj(f~#v?r3pgf||H4#!TeCko251IED`h z3XU}{O51IzG;Tr*D=UyDe>=p!-$I6DzpOLB4Su}|(XfT_v+U!Wa{#*xz{GfTCj)as z{9=$d#{&Z~74)xX9bVs>fKgy*bOf3r;7OnOMZtpwT>_HAfGeaRfruUtUDwkyC7joY zh;SkuNCgr~ApoiXClclWG?okJ@Cy8^FQ9FQVL~0rU(tWOm`3wVD#-c!N2#FJ*nh0ErhhCzmk3c6VAZ4#g zU{iZ_Z>UaP1~4HSFaW~0-jGwbA^M!&M-#SG$Y~uC#pE(D3U?z6adFWQ`M`d7%0d{x z?*SE*I~QhA0pk{Sd_+_t#5=(=3_cuWv0#-~g=b(K2m)Y&q1X4G%t!}AKLdJ1eJdn^ zBR|tzox5q!bqHz$y6wmdSYRsd>ueetnU?Rlkj8Q`F>5~piHM?nD2np^@QuwD;0;SG zfm?4CC|_88O~g~nX+$vWxo;`FBZnT?y^rN!|AA;o)POe$HEWnv423l2K0Y0WE%sOV z^RSW(^xWo^*$s=Hkk_@JzeK*1epu(H(+`WGZ7z!|Re8U9y!u*? zL1=)#pMh6iSK*-h#EA!G@X&>RYO^k28-Mx!zV#_Veth~#i~aDK!YMrXgheE?ay2td zg82|803A8Y0ScNJ5YOav6A%cW3`B(J4NN}=CPj*W)t%ZwF7YDtu4d^8CHVbWQ%osj z7UZ3M#X$AzU||ODcF-9wH7bhj5UuNZ^J9usIF4Tg-SaI_b{DVb$JPDrm3ENTSIW*x zWm%Lew1AJ+>4HV~`eWxLuKw>(otBn!p`qqi=UIeWJ>GIOJ*b`+Nw}UZEx4Tcr9{^h zt=>SM3j!Pu@+RYYkk-A*u4Yn7hkF?zfwEEFT+6~uqF{CbNx#|c^+OUJ^R{dV`zRAH zc#7@JjVhX+h7*ft`BICGo#8EfxTKW%*}R2M(91>^v%!&`mbW_f|u-u=`+{ zH4tda)l=536=L*2S*lfUA$+({?C?NE+BBuSMXNszf%(a1RZpl-t$=3*<$8~xrF)nS)esVgQ>e+TN z*1Rc6dnwhp?aSQlBxLu(Nf`I?<}u0kyE}1N`7Xy6eaO4jadmSnps?~IMMIOlD)=zx z^=DZYHC+DuW&_2>Ucje;@}njsijFqdWEwp64f70?GrjlEg6hIfLIwx8a?Q5xB9PgGsxF-tEJ3f~+ z5z8;|(P;Rt<24ngQEPr(6s3Mx@O@O&)lBJ(Eambv-j0$KM|h;{Fa%v*?Nj5{%)0TF z(i8KA47k5;wzgoYePYt3G&ZZfJlSzK3^T@(8$4Tt*W?k3O}11bq>b?LvTK-Nowy-{ zPrqFk(~i&Memd>h!f$s}=^&)<#m1KO$!IY+h+Fv{9uR9S98n0g{*%M?aZOo^W#*>p zUbbW5A#?ojMToUs&3P;<$%p)`3dQ;?645a@t#Zwp_&q1~>ipDhXnJxll72MXH$SR$ zq7Lk*HFv&NQ86%fw>o&DO%j}lhM=X(RpQj5^4!I}WA!>ooohmgj{WA&LFFUjMvp}! z{Lp;sRgkvxr9gFWTBx_E(Xrc@V?1E?VUxLytkibSbyps5sLXb7{dTd?)RJFaMNQ}u zUtSWceW(pz0}FeFTIC^=G`;H;jA!D!+E7jtOC=qT2J1%LYsXDT<|=0!5OX5EsL_9D zTKLk<(?Dob4Rq?fue=!&k-F%1;{mima>Yfm_jy}bu!|8oMtR=jzJh|wdfjmG;zb_o z39IX&-CI@Y<{%kmGg|CW&VFG~SnM~@?vq)-jB)T)S99k+8>oDf18?c-l3*O+ISID- zvR%!^t)-gKT6WLtwBKawGp?W0fUZ?V{HFdI-|35_9;&E zFo&n^`=G6N)=nTYd8|gs5pjRI8TPL_jy4xq9q$Kw^s}DKA1>dhx3F{`Me) z*_KXe6Jrr@s|R%U-=10d*6>zINs%(O6jtTbD5;z)Jm=0lU#aX$C;?otd%u{7OWK?& z`4*!TYf87;%Y2fJ8w9<|ZbPyl=x@FlFK19ohQ#eXg;?ykleDP*>~fkLTz=BANM9+c z$B6i+*}wU@mH4jh2=lqpvPHR^@60SlFfIu$HiBQ<$$r=-$af*pp_8fl5_414XzfXT z8=WKfY&T4TW*SZpQYSo9So%TgB3ZO{`g*ULPrAgoj(9onrt3}UH3M)XbjgCOEZE8< zCL#w7v|UdY8;pX=|4@x4&5;(6G(bzVLGh_KZoArFXIB{K$EL2&g~jkPRGC(P+;_W8 zmiLwz;LmR#)bn1!)m9 z5^}sP8SjKv-j+(0h72ZMZWUH;GNi4`f0q}Y`fCB8#uzDAUIS3TP37~jSre|;Qw8Cv z1%Thh*e7p@Cp{5t#OO&4ys9gxrf|cyv}fRplU09Vtt?}BcTJA(`u!Yg+x-#q?X^uH zX}(Q+4@HG|!(r&PolQG9MlGl``$#W`G5?NAPxW3@J>OBR^G@y;7_{2g@B2;{ussEY zu=C&}ya(ayKF2s|dk`jj+JdVOpT*hj2ax1!o^H%k2GS)9UrrDieUQ`Z$yTk{-xYw` z_NeR=Xj)-~TdLWIj6k2^A<35Zir^;Qjexb?acT!f>G_GRxtdJjh zoN35gu3FMII!3{~$exnV_DJZFCZn6Kj{7sFTt1cPTY; z`GyT%x=3flL_O${CrkU?dGQo;?w@)c$w*PXh(z0U$=ezCzx`uCU)!nWL|aK~E-KAT zdKUaYl)Yn@CQz5OnXI&JTX$C4wr$(CZQFLGZCjPLZCg{lW_ni7>gU5dAI~q?XYYu( z!p(=tQZ*0$jMn9wY_HK7i28Me+^r%1ja2DNrM8%`wtB=|O>l5rByQdKvv5Of1t9_j zWDWlf=P1m$`9*i82CvD}p;7q@?4{`NqjGHd(?6_-q%!(|Yj~)C@ZJxe-Q(h+uBD`f z?E2Y2vzPTnL+SpDeAKlS$J9~-rj^wvXvjo)V704gV`)%C&``PHZ#ArtZb z;zG?~f*OyCXl}3m_&BvA_8j*C(*A+q2XrMqD(yck1^+wh`(H}|%l}vkSlHPA<5IxN z#>Vk~>aELBHd9x!XibS_J|hgo<@c7~CL1jLwhtfWrj($Pt<6VUEBACV^+#_WhRk zsHgNX*@drr!DtC7nPDU1KVY=rz<~|yDb5LDYx)*pfXxMQfgL3HwY6n6C1n*s;t^4j zzL}6B5<#W;?alg7501k9^T*nj;_-bcF&Du}AU>ZUZ!@yg?_r>!zkG=4X=q^B-@mYc z7m3UzT8IC<^wPe=ci*0YdnJqG1l%V9hXbLCUePv@S3$ zfxR_DkNwfX(qIEYM|5ND(^2vfoB|2|BKl@KQv!XDPTE1rii2Ug(nD#2$qRrI0$l++ z1nvP5_Q)c}J@_N;0t>Vc{ymWd0WbrJ1R!EUzOtdhBKs3%@9OS4MYd(@1>N%#IkaE5 zLBcO%MvUa=$O8~y{f!L&)VxJ~+z`?ePH_-0!=^zK<~XSA{#*{|F~UNI@`GZAGaPr7 z9ozuvW3Ge3-v{~6YPsj@pD+V6Fv9|WWu+kc2l5M00&oMrmk#nGzpEi`TMdCATO)mY z?c-0-{2l@g{vx(DLSnu61@qm6<9xoQS`jPAkJSo9N`y;*c++D>hh>+aazLFt#6zxY zfC2Z1-ybZ?fC8%ub>xv0jt>pnV>k@#(nEw0jS0^dOnq__`m+Otvj5!K0uAKr_xM+1 z+Exz(*FWs&$+@;ogOecH_x3Kp30x!cFD?oXPfSSP=Cyp#NU5Nm!MwsmO^yK#Ag`1F zIWR&w@T*E9Lw@4TVX_7CVMcuE{0Xub1!?d@gz)nCl-T}200r^xg&jlqj5Q7)+I<9n z{TCwKV6V5&?f;7SQ4{(?|Cv<%S(fbGIKln+ar^5r`D0V)XP50~lj>&@?`IY1XA$fd ztG)mO|I_U2-PR5It`nLcag>`EMH7_x}8P zoRyXuBiJ!UDdvK_o6U#+72FvP4FdgRmD8q$dWgYEM19@6 zQTe@-R+(A_3(I<{Eo4Xa@`s|{q6W9P*+oKpwmA+1X0P9Lp~m||^sJyY>Fvt&{NDtK z$`v92^mYF&?DtL{!{|^Vz#ljX|2D2Hf7)vFRt#h(TePN~`yk63@0VG2Y|b*6?OpDG zTOn{=rc{I+SjTrWg~&ose5>1>D-MOdf-Ua?SB`pam$*VUuWQ#a=&lK?y_M6!mR4VW z!J}V^I%cb@gMOD`rop+hH;ed{_SM(64X%$xp zRj!*omJ-N~8ud)F=`L=~9X3H6PYEER_Hxdo-;X!Ty2--3Alt2t>$rQ*$_7cK+)m%C zBzrn$8Bv`vMVI8eWmonGpr;Y|^H}m1iEaA=XZK@2mS|JfnVUcNs&f=-kM0*!)nHtVEp<7t{T zfxCj9dSOSsxFAT|iw(D=^?~7!Luxv}F8?^1_kdMOrA|O(S+-F2S`#15-Qw@BaN7)& zC@wit=*(BtmyHF9c6A{)VpCO>5eF@d!`Lq~km~hGVOc&8xZILx)7x-9(c1cZFbH-Z# z@6!+P$6g0-*(YBiDPcDEm2Fep@>$+V2E2RfZu&xV8+Q%GLsAB=Dh6)xWfgP_AwBeX z;^1B{M3>XBZl&g8nH|Hsb#=7HnlhuM1Hw&flV=(KhRKf6K8lHNv5Et-{pWV=dAu{i z(zf?q*2E08gH?b&qEjljU?Q=P;Ne%`i6>J_^0-vPFrd!(Qi4cEWWf{k{8c^Wwqc>1teN4II>*F+3J#Pa>9+aWIGAF%uAfqpo9b zkH_rje{Itnqi;ELbn-{Ras@hiKXow?|5*t%HH{Ny_kfr_Ah~ec^f=3F9NhZzl64u6 zMb1$@z}A+D{K({>=>%eQ;O(MCZ54);%GCe(@4U37DxO_B9s%p7$XGzWcTI*3?TO&{ z^;5R85fff>^3bct&V5gJaNktiZ!n}P)J!AYk*i0KZq2{?wdTKe7RDx#W))vjmrdu3 zIQJ=i&d^#cKLEyzT#@cyo?zhPVZ0bx0n3fxJ+;TkC|0gJ7`*50_GB3fi7V0(FW7URCGRG?&%&FvkR zyg@n+Ub{bH?{8m3mGO((o`pW&CmbI3fY@jms?CpKrgLMpj4l-vEY~5+*vC1GeDP>^ zJhH-#Lu#J1q-y#AZ?~DL+!?BLn-1;`gy@T$DozOhLv|Gd&IZvxGe;5Hh#HJ7iW(UQ zao1}3hD4}_v_*ERVf+lT4=R&bAGv*&dQji8@hToq+bbH>h1#b!op;cxEHSpMtzX!; z%7xnWEjG?=V)LKF$=jv_mq){3bI=E5yEzII=ye>Gaz-*yybM<3y)_S|r~7jGf1ycS z%WW{%43B*xo54fpp&o0%_X0!E3vH+uU};TA9Xa{Dyi{+f8;9d=amR*@K7?!6k-uDY z^`7!|Z>J%4{~29IA?4QVpTauJUM7Q5aiZci@wI}|D1 z9_F%e85wOXT}CVpH-32^`%V=1zihgD80UWy?<;K=fBG7ST=>4)_Qc2&*)g)20^J1# zZ#syyjfse*SXj)G6UC}dHwd;4sL)*w2p?1qyUJ`h350PEHR&1MSJ&M4?5SM2;l!Iw z#X)na$2v9fJZ23KL(X^y>RFtjHnG?sd9=L!L4l3BV?kr^$ux9CoWhnvS_hS0i4az9;K*FK1gzo!I#!nYbmykFG}SiK>-M@>Za>#qh?JXzb?b38FhD=R4}aRs$U%X{|t#)uZ)M*1@BcJmhzOmQx! zmaSWLN4cH7x~HW`4kzoJG-MkGx)y9_EiR^;5a77vkj3jPc2*?Cm2QIw-{GhG?Z`PG zt-(x;w1R7|9)ZB_jp-rL-D{pV4ta8dYP110K>@H7j% z0L1!GcY5VHV+Jf5iMDT;zlR+!1Or#kp4HBC84CW;i&=#Ji;SnOXX{shezTi;Z_#LvxkFWiw^4Ymsveu;WOCV6S{grO~`}|t# zcJ#H3kEZydKzzK^P>a{^sq2p1L` zSvKphf;g$pvC^ptpLfUiBAwKU>SBZF; zfDPPA@wKYx!^^Zvuv}^s)+kQhaZCCIgwk73@0Fc68M9M391ki@%OO+SH3z=R_|i7OC6m{NxZS8xukkt7>uya&!e^Fjzx;`Cs{%07O# zPhWjzHYok`A_`j$U%xjYF=XNlMxh}|Y;SATY4L4MGCjf<$3fku@U0TZ*|hrmq~I&D z17hs(wGL@gWCXvthJx9m#B&L847Ja_@Dg6*;rEfUV1VhGJ-xU}`b-~Ab;@kOJGIdv z(Bc=4JhNi0gBq=H&H(-mUMK2Z7J7yUOYy;i8ZRvO`;**lZiQ4{o3sK7b^F$htf?|> z@2$=2TtYA+%3JE6xTVgNAax=$h!u(6#cZbWQy0(?-l!0xc8-+woRj)L=@tjF@eu7m1X;ew9z2`ahZdSSNIw#HrQ#=Fg3_||7_A=l7(8^b$C3>lieqSV->9Q%Nx7wPI&R1} z3DoQLT_&ZZwKSeHi)AwojGiF`N%^NRm4YsTxO z)Y{wl!C>17%<1^xELgxjVyNKoSq;(9hw*Yumh}34(9oiF+u+x~F={O+GSd+1Jcm`; ztM8ELIDVpnsvjb#l{)wh2FHyz@#^NSW}>$BlH?V`lZ9ZHcp_Lk7&dtcP(YBsU>VlC z8;I_xV4Y;!^{oj`39jKO6;d8tH8Br(%DWO02&@DbQCi6KD1p8Q5q>VZG-K>-0KkP6 zM(VBu3Sv$l5|E}e<>@@}j;c1O@gSrPbSuKv_GQ@t`UoCuh z5Fb|8cv!L?6BS_YZk8y*zo3FieJlleV?gwFrps-<|A_lO+|mbZd%lpQrK~w@O%LL? zD6CkATAmh zaiq-GsI>3KjHiomg_)CC51)=3WPNv)-1_LT`x(9_&? zj3`;CyK*9oU%di@2Dv6RuH&AzhB4KLcGCv$s2HNtk6u)9u$8}MuIXtlw*NFp9G11J zT$p)YtnX5n{?KiaWtA41rrWoh(B zUDT$!|avrsV%OE2V z(Le@x%lUMvqE^vY7JcV<@H=x-7DxwW!rEAWYX>q!*HxAs_fLAR8^b7`DvNY z_?Ej@aNelB@_XIzPe({L;@#BnQ89Q7fhhfQPcBwO?p#>VB>Uuwg*&(RJ%)VG}yFD!1Od)?%CUp@I;tG+I`z=4#%-%QaUn zZAgpobX8a|8)0Cvm0aCNe0Yqyx~nNkuoaV8dDYPHyfcxrp&s~ zu64~rk!*-N7@l-1umahX`vy2sxXivP2~|o+W?q9l9kP;B8`!sPO%S2goOW2jqQT!7=ysw zMQ%@ekXDiT$jnluel6+)&*(@_U5iC0{*AuA*FFsTWETbtKJKDcgK%$K#UqzxG|1^KN}<)%0zFoLceO&gA$ZdZk#s7ar=CE ziZLdUHi4Jwd7fdlwiJqrS8Mf}@CG3c(Nr=bou661`*JqD6~I6fp0ni=^B8z66Za0F zdF({WeM!dPeVEDE95i{iP)XXa)ZnbkE}m~_Aa-tkHvDcl_eJ`!C+uD`k|6K`8A4&* zo@4enNJfetqJx@2hvj)w$xR>w>s}H~D8J%I8-%;)Y_GapklTq~T=#~TBXK6pgd>t> zAPR+dw{sSbbm=vZ)gsJm@Z$UJFcRpkoupGEK!Qs?j&rrcZAggJI9jYmFuu$2<6jOv zA|K>0(|t=6|Xc8+3t?i<{*(NKk^HXSqjj|-D2-0v$~3^^#Zxf?OJs}a=TexjKdPh;kG z{Nb)4PPG(HQ`?=2+54@oBl#VF6&*b8(q<=qU)Pirr<-x{=<-WG;dgwC;$O6MG6pL} zk;BG*O)U77Y2L1I_uK+3v{j$moZqFiV;`5{<*d|GqL<4_ze08^9PT-dH!jEvNE93@ z@JvoeBDLhi>BG=hUCOn$3#xyM3N+68XSHJQ5yXc_R+Hge9!%53$^8Y?onu#EXG`oU zRfx02WojrSPa{-0Twgwmo5&?Px1BnWEOj3Huqu->_Ni#GdyWU>1Kz}J{sk$bV4^Ok zY~sD)3-jMv8~@JWytuTRSH@6{Uzx)mW1~qiI^Ij7p-!5SYegdA5f>t>4Jr!Zqm^n8 z+g-n&;bijFq{EHMwt_3LAE`6Hl;8O=+1g^k7H{e9r5674kh$j-j8=giXJy`;BpuSj zMr2)6O2%578FtHF>F$xCMZlK3M~26_(ZSyT0NgLl#k|;%1CfnNinwR{0teaHM8t3nv2ik zG=T6fv_eLwJ{ImE7R+`Z&_?%OI68akZ7~d6)_si5Y%%o%%=e3y(&F@2sT&>@51in9 z_DC#82G_9>{Ws;3usWpcLWc92lm~R*4W9wrMtM_U&qT*mWo8;UI9h|#YG)2jj-qzr znB^io$@o6z(kqx?YqT8{Vs6(15>S;5C{|$}!{f~;s%JSc@ z|4Ebh%>wxUVT1GGR(`{-bv03ik+T`%ZWAoqh1mySe$` z-VtKDKUl~aPDk7~pp-CUOn=trLA|8lM-0Fm={mzN1_}`A0Yi{yEKT_pa~v6gYJezt zkLJh$BD4<_-iO)-NqiX)Jn$;cq0)v=jx_dta0iDd+lOh%H#ZI*21e?#Pfb|C*#iR3 zEe@$}-DkMAp}x^r?T?mZ@xY5TcqQNulmNtA@sEL4BjD73D2baoA?^jZgOmmZ4V;>q zrX!bA$AyQ0Ot~THLnGFwf|f1?Y7<043>;U%Xnlpj7U^3zj2=nehV2U@^jAPCM69Az1c95f!0S z=ZhwULV}-^;AgyZI*M_~gC<6ar{)EdE&-7iREhZ6jE=yh@>c+fmq)EQr^<#V429w# zmKQWsf#HC!G6w+%E}EB6MF$Ei2GNe@A5xD)K+9PKm8Sj$wrEH_Y7bBuCS^z`B@`a` zoBu`CRY}6)zI6To(1wnIOSBj^235k6n7E>&Qz0d-L=1`t$cHyE7cEc2p>^sTPzwtN z4HwfB6IV=17$^@af;a0@g#p2Y6OF%qZ~{jRD(IsmXpmexVVM*g#5;TATkWC4SQfX%v7O5g2Qh+jn@7x_(yM7W4H zIs>Y}7)%0yRw%+$0{*KZeGF0m^jp0NO~t~L2|rN&4nk*39*JD_Y?uPPJU!8UpC1jK z%03&}Zi+?u>f@!}Ku8{ybiVD0K>9HLaVewtT+L+WSHfeiDUH?iNWtPBLtw|&BMJUH zMH_o8w-H9^mUE4bUp%X$T|Y_H!3}lmuM0q{@7vC5HnUfb)=A|O=>UDyYASe@E+26h znkqt-YtMUG&?iT80-FB)DgQzeQne3lCmWo{wLMw?@le%3--)~ zUe1=5S?4NE6L`~H$HnHOD3dfwXjM`VD;l!Qr^+?x-ce5XPJ0AymCTZ$+)n+RDgw2t zmZ8?J0~^~RH$~+Yz3*`~`P@xu#@1WVP}kCv%(D2*BuS)Gl`Ovav1GJ18jmLr13rGu z?Wv}swLE#myJyIPX=b9=Y&f}8oA2mBc&>Y@)XMcqDsUPII<8)0*?zrFIaXncm;S-9 z1vuv%2WT!??eUCf(oI|Z#mB)gMQ!tMx019g+jG^I+1#G##5?|L{VZm>VSRzs^TxQY zizpi1#pGkZs^*uLkW7~zFNqV+QLe0GjBYNY#c>VCHsZeap8=k$Jhag?EUP;wShyhB zX`hP(TVLVE&PM$?s4bQPtcu!bv(>Hil{(MCkoQUMfA<+PNQOh=rZ%f%jrxuz0LMuN`2uy4;njbGr9>;6ea zcb01ZY)NEB2`r)+vz{s6aFcO7v&_%YO}{4`VAnk{Qngg`atcD4iNBq1uhu_1TbsNO zOLjoJ-HDT0IaW><-LApA5Vf9(7p{&(bDVsO!fc^A_c^1C3^yyEOwjE=#Ig;RLJc(4 z1b*g|%?;-;-k~Tyaa*TL;cE2zo-|ocJZBiJmybQyOKMA;NG#S~Ci0T2OjagDdu&#E zI?tvPa;B%|z@PP=x~M%{0rn4|3G5$Ec~+WX=I8})*o>plxS6Ru2y1+`iOD&q;(tuY z(#|ZEMKM&-pQO*l$(F z_)LeEhYpFC?J`?c{Fv6qG~xi(S!@&-P1a+MOMZ-VKn^^sO4zB}7xrfTV$Py&Kdqxh zOlx@rjPE5npK`M5j;}Li-9R(nH$u`*(a);3vg2T)-hKJgE|Z=Dv-hTwAxmxPIg_YB z_04Y$^{11LuB)RPWM5Oaw~-ZurOSLcYp3-Et;W4~i8X|^*bxmimlbGs!KA+%6cV1y zr0ExLf6tb)Y&Hv;tVh?pezz`uYI*bftO8@sGM{Fv)EC{BCBo;Vr)In8HQ`Njaz8v1 z?f8QWXn}1QEnn%@kH1tOh{^*r&B&qMdXo&Z=Fi(~-@i_`O}l4(`7+J7gGxrYqrK>m zPU)mN)`@$S@sO9gE<^=%JQdi#UWgyXjU|P1f=)DNiz2MUlpjLxPa5``OiO@k)Ki%3 zOYKJ3(rmr$d~b<5Z(Oy(AC!M8=;R=f)n>aAV_XhruCbzRn&;c(6)mm)U@RWlxyEN< zP2bpL^>(ot$H{xw-uT}he+PKd+WNXxf_NlatmZ${t38fRFD$GT++A@oET&P@w43uQ zIr&?=ri}L#ca+V?YIk@J>@SGvzz*0pp4ezy7j%oCZJO2fuF`eYGaF}me%2dY zh6U5Ugb8_uu*0U=$o8_50`>JC6k$`hd(&@%HiP zMgPG-`Sy$OAR9sFT&!IuI!+bcw`QkZD|*< zreh+G5E23bLFsrS1@HsWaA9KWL$%gB5rgQ~QFCdK027YwxYDql{Jd}OQL4eB_EX=eXHRv&cW|J{X{5> z3L&}HLCCT~vh(lSCFN8F=1^=(PQt@Ag6AvP-u6y=%BtF<4$MH+gg7^M%47CHAp3t# zmRVUrIN1kwc7OyAf4gG!{akB06hPMzXFy{&!NNwdK-pV=eSxe3rEr3e=^h)R*uCfp+yPIr%k3TlFY;+8ZrecP?& z$u;zAXEG3@#!e8%0S@hebXIy8#F53Qw)AT$zEX=(DaZjZ?eQ25a{fayE^_oUu-^R< z?iFluZeI98%#F=BbdWS0RG^+E zVXy`ERX~>`P}1O)V=3Tmi#|1q1~#Ij68Bhhvz9-)0bflND{1iodZ^A*CjfJ)o55Y?PAbqqCMIRQiuM33!*L&@3%1-IeXlPP` zfG3FeYcP1TM^HC+ZS%xl0v_@GEUUAXS6 zF`C(#%tuu%FZ(XPwm6@V2lMml&r@0YZ>by?Gi`T>=f&wpTOlE`D7d^#f2eC-slW{f z^oM#feg8r=mn>3QLnEWOadQ)(LiBgvT63hZ)GpC4?@?lyxCG*+|=9B=1RfRi$6`x zIR{hMmk!Crb`OWY0v`U9?gn4c zb;}&;cF3{7zmnZTSS;~hc#B;mDV%pBKsS3mzSM2oW?+oU+qjxa6R_VTZQSHr_X&79 zI!^+3##^0}L$7P&6-3g_3k*$X@Qj9%UJh18V%4(?o+^veDZ(*KPw}MeJEYT{3Y?Ww zxGD{dX>Hz{s>CK}z#B_@4jeJ}L8oNw?{Igp zsT%RemAUQ)PA1+`Uu_@kK@3mnZ;j6?aqgw6PIJsvmDPuy4tVXYRE)+`#t|XLNAhnE7R0|#o zkG4aw&cB98ZH!8$UpXZzo7uqeB#y7pRTu%3Lr->FEja0CDhZ+w)mQm~Uh_Oo&-b*d z0-Z9)5F?Pmu`dJxj4)M)0TmrA6zb!msquTlu0pxXvtqJX%pCy->&ON;%we9)NKT{h zu5wh1ACqxs_9PELJwD=R#X+q0rZ2kd{-IIp3fC52uOD zZZc60?_*Cyh>oYA$vl-*G-oX-Te5khxVi#Vv&PMHVVgj4=s*&D=b+k`aL=EoN)axu zwg)J*bi(Xs5$)(SqusCRnGE0UV7rgO3M911x5opjz=c8A!LyPA5ymQ(7s(g8@a6qi zbqNYSZLwM;%1_gvpi?gwyHrUxtZAUinf;?1jbJ}!_PvD70+NK0ZE3fsa>^PbBpJc} zCsH^OUf=!t)^*Mgb>zvFE=+l<0Y?)3((;c4@g1<+DE10mNyaR*LlLF~E-KQN&+<#wVq|Y_ESBfB3`#)F{oy6CN66$T{#DXBL2bMX1tSb4k z+SM@qayKqk+l#{O6o7-;4s~7pmb-y@>(m;e)?p3q89l#@@og+OGjdkFqF4N7QIM_SMeiyz zwuX?H%gr|!ry zUgC&&R*(o-IS~c8SHfmQmG8uuzSKDcP4Mv811^ZyFOq)8mFVv3y-|{WF*4& zGXL3+P}VrY1#+qa?u!iq>7;{4d3v%m!y+HlmlP!6}l<-19}zPgOt?xt@()IS8xEISS!VOd8?W+eOTx3`7=!wI2yVZ2t~tHO+thqzsE9@JH4x zSFD;7I%?DdK3}mptC>;a(ix6X1&0|-cTi4(yEtVxGwZ-o&(-s`-rl1K9qk$?iDQ*( z98J!ljMe?#wWPm=VoL(7Q7N@9IDK)pclRt#NBnI(hcZ)U(+lOG-Vn(@w?oezrOxzK=$=&{p#g#vC7=)rE6@v)L*?Bu~Da$t*%^u|_;$w+rFp z%T{LYp#tGD`+kN{G_1(R^lX1qt^RrH9DN{6xD0ue&e@H?hV-G8uetFSax1Pl_^MXd zv%HwSW&?iP-6;bagoXJsV>~Wvf=cAy)8kGJqZakzCUo+8n|}3@FmS6d#0Rrn66d9s zTW0F-HJBOj5oKoILEM$^(z5SNbANisS|QC(?X!;rd^F>w6rgV~UJu3^#&6O?~WdRrumwbkVn+rH!<#ns#nub_NDz zaOp6YK?KcIc=jY1K&?7IW^f!LT%pMEGKwe*?YC2B zrs~-dG@UykWADakh;kBOrU%=MUXqu<6al;i1(i!c=t5YO`z3S=@l1y#8g{eO^*LAY zq{{3_Pky!1)`#pi))}Y>-M;Tu31bivWC7Dj?%6xK*|WtV8C__XK2B$d`4pj*C1cG7 z!R$?O)ILsqUXi3Q*2=Y^^G(Va$5Mx1sHS#O#p~N}y6Ns&G*3H8yIX|x5S-T6u-2qO zcFL=s*=$Iy`gelZb;IbxX*n3Dfx*q5-mvITQelGCVKR-syIZe2SVUkGf*qb~)B!a7 zPoXRE4b#C_VV`7%A~& zpj=9Yi$U#P8D*gxUPl;^gSRBv6CN=4C6;+q#sY7|u@N@G*E`v}H&c-8*+civQ_^>W zp8#~}1?K4~-c{`FNX&@SCgTlW)2Fs=5qTVfbev-`K2Z^Z4Nee ze&kJipNMPnH(qz{pio-G!4;WV@*&w6WpNsE;)jP(Gz5V3inh4an08VDEaz#L?Jk`C zl8U==oyOvhVETerK*>alZJ^9Cb1lL!Ui5!La?oFulITz(p%@~Vz`D0>%A zaUatHbknRpFZhv3d)=no9+MJ=XR+ka;jg2j>-kT~M4`W8oW#;uH-Bj?OwpUa5TXX&i*CZlYF1mksloiK~Lh7DT zAzYA>B?ZUL@8 z8sNX|3m;s5kH2CJSj5QbQr5F(K5N)$#JM*YqgE$=yt4Uu0mNr~dF#S+=AZ{&teCoI`^ zv!Nr^loY8jL2V(=@u{j*qP2#8-JX&nvpyQ4V zEaB!`2v-#QrYOP|orC4|m(6FbFIW1fM!qgmvvhR$`$X^@elN}4%g zY?h2|h7Z@FF4^+v4?(fmcMy@`DBWJp=9SRK}TPL3n2u}nY~T8 z0iN1Rs-kZev>j20jJN=mvF_ z={$0X0{p7_uD@I~V7`pI%#h5xbDWA~1m=$5lfEY!R^-U6;rX_&67A`n!UR{mTkLc^ zgJ7Tv|FpPvwFyO}KFGt#smL~<82;Kws%+1}4Xl%JvT>@KVQC6BaD~N$@e7i9z|%Uv z`Fl=fMG-p2c~xmM^lm=XN);Zm=3MIbS?y}~c;22HbxAMc!xKvj?0}CxQ9CrJwila{ zFIDHq4#h*u7znAp%()xNlif|7pQkUj(LKDSg#1&KJ}q^9hMU#G5i4h3C%CC>-E+Vl zYyPjt1>DhLzQtt9zguiQ(bXM^-dz=gt#~Sd#}9pVS)Yc`yzlRAk#*1K`&@%!qUM(L z=V(9BFp?_Hkala#?^=(trIvkpVG=@}P=~6O>eVsAgmHh#E+Z8PCk}{awt@ zHd9iPvF$pM=D{h7V~T7Z(f7N%EFWCsk=c?I6g7Bz$@LuIo%yRiflFtwL?h32xmtLRG{DSRqfMu^ssSn z>r{U9LG>uZ;X2KAX z?u}Iq>b!6NN-*E6m*Bfgh4F&qwR5H?dFKN53aM4OmFkuM1?pU@Vb3rpF4<2ymSZQLz>*zi4kvtEKmAuO=ay)#C#OfiU|Z_S1ILZrLm8^|4~|86Dno(E z%|dH^&n7=%{@G()ijfP98okMg9&Xn zb@I)~c7_`q*_~TL0nalyVE?oe#r2B&8?pHB`pgekNoCI{1E=6o6C#uw+hSGxQ@aO< zFzAWpz%Vnq_nDWDB!ayTI|ik2B$mf^^L1Y=2z7NjiAfKa=RQ7V|K*I)^DOt-5=FbR zyzaxd_w|c+Yh^L5@SV+3C9IMrQPU0T&-ms22#3b3d&_5&-Uzhq6mBee4al3Lmduwe@(SK^{*AxG=TlQ#G>X41Sjud77#0RF^?6E4SDV zslptzhN=#qaa>2$pM2+Knr#!EdiEi8JoBJizN9LV$GP~+;B8y4DB1l8ANH?k#tMw6 zuA)yrAkJ2gmj9rS{l~H%Rz~LkR>c0Z=}F~u6g`dC;R^t zmAkK3dm1^LZl$_dZ+K9<4!7784N$Zw)K^E^Y_zD<+o(~?Qje#-bo+cfw{7*lUl5o@ zH)0%TT1|Jqyg7~aQda(j$ymkuzX&_WCP9EL+ZMZQ+qP}nwr$(CZQE5{wr$(CHT~v& znTfa&^B*!I^W;8jZNTAc>zwlpbo6$>f1E*N=*mhcDXMGZ(}3#=slOZ(7B)wFIMLkP z`oO=o_&JO*m^pw<0O5cU08>){Bs4TMY!3dRnVrG;fvGJF{^tk*87Zk(x=B3(0HQcQ zPhO@R>M3hLSFtSc`HBB^NBkBmh78yQE-_i_%{&yT`-`dQ|&_UfwHac%Za5g|F0GU^Q!>}3V z+%~%TZ(0lnoAXaqYtnETmcH2shJ~To)q|Rp-zTpDZ}&_n zYO5@OS$^lEUQ4t;01_0Lmz7Z5>_(pcODwA2qP;_7J-Mg~?|A>fI)u5+1i{jAfMRo>k<(m8!;K1f4@b)xn%E^ zJj_(!KIJTb=OeOn#{Fo21QAeMoxt4ZnHm^?&ot08c;U9l@Muw4Z+{C8cKM}$H77Ct z34Q(oJM(V-Onp_o|GNLQEPS$|GiVucCH1~UMm81HjGw-I$PMb*8lj1e%BlSF-sj2u zI(@&2f&py@jM!I6xsGrPq*h>9%(Sd=3?>zFes@dn4fel~z*L63`!2ik^i&vdX`}q{ zvkb(*ENkE0kf0v;0Y7{6gF{o#kyj_nFBHvzJv?&9#HXlm2=~u?=w^hR03Bo7uFv)U!W6NJKIVLNUQu znVmO|=8IjBO>G!Lk2~($9W_wbhg~<|lyERUH4={eEGn$1BzKKx;@x;`_n&Ps|JIv(!v!iDkk_Q5hdYbR*bs0*^GbM1^+YxR^T`!~;LXmTt5qpKX`+)4P*fJZD zsjv4i5;#Mr)*1H#r8z=B@;H-VlXkzi&=Wl~P?jdC;|DFCz%hvc=X?N+!!&_Npr8?E z^J>_qB_0I(nU2y>O3zj-tS38_0!P}4J9zY%q0H7)6OO57))G{SbvxTc>!Nz}e(EINYTF$gy*{fu25n<=Kb|7ar#vd);GpA1|R`7(Ws6_o^b0*ag?DRi1 zB-k$4YNze4oHw6US~L{RCK2@tQyQQ5fn$H~Tsz%y=FISqy-4Te#KVi;4&ZrOlF1e* z3)8jI@Qfj#kB<-Jgce}~5gIKwGtuK?E3&cIqq9Y;&@VYE;%NPRm#KiZnZc1pDG&LMi9N48e*WQ3eV`)-{4vDJMK&kId0i$)Gek10 zBNsx2%s*7BaXw1l7x$mbz|wm#Ne_&M$(OQVm4fo%K`H(%TORu-<-y4+8$EQW_$})fgn(L=AM|a$gr^O3z7RFlZ zS<|s$Or&9Q8ShI=0Tp;%Vzavzv4RJOo^d|$x@$o$U~D}xBLDb@xiB1jx@f_az@fO7WDfDh z)ITVs9tD}RH#->+cJgj^s6I$ilS71D-Nr|CIe=-0vyWjRN(oeg6Lj4?npb0+MiU^o zBI0gc1dNAFbMa2IiEWDPtHqE{NvP+q=mX8OCU+Ww1KhCNV1=K2fufTd=lj@%`$Q z4QMVd`xjnDdK;u99^G;-4(~HF4CTekLBf54!{uQDa{A)LL-A2&A$zRpu(3pn;wnC9 zWPmsjESjc2o88-1*hkc`x!#LP^jVz%q1~bduy3$VM#1;>tgUr(!&*o2^X0r+`>WiM z`Jwg8Sq(M2r#^6u&4E5bzq&;cIcsc}zSKIc4&EK8oQ6j)R0U*tU2 z#^thTt*GC!4-4NLB?a-_mv`iQ4Qk&Z+wd3it3O9vlv>W;14K2DkqpZ5EWX=RTUPP2 z6gYmcCIjP4SRQS@VTp*#qT+&eTFeHD-lfO-dQVKxGPy01`CpI8Ul@3hHl*;|?85tG zhe=rv>@!HAaH8JthTg1g9A4)coOx-Q`!q@XV2ew5Lu%dR&}}Lor79sDypmtp184@Q zCT5~V(*Y*AObgYJ9u!0A{(c}HG_fjNE8!as|A)hFdmEb~$GT1rTs#mL0@K20x z(y?{1p-?`qwarZG^VMV9EjC5_svNxz+M%5gwshRgzSMc}*R`+wpZ+Es9Q<`_xSA%B zCt!G3loV^p(&!cQJKOu6TkC3vsEpI>eWmaGkuRw6kNUwFCr=_?i~ymWjdX1)lGdBc z5@cm>WtNbI1T?k!XD+*LmCqBbZTch2cAo(lM4`t8uIz2Tp=e;%NoVDAt7BjWW2V2`b1|2C z$nnbhqjyNoBRLeB)pacQa`0Y_nM=uHZaM+EH#pv=OdbQiJ~nM zL~rjC$}p>oHDsrLS^#zEXnl1_o$kXN)=W*YS&B`jB=O*7^hW(%*Jr)u^>rsC=DLB< zIB$JTq9ulZERJC(Y>~5_i-X-CZZjt9CBUmbxAki2&cE?FEp~O8-y7x>K_2t(psbTa zYH#H4v#LO*{zp0=WBT zq|HB|pxAmHGo4N+d=Y03K-SiK%@&XFl#9+#=72L3FsmAM*H5ilS2A3`!N^ILqOrkr zd{4Bxst>1<&0{n)E_F#AhH-e2HSac!UL>xdo2XJ99*g<7>6tX20%E9>5HOR5Ox?m% zxu{;8){SLAB3X4&+iTY-%7{2OLjfY2i?*>+1ivM){v4#j=Dk-Q+36PtDi-D6`lmV#Yo4{Fb? zD$5ml(v)2rS`op_e^UgiPAz;Km5asU*(R*?7xVXCLE_!s&RGC%Ocqd|mX9HO-s6oI z!8+N~K(5YwicRD}(%Rkr03tC3@zsI$wu$odzi8d^K;$F@W}% z6quchb7$)sSPWrsGrpP}TxA>7y1y5}d9!i=I(?#`3T6Hlrk`Ggf&Qy=t3-5o;D9ot zSNZXsfDa^G?3M}16K)8SB82W7b?gJZ2uj$2ku7PMJ=?21)zDt(h2chyk|N9BsxD(0 zd*8CoSYlAo@MeSy%{^qlQv7DsCO{H6&Ohh$yh#pV>}5baT3t&y$$ag>AKQ+?*H$NQ zwWn!jD6s~N?!|jwYWpU3&O=>8{?;3e}s@_BRdGV?u&CWF=aOCe{h61l@7!P|=t@s<}?vXY4Afht#q z1tEDO^P7?h+hUxIx6{_UYgmcq#h&35-<34ilg=}8c?^bH&GfGQ+i0xgEgSD0g!KUL^lL#lc;R4{rsD)3CEqbGehezdo(_q_h7HIc>`= z!xvmg_y$A;dD$W3GCc?DXDZ7?oSK%J2>ym|{hLr|!wEPYGAdErpltip*n+1zWQAa% z@qv`seKr$<&kBNLH|r@_;;!E^3LOt=JhBr51-Q!9CzN-{UpztiGR$q9G#YW=|1q#rA?aPH1#C?$sImLzQrh3ZEv8 zlV>GEjy#lpy=~!ALAm@B%D8HO@~+RD`tcTe-~){`D9-@b1o%;XMH_3H5PQ-?Z~}we zj%ECsz;JbqjykFhf;6o(A*c)$a(w=UbqJwNk0nDB4#EDpZvZ3%_^7A5BdeLTAu~C{ z?xZ9nlo^_D6}Ej|!% zf9D@agkbHaUFvxXFE(yZQD_?@lms^aHltnQ!A8U)HKN$cgFor%5ELJh)|;GXPan{thA$kN>gT;)+zRslT^yh6HJY{eb`} z{2P#dW{r6`qLxa~1NKJMj`oae&wWM-q*cbj(T2^n*Dpd^A-$jPT3I64PUkVQ7RLNm zTS}Lo&VBnrQgw0)xUvkf6FWLV^`eDCpo#KmXZ9Y=I<&97*$Cyp4p|!ZPI;c~-L0{Y z)y{zOv7@#sOnos!x1uwEVvC?1Jh8l3`-($D;4_|d$mR_dy4%FsE?hq&z7^Hmzy+V( z7lB?ae>>{qRXUeGT$idB!qQ#YgnifhX)?R~)z#Hz67{CKki=;$J=t8D?wiNXun#I1 zz&1Gp)cmqW+?QIiCapnlX^g6GA*}HZqneVV#)z}Ceq&9Oh6oD{x%udX{i}Z4(1NJ0 z@3Uz#^OtuDC*{=9DE71ghBInbFt`PxprW&^@&ZNJg5?dAFFfu>8$?8lZCSa(ujS3M zL5-J#a~|j>p3XbgBzekIQEef-_|+MWWS~mRIk>5OEM&Gu)3Q9&A_=EvZ}IO&NjXhL z2|7j66O-))(H{`HB`=ZP9u-*}v(+aIoDWN1rl1z|*gFQI2lah^%Hq2cfEE!5%ftBn zRYZ#p@x9F+t#b(RIId=0V}KSj(tdE(IsGh?2&S)rjAm)(V4b-dQ%6euQoL=K;U%4I zU(Z;4-wFwU>26O<*RipBNVELm^sqWRnUOMA+!2jhB0c=@uWaZIs`!-`oza0SVe)v za#AaE73=dTCbL-J@9tsosYH)~{2^VbyE>0#Xp0o-FhZ)f^+pzGnLTyyH#b5vQnW3g ze{}kc6SO?YiicLeSX7kv|M-Z*N>>P@3~zuxXRow7ZuysYSzPXj8T4322T)e&fA6&n zS7z^OQz^Vl?8Gyd=f6bqC;@EyVacA6Mli1(u;ATeS+uXV|7!)OCjIh)PDO@A@e(`2 z=8@jMr5%n)W@_J~Y*J`V)G?(MU>J)vdj}hXqhwWKtQE?^SDeed5PL^CJ_tB}v|0He z4USx+k{UwcY!=V=&AYs7to<>Ott+y>fL`x^+8Y2Zav#aVl8HRfcs7B`_Y-GJ-;Q@bzYw0Lrz!Bb{7 zi|xc|tM&=Z=otC%@4_vfKiy7<2UF)Z3d;;u1p*^4Jrp82VZLBE{<6R=02xaL^sv4^ zCNsF~_4D5SMZB6a_h`jbYPv72K)XXJ$KecXCbn)Om58yg#(eL2R=LM-gGg@JcCT{` zHyAKn8CDxVv-}`;;ZUJRqT*RP67)8bc@zdHtu`rR*KG^ZHmnY1&y_&?i;sMb?hUxP zfm<*1_r}|i;W>HI6G{|`kA<$83ck^ODM#(ViN-sQy61?Z?MhGIx0>tR_pj``NI~K4 z7xUm|VL&A^j@7=xE(~wcZ%0S_I&(0UHyzLCL{{QmnZ$s>6S(8*w)^npEs?!aA?YSo^M_rDYl;>LGzwOjoU z8T^MUO>zqpvm;swVh%o7eKv#y%76eIrG5@7^&Jb{s#x!IAw>)OI(pJd4hT?^R#?{5 z7qG0=<6ePetQv_sWEOA-BJsj1nE_^>ZU)o`C3L36nztK==mGQ<1k}7Xg%hSr3Send z0%M%>k;5tNSb7t}cWfXC^cLyXOY#zhP2uopz?ly#qqe;m4@3n68wLIkGVNY%`UN!g zwCx;DHG10Y!*q{5G85gz<-Cc@SZyQx7_iQPLVeAWQ??gA-dvB(wp6%_3C}EE)>oBM zY`gWBQVei|S$^uoAdDeKw9zib^str1qYtyYBA|UTT`|}PTRU(x9UH;3HT`TZm&_lC zs!-X!%8KxvAZw!Jtm^SEf2rSOyaYlzJI#90vcr_L^eQK=cE-qz7^sDP+K%KFuQG~M zE3{Rp{!-X+wq49!kzzzeoM%%I)QUEP|ap7;>Y{a(o~9|JEOH}CiU$jjCL!+0Yjx@8sY$%T~;GXTH4YBw#22N zL+5h}tLCt@(2e9#K;-t*T{hL{a)PR>R8pI3*Th_O!u% z*|!v~DMXU20Rn;eSAsd(AT1hIx&!Hnr_DLAyuPw^xi#H{2V78s`69Jy)*hCZUBDd0 zxtwko+!`HvUQP*6!QW)+PgxF{Q0s?JCi?+%5vYoYC7)~Sw-CRGGSq99+_>EFN& z#?s*)V0ouC{mycGX;0FnL7GDt>e}Oc>QmJz*&keD(mD)t#d|<@Z=w+gS5L! zg}A5%CU`Z>Ce|{J1EQB%B!I1MS}}e8z*Pydh4Jp@Q8!t|!??ZssB;EyzGP|3MyjWD z)OHOAOm63#xN;BJ3lGhPI+=$Hb|ETuWw)V z=Jw$al?oLNQ=c=(qlRL&{x00-dBO%y<5gL1Emsb=2xF=4qD-WrpeV7)=ZUSh_Oz;mrR*}8H#}+s)eU9$R>iKKhmPdku@E>c zP?v6zBSuZ)i^7*iooo^O6{;87(mOVz)SNN9B$(9n6W;w(8#ZA!2~cB$H2TtS z?BsVxUoRQ-b>3i0wZ5Al|%$?>}yLxtB%vYIGM zJIG3qI-!b=Mb-(Kqm5+b>L|Ce`%y;A@dcqWcx?_OxjFB09jxX(QV1Y&BVt6XLC+l_ zvB}&Q((ATfD;?|V+uA1YH5G4_R*)SyHn1=QBTQn(X-VbIF$IQsV@}nSP4guG-{Y$Y zq%A??L7*73@K+ETae@^C-Pd@_a#2cgIwrIS;G&L;e z^!ZRS73W_5gyPr5*8V{YQvylQGd6nDD-5`|XCz8ssJ9J1P`1weqOYOj_PsMm0I}Ah z4oWv}GTTuLtRQ*ll@&WA!B{{;@mC?e%ia zEkP)5Pu6<1FIyL-lox=5fhL>JU@r5L2%r!-zLjr9GZAdpyb7%DYDR8ZHJnIGI#@Vk%WmW^i*cSd5s{~)ij6l_z~6aC4GrEoVq`>u|bhP<5O z#3NMhyEfEtf}aOD7Hi!>n@-yuB)PBTXa{XV6$%_eE^%ileWY-w`r}^(HqfiHC z^~sxgA@Uk#I1+b6U|da`>)iCTmHdN`0}sNF)$JK&FFFV*npRER zHBXT6>e~6b1j#dr_}2YP5a1N~W&p^Anf}4O;}^i(rd6TaNF8b;CFl|ujWVGP3=mTq zwpCYEhm&Hh`QuNJ1)4Cg&23pS=_?KgHNwY+ZZ%*6M390u< zq%d+j0vYFuiwdfVNh~1QCWlF`e~z90?j%K%rd&r5(AB@l6e`}GwFzd@yv?TiuytN{rCoYfz;)jEZNaXk{2zGGo?ZmX;zO< zfD=*T!HJj%@70~y=2eyLP(*(CW`IR`fJA8THJ4`N{y{a5*geQEas-iG$;LKe1x1Py zAT==*XEF0K zl{)Cus7E9DBuV%?ORnv=&rto4Y(sD;BggsybwYH$^O<4n_X2F#Q}+%a*|xq5_yAX^ z3K|GW9ecKDrG>@t*2V&^CQDQvJD~`(892MXSZOrAp=@!elFP82%uM!43z>9tZVmOwa|#qLS#08{3sjrrldeFWOf{4DJVkwy&mnu^I)^jE87WHsmx%gE6+fQR?_$ zcLioBuA2f~)`;~bDM6+JF0M(A^tua?!=4$20>itvR=Ija;m_Wmgnwk(gFQ673`u&f znq#U;N@$E_4Q58}VR*5+SEOQ_z&0^AC5E9RJqS7CuW|$p>k~C=h6!NZrmhE=iH!zN z9iP{LiMtE^@53%FOt{^JChOp~)$j-=EIej!#4*kmu)28hyy~;6h zc>JcJ-rv@dcqId{Iwo4lcX-(J@v7DZK>QQ%m3#1oC`=^lLB9qBn_M6y-l8}<5@c~- z5zriJ;n1%Kvhj!fF9)a=H#~zyookt$%^Z@k>bHrtQolrmU?YPI=c$@1=8wEkqMH|v zZxc`E46rvArlKz^=3H7H?ChJIfGgf_;M1}(cEI;k$}~Z@toC8T{NJX6^S!znzghmO z3HdeVokX+9k4`*Ou82TTE{=H9nt~|pMvHliWMW*lpYFKB`f#{^3~)W-CtZH}zBeUk7khO-Lf3fQ_T+|_^ztw#_Z zpnucr&z_cSF@MJCU!%mnc zJC0dd1~#Ikemzwev9e^G(o7*+>!7{&UK3Qa^f)Bh0IM^ijPw+TfAyV-nKB}42d9k8 z=HZ(k*P6b|ou7lM1mLQs(7BOQc|*;HjMeeHAg)7MzLxg_5qul(dOeLE62H-EVK1&i zv(v&Y8Q{-{W9hT^$8T;g_zeeMyJEicg7m_8<{euZkwS({xmSp%d$C)|vrdWH3nYc5 zG-jG>F4%&gfsNmPu!dkkdfrmG`UcN=an@61vxy_w@HT~9z$h}b&R7ASE*Y-4Y(#Jn z$ili2pC<%Fo0EDt!ZVUGKPYUwU?&6DU2Te6xj&a)zz$c7vP(ZlzKG%C&za(y8O4~@ zmDMhlz)YOv;S$#v90`k4A(xo~#|VKu=n0(M(r&NIBzaM4`$CzcQBtBOk);ob3@!pow~x^l-z4i5<5tzl19jaewIL z$r{SQ@M6zGhrjofBvZaB3;B=$Ho6Vndb>ZWRovBO9aGy!jQPflO53LSGT4SZ`8$hu zBk%QN*D`XKMe^APqh0~nU*xi5ekZk~tp0k`rdI)Ta%3S;l>G0A8z^;$&#ch2qeuAS z;QAz<NuxW2WVioM^ z6E5P*r&;IVoTM2s(xFF8IEoTy9^TfBElnUlmEg&oo{9&}gyt_k%KDnY0xX*E;qsBV zI9EMU0-cQJS5M#K+>^R=O;9GU2E*hdi3T(J*dkgcdOkWf>XygX={Z+Aty^k4=yb~Y zbQ7q^jSh1#`}6HW3efE^JlgdmJN566NWk7I5-KoU2oX5yK8~2BX{}OPkte9O&f>$m z4OP!E8!H^Z?LX-ifG%DjTYDBJ#i~lvNvYB|(Nw6 zGXju&nSe+B?W*S7ysW{e%|+_1y?F|ZiTp887K)Y%1R(P!Co*7BOqKG8;p{L@)HnVK z^-8`nhR5oLG~0!2`Ig$?ogyd?lwOyx`5-ZqDGc!5f7el9BW||uAeA6L`Q$Ok2-G+J zItl3h46iiq0bdCO!+ji$D+R(^#Jk1 z33d+|lbYjwnx)HX%02^{BCn5KjbFu?HCj}LWm~`$%=h!;NVMruAXLYp<-2Wf&oS~j z4tt_<7szp^`$s9B%UePcJY8{k-^s*GLH9-WzL-!sv6po<)BQh&IVO_L*A|XfOjR@FlAmy+LqZ?4$xK$BK&0&*S;z)AeC-^pYa=R zXjE0K)jv5}Z_lpWo`yoW$=zdRoms5}IA@dT1V`~r<$R%;zKl2b6qfS4m0GtHHY?w^esI_v*9|#6zu}m#8lya}8o>k*0 z-3Ysd;)Qx&2AC^lHN&ySh8>84=VO?9YSv=k>K=Dpt#%kFD58~n8%Tm_pNrYQTqz&$ z*sn!|VNE5^#Q^QX?**bW<`U$RD|6Jj>XZ0R?ZHk{%mHRfweS?sakn`?IV zY}=;4kdHdiwL@C;at}PF&s&jUUK_(YGS!g$B(QU|q@6&Cp>bN?`a6^&Kj)|Z-FzQ^ z;Z9$NFOw@F`+8Dy8dw!-=LQ>{nFF4aCTB7g8ayWENtLEYMUW`JztGH>7|^CX3^899 zn(T;^;=!8*?#-S6Co%@DF7$`Jrhi0i1{E>A_%_nv-^2=+jtpN`iVH3Hx2oU}oym%i zY#*3SKFkCMKMhfGG0=%$?MeR-&oof%ppdb@SORl3#Jn50FL9f#Q!(DfNZmh{+|Fq2 zGUJ_$hztGV2#kmt(B?JUM<1Ic7Zmrerc3S(c8}5nutx{?>VSUTs&C401r9NHQ6#!< zk&OUe`mP{XpuntcFfG42`GuG0w&OaqYxH5KtU+{aKJ^&oc6CoUs3QtW%j?I^&#d-2KvLkTlXWkkrTJ5uNpb z8}~TpK@d&nmro5^5?#q~X8!i3wTA9BQNzR&ra7|cmqDikala)HnLHkjsJ%28k!JmMj?^OSwX zWvTAyS?gRB5h0S+H$AmK0{oJfdM2Mamn&2wyg`Q}UKYs~_b5J9E5m(PIjyjDvl>*( zR9lVOyM78;DB;jZM@#0^9xthYzJN?Ww&}*x3LZ(5OrY&A5Y>-)>FLY`34hd>fDy_O ziqJBhHa8AfsRzg1hG~}1)uh!qW9*oBTN|an0f<5EpMMp|X0c`MMr8$uj$%}A$&}bn zTj0oi+0;GlNz=Po1MeBB3v9|y4@~lW`K=_fcRh~Ti>gvhCcLBQ))1+g_hIA=1{2uo z#>B@;O_>Agn<;_=3T#|0An$59QPzQ>;wNqPW6C#~scg=GmbFKVunfR)C+aIQx9SdW zjw`6Sw^&gBRPQrwqvMG4X>YK%_m+p9A?g}kg`j05Lg_wS9}Q2k$2T%CfFp!~s>|TJ zz0L7u(1RajrQtkux;g-*EebIoC3ySWo69~pqqPxNHYp?NhzG)?`-+Kf`kCiClS%`t zuvj}B8+YV_^3VUGuR6m~d?^`5#6iu2$*@dIP~b!UKVbO2{a8e8ndPlR1R+iz5s^Vv zPwpOscDd*P-D^x3K5VGV9jTtynv~2^i~-qW(h6cc=uV#Rrs_4rYhjtz9OErpS>Y)z zZLyp%m>n-*I#^f+x-=*Ey05W>&-_ThKJ42~^Kcfd{5wF46Yzym3#f3r?2 zUaRz(4+L~w@?zk=!)vB@Hhq^7(>9~b5(%@PLzrOx#m6(_h>5Lf zP9dg31lm|MEWH$wF(DSR5;S8N%EI!N8MXgxDP-0VrFcOi<>K-9)55MEZ1?d{|JcE; zb+-5+tIr*2G5GH8*+J#qpCx3Z!4G>5LSgv%fCZzk$Zemi_|*3^nO~RA45tJVh>TQU z5ikkfmuT8b97HixA)$0Blhok+=U_FR-34%$AD|nvz1(Pa?ZLKzBvbbgn!~?-5mVbu zn;A;5Ks$sKNaPZ|PtWf2Fo-IeKRJyTv{go*`=obhJNaAzYv}!rC(J|@XnsN)g{_mf zUEjRpqtp{cP%vw8us~j3u_==Yl}|V&tK~PlAQE7a`{IDJfmIWe>iIbpVU@OCTITtVI$+UQ#HzT4^2v+*pHC0bs6rM%YfD5+n3SS_c}541i5^ zh`o6re0*X=T581>=at?DORB)Ds4xDxhZ*;s*)X3 zC;%MWAwrd7mKXEgROdMKPK(Zw!8%ic+uTJdiHlr@}sqGm&|>vra+*cmdn4u=#wVp|EkL*hfrw(kWSor+yZhM!<?M_qIGmb~Ml6dfl{)4ccDnK4HD8*c5m_n?r+tMo9G+_4!66T{QN(9TM~mV_f6Ae5!nBy` zTPrBN=L?EedZb&A<2jeD zYq;5ZU2OR8|EBeQ`E#eo$7}0G@B2B9X{2dY)2p_9McXUx6eBE9SRh099|s0bZfbTZ zJv-Gm1T3$js7Bx1%F5hOpH!gM*u((x#nLpWAP>$31d~H^Wi0}o6Tl7Nk`KWTVh*iu z07&oT?~k$53uzasD&;AP3$zcF4!$=fclIT;B|K4P*0XegkSUrfl#KQJnxC4_;0WB}d# z5~TP~`UVG3^{){ieQOg-!&@0MS!l0%pe%rpe-h8!+QBVreka4+4;~s$AMTmC(f-lX zD~A3)2)z??v&+vWuo;(sNKHda)Hol=&xXwP4~g-u`77JNN!=}7dSFgcQ&K}wNH^1- zohm3o!|&d?we8uLoGn>YudRR1`K~w;mr+Yeb90=&NA zzOkLn**)8<9=(@Xl%K_4c8#^n@Bhv1p`FmZ@NK`>aRUBIJ%_%$tl<9Mw0^Q(_&L_w zy8>xuG4?SueN9_jeX+Iu1NX2G`HBcFtSrIwO+Vl|Bci_l8{GS44Zq0CDEN{3AK;!* za+A|f)<1C1uZ(fVG5h^*c(2## zmukLu3L~V2Sedxk{P&gXd6zw;cY~|SeeJj8g-ay4D$8P?&{l{%7fZr{jVe29>hrur1#8NcViN*Uz{%Wxh>at&jdFB z4#P!{_kz>}jOF!=+0N;X*(zIh{Xk!d3Mux!*WsAy2A*UJ|F^X1;6$w;5V9j3u2Nmc?e zhX)$_7Au;MKu>4gC@lq2p)EPZDx`=@Bc;b|Z2iTD zD093d^K-KaVkGp2m|&@$+kNXxL(8J9lH-p1$^W2gW6?&PjTU0XOaW!~k|Ty4;tA-P zJ+C5Xu)UL0;d3>lWmnb|VjF(sh5>ORuu0HGsUtbOff*8Qx1DVfW1vjAS$>PK^WphI zAA4*yVzF!_`LfKQzvEsDALVmel*N)?dtv#^^gv>g;>pMj0b^S{GO352rcGtRuLq+? z*~OMn0teyaz|nYvqHnH&j$YrblS(N;d4ia4!(I)m1*4ZEyexAc z0LG;oEMfwbn44U5>1Gl<{CR_=>laNh$yOq7-Zj1TvfEkZBnn)P$|6w-go_HwZOtlO z3digg{c+$f&n#E=Bb26jVN8!CVe9=3Xy@Zt5|UELuE<@BP1n@2vDPNpucnINAKZDR zk+(k6%)I(X*YnQq8(6@atX17$HPHds< zA1XCE#mHy+uhb)IGGVSgHECI=(T*pkeQe4}PFFY1qIc<`Rc`k+L=N~1O7feRSJHSm zzLZe=klF{+fN^Fa%hGM#Y|~rU!kYo|>9gnkZpHrdq(aVo+HutuXT{ z2tHcL*UmZ~vHmGN0M8aR+5`a%v2qIQTkyj{XL+l%080w2)IB8lT-=*lz!GaGIYZbA z;vF7B=JtD!lnG6xhAq(zcbps`ImXmjTx^NwU&eWsH#N~1V&>|TiEMa}E4<0hUDB25 zW6FX+d1O06-=n`Var~8PC0;iWQRE%0j|u%Ez;#$Y4FY*Z%SHAfXddrlF1%SSY0$GE zYDZQk{NZxjF=7zf(j1A+dhfo6@C66vWiQ$6x8)2mD5jU&ah@W?WddJ{>m`_`0m?PY zVtvEEjhIq5!hLf7b>B7!>Y^5I)pcTInq;i4F^g7z-E@@69>kgTZg)R1+o{M%sW3>Z zqkT6vC=(HX@&at>1*Ul`dU9jUT3)v^$3n?Mmk+i4Dj+udI;F@?nkKcLLxNKLgWxlH z>R~;Z&GXE(b(PpmN{jUaUy}e@m0@UG{D}lNbLh&d*;+*4H(G7s@7)$n{rBZ3-0K}7 zw?JydGQljF5{%y0SLhHI*N-FW(k)*;tnKH4;hY`u=A8T<;a!6|@>qN^OP}7PS!oO7 zn0FO==V3t}Nk<}vioRv3IO zbg6oDpSLHLsqj?y;yN2Jnk>TAu!gDE?RomYJ!;m=su~%Epb9dND}y{U!;{RrwPBgN z%C&ngV}>@Pz$#)t8J)5ybMh6^?xz8-I>mkWW|famGoNm5s2a@laCVS6nLmf~Jtl{m zrdmgQ3uw>)Zo<4^W~kxdU^(zQ2qYL2HZuSa^|D(ysyY{MY^rf&sZ#+2p})>;ogTeN zQ0$omqY84pLnrz)Xu;&kn(C(RB-g3ANtaEOrPUht7-n+b0M5n7{UsOE=DqRXAeg zd#`7Pa?Vg_c@~4S{WTf$UzjF_a7HQVhg%>nVkCfS`uS|-CwEP^%#7FoC3v}=2TTJC zYzrsQB62LkW%$^&voES!dZw{}I}@j#{0mzApu^SNRrW`V{QNQkus=9&h?BAR_%&AI z!Q_266t7_eBZb{ptzXleZK}sR9L?VetUI3qX=sYOP%2xV&m5z!KaP%?H^H^6Uc(zI z(A6hSo8Y`;1m88-Tgr5kLcF&ar`|T&v4APxIzJDeK&CU&2-D>!5t2|CiIPSShTIep zH$ljBT?dj%^&j;=b%>sa9ZtKR>dHO`3;M=8i``HRY1ZVyFX(>{BfRXWBy#38!E5mN zOL8nH+{~bUsL{jpKw*yD>4kInV#O(LOE67=xizCdp`XvmY3EZNiX8l$O`uGpnlq&r ze)+idkmhpDmVD@c+cqhj53r!5GqlaQx|YM=Ek-w37tUG66`Yh)#djhs9;td<+pj^q zcy2$+vKYVAd;QMtkJzH+OO5ZV+D<4HPj0MmBpXCS`M1Vx9;kL7b^=PIvJT8LogRmg zY)(W3lI2lAR;Mhf(1K?Gm4(}MH(PTC;KDFJyFYHyF00t`bpjCbMH08e1JWt`)unFO zyU~=)FvAk_spt}IKnOTGV?0%?!T~;8wf+UYM-QJq;A3x z%+VZcQqmXOZw6b}Xm!8Dn2@L#c}FOcGz#Fr2C7D zwP$(7oTDNu(9GEU4uiUR`rr6xshM|Fib89Bc11;WJZZ$1FT1oGYa}KTxO5L5(Rpvi zgvPDq2qGNTV)1vIP4g;KjE5vBP&$DnO7E3~`nMZF4@H33l%tE*#6OrFM!>fK84hBy zuszCF#~i_@7}`=*Yaw1AVkD*U|E)V3rfyQu`3a2Bv*wPqH2O@PtL!gu@lSHte|&}{ zq*@|gwv2qn=H-4n+#nKWKiZ1EH17;LJR9VHPyiU=?Txu zz-*9)8Q@OS3slwBb5=hSR@3bB#(!(d`8bS9Cqo@VyMnrbfyLL31>n+8=V)o@3+nNT z387!iVUQl$97BZ3RM~th{QQDMMQg7YyTWIF6QuG;{8UcT!8R2=-0$cRK%cL5ehC+% z4f~SD3+*~_yJfMkWxMaC=BIPk)Wf0wn2)IzE2atlk2}Xi&W~;?39*i8X^&m3#9M)a z(ayWMpomH!=0hKlQl`)yDztUWu~UyRlw_`oA6gOAN<^TP8}a1_^TZi}i|@EEbcbgG z+nQAeFn$q3SZTFzDWR5B$Pqq}N_*1D!5GDYTn^}1&yHX16Nxry>8$G5U#rk2j=%Y@ zsfL87aBMobCJ?{2G&h=fF@+cp?7 zj=fE@^`R3f0ehmX<2()%;~4OqtNNwF*hatwl=JTaFX|l@7;jXNRRgohloMxB7ly zWS;YFFpnohg&vM95V-0F3n^Cve(4klIlx&$a#4|OB(&G&08U84%7Ge??C{RTN5Ew@ z%9Ht2!$W;R4+4-}k^e`{FiFO@OCe>PQ0M%Jm&MyzqwvOXDp*(o(LcBr9s$9tJ!N=2nYo)zM_P4Bi`ymNhJW@k zuQ+gTF2xJ+A(3B|?5`9#BSDlM{8)k``%;PJub(Z&aqHUS%PL_*0eL?Y zBY|UR6Wuy`P|x~kF%!o_THL-XdB&gdS{|hDNjoAF!QOT;72lP{{{blvb@cqgzu0?oF-VGl zP!LIX2mGfh$rp!y3&;cU%S}wv+s+;e*K+kxEHdpiTd3dd*RqKdaV&4KVR@WssyImw z9NiUrgPq&X#|W>`f8sG2>R4aOU(#)W&(r$y*RRq#M_m2~rT z`FqsJs~G)wC`Yg1rqQ7vdVs|JKwQ!az&@9?< z*0tZDp7m?kMzFA}Z?4}u`CWiZH*O*rpW|0Ec8=moN%dtuBwEd^p`Hlj*sKzp=XCZC zt(h^h|7n)BpNU!@NaMe#PFnu9iW>)}T9wk?I(5yBof%bReC10}m>o;1P1y5(ONRo$ z6}|2kOELt?A|Fh$woP2~D$VYW8CN-SvGS#mBYgdZt$N69_d3DxOy^IVQ~a|tODE2= zEa`gjQ-Wk^L~kIGO3+7$bcMsEsb-^+fiVw2As98+>{)gkZdT!bjRs*MhEl_IjF`Mm zQkaXpv)UZo1;PHaO_g`b#&T^oe(bV7xetexqkN1?DfyO}n&@DI++)CqmA7H^pZalv znOGty&n&Wg%{W;p?Okz$oE*ris$f<6O_h2a~$bat(?lKmqB?8ZPtpDg zTkB9yDPfe_@V#z)1sjxU@_wntvop5Tuan-kcc5mFwDcE7{F~^=WMx0EEA)7d;V!d* zjx6GQFh`59>%{2-{dme&+NjplM&#AG@9N$iv6t>tm&sM&WX+5 zrFQ};!%>*t#1*c9GaDB7;Pir&BQZzOP}A9E-NDKSTD6)`vawj}H`n1pFyAd{0#U*yZEQH63lBtYDDtY2BngYn?8`hdXqI=~rOA2l9U<@U>{0k)o{Z^mI z8+HJbdgs+;-umvh?xDH9A(=}MwF^A+vIsu5$hCd%VWKU^ffc?Vn9ZLKJqDyw%}rC? zDHEtz{N!=@EhY%4Jnp@FVU-=jcCVYCvFlvH53B{K+c$XH?^q2?3spRu84e5o18av! z`?Bu2xa%BxlUEB24}Ei-u3UJ7rES{3*Y_XOP35{pU<%QMogY1n>s({`7Fov6;D64L7aGNhD%yYn`0A0r z-cs?2OgFc)5BiSBS}|(8eKm{;SvFfg$x|%aLz7xkMj$;^HhG5~DKjZR{1n4m{)gor zClMxe8pRoZ8ZIsziRa#KG`%*J67W=2N8D*V1VZt_SY=OR2;m_Eq*rfAB3zsy`5x%WgD+U`IV6A8~pSbv48fVy-GmAX0fg?T63xp^+So}{5 z;^tXy<9tiUGtE0G$mHeO>tu`pvJfOA&YY!r5+A{rM5H{jbqxgS_P;$AD%8Qhe_%~iY@?;hKr|Up0 zHZP)8(n-_9C=J!dN12JOlw!mbz=G`3wHkC%?fQC0)>gGzQI;Q);8I^p$HVD<`>Jqw zkUWTe1JDB-yZlJ~!Zg2*cofqyZcx+*?z@Vvbd)L@wD_A9h=oyA$Fos^4NtvCsF;DjUb#y&B91jK_tj@piWE$cMrz;Z{gJ_280ww zQ{;#wy<-`dz(hrQis7oLbL?DTLbb|zD_Yh&~`o}#>NUA(LtVrbk3Y%02CWPmOX#Uy|LhsgE!3yQ7MicEraKw^cDS@bf3$3KHI!N}&-6w!fQHtTFfi_Ze9AGBdGO23V1 zjtaUtdXgioDB%=;8eyo=3PhIy(G*7`<|JzgE^V+U^_VV^Bca2+n6e?4RbWl?id)7{ zT{4L2QkyDv6$Nd7!03oe+P`$r*o1rRLxMQoKA#_!%E)pB(ifv(&MEjw6jYK6B7>JP zm4fg2Pq{)72t#c{Z+VJ9OGLvrfPk=5w+`@rhGHF3j3@b#DB7mz=4<^%TCR&7f!)S* zLweGg4)jU(kvvC(cXtIJVlM;BtTq>*27F6vD76P zELS?0>F{(1>=o>uwoFpJmLs1K=3vEuMV^3tqj=urRh1UQcUh|M4IWKUYQ$o_$EV`h z!?5p7$ko^^I&7r!YXY~Iy4wjUbISt5D(5Ich5?AKBa^D(K*-0ry?3=e6de`EEip7z>WaQy7ix3I|4Ei6&-bHyr*e4QD@TPX_B9JZ1})ySKM`}Huenea={P6X+I74=} z)&mPbrSNt5=)c5yP$rdJv0aStbec0tW-E-fRg4J!6*Rm*X+1mj!}-J}gq<2laWSC1 zY=bQeLn`xQw*CoB-irM^zEH6+sSobt`nQO(#rj6(=UcnlJ@K>w<#khveh_d`Roqi8 zzjhi%WivZg_-tCN7at7pw8p*d02C8ZIK;P3xHq=Nm>E?^0pA~{(9uT3Ih6$bD+d(h(7$ilfQ(#eaiJ0P3JEU38`V9WoGea< ze1v+d&57N~%<)3nXbL5M7hvU%WH9tarq`++7kRCsYZ2-dxTd6NRf`oc(V^_~?y2kA zkPDZ6+7L4c%rcYJfRX>?o6I=5{pG{ESIE8I#y2z;a)1@?KcCGiA571_a1Vmy-@dZs z{dL*3RBBdz3QUcKRoR{ zy$XlrbBeaFxR^5DY*$rg7qG+;hl?+I3`f22h)xfF+VfLZYP54!NYoeaQU%V$%J9+; zA>zRSBu$-W%l4|<4^}oaV`r*g5JzfTb50%8(PS5=w6gT|cz4MB!xwS2l!s z(&?gdOs-Z&!XNz&THSPa*ik%?n{j9G@Lt^QpqSmzPFuzcqoUDNIovSRd8D;9@CC1e zypOqsn@_mqvNYkPW(GCsdk)#zC<(hA)&^m)ik$JyO4U*Hf--o~d5eS7idg!?IHdh< zp@Vc!hV*R!TOT^IT15>FW|BwFq1L5ZgWi$g@Oi-t2N{2*;GM1*MQsP zLTqM-k*U?jM~UhMw`C!F-iCgVxucN147TC81I_~AId17!dzz}ZK1L7~qJbGI9)n2G532tV7Sd=TMV`LfJ?u>Id=X~?GrSdv`RU+pJ83N- zYMkZrNs;lP{+l!`eoh4AKT(hTfY2P9{2)zI8SS`YtN0H?snFJuLEO4va5Sl;{g&`YKmJO!WX|U|4ZJ3DWI3Iks^$}fa*mhwO^M=>*fKD9_ z+SKp_G@HH3LWuP{CefzC=L&r6?G;_+>V1^{eBKIQ1wbAE=;zk87lhc>p|Db;gnB&<;S&6eZOe- z=KQn1A9f-6ETr{FW~uyQCmJuiwUQ@~%R3Cb*R!TwOAdh7lv3sfW(Vm3`OjfZ7fr|m zgIP(5U`RkMHD{3LUfpl3-G7IB^2d;|9|50M23@|A8iK}bT}Px}Z!U+V|P+k?1) zDk>(^TW3_cUh}kA9(!93kMmI5ylY@@k7B&&Jgt)w8whpU0$%D?S*qm&Z*U8$<+Wx8 z(rlBY)Yg`vR9@kBA0<^p9W;S%D^_ju%*wP5BKY~R-|3B-cR?5DMoUCh+P}s$DMagZqY$x(liXnR-<+$7r7Y7l|YIWc5i|XSN4tm;u z*J$uNhzraTWM^&A7slUK8Ic`TxA&3Ix-g48j_8G~!O)n#VnQ#rY5Pf$ILO^0eCO6q z+ziO4p3_u#!|O%cQro~(f>r3y0m$h+KQs#Zr;Ksv2WZ)=d zy=vLeHr}X*(}ZL+&I-+6gJ;N_nFxHD65?SPBAMvr&p}yT?_ZT7uXe`z%Cd=+RQJ~i zbJ++xh*kVRcG(%{&<@du@~e@ktlOMF43|L2nge^VKh0CLtCmiw7_cDLNxa+>ApHV9 z3|8}q@05ph2F9)_T(7~;p^B;w#>(JinRwkJWCzqNYWTRbpWqh$rop9Vg&cC42XtS< z6X~tIn|xw8=G~^dra+=z4Ob09ak|&`ALlBT*Vv6P*y#As$WBg)XKyc;X&MCCS+7wz}mw zt$Kwcu`=ZJ$;`iTM&y=9afm%j9#{;)XX4tNCM{_5x{s~)=x3e_>H<|S2mi@5NrFhX zLljMR)MH2Rw@$z`+~7?9TUhrf{B_nMkW2;|42vRu&o1)#jkwNx)6bjsMSYDlv^qbr zvaj~$Wgle+K1hlbf61xHuf4wh%JbRL_l*1^GL8p6OuMxL=l{WjzL4Ol)@ZVuL}KeT zbO4U>=si>51rE{U^s74dup5OJ4tLU3X<87)UG{Q-KkfAtQ=J4MXv2%S7@K=6Rm4s3 zY$6wr&Ync0e?>qV;#*6g=$drSZ*c-6Uc4r5raz_(e=%UDv4i$kt*%l)?d1G9&1tQM zLUwXS`5pun;L2ltA}zs`=Y=Hg?bzsQv)V(&o%d@>M71>06dLcj}-j{!I z+^Mf(sH|Zz>HZW|LLZIzs!S5hLjpM=o^{f_sTjtZ9@~lKQ(BAMa;d(P@tz!XCCclA z9AxBzHSFn2aFEcOkuNI$2%W-GFCwy|f;eKi{me4tfc7m9XM#U-+@6IMRiO zS-eqh`27fTj|@`RTXbNDuwg|oT~O>MQ}042xKk!J+Sj0$J{cn&Tu|ylec1T%Cj;3)V zx#@ldoV^&M>8=~SERBMT5qBB_|CG~Np#oBwrb}&>$}ptl2sN@Q+)Vew?!BTSER%KT zd;IRx8HLo)*j)s-g^kV@Ef+nU6uZMFGmpz$*A-bnU?it z*m2PjRQh_KyuV9US)&*(t#!}}#uj~%l754`FL6bmuzfZh1_CtjJd*GJ} z4N95@$em1bws!orCTzXBC(5OA=C^|#c{Beu7rl~l06$>XNUwI)ie{PKl*8TL3`m~u zs^fYByE}wFRY%oSPlzaGtLf!lW17<=%l@6QqF6)O46?$v`>wHEOyLb9EJ;T3`+6)G zEgZy!cVna@cYq`HW5`UE~Jm2mO8 zGfN*MJ#|q*%1GpHpTQ+E&IdE`4^32rOyELV&Dl|;dUvE;epQHFgZy8 z6?xk!mo5SK$u1(d)@zR{-t{jIt%*JrJs`F)KhrA;_e=86p-OanNHKZgsrqR0-|>m0 z7z@FvBtKb$P$jC2AT))Jjlt`*(1@)^e0?05i&}H`>)KzTy$;F2TK)YHho?Z_RD!qK z-{Izlmn6V(8s?ok>#S@s#0KKyB`3?iZH8)ehnaHR0RP1hWaai-R~e)g&~|q9_|lHn z(T3P7!qa|V0+h0g$Ju8y(TmIm4KHg>ju8b3f*JD2UwiMrF=}X>w@Q1@5x1ts(0ZA$ zhzV*avt&m|7~4HlQbpngQ|w85ah9^iwiZP)Yb`!{7*HEcc@keX)C$!uc3ErYE)J#$ z39VJJdKF;XqsIE)hz4J_qsBZ|YfLS%sTD%Xegg?i2Gy>%4Eo)dBRoAGnvRX6M){-l z;C*%I;NbTzV+F_BvrET;t_tXv|O$vet4Iz3L<0L=>&W@P@Qd)rc zgU=Rv;#f)c)p*__r@mjDv6G8DdcXhxf%v>feVSc5dV%PC7kBNa;R@i(aK|72sGBPn z0S`*sjjBR=ANV3gIi4B;#V~zFq!SN2dv>;EWP31$@t*zxS;D6g#z(h*q4=TKoC71G zcNKT}Q6&}C10eG4PSQJ?Bv&iKY2avzUPsMZWP@T{)lh`Ct>gqd;1Uu^+^z_t%v{p% zW(h=dH|z$ga7jUf@uIk2B31&}Nluw-hCKriP+oFOQA{U^n)gobBk%O0qf*34%^FD( zgu8E*sg1;Vh-YI}m%Uwo*^6Y4cxRUA?k{6wOuf7>!W*I@D7&DPmC4dW9IpH#=OZM@ z>Nc7J6#x^(?RctD&Jdl)ME&b=zbg)0_9nW=B6u1Gw;&J2FUb4;fkR&k{18N(yKI#O z74H9~n?()Bl&i7`A{Ew~gVQm6Rm{;uC-{>Ck8`3<%t=p8iN6Y^ybBF6ueKrlmrDt%GqbTo^~v-(=O}s77?iZWBp#->lVA#T zsw>$3*3B3->+h%{m4$N~{(>N$t0>GkdiO^LPN$L_M zdi=~fdNll|X{OLTIS!zluO$>+IMgKumXrNp}6j^Fzw z+~dXzmvKXk21>aqA52oFI*V07qA>aD)=XnZ6@Q4l*X3VDF-t=yQ*w1T^*i+Eioihz z90;-{Qkw}SmnI)v!vroBw8q6U?^iMWeBm}v+{8n@oPNXhlowgF+bU7v7F0S6di$9O z?6*^jZ_kZexOx!MCD0?fA~|`f!V6vlXe38axXI)*1OwY&Ku0qKy>{6mVqV4kFLb0m z;4Cb5tznA|bFxDp{s=p<=rWN5vlnfbcRj3q!c6gBCz=-WDro1+&dQ&@Ue#u``^%iOUvSm3;{^_n(%piYlv;Cra1pY zs>Ck+4in{mK5l%qQY?(*TEwrpZehkx`q+LH1N=4WfT-D^urhejq8iaUyXjHS7pL^u zcy&{PdLOpY5lIgZn{mih%56v&Tv z1dNEZzQTy0*&vaWY*d{*bP5NNFOpkWo`(bMMgAtQE|93MO{Z; zpP1y3N=yb|%b0E+AjhdeGy+m7{%-VQ?TP6eM;IV(-3@;-f+_UN`*<9?_2MWMWFYzH zz5xPaI_0aslgVWso?yA>(BH9c?T|&vNflD=#*@*1ENRaqCmKuG%mYSB`O^jnTX&;; zV*(03ab}F0$o?X>0J&>T)MSDC@6^tUm}Fw_Wex>9P9M(q-u56JKr3;4g8Ej#B+cw; z*S3)jEC1D6R^U9e}@I;uFInQ(+Cw=d+9ULzT2G zNk|dU7hZ35s9&$--;zwZ(UAFt(U4@Hj>X8+7Mpyp?T_8kTC7W0aeF|#pakXJ@4@#l8js)Dxjb!CoRL+l z-BLt^vywo;+`^D6elMGp^A6YjHZe11kJV7?S0bb+OwHwdVWIv^waF5}8@z7Zwo-3w zoCfrvzZOdtg1zr`#M33Eb=$7_{a{-aF-$uD9oz`x=%rMro*tn>V zYN$uLki`^PB~%ceIv8uWD~dcXl+;%D6;Av}e@in45tISHT$U+bW1TUha6Lxu-K-eQm zCCBUAix5lrc0cf|vyh9oqfZpG!UH3@tKd(BZG{(Ur7xKIG8C__PtB84#zGOidib)f z(!ChL5Wh0!#^p}WH2GdK5ua-7NkOLSM`O`%clBc=T5RwJ!BkKT_#OiKHcN5J6u8Z1T`hFULoVHnfPGr|KrD1MlMOkMf7i>2T&5AL>2 zhkiI2jTc{+P~yNyLFS-=OV=tW0~jp7pq(Lhx?nO!c{1Md zS;ZueLxjZSo78B3V@Cf(KM%46pF_01Lj{UmOBjmf3O#CE5yEP z)tPhpVxrSY-JEwpTiAA;4sD`%>dw`xU;RVOmx8sm@~sUeT!3A2Uq%`%r^EsnhMEL| zI?e#TiGbC#p#}kQ?<1Sm(jy<`1Zio>1Xezo{ql!ymfu+QVKksRhczz6!)U_0T1=({8s=mA5o8tR#?`9|6Hu|0T~ z)U<=CZ*=9IhNvsUl8esPnLx1vgHP8^k;-uL^#c-}G`=>pLorqghIPVVk*Z9kC*j|v z6>@=ewdimQCAJsSXEYSh+mc>~cPC$w+0TC-&Sx)|*9BDV7>n+M$LQ~AUKKnV`IoCe z_&xjKW%>kE0#2&td0)uyGQg7;K%Db0hKOI|>ku zn}vUOAX74YSaT=~l6b~d2*IPC*8Ark+a^x=(eq!0yYt6K#Jw{S{b<;AsIQ&?BDVl- z%qTBWY)(Ot*M>c*v|W!Veb`p`XTwqEKXNK%$AQCGWH}OP{}qYtHWSd(l?Ms{nw9CU zayLwq5O>X_eKJh#TJra}0Q`nDf3)sFoXAHJQB^=o!tz+a_;^K%!?IPz8@vo$4uK)#|LtUMZ?vs3rV-Lb7s7`y6xR zE~}GtIGc{g!G~HlYX4ko_XbCWNTIu{dKP2b+=cGB$gE%@liu9WPNpCHk@-Bd@Ve}! zo<$L~HWf2m&QR&=#lzDf#BZEGw#_|*^_EA}1{m~FYt@{M;M=gp-Zd8UdLCk=8zil+ zDV;?q^wxq8N#JO@m0<`dErS1{M}g@>-|TC_MFrR=OlUYuwEc1#^7_gmI4)Vnj}d;ZOZY3np|6_c}e)MhC@Iw|1iK zR8vLJu)`A- zTYtM%@$3N9o01L#S`7x^KcS=I04mQIlT1gTG3!B$1}GmSCfUQd)UBGj4N@Q1$()kf zRm;4*6bn&B){zx?{@R4e8mN+cg%io^UG^SrS|-6m@~1F2c2jaZ!wdkE7nt!^lxgfe z>tDFfzXr))E1Lmobp{dfT^{d6a0{|!LM^-GXPQbDCxPsdUPOmgT2=(R27>1*)uJOv zIgeO0m1Eq&qwV6NqPTT&uaMMSTn#0exWnym2rqHMi>fnW?&McoOXT`lY^BOZqg_8g(mn6+NA-odf8$N9S7;UolVzT^>b;ZkP9N)A6LXiec9>xteD z?eag&t2L0|3GWwTEI}%tUt4wInPV<-EnWD4)x9HK>tm`sTIIHqf1B1+CFaYH zZ1@cP{CbmOVMQQmriQ1Y$*)l7xP2S=Mg9~`8B;A8$}%O?hXc~Lq#N%DD(~Swke^JI zY&b^p%8cf_JB2ffcYf(Jj1jmmXq?<*BpSp@6c~YEqPZ(y`Q}&e-9TKAWqD)OPFAL6bqwes_*X68=v9!U)X}6EK(P}YK{KGlMqY&zUk;g5 z&TMF@0D2{8AJd7ZRvyP|c)tPSF`g@k>C;RoQf@BOL%gRp_deYV+1MYw|8_}KbkZt9Ik45b5RRrn3$b_kzD&2!)Ks4kNI?U=0E=n06SW6M@CW>;1Y_Xdxacsi zzkw$V`Voyo!8_)~8fxZ1F~Wgbj+$(w-5YHiUnuk)HRneiO*Fw{9VSi4Iwv*I5ouDl zVbG~idU`h0P&;bZot8dz261)|QkEDoA2-E?zJyh_?9Lrp8i=s)q}aK@3SFOyHa*^&`cPXPf?#_N5wh;!TA#Q9kTVjv$(rm*Qm%bv@E) zJ}Q89;eA89#7(ijsP`Oe@aME^y|%YOebGSUur+jQ2CUrR$?EzpkZqf}!M`8lHn6d@ z51Wo3T|!NVJQvE$prkecbbPAj#{ue5`OZ~V_VErucf^c4{-|v}T5|{4=yA?xHiGk4 z+(3d_D((ic=}@BiUBXHGKoq?T!BxfrGhox8q6T-5qXWw7j1SU|KCsWlnqVSEqdI~g zj2#!%@gOK^HGh7{GQ_5Xv8(Kg;0*hJcmr)@|sOPC%I1z*?uu?;-CWi^i}dks8Z zTEyVTAI2_iV(~YBdH{-GH6PM_mi6&f<9vNw5KQubZVQ9&3eJ7&1?~ew2Y=;O{|!40 z?0s!v25dt&m}|W)s5le5u4>s z8=IkgA-W09rCy-t%Jg);8n;8Gl|h#LNv>twP{`#^o5jkMjLGy-61lg*2i_@+a;Q;oo;$Yv}~XHkI$Xx8~wtLS*blk$@zR$ z9`->z+v{l2k(Lnt5gB}cB&)j`ze^u0P7oD6l677=0Le^rXl6_dRRq_Ds@0UF;6GsJ0jZ)@oKB)L@jiS@D#4t?+w zPZ`Le;BD%hVZaro==57>Qop`4j1XT4B}c(7Hf>~#lU>yU5CFBO;44zSl@;2;X`rYO z7ZI$tjLBTiX>WE_q3yn^ju%LTeQe?qcf$%FUIfJYrlfFO@{S@%vY1@|JR$<0G)ZSx zTSvY`elDcV2g$xtNR3^L;~Vc}$3p`vW@eElLo={uqFdSYAE;Z)Tts$W5mU|6m6^}R}s7D`fQTHQH z(FRzXQ8?n-^et9`C?%5b2qL`|d~Z#R06j4QOIx>WPVXJS%I)NSF`;D}2BGL17)GOt z6YQwWY*t0d3h`;%r~kUcyEo*W5xQ;10c|Ce)pPn}7bsH$;37el!0J^eSbx$@D+|h) z7frjFIJG3_r~NT3j<1v^YVyy_fNCg zLv$~E+{kP4us`Uk#d`Vo{HTTO$YAisoEOujNYX(W%0@F=Jja2VYXV#}JQHZ5$q^P~ zg(3GgZ$ZIO=6R?T5+;{1HB{DR99pZ;9eVu|C86?dWKL|bXf$j7B*B`_#+|`pgz%}J z_i-Oo(q!f#lt4GK$PMt_lF9(@GhS`?Z_E7(Q8aUKWN{q;%_2Dy<7+*QgT_YG3oXE2 zI&k z*k=K9KOz?+w*fBF_L7rfP53fg)#glr6rw%i5CI|hkkOi})Rj*GGW4%51;gm_zdjWf zdaRZdW5yFIcKqS(kb^{#fX}HJ8n9H4ZxTD571EbNzRH>cKXGvF`uVUr#${vWHOJ2| z?qbF5oYyavQNMEtj=EdrJ=7=Hro3h)r>8kNfs}Epn?7?*uGt!#F|Jgl6BoxWn@hg* zE6eFt+JhXcY8yJXkK_!>qG_&Bj1iWrEwf!bB#P(zcK#lYd5J$ z*qvQZVOr?h;n|l)7nW!eNx<)b?3qO7b`0EPX5QQ}5^p^a;6atU6Tz6WhCr-l_+Oiv zKw%7{qS+9S>^p)5?N*K1G!_m{wJ0MjuzXyz}pbEb3okQ z@&|AOh3(-3;+$^X&SpEA`%F*8-#qg+Rl1DVo?b1fm{efN7^TRa@|%;0(<5RsQt~Z=f1m0fEi;IL|RKF#b$Fra<*?f8>sN7h#QWAo6|v?g2KrIk^FF2kub*js#!{ z5CB>MfvN>w1^j~}D|53OVf$9NYCq5x6}7JhPMGs0ocv*LC<+%&P@QFf1wRQIDmC<1#E5a<^bZc`!`pn5x@C> z>yZJD%?<8sKhyy4T&c_YpdDRZJm2iy$95-_bGG|!(P|0I81{LqDvO`_FG04_1O6s& zz&yhMWmWHTQ)SU^{aT*cUuB~{QR&h~wRe3#wMWar%U{KdL{Ze8(P0tD>%zp74$ zTVLOC()QnV)Ck6g)A-dyW*4O(`^UWCyGps8`5EE~to4D5e67vS_n;e?UL2d>!PbLl z5;jtB2ka>Ung5wlG5_sFeEShR{6+Nt576gs_{S~gcZu|OZ}-fvEY-EGO^wY7;1?I< z{frwdAL9Qs_71?A1zo#nY}#OB1-&3ym;Z~dpvtvaXb z-A{G*e%9`__uEx_cUP}xJ)e_-Has)@HAevWTz%2+Z1cGVew8cZTVC2b9KBv$3!Dt& z)oi01?U@|ChNB;l!{35vR|fZCumjPsygg}s*sVA>fpx5h;00Y}ee%fzq2kh<_Znrf z17LYZd&6cP5TQ;iU#<>&C+b4e#-T z2DE#7^7=pqr95_@GuoM%$?BbxdN0u)=reEJ{H!Y4HZhk9|S3X}`_X0Bkbv#HX;7x+MTCNR9 zP>oZQ(;zGRNALmZtS47yAp{5>^ft4!^l+7KXV8-|>qk}0eig75_St&@c6a)mPM?hw z3cUjB(IyHD$q2j*fZMYCbDH-yq0Romdcpx?-LNFLO4MT?rn)xpqM516?%q2+xy`nF z@Ho%Pkimz+VNgA!PzfU>jKgjg>p-!QRw0?#X0Dn}1P{WpY>>Pth0${V1=-8?kqt!w4{ZX zu%p)v>c9r@SF;!r4a9ImJj5;5S2f!f1ANPd0^dVv_;2;9yrf7!R5g0U!ZO$sA_D19 z?9q}Ljn*A}ABC^}Pzg%bWtTcigEjBdE7LeX&Di5V-o$-wVD6|N7mQvmJvz!%v6=R} z1e_A=vGs+@1_kJMXvLO4I7ew`)T;U&n)p7#lykU2^vE*FXw#^Wms?BJdKo{&7|q+SngVql`Z^ zx$-S&C9U=l)H8*0aT$_pSzc*^R3Qer37f&%c&YM`!5H;<37NE{_`22()7c>({zH;S z%&h)asl3ImjI;xE`UvQx;4xTa13klfgMHxQ6#G1Y!WyGg&IpV;m)U6fG2 z1k-!cGL~;^j#;NfnD3tv|C_~AYj}cZ02$Vdc+=2wKw`ICNVZS~)9C)F5Z0CJ zLmB8wiTsKy+E(E`smW?f1D3}QrqF-6{~+m)pBR(S-+OPW;mO}i>W>f6&IUnvot%E5 z*TP8jj}lZw+lS$>P^6cKOBu}c`ZR8_X@B?6s20A0LpzGXJF&k&+x<+#wUbCZUFC}3 z_v&eZ=3B63*&!t>w)@tlaRRcfU=iTPJ1{PkAM&-Dc~#U71AIlHrvq0qzT z8&(uPiA6Vbg48vrp{HJ2pa};XU+`J-K>4%dh*f<9^@&z#;w}S;wq*-gr%Uxt!qsV~ zf6ea=0f90h@ObbFlQsUZUBC!2*L^P9$`KZ0^G3ZOX)jO zJ9YO=E)bV2d%}ClkNn*<58X0H{vzl|V=3Ss5IF$3F3}FOT^#f0VtF~6F?Bj%$(v4a z;nts(-^Ngz0=cuQAJ%|I59>LMbj|K$7)}G6JfQ*XE*fTu;?@zWsyINr*N}>*>;)w` zbkuy=?+E{>nqu*)5zgjs$Db_<0)49~9)KmA`0)LMwvq#Es?qm?6KH}HC~{0u?|M_Q zTl!wEIp)nG$Y{vH(RTaqKc*&(8Rf*y{xnRhn4Z0QrF0mii=OExm7m2ARFbdYGo`Z% zFHs;uxj_3_fc5uIm-*C(i}z=f&A&3lzJ>AL3HTdLCH55=tiU+-DEP-sc&%m-rq&-p z13wM?J$u7ZbRa|UEQ~v1;(QQnvXHm6k+Ex13Qb!_h=BgMembj?k*9+bXkR~#N9y(A zX|pg%10XJLCLzJ7;;(~Nn7>6_$9y-*1yDno2z*lN%pfM9YiCTlW_FWN8aoITe`&^G zJQ?E(kNBR_ZvL%)L2%KY{bRlviA7CjZ&IHq>rX6husdzhEzHUOaQJ;B3@T zo=z?Zd0$I^8JiqlP8-N6eKFAg%d#vHf>dhJZ(k0(Jvd%vgNhwrhw7rLw2W4V?2ueK z8@_j2uWtdetT0v<19f+_ZV#sr4Z(acjnRZ|3uLV#3loZzaV<{V;zN|N!eRdU+C@!R zo3oh?rg!v}aCY}0Ic4t_GocKF$whSz{J#-3O+6s zIS$ESiLhzJrj#1D6*(Sh){#+{84_osLrwA%Z7j0mFGCZHer+psuPtNyw?-y zQdty#9k_>y=g%qMZZlv4Kg-zy>8>Q{&D#6(Zob*td9=8RyX3x=y57eqHv4O0e4N-fa5d*ufo+=wx9CCF)tXayy${Ca(O<$sD8`Y zKm>!}S*@Txm2^^g9?+Egfr7pnATCrkd6098nZ7nxWmp+``I4`2f%<`_Wfud26k`JX z)~>T}plm7L8OC2dNr1}vbSye!^)cIS6)z+N*%@B^(YI-7ycwVLyl9P+54x>(2zau9 zH7dA7%pNBMb|QYrih+1ROB|Y{X+6wsCA6vB?9b{F3vs`r5Moj#?Q+U3f@e%kKt9s; zljxU#l1Bv44H4cle(Ff?-#Kmh1rzA$DIllIr;cP|HS{Ml_f-Faus5b3x3h((c=Km9 z(9rptyqK(Pgzkx?ii#Ed*MkMp!D`CaW_t6Kd0kXxHG88GQXw^@|0DI{)2G#Cj>~89ax{3l@0E5&_y$CuXGNGo zAY@xJ4x%fqx*vTAoQB=y$FId|hzKJBPx=G_wPrkCJ+}#ND-eD1D;d}(`z7iZ$EKvp z^9Nw=EmLOoLsxTy@_nKEZbFF6MWheK8GG=BxVk8HEOoJXyqDv=uHwtPro(`1~fCE3pklCr41UaQzR;=VqNyK zxi}LPhq+?*cHi5#jBF!{WTjzv&*phCK?}-3s`@x~^VA^`D{BtwEF(&mB9S>zoXe`2 z(!5^1I=m+NVZO~-?WLG-fq3D1HVsKJeN4LvcpjM9q^mSpjv3jE>ER>|&o8HIC? zWn_lqC7Xg?DfRBm{$;W=M8+}-1qHX3G%gmzHx@9;<`wa$Ks0#Bs4HPB0duo7?OK@1 z_qU!+?k4pSCI;*y#Xl|w13%VFA+VS1`ht`-#g>t^&29wA|5NZs7D z&hKY{KLD!^@p7ZU?dpo{QL%pFRQ$Ei@XX*PWKelkv`D9{adm@6mqw?O8(n(iEjFdh zzqmE9LY;4pcY08Bt3-5+TB2rUNXGt0F3DwVFVqSFpIi}6D`Ve#+-dWtlJPwDA2G6} z-c84V6g6tuifW=U$NfEd{=|_TKcB@yN)#Y|(!krKHuR}>Pb^JwSN77LNaeZ(bF4J` zHOfc9mueN8)sh(w@U86h1>O#kR_M3je1f3Nt=e8I^@nKYhl;ZIYW^mt2oyz4_$Kpl zq!%#sSA4%_^a5=x`Dj7Bjo0L^%&pQEV+F?=^J=Tkv+yEK<+QM<;TFMOHmSuFnJT9& zQ|<}tWocKg2a%mA?#;4Q36u%^UA&eza#c=8dIB=?+vR2C395+`5`5OQrGhS|xdZ98 zRH4-rkZRD{uk?%~Ijy`>dvDA*68T(P`I#lJ$~0QTTZfaTK?N%4?lB^CGU_Kp@eRB%TTQC>% zjN2W|e%xpfqpAwY%Zum$`dBlr<2No}dOt0n0&*i>FLQZ8k|9^;47jN%Pf9{|DCGpV zU{SxHsQyJ0zeWjivw%0LgIk27z6LBTXCaF`o~FVhI$TcAlnlvQ+-b;PP2~+TGkj|#Otp2 zX9UdhF}N@wuK)}kk?H;gI5E|_;%q74<=($LFBD<8;$1H+MSUfy$D2@a)65WYzkjS7 zZnRP*;mqsrvM2nLiU6*;m;W}N9IIDCq9l~h(o}QY?NNTJU}Y|p*!dqMs^@`+o#|RP zq`TF&F0YU;!?hb%GV$yr54}B;*>bum?-k_N8c*BTg9rdVJwWwJ&j2X z84$zY94AC>SLO;C&zuWCx2zXQkcS@#*6lL7a!(Wz&eZwocpn!L?iD{3xLj7r!5g_b>KG?BJEuSE8&u*@K9L8K^i7h`C5A<7J?f(C=y5d zmA$G$`H9!_-x$iNuhP1{aZC?WuXqEc=RSzf})r33Yk1MMDx~|E?k*>&1D%Yvc|E zs9FK1s*PKUe93BX{*mu~G~y$fu*mke3Fcg2{vp&K6UDS>J;P&n z3$5c)hs~Gf*kN_>j6{d=<)f&z%?^Vzhk(Nk*84m628Ea93&+KK*hxZ>`PJ<5$bqv& z8N{_p{ZnwM;IeZg9~NO;DFxZ1a<#O%l2Xgc0(CBMYa2ROvu=D?_hmnqx(fexcO!k; zdQBOS3mROx8j^M4@bgL2##olWBo#HiP1KK!#!k>|Q;-l6ADncY_tNH z;4O5sOWSAjI`~}QH5GsQi5;}h#gE)08NEmg(cS?4*9B#YitklVQ|48r<%rC=49m)n zm4|m6_W%b=u$UDq$M~4Q0MJ8o#K{EL-mB+QBuBjI%6tezHY@^qdb>!9c1d_i6i@ry zy`pCg@(kbJ<%S=3DFura;p-te?aHv?g2#9bKf;Uqd8OQ%f^8e(zUnar7_+ofcIWzY za^Bz^?;CM`zY5(1(P=%EH&yoF4;IHLWALl@om3}zJfrIo@Y~6NT(NGjUgu0zv(f8S z0Mo!DEDjM98}6@bMU;o1^jtDJ!S^EDU|K}Y{;uQ5Z0E(q!1pkUaxxq}PB&Pn#+OyY zUJnB-J$p*+bLO?6&(4f8q-Z?I9$%}`hgPfJg+wK>TT94j$5eAB@Bv0V?ff>Y868!x z>~$pPN(dw+&6E}d7mA-EZhwr;);;bHb_mqJGZ=g3S%iBh_|Y$5s>s`xfV@yEapt79 z_^!0bDQ{>79q=DChRx*F19;x#mw$FM!1iCAgw>mIv$qK>?FL z*rf9DKc(&YoJlJ=HKsCVGE-+_^T8?dDl;Y1op3u}QpMKN(o?aQbb=zq3D*0=E+T-i zQqk20!y))oQmAh_sa)f)Bsqb*r3HbG7N+7RTmS(*op}EA3A-XDnM54mV z@qqLa+>zvp_hF+@7+y|WtXDhe+I@EF%y}&4lDv)e$foJ#5K#%zk$1 zt-%?OE(-zJ@Sf;+MjE=U-GlWa!LPq#!enpC&a56@S)*5C{+RdGf9HB!cJH3Kr3V<6 zz>S1ui~)w6B<_iui#rw(*Tbm|K2pc;$ydSIR@$wNX#~3HUYg=6lXz4^71jiN8nx&` z)7ggYMF+Q0zrbM?=h2CNvpyi2sL$Ut#cq@gr0j8V`}i-QXl@b@LyO(FIGy;uPB|irS}I%1D4wA4rk4iP^nR86d2591 zD=>|zB}}DZ-C8GJnyd`+WQY1&=2^Cq=my&rLXte->i_3AM>pa^jI!_(os(zPED)z( z)sNu@;&%bgcCWpHHRR{isgsyRIECXhmp_2$4;~KIvCEmvc0CF>p-t(-1_?XJC&lpy zf!S3FDv!1XIl#R~UQpg6(5(x8D6&g`ga|`oxI7bj886f@>GF&PQ${i2Z)<|xMn1bH zFLvgTrLbQ}=42v{ZN)?pHIg~TwC4KujK?F9-8NM~aLd?wmTEs}SyGZt8vGNFYmm-4 z0(Y%%sWdU%Ihw#sdVa&Wm*2{_AoW0c5u~>eKxd~HIbJoLTeoxo&VGq&WxcJpKtyXk ziR>Sc$U`4b-=Ni*W!R;L@=<}G3yY(83?@4!!7r;jhLnEVrSL9ROEl`mwK`W7q3Us9 z^LzoP*EZNU_JOn^J(~LS3yV`VicOTCAqP40Q`-;fsU>|L zKNfW<$kUg3>*!~t(j2pBUUApqXm>3j1l86yPu3M!+kuy^-CU^V<2Oo4&18PQBhZd( z$ta*|&*`#^XfSj50EWvD8tAT<24$=&UgxOU=nj?0u`c{GM)zWP;+vv z!@)-y>C9w8J}s^6I%R>i8s<7izoeFP&Z)M<0GDH<;GeJAi z_&7_}p5K1rcc_r{C=sETFZ`{K?H{m?g*Z%d_eTqD}5H2z+ ziDP&J$SO1#=(Qn=%a$;GG5ytj;&FKA_X&wpl*V=rElO{*eW;v2=(pFkF^9ufPvX~| zThgm_abyLH+;6>Wuw%_g2N&p2-!eBoKhh}S@{rU&RZzL`z*Om>BxxEQ(%E$DQ!!Zg zn*Tgo*&hb~$O46zEmDOR@HfED`}7H#;ygDSAD*d|M&ajR>hzhDf0i?d?L&oY4ZS{o2mN zp`(!U^+Z%qqoj9sRPGooM2My4(yBLVBD06wn#zdw>nS4uS2xu)zmGsktY_7lhi5Z& z*!__>-|ZAcy;T00Jt8eH^Xx*gBgV2T+1yYM-2xH;o=c|ZIbReO_`TQ9f-)kWSN2BS z@}P}{2}4Esn6gK}6pZ-U-jGuNh=r`Vug5Bl$O2;32$T;L!U2(u`q{NNXV#>nPH|Oovj`2Nq60L+39@;9qGHb>{7^-GF!BT=whl{esCe5K4@}B@RA8DwUH<| zd|j)Y1g0Pyl<$E4w&k#>MAb5tcaS?sYDgTuLpowUnPGh1dU4& zn_mbuoE7T1DkhMlJ>Wct;jYX#|1nGam4jwLO`3)Y5w|XL+fQNZZcLu>^Vb(4+Uy z$nIxoRt7sTylpcK-&*nM$f})hwsO5(N|qJr=v! z{7#_Ut?B1*3rTa5cHW9!6pa;%r-qZX%{|{#r?-xuJ5-F?sBoWLjE}ekOEvEw18xBn zG_2J&Fgb}(ltdV#gxCfu`@c50k_n70+`TQK(D+@0}HHTNQ@!N(}U*80#ePUNp*l#OAL3}kviCNofD*J|Ag%s{bjXZ;uLEi2> zrIf})zG|v;_wUHb&z9apl;*#^B?p*$;#xepPQkWnSy?xU3az#w1gt!cQ7x3L{gmxW zyDDDQd;sok-Q8;JprN!uTv|(}Yc{tCHz|MVsnWtwi{aJTCWH z$XK3h3wN7B*jS!k2p5E3PCjO)L>>j4)i!&e(RT}SJ&S(7vnPg#?nqRqH%^PUm&%@4 z^xc^L-t`X*ySWaxCSwGA{Y=KRU1|3#>u~xAA4xD6jI_D-2d?Y!TqVVJ#bv=Zbwa(K zY8j86uUa^AL}0F*+yWN0xhHa77;ALJcbgJ}HJix+oEfhB|dqrQLc-H(B1Ps#I#6-UF zj=8@g(Fknqd`^G1E>Mq%p9xzUG9JW>pEN>43XmW%H%k_lIT1Kg@&gy8$!B`3s&H^gp=)l8M~q?A6`Bl=4*dT- zv-dKDBP=Mc{V^h~GXQr2`#Nsxy0zLyNG^IF?u&AGf*XM_GLX{?SgMI?X^YKxgKnZl zL>P}qb*uq;LYY0V__c%I{bj1LqkXyOpYHzwWW~VxLj-E;hZgw0yqj$PgR6Q+nT27~ zmbs3!rV6?1HtF$|79)^Pp@VPKE0WlZz!+I35>n|@!4-(d^8M4Rd0I6&tGRo;-DOIv zY?di&^iLQA=*ycVtQl<&G8##!v|Uoy{GZdn?ro;a>q~!8Biy0yf;*hcJFZtU67Ia$ z6Cm-RmM>AFcfszG zK}dX?Cl9vYh`ry6sp%S33bm7{!yRco1*m%q!>Yt{w-6?c?WM*>GG}zp&#c|>N~O^x zwp%W|eLv@$xy;RGS){ujJG((8?%GXdHFaDPPIoSUaTB`^zNc5gKCnGW76zFL3mu9> zX{R~Ls0j^#fglEtgly-k__pq6t7tU_prJNpY$O9A*UxZ;_dE2 z?nk7zN(+2h++&@!5&xsWwcEo++96$*RG&MscYX|RhdF&ETCxv5F(7FV9BCAn<5@L3 zO3$RW%)cLThl78xmCfWgS4tNGm=YYoCB`?owZ^5v_R&6OFofJgslI`3i)rl8Q;c4W zv9Sa$WnD$AHoU6oA)Tl!q5{N8ZLb8wxyp_o(TdM=V;l>go#W!qH0#OGQ0Tz@QVEfv zZ;{>fdG+=-AU&$dn-NV-RDJ*%E*K4Oh;gbOL~D(iWWOp*dD~|bz7iEvT#Mc*l4{l4 zljuYs18tP(6<1YcV@WUqswLNmZq8O zADjN?JU#m2_2g{#aF$DV4~MlY$S7J2Nwlw5@qpGJf`k@!Uw|#`9?L<7TgVS%rDY z`PFS}*CXQTT1b^w4i!O1jbDjX&l;W$w!9O$a;`B7z+1+<3I&b-A+HhMZ+r7 zh`*E1{G|!}igLPM1W^O7sHI^aT35 zbRIkRc<}T3#kPI2lLHfdj6jbN17{bCBHiQ{>tRZCs>Vu_v~8>0n|j1KJL*D1o@sOW zMZBvu3nDNB*yBqXUa_i$j1jG3Gt6nv)axsaaO&ekpy#WKjyp(2l)ypOTVkMrTjfvv zCoV@{pKJT(#e>sz9@q`AynGda@0RQ)wkJbwTT}x?1vnfjuK*P0rSksoG*cr5fAK{k zg#ByGBKkLAfoMaCg53GTin9spz0pIH_>v0thY#2aKcT0(YZ(%j&g;m!5 z@ZeUFk&DKmeCF2pYA;zhUhNM{k&^8lKh9EiQF%4tU+%%>csSJ4nZ1)PrSqLoHqGq5 z5RFzx2Px9(?u3lc4`<|fp#nZ9&|bv*Sc{^Eek4*4L_yt0t#xzq(CRa9qj`y{J*OH%QAR#jvIMHgZe$%3hOxs8%7qTl8_ zVFCBgMCVN_g(!E_SqMfi8?x~~+h#p$BoNe|pf?eYdX7=VTGNBb)E)9(u7B}E zLatxM$@>WPaBHT(!P=jOnF#QR3|47x+n3oMnjtwlo)Qjwy!SP$6Oz+O=gB!SKdYZ9OB7Q4{Em`moFh>su40se3|HpPyV` zs-`O`CoQc)g;C(DNVnnaZFpBH>60x)x?*U`JwJc9wJD~}FoWq#o{eC;6{_N@tPA z@yxnwIUlE6F|B*{dC#){B;7bThERNAwP z5G3-*Io}|PbE&UKy{eGaN}VBwW7EBoX$dr&_zUp)2&1%?r{fMaxd=8;w{pX-k*!Xf zHVmDdrAeOEWrOaE*c8j(lvs2MqLQnw7|dCc|6teMVIPWKK*EIQ3GQY{I82}4uPpug z#Zs@A&P*`S@L)YQN3ok!Z&~nuotYLxCZ+up9BMp=(*^63B{MsT-j<#kHj}hL9PYg>Q%kCUs2nT%%)wOB2-jMv}No5$;!f)A=6e)Id=YDm-%D1H(05 zUE2{>#`;p{k}yo?emR3)fW;N&v5a5nuYsm*V@HYMmS*Q*;db6|>^8_hs+NPvb(cF1 zCJbmX_Uw5&Y-@HCs#UsIN3Fb!>vluZbuFTs;?e3qojSBS3+GJz8ZwGvYEpMO!Ro|? zHGRNZDR=D06ElSSV;s*Qm*(7|5(M)^#BKG1iY%i3^MpgEWPsd7g|xKdhx~53w}qjs z#@u!Xf=4!89qxpnC5uz<4IASl-e5ct?WP>=*~qV0?StyirgQ(A4>GKZS;2zePA+7# zp>33dfj0S_RpKzj`+&;dL(w&@98)Rqx(i7ejWjbz3_`0Uo6)4Z0CeLv0U9m%#xX>gBz(oIy%F=480POQ63g=dvFh(9D?2R@PO zStCmsm3vvA?q+LBBXE$uO0S9o{DgD8hy|+*

7PscCtxE%50okLv{!Uiy+Sr?cyT zhHYe5%mU`(Yi?{jsYeX-^0~tH0P_5NWcS$=HOlkahI@()`%4H~l54AHLu-E12@! zL)x){>9(H4pq5MKsq&brmp^Y#n_5HvA!P? zUJ&8yuz1&3P6K=X5JLV=QrmFn)T)G^_W&Ioeav!Fa{L7?A5l#*4& z!wPTK`2n#8{|M?3xkn@*J?{86v8SOyRp4b$rMbl{w{~Hm3aA8o%nMh}MBIFbQaxcn zt)MOfb1VVJD-vZIY+eEz<>J<$fkA8a4rr344^^)h!>To)m4lobyft`_45;SCNn z+r$#li$VaoBg%!#PjEFei9C^OQ|4-N8E>EOuL`3$S59kgRyP6;tNB#na4q&pC$u5G zntroenEdV+)kEvjn4Ng$v#3FIf~#Km(~q)ubhVaN#2R<)b!B&At2kP8b8oYUb!ANx zZK)JxnU0M6nMn-xS94eJYAtA5QMl?=E@> zNc~B{n`=z#0{C{KM#>`6b9c!4gcsYvHeH>UU5GX?iv7SCx6x~UmoTRqvmaao6?s(F@(WAT`sX$1?n4 z!)hTR|7;s!i|L4)AerjO({pV?#Hn#7d4apvQzc5zi#((0y?Vu_j9Q+V46M_{0-X6XPS@fKY|4x?XPTQK2AyCH%)BUE7YnF74SuT zxgxa3vz8LoTi&_A$K#~6HCmAKW;YNfd=4~q>HdmMo#rQ1# z*qJeUKQ>NPYTEjlau`m{RmSugu`}VaxO!_;kO88MyqE|auXKe;*vWjEsz;|G@1ZnEeA? zM%M3xkx}j+IQ#?qe_;9#jQ)YwKcM{w|4kMDSNV^z@xPMuKlslD|HJ=J^*=`c&1d>Y zV4`ABwQ{vJ`(Jz!`FBR@AE^9;|HXjoUkmF$;QpWIB>z?Z|p9I;pYdK*_(ck92mC$F@jXT zpAUdR!Pr{G)eeS19>B)=FUH8(#TCHH%JSdANC0LImj6mE{(ljHbg8YQ^5-{-|5IH? zYpC?@oNh6;ol?afiU2no5gp)ETT8nWT5IBzC4m)INNEn&s? zk|8A9qsoqF3rRpTBC^O?K`C`j+t6rtL@cnra7KB3^@6B;vP`QAGUi|rKmsIlqsm2O zeXNt;JEJW|C?yG)P3&g-F_uY;(DUJl&|YC=MNF&sW}!15`nzs2-~nC8ZQ&;-xyUVz z?PH#KH{JKNX1?iqV2X!S``yKDrgaAUPT_eU8ACC7q8v`)SH=6p1ejc~R{G(2BVOKl z@OyYTZlDr3jFBx1R~G{$ML<5}De3sMGxc$+E(^3laV7kB?y zvB$8q=6Q@gz3B9WAT;?)-9v(R&gO2j6%!G41`&}()c&}Zj;e)XtO*EEGnDbqh!MD} znUa$TbbyZ{#lPeKa(qpzZT?f3@jmXw``7BmafoR&emHs0I z=d-ceAPY-EJk&Cf?64z3Gq=*s_&k3K5yqekZLH5{f7T9NX4uz|iQ3%Vx5_HRpH&uC zMV;fY+KpIn)+y#6Qmhe~)Ma_1V#pRI(jdu z(EDU9K;Rb}ZHkl{wH`Y`CnQyYlH@Gn9YH0PhRM^a6c)I;8?Lm()G;`dY~&0hWuj-W_xF2x;KxExJZS1WSnt`zHl6Hkc&0w7glV_7?wjV@8~=CDjM

  • t&`{MXvPG^BK^2~k*GF~njWVvE6{r)0Tg8pfzG<~KkllOW5W+{MjV_x0iD&b`*Ioszk zo{7J`J=c^&H_w1YM*)RC z5D?U5KBLu zl=ajBR!7L;KEI<;%<1~XG`MXDpSx6V7YOOY>wMO9)yS|pW)T%P&gD8(Od#^HD&94^ zqlzRHL}qesD5rxCHGuZAXo6?DUX=^%_qkg&CIQq6bP)ae52zK7QBAQ8rZdO|cBbRk zCGL)Lg&Dj-HRA&Rsd}A-6O%1sUMy(Ep!cs=4f=5Q$$=1;1ai9yd~D@4E$gM9>mpWk z#S}P+XK#u`IA4-uu4)IkvR0V;u;Ey1n)N2$I)~5xWDfHs&vFT!yyC5 zQnI*VR(6YwSC;T7{n0)g@sooKTm#DgQ65URbjKQYT<%3zBh*&8flx_my`Icc4qQdX ziL1y%f0UoL3oERbLmz1m&(>^LV%}k$$_aHI&T5!LP;Ao~3uObdG1I?pq-%5;gN}AS zt5&4g3SE#TBat$~B!0e>4W$h)LS%*r2??H0rZ*G_+fHPrFt%S@GeofD3JomSPJX6jXTOcC z)GsbWr}r`szt^W3-$F?M=UC#DbCXl2YQoow^#FF=GyY`j^!aJ6i<=(U)*b)4_h6)8KP}+rEaKmQ|=mo zblBMyIwM}S4l~NN^7Su`@ZV(FKu`B4nD21oI-b!lIXeD zM<$iFqpA-JOsNBMGeZ7g_38axVEbc>---ulXxxm?+vqN>z{H z+@<-2mX#+$a`J-((Gp~%=y|D06VD>AGzw6Pw%AdWnT*>hFU2XI=D_qAX~>OHX|&gb zFf-+IhE)>v%O>ABaH{3fv<7D~;a?~)qRcbIo2LC{fK4oD2 zEXpH9vQP#O3$5t8&>XrZ^LQ#-3=ZCwqTkmhd}?qQt}0ZzyH?JO>NLf?)tK$?kR!bK zQ|zyS$1GwpoX_rIgO+EGZN;QBO>BVyCE78O*e1I&j4ii}{AIiWLS9B890t>xu=;_` z=||uniCfkKoVR-j#VG6V;+J5so8iUm&(Ml5j4Lbj+pc85s=vfxkwngSb`) zmc-4?C%qI5Qm=N)l;Y-TORFzSLt_1r&4#%@5JJgo zyTw2*qTF7E#;X}tPSdFxd$h~)eonr6=lHubpTC{o!=gwe5|VpJF-cVCHuuef6>^@T zv#n5^mCixBp-*4w*HxFvw${#4uE7te=}s|(jx&z(I@WJR=5O4Wsu&A=u&PBFQAZbA zNSrbr5#ByO_h1n@9ob(qc0@_M9FYeE1f&~yT4q;&6vzfnya%DSXa;;})5b{0jE5?P z&dI#mI`Kx19#RmnHz)Q2A9ci3{Qpd^SpT<=V@+iHLB-13 z?7IZRpaIZf0zT1=?99#h$%-{CP|LEopfd9=e7O5!$y5HnnpjSuG2}f8m%Dxb_%%N1AYV8t#-W8%yc*;Q>)qLxv9uo)L$9yBU zBc=&MO!pm_EJtX%)o^y#9Uz1P8@8`HJS{JxvsLf0LiuVduCqmNpIGij{;eYKWeu9M z4SD}UdPAuAgh5o^KZA4Iqj3TcuynX6b^rVS Integer +fun1 [] = 1 +fun1 (x:xs) + | even x = (x - 2) * fun1 xs + | otherwise = fun1 xs + +2. fun2 :: Integer -> Integer fun2 1 = 0 + fun2n | even n = n + fun2 (n ‘div‘ 2) + | otherwise = fun2 (3 * n + 1) +Hint: For this problem you may wish to use the functions + iterate and takeWhile. Look them up in the Prelude + documentation to see what they do. +-} + +fun1 :: [Integer] -> Integer +fun1 [] = 1 +fun1 (x:xs) + | even x = (x - 2) * fun1 xs + | otherwise = fun1 xs + +fun1' :: [Integer] -> Integer +fun1' = product . (map (\x -> x - 2)) . filter even + +fun2 :: Integer -> Integer +fun2 1 = 0 +fun2 n | even n = n + fun2 (n `div` 2) + | otherwise = fun2 (3 * n + 1) + +fun2' :: Integer -> Integer +fun2' n = sum $ filter even $ takeWhile (/= 1) $ iterate gen n + where gen x | even x = x `div` 2 + | otherwise = 3 * x + 1 -- 2.37.2