This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdftex 2010.7.5)  29 MAY 2012 15:04
entering extended mode
 %&-line parsing enabled.
**manual
(./manual.tex (../../../doc/gapmacro.tex
(/usr/share/texmf-texlive/tex/plain/amsfonts/amssym.tex
(/usr/share/texmf-texlive/tex/plain/amsfonts/amssym.def
\msafam=\fam8
\msbfam=\fam9
\eufmfam=\fam10
))
Running PDFTeX
\pagewidth=\dimen16
\pageheight=\dimen17
\colwidth=\dimen18
\partialpage=\box16
\origvsize=\dimen19
\manindent=\dimen20
\smallmanindent=\dimen21
\itfam=\fam11
\slfam=\fam12
\bffam=\fam13
\ttfam=\fam14
\msbfam=\fam15
\ttindent=\dimen22
\labelout=\write0
\indexout=\write1
\secindout=\write2
\tocout=\write3
\citeout=\write4
\ans=\write5
\exampleout=\write6
\labelin=\read0
\indexin=\read1
\tocin=\read2
\citein=\read3
\secno=\count26
\subsecno=\count27
\exno=\count28
\indentno=\count29
\chapnum=\count30
\ortoks=\toks12
\bibindent=\dimen23
)
No file ../../../doc/ext/manual.lab.
No file ../../../doc/ref/manual.lab.
[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
\makelabel{grpconst:Contents}{{\setbox 0=\hbox {1}\vrule width 0pt height\ht 0}
}
Chapter `Contents' .
(./manual.toc) [2.1
\chapcontents {\tocstrut }{Contents}{2}
] (./manual.lab)
\openout3 = `manual.toc'.

\openout0 = `manual.lab'.

\openout1 = `manual.idx'.

\openout2 = `manual.six'.

\openout4 = `manual.aux'.

 (./preface.tex
Chapter `Preface' .
) (./intro.tex [3.1]
Chapter `Introduction to GrpConst' .
) (./wrap.tex [4.2]
Chapter `Construction of All Groups' .
\openout6 = `manual.example-3.tst'.

) (./frattext.tex [5.3]
Chapter `The Frattini Extension Method' .
[6.4]
\openout6 = `manual.example-4.tst'.

 [7.4] [8.4]) (./cyclic.tex [9.4]
Chapter `The Cyclic Split Extension Method' .
\openout6 = `manual.example-5.tst'.

[10.5]) (./upext.tex [11.5]
Chapter `The Upwards Extension Method' .
\openout6 = `manual.example-6.tst'.

[12.6]) (./examples.tex [13.6]
Chapter `Examples with Runtimes' .
\openout6 = `manual.example-7.tst'.

[14.7]) [15.7]
Chapter `Bibliography' .
(./manual.bbl) [16.8]
##
## Citations for BibTeX written on manual.aux.
## Index entries for makeindex written on manual.idx.
## Section index entries written on manual.six.
## Label definitions written on manual.lab.
## Table of contents written on manual.toc.
## Examples written to manual.example-XX.tst.
##
 ){/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.enc}</usr/share/texmf-texli
ve/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/blue
sky/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmsy10.pfb></
usr/share/texmf-texlive/fonts/type1/bluesky/cm/cmtt10.pfb></usr/share/texmf-tex
live/fonts/type1/bluesky/ams/msam7.pfb></usr/share/texmf-texlive/fonts/type1/ur
w/helvetic/uhvb8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/symbol/usyr.pfb
></usr/share/texmf-texlive/fonts/type1/urw/times/utmb8a.pfb></usr/share/texmf-t
exlive/fonts/type1/urw/times/utmr8a.pfb></usr/share/texmf-texlive/fonts/type1/u
rw/times/utmr8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/times/utmri8a.pfb
>
Output written on manual.pdf (16 pages, 145409 bytes).
PDF statistics:
 221 PDF objects out of 1000 (max. 8388607)
 35 named destinations out of 1000 (max. 131072)
 121 words of extra memory for PDF output out of 10000 (max. 10000000)

