***************************************************************************
* 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 FORMULA3 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 Q_DIV ,Q_MUL ,Q_SUB ,Q_ADD ;
$ENTRY Go {  = <Prout <FORMULA3 7 >> ; }

* InputFormat: <FORMULA3 e.1 >
FORMULA3 {
 e.1  , <Q_DIV (1 ) e.1 >:e.41  ,
        <Q_MUL (e.1 ) e.41 >:e.42  ,
        <Q_SUB (0 ) e.42 >:e.43  ,
        <Q_DIV (e.43 ) e.1 >:e.44  ,
        <Q_MUL (e.1 ) e.44 >:e.45  ,
        <Q_SUB (0 ) e.45 >:e.46  ,
        <Q_DIV (e.46 ) e.1 >:e.47  ,
        <Q_MUL (e.1 ) e.47 >:e.48  ,
        <Q_SUB ('-' 2 ) e.48 >:e.49  ,
        <Q_MUL (1 ) e.41 >:e.50 ,
        <Q_MUL (1 ) e.44 >:e.51  ,
        <Q_MUL (1 ) e.47 >:e.52  ,
        <Q_ADD (0 ) e.51 >:e.53  ,
        <Q_ADD (0 ) e.52 >:e.54  ,
        <Q_SUB (0 ) e.50 >:e.55  ,
        <Q_DIV (e.55 ) e.49 >:e.58  ,
        <Q_SUB (0 ) e.53 >:e.59  ,
        <Q_DIV (e.59 ) e.49 >:e.62 ,
        <Q_SUB (0 ) e.54 >:e.63  ,
        <Q_DIV (e.63 ) e.49 >:e.66
      = (e.58 ) (e.62 ) (e.66 ) ;
    }

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