This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2010.7.20) 2 JAN 2014 17:41 entering extended mode %&-line parsing enabled. **fill (./fill.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, arabic, farsi, croatian, ukrainian, russian, bulgarian, czech, slov ak, danish, dutch, finnish, basque, french, german, ngerman, ibycus, greek, mon ogreek, ancientgreek, hungarian, italian, latin, mongolian, norsk, icelandic, i nterlingua, turkish, coptic, romanian, welsh, serbian, slovenian, estonian, esp eranto, uppersorbian, indonesian, polish, portuguese, spanish, catalan, galicia n, swedish, ukenglish, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2005/09/16 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.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/share/texmf-texlive/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 47. ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@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 132. )) (/usr/share/texmf-texlive/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. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks15 \ex@=\dimen103 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf-texlive/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. ) (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. ) (./fill.aux) \openout1 = `fill.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Try loading font information for U+lasy on input line 24. (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 24. (/usr/share/texmf-texlive/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 24. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1 ] LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <12> not available (Font) Font shape `OT1/cmtt/m/n' tried instead on input line 82. [2] Overfull \hbox (74.99634pt too wide) in paragraph at lines 167--167 [] \OT1/cmtt/m/n/10 ([?A => $?Za, ?B => $?Z], ?A +++ ?B => $?Za,,, $?Z) : der l (nrulefs ?rules')"[] [] Overfull \hbox (59.24648pt too wide) in paragraph at lines 177--177 [] \OT1/cmtt/m/n/10 "?r : rulefs rlscfb ==> pscmap seq_to_nested ?r : derl (nr ulefs snb_rlscf)"[] [] Overfull \hbox (43.49661pt too wide) in paragraph at lines 188--188 []\OT1/cmtt/m/n/10 ds_dands : "[| {invert drp} <= ?rules'; {invert rp} <= ?rule s'; ... |] ==>[] [] Overfull \hbox (22.4968pt too wide) in paragraph at lines 188--188 [] \OT1/cmtt/m/n/10 $?Za,, $?Z |- ?A && ?B,, ($?Ya,, $?Y)) : derl (rulefs ?rules')"[] [] Overfull \hbox (64.49643pt too wide) in paragraph at lines 198--198 [] \OT1/cmtt/m/n/10 "?r : nrulefs snb_rlscf ==> pscmap nested_to_seq ?r : der l (rulefs rlscfb)"[] [] [3] LaTeX Font Info: Try loading font information for OMS+cmr on input line 227. (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 227. [4] Overfull \hbox (38.24666pt too wide) in paragraph at lines 282--282 []\OT1/cmtt/m/n/10 rmerge1 :: "(nested * nested * nested) => (nested * nested * nested) set"[] [] [5] Overfull \hbox (17.24684pt too wide) in paragraph at lines 337--337 [] \OT1/cmtt/m/n/10 "[| ([?p], $?ca => $?cs) = ?psc; ?psc : ctxt (nrulefs dn _bprs) |][] [] Overfull \hbox (17.24684pt too wide) in paragraph at lines 337--337 [] \OT1/cmtt/m/n/10 "[| ([?p], $?ca => $?cs) = ?psc; ?psc : ctxt (nrulefs dn_ splrs) |][] [] Overfull \hbox (64.49643pt too wide) in paragraph at lines 337--337 [] \OT1/cmtt/m/n/10 "[| ([$?pa => $?ps], $?ca => $?cs) = ?psc; ?psc : ctxt ( nrulefs dn_ac0) |][] [] Overfull \hbox (27.74675pt too wide) in paragraph at lines 357--357 []\OT1/cmtt/m/n/10 dn_axioms_der : "?S : dn_axioms ==> ([], ?S) : derl (nrulefs sn_rlscf)"[] [] Overfull \hbox (32.9967pt too wide) in paragraph at lines 357--357 [] \OT1/cmtt/m/n/10 {sn_pA, sn_pS} <= ?rules; ?H : hctxt {?S} |] ==> rule_base 0 ?rules ?H"[] [] Overfull \hbox (6.74693pt too wide) in paragraph at lines 357--357 [] \OT1/cmtt/m/n/10 (ALL X:hollows. ([], $X => $?S) : derl (nrulefs ?ru les)) &[] [] Overfull \hbox (43.49661pt too wide) in paragraph at lines 371--371 []\OT1/cmtt/m/n/10 dn_ands_sn : "[| (?Sa, ?Sb, ?Sc) : rmerge; (?Ta, ?Tb, ?Tc) : rmerge |] ==>[] [] Overfull \hbox (32.9967pt too wide) in paragraph at lines 371--371 []\OT1/cmtt/m/n/10 rb2_ands : "[| (?Sa, ?Sb, ?Sc) : rmerge; (?Ta, ?Tb, ?Tc) : r merge |] ==>[] [] Overfull \hbox (27.74675pt too wide) in paragraph at lines 371--371 [] \OT1/cmtt/m/n/10 ($?Sa => ?A,,, $?Ta, $?Sb => ?B,,, $?Tb, $?Sc => ?A && ? B,,, $?Tc)"[] [] [6] Overfull \hbox (69.74638pt too wide) in paragraph at lines 404--404 []\OT1/cmtt/m/n/10 dn_ac0_msde : "([?M], ?N) : ctxt (nrulefs dn_ac0) ==> (?M, ? N) : ms_deep_equiv"[] [] [7] Overfull \hbox (17.24684pt too wide) in paragraph at lines 461--461 [] \OT1/cmtt/m/n/10 "?c = ($?ca => $?cs) --> ([?p], ?c) : ctxt (nrulefs {sn_a nda}) -->[] [] Overfull \hbox (22.4968pt too wide) in paragraph at lines 461--461 [] \OT1/cmtt/m/n/10 (?c, ?c') : ms_deep_equiv --> ([?c'], ?d') : nrulefs { sn_rp} -->[] [] Overfull \hbox (1.49698pt too wide) in paragraph at lines 461--461 []\OT1/cmtt/m/n/10 ([q'], d) : dctxt (nrulefs {sn_anda}) & (d, ?d') : ms_deep_e quiv)"[] [] [8] Overfull \hbox (32.9967pt too wide) in paragraph at lines 501--501 [] \OT1/cmtt/m/n/10 ([q'], d) : dctxt (nrulefs {sn_anda}) & (d, ?d'1) : ms_de ep_equiv ==>[] [] Overfull \hbox (27.74675pt too wide) in paragraph at lines 501--501 [] \OT1/cmtt/m/n/10 ([q'], d) : ctxt (nrulefs {sn_anda}) & (d, ?d'1) : ms_ deep_equiv"[] [] LaTeX Warning: Reference `s-TBA' on page 9 undefined on input line 506. Overfull \hbox (38.24666pt too wide) in paragraph at lines 538--538 []\OT1/cmtt/m/n/10 rmerge_msde : "[| (?c, ?c') : ms_deep_equiv; (?a, ?b, ?c) : rmerge |] ==>[] [] Overfull \hbox (53.99652pt too wide) in paragraph at lines 538--538 [] \OT1/cmtt/m/n/10 (?a, $aY,,, $aZ) : ms_deep_equiv & (?b, $bY,,, $bZ) : ms_deep_equiv &[] [] Overfull \hbox (17.24684pt too wide) in paragraph at lines 538--538 [] \OT1/cmtt/m/n/10 ((aY, bY, cY) : rmerge1 (?A, ?B, ?C) & (aZ, bZ, cZ) : rmerge |[] [] [9] Overfull \hbox (18.13712pt too wide) in paragraph at lines 596--599 \OT1/cmr/m/n/10 rules of $[][]$ by two rules of $[][]$, namely \OT1/cmtt/m/n/10 p2[]irp[]lollia \OT1/cmr/m/n/10 and \OT1/cmtt/m/n/10 p2[]idrp[]excls\OT1/cmr/m /n/10 . [] [10] Overfull \hbox (53.99652pt too wide) in paragraph at lines 633--633 []\OT1/cmtt/m/n/10 snb_rlscf_eq_ieg : "derl (nrulefs snb_rlscf) = derl (nrulefs snb_ieg_rlscf)"[] [] LaTeX Warning: Citation `xx' on page 11 undefined on input line 703. [11] Overfull \hbox (1.49698pt too wide) in paragraph at lines 728--728 []\OT1/cmtt/m/n/10 pscrel_adm : "[| ALL ps c x. (ps, c) : ?rls --> (c, x) : ?r el -->[] [] [12] (./fill.aux) LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: 1273 strings out of 94081 14324 string characters out of 1165334 64083 words of memory out of 1500000 4570 multiletter control sequences out of 10000+50000 13167 words of font info for 56 fonts, out of 1200000 for 2000 645 hyphenation exceptions out of 8191 27i,6n,24p,212b,245s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on fill.dvi (12 pages, 41108 bytes).