% SZS status Timeout for SUM__MAP__FOL
