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.
**sheet3
(./sheet3.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/cmr7.pfb><
/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/s
hare/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/t
exlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/te
xlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
Output written on sheet3.pdf (1 page, 110480 bytes).
PDF statistics:
 48 PDF objects out of 1000 (max. 8388607)
 34 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)