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

                       Given:  February 18, 2025
                        Due:  February 27, 2025


This home asks that you use the ACL2 Proof Builder to perform for
mechanical proofs of problems 48 -- 55.

After this assignment, you are free to use the ACL2 Theorem Prover
and/or the ACL2 Proof Builder.

Also, prepare a 1-paragraph project description.  This draft project
description is due by Tuesday, February 25, 2025.  This request is to
get you thinking.  Later, you may change your direction, but we want
to review your initial ideas now.  Submit this 1-paragraph description
in plain ASCII to:

  "Warren A. Hunt, Jr." <hunt@cs.utexas.edu>
  "Zhiyang Xun" <zxun@utexas.edu>

with

  [CS389r: <UTEID> <first name> <last name>]

in the subject line.  Your message should include nothing else than
your project description in plain ASCII.