Next: Firefly
Up: Berkley
Previous: Refal encoding
/*
$ENTRY Go {
= <Prout <Go e.1 >> ;
}
*/
* InputFormat: <Go e.41 >
$ENTRY Go {
() (e.101 ) = True ;
(A ) (s.108 e.101 ) = True ;
(A A e.102 ) (s.108 s.111 e.101 ) = <F32 (e.102 ) (e.101 ) s.111 s.108
> ;
(A B e.102 ) (s.108 s.112 e.101 ) = <F160 (e.102 ) (e.101 ) s.112 s.108
> ;
(A D ) (s.108 e.101 ) = True ;
(A D A ) (s.108 s.253 e.101 ) = True ;
(A D A A e.102 ) (s.108 s.253 s.256 e.101 ) = <F127 (e.102 ) (e.101 )
s.108 s.256 s.253 > ;
(A D A B e.102 ) (s.108 s.253 s.257 e.101 ) = <F98 (e.102 ) s.253 (s.108
e.101 ) s.257 > ;
(A D A C e.102 ) (s.108 s.253 e.101 ) = <F160 (e.102 ) (e.101 ) s.108
s.253 > ;
(A D A D e.102 ) (s.108 s.253 e.101 ) = <F160 (e.102 ) (e.101 ) s.253
s.108 > ;
(A D B e.102 ) (s.108 s.254 e.101 ) = <F160 (e.102 ) (e.101 ) s.254 s.108
> ;
(B ) (s.109 e.101 ) = True ;
(B A ) (s.109 s.264 e.101 ) = True ;
(B A A e.102 ) (s.109 s.264 s.267 e.101 ) = <F127 (e.102 ) (e.101 ) s.109
s.267 s.264 > ;
(B A B e.102 ) (s.109 s.264 s.268 e.101 ) = <F98 (e.102 ) s.264 (s.109
e.101 ) s.268 > ;
(B A C e.102 ) (s.109 s.264 e.101 ) = <F160 (e.102 ) (e.101 ) s.109 s.264
> ;
(B A D e.102 ) (s.109 s.264 e.101 ) = <F160 (e.102 ) (e.101 ) s.264 s.109
> ;
(B B e.102 ) (s.109 s.265 e.101 ) = <F160 (e.102 ) (e.101 ) s.265 s.109
> ;
}
* InputFormat: <F160 (e.123 ) (e.124 ) s.125 s.126 e.127 >
F160 {
() (e.124 ) s.125 s.126 e.127 = True ;
(A ) (e.124 ) s.125 s.126 e.127 = True ;
(A A e.123 ) (e.124 ) s.125 s.126 s.230 e.127 = <F127 (e.123 ) (e.127
e.124 ) s.125 s.230 s.126 > ;
(A A e.123 ) (s.231 e.124 ) s.125 s.126 = <F127 (e.123 ) (e.124 ) s.125
s.231 s.126 > ;
(A B e.123 ) (e.124 ) s.125 s.126 s.232 e.127 = <F98 (e.123 ) s.126 (s.125
e.127 e.124 ) s.232 > ;
(A B e.123 ) (s.233 e.124 ) s.125 s.126 = <F98 (e.123 ) s.126 (s.125 e.124
) s.233 > ;
(A C e.123 ) (e.124 ) s.125 s.126 e.127 = <F160 (e.123 ) (e.127 e.124
) s.125 s.126 > ;
(A D e.123 ) (e.124 ) s.125 s.126 e.127 = <F160 (e.123 ) (e.127 e.124
) s.126 s.125 > ;
(B e.123 ) (e.124 ) s.125 s.126 e.127 = <F160 (e.123 ) (e.127 e.124 )
s.126 s.125 > ;
}
* InputFormat: <F127 (e.195 ) (e.196 ) s.197 s.198 s.199 e.200 >
F127 {
() (e.196 ) s.197 s.198 s.199 e.200 = True ;
(A e.195 ) (s.206 e.196 ) s.197 s.198 s.199 e.200 = <F127 (e.195 ) (e.196
) s.197 s.206 s.198 s.199 e.200 > ;
(B e.195 ) (s.207 e.196 ) s.197 s.198 s.199 e.200 = <F98 (e.195 ) s.198
(s.199 e.200 s.197 e.196 ) s.207 > ;
(C e.195 ) (e.196 ) s.197 s.198 s.199 e.200 = <F98 (e.195 ) s.198 (s.199
e.200 e.196 ) s.197 > ;
(D e.195 ) (e.196 ) s.197 s.198 s.199 e.200 = <F98 (e.195 ) s.199 (e.200
s.197 e.196 ) s.198 > ;
}
* InputFormat: <F98 (e.175 ) s.176 (e.177 ) s.178 >
F98 {
() s.176 (e.177 ) s.178 = True ;
(A ) s.176 (e.177 ) s.178 = True ;
(A A e.175 ) s.176 (s.181 e.177 ) s.178 = <F127 (e.175 ) (e.177 ) s.178
s.181 s.176 > ;
(A B e.175 ) s.176 (s.182 e.177 ) s.178 = <F98 (e.175 ) s.176 (s.178 e.177
) s.182 > ;
(A C e.175 ) s.176 (e.177 ) s.178 = <F98 (e.175 ) s.176 (e.177 ) s.178
> ;
(A D e.175 ) s.176 (e.177 ) s.178 = <F98 (e.175 ) s.178 (e.177 ) s.176
> ;
(B e.175 ) s.176 (e.177 ) s.178 = <F98 (e.175 ) s.178 (e.177 ) s.176 >
;
}
* InputFormat: <F32 (e.123 ) (e.124 ) s.125 s.126 e.127 >
F32 {
() (e.124 ) s.125 s.126 e.127 = True ;
(A e.123 ) (s.132 e.124 ) s.125 s.126 e.127 = <F32 (e.123 ) (e.124 ) s.132
s.125 s.126 e.127 > ;
(B e.123 ) (s.133 e.124 ) s.125 s.126 e.127 = <F98 (e.123 ) s.125 (s.126
e.127 e.124 ) s.133 > ;
(D e.123 ) (e.124 ) s.125 s.126 e.127 = <F160 (e.123 ) (e.124 ) s.125
s.126 e.127 > ;
}
****************************** The End ************************************
Alexei Lisitsa
2005-07-14