***************************************************************************
* This file was created at Thu Jan 20 10:43:25 2000
* Here is a residual program of the last supercompilation by the SCP4.
* A task from DI.mst was supercompiled.
* The residual program is in Refal5.
* You have to change the parametrs of the calls of DI with data,
*          as well as to choose a call to run.
* Please, be carefull: 
*         a) the order of the parametrs can be incorrect;
***************************************************************************

$EXTERN NEXT ;
$ENTRY Go {
 = <Prout <DI1 >> ;
}

* InputFormat: <DI1 >
DI1 {
 , <NEXT >:(s.103 ) e.101  = <F6 e.101 s.103 > ;
}

* InputFormat: <F1034 e.101 >
F1034 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.386  = <F1034 e.386 > ;
 () e.101  = ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.388 ) e.101  = <F6 e.101 s.388 > (FALSE ) ;
}

* InputFormat: <F1009 e.101 >
F1009 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.376  = <F1009 e.376 > ;
 () e.101  = (FALSE ) ;
 (PCDATA ) e.101  = <F1034 e.101 > ;
 (s.378 ) e.101  = <F6 e.101 s.378 > (FALSE ) ;
}

* InputFormat: <F918 e.101 >
F918 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.319  = <F918 e.319 > ;
 () e.101  = ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.321 ) e.101  = <F6 e.101 s.321 > (FALSE ) ;
}

* InputFormat: <F703 e.101 >
F703 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.252  = <F703 e.252 > ;
 () e.101  = ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.254 ) e.101  = <F6 e.101 s.254 > <S1 e.101 s.254 > ;
}

* InputFormat: <F614 e.101 >
F614 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.242  = <F614 e.242 > ;
 () e.101  = (FALSE ) ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.244 ) e.101  = <F6 e.101 s.244 > <S2 e.101 s.244 > ;
}

* InputFormat: <F407 e.101 >
F407 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.174  = <F407 e.174 > ;
 () e.101  = ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.176 ) e.101  = <F6 e.101 s.176 > (FALSE ) ;
}

* InputFormat: <F310 e.101 >
F310 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.164  = <F310 e.164 > ;
 () e.101  = (FALSE ) ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.166 ) e.101  = <F6 e.101 s.166 > <S3 e.101 s.166 > ;
}

* InputFormat: <F229 e.101 >
F229 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.154  = <F229 e.154 > ;
 () e.101  = (FALSE ) ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.156 ) e.101  = <F6 e.101 s.156 > <S4 e.101 s.156 > ;
}

* InputFormat: <F80 e.101 >
F80 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.114  = <F80 e.114 > ;
 () e.101  = ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.116 ) e.101  = <F6 e.101 s.116 > <S5 e.101 s.116 > ;
}

* InputFormat: <F17 e.101 >
F17 {
 FALSE  = (FALSE ) ;
  , <NEXT >:e.104  = <F17 e.104 > ;
 () e.101  = (FALSE ) ;
 (PCDATA ) e.101  = (FALSE ) ;
 (s.106 ) e.101  = <F6 e.101 s.106 > <S6 e.101 s.106 > ;
}

* InputFormat: <F6 e.101 s.103 >
F6 {
 e.101 APPLY  = <F17 e.101 > ;
 e.101 MINUS  = <F918 e.101 > ;
 e.101 DIVIDE  = <F918 e.101 > ;
 e.101 POWER  = <F918 e.101 > ;
 e.101 PLUS  = <F918 e.101 > ;
 e.101 TIMES  = <F918 e.101 > ;
 e.101 CN  = <F1009 e.101 > ;
 e.101 CI  = <F1009 e.101 > ;
 e.101 s.103  = (FALSE ) ;
}

* InputFormat: <S6 e.101 s.106 >
S6 {
 e.101 TIMES  = <F80 e.101 > ;
 e.101 PLUS  = <F80 e.101 > ;
 e.101 POWER  = <F229 e.101 > ;
 e.101 DIVIDE  = <F229 e.101 > ;
 e.101 MINUS  = <F614 e.101 > ;
 e.101 s.106  = (FALSE ) ;
}

* InputFormat: <S5 e.101 s.116 >
S5 {
 e.101 APPLY  = <F80 e.101 > ;
 e.101 CI  = <F80 e.101 > ;
 e.101 CN  = <F80 e.101 > ;
 e.101 s.116  = (FALSE ) ;
}

* InputFormat: <S4 e.101 s.156 >
S4 {
 e.101 APPLY  = <F310 e.101 > ;
 e.101 CI  = <F310 e.101 > ;
 e.101 CN  = <F310 e.101 > ;
 e.101 s.156  = (FALSE ) ;
}

* InputFormat: <S3 e.101 s.166 >
S3 {
 e.101 APPLY  = <F407 e.101 > ;
 e.101 CI  = <F407 e.101 > ;
 e.101 CN  = <F407 e.101 > ;
 e.101 s.166  = (FALSE ) ;
}

* InputFormat: <S2 e.101 s.244 >
S2 {
 e.101 APPLY  = <F703 e.101 > ;
 e.101 CI  = <F703 e.101 > ;
 e.101 CN  = <F703 e.101 > ;
 e.101 s.244  = (FALSE ) ;
}

* InputFormat: <S1 e.101 s.254 >
S1 {
 e.101 APPLY  = <F407 e.101 > ;
 e.101 CI  = <F407 e.101 > ;
 e.101 CN  = <F407 e.101 > ;
 e.101 s.254  = (FALSE ) ;
}

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