Strange loops: capturing knots with powerful notations

I gave a talk at Strange Loop 2015. Here's the abstract: Mathematician John Conway once boasted that one of his predecessors took six years (!) to enumerate all 54 knots of a certain type, but that his own powerful notation "made this just one afternoon's work." How did Conway accomplish this feat?