Laboratoire de l'Informatique et du Parallélisme » Linear Arithmetic

This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2012.6.30)  22 APR 2017 00:02

entering extended mode

 \write18 enabled.

 file:line:error style messages enabled.

 %&-line parsing enabled.

**unboundedArithmetic.tex

(./unboundedArithmetic.tex

LaTeX2e <2011/06/27>

Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge

rman-x-2012-05-30, ngerman-x-2012-05-30, afrikaans, ancientgreek, ibycus, arabi

c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis

h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis

h, french, friulan, galician, german, ngerman, swissgerman, monogreek, greek, h

ungarian, icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, ma

rathi, oriya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian,

kurmanji, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk,

 polish, portuguese, romanian, romansh, russian, sanskrit, serbian, serbianc, s

lovak, slovenian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian,

welsh, loaded.

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamer.cls

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasercs.sty

Package: beamerbasercs 2012/06/01 (rcs-revision 352157baec3a)

)

Document Class: beamer 2011/09/12 development version 3.20 A class for typesett

ing presentations (rcs-revision 70f9d8411e54)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasemodes.sty

Package: beamerbasemodes 2012/04/15 (rcs-revision cc6557182d97)

\beamer@tempbox=\box26

\beamer@tempcount=\count79

\c@beamerpauses=\count80

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasedecode.sty

Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d)

\beamer@slideinframe=\count81

\beamer@minimum=\count82

)

\beamer@commentbox=\box27

\beamer@modecount=\count83

)

(/usr/local/texlive/2012/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.

)

\headheight=\dimen102

\headdp=\dimen103

\footheight=\dimen104

\sidebarheight=\dimen105

\beamer@tempdim=\dimen106

\beamer@finalheight=\dimen107

\beamer@animht=\dimen108

\beamer@animdp=\dimen109

\beamer@animwd=\dimen110

\beamer@leftmargin=\dimen111

\beamer@rightmargin=\dimen112

\beamer@leftsidebar=\dimen113

\beamer@rightsidebar=\dimen114

\beamer@boxsize=\dimen115

\beamer@vboxoffset=\dimen116

\beamer@descdefault=\dimen117

\beamer@descriptionwidth=\dimen118

\beamer@lastskip=\skip41

\beamer@areabox=\box28

\beamer@animcurrent=\box29

\beamer@animshowbox=\box30

\beamer@sectionbox=\box31

\beamer@logobox=\box32

\beamer@linebox=\box33

\beamer@sectioncount=\count84

\beamer@subsubsectionmax=\count85

\beamer@subsectionmax=\count86

\beamer@sectionmax=\count87

\beamer@totalheads=\count88

\beamer@headcounter=\count89

\beamer@partstartpage=\count90

\beamer@sectionstartpage=\count91

\beamer@subsectionstartpage=\count92

\beamer@animationtempa=\count93

\beamer@animationtempb=\count94

\beamer@xpos=\count95

\beamer@ypos=\count96

\beamer@showpartnumber=\count97

\beamer@currentsubsection=\count98

\beamer@coveringdepth=\count99

\beamer@sectionadjust=\count100

\beamer@tocsectionnumber=\count101

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseoptions.sty

Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6)

(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/keyval.sty

Package: keyval 1999/03/16 v1.13 key=value parser (DPC)

\KV@toks@=\toks14

))

\beamer@paperwidth=\skip42

\beamer@paperheight=\skip43

(/usr/local/texlive/2012/texmf-dist/tex/latex/geometry/geometry.sty

Package: geometry 2010/09/12 v5.6 Page Geometry

(/usr/local/texlive/2012/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/local/texlive/2012/texmf-dist/tex/generic/ifxetex/ifxetex.sty

Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional

)

\Gm@cnth=\count102

\Gm@cntv=\count103

\c@Gm@tempcnt=\count104

\Gm@bindingoffset=\dimen119

\Gm@wd@mp=\dimen120

\Gm@odd@mp=\dimen121

\Gm@even@mp=\dimen122

\Gm@layoutwidth=\dimen123

\Gm@layoutheight=\dimen124

\Gm@layouthoffset=\dimen125

\Gm@layoutvoffset=\dimen126

\Gm@dimlist=\toks15

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/base/size11.clo

File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty

(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/graphicx.sty

Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/graphics.sty

Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/trig.sty

Package: trig 1999/03/16 v1.09 sin cos tan (DPC)

)

(/usr/local/texlive/2012/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/local/texlive/2012/texmf-dist/tex/latex/pdftex-def/pdftex.def

File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX

(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/infwarerr.sty

Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)

)

(/usr/local/texlive/2012/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=\dimen127

\Gin@req@width=\dimen128

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty

(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te

x

\pgfutil@everybye=\toks16

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def

\pgfutil@abb=\box34

(/usr/local/texlive/2012/texmf-dist/tex/latex/ms/everyshi.sty

Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)

))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex

Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24)

))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex

Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex

