This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012) (format=pdflatex 2012.6.30)  17 MAR 2016 21:33
entering extended mode
 restricted \write18 enabled.
 file:line:error style messages enabled.
 %&-line parsing enabled.
**Counting.tex
(./Counting.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.
(/Users/ksmani/Library/texmf/tex/latex/beamer.cls
(/Users/ksmani/Library/texmf/tex/latex/beamerbasercs.sty
Package: beamerbasercs 2004/10/07 (rcs-revision 1.3)
)
Document Class: beamer 2005/10/23 cvs version 3.06 A class for typesetting pres
entations (rcs-revision 1.67)

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasemodes.s
ty
Package: beamerbasemodes 2007/01/28 (rcs-revision 1.22)
\beamer@tempbox=\box26
\beamer@tempcount=\count79
\c@beamerpauses=\count80

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasedecode.
sty
Package: beamerbasedecode 2007/01/28 (rcs-revision 1.20)
\beamer@slideinframe=\count81
\beamer@minimum=\count82
)
\beamer@commentbox=\box27
\beamer@modecount=\count83
)
\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

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseoptions
.sty
Package: beamerbaseoptions 2007/01/28 (rcs-revision 1.8)
 (/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
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/basiclayer/pgfcore.st
y (/Users/ksmani/Library/texmf/tex/latex/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.

(/Users/ksmani/Library/texmf/tex/latex/pdftex.def
File: pdftex.def 2009/08/25 v0.04m Graphics/color for pdfTeX
\Gread@gobject=\count102
))
\Gin@req@height=\dimen119
\Gin@req@width=\dimen120
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/systemlayer/pgfsys.st
y
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/utilities/pgfrcs.sty
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/utilities/pgfutil-c
ommon.tex
\pgfutil@everybye=\toks15
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/utilities/pgfutil-l
atex.def)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/utilities/pgfrcs.co
de.tex
Package: pgfrcs 2008/02/20 v2.00 (rcs-revision 1.21)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgfsys.
code.tex
Package: pgfsys 2008/02/07 v2.00 (rcs-revision 1.31)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/utilities/pgfkeys.c
ode.tex
\pgfkeys@pathtoks=\toks16
\pgfkeys@temptoks=\toks17
)
\pgf@x=\dimen121
\pgf@y=\dimen122
\pgf@xa=\dimen123
\pgf@ya=\dimen124
\pgf@xb=\dimen125
\pgf@yb=\dimen126
\pgf@xc=\dimen127
\pgf@yc=\dimen128
\c@pgf@counta=\count103
\c@pgf@countb=\count104
\c@pgf@countc=\count105
\c@pgf@countd=\count106

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgf.cfg
File: pgf.cfg 2008/01/13  (rcs-revision 1.6)
)
Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 885.

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgfsys-
pdftex.def
File: pgfsys-pdftex.def 2007/12/20  (rcs-revision 1.20)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgfsys-
common-pdf.def
File: pgfsys-common-pdf.def 2007/12/17  (rcs-revision 1.8)
)))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgfsyss
oftpath.code.tex
File: pgfsyssoftpath.code.tex 2008/01/23  (rcs-revision 1.6)
\pgfsyssoftpath@smallbuffer@items=\count107
\pgfsyssoftpath@bigbuffer@items=\count108
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/systemlayer/pgfsysp
rotocol.code.tex
File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
)) (/Users/ksmani/Library/texmf/tex/latex/xcolor/xcolor.sty
Package: xcolor 2004/07/04 v2.00 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 136.
Package xcolor Info: Color model `cmy' added on input line 972.
Package xcolor Info: Color model `hsb' added on input line 980.
Package xcolor Info: Color model `HTML' added on input line 1000.
Package xcolor Info: Color model `HSB' added on input line 1006.
Package xcolor Info: Color model `Gray' added on input line 1012.
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcore.
code.tex
Package: pgfcore 2008/01/15 v2.00 (rcs-revision 1.6)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmath.code.t
ex
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathcalc.co
de.tex
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathutil.co
de.tex
\pgfmath@box=\box34
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathparser.
code.tex
\pgfmath@stack=\toks18
\c@pgfmath@parsecounta=\count109
\c@pgfmath@parsecountb=\count110
\c@pgfmath@parsecountc=\count111
\pgfmath@parsex=\dimen129
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathoperati
ons.code.tex
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathtrig.co
de.tex)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathrnd.cod
e.tex))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/math/pgfmathbase.co
de.tex)))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorep
oints.code.tex
File: pgfcorepoints.code.tex 2008/02/03  (rcs-revision 1.13)
\pgf@picminx=\dimen130
\pgf@picmaxx=\dimen131
\pgf@picminy=\dimen132
\pgf@picmaxy=\dimen133
\pgf@pathminx=\dimen134
\pgf@pathmaxx=\dimen135
\pgf@pathminy=\dimen136
\pgf@pathmaxy=\dimen137
\pgf@xx=\dimen138
\pgf@xy=\dimen139
\pgf@yx=\dimen140
\pgf@yy=\dimen141
\pgf@zx=\dimen142
\pgf@zy=\dimen143
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorep
athconstruct.code.tex
File: pgfcorepathconstruct.code.tex 2008/02/13  (rcs-revision 1.14)
\pgf@path@lastx=\dimen144
\pgf@path@lasty=\dimen145
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorep
athusage.code.tex
File: pgfcorepathusage.code.tex 2008/01/23  (rcs-revision 1.11)
\pgf@shorten@end@additional=\dimen146
\pgf@shorten@start@additional=\dimen147
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcores
copes.code.tex
File: pgfcorescopes.code.tex 2008/01/15  (rcs-revision 1.26)
\pgfpic=\box35
\pgf@hbox=\box36
\pgf@layerbox@main=\box37
\pgf@picture@serial@count=\count112
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcoreg
raphicstate.code.tex
File: pgfcoregraphicstate.code.tex 2007/12/12  (rcs-revision 1.8)
\pgflinewidth=\dimen148
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcoret
ransformations.code.tex
File: pgfcoretransformations.code.tex 2008/02/04  (rcs-revision 1.10)
\pgf@pt@x=\dimen149
\pgf@pt@y=\dimen150
\pgf@pt@temp=\dimen151
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcoreq
uick.code.tex
File: pgfcorequick.code.tex 2006/10/11  (rcs-revision 1.2)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcoreo
bjects.code.tex
File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorep
athprocessing.code.tex
File: pgfcorepathprocessing.code.tex 2008/01/23  (rcs-revision 1.7)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorea
rrows.code.tex
File: pgfcorearrows.code.tex 2007/06/07  (rcs-revision 1.8)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcores
hade.code.tex
File: pgfcoreshade.code.tex 2007/12/10  (rcs-revision 1.9)
\pgf@max=\dimen152
\pgf@sys@shading@range@num=\count113
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorei
mage.code.tex
File: pgfcoreimage.code.tex 2008/01/15  (rcs-revision 1.1)
\pgfexternal@startupbox=\box38
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorel
ayers.code.tex
File: pgfcorelayers.code.tex 2008/01/15  (rcs-revision 1.1)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcoret
ransparency.code.tex
File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/basiclayer/pgfcorep
atterns.code.tex
File: pgfcorepatterns.code.tex 2008/01/15  (rcs-revision 1.1)
)))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/basiclayer/pgfbaseima
ge.sty

Package pgf Warning: This package is obsolete and no longer needed on input lin
e 13.

)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/utilities/xxcolor.sty
Package: xxcolor 2003/10/24 ver 0.1
\XC@nummixins=\count114
\XC@countmixins=\count115
) (/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=\toks19
\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.
))
(/Users/ksmani/Library/texmf/tex/latex/geometry.sty
Package: geometry 2000/06/28 v2.3 Page Geometry
\Geom@cnth=\count116
\Geom@cntv=\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: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in PDF mode is detected.
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/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
(/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=\dimen153
\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=\dimen154
\Fld@charsize=\dimen155
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.


Package hyperref Warning: Option `pdfpagelabels' is turned off
(hyperref)                because \thepage is undefined.


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=\count123
\c@bookmark@seq@number=\count124

(/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/extsizes/size8.clo
File: size8.clo 1999/11/11 v1.4a NON-Standard LaTeX file (size option)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasecompati
bility.sty
Package: beamerbasecompatibility 2007/01/28  (rcs-revision 1.63)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasefont.st
y
Package: beamerbasefont 2007/01/28  (rcs-revision 1.16)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasemisc.st
y
Package: beamerbasemisc 2007/01/28  (rcs-revision 1.24)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasetwoscre
ens.sty
Package: beamerbasetwoscreens 2007/01/28  (rcs-revision 1.7)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseoverlay
.sty
Package: beamerbaseoverlay 2007/01/28  (rcs-revision 1.50)
\beamer@argscount=\count125
\beamer@lastskipcover=\skip42
\beamer@trivlistdepth=\count126
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasetitle.s
ty
Package: beamerbasetitle 2007/01/28  (rcs-revision 1.25)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasesection
.sty
Package: beamerbasesection 2007/01/28  (rcs-revision 1.21)
\c@lecture=\count127
\c@part=\count128
\c@section=\count129
\c@subsection=\count130
\c@subsubsection=\count131
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseframe.s
ty
Package: beamerbaseframe 2007/01/28  (rcs-revision 1.60)
\beamer@framebox=\box39
\beamer@frametitlebox=\box40
\beamer@zoombox=\box41
\beamer@zoomcount=\count132
\beamer@zoomframecount=\count133
\beamer@frametextheight=\dimen156
\c@subsectionslide=\count134
\beamer@frametopskip=\skip43
\beamer@framebottomskip=\skip44
\beamer@frametopskipautobreak=\skip45
\beamer@framebottomskipautobreak=\skip46
\beamer@envbody=\toks20
\c@framenumber=\count135
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseverbati
m.sty
Package: beamerbaseverbatim 2007/01/28  (rcs-revision 1.8)
\beamer@verbatimfileout=\write3
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseframesi
ze.sty
Package: beamerbaseframesize 2007/01/28  (rcs-revision 1.18)
\beamer@splitbox=\box42
\beamer@autobreakcount=\count136
\beamer@autobreaklastheight=\dimen157
\beamer@frametitletoks=\toks21
\beamer@framesubtitletoks=\toks22
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseframeco
mponents.sty
Package: beamerbaseframecomponents 2007/01/28  (rcs-revision 1.41)
\beamer@footins=\box43
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasecolor.s
ty
Package: beamerbasecolor 2007/01/28  (rcs-revision 1.42)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasenotes.s
ty
Package: beamerbasenotes 2007/01/28  (rcs-revision 1.23)
\beamer@frameboxcopy=\box44
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasetoc.sty
Package: beamerbasetoc 2007/01/28  (rcs-revision 1.21)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasetemplat
es.sty
Package: beamerbasetemplates 2007/01/28  (rcs-revision 1.51)
\beamer@sbttoks=\toks23

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseauxtemp
lates.sty
Package: beamerbaseauxtemplates 2007/01/28  (rcs-revision 1.28)

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaseboxes.s
ty
Package: beamerbaseboxes 2007/03/11  (rcs-revision 1.32)
\bmb@box=\box45
\bmb@colorbox=\box46
\bmb@boxshadow=\box47
\bmb@boxshadowball=\box48
\bmb@boxshadowballlarge=\box49
\bmb@temp=\dimen158
\bmb@dima=\dimen159
\bmb@dimb=\dimen160
\bmb@prevheight=\dimen161
)
\beamer@blockheadheight=\dimen162
))
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbaselocalst
ructure.sty
Package: beamerbaselocalstructure 2007/01/28  (rcs-revision 1.53)
 (/usr/local/texlive/2012/texmf-dist/tex/latex/tools/enumerate.sty
Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC)
\@enLab=\toks24
)
\c@figure=\count137
\c@table=\count138
\abovecaptionskip=\skip47
\belowcaptionskip=\skip48
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasenavigat
ion.sty
Package: beamerbasenavigation 2007/01/28  (rcs-revision 1.36)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasetheorem
s.sty
Package: beamerbasetheorems 2007/01/28  (rcs-revision 1.10)

