thesis.log

This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.9.25)  24 AUG 2015 12:28
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**thesis.tex
(./thesis.tex
LaTeX2e <2011/06/27>
Babel <3.9h> and hyphenation patterns for 4 languages loaded.
(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/bk12.clo
File: bk12.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (./preamble.tex
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen103
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count88
LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count89
\leftroot@=\count90
LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count91
\DOTSCASE@=\count92
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
\macc@depth=\count93
\c@MaxMatrixCols=\count94
\dotsspace@=\muskip10
\c@parentequation=\count95
\dspbrk@lvl=\count96
\tag@help=\toks15
\row@=\count97
\column@=\count98
\maxfields@=\count99
\andhelp@=\toks16
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks19
\thm@bodyfont=\toks20
\thm@headfont=\toks21
\thm@notefont=\toks22
\thm@headpunct=\toks23
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks24
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty
\fancy@headwidth=\skip49
\f@ncyO@elh=\skip50
\f@ncyO@erh=\skip51
\f@ncyO@olh=\skip52
\f@ncyO@orh=\skip53
\f@ncyO@elf=\skip54
\f@ncyO@erf=\skip55
\f@ncyO@olf=\skip56
\f@ncyO@orf=\skip57
)
(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
Package: setspace 2011/12/19 v6.7a set line spacing
)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2010/09/12 v5.6 Page Geometry

(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks25
)
(/usr/share/texlive/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.
)
(/usr/share/texlive/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.
)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
\Gm@cnth=\count100
\Gm@cntv=\count101
\c@Gm@tempcnt=\count102
\Gm@bindingoffset=\dimen112
\Gm@wd@mp=\dimen113
\Gm@odd@mp=\dimen114
\Gm@even@mp=\dimen115
\Gm@layoutwidth=\dimen116
\Gm@layoutheight=\dimen117
\Gm@layouthoffset=\dimen118
\Gm@layoutvoffset=\dimen119
\Gm@dimlist=\toks26
)
(/usr/share/texlive/texmf-dist/tex/latex/tocloft/tocloft.sty
Package: tocloft 2013/05/02 v2.3f parameterised ToC, etc., typesetting
Package tocloft Info: The document has chapter divisions on input line 44.
\cftparskip=\skip58
\cftbeforetoctitleskip=\skip59
\cftaftertoctitleskip=\skip60
\cftbeforepartskip=\skip61
\cftpartnumwidth=\skip62
\cftpartindent=\skip63
\cftbeforechapskip=\skip64
\cftchapindent=\skip65
\cftchapnumwidth=\skip66
\cftbeforesecskip=\skip67
\cftsecindent=\skip68
\cftsecnumwidth=\skip69
\cftbeforesubsecskip=\skip70
\cftsubsecindent=\skip71
\cftsubsecnumwidth=\skip72
\cftbeforesubsubsecskip=\skip73
\cftsubsubsecindent=\skip74
\cftsubsubsecnumwidth=\skip75
\cftbeforeparaskip=\skip76
\cftparaindent=\skip77
\cftparanumwidth=\skip78
\cftbeforesubparaskip=\skip79
\cftsubparaindent=\skip80
\cftsubparanumwidth=\skip81
\cftbeforeloftitleskip=\skip82
\cftafterloftitleskip=\skip83
\cftbeforefigskip=\skip84
\cftfigindent=\skip85
\cftfignumwidth=\skip86
\c@lofdepth=\count103
\c@lotdepth=\count104
\cftbeforelottitleskip=\skip87
\cftafterlottitleskip=\skip88
\cftbeforetabskip=\skip89
\cfttabindent=\skip90
\cfttabnumwidth=\skip91
)
(/usr/share/texlive/texmf-dist/tex/latex/sectsty/sectsty.sty
Package: sectsty 2002/02/25 v2.0.2 Commands to change all sectional heading sty
les
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
)
Package graphics Info: Driver file: pdftex.def on input line 91.

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

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
)
\Gread@gobject=\count105
))
\Gin@req@height=\dimen120
\Gin@req@width=\dimen121
)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip11
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
(/usr/share/texlive/texmf-dist/tex/latex/caption/caption.sty
Package: caption 2013/05/02 v3.3-89 Customizing captions (AR)

(/usr/share/texlive/texmf-dist/tex/latex/caption/caption3.sty
Package: caption3 2013/05/02 v1.6-88 caption3 kernel (AR)
Package caption3 Info: TeX engine: e-TeX on input line 57.
\captionmargin=\dimen122
\captionmargin@=\dimen123
\captionwidth=\dimen124
\caption@tempdima=\dimen125
\caption@indent=\dimen126
\caption@parindent=\dimen127
\caption@hangindent=\dimen128
)
\c@ContinuedFloat=\count106
)
\c@thm=\count107
 (./macros.tex)) (./thesis.aux)
