% SZS status Theorem for IN__SIG
% SZS output start Proof for IN__SIG
  file('i/f/measure/IN__SIGMA',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/measure/IN__SIGMA',ch4s_measures_INu_u_SIGMA)).
  file('i/f/measure/IN__SIGMA',ah4s_predu_u_sets_SUBSETu_u_DEF)).
  file('i/f/measure/IN__SIGMA',ah4s_measures_SIGMAu_u_SUBSETu_u_SUBSETS)).
  file('i/f/measure/IN__SIGMA',ah4s_bools_TRUTH)).
% SZS output end Proof for IN__SIG
