% SZS status Timeout for sqrt__mono__
