SZS status Theorem for i/f/toto/toto__equal__sym
