nauty auntie Search, page 123