next up previous
Next: MESI Up: MSI Previous: Refal encoding

Result of supercompilation

/*
$ENTRY Go {
 = <Prout <Go e.1 >> ;
}
*/

* InputFormat: <Go e.41 >
$ENTRY Go {
 e.41 (e.101 )  = <F5 (e.41 ) e.101 > ;
}

* InputFormat: <F142 (e.178 ) (e.179 ) (e.180 ) s.187 >
F142 {
 () (e.179 ) (e.180 ) s.187  = True ;
 (B e.178 ) (s.195 e.179 ) (e.180 ) s.187  = <F126 (e.178 ) (e.179 e.180 
                                              ) s.195 s.187 > ;
 (B e.178 ) () (s.196 e.180 ) s.187  = <F126 (e.178 ) (e.180 ) s.196 s.187 
                                        > ;
 (G e.178 ) (s.201 e.179 ) (e.180 ) s.187  = <F142 (e.178 ) () (s.187 e.179 
                                              e.180 ) s.201 > ;
 (G e.178 ) () (s.202 e.180 ) s.187  = <F142 (e.178 ) () (s.187 e.180 ) 
                                        s.202 > ;
 (H e.178 ) (e.179 ) (e.180 ) s.187  = <F5 (e.178 ) s.187 e.179 e.180 > 
;
}

* InputFormat: <F126 (e.178 ) (e.179 ) e.180 >
F126 {
 () (e.179 ) e.180  = True ;
 (A e.178 ) (s.182 e.179 )  = <F12 (e.178 ) (e.179 ) s.182 > ;
 (C e.178 ) (s.184 e.179 ) s.185 e.180  = <F126 (e.178 ) (e.179 ) s.184 
                                           s.185 e.180 > ;
 (F e.178 ) (e.179 ) s.187 e.180  = <F142 (e.178 ) (e.179 ) (e.180 ) s.187 
                                     > ;
 (G e.178 ) (s.188 e.179 ) e.180  = <F142 (e.178 ) () (e.180 e.179 ) s.188 
                                     > ;
 (I e.178 ) (e.179 ) s.189 e.180  = <F126 (e.178 ) (s.189 e.179 ) e.180 
                                     > ;
}

* InputFormat: <F12 (e.41 ) (e.101 ) s.103 >
F12 {
 () (e.101 ) s.103  = True ;
 (D e.41 ) (s.112 e.101 ) s.103  = <F126 (e.41 ) (e.101 ) s.112 s.103 > 
;
 (E e.41 ) (e.101 ) s.103  = <F142 (e.41 ) () (e.101 ) s.103 > ;
 (G e.41 ) (s.113 e.101 ) s.103  = <F142 (e.41 ) () (s.103 e.101 ) s.113 
                                    > ;
 (J e.41 ) (e.101 ) s.103  = <F5 (e.41 ) s.103 e.101 > ;
}

* InputFormat: <F5 (e.41 ) e.101 >
F5 {
 () e.101  = True ;
 (A e.41 ) s.103 e.101  = <F12 (e.41 ) (e.101 ) s.103 > ;
 (G e.41 ) s.107 e.101  = <F142 (e.41 ) () (e.101 ) s.107 > ;
}

****************************** The End ************************************


Alexei Lisitsa 2005-07-14