]> matita.cs.unibo.it Git - fireball-separation.git/blob - calculus/main.fdb_latexmk
Merge branch 'permutations' into andrea
[fireball-separation.git] / calculus / main.fdb_latexmk
1 # Fdb version 3\r
2 ["pdflatex"] 1499443424 "main.tex" "main.pdf" "main" 1499443425\r
3   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1233955448 1004 54797486969f23fa377b128694d548df ""\r
4   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1233955454 916 f87d7c45f9c908e672703b83b72241a3 ""\r
5   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1233955454 924 9904cf1d39e9767e7a3622f2a125a565 ""\r
6   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1233955454 928 2dc8d444221b7a635bb58038579b861a ""\r
7   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1233955454 908 2921f8a10601f252058503cc6570e581 ""\r
8   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1233955454 940 75ac932a52f80982a9f8ea75d03a34cf ""\r
9   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1233955454 940 228d6584342e91276bf566bcf9716b83 ""\r
10   "C:/Program Files (x86)/MiKTeX 2.9/fonts/tfm/public/latex-fonts/lasy6.tfm" 1136768653 520 4889cce2180234b97cad636b6039c722 ""\r
11   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmex10.pfb" 1247596667 30251 6afa5cb1d0204815a708a080681d4674 ""\r
12   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1247596667 36299 5f9df58c2139e7edcf37c8fca4bd384d ""\r
13   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi5.pfb" 1247596667 37912 07513ec114ac737ab54cea0152f4424b ""\r
14   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1247596667 36281 c355509802a035cadc5f15869451dcee ""\r
15   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1247596667 35752 024fb6c41858982481f6968b5fc26508 ""\r
16   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1247596667 32762 7fee39e011c23b3589931effd97b9702 ""\r
17   "C:/Program Files (x86)/MiKTeX 2.9/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1247596667 32569 5e5ddc8df908dea60932f3c484a54c0d ""\r
18   "C:/Program Files (x86)/MiKTeX 2.9/tex/context/base/supp-pdf.mkii" 1306918461 71592 fe353e1fbd982ffc647f3e98ff74da96 ""\r
19   "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.def" 1461657393 51602 8190990703f12b57db0dfe9b839e1e24 ""\r
20   "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/babel/babel.sty" 1461657393 13862 2379954ebbdf3db89eccb32499d2da36 ""\r
21   "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/infwarerr.sty" 1465497378 8253 473e0e41f9adadb1977e8631b8f72ea6 ""\r
22   "C:/Program Files (x86)/MiKTeX 2.9/tex/generic/oberdiek/ltxcmds.sty" 1465497378 18425 5b3c0c59d76fac78978b5558e83c1f36 ""\r
23   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/algorithm2e/algorithm2e.sty" 1447057737 164989 3237f4d4426874d9a69857464c581861 ""\r
24   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amscls/amsthm.sty" 1425936400 12225 3cca0d18522255979a1047206228b9d0 ""\r
25   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amsfonts.sty" 1358201372 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""\r
26   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/amssymb.sty" 1358201372 13829 94730e64147574077f8ecfea9bb69af4 ""\r
27   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsa.fd" 1358201372 961 6518c6525a34feb5e8250ffa91731cff ""\r
28   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsfonts/umsb.fd" 1358201372 961 d02606146ba5601b5645f987c92e6193 ""\r
29   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsbsy.sty" 1485166067 2282 5c54ab129b848a5071554186d0168766 ""\r
30   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsgen.sty" 1485166068 4296 c115536cf8d4ff25aa8c1c9bc4ecb79a ""\r
31   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsmath.sty" 1485166068 87150 81aa65c5042562f79cb421feff9b8bdc ""\r
32   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amsopn.sty" 1485166068 4232 318a66090112f3aa3f415aeb6fe8540f ""\r
33   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/amsmath/amstext.sty" 1485166068 2507 fe3078ec12fc30287f568596f8e0b948 ""\r
34   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/arabi/bblopts.cfg" 1139965200 902 c30e5c373bc58bde21f8f63a3091626f ""\r
35   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/babel-english/english.ldf" 1485335993 7219 fd11ed3b832df052a4adb2c56e472748 ""\r
36   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/article.cls" 1485378202 19821 310da678527a7dfe2a02c88af38079b7 ""\r
37   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ifthen.sty" 1485378204 5159 a08c9bbd48fc492f15b22e458bef961f ""\r
38   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/inputenc.sty" 1485378204 4732 d63eda807ac82cca2ca8488efd31a966 ""\r
39   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/omsenc.dfu" 1485378202 2004 b59846258a6c54fecbe43d981c7a8310 ""\r
40   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/ot1enc.dfu" 1485378202 3181 f6d8c97e5b5009a3b4a1e34490b9aa0d ""\r
41   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/size10.clo" 1485378202 8292 e897c12e1e886ce77fe26afc5d470886 ""\r
42   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/t1enc.dfu" 1485378202 11059 f4f43783cf4a8ffee1b201d897840536 ""\r
43   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/base/utf8.def" 1485378202 7784 02e454c0f50491e8730511d8fcc96a47 ""\r
44   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-cfg/color.cfg" 1465894292 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""\r
45   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/graphics-def/pdftex.def" 1485037086 58250 3792a9d2d1d664ee8c742498e295b051 ""\r
46   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ltxmisc/relsize.sty" 1068050100 16969 b414bd18cf77ed8750f7d9fe3c40418e ""\r
47   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/stmaryrd.sty" 1303229068 11317 aa7f81da60ce104f0dbb8b827dd14383 ""\r
48   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/stmaryrd/ustmry.fd" 1303229068 1811 216b0f832c406513647608b5bb9bb8ff ""\r
49   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/verbatim.sty" 1485166209 7476 cf839ee7f0c2bfc711b0b88970764569 ""\r
50   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/tools/xspace.sty" 1485166209 4696 8b8f59969458e1c25e0559e8e0ced1a4 ""\r
51   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/ulem/ulem.sty" 1338509872 23756 854c01b779030ff5b2aad88ba7a119f2 ""\r
52   "C:/Program Files (x86)/MiKTeX 2.9/tex/latex/xcolor/xcolor.sty" 1463135581 57049 34128738f682d033422ca125f82e5d62 ""\r
53   "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary10.tfm" 1459156115 848 f478e0761563bbc369eca609a1741348 ""\r
54   "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary5.tfm" 1459178148 848 e1bc58a31b9ed9c3729ffea165acfaac ""\r
55   "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/fonts/tfm/public/stmaryrd/stmary7.tfm" 1459178148 848 26631fcb3e4cb6757598b9cda7967b63 ""\r
56   "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/miktex/data/le/pdftex/pdflatex.fmt" 1485961583 3798687 ee6c887e76b7ccc2b88963d3b9863ad2 ""\r
57   "C:/Users/Andrea/AppData/Local/MiKTeX/2.9/pdftex/config/pdftex.map" 1485960852 76218 a1e12baf46bff3504155a215550a7bc5 ""\r
58   "main.aux" 1499443425 171 db7e845c9605d9d9013124913d023cfd ""\r
59   "main.tex" 1499443424 1306 f355b70e439401843d05b29f2819d6bf ""\r
60   "preambolo.tex" 1499442215 536 b8c123cb420b7b9c87abf01f17211cb7 ""\r
61   (generated)\r
62   "main.aux"\r
63   "main.log"\r
64   "main.pdf"\r