nauty auntie Search, page 87