This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2010.4.3)  19 OCT 2010 16:33
**tst
(tst.tex
LaTeX2e <1999/12/01> patch level 1
Babel <v3.6Z> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(ws-book9x6.cls
Document Class: ws-book9x6 1996/05/26 v1.3r Standard LaTeX document class
\draftrule=\dimen102
\trimheight=\dimen103
\trimwidth=\dimen104
\typeheight=\dimen105
\typewidth=\dimen106
\normaltextheight=\dimen107
\normaltextwidth=\dimen108
\tablewidth=\dimen109
\tempdimen=\dimen110
\tablewd=\dimen111
\tempbox=\box26
\minute=\count79
\hour=\count80
\title=\toks14
\@cnumwidth=\dimen112
\c@part=\count81
\c@chapter=\count82
\c@section=\count83
\c@subsection=\count84
\c@subsubsection=\count85
\c@paragraph=\count86
\c@subparagraph=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\captionbox=\box27
\c@figure=\count88

psfig.sty inputed...ok
(/sw/share/texmf/tex/generic/misc/psfig.sty
\@unused=\write3
\ps@stream=\read1
\p@intvaluex=\dimen113
\p@intvaluey=\dimen114

psfig/tex 1.10-dvips
)

epsfsafe.tex inputed...ok
(epsfsafe.tex
\epsffilein=\read2
\epsfxsize=\dimen115
\epsfysize=\dimen116
\epsftsize=\dimen117
\epsfrsize=\dimen118
\epsftmp=\dimen119
\pspoints=\dimen120
)

epsfig.sty inputed...ok
(/sw/share/texmf/tex/latex/graphics/epsfig.sty

LaTeX Warning: You have requested document class `ws-book9x6',
               but the document class provides `epsfig'.

Document Class: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
(/sw/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/sw/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks15
)
(/sw/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR)

(/sw/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/sw/share/texmf/tex/latex/config/graphics.cfg)
Package graphics Info: Driver file: dvips.def on input line 80.

(/sw/share/texmf/tex/latex/graphics/dvips.def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen121
\Gin@req@width=\dimen122
)
\epsfxsize=\dimen123
\epsfysize=\dimen124
)

epsf.sty inputed...ok
(/sw/share/texmf/tex/plain/dvips/epsf.tex
This is `epsf.tex' v2.7k <10 July 1997>
\epsffilein=\read3
\epsfframemargin=\dimen125
\epsfframethickness=\dimen126
\epsfrsize=\dimen127
\epsftmp=\dimen128
\epsftsize=\dimen129
\epsfxsize=\dimen130
\epsfysize=\dimen131
\pspoints=\dimen132
\epsfnoopenhelp=\toks16
)
\c@table=\count89
\tabledim=\dimen133
\c@theorem=\count90
\c@algorithm=\count91
\c@assertion=\count92
\c@assumption=\count93
\c@claim=\count94
\c@conjecture=\count95
\c@convention=\count96
\c@corollary=\count97
\c@criterion=\count98
\c@definition=\count99
\c@example=\count100
\c@lemma=\count101
\c@notation=\count102
\c@observation=\count103
\c@problem=\count104
\c@prop=\count105
\c@proposition=\count106
\c@question=\count107
\c@remark=\count108
\c@appendix=\count109
\c@ptitl=\count110
 (/sw/share/texmf.local/tex/latex/Mystyle/rotating.sty
Package: rotating 1997/09/26 2.12 Rotation package

(/sw/share/texmf/tex/latex/base/ifthen.sty
Package: ifthen 1999/09/10 v1.1b Standard LaTeX ifthen package (DPC)
)
\c@r@tfl@t=\count111
\rot@float@box=\box28
)
(/sw/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 1997/09/17 v2.2e
\@emptytoks=\toks17
\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.
)
(/sw/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 1996/11/03 v2.2b
)
(/sw/share/texmf.local/tex/latex/amsltx2 Folder/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.
(/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks18
\ex@=\dimen134
))
(/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen135
)
(/sw/share/texmf.local/tex/latex/amsltx2 Folder/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count112
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count113
\leftroot@=\count114
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count115
\DOTSCASE@=\count116
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@=\box29
\strutbox@=\box30
\big@size=\dimen136
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count117
\c@MaxMatrixCols=\count118
\dotsspace@=\muskip10
\c@parentequation=\count119
\dspbrk@lvl=\count120
\tag@help=\toks19
\row@=\count121
\column@=\count122
\maxfields@=\count123
\andhelp@=\toks20
\eqnshift@=\dimen137
\alignsep@=\dimen138
\tagshift@=\dimen139
\tagwidth@=\dimen140
\totwidth@=\dimen141
\lineht@=\dimen142
\@envbody=\toks21
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/sw/share/texmf/tex/latex/misc/boxedminipage.sty)
(/sw/share/texmf/tex/latex/base/makeidx.sty
Package: makeidx 1999/09/17 v1.0l Standard LaTeX package
)
(/sw/share/texmf/tex/latex/misc/url.sty
Package: url 1999/03/02  ver 1.4  Verb mode for urls, email addresses, and file
 names
)) (bussproofs.sty
Proof Tree (bussproofs) style macros. Version 0.6c.
\theLevel=\count124
\myMaxLevel=\count125
\myBoxA=\box31
\myBoxB=\box32
\myBoxC=\box33
\myBoxD=\box34
\myBoxLL=\box35
\myBoxRL=\box36
\thisAboveSkip=\dimen143
\thisBelowSkip=\dimen144
\newScoreStart=\dimen145
\newScoreEnd=\dimen146
\newCenter=\dimen147
\displace=\dimen148
\leftLowerAmt=\dimen149
\rightLowerAmt=\dimen150
\scoreHeight=\dimen151
\scoreDepth=\dimen152
) (defs.tex (/sw/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 42.
)
\c@DEL=\count126
\c@DELUKE=\count127
\c@TOPIC=\count128
\c@SUBTOPIC=\count129
\c@EXC=\count130
\c@oppg=\count131
\c@CLAIM=\count132
\c@HUSK=\count133
\c@ax=\count134
\c@axA=\count135
\c@axB=\count136
\c@axC=\count137
\c@axD=\count138
\c@LTcount=\count139
\c@PSEC=\count140
\c@PSUB=\count141
\c@PSUBSUB=\count142
\c@PST=\count143
\c@pst=\count144
)
(/sw/share/texmf/tex/generic/xypic/xypic.tex
(/sw/share/texmf/tex/generic/xypic/xyv2.tex
(/sw/share/texmf/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode,
(/sw/share/texmf/tex/generic/xypic/xyrecat.tex)
(/sw/share/texmf/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.7 <1999/02/16>
 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state,
\X@c=\dimen153
\Y@c=\dimen154
\U@c=\dimen155
\D@c=\dimen156
\L@c=\dimen157
\R@c=\dimen158
\Edge@c=\toks23
\X@p=\dimen159
\Y@p=\dimen160
\U@p=\dimen161
\D@p=\dimen162
\L@p=\dimen163
\R@p=\dimen164
\Edge@p=\toks24
\X@origin=\dimen165
\Y@origin=\dimen166
\X@xbase=\dimen167
\Y@xbase=\dimen168
\X@ybase=\dimen169
\Y@ybase=\dimen170
\X@min=\dimen171
\Y@min=\dimen172
\X@max=\dimen173
\Y@max=\dimen174
\lastobjectbox@=\box37
\zerodotbox@=\box38
\almostz@=\dimen175
 direction,
\d@X=\dimen176
\d@Y=\dimen177
\K@=\count145
\KK@=\count146
\Direction=\count147
\K@dXdY=\dimen178
\K@dYdX=\dimen179
\xyread@=\read4
\xywrite@=\write4
\csp@=\count148
\quotPTK@=\dimen180

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks25
\connectobjectbox@@=\box39
 objects,
\styletoks@=\toks26
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
 Xy-pic option: Version 2 Compatibility v.3.4

Xy-pic Warning: `\stop' redefined.


Xy-pic Warning: `\rotate' redefined.

(/sw/share/texmf/tex/generic/xypic/xyframe.tex
 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/sw/share/texmf/tex/generic/xypic/xymatrix.tex
 Xy-pic option: Matrix feature v.3.4
\Row=\count149
\Col=\count150
\queue@=\toks27
\queue@@=\toks28
\qcount@=\count151
\qcount@@=\count152
\matrixsize@=\count153
 loaded)
(/sw/share/texmf/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) loaded))
(/sw/share/texmf/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count154
\crvpts@=\toks29
\splinebox@=\box40
\splineval@=\dimen181
\splinedepth@=\dimen182
\splinetol@=\dimen183
\splinelength@=\dimen184
 circles,
\L@=\dimen185
 loaded)
(tst.aux)
\openout1 = `tst.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 16.
LaTeX Font Info:    ... okay on input line 16.
 [1

] [2] [3] [4]
LaTeX Font Info:    Try loading font information for U+msa on input line 21.
 (/sw/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 21.

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

(/sw/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions
) (tst.toc)
\tf@toc=\write5
\openout5 = `tst.toc'.

 [5

] [1] [2] [3] [4]

LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <10> not available
(Font)              Font shape `OT1/cmss/m/sl' tried instead on input line 333.


[5] [6] <xymatrix 2x5 201> <xymatrix 2x5 201> <xymatrix 2x5 233> <xymatrix 2x5
201> <xymatrix 2x5 201> [7] [8] [9]

LaTeX Warning: Reference `we:induction' on page 10 undefined on input line 620.


[10] [11]

LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <9> not available
(Font)              Font shape `OT1/cmss/m/sl' tried instead on input line 769.


[12] [13] [14]

LaTeX Warning: Command \O invalid in math mode on input line 997.

<xymatrix 6x2 362> <xymatrix 4x2 192> [15] [16] [17] [18] (tst.aux)

LaTeX Warning: There were undefined references.

 ) 
Here is how much of TeX's memory you used:
 5066 strings out of 25903
 52208 string characters out of 4947615
 166746 words of memory out of 1100001
 7932 multiletter control sequences out of 10000+30000
 22667 words of font info for 88 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 34i,14n,24p,340b,549s stack positions out of 300i,100n,500p,50000b,4000s

Output written on tst.dvi (23 pages, 86456 bytes).