Arthur Merlin Protocol: What if Graph isomorphism is NP complete