nauty america , page 73