% SZS status Theorem for HD__GENLI
% SZS output start Proof for HD__GENLI
  file('i/f/list/HD__GENLIST',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/list/HD__GENLIST',ah4s_primu_u_recs_LESSu_u_0)).
  file('i/f/list/HD__GENLIST',ah4s_lists_EL0u_c0)).
  file('i/f/list/HD__GENLIST',ah4s_lists_ELu_u_GENLIST)).
  file('i/f/list/HD__GENLIST',ch4s_lists_HDu_u_GENLIST)).
  file('i/f/list/HD__GENLIST',aHLu_TRUTH)).
% SZS output end Proof for HD__GENLI
