shortened knot 010 by automated search