Appendix C: Pool Adjacent Violators Algorithm