Encyclopedia of knots and fancy rope work