(/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/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip49

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=\toks25
\ex@=\dimen163
))
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen164
)
(/usr/local/texlive/2012/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count139
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count140
\leftroot@=\count141
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count142
\DOTSCASE@=\count143
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@=\box50
\strutbox@=\box51
\big@size=\dimen165
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count144
\c@MaxMatrixCols=\count145
\dotsspace@=\muskip11
\c@parentequation=\count146
\dspbrk@lvl=\count147
\tag@help=\toks26
\row@=\count148
\column@=\count149
\maxfields@=\count150
\andhelp@=\toks27
\eqnshift@=\dimen166
\alignsep@=\dimen167
\tagshift@=\dimen168
\tagwidth@=\dimen169
\totwidth@=\dimen170
\lineht@=\dimen171
\@envbody=\toks28
\multlinegap=\skip50
\multlinetaggap=\skip51
\mathdisplay@stack=\toks29
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=\toks30
\thm@bodyfont=\toks31
\thm@headfont=\toks32
\thm@notefont=\toks33
\thm@headpunct=\toks34
\thm@preskip=\skip52
\thm@postskip=\skip53
\thm@headsep=\skip54
\dth@everypar=\toks35
)
\c@theorem=\count151
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/base/beamerbasethemes.
sty
Package: beamerbasethemes 2007/01/28  (rcs-revision 1.10)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/theme/beamerthe
medefault.sty
Package: beamerthemedefault 2007/01/28  (rcs-revision 1.7)

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/font/beamerfont
themedefault.sty
Package: beamerfontthemedefault 2007/01/28  (rcs-revision 1.13)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/color/beamercol
orthemedefault.sty
Package: beamercolorthemedefault 2007/01/28  (rcs-revision 1.28)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/inner/beamerinn
erthemedefault.sty
Package: beamerinnerthemedefault 2007/01/28  (rcs-revision 1.20)
\beamer@dima=\dimen172
\beamer@dimb=\dimen173
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/outer/beamerout
erthemedefault.sty
Package: beamerouterthemedefault 2007/01/28  (rcs-revision 1.14)
))) (/Users/ksmani/Library/texmf/tex/latex/bdefs.tex
\c@algcounterA=\count152
\c@algcounterB=\count153
\c@algcounterC=\count154
\c@Assumption=\count155
\c@Proposition=\count156
\c@strategy=\count157
\c@Note=\count158
\c@Setup=\count159
\c@Observation=\count160
\c@Observations=\count161
\c@Procedure=\count162
\c@Query=\count163
\c@Goal=\count164
\c@Remark=\count165
\c@remark=\count166
\c@Exercise=\count167
\c@Result=\count168
\c@Steps=\count169
\c@conjecture=\count170
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/color/beamercol
orthemeseahorse.sty
Package: beamercolorthemeseahorse 2007/01/28  (rcs-revision 1.4)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/theme/beamerthe
meWarsaw.sty
Package: beamerthemeWarsaw 2007/01/28  (rcs-revision 1.9)

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/inner/beamerinn
erthemerounded.sty
Package: beamerinnerthemerounded 2007/01/28  (rcs-revision 1.5)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/outer/beamerout
erthemeshadow.sty
Package: beamerouterthemeshadow 2007/01/28  (rcs-revision 1.9)

(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/outer/beamerout
erthemesplit.sty
Package: beamerouterthemesplit 2007/01/28  (rcs-revision 1.5)
))
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/color/beamercol
orthemeorchid.sty
Package: beamercolorthemeorchid 2007/01/28  (rcs-revision 1.3)
)
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/color/beamercol
orthemewhale.sty
Package: beamercolorthemewhale 2007/01/28  (rcs-revision 1.4)
))
(/Users/ksmani/Library/texmf/tex/latex/latex-beamer-3.07/themes/font/beamerfont
themestructurebold.sty
Package: beamerfontthemestructurebold 2007/01/28  (rcs-revision 1.3)
) (/Users/ksmani/Library/texmf/tex/latex/pgf.sty
Package: pgf 2008/01/15 v2.00 (rcs-revision 1.12)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfcomp
-version-0-65.sty
Package: pgfcomp-version-0-65 2007/07/03 v2.00 (rcs-revision 1.7)
\pgf@nodesepstart=\dimen174
\pgf@nodesepend=\dimen175
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfcomp
-version-1-18.sty
Package: pgfcomp-version-1-18 2007/07/23 v2.00 (rcs-revision 1.1)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfarro
ws.sty
Package: pgfarrows 2006/10/11 v2.00 (rcs-revision 1.3)


Package pgfarrows Warning: This package is obsolete. pgf.sty will load arrow ma
nagement automatically on input line 17.

)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfnode
s.sty
Package: pgfnodes 2006/10/11 v2.00 (rcs-revision 1.3)


