">Discount</a>
                      </li><li class="current-entities indented4">
                        <span class="separator"></span>
                        <a class="class" href="FastaOutputFormat.html" title=""></a>
                        <a href="FastaOutputFormat.html" title="">FastaOutputFormat</a>
                      </li><li class="current-entities indented4">
                        <span class="separator"></span>
                        <a class="class" href="FastaShortInput.html" title="In