Knot_equivalence loading ...