wip/nauty
