% SZS status Theorem for dec2enc__enc2d
% SZS output start Proof for dec2enc__enc2d
  file('i/f/Decode/dec2enc__enc2dec',ah4s_Decodes_dec2encu_u_some)).
  file('i/f/Decode/dec2enc__enc2dec',ah4s_Decodes_enc2decu_u_some)).
  file('i/f/Decode/dec2enc__enc2dec',ah4s_richu_u_lists_APPENDu_u_NILu_c0)).
  file('i/f/Decode/dec2enc__enc2dec',ch4s_Decodes_dec2encu_u_enc2dec)).
  file('i/f/Decode/dec2enc__enc2dec',ah4s_Decodes_wfu_u_enc2dec)).
% SZS output end Proof for dec2enc__enc2d
