***************************************************************************
* 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 DIV7 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;
***************************************************************************

$EXTERN MUL ,ADD ;
$ENTRY Go {
 = <Prout <DIV7 e.1 >> ;
}

* InputFormat: <DIV7 e.1 >
DIV7 {
 e.1  = <F27 0 (e.1 )> ;
}

* InputFormat: <F27 s.77 (e.78 ) >
F27 {
 s.77 ()  = s.77 ;
 s.77 (e.78 s.79 )  , <MUL (s.79 ) 1 >:s.80  , <ADD (s.77 ) s.80 >:s.81 
 = <O5 e.78 s.81 > ;
}

* InputFormat: <O5 e.78 s.81 >
O5 {
 s.81  = s.81 ;
 e.78 s.84 s.81  , <MUL (s.84 ) 3 >:s.85  , <ADD (s.81 ) s.85 >:s.86  = 
<O4 e.78 s.86 > ;
}

* InputFormat: <O4 e.78 s.86 >
O4 {
 s.86  = s.86 ;
 e.78 s.89 s.86  , <MUL (s.89 ) 2 >:s.90  , <ADD (s.86 ) s.90 >:s.91  = 
<O3 e.78 s.91 > ;
}

* InputFormat: <O3 e.78 s.91 >
O3 {
 s.91  = s.91 ;
 e.78 s.94 s.91  , <MUL (s.94 ) 6 >:s.95  , <ADD (s.91 ) s.95 >:s.96  = 
<O2 e.78 s.96 > ;
}

* InputFormat: <O2 e.78 s.96 >
O2 {
 s.96  = s.96 ;
 e.78 s.99 s.96  , <MUL (s.99 ) 4 >:s.100  , <ADD (s.96 ) s.100 >:s.101 
 = <O1 e.78 s.101 > ;
}

* InputFormat: <O1 e.78 s.101 >
O1 {
 s.101  = s.101 ;
 e.78 s.104 s.101  , <MUL (s.104 ) 5 >:s.105  , <ADD (s.101 ) s.105 >:s.106 
 = <F27 s.106 (e.78 )> ;
}

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