MAYBE
54.02/20.62	MAYBE
54.02/20.62	
54.02/20.62	Problem:
54.02/20.62	 a(a(a(x1))) -> b(b(b(x1)))
54.02/20.62	 b(a(a(b(x1)))) -> x1
54.02/20.62	 b(a(a(b(x1)))) -> b(a(a(a(b(x1)))))
54.02/20.62	
54.02/20.62	Proof:
54.02/20.62	 Open
54.02/20.62	EOF