  style="white-space:nowrap; text-align:left;" id="TBL-83-3-1"  
class="td11"> <span 
class="cmmi-10">body       </span></td><td  style="white-space:nowrap; text-align:center;" id="TBL-83-3-2"  
class="td11">   <span 
class="cmsy-10">&rarr;</span>  </td><td  style="white-space:nowrap; text-align:left;" id="TBL-83-3-3"  
class="td11"> <span 
class="pcrr7t-">{</span><span 
class="cmmi-10">&#x00A0;impdecls</span><span 
class="cmmi-10">&#x00A0;</span><span 
class="pcrr7t-">;</span><span 
class="cmmi-10">&#x00A0