\newif\ifimagen\imagentrue
\documentclass[12pt]{article}
\usepackage[latin1]{inputenc}
\usepackage[OT1]{fontenc}
\usepackage{fullpage}
\usepackage{graphicx}
\usepackage{url}
\usepackage{amssymb,times}
\usepackage[all]{xypic,xy}
\usepackage{listings}
\usepackage{moreverb}
\usepackage{natbib}
\usepackage{gastex}
\usepackage{multind}
\usepackage{hevea}
\setcounter{cuttingdepth}{2}
\usepackage{utils}
\newcommand\lstpl[1]{\lstinputlisting[language=Prolog,basicstyle=\sffamily,breaklines=true,frame=L]{#1}}
\newcommand\lstxml[1]{\lstinputlisting[language=XML,basicstyle=\small,breaklines=true,frame=L]{#1}}
\renewcommand\bold[1]{\textbf{#1}}
\newcommand\nat{\mathbb{N}}
\renewcommand\nat{\mbox{|N}}
\newcommand\knows{\mathtt{knows}}
\newcommand\provided{\mbox{:--}}
\renewcommand\provided{ \mbox{:-} }

\pagestyle{empty}
\thispagestyle{empty}
\begin{document}
  \includegraphics[scale=0.95]{h1.1.eps}

\clearpage% page: 0
  \includegraphics[scale=0.95]{h1.2.eps}

\clearpage% page: 1
  \includegraphics[scale=0.95]{h1.3.eps}

\clearpage% page: 2
  \includegraphics[scale=0.95]{h1.4.eps}

\clearpage% page: 3
  \includegraphics{auto.eps}

\clearpage% page: 4
  \includegraphics{listeven.eps}

\clearpage% page: 5
\lstinputlisting[language=tptp,frame=L]{test1.p}

\clearpage% page: 6
\lstinputlisting[language=tptp,frame=L]{listeven.p}

\clearpage% page: 7
\lstinputlisting[language=tptp,frame=L]{tree3plus2.p}

\clearpage% page: 8
\lstpl{tree3plus2.model.pl}

\clearpage% page: 9
  \setlength\unitlength{0.6pt}
  \small
  \input{tree3plus2_model}

\clearpage% page: 10
\lstpl{list_even_inter_tree3plus2.model.pl}

\clearpage% page: 11
  \setlength\unitlength{0.6pt}
  \small
  \input{list_even_inter_tree3plus2_model}

\clearpage% page: 12
\lstpl{rinter.model.pl}

\clearpage% page: 13
  \setlength\unitlength{0.6pt} \small \input{rinter_model}

\clearpage% page: 14
\lstpl{rinter_nd.model.pl}

\clearpage% page: 15
  \setlength\unitlength{0.55pt}
  \small
  \input{rinter_nd_model}

\clearpage% page: 16
\begin{picture}(4,4)(0,0)
  \node[Nadjust=wh](block5)(3,1){$\scriptstyle\oldstylenums{1}$}
\end{picture}

\clearpage% page: 17
\begin{picture}(4,4)(0,0)
  \node[Nadjust=wh](block5)(3,1){$\scriptstyle a$}
\end{picture}

\clearpage% page: 18
  \setlength\unitlength{0.55pt}
  \small
  \input{rinter_nd_purged}

\clearpage% page: 19
\lstpl{nondetex}

\clearpage% page: 20
\lstxml{rinter_d.xml}

\clearpage% page: 21
\lstpl{rinter_d.pl}

\clearpage% page: 22
  \setlength\unitlength{0.55pt} \small \input{rinterd}

\clearpage% page: 23
\lstpl{list_even_union_tree3plus2.model.pl}

\clearpage% page: 24
  \setlength\unitlength{0.6pt}
  \small
  \input{list_even_union_tree3plus2_model}

\clearpage% page: 25
\lstpl{list_even_union_tree3plus2_d.pl}

\clearpage% page: 26
  \setlength\unitlength{0.6pt}
  \small
  \input{list_even_union_tree3plus2_model_d}

\clearpage% page: 27
\lstpl{rinter_d_plus.model.pl}

\clearpage% page: 28
\lstpl{agatha.model.pl}

\clearpage% page: 29
  \setlength\unitlength{0.6pt}
  \small
  \input{agatha_model}

\clearpage% page: 30
  \setlength\unitlength{0.6pt}
  \small
  \input{agathad}

\clearpage% page: 31
  \setlength\unitlength{0.5pt}
  \small
  \input{listeven_model}

\clearpage% page: 32
  \setlength\unitlength{0.3pt}
  \small
  \input{nspriv_model}

\clearpage% page: 33
%  \setlength\unitlength{0.3pt}
%  \small
%  \input{nspriv_twopi}

\clearpage% page: 34

\end{document}
