% SZS status Theorem for THE__PTREE__SOME__PTR
% SZS output start Proof for THE__PTREE__SOME__PTR
  file('i/f/patricia_casts/THE__PTREE__SOME__PTREE',ch4s_patriciau_u_castss_THEu_u_PTREEu_u_SOMEu_u_PTREE)).
  file('i/f/patricia_casts/THE__PTREE__SOME__PTREE',ah4s_patriciau_u_castss_SOMEu_u_PTREEu_u_def)).
  file('i/f/patricia_casts/THE__PTREE__SOME__PTREE',ah4s_patriciau_u_castss_THEu_u_PTREEu_u_def)).
% SZS output end Proof for THE__PTREE__SOME__PTR
