% SZS status Theorem for LENGTH__LUPDA
% SZS output start Proof for LENGTH__LUPDA
  file('i/f/list/LENGTH__LUPDATE',ch4s_lists_LENGTHu_u_LUPDATE)).
  file('i/f/list/LENGTH__LUPDATE',ah4s_lists_LUPDATEu_u_SEMu_c0)).
% SZS output end Proof for LENGTH__LUPDA
