%auto-ignore
%this ensures the arxiv doesn't try to start TeXing here.

%!TEX root = ../blob1.tex

\input{\pathtotrunk preamble.tex}

\newtheorem{lemma}[prop]{Lemma}

\usepackage[pdftex,plainpages=false,hypertexnames=false,pdfpagelabels]{hyperref}

\usepackage{breakurl}

\usepackage[pdftex]{graphicx}

%must load tikz after graphicx
\usepackage{tikz}
\usetikzlibrary{shapes}
\usetikzlibrary{backgrounds}
\usetikzlibrary{decorations,decorations.pathreplacing}
\usetikzlibrary{fit,calc,through}

\newtheorem{example}[prop]{Example}

\usepackage{color}

% This switches fonts to the Palatino family.
%\renewcommand{\familydefault}{ppl}

%%% futzing with margins following Dror (from Karoubi)
%\marginparwidth 0pt%
%\marginparsep 0pt

%\textwidth   5.5in%
%\textheight  9.0in%
%\oddsidemargin 12pt%
%\evensidemargin 12pt%

%\topmargin -.6in%
%\headsep .5in


% margin stuff
\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{0in}
\setlength{\evensidemargin}{0in}
\setlength{\textheight}{8.5in}
\setlength{\topmargin}{-.25in}
