204.25/50.51	MAYBE
204.25/50.51	
204.25/50.51	Problem:
204.25/50.51	 a(b(c(c(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(b(c(c(a(b(c(c(x1)))))))))))))
204.25/50.51	
204.25/50.51	Proof:
204.25/50.51	 Open
204.25/50.52	EOF