Homework Assignment 7
                               CS 389r
                         Unique Number: 53540
                             Spring, 2026

                       Given:  March 3, 2026
                        Due:  March 12, 2026


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