nauty america Search, page 140