SZS status Theorem for i/f/prim_rec/SIMP__REC__THM_c0
