This assignment is designed to become familiar with (a) Loop Invariants and (b) Runtime Projections. For the ease of grading, please use the same numbering scheme that you find