\openout1 = `thesis.aux'.

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

*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: includehead includefoot 
* h-part:(L,W,R)=(108.405pt, 433.62001pt, 72.26999pt)
* v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt)
* \paperwidth=614.295pt
* \paperheight=794.96999pt
* \textwidth=433.62001pt
* \textheight=588.55621pt
* \oddsidemargin=36.13501pt
* \evensidemargin=36.13501pt
* \topmargin=0.0pt
* \headheight=12.0pt
* \headsep=19.8738pt
* \topskip=12.0pt
* \footskip=30.0pt
* \marginparwidth=47.0pt
* \marginparsep=7.0pt
* \columnsep=10.0pt
* \skip\footins=10.8pt 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)

(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count108
\scratchdimen=\dimen129
\scratchbox=\box28
\nofMPsegments=\count109
\nofMParguments=\count110
\everyMPshowfont=\toks27
\MPscratchCnt=\count111
\MPscratchDim=\dimen130
\MPnumerator=\count112
\makeMPintoPDFobject=\count113
\everyMPtoPDFconversion=\toks28
) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
)

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf

(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
))
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
)))
Package grfext Info: Graphics extension search list:
(grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
G,.JBIG2,.JB2,.eps]
(grfext)             \AppendGraphicsExtensions on input line 452.

(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
))
Package caption Info: Begin \AtBeginDocument code.
Package caption Info: End \AtBeginDocument code.

(./frontmatter.tex (./abstract.tex
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
) [1


{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [1]
LaTeX Font Info:    Try loading font information for U+msa on input line 95.
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 95.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
Underfull \hbox (badness 10000) in paragraph at lines 95--96

 []


Underfull \hbox (badness 10000) in paragraph at lines 97--98

 []

[2] (./acknowledgments.tex)) [3] (./thesis.toc [4

]

Package Fancyhdr Warning: \headheight is too small (12.0pt): 
 Make it at least 14.49998pt.
 We now make it that large for the rest of the document.
 This may cause the page layout to be inconsistent, however.

[5] [6] [7])
\tf@toc=\write3
\openout3 = `thesis.toc'.

 [8] [9] (./ch1.tex
Chapter 1.
[1


]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [2] [3]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 79.
 (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd
File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 79.
 [4]
[5] [6]) (./ch2.tex [7]
Chapter 2.
[8

] [9] [10]
Overfull \hbox (31.13585pt too wide) in paragraph at lines 84--84
[]\OT1/cmr/bx/n/17.28 Mathematization Re-lated Proofs Us-ing the Pump-
 []

[11]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no œ in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no  in font cmr12!
 [12]
Overfull \hbox (29.42575pt too wide) in paragraph at lines 130--130
[]\OT1/cmr/bx/n/17.28 Conceptions of Equiv-a-lence, Ab-strac-tion in Proofs 
 []

[13]) (./ch3.tex [14]
Chapter 3.
[15

] [16]
Overfull \hbox (15.12534pt too wide) in paragraph at lines 32--34
\OT1/cmr/m/n/12 along with ob-sta-cles aris-ing from in-tu-ition there ex-ist e
pis-te-mo-log-i-cal ob-sta-cles Bachelard
 []

[17]

LaTeX Warning: Citation `Metaphor or met-before 2010 Jour Math Behavior' on pag
e 18 undefined on input line 36.


Overfull \hbox (4.31302pt too wide) in paragraph at lines 35--37
\OT1/cmr/m/n/12 McGowan Tall[[]], The idea met-before (for-merly met afore) em-
pha-size that a metaphor
 []


LaTeX Warning: Citation `[p. 74]{}' on page 18 undefined on input line 40.

[18] [19] [20]
Overfull \hbox (10.81705pt too wide) in paragraph at lines 85--86
\OT1/cmr/m/n/12 Because syb-moliza-tion sup-ports generalization[[]] and op-er-
a-tions in mathematics[[]],
 []

[21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35]
[36] [37] [38]
Overfull \hbox (19.44751pt too wide) in paragraph at lines 281--283
[]$\OML/cmm/m/it/12 < Isay >$ \OT1/cmr/m/n/12 it is not in con-scious mem-ory a
nymore$\OML/cmm/m/it/12 < =Isay >$ \OT1/cmr/m/n/12 Lis-man and Sternberg[[]]
 []

[39] [40] [41] [42] [43] [44] <./l73f1.jpeg, id=187, 501.875pt x 458.71375pt>
File: ./l73f1.jpeg Graphic file (type jpg)

<use ./l73f1.jpeg>
Package pdftex.def Info: ./l73f1.jpeg used on input line 380.
(pdftex.def)             Requested size: 303.53267pt x 277.44218pt.
 [45] [46 <./l73f1.jpeg>] [47] [48] [49] [50] [51] [52]
[53]

LaTeX Warning: Citation `stickgold2000visual.walker2003dissociable' on page 54 
undefined on input line 500.

[54] [55] [56] [57] [58] [59] [60]
Overfull \hbox (5.6296pt too wide) in paragraph at lines 573--574
\OT1/cmr/m/n/12 dur-ing sleep has been cor-rob-o-rated by hu-man brain imag-ing
 stud-ies (82,83,149,159,158)
 []

[61]
Overfull \hbox (0.34215pt too wide) in paragraph at lines 585--586
[]\OT1/cmr/m/n/12 sensory in-put ap-pears in sen-sory ac-qui-si-tion (ac-com-pa
ny with pleas-ant scent[[]],
 []

[62]
Overfull \hbox (22.94978pt too wide) in paragraph at lines 595--596
[]\OT1/cmr/m/n/12 explicit (vs. only im-plicit) learn-ing fa-vors ac-cess to sl
eep-dependent consolidation[[],
 []

[63] [64] [65] <./lismanNeoHebbian.jpg, id=255, 509.72734pt x 335.12814pt>
File: ./lismanNeoHebbian.jpg Graphic file (type jpg)

<use ./lismanNeoHebbian.jpg>
Package pdftex.def Info: ./lismanNeoHebbian.jpg used on input line 633.
(pdftex.def)             Requested size: 303.53267pt x 199.56479pt.
 [66] [67 <./lismanNeoHebbian.jpg>] [68]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no “ in font cmr12!
 [69]
<./frontopolar-cortex.jpg, id=269, 246.22964pt x 232.15938pt>
File: ./frontopolar-cortex.jpg Graphic file (type jpg)

<use ./frontopolar-cortex.jpg>
Package pdftex.def Info: ./frontopolar-cortex.jpg used on input line 686.
(pdftex.def)             Requested size: 303.53267pt x 286.19905pt.

<./inferiorfrontalgyrus.png, id=270, 744.381pt x 481.8pt>
File: ./inferiorfrontalgyrus.png Graphic file (type png)

<use ./inferiorfrontalgyrus.png>
Package pdftex.def Info: ./inferiorfrontalgyrus.png used on input line 693.
(pdftex.def)             Requested size: 303.53267pt x 196.45857pt.

<./gr1.jpg, id=272, 601.18407pt x 252.62521pt>
File: ./gr1.jpg Graphic file (type jpg)
 <use ./gr1.jpg>
Package pdftex.def Info: ./gr1.jpg used on input line 700.
(pdftex.def)             Requested size: 390.25536pt x 163.99628pt.


LaTeX Warning: Citation `|' on page 70 undefined on input line 709.

[70] [71 <./frontopolar-cortex.jpg>] [72 <./inferiorfrontalgyrus.png> <./gr1.jp
g>] [73] [74] [75] [76] [77]
Overfull \hbox (14.59895pt too wide) in paragraph at lines 768--769
\OT1/cmr/m/n/12 con-trol-ling the en-try of in-for-ma-tion into long term mem-o
ry, fa-cil-i-tated by dopamine(DA).
 []

[78] [79]) (./ch4.tex [80]
Chapter 4.
[81

] [82] [83] [84]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no œ in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no  in font cmr12!
 [85]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no œ in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no  in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no œ in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no  in font cmr12!
 [86] [87]) (./ch5.tex [88] [89]
Chapter 5.
[90

]
Overfull \hbox (22.5077pt too wide) in paragraph at lines 22--22
[] \OT1/cmr/bx/n/17.28 Rep-re-sen-ta-tion/Symbolization in Pump-ing Lem-
 []

[91] [92] [93] [94]
Underfull \hbox (badness 10000) in paragraph at lines 140--141
[]\OT1/cmr/m/n/12 Achievement
 []


Underfull \hbox (badness 10000) in paragraph at lines 141--144
[]\OT1/cmr/m/n/12 The idea of
 []


Underfull \hbox (badness 10000) in paragraph at lines 141--144
\OT1/cmr/m/n/12 a false state-
 []


Underfull \hbox (badness 10000) in paragraph at lines 141--144
\OT1/cmr/m/n/12 be-comes trou-
 []


Underfull \hbox (badness 10000) in paragraph at lines 141--144
\OT1/cmr/m/n/12 ble-some when
 []


Underfull \hbox (badness 3000) in paragraph at lines 145--148
[]\OT1/cmr/m/n/12 True and false
 []


Underfull \hbox (badness 10000) in paragraph at lines 145--148
\OT1/cmr/m/n/12 we can make
 []


Underfull \hbox (badness 10000) in paragraph at lines 148--149
[]\OT1/cmr/m/n/12 Definition of
 []


Underfull \hbox (badness 10000) in paragraph at lines 148--149
\OT1/cmr/m/n/12 ing ar-gu-ment
 []


Underfull \hbox (badness 10000) in paragraph at lines 148--149
\OT1/cmr/m/n/12 is not al-ways
 []


Underfull \hbox (badness 10000) in paragraph at lines 150--150
[]\OT1/cmr/m/n/12 Warrants are
 []


Underfull \hbox (badness 10000) in paragraph at lines 150--150
\OT1/cmr/m/n/12 not al-ways
 []


Underfull \hbox (badness 10000) in paragraph at lines 151--153
[]\OT1/cmr/m/n/12 Proof can
 []


Underfull \hbox (badness 10000) in paragraph at lines 151--153
\OT1/cmr/m/n/12 some-times
 []


Underfull \hbox (badness 10000) in paragraph at lines 151--153
\OT1/cmr/m/n/12 be ob-tained
 []


Underfull \hbox (badness 10000) in paragraph at lines 151--153
\OT1/cmr/m/n/12 of war-ranted
 []


Underfull \hbox (badness 10000) in paragraph at lines 153--155
[]\OT1/cmr/m/n/12 Definitions in
 []


Underfull \hbox (badness 10000) in paragraph at lines 153--155
\OT1/cmr/m/n/12 gen-eral are
 []


Underfull \hbox (badness 10000) in paragraph at lines 153--155
\OT1/cmr/m/n/12 not al-ways
 []


Underfull \hbox (badness 10000) in paragraph at lines 153--155
\OT1/cmr/m/n/12 rec-og-nized as
 []


Underfull \hbox (badness 10000) in paragraph at lines 153--155
\OT1/cmr/m/n/12 ing blocks in
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
[]\OT1/cmr/m/n/12 Using agreed
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
\OT1/cmr/m/n/12 def-i-ni-tions and
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
\OT1/cmr/m/n/12 valid rules of
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
\OT1/cmr/m/n/12 in-fer-ence we
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
\OT1/cmr/m/n/12 can some-times
 []


Underfull \hbox (badness 10000) in paragraph at lines 156--160
\OT1/cmr/m/n/12 ex-plore the
 []


Underfull \hbox (badness 1596) in paragraph at lines 156--160
\OT1/cmr/m/n/12 con-se-quences of
 []


Underfull \hbox (badness 10000) in paragraph at lines 160--160
[]\OT1/cmr/m/n/12 Notation is
 []


Underfull \hbox (badness 10000) in paragraph at lines 160--160
\OT1/cmr/m/n/12 some-times
 []


Underfull \hbox (badness 3240) in paragraph at lines 162--165
[]\OT1/cmr/m/n/12 Ideas pre-sented
 []


Underfull \hbox (badness 2846) in paragraph at lines 162--165
\OT1/cmr/m/n/12 ways con-nected
 []


Underfull \hbox (badness 1178) in paragraph at lines 162--165
\OT1/cmr/m/n/12 with ideas pre-
 []


Underfull \hbox (badness 1052) in paragraph at lines 166--169
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 10000) in paragraph at lines 166--169
\OT1/cmr/m/n/12 tra-verse mul-ti-
 []


Underfull \hbox (badness 5711) in paragraph at lines 169--170
\OT1/cmr/m/n/12 al-ways tra-verse
 []


Underfull \hbox (badness 1052) in paragraph at lines 171--173
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 6016) in paragraph at lines 173--175
[]\OT1/cmr/m/n/12 The ap-pli-ca-bil-
 []


