===> Cleaning for nauty-24r2