../../Task/Bitwise-operations/ACL2