nauty america , page 88