This is TeX, Version 3.141592 (MiKTeX 2.3) (preloaded format=latex 2000.11.28)  27 AUG 2007 23:00
**signed-sd-s.tex
(signed-sd-s.tex
LaTeX2e <2001/06/01>
Babel <v3.7h> and hyphenation patterns for english, french, german, ngerman, du
mylang, nohyphenation, loaded.
(C:\CTeX\texmf\tex\latex\base\article.cls
Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
(C:\CTeX\texmf\tex\latex\base\size12.clo
File: size12.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(C:\CTeX\texmf\tex\latex\amsfonts\amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(C:\CTeX\texmf\tex\latex\amsfonts\amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\@emptytoks=\toks14
\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 132.
))
(C:\CTeX\texmf\tex\latex\amsmath\amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(C:\CTeX\texmf\tex\latex\amsmath\amstext.sty
Package: amstext 2000/06/29 v2.01

(C:\CTeX\texmf\tex\latex\amsmath\amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks15
\ex@=\dimen103
))
(C:\CTeX\texmf\tex\latex\amsmath\amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(C:\CTeX\texmf\tex\latex\amsmath\amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count92
\c@MaxMatrixCols=\count93
\dotsspace@=\muskip10
\c@parentequation=\count94
\dspbrk@lvl=\count95
\tag@help=\toks16
\row@=\count96
\column@=\count97
\maxfields@=\count98
\andhelp@=\toks17
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks18
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(C:\CTeX\texmf\tex\latex\amscls\amsthm.sty
Package: amsthm 2000/10/26 v2.08
\thm@style=\toks20
\thm@bodyfont=\toks21
\thm@headfont=\toks22
\thm@notefont=\toks23
\thm@headpunct=\toks24
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks25
)
(C:\CTeX\texmf\tex\latex\graphics\epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(C:\CTeX\texmf\tex\latex\graphics\graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(C:\CTeX\texmf\tex\latex\graphics\keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks26
)
(C:\CTeX\texmf\tex\latex\graphics\graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(C:\CTeX\texmf\tex\latex\graphics\trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(C:\CTeX\texmf\tex\latex\00miktex\graphics.cfg
File: graphics.cfg 2003/03/12 v1.1 MiKTeX 'graphics' configuration
)
Package graphics Info: Driver file: dvips.def on input line 80.

(C:\CTeX\texmf\tex\latex\graphics\dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen112
\Gin@req@width=\dimen113
)
\epsfxsize=\dimen114
\epsfysize=\dimen115
)
\c@thm=\count99
\c@cor=\count100
\c@lem=\count101
\c@prop=\count102
\c@rem=\count103
\c@ex=\count104
\c@alg=\count105
 (signed-sd-s.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 42.
LaTeX Font Info:    ... okay on input line 42.
LaTeX Font Info:    Try loading font information for U+msa on input line 44.

(C:\CTeX\texmf\tex\latex\amsfonts\umsa.fd
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info:    Try loading font information for U+msb on input line 44.

(C:\CTeX\texmf\tex\latex\amsfonts\umsb.fd
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
) [1

]

Package amsmath Warning: Foreign command \atopwithdelims;
(amsmath)                \frac or \genfrac should be used instead
(amsmath)                 on input line 172.

[2] [3]
Overfull \hbox (15.65608pt too wide) in paragraph at lines 261--267
[][]\OT1/cmr/m/n/12 Now we can re-peat the above pro-ce-dure for the re-main-in
g se-quence $\OML/cmm/m/it/12  \OT1/cmr/m/n/12 = \OML/cmm/m/it/12 [][] [] [
]$\OT1/cmr/m/n/12 .
 []

[4] [5]
Overfull \hbox (17.92285pt too wide) in paragraph at lines 425--429
\OT1/cmr/bx/n/12 Lemma 2.3. []\OT1/cmr/m/it/12 There is a one-to-one cor-re-spo
n-dence be-tween rep-re-sen-ta-tions $\OML/cmm/m/it/12  \OT1/cmr/m/n/12 = \OML
/cmm/m/it/12 [][] [] []$
 []

[6] [7] (signed-sd-s.aux) ) 
Here is how much of TeX's memory you used:
 1670 strings out of 96052
 17085 string characters out of 1197040
 69378 words of memory out of 1068460
 4551 multiletter control sequences out of 35000
 14316 words of font info for 55 fonts, out of 500000 for 1000
 14 hyphenation exceptions out of 607
 32i,9n,24p,226b,210s stack positions out of 1500i,500n,5000p,200000b,32768s

Output written on signed-sd-s.dvi (7 pages, 33096 bytes).