SZS status Theorem for i/f/llist/LL__ALL__THM_c0
