*************************************************************************** * 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 PERM5 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 <PERM5 s.A s.B s.C s.D (e.1 )>> ; } * InputFormat: <PERM5 s.1 s.2 s.3 s.4 (e.5 ) > PERM5 { s.1 s.2 s.3 s.4 (e.5 ) = <F4 s.1 s.2 s.3 s.4 (e.5 )> ; } * InputFormat: <F4 s.1 s.2 s.3 s.4 (e.5 ) > F4 { s.4 s.2 s.41 s.4 (s.41 e.5 ) = s.2 <F4 s.4 s.2 s.41 s.4 (e.5 )> ; s.1 s.4 s.41 s.4 (s.41 e.5 ) = s.1 <F4 s.1 s.4 s.41 s.4 (e.5 )> ; s.1 s.2 s.41 s.4 (s.41 e.5 ) = s.4 <F4 s.1 s.2 s.41 s.4 (e.5 )> ; s.3 s.2 s.3 s.41 (s.41 e.5 ) = s.2 <F4 s.3 s.2 s.3 s.41 (e.5 )> ; s.1 s.3 s.3 s.41 (s.41 e.5 ) = s.1 <F4 s.1 s.3 s.3 s.41 (e.5 )> ; s.1 s.2 s.3 s.41 (s.41 e.5 ) = s.3 <F4 s.1 s.2 s.3 s.41 (e.5 )> ; s.41 s.2 s.3 s.4 (s.41 e.5 ) = s.2 <F4 s.41 s.2 s.3 s.4 (e.5 )> ; s.1 s.41 s.3 s.4 (s.41 e.5 ) = s.1 <F4 s.1 s.41 s.3 s.4 (e.5 )> ; s.1 s.2 s.3 s.4 (s.41 e.5 ) = s.41 <F4 s.1 s.2 s.3 s.4 (e.5 )> ; s.1 s.2 s.3 s.4 () = ; } ****************************** The End ************************************