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

                       Given:  February 17, 2026
                        Due:  February 26, 2026


This home asks that you use the ACL2 Proof Builder to perform
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 24, 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>
  "Fanqi Yan"" <fanqi.yan@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.