SZS status Theorem for i/f/pred_set/pair__to__num__inv_c0
