This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.5.7) 26 JUL 2010 15:51 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **\nonstopmode \input{/home/kaminski/svn/private/trunk/misc/guide/introduction. tex} (/home/kaminski/svn/private/trunk/misc/guide/introduction.tex ! Undefined control sequence. l.1 \section {Introduction}\label{sec:introduction} The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.1 \section{I ntroduction}\label{sec:introduction} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 1--2 [][] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.3 T he ``Potsdam Answer Set Solving Collection'' (Potassco)~\cite{potassco} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no C in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no [ in font nullfont! \citation{potassco} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.3 ...ing Collection'' (Potassco)~\cite{potassco} The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `potassco' on page undefined on input line 3. Missing character: There is no ] in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.5 Among them, we find grounder \gringo , solver \clasp, and The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.5 ...em, we find grounder \gringo, solver \clasp , and The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! ! Undefined control sequence. l.6 ...s thereof within integrated systems \clingo \ and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.6 ...in integrated systems \clingo\ and \iclingo . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no G in font nullfont! Missing character: There is no N in font nullfont! Missing character: There is no U in font nullfont! Missing character: There is no G in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no L in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no [ in font nullfont! \citation{GNUgpl} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.7 ...GNU General Public License(s)~\cite{GNUgpl} . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `GNUgpl' on page undefined on input line 7. Missing character: There is no ] in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no L in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no W in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no [ in font nullfont! \citation{potassco} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.8 ...nd Windows are available at~\cite{potassco} . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `potassco' on page undefined on input line 8. Missing character: There is no ] in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no N in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no : in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! ! Undefined control sequence. l.10 one containing \clasp , and another one grouping \gringo, \clingo, and \... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! ! Undefined control sequence. l.10 ...g \clasp, and another one grouping \gringo , \clingo, and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.10 ... and another one grouping \gringo, \clingo , and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.10 ...ne grouping \gringo, \clingo, and \iclingo . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.13 included \code {README} or \code{INSTALL} text file, respectively. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no R in font nullfont! Missing character: There is no E in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no D in font nullfont! Missing character: There is no M in font nullfont! Missing character: There is no E in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.13 included \code{README} or \code {INSTALL} text file, respectively. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no I in font nullfont! Missing character: There is no N in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no L in font nullfont! Missing character: There is no L in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no q in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 3--18 [] [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 3--18 [] [] Overfull \hbox (15.74986pt too wide) in paragraph at lines 3--18 \OT1/cmtt/m/n/10 C++ [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 3--18 [] [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 3--18 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.19 A fter downloading (and possibly building) a tool, You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no A in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! ! Undefined control sequence. l.21 with flag \code {--version} (to get version information) or The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! ! Undefined control sequence. l.22 with flag \code {--help} (to see the available command line options). The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.23 ...nce, assuming that a binary called \gringo \ is in the path The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.25 ... line calls should be responded by \gringo : The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no : in font nullfont! ! LaTeX Error: Environment lstlisting undefined. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.27 \begin{lstlisting} [numbers=none] Your command was ignored. Type I to replace it with another command, or to continue without it. Missing character: There is no [ in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ] in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no p in font nullfont! ! LaTeX Error: \begin{document} ended by \end{lstlisting}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.30 \end{lstlisting} Your command was ignored. Type I to replace it with another command, or to continue without it. Missing character: There is no I in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.31 If grounder \gringo , solver \clasp, as well as integrated systems The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.31 If grounder \gringo, solver \clasp , as well as integrated systems The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! ! Undefined control sequence. l.32 \clingo \ and \iclingo\ are all available, The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.32 \clingo\ and \iclingo \ are all available, The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.34 \gringo , \clingo, or \iclingo, while the output of \gringo\ is The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.34 \gringo, \clingo , or \iclingo, while the output of \gringo\ is The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.34 \gringo, \clingo, or \iclingo , while the output of \gringo\ is The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! ! Undefined control sequence. l.34 ..., or \iclingo, while the output of \gringo \ is The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! ! Undefined control sequence. l.35 typically piped into \clasp . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no : in font nullfont! ! LaTeX Error: Environment lstlisting undefined. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.37 \begin{lstlisting} [numbers=none] Your command was ignored. Type I to replace it with another command, or to continue without it. Missing character: There is no [ in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no = in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ] in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no [ in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ] in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no [ in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ] in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no [ in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ] in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no [ in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no | in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ] in font nullfont! ! LaTeX Error: \begin{document} ended by \end{lstlisting}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.41 \end{lstlisting} Your command was ignored. Type I to replace it with another command, or to continue without it. Missing character: There is no N in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.42 ...merical argument provided to either \clasp , \clingo, or \iclingo\ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.42 ...rgument provided to either \clasp, \clingo , or \iclingo\ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.42 ...ded to either \clasp, \clingo, or \iclingo \ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! ! Undefined control sequence. l.44 where \code {0} stands for ``compute all answer sets.'' The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no 0 in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no B in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 19--46 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.47 T his guide introduces the fundamentals of using You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! ! Undefined control sequence. l.48 \gringo , \clasp, \clingo, and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.48 \gringo, \clasp , \clingo, and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.48 \gringo, \clasp, \clingo , and \iclingo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.48 \gringo, \clasp, \clingo, and \iclingo . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no I in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...ence `sec:background' on page \thepage \space undefined\on@line . l.52 In Section~\ref{sec:background} , The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:background' on page undefined on input line 52. Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...ence `sec:restricted' on page \thepage \space undefined\on@line . l.55 Section~\ref{sec:restricted} details restrictedness notions, The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:restricted' on page undefined on input line 55. Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...erence `sec:language' on page \thepage \space undefined\on@line . l.57 ...art for a user, Section~\ref{sec:language} , The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:language' on page undefined on input line 57. Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no j in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! ! Undefined control sequence. l.59 where the joint input language of \gringo \ and \clingo\ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.59 ...int input language of \gringo\ and \clingo \ The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.60 ...hare (later on, it is extended by \iclingo ). The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no ) in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...erence `sec:examples' on page \thepage \space undefined\on@line . l.62 ...s are solved in Section~\ref{sec:examples} . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:examples' on page undefined on input line 62. Missing character: There is no . in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...ference `sec:options' on page \thepage \space undefined\on@line . l.63 ... in the focus of Section~\ref{sec:options} and~\ref{sec:error:warn}, The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:options' on page undefined on input line 63. Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. ...ence `sec:error:warn' on page \thepage \space undefined\on@line . l.63 ...\ref{sec:options} and~\ref{sec:error:warn} , The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:error:warn' on page undefined on input line 63. Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no F in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no S in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! ! Undefined control sequence. ...eference `sec:future' on page \thepage \space undefined\on@line . l.66 ...on future work in Section~\ref{sec:future} . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:future' on page undefined on input line 66. Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 47--67 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.68 F or readers familiar with \lparse~\cite{lparseManual} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no F in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! ! Undefined control sequence. l.68 For readers familiar with \lparse ~\cite{lparseManual} The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no [ in font nullfont! \citation{lparseManual} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.68 ... familiar with \lparse~\cite{lparseManual} The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `lparseManual' on page undefined on input line 68. Missing character: There is no ] in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.69 ...e traditional front end of solver \smodels ~\cite{siniso02a}), The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no [ in font nullfont! \citation{siniso02a} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.69 ...nt end of solver \smodels~\cite{siniso02a} ), The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `siniso02a' on page undefined on input line 69. Missing character: There is no ] in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no x in font nullfont! ! Undefined control sequence. ...eference `sec:lparse' on page \thepage \space undefined\on@line . l.70 Appendix~\ref{sec:lparse} lists the most prominent differences to our t... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Reference `sec:lparse' on page undefined on input line 70. Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no O in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! ! Undefined control sequence. l.71 Otherwise, \gringo , \clingo, and \iclingo\ should accept most inputs re... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! ! Undefined control sequence. l.71 Otherwise, \gringo, \clingo , and \iclingo\ should accept most inputs re... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! ! Undefined control sequence. l.71 Otherwise, \gringo, \clingo, and \iclingo \ should accept most inputs re... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no z in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.71 ...d accept most inputs recognized by \lparse , The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! ! Undefined control sequence. l.72 while the input of solver \clasp \ can also be generated by \lparse\ ins... The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no y in font nullfont! ! Undefined control sequence. l.72 ...r \clasp\ can also be generated by \lparse \ instead of \gringo. The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! ! Undefined control sequence. l.72 ...e generated by \lparse\ instead of \gringo . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no . in font nullfont! Missing character: There is no T in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no q in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no M in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ( in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no ) in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no v in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no ` in font nullfont! Missing character: There is no ` in font nullfont! ! Undefined control sequence. l.76 ...rgin boxes, where an occurrence of ``\code {\char`\\}'' The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. Missing character: There is no \ in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no ' in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no x in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no k in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no A in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no m in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no g in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no P in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no [ in font nullfont! \citation{potassco} ! Undefined control sequence. ...: Citation `\@citeb ' on page \thepage \space undefined\on@line . l.79 through Potassco~\cite{potassco} . The control sequence at the end of the top line of your error message was never \def'ed. If you have misspelled it (e.g., `\hobx'), type `I' and the correct spelling (e.g., `I\hbox'). Otherwise just continue, and I'll forget about whatever was undefined. LaTeX Warning: Citation `potassco' on page undefined on input line 79. Missing character: There is no ] in font nullfont! Missing character: There is no . in font nullfont! Missing character: There is no W in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no c in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no r in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no w in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no i in font nullfont! Missing character: There is no t in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no j in font nullfont! Missing character: There is no o in font nullfont! Missing character: There is no y in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no b in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no d in font nullfont! Missing character: There is no h in font nullfont! Missing character: There is no e in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no p in font nullfont! Missing character: There is no f in font nullfont! Missing character: There is no u in font nullfont! Missing character: There is no l in font nullfont! Missing character: There is no ! in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 68--81 [] [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 68--81 [] [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 68--81 [] [] Overfull \hbox (10.86105pt too wide) in paragraph at lines 68--81 [] [] Overfull \hbox (5.43053pt too wide) in paragraph at lines 68--81 [] [] ) ! Emergency stop. <*> .../private/trunk/misc/guide/introduction.tex} *** (job aborted, no legal \end found) Here is how much of TeX's memory you used: 25 strings out of 495061 508 string characters out of 1182622 46108 words of memory out of 3000000 3299 multiletter control sequences out of 15000+50000 4116 words of font info for 16 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 21i,2n,26p,208b,92s stack positions out of 5000i,500n,10000p,200000b,50000s ! ==> Fatal error occurred, no output PDF file produced!