% SZS status Timeout for LEFT__RES__FORALL__REGUL
