This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015) (preloaded format=pdflatex 2015.11.19)  1 JUN 2016 12:21
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**duality.tex
(./duality.tex
LaTeX2e <2015/10/01> patch level 2
Babel <3.9m> and hyphenation patterns for 21 languages loaded.
(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/scrartcl.cls
Document Class: scrartcl 2015/10/03 v3.19a KOMA-Script document class (article)

(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/scrkbase.sty
Package: scrkbase 2015/10/03 v3.19a KOMA-Script package (KOMA-Script-dependent 
basics and keyval usage)

(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/scrbase.sty
Package: scrbase 2015/10/03 v3.19a KOMA-Script package (KOMA-Script-independent
 basics and keyval usage)

(/opt/texlive/2015/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks14
)
(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/scrlfile.sty
Package: scrlfile 2015/10/03 v3.19a KOMA-Script package (loading files)

Package scrlfile, 2015/10/03 v3.19a KOMA-Script package (loading files)
                  Copyright (C) Markus Kohm

))) (/opt/texlive/2015/texmf-dist/tex/latex/koma-script/tocbasic.sty
Package: tocbasic 2015/10/03 v3.19a KOMA-Script package (handling toc-files)
)
Package tocbasic Info: omitting babel extension for `toc'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `toc' on input line 123.
Package tocbasic Info: omitting babel extension for `lof'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `lof' on input line 124.
Package tocbasic Info: omitting babel extension for `lot'
(tocbasic)             because of feature `nobabel' available
(tocbasic)             for `lot' on input line 125.
Class scrartcl Info: File `scrsize11pt.clo' used instead of
(scrartcl)           file `scrsize11.clo' to setup font sizes on input line 203
3.

(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/scrsize11pt.clo
File: scrsize11pt.clo 2015/10/03 v3.19a KOMA-Script font size class option (11p
t)
)
(/opt/texlive/2015/texmf-dist/tex/latex/koma-script/typearea.sty
Package: typearea 2015/10/03 v3.19a KOMA-Script package (type area)

Package typearea, 2015/10/03 v3.19a KOMA-Script package (type area)
                  Copyright (C) Frank Neukam, 1992-1994
                  Copyright (C) Markus Kohm, 1994-

\ta@bcor=\skip41
\ta@div=\count79
\ta@hblk=\skip42
\ta@vblk=\skip43
\ta@temp=\skip44
\footheight=\skip45
Package typearea Info: These are the values describing the layout:
(typearea)             DIV  = 10
(typearea)             BCOR = 0.0pt
(typearea)             \paperwidth      = 597.50793pt
(typearea)              \textwidth      = 418.25555pt
(typearea)              DIV departure   = -6%
(typearea)              \evensidemargin = 17.3562pt
(typearea)              \oddsidemargin  = 17.3562pt
(typearea)             \paperheight     = 845.04694pt
(typearea)              \textheight     = 595.80026pt
(typearea)              \topmargin      = -25.16531pt
(typearea)              \headheight     = 17.0pt
(typearea)              \headsep        = 20.40001pt
(typearea)              \topskip        = 11.0pt
(typearea)              \footskip       = 47.6pt
(typearea)              \baselineskip   = 13.6pt
(typearea)              on input line 1509.
)
\c@part=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
LaTeX Info: Redefining \textsubscript on input line 3906.
\abovecaptionskip=\skip46
\belowcaptionskip=\skip47
\c@pti@nb@sid@b@x=\box26
\c@figure=\count86
\c@table=\count87
\bibindent=\dimen102
) (/opt/texlive/2015/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2010/09/12 v5.6 Page Geometry

(/opt/texlive/2015/texmf-dist/tex/generic/oberdiek/ifpdf.sty
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in PDF mode is detected.
)
(/opt/texlive/2015/texmf-dist/tex/generic/oberdiek/ifvtex.sty
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
)
(/opt/texlive/2015/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
\Gm@cnth=\count88
\Gm@cntv=\count89
\c@Gm@tempcnt=\count90
\Gm@bindingoffset=\dimen103
\Gm@wd@mp=\dimen104
\Gm@odd@mp=\dimen105
\Gm@even@mp=\dimen106
\Gm@layoutwidth=\dimen107
\Gm@layoutheight=\dimen108
\Gm@layouthoffset=\dimen109
\Gm@layoutvoffset=\dimen110
\Gm@dimlist=\toks15
)
(/opt/texlive/2015/texmf-dist/tex/latex/preprint/fullpage.sty
Package: fullpage 1999/02/23 1.1 (PWD)
\FP@margin=\skip48
)
(/opt/texlive/2015/texmf-dist/tex/latex/cmbright/cmbright.sty
Package: cmbright 2005/04/13 v8.1 (WaS)
LaTeX Font Info:    Redeclaring symbol font `operators' on input line 29.
LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
(Font)                  OT1/cmr/m/n --> OT1/cmbr/m/n on input line 29.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/cmbr/m/n on input line 29.
LaTeX Font Info:    Redeclaring symbol font `letters' on input line 30.
LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
(Font)                  OML/cmm/m/it --> OML/cmbrm/m/it on input line 30.
LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
(Font)                  OML/cmm/b/it --> OML/cmbrm/m/it on input line 30.
LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
(Font)                  OML/cmbrm/m/it --> OML/cmbrm/b/it on input line 31.
LaTeX Font Info:    Redeclaring symbol font `symbols' on input line 32.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
(Font)                  OMS/cmsy/m/n --> OMS/cmbrs/m/n on input line 32.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
(Font)                  OMS/cmsy/b/n --> OMS/cmbrs/m/n on input line 32.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 33.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
(Font)                  OT1/cmr/m/it --> OT1/cmbr/m/sl on input line 33.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/cmr/bx/it --> OT1/cmbr/m/sl on input line 33.
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 34.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
(Font)                  OT1/cmr/bx/n --> OT1/cmbr/bx/n on input line 34.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/cmbr/bx/n on input line 34.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 35.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
(Font)                  OT1/cmtt/m/n --> OT1/cmtl/m/n on input line 35.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
(Font)                  OT1/cmtt/m/n --> OT1/cmtl/m/n on input line 35.
LaTeX Font Info:    Redeclaring math symbol \alpha on input line 37.
LaTeX Font Info:    Redeclaring math symbol \beta on input line 38.
LaTeX Font Info:    Redeclaring math symbol \gamma on input line 39.
LaTeX Font Info:    Redeclaring math symbol \delta on input line 40.
LaTeX Font Info:    Redeclaring math symbol \epsilon on input line 41.
LaTeX Font Info:    Redeclaring math symbol \zeta on input line 42.
LaTeX Font Info:    Redeclaring math symbol \eta on input line 43.
LaTeX Font Info:    Redeclaring math symbol \theta on input line 44.
LaTeX Font Info:    Redeclaring math symbol \iota on input line 45.
LaTeX Font Info:    Redeclaring math symbol \kappa on input line 46.
LaTeX Font Info:    Redeclaring math symbol \lambda on input line 47.
LaTeX Font Info:    Redeclaring math symbol \mu on input line 48.
LaTeX Font Info:    Redeclaring math symbol \nu on input line 49.
LaTeX Font Info:    Redeclaring math symbol \xi on input line 50.
LaTeX Font Info:    Redeclaring math symbol \pi on input line 51.
LaTeX Font Info:    Redeclaring math symbol \rho on input line 52.
LaTeX Font Info:    Redeclaring math symbol \sigma on input line 53.
LaTeX Font Info:    Redeclaring math symbol \tau on input line 54.
LaTeX Font Info:    Redeclaring math symbol \upsilon on input line 55.
LaTeX Font Info:    Redeclaring math symbol \phi on input line 56.
LaTeX Font Info:    Redeclaring math symbol \chi on input line 57.
LaTeX Font Info:    Redeclaring math symbol \psi on input line 58.
LaTeX Font Info:    Redeclaring math symbol \omega on input line 59.
LaTeX Font Info:    Redeclaring math symbol \varepsilon on input line 60.
LaTeX Font Info:    Redeclaring math symbol \vartheta on input line 61.
LaTeX Font Info:    Redeclaring math symbol \varpi on input line 62.
LaTeX Font Info:    Redeclaring math symbol \varrho on input line 63.
LaTeX Font Info:    Redeclaring math symbol \varsigma on input line 64.
LaTeX Font Info:    Redeclaring math symbol \varphi on input line 65.
LaTeX Info: Redefining \LaTeX on input line 129.
LaTeX Info: Redefining \LaTeXe on input line 139.
LaTeX Font Info:    Try loading font information for OT1+cmbr on input line 144
.

(/opt/texlive/2015/texmf-dist/tex/latex/cmbright/ot1cmbr.fd
File: ot1cmbr.fd 2005/04/13 v8.1 (WaS)
))
(/opt/texlive/2015/texmf-dist/tex/latex/graphics/color.sty
Package: color 2016/01/03 v1.1b Standard LaTeX Color (DPC)

(/opt/texlive/2015/texmf-dist/tex/latex/latexconfig/color.cfg
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: pdftex.def on input line 143.

(/opt/texlive/2015/texmf-dist/tex/latex/pdftex-def/pdftex.def
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX

(/opt/texlive/2015/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
)
(/opt/texlive/2015/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
)
\Gread@gobject=\count91
)
(/opt/texlive/2015/texmf-dist/tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 2015/12/30 v3.0k Driver-dependent file (DPC,SPQR)
))
(/opt/texlive/2015/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count92
\lst@gtempboxa=\box27
\lst@token=\toks16
\lst@length=\count93
\lst@currlwidth=\dimen111
\lst@column=\count94
\lst@pos=\count95
\lst@lostspace=\dimen112
\lst@width=\dimen113
\lst@newlines=\count96
\lst@lineno=\count97
\lst@maxwidth=\dimen114

(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
\c@lstnumber=\count98
\lst@skipnumbers=\count99
\lst@framebox=\box28
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2015/06/04 1.6 listings configuration
))
Package: listings 2015/06/04 1.6 (Carsten Heinz)

(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty
File: lstlang1.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty
File: lstlang2.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang3.sty
File: lstlang3.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty
File: lstlang1.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty
File: lstlang2.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang3.sty
File: lstlang3.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang1.sty
File: lstlang1.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang2.sty
File: lstlang2.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstlang3.sty
File: lstlang3.sty 2015/06/04 1.6 listings language file
)
(/opt/texlive/2015/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2015/06/04 1.6 (Carsten Heinz)
) (./duality.aux)
\openout1 = `duality.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.

*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
*geometry* verbose mode - [ preamble ] result:
* driver: pdftex
* paper: letterpaper
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes: 
* h-part:(L,W,R)=(92.14519pt, 430.00462pt, 92.14519pt)
* v-part:(T,H,B)=(95.39737pt, 556.47656pt, 143.09605pt)
* \paperwidth=614.295pt
* \paperheight=794.96999pt
* \textwidth=469.75502pt
* \textheight=602.83pt
* \oddsidemargin=0.0pt
* \evensidemargin=0.0pt
* \topmargin=0.0pt
* \headheight=0.0pt
* \headsep=0.0pt
* \topskip=11.0pt
* \footskip=47.6pt
* \marginparwidth=59.7508pt
* \marginparsep=12.8401pt
* \columnsep=10.0pt
* \skip\footins=10.0pt plus 4.0pt minus 2.0pt
* \hoffset=0.0pt
* \voffset=0.0pt
* \mag=1000
* \@twocolumnfalse
* \@twosidefalse
* \@mparswitchfalse
* \@reversemarginfalse
* (1in=72.27pt=25.4mm, 1cm=28.453pt)

(/opt/texlive/2015/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count100
\scratchdimen=\dimen115
\scratchbox=\box29
\nofMPsegments=\count101
\nofMParguments=\count102
\everyMPshowfont=\toks17
\MPscratchCnt=\count103
\MPscratchDim=\dimen116
\MPnumerator=\count104
\makeMPintoPDFobject=\count105
\everyMPtoPDFconversion=\toks18
)
\c@lstlisting=\count106
LaTeX Font Info:    Try loading font information for OML+cmbrm on input line 45
.
 (/opt/texlive/2015/texmf-dist/tex/latex/cmbright/omlcmbrm.fd
File: omlcmbrm.fd 2005/04/13 v8.1 (WaS)
)
LaTeX Font Info:    Try loading font information for OMS+cmbrs on input line 45
.

(/opt/texlive/2015/texmf-dist/tex/latex/cmbright/omscmbrs.fd
File: omscmbrs.fd 2005/04/13 v8.1 (WaS)
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 45.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 45.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 45.
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 52.

(/opt/texlive/2015/texmf-dist/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
)
LaTeX Font Info:    Font shape `OT1/pcr/bx/n' in size <10.95> not available
(Font)              Font shape `OT1/pcr/b/n' tried instead on input line 53.
 [1

{/opt/texlive/2015/texmf-var/fonts/map/pdftex/updmap/pdftex.map}

pdfTeX warning: pdflatex: pop empty color page stack 0
]
Overfull \hbox (13.13972pt too wide) in paragraph at lines 197--197
[]\OT1/pcr/m/n/10.95 {- .. -} : { first: a * second: b }[] 
 []


Overfull \hbox (19.70972pt too wide) in paragraph at lines 230--230
[]\OT1/pcr/m/n/10.95 f : [ Left Int + Right Bool ] -> Int[] 
 []


Overfull \hbox (26.27971pt too wide) in paragraph at lines 230--230
[]        \OT1/pcr/m/n/10.95 Right b -> if b then 1 else 0[] 
 []


Overfull \hbox (32.8497pt too wide) in paragraph at lines 239--239
[]\OT1/pcr/m/n/10.95 f : Int -> { First Int * Second Bool }[] 
 []

[2] [3] (./duality.aux) ) 
Here is how much of TeX's memory you used:
 4713 strings out of 494466
 73957 string characters out of 6168833
 267846 words of memory out of 5000000
 7992 multiletter control sequences out of 15000+600000
 8320 words of font info for 30 fonts, out of 8000000 for 9000
 319 hyphenation exceptions out of 8191
 41i,11n,67p,255b,1064s stack positions out of 5000i,500n,10000p,200000b,80000s
{/opt/texlive/2015/texmf-dist/fonts/enc/dvips/base/8r.
enc} </home/gdritter/.texlive2015/texmf-var/fonts/pk/ljfour/public/cmbright/cmb
r10.657pk> </home/gdritter/.texlive2015/texmf-var/fonts/pk/ljfour/public/cmbrig
ht/cmbrbx10.864pk></opt/texlive/2015/texmf-dist/fonts/type1/urw/courier/ucrb8a.
pfb></opt/texlive/2015/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb>
Output written on duality.pdf (3 pages, 45670 bytes).
PDF statistics:
 94 PDF objects out of 1000 (max. 8388607)
 23 compressed objects within 1 object stream
 0 named destinations out of 1000 (max. 500000)
 1 words of extra memory for PDF output out of 10000 (max. 10000000)

