e <em>n</em> (marked
        'good').</dd>
    <dt><a href="qh-optt.html#Tv">Tv</a></dt>
    <dd>verify result.</dd>
    <dt><a href="qh-optt.html#TI">TI file</a></dt>
    <dd>input data from file.  The filename may not use spaces or quotes.</dd>
    <dt><a href="qh-optt.html#TO">TO file</a></dt>
    <dd>output results to file.  Use single quotes if the filename
        contains spaces (e.g., <tt>TO 'file with spaces.txt'</tt></dd>
    <dt><a href="qh-optt.html#TFn">TFn</a></dt>
    <dd>report progress afte