196.59/50.10	MAYBE
196.59/50.10	
196.59/50.10	Problem:
196.59/50.10	 a(a(a(a(x1)))) -> a(b(a(b(x1))))
196.59/50.10	 b(b(a(b(x1)))) -> b(b(b(b(x1))))
196.59/50.10	 a(a(a(b(x1)))) -> b(a(b(b(x1))))
196.59/50.10	 b(a(b(b(x1)))) -> b(a(b(a(x1))))
196.59/50.10	
196.59/50.10	Proof:
196.59/50.10	 Open
196.59/50.11	EOF