This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2001.5.16)  17 APR 2002 17:32
**\input /tmp/txi2d.4876/krb425.texi
(/tmp/txi2d.4876/krb425.texi (texinfo.tex
Loading texinfo package [Version 1.3]: Basics,
\bindingoffset=\dimen16
\normaloffset=\dimen17
\pagewidth=\dimen18
\pageheight=\dimen19
\cornerlong=\dimen20
\cornerthick=\dimen21
\topandbottommargin=\dimen22
\outerhsize=\dimen23
\outervsize=\dimen24
\EMsimple=\toks12
\singlespaceskip=\skip18
\groupinvalidhelp=\toks13
\mil=\dimen25
\exdentamount=\skip19
 fonts,
\sffam=\fam8
\fontdepth=\count26
 page headings,
\titlepagetopglue=\skip20
\titlepagebottomglue=\skip21
\evenheadline=\toks14
\oddheadline=\toks15
\evenfootline=\toks16
\oddfootline=\toks17
 tables,
\tableindent=\dimen26
\itemindent=\dimen27
\itemmargin=\dimen28
\itemmax=\dimen29
\itemno=\count27
\intableparskip=\dimen30
\intableparindent=\dimen31
\spacebetweencols=\dimen32
\spacebetweenlines=\dimen33
\colcount=\count28

indexing,
\initialskipamount=\skip22
\secondaryindent=\skip23
\partialpage=\box16
\doublecolumnhsize=\dimen34
 sectioning,
\chapno=\count29
\secno=\count30
\subsecno=\count31
\subsubsecno=\count32
\appendixno=\count33
\contentsfile=\write0
\absseclevel=\count34
\secbase=\count35
\chapheadingskip=\skip24
\subsecheadingskip=\skip25
\secheadingskip=\skip26
 toc printing,
\contentsrightmargin=\skip27
\shortappendixwidth=\dimen35
\tocindent=\dimen36
 environments,
\dblarrowbox=\box17
\longdblarrowbox=\box18
\pushcharbox=\box19
\bullbox=\box20
\equivbox=\box21
\errorbox=\box22
\lispnarrowing=\skip28
\envskipamount=\skip29
\circthick=\dimen37
\cartouter=\dimen38
\cartinner=\dimen39
\normbskip=\skip30
\normpskip=\skip31
\normlskip=\skip32
\lskip=\skip33
\rskip=\skip34
 defuns,
\defbodyindent=\skip35
\defargsindent=\skip36
\deftypemargin=\skip37
\deflastargmargin=\skip38
\parencount=\count36
 cross reference,
\auxfile=\write1
\footnoteno=\count37

and turning on texinfo input format.
\defaultparindent=\dimen40
) (krb425.aux)
@cpindfile=@write2
@fnindfile=@write3
@vrindfile=@write4
@tpindfile=@write5
@kyindfile=@write6
@pgindfile=@write7
 [1
\openout1 = `krb425.aux'.

\openout0 = `krb425.toc'.

\openout2 = `krb425.cp'.

\openout3 = `krb425.fn'.

\openout4 = `krb425.vr'.

\openout5 = `krb425.tp'.

\openout6 = `krb425.ky'.

\openout7 = `krb425.pg'.

] (copyright.texinfo
[2] [3] [4]) Chapter 1 Chapter 2 [1] [2] [3] Chapter 3 [4] Chapter 4 [5]
[6] Chapter 5 [7] [8] Chapter 6 [9] [10] [11] [12] (krb425.toc) [-1] [-2] ) 
Here is how much of TeX's memory you used:
 949 strings out of 13013
 10068 string characters out of 97191
 31336 words of memory out of 263001
 1841 multiletter control sequences out of 10000+0
 26608 words of font info for 90 fonts, out of 400000 for 1000
 18 hyphenation exceptions out of 1000
 13i,6n,10p,230b,224s stack positions out of 300i,100n,500p,50000b,4000s

Output written on krb425.dvi (18 pages, 21932 bytes).