Underfull \hbox (badness 1052) in paragraph at lines 176--179
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 10000) in paragraph at lines 176--179
\OT1/cmr/m/n/12 with au-then-tic
 []


Underfull \hbox (badness 3439) in paragraph at lines 176--179
\OT1/cmr/m/n/12 (ca-reer re-lated)
 []

[95]
Overfull \vbox (1352.45879pt too high) has occurred while \output is active []


[96]
Underfull \hbox (badness 10000) in paragraph at lines 184--184
[]\OT1/cmr/m/n/12 Achievement
 []


Underfull \hbox (badness 3000) in paragraph at lines 185--187
[]\OT1/cmr/m/n/12 True and false
 []


Underfull \hbox (badness 10000) in paragraph at lines 185--187
\OT1/cmr/m/n/12 we can make
 []


Underfull \hbox (badness 3000) in paragraph at lines 188--189
[]\OT1/cmr/m/n/12 True and false
 []


Underfull \hbox (badness 1577) in paragraph at lines 188--189
\OT1/cmr/m/n/12 ap-ply to as-ser-
 []


Underfull \hbox (badness 10000) in paragraph at lines 189--191
[]\OT1/cmr/m/n/12 Proof can
 []


Underfull \hbox (badness 10000) in paragraph at lines 189--191
\OT1/cmr/m/n/12 some-times
 []


