% SZS status Timeout for foldl__reduce__
