SZS status Theorem for i/f/list/SET__TO__LIST__SING
