% SZS status Timeout for foldl__reduce__n
