% SZS status Timeout for pos__fn__integral__disjoint__se
