198.44/50.76	MAYBE
198.44/50.76	
198.44/50.76	Problem:
198.44/50.76	 a(b(a(a(b(a(b(a(x1)))))))) -> a(a(b(a(b(a(b(a(b(a(a(b(x1))))))))))))
198.44/50.76	
198.44/50.76	Proof:
198.44/50.76	 Open
198.44/50.76	EOF