SZS status Theorem for i/f/enumeral/IN__bt__to__set_c0
