SZS status Theorem for i/f/path/alt__length__thm_c0
