This is pdfTeX, Version 3.1415926-1.40.10 (MiKTeX 2.8) (preloaded format=pdflatex 2021.4.1)  24 OCT 2024 09:45
entering extended mode
**ICenSeq2.tex
(C:\lamport\books\fred\book-specs\ICenSeq1.toolbox\ICenSeq2.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ge
rman, ngerman, german-x-2009-06-19, ngerman-x-2009-06-19, french, loaded.

("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\base\article.cls"
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\base\size10.clo"
File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) ("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\graphics\color.sty"
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\00miktex\color.cfg"
File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
)
Package color Info: Driver file: pdftex.def on input line 130.
("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\pdftex-def\pdftex.def"
File: pdftex.def 2010/02/14 v0.04n Graphics/color for pdfTeX
\Gread@gobject=\count87
)) ("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\base\latexsym.sty"
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
) ("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\base\ifthen.sty"
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\symlength=\skip43
\equalswidth=\skip44
\charwidth=\skip45
\boxrulewd=\skip46
\boxlineht=\skip47
\boxruleht=\skip48
\boxruledp=\skip49
\pcalvspace=\skip50
\lcomindent=\skip51
\@xlen=\skip52
\templena=\skip53
\templenb=\skip54
\tempboxa=\box26
\vshadelen=\skip55
\boxwidth=\skip56
\multicommentdepth=\skip57
\c@pardepth=\count88
\tempsbox=\box27
\@cparht=\skip58
\@cpardp=\skip59
\xmcomlen=\skip60
\spacewidth=\skip61
\alignboxwidth=\skip62
\alignwidth=\skip63
\alignbox=\box28
\symtlaitalics=\mathgroup5
\c@tlx@ctr=\count89
("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\tools\verbatim.sty"
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks14
\verbatim@line=\toks15
\verbatim@in@stream=\read1
) (C:\lamport\books\fred\book-specs\ICenSeq1.toolbox\ICenSeq2.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 939.
LaTeX Font Info:    ... okay on input line 939.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 939.
LaTeX Font Info:    ... okay on input line 939.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 939.
LaTeX Font Info:    ... okay on input line 939.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 939.
LaTeX Font Info:    ... okay on input line 939.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 939.
LaTeX Font Info:    ... okay on input line 939.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 939.
LaTeX Font Info:    ... okay on input line 939.
("C:\Program Files (x86)\MiKTeX 2.8\tex\context\base\supp-pdf.tex"
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count90
\scratchdimen=\dimen103
\scratchbox=\box29
\nofMPsegments=\count91
\nofMParguments=\count92
\everyMPshowfont=\toks16
\MPscratchCnt=\count93
\MPscratchDim=\dimen104
\MPnumerator=\count94
\everyMPtoPDFconversion=\toks17
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 942.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 942.
LaTeX Font Info:    Try loading font information for U+lasy on input line 942.
("C:\Program Files (x86)\MiKTeX 2.8\tex\latex\base\ulasy.fd"
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 946.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 946.
[1

{C:/ProgramData/MiKTeX/2.8/pdftex/config/pdftex.map}] (C:\lamport\books\fred\bo
ok-specs\ICenSeq1.toolbox\ICenSeq2.aux) ) 
Here is how much of TeX's memory you used:
 1074 strings out of 495284
 12874 string characters out of 3179949
 70679 words of memory out of 3000000
 4314 multiletter control sequences out of 15000+200000
 8505 words of font info for 33 fonts, out of 3000000 for 9000
 14 hyphenation exceptions out of 8191
 23i,10n,25p,221b,317s stack positions out of 5000i,500n,10000p,200000b,50000s
<C:/Program Files (x86)/MiKTeX 2.8/fon
ts/type1/public/amsfonts/cm/cmcsc10.pfb><C:/Program Files (x86)/MiKTeX 2.8/font
s/type1/public/amsfonts/cm/cmmi10.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/
type1/public/amsfonts/cm/cmr10.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/typ
e1/public/amsfonts/cm/cmr5.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/p
ublic/amsfonts/cm/cmr8.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/publi
c/amsfonts/cm/cmsy10.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/
amsfonts/cm/cmsy7.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/ams
fonts/cm/cmsy8.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/amsfon
ts/cm/cmti10.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/amsfonts
/cm/cmti7.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/amsfonts/cm
/cmti8.pfb><C:/Program Files (x86)/MiKTeX 2.8/fonts/type1/public/amsfonts/latxf
ont/lasy10.pfb>
Output written on ICenSeq2.pdf (1 page, 125451 bytes).
PDF statistics:
 54 PDF objects out of 1000 (max. 8388607)
 0 named destinations out of 1000 (max. 500000)
 1 words of extra memory for PDF output out of 10000 (max. 10000000)

