SZS status Theorem for i/f/Decode/wf__decode__num
