SZS status Theorem for i/f/sptree/lrnext__thm_c4
