SZS status Theorem for i/f/list/MEM_c0
