nauty auntie Search, page 67