For this lab, you have to bring your laptop. You should also download the appropriate package based on your operating system from the ACL2s Web page (http://acl2s.ccs.neu.edu/acl2s). All you have to do is to download the package. You do not have to install it. We want you to download it before the lab because if 50 students try to download ACL2s at once, it will cripple the CCIS network. During the lab you will: 1. Install the ACL2 Sedan (ACL2s) on your laptop. Make sure it is version 1.2.0.0. 2. Use ACL2s to define some simple functions in Bare Bones mode. 3. Explore the ACL2s GUI and keyboard shortcuts. Information on how to do all of this is available from the ACL2s Web page (http://acl2s.ccs.neu.edu/acl2s/). 4. Go through the lecture notes and submit all the forms to ACL2s using Bare Bones mode.