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