% SZS status Theorem for EL__V
% SZS output start Proof for EL__V
  file('i/f/fcp/EL__V2L',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/fcp/EL__V2L',ch4s_fcps_ELu_u_V2L)).
  file('i/f/fcp/EL__V2L',ah4s_fcps_V2Lu_u_def)).
  file('i/f/fcp/EL__V2L',ah4s_lists_ELu_u_GENLIST)).
  file('i/f/fcp/EL__V2L',aHLu_TRUTH)).
% SZS output end Proof for EL__V