\pgfkeys@pathtoks=\toks17

\pgfkeys@temptoks=\toks18

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c

ode.tex

\pgfkeys@tmptoks=\toks19

))

\pgf@x=\dimen129

\pgf@y=\dimen130

\pgf@xa=\dimen131

\pgf@ya=\dimen132

\pgf@xb=\dimen133

\pgf@yb=\dimen134

\pgf@xc=\dimen135

\pgf@yc=\dimen136

\w@pgf@writea=\write3

\r@pgf@reada=\read1

\c@pgf@counta=\count106

\c@pgf@countb=\count107

\c@pgf@countc=\count108

\c@pgf@countd=\count109

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg

File: pgf.cfg 2008/05/14  (rcs-revision 1.7)

)

Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900.

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d

ef

File: pgfsys-pdftex.def 2009/05/22  (rcs-revision 1.26)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p

df.def

File: pgfsys-common-pdf.def 2008/05/19  (rcs-revision 1.10)

)))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.

code.tex

File: pgfsyssoftpath.code.tex 2008/07/18  (rcs-revision 1.7)

\pgfsyssoftpath@smallbuffer@items=\count110

\pgfsyssoftpath@bigbuffer@items=\count111

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.

code.tex

File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)

)) (/usr/local/texlive/2012/texmf-dist/tex/latex/xcolor/xcolor.sty

Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)

(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/color.cfg

File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive

)

Package xcolor Info: Driver file: pdftex.def on input line 225.

Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.

Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.

Package xcolor Info: Model `RGB' extended on input line 1353.

Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.

Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.

Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.

Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.

Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.

Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex

Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex

\pgfmath@dimen=\dimen137

\pgfmath@count=\count112

\pgfmath@box=\box35

\pgfmath@toks=\toks20

\pgfmath@stack@operand=\toks21

\pgfmath@stack@operation=\toks22

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.

tex

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic

.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo

nometric.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando

m.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa

rison.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.

code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round

.code.tex)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.

code.tex)))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex

\c@pgfmathroundto@lastzeros=\count113

))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co

de.tex

File: pgfcorepoints.code.tex 2010/04/09  (rcs-revision 1.20)

\pgf@picminx=\dimen138

\pgf@picmaxx=\dimen139

\pgf@picminy=\dimen140

\pgf@picmaxy=\dimen141

\pgf@pathminx=\dimen142

\pgf@pathmaxx=\dimen143

\pgf@pathminy=\dimen144

\pgf@pathmaxy=\dimen145

\pgf@xx=\dimen146

\pgf@xy=\dimen147

\pgf@yx=\dimen148

\pgf@yy=\dimen149

\pgf@zx=\dimen150

\pgf@zy=\dimen151

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst

ruct.code.tex

File: pgfcorepathconstruct.code.tex 2010/08/03  (rcs-revision 1.24)

\pgf@path@lastx=\dimen152

\pgf@path@lasty=\dimen153

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage

.code.tex

File: pgfcorepathusage.code.tex 2008/04/22  (rcs-revision 1.12)

\pgf@shorten@end@additional=\dimen154

\pgf@shorten@start@additional=\dimen155

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co

de.tex

File: pgfcorescopes.code.tex 2010/09/08  (rcs-revision 1.34)

\pgfpic=\box36

\pgf@hbox=\box37

\pgf@layerbox@main=\box38

\pgf@picture@serial@count=\count114

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst

ate.code.tex

File: pgfcoregraphicstate.code.tex 2008/04/22  (rcs-revision 1.9)

\pgflinewidth=\dimen156

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform

ations.code.tex

File: pgfcoretransformations.code.tex 2009/06/10  (rcs-revision 1.11)

\pgf@pt@x=\dimen157

\pgf@pt@y=\dimen158

\pgf@pt@temp=\dimen159

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod

e.tex

File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c

ode.tex

File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce

ssing.code.tex

File: pgfcorepathprocessing.code.tex 2008/10/09  (rcs-revision 1.8)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co

de.tex

File: pgfcorearrows.code.tex 2008/04/23  (rcs-revision 1.11)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod

e.tex

File: pgfcoreshade.code.tex 2008/11/23  (rcs-revision 1.13)

\pgf@max=\dimen160

\pgf@sys@shading@range@num=\count115

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod

e.tex

File: pgfcoreimage.code.tex 2010/03/25  (rcs-revision 1.16)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.

code.tex

File: pgfcoreexternal.code.tex 2010/09/01  (rcs-revision 1.17)

\pgfexternal@startupbox=\box39

))

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co

de.tex

File: pgfcorelayers.code.tex 2010/08/27  (rcs-revision 1.2)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare

ncy.code.tex

File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)

)

(/usr/local/texlive/2012/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.

code.tex

File: pgfcorepatterns.code.tex 2009/07/02  (rcs-revision 1.3)

)))

(/usr/local/texlive/2012/texmf-dist/tex/latex/pgf/utilities/xxcolor.sty

Package: xxcolor 2003/10/24 ver 0.1

\XC@nummixins=\count116

\XC@countmixins=\count117

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/hyperref.sty

Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX

(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty

Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)

(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty

Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)

Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)

Package hobsub Info: Skipping package `infwarerr' (already loaded).

