%% This LaTeX-file was created by <jl> Mon Nov 19 23:22:23 2001
%% LyX 1.0 (C) 1995-1999 by Matthias Ettrich and the LyX Team

%% Do not edit this file unless you know what you are doing.
\documentclass{article}
\usepackage[T1]{fontenc}

\makeatletter


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LyX specific LaTeX commands.
\providecommand{\LyX}{L\kern-.1667em\lower.25em\hbox{Y}\kern-.125emX\@}

\makeatother

\begin{document}

\begin{verbatim}
11:15PM z-4: cat test_error                ~/programs/ocaml/bound [jl/ttypts/4]
test_examples 800
test_errors 192
delta 0.025
lower_delta 0.025
11:15PM z-5: bound test_error              ~/programs/ocaml/bound [jl/ttypts/4]
Applying varying approximation tail bound
delta 0.025
lower_delta 0.025
test_examples 800
test_errors 192
approximation automatic
true_error = 0.24 0.28252880089 0.20065891277
\end{verbatim}

\end{document}
