***************************************************************************
* This file was created at Tue Jan 18 18:57:26 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 XML_REF1 ;
$ENTRY Go {
 = <Prout <DI1 >> ;
}

* InputFormat: <DI1 >
DI1 {
 , <XML_REF1 >:e.101  = <F8 e.101 > ;
}

* InputFormat: <F4091 e.102 >
F4091 {
 s.656 e.102  = <F4091 e.102 > ;
  = ;
 ((s.661 ) e.659 ) e.102  = <F11 e.659 s.661 > (FALSE ) ;
}

* InputFormat: <F39 e.102 >
F39 {
  = ;
 ((s.117 ) e.115 ) e.102  = <F11 e.115 s.117 > <S1 e.102 s.117 > ;
 s.120 e.102  = (FALSE ) ;
}

* InputFormat: <F11 e.102 s.104 >
F11 {
 APPLY  = (FALSE ) ;
 ((s.110 ) e.108 ) e.102 APPLY  = <F11 e.108 s.110 > <S2 e.102 s.110 > ;
 s.113 e.102 APPLY  = (FALSE ) ;
 MINUS  = ;
 ((s.597 ) e.595 ) e.102 MINUS  = <F11 e.595 s.597 > (FALSE ) ;
 s.600 e.102 MINUS  = (FALSE ) ;
 DIVIDE  = ;
 ((s.606 ) e.604 ) e.102 DIVIDE  = <F11 e.604 s.606 > (FALSE ) ;
 s.609 e.102 DIVIDE  = (FALSE ) ;
 POWER  = ;
 ((s.616 ) e.614 ) e.102 POWER  = <F11 e.614 s.616 > (FALSE ) ;
 s.619 e.102 POWER  = (FALSE ) ;
 PLUS  = ;
 ((s.627 ) e.625 ) e.102 PLUS  = <F11 e.625 s.627 > (FALSE ) ;
 s.630 e.102 PLUS  = (FALSE ) ;
 TIMES  = ;
 ((s.639 ) e.637 ) e.102 TIMES  = <F11 e.637 s.639 > (FALSE ) ;
 s.642 e.102 TIMES  = (FALSE ) ;
 CN  = (FALSE ) ;
 ((s.652 ) e.650 ) e.102 CN  = <F11 e.650 s.652 > (FALSE ) ;
 s.655 e.102 CN  = <F4091 e.102 > ;
 CI  = (FALSE ) ;
 ((s.676 ) e.674 ) e.102 CI  = <F11 e.674 s.676 > (FALSE ) ;
 s.679 e.102 CI  = <F4091 e.102 > ;
 e.102 s.104  = (FALSE ) ;
}

* InputFormat: <F8 e.101 >
F8 {
 ((s.104 ) e.102 ) e.101  = <F11 e.102 s.104 > <F8 e.101 > ;
  = ;
}

* InputFormat: <S2 e.102 s.110 >
S2 {
 e.102 TIMES  = <F39 e.102 > ;
 e.102 PLUS  = <F39 e.102 > ;
 POWER  = (FALSE ) ;
 ((s.161 ) e.159 ) e.102 POWER  = <F11 e.159 s.161 > <S3 e.102 s.161 > ;
 s.164 e.102 POWER  = (FALSE ) ;
 DIVIDE  = (FALSE ) ;
 ((s.303 ) e.301 ) e.102 DIVIDE  = <F11 e.301 s.303 > <S7 e.102 s.303 > 
;
 s.306 e.102 DIVIDE  = (FALSE ) ;
 MINUS  = (FALSE ) ;
 ((s.446 ) e.444 ) e.102 MINUS  = <F11 e.444 s.446 > <S11 e.102 s.446 > 
;
 s.449 e.102 MINUS  = (FALSE ) ;
 e.102 s.110  = (FALSE ) ;
}

* InputFormat: <S11 e.102 s.446 >
S11 {
 APPLY  = ;
 ((s.453 ) e.451 ) e.102 APPLY  = <F11 e.451 s.453 > <S12 e.102 s.453 > 
;
 s.456 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.494 ) e.492 ) e.102 CI  = <F11 e.492 s.494 > <S13 e.102 s.494 > ;
 s.497 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.536 ) e.534 ) e.102 CN  = <F11 e.534 s.536 > <S14 e.102 s.536 > ;
 s.539 e.102 CN  = (FALSE ) ;
 e.102 s.446  = (FALSE ) ;
}

* InputFormat: <S14 e.102 s.536 >
S14 {
 APPLY  = ;
 ((s.543 ) e.541 ) e.102 APPLY  = <F11 e.541 s.543 > (FALSE ) ;
 s.546 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.551 ) e.549 ) e.102 CI  = <F11 e.549 s.551 > (FALSE ) ;
 s.554 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.560 ) e.558 ) e.102 CN  = <F11 e.558 s.560 > (FALSE ) ;
 s.563 e.102 CN  = (FALSE ) ;
 e.102 s.536  = (FALSE ) ;
}

* InputFormat: <S13 e.102 s.494 >
S13 {
 APPLY  = ;
 ((s.501 ) e.499 ) e.102 APPLY  = <F11 e.499 s.501 > (FALSE ) ;
 s.504 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.509 ) e.507 ) e.102 CI  = <F11 e.507 s.509 > (FALSE ) ;
 s.512 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.518 ) e.516 ) e.102 CN  = <F11 e.516 s.518 > (FALSE ) ;
 s.521 e.102 CN  = (FALSE ) ;
 e.102 s.494  = (FALSE ) ;
}

