This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdftex 2017.8.23)  22 SEP 2017 22:42
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**sheet4
(./sheet4.tex (/usr/share/texlive/texmf-dist/tex/plain/amsfonts/amssym.def
\msafam=\fam8
\msbfam=\fam9
\eufmfam=\fam10
)
(/usr/share/texlive/texmf-dist/tex/plain/amsfonts/amssym.tex) [1{/var/lib/texmf
/fonts/map/pdftex/updmap/pdftex.map}] )</usr/share/texlive/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmbx10.pfb></usr/share/texlive/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/am
sfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts
/cm/cmmi7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr5.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/sha
re/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texli
ve/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texlive/texmf-dis
t/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/symbols/msam7.pfb></usr/share/texlive/texmf-dist/f
onts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on sheet4.pdf (1 page, 135266 bytes).
PDF statistics:
 60 PDF objects out of 1000 (max. 8388607)
 43 compressed objects within 1 object stream
 0 named destinations out of 1000 (max. 500000)
 1 words of extra memory for PDF output out of 10000 (max. 10000000)