SZS status Theorem for i/f/toto/aplistoto_c0
