SZS status Theorem for i/f/llist/LHDTL__CONS__THM_c1
