176 	\centering

   176 	\centering

   177 \begin{tikzpicture}

   177 \begin{tikzpicture}

   178 \begin{axis}[

   178 \begin{axis}[

   179     xlabel={$n$},

   179     xlabel={$n$},

   180     ylabel={time},

   180     ylabel={time},

   182     legend entries={time in secs},  

   182     legend entries={time in secs},  

   183     legend pos=north west,

   183     legend pos=north west,

   184     legend cell align=left]

   184     legend cell align=left]

   185 \addplot[red,mark=*, mark options={fill=white}] table {SulzmannLuLexerTime.data};

   185 \addplot[red,mark=*, mark options={fill=white}] table {SulzmannLuLexerTime.data};

   186 \end{axis}

   186 \end{axis}