% SZS status Theorem for MEASURE__ADDITI
% SZS output start Proof for MEASURE__ADDITI
  file('i/f/measure/MEASURE__ADDITIVE',ch4s_measures_MEASUREu_u_ADDITIVE)).
  file('i/f/measure/MEASURE__ADDITIVE',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/measure/MEASURE__ADDITIVE',ah4s_measures_MEASUREu_u_SPACEu_u_ADDITIVE)).
  file('i/f/measure/MEASURE__ADDITIVE',ah4s_bools_IMPu_u_CONG)).
  file('i/f/measure/MEASURE__ADDITIVE',ah4s_measures_ADDITIVE)).
% SZS output end Proof for MEASURE__ADDITI
