nauty america , page 132