% SZS status Theorem for COS__ATN__
% SZS output start Proof for COS__ATN__
  file('i/f/transc/COS__ATN__NZ',aHLu_FALSITY)).
  file('i/f/transc/COS__ATN__NZ',aHLu_TRUTH)).
  file('i/f/transc/COS__ATN__NZ',aHLu_BOOLu_CASES)).
  file('i/f/transc/COS__ATN__NZ',ah4s_reals_REALu_u_POSu_u_NZ)).
  file('i/f/transc/COS__ATN__NZ',ch4s_transcs_COSu_u_ATNu_u_NZ)).
  file('i/f/transc/COS__ATN__NZ',ah4s_transcs_ATNu_u_BOUNDSu_c1)).
  file('i/f/transc/COS__ATN__NZ',ah4s_transcs_ATNu_u_BOUNDSu_c0)).
  file('i/f/transc/COS__ATN__NZ',ah4s_transcs_COSu_u_POSu_u_PI)).
% SZS output end Proof for COS__ATN__