Package pgfnodes Warning: This package is obsolete. pgf.sty will load node mana
gement automatically on input line 17.

)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfauto
mata.sty
Package: pgfautomata 2006/10/11 v2.00 (rcs-revision 1.3)


Package pgfautomata Warning: This package is obsolete. on input line 17.

\pgf@stateradius=\dimen176
\pgf@mooreradius=\dimen177
\pgf@doublethickness=\dimen178
\pgf@statebackoff=\dimen179
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfheap
s.sty
Package: pgfheaps 2006/10/11 v2.00 (rcs-revision 1.3)


Package pgfheaps Warning: This package is obsolete. on input line 16.

\pgf@heapx=\dimen180
\pgf@heapy=\dimen181
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/compatibility/pgfshad
e.sty
Package: pgfshade 2006/10/11 v2.00 (rcs-revision 1.3)


Package pgfshade Warning: This package is obsolete. pgf.sty will load shade man
agement automatically on input line 17.

) (/usr/local/texlive/2012/texmf-dist/tex/latex/base/inputenc.sty
Package: inputenc 2008/03/30 v1.1d Input encoding file
\inpenc@prehook=\toks36
\inpenc@posthook=\toks37

(/usr/local/texlive/2012/texmf-dist/tex/latex/base/latin1.def
File: latin1.def 2008/03/30 v1.1d Input encoding file
))
(/usr/local/texlive/2012/texmf-dist/tex/latex/colortbl/colortbl.sty
Package: colortbl 2012/02/13 v1.0a Color table columns (DPC)

(/usr/local/texlive/2012/texmf-dist/tex/latex/tools/array.sty
Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
\col@sep=\dimen182
\extrarowheight=\dimen183
\NC@list=\toks38
\extratabsurround=\skip55
\backup@length=\skip56
)
\everycr=\toks39
\minrowclearance=\skip57
)
(/usr/local/texlive/2012/texmf-dist/tex/generic/babel/babel.sty
Package: babel 2008/07/08 v3.8m The Babel package

(/usr/local/texlive/2012/texmf-dist/tex/generic/babel/english.ldf
Language: english 2005/03/30 v3.3o English support from the babel system

(/usr/local/texlive/2012/texmf-dist/tex/generic/babel/babel.def
File: babel.def 2008/07/08 v3.8m Babel common definitions
LaTeX Info: Redefining \textlatin on input line 82.
\babel@savecnt=\count171
\U@D=\dimen184
)
\l@canadian = a dialect from \language\l@american 
\l@australian = a dialect from \language\l@british 
\l@newzealand = a dialect from \language\l@british 
))
(/Users/ksmani/Library/texmf/tex/latex/algorithm.sty
Package: algorithm 

Document Style `algorithm' - floating environment
(/usr/local/texlive/2012/texmf-dist/tex/latex/float/float.sty
Package: float 2001/11/08 v1.3d Float enhancements (AL)
\c@float@type=\count172
\float@exts=\toks40
\float@box=\box52
\@float@everytoks=\toks41
\@floatcapt=\box53
)
(/usr/local/texlive/2012/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\@float@every@algorithm=\toks42
\c@algorithm=\count173
)
(/Users/ksmani/Library/texmf/tex/latex/algorithmic.sty
Package: algorithmic 2006/06/02

Document Style `algorithmic' - environment
(/usr/local/texlive/2012/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count174
\calc@Bcount=\count175
\calc@Adimen=\dimen185
\calc@Bdimen=\dimen186
\calc@Askip=\skip58
\calc@Bskip=\skip59
LaTeX Info: Redefining \setlength on input line 76.
LaTeX Info: Redefining \addtolength on input line 77.
\calc@Ccount=\count176
\calc@Cskip=\skip60
)
\c@ALC@line=\count177
\c@ALC@rem=\count178
\c@ALC@depth=\count179
\ALC@tlm=\skip61
\algorithmicindent=\skip62
)
(/usr/local/texlive/2012/texmf-dist/tex/latex/setspace/setspace.sty
Package: setspace 2011/12/19 v6.7a set line spacing
)
(/usr/local/texlive/2012/texmf-dist/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
\epsfxsize=\dimen187
\epsfysize=\dimen188
)
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/frontendlayer/tikz.st
y
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/latex/pgf/utilities/pgffor.sty
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/utilities/pgffor.co
de.tex
Package: pgffor 2007/11/07 v2.00 (rcs-revision 1.8)
\pgffor@iter=\dimen189
\pgffor@skip=\dimen190
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
tikz.code.tex
Package: tikz 2008/02/13 v2.00 (rcs-revision 1.27)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yplothandlers.code.tex
File: pgflibraryplothandlers.code.tex 2007/03/09 v2.00 (rcs-revision 1.9)
\pgf@plot@mark@count=\count180
\pgfplotmarksize=\dimen191
)
\tikz@lastx=\dimen192
\tikz@lasty=\dimen193
\tikz@lastxsaved=\dimen194
\tikz@lastysaved=\dimen195
\tikzleveldistance=\dimen196
\tikzsiblingdistance=\dimen197
\tikz@figbox=\box54
\tikz@tempbox=\box55
\tikztreelevel=\count181
\tikznumberofchildren=\count182
\tikznumberofcurrentchild=\count183
\tikz@fig@count=\count184

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/modules/pgfmodulema
trix.code.tex
File: pgfmodulematrix.code.tex 2008/01/15  (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/modules/pgfmodulesh
apes.code.tex
File: pgfmoduleshapes.code.tex 2008/02/13  (rcs-revision 1.4)
\pgfnodeparttextbox=\box56
\toks@savedmacro=\toks43
)
\pgfmatrixcurrentrow=\count185
\pgfmatrixcurrentcolumn=\count186
\pgf@matrix@numberofcolumns=\count187
)
\tikz@expandcount=\count188

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibrarytopaths.code.tex
File: tikzlibrarytopaths.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)
)))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryarrows.code.tex
File: tikzlibraryarrows.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yarrows.code.tex
File: pgflibraryarrows.code.tex 2007/06/07 v2.00 (rcs-revision 1.7)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.code.tex
File: tikzlibraryshapes.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.geometric.code.tex
File: tikzlibraryshapes.geometric.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.geometric.code.tex
File: pgflibraryshapes.geometric.code.tex 2008/02/01 v2.00 (rcs-revision 1.22)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.misc.code.tex
File: tikzlibraryshapes.misc.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.misc.code.tex
File: pgflibraryshapes.misc.code.tex 2008/02/12 v2.00 (rcs-revision 1.10)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.symbols.code.tex
File: tikzlibraryshapes.symbols.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.symbols.code.tex
File: pgflibraryshapes.symbols.code.tex 2008/01/30 v2.00 (rcs-revision 1.13)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.arrows.code.tex
File: tikzlibraryshapes.arrows.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.arrows.code.tex
File: pgflibraryshapes.arrows.code.tex 2007/11/10 v2.00 (rcs-revision 1.3)
))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.callouts.code.tex
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.callouts.code.tex))
(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/frontendlayer/tikz/
libraries/tikzlibraryshapes.multipart.code.tex
File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.00 (rcs-revision 1.1)

(/Users/ksmani/Library/texmf/tex/latex/pgf-2.00/generic/pgf/libraries/pgflibrar
yshapes.multipart.code.tex
File: pgflibraryshapes.multipart.code.tex 2008/01/15 v2.00 (rcs-revision 1.7)
\pgfnodepartlowerbox=\box57
\pgfnodepartsecondbox=\box58
\pgfnodepartthirdbox=\box59
\pgfnodepartfourthbox=\box60
)))
Package hyperref Info: Option `colorlinks' set `true' on input line 59.

