<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lambdoc document</title><meta charset="utf-8"/><link rel="stylesheet" href="css/lambdoc.css" media="all" title="Default"/></head><body><div class="doc doc_valid"><div class="doc_src_block"><pre class="doc_src_code">
<code class="doc_src_line doc_src_dummy"></code>
<code class="doc_src_line">\begin{source}</code>
<code class="doc_src_line">\end{source}</code>
<code class="doc_src_line doc_src_dummy"></code></pre></div><div class="doc_pre doc_floatable"><div class="doc_pre_aux"><pre class="doc_pre_aux">\begin{verbatim}
\end{verbatim}</pre></div></div></div></body></html>
