Files for the Appendix of R20 of Volume 5 (1):