% SZS status Theorem for COS__ASN__
% SZS output start Proof for COS__ASN__
  file('i/f/transc/COS__ASN__NZ',ch4s_transcs_COSu_u_ASNu_u_NZ)).
  file('i/f/transc/COS__ASN__NZ',aHLu_FALSITY)).
  file('i/f/transc/COS__ASN__NZ',aHLu_BOOLu_CASES)).
  file('i/f/transc/COS__ASN__NZ',ah4s_transcs_ASNu_u_BOUNDSu_u_LT)).
  file('i/f/transc/COS__ASN__NZ',ah4s_transcs_COSu_u_POSu_u_PI)).
  file('i/f/transc/COS__ASN__NZ',aHLu_TRUTH)).
  file('i/f/transc/COS__ASN__NZ',ah4s_reals_REALu_u_POSu_u_NZ)).
% SZS output end Proof for COS__ASN__
