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).