***************************************************************************
* This file was created at Tue Dec 28 10:15:50 1999
* Here is a residual program of the last supercompilation by the SCP4.
* A task from XI.mst was supercompiled.
* The residual program is in Refal5.
* You have to change the parametrs of the calls of XI with data,
* as well as to choose a call to run.
* Please, be carefull:
* a) the order of the parametrs can be incorrect;
***************************************************************************
$EXTERN XML_REF1 ,REF_XML ,GET_IN ;
$ENTRY Go {
= <Prout <XI1 >> ;
}
* InputFormat: <XI1 >
XI1 {
, <XML_REF1 >:e.101 , <REF_XML <F16 e.101 >>:e.102 = e.102 ;
}
* InputFormat: <F158 e.127 >
F158 {
s.183 e.127 = s.183 <F158 e.127 > ;
= ;
((AAAAA ) e.185 ) e.127 , <GET_IN ('.' ) e.185 >:e.201 , <GET_IN ('.'
) e.185 >:e.215 = ((AAAAA ) e.201 <F52 e.185 >) ((BBBBB ) e.215 <F52 e.185
>) <F158 e.127 > ;
((BBBBB ) e.185 ) e.127 , <GET_IN ('.' ) e.185 >:e.238 , <GET_IN ('.'
) e.185 >:e.252 = ((AAAAA ) e.238 <F158 e.185 >) ((BBBBB ) e.252 <F158
e.185 >) <F158 e.127 > ;
((s.187 ) e.185 ) e.127 = <F158 e.127 > ;
}
* InputFormat: <F52 e.106 >
F52 {
s.125 e.106 = s.125 <F52 e.106 > ;
= ;
((AAAAA ) e.127 ) e.106 , <GET_IN ('.' ) e.127 >:e.143 , <GET_IN ('.'
) e.127 >:e.157 = ((AAAAA ) e.143 <F52 e.127 >) ((BBBBB ) e.157 <F52 e.127
>) <F52 e.106 > ;
((BBBBB ) e.127 ) e.106 , <GET_IN ('.' ) e.127 >:e.180 , <GET_IN ('.'
) e.127 >:e.288 = ((AAAAA ) e.180 <F158 e.127 >) ((BBBBB ) e.288 <F158
e.127 >) <F52 e.106 > ;
((s.129 ) e.127 ) e.106 = <F52 e.106 > ;
}
* InputFormat: <F16 e.101 >
F16 {
s.104 e.101 = s.104 <F16 e.101 > ;
= ;
((AAAAA ) e.106 ) e.101 , <GET_IN ('.' ) e.106 >:e.122 , <GET_IN ('.'
) e.106 >:e.330 = ((AAAAA ) e.122 <F52 e.106 >) ((BBBBB ) e.330 <F52 e.106
>) <F16 e.101 > ;
((BBBBB ) e.106 ) e.101 , <GET_IN ('.' ) e.106 >:e.359 , <GET_IN ('.'
) e.106 >:e.376 = ((AAAAA ) e.359 <F158 e.106 >) ((BBBBB ) e.376 <F158
e.106 >) <F16 e.101 > ;
((s.108 ) e.106 ) e.101 = <F16 e.101 > ;
}
****************************** The End ************************************