nauty america Search, page 144