SZS status Theorem for i/f/list/LIST__BIND__THM_c0
