% SZS status Theorem for i2w__INT__M
% SZS output start Proof for i2w__INT__M
  file('i/f/integer_word/i2w__INT__MIN',ch4s_integeru_u_words_i2wu_u_INTu_u_MIN)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integeru_u_words_w2iu_u_INTu_u_MINw)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integeru_u_words_w2iu_u_11)).
  file('i/f/integer_word/i2w__INT__MIN',aHLu_TRUTH)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integers_INTu_u_LTu_u_IMPu_u_LE)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integers_INTu_u_NOTu_u_LE)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integeru_u_words_INTu_u_BOUNDu_u_ORDERu_c0)).
  file('i/f/integer_word/i2w__INT__MIN',ah4s_integeru_u_words_w2iu_u_i2w)).
% SZS output end Proof for i2w__INT__M
