*************************************************************************** * This file was created at Thu Jan 20 10:40:42 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: <F428 e.101 > F428 { FALSE = (FALSE ) ; , <NEXT >:e.239 = <F428 e.239 > ; () e.101 = ; (PCDATA ) e.101 = <F428 e.101 > ; (s.241 ) e.101 = <F6 e.101 s.241 > <S1 e.101 s.241 > ; } * InputFormat: <F349 e.101 > F349 { FALSE = (FALSE ) ; , <NEXT >:e.208 = <F349 e.208 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.210 ) e.101 = <F6 e.101 s.210 > <S2 e.101 s.210 > ; } * InputFormat: <F312 e.101 > F312 { FALSE = (FALSE ) ; , <NEXT >:e.198 = <F312 e.198 > ; () e.101 = (FALSE ) ; (PCDATA ) e.101 = (FALSE ) ; (s.200 ) e.101 = <F6 e.101 s.200 > <S3 e.101 s.200 > ; } * InputFormat: <F229 e.101 > F229 { FALSE = (FALSE ) ; , <NEXT >:e.170 = <F229 e.170 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.172 ) e.101 = <F6 e.101 s.172 > <S4 e.101 s.172 > ; } * InputFormat: <F155 e.101 > F155 { FALSE = (FALSE ) ; , <NEXT >:e.147 = <F155 e.147 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.149 ) e.101 = <F6 e.101 s.149 > <S5 e.101 s.149 > ; } * InputFormat: <F115 e.101 > F115 { FALSE = (FALSE ) ; , <NEXT >:e.137 = <F115 e.137 > ; () e.101 = (FALSE ) ; (PCDATA ) e.101 = (FALSE ) ; (s.139 ) e.101 = <F6 e.101 s.139 > <S6 e.101 s.139 > ; } * InputFormat: <F53 e.101 > F53 { FALSE = (FALSE ) ; , <NEXT >:e.114 = <F53 e.114 > ; () e.101 = ; (PCDATA ) e.101 = (FALSE ) ; (s.116 ) e.101 = <F6 e.101 s.116 > <S7 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 > <S8 e.101 s.106 > ; } * InputFormat: <F6 e.101 s.103 > F6 { e.101 DOC = <F17 e.101 > ; e.101 CHAPTER = <F115 e.101 > ; e.101 SECTION = <F312 e.101 > ; e.101 TITLE = <F428 e.101 > ; e.101 PARA = <F428 e.101 > ; e.101 NOTE = <F428 e.101 > ; e.101 EMPH = <F428 e.101 > ; e.101 s.103 = (FALSE ) ; } * InputFormat: <S8 e.101 s.106 > S8 { e.101 TITLE = <F53 e.101 > ; e.101 s.106 = (FALSE ) ; } * InputFormat: <S7 e.101 s.116 > S7 { e.101 CHAPTER = <F53 e.101 > ; e.101 s.116 = (FALSE ) ; } * InputFormat: <S6 e.101 s.139 > S6 { e.101 TITLE = <F155 e.101 > ; e.101 s.139 = (FALSE ) ; } * InputFormat: <S5 e.101 s.149 > S5 { e.101 NOTE = <F155 e.101 > ; e.101 PARA = <F155 e.101 > ; e.101 SECTION = <F229 e.101 > ; e.101 s.149 = (FALSE ) ; } * InputFormat: <S4 e.101 s.172 > S4 { e.101 SECTION = <F229 e.101 > ; e.101 s.172 = (FALSE ) ; } * InputFormat: <S3 e.101 s.200 > S3 { e.101 TITLE = <F349 e.101 > ; e.101 s.200 = (FALSE ) ; } * InputFormat: <S2 e.101 s.210 > S2 { e.101 NOTE = <F349 e.101 > ; e.101 PARA = <F349 e.101 > ; e.101 s.210 = (FALSE ) ; } * InputFormat: <S1 e.101 s.241 > S1 { e.101 EMPH = <F428 e.101 > ; e.101 s.241 = (FALSE ) ; } ****************************** The End ************************************