nauty america , page 96