This is pdfTeX, Version 3.1415926-1.40.9 (Web2C 7.5.7) (format=latex 2008.9.5)  8 DEC 2009 13:45
entering extended mode
**h1
(./h1.tex
LaTeX2e <2005/12/01>
Babel <v3.8g> and hyphenation patterns for american, british, french, german, n
german, bahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esp
eranto, estonian, finnish, greek, icelandic, irish, italian, latin, magyar, nor
sk, polish, portuges, romanian, russian, serbian, slovak, slovene, spanish, swe
dish, turkish, ukrainian, nohyphenation, loaded.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/size12.clo
File: size12.clo 2005/09/16 v1.4f 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
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/inputenc.st
y
Package: inputenc 2006/05/05 v1.1b Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/latin1.def
File: latin1.def 2006/05/05 v1.1b Input encoding file
))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/fontenc.sty
Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/base/ot1enc.def
File: ot1enc.def 2005/09/27 v1.99g Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding OT1 on input line 43.
))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/preprint/fullpag
e.sty
Package: fullpage 1999/02/23 1.1 (PWD)
\FP@margin=\skip43
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/graphics/graphi
cx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/graphics/keyval
.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/graphics/graphi
cs.sty
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/graphics/trig.s
ty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/graphics/graphic
s.cfg
File: graphics.cfg 2005/08/28 v1.4 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: dvips.def on input line 90.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/graphics/dvips.
def
File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/misc/url.sty
\Urlmuskip=\muskip10
Package: url 2003/11/24  ver 3.0  Verb mode for urls, etc.
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/amsfonts/amssym
b.sty
Package: amssymb 2009/06/22 v3.00

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/amsfonts/amsfon
ts.sty
Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
\@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 96.
))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/times.sty
Package: times 2004/09/15 PSNFSS-v9.2 (SPQR) 
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xypic.st
y (/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xy.sty
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xy.tex
Bootstrap'ing: catcodes, docmode,
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyrecat.
tex)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/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=\dimen105
\Y@c=\dimen106
\U@c=\dimen107
\D@c=\dimen108
\L@c=\dimen109
\R@c=\dimen110
\Edge@c=\toks18
\X@p=\dimen111
\Y@p=\dimen112
\U@p=\dimen113
\D@p=\dimen114
\L@p=\dimen115
\R@p=\dimen116
\Edge@p=\toks19
\X@origin=\dimen117
\Y@origin=\dimen118
\X@xbase=\dimen119
\Y@xbase=\dimen120
\X@ybase=\dimen121
\Y@ybase=\dimen122
\X@min=\dimen123
\Y@min=\dimen124
\X@max=\dimen125
\Y@max=\dimen126
\lastobjectbox@=\box26
\zerodotbox@=\box27
\almostz@=\dimen127
 direction,
\d@X=\dimen128
\d@Y=\dimen129
\K@=\count87
\KK@=\count88
\Direction=\count89
\K@dXdY=\dimen130
\K@dYdX=\dimen131
\xyread@=\read1
\xywrite@=\write3
\csp@=\count90
\quotPTK@=\dimen132

utility macros; pictures: \xy, positions,
\swaptoks@@=\toks20
\connectobjectbox@@=\box28
 objects,
\styletoks@=\toks21
 decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)

LaTeX Warning: You have requested package `xypic',
               but the package provides `xy'.

Package: xy 1999/02/16 Xy-pic version 3.7

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyall.te
x  Xy-pic option: All features v.3.3
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xycurve.
tex  Xy-pic option: Curve and Spline extension v.3.7 curve,
\crv@cnt@=\count91
\crvpts@=\toks22
\splinebox@=\box29
\splineval@=\dimen133
\splinedepth@=\dimen134
\splinetol@=\dimen135
\splinelength@=\dimen136
 circles,
\L@=\dimen137
 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyframe.
tex  Xy-pic option: Frame and Bracket extension v.3.7 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xycmtip.
tex  Xy-pic option: Computer Modern tip extension v.3.3
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xytips.t
ex  Xy-pic option: More Tips extension v.3.3 loaded) loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyline.t
ex  Xy-pic option: Line styles extension v.3.6
\xylinethick@=\dimen138
 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyrotate
.tex  Xy-pic option: Rotate and Scale extension v.3.3 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xycolor.
tex  Xy-pic option: Colour extension v.3.3 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xymatrix
.tex  Xy-pic option: Matrix feature v.3.4
\Row=\count92
\Col=\count93
\queue@=\toks23
\queue@@=\toks24
\qcount@=\count94
\qcount@@=\count95
\matrixsize@=\count96
 loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyarrow.
tex  Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xygraph.
tex  Xy-pic option: Graph feature v.3.7 loaded) loaded))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyv2.tex
 Xy-pic option: Version 2 Compatibility v.3.4

