SZS status Theorem for i/f/llist/LDROP1__THM