(/usr/local/texlive/2012/texmf-dist/tex/latex/psnfss/times.sty
Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) 
) (./Counting.aux)
\openout1 = `Counting.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 87.
LaTeX Font Info:    ... okay on input line 87.
LaTeX Font Info:    Try loading font information for OT1+phv on input line 87.
 (/usr/local/texlive/2012/texmf-dist/tex/latex/psnfss/ot1phv.fd
File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv.
)
(/usr/local/texlive/2012/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count189
\scratchdimen=\dimen198
\scratchbox=\box61
\nofMPsegments=\count190
\nofMParguments=\count191
\everyMPshowfont=\toks44
\MPscratchCnt=\count192
\MPscratchDim=\dimen199
\MPnumerator=\count193
\makeMPintoPDFobject=\count194
\everyMPtoPDFconversion=\toks45
) (/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
))
\rownum=\count195
\AtBeginShipoutBox=\box62
Package hyperref Info: Link coloring ON on input line 87.

(/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=\count196
)
LaTeX Info: Redefining \ref on input line 87.
LaTeX Info: Redefining \pageref on input line 87.
LaTeX Info: Redefining \nameref on input line 87.

(./Counting.out) (./Counting.out)
\@outlinefile=\write4
\openout4 = `Counting.out'.

LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
(Font)                  OT1/cmr/m/n --> OT1/cmss/m/n on input line 87.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 87.
\symnumbers=\mathgroup6
\sympureletters=\mathgroup7
LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `normal'
(Font)                  OT1/cmss/m/n --> OT1/ptm/m/n on input line 87.
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
(Font)                  OT1/cmr/bx/n --> OT1/phv/bx/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/phv/bx/n on input line 87.
LaTeX Font Info:    Redeclaring math alphabet \mathsf on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
(Font)                  OT1/cmss/m/n --> OT1/phv/m/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
(Font)                  OT1/cmss/bx/n --> OT1/phv/m/n on input line 87.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
(Font)                  OT1/cmr/m/it --> OT1/phv/m/it on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/cmr/bx/it --> OT1/phv/m/it on input line 87.
LaTeX Font Info:    Redeclaring math alphabet \mathtt on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
(Font)                  OT1/cmtt/m/n --> OT1/pcr/m/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
(Font)                  OT1/cmtt/m/n --> OT1/pcr/m/n on input line 87.
LaTeX Font Info:    Overwriting symbol font `numbers' in version `bold'
(Font)                  OT1/phv/m/n --> OT1/phv/bx/n on input line 87.
LaTeX Font Info:    Overwriting symbol font `pureletters' in version `bold'
(Font)                  OT1/phv/m/it --> OT1/phv/bx/it on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathrm' in version `bold'
(Font)                  OT1/cmss/bx/n --> OT1/ptm/bx/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
(Font)                  OT1/phv/bx/n --> OT1/phv/bx/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
(Font)                  OT1/phv/m/n --> OT1/phv/bx/n on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/phv/m/it --> OT1/phv/bx/it on input line 87.
LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
(Font)                  OT1/pcr/m/n --> OT1/pcr/bx/n on input line 87.