Xy-pic Warning: `\stop' redefined.

loaded))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xy.sty
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xy.tex
not reloaded)
Package: xy 1999/02/16 Xy-pic version 3.7

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/generic/xypic/xyall.te
x  Xy-pic option: All features v.3.3 not reloaded))
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/listing
s.sty
\lst@mode=\count97
\lst@gtempboxa=\box30
\lst@token=\toks25
\lst@length=\count98
\lst@currlwidth=\dimen139
\lst@column=\count99
\lst@pos=\count100
\lst@lostspace=\dimen140
\lst@width=\dimen141
\lst@newlines=\count101
\lst@lineno=\count102
\c@lstlisting=\count103
\lst@maxwidth=\dimen142

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstpatc
h.sty
File: lstpatch.sty 2004/10/17 1.3b (Carsten Heinz)
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstmisc
.sty
File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz)
\c@lstnumber=\count104
\lst@skipnumbers=\count105
\lst@framebox=\box31
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/listing
s.cfg
File: listings.cfg 2004/09/05 1.3 listings configuration
))
Package: listings 2004/10/17 1.3b (Carsten Heinz)

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/moreverb/morever
b.sty
Package: moreverb 1997/12/07 v2.2d.2 `more' verbatim facilities

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/tools/verbatim.s
ty
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks26
\verbatim@line=\toks27
\verbatim@in@stream=\read2
)
\verbatim@out=\write4
\tab@position=\count106
\tab@size=\count107
\listing@line=\count108
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/natbib/natbib.st
y
Package: natbib 2003/06/06 7.1 (PWD)
\bibhang=\skip44
\bibsep=\skip45
LaTeX Info: Redefining \cite on input line 518.
\c@NAT@ctr=\count109
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/gastex/gastex.s
ty
Package: gastex 2004/05/02 v2.7

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/tools/calc.sty
Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
\calc@Acount=\count110
\calc@Bcount=\count111
\calc@Adimen=\dimen143
\calc@Bdimen=\dimen144
\calc@Askip=\skip46
\calc@Bskip=\skip47
LaTeX Info: Redefining \setlength on input line 59.
LaTeX Info: Redefining \addtolength on input line 60.
\calc@denominator=\count112
)
\c@cnt@a=\count113
\c@cnt@b=\count114
\c@cnt@c=\count115
\dim@x=\dimen145
\dim@y=\dimen146
\temp@box=\box32
\d@my@unit=\dimen147
\c@cnt@@a=\count116
\c@cnt@@b=\count117
\c@cnt@@c=\count118
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/multind/multind.
sty) (./hevea.sty
Package: hevea 2002/01/11

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/comment/comment.
sty
\CommentStream=\write5
 Excluding comment 'comment')
\c@cuttingdepth=\count119
 Excluding comment 'rawhtml'
Excluding comment 'htmlonly'
\@bgcolorbin=\box33
) (./utils.sty)
\indexC@idxfile=\write6
\openout6 = `indexC.idx'.


Writing index file indexC.idx 
\indexN@idxfile=\write7
\openout7 = `indexN.idx'.

Writing index file indexN.idx 
(./h1.aux)
\openout1 = `h1.aux'.

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

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
)
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 46.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
)
LaTeX Font Info:    Try loading font information for U+msa on input line 46.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/amsfonts/umsa.f
d
File: umsa.fd 2009/06/22 v3.00 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 46.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-local/tex/latex/amsfonts/umsb.f
d
File: umsb.fd 2009/06/22 v3.00 AMS symbols B
)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <10.95> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 48.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <17.28> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 65.
 (./h1.toc
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <12> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 1.
 [1

])
\tf@toc=\write8
\openout8 = `h1.toc'.

 [2]
File: h1.1.eps Graphic file (type eps)
 <h1.1.eps>
File: h1.2.eps Graphic file (type eps)
 <h1.2.eps> [3]
File: h1.3.eps Graphic file (type eps)
 <h1.3.eps> [4] [5]
File: h1.4.eps Graphic file (type eps)
 <h1.4.eps>
File: auto.eps Graphic file (type eps)

<auto.eps> [6]
File: listeven.eps Graphic file (type eps)
 <listeven.eps> [7] [8] [9]
LaTeX Font Info:    Try loading font information for OMS+ptm on input line 481.


