% SZS status Timeout for finite__support__integral__redu
