% SZS status Theorem for l2w__w
% SZS output start Proof for l2w__w
  file('i/f/words/l2w__w2l',ah4s_wordss_n2wu_u_w2n)).
  file('i/f/words/l2w__w2l',ch4s_wordss_l2wu_u_w2l)).
  file('i/f/words/l2w__w2l',ah4s_wordss_w2lu_u_def)).
  file('i/f/words/l2w__w2l',ah4s_bools_TRUTH)).
  file('i/f/words/l2w__w2l',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/words/l2w__w2l',ah4s_numposreps_l2nu_u_n2l)).
  file('i/f/words/l2w__w2l',ah4s_wordss_l2wu_u_def)).
% SZS output end Proof for l2w__w
