% 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_c1',ch4s_quantHeuristicss_PAIRu_u_EQu_u_SIMPLEu_u_EXPANDu_c1)).
  file('i/f/quantHeuristics/PAIR__EQ__SIMPLE__EXPAND_c1',ah4s_pairs_FST0)).
% SZS output end Proof for PAIR__EQ__SIMPLE__EXPAND_
