Split

Purpose of exercise

Activities

Requirements

Properties

Notes

The following intrinsic ACL2 functions will be useful in this problem

Notes: