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