Классификация заузленных дуг в утолщённом проколотом торе

Классифицируются заузленные дуги до сложности 2 включительно в утолщенном проколотом торе $T_0\times I$. Дуги строятся с помощью трехступенчатого перебора. Сначала рассматриваются графы с 0, 1, 2 вершинами валентности 4 и двумя вершинами валентности 1, потом — отвечающие им проекции, затем — диаграммы. Различность полученных дуг доказывалась с помощью обобщенного полинома Кауффмана.