% SZS status Theorem for PRIME__IND
% SZS output start Proof for PRIME__IND
  file('i/f/divides/PRIME__INDEX',ch4s_dividess_PRIMEu_u_INDEX)).
  file('i/f/divides/PRIME__INDEX',ah4s_dividess_primePRIMES)).
  file('i/f/divides/PRIME__INDEX',aHLu_TRUTH)).
  file('i/f/divides/PRIME__INDEX',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/divides/PRIME__INDEX',ah4s_dividess_PRIMESu_u_ONTO)).
% SZS output end Proof for PRIME__IND
