Sharedwww / job / Prop.logOpen in CoCalc
This is TeX, Version 3.14159 (Web2C 7.3) (format=latex 1999.4.5)  12 NOV 1999 11:18
**Prop.tex
(Prop.tex
LaTeX2e <1998/12/01>
Babel <v3.6k> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 1999/01/07 v1.4a Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size12.clo
File: size12.clo 1999/01/07 v1.4a Standard LaTeX file (size option)
)
\[email protected]=\count79
\[email protected]=\count80
\[email protected]=\count81
\[email protected]=\count82
\[email protected]=\count83
\[email protected]=\count84
\[email protected]=\count85
\[email protected]=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/fancyhdr/fancyhdr.sty
\headwidth=\dimen103
)
(/usr/share/texmf/tex/latex/base/ifthen.sty
Package: ifthen 1999/01/07 v1.1a Standard LaTeX ifthen package (DPC)
)
(/usr/share/texmf/tex/latex/amslatex/amsmath.sty
Package: amsmath 1997/03/20 v1.2d AMS math features
\@mathmargin=\skip43

(/usr/share/texmf/tex/latex/amslatex/amstext.sty
Package: amstext 1996/10/28 v1.2b

(/usr/share/texmf/tex/latex/amslatex/amsgen.sty
File: amsgen 1996/10/29 v1.2b
\@emptytoks=\toks14
\[email protected]=\dimen104
))
(/usr/share/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1996/10/28 v1.2b
\[email protected]=\dimen105
)
(/usr/share/texmf/tex/latex/amslatex/amsopn.sty
Package: amsopn 1996/10/28 v1.2b operator names
)
LaTeX Info: Redefining \frac on input line 188.
\[email protected]=\count87
\[email protected]=\count88
\[email protected]=\count89
\[email protected]=\count90
LaTeX Info: Redefining \dots on input line 335.
LaTeX Info: Redefining \ldots on input line 418.
LaTeX Info: Redefining \cdots on input line 422.
\[email protected]=\box26
\[email protected]=\box27
\[email protected]=\dimen106
LaTeX Font Info:    Redeclaring font encoding OML on input line 500.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 501.
\[email protected]=\count91
\[email protected]=\count92
\[email protected]=\count93
\[email protected]=\dimen107
\[email protected]=\count94
\[email protected]=\dimen108
\[email protected]=\count95
\[email protected]=\muskip10
\[email protected]=\count96
\[email protected]=\count97
\[email protected]=\toks15
\[email protected]=\count98
\[email protected]=\count99
\[email protected]=\count100
\[email protected]=\toks16
\[email protected]=\dimen109
\[email protected]=\dimen110
\[email protected]=\dimen111
\[email protected]=\dimen112
\[email protected]=\dimen113
\[email protected]=\dimen114
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
)
(/usr/share/texmf/tex/latex/amslatex/amsthm.sty
Package: amsthm 1996/10/24 v1.2d
\[email protected]=\toks18
\[email protected]=\toks19
\[email protected]=\toks20
\[email protected]=\toks21
\[email protected]=\toks22
\[email protected]=\skip46
\[email protected]=\skip47
)
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b

(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 133.
))
\[email protected]=\count101
 (Prop.aux)
\openout1 = `Prop.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 69.
LaTeX Font Info:    ... okay on input line 69.
LaTeX Font Info:    Try loading font information for U+msa on input line 110.

(/usr/share/texmf/tex/latex/amsfonts/umsa.fd
File: umsa.fd 1995/01/05 v2.2e AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 110.

(/usr/share/texmf/tex/latex/amsfonts/umsb.fd
File: umsb.fd 1995/01/05 v2.2e AMS font definitions
)
Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[1

]
Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[2]
Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[3]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 368.

 (/usr/share/texmf/tex/latex/base/omscmr.fd
File: omscmr.fd 1998/03/27 v2.5g Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 368.

Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[4]
Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[5]
Underfull \hbox (badness 1546) in paragraph at lines 452--456
[]\OT1/cmr/m/n/12 S. Bloch and K. Ka-to, $\OML/cmm/m/it/12 L$\OT1/cmr/m/it/12 -
functions and Tam-a-gawa num-ber-s of mo-tives\OT1/cmr/m/n/12 , The
 []


Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[6]
Overfull \vbox (8.89262pt too high) has occurred while \output is active []


[7] (Prop.aux) ) 
Here is how much of TeX's memory you used:
 1314 strings out of 10898
 13581 string characters out of 72048
 63365 words of memory out of 263001
 4260 multiletter control sequences out of 10000+0
 15565 words of font info for 58 fonts, out of 200000 for 1000
 15 hyphenation exceptions out of 1000
 26i,11n,40p,219b,470s stack positions out of 300i,100n,500p,30000b,4000s

Output written on Prop.dvi (7 pages, 28000 bytes).