% SZS status Theorem for FRAC__MUL__R
% SZS output start Proof for FRAC__MUL__R
  file('i/f/frac/FRAC__MUL__RID',ch4s_fracs_FRACu_u_MULu_u_RID)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_fracs_FRAC)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_integers_INTu_u_MULu_u_RID)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_numerals_numeralu_u_ltu_c0)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_numerals_numeralu_u_distribu_c21)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_integers_INTu_u_LTu_u_CALCULATEu_c0)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_fracs_fracu_u_1u_u_def)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_fracs_NMR)).
  file('i/f/frac/FRAC__MUL__RID',aHLu_TRUTH)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_fracs_fracu_u_mulu_u_def)).
  file('i/f/frac/FRAC__MUL__RID',ah4s_fracs_DNM)).
% SZS output end Proof for FRAC__MUL__R
