nauty america Search, page 142