nauty auntie Search, page 57