Second push

_build/main.fdb_latexmk

@@ -0,0 +1,219 @@
+# Fdb version 3
+["pdflatex"] 1454498147 "main.tex" "_build/main.pdf" "main" 1454498149
+  "/usr/local/texlive/2015/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc" 1136849721 2971 def0b6c1f0b107b3b936def894055589 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/map/fontname/texfonts.map" 1272929888 3287 e6b82fe08f5336d4d5ebc73fb1152e87 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx0900.tfm" 1136768653 3584 1a7de6c99457381c64abc1a7c545505f ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm" 1136768653 3584 2d666ecf6d466d8b007246bc2f94d9da ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm" 1136768653 3584 402da0b29eafbad07963b1224b222f18 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm" 1136768653 3584 13049b61b922a28b158a38aeff75ee9b ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm" 1136768653 3584 d3d8ac8b25ca19c0a40b86a5db1e8ccc ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm" 1136768653 3584 adb004a0c8e7c46ee66cad73671f37b4 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm" 1136768653 3584 f80ddd985bd00e29e9a6047ebd9d4781 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm" 1136768653 3584 3169d30142b88a27d4ab0e3468e963a2 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1246382020 996 a18840b13b499c08ac2de96a99eda4bc ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm10.tfm" 1246382020 1228 9be37fdf0dc0e1f4df4af3594876d628 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm5.tfm" 1246382020 1228 6fc4d2f2c0a79dc4f413411f6e2f336c ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm7.tfm" 1246382020 1228 22a83614922c993c1b2e124955a38ca1 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1246382020 916 f87d7c45f9c908e672703b83b72241a3 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1246382020 924 9904cf1d39e9767e7a3622f2a125a565 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1246382020 928 2dc8d444221b7a635bb58038579b861a ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1246382020 908 2921f8a10601f252058503cc6570e581 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1246382020 940 75ac932a52f80982a9f8ea75d03a34cf ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1246382020 940 228d6584342e91276bf566bcf9716b83 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1136768653 1512 f21f83efb36853c0b70002322c1ab3ad ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1136768653 1524 d89e2d087a9828407a196f428428ef4a ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1136768653 1300 b62933e007d01cfd073f79b963c01526 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1136768653 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1136768653 1116 933a60c408fc0a863a92debe84b2d294 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1136768653 1116 25a7bf822c58caf309a702ef79f4afbb ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" 1248133631 32734 69e00a6b65cedb993666e42eedb3d48f ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1248133631 32762 224316ccc9ad3ca0423a14971cfa7fc1 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx0900.pfb" 1215737283 143961 201304b65f97bc643fbd0bcf0685d1fe ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb" 1215737283 145408 43d44302ca7d82d487f511f83e309505 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb" 1215737283 140176 d4962f948b4cc0adf4d3dde77a128c95 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb" 1215737283 135942 859a90cad7494a1e79c94baf546d7de5 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfrm0900.pfb" 1215737283 149037 995a6f1e12c1d647b99b1cf55db78699 ""
+  "/usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1215737283 138258 6525c253f16cededa14c7fd0da7f67b2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/context/base/supp-pdf.mkii" 1337017135 71627 94eb9990bed73c364d7f53f960cc8c5b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/babel-english/english.ldf" 1367878877 6963 2e0cb3d93aa64508bdb0db58ae900d97 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.def" 1411763270 49725 b40154b767b0073ee42b35911042b793 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.sty" 1411763270 13212 dc56c11a26f3ea97bcf005eeda274583 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1284331290 1458 43ab4710dc82f3edeabecd0d099626b2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/atbegshi.sty" 1335995445 24460 92f559a71aac869021852c227c704b38 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/etexcmds.sty" 1335995445 7612 c47308d923ec19888707b0f1792b326a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1303254447 8237 52810bdb4db2270e717422560a104aea ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1338332114 189108 8b3553a56c83ff61acecb36b75d817e2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1338332114 70752 45fa392800e07da61fa13446ad46b34d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifluatex.sty" 1303254447 7324 11d14f318d865f420e692d4e6c9c18c3 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifpdf.sty" 1303254447 7140 ece2cc23d9f20e1f53975ac167f42d3e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1335995445 8253 3bdedc8409aa5d290a2339be6f09af03 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty" 1335995445 5152 387d9200f396b498d5fd679ae44ed898 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty" 1335995445 14040 8de9f47fabc4ca3bd69b6d795e32751c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1335995445 18425 775b341047ce304520cc7c11ca41392e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty" 1335995445 19987 01cb2f3c1d21e5f05711b7fd50b17f2a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1288312291 1006 b103be0bfc8c1682ff1fa9760697a329 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1393459310 42678 ea82fd948b4303ce6a2c8e25d5e8f8aa ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1393459310 19287 b2041c22301def2360f03c004d16068d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1393459310 6653 6c617c4a5106d9f40e3d70946ba4e0ac ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1393459310 7041 a891ad72049e17c4e366c40ca37b0ccb ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1393459310 4625 40c07e9f6f2f7c674704b3f2055560ce ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1203877327 2631 7eefa6cdbefd8d4e2bad7262cf1094cd ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1393459310 43477 81143b33d9ebafdeead07ede13372427 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1393459310 17436 8d99d4113be311daf23deff86991ee7d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1393459310 20857 256da99fc70ea570aad1d50fdfd51464 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1393459310 9641 711f0edc22c180a5caf168b6e8970057 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1393459310 34516 658a71478d21df554bce9d9cd436203a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1288312291 3052 e5672c657232fd63b0a9853b0746297c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1393459310 16849 86fed972a2b3ad61208a6422e104bf26 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1393459310 21541 4cd19f8ff7dd74d5aa7d803a6397af84 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1393459310 17423 a0f09c822b83b65445bc3ac25542dcc6 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1393459310 8943 2e2495b057f8f0035b5568394d489963 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex" 1288312291 4034 0a8cd33cf30d262ec971380666acb2d0 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" 1288312291 11599 d694704a88e2f9007c996d3a6a4d629c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" 1393459310 175287 31eb66e838dd5e10589736193a31943c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" 1393459310 32969 dbcfd5a7de6a0f7255c333ef60287d59 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1393459310 454 9e9e7c99f4da4f41698be21eaef4938e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1393459310 13416 940ea6971d7a65dc440d3479939c66ae ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1393459310 91879 5b3cc8d94c47a5b742393a410f298724 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1393459310 9375 5adc70f722abd29fc250d59e0694b548 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1393459310 21406 80daebd1f9f6a174d8dc77c5bc931bf4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1393459310 7820 5140d142921f39003e02ccedd072823a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1288312291 3534 c7f28fbac13616513e513efe93b8569b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1393459310 3167 7c9394e79aac27db96a92f9b2792b858 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1393459310 9165 99b6966558714c44c0b5ee44ae261ffc ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1288312291 6964 d4b5e82dabddda1c728063bb9c8a22ba ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1288312291 2688 139c6abc86761a6190c2f4bef5d752be ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1393459310 91075 1c1d7a7e8f0f737f72aa8becf0b37136 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1393459310 33289 b041d55e91f7382603e2dca6f9ad188d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1393459310 7099 f44d505bae6c7c2b933cdd63441db4b9 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" 1393459310 20934 2328bd2e04520e1ab077ac4ee13b8935 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" 1393459310 15785 e0b14c447df00370d2023fd5c9813190 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" 1393459310 42336 b13cf09dc317c76a2b165a8501d871cf ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1288312291 978 15af626ebd3d4d790aac19170dac04f2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1393459310 5437 d91f93ed61ecdc57e119849b2d784a0b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1393459310 11969 518d66d5b5e20471ba00709ef9c2b267 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1393459310 34488 3bab2022cdd1acab0cd383d8a0ad641b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1203877327 1983 b5994ebbcee17f1ba3d29bb1bd696fcf ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1393459310 7881 d459d6057e13d10ce7a227ae44b7295e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" 1393459310 22211 d696ef78c12269178882d218b2cf191d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1393459310 36194 e194ef4e0b396b531a3891feb4b1cc22 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1393459310 33377 af391d6ad1bfcbe2278e191f48e43ba8 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1393459310 2286 b5c392d27790ca52b8f8e510ef5044e0 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1393459310 6833 114eda2cf1d348e0e7e477a1a4dc1941 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1393459310 16384 3fa06861c9a3391a75df39466f49655f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1393459310 4500 b148f531c7670d59c695787be06a508b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/xkeyval/xkeyval.tex" 1417732693 19231 26434a5656c684f5ffb1f26f98006baa ""
+  "/usr/local/texlive/2015/texmf-dist/tex/generic/xkeyval/xkvutils.tex" 1403829539 7677 6f5ce7c1124cad7ec57d05b2562bd8fe ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty" 1357515851 138649 9b25c6203fed00aa0591833fc72e9128 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1359763108 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1359763108 13829 94730e64147574077f8ecfea9bb69af4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsa.fd" 1359763108 961 6518c6525a34feb5e8250ffa91731cff ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsb.fd" 1359763108 961 d02606146ba5601b5645f987c92e6193 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1362954379 2412 2d98314dc5be38f455f8890deeb2d091 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsgen.sty" 1362954379 4357 ad30ad08920902fc9b38caf35a3b0496 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsmath.sty" 1362954379 79178 b2e326c351e876df0e5e23df2e02441b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsopn.sty" 1362954379 4082 502152465aedb8f6a3c4b0b7c0fa8ae5 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amstext.sty" 1362954379 2637 846ebe982d3549c7ede7ce135456f54a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/article.cls" 1428932888 20708 96f8bca6e380179cada1d49716376167 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty" 1428932888 4572 f29f75cfae3acaf4667f1979db655af9 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/ifthen.sty" 1428932888 5159 bb529586d444e85eb00179221b678119 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/inputenc.sty" 1428932888 5619 3f48adceb9004b3fefe24c2d2df7d98e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/omsenc.dfu" 1428932888 2005 572b09e94d01e22ed7d4000c92b6e220 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/ot1enc.dfu" 1428932888 2757 273e079c3d3a9830c5b4fa2a4ce69c51 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/size10.clo" 1428932888 9179 632e23fed01c842f2eaef1dd9953a446 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def" 1428932888 9327 bf6addf718ff386725227c5b52941e7e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.dfu" 1428932888 7617 8f111f916836ef9e09db7ecbcd4e01d6 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/base/utf8.def" 1428932888 6484 2098550b79b15e713b69d9c8845f4437 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/bbm-macros/bbm.sty" 1191314257 1644 1e0d54b051369c3f457872824cac219f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/bbold/bbold.sty" 1137109921 1827 b8dfd92843f5ac03d85dbd86854854d5 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/bera/beramono.sty" 1137109926 767 619e175cf21788218aa95de61f93b82f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption.sty" 1368312746 65148 c61accbd2b9a5316d9be0887ec48d722 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption3.sty" 1368312746 62748 b02c0dc118f5f35146d37cec569e83b1 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/caption/subcaption.sty" 1360019375 4351 ee16013c18d101f9ecb20e53efde17b4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/carlisle/remreset.sty" 1137109962 1096 6a75275ca00e32428c6f059d2f618ea7 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/cleveref/cleveref.sty" 1388446545 339711 1f0025fb7b81e674af7c859d9d323705 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/enumitem/enumitem.sty" 1317339792 42666 6fa770e3485520a6a5f2ea7d259c8f8d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1430782444 41378 634c60649ed7bd8618c1848a121dcee7 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/color.sty" 1428932888 6777 4e6ac734a1f5a404eb7af74528dda46f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty" 1428932888 14285 20d80486c4ae98139889d8789596c967 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty" 1428932888 8125 557ab9f1bfa80d369fb45a914aa8a3b4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty" 1428932888 2594 d18d5e19aa8239cf867fa670c556d2e9 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty" 1428932888 3439 44bd4a1da7f27787173f2e99116b0a7f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hpdftex.def" 1352416072 51837 247bd8424b3835ef78c236dc1e0b4aef ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hyperref.sty" 1352416072 231792 5fc9dc7dd667e773a766ecc63bba7f4b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/nameref.sty" 1351899753 12847 25b617d63258c4f72870c883493a3cf8 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/pd1enc.def" 1352416072 14005 155ac8fad2e5dd7c2cdd130fabd96633 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3-code.tex" 1425333639 620503 0a42d66dc46ae1556f8411b690472b29 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3.sty" 1425333639 9939 d111746ad1c76689755456576a3e5b3a ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3pdfmode.def" 1417044313 5044 893dfca2aa5b7b2748a9a0632e0b33d7 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3unicode-data.def" 1425333639 36377 33858a9b2d242d8c95adb07885e1ee99 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1417044313 56537 02dfce72dd53c1e4f143ba9ddcea0d19 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg" 1254097189 802 7b8c8d72c24d795ed7720e4dfd29bff3 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1279039959 678 4792914a8f45be57bb98413425e4c7af ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg" 1278958963 3563 d35e897cae3b8c6848f6677b73370b54 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1254097189 235 6031e5765137be07eed51a510b2b8fb7 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg" 1410123741 1828 ddc16c1fe1b992198f2f6db76c7605a1 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.sty" 1410123741 80361 986ecfb58a31c7520247f2b2ead09587 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty" 1410123741 93444 0138f333d6d5318ba4266bb8d4ee3643 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty" 1410123741 89980 458edb2bdb75e1807e24050d093ea764 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty" 1410123741 77029 f4782a67dce3ceeb4067191b5488d81d ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/md-frame-0.mdf" 1372030994 24831 326d9f019009ed0c076106fa6cb860fb ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/mdframed.sty" 1372805434 53487 3e997243f47cb3ba8b4c7b8df9c82989 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype-pdftex.def" 1369617620 48788 102de9fe36ddc0fb46fd6734b1f3e8fb ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.cfg" 1369617620 23086 f25ab3218b2c6f172ac44dbf381961e1 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.sty" 1369617620 68045 fe140a1fc105016163d67aadd9efe194 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-cmr.cfg" 1369617620 22870 325932b16ad70b85d54e89a202d41e4e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-eur.cfg" 1369617620 3654 932caf91ca0b1d701c01994197dd8863 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msa.cfg" 1369617620 5894 a699e762642ac16b337d6067aaf54745 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msb.cfg" 1369617620 5559 1c6d4ff49366e01a7e25eb35b4526685 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/ms/everyshi.sty" 1177890616 3878 6aa7c08ff2621006e0603349e40a30a8 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/natbib/natbib.sty" 1291685959 45456 1c8843383c0bd05870c45fa0ebea6cc2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/needspace/needspace.sty" 1364856750 852 0e34dbb72efc69fa07602405ad95585e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/aliascnt.sty" 1335995445 2511 8ef653ad0c83209793c35dc808929370 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1303254447 3834 707ef09f31d7d2ea47ba89974755dfe0 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1303254447 12029 04d7fdf76e0464c23b5aa3a727952d7c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/grfext.sty" 1335995445 7075 bd0c34fbf1ae8fd1debd2a554e41b2d5 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1335995445 22417 c74ff4af6a1aa2b65d1924020edbbe11 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1303254447 9581 1158efc648bc09d5064db5703c882159 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-abspage.sty" 1335995445 2153 4758fe045340c06cad94a5fd209845cb ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-base.sty" 1335995445 20510 d34f2ff6da5204141c620ec21d6b3170 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/paralist/paralist.sty" 1372376129 14747 154e41a6d5d746a2b1f2dcbe973ac29b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pdftex-def/pdftex.def" 1306616590 55368 3c8a0d99822330f2dfabc0dfb09ce897 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1393459310 1190 4e20f1d26da9f86ba6a50d7ad16c48d2 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1288312291 410 5bf12ea7330e5f12c445332a4fe9a263 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" 1203877327 21115 facf03b7dbe5ea2f5f1dce1ac84b5d05 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" 1203727794 1091 d9163d29def82ee90370c8a63667742c ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" 1203877327 339 592cf35cba3d400082b8a9a5d0199d70 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/math/pgfmath.sty" 1393459310 306 0796eafca5e159e6ec2167a6d22d81b1 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1393459310 443 0b2e781830192df35c0fd357cf13e26e ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1393459310 348 8927fde343487e003b01a4c2ca34073b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1203727794 274 4cad6e665cc93ac2ac979039a94fa1e1 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1203877327 325 2bcd023400636339210573e2b3ee298b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/relsize/relsize.sty" 1369619135 15542 c4cc3164fe24f2f2fbb06eb71b1da4c4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/todonotes/todonotes.sty" 1414111168 17377 bc5c9601d3769048725a727e7d6d7195 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/tools/calc.sty" 1428932888 10214 78c09985255ed93018b1db2c4e2f6deb ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/tools/multicol.sty" 1428932888 30679 4a338ed705ae184941a9ceb196c1404b ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/tools/xspace.sty" 1428932888 4544 af3b6f93fee0a11f1dd120a6ec5d36c9 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/units/nicefrac.sty" 1137111039 4029 0462ee5ab265cf59dc15a41a3b883101 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/url/url.sty" 1388531844 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/was/upgreek.sty" 1137111079 5794 9054e31be15d93f1e6bd28cca2b6643f ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/xargs/xargs.sty" 1206401857 12403 a11204384274e5980f17ec9564088fa4 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/xcolor/xcolor.sty" 1169481954 55224 a43bab84e0ac5e6efcaf9a98bde73a94 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1417732693 4962 9c1069474ff71dbc47d5006555e352d3 ""
+  "/usr/local/texlive/2015/texmf-dist/tex/latex/yfonts/yfonts.sty" 1137111112 4380 7e2929c1611dc4eb757c9e193717ba09 ""
+  "/usr/local/texlive/2015/texmf-dist/web2c/texmf.cnf" 1428852030 31983 18aeec08f48baa3cf3508d538dd5f459 ""
+  "/usr/local/texlive/2015/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1432479641 1764542 91654ba72bdb667e84ea24f076ae16d8 ""
+  "/usr/local/texlive/2015/texmf-var/web2c/pdftex/pdflatex.fmt" 1444825160 3849860 9a6c8bad1b1c2d831ea8aa22c5cf50f1 ""
+  "/usr/local/texlive/2015/texmf.cnf" 1432479636 577 0d611272082f3cdb8e80e09a3c69cf07 ""
+  "_build/main.aux" 1454498149 1985 7e3d553626bfbe731a8b1b15f0482772 ""
+  "_build/main.out" 1454498149 83 97f5c3017cedbf3b3cf41f31b06f34c0 ""
+  "llncs.cls" 1450257583 42849 6b6a361172d946c1fa9b666295eaf4bb ""
+  "main.tex" 1454498140 1116 b61f7d35a233cb845ef9bf2f7750e504 ""
+  "mathpartir.sty" 1450257583 12128 8a0f8632ffaaf48ca0ede3cfa099f616 ""
+  "prelude.tex" 1454088210 8871 514616cb068d286fbc40625da42dc772 ""
+  (generated)
+  "_build/main.log"
+  "_build/main.pdf"
+  "_build/main.out"
+  "_build/main.aux"

