***************************************************************************
* Here is a residual program of the last supercompilation by the SCP4.
* The residual program is in Refal5.
* You have to change the parametrs of the call of TRINT3 with data.
* Please, be carefull: 
*         a) the order of the parametrs can be incorrect;
*         b) the residual program cannot be supercompiled
*            without some transformation to a fragment of Refal5;
***************************************************************************

$ENTRY Go {
 = <Prout <TRINT3 e.1 >> ;
}

* InputFormat: <TRINT3 e.1 >
TRINT3 {
 s.41 e.1  = <F23 s.41 () (e.1 )> ;
  = 'z' (('1' ) ' ' ) ;
}

* InputFormat: <F570 s.211 (e.212 ) s.214 (e.215 ) >
F570 {
 'L' (e.212 s.216 ) s.214 (e.215 )  = <F570 s.216 (e.212 ) 'L' (s.214 e.215 
                                       )> ;
 'L' () s.214 (e.215 )  = 'z' (('0' ) 'L' s.214 e.215 '*' ) ;
 'R' (e.212 s.221 ) s.214 (e.215 )  = <F570 s.221 (e.212 ) 'R' (s.214 e.215 
                                       )> ;
 'R' () s.214 (e.215 )  = 'z' (('0' ) 'R' s.214 e.215 '*' ) ;
 '(' (e.212 ) s.214 (e.215 )  = <F23 s.214 (e.212 'L' ) (e.215 )> ;
 '*' (e.212 ) s.214 (e.215 )  = 'z' (('*' e.212 '0' ) s.214 e.215 '*' ) 
;
}

* InputFormat: <F435 s.150 (e.151 ) s.153 (e.154 ) >
F435 {
 'L' (e.151 s.155 ) s.153 (e.154 )  , <F435 s.155 (e.151 ) '(' (s.153 e.154 
                                       )>:s.265 (e.264 ) s.266 (e.267 ) 
 = s.265 (e.264 ) s.266 (e.267 ) ;
 'L' () s.153 (e.154 )  = '1' () '(' (s.153 e.154 ) ;
 'R' (e.151 s.160 ) s.153 (e.154 )  , <F435 s.160 (e.151 ) ')' (s.153 e.154 
                                       )>:s.269 (e.268 ) s.270 (e.271 ) 
 = s.269 (e.268 ) s.270 (e.271 ) ;
 'R' () s.153 (e.154 )  = '1' () ')' (s.153 e.154 ) ;
 '(' (e.151 ) s.153 (e.154 )  = '0' ('*' e.151 ) s.153 (e.154 ) ;
 '*' (e.151 ) s.153 (e.154 )  = '1' ('*' e.151 ) s.153 (e.154 ) ;
}

* InputFormat: <F259 s.95 (e.96 ) (e.98 ) >
F259 {
 'L' (e.96 s.99 ) (e.98 )  , <F259 s.99 (e.96 ) ('(' e.98 )>:s.259 (e.258 
) (e.260 )  = s.259 (e.258 ) (e.260 ) ;
 'L' () (e.98 )  = '1' () ('(' e.98 ) ;
 'R' (e.96 s.103 ) (e.98 )  , <F259 s.103 (e.96 ) (')' e.98 )>:s.262 (e.261 
) (e.263 )  = s.262 (e.261 ) (e.263 ) ;
 'R' () (e.98 )  = '1' () (')' e.98 ) ;
 '(' (e.96 ) (e.98 )  = '0' ('*' e.96 ) (e.98 ) ;
 '*' (e.96 ) (e.98 )  = '1' ('*' e.96 ) (e.98 ) ;
}

* InputFormat: <F89 s.52 (e.53 ) (e.55 ) >
F89 {
 'L' (e.53 s.56 ) (e.55 )  , <F89 s.56 (e.53 ) ('(' e.55 )>:s.253 (e.252 
) (e.254 )  = s.253 (e.252 ) (e.254 ) ;
 'L' () (e.55 )  = '1' () ('(' e.55 ) ;
 'R' (e.53 s.60 ) (e.55 )  , <F89 s.60 (e.53 ) (')' e.55 )>:s.256 (e.255 
) (e.257 )  = s.256 (e.255 ) (e.257 ) ;
 'R' () (e.55 )  = '1' () (')' e.55 ) ;
 '(' (e.53 ) (e.55 )  = '0' ('*' e.53 ) (e.55 ) ;
 '*' (e.53 ) (e.55 )  = '1' ('*' e.53 ) (e.55 ) ;
}

* InputFormat: <F23 s.44 (e.45 ) (e.47 ) >
F23 {
 'L' (e.45 ) (s.48 e.47 )  = <F23 s.48 (e.45 'L' ) (e.47 )> ;
 'L' (e.45 s.50 ) ()  , <F89 s.50 (e.45 ) ()>:s.82 (e.83 ) (e.84 )  = 'z'
 ((e.83 s.82 ) e.84 '( ' ) ;
 'L' () ()  = 'z' (('1' ) '( ' ) ;
 'R' (e.45 ) (s.91 e.47 )  = <F23 s.91 (e.45 'R' ) (e.47 )> ;
 'R' (e.45 s.93 ) ()  , <F259 s.93 (e.45 ) ()>:s.125 (e.126 ) (e.127 )  
= 'z' ((e.126 s.125 ) e.127 ') ' ) ;
 'R' () ()  = 'z' (('1' ) ') ' ) ;
 '(' (e.45 ) (s.137 e.47 )  = <F23 s.137 (e.45 '(' ) (e.47 )> ;
 '(' (e.45 ) ()  = 'z' (('*' e.45 '0' ) ' ' ) ;
 '*' (e.45 s.148 ) (e.47 )  , <F435 s.148 (e.45 )  (e.47 ) > :s.189 (e.190 
) s.191 (e.192 )  = 'z' ((e.190 s.189 ) s.191 e.192 '*' ) ;
 '*' () (e.47 )  = 'z' (('1' )  e.47 '*' ) ;
 ')' (e.45 s.209 ) (e.47 )  = <F570 s.209 (e.45 ) 'R' (e.47 )> ;
 ')' () (e.47 )  = 'z' (('0' ) 'R' e.47 '*' ) ;
}

****************************** The End ************************************