exact isomorphism checking