_build/main.fls

@@ -0,0 +1,374 @@
+PWD /Users/Sn0w/Documents/projet_optim_m2
+INPUT /usr/local/texlive/2015/texmf.cnf
+INPUT /usr/local/texlive/2015/texmf-dist/web2c/texmf.cnf
+INPUT /usr/local/texlive/2015/texmf-var/web2c/pdftex/pdflatex.fmt
+INPUT main.tex
+OUTPUT _build/main.log
+INPUT llncs.cls
+INPUT llncs.cls
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/article.cls
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/size10.clo
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/size10.clo
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/multicol.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/multicol.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/aliascnt.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/aliascnt.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/carlisle/remreset.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/carlisle/remreset.sty
+INPUT prelude.tex
+INPUT prelude.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/babel-english/english.ldf
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/babel-english/english.ldf
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/babel/babel.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/map/fontname/texfonts.map
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1000.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/inputenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/inputenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/utf8.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/utf8.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/ot1enc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/ot1enc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/omsenc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/omsenc.dfu
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/was/upgreek.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/was/upgreek.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/paralist/paralist.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/paralist/paralist.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/enumitem/enumitem.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/enumitem/enumitem.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption3.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/caption3.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/mdframed.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/mdframed.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/kvoptions.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/infwarerr.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/etexcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/etexcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifluatex.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifluatex.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3-code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/expl3-code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3unicode-data.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3unicode-data.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3pdfmode.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/l3kernel/l3pdfmode.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/etoolbox/etoolbox.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-abspage.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-abspage.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-base.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/zref-base.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/ifpdf.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/auxhook.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/auxhook.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/atbegshi.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/atbegshi.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/needspace/needspace.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/needspace/needspace.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/color.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/color.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pdftex-def/pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pdftex-def/pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/md-frame-0.mdf
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/mdframed/md-frame-0.mdf
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/subcaption.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/caption/subcaption.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/natbib/natbib.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/natbib/natbib.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/xspace.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/xspace.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xcolor/xcolor.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xcolor/xcolor.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/algorithm2e/algorithm2e.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/ifthen.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/ifthen.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/relsize/relsize.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/relsize/relsize.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/units/nicefrac.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/units/nicefrac.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bbm-macros/bbm.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bbm-macros/bbm.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphicx.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/graphics.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/graphics/trig.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/graphics.cfg
+INPUT mathpartir.sty
+INPUT mathpartir.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bbold/bbold.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bbold/bbold.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/yfonts/yfonts.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/yfonts/yfonts.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsmath.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsmath.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amstext.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amstext.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsgen.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsgen.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsbsy.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsbsy.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsopn.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsmath/amsopn.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amssymb.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/amssymb.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/todonotes/todonotes.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/todonotes/todonotes.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xkeyval/xkeyval.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xkeyval/xkeyval.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/xkeyval/xkeyval.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/xkeyval/xkvutils.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/ms/everyshi.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/ms/everyshi.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/math/pgfmath.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/pgf/math/pgfmath.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/calc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/tools/calc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xargs/xargs.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/xargs/xargs.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/fontenc.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/base/t1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype-pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype-pdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/microtype.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bera/beramono.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/bera/beramono.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hyperref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hyperref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/ifxetex/ifxetex.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/pd1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/pd1enc.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/hyperref.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/hyperref.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/url/url.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/url/url.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hpdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/hpdftex.def
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/cleveref/cleveref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/cleveref/cleveref.sty
+INPUT _build/main.aux
+INPUT _build/main.aux
+OUTPUT _build/main.aux
+INPUT /usr/local/texlive/2015/texmf-dist/tex/context/base/supp-pdf.mkii
+INPUT /usr/local/texlive/2015/texmf-dist/tex/context/base/supp-pdf.mkii
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/grfext.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/oberdiek/grfext.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-cmr.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-cmr.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/nameref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/hyperref/nameref.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
+INPUT /usr/local/texlive/2015/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
+INPUT _build/main.out
+INPUT _build/main.out
+INPUT _build/main.out
+INPUT _build/main.out
+OUTPUT _build/main.pdf
+INPUT _build/main.out
+INPUT _build/main.out
+OUTPUT _build/main.out
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1440.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1440.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-eur.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-eur.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm5.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsa.fd
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsa.fd
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msa.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msa.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsb.fd
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/amsfonts/umsb.fd
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msb.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/tex/latex/microtype/mt-msb.cfg
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm0900.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/euler/eurm7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx0900.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecrm1200.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1200.tfm
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/tfm/jknappen/ec/ecbx1000.tfm
+INPUT /usr/local/texlive/2015/texmf-var/fonts/map/pdftex/updmap/pdftex.map
+INPUT _build/main.aux
+INPUT _build/main.out
+INPUT _build/main.out
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx0900.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1000.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1200.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfbx1440.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfrm0900.pfb
+INPUT /usr/local/texlive/2015/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb

main.tex

@@ -26,16 +26,28 @@
 
 
 \begin{abstract}
-  In this paper we show how Doob's Decomposition Theorem can be used to build 
-  (semi) automatically Martingales from arbitrary expressions. 
 \end{abstract}
 
 
 \section{Introduction}
 
-\section{Preliminaries}
+\section{General architecture of the toolset}
+   Big pipeline + pool + blabla
 
+\section{Heuristics devlopped}
 
-\section{Algorithms}
+\subsection{Fully random search (Test case)}
+  Blabla+pipeline
+\subsection{Local Search}
+  Blabla+Pipeline
+\subsection{Evolutionary heuristics}
+  Blabla+Pipeline
+\subsection{Genetic heuristics}
+  Blabla+Pipeline
+
+\section{Results}
+
+
+\section{Conclusion}
 
 \end{document}