Next: Illinois
Up: MOESI
Previous: Refal encoding
/*
$ENTRY Go {
= <Prout <Go e.1 >> ;
}
*/
* InputFormat: <Go e.41 >
$ENTRY Go {
() (e.101 ) = True ;
(A ) (s.109 e.101 ) = True ;
(A A e.102 ) (s.109 s.112 e.101 ) = <F32 (e.102 ) (e.101 ) s.112 s.109
> ;
(A C ) (s.109 e.101 ) = True ;
(A C A e.102 ) (s.109 s.187 e.101 ) = <F32 (e.102 ) (e.101 ) s.187 s.109
> ;
(A C B ) (s.109 e.101 ) = True ;
(A C B A ) (s.109 s.191 e.101 ) = True ;
(A C B A A e.102 ) (s.109 s.191 s.194 e.101 ) = <F91 (e.102 ) (e.101 )
s.194 s.191 () s.109 > ;
(A C B A C e.102 ) (s.109 s.191 e.101 ) = <F43 (e.102 ) (e.101 ) s.191
s.109 > ;
(A C B A D e.102 ) (s.109 s.191 e.101 ) = <F43 (e.102 ) (e.101 ) s.109
s.191 > ;
(A C B A E e.102 ) (s.109 s.191 s.195 e.101 ) = <F43 (e.102 ) (s.191 e.101
) s.195 s.109 > ;
(A C B E e.102 ) (s.109 s.192 e.101 ) = <F43 (e.102 ) (e.101 ) s.192 s.109
> ;
(A C E e.102 ) (s.109 s.188 e.101 ) = <F43 (e.102 ) (e.101 ) s.188 s.109
> ;
(A E e.102 ) (s.109 s.113 e.101 ) = <F43 (e.102 ) (e.101 ) s.113 s.109
> ;
(E ) (s.110 e.101 ) = True ;
(E A e.102 ) (s.110 s.204 e.101 ) = <F32 (e.102 ) (e.101 ) s.204 s.110
> ;
(E B ) (s.110 e.101 ) = True ;
(E B A ) (s.110 s.208 e.101 ) = True ;
(E B A A e.102 ) (s.110 s.208 s.211 e.101 ) = <F91 (e.102 ) (e.101 ) s.211
s.208 () s.110 > ;
(E B A C e.102 ) (s.110 s.208 e.101 ) = <F43 (e.102 ) (e.101 ) s.208 s.110
> ;
(E B A D e.102 ) (s.110 s.208 e.101 ) = <F43 (e.102 ) (e.101 ) s.110 s.208
> ;
(E B A E e.102 ) (s.110 s.208 s.212 e.101 ) = <F43 (e.102 ) (s.208 e.101
) s.212 s.110 > ;
(E B E e.102 ) (s.110 s.209 e.101 ) = <F43 (e.102 ) (e.101 ) s.209 s.110
> ;
(E E e.102 ) (s.110 s.205 e.101 ) = <F43 (e.102 ) (e.101 ) s.205 s.110
> ;
}
* InputFormat: <F91 (e.159 ) (e.160 ) s.161 s.162 (e.163 ) s.164 >
F91 {
() (e.160 ) s.161 s.162 (e.163 ) s.164 = True ;
(A e.159 ) (s.169 e.160 ) s.161 s.162 (e.163 ) s.164 = <F91 (e.159 ) (
e.160 ) s.169 s.161 (s.162 e.163 ) s.164 > ;
(C e.159 ) (e.160 ) s.161 s.162 (e.163 ) s.164 = <F43 (e.159 ) (s.162
e.163 e.160 ) s.161 s.164 > ;
(D e.159 ) (e.160 ) s.161 s.162 (e.163 ) s.164 = <F43 (e.159 ) (s.162
e.163 e.160 ) s.164 s.161 > ;
(E e.159 ) (s.170 e.160 ) s.161 s.162 (e.163 ) s.164 = <F43 (e.159 ) (
s.161 s.162 e.163 e.160 ) s.170 s.164 > ;
}
* InputFormat: <F43 (e.124 ) (e.125 ) s.126 s.127 e.128 >
F43 {
() (e.125 ) s.126 s.127 e.128 = True ;
(A e.124 ) (e.125 ) s.126 s.127 e.128 = <F32 (e.124 ) (e.128 e.125 ) s.127
s.126 > ;
(B ) (e.125 ) s.126 s.127 e.128 = True ;
(B A ) (e.125 ) s.126 s.127 e.128 = True ;
(B A A e.124 ) (e.125 ) s.126 s.127 s.143 e.128 = <F91 (e.124 ) (e.128
e.125 ) s.143 s.127 () s.126 > ;
(B A A e.124 ) (s.144 e.125 ) s.126 s.127 = <F91 (e.124 ) (e.125 ) s.144
s.127 () s.126 > ;
(B A C e.124 ) (e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (e.128 e.125
) s.127 s.126 > ;
(B A D e.124 ) (e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (e.128 e.125
) s.126 s.127 > ;
(B A E e.124 ) (e.125 ) s.126 s.127 s.145 e.128 = <F43 (e.124 ) (s.127
e.128 e.125 ) s.145 s.126 > ;
(B A E e.124 ) (s.146 e.125 ) s.126 s.127 = <F43 (e.124 ) (s.127 e.125
) s.146 s.126 > ;
(B E e.124 ) (e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (e.128 e.125 )
s.127 s.126 > ;
(E e.124 ) (e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (e.128 e.125 ) s.127
s.126 > ;
}
* InputFormat: <F32 (e.124 ) (e.125 ) s.126 s.127 e.128 >
F32 {
() (e.125 ) s.126 s.127 e.128 = True ;
(A e.124 ) (s.133 e.125 ) s.126 s.127 e.128 = <F32 (e.124 ) (e.125 ) s.133
s.126 s.127 e.128 > ;
(C e.124 ) (e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (e.125 ) s.126 s.127
e.128 > ;
(E e.124 ) (s.134 e.125 ) s.126 s.127 e.128 = <F43 (e.124 ) (s.127 e.128
e.125 ) s.134 s.126 > ;
}
****************************** The End ************************************
Alexei Lisitsa
2005-07-14