% SZS status Timeout for BIG__BAG__UNION__EQ__EMPTY__B
