SZS status Theorem for i/f/Decode/dec2enc__decode__list
