nauty america , page 89