nauty america , page 47