% SZS status Timeout for foldl__reduce__na
