-This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.3.31) 10 APR 2015 16:03
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.3.31) 10 APR 2015 18:30
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
(Font) Font shape `T1/ptm/b/sc' tried instead on input line 176.
[2 <./figures/specworkflow.pdf>])
(./formalization.tex
-Underfull \hbox (badness 4981) in paragraph at lines 93--99
-\T1/ptm/b/n/9 Hoisting loads: $\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 X; Y; X \OMS/cm
-sy/m/n/9 2 [] ^ \OML/cmm/m/it/9 Y \OMS/cmsy/m/n/9 2
+Underfull \hbox (badness 1975) in paragraph at lines 115--125
+[]$\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 X; Y; X \OMS/cmsy/m/n/9 2 [] ^ \OML/cmm/m/i
+t/9 Y \OMS/cmsy/m/n/9 2 [] ^
[]
) (./paper.bbl [3])
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 182.
- [4
-
-]
+ [4]
Package atveryend Info: Empty hook `AfterLastShipout' on input line 182.
(./paper.aux)
Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 182.
Here is how much of TeX's memory you used:
9020 strings out of 493308
129583 string characters out of 6140092
- 256583 words of memory out of 5000000
+ 257583 words of memory out of 5000000
12319 multiletter control sequences out of 15000+600000
67735 words of font info for 70 fonts, out of 8000000 for 9000
957 hyphenation exceptions out of 8191
/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/font
s/type1/urw/times/utmri8a.pfb>
-Output written on paper.pdf (4 pages, 151101 bytes).
+Output written on paper.pdf (4 pages, 152256 bytes).
PDF statistics:
64 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)