SZS status Theorem for i/f/llist/LTAKE__THM_c0
