nauty america , page 128