nauty america , page 87