- разобраться что и куда совать в код. Мб стоит переписать на торче? В каком виде именно записывают инварианты? Подают ли сами узлы на вход?
- Поискать миллиард инвариантов узлов. Выделить не связанные друг с другом или сразу начать работать со всеми попарно