Once you have a project, create a new ACL2s/Lisp file called hwk4.lisp, and be sure to choose "Intermediate" session mode! The other defaults are fine. Open the text of the homework, select the whole file, and copy and paste it into the hwk4.lisp editor.