202.50/50.73	MAYBE
202.50/50.73	
202.50/50.73	Problem:
202.50/50.73	 a(b(c(a(b(b(c(a(b(x1))))))))) -> a(b(b(c(a(b(c(a(b(b(c(a(x1))))))))))))
202.50/50.73	
202.50/50.73	Proof:
202.50/50.73	 Open
202.66/50.73	EOF