Package hobsub Info: Skipping package `ltxcmds' (already loaded).

Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)

Package ifluatex Info: LuaTeX not detected.

Package hobsub Info: Skipping package `ifvtex' (already loaded).

Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)

Package hobsub Info: Skipping package `ifpdf' (already loaded).

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: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)

Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)

Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO

)

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.

Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)

Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO

)

Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)

Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)

)

Package hobsub Info: Skipping package `hobsub' (already loaded).

Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)

Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)

Package: xcolor-patch 2011/01/30 xcolor patch

Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)

Package atveryend Info: \enddocument detected (standard20110627).

Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)

Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)

Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/kvoptions.sty

Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)

)

\@linkdim=\dimen161

\Hy@linkcounter=\count118

\Hy@pagecounter=\count119

(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/pd1enc.def

File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO)

)

\Hy@SavedSpaceFactor=\count120

(/usr/local/texlive/2012/texmf-dist/tex/latex/latexconfig/hyperref.cfg

File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive

)

Package hyperref Info: Option `bookmarks' set `true' on input line 3941.

Package hyperref Info: Option `bookmarksopen' set `true' on input line 3941.

Package hyperref Info: Option `implicit' set `false' on input line 3941.

Package hyperref Info: Hyper figures OFF on input line 4062.

Package hyperref Info: Link nesting OFF on input line 4067.

Package hyperref Info: Hyper index ON on input line 4070.

Package hyperref Info: Plain pages OFF on input line 4077.

Package hyperref Info: Backreferencing OFF on input line 4082.

Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals.

Package hyperref Info: Bookmarks ON on input line 4300.

\c@Hy@tempcnt=\count121

(/usr/local/texlive/2012/texmf-dist/tex/latex/url/url.sty

\Urlmuskip=\muskip10

Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.

)

LaTeX Info: Redefining \url on input line 4653.

\Fld@menulength=\count122

\Field@Width=\dimen162

\Fld@charsize=\dimen163

Package hyperref Info: Hyper figures OFF on input line 5773.

Package hyperref Info: Link nesting OFF on input line 5778.

Package hyperref Info: Hyper index ON on input line 5781.

Package hyperref Info: backreferencing OFF on input line 5788.

Package hyperref Info: Link coloring OFF on input line 5793.

Package hyperref Info: Link coloring with OCG OFF on input line 5798.

Package hyperref Info: PDF/A mode OFF on input line 5803.

LaTeX Info: Redefining \ref on input line 5843.

LaTeX Info: Redefining \pageref on input line 5847.

\Hy@abspage=\count123

Package hyperref Message: Stopped early.

)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/hpdftex.def

File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX

\Fld@listcount=\count124

\c@bookmark@seq@number=\count125

