nauty america , page 117