% SZS status Theorem for INDEP__SPA
% SZS output start Proof for INDEP__SPA
  file('i/f/probability/INDEP__SPACE',ah4s_reals_REALu_u_MULu_u_LID)).
  file('i/f/probability/INDEP__SPACE',ah4s_probabilitys_PROBu_u_UNIV)).
  file('i/f/probability/INDEP__SPACE',ch4s_probabilitys_INDEPu_u_SPACE)).
  file('i/f/probability/INDEP__SPACE',ah4s_probabilitys_INTERu_u_PSPACE)).
  file('i/f/probability/INDEP__SPACE',ah4s_probabilitys_indepu_u_def)).
  file('i/f/probability/INDEP__SPACE',ah4s_probabilitys_EVENTSu_u_SPACE)).
% SZS output end Proof for INDEP__SPA
