\textwidth=6in
\oddsidemargin=0.25in
\evensidemargin=0.25in
\topmargin=-0.1in
\footskip=0.8in
\parindent=0.0cm
\parskip=0.3cm
\textheight=8.00in
\setcounter{tocdepth} {3}
\setcounter{secnumdepth} {2}
\sloppy

\newenvironment{proof}{\noindent{\bf Proof:}}{\qed\bigskip}
\newenvironment{proof_sketch}{\noindent{\bf Sketch of 
Proof}\hspace*{1em}}{\qed\bigskip}

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\newtheorem{lemma}{Lemma}
\newtheorem{claim}{Claim}
\newtheorem{fact}{Fact}
\newtheorem{definition}{Definition}
\newtheorem{assumption}{Assumption}
\newtheorem{observation}{Observation}
\newtheorem{example}{Example}
\newcommand{\qed}{\rule{7pt}{7pt}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \StartNotes command takes 3 arguments:
%		ordinal number of the part
%		topic of the part
%               date to put on title block
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\StartNotes}[5]{
\pagestyle{headings}
\thispagestyle{plain}
\newpage
\noindent
\begin{center}
\framebox{ 
\vbox{ 
\hbox to 5.75in { 
   {\bf 6.857 Computer and Network Security} {\hfill \small #3}}
\vspace{4mm}
\hbox to 5.75in { {\Large \hfill Lecture Notes #1 : #2 \hfill} }
\vspace{2mm}
\hbox to 5.75in { {\it Lecturer: #4 \hfill Scribe: #5} }
} 
}
\end{center}
\markboth{Lecture #1 : #2}{Lecture #1 : #2}
\footnotetext{
%Copyright \copyright 1998 Ronald L. Rivest. 
%Email: {\tt rivest@mit.edu}
%Web:   {\tt http://web.mit.edu/6.857/www/home.html}
%All rights reserved.
May be freely reproduced for educational or personal use.}
\vspace*{4mm}
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% For theorems, lemmas, definitions, remarks, etc. use commands
% {\theorem{...}}, {\lemma{...}}, {\definition{...}}, etc.
% For proofs, use \begin{proof} ... \end{proof}
%
% For figures use the following block:
%
% \begin{figure}[h]
% \begin{center}
% \mbox{\psfig{figure=notes-nn-fig-mm.ps}}
% \caption{A very nice picture.}
% \label{fig:picture}
% \end{center}
% \end{figure}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\emdash}{{---}}

\newcommand{\sequence}[1]{{\langle#1\rangle}}
\newcommand{\bitlength}[1]{{|#1|}}
\newcommand{\abs}[1]{{|#1|}}

\newcommand{\FOR}{{\bf for }}
\newcommand{\TO}{{\bf to }}
\newcommand{\DO}{{\bf do }}

\newcommand{\xor}{{\oplus}}
\newcommand{\lll}{ <\!\!\!<\!\!\!< }
\newcommand{\rrr}{ >\!\!\!>\!\!\!> }
\newcommand{\ceil}[1]{\lceil #1 \rceil}
\newcommand{\floor}[1]{\lfloor #1 \rfloor}

%% Number theory notations
\newcommand{\divs}{\mathrel |}
\newcommand{\ndivs}{\mathrel{\not|}}
\newcommand{\lcm}{\mathop{\operator@font lcm}\nolimits}
\newcommand{\sign}{\mathop{\operator@font sign}\nolimits}
\newcommand{\Zn}{\integers_n}
\newcommand{\Zp}{\integers_p}
\newcommand{\Zq}{\integers_q}
\newcommand{\dispLegendre}[2]{\left(\frac{#1}{#2}\right)}
\newcommand{\Legendre}[2]{\bigl(\frac{#1}{#2}\bigr)}
\newcommand{\ord}{\mathop{\operator@font ord}\nolimits}
\newcommand{\ind}{\mathop{\operator@font ind}\nolimits}
%% ``imod'' is an ``in-line mod'' that leaves less space before the parens.
\def\imod#1{\allowbreak \mkern10mu (\hbox{mod}\,\,#1)}
%% boldface imod
\def\bimod#1{\allowbreak \mkern10mu (\hbox{mod}\,\,#1)}

