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