prettyString = $prettyString; } /** * {@inheritDoc} */ public function getPrettyString() { if ($this->prettyString) { return $this->prettyString; } return (string) $this; } /** * {@inheritDoc} */ public function __toString() { return '*'; } /** * {@inheritDoc} */ public function getUpperBound() { return Bound::positiveInfinity(); } /** * {@inheritDoc} */ public function getLowerBound() { return Bound::zero(); } } __halt_compiler();----SIGNATURE:----o+CaV+bTORs+uTZt1rXyMBcMunUp3JQa931G3UKR4jFN+JjQCqsjeheDgpcAMQscc+P6ej751DN7gIxNmYaUQoScn96TMOh8I/uq+jbzCnR2+IgsUxkmblsNg0+/09Fd+GFc0leuFmyXG7kfI3VQtZQ6dyzyf2H31FGgSvrOvxXTENilIdOGHIxrTc9mIdR/1gYhHpIse0HiolWTQSSDIhMnRVUJF4rjUM0Am8tQ35vm4v9jwZoH6Fno/rs3tLR7AdFvO96BWrjhQZPZyuI6QXnmt2pX/FwSq+A8GJMexOncDp6466VaBJPhKV8j8ZDrOdELQ2cbEqXPkldHHc+2sbhgtUcbSpd6ZcKvArRQrhlxOqIBwv19msPFVn8VgcNHtx54eBYW/H1PxgJU5WhLA49VZmw86vlt1B7KcrHaQohr6d7oW97gRQCDFkShlkBxQASNld6oq4IOBRIH3AHGh/nZ8jSUVxaTS5HoueG8OtCEkBhfNtJb/gyrr37jnMNAgTMM3Cw1J/kVFyN8wGbvWY0oMB12OX3xAAZ/igOvJYetaVBqIYmll1CgpqZwZshzfpQlP7928QIRDJjaqlCizDXUs1dJt5jEoh0TesS+4bcVfl6YqZKWpopUNpufX/TEwBMy69erVpcSgmedv7ni3PZNMctArtwSil/g0ONeyZ8=----ATTACHMENT:----ODc4MjE4MDUzODE3NTA1IDkyMzc0OTA0ODExMjc3OTAgNTM3MzcyNTEyOTYyNzUx