#pigeon Encyclopedia of Knots