This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=prv_StaticAnalysisHandin3 2010.10.27) 27 OCT 2010 15:36 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **&prv_StaticAnalysisHandin3 _region_.tex (./_region_.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. CUSTOMISED FORMAT. Preloaded files: . article.cls 2007/10/19 v1.4h Standard LaTeX document class size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) fontenc.sty t1enc.def 2005/09/27 v1.99g Standard LaTeX file inputenc.sty 2008/03/30 v1.1d Input encoding file utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc amsmath.sty 2000/07/18 v2.13 AMS math features amstext.sty 2000/06/29 v2.01 amsgen.sty 1999/11/30 v2.0 amsbsy.sty 1999/11/29 v1.2d amsopn.sty 1999/12/14 v2.01 operator names amsthm.sty 2004/08/06 v2.20 amssymb.sty 2009/06/22 v3.00 amsfonts.sty 2009/06/22 v3.00 Basic AMSFonts support umsa.fd 2009/06/22 v3.00 AMS symbols A umsb.fd 2009/06/22 v3.00 AMS symbols B t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions . No file _region_.aux. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. LaTeX Font Info: ... okay on input line 16. (/usr/share/texmf/tex/latex/preview/preview.sty Package: preview 2008/02/03 11.85 (AUCTeX/preview-latex) (/usr/share/texmf/tex/latex/preview/prtightpage.def \PreviewBorder=\dimen112 ) (/usr/share/texmf/tex/latex/preview/prauctex.def No auxiliary output files. \hbadness=\count99 \hfuzz=\dimen113 (/usr/share/texmf/tex/latex/preview/prauctex.cfg)) (/usr/share/texmf/tex/latex/preview/prfootnotes.def) \pr@snippet=\count100 \pr@box=\box28 \pr@output=\toks27 Preview: Fontsize 10pt ) !name(StaticAnalysisHandin3.tex) !offset(-18) ! LaTeX Error: Can be used only in preamble. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.19 \documentclass {article} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Can be used only in preamble. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.20 \usepackage [T1]{fontenc} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Can be used only in preamble. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.21 \usepackage [utf8]{inputenc} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Can be used only in preamble. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.22 \usepackage {amsmath, amsthm,amssymb} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \typel already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.24 \newcommand\typel{\left[\left[} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \typer already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.25 \newcommand\typer{\right]\right]} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \types already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.27 ...and\types[1]{\left[\left[#1\right]\right]} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \setl already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.29 \newcommand\setl{\left\{} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \setr already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.30 \newcommand\setr{\right\}} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \email already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.31 ...n{normalsize}\texttt{#1}\end{normalsize} } Your command was ignored. Type I to replace it with another command, or to continue without it. !name(StaticAnalysisHandin3.tex) !offset(125) ) Here is how much of TeX's memory you used: 165 strings out of 493418 2258 string characters out of 1164640 65775 words of memory out of 3000000 4971 multiletter control sequences out of 15000+50000 10867 words of font info for 30 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 22i,4n,22p,178b,124s stack positions out of 5000i,500n,10000p,200000b,50000s No pages of output.