From b78287580f7b1f9a1f7cdb95f708b0417251a414 Mon Sep 17 00:00:00 2001 From: Suwako Moriya Date: Sat, 12 Sep 2020 18:39:51 +0200 Subject: [PATCH] [OPT/TP2] Fin. --- .../TP 2/.kile/réponseauxquestions.kilepr.gui | 30 ++ SPE/OPT/TP 2/.kile/tp2.kilepr.gui | 30 ++ SPE/OPT/TP 2/Questions.aux | 3 + SPE/OPT/TP 2/Questions.log | 257 ++++++++++++++++++ SPE/OPT/TP 2/Questions.pdf | Bin 0 -> 67274 bytes SPE/OPT/TP 2/Questions.synctex.gz | Bin 0 -> 2986 bytes SPE/OPT/TP 2/Questions.tex | 59 ++++ SPE/OPT/TP 2/main.ml | 31 ++- SPE/OPT/TP 2/tp2.kilepr | 31 +++ 9 files changed, 438 insertions(+), 3 deletions(-) create mode 100644 SPE/OPT/TP 2/.kile/réponseauxquestions.kilepr.gui create mode 100644 SPE/OPT/TP 2/.kile/tp2.kilepr.gui create mode 100644 SPE/OPT/TP 2/Questions.aux create mode 100644 SPE/OPT/TP 2/Questions.log create mode 100644 SPE/OPT/TP 2/Questions.pdf create mode 100644 SPE/OPT/TP 2/Questions.synctex.gz create mode 100644 SPE/OPT/TP 2/Questions.tex create mode 100644 SPE/OPT/TP 2/tp2.kilepr diff --git a/SPE/OPT/TP 2/.kile/réponseauxquestions.kilepr.gui b/SPE/OPT/TP 2/.kile/réponseauxquestions.kilepr.gui new file mode 100644 index 0000000..6b4fa19 --- /dev/null +++ b/SPE/OPT/TP 2/.kile/réponseauxquestions.kilepr.gui @@ -0,0 +1,30 @@ +[General] +kile_livePreviewEnabled=true +kile_livePreviewStatusUserSpecified=false +kile_livePreviewTool=LivePreview-PDFLaTeX +lastDocument=Questions + +[document-settings,item:Questions] +Bookmarks= +Encoding= +Highlighting=LaTeX +Highlighting Set By User=false +Indentation Mode=normal +Mode=LaTeX +Mode Set By User=false + +[item:Questions] +open=true +order=0 + +[item:réponseauxquestions.kilepr] +open=false +order=-1 + +[view-settings,view=0,item:Questions] +CursorColumn=25 +CursorLine=3 +Dynamic Word Wrap=true +JumpList= +TextFolding=[] +ViMarks= diff --git a/SPE/OPT/TP 2/.kile/tp2.kilepr.gui b/SPE/OPT/TP 2/.kile/tp2.kilepr.gui new file mode 100644 index 0000000..953b043 --- /dev/null +++ b/SPE/OPT/TP 2/.kile/tp2.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= +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:tp2.kilepr] +open=false +order=-1 + +[view-settings,view=0,item:Questions.tex] +CursorColumn=14 +CursorLine=35 +Dynamic Word Wrap=true +JumpList= +TextFolding=[] +ViMarks=.,55,44,[,55,40,],55,44 diff --git a/SPE/OPT/TP 2/Questions.aux b/SPE/OPT/TP 2/Questions.aux new file mode 100644 index 0000000..01200ba --- /dev/null +++ b/SPE/OPT/TP 2/Questions.aux @@ -0,0 +1,3 @@ +\relax +\@writefile{toc}{\contentsline {section}{\numberline {III}Forme normale disjonctive}{1}\protected@file@percent } +\@writefile{toc}{\contentsline {subsection}{\numberline {III.1}Question :}{1}\protected@file@percent } diff --git a/SPE/OPT/TP 2/Questions.log b/SPE/OPT/TP 2/Questions.log new file mode 100644 index 0000000..f8393b7 --- /dev/null +++ b/SPE/OPT/TP 2/Questions.log @@ -0,0 +1,257 @@ +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020 Gentoo Linux) (preloaded format=pdflatex 2020.9.3) 12 SEP 2020 10:32 +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/listings/listings.sty +\lst@mode=\count191 +\lst@gtempboxa=\box47 +\lst@token=\toks21 +\lst@length=\count192 +\lst@currlwidth=\dimen153 +\lst@column=\count193 +\lst@pos=\count194 +\lst@lostspace=\dimen154 +\lst@width=\dimen155 +\lst@newlines=\count195 +\lst@lineno=\count196 +\lst@maxwidth=\dimen156 + +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2019/09/10 1.8c (Carsten Heinz) +\c@lstnumber=\count197 +\lst@skipnumbers=\count198 +\lst@framebox=\box48 +) +(/usr/share/texmf-dist/tex/latex/listings/listings.cfg +File: listings.cfg 2019/09/10 1.8c listings configuration +)) +Package: listings 2019/09/10 1.8c (Carsten Heinz) + +(/usr/share/texmf-dist/tex/latex/graphics/color.sty +Package: color 2019/11/23 v1.2a Standard LaTeX Color (DPC) + +(/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg +File: color.cfg 2016/01/02 v1.6 sample color configuration +) +Package color Info: Driver file: pdftex.def on input line 147. + +(/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/latex/base/inputenc.sty +Package: inputenc 2018/08/11 v1.3c Input encoding file +\inpenc@prehook=\toks22 +\inpenc@posthook=\toks23 +) +(/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty +File: lstlang1.sty 2019/09/10 1.8c listings language file +) +(/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty +File: lstlang2.sty 2019/09/10 1.8c listings language file +) +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2019/09/10 1.8c (Carsten Heinz) +) +(/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=\count199 +\l__pdf_internal_box=\box49 +) +No file Questions.aux. +\openout1 = `Questions.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 44. +LaTeX Font Info: ... okay on input line 44. +(/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. +) +\Gin@req@height=\dimen157 +\Gin@req@width=\dimen158 +) +\c@lstlisting=\count266 + +(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count267 +\scratchdimen=\dimen159 +\scratchbox=\box50 +\nofMPsegments=\count268 +\nofMParguments=\count269 +\everyMPshowfont=\toks24 +\MPscratchCnt=\count270 +\MPscratchDim=\dimen160 +\MPnumerator=\count271 +\makeMPintoPDFobject=\count272 +\everyMPtoPDFconversion=\toks25 +) (/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 +)) [1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (./Questions.aux) ) +Here is how much of TeX's memory you used: + 4110 strings out of 482906 + 56889 string characters out of 5959892 + 481182 words of memory out of 5000000 + 19362 multiletter control sequences out of 15000+600000 + 537879 words of font info for 44 fonts, out of 8000000 for 9000 + 14 hyphenation exceptions out of 8191 + 37i,5n,51p,242b,1155s stack positions out of 5000i,500n,10000p,200000b,80000s + +Output written on Questions.pdf (1 page, 67274 bytes). +PDF statistics: + 36 PDF objects out of 1000 (max. 8388607) + 25 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 2/Questions.pdf b/SPE/OPT/TP 2/Questions.pdf new file mode 100644 index 0000000000000000000000000000000000000000..709905b7d205d4eb06a1b7008788976ec84f2d8c GIT binary patch literal 67274 zcma&MQ>-vd&~CYH+qP}nw)cLwZQHhO+qP}nwmIM6Pfju?nW?L)o4#7#G%<>c&WVrT>9zImf2Ylp>%&~sN;zdTjD?85WU%Le>KsX}C?L^jH^0L5k< zw(zh>lfb6r`+fRwryj&yfRy)T@crnc=b@XCU_Bnv6)~Lm!G@f}s>sxUBT%i{X-GlJ zHrYtBkYh90g=rPGF7?BkF;n(Tkp?t$V{vR&JlZp7s;Si(1|^MZAdv{nutRy=2zc8w z^vxM)H4mVC$o1HmgPM%91`AitB0aWBk}cCOPZm6CL6?MadX1?+XO$Xrz$ke;aI>Jl zV6mL}t@!zMiiAR$;EbW#FS zl5-RRE>aOxKCSP2zg3Yt^Ou5%B}O@DG?^~*WGQ?d{o~su!|J{kc^gbX6ABDQ!GSv7 zg0#Ig5tdA_ja)-4D^14!g669uP%d4?m^c}H?Apm5)jiNigVCq5n>=Zp>amk%gqWAh zww~&$N)^jxsNS}^qB82)GyAQn+b?Y?rm^HRlqw!_0aCe7#WKXo}yP zChluRklFz04NV(~Yl<8=t(N zMkdRvhw+WU8p26?j70G9DSAMK`DAu5D1i45P>+ufPQIDWY!tYp zcXVMuKtSRt91{BRHjmB2iFg8n)BUwk4QLO=x&F993C%x(Zy z4w%ExsY(F12O)tQ-1s+_-zW5b!y!n3$fzjCKSa2Ar%-}?HUkU+-A(L4~_ ze*G|DfJdM|xi|IaI}wF-`~d@O?Di&Tj8o8%4dCm1IRyXIMlkwE&_ry2(2ZZRz?|*< zw+91whGj@=ANltp7X|@MIdFj9y!*P3ZEFMt^kVEf?B$EMXz#wIZTu#rX*IyxYnTAS z9ecmGG6+!t>)W}VsJpr;m*4?jL%u&jSB3PNojXSB9o=^r0|j-r@XAB|Y%k~y}A9fBOo`x^_@7thoDWtTR(fB?S4E2 z0Hg!Bho_IWqdr7B1c>^OO#;AG1TPAhx4i2&)9{_V_upT{d2|5fU#|~9!0$eOzdzkXC)8iNTpE&AM6Uq2&NLsxtM_q?0kyd^)a*LP`P96wqJ^8G%ifc>}05CD!}#7@jUhQ65}^!q=} zTfgA%zlv|S)W53vzcykMH}W$6ZyZ0QUw+?u=H-bi`q3W8orE{-e8|2%(Dgs17y`fA zTAuBRS3jRhiTfYA@qz1{Up}$&ET(7BVKwZ?W`}oWI=@X=U;0dB6tIQREp6f{d+$2V|@jTe()c36u^7lKlE<-vuApD{izRpi0--X zI-$3#Vemg}s2!&}{B6H`AJa6ijDf!uXa$J=uy^$CyOEp!jsW_gcjs^Y>f86R!t?9@ z>jcAg13CO<{QReQdw0(N9+w6WrApVTDOvk#aqwdBibmP4!J@-aMfB8AZ9~(MncVWF2 zUVgNbEdMl&HJlEbGTnHpX*Q?GXh`I7-hiL#xnu3f%&U%KM2qagLG|_r0dVItiM$c8TCPy0Y_9{r9k^{ zEm7rTeE1V$g?)-3#IbOu;@%xQ2UhK)z)sGSGe?D_!=;dPsZC%CNQXUVHb)!k?!0n? zMkM^&pV(1fn}Dc?e&Ry$95al@^lUA>t^%4UYWV~B=kRyw`bE+WP#y^#wE8K&l$UQG z9po#=yf97N7a5s~;hMd)>~rqbdG{q?_j)6EoK9Q9MxS>;{HuGvvhM`1(_GsYDkE~rovvUN*o&di7k7jv zKkaYzc}35!wVO5K+Ps9!l7Z(r$6S^YLnj?8V@_@f$Iws9u|SrdQIB7h?FZ>D%OuNDwh7F<<)#nOgs5qk(HI%z}ao?(D#56 z_l?b+=k+1M;3W3%<8+BgeiGr178kO)gRq(nZ1CfSaaUdWn2la*iV}*aTrX|O-WViF zB11wng2oi0$}fASTsY_8vDc$~F<~rjas$`jT`dELv_V0b%{VDeicnr5mAulD1Kl}_ zu`k8Sc`dQRN^U-$^cQbvm?UX;V=WX34@)r%fd!@7@)QS72=Xngq;GR)bBuqk*Ld?Py z!bmfG+j5CfIpGk$3pmGgxRkK=nB)_Fw|?gBWV@lmhhXM3$An0qBat3@5p+BnE9Wcq zl$IpJ+2&Jdup*{WMk)N!ya5;cy))l$^Tv;6d3v}un~-c`>MH$1h4O%dzX4y)T7anY5mFN!`cr!$F5N2eQ# zS`lW>uslr8bi##alrva0YcKd{vb)|2_jOBko9KAWMBSU z4TtDi;^oYCzCC`x(*@?HEMZC1Z`mf z5luG^583dHoNd{tMnZM6)0EGvwz<+%BkPZ(i}(cDmRNOGgG49sRrRMCs{{7Vw8gaI zpOZ@ioz(jmDFiAL^epWI$>rl8U2me1bRVS9Khv;UlJTf{$ zE;Lr6OiQ#O7K_s>@#L3rG4q=#L{{NY6o(`^2kz)IaY6(HplCv;8ug<3QZ7f-(*e05?k6~D88O*mFz&Thi zEf6dAb;PU|+ucs_9LQu4_y#2$JO4HxfbUlXhnK`-$Hk;PYc_}IosuQ6MGMZ6U!RXC z^w~Q?*7k0e!Q17k{G$a`8%QTS>#GKTW&KXq0j9#@hGs7ISkeXk7!vg>Vg#E)b;TF6 zR{$tg)AZtAY84=VW{C@^LWy$s$y6p?(9YZr@RWvk$+())u$;KR^L2ICqMb(L z;zYx?S(`Vdzu|3Z)K~0nQ3F*?N`m7e8SbASdUm8P-+s1PtCd*Mfv31LME1(v zX7>y5b*`In{UG&GpB8~czHso#Q9e&SH5~XZPgG&bijb$ZH{}$~Bn$p~qa%}c;r7vB z+|v@cdM;PfY9uyZJ;dJVm^#YU^YR((mrK#Ag!a9RAgtzN(h4(7e}s7-%A)w4jkeAj z5naouNYU6$2L}-;r?aH-j!O;a$Syf2+$fg&&QUezSH6a{7OPk+qU$>T3*90EAi%9O zeR_4J`eQ1;Ln5~c0S>O(9k{pHUXWgU=Pu?eh^Ai82!iTt*t z?$Cq&czEXPIqQ^jk16AasQJ;ofyi-jT7hF2PU;YB$8HIyX1fEXxXBq9DOPpPAB%`W zAzu1#6fAzJrApHU#&i^3U@&+>!5c@@aln_doh@T{9WaHXv@|Se#Fob3Ey(=^!Xigl z6W2WF%|GqPY{&3ZMe1}Qs^5{%iWP3_%&AX@hC9dExn zysRzH$d)KO%Zp;p=Gs?&ufgvI2Rh&`=XEY@IZ!ItO5|!m+kCQPy7tcU|PM7VI zVC6NPnf1N{SIJe(QJ>xt8804k6|TH=_xUqhS_b8vs}%OKNmH6Vl+7mlLAdNoPui@f;W&S7dSSLqx+V{8oS#qc ze2_RF))xF4d?BPD64BXQ&I>x*IU`oPymz|;R5Jtm#Xqx|`O#t)7@lq4N+$p2izqRa zSEb|+pK^n-hDF^BnjON=nGA$^nt({j+>BK(H$o__?_K__T!gVUxAR&zX3XVWJrNpp z(eQVrXArC>Es{9JKD$4QyIQ#xcvL(vauU0*keCd-yl>_^;CE7MF^tnSc z@6l~kImS`bZd{MZg7D?Gp9|?A=1@+fSlUdRGG-|3;H?E85YP@ zKAH1nzi(Y%E0IfCwHTu4YE^CtyYZmT@e(bnELT#a1$W?S1UEZP1bA zeMi5t{|*rocY76{lR4bVT+t`gR;(M`*tvy!5u^?fKxwhYmoz3YW6Mb#h%e@LRMh>)!qr?3=m5P~P`C%wXGr|c) z{FxD_ADsM_rJr_J?3l|W;H03KAVii?5lYc?I;))^7|Ki$F{QOOAsDb?c9Z=|F|SYC zK32_RZV3k5QR-^<5+iE%;chW#O+--`R1b^SecWr0z>Bgpjh?w)GW76EMc2To)%N?H z#yogLqx{7Zn;}3(iN3{kKjN@edLpX*5H6b4mW z!mKrjU0hb$a4Gt>eK_-_j-Pmrt$+-6j^`kECI2a3nUz14@V9(A77jnEvQ&D17XN_0 zXK+QW^>n^b-~Mk9Zs7d*I-CJ*w;;t;09+P4NN_mnZc^i400#CGUV1;O7yL$!0AT{x zLVnp<1d3O5pB$DzSsU-%6MJ*;xit59Dp!sAT`QEfkz#_!3dj^TD*uGL`jwaP=zgOrQvxfKka$_hVmHR9DwJ4lFPD%!S5 z6|%VGd}begvKh@?8OQ`!Wr8^FZ9V7SPL_s zJ5HlVb^^Ja7#Z3~JrI#&+w$D*3;^39b3HE4s6R>|&AQaKs?S`lP{-}*#}rojJ;}WS zvNh#Py|0SubEFEkd#(i|C9Mwly!eCVV76B_-`^zaxt zN9&z)OaOZ_l%Kx!F|bz=q@2%OI%)dKZfbuYEx~~2Q&s1J^+>K@t=l`}rHAh`0|htF zU$!rI4* zq~g6nBFcZpz@D%jHo%HA8YEHF3C^FLJJrUSM!b=Gz?tN%j@!8(B2=r)&Hmx#z1&MURvuXTA6&c{U`6s&1Sv)L%5IPDy!Y zHs}#YiH%NE!5lXWsOjyUd>&S!h?1hE2tTj>Sqj0P8*l6WpI6+<0q`b#X){IITYP1y zF3yT?hpv;h>^G+z(%OoZ+c47OMpf!&$0y>xN7Xb^1g&2VZ0ue{nSq#RETB{K&)ZC? zlY>vVMCYB;R=*9WlBE6HY%~YlOdE8Ksci($&zCj})x?M6`m89Tl(pj@&aV_hMO2NW znO$ovN1`6~^PdC{P4(om7I}!ySjn8ZxG z9yc|!7RRD0uJ(4|Z^z1bJ20DA_#`axIU_9?)E@=QrZ-_BHp0;on>2l=9Gn-)36a}I zLI))Uf|8R;E|4sNO&9EB=Y4AI0@Wy1T3qE`q)>5jBNFT9_0EOdr&ElBO zk0mX#mA#^r?VP_(QyHwTmnI5h=%W7bz;}3Op{4-4(fe~HTz+Rh;yOD(xrP3vvLahc zo4jqyC*vpBNr^R+j=SKeeV)^lPbC=G6Sy4WfIht$uBGx5Q#opbp!{I4S-z3?cm&sH zzy_%}p*&r*7SbobmfWa@u8X8Vak5)=8M@cMn?gm))S-n;W>P$|Qs(OVhc6@w%j+!Y zc^p`%S6Q?Xh+Ps{nK~COlNnfhgm_VXKt4GCenR!>22A&XWnZ{>I>?YCo^&o}@dAfM z+VMBcTN>qdGew&9U_>30T7&S=M&4f=#iwjS1p%AkRI39mKkD^{w+|0j;8zxUUnh?d z+zRW*Fgula^J3YtGT=zv7v8?dmgpNcDr<+*u$~?C3e4vNhp$w=OFH_GaQAt7^PmrG za9-No+I7!|nB5>A9K%i{25dfKfHcNfsB=5}mM6!fnql4O8Nxp##zK{>kz7X-EiE;1 zwzXG2rlNr|HGH1I3xI=tnMXV-%}o)vf&@7a}(A6>9pS(Okge9u6K8*2%Mn9v3l z)G0m3zJCRrEye9)!370nvMGi^h%wTnRk<~Z3Pxl!%?Q$tU&Le7Rq}*!H3Pu2P~@f1 z+_m~REcS{Z47(w3SPz}#E^u$L@_lNaJ8;8!iV2kSpBctbqgS)P222PY8#o*e?o0cU z8uaJ|UYbIEofu8-mo%9ZYgO)`^o#XAv;#h}Z01xOE<>s_HH=bIT^i0t5S zq@k{W{R+;#`~5ZVcjN57iWo^(|soO&u6(NTT3QD; z1lFyLy`Cx>&V_U9Wzb_&6r9+9X_1{b((`+oaczg`Wf0A&_+@LFdPLE3SF7EDkgUYg z8(-VOnRqD+^?G6Mkvbf4j8-1WU|uHg%aggVIL+T6-`j`>X;#E&D$!}T%uPNR-pGeU z#pYLZOYj5L$wsHo=a|7injuhZ$=*!n@b~3|NNwG9|E{-Sv6Iq2w2ZsdQHWu&KNu@t}rG-rEFPc})RyF(+i(LDb;mPjlVV4qYU|^<7$;9{Q?Trbp+#$LF|8+QBJOzGBWn zir8u%<=p0m&~E_YOH-A=m+ArofI*DvQ@dJC|kmC9f_|^uRSMx z56SN=pRfO^^lXGBEB7(0wkqRhAoM33GtB#89Mkwhd83G)_#B^9tW!TVlYun^CM_f2 zU`bVqh8;=GfcBw|n}53`wU+W!PyE>3UU&Z5#X?JMXFWb>V{981wW~|!>tsga)={*w4q!fRTQHxm7Q-gVC>z!0_|oV3xg|esb&g zn@1FFRB|GSRZONGx@PB*U4O0RNKIfWMbF|m;*Y_CP)9i$=l2j6kxJij=zyh|K~tZM zHh!27F|1DPoQ{8Pv;=sl)@Ad~63GNlPnk+~OSrY`4UKwe(nMO!?}MSAT>ZqtB`{h= zHRl+UsYI!nDd;sssA=aS%q(`%2zc-Cs2;l-iMlfM4V50WrDiw{mB>&t2+@dPR7yc! zOxO4NQJxby0QA$_YcU{hk@TAWK^=BO`kDp$PUUO2olZW{!G@+hB8?uGC!)^m$y?az z>#_FM2fimc>+7U_x?h*Fve7O!w;M(*i;no1eB^5q4#{b9>je|~DS0Z+U3LnzF2YQP zzq4_5nxHXH;vf<-h4Rfw}xUN19n7uEB z&}j%tyj&|lf8;`j1tStui9Wgd3U8?-MxuL=YKdLoDGO8bh?qwH1xFjAUV>~)6(1B5 zYlXHu^B*j2<=DoiN9DNWOL-^TD6jn*^ojvZ;VeEKW`AMxsP}7c!*z_H84|k^*oqq0 z&Wm@TE%F0KNC_78$<$k1k#bH}-@bj!vf`|A3RhF627AuCVZUCnD@qoNUE-1#N)>}J z%VT2Y{-ZwONH%SB`9MO{o!pIyH9fPCj)Q}gPo>5r9QJuv@dqbLA>ZkXHi`?3E_qW2 zlp^1d_k9YT^(>r56{<|)TNNWUn`U6a3DZPQ%}wq0a)42QN~A;p8m_Ta-GND~7AFP0 zK`w5S{^Hr3qMjqr`rE^u)ylbxj!TidJ&IpC7JYBB({HFRN5n6OSxLK_x0p0ixUU|6 z^|PZ~fn?VvAhU*1lp~{+%#XTYhpCwno|v9u(t7upn+5BDT6;n)gYdzDHZ~?s4bugC z73P*Xk9^QJdf)zI^y1XgCEQf#0-Z1;KppmsTvi_v1Ub&?QX~x|yBTHHxw%?z9u5qJ z%eKEqK8INGceFd($zM9z!6EX!DTf$=1-a`UvBbx@rZUH9#pe;e|NNO|ob%ViTDdN;)8kEtHnmTRKwrw*3<;8obFDCBo3_xWs;J{!F)KJ=&AG2xh#t7Dq%M_t7t$JEUo% z)N2F@1sY4y`EydS?yU@vm;G{=AgN&HK*IhQW;72@R1)Pc$N65YWJ5Ji5eiQOIV>X- zRmNSnvnWR8BD2wLTgUwX(mco`=$BWkjBZ_!HL*P5&>?d5wC^Eo4{xW1WS0Fh?mxbq$rN{HQ&`Ag(Hg?DjG7 z=hsfnzF=F9e|v?_Q&!XLz_M7aBh~Tu8=n(F2P?<2_EliLx#_L}luudg7nyAhLqld< z@H>W2yGUxu4uq$opug^+QM`||v*`AHrc#mq-}Ke@2l>xmd}xNvf}sF{K4 zSlAoWOV1=?K#PNqkQ1owUzVmD+xZv)s(L?y9!v`o#eUXtE%B3lpcy1xoU_X&v(aYk zX6a%ClU_<$|ES$)qJUa+eNTKa_8X34Z%Z?laF}Ljn41IZr<=zS zHcG9vXsfLs)HuJ!oT`~*Ns0a>k@!LES&qg*<+NVIRx;V*DrRzN2qpqVR2h>@j(Rc3^ zZH@O=-~}2l=BrLW;ao$R56_Hkm&QmjNT!6B)>lfLkV0}L64s@fTS&5Hke-fZ4Di46 z%ud2qt*_>R4M-nX{==GSz7V*hbdBz&NpxPZ%6n@kf!9g@<)90+?XV+9g=TGhAO%p# zgIhQ`jXu-b#7voS>|^?G2`5X{)~JUSERPVMnJ(r}Zn*QWmslB;7|NjimJA0C zJoPzIWo9z1nm3BL#DA);-?_5T%{`UX21IbZEfF8N-boe)m2PI5FsV90TW}*i)E@`e zCA+hS&pG&K7U$!Y?waw~Ur@NG(rVZ?3e8_wM~LHSH_AU73-o%Y_Z7JYDjgINLuRQJ zFh$cu%7?8Kzr})rV+s06=}mj3ZpoOh#ZhLKJvB__Piz zwA@qvZ+P9@luC?m?b`HP_@xF!JMASjv^iuGYsP)ux?9$u%k#x?vJE_zd+=pid=t@P zJ{I#2mU@2T5E9S%v?TC6LKc4Bl#rI`FM$)Y?K8DR2G_nRAfFm`|TT`2U9=lWy~ zosZa027*JYC9QN|xNkc#D;;&@=dGGw-mNej?z;aLOWlCAG|6Gj@)Ld80VE)cbsDFn z{M-%4CH-y*0{Xm0al?sSu3tRej!^n{)$8W037MGp4E2Vid$#JZ7Wc!WWlY zd(*iYO2Lh1+|;L#pe3N~=&-*s1f7zK!X;>b5f=r0Mf7)47Y^d*j+H+X5-)VufapiE zAZ2%WDh^&i8t125jzOsRSg4AfcWV!ttuuSkhu6Xl+yW?-to|T4o9;hKDaOviT@WK4 zyTQ?C8q0M}YB8M%Ba1mh_I$>6i6mj5U!Pinr1R9Wt_7~u^|I6l=~h-Z5A`D-+DTQw zD&Pt~*8)s-?YNwBY zuAc*Qigdc6H!`^24`MGU!D?|hhhx{bV+O!+1>c?h zmIG5RU)>~A|0<|MzF~q|qPrSkNrXxeI9oKjUk75X`NvhEC9m3UTKGxukUSp;U0r(o zUc-!c;?F$~+3Q!e0MjOmOYBee(D6>;RnrWIVmw64aivq5h|y+OL6+7eM5$wc@3czm zcw$v9>8=H8UaAp;<7pUC#IQsDfQ?2k;{P|!A=CfPIb`PiUz|fW24c=lgH%rFX5?>MPfYudMgX$#=~zoBa;+k$Sx_-(D33X$&3>KoTg$ z*_oxEfB=Go1^@^Wkb^S@fy3;5&l8{w5+_JBKR)paL5 z1_mTbGVo3+P(XkXLE_Mk0E!q=CA6K`I)DpEKo$il7Sx`qU|tU+xCa<6@9d5^9(xoR zL|S6I=V=PJd>?3xzyN_n0X)#jziXd)kYH9o7zGA!%;Sd`q^%hkE-V!V<@x>|!N1)A zQ~|?FGnZQc9%L5K9AIpa@z!2@Uvx@9Hyrv~-U&OQYBH;T3CSX8;&KzP9 zI-nVRlQ8>0fLGN9Fq`}q4k56)2S6yhfufs#7&p*9RN%p1zeL!-66#X`qIZb@$IuW1 z1S<@+pD3H&6Qvs>sLvF&xCUu*1T=Qo5D@)^l9<6B<9D|QvsyGSK-L( z{z8cPSP(tWFNfv;kJU&p>5ED%)6?5e>o-kN5%C1_`2Zaa z=n*<1(BB|Foa3JEcmHjUU=zk^Z;vw|3(P9e;&in7=@vrDZH2E*(;!iiBGOOu{p8L(N|L_MNKI=F3=z0-$X6&PHgJ~(JGZ|>r^0U}`hxE(K0Rpfo})~@ir z0bHNOleV3AgZ(T7$u}NURJ;4|evd%@U*ka=%xSP+w86vnw@skI19jLJ>o_!KtbV26 zYC&Ldfi-=ryo3r2#DD>T9>DkgLn6gIc(lHp)GIDijUg_muD=NmfOe zsnEADsM>M6ZHnSmi2G3WG-b_MC4N_brCRJwXJl>IM$?^}cdF&aRkz6N$A+r<%|<~( z(%DzqD6%)4hMlYuD{%EHJl!YKN>?Uf zO{Wd6Drv?hOf?djK0o$;W`U2`RAE=N--)-Y2U0VJ4PruJmanvQ=M4nHouVY~-qs$w z?9#|96_vu$&%z^`I7O_OXl0zLW^nbQG1uMYT(;3$jI$PgIabbhsEykNj{Kux%x&w? z;%n%M?Co%D7aUuJ>%xBBuDCVJxrOJ5ij3{ARPjyOHG^y6sNO~}aJ8fvme9|O^@kZ7 z`Aj_mZC%B~Y{EyLtrjKL=@9S0wwv>z$?Rlm@8^nBZ?r=jG^zDR6;+0*WJnxglG)B2 z9YtN(5T})A9=Gwf%D4{CO2LXmtGO0YJ86Hkn8te~H&M&rd!@lonqK4J*B9R|k(md# zjZLJEa&3y@IL4;=-N&ZI-g98tSeC&6yGwoZr8%h`d|HUlp41$u^o<_6N`ZcdTUFF~ z+s7MAT#;g;!0WZy)lI?xV>A#gV%sD?t!v2L4h3;^3n|6I3@z_2tg-u6kR>SsSbG|X z7`~l*o-INtunXWhmtEr7Tdib9bn8~s%c+Yp(xh*<)30zVsVKdG@~|i%i@PPkHp9lW z^xoOhXxi9(qX@NN6GEW9Hr}eF&SFxT#;HKPi6i0*+fOAsIaf7#lY&4>}1t{0-c8Jsg+GV1ZmrD!K}Lu1J7<^ zfBxH+#gIHIg+?M^VMnJEyK9%E%#5yragv^^wa^2#$~n2|_!(y{Av4|*aN`iCX{)?T zj{`Hc!C)OyKX^s`I&Hs3#sUOI*b>ecLqRepv>wEZ(Sn2ol=*44u zqY+Y#Y9LjvZPg5d^0K$jcXqmDSRAW#pj%swU;(Ztf4!fUAXtf%`=_MVo=x}Hs|faw zY*=t9#WNoesEaA`$q1xX^v?t8N&cx3OXofNv>@W&A8<~K1XV;zL~mggIbAUTp&MZ% zAh0~?xDl(2BZd0YTt{7JPgytij1>3SzkRA)7>s;L>0bS7sT;Ws`$EKXewpUN{up#~ zzv?2|5&Z$lMVCU+t()v11+%Cr>VWF&OT9&xCV7<^m#2n!-q|dUG&~n&*(ehnFlvDN z3xJq!O)~O!pUZf1(~Nu9Y;w7nyL|gs=^4(uW1+wJ0ZLQx=w!S->A$#lT>Iv#w94*( zSZwK4SIddU;$p(7NO!?>6O|m75Q$TAGrJ;}$4zx_y1pJ4dcj{;Td+^}NyLhvQQ|j} z&Z_|ltLsBe@3LMYLI9|Lq{Mm_3v~Pg!x_m-m56N=J%AwMD{W)buv-H`ScKWKM9iM! zBi^o&sC?)OlF1n!<$x4jw_k~})AeoId|d8(2rO#A`j`FclLS6jpf5VzI0G(d8x#xE zNOdH~3dqVn)5+cZZwm`9?{yTjOy$Om2FPVFJ1%Bf^DDl{Ob=7n{wO#1DQ_JC^zdR@ zLM5ExE544DyMB?$#v){-i_>1LEs#2bQ_*G+gGL{pihx3pVuicV!NNylg*&0BoVNcx zC?Ab5;mM1eQGV@1hYgBeASO)zh1kVqKud4-NPeEAEO;{St*S>M_YMn(y0^^zbPc0d zhP3g%@=Q=K&1!;8)2Dc&-}xv!Ij$#e1QIFHYIdKO*E~%NS0L+gS1!nHbURiuR3R)? z&^1C`5>Jnt_3>DUMo8$)VKk-kDd1rig{u-qGsov=M?cdeLv*_CsJ{F@;%MXZ2 zm`IL!9~0jAx!3VU&W;Jf52kOHDAUDH4$nU;up2K&hnJq8HJ21BH5ivya)c~o^-|-c z+QnxW{9t;0yf$>u2(-z7b5X!4C0PP=R zS=iXn)Z^JNpKW{$OdS{<^$WO1))~yBpBu7@2$EZpw8$0TURzkcS^TFr0Hxk__fbpt zFcG+K5xVefM>8eEZm-#?jIV{l*OF7i?I<1BLfIpY%{zT{O0IM%-D7bNOgW>Nb5bMz z3KnFv%*%}@c~be_$kIwBec?I=y^!*x-F8vi16}*iOf7roYq9#sBFG4NG!7$h9t>lZ z9OFVCE~-nD%9ATxhR&w+#uM%pe`0ETm1bRN#)OLdUkaWTLzaq*y-p*&B{e@bLTjhX zT(3|uqrhnTtMqifxpnk+A-6pIw#?K{HB~+0;~drpV!HNt0vG}ticsJ+Znv5BZvWCc z5v1d01aoVK=z7g3V_u0Z%(hVFDjn8gT}qbF2w$J7W&->dh!t9?ovVtP?^azx*2aSa zi#A)tEpA}PeAneRnJ&CJR6>*6WAUKz?aYdaY5DMr^s^!2xxxl@F8+@ z#GQ3TM!!*c71zyom%B?#1xX&EUX<27Qt&6wFuuq^7$L zpk<9l@vwedBLeAaSpouI_6hbL(txf^K@zjtbT1p}hSTJ{(TW#QCs+AK<%7Z73FsPZ zR60fG$EHH^uwk z_BYa`^;TK+%T=XJe&P!WZ%J&=S{MEkE##y`t%VhTkR3Np)wr%x?-GA4|o#6>Dno*+%!!kh!6GB5OxlTWy4?Py}%<%@E{35fN zB4qTzFp3OO6%=zm{5jiiPB?E1ops*&5Z#`=#1o9eH1K-&7-e-W@~vzB&IB?D1w9S0 z-t)41!Tv5Z`ZB~6N&XsR3vGP97a!XFB%mrNCq59~S@<(L({#^rk=)6*A6hHqt1)m{ zGjlkCHF!%2MpfLf$tQQ!7YuZu+>Waz&_NQDcFrIZkx*vv@TH}T(+Z_bWB=hz^ee(& zbYHpOP2xxW-jtqRrhKv`6V=Om!jjrL&??8AoIzR?;hRRI46GD&m{Ye~$e(IDL zhI7+p+!Cm@9J$(gW#&%UnD6M^2Nk1f=_q;FI{Y5aKW`%d@s0K|`ep;`x}uX_xHxqc z(@j|lSY6^8U$zZvsm3@s+&u@P8EC9a<#Cg;(_iz7rs3z@(8$0{Uq7x@s(No@A^M6< z57YOYG?**fh?KT+DQAKt_OXp3!1XrGdH*CslFte05L%%yBbZdCW0Q8+h|{fL=CbnD zQ$beLFo#;z4l6;ze(%l?D738NYEh4f@~jF9Xpb9^aK*?Hz}QFX6gRIE{ps#Hxabn0 z4^^@BG+`tK`sn;TvrW-7D(o%4UKAa>*T`s^aDv9*Oo^q^RJed;oy2nnIkq@us>Y$KJ*ylyQ<4|`& zPh#-5YuCJ#1_s>{E6<(x-P6NZq=}kEr?=PgQr!Tw-~Br+ye4_~r0+WP{9ssnfZNi(~-a?N8z7jyC1EAo*} zkF2BRr(zp9>?hsUr`$Rg92H~FpvWO;+9O&o( z>z=LbLMl)OM0h9e7fUua2F#Q723gDfUnD(+9K2+HGa?8!x? zmRMEYpO`TxeAd*s;QD844_GI1D3{j)OGrBxSTABjUZEp??cIOoph9M7cXAZGtx8JM zy5U+ig=rZB!?Eimc1vblU8zpcnzPMi7lWFO&1%SkE!O%ck>U&c$3ghXYK#?I>KAnj z>)TK4JZ5PNnVf0LoLUP;6XW}pCtDHYV;c4liuUP!acIxkBG7G!*518#-_6sk;l;UW z^JM72-mduqnz;rvyGvU!ktd@6=$r6#6)CsfT&Y4QiC;ck!Af8b3llaT5QX%H3Q}MO z@Ug#byERs{zVc0sP@KC|vONg7xFKtZHcl7vQg{dRfr?6G#xH2Dk{8ysqbOFdTQ)qC z%t!z2cW`3&p-C^FND^`pF`OtkW_62d=2-Ba5tqjysNMZlW(YRjKN^`YnHm%nQ!@(7 z=LMy$%IsuRCO`i?WxEmb|8V=XNn@W;j9Q$##(*&1l!;!aWI^f9zpURXU#CBp&QA$67z>wH!p&4hRdCPk?pz6PRxXRw>($7?ZAO(&(6UVB;=KO%xQ3N_W zfFTOvvh7ulzHV_cu^CPCk_3}Dv{O3^AIkl(BY0F5FU}VgPiLP>`;Xv^+V^5BF{v|! zuki7DpVP|utRV!QLe(6E+iz-nQuj&d=_g}>EnVvr8^7r@)J@QtvRGK`xhh z{~wHGMoAx#xP z`31+w(^8;!SC`+6duWOGQL&PF-WMC+RHWm1rWYM76}Ia{=-j25nkJ$%f;d*6#Jl$- zBlEW=b)=(d?#6|S3C5Av%)6)Q_P~ghc-zx>C{12Hn0JOF|Ege@zE*Yaer;o?vh`|nPR|7s zeC-=CagOPh=Hzx;Sm8fkEnu2Sh}CCS=0I0l9hDiq7pcCT>ogFOQ>V!#smuKMmIR4F zoy{95E5hK1292@S`1B7*6Igrdkcsw2ts!MKQIg4IsvKP@lG+EDaBIxrz<5aPIbee_B{TFwbc=$7cxN#-XQH-SeJd zj4Q^}=0@A-r&$u69%I3^zc5P(-^?dNG^Gc_xA%G{mR zQg2c81QcjsX-Pzi9a>?Ti&r^_m3pxiR2OLz0eR)(gw*F?b5WT!Tz+7UPsjQsbNx(3-^w#9` zlUjQ5H&(II!nIrccIWGDsafbSoj3L}c zTFksw-dSFi+ngjzU-=TX+Hvb9nxwCSMpFnuR2X4!LRdl!-cV=y@4XDi^<|G~O^y@I z*vCd{>Z=Bm4N^0uiRWt4r*$+$X5&Gw2Q_^aKtmUWHk%s&RnKetijp=zO7n#GTK+Tb zIj??EH;qn!Kh(3&)x<>xk}@bVs^i0AF2JeZ#Y`?Dv_BbeuQkq1PPxhPU^C_CU(N^S zy8fc)Ema8bw`2OrPKjx%+mk)NP|agQnYd9^^Oir?Wj*UYz2 zL$&U(sCG|Wp;%t=%aTPT#^f;iMBl-6#5_K?kY_U4BD%^( zVaetWJ)%o}_%)EuwDP;?D2ZjC-TQrmZhiy6HRg@*8H_N59)B{xWfKJ_Y_AY z_DLPAOQ$ArlgLpq1uq(tol-03;AjsN6M-YiTjyB41g@TuCA6nC-5JZcJK>*Fym$}l zu@g5ZtOLr33%AGY+PE?ED9l{Df;dNcmz;;a189+-q_%2@_`zZ}2gGM!YkP7>cq17Z z`CuKcB#SdaizN>t?{X4N8OI*u6X(?ZaT=qfTst zO+paBu(%-C#Mz+E3-5GNl6J88Jka*9KQs26K~kujW74p10`wB zrJICV%2Zmvz_#Y;UjHGzWBE_%9UI5L#m4^^;xG{~GBUILk0<1R$9IfOEKL7rWk?&S zLYDO^9n45gyS9TnwOVs~mv?{y1X?!-N)-3Vb`DzFf!fx#ZWLPDQ0ndW=l75QN%n-y zgU-}yPp#`5G8Po7D;guTH*@VU;yC!{P>S~Hvo*>`N-p2C@=~v zp&G!~dd!(w8$e6fGlBvUWB#G}=#60lI3R0lTU%Qive(&~*E!WY%nZO=0tnUtSbs6k zj-Z+WzUCPOCYIpd)Xl5MSpZ+t9dp!1RUSUClB z)d2Ia06>0CtMAePnfGp+03GU`zR0(Bcl<$s0)JiDSlQd!oEbp91Nzkfq!VZn@@Y!? zp&Y{*fMo{I{4p{&xHkJfvN|(^Y-DHjV1KH&PzXp%p%{E^?`~hRXL1DK5X{xg6Rz=T z8@~}xo|E|lXi2WFuL2Arm>=+;C4;g9PU^;P23}T8_=B#u`}O>Rr4iN!AL7Yqba2*K z1_;E_^Q(_`$?AxX{7uvZAOga3a&qGHpaEP!0Jdjp)_)-C_V)q4lqc@P-&%m}>A}6h z1CFhc1?&?@@1DWer`DHHAp$r$0D5|UYToQarUwA)0WyRE%mkWuP__1|3I z)@SwkIezggf6J%+@`wE*9{-9x{OTqoN7r2ES$*(7|Khh);Et~x+6SvI zbPDL93(Wtx!uJ1es$jpZE>Ho{3edUzYEwfq`s#u()~8(i#~~ikfI5L|l?M=0jpl+2>R<#1Ej9bf6;GWT4nhA^l)YCQ@)o$y>)W_<~#teZS5SyqaGgZ zgQjzFW_S_w!M&s219Wrfxz7Wg{g6ij+Eg2Ok5@tOweZ>pl=L7!;3FR&g4a|25`G}x zKLW1F{04LAxt5;Ph2O{js2cs?56^r@>8ao8OGA_I+@5@0c2B=aU}cQ;zK}^m)9+)1wE> z-0R=9pqBX$tTtxb^6&f0j&6;dv(g^TZF}Nw{_gSH3laRq zwTSCxu(qeeFj2-{^3tXiyBcj|rs5H8D*8?d9I+m#m^uET6(SN=_3F=DY|%I{Kp%Zr z0sq)7j6Rar6PMjZ6v{kQ)yCuF#Tu)Wy=o?yi$8phJ;smpy(ASSGMq=){(d@olbre` zmO*}k=ghPbPjk0db!xER_A1`)drqZ;_0Qc_+^#uD5%;9YF^OD?VYs8uES+GSN+-+@ z39nBeVlv9CC#x5oXb!HRe}a*cUf(Rqi=S$F((HKI*a(M zZ#%S>!g7eop-6G8(ux^sAY|3S4=nz?PCcNmS=Gu(Wt$+0{z}@_16Z`^ToLz+&C!G3 z#Z?Cj|Io1GBWK@*V}r4E^|D5fe2PlY=x}84t6zcF)Oey}!eZocXbz6#4L^AJt`x#*efF1nqe^!dSZl3jzHYPcs&P`41h z9)Hx->N%XybHgUYCF zFs#<;oXElO1y);!O75k?wsR7(HVQv^Yk7|iHB3~yHx^(J4@KF7M3WTlB700c3yeYstsmpm46sQabebapgTUIV+ z;p@?S>|n|)SW6X0Uue)&2rQRNLB%SGs1PgspHX*wPvj=D?Gk5|fp62{3d4}ie5%a# z5SgeBNE1*wiZ871X_e`!8X$eJD2OS88~~9=-)RSta@qn+uI#{#vtnmf8`N5OP82~J zAl7u3^vk(JBm3jORT}$fURI<>Vg*M8B?`^kdOmlI-K^s(KU#;|hq&U*O-#(g_i6h! zq{8+kC)HaNB_2qH+q28U75u6_Z<|$6u{W_~Mfo!6Z%fdo36Aw?K0-2{h*q5S+}}G6 z?0Nsr(R^Doahuf~_rf*Q)pc{om?SKSoF>v-Lc)!BvSG{e*8JXQbwwkxjKiLkFqqt^ zfmt8ZU-IvpA#x60YSl~Mn36)E6Q`yA9`O12(o-%7|DwmHJo{#nJw&g zj@3@wO8&|-_x`b+t>ODtdyd#_v&NGf?iJH=E1+;MOD~zyS%0ZvLNV632?>!gu);28fq5kt>Qa%+l3RX|RcvmPcRcF`d6%O;b1Y#+X?{78JHpiW!tGOV2N=fVxEK*@bl zMD?@0OWHS%W0$_t-5ZcAjy>XO5)Fbh7>|cN5Eq&{V6l?Lh#&}*0p2q-`vy{KQN=~2 zjOE;>(T_0DK453N?Z(j8-sYr6K$||N0gBFy`IW=IfNLmjGjMX$ShyQ+ zA?yZo9yP=R^;PPO#Tt6=AmdI}F&^R5(Qw^JljhIOY`txf;(LDvu|O&5Xg*zSe=D_0 z)N3?&mkNROYeGQA--@_3 z3Nl|mQ`E~>R4lM5X}h(7>+a+IgeM%~r=o=dT~{FF^7JslF^$jN{7KYQn~9YBGJ!p>`F5q#mb*bx}>UfmcsHIV?+6 z1>jvAjh@j)v=6ZLKzzN8B|`r{U-BKD9{G&~Furo%t>Su3}3vT(D!eQ`7G zTc(W>x}b-%3t4W6Sg6G26@zQsx9eLh^^6lmIc1HS);e8cK@Z6bdwB&Mkug zIWJhSH;bDv^`?}iaUN7anEv>?ielI$Y@yj#L7oT9T&8|{Q>NOm5|IacffU{cwf^?Sfr0>=0liveY|HV2T zTjQ+m)S>$}(TNCH31LbZyr9#c;7d_*EwJ;`wdBk99V0bz#~=Eo_B}D(NGQm-Pdtf= zP>N;Qd+zf4e_p7?{fFhh>&ii%xZ#WUtv^byPj?iLh*D{Wp?`xeu|d)1j&# z#9PPI7z+7@az<+RtO>4_FwEkHehIlQ%v&Jg%LKK+In}Igf_Ymws2+-!KwYVBc(IW) z0Q*)*8*fmMx3_EAtGu1Q#Xl3}ybI@_%d}FB|BcH*YqGgDA8X;xEMH%t5)n+&juHtHEg7WkgGY{}9~$vX8Ys!qsMQ8JBp z$&Fgf3wQQ&Gr~9T3gXqaGM$u<7P32i8CJffPZ%#HXze%7+v^j@k(CI4l`fbTnO{}o z4PR46#T7-@RS#D%vFRr%b^DjzZ11wb)_=Mc57az=1p)7DL6$zlZQ0r-Z}FVtU9PUA zJ}`D5lEDdz(}N=7NwRRf#e1E9O!*J>MY2TCQOU(h>TC>OX-17(AiVFLoD53k0}NuC z%pyFBVjYL>fm$6*~uuhORx_j+W{my_J^`9)VZz-7$_^1}`SoYlxA)3GZm}2H)V!a3ywR$_1MH!eRdb%nCn?fa97d?zTJ`2ez9sVUX*w+aT!$ zlO_&~&b4Hn19cwgwD_(zY$mW|Wz&zlHXO+!O7asPskW~YxLeNmBdy^)y36c!1HaH^ z?Rou__QOi1zR>Q~x-B1eB>L;E%`QE0Ku1l9OFl&R?O>fC!E z?+fm%x9@Bro@ z6qy>0uXN%MO#=JI-QL>C!$Y`~!6kE{#M|I89qwYeP9dPwGjtLU4ipp$X}{l9a9N2o znH>~d!)Im%BgJ#!wLT#+ULp&;E&Y~RWXLLvbn7fDqc%yE7C*)9=k#7x8F}K!41x~K z6YUP}372q3Sej`Lns4OpRnQ7}W_mpb!YfCO8^c))??VkWg^l=KJ>swdmXB4KOP@Cl zeV6B;R!TZ)xB>YtqLFb5MD+EZE}y@-xB zpVnR}Ft-C?gA}uW3uw z^Z|@9XvkYjcot=_KCnfc+Dv8&M3zl0l0x+Mv=03SfOH2GZtK69i-9CyTAQt;I=tv* zsfQ_ec(mF;X3NqYm}V#+w&wN{fu=`M^33~e>NUNbYe-9QziF;^3zO+22dmeLnp9kJ z1=7h@=U03l{JLwcEtak;qFIFQvvP|XFwe^pEcs#8Q#}Q7a3YD=d#m8lx8N&qd+uVl zldWB5Jhdm7q2;2| z>pa&^fwjGD&u*ih(C6>u6ktVFq{*BQ4RqCR;d{(U~+ zzH*h$vAABO#zTJY8c8H@%ml-0AS9mgLYSsna6q z##47r;OW(!QVZ&@2Q0#y;ZB^-u4yVDbWITFfA?zQa*4H9OAH5(ho!9sI##@sq;J zihb4@1WDl%za*-0<8X3p^Po}I5o9mUui?a;KgRH%YUnSEkF}~6x9rQ)Isf{&)@V2r zTWaeh(GEkm;l-PPd^@;zQgrp7lk%xLYvC?uuB=OR+h!H61Wkcar?Pktk&$LNQ?L#}F44!kp z~jX(kX>pbpRk z9F7)bP>k1*GER5IV9Sz~egw~|VIO;YE{oRDLs))=cso9X2xjnRIg*xfEpOYd20Oe= z0e)uRZ4XE0egQx6?4Mj9?`hsJxT8QxnRH8E_4IEfyUdS!PTm?`!MTibw4RSOvGS%` zMaJOWzQmlml|6lPR5ZWr0=Oc$31@TcK=l=Vf^7Xt$8mS#bouqR%9|&mzo&1NiH`(F zUTngt9t3P=_^zC1fJvHo*@w^Y)U^}IaTqH#87}9{?aGG+T_o_KvCk^F=n+E%{y;s{B`b%=0YQg>rG)UIn&Z6)#|%}v{n6xP_k#eUt%N#L%hkogOD#M_@e znbi%R?n7UC&Llbc-SS}kw?n0P{n=bP@6W&?`Y6ZNI{9)ztPv^mltF39%FA-TjJH(r zcqox5OhMmTMe06~MLiVxLv6&PV!YBxUK}drb-T0pQZ$ijQJVc-Nhwb5rS9663lXf& zbp7&F2rAS>{dVzazw5|i!Pt3S{9Tvbcd31C3rXr}Cg$sX&cjq`{?j__2G&##zuPd} z?y%OlGg11!u0>+%SC~Yaz=%SpZGZ-)#l{!ZQ_-EF0?9uwMU+DO{iXb%5GD z3(3hDA1OP#6~WhBibMw}?Ec$D38Zb1iBcfO4T2)C@U5<;;#Lg zrJ0@qy!pl0c^4iSN<^3_11P1jGGW$$VnKO;%$O;b+i0uX#W(d%7}Z)pWFUQ_mK_F+iXqwh1km8^?!0tGq32{Q{=GP90e#i& z{If!l$^pPjp03imxppmb*o4bdLh`w}PHY~s`8OrLQOld0KYEN z^Q`8K9;S*gyrZpZB`@%A3+)n}GGeJ+@>|vA4)K~R+?Qx4hmuPG%pt7n{?FB0kao-f6 z=QXo07BsSjj^hsu3qJGO$*6fMW5PREsXMm-Pjoyv{Gi|-r_U7AKI&s|)ChM?G&v2{ zv=>N+T(P;l%HsQ1h-5K2%fDvx4EVnkX?FEru<_MFM?iC59)J38@8Q0YzvLylV8=xC zGuLt#oiXf8$3%{q_v^E*(VKYQ$t{YbZwHJcwW=5y&&T!g7gd6LFX`)`EZr_368gbt z=pxgZbr-8w334b}Xrikg@BDjVufD)=H8UmGc{h`OW~}rN^Ic6h$E!uU&=LJ2dsF{l zA?$0THYjD^;sx($$04nZM)xZoVDeg)7g#J7S{t%6(Ba zB5&JX3#MvS2v);KH8_V=03YbHHI+By!_0A7hNxt@vHQ9iR>!i9x59sHwt&F9VUXeiznb zn|^+g+nVkusYUn3LJ=uO^>iHhG7=X`eerrGPnt%831W>u+}SulV{g@RDHplrW$?|j z-^Uls|GSfvw(+9c^;vDsmb1`R|F`ay{ z6Dq=(4_l7=7Hc>ahwOVOA`c%#Ts}`VS;JhC_yBG8i-X4 zM;wIkB4MXGCYEDzgn$Mvel)99H2rwF5o+{-4)=ZnnF4P->d@JbzpZ%5|jcNdyHwDjBk#ZfIM0r-TC2K zs{zsMpro0k7b4u>!En_X4Sp{l+1fB1twSSA8FMf1#S2;uSg0U68=_?p%1*GzhhG&c z3VixI?>=9tBz_Q`O}~pde6XQxMmuA>Obj>{_w^)KX3#jz567jQ_sc`?cxhayI9#g! zPc*B8IlFPuU4&)cq_;~k`T?7{W;pL^F6rCPJ`r{tvXB&&#(l(xQu!JkO<5Rb`p0{R zS(%<#CM@*|=?YK(+qEq3kGZQo%;O|xhMlyVb_L^-M-po9UybQ@C}?agQS=mSs+)h4 zkfIXNmG+Z98F!XAq#Pfu(VpjFo7do4XpY615ofCV2WdJAeRQSluA1b1BXr#zYMK&e!_suEiT{^HHrEnsjCz>-sj{%ft7JINCw_3)rnBDXE3ki2icsnZHUG{Zim+!^BK zsduu#j#3(ZSNgt=j9$<|!PAu@A9@I)Lgos%^gzq{V{XS(^Oue`_;|QpHWC%HBR;(} z_GocBQE^z8%Pp!KuTZZevJEqNpFmRFxuD;i?HyA6A9+Z4ZYwIZ$9>=LQakVO2qVfy zyC<=+!|6rp7f3t;GGnB1BgNfv+L&OP^mL`SBUE4IzyMDM^hWmW2SbhsdVjtrJVj-n6_oLc-rp67@g=wb95#l=_DLU?y%Te-m2zz0@?WLG8X7K`yEGjaEh z^9=_>nc~JV!V8KUaS!*VYbsW`zo8c$u)6-ok1l`=g*icf#e_)-BNm<3ELT6dH zDe0FA3Tm<}=7W7`pHr#Ch6rh!J4XWx1?K?lOsNxQ=Xj$J8+|)oAX9b**}YJ2&9i(t ziB!dF_OdU>X=x72s{~P##&@nm2e6kE;M`nM!QDwBg3p$3=tH^(Te%8gZn3c^eU%Pa zBSKc=PO&4ng&qN>S|D10r!{&`1x+)g?Rr{{PwTf6hNLIzUOZ$FKBhQu=}fabZdt9- zI?lnA;UposqnqZ3ig%x6{oO@8XVq%TS{vh8Pihau&--pCrv6$IIdl?pdUY3C78lez z?qUnj7WVh2UkNPx?|0C4Ll4)p#eE&0TS7zt`?bVV^NuBJe2>p(Qno`Id>@=-j=$sa zy3lFD5*)7b>(yK)WAujwJn*HJUAtH-KRso|c&KW-@BVW`V{}hqq6f-T8D>LdX@huA zb&)?@$BQ7byExGK@@82@GkFI6?XV#n453bD5MLPh0GD}AJs3BX;-B03HVaXa2R$M3 zJ3(c_6^h0|n=h2;`+@2x=qNWXuz`86^~HTU2cZ<*j>!py)|3hJvX7I@!XSbdx6pcj zU>?7tu(D(P_2@MS3~3Gd0^FX0MP9&txCyVk^4Hqgx+P&TA{3V)c#Dm@)o)C>eR*kd<j#`cwKXdCa5Zw-lYYKvqWoI5blST_&6%f4NW4ltvhrQPr}4!&;>Wv z(AE5_WAZSKgsaA0dEN@P@34IyYAciE+_1;q6hz)!`9hVr1e6J9Pm=DBDj}wy281Pe zokYzTT&Jc21(vvz?5?kk0vl4`jbL;jX*io;D2nW_ zoQV{f=P8O@t$L>QABzx2O7~DITw-HmqJq+go@VThuQBgfs zi3xYbl7OM(XViXIWw{PEDy7{=BhIM)pYFp#BI=8p>HO6eU8hs3IVkD)X+yhLIa+76 zE7U;$Tv;*l=P+;rPo7&wc}G4()q{{BjB{?UciNj6cXLzP6yl>FYzdbwHn734& zBU5}?Bq3cf9_U~a-t46m#ZyC~)>oGo^UP8Gd8{hZUmoP?b`dS&iR zEu~V3!sT3&c=ZQ=6&lPuh1dGV@8>yBuGlHF)ftN|i(@ zq*U_EFqA%DlYg!0lN?rV4y@vZn~v>k^Fb908&2h`?h7M_WBAkUbcc#~>aKi|LxYgo z5eT=dPvrgZZkdFr_)tr+-B;VcJO7euHX(a1Y2ba+$>&%{@jHBt9tpYqOe)T3v} zBIsga$x0K6LmBh6vljW$L(A%T zeQE;=)|iLR4B`qOnUg%+a;_bfmo+AS!oCCQ+IU@=K`S2*mdAq+32)JI2lwuAN%qpp zq^@~HY%!jV)Q$|0N7zityhP$VZ%fHuh^vTMhg!V9UsI40D+4Dw0Tp-8W>(a!%tu2I zyNG8!a`SfsDy(LYKmMC9lDY(jt};Gki`OE=%fTW-_O939p=tDm3Uk{lgt|r-Dfo6& zx?SaGih{^@New+Pq4H(C=+oq3N~&~_-3*D5TnI)Gb)gF98*Ge8lex)e!!yhc61~Eu zxh#{G+}TIw67^V!Z`*nWekvD3qC7dVyDym6#d4T!Ym-QvR{cwc8a9&?OKfZKLd+X{ zJyx&_I_*r6gTx4l5v#FA(#RVq-CMOSdB-mDKJ(t)ecU%p4qon1=Y@&zN;Xqzxj4d(52$zk%@oBR!Yilu=dogXgEP{O&N5#>hP^ z4!X$nj!;VKFc-u^q;mU4pg)acD!}j0YMFq~YvDGz)r3ojY%MD)D^xHls`#iGkC3&m zk{CW$O2zTODiCrqkDMdNd`(#up>E8vY^N{F_56}M?!*>`CaYSo(49=)KYa8YuYeb0 zw=$dLZuOc!dp#$axR1I~CBbn8lljgFnJ=7Cy$vl9mh)o zplgFh$m>A^m1|%)Dg#=y=?&;%6QROzh|jq>P~OIH(&w6C5-YSceiSn{n=PW7ScGYf zajwr<^QfbwVxV7xExrEX1+qpS$hNcm+`AnDBjvLi6Gb;)D$O4pwY8L>&kH%ro4cEy zt`N(y=d>j+BF-sFx~kb6Tju4q6L9Gz($O(s*Q+KF%$-{P4uMUDXzaekHI@RxbzQZ5N`$>Xb+Nv$V z`^2{gpN3#)724$Mk!}6W=0DtH;HUbSz6i#))W-w)cu#wcPA50zWLdYRx#V#+3zCTV zXO878AZH2*)?&|%o>Mb@)X>2BfcY`y{F&IGjJs^7o6)A}!>UIQQ9(fpuFEWn!YGZa z{~<(AccN6%E|-4+Wa`_Oj2A7vTQu)LknZQ0@AsRX3e>1ad z8dB+s0=p2XWO|f3H0VeKOqJ}fNgcZIn_7zghIF2o$}}U6hw9(%)Y|wLM0vjXG+-YQBd}s_CJmveQ9`RyDhT|& z^!&>ox#^mAk;p!X>bZi?LD0f{f8Zp{eyw2U*5>zQw7#B{wq4*^89EH6?*GJAMCX;Y zo8h)j4SI39BqO1TO(z~&BFsZGB0|x|?$Qw-;9De3&cW-u(Y zr}oHqeAo&4nD(t&Lb~j(=phUGp=s^23uiVNSxLgo71;2sCOUj!SRk^g&>*>}S-1$h zIE%IAeB`?5WHal#k}@`w)FtZkc3`D~8vPEPIE?9u3)hl*T$p!*hCGH5PpPx>+Q+$q ztr_b_J=2!uU-4MD#=IPT5P%GVX%2RP(dZ4r^7W=6=bq8;*3Az!$t`-!V=jUxi=oh` zsIk{$#ysB{%xKT4WI@M>0dLsZ*Wcy7ub$Rgj~Zi9b)vG1J)LiZOn!!Amd`#A!4wOT zM@-2^IAHhyM!y0eUEAF3x0lkw5fkx8Ns*Fv5+j4HxV-e!`6ionNe=2u32ve}kw*S)Rq@mN{=Q!cN> z#uljJZ3OVTUv2Z%agc!7PxPV8!#{D&Z7|vDsg}$hB_@t@QeTeN^aVe>U6ef_N5$ zDJBD$r#8H#n=mgjl?RQpqLzfHjK`_&auhcOqH$+L0$C^f-#7#ePyHqZe6ZdU?^j{u z+ZmsDBJGW5p6dj{S*;Fe-8*n($ZCp&qD%!XO@T(2H{&tE0X3$~je-%&P=f<%#(H*skxn-+L{m z{>B?I&Em!Dd~7VOLN`HqIR)L6k`E67w!mABuGlb3Eq`0;;C+uPlKT+@$4s>5} zWoB$W6DS-O*HH@&ewBnzxSbU~LS0<0D9?uNfv(@!LRa1cR-o+wJm2 zljGVAcZ_$MP-Vg4odgu-ctlP0v1ykSK z&b!8a>0pi3>Wjvgzpgj`q_QSAR9VztgrZ4g{fhWnXt>dmS7?d;ar8sY9MSrSMNY@% z!x|4REMwjQUJfG%)$d@U$d^KYZWO42;M zeK1DUan0d6hK!7nGiSFE&C`rN3a>Sls-a@=I@>y9j8ok5If&L z3$BG`K)Cz`cr2+t>q*}5C6TIwYFYFp5L24=GJKpF3(VAo5UlQ zk#3RwFf#^YXZE5ADT12%9+xzj&t^E*g4prh#IYl?QepOIIC=X;R_`J1i--xK6+5$Q zi+FxI_JyKA9%pNv*-KSv8jLKSb-lgmPsa*=5$`{bL+#YOng77Q!s|AqLp|IRd*K=v z%_zC(ksJo=R<2O}2615G&XOJ1b|K>%u#Ncv!g6w|dd~SGtn`aJ|9=sR za?XE1AlUvB0>S$4WAZ-;1Um=AezD=g_g z_IDcs7=}?8c3W3Uf;e_zVOv5{N{T(GSR&1*{9i*}_w8@pv+t#*b?)iL=f>yGXK$Tv zU4egT=>(Y}q&H-0sG#mT$9iB80A&IgIX(cykr_Bp2gBKU3qkG6Uf(pv6PJNGIs^>W z8+}kR^V-()0GaL0M?dgDK7eRDZ$J`u|GQ8^k~{(ghy!3C&@bU&HYni2i5-G8Km=|+ zL~xKU!&!+zT<$D_HTG(_>CYpiL9+pn0~Ewv!w(#|1V=y)A=-%o!1&fO*wtNqVQ2@h z0J0e%V3*gAI+U0pwz|5wARL^#yStk+IJ#SUQws$$bwBQb74Tnxu7I5F{?q_{SYVZD z+4ABi3&=n%;A(;wgMi9vrmm`RYU+L*tM_ON zyIUad2zGbo@U^TyAA+yiEgS;s0yqYLi@UlP9hz*yxLUd^I)qPsTBk3m$NDKI1!>Ck zU|@`ki=g`|KFbK^wFARVUe2HFYTSPggXbS;4Z-|WwZ6>y5N;<6VL~~F`k*KMWN_qB zem3iR>Hu^IkO#;+pnf@k`tVTLvAQR%+_=46xmo>_a5$eHT*Ekks&KOYUIgm9A?Tsa zku6vl2iLG*-=5#=e-OmL1Y~`PMmvyRPz|9%jDI74`hc4M-OxU_Fb_ajKlrsHP(WX9 zUtbLVktt;GhWF3E*X&>5nF(bzsYT<@^|MJ%3Hb=%(d6h1yw>g!2mpwu2Y??B(Er-k zRGuOHQwj7YUkT1 zZ-xfa8q$yZvs$%h^}_&;q+tEo*M@jN1bq*nT`8zTYx5Iv9IyMiny@aMZ@`)keY9Ew zWN-)q^gH&-po!)N&mKM%Oyu9y4w=Z0UQ+xAk_6W$a*SGKAVh8B% z=7;gKd*HK{_Pe*s4vTRG*xH|-6{rajx~3N1tfwZG(A8uc8zr+~e_qPe;5o3Ar^-qCoK5)0~Kk_}hX^?XHyxhF1 zl!2BeO^%710Z2)DfH`pY=4?NaVhsi! zt9l`nvcs<*>vaPNXN~>gg}4_T^s+78s#=Lg`%z_A-kU9+Ceakk1xj;|%-1zy%oF?w zmp5hk7I@%c$i;YM3h=^E@7qCn@r-S zn)vbd!O=x+m1HF8^ytayF%E5I>2uvKjj5}zEHYClJMY)rnt<4iH0TI{)EkrWXBntw zH|D&X8fb!FuW0*=>Bf>^HPylq=TW9g$)5IjaCKu=l0Z2(zyv>w<7c|-D^7Tj`#|Z5 zNrw1oFN&h$^F8e5=>}7NZ5=!0!wWqRx6*95lUY$?Xm8Bt*>(bkratIkp4QS7ZNSVw>?iGSos3-)HQ(M}l> zL}gGf9tsnp1hFgT`6oVdW9T|&K!P>RmQV!zvNCF=%{TlJk14akGO{eE*VARi@jy+M z>aS*YjO*iTaR8ax_f4Bl{iFcMhgwptB3G#EZe<|OH9U@pXS_CjpO(FHOT{&Rct?yV z`v>Sx1kybfTPdBmPG&2AB>TlsxA!aA4!4xuo)NO#S)Z41%AgFDW#rkjLY{qmy*=(&ZC2-VKPnK=`hnz+HDq6Zxb=CYEs zd5HVbwQgS7#HFlABz7DMhYH}W!y^ZiFZBkHO*bY+pIj)nOd3AUq-Q2ohdIpb7ASg0@j?vN|s!36bjuJ?quCh-|c@K^f!Ev^_mN@i_(a z&2fj7CXlA@&7iQ?!)XeN`;Hyxift)&2Xmb0&-Tf1BL1BGw<{|dlhqR1+>{aXk!uT( zL_U!r%%lRg?l$N_+6p6P4A-@!#8VXVG*#4*VV-#-hFU9*YydL&nYmR+i)jR-nk>Kb zsJOh;Bnxi-;epsW|JMrAit!!=b^R*u4tfvby}!@v@Oc%AS%7FNW-Iqynt(dI*z!9{ z{?K+G?r&`8;73zFt<{xyN&B$o(G^;E5u@*JCGi&*lD#nGUQipi2u8Ty5>fTQNM?zh zQMVstnTE8danZ&{`P%|*!`K!RM!QeFb{_5jilrQBnKo5q)_Eql=(d=P`HQCg&t?n& zs8uaw{s@sC8;Z77=OCBpQ)s#(vLaDQmJ6OpST8n)1jRRPHq@GQBKfTVa`EOp&Zov{$x-LT znf(`I@6;n&8@9`~ZQHhO+qP|+vu)e9ZQHhOyL-JW*-G|zunxyBc#?6~RfWfCaGUeB z%UW=HFrTY>A=C0@LYwIyEo`q4bq%SXB^FKso((beqZCJdKPd06K;8*8k7MIxNDRC2 zqqwyK=qFu6s$$ZfG`Atg+Cx|{U;7-Zkn`032xiH7ZW=XASynod(k@c~u;MS_+ zd7#SFjL5Vt@r!0Ta>5y$*2Mbjq>M*WIj0SW7%as9a`|Q(UVZqseF9605M4HiLCUYi!0zS;A7(J6i0x{0>Q|hzFXJ3FEAjyCE*J z*T)lg8#wE1+tIp71pci+znsmlcQ=52@x3yIIL#W$j6PE+Vvh*j+{bji40GI;jqC`i6?gng@IY@~B8 zvmfx32xa%*@dZwjsIa$#F2)Op;MG#*zuzn8*6qV-j2Y4g`VD5wDpzoH*OFY0XLxIq znoD{|iNqqA&-hph>!oV0TubnBnbi6$&?DU_gP8Jd{-10ycRSF^bn)SI6V9amTzPZ) z80%VMr&4gDh`UxQ13DiM3w^@58(c(9Hf%2S#H`TjrY-!cdqe4@ zi4E0$7`rB^KxZXci)ImnzRC$8XrMN$k)X@Ukd1h^_x2VNs$}vnWAEuWiY=Y$(~ptj zKJ5=JJ9glXSNh@BR!n1RZqh+TH%olrANUHj9rs&nz^#M6$k`^8eRbx<01CrZa}aEI zpkicE6B0XU%|k2yAcEk~B$aCYjJz7{U3o{d{wruF@&BNdIHoiq05dXB*vIvsI#KI%OdjVKbI1gcS(~f=WN@xxUkF6W7GEce(3Be(>S+S zSk&UGI7y3~jr>tT}YO#tg9Ybc8=7$vWY#l zCb3`5mC$_o$jnh0UCh}b&V0|EYjHhQx04mN6TaJ15vvz6)iwlbYMF0TtTTp#8{ zuG{^QgF!P&DGz%MS+ZYKL%Y)!AkuFk_Jn(dvo_%{z8Kyoh2mPcFiU|Hcf5F4>UOx* zvY88M@GyBlB)k@(%X(E6t)qbX%z^8*GRM;gp4WAX>^H2#Vo-6aebZ*5c z*r^}!QR)#&(7?zy3w$c*#W_WWlPOYfGUo&pJdn_H?AQzB)3V7(HGwW`uK2XlA~3}@ z1xHs?$R`W2FwlLg$f;(Htu}VIj3)jiv5cf9Y+@Bx6(oD>GKkjjnF^4m(VrYLrny>5 z+INVt+Nbm=KQ5VF<~F4lAv9c6&?{TV^%x>st6cFffMlWJ4(1ijm4^C--udhkP7{^MOQ5T238pFd?+Y}ia44eerw-@ zXv9G-KeKn$2OnA`IQi}2o|Jra?$cS@ZoituE2<_3zG>uKX1@coJ6=vy$Rh67sOMcQ z@Cmy{b-ER?%dz$e4o4p7)wQ{D>C3=bRN{@=l-?<-QQ=}7z&SMGg`P_01_F7na$>u{ z5t*!^yHpv8uSQS=W9pJqQeE$WPvK{KHeH6ABoEDJ@uJj5F}Y||bl=O)PSbQv z`8dJQc!GXGCXlL;k%0AR6f`zyOk~?^aLi?=abt}Dqy{B)ibuS^E-oHa3J2*cf3N^a zeRJWG+&D@#_BH4Lv*qzx(peOLg())@huMHfeT7$&S%|CadH&f5r%kkNEvE!|DyqhY5XiMFFJqynpVHuzf(XwiFYdgqbWTQX(rgceY)*3(4yRZX8+VH~Se!0HN-q6u2{AZ4}UvPU!vl3?@4v)@(oo>$QV-d%+sKg47j z&9B9M^M`AveIVw0b1zGZup274|@}srTI$Yywo|vr8^P6G$^b@=vc1ql+ch&2Vmoy=BB!_riC)ES_!wYhO5ppvS1BavGh zWdhLP(f27n#D2%Kx%K}%bX0T%7&CjKeVW*eo>XAjt^LR0W@Xqfm|UNhp`$>D6K`l< zCgVQC0>_b>qcmyL1F{flHhLE2KZ(@kCY+Xja;w#fe-PmQMf+?%#j&9oPTv_A1fqYW^CLrE(!W|t@!3sflnXwXdgq?+M3w1s@yZbYp-@m zhJ6e@evXxH6DB1DDq*4)apY<*7%lr|Hgg=oo&#on1~Gp4#rFVtZZYPl_o#G4ukhDC zU7HS7Xm+|@gV>9&zb|4VcRBrgX8yu=mdMS5R24U2(aGejM(v1*&*Cn%&3!|kG*}g= z{HM|{f0XG=a`6mTc=YX-V96*z56LP_0!LqHD*3TNpJtTntQ8)zU>464rIm~#Si$wP z(Z**k+b?P*zfmu&A8|%FHYT>$ReL#7+!VX>BqDUq7S)%hKA%?>Zi_%o= zwRxhQ06WbLj{9z^%E7Db?{s`Qj9CboLTF0?|O zFO^mZS51_cvbXCm*r{a zw7U&$4hr9u;KUC+)u%xIVLy(1R;I*>r$ZKC0cV@giVBG<;nzW8xkkp9T8^6!`)`S0 zSvp3d5CoQz#=B~+y%&vOo^}&r!3D{AKybUHzW z#w%1s@|)?tiWH-*A3=E3Q+pNc+pesvQRerfw))uy<P;$q5b3dPl^IQUK zAigGaXaOZ;=1E>(uu%+RNb*uSx+k+8^FP7ab7A@(_g9i`>}?U&N51j}8t`=jTuyk} zSZmT2qvA{sb#9jjHanB;^sxKmaU-QjY4_PF$2BV%+2hWAp6bO-OY|HZ))RxL+J_%ENW^HWWXbF<+FlA#a_lmuE|{nzB=3<~;f^Q`ben zNe>#~65=n&({h3yA`RqR zr({iXsv-z*$mVI+YJE1scWrzRW824E2B@RBet?QcY^R9NTcAlVFx;m+UvF>IRx=ED zeD>&Vz$n^!{P^Np?@JZm!Y1b1bF~YYmB5VWY-cPL=UMlx@K71XPD&@iXBDGC98AS* zy~IiD4a8F_CFqitbZ7CIlCD)fk${PNA00LpUN};^TEjycJJn?0=eH=JOR_=kt8WYT z{Kd;O9#Y8Ow7wQ+r;%;Cp4ZJqhb|HLT^X4zy@WI;Vg+Tgawcm!$@Ll(L;~oww5)*Q z4tc)1xinT8G1ma8H&4h_+f^Zo@+l5YdXvqh#O0o>brc5Haw;)t1v7#?jj6Jm?2Bro zh~mwP;@g6Se7-8m?&x13-;;h~1icf2l^=jty7N04nyXbj>e>7P9&Ckh1&l6?Z zg>I{phOh#^7I9^tg3SMLpYSU8yr(QPA@y~sr&$H{lbGabS^bvlgNY7WS4yzYOo&dh ztlB)UnKe3`&a8<)uvt_htF1wdk1E-g(W@OWA%_K`GbEgDWp_+fMUnvcP!|Tx*Cxfy zGYvuyb>&9#9=jkZeNw+MLdZ<5+iMA41AVg10F!M*MVOw~*BU5XH!S-q!qz5ubkTe6 zy=@WcY;WZ$sN+%hj{YcdXF#fH_C$?ot-M#ZPAs?6MyI;I3hqjSjAPJ%Z_1KD%0UYI z-JFv=q7pFm$Ug&#rMeJok%%W~%Y~>$q9fsELAC%LOSljj>vRHl$z`lhd$f!pc~2!o$6rS@ zN;R}r&KP{wBs3tLNBTm$L|EmS9>Fh>2!;@iiKOzF+}r| z#cj{VmMvb`p&W_Jxr6&U$iO**4x$rY;o>5|doLSCy$Bw&VEH)Tp2z%Y^xqujm}Ngm zQ#RO2kgm)3Whm&rmReY`hlDao9N3YVYltUD36~;G18pg4)^mx9}#cc`rG`j7k<$-l6d5i-xkxOz`?SAL(yft+iloSn@Sl@<?Ver?fn-3%iEqd{%#tC%DqQ2FwOqp$n}~ zc=58w_9xxho`RJ(V_*fH7H3iivdk9d$^7w<1n_)w*&ZrSR$=;kP$U3k8cM|8E8 z+GeQhxADTv2QIVov9{Cz#efpgt336XG?^q#`*gEY3aBkluRRvk24ztnUk!>-kuN%Lsl2H%)(+{uA6j>kd7rm zH_Y}(j^IAB!48fB?@#@atGKvUy%$=u2PG{|Lx6^&0jKtSeux$5d>^ zm-lS35NkySs19r>?;*-E8Z^by*=uOrUGJEp$L(&@L~X(=rk`^E+Zn1w#y8i!>~h;_ zBTYIX(new9!i{BtsDkXh5rPP&Jc#_os~gy2eDNLiwPl$X3&3;D8`D8C*OI?FaBA98 z2U#wllq}OrCf@t`?Y4s1vgk13837L&*|52X7n-vYlcrXz8wmM5Ke7BTgHM}Z8H#?d z66MCjGjXa#78xH@sX`}(0@#eFp(I`}hJP_L>3RlkC#nnNny-&mcp?9TKR{|P&DH-v zxN!VWgbOq0|HHH}5wJ1+&xt;EMh@2h<3yhus0y;p7dsGA5h!Vjq(oB;N^w_L$>_R4 zKN|+IIHXhrloFAI6g80q#G;HqF$qa>a-s^L<*#zyo9FM`m+zU+-UjEE?~Cis+MRpe zgFY)Gy0Ys?dw&aqMK*>A4h_5tJ4+I1&_Lp$K|M%7-X2iIQ_$Z6(0k3khCT@x?O)&Z zr3MFz__C#dqX@e&3|9Hs8R$O=AVQ``1Wiu{3<^N7sh=^#;1qBxfuDq00b$2{JTTZd z(EBRm?%;X}c6XeHN&i>@!E^)!B64!-Pi~y@$ROhc1_~?-h>?yV#oV2b;?DnOxO z!vBkJA^CJ?Kmi-d?=CneAlZZs7w{Sg9Mu9lY!}F;K!|kvIe~b296>lL_*E!IUk*9H z?{cJ2kX}K7Af0_%bLnNES;Ri0zKweRWF?{uln0Io847R1 z1NrPxlV>3Vi1~9CBUq>n*C%fO^bDq1kih3}uN~FL6G7d_&%wq4PX-GfXmm0l*anAy z|JM=hN7@GQ82ZO1KpeG}QMnOgh3noN>ge0JONcg;`DU(0m*9q{4Tool|5a8sWNxHk} zkM;Uz{T1YoC=Bs_rz3_zWON`f;16I2p9(er9GS@64685NAgng1Vy`T2#E z(5p2r&|U?J1n&F?oWk!lr4RBXRCqv!p?_Ql4oU$A82mRSW`a7M^ltHv^zgm~LY{cK zN6Nau5Pe1OCMhumP@qA>0wJKosF(x$K&sTCa~bV^A)avnmJcCJa?T+8{x z+2^}%8T*9!F8uj2Ts2v;Y)>4XHjAzoVUfJE&a2>cu4&Lu%^~71Pa1iV4G#)O!<5P( zdMhxdnA=+@{V`0o;}vNHfY92VB--JP8R;#4G?>4i8R5a!m5mdyAnye8{F6C$f^YbE<0r|TCX8>Ll6)M*AQh6cu#ePtTU>{W?Jxke8QP(5orpJ zQa4$&6=#~dj-d%Tx=!AGgo|`|2t6~?lXrq?$)6rElGUXim-OW!4ug`5q&Y6im)0}Z zg=13klkn)bGTw%IYMu#;lb*s~#jACbg6revg|6-C8l0cBiOBLhPq$*)kuom(?Iv%% zv_-&8PXoWeSTfmmdCrzlA{;cK4^q>G%>7VHxlI`^%o7iF#goO*?pwIG9s61qQvtl) zTg!N)#Yt%{gV#F$wl|K!f2&r`4abWfMpf*K%oV#E#?~%hQO?$8vRP&wB?zHbPu4Ln zY%yV(h=+DtD%QTql5wJg9HPPt;N{4Bt5iqMop}FSn{)0s@l~qgePMO&b{bB=Pq~?L zo!I}nQ5f2hL0AMFvXl)n&T$s@!IQ-~r=q!PxHG*b^_@LNT`+VI;22mT8Wqi4uvj1E z)A{{l&esGl>*8580z*#%U#$V^^}5ssjshK(yIig&To;2LIY;sBDg1K9%Jh{FOSVJY^TWcnT2t z%GQ+DYH`?jk&;_$E!Z(EcP-fxUVXGXTI^RDMB)vMWJDyY$lz9A52hVWz7kl*2yJy4 z_1;?fYv5ONNeeS?hx)9jDs5_-wh(H0M+4;X*3a|#ZppBZq2zQ{N2GW{D>0ElcX-14 zfut;mpd|sDngHXQnr>R{E}}X(z`;GASkBlQHm+s{H6moes5Bmx6`s78N_B$NP3$^m zPZB_U_xcJvGF~6Dq$HK9bDGs|EK;5|N95gQ*WMNrC4D8RbM)2d& z^5!(wT_Q*HoV2GJCPrwYWtl>~)AAe9(Jg$d7s7MXA!VG|fh(Bp=ubE4VA^cwtXYdj z9NFgy`vdN2TsHCzE+)q;9)1K0m&ubLBpVRfB_3tcW^$ziVn8-6e%F+u=FQmez_PgZ zGYlvGTDwc?HXl(eCYK1xRC-YBtla^c_ntW?iF9r5qKQT*oKftf3R1cMcJbQpHG;-G zEv@=XI~&S{F3e5=&*TpLk>?svwuu|50y8J43H*Ta!v|W0T!V7BA01rT?@cjLhII{_ z5svnHNPF5(#g~-+BxZX_t)eAzazn@~AyWqFGv*GM(0#xwQERb0Zrrj+J+W0p{Yk~O z&IGsZZ@~2PMpa$zMDT;(HCO;O?niK?Iz<_e&;wuMYOEDW36MM=bS^{F23n#^SJ8m+ zYK|E-{PbC}Sx@@uSnS8~f!cUYP=?Ru<~9l>BoEG>JV=az{GPz)Rxx$vnepYCq^fok|Ok ziK!?^hUf`>l=V5<%J$lO_4Oo--NGo01P!0EGrgOx&om8!Dapw0K4%ljxDZl*_Q$3) zl8r~dhS+K%a|?@kog~tnUJPh_L=#f!qcC z<@B4@)+7KsE7Ro25}TuNr%c>BOIQ}$+{@xH=XPfp0S=wEZw-blUEXVaOAwc!x0e6) zWB7q5dnmg`S|sO)9j+e8^#r|h2S%Cv&Nta`bH&p)>`8bf>_zdZma){C=7YR+8xH6k zR-O?O@N2A9%VSA{`yk$2D0cex#h42+h{eY&dzH*&(eOx-Am7Ee>8_qY3j_jr4zH2x zf;_w%X-|Y6zq#XAgZCuwp8zn=^k+E$Kn%&kL<(U;WHT*5fwO<|X1I zx2hHqkJx`@Wy9F}7K|=&idPra?8py+@y}fWI4dcUhQ{g2B+alvt~C<}wMXx9M9W%s zD&XlQjdhy~sxFs%+dkH->4nM zuYv6@_hwjg*MyR2tBOBjy?pAANX#{1hw->aIodhsc|E08QUU!p!v;lqUPP6Z}n zelLh?`nlN{W1WkZwA8ew1{@%-;iOE{+4cu6n*^<|WfR+tl{6As7BL>XD^Ym(v&tl1 z%?+r-iP$2os>glQi_E*r);WwJ^0$(I;3afvC0sCUj2L(5jxwMYgZN&`nz%n4P=LJ< zoU5+&&c3bLptThPEc6{(7Y`LG|7>=87Exw01&F^}{uOaDQy6?LLJ}j__`wbJuiSkU z{Rdj6uuk|g;rlie`BD`@ zA#r#%2D-~Nbn+VV=CyxBrud{$l(D-(Q_Kca+p0>zVRcFu!%M4UT-|rdzKuzyr0;>} z=*LzM!c_KscH@oIP!+6Ky5)Ck-j~LV(WF)&&7Ynw6Jx1)KQD>vFoT4TcH>L5#did% zv_`ml(xbk3lB2vK=k9n(jf!zGd8(N+06=PYrP}OUt)X`kBijBDCrSFqR=)csznc{i z`{y|v?4Mjp_h2CtYP(IYV7Hmt@3n>6xebgGn&?&r1Fg znV1drdw2An6X@5@vuj*t$>PYP)=lvU17ra5VT&Qvpc+1B|1+5lmLhnv6{@xTmO#3F z!CMOiITMePbXhNb7xP59cax?!x01*}K7e{++mbQ*sW=PRcdlVZ0qAki<@idUN)>qw z5Z{g=u~A*rvHjjy>3zQQ?Oj^iQ;2$|_lYf)mKNo!%+pwj_uX-pJZgW)KLo!!jM}MC zi#|;#fb_t)){Ug|_E%r}RXY`O-Dq}~V~Hu{uLvrd<~sVX#SxE%(GsQ^N!Zb0 z!N&xd7Nv%pF|)eOt<6efw&k}Khr6cF-JO`SALF-+)bs;`Krz**VP5N5q1f3-u)^W( z<1qD@)6I0+0dLD%)WSP-(G|6a*5T}PC>f=pDQhONdw}9b--k884U7Ad4|&v_Ze$vwm*pHz3pEr7KzJoJkZp>7lX_6*y+D z6>lhURORS0U7L4CmyxVY@us5AW=}~gS@QUbF7)L)?w?A)T%%Xg84nq6FM@ft}u^Q}9LpOn7*pza+d-qV>$! z(AU&2=D~}e7l;LHoxo{p=QDP-5zPDy#G0?!^>-Et|^&%5b7hE0!oO2d}JeKzP$_Tz^(3*;CasNRTE~5pSD1El4Foc0(uB?_SLSge#*{O1? zVf%ny`oR?O@t5J=najcZPG&4!b?Cb2%Ql#JvHf2^OBKiL5J^RzzE^%?Ggw2i0Ab0{EzetX}!0m{i^_)|GsywhjA|rnad#F6{uL?jB4|7P*ZGxz{U0@qlPtg=JYZPNB3M zKd$0@RhIpk_kXlDT$@YYhCBSeF+79~Qek`sP?WWonf9gMTDiOc)|&_Q!OYJDVUKu$ z`g5#Z-7I{RVQ#%C81~ziR&fP44WW3aK$v|W9^lIcu63l53}yb#rFy*QJ4ht<*=cU7 zUVitD4o;IJaK4gl&2PtBnR)iVnpqlSsY15B%w3VQTM4I5$C$+4aat}q#F`5HLzeH) zJhsON-3RI52%S+PpI$e<`CV8%_*6!aQXHE zRu56{>i4XE$tTkfDk00jtC1IJHb&rcgdO%SIA2oGK)!raHVD;e$6)%#@$k73Zra0O z_ne@TDZ2DF@(LAkYum4Ut^BJcPVH52`c81sDDNjIF8ZD*n>Grh_TBZPoX=(a^DHeG zq7Krv3W)+QAv$qZB8JjiBk;mxYOWYz{i7$6Wa0EO->_R+a`8D(s2F|2N3)8MSiP1# zixWH-d%icXGWs2yDWTU7qR`mP%{jZt`iyP;o=M6-6cfZ4%x)4h+K4{iR5o?3DhUg0 z=yha#nS0XateJ=s-B{S5W;iuDe=&+@D9I1>u2ctdxwd9YMG~3fI{Urtbvw6QfN81N z&$e6g?eM{}8t2B42a{?-aX-2K(zVZZ7oMF{Jl`xOke6A@c|)Ch5}!36+>o4G{A!ip z+fMln|K8@2vB*xdGdq{4M=(=Y+B<4hTTIpyEjuCf^Fhq*2db$SqQ)cK1dg)Bmq3?K z$dyuOTP{)CEVKidy};-kt(Dn5Vr(Vq?!cto>1XxZiIoG9f|B}*LxRbNFw3I3M{-^u zG=MSn;fz?a&*C(T-J{b-McD)@$_rR z*M_}P4Sd(`!=gkiyy{M@%{AL(=et)owY;tSUx3caW*KG=rGb*lJ{+khVhRr;vs~q4 zA=C%{SkRYsG}1YZK71bBlDhV2j0)z|acRY!0x&M3M!M1f*}`v_Sld{n*4Y)cJGp z&gpo1JW=S^Gz|Lqj=s`XoX32+WzMxN%})Z+HG)N#>vz4}u6e0;MSuT^<&qF4Us5aw z*xGT+K)Lme_H-$|PgvRP1FzSkkon^HA5rciv8md;x3${G+4&4V3nPU(nWLcO@Q`@y~)Xy%&ZJbK4DfEw$a@10=A*t@rvGg1gFLtGB zYo19gUDz0It@gh7Vfsw@g8h>08y;L)W)|Sck8)>Ir-_Gp{BXRqcy7i?=H{r17J#j( zQWUBh#bUUOuDW$ul5J=~{F*hQ5S!i)`4*BbAg|boUit85vOR$-^O^A#>}@M!xpD+E zN_RViF7SdF1W(D;S6*J{sG7lGhIc=yvoCn-Y~R7TnYQ4)7VVcp1ikC4s2S@@%soVI z2-5QAP%dKqis>s)`nKWIq-8C`3R;C+h9}}$P`)9}*~dcV4dc;ZR&Mxq;6kT;wN|6WyqR0q^vyRfK#<&42JjqXuae2xbK2C+>Q6wfGK%GDN<=2v z3N)Fv=FEXhmh_bShX<#xMvNhb6tjWava!YfO>&gYq%*=Z@e89k-gptA^(N4?E_gRq z>f7<3@Dtl5Dd7#d6uPhw3`-Aw`L_MW_=clDHAs4@n% z;C@)05GS)Vd$Zn|v}+8|nL)J@ve8MlM2Y9JIDHPau%&6qPMe1+$MX9W%+A%?CtY-% zC)r->$5|{j6Yo}9`UEZ$mzyqlWY0bF3h}N8AI|_JYVE(v*EX&else6sz=Z2f4J^bH z@RJfIUj5`#--oTWODZYVbDN+Hi#{CH2S3Q}{37DQfxLZtbTeBY`He`aL;^`Oks?>~ zceT{*ea=apepx)N+)*r=OH3YWHs2dXdOx3ImBoN8;n#si?bW2(%V&0Lv*X#)&ozCg ztvh>rxl%EL{@bn&`anb|RP!~>$J=>O(U?Ba@sZcfKE@1AjkR#UoA+*LBL-Mc|E*s* zd`ROGucp+gRd{;gCFg;+;SOxCv!_!**9-HX1uRbjNe>tUBqPJr8-y>R zi4bkrGhV$+;(?Zx4D8O9FSa&w-!H0FlO`=KTYKP^Q7XT6HHRsx%9v0IckW9D|SS5n4hN9XJ``zEr!&3vYq?d4!1zJ zzMMTxsX$48P_~Tob_?A{zel{)%fn!(cVnJRKXE5fk}omZw(-@Xa`vScG)p7`8I9iB zD{mz2K#~C0Y)U(QeylyB`Wyw6- zu2uD7ZioNn-=Yn`*ha7)E1pQbT7t{9d0P2!`l=a$(7e6aJ;(U+`>#ZD^V%%Re>M>VHP?RqV3i$S}(S5Pz)8;R%jAXzLZz7)gF z&BKi2n`~3wcLDbqYX7)0yX6_$DL978tSuDJJoc2~M3+Hv{6e_hm_Jm=d(0n=ftnZz z+gC>KH`IaffK%nJj8qMRVfH>c<7LO5t$H&=;$EVQO>pO{35UFoKh;TvWR*vBV2E2N zS6SU|T{QWX+pcIPam@B3eS69eq{!#$9Dd-BN-S~z|L>5@4FA&|l7)rk|6SU%F>|o~ z-(UaV)*w4G8`J;s9n#}}FYVXZ7Kw5effqS}7k74O6NdnRhhPTh333)mWAa%bBp@Ut zpe3Xug8sR*N%e^}O}e{qQgkO%_}CQ=5m?hfomjOXwls zE8yhkn;L)t0R;#M@)0Ni#HFktME(=}9emJ;A+) z*Z~FufCLg4JS0GLBtRel0Ezq&6={zEMzQ57a08&_3*Z8Ra~v~P6=?r#7sSO$DEIyC z1aS!91pF_(h?uK?3&4pUj*Vgi{NF~N0GE)i9Cv_?Apj5vCWOHE7d1$D5i!CA_3Z5J z@$s<9(eX^Uom0a35uiI?LOg(P829iLvH|#;1~cFG2+avt|O>}90OnRD2n-|F}uGt6ar%Dx*E1Ufnd&PD7SGrwp#Hb^v=JN_^KjB6-y z_r9Nh&2@nT_g9|jx@Y?%_CP@#4}n#rKL-WG9sV?65C{a|$iI*f0f2F0fMM+G@jqu^ zVSM#*`XhP_RpEd<>OoY4I4WQyfR?a)zWeWOTOLAy;w*5I{yToyKfQxM0RV0a49NNr z4uJ!YKN0Z(gs(komA{?*T>xhSDL(>$`?IS%YUt#_YXpb%IsRvT+Eez`1=V?`!(Zjc zJuy$uf9(Bn>H;wR)MPLq0RjYu0pZ~Y1p9lAF1GppkMHpMtnIx2O{}~B>pWuQYfq?#|La~_YnJ?)MV-rv5kwI96 z|8~_O;l$Q|aM%C|4Fh7bvSQ%zD%Z+W5c=W&WlC{}ztJ-SzklpQkW7LGR5Ah>#5oLo zZD=4O1n8fTKUHO}xnIWG@SC}nt% z*xRbRx}R6v+Gq~HH}li3?T&=M4b5inhq$cxkYp;|MScU?5A?Sk$$>)z;|7fysvKKB zLrwT4;_)W5aF%jYd9J(9kAibdHk-*#Zt}nH-Fn817{i`w7N@f!l`cb92S* zv3o5O{wpnc>_m$_uU2b?e3D5^vQzGvB z2`qArVC&*~^do9^;A0X066;n?j~*4D9JF;#C6{F+aotnZfuHTX;7e**UVNx} z`wE(4j1)>1_4l}h^7|aLuO$AS6^C0;?0WO?-WfbbtT75#V|Gj4_!&t&3MWexYWi34 z7E;9GzBeT?@-=K4bq{N)v3&H!y@BTibhxW2*vvv(rYO&G}WA z{%tXlc9tT#yY8zAg_}LK@i}Zj zBx!y@4?e4+6ug@GTFzpB@&82-gT5e!zKM}vXFuN7h?}sJ;1TVGXv{VAnnwJ1`5Flj zLrO@id)@5KprNmh<#qI0kEe~8zBiFggdL)LRXW(&)!IZbx6S%>2omZO+%60w%n)M8 z$z75uY3N0n^v@yl=2&zFY9?jMacxcE@cHS9oA$@>PGMp0qpz3vHG9IbP=josYx7OjUzw`aXK)XchnrA_}^uiqE|Kx|kDQyEkOt zyIYhC%Wnlg#l-h2&uD_vnS0?Sc}#ruTRlp=o3KUQu2XjOxh*`iupjmy z^B?}}Bxt}N0TZ2ZSs0u1D;{*ggsAhk7hg~=lc3=GdNZMe<8j$xh{n$qsE?XhSEBh^ zEWEooZKscAI7U8E#CeKJ9QseRkpCmxYNpKaT=ZQHhO+qP}nwsp_UotwXr4>ssFF9h__FDvfc=D z^U0LU0kMDgm$5|}RCZsWeU~wKj#(X8u@4nc5>OaQE9H96%ez}=stB?Dbh`xWLKAaM z=K(0=3MIU-GAFKkbq4Dq=P&UbXEeTQ`zF@&~R)b$oou2b7@X zrsnNix&CSAxf`j!irR-+w?QVaf%Ly8X2Y7$-mmWAJv4yHF4|azX1M5Hwwx)Kx)D`F z(G{MpLOh$qtr;6z>mfnSt1)FdC~1WlV4j_^W+)4xmm-eKe1U%_5F@T5H|M*u_(XP$ z+vGs)Blc2A|E3>~bi4|x`8_qR_CKR+k1)=`DlC}o9y-tW=={bIns;K6;SE-`?cIPG zrv5aSN-o7p>~N7oE0E!kUC;Jdk9UxqL_VKX>L(2d;QPWo*h?zdih!s<1msx0maAFi z{!2V=BmxB~HqY0LV5GMy@-XyHpT4#4-ErgeIQj5b9d>bI8_L3`L|f|2ga%S87X zcW)C>HB+mLRPizaUl^lvsws2BJAC4(D}YZ$g?%cfRCO2c9eN}Ga2{xpP7mK9t+ZV` z(tcK*ZY-fQgX{!}x8Uu|c{%k;OMETxoL0Q)&Vy6#Dt#g#USDq3NUtn-YH}eMbljCT zU9bV61?qhaFajFXp-!sIa2ZwlYVy|Z=w*@2vUKB5+`;u`k15ckPM;=S7Z1qXi9LX! ze_%ab6KyvNy}^X3sn%1BrhRfh6mi*Y2OqsXKI3!P3AxRV-YL&yw2~${pOMO1#a1U) z+TG#XXi^GF(Md_jLzsl{ zEzew|UV2TZCBX6Bwz-0NrLG@D40-cguBFg&d)oTPSm)j8fUxtx2Jr4tZXMInWG&cv&2=xm-7yHgCPC<9#HQ}WD(?bN~44!W@$24})6nQzH z<3U`Y(^BHX!Sgn9p(klWC|75s9&6AjnA87u#4zcfrl1dHT#$&og9L@~cUYt*7fq!Z zB|dJ?J^mqQ&`5OqTkCx)die^ceF1WzxJ9&91TG{D9c`C3YS*?eTtCb!p1lR!qukQ> zb?|z^FvmP_$7??^S%td8)P_!CDv{UKL&LY<*1GH)LDYEx;mo^cz#&lePw(xplFui;)W234FzPwX8`$bBr6}>%VW8%H;eYLyJv*1}+lilc_4rTO? z=$E-+)Y-hgq?L2x?L%ul@iapM_*AekG;HWxIcZ)i#? zRiEsjKC<{qR<9diJRg>FtJBbpd-pF7bnbos)RnEDWzrh*WMWy9#f2iJhO$Jiezz97 zZ9J;YxM;?tHkCYHfzvHi`+Rs#=~?g6BJur$s1m|V;9+}yr%4v+q3~9pSKj2|Uptj` zU=x@0BK%g(s>u%MowZ9usmTOue!?MN6HRsvJUCO#8-NyeoCeh->z8+Ewwz2G03uv_ zd;%4T#{XvB6pp;vx?A*`tcoE8oW~p2~yC`9qNA`LdLZP@?)xEo@7}gt_Qao)obA{H8K^&%`;HBziq@ zSdgZ&s^~yGj&oOx86=(i<=IH zu@ittKw@5MkRAJGZ#)5_RmSlcB62O8QR%vvk^)8Nbz@(pq}k~6L{&;ct8cMvIJOVo z&`#&Umb+FvscNSx)6TQ5sr=98o>}*6xZkyQTXoZB0q>jQ;pgc(m@{}>YZa1y&QN78L11} zJdeqO*S6}8apCbsBHz*461AdrcEYoNGF?qcMep&@r1HLWCXo6bJt8Iq;wpR@q|PN2 zBn76{AMX+Z)m&ISy-<~EXE%ayNqkJNcqknetlrDLomiJspr)IMHK>eI>-%msE|t84 znzT^&CDOcGJ5JT4ySre;9hngaev1+5a31QUJlsxXh>5XEgq?d|I(^guRW+etE70-r zc|=q{doly5#BAb>bBSxYn#rbL0i$6p3`((wi>~lNE48+((@VpVo`dO$;Whcedr@8m zlA&U1+pY02Wq_0Ci=(0IZskz1mV>oX@SW2E)_yo z0N~}S)2Vo)mxZBT)dMY^g2@)$-s6}|t@O)EIz}S~MR84}jMLwYXjSPq|Ff2m2eU3o zb*iEXU})QQMkCY7-Sd2Rb9FU*qQeclzSXXzy=N!G9DWllMXI<*9Al!lADAF5O z*V#^Uw=3I%8aSWk+{qT^HG{{fyA(x9m{sykh0rhl4F4-%MUU1kL(mH~L5|816}MjC z1^9^YN2D)xz?DiAH{xHN_k0lG z=s)ruPl17#>LQ8linTfSasQUT1kM)Y8?eBzycK;t(xQp>IYZmvxHZeMvwb?P(S;RZ zi+}vgpSIXJ@xT4UU1yTPF=0-1jpMGT1p^JNPXvn=FLSD%Ps2$ZLde<)A|$mYO{c;v z2re>@H%vhRL-7l5>91zyu#2PdS0&~y$Oc;ygw5a^m1}M3F7*XI-Ke7VwA1Zh@k_2B zu;Gt8Q$vc#>+^03d<=rIeXNpvohDBLZ3)>{CXB|E&u1qQ53!KFOYSDvneP!oWt2xEwa;B_IfBRO1qz7rh4sb@5p(E1_HUnceRWof{D63jP zh)3x{7C+kH>w2xU%3OSnPmo7k8jX4|W)S45P1W;Ka;)Y=wbJp?^6yeM>-mO(f zI%Aunk}1Ia1=xtTW-N3;rG|>G7l9{qfWt; zvxupv5SiA8xZ+6OF!RCVc4Ebx3^dZ;nDtpc_%Zv#8w!2XeqLrg@|Q0x%j#_CI$m1o z9Ush7qj3sEc2w%?Y^xZ~OZ1_WMuYaB)f1RZ)*kL+<7!6&T3#oAuoG*g7uSGa|3d<= z&rsfUDnbfw_ERymI``n%XePoQq_mNmzOm4xR6r>CpRB zu`=(1${K23h5ns0OjFLmoM#`VQPB&1AHv4x=`J1Oxq3<<=fQnbi|=J@GL)h4wVCYR zDM!+0fU11?8KAv#ZX&e$knnF4ln>+w5A9%D;LRN5Uzr@}Sz~uBoAjc(yLX`$d*37t zB#F<;Gd;fkG0wJ{4Y%kJ@z>0GbL-jd#bl-N!ULM|CT;C@P4S-O-dr_hc8>r>0;(*TNGm!8^#!;* zEbGwB)s*R$>Yn6C9>09mAj@wTG5zQSsP{2f<%xgojJDPqA@A1NLZWjItuH!Wp$e>I zb6=lgIpU&4nm2?&|avgL1T;OuvO>cH1*1=T8WxZSy>_*pkG>u3y|sSY=JkGVxMxjb88+ zc65+41R$Drz2E^RR#<%dm%uDUpaY@dGdU(&yz?%T)`3TA@o9IEDQ^lMYy@IJO~a30 zC=iIVPk02Y4E&7l?SjwEW5_^4w@ttW5T5Rm)F-`|V={L~t#EYa%yG(<9DNmq!fQKU zgUHg*A8~1aGk0-GqSiN+w9pJ%^d$0B;lOrBMssK! z@2ryOWaYjO@rFGgOJS^PXFHWLf=_cnhtdEYAk;h z@YD?E^f-thbLWd19HY1Ja;RnMIn+guGmz(dYf1lFk524RaS#pJQ<~k^V1!YirN`(O zJS>BTa}r^@lRMKKhobm#x-^g$WUVklfw}7tS`SOYq6(Jh__@olpel!qEh5IJB9*Q~ zc{x|!TzEaL5BFR>%C@v`E0R9)=he)47twuiG@Y|m|JYuiQouVNG@KzimakXyR2`Ps zO14yLUh!ofRx!C3DYc`Pt)J1w_ihQmim>MB3&G3tnQ`O%$CNO<5OSi%5F|6#DZb}?f5&i0&@E<3=1seB=@G?A z6N~%rk7n!S#SPRRpNJ#myj6QCRyc45x1=WUPO;Hw-7DYV@FA6=%8CCIK^{SsV`+YL zS}|QP(TaD3rn~r>P1hQt>@;-8c))m;u$!yhA>7=VD1M${ z#T^70Xg#F|iS9ehlVh4uT~?$@%+6@$dNLRy>)0n4xM;cjaTi0 z8kq)Exum)PkbZ|SkT`vhbO|F>EC6shfqF2cU=hW1*ZnYMYmIdm<#DAuEyY`96b6VY zqU~5TGY;tQn<-`rmKM@5AoHNJbj}uYxeIq&9voFpqC! z(G8D^%IvtyC(mMKC5%mP-2uvocz{gN=uglg<6x|en=rDW$pLUwnkbpSW1+Ubb(>qf zxjB0);a3F90t*;3=fRHlR8{#He4x_=W;^jF2!OpMLf@V&3DqxfJ(4Kt{~(+){!hXw z8{249tt;QBagpM(UMh1V3+Uwf zz~0pswiY3Pxv{jgJ^&gT9XJ{q94t{GDY6aB&t}wM8H|fv(8hq!&!0FK0O0*Unb7bt zVTvumfXG=@fLmPvHh>5={0OwP0B~rjcfLT@I6?r7e@)9U{-y)x=|KT=9nec`ZnSg! zB|x6JV)7Mi1Py4r5Ps5CA0)=B;*y-3}cv166Lc z_X@M+#11VF7~PLvO^{zNjfij%!UW6(03R0IY>Wy}XVYKb7nJH7r4Q`w(*|G*d+T@Z zJNrBG59DVyG>E^I^_3qz8#y!(eW*qtVC``d`(BM5D*(L73l+TCwOQmCI45xa%3npH zzS{|Z01j~$0QmX6-D{2j>^v7cQCQKk=UP+_-+6o+byO2lYfD4mkbWF{pJg&&XMjNX z)tiy`RikRX7Fzn)UVjc`6O*4x2qrQv85;DZ9SCZ=N7p|CL65aCKq0_y?QLyAZtZ}2 zo&akoM*Z)RI*Ze=Uz_inQD=RVgEK3zdNF1|SD-B5L_T)h*#0wm09*YKSI76IhrI}} zY;1kdkO9C_{qW?_r@Agd7*;=MBG9{l7m)OO0%oyTeb1MVvwVUlC&zd3ZL zRMr&6H0mq8oIj&vB*vGJcY0_5b&q!sKyUAE06+r*0JXoQ@}L60v;mj9QtoN(G=JY} zH4svtay_ztaeo_oRRb~ZcC{#5{!9k|&i*97VbS`~!XHF_{;Hq#D*pUFeMcVulHUK) zh|P>|e6)V9+y4HJ!Zi77bbjOb#Z@6;6Zjfy4k7mauqlCmtxiw|PUp$6{$3`B0wY-B zLj z;!kWKUO#w4vk3Dm99e;=Od}tD0OA)M@>}p#Hay`Qn;&?e`46}dHt0L}!#yxN&DIrl zpD(Uo9sjRi7~)Uyp)k9?3~Nd66Vy8qM15>li|=2dL)d?(l*3+W2qO43un)dydnf?* z-!p9fKdp8EfxrLiP@5NfT|@T1zNa_?tZ;s!1ePwpM*qNb+x$bJN8=nF?fJRA_}r2R zApQ3D?yAwRp+FD3Ga5o6!ZcOETD6xY6*=hZ;vwW3X|0Nzn7qCn%w0GM`=$43#ozQ^ z*^#Et?TR^tvtyY@|mnA zt=)Aszb?Hr3Rnx-DC$kMxFQnDO_Oxno%@_?EGlyIJ-L`@TNeuaMR+Z73*b?pI*8s4 zr5M3pj52rdfM(}nL4_L6r`lgSUndq{Ipe7opr(phwIROsg!@LxDVsEZ9afOW9d&^O zgY&r52s6H4m!dU+E#goUy~$5XpT{`$99FW~1Qtuzz{}PBa>XA>jNXhM|+u zTL?Y*5+&Ju@-}Tk@)Bs+FnF6)R1#XG;FB>hp{>eo#{2`PFud4ZI@`(!o9i{{SH#O} zF2S134SUWpGH~e{;XsqMq|&mMtzfXHEG(Y0>q&nZRD^`@gYj*zfUdhX+Qyo!zN1j0x?3d>bXv`P$XePJU|>Pw zRY*c<=E{FFnZBnHTQt#4lv-KK&w_Kv8bisD^5}_!T{9Bmz5nl5Ck=mT%s!s4j&fAQcVqKGD^1bU5S`yP9W0 zhLTX*XACVHUulSIqem%5&v=t>N!)5a4EtP8N5w12SW7>uP-^%18pI4QdNtPVABab_ z)*>V@b4)>gfkC0^{#)PGajAVgtYbb2tGWpjFGbT)Y)JvHpL1tahZGL7^h}T?40{HB z*wggVVmT`?q+ntzKgJ~s@Xn<5O_I$L4O><4^o#U>K8m}flGQ*{|M8<%t{Js+Vv;x*otHCmn#wwj+7s3*^BQiIap4=+!TjEvJ_8229$7^SQe_$;# zds5t7nZ&+bf!q#bS9?v~tP!IyPLh2pLH-)PNLNKjdy;!AB&hj4q3ct&tEbTr5}2Kz zqr^m~f5GX`1{P0OFe}CD@qiJ|PbkI#rwb@SRpkoPJWk!Zo`#N?%RW;7EFrLk&k+uy zbHxtQRi_MMqB0}+hHV)(OT>ZDt(LGo5b}hi=>25whAnB6{Pu^O=Zj0w>jN8LY zMy^_I;lJ+AKf{PA=>Y=pI>xUAt2^WMHd6iie9hbHs2Tl#zTE7Clfb%n%_CRB>}&SM zf27(w9z%yV5A@R91wdfC?%+nJ=j)l z%O-{5>d2h0FZk1^WVbafe$-wR#}wYlFeu+9N$P%DZ@%ivEo`FO^0<3BmeMs zV!4TprC75~#!>B0I9-Z6&S{UmPGrU!@d@zP$xZl@C{wdpS2Z5_J1O^GjG#Mo=!T{y zeyWt3j&Kx3qObdZ%Tw0>F@8x|#C))a9UhP1Pn}x9lJ`ryIS&YjIwn?SmNx6{3f?D{ zD2~YAqy+9uH2u;1p6=crw3RwiSYpq;I`babq2o^XDF@i#A4r*GFPxujihdffNR*;Q zC+N=kdI5Bddl!A85o);&04cIb0pYjU;O?0+U`ip9m~4C|cGh4b|Nhytl90~9d5Y_= zC$tBZ{>Fdk2qX8gOEcVjAC)i6R};BN|0;_WLC9zIWbAZG3pS~(#0HcZFk~Nu`~C7- zn6Lf@A$ayamYPtPqQ%{bX6_}q9Fr*Iu5>7-iceq^&?4C|)h#_s?kKstG5;DKoMB?Y zrmhV~^f}n^$ctFp@-!mwRVQs!Uj8&mmpQ|O^b_IpG8?iz*Hq$M!A^ZRdNIzn_&)IR zL&)`aILPb<>qR(#8!I&?sL!-10s48*X6UXoyw#qkDM_>+1xOjd+a~bFrtr=d&63`I zKN>SzRd^h9c-)<(L+VOI?(zvM*++Sd@^V>hZ0s*iP8(N_#Kf0Bv{F=!yfTegM_0{_ znyR8M3nIbs1FmV)zAlH}FUd*5u1TKeL-G zy)~jR4!bah-_BE#K=;p<=cZsRUz2_?bxyaM-5Qm0SzaZN^#2w=a5)M!3DT@Sh}1Xh z>P}(2e4W|!4mTc!+G5Z31)!r}((U^&;>8|Uc!!iX_;ieQ*=n7=+e-?fu#%V`fa%7n z76U&<&9cyl?{wTr&>-(}5O|rnz7eFd+K8lcLu+S^uT05qe}!p$pm-^pU45!gUEew* zkxJ8Ys=f-<8`Xx3SH0r&>B-zuE|q38+AB_dmfjtZFP)2g?sankW1577V)}!8)BS5# z`~U=Bwp&xyo0xj*1(u_c#)s<#c)RJ4X8SmPa?hh!;af+@XFyYHWgpj9QTvbdyNjlu;m@}wVOKv= zv9)UNM>^T$d`PYhHgI4SwZk-Fa^)PR(lc<1*kvo#m9myhB&47~3)q+$AsNc7lVJk|ehI5rL84An@gRkCIC^RR9U}42uln&H=V>VQTD!R7A z!Q1zBwLPwXMC;>x2{80=pHNrqq~q{FZXGnY`0y8Qm-$1>GJ}>R?$irnE0VJJvj#jk zQmR_#OfOuya;xzpO5n&Rnk;L6Ya}KaDoSpqog|LjiN&&_SWn`G7~i&RD7;vCixO;r zV4fQs480NfAnRyWp3O`(VvP$3V-Hw#3QHw<|8^th} znVwhHSN_h0EBFRt!0LqZ*PsyWD~VITNtt@wzO7+Tjg^kS)#+pGi-Y2^PQQ_+`Gumh zxzQON83c4=V4Q6=M%taYib=L6$5W2yd%Tfqx`p;+qNQ8W)8ii>l;3a-=K9ERGO}b7 zl(r}2QoThq_^63}>D}#9#|E(34NvKtnVCu-Y4n!+VjbT#d-XX(D!;MJQhgZGzOj2h<(v^FIQz}3(=!<}Ln(Q!*67LUTcLj2$@VswX3;tix4*$? z@8|L?q~+_jhsB*JZQo+-jU&mFPB(Xn&wo|Em*3y>4b{$;)=IT?^56t?w&RRW0~BYVF<3%# z;I_fAeMs&NF6a7YN+0#_&-d78Mh9bLU1UOPVU+SECu`{oU0wWO9Bf@je}E1+Fhc|(!dXr*+N7J zRk;0d9Tr)gcET-8$&%Py0q5t%Rh-IgC)xBdR7<%9_W=%_k z%SE$tWud4nBpS&rq9FuhyEj`#bu#b>b?qu+N_>`TEaJ3#;*f3@HNw%l(k(x>o|nS~($b zDje;)X4CH_poh^B=isQ^vMwIVhitNkV@#Bl#CaS^K5cXqG>+l+9rP+LlD%7EA3e@rX%5-8MEzma`2~?Ojm*{`R>XGSx0!jb!IafCP{2!upEeaX;o+ClHK2A ztST&&Pd=U_pgjaL@}*4OOA$G%*)dN&By?@K`prWRc;#=+)s1_`rzCo{0EDL9{^Fi~ z3OcPdcUuTMDtd?CHyVv?Nm2@vX5Nsx1$v&oNT)M6)YIHlLF|IN_ISOB@l)GW0y7DW z2BD`8u+_YMsM`yaHNS1z*eWP2^A*S))5>1q#%K`1h)d1C&6I-T&{;XHEHmbzs9?kL zLEM&Jfbdqorai>^uf%y!X=ujOT1sC3ZpFH;Ry^-79gi%IsW+n8wl(S@I&sqSd%72B zw*`}!b1(OAR(m2etQyVs^2e%#H@_OO z6xs@h#q7Cz@B#@+L})VD72-t{{HC3_#wLqzJmRP3lGj*Z6AOz?{lISxWKwofje7Mz(!i9-VhWCwujxs-%a(tlJvr; zek4}PZ;yKsF7Pap9J~2Sf5NwEidnjTcFwrIK^7doeX7BlF{E#zGqM~1J%dXpEw-)i)jIYQQ0lAs0sl!}StxpUw0A^D z*SO5ECX{+xb6Bi}j7-_^vxFHbOOTWPOAaDb)=oB!_?WCyG?UcciVeOLV>x*i#vjBZ zTbK4@t!29x{~S3cDDe#dyVVo*H3_*r#{JQ23NeQS;$e38U;D|eT-I2rQtE`As_#sI z6wDItx@RxKLmK{A>QT0OSxk(%r^y)Ng>z(+1@n~-sV#z$dR%56B>AheqB;kk4n1K_ zlIRoSWb=$RCMe}dmh{0|yk$ehv2{Ms6gCA5Y-`&fa2wX%z85Y^wcMFi_zsamm_jNU z11xm!AS|^5?h1jIwhe%0P`w3Nx?qT{u*;*|{A({nVf~YZp!Vv)GE~c zj}G4g@^?vEp`jCrRd0q^fr4RIQCYMgj1T7NLV)rKy?^SPYgOmRW73v{MYn3I?FKUWgUm zDN=Uv9k*jhtkZp%25z2!8kyvdu)IovId5$1mGOwnB{84ZWH2Ie6q>GkC={2 zXl?S;lc4&1G*gHcQlYbu7D_FZrcwi3K*pic0|aGD_DAazSPnh2KZL^` zO=*;0aDx@)*?0_e0=4GUQoTY7e0GGpp^P==i(s|gP=v|d$h&oI`(4pKFvn9_de&vS z>SKjs(}lxP1T}+D_g$u2uo+L;?LvXFITxJHw)kT&^XN1Y!oAztVXFbi%UqmK75x!?=NT`eiG|Wy}BX?db9l-$F|wylpP0R6#Yc6?9w~1*uRR zPEw9ED>gVNkTch!V&_ryr9_`TT4HMtZLTI>bYagNoofAk>dJ$=rYB3NFA^70HonF6 zCaeGw3*xVw*UmsVGydi4(WpcmPhiM4GYV_63D*e$20(1$ppLwP3wo-FAU;FJovC{N zo=oa^T?Taek=Z@^^CE_tKLF;*<-letQYG|mol(f4j2X;Q23s)pu#yo-0s$ckB}A~! zyukcmwamSa`(NrRmTs_ZygaUsEFtacrGV`au$bRiG@Ga zi)GJXOnbkMgczZ<&&MJ(vzCLcAP6ffX?!}ju+|<=ILwBC58sF6( zmNNoWAv@Wgj-{8Cl={}O49}wj_NPfo2VKWEz-i92AWy5gVNpv%ramUX39PX_+0*9> zBE?8~rB@05oblkrQz0>OBx_`8^lL=f!nd4DXrby)I$AAH)0U% zO$1D4JSywP|7xqt#GSm18oIrkZPnrrD2;iUgnSsL@lz8vGX=eVI4d5V5Ac@)@(+)T zCa%(|l#Qn0boC?R8lxxS7jPV`c*k1}0`Vi7a?;TUMcn4qTZ?pF6?>${!bS4e1@$Eo zm2BOz5ihD#`PHB=qqd;4#WL5%m_j>HPkYcKE=|;r>N&OsXU~v`QFF#ysnt%*j-j%Y z-RWTA9&KcLjx_8o>-ztOQh^DouEyo()q{Yp%UB(SVjlFL?V=}b=OWMKIp|fh$GWGd zmK{1cUCrHQ=|pgwpl}_M=(@Vay{j>SYs<_z3pKNyKs~(lAGw3&DH--wt4GXjQLOlr z-fg;t-h+oS&BC#XB zD6d#`SJp((>6_VH-5rgPgDa8QLdtF=9IZXY0bjCZNDV3|bonr{GgtF7{fvr;gR4+k z{07-q2d~8R1H^#Vb>?ELT>O|v?Q*V?cVG~M*Uai=5eQo9@Jh~W4f22$%$JDvCYSE(A)X8NV!ZuWE3<0eV zcY5LB(D1St;De-60Uq=#>&su&ek={^o7 z{;cWlxrS^^XKD79msMeo!Ilj%YmLo#1mjbnE`>S_^m9y+3bnqFNbo8wL1^Ej=n(+Ie?0g)faqpEqu( zn+ysErQ*U!5-&n#!;Ag=i^fEY2wb}pefptUnC9>2#a}DaaHUWNe6c2KQX0NRvX7p+ zV&(O_49QhF-F1%k`u4wIQW7S>>I;I#EP0sWA0=XseTiIR9yMAWIe%2ls`ipUhk*~L zzFR;pO*#`UDAQO?5^I~1CAGLn?_wTD#HP?}LuF3x9K{6=%84gC^yD4iK+p9=n#uA9 z4_l;}Mm_ttJCT#V@x{B8LgL{wM(Il447Ofl$4p)QzaoG07Luy zoMo;p{A|ZwDrb1N5@oXFTc32tXh!~HXfVLb!Y0Cw{>%ebz8aYu?7FL9ZSREE+Qdv2 zQNfmcHpe(B2Je&B%)prLG{8MLaKoap+vA*-h$Q0FB>c>m%q!OL`iQ3?9a`zX|2gU0 zd4U*EPi0lk#Pop9_7LFr+~PJTnJ3*pdR-O*S(5E>^*q;#uA;ki@wv&h&8|@vie+-5 z(wk$$CWvi*H`mJHYoD6qqYrC@M@?7T1SgA zgnF}AZyW%Nr}NaH%thecu07;UWGG4#52gFKVAzMccvMkn6=eikQ`6H|tjDtl<063a zge*O=hnSUL;^7qyT19aQ#WdMLV7ikY(;f=y5Urf5rMDl+9%`w2;LjQt?lpS5`6nBphmupz#-MidLtR%1yHTN zm=p+JHqjLC?QNLT&_P?ZPht*M?*4t)$Iym3K#C4O(`uDcCcWb4*-2 zSsGENSE!b7A~hxXF}9qm^&Rm@j)~md(zYJTxQjt;=aSri=b(h4K z55sEcj?RWQPT^cb{sGbJC+5_dLG2GZ?Zcztdyh5EO@Yho=@9K_Bjoua=eY>4!DC*b zRy-S9Q>By9o%_y(C zJ(@op`04ouw%}q~^N7sWigp?#SxFsR!I{YD7>%@{>^i1Rb5UK5zXrvh?Ob1p*04TZ z#WGO(YafGy;tr9Q@#i9vX>u8~Hi=~Sl|{|Z$HuFGvCGHUjrb_3>`TJnD60O)wq4;Y zeKBCV{+z}m;2#w1c>Rlochv?HrmnEOK>ytKto%qcnkPWc(JUve+s-01XPkFWOKp$R z;VVP7c-|I_K#Y`sg}*d-AvH?TgTJs5a2xP|<*|pZ%O1dlJR1mm%jfC3*GzYLa0I}M zkSo8Mq!apK?W~Qz+@9LCouA`K`a7gnO6$t08YEisXx zM4wa4Q886_EXsW%{Y4W~m8bL#22%3hs0ZDp9cW}(TORcIRZF_Kb_UJZH!(j#V7 za_g$?ZXY&%ER;$$;?jzq_IkXymyHFxFX9EDCoKw4rI9n`k9BtQ=;wML)0;+~E!u+K z)&HJ0q2nzd&GDGaJ;5b)OVH?JzPrdt4G~DJvn>|U`AuEd3S0#%^BT{2YVK6i@LLVa zxdf;Tli?VSh59J37FM{Vbz9Q01mRFLH`7mV+(;IkHFA@+twc{Hq^t#*&kuZ;Q35@0 zW5qMc_qARcnOSlTc{uD#U#k@V@Z3~D&a3ldeECnRH)}mt8W7^(7Jy5?pQ` zIzJuY4j)ZU^W%uGW3_{3Y;7b`KN`MJQo`2uJfzn=vAOBs)C7Oo@wOz!1oZ04We(*X z_$5{IK4Li9r*s7+IX4W=rveo0?YrT~56YdQWq$6F^ttBG`(Sx8#hPU<`&&4t(g_BZ zhUAnepdz7b^Fz+3&4)by0CQQi+VCIj;no4=2NfEOZ>ETZ9~rG^M~q^z3bx zLkRj{%#Q>gccb4eRaQhv?6$a`%gdU=)VE&TsNmRHWp!7@UlynsVYS%LKMM zRiP2~5wE9(CDF@aXBBQvL%a~MnU87V;?c=+tV++g_?EO0T;_MIx(`JMtt@bN%PPsh4hEE!-t&Rn(Dl@F?6_Sw0XH62_oX*- zbkTx^R{&V;6&D-M%TaI;g*t&I$-;|$$=RG0irL#efPzfq1ITge*`Dv7YN=<*<{_=y z+*)5j6N*5ii+MordBtf6^y*M-@Zl-pkT>Nn%yx>!3ZgdK1XSvq>&!P_6xk{ISl8Id z*>)A6DUyO{?%MjUu}doBN$9d0o(X778Cq%8P|>B3tgL&fQv*ewW&|dFpMU;&N7cDl za84gw-VBL!DF}$`7-LBx0?UVmDLdDsOD*(Pf^JTy(^XBaX=YkFxNz~r&A5u+qjLK?h@f zr~ewuIoKLG8yf%L2a3)H7RH87{~07{?CxsoVC4887m#%S`HH!%jgY?6zv+ZH8R;46 z={Xn}|Cu2f8Cj_48OiAB$tWP{q-~AGKHfb!>grS&pdjNk;LRSU z9v!Ebt5Y=w0ph4Ui5V2;>C95*U+N`MCJX;;%6sZ_5#s>mexqUWfB46f5DQA{mejZn z;~V`cW|fwJg3QD1Y0_6_0_d-UjP?kxgiL~Bph=4sr|1gG#v($zjL$59L$-DE=zEs3s z3F!5SY^v_m>lyJ4P2x5!smYj#easgc?Ey%v-_Ra{1DKeBQL|cUvg%!?GeKfaQ`-fD zLiM&#!-owCu<(^v?whaIL0$cf10DuG7!J~oUj#eX+p34^7*L<}jPyFz+@_-hxEFs| z@OR&arf^bxCcLB9ZK#JLRARf`8t?kaCNRdOn0+AJ!K{lf8S}_6pc&+H(}IMP^FtN{ z8i3dKnJNw$`U{o75GaJ zk7(;J40*bLME!RgM&4-&h6&H9h&3eaBQKAcJ@II)F3HS0eR>Jhx7V^^@mT~do+V}> zoD!->=C}OTys&(p)E!fMPqr}L3^#nE6;X1X+m`xzP!Dv$gF@IbET-PS>uy;oy-lP$ zN}Nf3nmM*D?W2XI+|x4wnb!Hu51su92%C{z&55cUWgH!wQ60D;WkzMA#O zuH1kmn|@uul4;&-(SHe}o?LzXrX%u%pn*Gq1?y^~>TY5YV>#J;_2hmDOk>wA8IxaQ zb2;6J*(EHhE{NsP{H4K>E`M?`(SfyU)KyyfbaE*20F|j18a6jK_qWNn$(0s`lyul^ zL@H%XQZ)&uay_O2Q9S$-ECbwzJl0gOBfss>`1iq$ItT9d9zz>08546Wk@-U%1?l1b z;klUtKp2nD4y^#2e@tdUiR2jEmml84u3LYomzs11Mehj--sA3j(C!08 zts4u?yS934rKQdzhV5IH?;C^ds~$9wgcF^#u7K~$$@yNYVICi6(!t}I{UV5mMINaa zVD}H%6W0Ruzgi;yT4S`Ibx71^m=smn*%(22=|_OTi^@B(SKtQ1`XJ4 zCy>WCHwlFsy!hxy!%n@4-*L8`$&Nco9a+u~Zf^}g?T7J9uzb7NdAQwq#eVLv1S%W( z3ivDO?<=?U+1ds#YPf_}amd6j_%o+Ka^_fkRlIrvW~~EnuNM#dH&=sffw{Zhj_f3h zf0F;1toBRv5OaDbIyC%|TPQ~l6Tb^p{hU5b6k!i(Y{)o)NXqFpNXYTOS{#@Sh^lhm zi!h@@hl|p5=+?}asn;rQ43;&Ub4*P=MQd|_F7@E~;Fbxz#N;DiInV^jJQQjGibp;3 zB+8}dnXvRxzan%|Sb8fW_wkGqC+d$K`Dy>ps)4Jk%4?3~+ugl8CHTqb7XRnl!&7ag z`!%+%ECFt3vRLmp>;9G0&Y*ez>lKaHyqZ-1V1Ag)_J!vYpMPGhW_w9t+n(?_hyE@0$5qz^{Pyhl{^Rqa+6hKqe!TuzT5P=dJV&&2yuI1Ap4X+17iQ0q z6Wez7+qUbs{>;kUofieXnoD)sw!c7us8_Rc_vg*#+Vr@1{}$Qp+xOmjcg^QG`$In2 z%iEfx>YcY--*stK?q7wgIoHi(#kg;mRo~8zO*;Ff+2wMX>aDcQ-^T9TwQFWwyuQk^ zHs{sH_~X}&%O+-hED9~!@8G=BZSS5XpA%o@|9Ex%8J4Qt45My}2ue-k()Y|uNv%+b zHc&7&kLA)2&a6rWvbgla6`~Clj1>%lVnO-&B?`tSK>a}=-C+K^_*-E<}aA$c;V5lSzB+;*n4y4xi62t_qfz|8FT1;+SHHaZ$Let0>~{+}`(gL| za$3m6{9*sJnjc^Ov)u0IpI5)lf7spc4^PX}=HD-?`A;AJGXL@8&-0%@zM=Vt`QKhv z#}nj_A5N>+q=FXnm*Zi6d{`b9osdt80EdpssV zHBIoi`R_^!$nBGy9+iXl52yY9@z{O(a6ElU@@7K%g3Iq9hI%^ z-Yp;RdSdPxmmiL+)5~*D+K);vpN>&M^M6k^TqBELPd!;Ft`T0Zc70iSjqIo6m%i+H zOZ8;;&u4bWyXq0YZg%Tq`=KvB-dvsd@$|Gg_RB2CTZ+}XuZ>6 zv+j#t*?Fz?uK8%F`R?|+xG&Y+^R(S;a9BM*#|(amzcnhx+i&%JJnbR&{&~CZeu-*( z(WnW%7=Oa6`%O>H@k<@hk1waF2Bg_vm+Rf;esi}xRVS_xV)pml1}kOu%bOqX@3G4- z#O$Bl$M0jHyVGL!Rt9Tk|C6(S$y*Z^+9^xk-s+&0^va`H!Yf7oR%;uKF?1^u)RPD{ z=pGc<5J=o=WxUi{FsQZ4dPLnKowr&=mG6deQPsmZ?Fls&{8RDPc?s%{(U(YZOV2XY@LsN_cdq)OkJ$ z9%uDI$0@7Bc{`-41S8P|J&=@2=wO=$;DCM$T;hIL=FWcmDygGG!WyGYxWythLR>^EVZC*?7E30W)Ri1pl@eqti~uYn2SFit$H>}f??OkebxUES zHCA@?nh4DXC|T3Lp7-btlIjweE*yk~Zau%UUWI{LPv zcV%hP=ml1vkjW0?r)s$_uP!+3Ag-&H(H86KRvHS@UPRlNyl`t&FuvJCIIeOZWD|Ei z!^qh3$WcxXNW6BgBiFj6fOd*GXy`XdKx#5%Y+w>7yVJ2M=LV#9Fsys@ZAI_0)r2Xn zAgi#!uFHUw&ThY#L3+}d(z?UQ7d3D(*`tY+ z%h5Pw9q=ND!?I7z=P%lY1beCdyA{@=Za(s{m>xt2^GXyC$)1$m_#yW=AQaYiz zKL*)xg8Oe2%5ON{D(v-zcx^mO3h|;UXkG4S&^QP*^OLZmv?i8k63Qsg^Fvr@Hdx~H z0QHLHjby-q=ryBbr?E2bP7QrqHBZ-sO|Q9t(we$S3w+k3hzOnLscTZg2198MDgplp z#AIU}co?;LgMZsH>V2c{avoxBEe1{I6DAU+jML}m`V`EejA=%pZ}av~EEkW4ELF`E z6O?(~g;k9*#dy!e4|#`{jWy~xFw-|FjSrVn&`qVB-K$YM6Sbo4?31lX4ycM~WKX?O zIG_8+t;`Bj640R4wd%%HF#&`+~7C7;0-o3Fb(|ZF1PBUL`VC zw-Ejy4{i!e>$*H&C|E_NongHZX6K68Xa+O99KJ5!j(KL;M(Fa-WA?X^@1rZ_adqwBy;Tux$+D>feEEiC#BlT1?NM^}PQ$iu*=bnJcC*11n9Vkd8-4o_d;;vXhBXIT7kWGFW~_X#9Y(BcM01Q4 z)Mu=0?-WyEbsV@mduwdTP|o6U3?b?`0uEmkxu`y4EhIskwCCsF6kHvNj1N!)6+>Y> z9?KwPoge`eUyO$FaE544P81Hn>F5+08RWo}?dH5fWJ8b?8F{0zK+6^~UfW5y6-wDN zGlomiC~37c#ihe|g=mH#DVlaLD_O{R%@ly~#|nY1MjCk)HbvErPX(JfuWMmCPvJN) zS!?H$g0-BNt^95#nu={~BJV1cBg}b)x(z{6-3)AEO_wcXymrN8+r2@l));Rfhtsf)O>NPNjdaN;Z|1e^qhBbEsq0JJR!a@RGy?5Z(w?xhJ8)XY~r^Z zl=c3$dRn7|5l%VTOOPbes%1BidonhE+M}He=U!{s^T4a$skUpE$kXQiHyy4t7q|MP%7|hnbr{!Hv57J6W*uijit6OYjwtAbhk@wmeX!WS%8*!_%klI1o&Jtw6(Ug1oLueaqMcJyHn6*fud zRl!3oY<#bjS&U0u^!J1YZ#5=Hj>p2HKx_r|=))cwM_QUtsJ=xTx*(V*RvM>?m?!8q ztyBT;REV#@<#>#dPD-BJjy~+U!_kFJsE}KSi@!5GR~{DzYk6)x9HdadLy_@p=kL*n zJ;aKI&BD%)%1}HGnZ@`VToT*)2|b~lW%&4lkrjqjzegYRP{sQi`9k#-rhHwGUP<$J z7wFq+(CB87X41g+7OI!(OWaxf>xlCarSPX4gf*$yA7l&wYhU8?GZ^e4rHn6_rb}W3 zSm)!5T02hbjh5!Hn literal 0 HcmV?d00001 diff --git a/SPE/OPT/TP 2/Questions.tex b/SPE/OPT/TP 2/Questions.tex new file mode 100644 index 0000000..81d6076 --- /dev/null +++ b/SPE/OPT/TP 2/Questions.tex @@ -0,0 +1,59 @@ +\documentclass[a4paper,10pt]{article} +%\documentclass[a4paper,10pt]{scrartcl} + +\usepackage{mathtools} + +\usepackage{listings} +\usepackage{color} +\usepackage[utf8]{inputenc} +\definecolor{dkgreen}{rgb}{0,0.6,0} +\definecolor{gray}{rgb}{0.5,0.5,0.5} +\definecolor{mauve}{rgb}{0.58,0,0.82} +\lstset{frame=tb, + language=caml, + aboveskip=3mm, + belowskip=3mm, + showstringspaces=false, + columns=flexible, + basicstyle={\small\ttfamily}, + numbers=none, + numberstyle=\tiny\color{gray}, + keywordstyle=\color{blue}, + commentstyle=\color{dkgreen}, + stringstyle=\color{mauve}, + breaklines=true, + breakatwhitespace=true, + tabsize=3 +} +\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 TP2} +\author{} +\date{} + +\pdfinfo{% + /Title () + /Author () + /Creator () + /Producer () + /Subject () + /Keywords () +} + +\begin{document} + \maketitle + \sectioni{3}{Forme normale disjonctive} + \subsectioni{1}{Question :} + On se sert du code écrit aux questions précédentes, + \begin{lstlisting} +# table_de_verite 3 g;; +- : bool array = [|true; false; true; false; true; false; false; true|] + \end{lstlisting} + $\mathcal{G} = + (\neg V_2 \wedge \neg V_1 \wedge \neg V_0) \vee + (\neg V_2 \wedge V_1 \wedge \neg V_0) \vee + (V_2 \wedge \neg V_1 \wedge \neg V_0) \vee + (V_2 \wedge V_1 \wedge V_0) + $ +\end{document} diff --git a/SPE/OPT/TP 2/main.ml b/SPE/OPT/TP 2/main.ml index d71ea85..b55a0be 100644 --- a/SPE/OPT/TP 2/main.ml +++ b/SPE/OPT/TP 2/main.ml @@ -19,15 +19,20 @@ let rec evaluer_tab t form = match form with | Or (h::tail) -> (evaluer_tab t h) || (evaluer_tab t (Or tail));; 5 lsr 1;; -let evaluer n c f = +let contexte_from_int n c = let contexte = Array.make n false in let j = ref c in for i = 0 to n-1 do - contexte.(i) <- !j mod 2 = 0; + contexte.(i) <- !j mod 2 <> 0; j := !j lsr 1 done; + contexte;; + +let evaluer n c f = + let contexte = contexte_from_int n c in evaluer_tab contexte f;; -evaluer 3 0 f;; + +evaluer 3 3 g;; let table_de_verite n f = let rec puis n a = match n with @@ -40,3 +45,23 @@ let table_de_verite n f = res;; table_de_verite 3 g;; +let forme_normale_disjonctive n f = + let rec puis n a = match n with + | 0 -> 1 + | _ -> a * (puis (n-1) a) in + + let rec disjonction c conjs = + + let rec conjonction cont conj n = match n with + | -1 -> And conj + | _ -> conjonction cont ((if cont.(n) then (Var n) else Not (Var n))::conj) (n-1) in + + match c with + | -1 -> Or conjs + | _ -> let contexte = context_from_int n c in + if evaluer_tab contexte f then + disjonction (c-1) ((conjonction contexte [] (n-1))::conjs) + else + disjonction (c-1) conjs in + disjonction ((puis n 2) -1) [];; +forme_normale_disjonctive 3 g;; \ No newline at end of file diff --git a/SPE/OPT/TP 2/tp2.kilepr b/SPE/OPT/TP 2/tp2.kilepr new file mode 100644 index 0000000..e7c8f30 --- /dev/null +++ b/SPE/OPT/TP 2/tp2.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=TP2 +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= +highlight=LaTeX +mode=LaTeX + +[item:tp2.kilepr] +archive=true +encoding= +highlight= +mode=