<sect1 id="aa-bin86">
<title>Bin86</title>
<?dbhtml filename="bin86.html" dir="appendixa"?>
&aa-bin86-down;
&aa-bin86-desc;
&aa-bin86-dep;
</sect1>