SZS status Theorem for i/f/container/SET__TO__LIST__SING