(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty

Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)

Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2

82.

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaserequires.sty

Package: beamerbaserequires 2010/05/01  (rcs-revision efa082c6111d)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasecompatibility.st

y

Package: beamerbasecompatibility 2012/05/01  (rcs-revision 67c48b3b652d)

) (/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasefont.sty

Package: beamerbasefont 2012/05/10  (rcs-revision a0b4f9f91ee9)

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/amssymb.sty

Package: amssymb 2009/06/22 v3.00

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/amsfonts.sty

Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support

\@emptytoks=\toks23

\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 96.

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/sansmathaccent/sansmathaccent.sty

Package: sansmathaccent 2012/04/26

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetranslator.sty

Package: beamerbasetranslator 2010/06/11  (rcs-revision 85fd1cc7fc42)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/translator.sty

Package: translator 2010/06/12 ver 1.10

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/translator-lang

uage-mappings.tex)))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasemisc.sty

Package: beamerbasemisc 2012/02/24  (rcs-revision 2ff5461be705)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetwoscreens.sty

Package: beamerbasetwoscreens 2010/05/01  (rcs-revision efa082c6111d)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseoverlay.sty

Package: beamerbaseoverlay 2012/04/03  (rcs-revision 45744d9ae88b)

\beamer@argscount=\count126

\beamer@lastskipcover=\skip44

\beamer@trivlistdepth=\count127

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetitle.sty

Package: beamerbasetitle 2010/09/21  (rcs-revision f0446ed0b6ae)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasesection.sty

Package: beamerbasesection 2012/05/30  (rcs-revision 22ff49def670)

\c@lecture=\count128

\c@part=\count129

\c@section=\count130

\c@subsection=\count131

\c@subsubsection=\count132

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframe.sty

Package: beamerbaseframe 2012/05/31  (rcs-revision 5fc3b3dbfeba)

\beamer@framebox=\box40

\beamer@frametitlebox=\box41

\beamer@zoombox=\box42

\beamer@zoomcount=\count133

\beamer@zoomframecount=\count134

\beamer@frametextheight=\dimen164

\c@subsectionslide=\count135

\beamer@frametopskip=\skip45

\beamer@framebottomskip=\skip46

\beamer@frametopskipautobreak=\skip47

\beamer@framebottomskipautobreak=\skip48

\beamer@envbody=\toks24

\c@framenumber=\count136

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseverbatim.sty

Package: beamerbaseverbatim 2011/09/12  (rcs-revision 70f9d8411e54)

\beamer@verbatimfileout=\write4

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframesize.sty

Package: beamerbaseframesize 2011/09/12  (rcs-revision 70f9d8411e54)

\beamer@splitbox=\box43

\beamer@autobreakcount=\count137

\beamer@autobreaklastheight=\dimen165

\beamer@frametitletoks=\toks25

\beamer@framesubtitletoks=\toks26

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseframecomponents.

sty

Package: beamerbaseframecomponents 2012/03/07  (rcs-revision 9f094699ce15)

\beamer@footins=\box44

) (/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasecolor.sty

Package: beamerbasecolor 2010/06/06  (rcs-revision d1a9b48be06d)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasenotes.sty

Package: beamerbasenotes 2010/05/01  (rcs-revision efa082c6111d)

\beamer@frameboxcopy=\box45

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetoc.sty

Package: beamerbasetoc 2012/02/28  (rcs-revision 138681b92320)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetemplates.sty

Package: beamerbasetemplates 2010/05/01  (rcs-revision efa082c6111d)

\beamer@sbttoks=\toks27

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseauxtemplates.sty

Package: beamerbaseauxtemplates 2012/05/01  (rcs-revision 67c48b3b652d)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaseboxes.sty

Package: beamerbaseboxes 2012/05/13  (rcs-revision 56972908a390)

\bmb@box=\box46

\bmb@colorbox=\box47

\bmb@boxshadow=\box48

\bmb@boxshadowball=\box49

\bmb@boxshadowballlarge=\box50

\bmb@temp=\dimen166

\bmb@dima=\dimen167

\bmb@dimb=\dimen168

\bmb@prevheight=\dimen169

)

\beamer@blockheadheight=\dimen170

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbaselocalstructure.s

ty

