SZS status Theorem for i/f/path/path__rep__bijections__thm_c0