* InputFormat: <S12 e.102 s.453 >
S12 {
 APPLY  = ;
 ((s.460 ) e.458 ) e.102 APPLY  = <F11 e.458 s.460 > (FALSE ) ;
 s.463 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.468 ) e.466 ) e.102 CI  = <F11 e.466 s.468 > (FALSE ) ;
 s.471 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.477 ) e.475 ) e.102 CN  = <F11 e.475 s.477 > (FALSE ) ;
 s.480 e.102 CN  = (FALSE ) ;
 e.102 s.453  = (FALSE ) ;
}

* InputFormat: <S7 e.102 s.303 >
S7 {
 APPLY  = (FALSE ) ;
 ((s.310 ) e.308 ) e.102 APPLY  = <F11 e.308 s.310 > <S8 e.102 s.310 > ;
 s.313 e.102 APPLY  = (FALSE ) ;
 CI  = (FALSE ) ;
 ((s.351 ) e.349 ) e.102 CI  = <F11 e.349 s.351 > <S9 e.102 s.351 > ;
 s.354 e.102 CI  = (FALSE ) ;
 CN  = (FALSE ) ;
 ((s.393 ) e.391 ) e.102 CN  = <F11 e.391 s.393 > <S10 e.102 s.393 > ;
 s.396 e.102 CN  = (FALSE ) ;
 e.102 s.303  = (FALSE ) ;
}

* InputFormat: <S10 e.102 s.393 >
S10 {
 APPLY  = ;
 ((s.400 ) e.398 ) e.102 APPLY  = <F11 e.398 s.400 > (FALSE ) ;
 s.403 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.408 ) e.406 ) e.102 CI  = <F11 e.406 s.408 > (FALSE ) ;
 s.411 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.417 ) e.415 ) e.102 CN  = <F11 e.415 s.417 > (FALSE ) ;
 s.420 e.102 CN  = (FALSE ) ;
 e.102 s.393  = (FALSE ) ;
}

* InputFormat: <S9 e.102 s.351 >
S9 {
 APPLY  = ;
 ((s.358 ) e.356 ) e.102 APPLY  = <F11 e.356 s.358 > (FALSE ) ;
 s.361 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.366 ) e.364 ) e.102 CI  = <F11 e.364 s.366 > (FALSE ) ;
 s.369 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.375 ) e.373 ) e.102 CN  = <F11 e.373 s.375 > (FALSE ) ;
 s.378 e.102 CN  = (FALSE ) ;
 e.102 s.351  = (FALSE ) ;
}

* InputFormat: <S8 e.102 s.310 >
S8 {
 APPLY  = ;
 ((s.317 ) e.315 ) e.102 APPLY  = <F11 e.315 s.317 > (FALSE ) ;
 s.320 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.325 ) e.323 ) e.102 CI  = <F11 e.323 s.325 > (FALSE ) ;
 s.328 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.334 ) e.332 ) e.102 CN  = <F11 e.332 s.334 > (FALSE ) ;
 s.337 e.102 CN  = (FALSE ) ;
 e.102 s.310  = (FALSE ) ;
}

* InputFormat: <S3 e.102 s.161 >
S3 {
 APPLY  = (FALSE ) ;
 ((s.168 ) e.166 ) e.102 APPLY  = <F11 e.166 s.168 > <S4 e.102 s.168 > ;
 s.171 e.102 APPLY  = (FALSE ) ;
 CI  = (FALSE ) ;
 ((s.209 ) e.207 ) e.102 CI  = <F11 e.207 s.209 > <S5 e.102 s.209 > ;
 s.212 e.102 CI  = (FALSE ) ;
 CN  = (FALSE ) ;
 ((s.251 ) e.249 ) e.102 CN  = <F11 e.249 s.251 > <S6 e.102 s.251 > ;
 s.254 e.102 CN  = (FALSE ) ;
 e.102 s.161  = (FALSE ) ;
}

* InputFormat: <S6 e.102 s.251 >
S6 {
 APPLY  = ;
 ((s.258 ) e.256 ) e.102 APPLY  = <F11 e.256 s.258 > (FALSE ) ;
 s.261 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.266 ) e.264 ) e.102 CI  = <F11 e.264 s.266 > (FALSE ) ;
 s.269 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.275 ) e.273 ) e.102 CN  = <F11 e.273 s.275 > (FALSE ) ;
 s.278 e.102 CN  = (FALSE ) ;
 e.102 s.251  = (FALSE ) ;
}

* InputFormat: <S5 e.102 s.209 >
S5 {
 APPLY  = ;
 ((s.216 ) e.214 ) e.102 APPLY  = <F11 e.214 s.216 > (FALSE ) ;
 s.219 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.224 ) e.222 ) e.102 CI  = <F11 e.222 s.224 > (FALSE ) ;
 s.227 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.233 ) e.231 ) e.102 CN  = <F11 e.231 s.233 > (FALSE ) ;
 s.236 e.102 CN  = (FALSE ) ;
 e.102 s.209  = (FALSE ) ;
}

* InputFormat: <S4 e.102 s.168 >
S4 {
 APPLY  = ;
 ((s.175 ) e.173 ) e.102 APPLY  = <F11 e.173 s.175 > (FALSE ) ;
 s.178 e.102 APPLY  = (FALSE ) ;
 CI  = ;
 ((s.183 ) e.181 ) e.102 CI  = <F11 e.181 s.183 > (FALSE ) ;
 s.186 e.102 CI  = (FALSE ) ;
 CN  = ;
 ((s.192 ) e.190 ) e.102 CN  = <F11 e.190 s.192 > (FALSE ) ;
 s.195 e.102 CN  = (FALSE ) ;
 e.102 s.168  = (FALSE ) ;
}

* InputFormat: <S1 e.102 s.117 >
S1 {
 e.102 APPLY  = <F39 e.102 > ;
 e.102 CI  = <F39 e.102 > ;
 e.102 CN  = <F39 e.102 > ;
 e.102 s.117  = (FALSE ) ;
}

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