MAYBE
174.74/56.08	MAYBE
174.74/56.08	
174.74/56.08	Problem:
174.74/56.08	 a(a(a(b(b(x1))))) -> b(b(b(x1)))
174.74/56.08	 b(a(a(a(b(x1))))) -> a(a(a(b(a(a(a(x1)))))))
174.74/56.08	 a(a(a(x1))) -> a(a(x1))
174.74/56.08	 b(b(x1)) -> a(b(a(x1)))
174.74/56.08	
174.74/56.08	Proof:
174.74/56.08	 Open
174.74/56.09	EOF