Underfull \hbox (badness 10000) in paragraph at lines 189--191
\OT1/cmr/m/n/12 be ob-tained
 []


Underfull \hbox (badness 10000) in paragraph at lines 189--191
\OT1/cmr/m/n/12 of war-ranted
 []


Underfull \hbox (badness 1859) in paragraph at lines 191--192
[]\OT1/cmr/m/n/12 Proof is ex-plo-
 []


Underfull \hbox (badness 1454) in paragraph at lines 191--192
\OT1/cmr/m/n/12 ration and dis-
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
[]\OT1/cmr/m/n/12 Using agreed
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
\OT1/cmr/m/n/12 def-i-ni-tions and
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
\OT1/cmr/m/n/12 valid rules of
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
\OT1/cmr/m/n/12 in-fer-ence we
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
\OT1/cmr/m/n/12 can some-times
 []


Underfull \hbox (badness 10000) in paragraph at lines 192--195
\OT1/cmr/m/n/12 ex-plore the
 []


Underfull \hbox (badness 1596) in paragraph at lines 192--195
\OT1/cmr/m/n/12 con-se-quences of
 []


Underfull \hbox (badness 10000) in paragraph at lines 196--198
[]\OT1/cmr/m/n/12 Efficiency but
 []


Underfull \hbox (badness 1043) in paragraph at lines 196--198
\OT1/cmr/m/n/12 also ab-strac-tion
 []


