% SZS status Theorem for PAIR__EQ__SIMPLE__EXPAND_
% SZS output start Proof for PAIR__EQ__SIMPLE__EXPAND_
  file('i/f/quantHeuristics/PAIR__EQ__SIMPLE__EXPAND_c0',ch4s_quantHeuristicss_PAIRu_u_EQu_u_SIMPLEu_u_EXPANDu_c0)).
  file('i/f/quantHeuristics/PAIR__EQ__SIMPLE__EXPAND_c0',ah4s_pairs_SND0)).
% SZS output end Proof for PAIR__EQ__SIMPLE__EXPAND_
