This is pdfTeX, Version 3.14159-1.10a (Web2C 7.4.5) (format=pdftex 2003.5.8)  20 AUG 2003 18:39
**manual
(./manual.tex{/var/lib/texmf/pdftex/config/pdftex.cfg}
(../../../doc/gapmacro.tex (/usr/share/texmf/tex/plain/amsfonts/amssym.tex
(/usr/share/texmf/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
\msbfam=\fam11
\labelout=\write0
\indexout=\write1
\secindout=\write2
\tocout=\write3
\citeout=\write4
\ans=\write5
\labelin=\read0
\indexin=\read1
\tocin=\read2
\citein=\read3
\secno=\count26
\subsecno=\count27
\exno=\count28
\indentno=\count29
\chapnum=\count30
\ortoks=\toks12
) (../../../doc/ext/manual.lab) (../../../doc/ref/manual.lab) [1{/var/lib/texmf
/dvips/config/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' .
) (./frattext.tex [5.3]
Chapter `The Frattini Extension Method' .
[6.4] [7.4] [8.4]) (./cyclic.tex [9.4]
Chapter `The Cyclic Split Extension Method' .
[10.5]) (./upext.tex [11.5]
Chapter `The Upwards Extension Method' .
[12.6]) (./examples.tex [13.6]
Chapter `Examples with Runtimes' .
[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.
##
 ){/usr/share/texmf/dvips/tetex/f7b6d320.enc}</usr/share/texmf/fonts/type1/blue
sky/cm/cmsl10.pfb>{/usr/share/texmf/dvips/tetex/aae443f0.enc}</usr/share/texmf/
fonts/type1/bluesky/cm/cmmi10.pfb>{/usr/share/texmf/dvips/tetex/bbad153f.enc}</
usr/share/texmf/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/texmf/fonts/type1/
bluesky/symbols/msam7.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr8.pfb>{/u
sr/share/texmf/dvips/tetex/09fbbfac.enc}</usr/share/texmf/fonts/type1/bluesky/c
m/cmtt10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmr7.pfb></usr/share/texm
f/fonts/type1/bluesky/cm/cmsy10.pfb>{/usr/share/texmf/dvips/tetex/74afc74c.enc}
</usr/share/texmf/fonts/type1/bluesky/cm/cmti10.pfb>{/usr/share/texmf/dvips/tet
ex/1b6d048e.enc}</usr/share/texmf/fonts/type1/bluesky/cm/cminch.pfb></usr/share
/texmf/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/texmf/fonts/type1/bluesky/
cm/cmr10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmssdc10.pfb>
Output written on manual.pdf (16 pages, 135379 bytes).
