196.73/50.32	MAYBE
196.73/50.32	
196.73/50.32	Problem:
196.73/50.32	 b(a(a(a(x1)))) -> b(b(a(b(x1))))
196.73/50.32	 a(b(a(b(x1)))) -> b(a(b(b(x1))))
196.73/50.32	 a(a(b(a(x1)))) -> a(b(a(b(x1))))
196.73/50.32	 b(b(b(b(x1)))) -> a(b(b(b(x1))))
196.73/50.32	
196.73/50.32	Proof:
196.73/50.32	 Open
196.73/50.34	EOF