From ee44cf9d8549c621e9681868e45bbb9731a9dc16 Mon Sep 17 00:00:00 2001 From: nitowa Date: Sun, 17 Dec 2023 20:52:20 +0100 Subject: [PATCH] add report base --- SemSEreport/exercise.bib | 83 ++++++++++++++ SemSEreport/exercises.bbl | 52 +++++++++ SemSEreport/exercises.pdf | Bin 0 -> 131935 bytes SemSEreport/exercises.tex | 227 ++++++++++++++++++++++++++++++++++++++ 4 files changed, 362 insertions(+) create mode 100644 SemSEreport/exercise.bib create mode 100644 SemSEreport/exercises.bbl create mode 100644 SemSEreport/exercises.pdf create mode 100644 SemSEreport/exercises.tex diff --git a/SemSEreport/exercise.bib b/SemSEreport/exercise.bib new file mode 100644 index 0000000..08cc785 --- /dev/null +++ b/SemSEreport/exercise.bib @@ -0,0 +1,83 @@ +@INPROCEEDINGS{smartian, + author={Choi, Jaeseung and Kim, Doyeon and Kim, Soomin and Grieco, Gustavo and Groce, Alex and Cha, Sang Kil}, + booktitle={2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)}, + title={SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses}, + year={2021}, + volume={}, + number={}, + pages={227-239}, + doi={10.1109/ASE51524.2021.9678888}} + +@inproceedings{fuzzdrivegen, + author = {Pani, Siddhasagar and Nallagonda, Harshita Vani and Vigneswaran and Medicherla, Raveendra Kumar and Rajan M}, + title = {SmartFuzzDriverGen: Smart Contract Fuzzing Automation for Golang}, + year = {2023}, + isbn = {9798400700644}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + url = {https://doi.org/10.1145/3578527.3578538}, + doi = {10.1145/3578527.3578538}, + abstract = {Greybox fuzzers require intermediate programs called fuzz drivers to test smart contract APIs. These fuzz drivers use the semi-random inputs (bytes) generated by fuzzers to prepare suitable inputs required to test APIs. Further, fuzz driver also uses this input to decide sequence in which APIs to be invoked and enables the fuzzer to execute the APIs in that sequence to find the vulnerabilities, if any. Manually writing such complex and intelligent fuzz drivers is laborious, requires deep technical skills, hence can be cumbersome and error prone. In this paper, we propose SmartFuzzDriverGen framework to automatically generate fuzz drivers which invoke smart contract APIs using different strategies: unit-level, sequence-based (random, user-defined), and heuristics based. We evaluate the proposed framework by testing a prototype implementation of it with Golang smart contracts (targeted for Hyperledger Fabric platform) and study the effectiveness of the generated fuzz drivers in terms of code coverage as well as bug finding abilities. We observed that fuzzing of APIs in random sequences performed better than the other methods.}, + booktitle = {Proceedings of the 16th Innovations in Software Engineering Conference}, + articleno = {14}, + numpages = {11}, + keywords = {smart contracts, vulnerability detection, automated driver generation, blockchain, fuzzing, sequencing}, + location = {Allahabad, India}, + series = {ISEC '23} +} + +@inproceedings {teether, + author = {Johannes Krupp and Christian Rossow}, + title = {{teEther}: Gnawing at Ethereum to Automatically Exploit Smart Contracts}, + booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, + year = {2018}, + isbn = {978-1-939133-04-5}, + address = {Baltimore, MD}, + pages = {1317--1333}, + url = {https://www.usenix.org/conference/usenixsecurity18/presentation/krupp}, + publisher = {USENIX Association}, + month = aug +} + +@inproceedings{securify, + author = {Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur and B\"{u}nzli, Florian and Vechev, Martin}, + title = {Securify: Practical Security Analysis of Smart Contracts}, + year = {2018}, + isbn = {9781450356930}, + publisher = {Association for Computing Machinery}, + address = {New York, NY, USA}, + url = {https://doi.org/10.1145/3243734.3243780}, + doi = {10.1145/3243734.3243780}, + abstract = {Permissionless blockchains allow the execution of arbitrary programs (called smart contracts), enabling mutually untrusted entities to interact without relying on trusted third parties. Despite their potential, repeated security concerns have shaken the trust in handling billions of USD by smart contracts. To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property. Securify's analysis consists of two steps. First, it symbolically analyzes the contract's dependency graph to extract precise semantic information from the code. Then, it checks compliance and violation patterns that capture sufficient conditions for proving if a property holds or not. To enable extensibility, all patterns are specified in a designated domain-specific language. Securify is publicly released, it has analyzed >18K contracts submitted by its users, and is regularly used to conduct security audits by experts. We present an extensive evaluation of Securify over real-world Ethereum smart contracts and demonstrate that it can effectively prove the correctness of smart contracts and discover critical violations.}, + booktitle = {Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security}, + pages = {67–82}, + numpages = {16}, + keywords = {smart contracts, stratified datalog, verification, security analysis}, + location = {Toronto, Canada}, + series = {CCS '18} +} + +@MISC{ + doughoyte, + author = {doughoyte}, + title = {MerdeToken: It's Some Hot Shit}, + note = {\url{https://github.com/Arachnid/uscc/tree/master/submissions-2017/doughoyte} [Accessed: Oct. 27th 2023]} +} + +@article{multilayer, +author = {Duan, Li and Sun, Yangyang and Zhang, Ke-Jia and Ding, Yong}, +year = {2022}, +month = {02}, +pages = {}, +title = {Multiple-Layer Security Threats on the Ethereum Blockchain and Their Countermeasures}, +volume = {2022}, +journal = {Security and Communication Networks}, +doi = {10.1155/2022/5307697} +} + +@inproceedings{Kalra2018ZEUSAS, + title={ZEUS: Analyzing Safety of Smart Contracts}, + author={Sukrit Kalra and Seep Goel and Mohan Dhawan and Subodh Sharma}, + booktitle={Network and Distributed System Security Symposium}, + year={2018}, +} diff --git a/SemSEreport/exercises.bbl b/SemSEreport/exercises.bbl new file mode 100644 index 0000000..876091f --- /dev/null +++ b/SemSEreport/exercises.bbl @@ -0,0 +1,52 @@ +\begin{thebibliography}{1} + +\bibitem{smartian} +Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, and Sang~Kil + Cha. +\newblock Smartian: Enhancing smart contract fuzzing with static and dynamic + data-flow analyses. +\newblock In {\em 2021 36th IEEE/ACM International Conference on Automated + Software Engineering (ASE)}, pages 227--239, 2021. + +\bibitem{doughoyte} +doughoyte. +\newblock Merdetoken: It's some hot shit. +\newblock + \url{https://github.com/Arachnid/uscc/tree/master/submissions-2017/doughoyte} + [Accessed: Oct. 27th 2023]. + +\bibitem{multilayer} +Li~Duan, Yangyang Sun, Ke-Jia Zhang, and Yong Ding. +\newblock Multiple-layer security threats on the ethereum blockchain and their + countermeasures. +\newblock {\em Security and Communication Networks}, 2022, 02 2022. + +\bibitem{Kalra2018ZEUSAS} +Sukrit Kalra, Seep Goel, Mohan Dhawan, and Subodh Sharma. +\newblock Zeus: Analyzing safety of smart contracts. +\newblock In {\em Network and Distributed System Security Symposium}, 2018. + +\bibitem{teether} +Johannes Krupp and Christian Rossow. +\newblock {teEther}: Gnawing at ethereum to automatically exploit smart + contracts. +\newblock In {\em 27th USENIX Security Symposium (USENIX Security 18)}, pages + 1317--1333, Baltimore, MD, August 2018. USENIX Association. + +\bibitem{fuzzdrivegen} +Siddhasagar Pani, Harshita~Vani Nallagonda, Vigneswaran, Raveendra~Kumar + Medicherla, and Rajan M. +\newblock Smartfuzzdrivergen: Smart contract fuzzing automation for golang. +\newblock In {\em Proceedings of the 16th Innovations in Software Engineering + Conference}, ISEC '23, New York, NY, USA, 2023. Association for Computing + Machinery. + +\bibitem{securify} +Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian + B\"{u}nzli, and Martin Vechev. +\newblock Securify: Practical security analysis of smart contracts. +\newblock In {\em Proceedings of the 2018 ACM SIGSAC Conference on Computer and + Communications Security}, CCS '18, page 67–82, New York, NY, USA, 2018. + Association for Computing Machinery. + +\end{thebibliography} diff --git a/SemSEreport/exercises.pdf b/SemSEreport/exercises.pdf new file mode 100644 index 0000000000000000000000000000000000000000..96ad9e7d722adb8809cbf3c9af6762bd552593c5 GIT binary patch literal 131935 zcmeFZWmsLyk}!-rf#41y!GptQBSC|^yL)hl;1*m0L4re&0Kr{?yA#~qLV^X?ckfNk z&AD^u`R2|y^Zt92XIFYvS5;ScRae#OUguCLycT0*W#UAk8k_8%MFCK-P}mv0LE+;= zVU{tqHFvh4U}NC`Qb7KoFpF7QJDWOEFpF6mI-9;WHMTP`Md9a1adLJvHMBu-pHJ72 zcG{?a+A>-;MkkslMiO9mV8ga0YeS!EU6P*CDfgrtPMY>tHdNND>x(`77g~AgOGM;d zVxPvXoqg}Js-}DrO78EOZUT2!$dbc*^3{Z^uU{)T!JymZN)sya$>;q}5C>0$u%+GV`Bq z1x_ri8p@YE+#JQIYUZk{l>i!~c&94iFESO6Cd9V3F!p6XPWA7&Oi+&?bQX1Vjm8{| z2k^ULHFa#B>Y3alvt^kU2L|JB6st_Vr zuV`RgmpH-2QjtypI(pwx?Ra9aaRmFTT0gJ^HKDl~QC8Mv8+LzEen=#fcB)N(Iu;}J z2H)q_`bKZGr~gWSS~MfsU~$VLKb+obAJB-guE~V15-hb}1b;K2LI*hf1)CN^ysfF{ z)i*f!b)cHoszp7cu(~f|Dj!bQg;7w$?!&+u*>k;Tz~%rc*I$6Qr}M7}Y3ZR9g45(b zz0*&d`%W11UR#nyIsyw)18@X%$pN9*6cu zMyxJTWojNcc9Ouk3iUv^o+rJ_Xb2SZ)c%@pKVUm0BlwLc&Xv&`o&G{XU^7P)GAbB5 zv3ROPF(JZV9^UJ+{DLOme3UT2Znf8sXor86<#4m@)R`3nP_SIEFRNPD-`V~;DRzfS zEkmi&bOT6*>V>OYMN8pQ_lovHV0Fz&)DNl_wG5iFG47WLT_J+LV}fqx9-et<0D48v z%5o?|P|m=paO^kL_f!vI<6o6DCN0y8^LnDVUR_?iTSpmF6H|;vZ7h+aV4+`Au6}|z zH!C-i-eAI{AbTQgo}NS?tV-;5+-6_>)#FpXWc39>GWDERlqmAI0IK_x043^HlcFE! z?@H(>tP`_a+vz83f`iJmW=oHEy595ZBN)}q9O?CXvGyL1w6p2GvV$?0i~TIv^fV1^ z>`H8mi=;j3`!^njmgl{hZVii= zvUW{uo+YcQe{i#)&FC{xCOZuBlMoL$_Y0bBvg!rVw=_qYg(d+!FF8JEV1?v~&OMhT zip5?E#GCDy2(8vY;g+0xarOCzt47Y&WgX_n*mdQX^2Vev&F!f8A?RP^o^#p4F>@wj z3M4r}trCK?*+`zt?lo%^dF;1Ww^wAV%NOSteyCOBmDY(xVvE}fI!|1E+cYT9Rqrhi z-s_#BE~6llCZ}YP;3}-S=Ut6kg=}EO@!N-dT4EoO5Ldaf7R85W*nxTD2C!cWz`G%% zf)=CXk~`iqu2#KZK{m_`AIM9$xh%C?w{F3bXrP|?hP@y6bdfFKW7UKZ`_#fta!2{e zjz4ByZp*r^845cKxw&Gt=a=2rjPtL)&wh8Ekiea#HpD4>Us%H z@&!lC=9{HncdXQf&>i?FY%VM;7*jDjZcEQSgP0v#wKnZsL-$^QEt4}56#}p_FA&Mj{JRQI`%Kd6^c*I?5*?Jkk2&Z2>f<@7 z(*@P8*zKWwB&Lc~U&SS3FYQli0q8lS5h6khewP|fRzkjRDP_L6q>Lx|k>sP>9&V@+ zB7S0a{OXbu(cr}xu`#B|la#o#RPD836~7H6qy(D5i|zp&Ey zJS($#Sk70>k|-Vdj?58@m{5p#!tJ#E*gUoXkm2uZ?DNTwlXB@>8MslUsO))y&LFIbn1LAjx`lk}z<4a&Nq zMaT3xLTjN|!pVI<`6?#YV#xd1h?@ zUqALmMbyEimB4lki=$TmOWd#~THjLEp{yKn-cAEowQWa}v|@^|>}bnKpEl<3bcd6$ zMiNPNkL+*s`&mfNmJ7AVzWmZ3n?l?k5L0*+5m8KSO@5aGpcc4{;QU)Tq2gh0O2MpP zXl{zaEMjNtY-;Q5L;)^?7{_J+o$6c9S_sLr6e#g>8%%tpa1>h3JA z>}iE(mL0Dm{xIViY)H`zESSiwqx}6&l|&UQbDxl|@{Gim$U^msl7FMjVx)dbAD<%8jb4k<${VMa+hs!p z+kH!U;@-S+w{g5{@B9iy+_xEN>Eh=}cku=-*_IH081<*EDcUG8I^@9E{7RdVw6|U?a!7E|vi^#QfGl_jE@1i~pH7UEcm~}i+ zGZv6~Radi`!j-CY)G?y18oqzLvz1vE9p79)78OS!CFJ%gtw_qdlXy06XIa2SIh-|$ zFY4D&6RA9HR?_D>=2V!=$Y%eBp!MVfID|g7lMUo71)dXR^9A(16(_$b@zL|J z4h|uu*Rl1@#SOZyIy(uIupM(#3G1YV%swX%^X&RVNRn}@j@|SKA;N@?p@W(v@0Q<9 zahjYJupnzHw)Iz_EvK&htP9rowo7@3Mv}|UOJ;wpv9_|9dV>j!L)K>d{dS&iV7#OTRd2tUN+Yhx_k87nX)n2q(xu&zbeZcI4 zxK6Ej2+ZDS2{r+KA}>c|5VvnhV@gaKjK6SV34OQrRfy^1JC^>cuVxC{1>#Sh=k+TS z#CNjHiq#5_(yQ4XHHInUr*k+7&WUF1%mr4xCqn>ua=r5KSgj39h`#=l3=H46%F&0~zNu z((Tb+GbKa#vj@&DWHcK4nsV0y zw|=13a#F8KRDaDf>;kanFZVi#y;@$NTqxRYOG9mJ>95s$F&F?O68j-#6p^G*V1#vX zBS(?ig8g}cIRB23Lpr*}Mk=a~rPQ(kTaia<1-)DWMY{H9{8mC@b>h0R#JU;#SiphX zC|3>dL#PhBh5NdJzMjtyD|yd(<;kh1Q7nxU&}wa5sj%}>R9s#tPwJakLQAK=R*;`= z*m-{2^+%&-Nq*rx|8$*|7oQ}BygLQ7Pzy--(UM`6r8b9UjNLu>Kt!e!aLYYQhL@fgd+~JyUtp!G0}U`})lRanhkw z!Zw}7pmG5G6Fu+ugP26{gf4_ICD_km6;Mm(rHXGzd(xXokHq?sTzFyD&ld%Fp3y5@ ztYJo1*sq%ApVQFv!=!AfjTPc}IY^y!3G zp=AjX-g;Q_uo_}V!YunQ#+K~O*p>sm9pTwEr9z-B(5Hwid9~uqcrC$ zKD5ql;n2dTJ>+YfPcqEUhq8z?|Iq+T_)8979~*wLMH{<*%O%E5aJ<34rcc)YGJis{ z$Uh}e*8iUw6vFqvlS2O~L;fQxGK&FNC|LiK-1;Yp{#%KY4V--c<&1)r``=BRUo~Vs z7XVl-H|j@tyB?I`P)I(T`CZ}r^(SV}X_`vnVP!h7h_F4Dz@v^Uz&rs6dfz(7YxtCJH5=V>=ooQe-&dY=& z#jDZXsQ})C^S0lU4K@`?%_ z+o=>N9vSdl=N6>pETfJZs_ox*Ge?F=<3CKWj8y6h?C2I;!f`V6Rw8b#kn=e+Y;SvqL)Cm+T39sgl=taC_EGPUJkWVtZ(!*k3x+ z4L@(gzhRu9DfN7&=l)erJs`M+Nh)^U(KvT>Dy@WPcfg1nft7P8m*-) zn}$2$FEusa<@Rmzez3ED8`R@k5$Gxy3?ANFWE1^_ZcGAKA?t`D$*<7KjY>G#B=MX! zQ$V$&0ZB7uJ~ikf<3zxVJ*qPHmjL#`g_s+E4f*90^C9VmpAYYh-mVm$YuKbu$z7~0 zt+p<=Xi3>be%G%h%6dfv$4i;TF%)btjTzC&C$+|f&fb@yy8SFuhR!qqEng*=X-hSa zS~&wniNmaeZckhDlvEE1p#aT3wnCBXym1)s8DsJH=|Z1Ki(6Hf3%#yqG1&W}CU>i0 z1!u?ajF)glX4)A;bi}F1%szPL#lGb{s`!kc!niyUFl~vEwbEk{N2k$y%m~aDmmu*eoS{Ki^l>8qkx2?(J|bNHmAO|IP%c{Z2mO~rBApgg~|bcQV;De0|)aZ8ASR_ELybMFkCPe+DT#zDy4TXS!C#UOcPba>TxlV0DORQB+qzwVU^~C;c;F1nNJmh_F=uMaiYv2O6{ny{JxWA=#xS%f@u$JL zG2HGib_pp{ET0Npw;g*dh?Fv}(ypjy(A8^d`KD#x>rtR_q&L*H@jeMkIN=*Im_Liw z8A1JgH&Urgf_f5@gW)Zx96^q+b#Ez93-tRX@uNGDJo0A@kt98JZy-l9Q_B0yA8l6C zi8wmm9sW}+2bqO?#Ej{u=AT<@lA3bzVVM2qj8ym#6#Q3Mw@kRRO+LRx#~!PWyXcx| zj8CV3r*;7tKgjo)kb9{>_uhL)PSdZ`u2s=C+hD3F+b52ylwRBze%TsYIqN674kKd) zv{CvmOvQScI$KSSz~@i*q24NO2>07sRGg5j^97fo<82uusMmh^@yS+Kmz$k3_@rdN z9jY72D}}81T<45y*7Zp?EW&5nn2YcyP;D7aG_QZ?oqk??jdg&p?S+Y1yvDu_)%cRi zyz&jz;z(P6LS;OfguD)i>Xus~x?h_Osa@`dL`#=( zSE13ww@j(SLS@$py7v{=wISB%ALfx>@7jD7C6w`hQsCKOdg+0#UwG4yH|In7v9B|^ z$FmS8B$c1KM?+2y$ZZwEDE9)Hc!4=YZ=oZ#n&V*94Lwo};6Ll{uwK=tzZ#g`^Wy_f zJoZN1j}-XNbK^)phbZIsQ(Vi*R>F-(BG1Tf8%v0O*66@w7A<{Elf!;WE@#lu(e!Tf zlJ(vFwNDLD;I2;lFrUiInwjw&6VURI--SG!u^TRv8ygn_9}e(Rk9=nTVdB&c<>Q$) zGnKvJQZ);1!!(AIN!R)k)XSJxMBAN2VoWRgjBH=rou|p#Pc`!=4hByYjgO#xLen={ z(03~r`{YUu)u46=@5@j}Y>3JYmSXxaD!UWu9WvuFO06v1u1Vq;XQJrx1a5`Opu?gG zw4~8#y=e{w?i1*=eP`wrV$70?CZkJKwdV#c4vr!ag?#DZu0&I4ioKB?22N(t*t|nFRYv9s%?#zRK5XtI9%OHBH1soTC5K3 zeqv5*xHmY+M1Fvo#$@w&qxr%xEYcoDJV zYatc}ITVkE$(|eyOf;`9quyHhd-F)oxrRmuN-nJGOz|uE(e&H9HwWs#{vg{13}c#Z zi5ttok1HO)(}|yBO>TlzFY{p0JElIL)Usbrl~`6hv@gh zuJ=EwqrmU(f0YdX={W?XsQBkP3i9fY!u;PoiC_iu{qNLKe+naJv45(m{+vqySSi^4 zI)M07Uj2J@)Zflb{<`boWaE4+qbUCCyB=L-*_e42%&)%~y!JIHH5bA*a=8-msuMoP zN-&g+kx{Z3FajB96voM}XWXnqYEReQmzzIwkw1Cv+0p0Kb$`P@{VC*QpJaksFs;Pb z=Tey6ngeX2-x)PKwZ4ueT@Pj=Rm#0EF3-(@TjGkQ7FJboi}F5G*pC?`7!PmnvP}oP zKQ65J(77u3iO^ui+N&>{_f3+_LSSv3!3=rx4#^9tWGlC9C1GQpQCfy%Qf+e<8;R3h z)=Swuj0%AmGl_{=n@D|*QZCplUPksYMGbwW6^b>sVFppGkqN1R*;^^Qk&z#z^9!OctrwJ+jF2OUrE0!sV3|@c1%gYykR389JJR#jH1S| zb`-RbTt-QDEpHp=hMipNS`b)Y8|WCf^Eo(vh)U#P@8{z4=Ng8y%TY&r*0P}%ZztxN zu+*~c1ppro%PNkWE@&JR23n(HymgQ#=PshzWcwr-3ATPGe}DNy zeX((d_?|ENvTn+R@06Ez>1<#8oo9b6_g*7_uP6$c(VZiN^vtsjy0I@DwvFnw6Dyy& zaZS@T*0-Bh@gqu8o!DFh%B{;P_^I3I(+0AyuywgVX#RD_v4IcX{=awJ@As5HM}KUP z)3g8nj)U<1@9en0@3KEz>)+Z=;9dBr1c?0i86S8;{}K0RVJIk=?aj^X9nFm>wEuBJ z$^6>X)za8hNnBVLe2(~+pub)OwK-UTOxzTYkdu{_iIsv20AS*xU}u3qPA(?k@AhNw z{{;S)`6w9zAIJK;%ts6t2Rjq!+?0hKq#GA2Cli2z3v_r2-~xiM08TcLPF!5HD^vM5v1U7Ca4hl{H8;J7v2#;ezAU8Ky&Tn1_ z2EYo|=y3*|tQ;WTzuMq6`}@ouXTt%Cp5Wh~r$?GUxWDs&v22{+SpZqVEB>h0-`52q zkBt>Hqeok@vx7C~WCza?+y?-Fb>aYkSBwL^9=iXq^ITew+3J_+&|5I;l~Hw!C>6Tl7jDpnTAKVT9d#EH0oV8X{X5VTD| z+m9W*DS%)KAP0!$abQ+fAO!uW1q5=jfOqJl=77Jo!88B+tT;he9FIaDJ^gnZw0l82 ziW96GnBx)q*E&En2E`8U-;%gFAu$1>+8=5Fgn|PSBRDw0E5N}4jtP&l9(y0x>aqO@ zfA2Rg&OcWCTk-W*O#`}A`L}BtcGgLDP9+uv7IuQBVJ2f(cuWoejP#2g zM{Wd{ngt9Y%t2S8n$YywGO5d# z3Nk_UIJuboYi@P3bUv!=mR24TXRr22B`w7 zzQKH8=}sVLfnffY0skuDwK+gvE3tvJ`kfjfy#Kr!f5}B*er;)HW(vA71m7%bgA`&m z1cATb!a>IQiyPcY!S-19{~4M6uPm<335g7xkbU|Hf$ZQ|@d(+t9&;}ww}Cbt=YRNd zfnov&2P7tddbrpinGC`MrsRg~J60A@+5&|F2>MarBLtH?4)dq=cPe(srhbHAiht^Z zDEUVYxc}ez{eAq$_M=n|F0ks4@DT%^8W*TA0hIuc(}F}K01zD9ey4v(1On5s1HcKG z^KbJ6fYKZ{DEaa)X28{{XUau~Gc>;{w?NBn^};z@-QnK4Q2)*WCbacJMO` zI1F=vf-w+OvH&0<8RVa!vJGTw5EVNpScA$M7SIz&7ARnYOaKI>J_r}6|54r}=Wp3; zV6Wih_=jvT73c?={GS>K^!z&;gPjB7AnaVAl*SE#?5yDQ#tzD?T#(8O6ssT!?_VL1 zgBwH%ads{aaC(Gr0>K#_!U5WEKo9{dD@YdTr5cj&9%ZwEl?1Z>9`TX-ar8e_91v|D z;UmSLKK6ge`d6*~yO`he{XJ{2W{?@MgBP3=0>RIZbLHaZ1{>gUo}f8`%>?|1A;ECYd9#$3rIGH~Z071d((biz$;5Lw*8`KLn2Nw|REkIBa z3sMHM$gHdYPz?`hK0*KxY_Uh(!Q=dHLDv26Gved`R|jCBU^_wneXQO8W?wM&H_sy$ z)9>^>otpeeL$cD5a{T!TN>vKRj9@$y$15~$w z-d{j99*}|!G)quw1XW|)zuS+!{}cEq^Y8F+EDq3n185Eq_=o{-Oz>M3*pdK{xjYM}Vxs z$^y0vWQ5;iLgaCSMh5N4M=cx20QFXWt54dOsDN;8ZpcjSf$$Q3t4Bb`L+*>4hoXx&MP}#U^_H4kFgP1h zsH^JXyU!6jVRnc1pnu%nHp}>?z;^u<8ZmInf)ym(eS==<`*obe0&y%T zIZ&un?_ncAu5W&7O3^Q2s{k-pce}=(TW}4_)9vd{f z08&9W_90XrpHTi=R92@)l7ufb`|d2Z_#(;rFTw&_6a2;*zdYf6)uy zi<`ka!rNC>R2-iiK?}-3#TGPh?vvwNcyI^Yt5iNb^BHa*?R~nARPH4UyNOr}_w}CQ zrXFfZ2uj_YD>ieq755<`c5V(D&%jCDkFXErhu>|?g*t2B3G?l|uX#C5o8M2D+gWI9 zU$1*lwzuglsG))BGXkdq+CxROg~c?_dN17u9#o|y1o@!(hZgyu%%0c+pm=#P@ck~% zRxet8CjC}hH!hP(nggle+8)&F%UrJI`wo0Zp_W!qg)uJm_32}0`r)B>?+Kkn0JeZ% zGtB1?qZ{`H{SU2l51oS#`&kbwp(cwze%wz^+=*U3jKltHch&P{*Q1#kK663+@T{z9 z^~krdF{@Qg9mdG~*w^Kxv~5Ng)2+Pn#*VO^iOoPhHkfF3YVo?v;Yzynt~Y1SpH%P- zCjJq*JgVQv^r)W?yLxqli|1!o_8#f|0;*XvTURR#d89+n@O-Tad#ytJM@9shH)p6@ zDQ*2QZuWV!{P-TyjG!1IV7tzy;Eqz#$lI{iBX7mUJ=~$c#QBEa3*SPi?LAN~tEZp% zJ|#!=Q{5o%LN=JXWnT9+g?SM2f>NvU9V?dq^^harXi{^DZ-Q7JaPLo2W~=W6*QoKJ z-g8G^3D@)x(bWTQa3?<6eHY$LQlhV4Yfgw(scHJidD`alAFl z#NCmr^K=fvxlZ|lv6AK+Q4o1&tu; zIzNS;Xt4H@d?K|WP`OUvS$XN{?+3G-@Dc7k^i2o$#{Su%$B)H5e70aXF_YE_f)OL~ zJI3hQCiufBdd4S7WWw~q-Y{`oGqc!L9Q;@znK;W#S055y`(o=2tVM+qYoZfM=qOA+ z%RN$mZvTYN9B%|o<$F)|_x>}MQRmtT)=V|%v9UN#it8Yyq<$@GRpsc!k0#iGum>5m zk{sA)S&Rg{o|2w&qt#7>Uf3H*aI?lO@^kU`cs+A_1Lr#)&4K16a3cfs?Rgr)HcF*M zpVvoa-)!GVT17T?ao}AMptWpPeOP2!Xs$s1#pqDOwTMF?c)aOZ3^+5$pLS1nzTYUU z=Usj~nN^5)LB#BiFp(P};N{knuJDHVDJ}RN5g_(w#j(1R&ulu{R2!_Qgb9oVxhh(rK%;0|>r*9z% zM#HsOv^p`wNqyrgm*+Agg$4|lk;A=o%%cR%={iKcU|KzFqDQ`(h}|;_QuCmNzA7o7 z!t_l4Qa1(5o_})WX}wr%z9%vorSmD8-3&2|!!IoJe4r zOg9R4#@gz}7g-@)IfmuMlmS>;Mw{lg91SXcuf|^qYgiDAZmcbrz`l8_?z)ff#}4nL z@?Aj{w_oGx0GW;n)0}m1t4rOZ2~Sj%mfi`aYNav5hv*E`BzXy=ZbNKO?EQP8__3uX zbBw7MRK8?Ebn6BdJX8S>JeE>8!!%j=D|n}aa!n_s!qTB$?Fpa##i@px(vh8B5ZxW- z=LJ=5HRz_+d}hLPr1%)8qIHXhkQ69V-SClu5%sK;Nj<6?%QrGpi~0rG55- zhH&^&<$FR(%c2u{WnaGgDu?>dlB=R6M+p+`60Wy8DRbw2liOKYaD^%fTJuOfTA@lk z3yLf!X=-t&n(ZWASBtvFtcx}ocM?=-qV0y?R8~ZGXf2uDKj&mKI$g?GSZLYhlHp># zv=42m8lUeq7T;|%>voKr%qVwpMM6Yw34B@FK(b@ zy;m-dZM^rYq}9OfGr467uxN%Splk_$%_(Ue+sJ{*2kn$dF4vW4WckHTe+f zmhdmDEt>(+Ye|5i!|GiJma46))ZSlDo8AtX(j!ZAzaZU96iaVdIqr0uM@s2)HcffE zEcQk1i+t(z3Yh_Vx+IKOgYpMy?Rq*Qeir8`1Lyd(QZm#jG5I`+ZZR&F8U|ghc@}D# zv}hL>*BFrp{(jQo{3Db7riy$o<*VUgLF*~I8~b1*RsxSnVSb?$=rCl132y^umfewW z``_onL)D|5Gb|XEZk9{4^1DVUBZCQZ{Z76bUTU%N!#~SETaQe zojDT8MYm|~A~FBDK=Z@A+9qb&(s-R?IC5~rh9-MgVJ6+xD_m}=RCqjD9;r(2RCfFkyW_L6qY1&iXbw4H+$-JK%}@S2 zUAg8pBAL0^rr3FS^-=J@P`rwpx~{RCM=@U(Sv2yb#0&T}oV-3=cQc^^PNgfvC?>p6 znV0W9w^M<=u8tD+~&ObDb6iq`*N!WCWpxn{dhqP z__SCF13gVh0@s9>#JWmfOt_ad%!>xCiXFg{n zPftzjZ8p{NY@|G&YBoHft<#!*E?AOlwTRx=Z!sn-@luzws5CgD_O|4xVf@aEC%^KL zPe&{uxT9q41_k|8O0!Hbl354OIeA58-8D?xi}vW}0orqDvD)WTUOat!bz?jD>pLAC z6LljqQ0cEW{8rFz&NF75vr_5T^*i2)7}spNje6W+4Rf1$`LmZ)y|swg8`!Ezj~dUc zNRoCdZ|{q)(6&@O?Ht+J`s{JbaB#AM7uWws|ny>UndYF=(5X`e}UmI!$!LvQXV4C`|puDqb?|y7()= zL9O?h+$T8N@<9Kh#3AVQhT%e_w&sJT$?WfJv@E+(J}9zPlXx#S-$sWQjy_Wfsk8hl z(~My$5gJtY2IF~^)E&Z{j`;He>T#ctg$YAaMV;jqxeHF>HV5z7#t#c)y7)Q@18}pp zi&BRwR4mEJ@@Z_WI8jqBr1(V0rnuHoLN+u%94o_A7G#_w5Zr=)~;`|Ykb5h73cYrPC3%_g_ReJLw#oGVRMcKAJvZ9J4Z`?XRD;V z%MyZt!&X!`>Orz5a?fG|(VDn|QqYAUItQZKaFP{E|DeNr{%!2)Hh1Ap!Ras}fq%5#?cEw@{;wzWk)>5q8kF!8m-UBBW>Y9a+1bt4ZoJ z7FND_X|1S_#5eC70$KleYmP(~BJntEd%XguELNRfGhg#Zmu@enD!wq-G%YnaV{S*B zWF1GBba_Gq!+-Fw`?<9$>hg8OPIeyGSE$xEE8xF=q z7V(5j3dd4!`IXuC&9_q(9>{COqu!o|bBwe2np~9W3}ckdd^nyrt<>a2RC-ooxxgE< z?R25;(ea^Gpzn3xk&^&4-yvJ>QC;T*Ut5t@ z@aa=iHt4;shyAs~wj%2ELe)#IwA%*Qlg;n3rg=NG*`nZA zXn|hK2oDp14j>k~H`15KMs)QD{XISH3Qwovrp%ma2-Yb=?89^ zB64qo^8>fTTt;Z&XI~mqf9=;`e&l7#<&#+HHefOH7+KE#g7t1Dd7A!^`Pp90uk;>D>)yt3zSEcxK$X*y2%BZ6OV8@_5l z;(4A##G_gJU_)Fgi;s;yN!S7y{$QpGPu%0cqX;UPws$0pnL3veTSEFyy=$Ir5w>)WPuDyVQ4?;)1wKK`Iu9smpSnf3K6%YbDW7fM6KNPBgW=u zTG}*Yn6GFhS!Fny!!XZi7I)KY>%5>YfUV z$r5KFk#CFhmH<3=n+)%v3nAx6!__LqbX&R*i@E@?20Ny4$OTq(>v%TBy_U8jPGJhk z_;RJFH9l(;)mRa-K2v3e6R~a}$`r+1rkvax@B@3zaohXJRH9th7b%~aldAMPk{Ile z?Auy6M)hLJAFm|wnKW1!Pmrw3QyT$AfEQJE>+>GPl zH1aXu;47smqAL=;xvkUtYS+nd>a3jLqW0$Q#URaLA9Zh4Nh8J}qh+!fS`z*!b6pUc zCZZhd4AB|N5r4$V3*r3H>pD}}3@+GTWcWXs<0O1$YBGyv-%kvenfUU|xL?xOjJ-GR zB0=!3DsZ)wl=u98--pYsJI7Fxh0S8xwqm3I5((SqJ4ws|ng|&zPdXp2^(jXNFRGq8 zvRtZ!K#^4W+7u&q{*ZODbWoEvDc>p5NCUtu_1K4iUi-NWlAK^?BLFkSb-2>jvi1$e1 z)BK*__s|tP`b301J}DS^`ji7t#u}6FCWJ*tMYjEE=sVO28uu45!)0 zWJiViy6rKs?SAfgPw(rht84PDxtvXigZ0gTF>2HoezQc<3GMnbTcF8@GuhWebsUn; zfVf0ijT;1Kt-7((hV$j=&RRLM|@%P#&^nVN^INT9J-Qs6cTeaZk(Ls zDmOmF3hAINR9nnpTWDa4>F;0CN3&MzbY``kPrtEm5b>O3%pTKiS_Yj|%!e&r3cKXWpVJ^e9O(bxIq-B0_DX83}0M0DJzDdZ}A zDmtZ7q_WAJC}v}_eWWMm^e1p}5t?$cf_UA|FY~iUKU4b0h3WOV(uFoxbDt+l(sD$_ zvYxm9bo3vCJ^H0%!9CqVEcq(M`w&6Gln0ZCi&QL97n9=Iv3$ zqmr)p@h9}cJR;E*x_4ihyc4fnOf<(+qeyeIjK`XO?26TGo3%XWKpSD~m5=e#P?D38 z6w&3VBPKvd8~Cigz;py#8u0}vO=$C>D7N>kIhfxTxIR?~Ahl156Y}{P0O~ z^q{Y>nZ4mtCxkduHR)J3zp~;2-RKG&L|YeXr*pE#8J^$W9#cqv5z^xQ!Vn`SmVKOY zk)v|a;O+h7&Aq$B=kpiqeBMb>iq=JjLRKQ8RvM?@ZJfvFH8IO|v%gIYwkE{bcMVq* zw&9n^ez<8)JPIE0Ti%lF7N$*Qt2Hy*muOPDVjx{XBeHD#=v;RlMsm*2m(L)bNi}-m zRuFM@H(!sPnuZ(H(I&i63*{>V)35ufVDM|DAX{`p9nO=`u{hHv>a`{|6t61zJ9+F+ zB>d`2R0!M28b8{{-8&@`$KHN=TB1NV3%|g>l!>vWE>dBNA{N^-Fl$m(^|qr9Llt#j zMFCE02yb3EAk_qkd&Wu1QD*nj5e`n~)mP`!!ca$SvQAAjUfT$;xmDfUvjwY+uXj;Qxxb7%^!P-ApYiq^d^dNJGl>$h5)$YL+8&Pir zls%Rz8mK>M`Q;fbW63rdos?Y1@w8uD!skuKdA8^oEaihIviUfktPMfSncB4L=i8nb zv3uU#yekdSxD$HqkZ4P7LZ|%k8}rRmX0PiQT>TNg!INfwJ*sg8j1)wIlB8v%T_XWs zqE~dPMEIRyX@os>bgaw61u>Ct1_Uk*KO5=@VKHm@9yAav4CQs66mIcdhsdz;*_TPw zxJ`HXpgsUV!LYfL&B_aI&{MuN&edpMQ`~6q+E8Xo z>4-JINlj*g327d3#m1e=>C;d->7yW}#@be)u|O!22_x?swYwjyu~weveJdu8?)J{k zV#?_91Ep*5i2PBvf$GEBPsXdrDb#RF$(O^0#v*3!S+r$};q2{=AiBHTx-w%Tw zzxb4o9Ajg>{O&wjAPg!X3I@;WatMZ8!kbh(ro$(%Gu=m2wM{s%3o$5`;v+>iU%I*( zsgZ*f8?$4ZP-;>*56-urVainwveBVV<{eMSTDmCsz@2PmRuoPnqnNn$ZkHdhYF zo?DhiyAsO|Qz^N?N{zC?Yjym%Q{?GOL^%AN3I@H=-Xp#EGR2?6X-3iWruos9J?*oH zm}{tH6)=6;`J}*uIahf85>G+|MFektGl@$=&)RO!e7?Ux z##3V$0M%wT}px-f$n@t+Qal_agj6Gh^hoHy|AtN z$MDhzf8mBI{_1CRZ~TKRgGfKL%F*ugYNxHq8^5Ac+f)h-!L1U!w(xyY=)HbyD2&E- zR(n?PcKBdaOn`}&Kxc|!?8DB%LH+F&v)167HLZRLRVmju5w$BQJPJC?&gZqcDE!uZ z_1nJg3Zh{pF3bUva#37k>m|W9qhr?rJ#UAXP|vE+@uRrOWVrFiRs-v)7Twnb1=-Ji zKA9lwQ{w}*)Yy#?OkWYPW=9b6Slh=rQUjb7Bo(3L^mn->zYu>e?8wHE=VEgjF;4}bW>!ekJ>Lb#)mS$t!?9W z89-NY%VbC?J~WS0pZaXwNX5%-PaUGW{q1B|qX?BogDl0W%qhg|4IM$wA{tCpYcGaH z`$)pn$HN7`LD&9^(`VF$`A)SjZwIi)$nX?6i%`1{&{tN6vM%O6IJy+PTH2e)eK4$V zdf|AHJeGn`jh)-j#K^1zT2$4miKUDTR)* zxtSOs=`Vc#c`MiziD&fAvn@Egv&?h2Yunl_F-qc?J>eo0j%FHt2ARHgNXT4U)?bXS zvsUk(c*>g3Ya)DjPG9nTtp|3*VdNZkU(roPjpVjn>brn9hN;WC{=u8dgGMznd?eht z2r2+%nmvPww0mjF{!15`+PE579E8uPR`}OE6E|2PVcVHrYseX4dpQK)F(7|n# zvT&@|mR!BEu^77O1hq_Q!|_zN-Mp2I<^Q4Vo`N&^0(Vizwr%T+Ik9cqwrzW2+qRud zY}?7iw)Xta|Lm%LYG0kpRja$Y`lhSaTK&B5atsXN;caoish%A)div!Sr_|_unr+%f zKRjnlVE0m8p>^9 zTLioMWkN;5_jJF$oXg=pg9A$c$phRy!~AzDb6AOK|Bp%(^1I|KGmA3kSlr~^<=Hy7 z`y%VeSNIcJ-aOc*vzYzn8~$-CNn<5~FXspL@g_X2%gOKGS_U@giyj#M*&hi(Tr*YqR%HeQxO67k zt7rqrs}F&$bFZ|XrhKTR=48X!BpB3wjwu_};o~Pw95$$mvo?UbmmZSpy7{)kURS;= zJg!~DbeIR6=kB>oS{G%qL)zdsEdoG)mn7&nIZZ^#dwV!hqgTPRcJ*0TvC+}WKiH}! z9GHfZ;~of2Yln)G$#8ErW!O|4Hf~;`qxEOj$>*ZNTvwX~g`PpDiRG{Z$2J5SpTWNu zxpDSuk{AhD^sXv1`KJVL!_tJEzR zMrEDJFW<5BCEYl)lp}u<7*H}Q9Icgk>M#*;hyXrTv#Fen1O)d)zVu$JM#GJ{O-#u9 zXoxz!{d^JlhXR?^^x|@4kkgou0E=>X6n_Pc%YGaxtS%SWr>j|Wb1My%bs_#LJe%Fd zTXrZA;xyJa6jTI~X8khzaTno%RJj7L4ZYyc#KT0vm3a{` z6iO|O-A-JIMZvWoc6I!>G=*VT3gXJseo+$4K0EY@qV+2~ewBwkk4e|lV=!ka{8_j3 z{I5rqjxA&l)UkuN{+?gB2sT60Brc`5$4>#^D2k<}(XBb#nfI55RBEpG0E@tY#hSlE1k4LDQZHXb#Hvci_J6=y|(`?F}-`X+2V4R6oEJ5L!CnH zc&2^Q1|2oCgPm&bqf2#1L^h1$6?FQU(f$)B^&?&8v}cPSz|WzhhN82<$06kK)`LDx z0~Suq(h)RyOADgq;0TvVVNRU|%YKcIJ=k!GF#2p7O{Nuj|8gatV)nc`i=v?LLK6fp z&vkqfP>PPZEW)o@0l2>1c}ykOsD0nS$-KYj8?eOTQwU|L0+VkJ$&3~xP5t$S@RINP z)E#OVjdD>WSYo&JnJ8!dnxEh&<*TBjk{B1VRopUQc3#c(Y5v%PbP-1tjY1h&XaiHx z5y?)e2Iv&7;qqa{tO2~Bv_PCFV_D)Yt1`y+ikDI7e7!D1ZTtnm8|JCQ$g7Q)PmVK= zS_&gqt_Kt>^UnoNV+d|2$OMhdcHjouxP&ZLFor_{H_^KWU;g?nWS$^~8mLDug?U6y zZc1twj0$6M_#6_@%c8tG=-gHYKX@ZwS}62_90P)pm7*j&gT=eo4kpwaGX>+As(c#) z$q*8+J2055GFHVdY|5?q9ygO{I=Oh+yNrqGGxVkB%Y;%3kEcQ(v?8GAE}bN zF;XX7XJy=p&!4#*pc-$>-v(|f2c~wiwb9!I_ev{uVy4(_i z(Aksdp%EUFC`?*-8TIOgJg{-2Q?thzA+)tHKj=44VNpv+F;$Q)aAs6phuj|?#@6=3 zXD-x=DJwm&&`aWfm_sT^(vq8qhbgOov5JQD<0ufTqt-jluKGJYpev|VPPU7#Ix_>> zcbd@x3SIBf{Cq=0?u^U!@I*#iJbIQxuoStr_j)Dv#dGU9mr~+npY0>2$FIF`b#E6Z zt*o1gt%pBHh#MNYNarJ+2ZF3}RVw{K-q4+E=MUEUQl>BKns%M()S`}0Z<#WNy0gi{ z*=@?E-p)AJg8r%YmI7b+Y$k%GtOlbs7g*0PVRts4#f9XdsT_meATk=aqrTvj6ag9+ zKp2}NCi)|?n(n~7J-lxs40on0q1s>E6Bg`f6r=z~`#y8wN4j2TO^Idzyum_q(OiLQ zs0Od$e*9I>{=FvWI$P`;l#2f3z#OF}&Ny8GjuaHGhP8Uv&t5ITF0NQ%4IvS)cgy~U zu55z;dQSbsc|UVQr2^v@F)F;8!}_V+7OIfMd3%Ur zhBhF(Gxn(NrpQ#g?7it#5Rn{YAXhJ#?a+ix6I@md9c#l8UOXLk;4=+nY}pg*?BvFf zhlow@@?C)#1xG1EZLvo-t&NNI&&~b0O?lfYP)7uGdp}$`A&U4Zt1+3T(@t!OhxX}Z zZHSN4vemq3Jlz(|@RYpqFJY$LArZ7TF=+et9i?A{TNAEBm+~(gWW&46E;2TMC*@U% z`4qf}98rt87ktz!XLiPUqcS~{G=eTK)5j&&OZBYBv>raHau!r$2<^QiIW@qFZUt7k zF`rzNCReJc|L|JSrC&EaGn)5lAjt7?C837d`S#9TvUD zWQ26AG}ofQUG}~Ivu8J2p+IQo$lstpO`RD2@a@i>pLy`_@FU|CRcIhe4I&jF_d3=w z{(SUu2_UP|_fcD!NV9a|Ml2YxG~!y*@uR%;uxoLw#A)~z>-`o}DQZiTN@Bst_@mKg zLYCS*|KgCOaRIWZ;C)+c|rj|LVi0U?H_+w3$(TGXL{C(13{yh-I*;Cx4#n^FGod=E?&dPAN1#eeArw&|GlU0IIyr zIj%nnNyIs5!cYVfPOrs4)83tJmLGS zyZfB{zU5GCr`JI9ASiG=t#aoPj6~08F%7n;o>}vKPy7|!SY?R*ctcM>9xgTkF`MW$ z_$yCeOE*`Zf!UpZ2hW}a3f@9U0~^tTQjU(sV%1OKSj8q^ai8{avS_!nB>Y8gjNCt7 zh_+&Dz*Ld%;A;fe?a+?A8M$GhhY}Kxi-4{hHdbXR+e|FXgkl?xs(Omf%l0Hj^&GP| z^0VY#5;$E&5cC#7yAmIQWG|h5F-v1LdVEFmaRx4Z)f$Cl?9#tl^TfU*VBUx+{ZGvdig^+`V%sm z{_>Fwq0Xhh%|kzWmKFaF9b+cMk*7=hVQmEL!VEi)nd1S^-tn&;J8aIOXB&hvN?*`;9+7%ejn3}$lE+MjzsY2$b@Meous-Am^Jaw z?qi{U-SP_Wkv`2V>Wn9_P=q@gM$6BY_Iwodw4O4b0d2%y&L`uQCp}9?$>GMEiW-IF zfB=F(@|q@Az@sn;6+POqyJ2=U_k=?3C_f3t!LH8kT5VmeCP+pnuK;)l%nGl7tWvK& z@NR9EV$0x8gV0SE{+BDv#;s}_YCiSiTmLd=DC8m}qT7^4rG+T|6B**F z?3x=e4wZ9u^O!=9JFJbr2Vk`C`f!3mz0E0-A2Rr0vXK$hFQAMTZr&^UA{PNil95S= zl@!BZ9cFy8bliWQ0<|X<&W;_^P4oUPO4Ufe@l5Y-!<`uQ4ks#9xtK4QzXNXlVz z(*s-h{|Ldgo5&54j4=gnzLWJ2UlEvL8w&2sF^QYb#lWCn+jsc1XlUXktxALU6X)DkR z?26}$ju`!n;?!MZG-VXrwYeb=G*q0QW;~so(Jp=62xLc^0Pmr{v(9^CXSi1b0u~=p zv(%b?=|>6dHTAPlT-Cd=W-33mqh7QTTP%IU^)N@>nec)q%N%sLc%8eRT4K)bSf@4c z91>4?=dcdr=LW{e17(|6;dXf;WBi0^cghG~hX(YHBuItmbZU)#b_-&hC}l9w15^qk;46h>!M~)> zs>R(vm?LK1u=idYJ)&EC9i&1_UG6zFu%+^e)Lu|em`8lJOnwl5G$S|m`k(%J(+n4@-bEp>swruLQ0o1m)NoXa*yK< zkz~fM)rMk7Z(?`jr7{s^)02{JR3)$ZH*o_DS#PdA@pziAc__8x5pxw+A8}6N_wvcq zsfsNjDQmRrFQXKZ6kNBH53OK}Ml$Yd?PzVl-#3=cHc&ojd`Yh@ zcjEIB0g2d>CS0H5t4$CdL@Ezz?PVCg4j1B&+rtvH4jkjITwWI!Yi_t7<3bd?fY2P! zv++b4U^lSbbVXYzJJwrjKl0vj_o)Mf_KpWrmP_YN?3+H7Ier_Ozyu=CL}k#_U)q9l zrQ7MVSZuAHh+SR^T?;NR7oSdND#Wa(vK)1#v&ZXifuBopzmPb&#O2uX8MHnN#X^Bcbdr`SY-KSG&=|k?P!A$GYINP(oG@VwFLB3& z3L{h;`g@ zC!%NmkHs>v|1*_rjQ`}eptJFRdCBZt|E?4^bdWH$G`ILSIhT}*A&{&SHq0FD3mrhiWLe}wjbvBp#YVSp$=7N7)B1{ea20LB0l zfGOY~$u@Mh0GL_2nF1^T7M>0krgi{JfHlAdU#kC^|X<^NAT#Xpk8%E-w4zlZ-HlEuc%#s2@7 zWE~>m1wmrt1$A|SyF>HA1+(<;U6Tpi3OKmKqilf=u(fxg;tAD@&v3n*Y~B1+?a)?+ zX>Rv;xz}y?gr_RWCW#Ji4ZzV|067}&8<=8(Nl;6lJ34@@t#@dwuX8C{TDDZ{UiSYq z6fK+w6wIt3APxA7N(c@Jq?u>2&K+|ptOJ86IJAH|H~@2cfOEZq{UboxmzN+v&@KTm zAjN@pD>0flc7u?mqL-;0Dzg7~+C#Y_6}bs|CEx)ga4Ds7P7*w>L&$@`2qT zgtz-o0(R*^RRW&({I!flOTaBOHF93h1U0?dPR*r4DX{Yu+~rUn%HAI^Ye zJ;?(qNwMzT>lb!`rvm(kfgS3dJ~_7eFLxuWiTx7;i4uZ)NRbXK;Tym-G&Tc)D;uS% z83-7rfQW`a-HGOA*7q|IT|l)qfv0mpziIHH5>gZ(f%14h%lOTamNw=`GM3jjuHEBp z`WAmp(t$FiIn}p83hQJm`ma*j!h;9ry1tlvoI2SOBU~fh{1CxfM|6zbuutjYuQwB~ z$kiHnp7|T)%9i`vq#9rXA@cC>5Y_W54W05i5hbO25Dr>-C^@vrAi8$|crJ$wn* z@B%?x&K`~e8~l8|?AnXXqMBU;H9UNxey^f8osCINP@ge=E#CX*{QiwV0A!CrzyJhG zi3k}G94rmgKRSeP`?dSaO5no(+~8*@C0v6O2<)5TMYHTD`SN)dj`6dJC??=%y5!*Y zSBC-6P@W)%$*CbEufM~mKfy~M)z44qr+ezps^Cu_`grHY`q#1fE6?7~C}MM4>%%AI zfv1zMZf={v`o1S7(GQ0T=I6`5PwiU9kA7Y^?5!sz8Bwa+Ps+bD=9LXln_9Cgkj8g! zo$prbA3atcYbcHBf%W&7MG%911M?sL-qS0Pbv}N=nOT;%G}zDXUq9Z(a9~FU-`Es*|zOby`y~T#F1=4@BPEFs% zqrdZWJMhy!_+YLe_&0m|(XM6d;ODmO`=cLv*xl)aIQ)7!{1ngMg}QvM3-in!%E=>a z<_|e7`Y!hN!&uX)&foL5{M2cS?i%WYnnmgOhUJq!dIr4elz#Lv+-7{$4RPizdVinY zXPkqFedm1myFnkp_^u2e*R5WA&VL90yuX12^Y#-hy43r-Z0_Z~j%9TlNk!0v)=76@cr9Zkenq<-9&dBcjjTCCxOjhCG(^6C2-3W z(L;SzQP_aXELe1UD(Ch?-yT)TACS=KS`FyBooV9`+So6OTdr`J&GoE+awFtgkX8N$ z5y4UKh$=W+o%pf8daPv;TZYlH>(s*G9w8|WsjI?)olu6JE+nz`Hg(f=Dw3k&)nrj+ z_{6u`>ycX$+^`VqbAOXQ#x{I-n^sRWGBLI^KSGO(VW-&%>6vq0+`fv2gU|xs*c_u} zI5c83-1j3dW6mQ{A%i-0NGTBdnW4OkF}h}21oz6Wwy0kBW0sm+iN92qHOVf0aA&U7 z)E(l6U3Ah^D}lptCxubc@bDC`+iu6|aHdBnqZpmKQLN4Al1~^~!E=;YT+QcVWaf@s zu;80nbCT-Ig6oXq74_*>**=c?sX2zuFw#V}Yo&v}G;$Xg^u(2u; zxw**|*fpTVds+4oXp)`M>^^nv_$cqmVO_S=FhFte25bohay9V{zB_^t9?k1WC7g;q zRwRcIvq7nA=yL|SGo*++I?}XYJo6;2^2X_CBk<4}m+?Q^dJ2W?*`V(LQDLSEpcIjX z%j=nQ-vT?D@o2wPP|FTM9ZGi!AQtxe;bin6M$8c(>AKqN2_$qE_@=|iq!W@I9}YY- zy}PnAbrIhMhoX4lpc&dh5I3+Xw49D3ni_f@adOubqQYY6L9vGzCioeKliVt&iMlfW z;nfC~cu}r*aoPoSWa78E-2=qh!-Z*#5Kk8YoRPgwD0!4_Eb-*^DHP(A6X|uKmi*>` zB5u#}K2nPTBREX>UV*}qE(!2T5c&y3>;8t8{ym-R9e;Eq#94k6#kKNEXez3hO{Lrg zna1y=(cj~@{=DPy)30U)En+VZX(4>JJ56i~DDfNM;1jz0-7*}6f0c~K>6w@%nw1tP z;cE)bA*cgZPl*rs{5JJit4L9Yjmf$&K6Rm?q%LU~T|cB1hFYY|3IC{s?^((v3c^fF zq;~AJvqAY&jGPFb%VjuEx}-yDRiHT&r;9hMX6^o1*A)5=+g~9k$MRI!ycc@Vf0CDk z21J%`2&Mp{Z2ZPuL#Yn7+LxaVZQP8IC~gLqEHh9lMejba_eFhp&?@|;Fd|>HEF8U^W?`2(HfLrI z29lg-DBzlnak!2maHlqcot2(QS9am8U@e|yK7v`DH@$*i3v*T$^WyRlnU*|qO|g7= zaI3>D3)6@0CI1>Ekviw>ch6ZXU-D63n}Nkw~$wfZ_MIKuKHB!3mkwHrWOH)yf_Mx$*t!rKvh za2cm9dvGl7PTPd=!_lU*!rV(Ns1H{Ua~a=lhr)L2zmVYD7tWC|e)8;xy>a-rWT4c$ zD}MaGkh~ttf+W8EfqYxQEqnwtKNDqc|{>)Fq4UNN zZZIb_DzYoptVF=2k(ysKq!Wd%_EihBR+XZA0(`(EK(ye>m@pH2-D0P!8`k$BeG#R~ zU9y2Kk%_mEfM%4ugElUUY34Q*Th>Vm_@NS9tq@al7r&69kI)R$Ji%pS8Fr7tG80TC@9SzlgiJyvwANdt~!E7YA$5!6L*>Oj} zf*Vb*%*gYN#Vx;`oAylGVCoyMDsbY?>1o3o-@09C%+YrBf?;v74%Y)uWE5-Uu!pBN zKuHUDO6QxcLNaM`MxUh^T6?9}`d26=nv1pJ5+q!3W#S}f{6UZ<=nZcPe9DCbEBMY- zPNjH@oVfr!!*Nv14ZNqv4!M&3OxHecNH2bs@$fFW!qx&EBSpTmiD`s7s7~!v)E~{VF|h-oms9N6Fl`-)fC=gT zmT}Ec{?-Vu4`>)(K1j)(GV+tR9F1uX zk#dg0sLa-wObNub27*Yb;J#X;N#(v(#$DpS80w(y6w^#Pg{0T!0hu>@Z^`5s-JMql zqX^RAW8QJw>QF0k>txT2xMr7fBJ6w+l;O}h zHZNxWzA%fKrHNRfa0urZcN@HXvL)3|>?GA$5gjz(J zROhp*FA?Z?Kzu=fPWDHqM3xyUo}TFZc*zU!{96<|^L6pavn)1-|6y2UZhiq z)GyWl`*POJ-Bh(^jmFYE^oaOLecH9JGpHx=-$qEQWlb}Oj+5Fs(x_@BXPunbZjSL= z+oBW%K*N_)znD13RId+ddc#xPX}`Yi)iUs0_Kybo37Q&venX723QCuTcSyWmL1w{s zacDKb_MjVNxPYP$ugh=9Dy@bO+?s_*+B!+KS}lCyu4rU3#yP)Hi^D)PV_dI+xcE#v z51eHg1vgD!Pd;UC+Z9Eh0asr=bSwdMvKGQtV0Z?HEK)_VF;@kz5%go2cA$6Hb~&<) znD&-S+8Sb;CzUwupXxVbV_ngA_`6UUd~|X~Blb34>WtaJ3F~{kjBHy?hgTpswm9hB z5$o3$MnuM>EIZI5EC^m-^rvnA9k@F08yCdVl##G8JT-K82TS0ce_37Uxu#!~uyD^; z-&#Kp`h-9KZCOwjTnrm?Ag7gFn3ShUqXBAMGU_dXEkrF+8$~6&_T*dYBwAp887o#w zdMwD{TKI0!n+BJ67=zdR71ESyd@E2!bzAXI^8)WO!STE`EJ-P=l!k5OZF_?tr;8aA z!`6%}Vs9~v-nlxyyud^>RN_n4(ih-{U=9KWQU?}_blM4b9YyV!+bXRb*nY_lP8v>j zdWECRvbKQaDu&dk!6uZ917v>C5&=No(twC?`bMMK=7 z)2OT*2ck2geWBd)9*7;bV#(OH!7oCJdzZ{v)Mhy`sC17)XuLczYY_N-LV8fPUyTlH z$91^xwCMqHvt36TBwbELtxupHqtOoo?`%dEDV*PL$@F<%{b5)Yh-*%-vHYPqegP(l;V4e5&hB8SZw=I zBU1#|lwW&NSY+u%UeuaMlg*Z{9Abm>BFvb3skV2|3k%tP%JaZmQ@UH30f3w|1%g2v=& z7{mganIybrNzXGB!xdX6?Y68@cX9npP^jzvioEnfUI&mV)Q< zgax$m*II~|+$2a@{uljb|3OnK!7dsutt8c7d_fbUDE2|`6I|L}RKH`L>juyTOg(Rq zpsb;m3-2;=6g>*9m(;%SW>6?G`M}*caV7VxD!3TFPNlo7f#8lZilz;-L`qN(o_zjOUd{u*8wAhxl)ob~`P&U}&us3bVY9)y2 z8mw^_r=aY+-kx|`#Q_lz_=Ao7hDoi8RQn@HBhJeWz8$|BvFC$s+)1MDnOC)mR9c4p z{2QQR5oA%{a1xR^R)%i6-JP;=tzN0Z+~odka#(g6PSVJvAKIsAVl0cL5b9NbIIw5K zmtUfD=IsqB>f57JU;s}n#D79~UR1a0uei!)1XA3>I(ln;7tgl2rM#3w!?QH=48s%N zGZTxaG7dG_W0ndT6YQ_iw-(xjTGO{%qXB7q66#9A+^{ZbCjYuW;2pYCe`!+GQbkmH zanQE}-XdW9NB=rJ4Al?m;bz5<9Wj8d7@3C7op^cSZ}Euo$<1%RdwV?f2`9e`dDXr$jSXB4BMZ_c0Z{6GcEYJbLTtrkLHR;=nKdy;KgvEm=EOnbkmGcw(cx~wZpeu- z0|rNBS2P%0Jh}L| z;NTz?BlIH^xqv-7a zb~>k9t|953i0RlQS}tOxa_Axaur2oxzQ;*ciL5V3`o;ubO~|(l1j|#2$sdith+Pe=t%``&OEc3B$qW9?-^WcC+?&J6P^}pGnyo7D z%_L|O3F5pXUsxk<&UT;6;U?GO`*N_lk$g>M-f{;rKdYf31L&wc^bTl|dOosP9||rL z&5ArhUGDyiUsZC(7D-mO#c(eCQ(!{!=G)h?6Tb%VP@k9eV(w*JJ{v74;4#qM!bs|& zrSwOL>CRM7&rWYEJk)Ma_y1yk@zVGQfoBoBlzfE*y z;;7QzZauWEr?T(g>}I51hdTXcUA>7YgU2;fk#t%a&3O9}PPo_eBs0TXh`uE|>KJP# zhdG0%oK=n~J$4|adCA+&@WNEG6W)hN_b^QSZUn{gQB`H<9B)}N=Iu{Lr$vZ=wvdVb zJnGj7=<6d~<9q|DVdBfQqwATcHX2#f%~37dn%tblXYp7e^#!|66B9cqQZl;rJQ>a- zcwJNEW*6hZ0iMrY7_I5Dvlfn7EGJW>a9S-)c zQ?+vY7q{}GucWzbTcIzjfqTF+l1oZDYd)8x07~K)wwNK0%OhUtCy$YzMiML2b zVDZfWE}K5HAuX(Pg**kGJ;*+OL2#)WoY8mpG4^{R+oWcTD8E5zVS;ho+FSwja~4-5 z;vdeVREqKbV#e~W!nb)|I-SjY>2;r%SA`zlW5~44*=wQYwB$E3^1TW}H2i)MjNL7S3G0g|8 zmvg^`6a4nu6>_^WMnx}(1sRWhCE6IWe2rcVM%&c$OjfkGbmX9Ji=nn-6go&!%H%U* zJnc{Z*i|!oZ&F{dejTqSH{-xU2m3jCK{RL-bc-r3h2Wi$I+(tt%C*hm2H4~*n?Uj8il<-7rL8bx{P0X<@hhAsRR`?|>sY{;;3Vjq=P4X$c zLy$N8YGtZ);=IH{GgH}M1Q$VbxK1cXCd`YZ6*Zph)NLsruOk~VRF7|6iVQba zuh`do@No2&;e_uL!CgxLib!j7J%!&a_JN@E_atV8TLBI3osb`ZdkG%#;yR}|d9Q8X z%ZMRSg(>$6gnPgj2xm57NZn{{ku=35FYoN_NzzHK8H6`^)-Go!AS&S?Xu<;fsg|PC z#0cTm3h#GhChnz4j1l6hX~@lUk&qG2gIs3v3m!p!09sfXo*)lW?Md@`klKc%N`H(8 zcTHEX=Vb}dKWUSnR9QtP@hf*Z`U|Vzy`nG_wyH}NcjV8p?I8hQtz5kCPRkUH>8K6} zPDAYJXX^+aSxZ8J+E8p7&oA0v%#3#wH~G9H18elON24J-+-S!=I!;G(<%TtxEgg?t zVf8|qs@)QmFL6*44Vwgi%eVC+o+h~Jk5w4N5AcCY=oH6_gOsXq2DgVnsg?(%jK;m) zVhr^iQ>I?-^}3+f&=-sUHCT#^dGXUYm1P$uK;m~?XBtS{B9;fPOcZqIEbK<>YB5dD zW+B*Aohln04uZ12aNmuD8Nyo)$!b9 zF3&Fb`BRoTTMl1uZRd$WOuge9%CLfl6voIP?l3$<;{t>QxU%{lW;dW-% zK5PhE5QrNLu43SOl$==?&9`F|M$_sJAYfk?2ExUFQKt>}J#ini9!rDanz5jW9p91{ zyg))H8L=kxmD1B)^{dX5DOrpuz=jb*%lJ_L4fFu>coFaX9*RTG>Rn@gGAhzKmFq@r z?kS&mO&38d9!xpq!L=~7``RMdDW!@XI^>;DEdarm7#=ma)OExm^KapN6ETv=Q8xtj z=%%UZr{^+%P2BhvyY_hAD7l2h_y@Gc^zW@sSCT|dA{&9%jmh~^N$?bWYm_Qw^7dRq zlk7##!u{Zk-UmF((xsodF^c)qeC~kuusM`J+@sE|R-;UoL@rlyDS*qPP7oTF#Tx7m z95&|TXe?!9<#~x_Gu9C+0JjcRJhKFRJYjq~87}%OK>L~8Cu1ovQ$&KKGSB{S@ne*mFOB@7LF~pxLKK1tu%4>qMW(Atk`fR_Q#i7 zk4s^f+5{>WZXCGRd0ft&lSM&Z#)_ta)xVxZKxdl@9a1IG3t~%_-KB>$vkk0eg6o}t zn!@|6uotWfG}bbn#;uVCyvrY}Q?aWfX@>U%cV#?Sq(Dml4CM0;8mp905B)|%@?Xm4 zQ}z7J=0I0CFIvQ%laR;(U5$xy(hE%0Slzitb!Qir(Sn%CE-Ac=X84cAvN@Iq=>P{K zU%oje|A)o9>%hya@a%GmN|Fq+c_Ijx^-6tTU^}*wsb_BFS6Q{pa_!2267~Ib_&}X5 z5maxZtVySXhxx5?kW5r-8un2R^vc?*P7bjbjs>*HT!U5_Q*wd{VGZ+L&8}F+Jebtk z!%g1mhll)-N4&)0V(OLZbE1RwnS#aXJfwK_+CANg!x1& zCMEcXX0s6-62H-%mqCBZdA{);CrwX&gjFVvZOB-?Fmp{ z3e)=8rY$XYLn@P{Y>5i$lJiW_ig8|>J6sB*(Ifau%4d2#{857rx&*Qru51z(;yrt< z{)F1Fqpk6%s}nN+G%H!*%>Fk{jM=G&O>yn>O?a#UwNk>XX%UYC{B@DAhICX`^L*Y| z^L6w5vV(tYh}1Aqc1Xzvw%ji*si=v{L@3NpYQDVop;e!Me{i@QzV9_A-}Fm0*rntK&AIqqjUpr+jU1kUg5U2PRl z=rxIqrs7!1ye&)VnYK!I^Rc1Gz3{{%is9OtDYX4!5o=saGPEQ8q%wzqkhT5&90cat z;SVg`{HmNi$x&qt^A4$5gb0w}3r8Fde(P{Bob{X|Gc>!HOs6$ZZDYO*(K^*4d<yFl-tb|A9YZZwOnAYZB`Cd$@FJ5Ro^G_j~>+tHC%62I8+GNi?UBwhU`(b{g!O4 zx^+(O?gv6u~ivXV!~?I2y&bWPGA7Gr_2 zqh(K^wfhWGV3Zi@1mj7*ncbeK$g#>o_{+tjBqTdw=@rvOn;;f@y<1PA6x!C`bH{5M zGSZbl>}CME?dD#w!gf7-w?9)kpRD-^1-{9Ji%(Hh(7J)sYbNCR(IZ5gk${z{(B|7c zHIi!HXq_R4fqS*)l+F9i7LVqMJ4s_DxOq7-pdw_f(R5K14X&Nsm_~zvOc@LKG{SB= zZq(cmjH7XXD}+RkS=$gL>-$LMg}^xsj`1`Zs~+0RUF@fSh*WsK(!EZwS6l@VufA1I zn1K*X7Fb?65ssf3AWn;XG4c*+H`YZ^>3JP?xdoJxOHXRaSI|{OkoY7ZO zuN0VHSh)HG*^$}jA>NDWr6%;`rsW?(qM!4)36o*?>uz2h7yG_u0CxjPvRO~t;!+{g z%Sq(x(LTnROhf{4BXYDgfG*l~5AulZa_>)MQ{W-=q{kF5-JN(w%xdi{hEHeN6Qh?CGt2tj*82jyD+k^`JN$Ts z(bkFkopPB1cTM={~Xes_<~$mvg8u0_JMma$i`LOG3cSiTE zSq;~@b|M@5q&G*x(B=If`0E zqxtPf>UHkGQPM?nrVBxq=Mb_Ox2WMti=}w3uB{tIrd<-N4+cegmGn;7!bfJ8YW(8A zc#dK?Z%Z<44CtojDNJ?tp==v4mF62B1G464Z@Ji%rDY&ebmeCA^F(|7=DtTliF)V4 z-zv+!z(SF!c(=A@qjl^@@meABvocKE!=pz|VIN@;HL2g!Db;Rk#H6?s480HZkf{Xo zUbAi5v?>Pe^@OQQP6h2!4oIEmY>oooZ{gG%32;(pvmS~yD+BXPyzfvCmWS%+i*GX{ zVxODo87JoCA}RHbSThUdb=F$ujR0MA3DUoRRrm8(mfl!u zC;XH^cbExiIKI>Nje+T)>Ha8uM)IU&2}8x&oHyUq9iyRs^Nwk6r=kHpTWf!3x<}kJ z@-BaHM4mucg2aWa_NPDi+%cgQO^Z&xX~PIE+7W>CyZ^#Ry zy7*B?Abhd*pOESAeG1g8?NMEtjG2?hd@Z#dU9>8;8M}4_>k4C3wMMDEPQ+9gvMUes zRr}qiu;&hRK7p7?A!nc-PS!l7(&oM3$R2ZB5?o2fGd7@d;euOLCPinZufJ7|ZGm2Z zN&q7*?+u1%2RX5HYa3SeLbUT$Ib`st3g--kA%cD^q+Ho%AMXUN?>vdR_|!&Wy>ooy zE9-Aq%Owx*q#O})-@kYv&EY1iE!C5%r^*uBp*`1s*sRv!iP0o%#Hl!X?^ABqD{*Bg zKD%`qhS+Mdnhl9ZM;;gGu`fR^Q?dP3Sv%v30HeKHVu*;H+(1=>fIS?}!>{%RAlT8R)wF=*f{E&jo<6S?=Z8w-A32O?Y?JKsj zx84l9J|X2K7kj0R_=gHhuEBYaVM0Nj#fmCm0Rjn?|YeF+ar( z#brC_T-B1DpkC}e91(7x~W5>3)>;0y_<L3vN zQ0DJ@wCPjr9mXwlA|r1T{FfOI9vwsceIvrjdf@HuE?w1BVJ0OJ?l1drx=hYB^5VBWw}YImD>E~ri|X)&=dzI2 z?daeWxL!%8d_0H@sVX?e57EVt)r+)7x!#V65Wne=X+ncMZ_mJmRgJJ&KhnGqfH=2Z z`0|`f0suqxa1{VbgH?dzqZoi8S%H07N53G)|7yQq1Jm)B^kq7#@oY^f>Dr;wWyo!- z;dMf62=;^^CNT?n$*(L2dvlj131v8P=72d`#{AINZ=3r0HOm#NTY|{zibuc~)qp!D zw8A6PjpIv#Rs?K*2Y!=m z(7+-KB@Uv=5{nidf1KlhTk>6oIJwX$afq@6Y9-fclo2k~sOt!_Y69HTPUGi# zxiT&h8m z0zK&PV)u?*#SjVV$*@*Jf9-eps!g;v`s7TjP{t&b0Y!t*Q#%~ zr0piPuLyzd@35ojm87fvI~_d3LWQS|&7&9jV&q_}tR}@!vMvV`C_@Q9znONVac!Mu zc-yb2b)OLEsr);eDn%cCh)6j=ToDV?w0#zkTZE@yWt8KxmbSx4!F%i*f%vZ)n zRPz|a0*u$3$=Dp;#>1I;y=c+xx)^xDy%lk3IuEpu{N|5pA=j7a-)d?}9M1)hG94v^vLv5t7T z&|*6SX;Ra(tdQ}0=1?K*G{@gq-^vNvCc4y!ndXa3?h6fZHd#urwyezy&?#~6<$){I7C3u`!fmreq*;vGF^{_J+qmHD5=?F5kRTiF(Z?BY_9Aw6&fZ*_-hau@b5j*|9f#R|!;=$%r6s_@ zcsu2#qyLMwdy26&XcTqbwr!iUZTD>3wr$(CZQC|x+qP}{^uO0$ImpVsI^*gaBN<91 z-$hkD^@a?{ZpNHL*erS}JrWS;!YPl!hyrdD1-lCpFRKQ94w%|QVG>+h1RhG9w&>cE z;enXi0ARQX3skaG4-+Aq6FtOT^-c{reWVadHuRG7rtQw;V!AoSQDV$~UEE<;h)9`B z0p~vL)6&d%n>t^bkr>X~v3B0kXumE2?al4z@;bJI&Y@v|4m@#Uu2#&`Wg2(Q1 zI;iJtV;^iZW-CAKokrtHcSV}u~=vf4?07xeL%pPYh3qb%MV2&=S1 z8UtiX*d<91=9s$BzRo&+nJs?`5fDU_;g@LTOH0xerx%xh$ZTUmhz&^`v*20nx zm`cKkcg)P*UfF${i!Wqn!*>b_;{&cF(1JDw9asL548XF~IpOg7DXxnA zy3582fu%V#N!FYGNhf8H)ZJk{&sH-HEtwD5yr!L>nnTfNoXy!#mG6orWd)dxZ=7iDDpS#A zyst-Opei=@k?M(3jnw&i=%UT3Efg`gSc3Da6k9&Bpz5>c6xrvwaul5sTVjcu4_A;R zYoDdAh%uefJT4VU@`E%seE2@!a6`@?w=QB{;0lC z-W&Y&M2Ff-O&$MxG@|sp1fbl0lzX0OCbpXj-}2a-mQ|k;iAXba!F1svR1Q>V!`n|~ z7^92q@|}?-h+uHRO)GXaP+wr!`?a_%sWMU;uGf%nD(2RoSb=zKMnO#g_s1P+K^|Wu z$1O2B`a{O?+d{t~3qTrF3GU?C@R0+=J64(R<1kX-%I z?lkd3_CUH%8dMrSVL*jKpYDJ%gTuDRyo`;3z$acvKSt{wP5Yuj#b+SYt(GR4OPe&w zS@d+)(>)i>oO;qGt$4x9Szu}r3@0@P+NMxz*W|%zqeX;Xki;U{yX<~=c`{{}6*oDP z8GMJ%R{|VnR0ldv-KZU(oU5z|@6iC-l0qTWlWNEH8u7M`RTbddg*q=sG@Q@J`FZAO zg=D=+qoTfFDnJ3c19uW}+p!o8=I!t9j_X9nH5-BQhT_ZV!=xNc?HC_FvA9K?V+$VWv(Y3ZpW`_%is zO>xL2R7B^!xoL#=YwTpYs(D`ymr=8K6v8K-{=O>Q^Mv0ML2tKOYR;2Xjf0U)OMb|( z-zp3E=+$_+uK9b*jTqE5l>2n`_;+YD_q>N(MHWix=;+;fn}0^Q6uM=sE9;g8aW{X# z8}PN1@))Z5y0Ki+qb#9)^Q00( z^HF;j&h<#6|Ml7%W#2@hv%saUuubkBB2CYTI{61d9NO|jv~~|O!>Rn)=LP+q_19lm zVjlW79-QjEm}0^eHm_n8cNYVED>4g>Gc1XbPXk6@||eKVT-1oZ=B#nN>XAOqQ+O$}e4lXsa<*e0i2aa|K8H zD2_7J${-xCrW2kIywG5mYy08Kb(`QW`oFq^o#;ZXxcr?H0COq|?jCW45B{NdCqgo% z>lo`h~?p*9>2b!l6oj)C+0%tS@ zqMFmE^16Pg_V7HH|Abgm?tTci99)5tublw9Sf-mT4HbWJhpj(WV4*+A&j^Pxtu$r9 zu%sU^vsURHL3!V;;jF>OqYwkZvJ~Tta#O^Jv=kA?^7as#=J6ss;*6G^a2B<}p@q~r zHexko2bcLrNw{o}1Suk}AHse--Sdd7S)Y*Qh=6&^>Il~7ULi79!iG0XBR5x9)$^0b zuzWBaH-pFTJ*fWx8`>C&7089c3_p)hB6fKo-kIPaBdmAMtGl?1hR331Fb@-Cu)HhK|Mz|jqdTw2+z@A`oN%xF)GRu*I9YL-;*}}h zsEi+G@ZjU|rLg42MTORz*L|rtb@1Y)4l=^^MTBP5bo0fvzxZph5ul@w7GUy&@^<4FD+RvdC{a*;?tYOosulaOe4 zt(NJ(EZU*4ib|q|7kv$+REDrO?*dea3(MY#9DNagr!&pji>BgN$>Dd*2?f=c=yy+y zxOv1XiC_LR5h`d$-x4wt71z8Iz*`EdIRMoi&lCf# zBvAVOoJ^~pZdL{;=Ztqj4hfQndEl5TCkIocBA&DAOk z3}BrpYs#!-zC&g#+X8Q2q;;d$&f)@xNf3+QV|P=o1g!SDcwgBSfZ$>u<*Nr? zH~g#q#Qbnww*htnrb@l}S~=3k$Q=+BRfy$D4l>(Vm9?(Vtys46iDu|Cx9n0j$lmLZ z!};;zRhj}xbEWmtE`$6O2=$U$^#)coXz59j%Tj>z7RE@N%Phl>JHPb}Y#KHn;IN%^ zQTd)QG|Q}*TsO7BBJy6vXcRowikg#hk?2;Kc~lp4#>S*C&J)Y_6!bwTdwkNdc!uQhex(XgZF)<=D8e+6^((e%SW-P)$w75dpSqp^nSsreVgGRz z+^SL?P3aHrGDO)*EOzCEsa@5l%@6e3K#VDrzI~&f@#X2rs|tIgC-}qR^mFSQ)G~ho zD#Bt<)$_Pj@SRGjfu4qDBa#ze(WOkLAW&`}n%OBVT-p;PeJe~;&lJ3YJ$$be-ofmO zZlFxF+lG!|ee22Y5_LR!wn<7>djTd`qNT6DyM4!=Kb;%@rRGpmcmQ7r(S0PBh9KR3 z@0BpHfAs~p+E{A*A87S|=c50Ua{Rv=+5a=GRuK^tl~VaHTKy}D|3_NQ^dDONTZ3d^ z`c0z#|3Rz&aQq)=weT;l7XRhda{n7x>s$Y-X-9n;ty6gX<*Cw{k4)mt~2Z62so5Z#rFWxur}r>+u>F4l?*DH+oB2O!@Ba>L{}CKmC6KZbl}SU()`c$M2w+TmAm7-sv#)tw*(j%4u!1ltqKNl8Xu1{imr3ea(DbLx@1&X6H(-W(RB2zqPfs=lsm; zYMT4;qkMy^JiBwtaGYkza!4Xk@iCa0#vUsAdF zSEnb(#)lvv;@BMOnHzzPnHd^D%hog1(%ap>RUxQ&CDGBr@kB&^{~Z`HmnoPhIW(XJ zr(b7sBq{&!N-HbY+`@FGoh)=x_1dS+)EHb*)jKaeIhGE*MY zzd=+pi(?P~Qt&c~2|yIwU$c!p@ny{q{yJj?FbOmH6Z8@La>K9E*P9hBC3Sg)6Xlnq z!Vm4&o?MN|FE1F=KRg%=rw79PWo>43VFiEB=D^g@z`_WI`KjEF$p3pbjvk1`E#DPK zCc8RE8#@!b=GwPS{GBVtY|^lQNx`#=iwQrv>Fdr@xH?CAy5Gq4*z3#KI>6PI|Mm}{ zBXwT++YOnNHZI1Jze-Gv$-Kc217P^>&p(<;Er3fYDXFZ@DgY)?zx2>>(u12@iySx; zU&?gfNCDhe53W@%fJp)Av^S0PO#kmbPcH2CbU>}&@$>5bseZK$Ff{>7(@1Xvh?=6Q z^1Jmd2plpw_GLP~&934G=#a|WG6ehc_5F5|$ZOUub>-iZ<2(7osVgE+=?<$*yWY$7 zElN&ga07T-VrmF9+gQg0nC455Nq!o5;~Of^*zhik`E#EPmazfc_EUq#T=G-Cdc_CL z|CBo+0Q-8Q2KAg*%>pdu?#FFn0qb7A;dO~;O(#5oFX zzsxHVPF{U?i5T%WQhr$FD-*#JfPVPkOQFK`U7a% z23P+NuRNR!K;fL+l9?DNBdpbZAl5ZGhAH`d!8bFkS zZy0JH#aHMmKop}dgi_=sKF|`;ODKQyzaK(5TB!fLw9hvLTJiS`-oK&plTglOi4SDF z<~fvqZRrPrqH_cv$av*bDDP6k7a~df1AiaPc;!uqfUnRu3|1*Jp2@7WD$Dvi%`X7+ zhj8{ZDmzNbYLcIx*fEvQVcGZ4SGUX;CGV2#2Z4(sExeo7Ed6_I>{-*m^rbXnM{~sN zcdr3IONK@|M>Vd@z>Y*E zAECN$;YKdbWG`ro?_=-Om3H0JGw06Vn&(6f|bhVog+5yIus*8Qwd zeqL|i;TwU1+Br4y2Q0JowD4I0w%r5vd=E0 z%?;0wUFx2|SS$>0ee1&I$!Pz6J7N15w19EP&xN1B_K(B}5Y){ZJ;+qw#S9F8eAi^w zx6G5SEHknyIr*&QSFJ0YS^szF&pVjD$+5l(Q12g0+W~9?ZR~juUE0s>Y#-Ao-v}?! z2W*z^mjK1g3t~noB4=ff*^Gs1yL~;j^ZOL`rRZ6ryU3ThSk5%rsk?DnS>73ZLuE2o zjolOSI^UQRd`RCL;vnKYRpj+2cl*aVh$jC}z->aIoU7CE;HsoZ`hZyUdZhJ=M zt3bCoFKFiAnRKX+ENG^)-HhBg+k)cQPKgsywuwH(8QC4The0R!PI!E7Q4vfD=Sb-n z3K=gOe|H#{3j<+$T5O7-t*5s(A_Ed8-S`?W`(VP0oCt^R1pf-r zPwCk*^S8Q(fc=d-W<}(Hhm8aWtj}Om6NO`3<=|H zjmG!0U4@Z{CnzhhdL&tc_BQF~w@9A`AXf9Sob2}Teu!=Y*$eP%?hwUjsHc?LOZRb- zjnVkW!jC6^V50u~?#av$^Qhr~Q?1 z2m{|<3mAP08zpYCpdo279Z1qSJ)IzLdxjf&g(Jh%J^wtFn?E+;buRRH9D7At#X`ti z|8-eYKSr#2WCCM9Ue8&ZlLw*V>BF29!d2zO8|W(e zZRB|*0TF==_6zHkF)S@z!b?wa`&9$(a{3$#|9C+aoOVXFQD~V84oL6fqOx)U1pE#L zw3a%RMGh&03diHVSCMbnWRde+ir+gQ=ak$6t}!;O3^OVj(g`yBJ)q(+>C zcL7U(t+;D4&?|*i@l7l$lWi2sW}s@@8y;YQa>D*kauRCn4;&+*&{b*+&0qt~^&WvU zI&REiTve-lTUkt)kqI_8V*UvdszVTsu^N0N(L$1l18Haz5@!04;q@oT{FDZw@IsTD8h6ZAq813pmW>w9LU` z-dkeEiME@#hQpQt-R=#Lt7MC9g9onI9w%t(bf_o+q?&UF-7B(vt`?%#)_0xNMr$Qd z9tG0oZ-$W(t&InQpcyoHLmyf(Bn~CLRIS?^_;1!smVbOO5%$n4+I_eQ^&>9kr|Vxl z2)NwS+AiP;ZmLhyaE2Uq)VB2ITIsLUft7r`5R+PPMC`X_5bL>;-9iTyXQE)Za*d!g z8F$C*(HGm>pa_!qso?sPfg37yIuw&;@uihjjU_y`&>ivj@8RV}tQDiXnk4u%skoP? zJZz~8fa7`@gvQ&`Cs*|aG?&m_6ky`U@$uK6pja%XgOqoVRaa@T6Pake0!!SPrFa6) zrowe2O__Vo#_FtzRgp}`_6UC`-c(TI4L6Udhk1=hDNv_SrZqb!>W-=(@vepQ-eCfLt;Z2HnnSfBr5SX$I8#0SPc)d24^9|Ne!BuM*D4gJc)}rN96d1J` zpfj_K4?7Q~u~r<{TeVFL%z(LV3#A(RD&s0CMvMtr@O7@v(he>vd2~5I%lZPaWfew0 zx$OwUzdW?X{8>f0iSWK-IgBK%u4d!C%uc`Gx?G7BJZ8tKdR4HL5V1+raXT+m!>?=< zVemaqVnCitvUw5BR~`Ph@Qlp`5_IQLn-tRrszT9daARq9JAKj=6Cz7UoUcm7NMTZ= zIoIr9pFD*GivJQ6tYLI_aaRi+FHyxeF0om8gu&+>X}tmw)l%HhTy{CG#{8{}*ep2T zq|2Ge%v9BScds{8G8v`Fvky*juTefwBAH!YcsKm_F=8MuWqv`&0P%F#YnbX287xgUH&yKM_#&B5KzH`X^SMzO4W zKQ?fMLm7QcEdmXF0M{No{89VeFjc%-*}JlxURkJx0lc7|^bb}Ura(?rKltPs@W&j%cV$`-c_551jzCS>7sUe@?e@ehToi~wE$~j|j znZs`hWJmcMZ~rqm+Dw9gU9K%~N-RxCc)vk+P<-SxJK_4$C$zGi6vU>ck6w$Ty&XF$ zNdE7=?UPu%;oIimlfW-R3}dbZ(eOTL%`SZ+d2c-V*~!xX@lL|;C2M-evd$&}XS=7^ zf_4Mg!S5{75n=rj0I!3rF=+Jl?9t~Qt8agaj(sA&1(G0OP3)q5#q&^kw!1E#VnZO!LU}cynHsa(}1oH5<6ISA--X0cTKU&Jv(&a zuEifIR_O-exR*lfFG|2ejV(%APl_vFw%@379&hbjlgRBC&7}C|`5;6;MX=K~&Eaun zYLoyHDjUoa`@d!_TkK2HQH2=%M2b39i;Jx+Vd!Ua>aTSX&av@zkJ2HYQSU0`qscGG zta-c20En|ybNL5g69H7wXLx!%z8rW-u{SvaiJpQRT66%kMAgk;{(9(d1#{be&{B3Qwx(q? zrWSm0Y&gKA`KtxG=1FsO8!c|-EjtR7A06^_rwl-RLP!NA#ZUB$_!Uba1=Ma$;N^$~ z*OsXgJf1uMa)rm9dT!G=e>*r#OD<7Q=(qSG|p7{NoKKQ_ix^8eMYHHeSPZ>w{ zntY2K$L<-Cf4ZD!g{^%(oFkPrf{7>259m6u9eO$1QAyyOMH>Q5 zk$~tHnGE0Z-qdcCP~!3pO!)!x=E+UAdzZN18GyurQ2kh|p@J*W$U^wiP>zmq|YB z=`@wWlH_2}S8Y3?b4JkHOEO1vZ?AAQ3F3}6tIO-4yX#XZ5pqGCt=>GuicWR9wuCw) zR3SWAKItoh@NIgiDr%`1jkLq&uDkA8qKQemP)1}RP(oyAxMIJ5{bul#;R-BG(e5dO zvao(}f_$I>0weAy1}gsU_Ps+cboM#**b#&azp2n4IE%*!CKKr6KYOlfScY$KRj~Z) zNkL3E|Aty^_YKSh1HBG{F8IJ-#aK$R7`rmschqO2R^&2#LW`~sYUaT~qNiZgK=3%K zY!w)rFNv0B|KyXt%4g_S2oqjGE)!w=m$y2{G3|-fi56LPn6)38f@>&bFZJkM zR^By)#fWmt z2gxxOKYooMh-!iY$TD3j;d5V3tblfDScwOdM!s<^?;fr&I}oUohP>@KQauRXd1n5z zLOw`IVYp*Dww#J}g~E9!rf0i5=VISA?c7g1VUOf$=s>6rJi*+~eAWCad%v89Tm9ZU z5$LX>#IT^0*(W|2(fsQLu;M1|1^~aNBx8;yUeqah@Q_Bb`OG!oQz=`ACwdj|USd6g zlnJ>@cvDUu zxE1e;Jl=vYQYpzJ5Emz!?E7^VVXX6~+~snf&qc9hj266|RnGSfn0pOKigFyOxU5)@ zz!OS0jOrR%e`3tec_moR3)BWot3uvg8-T|oqOMn5c-6nUo6Iend&zi`i@a{60A4c0 z5t-lG_JUMM1z!__Z9rnsM8bUI68+~1Dlo4-d#}$vb zazWXzwbMxPM&nLQ+oY8`mj>xb94{}gWo@x=gZ2I8D|$x@@;PAs>J+W4)M5c8Vw42nAryhmDk$t-SkEIhF4>bwqrCaIUgOa* zd+W7R`~`N^IUZfB6^;&sMs0>wcs$x#OXskjSD-=NHCd48q37uLF1IX&c|}pHilvfE zdx654OrnP_zGQ(+gBpFkG|bc8b?r6nx_py0{Sha(p{Zy0!JGHlByQ?c%Qv)1_RU8> ztoBVX!L4`Rcx-sRN$TLsg@P{@jYAio@#JHc7b7$0i~v0jf5dDxRwO^m=MpbbPWsAK z%nqoxmGC1T!>HxTxxzFB2>8~DN12DM+$kl!!D#Eu4zTfyR3ji3nKAh57{@y{avazi zcKf)BT_yP3zm83U0l^LAz0|TCfS#JF)V6h6l4r*}!>Jb4>Lu&u z{R02Z8li6Aq&DuiPKo?B#a`7J|3Ti3srCtW`F8x%0^H9JX5?a}m; zi^Z#hd9f(}%ERdD^kuHB15$OpL6+Sf( zwo?U)Xg6SQUgv-!d%~uD6N};+g+}&NDkEx3qMzRek!*^!?y)!2=FW2TuvXcRuI{vF z0((JX%0r4aX>hObT9{PY4=ukt01Xwx4YlDHcWK*>QhAf^L&0$i9BL8jk?=(O=wYe#)#xg!vM2#Er17r zKOm0V=n;1A_mPsk-1CXWN;QmaOL?P)D~#EQBsY1^ul9O3F{MU@koJX$ZcF-{-*GAc zh8{fv)4xInCfC{WEBJ!-GdHXN6ibv2_mzcbXD4X}sKlp;hpz_OR3LM0UPZ3LlE@^k5xF29Fyu1Q1 zP|_$5OX5xLhjS`ch@Wys19%LTbsyi|8BRNB<89zL8shLh3Y%28g=xQ8vY<&%)w>D4 z=CV8PH-U%^FedCXOt%)_h5BPFjH~PcGq$B}ah zTqN;b0XS22rg`%PdfdAmn4Bvx5J9;CkBgaHs{d{cRGBg~o>V~4bbq?lH+JkuW1k%4 z8qYta^co^7BWM|9;?VDdar5Q9c451ix0>X9rjvD@JYxAPuW_iqMX(VaEK8G1UIN3p zs-tt}l-0jKS#o~1o-iN9ac&(c^FGnh;sKTA4U-BWuWQ~vVYML#rx+tDyIj|O?AF}u z$`_{>@icay?a)3i!D*UnWD>}&V@g>920m~4-s^i=D>S|-c&R0*D)asf);hVD!rt5kp$GZe^<(}OR?}jaKFR<)(U@zJ+6RN2#R*ZAISo)D>EYNVm z58M$7n;6~hkd~T@*}?#<-}O?x+445h=W(cIjLP$}Z!oRIIp#`x6!-oX76-VlXl;!^ zn^esjX$Y_g9MBg1W({Zv-o9XK4aX&=d=KB;`wMmRug>dry0wL-n`F@&((ww5^vrXH zPmeMw)+!sX%%d1L8%(6}9_Nu$rHqAK*#uq}?9un6b>QTki)WQoZ3@~S8H(tq+SuZL z^miq2Tn~m46}W%3in)Itmh^^H%_OTZdK?}0?~m+UJLg^YqAZ0>I0NzWVkVSUQi=|t zoe6HVCLn@qH!tCk6Qh!QIn&+VDUPT%sg2a1886E_8h%g$F2!KPqk#j1j2A4fPsffy z&OQJ&kPUJe?MW{QNlW9vws|=r(p@zmB034F9?Gov;JDvCI@W4Nt%GXNhoOG@NZ(aG zWpR=ZCsN*#@Y$9@7dJ&JGUyC+Mfr-XB$;M_K9nl^Po~kmZDSic-@Nuqdz2Z^4cXg( zjsn?;sqz_0$~n3(zquq(TwL4pm*857Gb#jVfrfDd5w|uAx_Ww4LuNm_4pg!gA5%`- zwjo~;#a9sg2WoJ!*3#qrKsKZf#nTq%L3h^JpreE=LTbXX&93rYvTKL=^a<8S2TSZ6 z&tqV?3h?oRvVYIPi0@rChmB+>2hk-QOL-+?HRjxq-5#S3mF>olly2U8OX^ga@vk1n zQAUc2^DI-kD$Eu7!t#ZV2TR?-_4N{N=CaV*IuwS>G$e8Rs*H}WE-soSdt=%*>DRZJ z&0s*8y8FW+g@q&tDC9pMLABp`e5UmwG>&WxHYSOt7)+Xi;2aw|lgsC5J9I{HmQj{m zL$>G}P))>`_UEDy*Ec9&Wt}-sp;N)oE3A!1N*GRS9dZP+cbqIH~FvplKw>^xH6%yH@)hC9IZi5LuCygjrQ%k zfE;oJO2r3g7?oScOQHJF?*y-BV1;TGHM`&bE1Q1IQ*Jv9exw8fwxtG0Pb3#EE&AV3 z_qSsD5bqTt-ofVz%z2Fvmi7yurlfoWi_K*c0WfF`-{yY0u!okm`Bd~w)~G1sC}>mbhRrnD#OEjTx$x+^DgZ>O;<8 z24G*NdW<3xbUyjv9{P8x*xZ+jtW>!&5tFKqg4Fkx6S6jzCHzBgn$%D^mY zKbR{Qq^YRNRquN4$27E2w#kfGXT5|?EQ|V>MsbY4EAyBnB*8TlV>@f>A_>{FkCT@| zLmC-9d#3yhbfO7bXdzIJtaR?S^ko6^V2GJ7(5dn<(d?qHaU@QZ2!?4N)wB8$Orl`( zuit7UqyS5;2d@rWf+4f6WC8PifInt+{O#r;F%4AnD`;REv#YvBaq1j>b;TiJS9{ur zm(BeYK?=BUKPx~+>kQ~;B)L4}vS?aUU2Ft%|p7AU!%;2=8 zUmJ%O=vDk?gc1@fa=lBef9S_KSn$=P?bD10O@Sk0!(=$CV$%3TT|;P3ku+yfga$CI z0?MR`<*UItGg7JY9{WzaH(m$zfufZ&Udp^`G!iy+@+LJWh)gIA#9fZq-QKSTi>`tp z4ECH#vP4kJXxs*|XvE+e3AC5GMa_t7!la6=0KLMbM7! zDCey0FcKo6ayKi21f!`-*~0mj+b_XMfBPeHa;~<#$5~7ZCMgD`B#sPy z7e*19K6CA<$VYws6)ou9-s-Q{f%mYBythxmoz<7kbhyp>5#K+P3k9cxYKsqMMV7pf zE^fN(*ciN{7Ie1aOtO=Y4qzzM{-Fb#`X}T!kV2zVdO#|18hT!97%e-p@SAxF+jtq> zX`s`SWk9#c#bGeKN8)OBh{{&8Y0p|cfkwe699$dVs)I$t;=1T{8%3|%iAl?XS1qaL zs1s?OxO2@Nv$STH*IQ|i?V=jDoXUUt$xB)-y`_&B@&+>j|EKFT8+Wbk6v?}4BG8=v zK78Xy1bA(s^?C)+?W)Y9&; zHS<~*+gp?+IzAUcC{tb-7+G4C_{TQcem=A`z9f`2mMdHrkeS)Uu<9S+cq&fMX8y)4 z70`y)aWT3cRXgGAWL@d7F0naH)U?wp+fa!y_UB1|?Q_VMUhRj2{9jQrAPo9Y*7V&V zpS)?+G}?y(w7Ess>&RTf7+2NfCF@bx&0NlF@X+RYtElFxlBf;iw=vS2q7|Dd0nihz_OCc~<^Ht+9k$ zXWHA%-y4a;xq=#iu(C<7Yh5xAkg%IU4Q!Y}tnc}sr$1?^SbzsS0U)y6>~5{& z&8Iw}LR}uW^U=QW#S~56+VN5HoeQItzW>r6q{XE*m^q3cMzdA1K7^Za@qdOX?JKfd zbks$-ctk=ZCrz>OHL=`(nrSnIG}VSA+!M=KfFVG}vB`Qr$H`3C?cXJKay*wmA8bat zSU#)rukBWD7^UySA!W6k*>tm&@D>Yez0{IbUfWh1C7)!YcR%}SeR0~3(v&Th){Uwv z7pF%qr0>blJt_EsrgxNfMHCh7pU@43DbaA%ATckritn0tr4o(i&=hFd5>-HIt_0V$ zoSgD`=I3rk;ml*Bumai2z#s+th5YuzXz(;NDj4|a6stkO!%`9@$IQA2jWo%HtVzQX zKd4WN97Ub7I?pR=jl=crO-=E2WN_KrdLsGI5NM^jrUsx;5q&62VbqeXDzvNB;ukA{ zXyroSpT4dubT9kk2kPsxz5AtOi8eyOn@)&9W8hZWlz}}I_vUz*!*6=7Ix%Yeu!FJS zPTd=c$z&r^;KR%z5}^`(8V7NIDPCweAQ#lj@7+5!1^4)EsEb>=sj=v20*=dm{k;}z zTEt6Jk#k6?8BfuGZx2J4p4@0%2zJO93zl_VX*0C}j3I!2kZ>h8+_yDVtXsr%TdL-M zx3!r=WCX)X^hkdn7m}xx@;=Uv_?7pxaHcX0&tOS35lEVNM#!SD4EbIPSupU<8pVn) z+xKV4jUwx$Yf~*r89&~8#K8qa#(nDJb@K;;_!1 zI-Ev^tms=Z9dwMB=teBnWF)={52DpCE{g^wNZ$LqTeE_=Tl>KgMF^;O$a89j;tvHw z{m>s-)b1Cf1eyi~H0%Lp>G#a-21e>~icaE1uJXbxTc(1bfMQL@@(ium8{fBNXq;+C zr!du3*+VOoG80SB-&Kn@i^57&tE2Vr)o0ffg-UK82p(?~>4S2#{Y8n_+1dxax9`*~ zSIu?#zowU~GB?DG6{fqcRU{W0(6n01L1x8LANeg9tM=nRy zcQFwwX_!U35AfB|Xj-N(d8GP5S>UH&)?O5dT=Ss}Ti)Gj z;STZ#7GZTf3`J|WkGxghAf4-d0IB6%>`sg>%q}Na5Z{O)f&*lxTK35qdE3gh4;C<8!Vn$f&zAn36mY-8z7iMRyxm_8k+(CF(-3vvDlo1zT|2oi-Mw!O zTvNj@DIXoV>DlRj`B;q}^BBiz4@3@mN!H9X&8$K6=9%MVefsK|TbQ@QzO&XoMvarJ znh{fnP{9-)!4lB&ea4g~s8|Xd-Kh%1+F?rNax`);wtt81T@M!njeXQ9x4Ag!GKWtXJCvLWU+BY_Gnq(IB1{b?nK?X~V-i9!F#TaX&MhkWx&J=Ji0ZS^HA=BTn6JFkbl z_Q3mCy`D@|vg|37%$#nE(+F2J0B{mVyQ41%Of%uU4b)5GFrUvnj5UY!b3;7>mnl0! zuXR<+=bl(`m-Z$<(Ti_|d3MXvALHnGiF}%FdIYydy)mx*#qN&@aL&#K2}6A81GuBq zZ$e+8n_5{x*~w)a%Y*~7Ay?G ziR)onP}`W-0Z?a$qW($!GelSAa}EsQ(kCnP+1M#D*JkT-p&r31pB|acRa=<-VfFf& zv#_O+Nb_2-wzd!`!QKqJjnX9WNa;iHeyy_Soe7eb70u$` zn0#|(b6HuO&yya!Ef{W+MFLK87C4vwv6x4q_JpIVqoth=sT(!WcmutVg4NDY z_!u=W#1`^6`9UWJH|pF5B7Iu21yQPHmpn;=*E-bgSarq@Gk~=bLJ@2Yf13COnhKVAxU~=A8)r&fwdyz3 zcgfQjqj$t-or>2>nZ`1w&Al}-*f)ZQ5pvIAr7ndGky3{pN#v`Hf45-z>6ZE-LWCQg zT2-%eHN5zJi9e(AJoD_|H#BSWw6H%fAV{n+avl(nG4rL-tgXzP-&bPu4&J8r|I6L) zr|PAkkvoHxLe;kSVQR>@HLE7<30kvh3KJjy`Bs-#)?lOk?4NYp2?fz|ba?Rd-8NqS z6hqpsa2Su<+NU%pk->&~*%gwr6W^U5zULSruWhupacGObk#n?9ce4IsEeH13^ z+9|hWI=4U6c<>Tpo23bE{=-kp!R=IFSgZSIl`EtQq9fTz|Er)!`(F{gnKDmR78{!M z#x6E?MZiV}H(E`M(L~J33r?n!Sj8w%qwco=Oi?_NqQ?a)OYvH7Ts->|;nZSSh*rOh zfgHR1L7+MuVj6_quCMy?&G?H`kM8yz`b?^fagK;I?d~y*!98T}lOX0&6_UsYIRH-H zT}Eq9OnLuF(uqI{7fl#R+(##?p3SC2{>+NIk?z4Ydz~dX39~m{+8-wBg-~_?g87 z+z7XCEvbf?xMJV%TkmM5eVTP28xND9CAf%4103A9^nB3(RD}4QLW53Hb}t#_?S`&J z@A6>Ndpk2&VZp0WOrVcf`=Qb&szf|`%rJ@_Cmps9=u$@3-)st63*N+{7Um43Jc90} zF0PE5jcYH2jsiE%HXq$DPykldMH67kd2x6y-9=V0^XIM&I9PyGs_|RWgEyt^;mJ7! zhX322Y#2hb3Q#-&U)~K_drn%aKRd0joY1WUCl_rUFQpC{^4D3@BEk+NbC|S|#r>7f z0tv6j2e9)gc5b`+6lcO6Y)BEh#?zTAUK%t`-X#5RmHI2?yDv%R!%@Wwrel{GSG$f(9)*#P zZu!);XhP5YBs_lzV9kJ~s?86kj|BPD0`*kF*)%_j3v#bh%`sPd)}zxDw4Th(z05I1 z&&)$U>+v^4cuh~AQ(SI7uQ+bC<%NhF;J|qG1?2c`YFFH2B9;1&q6V&YdYZR$#yBo+ zn*$0YE7`kjpSyG5oroTS+7I;!+P2->%1t4aNMPDGgAoVxsD5iFkK$xM?9{;1mJ|u) z`5@1t8hM?!N&wxbGY<7nJ!(@;Mi`VavbsGxGt=#ML$gS&X|9B)Dey|BfKBb7F9$fz z7b_xB?QRTF7TMd2xC!gUHgwPI`{YZJW#zDR#!>C%m2N3?Y5x~x_Z%xa^!AB<+qP}n zwr$(CZQHhO^Xz@LZQC~Q`Moofyf-t+-1|?{l_t$1bN^L)O`QJgh1mwLzjy*N^R zFD*~go^X5U484ib2@CccJI5JRuV-)4#H^$WS(3s7^m+GpA(6e*3v`sbKxZn}x7!H{ z?GSKQy3B~Dt^Il#JNC)3rEPdi_0xDg1w74Z368a*i*p^CSc$*s1Q%Shv>?j1ca#2BbshyXPeEj&+-Ax+WrE8j$CIn zsbD)kxF2)c$rf7o4dPS*nVxqsUihk0HS*zGbd{yF78Y{hnO|Ctcg8g95-xq*NiphY zFhR_)xm;$5K-?$N_wCiU70U?bX-G>B$(yg;+<=v}ixB!deEC4Kgbv%V&yHMjeWAha zg1r6{fED2F=~RUFVGMpL25lXjOMu21OpOT&bBKrri|D4w&j0VZnRG#CrZV( z;CJFZ?Vux}DJO?BX(KbWDl#s>jQnOkN6FUUPO>e3s~1E>48S0NQfZq>+cFM`zy~~T z^HCXr%*&S;A@yUAq$9q;7Kt@^(@5AtTN$nDUov)*7$4Wy{aXExiLy*FdOXiEzkooK z8nX>cD#wNVgTEH!JN6${TI$NMyOBE?q#mu)3fr$;cYN$k^gS9KPvw~>9vD($U)Pv8 zNszJuqQN^~KOvKg6P7{oYfAG1eE(wMuJgjn4>ne;#Cg;nccs<;bln3{4p#k0uM2ZS zNO9y>e}V<}*aBt;Ie~qD;|#+uGKP6We3N{Q?t?2p%suzo*kX(CKb2>2;CC77AqXUxxY61|*Vg^$UlqtH^Ozsg_h}b|@|{ zRX%br`x_ttjc>m$Uk z`6;USC!gM}NZ0_hA1aiH&*v2~p!3MKL-TX)JtK{mBnF8pSiSqe4r6yN))ClXn4HOW zG5Z6LPB#Wp4x-vJ@XoO2SrX*MZLsz)yoZQqqN-U+vt|tjMCpiV@_5J*yZSW6?Q)hz z1n-Li2okRiLVYrM#6YFIG)XVP(r%l4s!SqBNs%QSD71JUCaaI@UL&Is-0Tghyl9Rl znOPX(Qrzc;sy?5(v@!=6#D@pmu6HzUzaT`RDR&)|zak#b0FhV?U2d(k^Nl)eGhoy7 zl8U*Hhy-_#&$G1ZvnJS^z@?d6R_QBP^Vm+$%N~JYO?4-AaUzUAI{iy>yT4s`%wUSQ zt0lXL(^Z!e7CKCWQnc;&Grf1QrG|TA_R~?g#xB7yR^|8M{b^{RYq3E8#u_NqC5TxL zv3tRyxb^ZdM)-dIBy~DqpK4?_&VCIR-lie+o(BFCEcmeyqa}P2QnK9Gln)77U;kLJ4alC1mt8y98mj zMWUu{qQ>9#ITnf(0hw46LR6NK){Yh9iw5c2JB@FGdOotN-?LRAU}4h2)CIEu!fjG8 zZJ!3ERm_%-22GoTC_)dvGP#ExL_3n!pO$>2Ye_Quu1X^mQN);9O~AM~G!N7+#%)z; z!M_pDwM0C^9xEeFUesEh_?H;AF4hFf>0Nua;4t(A7lz2vPuh?Az4PRFni*#^<4AXc z7?DVqE*@7i??w2=Ja^Dy@Go}HOeNAI9oBFv#)L#wKJiklGh zyoIsJM$9g%#S$Pd!xEe}v^oZHx4&D%yh_7yR~AUmOD~UDC6iqKz{ZwoZ0x3ga#b{I z6P9FpCdMeQ_Lv}l41}JJEzp4RP_st+tc0jG4~~$lran_B0@S*A$x=xaejkt7{E9qu zf!*ZXc)9a@st2T;PXvh`QC}E)llA`8t; zw$0&vzoeT9dd8;p%VuKEoyShQKC0t&HboIijttqD$(h4BX}oB%*7P8RQJSzbwK|*@ zrUi;8*eSeM0yZjj`o-XCLxt={Mr>f9HnreCN>cI9Dm7O5BU+ZQS-*cM8&wh{`R^{$ z17&JIwB#>yw-|_HNTmc<(nYY3V0jx!qSYL=N>VeUA96a>X>?Gc86L79t1;v(#DWH~ z+hlD}YO0GkoThyMmujRH)ka^Hc4Ju@zu;$x+$tt;t=iq(FA@1bkQDo zALNXdz5Y#!tWu4J|7^qCZL_%sdwnYj>qZqb*hpAwo|ie2DiCMCgvvF43*pkb3y2oK z$q(#lb!DD0&K2~&zC4Mn7Nj;{jDC6<`|t$2mq;&?oxQZeax59{i3+mI2DcF`ips?C z2qnxF(#1mwsYZRi|KO2ARS4Z4M)z*)ICDxl=0#%jv9qS`Ae4>Bz=EzQUpVm~=0$Ac z4Y8g(06i0bz%F-+b3Sb<&zWG6=4L+Pri3mNsyq5lr5dV37 zV?MTkR2%v`%s;a6*_!QcCNVV~^0o;ATD;*Z+$6dXjFEAsUNLC5k?om-o8*vsw0~oA zbt(|KYw|5wBz=kz2zp!6*bO7xZR>M(&-_eoGA(2GOsX^2dE~HDu_mm>vo|_SPj3CN zUdL4q%?o@`v1ZGAqIHhkK{#2F$~r5N3v@sBY3yByG^09}$KefHSFFs$Y8G&+zXHrV zF@E|agjJ=h_$?=$kq^h(@^Q0)&o<8al3rmwW=HxGhH#r+#-f#<+b!Ph)l_dYjD>*Z z`z;5D0xO(!_?+M`;}uAuL^zN5X5MR4wkYk{;Ua(C&%aMuVz#CW<#6`n9m~dGaAll& zSALZ;vI&aIHgLlA$oOBT9f z`DfyL#jH}Ji4`_WEM4Ycm-F(DoWO$v0VsF(MfvS{A=O&zyW+{+P^&y-Ii z)G0$;b=(_$5YrJ3#q@Fxtl+yaT%U6Uh@f*_5s8V9P^*Q>s7xc@EeOv_2_iUQ>Rs=; zJCv#LR!j+Z)jWc3fxO2@yrHL(B zc@NztQQG;sltfU4lSM_bZcBIZh1z+vgJs5&3>(Pq&` zLJUEx$M!2vC%Fi%DV%nws51QM?o0(b4ux}A^e%tV_on%V8YT=vs)69OQ9BS65_Zl91`y1kmWYTb#w~^AK%(n#<=js-O`|?E^ z=#4tn;}N9!mU*Pdk{D_#rNsB{jtKGL@c3d;|K$!FxhSi=iRJvZh)J1B%eshNJ578g zs4>w^;#^{y%-?xA{8%#q|Hn9?^|aVk`%*H5Mk=khDsDEAMMY3BFd}f;`1avF#%1^% z0LN3uP+xhgz^_H}dn*$3uEc;AuZ&lax#0ao7t;8B6!;O*py2OEb<<~FlJ_X4!hvYf zv7z|43mazwA?NCDV*A<4J>^%E^-T0~Ya1@g$SLYk0(IMV5@dPJ_0(Vto0K0WL!+5T z!JvjDFMiuGM-pL514@V9J5#PrGMkO4bKqX#muD-SMU5Xfl~RB00f}b#yDeDakFwzO zO8kX78Df^Pp}OXAUnfCHaL9NL$fCU?Aq`2~R}zM4LX8le^D9i?(XkjX*9<$&mupys$RxWOCE}+4bZMAoK(DAQwj{SEMmdk4e1>t^ zO#7QPEHJ-xEv3YohP}}+ShcyP4e?EUpO%KmA@l+s!BJRea;Xaaer+Clch|XB> z8n?%+WJQesu+9+uq`5T7|7?IcC}yv8Xq?Q-(mg3XA#0KSUsC}UlXqtM(!$C{P|ivN z%Uu6Myb-dBmnS=00EJCdGMbA?gT3i28eETO<5>dRIZ4}oP@bX!KkR)=2Zy3A7gEax zAm~p#lg-yBMV>7o^dSdDamKCE1(cpsu7hp<;y=fls?hi5Ws=7dkGd~z`6nMh2&?xv z#tX4fwt6GQ4C5H_Z|`x$T~J#!jP=fnadl#yZWo==Ap>B9RzLL5QC_s_)4?1Dy1NKt z0qRH}#|Npp9ZcYXt;yTbC#^yrTX~?PA5vwXgL$h5dCsAHtCp_IjQ9XmtpxCXkE35 zXB254EJBlS#uZ>({|q;L={3q)+GJc&8*aVs1N&|QdGCQ(Af5GDf;v^2;5TA=KA15X z;RfH@>W30mXzs@LpIAN+V$(z%h^bBNwB1z$nDYt}k>*!ydv!0^PFbg63nIyE)Cw^( z9)BS3UU7I)lhMflR^XrLb$iP7b5y-|7bhATAj8XAiT!!fwLwT3<;2sfQrkb1dvxG> zol@(8Xh)hU!{b2yMUhe^_uC!^JIcW$?0WHr(OA4yO%H$v#*dlwIZ`Z^27c7%bIaUX zg=sF&2}-LDZ_{y=UHrd8)F~8MKC`|F3qdnMD1mU=ZE7A zj_WtS$Pmyc>=WA#1m|$i$Z#d_&Oc#V%enVY1MU*e!WfJ+>i(r#tmsWWeqWPzfUh?N z;#}>!O70~PqNmhOh+Mz>3yy`U_@Gc!6o0W8sWC+5DJ`~{4t3LqyHk)Fr-!y|O3!Vv&!SBMKY+=PGuJDhP`Z2$b6?k{Ykz|p=H<~STZz5*zG>QQqFzwGG# zn>SNQ=rr8C>HPSWZ2jSa1c9`5CPMIYDOSU`S&R8N8+r@G^h+AqwjjY9ko1~7DhGc( zADFxW)@f0j4~!mYXSI@=Hw1JooEMuumFS3zRD!DayoqT60VEY)z7e$W_=JErj0Gi5 z8s|Taw~K0L6s)=C0Q|BOd2gwzI6zKFtu3|Ry@+9T^yI3h(${x|Ct8^T^D3GB`+9>% z27rK~v>RVxfJOXyOcR`vRZ6RrxM+ye_(WSV!#6VhoYhi-*Ezi3wD*Uh3EEuup`JM}tlh`|InVm>26e1Il9f-qWr#Tv@TA-9OINVp2~PvNU5 zN=xJ7gSfOjM3Uaz*ks8nl>Z&+_W59`PMX+jSjoxZPG-{puc(l)GOI(9lWb+6)f??3 z00e>4@s*c3`*&;7CGt`)Vjm>G<7_rhWSrN8e}VYyRd2aWg!KcQMUQp!ov=&D8Sz;3wt#U2;h57Cz1GO{5*6x9q2hExOt#6(nN3x&_6q)Nij5RRMYRC2)L6_g# zsCJ})uRP$JI_|U6p0(#u3Yk3CaAc4s`O*7aO<5NrOu0Oox_g3#I7N*hQdlGI5!7Hq zM*zvpVzEEApx36 zV(zvcdMKiV_{3kX?&pr@5BKig^~x~i(TA-pSGKYm8$UTu!vQM1 zC_DqYZPJ1E^_JxWOf|hhwfu9lxF-T#$5@D_`e5&~;j_NW5d?uAA z?ldpi?&ri8&x9Qe#d^*D3$NHnAaNUYhmJHUh!8X zLz81&X<@w2^8Sl-;akICXShqN0Nqt}Pneq{d{C#gN(-4luh26L57Hay5XB1y|10so5&bEq8P1x%A%dc^YeD*_P{IbZ96y=sc=N& z4;TuX7p0S!YY@IL|0p|VT5I;qd?JrP0y9{amvnfv(}GKR_(3mtE`b88wdZBQ1m)(q zQHU7rvLPi(Pnp1N*`+<(7VZ1-^xokS;W^d&1>3GnijfW=kN+|40$Vd?i&`{`oNuu!x^KgxF%@iso-BG-OZjbGTrdB{ zC%|~fp4TMZE4B*Q677Zcrek&&zdIiCpp4kGQ}F5J9cV44>(yr!Ww1w5R!biP3r zCtwV{!ZJ`sOyVz@__%}av-phPF+h&MgL}1Pb16Dkce6@8q3$@$QAGSiis1~6U+JI0t(uIUYmFdD+o{Q*H11%_78w5@nNBEyzc#YUY5c=V=w+2dc zMh)NTj7iw$7%faaUGN$cR>G01t?aM$F_}JH&052Vu)rX+OCY#*n?;QHkH8UmBU5iM!7B!-Hm3yeBV=`3jSOa zW@0*@T5R`geWEqyO7DnU{M!CvP5Vnz><^0Tmc)Txb);?M&_{_!7IHCTiIl$UZA)Lj z0F(D14yrcEG4;MTeL7GDH{g56Z_CZahlU26c6+yK5#=Lvos1DOLH#@Z0>?Gr z+lCa4!m7z_c={F)q;0O5j!Z&|^ibW;1rxm12Q56vs4S|=*XZDH!(rs1@*P?NR4G%F z-OQZvR8=xjMYAYCAp}YgzRh4w|8$=kJ1E4dk>*nO`6mXjT>RaPfK@iAq3LmW@-@?t z)|L!_UCh9)4?M|wnuuQIITk}-OBuJRsyE>9{IO0&1x@au`hh#n;~C(!m3*BOdD@5E z^%`qwM-AS<`D8oZs1&aP9%4CY6+i4rBa z*iX1LQnA)b`JC2Bpk(DQg}0QPeOTC4rtB}Qpi1v9cWp5Ifj(uYD}RgNUC)*RCY{P4(shN^ z?e|^1BLHUlcDcdn9+an*zI&HBGLvy)5j!YXG$(yqVN3;aZPT~CjacpzYd+jo4a?jp z`>(gS+QLR*Z3*usxue5P^`v-8#brv~C#{!jT*R=;IC(pB#hk-Ng7l&CgYxNMuv%lm zIfyWj!hJhJ7F>QVmQEe0?W4p~tYV$)X`TjP<`glVc3Tc4jWCT$nIuB9_)G7)_n8uw z#8$jf+!DFExbMWRP|!)`uXj&G;%|mvFjUkWsZT?$tTD%*KJ7hfWPQU_m2_`|%PP4{@f+ zV1_=~SOD{LAVLa;sUT`hxc4;g-SD3ibKl1C4+O*_X|h?fm-MiEr3nAn2407EL2f9Y z#sM?e6o1FIU?W|Ccm{6>1{w&Q3|^M%(tw4paq-I;2wPz(NoqatYE!N9Y%PtuCte$G z$jm#OY(E8CN11dt#HMh3zxLm8QfPru-hxtvhj#8{*SgiL%IAy_M}QYAP8dt{Z2szC zIJ_#Oxhu4M^Jsenl+Fk{$MxbqoVyV!t|?r*ujq1>aqu1?H9=2Nn9A{=+Rx5z3EYz} z7yT~S7H~7x3|1&qlPX`^{O7H=BPnTjaM{8ub}P7KENEzW+E8SN$7Y` zdLlr#{DzmA-hj&Xqr38hj+FgGpTK*oXqHVCz4*yb-+Cn!p8x`N+a4&gi#>PcHiibR z5!#l>rimmBaJUpq(OE0e)+rKOFcG3%h#VP3Kbg`mR=i(8L`_l`gCs(4NqsSE=*Hc8 zL?ne>Hn*6D0J$k?dhSn@?KW28Vm8nK%(nsH&;7fAs3P=y%z%01(8^0HK`W*)Bo@e~ z5oLNVU>@51?L93;rS83^kGJ^f*$(`yjS)I}Pi_}c=}RYs&}em(r5J46O=@;9XbVF#328GW%rv+D-V5LuN3t%HMiYAd@TL+;gF$l( z0A>^d4lsmjlU0P*@#!_VgskXDe~mE3=oqd8WO>w`UX0Ko8V~>^6@(LojDGAWVjSeH z0xa46Zxf~=5^2x@dS{^GK`<;G`fjDGCcIr6mx6wG=ALXUwHIIql2Y&B>%dE>k(tqi z;*f<0I9v*F^qim{bhUDXFMz1|<&!e(>D<8PQ66p4H~=|-^Uyl$bglDFcW#&cXAP>n z_cW+AvfaH0zqz&?ci+6d2dfrFE+&8I##%FT^ply3W~cLT+-K;(>l-CzI5nM9OX&y3 z{m2pE^Zec?eO0e9)*K2jRHceS9BQN-uF4D<|4M)9F2_@HFh}Xp^&kTcc#&9BwQz9W zyN{RPPMuHMoXv<8GAwUZF(6&9nnN|FvB%#DuTQnWA=6(L5&z-@Hip=KT$-cmvMSb} zHTw{O=F=TtwlxX%b~H9N&)ZnTE%FGgT8>~aL;q0L5hrGaiInRC0$H9fdR)d9Ua5if zc2Tv6{ZLRZkyJc{Z!70m`Hk&AvKLUS{}}D$+3ZouV8m2K&ZtsI51UNINS_KlVRO~ zdY%<&c@b67tp4L`COuq(Y^V;SJD44~37du(5Ovn|`m|LOtW2eE^~V6KvE#KfrAn^I z%*iy}ZdV6Sym%qW3UL;yvCV+HBqHy&#=M!KDF`ACLNA>r^ih>zd}Vj*nEC1o7z641 zVwm|P9Uu!g(g0nM&3dlmyF6m}`0YY(+0m_{vS^Q-Xj4*3UOmqO z8*CO;s&QX?s(WH`>rm!SGhc1H2Q8lb z!2aV&yCH>I-r&F>-g_5(7NsmJ7^73Flvv2HK&$KK!4UJ@y*=~xvHc&I#&5)|AODoB zP7uB0PM$d&~+kz7Q`LF`rkKhE3-g`31Iy#SwQsL886xM>~#&w%I}1k91~TQ|c861_y#V?~}|8>wM0ZOO0K)zZ!)78S)w zQzp>xds2*32|CtqhJ!AXsJe^6Bc^z;a_@(6uss=oFLynZdQA;}r^=Do;qbPLYZEmz z`#mH@dlvr~O{G~tAgkB0c{;y49%p|2bjmaFRMaf`#*eh~;0l&MpuQnTBK_w6iPJ*c z8Lk;hkg711ysJo?WPk9TbQ=X4_%zYiPtscl?Xq#fd#gL=J!~A(@I)< zT-)2Z`g~Cig`b^>_(qA@uAQs7D1UkRg_BYjQ<6}1O$-X}!eCXlzaBP?90eS;M#HA~ z;(VmPcMJmx3_(Emhu=C(xhXEI>B_`e`EZmw!viNy1jRV{*{Nd3#2zChVy6)IG#WnR zjvFsuu3@?}SJ3qNo5$%PNs@dfEE8n0^)n8@aUr=0Qbem~6zQ@jh&i*lPeYB5Dy+sM z*ib$X4vOCl%aJkvV#;*;QaE>FNFX(t+HMr^KFFfEpyc*)xA_Q#Kw|8-+DNJ4-PbuU zBs=}~7P+uC3u+s07^2Wbkr-&9E}||KiH~rT%qnz7YjK1?iUkj^C$)a@KYja ztqG?^isC6=iw(l&Dcj@eG6hF9UF&^XmdVAP^)J==K|#JAe$BX1!g5PC&d~V*NCc)2 z)$WcTZVS6jm--n&)JcF3xseBvNrF$^o&OmtM`dD|k};i|LGLw(W>)K-&veQQM|#Tq zPOvLiz%6k1CYp50^58&za~$w<(xt%^5q2gEKQ(mT0P>ABp~)Wv=-$MW_P?#hm@7}E zm!`Z9*5%{y1(19i@fDP1!uwJy@&W~0TB zLvKYlAZsz}MLcL>j+(nV10P@WyhQW!k^R%)OtUcrw;$^qTjoowcW8Sin=a5Tfy#5B z1k#!dAhpWRHX9s9#_;rI)E@vOufe2MoC_gX-K(c=CP5W$&KQ&rQYfiG#pDk-a#99xI|W=HYg9{(3(c~evO5shO+C*ufVR#i7{s^u+Y-a2kKgYx3<#b< z&^`h~l}rGRJI#yz&C77fjqR{dQ)`QjB+!zIkF0|{zJJES7bgU+CmVoK&?<21Ew8mP z|E#!)9|S04q-`@$tH~~t|GGdZ5I-9R#mKkq7MgeGi&^7k4wFlF&x8F*xG;_%k0W!h z#l^II6-!@L;s0j9Gegn;hnhFFb0MH*=-ACkwAauS%~* zuTHN)uSu^(Z%A+G{2#g9+4`RmZ{%cXY;EfDU&j0Y-2We@yD|O$8;>`!G<7m{wsfX9 zr8l+w5BhFuXJY7V@gGe7zj^XD^#404Z$)oSZ$ocOZ%1!uX=h4rPjCNk>p=g%7m5FR%a!#1dFlm}oADNJs!P zpsB4df&u^n1sMoPG?J4O*3g3Ei9RD^5hKbeln{~WH@YAuC}@5)0}8`;dQprBAj{4n zAOb@`L`h6U3Jd}y0w}QH7a@@XGXQE07Yxt>8jvLsqJo;SoM~Yc8MN75K%f3GUmqZz zmRYS%je%n0QJ>Po1b5B?9n;Vd9v+^s zp}86X$&`MU8sILV5EtM>L7id(7Ygvp3ZnqnE$ru9CL#mb;0(a|I~bebdJfM31;qh& zz_3jrJC82V+`RLfCmc$c3HuP%weES}DG%XI<*5i3+47&dex)Y^1)a`%*EWEWLPb@`nEA)F1<$2j2Zm zHUtwAxbTP;%gE7lPn_%nD@VEy|u15_$-0C0v3fMR?}@I~EQSPuQv zu6%^FDguCzL5pPo+!{_8 z@%z^gR`~j7Z8bbT$PnOU!1_88AfP|5|Cgrj7*vpGFYkBGKfk^qsVyz63h6gL?)PQ8 zJA4G72Xu4tIwI~$G<7fWOxBz7C<%9I$xAtk5@RvRCcjDo9;msetOe1^FyLb2&`Nz;5REdRZX2{!{?c5dPO2+px}x0S2WA zTzHe~3vm*E>ufb)&=8^mZvpk?QVkFy3Lxef*h1s32n(3k(99FyZVHVZhb94}hB_>TNYrDjGNh z)?d({hBBbx?`~QMg}@rzdDsUwLcd%0&|n?huYw4`kOepj$_G49j~GwF?}!9&NN+&} z|3JS~yQ^?vUHEHzN8RT~{P$;BfDogC_Ccp*$@R9u*v4Mlq7^9_{9r6%r{oN5GK-$z zEvHKNCMTvLlfA0i9MgpcrRN^)XgI5C9`UH>O8yS_^mB+Itt7m*|C^2m=~=ve3({=d z{Bs=Nu42`tAz2r#MMcN?<6~sJV*#=qvs*Zs`3^F>B~vfZg>t-|tBkJv`H;fd)1TpK zDoNU;=mp3@jN-Ggz)|I#ceeFg%o~IP&`kR~Mc=Umd0bq1rQA$dTrL|2dsM7FW`&n;lSRWJ7f>`%11z zA0!2_Gml$b^|V5G8(PYJ48GtSM_g(m=^_}+Zg#lnnjZUMzPq9@-wTI)o1=rGSz%-d znXOdL&fWv!pEX+X1J|O$ZGrF^ezBFjvh|S;uh*=69MiADn=&T$V}q}D7w0A&6|uBnUML6VZ5Bw#Pymrg7GD@6Gd*u;UVnJR@JRz!EY=* zr;k{&m5S%7N~)rHE@;QjMV}##jpnf&hSkG%E*HktOjOb;hSgd7jp;mvpx|Vv_V8i) z_*YseP(Y@kQrECIiOClO`HI=cXMgzDa;M@`4Vplf-RE^CP^??;_CI};iQ%C79&Vxl zrour}ENOJKwG`nC}*GNaZdD}C3T|JrV}elPoTlN7dN zb7p_T|4fDpv}P*GvgTULrh}f}?)F-pyVkAhUh7-htm&w;CypGFr$iJxPfuhv~bgtw8^j*c-|<{&WlG`{oaW1kQXH&*x4_zO~Cji~RI5xQ#VsVI2H{9HP!&A5Ci6 zT%Nd<4yBf<);?w|oD4RQU#trA=!=jg^E^TNb z7Q(P?B}tgmdLFUlFHh7g$LJJ$n$uE@%{d88KbMIqPtOw1_N^DP#+ht$A8__lqb2)( z&wC%!8FFUFs%X-!v-i|%hhwKfv~>YUp9z0fNv9z~VWiz02^YIgLmKwH&}Ey^?K6f$ z;vU)A@Z{Bw`pBtw?@1X=HfGdR9ChrBH)YQ4LNl9mYpn)U=Y0iRBd$L4nqQpa_;x=9 z!59;F-x-68-X#u7@mOTBA%TyEfFG85l|T8e23Zl&Msf?)ETWW-NTbv=8?y&Ik?ory zM-BaeVVbqhWH=qV6XYvzjDK&2%lZmip%jHvE*6basHT`I1=H#eupY>r58peoMqhQz z6!94u(W{XZbkce_q`@C#$VYjBs|(j))l54|Ne2^dzo-Yv2}aZIP0yB*5{+apkD-Tp z#PTKJuO(EHXkjfhc+KQMIZ$?D2mID#L3tOHD!@Dwip9D;H+ma*@1(m_y36jh+7&o8EFOU>3 z2NSomC*d!qloxYgdgEc@IbPz6y)tsi85|Rpi)OS+Blf}59lka8k^eo@V}pR#%%|Y{ zX36Bn>=uj`gNe z`eaDO?iQBSi(qMjyI&|bLAvZFF9UL#XvP+a8g;9?68}8r&bsWS zPF3+$!s*!2=kFIHz4U?PbLMvFmq`m2`rzBsT%*>w18*kCB}I&3baf1qjF&OhYIPa8 zHZCTd7c-0NSW@2sjX?eZCo9?1Sj==&_*ZK4gBQQQ8Xt&L+e%YLBF(f{Ji;r_H=QCwMMv&sbcnuE5$$s?rAqhvJD57 zeC*rj&@`IW{PWBjf5N%Jabrx)_X+7^OI^@>$22B;uX&;3gL@(64hnO^#18b0#3Im;_ ziC`~C>ZPsk*y||r7r{~0A({&LQ9%^#mtj?}97#nC0nQ_5@d<31osT z(lrTzim`VW)ku;9`xOjKuAE)1kZ$(?t;`ya#@RAESjP?ubF-%#2IV{Wdlt(vq+a{% z)lWm5)QZa_{ko1(ssE_rMEdn9I zWl}ab)US{xf(OUtb#uENceMlOse0d5ykqryc7d{ETHExPViNDlfGV?Ii@=|JmZf%& zNyD)Y1^)m#Yu!wTQQtQ?qD~`&`Q>re)>^RST*z8n@0^26+psHuOu7Cux zI!F>(iW}{_**+>Yp}b!I67|Etc=}ri@=uQfGirsWrSHODUe!9X7DOE0no|t*KDjJ zQg+lboJHLo;3cLZo<*!qOOMW{kdO^v*d)ZCcXpwr+bO;i`TCzot}qanO07XF zzRoxvs;C<`lOg$;{EP2Pp$?sH;_(S;Qdv!|o6W=o#fB%6cqx~Ife?8H<2p7}PEdcn zlx$ERjxm)|Y-HUUTT>v&drsVTr{$b*(imdgdc?v>9X}02Il)Cn@0!?^h>#bJQYMGhuwuFwzzk(-cRv2GcU+83LF?^6$lk(!Wr%X2s>P zLpoQ5Efsywd@yJhq1!7O8E_fw%E4ntZ;y@i(SEH+1k=zVYuOu@S=LAefmT;%mzq#- zkHQXBo|CnW1hTV>B$<&q@gkR8W`sy;mqEs8uT(|BpGIYOzW@g}QNGbE`(SFWqe?ty zuo-6qfk4u^eJf$)c7NgY^G{0k6rT8PcAyVn6+Zi_MFib3z7_`^?yLzn7mVv%V4OtU zS?0@9A)p(odBd+K;YvmMJgW{2v+;`*6YK?wj0ji7)(@Q|a$L7#P9+Bcxjb(dj6R`1 zU|(z(lZfhRoT|oo-By9%$nt^m6))!3yChfnJ3UHYRu(hoaIi25)1+SyziJbx7~R1c z!^Bu*4{g+HXVt0&1vk#1)gMibQ+x}#-__;c3PE}zA5)6(aWv)M{~=gcm{^xp`%GI6 zd0TTRhA#1*pB>lno9N<(=j=V|;*^SMXxKKvwqzxJURI6=zvPDr?c}DfU7dHv%XMu% zS&^O7NSQpR`~=hYX+Zj(V?Ta+j0nrJE=LbH`J`(R)3qW)?3W-uX6eFxo2ygqAl=WP zcmThwJ>H(ep~xN-$Ddy#X>IIgT)c?8 z+(_#?MJr4If8EOR;92lyeF!xs9(6n>IVZ~3VBAC;CSy%@3fg! zyLaeRc3X9<*Mhw539=a35cs{X7WXh=6+*`2qJH8}wMNQe|YVdh)g=l!+O^d?{KeL3Ft@4v&;F!qXoXn>yM?7 zR7z4-;Dtk7BA@6T595vLPt1V2>$Ws5?%p5LzaEiUjK@mHj*f@o%421lKSDtWpC-*&@<2d z*^cZwSyYcNGfeo|`VZEIwW^!XWawa$y(MJ04ZrG)_C%T4xim~Sw3o_*twr+epU`~V zk_Zq?^d5rHP|6x~5X+rr=)c{my~8!XK;Z}{y?*(Lcn_gt=~ zP7_`Xu|}2gcIh)=&=Ip;!Zbm`NH!`p2fa{P1y{Q1l=t6P^yYWcw=y;NF%}|pwSHnm z4&0xbc1`A)BMEY2I%f(^JO22d^oXur(RJ#oQ+PhljS=#E82_FUWf7OszZ;oVaqICh z$lG7VIUYB+@+;*$JG(VG(<`Rw;anBN!S#9~o17VyVVFz4yHudJb8x_u9WQ8*eNb_p z?FTn;Rc@Tp+1s%#2%_-cUue7NaZ*fWbBA|OH24pqlmUU>@vxyL=(&Do#^T#q__!=~ zy65M7Lc49hYJA`sCo64OuqpqgvYzW zgv|aGF)jQdzg*`Vdcn>+jL%=LzOyIsU~||6tSy;=v-X+f z&(z`mk2H`8{pFD0RiJY;<1aL`bvrNbSaJ3N)!|HIfjMM>7RiPmYGRf$U5 zw(YF6ZQHhO+qP}nwr&3TevQ9-oId09zKR$T`(mxQioNEX&)1{Ieh8L#)(rDnnJ&K% z$IhTS*Ve0l?H(4&HsN7ei&)4wjL4r+O9E@7-V6gYs^+1v=3qx(7Nklv*> z0dAQkd|cC)SBY{0z4eHecugv-^6Wr(58{T$X-v?{{8XhfQSGh7jRo%K)6vVi=XH2i zR}dQtrfT2od))P-Du^PW%ir_6We3`vaTw|B#s06rd7qkac=wJ)HfgM=@+?Yeeprri zMrfFSEwM}nCnF)aPbMZ#=_P-DdV#csOk!y@MDjaL}qBkZcyMK;H*&0iWV{eqt9;_Ku$#7SJ}(C8w)FZW zs-{H2n+YhZoY06aWZ}Y2a#F~q?p0zg^||Ia&N!WuMBTZQvOYP@AT&Sycy5Z~iCz7G z#wkFqogA#lzcULS0g8yzUW`4|YK;#4cnRsST(5C*$+G}h zXVR(}AH+?|sgQ52V!jTAu|=SU2=HA)QaO=vb0=Hg32G#DIcxeQ32k{-{i{x0TV*>H z6a?v!oydSKl-zL4+Gf+sOtrnmQDWO%V=9VXk0bDTVe79cT_`59k-ZE&zIvmQ0UII( z?Wpip;`NtTziX0UJXLOxOjDikN)B4_H&s-|6T--H!m0?6&5*W`h znys@}t=a%5$RFeMV(Z=dC|V_bEejhlkpWswTUMAvgi~S#Q(A|D9PQ!fiGX!QWE`QN zjV$|6MuMvX|8IMBa=orQ8z@z1?CWj8ZZZ5Oqm}b#_~}*ls%U`_3s!&;M6G>j+0Tna z0H=Y}d-lmVE2gPK4O0JMb$Cq{?#wQEdJ@VAO9Q93MB7~jl9G?Fb&|QoJm6^&vcV@P z;iqTgk8R^WXq>1}j3c-^*Tu>Q_}0;qE*o4{x5Vp125i}tyvC&?hEZr6kFY5w=*wWy z>Vgf@NabY%F-z?TR%H1GPi62aWGqEpoCQ7c6dJ?gD|xT136^s`0TLvalW{v07L4mI z&9``Oai&!39rSY+tqEaswJiBt$B0(~wo6}9hN@}|CnpyyZU=8et>OUC;NC`hVm~wU z_&U`@)){R_|6ZP(G^Ju>q2kZc{59X=N}dA}s-xN<-YSfv5;>UIz2!-F>oQ^ox4gHR zV*-mw@GyNgMx+j>i}Rdy2=*9=winA(c&@o_SVSS!0*Ryvk5^dFetTfygPAF=4gt!DkN`$e=TQ8$m zUh9pAz4P4)%cuL5OTGzU7RWkQtJ*6jQ!9|+0ve~ct*GK_BcBfo+p&$+-9s&t-5LOY zORe;T9LZ?N{ViS@IFEr_>m)s;+{6e&4$Jv6G`*PiS`XE(;;XgA7 z8lJYn?o0A~I%MWDYA!9)*>H&37F@nb>LXhEaZ0(omqvj&DE+0 zwE5fWguxl=kvLW?XwN2{u_Ij?)w5pAPC3?I^vk*qC*Fidn;H5i2a+LnnNYHA;|Z=J zo!QbD9SRl8r0G(ODy&OrQ186RxBj*IEh+o0z(^N5Xgk7Whz-4kt2ByHZo{i{WIR?| zNoD0xaPeB3?GDcpvp!?q*RY|_8Wj-Yco!xKMAK45tArwcO)=7-ggJv5NP>C;d$f#z zelqre{ndymky(J!bAJ!(2283eL@! zgH>24=6??tgo9<2=U1dTE@BxLu4R&?pSLByL<4K&Hvc&hvZR@Wt*dUVX9$X1P)>`k z;MG!76O@X#_PznN^{Zyo87qta`RjKnOj^Tru+pjVu{r^T)M?h&#))Y-mg3^oHG`DyFZ7h9zKpwUI(*24u`xn60cW~$k*o( z`IZHUOANjg}F&@|7`DXu1d! z9mC9K*6S!~Xyw^qt>e_Sa}dWV{qmQ&Sl!TGpg-$!?4wez3nD}VvjtaXn4`2Qv4bIk zKlIH@(j2bdM@E5gD)r#ya%VtRn`i*C--N9gnAfJ$e?D4*WcRlnLASK-5QCd7UwZch49!vi?tT%ETAk@RLSgZ4Dhi(`| zTF%8m>1Py5HdWsn#I_L~WuA!zLiCg&NWgi4Nv3}ogI-`;c?=bP*=7(ev;JsPlb?^D zJ6Xj&pikMZU^niO6RL%}3w;{o2ZY$yKFPkWf!z$s-F-DC*14MOEEhl;<*{foG5U+V zJ*KdDERaL`QprcHn~`nYK?9K6sxS(HB+8D#a;Dj4 z%%O0);|Ahrh|;dgQ|oXZXIxRm(mhXaE0L}*pK)z9?*iN`j)zl$k({v<)s@i!Qw_xL z^W-Vt580hPdzH8007L**T8MLD%QsJ=MTLmDTT8WjSb?7BOil5f{r-iXl~mE+cyWz= z?6RCjil}Mev5w$ zIO8RcYYlFQ!dQr$HShi1Xj>?vK*C9Q7rWn>P&}aP8yIFwmF=I?{C}U?{vYT1KPUD7 zIU@f5g=z3fNr(yY{R`9hIrsmcFbxLAe=rR?TsBr#Toxu;O(+_^ew<=^jN{O^>8!Vi7%FEYa3;vZ zU)KDeECVYW>wnM-^tg2NKb*;by#22*104e$8{NNXhMx^EwfKQPaR1o|2SY(aeQN{5 ze~5{H-(Z)u$RtF=s89IOijPaFHJ+yUu*)&0xkiJqm8bXuKo^~FkxZU1)!n=Yoem!B4lA9 z4VT4zXWK~7%rYmO0^(xin+6;bJtuWNU21OPa#9BJ0wTt_8N9|8V5Q}C)#XK174V{> z!sB}%!f6*=G|knA5>R{sz_o^81~pa<=;GiKsIJM@o#LK{2e1Ln0f3pC`_B+hKcF5Q zFM3R1Dgp24#3b0sjnZu2#Gf3%CIGOZ^^JvhL?36oep-cmymqOda!fURGK%K+-Fu4%0RfYxB{F`zTEk5qk| zvq&dEE);MxG4dcKtbo|xc1j=PzKA!^s{ku0t6%X~*C#wkzF6Nd%=I+@9IUBqZvI%6 zfJ(UTxV%DYv8$8gk%&4+Ca=Nysht!rR9h4MFb38}Uq?5_$3_6AbWA?0>ptGm$7Z`g zc6RoLPN1vbbok>qrd!ggW3zHV7drqB4)#JH`8;AV&@+3NE1jxeZK@n1HO2YU+dWVR zCZ>o zPe0`ZARZi&8swfcONbnt5vZ4^z>|HmBS4Ur))wGTk1weY7JdVLU==^g4S*wF^B96X zp4IIM-tz97^}}|b4gjzU>otAgny=f}X_|Z%S5-gk%g%4x?|Uy*gM>n&MAYA3X)in( zEvzfhJN*N_fI51|dZ0J9c7QIduK-@(nL>*&56ddW|mc{ZHQ&4?F^2-ymNiN#E&1-_8PaS5Hsga}C~i z-#BX%fCkr}&Hd>{o10q?)gWH$K*QgcWxyZi#)&>jxX!`flRq1x@*6+BqYw|s zVef#{%KSDcExwS(wVf(?k|zEfKq!E=`+d160!Ug^RDAy&N>W0%Hz)T$O2vB1^)wH@ zUdPErq3MkCFh^vDW9l63=^aImyb%*RQB(WCudkD<0d;;Y(E0?fB3?Y90l8pK!|Q-L z@qO$Ix3&UM>UpPp@pA&8g?c04_z0cxgal*u+3qD_TFUdy>WAfyG0D$ z$8TkZSO9BVT>ZXt5FH=4AwBw({i`w#q#yZ2n zbs}mKyWg^XEkWSSzNuDTjy|sv@_Cw7!`j*+IqT$|s8r-;A7InP7oBunhu2p-#b7_M zj8MCtaT+^oDJ%k2xKDHct`7RTOPsxV=XK7|gX+^F!xPycV@gk|k8svUUzp#b3$5|q0TGecaEP;5q70a=v6)E0& z55XxK*{6C*NF2y%rj4#a?-()0%oN0<9*dvHxCZrluEkb9@lEDz-HhszeuofmLm)!jWMLtf)xaJalQP4;~-d~#J-tFkcfs;h~+h;w+C*(|290J*`>x=|oPy$%QQ@Q!t?`SBRdzue$vQ3SnTtGX#>Pu+uk`##> ztd2fNYiv_5b@p0vn(|n!OK~9~ZGmLrR-~cS%4Y$IEu1j^@p=Q z?QF6vT4!M;NE1Eal+Td$B7`~;y_?cLu{GJpb~AvHR_q>$rRNFe@+VowZ#;`kDCqV! z^w?s>uvk3(_;nZlw_Z1D!ULh#A@eo32o($QnEqx+($uP97vVTBBJG3GQJ zy|-X#+aCyC4wdD_24mO^Dt9r{fnpL(=XX?DRd1xmx1x)dkhE4yB|rF=p_1kFLAWYd zzZ@%;tKY?O>rdsFWAkN3z0^Kt-P_IFxRgzn~u+^63a%`(Qs}TcU(>oijpQ zyV1D#(4h541auZ6OIj1vd;F=3W(jCPm(PeDn`2^ z0iuvil+H%)9s1Tb8q|v(EP+@y3=S5 zEQyi2P$aQ(2m(A!)45-ZOxaTPMG=%VEVrf8`gqpqln(=h6Qd!H8(Fz|L?~$R%|ywr zNoOafPgU>%7a&=!vD$A_QR^^tJ@X9Gos@UEr)w_uiXbXBvgrCN1{p||_bc>eE|Y?c z+Z9EoZ6ZyS&g34-@)A$^t#gU<??T%`hxN_`JccN}~ zl-k%S9J8SzH5Sf8mH~!opDL{p&5=h}*z75)ziIDYMQ{mBSBB|Z)#B>Yv`jew4>%l= zs$LCO#{>knWr}rDz+c)4!mj;&-5)@K@z_->pa|l2(@s%EVaIdn;|Y|@)9mq%OWU2E zZ8)K~jZ^O=yqpETt>kLQP>Rd_m(t>D;`R)!cz?nckE+{$5>lzype5KnmIH{ioYA?^ zh@%RncLYu6o4|s7-4+@vb?Ojp=L;P?+Yic#es^YR(V+|QIEim}JIpdvo*mAl%AfPQ z1=OSVbM)rD3&aBi7YlGHWDH_suHI`UbDd0S9|t>0V&^aoyi5rrIXJAY%!5wg&!dns zuu>YF6K1X>#-A&Y4$0}iE53u&|FPIA@&x9hhnCxBx5jw6)Mlk`gZ_-YPK*nJn5t=b zm4G{=kDGt_Yv{*`t}H~A@d$2`CBwHwU#A$0jMTtqE5RT$9;rJa`C8|f4g#SMV)D1c zGVbnN;_WCL7LdMP%Z2=UeJaPlKj{4t%qf7G4lE0OAWF7lS3Sg+Vr^&+uKX{5pmDAN zUv%`d4UPoEg>b6%boLXWgo*0-%`&TyV<1p5D<$>1*0RgF2*xwQ1*zM0W#RGt8f8uG zPobN(v4a?Mju(B7#Dd>sU!cU<(w_5h^JM&AAR~^{^~r9z zzlH5L)?r!cvju^2%WvK@1S5miB?^_uiO|SUMJ88yFJv5ohxVIw%cysjO&f?A+KF7l{1%&GFua-&`Y^Ldt{rrk^M~1vdoUnKD(a z-_UWfagqJ79|n?2Aug@oB>sMl)&O77=$7l)w;g3~r7?Y)&I3-L20vt+HJ0A>6c?(| zrHtXi1R*!^*77f)8+g|OMk7EZeL)s3pz*SI#nM4T1n~z~-1I$_p&(}bXfmXt%*M6u zatjYR5_7#n_%7SKkB;zC&x-g2%|fS?{K~e$dFn3`Yiit#;fy8@ClnoVB*~#$3N`kB z<-k|{L4R3yQcNs$D0-Gz_A$~l`sr;v(ws;vV*?Pm5%2{NUwPcUOQM$s^=EBB7YJX4$ zWLkPcXWpVck9_pF4uwWDj35UZANE9DnUusS`3cLuD#8N)XDvLRF=sp9pi)bV(htdB z_!6CP7enEl=eG^W-YY^I|1V5iKKY?%1W&51LkS{tli7Tua~=aN0CR|;4Qv=6YMO1CHsnc?dNl~_!9Gs8DoijN<;Hd6b9N)Lvzs*ePuunG8TXme;)L((8+Hb0mW5<0J; z-M`F4QPoyS{70>dfl`==;N@UVX8_R%>Iz1M5b4T-PEoLAgrQeOifNN}iaVlv+3o^5 zw&UD}h=dDY-F38dtqrz-Ha z9-%0+WUjAhYS;i*`fT-_>Es$?H!}8Ppy9Y=kocZS8Szy4VPFRRbP?S!HosRF0~!$t z`J@`m{tqcUT2>m6K90q(13|Z6#i^mq=oG(A8a%eX+Acm{Ssi~-njF< z=f)7pQHy(zz~&mgbr<*;ZP0j+m!umLSoNJGDG4l^{Um%b6P%7^^xD z^I)c3*6`!1)UG=o@Pq7GKS1UK88#2)sl0g9i5z2_vZV>VN#0QP*Ij&3X9dH0%Nb7rOvV!OQ?sRif4}+j!#o$ z0hI=xEI88wLPtjEM$I`MJ@e`X>)nVi-IeTu9p23;Xw0Wx3X%L*2KaIF`n$Q9BQI7H z+ssf6St3fDq$)^k(Sso(^m-2x<1C+QDjnn?p9%ux1NHUN_qPmg<;jL`Nnp?1?%5l?!}$M zJloR-Q?JW4_l-UwV?vhZ>Z7y-C-FP@>xgC|j?CJ@Re_0+q94`R$}OOz`3p|hi|Tmn z5Gql`B;yMka&~;=`j&PhtvQgQi{9ZW>@(|3B*HW2mcMdN=H?SmkWm)VjtX$6&JZWmZUsTS6yLMQA7 zv=bzURn%2R?o`UDX++@HNoVbev=v7fDMeTvZt&6WTGK<3qP>nf#I62CR(+g@y2zp` zE>3`8iJY>WHYI>_9GlT)JmhX^;jU;h!0wV4xt^7D*#WPUA<%4U21N1*>CVD}ak}lF zgG%>{WwzUkPZ+Zv8d3htQ@Q!q0{nf2Q7~c2TJkz2yB)=~Z9jxd(uGw@ z5q;|Y8(Q(Luc1!zSUry-c@rmwx;6Bo7MR}7OBXKJqW3y+68;fxZI?v58s318w1mV? zkw#+r<>pj#p9xU3|0K?2hS-fkrZmbGRKraaGdCaaLpltleJjxXy$56%-foXy=DWu3 z1&U-|CSBxuxgB*H{l;xL46ikTs#A~?*l?NtT7>513Jr+)yt(>vSiNn!Ccc>vDpRuz z1jw12XtOCrlvE_`z^YLC)xeTXSw_&An0P|q!q<8N&$~WCPLv|Gv_JGjNpP8@S@$UU-l;xpc6(WRuDHlOZQIf zQLFsf+q9;t{qTKnL4wUc>-GV6#X&;V zw0}{Zs5le+wtFYC1478q^H2Ks?)JJ?zHrpTr+_;5ww+0P_j|Y$^hVcBgA=_zC3nE6$+v)5UiLMZcscePUTX0F@cuYQLAPK$!*=qL# zr4BOs+^;yja`@z_`lbP4nVW;6`}g$Q)t(;HMtDflsi7i&I?1U)l$}4_b=*fGt_|`0 zzQHSCs`vHt3+(5f=r-!*@RVLF)FR<*J%5Cc zMrKZ0&O1MB_Hb@~^Vv})l!AP$q-91y1;iMaDp$5JI%_E=XYt?AvN{=J}HFKG0v`i3@WWe*+ zvmVDLsbW)%A7doeXBf=Ls?i?PJ{omMe2+&oj){W|Ww%gi9ylMPQLWdkQFhMoCZGJK z_&6SnQ#P7;DQ4Yt8vPN2l$%f3QcPVxrN~1-d$4L0MJSY7X{_mIgb{!EC-xkgOOD+3P&mQ+5!ILc|Ah zdJ~iOZ4F}Q9MuZYlr_91k00l6$J+uW{CBtZ!VVb1woGp*Gg;2!SGmFU(uc4+qX#AhHfv zXTpYNh=IU3mrB;NCi=-dKaSOsV949F+UYCJqQTG_u${$ehb!a#@B8gB1G^M8jr$x= z30$>Uz`TTU-v-#4mzwG(xu?(Ah66puIioPsO!`%35c`jEL1&DGvr4ZQj$H%&KL?@TlFm{Yl>fw9zW;PM*N+WG1(SjG&LK`HrIZMoOpt5aAW5muL5 zH{AT&u5o8M!=AB3angg#yKPJYhE}x9Ntce_n#r@Pq7q(fay|pCqtMR5uZFoe$%Kx7 zrp%BGa(QbY+& zMw&q1XG~TBqLm@VdG4tm1#YsK!NyU5L)`w8elxreYB==O1z` z!_uE(;+qpB7{5&!<9~*CBJ9Er`ZQ4bAfd#J3^x^qVM&y~=gt-xblN5(%BPFkK|CRx zbdZ1s}UO5*|%hno+{GKu>cvJZdS!(olDgAs+q;zUsJIlxcasm zWc0So0sBh|gGz_xllzA8F2Ui*(~0=ECL*PRY7MTMPmAjQ%+_LxVJ_Yo*$LL(4L_No353f@l+dUc4VJw)nvSyXtVFz*2D(Q~FTb`v*dj?DjtzM8cfnblL zTX;_JlAhRDoWzAGDkS{vB$dMh9N?|BqEkW!s?20vG(W|B_dxRgNHo>!%>2);i%zWjOK<~ddos}>m4|eGbB3};YI*c zwI`|e9n;|w;Mm{%M5DL;H3OlO?NP(0mguh}?UB34qO=O8YfcG0n8?#exdi{J4~v(u z*oh4NifSF13Y~>KYJVxh88Zdk&baG$RyNE27mSdfAr{r(q&hM&bJdbfgGJe!xfh@` zvvq>Mdn8ELY_OxDpPN+_-}{#B0a)%}Bq6#4(5gO=s=Ec?GGJY-m4h8 zKR020?;1HZcaUk#i09M->~XXX0V7-|n{W)~_5^ht6$``51Eb38$A5n&kZ;_C1Ae%l z@gE}w>an!n&U@OROx(zh?$q+WSg^szP7ujdOIp-8I9|L8^puW`qTl4j(zSvL1F5rO zI7GWXqy!k$JN$*0*YAbJam^Ah#&F{-WVah9VR~__@>yxgZbCUETL(5o1E8$wtB4N} zhzQ1uPeuA`uh^~6C0iRvMl4-<{b5q$?k?v)hIyw9r3wX@rCa+p{d`mh;BK@Rc&MPN zSa`EXpmf#tm;l7tftDrX*PDuw8Tz^f2amomrrnptuGv>Wd*tRvdV%oDfHH>88Pnh^ z+Uofgl=XK_*p&CQ zH~Rnz=2d>`jO>^Ae4&o=A{k0)LF=5f2R0EA1!kOc@7&5wzElFxSR%k?NM8+s)bp8o z%ONb+^4XJ1Z`dxQ!y&;yv4ZZLb2s9A{w)-bnqGN@Rlk;t1S@4H&SjdHMJ~dxZ_rmz zus`zSLDX~M8*>KYi32xZdc`RNAW`UuoQLTfTw)mg`LBybfQu#?k&g9bk05RPgV|DG zXZMQN1kC8tWtGKmkHq}t8|epiEhebD@+jN5 zu__^_dwVLM$qs)0Z@6>5^e4Xa7)Zd9icGb!C*OF5KOq_l)F17+5sC(Au=!MtnjkOk z<_-FWJ-TffBr3c(jM>mvMHry4k)C?uiwSmZvhKmegfAF&yhe`Vb6=Z_EVhE#91;3c zYu$NFvlOsl?uT{GrAP`cA-OQ-197#znu|+Nh;L;+R0K35%!Xdl8!BKNKW^qU2pQ z`$~}owDfYJTi3ilwEAS&XIY2=Odbhhewz~qP;k^KJC;lF0Zb#VG@ zE?FQm+9YA}w7eq4BoB7+oCy)QtXJ(|*3YQ<4(P>M{m>M-d}FJGgLpWq24(*KMOb2Xry&DzFUSX0ji4q|dZ)hz z-IbOvALZKT#Xnxyl8*?hEIZ2REbUmJB}{%bVgkv2-3%iYByz{Wu4dM%ehNf2W7gc> za6a3o(u_+$H7%Vkoi(xKbZnx+f@Ni+%t{Z?A&F$(f%1iHjSrQ(wN%aZ&0-J$>XbX; z-gx7)?(B5EjGRR@6+?UU;l#s+Vs-zNx;6wL?4rs+A_MB}VV2#Dp4Qz$45C?VugLN@ zw_l+B8dOD-HHS!O@kluI8Sx4~0jZ2z=(CKLB=ET2!rFpX6b1E3TwX|VgEIvN&nGXB zv7iL3Yw9ThZNT|bHzn?usbu=bp!v%KQw;s5g}t!Kts849I=5~Bci{WwjV0I#>ImDa z032H}F^;8LgHZBsHD?Qi_p?fUrf}ID7jxqP+_{4Dhrr}XeUE2hF>MS(E9^dS%7eHW zbwc&nF(12ojN*Rh+xPqCntKC$V-hR=_@k-BUHk6|Rd}=J>)a<9TYx!v188Q9EU@ z7p84_k+}?fuFN;vvl|_4$)tFfEP4!}Z7yu#=iQ1fxe@^FzsOP(t5{XYhy$5lB1B1C zjT>uy9FnptthT+;F#7)dpF&2;8+r?<-jPh`+ku8JK07Gzs=QD$qehU7<2v=rNg?kx`K z+;Dk&KD>~>!Gynxx8Rqtl}ioiBjP@UIxW#~;}*2w4SDP&Q>~|9@&zF6KEmt#EeyDw z_NQSW9skW>CF}_C_tS)dkfGOdUj(^|m3atR;cTMGL+nzrR55zj9r;CdN860$Ht%Jl zt@>dDi~+jB=4%#<=3XIe3{o*|HF*BY0|`q}@rAo@Z2s?=d^?^WNth8j#oHflj|R0a z$mpcu&By2HUKaeRILh5{xrIm|?z2l^uFx16IhVY{8E%?>p-^T#I1Ea*3D~k#E^c3e z{CgG+MD_STo>^>tIGncod7Q&t2qvphmuF#Vg#Csmb+W0N@zF5whT>y}K{E}59}!lT zK&m>=J~JE@0z=JHe{6D|b4d-*-JQ(RoEY9%m`it281x7^b)Bt3?<9LiIF9`;YZim* z#2{(7$GVfL^35dJh_$+OoLXu`MNCNC@}3bLIQmC?^JW&M!OrP3cO&G1{mNqk`k%Rz z!AuV8^pY=#`hxv13-op0!J(q_CArfyzQQiks#daHTm-L!2bG3gVAIdt3pOC& zB_Vsw%EeMjJQb~z5r36*I%Y@DddoD0lG;Y;kCm6b`fk&fvjIi{%5hZD%T`g&==-qTp&s;E_i+9%>jQGCg z4L?tXnW8!K*o)FAS_|{40}V@taO5+6$@KJ@7e+%nCqZ%<&wKLytLMZgEHAO2XSq9~ zt;4_cR5;f&11&dFnw1=?%jm0~7S=SUw@{-xX7DYlgs8EtigsAJc&rRq{o-ChJcJRR z_f<;1{Ur*`4~XZm&}**wkzEN1(L=7x^`_oi_-PXBvks!P4wkv;4?tegLH(B*YPAA@9?i>$cIi9FQMpS515TYfW9+R(1dCtCK2L7nCTG`^6O<>l+6u%tZ9PtiO__g#C-*qS)BaCBi)r_Ypgm@H?DYZ%!zn) zG_DNyazwj_PZmA6as)g%M{9XxSqtUXR6-7w_(6q5Vo`L&2OkWoM4?Aj$*T?GO;_-A z4V`og#sgJ4cLXDYepH#Fa}1o_?%4Z_BBgLH&uL=a5OM^2W6P0?WEvM-%WCAT9#>`C*e!?>6M_4##$0B zl#Q=b2fc0Y3{h$H*3YH-Z_Cpva9O47gB7ehfm-On%1^+BgKH zPo!xolZl*h)4{wE#M6dk&eAK+Va;MNP3t-Kt0iMoqreiSTc z$YC^N8Q?WjI?28a84oJj%z3TWS*yV_?@p^UzM+=XRjtd$&S3x#D@Ix|UzmzQc3d-r zZzYo_DAJaaW)N0Srs0x*c=#GjGFE~e3r#@wXDr}1F)xLGerU>l?GIAV4P_HIU%l|v6?u!j>N zHRxtlC%QF!yy@a75mBK6us~rn|j6;hWND@A4JRCWXWv z)N)Wlx=;JEDtCC8$J@uS+<(I{^t#m-bUTz4J)X|yTE{ZtZg|5Zhq4<|RdZb=DS4IT z^R&knJW#4aP_)Q$0~h1NkR?1yO>eoUpbn{O;2RGz&Vn5+kg|XC;AvLcLx)06w-oHF zdRj%mY=`C~WQ<+lj81etd8dBp=YJpRcPSpV|LPq_hiOC=QJW8M-5#Z73OD(JwW1@r zi%AeCS`25C*V^b#PeH0Ftu+AigWRdVWZ=KQsyV{eZ?WxuPVwlz_=KX@TN<_S0$c-; zb=uSp4kU`JaHCLd@uJMk!Hwf2aI(F9W{N~cy)|IFNdx7~H~EB7Ae*<*{&ReE3FZv7 zJZV&dw5+r!l!0x&&lNLjcUq{f(cIvbhx$}t+8RgzRVnUEATa+Njzmzl0fHNL>*WcS zkP68R`yx2r%cE&fPEEkV**KJ+||Gjup( z#_g3w`)=U{=6$g_Gq-H z-oaGP;zCNY#Jq2F59<7$sFus@F`c$P1kgV*&cYzaJgaGF8cXVam|iK@JyGE}LOgi6 zn8Ai!ZYy`uBlKF8IXY{Mifu*YbJX{nU~0e!(r^j;Dh_d)ZJl;9U$_kN-4&$S=;)7A zSNGY7?R}Jpp)Hf6<6W zBmPs}tmV=SRTm ztFMD)g2kS^gu2X?+1X9|n*Gkz&gGo4dpg`<8~iOR0JyP%#;hWJ9!^%PS!X#%BrA5ySa3Sq;Q<28_;!3w@J9m@( z{DW(gf#Z$9ypAsTCf^FfW=lchdN==MZAf8(XpwFY0g z{_gSWQHa)Paoeou8;oojMGZ!Oi;(Kh>z$R^|4nPS;0YeQgGy>ZQU29{g>@JKcu&{w z2-Ll=yN>aiPr)7ZGOVmwn8X2-myLbET@uu|5koR(aen)oaNhk!F1DA5RUnGy*XG3D z-z=Z(DX)(D#?uPGh%^RVf9*Szee;&ESxJhhqIh|Z3cx}-r_fd}6AxJPj=YW`ySHo2 zS5cOF8MS#ko|UyN1>-;hwAxqbqD~Kyp}s)XqJRUc(@M`stn8m@wg5C#*EktlLx2m* z)H-ZTat7j+6_X4a)+R31GiyZ-)4z_ewI1=4r0$h2 zKh07;ohQaP*!?^)2P{(l^L5;Z_O+gtI#zCk!;Q&|;EY1*q=rZN{4Th7?d?P` zE*=+=7-#o`n|jl_;@5^x8a2jrcpT7XF`EN z7wRkTSSg(fED=I3{O0!J^XU!2_8u*+3}_`qo=#0v;UF3m-E&pl^~6w5_ooTbsp}(d z5j!G~a1#3#b9hEaEk=J@h!huH-prgksH&8FL}2Dms9nf;nN+iKCLmr##N>TIsCX&2&x`+}tM87(u{N%RNOhG#N{i>-53yMZna$FWhtly^YvTLmu-x)XTN0bNwavjBE(77Ct`vTSRb7nxY+ zGRK{u3N}qYtLLCw8y7^!bc`}(CS|rjm}))BQ&%wg{U$8j0cE~;Pd*r(z?{w|?j8si zi!0M{DsXi(KZkh##dC1vVkAmE9ap*UmI&>A&>jabWtQ~r|0d<^NmYM?DUHih?Rn~YouYm354(wx0WV`|r^*fYGYz(MPvFu z24Z#X46XhZrnUL!)xTwF|GgS(M`KU(qs9E(>hLd(%9+N6#+B@6&DK^9Kc%es(i28Bt(L z8JM_~@|}BfqL#FnsQ3VYB$8rdRsx`)0B4|}-~d8RBpw+Ad%gxP8e+Xz){_riS~Vr2JXn1aZ^U#FKPVpF;$Ib4)lYFZKzHgB@@h@E7Ut91A_@ zk9I~Q5OSX))R9-3z@W~+@b*w-gd6G_z*NA?jBQPg%L!j;pXUnzST-S_FyNUh8vVg; zm|uY2EZ{vu6HnVV-tOOs5C+f1^`WV$ot6HfncyQ+NIHOZfItcbsHvLV?X*CW7ZcyK zjJ38+-p?$y41lXCDP5Q!Vw)hiR7GI4uGKf!ZyA#ryl~W06H~b9JZ1*31QYJ*g%=Y< z7nYX3PSjHn-Z$|eY=Dzn?^nHd&%0{ttL^KqpWv!K7ZX%pr2QL6Tj-H|6q2Vzo05)LHw2=~}H{r~K4Zv5a!MnhRmVb1zemQ&0J{i7Gn7O^3jmJOce;zT5rnrW@xFo~hCI43`E^hxB;Kjtj1z=+5 zVg<0Vv2y}=-XDDaH;$?a=x-kX@|Cl*um|w{Mfbf=|Do*m_YBbfy&!ae|Ba<=|30}u z0PR16ZotaLYWDuc_Wya@|8)8PH|2js`F|bs|I0|))yC#eJ?&ox|37*YTab;%-xlwa z>+15p1xohsyI}W!O?7~Ot*#Q#9OP>If3a zRgjCB)n8Ndmt5LEFDrmW z^&j-^r|}PZ=c4rwdiT@)FXDTTY4Q(x*O~r<-kF*G7yZ#i7W03>cc#Gq!uKYz{B@51 z7_b9aEdB-GIa&S-aspVa{srGTg8l{HX<7dZzVovA7knpX`wx6yP8Pd=!FOWz|An0I zw(l>Df2rSTIsBu3_jP!`v+Znv7XNVPWcyp{^uHysy_0tO7knq}{7(!1KtMO(KUBEh z&7I$`o&Sb?ugclR#Q9%!v%UB2p9Jsg%;I9@1pHTD-}$+?+yBeqJ%;PQ;CpA>{srHw zb^iylzsK|VC;hvvC(!AyVE;4iX0A@}#k%}?ExoV8fAF9086fa8&|27Dp8gqJ%bbm_;H_9QJe^>q>71N7n^wp;nvU71s&VDD$Tn>TKN=O} z6boV$ZztaMQx5{mih=#KX!CJBaMGnltDvnHRThzo3^nri6Uiw>pmqU~H}~ZEm<%5% z7dvI_iKUH(rDX^sf#npe<{W>p*ZeWZeu3?3pigHs>Z43}-vUBUL{^OnlA9vAg9)U@ z<5#AVV!S-d!^SWlm&?{|Q7?Sz`Tio(P)_ATX3Bq zL^z)3bIniCTl!a<%wIYwZz055HDea>k%;9!levyDMrMp5qTiFf!s|x4dwef8MIz-j zI%~`N>fCN9lj^QPb>x)4YgM8V^1hK~YcH$Ci=2Y3AHlJMU6z06;4X75052JxF!sTy zb@k1!Z3EjOso2f`%6HSb-&;d5t|U|fYr$-aaXC9wzDwZOiY!Aii_~;l`g1QJcaB_v zG@lS-Nez*WGI3C07G)uH?Ib9 zT=Zy1r5%tnP||YEqj)nXso$N)8ZXIwD98RhxkRMI=SzqZ z=b4Z%&mk>Fbt?MBIwy99bn9xyoW&oa+%U`XsxKgree`y)NYLOZf@(9-Zc>Lf2#d>A z4rh~kX2U#R4!*!br@GCh+%VJT-4U_6C<+UmSj@U0wON>Kuw z#4>a4hr0R;N8YNBl9`Wj&*j(nf|r0anbIl)7OQDHC&Pu$b$k@ynIPOxKJioiln>c^ zeTc||oww$tQ`*~xm5rtOdL_cY=!>HhI49B}My-tbEeX{uzZD#sz`7`JeI4Q>Z=omz zm!$tqIat<~fwAM^VUPv_IFO0Pz)0XN$n6rCs@;SBCqg7W+)HsKc^iI*$ZqBSB2K>67fYIU`GD8*TpI zC&99aYmc-ASdXOBpD3BXJj7#4tl|y}&)l0k?V)$+<$CsTB#lcF7?G3GKCPE|B$SGj zRjoccmxF~mO9tb)RC1DV5y2`D-QUkWJDL^d6>Ar!Hl6xx4ECw6j>^%zs!Lg|{TPIN zA|Yz^2e%`0IM4S1wRT3^ILgu#BnU@Bus`0QeC>p*T@h26v`GwRF9%c=P$WLWAbn^h z9R23pMQWdi1P}J(Nz&!=>DXjXf!Ke-FNNP{8Lgd|?mZ!JAxF-n;=*A_>D`(QGRULfyT*DRaF8t0n1 zhwWc8rO~u%AI+j?3`=84$AvXgcFb>39cYD`t(W8^(@vJ$;sM~RnRn{70yoP%syAt{ z^en5~w8x)Jr4$V}=LO0Tq`G2HyjP)H!g6u^-Ka$@EqyVo&*6mBQ6( zVJ4DUwCBz1wkyHm)_WLU#ShmYu&W+)@Tr63eqRKx5y{;+WQyGsV_MO-lmdDgb)c(z zkI)G(Z$F|IRHJKIm*}uB$WZUcxL6l4SZNDVmVVTSYIJ>px;FFV6S**|pY?dI zp%wU^%U-i~c5*$&v~=&wQ-RxWh;|b&e&SS7Os$r@$oiopeOgS(Fw0_I_dulavmr?o zsO3KG;Fq12@Z&{5-Wt_N^9${Cm!?QOeo)#tGZwN5n<5l*y?f&r$RspmL$;#)_4tlL zB8JJ>QiuQ-w$fsq4nZ@qR!Sz+?hioLG`xrMn{iF zDy?HFzhC<%K$Awxu4*U?cfj-w|t2Oz_MKRYxsutSXb zZe2`vIt|ka$P2W5n-1TSXKy%}@i1g&dw|;oqXFhc)36>Mf*F*YU?{b_@Ds%aSaxj= z3>--_*an_BC2=g^)Rxj?xwz;m5W1>EDw5_vFQAx@!q9RA= z7)WQs81Gy9fqrcisGx-|x9ZtalD)iV@vvR%e24?qNmH684RV*EW*;#v#FrG*jYGYe zlAXBggmjym4ZK7Y)=l9Iy~HEzpQGL;cQJJ9(BilpcFb+*`2w`w(oZlYVSn)Z)nY6A zDT2+%@uju=qbfU&_qqx1&%$Bf@X;~rTGj1aPWy+VkEe%WXg`T|goO6dv18z`(hA+u z=ik7cN#E(RtyGIQkTue~?Fi|Qo>&@{yWyw1y`fX}T z;-|oXou1C_xKVClfvy%98;sU%3=Kt&V0VP2h`MOc5*bS49&?BY_uYtI2Qx3pq_(6m zBRs;s@%K~YHZe+a5~|HPJ3d`KH4yU=JBVSaKIE>$@-;s_9P#BX_@slZ*0LVipT?qB z#Ier3HNs^vLm^Lp{>kO;h8lVrB8O3s0_=ruM=zDpGxee0Gis_c1{(IDsEUe>EV%$| zFsHG)E>wry!FBQ(kYsypqVB|2vbpQ@{9KJGDiKDDXq4H6?9#aXrf$Sq6dEvLNE)cSGQk28ft-&%<7T=snGX)ZJM3LM)N9cGk;?1WOi7(EHMJ*^94vOmO*M+nqjtN-BS=du=0ZE4 zVI6EXfpSRFCjqJLM&{=EC=)1Tq3De|0AM(y+pg_;9idSdRID!pM73k<~h_hTfBucdEyD2zk`EZw@xq<@*MniW3u-kYdmjE ziTm}Ivk(0d6=5=J3qy8U#wde@#syC2P3L8Ly@{kMCJ|XBaZ3o_emz zXQhcElOApjVS(o{ROm2_#rv^AqEMGT!+&m62d9h7T`c7%q4m%(ji!>IsK#_)a7<;p zwJNU#etC<1?(*Rj`lQ@PlWo~&ma&hUbMo~irH zbdI%ff~;Hx0J7Mb=wnsQ$EOp$UtlZ+SZlJssAMPMEFuyO{XSwKk%w%9FK~Tf;FFq~ z!C=?ygB@!gI*_RU6|2(nA+&BDvvT$x`Emx#@3c@=23OC7TeOs zPk<`ji-BJ|ghZrwx5(0$co5WI3&D(hw;o?%&)c4WYHEr+rx%#Zt(W2ehgGm#!>K~l z_=JUyd)eNfPkv%l$3L4nU7|V7(7Q!+r2@CB-Rys+_1e(S=1dI4oT}R&MUe15#8f@Y zp@AOQ>w8vyZ`Ov)MsWK|np5d2yAMOq8VBhHU z%Himu&GJlY`L+Zy)g1yW)g;Nc-%l6bgc@w?{ z&vl(H=ls#6Nps0+XgFQjM~n;u^VQ6RPaS@A9G};y>|SVW0AL;1ehMnZk5#tnSO)8I zTn->?6<;plDN9kkRj$2c27>7xzL%Zm#im5o;rco#YhF>5=ZLCdq>$TcMij@dV#7U& zYY>vB5iQ4@%Hn0NaF<=X9xkX;o`w$JTZW30$O~h?GK=(#B}`Y%v8>sweXv=l&N##( zz=%-yjni=#C(FN1xO=iQ9N=Y;<8s$Cly$>gt8Ew1A|Fg8y$;%nR>sHcUW3MH`Nese z9y+;BzYf!PBjlx@`BRHK&YnS$YJ6SjrTQL_McrEGHXMZR>QnCMTpid|!l<@WEnOv| z-XUXak^$X$zXsYO*v}I2K=OD#H4XYaWub+u_$5vUUG1(w6g5<9jfuMwxO%+Y@`FJR zr*0tGhd6TV}@>rX{;`a4!3*?Lbyxz3ps><)8f;$iS?`ny3L|v-jknCWT zg1UokRx}duDkRlVQ}`$u=cI3SIAV4mV5UR)yW-<`02c+;$(ERQ2X>Amrzz0k<|6 z-SWyV5{9Rl26fK(s8*zR2rt+2bR1kKE_Dno-$Cuvrf&+5Gg7UhF(5GK>nP1 zRBmRLg8yS7t;1Y#u)vgc;Ol57depZKtA72(U$yE%Sn|b#0Acz$nKDG_xMloZF98V} zppBfFt}OtaF=Hu=J8vP4dM8iHHs#6=A1a1fU1s-fTr3n=TNVs9*k5qWo~A?Wji4Zq zQUhB$4X8vGhWz}c{)y}XJ1=$+2^mpoT;X)w|U#q@2L1GyuQg?%+H+?kHf z2(x4j>K1fc`gJ2JgAH4~f9VE5JBio-b)a&PC@#MFh}4pkbh?()hNZh-R~?dJ%3IFD zG}tTGY63|rH$2dgE9iqAW4br5AxV`)4kK=x_&m7wFgd+)V4?n8)8KH5Wm44!y>Y$B z^XeDa%tF=BNC`xV;MT0mD>}t_DajSIp0$|^0u7A`Fna+-=}uvZNLhR9^50qN)cnilB8 zjs#Zas`W8$%&erZw*sGniVjw``%2(D|H*}ft!x^8V*`g|>-Rju9^1q>lu6nr=s8KR zzLgsM06e20i6Sjmdbm;SiHm`WU=o z+(}6a`bt)WUu~uCWE^y}=5lU#b3O{R670DW11Pssnvj|+F&-pq)=A-bJ( zE$Vis0sE6O(v7j{jsx)<)WE06px+!i2VLs8P*1|wuTnWErXdz6!v=I-#;pyS7TDnZ z>wdQZv^G##upwEK5iUXE*ykd3CxhahGlIE=u+P@5kB?s{u$0n@Nmd1&0V2+66FV;K z(E^6e$#QIl(;tU?w{cMO@tGj%E5}6)CcaSa=W@mjHh*^;-qj}DypQMRT?$J34U}VY zl@?X>#wM(4OPfd)E-+o~$$Tn7;Y|t6xo9|+3ph2lC%L63PBnz(5F zZtodsJF7K8ap(1bycFtmMzGssng^qF;6Edf#^mQJ=`qfof=}m$BlhhqM~d#42(td0 zI`|g)yyR^^1X(u73-z*K{oA7G(S!y+G;J4VerKebhVLU&EaH`m41ywngIrtzAC+19g#r}8 zq7yYvz5Cd!iu}Oi$W18v%nJ?$owKYk8{i#}F?6{uf~>? z?-39aUUn@ZfLFJ`922D|6uYL06j;*g(SZ0_Wtk%Dl!iBuAUHze(UlU2A6%*U3!HiB~-l?UW09h%8`?@X}>MWUZ?= zYlwOSeIJL7KT(=+1o$keRx@HnaH(n$CnYl|s&cn~q-VX3g9i26X+p^tGwVRRl;`-I zypMy)A0%WeHoZ5|8oSPF3SC+~s1{4bz!lJR)F(HjpuiPIAJAK$7KL%h_EZD0hZ~L6 zqE$>J6II7;k1?SIJS`1Tq467!a(wb#CUKTVS8sGl*eUWK|*GFD*kDz zW@?wJRFNKv!jGLMaJ5F}10SmTHwh?~A6M^8NbV#gYjVUFVZJ!a=$)^5+KPK z5<@w|DEJC=yY}X{;>Yv!uKl@#D_VpiV$E^QN;F440PTVhQ9CR1A#a#AgjdNuztk;P{)w-y<+HjBG@A%4RMs1S z!(?*QEf!pAHD;|CmW`;LpUcge78{Jx`q;>XLmfcYE#tFfB%<9-vuj~{-$XGb3?0sKMsMQ z#_4e(?RAlYr2X0va#>YNg>@R*L-PD-E}KkMgmGlx`+F2)tlgXYnCyCK=>mU@?jaMc~eoU8+m1 z0y!L`JxKW;g`6eSOwhs-dIih9+5%QAnW32&j=?(ZtwdodIKOqNz9|&n4If(n!qUp{ zwRt34hSDqAKoT`vh zr*_mj*3+P|cG)1`aO^~Ini7V}K zJ1U`AOEo54N+l4{>BhXQn%zplDM@*>FfI&lQaLCNo_#l2*_d69}Y zd*|yk7{X(++o^aPwuYj0!#7TjmWM!!T7Jl@=$|(*w3M=FJ_gk1;zeVheD<_eDjDyV z=9le`6$YYzryBMgr8p)PsK(~g=o`#ZfqQ3GF=->+DmW=L-3?>AI&71DT>7+(Qo?|-*DlqC~1{2GV z$_IVn!jg6qBG{AVYDA2r6wIDO)v^=*v`x($V(~_ro0f<JZ_WjV(1XSkMFs$hs%ea58?k3T~43{aiF zsV3X0N6?b3)6HZgR|x3jm^yI33$$HWyP=BDEb$*N+q4_z-da+M>WarHW*WWpY4;!1 z1fTA2y4b7WU+(=yxq2QhtF%4F5v#ecs?5fNY7$oXtBBS0=WCi%3K#CKw7ZD{iSOza zqXd-PonvvX-ub~kl3p_QvX@Bt&*6mG^wIQ<+?a`_HmFcDli;wl+9E25Dz7PNGIhw; zTHzi%DxD3C{Goi;3Gy+w%a&*85Tc=;1&36|RC;bo#If5q*@hf;q@OTW0yLo_m z-QT;FK!V#rG#2f8U1eoCEaEQUaIBMcjG{wBrg zav|uBblyedzLztO(@c?^`;xrdzwg?M7Et_~dyVxLt$MZCy)8z>y8II!T6>K zTJIasGtpC<$yctquI7h>V)G@)$yOhZ41{-61rYQe9?i)hVuu zhu2B9SLP!zU1@h$*px4X4sY3OrPF>yN2?MuvuF(2$wN7TD)4$9^_IEy_Y7m`^rAcU zl6qr5Mgrk&UZSfL_dV+&p98iz>p$^o3WX{lH>i8IFV<#H6-Y(X^g#cdKkL-Bq(@6< z$^hu{p&y4+H{g-2l8*k8*gD$-SPC z!)-R6=G+OeHTl*Zgm&Yv`SL+S^m5wBu8W55y2dyO-(Kg`|H`LMn&_y5Do^n&dpk@u zuESX^jijkcrRN3&)$=+2qjg5dxk=+CMouSBysz}Wth)lmrfZy;`}{6~;lPm2TgWt0nx16kZd zdt_M+D=z!K3{wk}J{F`*>x054s#XV+GdpiHeNo#4Bmd+EG>C|d+AlfMlw!#6sc!8a z++hdTK+)``(;VrL6!^7vcug82WGMqk7DiH80==QKFL1w z6Za`jNCb<96O3q!9fYJf;A^Wj*>(~3u=^E7;*Bs`^-l}-pM8z7^L-4J-H&^i{2s%{ z#}4+yDE*AA&2SByUZmg|(bod1(q=CiGcX=%RIMe+2bE~?9Aoa?5VTO}oM}tQzkSfmif3GfH?xMr7!lNb`@Yb`dV= zn%oI5*StWj(c-8&8)efEvQO+%ncg-0C@}-Lw6Y>UWCEc4B^--yx3$s7r{jJ-i;|37 zX)&M>Nq%?S9h0{wFF27DFbK~wuI@704mA{~hBWjnNKSXwt+aFnnwDQ1f^2F2t(FgALhZtp-B{tOt9ra_GlJQmbz z`)RO-(4;C*`G_u@P9h?)YVHS4!S!3P<_n&4FmvoFxr9}Cv;{bk)72Q-uKOQAO3pq4rA+k8tf65tsM*e_; zeREoI;EK0OUB>id<<8B8@x|!zqNcprCx0cD1+J9c>@b`PA zE{@)AYBSp`>8n=Yu~(=b{H?{+t&rYd$^GIE1WE2sWaub> zy=9?=+yMMjX4!6jSyTX~S4gcO<-$M;?_``;c{7{GHlKmNkoJ>TTjQ@gK$~?9FSO{5 zEc&&+38LGTpN;Gwm7Am|=gnOksY`ClkDEcbrCi6DbsYuBs3X3*IpKP^yiKf(Aj6dT=@f(W(*60lcq2foYumQ8&dgxgcUmSI$E9ZG3KQ?#)_V|aw0Pl(MW z&PZ#GB?W?KtL{t|`nvdQ<(k=F8Q7PJ(=iYoaGWqz*0RNXJrKh+8q&g+Gxpvj{9aG^(k?H-G#g?EYZzO6TX>BS+Sr;BU=H*3vlIDY z8+&DkJOH)u{eQUN2`ePM$*6|(=iim_E4Q@KdAOF@)jA$U-|XwFnk?y&N1oH^zs{bf z5kFy=PGES+lGBj)ylT1OI&3b-!7Gw|*id+Br9Nw3x5SN3wiK8%^TH5#dW<}jFMwprZJ4Q=( z#cOLwBrx?6C|vebGuDTe*=@8Hiogph7UpLRjO5MIEs`|bsA!?X7i%;Nlx#>q>UCtz z7mIaNb7j+;vM*=vpT-QFQTtigVqmuGAg)q< zDi;`kO5F2#PzN^`1w1=&09toQV~2&v^A`*zVJzy|(+*e?zt)eW42T`=?y-Ej zFN@GUF~-ypu{v`S*UPU#uoH^J>~uN$&?Rw~YYP>m-NAT8n%His{tw%&l^VL!&5u&t zDjIQNuZZ$rgK|U;AwpWq2J9bBb1Zb)v~df@EfBZPClky2GhY^Anuw8AsrTEd)GFRs zIRnFndmrU+O?)scQ+sYJXddrLd9M*}I_r*Rq(_pNzGAXfsSl_x5TntxksNax3#Z&* zmpX^`q}QCIk{So~pyl7^SzxsYHt1=07V3~6aN6{nQ5}{DcD&zaC(V{GU85pd7#O5; z>7v2T8h+vZbLul=`!5(CB0GNXm=T7+qwUn!``YcwD6pMGf)YnFDlCiI9(hR^@E7@_ z)$eY^FTSG>r_WH{vraK!zNaRvu0YtO_PU3|YHQduq@9 zf$BuZK6l-5AH}hef-Hd~VWBgdnpw02Ax zo|;}Iy8HZ7*&lEDAzNGDsaLlbqH*lybJ`|;IC7x2zZ1s>eSd+0x|Um#y&t3;iG|`* z?{C`7l|JSpznzU}sH7P~fR6KM4HTnSyI?zB94|_Y$QR+1&$C&I5*?5uq@)8CFG^@4 z7VF~mqTxH~D6bQWx2VGtytkQ<{3DpdUo+G%52Om}9ao041QmAiCo^vhlFyXkHFHHr zwlkf6e%Og$k^cq{ODIa=hRlD;_A!e?u6=eY-Qn_XO;hrAA8C6C_nf+>w;OgQD7DKf z{H4Ud>p^{G5+@8-Lc_1m8E~O5J+`wn_lr}rYj2q7TD=^-j%pa5T_>%*e-0vGWoFKJ z`85?=-jf*Cj|zQ-;Vx5Rb%a5{cp0wC(OoKFoq0=$hj1uzxK;ryOlOS`!DJcA(<*h+ z=1IkK^hla~CoOY?+nWkyb6q(2p=!H}U5(kt8%u(v!*|TH&arWh=Q28b?{I^5!d~|# zJMX0!%!G|ep$GZcPDeWjd zrL5#n;b~6aCRMHdoU7hmQB~FjS}=|yc!qgYqPxh-wWq4nma$caSTn6%ZL)biW1vlC z3Wr0=!b)U19M?9+oiC9RzxtaaoL&~d#D+&X&_GTRbFC(qVs&%S?>9-Tq#iUPh47M# z&!aL;s;!w64qECGe;pX{Uf-&Hh2tRIKY4UkiYKkZixv#cnp@w%$S&RLg<1$QgUg}q z>UmOosqP0ytZX|cv2;>X*NZcA)6Jr2*tv!qu{lt5BECT5AD{ie*a(wis!<~ym||W_ z9D|D|1%UVMwTzZXIKY++tQ*%lZ!<=8B5q1g#e8FS(2YFKod1A7L|rE5v7k2fiVj*{ z-A2zmTh|SH5iycBuk9BFzRBt<+?0o>zjp9B=)Q)y_ls$;rt-b9ceqfol zdO!rVQJ!Udpim=Bu10KH(Qf=eh~X$Cy^N|bZ1LN7&58VM&hqPaZfQY`3LJs--J^T9 zGKCGzul0^0eFvmfvB>JB8b89@0j^Ji5F3pb@_UQGPw1k(GmrLuQt}B4A{k9B%1tcR zCy@aB1t~e)9i=(7DHP0m|0!eoWb2}%OJTV?If#;tefzH8_ij`?W0d<9os-Pk?x{#H`q{xH?C6F%{>m^nZUeNQ*qlTPx%hPEpwhEo zRrYnPN^*{=$~ruYQE^ToFmzPu*(Z)L<{-8$Lxyct7n$D8jqbC$uoMqzHbs{CJEn%>eK+0hUb8G5QrT25-A{o^pm_s@6k!7N~}OnVah?jM7ELe>^93+c@8WUw;CI%?zdR%)Csl%>M zU_IDQZy@)C>W`#S(dm0JE5l(bWUeXd7dskv8F1+}SBePLgl?UdJN}yk_N_-X1f%`y zR;({)xR$k#Y!9u1U(zG8a5sRmo2Y)FQOQ$@J3W4KP5|?7%1i0?R3{Rj!LYVde%=I0 z6I8b_geVkA5L-GPFva_KN=ewb( z*DJl)Q6=@);^PM!*Mcw;ZXouBHst*vaAAh`2W<1gjwPk=%fv_Wu$sL%&Y{A|(dduq zafETz-``3xB5|a4Lpu`E3>tj(@zhV~$?H{H36;}-fx|0;taPLITRhw$POk{V4u#}= zply*+PJF9ZvFjBgd@SdgF1XBi^$Jqb_@(hQAB&Z?oQ&m0Jbu*6ciPR))h#&~8K&eF zze&>LovC=$gdjmfC)4m8>}LE<@5F*fvrXcFt>{+vEUWKl9SD47@x}g; zMEuf;`9E|nA#%eskSSiHQ5c6E^xcZYNA@CIFi}fI^|8G~NS*o}C?Z2)M+jo19`bQF zZdQn%kiwpZ+-_T*AFSxQkx0y$to6$uni+HPf$(Jo1;oPlJQa~RhZ*ZUFV&80!457D zwlA8)lD@h+^I>5nh%W%as4wRefv_!arLzaI`7@Js+r8IxaNr~=pC}j&O7cji+yjJK z?LrvLbXx`T&zm_#l4Y{0v(H9Qxty^G962(n9WP{Nm7}o-_UL-F_me4;i|EdewnxNm z{DZ}0Qby0PKT2N&SixzzQyC$DoY*EgDT^k-vs^}zIa8a7c+%Z{9RDH;zJre9f|-Kt z@wKUVXWL7_`eTK2$LFg|?2~c%^TjKH%!Ynd$(J2ImdagGm9cZ;T`iA6@Z);n*mF3H z?>T*$&cg9&(w*01O})QunW;MJ=!=x;woECDFzgMHwgMGBc?yh?Rj;ev<;zpRR7tv> zAPu7P448hSvEguUb5w{4XEncw=xBU7>oJR>p$2I(L z)QVL7eMtIYK`m@#>GHbx;{e&sYVD-p5#7&;0Xh)%KG>>dQQEm-Hx?3jKRk84JV2bH_h6TL`jG`B%v z4XynJL>w7?Qqr#ms|pK{`}9gkDEWcuDetu7MwclyWPCXUQOi~+G(Ze2&kSUeXpena zk(*IgD6_Alm^~)6aU_;G#oS}Ngk4t{!r^F(;Ybpl4XHx<7DnrtkiEeW{^^z+F;HAw z(;T8wPnuC+9DK8QG9@*8{zF!{-?DC3#(w3se1=FNGcHBn75RliG);@PQk84ZzKt2Z z!qT)D>g)7fsd_UZsu|&L;bLnUs6y#E9HX%wN!^YM0q*4*dPqt<^JTXCy^^NbZ*W~o zUKx}(VW@Fz@VaA`448y#*S!6O+7^NH(-P3Uz0NihlwveR#Ca{hnr-wmNlrOwn0^0$tHQNaDP3Q zWXl{TsEVoZlcyJ}M}>8Ms(Up_TUfBr(MeZEPz9s+(0%`Tv;ky2GsS#{#EgB)rOQ5e6K;pL@xEl50A!AC@ z(8K7iH4^VKG2;To`+>RP_5=7b@&!p`R=B~(0`)k0OEiKesY0;+w9|0x@)x(-Fm3LY zAJo$#>>)M^%J%Bwhw~(sewf=?Z|6H&jx(=|@xLENzO!FOG#}(*^G7q8+u#gZ_RLN7LKRC64J1hS!Nyp7v1aOXaKq(I%z|D8;i)aS7lvBhO!Ji83~dY8 znKM3{Zwdj~EciBwWjb%9m|CrfU{keBD)z3HfV*2W19>lz%uXU4^Sd*+9+1W12DZz# z^=tEE7_bv#8#Gayo)Oe@L&DGUkvz4j=E%k2=|TpQpM^F?f{#Puz!)xS>u)Wx){GeZ zD3>)8oJ@!C5{6u3UqcMY>!y#k~IuAVJG2bu9om10T< z1Zm4|tMt&7xLgEBain(oZ5lW9y@kPQR3@uprZG||zJ#Jw>sg5iQqCBr9N$C(N*3`t z9AA84!N%hP70|8%u)e;QZ{AfnbF~qVnjzXB-9fi8)Q5KmorV;qV~DY}mBGWRxMVWU zU;tn5YD9-=TD7v`Vj$0iJFq!YFGl!8^A=FIeDZZ`#oV0m-Vks zutkc^sjsYb)znaPjfgTWw&q+7%aHxg;i{oTP55~ZT$8WPsD3R}H%lfrVe8-cUNP}2 z6kE+w!*>|1(kClW{M=vsUE~NoG127_kkZ5sK)i)#o~$(9Mn4d$cOSYmXOZi(0XPfH z2js?Tnf3OONSaGhZTTErGYou+FI)bI7u zg5S^JV5;lS$-&p@sKUwe@@6-d`dlL3(me#HyGdy@VK7`Q&wMzwxCsC_&JqRT5MM2u z_5f^{^PIlz;9VF&CkE_gHTtASj^YF~A)qwisg zf~d%Sg^DCQ0oH5K7B<+(BTM;hQWb-XG@+5%cB)2qtbIm857$b#YW2}UBHwqQBvU8c z*3YXV-RcR2QogqmUSheM1+>%Mvm0q&htnfQemSu_7^-ZR0OWb>a!`So8=d1Jn=!b0T?Dojv@RfUQ6(pQF2^hJOdj zRgB8$J6!ScdXCN_GbbQbeD$nk%!MQP7R#OkUA+bamFSloyDzYBnAv|(7YJKo%S&>M zi5r(_5CU1$cJ8>AI805+$1~!}m%YD0<+yCadL4J6Op)wbjJ!|)%ULsJ{Z!3&F?(#8 z>4TGpcQ8CRG2+YPfDW>&O(RftC(Z~jVAzEUrCegXu%pH-Q~35e%fyE$icIK z=B$YanDOlRS18f4JZs1wy+m@?f4&GkEWWXT#La*gpV$X!Q;qpUSD2U=6uDzB%Z5Wy zbyU;gA=KxmKHl22q)a%5W6|(gHmK-G{4O(w=2V2jw|^=;e2KDeyvRmyvvtQ4*mLa< z(dyVOVx%aw*JB7gNqS-XV4yt@d6Brlor@B8^2KN=tkFGxw{KLE6&YUTKIuD+$(JA` z?ZOrTo$71;h#}Q(uRf8(kck~{G|C=-1v;Jb3~q`=*8s@KAd`MhVcj{mxQ$t8X*PE) zJ{Udp=^_SIHVrp2Ewj0xrrPl#U%uR<%n&CPJbH6qr?0x?dnm?bPB3JJaJF}*Wenz? zZ_rLpSWhSzDBr;op9#X_I$w$AzR~g5);`{&`*HT{884@S(1DuKXaS>Ob z7Dpyj%1RvP>2@6>yK3*|fUVXgB+PW6O%s?EyOM$P{{$fd-u=PvK?MZy0(gNfpwd)S z@l7|z+g zZ1J+YK{KuLV^3m`3))&fMPP(AZ(4BV;>_&-aIt_}SF3T`hC@=ug4z344|Y2mmpM)N zG$^v6VR{|F8gUF9V19&1f*UW2dlUY0!iq>Ec5YIlO0Fkrnsgzy$pc-Zd%_48f{0D) zp#}a`+ip%i*|v96OC$0#EOLF1Ck;e67k2N?xBwC32=H1x)cgK=&+=i%)HAZHH#*0Y zk)+*IkSGC^py@Ji*|u%lwr$(CZR1wmvTfV8ZQENt+p*g-(-HG9`IeDy`I4C@@_hf{ zb5M#a()M}O?MRreL&m+Ywgn`9DXLOa0S9wTOuLq8Pgl~=lC1iI^|eq}jxmfLGFiTn zuRiOkz!0t;ic3GJsCYw|j`XFJQ$J1J#EUkxvYdd<$8S>|+h~X1IZT|wG849B zd_+$($Za7B^noQJX}QtIE~Uu^Th9lIE<`3?Wedkc<@y?AT_hikV?(4ExPk|3I$A$v z*`!X}hHR5|%hGB-$@E_d_K<5&u7=!!&g$i@7*{wG|8{lDDX{|{GTV*8(P6=wF|JNe(?D(t`g?f*Fb&yni?z*Vr<=Ru(kP&Xl2 zTRWs?cYl=?*q{zAdpGg;-D}Li4ln%H4kU>8V{HzOmye(Fmq^O=rRH`ow;LY$1d0lV zh|D1AfJA(7HBwenRbT(sz;;e7D*u#}pp29hoQO!tt@S0?S3M5I6w=wXAiF$O44?`F$3G@6F6>V48bHA-zo9830+_#Va0$vB&Xk#{4!AU6 zvNE7r_XjCZb#{DdDIqUpXkZ{{ZE!mT`g} zhav_e0xI9u^f;Rv(QG+$o<4U=mh7DFK|E0|@8ahWf`2 zShUwK6IkEK^n+{Duk#1W`0AF<42g*;zN;`ID6J`oq_=+^7D7HT+06CH*#sn=J^jbT z-0%bl=p(B&OMN3FJrL$Qr5%!AQ5jSpsQQ-gsV$vDi>tkzzC(TEOND4c&!E>P)t(*= zd~E|5M_VWUd;F%b=@*>XbfZiC!LF_X9v$dA=^5=`@7vt3VVvB;)?mi2%-Qs3#QQM< zMkV-4&;Zf_)UK?o?8LqV$VUP=wJ;sJM+<0ABf8a-Z0;G{#r*Wf7KjCaw#VS-vx3Hd zg-eW!ir|9ZJ--Bde0VF__d`I$!s^{zpG47zYHW1ne@DWh2Gjh+3YytjTSv+tfx`U{ zTt$!1&yNv6E}dhvZ~7wcttU2JL{w5rS}S6YkL0Hc841_}$UB`KQ2G)Z8-NxT7k~|q zt@p;SkUUHMhb+p^eVkq0AHe%Z7Im}ehxGD04>JF2#`CvQ&6Y|C!QJv}tK>1Pm>n6i z0RI?%{BU3XIR4ry2Yw>Iw#vg#R>HrmoUNY6#vj(#pSi46tzT_s1cf&cEAZ=n2)!VDpU+i9w65rkJJ58a#?~n2KN@AUp1F&>wvRSAe!a9e~~QPXJVWvwuCY$yw07gzssmJKR^B>vv zO~7kQzkko0_`;ET3%aE`i zPM04L_pZ2LfBY`|*)arbs$w-NQ}KQJ7zWm)`mj{Y*#Kf)jvG(Vn2{y)rsE&b1iZu5%#O_qQBcZb)%fdj36%p!M(SAPO_FT#)H$Z2aUfZf}F{(_@Hz7N2(_3=n^r!uJW@t_EPyCv}H@#l``0e{~f6yK2V^;Didz-iUPyC!dXJibI zkN;ffUi8p<-LgFBeb%&KK|F$F641~EPJ#&9oD22vEJh-F(qGB=rWdX+jOYKxwq38C zy?$fcMHOR^+xFiinVj=c-R(pIUS#!x@B2>k%Md?hJQ_s@zp-s{1sBsA;Ik3t>s{r& z2=f5|2110S_R-(ic2bRLJdHD!aT>KsZW0zyUlIp zs6o08li^)}#r~MinQ+&%oNlX z=*8VxkT&zZ%s81dJ(jaMrty`W`%;=a#7a2NI&B%Xx;~O7C+oWkWiQ3ounG=M9cw$>Bej8GjVScI}qA|s-OcdefqMrR8&f<+z3?Kf^1gmsSrKM!x0)y zZ2ai_6^~rl*e_EpYSLLeS5TJRo3r(XfpW%=aU{RixYUpPZPt<884;AJ=Ho3%g5OH2 z9aSNDAICMBISqDVJT~9#ilK2;R&W{TZK4AK(` z9oC}at6B8L^wa70E#?z;bwt^ZG8^(gkuL>0hieGJEX)Rr8Xp1w?6^`Q>9w1dotMFw z>TZnRe`>Kz3)99{J5v}e=8IXvzSIW}!UW=86F5RrIXvY)mO(dta?YJE9sVw;Ae)}> zRE~p)LE|mQZFO%FqJX!F<$?Z*)v)Z=dXtr5;!7@#?5~Vl9G?=}I9dH-)Gk`qgc*#| z#kwc3plJ23OS|;zaa9obY-8w(vNs`c3MLXzoYn(l>kJnIQOgl?R@sw~z+j2gz_+C# z5cN#%W#9*=Kg%g_KXraCGVxjanEaNRaq)CDX0|!9k~WI1U9vG%uCSP1rut%J zKsLcoeA7>GKqlem_`^ZXmB~wDqAVCJ@3#`7s_x7fp11Qyr_X+oI|*6RVgclyR=2t zSXb04DGfT)T!|8%KZy*oUx)DMQ!Vl@@`lisJT-;)i)@4Vi zlq->wFpPWVG|{dV(H>Hhti43vezs$JWigR)6<4tWUp=jk1t;wcbNia|OdVQXVpt>f zfv0{k2P)6zA$)FPS3!?jPGL9dMCBPh!3vRv8Hg{)eHCl|a_kKMF%AoDp5HM)pxOv0 zJQ$5~^xQL(^BEwEXRmPxh)45=%1Hh6u~Eid2>fvLUj|5FA{)ykY?y4HW1>4Q4ov2@ zD-LALzuM8*5i%wsqP`(QdE_jx6s{`D2)19FG6uyHphDVL>Y2THVQzqlt&_5<7(TTx zoWX4?a;|-(M@6^?6Ol`pu}CDtDk?1-8c^OY_8p?D^{EZTxW*f2qX#?M??IwVW=iTt(i&cs+fIH;+8y(6=iPndR^82wL#6%`{B%IxA|Kv%9=(Da;S ziPZASNK+nwr3~$%*Wu*7@_k{$;ZURvSMm2pJ`FEJ_;Vj^&RK6|ur5 z(ms-hNRm->Y`rtozLq=$BWklp6g<7bN8L1c+%snugCdA^Xn8H0-`FWjGwvTngWeml zQNzxY&QlQ#GVf?i{1k1^@oxIi3JP<3x-EL=n5f%hHi7?4N^KPgK+ivH;*J*PIys=3 zk(szpC-b^{m|&bLzPQ%S(cm}k3@RZbt~$5jf>FuA9VD|{_lVwo*F_A%R@Kq{13rr^ zCgT9M&>lF!k$@T&?Olt4pDjYFCV12U6+hm>N@ajDNGD~&X;#7x1kSBaQc!Zu&m|cGn zOpH)KEUAzO5Nxjwe;9Yy0IHBaE+HL*W8NU@@1CXWn1okmBc|yRiJxlxeaM~$-nam= z3WgO#aR_CG2WJP92s>c&n0*I+OV-YMV)r(pYs=R7YqyRK?$^otwHvY{zBG>S_)g9@ z`$jWu_B7dw%jL1UNfa{cMu99M`8<_XL~Tg(vNd-ee$WxtpDgHV3rs@bWTZWjxRccxfm-|~#ouu+>{ z5|Ugt$kY&)+N-2a8eWHmP$MqAy{uY22A(?u)Hi>hfiQnP+7kGVWw1-lTi#y_`L*IP zu9q;VbB$avC0N3ZSz;;%h~zVMivrI~Bfpx5t%)*M%tW?kSPvW7vl!>pDt z!HB%Ii~hQ;I?L`sU(oe$*4)ffkBwDcGDzODqj0pMQ>;ZnK(b4eqC3U3y+(N3Fyw=P zkfuGL;GflwpIv0SH>hXv6+$Ky88$?M-2Oko?wH;S=P;e@6Y6~t+%hz+NS5_JeVUPb zi%xOeiDif+qjL_-$8N0v9GC3I$hWy9wzV8(Pn2rFAuRT$_{$u>+HW0R?N)+Ygx`&t zj67jl&HVRk2EB_IOKmQaN7&H&5i(!y1q9xa98n3O2kJVBL=g=YO>tWuQkQoo+4}5N z3_2VLBg~LuG|f{t6$loyLMU~V@dD%^)QEudLsVggL;C*Sk4LpD#B<`Mn=eEmvYS7W zYe&Fw10Mvf2Jtn)Rj2M{BM$0=(z7&zzC|QSdrb|Z%sTA_E#wfe!a`OJf}U>mHu8>2 z`;D(Wpcas}wQH9eb`SP=o$|gXmB50_tgHaAV@m+ZlX&qG9rz(c`@`5Y8Z!Si1(UvCKM6d*yml9z9n6f01G}i%7+!;-F=S=W#MrL5 zSQ+#`q|>OPTI;x+)l{GoJEYb0DjSnNAaO zfC(T%WUkbwu%A(Z{N%#!xhK=BYg^83i}Cy-@K~Wmq5s)Vjz~2(@+gKU;{~3FR%S@s7zWose7YDZH$H>F7T;Fgx%8uMT&dZdM(C`b6(G8~+JL}PYTb)D@A!zZ$) zY%1b3IXnsv@`c?!p3|{&frL?wC$i%7h|1}hbstKouBk5fSowE-R~s*+Y`=AT8kyw% zMbL$Q^)*;8k~R=v;>oQ3Bp|vfHbd&xewGw_u%ymvxoga-Isu)|7F5lJQA3yd>!6Mv z<&D45XslfXo^rbHl@+2f@u*$xWMnqQB_PH1vl{g%Oq+w*Rt6_v>7@onb}UYa5E3AI zs|`I*o7E@hR>2-LLcOwaHFwaQDQso?k=g-BLH9Nnb#m&KR=DnUa6p9!-c z*M8fZCD%Te8vGcaJBx%{=bW0o;5Iy%^%2&~E#5FWN4_@-90YOtiY(SML+ZviGXr!7 zVGC5|T%^N37DUH#+=LON1Jq?XHXJ?MzXb)!0sSTm2aTSk9ro+qP0kj6VYqTq6GXA$ zmwuUt3~J{e?R=Q$|4?vj6WwLx8#F^+LUusoptf^@bF~HRv15q`F3c@9Lgf@h@mP)G zsg^AbU}7ZrIL=?Hxg*ZFW#NosiV}fg=%z;>>^)RiFt)uS-s~{}_gCmywR=l)ZnNhA zFaxoWwgmjQ02R)(kLYrD4&RcB1I`-=Ee$Jh(bxdvc(fI_ZUh55Pema~lR|GGBx2yF7BDU;7sq_WE8DDMHgi}~eD_g^p)5N-_AyRC(b~BaKrUKdEMwT z9sZVc%R<#yThX}J6v4KoX{YIee z+3UCU=d_*K1KNM|Ym_%JXZXmshIu+xyi?*zNPA_m@?GEN<)ptT@fTK!`E=+Jh;6h> z(R8%4*(yN=7}~N&^Hv)>8bEh28rv4IaT~$cY}*1n*WuZ_nZ)V6^*M7X#bl$rzA62Z z(%B; z%NorY-J$m`Tc}|w9~bQLsO@3q$$K~HGq(|fE%T4~kgE`8&!~9awm@wl|Gtv*5I(*v z)B*IheFN);TgGY%%p*VJ!jsK)UuY3B-f|W}U92XMZfIu~Nl%!2`OYUV`EBli8uOf% zqg2>K8tNw;3*p(^pS7w)Ix**OyH#Zll44ICbjf}nHDDn2wsPD&*7Z>0^44ysB)_@! z2N-1a($qcPxDd&?(1JO(IL_n`pNstwT%p}ULdlam-RD&lT`wlsk<0-aQIsTLNuG@e zs=39q!Jk70iQDk6vaGOP|CP=$129; zvp8eOwhMt;!CZ;jQl*)cP&bN%eeA+dl_Ji?pI!U7#Ph&ALPo21??vZX!QqH1fTv^D zMsJw27T&-Q_#2Z~^=qUoI?}_b-DW8+IZQCCgxW$@JI-*@BeB*i*B;G-J_Rk;xDE5nw{BZUcyuox2L(~v^LmRb;=$D)-4%o6)*9w4qaHReb{<(RWiyUf z;78@?2bkM{d*vs$2`$@&3(F%SYZ+RY$7brD3>gkFhgwjsL_{+>Nh!338&Wq-qpA`C?gz&sh-lW!xx-QUNrDsG>7lWrA4eAV|`kBC?+1- zBIhragkIOl%}cg=cIFi$)(7o_1}y^e^ebP_p7r(suIn!M4~g5mEs#N#_1ni47Km;K zvsRbSV*GpT1^t!d$+~=x%`j#zPDxXfz)O z+xLlr))XZ5VwVDe5aiUcVu8@4_wUw&$j~}A_MR67FIq{JZZbaI34?y$Vja>lJnPTy zG))F84t!QaH~K{i8CjjdF554Q=1zESmh&AJAf3?lFDMDDtC zlY@tay3s&E9pexhwnMp}AOt76`lJlz7yEfSs&3g3SPleRnY~@yA>O4Q*eJU6qiP#` zvCj_~k8Ed_MJ+L;KPx9&lKR~*;2O=1&OE}lKl?m={i(+f#Qut;V+0L<0%LH!SkfJB z9GN|&bMPRZ>Z?V&-eAP(1Yl4>G!S+-W)j&LvurC#=gmZvLg%?qnsC@SXs^>+kmq33 z>on-{UOmi)%-gIgiA`9=R7@6Ljy@1CsIaJiLs>&Y>9tE_i(8YL#h!jYn*xUOr;Yml z-4PY67*az2LYbTqQg$+X*yiN|#%#;3j3`DghR!OSLh8tqm;c?Z=+**s!p#t~-;b{~ zO+TCG?a#AHuijl4Axq$%4df95VVUM?AZf}?JqKGV;l7#DdT`RFM?(1<$9rmPqoRxd7cQ|yJ# zEIYQIYC()>+}@DtY=L^ryrS0aM#t_SC2B~3ummHTC^=Hu_dYWBT7^j=K@i38qEL{$M2N^w6dal;7u6xAj^96W#xV=|TM zVYIsHH;aw=ttuky>+sSgawd$07Di(rVPk}UKMK9o8KZ6Z4T@3F+$g9-R~rS!C-pZq z1C5anx_roH5vKQ3p`M2=Ekth~ZM)C<>kN<}cKLBu%Zer|j+y{ml0)J#h&M2LXV}&A z$gNqNBC-J+nM;}&x?Yw_x|iKN>t0v>qV!$J8!!R>sqGJ;z`1tmAA;X$1DnZVRp#H| zQ?Egq*?2bW6-hFdwtp)VyN$$`{1jg&io|-tTnYm~mP$e^9ds)k{7g{g_b}Dm zAx(w~@9%qeEvY?tRiVuqYN?-$DzA&DvJ>KGW3s04J|9HB`6S&vRHrK@!a;ZcIQIqv zyle|r1N1sMD5Gmym3>FZ{)z50@Ds304p0r!<2#)ivHQeiV}55aF;nYff<;FMp#2C>M2O)93orFu;7i`iuNADTZqOof3?KPUzyzw+=Vqol4 zm3v$pq+$zp0Eb8;@zgM?cQojvD0cm3&LV)&-3l&JlMJ=w3b&5r-04}{68n;OI?z}x zMughEJe}P^%&BF5d$UqfuajIk50PB2nonXUb?Cy@O{>pq2j`sC`4YQa5S9sT3rj|- ziG!9pH)u;_GHSXhO?Y+mSN%u*{j* z0ihl^%`iIfQ9Fy**13eg%s9hjF=}=F;XygB0#Tzi92Swqpo`cxYlXia<&IP(M+v`+ zBGynO(Fw>szYs7_WsC0(=>4pkMCVL15{#k~NYSI2lwBZozV5TC61B&U`I3(IbU^=U z2sKi6;od{ruL3kC?5n*#b?6lh|28=T&r7J(z?axDb4dT-R&4T^xJ{8dW`Mw6?#Nv} z@7Q`nEs?;VEIrL8l{y?0I`XK_W0dkxqu6mP!F?7E-Hh9!(_z2f2`871i_m7MD`Nn_ zOo-bVz7}UHC3GSKp37e6&-zzdMy5>w{RY(hNLPXLm%lm0IEXGROzTbyO?K(_60U7f z7*wzJUzvH0wOyI?cI@(N6rHyeImBd_kZ_bjmRAo)HCFOlY1bNqTqh~1iRLNTl6IPf zWRdAUmqtBtH|{GztkXWc7_n)q*ey;XW8>1;sO38w=vzI-mQE<;^Z^yz(}l^&Qq2+g zSf8j*hag(R6Vy>YYW<1ogBzHqv|(89d|_n|RJ<>y&kP1u*p%993V$ivs)bNCS#GW( zFcEZBk9EJ{*9dBp&&;<%;4_5|)}2~FM|vp=-K4&Gs%$lDHsrGA2MHVRj{F$7c346~ z63-3y!YO&Iu^o9j94o^)k^EZ;_RS3;B}{18TR44A{kyfCGH6sO(N;k#^Ce2kiCjzu z;EcwcUDJ@I9z*dS)z_vYEOM-ZEKXY3z6!g@C-OX*?6BIqjo-m6#Cjik&A~s9o`r(K z=EdhMi=}W$+Z*Ub3F$&y0E>p|7%z1aZcd&v(_0r|AsPXV{aYuZlYivVZxO3{s%DI- zA87UPb+qJS1-#-AolNUrCKA)WObk4T7e00>UQ!c=ZvD-JTPqSv#Lio8N#&GddY-}` zjM0U$nf`*G5+cDOg>p$F8j4D+!PDpp~(=}0QXvwYqD zndmv>Wn?jgFzin#QAY%k|wt4J>s1z z)1_r%;>+i}D=dz$El0v&-_xl%XxREC`ig^RUu#YR}5PPh=s`$>$aV--6=S~s><>^yBECfW%JDc z!m8x!;+~Ba{qP=)O^u3=Rac<2hKU078G(eIWv9e$OkFeV0a~$PZtru=Jnjk6tOdTaMlI2u7^O|J&VHf|<0 zjYEY*s|*VR`lq+da^Nl$CoS=Q?@3#=*C#}>o_R+Vvm27>-TT=Xj2_F`^Y`^G|Co^Q zWGb>`4648te<6`{QU(Zw`CZ+N#zjtP{1|7R@b(}2(;iOWR!T#4iVx}gV$<)@)on#C zl4XU*jz7yxo=jOiJgeNt6n{?}u?>l|wsj)wPiNmRUB(Q3hzyImg-WJ5kkh@5*tNYU z6+3vTHB}!C98cPm%xk*O;K%6!Dev+i=K;&BUE%Tch;hrF3{Lk{v1A z5gr8l%p%QfUEAo`$I4bv3Zxf$oU^4MY?wD3@R?t%Dr)Bv zHNuP4LEZY(&S^)017&nbi+G<^a);9)FDXKxA-bTjw}P9dKhl9O9&v*pHoWpKz9J?Z zJk?Mw{6|hA%OtW>p_?6QU44ob9a`(Gk|3}LlQFem+3?*=SEcU?_~j1F$PvhI#mCmG z0|uRJqJXl3HICcQbb6nM)^ZlY@G+A%8y&I7^}$n|;;l|aTghB|Xh{;lk7+f5?RsvN z1m0CJX@3LLAN-j4QefYvw_C$|+WhiXo;kYIM z-eUELQhc)>u2y0`hwbU)E-sWGwB$5Rt%i#C&~?>`4Z}y!p^qQ6PS#Jk#K_OY7ALzYrx5!r00#6zPIqNH5 z(5hEF45LJ(=hq&BXZIF;89}?I0QmJ-UFDNKRt1zBpzWXN6Xxa@9mm)0#b7|2sQW2v zO(ZKTn(c0@miwl?SHrj`oK8^58k-?sNPEfu9!Pf$0`Vl8c?&URsb-IE z5%60bMZ+P*D99Rbhm-HO-Xq~5AvH^R$*rAzU7TSIx`EWW;W@X)nfa3O73wGpdY$V= z^h?Y~C!d+K#JjV(;zI_9qHd8Fjpm|3FjMlq#~zp=7b8hzYMl$V419EX=W6v+tV{ou zk0lUx=r9|VKx2ZDer0(xaC^jZx}{V7ss{uhrMc`7&po#- ztiza-J8@k-kgV#jkn66KFl$cBB!S33lPJr~wp(5pn#$YMdB4gy!FS9_@CCCNEhu;C zA>zVsx8zJXC5LfhPbZw<`3!K#u1GiiN)eF1zdBPBIf31z31&o-o|w9l1@Q7IJOvv5lhcj))A9&ft-@II*Rvp=pqu}{k~ zO_Ss(5QzZR-c3D@1v?ap*?&%_uu1!~U)p`sE;d*r8mBInrsNN`gUs{jt30ScVk||) znHNwW`PH8Jhs(NMeS=#o`<6@w2pg;K1fQXL@=|S zQH+~#7BS^z;?^S(*nIeOtc*DrrewywJUif6n||Uy7u($;y#CX$k4o*U25m|u6fViv zWt4h@{8O?n8CmO`k-9if#Vhs?p(Z2I(B=zo=el+GU_Utn!D|)r;f34aPx+P16yl-b z$^Gs#E@l&_`M6sa!nN^y;Ad)NKQF6Kq4h5-`=i@AFJ6fs9FWO;jt(O62Kna2UkS2Y zUD38B%;YEp3}qDsZzr27VR?XzFEE`DNqY@G+Ulv;KY2~|?qQ!_8$U}*pT?=G(JLP zRA&(A1+PKgXBBdgZB90c)QsF8UXB`FgA{F3W8XxNnI6c;mxu3uwO1RFFEFM2^g(}H zSi6bd#FT64c|niy1j?-$w!#Xt03_CZ0s$VC;}FK+EZ9JC>B;@${vW zVq6Iu;dk1}QrlrzbLGOm-+h{;E1>pH`^eKvf$AU>*eM9(t?qcNI9~l3MGmjOJEda6 z5XA%2*F=ArxK1znFKT1w9-&^XcKlpk2W_)qM5KpPe97-#LX5p%e<jtWpL3=0IPn9p=>hKrs?tZMq>Tg*MibnO0Cb%nvtT;svWPa z$!`iC|H7$ca`&BF1`3DTt($xpp)RP{!(|n%7d(@eL!CLFN_I1Oe0P)6$jqlfAt~e| z=BdxyRs^A#JlfZgClJ9E{=h^`7kcQV*VL(RP5P|-1|8EDhE(-|38ST}7?%0Pdpf)Z zbdY>-p>#C21I%R+^YteS{hFEmY<3sI)+~w$$&~zjULT`a5w3!6f%YLG+tDd{9gByd z$;O7FR>Er4mk83;q4`1`f18qkIsar)&f+og1^p}Ysbz@{4~NsvJ__?JBe_-3eR4CB zzv*s)4ZU7{J0SzD+GYJudV8TLi3pP86hNZWGoG0>DKs99hs|tNJ(3@bz6#2@`;T#G zPuJ^HLy7n)lL%MJZX@ak_-cEFg3inRHSgPeZJ?Ic68IV+aH{FM#iJ@-rH{A^16#n~ zQD1V9Y93YQV4R%ybm)HW>bTo{y4f)})alhc$+I-3Nz_uFOk&?`o9-ZQZAa#Cl|n)T z+u^ba{iLt(y5M!SKM1|+x}p&!aT^2Svw>-q|;79uD#cf<3zu` zAH!=$fV5293z3$YE2{D%!gZm9lw4wa?&O~Z5sbp1T~DdIVqH;tvpDM6`P?Di86TpC z0_W&i>YF*qzerI*;ZBMlPLRpnt%k843Qa8ygK7lGi$U_q1o~c z(7B&YT8h}*RgZ%*jX5wSDa&$=v6+kEmld?b(}_9)jy$5 z)7o{eqMZtV;8hUtrf)m7vI&0%=6X7r7>Q&&Tp;Ph5{d-z&MnMjK4k@Qe_ugdQpl=* z)DCg+nV_W$%FrsLeuJ5u=U6-rJ#wMql;`KQ$nfOZJ2v(vV3P23pdR%~Hf{|4r) zIXm*igYT+mJQ=F3n6c?Cx6T;2G@eW3qwz>HOKf0)PD&r*P#qIEF%II>-VveHhDc7< z-RnS!XD$do*VV@a<2KJW2wGtSbrNdb84FSDg}l7vxPI5$X<|=X>W|Z$j)P7>azA0C zMLDx5gd|=_k>=T2Wpah;3g^7&kL`yb`o$t%{}(7Q)kVE&0XT}@+2#-PQaM60m$Gc!NP z+;hmY_{B92lx(WL@#{Hh4xu1wS@JIryi&dbR&-PNy*rkkng)ygaT96?{nIoZc$_?7 zHvtn=`$nEt9R6%HiX_(GrfQ=IY_)rxwuumW&RQhw$S-T?7)^B=5i&))fJ?hCkFGcJ zH@VtJn#@)U+o$_k8);b}qrg+f!78z%e<06ThU96(u|D`? z?Mob|`YLYNFQONf;%Lk?f_T7>Wboy>_^%=`_4d+`PMs(F zTwv^nM3>~JyapNf1)O4Zvs(rG7vDEe{x1m2u|J7$5GinYQSp>Pn-FY)$7SVGqtmW; znjWBt$Pi^p_I$|VDd+pwm@R?{eaS*EtY}L%uCo>SA%0T*HFOKtewb)ju!SNUH*ysVl2-~SaNeI zJ^NabYZRY|(!_>QAR7c~IogZk1g|u+;v4+{zG9r~>3o2ZB$uKkFVBhPm{VRva!8O9 zdb*mMLqq2$JpcVz{S+C^J)(;Cct0AUTMhB$$wKCHd%S!CIvpPWSmO$v zZ;P^#_KKHz2qD)CK;(0t(?$|uTk=~P_=(qzrX*oFDGI#zNh(mC3_tT`ETHBAT*)EV zQZHZ@BK*ef3yW3Fw}iG}c0hV*G?{53=}0PJNqxtLPu7wHB#KXe&Xqs@_s>A6uzVEZ zgV1n{^Hw4FniA9zXnuVb;hxXbkzMR4%%5baFA;HEn*@cNK*Ie+!HX|8A1lN8WR z+#^vy(bA&`E#GS#WEgA3rcf z(Nyf1nu0t(g50``&+zcQ$ivV$kY^FEY^lP$;8WNq6JA=$miHcCyC*4Z{uB|JRljE_ z*1bcmiKma39%zWX#s&JVl!|}niDx!SUE=1e@|fux{<4062XRG}@=n9{85#29C5@Ll zr>d4Vfe&UbN8*Y5A8ZVR3uKRDqZAbzB?9Ca;Hs1M`&UwBbkO<)vfJL_8 zf{0nV=0jNGcbEajDo(B2T5h8cJFC2v2O2tpQ!X0yv<>J9ZWQaQM!dO>pnz@y#u=b-r+iR2GsU8@jj;i!*|B5#w z8t2rJSIg48a>8>zCUY@(xEeB3mvKbIq~hNb&$mGF#JjR5`Z4<15EG`6I*BKZER=;L zGzlyF9~r7t}Cl9ER1ZmIjdLxWosrUlTKfzuJj8`+A>Sg zDOV-XDWD$v7P!IIdo3%j*RlZ~OlMCJ=ggB(W-b6wgNZuyk;=!H#&Mc#P>0U+ z556yYZ63I?wiM}8@g6DS5w4U9aWNjjDc*LH@F^}~ecX;i%V6L8hAw=!OlYje0WFWC+#5=#DaX!uW=)f`b#*Ekn-NP88+lh+XZ0R^-|0RHFKi)MUucoqN=McS^z~ zcdAQ1p2%zS#05zmDFQrzvsA1=O_1$X7kmDt54JA7vhD1Q2F+J<5RHxihOBi8rsXa&_F}5sPMWu?*U{hA+%MX2Ty=9pqKDzRmjW zk;dhPEtb>N?HduMX@VWcSoc*JC#Hq_yK-&`|A8NUV~(Z)F`!hsl`=b)lkw02Z#6o@ ze*T__yMamWy&1PVt|;L`^9tws7OHuLwN?^y78f2NQ=Mw`WrQwY)f;=4YSQw&Zb|OI zYh9a;yTtk4p_bZ?!fX2lqtzBe!Ni<~}Tj|4#o!rW@YnVKOv+-t14}YTBwPJEUcfrFqzW?$4$< z9yob(`jL3%1UNbN%$m(;f`z_N!lknw{t6$d*_zXw=-TycpLemdjLRBF9ie%WZc-k>LUg#W++r-T5F z{T398va8)DXVRC>=}y%e)qfBSlI5J9$9<0pO5-DpniM12twTSFXs4__D$$EK@eiNo zrA*K@-cdUh*t@xG@0IL&vX>H&E4N8M&qm7 zH@W}Ks=eGs)V^s!Rznj(|T?+Y-A%ZCCzq-gynYp*w3-XU`2xfd-Y%7JV%-S z!D@sjIZbw0W2#f+>e9`3{cZd_PmSIaW3LpfQdKN>(VV#{5Vn8f9>;Tq&H^vsS$(+y zYtvUuy#i<*H>S@F&ch}%K<1kXw@Ndu!%}a%OR4KkT6Z}PmKfx^PqOk0Dd+~?SUp;M zXoK6m6+F1O;1zvgbjCp39m$~76lZlva6%~!l#WXZPv;852Q!EbzxkwmcFyh^-9=1N zj6?^qpj`O5lDWew-KUnLlJTcGa~}@+n=MGk=2}hMlf7b`t_|q!%6L7NZC|_9SFohg zC1r3hNkwU2))3@t^(+Q{ICIEGTW8GW6D^Cq$H#mZ_dFk;k+{-c!nt%DzVS0kC|x;1hvXezsd-(rB$r?=Gd|3A%;(nGX05xv{RfNl%0)CkEk3Tk zdslw!NqN8i=$m-W)!KzbJoq%DBctzOUV{f34nk1*S1w7VD(LkzZ{9|68f2AN>{#!+ zPaJg3JobN~*@NAoEAyW;dsLJRWDPY*nmxMzO0x$6NcO94dn~|~U`q=k*pg^r<%o0tsm$~1f1wbEPDmeLCMtoY2q=MRTw z#2w$fX+vx>TZ!mge>N$&++I9hw>T|rV*BO647Zq1|D8}(oZ`n$e&>NNbvpUXF9P6| z0^_bLO0$hK+T819@h;JWpMRLEn7xHxw0^EIacmROUy4r@6yU;6mPDiVdblh`In-!{ zog^Z9JJmZFFLg0}rsTPx7qka5zpcPNP4qh{7U#6?AlT}+GK`R>en0sX zX3}5&Y~!N6r-K_dnQ1@l1hc-VetgAOyUndGF2+RvsktVf4Gfz=zhU&#!Y9pZMW@xD zI}fPmk6nI!SD}DjO=lAw_b#H}KU3gt)8s0>UJ?CWSdn3!kV~X9MNImG>b_&u)gxi_ z$7tUe8YT%DkZ8m?fS-WzQD%NUIY3v=TC9BpF*iL4%B!lOR-{jmKa{qO+_IV<>jbd1P;6M zy4+9tE-R-S4PK1G&ZYA-W;6NAerNDI(mpk#?b;r`pj$nusFHe;b-gb;zV&*`QW~*~^WrQRiya zOMc5us-4}(+oYb)q}Q+*peNROQ+rtSOK7?u~&^*bZp^83TbB zq)th{GDl;Yv9G`dh@;>&n zH&bn=U-fNzn`r9xJGby(9-D4SDswZ7S6Oy*W0;wle=5PPc1H4~PU58`DXD_amybT$ zn6Gq;m=(9onm0Zw=}C2j7rqpZ-IvE_s%nIRAK&IrWjl2ic?2A;DTzLIpz-qqc5%KH z6V7Q1^SSi}#J!r_eh-<1!l}e$Nyg2GI;)4&%+`Ar)i++v5bkuxFRgj^oy<0uG!(z! z>{*h&^rIYm0=4;eD0cpb4??Z10Hmj9koewJC*J?P|2@$7<;M0x+BrJ^Q-wqnEOGmW!Mi!vWx@C+CHd}Uye`wom_gT zk+D}nnIcW&WnJCP?#1I@C5_G5l&pk(7{qdzXe9X`2ik@l918Oss)AZ{P8L49craO8 zxidzs7Ak$h*1x<8vogvsI>P;0mdF2w zG~JZDR}N;X)<^}4n+I->A?nvw~Sq-Pc~BY-45 z|0_x70ZH2NKP72W{$BBEzX~L2zZ4jdr0G&0s;x`nb|mRDm;9D;-3EJU+oVcJNxHLW zVx5co1s^F%H`G@$MwvDZf#(*o&+i2qx^rav_lTBLR@c`t1c=uDiyRFMiphZn5Z(ba z`kz3PXa(5c0ra*-TAJi1DK#VEKojyD{eKVW=>G!!U!ebyq5rpl7LCp}+6(kw7asoI zpj$>=RYgJOC(nBmG=fCnt^|z$2>u7pm>oF(YPkdFZOaavNhzEhX9VPbke?a$-v?Wst>_|mx+s4T=Dptb>dui zPm})p>DgM-jgr2eTm26co!);K4dx>x%zHnbu3b;Do>uBVM6+zM@@;wLvE-6$%ktzp z=3`3~)k+1|%^M5-2sfmsj+K8SxR=?ZR}wncfc3gsp3}Ze&2`P(zwOmTOrc!A?xq4m zZ*b8$W&MtEZ??5>^J7d@#|URb+fq<1>5R8SfHj6O$a1RbupA^{O0>7Lh4w|I)`U&T z4U8D5sVl{^$3=PX<4KW-RuZBV4S8M**2&$2} zZ?2v7F6`i^^z=|u6ED{?0U8Iau*lZ*dZZ`UQ**Y^I_>!r`LzO7EnHyagfv9MzC6fPar9{2+S%{nI(;9n2$s_xuD)Rm^$><97XSWtJS%A^%4?|oTPIv@w(x79ouoh9ztx|8 z#=jhITjsFh`G5=S`%KPvM)izpz)acCy4XS^YV=ug?2`xm!{HUn&ZWhCFEr8J4|3{h zX$KJFbH?3tOHvJ8H_PS@VM6;Wdk3G*BR&ST{w8`AAew3MtF)VnXQH*?;+ti;e$>wq zw+SyHw@4~5isznLcK(|D%z3n4z;MlSmH46CdLCF){ngW&Gtz0^8`!AjB6}w1Xnv<3 z6R6OFE%_VFufAvHIhmokr+?f{=2oJ1~)^He2RFm<%I~>S<7lOwFmtd-Logr#g7| z7tb+37x!cB4ri-}q?tuOrJTzYR#4M8K?j|xa?48V-2X$n9d2`o#g#XI;&2rb@K(Wk0Dq%}=b?fcwy zq+p6mtC9Cv`>D;$*p(Pl@3T|yHdK@bG$oe(+j}-tVnPwKZO6ZcwU)QK`+tF(^sP6~ zUQA`1>#$YyUy9cnu(cWXvyuG2Dd72Rr~B`1N#P#@lB1d z-Vhrfu+5p3R?S+uQ1<6bHVx{eeUNA7)u#0p0NZF`SBBAjA#DceWr>^@CBY)!hr?2T z=$J2QQwLB?HRn<9MH{xW0`>RC-sJNByJypgy#=y=1vhLj+}oBNaFfLH$>2tzVSgWP z-B)#T#ch!Y>yy#Mt`Y~J=*{9%rW`JFj%jmaDN4@f#b=7e6P58k zqk`)KJ65|)td+O6g9l`P@52#Zh;@fe!8v zKyVC{P+)MSkSL7`1Y4gti3r2Y9>1dX5YZr$45O9eHO{O~xDX~<^(H!!<3p?4m{2Xv zr{nBM{s*0h|TAgRgP8+=I@#&1`p$i<}UzFktq*W#yNK?k{w!`|<|mKO(GKbWT;Qok2R z=>LDJC11HC!*Ne>3y#{AYk}uy{H|ATKbT_YT$ub(70{h?;q7Q~-oh5=2CV-PJb>ak z@MWs@)^4DSKRE_LfBpIC0|@qWC~iVZzQ3o|d(T$R0$3{~*wTZ4elO_f0e6+xc2@t+ z6A9KHRzPwWQny#t#TkNJtZjflr=j8qh&T)>47f#F+XKq>LV)@Arab{K4-5rBLh=$Y z2n-H|LD4V>1Ovs2LZE^Wh#=5TonZZ+n&=WOTwHM0z_`M~$qfhitE*rruIS<9WNCrN zlU&lZvv&gl?`_vkZ@UIUh(nR$5RlMs7ln6phc^*tLk|HVvGkCCyg(=<5{?AffPUG~ z2rSTPq!$SP4;zwn+mPExD;2wKFc>K~li8pMpy09F27!<++)f)526PWlrP*ym!cco` zXc!b2pzUslg6;JM3k6CjWbF_z4EguLA%EdB0tzAX4+4Q>_x1}6LCP?@e1QWO8n}aY z+8_`V0s~}0G8-HX+^)NA2pD?LxnZH`J$;IXqxS5Jh9Sv(0gj6zEeP#C1{z7;&w$4e z%${q6K_CG*ckheAk}7GtZCE&l%x4G$i-3^zJ;{dN(+5~2g!~v#2oyoSFBIr}^5a6G z5ZIo5p-4FSdB70ZJ?8;K?!D#+ptH#Plyn=A9|MIz?>Pnv3B{84JsJ+*!vY$P#FF;` z28D%?`;0*YL1TA6Lm>zhP(#?&_kaycey>4cFf5kLXJE+?fh6lw;HgN6y?h`MP_la$ z3PZuk&kYJg!_nlvz%YBx7Yf6|;pD!+A#n2R1_f+8?{Rmcg}oDw2rOBGz&iGqfK^T4 zhaB1jf;$KakU*-_sNih~AS5YJlQ!f*7bVdM1$h}5Mh1pJK@qYD1uSrt uint32[7]) | 0 | 0 | +| ERC1155.tokens | uint256[] | 1 | 0 | +| ERC1155._operatorApprovals | mapping(address => mapping(address => bool)) | 2 | 0 | +| ERC1155._uri | string | 3 | 0 | +| Ownable._owner | address | 4 | 0 | +| Functional._reentryKey | bool | 4 | 20 | +| Cans.START_TIME | uint256 | 5 | 0 | +| Cans.END_TIME | uint256 | 6 | 0 | +| Cans.amountClaimed | uint8[9998] | 7 | 0 | +| Cans.CLAIM_ENABLED | bool | 320 | 0 | +| Cans.soda | SODAContract | 320 | 1 | +| Cans.SODA_CONTRACT | address | 321 | 0 | +| Cans.baseURI | string | 322 | 0 | ++----------------------------+----------------------------------------------+------+--------+ + +\end{verbatim} + +In this example the \textbf{ERC1155.tokens} array is the only potential weakess present. We would then look for the presence of what-where writes to this array in order to confirm the potential presence of SWC-124. What-where writes are of the form + +\begin{verbatim} + someArray[where] = what; +\end{verbatim} + +\noindent and are a necessary code snippet for SWC-124. If such an instruction is present, we then attempt to reverse engineer a sequence of inputs to trigger the exploit, or formulate a reason why we believe this not to be possible. + +\section{Results} + +\subsection{vulnerable contracts} + +None. + +\subsection{non-exploitable contracts} + +\noindent Solidity files that contained no contracts: + +\begin{itemize} + \item AuctionLib.sol + \item LibRegion.sol + \item LToken.sol + +\end{itemize} + +\noindent Contracts that were discarded due to the non-presence of dynamic arrays or assembly using SSTORE: + +\begin{itemize} + \item DCU.sol + \item ERC20\_Asset\_Pool.sol + \item FacelessNFT.sol + \item GElasticTokenManager.sol + \item GoldToken.sol + \item GovernmentAlpha.sol + \item HedgeSwap.sol + \item HermesImplementation.sol + \item IMETACoin223Token\_13.sol + \item UniswapV3PoolAdapter.sol + \item UserDeposit.sol + \item WPCMainnetBridge.sol +\end{itemize} + +\subsection{undecidable contracts} + +\subsection{optionally fixes} + +\section{Discussion} + +\subsection{conclusions} + +\subsection{lessons learned: what works, what doesn't} + +\subsection{open challenges} + + +\bibliography{exercise.bib} + +\end{document} + +