This directory contains the perl code used to find all
knots obtained from projections of each of the 4878 prime 
alternating 13-crossing knots, by changing every subset 
of the crossings and using Knotscape's "knotfind" program 
to identify them. The Perl file "rerun13run170507.pl", run
from inside the "bin" directory of Knotscape (so that
it can call "knotfind") will recreate the "rerun13output0.txt"
file, containing the data. The file "13s_for_snappy.pl", which
runs on the "13_13.txt" file in the sliced directory, which
contains the 64399 13-crossing projections that resulted,
extracts all of the DT codes, and the python file 
"run13s_snappy.txt" when run in SnapPy will identify all of
these 13-crossing knots. 

"rerun13run170507.pl" (twice) ran with 26 errors, written to the 
"rerun13errorcatcher0.txt" file, which were then processed
for SnapPy, which identified all of them as the knot K12n694.

The results of running "run13s_snappy.txt" can be found in 
the file "13cr_identrerun.txt".