(/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 
)
(./Counting.nav)
LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <5> not available
(Font)              Font shape `OT1/phv/b/n' tried instead on input line 87.
LaTeX Font Info:    Try loading font information for U+msa on input line 89.
 (/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 89.
 (/usr/local/texlive/2012/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
)
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <8> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 89.
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <6> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 89.
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <5> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 89.
LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <4> not available
(Font)              Font shape `OT1/phv/b/n' tried instead on input line 89.
 [1{/usr/local/texlive/2012/texmf-var/fonts/map/pdftex/updmap/pdftex.map}

] (./Counting.toc)
[2

] (./Counting.toc) [3

] [4

] [5

] [6

] [7

] [8

] [9

] [10

] [11

] [12

] [13

] [14

]
[15

] [16

] [17

]
LaTeX Font Info:    Font shape `OT1/phv/bx/n' in size <8> not available
(Font)              Font shape `OT1/phv/b/n' tried instead on input line 152.
 [18

] [19

] [20

] [21

] [22

] [23

] [24

] [25

] [26

] (./Counting.toc)
[27

] [28

] [29

] [30

] [31

] [32

] [33

] [34

] [35

] [36

] [37

] [38

] [39

] [40

] [41

]
[42

] [43

] [44

] [45

] [46

] [47

] [48

] [49

] [50

] (./Counting.toc) [51

] [52

]
[53

] [54

] [55

] [56

] [57

] [58

] [59

] [60

] [61

] [62

] [63

] [64

] [65

] [66

] [67

]
[68

] [69

] [70

] [71

] [72

] [73

] [74

] [75

] [76

] (./Counting.toc) [77

] [78

]
[79

] [80

] [81

] [82

] [83

] [84

] (./Counting.toc) [85

] [86

] [87

] [88

] [89

]
[90

] [91

] [92

] [93

] [94

] [95

] [96

] [97

] [98

] [99

] [100

] [101

] [102

] [103

]
[104

] [105

] [106

] (./Counting.toc) [107

] [108

] [109

] [110

] [111

] [112

] [113

]
[114

] [115

] [116

] [117

] [118

] [119

] [120

] [121

] [122

] [123

] [124

] [125

]
[126

]
LaTeX Font Info:    Try loading font information for OT1+ptm on input line 447.

 (/usr/local/texlive/2012/texmf-dist/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
) [127

]
[128

] [129

] [130

] [131

] [132

] [133

] [134

] [135

] [136

] [137

] [138

] [139

]
[140

] [141

] [142

] [143

] [144

] [145

] [146

] [147

] [148

] [149

] [150

] [151

]
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <7> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 503.

