Реализация фуллеренов

Комбинаторным многогранником мы называем класс комбинаторной эквивалентности выпуклых многогранников. Фуллереном называется простой трёхмерный многогранник, у которого все грани являются пятиугольниками или шестиугольниками.
Назовём $(s,k;s_1,s_2)$–усечением простого $3$-многогранника операцию срезки гиперплоскостью $s$ подряд идущих рёбер $(E_1,E_2,\ldots,E_s)$ $k$-угольной грани $F$, где $s_1$ и $s_2$ – числа сторон граней, пересекающих $F$ по $E_0$ и $E_{s+1}$. Операция $(1, k;s_1,s_2)$ является срезкой ребра и мы обозначаем её просто $(1;s_1,s_2)$.
Основной результат. Найдена бесконечная серия операций на фуллеренах, такая что
1) каждый фуллерен комбинаторно получается из додекаэдра последовательностью таких операций;
2) каждая операция является композицией $(1;4,5)$-, $(1;5,5)$-, $(2,6;4,5)$-, $(2,6;5,6)$-, $(2,6;5,5)$-, $(2,7;5,5)$- и $(2,7;5,6)$-усечений.
Теорема конструктивная и позволяет алгоритмически по заданному фуллерену найти все его разложения.