From 81f23fb737493157c9c05c66d117c89e7f86906d Mon Sep 17 00:00:00 2001 From: Suwako Moriya Date: Wed, 2 Dec 2020 22:40:55 +0100 Subject: [PATCH] [OPT] TP 5 --- SPE/OPT/TP 2/.kile/tp2.kilepr.gui | 6 +- SPE/OPT/TP 2/tp2.kilepr | 2 +- SPE/OPT/TP 3/.kile/questions.kilepr.gui | 21 ++- SPE/OPT/TP 3/Questions.tex | 1 - SPE/OPT/TP 3/questions.kilepr | 6 +- SPE/OPT/TP 5/.kile/questions.kilepr.gui | 30 ++++ SPE/OPT/TP 5/Questions.aux | 2 + SPE/OPT/TP 5/Questions.log | 212 ++++++++++++++++++++++++ SPE/OPT/TP 5/Questions.pdf | Bin 0 -> 56336 bytes SPE/OPT/TP 5/Questions.synctex.gz | Bin 0 -> 2493 bytes SPE/OPT/TP 5/Questions.tex | 31 ++++ SPE/OPT/TP 5/main.ml | 95 +++++++++++ SPE/OPT/TP 5/questions.kilepr | 31 ++++ 13 files changed, 427 insertions(+), 10 deletions(-) create mode 100644 SPE/OPT/TP 5/.kile/questions.kilepr.gui create mode 100644 SPE/OPT/TP 5/Questions.aux create mode 100644 SPE/OPT/TP 5/Questions.log create mode 100644 SPE/OPT/TP 5/Questions.pdf create mode 100644 SPE/OPT/TP 5/Questions.synctex.gz create mode 100644 SPE/OPT/TP 5/Questions.tex create mode 100644 SPE/OPT/TP 5/main.ml create mode 100644 SPE/OPT/TP 5/questions.kilepr diff --git a/SPE/OPT/TP 2/.kile/tp2.kilepr.gui b/SPE/OPT/TP 2/.kile/tp2.kilepr.gui index 953b043..3f19cc3 100644 --- a/SPE/OPT/TP 2/.kile/tp2.kilepr.gui +++ b/SPE/OPT/TP 2/.kile/tp2.kilepr.gui @@ -6,7 +6,7 @@ lastDocument=Questions.tex [document-settings,item:Questions.tex] Bookmarks= -Encoding= +Encoding=UTF-8 Highlighting=LaTeX Highlighting Set By User=false Indentation Mode=normal @@ -22,8 +22,8 @@ open=false order=-1 [view-settings,view=0,item:Questions.tex] -CursorColumn=14 -CursorLine=35 +CursorColumn=0 +CursorLine=27 Dynamic Word Wrap=true JumpList= TextFolding=[] diff --git a/SPE/OPT/TP 2/tp2.kilepr b/SPE/OPT/TP 2/tp2.kilepr index e7c8f30..5bcddb9 100644 --- a/SPE/OPT/TP 2/tp2.kilepr +++ b/SPE/OPT/TP 2/tp2.kilepr @@ -20,7 +20,7 @@ QuickBuild= [item:Questions.tex] archive=true -encoding= +encoding=UTF-8 highlight=LaTeX mode=LaTeX diff --git a/SPE/OPT/TP 3/.kile/questions.kilepr.gui b/SPE/OPT/TP 3/.kile/questions.kilepr.gui index 6bb7017..68a9c71 100644 --- a/SPE/OPT/TP 3/.kile/questions.kilepr.gui +++ b/SPE/OPT/TP 3/.kile/questions.kilepr.gui @@ -2,12 +2,29 @@ kile_livePreviewEnabled=true kile_livePreviewStatusUserSpecified=false kile_livePreviewTool=LivePreview-PDFLaTeX -lastDocument= +lastDocument=Questions.tex + +[document-settings,item:Questions.tex] +Bookmarks= +Encoding=UTF-8 +Highlighting=LaTeX +Highlighting Set By User=false +Indentation Mode=normal +Mode=LaTeX +Mode Set By User=false [item:Questions.tex] open=true -order=-1 +order=0 [item:questions.kilepr] open=false order=-1 + +[view-settings,view=0,item:Questions.tex] +CursorColumn=18 +CursorLine=32 +Dynamic Word Wrap=true +JumpList= +TextFolding=[] +ViMarks=.,32,18,[,32,18,],32,18 diff --git a/SPE/OPT/TP 3/Questions.tex b/SPE/OPT/TP 3/Questions.tex index a8d329d..7a2c77c 100644 --- a/SPE/OPT/TP 3/Questions.tex +++ b/SPE/OPT/TP 3/Questions.tex @@ -31,5 +31,4 @@ S'il y a reconstruction, dans le pire des cas, cette reconstruction s'effectue sur l'arbre entier en $O(n)$ puis puisque la reconstruction crée un arbre dont tous les noeuds sont équilibrés, il n'y aura donc pas d'autre reconstruction. Ainsi en notant $C_h$ la complexité d'un appel entrainant une reconstruction, on a : $$C_h = O(n) + c_h = O(n) + O(lg(n)) = O(n)$$ CQFD (ça va, c'est pas si pénible que ça les maths (de ce niveau là en tout cas)) \end{enumerate} - \end{document} diff --git a/SPE/OPT/TP 3/questions.kilepr b/SPE/OPT/TP 3/questions.kilepr index 9f5da29..e0aa01e 100644 --- a/SPE/OPT/TP 3/questions.kilepr +++ b/SPE/OPT/TP 3/questions.kilepr @@ -20,9 +20,9 @@ QuickBuild= [item:Questions.tex] archive=true -encoding= -highlight= -mode= +encoding=UTF-8 +highlight=LaTeX +mode=LaTeX [item:questions.kilepr] archive=true diff --git a/SPE/OPT/TP 5/.kile/questions.kilepr.gui b/SPE/OPT/TP 5/.kile/questions.kilepr.gui new file mode 100644 index 0000000..4afa374 --- /dev/null +++ b/SPE/OPT/TP 5/.kile/questions.kilepr.gui @@ -0,0 +1,30 @@ +[General] +kile_livePreviewEnabled=true +kile_livePreviewStatusUserSpecified=false +kile_livePreviewTool=LivePreview-PDFLaTeX +lastDocument=Questions.tex + +[document-settings,item:Questions.tex] +Bookmarks= +Encoding=UTF-8 +Highlighting=LaTeX +Highlighting Set By User=false +Indentation Mode=normal +Mode=LaTeX +Mode Set By User=false + +[item:Questions.tex] +open=true +order=0 + +[item:questions.kilepr] +open=false +order=-1 + +[view-settings,view=0,item:Questions.tex] +CursorColumn=32 +CursorLine=5 +Dynamic Word Wrap=true +JumpList= +TextFolding=[] +ViMarks=.,26,158,[,26,158,],26,158 diff --git a/SPE/OPT/TP 5/Questions.aux b/SPE/OPT/TP 5/Questions.aux new file mode 100644 index 0000000..7b7e992 --- /dev/null +++ b/SPE/OPT/TP 5/Questions.aux @@ -0,0 +1,2 @@ +\relax +\@writefile{toc}{\contentsline {section}{\numberline {I}Graphes définis par listes d'adjacences}{1}\protected@file@percent } diff --git a/SPE/OPT/TP 5/Questions.log b/SPE/OPT/TP 5/Questions.log new file mode 100644 index 0000000..cbf0ddc --- /dev/null +++ b/SPE/OPT/TP 5/Questions.log @@ -0,0 +1,212 @@ +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020 Gentoo Linux) (preloaded format=pdflatex 2020.11.24) 2 DEC 2020 22:33 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**Questions.tex +(./Questions.tex +LaTeX2e <2020-02-02> patch level 5 +L3 programming layer <2020-02-25> +(/usr/share/texmf-dist/tex/latex/base/article.cls +Document Class: article 2019/12/20 v1.4l Standard LaTeX document class +(/usr/share/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) +) +\c@part=\count167 +\c@section=\count168 +\c@subsection=\count169 +\c@subsubsection=\count170 +\c@paragraph=\count171 +\c@subparagraph=\count172 +\c@figure=\count173 +\c@table=\count174 +\abovecaptionskip=\skip47 +\belowcaptionskip=\skip48 +\bibindent=\dimen134 +) +(/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty +Package: mathtools 2020/01/17 v1.23 mathematical typesetting tools + +(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +\KV@toks@=\toks15 +) +(/usr/share/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count175 +\calc@Bcount=\count176 +\calc@Adimen=\dimen135 +\calc@Bdimen=\dimen136 +\calc@Askip=\skip49 +\calc@Bskip=\skip50 +LaTeX Info: Redefining \setlength on input line 80. +LaTeX Info: Redefining \addtolength on input line 81. +\calc@Ccount=\count177 +\calc@Cskip=\skip51 +) +(/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty +Package: mhsetup 2017/03/31 v1.3 programming setup (MH) +) +(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2020/01/20 v2.17e AMS math features +\@mathmargin=\skip52 + +For additional information on amsmath, use the `?' option. +(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2000/06/29 v2.01 AMS text + +(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks16 +\ex@=\dimen137 +)) +(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen138 +) +(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2016/03/08 v2.02 operator names +) +\inf@bad=\count178 +LaTeX Info: Redefining \frac on input line 227. +\uproot@=\count179 +\leftroot@=\count180 +LaTeX Info: Redefining \overline on input line 389. +\classnum@=\count181 +\DOTSCASE@=\count182 +LaTeX Info: Redefining \ldots on input line 486. +LaTeX Info: Redefining \dots on input line 489. +LaTeX Info: Redefining \cdots on input line 610. +\Mathstrutbox@=\box45 +\strutbox@=\box46 +\big@size=\dimen139 +LaTeX Font Info: Redeclaring font encoding OML on input line 733. +LaTeX Font Info: Redeclaring font encoding OMS on input line 734. +\macc@depth=\count183 +\c@MaxMatrixCols=\count184 +\dotsspace@=\muskip16 +\c@parentequation=\count185 +\dspbrk@lvl=\count186 +\tag@help=\toks17 +\row@=\count187 +\column@=\count188 +\maxfields@=\count189 +\andhelp@=\toks18 +\eqnshift@=\dimen140 +\alignsep@=\dimen141 +\tagshift@=\dimen142 +\tagwidth@=\dimen143 +\totwidth@=\dimen144 +\lineht@=\dimen145 +\@envbody=\toks19 +\multlinegap=\skip53 +\multlinetaggap=\skip54 +\mathdisplay@stack=\toks20 +LaTeX Info: Redefining \[ on input line 2859. +LaTeX Info: Redefining \] on input line 2860. +) +LaTeX Info: Thecontrolsequence`\('isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\)'isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\['isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\]'isalreadyrobust on input line 129. +\g_MT_multlinerow_int=\count190 +\l_MT_multwidth_dim=\dimen146 +\origjot=\skip55 +\l_MT_shortvdotswithinadjustabove_dim=\dimen147 +\l_MT_shortvdotswithinadjustbelow_dim=\dimen148 +\l_MT_above_intertext_sep=\dimen149 +\l_MT_below_intertext_sep=\dimen150 +\l_MT_above_shortintertext_sep=\dimen151 +\l_MT_below_shortintertext_sep=\dimen152 +) +(/usr/share/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2018/08/11 v1.3c Input encoding file +\inpenc@prehook=\toks21 +\inpenc@posthook=\toks22 +) +(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def +File: l3backend-pdfmode.def 2020-02-23 L3 backend support: PDF mode +\l__kernel_color_stack_int=\count191 +\l__pdf_internal_box=\box47 +) +(./Questions.aux) +\openout1 = `Questions.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 22. +LaTeX Font Info: ... okay on input line 22. + (/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty +Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/tex/latex/graphics/trig.sty +Package: trig 2016/01/03 v1.10 sin cos tan (DPC) +) +(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg +File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration +) +Package graphics Info: Driver file: pdftex.def on input line 105. + +(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def +File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex + +(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count192 +\scratchdimen=\dimen153 +\scratchbox=\box48 +\nofMPsegments=\count193 +\nofMParguments=\count194 +\everyMPshowfont=\toks23 +\MPscratchCnt=\count195 +\MPscratchDim=\dimen154 +\MPnumerator=\count196 +\makeMPintoPDFobject=\count197 +\everyMPtoPDFconversion=\toks24 +))) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +85. + +(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg +File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv +e +)) +\Gin@req@height=\dimen155 +\Gin@req@width=\dimen156 +) [1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (./Questions.aux) ) +Here is how much of TeX's memory you used: + 2365 strings out of 482906 + 33874 string characters out of 5959890 + 271219 words of memory out of 5000000 + 17641 multiletter control sequences out of 15000+600000 + 537414 words of font info for 42 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 37i,4n,29p,298b,185s stack positions out of 5000i,500n,10000p,200000b,80000s + + +Output written on Questions.pdf (1 page, 56336 bytes). +PDF statistics: + 28 PDF objects out of 1000 (max. 8388607) + 19 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/SPE/OPT/TP 5/Questions.pdf b/SPE/OPT/TP 5/Questions.pdf new file mode 100644 index 0000000000000000000000000000000000000000..6b316778978f6aedc71d74ceaba2e588dfd48769 GIT binary patch literal 56336 zcma&NQ;aSQ&~DkbZQHhO+qTWOZQH%uw%xmJyLa2RIp5$x@)O(Vz0IulgAAdb&z$1nFThl8*gFfe;4f-p8Xx&BdA< z_I-ar^85t!ZnD$ckXlAG#sAV(+Y7|*^7)440jWsMl8Mq=jRi=x5U5dk7;w@DHa@&w zn>}(<*zQbf4=LWX4vd;4-W!0{e)zOy*-cq2+`g1!-cU5Zo8f4x0+RV57b<75GroeA z_j;}1ec6@1f^BrFTm9CW!HbVc(w|l1i?1|2b4@q$IWFx9HRGUN{s3HJkK$tc%S=;K zLP6c|^!QRSx!7Kgj{N-B$LyiwpTyn53s>=>^g(hA$8J+$_q}Er2Z<055Q`2P^^S*qy9m)h<5VzDp-??Ap<|EQcrArW|NgDF>qY!nzr?wi z{VCX`wLR+w^@;ZCArb)2id1a4rtzbU@3b6WY6H z?=1Grj(*(s=`^EnrSN*^Q;uvhWVbR~!JH>=QOI)jeK*$%!aNgnfX;2QEETXhms4@L zXEKV4nGYvyb(3cIn0&mUvpmF0h#x#TaA?{fOEuF|+we&_{t#+w?tW9$b67ND5%UJo zA3M|kSX>F!bW8?k8_}NT9Pz?G_a` z>y7y*E&VoST(J{uZgyW58nqyH`jZeErK`OcjV<%Wqne-dGc0{9e`kq&xttSWN*lm= z|1@EU`m3Ry%KhwDu^y!hwMAt1Wg%VgFyL37C_87;&~c!9)u9t_5=Q#<3tTO2`3Pg~ zVD|rz_TTh>Qp(Kn|H74-h?#?f<$vI1A!26YWM%)K^*_4*XCz`~=3-|0zqtPY#yYMA zTq)NUgB}LV6CNQ>HgR;D-pWbJ$vW3TFBsC(laj0h4EE**Wow(h!!Uk&I?KEMVyCF; zea%Drv$#-6!xV!x3@fCB*oe}C1A|CVNJLpL2ObItgj*|6$ioZ=$6b~ZcfS8`aq_Aih)DJ5*; zwXFmyDQ+On@G#2J(T^eV8904z?$w*Nw!Xf;cB~z~HW9+fAewr6wsP(w@4JsWk`)Z(kQzh`caD;Mx@syEgb= zNM58jM$@ohAUR}Rn|keS+>fk1>M=vuj3 zxtTx`MoWTladvpb^*<5}66qWgqxBF0=?-9t7^=Wny&i9#0r3&sUO9CCTrTI_$* zUuKE4C;IIT#K(V=vO;o!^n{2KBXTf-njizWQBk})U zwZbQ6lwzMf6E;N@C&5DP9qqwAJiL`3^dqz2;{IJ;9ELW6V`&E?{iXb<#xi@s1Z?+* zl;R3OzR3u30No|@2Lzn=vP`3av^oDKy#JxKSV=_BNXHC#^_=?Eh>j860wS2!+XAxi zU?2*Ni_1a%`}nc{yz87ANB3KINZ8k8#0nL7Tkm3c`c$8+|8oNLy$d-A^meNylc;$T z4D|F%+{KUxYxVFk^ztkBDyaYStMwz9`b)d;+fHI_iJK$%{1kxw74Rg{mdj&f!Xv5|YWM6XXGhvj$ zTrm2Bu18p%G%BIHORlf>D(Vu^H1Fm%<~_50R7NSnhnxYK&UVM z);{4~tJ7G(UrogFfWK?R+`rJjwl5U32=$%0KRxklBVVw;?^{7a4n(L&@7R%1LV@b) zLXY;PSdFxgFBS7>Gi@3$pv_}FqA`#BJR&5b;-eYr5w?xPK?>8Q^3)%+3*Zlw2}9vH zp?jlVX=RXek|A0vQP&hlo%ij%rtc9ZEBqx=WYZT#y!nbR`PqO~N1TFxM^-LZdEN_Y zk4_Hy-R4_WzR{QwAr@`w9yA@t$^Sn}gkf623jYnAA!{JnU&i_$O2OL_LNv{P;immZU+9=^jjF5=W1PCY4gx6ywb z&^QhJju#+JkF$H*-3Oz+=@qr}?U0lfooN5gBnkL%3eM+JARx+il z@e+pIBcmk2_0#X9&;iB;eih+KPW>j{6nWYzKWe@uT2*Cv1z2+@B3n5!a=)FI9NY8I zzz!16D+e;PDP{c!5fU`u>rf%95Y ze&l+5gFne`i@$#8R)u-=?<8ax>Mw}p1HJ5n#V0-+#x-55773JvZ}JAfidNKSAexpQ zB{ARM`5rJ5>sU>y2D765QwuC|Yu4q676$PDD6<9+z~Em8wHzr5VAIT$IeHc`tQvzV zJkzO=<^Pf06gbu{gEgc67WyVqoSpPll=2Se3etWuunQ`8mk`TrBD=Ju=vz`=46Ft^ z9QKHW$CSa1Zeh#rSY74UEx^GZaYd99;5EHQX8x*27CnG6098D)kt+jO9+7QjbdsXE;{v>y3Nhged zCwCI2v{|Q0=b7k1=C3BQX^qf~dhP5PHsaOp;*u-J6%;&FQq~kU`_oH(TbP<& zhomP_VXIYIjzX|E*B{Z>xHUgvFA4>L^9a6i!Tu+Y6~BoA4Y2erH6vg0IIAd16I<0T zAj14Qgv`IGg&uQs*d;O|!5nmhe%N((ZHdqoeA{vuwY3X6yPlGVJnkw%27vRd<4o zcn>@lT82NALy%zttUYVKii|%*TbeKj7P>zulo zV$i3u*Qz41M^}W`0M$rdDqn%r(uY(bRIC#l3HD)_ykLy2MaQx)k%WZ|PD3t^N>)Z* zk&}nPw9vRkF-d^X)!hs)s7GvuWTD;;%;UsRbCl7@a~H$xS$#dBw){$hlruLi#Y)Nq z(y-_C;pJzb!&h*CkMt6kDtBI0!6&qTpy~6?f@o$6Ia2bd{;VT2K|%KGgH6JmaO|s1 z6Ke+199QW&w1Gq|W{_U>-dW^04R_PmhP~Cc;P9L!G#1%E=unry!{Oxej7ADT%zi^& zLo|}%U$JwV{@Tia>!7y?K3NK-5akHVUZb@#QC;@s(U5%6mOuDbT;dc&BZ2KSW=#pt z^VytmH%@;VZFT*ypAP87wrh-E`W$Bhy<`diACvXmr0VG!eH7p=pFry3g(=*KsOydg zo&xT4E_Pt4;?cD*Dg!yu-N{khIY;T97~jXCYp_z;N0Gn8+i)^q#UOH0@f-+8Q?R2R z$@?>09RKewQkT0!buhmwU1qx}3H)*KLBlrvdCMhd!BA|+$(V??9oO|I>TSe!SI?-0 zz73|B&48_+T*T|dKg`j3Y=3CmdZCCu(=n6&IiLH@g7*}-UJ8;G0ix@v1F{y@eQhEd z5o>4uIc=!c z*y3(5d1$C)Fh8GVu>CnXoMr;0vIFhTdC>O4PQ5t@(~ZENK>uce0ag1?;mb02IYV&=}H_$}Yeu42VadEHNF_kz3+@BLj_2HsMuPO<@p9uE9e^Eu_so}}tns5m#Q z5EeS>fL{lct@|Oc7W=QwLG!5~Mav%4|V1ipEr6_Q>cWnXq9m2za2Z|kJ<|Bs2@#=z;By+V~*~w>xcjYU{s@C z3;Nb$(4bi_sjZ5jI;qt3r9`6uqG};gG8_8icpB-fYZpsz4<6BXcVveywbVM%ehgfj zv1Ktlvi*Nt2&tbZa%X%YZ%*r34%KJDox6bH%-l$Np~)S90P$XOhH8L?i4$nCy$DNp z{P0;)0;D@@f1m$Wv0VWXe)kcocw7*1^HA`NAKRgI3jb4vTW}41^809KgC3=t7C5xk zqqG^Ip%G7IyjR4u-JeZaIQ(7hmlSIf2)At8l?(N&@ea-7$pgg z>Smlf8ZDk+x%U@M+db9C4N1o1cru1WxQ2(aU}59PoV7BDqrZN|qQYueqK-R=J*jY% zmTm|@Ix{%L8A?^Uyp1DsexaZB6>a65ZODpxn}}Zg-S!Kp>~SZ{hQS0_jTY1dG_K4S ztIc;d@(e*sfJ-2ln<=$A)n5KIO^H5tQL+obo(l67pQRR$lQbRMk7wem#W~M~*MX{# z5q4=wuWeEe@Md_9gxsOSpy0V|p7GIj2b7Yz=8|kx`ubHe2_%Sff$+%v?@7 zpoVcJS|aQq9!zDS7F)E{Ki<;GL?a=g!-E_koh=2R8oM`;;U~F>+f*0fG%@V7qxlfs zVW&UV?Hh|lIJz-PnaVEG_+h`WWdba)sb->FnR&ES|0!VXEfiq4VR$uH2GTG%cpaGK z-G-5^bjB%PR^vVxpx1has_;DTY2h}rth-M5UoCI=>Vi)d4R_6isiGRw2twjG66zXM zJF}&{_Am{Ur+`wzd;r^i92WoR(LFXU^7U%MRANrL@lA=>q?<$MEB}}QH6pcC2LwS$ zLnpmDjh1ufmIkJzY^st^BO7xDp+5m1f!rp-p|0k>`kIp8ju(Yn58J<9W_ph*?^;xr zHvSO+XU>0>B7YLTngH7rDa#qv@@y!==|pscQATI7RA3^0#vc}3Q4U}v#yFOVpiqN` zWjD>AyU$+}N zMSqmsiX+!)PNEX#qUn*c8e0jjU~}MT0StqWvu2oQQtljJ;ELETvU^vjUUk9y$mt5G z3X0(iJ%ycdEOy888xwjHoRVUmz&$Dh)+?jtmvwy*!gjg6Mb3$Kde|{~NKcf}x~4LZ z20ZbwAlFd*vBzq1s65P1^#*d`?KsWZ1(KdtjVn4tnNI1(kJo*5(hI{(T2&uzO9rIK z@-V4vJ)(DoLljOT;)xpm@e1+(?Y(?*QI{JUG6{PS`ry#G_(UH!(M#>I7QeSuvl>dD(hu0l9yMR96^A$*imTSTcaXdM>IelXX zhzQpZa+Yhx055tTNpUC6HWLI)7uD4AV}rxJ3O|GA?*^;Hl;h4_zZB~1ps;&;wh=-z zhI$C+(3P>hR`3e#XWW8RbJ;Hl2BpkySGH?z{h(y|_3{J#EeEDhVr7|?lt@uN2hYJ@ z>ny$YSU8WD)l9r7H1|Fd<;uESAF3Szj&qbWjoDnmTSXU3(sGHtY9UMzayeBZ%!?V8 zhVR_UHgn$6wN1-+m9iSv)Rbkt*Pc^| z+7oh=_$!oFKDmdi4Xh#xjm6*9q4!YEzw$h3e~rXH_CJG>2@3u}$rB#@pjG}+Ws#nWXwJs- z3G4W$DUz~AL3P%pOl3x&%=BS#zai72wvjUY@llI-s(F4|OeD!Daa~@={eG(fUWrNJ z;Uln9*%N$Sl*5cqjpuGyi_^Bj8qz;cCh~Ys6_>9Z@Djgpdj%DO+@^k}qO^I`?TpA@ zb3+8jBN7UNHN)~ZA<34HMXD(>c3NoWj@?ot)49r^8S{^XycH)KTrqK%N|G^F1%N{0 zi|uOKsK4(7xMQqSqF>~wVO@<^M}Aj*RCg#D?<&eQ#BxtOm*+wvwmeJvW-DHK0rd;~ zoPYxt@im`W7PD#2>OG2fO<#pZ`rf+HUB@8V%V@FW@FWnR%cPi7z!)A#?wa8D^$h^U z8T)J}_E!oLcUjQPb4>MiI7F!oA1_khUCFVk$w;iKt`}XhWKLY;mzlWCVOU&lQT+jE zz*;8VQqPt>A2lL+_9h^G=q- zA+sMCok`3J2WcE^q#RaKM0~f-j;glslNvr|Da!;JJv%ss0!<-_97=_=7SM>uK4R?l zf(n*s>C$Q|yY?;07Fiv|`s$EH^rdODmunaC?;w0@3zHcId!*2{(RBCvQY zwlbLB^&I3pa+&&KDEfRCpG!@I2Lo&bSkKj-_cM;%T+<0$nVx3SAHuLfx09wwE!VZA zBT{qA<|+^jbFMjoGZRT8u-qWAqNU~+#*>8Na(<4Yev^{}CY>$-)-~t}tFNF{PZtwh zZ`7fo8v_?XeG<;{*gk*Qr|A9i=r=&IkscN8X*q(*6ibSvU z1PhXjLDp9Imd^k+An#$WSgvSnud$s$Q~YpEg9t}CYU2Km`R#O~aeUwrFYgt$upBU{ z!ILu_ZDaD1(MwcRL1Ay3C7K!7jY4#~bfqB((W1zvKx3|*Hm=yIhGw4cL&%7de>C&y zj|cJ=a@qG=x}Ac`pM>B8X{@5EO;`RHEq<3All;O*H3T$H%jbE~Qr&^c(*cQ{36#kLD6k!EL-k(}_GcSMeWOR0BCmungI2ew;Kv4v0Pk`U^Yi zf!R`NL>mO+El1!1wujHt2(}+qSzU~bE)&MXYKm9djQAjkln%BqQjB-j`CdwvssmbWocBB-|Z7jbL&bCI-v_zMu<&G~KMtbuJj=9c=EstX=f zOr`|uGBJCQPiVWa34x6mxMMSw-yQ?_`s0Y6Glg1B88OQ$s@P*E5aaI%bzA|xfAv*FM3rRsEBEwI=H#Zsu#x#_2wD)X{% ziEz$VPJlp%CJ{5uAzI5F1vPJbQ|@C$r`cH}UFTDhqxALIn+&HTSrVul#Iskc)xiS% zr6t@7>r-n?YCH9mm>32gHW2@?Z*%2o(xYmnN@F53CtohAjcEmVtnKR3`Mz8KtgQOd z&oo@1`VQ}Wctu)rZFP*LXXZ*bMPJwpRPnE;0>Dj~hxngg=WHX7A`5*QbH&)M7Dqn! z=BgxQGyGLcCKJ>Z4J}cbED=Q@w|!X2#B%aU574hAz}<^TgG@=n6bl4^GZil&GZt<^ zV$|FpY8+>LM`1_|o$kLV?@(j+K>kt1TrWHaV9n*Kx7E$Qk}^98d>{!Ba&O_y{P9hH zeEc0=4pogt{+%zp$M!cm@4e4Tk_$WXeTp`b!(Kqc1(iOPce z)FH)qSEDQ2VNo+SjNSi$8ueGeTZ%W3@)lwjX1W zvYy7|;YF87l?NhX_;CvLJa~>0c*PWGWI>SRZE4Ux!zePoFRi@{`ON8DtZL=x^aPkZse7L5=^esmh+sPYiO>VyrkPkZ6kH(4A%Z@GIq;5gYC`+$P;;=IbO1pSkvX4*m0 zy$YX3Wd#>4bvlN~LRMv#=C9Lab(C5~=sgS5lAn`KQCNmx;X{iks;J5tbSoxVUA~f$ zw)`o^a8LSxsrVI}eI&EB)r;!|{h4=d^T@Y=Bi^Av3vF28j)nIpRSulBvWRAM?S)+i zEnwj>zBs8AN4B*RuWxK8e9X<{ob7OjoF{wYdhsv5!9EoQ8p}u3?%83SG*M&at6QV` zne41Ulp?f5Xgbvv8`MT>`eB~eg%1va(QAj@XPs$q)W`{8&{~8UL@htkCQw>rUi;00 zMjK@}QY3xeS^}FERO-aE6{7a;=iPGz3QR!ny_;!ZKrI{bn9Axa9jMO^9RMK8={cjg zJiO6}c-Jsxe6rYo;gPY}pNreCxj;RH&q%^sUJ?ApP+qJgvf#RzUu?PuO=n;STm6?o z#vgil6E$$V|H6ArCf!^k{g|36)9qVq(hA$EJBq1AGB5n!ap6ueQ;POzh3tO9MEEG5 z$)*0JE!e{p(UoeuFVn)ev?PvAUsN8az6ZX@jtR%C=t8FO)n__IitYo`=qm7-!Rn~47w{wY|m#t&M%w3WX*wY5chDDoN=CLD7|F=0ed zaSO(ED}>?j{L5F)?o-1)tO-JExP@dxQIDXd03 ztiL=Ifpuo@#dMOur91nueoCAkx`v@0o@jW^7kvbKOJDUvcEzekB?-U+`?CENMXi6O zS{tXZ(t$O_*)DT^b(@X$KYONXqK|Wy-Kk@0fnd!O_XO_bmwMbu<;PUd zNyf~cFq#~8{#jZL`fuz?12|Yw@&utS;ZKj8h161Q5`PD!>2r6mW7S#szyjW)djf%P173oflmS@)bmU9uA;x3Q;P7ax-KfS*mf+|ZV|pG5Klt8`91wt(ZZuza z{+n23FediHWHI$gsW@CMqWa=B`Qk-bWa9(o-T)7Ol4K%RotunxMvykIWe zvfBK37#D=1t3I%d&Q|)&zQD235r(8@EL@jYHX~D`O~&lq6Q_LY`oAIcV?WDky%Y}< zh8{<@?CT*f@>h6=JVzf&X5LuTXpRPgInd8}d&we!u1z?>4*Xj<&DytbqX+Z~m)ja) z&-WNz4Nvnu3uy3!gwOKY13tH zjiv0rjM%sVR^UwPR$I(LE*H(VtkcFu-C7#C3^`$Tn#zzKP zIXn+kSq$}u(Bmk~TV{~+Bma8lt{9yW=b8_bj;B5>OveKGd`YISK$1pyp= z?Xcr|O|A?y-|)3VT9eo5-bJHv<-W27d3iG4mZgLBxtDdZlIz+M5`db{*RCDd=JRoG z??)fXDj=0aMlmY~X~KqBw6ym`%p8qfAwg4UkX|;Csz!^V-*RHMiHNW)uT>voIH!}r zn&>5G=?rn3=xh;hrWO(EvtDSMEV&;1@J;Mbf?-yun? zuKuPP8faDG@JA_M_3b)+?h!)sk3SdHMkw}d0s`&^u0V#>gCa z<0gur0L#C08;67SDTh5R5LU1`j#>6r@8$S#;K8Q&rJwVa+0CNf0Gkl8|{o6j?!x0z-BiRp$tFLbS|j7|DR(*#Ej5s^K-iNOd- z!iZEOos$x4ba@wW>!2WT)~u0S9B;8(Q#FTih=+g3vo(bG4&{dk+00Ug65_9j=kZy? z;{La5fwM$A#MXRC88h(@Mxcjy>MnzSofdR120SQW#trBtm>L}o06N*#b3Al)Y$b{| zwO=P!oWA0!%Q~p_9V*p^qre4Hel5a{Ne34BUJn;@>hQ3o5X@e4P?55`Q7xzB!pVccyc!rVq_G)}}MGnIxVHUTu zfPJ-3zCXgpjQ39Vv_xdRKDgsKqIM<&r(RKSpi}NK3qL246!){Ll z3*Aj3VT3g8=5|)iT(U~{PiGF;USjq4U5EG zAOAEJ=iQ!$$CUt27jrvU6P?=gDU5QhUAojMlWF62r8QzuqZzT>i6?0KSIO*!8Lh7eHGmhUCxy-Az~b{_3~06S9NtXg zPe8+yUniK%lUI(X=xk*GH}cULdoLUUHzm>*f3+aR(YP55iG22NudiRhm$-)gpHKdL zSI}qUuU9BzxL4Cyy!$gtWV7kSka4o4X9H}zLIPe@&Gtxx^P*K^$A4L8%p1t+{8Zi* zA0{dGgEJkiP{6M}UwUgEnAieALnzs=1$ms5U_Vf#50``%&Utjs>LQUZzPtFih8#RK zC;CUz^RL!75JL^NyuMcga0^+#aH7M~4p zTIrkeA>@MjT*v%>G=6~_x*6wQ8_`-6`El?5CzuPgW#4_!Hyj_5PBY6G^ht=r*D3~{ z`0H^=t`WV7q`Y$9jT1BI3Bbwp+Tr(?{)WLrN>_SIvvF^ALWJwLOdojk3_s9#f% zb1aIb7-NsK2V?RQ28Z)Q8~Z#Q_q4&O5k79@4!KSS3|f}J3x@8dG0S3pPP_m!i+T3i z6l3K%-N@W-4qLBsh~opq7Jd5<+?lww0n#Aki6~L>%8&PLkRcJvcO2TpIJfIbQp-z$ zB6^3!d?D#d?RLY060`%lrKNT7#1}l!0}^xTUFG~9WW(Z8`E{`7^ZRD9PIX(ikyA;g zGz{vUmu}PW?aun0QF`$2oFfH}T85vi{|?z%>^cGk5v?^FtlM9iY~w92DcIDa)${p$ z^S9wTsvf^XDT*8+<_DaRN8sb>omZQKa_y!=44Dxx+g6BP^Bt;|>hxgg;o!l7m4e{( zRvO+j=Y)hoQ9Z~p$rQXh0_osiGoy=knGvw>5ZIO%MHt5rdR}&)?j$v{h++Uq7ZVP3 zX#MS_UlUSMBo8tuV3KocSDryJYsG7}+U9*a%9$tqMFwh1q_6q4>OQU3H=qSZV^=`- z=@Xnvv5PP&4ugFq&$abhE70AWRH0RFb9T^r|I9RzjKXiX=0F-ii0Nc^aK$SvzwY6B z+IF%x)pre3@CkP#lf5x>5>wJ-p+WP5cWb}Ai>JM1?9V0Q*S=g*gHtgofrT4mB@X&; zFk@S_!H=L;n|(I~*T*dd0#mVA{|(`n92tLndbF`b{1TRFLg`UUM@;xfeMq$r^cBm! zLa57{2k(V|c8)7&%QrPkC!vrEa`vf{hz?UKmW2f3$wVf0nufl_%NKgtfd>N%-8{(K z)%h*wldUd428#Po7Nmds`JcntOM8>wXUN0s_#S|$hW-LtiGm+?l!b--?R*RDSM*y6 z?!8g%{-IH||IhM?5>ean`SGZ$Z?Z^ynCT2lEd;MHH;s$;*k(;m8yg@{Y{>ZA=T}XP z-ZNmjgj`_ejJ?`+Kv`hX10*YHxblQ_4u{iQzI?T(ylmLfuUE$~q6m(vdWjYl#t~-dNv3p_D_~<_SgLZ^G#++EaODFbv)#uFgCpXZ|0&hh`==Nk zwnLnalI_bxRtdaFYcGjl$jRgAdy<9AkM$Na(!q|Q-@aC&r@H8qcZ|~Qty=!}N+IP@ zOoby{u$Tel1wj#hM_B4N+r@g($$@i>^NSxhC%d&zq`+kVeS9iB9Dx_nZZByD(3M#J zJ_>3qG5c!C=mQJGh7yl_0j87&x50^#3xxe;F1mK$AY(spAU zBXNqd?d)#qayX5syFdlYQv`JyR?tBO|jyN|8rrxuMTM{q0lOjdZ zk&;WX2!bL@&hQvaDT{YPl-XJm++emTj*=%Lt?DTHE9Gb2X34R+|qql#eb2@vF|j= zhrdcolXi;`HVZM1;xMH$zs)-ZvupspE@qcj8dA>q@em;o=WZSIHlmRGJ(<${^f0L* zH&=Pse4b27(LjzjHnbh+vttMY`c3KGd?JGUr9+l-IzoHhPh<9L5ca6oy90hGVQQVK z1807s%m9a8MZRm9(lKsVhVuSF*XAuZTXEl9q(j>^3`8P0U*C8!g=A)cA2$L-8Sn#GZ;^M z42-uEg;(ksnH~nKRfM?14?#9do{k1Cf z3j5QltyMpDEjPEbVU6)O~~_aH1&;4aQe|(gxZgHDOT0a*NqRB?^upg~gNRr(xJD zI@Up-hDZ`mv)P4|pf|JAtws&U_lrjHj-VbKHIlcfTBel4d|I~VTftfPFgAjd)Qkax zRzMVVC4z$eJ)IPC8(nxL^;GqDxIGizj|@!y`IdxmQTi#T*^<8RsJR%`fh_w(HqmSi z8;sc&+utu=R;9!NU~P?{^YRdeOvvVfwVnf8WZ8ee)D=9TGwo0 zUmjlYE2hbJR^jb!j3+A$4iT)L*ybEQc?BfCF163rpvZ%ng4F==gC|%k1TpM{gcTm; z0(Qi?ssXMooO<5+>FVcAr1-Aqp3USKXOu>hiFl4=zbs;sBv#R~TXgtF^yc4~mjfZQ z=llwU^>KuK3!-)p9QFxL9pSU^O!61~r8VsU@h!CmK*^I{aY;$cy}y+O$+i-5a5tcI zez?<5nb9nUp&fE8jwS-mUKZ*x6`>_V?%F~67V*H(4^>3^{Moxe64~CG#Qzfo(4U1H zr%`Ri|Kr)HKoRKz2x5-SgJd#(i_rio)P zeoP_hu#z2W5x&EOG!r;3??FObz!t5rEmcV*9JQk#<}0|Q=)t`U=!uX|BewZNy(I^Y zRT4NOH`9yY>#T!`0aZ2`-{v;I?J{?%A23`yFT@j0Q8w47ARJTolw0UhcC@bk)rhCh zFppbU!kT#HM?2o0LAwus{@PWdN`oGLa8!Vf#p%nH#cO0%Vbykj-nz_Ch4NLY;bbm~ z?pQ z=}oMBiRV-Mm_adTX&fQ6@Q>`99h~U-!}6Lzc`T2{x%RD^daMU1IUx+H7funw5dt33 zrRPp$nwI887Pn-bxSG10VwDX9Yex4>Nh zkeduf?*GP2=lb88>8$^Yna;(@$^1Vy`u{4Xb91q>{r}CI#I=Jf<=CQf#CD@ckPH-d z@S-u^sPKgX1tAf2bgLF9Q7smYw32sp+up0RXipZ1*QzJC8^-R4Y_&9(Yo z-}L$#eolvm2}}Obon0M)sJQ}p+&eklPXVH`n#{R_1$uh}^Zu`$w6x%e2$b#uuDIwV zj5>IS!71(;!$I)ip1c~ULHG$Gvl*BIvnkR3GD7WPChcLS?Hz(b-Q7q1Mx23U08xST z614%z69i_%!d=A=7402dz(%a|dhsp4&yfb=4+HOEVqzYDkm3=Y!i9?p31JDLp6vs9 z04ktBM1VgSh@jSoUi(!VWVyY(I%Mu1e0+T$f%3M!_4Zy^@brKjBO^eC5U&uzeS_?Q z`*k6#fb#|dT1P{MK$x5YJATjSJsThIAO;5lAwkhVK!&ymMfi-{jJWm+d4vqrK?|;7 z!oQ_g-%|d9zu9sD0SJEjm%h=zd6B_hB$<%FT%0|?2mOedd;{^pU?8k$ZSTC^yqtgo znf~pH5iM^Y6BC?)hYAI8AchLYBY;s&or44-;{UAt;e|qQes(%_jt~lX9slH=8OlsE zYJ*{zoi)mg;GMmFq!!sTnjhNo_x|nDqs)xqocY7 zc{Cb)AG1Jw0fKtGzmJNJ1pVs()POi1^y&!=YN&ZfsPMCU52ukd+ z7eR;@;8}o)wFmqP2Kn*(?|v65;t!z_EU-6_-QO1^tXaVg!fB&!!TX`_Az}d_);`Gh zd(byPzz?9wODVG!7VhE`@jHR`gngOWudICZU2`gc_xM=f59nuWFc`=I*cbpL*k8aU zq?U<@^tS8m7MR#SJMgMlLo+=KPV{r?OnCD2ht&7G6!@hdBNX&*x3fi$AQcv(;g{6S zRlrzaehBmTw|VOq>it*s{g&=mv+(yeDwV%*UhwNG0OdyzP{0ay@rijT+?h{+s9SLU z&;Z-;TZ$9%tEcacS#kaQp~fGG*i8i49Pyu^9@)(@3~5&ldJn|?MV%pd9o~-#4-*vR zuD3X96#TG-v23>5Y*d?IDWrPmSIYaxxS@GMZy3E+IK2oMA!{U z1q%%W{`o?@w1Rzk7aajIAjpgv6NTC<>=X*jgT*_2jf;K&^->4q{D=hu8Ladtbx;Lj zzHuI41_%{I41661Gz9+K3+Cppy%^pRKMHO^ia%@${~V)(-0^(D!hm}HUZVrw@%+F> z1A7(z3jIWgGz1JpEY}4LLApP7d3W(`{r7i$LcA;_`ZByLEcoo-6CDto_+{5mq{REV zi+>mWMJ)bB{5cGRfcOj)=8}D6Aew+0LqxXMY;{TK?QEwk5p1%=4-Fe6n`BUrxJgYAhDPR*RNmWP(4GBcz&p%=5Tun+H7S}OH^~l4ze~rG9H<*U(pAZBLyn9E^ z6{JXc8#y4QFxaFKl{wigfcl(I-IZa7C30CkM4z);Ed<)YxX zwgD&CI@I>@y3plZ;1| zOl^a3Q?6Ujj8mCimW1lq4Qxd4zRxV&kl_ydt6-ax1M>8Qp-(x-3}QP;KN^_Y_;P8xG@?GcSt&^^?CW=LxUW8nvM71DK}dQKmH`j>7Ye88fE%}ZkM~oA-yaJHEzz?LU)&ibDvX&!W*^#_OBSF zRwu4o<8#e;4#}3It|o}N16Ffdz7fDQ_jH8~d%V0fw`V@)!JV7kR|BgtwNfp2+$6o> zqkN-==O`f;(4L^S`S_m5-4(n)N2_{BhG8QWAq+l#^zdf>UQ{LFTIhN9_|JRvb!Ni{ z^H@Ie1a`94c^d&7Fqd}smV zbYXE*r1kSAq#<1}fsn#N(;b*25r-NJMYrgQE3fLB0|E_!kjR z+B(!aojX`QZeMS1``*mH+E%|JGu8V%EvbmwQ{KnZ{iNo;$*0TKAAaXGxGemO2y||$ z=+OH*ga^=+kp{O`$R_;PPD8oSbHDox`jeJ5?>kd(kv_NhSYi^b0Dk~5u&G=n%v=u8 zi*VF9i@=)KXwv7#(s;mOvh5bAxfiLnMG9zBJ>cperc3eWThlOs0U^nmbL&yqv{8UCS1tJN7ikRA)Jh z;l(DihR4qQrzKKp-(mtVLKCG^V4oCyvZX1PRP$0{(VGjdqNfc{gg3VdCP1!-a4v{a zEvY_oNzoB^Qka!6?ZN1vr`>I+wf+@ z4w=BNsc_}UQ^z4)e0V#qw!JrDw1zBYphbNF-aVqKt%j5HaK1>^htb{lt_)U3Ep&O( zFh&V4G37%Ivy0Us=V^@@j*gcgc^uJ(P4QEiOn2iEbAP!;d6HhbS~rb4WqaOYVXGS| z!nBshq34Vo5MRm_4lC#qK6`)mHpg?Wwx{^*c81=W{{!R;!LTTt`;zt-^Bt@UHFqrY zAXwrjFrIB2bN(GP?cyU`-cOkfLfQw-%#d?7E-#w!jnyWy#i$e14ekoRURKiJZF%b< z$4ONOp9G;$r`ub>UK6z%D}gA`sY^RKpSn3!G=H$lQ-b$90hbt`J6UrFfg^8Vt`3}7 zCJ5R1*&1n(!(^_z+D4Y5i`aMPLrSs$b9>?$&)ycFyJRPJ~ZNc+GH4k59 zYQTfi&R(9l+rnWZj$Dh+@f7`y&l(Pv!MeY-Io&bfAUS9B<;3C$t;*DZJ~_)8kU>17 z1`nwE8OHiA)6_N!I%AWmTl>92R0n@8X6&|KS!uuMoF(e!^APb?B7jX;JJb}czE(@- zxqQ$*LxV#syD5&qQr=0ZZ;yB*e2L*ZRBYJC&SDyZ7>Ty?7`lp3HTN zM>88)7zWv(k$cWzD+qDL9qIKsg&bT`qFLPw(mV#`o`@E`+F+4C4BjzC-}7TpF7Ve| zV`L6V=edYXozUaEE`T=jT)bhWm{J*|h5Pv=(G;S|w$*t&2f2L#&XPUQ2mfy!KjY|Y z)DJt0@SZrG*of3H?s}wLe1$SJNCo8Af*zHBVV{H@%MN z)H-W|7u#cH7|&RHoT0HnJEj^?e!keVC_b0fR&`NcC5%6I_gb&w|F(2HwzFiSj%zy` zoZN7hR+BNaw2vO8!5}vnIzKSKNn~-vkZQP_Wl}be!ewJymCzyuji$aXpHJEJWDyNa z59Y;pCua9%1tw8ymShSk^xXsE$dRr_J~L&xj#m!$ym`^4fs*PcP z1@H8BF^qO3>#H=_h2czer(9x3@Br1H>WGm}!%S~paSos33tIjixsLhnkX}%inLnlH zN3K#Eu#-CjqLN0&ZDKJgMxoXjvs`(XNG=D1BBIPa5*|{N*jUVRT!l%Kqj4V{gqA2` zFBN=%V-+RxhH;=Qn+$qeZb9hP5jHdGkYu(L&bjolyzNkoCY+`szm@&kO8Z2;;^Xk#bH7{9kB(ZLByi)`?^IMuAJ zJgW=U4FBh~so1$4g;k_!loQ}=8Ze5ZC>i)M@r~u3W=_1;MFb1QKWag5?rMURj(QJ5 zk8b}5W9JYh3ao6=wr$(CZQHhO+qQArwr#unwr$(~clHPG4c;V^WUY*nN~O-(WuAx| zo~nuCEbWTG@wKb{Z37ZkwTm5IZRNyO#V*DI53}LOSbGNrhWfHBv7=KQjdmC1rY;%Z z>2Q0|5HfsSJ+x@~_Xyh}Z_q8_R`lrY#T%zn;yGo++8Orb{wsMMT7x+*bCoDLm{e>I zhpU4Ab}pIa7PrfdQQG+)4d35bQcbLYA?lwKT5%oc!3t(5p=BjqgFit5xa$Hoh7|@` z57a)&T%CaQDAq5{%g+)F+iP3Fm90H0$s<7Y!?DNMm`~@5`f*NY(wTu`ce_xWwx|=~2?GW+lS3BB*Qe6GKcK`AH4g{V%sH$Mb=D z3D$61n=@8hj5o|~-kPG588ZR)>7r)aAc#k)v!$Myoo!PC>zEH<`pq6jy6g#UX)lU=%A^}% zB0I^4S3QZ=OftDnt0?7eeMuSAcr`T=IFk|k7IlfmL+x>QbiAxL@$=O$_}~uI&o1)ZCdO3S#uZE0&4LD1Vckmo%vxAGnnzcqHKW`N{n6n||Deo)Wm!G|VE7 zt`+7MaocxlTyRn2%5kNYnO)=#)4qId38#F#1mkj$3+5$2;5#~YojWwF9G>;K?xx5a zE4|M!B1-?62o2Y3QHc3Owz3z{Nh<`$+t-}OKn)*XNq z>Xmj2;aoN-sN7^y?|g6W69%92SxFv61e{mr{>mL*ZgYWO;E_#UExJGA74#tQ-|^>+ zZ*^v9!;y^y%Qd`;igpWDJl26`dk1BUgabOFWrX0D=qDWx^4gg#_(|yrW*uW{xVy#^ z4mv3{rObkIr&{Yx_v%j!mqGb@&?e3}K$@2MOv=3s%(w^9I`W^tT!Wo8YunX!4C*gj z>|bUw(VLh+-*H0+!FFcx8Khh>E+~*xL~8xHq}qluk_|3FR6ZOJq&Av{1@EGBj3YqS z40+0aMKjSNm69pv+NeA-TwT~MRu?ON8m%($inI|hrgXEa7_8%d2grIm_KwQE*|Uyf z@Drk9F9=LCa_mA`Ee<C9V~Jldx;iIDnar0`Q@ z!>7frQx}ab9x6p`74+zPniFDNkq0xUvXg#+1 zgkdWcE_H8Q9z3msa^(u74-F;CPQ>M;*=k{eZi&>o^JBho(Z<5#!#s`4ntJ0nZ&uF1 zXTP{qqF;t`-QuINt>2K^7;hy4bvw1tkJ4-QZ^_K#irEkQrxEG*%S!4>@7L2u7nsU! zmkpq7d7T~rU~$J{22|!#Iw>o0*5z^eo{AY@SaBZ++%gI7Wmk3zRqJkKr@Y0g9iHIg zUM!IJx5pOY%C(pc1!xOL;7w`h-xky9MYK2MI{z9zzWaUZK0=$s`y3`XAHyeeBv zgq0_b;9fVwXM3E@AsR~CvFZ_Iz{ zWGhaaO2X1@Of?Y{W1whR36vFRb9&ope<6`Txszn^e8>Af&p58x{mx z!IW)8UfWR4Y*EEr3!EQ>jvq^dB^1Aj=sVmW9Jrh3cQKL^F@m-BC6!4&6B|$<8wYsBbXp0= zPo|SbQt?>8ymV=bvy8T*c7w7@S)8`>KgXzuGC~~c22sBQO;6&IVyEkgh&B^-TJIfQ zNxNOxR{z@a?1^_qqf&>8ql|w&wt|4P5w{7Dk_Mp?j?NlUHq{NK2A&lX7Scr1W_A(E zbputx$~D-ilJ1nVDH%Ul4xztb)|fxPj!sb?OdTm9wyW~PJ{@vNh4YJjS4w zOxBDau~$R5g5mMS`^HTcnhZvxcvgz=eY4RN#7GMjD%n|3a znN<&2vQS`kt@$lN$4P0RPef9YfMz;qU7NU^F;@5_GG9E_M=0yGjNA$^7|cC}+VDX> z>j?iIxtl$P7P8S4z1$0ee!V{#-hgIG60KcoAtiFdL`YkTSVT3d=rXnJ*__l+ zUewKHYtbB4bz-FLAgAOH9eRH^X{J^pkwE1X1BNtw#`~KrjHmb7tH4r74NbsiY0uU+ zDANaXyrTdn^?tf?ud)L=@I(FRR6;xPxeP8)AJIYCZ3VUQdHe6>_2P8-SZg)vYR(3m z-B)b}6$(TZ1WpGU!^~qR*qXn@RO56ak-ky74BOCd*a!T{M-NbRLizcsEoRNNo^#{c z_-a-jJ{BD{oVhYu)njf^ipNNr%)wlMfegeg9DcQoD38>{!&Bs8I_aftV9b`N%F;QH zo$SE6MWl010J0?lHezOg_ooJtRqlaPuU$|%Ad0Un!u~y$P8V2gurl5LQjPTZ26^}^ zh70a1^AMS9T6fY#GbAK|+o%D0{D3GlJoxai+;E{`uWf48PHuRVOv77o(~>*`HcAYM z_c!=Y86k~N80cEBguj#J@}s3?^a|1E;dBu~Hc)OeId*2MI4jD_4^!M!EA!RbOKz`s z0&T>PtChG!XwH>8+6Ry3rHVjm(Y!Ng6IbN1MD%m^?6j=jWt9d5}>mLQnaPGIfvYgkngD*kuJW6c!=BP@tQ>gtpq{eNF|UA)vC;;`l9 zM4pr)5X1Nh(`(&2MZPeIZG-bMuIO1eF;@*W>|r z8SKDmkftBjvGTZ@F`%=p=-W*`!yK;GKWEVTijT%KoY2 zoi9Vd5Z+T)pxqtw(6AhM)_zro_0+@TwkY>O8+(*9^%}5Avn-CrILv>>fbPih#+R3Ky zQ*_bw;Yu&Kusnk=2db`cpM>F7YVUPNJ=2i6By#v{e2ynO=P6Z4X=hQs073w8Q8eC5 zlz{JPDLE-lx(?Z7^{y22w1ff^-27v?h#|b*0h@PHo;_j83r&~)f({hu_iOTvmCuRS zLAqZ+6a?wG(M4St$f0lMCse^(n%+?RIcnGRqq`3Lh#^lczu| zEK_xHj6B6-&- zgNnHSz2G$cx{BzOfH?b={!b2_J7%!MRFvI<%Ns~p+EwqteDTe){QjqK4p8{w1(O5v zt2g6?d_0Op2r&$WnY?5UVGta^ucH!lV?b-AxAm zIxlpytUZYRx-CsAy-Bop`{^6L-dc!?9gw&l?fzt#-3`Xnh<2c&J zJ`qB%3%iXY;c;4#TBG*P`Yb`Kh7MKN8aGg?C(yn)@HfAS)R@|EBDJ-4Y!Dy1X3#~vivDr zQm)u*m!(R)oZ;$PRdJSiZU%nnNPexVkw#!2139T?lS*5+kNY$`!A%r~Gd^TWlL9t{ z_e)BP;gn`v_ekvVdsO16zBTipYMMx#fH;bf`WFGPkl4gm>l0ZQ(ob52bBMJ+v)?mG zQ(st4qE~0W0hfY(Q+{`-Fyjq7zp6=jmbFTM_c)WmF;k^1YS?n2vRvsoV~eL<&!dcw z5{RXP94qky%8#JY=(w=;Ng<_N%ybFwAF)cwwerN#vp1lN;+hE^5f!y#C+bEl!kv6m z&4b`}Be5LCZz{9HVF|Y2<$%BNb3f1I?Ib@UMvn9ydjA}l^MNetR&=ygnuu~sq$jo> za2|QwmKzyam3QzpjHW{hz8fxurx$5qELru#ES9S*C0BFpoM+wBE5Ud#G^o%9zA84i zIuHw+%lvi5dn+og*VD=hD4o>Z2}p5iqA@#|80gJ&TkaI=C8*kou;lYr_`*%U8^JrN z!7nh?PDxOla9v&%*R!n%YD)WYjbo*eI_;C#iN)E=@OS2jVb7KxRPlKue|sV>iDAO8 zofuuA=b2861%dpenr1Xcx_j^X=57snQ`DY&0g=vUScD(YTnrlOSQqKBby)RTK;Rrm zQuB%7Ra?k5r<4W7^msYHK~k_(YmX!}qKd%$vBMYN9@e=w?AQuhlj#W7UI_Aj-(^!zEX z*SNk+R8;}+%wK6#dFJtnt{YKu>7mkaQ9ARXKdHH?#+APkbt7pBJ3-AKe9Uv_h`j3D|j}8-IOWYhgTC7!ztXs*Av5+ps)nYLIVS$2=JZu!F zT)d$?%S7p5hF2$#Qv6z7xf((d; z@LEJR@J0lR5-6VK-s5PRaxxH3Ihb5&JHH-jCcI%zX6u%}LySFgjY8W;n?~pS*V$yL z^zmnV4g2a8GIe~6`*#mSo7ahX2PK(i_t!=#3wEdcViu$}*Gps+;zN6=#U@xmnv?zT z#L)&O`kyh}MG>C~4y);H)JX|-Td^)PRhazyvo4K;8J-%mBoKP*HwNO;0m7Q?c zP1AdVDW&Ji$X9Y-m@)g&sp4zgjPJkXOuDhB8qG#$;SM|ma2S<0(SX!$0WE?m3<1mS zZIW9U=ACff>Mg=6^-*FrJMugE>9L-vxl*)*iN283+LO!PZQ{Wy^HgX!dkGh*2eAs; z-SH}Yzvx^n^65ujDLcj`4M`KrFUh-DTDvz8jHzQ1j^L+iylo5<44KcT& zjZ5~w6DSHukgy5EuF1(!7iST!Tq~wVIJV77hUW?%e?M*jlG7K#e9w+A)1%JK*pPSe z{T+aLpaoqAmt$D!TlH@x(fWIaRzE5L+V9&UHZL`X#-57C)6R~+qP1xErU$n2cr{z7 z1Z4Zpmh$gj+KUsQd6qn(aK%?9k{^Sg!Y&Ud^H3eGBeWpn8m?Fp3x>Oy5jh}4qi5O~ zz`CN+0zP1=_GY;>-7Rj>K?=kR7eqJZPTWeRl3hPAjSO!E$%+#85R-qQabU$mzItXE zi5=_-Az8e^mwk~wGDh{Pp|nQ{<0|HBu?zLSQITxuJ@rwh9Eo{ZjHHLk?Po&qbi}tU?a?57R4cTKl3D$Fp;*Fa{G!XR5%^=yeTglL zU76Ry`+{IMW;OS~6%`CUQZ8eW=E|~Mf|lG(O!z&grZzfmeHXIiGHLMg;NbWSVu_GF z$$5_E>9p-OEMFuaJN{8UavF9{84L9Dl6cUA#t!q=IXFTkKoM&SqD^gQA9vQjn5EJ3 zoN0`;ex%brla+H$giV*L14|L;#v0zWumx9vhgX9#Is11@`uW>e#ygAaoC=@|Nt5Ur zgBoTi`TiYm)yiSnnlT(+HAEEKD~dpJkqp{dsA_8aR^xnQ5zJh*9jHoKk{=o=o-~%oFnf$8hZKW20+E5EndQV z#BJM;hwI^MMCNFcHZsFj5Ki=A8R^~f;s4&OUNu*}CZO8We4){$)YS%~i=K1tl4<^u@RVN?Yz-E`k}jwI<7C9pDh9DHSkSO`iIB*5aX-Jz8Qy$ zAAXx(lDe!da$mWe66dh-*lo`+?AG!rJ;YnO#WjS`(6Rp{nIkvlISX&(|Hvp%GF|B7CH{fA!NTm*$Vyt#q-$5`cQ@A}+>VQaU(1Azny2Y|E- z+yilUcTeB5!xz8dJ?;I~fA(cnWuCjx+wStdUH+^nC{S27Kx}hi0+-?r?5Dx0z6t`6 zBz1*z1K{RHr{?A+M}mzlrCkGjYr~8b!#=w(y97b{LKj>_wE**LlFSU;^^lSy2gxJu$R~R4@V^=MD_8lVC}bo875xU18g6GyQpl z_|s+p-~a(}$M}m0hu{v% zFE6j!EY7Z4u6Bh8W*R_VyB<~m_YBPC89)o@#{%Pz%?ZR;6|))%RzPWN&8EH^EID<3 zStd2YotZ;@3qa7;4$+oint*!$<^cdKr)WSFGr|+P<~=^T0MFOrU6*vSFpv&-pLc1{fVL3rGeRx*jtkm zb3k)DR{vGaK;NcwlS7LuSXV>mI@i|%(I&p-j@vu$xYFXp0wM%Z7vZ;Jeo77X{DJLe z&-xFSrguUz`S`27fhlxj^G6Y+w7WSQZ9+{nw}RY-{bV-eIes=P0?eMFx%nyb9uR;o zfB-!-b}Rp)wHG(=uZz={q2Fcy?&|skrorB z(7_&n#=rCu@I=5`8)1=ueRo=*s_$-dziYz_5N2(+c?{6t_waF-yolXXlPeIX`?uiN zv)3jn$xBMhO2*&yOFus(BpJOwJv1A)e{f<5ZtqRl#K#`~=QmqydHUs+=?9e>ywM2= z;!E{ThqDiGkqU&L;FcF6AjW#s->^TI#u>sR>=U-M^I zr-t`{E{HA0b`<{n#dr7EsR*3S&Sl z>Jf+^G+=kjDSW+?ljz5xi03x9ukX4}0_of5a#3dZ$)9w-#sj@*_U;+~xtA9Grd6@7Uls_`PlAZ|aAw@*2%A zDCa-rq5nWzW%X~MJ!FmUFUFuhggvJ159mKhV(V{EHvn7LziE%~e*+oLzctDuU?1o{ zRm11`le_KqZC`y`IRI>@{#*79v;Y33#sMurf5s;7+n(zv-|OCMs7~9~9X`}|?Qb#J z(tm|&+m>~x0qw}G zf8&q8pS=FtPJu32%RFpyI)QZ+`+g2M7h_8M_PlNcZ6e<{9?N>4pM|u7 zmH&e`lcZe!iiLP4{_r^t6({odj8K%sZ~emK zd-PIVeqzyK_$qG0j$AErf%3TisvWCUUA>)wp+c( zfzT6<%K3r`8tjtKT&$$V3#PocYQxy0Al8`sm6;$Wt{vT*yP~rlZ)`YK3AF7WLmUiS zXT}tsWZS+eNyD;Z;ikS(np6`d6h zb`E|MlvCy*n|$?_XQ!|GMyA8o7t48e0C|eyi8V$2efdlMVqFuk0Cv@TX&U0AJLVNv z(X$Hw{BMX=fa_8Lsg3#Nu}8Ji$j(tzWH!&^sqf#=Ehi>jZf8{Bg)qV$w^yL|>b{n# zmMs4Jqbfxk{IU9&t5wif>5wpY=q-&K`<;|DDU3rr4$IyARBtgUm|=U1htOlumJ0CW z=B|q3iHI=)->&Vfb0L;8u7#AlKMvKu5w%6{H-^^5-FG<1A>e?r&ULU$Z}TKi*34O^JyBuAL3zeskUIO)f{U>hopBg zTQ3Eb>Leq@tZ<3qZu##0W;36XCX|7nQ<2KVk?l6s7N^O~m8WG1D4m4%)Ui#JTSw z)IG4SNy>V-*t4KwdJeMel{uhcf_pdM3vE<6JO&~2Q5r#HBLCtRS%rDO8e2P8rsESE>5}cHE?T2h`Oi{?lg~r`KyDv#{t)l zxzI{NXl%N4YiT-o&J3sg#_g;q&@q@OJmqMi|Ta;UDAH7iql9II4R;NrpKO=4*z z-L1lIK*p5@5(6{3`-(t>Kn*!J=di3yoTT#M+Z~5PE@f=z0;NoHbV2&4Z6hx^@yk3i zm9jJY316R!(B^uezOiaGlWpYICB&Ey2r#g?bs2h?W zwv6d1@~ z%}+T$bd>RR;P+ia7oOAovN8r-b~JPjSRSb?wt$s0c%r2?VG6nL&Lum1(ZYt)Ym5bk zG2|OXDs0`(cw;a2wnGu5iqS$5D}dZv=y)umHQ~srs+vu`ZJ|QqAa!4sNpF?n``IOW z|KmuM=RR+%4FLV|-49TEs?Ts74sEIVT#?(9uW<1>TccI0V@6h#Q&6~Rw~-s_y#r0V zA7J^0=;fxjq>Y@p=%k)1NELhLHP0i+Y~=_J3nAL9b%5Nl$GbwBu(|(g*`xt4fZ8o^ zGx4e{_0-i!V9_BW6@nQ?k6`fAfA%aBnU1rQ_4%+x&Sj=>zE2kb%h4n4n8Zzx!Hc+)I zzua(#bqA%LU2^#GM_Nm@N#j);)sQTx`^KObF#{v!!b;re;8jx4#hF}%D zm!)zXv-fn7?v%ioX7f5?sOqO;biwQn7lrVkONl84L#KW?xVgH5mNjRM8JQy_JW{D( zs5+t7W@@*8N}o##&3h9C(KhR8{${5eqvZ81DEJ}AJoj}kEtKu%&<)%Z>?$h0QuuD- zxdkOUswoQ8LX1xa+4_w852(GnMrZ#|ce0@lwK{3B)R0F>8 ziS?9oo--kX254{JYhy}?=noUIYBvMz2xp27qA}=FiHMwAukT-qMv%5w2Al8*J@p+K zfAB-1Lz9e~a59dP*}fiK7ewIAz{fg4iDFq>-co>BBL^4IniPt$mnr5WZCi;bN_%exKYK&4z;9M5+ zunAw5j1yFXf3}}+YMe@6)F%j4V~?WMo8rosCqR~F%u~bIDgyoLH}%=Q9E=;L3v|8m zBP-A@cS2lw_Qi*N-Y+HGr^|(r6XA*tHESl z4f&SGZdU`-!PqjX&IC&fp+Kvu-S%zQJ4>s^FUWtg*p`)s-mW!^)`W%nAC^AnWUTHD%f@ zm^icN*QL5KaiFjX`@r{uDAWHeKaVIDs+{InvvDb}oI$g0QA1MF6 zOdzq+c#H#m9ZdT=9&$U_PZJk-nQ_lL## z5kg98OZe`{?dmiPk#O~mN>6*R$&j<-H{8B!o>gd?$+(##!&5zF2T8358eP8IEt?4} zWtkN0-VKM6*peKLN6IaTRE{Xe`%yM&9{uIk+8=-M-{#Ujs+U1kV=>@p3>BM)c#?_s zXBH6Xq$*`-jQfLmF+L72b%wPSL@{p|oHf^-Gn5euw<>9j79KYrXHG9%M}r08Y+b=OuQ?&S(BDeShg)JwE!?C(KS|e`tlMH% z9P2H&-e*Gw9YGIh!~H*)E1w%>3?

+e;=@V8 zmbxYRsK(U-Fzo@PfSp1xsaN-8v?gLh-M@4rsXC8z^Y4>XIH{>yd`mXxp{d zwiD`2QA%`G=MqI9Hl?O|8oyMaM#F6jHB+Xl40=bOtD^VI!>A!|F7jcPKKniw>bD)y z5Dc@JSSp9;8)_r@4*~EBAbhR;D~%D7glTUqlj`uMn;jpZ?Cj8L2c0U*aIB-Dyz80Q zQxcvSOVKweV%wix8k?oaDxVkpyedpU9m~6@!tC;8`f{7hW$lmymLR|ZoWA;GEtfkoBjSE*nvT2nH73u}h3+fjp zHzUHHNFu{65qOZ<@?ln9aG*<5k&g?>uv1sT8VyJy!#797aX2_E23D&U_Ps%zLMi^{ zT1~jv;S`@*x0y^Hp8^~UY8h^bke?=e;518Gk64dp{?I>5hk-3G>#~2^wb~e`e6SW_gtU+`d1O8U!1sBvDkCoeQ#0}GZ>2?PpK1VzN^SQ-I`N1RpEh{p6W54g;!eR zt*LN2>9#6*IedOkl9oq33Rv;?Id*TXT~wOM<5}noRUnB21Nk_jXTS1R;n9jH0eTTv6iL#E? z4TC3YSNdp!_TuZ?W_+Up*{7JTp=Fed-;?cfgt3J${TwLt&Eg_V11=wl@w%T|FCE7p)}o$ZT{ zyKgDE9Qb7|CI*9a&V2PnXn_U>e`?pR-pXF!ijm)ItdD#i+V@rEl$^$A1MVzX`wQI- zfjEm^t0cJGuVKz~`c$wQBQcEk2ieISZ3J@T=S%!d8B`fDz|s~`w#;&Jb(gviY)eWc znEKj zHdg}qW^l##PS28p5z$Wmbt=IDyZTXnx;%iu!B%AMn)%b>JyWMz86!ApUQXsK3DPe0j z?&WX^OjmG%sjm4azN(j=c)vpFC8NvsbVs7g2=cS8lC_L98b;=Eo{b_)0BQ08=E#`S z%AVi3k{6XdSX+{3rYg%2t3-qKo>@zZ<|s!AuJAL5f5Qyx)7j~0Lk6m4v_-;gwQ+1U zYN}TV-3hsQomk~|=qf2ah}h_Tqx#CeqG0L@HX8=@Xmv*CZJKJCq0zS{ZI>x%RqY=g zBVB*O$xwnDz^*``H95wYelsySmGnFId2iZDj#Q6n8}XcSxM=EU%bY(>Vya9R5zbF} z-j0q%?SsdjhRa?TmDH!x=CcU1~I8^f*m~ADZiXj%%5=1%`Fc))Z#EY*)#itwLHAcHtwn=jZuvzYio$s; zQO)=~m{f8!jm6>jJ7u72wKo(|+0^I`#Wwo8o(R#+TH84b8d;)9i6{l8?tHfjXC&^^$`qCo`ZU(fs;g!kCE<05xp?s-?!Ew-XwBBRg;4L#%K%s`#^ zC5EFn?i%Jcs`B|viF`dL6`-qFHS|zdF6L250wFbZkXj5n3pDG*cogmQ(&qONBif;_ z-vBYylVsOfH*?>Iy!0Rcn3`^`b!(J?1KLIQh9zPlTtce5wao=!<7PLb+Qk&f>}&0m zoGMf3UJyYQIbpAOrl|4#Sa^S2OK>!;yASn;QPhRs_c;&;XtYx5awtvQ2t$0 zjK!=#pieA-z8<~Q^Xva*aC=v4lxa?6H%u)2}6ZvZf z$BGuRz)2okuXT81)=$?Qdk?n0GH~apYT$>zY?NPj%x*px$)E(W3BD=pL=FPDT8v1m zpD>reUl+D;%&nSSgWSDW&Lt}lomJYTRnXWu@Oq|=S{7uEi@JlPHnkJ$M8p`?)A85W z(YO%mix>1L%5=hu5bN&Y&c=fo`>Ga9Iasc)18@Nz@^d_1C5}tl=A)7yXw@ZSW)~HK z7i`^3!OCh)g)3+FKob0bJ-h$Lcf#f-)DxG410K3g%MyE_lAQB+X@G{(nkCl;j~Wyn zXQN_xd^}*dH)qYsdb@$pFU33c*`Ui(*xh(ZtCZ%Fh~FUc? z#I}rsB~Y-c z{gyea=_rRg$Ms=Vlx1?h&40>ufxY2h_d=XPuG^{%6u&~_x7+jQ)?!c5$ZcHs_3bp- z14HBYabNXG=Hvxgb5Hf&EX8kG1(_3s`bN%opEsJWM5G`P^Qw3ruuf)(K#*!1`ZW!ZH zZi5Ai=`gy}paejiM*+vvNU*BnmvMzQRfly9G0m7;24%*yZd1anR;T0pvU{k5tc>CC z{z$NMw}Ym_dyc%Z`cj(K)cnfawgN9HZZvG`tOBk9WFtVD>R7H<;?F|`uL58`)@Mes z`WaxEvV}y9onpkblB!Xq@2TEg(fIIf(Lk7MT23MdtNEHl2kvgurlI_V--OJIoIbJc}R@}5=K_|WUO@6smkVre{5-S zMAmdKa8>oy&V*GCq8Dhw_Bx@N9tT)nywE{@4+VphmMSkbG8&=I*C`d1EtNlErTHrQbNzQE%DnIk!w^of!(u+|Y--&F7JQm?> zH(>GZ-ZLmU4O3IF6CF*d7EXK=q59L^@z1W0dyG)%;GIb-{d>YaBpp^S!jSPT1vm{J zc*(ehHK|-e!y@BGL@KQH%PeECN!2jrVfgrEM#~cOMdw5mh8q+mjUHG|7;#S1Wsm5e zk6@Gl0JJ`mWeuqT{Gk*Fyk4j|qaD0OGJN%1XXe$cesMt(@&G3!tHED(!>~@n~#4KwmK7lovGjTk9u@6zAMC3!=V{E?p)r zfTa6_09#K}qf^~wB!ql;tyAEXydg;y%c(g~!j#X@7JL4zr{9)Q6E4qr?+EELa0Ai4 z;RK@?7sI*a(U$q;=WkTj?pm3*fH}q$phNlr`pQ9nPecwihTg^3eoO^YqN>0_xY7vN zTQ_1!soz+uIrL=B-Ov1d~!lsCtw5m*>_F^?qGmM)k|b_JhbmJV{vJfEUQ;8r=f6H+vM z{4<~Q*&K|4_rc%jI5=~n#BFXb^k&acm75s&-a~5ijE}&~f8YQ^+|evzK|xn%hC%=N z)S5VH8bdk{Yem?xEBkJ+)7*U9KEJtmqChYsZ7JCyImmLhvL3NC9$`D-&u>=ZGlO~o z|5P|x{86)tDltumx`jJ|?Hr*=Z7N5up*5PYJBKFYRZhydfXwh0A_kvdqqZd?QomqW`hIt@gpSk{Y(i`vZ3n0VJe{D z^J5NpYC_w~%9^Grur#cD-|k3PF}wfzJ;4cXBK#U9Z}{<+ugf38^yQ1G?(y4cOdO327>&J)Vn9tdaL$}hCKV?UG5w# zWkO<+Ug{VwJaiWFf7+tBIHW4BDdP6g%wK9@f)m55x`yi>V&f*!w+0GfR@ID=8(v37 z3IfRoAnLzvAnoQYhbi%eXZJPPeJ`wkd*EF?pWtiJlap1H2}d# z6#alerfSZt`o!K_I9(0J{NVF7|HguEDQE)3qGW;=5$)l42*P3?4cmVv7+LIV%jaT@F687^yxOa6WYd4rC=8zla^^PKgZ;y9+m^W5RI zRfYNQq|ixl~gHUZgxsRrFAc{%U5GpyQ*{0i5>ZY{Bndl znBGVK;&?F}FRflmiR|C84`GWBTM75Sx(PM`uk3ysjG%6xUR=31L%ec&Hw-|fac|l9 zBI|e9@L04c>%AiqZSG~bC3`@O4N=Q!>27rQ?Rf7LJ^1p^^k+XU4Y~+GSPe!1THvz! z@OX%m@8iD!n=J!n`BPF~N}uf_`QjtVDytlw^GYQ^BknbdLR2vdiu!7!POY<+>i>94 z%~TB&X}4#Z32}C}@pOUyGxK3{Hoz#RUj_L9-gf5qx2YvQfX9=a``PrH+Eio#TrY4r z!nhutCXJMya>~*cJM1W3*@6p^Lu77Igsv9Bw7Kr}3p}uCc_xN+-9V$dhRU@4V2zWJ znq2Y&iW+-uh_utX1xg=i`FA2DYH{t1^SOrl>pP`@I6B2jhx}mT9jKAK z4D$6=0)`6`&Uc2vSQpY5t_zK8J0GRn7arcC8V7jtwzy7GVWPFf-acMMOt4~@laZCyU zb83QX080evV2&rF_VthAp^j`g-Aq^1}x!YBrXjiwn5)Dr?!Z^oM;0lk-%f>(nsT?T>suW$N)8ZY;IO!hXE7 zU3I*v;nWu$of!=Y3M*#73Y0MbPaB)qh^vHC@lV9RN zP$TRJZV5eTM)EurQ4o8O+YNi*fn=of$U3miSyj%S>R=;uRL-W2sWQuxly;2VadEM( zk%LFZK)yLO=fk$-M93HitB|+1Xj+(!6%XW;G^&Pj8r`sMqf%O{?>*uFW9%HFG*JR{ zS+;H4wyiGPt}feu*|u%lwyiGPw)O62&Y8t5-ZJ;O%8ZDwSB@{eg_;9E&6$pVhAf1I znx?d}jEKJ8B%KR;njR!%^8NmOcQhllP z^9BCv2g+M9Cr{25b`ZlMAi=tt*tJuZqBa6BllI0B&7S>UK{iWU5Fp^<+BsC1*;7lO zJrC`-SOEyt${Q>3!7|>A`sT1$#)cNCUDJJ@8{(?&X6i4OlyNMtqZSS|w}o~67&PRw zbjm5t)HfBDZtGD$ctv4#1 zOUs!`+pnBxaiY_Qb6K>wjd06wDM{~)QAP@QcIwPRq$~ZRkIgU(JGzBJ#(g8;-FVKn z*i-2k2u~uND=_LNOhn{;oE;_6dI95KUuRM+&}*wmXM6vu^A$SM7>LXhq6g%1*a(#) zCVr26AfH}6a+}oKK1kH8;Dx*^VWf~gXejNZ-`(n$%Zkmhl}nl+&9cj;oVmByTwX>g z8%eh3^T=El|HUavA)?(fX!VTGlw46=NNA_a8~K+5QDB-adEJFcI(7tqYt}TG*8pWd z9^+=AM%p*RwtBjvQULPSVGEV>HonTO%2Cw+-`1D8HaA4vImjlZAsK7WTx0iA-MQ-<~H-GKbNPuT!qwHyCCx#w+P_9;dh)bTM6hoKuXq&c-VC&71!FY;w5W z_jIdB(TBn%)#h>6e>985b_?eXS1Rw4-}@G}3AEMV8W7 zcP2l5YfJ-$1{6kt73fq=2jjVkfZ`7Cg8eRsujjdN?=D*jmOuQnR6xWp*7~40B%;=` zwwC+YZU>2QHO2Llu28Md03RQnj&}GWC7YDz??+xnKdwzaQnlhEM8XZ0y)vs=C2|0p zF?2Oa``qL{A1C+_rF%B>{8ey2B+T?L<9Q$hGGyQ8QT}ilyI0Z_6n6*wC66!KRQbv_ z+EP4ga0%Wc>#WWSh-S`-p#9{Tp29MoU2?>@OoYO)&nf2X%)` z6$_&L249&isI)9zLK<7oH5kq5ryf{O{h$sQ@}E|QI%P>B{xm9EjM;$bN@8@Uy=btC zQag#eeb9oKin`gT@wMzB$kq|9I}1UvOmvR0Py~2?wYyB{vD_C6C+vZT@~{#!*67!o zb=&XLzT_nh(uzm&tW8})M3-}-5fLA|Vl#s51II&Am|}wR?tjgL&sOw43PVCSmeN2E zbH(_D5UlBxzN;8V0bHE2FDId`>-@IGcv0ixtmTp?o`A+x_*gtEB~^oKP+R zp29nWnY@89a5aqQz;IIpu#ZuB(4(*(eSVrOvj-}s@PIQoZHCK7>C50Kkq*4bs*L7P z=Gxo2KV4*-?W0LVgsR&XvPe`Zj2Km9&#-E5!w2`UE|x7dU8^EOtf(F8hDp*C)}m|_ zjO5mpFmX_)WN8ucthCTe^R1Fp&rCXi4LEkypW;66EPBQkl{~cI3SpFs-BcC=|Gtyl zwBF2Y``#CMW4G_Ud0LSzEL7+V@JPjsNDqB z!}TmplZP>u>DXjDIapI_m$}!oF{U6-kMIS6?hk^`%IO$47&SI$aJf*rGDAxo$_;2B zI?V+sNC(;%W3gP4tgM|@PL}J1*CC0!d^S#DZm42R|HT4hO1T~8m{J<33ca8}{lDz1 zf^}r3_Bf)}Ic|p4(D5A3(%bGt0SbN|={%p5tvwyykUeYSc3k??h4c+hqc6#hm-D3R zeUmW4S%_oFy6BUVBYw2Cs5eRPw$f;-M9pR3?Rmn^bV1wh>W^)z5aL7TQG3;MLd(39 z9{IP5FXi@nO~O!yYXjIn14Fy!1fLn>(+_9BI0C_CPB2=cuWrc$Fz_&#dJcjzaQO!P zb$ca^N$G*T%=(3^<{2AM`*1M*&<9EieWZ?$W1Fjg6%kUjpSQChGGFi9P;a4%^gh*7 z(8;@=NA^xX*$V5A6J>*iR0d@As%LSy2{GQYbAt^l+tVOPOixnaBa3c97SYVj$?#B# zXWpWiDcr{{)0oLv-=JV43@_kb+09_PMxXE~4;YNL^V`9*FcQQR-xCsuqyOGP_-(=N z*Ys^{05YhhfA1&OI#$5;#Tyg$tvmik#y4+T$wVPID$M`~`&s!SvyicaB=-+i@D~sa z&H=sS6lIs?UeyI1LZ(fpfv>o>A`X`T30yuZrldof^oBu zO}d5`uRwg8WLtYO>f^S(bUtM?>gRpZj$Fxew%yesy1O-IErpY?YWlwdy2icz|1f24Up*MO`Lh7)jkKE^QI#d zuEDxbIQdQ7?nUkQC_rZxN>8Wl*2*i_2tmO}Vf(I(AC+32W4TlNgg1+Fo$numV9lX_ zS6Hl^vM;W}NY5e!m!YP(AUbr>7wj-ma)7w}#j$1anj$lns?|pUqGBBG{jb2(*mNgw zwxpnuWZ7tpdryH6%t;1QRekI)Q-!JRvGBYxC0Ry)u65k_v9cgkDPYuREA^`C10zcJ zO%h?u)2`pI!TO^1$>aS!=j13cx`W(C4hpmBDvxEX4 zHOp(D0D%Yjq8Kkgw31rL{*b|AuSp*Mm1^k>xV_IMPRS3ZLOLeKj%8db$JUE24^6Uy z)JywMn4bqj3lVNgDC-SJel(;cUo=4mCtRAwrFufaJP6ZqK4Sq zFh+`)b24LxyqreAG;?%xmf5`D z5#=^Eu`mSMxj_Az6?e#jFZ@H1uK#c8agOhHc1la*+}@GemW01ihKyx9@}e2u4G7g) z8(BvHSQAhfN7zCHh0kE*QgrdU%aN&i7IvQ>H+oKOdh^UJmnqoxQbm%(>20~zGOX- z*`E_vcEfx&Xji0k(38l?16Cr!#aj$qUqUD65lGTHvVO{4=V?f9fk;k;6_3>pkLr#G_)3rr$2N&}EL`MhP~HYyfI+s0=u8xrLt}3RR|f7`DfiDEKX4X@#Tn-=adC!@;u!p~9qai`bAN5*;((D{4;TR+ zaTpRt#LBg%V(4eBp5O8Z;nk?iOW(ckau?C=R|;P%A$v_U5_Xy z_Je#4(3*PX0f1B53I(XD^c4EV8_SD`G*#Li-1yJRI(kIpPDsg`D##u`#l9Xfb-YM2 zdXj8VVwz3!P%>!``D^2%+Oc&&*X`cdY~3_RGbsh8+)IyBF1}^=vpvmLWWeh=v9UF1a`xJ&*3D2;(GUDWA*0|Ck>Ys`8^75hzHv!@6UjH&!u1xL9E3GqlS^Ht9gW@({e#!k!Es}*%ZbxCkbJtMsZ zRfL~wPv*GthiSz45rmu;?{8KM_$@byaQh35lnzf3Db^N?K=$s_r1o7lbY_aqm()FX zflF4};>+#?8HL&|U!84ZB+9Db#)I6@S9lY$xZ}&$)!11sZL#@-6x-v%dwOy^o#5im z4TqCWK%j%Nt*-=xc8#q)K8A{T<~*L{nt2f`Gu$pjAf2w~^@;m`-M){_EoMFbPk;Aw zJ4EF&Bjlgtsjh#9b(_)#&3aqQjkl$&1L4Qh<1Xa%Ln1uf3ygLF6fu*oiNt*OVm#!u z%|`Hb!MCb-6&N}_sZ|aQhVqno^wdUaFcf_4HU?nzNl-?-+T>KAaa88hi9_VM2)?N+ z?Z*TA`cOV10qxM+#4m{gI2Svw1T8l~QZ0`ZXYsUuB$UE!*;(d$-tX-cB-bA_#PvTi zq07eWh@TlQXYK;>#(Cq%^QQL}+IeSb4AMjK zj`O-DB6G0Q6~+}K;|hN~W{)NtMr12Ckp!-N6M?;V=X>s!5vVx2K_R!GH#NP{{ZmpHY}>P^BFL|jp47UL>q7se=0{4~VSpv&nW!kk>O>`-5xJfI2@FVGqj z^1Wkq&o$so}NPazi&T}?L1GPK%}SXJ}yFQj~eToa3mwYheV=5j$Z z4av9a1dg3=jd_of11IC+froX~@75^PzHya`!;IH2++Gz0EpxawT@1xBqusI)adNS9|Ig`v&rEP}akBh>&rGy}t0r4xa=ktoZMj)!^eIM06m{A%yE<+hx7*7nr(-1gjl zZoJ}9c+u<0TjB<@iva_>pC0XlL;{(vxO#vA3lR}wB8^AQ3>QPXx(9xljheIgw|5F7 zJ0$oao9Yo0y?STijeqBs#rlJ)@?`_@0e}dAkqLy6iIDnX!C-#F!X40o#{>8ZIDlLk z{9!;49EZ#k#koG)MXs;5Z`0oADE+~wVfK(QFpl2v5#mFIbqfrU@bVFy+QRy8G{Azg zfjXg>&<<`M4X8DTueP^y#M?W1y1Uzjm^c}Nt8&0-A^Tx3>=5Sz+J$xbi8=fY;6d4h zn8x#F+v_ucyj~RB1l{z4Yq~JU(Lvfdxr7Ih+BbcIA-5n7VA>7v@~f&L=3PSjf8$qv zkhp;SuHpT|qE2sJ{KS7{z(RfzAOZ%U(pjNyKtncxZ3^U({7VCI(z@DsA%Vc!-o?SV zJBV)%g>#9@QO7@W@4B3jgoL$mfjaH)>Rz_`YZWcrIT<+1m+CM&{7O1@%{<#<=s+NX z`nR|1{Z=R;T|@kD+qT0#=O%atk@X$=`uyq9>`XqZpm7l`?0mSEM?n7ri7=0Mg1_Tt z5DpObAVC5G2fu*AVSx_dTTg#d^ykK~A2uf*rvSUc{&}o}*oNM_U}Qj6upNFzpB({w z#6a#Eh*JK$efYmI^`0I;9E$b4{W!*uAtt{`-#c&(-$A#CyXY72OyE1#agab?&tKnW zzKo2xU|SQXgdew$$N!R8li8KbewXfd1+cM$Is4<1;t=~MrVzoP1dk!11kfSCzT7eB zk)G;k{C|UKhHR06_60|FZWsMvUcN5Bw0<(-)%*QU7lpQ>FhC67B@fMoe2LzE!cKp+ z&ih1ve!+fdr+)t&{_4aBh9xc8b57a+C*Z;d3g-ZRNVcs14SnnXUW9*A`~NboAU#-^ zuMl%6BCh> z{BHt7u=jHUgm-5b&+awy>pE}?an_HK8WEDz#`g~vV;>OE(FM%I0K^V#L|Pu<-k7ss zBnQ&%E)Il)^8oVAE3yCQ3kXmvl*W|-B@GyugY`Gdw=f@&-L>ERlDG7CjIY|5?IWYd zT*w#v`#aE9tD?eq-`5wA-I-wgsQ}IoqX%Kk8)i3U*EcK-Q2X{TI5_YYLEpaLGs265 zYfs+K?nU=*`tRPZ20YjSJg^DlENOq?K7#B1bsGDks(v;v>H(`9Z|He-wr^A|KEdi6 z7Nb^Gljy4MT!}&NCAscSq6K%7c461^=SM3rY2|Z>+a}^K?i5*0MGnUm;_U{30|HQGPf)LZ?IksUy94_x!Mze z2FXHE1$wQ(tT#zU!3~A(aUQgCSvUy~vEi^^{_{uO zQ@>8LheBqRWJz#V_|cpYSGqp9pH~IeIMf_b;Q`Wi?~gzTi1yovBm6mIZXpk#%(Xru zF)X8Eqi^2U+N_C;=xH#I&9V@)uzt?nWXy2rs1!h9SP}dqDVwo^seYUjd_*b zFJ{ZTN>#n{0f?cO!Q{9IV@a4d9ljp@m<5RqasQm6D2G@S=63-Ct;Gz375cVjgQt>V zvts$-0dz~N+a&s-j-IA6;;vJhovfFoYiorf9LwY$<(zwo#1W_C;FGwRcertPe%7$k zoh_Orr){w3 zQuY5dh(r_<`n*2sj|pV??Hb(Q1CsUt{y7A;hGOTpw~#evIcBaf_HZxrqTD?tv$_&C z6o?6b_ZGh7(P-HnyWdZjq5ae91T6Ztxk4(Yu8oVAtAQbMd(Z9R=;Wmve-VkUQ{`5B z_C3P8CJx~`Y9M>=XzwOZWOiaHxoZr5)ac19;Fh8H5Bqj$Si)ul-^Ne5&4QL+uze2f zRTQiTe)X-k>Fin$kHO+$QO@B2WqK?} z!$G)5N9PntYqX*{9-QHZT;o%}&pmK{{d~1STJEVM@};u~kerFlH3IRG5sXfyqv?qn z<3uERr;m5d?qxgjKkI=?sPo|7{2Ie)h}vW5=W8$HAHLALeF zaSE3M!fKpy#+DJGD=_#c36tzeWuU4WAYv+xsCN2KNz^iE!j+q| zx^{@leMx)rEb)#h20m!ZCqb`iXps|8(}4eh#>+_M%02NN~Ge)j;fkjj|AqeolUx~`cwHd#UpkNp1qa!6UUeJhhrtj*47LUgfMkhj^T=buC{B?1rKLIN`>eDG8um%|oZ{zYvW)cd{M8cR;b>F^5-y zH-~EJu1yKQ_HsVC2sfTTiOK$PkMiKLJZ&vb;Z-w8`1=T`dJpKtvD!9w2xZ}cU0LU{ z!u!J3WaDX#L16@p^~;6WsW0lLM)d_B@-=8=6c5fBCOgqX1Vij<3r>uyhULrmVM>g#oWh!hSD2b5nz+)lWMbx3f@6buz z?!Oy0D~bx>Xj1j3nhZxF44sSA)-f&|%Cg{(wa>=+UXAyd1E(ri^QEw$Am$!``q_8s zAXnnrt_`>Vw!AINnDTZZD9G<0uJ>#@ye&tgm4{QCV@-tuikDg@UP*tagWsbdtpZ;- z7W(y%a%e)ld|KgKpEV^U;~eOnqQ;`IIQb88y^jl@iL^C?J7#3+)^NAViigS6Zs#WF zP!5OvFnajso;|GDh--tmGFoT`-nug%NB6957HDZDQ0$<0DXa%Zwsg$H<|dQR@R+0L z@rQ4g2vu}?a&%=`O}a;_l|$9U|HD<#b&%x>NgF6-Cy=j%96kRzaj4fci!YJzI+j7S zdTyf^Csh&Gz1SR@Hkwk}4rvj#>Oj#F!A4+y1X0Sulh0pdWlkbCA&BKy2UUI#$QVjk zzdSvZvv;6pZ)zt4`P;^zC; z)vlA~nXpQE8~)_6FRd#Gh;Se4*#@S6>vD^@`5F)&;w+6IP0?Oo?@hU#1h(3aVD2o< zQCoef%&_ial*wx>e_p~Xy;2(~NjP#$Q5B%T1Uum_;l`4aXp>(RPWE%~hZNSKb!`CdwC;Wm=iu8z)9^^0t&~ZhdiB0osUqt!{oiW z2TpzN=Xo%~S(4UQ&^J&e7083i##8;3A-{Ay&2@Ebywa!!Hd{jVqguLDbOkq{0g~E% zaS(c>pc;hrz01ht+#17}N+?5QcDYQl6%t+_TkwQ1`}b;dMo+iA#<-;;C$72A*bnF> zSK>1KmAdbgk<+INar1PWq3168v{#0OT_!5#E3x3J;+rHWy=lJio>ha>`V-cXmAB^V zU^4l{UZDCjCiqD6k4^hRVrh<>p4_bgAle)65x*WS9QTs#zF|@$hRjFgC`<>s{ZNX) zhw=}gA99m$;z&Lz(dT<+jU$V$m}x1ISYwcs2w%-ZYt6SvPLnr>>-7iWH!wom`hMI) zIerCOw9b8|vfgGZFHUOr(L6X`T1ZACjlQ8&0|MnV`CfqS%-?+I&v*rNJt}(qRiTh` zcSabPP+BD~=}s>yK^}Ec@!eNBVF|emo>#qGuG=%}SeSL$De!*vHEB>`hvXUkB_H`3 z74d(i`2X}f&rs>vg<)SI3!5x%iHhm5Ik7beHq-zERU+9E#!OLfZ#Jjq3cOX?7m}C< zrl1_{xfmZZ=YO)2n7k`f_EOaR+-<3Jl_|t^rQ8)viXxdyWaPMT4yf5QXnzP#qo*QS z+#u1D3)8xauAA7b6#7U;<#SK$BXw7*xXxR1x~;fpz~Uyvp=sL+CJkrN^wXWDDD=3H ztYughEr_LXs=Ac)zPNmAk9g4c-&arsWs=UbDR9 z3E*vQ1?AnV7wzL&ED;Js@kv5Uky;;GDG2$h-0ZCF-0XB~r_);|WeWAGKWJikN;+E> zNJIgNy5N$S>bH6C$)0bM5Z1j0{l>eQHjs_hswx+xfRXqZz82Uh;j+rAWQ`Ebe( z>L4EvTvb}}f$3(c8hOaXPI4&9{8%U8+jd)OpOI@yp-Z(8TIdLx;`4v~ice(dM^U_1 zgZoTn{5bcHx#S-^V)u;JaU5l&RbjB6|EQsUP{WkE1d09X;>m60)=$eJ@;y*L+ zDg2ed+y3q>ho0QoyFXWA08jHU0D*aa1<YFt-zD$O-+DKXP`{%MgdGp-tfOmH?C z=2;UG=_h95(yp^2XbSQ11-FwbdP(abBjjFB!&F8*#QE^gdXT`n%c1jJSiF}t!9O=C zrv7huQ#7f!*(dSH<8*eQK5iev<9whx#KUcms`u>KuJg#N3G0d^;M%2~w88LZbm=Ih zn*zqmdYZQj-qb9T5v=vzKt8(EgLBuR3yPDQqk8pPv|Q7s+iIPxWgr3FiGG0SBx!~~ zSFii8(_V#y+c{ciwdvueYmCqq5{74Hy96#cbA#}6am+UBuN$5)e;l%o_0Xaw?w$I? zwvd#~#K72^4_^&NZF0hT)CIcu`j;c|a3M~MatUC4O z<|OHk`BwkyAKI! zUyCB5#i?LLDd6hRC}MB0W{NK&Th+L-#&P>G$;tObxiR8UPRJfqPrg)`VwZ)_XSBim z3%4|9r6NdYWIy63exL5)EIpQbdn0r!Q;jf}J{s zpDpn_kT7LM50hymP*faVhk6klH+Ud*sGYUGv+c9KVbUL3qr8|)ze!o3wQK6aec^jN zx$&YV(RqlWVA}-L@xg(vvtPEj19PMSMW!@2XcqUe+Breztpc%LaXG^1f@9BYcy#S~ z8SF|q!PfvAUnz6RX~YWbNqxr=GA?G;wyA&uNs!V4WXg`l`&Pc+ol3VJ8G5QM-;mUW z*cc5J0^wAcT%>~2ZMqgM#ZL6$JrIWa;&2;v0n6o9Ri`C%qi$SKdhRyl9+L3h(H2_W zqmVUB7KBRet^tuu5lFH^o%B4#)nDCz{r9CCxFalx*}5zlJR<;cwTiVjDnw{(_u6Ah zi@p7?_j)Q%nHyEIpG^mig`tvkys-qd$1bfem8h(}>toDwe)-Z1gIE$Su=h2#v&bIO zk|HFgC*phJrxir2i{{ExeJ)wPB9JGuM(S9b5)b9mkQ~lMRUSv zk;uru)xYHC)3qQ;1P$N2E}&?9hO5lbTvkS*x7=}d9@H+wnRcP`tolTjc1@z9j0=67 z+vF2aE=EvBpiNr|?D^EqZVnd;{RCQ4j zZbolsygtRc!U3nmaGe;+?ywr9@F0%qAr8~{!HQ&N6IVIxQc=#$SIhv zKPu#&IMeo7UR(&rNOUIm$y?`x`nRkwy{^L~Zx}=hv~9Nub{%F_)d8cgl}Ta1c-Wsy z1-fQooQjGD@6j$c(Qm6-d@tGa9U$%T91pm}g!Ik1_m}oy(X*R>xn6352*eq&5DHE| zngTN>j6#CtFPf^9PNHPyuy=XjJI7aSO7`GRCXM4o8aXz=>A*&#P>!f-{{sMW)S@Pq zcIt(Vah`OLH`o!;WSB?Um=R)kvS0+-TiZl;q{x zD-HKDp?1f>u3Iq7gU)5+yA)w#1CC+kEO$htO}WpTXDK-+F5(dFlw8!Lbg6oWl;Nxw zn@X@s1<1bHBJNg5QW(a>Vx~8-+3c-=pk8H~gw(pc)2zK9BeE5&prY$V~CQu6X z`DZZ9Q)n8_#Yif!Zi_{pr>Ctg(n{mESID`=Ougi}FSr&8_&ndA!o~&CzH7y?9#d~1 zKFT7VtCIQ|6N(eak!kFSwI;-bzG8^J-zO@pjBW|aJ6k9A*fUW`bWVK@U#e98qB(;T znI;~y^pie(+8@h$E#t6U#w&0j1sbc^c&^UDyu@pCeY2;?D7>H@2@D@pmuat9&D)YV zlJ88ol?iGJa7GL#dRP`jx_0i=WmRPg(}e;Ll zcbh}O(yIo?Ss=&pob|_=S6t_He-_sohO)gVd#9QSr4d#AK!r$yoVI&Ytz4fmw2C7M zWI+?0LH0dSzvB^ZZuFcqNwz$ z=~0^|c=4rkQo3z2a%A8$wu*?Fr$pX6oyW&~S=S(9Gkq+n=u3|JrqR4|Oh6&LZdm$J zc(X4wC+(G88Z_L*Hk7Y|9F+q&F?iNUmqTyY9{n z2izxe)BmieMYyRs{;ksTcnL4x^Zhu#jPfxqSSE6Qu45)`l9mPHWBbRN_`wRuqd@qx zCQ&I#r96OKpl~pW?>RK|1HY9oR+%%PkC-{uEJP+c%BRL2=1jb1Dl~g^z=qv;f7ujd z1Ve>`D&y6-4ByAT6W4$7=L?nU4eVkvmc*=h0iM49R5vU={Cz`u!7|0Uq{E3~(_YTnuZ zfFbjwKnb;V=jm4*7}4i6-^`Dbtdf9$F&$9t{JS5!JHzeYHO|jq&0_FLJ^W$$^x3ze z{35fjbB1+w!l=|-*OVs$(}{AzO1BaJ6isYAgMyM+2koY;6g#-9u~!ezGeLvrD~y9# z=NXf!tbMUPlQPPV%~-^e@J3o#IxZ<6W+P_cb+sbSuR)7byXETGVau48O2t{GFkGG%$W~QXszpR)U&0njGSO(hY{F~}$+UfsXL|b$i+DSE-U9F21 zsE+7X@Nu{BOFfT`>KG``+rOwMu$L7)d^jsq^5+KLlYNAt{`V_?qr;MPcoS_Vj&WE| zoggQmITA--doj^6So zk$Bq6%F7<5Q>!{kkh^fu%$0$&Jwe9Th8Ve~_TfNDCZn$J9n#e1$Y^1r67{@czlivqc}6W{+55sQMxXN~eh$ zz2YsZ5KKcJGBj<@Z}Gsz+oVo*IL8DjM21jTZJidd+i6FFqg11oyI(sxt@7)F7F(Sx zx24RtLHYJ{FTRM#Vb1qS%l2w2o zwrZ1VsGb;N_vA^RMT5?h;v0adeDbxEIkzvX0>(iS(+vc0d!?eUsX z&b-YI)$>3JkA4Yk8ZP__|mnee7uN>v$*%)<5w?qR_=ZzYCS z`y(+F$bC;-&|$F;LmvC$NGvJ)iz!;y(Lfk@;jwkYq@?;%LwoS>cVS|o?cPH>^qD71 zsxZBw{P^&IBM)T>rkh6JXJBa>bVHe;qBxr-wZp^4!GUZ^Zn_iS(&|~T`U?vRVbi58 zkl-*K^Q74lisnFUc5!BOb27Z-9qPc&aCgPZ(-1zKHZwc{yX73vv}s7&QZIR!+s?Y~ z>ygORe&A5xZcPgezY112GrnbPSX&4Y@0E?N;r39X_-x9(cfQ$V8bz5Ld+d;mIWoEz=5?a2Qy94LgyG=bICmc&jF@Cp?0^9&bhRf}K73+n9Ae-z+>3{FFb~oi~WCq7#1RSZZ78kIsI=uhJ%}x`TrY_@c>s< zwcg}dB+^?%kUE8vl5KNI8)lmB?`H~{o+qLv*IR^IBqrLHfsukmfk8ZL^uCtEfR?d#4s?hzW}SxuXwNPIB>vYJTmg*?JeAYdx3;X!2;Zu*dGz^ z5QHhTupoCwk+Od-0rT2J`5Tr^d8t-1XvRk1R;QAVGW6~7s$YBq&>Q43Obfu-}QODBnH-Rx=b%>>GE{ z*&N%Nt-2&nMd8+VffQWklZBs^g8~&;*R5}%AHphp#Dg%zS4-ePf_#0R374m5cqZ|_ zdr$s`l^>HP>iI5*1r-DlaB@O&G7xaSJFucbc+}Y(NU1Nuyuqx2`4yZnFaZ@J5F9TA z8x%s2ai0|EyrDf6(BU~aJj|Q@n4m`Sf1DCD!T=Cn!K?$>`R;myIn~uGj`vTlgMmLh zlB^&S(A(o<9C z5d>;LU+CAO^B3m*x8cho^*810_eN?6HsI~}^b`Kg@5|7gYw#8kWJ;G2P95Bfsv0By zH&k25PgVo*0_@f4w@m{VbhJ_!`#jpLndz()>h8pz7q15RHG~IykQpg$xBA_d^Rt2z z3=f)JtYBX-k7AD9{>q5D-%`<@sC?IwoYeagm}xUmWZu>9?eBcv=~y zx=mlWKmE_@M_OZnq5)N~ixC2NLX?9K&Vr|Y+4KSFmv6L#Sqm@4gcXrC$k5}5l7AF~ zQtQc+9y(+h&geo|=p%Z9igN%R2;tnA&n@2^yx#0QP5)jwVs#ZB6efZnx9<&{nY#!x zuYweRv{uxnYp~P?i<5yQ4v+2H_AeS$EPKc zJ)v37<)@ANK~g0&{Vd7ZzAfL;LzPTkjdn4KD??_B)HC%SuQ;`D1`Xbg3^Br+o%^yX zRG+>5wQ;=)n4Fn1Z?_9DY}J=w@*$p_-M~&hDqem=oCf1wgF1UIbyBA7C?-rO0LtrM zU*LTnwgXpL{WUFv>E6H{d#2yszI{S=*dYpVW09KX&?6w`f4XUiEG7=zHbFCQ@NlHX z7n+*>V_hCoHn-n-!R{q0b@X@$?2&T(ta>!zb{RFBuu~3-wkpZ-aXwErReRO*vwehN z8?mIZd;)TjnC_LcT2A2oGyFB2VR#q_01W+CPv*8J&v=)f6?1l+6j8ZYE$!6d%J?8t zZ+uM=H7}?7yDgwz&#zUT3V4?is8$ou;{o%qw|v-(%v=Z)tNeJblISsjx=O_3M-&?g zzjlG?tkJ`peDbt6v7;EsdQD_#RjV!)MJzr^g;nj%0^eLp-R)8Viuz5x^SmrRR|zO_ z5^ZKDp{TLo@!0;kmu+RZ902<_ZIMLy(dn_&258Cb%{?HT=ZXD0iQp)aOjMbPO1`1C zi?BGBz77}Y%B!Fq!S8J_n5obkA7C?kWM>!bwPwqC?)UJf?x`UTFC;p_>t`SV=#gLy zmZSj6qub!qjQMI}gXi{Wq?WTmpbk6)v8LD-qPn1CLAzde;Qt#_V)s^g?&z>F_L17! zldJah5-)fJS4So%`jORE@RsFXmyu3#JnSu^(JOVb3?Mz_aO=bWHJ_!&kYqd>)yi7%(W zz=!?je0s@VCps^tqHoj0obIU6OP|0T!IS!ayL=d`o31FQ!|H{KlgQ!w(V~c`{>?ka z2~6MXwV|2OmmT&$ft5mhN~EK^&HPVofXM>D^MSX+>Jv(@ox5^>KhfR$Ck$<5C$#y} z$+F}5p~xOBm;_>Vs$06c_*t|@ zbV0^#k`G=}U9TkV1;<@)g~k?5zzdnDI$% z6=}ll9N3Q!8;Ad1KOqj)_+NDNtC|SCSRTbDFa{ZNwBt-uJEw4Gn?1!TKMqQ>0=`*ljLMB4hLgyJ!XGJ=Oub*HU zdGV64l+7ZF=%mp-FG@)4kCao-c^vSZSd!Kq*iP%nUlXyLN!0MF)pL z1_})BP)eb=ySufxOR?fw+}&N5-}`Pho9rgL$<56<=YEgm`Qv_W?l#yT) zHt)1{aMtf>bpcz!rVKbo;lnFA*d%jkHjY+dCF(tePRZO1-2+#*@u|W4>o`rHeKfAJ z2|^vCNLF=dva2UiufA*ni^ha8vcL=t#!CV{$$6>##Vv7B1TSH{OijhVvbuBEaDD-r z7d+Q<5W~i2R(eMF6F+5@#k#_@+dondha3qmEbsayPw{h;5`MZ`KK4b4KUbXPS;MCt z5}@QfSr+S5c$ayxcgp#~-@~QKJ3sjA{G_=c_PpGCR{aAd7{cdmgKM2vYzBADg;v#i z)HeeHc2DX9QJjP~wfcE8H7msrc3)vINKnx!`ju3MkK5mO%IU||S*CX8KHl1nZWPw* zm4VFV32Wn6`JgxCU!NsERG50-HQjP6{CP6po0u6961 ztWFlhCL(>$mrRC?ki_zN_r9WB zy`5L)X*h;vif1x^=+FgVEuzCW|GCgt^C@Wg!ou;!qzd3L~!9tKZk$uVA^zp%-y zgyZ*35&Lk>=K{hjuz698fmq|%0}qKev|nnbpdEhvi8^ zar$ikGL|u-8zt4xP<>@?>)A%9cQ7#7P6y$-V9doiT<}~w^8v>5R6jMxytr<^*Z<_g ztI=RJ5af|7Z-yg_M?!03td}6c--l;7lBBzK(^ndW^k9(Mtn*@qRV^D zzZ6jFsJ=oo_4<9mWFGSDhNfdHmu(Ybl@BOYyOC9?A!0G|73Lq?M(NNdF@8x)`Im_DQygbq}6rL@z zy)J{{+$GW%pKH<_fGh?KG{r~L}J@qC2wq_B78@KoaB1zF~wz{3oRL* zQpjCrzA#kE*P4r}w$8jP-AaaGawn2l-Hr?;Y`t&;nAOb7LKxI zoFr#^{HuhHC=Mkc5#rx5Nj01=&AckFS7wUCOwYr9d~rArexJNUzgCZ#R?G{19_Y?( z6R)zdyn#3W@s4t!OQ{ee9zarqzGgJ2V@+Wm-n|?H_=R&v`f}`CZ1rsLKyS-l{6}Ty z^V!CAv(DU>S|Cf=T^h={zj#*Zma>`*6?TG2Xiu40JujD%w_Z8nWTQt*BBb_@>tyNj`fZ+!!g*53MO7J>Vx7!z8T)iDKPqzklS zTV|)1iO%y|V&8YLGH0anB@;Elmtlo#rx{e;pAy2T%M)_u_a@?gbp3h|ER;_k@tw`& zbd@;G{H@DCwlv_bsYWyc{DjA;KxkNUE zGh(=B^k;^tCl==D+K?av+T9xNRDGV|(D-2}%_L_#IAB()(qQC*(`9f%^}x6ab+|Hl zm`da^SlyhWpxdD*)Hiv~nVYp$kn)+&943ZwH79~dS)YkuACJCRzUCRIo7lvphKZGW z8Dk<%Z^Y+n4errJmKqX5L@S>Y>~IPuCR5luZH7uo0@NK9wH?K>%}Bk~+_rK%Y#GR6 ztmY)4rrfmg8ys%xGi@?4 zm{s#{El|&}3QA9@PAOVOzxJIJVYH{ITZOPrOG? zzpgNUQT(%x6QJoRW_Qtsg9mfT0+Gwk!q^l%p>H-4zjnipcI{a{-zM?l+3PLDWtpD3 ze)&eF6>4=2F+{E6I@8l z{nT~W?Kv9R5FJ@8mLBrGCG4L!E5kSwiMX0ElknB&bd-^E9H_+M%AdkyM{1l$)`o~Q z7hllb<%{P$vnwEanUM0w(!}phm58mDD3hw|2xEet>#T!lLC&*Kvlh&j{9qf~P!^*+ zcyk9x-Qkqiyu1c@-P&egxzwZ@@!9a{``wKA95uDNK^&_1{H14C{1VWKj1u=PBjXwG zv`e_Tf}2kQtk1sqSeR`vrSv@0&E>E0lw#u{fOIqP5hxUW;%}s`RkTcYjMQbAfdZNh z_3LYX8Gikt&cr%d#ft~(!x3Ctr5eLVf<~}iKb;!h{gz{aaB~LGZpJaJR_JL-uG*Ir z8TCa>Yd@nUFPf*zlji!M@_N8G99nM0t{NxKn;LFrY1Q-o+;C()5=)^Uw~NM?q{Ogb zpNsyW05^+7bnZh_T{MXraw$w};y6I)?zehxxSY%as;_8w%kqxiTsJCmhv=HqpGPeU zO>+W|Y`r~{3AYqpN8A{iR;POBeUC|F7XwQ|ws`HSB%!oZ%t%JZTg3`)!zQs$=@t9u z9C6-ip_c#A}&KIyT*3L`4<%HGUkjKTNb5Nr1!KUBK}u&& z+h?>jP1z%~sRxkthbVvVkKkXQE1af|@u4|Y=JSale*1HLhs3;O?Eam0y znzY1o6d32#GYv^)2^=qrrffqU8qfw z+*2DLQapF`2Yy-6-ftdjsBOG`ecIwEJ|5BWrWJ37O|7Z}k6`tC7Q8pxXW#N%e9GNp zD+;YAenf^|*v@odhABU4+aau_Wet` ze~`ODXC2aB(XgIK_u!i8GEK%b^EVjNm>DS;>VUG5(41HR8P zshN&4eYpjy0v5cxnBww-nfg$-KeB>9%RZhI4S!CYTSTGkfZy2ocAcVnm*>adidkYp z=SQoH1`Izn^hn<|H*s6*-tz)w+eP@_FctF1Y&eY`aRq14Rgs>~VKm8G+rR&ntJ^A~dNop4O zc+dpk>W?q*aQk^akm*SI=)e1VHz!OJ$+U}#p zF};#vLD*l!dDyk3&qiiFm?~w>#?_cb)=#!kImPsQ$0+*?cRDb6WaWT|&CenCdutVf zmGqM}f79rsP(y{!S@GLLB*6}?_x`-d__G&m>|kAY?dgsFFWOvR(7}5P?ofsq^`x5Lok-ly?I(FL9S`C8-O`79%k zz@n(l|GiZ*-cUWt|S_eAoL0ex;s6$#eotF*?Q}3@<(psihko79lEc;MhEW8y?t| zlP~T?Grchor{Oo8vpOou+wBe4EcrC*2T(sgsY@MfNvs7 ze#7eHd*<5XW;&1y<-0BTh3IV<;GgL{dd1`5mhV|AxnHNSPG_l(&HZs4GPTkWkF1u@ zNc_nW(jz!7h#xOcRuofS*%6Ae7VAhDOrc_|ict5SRf3VqgNWDIkphFNvzXfvqjv7|14R zVC4V@uqmrbXs}8;T3Hzy*x3BD5LGjC2jJsnYiyzl*Z2Tbhub?mP7P#d1#^Hop%5-k z76>aB3z(Gy#0mjF>fstdd2=T?@SjBirQkM51mdy5#?hGxXlZMJG;@F(0Gs*2Zz zo4$2;t9~=I1b?VvMTxOCzgXzr)6RCufE~r=wQ)h z$CC+1!L{OB_(!{BFqtVR9pq6UL>&H1MGLYjLZ&qo%eDhd7yV}M;QQs(MSZ|gr0YoN zr2*cHn*3hG9!(c6fD@mBhHbfmmIGg=DO6hKGG*~ObS}T(|-uwqf;A;`gC^MC( zR3hpTE|%UGvgqI1gpFT>SXH&3ARz$kF$ql(W~^(m=tT}Hg1orPMOAn@6zw?g1@7j% z?vI#6xr{-s=>_3*U!Do|_lnBB%~Y4Qjd5A?o_x&AB2(AlO-r^fLS&tHdc5lEGy z;ErJ&4{%EVO!kBPo?qVz*C3QRTX+FQFucP1k?Ny#TR=xaS{@MxnQLdXR)Vl>RDUcg ztFhu_EOjP`R+E!TOo>AV#K}gOmqeyE{>+NZ6bx1(l@Qn~Bl-Dzw6!sKWbN)lX63Z2 zMgFXf@xnWvY-NJ|rH#DaLh(SIr%zw?jWas4gzK3bKZ#T=wp#r-<+zuXo&c#R};v8qSON0&TfNR^>sVkRhUB+K`>7!tXCE!;k$&hn#E=Y*`oIbS$Nd z@ENKtrTe_XG-EJ(k6?C_=AnEdLnAz$PM`|}MiB5W=Xu$;vuQVx z?xM`1UTONCpnWq;-qafzW8MBbQe7aGCG(>|bb|^x+Eh*+=uJ$chMh_Vsc>n z--c(6=Fdw9?# zxt`7%n`#OUE5w>k+yD82f}tROgTW0XP!b5oNyA< zW6eT{28i#&Qa8?@Cgu1IcB!dY#A2kTx_j6mF|bqIXC^@JD;hU#Eu<;+ouX-xgZOxr zf$g;P<{c9;`Sm4tlGQqLz5FR8+kT({+=2_jqB~WAZv4ppN*jZ)O5Dr^qkvd zQJcWss9p%aZf@?PEdKeQy`fsxH4k@?~1+dNm)P+ zf*})`b=mOnT(t)i{=ZG#J3yRSougGYgKYgn(`^r~7n@J67nZW`*oZVe z%fZ08BCQ>f94*tFfnJwE#d?xd;fAXg&VFfiRLUfpAcMz3EKd0UjGY70z#i#r{}?S! PPAHTIKu<5BBnkKr?6Sb! literal 0 HcmV?d00001 diff --git a/SPE/OPT/TP 5/Questions.synctex.gz b/SPE/OPT/TP 5/Questions.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..4e35be98ecc5a1f42b993f7f7094a7461f4e325c GIT binary patch literal 2493 zcmV;u2}1TCiwFP!000001EpG9Z(F$$e%G%^fIP&2ZIMF`FM3_{VIPX5*tFPUkq1SV zZ9%rAT5{^N=zrgj5_t~IIVaj|5g?I=^UVzBPQ|}`+bljUe|__h<SkC=SFUml)!6*`4@A#vj4r$3unH>PNtL%T0~dKZ5nmyIl(7b^57@IG=;d-Ttrz>}t2Z>widMD|gWOd_4XQt8Q17nEkht zM?O3sk{FOCf1TfLR=2Cg{BZ2xN~y`;H!FC2^6Q%qx3}mTGd1~V|M91E(am8td8^r& z$$$0aH+^aJ%zEP}xJw(Y(ZPfnITehdaA~cJ%uJUmvj$SpMO(3gH%3yI)^O0)D#7ZU zalxpb(+6iw5_$i9z9i~%tJhn{o-4g3>ZlmD9_7Kig*8N@II7u6(EC?sT0@mqRv1O3 z$eYRf$gP9Uu!$zjHqOS^ zsgq+EStDW9&IEf3yOZ2# z+eF5i9B|2z$$^bG-U@O_k3xPwNJgBs@KPdgtA42HvUCtw3f(zPsoq<9^vc)PWqQE1I7+L7 z!FVBGsn^;XTVPQc?_&_KNN85xk6adm+_^{shLnKaY7~ZErH}xv@sw)NN#Bv7h-;1c zjtmn@&`KEk2L6m$VHJm1SJoIki?if{^P}R}u`)q;o*126IWuN_>Ne=B0*1JA@NP_- z3&aDpKwiO7sVfe{(iRGX#GM7bh~rdoW2J?#FqT&di)qcQo5rhbGw_GfPSn3aI-zNd z)qmfiTUbM%DcQRNwr}*UvEKc1di1yJ9csL<~$XK6gG%X{R?)@Edei z!z}2muyZRdotJ`T)g}5mq}aUuyu?CI?ksC#>RPTX$*#uhjf$LT(WXp zTguRAoq&b3VAtVlU=F>*vxH%su#RIey#8$nGGM6{GK~d{(0o!dwJ=J}B=|4}!^&)x zCIQ2f5>Hk)3Pa0LO1K2>#bUu@E}=AxlonZn(d;oVc?^cIVvY$q(oY(~`dt+RzS z^ls|)O_k7$kU{Z#Q!k*zo$-vPW?|1QMr+uiZ0PBw^fB@bra;S2$1f$EHmLB?ROt({a>OMhfVr%)mV_O3oiSy^BKI}+OgSVYIPG*UiD!nCW42=;CE zwKzfVCQ{vi1L1+K#~Sdwf3jHwEH`nwT&nWYF>`ZBQP7xXOOaUMI3oR~6*D*5Z9pZkcFuwdCp`_So& z{{aRB^m7X7_x~%lTCu>W)6$P#+H>l(>mUfpyd#72A^o>cVaUKvdjr(*XvXKsTfCHL z^1t%CLuCJ-Uvq%4$;a*fFn|2=u$)bP+CFd6FAw<1TjJxvoBiTxwL3gN&L+PDJ%H%7 Hz9awuliB&+ literal 0 HcmV?d00001 diff --git a/SPE/OPT/TP 5/Questions.tex b/SPE/OPT/TP 5/Questions.tex new file mode 100644 index 0000000..cb39285 --- /dev/null +++ b/SPE/OPT/TP 5/Questions.tex @@ -0,0 +1,31 @@ +\documentclass[a4paper,10pt]{article} +%\documentclass[a4paper,10pt]{scrartcl} +\usepackage{mathtools} + +\usepackage[utf8]{inputenc} +\renewcommand{\thesection}{\Roman{section}} +\newcommand{\sectioni}[2]{\setcounter{section}{#1}\addtocounter{section}{-1}\section{#2}} +\newcommand{\subsectioni}[2]{\setcounter{subsection}{#1}\addtocounter{subsection}{-1}\subsection{#2}} +\title{Questions du TP 5} +\author{} +\date{} + +\pdfinfo{% + /Title () + /Author () + /Creator () + /Producer () + /Subject () + /Keywords () +} + +\begin{document} + \maketitle + \section{Graphes définis par listes d'adjacences} + \begin{enumerate} + \item Si le graphe n'est est orienté, au lieu d'ajouter \textbf{j} à \textbf{g.(i)} et \textbf{i} à \textbf{g.(j)}, on se contente d'ajouter j à g.(i). + \item De même, au lieu de retirer \textbf{j} de \textbf{g.(i)} et \textbf{i} de \textbf{g.(j)}, on se contente de retirer \textbf{j} de \textbf{g.(i)}. + \item Ici on a \textbf{ajoute\_sommet : int $\rightarrow$ int $\rightarrow$ graphe1 $\rightarrow$ graphe1}, or l'appel d'exemple est \textbf{ajoute\_sommet g}. On supposera que \textbf{ajoute\_sommet} est du type : \textbf{graphe1 $\rightarrow$ graphe1}. + \end{enumerate} + +\end{document} diff --git a/SPE/OPT/TP 5/main.ml b/SPE/OPT/TP 5/main.ml new file mode 100644 index 0000000..7edbcba --- /dev/null +++ b/SPE/OPT/TP 5/main.ml @@ -0,0 +1,95 @@ +type graphel = int list array;; + +let ajoute_arete i j (g:graphel) = + let rec ajoute k l = match l with + | [] -> [k] + | h::t when h=k -> h::(ajoute k t) + | h::t -> l in + g.(i) <- ajoute j g.(i); + g.(j) <- ajoute i g.(j);; + +let supprime_arete i j (g:graphel) = + let rec retire k l = match l with + | h::t when h=k -> t + | h::t -> h::(retire k t) + | _ -> l in + g.(i) <- retire j g.(i); + g.(j) <- retire i g.(j);; + +let ajoute_sommet (g:graphel) = + let n = Array.length g in + let g2 = Array.make (n+1) [] in + for i = 0 to n-1 do + g2.(i) <- g.(i) + done; + g2;; + +let supprime_sommet i (g:graphel) = + let n = Array.length g in + let g2 = Array.make (n-1) [] in + let rec parcours l = match l with + | [] -> [] + | h::t when h=i -> parcours t + | h::t when h h::(parcours t) + | h::t when h>i -> (h-1)::(parcours t) in + for j = 0 to n-2 do + if j < i then + g2.(j) <- parcours g.(j) + else + g2.(j) <- parcours g.(j+1) + done; + g2;; + +type graphem = int array array;; + +let ajoute_aretem i j (g:graphem) = + g.(i).(j) <- 1; + g.(j).(i) <- 1;; + +let supprime_aretem i j (g:graphem) = + g.(i).(j) <- 0; + g.(j).(i) <- 0;; + +let ajoute_sommetm (g:graphem) = + let n = Array.length g in + let g2 = Array.make_matrix n n 0 in + for i = 0 to n-1 do + for j = 0 to n-1 do + g2.(i).(j) <- g.(i).(j) + done + done; + g2;; + +let supprime_sommetm k (g:graphem) = + let n = Array.length g in + let g2 = Array.make_matrix (n-1) (n-1) 0 in + for i = 0 to n-2 do + for j = 0 to n-2 do + let a = if i < k then i else i+1 in + let b = if j < k then j else j+1 in + g2.(i).(j) <- g.(a).(b) + done + done; + g2;; + +let conversion_lm (g:graphel) = + let n = Array.length g in + let g2 = Array.make_matrix n n 0 in + for i = 0 to n-1 do + let ajoute j = ajoute_aretem i j g2 in + List.map ajoute g.(i) + done; + g2;; + +let conversion_ml (g:graphem) = + let n = Array.length g in + let g2 = Array.make n [] in + for i = 0 to n-1 do + for j = 0 to n-1 do + if g.(i).(j) = 1 then + ajoute_arete i j g2 + else () + done + done; + g2;; + diff --git a/SPE/OPT/TP 5/questions.kilepr b/SPE/OPT/TP 5/questions.kilepr new file mode 100644 index 0000000..e0aa01e --- /dev/null +++ b/SPE/OPT/TP 5/questions.kilepr @@ -0,0 +1,31 @@ +[General] +bib_extensions=.bib +bibliographyBackendAutoDetected= +bibliographyBackendUserOverride= +def_graphic_ext=eps +img_extIsRegExp=false +img_extensions=.eps .jpg .jpeg .png .pdf .ps .fig .gif +kileprversion=3 +kileversion=2.9.93 +masterDocument= +name=Questions +pkg_extIsRegExp=false +pkg_extensions=.cls .sty .bbx .cbx .lbx +src_extIsRegExp=false +src_extensions=.tex .ltx .latex .dtx .ins + +[Tools] +MakeIndex= +QuickBuild= + +[item:Questions.tex] +archive=true +encoding=UTF-8 +highlight=LaTeX +mode=LaTeX + +[item:questions.kilepr] +archive=true +encoding= +highlight= +mode=