SZS status Theorem for i/f/quantHeuristics/PAIR__EQ__EXPAND_c0
