SZS status Theorem for i/f/extended_emit/BAG__DIFF__EQNS_c0