Package: beamerbaselocalstructure 2012/05/25  (rcs-revision 5ff5e8ed7c0e)

 (/usr/local/texlive/2012/texmf-dist/tex/latex/tools/enumerate.sty

Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)

\@enLab=\toks28

)

\c@figure=\count138

\c@table=\count139

\abovecaptionskip=\skip49

\belowcaptionskip=\skip50

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasenavigation.sty

Package: beamerbasenavigation 2012/04/03  (rcs-revision 42a0f21a412d)

\beamer@section@min@dim=\dimen171

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasetheorems.sty

Package: beamerbasetheorems 2010/06/06  (rcs-revision 7e7cc5e53e9d)

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsmath.sty

Package: amsmath 2000/07/18 v2.13 AMS math features

\@mathmargin=\skip51

For additional information on amsmath, use the `?' option.

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amstext.sty

Package: amstext 2000/06/29 v2.01

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsgen.sty

File: amsgen.sty 1999/11/30 v2.0

\@emptytoks=\toks29

\ex@=\dimen172

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsbsy.sty

Package: amsbsy 1999/11/29 v1.2d

\pmbraise@=\dimen173

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsopn.sty

Package: amsopn 1999/12/14 v2.01 operator names

)

\inf@bad=\count140

LaTeX Info: Redefining \frac on input line 211.

\uproot@=\count141

\leftroot@=\count142

LaTeX Info: Redefining \overline on input line 307.

\classnum@=\count143

\DOTSCASE@=\count144

LaTeX Info: Redefining \ldots on input line 379.

LaTeX Info: Redefining \dots on input line 382.

LaTeX Info: Redefining \cdots on input line 467.

\Mathstrutbox@=\box51

\strutbox@=\box52

\big@size=\dimen174

LaTeX Font Info:    Redeclaring font encoding OML on input line 567.

LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.

\macc@depth=\count145

\c@MaxMatrixCols=\count146

\dotsspace@=\muskip11

\c@parentequation=\count147

\dspbrk@lvl=\count148

\tag@help=\toks30

\row@=\count149

\column@=\count150

\maxfields@=\count151

\andhelp@=\toks31

\eqnshift@=\dimen175

\alignsep@=\dimen176

\tagshift@=\dimen177

\tagwidth@=\dimen178

\totwidth@=\dimen179

\lineht@=\dimen180

\@envbody=\toks32

\multlinegap=\skip52

\multlinetaggap=\skip53

\mathdisplay@stack=\toks33

LaTeX Info: Redefining \[ on input line 2666.

LaTeX Info: Redefining \] on input line 2667.

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/amscls/amsthm.sty

Package: amsthm 2009/07/02 v2.20.1

\thm@style=\toks34

\thm@bodyfont=\toks35

\thm@headfont=\toks36

\thm@notefont=\toks37

\thm@headpunct=\toks38

\thm@preskip=\skip54

\thm@postskip=\skip55

\thm@headsep=\skip56

\dth@everypar=\toks39

)

\c@theorem=\count152

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/beamerbasethemes.sty

Package: beamerbasethemes 2010/05/01  (rcs-revision efa082c6111d)

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/theme/beamerthemede

fault.sty

Package: beamerthemedefault 2010/06/17  (rcs-revision d02a7cf4d8ae)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/font/beamerfontthem

edefault.sty

Package: beamerfontthemedefault 2010/06/17  (rcs-revision d02a7cf4d8ae)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth

emedefault.sty

Package: beamercolorthemedefault 2010/06/17  (rcs-revision d02a7cf4d8ae)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/inner/beamerinnerth

emedefault.sty

Package: beamerinnerthemedefault 2012/05/01  (rcs-revision 67c48b3b652d)

\beamer@dima=\dimen181

\beamer@dimb=\dimen182

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth

emedefault.sty

Package: beamerouterthemedefault 2010/06/17  (rcs-revision d02a7cf4d8ae)

)))

(/usr/local/texlive/2012/texmf-dist/tex/latex/base/latexsym.sty

Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)

\symlasy=\mathgroup6

LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'

(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty

Package: stmaryrd 1994/03/03 St Mary's Road symbol package

\symstmry=\mathgroup7

LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'

(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/eepic/eepic.sty

Extension to Epic and LaTeX. Version 1.1e - Released Dec 21, 1999

\@gphlinewidth=\count153

\@eepictcnt=\count154

\@tempdimc=\dimen183

\maxovaldiam=\dimen184

\@filltype=\box53

) (/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/epsfig.sty

Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

\epsfxsize=\dimen185

\epsfysize=\dimen186

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/lkproof/proof.sty

\inferLineSkip=\dimen187

\inferLabelSkip=\dimen188

\@LeftOffset=\dimen189

\@RightOffset=\dimen190

\@SavedLeftOffset=\dimen191

\UpperWidth=\dimen192

\LowerWidth=\dimen193

\LowerHeight=\dimen194

\UpperLeftOffset=\dimen195

\UpperRightOffset=\dimen196

\UpperCenter=\dimen197

\LowerCenter=\dimen198

\UpperAdjust=\dimen199

\RuleAdjust=\dimen200

\LowerAdjust=\dimen201

\RuleWidth=\dimen202

\HLabelAdjust=\dimen203

\VLabelAdjust=\dimen204

\WidthAdjust=\dimen205

\@UpperPart=\box54

\@LowerPart=\box55

\@LabelPart=\box56

\ResultBox=\box57

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/bussproofs/bussproofs.sty

Proof Tree (bussproofs) style macros. Version 1.0.

\theLevel=\count155

\myMaxLevel=\count156

\myBoxA=\box58

\myBoxB=\box59

\myBoxC=\box60

\myBoxD=\box61

\myBoxLL=\box62

\myBoxRL=\box63

\thisAboveSkip=\dimen206

\thisBelowSkip=\dimen207

\newScoreStart=\dimen208

\newScoreEnd=\dimen209

\newCenter=\dimen210

\displace=\dimen211

\leftLowerAmt=\dimen212

\rightLowerAmt=\dimen213

\scoreHeight=\dimen214

\scoreDepth=\dimen215

\htLbox=\dimen216

\htRbox=\dimen217

\htAbox=\dimen218

\htCbox=\dimen219

) (./ph-macros.tex)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/theme/beamerthemeWa

rsaw.sty

Package: beamerthemeWarsaw 2010/06/17  (rcs-revision d02a7cf4d8ae)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/inner/beamerinnerth

emerounded.sty

Package: beamerinnerthemerounded 2010/06/17  (rcs-revision d02a7cf4d8ae)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth

emeshadow.sty

Package: beamerouterthemeshadow 2010/06/17  (rcs-revision d02a7cf4d8ae)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/outer/beamerouterth

emesplit.sty

Package: beamerouterthemesplit 2010/06/17  (rcs-revision d02a7cf4d8ae)

))

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth

emeorchid.sty

Package: beamercolorthemeorchid 2010/06/17  (rcs-revision d02a7cf4d8ae)

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/themes/color/beamercolorth

emewhale.sty

Package: beamercolorthemewhale 2010/06/17  (rcs-revision d02a7cf4d8ae)

)) (./unboundedArithmetic.aux)

\openout1 = `unboundedArithmetic.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 111.

