# Fdb version 3 ["bibtex RR-9395"] 1615210624 "RR-9395.aux" "RR-9395.bbl" "RR-9395" 1615210627 "/usr/local/texlive/2017/texmf-dist/bibtex/bst/natbib/plainnat.bst" 1480098435 26816 ffe5423d2019860bad9f54bc402fac15 "" "RR-9395.aux" 1615210626 19344 df2b9f6143ef9478b4813ad055049ca9 "" "predef.bib" 1602274874 10211 9da0c0a59354bbd585725539fe703529 "" "references.bib" 1615210348 20809 03db0c8913b5bdb3018b2112fdfe2665 "" "shapiro-bib-ext.bib" 1602275332 604510 eabd8ba5dbe28aa08c538011efefbe67 "" "shapiro-bib-perso.bib" 1602775637 209831 45a8a5be7d8f6341ce2668bbc0914cc2 "" (generated) "RR-9395.blg" "RR-9395.bbl" ["pdflatex"] 1615210624 "/Users/snair/Downloads/RR-9395/RR-9395.tex" "/Users/snair/Downloads/RR-9395/RR-9395.pdf" "RR-9395" 1615210627 "/Users/snair/Downloads/RR-9395/RR-9395.aux" 1615210626 19344 df2b9f6143ef9478b4813ad055049ca9 "" "/Users/snair/Downloads/RR-9395/RR-9395.tex" 1615210621 16983 fcde652bf8c0ab9d55ed1334c153b88a "" "/Users/snair/Library/texlive/2017/texmf-var/fonts/pk/ljfour/public/skull/skull.500pk" 1601992493 372 a4dc0814c93f428e12393b6daf8ae3e8 "" "/Users/snair/Library/texlive/2017/texmf-var/fonts/tfm/public/skull/skull.tfm" 1601992193 64 870c91c6ceaf94984b0f2a0c9e837a60 "" "/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc" 1480098666 4850 80dc9bab7f31fb78a000ccfed0e27cab "" "/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc" 1480098666 2900 1537cc8184ad1792082cd229ecc269f4 "" "/usr/local/texlive/2017/texmf-dist/fonts/map/fontname/texfonts.map" 1480098670 3287 e6b82fe08f5336d4d5ebc73fb1152e87 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvb8r.tfm" 1480098688 4484 b828043cbd581d289d955903c1339981 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvb8t.tfm" 1480098688 6628 34c39492c0adc454c1c199922bba8363 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvr8r.tfm" 1480098688 4712 9ef4d7d106579d4b136e1529e1a4533c "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/helvetic/phvr8t.tfm" 1480098688 7040 b2bd27e2bfe6f6948cbc3239cae7444f "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/symbol/psyr.tfm" 1480098689 1408 5937f58aa508ea2cea4901c07d10f5fe "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8c.tfm" 1480098689 1340 d2f6275bc4fa3f07e3bc50aae2c71eab "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8r.tfm" 1480098689 4524 6bce29db5bc272ba5f332261583fee9c "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmb8t.tfm" 1480098689 6880 f19b8995b61c334d78fc734065f6b4d4 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmr8r.tfm" 1480098689 4408 25b74d011a4c66b7f212c0cc3c90061b "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/times/ptmr8t.tfm" 1480098689 6672 e3ab9e37e925f3045c9005e6d1473d56 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm" 1480098689 1528 f853c4d1b4e0550255e02831fdc8496f "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm0600.tfm" 1480098696 1536 12e8c510d3e158fdd0e9a42e75118bd9 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm0800.tfm" 1480098696 1536 05df9db6aeccc4eea94fec15c9024f79 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/jknappen/ec/tcrm1000.tfm" 1480098696 1536 e07581a4bb3136ece9eeb4c3ffab8233 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1480098698 1004 54797486969f23fa377b128694d548df "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1480098698 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex9.tfm" 1480098698 996 a18840b13b499c08ac2de96a99eda4bc "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1480098698 916 f87d7c45f9c908e672703b83b72241a3 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1480098698 924 9904cf1d39e9767e7a3622f2a125a565 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1480098698 928 2dc8d444221b7a635bb58038579b861a "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1480098698 908 2921f8a10601f252058503cc6570e581 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1480098698 940 75ac932a52f80982a9f8ea75d03a34cf "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1480098698 940 228d6584342e91276bf566bcf9716b83 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx10.tfm" 1480098701 1328 c834bbb027764024c09d3d2bf908b5f0 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmcsc10.tfm" 1480098701 1300 63a6111ee6274895728663cf4b4e7e81 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmex10.tfm" 1480098701 992 662f679a0b3d2d53c1b94050fdaa3f50 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmitt10.tfm" 1480098701 768 2297ad2ac26f37e67f756dad27c77d68 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmmi9.tfm" 1480098701 1524 d89e2d087a9828407a196f428428ef4a "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss10.tfm" 1480098701 1316 b636689f1933f24d1294acdf6041daaa "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss12.tfm" 1480098701 1324 37b971caf729d7edd9cbb9f9b0ea76eb "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss8.tfm" 1480098701 1296 d77f431d10d47c8ea2cc18cf45346274 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmss9.tfm" 1480098701 1320 49357c421c0d469f88b867dd0c3d10e8 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmsy9.tfm" 1480098701 1116 25a7bf822c58caf309a702ef79f4afbb "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti10.tfm" 1480098701 1480 aa8e34af0eb6a2941b776984cf1dfdc4 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti7.tfm" 1480098701 1492 86331993fe614793f5e7e755835c31c5 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti8.tfm" 1480098701 1504 1747189e0441d1c18f3ea56fafc1c480 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmti9.tfm" 1480098701 1476 cccc6cc4935c18ec3d5623b77ecb8b74 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt10.tfm" 1480098701 768 1321e9409b4137d6fb428ac9dc956269 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt12.tfm" 1480098701 772 9a936b7f5e2ff0557fce0f62822f0bbf "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt8.tfm" 1480098701 768 d7b9a2629a0c353102ad947dc9221d49 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/cm/cmtt9.tfm" 1480098701 764 c98a2af25c99b73a368cf7336e255190 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary10.tfm" 1480098718 848 f478e0761563bbc369eca609a1741348 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary5.tfm" 1480098718 848 e1bc58a31b9ed9c3729ffea165acfaac "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary6.tfm" 1480098718 848 068dd119e13b75777e62821af7d4f2a6 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary7.tfm" 1480098718 848 26631fcb3e4cb6757598b9cda7967b63 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary8.tfm" 1480098718 848 6125cdd3627e68d3db8013b98e587508 "" "/usr/local/texlive/2017/texmf-dist/fonts/tfm/public/stmaryrd/stmary9.tfm" 1480098718 848 594c171945930dfc7cc52fb30457c803 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb" 1480098733 34811 78b52f49e893bcba91bd7581cdc144c0 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb" 1480098733 32001 6aeea3afe875097b1eb0da29acd61e28 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmitt10.pfb" 1480098733 26057 fad158094905eaf20f4ae3782af0c45c "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb" 1480098733 36299 5f9df58c2139e7edcf37c8fca4bd384d "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb" 1480098733 37166 8ab3487cbe3ab49ebce74c29ea2418db "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi7.pfb" 1480098733 36281 c355509802a035cadc5f15869451dcee "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb" 1480098733 35469 70d41d2b9ea31d5d813066df7c99281c "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb" 1480098733 36094 798f80770b3b148ceedd006d487db67c "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb" 1480098733 31809 8670ca339bf94e56da1fc21c80635e2a "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr6.pfb" 1480098733 32734 69e00a6b65cedb993666e42eedb3d48f "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1480098733 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb" 1480098733 32726 0a1aea6fcd6468ee2cf64d891f5c43c8 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmss10.pfb" 1480098733 24457 5cbb7bdf209d5d1ce9892a9b80a307cc "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb" 1480098733 32569 5e5ddc8df908dea60932f3c484a54c0d "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy5.pfb" 1480098733 32915 7bf7720c61a5b3a7ff25b0964421c9b6 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb" 1480098733 32587 1788b0c1c5b39540c96f5e42ccd6dae8 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb" 1480098733 32716 08e384dc442464e7285e891af9f45947 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy9.pfb" 1480098733 32442 c975af247b6702f7ca0c299af3616b80 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb" 1480098733 37944 359e864bd06cde3b1cf57bb20757fb06 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti7.pfb" 1480098733 36607 d654cb3f2bc54f57509240071db3bffa "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmti9.pfb" 1480098733 36310 f5ddc6715cc60deb16d9db5ded6a9391 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.pfb" 1480098733 31099 c85edf1dd5b9e826d67c9c7293b6786c "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt9.pfb" 1480098733 29078 718ea4567ceff944262b0f5b0800e1d9 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb" 1480098733 31764 459c573c03a4949a528c2cc7f557e217 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb" 1480098734 34694 ad62b13721ee8eda1dcc8993c8bd7041 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm0600.pfb" 1480098737 162624 9dcc92cd3b1dfe2ecc80e6da7f2eb6bd "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm0800.pfb" 1480098737 164227 3df942b4ff2124425d8fb1b6d3e01c7a "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb" 1480098737 138258 6525c253f16cededa14c7fd0da7f67b2 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/stmaryrd/stmary8.pfb" 1480098745 27873 b4f34b695539b5e0680e5ce4b917924a "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/public/stmaryrd/stmary9.pfb" 1480098745 27392 335bebf8c5ec9a53762f16cf738f2ab1 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb" 1480098746 35941 f27169cc74234d5bd5e4cca5abafaabb "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb" 1480098746 44648 23115b2a545ebfe2c526c3ca99db8b95 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/urw/times/utmb8a.pfb" 1480098746 44729 811d6c62865936705a31c797a1d5dada "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/urw/times/utmr8a.pfb" 1480098746 46026 6dab18b61c907687b520c72847215a68 "" "/usr/local/texlive/2017/texmf-dist/fonts/type1/urw/zapfding/uzdr.pfb" 1480098746 45955 6dfcb282cf470ceb18d57d017b7898d6 "" "/usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/helvetic/phvb8t.vf" 1480098757 2340 0efed6a948c3c37d870e4e7ddb85c7c3 "" "/usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/helvetic/phvr8t.vf" 1480098757 2344 44ff28c9ef2fc97180cd884f900fee71 "" "/usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8c.vf" 1480098758 3556 f148a8ed6ef01fed553027171e4f9b22 "" "/usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmb8t.vf" 1480098758 2340 df9c920cc5688ebbf16a93f45ce7bdd3 "" "/usr/local/texlive/2017/texmf-dist/fonts/vf/adobe/times/ptmr8t.vf" 1480098758 2348 91706c542228501c410c266421fbe30c "" "/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1480098806 71627 94eb9990bed73c364d7f53f960cc8c5b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty" 1480098815 1458 43ab4710dc82f3edeabecd0d099626b2 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty" 1480098815 8237 3b62ef1f7e2c23a328c814b3893bc11f "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty" 1490564930 185082 1fb09d7d24834377f95006300bc91fd2 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty" 1480098815 70864 bcd5b216757bd619ae692a151d90085d "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty" 1490564930 1251 d170e11a3246c3392bc7f59595af42cb "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifvtex.sty" 1480098815 6797 90b7f83b0ad46826bc16058b1e3d48df "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty" 1480098815 8253 473e0e41f9adadb1977e8631b8f72ea6 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty" 1480098815 18425 5b3c0c59d76fac78978b5558e83c1f36 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1480098816 1006 b103be0bfc8c1682ff1fa9760697a329 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1480098816 43226 167a99346bfe2676e3efcdde2d81fe45 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1480098816 19302 4f089dc590e71f7331e6d5b5ea85273b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex" 1480098816 6068 edae1e768a7d8d8f0f00e953d2b0153e "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex" 1480098816 7041 a891ad72049e17c4e366c40ca37b0ccb "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex" 1480098816 4625 40c07e9f6f2f7c674704b3f2055560ce "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex" 1480098816 2631 7eefa6cdbefd8d4e2bad7262cf1094cd "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex" 1480098816 43477 81143b33d9ebafdeead07ede13372427 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex" 1480098816 17436 8d99d4113be311daf23deff86991ee7d "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex" 1480098816 20772 c57e34db4aa7b1da013169d04b743eac "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex" 1480098816 9641 711f0edc22c180a5caf168b6e8970057 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex" 1480098816 34516 658a71478d21df554bce9d9cd436203a "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex" 1480098816 3052 e5672c657232fd63b0a9853b0746297c "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex" 1480098816 16669 4ec6e40088fc6de6334b443fe2dc59f0 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex" 1480098816 21541 4cd19f8ff7dd74d5aa7d803a6397af84 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex" 1480098816 19998 d77fef95c7369827753d17fd11be19c4 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex" 1480098816 8943 2e2495b057f8f0035b5568394d489963 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryarrows.code.tex" 1480098816 437 cf40f841f40822be6cb995f8b47112fd "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarybackgrounds.code.tex" 1480098816 4611 b858a4e5bd5442802c91a13027dc25bb "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarycalc.code.tex" 1480098816 15934 b941bd3ae7b33179029513707d1f0ff6 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypatterns.code.tex" 1480098816 884 60c3d56b80194544f9ecdae97dd5e286 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.geometric.code.tex" 1480098816 457 ffe9f8b9d108b5f729fd86c78c63589a "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex" 1480098816 11599 d694704a88e2f9007c996d3a6a4d629c "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytrees.code.tex" 1480098816 3420 7b6c7f025802bf2a16aaa31df020be3b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex" 1480098816 176652 1c2926908e2b356d454795c35385d580 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.tex" 1480098816 31927 7acd27f90dd95ce67ad32166cd0b95ec "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibrarypatterns.code.tex" 1480098816 7874 56ca58561783fbca7be095fa7178e656 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex" 1480098816 32969 dbcfd5a7de6a0f7255c333ef60287d59 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.geometric.code.tex" 1480098816 132566 291d42c3b23fdb5c47e51b36a5fea0c4 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex" 1480098816 454 9e9e7c99f4da4f41698be21eaef4938e "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex" 1480098816 13416 940ea6971d7a65dc440d3479939c66ae "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex" 1480098816 94097 62ac62cda46eb715560dc27f9ed6e8b1 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex" 1480098816 9375 5adc70f722abd29fc250d59e0694b548 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex" 1480098816 22069 7c21c42b15718ce922f36235be360490 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex" 1480098816 8210 a7be5b52ef3d2c087b7dc3d52898b67e "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex" 1480098816 3534 c7f28fbac13616513e513efe93b8569b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics.code.tex" 1480098816 3167 7c9394e79aac27db96a92f9b2792b858 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex" 1480098816 9289 261407875b9dbb0194691c3eb893610f "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex" 1480098816 7078 946ddf4a7e57219b6afdbad98eb6731b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex" 1480098816 2688 139c6abc86761a6190c2f4bef5d752be "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex" 1480098816 92284 dcf023dbaa84e6c50e11c2f79fe8cfa6 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex" 1480098816 35430 046e15fbb65e74d8f0e7945f99741fdb "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex" 1480098816 7099 f44d505bae6c7c2b933cdd63441db4b9 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex" 1480098816 20934 2328bd2e04520e1ab077ac4ee13b8935 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex" 1480098816 16203 83cbe1220e389eeee283a6168f9a567b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex" 1480098816 42906 d54376d96df1a2ae2d33fb722236d8e9 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg" 1480098816 978 15af626ebd3d4d790aac19170dac04f2 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def" 1480098816 5437 d91f93ed61ecdc57e119849b2d784a0b "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def" 1480098816 13507 809d848d9262638e1b1705a68a73c566 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex" 1480098816 35113 2ccc50c1c9573e4bac9230d030f9c67c "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex" 1480098816 1983 b5994ebbcee17f1ba3d29bb1bd696fcf "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex" 1480098816 7881 d459d6057e13d10ce7a227ae44b7295e "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex" 1480098816 22211 d696ef78c12269178882d218b2cf191d "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex" 1480098816 36194 e194ef4e0b396b531a3891feb4b1cc22 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex" 1480098816 33377 af391d6ad1bfcbe2278e191f48e43ba8 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex" 1480098816 2536 a3b0529d815a2759ba157b56610a6377 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.tex" 1480098816 6833 114eda2cf1d348e0e7e477a1a4dc1941 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex" 1480098816 16501 ab0135765e27b6b8dae047831fe84818 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def" 1480098816 5544 294baac9629ba59f675b1f2027ad7136 "" "/usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/CaseFolding.txt" 1480098819 78161 e3fbf2f626f10070000fe66f3a2ff5ef "" "/usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/SpecialCasing.txt" 1480098819 16830 fea30f45a2f81ffa474fd984d297e2ea "" "/usr/local/texlive/2017/texmf-dist/tex/generic/unicode-data/UnicodeData.txt" 1480098819 1686443 dde25b1cf9bbb4ba1140ac12e4128b0b "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1480098820 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1480098820 13829 94730e64147574077f8ecfea9bb69af4 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsa.fd" 1480098820 961 6518c6525a34feb5e8250ffa91731cff "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsfonts/umsb.fd" 1480098820 961 d02606146ba5601b5645f987c92e6193 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1480098820 2210 5c54ab129b848a5071554186d0168766 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty" 1480098820 4160 c115536cf8d4ff25aa8c1c9bc4ecb79a "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty" 1485129665 84329 81aa65c5042562f79cb421feff9b8bdc "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty" 1480098820 4115 318a66090112f3aa3f415aeb6fe8540f "" "/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty" 1480098820 2431 fe3078ec12fc30287f568596f8e0b948 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty" 1480098821 5159 a08c9bbd48fc492f15b22e458bef961f "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/inputenc.sty" 1480098821 4732 d63eda807ac82cca2ca8488efd31a966 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/omsenc.dfu" 1487721667 2004 ac51aeac484f08c01026120d62677eca "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/ot1enc.dfu" 1487721667 3181 1cb3e9ad01f4a01127b2ffd821bfeec7 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.dfu" 1487721667 11255 9d97362866549d3d3c994b5f28d1b9b5 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty" 1492297155 16154 f2c73e20ca771d534a8516c62c6b0eae "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd" 1480098821 2217 d274654bda1292013bdf48d5f720a495 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def" 1480098821 7767 aa88823823f5e767d79ea1166ab1ae74 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.dfu" 1487721667 4919 76510afd60e8282294f944c2f9f5103b "" "/usr/local/texlive/2017/texmf-dist/tex/latex/base/utf8.def" 1487721667 7784 325a2a09984cb5c4ff230f9867145ad3 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/dicts/translator-basic-dictionary/translator-basic-dictionary-English.dict" 1480098821 3435 0a4d096dde3f8fe682c2aedd33b8137d "" "/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator-language-mappings.tex" 1483401677 5119 71b31bb700c1486fddecd875be4e1688 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/beamer/translator/translator.sty" 1483401677 3881 a0552e5c21c45573b5971c0252abf6c9 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/bold-extra/bold-extra.sty" 1480098823 1923 d0cfef8b32c8df31c8dc244f7e40f3dc "" "/usr/local/texlive/2017/texmf-dist/tex/latex/booktabs/booktabs.sty" 1480098823 5869 94335281ffcab47f341cf07ea8220e30 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption.sty" 1480098823 66233 8b81cfab95a1f8fc2f0f6c89415b087a "" "/usr/local/texlive/2017/texmf-dist/tex/latex/caption/caption3.sty" 1480098823 64866 1ea74c5f2d1685881497f021b8f186b2 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty" 1480098825 339711 1f0025fb7b81e674af7c859d9d323705 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/colortbl/colortbl.sty" 1480098825 10607 9635c8e2bffccf182429bfdea9b665a5 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty" 1480098827 42666 6fa770e3485520a6a5f2ea7d259c8f8d "" "/usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/floatrow.sty" 1480098828 60013 31ae5968a4a3fc2e332dd6a87f8e924b "" "/usr/local/texlive/2017/texmf-dist/tex/latex/floatrow/fr-subfig.sty" 1480098828 8013 a013c30438046f8c886036b8961dfa63 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/geometry/geometry.sty" 1480098829 40502 e003406220954b0716679d7928aedd8a "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1480098830 1213 620bba36b25224fa9b7e1ccb4ecb76fd "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1480098830 1224 978390e9c2234eab29404bc21b268d1e "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def" 1485129666 58250 3792a9d2d1d664ee8c742498e295b051 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/color.sty" 1480098830 7031 4ca2945c73eec4e726c0da188fbbf50f "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty" 1492297155 14603 b288c52bd5d46d593af31dbc7e548236 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty" 1480098830 8125 557ab9f1bfa80d369fb45a914aa8a3b4 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty" 1480098830 2594 d18d5e19aa8239cf867fa670c556d2e9 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/rotating.sty" 1485129666 6969 f1843f5f0545182bf419df38f75e3930 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty" 1480098830 3980 0a268fbfda01e381fa95821ab13b6aee "" "/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def" 1489964469 51983 9a4f683a2a7b213874a28bc4008b84d9 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty" 1489964469 233808 b63d91422c362e723c6e8b1a2fffcba5 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty" 1480098831 12949 81e4e808884a8f0e276b69410e234656 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def" 1489964469 14098 7631f11156e5f9cd76010dbd230aa268 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex" 1494801658 689208 a4a1f960caacd72906628f3f1a2e3b4c "" "/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty" 1494801658 9344 31607e39934aa760394a75d15a0594e0 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def" 1494801658 10255 ae20359c06d3acc750024781d0520fe6 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty" 1494801658 4568 2b0ce60a33aa7d9f1c2ce4f0ef7e2d5a "" "/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1494801658 76757 9db3143638eba1ea8405900fbbcff235 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1480098833 678 4792914a8f45be57bb98413425e4c7af "" "/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg" 1480098833 235 6031e5765137be07eed51a510b2b8fb7 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.cfg" 1480098833 1827 d72ad54409ca5c1068a1939c63441bd2 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/listings/listings.sty" 1480098833 80336 ff90c926c3d7bfdaa3d80ca57123b0bb "" "/usr/local/texlive/2017/texmf-dist/tex/latex/listings/lstmisc.sty" 1480098833 77028 c3eb00afb55a32bc13ca8da7f5234377 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/mathpartir/mathpartir.sty" 1480098833 14401 0712448ba80da5750b26552c69bbf0c8 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty" 1480098835 3878 6aa7c08ff2621006e0603349e40a30a8 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/multirow/multirow.sty" 1480201744 5015 cd8d25106b58dfc16af57528a07d0bc9 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/natbib/natbib.sty" 1480098835 45456 1c8843383c0bd05870c45fa0ebea6cc2 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty" 1480098836 3834 4363110eb0ef1eb2b71c8fcbcdb6c357 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty" 1480098836 12095 5337833c991d80788a43d3ce26bd1c46 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty" 1480098836 7075 2fe3d848bba95f139de11ded085e74aa "" "/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty" 1480098836 22417 1d9df1eb66848aa31b18a593099cf45c "" "/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty" 1480098836 9581 023642318cef9f4677efe364de1e2a27 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/paralist/paralist.sty" 1485126066 14857 82c76ebe8f06becf69ab309565b2a0cb "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1480098837 1197 8a80cdde14696a9198f1793a55dcf332 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty" 1480098837 410 5bf12ea7330e5f12c445332a4fe9a263 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty" 1480098837 21115 facf03b7dbe5ea2f5f1dce1ac84b5d05 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty" 1480098837 1091 d9163d29def82ee90370c8a63667742c "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty" 1480098837 339 592cf35cba3d400082b8a9a5d0199d70 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty" 1480098837 306 0796eafca5e159e6ec2167a6d22d81b1 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty" 1480098837 443 0b2e781830192df35c0fd357cf13e26e "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1480098837 348 8927fde343487e003b01a4c2ca34073b "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1480098837 274 4cad6e665cc93ac2ac979039a94fa1e1 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1480098837 325 2bcd023400636339210573e2b3ee298b "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/pifont.sty" 1480098837 2284 330328193b4aeb08dd45b0dd3e5ae732 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1phv.fd" 1480098837 1488 9a55ac1cde6b4798a7f56844bb75a553 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/t1ptm.fd" 1480098837 774 61d7da1e9f9e74989b196d147e623736 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/ts1ptm.fd" 1480098837 619 96f56dc5d1ef1fe1121f1cfeec70ee0c "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upsy.fd" 1480098837 148 2da0acd77cba348f34823f44cabf0058 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/psnfss/upzd.fd" 1480098837 148 b2a94082cb802f90d3daf6dd0c7188a0 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx-abbreviations.cfg" 1495227905 4669 80e36c8e5be359448b80ce8ae24c5237 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/siunitx/siunitx.sty" 1495227905 278841 e6a10a03b8503754a74f18df9f196c6a "" "/usr/local/texlive/2017/texmf-dist/tex/latex/skull/skull.sty" 1480098839 513 85aa3fab40f35fcc3b6b321cc83eb096 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/Ustmry.fd" 1480098839 1766 216b0f832c406513647608b5bb9bb8ff "" "/usr/local/texlive/2017/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty" 1480098839 11080 aa7f81da60ce104f0dbb8b827dd14383 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/subfig/subfig.sty" 1480098839 21369 9ef165ca6df8815c92e693146a376c92 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/tools/array.sty" 1485129666 12396 d41f82b039f900e95f351e54ae740f31 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty" 1480098842 12796 8edb7d69a20b857904dd0ea757c14ec9 "" "/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty" 1480098843 55589 34128738f682d033422ca125f82e5d62 "" "/usr/local/texlive/2017/texmf-dist/web2c/texmf.cnf" 1494087824 32646 eadc4ca26cdbe7105ac7c593aa8c4f72 "" "/usr/local/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1495593472 2350277 a699055bee05bf8a40b0504752487295 "" "/usr/local/texlive/2017/texmf-var/web2c/pdftex/pdflatex.fmt" 1501582290 4129591 1f6bc0e71c57d55a19c507276eac7f8f "" "/usr/local/texlive/2017/texmf.cnf" 1495593465 577 2b71d4d888f9e5560b2e99985915a9fa "" "CiseAnalysis.tex" 1603271614 11655 f10ee879810f0dff7f4da23727be8522 "" "RR-9395.aux" 1615210626 19344 df2b9f6143ef9478b4813ad055049ca9 "" "RR-9395.bbl" 1615210624 7800 69cf4f2534e32d7f4c42d2bd04abbec6 "bibtex RR-9395" "RR-9395.out" 1615210626 2626 3f4c3a7a7242182a7cd4e73932c53fee "" "RR-9395.tex" 1615210621 16983 fcde652bf8c0ab9d55ed1334c153b88a "" "RR.sty" 1576598829 15246 43946b5fdfccfb48352ca68919374694 "" "conclusion.tex" 1610571767 1518 f57c00d241cd81d7b82ad0ba6e850c0f "" "concspec.tex" 1614099013 8454 d3e9223b71248a2726e245473556154b "" "discussion.tex" 1614098946 6840 1a63d5f5a8da4efad27ab5615cc47782 "" "evaluation.tex" 1614098921 13894 72753614cda2e89cec8ade5b70868fb0 "" "figures/overhead_copy2.eps" 1610451044 22721 21f540eb81e6cca1f9f21df0ef79d421 "" "figures/response_time_copy2.eps" 1610451050 29784 36dcdde1a1e6e38a7b25d09340c76ecd "" "figures/stabilization_time_log_copy2.eps" 1610451057 24234 3f2b57cb0056f6027da3de041ba8cb6a "" "incorrectspec.tex" 1614098749 38826 3e7b08b3a97e177be6806fa6d00c2df9 "" "intro.tex" 1610572549 18111 7f6f425d5e99f5720f3ca8a7e058bca8 "" "literature.tex" 1610571098 2681 40ab596c438753287b473e7121a27a76 "" "logo-inria.png" 1576598833 281722 4e29fdacf5c0456001f17f224a1ed2e0 "" "pagei.png" 1576598833 27515 b68e7a4241ac1809b4dd42506e3e0db9 "" "refinedspec.tex" 1614116698 52908 efb4b58a26ef0da0ea6f8e348822e6cf "" "rrpage1.png" 1576598833 48717 bcfb2e279f6d74d6a149e95e34a4f3d3 "" "slashbox.sty" 1587558992 2685 ce2190dc09125c3010b0dfd2226dd182 "" "system.tex" 1614097413 15782 52e3d1e6cd6552866fe6c151a3fd3847 "" "why3lang.sty" 1601826587 4441 9c74604513308b4d4845a39488a136af "" "why3spec.tex" 1615210538 13703 9c306e37acee6dab8e6fc1daf165f7c3 "" (generated) "RR-9395.pdf" "/Users/snair/Downloads/RR-9395/RR-9395.pdf" "RR-9395.log" "RR-9395.out" "RR-9395.aux" "/Users/snair/Downloads/RR-9395/RR-9395.log"