199.73/50.61	MAYBE
199.73/50.61	
199.73/50.61	Problem:
199.73/50.61	 b(c(c(a(a(a(a(a(a(x1))))))))) -> a(a(a(a(a(a(a(b(c(c(b(c(c(x1)))))))))))))
199.73/50.61	
199.73/50.61	Proof:
199.73/50.61	 Open
199.73/50.62	EOF