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