% SZS status Theorem for ROL__BITWISE_
% SZS output start Proof for ROL__BITWISE_
  file('i/f/words/ROL__BITWISE_c2',ch4s_wordss_ROLu_u_BITWISEu_c2)).
  file('i/f/words/ROL__BITWISE_c2',ah4s_wordss_wordu_u_rolu_u_def)).
  file('i/f/words/ROL__BITWISE_c2',ah4s_wordss_RORu_u_BITWISEu_c2)).
% SZS output end Proof for ROL__BITWISE_
