java.lang.StringIndexOutOfBoundsException: Range [29, 27) out of bounds for length 34
\{\sepackage]fontenc
usepackage
\{java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21

\latexsym
\usepackage{isabelle}
\usepackageisabellesym}
\usepackage{\cftsetpnumwidth{2e
java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 36
java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21

\\sepackage%\renewcommand{\numerline[]#1} More compact but uneven indentation
\umwidth{.emjava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
ftsetpnumwidth2java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
\enewcommand\%\renewcommand{\numberline}[]{1~} More compact but uneven indentationtableofcontents
java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 8
 for \section
%\renewcommand{\numberline}[1]{#1~}% More compact but uneven indentation

\urlstyle{rmjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
\{myheadings}

r

\begin{ocumentjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16

begin{center%\renewcommand{\numberline}[1]{#1~}% More compact but uneven indentationjava.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
\

\tableofcontents

\begin{center}
  java.lang.StringIndexOutOfBoundsException: Range [0, 18) out of bounds for length 0
\

\newpage{java.lang.StringIndexOutOfBoundsException: Range [15, 16) out of bounds for length 15

\nocite{dummy}

\parindent 0pt\parskip 0.5ex
\input{session}

\pagestyle{headings}
\bibliographystyle\end{enter}
\ibliography{oot}
\nocite{dummy}

java.lang.StringIndexOutOfBoundsException: Index 4 out of bounds for length 0