[152

] [153

] [154

] [155

] [156

] [157

] [158

] [159

] [160

] [161

] [162

] [163

]
[164

] [165

] [166

] [167

] [168

] [169

] [170

] [171

] [172

] [173

] [174

] [175

]
[176

] [177

] [178

] [179

] [180

] [181

] [182

] [183

] [184

] [185

] [186

] [187

]
[188

] [189

] [190

] [191

] [192

] [193

] [194

] [195

] [196

] [197

] [198

] [199

]
[200

] [201

] [202

] [203

] [204

] [205

] [206

] [207

] [208

] [209

] [210

] [211

]
[212

] [213

] [214

] [215

] [216

] [217

] [218

] [219

] [220

] [221

] [222

] [223

]
[224

] [225

] [226

] [227

] [228

] [229

] [230

] [231

] [232

] [233

] [234

] [235

]
[236

] [237

] [238

]
\tf@nav=\write5
\openout5 = `Counting.nav'.

\tf@toc=\write6
\openout6 = `Counting.toc'.

\tf@snm=\write7
\openout7 = `Counting.snm'.

Package atveryend Info: Empty hook `BeforeClearDocument' on input line 1127.
Package atveryend Info: Empty hook `AfterLastShipout' on input line 1127.
 (./Counting.aux)
Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 1127.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 1127.

Package rerunfilecheck Info: File `Counting.out' has not changed.
(rerunfilecheck)             Checksum: B9478CF9607C153B50796B19B5112042;563.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 1127.
 ) 
