This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2010.5.6)  26 FEB 2018 02:41
entering extended mode
\write18 enabled.
 %&-line parsing enabled.
**AxServer.tex
(./AxServer.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> 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, pinyin, 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/tex/latex/axiom.sty
\nwmarginglue=\dimen103
\codehsize=\dimen104
\codemargin=\dimen105
\nwdefspace=\dimen106
\equivbox=\box26
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 77.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 77.
\plusequivbox=\box27
\nwcodetopsep=\skip43
\nwcodepenalty=\count87
\@original@textwidth=\dimen107
\nwcodecommentsep=\skip44
\@nwlopage=\count88
\@nwhipage=\count89
\@nwlosub=\count90
\@nwhisub=\count91
\@nwpagetemp=\count92
\@nwpagecount=\count93
\sub@page=\count94
\@nwalph@n=\count95
\nw@chunkcount=\count96
\@commacount=\count97
\nwix@counter=\count98
) (./AxServer.aux)
\openout1 = `AxServer.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 3.
LaTeX Font Info:    ... okay on input line 3.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 6.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 6.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 6.
 [1

] (./AxServer.toc)
\tf@toc=\write3
\openout3 = `AxServer.toc'.


[2] [3] [4] [5]
Overfull \hbox (10.49991pt too wide) in paragraph at lines 172--172
 []            \OT1/cmtt/m/n/10 u := segment(MatchBeginning(1)$Lisp+1,MatchEnd(
1)$Lisp)$UniversalSegment(Integer)[]  
 []


Overfull \hbox (10.49991pt too wide) in paragraph at lines 177--177
 []            \OT1/cmtt/m/n/10 u := segment(MatchBeginning(1)$Lisp+1,MatchEnd(
1)$Lisp)$UniversalSegment(Integer)[]  
 []


Overfull \hbox (94.49918pt too wide) in paragraph at lines 204--204
 []      \OT1/cmtt/m/n/10 file := concat ["Content-Length: ",filelength,STRING(
NewLine$Lisp)$Lisp,STRING(NewLine$Lisp)$Lisp,file][]  
 []

[6]
Overfull \hbox (20.99982pt too wide) in paragraph at lines 232--232
 []\OT1/cmtt/m/n/10 --        v := CATCH('SPAD__READER, CATCH('top__level, pars
eAndEvalStr$Lisp command)$Lisp)$Lisp[]  
 []


Overfull \hbox (26.24977pt too wide) in paragraph at lines 236--236
 []      \OT1/cmtt/m/n/10 SETQ(resultalgebra$Lisp,GET_-OUTPUT_-STREAM_-STRING(_
$algebraOutputStream$Lisp)$Lisp)$Lisp[]  
 []


Overfull \hbox (734.99359pt too wide) in paragraph at lines 250--250
 []\OT1/cmtt/m/n/10 --       axans:String := concat ["<div><div class=_"command
_">(",lastStep(),") -> ",command,"</div><div class=_"algebra_">",algebra,"</div
><div class=_"mathml_">",mathml,"</div><div class=_"type_">Type: ",lastType(),"
</div></div>"][]  
 []


Overfull \hbox (771.74327pt too wide) in paragraph at lines 251--251
 []      \OT1/cmtt/m/n/10 axans:String := concat ["<div class=_"stepnum_">", la
stStep(), "</div><div class=_"command_">", command, "</div><div class=_"algebra
_">",algebra,"</div><div class=_"mathml_">",mathml,"</div><div class=_"type_">"
,lastType(),"</div>"][]  
 []

[7] [8] [9] [10] [11] [12] [13] (./AxServer.aux) ) 
Here is how much of TeX's memory you used:
 521 strings out of 94075
 6040 string characters out of 1165177
 58004 words of memory out of 1500000
 3871 multiletter control sequences out of 10000+50000
 9016 words of font info for 32 fonts, out of 1200000 for 2000
 645 hyphenation exceptions out of 8191
 25i,6n,17p,253b,279s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on AxServer.dvi (13 pages, 19752 bytes).