% SZS status Theorem for RPOW_
% SZS output start Proof for RPOW_
  file('i/f/transc/RPOW__1',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/transc/RPOW__1',ch4s_transcs_RPOWu_u_1)).
  file('i/f/transc/RPOW__1',ah4s_reals_POWu_u_1)).
  file('i/f/transc/RPOW__1',ah4s_transcs_GENu_u_RPOW)).
  file('i/f/transc/RPOW__1',aHLu_TRUTH)).
% SZS output end Proof for RPOW_
