% SZS status Timeout for COUNT__LIST__AUX__def__compute_
