% SZS status Theorem for fixed__width__bo
% SZS output start Proof for fixed__width__bo
  file('i/f/EncodeVar/fixed__width__bool',ah4s_lists_LENGTH0u_c0)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_lists_LENGTH0u_c1)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_Encodes_encodeu_u_boolu_u_def)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_EncodeVars_fixedu_u_widthu_u_def)).
  file('i/f/EncodeVar/fixed__width__bool',ch4s_EncodeVars_fixedu_u_widthu_u_bool)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_numerals_numeralu_u_distribu_c13)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_Coders_boolu_u_coderu_u_def)).
  file('i/f/EncodeVar/fixed__width__bool',ah4s_Coders_encoderu_u_def)).
  file('i/f/EncodeVar/fixed__width__bool',aHLu_BOOLu_CASES)).
% SZS output end Proof for fixed__width__bo
