***************************************************************************
* 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 ADDS1 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 ADD ,DIVMOD ;
$ENTRY Go {
 = <Prout <ADDS1 e.1 >> ;
}

* InputFormat: <ADDS1 e.1 >
ADDS1 {
 s.41 (e.42 ) e.1  = <F22 e.1 0 s.41 (e.42 )> ;
}

* InputFormat: <F22 e.54 s.55 s.56 (e.57 ) >
F22 {
 e.54 s.59 s.55 s.56 (e.57 s.58 )  , <ADD (s.58 ) s.59 >:s.60  , <ADD (s.60 
) s.55 >:s.61  , <DIVMOD (s.61 ) s.56 >:(s.64 ) s.65  = <F22 e.54 s.64 s.56 
(e.57 )> s.65 ;
 0 s.56 ()  = ;
 e.54 s.55 s.56 ()  = <F22 e.54 0 s.56 (s.55 )> ;
 s.55 s.56 (e.57 )  = <F22 s.55 0 s.56 (e.57 )> ;
}

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