From 5da8cfe5692e836d8d49feb68ff3a40a98f22024 Mon Sep 17 00:00:00 2001 From: Pitchaya Boonsarngsuk <2285135b@student.gla.ac.uk> Date: Wed, 31 Jan 2018 19:26:43 +0000 Subject: [PATCH] Add template and build script --- clean.sh | 5 + compile.sh | 5 + l4proj.bib | 458 +++++++++++++++++++++++++++++++++++++++++++++++++++++ l4proj.pdf | Bin 0 -> 101786 bytes l4proj.tex | 167 +++++++++++++++++++ 5 files changed, 635 insertions(+) create mode 100644 clean.sh create mode 100644 compile.sh create mode 100644 l4proj.bib create mode 100644 l4proj.pdf create mode 100644 l4proj.tex diff --git a/clean.sh b/clean.sh new file mode 100644 index 0000000..e92e43c --- /dev/null +++ b/clean.sh @@ -0,0 +1,5 @@ +rm *.aux +rm *.bbl +rm *.blg +rm *.log +rm *.toc diff --git a/compile.sh b/compile.sh new file mode 100644 index 0000000..9456c2b --- /dev/null +++ b/compile.sh @@ -0,0 +1,5 @@ +pdflatex l4proj +bibtex l4proj +pdflatex l4proj +pdflatex l4proj +./clean.sh diff --git a/l4proj.bib b/l4proj.bib new file mode 100644 index 0000000..c064350 --- /dev/null +++ b/l4proj.bib @@ -0,0 +1,458 @@ +@misc{Lichman:2013 , +author = "M. Lichman", +year = "2013", +title = "{UCI} Machine Learning Repository", +url = "http://archive.ics.uci.edu/ml", +institution = "University of California, Irvine, School of Information and Computer Sciences" } + +% From example +@Misc{JChoco, +title = {{CHOCO Solver}}, +howpublished = {http://www.emn.fr/x-info/choco-solver/} +} + +@Misc{DIMACS, +title = {{DIMACS clique benchmark instances}}, +howpublished = {ftp://dimacs.rutgers.edu/pub/challenge/graph/benchmarks/clique} +} + +@article{bollobasErdos, + author = {B. Bollob\'{a}s and P. Erd\"{o}s}, + title = {{Cliques in random graphs}}, + journal = {Mathematical Proceedings of the Cambridge Philosophical Society}, + year = {1976}, + volume = {80}, + pages = {419-427} +} + +@Misc{matula, +author = {David W. Matula}, +title = {{The Largest Clique Size in a Random Graph}}, +howpublished = {Technical Report CS 7608, Department of Computer Science, Southern Methodist University, Dallas, Texas 75275}, +pages = {1-23}, +year = 1976 +} + +@article{Haralick80, + author = {Haralick, R. M. and Elliot, G. L.}, + title = {{Increasing tree search efficiency for constraint + satisfaction problems}}, + journal = {Artificial Intelligence}, + year = {1980}, + volume = {14}, + pages = {263--314} +} + +@inproceedings{fahle, + author = {Torsten Fahle}, + title = {{Simple and Fast: Improving a Branch-and-Bound Algorithm for Maximum Clique}}, + booktitle = {Proceedings {ESA 2002}, LNCS 2461}, + pages = {485-498}, + year = 2002 +} + +@inproceedings{regin2003, + author = {Jean-Charles R\'{e}gin}, + title = {{Using Constraint Programming to Solve the Maximum Clique Problem}}, + booktitle = {Proceedings {CP 2003}, LNCS 2833}, + pages = {634-648}, + year = 2003 +} + +@article{brelaz, +author = "Daniel Br\'{e}laz", +title = {{New Methods to Color the Vertices of a Graph}}, +journal = "Communications of the ACM", +volume = 22, +number = 4, +pages = {251-256}, +year = 1979} + +@article{welshPowell, +author = "D.J.A. Welsh and M.B. Powell", +title = {{An upper bound for the chromatic number of a graph and its application to timetabling problems}}, +journal = "The Computer Journal", +volume = 10, +number = 1, +pages = {85-86}, +year = 1967} + +@article{matulaBeck, +author = "David W. Matula and Lelan L. Beck", +title = {{Smallest-Last Ordering and Clustering and Graph Coloring Algorithms}}, +journal ="Journal of the Association for Computing Machinery", +volume = 30, +number = 3, +pages = {417-427}, +year = 1983} + +@article{freuder, +author = "Eugene C. Freuder", +title = {{A Sufficient Condition for Backtrack-Free Search}}, +journal ="Journal of the Association for Computing Machinery", +volume = 29, +number = 1, +pages = {24-32}, +year = 1982} + +@article{wood97, +author = "David R. Wood", +title = {{An algorithm for finding a maximum clique in a graph}}, +journal = "Operations Research Letters", +volume = 21, +pages = {211-217}, +year = 1997} + +@article{carraghanPardalos90, +author = "Randy Carraghan and Panos M. Pardalos", +title = {{An exact algorithm for the maximum clique problem}}, +journal = "Operations Research Letters", +volume = 9, +pages = {375-382}, +year = 1990} + +@article{pardalosRodgers92, +author = "Panos M. Pardalos and Gregory P. Rodgers", +title = {{A Branch and Bound Algorithm for the Maximum Clique Problem}}, +journal = "Computers and Operations Research", +volume = 19, +pages = {363-375}, +year = 1992} + +@inproceedings{geelen, + author = {P. A. Geelen}, + title = {{Dual viewpoint heuristics for binary constraint satisfaction problems}}, + booktitle = {Proceedings {ECAI'92}}, + year = 1992 +} + +@book{gareyJohnson, +author = {M.R. Garey and D.S. Johnson}, +title = {Computers and Intractability}, +publisher = {W.H. Freeman and Co}, +year = 1979} + +@book{nilsson, +author = {Nils J. Nilsson}, +title = {Principles of Artificial Intelligence}, +publisher = {Springer-Verlag}, +year = 1982} + +@inproceedings{ckt, + author = {Peter Cheeseman and Bob Kanefsky and William M. Taylor}, + year = 1991, + title = {{Where the really hard problems are}}, + pages = "331-337", + booktitle = {Proceedings {IJCAI'91}} +} + +@inproceedings{kappa, + author = {Ian P. Gent and Ewan MacIntyre and Patrick Prosser and Toby Walsh}, + year = 1996, + title = {{The constrainednss of search}}, + pages = "246-252", + booktitle = {Proceedings {AAAI'96}} +} + + +@article{am97, +author = "Brian Hayes", +title = "Can't get no satisfaction", +journal = "American Scientist", +volume = 85, +pages = "108-112", +year = 1997} + +@article{vardi, + author = {C. Coarfa and D.D. Demopoulos and A.S.M. Aguirre and D. Subramanian and M.Y. Vardi}, + title = {{Random 3-SAT: The Plot Thickens}}, + journal = {Constraints}, + year = {2003}, + volume = {8}, + pages = {243--261} +} + + +@article{physicaA, + author = {K.A. Zweig and G Palla and T. Vicsek}, + title = {{What makes a phase transition? Analysis of the random satisfiability problem}}, + journal = {Physica A}, + year = {2010}, + volume = {389}, + pages = {1501-1511} +} + +@conference{San09, +author = "Peter Sanders", +booktitle = "Efficient Algorithms", +pages = "321--340", +publisher = "Springer", +series = "Lecture Notes in Computer Science", +title = "{A}lgorithm {E}ngineering -- {A}n {A}ttempt at a {D}efinition", +url = "http://algo2.iti.kit.edu/1577.php", +volume = "5760", +year = "2009", +} + +@article{maxClique, + author = {Panos M. Pardalos and Jue Xue}, + title = {{The Maximum Clique Problem}}, + journal = {Journal of Global Optimization}, + year = {1994}, + volume = {4}, + pages = {301-324} +} + +@article{heuristics, + author = {Bahram Alidaee and Gary Kochenberger and Haibo Wang}, + title = {{Simple and fast surrogate constraint heuristics for maximum independent set problem}}, + journal = {Journal of Heuristics}, + year = {2008}, + volume = {14}, + pages = {571-585} +} + +@book{algDesign, + author = {Steven S. Skiena}, + title = {{The Algorithm Design Manual}}, + publisher = {Springer}, + year = {2008} +} + +@inproceedings{cp10wshop, + author = {Patrick Prosser}, + year = 2010, + title = {{Triangle Packing with Constraint Programming}}, + pages = "1-15", + booktitle = {{9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010)}}} +} + +@article{segundo2011, + author = {Pablo San Segundo and Diego Rodr\'{i}guez-Losada and August\'{i}n Jim\'{e}nez}, + title = {{An exact bit-parallel algorithm for the maximum clique problem}}, + journal = {Computers and Operations Research}, + year = {2011}, + volume = {38}, + pages = {571-581} +} + +@article{segundo2011b, + author = {Pablo San Segundo and Fernando Matia and Diego Rodr\'{i}guez-Losada and Miguel Hernando}, + title = {{An improved bit parallel exact maximum clique algorithm}}, + journal = {Optimization Letters}, + year = {2011} +} + +@inproceedings{cp96, + author = {Ian P. Gent and Ewan MacIntyre and Patrick Prosser and Barbara M. Smith and Toby Walsh}, + year = 1996, + title = {{An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint satisfaction Problem}}, + pages = "179-193", + booktitle = {Proceedings {CP 1996}} +} + +@article{golomb65, + author = {Solomon W. Golomb and + Leonard D. Baumert}, + title = {Backtrack Programming}, + journal = {J. ACM}, + volume = {12}, + number = {4}, + year = {1965}, + pages = {516-524} +} + +@article{bk73, +author = {Coen Bron and Joep Kerbosch}, +title = {Algorithm 457: Finding All Cliques of an Undirected Graph [H]}, +journal = "Communications of the ACM", +volume = 16, +number = 9, +pages = "575-579", +year = 1973} + +@article{prjo2002, +author = {Patric R. J. \"{O}sterg\aa{}rd}, +title = {A fast algorithm for the maximum clique problem}, +journal = "Discrete Applied Mathematics", +volume = 120, +pages = "197-207", +year = 2002} + +@inproceedings{tomita2010, +author = {E. Tomita and Y. Sutani and T. Higashi and S. Takahashi and M. Wakatsuki}, +title = {A Simple and Faster Branch-and-Bound Algorithm for Finding Maximum Clique}, +booktitle = {WALCOM 2010, LNCS 5942}, +pages = "191-203", +year = 2010} + +@article{tomita2007, +author = {E. Tomita and Toshikatsu Kameda}, +title = {An efficient branch-and-bound algorithm for finding a maximum clique and computational experiments}, +journal = {Journal of Global Optimization}, +volume = 37, +pages = "95-111", +year = 2007} + +@article{tomita2006, +author = {Etsuji Tomita and Akira Tanaka and Haruhisa Takahashi}, +title = {The worst-case time complexity for generating all maximal cliques and computational experiments}, +journal = {Theoretical Computer Science}, +volume = 363, +pages = "28-42", +year = 2006} + +@article{ci1993, + author = {Patrick Prosser}, + title = {Hybrid Algorithms for the Constraint Satisfaction Problem}, + journal = {Computational Intelligence}, + volume = {9}, + year = {1993}, + pages = {268-299} +} + +@inproceedings{cp1997, + author = {Ian P. Gent and + Ewan MacIntyre and + Patrick Prosser and + Toby Walsh}, + title = {The Constrainedness of Arc Consistency}, + booktitle = {CP}, + year = {1997}, + pages = {327-340} +} + +@article{jair1993, + author = {Matthew L. Ginsberg}, + title = {Dynamic Backtracking}, + journal = {Journal of Artificial Intelligence Research}, + volume = {1}, + year = {1993}, + pages = {25-46} +} + +@article{Konc_Janezic_2007, +title={An improved branch and bound algorithm for the maximum clique problem}, +volume={58}, +journal={MATCH Communications in Mathematical and Computer Chemistry}, +author={Janez Konc and Du\u{s}anka Jane\u{z}i\u{c}}, +year={2007}, +pages={569--590}} + +@INPROCEEDINGS{aaai2010, +AUTHOR = "Chu Min Li and Zhe Quan", +TITLE = "An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem.", +booktitle = "AAAI'10", +pages = {128-133}, +YEAR = {2010} } + +@INPROCEEDINGS{tai2010, +AUTHOR = "Chu Min Li and Zhe Quan", +TITLE = "Combining Graph Structure Exploitation and Propositional Reasoning for the Maximum Clique Problem", +booktitle = "Tools With Artificial Intelligence", +pages = {344-351}, +YEAR = {2010} } + +@inproceedings{tomita2003, +author = {E. Tomita and Y. Sutani and T. Higashi and S. Takahashi and M. Wakatsuki}, +title = {An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique}, +booktitle = {DMTC 2003, LNCS 2731}, +pages = "278-289", +year = 2003} + +@inproceedings{eppstein2011, +author = {David Eppstein and Darren Strash}, +title = {Listing All Maximal Cliques in Large Sparse Real-World Graphs}, +booktitle = {Experimental Algorithms, LNCS 6630}, +pages = "364-375", +year = 2011} + +@article{maffray1999, +title={{Sequential colorings and perfect graphs}}, +volume={94}, +journal={Discrete Applied Mathematics}, +author={Fr\'{e}d\'{e}ric Maffray and Myriam Preissmann}, +year={1998}, +pages={287--296}} + +@book{cadenhead, +author = {Rogers Cadenhead}, +title = {{Sams Teach Yourself Java in 24 Hours, edition 6}}, +publisher = {Sams}, +year = 2011} + +@article{qsort, +author = {Jon L. Bentley and M. Douglas McIlroy}, +title = {{Engineering a Sort Function}}, +journal = {Software-Practice and Experience}, +volume = 23, +number = 11, +pages = {1249-1265}, +year = 1993} + +@article{sparseSet, +title= {{An Efficient Representation for Sparse Sets}}, +author = {Preston Briggs and Linda Torczon}, +journal = {ACM Letters on Programming Languages and Systems}, +volume = 2, +number = "1-4", +pages = {59-69}, +year = 1993} + +@book{dek, +author = {Donald E. Knuth}, +title = {The Art of Computer Programming, Volume 4, Fascicle 3: Generating all Combinations and Permutations}, +publisher = {Addison-Wesley}, +year = 2010} + +@article{carmoZuge, + author = {Renato Carmo and + Alexandre P. Z{\"u}ge}, + title = {Branch and bound algorithms for the maximum clique problem + under a unified framework}, + journal = {J. Braz. Comp. Soc.}, + volume = {18}, + number = {2}, + year = {2012}, + pages = {137-151}, + ee = {http://dx.doi.org/10.1007/s13173-011-0050-6}, + bibsource = {DBLP, http://dblp.uni-trier.de} +} + +@article{smallWorld, + author = {Duncan J. Watts and Steven H. Strogatz}, + title = {Collective dynamics of small world networks}, + journal = {Nature}, + volume = {394}, + year = {1998}, + pages = {440-442} +} + +@article{akk73, + author = {E.A. Akkoyunlu}, + title = {The enumeration of maximal cliques of large graphs}, + journal = {SIAM Journal of Computing}, + volume = {2}, + number = 1, + year = {1973}, + pages = {1-6} +} +@inproceedings{segundoT10, + author = {Pablo San Segundo and + Crist{\'o}bal Tapia}, + title = {A New Implicit Branching Strategy for Exact Maximum Clique}, + booktitle = {ICTAI (1)}, + year = {2010}, + pages = {352-357} +} + +@article{sewell98, + author = {E. C. Sewell}, + title = {A Branch and Bound Algorithm for the Stability Number of + a Sparse Graph}, + journal = {INFORMS Journal on Computing}, + volume = {10}, + number = {4}, + year = {1998}, + pages = {438-447} +} diff --git a/l4proj.pdf b/l4proj.pdf new file mode 100644 index 0000000000000000000000000000000000000000..46e8a69f15970ec06776864d10d562cba090e50a GIT binary patch literal 101786 zcmafaWmFt6w=FQZyA9C6-QC??3lxeC?pEC0y+Cm-?pjatNx-#& zW^dw(geH{uQ5sIg@|=ItL)#aQeAMeEa=O`ZJ3{Ev%XWLk>U%4fK#1rRTo@S)MrM~M zXYRVzmfv3YL~+FS`9rTQMpY=~6uATn;h1AVZz1B_+}!Xg`LSPbeQk^ct@$4pw_mzwj0tw_m3IZfzh=%qEOYgexY{dkAy2Vtl`;4+lAzxMJD7LHQZ zW^N$9e|^wEW|fd|^aOoj`K&=0G z1^OqK_H>igbo}c*m>BwIsU&q%Z~HYi+AI9 z-SDX{2T^o1c~sY*BDu6jYOt^myZfI84&__X#!O ziRdct@B7R1)8Stck-ztU{oj7eJ~2@WOT_1ietJ58r95OOs}_Fu5x#xDcKr1B_BJ3u zS2RJu5(OtG9P60$I7gk?p!WGe(JLoT%JLoMbV|FsPGNM2Y&^h;iZagsx|>IqpwTAGphemo7gN+ zviQ4hi$yLs;m2uss-02pqQkqojp#Ws89l+IcA}kX)8HjjWbM+60(z$3ym3e7tHaul z!?&aQT-vHycKh6!?jN((x2zr`FCl?MyV{kY zDm?F@vde^kXDjM!6#m^-Xr?ciYiZ!i)>*P}1?%_-w5!II7I;AI!_w~{sd+l56HDYN&@`p^g<6Cu_MX;m=Xwc~p3l-4d*Ya?^V(Pya zyER6s^p?zkh7eaTM;)~H>d;Nb6d417BP|KrCJe>UdffiSZlDG8=juA zlVSvFUHXz=OVw1Lg*P18FnhQDNt|m=>mp=X>zU*sg={Jm5y&+Ahn-C{yOU33=!V%e z@>cCto~uQk8`D?ih3}AB~WohPf0lnN0^C}o}5uxTj25i6jE6aYU!xPt6__; zo4`X15pQ1ow#L)*%2PvYbI4)gQ@`eYu1uN(dZnqk}7R zl5#V}Xi_x6bUrRo1k*2^ar3ci5UoWXjOkYmmOK8$FygM@iE$%x;Esu+f*$;MkbKSw#F>lxbL z=BmIEh89o~<>S34po$vc9c%Km;xuU2M0)2&D0~bsm^gA4`#ta!q|5}whr);;J%q8? zD;{7Ai6|wsrdS{brR_DQxt+a=ot35QLe*EthmZG&O@0Z#!dY`b`EqtyCPOy6j9?1Y zrN1v{2EB`xH8j{iw0q}5Tn|kTEjwHQT})&-&p+76NpzFe7A`98BeOp6^s<~NtYxOl zQ}+P`WBB7&qr;C)ft6}gQq%FPN$bAwb*}ERmlmac+kLfntTSQ{fRtaBfE$C8#!(epl@fIa4zMp_n3a*)g9TttF=_o7*!y^m(frPA-%kd-dzI zOKF%e1)$;;#@t&~u5xUZ$!OZGP)?HZ3~#c#{rLQ8xYW))r8kVkv`KY2IX$L*HQ&zn+PiRB4{jAd*Ci`FN5($7 z&PCD}(7n|XdW3DZ8@v)k2R9!enf+V8Llixx83&Qf1#5&b2Cdrw_DT#tDYlP>aJM$` zU8k4*JnQ!=QcFq_Py42QQIV(Yz_KNnxsXfBE#fL~)Qpyc zRwe8b)rjJbOCH+zm=$O`g%)JlG_xY43T^599ZC=jlNR!}*y3K#8{4}S$?JO^H?219 zC9OeTgEfpq&75=(aJG+6Z6h(-4ed960?Q7zNhmEUGIiL$mxfaM3!AtqhIymaxwXD` zcn*-qhb$iC21$soHje(+@&Bl1ml*xMp&hXM%pHbF(vSzNSV z0CH|wTx(^q-iCvMa1Pt1nLO~h5#Z$?p&v2=KVXF-M@hgEf-%5Bq%gPEXPMsc9NO6U zosG72%{F2p9T-YV{-MfF7`+I)Rm;bfQK#6b2u+s_KiTg<|$}d6-3DE)56K)U0fep`! z4dkUyj9}Mn@BlxJ-QEZj*`au=!e~;Dw`9_xHFUZ00&Fo@hkZd69aM z!t=3Gh;gi&ut_WqiG_OD0?)4*-$-=+Tb@$*^1pa>S_opXi^T_vJ;7gT6HBPJj@OBK z05omtk)+*jC@%Q7N6@udgK?EDTw)cIoEEPZ*~B;oO!=i$@gQzm9lDzPSuvhH-=7jY zRz2b^@TRlUp~j~!epT&GMFy&6rNjGjxyFnWey8DXH2FlQqx~N+!t?PtxV?y+)g!vb z!3$L26c6n1=GCKqseEr?(D!L@IJnRq zFCh?bQR`5P)1yx&C$O$ux?*~PN*qoai_p;qO`Dl<6Cxg*sBE=XIOW|Ibz;F0tO;Bz=f65`Q+|iz`00F z=?8#Xd)!XxY(b6oT}a+J6;#jJGxkwR-!JvO3Z8%?DS}=w63+VKrtciB_{ff!MyX5J z)hOtjn^UBcg5&nnm5$m?tC_?tGg#m1(`I-=Y30&===oMtHSfW4(0--;&&GZ**pY9L zDosigIFAjH43EC*?i+wRU9?#PN*67wiiu|O-L&W%VpBLTtUbsi)VROk*ph`EG?*rT ziuVi^Qs!?Zbj`tZ&o|8cp&d8XJIz^#IXu+AB;dDTDL5T_-#3!S4v%NXuEwM(=4Uijmc&=OyT?c*6IPODohi%QMCB+AG{JVh><^PB>-Dr@H#SI_r>2J|)tc=_VeM zMTZs>J-UXz$~eQIKV=H9@PY$-aRRRApMhJhX^l*i9po*mS5v+Lv5D3!uW&A#!H7R7 zo{1J`*>M0-GSePwrH5A6u^mlyKx&xM-jnFdH#@}Ulz6YK3}atY=HG1nuv^DA0e+~) zDWutO&mx%mCJeGhaxDQt*{ybX4v{m|x!1zjj*>BBO$AJdv8cLHmna-Z7$le$QNNQY z*6Jj`+CLH;w~8peBw#+<(iA;+gF>c=i^aSEF-SF2)!N<>RcV7KDssf-=gd#f8CR5& zvEh1sh|S~(%qB8|J4%7iMvMH}I6n#sY-f`3_Mqw{;kgHv+16z%?M+>CC0P+oQL`%f zt|`{FNDqH+My3S6{bNn}v~5RT9rr0szI!4OPTdmIcK6Zx^^#ZLfry-50UPAkyQExT zsEGto{NLV0<9SXQ)C;fG9B0@o4!*%blBeKO(i_zJl`^i#2c>9dU3(xB7j1^^B98Vo z0o(5&J0;3O01cHS!w^Vm&?Yd2un)dnz}~CgV@-u@*rf{#KtJ*rE`}e3;@MgxhuDcb z%GR7X>nt?xI4yO|W0f@01X-S&@K(bL%CJBa%Pnx03s9cyNi%}gq zR~w}99O^(=ELd3wfpZvA6P};$?yU<2aG6EX5qNV}b8jhVIgH>e(2Bu4|ow?7wQtS_*m6lcWd)j!xt?xd3 zg($P~p%!XlSo4@pxz-Fs=*CT?@sg(xzHNJUD97UIYQ+(xlPyr0Fmx%H4JJLyBgETw zbzy$9;@pQ0bB%y6GxxAZyW(RDA{w*dS0=N?gvpbH0s}^(w4Q_y$g9&344Tk}sB?y5 z|4JlF^*s%iNOt>-?{@HR2UUOUIeUkVU<1(`okXF728;P%Q=}%1`*q=hjbU>f#TXjI zxrL#5(PEMJiIS}&dh5^K_E-3b7xHJ?letW5TU493RG%OnOsXAdf78daP&ATJn9#WdcM_Usc$|g`?n8}L88of> zdg&-bm5??U(fMfnVh+OH0XikOq1QBO(1g;IaP=pl6){ajR4-+S&mylEZEx@48!jE& zV2hI<(_}l}p#AtTe=XHn$n0Ac=-Gdv`*a>Wy@|X3*V>a~*4omsPrQB2=*HB9`T=K{ zUSN+w#g9QH{8WYRES$Pv(N^wKiv5HttY{A+)F@iw#vd#GBvc zhJ?G+OW#4mUn|#9WDu2T9N4z;Vh8vTDLS?p^7Vn%Pi28hR;Ml5P49g=$}pyeB2{|n zyZBx$Sc^|qO_K0sqou#itVfsaDa%<5nB;=z<$7&00hsuDgL+dJVlWvp80*O`Q2gx#=cJ$9M>j@*!O*S`ooM^n--G1@Ez z_P&B2?y-hNEI_LN24aw|q_h2+aI&LlYYWagNLD#O*?rZswxa(TmqW1RglGjSgZERo zCd7)AQB!JB?-QV~Tvdf#t96M*tjr0KiQ|P0>VxG9_M8`qVSKua1i0EC4M?KXjHrZg z2E{_{T87iJ%?=-)L*vwpccAORF5+kLST#|nO4Y+96bf$jibxEhIMvM552{UXgl}t0 z)sxPeuOytDIx#ZX@(Kba-td3y_z&RjYzTTWgI->(}o8XMIMo321i1Z_cWp-iTrNoPY@|KR0a$?C^ zH9F6iFxE@_t~h4xWyL8#Qa4$ft2M&|Pay&LaUJusA_Wucd6__M<5S@rTJqPebrKa` zLDrNr6?lRsq#L!Ewr z4^A_-(KfAW`cgg*I1aeEcf+{d2{3c~LL2*)f_EM}CQ~#&Q>^0W7FFMU*OAa0O(ZPI zn(p7O4W}>IHS(c-qKdV^pAC=3l8bU1#}6pR7+n;YPEO*O4>%@y5qfx8;;kf8P`{~t zLgR8MyRc4(P{dVZW3vXQ!)b}YZSt7%!rNOb(6=jySl!5f`I|6A)c5*Bn%`KvL#8b< z+UgDw>+3#?^AHw8x09YX*r^Yn(P>DW|2Cc!%b$|W6i7_PMR>d)bK;J&Q(C&iwW#p@ zctzObQ_GPz+)&{pq8OLREFJ!P+jE6~qxzC9^PCS4=S15%F2AzZPDoBFiQ;hrcE1i`*m8uL=63ZL7D$0-5@BN`kOg7}dT zVWrO6tsl9dYu&vJX%nx&`pBdlWMQ_p2*=}#4&vRSV!@ewJBfR8x!y_gD;cPUufpDC z^tpjzDY5#P=Q7j52+wkwKTQbg0m)mvy@}|-y@XabPg*i+Za8cXoBiUnZQ!JJf z(^42~&tSyR+4Krwx6@pO^%=Edx(P{EOP?Wlp_rgg5(w}Wteh3H_?%jDCzB_Vxr(I z`(UFAgk+a}{G4yIMs?)zNMGf`zjDc$KII4wgGHp{+|c<&np_coXRlg6IVO)hW&5TG z3rl-FJBw-J@VM*GdPN3l7ucT_jIH|DW`8Scf%hln(TRn1y^nP!(J2EyhA2t!@5e`_vZ0Bc zigh9sHmyUephu))vWf4Dp?$)c1tn_e?`zP5)MMKbxV2XGsk|VuO6nQyyA)hyc+4@z zG^ohrohm_OxC$Ti|@*_E5tc`{X`OkeNV1*y4N+jnX zyWNsgNSX;oxNR{n#q_tERZ1B-haHPHdsj|k;$XQ zX{jW+WSeCRuuy}0It3*5>B;Cr(NPdkll39*n&^yUYfO$@xvf9~Np#T(ckxp5o_}%H zMzAU1mW?|k`%(Ebc+s4oNq<%BjvHw!(0woz#m803VA??=17co1=AT3wGVWuTqaYTv|dc-Su z1*KEX7N>9E4m4TED^BK2g3?5bg_}m<+y}(I!okDQZ`9^|+^;1CX{l1eaP-RcW7|pM zB|D`#Ic%sEM&>4vrCp&%h2(0(7|S8N2hM7xvSXZLXE-PzQ^{;!&!gnv%|+f{3BK|RdGtqhHBuNg0kTFLAtksvd{HLxWwMKbxlN1bpAz%RBdLliEnvyivf3hv{?*G7LLDfk9o=hH!@cg&!q6>T_}uhbDuRFz3Y(vAIq z6%?uBh0qS#5lJxWEK^5HMMLeifWxc?`uQ4sY(NS0ED9Vjzr+v$E>@Wfh(UN*I&2BS zAW)aYJx)eU2s!GD_fR9-DSA6CJ@TqBqLVn=rK{YYSQe5%{z|x!u2Kfeen{{75Z4p(Qw`~1YG;yU)Wmp$c5vgFGuJ_e@+ZNk!J zYIBZn`~1DU@$q8y$IfUNk46(|iF9TZ0Q?`m$`W-7K5VGSer^KGT4FhlmpzsEiXM%f6RH+BKej1U z>gCbs9r9hr$g(JCV>T)_0i@E-Z3)jO$|gY9rd9A~(&(yKD{GAt3ip>;Dg1vhj2TW9g#YvksNEkkunV!SgQI@YW@t?nhLs9`w~?O#80?2y2sMjr3chA>8It+v<%5b8slL)JD4wP8$s|$>#QcoOIfQ;UXoPz~ z{=_PR0;7Ky*1!E|OSapnOwSeCG_@rDF@*d3;?I%NbKomh1feeu@zIve0|@R;R`STS zLR1Q2I4Fqxi$|(FeE8g3%}je+`KJx+?TXWJanjVd z%FWU*JF&gW*hR+Wv@iy`t-YTTWl(DXMFjH6Njb6s!J>7%Xz(%SaV3>Sqzjw3dguUw zawp%pcI~!U@i+2TGjB||H!e)#3}=zgceEjF$;E2Z^oVAtO{6!nVvYq?p<4eg<`Qwp zw_zk~mlLZwI9RfGa8BTu`349^k>z#HbR^ zKs{2r=FH4Od9r{sljOc+3Ex7ssVK8Vj!VkXAQ%4o*C+bFUw0&~fTKQ2OyqM^5S&^l zXbV%dyFY9IF8}VD^V$}C&sut>wKi-yBUv81u;(ksPGY#P zXgpw!zj3^BzQI+X;Ere~U|4Vn0E0WTYV)4He1p=Y1hCK<{v{E+x{@ROR5`k(rWtbW z+&VbQFBB1(*6P$H-eD~yT+<>#ufh^Y^}ZpVykHX0zqY&Q-a7P~A96pOoA&r5G!~E; z$C*!27F@FYlpU`Gk5}O`2nA{&!-r zTfqGg6+YNK$N(`56hlQH^iFWw|7j3lLoz>WURr$Jswn)1!u=)nS&{O5Z*f{+dLQj~ zwik9jo+Bsu*s<7m8v(2kBvfJ?p-WulHxExuVIxgFeUC z)B2r}D7{!<+&)TJ#eyZ5(<$mX5L6K~NLikAJS60o65I&;GRniw=B0P^EN<{&9mrvTBl-^9ZGj7!);}|U&AUR^-@sEqHd864v?w3a z6pz7$s!)tzbCKt_M9=z;cQBg`?p(rW#Id2ngP=u+;6m*6s_??e$*bc_x(a8n0&{aK z3vB`-=i$(#;E0hKwV@HOvNh*zN6-Yf6}ZW?Xil;R0ez zI0)IBb@*~}oy>_zotUPiV+GWUKv=+_c5IomhDH0kKT9NuWXSP?-f~H()bE@~HS=P9TAwKM{~p4}pv|yRrRw%SBokwYQ#|UltSP8w6;6pzgpGkOp5j z(HYD5EGD*|O(94e1ac%&CVwt(7YNK9owY`F!2`bSD8>cZ$0kx-1~%1_sq6D|Gk8VA zdim!V26N2G(#jVX<>p!l&wqD@;g z`qz8v^s_3lVRqFQd?Is1dW~7V@>L2NFVAMz8GmVG3Kt=_PrBfd8;av%$f)}4o!B@0 zGs(!`Zarzc4vMLO^s$_-GE2=nPF=E}-DZ8ddibtCX^SghIyyf8HOQjN*>nFIAUsyi ziQR~jW|>(cj0uMa8;$O1>7MYSOZHURvEL~oxh(Qr=CW(&Bd@S9CMf~*orpQ@UrXO_ z_-W*%Alb{{30~0>X9i)hf${&ErtLqPV+T}9Y3mtrxsEVp|C?m=abD#De>A3j4tWj{Af{-KFQbt6|bXI1;VF{Aok;ciFKduP(Em(8S zK&Vk0LCP5jzv6=Nn&_56BjmWj3mn4mOOA&6d?dZmOz@@~#mXG=+z zzTj7Qn+-5kZuLFMzx%r`_y@gj^G6rAj&z8XkoCxR1Kvn_Q6;jK^)hq1c|X$7O*){Ws*)nR)kIRF3hH4jy~u+ z@I%tNOHD2%{Zwl{%y$n$D2dBz%ExZJhoq$gFRwX@e+xrMJF!EhiX|??7)o1=L01GM zAG%{AznX(!OuD01Jiz0G%)Y0wQbf0sE4$0j(6F)=zOr2dIEgld=z;X{{?KX~vN{#_ z$RuUi?H=uGuSE(X`XSL@ZJp76;H3|Amcq%5bBKsIbC^C^_!%Z{M<*Lw?i;5W%f!@H zqXoX%R|_{63q4-2d1MZnUT$%^KmUPEREGrxHf=;=D(8V}CCiu^c1Ho5I*2*DH82Tq zG)f*&A_bxLe@W8;2uPdz9> zlDjnVNU-KqjU0zC!*HVkucT6Q+M*WHHpidB10y4~4L`Br{?xYalV&rxt^)2eGuax4 z4{&HUPK&3X!!+ZX_=T!ux}yYsx?@QD>Ols6ko&_)!GX#ArDT^gwLRHM3$Nmjx_Du} zMqkE(Tmv})M9c4o!QgIzQ{9cFt2h=H`Bwh?8MVwZFb>g_yXU zoaPwhkz9!sVR2wd6WJsrazx``{;062E@PKk+oBC|f%T8L!b;6ovDkrb0y!Tg!rTVa zU`_OAL$UP0Pgg-8-7`W3y(aAYXDf0uOj}w84&^lQ9`~=}=0#D%jp$zHU4-7+iS;nj zm<7P;06lWuK0eLwyKqE$(0|IHP$}oHwEVKWR^01Dn*_2|Lhsb&rCxBgLTnOo;_mU!M|mzgoKmkcs?Moo`r3 zgZiq7(WfFg9~PzBrn^UYkm$iqjlAuew6v2r=i7}PYSe{~nP1EKMJ97|18H8DU`(`ndULa^18psSTw4;W4EP-91} zvU-naC~|<2te+Db$WQmuA{2@*VyXAcg)9BBZns91Ga%Movsw+=H9w1m4d+M|2&BOw zFC2XUL1bE)a9P{r*Ms?>R8{c4X*jw_CNayXwaw|HQaJ>h71;n2LmqAiXL09@=-5zO z^8rB{2%P5*Rxkn*&@eex*j&HdNa3@R&Mgl3-S@wCPQH9%(+(6qsvstBW1df~g1bb) z5VxFXz9~9lc4S}@{#MUyfuoF{lJXO+h|tYzUpoc+n=VsxlYTZf{*BTJKyf3Lq0Uu4 zQ!@#iG5}2J(;OonFPutZ`7P6e(&{WtDqezbY|jZ0RGZ|!<$=?SQS?YcxG%(_yTl{Q z|D!5^1{DPTLmE-dq>E9KUq$;;*WM@O_qI?UVn^?^pq_q3c2|{{Ttf;j9wIIJfJKoC z{odCDB{!txUp?XFtOH3s4DQn#_D+W!X=V)8<(?t{g(M?*~c=yxd zM=@F!`}$v4bBR=_g3*_t7R6Ni*;j*4*17qo0eN$EqQ3Ck{LE960DT{6O~6}NhPp*&k^Bh^2)4{N3u zqv_8Phl&1CM8}?c!=AoTB3g|5t@!YZXKsdSYdCS zeS6|irD5uyh2VXF1r-uI>$ex`3{!ep2O0}-dhUFy-YBtQdQk{41ZG{Ib4nZrHf~Ry zbg?+2-15jJ7QZWWqo@EpGcl;}clDR1$8I z%ZUG(2tO<=uX=1u(FxRTtPb-h$YAQprAsnb4eH~7(6ND7Tm6ZmlBs)q%s>h%O$?s# zDcIK$(oBGu?_EfX;?mXJ;J*pt<(*#IB0ppXQdTkY?pqqB3$Tu2ARaUw@o4hZBybwU zA)m@b`h$ zWgePA8G;*D`O~^2Kkc0sxdrBMkLeNyi{%Oi_?np@dgjZ$Hjg=t$Cw&K`Ub-F9g%mG zx(O7St=x3PS&ul#$u#?tQGg669Mw)U=seJB>g4KpWSWHuyy$HP!8v~)TnT9D$tJ*= zn?LqFbgq?N^~1qu1=P8dc(5yfHM@20o1&nNBdZCAx#(H$(p4t|s48JWsvz=mCYQ0ik!ZDZo2(n~RiV{%F|SIYKG0fuFZPnGI#9UuDI3TpB- z@X1ZIrX(sXn~KmA=u(_f$g4Uz9YVv9JR4}HzI(WSxBMnw*~VJ+^~OQxJVtSI;;}aD zVfwZuxgZ`YStxavSW;bTQJ8_cf=q9zeFx4flVs}a4)tPyVv3$6YE6JTczMDY zO+Xc*>?tr!MiM=qRdS%5WP|{poZTt59cI=Bx1Z^@t>+*^#d|c8JF}P%!=RM&7oyEn4a(z zQC_Y`2L&X8v0pI50>9ndvB(U5|5d@n4l19WoHSJ@vxV=0&iwX}x>v=B)-A{N1Yc=a zZl`h!JV*_sIka-=*&_&flcNbgu_!sZ4-dbnG0!1cTtX&mji8n2eu?!j>Z-b^Rczjs zh9s@0cVqV$`5yne^>`i$@V`!RgzOsz_@h|ePyO}t|2X~oUY7UwvdH&isizg^gJ3Oy zBlXpRGlFXgs$2BqcfgOU1sv18BYwI*vznNixLaZm;YJmslU&q=_tCa)oHD0{yVxb1 z@y&c`wc~1=!|6qPOO)j32&n-Su?R%!=S|Ohy>R$^T?qrr;Du2Ir;y@MgQdP?b7Yyg z&Q@#@Fm~{QPBWJqxmdv^I!3Qy%v!HdY-1~At7}4CW>fkEBV(`00c1wZeo1A1%ob++ zAb%MJ=!T<{034{@?L10Ge_tgSdHf7C%#R;>mohDJ`zl(xZQcCpQf7~6hmnJ{4=F4O ziR+v18b&aqX&|tOX*-iDxrt_=HQ|g_p>50zLKe!3Ix&$x=G*%$!`~r>Pxv1@(_y@-mhDVD|#1`Re>C@u1*h%&S-S z6m>5rx+OQ}N$8kh@?9(zR!!`hfg8*wDJ9k-#|EBaSedGc=5TEMp?ti1W%{CaCD3OngPR4`@2aT^5fRzL(l@cU*Qop{hi4 zHY%ASl~{!c6rBW>{IlN@_!c+zI=3?fF_idKoDTFZJPIu&wmNR_TZ~pEBOQ=KVJwHq zC=RL|A&=ouMP0}u7pdD66*no?WWUs0SR0I{JinQ!NPTsX>o=U8I~L$hC`*aX$8UFs z=@%mw9!a&(SzEbsINYOF!4HK-M-7rI|R!GZn zp~vTedFGp!4lMGQwg>y>+IFOd&l^6=9Sz++4`}_~-4AFc4Lhs6j$5v-kYTcWr@B)w zGL35SiOHnc3k6vnh1%LrJ1kwXEDUPR2NufJek?WAJaF@hKP-A;_?#|! zOdVJpFl5vAS{PUA3VXihW=Ss6bw+TG9(wtX#0J`Wc~yGs=kS$J4>XZ)Av6sBexC&z zSIi#bBX!w)AsF%E^G#~ym}bf@gNtiP4y|{%JLb%1-YxCl^vG%uVin_4%|8Q6`>F2l z`($PM{Q_8sm+tmgMGOmint8lKTXXrfl85blB>CnNRvC`Q@){DN?0(O5D~H@+tub&7 zonD}daiCK2;*8TUX4k{R+1@iDDHT|V2HljU(D)vFt>Llxcy1!W79wh(d_%AI zk0v}~l5bwi#_K1V#35{wS0tq1EDAUJz5m}+W?*FbpC1I?2?AT9W8?(UQ8;N7Lt|A- z@*$Ni|DZBSB|?TiHtX6fuMUvXB!B!~3I&7JyZ?WHBikPn^7I&dVKGJHYqV(xB4E5;mOs&DGrIYcNWnSdH6rd&4pq3MipJT@3eu2P+8F zx@#^}GuRgSChtWU3q|~(yKhcWoMJH2D6Ri+J&NlkUN~b;qpLj^yuk!Hy2Jz3-hY`G zocEh5N{GcXrlLsW)ErhEdl&LW-|Tj8NZoseyRblnkp(gXf_jH4?BdbNV@;LYBF9hR zjw^%g?gRu}$6fz<4R$U;YJ1l0`P$7tJ3)v-%qD@`pvj)Le0^T~=OncibSiTBj+E8u z{Ek(GO5VY#e{)uKqQ{x}`B$Z_D0E@%y53@v)~&C2pq|hZdToMB_!9@x$S~XT{OLMX zbo|m8L4HLvEtK|NbtQ#nbd|h|Nfq)RL%xaK-NW7=cd;2xx!9Z4ovTZxNWpCSi_EeZ zeV3Aj2-ryx?ydBWlsz}zFf(gysh{adM9{*3FE-GDubBJ6Mz+`JUJ`JN2*f}mr(0>T z;VeouX|UJ>RhTd*BsXa%7E{`M(j^Wb{&42x&k!oW$EXw?foO4~!9N?;v@F!v{(8go zT~_H2>=uYb?qq5j`RJAvqI>rSCA;!?3>A+vy7L$n%V3@i@#C-v9AA6Gd>QKXg&Xnl zQ66tbg#=n&P~TD%^7b|deoO*k9h^LdY`Qj~R1pAP(I%T&C8qZtQ|RsS(LML*{EqKy z;nhN$bC1E<-9+kQiaQs_XfB)mZApT}dBbQZK0d^)l5hGb5^jwYJQ=^}S#-Ok5RO=; z3ISXRPV5iSj0c(3ldz#b_G}-p2Re0v8F=Yf^^jNPCYUxZMIXO?)rQ62(;p}PZHvRC zU#V`WvC~D5r*jk2^GE-uud99*h27I3v?unEZ6sd=3L0`q&#!;lz0*!j!dbnVP5Z_V+-WY*jijxb<5*RH@VnAid< z4H+U_?7E?pFMHg^S--Wv>bbi1t(IBj(e^IrJ&4lN7@YfPl29OJlg=w{Kd2fUVuxfb z;SlaA$#z~_SB1FHe49bo8t{OuTJE~bLXa=p!CI?R;dYBFNelt(M#~7RapL8wn`7;H z`Jz}Js)7%mz|6r0N_)8q|1fw-Pc6nsbbUjK?ALC>=tn+vI*$-UC1eKElE}{D*AUxV zMx)LR?W8Pv-q1Q7V4m2~+d4kNE8X#Ny*!oG<;B-S97+ymG7~LatQm)h^sBg0M)Rp3 z3HhfNV%{e0GKH#ZJP27!d*Z7)NGu*bc@RHW6z&%-di!QIk&qPu=|^3bb0n2*NHRCK zm!Z*y$7j5Sk@~oZc^*E4Ik{P(q`wGbBQ})qOkT_X&IUI9s10If%N(d!+zMSvvPcfb z>;3h4bpW6z5DsVivrk&?HV?lP;`4iWq0|=xEev`>-pYfK@xsv5Q%)WO`>jzdEvEqw zUu<*ux!xLDr*a38!{s$dwKNsirc-2|nH$?Gf63F}_#^)?Xg0_x5w+&7BbCPBZ^f^2 zu1T&WN+2)nwOG<)XidUoevBc3qV6YQB{Qy^+;`YF>#qfc2KIIqw`m}-t@Y*r$NVy{ zRkvU`5Gd_3@IAK|1RN5vXs7XvnA^;)ZAF`-;UKvG?qc!h{dnow88VdfUhM%%aXY9} z6u8Z0IkxjVhnQCW#!ll+1E)@+!93--R2^o%%FkFg`^1inmPpng$PT*6Vi7GS;B zj{Z5tR5j-4vMuZhyooEgrm)v~Gs#5T#1!QX**jZn(=Cf*6rvy2B(Qc2n_8=auQl5V zWU!POhCAGeY{=HlSehAQvoTa!3};S(w&$ya8`IN{{tn1s8Hsyr_KSG3LBad(?oi;Q zQyqgs#0y3_$)rAN&CVr~3U~^DPmfVe!6NF(HHKbeF0))rw@J^>)pPCs=S6n9n9f{w z`GEh=)hoNQs?sDN$j;dhV1PMN)$U7mH_jl%yF1V>G<+{MowLbOfBEoznP87NjP*ru z@B1?6fWX)g1qY0~%?1+%Wg;zUhm*|AKrSnOlAiDhTO4Y?8b*xn`2Yov)c;}Z9AiXl zw!GiAZQC|a+qP}nwr$(CZQI6ap0>N+bMww5letea_sdT0q`vHxh1#qB^{eGfT@((Opg5nDjbwQN^ER8jBJ*ocpo%evrtoQ;^C*#STMYJuw2+dl&V<*&ckGh0GaWoVBj3OSJ?`5W`r!*jS*LST5sc{mcQHL{=C&a|NOvvW&vXV z13Q5E?-Bd|#dBa{Wc-hL4lePGc7qHEAupei*w=)oj;)Y*fw@rB#jb0-DR;h>MuDgo>7;SAas_E_E^ifo~kHzV@8GA0sxZ!hY`!urq-|SZ1 zIVpS?6tx|(eOEhMG}#R+YdimgiP-<$L@dm#|FMa#Rk~#VA}@A6Q1NmGM(5Tsw|-Gm zksugXVf;c~gmEb(5$Rt$8vadO09+X#PerD;x9xS6ePo0j4+L~dycm;Y@639H!w`_7 ziV|EW;5ZEg=3T;&fECQBK4@WkF}$4efUP>7(;l8u8b)xVT9}@vyR5k=DveftNhIC-mP=ehoc+v8jb& zC1_hR3LSsGYu@HLq?H^pHh+2--1((KubK!y+!oHp1hu^~bl6t>h=$mq74e<)9%(sj zanw*EBAQeba~d5Vl-vy%RvXS8=SCR_E*9`Z0u zWU72wk9(FKXQ#_eQ)p-{JrSk?{2Hixu>&Q;SY-?0XgO<~V2v{F$<4BV1U*2i&H8s2 zVEPw`;(tX6BQxWF`N024qu4xAlZxABgXuj}do>5f6tUY%1F~44)y(H@cA`wgv5qrc zt+0{#GH-l)DiNMI+Q{LFBnm4eS2{c*rc_L}aFjH^A7aMp-Mh)_X-6hHNH(8QY2+u9 zM9{q#M$eYdxPqUkdhGhR;K^d#au88U?b-MVmP|YrnaxI$am`HRK`;Mv#1Mx`t>~qm z+0g=A`G?6MIk{O|g#@uuAmyuP!u40hBWsCwwyAb@Rgwps@xWqb?rDQ1P!SfK__WFn zsEpUJol)2Z%mWI^SU+BBFI&-_CzDR8D+l3`+Lqc7mCZzicQcK_WUn~w1@?q>vN#APVuc?_ORAWnbE}? zK$XfOet5B2I)_+wm0%ajQIgK(o%$*##dDR<*9{IT=}%ZGZR8sDWbU0tWdzk~ z&Ii(SF2i0s^5RmjE@y)_wpSNOMuR!Hn22OVX=b4Z$YL z&TCZNi>ZVMMVn3(jw*72pc6omi+nTi&(15NFu^;CjIutn=m0n9d!JkP!pnL2o&wed`+%P;2Nb(aO+jmk8`V zV*&>DDtv1^q0q+nf45lyT<;1W16{3l*7Te5#V!m_%#Fs? zt?O6T@kW;oItRC+rTVs>PmjKWcEztd5hPs(K{W$c-BP)ZO5^iI-X9ict~;Q4+#*Cg zu%mGV1eFWG?BV0!!WTX}ntg9LugjS-CtTOv9F8EGZ2NmR)^92|33Txi;j(17)ovIA z@KO)ZlDRl~uX7l5^FNp*ln#5Aj~T)5sBS%l{rsLrj@Z+lkG^&;B23SIK9WQb6|Pq6K7w_u78o$m7!kcKImovwinyjDjjgRtM2A3K zoAtKVzU4(5e5RMg$CLh~hi}>=i9wliSa3iZg3hHypYVj`ftd>{#hW4bMG7Svnf+5o zA3X*A%C87^*)82}EZl@N>7VdgH&-j%yT|{5y%(=R^$#hR_1{x26ASZyTy;|xrT#8V zU;y^L{6gX;3N)^UVLOOyl3ZtD9Wa{fVb$4Lp7+<1=$fl}iX9?wsqe_e78t-`Uov*b z490D5#(^zQTErlj?KKsu+XpGbfFVeuh21NSWoIK_W*(dq7AHDWhYv4XHn140`joy* znmnr}lh=?myxF8$WK-f=m+l=tl5A6-v?sP<%E!b}%t$}@C$c45lm58pJGlGfK%c}! zEl{-b!R{7yl)S;ukh8S0&tz|6Qq-8E3|-L=XUcnQ0eUmY{ACSf7-VlnMA zw_f(4Cy1&PfcH3v`Bk`_?ipq))CzpyU7qw0Cj1wa>3>x%4i?V;*o4>VQc7D42>!R9 zQ204Q$`aInTai8sn5E1;#pL@4<4vH_GK*_h&Yi2n7`G<@cEc9Pk7knr*T9z@lpn z8pHIR(UV{eo%2{}rLQ5H`2pve1JfxyN`X+*%ZbP$T}o2|BHqV^J4~=FxiByp=YtYt zqTNYETWfy5{Wf|KATSVq36v4s#X4yH>`lkr^+vWymhU_TiM4lOHt#-QZKr zUxsCL35pi{6#`KS1vmo*s2nb^9hDG_=+*y-BRIwxLz-5Rm}PM)FC?!dwE`B(i>!;a zWc1o(lA0!|{~X^>#gamyR25vRWUqic-w9p=se`JGk{8OEat5nwQt8Wc8$WR~Vf+C< zR6yNQNZn$sSHVBR8tQd8wA10@=9^oEH-3&oV12Yp5ah%`s4Mpem#E4)Hlyy5-rBsu zUMS%>R5MuetQ1M&UU0F3>*ZFo*cw~w?oSKhu6}MbZH-N9bE>AMmX(D~SxL+C;%UR* zC#RKAPScl~v@FI4$n?)k!Iw$WD><$Y`7cY;mj2}U25FPsT-Dph&D%dR>!XjB%=C7p zSuI;xr?~%>R?z_FphPM#ldfrpGKVuErq$SA^leC`+jQZaX>(B}(Rbigp?bMQ8yf zI%?`^YAOm<8Vcq)ibe)SNC~xo6`LtqiUkT<;X#=(Q8AL)K&Wd^{J0ZMgX(Wd3rjQb zE<^hmElq>!EHfSbNJBGC@Gc|Y+#YHV2ms87`|%H7@DEv{vyGoIO(7ts=|yFOY@zA>WB_9ajxjGfYds;WBhbL5(JKWTxsJ=JD2jG{b;Y+=733EmBc&v_I+pAH`0 z2^9s@_U`O9V2Z5nf#m28op;^Zc_c7?HgF@mZP@D zI~wWMS7z?yf|!Stkf;-wriPm4)gX?QE5a1=Gf zy{(7KSH3byfEKk(^R}?4!*63_<_STuDWdlYTO*70gZ<0GPi*ooK^|c+4+y7&0h!ELyg7jr{?Y|)OHQtpyhGvjWZct5$f>63 z+!JIckfNmJqNU5(Hs9JxXYE7hu|}r|9CXQOypx3T->wEcPZoXmw3u126KT1^d#)#& z;BF*|+djR!2@~jB40e+i8X9#~N(WK;H5THF>a_{}!W6d6MQp!3#Eb}^TCM_J&9hW` zsj3>ivW94a1%bqb!#Jlg!P#Z1tD*P!q4eC6{gxJ0Ikwfk83AvwGqA2|VA~)P#v%ff zd0myPMkwbG)nyNT=I8(jfrCEpU$5C#`}zFfPqJL|+=gT0Be}I}18|W;WrX)1J{TaH z=i9+z??}X*XJ}+zk5j((Y{!?oAA%paQ*V&7652!IC$xQ{EpeF$|u_cmJ}b{F#B>s#^oZ% zBD{9D=MBRIY#3!D#0n^6?0Ml{rL>A@P`_Zcj<)7BhS(bX)$aw!v~@`=wN$7q{A#;x z-E5Jsd--kKCmE%vlG3V`19wt7rfq|j>tD9=Y6%&D^U$E_*suw{V}VZ2VWzKYxpSep zVWo$AsJ~hL4h+{zS;cM>Jzy1`@wbmXfKhnGwe53(m{rMC2^Z^yv1&qtC?8hoz*XG%pEg-Dw8XtuO{LQ|P?wFzOk)jCmgDruFBr{~&iMNdHXdJl zn!_BbW^L4V>svILAzP5lJXs%#b4uv=(3VZZd(uJNbCOFa-fJV8vkusayJf|OfpVk| zVuAwo2y@oSdsJkQ6eR-#b3#<~TtqZ9mbLb}`RR=W^g%bHvfA^CW~#ra!cB#qLIMcz zR?x=nD20TnzTD@`a}7U^N4UIRI!8@A<27ocd81D!PkC!Jqqcg;_2@TNwAa(x^2Y)< zwh5c^9U!mLSq*<9^W)940}@Oi0_Mlt*VvXC5lxpk;xmpyF#l<| z#IDn@qsLe7cQ)~rgdq_(afA+u#YJ=@;fk6IhwpwyW1b<6AbM=8CyO=ms;W!r&hWZl zL?LrbNSbGOk2eT^rMse)S!CN99&}NS+@j7!5DCJOQ-!2&P{P&0N0VDbq|>XgJjKYy z{66}^OP-hh=p*uY?7rVD+Q9Xgn#C2zJylIMEYTx(nVXDN=O}L3xIifS@Ne#5gY<*$ zHJFE!aQRpc$W9&IFJQG$ub+Pp64rkY5=H_>R#uMxrnoW@a4>SR|M%P9+5bHx;ACQE z`u{cJ|L&^Aw1Fxw`CzlhCNl_7{>Fe3Z(1PS*~tM0i^j4p66zG>DiQouT-+rnSgZg7 zXdy4q8H|4Ge)Hk+{o}Oza+Q7k(sAK6a`v9PmyW^W!ck(quPX1+4jqX+4T=OfSzbXI zASi$ko(2ta2*|+rdr)3>zV8Hp%!dL9GN>#3bLtluU`YOraU;TVP65_7X!+F*2*?A_ z01%PBAR+?9I4}_8j}3%aIDiQu9s_nh7P>s<4Uh;>y77MPE<}0`@5N1aAASJMYPCRp zeLcY#{*3^o83m9jtOH=Bp!~D^Sr>8*p{xLIJ1b1&{dXM#&D@m&g&Lx*t(=@3T{v?h zbZkAc*$IH>p!~Cd4FyuSs!%=T%G;AI^I8` ztqkbcTYDz!?Ol$S9sS$e1(J<^8`}{8KjT;V6a@U@;_+(X_z*6@zj~^#JN)qTFR!7# zgdo3Zd#eWa)=+PtntP~$FW{R(cE13;6A<7j5JK$3-ao#z?)D%6z<_P^S1IyQm*Gx< zUdi8cFf2dFd$ag~PC;1!cNXAbK)${|&nB*74cP3_$#4Cpe=r!^Doe9F8vsA_NPomA zX<=W0-W~7n0XRKg1qB$wJp=9abCICZ@q7^p4?{f{1W_6 z>R=5(zug#IUU6Lt1XBIdZJ`dqHTHZ0e)8VF!=`@lXZ*z8`k21_m=oRH9N&fJ?#l*# z#NZu5IX!+%9K>|omUpnq2X0dbPW)tG^ZjmWv6jJ3Z$A4pNl}h%af`LDZYX9TPmh4^ zz9_>8PYiVBv1KqOH^1dJKPlHfdhBHx(96kiAU}LYwmkv_eu}!bn5@RStUx@*X82VQ zj&~*tzA=vNV0yGFe`bYdN3d)kyguAtLH!XxfDU2XvA=N-!QTUKSC_#qp1`{TwzcW( zmvf;1)SCL`)8YWW@|ptz60|+qE#!$KjMF~glR$tuQhx^BI9vV*ehv!Ubgj6Beu@G0 z9?`Nt>d8ZlUq8Zk8=<#N^%20wZ$0V7f7Wf*>>!4Boqh^# zc8z|<{IrMW%hQ*$?my6MYqBgC&^3Q`i$-oHIr&^+uKJF45W=6SH*msP3fL|hl1h-D zopeive4hE%cXtS-bvAE#+^lsF@3pi&KJ9v!Wk23)xjw2wHno+#lqUJind8mzS&LFL zh$odIQ;NXkTP%(uxE@Kaufv`*@IHEJuDwuhBxN*9>&kOh>-02rm0p!lVaC*dzu0Y- zqg5H~xO^K$mU--D>jhVjW{Q?nnenQ6ta<>7-&d1q<9YIT3oOfRAtM)GA$I%rW5g0A zBIA}OoOJ2c^vS>ObJZ;yu}7`1Nd^czu9@yXAz5vDdU2OUU-gwh?woQC$!2bH@m5D47c|ZXGq|$>>iG`t>y@F70GDR}b~?3V zq|0qtS(Ii7e=fsCdu~@_dw>=PS8VYZl|~01BzD7&hs9I+BN)-Unx3@N1;e==iakZl ziliZ=6q)gC;|{0AW3;lhD@_@hH~yZ7v+q42fx{r_Gyh%Gi*}{2jcTa&4A2E_y|Qty z*a38Cwqb#xLCsCPJ{-LkY>aN;;|lpfSm_1Nm)*Sl$m15u zkJ9Vu-UUUpEbY~6i*uwcjqK61)3J;fPGfUu0dV_D&HXPFjJv-YW>AE@fE9lzgk-Jr zsQU^>1njFRgdj^abW}hAyLXUiCowGVO@u?0o>x3iy{cPZD;?G37Xf=a9{uv>q;2snZ%$iO?7>$v<{3n>147X1$e#kK10pBR0>_+1i!sYtq=^ zYT8^how9p!13$4(_69-$*F(0&KB3@40r`p>PxzO}MIt^be-btStyReuFD9*AULZ%1d1;{oFHF>M&`b`03h(%L6~`&`UFKQ>m&j0HX88e5wz? z3!$y@B^s>^JZQ$tO57>U_h8{`Mk-N)Q|09Oa#hmrahrF?lt9* zvYq3h+23wA4_pP-=`}TBO|bONEB&LR=1{87NZC>Q19jDuN%n!%Wjmq1Rh zE$-1CA{369^L1y#81=W^d&B5Xld(Rl)wxG>=x}qnn1eewZh8sONAP5kRjJ|ABzt+Plf;VnUi;t$cb-A*1jV?|a)7k9?PddAee8gJz7}gi(_Obd zg#vxgDT^0sIog49MU^=76_dwN&JO$vHcoesXsCn%U3YY7*xh2>TgC!#)eO@bTe**B zAlgb*x>AKAis@s2BJ6?o_TYJ;5VGWpE8pZtF+=YK%<{)@O$NOgaD)tTQ?zwzR+Kq~G*-}D)!NpGh#V@*r%&I=r>TPie zx4-a9{=eO7$SHQh2MvstnQ~YX*}NtdLoJqu5)>gdVzQ$gLles%4PBA+D^-P+@`1n= zlSzwd1SyHMuBvTtdE*j6^BgjkdCR*zG~Tt6dc~(RH2fnsl5bfDveFZcatC7ZQ9s+*qhtdFzj_hmpD~ zJ?l=0D{1rajP&RO+;2b7Y}rq&%qAq*8mmD5Y6^qt9cj-=!LVGjA1s=98{n-_+H}|{ z@B~mAe&ZdbzoYzIkRIn|7ec2v&5zyB0E*!ThzU7cDLtw9$=rKkm%qM&$l}$M;=j(Y z7v7+Ai*H$n{f<(3^FGbFUCmK}Gv8yVxU_E1IB5AiN$@+m2!vP|Qd?p#ALl#SBw;)h zwlOiaUhA$nx|_&&%fR^S7J%-h#Qs3+98dI`tr{ja!bK-7g_PHcGV_}Crx<2VDU6k zoA(vcK0Dtw()9G99Z>PfCyf$7eDb!Ae)Z}&680W0>(Ap(WF$KoDt}wP``+tQ7t@TF z5!-x$7D8Pf%-)k2ML2`zQgOLC50;8Iv1~xvKVRZFI`6N_2Irk;3+nA^Rrwi;#XH00=pyu#alz7h&)7@F)Itc*;dE_KSPEepW) zBn2i0AEzx^#R+5h`Q>jxFR5U9_Wk_<-6?JBe>KTff6ZG<53|`9nHQn(R-K>O>2!8P z-=|Br=X{w7QRXD?tw170x$)_QnGN&Y1J5$Uk{6R@r;Qmf%@0Xf0)L5lLX~)odX&AO zo;Kcx_F$+|nA*H%upt{wKt?YXs>hT;6fn4zg=Um(^BoIViJX|lPvr$EiZc8@qqpU^ zY2Z>lYa4I?r6EI_D@8OjG1r4)+krIXfOn&4o*iO_Id;XVTsN6?LDw9IY|rrPS*X0Z zZ&{njM(H9dl0SnBT$4NSpydjC&VfjjJ(U62>)4g3`q_xXxNjY;(Nc-2~QV7UHK07iqRz-_!6#iJxh4$7pj~G}ZWq9J8GS4-_OYS^|xlf>!Bi zwItLSgK@tMsY()I=Wo+Zitbx@pU%oW#fGQs-w~lslQQx(VWdM_&NaQXu6K1R>@GTP ze~O(W`@U-rPe!-Y8b4=&R3tyhytoav?FRK@DUp;}s9FirC^U952V3ThdZXR7h!V$s zRZ-|d?qsgv=y-F}YWh4|nAZ|4?``a#u$|3;wV+lo;un)HPVy77KR?v*88?wsh%hzg zVDs|2sqi&YKNg54YTsTum-VFAJ(ohIs=mk)I{zBckcp=~Df*bEBWMDVI>OES09$6TQk6(6#&tgDTNclfQg!_mF4+V-W*r)!42i7c6|2 zhmNzlheyb0@i6UXIecXd2ZekYghoo&>U!pV6E&)lPTEEcbn_iYMW!a^P*i*O9@`3H zJPC?=b*RNex2q7v(;bh7Y|7K|<7A!|$e2|lL2!5Mxc+yOIG7M54NsG@ll7j!eo^1Q zYMN|c`T&e1t$`^tO7&9(se4r&=?t_gVzthGNDjxQ);H%q)PB`vsaE|fx2$brvHJHE zC`nw_!)}Z)-C7w^%IK7m!d?>c4qC7N;GdiBUG$QRkdLL{sr8)LuBk7!DP3O4XGcRJ z!jc41QwdXud|Smfe!XpU~h}c_52_%px~dZ*q5_s*KRTNH=f_P8jh|m7ZCT#VhyLTzcNf@!pX8UxFu79 z%?KkMv%e=Za+-$3rj#`|!%6jA8}cL~{CZ!DVlVJQlST2QR5~Mteoqh=>Wu%{)=>P2i+5~6AelSr$V;wJVwJ9-Tb z8nv#cRKS(YDr`ss_LO|lDRBLUlI8x0FvCl8c=dloOeit+pQY_dpFFGy-W~~sa&cvQ z(0VQ^Ckmz{hNml<(57iytERRi-@IWb?g^A^L#PI0bDr`BssEIQx|M0no!_4a;0c&P zjgWH^Bv5m_I99hL{arZX%R*I|gK?Rdg)(yV#n_!m^XOE>ud|gp`Am-LvlCBV7gDZj z=%l1`BFx3RcXlirKcRtqM0)n5@*F{#V=b0K1+RhEEyZZO^1S(z*_`9Qa2qnkKfr3I z_Y6{|qMG1He#>l*vC~PIUlt~Lo< z^y_9q&L(Z5X?cvBI#v$tAvTG`<(~d4`A*#~4poM+qCw(|Q<04Kk;FK!0W7xoIt$h8 zhiX^KhFiSy^Vvnqz&pI0922^RQYy_sO5)migd2=jDm*$)D`vH>wBk}CH@yU4g#e99 zl_=8RSbF@97q{9T`XggSZ5$b|KJ7ee)qX7kO^0=GXhgZ%Yz($GlYiY?<0x|iouap)h<_T(Q5kpRlw$hJ2j zI7a%Y_1ra2bsPH5G$;@jdm^0TGqn(sL6TqWYbFhwhx14l(uZ+9CQ5v6J8o?5CU+zg zRA7!-r)LwA#l{_@l#!~LR zixojQE&&$1CA=fFNXY9&FOB`f-9u;GoNAwU11F`~nV9!2Ld96GQ-V|3`wcj)dD`4b zPdwmtL-EaGTBrz3&mDT`$P{*S<@y;A5#Oh@ELWr|?FW7*vO`^s?htz{Hnd1B=x`g( za9B?l33dk7g#hJ>k?>5UYvWxxN?xND`Yns=vH!iPs?K}mv64KmG=7BeX4Nt$MtT|^ zRcgk7Hv@(U4}g>PdTrTHfN#m}Nw^9JNUk&+b-rn#FTM^fuxMZD%!z%CQW%wU|4 zE@m)JbZozHXg%!a20Y`E%5JNh&fJBer)?_n4v{l8_jM2`!UK0$<-{}*nCQaSbw)(L zN>}6|mN($^gge+l2p@$4Qqy~ zlev3m+M0qGw+E{lnT2UDWTp_u%t>_l_6pahgZ~f8d5&FCXx z(c5;{ty%hlF8%F%mwWg?{7q%FHj;1o-+QEN3ZU-nT?eaDZtP6Y5_~1m-t_e|`t@Bf z7*g%YUdtTi%Z>E*vkoQ2TSFL#Zp^1SUz~>YZ@Gq<)YT?Os(YJ!Yte%dZ&Qi^-g|}O zQuGC)cWg&V2j)0n8VO9z7(~qsWU7xJ#R!or)~t2MdP72Sw8~5Lq~@MB;Tv=!M5clt zJf?xVG<#Za+IN*KA)6cK?F_uH7ETGos&lf3dzlrMAwka@v)C%W#j_3U5|Kh39A^ip zO7yL^#uQZ)_=csZFkoCg(63xRo?eiS93yqd08NgeOUUj=e;}Wy{<=QDnBrEi3~+c2S^B#a1W15$BJ1Uksc&MpdLvxpMa|j>>B6? z4thIlZfO>|OC+wWY0N>qbs_1{bP^995#~(dqdhs(p7r_cI#{>J9aC*X{k97uis?(b zVlhV5J|SS0c3I{II)YVg_;LD`{SwKpgg$7nu+w5WLXAgu{SL80Im`5J6bbr^tYR?l z1C5Q9BXMg^xkm7axMW{X9&)cn!GAWhym68&76;Ss$r?E*)rW=2t6Wm`|))U8jtE6&w)n@QVyqTQ%eHzRSZ)@QhitiJInxD@z? znv3^YvZ5nb&d^gyvGm-Ys(*$49`Kw_mbMRj3xxj#@IvFUMNs;S?xxH+IsB-R5;9^n z^tH=4h_t?SI-2uaO0UxG#f(+>4@!!n_m$_SO&W*?yT?Q=?pXlK@X*?0KD%WTQpC57 zCGiSNJ1@?oPatX{Q-RL(?5cT2C#_SK9M(Nuz_eI)UneWAQ<6{jVLeSoGg>hDM^;71Q+a(*t)BA!r>4QCgVd-G-(DV6 z&HY})=b3csRL&M$oPjmXyH@-|`y{Hhm=n%$i5pUewW1~_h;~ht^{}ekP0we{gr4>Hxl$*s@>3T!Xv*~Y{k3kM7I)9md4b{Ed!Cj|rckd@MBhLjxF4HvkyFe3MGY9HC z0?F{Bf*D_GK4JqnFIsJkL7u0S2R1^Uw#$g9t*6HX!A%6m z2I`g9i;q5+5Y>h_A!fMz-8dCndlbB@(m9D*Zcpry5@Rs$7-UTQO(es6=hR2mg#yPv zO;5pNLeu8wJ=L1|Zv(?0{w#(aA!i>;70NS>yyZa_NkIkm%buS^3s(#TYarO*q^iCr zSZMLa;q5}U`=E?F>>is(CRO57!yN++R)k^Fas-YR<&>Zhd-0;j9uF}nkyw3`E84%4 zvxb01r!GJM`KH-rFBbBj^i+0dLr4+lhiSpwAt9i~_wiWQu$Ct6Q#ms^p|$26oNTDf zS&lr-F`1ZnV;8T>d5GF^998hDN`ALc!4h58l{ZK0f%KM};?qW0u7K9#9TMj9`R3-d zd2ZjhD7~Q+$bK1@R+rH?Wq>eGkkU+AOdQ$d)J#ohd8wf4_3QScK)T?@$nS$zokVUa z(>TVz7cmcTSg?T)C{+i2Iq{Q+wUZ@xxEW#4GV)>R(CG|tL%gMDm5<2pblI*xm%Wu3vGd&0|~$lc)W~lau@q z26PdT`Rl=T&>+RSlqBo$>@9)TEr_>ZO^ z>>MVerxYyQB>8Ja+Wdx^m-=XH3JLR^+&S!fmO!~K`SMzVG$XP9>DSTeGcgp%k zi}|=``3vKLU?VKAevCPA`WCeKl|!xutV(<-a0;J*$&NGKgmN(3D@awrJxXs0v0iHQiF4yZp4^7BIK%a!rSE$Molc$Hq`O|ckLfSq z+DJYSS;Nu{p0dK;~qsm$0phyc}c>e zrluBma0ubz0LoUjON!@u?D;*1q@(NLA9!vKsyzmh&?D5OC}L=*j9*&nLUn~BY#?`_ zs5)wx!%_3pBQiaEr4fkI9iplY`Qn(oXyPa2#uLu;Y!H|c(_7rZ6ZwVdb3hSjP!OcTZxqi(?1=w7DF<)E!65d-uD+37LsqA+3 zz9!4Mh%m2ZwGsS1J618VFqeb8cMQg~ImsU)%$7zn9XBP@AW~1SPN;GhGU9A{C?uk9 zpcZ_*TUxf4c`EYiTRtP+loOcBQ1r*jER>;WvrrPLmimSpvw3MJ#nE#YvL_sOVn*TVCc1Z`*a>yvX1FVl?vyTshF$ z(VHKOwrgp($exE93fvb2!Xoa^Jja4Xcx@D>Dmu^}Mnk0d23Mm+jynubc7;3V8017# z05F+|@!v!URJ|q{_vrJ8&e(-?1gA4EF?3r&)3CwrpL;|{>or|@ z()3k=Kg3CEJmiVkmRtz_7Qsvk_{!g^&_aK{Y<6ra&&keKf#vyeF-%>t$Nw@k0Di&6 zCJ$L8*Qi@Q&8-DT28T5_>X$JkC8pREx7$rN0hMT2SU|lVb4%z|K)ZvAc1e@~p z9_O<#5r+^PSlEY&%e|cg0|&Gzz~ZtEsa)(m2ewwRif^+S6(4Y$Z^foctlsX4wdIU+ zVj~F|&av~evDcbz!tkq54s>&2U@sB9C77YO`2Ap!RE_8KU=_G)1GDkeniGh*HH6OzlbQuA z>c~gcwzv?Ixti~^WEqS3i@Olf6)T$_QNqD2oHtt@fbneWS(o*REr{e|R!F>@Ti+nx zLMHq6*ieC&A7X$)&9ysBQ%>{65`s68+|5-@Is}=8RNW`8zrMMV4cHwA6NzfuD_qt) z82ya$le61OUGyqbKbz*2M6_=pUT?;Ske%{OSNHS}V50#!UJ83*VhSbiPE(0H;;NNF zb1SOSvx!RI;%q+AL`-bs$LUb_!JRz7=~Ex8>pEmJ*HEq1bO zz(#_k(wLJ1KYe+=>i z1Aj57OQQx3Z2l%f^iL(n0f+!3kkE)vt`3JFpduoApcf*MM3WD3AIJvKAryd)@Gq3$ zP>H|krAUvW2J@Qfiv@@yrUyt&NI-f$furaURA3N;0Gbcc*DkPK$HpbJ@5lHJ5oGB7 zgBU2biyGvRhKlz5{EQaZUJw#bfexw**pD6R02-ZdPB9660rE+MF(1?}=%+>|JP4WI zJ~-d!U{uUJiX9jTqz(Y*6ihU)4lfssi~_1p4<60x0^s9DaoE-{YX=OtFJ}i3k8r+s z@a_Hs10wY47|Ov#w6jeJp@%UDY9BgK;LoQn25}UG2tWW)mKTb^ffex-<}Rpj9}c{_ zuXc(6P;Cq$P!IY|34a|P*kLsP%N*m=EMky<6EKh{PqZ2xdNFOg(US@@#Og;SAZW=TakVIHmxY&3Ypd1|F z$-x=*8*_Jf4fkCN@*UEM8sgDStP^;4ohUzm!HnWLZWtf-E)WPKnVe<*hadGPSzLgi zAM!LD5GS9G0c2utp@Cuftt}dt59$;69!b(59?%cwC;-q$(x~67B~f;Q|MabOgU!3z zsIDJG|AQH)dw}2QqL85mG^qPGSw~BFa5(WZ@H@ZKSK8E1+yQ^lrya@9ZE%0C{VP4| z9R1f%QE2-Ru_W+aivXTqd{ z{tU}Q$XjkSpU{YDfWZxOD|?L)1Xr;>#0d7~%%^rJkKkXtdwGBO?;Rh74N}terU%Hr z=-<}30Ycsda3#n@6Ji|=UMdGOWA!L^9??EG{k*~-s@|M*1%Duwo6deeRY`QC{)Ru3 z50jMOwP7zsUvY;+A=jAuTDz>O6J;a8V*7^RXo_OT`rH&};uHAzR@&`cyp%OHBojm) zIq`Rj189o>cztTWZRTj=;VG%ZK9Y}Y2NknvRg)L>YB{Cgw9 zl)#t}6W<>mxSopU;0|y8vQF3Y3ns=Wh0oV0SR{4^OkE#R@YFLvI#R>E2}VXjw%>bj@$`js_S)8&9&fSv2y8siMCKYeYlj; zPoG|N;cc&7`4MXwlb#EE2^2$|!;1B?UgbRrp*fC>*g-8bAG zeB7BKwib-+PF~l{1I7CwXQ%DzvQ~v>Vg-}UE3dO{QP)f4eNEMjA<;6_7dDoFE~49e zwJab1(}}s^X%A>0%!txzd*{}P`DLZX1@POS#I04@)OH-FO1DDkK16t$JPER%*Q=sj zoA7h0jts1sdXTDp9G}byHa77>;z%JiiJ0C{=@U-g$r}hycqA`_745Dn2H$>Zu zo67cM9bzhA#un>V2Eh$UDBH-lD8Q0S&12MGAjr5XRGMELn(2l(wXS}YgXD=RByGQ@ z!8XA)SH(nGMQzD$#vssr+Trk=?o7d@cw!!QSz`|&%G+TCu_j;Y9{Gv?E&%=hi1G!2 zk|?4GBs)^>wV$@?=y);Z@@*Y;GH0Q(skNd>D=R%*sBGro{XfReu}9P(Ot5X+wr$(C zZQJH;+qP}n?!Il?wl#M)JIQWllHHH*52!a)b?P|>?34RbY2vcE*sVtsL`~BEwZs?Z zXhe{B`m>EOFP7DTY+~YwMET+pNO2=KpS1zMqLhjQq+Vsi3RXsQc~4=lfSz~iYy?;w zP41F2?%LooG}P45*O8vBilvKqCNx`pvyOV!Vuzl4lp%7OG41NyD(9@X9)ADPWloA`TV3t>ufcwz?YYCOgCBtW~0Ygr!bpN z9+&EiD6ZKHQwfA80p3Mgl>6-4j2Bs{ktmGxT?zXgYMg6xTndcdbmtj;cKdvM*-z?n zT>AHZaUT5=Hw`_Vsg_$bDvsaP=QogmMf258PRH(G+-adntwMV0GH;0==es!Fp6+6( zlj?e)^zf;}=bp^zdjM%%=1sBf!FFWwwk*qr2(l)1U7`;;b|xvXsMcUMw$VM9mt{xa ztS@|nAZqh8z^UtzJF^ylf>*sMWxKWik4qzK{-wy_gq(=zc5k9Myf&FRpc#XvAx00J z(4fa$R+WT<@0qG-Y3HtE!8H5F=Jpn(G*8c|Y^HgwSJ`sWkMu`!|MMw<4=()}B0Cn4 zhO8j8I(yg6D0>^+h}L65IMYWrQ=28YTtdVth)>x|#icrTBl0OyNDll4^WIE0m{s9= zBaN9<_vj?o;MBuNvo?~-2vvquhqE}QLx_9=(q!jIVD zI7s9Q95PofDfc5T4|quw!8JfJT?Ov)*?e!)M($#(}yNH1)( zAx>v0j?Bj#&ZedPsLVU$>ZLJVWd<-n>zjm4^ldQ|mX{WfS=a*&x^E*hV3Bi^V~tra1jRjAxJp%rJKNrf_9MQu8?{y-0(qq zo6Nz#nv-w^Vd2H_H7L83CZQNFr85V3zhtzpgP^UH$$))v8 z4e)XZ&H9(Nr*RZdD@403Ps`ZxbXCw>opE8BcJ#*ko$$!yOKNqRB$K)n@e*wvkJw&r zK1N>cy(`<^HAuD&#hu>U&j{fSdG662*I*{Wb;x*Lt1QpW^r1Sjai0Y`rX%vs82bmKbVMTxG;TV*x)H&p%h6JJvv7U z_dKcWj-FLYPdHdy^wYKf1G&0(euDj^zK+B#;fMVntlkeB!}_bR9}iFX)Rgo7caah> zncpyT`&t#8tzTSfGraS0#(bQ2tjSfR;v^#2?FRXhsG*2MWPIL8+$Kz|74Z`8u5Xl< zM{(TiB75eD|0m(d5k<7In)V@fKNOP=s=&pBuleZ8Ckq@m;`O#0cGL=25 z%*8oZlr}W*sZvL8C0jL*-M$zUwCGEcHs&Ntlb@yP$d(itdTX+)An(sA@J@*Y*wiPDK6hQBxkdO&(QeENnZf;h zd99)9c{6}?=yvxFtbAs@;H*g~!I)QUZC`kQ`Mu9?T2`e}2XGMcoH%wgDgG#>zDEUv zDVkR(l>%{H_oHxA?r>2hk7Bmhp>yICeM7NZOVG6)Z#oe1fcQ)bOK|;2*z1wdZkkGOF9AQFhgk36rkEq^R{ED%A z`YX7)sHG+m}@Q&#Vi z)k1ni72zJcB-&1+;9+sLlNO$EE5N?6MQv3q9U7 zjAdABbi6gsL2adCe~)$fntUxMW8D6L-3t?u^QHI&!iu*^NsG=9G&E>Q#JI!f0xgR+1DMX=A2c@oEK~nkV&h0JX z&FubT3Cj*0*GB-~nqa9SH^s-;XKW%;Lq&Q0=-VPE5@ZJWwr^9zOe2j@7(tG^1H8K+ zHjn!O0!}ku^%=h0;X;DDzk5hyERLKjZT^p-R?E{xg@U~J1GeAk4;}xmP@TdGy_@Q! z-!VRszK9Qc&mrrUh)DRWZQr>8P2)BYdg2t>3`63nSRxOqvTBa;?3tgom2mW+*=LcIf+d zRw{hEb%M}`_M&}``|o;3!p0O1xJ3r4y#(87<*_%_&I`HJ{zBQ&>&Y@imEmeKj3T?L4g`y|_Q9mJdgn9x}58 zL-_yP9*4}i%b7HR&TjB;YpEYInM2*s>0z-pm!A?WrF(Y>?L^H_Q(F_kUEm>R)|+go z;)wrE&QG*o^W7DY32R17=vn619;P@)gt&+&Of=5jCaljYX=#DZb1IN4_l%eP3j7hu5=rGi<+?W-HIyYoWYQtCW9Tetw&e=fbzkZ2Ki*!`p%(%A%UZ8OkA)d;oX~+ZW#U|75kHF* z#zv;2NW@`iW)~lpaKyo@7syh?+uSOydZ=eI8zagB8+lSN=fX76sE{>y)Ndgw`cn2e zH%Y#a>!dS*+IFN)rmTN0n0LnoPZ#*TaAn_aqhXdZYXP;V=69NO>22~hjH4|OUD+|w#oQ`l_tXL z8>e|Kw=+CmBc}Fz3pzq?vFvH8UkBBY(JMO0=-86(6RAD&EcdUn=#$R)&FOr2GNxYB z6&YdrggIOhzi?q7c!5$vFm@Ks%CUgcrj=$+ABzy8{Q0nw{JjP+xbVA^+@k@2GZ)pd z)f=ddoa>6mqCfG{@iJ4pKxSGj4>#}Iw4H_0= z({DeY>i1LRR84PQpF1J6joq;Mbc}ZS=$^S%-hvcs2^uy$7@KYwWsDWMC@+-FACkLU z$Bd*U&&~0A0C(erTzGWDtY@QadzBOLncJ`+O}cQR)5L?J>Z!YO-l}H&St_)xJSfL| zec?C*QoaYyDfTwca6aN=b2|t((fy{MlFuZPybZ4!BH%9cV|r?Yj;RiJvN$NGgFRxq zjr{4jIrn_A5$1$M`p0ue_cBI3l|>P6Q!2!0Rto--caEAVLZw()u!JL>{Ev6CI0S#FH1c7CO(QI#l0F4+*pG@00~O z!yiSLbPIGr8jjR%T`#2FvoI~%z4zg*r!%OT=bpleB%gJc+t5F=Q${mrW10N`>Zxe4 z9{kIoREzSq^4-|9#_w5k(zlZ@_H`~klb15!J)2d5;IabRc5eF{-gwjpj9@yH+Xf|= zIk8$ba=!N5l%CGg9E(Ah#Ht?&(43oBNzSciJJ0!1w=5pMHa_;&zAxzdKr?3@ z`(gAUUU0MfU;iW!=0i*gSHlg+^s*6IUtq7gy&X@2sd)VN)nMkZrQ>bNn%N(-OQ>mZ zdpQrR`>tI$dXc*g2rZW0M0({38)->wt!Y-9Tzdt;qG~1l?Au%Z4%Za?goXlAhQY7C zJARR12a;rZ!iE`%D4&^qR(}$@>nToj+L|suAwR4I@8Uk0GSPOCvz?E@_ieX;4LEsz5ehOUKhY_~a>StaK0QHDkTh zcO^tPB|Se0H0eL7!-~~Y7>goENA%lD&!${+bt7Nk_#Z^A36E zWIe19D8vzF_?C)&Ib5pvcSx#UxZci|yh853#@#p&^D+?gROmw5N%yi4^R2e;<7I}N zH69k~AAR;X-9rmB+Jdv^YC6ZNjXtYKdm2YxaVXfzI4&8q?$tw3`AjbL?Mj%7rp<&m zFnnzEmXX;g@91p$ENU7cL(Q}IqzQI+>a`~D0H(GP{vJ{tl?I`TYO7yhwp!g-!o2$8 z8`yRj6LnQ^!0nW3&v%jZSlP^T5i3#ZPi~%Z+4D(ZEYRHOz^m1`#$+L3`P&AKSzF66 zP>dtR-of#p6U1~@sh5c{=LdcE9E2|=vaEyyXdSMy`Lq+SJgsLQ&2X4K9t=K2{qe=Y zeGAmhl()8_=(RKxfN2vIl2tcJ?WD(gkDoygcb@%2;>p!1;>p}M12M2Qw!S`6s6_HHh=V6|a=YKw-{deY# z{E;|hq~X4GxmEM?9bu78zEq8)Tljh+V@Z^$*JBJ6!PeKMvP31MNvhR3%qIPhf zgU3bqVPI$zHZR^tr{dCQTkG%`t~oc&N?dc>I*Vnjuo$xqeN(Jjm1{YSFxNU?S*)|v zoJ@bQz-1>p51x}72ZrD`+Svhy?Uh&764Vu0Om2fo)n|CJ@@#>$Xad_qx>XJHmtxBD zeIUs>de_V})M#0Ls_wR|3ZYp{2}@FT$9ae6Jf)6cf5s|Hi6J#1iWSz@KO99fZ)}Tm zEADgCWYx6J)NFL6V7etC%08$#I0V4+L{7!4dsq-)_|dP%U_hobM(aykTVo zBWk!cS!ELV^0-CyFbC=^p$&%O!fCY*u2JDA`@6xN-=yk=ub$z}ivTii-gWk{%Ro|uewE@gX$Len?R zqJnM*=a@zG8(;2e)=wMxf+!>Vd+7+JguPFsp2?f(fDx6WaHOhrNY$x2=#5yMxp5Mw zLM~H!8@w*TOSeKmzM<2b`!6dQ5Ff>_lAG`A33-fs}kuQQ=;jZjDF8rI0QWV#luiP|JzgW11f8 zfc2{)G&Q7UZz?r(iWp*XjW#h^@c}9vSE19R2mD_o(d6Y@FdZ#rX{h#O%v`HXs~~I~ zzMgmy-DP8`k6iW7x13)!6_XvEGcOQ6q)JhDIc(LUc-Hw<2IBm$S>+A@)ez0ZSTM zM|Rn5Fs1%J#4+0Wrno??_p zWJK!B8(5U@GeF+-gWs2}8854XZ3`gR&Ktu3Zq%=QRaqNCFOG{=>$A+Ud<(loPf`S4 z+Ao6>eYo ziGYZbwo8fwnwx`?lPQ3Jh|cUsPhVqxf3tso z|H&1;yKgRcPIpdwZ<=x(8!s00<@6kJh|h$)Cbk^#%lGBhFp00r{X5fCV(h9@kc z#t8C%_e8Q!6yRBKLXzLvLnFaa{tOsZ62PREhY0~S^CAKuG6sYfM~5fFAV4610+sv{ z7V?+?R1(m0faH^d{1qcCupp8{P0p$V-?ZKU_gl&?eribRDcI?a}S6} zrR(p9jr}Gn2r{6CH@ZJTPO?Ysdw?M1X zpHn0JOh26%1vnl+N?Phax#A5#IsBUB+bURTuif9>(OrhtPyv7TWNd&?T3{@QFu?|V zksphAbd-R90~=r;zg_$M>LNr$01!CQfE)t2`x1rzqGN*!Yk91#zjzM#0jvnr{D=T| ztC#+HHuX@!`SB3D{`3BA8XBwpLaR#wzxETq)+%aZ?*Lz*q9uSq3yA{%YKq|`0#Z^y z2yc0gFoJh|o?lsYXh@+z62Fq@-g3XiSI_FeJpSN+(C_jZo)k5Xg#dYekv@R)K@g&S zk>7t)Kkd_gvnKsT-~FM!`;JL?9WADDF`l(itgL8m*QQXkte`WvG z4KQ_iDL`({KX%n?_$%Lov%WLgL2w{h zMGE%&>@cd)5#IFKuHplA>)Rl(sAqP`DBMDSob_2rFhJi~Z3>YR0pi2J$I~D-t*@kj z_UMChq#%|~+tL9Cg(OhGE`j=2Fdza7c*6Zy)j+B+48alBKw|(3a{ShR`UMnet^k3A z5fv~_b`2W(?(%Ma27ifh>&wEx-Prsu!Lly-FL%)aQ7(W%k!fcO`WyFWpZ9Z4Tcl)m zg0zj_s;sveCDnlEkuYlC$$#WJK{&A%Zzf;j&7X=gLZML;l$`-(eDY?;eDS)cp*1J| z()90@!`e{bL!rU>bNih`n1xxM{N80lLD)=nN z?DW$2z&n5@=O#9pG8i7DJaoM};%hcIRvU^{W?E&)>g@9ck!Mr7k23l^ zZr96=<9WW`sP60ul&&cz$mz!%HAzr`S@GMpe$6Knf@L1@T%)nTr8N#$NQrtOaSKOS zldMj=kIHqMDLg0l)tox-G^S8y#NunXP zNTvyI;d=e5Xf7ZOT(ChkX>@j{!Q~qr6*Db$*3O-DpKyAK3!Ggp0(ztzU#lEV$X!;= zChU|8ql}TGWuC{AOx0$8|MVQ8(MBw?qn!9yC8l%bc&fzV+8g;D$izDe^5q(ew}oE$ zik^o^zKA$8HVP?6dMa<*X48CUsWBl+4KN=StI*|9Y2?zYO85E^p>I&7`LScXIe0$Y zWme9Qi9B@1Xp8mi+O3gsdf-4sA#Gfsxa_(&(l4H_jE0jBWW6TQxhL0@3d5D0s6i$B zr-QC5rtteH07U)f-no7jpF0PZC<#CLipXfqx%>^?UREsyUE_TA0kH<8Erx#RVC6{Wh>c%dPU~IwzId{u#M)G><4Q0*qAx3N9OG4d+actVQ zT=>0u=~>X#L=})6?Li=A2Du{B9HH=6 zvygV9?ZjgVOM2d+VBgJSW9%!ovL{wk!+RXw$E}A%<@?5+Ubvy{HiQB`ckJAt>N)u~~~%fZ%L=<1rzY_O2X z&-F~hgo@->HJA?M=Db)sa8J@XC>SS}M(&K1bINR%E9&Z!&ik1VY0re&#R*#M$b4XS zmT@K2sApvo8~Bk0W0^Lro52lY!02AF5=BE>ueUTc-aOA*3t+RJ zEUhq;WT#U&<2MIc@(-o05rNp7J@J%-Y)pcZFIu6!973tos$IyXCv*y7@^D{P4tliRiCZ?+E(=|hp%)NMYT)MwZ|g9l5* zI<8jo)5@_`&xg8X)T2+5-4yG4Z5*TzBT!1>m`YPkDbk>O5~elDvP0yVlCQ|RG>XgQ zs4A>O9L7O{fqsa~!@^OcO`F{D8_fnL>2*~C1dndV4^3gmFyESgQ%gQk3pw&}I~Mk- z-r$`8J8Yb+K1Epyv$s{wq_K^K4SETnanw}Xqrr3;Bzr6PBjJje%I)ai9G z`5bPq!Y)XX0c>7|g4>AMnX~JYG3K;*O60osCevEB=QS)cx1YE4Q(X&PNhb(w7H1q> zl1-I!@$>;oxSDYwOk^cxvWq)B7^L zpr0r11I91l{6bfGK*Yn@a|Zk06_&qRsoC6xz?5 zJRb=7?(f7p83>QoN)I{V4^-X*&MjR1sW}58=R{CHf4C^J_5hdL;#j96>Su*veY`LZ z;Rv2r{;qBFRbSGEQs@2=4A&Mjnb=coU=N)BKvbg@f)5h%v@G z2*z8bHi}?~-naGv3Q;3T9hB;F?AA>!Jky+G74;~Am_pvax=-@W6Xpz{f#w&&s`{8l z-Q!J8X7n4|bO#3q@{&3tkXDUZx@V<(5w*;p*Y2A0?tvU!ap5!E64(RGd}%- zBWiJe)(`(|c0#P|%!|3vM~CLLWM&a;-TK2IY^0$V(bUl?WNWuaMlD z_#@&=DMo7Ywpp$+>HO7R>$fa_KoU;q6 zii*he58At=V9jZ+*maFHliUPT(L}p(eh-?TwOnqZ(L`ZJd5th=_4fbVlnHq-yBmR3 zE8n6t{i)bd^hVA+I8iH_RagCKu_K+jYziBIF~Ok>=~k6t^u;B^9aSHCnpZlper^3y zFpq`VU5liHhHy~S>ay9HzHamQ zeQQCQLb{bbDqD=uhHWa%u|)A*mz?T6tSa94%!_lgRoy>UUnvP=I`fX(ZH;_s^exb1 zjOv6KADL(m{*@i%@xf;^Me91X!$9(IMw+e zcHGhOrm02XZemYfi%2L4TVi;Fba9?tzCKHGL#h1N?y%z}J}TSZ&s}hd*I4gFoUw~z zs(POgjup0SDRkQ)G3P84XM+l;%o+RHVYj*(CmEiVTH@!NePRjcSDW2gpZ+da(G%@h zIo9KM$L$C-p`a3JkG5Y||@iNnY&9Ia9-*k^^2{IVK64oagt3 zG%o6L%d&5-Qi9O;*u?JRAAPgqjypIwD8k`KaPpwZJcovF5X_d>U5ln=1S|eb4t57 zwPNwp>q;P%kK|V1dl_6WO+fObF{7;0Ju9m(_d=j4^T%_nnF5p?M7q6|J2e;~p6m5U zvp-dQy-Szws9WQ-;(ft6r6qXd5OXd{BT-!T?z!G7$t7+M7Ej z_qJ~($LAk@wiv>qd-e)yb>zQ2N4MkKpmv`!ShOA|p5`rG=SU+q6bgY-R0rGnnulDI z)SeOi*zlU~xW&zl!SbFZ{gonnU}}{kUg0q$K=)cMy9Q~k(HYU_y}Unb+PE;co?c2U z3WRg+o>z{Aj`iZS8htHz^n~(85M^Yb?}*VLH3mE1p?Rc%BhS;zCv(O(ezBA6t%f=} z*IJ1&gm0q@)k3s7tpaj|5_`zCZ~(~!P4deh@NKPqASl|7LBGYkrTmHG>DuH(5$$$u z;;}{VAeC)`0`FO=8V2-SjPJnW&&#djFopN-c{9p0HH<3^zmgt9DyYXslgTfdi%lSV)d@ zacs}TqKY0jjfuJy3*l47v{??T&ar&VCFC6jmQr*lk1h|*>VgK7gN1j&{%;3u8MAgR z3SNbPm$~p!BQs=Yx7*F0lz`@r=`^E<^I20(##A=5?b-4YJH+?*jf_u|VnFF{@Pk35 ztFI!u2I3jUaRn{u3rDz5-Tk<=ZQUt}g!%d)zr4MfsEi>WW3SNd_(@hYXfO?H$m(@5 z#6vZ9>SZJQV2XX&Ry1W(u@nlE&SIh}g#j~dEEvSLmEfXZx1W_+(>o81sNE#f%UDg- zzsnxdq?@V-3yGFKfsu4;%1elM=!#?`R?j)gFXryY}St{Hg!Gpq_8`X zpnQ|?qgQcYk_tFz8Fg`LEO+Y4$;~SK-i{MQsGA0%a5J8K>WpVyJ**3PQU+QGWkik@ z`}^&7p}X>Q_nE|uRLrr|`D_gpPXJw zq@t+0?M11qTZYeh8d8>z;}%}G87a$im-M^KqJr6J^N++b0oeI_!7?X-)8 zEDK*&O0HoaS#N*Vt`6Jp14W1AA;}vjTg4*4P%Dgf zz21`TBUt}<5^>i$H&=y;t93UBAC>LfzeaXd&$#SfY+ftJ43zxFIeS~!LTW`w3qJ)> zZ2=fBpZm(57j9UXS>@M?&ZRDv`T|;?#_GrMp3EYy!oXr9%UpzgsS=Q7AS$`o-xZJ; z?^K}qo!}M594^3o3>YiWGUw3`*$H;-tWcQYFRvSBWXx=}Ke`sEyk67#nV9s1$WaSK ztt>|tg!W2_ELj(4z3AMwlp8aiV&D6`vg@@4Afz%m?2wHuQH^C6>ixPdJ6aBCyzZhl zY(yr$ZrfJc%h~xG54JL}1m{#u-QWKx)Io=J7Oa^v{~aH*mIb!kd$p+?i;&t; zV)EWrn`$k&P+@YWQ=x>TG9?DR@#^<8H?|Xq@!3jOmTh_OwB5ncf+~|{mFq}PUL%&u8KAzFP2T8pA9f_NoIP(55|l8+ zV@fwS%lluZYRrMZ-W)W?(c2FTGT$&sAMF#)Cc5nM(#MMXlP4zEolX01-v~iN&5FT| zQ1VuLcU!{r>GCY!{Da{4^DK2zRqU6}%e$0F?a+Qjo{hF{YU=G3aLYS3 zz4)uq7SE*aQ@A$DJ*szs4t;KTi860YF0r7G!FP|phOIeZ-{OThjI0w zReUEX#q&4bzh!jMu)Dom97U>|#0YBvnNf1eb8Wiz8#@5$iE;>He4!@grlbc4LZM$V3L|awBY0}*~H(P_KaQ>K_TFSQZx;dFx ztbFSVRKEiO@iJ&%CR?Sp&{?< zZ2C%$7ZvkRevY9Z5``dfn&(xmN(72>Ub`Rd^JZg9ooz5=`fgn9MV}~lZuwyLBlQF}=$dX3i*j&Yw*~$?H8x|>%_T$PIlYxnA!;uPxXqo1R`ZaLE2Iwlr8xRfFmZep+0{u`@oD|? zt!^el7tRaWL4`vq7t(?ZK9Y5(yN{IpPl4*E%b(;niL92aDbj+lF&W9RNcg3I%cV(s zEe%xn4OLQyC1gM7my!Vxs;BId+2=2z>i3)nCWmabO%onw%!%+NsREFm=J1n^MM0K^ z=rQI;o@#6dJlbB6f^?&~V)%8%lrQ~~e_jG21?NNSbnlhmK9-)w7Oh(A59o!tHbzuO zo~~?NCx;Mw+|;tT<0jRcn~&kIu)2z@EeUkBtDxF%ajxC;v4`64IR9lVruX4#$4erZ zjj$`4NonSio63t*IEKU`iiL!e5VTz(vqI#+7C5HQFPt&*;GSN~5}8Qa{+3z)0;_hC ze*6zpoSgryV)YMqvN8T2xRa5AgZ+QB$ulytGcf!wo&5isch<4LNu}#*CS3xm1_)`dcXoD&0AR7frP0Y*Ewm&uMON5G+5K8 zV*`M>Ix@Jt`g*`MxP+;90}|5F^V$OfT@w;`sZI4q^k~o){3Qc%4(b)*=zi1dZ_b~k znBJhP}*k}`W^!E7YVB26+k1XhJk}MpN^gqQ0A98h4bfC&L&nA7RR${Fi89cZsuw6{Z>WNaOcg_M2PkQq&ur7k&-8 z;h&BR*XlhltdGIOv4U&xrNo5( zx*PI4cB)UFg1*Pd>i9W`IdLu2aXHl1|H1d zH!Un!IN)ZPaZcAl!WnGrG}^Ph6&_4jp9t17=<{o3k*2Tp7U~f4ZY&ESe)wlxxoT_+ z@MoA>K(KlByn2Icfg7;4tt-oT zgR68TjzR_bx?9eojD7mY#qRy*&(kV{jlP1FFODL(9Wjod?ZCi(R`GY1_2^GR!9ZXw z^HDA?)XEiy3z#B7#BEvd>I5C$iCh|NKKYS1`#@Y);f7#)N;po~1noTE5FJaI81RCu zp2R}%eqhkM{*?sgLRs^7q~M`+eEQ@uSrA9juM^v_NgnTA@+?JjEWT+h@dDb}AtL3c~R)6^A zPuC+-cq>hRp$oriPgBa&uUJ5rY7RUi7ar3dBT+s)O${D{9;l-T; z!*ARUl^f&x?%pA|2Jm{jSJ^GUB|wvm`uf6&^F4xr&_VXGSWsBG%|!Sra@mEJ5~I25 zEXDhT#}vlbQC&+Yq?@hu7W)WzGSDPg&&9b=DV{(ID^p40n7MGj%#iP1Y=Ue1$fGn~ zN;g%cjRmrL-Q5jQR%c|;xrp^ZB$*X>z=Fy*eO6A_SN>fyLz1=5B854S4qcJ zeq#BDT?gps{b_vL?7^t_AJ4^lraiChX{_B{Ae^qG9}zK7Fop4_x#`}{wUi+g9sWVx z56`B|=-`vmUi+h6(xE&!$_>*x4m1nNGm~TbdaAlO^t7z?smX9z#+GX_NNg_*A!<$h zzotByEV^^P*6z7?mI|+UGt&tx^`vzz-L^&qw%xUt#-;>bKc+|o^yPL^^qi!{2S8Wt zfEENjFm}C)p~BtU%Ys(qysuQ93|%M!sCpgbC7H-Sp?{0T63jv^QYy^j!Vda)8aq10 zxAM%Pek3y{iJFDcOYO2$)4i$wyp<){75{8$^cbrCerjU}Yp|PJM9l;Gh8o$5OpPN< zW-+=L&4iv z=|fb*9flP8lV3dkp&~tU>0v$*Xi@Lv+Y=fl*ALP`bz+#Ndz5>@S~&%hh(nZ~;Cwx+ zUMV*$cA%IeqPRX6$5)tabBaNjwVjuE;!!1?DvGojTaG2nlO?T$>+{7lTu>-T%qNAD+P&UXvT%kzw$&KDWx_ z$a|DEd+pgk_kri&JDNcyxqUEWVF9WDhOcu197?4U)->+z4B>nu+nY9Xa28gGS8{)Q zk0&+#(&IDTo0tSdKxjb!|ZyPgz^S8E{S4l=lbIn{3Q z-EiC6BTz0geex*yK)?Dccc3IU^+j{r1OG*Jdl^Ohf{HE50BsMyT+516x9_V~XEGro zS9Gr|gq+MHoLMI~4XpHMv+8qQLT{|h6eMB&!m?=3`(s4eFvRJbQVn%}N-Yc$ zrz?{QVaqb7*t&(|@V*%GfVss&*;~7o86P-{GcE6{1qqtd3g&ccEj>flGy-^{_;AgZ znM3?=6g-W zl*{5MV`vJs=ss`1>^FyoP0_8!PmqJ?pF6Q0`5A1$*W{cPGMs1hJksUqA5e5~oJ{3+lU86pd@x8IbH>!l1}`pP+1V2j&a{unbkO<~>IWZoeQn^)>@-((Y~Qec*Jnn@b00OH?^Qwy#x=sW)B^^^ zRN2|M6(mlFVMv>gn6=T-m(xU2zzP@threY-%(oB8OT&gy6xdG%bEVuRT8_>&*eq5q z5YlE2X2t#@FhpJWX_3k|%p)WMq~FrS<(sm*JfM(I$MFt0R&6~OmiPxOE5O_&;~Y7P zpS?u2it6Ff1_SI@vDdSN?vr-?OIGhc^;`Yxx~RU(3#>OC@sy!!dCGB zjTn8Stk&lC*CFnEweoK)s9enqe$nYrq}L&EEU0FiVto~iJ$q*gQw#P}qNz8rf`lAq zS{KSCwP!sVVdB6>Hyi#6AXtZ%ud3+B>G7DMS(voe2yOc91S>&tN#UOOapqb$=B2wm z+9lT~v*d(6$a43pRDKtmMOc1mHa$bx9$)T-`5gWgDf%X$s)N^?bSgbH&NtHP5d6iJ z&O_V1g-V0;>Sev3Jet~X%WC)YxM8}-RYd!dT8x9O-Sd}<`|nrw7vYfl^NIArtNN|f zKJm1h5g=2NyNrRJxvCLmMyzLvr_qmZ`#o+)f z(tfYr!Uwo^-!C!`AcArfeoPO?$ zw~Im1L$2ivtd6xn9o^e4$%cdn7#1qKma;CaC_8Tu#mH}!q=EKh{~m?0ooJy8(@9?mO2G*={*XhK?$cYY3w>8_kSf%irvQbJ;D_>|ZZhzO&U?FspTmSW;PAN{b zZC`r^ZK*^fNMC|Tx?j;tY}+6SIIs?wn5q#eDB2A$TKy^w{M6@Y3eAU8gK&&rLU3i5 z9pETlk1eeFb6&}zGm78rYrX`Xj52MFb`B1CvU2ca5D*##$=}68Bb2*G+)GvM)zQ+k11kYI6DW|A%BF9CmX2p<8-8&6kChvx z2i1StGu|OK_|>KX-@cS+HYhQ*9$ISe2c;@yG|R)2?8L6LWMFA}PXf`IXKh&Odt8P<9X&`vOPmR3?mjQiSmJjLN2E4b|c# zaeezsFX}qhF{d4Dnn5lO^G%*!cpyd-zkR1T^fPQWD}hO>xc{`$ z&+Ps{7>xae+U1yW0is@T^oX2LI-Py=^%Xf-9iG$FVKj4zr~jU#+9WVqGs?9z3jHlB zNUf%sYifI-WmKFX6Z-X8lgJZWVSNc1F%n<}LNfD$PB^cV*;lJz+rusdJbt^dc)%>d zH!K#7gbA@b@iQN}ag4q3#o-!;2;Ud>Q4)CTkvDc`-I-CWA}4!l%I+6l8oy0p;@#g{yB9*%c9i z6=yV+(y66pvJd!OAeJ`8``H|x47e|OdCFl=f$Gc1=Z&*;v> z2l)?no=sp>{wt1d;;e|00Oxgv&2i@WVH~%}$2Bh&&O1;X@g*nMs_-ng@^!apr0UzeS_*2j<#xI+yl<4XxlrII>l3E5 z1BNlgY%sgw8aPC@D;Gq^$?t7{_f!?GS;IJP&;_lj`o8I!Wn|JZML}t#n4F9cj|jOb zD=cr8bxiDx*9*pk|XQ z`=|Vtdj!t|Qy&`K1IO$#8v63LYQ$#7_P{eqyQ24;7a?}9*RcEa%)G=>YlxDZ;|k=J`pJd#VbG;Uqv=PJE2uub3oK&6DxMnqJ@;K zAD>yM_1r}+Cc0GjY#~WEc$Gr<$d%aH>&8WJNFp&p6E>xIl!1^Cn4OG}ETWM1as*Cc z*DQ~9ey9l9pD68;byr`449>WVIs_n>n5t}k6Ml1cACcLz@m^jk}~YcITGa& zgm19U4Bu7BL>KRHElCQO)glw348KT}aHLq@Ro<5CCU&@at2-YmBHd1r4xMi*J|^a9WYA%+JOxP@;$=|A!F{WGfsq~D%x1pY=9_ihZ=Bd2>(iy%g>vH9-@6-6OHwB?Ed+6 zPm`ka&%go2J?Ft~9tGyz|4s)fE_?bQ>xM^yhJHG1AkeR&i@CYP(cmvTZnn}`&f-qvLWe_v5LAUF71JDk-&sHB5l2y z)B+kN-0hQsr?GG!<@kiwC@opL=#S-+O?p=*GrYn}R~jWH#RCmEI3>qQ%MsGUdvwgr z7%?oTx225OwYGCumsNJs)w*r85HO~osBVpYvS5SfYQ<6)ds0E8ay{BbltqLIJZ)d>?rw)w7CW&5dmpX5?&Z7NNxm05>Rf2e(466qZl zE5$$ix-P3xlaWeM7Jznn5%AI;bU3QaSjAm8L7@{9&XpR++~samv%P*_KuRms*iIyN z)}`28Wz3Zdj&;`LF_d_i@z#b>X*JC_H?hO)<2jN@4Cv=LFP?D(6;gSv!qg!_uI_la z=Qb&*>I`@M;~{x7cv}brE#69VX3o$oqlJ5bHtsBHKK|$J!9QR8kY>yGFG{m))pf2K zxr%-;8B`DTwz=m+A>arH^qtB2m$oOBr%1fLo>(zRWam%Y3==nP1q?^S7)cGaK8zsL z!z;X;V6o6-#lLaX^|p1%$IJVlZI^7 zVds+d>wSeb@_ic=qjWSz#)W=FdO!Cc1;O#G! zS4vB{1z7Ju{u$lp3YryX4D*)rr%~&C`Hs&(XxZ;RG8!l+ut|e7?PWRrVfaO>XUd>X zj!G2h!|AJnee;nMLJfr;Ji;%fUjIT<=+~bka2q20NPN?A$%(G@9XAuDIyb8awpvA) zab9N7Z(=9sQ9l#8&3J05!a!rS@Opr@gCk@UEfB#YIKuj)$V&&Q3T1tXY z=F+XJehhDdMV_7jC!{Vc$U~gqEZPRgg@|VuLsGL5)OtygDLzE2dsI%eC8m%Y`~<+} z?Qb>c3llIBls8tK8X7$lk{|`j9*I<@k4?p<3u&`x!1hR=M0!CrsNV*Hde=idNcs89pf`qx2ri_BtnNkPyPiju4i>cxM7KKT@mYlL zBbtF9`L}1Pi^{k)VcYp1H$B8H7$<2(!e!VakL}jlM^h9>!fy=Ss#r62&J$#fU-7{W z5Q{(Xq`p^l1(AwaW2U{l0{6k?{dr$m@&ulPe_wJj-KS=r>XsTVjtZEcf$B-T9@Lc)1=zbbE5pD9^i zDd=bb=N^6mI)RHo+X5SkNeiUUF1Q+59yetom-FSyv!R$ZJXZUoq<=q6%`(l{gwDQ3 ztc|7qdO1?K4f!OW7>#~4UAnkF>v%M+43NZ_rukU9Ocp|JTxuxe+^x!f*S@ruHDnsw zW@XV~WiM-K)MB=O@(ioHDziGjQv0IuOFP(YEVOy^RYkF|#pZrWdl>PE)hvdjY~-ab z+vpX0mNndYqdD0Bu9v)nD9tOT@c%tg-gW~#?nvDk@b|(Lwu9u?CtnY6^Fz^kKHFU8vt+Dc42Y8b;?EA~!gIB_b%3F*cmgS6 zw}pObOM(29e@6NTP+(4Gqs%h&TrOP4u)JnNN>x%@d9vG!BF$i9uD83)5oQ&jd^)Jhdv`x3fd)^mJMp)yj8Tch-^p z$LYrxZgSc|@vpNE^Ma2NwiorehhzGdg)B{6nLyAybtXGo^QIeDIQ8N?`h$3}Wi=*rrYl<1kh85^l$%d8dPXTUFAS|z z>h_blfY%EZDYE9IQyin)iP30vsdYFxL2xctVLVPib{rjatQjF{6Bno)`t-rl;HNgE z8-93aHAW1`ssRld*LIhaGKEWX?qOGTma{f`c3M+52>+eF{kUPufPX-2hhew|6fw+h zn3(tpHk_r`Z6tjvGDl6A5PH7-E@D_dnnqtO4l?xx2x}6qRT$7Wjnx_%ivzqTleA%9 zR~b7tsGad^6G0W;g7@A-%1ook(lI(b)V5xCvhg+*$Nrb5E>+xJQ?BH>)uH6>ReN%d z6XF%{6eT>0T>b`@sQD#YHNV7JZptVxLP8-2qC2guGW#Q5L&EH=o#3UlfbH_29k~zP z<@J)c9n9Tc91r7nxpND?Gno^)29`XA3V6Q==B6qpOx@AA#c(}5w%eJsj|BWEgC|xp zvrK_Z@Ol@#U?<17w|D-1ta_foZNyW`EwzG)k#gs>d@8K7HlX-#d8qxulBsM5$(oFqX&rBF&oo zTm|EP`KLU5E6SBzqeGc?%t*<#$X#|v3JoToi1h&X*3My?tRXV@nXE@ zMw~x=2M`>=(8(LGRMOS4ieQ_)*3TV!{eDp7dGAKAT7ISn7*$`1GPX@EswmYlZ}Y;u z7bnk`nSRj1ir(YB$vn%*aLpqG%2DF`V@WtUSbuMhW~`%l6&3`k2yD!!6w}%spd2*MWFNzj^-5ckH0M%-aI9A!+8J9fkh396h2@HoSAVd%9 zQFe1F5Wfy%M{+|@3#0YZQukG)}Nd}W%5oF4XwQk~*J&f3! z4)r_w%gDur=$uORq44p>?)!uDwm}1p@*V)EQ^%;nr6D&(HWo_eBt4M(-^br$DDbZd zUv#WF99ou%%jP;C4(l|T1svZv(yI37uEiAH&keuOt)2Sb_&0Xg{lfEC#8qDvi%_Ng z{a5hvL|0|hGR0E2(L4%1(v~q4y>5Yh1x+a|l&`0Yen~8C=s&;c~MQB=*tqPQqS_+uKf zw}*O-c-JD^yYVu7UzqG&r7#Y6KRkn-e*=F3o!hD}o5n1Z;(`|p7+H(((b^G3>%OQu z2_0eS!{}GhV2lef(ak6~RyR(caLBc{RS3}@!LHa@W!;{!5~4d2$>?eG3>vN{%^APa zI^|m3XVRa{+)v9nea)y)m<+pZ@ZF+4RI2EBc!^m?_@_OA#vtR%B!SMstkK>hrYqx;vJFj#B5TiR0@8dgMEl$+kx~W4G%h|h6>UxTt(iz>qFLV z0w}u!xDXHSKqmaUEIVJtm4k1B=Q$_j=L7eD?Q4#@vp=P$bV2zqd0TZ3*ma$>*3k}c zDO`)MGB#05>-i*FA&eUS;tL~@FfYN6saw**ho)AI_;Z*DJH2r8StY_tn|1gOWt0WG z(H3Prn5nd_lq-VrLfd63e0L4}hZXK0iYt5h=hOm$^Sa=IqJNncBb=F|?glnMOdA*# zoydB5aCtINR!~t2q-JwqaZcTu6khcu@*qcPdgV*VXQs1TI3$O_i^RFg^gw4Rxp7f} z%it{W?<9B(Lq5)M^YQ@Cr!Z+}Lxu}_E)F)>RiESGQ@@PdiX&AoKT(>e8A*bcm=smP z+M(i|f}>AbXEO~R{(IKf5`M@yg~t@!rA(qT9#J}lxe||zIhh7!wB58FQsmCc<{wY+ zKVlu5%o>P#As_-W(MPSZ09ft&1x)pn25`)d2Yi=~__pg(K4WjC4N2|{%tz4|4$Wbt zMltVSkX4*TtLl!WeT1Wzx!|TCG0AS+pDce*Evw6e$x9*3*#6k>OsoUfzm zHIW`2O}7Y%8Ed<`E}BiDy(K{mFV~T1;Bt**hrzvLp7v5mE8sQ{N9voT3YE0}+DrAK zy{uQ-XV(d!^x3i`-t6Tjw629Tjeqd<2^JFJh<3?#_X9&%`8f6LOYHo^M^Or1BxzMg4jV?`K@>(;LvcoXVSUq3yoQ&2o9U_4pNyJ61ELwpn>KXoMSJ?p zISDblCk})H?z~N| z@AUU*#%tEQp(!ecUCiA~ChVQ*?^z&0Rml$QZZBX)iYi}cL&KwJha%nn(J96YMX?tJ zbWO6LO(ac7IxuHXif!RR+cTBQ{4VnGQK1ObWW{o=?pDV2zgxIcZm>6MI2$r*m;UnZ z3xSss#EQmEgnm*IO;|d9-vrjTvd#J7Qw%>y^?*k{2g$43Ao)Dc3hX1m`-U0IN5xsC z3Y|$O-YL~t(He}rD+{ctI~9;#8=Xql>DEYvbq_0q`)|9QRV#KBqdvr<7^u9>l={qXktK5c{5dTA_W7%+HH&c9nJ{L}*qlJ9T&|N5I-kfo zVX?8#rLDIHf882#7-2kQ)WrXYe~@GG1(B}llLUv;rDnOwfyz@bj!u5kvjXqH{MSWPLe&w?o3;xmEkPO6q zS#~F`f4Xy6ShwVismAT+NKtUu|nftk@b>Q^$2D;Tret!!DNL_$i{(W}< zP|RUyd6J7YPrxk=Y?#d`T@}^l>IN~waZAX{`rBt3>o1G3GkSwpK^kjdHoE$yamq|7 zX14vZz-dYOH=wSN4G8CQ{>b6bJB`1b*Q(??e{kG&mursOmtqNDSpN+(W_ITG=dFkz z&jONPF5uCXt#4G9W-D+^L9$`HvqRaODEP6&zsPT8h5^mExKjF6AwI~o5;w0|Y!;Zz zFhicUZp~JKtGVNO6o=l0VFFa`TRKwBVPZ7z9?u_&Oa5xfrG(d;Ad;!qh6a&Lko+G1 zDXy&S!-Fp6IwX%fdzW1GGo5UVJ8Wjyv&_H1qP()tI7iP%WO!o-(D?yos6c zo5Yd#{V_C8IB+=|wtN9yl%Flo6epTXU#e5|EE_4RlWWSKqj(1;M4k}_H8Upf{<$dG zXf3zdVfMKtutNv=?PDq#2fP0k%haIPJJIo}yXbjG8PJPT;Iv1>`7d7&5n=Dh;%-$v z9y0zHAsv(hM?bd48`D`#tg?(P3lK&1CbaLac7~Zkz{XLifvXt8YN`j7KXIUK^&AQ4}-U<;fp%A%3hjW?Pfw`4+ENWv*U zi`~O=o%i1{ja37i7sWH#3wFpucQHS-p*rkq?!S=p!!?5L?(bT_~Kkmw*32( zaG#v|r(2=d+=4*gVDj#(RP#LF;Q(-Fmk4D&qWj(3F&{;eJ)<(MG4UP*XM5;*Dw@w) zyNjz=QZq8#e|Mb_7;UqU9}XWMD>slrjynr$8aPuCFFB6OwNSrl*X;Xj4V?SGL_Y){ zmzg8`t-uB+%53`E(drw*G%MJCtFUj_8^FM*PKuo}f;9AGqsT_a>L~T?;J5AW^ygi0 zZX!2>R^u=JZn8VI!DFWcD*+d>klU>BK-`0#d1Z0q#CJ163TJ zZs3PB@qwa>^%6hqFlIIEX9wfKOmkL zwQnDP&L{-@+n_Kq>W>?d^aU?L<}g|&(@R_=JX~1MxcTfH%NS|@m z2OW$ff%yeXo+Z#0x%7`iJ&ReNa!8F?LZ*D_)ZKMJbiBc3$q)^jVi-+48KUR;VF(_Q zb@@~JiEs$lr{?~-IAob1r}Bl1qoHW(p@J6F8(55w8^WO>SOY(<=LV>vojCrvU*zk9 zW&U?p0(KuCztK0Xms?C$zqu;P00ix^(a;c;zKAD6q}7|^$!ttm_2hw8&GrQS8%s82 zmd@a{9i5G>e=c&)Q}ebHmw$qaQ4nD zm%;Jo-apu;RXdo%Dmi<72$5BY2Bw&GIf@N}sZqzVHeh<-@i}gB%;pm__5Iws{RwKj7GujU>?g!2`nYS;;3kZ>d!BL*cWB<|I~`JG5)VwaVEC^hG8)g zFf#sMT5%?J2G0MdR{Z8BXN0hgyMJ3JNa}E*&C7mu59FV69Fh(&u#>yr_KcGFJUl!Q$p8vo;PB*mA*2ujg*62d zQetAia+7+507h}YPu|8{z_eEY%J_QP)7DqG*3(x4_z1t3!Ya(n0AmX<`fyE*z~NL> z7E;vWK;|T^ zssEg35PMhpra)if%uei#PH&SU@b(N&4WL}ye%{~!*??%WqON&ynEqFQ0^G>h=!?A& z-fPp>zhp;y#=nRLpZlKxN)2vcoS7VexB~uh6_SQXzk84kEI{8Xo0xC=U~8Fv!WkQx zZC}d^yFKuK;pxX9%uite(%XZ6Dom`w82;5+!|?E4`T=mV2l|m29L6*^yO#rd0w8CG zCMH+HW;Q$hcj~IQMb?26;}*209NH zXi=||$i~bTUfVpWmm(RMrnZ{G>KJ|C_+T*wW7I5RieDSxjHC4%{ahWbW%$ z+4So*;>#}nZI|e-S7hgx-{DuK@Ygls*YEbRS4gUDZH)qB-Iu11e+Q#)l-S4^{LS4A zz|p@K4-0+smwI>%&HV8GSMp=kT&B^l4z<3O@mnpIW$es|WWW^-zkz|7>30yqITfHI zGo1=hkSrCzi8wRPO`L8AYTN<-#|7+~sb7B)$}Y;-mfB-V1*9*k>OMUNBBGa@KRPfpIlF&A zO!o2NjSs@XzVXXDzT^+=(8FwF7vdP?8Qk3WS!Vk2?alAu<80DTZ(sOk`da2sGg}1# zG52De%qRVzo-Hyuc`1CrZ_gLL&hP2_Z8rPAzF-zq*KK0ohi;Ml%z>-upT^8USiHV8 z2*81Ipr}#%Ot{rE*}YDCu}Lc3x+~@it~W@0tzI_TU)y(4J9*p@hmVDIaf@8{z)OJV zw6Wv+z*6Bx-_|8qTs1s;LY}6mjq+%RrNEUnjp?q2G)buyp=TIMy0(_JNB1-T9@lyN zuBW)cmG_oWyfm!mp2O;6u!M@0D?@_+-BN;&hJ%N7)f0TZL0T{w9Z-6}-2WiMPa+H8 zfyuVLl-bG4)o#b>TN2a3aW+mB!90|~-efwOre5Xy^f9|Atz0tP(k!d#=&etYTY*@L zL#pqlM^bVv=gX>2aSpb`!%!yxtBji@pbha=jJteC-i8Q-!rtx``+H(|qF)h^YEW5b zkq_B=)(^uEWb_82LUcKU$9_TCH<7^eOq{o}miA{~WRAm#exd5IU;l3r1xzj9T>$527upFGZy4srwnFS}O`FwAl@C;I){*d*ois zzTkZTle42y&JL-p!1TB(0L*P__5f(e)n6HOu-u~EtlUD3WK5I4Ba4V8C$n zeEk_rgq-7GDtyt$Y6OliAI(mdpKxL`6iUhueQE}v?PkipnOT&mI$gpc%bhD<1C@|I z4`p+e`K{KwZyK0Y(Az=P=@qHO5X5^v`WR~gEY!0x_F~+PLGHC%urhk< zy)Lhf=Je3jiR6v1^9Hj2*rRjsG{%eJn?3vQ=9}p4RNDot6P<+c@BOqRSv`J`-bD|- zj)zH3*6j?KV*bwY1pGI^3|Y zPLW#y4<4BHtA2(3Pv%|u-ixbMdccOF31NqIZHJsod{jj3Ew_*Rww?o<@86FhW{e%_ zhfAv>rawKUnt{e-QLk5sQlMV?e(!o6f80dy47Ng2FzAsfuUFVw)H_EEUo}@+M+5_K1%PK18nVAzH9l9~j!|)Eq(?Ai?oz+a=!kdjzvim5O;j%Mn~+`S zb#{Dd9TG*l-iXXZQzQSjEQ>Dxb1pSg!}cYdouC@&_=~yi)$ZxFiseta z19dhIqwqnKaOfe8PnFLGq7shNS=Cu}^oFF;z&B3sQGGP)RW`K4vC~WuA5hq@*fO`N znwtEa))m#c)31$O8Qqt{L9f`5MPFX;a9eNRk7mw$Ft^L!zqfa(EK) zyi$NZqx7d8}xDQrJi~M3Y-{dg{h~@ z?TytBou1snY|+)xJtRRcpM4X#xL}zO8S0rU9xp+Uc^~jZl?}%R^M}O;A4kDW(|CS? zAEQl(mz_((81{gfO1v65d3wGKi^ma}3V9$}gNOiG(d+kPejFLjpQM&?h?mEa1_lSr zPKX|%po6P4I%J_rJld`@otQUY@C~DqwxJ_4qcp-*JJgTniaw5$TtKqP-|E;3S-LhV z-OO`~9izinQsh{4Z1T8QHhNJFqqJEn$mJ@GL z61*!_Cg`-{o_uul(By^D6}IY!fqeB*x@F`2=Bv6;zsTjO**bOu?c~;Pin4$C9-v^& zfKY(B1*M&2#f8b$nP8LzVea_@=KamZNx*#AS_AbDDBrqE z(4}%vG^xTbJ|IT~|5*vp#k)RG!X#2E@6loes&yMHN-%_btYSsHf6+FN9c}z^BE=`} z;cSEk%B~#H864!_1d2+o1>(TRm4a=K{O~0mmqEvK4SDbTO282IvYAw7FE$)_6(!86 z3Ujt9ZDqbKk;1h!oci|G7HEB|h%W+Ssa#I@l5dt3a>!w)fQ@bjavn==HRM@KuueL= zhT)%=(0do}g#u;~?qU*rA!3++Xsv=n%Dhmq-e{sWVBeLZZPTPpDHe|&^ zNT^%xyW9l^9;bRHx25wOqc?)@K#U;xO!f?vb_O7>rF_eip^lMW3bydb{;F91^9fDX zP$r24=-m$2Gjn1;k&J9;WwCLANw;!@q~%fFv`dVbnTgAJGJ?F+IKFJs`W!P2$V`Rt zjY$$DKQy*cA~-4PSY~Iu`5EFptU3(DFw4Rur4Ol_{-R8^D#)p=oWVd0p+6IkhkZD`rRSx1TXUua$&xQbw)pm#bB1HXF8}p%32$@v}`9Aisy6Z{nd4tCc%z6 zO1oDBsO}Mq=l>`DJ!&?HfsBZ!9e3ZU)s4OF|bRJzqA0#>r`<)_9W* z8_EwEpxyi?`7;~geks-Lr<{ksYq54F7&~mTSV7!vK<=`U>Jd(RTpQ=nzt9< zZvkrJ(*>?+&8#&~Osngh+9m6#=%BWBxjv0l+RRw#+?kfi?bJKYQBe9p061}Ynjk=? zG2q#3k;xf%(-!#)w(Kh+&b64vt5e5DJAR+Ai9p5tw}Kn-u(%R9VXX?IWbtaj@aHDR zwp;{vqrswaW;WtjF)_x5u~H0MzWbuOZ0=CWpQ_uDY3w&jRB@7|TPe9| zPD7j##Zq_RU$QQH_K(wzJ$8k>qV^|1SF^gYH35YB%CFPRfuW zz`zP#I3L`gW|ycL4gFr(X>=$bU$JW<+vAuyFWl|i1CkqBQQz7)wn<0D9SKLN zD9ChD)NzS=3*_*?z!?wnl9)0{W7W_c>Lk1i<;6xXGht`yyX9gr&LteTXA6zJs+;Gu zTl}J8qt7ArM?LC@`!bi9bo6zo@B;04Dd~@97I!`7V3~`)X@Z(&9Z($+dvF}xx3rqk zsZ;u9x+^VHsXAb!)`wK1k0J<~gJ=C?VMbwHTCN6rA~?>r5nOO11AN!^%vWopl)+Xv z!)SiXTX0lIo)IyL&$kE+^gs*+DH5@S!rDI8zqI6d6ZFIMf*zi&p%Z`pg;^h)?HuVp z@48eY;>ds|y`VNgBoNyC%f-_hyM|M6u@zi=LAQr+>9@Dhq>{a&N;|4>Y|ElrY?IdE zpk)22U!_7N8a9vVWj`p@884_88VIgp0$p)>%j;uir{rw#83iM!`BHsfwhYk{kv<&b z;P9yV)9`9#ctaI7{nB7L&-;(%{QZ`@HBEM=z#D$WI~lR?w~Rs{Wy9;%mnsuRw^&Ki zQWS{RtneLhZGu$uV0rHXn~q~T%`3)D=TZ+8zdec&1^lU`i@*LSF}gTHMDM{Jjb9v3OVq|7Cn%q zznydtUqIbL5_hlqfM8&KU#Yt_;%L5kW9f_dtIMs{`Wg!1w74Gi#`0_A--0b%yQ2g8 zX+_mkaYu`QX6AQko8c(^C4WnXx5s{nZy_IIwBN1|x}S!ORw{pkT>u`c2<%}NaVxNv zLW`2ygdV`KdJdkAtl+jq*{pCh)#Oh&QtmoAM)25;;fiYz=Ae0%lwtkAQ^q`VuE zCN-oG^$J~%>b+YX=g<;!Blt@EFx9&@;M2HjS7I<bIee26{r#T_S2nc*YcBmfIXt+-`ljUN}RVdewOuU1T%>Kf%Yo zfqezpW;Z&7lRK8sV^$LP)0-v@5+w7%KT49*s3j<{uqmA}8ouW%60ycoq)qAv$)_Q5 zA%&{&a*sq(B=!fStz2HK_SNdG+yr>Mx5L3H<^gYq!|nhK_Vxt1kNoUOg}f3QxV6y+-psD^>{u zcrpFzcETcxRDsmt5K)H%cbG^*KVesiv$tM5JaYPyeFIz$QKixvp59C_dd}OkJ#7IK zWuy)l_nRY^_bBx}tus~&-SjwbP&7EqYL6G+BhDE>%7sNW$qOIhe{nTbnV*eO)e-`5 zz-&wvVTsg8!F#x**whY-_2K^P0+s3l9BF=lPBb+LH%FVi4XZY5O=t2da(fAW4)`kH z6=TQVFe}*($6w_hHGk1C0wdShaZSq?VUE(Ex!*(^Qm_&-EnXzEuHf0*AT!+}V?5vl zyQ}Ix<%zBYqmXrbZ*CX`^}*C@`%&5SiUmy<^9(YmkxDqNc47B>i4?2Y?yaxKCA;}1 zgsEvYm_u`uUmSfZ*+qwsQ1UHP_t|=tfNwb6NalS!T=>M$L+0=TpDoMVMNZujh`f^>dwHhh*xv%E2eDL?89tn4#Q<{Xvze{#%&15K6m!W~y=d;6L_=#}Y4?nLZ6 zXeYGDiJ%ljMIU_fH64^)4>xp}NiaGbC6mo72-dAaq$tY|4I6j-!{!^+m0$}I)Mgl$ zyGhk{PU_@7Ok+-$cy{9kmcg7c6xwov9MWq`9=HaQg=nBb-cLqD$69~l^=(=Yq)G*- zAnC-tAfI*^lb8U=GEd%9E~+Ia02*h*{zs^{>r9|P?lCL@s%nx zI1iayg*jLE$9PDZBP4+dSK_*+%ABO9l=p7g09!Nk$9Z7_*M{=nuX?@vjbulJ%gW&P zUJXg}ap;M>)vIk?xw`|5{V+GTaPRpYo4iO1A}O;7>%2u>PXZ5li;W61)iYm@7clcC zRJ`ufgVcQ?G^Y~2y*^i~`S--1Sd`eTDm+R%sNmIy)F2tVb%x&u8DzUb>f;%Rg+B>H z%Zd?3wzX^_CvpNt%c4mfv^stzWcyu-WK8E(Mr*)pUW_G5G2jZeDF^u@x}4X1ew2bA zUx1)bSt4t`!|4>ERS=57@Zhbj5UUMTK0I#{fY}omU(l`92SxHE3!FRbJ|L|v*XDZi zY;Rvynz*+4LQ;up2b@oNWgf*F&=39_ljMbac2mfzE9Z7sBhIikKy;Q=kHMuda%$fZ z6F@$M6|`V<48kO?K#^*ilOxWjBS^u21eh_p3J79?k=5$Q)+MtrW{V|GQ9YnUaVb8l zrMg;4jMt~4!ljcZ+G!D~@$$rZ$=it;;jkU3wR@3gW+%pBFk))#Uqiz&Q0E;o5m7{( zkC4`XGRtpuf+r0yu-h`Yi2}1u)iq^~T&0xYK(06YY zLca16O9kS5?Xdp2 z624$cpkm|T=p}w8s{*Xwywf<_kqaB?Ql(f>==l1qdQX5l0xo0nr6l(#p41GN&|_J( zDy(0g>}U?lcQrq%;U;5Sc%1qY0vVKLK&+3z(yGu70qQoR+$s@h#F0ZTB*HUN_1od7 zYdcm@CFX>7xSt$rIgwnsDy%Pyt(14)kV)&qX&KDAp2N-A z;<5C4Twh;uc=n3T*f0TjJ!F#DifPw_!BpD;>SD$|6S%mqaJQ0c zaprb^#ii?_(|2WvZcBZEULwIow&t;zbPs59?84yc1k_@oHl|V1 zCf|B~1jD1rL7|%Jbjp1-BTy?#fx#DONfUBbd-kR zb}dYYjctlO6Ye`;54sRe3;r5oQO$+ou=!8|)ngM0Hg@*6jnVJd&q zwY4>Z`|beUZH{4Hb-c(S9-A*QyfwtYk+5=1^A1t?_O17>o*l}Y3(uSH@XXMPZP7LdJ(V2681Rp zIK4J<%%6W8ugGe%4YrVG#ARL z0Cw;n+}8mo0tr>vXwSyqf;9y zv$PBv7fJhINnI-cz5W=F7b(++txv}N{cnT>GVrt<6ul0ugN9%8(gZXk2GiSzSUc?K z^*va&_``4A`PGaqs1z=PmP(tMV_oMwmlY(H2j-HnV2-LQ(+3Mf|G(5?F<{RyTn)^* zD$WwV_qZ_U?nqtHkD;7THdHnZAat9z)H51X4r1v~B-a%RI@!RjX$sIKDr&9bz5gOg zwvONQe=&!OZG!RwR*-L#t;LK4E+CrPjsHNn+aJH?G0;ttkduK3dBj}m(xJLhN8J5E z4s7jeBg3yY>qCId2XECw(GtF23Nk2KTMz{LW66GSBv}>EiX6TnB#F{quR!*G zDTN)^AH^y;!q@F^N*7oZ?5%U!4_~b33c`W1L3#`^1ZAOV-s^-Nlob4Q{CGRy>xq-R z?s(oASPqG0{B~1XL*!oAQN*Q2fj{ebIR5>yL{bIOO8@`(r$2*qlMAt%nW2; z3PT2J>Bdz{^!Qgv7q8woC^R`^t7DUe!jFWGU+)9@FrUXKRqbybzwr?e{kbc}8R3K~ z`hqp=cQl}_H{QDlVFw1dC4T~SJ(Jyb(+rNQgw^6`p)$_MQb^r38|-e22v$Y)-v>v` z(7F{)6_FuracVL6%3HNy?bXa1oCG>m*drO~oy6chLsN;;A-jvB_XVJnpKD$_M)tB> z9_zn=P&?8q&-%SHq-hO+u_4dbdTWSj)@<>|w>?h#5723#as?;xayMjwlm$Ed7zsp% zJ5(9xG(8Zcmk>8%``UE?Wv59c9b}*$9LAH}QwEmoKZkK{{yZq#7dGM+xQ@skT`x`j z|AGiiO)qzS0>}rInuCWxgWxeq=f*o}>V#ybNAnj345(&B7jA(zpAr+Op z)P7iyKhM{Fi&3n8zgLB=j~Kgiw1Bu7%yPy#QBI7v7XHD|2h~zde_n}2r&MKBK2KZt z@Fs~D=RPe9_!@PH*Ld#F=rPyVnQSArRZ&_smNxrcc@b+yJprU?fHrZH28yh3#P7Qu zM2ACp2KObmMGx}{B*v!GatdzMuNUvyg~lk8?}j?iN;y%#7^{PSw z0)N$jF83%i-WaRC8M@X*>ypyUN`P5ANNG}3La9B|hnFW7^^9M(wKbv$UN}MVONoqbpVx_=RTw!hW>Kt5x^Qsod>2sP(PyG*L=g=$+ z7j)Na+qP}nwr$(CZQHhO+xBy9`{w-yNo9~hhW!Ih)#>WJ_8O5RMo9skhv$2Ih2e^7 z<@qNYf1H7pLwpXl#YH~89f6=My|uc4z#E@)nNpJQwQMOx&1EjeNleFd<8bR09|MX# z@>6jg%(0B3ey_{zKgTzk{^jUWH4HFa0IT9r!;;((h0L`=E|22g8Sb|ya>e|X49VjN zLjB`8n;89)Fqr3`seGhaDM_tNO`&JnTdr->ADXGpLk_U3@O99y%HEv2Fn-h4;`DH7 zKs6EmmeM5FehZ$T(~eS`5lBOg`bMWUzmNe15Mt@M%Ps_+ztWfcdhfLZA}P9Zqkx5RR{Cc zN~Xu`cKz+M@F5Ij-Fsc1S=2#>BwY7wg?OWYtcEOvt}6yad{yDdjXv#hU%c@zmAR=Z znE);j@ErftF+;;FmRU~^IUNMqY7R!fOrbFUzAi;lkf)6Pp@&%h&}IY$Hi{4Vt1cnEY2dm6-g78d=JBmB zoNRH74@C`sav%djm$*Z@yUk0@i@nqbYr=}z9WM;G0|^ERMtSv%lecT*q5Q4_Z!lv! zHGofk?s^?A`H3b79nx=7WGN)SbZ=E&5k@4kWUTX>BD|_xGQ=^GO zni19X_x3XtMbGcd$f;^a7Gi@$%-dP?Q_2*2W*9cgmv%MQ=%lrTt{Mpqwyi!w55dFT*+LZCcKac#zi?eEP+4D z$9UspFix?nd_Sj#d%SSJgYrN>G_}uu!{z|c4i=mgqkRKolRPpJpSF7ZGLE&WucnWS zYq>kUmX-zshwj=R+v&E2lZPQblR#zySv?fx>iQlq$IKGDLAoCQbU2O{45iJ#eBOre zAGSNWqCu39g=EYFK>g7X$y!MOl;rXoUvgACV+|QFO($+at;?E#3%2sx)WkReCw(~w z6=yXvz6@fcRt;r@UNsK@{mOyfE^K{*{7q2Q)7ZN4bIW9yZldp=C;g%sNd%_$=5t!M z{~gwuk%CEc>;rK?^{F4)q}+sq<;J&AeDUw(DKhspvDcSSDG{(Fm-+Bzx{fv8xtyYj zvDD^KAZkHj$n=yMUltDI?*xlIEu^WM48yU9%;Kp%L~`bQ>uNCPNa=CMjL%iU%g$N8 zszp%#o$BSQcL?8nsI&zpHxd+Lt4`)WL!r;+d0A}g3kzBA?OuLGDB`kPWT1?qN2<6H zd!TlcGu9Up*VXvg51zpc+ru$TN=b((g?Q&sp7NVsr;bA!@jgkN)kf62fJwTQAy^lH zzHUXm-Qo5;fnY02zWa{XwyX~XTm7?>0>2a<6LJ1cz9bQsSf6MycS9O5TRtK`5 zCA7OTuP_({dpiL(**`K?KCr$-=H_nvqbsC6z)cbzT7Me+^t^elWQfc%xW;lk-x9*j zBgQQ$$i+f75EWLd5R^aE<9j1dcz8GPVvI1^HW^H`BuGgwqT27yZ}7ufz)WF)Kwwci{}X;m54}G7k-wwbhi^ zk^5^Q+|9ODCa7bbQy~JYCM(Dd>h|7t&U@qYQOK&^6&iO*-@g%DaSF8I-)FNMQ{0g~ z0fnTM3`DjiTjYItJiGS`qxPO^@8G{X3jbBNf8qYrRrEnw$JpiE;j168E7t*~)79=@ z$Fs;ipI!^y{n{*j<@|(h$>`~Co5g}CG8bjj%%h#tw2q+r<$9{CfRAKLx8vx#*r6sF zliX&+uR5v-yUNBDc9@uQmNO07T!5#yPnDh_>JZfDhMm39T#cq)Zz-rDJX<(N|Ep4W ziJNq4P3ZMCnt%#V`aq7L5d;34dh8y)+92-@m9lOv)%<1u@4iV(M0y10T}%l0Ouk+<-Ie2PomyBo0J9fcO_Ejgc7= z&k0(^>DtcRbTZ4HMGf!r z>1%L4j^!ySO<7qx=5)FE<~1eN(oe00)1~g8$z&Tsh%jV)Y%4Q~eANiPh~s>KT0(!G zSP*|i^I-7Z#113j&rmWC@&~OD+H;)n9$0z@7FV+J0Ul$boQ2Aw%Ej+(C3FMFKp(5+ zKZ47*{uwFog2ReI>HeP6Ka!<&R~SH(`n(wokeTUIjik%rxj1BXYe-@WSuFFWj&}!XltnT`8Gd z8H3fSv`9O>-XlisC61oY(}Q=$DR*CwP&AA_r~F~Uny_0#3;ep}wVrxt>=^YU3U>Q& zM(5-?a5&6@>4;9^Ff^1zCfP8hhvF#QZt%}xou*qQ75d5YfcqMGk6!1uG=zvaPGohRXdw)n*Az(H_hy7>prFu} zG!K8nIBJv4Z(_4Qt9G?l9s;1Sd#HA1t!jORCF}#$ZjN)ykW?x(vzUBwHp)-=n|_rO z1P9y5UzZD8@=xg#rFG`N;WiNwLGih>Gx2;&+G34gQat=FNRfRKuO^Z1j}K9-;M+uG z9Rxs?MO2q;rXD(7E_1$g4tV<8o;9m%8kr-<=~3+xc_vTO-}X|cK!EnY^6;5!i;hpV zeR1WDYa`IS)oL;pFNaH`=|)3@@4?{mGy3pObgAgQROLIqSN83mA!SOfOKa`J4E$^z z;tl#zRdgfsCrMPn>J-jzv_2T-&p}Nvf3TirVkEe5n}s1L#xVDWRf+0-8GD?Y*`Cqj zW)c+=+u2`Ernhsm>WP>tnj}Mlm&v zbD0C+6MVSQYRFH&hbRs^?I3Dx@$*ZmLwNDkW2*L0y*IAU{FJ_JNrHf3<+8;}-5I{+ zzyi0H^y*Y|3n-eOOYRY(%rcMUbzDethCS6kH+9(C~~ ziuP@riLb&Fyjt~#C7O8pK-5^dqH7jN)3V_f>wKn*=upCRlaa&8(JWd_Et5ODZT?!a zxqa0Rgo^BJeicv48gP|lA}_NQg?+4(mr^wNnawJGJ^jg0;|wLN;fL=S+CB11y;gu1 z5n#AOtZ9gB>AS}bpTf;e{s8oMG(0OfVGvME7x0Fpw6$ow#H>0YSh70vGJI7{>Myw z9socoZQmQA>Ld~cT);3Lfo1}|BJ?Z0d_SK8UJqGM_kO$V#ZNVzj=r-PMz=(Dpk5vP zcFjeq?p9N!1Che)^EuS~2fP-nH2432L;f?N6WAMBLGkeXZye-*L;}nV|9kom4q<0t z{XgUXEly`-=ip%b|Aa$oI-MQN?Ayt3s*SnjZMNHNpCV)B+_~Cpw{JJ(#@lSUKR)03 zoKIzP?N9SFpT_I9-iBHoYQ0r&woXQ*s-B0;;K)vq;9l#VXJBM_06+_JBeSEUf^&m_ z+i`lMI!mz+>T_`8a&%TUcQ#PZ4d~6Tt>%CiSlEFhGP8j+GyrCHc6J<202IN+>CFpD zQ>g=_bVZZ1($a4EN&hkcWO{yupVpT_EiB;+-oK9Q?5++h%a{=`)goqpPDUnHLsO@7b%8GDiBJTw0mje#qOP z@9VJ+3?9~(W(HSo@{@i`zo4JgudHBN+yOhXyt{spr$=xMz+4<#SYJP}zvwfHneX*2 zJ30YwX#bdjxdNIyOBimthfo={l{xVT5y`jMYn3wzinc2nt6*{xK|EdR9{AOZa_Df=9b8c*V z0nW_O9$=v2==_C&DE#a<&fM>dKl%fY{?UT`wJ&`AiQW4DJNNG#`Ky2X_#Z-KbBhXN z`v*6`{|;kdpVZg}{=NHu2oZm@*xJUYzxnYEIE$+n|HsezwXD-Wxwk(6vKy=KcG{uW zH2+FNBZJR&gmWUmXBKv4psp+}K$;lazt?MhCs%J~XLId>-Vc4dzg0B=US{NF|HVp8 zKv~=CKf=JDeJW?~=0B}L{jT3s{^GEdmYyb-n?JL`-)V)5JA#fXPtM=j8-EqzJA+q# z_`iXO2o4XRo{LP*4uEGGof-eT{r!**%?-a_d!b+Gh!6hx$FaIO0r`O2{jSW6Kh>W< zkKd<~KYfFd8(G|$Urbz8bz|@5{^eJG(7y`V-JIONr0;sr`}WH}jz8<$*;(FM*+Vrn zTp3T`T4m-X9qUG?u-}M_*B6Fhcu>wXmI~CeyPdPpOSoRbfm7cCCg z?~U|APK=AemeOlEw*HynKS`0x85kXqp4xVF(4&N^loeW$&EE>MR zn%wc@*|@>da@H}X$uCkk7FVYyKKcfqksnucmrI=ppW4k>rGmP~-FwFM&uv*w zTcFj1rs)kAc*zPylQA^orxOnB7imHtfLuh3iom&~Ves?T14cq-X2r*{?y z?89RbqmwF2La(#)DX>(8lz^Wwxdt80l(1xUCM>76un@nMb8K8Yf=-TrA`pdI`-=ZX zatnzng5A{dLmIw!3skKreO)!prJRSq2Oc~t&V=I~zRCH>2nlVi4YHUg#xK-Unc6G{ zb^CM}Ok&4o5dA}5OKldWPFM)4lwHiFV8v@n_dcnq=OCm|!gh-l;YnQLJaOm0O@i@r zzjAXcjcWcPo`J-Y#eHF&Lc1IAV1==icGV3?nHqu;p+5O+Aic=(C78=zfnj4?x)8&; zvQ12RnA5@ zSFuYPq<)%ld{b%O^hudk!Ehkx0%27iWP_R6Q$-5` zVxCsjcnP$q?DU9HFPX3PLfq~*X*PFdYVb!GsZg>oWH(!>W-u)) zmfT+b{W5cv!v{aW{mkr95;fhoKWOoN(!fw?0ytsO8KV z7Fr*;MGb7OPoli&E!MLKWG)p5-}eC`h|e*%T&susrpJ zNGy04?$9^p!Pzl#;x>yvL}ppLwro+eI6TabQ34oW?;hI*%!R^>byQKMD)EtJp?#ib z@xSBeZ~f1AtXWpL&&ynZYl&k2i=(ry_utCre;{R~cNhUK;u!TkRW+7pV}GPw#XSPe z*%=wfOHT}l-i={KL#JaIt0#4`|C$xZ&2`Z6C(1XS^HzRf1W6pL+x?NffG}NnG@`ip zj(@KL+-Rnn@p3<+Ghv2lspzLE0*ArRxvX-0E_XH;qBmQ9OEvgxe1K<@hdt%_v4vk0 z_iOA4o~gFkKKHL@PelJHZlFjr6 zv!^xIB(J36zGitK^~4b-!)2Vl14K45l8P5SZqtYtnsr@2I?nNDwwyE!3bgv&y7z>nFfEDM&K=S z`Odz&<=E%D#M&|w3F~B)I#}8_^u?&5y^+VEmj0mTj{Vh3yZ6Kc<8#85FjPz>IMfn@ z&=V;u^yDJa$2H>R3Shb=O5Km;itJ_9mS%1EW*2k@@C6+y?qF!V_^CwQ-6g5?%k;Y) z17atC-HbnEcWUq5H$vmZd_nAIgBqCXZUx%_h6T#drwo`m4vi8QSh$}OA+h3E56ob^ z@4V(tw${E5f1>(f-#ur8x=A{U$Z|9xBN07fk1)90gqY0= z)>3plqf?dK!3lQ>S>EtJIO#70CqD36GNLohwY`01HT2?zORG88=C;N`Sj<%~j3Hi3{}pk-8v z3>HJx#vaWH?iBGyLKdrzf;ouO1)>Nizs6_u3({X!1FQ!mI3z(}M%Xnokho2g5iIi* zQqZ8iS>h-F#GBV+Zl=5pPC~si^M}Gx(XFF+jb%B!o#){Cg2k?xa)cw0K(1Kh>BZ}_ zIgYsx*yRFYo|E|YeJN5EzpcNYBH#D3*Y#rO*rkr5NhZk^`bo1!t3Tw6^}GtzRW1T| zpx1kuu60gFFw7UWMWVs5fz)E-8~v)sD&q`b_d-FOgPVt{14r^emIZ zzAL+z>$9MRtYDXs&9Yz3i;Y{SfLze6q7^Z5lKo})M$++t;qw%OPhY37e{x+2yTM?_ z`C<>!@Yd&K@4-2=15#hJnEg}nst+y%JlpKOt3;>g2~;-jw`&tl1z=x(qfW5(UWb4r zf!o=8z|RSwN>J#oFj6aEK}1G1WX9qYK)!Ii_?j4s}z^pxGfrzG|Le9=LXT zop3=0u-~bE^v9(M>syuoilY!5c2E6kHgYzt(e=qaaHgy`qPmowDO((n#Zi+}6h$I< zPNHdJ$AYd|W}_E!n9}0kO)MianwsAdyy5x(q+Zu zeLz?_3r{SZZ)h&E7|v`~ADRnZ&Nwp?X5Ni$dmhv99fia<<6g4ryX^c>yH((Cu&Lw$ zok)t_m9gYS4YSsthUP~J^~9MHLs`)W&2h8NAtNun;| zLMGVIk#sm&xzou_)h_z}r5Hjz(f1?OebEKYH=^~lCwTSMzNS%77jkI4qaD0)uBi5P7pyj!rJw4Oz+mOi!+t-6&nFysh6b%E4e z1`VX68(-B8#@%eefkrx#AeL*UV+%5@{`|XMk1c7Z@G)2k%#v^ehGJ%LBpl=ZG9>5! zWJAOR^S1Dae3Yt&E_5lkxe>S^Y-5mFg57ds1t27 zcw;2haAX)a`ip(j(Ot^x5({5UC>>oznByJaBxU+5d9C(7nSG70j~{twTdjg3~FQPxzcTGA-Q(|cnL@h z(;?UbtCr!xN?as2M{r&1-5j|}*;VlWpd~n$jLT}lr{8J%ho`d(^?rUfp}Q;2Rc<00@1tRx?{dw!I()DA0)_(H>B7v(56@kY{PNMhXdnF zpJRdK3o!jGNG79bnoq;~2WRij0a;ie&$QFrdK`S)WNnuu#?F1PVnu zop?1^{AADtgX^zj6Z~7`P8_o!$rBaGZXr?yg6iiRH|8(Cv|i0|-}{!mzNczxUc>yY zNz4DQp2Oz5H^`l2Y12&%bfpo*O3eFuGFJ4@lcS8X`wT~&;;W>*fa^Cbo43u{2f^&u zN<1i&I_C;^o}S)NR^J;cZO*^D(kz3Ojo>%Te$@s;Lq9r`C0kq@crYE{S*(k8M?xQo zD^KNLV9BK*^*P)Ub6FxD26mBlcxCcp!N%ElCb(nCkB`0h6zVJS9b=#Beu*XK&uESP zcAA$nr>Iktpw(Dx^SzG%#4c$iy~>{pNS7dxB;l-} zef_ge%lmv0n^xnYeLyrAy{hAwaJJaq3T;ZubGa;oIphLkw^>YfFbD-om2T8XiL6YG zSey)X0_>j(REY^wb$n!1K8GchE!e{3tD@pfB6Z7XYD~dxscJcop^PciEq*xEkEqzX z51lCWGu~$mv?(w}nr7~$M=d$4h8Aev4f>v+=$cOwe-=7|KXFjeNm$B@k*yYR$|7D3 z%SWbFb6-S^veH7y@chO|dO4B2alkkbE{{Z(Az)({U`U>9IMrg~OLx?)nZv33h>(1du#5%*v&RN~|r z=Gj|I!TUE68QCIfumZm|l?IY$`IFQC`tYy4+GmR*Q{v~C5ufv-94^}|Dm=gHgEgf5 zF3G_w+3Lzy)e%upFanmvkO5}4`WSVBP&~r!$!9#UqtGosZb`#H zqkU}Gn}|9-DGoYDb*Qn)HJK#pel2P=EJbd;Qc!F}SmXXyIxOppDxmwN5;kVv6NZ@$ z19(6--Af9lp5B3OoTeJHd(jiOS}gcU# z;ZlxB-9*3FV)4>zs%Eywg`H3L8WdUoj(Ho|u8vs4dCM(vhLNCYtkdT4^HSV!b%Tu+3KXfh%c^Ea-r+HUZsK+#8;8Ay0h){jQx%DJ*IOSx zml@C`uNbSQC3%Sj;jE-U;nE^6_vN$B4ril;%aVawMek+7cjH!SZNlh&WaZt+;pMK- zX9X?k$f`gWHxSa3LQX^t-6?|MRJ8fA5!#usL*%;O)$X(`=d+FM?$-7(fSU}j%sR5r zk*XT(kw2xFn}xCSl=I`G}HwQHG4p zrJ6P9V%F)Z749?r6Ox-%2({o;NV`s?V)VXAJ9<9R7+3C<-T0F8pwHlMcw^#P=VSx$ zsnh8nFk52zbRTA)UU5Dgc*!Ge6x&26$gJD5?OpP7G=u!?-hh02RA+y!w_i)wo)9Xq zn}^F_eU|svGRxEn$fizup`{c^pBnLrt4dtocyu;h`XsmaU>4@iP0lR@u)K!#!M7G3 zi{Wqqy)r?kvZfX9E%I{di=ih($iqO*#AQ#`auvv=*qgk4&PutgB>6!GYo-bIK`h%$ z3C6l&nBcY~24&Pl&Tm(Hy;*C5gs90fm;B^a{Tc4h97{fx2oEoeAt?)G*RDQdyOi)M zTM8Ng2Xwi3!R1oWd<~VYz6oaQ`o^{3V%{tjVS(_>!lNp%N{`#&!O8_fW!rP(CRPK2 z-Aah$J%$c4*;4B57b;kM8MeBbo-#jj4$RCY=q?906cc(vFD`rFe~{9a@bog6Z|$`7 z1yMIMtq5ft6C9Q4Rr3H+_qPM8%phz3n1#~XVhMwpUfx>mlQbzp=Isre5EOSF6!~tW zO{G9ecN=+FN~!aCv*t7sUq)9}tIhPr-1c(NUs3X6Utq9UP^w4jOpdGTx#*g+xb`k# zv|A@NmPflekI><+FV^-s%5n(KZ~J0AU3z-g_*A7r?=Y-rbf8TYkH844u#&PH(gPO3j? zOqzc(!YIMXP{IWcV9_(R5vB`W1_iD_=XY8^E~a9o1?5i2>Oltc?!yrK5{y1jYNQG- zgn`Q%ZY78#V=Eop)VoRLhcm()=|=9+l+NvInN({DkaBivza8~91Oa~7UQXj6 zr*@w=-HB;t-#JV`C8aL{Wgh zJguyVG0<# z6YWM$#`Oe!bhnQeppy;nm0*ngu70G^cr+!ClrqTlPZgkF z3)EpYANctuC2$QSn}3U1FxbS%4}o=?OJrZ!;K1$D&$_c)(i|6T{7)sHs+)3rz_*Dv z2GFA{PO>=b*4XNDJO{&bI8F(LKm#R>+!75b5$Y%e%Vk_sb2UQOVYX?Nn)OQ+0ko{hkp>-(a)ES9`HE)=-=gr<%qv|Cl! z05~7+-w8#kZc~inuvPc?CGCGil_%D%fBb!T4E(Lj&$cCdi0V&|O65W;*WSq>-fwnr z8&7oZN+CKNjuNYpvzEM`_qMIw&yZFBRn~q>hVR_ihvISnq$J)yAz5$EOnd5LPqP~^n{Xbnx zKRQAQJBsqjFfg|IJyTSqoYl^kwv+-9{X>wx@<^PSuAKHVY`8g0wJ>+#k6*ha6$ox3 z6WKhFrr4(Fj>5&Va1M2P`k~Q3AQD>h58y2tvGRb?wz30vhXcxiKl68#5(7}Ijd{82 zu{gr|O9N4lK=z|)-$Qe8GN+-z^>USiar>XpG!Gn39OfaaO(*E!$R9KeWzJ=-_wk#Xcedsv_+~< zW;00)tX&6V5Gd^{N##*3xeQ+nt9_kp9XPJNRRJnuJI8ogmqP8adCsQP z+wfrhglw=Nq_&9uN_-XqMW)jqGxhIvBL9X4#;4kQl&xWIs*v2ri#u~TJnFE0Uz2)| z5-W)?mF){~=7i_CHq*re#3vvR7tJ2gZvRjiv>W&3*KD*WDLIXruk5A0_vapAg$SInat3yR3kO`DL0JS?4} zzf(UEgnU5f7Flh>0eYa=9kef9S zg|*}hDa!VlyOwt&T^@bLts0W0sJZ)Ew8E|xXFiLd1;gMS`KJX@rjsZ2naK;!Osy^J zw19)80R1k_Vn3|S$5@;d*h70i^J}E%U_{s9qTIeqX`B@5Z7RE#Juk*f-?kd51(&e?x9|aVgP$rJJ%bTlJ{G()9SR7!4UId z&KCaaZ5TWkPU#2;)UElGFYR+2Ed- z922j@0K}Pz1)Yx6D*iu+)QTc6p~2F^T*S&3B$I1mT;~lzgmO{mUZ#hx(n5)+jF8E9 zxNh_-D>JDm?jTIl2j>vQcujP4OByb8tv$KKSL@>K)Y<4_;QnoLX#Kponk9X@GZ@U5 zX-s=W)c8}0p*g~f&bu&DIqc);#cTxP8%(j`hgIW|3+Hg=I_pOnDgmxqHy{gDh~>*Ht$1dn zHq?!7f-3Hpa_C>r2S7Du@?$k#L}Vj<$2A9|ufy-Hu_hYu((x7iFtc!daJ?bKGJgh0 zO5GBX49c``T4!4;7NX23j1b^DmM?nN$Y(*xyT;Sz4%~BfV%yI(K%IF_dLqi6mq7>ZGqewxIYHJ8rNvT}7kQNACz` z)ilb|`C6uee$aCEqt3$huZ|l3D_ee?GEenTUIJ5Ignt)lfwPS9ASq;f+9*C3La(qk z*rjd;9r)pj-Fq6WSS!OD&j1HsZBl0Ixp*ja8mXYbvNrpC*?KtCzsOk+Z%(0h@Rq79 z|F;y%Dlphmub3p?wbiFk2N;mMo__&+dLL-bJnmmE`MQu2&8ghK;o^wE#euc=tP__q78!Ny$kA%JPcn9%)WX#KGwz!+sf~-lVO5vFY(yGPfKONpP3v< zG4IIQT)ACSzd*a1`r^Gxj1B5^Fj$TsT1^$?RD=gJXwU`+xep}AJ^YayNmEl2(vyb= zWeNLo*8tNZI#N1d#9)I7%j_d zgLu_0v)zImTKV#cB={Nc;H6l{Aa@*0^~qQ1E&{~fX~mg;1vX7!pu{S^iB!aEn*I4u zufO2G>V*@`vflyJD3FQ286rAQp z>$cj3eTbzOruBewGpP~OK(S33KLt!DhY{A4s%tSENrG)}ayCE0Q^@13kT)l05@)36 z*kf`1bdS6|u$r++MY<_Xg%qZu_nDxrN%NmV?ya5^u`kqjf>M;Zd}vPR`K}WPFqb&~ z=9IX2I$CkVV8!lswjq0-|K7p(Ngu@oFd`k1yk#PU!AW6mKckYnvEtoGf_5`5Z;0t{ zU4(SjWXyM)Uv=h%vyW5Tg9{TctF=6AXUu*)n)2#|c&X!Q z`2eV5|myq!01f#$b{A}(XSUciN%_9pNM)1KptuzYp1~q6}<+3 z3V$awTD8Kt&mO@5i@rrlPWP1LKnk%-e9^}#XZPelyYjPDiEp%r`9f=K$Ixwo3 zLn>p6`timW!qE!+dnuS))e>-i95WiR4R^BM*Ivs61LtSZLM9&I6d484v@17GnVRZt z4O<2;!k}U;i;5Nw_{!jX#n$|@yyJ2rJ_V}Q_FJ3DY3cA>sSoCDf4P_DV~Ew0 z=@H@5R%7E{q5snI1p6U7Dr`);lGp!YDHCzDKB5YP{&-e)QRgt+P06(nf;oueJV_ed z@l#(P_eTSDEMQTI5`e0zejj^K!0yNWYfH<9s-7DA-<-btX(S9?)9pd!KfbI4s7NDd}#~-qDbgxbvN$ z)K2chr)!tABoDKOD^v~M`PMN#lJDE;U=OipbVKc3zEkIp5tfRdADnvPI=oe3gOv*LvQ0=xND?g6ac97-bOSxEG@BKZW&O%+Mb zmWMPf{;~K_1jR06is|*JuI0ya7-v?wTD>eb!C*s! zcGx6Vl51&YKsfMn)a;*#%689j+n7B0E=vj{PIKRYDSLZs9G;Lopo0YV-_#qbn6xS1*AK%6ZsYPj{&nKz=#YL(I)&Lf9!-5LOcISymnIu_M^|O_ep*` z4#1w;Vpj^frwOxN15q6TvF1gr6~0qB5u$?ORqBVZz5&+1rm2eUU>C_xUISa-WF2F| z!WQ|2-FRr^$9S42y|HpePw%cph8t?sUSU z3UUUi`n=y&D`lo6)}0ji@ZFxU3y{dC)y3MV)gmp((44qCG`gYWg*!wy{O0@Vl4Ps! z?gjTb5(LD8Ga(D{C^3GFPIDfQ$k4EnLJ8 z202;HMq9lQKRsa@`U;BDm~17)ap4VPAHxZ@EtK_;UPT2<~*;-qaP6kgNf@rJG+!x>KP58?Oo^9^@(hIc@sEw?sc&-2#=Joa86_zYt zE^4ciQ$Gfw6Ww<*2VYJ&N*37$EsF^`^++Lic-8Ey{J@YOW9AG5zFTk&PHn-#*uH#x z`VZPH#x+#eZmCGYQ&9wM&nKjS<1(gme!)CI-c+U!y0&8GAXwFo%Aj?)5Z&|UiwjdLwCCcb4J_=alhsn25Gk+7<@brm zpJcG~_fuuFsZMMJt_5ieN&5bUZW= zy2~`k_bM8mRE4U*1>p@rKPi>q)CP=EJ`x`tgM3J$4BdXb-qcmX%wn&mG=+$iU{n8A z`2aghTHg_TD8HB|9cDZ~s~-Wjb`j>Hn0|*Iiy8OS*js1*!`B$hS5G!pA@0}9f?0SJ zyqkBJLEvUnaOt}po? zRnLtv)Vs2Nxq)u*;^@}%f2%W*nN&Mf%N=(xQpA%o1?pDa;t*C#3A4=LqK^tES1sFR z6aoiuYbDR6RW$bK8QU~(Ul5ZFCrn})A?x98yU{4i5ZgyE#-2{;JUdHmwdVeCOtG1O zwEXBJEwn!`M6NNIqhZhO+tr#Oktz;ZnBP1`;0Rg)r5w6xN?NAef5vGQEFcyKKs;S5u4iNf!d3KDhF4oFbggr|%^t{2@U@>L6 zQTkky6x88d>-GBCfBj)&8o`aI7J%{GAUGhx_#H=32#i_WEW&q_5K%Q=NKbu5T)t1dE2&a+qP|+w{5#` z+qP}nwryM6v$K<(AG66O-=F%bDs?KAR8lAJdEN*GYNH;*??M+sbeP5)Rtm?aB$6!# z`_A@U%pN9eTZ)slO6t2W>v?EJeeDwHcpk@W9`5ySSrn;R|B-#*34IpwyXfjyb7q+b z_sn(|1ZOef4r<6$>eKz?r02_41LS^I@o}^DlJRPAJln^L@;J9Lm=3jw)K??l&HzGb zGo7bYslrc=Kjwo_hS(cy5)} z8j@Rf>~GJ>WXU9&rJA?6SMTs5)xgO>0babB%i;F{Zy&ejLoKgN!$f7vg1AR6Tml_( zwKKIE@^DQbtwj*(TpRw@SZg|UeVJT7`2m`tKY^Epuzm~30#4bJMN`{f-F&$q#`!ho zU29F5XL*YX%h^wX4&-M509R$#fUd1lm{$Y_ir0*<_M(RBhIe_beQ}og`Hw4omxqZ5 z?c_EjsoS!YFU?lpw>J+gQ~!&QeXT*_AI2PhAgsPMw>7g)?Zh`FK4i0lh~?4EpLv8( zRfwV8sPZQ^_US1d9iBPYBkmqAGMeBv@)q1x=VQ~AlrGp)Ks|2R>i%I30``{2OJ1PR z)atqso7pGC6xz%gD1jK{g-;U?;toV29sC!OY7&Yj+VB!xv0D?1N_m+#1e9PHH>arV z3DckI(nN7oJ67uAMy^ra4(q#e`!yTOIs8JVa~#t-CdKH?yIUT$Gv3h3^RBYlJDzW@ z83YxL;viKQ`hc0zY;Fbr|9WGH&~Z*(l^G!@P%p(1osjPWDj!a(r8 zaw{qy5k@zC1^T^1;3dWBCf6~8-*crcB{iwtjPG)Su-ILLkc;#@2(mdk7rSll>bRcKzH+&aqv!|M zZ{NtZY0ZBu)7ZiKon)hnfXbinjC2H^=9OeaU}I_$6b?fuEGSTFQ?pgjon{qwxIfwW z2GbnMrMI_U>Ane=$UCbxGs~f!|2+Pks?k24#=5JfjRX^oWj-G5C<-|Q{vM`LMO{Z> zZ;(f;5sL8pj6F}bFN}QF4~PojS^kN0rTICNsx()MfIWt*d|B^P$4l@S)Tx0!v2q2; zbpj{I#6n5`AD|e)C{dAJ2GuJj7L}K4Bh~2XKBP7kTdbs$MuN6$m43_xo_+n4>vDz{X)F9i~EE4hN`KL{0t!0Ew7;yi7SS!3)>nJf4t z)Er#cyDj|r@-l~FQXs_yV2l1|iR|OBz)NQJEcW2b5)Kd4E7f6y7g9g>yA3Y38~yR{ zdrDmB6R*Pnd|r@C?!&5)_2&UADu*agSVY9T;^10KBjunAK&g*wz<-z9<}8!tlyU4N zS#ld1K4eOhF<&^_(utzOU#Jt3%7RZ?qVkuVJll$SB!D^GUMLKlgA8(<3O-AD?mrfw z<)#`!?#Qp7&ta04X;;835K>XS zA6I0KoC}O{54KnqlA)E0gSnv)#7t>z9LHabN}MQEj((DjG7&2%fm{cL*j-IrF_yCI zA8v8wLAyI#96TF*F)7IePB*$NUv0yVBm*yQut`K2(^&Qlg+Ki23sdh^;HoT>cpe6x zhyax5Is{Bw9#RRKaKX=v-7+S;2UVOY=fO2bwEbgkkzb1^DE3!*LWA_`3mAcIF|m?o zRCm(IH~~u_4KwFbBqi3Grvc!7ir!q^04JQ4`30;Jr|nS*YRG@Nx{Ch!>w7Mn4~D0| zH~*d8+h&EfGYn8ECAw(A)uD)2^4E9}@2I9!M`ceMPZ_O%!tpD48uVZMnHEJ&*5f6- zRlWD8n-Y;%31Vv}&H`z8O?m=LaX4HEo)VxkVXBL;ZT9BlPO&{Ez4c%Vk!2SrSVaDo zEvY((=~`<=p2i0QiM1cxlubMBfp-w0&t0SLn4e>)Vm4O}Y_}h^Cx=mtE=Q9BoQ(5SBNs!s!(*_lvU66LNeWZt-H_+{lMBZ z^*bkck`q^s#S}`WyNq+z2{gYo;Raz{eBmdj zxZR+!T(8$3!X}bh3jecTInc6p6}!5yWK>HvRv=cnJFEl0aTQ2Mj(98&v*h%E^x3vs zG}zut46S)ZO!^o*r8f`Kc}`HS!SKj@8=xcDahS;SPj`ErF)VMM5}r_8i_11D@Wo^Z z4<)@2TYIhr6vnRgvFSlI6UUOmLEgUc{B|@{zTh0HBmo{e%dB)on4J{$AO*;>x^OiMm_~FX z7RgOxSe=BX#KH#nzGk{JIk3TSJi@x0Ifh{^`cs#mC2x<0n{)|R_x{I69jBD&4;8I5 zy?I|4X)C2G1?sjO5>8#p!OOcsxS5aWSz}_9Nl}zJ^v?(b1Z;owkDvJ5M42Pta{k9S zrF@SH!HcO+Q@{&Ol1zr80-NMQ=|(!0u130WBG0gib!WTG|8un7kbaaN_#>=k~*FCP?B<`VsESR7R+cxzz^v zL}H}Ul40FIC594m99jt5*1V8nmqwI3EzainmrPex+};R zoF=uL3!Es9KLPNXh|nyoMUK!>tyA0wyvoA-KOI>11YsGCx+UN>`l)o#$U>?&p<&>U z7r{v$7aZH%Nstl~f7(jqB(rjKjSgadHUrjnt-C(ALm#ak{ZHKZcDDABo4|cfM#;#G zaD;glQ@cMNma*r}XDRfKf0vkBw)O&h4%eT}BUMQr`kDyNm6farfu#{tRWHL~98{;! zq^BfHeSdAVia6ou0vMpcW7Fc7SS>io+~1Y{oyEWnegGKrq;cl(8jivmWh-N1rG~Fg z<%bf88oDQU?zyiJ-*dk>6i;u#pN4pyUYNR6PS=;ZBH~TvE#OA}HPYDZ^bvqG@V*eP z&o8n3>< zVkBD2%zRb2_$!V|%>ri}BXvyY2Jb^>?TU|?sSw7(Ii5aCk_iRvcb#J88{D4d4L!X( z5D!bFfHziOHv{av29lYm4xuChtc2FkDIfHc*%Tu4j9lsRJ1k?sZO-b{10|rc1W(}<5iOsYzjK+U@D@d%& z;Y@o>3D+slUESnfsGB?1KujMs9E}e4jh&7l_cnL)n}pEFm+l_VD3MyyHhQjf_*g~H ze5u$>)S?r?7kXO+27cTED8X0+54hz{xH{2NzI)_KgmSb`MQY)Q8qgjAI!sUwxgX+c zg4y10bBmvBHcP?EvaM1)qh|dSbQ~~5+;N*BB}?aWvJtcPIQy8n2Dq>JOlaeMfFo`U ze(Xe7O>A*(sqVUaZGLn?2A6&#kHB1;+|DSxdBM!9&xIGPvC5i1cl~BRE=dvpa7i;- zrJvwtCkDK9SG(Lmc=qoTDCB*Vbd=v=fpK$FiZpuf*#Ui^-?JrVcN?7k@$wgC`V=wz zp{>a|;csU1&vkm%S+$AeP{o&Q8cTU(vXMNSDa56&xu!3?c#oJQ)_!w1Uq_5@asu?w zmJ~|UDXJokp(eD;7yN6TX0F=mvTC*R9S>7%FNy#Wr1YQ>kXNPT#F|L6n!sbyeK5eG zVH}A--4I+88{qI&!$)-ad>c}^5j6r>rFAbX{8vol6RNlwd7sSQ9?`(qUoSL~5lp_% zN=&oR^G>C4a!Iksv6Ji%4nM~U86F3{Bs!pu zmMA985Td8uD&&@0ADq}Q_W>D1LY&{)8(hL5diIIdo;R~Y?A9_8@kvf)c|7HC^P(pu+aw7#PL72%LBzO8fSGQj%LyJHnU zz4HEirUrFuCnjysKo8MTQWH28sM=y)9Gox6ClExCCQchnJ+UA7*8Qx3I7!|Y7A~o6 z6sXkto*;`k?5Mk=u=S*dshLaj-Hu@Ykc}=~iOP?0xSQwW3Tq|t|C>R>GgIW+_;qk3 zyJAG~ti`W<+(hbSYNK}j-i_v9_X{ww6w>}!#)5{5t<}|TJY|KiD{T~z%xTOg&MDUL z$_gB<4uXS+aB0-V*QEX_QsiMj@?{FXY?VJ_oE3Q>YUp)`Qq{qK5HsHrbg9Sj3%)kM>VD>L$SxT)f65KW?0G0%*sJ zj;6x0$qgP}`P3rJ?ncM6*=_*w$2f=@+;5oJJYsAJP(Q?PPHY*{I8`%XKxfgW6w8gk z88>hfT26Lb7RdAn&^7Ms%n7CvrSzk`==>7}W%MSM=+U5Ch1PbctE|@-!BG;uc%M?4 zx&iB2{{=5t@4-{dWbgi$q+s1s+_)`of^HS8yuX?@UJ$Pcc0JW&M=pP}Q*iH*v{)9n z05vY^MZVoZBiKG)ch>hzP4 z#G>yBG*HlH<@Z%n#;YeSuqC{})#HqT3qqVmy`Y$>QaT2_**IpQ)7gN-gBO@+f;sN?*%u20g zZjn-R^s9Dp<5BA1TA?I>Hfm?c#Nr!jg93GA(C%zMkBL~i21f<*A|JJDD8jlfKbrYa z_7@{6rpQr}gao%>S)_JRmIo+_^s~~{ZxX_uHfE92fB1t_zdOG6UW{(-gd)*c9kK*& z_}}xXX{f=Hl5s(ATi4cv)^(2uqkbsMzi0IynY1<=9XmgB#R|68W6#?2ma~Z~-Y-N= zAvoIU-QykhSnZ!fbdiyjZ@xDV%SJnZ$I7!cem$|{V47Nl^{dD(g{JW#=e?#@AA;EK zSduJH13BNUAk@b)MmEsfZwO!;1UayEqUB$7Z0JT8A*U7+AG^eXs^uqBQQ4pnh6ImB zx#%@CeXhO11A01Npd>3yVsLN(-M@uxi$aK|jQuGk8XoYlUz2#zkh8OaHi;RsQH9s4}!& zOE%ylpb9cyuAzSV-IZai^-c|#9sn~j*5~Y$C@cH_^-V*YyFYfy4^Mhqd;1K(B{~vd znr0^~6asASDDyO=dl<7eU;K%w)iFc6WaK}im3HxX=D6M>-lVnM^e2c0%y_Qc0#}4v zUdV|bS0oRk>Z~2ggy!@rEwka$PrE=-%$aL3w*|&LVlJ130NwKe{a`B~;+0FRuw(Ul z5eVI>#i)==H1w0w*V6R6Ipj)K{f5}IKw%gDIMW#GX*=Iq?mxM@E>i;9uXe0z5gR|S}+pe zH2G3azyr^aT+J_=3(0BsMU;97B=D|YR)>kthl2noj6v%0nL!98#Yv=5&S1z0%bWpX zr~VnNWQShH#cYiEHd(JLCTc?rOyK#feD7>Luq#`ts6e2ubb)5lf89D+oeO2`8QJ{g zg5AhZ1V4E<4ny5J$^F0xe@G9N!fb)5%+`9*dRr!hmY(|@Vc%5wj( z%nAPeiKO(N|M&ISQ?iPK{o^#x>i<7bWmx`4sthyR|E0>X|2hl*SL?q+WjGiZ{*x(# z4@DXUl>jPe?|Xu$C|9Q^hcp)YWS0cw(^Qa*kMaRP*MYL>b(uLiDIg#q zK)F_>fb;MP{Afpk@L?Ij?HvHwK|w+1P5~6*V(1}O$1$Pw7v~mD3{6enQjT6w{V*=^ zMiWbzR>yJqe;)Us>Rs#`f!Bm`$iHV|H1QDtEMbAv18f8UC|F#)K~*>a3Np*#_~DG< z1GrK0t_@A0S;5Hzr+$l%@k#xPfI;*>R)F-c_3Z$^b<&wOkWzw}03hsLLDB+qHuVUbp_`HF8rva!SW^v!0!Q{aKR<}2ohxXlo}$Q&E%x-U?>h?lR*|NVpg;qzvH*W^ z6OV4xObER|mzUZwzn`eWihcdNnISt$2?=mFKQbz^9DKi|$ee>SMqV8;0b1OfAA(Cf!fD?s z6+d~1RUG}%zTv(;NOzB)gSVCQs~vOW%PAacpO<)4WOKW_MUNlm&yXn{{5Z0qAL+o7 z@t?YHCrEyLw>XaVsQ`#2d(QOw2&_6|Go_1cca2MxViBZVqgpKQHgp-?-^)pGr^ zGaVCpt*x+GAtY;$ojV_;yQSq7SwgLl7~@%mYbiU-;%e^An@5_@NiD$3VUbh|@b(*? z*ph#02(Yj0+tyXE7Uq~}+XV5kjrKzFF*T{5=GqUR5ax6^bzYN7mWB{o4(GeK<-FH; zvt*aLI*gAnk1tQInY=gaUVWJ;fs$k}#Lp7zC6Yn?(gbKt$M7?DI&V6&Tl7443)ed4 zpI2o{IECdrq_(Y}=vooez+zFvN|{zCRTu2sF(0&*MZy*Ud31p{^KV_BCKcxSQ$o|S z_N*PjzJ^Yn(we5KixPHDOAj9!Tq#j!Boou4S>Hl^Uofc!(2ECk-_+C{y`^p9+5Xio z6leK!wHH#N2ss%X&^YH4I2U30m6ZzT83J)Ge8Qz9$c=htu`8&4d$karn@D`!`y}@?f?r ze*S%(GnomAWH+w;9f?_V#FB7W2HH`#=fLY%5KJDWy3>=uMAPyNYoAjfLkYGjWnTa& zV3$iPuY*2HV6N-uV%_&H6J=+=vfsqn;!WS1_u^)rn zj?$+=QhLPj5LO*3p+7J9*LFO@>MEm}ckKikVhoi414D?&dw>erTFV1G0NHADeD_zDk)t34Y3nV zaVnZZ?!24XSN-4WMa)iMN;A@ohzRDOyG=Z7L$zn-=>kyRioLy5O@1FWWq=6W!Uh^Y zYdl`Uu2OqJ5+hts}FNwc#I@Kv^qtsnNPT=hxH>6zf64SIi7^_u0z-1CwjEo}(+ zinaL>`&;$&eU{u>VbFu>nv;S_&8Cl+r@KIx<=(Mf7qCt%vl_jUIOk4vzA92ow;YBp zbu4Om$jv)}_yO*lGu5Dbmvf^pU@A=rX3Jc(xJpAsT-nbR<_GLOs9zQXk)F@?8IqT zS?Hw?)KknqbLym-hE`~lE+|ViK9fxFWW~Wgeeft+Sn3gd^M|?k;*dUP;S>H0(n1E4 z1Jv>|RjGykSIsLiKOotg^jvL~$)hA&arMbB=khNEf zqaH~HRsh->pN~tPC^Hoz6+tvFfDkh3wDdpzvC@!fPe4mz*UeD_ihHru{0;GCw{5E0 zs;D;L&4ts`DN}9e_Szj>K=)oY9liY12pTrYlM1)OlP(EA z&u_*mCZn-AFPqJ4t2j?t(sA^(xgQFc#gdjHeErU{TVeN3@lrkpj6TZ-gM&#U~-G9Hp;1R?dX zD~{K3d&#xHZ$?$hcw@_{6eH9iX`95^TMv*&~wK=eu+EvRmynh{*4NVSxC(ZC!<89yqY5= z0}>)g1>|=%?yP!_d}ix9-N3L5h~hfWvg09ky&5v?C>s@WxKe5cEMKGk3}y|why~}P zIo%o}YW0}hOQa$o3p^Do(5(@Ve-4&JR1Fp1Q30ghHcpDlYGpp%m()$Qp|-MI2nYxB z5NVbqrhsj2Ai+w08Ro$B_3~-HduLeC$=TO0A;h%&gPU&zQS<$)WspG!$`Cgbc}BX&}L9t-CN*P_?k&( zg{z#I{~ho9S#2=lW+kSz(O1JAckOZOHH>s{gxJ8ncac07N)z1c1A?c|;dd`dH@Q_MKy#zLa)aRzJE2eDv6H&Jlo%R_?tQ zcqicpAA;b>A{RUo^*-Nnp~uRnhh@7%D()hIHa9@=*BQBU4wVWgQNOaS%I8=s>39qr zHuH6zqX=pcM}tqY&~89~P8@;T-^hfG`x2T->;P*1?M|te_53-3KV&=G^f)lt@TFs8 za@XH345XzbEy(y?Wf&&YECDI6Zmqm-5`unD0S_J%`sV9wtKKr4M$mI_pkmMv6?Z4<0S-!GVzyi`P2~I>$G$ zS=A$j<&htJ7sWwwKR=5aLqivl?NpNRW;GEdsT*^GY|T0H0qkQ_WS0Var2m=aGYhck zKKVA*>uQkEV9fha(oi4pLk*Xbl$|@#TAW;GU^QL@xl%MKP9jnZswsk;3kS5hshB-I za~NBfV{Il=HL}`43Qd?ipP52}V@U$c740W}>%fo0_XC4$pIJb*RE}z74AmbIyVJZ> zHH-k7y)$${w&&R+;d&n_cX&PI6+2=qLEl32?BFS=P_v`tVA6a?yNR%DihMzIxRj{p zu__d>oSJjMbbCJCD<|06i__+0B^pGf$fE~bEE<2kSMA+?{I;*a^{<06Yc zG|VOz@8zSkEuW0t4t?A0;GUbDt@xkRe3@Kbrn+f>E>GSMUbdZEg(BDLci+|~)Fr6} z-IiZyHXwUihwPgFlxj4#--lm_73!k^x{dzi)vznolnSJD+Il|HT_s6vJa@v?YYcmp zQ`^q%Ld1p=t}IvvZ|nzOug*39Lwwp>(_@I=MV!!wm(Ds+LfFo3Is!zK=AK=vOPk9m(wz_ur(C+whE&uMue!5Ode7fs{qIaQrRQDRw^PB!eEy(7^!o3t_{fW`fqY6kYF%WCMRScl4JF9*+xiu>o_3Mjw|)fSD(G;Z&0 zXVZDr5t+fLlqNfLrnF-aA-~E6PE}rC_3L;CSFrh-RKfDul#13A6pmKifXe8i#S17K z>bM~S`Xw`EfheeJTmz%Xd3pU$#GX!FD$}g#`orDdmErxTD|O1z_W$| za)o9S75KR(oPjk(!4y~-OUcg7?Q~TR+0KYfBd3PE_3*$j85rt4a|IoKQw zOzU-Jn7GG*MO3*$Hz*4!eRIrK4Qd$%EFNYnm8jA2>pD=hLf(E1g$@G~0FNGM#!TqL$C9{& zzZMB}WE0#a;U@qt&{l{|<|+v<5>3wk94iL7bhxtL2bT-p0?n6L>Q1g!53f@-5ot~U zMc=@$mD~Zm(CD}>T>A zPEgy`RJC@1x=1t8+-QRea`pfbL}_CbyXI$PDRJB>*-9WrM_zK?VcNhSiJc^>w*SAEv%<~{Z|OEH!Rd(FlrSsN=`B6s}_sx+UwSe3P|aybnUiBeHK1xf%af!}Ujr5)Bs) z6bSMn@V<|xitBi>EJGKMD=rvW3N7x|upG?h526VjGf&av1r9PaS@fb$hzCILwmxLN zXXFfZ&XUXzo5O5k?L4pfponb(KxyLt`V$*4B!eYiY>~3YxQtb5%wuygx7!!PzCDRH z9L)#uXx`8-u}$z@A8me)YRn(d!{#;pS-fk6ln79{xoPAeXQ+}dx^+#3O1+!&OZ7Uh zK|kNYT$LunR7YK5OdESb2j3s?*gFD_@Uch;Hu^NApF8IH!F@4|?p*Fkyadi4!m`C7 zN_J=i{;>-B&|8!R)(zWP#2YrYp7;n8&7^Cq_0oEowzsH`I}qc5jkJrh23zOzhkmCF z#3tj1;p(?aOH}wHE;%q>b0fPFEHzWM0@2gQzwN*j)2xy;bu~Fr|MVsnTnMGiyaJ1* znMTBpYfglq9023GK0pKUdE%BBeIaoYJ4VG9>*ro53w1LFm=t#52bE(7IAM?8B~p>} z%3MDLh{FCCWrz3E{687xKO$o47A0N!%#$?Go13M!?mzT3(4h78iWLs+Me;yBkZ%T#|^>T8%$0%9JP4Qk_yyD zY-34Qy=l(2l0540erCY~@7t(qwz{3kxSh3<&GhTqkECW z-R4`@DZMcrQUMI($1Dyz6J0WPkSJ8(qocE);@@n>eF_!RauwS{V0t8+m}Z&ABMo_9 z6fgK1{i-NXd>P6Eif8Hk!PJWpve}jdk79fnqaR+4fE&s2DOqNB_ygi{D zV4kTTlq#Hf(1B1kLW&FnE|)C3JMu`bK* z+1@JA97=K~P`*&vOhKR5uCsv1INDU}VrXxs4c#ZrpOI*~frK+T6jrTE(4v>!($jO? z3Q4{O`R>&^-62A$%tTN1w3Fez@)=Lp9*foH!6I&1ryWE_2k&k;161xj%3|G z<^b}EZIpQz3k+?yBjWR`IokMR?5As6+`NGZ%9;I~n%@sm@%0{0*`3Im(^OT%KJz~e zo*0E_IVxC3*l_w##~gdXSeWlJ;k*Nk&kq()zz(+Ib4!-B7~{5u&AXYN^t5AY1X;6V?RRly8BW=B)y5 zFV(b9@n%GIv<6@t@9=wvZk_gOwQ~tqU4e<;pi@QJkR890Tn+|=G8`z==R2U^-^O|3 z2)op%aWnf;(t*q}y6!YLnD~^b5vgdohiC4jMr|p?{bJh7P>tsmPC)f0H4Y?+emWV; zDEzH>eiq!|E%w)$oVt+nCj&(#sA$sd7y<_>5p~_#87YL;kCB&`j}MkZG03p#%VB)$ z%x4u^w-rnXp5NzV#pW9D^h9bR*XAeK3564&)lCJz)MXU&5LgQmceT~$B4yD3Voqu* zJA-%}1uuqE4I?xj!szTx5-0BxjB|Q_W!n4ORGzEs4|E_YS)~jra>B4^ths}htj!|i zJ+|j|qmN`o+YhaSZ(f29+;H%b27%ut$k9zY$aM+I54&fS9_sqtrY=EOZgVu{szT-5 z_|jaL)W8?qAU5&iJ~CdgBC>5dLs4!}%DU>laQ+IOWb*+VV)U9=dFUeM@TndU&2Jc4 z(5C1wtoE%XhaakVk~YvDd}Vj?r~#-A+G@dwwT7hg;()>s6c%3HM^DJM z%xD=f%a`4{-6Q?l`m?^IcX6C1{x%g6;WK9dMoX5j#Ip!PG*F|Q_Z_j{NqJ}EJtmK{ z#a`%KUQBsx%@=^;ZO)TY_L)|h*kg!JT|AkML@&e8NrYc}Ap1dB&({#({BPfR4iW>) zR9NyOzzU#c0RCg&s8*RuqPOONS#0o19lq2K?5tP?V}49p6D8E9RgnfDZ2-aBDq;RB zPbJ$XDX26Sz*LQqj`?Dex5w1~AW<;O&RqZ@n<&%C#tM0NtR=O zQWxS`hW^>+872;H>%qEl2}lh}ecEioZ0sU=MVxd}_OO<}3y~q5`rp=dF{99*tMf@k zC-YBzCRao(34z-Qy$ZcOcJIu{f6YRDaWH(TyH-05I)nK>%+#CZ*!LG!D+75#ZoyK> z*Ph+xuarUIS;4jkwV^AoLd0YueR)>S=3T0e{)tb(6i}JE%cYDEkGU;u-AHt=cDwzU zXm=hI*HMw0s5C>r$nOVwayB|aRPyf3SbcoEv`SI}j+&JrnGjh}xbbjoYZkHajK|R5#w_uZv3QXEd2Gje^#u4vpe5Hxr>`E z40hN!E-_d>IU>+2R`Y?|%oY;m|nC>?prNoAO6BF zVSR6enYBGUqHOm@FI}r4R>K}ObYM9)hK}@694lKGID6v?$PnzyvMGzoy7AG7j42RV zE}~DWE!O9-Fm5fY@4EzerPtva3jz{A+GXPhLtN&GD6FP86Hv$0dC@j9fSp`M_78=* z3!v)imkU;T2%B8n$Ek6MA9RQ7O)_Z$TF zn-7q+uI8T;BgaCO)kpZ6sYU+E%^s-kt99Nh!xJRhZ-4e>w7?_HSd@ezjzXwb@qO4o z(e&k3OZbmY9Az{4pa%Wgu)41r77z=J8aG!#SJB}X(53tF70F^{g{ztGk1fCVA&af~Ci?r8ZTE$!WzBfb`rzH{8B13I z-uRdX(j3?1J|udI*2ITQq*)qD7lp{Zz<4G0mcHmIBc)!7AGV|KU3eN5yHG+ilJoPu zGIQ_Y6Fk<&eQ8x5`5`?hQLn2C&ukZy*cjU~EC-UPC9u{Qf~$Few8p;bk#)g|IX zledO8?qty>5Sq-OeHSgOg$7;37SnIya$_i_>A%&u-7cY?X-J@2a)JCNkQfT(z zFZFWh==KW(JAn`$F_1SA`{|IQ*Or33$h9mMy;R%Bz1C-E1;knoNlct!w>;yG_VJES zwl&T_+{RdaY@z|K>l8f>6?}ghw!t}Ch*5`98ga%3c^kKyN7}>L66~YadB8~oDLXQcWZ6792mx6rHrcM# zUECNh(^9?rDM69WNh8yLqcr_9OH1^Nu-&FDN zIgEWIG^zRGsycl7u)*xZ`99_eFMO9-1y8Fi)$yq*_W+9{kL@C3h@P?8p#|eQCQOlzq*#>j(dld0X|l;n`vFD2-1zC) zZc(vJ&-l7L5!Os-hkW{s$TFwJ>)z?&G!~MVmGsZCXQ&87?;#E8f_n=Eyu_o)5N@b^ z@#%5c_r{s_?qq$-UlUmKAM3OW;ao;k)8edK#baLI@CIJ?BwB^X22PRi+`iPWK+T|8 z4Oe?eDM@WQ(Mpz7)?|mH#a8h>Cf>#~p?kPwFjPW9FBif}-va?&@_>XkXBwSip5er= zE+FTWbAScgrzNNPwT$saJo!*nW@xOO7lzXhwebhrGCj3uYeRQcy>H4tAugT1wRh;1 zewNl)rOli2Z_vl59HKbSAEp3eHsfB1eCP5(5;VDCR5|%!FdQ)|9O?EvuDj(~)M$m8 z5h5;%C({@xbM$R0fZHq$z9B1vsocad?#q6^7WCa|(faYMpE%cG2PWJh{BjXSpfcsa z*k=R@fS--2SwRPAl_~%%OGOxCTCRxec z%9j`}N17Go*|Q0y(UjLsZkj54IGZt{wX_!*Nz1V}J=#kuRdX}wq=y-%?dMC0#@W)O z2h&zd@~oYZBV!|^M8RA$h6r^y!qK1<712E=Qfovk52e0{<}UP~n0t#9yF&NScHutY zdy)02GLnaTr(GB`NcAm6rd&vO8>Hgbd(E$hGve`*#JDGqlVa_d9)ST$F1f8YgSXL| zm@=n+ro@9O>xiKC87$C!UJO0F3j*g{{#}ewHGg8VmFj29x1}#hXdiu9TaNtPqvL|? zku^}D&d2jh@~G%Ar=t2_h7huL->X+KSQYHKrWVh3<@HX75uz%oP`JOww~&6oUuaQ} z{s&1A$A6Oq$vfH^yBPgSd&upLO_fd5X&7jk>1i3*DWK?teziT$cE3HpzyGUgVP`A+ zs{q0$7v^N7XJDsiU}9k4U}Rxo)chSGV`u#T?o@U(u(vlc{*@3JSpTy5>Ex9~)M-Us ztgQ_VY;FHzePweCC;Z>Vu0`Zf2On2GSV_p{D)Y{#Mbyf?6p|`+wPVB+MD3h z$r)NIIom+d$>K9}{D;)Z(a9N~iH+gEG*S4BOf2;O+g$7aLkM-Hq2;t7j_UJLbJ`M| z9?_xYy@bl5(uM$$=*gG}NZM4iO1QkME|83os@Jn)A<;}d5(l!H9!ev>c+TrhyVLd< zUzw_(J(N5o4LMY(FNuN5U;>+nxS+{Ikv4~zn5?mv$~^g-;F#o?OU(Xzp;4$|jU5^0 z-{%@9;co$r+aJJmEn81+s>l%rpajbR^#}$J^`M%TeJ{<)oyZ*PLPHRmO%n;SI7>{} z&n;2-lq#aj&r|zvc1nCR+7RsBs=^aYizEnrqOrc!vsk85A6%WE1Iqw9NCOtS%6OR( zNhp<79jFc{JotW`;Uelx1pf}MpGY5n6ylip5|mhS5a1U^pB?i%1x*wVU6Z>bwVCmx z>5|8D`QRkSPH8wc@uG30qC1w(b5~KHtMJd=3?KOShzM^c?0f*vUx&^a-KcvD4jkk)n=!AQu@VH$LW#7a z#H>Q;wZtr6U_E^7Aw^7sPb`A(;GbNs(NH}ij+t==h-t8btIy+S>$oqoxL5-LzOF3R z1V{6Fj>#IuW;WcJViN%+Uv7@C0}B32=s26{aYTi#@x(D=6S@dvMP8f9vR#kwGA{>J z!3&$^)*l_UXj?xos_SX^cPp`4yi=%Fa}j>AtBE@#+e5KjbJ3(bCCJ zsglx{_WG1GaLQ9&x# zT9>m_kj0ITd?C z-06|WM#>VA3nbc$+5qFnX~WKQyysiyTe)9%gC!yxn}O7oY%~5b#|&aA_YSjZ*O<)F zy3sMj1#K-h1q?b3#k(M(2~gVM3tq3I@P7AtmSyGxqWNAB-9}3dtfKQ8WO>fdxp_gQ zK%P_m0(7q?C~P7?+I7tIm%=jFT&KdG`ND?e`eGs7;cVgoGgXNFy)hr6QPV1#<;Hks zyEzHM4wB>O$S|o~VIgT;=LA#zGNAQj#=V~vZ#w+u(fHt!lmk4Cb@(@_xzEvY!&_R` zp3?eV9Wv#Bc17j`c?R;x3rTsCD0nM|t|tT<9yaHHSHrY-kOb?dn3DMqNrbwzDX1Ps z1@nqK8xIdWPpc~jrrzD5<5E^tIsvt^_$!O`%OQ()trhm&pZW)XhN*QS|q&W+eI}{i`pjYQW_B z-a~IAaedfHt{Fb`c$=5|xP8UQEp#h7#zvYmTX?U}2lK#I5O3B!KM$gB#Z*IP7BCdN zzT;}3H_@48DTH4-s1EI+)-lf?@u|yZd9yQ_+iXmj%gv2REm)jKtP$nQq~am(*qE$p zd;1~ZQWY){tMU?$kI&2LZsEDFFB@4MoowYakTRlb7RV-dW-T`^LC}+PaTd@<7JLzK z4gKH7*wqAc2kzcn1uhvwV>5w;Lyh$Cn!b}`bjt^9cz6S2*BdO@!BX3HQ4&a^f}%Xv zW02jQ&36Fat$>eH;_biKx1gPS3c9zGk|fOzj8u#z+wN}Dqq7V)uF#%=@dX#r{IaTO zE*ymW`Z`9%x$I7yw)#B%b`Uk8| z`~GM@H@2J2b2-WCME8{XC-Z;Y&zz{AC~nWPJ3PN{-hP`^8?Ddg^L?(UZ;q?Db|BsM zcEA_Gsaz6H%jZg*7If|}W>6Mf&lsS`+7rt)<7~r2zWc0w)qh0qKX?BlQ8Dl1XR~ED zk8f!cZAdfil4an&(v$hE(?LcwGs@ZXNA0uv?GHD9QvC4uThaRmDeIZv?S^A6(

v@m(zn@tL z?gui9M}A10Ha&Fb3Y%GVEc&0aL&JC7`@8znd#}D5?6TtO>ig&Iy|?S|$tM#_``l7{ zWn>jLz0TPECZj4RH0D>m)!nR&p|E=t4P>`aA z=dX}^yw_R|aLwa43}8*zpvj{7sxmlr;n%;#jO$naY5F;1f7-^JniTaD0@R_*bzZdK>d(Pvu!9D<`q%^VQ9ZxbiJLvvQ}@YL4!kp^|c$LLWCw z^|}1vZsyY7Xs%q7EmzCe-d!_enuv>qaaE1|O8FF)IPsesWPD$yZ?qPE>V3%iZm9dV zx2Kl?*YfCjeL451>bhProAd3;rQQnQR^r+do20_lI3!Ga5TCK|_4;eR zeHYJn@Q1zjcCT^YoZ)J`dr9P$1MYR~XZMvjh00-@kkqRx3DNG3Lec&js9H zrpG^6d;KGypx6GD?a@a=-Q$zpUj`elusgMScUg{lgTelHq0!O@6@Kcs^6IByHcib9 zFdAnOL8)n6`kr|ysTB&*1`6hev0VDWnN_Jk7MFgwLbRcRu>wdeC_leM!OQ}vKM15e zEnmS5)XoKQToj^hoLwB9%uI|e9o<~rOe{2xHT$VUAeN8a<()~m@z|Qe)BP> zoV6OcYu9SlFmnTUN_}rQbD?IY<@5iOnHhqc;yD@&lpPexY?bdv`}sNwcCZR|>0JEz zeRA+d6|v6fs%=WsI(PTH-e@71oiufae1%}A%*PLpXNenLtS#FsAe}V#h3Y)hBNJ~3 z&35^Jtb37$K>x(oJ6Ck)Zd5KiI`4+K>O=wm-2WQF>pvR@Jt}?@qIfLdFEr`X+YsgM z{eJ9EykC`Q=p7Zc+{5^a}0Ec0` AHUIzs literal 0 HcmV?d00001 diff --git a/l4proj.tex b/l4proj.tex new file mode 100644 index 0000000..fed35be --- /dev/null +++ b/l4proj.tex @@ -0,0 +1,167 @@ +\documentclass{l4proj} + +\usepackage{url} +\usepackage{fancyvrb} +\usepackage[final]{pdfpages} + + +\begin{document} +\title{How to Produce a Level 4 Project Report} +\author{Pitchaya Boonsarngsuk} +\date{February 29, 2013} +\maketitle + +\begin{abstract} +We show how to produce a level 4 project report using latex and pdflatex using the +style file l4proj.cls\cite{Lichman:2013} +\end{abstract} + +%\educationalconsent +% +%NOTE: if you include the educationalconsent (above) and your project is graded an A then +% it may be entered in the CS Hall of Fame +% +\tableofcontents +%============================================================================== +\chapter{Introduction} +\label{intro} +\pagenumbering{arabic} +The first page, abstract and table of contents are numbered using Roman numerals. From now on pages are numbered +using Arabic numerals. Therefore, immediately after the first call to $\backslash$chapter we need the call +$\backslash$pagenumbering$\{$arabic$\}$ and this should be called once only in the document. + +The first Chapter should then be on page 1. You are allowed 50 pages for a 30 credit project and 35 pages for a +20 credit report. This includes everything up to but excluding the appendices and bibliograph, i.e. this is a limit on +the body of the report. + +You are not allowed to alter text size (it is currently 11pt) neither are you allowed to alter the margins. + +Note that in this example, and some of the others, you need to execute the following commands the first time you process the files. +Multiple calls to pdflatex are required to resolve references to labels and citations. The file bib.bib is the bibliography file. + +\begin{verbatim} + + > pdflatex example0 + > bibtex example0 + > pdflatex example0 + > pdflatex example0 + +\end{verbatim} + + +\section{First Section in Chapter} +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog \cite{DIMACS}. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +\subsection{A subsection} +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox \cite{fahle} jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +\chapter{The Fox and Dog} +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +\section{The Fox Jumps Over} +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over Uroborus (Figure \ref{uroborus}). +The quick brown fox jumped over the lazy dog. + +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +%\vspace{-7mm} +\begin{figure} +\centering +%\includegraphics[height=9.2cm,width=13.2cm]{uroboros.pdf} +\vspace{-30mm} +\caption{An alternative hierarchy of the algorithms.} +\label{uroborus} +\end{figure} + +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over \cite{ckt} the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +\section{The Lazy Dog} +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +The quick brown fox jumped over the lazy dog. +The quick brown fox \cite{am97} jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. +The quick brown fox jumped over the lazy dog. + +%%%%%%%%%%%%%%%% +% % +% APPENDICES % +% % +%%%%%%%%%%%%%%%% +\begin{appendices} + +\chapter{Running the Programs} +An example of running from the command line is as follows: +\begin{verbatim} + > java MaxClique BBMC1 brock200_1.clq 14400 +\end{verbatim} +This will apply $BBMC$ with $style = 1$ to the first brock200 DIMACS instance allowing 14400 seconds of cpu time. + +\chapter{Generating Random Graphs} +\label{sec:randomGraph} +We generate Erd\'{o}s-R\"{e}nyi random graphs $G(n,p)$ where $n$ is the number of vertices and +each edge is included in the graph with probability $p$ independent from every other edge. It produces +a random graph in DIMACS format with vertices numbered 1 to $n$ inclusive. It can be run from the command line as follows to produce +a clq file +\begin{verbatim} + > java RandomGraph 100 0.9 > 100-90-00.clq +\end{verbatim} +\end{appendices} + +%%%%%%%%%%%%%%%%%%%% +% BIBLIOGRAPHY % +%%%%%%%%%%%%%%%%%%%% + +\bibliographystyle{plain} +\bibliography{l4proj} + +\end{document}