% SZS status Theorem for INDEP__S
% SZS output start Proof for INDEP__S
  file('i/f/probability/INDEP__SYM',aHLu_TRUTH)).
  file('i/f/probability/INDEP__SYM',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/probability/INDEP__SYM',ch4s_probabilitys_INDEPu_u_SYM)).
  file('i/f/probability/INDEP__SYM',ah4s_predu_u_sets_INTERu_u_COMM)).
  file('i/f/probability/INDEP__SYM',ah4s_reals_REALu_u_MULu_u_SYM)).
  file('i/f/probability/INDEP__SYM',ah4s_probabilitys_indepu_u_def)).
  file('i/f/probability/INDEP__SYM',ah4s_bools_NOTu_u_CLAUSESu_c1)).
  file('i/f/probability/INDEP__SYM',ah4s_bools_EQu_u_CLAUSESu_c3)).
% SZS output end Proof for INDEP__S
