Exam Question in Sentential Logic

This semester, I'm taking a class in deductive logic at The University of Maryland, Baltimore County (UMBC). Below is my answer to a question on our second exam (construct a derivation of the conclusion in line 2 from the premise in line 1). The exam covered derivations in sentential logic, based on Gary M. Hardegree's Symbolic Logic: A First Course, second edition (New York: McGraw-Hill, 1999). The annotation to the right of each line shows the justification for its presence in the derivation, with "Pr" standing for premise, "CD" standing for conditional derivation, "As" standing for assumption, "ID" standing for indirect derivation, "DD" standing for direct derivation, and "X" standing for contradiction.

Below is my answer to another question.