You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

611 lines
21 KiB

  1. This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2015/dev/Debian) (preloaded format=pdflatex 2015.1.27) 13 AUG 2015 02:09
  2. entering extended mode
  3. \write18 enabled.
  4. %&-line parsing enabled.
  5. **ICFP2015_aposteriori.tex
  6. (./ICFP2015_aposteriori.tex
  7. LaTeX2e <2014/05/01>
  8. Babel <3.9l> and hyphenation patterns for 34 languages loaded.
  9. (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
  10. Document Class: report 2014/09/29 v1.4h Standard LaTeX document class
  11. (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
  12. File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
  13. )
  14. \c@part=\count79
  15. \c@chapter=\count80
  16. \c@section=\count81
  17. \c@subsection=\count82
  18. \c@subsubsection=\count83
  19. \c@paragraph=\count84
  20. \c@subparagraph=\count85
  21. \c@figure=\count86
  22. \c@table=\count87
  23. \abovecaptionskip=\skip41
  24. \belowcaptionskip=\skip42
  25. \bibindent=\dimen102
  26. )
  27. (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
  28. Package: geometry 2010/09/12 v5.6 Page Geometry
  29. (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
  30. Package: keyval 2014/05/08 v1.15 key=value parser (DPC)
  31. \KV@toks@=\toks14
  32. )
  33. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
  34. Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
  35. Package ifpdf Info: pdfTeX in PDF mode is detected.
  36. )
  37. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
  38. Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
  39. Package ifvtex Info: VTeX not detected.
  40. )
  41. (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
  42. Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
  43. )
  44. \Gm@cnth=\count88
  45. \Gm@cntv=\count89
  46. \c@Gm@tempcnt=\count90
  47. \Gm@bindingoffset=\dimen103
  48. \Gm@wd@mp=\dimen104
  49. \Gm@odd@mp=\dimen105
  50. \Gm@even@mp=\dimen106
  51. \Gm@layoutwidth=\dimen107
  52. \Gm@layoutheight=\dimen108
  53. \Gm@layouthoffset=\dimen109
  54. \Gm@layoutvoffset=\dimen110
  55. \Gm@dimlist=\toks15
  56. )
  57. (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
  58. \lst@mode=\count91
  59. \lst@gtempboxa=\box26
  60. \lst@token=\toks16
  61. \lst@length=\count92
  62. \lst@currlwidth=\dimen111
  63. \lst@column=\count93
  64. \lst@pos=\count94
  65. \lst@lostspace=\dimen112
  66. \lst@width=\dimen113
  67. \lst@newlines=\count95
  68. \lst@lineno=\count96
  69. \lst@maxwidth=\dimen114
  70. (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
  71. File: lstmisc.sty 2014/09/06 1.5e (Carsten Heinz)
  72. \c@lstnumber=\count97
  73. \lst@skipnumbers=\count98
  74. \lst@framebox=\box27
  75. )
  76. (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
  77. File: listings.cfg 2014/09/06 1.5e listings configuration
  78. ))
  79. Package: listings 2014/09/06 1.5e (Carsten Heinz)
  80. (/usr/share/texlive/texmf-dist/tex/latex/tcolorbox/tcolorbox.sty
  81. Package: tcolorbox 2014/10/10 version 3.21 text color boxes
  82. (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
  83. (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
  84. (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
  85. \pgfutil@everybye=\toks17
  86. \pgfutil@tempdima=\dimen115
  87. \pgfutil@tempdimb=\dimen116
  88. (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-lists.t
  89. ex)) (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
  90. \pgfutil@abb=\box28
  91. (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
  92. Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
  93. ))
  94. (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
  95. Package: pgfrcs 2013/12/20 v3.0.0 (rcs-revision 1.28)
  96. ))
  97. Package: pgf 2013/12/18 v3.0.0 (rcs-revision 1.14)
  98. (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
  99. (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
  100. Package: graphicx 2014/04/25 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
  101. (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
  102. Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
  103. (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
  104. Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
  105. )
  106. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
  107. File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
  108. )
  109. Package graphics Info: Driver file: pdftex.def on input line 91.
  110. (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
  111. File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
  112. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
  113. Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
  114. )
  115. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
  116. Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
  117. )
  118. \Gread@gobject=\count99
  119. ))
  120. \Gin@req@height=\dimen117
  121. \Gin@req@width=\dimen118
  122. )
  123. (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
  124. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
  125. Package: pgfsys 2013/11/30 v3.0.0 (rcs-revision 1.47)
  126. (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
  127. \pgfkeys@pathtoks=\toks18
  128. \pgfkeys@temptoks=\toks19
  129. (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
  130. ex
  131. \pgfkeys@tmptoks=\toks20
  132. ))
  133. \pgf@x=\dimen119
  134. \pgf@y=\dimen120
  135. \pgf@xa=\dimen121
  136. \pgf@ya=\dimen122
  137. \pgf@xb=\dimen123
  138. \pgf@yb=\dimen124
  139. \pgf@xc=\dimen125
  140. \pgf@yc=\dimen126
  141. \w@pgf@writea=\write3
  142. \r@pgf@reada=\read1
  143. \c@pgf@counta=\count100
  144. \c@pgf@countb=\count101
  145. \c@pgf@countc=\count102
  146. \c@pgf@countd=\count103
  147. \t@pgf@toka=\toks21
  148. \t@pgf@tokb=\toks22
  149. \t@pgf@tokc=\toks23
  150. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
  151. File: pgf.cfg 2008/05/14 (rcs-revision 1.7)
  152. )
  153. Driver file for pgf: pgfsys-pdftex.def
  154. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
  155. File: pgfsys-pdftex.def 2013/07/18 (rcs-revision 1.33)
  156. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
  157. f
  158. File: pgfsys-common-pdf.def 2013/10/10 (rcs-revision 1.13)
  159. )))
  160. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
  161. tex
  162. File: pgfsyssoftpath.code.tex 2013/09/09 (rcs-revision 1.9)
  163. \pgfsyssoftpath@smallbuffer@items=\count104
  164. \pgfsyssoftpath@bigbuffer@items=\count105
  165. )
  166. (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
  167. tex
  168. File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4)
  169. )) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
  170. Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
  171. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
  172. File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
  173. )
  174. Package xcolor Info: Driver file: pdftex.def on input line 225.
  175. Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
  176. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
  177. Package xcolor Info: Model `RGB' extended on input line 1353.
  178. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
  179. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
  180. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
  181. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
  182. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
  183. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
  184. )
  185. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
  186. Package: pgfcore 2010/04/11 v3.0.0 (rcs-revision 1.7)
  187. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
  188. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
  189. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
  190. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
  191. \pgfmath@dimen=\dimen127
  192. \pgfmath@count=\count106
  193. \pgfmath@box=\box29
  194. \pgfmath@toks=\toks24
  195. \pgfmath@stack@operand=\toks25
  196. \pgfmath@stack@operation=\toks26
  197. )
  198. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
  199. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
  200. .tex)
  201. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
  202. ric.code.tex)
  203. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
  204. e.tex)
  205. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
  206. .code.tex)
  207. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
  208. tex)
  209. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
  210. .tex)
  211. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
  212. tex)
  213. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerari
  214. thmetics.code.tex)))
  215. (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
  216. \c@pgfmathroundto@lastzeros=\count107
  217. ))
  218. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
  219. x
  220. File: pgfcorepoints.code.tex 2013/10/07 (rcs-revision 1.27)
  221. \pgf@picminx=\dimen128
  222. \pgf@picmaxx=\dimen129
  223. \pgf@picminy=\dimen130
  224. \pgf@picmaxy=\dimen131
  225. \pgf@pathminx=\dimen132
  226. \pgf@pathmaxx=\dimen133
  227. \pgf@pathminy=\dimen134
  228. \pgf@pathmaxy=\dimen135
  229. \pgf@xx=\dimen136
  230. \pgf@xy=\dimen137
  231. \pgf@yx=\dimen138
  232. \pgf@yy=\dimen139
  233. \pgf@zx=\dimen140
  234. \pgf@zy=\dimen141
  235. )
  236. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
  237. code.tex
  238. File: pgfcorepathconstruct.code.tex 2013/10/07 (rcs-revision 1.29)
  239. \pgf@path@lastx=\dimen142
  240. \pgf@path@lasty=\dimen143
  241. )
  242. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
  243. .tex
  244. File: pgfcorepathusage.code.tex 2013/12/13 (rcs-revision 1.23)
  245. \pgf@shorten@end@additional=\dimen144
  246. \pgf@shorten@start@additional=\dimen145
  247. )
  248. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
  249. x
  250. File: pgfcorescopes.code.tex 2013/10/09 (rcs-revision 1.44)
  251. \pgfpic=\box30
  252. \pgf@hbox=\box31
  253. \pgf@layerbox@main=\box32
  254. \pgf@picture@serial@count=\count108
  255. )
  256. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
  257. ode.tex
  258. File: pgfcoregraphicstate.code.tex 2013/09/19 (rcs-revision 1.11)
  259. \pgflinewidth=\dimen146
  260. )
  261. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
  262. s.code.tex
  263. File: pgfcoretransformations.code.tex 2013/10/10 (rcs-revision 1.17)
  264. \pgf@pt@x=\dimen147
  265. \pgf@pt@y=\dimen148
  266. \pgf@pt@temp=\dimen149
  267. )
  268. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
  269. File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3)
  270. )
  271. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
  272. ex
  273. File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2)
  274. )
  275. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
  276. .code.tex
  277. File: pgfcorepathprocessing.code.tex 2013/09/09 (rcs-revision 1.9)
  278. )
  279. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
  280. x
  281. File: pgfcorearrows.code.tex 2013/11/07 (rcs-revision 1.40)
  282. \pgfarrowsep=\dimen150
  283. )
  284. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
  285. File: pgfcoreshade.code.tex 2013/07/15 (rcs-revision 1.15)
  286. \pgf@max=\dimen151
  287. \pgf@sys@shading@range@num=\count109
  288. )
  289. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
  290. File: pgfcoreimage.code.tex 2013/07/15 (rcs-revision 1.18)
  291. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
  292. tex
  293. File: pgfcoreexternal.code.tex 2013/07/15 (rcs-revision 1.20)
  294. \pgfexternal@startupbox=\box33
  295. ))
  296. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
  297. x
  298. File: pgfcorelayers.code.tex 2013/07/18 (rcs-revision 1.7)
  299. )
  300. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
  301. ode.tex
  302. File: pgfcoretransparency.code.tex 2013/09/30 (rcs-revision 1.5)
  303. )
  304. (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
  305. tex
  306. File: pgfcorepatterns.code.tex 2013/11/07 (rcs-revision 1.5)
  307. )))
  308. (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
  309. File: pgfmoduleshapes.code.tex 2013/10/31 (rcs-revision 1.34)
  310. \pgfnodeparttextbox=\box34
  311. ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
  312. File: pgfmoduleplot.code.tex 2013/07/31 (rcs-revision 1.12)
  313. )
  314. (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
  315. .sty
  316. Package: pgfcomp-version-0-65 2007/07/03 v3.0.0 (rcs-revision 1.7)
  317. \pgf@nodesepstart=\dimen152
  318. \pgf@nodesepend=\dimen153
  319. )
  320. (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
  321. .sty
  322. Package: pgfcomp-version-1-18 2007/07/23 v3.0.0 (rcs-revision 1.1)
  323. )) (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
  324. Package: verbatim 2014/10/28 v1.5q LaTeX2e package for verbatim enhancements
  325. \every@verbatim=\toks27
  326. \verbatim@line=\toks28
  327. \verbatim@in@stream=\read2
  328. )
  329. (/usr/share/texlive/texmf-dist/tex/latex/environ/environ.sty
  330. Package: environ 2014/05/04 v0.3 A new way to define environments
  331. (/usr/share/texlive/texmf-dist/tex/latex/trimspaces/trimspaces.sty
  332. Package: trimspaces 2009/09/17 v1.1 Trim spaces around a token list
  333. )
  334. \@envbody=\toks29
  335. )
  336. (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty
  337. Package: etoolbox 2011/01/03 v2.1 e-TeX tools for LaTeX
  338. (/usr/share/texlive/texmf-dist/tex/latex/etex-pkg/etex.sty
  339. Package: etex 1998/03/26 v2.0 eTeX basic definition package (PEB)
  340. \et@xins=\count110
  341. )
  342. \etb@tempcnta=\count111
  343. )
  344. \tcb@titlebox=\box35
  345. \tcb@upperbox=\box36
  346. \tcb@lowerbox=\box37
  347. \tcb@phantombox=\box38
  348. \c@tcbbreakpart=\count112
  349. \c@tcblayer=\count113
  350. \tcb@temp=\box39
  351. \tcb@temp=\box40
  352. \tcb@temp=\box41
  353. \tcb@temp=\box42
  354. \tcb@out=\write4
  355. )
  356. (/usr/share/texlive/texmf-dist/tex/latex/minted/minted.sty
  357. Package: minted 2011/09/17 v1.7 Yet another Pygments shim for LaTeX
  358. (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty
  359. Package: fancyvrb 2008/02/07
  360. Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix
  361. <2008/02/07> (tvz)
  362. \FV@CodeLineNo=\count114
  363. \FV@InFile=\read3
  364. \FV@TabBox=\box43
  365. \c@FancyVerbLine=\count115
  366. \FV@StepNumber=\count116
  367. \FV@OutFile=\write5
  368. ) (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty
  369. Package: float 2001/11/08 v1.3d Float enhancements (AL)
  370. \c@float@type=\count117
  371. \float@exts=\toks30
  372. \float@box=\box44
  373. \@float@everytoks=\toks31
  374. \@floatcapt=\box45
  375. )
  376. (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
  377. Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC)
  378. )
  379. (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
  380. Package: calc 2014/10/28 v4.3 Infix arithmetic (KKT,FJ)
  381. \calc@Acount=\count118
  382. \calc@Bcount=\count119
  383. \calc@Adimen=\dimen154
  384. \calc@Bdimen=\dimen155
  385. \calc@Askip=\skip43
  386. \calc@Bskip=\skip44
  387. LaTeX Info: Redefining \setlength on input line 75.
  388. LaTeX Info: Redefining \addtolength on input line 76.
  389. \calc@Ccount=\count120
  390. \calc@Cskip=\skip45
  391. )
  392. (/usr/share/texlive/texmf-dist/tex/latex/ifplatform/ifplatform.sty
  393. Package: ifplatform 2010/10/22 v0.4 Testing for the operating system
  394. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
  395. Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
  396. )
  397. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
  398. Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
  399. Package ifluatex Info: LuaTeX not detected.
  400. )
  401. Package pdftexcmds Info: LuaTeX not detected.
  402. Package pdftexcmds Info: \pdf@primitive is available.
  403. Package pdftexcmds Info: \pdf@ifprimitive is available.
  404. Package pdftexcmds Info: \pdfdraftmode found.
  405. )
  406. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/catchfile.sty
  407. Package: catchfile 2011/03/01 v1.6 Catch the contents of a file (HO)
  408. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
  409. Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
  410. Package etexcmds Info: Could not find \expanded.
  411. (etexcmds) That can mean that you are not using pdfTeX 1.50 or
  412. (etexcmds) that some package has redefined \expanded.
  413. (etexcmds) In the latter case, load this package earlier.
  414. ))
  415. runsystem(uname -s > "ICFP2015_aposteriori.w18")...executed.
  416. (./ICFP2015_aposteriori.w18)
  417. runsystem(rm -- "ICFP2015_aposteriori.w18")...executed.
  418. )
  419. \minted@bgbox=\box46
  420. \minted@code=\write6
  421. \@float@every@listing=\toks32
  422. \c@listing=\count121
  423. )
  424. runsystem(which pygmentize && touch ICFP2015_aposteriori.aex)...executed.
  425. runsystem(rm ICFP2015_aposteriori.aex)...executed.
  426. (./ICFP2015_aposteriori.aux)
  427. \openout1 = `ICFP2015_aposteriori.aux'.
  428. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8.
  429. LaTeX Font Info: ... okay on input line 8.
  430. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8.
  431. LaTeX Font Info: ... okay on input line 8.
  432. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8.
  433. LaTeX Font Info: ... okay on input line 8.
  434. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8.
  435. LaTeX Font Info: ... okay on input line 8.
  436. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8.
  437. LaTeX Font Info: ... okay on input line 8.
  438. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8.
  439. LaTeX Font Info: ... okay on input line 8.
  440. *geometry* driver: auto-detecting
  441. *geometry* detected driver: pdftex
  442. *geometry* verbose mode - [ preamble ] result:
  443. * driver: pdftex
  444. * paper: a4paper
  445. * layout: <same size as paper>
  446. * layoutoffset:(h,v)=(0.0pt,0.0pt)
  447. * modes:
  448. * h-part:(L,W,R)=(71.13188pt, 455.24411pt, 71.13188pt)
  449. * v-part:(T,H,B)=(101.40665pt, 591.5302pt, 152.11pt)
  450. * \paperwidth=597.50787pt
  451. * \paperheight=845.04684pt
  452. * \textwidth=455.24411pt
  453. * \textheight=591.5302pt
  454. * \oddsidemargin=-1.1381pt
  455. * \evensidemargin=-1.1381pt
  456. * \topmargin=-7.86334pt
  457. * \headheight=12.0pt
  458. * \headsep=25.0pt
  459. * \topskip=10.0pt
  460. * \footskip=30.0pt
  461. * \marginparwidth=57.0pt
  462. * \marginparsep=11.0pt
  463. * \columnsep=10.0pt
  464. * \skip\footins=9.0pt plus 4.0pt minus 2.0pt
  465. * \hoffset=0.0pt
  466. * \voffset=0.0pt
  467. * \mag=1000
  468. * \@twocolumnfalse
  469. * \@twosidefalse
  470. * \@mparswitchfalse
  471. * \@reversemarginfalse
  472. * (1in=72.27pt=25.4mm, 1cm=28.453pt)
  473. \c@lstlisting=\count122
  474. ABD: EveryShipout initializing macros
  475. (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
  476. [Loading MPS to PDF converter (version 2006.09.02).]
  477. \scratchcounter=\count123
  478. \scratchdimen=\dimen156
  479. \scratchbox=\box47
  480. \nofMPsegments=\count124
  481. \nofMParguments=\count125
  482. \everyMPshowfont=\toks33
  483. \MPscratchCnt=\count126
  484. \MPscratchDim=\dimen157
  485. \MPnumerator=\count127
  486. \makeMPintoPDFobject=\count128
  487. \everyMPtoPDFconversion=\toks34
  488. ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
  489. Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
  490. (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
  491. Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
  492. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
  493. Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
  494. ))
  495. (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
  496. Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
  497. (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
  498. Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
  499. ))
  500. Package grfext Info: Graphics extension search list:
  501. (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
  502. G,.JBIG2,.JB2,.eps]
  503. (grfext) \AppendGraphicsExtensions on input line 452.
  504. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
  505. File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
  506. e
  507. ))
  508. runsystem(pygmentize -S default -f latex > ICFP2015_aposteriori.pyg)...executed
  509. .
  510. (./ICFP2015_aposteriori.pyg)
  511. ! LaTeX Error: Environment haskellcode undefined.
  512. See the LaTeX manual or LaTeX Companion for explanation.
  513. Type H <return> for immediate help.
  514. ...
  515. l.9 \begin{haskellcode}
  516. Your command was ignored.
  517. Type I <command> <return> to replace it with another command,
  518. or <return> to continue without it.
  519. ! You can't use `macro parameter character #' in horizontal mode.
  520. l.11 {-#
  521. LANGUAGE QuasiQuotes #-}
  522. Sorry, but I'm not programmed to handle this case;
  523. I'll just pretend that you didn't ask for it.
  524. If you're in the wrong mode, you might be able to
  525. return to the right one by typing `I}' or `I$' or `I\par'.
  526. ! You can't use `macro parameter character #' in horizontal mode.
  527. l.11 {-# LANGUAGE QuasiQuotes #
  528. -}
  529. Sorry, but I'm not programmed to handle this case;
  530. I'll just pretend that you didn't ask for it.
  531. If you're in the wrong mode, you might be able to
  532. return to the right one by typing `I}' or `I$' or `I\par'.
  533. ! LaTeX Error: \begin{document} ended by \end{haskellcode}.
  534. See the LaTeX manual or LaTeX Companion for explanation.
  535. Type H <return> for immediate help.
  536. ...
  537. l.27 \end{haskellcode}
  538. Your command was ignored.
  539. Type I <command> <return> to replace it with another command,
  540. or <return> to continue without it.
  541. [1
  542. {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
  543. (./ICFP2015_aposteriori.aux) )
  544. Here is how much of TeX's memory you used:
  545. 12949 strings out of 494329
  546. 244860 string characters out of 6162864
  547. 292374 words of memory out of 5000000
  548. 15986 multiletter control sequences out of 15000+600000
  549. 3640 words of font info for 14 fonts, out of 8000000 for 9000
  550. 417 hyphenation exceptions out of 8191
  551. 54i,5n,73p,842b,219s stack positions out of 5000i,500n,10000p,200000b,80000s
  552. </usr/share/texlive/texmf-dist/fonts/type1/public
  553. /amsfonts/cm/cmr10.pfb>
  554. Output written on ICFP2015_aposteriori.pdf (1 page, 19840 bytes).
  555. PDF statistics:
  556. 15 PDF objects out of 1000 (max. 8388607)
  557. 10 compressed objects within 1 object stream
  558. 0 named destinations out of 1000 (max. 500000)
  559. 13 words of extra memory for PDF output out of 10000 (max. 10000000)