% SZS status Theorem for BITS__ZEROL__DIMIND
% SZS output start Proof for BITS__ZEROL__DIMIND
  file('i/f/words/BITS__ZEROL__DIMINDEX',ah4s_bools_EQu_u_CLAUSESu_c1)).
  file('i/f/words/BITS__ZEROL__DIMINDEX',ch4s_wordss_BITSu_u_ZEROLu_u_DIMINDEX)).
  file('i/f/words/BITS__ZEROL__DIMINDEX',ah4s_arithmetics_LESSu_u_MOD)).
  file('i/f/words/BITS__ZEROL__DIMINDEX',ah4s_wordss_MODu_u_DIMINDEX)).
  file('i/f/words/BITS__ZEROL__DIMINDEX',aHLu_TRUTH)).
% SZS output end Proof for BITS__ZEROL__DIMIND
