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