nauty america , page 95