nauty america , page 67