% SZS status Theorem for field__id__i
% SZS output start Proof for field__id__i
  file('i/f/bitstring/field__id__imp',ch4s_bitstrings_fieldu_u_idu_u_imp)).
  file('i/f/bitstring/field__id__imp',ah4s_bitstrings_fixwidthu_u_idu_u_imp)).
  file('i/f/bitstring/field__id__imp',ah4s_bitstrings_fieldu_u_fixwidth)).
% SZS output end Proof for field__id__i
