nauty america , page 119