This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) (format=latex 2018.12.4)  15 DEC 2018 10:37
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**reals
(./reals.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
aded.
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
File: size11.clo 2007/10/19 v1.4h 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/texlive/texmf-dist/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.
)
\c@statement=\count87
\c@exercise=\count88
\c@theorem=\count89
\c@observation=\count90
\c@corollary=\count91
\c@definition=\count92
\c@lemma=\count93
\c@claim=\count94
\c@conjecture=\count95


LaTeX Warning: Unused global option(s):
    [letter].

(./reals.aux)
\openout1 = `reals.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 299.
LaTeX Font Info:    ... okay on input line 299.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 313.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 313.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 313.
LaTeX Font Info:    Try loading font information for U+lasy on input line 313.
 (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
Overfull \hbox (28.3298pt too wide) in paragraph at lines 362--368
\OT1/cmr/m/n/10.95 nary, and dec-i-mal nu-mer-a-tion sys-tems, over the al-pha-
bets $[]$, $[]$, and $[]$,
 []

[1

] [2] (./reals.aux) ) 
Here is how much of TeX's memory you used:
 444 strings out of 495064
 4383 string characters out of 3182224
 52036 words of memory out of 3000000
 3693 multiletter control sequences out of 15000+200000
 8729 words of font info for 33 fonts, out of 3000000 for 9000
 14 hyphenation exceptions out of 8191
 21i,6n,19p,220b,162s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on reals.dvi (2 pages, 8332 bytes).