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