Title An algorithm for recognizing S3 in 3-manifolds with Heegaard splittings of genus two