\documentclass[10pt]{article}
\usepackage{amsmath,paralist,amsthm,comment,color,amssymb}
\addtolength{\topmargin}{.125in}
\addtolength{\textheight}{.25in}
	
	
\usepackage{times}
\usepackage{fullpage,amsfonts,latexsym,graphics,amssymb}
\usepackage{amsmath,amsthm,amstext,url,paralist}

\usepackage[colorlinks=true,urlcolor=blue]{hyperref}

\newtheorem{theorem}{Theorem}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem*{observation}{Observation}
\newtheorem*{example}{Example}
\newtheorem*{remark}{Remark}
\usepackage{tikz}


\begin{document}

\input{xy}


\end{document}

