="TBL-83-9-3"  
class="td11"> <span 
class="cmmi-10">topdecl</span><sub><span 
class="cmr-7">1</span></sub><span 
class="cmmi-10">&#x00A0;</span><span 
class="pcrr7t-">;</span><span 
class="cmmi-10">&#x00A0;</span><span 
class="cmmi-10">&hellip;</span><span 
class="cmmi-10">&#x00A0;</span><span 
class="pcrr7t-">;</span><span 
class="cmmi-10">&#x00A0;topdecl</span><sub><span 
class="cmmi-7">n</span></sub>                     </td><td  style="white-space:nowrap; text-align:left;" id="TBL-83-9-4"  
class="td11