This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex 2018.4.16) 25 FEB 2021 18:16 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **problem.en.tex (./problem.en.tex LaTeX2e <2018-04-01> patch level 2 Babel <3.18> and hyphenation patterns for 84 language(s) loaded. ! Undefined control sequence. l.1 \problemname {LogDB} 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 \problemname{L ogDB} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 D in font nullfont! Missing character: There is no B 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 A LogDB database is filled with facts. A fact is a name with a 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 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 D in font nullfont! Missing character: There is no B 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 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 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 i 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 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 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 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 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 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 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 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 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 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 d 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 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 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 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 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 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 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 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 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 o in font nullfont! Missing character: There is no f 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 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 i 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 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 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 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 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 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 : in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 3--6 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.7 \[ You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Overfull \hbox (20.0pt too wide) in paragraph at lines 7--7 [][] [] LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 7. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 7. Overfull \hbox (204.02284pt too wide) detected at line 9 \OML/cmm/m/it/10 fact\OT1/cmr/m/n/10 1(\OML/cmm/m/it/10 arg\OT1/cmr/m/n/10 1\OM L/cmm/m/it/10 ; arg\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; arg[]\OT1/cmr/m/n/10 3\O ML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4)\OML/cmm /m/it/10 thing\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 p\OT1/cmr/m/n/10 1\OML/cmm/m/it /10 ; arg\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; p\OT1/cmr/m/n/10 3)\OML/cmm/m/it/1 0 : [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.11 $ fact1$ is the name of the fact and the list of names in the body are 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 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 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 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 f 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 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 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 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 o in font nullfont! Missing character: There is no f 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 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 o in font nullfont! Missing character: There is no d 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 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 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 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 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 c 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 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 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 f 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 . in font nullfont! Overfull \hbox (44.19684pt too wide) in paragraph at lines 11--13 []$\OML/cmm/m/it/10 fact\OT1/cmr/m/n/10 1$ [] Overfull \hbox (23.94864pt too wide) in paragraph at lines 11--13 \OML/cmm/m/it/10 thing$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.14 T he names in the list are separated by commas and optional 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 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 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 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 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 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 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! 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 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 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 a 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 h 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 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 . 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 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 b 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 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 t 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 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 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 14--16 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.17 N ames consist of alphanumeric characters You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 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 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 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 l in font nullfont! Missing character: There is no p 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 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 c 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 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 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 a in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no z 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 - in font nullfont! Missing character: There is no Z in font nullfont! Missing character: There is no , in font nullfont! Missing character: There is no 0 in font nullfont! Missing character: There is no - in font nullfont! Missing character: There is no 9 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 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 ' 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 o 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 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 , 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 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 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 f 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 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 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 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 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 o in font nullfont! Missing character: There is no d 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 n 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 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 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 a 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! Overfull \hbox (20.0pt too wide) in paragraph at lines 17--20 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.21 N ames, parentheses, and commas may be preceded and followed by You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 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 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 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 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 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 m 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 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 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 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 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 d 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 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! 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 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 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 . 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 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 a 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 c 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 r 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 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 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 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 b 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 l 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 c 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 s in font nullfont! Missing character: There is no s 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 s in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 21--23 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.24 F acts with different numbers of arguments are different facts. 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 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 s 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 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 t 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 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 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 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 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 t 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 24--25 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.26 A fact may appear multiple times in the database. 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 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 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 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 a 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 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 i 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 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 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 d 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 26--27 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.28 Q ueries are like facts except the argument list can contain You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no Q in font nullfont! Missing character: There is no u 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 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 l in font nullfont! Missing character: There is no i 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 f 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 ` 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 28--30 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.31 A query searches the database for facts with the same name as the 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 q in font nullfont! Missing character: There is no u 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 s 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 r 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 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 d 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 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 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 f 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 s 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 s 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 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 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 q in font nullfont! Missing character: There is no u 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 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 a 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 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 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 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 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 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 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 q in font nullfont! Missing character: There is no u 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 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 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 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 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 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 b 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 y 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 c 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 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 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 q in font nullfont! Missing character: There is no u 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 b 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 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 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 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 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 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 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 s in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 31--35 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.36 A variable consisting of only `$\_$' is special and will match any 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 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 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 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 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 f 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 ` 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 s 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 i 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 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 l in font nullfont! Missing character: There is no l 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 c 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 n 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 36--38 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.39 A variable other than `$\_$' will also match any name but if that variable 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 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 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 h 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 ` 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 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 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 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 c 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 n 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 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 b 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 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 a 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 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 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 a 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 m 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 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 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 c 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 a 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 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 , 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 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 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 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 m 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 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 s 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 39--41 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.42 A query: 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 q in font nullfont! Missing character: There is no u 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 : in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 42--43 [] [] Overfull \hbox (119.14365pt too wide) detected at line 45 \OML/cmm/m/it/10 fact\OT1/cmr/m/n/10 1(\OML/cmm/m/it/10 arg\OT1/cmr/m/n/10 1\OM L/cmm/m/it/10 ; []; []; []check; []check\OT1/cmr/m/n/10 ) [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.47 w ill match $fact1(arg1, arg2 ,arg\_3,4,4)$ You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 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 c in font nullfont! Missing character: There is no h in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 47--48 [] [] Overfull \hbox (120.36353pt too wide) in paragraph at lines 47--48 \OML/cmm/m/it/10 fact\OT1/cmr/m/n/10 1(\OML/cmm/m/it/10 arg\OT1/cmr/m/n/10 1\OM L/cmm/m/it/10 ; arg\OT1/cmr/m/n/10 2\OML/cmm/m/it/10 ; arg[]\OT1/cmr/m/n/10 3\O ML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 4)$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.49 V ariables are only defined in the query they appear in. They are not You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 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 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 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 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 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 h 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 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 e 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 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 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 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 h in font nullfont! Missing character: There is no e 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 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 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 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 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 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 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 i 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 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 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 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 t 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 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 e in font nullfont! Missing character: There is no s in font nullfont! Missing character: There is no . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 49--51 [] [] ! Undefined control sequence. l.52 \section *{Input} 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.52 \section* {Input} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. 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 u in font nullfont! Missing character: There is no t in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 52--53 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.54 T he input consists of two sections: facts and queries. Judged data have 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 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 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 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 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 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 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 : 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 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 n in font nullfont! Missing character: There is no d 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 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 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 J 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 g 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 d 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 h 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 e 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 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 54--56 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.57 T he fact section consists of a series of lines of at most $200$ charact... 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 f 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 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! 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 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 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 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 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 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 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 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 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 c 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 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 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 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 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! 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 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 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! 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 a in font nullfont! Missing character: There is no n in font nullfont! Missing character: There is no k 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 . 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 c 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 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 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 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 f 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 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 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 c in font nullfont! Missing character: There is no h 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 ( 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 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 t 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 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 a 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! 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 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 57--60 [] [] Overfull \hbox (15.00005pt too wide) in paragraph at lines 57--60 \OT1/cmr/m/n/10 200$ [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.61 T he query section consists of a series of lines of at most $200$ 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 q in font nullfont! Missing character: There is no u 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 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! 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 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 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 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 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 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 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 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 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 c 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 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 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 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 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! 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 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 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! 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 - 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 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 E 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 h 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 q in font nullfont! Missing character: There is no u 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 61--64 [] [] Overfull \hbox (15.00005pt too wide) in paragraph at lines 61--64 \OT1/cmr/m/n/10 200$ [] ! Undefined control sequence. l.65 \section *{Output} 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.65 \section* {Output} You're in trouble here. Try typing to proceed. If that doesn't work, type X to quit. Missing character: There is no * 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! Overfull \hbox (20.0pt too wide) in paragraph at lines 65--66 [] [] ! LaTeX Error: Missing \begin{document}. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.67 F or each query print the number of facts returned by the query as an 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 e 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 h 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 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 p 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 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 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 f 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 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 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 n 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! 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 q in font nullfont! Missing character: There is no u 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 a 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 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 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 t in font nullfont! Missing character: There is no h 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 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 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 r 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 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 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 h 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 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 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 n 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 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 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 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 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 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 z 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 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 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 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 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 f 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 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 a 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 m 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 i 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 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 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 d 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 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 , 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 a 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 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 . in font nullfont! Overfull \hbox (20.0pt too wide) in paragraph at lines 67--70 [] [] ) ! Emergency stop. <*> problem.en.tex *** (job aborted, no legal \end found) Here is how much of TeX's memory you used: 8 strings out of 492649 182 string characters out of 6129622 58655 words of memory out of 5000000 3991 multiletter control sequences out of 15000+600000 3640 words of font info for 14 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 18i,4n,12p,107b,56s stack positions out of 5000i,500n,10000p,200000b,80000s ! ==> Fatal error occurred, no output PDF file produced!