nauty america Search, page 139