From 9b8abf843dc78152babdc8826633a4e91329593b Mon Sep 17 00:00:00 2001 From: augustin64 Date: Thu, 16 May 2024 11:30:13 +0200 Subject: [PATCH] Update .gitignore --- .gitignore | 13 + RapportPresentation/ex-rapport.aux | 26 - RapportPresentation/ex-rapport.bbl | 8 - RapportPresentation/ex-rapport.blg | 46 -- RapportPresentation/ex-rapport.fdb_latexmk | 86 ---- RapportPresentation/ex-rapport.fls | 129 ----- RapportPresentation/ex-rapport.log | 524 --------------------- RapportPresentation/ex-rapport.synctex.gz | Bin 25054 -> 0 bytes 8 files changed, 13 insertions(+), 819 deletions(-) delete mode 100644 RapportPresentation/ex-rapport.aux delete mode 100644 RapportPresentation/ex-rapport.bbl delete mode 100644 RapportPresentation/ex-rapport.blg delete mode 100644 RapportPresentation/ex-rapport.fdb_latexmk delete mode 100644 RapportPresentation/ex-rapport.fls delete mode 100644 RapportPresentation/ex-rapport.log delete mode 100644 RapportPresentation/ex-rapport.synctex.gz diff --git a/.gitignore b/.gitignore index 7a2dd79..134b552 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,15 @@ _build pieuvre + +*.aux +*.log +*.nav +*.out +*.snm +*.toc +*.bbl +*.blg +*.fdb_latexmk +*.fls +*.vrb +*.synctex.gz diff --git a/RapportPresentation/ex-rapport.aux b/RapportPresentation/ex-rapport.aux deleted file mode 100644 index c951a3d..0000000 --- a/RapportPresentation/ex-rapport.aux +++ /dev/null @@ -1,26 +0,0 @@ -\relax -\providecommand\babel@aux[2]{} -\@nameuse{bbl@beforestart} -\catcode `:\active -\catcode `;\active -\catcode `!\active -\catcode `?\active -\babel@aux{french}{} -\@writefile{toc}{\contentsline {section}{\numberline {1}Présentation}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {2}Compiler et exécuter}{1}{}\protected@file@percent } -\newlabel{s:opt}{{2}{1}{}{}{}} -\@writefile{toc}{\contentsline {section}{\numberline {3}Organisation du code}{1}{}\protected@file@percent } -\newlabel{s:orga}{{3}{1}{}{}{}} -\citation{SelingerNotes} -\@writefile{toc}{\contentsline {section}{\numberline {4}$\lambda $-calcul simplement typé}{2}{}\protected@file@percent } -\newlabel{s:stlc}{{4}{2}{}{}{}} -\@writefile{toc}{\contentsline {section}{\numberline {5}Preuves}{3}{}\protected@file@percent } -\newlabel{s:proof}{{5}{3}{}{}{}} -\@writefile{toc}{\contentsline {section}{\numberline {6}Tactiques}{3}{}\protected@file@percent } -\newlabel{s:tactic}{{6}{3}{}{}{}} -\@writefile{toc}{\contentsline {section}{\numberline {7}Conlusion}{3}{}\protected@file@percent } -\bibstyle{plain} -\bibdata{ex-biblio} -\bibcite{SelingerNotes}{1} -\@writefile{toc}{\contentsline {section}{\numberline {8}Répartition du travail}{4}{}\protected@file@percent } -\gdef \@abspage@last{4} diff --git a/RapportPresentation/ex-rapport.bbl b/RapportPresentation/ex-rapport.bbl deleted file mode 100644 index 68ee517..0000000 --- a/RapportPresentation/ex-rapport.bbl +++ /dev/null @@ -1,8 +0,0 @@ -\begin{thebibliography}{1} - -\bibitem{SelingerNotes} -Peter Selinger. -\newblock Lecture notes on the lambda calculus. -\newblock {\em CoRR}, 2008. - -\end{thebibliography} diff --git a/RapportPresentation/ex-rapport.blg b/RapportPresentation/ex-rapport.blg deleted file mode 100644 index b404b6e..0000000 --- a/RapportPresentation/ex-rapport.blg +++ /dev/null @@ -1,46 +0,0 @@ -This is BibTeX, Version 0.99d (TeX Live 2024/Arch Linux) -Capacity: max_strings=200000, hash_size=200000, hash_prime=170003 -The top-level auxiliary file: ex-rapport.aux -The style file: plain.bst -Database file #1: ex-biblio.bib -You've used 1 entry, - 2118 wiz_defined-function locations, - 503 strings with 4086 characters, -and the built_in function-call counts, 224 in all, are: -= -- 20 -> -- 7 -< -- 0 -+ -- 3 -- -- 2 -* -- 10 -:= -- 48 -add.period$ -- 3 -call.type$ -- 1 -change.case$ -- 4 -chr.to.int$ -- 0 -cite$ -- 1 -duplicate$ -- 10 -empty$ -- 18 -format.name$ -- 2 -if$ -- 42 -int.to.chr$ -- 0 -int.to.str$ -- 1 -missing$ -- 1 -newline$ -- 8 -num.names$ -- 2 -pop$ -- 4 -preamble$ -- 1 -purify$ -- 3 -quote$ -- 0 -skip$ -- 7 -stack$ -- 0 -substring$ -- 5 -swap$ -- 1 -text.length$ -- 0 -text.prefix$ -- 0 -top$ -- 0 -type$ -- 4 -warning$ -- 0 -while$ -- 2 -width$ -- 2 -write$ -- 12 diff --git a/RapportPresentation/ex-rapport.fdb_latexmk b/RapportPresentation/ex-rapport.fdb_latexmk deleted file mode 100644 index 1c558c3..0000000 --- a/RapportPresentation/ex-rapport.fdb_latexmk +++ /dev/null @@ -1,86 +0,0 @@ -# Fdb version 4 -["bibtex ex-rapport"] 1715699264.87395 "ex-rapport.aux" "ex-rapport.bbl" "ex-rapport" 1715705388.52522 0 - "./ex-biblio.bib" 1715679705.69998 878 b24a3ee5eaad1f378a00844cfb93a00b "" - "/usr/share/texmf-dist/bibtex/bst/base/plain.bst" 1713199481 20613 bd3fbfa9f64872b81ac57a0dd2ed855f "" - "ex-rapport.aux" 1715705388.22718 1282 9f68572beef99d3d362ece324dcd844f "pdflatex" - (generated) - "ex-rapport.bbl" - "ex-rapport.blg" - (rewritten before read) -["pdflatex"] 1715705387.64229 "ex-rapport.tex" "ex-rapport.pdf" "ex-rapport" 1715705388.5256 2 - "/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1713199481 2971 def0b6c1f0b107b3b936def894055589 "" - "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1713199481 3524 cb3e574dea2d1052e39280babc910dc8 "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm" 1713199481 3584 2d666ecf6d466d8b007246bc2f94d9da "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm" 1713199481 3584 13049b61b922a28b158a38aeff75ee9b "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm" 1713199481 3584 d3d8ac8b25ca19c0a40b86a5db1e8ccc "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1713199481 3584 adb004a0c8e7c46ee66cad73671f37b4 "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm" 1713199481 3584 f80ddd985bd00e29e9a6047ebd9d4781 "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm" 1713199481 3584 3169d30142b88a27d4ab0e3468e963a2 "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm" 1713199481 3584 3c76ccb63eda935a68ba65ba9da29f1a "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm" 1713199481 3072 3bce340d4c075dffe6d4ec732b4c32fe "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ectt0900.tfm" 1713199481 1536 ae7aab2f8a4bc9edfce2899f53ba88c3 "" - "/usr/share/texmf-dist/fonts/tfm/jknappen/ec/ectt1000.tfm" 1713199481 1536 06717a2b50de47d4087ac0e6cd759455 "" - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1713199481 1004 54797486969f23fa377b128694d548df "" - "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1713199481 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1713199481 992 662f679a0b3d2d53c1b94050fdaa3f50 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1713199481 1524 4414a8315f39513458b80dfc63bff03a "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1713199481 1512 f21f83efb36853c0b70002322c1ab3ad "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1713199481 1520 eccf95517727cb11801f4f1aee3a21b4 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1713199481 1288 655e228510b4c2a1abe905c368440826 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1713199481 1300 b62933e007d01cfd073f79b963c01526 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1713199481 1292 21c1c5bfeaebccffdb478fd231a0997d "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1713199481 1124 6c73e740cf17375f03eec0ee63599741 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1713199481 1116 933a60c408fc0a863a92debe84b2d294 "" - "/usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1713199481 1120 8b7d695260f3cff42e636090a8002094 "" - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1713199481 36299 5f9df58c2139e7edcf37c8fca4bd384d "" - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb" 1713199481 36741 fa121aac0049305630cf160b86157ee4 "" - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1713199481 35752 024fb6c41858982481f6968b5fc26508 "" - "/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1713199481 32569 5e5ddc8df908dea60932f3c484a54c0d "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb" 1713199481 145408 43d44302ca7d82d487f511f83e309505 "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb" 1713199481 135942 859a90cad7494a1e79c94baf546d7de5 "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1713199481 138258 6525c253f16cededa14c7fd0da7f67b2 "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb" 1713199481 136101 f533469f523533d38317ab5729d00c8a "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb" 1713199481 131438 3aa300b3e40e5c8ba7b4e5c6cebc5dd6 "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb" 1713199481 186554 e8f0fa8ca05e038f257a06405232745f "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sftt0900.pfb" 1713199481 170827 2e4b634de7b58578eae1dc93e51dfe48 "" - "/usr/share/texmf-dist/fonts/type1/public/cm-super/sftt1000.pfb" 1713199481 169201 9ebf99020dde51a5086e186761a34e8f "" - "/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1713199481 71627 94eb9990bed73c364d7f53f960cc8c5b "" - "/usr/share/texmf-dist/tex/generic/babel-french/french.ldf" 1713199481 67734 26e5b5a8646364e31f616588e683938d "" - "/usr/share/texmf-dist/tex/generic/babel/babel.sty" 1713199481 146276 10a40dabec03ce18494af0c3a51bcbdc "" - "/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-fr.ini" 1713199481 5918 0f6ad8bc9a16ae22ee21685f58ff516d "" - "/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex" 1713199481 2133 44b1afb9708604e2ff17e4a838a966b6 "" - "/usr/share/texmf-dist/tex/generic/babel/txtbabel.def" 1713199481 6948 df63e25be1d2bc35bbad5a0141f41348 "" - "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1713199481 2222 499d61426192c39efd8f410ee1a52b9c "" - "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1713199481 4173 82ac04dfb1256038fad068287fbb4fe6 "" - "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1713199481 88371 d84032c0f422c3d1e282266c01bef237 "" - "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1713199481 4474 b811654f4bf125f11506d13d13647efb "" - "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1713199481 2444 0d0c1ee65478277e8015d65b86983da2 "" - "/usr/share/texmf-dist/tex/latex/base/article.cls" 1713199481 20144 147463a6a579f4597269ef9565205cfe "" - "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" 1713199481 5119 a04a8b68ab4f6ce800a41f7f8012a10e "" - "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1713199481 8448 dbc0dbf4156c0bb9ba01a1c685d3bad0 "" - "/usr/share/texmf-dist/tex/latex/base/t1cmtt.fd" 1713199481 2443 790016d75def8d3127df5c216a45abcc "" - "/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty" 1713199481 1360 df2086bf924b14b72d6121fe9502fcdb "" - "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1713199481 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" - "/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def" 1713199481 19448 1e988b341dda20961a6b931bcde55519 "" - "/usr/share/texmf-dist/tex/latex/graphics/keyval.sty" 1713199481 2671 7e67d78d9b88c845599a85b2d41f2e39 "" - "/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx" 1713199481 2885 9c645d672ae17285bba324998918efd8 "" - "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1713199481 30006 3d512c0edd558928ddea1690180ef77e "" - "/usr/share/texmf-dist/tex/latex/listings/listings.cfg" 1713199481 1830 20af84c556326f7c12b9202ebe363f56 "" - "/usr/share/texmf-dist/tex/latex/listings/listings.sty" 1713199481 81322 d02238bdeb305f2c9f9d0229f99371d0 "" - "/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty" 1713199481 205167 fca232873050cd2da4f9c0c32402c38a "" - "/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty" 1713199481 93888 276ea2c46a9802155d8e1165b7aaad8e "" - "/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty" 1713199481 77022 5c8c440739265e7ba15b8379ece6ecd7 "" - "/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty" 1713199481 329 f19f5da7234b51d16764e23d20999c73 "" - "/usr/share/texmf-dist/tex/latex/mdwtools/syntax.sty" 1713199481 19268 1cc67e61681d15dc7bfddab7602a9cd1 "" - "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1713199481 55487 80a65caedd3722f4c20a14a69e785d8f "" - "/usr/share/texmf-dist/web2c/texmf.cnf" 1713199481 41588 b43d3e860a4f94167ee1e725ff526a72 "" - "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1715669800.4283 5312086 49e033e8d3948bcca48e0612d8828e70 "" - "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1715669744 7119913 84688908edcaa506b571016b2546b806 "" - "ex-rapport.aux" 1715705388.22718 1282 9f68572beef99d3d362ece324dcd844f "pdflatex" - "ex-rapport.bbl" 1715699264.97094 167 f13b79c5d213ac0741acd90cb6ff3d89 "bibtex ex-rapport" - "ex-rapport.tex" 1715705386.27388 9099 54e3d582f6b866f34c22f8c59a54fe57 "" - (generated) - "ex-rapport.aux" - "ex-rapport.log" - "ex-rapport.pdf" - (rewritten before read) diff --git a/RapportPresentation/ex-rapport.fls b/RapportPresentation/ex-rapport.fls deleted file mode 100644 index b88c06f..0000000 --- a/RapportPresentation/ex-rapport.fls +++ /dev/null @@ -1,129 +0,0 @@ -PWD /home/marw/profon/pieuvre/RapportPresentation -INPUT /usr/share/texmf-dist/web2c/texmf.cnf -INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt -INPUT ex-rapport.tex -OUTPUT ex-rapport.log -INPUT /usr/share/texmf-dist/tex/latex/base/article.cls -INPUT /usr/share/texmf-dist/tex/latex/base/article.cls -INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo -INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo -INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo -INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty -INPUT /usr/share/texmf-dist/tex/latex/base/fontenc.sty -INPUT /usr/share/texmf-dist/fonts/map/fontname/texfonts.map -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm -INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty -INPUT /usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty -INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg -INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg -INPUT /usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg -INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def -INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def -INPUT /usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def -INPUT /usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx -INPUT /usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx -INPUT /usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx -INPUT /usr/share/texmf-dist/tex/generic/babel/babel.sty -INPUT /usr/share/texmf-dist/tex/generic/babel/babel.sty -INPUT /usr/share/texmf-dist/tex/generic/babel/txtbabel.def -INPUT /usr/share/texmf-dist/tex/generic/babel-french/french.ldf -INPUT /usr/share/texmf-dist/tex/generic/babel-french/french.ldf -INPUT /usr/share/texmf-dist/tex/generic/babel-french/french.ldf -INPUT /usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex -INPUT /usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex -INPUT /usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex -INPUT /usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-fr.ini -INPUT /usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty -INPUT /usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty -INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty -INPUT /usr/share/texmf-dist/tex/latex/graphics/keyval.sty -INPUT /usr/share/texmf-dist/tex/latex/mdwtools/syntax.sty -INPUT /usr/share/texmf-dist/tex/latex/mdwtools/syntax.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/listings.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstpatch.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstpatch.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstpatch.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texmf-dist/tex/latex/listings/listings.cfg -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amstext.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty -INPUT /usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -INPUT ./ex-rapport.aux -INPUT ./ex-rapport.aux -INPUT ex-rapport.aux -OUTPUT ex-rapport.aux -INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -INPUT /usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1728.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr8.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr6.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm -INPUT /usr/share/texmf-dist/tex/latex/base/t1cmtt.fd -INPUT /usr/share/texmf-dist/tex/latex/base/t1cmtt.fd -INPUT /usr/share/texmf-dist/tex/latex/base/t1cmtt.fd -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ectt0900.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ectt1000.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmr12.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm -INPUT /usr/share/texmf-dist/fonts/tfm/public/cm/cmex10.tfm -OUTPUT ex-rapport.pdf -INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map -INPUT /usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc -INPUT /usr/share/texmf-dist/fonts/tfm/jknappen/ec/ecti1000.tfm -INPUT ./ex-rapport.bbl -INPUT ./ex-rapport.bbl -INPUT ex-rapport.bbl -INPUT ex-rapport.aux -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1728.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sfti1000.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sftt0900.pfb -INPUT /usr/share/texmf-dist/fonts/type1/public/cm-super/sftt1000.pfb diff --git a/RapportPresentation/ex-rapport.log b/RapportPresentation/ex-rapport.log deleted file mode 100644 index f0afd92..0000000 --- a/RapportPresentation/ex-rapport.log +++ /dev/null @@ -1,524 +0,0 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.26 (TeX Live 2024/Arch Linux) (preloaded format=pdflatex 2024.5.14) 14 MAY 2024 18:49 -entering extended mode - restricted \write18 enabled. - file:line:error style messages enabled. - %&-line parsing enabled. -**ex-rapport.tex -(./ex-rapport.tex -LaTeX2e <2023-11-01> patch level 1 -L3 programming layer <2024-02-20> -(/usr/share/texmf-dist/tex/latex/base/article.cls -Document Class: article 2023/05/17 v1.4n Standard LaTeX document class -(/usr/share/texmf-dist/tex/latex/base/size10.clo -File: size10.clo 2023/05/17 v1.4n Standard LaTeX file (size option) -) -\c@part=\count188 -\c@section=\count189 -\c@subsection=\count190 -\c@subsubsection=\count191 -\c@paragraph=\count192 -\c@subparagraph=\count193 -\c@figure=\count194 -\c@table=\count195 -\abovecaptionskip=\skip48 -\belowcaptionskip=\skip49 -\bibindent=\dimen140 -) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2021/04/29 v2.0v Standard LaTeX package -) (/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty -Package: xcolor 2023/11/15 v3.01 LaTeX color extensions (UK) - (/usr/share/texmf-dist/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 274. - (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def -File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex -) (/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1350. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1354. -Package xcolor Info: Model `RGB' extended on input line 1366. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1368. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1369. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1370. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1371. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1372. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1373. -) (/usr/share/texmf-dist/tex/generic/babel/babel.sty -Package: babel 2024/02/07 v24.2 The Babel package -\babel@savecnt=\count196 -\U@D=\dimen141 -\l@unhyphenated=\language7 - (/usr/share/texmf-dist/tex/generic/babel/txtbabel.def) -\bbl@readstream=\read2 -\bbl@dirlevel=\count197 - (/usr/share/texmf-dist/tex/generic/babel-french/french.ldf -Language: french 2024-02-29 v3.5s French support from the babel system -Package babel Info: Hyphen rules for 'acadian' set to \l@french -(babel) (\language6). Reported on input line 91. -Package babel Info: Hyphen rules for 'canadien' set to \l@french -(babel) (\language6). Reported on input line 92. -\FB@stdchar=\count198 -Package babel Info: Making : an active character on input line 420. -Package babel Info: Making ; an active character on input line 421. -Package babel Info: Making ! an active character on input line 422. -Package babel Info: Making ? an active character on input line 423. -\FBguill@level=\count199 -\FBold@everypar=\toks17 -\FB@Mht=\dimen142 -\mc@charclass=\count266 -\mc@charfam=\count267 -\mc@charslot=\count268 -\std@mcc=\count269 -\dec@mcc=\count270 -\FB@parskip=\dimen143 -\listindentFB=\dimen144 -\descindentFB=\dimen145 -\labelindentFB=\dimen146 -\labelwidthFB=\dimen147 -\leftmarginFB=\dimen148 -\parindentFFN=\dimen149 -\FBfnindent=\dimen150 -)) (/usr/share/texmf-dist/tex/generic/babel/locale/fr/babel-french.tex -Package babel Info: Importing font and identification data for french -(babel) from babel-fr.ini. Reported on input line 11. -) (/usr/share/texmf-dist/tex/latex/carlisle/scalefnt.sty) (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2022/05/29 v1.15 key=value parser (DPC) -\KV@toks@=\toks18 -) (/usr/share/texmf-dist/tex/latex/mdwtools/syntax.sty -Package: syntax 1996/05/17 1.07 Syntax typesetting (MDW) -\grammarparsep=\skip50 -\grammarindent=\dimen151 -\sdstartspace=\skip51 -\sdendspace=\skip52 -\sdmidskip=\skip53 -\sdtokskip=\skip54 -\sdfinalskip=\skip55 -\sdrulewidth=\dimen152 -\sdcirclediam=\dimen153 -\sdindent=\dimen154 -) (/usr/share/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count271 -\lst@gtempboxa=\box51 -\lst@token=\toks19 -\lst@length=\count272 -\lst@currlwidth=\dimen155 -\lst@column=\count273 -\lst@pos=\count274 -\lst@lostspace=\dimen156 -\lst@width=\dimen157 -\lst@newlines=\count275 -\lst@lineno=\count276 -\lst@maxwidth=\dimen158 - (/usr/share/texmf-dist/tex/latex/listings/lstpatch.sty -File: lstpatch.sty 2024/02/21 1.10 (Carsten Heinz) -) (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) -\c@lstnumber=\count277 -\lst@skipnumbers=\count278 -\lst@framebox=\box52 -) (/usr/share/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2024/02/21 1.10 listings configuration -)) -Package: listings 2024/02/21 1.10 (Carsten Heinz) - (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2023/05/13 v2.17o AMS math features -\@mathmargin=\skip56 - -For additional information on amsmath, use the `?' option. -(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2021/08/26 v2.01 AMS text - (/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks20 -\ex@=\dimen159 -)) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen160 -) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2022/04/08 v2.04 operator names -) -\inf@bad=\count279 -LaTeX Info: Redefining \frac on input line 234. -\uproot@=\count280 -\leftroot@=\count281 -LaTeX Info: Redefining \overline on input line 399. -LaTeX Info: Redefining \colon on input line 410. -\classnum@=\count282 -\DOTSCASE@=\count283 -LaTeX Info: Redefining \ldots on input line 496. -LaTeX Info: Redefining \dots on input line 499. -LaTeX Info: Redefining \cdots on input line 620. -\Mathstrutbox@=\box53 -\strutbox@=\box54 -LaTeX Info: Redefining \big on input line 722. -LaTeX Info: Redefining \Big on input line 723. -LaTeX Info: Redefining \bigg on input line 724. -LaTeX Info: Redefining \Bigg on input line 725. -\big@size=\dimen161 -LaTeX Font Info: Redeclaring font encoding OML on input line 743. -LaTeX Font Info: Redeclaring font encoding OMS on input line 744. -\macc@depth=\count284 -LaTeX Info: Redefining \bmod on input line 905. -LaTeX Info: Redefining \pmod on input line 910. -LaTeX Info: Redefining \smash on input line 940. -LaTeX Info: Redefining \relbar on input line 970. -LaTeX Info: Redefining \Relbar on input line 971. -\c@MaxMatrixCols=\count285 -\dotsspace@=\muskip16 -\c@parentequation=\count286 -\dspbrk@lvl=\count287 -\tag@help=\toks21 -\row@=\count288 -\column@=\count289 -\maxfields@=\count290 -\andhelp@=\toks22 -\eqnshift@=\dimen162 -\alignsep@=\dimen163 -\tagshift@=\dimen164 -\tagwidth@=\dimen165 -\totwidth@=\dimen166 -\lineht@=\dimen167 -\@envbody=\toks23 -\multlinegap=\skip57 -\multlinetaggap=\skip58 -\mathdisplay@stack=\toks24 -LaTeX Info: Redefining \[ on input line 2953. -LaTeX Info: Redefining \] on input line 2954. -) (/usr/share/texmf-dist/tex/latex/listings/lstlang1.sty -File: lstlang1.sty 2024/02/21 1.10 listings language file -) (/usr/share/texmf-dist/tex/latex/listings/lstlang2.sty -File: lstlang2.sty 2024/02/21 1.10 listings language file -) (/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2024/02/21 1.10 (Carsten Heinz) -) (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def -File: l3backend-pdftex.def 2024-02-20 L3 backend support: PDF output (pdfTeX) -\l__color_backend_stack_int=\count291 -\l__pdf_internal_box=\box55 -) (./ex-rapport.aux) -\openout1 = `ex-rapport.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 49. -LaTeX Font Info: ... okay on input line 49. - (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count292 -\scratchdimen=\dimen168 -\scratchbox=\box56 -\nofMPsegments=\count293 -\nofMParguments=\count294 -\everyMPshowfont=\toks25 -\MPscratchCnt=\count295 -\MPscratchDim=\dimen169 -\MPnumerator=\count296 -\makeMPintoPDFobject=\count297 -\everyMPtoPDFconversion=\toks26 -) -LaTeX Info: Redefining \degres on input line 49. -LaTeX Info: Redefining \up on input line 49. -\c@lstlisting=\count298 -LaTeX Font Info: Trying to load font information for T1+cmtt on input line 71. - (/usr/share/texmf-dist/tex/latex/base/t1cmtt.fd -File: t1cmtt.fd 2023/04/13 v2.5m Standard LaTeX font definitions -) [1 - -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}] -LaTeX Font Info: Font shape `T1/cmtt/bx/n' in size <9> not available -(Font) Font shape `T1/cmtt/m/n' tried instead on input line 130. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 155. - - -./ex-rapport.tex:155: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.155 {\Gamma \vdash \lstinline{x : A}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 155. - - -./ex-rapport.tex:155: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.155 {\Gamma \vdash \lstinline{x : A}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 161. - - -./ex-rapport.tex:161: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.161 ...sh \lstinline{fun (x : A) => M : A -> B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 161. - - -./ex-rapport.tex:161: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.161 ...sh \lstinline{fun (x : A) => M : A -> B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 161. - - -./ex-rapport.tex:161: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.161 ...sh \lstinline{fun (x : A) => M : A -> B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -./ex-rapport.tex:161: LaTeX Error: Command \bfseries invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.161 ...sh \lstinline{fun (x : A) => M : A -> B}} - -Please use the math alphabet \mathbf instead of the \bfseries command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 167. - - -./ex-rapport.tex:167: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.167 ...a \vdash \lstinline{M N} : \lstinline{B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 167. - - -./ex-rapport.tex:167: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.167 ...a \vdash \lstinline{M N} : \lstinline{B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 167. - - -./ex-rapport.tex:167: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.167 ...a \vdash \lstinline{M N} : \lstinline{B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 167. - - -./ex-rapport.tex:167: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.167 ...a \vdash \lstinline{M N} : \lstinline{B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 173. - - -./ex-rapport.tex:173: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.173 {\Gamma \vdash \lstinline{exf (M : A) : A}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 173. - - -./ex-rapport.tex:173: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.173 {\Gamma \vdash \lstinline{exf (M : A) : A}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 180. - - -./ex-rapport.tex:180: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.180 ...amma \vdash \lstinline{(M, N) : A /\\ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 180. - - -./ex-rapport.tex:180: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.180 ...amma \vdash \lstinline{(M, N) : A /\\ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 180. - - -./ex-rapport.tex:180: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.180 ...amma \vdash \lstinline{(M, N) : A /\\ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 186. - - -./ex-rapport.tex:186: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.186 ...ash \lstinline{l(M : A \\/ B) : A \\/ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 186. - - -./ex-rapport.tex:186: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.186 ...ash \lstinline{l(M : A \\/ B) : A \\/ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 190. - - -./ex-rapport.tex:190: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.190 ...ash \lstinline{r(M : A \\/ B) : A \\/ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - - -LaTeX Font Warning: Command \small invalid in math mode on input line 190. - - -./ex-rapport.tex:190: LaTeX Error: Command \ttfamily invalid in math mode. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.190 ...ash \lstinline{r(M : A \\/ B) : A \\/ B}} - -Please use the math alphabet \mathtt instead of the \ttfamilyFB command. - -[2] [3] (./ex-rapport.bbl) [4] (./ex-rapport.aux) - *********** -LaTeX2e <2023-11-01> patch level 1 -L3 programming layer <2024-02-20> - *********** - ) -Here is how much of TeX's memory you used: - 6181 strings out of 476047 - 90507 string characters out of 5792626 - 2030187 words of memory out of 5000000 - 28264 multiletter control sequences out of 15000+600000 - 569761 words of font info for 64 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 56i,8n,65p,231b,1232s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on ex-rapport.pdf (4 pages, 195685 bytes). -PDF statistics: - 78 PDF objects out of 1000 (max. 8388607) - 47 compressed objects within 1 object stream - 0 named destinations out of 1000 (max. 500000) - 1 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/RapportPresentation/ex-rapport.synctex.gz b/RapportPresentation/ex-rapport.synctex.gz deleted file mode 100644 index 3b36ae561a031e27e43f8dc5b91a86e0b38c7082..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 25054 zcmZ6yWmp_d&^3&^1PHKr2=4A0+%>qnI|K=?0TyS0;4Z=4-CcvbyAvF~<$hkfzWp)% zW3HL*t~zz$kZz1oMQhk(`sT*M~xMn3< zQH;QokY7Wzl{9mHSuP$-B+2Z)=Q8(DGAh)oo?}vER_yqm(mU^u4xMk8em)Nd@3-&X z4=;N~8@@hM7jMs%o$s$FLB0>?vksl!59i4jLhmQ;oqlg;gB!lD=l5BHFRuoIeh=q< zzVFW$ojz|*lUYLEkC!J47oC9@twMhHTSqIC@RtXbB$*SoW4-Qv@7Is5Oj#Z9B=LTa zS1X;bw|jJcFXsmrkMEtn?|Z%O8-8z3v*<#84>#Zo58l}*p!4PS-De8PyEDW4+|0Xp zVgVhz)B`4i_cPPmNmjwv%azGaAHjEg?%vvTl4<5F->0q7MxmF7tJWYQp^Ve3y;HyE z%N_U5_cO`-S3IH2m!tld!?DV&=xx6@?Vr>ehVKts3+P#XPmuEe7SM%A-bs$j|3+$c z3i=2%wJvIRCO)r_2<4Ru`nbQ`9b~=F*EALAX+ZkEorPWaNi_O(nDS8n@zvk*eR#W> z6!Q7TXppiH)9FjJvhCS!(|-A|wehz1EGsHl`Lpxo%%Jn_-^!#x$MdxVz)6wp=H?i_ zr1S0eWRU4BEbi6w?&Q><*Jq{|WP__JT|uwU1|3RA zCmW(m`$=yMV-Iep_BU;M1SvTYWEVH7oR@ERqn%N0lch^t&np+n&RGjJ)up~~ZwoPA zrtf54KdRE=USp1y@~QV>tBCQ(sc8&Yn9pY>XVN*3r{-GCPQ| z#+hP-UT@cuJKx{=jRvMPo&bwV7mdWy_r?ze9F(R){)8I$i zXkD0DN0$l3j*`&b>=cd(C5;}KoXU>JUIjV3ICXzI?{BBpyT4T}Pl%bfZq2tKNWZrl zrh?CNlVcMYpg>~wEF9bvRcBvy?7wveG4 z5}j2>6*Egs8LoI(pnH2GQE?;J-Vg>&ml`~5(lLlETR6S6?XRW`F`sZwsqBxq3;xL#cP@4cGhCz1Heo7|~(t?H_scR3Ov~yKi zzWIX4q1DQV5u~qIaxt!Oc9TRMaU&fyS`YB%{&WPo8!%=|)v*1ZHfFuSumw#u-_{4< zN{hG2O~rVxLn|qg;JBd(wo)^(;hY*|e+04RUe&Sutk6n%!7xv|V07Rx#eK#|7djopiqTUq?baDOt&t|QB1)cqaU^kJiN;p8k6uB?mxIs z&Y$$#-57)Q?wFV0>QxM=bd>6b8{(Dv;?J2Cg;#!lt6G}S;0$}K8)mef@LU|MGYJ~! zNI}GH$Y$Sl$I>ab?cTYEw6|rpPlr01L3B$KZ2uTw(}2(5=57_{~1XS z)uoY0#2N2sQ+8raJt^5yy{?ShUl}^`9j5^}155&$Ubav*P_#!sjaGFjb^U5(IffoA z-I8fZ$f9uc{%K=7InWb{q{bX2F2p{ezk~u0tqYsRXiH0M%kDCKNKD+`RE0?gKu z%sDumsLvA81yKZYFGZr3Mgo@~!S8f5-lVBuHAd>y+!z6D0jz5q5avTPAy4xGb?%0> zHZA#o9RbzM8jbb%WE(TkWpfsgJWl<8Lgfg3I(kfxxQxkpIb5uIwf8-Yf>bq^($xTn zS0kaGW!y#fjN>?*3ND;Ikt8yFvw7&8lPb&t-Fxm5pVz0mOjvlkI0SY!WS@Q$;o~Qy zu9$}PCy7G0{6-ZB!ZwIVlfg?-u$i5~2`yC^3vHeGk{yCoSEU8OI$t_l%*HbEAN_e4nPC=`6Xxl~ZlcmPZXQMFqrYg^Xvy}#NXcXK&iQ1ZOG6{l{OFR$hn)3FwK@ze(Zt*qfb{F)TmDkm^NbL$re zE6Yp2y}xg3s|jb~#>-*xc`;OZQam$2rOdVpZpp=t8pK(4XWqc0hku8&R&i6#@umG+ zNI#0kA?Sr(%ccKxC-&`1YN6OXnofYQF_z-VwjKL$3)x7zdd9_~>j*@AmKHgxHcJxu z(oSLRwq?Y!QEr6_$J%wP zHI_vewv$v6=>n;#=S+NqEP%rVApemgDQ`rsr|3t2)ZVTw&LLFC>u%oki4YZEzS2u- zn48HmGo%H?!*>jNYT<_uDcp1JNSJdSkE-X+_v4>s`K+RQ#BkqrBNL;wQPei$;*&-0 zh2qUtxG{V*We>3CUPv-|d--wC+M^0poP8PV;I`jS%SqQEx6tF)HOY(D z?Fn{*M8D`!W0~}QF`2U%XC6Jty)FnP?Ouyt5Qk*^-fH zTWIu1pPXj9QAx`?Xlu-Z5kjyDot9(Uzm_**p0_ZP7J@p8Er;l9Tnl383hQobs>-o4 zO1i12vuq>Y8o|-~-T1>cJSzyUsnEh+p1jpG+0L+?t7ixI{3h)8_>^jR`nx#ICRYzE z{^m&GkxG%)gL>-3w-`tH1O9ULtu1dp)g*_S&nZ4L2)LY7Rd;wDgzMFs=no#CT*70g zt9V~?c#Sy_DEbTR=3zBC@#Y8)8NH9Av5sT9PSfV_xXKhppq;DB56vO3iat)2TSzW& zDExf~gnjMwF`Qo+hf)k_c_yKH)MBN@=%sk2#;ZqmER>tfBuFhm0yZP%`S=qMu18{`ZBln?-igO)vE7`K@PEx{z+5jY^$L;OSj#b=-s`^GFw<5qn_gw|aO z47o2JS3oM8{_--1qbv2`9B4svW)BUY0%=LuvPySrJYRI?M{}l{vxh-fDu2E`hbP%( zKgP{eBsjV!5wsOOuW8@UAJeha9L{XkWZR@MlSWNjL`UGw_T_v8CpzlLGQK!nSDU-I zMH-oaU;V+=_<$f*>U8Dp zp=p`Pf-AI!AktAolc&wwY6qKo_Wb~uHX}!jx|rs?F(#t(!_~oknlx)WAg2N+O5n5nf6k} zt!AO|Y1wVuLB#y+uix{?M^)bc;wNeR3g79bEiym-KJ=tkOj9Gyw+X|9@gmwv0Ulj& z9a#uUn2pO9|Mr!xyiMYClOIH)yN*1hN9T{qzLO#GAlJ=Chy05 z(d${IoqG0nD%J3!b{jEydX|6sjZU~n_+9hR^B6DlS>}SDu$x1`#a*FQoVaW%Xco+8 zqY($aUc7t)Ww*V@4YozuY2N7(G%NIiyWH5SKb{gsp#%ooiDow(W^4p`JQvGAz6wG| zMpPM?GeN9^1>WWVHd*See|lK+&pap(D5_nooUVQy7$dMhC6=9=IjzXCKOSH<_vk$BQw;L(H#m5-^)$yzgo$*C$j_B$RZ!9$gN( z`D$Ifsx>9z$nJXHI&#~z$2$MZ1F_SH{ zH#LUkK{2~=sKY}VOQ3F~v~8x>G8mxYl|pNO!EmejN=rB0do30q$Sd~;N`ReJ>h?0T zO>eL0-gJkyljghvd#0A=And@EzIZ3(ZH%PcaSWYJz-~I_P4jyJow8cMcgktj7V?+x zHBQ?iucADILW;U}@LzQTUU-#d$r;*PU>9yVs~2|pShSpx$wtB!HzZlB9N?pIo_ z%z--=>Wc$qnKp>OpAzBeOncG0L`%w7@k%Sc&R0+S<>||)%Z>n!mWL?h7e)7tqO0sV z+tVNDLAc9f_3fhzsK%>e!|AE15n5RF6=jTz{5??&;#l$8i|3qG{}_$!oUZx|Bs`EX znZusw@27!wPlr4;+A6_DKxdNi#ktetepd@ErP*F|EHBDyvCyS|a@%$gYS%-Oj zk5P&oKzvilus$nA5{(|ArFd&5eJGD}n6OhG2oiMpwyEJoyjtg*!^Mx)2VKDMT3u&x zk-GfShG`sKUlL401iwe z$Akv67meF%4kwga3&~R%tX;FNhfme{>hnNpmjUFViFg!&wNHKV=4HN7sWx}?dJLs4 z_$FEwE7$amMAZp{NwR&`%7|&rYArLZV>;knD^>NVv~(X!4UuHFf(}joVMGE$1dZ?` zz-t8v@Xxm9ry1($-sI5PQ+TcG&$IdLo5_~V41Ca95!u?+OUVuLYrOuEC$pLqI)4gp zVb(RwPBoI=QO=>`?_gJeG-%$tDjngg&%|nJ>a6D~?#VHSUUL6Z?3;&XrTt>+UCmrE z=Bj8<=@vob604$TaFv4A_)f?X=3!-nRQ{20y${yZn1+03!YsuJ)wR%HsM6Qcu2=n` zXCI<8K3&0B!4+~=PtdTY?`rGk)yT|m-CsI>RbZ=+Cu%Oj$Z%en1=n+r%5$EJMfVG+ zPhI_dibY0IYG|(|JWiC*qRXR$*Lv+cBp{ote1LR-n1h9q5tbv35oSOtf$Vrz9~jDo zYhzJ?%6wfLPGR=y_1A!4=oyVQ8pbFk2Ow1Fn<~rkuoRE?4XO4(_WI35C0yA@Ui^LD z+f}4${(D*EgZbV6%W3?$x;@4Asu$knz~Scw98aAhY@tT{B)4Z0(n@2`bxsa#fH)L2 z+7j;6-yZHrKC`_Zb0y*$CQ{q}0z;o)&VER!x?+N(>^1c{pV ztU3)XA_Z2TQeAZYTh3F>t8HDI_nY)Qu)Q*O=+f$_URmfIsbEr#BsLQx8-=41xZAeU znVdZ8N?|VNePe3^k4@$(3E}j6uD;o9XLI4Gedgx2j)Kvgo21v8HrXV)3(2$nN?o=B zgJ$W%!&>X;F$!ww+8WiC+02%kMdb*!>#0-NK@`=>g? z5K^Sk7NwMBGisWJGBXm(#1@$8{td1TGC-%7Ovwd>f7tp|J<%VL3C+Ub6b~;$nunf|?`rJcLABu0TV9Dw23H z+|{rw9bNKOPIMN*0uf%K!T4s}*+jEkr{C!|F9NVciGMev!9Z!#6=hJ5Z|mXhAn~sT zM_1>D>2Vh6{n(R8n}I@7N3)3%P|}vpiRUuHWfw@=5qPxGuKPXfuvM$Lb@(;w3-e5@g_Bb zv$7kAF|g&4(CdKOy^vTt7d+UXc|FUzaH6s|`U}z1T5uAwba^KHS^OFu;Sm95QR6N| zY@O0hT+<^I&Xs7g7y_G7an)mT=_i)>WG%0OTwiW_zh}}-p7CTlR;P_%9lTQV5giqWanm=<0V>;tP?$*y)D z_jbb@j-}DH+VXzAQcxs}NrwWU zLg;l^48sQ-2B_%!7r4!8D1L&8lq5AYREGK%7FOCMg3AHR^gw?vWA===)_&-9h&018 zimpe9@o5`nO&L65^QGZm7+48hbY$OuAvK!;_fXpP@Jtj?##_pD%?Z~IlX(I3u`}28 zR4(3(>EvWz!I(E_%?*>I=0OM@)og|W1oCd8Zqm5w`)WG(dFdrfwTnh;9So$fnk&Q6iD0UMM<+j-a&Cix2U3I?t+BAl!*Nrzu+hadSTx1 zl@|*6;}o%fi&I<-8H1hO;rR3i>dL+uIVz6eE9U`+q+HA`+X5lc&OQ&<-XR|uC6@qr z{=GSB$hK>jtzz*jd-jNZw{K1}f7?}saA|r$aej-Muf)M?f z?mJU)$aI&ln1`~)0DzZlCjrI7BzSo+_O?MR=FU0%7eAZvF0EvL@`Cz&oMJN!7=cNL%@&vz*D(aw zNOdFQM=uZNVYhrduicaqOUs{IcWda}&Kpzt&`nzS55U1PIvb}i;yg>Z@Lwf_P7*Vi zYe8d#26caD@l>;y%CjU7Yv`2C?`;)823PPMliPf=!yT_IPSs}T4D!iEx*WBK`8!QG zAqo$blVk7KVdw5Z*ks13HMscm%?@DIa2y`4dQ=F}bA`F)ryp+8?B`n#u{J$2q^R5k z&DHjd&=q|o{xul}ut1DMiyqZKw#JVrYlj{Er%ss~OiefTedt;tP=Cr)mW*3Ff-g%j zdG)q)P(o1qAZ3HO8?PjRledUyriri)vYL5*!kZ-%wes5T;U?TPY6RcMG(@4|_tLborjlEn#t)O3o(h>LU zaIdf4UOuY8*h1;g3PY-PV_~;3DOS^2r3Io+#xXY_k`A9M7}m1+bg(;LXNUVz6M{R` zw21{RU6?5vdSUQeK`RhEbcd7FAi;juDyZrI;e)uPN>OILicAoZ)+MfynPbKAXPFL% zHQ?FlQe_)F!GKCN8};8a9QkscS;OjB#MOTbwZY{IZiK*o>?nf9R%^y*C+4GhZnQud z;5R21LXQA_LimoDAQ^YOj{!@_6dS3yM#fCmUC}_wGh(_m8`r(zbkUxHpo0gmPFv?k z{J(3JG&ipoThcNWSZ7brva%6~x5JDr*-MIEDIIe~8TY}cC)CjelnU0L(Ra$)j7YoK zhoH2Xlc$=Gjubkl%THU?)A-Sfxq=NZG8i};T=fzWMny?4ov8W$AUAo@?d{_hufo<9 z!a@hFp2tsTk%U=?gu#j*0A0$E+}_0keP8Zj|G9{Ms2-jki6lUqU$hlJjtq`~9Btvjo71ZSXWzzdc`DQY6FNmBrct;@tl`e#xGd>(hH;Sm^FK<1jT>$ZmFLyDMVus8eKtXp;dvsGf}S0zRDT zmq*Qk!)|E5Pp`SdOtAr;SNnvyuwG7R(>`b=uE{)N_dL7*|A?BWFk!N#wui#i^9(Kg zTU_z^1Iq?Q2M9J9%XOSM8eV3rUG{6`^yt&AY8r+AIuB*G*?PFRs>(4A#r5zwtLWCm zH9}EO{|}NP-v(q66iGvW*oE9}n>$W}EG(^~Qj@=cLHiT=U1eLn@tEdUze09d?uUq0 zbN@zf57l4T_Dwad#uG_}l#TkC0IVY2tj_~AS7Bt_TEu6MzYD!9+_PKOG%ZOD54Dye9q##%}Z+fl0Gz0uH>_c(n`A&BBmPptW z1AJQFA==MMW}p$A)*FgoMbKq>S!hq_Hl^c61`~ySe=rN!Y2QpvEN zp5s-^qs3(nSb2TJ#ad`lbD_fF3sPAF-)K=|qxrb;=9N_Sm*(p1QQmKSQ~u=Y>$Wzy zWz@=kXUNjJL%`2LHGYp$Yp}Mo)D@ioNy2xtzkk4a0^{YxdYH9>zh?F^{NKIEkH{iq z(He1VwO8ddA+EX~$cF1w{{=>V*tqUPkaOrTVsizJ3VVkZ{?lRG`HzyCKPc%B!+!u) z;Ih=t_=AUw{JYCeNI+KeWX`tv`zp$Z?Nv|atr5Y zs9CDrjw-%c#vXFX7dYPyL%AY7P=Y$XvrP=EAiTa26h{ixSTYwJU*L1&8UDhioyN{Y z!w76cw|O9Z3Z2F)TJv}Ra_K1pc^SRKRVn_M-M$Uon3n6Y$rD_~dOiAMm&~1SVC*38 zlvYN>B3bed2jZ~+qgcHAGUarxp?J*Q2)>O?VlIY>e-y|(fztK~S3&}LER!kI0WeCI zyi^YKMp&n9H`_IF<~#&p;Fsx2=}1iKEE=gP?8tg_sPTEi1Uh(+J;aeguKOU1x^P7c zbId?VB27pOZ?{G|RbU4IRZGFP?|9gu$HP%Jm3sq;MlNaLX zt-ltv(7-r*X+;X47-UVAFQ^Q$gkzGXM8l)75UH54S|8YsY7U8;Kw!E!1IYUS0jNtH zXKk0p5=clOa)FBwJi8^EMl;toYQ9a>OYd+ssKC7fD=zGQ+*!O7|Cm4-aSTPls0S85 zgf3{I)jy;!;^UAC=rdu2=X|?(hieroR~UhxDt!9yU1&{elmeS8(=h>^QH55Lo|Qo{ zJN-7$%{vSN7Ge+zHt`W7ZT)S^$ZrEWrAuKU)0PzmV}EcixI9KN60psG@lht-;+O!bSz=TuWG`n3-<_5ZypEr0k3o!DFT}uv?YD!-% z!E(_q`M{$(Ahf8NOB@~CsO63Q1Hz4LOrer8f&Nl3H_VHeWudhZ)P*}in#v|uqX72@ zOlHEE`VgxU7J6J1zQr6_EL8!Ub^o0|vhnFX0^|d^_>)oaK0_gTj!(m|+s>#)?@!6r zZc9cN>dG)w5^`?(z{@#GY%*s~T2%VeO;$=nm@8620yX*pl?%t8Hg&rD2@z3EEyY;) z;o6|PZ{jAf4cVaupz4be+^$9##MjOo2Zb-b5i&4Q3H7tK#dnoD$d?^Y;4){gZLgNJ zupRVS+$D_|H(kSGwSUKhjTRn2#mtG z%5Vg%`-ken?2MTh9&>=G@NW!vTx%7~tjQONr4}5}gh8G#I04o<_yfbOH`fhfPDrO} zxPVe<;6ha-=qjA&5#$}ww$tSK>BR_7F;!FnO36xM+GgxhwA$4gxU93ja0bM#y1e)N zN{>`C=db)j~}5(?{+% z7wh({+tLjdbT&e-2M{ie(`A#Hpp}h7PKI8v{sYQUebhl3bW?85q~34e0(nzR;ro`3D3f_o*K})D^@A81+In!Xon;gsgrF2TJ#|{FG`S=BDZ@}%#?uQ8Af>F@b*{Dzgbvd zEc#SdhFCEr@1s1R<54-Ig~u^=5@a*&qLp-$>kI%4z;skxj!tIhm!uSiT59!gXc(5g zj*!Qe1ZGVry|h8>C<);1N+wNt$?yjg$u0b4aECQe|qZ}LAnvb-4)jt1Zh zb-bNE9*ffEZL?jenEe4|BdbIjUaYmwS9d8F&F2`!!^hl5f`Ku0z-8eh%1`5+> z(`LwxXO%||#3gJ(WTiud1Z3oM%EULj1XL54Qw&q2@($ccNCOm8rf*)#$OmhUNEf5x zci%+zbUjNA@e*O!k=d~8A!?4KIn8Z2Wr?+k%5X=a_VaCzG?B$gGt~Q~QJD4HVpt$Z z(7)l;ay|1qeg0zZ1Bp|r-EZMNqREsj^SS=`b)>?mkC$McyZP&Mm8loMlotj=-nDm6 zb6^7XpHH{EfxYqM-a-9d#=7OIz8K#4Pm6c-!umq+BgWIl+I|70|Oq_-4~ zUA}PWk8H=xc$cxKu#YC_5-3x8=-fAw*+vD2P+eeOkf#||L+VS<;v*)YQl6GmW6=}a z#$G=TB2G%MqGX}a@yY(^P?tGss@ykH=NndqRoVYO7cc^eKHV*(!^8aQB4kc)hbIrb z#UHrxK2^++s8cfT=@zL{z6MztjQXGShNb%im3~(u)QPTV&vp`P0AX_lf#0$c3%ZWEepPbK@(V^TC#X)OCB)`P{q( z<7`;J%qML%qwax>nZJddkT6E5m`zNW+ib^~m{tW3B1v#6WVi7Ul2xVNI&mJ0h#vp4 z(UEH+^6Z5XZdKagx;tVFU1u}Op=WRWsn&a8{JNbkvD*Vz4r!OcNu#>%Ei8yngQWbM!8# z!p9dO!4QYlj57BD`xBOa;DsVr5$RUutkw+^V9pQhY<;V6+_Tp+{Pt5{{-%0{o5Xfe zD;Rb?s)CE$HtI7pe@I4v=6`NiB^d5ny8mH;f#Xs7#X(Y&01=DWyr*CIJ5%_K5mY`E z$9M#1jJ{-s#pBiAvKw0=7lmWP2V(=vIXfKGq(NGEut)W49HHP(QRmHxz&=Hfdp;s9 zm)zg**G7`VxYfa&FQG7}$9%Z-F2DGjIa$SS*OpYMz=NiXHup4r4h ze`)KHX-TyQvvC`{9_r{?@Et{Gn9}2bvOUz?wP1v8qlTKzdsftopl2EsXtpH7+0Dmw z#K9g!XBNM7{EV`39lQPu{FEUVS3JXIdG}qG@M?aY^g-S1JuFUdr1ayFHz%7Au}$>8jzAJuY;XtRAQzttEz+kue0r<7Q-yGG4> z)rG;a!fw^B){n1)dK*)U20Ce=+Tn`U4$SGg6N1p28G$^f1&!QdkxNWKvgvBFD-C%X z)UI0eH0p7K<-6glLFmhD=1a|qj#RwN%hS=&o#%uHJ+$5a*m-C22RIGdfBN!B-53S+u112@4e30%2RR>K-hl zA~=4D`#aJJ4|d5Lqo&H{nwk9}-fvDl%Th`z1dn^RWJ@rzsF&KQ^HQWbqZei$RP#Tm zqM?$phNz-Sf*jMnZC43 z1Mw->2F^ywBGd)@0qVzEfcQ+7a`E*sC=@7=-m`J}*Vb^0gywP9M^VwXVqP+_2jp!;)ycZB*?Fvl~3i8uG>(u4)whW8rvw94(KzGXb z4-(NTRoP!pre8w&Zv)FxZ3bP7M122i17K9#Ea{M;u1=o_yz&c{q)`Z6RF6Bim74Ju zYz?>Hto~(Lx*T>{K}gj}HiD1G_aDG;HLZ#RK~MPpey4S8gxsx!to*tXPDe^{Mu>3&NvBfEcRhcCpLO?R%7^-+j?K3c;pnAsJ@#G37rj9j^2nE8|8X> z74Jz^j!K2qFz!<0_}lN|*2>Gc*08P4mn5<*pT^wO!`{!c-YWOUbU5w>)=qjs(86Ov zKUwV!?IE^)usS*%s$sP6dC(>}AvHz(`v8%VlF~$uS?Jcbx<|vX$_Iu_3Q8;jxpL*I z4n6-1O$)NS+3s9ZWP0|lQY%6AR4+;out7#gp=k0Jl;(fXQU%X`)vZ7HTxHjwDEi>b z0q^L7wPAB=SVi3@Zdb!z@vlTr1#X*?i z@yGXhaMly;^xdtv%NSUJiR^s>vD+OkD6V|q^ch2Y$elfK{L|=r(b3y2CGxb*rC=$o7vcKG@SUE~a29Qw$iknbYVHeQ`7nJO^ufPUQP}YebClJ>({I;Pl zuiE<8v4_)(Y6RtCUWc{roEHlPk(#$)vIMKQ(T$;6ln*#PYo{kJoP?)c^d9b5m#VSRKXFv%TXn=t zt{0T6k6*4AfS;b1`jnAlLN$CGR+tZeZ+UHY3^xlhU%GALR%tjR;=!lj8=$TvkOQZj z?!?g8b8yNDlFsE08S-u0B)8@M9n(^)qkCJa@0s9~Iu6fBC*N56Xa+|By8yMs3S zEq+?f{tMzXo5#L_e}XQEE5??rlaTOBfl0b5;6lQ)gGJ@@pHB~cvVBq6w-S)Xo6`ws z-_Zu1)F~?oQF^|u*@C${cA=;;|8tnShip%g41n4EWs23O>oZspu!#JZg-i;DyKk^- zGr)RP@m1u1uowz5XFvFVu$b*X?nL*$P@zLsfYQP*t6t7i(3=XX6sUxL@U4f#w~JG^ znJUs!nGKR2yUe%m#l<4CU4&pqBVVzEjsDC^Gyu11=O4C-x2)}$vElEvfDG11t)tG( zSz$OWv@<9d3&TYACPrWOlkCsk(OqRzHB+tB`_J1{vRRoM4RfR#yQ za&Viz;wpaG#0miom8LBa46LIjg(a{iYRfVMD--!axAk=}=WxmYTft&d=#>C3MLWNd ztSp|zG!0!RkGD4-sy(TY7H^|`&i-SzzZu}!q7s4O=B00J^qgIEU=q7BsZrDM$=XVr zKRgS!3F@X|h`BqGoh8>L1P!(oFGg(vUyAihltPR?hC+ z!AFECiA22ht>zt3qa z_IvY8MeJi9JKl<$2KqgeNYyhst7TW+qSGjFUG$&VIaD$l!RhHzKH>FWU*zl;S)N{< z$lD*m@~kIN=uKzf%1$}}>^cyT5p%NU4E)OSbFe9F@(KB4>OSs%)P1T1h}s99v36u5 zC>wPW4vM-2^o6G$5O!cCE*o{Fow{ro{!L<4z0};Jl>VbWC}F^|w{J!?(KXlVN-M+2>6Wrd2omicOZ+pjm_tRZ`o=fBTbFMDJJ)1`m%O4V%_ zKyO&#XV)Ke|3l+fhd}-8df05tY?+2nX1%S3Mn^U`WCF{~vOkex%ac^inuP0h*3hS< zki1lnMq1zvX&tT1BHBKVf$i$qMPL%apIq_7jajC^vPN5M%Vll~zJAvdFpGfXJ!ne2QfWlGZN>hg>p0cMMFULXO zK%}&!vzAJM9$)2#$ej^HU*<_3ih=eHdRktsM$h3Hge_K-HVDO?$0AK?>{+?AR_rTr znVCZO4y8oftp^f*Ns1KZoVS>@9v$vYo4bMo=*JQS#2aa|y(BqcWtyZgjf!4!h(d7E z2yV2S{*rJURBHRRh)2|!4*p8-+KrF)7I%eGB|_K^ibBUCLoXH4c})KsGTk4Isx zDp5mc!pQ>H&`xgc=|>&Lz6pxUv02n}<}!_zx`-HWtHX!1*oH0UF@|bPZ*b3TDjq>y zr;sGs(hb&9eXwpd{ME(+U43l7>5F43bPV_h2q#fJ|u2<0- z#CXtzECr2WB-CTV_XdlFixOnIgZ#&ED`C5Yo7=v_i6&WuLz8v#i+4g02Q8SB(ivnv zVRAFeTE_(`_Ky$(5g42d55?lhavTzs(2t!qTfd=t@bfwatpIZ(mOJ5%^!E84`K6!b2 z;ahfdGz|Sbg1M^X_V0;nZOKTt=x|RRNp_C9wFv<(`hg0bLTr!NF@*G=6{Zee@g-xQ z!zGpJe6R_;#wm$eYcAIkDrc@X`DSMO4q*n)*>F~C795|Ge=Z5)G(=rkd5ZNjN4p2aH+u3gMcE2nuyvvPYEw>5>M!$V3`*CC$1jGY&>hkq8~>M8+@ao1Q@ zBakN8IoQKUt~ppe1)yh=@0$;K0YQNQQR=%&{*xa@QoIm8WbfcBu%Nw+#Y-C+X#E+!CjDk5piEMqEql_r8cEBvtYuZk&Y9) zjGD8YhOK`)mCBgh1@(8w<@sj?eM7equJpiVUt8o3F)|pYYSee}39*t#XBUrvA}5g8 zAK1dIyh9??e{|lr-|A|^&+WtbOds5bvGvI`Jm{iME1ax^+NFysk%yI%xtiGVCF47K zUP+pW4xYZdlZeih+mS6fT4XgYIhu`Y2SkkIf_r&!#_vm9^9(ZCfb2i0T(2gV@QI0G z27SNsqLF8IY)Eh6{`kPKeWQT&x{HzqB6;~1#98uY?a>C3e1v$H+%0P9r-F%q--TzcK*W#YC5K*e$X(M4c*g#Al6c!@ATJF)*X z5~G!2q_hN9v49{u<{)L$W>XJDHgHfDJ0I?n?1+SI^ z%{z(B)Fik*1PKXPSa$2c+@oA;-Nh%YL4(9&{5K>n?uXkTFnCW@n#W~1m^w9G{ zzx>sPpS4fMYjh|ko~HbDbUo6ssuAeOc=wCzi)aBOIC^{UZp~M&ZlNCS=Xxx+1ezil znpmAhq?4V#2iV6H5?W+8|HM`87e;1D?f%a2mMN&7q>g%PcWBe_icohI`8X;?2G5mjM89-U5rb5NjZtZ?!AW#w%88clbF*DiL)mSu zGPWhJ()a@mJDcw8#jfiT5c#E^Dh;plzazox@BH`F!{`?Lv~-ERQBCBKfP?vP;WgG>Xof zG^G%rY-j%}lDqhxyzv)mD~SU*@Uj{v^s(zRn#aLd6$uj8@2 z7TY!er+g;B`AckVv^xluEGfdekASS$dFi@?`OiSg7Cl8f>oo@KZQKgzSEdwh8zg>h zLJ|Z4QC7NcqzFiDw_&}Iy3D_f_;LWD2u~ZM0SKvDjDI-*u>B`J$Ut^qDbWTUUR?~NL9I#D zu3YEDl75W2vg}mG)pf8}dr+nK@ZN1#!{;P~*9-Y?!!z%-e-4J%I?RB<%6(e^abA)Q ze46eL=#UW$fK6T_hy-pBN$56dGODyiSa` zrW%s-&TxlEig_P=vV0-V7lxP)!V}AU&L%n|4tH6ijYWHcXr4aTdwEOrCRvzEGeojh z<~T4KHyh{hA$6VJY9wm<=Anwb1RX`*=>KcsyaU;MzcwzhRjEzI_)4wVn~G6;)u_E` zYLp^&sA{xD5m9?@Rn*?A#EwlVElTXFTA`&z`$m87|M?@ipWN4T&gVMUNr!Z;;6#QB zp!q>RFc%zC@`wUQ;KQx(^@YL=liJv+3(otLo_-<$b{5p9Eqn5PMt3gp%5lKIz3n&P zTkhzA*@fa%I_rnB4o?RUy_{#gg<_pGh5-jCtGz<|W?q}93C_cpbzwfWmlzQ#JQ%1> zvQsM=itrNTwVp+si9yD%G>DS$u)XU3*I)E5+VanI0Wuiua#}{x%`mW^^M-47kY{k` z^*0<7;Y7?^Hi-~Xr{y&ztKvcinB2*{n7sjTX*E^yDVy<)EvhU zQ2@3v);8?>9Y0KtVCKtaJxFI*s`bT7Wb!#URS5=eN);R`)WXe>vAT8l*W@q3SoH9M z8#fLS)Je)XkEp!-n(yAPRpDsu85QZG@PM1-E9;%5z5D_nR+9A7&F}O+pe&hRgos>~ z_{^K%hC5nI_Z_#|!PHe4eeokQXjAVD2f|LrJp0$WMmDRDbAk%=FLJD)`NDZpK4|AwFwj@i8P$6@LT_t5gTY z*>}KiQH15H5m7T40fouk8Asp{wnXBtq$Gu2-we0aLuddmkhitt4U@&~Xj@5tlI5b? z5g$#$HxXydK_#+X&jk*gYBcGbkoj)~p6BEn+Te6hZSP3Y)X%Lbi7wJx_|q#T7%BHmfmr)} zqJ|HS0UbHQ{h`AX_A2Padq{SK|e35lbUfZgJ9UEtM8s%Fs+=C{2Y z+4tbgG(sFNZYA&zVZ7O{D})R0!^kt>UyiC^5jYC2rgL7e&0eyfkP2lG=ks zs%tnV2HwCYzw{h$A8%l0gFx=?nDxS7dtOiWzOg9yZJU^a@0FbA{3g>^zcwa{)>Fej za>tYso4fHB?ATqu2Q_n3&+%7j z8demf|01R@rL_foh;a9?Tw4&bq9FS^YgbU_;XNpNf9&tpf0etn@;h#C8Qkwq&0bOk z$S7S`5!U1XG8m@E4A&WqiZ;8U(yg#>#bMEO6+=xnjW1Z6J3YAJR_ti6iOjwu6tcfZ z<^{7t#dsb-d7gn6Y4m~XTqU)K7cm7SPieFJkO2rUpMca@7iJry`d3-UR0W9pdi^h+ zjE}r!)ufp$0Me5Wm0;=WmFLQ($ipt3A~`p5hhYrfTRP0i)fnebbSmmZo%m1^&V)jF z)JM}jNiJn*svTxmfYXpM%b?{!bReT5*LML~;1#r#B#UO&1PbtCoFmkh_M8L%o-cZh zYUv;ns$FL{BpVxI+!WTzCeI~=+u1;QWts-$PTP_VG4)gDxgkin@eV1>vAq1l1u z<_;Po;V#k(?X38`=|}d}Y9go%p3%fYj$)+)((yp?iC6A-xCO@GCIS$r9||ADVpn`q zrqIw&-Z>P9$a-TTvj0>{wc5&*{agpx+&f&>3m&$GRR*(}xdAqBRqMNQd!5JdT4ipr z8wd85g4!epJlSt^XHPyD-YNOQPn1(CLw=3GZ~Dj)wl)yE5z*QY9TzZy2v=-2s~G2N}4lg!UIgjqtk zTV0>1Ux>vry%OZ8S`Umqg;~45&6lqZ z(IFAx77rszi32|ysG4465#(jGPYd_Ff^^Q=G=gv>+qH?ipHGHQ_oCj026i~p6?@AG z6Hy0zd23VuB0}`ymXP)wFZN?^g!j0~8gf(A630Tbzsx5B$M_xNcSm|m(+zP2eO8oILSlJ5HA2V%^wTOI|cjl0bN2J(bbKV^#o zL)BED)*QVh$wO6U) z=v}{NRDIH>dIvk3_<(OxFawO9H5x0{|I^un&xAr_Nc^=YI;${mYza^X@9bESM`W}+AViH>cEdS6m0h9E`QD;)m#kppf?Z@eA-!<66{i8lvz96f;vWkTp^ItMil$zM`svQ~V zgP#k06RQ_TG>P*)eF)&$(x$_Fta!3jsVY6OVO?S8{WdH0Wj@xp-F_ifb%amUYXDJM zTO9tFKFa*(=AY#xrkBY6rmf6q?S$Nd$iAq`)czjY+dLTd|9EZ%P!cr*>Ga&RoTis6 z3Tm0G^F6I&3LvMok?!RqgOnY7Ux!+$qx4k9&*<-yS0qRP#JP(3WHwJ4JbC`<0fS~m37sx+Ir($MA-@RrXbtr+60FkvQF zZb9?jYEf%mnBM14so3ys`AXe=?L~%dQzD5#ob?nN(}ioPxE}x zO5mwU@IAsml>Mn?K|-$7m7!t!P#)&5*^MW#1Cr~vBh088#{RT4pY3r@0#ohs<8#9* z5t$aWA}p#~3Kvhe{6f&-p#SV~v?HnCFurjwtHyHk!dgDs3NF@*v~` z^T6VsOH92WmG`p{BOm9nLooy(aP*tWF`x$NjB!lgO9ETW=C#~>2eS1)y8E8}=;gE| z*&CRujy0n#8g~5fU<5mK(0OdD#WGz$X#D&K^J`sB9N1(Cc}Hz6vp8EVcN+`B2%mpj zPEHWY>YV7)vGMKhP&>Z>p~C|2d+#N}z;jB8j+XqzlSes7jVs2)_95ZvK~**&eP zTiLJlJ?nI9J5SoeUbezh;B|HVPMv$f>V%5hbG9U+&KUANYgf&8?hEY!LU4J#!@*gG7wFKkfHi%k6;)hdaPC}eIQ(O~rY*6jh*w1EH*6L>UhfJUWV&wmAI3#X023zsm5M^6^R z8U(I(I`z@6q*+GNHpG?mh{@-*Wcro#Z@^VK*!LSEN>1oH^>b_X@SFEHy}o9BF#pm_ z(BeWw%VAIOnx2{$TL|%s!S4`?U~pKQO$)G0-VtpbS1*_+raP)xxFep|mj&LV1nY_@ z)DJ%hL7Gg^sgH5^d@@9d&l#WV`}ZVB$4k7U=l7(GjCeM)fQFV1-~4W`n6^C@QtaVQHcQi61dZz_mgTejlAD1NHYf@BTV&Ml%iS5ti^EvC(*kbh2&X}xn5QjZAiTInAlVioOjjQl8>*;NRMrHtBM*K0t=!gf`h)#2zfs@uBbL6F--a_p%bKU)Lo2}OEs=`t z3bufGX{|ofL_%*hdNHJ1rLd6lTjC!%u;9N*D1zQSkaVZV*6GlltjyBG|+Ry)a|o}mm- zH>TqI#lwWb{jUBqI*$y-Su==3L~$+ejCt2z#1w{MMa)yxIP0PM;qR*rh{6( zTH*Zl94CQZ!JsfJFPBHR9@M-VaSo6YUP+Uvds<~2-QUNeyvNp{2X=^1E-eMI;O;f0 z*ZOoXL%UvGNsbJ?#Al}0D)7dNIY&?Du5`chVsqO2`uub7->dnRzkh!AWJMn+U;P@5 zJ_!H)=eRrk^kRD@{Bm#pApGx6-^$<3R7X?vv>(O>$c~2XZAxGM*6M=7A62GTjZN%fBn{ z2^fLL>`=T1Cg-Ulazkk!!@xq;3NrS?%Ar3B_|bt|@V z>r3}|>EoY#*~7O~o2`=X>J>~gw9h0vmYs>_#4#ed5oOcD`ay-A8BMz!-Uo-U_1?kz zK9%=0KT!>!_=O#-pZL14PrL)TUV=WOBICC=^nN_m#jaWru2VNatkoLs?)1q!YGSo^ z!<4PdWF9y&%z%28MLE`}=*V~sje6Xg@9ZWTE@TqcgXnYpFmPGNIQaCh!hqLf2i|nN zP1bhRt+8oh+mG!Hkr;58r7Y)by|5+0xVLZDHr&0FC!W}m6qW}+QBd9aX>LmKa(Z^WaDz)Ml*}my7#h(Hv6IZ;> zrfh$bsQ8OzRRmK9T)%Ejq*B2AFfdmQaN)Z53J0J)`&s^OVA8xCVJu31wHE~+FGe59!^c!)v zPmPl2i2j=QVgrgI1s3bcfq2d`@rUZrxSSra&mL*5+sd;0Fe)V3b6mulI!_uGF9Bo9 zJE^=;DA`+bzTWdLPGFtb-xPg=dx3vE`NyBFhM(Nqo*|*!H7<{aX7to$vuqbDM#x~M zq9L-)Quf6kz8-O2$f$I^EKXW>#Xj2+U%M%8N2x;u>%V<3U|C6+Wjk0?0n*IGn!CzU zp;RnJD@0XvhJRH^#I5+QWQ(G6FQ8a~m1V;AKW$;;h~OtCDrJ`96hXUiFOf3s&&@8+^+HjMx$y}7U>J^knhJ(#YL@sUy!FvI9^T$QX0$su}b6s6S2(_JFzRwj8?5-lKGz=$z7+|5HV4^C_XYETvu6ThKE?WjHD0bxBkP&%lO3ds4Y+axCG&HC^;?_uyi_afKvo7%JKUM(3DO07Avv+ zi_Y=7P6}`Q2v!QZ`DNz*W=NDa!K61>PT-JE#oDqKwnnfF;>-E*1&L!;)e+h!U73)B zQJSK3fbjGS61eUizeC~tF%#v43B6uqHqN5KAy>qw`U%4dd~j%cFn6>OE%oG_37*EYEQkY$Lpd0?}ARg88Gh zJZJStXDRz8yXJ|@%~V(h(=@H8fc05dRF($Y*kT6ED#HKNjkxE|gXDJ2l9dpsUni(B zm2#3+g9lq&Pl{U=jTR1!Oo5!TIc_-6wtvfWk#aK6#e zv=+$KU2u+ocvi5@?2u0QrMiJ|J6}@sZp6sHOBdjzq%ZSSMs=fL{DNS zZ3j}7zmx>p?KqEXoExmTyxlHe^gJJu$~|sUot!avp!{S>xFlT%r1s}fsy-!Qn>mND z#3$Q;5a&hn*co>(h1BD@<$W>2b~&g?j&LmAI;-ZeEqxxw{|`QqQXbPyJRq145PELrVt)cYo%2(?|*sC!MD%Y2^<`e1QKnt4S}}Ap{%JC4872q<}`V) zPBufn#DI^Q<})mjljvj4Y3jqzlooOA#0li$P;aZn*G8a+QRNSW8JiRbk*Tpyn}RxF zO;96HysFAqL=wRRB(^YAy&-RXjqi@osr`h;tr8&g4=Q%~`nGZyaT?-}x4J&5DWr7~ zc-_k?lQp>DBeAB$?W?;&a0KET4~Czoilv^)?xX&=S`Dv0XgbT&f-u@JN)_TPC;}f- zT}Muv)4x%2ByD+bmZ|?B;^k>`6NCKOe+{oM)2C2tCDjqM%~VV@|c!-(6>cn0x})q9-6ovO}hC z#D@mg{vbg3+8!U+#M0O{@f<3g&se@<%A@y34MNHTmBUecvftLjJ7|NWGk9o<8KqH5Z_@ ztbJ`tswBP)d^j7QD8}q;V=HuPq_Juqv`X9?`lU)h+=*akW{RN+b0mqTkJgS`{m`>< zRu0?QggquHj*85KMv9#WvqSa2U2q{onh*Nc0|>4fwoG?ZX}M5U+8MTCC@aQf#}*Qn z;OuXZ^d2jd4$0@{H$fPS@kSx6{WlVCIcPCzu3AG8kC!U#Ss8NZ2i!#DikyCp+S!ev zmZG|7FrG2bDko7=Q_YiNuE={XcH)XshXEh`OGOg0a!;BN`%USzGlX#)`KVK=N&0|S zFH|_;mvG70y;^}Lb|$mT%U}sU_`g9Yr}(on}AkYarYbqB21&ns?h7Rt?k7S_9FHv9f}z31yG&!36B%P886gr` zQdMJC-ll}iUE}s5z9WD*<)xUC!!1MD#LfvxAYVBm84DtyXMOl0r3KgwN8U*Ql7 zHGl&}r0*M2nxViZqA4~RdSg+c1XZStcZh+?))_&+Lu4X0QLQ&c1nyLFUS>&SYRGj? z@ZC?`5Dh^Mq*?4`e*pny_35oy3j4isb6r|BH@;S$V&nn}wi3k%b-0Qig zbl6gjUp5URqA3g|Qsim0g6@U7XG~=v5_|bDs6+R)KNH(0_0G-bX%v~t`mi2}dHm2% z#T+LszP9o~0uf5pBT%rX#V#(3PFv!ctMnu^gA>g#B~IEZPEHdgrXkxgz9Tc%hywI$afnt( z|JfGL@4GJy&#hHRvuGOWd`a82@~b()gf;mW SVzdW;o)6