% SZS status Theorem for FST__PAIR__M
% SZS output start Proof for FST__PAIR__M
  file('i/f/pair/FST__PAIR__MAP',ch4s_pairs_FSTu_u_PAIRu_u_MAP)).
  file('i/f/pair/FST__PAIR__MAP',ah4s_pairs_PAIRu_u_MAP)).
  file('i/f/pair/FST__PAIR__MAP',ah4s_pairs_FST0)).
% SZS output end Proof for FST__PAIR__M
