Homework Assignment 7
                               CS 389r
                         Unique Number: 51350
                             Spring, 2025

                       Given:  March 4, 2025
                        Due:  March 13, 2025


This assignment asks that you use ACL2 to solve problems 102, 104,
106, 107, 108, and 109.