201.07/50.69	MAYBE
201.07/50.69	
201.07/50.69	Problem:
201.07/50.69	 a(b(a(c(a(a(a(a(x1)))))))) -> a(a(a(a(a(b(a(c(a(a(a(b(a(c(x1))))))))))))))
201.07/50.69	
201.07/50.69	Proof:
201.07/50.69	 Open
201.07/50.70	EOF