nauty america , page 112