% SZS status Timeout for finite__space__integral__redu