LaTeX Font Info:    ... okay on input line 111.

*geometry* driver: auto-detecting

*geometry* detected driver: pdftex

*geometry* verbose mode - [ preamble ] result:

* driver: pdftex

* paper: custom

* layout: <same size as paper>

* layoutoffset:(h,v)=(0.0pt,0.0pt)

* modes: includehead includefoot

* h-part:(L,W,R)=(28.45274pt, 307.28987pt, 28.45274pt)

* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt)

* \paperwidth=364.19536pt

* \paperheight=273.14662pt

* \textwidth=307.28987pt

* \textheight=244.6939pt

* \oddsidemargin=-43.81725pt

* \evensidemargin=-43.81725pt

* \topmargin=-72.26999pt

* \headheight=14.22636pt

* \headsep=0.0pt

* \topskip=11.0pt

* \footskip=14.22636pt

* \marginparwidth=4.0pt

* \marginparsep=10.0pt

* \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)

(/usr/local/texlive/2012/texmf-dist/tex/context/base/supp-pdf.mkii

[Loading MPS to PDF converter (version 2006.09.02).]

\scratchcounter=\count157

\scratchdimen=\dimen220

\scratchbox=\box64

\nofMPsegments=\count158

\nofMParguments=\count159

\everyMPshowfont=\toks40

\MPscratchCnt=\count160

\MPscratchDim=\dimen221

\MPnumerator=\count161

\makeMPintoPDFobject=\count162

\everyMPtoPDFconversion=\toks41

) (/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty

Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf

(/usr/local/texlive/2012/texmf-dist/tex/latex/oberdiek/grfext.sty

Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)

)

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/local/texlive/2012/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

))

