L30 change 500 to 512.

Lectures/L30_IntroToVerificationContd/IntroToVerificationContd.tex

@@ -127,8 +127,8 @@
 
 \begin{itemize}
 
-\item \structure{If a bridge can hold 500 kN, can it hold 499 kN?}
-\item \structure{If our software works for the input 500, will it work for 499?}
+\item \structure{If a bridge can hold 512 kN, can it hold 499 kN?}
+\item \structure{If our software works for the input 512, will it work for 499?}
 
 \end{itemize}
 
@@ -154,7 +154,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-\frametitle{Modified Version Works for 500, but not 499}
+\frametitle{Modified Version Works for 512, but not 499}
 
 \includegraphics[scale=0.5]{../Figures/BinarySearch.png}