Here is how much of TeX's memory you used:
 18334 strings out of 493488
 347220 string characters out of 3141326
 473635 words of memory out of 3000000
 20652 multiletter control sequences out of 15000+200000
 31634 words of font info for 63 fonts, out of 3000000 for 9000
 957 hyphenation exceptions out of 8191
 43i,19n,64p,316b,957s stack positions out of 5000i,500n,10000p,200000b,50000s
{/usr/local/texlive/2012/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/local/t
exlive/2012/texmf-dist/fonts/type1/public/amsfonts/cmextra/cmex8.pfb></usr/loca
l/texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/local/
texlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/local/te
xlive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmss8.pfb></usr/local/texl
ive/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy6.pfb></usr/local/texliv
e/2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/local/texlive/
2012/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/local/texlive/20
12/texmf-dist/fonts/type1/urw/helvetic/uhvb8a.pfb></usr/local/texlive/2012/texm
f-dist/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/local/texlive/2012/texmf-dist/
fonts/type1/urw/helvetic/uhvro8a.pfb></usr/local/texlive/2012/texmf-dist/fonts/
type1/urw/times/utmr8a.pfb>
Output written on Counting.pdf (238 pages, 608270 bytes).
PDF statistics:
 3431 PDF objects out of 3580 (max. 8388607)
 3131 compressed objects within 32 object streams
 486 named destinations out of 1000 (max. 500000)
 171 words of extra memory for PDF output out of 10000 (max. 10000000)