198.52/50.79	MAYBE
198.52/50.79	
198.52/50.79	Problem:
198.52/50.79	 b(a(a(b(b(a(a(b(a(a(b(x1))))))))))) -> a(a(b(b(a(a(b(a(a(b(b(a(a(b(x1))))))))))))))
198.52/50.79	
198.52/50.79	Proof:
198.52/50.79	 Open
198.52/50.79	EOF