add-to-front 5pts add-to-end 20 pts find-4-sequence 25 pts The above get full pts if they're admitted by ACL2s and all 5 tests are there. -1 point for each missing test. add-to-end-of-nth 25 pts : 2pts per test = 10 pts 7pts for base case, 8 for recursive case find-4-sequence-vertical 25pts: 2pts per test = 10 pts 5pts for base case, 10 for recursive case