% SZS status Timeout for BOREL__HIERARCHY__G_
