CEGAR CHARACTER

215