% SZS status Theorem for WORD__0__P
% SZS output start Proof for WORD__0__P
  file('i/f/words/WORD__0__POS',aHLu_TRUTH)).
  file('i/f/words/WORD__0__POS',ah4s_wordss_wordu_u_msbu_u_n2w)).
  file('i/f/words/WORD__0__POS',ah4s_bools_IMPu_u_ANTISYMu_u_AX)).
  file('i/f/words/WORD__0__POS',ah4s_bits_BITu_u_ZERO)).
  file('i/f/words/WORD__0__POS',aHLu_BOOLu_CASES)).
  file('i/f/words/WORD__0__POS',ch4s_wordss_WORDu_u_0u_u_POS)).
  file('i/f/words/WORD__0__POS',aHLu_FALSITY)).
% SZS output end Proof for WORD__0__P
