%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}