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