SZS status Theorem for i/f/bit/ODD__MOD2__LEM
