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