correctness-model/writeup/paper.log

   1 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
   2 entering extended mode
   3  restricted \write18 enabled.
   4  %&-line parsing enabled.
   5 **paper.tex
   6 (./paper.tex
   7 LaTeX2e <2011/06/27>
   8 Babel <3.9h> and hyphenation patterns for 78 languages loaded.
   9 (./sig-alternate.cls
  10 (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
  11 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
  12
  13 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
  14 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
  15
  16 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
  17 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
  18 \KV@toks@=\toks14
  19 )
  20 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
  21 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
  22
  23 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
  24 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
  25 )
  26 (/etc/texmf/tex/latex/config/graphics.cfg
  27 File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live
  28 )
  29 Package graphics Info: Driver file: pdftex.def on input line 91.
  30
  31 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
  32 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
  33
  34 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
  35 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
  36 )
  37 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
  38 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
  39 )
  40 \Gread@gobject=\count79
  41 ))
  42 \Gin@req@height=\dimen102
  43 \Gin@req@width=\dimen103
  44 )
  45 \epsfxsize=\dimen104
  46 \epsfysize=\dimen105
  47 )
  48 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
  49 Package: amssymb 2013/01/14 v3.01 AMS font symbols
  50
  51 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
  52 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
  53 \@emptytoks=\toks15
  54 \symAMSa=\mathgroup4
  55 \symAMSb=\mathgroup5
  56 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
  57 (Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
  58 ))
  59 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
  60 Package: amsmath 2013/01/14 v2.14 AMS math features
  61 \@mathmargin=\skip41
  62
  63 For additional information on amsmath, use the `?' option.
  64 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
  65 Package: amstext 2000/06/29 v2.01
  66
  67 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
  68 File: amsgen.sty 1999/11/30 v2.0
  69 \@emptytoks=\toks16
  70 \ex@=\dimen106
  71 ))
  72 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
  73 Package: amsbsy 1999/11/29 v1.2d
  74 \pmbraise@=\dimen107
  75 )
  76 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
  77 Package: amsopn 1999/12/14 v2.01 operator names
  78 )
  79 \inf@bad=\count80
  80 LaTeX Info: Redefining \frac on input line 210.
  81 \uproot@=\count81
  82 \leftroot@=\count82
  83 LaTeX Info: Redefining \overline on input line 306.
  84 \classnum@=\count83
  85 \DOTSCASE@=\count84
  86 LaTeX Info: Redefining \ldots on input line 378.
  87 LaTeX Info: Redefining \dots on input line 381.
  88 LaTeX Info: Redefining \cdots on input line 466.
  89 \Mathstrutbox@=\box26
  90 \strutbox@=\box27
  91 \big@size=\dimen108
  92 LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
  93 LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
  94 \macc@depth=\count85
  95 \c@MaxMatrixCols=\count86
  96 \dotsspace@=\muskip10
  97 \c@parentequation=\count87
  98 \dspbrk@lvl=\count88
  99 \tag@help=\toks17
 100 \row@=\count89
 101 \column@=\count90
 102 \maxfields@=\count91
 103 \andhelp@=\toks18
 104 \eqnshift@=\dimen109
 105 \alignsep@=\dimen110
 106 \tagshift@=\dimen111
 107 \tagwidth@=\dimen112
 108 \totwidth@=\dimen113
 109 \lineht@=\dimen114
 110 \@envbody=\toks19
 111 \multlinegap=\skip42
 112 \multlinetaggap=\skip43
 113 \mathdisplay@stack=\toks20
 114 LaTeX Info: Redefining \[ on input line 2665.
 115 LaTeX Info: Redefining \] on input line 2666.
 116 )
 117 Document Class 'sig-alternate' <23rd. May '12>. Modified by G.K.M. Tobin/Gerry
 118 Murray
 119 Based in part upon document Style `acmconf' <22 May 89>. Hacked 4/91 by
 120 shivers@cs.cmu.edu, 4/93 by theobald@cs.mcgill.ca
 121 Excerpts were taken from (Journal Style) 'esub2acm.cls'.
 122 ****** Bugs/comments/suggestions/technicalities to Gerry Murray -- murray@hq.ac
 123 m.org ******
 124 Questions on the style, SIGS policies, etc. to Adrienne Griscti griscti@acm.org
 125
 126 \footheight=\dimen115
 127 \@maxsep=\dimen116
 128 \@dblmaxsep=\dimen117
 129 \aucount=\count92
 130 \originalaucount=\count93
 131 \auwidth=\dimen118
 132 \auskip=\dimen119
 133 \auskipcount=\count94
 134 \auskip=\dimen120
 135 \allauboxes=\dimen121
 136 \addauthors=\toks21
 137 \addauflag=\count95
 138 \subtitletext=\toks22
 139 \savesection=\count96
 140 \sectioncntr=\count97
 141 \c@figure=\count98
 142 \c@table=\count99
 143 \titleboxnotes=\toks23
 144 \titleboxnoteflag=\count100
 145 Document Class: sig-alternate 2012/05/23 - V2.5 - based on acmproc.cls V1.3 <No
 146 v. 30 '99>
 147 (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty
 148 Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
 149 \symlasy=\mathgroup6
 150 LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
 151 (Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
 152 )
 153 \@acmtitlebox=\box28
 154 \titlenotecount=\count101
 155 \tntoks=\toks24
 156 \tntokstwo=\toks25
 157 \tntoksthree=\toks26
 158 \tntoksfour=\toks27
 159 \tntoksfive=\toks28
 160 \catcount=\count102
 161 \copyrightnotice=\toks29
 162 \conf=\toks30
 163 \confinfo=\toks31
 164 \c@part=\count103
 165 \c@section=\count104
 166 \c@subsection=\count105
 167 \c@subsubsection=\count106
 168 \c@paragraph=\count107
 169
 170 Using 'Abbrev' bibliography style
 171 LaTeX Info: Redefining \cite on input line 1211.
 172 \bibindent=\dimen122
 173 \colcntr=\count108
 174 \saveb@x=\box29
 175 \copyrtyr=\toks32
 176 \acmcopyr=\toks33
 177 \boilerplate=\toks34
 178 \copyrightetc=\toks35
 179 (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
 180 Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
 181
 182 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
 183 File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
 184 LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
 185 )
 186 LaTeX Font Info:    Try loading font information for T1+aer on input line 100.
 187
 188 (/usr/share/texlive/texmf-dist/tex/latex/ae/t1aer.fd
 189 File: t1aer.fd 1997/11/16 Font definitions for T1/aer.
 190 )))
 191 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
 192 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
 193 )
 194 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty
 195 Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS)
 196 )
 197 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 198 \Urlmuskip=\muskip11
 199 Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
 200 )
 201 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 202 \lst@mode=\count109
 203 \lst@gtempboxa=\box30
 204 \lst@token=\toks36
 205 \lst@length=\count110
 206 \lst@currlwidth=\dimen123
 207 \lst@column=\count111
 208 \lst@pos=\count112
 209 \lst@lostspace=\dimen124
 210 \lst@width=\dimen125
 211 \lst@newlines=\count113
 212 \lst@lineno=\count114
 213 \abovecaptionskip=\skip44
 214 \belowcaptionskip=\skip45
 215 \lst@maxwidth=\dimen126
 216
 217 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 218 File: lstmisc.sty 2013/08/26 1.5b (Carsten Heinz)
 219 \c@lstnumber=\count115
 220 \lst@skipnumbers=\count116
 221 \lst@framebox=\box31
 222 )
 223 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
 224 File: listings.cfg 2013/08/26 1.5b listings configuration
 225 ))
 226 Package: listings 2013/08/26 1.5b (Carsten Heinz)
 227
 228 (/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty
 229 Package: enumitem 2011/09/28 v3.5.2 Customized lists
 230 \labelindent=\skip46
 231 \enit@outerparindent=\dimen127
 232 \enit@toks=\toks37
 233 \enit@inbox=\box32
 234 \enitdp@description=\count117
 235 )
 236 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
 237 Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
 238
 239 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 240 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 241
 242
 243 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
 244 Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
 245 Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
 246 Package hobsub Info: Skipping package `infwarerr' (already loaded).
 247 Package hobsub Info: Skipping package `ltxcmds' (already loaded).
 248 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
 249 Package ifluatex Info: LuaTeX not detected.
 250 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
 251 Package ifvtex Info: VTeX not detected.
 252 Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
 253 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
 254 Package ifpdf Info: pdfTeX in PDF mode is detected.
 255 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
 256 Package etexcmds Info: Could not find \expanded.
 257 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
 258 (etexcmds)             that some package has redefined \expanded.
 259 (etexcmds)             In the latter case, load this package earlier.
 260 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
 261 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
 262 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
 263 )
 264 Package pdftexcmds Info: LuaTeX not detected.
 265 Package pdftexcmds Info: \pdf@primitive is available.
 266 Package pdftexcmds Info: \pdf@ifprimitive is available.
 267 Package pdftexcmds Info: \pdfdraftmode found.
 268 Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
 269 Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
 270 )
 271 Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
 272 Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
 273 )
 274 Package hobsub Info: Skipping package `hobsub' (already loaded).
 275 Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
 276 Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
 277 Package: xcolor-patch 2011/01/30 xcolor patch
 278 Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
 279 Package atveryend Info: \enddocument detected (standard20110627).
 280 Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
 281 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 282 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 283 )
 284 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 285 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 286 )
 287 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
 288 Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
 289 )
 290 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 291 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 292 )
 293 \@linkdim=\dimen128
 294 \Hy@linkcounter=\count118
 295 \Hy@pagecounter=\count119
 296
 297 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
 298 File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
 299 )
 300 \Hy@SavedSpaceFactor=\count120
 301
 302 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 303 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 304 )
 305 Package hyperref Info: Option `colorlinks' set `true' on input line 4319.
 306 Package hyperref Info: Option `breaklinks' set `true' on input line 4319.
 307 Package hyperref Info: Option `draft' set `true' on input line 4319.
 308 Package hyperref Info: Hyper figures OFF on input line 4443.
 309 Package hyperref Info: Link nesting OFF on input line 4448.
 310 Package hyperref Info: Hyper index ON on input line 4451.
 311 Package hyperref Info: Plain pages OFF on input line 4458.
 312 Package hyperref Info: Backreferencing OFF on input line 4463.
 313 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
 314 Package hyperref Info: Bookmarks ON on input line 4688.
 315 \c@Hy@tempcnt=\count121
 316 LaTeX Info: Redefining \url on input line 5041.
 317 \XeTeXLinkMargin=\dimen129
 318 \Fld@menulength=\count122
 319 \Field@Width=\dimen130
 320 \Fld@charsize=\dimen131
 321 Package hyperref Info: Hyper figures OFF on input line 6295.
 322 Package hyperref Info: Link nesting OFF on input line 6300.
 323 Package hyperref Info: Hyper index ON on input line 6303.
 324 Package hyperref Info: backreferencing OFF on input line 6310.
 325 Package hyperref Info: Link coloring ON on input line 6313.
 326 Package hyperref Info: Link coloring with OCG OFF on input line 6320.
 327 Package hyperref Info: PDF/A mode OFF on input line 6325.
 328 LaTeX Info: Redefining \ref on input line 6365.
 329 LaTeX Info: Redefining \pageref on input line 6369.
 330
 331
 332 Package hyperref Warning: Option `pdfpagelabels' is turned off
 333 (hyperref)                because \thepage is undefined.
 334
 335 \c@Item=\count123
 336 \c@Hfootnote=\count124
 337 )
 338
 339 Package hyperref Message: Driver (autodetected): hpdftex.
 340
 341 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
 342 File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
 343 \Fld@listcount=\count125
 344 \c@bookmark@seq@number=\count126
 345
 346 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 347 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 348 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 349 82.
 350 )
 351 \Hy@SectionHShift=\skip47
 352 )
 353 (/usr/share/texlive/texmf-dist/tex/latex/rotating/rotating.sty
 354 Package: rotating 2009/03/28 v2.16a rotated objects in LaTeX
 355
 356 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
 357 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 358 )
 359 \c@r@tfl@t=\count127
 360 \rotFPtop=\skip48
 361 \rotFPbot=\skip49
 362 \rot@float@box=\box33
 363 \rot@mess@toks=\toks38
 364 )
 365 (/usr/share/texlive/texmf-dist/tex/latex/algorithms/algorithm.sty
 366 Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro
 367 nment
 368
 369 (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty
 370 Package: float 2001/11/08 v1.3d Float enhancements (AL)
 371 \c@float@type=\count128
 372 \float@exts=\toks39
 373 \float@box=\box34
 374 \@float@everytoks=\toks40
 375 \@floatcapt=\box35
 376 )
 377 \@float@every@algorithm=\toks41
 378 \c@algorithm=\count129
 379 )
 380 (/usr/share/texlive/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty
 381 Package: algpseudocode
 382
 383 (/usr/share/texlive/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty
 384 Package: algorithmicx 2005/04/27 v1.2 Algorithmicx
 385
 386 Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style
 387 \c@ALG@line=\count130
 388 \c@ALG@rem=\count131
 389 \c@ALG@nested=\count132
 390 \ALG@tlm=\skip50
 391 \ALG@thistlm=\skip51
 392 \c@ALG@Lnr=\count133
 393 \c@ALG@blocknr=\count134
 394 \c@ALG@storecount=\count135
 395 \c@ALG@tmpcounter=\count136
 396 \ALG@tmplength=\skip52
 397 )
 398 Document Style - pseudocode environments for use with the `algorithmicx' style
 399 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty
 400 Package: xspace 2009/10/20 v1.13 Space after command names (DPC,MH)
 401 )
 402 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
 403 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
 404
 405 (/etc/texmf/tex/latex/config/color.cfg
 406 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
 407 )
 408 Package color Info: Driver file: pdftex.def on input line 130.
 409 )
 410 (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
 411 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
 412 Package textcomp Info: Sub-encoding information:
 413 (textcomp)               5 = only ISO-Adobe without \textcurrency
 414 (textcomp)               4 = 5 + \texteuro
 415 (textcomp)               3 = 4 + \textohm
 416 (textcomp)               2 = 3 + \textestimated + \textcurrency
 417 (textcomp)               1 = TS1 - \textcircled - \t
 418 (textcomp)               0 = TS1 (full)
 419 (textcomp)             Font families with sub-encoding setting implement
 420 (textcomp)             only a restricted character set as indicated.
 421 (textcomp)             Family '?' is the default used for unknown fonts.
 422 (textcomp)             See the documentation for details.
 423 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
 424
 425 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
 426 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
 427 )
 428 LaTeX Info: Redefining \oldstylenums on input line 266.
 429 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
 430 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
 431 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
 432 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
 433 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
 434 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
 435 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
 436 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
 437 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
 438 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
 439 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
 440 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
 441 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
 442 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
 443 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
 444 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
 445 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
 446 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
 447 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
 448 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
 449 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
 450 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
 451 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
 452 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
 453
 454 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
 455 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
 456 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
 457 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
 458 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
 459 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
 460 Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
 461 Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
 462 Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
 463 Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
 464 Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
 465 Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
 466 Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
 467 Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
 468 Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
 469 Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
 470 Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
 471 Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
 472 Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
 473 Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
 474 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
 475 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
 476 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
 477 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
 478 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
 479 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
 480 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
 481 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
 482 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
 483 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
 484 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
 485 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
 486 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
 487 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
 488 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
 489 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
 490 )
 491 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty
 492 File: lstlang1.sty 2013/08/26 1.5b listings language file
 493 )
 494 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty
 495 File: lstlang1.sty 2013/08/26 1.5b listings language file
 496 )
 497 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 498 File: lstmisc.sty 2013/08/26 1.5b (Carsten Heinz)
 499 )
 500
 501 LaTeX Warning: Unused global option(s):
 502     [nocopyrightspace].
 503
 504 (./paper.aux)
 505 \openout1 = `paper.aux'.
 506
 507 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 150.
 508 LaTeX Font Info:    ... okay on input line 150.
 509 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 150.
 510 LaTeX Font Info:    ... okay on input line 150.
 511 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 150.
 512 LaTeX Font Info:    ... okay on input line 150.
 513 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 150.
 514 LaTeX Font Info:    ... okay on input line 150.
 515 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 150.
 516 LaTeX Font Info:    ... okay on input line 150.
 517 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 150.
 518 LaTeX Font Info:    ... okay on input line 150.
 519 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 150.
 520 LaTeX Font Info:    ... okay on input line 150.
 521 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 150.
 522 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 150.
 523
 524  (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
 525 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 526 )
 527 LaTeX Font Info:    ... okay on input line 150.
 528 LaTeX Font Info:    Try loading font information for T1+ptm on input line 150.
 529
 530 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
 531 File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
 532 )
 533 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
 534 [Loading MPS to PDF converter (version 2006.09.02).]
 535 \scratchcounter=\count137
 536 \scratchdimen=\dimen132
 537 \scratchbox=\box36
 538 \nofMPsegments=\count138
 539 \nofMParguments=\count139
 540 \everyMPshowfont=\toks42
 541 \MPscratchCnt=\count140
 542 \MPscratchDim=\dimen133
 543 \MPnumerator=\count141
 544 \makeMPintoPDFobject=\count142
 545 \everyMPtoPDFconversion=\toks43
 546 )
 547 \c@lstlisting=\count143
 548 \AtBeginShipoutBox=\box37
 549
 550
 551 Package hyperref Warning: Height of page (\paperheight) is invalid (0.0pt),
 552 (hyperref)                using 11in.
 553
 554
 555 Package hyperref Warning: Draft mode on.
 556
 557 Package hyperref Info: Link coloring ON on input line 150.
 558 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
 559 Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
 560
 561 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
 562 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
 563 )
 564 \c@section@level=\count144
 565 )
 566 LaTeX Info: Redefining \ref on input line 150.
 567 LaTeX Info: Redefining \pageref on input line 150.
 568 LaTeX Info: Redefining \nameref on input line 150.
 569 LaTeX Font Info:    Try loading font information for U+msa on input line 162.
 570
 571 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
 572 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
 573 )
 574 LaTeX Font Info:    Try loading font information for U+msb on input line 162.
 575
 576 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
 577 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
 578 )
 579 LaTeX Font Info:    Try loading font information for U+lasy on input line 162.
 580
 581 (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
 582 File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
 583 ) (./abstract.tex)
 584 (./introduction.tex
 585 Underfull \hbox (badness 1622) in paragraph at lines 15--26
 586 []\T1/ptm/m/n/9 The C/C++ stan-dard com-mit-tee ex-tended the C and C++
 587  []
 588
 589
 590 Underfull \hbox (badness 1062) in paragraph at lines 27--38
 591 []\T1/ptm/m/n/9 Researchers have de-vel-oped tools for ex-plor-ing the be-hav-
 592  []
 593
 594
 595 Underfull \vbox (badness 7116) has occurred while \output is active []
 596
 597  [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}
 598
 599
 600 ]
 601 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <9> not available
 602 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 76.
 603 LaTeX Font Info:    Try loading font information for T1+pcr on input line 119.
 604
 605 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
 606 File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
 607 )
 608 Underfull \hbox (badness 10000) in paragraph at lines 142--163
 609 []\T1/ptm/b/n/9 Constraining Re-order-ings (Spec-i-fy-ing Syn-chro-niza-tion
 610  []
 611
 612 <figures/specworkflow.pdf, id=10, 426.59375pt x 325.215pt>
 613 File: figures/specworkflow.pdf Graphic file (type pdf)
 614
 615 <use figures/specworkflow.pdf>
 616 Package pdftex.def Info: figures/specworkflow.pdf used on input line 174.
 617 (pdftex.def)             Requested size: 149.31004pt x 113.82695pt.
 618 LaTeX Font Info:    Font shape `T1/ptm/bx/sc' in size <9> not available
 619 (Font)              Font shape `T1/ptm/b/sc' tried instead on input line 176.
 620  [2 <./figures/specworkflow.pdf>])
 621 (./formalization.tex
 622 Underfull \hbox (badness 1975) in paragraph at lines 115--125
 623 []$\OMS/cmsy/m/n/9 8\OML/cmm/m/it/9 X; Y; X \OMS/cmsy/m/n/9 2 [] ^ \OML/cmm/m/i
 624 t/9 Y \OMS/cmsy/m/n/9 2 [] ^
 625  []
 626
 627 ) (./paper.bbl [3])
 628 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 182.
 629  [4]
 630 Package atveryend Info: Empty hook `AfterLastShipout' on input line 182.
 631  (./paper.aux)
 632 Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 182.
 633 Package atveryend Info: Empty hook `AtEndAfterFileList' on input line 182.
 634 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 182.
 635  )
 636 Here is how much of TeX's memory you used:
 637  9020 strings out of 493308
 638  129583 string characters out of 6140092
 639  257583 words of memory out of 5000000
 640  12319 multiletter control sequences out of 15000+600000
 641  67735 words of font info for 70 fonts, out of 8000000 for 9000
 642  957 hyphenation exceptions out of 8191
 643  41i,12n,58p,446b,414s stack positions out of 5000i,500n,10000p,200000b,80000s
 644 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/share/texliv
 645 e/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/texmf
 646 -dist/fonts/type1/public/amsfonts/cm/cmmi9.pfb></usr/share/texlive/texmf-dist/f
 647 onts/type1/public/amsfonts/cm/cmr9.pfb></usr/share/texlive/texmf-dist/fonts/typ
 648 e1/public/amsfonts/cm/cmsy9.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/
 649 courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvb
 650 8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr
 651 /share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
 652 texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/font
 653 s/type1/urw/times/utmri8a.pfb>
 654 Output written on paper.pdf (4 pages, 152256 bytes).
 655 PDF statistics:
 656  64 PDF objects out of 1000 (max. 8388607)
 657  0 named destinations out of 1000 (max. 500000)
 658  6 words of extra memory for PDF output out of 10000 (max. 10000000)
 659