Update Nauty.m2