Verified computations for '4-manifolds with boundary and fundamental group Z'

Data files to support the symmetry group computation in Proposition 7.6 of the paper '4-manifolds with boundary and fundamental group Z,' which is joint with Conway and Powell. The .lnk file contains the link on which we made our computations. We extracted a DT code for the link using the snappy link editor. The .py file demonstrates our inputs (in sagemath). The .pdf demonstrates our results.