(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/omsptm.fd
File: omsptm.fd 
)
LaTeX Font Info:    Font shape `OMS/ptm/m/n' in size <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 481.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <14.4> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 533.
 (./test1.p [10]) (./h1_test1_err) [11] [12] (./butler1_err) (./butler3_err)
[13] (./butler5_err) (./listeven.p [14]) (./tree3plus2.p) [15]
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstlang
1.sty
File: lstlang1.sty 2004/09/05 1.3 listings language file
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstlang
2.sty
File: lstlang2.sty 2004/09/05 1.3 listings language file
)
LaTeX Font Info:    Try loading font information for OT1+phv on input line 831.


(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/ot1phv.fd
File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv.
) (./tree3plus2.model.pl) (./tree3plus2_model.tex) [16]
(./list_even_inter_tree3plus2.model.pl) (./list_even_inter_tree3plus2_model.tex
) [17] [18] (./h1_inter2_err) (./h1_inter3_err [19]) (./h1_inter4_err)
(./h1_inter5_err) (./h1_inter6_err) (./rinter.model.pl
LaTeX Font Info:    Font shape `OT1/phv/m/it' in size <12> not available
(Font)              Font shape `OT1/phv/m/sl' tried instead on input line 1.
 [20])
(./rinter_model.tex) [21] [22] (./rinter_nd.model.pl [23])
Overfull \hbox (0.81935pt too wide) in paragraph at lines 1061--1069
[]\OT1/ptm/m/n/12 Using \OT1/pcr/m/n/12 pl2gastex []\OT1/ptm/m/n/12 on the out-
put $\OT1/pcr/m/n/12 rinter[]nd . model . pl$\OT1/ptm/m/n/12 , we ar-rive at th
e non-deterministic
 []

(./rinter_nd_model.tex)
LaTeX Font Info:    Try loading font information for OML+ptm on input line 1107
.

(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/psnfss/omlptm.fd
File: omlptm.fd 
)
LaTeX Font Info:    Font shape `OML/ptm/m/it' in size <12> not available
(Font)              Font shape `OML/cmm/m/it' tried instead on input line 1107.

 (./rinter_nd_purged.tex) [24] [25] (./nondetex)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstlang
1.sty
File: lstlang1.sty 2004/09/05 1.3 listings language file
)
(/usr/local/misc/teTeX-3.0-20070210/share/texmf-dist/tex/latex/listings/lstmisc
.sty
File: lstmisc.sty 2004/09/07 1.3 (Carsten Heinz)
) (./rinter_d.xml
LaTeX Font Info:    Font shape `OML/ptm/m/n' in size <10.95> not available
(Font)              Font shape `OML/cmm/m/it' tried instead on input line 1.
 [26] [27]) (./rinter_d.pl) (./rinterd.tex) [28] [29]
(./list_even_union_tree3plus2.model.pl)
Overfull \hbox (8.04198pt too wide) in paragraph at lines 1264--1266
[]\OT1/ptm/m/n/12 Graphically, this is the al-ter-nat-ing tree au-toma-ton of F
ig-ure 8[], again ob-tained us-ing \OT1/pcr/m/n/12 pl2gastex\OT1/ptm/m/n/12 . 
 []

(./list_even_union_tree3plus2_model.tex) (./list_even_union_tree3plus2_d.pl
[30] [31] [32]) (./list_even_union_tree3plus2_model_d.tex)
Overfull \hbox (31.85008pt too wide) in paragraph at lines 127--1306
 [] 
 []

(./rinter_d_plus.model.pl [33] [34]) [35] (./agatha.model.pl)
(./agatha_model.tex) (./agathad.tex) [36] [37] [38] [39] [40] [41] [42]
[43] [44] [45] [46]
Overfull \hbox (186.01941pt too wide) in paragraph at lines 2098--2098
 []\OT1/pcr/m/n/12 1372.43 user, 12.62 system, 1414.11 elapsed -- Max VSize = 2
40624KB, Max RSS = 239348KB[] 
 []


Overfull \hbox (49.21947pt too wide) in paragraph at lines 2103--2103
 []\OT1/pcr/m/n/12 memtime h1 -progress -log-out Fabrice/alice_full1.p >alice_f
ull1.log[] 
 []

[47] [48] [49] (./listeven_model.tex) [50] (./nspriv_model.tex
LaTeX Font Info:    Font shape `OML/ptm/m/it' in size <10.95> not available
(Font)              Font shape `OML/cmm/m/it' tried instead on input line 14.
)
Overfull \hbox (157.25136pt too wide) in paragraph at lines 724--2467
 [] 
 []

[51] [52]
Overfull \hbox (135.13846pt too wide) in paragraph at lines 2504--2508
\OT1/ptm/m/n/12 op-tion to \OT1/pcr/m/n/12 h1\OT1/ptm/m/n/12 , and redi-rected 
the stan-dard out-put. E.g., in-stead of []\OT1/pcr/m/n/12 h1 blah.p\OT1/ptm/m/
n/12 , use []\OT1/pcr/m/n/12 h1 -log-out blah.p > blah.log\OT1/ptm/m/n/12 . 
 []

(./h1.bbl [53]) [54] (./indexC.ind) [55


] (./indexN.ind
LaTeX Font Info:    Font shape `OT1/pcr/bx/n' in size <12> not available
(Font)              Font shape `OT1/pcr/b/n' tried instead on input line 79.
 [56

]) (./h1.aux) ) 
Here is how much of TeX's memory you used:
 8396 strings out of 94276
 110464 string characters out of 1166932
 1394678 words of memory out of 2346223
 11370 multiletter control sequences out of 10000+50000
 24875 words of font info for 88 fonts, out of 500000 for 2000
 588 hyphenation exceptions out of 8191
 28i,13n,62p,232b,1696s stack positions out of 1500i,500n,5000p,200000b,5000s

Output written on h1.dvi (56 pages, 659500 bytes).
