From 537f15490817fe9e6d9e8e9c6a647d21df5942c3 Mon Sep 17 00:00:00 2001 From: acondolu Date: Fri, 7 Jul 2017 18:04:21 +0200 Subject: [PATCH] Added new calculus --- calculus/main.aux | 5 + calculus/main.fdb_latexmk | 64 ++++ calculus/main.fls | 107 +++++++ calculus/main.log | 620 ++++++++++++++++++++++++++++++++++++++ calculus/main.pdf | Bin 0 -> 69324 bytes calculus/main.synctex.gz | Bin 0 -> 4170 bytes calculus/main.tex | 55 ++++ calculus/preambolo.tex | 20 ++ 8 files changed, 871 insertions(+) create mode 100644 calculus/main.aux create mode 100644 calculus/main.fdb_latexmk create mode 100644 calculus/main.fls create mode 100644 calculus/main.log create mode 100644 calculus/main.pdf create mode 100644 calculus/main.synctex.gz create mode 100644 calculus/main.tex create mode 100644 calculus/preambolo.tex diff --git a/calculus/main.aux b/calculus/main.aux new file mode 100644 index 0000000..b8a33e5 --- /dev/null +++ b/calculus/main.aux @@ -0,0 +1,5 @@ +\relax +\select@language{english} +\@writefile{toc}{\select@language{english}} +\@writefile{lof}{\select@language{english}} +\@writefile{lot}{\select@language{english}} diff --git a/calculus/main.fdb_latexmk b/calculus/main.fdb_latexmk new file mode 100644 index 0000000..d484be9 --- /dev/null +++ b/calculus/main.fdb_latexmk @@ -0,0 +1,64 @@ +# Fdb version 3 +["pdflatex"] 1499443424 "main.tex" "main.pdf" "main" 1499443425 + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1233955448 1004 54797486969f23fa377b128694d548df "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1233955454 916 f87d7c45f9c908e672703b83b72241a3 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1233955454 924 9904cf1d39e9767e7a3622f2a125a565 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1233955454 928 2dc8d444221b7a635bb58038579b861a "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1233955454 908 2921f8a10601f252058503cc6570e581 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1233955454 940 75ac932a52f80982a9f8ea75d03a34cf "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1233955454 940 228d6584342e91276bf566bcf9716b83 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/latex-fonts/lasy6.tfm" 1136768653 520 4889cce2180234b97cad636b6039c722 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1247596667 30251 6afa5cb1d0204815a708a080681d4674 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1247596667 36299 5f9df58c2139e7edcf37c8fca4bd384d "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1247596667 37912 07513ec114ac737ab54cea0152f4424b "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1247596667 36281 c355509802a035cadc5f15869451dcee "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1247596667 35752 024fb6c41858982481f6968b5fc26508 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1247596667 32762 7fee39e011c23b3589931effd97b9702 "" + "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1247596667 32569 5e5ddc8df908dea60932f3c484a54c0d "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii" 1306918461 71592 fe353e1fbd982ffc647f3e98ff74da96 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.def" 1461657393 51602 8190990703f12b57db0dfe9b839e1e24 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty" 1461657393 13862 2379954ebbdf3db89eccb32499d2da36 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty" 1465497378 8253 473e0e41f9adadb1977e8631b8f72ea6 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty" 1465497378 18425 5b3c0c59d76fac78978b5558e83c1f36 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty" 1447057737 164989 3237f4d4426874d9a69857464c581861 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty" 1425936400 12225 3cca0d18522255979a1047206228b9d0 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty" 1358201372 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty" 1358201372 13829 94730e64147574077f8ecfea9bb69af4 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd" 1358201372 961 6518c6525a34feb5e8250ffa91731cff "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd" 1358201372 961 d02606146ba5601b5645f987c92e6193 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty" 1485166067 2282 5c54ab129b848a5071554186d0168766 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty" 1485166068 4296 c115536cf8d4ff25aa8c1c9bc4ecb79a "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty" 1485166068 87150 81aa65c5042562f79cb421feff9b8bdc "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty" 1485166068 4232 318a66090112f3aa3f415aeb6fe8540f "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty" 1485166068 2507 fe3078ec12fc30287f568596f8e0b948 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg" 1139965200 902 c30e5c373bc58bde21f8f63a3091626f "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf" 1485335993 7219 fd11ed3b832df052a4adb2c56e472748 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls" 1485378202 19821 310da678527a7dfe2a02c88af38079b7 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty" 1485378204 5159 a08c9bbd48fc492f15b22e458bef961f "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty" 1485378204 4732 d63eda807ac82cca2ca8488efd31a966 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu" 1485378202 2004 b59846258a6c54fecbe43d981c7a8310 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu" 1485378202 3181 f6d8c97e5b5009a3b4a1e34490b9aa0d "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo" 1485378202 8292 e897c12e1e886ce77fe26afc5d470886 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu" 1485378202 11059 f4f43783cf4a8ffee1b201d897840536 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def" 1485378202 7784 02e454c0f50491e8730511d8fcc96a47 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg" 1465894292 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def" 1485037086 58250 3792a9d2d1d664ee8c742498e295b051 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty" 1068050100 16969 b414bd18cf77ed8750f7d9fe3c40418e "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty" 1303229068 11317 aa7f81da60ce104f0dbb8b827dd14383 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd" 1303229068 1811 216b0f832c406513647608b5bb9bb8ff "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty" 1485166209 7476 cf839ee7f0c2bfc711b0b88970764569 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty" 1485166209 4696 8b8f59969458e1c25e0559e8e0ced1a4 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty" 1338509872 23756 854c01b779030ff5b2aad88ba7a119f2 "" + "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty" 1463135581 57049 34128738f682d033422ca125f82e5d62 "" + "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary10.tfm" 1459156115 848 f478e0761563bbc369eca609a1741348 "" + "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary5.tfm" 1459178148 848 e1bc58a31b9ed9c3729ffea165acfaac "" + "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary7.tfm" 1459178148 848 26631fcb3e4cb6757598b9cda7967b63 "" + "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/miktex/data/le/pdftex/pdflatex.fmt" 1485961583 3798687 ee6c887e76b7ccc2b88963d3b9863ad2 "" + "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map" 1485960852 76218 a1e12baf46bff3504155a215550a7bc5 "" + "main.aux" 1499443425 171 db7e845c9605d9d9013124913d023cfd "" + "main.tex" 1499443424 1306 f355b70e439401843d05b29f2819d6bf "" + "preambolo.tex" 1499442215 536 b8c123cb420b7b9c87abf01f17211cb7 "" + (generated) + "main.aux" + "main.log" + "main.pdf" diff --git a/calculus/main.fls b/calculus/main.fls new file mode 100644 index 0000000..1eb5dd6 --- /dev/null +++ b/calculus/main.fls @@ -0,0 +1,107 @@ +PWD C:/Users/Andrea/Documents/Dottorato/git/fireball-separation/calculus +INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/miktex/data/le/pdftex/pdflatex.fmt +INPUT main.tex +OUTPUT main.log +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo +INPUT preambolo.tex +INPUT preambolo.tex +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.def +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/latex-fonts/lasy6.tfm +INPUT main.aux +INPUT main.aux +OUTPUT main.aux +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam10.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam7.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam5.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm10.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm7.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm5.tfm +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd +INPUT C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd +INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary10.tfm +INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary7.tfm +INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary5.tfm +OUTPUT main.pdf +INPUT C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map +INPUT main.aux +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb +INPUT C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb diff --git a/calculus/main.log b/calculus/main.log new file mode 100644 index 0000000..94a5390 --- /dev/null +++ b/calculus/main.log @@ -0,0 +1,620 @@ +This is pdfTeX, Version 3.14159265-2.6-1.40.17 (MiKTeX 2.9.6210) (preloaded format=pdflatex 2017.2.1) 7 JUL 2017 18:03 +entering extended mode +**./main.tex +(main.tex +LaTeX2e <2017/01/01> patch level 1 +Babel <3.9r> and hyphenation patterns for 72 language(s) loaded. +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\article.cls" +Document Class: article 2014/09/29 v1.4h Standard LaTeX document class +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\size10.clo" +File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option) +) +\c@part=\count79 +\c@section=\count80 +\c@subsection=\count81 +\c@subsubsection=\count82 +\c@paragraph=\count83 +\c@subparagraph=\count84 +\c@figure=\count85 +\c@table=\count86 +\abovecaptionskip=\skip41 +\belowcaptionskip=\skip42 +\bibindent=\dimen102 +) (preambolo.tex ("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.st +y" +Package: babel 2016/04/23 3.9r The Babel package + +************************************* +* Local config file bblopts.cfg used +* +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\arabi\bblopts.cfg" +File: bblopts.cfg 2005/09/08 v0.1 add Arabic and Farsi to "declared" options of + babel +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\babel-english\english.ldf" +Language: english 2017/01/24 v3.3q English support from the babel system + +("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\babel\babel.def" +File: babel.def 2016/04/23 3.9r Babel common definitions +\babel@savecnt=\count87 +\U@D=\dimen103 +) +\l@american = a dialect from \language\l@english +\l@canadian = a dialect from \language\l@american +\l@australian = a dialect from \language\l@british +\l@newzealand = a dialect from \language\l@british +)) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\inputenc.sty" +Package: inputenc 2015/03/17 v1.2c Input encoding file +\inpenc@prehook=\toks14 +\inpenc@posthook=\toks15 + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\utf8.def" +File: utf8.def 2016/02/28 v1.1s UTF-8 support for inputenc +Now handling font encoding OML ... +... no UTF-8 mapping file for font encoding OML +Now handling font encoding T1 ... +... processing UTF-8 mapping file for font encoding T1 + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\t1enc.dfu" +File: t1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc + defining Unicode char U+00A0 (decimal 160) + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00AB (decimal 171) + defining Unicode char U+00AD (decimal 173) + defining Unicode char U+00BB (decimal 187) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C0 (decimal 192) + defining Unicode char U+00C1 (decimal 193) + defining Unicode char U+00C2 (decimal 194) + defining Unicode char U+00C3 (decimal 195) + defining Unicode char U+00C4 (decimal 196) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00C7 (decimal 199) + defining Unicode char U+00C8 (decimal 200) + defining Unicode char U+00C9 (decimal 201) + defining Unicode char U+00CA (decimal 202) + defining Unicode char U+00CB (decimal 203) + defining Unicode char U+00CC (decimal 204) + defining Unicode char U+00CD (decimal 205) + defining Unicode char U+00CE (decimal 206) + defining Unicode char U+00CF (decimal 207) + defining Unicode char U+00D0 (decimal 208) + defining Unicode char U+00D1 (decimal 209) + defining Unicode char U+00D2 (decimal 210) + defining Unicode char U+00D3 (decimal 211) + defining Unicode char U+00D4 (decimal 212) + defining Unicode char U+00D5 (decimal 213) + defining Unicode char U+00D6 (decimal 214) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00D9 (decimal 217) + defining Unicode char U+00DA (decimal 218) + defining Unicode char U+00DB (decimal 219) + defining Unicode char U+00DC (decimal 220) + defining Unicode char U+00DD (decimal 221) + defining Unicode char U+00DE (decimal 222) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E0 (decimal 224) + defining Unicode char U+00E1 (decimal 225) + defining Unicode char U+00E2 (decimal 226) + defining Unicode char U+00E3 (decimal 227) + defining Unicode char U+00E4 (decimal 228) + defining Unicode char U+00E5 (decimal 229) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00E7 (decimal 231) + defining Unicode char U+00E8 (decimal 232) + defining Unicode char U+00E9 (decimal 233) + defining Unicode char U+00EA (decimal 234) + defining Unicode char U+00EB (decimal 235) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F0 (decimal 240) + defining Unicode char U+00F1 (decimal 241) + defining Unicode char U+00F2 (decimal 242) + defining Unicode char U+00F3 (decimal 243) + defining Unicode char U+00F4 (decimal 244) + defining Unicode char U+00F5 (decimal 245) + defining Unicode char U+00F6 (decimal 246) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+00F9 (decimal 249) + defining Unicode char U+00FA (decimal 250) + defining Unicode char U+00FB (decimal 251) + defining Unicode char U+00FC (decimal 252) + defining Unicode char U+00FD (decimal 253) + defining Unicode char U+00FE (decimal 254) + defining Unicode char U+00FF (decimal 255) + defining Unicode char U+0100 (decimal 256) + defining Unicode char U+0101 (decimal 257) + defining Unicode char U+0102 (decimal 258) + defining Unicode char U+0103 (decimal 259) + defining Unicode char U+0104 (decimal 260) + defining Unicode char U+0105 (decimal 261) + defining Unicode char U+0106 (decimal 262) + defining Unicode char U+0107 (decimal 263) + defining Unicode char U+0108 (decimal 264) + defining Unicode char U+0109 (decimal 265) + defining Unicode char U+010A (decimal 266) + defining Unicode char U+010B (decimal 267) + defining Unicode char U+010C (decimal 268) + defining Unicode char U+010D (decimal 269) + defining Unicode char U+010E (decimal 270) + defining Unicode char U+010F (decimal 271) + defining Unicode char U+0110 (decimal 272) + defining Unicode char U+0111 (decimal 273) + defining Unicode char U+0112 (decimal 274) + defining Unicode char U+0113 (decimal 275) + defining Unicode char U+0114 (decimal 276) + defining Unicode char U+0115 (decimal 277) + defining Unicode char U+0116 (decimal 278) + defining Unicode char U+0117 (decimal 279) + defining Unicode char U+0118 (decimal 280) + defining Unicode char U+0119 (decimal 281) + defining Unicode char U+011A (decimal 282) + defining Unicode char U+011B (decimal 283) + defining Unicode char U+011C (decimal 284) + defining Unicode char U+011D (decimal 285) + defining Unicode char U+011E (decimal 286) + defining Unicode char U+011F (decimal 287) + defining Unicode char U+0120 (decimal 288) + defining Unicode char U+0121 (decimal 289) + defining Unicode char U+0122 (decimal 290) + defining Unicode char U+0123 (decimal 291) + defining Unicode char U+0124 (decimal 292) + defining Unicode char U+0125 (decimal 293) + defining Unicode char U+0128 (decimal 296) + defining Unicode char U+0129 (decimal 297) + defining Unicode char U+012A (decimal 298) + defining Unicode char U+012B (decimal 299) + defining Unicode char U+012C (decimal 300) + defining Unicode char U+012D (decimal 301) + defining Unicode char U+012E (decimal 302) + defining Unicode char U+012F (decimal 303) + defining Unicode char U+0130 (decimal 304) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0132 (decimal 306) + defining Unicode char U+0133 (decimal 307) + defining Unicode char U+0134 (decimal 308) + defining Unicode char U+0135 (decimal 309) + defining Unicode char U+0136 (decimal 310) + defining Unicode char U+0137 (decimal 311) + defining Unicode char U+0139 (decimal 313) + defining Unicode char U+013A (decimal 314) + defining Unicode char U+013B (decimal 315) + defining Unicode char U+013C (decimal 316) + defining Unicode char U+013D (decimal 317) + defining Unicode char U+013E (decimal 318) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0143 (decimal 323) + defining Unicode char U+0144 (decimal 324) + defining Unicode char U+0145 (decimal 325) + defining Unicode char U+0146 (decimal 326) + defining Unicode char U+0147 (decimal 327) + defining Unicode char U+0148 (decimal 328) + defining Unicode char U+014A (decimal 330) + defining Unicode char U+014B (decimal 331) + defining Unicode char U+014C (decimal 332) + defining Unicode char U+014D (decimal 333) + defining Unicode char U+014E (decimal 334) + defining Unicode char U+014F (decimal 335) + defining Unicode char U+0150 (decimal 336) + defining Unicode char U+0151 (decimal 337) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+0154 (decimal 340) + defining Unicode char U+0155 (decimal 341) + defining Unicode char U+0156 (decimal 342) + defining Unicode char U+0157 (decimal 343) + defining Unicode char U+0158 (decimal 344) + defining Unicode char U+0159 (decimal 345) + defining Unicode char U+015A (decimal 346) + defining Unicode char U+015B (decimal 347) + defining Unicode char U+015C (decimal 348) + defining Unicode char U+015D (decimal 349) + defining Unicode char U+015E (decimal 350) + defining Unicode char U+015F (decimal 351) + defining Unicode char U+0160 (decimal 352) + defining Unicode char U+0161 (decimal 353) + defining Unicode char U+0162 (decimal 354) + defining Unicode char U+0163 (decimal 355) + defining Unicode char U+0164 (decimal 356) + defining Unicode char U+0165 (decimal 357) + defining Unicode char U+0168 (decimal 360) + defining Unicode char U+0169 (decimal 361) + defining Unicode char U+016A (decimal 362) + defining Unicode char U+016B (decimal 363) + defining Unicode char U+016C (decimal 364) + defining Unicode char U+016D (decimal 365) + defining Unicode char U+016E (decimal 366) + defining Unicode char U+016F (decimal 367) + defining Unicode char U+0170 (decimal 368) + defining Unicode char U+0171 (decimal 369) + defining Unicode char U+0172 (decimal 370) + defining Unicode char U+0173 (decimal 371) + defining Unicode char U+0174 (decimal 372) + defining Unicode char U+0175 (decimal 373) + defining Unicode char U+0176 (decimal 374) + defining Unicode char U+0177 (decimal 375) + defining Unicode char U+0178 (decimal 376) + defining Unicode char U+0179 (decimal 377) + defining Unicode char U+017A (decimal 378) + defining Unicode char U+017B (decimal 379) + defining Unicode char U+017C (decimal 380) + defining Unicode char U+017D (decimal 381) + defining Unicode char U+017E (decimal 382) + defining Unicode char U+01CD (decimal 461) + defining Unicode char U+01CE (decimal 462) + defining Unicode char U+01CF (decimal 463) + defining Unicode char U+01D0 (decimal 464) + defining Unicode char U+01D1 (decimal 465) + defining Unicode char U+01D2 (decimal 466) + defining Unicode char U+01D3 (decimal 467) + defining Unicode char U+01D4 (decimal 468) + defining Unicode char U+01E2 (decimal 482) + defining Unicode char U+01E3 (decimal 483) + defining Unicode char U+01E6 (decimal 486) + defining Unicode char U+01E7 (decimal 487) + defining Unicode char U+01E8 (decimal 488) + defining Unicode char U+01E9 (decimal 489) + defining Unicode char U+01EA (decimal 490) + defining Unicode char U+01EB (decimal 491) + defining Unicode char U+01F0 (decimal 496) + defining Unicode char U+01F4 (decimal 500) + defining Unicode char U+01F5 (decimal 501) + defining Unicode char U+0218 (decimal 536) + defining Unicode char U+0219 (decimal 537) + defining Unicode char U+021A (decimal 538) + defining Unicode char U+021B (decimal 539) + defining Unicode char U+1E02 (decimal 7682) + defining Unicode char U+1E03 (decimal 7683) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2010 (decimal 8208) + defining Unicode char U+2011 (decimal 8209) + defining Unicode char U+2012 (decimal 8210) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2015 (decimal 8213) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201A (decimal 8218) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) + defining Unicode char U+201E (decimal 8222) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+2039 (decimal 8249) + defining Unicode char U+203A (decimal 8250) + defining Unicode char U+2423 (decimal 9251) +) +Now handling font encoding OT1 ... +... processing UTF-8 mapping file for font encoding OT1 + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ot1enc.dfu" +File: ot1enc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc + defining Unicode char U+00A0 (decimal 160) + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00AD (decimal 173) + defining Unicode char U+00B8 (decimal 184) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+0174 (decimal 372) + defining Unicode char U+0175 (decimal 373) + defining Unicode char U+0176 (decimal 374) + defining Unicode char U+0177 (decimal 375) + defining Unicode char U+0218 (decimal 536) + defining Unicode char U+0219 (decimal 537) + defining Unicode char U+021A (decimal 538) + defining Unicode char U+021B (decimal 539) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) +) +Now handling font encoding OMS ... +... processing UTF-8 mapping file for font encoding OMS + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\omsenc.dfu" +File: omsenc.dfu 2016/02/28 v1.1s UTF-8 support for inputenc + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) +) +Now handling font encoding OMX ... +... no UTF-8 mapping file for font encoding OMX +Now handling font encoding U ... +... no UTF-8 mapping file for font encoding U + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+02C6 (decimal 710) + defining Unicode char U+02DC (decimal 732) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2026 (decimal 8230) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2423 (decimal 9251) +)) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsmath.sty" +Package: amsmath 2016/11/05 v2.16a AMS math features +\@mathmargin=\skip43 + +For additional information on amsmath, use the `?' option. +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amstext.sty" +Package: amstext 2000/06/29 v2.01 AMS text + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsgen.sty" +File: amsgen.sty 1999/11/30 v2.0 generic functions +\@emptytoks=\toks16 +\ex@=\dimen104 +)) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsbsy.sty" +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen105 +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsmath\amsopn.sty" +Package: amsopn 2016/03/08 v2.02 operator names +) +\inf@bad=\count88 +LaTeX Info: Redefining \frac on input line 213. +\uproot@=\count89 +\leftroot@=\count90 +LaTeX Info: Redefining \overline on input line 375. +\classnum@=\count91 +\DOTSCASE@=\count92 +LaTeX Info: Redefining \ldots on input line 472. +LaTeX Info: Redefining \dots on input line 475. +LaTeX Info: Redefining \cdots on input line 596. +\Mathstrutbox@=\box26 +\strutbox@=\box27 +\big@size=\dimen106 +LaTeX Font Info: Redeclaring font encoding OML on input line 712. +LaTeX Font Info: Redeclaring font encoding OMS on input line 713. +\macc@depth=\count93 +\c@MaxMatrixCols=\count94 +\dotsspace@=\muskip10 +\c@parentequation=\count95 +\dspbrk@lvl=\count96 +\tag@help=\toks17 +\row@=\count97 +\column@=\count98 +\maxfields@=\count99 +\andhelp@=\toks18 +\eqnshift@=\dimen107 +\alignsep@=\dimen108 +\tagshift@=\dimen109 +\tagwidth@=\dimen110 +\totwidth@=\dimen111 +\lineht@=\dimen112 +\@envbody=\toks19 +\multlinegap=\skip44 +\multlinetaggap=\skip45 +\mathdisplay@stack=\toks20 +LaTeX Info: Redefining \[ on input line 2817. +LaTeX Info: Redefining \] on input line 2818. +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amscls\amsthm.sty" +Package: amsthm 2015/03/04 v2.20.2 +\thm@style=\toks21 +\thm@bodyfont=\toks22 +\thm@headfont=\toks23 +\thm@notefont=\toks24 +\thm@headpunct=\toks25 +\thm@preskip=\skip46 +\thm@postskip=\skip47 +\thm@headsep=\skip48 +\dth@everypar=\toks26 +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amssymb.sty" +Package: amssymb 2013/01/14 v3.01 AMS font symbols + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\amsfonts.sty" +Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support +\symAMSa=\mathgroup4 +\symAMSb=\mathgroup5 +LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' +(Font) U/euf/m/n --> U/euf/b/n on input line 106. +)) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\algorithm2e\algorithm2e.sty" +Package: algorithm2e 2013/01/06 v5.00 algorithms environments +\c@AlgoLine=\count100 + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\base\ifthen.sty" +Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) +) +\algocf@hangindent=\skip49 + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\xspace.sty" +Package: xspace 2014/10/28 v1.13 Space after command names (DPC,MH) +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ltxmisc\relsize.sty" +Package: relsize 2003/07/04 ver 3.1 +) +******************************************************** +Package `algorithm2e' Release 5.1 -- october 19 2015 -- +- algorithm2e-announce@lirmm.fr mailing list for announcement about releases +- algorithm2e-discussion@lirmm.fr mailing list for discussion about package +subscribe by emailing sympa@lirmm.fr with 'subscribe ' +- Author: Christophe Fiorio (christophe.fiorio@umontpellier.fr) +******************************************************** +\skiptotal=\skip50 +\skiplinenumber=\skip51 +\skiprule=\skip52 +\skiphlne=\skip53 +\skiptext=\skip54 +\skiplength=\skip55 +\algomargin=\skip56 +\skipalgocfslide=\skip57 +\algowidth=\dimen113 +\inoutsize=\dimen114 +\inoutindent=\dimen115 +\interspacetitleruled=\dimen116 +\interspacealgoruled=\dimen117 +\interspacetitleboxruled=\dimen118 +\algocf@ruledwidth=\skip58 +\algocf@inoutbox=\box28 +\algocf@inputbox=\box29 +\AlCapSkip=\skip59 +\AlCapHSkip=\skip60 +\algoskipindent=\skip61 +\algocf@nlbox=\box30 +\algocf@hangingbox=\box31 +\algocf@untilbox=\box32 +\algocf@skipuntil=\skip62 +\algocf@capbox=\box33 +\algoheightruledefault=\skip63 +\algoheightrule=\skip64 +\algotitleheightruledefault=\skip65 +\algotitleheightrule=\skip66 +\c@algocfline=\count101 +\c@algocfproc=\count102 +\c@algocf=\count103 +\algocf@algoframe=\box34 +\algocf@algobox=\box35 +) ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\tools\verbatim.sty" +Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements +\every@verbatim=\toks27 +\verbatim@line=\toks28 +\verbatim@in@stream=\read1 +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\xcolor\xcolor.sty" +Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-cfg\color.cfg" +File: color.cfg 2016/01/02 v1.6 sample color configuration +) +Package xcolor Info: Driver file: pdftex.def on input line 225. + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\graphics-def\pdftex.def" +File: pdftex.def 2017/01/12 v0.06k Graphics/color for pdfTeX + +("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\infwarerr.sty" +Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\generic\oberdiek\ltxcmds.sty" +Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) +) +\Gread@gobject=\count104 +) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. +Package xcolor Info: Model `RGB' extended on input line 1364. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\stmaryrd.sty" +Package: stmaryrd 1994/03/03 St Mary's Road symbol package +\symstmry=\mathgroup6 +LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' +(Font) U/stmry/m/n --> U/stmry/b/n on input line 89. +) +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\ulem\ulem.sty" +\UL@box=\box36 +\UL@hyphenbox=\box37 +\UL@skip=\skip67 +\UL@hook=\toks29 +\UL@height=\dimen119 +\UL@pe=\count105 +\UL@pixel=\dimen120 +\ULC@box=\box38 +Package: ulem 2012/05/18 +\ULdepth=\dimen121 +) +\c@theorem=\count106 +) (main.aux) +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. + +("C:\Program Files (x86)\MiKTeX 2.9\tex\context\base\supp-pdf.mkii" +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count107 +\scratchdimen=\dimen122 +\scratchbox=\box39 +\nofMPsegments=\count108 +\nofMParguments=\count109 +\everyMPshowfont=\toks30 +\MPscratchCnt=\count110 +\MPscratchDim=\dimen123 +\MPnumerator=\count111 +\makeMPintoPDFobject=\count112 +\everyMPtoPDFconversion=\toks31 +) +LaTeX Font Info: Try loading font information for U+msa on input line 19. + ("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsa.fd" +File: umsa.fd 2013/01/14 v3.01 AMS symbols A +) +LaTeX Font Info: Try loading font information for U+msb on input line 19. + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\amsfonts\umsb.fd" +File: umsb.fd 2013/01/14 v3.01 AMS symbols B +) +LaTeX Font Info: Try loading font information for U+stmry on input line 19. + +("C:\Program Files (x86)\MiKTeX 2.9\tex\latex\stmaryrd\ustmry.fd") [1 + +{C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map}] (main.aux) + ) +(\end occurred inside a group at level 1) + +### simple group (level 1) entered at line 1061 ({) +### bottom level +Here is how much of TeX's memory you used: + 4292 strings out of 493366 + 54491 string characters out of 3137304 + 133382 words of memory out of 3000000 + 7768 multiletter control sequences out of 15000+200000 + 6057 words of font info for 26 fonts, out of 3000000 for 9000 + 1127 hyphenation exceptions out of 8191 + 29i,14n,35p,330b,2405s stack positions out of 5000i,500n,10000p,200000b,50000s +< +C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb> +Output written on main.pdf (1 page, 69324 bytes). +PDF statistics: + 34 PDF objects out of 1000 (max. 8388607) + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/calculus/main.pdf b/calculus/main.pdf new file mode 100644 index 0000000000000000000000000000000000000000..811a3bd911bddb43ac20ef1835da4a265779784e GIT binary patch literal 69324 zcmbq(1z225uqKw^4#5HpZoy>+x1hltlHeNLA!s0w;2KRGTuFf!U5fDIOl{2w1 zb210UMeY5*o52ixO!w`3o@YK~6wF8cJlM~NPUE`!M zu_Ida4x3x`qzK~03EbDw6U@0nJ~|Abd=9Na%MO=3AC(u_<|R_pRNV1CaQU<1K>zX- zHItB@h(?U9v{uim(bJu?X~VI0qqI?-g}6y$)!5|C-k6j_LNg*f6YrpES_f;VbR)h_?{W`R_+(hHY3h&b(6V8nv_Ofnl za&8OL;#9TDhH|>8#I<85UCFkbXo1h7-ZQ-wMMC4pmR7|NeL_kMS4bGfOVDmn&S4;- zhMieQno~oFQ0glZW~bU&2D+h^=CQ8)bJ(P&?wXggk@R_r)4(-@9GM`xeoSA|ZA7a} zuwlI0i2a=BvlKA_S}QYwpxu$_RdBS0%{Lg-a>Q9uF?ku3b2Y;V!;k5^W;EY;<=Pr9 zXz{M%K0hl9LY}Cv#6o7bBA8ZBb}RAM|7f3pNlJrr?J63yL;J(OW>&f+p+Y^pRwLCs z;?!mbyK>5wsK@^uJO-EDN+YP0I~}~+Lc32c^rCDBMYDhq1vA7}7#rp31Pq@fAHu5$ zm}XoKk%e89qF=-x!AGt%L$=)Rd;#inf*U&g#HQH&?9(Z?$A(|sB=W65lWt=4~e_`A73twY{86^cIDnnmT$2*Pm=DWjTv&9EIF1V zdns879oVnMz3tZ6{XMP|$2^r9oJ1Mc$+&a#G{t_!|Md<-h3A68C$+5^HHM*Y{jnc2 zv#s*S_7*jLEVMp889}98<8?5;gs)3ZgsN=%elCW%a?X z=NCHU-9@G;M3l#iyF3>Clym{(5rJY$uUqHuU6zw@B|ecz*RoeQ?#oA8p{(uf%}WI0 zQpz-MtZi;yB7RXRxul<8acB}S-pKkiD?}J;E2;s-#K!oq4GLUAH#f(>Ho2O+oe79l z$-vA6g;m_v#>vFS$q@u)0TmQh6%$8WX9pt_M-cmCgS?5cg@Kr@8|XC~(7?ma0Rr=K zyhQyA^bHF^!{%)kpzr`1Ox!?fPlE5=71|;0QcXQTp*smF2Nx1-;Hb_ z$X}PdAl| z_J6nk&2+CJTx=|yAP5&P3j_oPT;k#3VF806oa`*@ATS3H2*S?I0<=QdS$F_<*`a-0 z50ZxqXyN5#10)2(!vZ(}=7RQea|8C+*}1r&1_1-yUk zqXcvEK&SuzmjAZN&IaKGCU`XZA8x>0yg*PNCIddeAYNV`zyUU17HBgY;1UlQaF3mh z2M|Cz)Kv~>kicLLs0uqL1o+?u{04?`K%kmnZlIf;jSI}e4T1nS&^8DM5J$j1kW_9S zXvjG^0Ljb62@HmCfPrYSbAWlFI_&IFyATepzxn}~@PdJkf6MV0TKcM?1F*FvxB%GP#~~#a6o{3vO$x_#sQU& zCIA&)zz{psG?)!g=jP#rW}E9FQ5=A8|6mJ>Zz%3x^8f*WfOvpu0eyB}U@R9Hst>(} zJWLKO0RRdxIbZ?MTv;8%e3uuM9%nnV;W9t6P4^BXj6Z9y#Ay7>J|I2^d zgaDrK{$=yu*E|5g*a3*}LM0Gm4qyjDQ_0H-jS~dG8UQ>18UU~W&!Fv4+;Ou(Aq7MO z@D%DV7{EFdfsZO|TtE{92rke8WFNpDFElg|9w;8bY{2sm5cG%r3hY&2vjf)vl-VBO z#0%_;$INpBfQJAxa`8Zc`)~Ol1IYDgThPZ(Iu>n(X0~rOf!Ug1x8w~gYmB5-G za?S-Tkpn=-Lw4Dq?NFuw;K&9f6>u1E?_U6evgQN8xOsS?hN1Ew_(6&Ep_c;y5&(z? z$<4<0e_TEG{Pz+d0023E{r&f<|MT7lqYvWWWBzIVd%k~K{-yj+BM&>2OdsVxt^ZQx z0CNKo1Q!2D>VHu?u;&3ZJVhh4g>oy9 zD`335Y-1;JU}lG=-;_{y#6OXTo35s2F3t6;efI|7f>ajK!xIriwBA)E&zal1PUWJ zP?0!5oDTry0?_fO#{=R3AP(dL48$KmDPRLw8=wvN08}fW>H)b1@&~j(@YmyW4YXPT zGdyU5f#)WG-vI;wEr6$-|DXr@Q1>r_;(RFB|L8o8JT04D@N;t5g%w{TOFAL;V{lg z*N)MEKuAbPvhhyz6e{FbS80y(C-;_K3rW>!?q~CpCD$z_pT5XU`by0|vw>Is&>1Np zqU(+9`!%kDA(Fgpn6>xEFsn#g|2rfJKJmLV+%jTutbHYj+_ErMFksewM-`63_JfWc z;bPP$P8fP5m|$rb37U&bSh$;;Wgqw@BxGNlUfg%6Bg;<&{5nDV2t~nmn&b%M^RVu- z8wZ*&{0Z+t@h}sZ5n$`~FxZqP5jN|@^nE^X-^1C#-#y2G=|#QKtQVecMG-Y< zjS z9axcClDp|)(oo+9$~pJB%%N77)obu@JNPO1Z5B-&}_3D}gaTH;j=F6o)J>2zemkfCgAuK#Y`dzICvmd40qd zJ#;j$Hx#Y@ZF>8&q&LbXcACC(d&F2i`J}675in~Q#~)!LkuX0CZwtfUS0VX|_%h># zB20a*wa3YyW-3dh55FQn~wsAT@!M zRG*&dd$=26`$*LB=?%=~xCXM`*F@&+w%st-w)x1btb6Z7tuo12?n%|9{A|`hn3b+~ zlcHjC>KXG`uiw(+>>d&r-5rzMjwNy8Jsk~b6!-CZ3nL)neRm%`hk~~2bp6D>HD~Pr zYgI$|-l_l%zSG(VSzbg70Y(fYB7{&o>1l}!uhjNhVn(dV2bZX=2i2d-Ru!gp=MsK* z5y?-_m9YzRu~O8x4a@8^sS4~n+j}Ot!-!}4mqxBo{I0m_Db*6eOd& z%sfx+i}@L`%1drTNG`ZWdAJZp@Iow+6`49k@p4F$5T(v_R4{`xFQ-RC~F z(r>a)2|Q2wr|Vr+GV@IeKX{OHE@$Q>QUrHb`c0W&jRa=Bcro*pxGX`c3!l<_R1@z` zg-fA~HAH7Q^OH;3mk#1PDkLIr~@a)spF-pF}B5g-;Fe_H#-|>_G0N79+k)4iLfO>y^jUHtW9E zC_mUb zcG4k=b{t3j7<(#JH*1ayI)?``Qs<@E-WTwph4wxXE#wwInQ!7kw|`jS*fV{yz1r(J z>MyeGC&tGGD|KgwZ#917YR$Z-MBSlb{*-Iu`~}8&oFqA#uCYpEi_K`iFWn69Tzr<4 znYLhjn|3FxvpSm8x+_@H3C;{Il5QPkhjrS=N-REPm&1L=kA&IjNF9~8!QWfjNRR^Z zS?_p){9sC-#Ly`=o}yf>JyD2E<6KY`)kl5h1SEJ53zwX~H2;ECuef&QbAtX;hW)Z)$Fad z&&%Vvs5^}&V-#e^RwR#w!uMew6~S^;9MNYO&q-BZe#=;g_q0!#XZn80Qh>#q6xR9q zg$s&g!SJT?5z+Zg9VO%@&*}OT6~hydMp)1-(n!++}39$g(+g=tZrY? zw#zpw&4M}z4J`E*t}}z%LX};F(vHM#)CmOnHPZN^Dx^-z*H_8EeyY+QKQEjbVeZ~& zddm8~)47oCEpDrxQLUD3tvHiw`P3vrV0HP{h}T~5ajSYyUoE;|b)*-un~>8=I@yJ? z+BK>aIp*=ltV8?y3cl-=dSm7g{t(}wGcbRkOU^S={?zk8uZ>!zddH7QD%}!binR@Z9xf?4RvfhWlC}!HqgphYH7~&yWKTvjAJA17mGpZup7e=4RgOPJynY6 z985IBO7zIvm>FD>NmucS)WqXVtN#LLhUWGu@1!1Q_F_Q-QI{;>=-}*%@?s1d65$-~86m`PbO3M?M)!UJSm% zSF#Ln@2dH^vj>5TQ26=nmoW>>*DLa)uTtEMFIVEq(|ly*I!Mwpw|J<(cxqPGzwR@k zh|NAs#ohCMN0*kY6)MR!@$O!@ICR$WYN zSETA&bvKE$o*shn9lRPuB3n&~0C7%QatU*mQSY0+q!igtNymvk;hBDtu6-{=mAK)n z5*qgfdmD^I(UM&-KN+*WKB6x^$@TI`LzWcsjLw}p2YGP6nv=CyclU88dhKmE^>fr; zm1aU3KBe|OCavF_(StAY0nW?8(sQ1-%DBEBy+u_M7Q$c9v)_CTR5U!Y5ArHS(Tz*w z{P7O6z0NYJPyN)usxkN2iL!~RA?tNVc<%35xk3+{cxu*5EN?)Y904c{=}Zi zZ##4?VlL1)s*)ve{uNEavCVINO7i4(=S*HM(LMO-$YA39hFxPhtVa@|nGPm$oqmZT zar5Ys=UtxoD8TH_y*L`H7!}KgO#I*?l;WMM*A2MK_`MfK89PGJ>jVoW)~__& z5JgxpZ#1+S%uK%1X`DgO;PLrebLIKi2?X$sv)=?v_StWfcr7a=JPXo^Y3QLGr}}6{ zx=}ptbMcInB~u{mro(p(1=k?zvs^^}dyBPGXNqfTapjg5{9gt~85OUV#l-1Rt`ofV zv|BVA%3Rb8wO*Owj0?A$Sn-*c>sWOPDjvWktyzU<%9CMZD}o~m%841RtV2*v3u{aX zuRyP4NJIVzs7w!>ClN^?+5L$a<&@-*`N@^9~ zcXsb8$)4_x#KdN$$q7^?4%UcE&*_Qle-x-gtoW(;p6Bq)Y|hM&Fr{f%!5#*d0@bJ^ zdEKZhp|Vc_%lUN(vM}k{7h|PC376&~ohF_^%kiIS+L>tE=9ZzmN|9~R}lG^?z#7x9-xMm_fBJK3`O6LM{RG6cvW^ccv z0r`_|VcAg6uHKR^GoHUTNUg}9j9r*rK!mWbDtgfB@gAHTqClzsWz6dIg0W~V`JG_H z0htb0f7kOt81wS88svr8`q&o(hbLI-D~iaoL*Qz;NYmooNJWnc@rkq~t-z1nPOAl} zamJRSGEPFC=C2(WYQyGomuOqo7r($5_~Z@}1dcNgp3a0_xb^p$Agg}-UcwsfBKfw3 z{G@1!6>}q3^83Q;Eah;kgwR4f#iXw#6DxZ1`k?cT^&e&m1>A`wjx`oki~|(4Kl5;Z z5aVQVhR5V^j90{Ry&r2XNhF)9eYI)+BptmrZ`dcKZTgF9t8x(gKF141xy%?N zHe{~HCdhE1{S9&$(%uM99dB{KeWbf>)|cKa(2uz5g2w#~6@H9sulimrG<8z+g%~xz zjOwrwQ&0b!o=*&PxP8AvuT))R8s#VZ1>=a+!R|_bh)stzCAT`Gadr@&y_dQopX@f< z=g*vWd70wjoP(k574TkJ?q~7mdBp7+y@`q`p~;%t-;m!luPKOCl(H7%z3Wq5*mwz- zCuk3rjuf7nOywEV%s5nXx|ugNg}iss4FZeSzVpkzdiHHi7CQ>{_W6K9l5`Z3hqo0pgS`vWGE$)g~3v^bBAbXwtGF6UfPwwf)mH5|A!8v}9)k{`F< z!Y9c6Sr-bVxKij>*c*+vs_r6c5bD@>sM-DnOU$=Vr*F*CJ@o=5@QW=&m7CGrhe({% ze%Mn|r|0E9A5~WZ(qE?uk}Ds=dPE7F=L}J9kvkwniV>3td#hbjCy&=k%=@Oliw!0a z*=jh|+lX?TSnh1ugrvCSaY^IrErEg&_qwDD4URDiMc+Dbc{8D^ZpqB`5Zr|-hG{Rgf z8PS|(=76w(iEoBKOp|q)WFTy1t5k@GHIj?f}g>3^Do zHBoatcR*8-+E8ifDef?9JWCNWjZV{+|5IWWL8Y8q?$c|L1k)bK`9Zfw_UCgTv-a*&;yv=8 z-*LBBDqGsV8y@s%HypptQU!;=;*$tha90qP3r6-m1uGU0ipQ&+789YV?mcmxXb6a_ z6e2}vGd-T@#n60(bZJPK??Rxn(fJQ4$%&gqs4~8d{kHg$_I0eL;E#+jCJT|2*na!*e9@nA zOy7A2Q?M7!|2%4L8_ycuaC#Z^*li9Pj( zg+u%YQRBi;rnj~cIXpc9V<@zw+GQ6cFttkXRuF{urqi`}(9YyHB@FF?ociobE6lG$ zd;>BuLHrT?fwlj(rkG?TmCK`wb-W!z5da=1#^_@iV7e-1k_AsYPeGbLU@wrVKy5bO>cLt)$bT|a0j%GtYpso}M8Z97Kg zw1u2-Ct*86tf`jXN{92Z^la-50zq{8z-8my7S{J68O2JgtHkf~%beXWQ{B{W+)P{$ zW8PL~2Vv2_fb47%ZF%fsaoYR5d*!*~EUP{sc_lb%fpUT?QK|a;&*{Zg#`-zm+$$5D z-*TlfrJ?kl_~drpE@evS`vwvO!3*O-kbV6n#y{?Hv>gJpS*63`wCx<`-}+`O;^e=i zbLHb%zt-)uF86iRR#wL^h_MA!-igQ#%NDxN;uKLqn-uFlu9PDV`Inde%9 z-HKC@<8>#JXehA~=o0U}3NXcezWuH{lYi!wxcZDU=T6_9kIXdOyd)F=`q%{uMla^UVIk!jBY44G2Qcp0K2=P6wXd;hl7JZwxkgnB#V( zXm@`5a8Ahhe4c5(c+=HX;(l|7_-U9@8q-)gYwmf0VgHG16hnJC6@o3(fx}h0L%&cuWJxXI&|W$Hh_K297DZ z^&u8DZ?)JDDt#2dwd0I$b9htCJTI1HK3X$r9xHPeqJB>B!wjeXK**`F>SN=V8frp* z!yQxm8OPY&a^jFD^_p|R2SgfjS)#f)}|EqVo>=I>vu7@^UdLn zt?Ptu17knEICB#}m5Ql9OZ_9I%OxLH;;7kD<)UL6=2fz90N?OYTX)AN{7*)8&g(W> zvM7s`5Dkc+QjLveDo8PKmDTckr+1rkJ?q%MpQo=eY5dO|FR0bOO$Gevkw!IgQGf zHiXEIdFiH|&m-j&Hkaw91Wak}de(MoEU(N)~fFLPd2Fm^Ge`xv1A)^3$y zP1lIwAgJKy$dh@BVWa+3rsNlv423BgnNd_z+j|K%F#2*$iDJiR?^kC6Vof6swFP;h zhEyy2)RH!iMO9{t^uyp9W*U4I4-yNr23G>UbMRqvpeGG(4%b<*JUMRYlgJ_gIWATH z4U)QHr6DI$$GL;dV}n|&YQ)>?)CLjM?@>Y+Vy73FC_w^*$C%bQN+|npn_f>jqS8h+ z3({8?Jt6-9Ggeb@8{LmN=h*afqeO;O9=w@Hev#I^=guO6>D2+RCZMuAzo)Joe){~7 z+O0koKS;TuwwHxXxrBBgtVQ0ghCO0c#Y_8S3g7<4;U;d$GE z&(Gksi**p2;_TkrCE!nQ$Bcgu2(3cPd}`sZA5(M@Jss@5tV;4OE-5%oZvu>)LU|_c z-pub}w5U;qDP3j28~l^S+bYRQkDK?m;q=Ha_SsgJ=l*>a8~Z3b)kB6^qa!?gU;8~{ zFI}`&zr(LP_Aahs6A+IRVqJQ)<@`RV8f2v;F?9SIsguFEVIan(dWb&UVg*hZ3Q957 z)?Af%osq!3GKfg=nT*)-tP#B7ZuyJTs2JYsdqvaJ_l;7YxEUAYRnD+y zBXTtu!z{3caeC;Ao(~DJvQiSvIX@X*{6(Yb`V!?C0`92$uOBl(KI5FnwZmuB!C+Tis=MPQy<&rQYj03?C+~Ht%t}p7pyudmAu~ z;S2u;v5)wKzPy^CHU5{;^SxN(51Pxzn-J#hSLXCbgW|p04gCHd)eZ*t4WLag#*Glm zxjnRDydg?DCV?eYt{l{;Ft=%x1N3&9ae`lyMic!DuShb#gWuMJ!*9u76(+w@aY7X% zs%mD|O~WAzZT2HYjNbCTLd!N|Zznx@(H}|hdK0g&^3>~$_LbuSQbB_)Rgp*HTK8b` zL|U)mLa-_snX6zfCHri3ggdOnMFf4f7^*POyC^+ozWtSR^0J8mMG*41NqlLWEs`Ui!Xd{o}{p5qj>%7 zai@GMSbj&AK4f?;`z)$@{r)Rsp>c!BbY`?$&hOUYGP+1MVoJ3jV#BDqhOI)WABE3y zymO5}<}&!v?~LdVy>zArx{q(SWy#F!f2O3?RJuj|G9Ai7%0pW_@;^CQZrLoQaUZiu zR3ncl)deSSQpTvoCjubj)21OubJSLnN$Z!{r$IckZhf z1w-yn%(lt!e!X0<{ie{(M8p!Eq{GYaNS(r+OOw}!?*_srTwFCWOeyvqZ9Om$p1B&K z`=I(3o?SOCVsz+WkAIk5hg9p!YuEE9cN^=V-f+kd%J7_os;HGc}*wnn0 zfrX}&)H_58c2_*;QMUhdun&5i;qUi!k0<+}$L?O5I2t)v*g4rc04I2Xdj$h);LM+# zw8~2*Q6_PD2`zTueI0P5*US+FywQVdh&>$gW9HxjF>~SSWA0laNSVb%I; z1Q#dpx=`HQzyW%CkDk@g!NADG%EZ)3%)-o!;c*ebVPg{z`@^xne;w%K`1hg0$0N$X zyGU*x!1m)Ea9)U$m*eldf4_?a-lenskKaYsK2aN=d&UzU`;m)sFmjC3$<;M}6$T!S zyK`V%~9&;@W`(V7DY$rohJweiMkCH?r5dFf>=zsB+_U4NGps2i5hR6<>f z2?9cBLnVWsvg=Fc1b&gZpZINbFpId)HgK^KKfv68BBxqEvweh!VDCPuMl?Ty8#ma; zq9!YZL)#DW<>SlTKf9d7X|w5pUBt!3UAn`?h;;M^Ww_|O`aUCEL$Gh09mUv1Ve_39 zrJ!H9mu+X+`Y6`k{XxXm)>gNSB$^=5E_QwKshha60*n_Dj^Cl*6ufsW+Q`#J(L0+k zf(U&5O$3R%H8x+~jHY%Zq{X2{lxqJvssk~BxjhP`wz+*6cy4)LjOWXD1llL8aNxy* zPT0ev<6Hi@h0#`A(YbpB|Giy(8@sYb*6}&)MHuG*7^hfncV!`Z8I&&9XhxCB-d$--;A67|+S2gaXGMTiy`3Ce$|Gw?@K`&&@BnlANX4Wkm6hcjA7{y#Q|veLRmC#P)+j z`tVW$;bi~}7A8zr&k*v32fVl*WHln@p!TxllZX!l4a2U^5*`Q1+4r~C;w4qPE*1>R z5;F3id&M3fDghxOU%_#VCuIQ;vALtWK5w%?$W6e(KJY>kHo<>?wFeRA*8A4O#66GA zBcZYIK=_ZaCffLz>gX@-rK`p@AO5v910fh6GFWdI%vLOa!`<^oun=Ck zlHOw%t^?7$Q8;UyZ}h*?9Mts*@x47jUV^!C<*=Sgb)tYd^NF>A#etiiYd*Ra-nmum zy-y$TF}rMKy!ByHIdgKpT`{{4IlMpepUWs|@!{Oh-U(_TfoGnYW2?Jooj^FA+FzoRbx;o!UI(A<&2n1H8W6R5p)S1Frg9MP~8Rbra=mL|D%SF#mx2!9)6G=L(r zm7LvG88mW#v7b9Iw6@Rg*YtB;kA>~nW>v|Dqe{th7At( zth=%ChMyYYaHEk#)#LLpxih?P(>~kyTcpL34G~{>v=8UkUjw>fL~<5#g{2V?U>NWH zKf;KF`A}u@ug{e=ez><@fV(Nw0 zewLXWG8~Jv;_rENRzj`2yLXUGv-S0wkl@=seoaFUP5`BH^k$YiUXz}Mz;*B;<3aVL z#}IH?)!u(J<8``hDasIEgWu<4QsFpfNDy*Hew549aG(O!Bl=@i|{ z*>J&28kIWrGmO=7;(oibxSPY|BRJiZMqk(p8XE0pQVetAK8Z?0a$j(Z3#>;X!njgmL(BC#2lHO1{(`> z=x3@%hz+;nb2iV)!+&&++vM&%^^10xXHS`EBTa<(pjL~YBvM_?uKWk$%^S0LZPL=k zjlCKt9Hp&FMK82Y_lmD6M-Q6hb_IGulNOzU^H*u8k) ze-+dzaPgk*R;KS(!Ysm;A0QR-98Rma{0BcVw};MWoZ1lg>Tehh&l|I1XQhJvv7^e`EXeuMm7vZOS|mvI?Rz zGX#Ux_g+gReZwoS*PcZroh(DX7h2G|kX6OW1}q;2H(w@JI#Vx7i+d$dN%ZQ^n-1Dp zdZ1Q%*U>3jzNxYs#pSVUU26LnWbg^aD`&~%EKlOF{poHHhYDQ~)v^TkPKn^XXr*h@ z*|qD+x3Qk!4?P|bPS%))K^5fJuG`-(Q_|Hw^2gyA)}Bn)aBt+dK0%zS;-zV-L0`Yv zw0_oNX*TrK!Mj}3D42HHWBs#K+|o;v5yH!0bS6k7o_8l_%@&)*6Bs=OofYSwbtqRv zw$Do%cgR_4ernT+7&BS&j^4tJMXShXG=&-ZKOcV2S-F;lmc|TvBAF)a+P6^?Tq{2` zb3$VN9d-rtC5p}uBUamJgQy|hGc>)!J%=!bn9v2P8J>dDrGrnM4tT7N{f2Bap4r!= zxoVcI14J*-zbFXtnQfhSKZUJlInvai=YiEG>T)dk%H*9}*>{+f)wCP`E%bX{W#$=r zC^`ksnO`XidPqtcAcvN^0!lF^Rj|0#{4)ctqQi!+dF5&-TXG#Ji(L zOilgq87`v&MWO@G7~n6DPq}2aw{pcD{a4c}zfV-!KZ~cGjB(f4p#nd9wJcX|l2&qf zGa<#IKlnj^d-?>e6Z@^uJ!_`%`0D;8`*6!TqvG`}u{WWWb6faTdCdKgu%x3^$ex81 zqHgQftMawG=ZRr*yz><|2rYhnQtZ{ z7Oy3qU;g6+zZ`%69(DMSg+WKj2XpIU{y`uK1OaWP75& z&(|JnyqJy&*d(3CbuqB=%RDp9(g>;8JLP~JA}YZm&m<{b?wj)R^{&x)9gH5qhbrf~ z61$LC{&I7Z8q-WKMKj1!kw~dBmQP1y@eC1b;q2@y)8+^Zv}mWH;HF>=_;Znt^jWpV zDtjx2OO@z!gTJwwQzPqJ2bO8Aq&a(PcLwF2xLC)={5xBTqt`Q{?XT$kKGmu;I*ETC zIM;3A{Gy0~hh_*2A*9;@x;(F0R@F@<;s@Llm8prvJ5i*3ob)>|Q z*k^lD%U$66Vuy7?o?kc9kO*0+b6RRszN3t>j6 zX=Y^1<3sa&KkQ9sA>k4`&BZ0{CajkX>{vQEQuuvnSsBwY*8v+;+!E;+L1TgQe9hQ%4~c zz7WuOuX}$=Vq?xd?3bH(6jNI>>z7-wH67EEqR|WPPeT@( zWjQLXN|*1t=w6d|qvDCjZ<4Av*7APcJ@?DWX71V~QGzG!bnX|O>M>$Z$CxB2{mx&; zC#R0D^`q}SyHWCXw2Hfl#vba)<=EnzBc{2$vhR!HPXhyN1wUO=CC0s3Ib}P2%6R2y z#S$n)Okii+!W*!#n;|agjAU^Y>rcFqQV;(Hui+U(KpO`Q zU8;F?dPLf)=G*<$6X$2bV;cEdoFjafD08>6Y|N>$(qo(sS5Bwx+bu8~v7D7M8?UeO$FSwPvw$qhgl5bA@Ar5croo!Q3X*<6wB80Q6S zugCU@V#IV28veF0>8KVa(>{5N7mnx-f4E@VoXNfTJ$lK51vlK^2f_dzZC>2zC#xxP zFLg&a6-tLSnxv2VGkL~mgQ%XEyh}*eZSs|(UTZm2h4X!RP&n1F)68m*+gHX3^b2Ad z3N8HPG~}L+(#6df^D zp_pOBir6=6-|N$hd+I}RLrZ{ zMbu)tEzIP6JT+M)ah0mpRdvA~9i&JY^WXP0a=$5R?f6D5jVj01Utn}e`FuRfK6CHg z3sXjB+6Z6^>#ps5dRd(lyG7l1H>f`6_6!nu(ij<@hJK)+Mom!VM5d#hedj`1d-M+O zusy%dLm#u==GXBUFUKK%S~p$nw~qDOxjV-zIZ)d27~`UsaEUP9SoIAEH|tGBMs%*V z<0{`GZmCbhTlK0PqD}23)w4;wpY13RqBpI9=E>%*!WIo5Dq*J1g4#=iwzXpCX_*RX z>oVEiv>{dRoz}A)ek9`sh*wDzI1+z3rQVNsT&v)yU$WXEfU|ja zXalLflbd)lwj}Y^U=)m6i^WeMq{Tg{!=~_OaR$z`S1M=Fe0C0E6Mz!YsZf(|sanBY z-Lab%geKR87?K#MXpnB}^JZIIpGUXv6*JPclwIOpR8VmL^G~HHotWi?3vxWk`l)SM zv>0#8^a3!?`_?$IDt&6lbuyDEDLQCqg%jngP`tob>U7mJ&NizdrFeVF1z*x5RXpjx zkpGaM@|_zJFmLMyJ-fT{|4r8L(-Hwk__$M*raZ)F$sPB^ zn7)MVX#)RlRLR6!TVA*!IXz?bu90lc^@wkdx}eb?Hx52!$hT8^C(j^LQ?d5sfTeYU z@@tKjKt!s7dc*Syp<;fBCO?I;`&F^)HxT8>AhnslS*xz4jLj6Lg?|;g+(6j9_gs)w zG)=97Xbs%xPsjK#=`~VVThvTmjIUg8@xceinTAFl2MBVkIqfEm* z)qi125b~`ox~uKeYhl|{u6KJO5qY|GdOn8boJiAOu?;u*r*P9gS3vzN29@Ic=Dd$zM_jfwi6Z;59lrG6Xei_E! zejS$LrlTpCKb%wyVUA(OhUr`l7x9bJduI^OKYin z^-2!=BmVXoJI;Z3)cASNNGy6ljg$mJRnoS?Dv8gg>B3<$`JB_q`PE^ODoJ-DxGvp9 zDl|7iTTnVR)Ry^!Lt?^4pLacjbkEh5Gkl!G)};;YgnwmyD)F`lp#z`$F1~W_FvdjD zZe{$TK{t^)tv62*8kyURmhU!7>Y;nbQ7~Dtd1IOL-$R_9pD|0w1nF#iE4lj~5^(UY zaN|bWp+OTJHQvEFT$zzUeCBC$xr^Wpt|qf8lFEF3y-8Fl%5V|h>Ph_aufpD(b*!K) z9t*@(-V(BdsY~XK8O~}7E>`YedcN!(jGwHPrrtDJBk{fL{Dy-cbxgB4+W}B|{*27ikr=ynhR-NNqWeZ4cyP7l(s;94SI%35a%v^=s zsj#ztAZnV&y3Q2D66HxKe|g7wz@LvfS0c1N7Z$bT(AcW%Vc9#bwjO^8k}tiFN7 z1X-qXwuv=LQ#2J8(IgDD4wu?kDp2I*wKKB#TFIOEJyT0tgSoX}OWwl51#EiM=O1qp zzvdTaFy|YLvbmPgW_2}{9tgQ4^;gxeb_m3~#=fwO^uf*uAGY_%e)mDfU!JV@)^Om5 zw4`!0l`+VAvV#7)VN-Max_R}O{Dg#2@4bvru6`!BDN#jHp+)M8%kP;cK`Kaa)thkN zh-VW|vaLQAc$AHlM=K#1cYbBL{WGGuGZkI4QNZgyczzgnLZ9w1`brwx*y!5;0^)TL zP6#1r(Mp;71v^U*lX%4s$SDnxy?$|IUiuhW6zBP*2pkJ%xD^vXHOs;x7Lp<18vbL~ z=}$vLZELnh9ACJ3YSU;aNG#=Ut!5I)UXJ6{IvI7#<9afc>+Zxg$Wyee%a%U>iTye( z8ufYhi?TMo<7&#~xa0Ehdo9zCr+4l>Vjs#d6sjt3{#4}4Wy^I9t4kD}Bb&=qtq+HL z;_G?ZwjP+O7!Iabks!9nqaLn_L zU7Sf{1%IKoTk3Zg9;ff(zlF*0ijVbwolo5)w(-vIb6nT6Cf=XhwYfE1o=HT1Af1KL z`zn&d1jFv^$FFQg$3hk(E{I?S)LoLg5&&`vOrUmez45z}mL74mvEX9O&w5E4yii~# zxJB3-6H%)B*?J-NUB{9!2^u#Z11>sBxPtKz;p<%sSNU7&{=>2lnYq{EF)>#rMtwb= zGn%_Y$h9?vDR?Td`EJBEjpcY)7U14$``T|dNDLOgm%}vXe}K=Ht9(DiEY)+UUx@N4 zT5QPe@ye8u%h5NLy44i@YI*Lj#Q<5WNH2~N*d=ip-uYUoKWM5;q%`+@cyi4Go+JR# z+<=k{tFwqQcrv=C`@#H@C&-t=kjyF{+uera=ZdLiT3& zjKmIF8^dR_6G@2(S}vZi)k-Z`Ny%};O6-M`Mb14RbxLf5r=(y=rMh z!ZdqNvcl4AmbQ!uKMmd`I|(+=2cn-9Ug!BSh{YCEYm|0wP<8ZHKVvjd+_L+q2C+5{ z{PU$+7Wo;!xJ?TNAB*tpM^}g(Yeu8d?~H2X(?jg(cmi&^J##1Ps3gnfOCI;dUwy7z zWlsGjXpEVDg3-_&C`SNpj*vR?h# zh(GVmD_PB&!~nRpA>N~P#V$Sxk{1JB<&e z8iyMSv)#Njz2i%;qHPmo4G>RaEzStOlV9@MIf0=og-B!)=YDFSU++OwF0>wGZ#q}g zWw`BNS0ZO8k|y=I2vwV(3^(or2u^ z>}MlyabrLiFG|F+i*>%#hUOV(E+;IsvHiGV+ADZMQ$oq0G^HWkjylFv?0rt-rr)xg zdzsZG%@?PTlHqY+2o6$1ZB^0h*3dgqA2Fpa45bhzud~14m2tD4PjEElpHo0j7f3!7 z&&CT$Mb*^naygV3HmiLu8@2YV)7fU5Br1!6EEtB4KaH%My12lMamv|Xvwyt!SGms0WUnVIv%Jocx>Q+v%@xnI@F9Qle)QzmJ&H0OMm980eY z*ywCn5SPn*PfniN6)ive*|F`6qwZ5uB(B?fCZrpK>~kU%x>qxLy~yjI1pMFhU=T7V9y|12ER!+$e8X=L9vrRP# z15K=PeT5AniAxnHiD;@;p7o_fReR6=toz8<9x`C~ohtN3qc6yC9(=cC7X0bBL?Jid z)@u&)fW(dl<$Bjju|>_K9z{E2E8_XM^wS-`eydk!pM4DCn`N7{e2ia&{%oknWLG;f zx7AC>*sLVTMC|_UZ5*jY-u#wppUGZ_PJHK*dl+GC(TRFSTZ(-7O(B8y0eZ=?WTo}b zuewGUFqp&ao-U|a*+!ff$Q<5dZd5iR$*n#o1`)r{R26;|VH&KT*ABx)4xsgk{0zy{ zqbBQF6HuNp(<797Bajy%KmFwCPm&k%@BSBS?+_(Q7$#VzZQHhOzO-%Iwr$(CZ9DU& zZQIto>Y3`PI;Z7L+kX-9-5dA&K%uuPj+8)B%q&-&?Y$&^UGO%KV8BVy4?rdD zdW4P`p`OhP$*}MHo-U_|p08EvMaH=a8$}!K?e|b0Z5mK+KUc9In2f^6(ENBCP)|>2knt#;8k`@8%fOIHDvLv( z6gvvH^6+DiQzlKMc<#TvORG4<7Ne$XU z&P9sivG6-lVTWZ@lb2X?G5S98w8zhAf_HD}gG_!?0q2bvj z^`?K~I#FjxHwY6R-5d$eOeS`uEDt7p$)|;pnn}Ego^l`Gvt65yI>dGItADzpuH{j* zH7ahPBm-W8vPE7B_t!?n)ZNSp4X@^_=AsBY6*RJA-Mqbc$yWo9@sAj@Q^~wzxj|k@ zMIV6tL+DtQw~8%x^1^1wF+Pk7@oYhd{M_NywdR_Z-tGq&%X=|=0$yR$lC_!x!&=6s zjL0Lq&nt<>^?9PwTE1VhW<`4O$aqEB3g`Oa3ZId!rdIvsi;C=&Z?=?lL-4csm(zPF z&cacHIln2J)}HK2lHH37Sega~V(?~FsVmfz`*#WwAbIC|p5x=gg0KxKq-2V%O({h# z$A)~0l*Y1VFc#?2pOW}fIs^3b1NB)$7jS+_*egzG!F@g-?Q0A9vMuTAZCBB@IvmW2 zuk`@!Xr{ZG7QkgJ#?dsI3uAo)4JT=sOAn*wb{Pa4iV+{ieZWFo6ssGCk;~Rpv%`{h z%PJIy#Jys%O<&$K;N_x2oF{yK$DLEGq#|9O=V1Q%kmdpJgGg}7#tiyUqSM3|v*xp| zE857q%}PT!#ocwm6iNvB4#haH;&VKDY173pcVDEAmnlu+n0cQ$wAk8hnWWJd5~y}ba*V4gP^oHi> z+*=uF9BjA2(h3uvZ#zC!46i6~-}DWJt+~`2XKcdg*^9K&nK&+6lNHwyc9R0kt39)> zSA-Ok-u{B=qc5M8amGXyLHw%L4H}k zh+Px` zNGIFrbvJo{jE-eHngv2d`aocB_$A|TV^cl6^(my|YgF@xf)PH@8G*2(GY1a4C^W-L zz}oM7>tIIVy@q>f=vDF;Rq?^Bn7?2JA9Oia{wS44 z$MC_4M!IbW6^RboIU7gJGN^J2H%mIB9V=_l;i9>pf{qjdT|hdfKW}WFo-**^RUopG{Y2 z21bWOI9v8dOs2a17x(B=WWUx|8%TG(g{!&@dC zvizlDCbU~5E|m{cbTrsidxD{i%jEp1IhnyS=9uw6%amfWLJEARCWl|mM#kMZ?T^gD zC5))w+4zsvp>{R*ssR4PZP%csdG1cUsQp!)_MQfsmf!`CtaG0UCz^6Q8&kVyF?X<5 z6Z`jic?mr~%Ki)A6OTKA=Cpgw_Hwt}BJdY6b`)Q@V|G!!_VwDA75P8z_2w%nO4%>9br9Y-XWKoGK2O=LIrv!03TzV~LhCKRuk;`DP!ypdXF6uJT3 z8bDS&CsAGBoh3;-Mm4Pv+s@e1=c-S}EpwnGeDcTL-oZ|)3dT9{F~@SDWB7KEI7fIR zbLXlwZVwq{ymaqt%87+712p*X`l?_ok=MP2=1?VQa27=HT@S;PGBRIFJgdwIgkp>o zOupXPVzE(2hQ*wkT}6_jEEk zkx|{ab#AVF`Ojl_r=40cVc)SS!ian|d(4*|_q_{gPjb;GeT!kum_*4w&t1-o7CAfW zlH~fa&JbH7FtkqY-%Hh{!?XM~Ypvx=i2rOd6u@ z{|j~OKRapvk$Cw3QpaQz#AW5x{;6X!68}4O>|cn9mg!&i;$H*oKax}o|F1druWR*R z)iE{>=Kms(G5*KH|0<8sGXA^qf9qrH|D>+}jXowyFGep#Z)9g|5z*ge-amzI(0~a{R9iF!fnoOl9Mnn48t&t&i|qoL4gDWfz2#b{~8#H3%Cme z-bKBq*|)sEeJj6p8kZSndfYcXw>~=X$U&)eY0aoWKq>$A1~Sz`S41g+O>1QZ}563Xsd z1YC%fM^7ikfRhI&wke1$N2VQs1JDU3g^7In5QkKC&>~roNDdnt8VbU`I-88KZ%8mc z1aa?=Zw0_Dr(PPtwFG@*We@l`@v3sUtBxd-y)!w!JJeztr3Gy9_g0rr~%)7mV;!4MafEq9f-W6m3rw>83=XR>^AK1(W5RG+rd#_Eaqc8hM z%~maas1DJ?H$`x}k!MR1ZT}1+gjna^@0lFjDL}KZc01~H&h&a80=|82HF6X3bI`S@K$cWw&uV-xZNw218P z(Lsm0>koq zOpJCH^aPRtu&^B*2*B_A=i4;2Fbx&xX74%gZuj$8Va2nQka+6e?7;8S*cc%f0H2Q# z0KE^3XEG_k9bf^7CFt|lj5Po}J5GQ|34lEFCtx)q-CN%Z z3=kB6yMAB&E*U*U{~>^DuzJ8RY=FQZ0N(5F3BPQsvy+2h%S#qRdFzkKZz?~^1!T)` zUWSNzWXPII2#cQbpG9~38rTRU{9-+x!(%K@tJtWkWPG3A?D9`4FV*LsL22+m16wyu zq0x^cmmwASd{xU&th!%j+D}kfY)|oT6J5+t_au3b;&J2>7xOz9rIUXn&^nw8E#}3N zddRWl!|@5Jo-~xm9yWqpT~?Rj|fdtH!uZVXkIz>n_W=?A@T3P>{cwcZXj{C1J^w zzy2`f(7=Y#^W1^J`uIZO_Zwnh_MD&-YpIRht-cVMf3smVjr!T|aNWF|R2yHo>pk@h ze7z0!jK{~XbrQ&oXsM3*HgaS~U$}YOO+CtePZTa>57ifq4i|5!w*cG`PuXZgWRE!qC4w&$52_={Zix{2o0@tkvRKYb6*%+QjlF%bvyx{ zeFHO`DwM=1g|PEiBu!&kyT83q-fE9XI*Wi*O9$PCvrOJM(_1E+>r~yQBs_T`nk@QE z`!5aW-7C*EFk;SyVtv*9J6n2=%*e^jY65N*3)~@__&mcC{1*1~0Mx%rF*F5jsLzkX z!{+MMM+IcI%~p8d-I=N^2tL+U5;rTDK^=SVN-m2pd?QWo`8|fZ!Ko=UlgTDj}P;qB(^oibN8hu;6;ReNosvi`au@ z7O4}FF&Tu2q@{0EeWwDvJSsa%xa_r~adCF0m-%jFuAyB52R1qT-H!XBDxNw7l+sUV zBB`60MuV!m(h3Emd;Y>|j9!T?e~4uYf0ZhUlx@5nPpUf9<)&Ek&{LntARD~XMdJ&( zr+TU%2Kqvez&#gNm4-ghY~XePDxVqoF<+BAqI+2Fbpc&F&2Tk56Y3Tc|C5X+YmmQS_Xeq~4sGrmV z=2P#!LXh+pfcx9R!kp-&&|RRIl)BMB+8lj^wGdou0X8f*s9AHPomuqKD znh}ODNmZnW?2~7Mjq|dZ4+Py^Hg<5tRjGA`VD%;OSWKYn+S>G8X~XZgG4ppiLyHt) zyEJ~H-xxC{fDovsEb$yQBsar_9}6R|h9cbgxK%$H0A!5TGFR~pFtw>1fgIlBE+h;r zsO7ZYS!_R0Y#En4#7-oYz?$oAg^8*;_Mk;?eL0tcywl}a1@d<;zj_RQa0e1ORn90g zN$a+-cwA;5JgQLCbyR)d?vVKqPP{JO;i?W(eYR5q+H-6+T=Z=?&L;N zCS52K!HD=1w6d3K#~0G3C_ugRoLGlk7B(?(w!|8~PI&jg331^xyUu#(i)@D>x5w;? zaSOSVqf4jGmA@0yP{T6YE$8cO0c}f}$7RgL%h@8~uQcw#=9sd?v6S#n)3=H*Nf*N6 zlmR*7Cj`727P3W;nHrWdsNv%@?+a-Eze>S+E@!hTYb)SdcT6@#29lCHxNbYemA1|`yF6tS?sK1FY6#qqu!<2p5dmKxDlU!=JGa#%nWk zIj%?WA(4V>RwHG3zc(K%4Tu8Q^enlpgFc^9!|r#rGAXnNorR(`0cM@DFJYL?kNbuy=Eg{9*2#iST}gGVtwSlH5W zE&BtGd6{u)=5>>#9b?}#>QL&{NNv}{`&UU#=1rl)iiB1@R6aHtsal~`N4I)1`h|`ge&BqQ_nwT z+`Z{Y#9dkf8!x}`3hVOhVLV@aBq7AX9Ul?0D)&wK8Q0DGCSUAHpc1UCntnb9KTv`% z5(@k%!3`yVjraoe_SGC!%$+r)g|zA;vrGq_ z_Z}~(H8VOxGm%VvmrzJx!EfR>V3}C_+g($s6IWTX4cWtj9yb@+`U7Xq0R>g;KAb4* z8B5M59$Cjt=yb;8|IY*F7neH5GGm*lz3s$o^k$!Al)*v~ePtsEuUt;&uIYoOpQrcp zCyxKLxmk)O9DeQXSmPzWl4@(VsO+8v1hHExzlZPvgv>eVl;;9O;`A`67EW=${ud!= zY#N>w^~P3kKiN(-dU15P{f2B7CehjA6X7`RmRE&)sHh#hO|m3zckYgt|2<55wW5I@ zY;N<}dO3EY7fe^}V$D82#Thwx^>$|v`|y6B@;*i3>50HxE@Y3==s`q+P9Ic5?jAwB zQwJ>dY-%8>LYmfLEmUYytqTZCVA=Ih8)S#=3i2p>w?R@&l{oVryi~+}tim{S7EjId zja%GplA>9-FeRFne9KLRDtMFwgt+HR&-D2h4#>V4N2i$fJ#F_Ma4l~>v1MIU=oBqO zP!yOV47G1TXfpsEb>Vc_FwRKj==NyL%kSstA#8_j845wgQC3i@dsYHo3O3=#xI zyj}FwMC%Z~Lmgq_;ML~(H7E%HQzZu0tu%!b<8zXps9XtmNjRpgYRnCoEUM=!*FLp4 zKUi35vNITsv!$~$BBR@^Vlsq5IUsANd!g-2j3&ifOmX413J1L9cAGm@4d*M+k3N*Q z#+kYtc1PKF|9~*{UO&Vwtt3(Pks{FVEh~FvjG}b=kn#CV7tAVMo)&kCbQOB~{Hx0~ zEx_LJ)kANvkBD3bBGIXb{|Q6uhcq2->iac9Yqj93A}e;OA^Wlu`s^H(3~pfK19gI? z)IzEGOILMymJNkXci7T~U}96ct829Wk0TzFpsmbQfA<=0q&!p$mxa>ze^+66f8*_^ zzy2#8K$f0g0(MZ!oLBh5Q=Lpk5pH2^4d->)lr;!Tp=*>uZ&<#1u;DGB)VWqDMM>wJM)f9M*;kKKJ|^KP6Syli9mpky{oM61U>++`2T9EC2Y;#!w6D_+*NooS#GeRR&u-hRS~YPU0~Y6VJU)>5T; z!ZohRF9oIYkClo0J@Q}*IlTxbnELPLT|U9sZ-llHRla20s=8iVL@VEO&KJOQpmu?rmZ^>~JlF#j~a)j7;#Fj_gRUufAz{9<4#@8uUKONzAtR z@wCUe2}P@}ZKDmgd6sVRFltd;-$!F~5u5Cm`R%=%DLy+24zito8ptD`Ofepx-+f!Y zfD+?c04GL>ph~{;*m6JFtyiCjKU8qLk)-qQsYr=l8)VY!=BWi+GS@p$Qs3*ZpTl=@ z>>A=ZqKm9)&Pd<>^CJz0eRN#iC>qRAnYQV0#oQD=m9~uM+r|AauNx_F@2vVB6~9*O zg(1z}SM`uyqEHWO8(NR;Ch&@FiD6Z#`0MRogvwR7duX5X3byKrXC|_Yz-1?nO=~aF zC|hEOeT*eDRv`E-dsaH2YR{N-63>>I-T)aJrP5?I znQG6)P99IRs<=8Q&wC9Sdn-;}phj-Kvl?o$jD|~auBE3wq~hS|HuSEtm@pX{bj9nR zaPc*6TaUgt+KP5;zCC=(0g>NvR zq9y`e+Mc-%j)j%VJ`7mR@9AD-C3-7OOU;E^;SRY%4f&ALvH~v76l*#7=o+UzwZXB- zFelwz&Gs}HebfVt3HS76TcZt@J3>V7u*6TZ(cc7_fZUf7zxd^LBRZQ(nGjqrq z9CQ+d8nWh~$s8!2&BLB=ST}HxG7I?wt+a*4SHw7o=BKWM;&$o2RcVh43$HO;Z#z?xyE&~c)QM=Qx9IJ z&b(Oak8mxlI8+$fhG=ML$XDGLK!LP5b*)q^oKu!9njH+K$nl_xM#$Z;go0gHg&5)7 zhIk-nNwI`4-cgh@)>a0&vyVFL8;Ye6%cZ!X=%Aq)owCrnQ)1?=_*kNvwM5R)FFT?b*>G)b;1@6z1(Po%W8)j3V>0n%7UyM7ErOm~BJigLRHng)ldE>N^Q(4t>PKir&c_vLC4TMmZy+;`AgqCUi>CBq% z*!+=Y?hG`F=k~lkSlJnG1qyzu#rWI~nGkXI1eU%NDx-J-t!1wI>-Qn%tNs~pE=>uW1*#p?hNHbZPFGq9nA^jr zN{FfJS1#q@E&8PXKK0b;_&FWc_36FkQPmR^xagS38%EO-2Zz)Jb=f{Dg$+)jx*qu` z7uQ575IEe8Uei83fe+pPSDK)rc?8kj-M1|C*cZcZN#Bf;Ir`}st+=-IO{Ia zaQ7jQWZh0*SoW4sUm8BMZ-$hcM0aI&Lh;;fXdh4!vUnqkxH(*DU~w3G3s+;ZtT0ugH@f>ff=3;yu0lCXJLdn;2Wkaj$i+l)CrnO`L4n^Vh~)8~P$rzJbx5=6I3 zA<(@eM8b-{t7cb`z?y1ymPX_t8)>NyAnr~xVKKt)*Kn7d`x-`>;(t0rcT zJm?+D^0)isvB;5eVb}y1lLb}ZLo}U6KV-X49A1Vd0W?q&dX>H87)bpy=k`%nIl(uB zDKx=p$?|3!=ANn^cMPzIbIcVQ$YBUO+t@+XEz-&}H5f z#1nWEI%z#K(9L$CG*=pGZCGQrgNX`7ujppZ1Oy+PiBp?znou(#KgkcmKPlhZ?SO=b zqKxJ-dS|;7q7ANrGDghjCrRpqk``c zh{#Q=UU59>bL^$U;`Iih7?Skx~5bPBVy{lJK#hU4Y3 zHo3-Insu+}S1OO3KVzP)hJBO0^g(SXDeo)F_d*U6RP(p$+^;ahw=HKy9Tud#6WowtQuoNu0R*%#*s8&_S)966Ai zb^R=NF6piajP4ljgVLNaM*wHBh}ZREgbGBisz4^rm0o66{>CdD{)IX9Urk$bb<0ym z;$H_r-=?xl7$M0s^ED!6vx#fr?sl*%Ex-pab~n%q(3zF#9C{LhybdK5JKk8=qn6*6 za2ZzP1V4f7@^^e{O@(=eM`hd@*F)G}QxC)gVOThe3$0CK?3uOE;mRfAOVel6m(Bk+ zbT<4}cht;*v%>!K?{%sT-sfecB>DtqmXrUN6LMJnhg`v1834Q}J&(QFPI})mV6Hrv$hxQagK-&H?I&)v0(FQ&7OE0$1JMS-ft>UgE9AriEB*)>ET1ilo z!pH?4l8QLeAh{|osl=_%nLsx1qEviyVAE46RA(LHKSD&GMAboyBg+_%66Sr#u zp>21iBrbMjo0K^#W1vOotj~akaUOzWf>mm|0vFjf_~5FTx?3tc(*_i!!I5_@Uh z%lTo~%=4kH&)#4;w~^zVD4y*-07*SO;?_`B^6f#1$et(@JZV`p?Y-$7LZ!99@lG8g|2lD9w)AHDZ~>8weaMcxu}epv|27XJnH=ITHZ|E ziIy6%1rCS_-<_IAZ;|oiXU6#LtpL&9y|%Es;q9Y+2}Fpgz$MTHu8T z1Mw{+Y=Ri@xr95aGso5>so)%d?-e zv1ZqBM47g%kSyqGkh!H^0!nfjXMk8VSLE(OUmD%R@z2X^7OqD_ht6vA9-Y5{2z{wC z{|jRMpIesxPl&aIyt=HA@c$sztpCf_$-k{v|2MB@{`HvR=Z+P|pB-F0| z4NCt9gZ^(&`ak#l{C6nL@IUJ&|DZH8=-@i zi`?eD>L3R&f()kh#mFVYb%mM<3SW0bBhY9e<|V?rMG`K2`duaeMgzrSJ4nURx9e{$8a`uxOH-8VvAuLeP-X9L)7{Wm? z4+3leKn#KbCGg>098wlj9A#2PQlNioDhmH7@JPI!d)(n3s5_rR+@BBx(&06D4bT@B z<}YZ6z>oB(Tt66tYcSF8o*0BzGWs|!kN_|P1qP6KAv4dOD}o!qhrNG7D4W0>D$p-- z^*6ac`rWH7fPn8_-_-ZaKPnCNk4ggtA=1?nw8Nv^0Mv&K5&-b3*!U*1N1_7+Zhk|7 z48%h?|Hs~ikO1p>z&>tpKxI@I0D>ofzcJy!?Sfhg5`HA8Pu9ZzI;Jx%)qqV(LTzmV zdz8dIHNQ!DHwX-$Yd#=9wo4ds_kr&ptQYzAobNiqD;{l7>AnA0yAb-Yi@+jshd&J% z2ow$_84fK40Z3pA5YE1)u&3r>gs(PkM}CJMolDR^hq@0{FAfg~>AxZT*AK+^Pdqt@ zzvHVv$lJHw7(Xo#0fIg_Xc0gw0ystX9{=(@!|+dBjBYRY61F~J_z4~Y!Q18QZQGc+ z=Q`mYL*8%j?@pb6VMl9jEZ1CK#P79|vWPqI*PA~8AEAOE00IRZNO+MR(2s^FKFIfG z$ey1f>)s0lfc%|Y+nLpe+E}h1WdFMwj<&xa+M;N_1~j1kPuNjvU}2#C6Y$%w%=0eg zFMH^3<-;%0yB~Y;1z^y(tJBZRFTQO&G|I^%JAjNPJc=d&7ew>_VA5dk#G1I_xJyIF zeLYwd2$~R3_TVfT@BTzzfkb}x6pE-9unmi0h5fO96p!HS@1(34C~))Q1O|YmUXF}e@9&7Fte5jCD z^pIj2nNC|IRZcwvDph53IwNh%>iFhx-fLDES3bkD?-(m>xfnLcq<6FRWy#*Zi_LP$ zEJnu}r4+j9RgQMT3g!@eUaxIDxWo8}*^vBVH*(iW=v^NSRUBsO*|uZbmPax+lAjVw zyQo9U(KZ1OS?7%`W3N!t-pcfhXo!_u^q8zBoU;*0JXN-JZt$_xNv=)KBH>n^U^KY( zeL{&;67cfX&<3iQbf!srr|BNHJUr&+RAZzSa;6LesVg`PXp82o!O0oAEyqoGUAKwl zI=RO!%AS~%_LarJ6LdzS1>{>?DpzwLzUHsU8yF9Z9 zd{C>~qA~Ovh3KuE;lL$v`?`6D&a8+~#+3P(l|}1cdP55EoAlF^tsU}w=CUVlLPXD# z&hWyD<(84nKou(BxZ`SLuFH=uf!iyHQR#E|(ctSRKx3$3gNAkNuQyS^+dghqbCmAABpT)j-B9lR7j!w#HU>n*z>&I&N24f}L5Uv+w0rR#cG{T&rkNiKYsn-ZGT z0u%q*|Mn)%&^bAX`3!ke#>Vv+ccCyzZ6`!DQsxX-wuTMsO^P<&Gdq8Nv(Pd011LdH z7TATR1`{d68&R>M6?s^We@CPOWDAU#0}H!~csQBo>v&X{d@P2N@*kTP(*rQmr=2l# zyt3`X>wLOyZ{6BtzY}^4CB9v*rD?aC_D+vaiHj$y03SeJ@x$I>QJSwe)UJ;4oXgRJ zRwo75f6<+VoCZn0gz~eB@(~}Oo;65_{0WXj;N8CLZa7Nh{Boq9>{EX0Vv0>3k31K3 zi9^2()JpYbL)u#EX-PrVO`a)L)IJfYJN=ze8~;WQ8hE-8AHlop5Z(yBsv5@51lOaz z9pO|5v=uv75s773BB@vn(VaD-W2E%X=C24dFV+vw()WzuT7Z8{Upu3l*GpmUcaAPxM%1C|WgkwVkrV-A(#zmAoo$f;5;F;O zp)X>o1zCIR?J3k7Y>y|dwVKe!=d-Z3nrX(6=I+goh92fp zJ74zae)|*Tkt@1{`VyVeZqq`YJ#y6;#^il^;a*zDw3?h1&9)eMo6vc97~E6^k%QO8 z_+m-#HN3bSD(kZt{`W!b{AoS$e^Lcj%0DxXR>> z@mTbj7&vmc-gcCFQ%4V_v>#fev`A0n*+Lkz!=0mq{cmtv!09%FalR4a+;vOC)+N6K z@THo|hvK;Fds}Jw)H>N4j&NyqLqhJLpwduY^C!Jo-U{H7kQdd3of5DWDFmA|WLX?L zno@hw)6S}Q1R=XbS#7HKJuqvn{jnY%{KXJhX?BK#1YgC{aHe6R>@=EiQp>Z>y!!VJa<>ePnvoKIq->OcLGqg@qKhO`0Ubkuu)=VVNs8@ zGnAEGnlN9O8(1WI3mlys+j2Wn9q;(NB3f)`#}G578Vb6`OYvj)TU83gJhpCSv%-md zDhr2_@Mm10ff0KQ9I5IJ7Np@l^{dk8KH3JEB;y6c;urV~AXge)AQLytrY8XHIF>kK zGZBI3zsjnhx*omgZAu|SAkpP^Yevl`Y#c?yD>)55@+4<*Hqd(_9)GHhky9~IQVyJ` zTvzG}j4PZ{&;C<}$&F4g@&xWAj74ZY(zGuy5K>)gJcJEf8C3@T%NjBrh2~B(ro{*F z2!hXgfl$k95)o8jo&<3SD_%)fyn$TKnFQ$?Bkg608bh#RW#}XY%|vy*9heH|kpfFz zK8{CujN`HT%6#7|WF(iRH!xgQxX)yi!<7Mt96kf=z!_qCx3N8JEsaUjct zBip(}^IrMb8nQA{i1$CX3Ox2!>L5L1Xo>46V-9`7QmzNcfTQM|sYGMNVF!t*E$U0E zxjH~gw1FxD2amQ@O@S?w*0j2{#Oa73Wrd(q%muU|UjIGkmV&IJm4)KxT|4pV z5o6aJThM-M6fIDYXd&V~E|{ufsN(K|H+-9bGD}#jf&6rIevytlH#1|A(3A64?yPcE zxfa~+WHk}MWZy4B*;Ta&%`W zGA*j?+3xz&k#+!S#JP{aJ>8D1L++4?B2(PERDi%lotyC5j>Uy6NCo2&&VS4MnUc22AD%r zG-B6g7xZb4+T_!8MA-O+Q;Scbd!$61>-5Bq2=4xZG($+v?0BL_cuYx68B3RCtET>J z_)0^<+hw7ea;$e6rvk&#J!=Ev%aQCN{p3epAiv!4E;Fi8LNe>{C{>j}K5XiJdw_;7 z?FW(%I}adw3BM(1Gusu`wl5z_`omD#{QAvxq58 zEHt|t9I1EjUpu#{PM0)Z22uaiml~S$2mFj_%_D}~m=3pL|+n%5b-&qEOBXiy7dp&%`fpKoaEacKI z<8qJkNOzmX?=@5j1W}ZX=@nO=_LHuB=_SHY%-r7wZw4E;_Yvaiwp8Di8tzH&TF)RR zhr=2JgFK)Ge)IWV7>xQXgp)cr82KF}0_%*#mkGJqt_$3-zaN#BW$*Pp96RCjJN!=N zOF46%N&+r`VhcCeMswMqJ&Lk-r?Xyi>hh zK6sPnt|WS3r6Q&*sE>KC1)x$EAm^ws{Me~q&3eZ-1Bn*|bHL-q@njw)@8GxQ92xx} zK057RDU$6t1&Kr7kSW74d3O}%ps)F?ku<_6vHlV}g0@59mZ7^dy<2nAWVEZH#mke{ z-OWu>zI9ci2hyzQ?9%I z&eaa+P|benMR3Z?Hb%8FMhjXh3xYbY3us#aWP_Xqp(+%qT-Hf{T8fmdhf(x9-pg>x zP>lP4tMTac$<#4jmy(8r#Pc<%tYWWGZ7TlaCc^hsTsK~*?vsCz@n*v7aExNJd}#I- zY{%Y=bBUiWex49@;BvN!)C)E_TKD}mC+?!Dks7>aJlx2G?rz5hXFO~q-X1Zbzoj%$ z&^)f?K-8(Gud3x(!ejg7#o-EK6)5Ee?M~JH%zgjnz}RlU^g_NPBbE_q4^U{SY86j+ zLJC9oP8KN};L#+@%OQv6a<6}@-nrS1hw>2+tM)AhY$Ig9oF-}iYP9l=4R6*W_D+qb zFJLD&zy0I)#mh_=*&$_0#;wsbLhf;h+m|AXHIOkQw0wUQ^ft#Mzxl;WqgtDo-D%QdnOAh-1mVmbJ9K$hss26cTl_jCHXt*;BZK4)7@+2?h4-x%XP zK3Wny&xlRX9_Vo?x5Jc@hVDHzG_Kt)Bk5l9!(`ijJT5?GcZUkhxnH{X)JAqZ*Pnt) zTfxVJw=Ok%xE_8j|Cr|%F?nGX+&BB6Atah%5VG8ppAm>b5mqPb7W#$vli`$CLZEn> z%MZLo?P=?-D60F@EI3Hd7xby5E|<)yV53UtaS`RBsSk0RX!`n^2+`v-^zl%%RvOsq zI3TnDulO%jTG1zk=++Ikc4W8hILLzflezfz_c(qesDxB<)3iYXzUfba@(l)&Xg@>Y zo_7&9iBQX`dLg%vhrsp)%!(6tj6p0^LO!+O=|cLhtarTn4_B#we~41+nvlqF4dvhK zd7rofRzV-DfKw+??uW-|JPBGagP8001$e^?K$Rk;rpt8&%7p1w!|YB6c0kwCtG~#d z^v%{=)`ccV9^GG7*a7n+L!}WApGgc1ea^nCVRkbLZfAmKK=UfK*1*^S^#`l}qFEih z=@l+J+_@1Y_qDoc3!;fp&pvbv@lK8WY$UWFf>vA4GG0b?b>_M4xz-Et_!84=VJb%` zaRciux{9eH%M`<{E%a;XgL02sU<#*Y*nvYXLcpAN_5@a2#nEz#N9qM!Z6;91i4u^o zW}XcFw2&Ngd51Ej1pCOmX#-Uc(9bS@S=|OQxRVond*PTztU$vl?+5wyZ#Dn8iQqv@ zONF~4=P^RCSJv^{UD;27RS0dKXQGRA{p;)gN34}&M0_}~ZYs>wt!2usSwJDkzExBs zjrTBi3L&qykdtLkyVi_Is(t>$Vs{=f(+YHNGvXfEk)*f#!;}@>N%j38mW4%R3vwfg z-~OfIx4dsz{>O8kK%ZS2RvkbwxkD|@lLU!AXZcSc-mLI7iX!!@<{uN^_ZnEy+lUWv zzHXu-44SPin-BO9+q7Ea5;ZuGnB2E&j%lo^6x_VVTutTTEoQj~B{16p3b>;dD&9H( z)*;{34(1wU**xaOx;Bcz3~$2K{KbXWXea0N8k73BWfvLcMbo4~ z_%R|+FXBXWP?yCP4-kFY*Iq1`Th(@#^rSh2r5iJM+_*UPjBEF2UA$y03jWgBGmi&> z1ISb8lS^@AH8Ks9LLK^+bVhQKl$g3Wi2Mo*yyhF}IsM9RS#TzmfRiP#mmNvH&BU3K z8yu5HpI}f@_+AHW+uSa^-H_8Q8KV5n8}l0wpR|U{s}`(H7o(9PLJJ$$;)b&*DJf*R zmofgaeCt@Ff5~Z1^rsU2v9P;8w~hSc$uL$=Ug6gwnD%yXpAE(WJE9yn275VXLgdLw zCXl00#;6{kHbuf_!LLmYd%X`ElSJ^lD#k`nu zcMdOs9qu&eE??h_7@Sfku5`I1CW(geu}WPYcbok-`w@}v7XeAQ?NBmS`7!tZ+_J)g z1Z!iyPhei(8r$UsWvXF|5Iqm4w_I_=d0ax?puY+TGA|9tYZNoFCG9^j2KVl99hds# z1Pz4kr<}D*vTJ;=c%&XdaRl?SX8r%V0X0rIBIfT*Lh?jxh;!)_UBcP{_4uF2;xA%?=w|6D@1rW-8*YEu59vo ze@U5bHd#4tqX9AD*Cq99&so&W!P=SH!CrQKnudmi^#nk-nKZ9i9J%}mICE^@Cj!3y zcoV8HA9(B8W?q!w;I1@@i=Yn?90xaluV;o%w1f9HabVge3E`X0SsE&Gkt>mYOZ#!T zL9XBBz$|yX6itKi@q>8e8JDyVVx^9%KXcx&Xqc@tGb2RHesRcKcChLSPN1bKQ+sLn z@rog<{KfU^;&$dV(S019DK9rr#?Hr*F7T7q?vZf=$7Zu`Lcq^${U7t;fe43HU>NjYFN#<=*BIAmnD&!}*` z`Q!hofGn~lqF7S72y>N!&q6NrBFfohVFt?iSt~&H4R-wmrKdo`0W&Y)Z2^W#=X zqCF}vg~(<*f2!S8&Eflhv38CzqI3b8ZriqP+qP}nwrv}?ZQHhQ_ifv@x%V4vX0kKc z-R#znN>!@r$El=}lk?W|K7LxZk8O#i**A?2>6|nNL8bd!)1Q<2W>`y<UG(VSwE;>B5U8}QSpQy&dU~u8nthG%vY7PlmV5-^`^ROkV z)fuOHk!f*>p+cGM#}`86QnqeC>zE@IO;Q~*HDPrgP)nK zdoj81l`7PLZ@dkfmv@EUCMsV5Hk4bnf369;_l3*NJxiUykyCXX?~C9pWa=uW%~us8 zEpyA*1}|8C_QzjCXq2fM)%b>FMkf#l_y35$&!|d6^4Fadx;sO&Gq~3+H-qPiNQFDV zx+;E1xU!+5DJ~2>KV^Osxfo8{7HJT;i%-efPLnc`Jx6@j2xyNDM9+6k?Zl+lNjDKe zwmGg#6wT`BuG|GlG&B`w8k4=TAC1*c1HGGHQ7qYS{d8km5V9#9vSHzx-0hVo+B+Qt z<)YP73oxI0Of)|~oR~i(?>=0g4sm~<`F7z>Qa`+_g1-L}}gvdyV^*+c@ zQ&5_n7rQp~6$7%pK#;UeDT1R9SL~O{7aJicdV8+E~ZWd|BTtiRK(QS-o*4D zg!$hjARg; z#(PdSZ+@z_t7_MK#vVCWGODZ=70Rs}Bs7F+0viz+QbL1MbrA?k3MU5O49riAOwCV3 zN(vUh1aSlWqZKV(0{`Zk5E{4oU`liX(5KNd>p<^DWk7(yC|fuHI644udV+9#f^Keq zD~G!J{b2~{f&eU`-4j>^LQ#J~00QeOS{4(?>Cq8rbDv6Q{d5DJ)?fhO00H?-`*#A9 z-~`eUP(w2ai~w1IyZB64nC=102WbQbDAfHx3ewwvhjKwSHh6k?)N65cHVWz3h+<{{ z;t`bN3Lu|Cxj2Gr0e@Ry{Ic4E_^e`9Q^5*o#T|d5??4*{J2%_|0_ldp5l|DTzlaXU zUd1{E@{oj^S5g2g=L8(^$E5x-?T2~wW&?mzi~9-t*!YMSAh^w+MN?Bl5GRMOM~AS1 zt_S1<0JLhHtX7bxVD1O9`3f%x4W>RE*%{mdIy5kRGrBcDLIco*gbf&x4)$+5u{r{B z3hHd^48r-gNW6+?pjS=<)Rq>+!3{Jhr#{Djk_^@fP@^|~G5WYLxf(!#ub$g6p*LpZsi}e_T~iqQE~bt z^gHXH8-v^jsrR%5It6b8?ENfwZ`W!E22?<2|CK-2hx!w(z{vryOh8T1k7NN2RP>Gf zB?{C02Hl6#3q6i(F#J8p3kUFl-}lp-**!mn1>|=7KK42HV4A$lrlPuH{$6$Pb524^ z_?Iw7vvUK0CWq$^IDk*O>*@X*6l1tT&+nLiPN@Uh00TmNs$NZHd@DD6?123G@#e$; z_`#M&y&u#f2>8ZN!ftw~*Y4rr_~uvsl28Bfhxs9%{K201u@`Loix~S?p8YKS{FKw; z2*T<4V|OPk!@f5HP$i_Z0{rMJ^X}?PR{=GHb#Q*`*8nZ;n?rtkAmaH3 zV58(8@ht=dz?S(##ODT(ed&+L&mJKA(I>GxGPjRE3~$i%3GUcUfDTRVy*m|a1^gvG z`=tM-U;SFQPg?WGA8}5afjVMnO5~e(@AzAI|MXRUkY8-X?2G<23F%cH+n>O^4V~%B zxF6D>=?&c{(&B}F9M}N(3%Xb3)_y1b9_J^Jerg2l8{J0|?5%7GeItG9TmL*=hVCbb zK2zt%@@Zrp^%UZL$BmQ21JGvPe;{46>z{{DzUg0)h7R!m1_HS!`M3TaMn}i{_fD$c z9TW5<@9^IbdSF1jfokQ>iwM*O3GS?fGwiBJ!+12>#6-v}+Fq0}Gvl>g zNNBcqwmahH`db3tuQ&BIQ7oFXcApsMobBv*x=wj5Tcps!_@!+ut<;{W^LSFDnuRWW znBZt~zfH8wWO_rSU9qG>d$yK>G_31%c5gw0z% z=5?UQ%+!boLgL!N-I;qk+X3gMLzQ6r8YgIw(6wev;Yqe^8xnP_dVkxtd8W%S(KG0M zz+{N9*KfdE*t~SqIqRL{pBi?2Cwv~1_8A%!ZOPXuRBOi!F9!!Jj?PjTISMl5vS2oV zaKWsUf~)io8RfalANmV4L!drGa;0_??`zB%o3kH^Uxwfkaqdst^Ts|?*YPXbYUU2- zIo|d&Li)iStNOOu$ntSc5H}wrG5*{K@^R~ye*J}zU~n-Q zww|hfD@iJU?jUS!Bs;}BOnjfR+V&<~#?xj2>Tl@$Q92?a+JmZPFXd9Cseo%C-J-<7 zHez^c7QJQ*+knF3$&f}VwmiK*QRz(egARY2&777xaYs@EjX?J4wt?8Keyea3hJSd6 zURGk6NxuU1plZthg6%Am7fBk{T4(1}*{)*9Wj+|fMhP~?UgCp08V%jljRhdgldrgi zYiLGc#s;)Jp(c9FC(5%S!b*4LAvr&mtXw4b4xk426^2Mssq=GcIEakH83(?PI_ssO zK4ISDl^-+j)qa^p=p&A|M5%CKt<@auLV=@2Wwc`sDA7wqgI-w^#@zDTmHp(prcAE^ zyrw0Uize6vQT;7LZlW|DQ$XcB*j>RkDKpf&I{sq*>(vCg5gsHn8C8aZmVtT02$>wVZpM zbG?N5SvuPgbeIwAFb2XOr9NmcdC=qu#d=)_0z1H{5iSTjN_lJ?{? z?|g6*N4fZfXkMTFp5Ypftf`36-|gl}l`qm1aC+EEpt_nJaX z7yQlSMu_D>wj4mtl={gxixizuqV;PC%#|ZB>9S}^oA(#Y)wKN~Sc(tLU`;V{s@;K6u*`M;Ot8WsAcK-X)bcjp^ON+3y zD)#*%eLIs<9w4R{iw)wf*~h~?c9ih9Tvjn8L)B#Y<;*Fr(f-~&8){^4H8zt;PE;tzy%#*7Vqd&Sm>Vnsg(*cVcPelps zQ~$2^nd3E&(0m}Pre->Avx@?G+l#)R?z5eR<7K1bU8>xim-@2(aR9)e#JQckR#T39 zjrjE*#J0{Sl^V=DMt29+QvrWu|1gP*PHVY(qJ)5XGrjn%?`k?$H{7(Q<7US3S*)18 zH;qQJm})Seq++&#Mn}l8KR}x}nKG{1G3$U(d5dWyTvYbXSQQVECK^>F5*H#F2)XyN zkP|v=*ye88SFppf$Q{^};&HEjA6ot^b5Bm59jhieRw1)+8p6ByuN?Zpb`Dw5AsnfzbKcao1_DfecQNSnzv}Y^_}HH7Wlbv$~5v z6>$`Z#~uM{I}0=R^dii-?~J!^e!Nm-Ma{q01^zF84GPCF#>qQ_4BGX&F|xxt+J%_o z2lr+&d$=nc;sd+Xp7(7-X7>=59xdS~x;5xKovmPwu~U71!Jrp!NC}QUOAp)WPi;v`8|UxgA2buu4u!XMy;} zNjh*{`I|P8%EruIH-J#ZbmO$L!vOtscmWp_n@CM)u z{N4A|0UT#D_Y*sqHnXdXGckkLLy`7Cvn}Ukpi}_4&?gHU0+fZ_ChQ1Pa=9>6YG2!w zwh*8HIW;;>CHh6CV%o{e6DdV_h_TuDZkU%vN<+Y?u`)pxLa1DI2Zqm^TO%-s15gY#)+OJcR&i z7Ou2A?-kVt-w15AI2VSY4V*&lWdz)gMcC{hZ6Mn%H39AaD##zzuug7p0vN&jd=l^h*D_fxvvifxqU9WHT?*4$}8U2!TP*Za(F6{=9b zMsYJ#uS`%x8#fNC8CtneWFuUD4r{zUSh<_gW^9`ML&j6+u%ICp+2w zJX@RyQF7QoDg7kx%<@vy5Qe=&lnL!nrI5WocK)5tRzw8WOShgDPSb_xFnVD%xC7>r z42_1n)66Y@_Ne-OIY<(y7F?PbNcx9t%oHxT~ zrdsTGml46`ML4t^Uh^8w zNXqt`3_g|8Nobm)fp3irz?r!NHGHJprT4fBZ&^isG(ba$Wl7Eql zQB3AkTRqlGNHW>Hg`lrK)%YfMGqobBvKX!us18v+11nm_{eTE>gxh1bJ-wORC<@gz zL!9Yl`}Lu0h7eJx^&#&JJZ#efc6mmZngCZDMBh za9gBBIR8a6f>^f$x{FCBCFUBJd**~U2amE5gY$Hp@Y~3WctZ8$)JGodGJJ6#N9=$~ zRYoZjA41aQ7k_SfnHbpz;N{Ayk+X}^k>Y;vA8!z`S0)#_X*z9@aq`qUEWiBnL$~PP zch*u22*LW7HdF^Vu`m?U_Y1Di@RgH#0aST?A#KBOvzYb}%M6*fEsUGnIOIoL`J zgmCjh`|V%~x$>X=twR`0zh8gZs2lY+qCVi8@Rrf*vB$yi^S+ZS*TXamm~j+`5O8OJ z;kPpgvq6Zw3$t^DRDbCZ?Enc)SAPiGJp)13D@7HpJ%Kb*N;slVEjx?1wqf(rp_V-R z2nOxJPH`HMTs`7;VWX-wt|OaxdUC=0!mB;U#)9oUFOpdRA~UzxhJ8^QZ^IFJT6|B}W@irot(FdQNOUbEvQU zQsL?Sv;~vO64lfNfYz%F=~EpJ-+@EmUFAZ3Z^9r!&j=H$1bxU%3bvosIoz2Z>pk1bJam~drkjX6&A0}q4CzCy0!5+H@9c3oAvG)_T#)@8ce1DOS9_hF+fj9lT@O|}ds zr$yV?rS|IJq($8pKq@UO*nN(X-8J(&`l!}!!^$yTga(XOZ zJLMCd`F?Mwa_I9H<59xw)h!EzTP!RmyH5h&Y4mvnCoKa<%__E@Z3j1Ai}tBbc06WI zXLWYxCmc}Mj0HCNWD9v}MPbYG3hEvFYR)OaLo?SUqF*@)8LhTbHlUZ~k~dMEhO)!) zs&+HxvSWQyl)8|2DMUw}kJs#kHdO5#_|hnjYZ4$e7zV+clR#W)Y}|8xak%&~2N>-J zUu3Dh-AFN!S#4zAe_M+CKqArujQY0CDc`1J#_GR^3Q6jI!nfY(0gEPt+RROAa@&BU z9770Kb=Rdv(B7A_@mjy`c9w!-m-l#xBXhljoqG^aPLuPpcMR_+(91xHF@zCEPYL~98_H>L$vdIbJdxa<-Nr0ric}yk9nAwGcD{}7#f@0oX*xcC8 zXEutCW8?I>1FLd>?Z0#&YWr<{=Vfe+dF>$Rm)Hdk=@coi4#Z&aVWh$tg^g^VBt`;r zBo@YUe}*5*(M%dQ`*ytCj!7LC0z7mQWx+iZ=Mh}~;9m#J@|KRm<6|D&mf^F4 zEk~))+6rZ&Wof4gGZCgxC_0C7QOs-`pR{_n4xwc)s~SayvfVbf;lSPm1kb zV`T5W+tlTCj68D6a`8E%Pn5x)6wl?9WVXh0Q3DgQ>MOax&F%E{&c;V$A0hJ^oKA4d zr-J*>hI}Zh&<%*cZHT`Imoi|JKPr}Vz3eZ$RuSxO>j?<{5Y3Xcy-s0#zCYBBd6R8+ z0QqJH50X^#E%&fSwJyj>iH(5L^2M}z0yj#TB>7Hy=17bw$->O0^AX_puWm zOdmw(kX4x3D?W6tSRh(r8~7J%d1x2pd`|N!c{CHJ!97G@pYL`)EbBkVw$$d_voJ5h z1ycKEZYpnAQfeDFIO~!N{h(HFmDx=`*+-K+#ug?IjrQtqAL_d7Lyk42U05P9r5Tewa>-4Jc^{D4SL!cPBn zO&)?F$hlDM!Yas$RF(TDfY965yj%Fu!9f@yQy5v7YL8`cfBq)hj%f+@r4gEjxpm7PhD-~>n8vu! z0G?m`w8dUnWh~Qcky1T+>WT%Jg<@7jzt>INL=|%Fv7_;lebf9<8F?@(-a`g^p zSV~{ByTteom*XC9xsNS2)4tVy_?e?ny~;WiScY*QxRWs$ulb1|r;`B%N26$L#)ump z%66--II17-BO<@{E$S1!=1=;WS_GH0n|;S}saq!>M(mWMUaTTRhYeD9ZGa(Wd-a`p zg1$|Ec@W_!Tih9`#j_TUni^%g`UxO}7Jh=$QD;$REm%hiEtZN((c-&9vJT#~HY$>2rY9~d=~^4Q zS35J(*`;YCUR&c5(2uM!O9AqD5~l23Ft3RD`|LupcPf-RliaY~51|kI^SzFeXi4>I z2}Eq>(D0AKrk>ydM^9{cE*wKRUNNtQ!?MF1IOW4a98JaPbuA@$oH~SxMB?b1qVp{t zFQslSJ`%?n&TcAtxpiN%q-zBOrF#6*u{Qj1F;bT?l3MwPV^4KU91LV-IV^)%J8dgF z_Cp()wTZT$cwFW8b5|uj7r4w&bxss?k5utwR&t;MftA(=-{7Kmw3BWAPy^Q1kx9visz#4 z2_j4Wu|m0n(M!C-$UtA=B3eU)sK~4V6E<@9Y8=QBnG8ezk4jz0{J2eXF;Mk1{rP@e)__(Mc zGMTz+^oNw4Zy&&%5t+?MlM65v=7GB1|EBc8VP8X z;Jp4>%RxG{(Pg+;=DZHO5f(g^>dIPgneKE{05D7^pV5lS4q=x~N&--zjasqiw#yZq z0+DzUX`l&UikFQ%UKQSz`Fp1VO1G1aVwzfncux=8QI8~`ZN=2it_fv6CSm4iV^Is1 z*h0Ws9o=h=mO~~d!NMkFRir4^X=mAaxmr(tKR&B$32$(JTh)qu%yxq`bUf~Tye^+# z4+{f4+mys1E4$q=-{ReJ>m(V8LkV_a_PMzR%Kj@m@ywi?!zHq3ui_z+ojT_9%Ud{vV8d>*a}&PX^af}$i~c)MppO4 zB)(;J*`}z7jEynWl#Gg-&i09tQtx`pHLtu|OB5QGf6f@ut@q+3>H|R!S7*{|AYO~Ty9T|H`Ou}?&k)2FW z+*`nn<q6ch4-)n?fHxzYoX%49Zzz%xu=c3D}kW5 zLK=wpA}5%?*u0CYgRI|CV)Xy?DbuU5V^q$xTF85?TBv3EI%&F@5=kNFmw|Al-s8Yd z9Fmmej9@|hIi6*Ip`*&|WmlYuPUrZ5TtEKCn6HjSaA0CV|%OXr_7G;f&~u5=S@K%^Uwh#@P1e)@67-^n~dW6vfEX)fE-zw7ge2e3p5|dc!z#vGCM)$sC`kq^TRFOXP-ni zIvRkaO9t`Vxq?mk3{Jvh6Ou8%kz39BFUQiqXi@}Yx_w@&qg%(0^=+v(lk>oKBK%0k-(a&A%5&zl zChu_jY{yEfrnW^?i9;e8O7ugb%eWF z$J*6YP0zjk12!{soqoJmtvCRisF&e-BDq{7(WnGnP1;WwgtUDW%OaNr(|m%dSrOgT zVVUU50#CC1VgR6}FO=A>ZF$zsF@CupWH#r-eoi_WwL=0id)yzmh}CvO=Q8Tev|o`A9F>x;GgnU;RUl6}(E zM!q05Qd#TP@0Ds2H>{QO0Q&0Udlt%I{$1D^av8B3$wNOmNt}7)v(yts;UWIWha49~ z4`KUuB#xEjw^=c0yC1$lu*RI8d=*{N?c(FxFBP7u3|TAn=CXn-noQ+N?e^&t)eT&p z;q5=MZvdet(%A+>!L5y`OcwQ^w6IgxGBsJMUFj!2LP^A)_5yOJcnR8B(nWi?Jo>eQn1S)ox|XLe#r7#~(LFKC`-Yv5sniHRI7t6oe1Jo)}bV zSaKO?tSgS2j}QQdWY0!iI~uepog7|uzZ_czqs;JX8Dkvz+&J9w=G&Jr92!BQ`Hl2} zD^kuV!Tik~H9#<4d)|Yo?L&K4Kfr||?EO(YwW}@(d(1EZ9#o?Zb03K&ZE+aLW9T=D z!#Y;349=(WMQHjXY+NPXiL|7)J)riucLBb`eGo0ol{|=&=Y2&SnU%8_QSLo6&58w3 z*IhEp9AiL!m=+)`3hu>Sw&nw-Amt>z7DpVPagrdSDsu zxQmK#egEK;iz7oigWW%^r3?T@0&9b4>U>L;U!6HqA7XWg{Um@hn&QPLHw`_1+^W8D zh|7_gK{u~rL*_!{Szduq5VVE>pJ+SApSZOa6c$$FB#4LqRw{Siqru?NWN46-k(_!c zDtJdmf*Be0OKR`556la*1>vn^LBUeoUOJsElIQ|&NRnKr0<2S&%o*>*On)%>)8RG> zPy-~hNYy zm}R$ApWLO%BuCQI+ z+T&MeKHU{f>^RS(d9+%^&G__hsQl#|d;Tm{=i(cABDG1I08gDkYKovX=bBUK>=n97 zWGnFC%(0*j&#DhXp!xWCy|6Ce;-tkMPF-35%Cx8EnyB*4Zv0q=4vQlo0fc87})^-nm-w5&SY_lQ@goTT@x)^oerW z@hXmL@BIc-3)%K=^a~ZI%&>puNLeF4AC5{Cm`)3mq>R1>e(M5uKGUA*HjdY>xb55u z*{lVakVI|($u8wRhg5gW4ES74aLv}2ISOf)BgcYWJ8iL^Z1_fgX6@-t!Rq?Zcc!x5 z9k=*^)wlmnE9bdGot3<#wm7#s{}_L1;NG8Xfs7?>K|rm*#1@oWvbE_}cXSieg>|Y_Z9nG!~0vIvO)cjkLs}i?6hmt|X zK&ZuGjlrHwNW*f1?KdX6Pd>R!94DQ0JJ8y()=rR6SRO0i2Ho-POIS*RxCF3zawz`# zu1n`Ic*?r(#xikH51i2F(OPK}&l8eG1C9-Gac{zjFsjnCk7}EvmblY#jbQ6B<~++2 zG2(YP^%*zK?R-s)-Hm8a-&2{`Y*UEl#D}o3gvi=3*?!`oFfjQ!&9d^9L0Pq)pSo{G zWG9(*0z~adMe?=R1N%V~`2i)jSC^k9Xom0>Y~2;}A$12wfVR$u=FCt6&0xap+#}$M?whgS^;` zrEg1r{}iS`c~&+Y#HfAnBy<;WBWou`CX@kSamVUca2zn zM3($iY~WPHg~kioXuLqX$mMwDRhX|FO&HgTsj#|(s#&I$rH5`H@Y56?vU|(sb2bjb zZ5~2%H*Qkn0Ev1$ieDG6Lhi=kH{@@Rv7TsWgkk-xN^>Zxy^|AZ487LC7+SdPz%`vI zBWz9zP0;r?z>hDZI<*GQUemnikBX~n+m_e#Jx!lQmILpbZ;~A;``#gXeYl)(nXV0c zgine1Ry7K(X&Q9^C!P~Sr7DKWz62uD!hC~$3^6ErRU<2nt$DY=O>+(STA_6e%z7;7 zyH59NCw0Eo8F&=Ms>_J(YakV96EqkVXON15^&4&cMn(nhfAPjx;&3IWdbo+bWV%cR zR>@jhBSkK6WknHV;6w)nBQASID4d!;MfW?gyf~Z_xHOQf(V)3SIpOK;FPdk?6mycY zY|+mGvlX>8Svr$B&b9@c!o-@@Nx<|ldR)7WjxTZ9hmIy%HOA;0UPN(P`OU+K?-tB^ zBUhsc(Oa;Vp_R6s1v4A4j|c}g%{5J$d2X-6S9Pk0HmqC=Y+uP&r&eZahZi&lhXWxL z5hif+_a>}^3LZ3OoV46Fb0>9Me2Si-MZRf^TuC! z@8frDXQO{PtrP5n%Zt%C_c0(s$F<8QRTeDdr!;;tjUa8vy)a z5-Ban13eD#=Ou4wM+`Sntxkaw#$Rdc%YZY zOmd~wJ-~dBCOyaO^5U^!I#Z%(te#|E9{6B$0)sv&oaM9Zpt9(6E+{}zcrgc}GZ4^n zv$Lc%LX7~*DG2fap$rN|1Qy>%Ju->SS>xA&C(J+zVY8!2xo`}RMo{Kw_M6eTl{e8k zCD6udc^Ngs*ntVhP^Pn(HFaM)%G-vw)=w>zeT{cFK&;80J$)dsED|wi}5>VoG!AW_g3tEkJDRW#wLF znhvr=dfEL~miiBpyG_w@>@Ncs3xXqO6WA+Ay7PlhW{4xZ_>ZDNfKC?IM z>Ba0Nik`^ewWzvz6+gzLIfp9W%em2^C2JG{Z`}3|P-(Ru^~UsP3xQ&i!s?bmDb=9) z$vJhTmrFi%s0&JdpY*;>Hu`l4X_wQaFYvnIwHH;7irkSh#IpqC*!!pQ_#Di)Kek?! zYJ$y4n|@~oPe>~an7oIqlk~t?jdKsf6ifG95d7;HVX}<9XQ- z6aMN1Ki#vW33@#WrhoieyrmGNw$oDra^D8Jgo`ABC9}_)=fVuy-brS)I4J$Nqo=I?1A)#Rl@S(^ z^Kf>@0H=1|obs6_Q!7h{s-#3hTYFBnaxB6LLZqxj`SJ~iL_?AQb=^mQJR)E1R5p$D znknVW{qX5XB6;3bEu3QQYTH3Ca-p=l5}D1;Eo0)1&zI}<^Q#ANlt&ZOxm*-w#l-|x zV~2@7v;pj5qW43wf95CLfsD7D@ZEx7Z6tOR_zw8B)V|M0VBTeeFq$u&K%Lb6Npbe% z%W*jhz?p(l79%VWJgIpJN=dd{#XhD=lp?G!A*_m?PriZyurt!%oKA7|D2<))SkNu| zr<2-xYt0ru4OlK7&)#Zt4mn&YYHycWg#=%Lc*h*bZ(%y9S+GaH!PQRyQdAkHacv0L zd&P~WjF)~D+FohbQX#e&mC{9}i_sHS$&Pww zmth3!GvqVA659T_j1*-O#{~k7`EW48OLAzZmtIp53HD zVg}!!Uk#)g)i1kklZ0#7pEm?3^@X%w{txs1`-j!p%gHCktLi6jqu6_{q`w9^pEnlQ z*G^xDuN%@lA}nl1!=;l10nhDX{DL2fL&5uX!PfzKq%_w?gEPwvJp|30F-dQd7vf>F zeWJ_VxpnG_O!X;)at{CWNfGz~v3kWdRHD?G((vOxVL&kqbDE0T^sv1s6w8nAVjL#Q zN{?ITOD?VbK^q0O`^I^fvu~|#ID{-fbBL8PUL-_S*0J%o|Ln;QC{oS@PR#xq8{1{a zdO7dFXcKUe3{}~+*(#bJOOYXZvE4*iFO(=aoJ=oRT!M?Ti_0ZVxJ427*0Sz&)dglPFL z&>T=VdD=_|E|_#cJ7o!9xdd;f43=;)jhN0fsDM$!+I#e6?pfHxZh6zmOT%*-w-A0_ z-;JmE1}|Ooh7)z=)wvZEP87e{w-iLDOQkg*(l)g z;xOp5qgd=){_-+R3p=iaO5)PTUR*(G&*bu2YeW9|$X8q&6rZ7hFS``T4mXRBlT)JM zS*W1k#r)GXnac02AMgK2QkOkODRqYx=4@5V;0}Ttz7Rj*e2t1{bHqjHp8v(_32rIt}IcL-ijdFKdE?{&X>-`Q0GJ%(?AgvM~j-zm_s~*#4A3}+h&Sp8`_^qDb zwls^8h=|C_n!4$nqI5H%JtR(IY;rI3eB1HnvwuE>8zdppdPplhbTTZdA_=}58Z8Nd z4J8Ybt06y&DP-dsJdILR!Rs9Ks8w8t>RP3FAe_;#nqIxzvR6oFs) zz!17+!5ei>q|d}#k5&;sm(w&dWEj8bc}atJSnK;WLF5MeDLL|k`HdtR_juQ_QS;7h z3(q>0MiW0os^!A~qm?~11dv!QRIx^xg+`5TxN7>NVJ*%B8Ebhre3M8^f^l(hvjkCx z+go{2&VCXL<7BolNQ#!bEslsb>#gHzM^D>!S`as6^bUiby&jJJ*X_={IE<#rtuqc}Or|gMHlbRiy(_K5v&Yc`KHryVsRF}iS01c*m@fu$t z8H1_i$)B}H$g<(Q1WYzxOhKh#jT?4vRuvt(@IF+sHL5;CL%e=kXm9PKWbWuS=P`>! z>)ewCp)Xwm=Upv#x{eoouj+L4BHBC(9>lQmTv$(Cq9 zeGA9~8&S#KGmKhKh^L0|t_O5__b!q>mCpjIWo+HLuoruP|ENbE{)W+MbFd;sG!K;I z69N@v&O9~V^%0+g$v?K~n*jb9?=_Pr6v>8`LgBsO0epTKpRm!8d5AMzXMsGuoU_N1dwBmQo z=m^dy&WdxTtMYx}$MZoLiEdj1C$_FF*iQ<9Yfj8I`TaAXjtpc}Hd-QP4CNYuh98dY%rWkOA&CnZA_N_zRh3=0*x!PQn~bjsSrQ zEB-DrkifH;KsrdPgsGa&8k9!!7owxU;bg%X{>SZtS-s-Q=uKR8=D61ql zN@U7>*&J6g(VA`rq8@2%w1(NYAAkn(421szQRMg!4B!7wkSe00C8wbA7g1FD@BFAN z4FAR`GBEr<_09h6nEh8fD%)RE>3>5g3e*4NM^&LWq&K2BaxyfwHg&NvHFNp*V<$^< z3m1Chzxq@gd%M5;e|m78aR0r4tFSUA0R{~r z7+5s$>)Q;XhWx9(7QhcK$0&H9*u)Qg7Z(`Z$i6F<0?qaeLM+hvn->rvl0ZZ=kBAr^ z3|Lg~fYXnYi1A?{mI8kW^SlB~dAQhsFTm%yMV$c5;2+rNy8Aj}1pqRLknxF$h)+oH zN}@ds5SS<+ETINF2a;YQm~%)L;UNSEn_Ye-2#R*Y2EBWNgucE$43snCu+erZ$S8m> zL=E;|l$+pjcfs7i{_)T(K}380V93C?z%yG2eEt^(ek8fm%{x1r)k__~OllhY7wNe2;h| z;PID-c+Um%pU9#xcV$6>6gTt*==)d{FxX}ItN{=DuKoiY`YgWp&DBMqFiY1b?(qBs zr1=YByVpTCwvYFgs^8zG)`3O=3I=RyJTTC~o`47780+jkdK>+<^PC>+q)8J6t z;svotM0bF{nQI3Ld^B|U3qlB8{Mt4 ziyUAEyxXfwzv{cNhHw-6B>vd`84ybJa&MOj3b}rpSC12FhAS3MoLEt8)C#TF96^- z;voqY5xi@83IqQdY(O9Z6FRyt9PoN46hLPIv-`qFdK5tL+4QLWCO*0XX!y0@f9Q`A z^k&51k@W=#)En(T;m-jZ4&HAVa3;xexy<{r^0JMmUgh)}T?zzB%3uCG>5AsBd(qes7yS46P9mV zx%}v$=n$1vRSl}|0lpJ?OJGN0vv@G~@|;@2NN2+He6tK!epZq3g}~ck)%dKWm4Dy8 zUu01z8e}VS#^E2hxCp6+r&LXW-hnWr2XOVew}2tMeM{P=7sWteLakVcVctZL=fZ^e zc+}C+F3*jPpAAcmen&VIzJSfq5(~qdCg0w;-%;qOy_3WdId=u(wqB4djlu*K7=f~; zKIuEWvZ90TZ`Y#82J=g#*|^G#DX&I1LM2Sq6H&6JCO`Nu?lySp=8&v|3gcSmxjvge zQI6l|>EkNNMW+-0!qru{zc<5j%{v{8$!}MJX?F$O8dG_(KwxEuY(Q+`` zvJ>OLckg+NGPuw(?6vczmaR}UN6*R*31zuzg45vX%I){5WIN-Z+}uA*#}$We^daI> z!9^d}!`o5D-fp(xW+kBnSw1J)HAi?QU0I1!!EtNPVH5{`4j3$ZRG*)BV$%@g~PGhIBZQDj0n++Q^X>8lJZR1)0uLsw2KbRTw#$`QPk;>PKMvK@oSTw}vc+hg*ua;CVIvq>o z_Io!I0dFD!pKz!$5(KTU0Ho;rQLHe_6 z=?TOgs8t7>o{0b=21lLG)*#XFeSrp2MM%qd5Wn4P!zdQY+eyT2LRtfTf06TtJ))>_ zei~_uM$s9ov~8vl@2ZXMvGBBSV9&Qkbc7e&C-AiX@a4yHK#soyZRF&&CDBv1s-G-X zaoT$8EHWriHC&@TGif-4i2Q+KG~|&IkTI(cq6$z4a#;36x^{@@ZPcR++*!FuKi(D@ z4~jId(0yld?+ftSwKw{H)>$c6;$%xszja;8tTI=(PQ5Si#kv^{{~`13Q+#o4z{=4p zgu$(@;y2mk!p4ZA=gD`Wh@xa7!V$z98Eb3NtQc`L0n%H*9F|`aSj?L@R`IYhuH{f^ zI0r0*VK0aJ!CC5Ed_6<5YEV)VV1r1f?$FQK8~oF0`T_4CT}%Fwf9+*7<(*GFR3Aj~TVNr3BOPe4ElEr{;mp#m0C}~*!XNXub@;x)3b=j|MC>2E zj1h8Mtp_#1%m6~eJGK|wIA{>OatxVQPa=|a4#{arL^;4YQOP}SO5SNu6*}mXr1?_2 z9M9fg=aC5L`Oz`CV8jyh1ov*^HG`~-Dyyk_IuNjBKJfi!Vc9e63D4X2csS_DCUYpj zuGJFK*Frmpq-3t&ctyx|73J%#`MVwVEN|q7&xUpM~GVJ)NbkwN#OzB9& zj*8kyRz{20wyJXleZ0c?*{ig2&8q3vX2}C*BPh$#Ju{EZO3VC9qm@%RVIJ6~pGl+w(- zN$4r+9|85^R|ev=^qNEFfm21GC$JHu84i^|9oYeJW74k2$4;)TJR3iQk&KMi$%g& z&~jD`>qOIp^db3j{$|r;2@^>S8fpZjo5`iBs~gx%rvUEs4|-iyubaA4BdbEJ zdgl#^7MPT)sExZiG{w5y`qlM%4#T-uBDwOvKJ=2nqC9n&2tVlb_kGUX-Bf`!Nx5m1 zE4TD=IaAv?EsXf`SyRWn#Rk4ZdK!XFBV-q&Mb9ban-x~ddfOs~6K=PctL~C*2dSeL zV8HdWs=<81=bd)n)#cK;$Bd-aOXLrlW#E>h+uxo?Kl*tb&h1pYJ%lN)%NtpHhq7TH}l2$k4{-D>IP|h0nVb{V% zXJfTsm3OHxp<%kC_IvyFO}Jwd@Qu$>AK7uuYwEd}&bG^_cRB>PE@alx;sOVs?ilFY zY_8^9`q};kFjDV~w_z4#B%Yt@x;(Olm3!PL=D|NYQ<5*n`To&+;~jj1xq;$l^88W^ zsiJi0px=-rYaTz%_P$?YfkrkDvbMN?!Q_3i>-dS|8EgFHB;(m(aqc^WOs(}7UCfo& z@z=3s&jLwa3qyyc5RrV<_L*5~BMKQWBZZB8^ZI_+b;FXw(bpew|J6VBm-Gf9%oex*6ieBF{6)1DCD>VYIp$5OGHg-X)0Xd%-_zSuReG}w*b zfXj7G^r!Jt=5PzCR6qU(EH#liJj9k!zi-ou#4?ystPahVo%<`sq)kj>Lo2h{_dO~c zZmm;&v2ln1zU!^21o%yxPU=m>qo2?Sdz8EmqkY?a{MAe;ant~(P+pnjO?X*}+{O=V zwT^RWg3Vlt_k=4KAo8WT{uMZacujVvEgx{selkCZNV&G_`d>)t?1pE5`#{H_Dl{OG zqg5pryX{iSkvZ2aD^>g24cVZDDNw7@FaZnZFXD2Uws3}WDYMz9_&rK2onjL=YuH3S zhg*N?%cph^D{$O{jt>YtbC`E(dkHw+Zg8;8(O{9?HVpczSRP5R5KuVnN2x$%5kWt5(uer@+n&1)|)pxMs4}vFr(sF zMd~zQMT2~bXRU?eRx`@k#<1HhPq((`mMtI>K4^; z`U-}8N{55I1Ee0!bId7Sj#}Lwbqgbr9ZGe^QWDJ`(JbN5w}I6ZbTN17AScDW^-B|g zkXHPV?sx>E<(ihC%{xl(dZI`j@&NQHl?NPDa|Bg|Gb9lAL= z0&IN)i*^TR;H?@6>$y%vhfjnM>|Y*`Z1u=xf;ac(%4|%BV-8Uju5L|+!z(+tik|b> zIjsZ?!^ABeP1V;Y0vbrsieKh;b83hp4&ECqC_s@h-ommF(!Sbk_~d zAgjGi96WvDT7wI3tSR6gHN6rIk(6oOpEO;k4DgG3G!C3%PlagA2^lE!FKBLUTNlC6 zMek<|M1whq&F3M)%}<&W+{C90Txk9lGX9Z|L$*HQ+mM#1)pDD-u0`Ib{Df%k#lRq) zEhkR_e>O+UacwoX{Bry;$RqV}8I}_?+Z+l{A&4Ah9m%&6QfcFIx!xS>F2}4k;*k)E z@uRKtv7f#zc~TimwAh7N%cofB$US7;!;=hOl4!tdgTHC>y_1M zoooA;@K0N3req=0fR7L)f|W&A-@Jr7C};^1#E=8n6FX2GHnZD6EHDi$&Klk6du1`A zOWhPv(9h$wP|fbd3|k$!?dB}LDN26VE1iWTZcbhEeh`6|)?w+V4w)*6r1UIk6Q)i& zb6)YNo?fs8%o?{O3{289>)C)tAG}!a&vRLkF|GInlEYBD2@0@U7-DGO9$jHkMKvzy zan)S#k3`*~JjlQv2V-H#F5nTXS z0=mMmem&HM^mgwK(>$UbFCeqHvO1J;A&4$AUae4`#E8z`MVn21Arc*^d~<6$zf9PH zqZ=8XUS6an9Llm0GX0F#wJXN)#OL{f)XSMQ(S0+$-viR|&Ei@|+G#xO=*QB@GKqD0 zU=&n9iZLenCWGq4G#XkfTTO5|srO+e9*mFQaNY#TaPC)>29G4Hh#jYJ9=wECF@2Kv zygV6&5xH1eRerIzafd${=wZP9&Ff_(5ZxIqn@v+GJ_7FSAZ0%N)wiVHNSX{k)|a;lgxYWY}I1^Xco5@0ErA zwaHX~f<+?1_lThWjug5vKPTM?Cd{u?tx{;y%-Q5SLIYGp@qlYd9JV^PQ9tjcAS2_5 z)>s8RvUN|)ZfY&MX6Tt_$(baW0}>sMMP(J$6^D`*N#xH?s9Z3 z&C7O*;|wvR(BnOv26jybEjsoPjarDMPJ74ieXKCiP>Q$BT0Qb6>*ZT@L+`0}!_K1j z2}PRqRn+MaMYZ8~wzxX%9Bmj(#+{B`F>e~11({7nI}UE-$r3NcK94&Nql7SaSv>os z4`pu@ZPgIc4NPxGWtjGe9_;O_8jY#n%4N!oE7|>wMC8gR*R*l=Eq5GzAS(@mH*pHB zdR;1Oj|+^3Lfr-onCo4#M#x@hvmxcma`m3>ev3RwfX=H_>4 zx^35{L@k{|I-~RrmD7Zs*u?cMWt=?Yh}A5Kv^lrEZ!)|;#!FO9whw=RVhhcU>LX_0^J9JiZNFt`VvB!ky;$IeP#T!3*0TgwH8CNDby)?0HJOryQIp zgZ>2}w+8djz=`ZpG>Pm-#fesfz!hP7nzpjd3w0Z5Q0K9@Y0BO_XJf+dsq zB8Ev`_rW7-%jKBY1NO`cCBtJ{k=?H|UalCOQ=zgt-BL9LdmclT{Kd z$bui}pTipr_?SJC>IPd(w!6wkUlFCstUAXsTu7c4PuxGzXIg5OmZz1(+-W0dC1xvN zA3A#OOh!p%Rt%J595@NaH)Vqn_0o7fNb$}Q&p~fT5YbY>6~o%V+*P&X$h<2oA<=fC+5vqwvLd*pBQ&n>6-Zx z-G;TPAE)Q|Vc*44@lfp@v#Pj8JI|FiDBe<@^_N8U+MbGlwTU}KKiocO<*jZ+eg3e7 z?!D<^IAQA)LRUa9%3CU=p1kPYC4+&hY==)hw!LV9ljnj7GnE=r+#HWI_0_N+H$?;K zW^t~M7J-EGeO6|fOGU(Fbesh`o_j+jyp6YL?nhUAJI{D(CqA$+ia=gnXZQ1S`I^Jl zIdxI-`*%%GvVR+VIfJ z-RiU^gHG&E+Bw2=?@U2&mF?ZD^|^!ieNLYXykszUas#L6+pwEpbc1pnR?xG`+6(0l z!ME&8iL4X3GBwe{pzCxujDd10-`G}cR7 zEg31-wiw@+^j>K`HwexY&?7|54u#}dqts%JrQ-w;7$bT5Q}(cd3J?7 zu3TDg&Ux~B&cZ?jCyBOYjjcvKKb7GnAy2oozA2_m#l=(0-_4hx>B+4xJ@PzCf`XoL zscwP3;mpv2#N6)rW|6O2ik~LzsNQz-0&ALsIFr;Y8?QmcjA{`;&T0_S6vy?I)EsVw zyn^0>zpq7QR3726I={RLl)yNQz+XHRtmP{xmG=YmAY{QY;Sb+CIK`IIRuXWX+m&+a z7&osMF*MSojD6t>!XQEFW*x^>cF7LbCfsd{;J%Uu%pHb?NwiQqPOhu#X;HxUuRMM7 z^yQOsRZpK&NekvthJ~AGlOGS%aKSQ>=(M=J$2SX7bgiU%;gLToeNU#Tp}h4Ad2bh! zt$W}SHTo6Wl|v;YtF=Td7)5o6fI-a9qr!D`D}E9kiY#Bm0F#HN?~6L|ZDHOqN?0*D zw8!dm12O^Z!vse$jj{3l{H-(0^9(&~JW7U2S8H`kN7I|#EDImqaqY6y@#$c64~@>9 zypD!ZY@P4Ns+H~TX0)|~J&sks3BtwJ*zf(|Ju!h4C6B%FsTa?v0@_RE2Jy<&7t=ViD$Q4PmNN-`Hi6iY({cVim!Mz zERv-!r#6Bl%|uoO;g)xc9We-7iq26U39IT4acZgW)hU7t^o71Ylv-vm50EY3M8kI` z*Q{UZ;$XPpNH1veTUCZeSp3LXaQg8wzcjB(^b+76&MSB=Bn_Zp;gXbmz~vl#uw=)1 zAeQ$wA;6-_+)@IzoLocf*z7&~+zt z7g}^38a~g{bvMxlDjYd@msRn+kqArhiAYUZb8sLYKtaiB+=bMsNt4<2E~^pUF|-*m< zrK0L$BJ#?=ET#WVE?1_15px2VnEwAHbN#oWl>NUql>V}AI=a~W&64@caQRnDCNtnK zqx-idll8BbOm;>9+kdiTaxk*8{6AYVT_KdFS7v#^6eh_|d>uo4#hD#lB;lBa5SXEb z0vsh>NW=rcCdDbKh^Wd5SK<{=*7lD)&b-dv+Gg*{)h%{iZm*8LZh4;;OpM`S^M2sR z(7w}yR~BxM`v}(jEC<35&w~o;4Z_!k#K6}^hz}dl%7X&=vJ~B?5A9@EC)S?z3==~AJyC2myoY*eoZ)V2-Wvv{|Y|X_&P)}@w&X~ zM|8r@g`u9+S%k2~y)!Wo?qqO6LUQuKmnA&HqjyeKPyy>8@JN#ghk=X8aQ>jzNS{3@ zCyxk-=E;s@#rG&YJ@N7Jn+YjYbpj*G(V*DdyYS7R#)BFKwU={{+AHHhQwb^dvnE|H z)Ic7cZ!3I2-Jx;vq52_U__03Uex_Xhu(Jsn!mkZdyaMV@eF#ElLix;4{iyrSx;?84 z6#5+InP!>bOxN#tqb)<=Gh^of*1NmvkR>q7V?BA_uen?dlc)pmARR<)p@hjaU^|HR zPzzoBvy`1@(*htO>Ubc~${SgaS{?MaqvEPMsvh%|*bm-80(doGxM0E@oB|u-s?E9& z14~W(9mNiJn@>|(VjP{|r&o7_z4!=K56Y0;BPnAb)^Ee`CB$zb0Zbb&OUAGwV1W-k z!oqo&|KkbDFtfz0iY%8=7ztB~Q3?N@dXKZQWWG1!Z< z#(couv^L&DgAm?+CT+(yw?OQBa&b(=GQXO`p7Fu(kn_djlk^4ydDX4-;YrCugA{1j z(|Id=vjz~zYwJqLrX9%*yn*d(BLQ={;tK#kVv?cx_<`3uLTYNb^CuHrtJs&UkFQ;- z5Y_=8p)X(P57S>|7hYl@=ilIt1O^}HDmW!B$l@7Czw_`bY_ zU$()#v@t6<26T9D0rR5165wtd0&QSj{8V%BVX0v7@66HH-(*<*Us)Tm)bNnfM{*fAXp@qU#)>dj(k&B2iz`wnFXjDKby>bpS0`iprP2(=t9((>#g#5?D}Tx%hmZH7()>3hDaHta`sO486y zEiEMcH(O+sM}rp%bzj|g?I!T{4~XD{FREJmJ|~pdea~_}N&rt;LK9We%{3*EEavba z-)w6_r7?Mp`=IA7%XVveddlEDnq?PmgFyrDNRCQOzF5vw!4iOF70X=pumhe!zIDZ`N=0 z9Q@sti+lJ*yX)4E;f&LhK+z8yQ)8sT=`h6o*mY*YA!K4&*2{ry);jcsw@uDuc8XY4 zDW3{CgotuIz2eQhZs2PjWwa6~a;ia5y8{iQ*M|1jhLywNS`y*RdW$i9>KS#b)*(tPTnb2zD=)putpJLwWR(Y}tuNg1mNF}{`JJy#*(HV6q{(QYe zyYd}&=Rc4jP!vZl%O#R+fVi(qBA#q7!^mHCpA6iZ`eY@$~wNFU!&u& z_F(eB%;^R~g}fwPoIE~g5e1?GAdr5B7V>fPCy0@F&!2ZA;IC+_!@`{g*{qygyNGMl z5sh^fQAioTC`GmxFh$>3X-LQF=vm^my3QP#OW4!Lw^A3>>bb={i}J8f7O`La@ak#O zwY-m2?ink}tP(ho*Au_>oje{ap$hA0+-@grkuQi2a>Ml5|Y*;&tqGCC3=Jo3#2o`;pP{uLG!=fMJi zxySGKH=zWo9FZWd)(DjJsb_|L?{ggLQ-t3+EJVs1SsWkp6yIY!H|r88?`wh)2* zfQyB~AvT}dUD336K`r36NFWHMFqsoa@Q&L=IMAm0X6iGjWH%8T@8%=za#qnq&uCN# z&8#W5iV%}(E7%*)T_0o5m{vRzm&nw+2>FAk)V{*XPe&(h1CS=60{7`a_14)CD(gLj z$7`fX=po|r3=ZSC%D1|UPdM~X+mfi^Z!ZZF$`-HqYZXr+4ahamyIIU|GKaJp4@}%x zgB^Mj`6#f9mQ^K{kb5sHsN_FAQjU_3;Urn|<;-33lj74kiv)#N-WQ!ojatAqJeE@; zlMSE&W~h-VCPPz|bK-bZ;Z( z=KZm7`JSMTFs}Z|p14Y5Jt3}&Hi@Z$XUFBC)rD$-`$6jsu0aNXz2Y6vm%yjKkukkEBZ zuWy%6$EGJJMxWF06O9cXX}}`zCBB>bk|E{*@KN#6V`fhqt8WL zmIr8oXk1;#8xt9gA8HhAEFaqH+Cml6PCXkcy2s-Xc%AiQryxp6){~%1G|YtCp4HNJ zOs-&;e2AC>SNm*w1~}x%+VBo7;<0c>=CpVr)KRiXZCsdWI^^vl+zmYwL6K6gOyA$3 zl_go@YXK9t&t66C$M>?&#?jY#U>#c2d`~&jjj|2ckXNzK)p>5wh^3MHB#n9LwXogstgaN?zfo zmVqap9;`4K&bGyAy1vB+`eTt5p4*=T$gmw)==$D{3#CWeMX@fX6J5fZjJidiySw{V zs>PIwXRUr(c&~j{K)L8*SS7oU&PcM*VTfh$;CuCQWJ)>{WqmTQ+1TFDPgF1? zlV%Yg37!pI_UIrRvzNOpLPe8}ryG=S#^ct9zuO3KXh*0HZ8Ee5Nf+1=1jA+7C- zKXAjf#JGmif4%>3n~sxfDt$wr7H#zOwUfq<*qo34(-_M@1v$HqsZi&lMevu(tC8_* za31XtR+xREIugz!9l;zUyB@Zl6I1+XhYcmTy+JVCT#f>}TWLU^_LIQy^EETOpVJ5J z;K^IO{QS7pKAad24^Qs!e8PGJoyQb_pY~0#tk;p5)byBSu%#dP^!vW|Pt0eUOlP5P zYhLw*1fW{ydq<+YHWK?1h)tUQ*?Y@Us1c`5SSd}x+nW?n{k}cj}!KRoVw(E6uLxW|6;$d-N$hf#wsq9q}UyIenUDjMCQhnjNL^keVBzggs-Ts`VrY=!gz`T61 zhZZBAoeyRL8LN;lif|%HYQ!{@69VZGt09|sJ{zBEUT3cq9?pv_*+oOUicj-YYV>V@8D zYD;Z)=KYMmgk?2kX((s035gw#HT4v!NlGoPeeBnb z4WAy-F%J{mGs?a4-CUZGcR@0TY7VTB<>VyrQiT_r9#ER2ErMLtz_%QVeuDi%dn9k^ z)DOVS{Aj|9q)2I+6X_D$?V(2xUpzm2anYb@Btc5+sFHub;+&gz`zczhch`Kj!qN=l zKw+t-o&+jD7!iGqA(E%0FIpd(A(G&Q9+($5_>kFp2XL3DBbV7fAbF(Sm_#2$X8c~4 zuR+tR%ci{Y0n6bnziaJEI_!ZhhArRJBXEwP&Fy|w-rnHgg@NQGJc}v5V}>>5y#O$W zJl{OyYTK2s!}s!Zj0l@9@KSDtJ3H8>;p5{7X&W$G#Wd+8^3rfcjng?*h2BVl42A3v zaHcLsNx?kLLOY@C%U!q8t+D7k3e;0c*9;SjMr7aks`?1YC3n{dkGqMuR40)YWX6vA zZkgz6>fH_8JJ!*#XPj%8SsNJzlZ_h|0f3qsmR&+wK{|TXwby$~)z4Tgxke>4v%TKB zVLcm}owYU2!GP2j^U0-?1^Ws^#*HIi$gt-<9ZT7!3KT3zO+Wq7$gd~+WL)JAd@2j! ztTl;;w@IgkQpmY?iQevKpLN7w_|TcYDvaEH&HS=v-M8*%$87hRwuxEH!p>`=?#>$@es^F`L5!!2fK*Ws!YJH5{*BiXcch+%LBR z1K+P^S_+G_c^EBN3dfnH|5(vR%vem!_)3gh87&#=b6Vl^5cQ@DzjU5bN?ylSmLO-5 z*(l;?E@g%U$601#KzWiR)qQ%**)&00{*;{iYz4<7&#;c8X<)TA#nTKC4#mz5^A^Yp_c=-ayA#9OEo6dd$CPYTR0=%~$tr77}r zlfS>T;JWFBe$;Au25cK)&Mlmjr5g_!_;$qIa4-{PX@Tk7%she_YS$uKu`JDU2r7jX z0+%)6cqB<(<#V;3OK=r_PNe%Q7kqg6QC&A(<(PHDvX~@PhDw)1)3+K0?bNPo-ZSGB+ZLFmexCF5ZA9X z4iIM6T|C3WrHLV%XPy;s)b=T~bf+E31@FJ5K$27UlDdE)YS*LR`tu-{>`G1TL<-@n z5^LzXz36O161qUX1W6#kz$HNqng67g2*;+;ZEMTLh$>;Vg&*`}R-Qeot703^2rSRS zfJbXpu&>f)Yd<7M$JdXBm5VUGDUU8a3+;5vyj1??>9lKSy~rlu{o!ly(;{(GmzSZ$ z`5>|Hx@|s)cSDj9ujOi90I#9&hZ5EVe$)-&ew-KT+Z)h|3iYR#3CF;~z^*Q*betdA zQKu??bB4@;XFV_YNI=%Hne#DFxhlRCzup<~tl;4C*c9WB`tlLq;rnQh7HE%Ymk5ay z!bWE+r6HxO{bWveXx>mRV z3@?fvF9K$8aU3eDbl!i>yNIE1m^^nsk&)7kyPWe)4G+{V*(HMMtG1IpgISBqfwl+1Llp-w~=|QsT zD(dm$B2Y!kJUNS>+3&gGc6&v>=yaYeeUzf3-H)0vX@)u&KEo*Ye|GJrbi8kjm}N1~ z0sT42Oz`+v-&cBc#)x#bSgxNe_Cb@tab3rzWvSx(GI}B=_gmuPP>@7(ME((NB^%B_ zMOe1VNE_8uJeA>uxcqyKd18L_xv>TVh!7dx0<+y39jqg+Nk*l7%yo=byj^=GbyOCV zgldT!8jE*GF_|vx>Ci-7IMmjfmw1C+;Z2??l83W$t$lJEJ2y9JpQMY$7It#_QezdS z?S}~iMewN5ZQ}8(?+s`ucty4hCj|gUYB$CA?s+tdQzENe??*-UjSnKUYYuSt5Q6GHNAwClaHtAjzC< z7ph*?4s#LC#oy>5%WD^~Pb%M-;;tUwHWR`~_NA?Qckw>^gE237>E&}T`KDbhvHml< z_%cytZ+4K(3(+!p#EMF9*K*-Jqrvwn%cZvm*;?Pt9`pc+xUyIeGV8T!m9I~(AG8D3 z@mxGVo(-|S6b20mye?F3&mzjzoF*H&c|?)QG8qU$Q19VU1Wge(RyU~}^W-q`Uc|e! zMCNlL5UUi>qn5BW8_s%Ir@?=vxAT507%!k*g}RmCi9L_6L8l7`XeVuae$Qgw z!>Vc_qYZ;{^woJ5+0A=-xx)=9XDYy9lgNZS_4~4WxyuVZdxTjd?pGr(+e5llt%QnA z)(0iM$J3CG6LFIy1u^(%Q7qaNS<0iQBtfc!?-hRH`Kt@=?66+z_ws&|%k7GVd-IPeH=G7bYV*ETq_$XqsNvIr$NpYz=ic#3>o&9QAP zUCdcFgM4@PXqyeqSLIj-uJQ!gDpW=(Km4frshS<^zeO64eTQs_yZzCxWSzImCP=Q= z49*y$FE#%Wg1C^69DwY!k6G6YH{19M_-RJ3> zfQCYrUivQ1RN)k{Z_ecHs8rG=iA%q#jGW;ebrW9wv!E=xTal63ULp4?MWql|b%7&I zMY%eO**kLKkJ+2>+Ta%Si+wN)xL@dL#Nt!0P#cm$Owe!c)-zQ$qEC}I-)D{)Ffv7& zSEi?3OFcXAOg2pyVrYid94pz6wdyGa(g{Y%*`upk7#pOz2d{{0E$C{*hS3^$7kL6M zO#L!HrZC3Oe3V2k4m}%5nzjqsoTjJ~7d$N$6wqwJAnD5C^vg4KJ(F(|?$eIIE8Twb zWYFjM*t8L#E3;OdN{PIxJ9lcOGunKcjPZyssSqyH8h3npP$$UvB_-BZ;WD;7d+#OCx~b$G#Mk8G?zrN(MgaKAW%or8Qkbv05macgs<@21(Ix;#gab z4{>lgY`U-yCR#~sxnI4E*EqSjzJxsTBuSM0)_*rZs6HhOMMBU4Oihv*OcQmsWzOenT0A$BdvV5&ALj8kq|fBQ zq&#}%BR0-;CJ>cuF5Jqud%&RX6x|t66F|`hG$(`8_pzyj4czMxITCv3%DV#C6cKxy zd_KistJ9C9<}9zXj9T@YJ5> z9n_o`Oj@&WyUguRSMJ{lOJ+nR!%M85Cd}YP)aKV~haVMaZFS#{Rc?RKkb(LHGk3ui z;s#p9mge-mx*><-pe$y0V#hy7aoFC@c##pubN?XF&dXDMRDzTra?xOa!!}_pC}Kp4%0y}B-i$5m3Kei3 z(Rt)e?x=_X4cg}a-35a}vQL7lqgkd!z`Tn>4B4$>H2fiK2dEV_?my7Q2Zr| zU^>msHgRqjH=YSeSL!{nNe%z_4<|oeUsN6vL!J!-+=3TTJ(y5Y9b`39o9pgFYfsT_ zd6@_i`8il(5o?9U6O*HlOg;w9c(5_5|ge+*a<>y~Vf^`XmiG^`tf+TWwtH2u;2K~_bBbpDact=!7M zyP|)d!Z*0tB{%ijD-vG^(7ypr(von{Qn4h4=Xz9hM&&F+0zcP!?v3wLR8xTq$Y^l9 z`U-qMyG>U!NPhi=e%h0abNc1OV`DAk)lLRf5Y>dRx2+tfcV(8QKf76Ee-XcgOi5BY z-3pp1)%~i1R58`{r|z0f$1;C{{PLD zK}Z^ydP^SY%AlzJ-$i``Bbn(q*%%1{000{yJ3Fg341<7!fswW2FV6-T1|dCLaid?+ z*o15xz{qG}qd&i+18}myFi1G+S(+ILSesZH5z+yGfi*d;iz% zpAp}B_VzX|e*}X6@z;=+yo9U*S?=NDFbwhlmNN?YKqjo~lIM)pRAfAy63 z!!hEoo)Uon><0n_?xgSNW@|*q@JpjWVqHN!2P07%pb{9Q#TA6*1%N6PQTs!MK;bVX z*qhlp+Sn5^{c2F*7Y(kxgQJkCo;~5O!AtA?{)*)nBd?9VIn2k8 zFn{z4FaHMR7mf4Z zCJ4avSFQX~jOz|F;SHyBE{nk^JEf^>-vd52Sx1`L*x=rIX)zqyIB2_Wv|Jzn?+BLHWn3{oA5t z1bQv~3(B7}`CmE#{MGI0Po>D~nHV_$4=o!f;MN5;BxPpkK&bgg7uvsQssHc9GXGk1 zf1g<)J>XepV*MW|Aa>OCp1DPdQN&a zCg89r{{@ojFA8zBH!_A{BxGiVVf^<+$i~Xb%t~lX_fZ&E}Fl|*x1>bfC~Lh#>@zuhTmkIoWJ+M#?AqJI{jXbmE-q*+1OcF{@EUY?H@7@ z05fnU{jFc%C|H0y?spmc?|m==IN1MD7g+W8@iH>8{zC_h%mAi;)MaJ|YV)^#SpdJ5 z=ijgZfQR=#Wh^Ye>y!xqtoB=7CIAzVto`rpF>!FP{yttNPR4(XgPDzmRI1lU9YBD{qEdl79y;5p&osAuo^$3FT6o*jmaOhir;=KlaB CS_tC+ literal 0 HcmV?d00001 diff --git a/calculus/main.synctex.gz b/calculus/main.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..c16d6afdb6a73e5b99aa30f54854760f4ecdbf56 GIT binary patch literal 4170 zcmV-Q5Vh|giwFP!000003awmSZzH*tefO{E0sLSAng+i=^tPDA0znWYK$1lkaX-km zEDMq?Ly~vZ3G&}_ZWXJF#miD#v(p2#-G`?xFE208C8^T<`TN`BUsiwn^53h&akGD0 z$eZ82y?>k*a`DUJ{;x-%_y6(sbXYC#|8xKN@w$3D9r4@gv_C9Q`}_6gbpO0LtR9xT z-OtC>`w}Ru+&?aNj~}~_NR9!{Ib-RkS(?wE||>x~>Y|5!-@8~bF#{5HdT$CIxQ``tbp zqy40N>($%puz7@o5361K_t)d;d$QuL8YCQh*xWxn?Dp@cAF%dG)s5 zZH_PZ>F3wo({r*G{vRWIT6I?9_0zYZ2Ul;8S$w3p-pt48Ib@DVdA*5~BsZR(KRO$~ zBBS@r$gjxg{p+zXVy?@W*W>H*^wRyzBm3C|W`^+3Q*P+W93BiIfpR<7WpQTb;rKnb z^V$4mcJ}Whf3C}5JP++^;`8#FnNineFrI(jlRV*<PWRy!&mxuNS4 zyLIP(SBD2wk5L9(m)Pe=6q-Z&k(;?LufckM**qS9Mwz&8Z4CuOU6re)c=y3 zx-P*#cB|LsuiV6Mv>RzQTg#7bBceZ>?~f1xNO#&QeZ0T_jH&$ky4`F#OIIs-D=;6g z$K}`Or_RdNI^J7($gEtK?fuk!;J3qfvh&A}6B)u7Z~m}czipm3k4+%4rx4=iuWuVj z{LSCK{PFquxH>Jw&HoI){z8#@J1uU0Qo+lcf6AM`%el1+j595u*}wBaF6QDn@mL#*FEMGn#mJmwEW_=H6<-Bp4v!j$M#4LuG1MG3Sq=cthN}Xq~MW=XJd7~wzFg90=JIfeCNov4ak9W}8^&P2H$#aLLbKj$gyew7@gwT! zXk}}GX^3LsG$a5k4Q^@^$Y*JT2&8>i@yWi;_)2NWqw4tACCRvwxja6?$*L{!z>t|?g z#jDzKSI3dsSiF8Bm;seiO2^z~_+1^ZX)f`i76IMle&0^Ctbc$z4fR%)2(XrvP9=_A zmsVbxdIX@xMn%OU!0>it5Oy7c38kMA=l&>EAdgK#$yZ*O7%Ti}$W$4hI&LfYOC4Xd>NNG#`ZBH+7BF8I^%lwt zHizV>z3NRcB>dW@_x3%-Bp$y54Rl@N>cqt(OYF#J36WWTx{2n{4M@*L^P< z-D9)Kmb*HBL1t_w8-=?JzpLX_nX#E@41V8Ew5)%CccQ@}z*Md-C7lbp|98OE4<7_Ul$;z}e*4Q;^bh!kk-fk!GbHcHy^;B?6elLLuUth)tg-iHs zvgNLhU(iICYuwmRhTqlkswTQz;d;MsCtB7&zgx2qiROH0supJi?2R;(*p3>piIhml`fUgsd(=#@q1AaS!Cp#KF1lo-he8{zH zmR!lFqDLj6!?(?l`>UvaC=xYLAlJyT8ljIC&gsEnnapv(*Vag}FiJZa4Zp1-cCbji zpn7()FN60o(B`A8HLiEuZ0vY za6S$PQUuO-&PuB}KNv3~w-0Gk&2gpR)7%TG%g8Xix!XgkrO2dfq0Ttw4u@VI9&j<- z$lX_TMUjW6o$%}?#9@A6liiloIOE$AonMCZX0qFo8liQ-3c7{WGSCpQ!@`lxHFrYI z?H=N)wL*3|fxS?B?9c5`r7;<_mb3v7{)YICK$wKmNm@nSSq_@0ND%sRhO zyoE4&JX@D=B#u|QjBl+a2| zvrsP`%LMmSt-Pm?DhkUPe$g_j7cDZjbZ9pgoK>`!&4Ww3F+sa8RgRIay_D0M^Ktri zp2Y+K4WZfUl(@%jQgt{1E-~(b}K}USCh?<9>mhmzm$&4)5w|iVBX;Dt1vA zYUC)&wU#7gC4Ql*8j)AeA$FRy{|S2mG?-p{g>= zLscD8nDC*hj>ec()q>ww)iGbwixI&v9D?JbFlB7(xT@eUb$qCj)u*;CK2*u{6y>HB zO_glg`&yW%)S4@>t39D4-FdNt+LP$xTHN;x&u$=-7Eu&a}$CtaN^`CXl4{8SH1&j$6Q-OSK{75pcK`tbluqS z0_E($>#Ate7O|3b7)MzTRdfi8K(Vu37`mcZ#JSdzl&-{wGFl0=8R}&oXe%oCT^*i*Zao6pkvE8h8$o2I=-ckpRHnihR-ISXj7Eo z3uAP2SQO*jx~;P(ts8rfa8|*ADX298wBA&<(3|Y&1A~;&2-oKhlkkHH;sz zEG1n;Rz@F5r<@&U$~E{)9nW^rwWrpf!doeA%?s2RDWMfqdeJ-*sFC~c2#dKsj!!KJNM7FdnT@a!94PoQh*{{uFVYh)JDC5e6QF!Ev&faKe@IKFECJv(9VQ zHif^`@l1zmPi;&|lnz(H1*PPGuUlLT zde4;ejd0ETWhHKnb@W}O(hj{Z0%X8%C-7v)Nt`@M8VbIXIPwbKFVqW%!p#3|6T1Fm z{yrom01&ixPAY^x>JrLeY;(clqrzAhmKJPO{LK^F9KUR!w-`HivJd$~F4KDI@Vh!* zd-H^Nk*)=d8J?eYmg(IBx^wGWx+ko3SQyNc=v4FlC&s7uQDfkI43@qDRq*KxQ&In+a literal 0 HcmV?d00001 diff --git a/calculus/main.tex b/calculus/main.tex new file mode 100644 index 0000000..38cacf3 --- /dev/null +++ b/calculus/main.tex @@ -0,0 +1,55 @@ +\documentclass[10pt]{article} +\input{preambolo.tex} + +% \usepackage{tikz} + +\newcommand{\true}{\operatorname{tt}} +\newcommand{\false}{\operatorname{ff}} + +\newcommand{\ddef}{\mathrel{::=}} +\newcommand{\semi}{\mathrel{;}} + +\newtheorem{example}[theorem]{Example} + + + +\begin{document} + +Terms: +\[t, u \ddef x \mid t\,u \mid \lambda x.\, t\] + +Fireballs, inerts and normal forms: + +\[\begin{array}{lll} +f & \ddef & x \mid i \mid \lambda x.\, t \\ +i & \ddef & x\,F_1\cdots F_n \\ +F & \ddef & K\langle f\rangle \\ +\end{array}\] + +Contexts $K$: +\[K \ddef [\,] \mid i \semi K\] + + +\[\begin{array}{lll} + K_1\langle\lambda x.\,t\rangle \, K_2\langle \lambda y.\, u\rangle & + \mapsto_{\beta_\lambda} & + K_1\langle K_2\langle t\{x\leftarrow \lambda y.\, u\}\rangle\rangle +\\ + K_1\langle\lambda x.\,t\rangle \, K_2\langle y \,\,\,\,\,\,\,\,\,\,\rangle & + \mapsto_{\beta_v} & + K_1\langle K_2\langle t\{x\leftarrow y\}\rangle\rangle +\\ + K_1\langle\lambda x.\,t\rangle \, K_2\langle i\,\,\,\,\,\,\,\,\,\,\,\rangle & + \mapsto_{\beta_i} & + \begin{cases} + K_1\langle K_2\langle t\{x\leftarrow i\}\rangle\rangle & + \text{ if } x \text{ occurs in } t \\ + K_1\langle K_2\langle i \semi t\rangle\rangle & + \text{ otherwise } \\ + \end{cases} +\end{array}\] + +Evaluation contexts $E$: +\[E \ddef [\,] \mid t\,E \mid E\,t\] + +\end{document} diff --git a/calculus/preambolo.tex b/calculus/preambolo.tex new file mode 100644 index 0000000..c7d653e --- /dev/null +++ b/calculus/preambolo.tex @@ -0,0 +1,20 @@ +\usepackage[english]{babel} +\usepackage[utf8]{inputenc} +\usepackage{amsmath, amsthm, amssymb} +\usepackage[ruled,vlined]{algorithm2e} +\usepackage{verbatim} +\usepackage{xcolor} +\usepackage{stmaryrd} +\usepackage[normalem]{ulem} + +% \theoremstyle{definition} +\newtheorem{theorem}{Theorem} +\newtheorem{lemma}[theorem]{Lemma} +% \newtheorem{corollary}[theorem]{Corollary} +\newtheorem{notation}[theorem]{Notation} +\newtheorem{definition}[theorem]{Definition} +\newtheorem{fact}[theorem]{Fact} + + + +\newcommand{\commento}[1]{\textcolor{orange}{#1}} -- 2.39.2