pan><span class="p">,</span><span class="w"> </span><span class="nx">sort</span>
<span class="nx">implicit</span><span class="w"> </span><span class="nx">none</span>
<span class="nx">integer</span><span class="p">,</span><span class="nx">parameter</span><span class="w"> </span><span class="o">::</span><span class="w"> </span><span class="nx">n</span><span class="p">=</span><span class="mi">4000</span>
<span class="nx">integer</span><span class="w">           </span><span class="o">::</span><span class="w"> 