Underfull \hbox (badness 10000) in paragraph at lines 196--198
\OT1/cmr/m/n/12 are aided by
 []


Underfull \hbox (badness 10000) in paragraph at lines 199--202
\OT1/cmr/m/n/12 rep-re-sen-ta-tion
 []


Underfull \hbox (badness 7907) in paragraph at lines 199--202
\OT1/cmr/m/n/12 and there are
 []


Underfull \hbox (badness 1052) in paragraph at lines 202--204
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 10000) in paragraph at lines 202--204
\OT1/cmr/m/n/12 tra-verse mul-ti-
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
[]\OT1/cmr/m/n/12 When no-ta-
 []


Underfull \hbox (badness 3000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 tion al-lows for
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 mul-ti-ple in-
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 ter-pre-ta-tions,
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 ab-strac-tion
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 above those
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 mul-ti-ple in-ter-
 []


Underfull \hbox (badness 10000) in paragraph at lines 205--209
\OT1/cmr/m/n/12 pre-ta-tions has
 []


Underfull \hbox (badness 1052) in paragraph at lines 209--210
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 10000) in paragraph at lines 211--213
[]\OT1/cmr/m/n/12 Multiple lev-els
 []


Underfull \hbox (badness 10000) in paragraph at lines 211--213
\OT1/cmr/m/n/12 of ab-strac-tion
 []


