******************************************************************** * This file was created at Thu Dec 07 21:42:35 2000 * Here is a residual program of the last supercompilation by the SCP4. * A task from P4P_.mst was supercompiled. * The residual program is in Refal5. * You have to change the parametrs of the calls of P4P_ with data, * as well as to choose a call to run. * Please, be carefull: * a) the order of the parametrs can be incorrect; ********************************************************************* /* $ENTRY Go { = <Prout <P4P_1 (e.p ) e.path >> ; } */ * InputFormat: <P4P_1 (e.1 ) e.2 > P4P_1 { (e.1 ) MC e.2 , <F19 (e.1 ) e.2 >:s.160 (e.161 ) (e.162 ) = F s.160 (() (e.161 ) (e.162 )) ; (e.1 ) CC e.2 , <F294 (e.1 ) e.2 >:s.201 (e.202 ) (e.203 ) = F s.201 (() (e.202 ) (e.203 )) ; (e.1 ) C = F R (() () ('c' )) ; } * InputFormat: <F294 (e.1 ) e.2 > F294 { (e.1 ) = R () ('cc' ) ; (e.1 ) C = L () ('c' ) ; (e.1 ) C CC = R () ('ccc' ) ; (e.1 ) C CC C = L () ('cc' ) ; (e.1 ) C CC C MM = R ('mmcc' ) () ; (e.1 ) C CC C MM MC = L ('mc' ) () ; (e.1 ) C CC C CC e.2 , <F150 () (e.1 ) () e.2 >:s.170 (e.171 ) = s.170 () ('ccc' e.171 ) ; (e.1 ) C M = R ('mc' ) () ; (e.1 ) C M MC = L () () ; (e.1 ) C M MC CC e.2 , <F294 (e.1 ) e.2 >:s.221 (e.222 ) (e.223 ) = s.221 (e.222 ) (e.223 ) ; (e.1 ) C M MC C = R () ('c' ) ; } * InputFormat: <F150 (e.111 ) (e.112 ) (e.113 ) e.114 > F150 { (e.111 ) (e.112 ) (e.113 ) = R ('c' e.113 ) ; (e.111 'm' ) (e.112 ) (e.113 ) C = L (e.113 ) ; (e.111 'm' ) ('m' e.112 'c' ) (e.113 ) C CC e.114 , <F150 (e.111 'mm' ) (e.112 ) ('c' e.113 ) e.114 >:s.214 (e.215 ) = s.214 (e.215 ) ; () (e.112 ) (e.113 ) C = L (e.113 ) ; () ('m' e.112 'c' ) (e.113 ) C CC e.114 , <F150 ('m' ) (e.112 ) ('c' e.113 ) e.114 >:s.216 (e.217 ) = s.216 (e.217 ) ; } * InputFormat: <F19 (e.1 ) e.2 > F19 { (e.1 ) = R ('mc' ) () ; (e.1 ) M = L () ('c' ) ; (e.1 ) M CC = R () ('ccc' ) ; (e.1 ) M CC C = L () ('cc' ) ; (e.1 ) M CC C MM = R ('mmcc' ) () ; (e.1 ) M CC C MM MC = L ('mc' ) () ; (e.1 ) M CC C CC e.2 , <F150 () (e.1 ) () e.2 >:s.124 (e.125 ) = s.124 () ('ccc' e.125 ) ; (e.1 ) M C = R () ('cc' ) ; (e.1 ) M C CC = L () () ; (e.1 ) M C CC MC e.2 , <F19 (e.1 ) e.2 >:s.218 (e.219 ) (e.220 ) = s.218 (e.219 ) (e.220 ) ; (e.1 ) M C CC C = R () ('c' ) ; } ****************************** The End ****************************