% SZS status Theorem for POW__2__SQ
% SZS output start Proof for POW__2__SQ
  file('i/f/transc/POW__2__SQRT',ah4s_transcs_sqrt0)).
  file('i/f/transc/POW__2__SQRT',ah4s_arithmetics_TWO)).
  file('i/f/transc/POW__2__SQRT',aHLu_TRUTH)).
  file('i/f/transc/POW__2__SQRT',ch4s_transcs_POWu_u_2u_u_SQRT)).
  file('i/f/transc/POW__2__SQRT',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/transc/POW__2__SQRT',ah4s_transcs_POWu_u_ROOTu_u_POS)).
% SZS output end Proof for POW__2__SQ
