SZS status Theorem for i/f/Decode/dec2enc__decode__prod
