Appendix for Reduction Algorithms for Persistence Diagrams of Networks: CoralTDA and PrunIT This appendix gives the proofs of our theorems, list the pseudocode of CoralTDA and Prunit and