SZS status Theorem for i/f/option/OPTION__MAP__EQ__NONE__both__ways_c1
