This appendix contains the Magma v2.3 program discussed in the paper "On the Computation of Certain Homotopical Functors".