*************************************************************************** * This file was created at Thu Jan 20 11:38:44 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: <F1319 e.101 > F1319 { FALSE = (FALSE ) ; , <NEXT >:e.887 = <F1319 e.887 > ; () e.101 = ; (PCDATA ) e.101 = <F1319 e.101 > ; (s.889 ) e.101 = <F6 e.101 s.889 > <S1 e.101 s.889 > ; } * InputFormat: <F1268 e.101 > F1268 { FALSE = (FALSE ) ; , <NEXT >:e.847 = <F1268 e.847 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.849 ) e.101 = <F6 e.101 s.849 > <S2 e.101 s.849 > ; } * InputFormat: <F1217 e.101 > F1217 { FALSE = (FALSE ) ; , <NEXT >:e.808 = <F1217 e.808 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.810 ) e.101 = <F6 e.101 s.810 > <S3 e.101 s.810 > ; } * InputFormat: <F1138 e.101 > F1138 { FALSE = (FALSE ) ; , <NEXT >:e.721 = <F1138 e.721 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.723 ) e.101 = <F6 e.101 s.723 > <S4 e.101 s.723 > ; } * InputFormat: <F928 e.101 > F928 { FALSE = (FALSE ) ; , <NEXT >:e.535 = <F928 e.535 > ; () e.101 = ; (PCDATA ) e.101 = <F928 e.101 > ; (s.537 ) e.101 = <F6 e.101 s.537 > <S5 e.101 s.537 > ; } * InputFormat: <F717 e.101 > F717 { FALSE = (FALSE ) ; , <NEXT >:e.402 = <F717 e.402 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.404 ) e.101 = <F6 e.101 s.404 > <S6 e.101 s.404 > ; } * InputFormat: <F668 e.101 > F668 { FALSE = (FALSE ) ; , <NEXT >:e.366 = <F668 e.366 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.368 ) e.101 = <F6 e.101 s.368 > (FALSE ) ; } * InputFormat: <F558 e.101 > F558 { FALSE = (FALSE ) ; , <NEXT >:e.316 = <F558 e.316 > ; () e.101 = ; (PCDATA ) e.101 = <F558 e.101 > ; (s.318 ) e.101 = <F6 e.101 s.318 > <S7 e.101 s.318 > ; } * InputFormat: <F448 e.101 > F448 { FALSE = (FALSE ) ; , <NEXT >:e.267 = <F448 e.267 > ; () e.101 = ; (PCDATA ) e.101 = <F448 e.101 > ; (s.269 ) e.101 = <F6 e.101 s.269 > <S8 e.101 s.269 > ; } * InputFormat: <F338 e.101 > F338 { FALSE = (FALSE ) ; , <NEXT >:e.219 = <F338 e.219 > ; () e.101 = ; (PCDATA ) e.101 = <F338 e.101 > ; (s.221 ) e.101 = <F6 e.101 s.221 > <S9 e.101 s.221 > ; } * InputFormat: <F275 e.101 > F275 { FALSE = (FALSE ) ; , <NEXT >:e.190 = <F275 e.190 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.192 ) e.101 = <F6 e.101 s.192 > (FALSE ) ; } * InputFormat: <F250 e.101 > F250 { FALSE = (FALSE ) ; , <NEXT >:e.180 = <F250 e.180 > ; () e.101 = (FALSE ) ; (PCDATA ) e.101 = <F275 e.101 > ; (s.182 ) e.101 = <F6 e.101 s.182 > (FALSE ) ; } * InputFormat: <F188 e.101 > F188 { FALSE = (FALSE ) ; , <NEXT >:e.156 = <F188 e.156 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.158 ) e.101 = <F6 e.101 s.158 > <S10 e.101 s.158 > ; } * InputFormat: <F152 e.101 > F152 { FALSE = (FALSE ) ; , <NEXT >:e.146 = <F152 e.146 > ; () e.101 = (FALSE ) ; (PCDATA ) e.101 = (FALSE ) ; (s.148 ) e.101 = <F6 e.101 s.148 > <S11 e.101 s.148 > ; } * InputFormat: <F95 e.101 > F95 { FALSE = (FALSE ) ; , <NEXT >:e.124 = <F95 e.124 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.126 ) e.101 = <F6 e.101 s.126 > (FALSE ) ; } * InputFormat: <F54 e.101 > F54 { FALSE = (FALSE ) ; , <NEXT >:e.114 = <F54 e.114 > ; () e.101 = (FALSE ) ; (PCDATA ) e.101 = (FALSE ) ; (s.116 ) e.101 = <F6 e.101 s.116 > <S12 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 > <S13 e.101 s.106 > ; } * InputFormat: <F6 e.101 s.103 > F6 { e.101 HTML = <F17 e.101 > ; e.101 HEAD = <F152 e.101 > ; e.101 TITLE = <F250 e.101 > ; e.101 STYLE = <F250 e.101 > ; e.101 EM = <F338 e.101 > ; e.101 B = <F448 e.101 > ; e.101 A = <F558 e.101 > ; e.101 BR = <F668 e.101 > ; e.101 IMG = <F668 e.101 > ; e.101 BODY = <F717 e.101 > ; e.101 P = <F928 e.101 > ; e.101 H1 = <F928 e.101 > ; e.101 H2 = <F928 e.101 > ; e.101 H3 = <F928 e.101 > ; e.101 H4 = <F928 e.101 > ; e.101 H5 = <F928 e.101 > ; e.101 H6 = <F928 e.101 > ; e.101 UL = <F1138 e.101 > ; e.101 OL = <F1138 e.101 > ; e.101 LI = <F928 e.101 > ; e.101 TABLE = <F1217 e.101 > ; e.101 TR = <F1268 e.101 > ; e.101 TD = <F1319 e.101 > ; e.101 CENTER = <F1319 e.101 > ; e.101 s.103 = (FALSE ) ; } * InputFormat: <S13 e.101 s.106 > S13 { e.101 HEAD = <F54 e.101 > ; e.101 s.106 = (FALSE ) ; } * InputFormat: <S12 e.101 s.116 > S12 { e.101 BODY = <F95 e.101 > ; e.101 s.116 = (FALSE ) ; } * InputFormat: <S11 e.101 s.148 > S11 { e.101 TITLE = <F188 e.101 > ; e.101 s.148 = (FALSE ) ; } * InputFormat: <S10 e.101 s.158 > S10 { e.101 STYLE = <F188 e.101 > ; e.101 s.158 = (FALSE ) ; } * InputFormat: <S9 e.101 s.221 > S9 { e.101 BR = <F338 e.101 > ; e.101 IMG = <F338 e.101 > ; e.101 B = <F338 e.101 > ; e.101 A = <F338 e.101 > ; e.101 s.221 = (FALSE ) ; } * InputFormat: <S8 e.101 s.269 > S8 { e.101 BR = <F448 e.101 > ; e.101 IMG = <F448 e.101 > ; e.101 EM = <F448 e.101 > ; e.101 A = <F448 e.101 > ; e.101 s.269 = (FALSE ) ; } * InputFormat: <S7 e.101 s.318 > S7 { e.101 BR = <F558 e.101 > ; e.101 IMG = <F558 e.101 > ; e.101 EM = <F558 e.101 > ; e.101 B = <F558 e.101 > ; e.101 s.318 = (FALSE ) ; } * InputFormat: <S6 e.101 s.404 > S6 { e.101 CENTER = <F717 e.101 > ; e.101 TABLE = <F717 e.101 > ; e.101 OL = <F717 e.101 > ; e.101 UL = <F717 e.101 > ; e.101 H6 = <F717 e.101 > ; e.101 H5 = <F717 e.101 > ; e.101 H4 = <F717 e.101 > ; e.101 H3 = <F717 e.101 > ; e.101 H2 = <F717 e.101 > ; e.101 H1 = <F717 e.101 > ; e.101 P = <F717 e.101 > ; e.101 s.404 = (FALSE ) ; } * InputFormat: <S5 e.101 s.537 > S5 { e.101 BR = <F928 e.101 > ; e.101 IMG = <F928 e.101 > ; e.101 A = <F928 e.101 > ; e.101 B = <F928 e.101 > ; e.101 EM = <F928 e.101 > ; e.101 s.537 = (FALSE ) ; } * InputFormat: <S4 e.101 s.723 > S4 { e.101 LI = <F1138 e.101 > ; e.101 s.723 = (FALSE ) ; } * InputFormat: <S3 e.101 s.810 > S3 { e.101 TR = <F1217 e.101 > ; e.101 s.810 = (FALSE ) ; } * InputFormat: <S2 e.101 s.849 > S2 { e.101 TD = <F1268 e.101 > ; e.101 s.849 = (FALSE ) ; } * InputFormat: <S1 e.101 s.889 > S1 { e.101 CENTER = <F1319 e.101 > ; e.101 TABLE = <F1319 e.101 > ; e.101 OL = <F1319 e.101 > ; e.101 UL = <F1319 e.101 > ; e.101 H6 = <F1319 e.101 > ; e.101 H5 = <F1319 e.101 > ; e.101 H4 = <F1319 e.101 > ; e.101 H3 = <F1319 e.101 > ; e.101 H2 = <F1319 e.101 > ; e.101 H1 = <F1319 e.101 > ; e.101 P = <F1319 e.101 > ; e.101 BR = <F1319 e.101 > ; e.101 IMG = <F1319 e.101 > ; e.101 A = <F1319 e.101 > ; e.101 B = <F1319 e.101 > ; e.101 EM = <F1319 e.101 > ; e.101 s.889 = (FALSE ) ; } ****************************** The End ************************************