SZS status Theorem for i/f/logroot/numeral__root2
