nauty america , page 107