SZS status Theorem for i/f/list/isPREFIX__THM_c0
