% SZS status Timeout for finite__additivity__sufficient__for__finite__spac
