***************************************************************************
* Here is a residual program of the last supercompilation by the SCP4.
* The residual program is in Refal5.
* You have to change the parametrs of the call of TRINT4 with data.
* Please, be carefull:
* a) the order of the parametrs can be incorrect;
* b) the residual program cannot be supercompiled
* without some transformation to a fragment of Refal5;
***************************************************************************
$ENTRY Go {
= <Prout <TRINT4 e.1 >> ;
}
* InputFormat: <TRINT4 e.1 >
TRINT4 {
s.41 e.1 = <F23 s.41 () (e.1 )> ;
= 'z' (('..' )) ;
}
* InputFormat: <F371 s.97 (e.98 ) (e.100 ) >
F371 {
' ' (e.98 s.101 ) (e.100 ) , <F371 s.101 (e.98 ) (' ' e.100 )>:e.142 s.143
(e.144 ) = e.142 s.143 (e.144 ) ;
' ' () (e.100 ) = '.' (e.100 ' ' ) ;
'1' (e.98 ) ( e.100 ) = '.' e.98 '1' (e.100 ' ' ) ;
'1' (e.98 ) () = '.' e.98 '1' () ;
'.' (e.98 ) ( e.100 ) = '.' e.98 '.' (e.100 ' ' ) ;
'.' (e.98 ) () = '.' e.98 '.' () ;
}
* InputFormat: <F202 e.45 (e.47 ) >
F202 {
e.45 ' ' (e.47 ) , <F202 e.45 (' ' e.47 )>:e.139 s.140 (e.141 ) = e.139
s.140 (e.141 ) ;
e.45 '1' (e.47 ) = '.' e.45 '1' (e.47 ) ;
e.45 '.' (e.47 ) = '.' e.45 '.' (e.47 ) ;
(e.47 ) = '.' (e.47 ) ;
}
* InputFormat: <F72 e.45 (e.47 ) >
F72 {
e.45 ' ' (e.47 ) = <F72 e.45 (' ' e.47 )> ;
e.45 '1' (e.47 ) = <F44 e.45 '11' (e.47 )> ;
e.45 '.' (e.47 ) = <F44 e.45 '.1' (e.47 )> ;
(e.47 ) = <F44 '1' (e.47 )> ;
}
* InputFormat: <F44 e.45 (e.47 ) >
F44 {
e.45 (' ' e.47 ) = <F44 e.45 ' ' (e.47 )> ;
e.45 ('1' e.47 ) = <F72 e.45 (e.47 )> ;
e.45 ('.' e.47 ) , <F202 e.45 (e.47 )>:e.92 s.93 (e.94 ) = 'z' ((e.92
) s.93 '. ' e.94 '.' ) ;
e.45 s.95 () , <F371 s.95 (e.45 ) ()>:e.120 s.121 (e.122 ) = 'z' ((e.120
) s.121 '.' e.122 ' ' ) ;
() = 'z' (() '.. ' ) ;
}
* InputFormat: <F23 s.44 (e.45 ) (e.47 ) >
F23 {
'1' (e.45 ) (s.48 e.47 ) = <F23 s.48 (e.45 '1' ) (e.47 )> ;
'1' (e.45 ) () = 'z' (('.' e.45 '1.' )) ;
' ' (e.45 ) (e.47 ) = <F44 e.45 (e.47 )> ;
'.' (e.45 ) (e.47 ) = 'z' (('.' e.45 '.' ) e.47 '.' ) ;
}
****************************** The End ************************************