254"></a><span class="lineno">  254</span>&#160;        <span class="keyword">write</span>(*,<span class="stringliteral">&quot;(a5,a20,a20)&quot;</span>) <span class="stringliteral">&quot;\nu&quot;</span>, <span class="stringliteral">&quot;exact&quot;</span>, <span class="stringliteral">&quot;numeric&quot;</span></div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;        <span class="keywordflow">do</span> i=1,solver.nstates</div>
<div class="line"><a name="l00256"></a><span