SZS status Theorem for i/f/container/MEM__BAG__TO__LIST
