Next: MESI
Up: MSI
Previous: Refal encoding
/*
$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