SZS status Theorem for i/f/list/LIST__TO__SET0_c0
