\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\numberline {1}Basic Setup}{1}{section.1}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Code Distance and the Hadamard Code}{2}{section.2}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Good codes}{3}{section.3}}
\newlabel{thm:singleton}{{2}{3}{Singleton Bound}{theorem.2}{}}
\newlabel{thm:gv_bound}{{3}{4}{Gilbert-Varshamov bound}{theorem.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces The graph of $H(X)$ as a function of $X$.\relax }}{4}{figure.caption.1}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{fig:entropyfn}{{1}{4}{The graph of $H(X)$ as a function of $X$.\relax }{figure.caption.1}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces The plot above is taken from \url  {https://courses.cs.washington.edu/courses/cse533/06au/lecnotes/lecture5.pdf}. $\delta $ corresponds to our $\Delta $ and $R = n/m$.\relax }}{5}{figure.caption.2}}
\newlabel{fig:codebounds}{{2}{5}{The plot above is taken from \url {https://courses.cs.washington.edu/courses/cse533/06au/lecnotes/lecture5.pdf}. $\delta $ corresponds to our $\Delta $ and $R = n/m$.\relax }{figure.caption.2}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Aside on Shannon vs. Hamming}{5}{subsection.3.1}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Finite fields and polynomials}{6}{section.4}}
\newlabel{lem:interpolate}{{5}{6}{Polynomial Interpolation}{theorem.5}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Linear system corresponding to polynomial interpolation; matrix on left side is {\em  Vandermonde}.\relax }}{6}{figure.caption.3}}
\newlabel{fig:interpolation}{{3}{6}{Linear system corresponding to polynomial interpolation; matrix on left side is {\em Vandermonde}.\relax }{figure.caption.3}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Reed Solomon codes and their decoding}{6}{section.5}}
\newlabel{lem:BW1}{{7}{7}{}{theorem.7}{}}
\newlabel{eqn:BW1}{{1}{7}{}{equation.5.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Code concatenation}{7}{section.6}}