 class="titlepage">
<div>
<div><h2 class="title">
<a name="compressed_pair"></a>Compressed_Pair</h2></div>
<div><div class="authorgroup">
<div class="author"><h3 class="author">
<span class="firstname">Steve</span> <span class="surname">Cleary</span>
</h3></div>
<div class="author"><h3 class="author">
<span class="firstname">Beman</span> <span class="surname">Dawes</span>
</h3></div>
<div class="author"><h3 class="author">
<span class="firstname">Howard</span> <span class="surname">Hinnant</span>
</h3></div