nauty america , page 97