Underfull \hbox (badness 2173) in paragraph at lines 211--213
\OT1/cmr/m/n/12 are rel-e-vant at
 []


Underfull \hbox (badness 1052) in paragraph at lines 213--215
[]\OT1/cmr/m/n/12 We might wish
 []


Underfull \hbox (badness 10000) in paragraph at lines 213--215
\OT1/cmr/m/n/12 with au-then-tic
 []


Underfull \hbox (badness 3439) in paragraph at lines 213--215
\OT1/cmr/m/n/12 (ca-reer re-lated)
 []


Underfull \hbox (badness 10000) in paragraph at lines 216--218
[]\OT1/cmr/m/n/12 Authentic ap-
 []


Underfull \hbox (badness 5008) in paragraph at lines 216--218
\OT1/cmr/m/n/12 pli-ca-tions show
 []


Overfull \hbox (67.0026pt too wide) in paragraph at lines 182--219
[]\OT1/cmr/m/n/12 Using the achieve-ment lev-els we can in-fer crit-i-cal fac-t
ors. [] 
 []


Overfull \vbox (1013.27489pt too high) has occurred while \output is active []


[97] [98] [99]) (./ch6.tex [100]
Chapter 6.
[101

]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [102]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [103] [104] [105] [106] [107]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [108]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [109] [110] [111] [112]
[113] [114]) (./ch7.tex [115]
Chapter 7.
[116

] [117]
Overfull \hbox (8.59785pt too wide) in paragraph at lines 40--40
[]\OT1/cmr/bx/n/17.28 Equivalence Class, Generic Par-tic-u-lar, Ab-strac-
 []

Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
[118] [119] [120]
Overfull \hbox (2.03775pt too wide) in paragraph at lines 119--119
[] \OT1/cmr/bx/n/14.4 Val-i-da-tion at the Level of Phe-nomenog-ra-phy/Variatio
n
 []

[121]

LaTeX Warning: Citation `this is in a separate pdf' on page 122 undefined on in
put line 158.

[122]) (./ch8.tex [123] [124] [125]
Chapter 8.
[126

] [127] [128] [129] [130]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no  in font cmr12!
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no œ in font cmr12!
 [131] [132] [133] [134] [135] [136] [137]

LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 232.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 235.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 237.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 239.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 241.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 242.


LaTeX Warning: Citation `Wertheimer 1961' on page 138 undefined on input line 2
42.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 243.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 244.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 245.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 247.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 248.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 250.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 251.


LaTeX Warning: Citation `Fischbein' on page 138 undefined on input line 253.


Overfull \hbox (3.15393pt too wide) in paragraph at lines 231--254
[]$\OML/cmm/m/it/12 < Isay >$\OT1/cmr/m/n/12 ''Really wants to know'' im-plies 
an open-ness to change the pre-determined
 []

[138] [139] [140]

LaTeX Warning: Citation `(2010 Jour. Math. Behav.)' on page 141 undefined on in
put line 282.


LaTeX Warning: Citation `2010' on page 141 undefined on input line 284.


LaTeX Warning: Citation `Explanation and Proof in Mathmatics' on page 141 undef
ined on input line 284.


LaTeX Warning: Citation `Springer' on page 141 undefined on input line 284.

<chp7p1.png, id=503, 635.37375pt x 413.29407pt>
File: chp7p1.png Graphic file (type png)
 <use chp7p1.png>
Package pdftex.def Info: chp7p1.png used on input line 288.
(pdftex.def)             Requested size: 303.53267pt x 197.44554pt.
 [141] [142 <./chp7p1.png>] [143] [144] [145] [146] [147]) (./ch9.tex [148]
Chapter 9.
[149

] [150]) (./ch10.tex [151]
Chapter 10.

Overfull \hbox (6.66577pt too wide) in paragraph at lines 3--3
[]\OT1/cmr/bx/n/17.28 Helping Stu-dents Dis-cern Deriva-tion for Proof
 []

[152

]
Underfull \hbox (badness 10000) in paragraph at lines 14--15

 []

[153] [154] [155] [156]
Overfull \hbox (10.7212pt too wide) in paragraph at lines 104--111
\OT1/cmr/m/n/12 ma-te-rial for a course in soft-ware en-gi-neer-ing or-ga-nized
 around the con-cept of provability-
 []

[157] [158] [159]

LaTeX Warning: Citation `are these Gries?' on page 160 undefined on input line 
154.

[160] [161] [162] [163]

LaTeX Warning: Citation `(' on page 164 undefined on input line 232.

[164]) (./TODOs.tex [165]) [166] (./thesis.bbl [167

] [168] [169] [170] [171]
[172]
Missing character: There is no Ë in font cmr12!
Missing character: There is no ™ in font cmr12!
 [173]
Missing character: There is no â in font cmtt12!
Missing character: There is no ˆ in font cmtt12!
Missing character: There is no ¼ in font cmtt12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ˜ in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ˜ in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
 [174]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
 [175] [176] [177] [178] [179] [180] [181]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ” in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ” in font cmti12!
 [182]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
Missing character: There is no à in font cmr12!
Missing character: There is no ¶ in font cmr12!
 [183]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ” in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ¦ in font cmti12!
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no œ in font cmti12!

[184]
Underfull \hbox (badness 1057) in paragraph at lines 726--730
[]\OT1/cmr/m/n/12 Shaun R Pa-tel, Demetrio Sierra-Mercado, Clarissa Martinez-Ru
bio, and
 []

[185] [186] [187]
Missing character: There is no â in font cmr12!
Missing character: There is no € in font cmr12!
Missing character: There is no ™ in font cmr12!
 [188]
Missing character: There is no â in font cmti12!
Missing character: There is no ˆ in font cmti12!
Missing character: There is no — in font cmti12!

Underfull \hbox (badness 1048) in paragraph at lines 849--852
[]\OT1/cmr/m/n/12 Manuel Santos-Trigo, \OT1/cmr/m/it/12 In-struc-tional qual-i-
ties of a suc-cess-ful math-e-mat-i-cal
 []

Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ™ in font cmti12!
[189]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ” in font cmti12!
 [190] [191] [192] [193] [194] [195]
Missing character: There is no â in font cmti12!
Missing character: There is no € in font cmti12!
Missing character: There is no ” in font cmti12!
) [196] (./materials.tex) [197]
(./incomingOO.tex) [198] (./incomingDiscrete.tex
<./pic8.png, id=690, 668.4975pt x 114.4275pt>
File: ./pic8.png Graphic file (type png)
 <use ./pic8.png>
Package pdftex.def Info: ./pic8.png used on input line 16.
(pdftex.def)             Requested size: 303.53267pt x 51.95808pt.

Underfull \hbox (badness 10000) in paragraph at lines 40--50

 []

[199 <./pic8.png>] [200]
<./pic2GNUPaint.png, id=699, 490.83376pt x 219.82124pt>
File: ./pic2GNUPaint.png Graphic file (type png)

<use ./pic2GNUPaint.png>
Package pdftex.def Info: ./pic2GNUPaint.png used on input line 65.
(pdftex.def)             Requested size: 303.53267pt x 135.94226pt.
 <./pic4.png, id=700, 496.85625pt x 137.51375pt>
File: ./pic4.png Graphic file (type png)

<use ./pic4.png>
Package pdftex.def Info: ./pic4.png used on input line 72.
(pdftex.def)             Requested size: 303.53267pt x 84.00916pt.
 [201 <./pic2GNUPaint.png> <./pic4.png>]
<./pic9.png, id=705, 433.62pt x 154.5775pt>
File: ./pic9.png Graphic file (type png)
 <use ./pic9.png>
Package pdftex.def Info: ./pic9.png used on input line 93.
(pdftex.def)             Requested size: 260.17465pt x 92.7519pt.

<./pic10GNU.png, id=706, 483.8075pt x 389.455pt>
File: ./pic10GNU.png Graphic file (type png)
 <use ./pic10GNU.png>
Package pdftex.def Info: ./pic10GNU.png used on input line 102.
(pdftex.def)             Requested size: 260.17465pt x 209.44089pt.
 [202 <./pic9.png> <./pic10GNU.png>]
Underfull \hbox (badness 10000) in paragraph at lines 117--124

 []

[203]
Underfull \hbox (badness 10000) in paragraph at lines 133--134

 []

<./pic5.png, id=714, 464.73625pt x 363.3575pt>
File: ./pic5.png Graphic file (type png)
 <use ./pic5.png>
Package pdftex.def Info: ./pic5.png used on input line 139.
(pdftex.def)             Requested size: 303.53267pt x 237.32726pt.
 [204 <./pic5.png>]
Underfull \hbox (badness 10000) in paragraph at lines 145--146

 []


Underfull \hbox (badness 10000) in paragraph at lines 147--148

 []

[205]
Underfull \hbox (badness 10000) in paragraph at lines 156--174

 []

[206] <./pic1.png, id=725, 487.8225pt x 215.80624pt>
File: ./pic1.png Graphic file (type png)
 <use ./pic1.png>
Package pdftex.def Info: ./pic1.png used on input line 183.
(pdftex.def)             Requested size: 303.53267pt x 134.27925pt.
 [207 <./pic1.png>] [208] <./p93.png, id=732, 495.8525pt x 169.63374pt>
File: ./p93.png Graphic file (type png)
 <use ./p93.png>
Package pdftex.def Info: ./p93.png used on input line 200.
(pdftex.def)             Requested size: 303.53267pt x 103.84138pt.

[209 <./p93.png>]

Package amsmath Warning: Foreign command \atopwithdelims;
(amsmath)                \frac or \genfrac should be used instead
(amsmath)                 on input line 211.

[210] [211]
Underfull \hbox (badness 10000) in paragraph at lines 219--220

 []

[212]) [213] (./incomingAlgos.tex [214] [215]) [216] (./incomingTheory.tex
[217] [218]) [219] (./thesis.aux)

LaTeX Warning: There were undefined references.

 ) 
Here is how much of TeX's memory you used:
 5040 strings out of 494985
 73881 string characters out of 6180356
 142645 words of memory out of 5000000
 8101 multiletter control sequences out of 15000+600000
 13831 words of font info for 53 fonts, out of 8000000 for 9000
 36 hyphenation exceptions out of 8191
 38i,11n,43p,1810b,448s stack positions out of 5000i,500n,10000p,200000b,80000s
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmcsc10.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/tex
live/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/t
exmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-di
st/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/font
s/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1
/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cm
sy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti12.pf
b></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt12.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on thesis.pdf (230 pages, 1897733 bytes).
PDF statistics:
 826 PDF objects out of 1000 (max. 8388607)
 556 compressed objects within 6 object streams
 0 named destinations out of 1000 (max. 500000)
 71 words of extra memory for PDF output out of 10000 (max. 10000000)