223.52/50.71	MAYBE
223.52/50.71	
223.52/50.71	Problem:
223.52/50.71	 b(c(b(a(a(a(a(a(a(a(x1)))))))))) -> a(a(a(a(a(a(a(b(c(b(b(c(b(a(x1))))))))))))))
223.52/50.71	
223.52/50.71	Proof:
223.52/50.71	 Open
223.52/50.72	EOF