ABD: EveryShipout initializing macros

\AtBeginShipoutBox=\box65

Package hyperref Info: Link coloring OFF on input line 111.

(/usr/local/texlive/2012/texmf-dist/tex/latex/hyperref/nameref.sty

Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section

(/usr/local/texlive/2012/texmf-dist/tex/generic/oberdiek/gettitlestring.sty

Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)

)

\c@section@level=\count163

)

LaTeX Info: Redefining \ref on input line 111.

LaTeX Info: Redefining \pageref on input line 111.

LaTeX Info: Redefining \nameref on input line 111.

(./unboundedArithmetic.out) (./unboundedArithmetic.out)

\@outlinefile=\write5

\openout5 = `unboundedArithmetic.out'.

LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'

(Font)                  OT1/cmr/m/n --> OT1/cmss/m/n on input line 111.

LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'

(Font)                  OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111.

\symnumbers=\mathgroup8

\sympureletters=\mathgroup9

LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'

(Font)                  OT1/cmss/m/n --> OT1/cmr/m/n on input line 111.

LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'

(Font)                  OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'

(Font)                  OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 111.

LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'

(Font)                  OT1/cmss/m/n --> OT1/cmss/m/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'

(Font)                  OT1/cmss/bx/n --> OT1/cmss/m/n on input line 111.

LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'

(Font)                  OT1/cmr/m/it --> OT1/cmss/m/it on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'

(Font)                  OT1/cmr/bx/it --> OT1/cmss/m/it on input line 111.

LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'

(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'

(Font)                  OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 111.

LaTeX Font Info:    Overwriting symbol font `numbers' in version `bold'

(Font)                  OT1/cmss/m/n --> OT1/cmss/bx/n on input line 111.

LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'

(Font)                  OT1/cmss/m/it --> OT1/cmss/bx/it on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `bold'

(Font)                  OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'

(Font)                  OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'

(Font)                  OT1/cmss/m/n --> OT1/cmss/bx/n on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'

(Font)                  OT1/cmss/m/it --> OT1/cmss/bx/it on input line 111.

LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'

(Font)                  OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 111.

LaTeX Font Info:    Redeclaring symbol font `pureletters' on input line 111.

LaTeX Font Info:    Overwriting symbol font `pureletters' in version `normal'

(Font)                  OT1/cmss/m/it --> OT1/mathkerncmss/m/sl on input line 1

11.

LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'

(Font)                  OT1/cmss/bx/it --> OT1/mathkerncmss/m/sl on input line

111.

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-basic-dictionary/translator-basic-dictionary-English.dict

Dictionary: translator-basic-dictionary, Language: English

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-bibliography-dictionary/translator-bibliography-dictionary-English.dict

Dictionary: translator-bibliography-dictionary, Language: English

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-environment-dictionary/translator-environment-dictionary-English.dict

Dictionary: translator-environment-dictionary, Language: English

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-months-dictionary/translator-months-dictionary-English.dict

Dictionary: translator-months-dictionary, Language: English

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-numbers-dictionary/translator-numbers-dictionary-English.dict

Dictionary: translator-numbers-dictionary, Language: English

)

(/usr/local/texlive/2012/texmf-dist/tex/latex/beamer/translator/dicts/translato

r-theorem-dictionary/translator-theorem-dictionary-English.dict

Dictionary: translator-theorem-dictionary, Language: English

)

LaTeX Info: Redefining \includegraphics on input line 111.

(./unboundedArithmetic.nav)

Overfull \hbox (30.40973pt too wide) in paragraph at lines 111--111

 [][][][]

 []

LaTeX Font Warning: Font shape `OT1/cmss/m/n' in size <4> not available

(Font)              size <5> substituted on input line 112.

Overfull \hbox (30.40973pt too wide) has occurred while \output is active

 [][][][]

 []

[1

{/usr/local/texlive/2012/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]

LaTeX Font Info:    Try loading font information for U+msa on input line 137.

(/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/umsa.fd