<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2000.9.29)  23 FEB 2001 16:46
**FHT.tex
(FHT.tex
LaTeX2e <1998/12/01> patch level 1
Babel <v3.6x> and hyphenation patterns for american, french, german, ngerman, d
utch, italian, nohyphenation, 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/size11.clo
File: size11.clo 1999/01/07 v1.4a 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/share/texmf/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup4
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 29.
)
(/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
\@emptytoks=\toks14
\symAMSa=\mathgroup5
\symAMSb=\mathgroup6
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 133.
))
(/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=\toks15
\ex@=\dimen103
))
(/usr/share/texmf/tex/latex/amslatex/amsbsy.sty
Package: amsbsy 1996/10/28 v1.2b
\pmbraise@=\dimen104
)
(/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.
\uproot@=\count87
\leftroot@=\count88
\classnum@=\count89
\DOTSCASE@=\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.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 500.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 501.
\skewcharcount@=\count91
\familycount@=\count92
\pointcount@=\count93
\accentdimen@=\dimen106
\accentmu@=\count94
\minaw@=\dimen107
\c@MaxMatrixCols=\count95
\dotsspace@=\muskip10
\c@parentequation=\count96
\dspbrk@lvl=\count97
\tag@help=\toks16
\row@=\count98
\column@=\count99
\maxfields@=\count100
\andhelp@=\toks17
\eqnshift@=\dimen108
\alignsep@=\dimen109
\tagshift@=\dimen110
\tagwidth@=\dimen111
\totwidth@=\dimen112
\lineht@=\dimen113
\@envbody=\toks18
\multlinegap=\skip44
\multlinetaggap=\skip45
)
(/usr/share/texmf/tex/latex/tools/theorem.sty
Package: theorem 1995/11/23 v2.2c Theorem extension package (FMi)
\theorem@style=\toks19
\theorem@bodyfont=\toks20
\theorempreskipamount=\skip46
\theorempostskipamount=\skip47

(/usr/share/texmf/tex/latex/tools/thp.sty
File: thp.sty 1995/11/23 v2.2c Theorem extension package (FMi)
)) (/ufs/jve/texmacros/proof.sty
\inferLineSkip=\dimen114
\inferLabelSkip=\dimen115
\@LeftOffset=\dimen116
\@RightOffset=\dimen117
\@SavedLeftOffset=\dimen118
\UpperWidth=\dimen119
\LowerWidth=\dimen120
\LowerHeight=\dimen121
\UpperLeftOffset=\dimen122
\UpperRightOffset=\dimen123
\UpperCenter=\dimen124
\LowerCenter=\dimen125
\UpperAdjust=\dimen126
\RuleAdjust=\dimen127
\LowerAdjust=\dimen128
\RuleWidth=\dimen129
\HLabelAdjust=\dimen130
\VLabelAdjust=\dimen131
\WidthAdjust=\dimen132
\@UpperPart=\box28
\@LowerPart=\box29
\@LabelPart=\box30
\ResultBox=\box31
)
(/usr/share/texmf/tex/latex/tools/calc.sty
Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
\calc@Acount=\count101
\calc@Bcount=\count102
\calc@Adimen=\dimen133
\calc@Bdimen=\dimen134
\calc@Askip=\skip48
\calc@Bskip=\skip49
LaTeX Info: Redefining \setlength on input line 49.
LaTeX Info: Redefining \addtolength on input line 50.
\calc@denominator=\count103
)
(/usr/share/texmf/tex/latex/base/alltt.sty
Package: alltt 1997/06/16 v2.0g defines alltt environment
)
(/usr/share/texmf/tex/generic/pstricks/pst-tree.sty
Package: pst-tree 1997/03/25 package wrapper for PSTricks pst-tree.tex

(/usr/share/texmf/tex/generic/pstricks/pst-tree.tex  v97 patch 3, 1997/09/24
(/usr/share/texmf/tex/generic/pstricks/pst-node.tex  v97 patch 9, 1999/04/14
(/usr/share/texmf/tex/generic/pstricks/pstricks.tex
`PSTricks' v97 patch 10  <1999/03/24> (tvz)
\pst@dima=\dimen135
\pst@dimb=\dimen136
\pst@dimc=\dimen137
\pst@dimd=\dimen138
\pst@dimg=\dimen139
\pst@dimh=\dimen140
\pst@hbox=\box32
\pst@boxg=\box33
\pst@cnta=\count104
\pst@cntb=\count105
\pst@cntc=\count106
\pst@cntd=\count107
\pst@cntg=\count108
\pst@cnth=\count109
\pst@toks=\toks21
(/usr/share/texmf/tex/generic/pstricks/pstricks.con)
\psunit=\dimen141
\psxunit=\dimen142
\psyunit=\dimen143
\pslinewidth=\dimen144
\pst@customdefs=\toks22
\pslinearc=\dimen145
\everypsbox=\toks23
\psframesep=\dimen146
\pslabelsep=\dimen147
\theoverlaybox=\box34
)
\psrow=\count110
\pscol=\count111
\psmatrixcnt=\count112
\psrowsep=\skip50
\pscolsep=\skip51
)
\pstree@rootbox=\box35
\pstree@box=\box36
\psnodecnt=\count113
\pstreelevel=\count114
\pstreecnt=\count115
\pstree@cnt=\count116
\pstree@stop=\count117
))
(/ufs/jve/texmacros/mymacros.tex
\c@theorem=\count118
\c@condition=\count119
\c@nl=\count120
\c@axiom=\count121
\c@erax=\count122
\c@erth=\count123
\c@theo=\count124
\c@defi=\count125
\c@derrule=\count126
)
\fminibox=\box37
\fminilength=\skip52
 (FHT.aux)
\openout1 = `FHT.aux'.

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

(/usr/share/texmf/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions
)
LaTeX Font Info:    Try loading font information for U+msa on input line 76.

(/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 76.

(/usr/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 OMS+cmr on input line 114.


(/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 <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 114.
 [1

]
LaTeX Font Info:    Font shape `U/lasy/b/n' in size <8> not available
(Font)              Font shape `U/lasy/m/n' tried instead on input line 177.
LaTeX Font Info:    Font shape `U/lasy/b/n' in size <6> not available
(Font)              Font shape `U/lasy/m/n' tried instead on input line 177.
 [2] [3] [4] [5] [6] [7]
[8] [9] [10] [11] [12] (FHT.bbl [13]
Underfull \hbox (badness 4927) in paragraph at lines 39--44
[]\OT1/cmr/m/sc/10.95 Eijck, J. v., Heguiabehere, J., and Nu-all[]ain, B. O.  \
OT1/cmr/m/n/10.95 Tableau rea-
 []


Underfull \hbox (badness 4660) in paragraph at lines 39--44
\OT1/cmr/m/n/10.95 son-ing and pro-gram-ming with dy-namic first or-der logic. 
 Ac-cepted for pub-
 []


Underfull \hbox (badness 10000) in paragraph at lines 39--44
\OT1/cmr/m/n/10.95 li-ca-tion in the Logic Jour-nal of the IGPL. Elec-tron-i-ca
lly avail-able from
 []

) [14] (FHT.aux) ) 
Here is how much of TeX's memory you used:
 2824 strings out of 10895
 29786 string characters out of 97447
 127675 words of memory out of 263001
 5742 multiletter control sequences out of 10000+0
 16216 words of font info for 62 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 27i,33n,29p,251b,816s stack positions out of 300i,100n,500p,50000b,4000s

Output written on FHT.dvi (14 pages, 66200 bytes).